Abstract
This study focuses on the integrability and qualitative behaviors of a quadratic differential system
We provide some new perspectives on the system and reveal its diverse properties, including non-integrability in the sense of absence of first integrals, bifurcations of co-dimension one or two, Jacobi instability and dynamics at infinity.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and the Statements of the Main Results
Homoclinic bifurcation is an important phenomenon to characterize the complex dynamic behavior of differential systems. Except for its theoretical significance, it has many important applications in mathematical biology [26, 27], laser physics [42], electronic engineering [23] and so on. Recently, a kind of homoclinic bifurcation of co-dimension two, called the homoclinic flip bifurcation, has been drawing much attention from the researchers. Unlike the celebrated Shilnikov bifurcation [36], which belongs to homoclinic bifurcation of co-dimension one and bifurcates to a saddle focus with complex eigenvalues, the homoclinic flip bifurcation corresponds to a real saddle and can generate infinitely many homoclinic bifurcations, saddle-node and period-doubling cascades, Smale-horseshoe dynamics and strange attractors [3, 12, 35]. As a crucial application, homoclinic flip bifurcations provide the theoretical explanation for the creation of spiking behavior in nonlinear models of neurons, see [27] for instance.
Consider a three-dimensional differential system with a real saddle equilibrium such that the equilibrium admits an unstable eigenvalue and two unequal real stable eigenvalues. Typically, when a real saddle equilibrium undergoes homoclinic bifurcations of co-dimension one, its two-dimensional stable manifold either shapes into a topological cylinder or a Möbius band along the flow of the homoclinic orbit [12]. The homoclinic flip bifurcation occurs when the two-dimensional stable manifold shifts from being orientable to nonorientable. There are three different unfoldings of the homoclinic flip bifurcation, denoted by cases A, B and C [12, 35]. This classification is based on the different constraints satisfied by eigenvalues at the real saddle equilibrium [27, 35]. In case A, a single attracting or repelling periodic orbit emerges from the unfolding. The unfolding in case B leads to the formation of multiple saddle periodic orbits and period-doubling bifurcation. Finally, the unfolding in case C brings about rich complex dynamics such as the period-doubling cascade, n-homoclinic orbits and Smale-horseshoe [12, 16]. Furthermore, case C can be divided into the inward twist case \(C_\textbf{in}\) and outward twist case \(C_\textbf{out}\), which are distinguished by global geometric properties of a two-dimensional manifold [10, 16]. In [35] Sandstede constructed a model which can exhibit all three cases A, B and \(C_\textbf{out}\) with homoclinic flip bifurcations for some suitable values of parameters. However, no explicit example of a model with homoclinic flip bifurcations of case \(C_\textbf{in}\) was found for a long time. Recently, Algaba et al. [3] studied homoclinic flip bifurcations of the inward twist case \(C_\textbf{in}\) and provided a first example of a system with the lowest number of parameters necessary, which exhibits such a degeneracy. The nonlinear differential system proposed by Algaba et al. reads
where x, y and z are state variables and a, b are real parameters. Let us mention that system (1) unifies many other chaotic systems with only one equilibrium. For instance, system (1) becomes the well-known Sprott E system [37] in the case of \((a,b)=(0,1)\), and becomes the Wang-Chen system [41] in the case of \(b=1\).
Numerical simulations show that system (1) has rich and complex dynamics in spite of its simple form [3, 6, 13, 30, 37, 41]. For example, it exhibits chaotic phenomena for suitable chosen values of parameters, see Fig. 1. This work aims to give some new interesting and fascinating properties of system (1) by a deeper investigation.
The integrability of a nonlinear system can help us understand the topological structures of its trajectories and quantitatively characterizing the distribution or trends of certain crucial physical quantities [18, 43]. As an initial step in our research, we make an integrability analysis of system (1) by using Darboux theory of integrability [9]. We show that system (1) does not have any polynomial, rational or Darboux first integrals, which means any search for a closed-form, analytical solution is bound to fail (cf Theorem 1).
Another facet of our study focuses on the dynamics of system (1). Understanding the stability of equilibrium points and bifurcations is crucial as they determine the long-term behavior and qualitative changes of dynamics of the considered system, providing insights into its potential transitions between different states [25, 44]. We systematically outline the stability of equilibrium points of system (1), classify all possible bifurcations of co-dimension one or two at isolated equilibrium points. Our results show that system (1) only undergoes Hopf bifurcation or Bautin bifurcation (cf Theorem 7).
By regarding system (1) as a geodesic in the Finsler space, we apply a geometric approach developed in [5, 7, 24] to examine the Jacobi stability of the trajectory of system (1) (cf Theorem 8). Finally, the dynamical behavior of system (1) on the Poincaré sphere at infinity is characterized by the Poincaré compactification (cf Theorem 9). The results in this work deepen our understanding of system (1) and may be helpful for further investigation into the phenomena of homoclinic flip bifurcations.
The work is organized as follows. In Sect. 2, the integrability analysis of system (1) is performed. The bifurcations at isolated equilibrium points and Jacobi stability of trajectories are studied in Sects. 3 and 4, respectively. In Sect. 5, the global dynamics of system (1) at infinity is investigated.
2 Integrability Analysis
We first recall some basic definitions. A nonconstant function \(\Phi (x,y,z)\) is called a first integral of system (1) if
Furthermore, if the first integral \(\Phi (x,y,z)\) is a polynomial or rational function, then \(\Phi\) is called a polynomial or rational first integral of system (1).
A real polynomial \(F\in {\mathbb {R}}[x,y,z]\) is a Darboux polynomial of system (1) if there exists a polynomial \(K(x, y, z)\in {\mathbb {R}}[x,y,z]\), called the cofactor of F, such that
Similarly, a nonconstant function \(E=\exp (g/h)\) with \(g,h\in {\mathbb {R}}[x,y,z]\) being coprime is an exponential factor of system (1) if
for some polynomial \(L\in {\mathbb {R}}[x,y,z]\) with the degree at most one, called the cofactor of E. A function G of system (1) is called Darboux first integral if it is a first integral of the form
where \(f_{1},\ldots ,f_{p}\) are Darboux polynomials, \(E_{1},\ldots ,E_{q}\) are exponential factors and \(\lambda _{i},\mu _{j}\in {\mathbb {R}}\), for \(i=1,\ldots ,p\) and \(j=1,\ldots ,q\).
Theorem 1
For any values of the parameters \(a,b\in {\mathbb {R}}\), system (1) has no polynomial, proper rational or Darboux first integrals.
Theorem 1 also implies that any search for a closed-form, analytical solution for system (1) is bound to fail. To prove it, we will utilize Darboux theory of integrability, which holds a significant position in the integrability of polynomial differential systems. This theory is of great importance and plays a crucial role in the understanding of the integrability of such systems [8, 9, 20, 31]. Compared with the differential Galois method [17, 19, 21, 32], Darboux theory of integrability allows us to obtain first integrals by identifying enough invariant algebraic surfaces (known as the Darboux polynomials) and exponential factors directly, see [29, 34, 38, 39] for instance.
To prove Theorem 1, we need the following lemmas.
Lemma 2
System (1) has no Darboux polynomials.
Proof
Suppose system (1) has a Darboux polynomial \(f(x,y,z)\in {\mathbb {R}}[x,y,z]\) with the cofactor \(K(x,y,z)\in {\mathbb {R}}[x,y,z]\), that is,
By comparing the degrees of both sides of (2), we can see that the degree of K cannot exceed one. So, we can assume that \(K=k_0+k_1x+k_2y+k_3z\), where \(k_i\) are real numbers for \(i=0,1,2,3\). Now, (2) becomes
We claim that \(k_2=k_3=0\). To do so, we express f(x, y, z) as \(\sum _{i=0}^m f_i(x,z)y^i\), where each \(f_i\) is a polynomial in x and z with real coefficients. Then substituting it into (3) yields
Solving (4) leads to \(f_m=e^{\frac{k_2x}{z}}g_m(z)\) with \(g_m(\cdot )\) being a smooth function in z. Since \(f_m\) is a homogeneous polynomial in x, z, we conclude that \(k_2=0\). Similarly, we write \(f(x,y,z)=\sum _{i=0}^{{\hat{m}}}{\hat{f}}_i(x,y)z^i\) with \({\hat{f}}_i\in {\mathbb {R}}[x,y]\), and conclude that \(k_3=0\).
Let \(f=f_n+f_{n-1}+\cdots +f_0\) with \(f_i=f_i(x,y,z)\) being a homogeneous polynomial of degree i. Without loss of generality we assume \(f_n\ne 0\). Comparing the terms of degree \(n+1\) in (3) leads to
To solve (5), we take the change of variables
Correspondingly, the inverse transformation reads
From (5) we obtain
which can be regarded as an ordinary differential equation of v if we fix the variables u, w. Some computations yield
where
is the hypergeometric function [33, Chap. 60], and the constant of integration is omitted. Recall that the hypergeometric function F(a, b, c, x) can be equivalently represented as definite integrals
where \(c>b\) are positive and \(\Gamma (\cdot )\) is the gamma function. Then we have
with \(g_n(u,w)\) is an arbitrary function in u and w. Since \(f_n\) is a homogeneous polynomial in x, y and z we conclude that \(k_1=0\) and
We compute the terms of degree n in (3) and obtain
Using (10), we convert (11) into
Proceeding as above, we use (6)–(7) to solve (12), and get
Some direct computations yield
Substituting (14)–(17) into (13), we obtain
Note that both functions \(F(\frac{1}{2},\frac{2}{3},\frac{3}{2},z)\) and \(F(\frac{1}{3},\frac{1}{2},\frac{3}{2},z)\) cannot be expressed in terms of elementary functions in the variable z and their integrals [22] and \(f_{n-1}\) is a homogeneous polynomial in x, y and z. Then we conclude that
which leads to \(a_l=0\) for \(l=0,...,[n/3].\) This contradicts with \(f_n\) being non-zero. \(\square\)
Next result gives the relationship between Darboux polynomials and polynomial first integrals, proper rational first integrals and exponent factors, see [11, 45] for the proof.
Lemma 3
For a polynomial vector field \({\mathcal {X}}\), the following statements hold.
-
(i)
It has a polynomial first integral if and only if it has a Darboux polynomial with the zero cofactor.
-
(ii)
It has a proper rational first integral \(\Phi =f/g\) with f, g being coprime if and only if both f, g are Darboux polynomials of \({\mathcal {X}}\) with the same non-zero co-factors.
-
(iii)
If it has an exponential factor \(E=\exp (g/h)\) with g, h being coprime and h being not constant, then h is a Darboux polynomial of \({\mathcal {X}}\).
Next result provides a complete classification of exponential factors for system (1).
Lemma 4
The generator of exponential factors of system (1) is \(E(x,y,z)=\exp (z)\) with the cofactor \(L(x,y,z)=b-4x\).
Proof
By Lemma 2 and the statement (iii) of Lemma 3, we can write the exponent factor \(E=\exp (g)\) with \(g\in {\mathbb {R}}[x,y,z]\) satisfying
Here \(L=l_0+l_1x+l_2y+l_3z,~l_i\in {\mathbb {R}}\) is the cofactor of E. Let \(g=g_m+g_{m-1}+\cdots +g_0\) with \(g_i=g_i(x,y,z)\) being a homogeneous polynomial of degree i and \(g_m\ne 0\).
In the case of \(m\ge 2\), comparing the terms of degree \(m+1\) and m yields
Using the same arguments to prove (5) and (11), we conclude that \(g_m=0\) which is a contradiction.
In the case of \(m=1\), by direct computations we have \(g=a_0+a_1z\) and \(L=a_1(b-4x)\) where \(a_0,~a_1\) are arbitrary constants. Hence the exponent factor has the form \(E=\exp (g)=c_0\exp (a_1z)\) with \(c_0=\exp (a_0)\), which is generated by \(\exp (z)\). \(\square\)
Lemma 5
Assume a polynomial differential system has p Darboux polynomials \(f_{i}\) with cofactors \(K_{i}\) and q exponential factors \(E_{j}=\exp (g_{j}/h_{j})\) with cofactors \(L_{j}\), \(i=1,\ldots p\) and \(j=1,\ldots , q\). Then the function
is a first integral of this system if and only if there are numbers \(\lambda _{i}\), \(\mu _{j}\in {\mathbb {R}}\) not all zero such that
Proof
See [45, Proposition 3.5 in Chap. 3]. \(\square\)
Proof of Theorem 1:
By Lemma 2 and the statements (i,ii) of Lemma 3, we see that system (1) has neither polynomial first integrals nor proper rational first integrals. The non-existence of Darboux first integrals follows from Lemmas 2, 4 and 5.
3 Bifurcations of Co-dimensional One or Two
In this section we are concerned with the qualitative variation of the dynamical behaviors of system (1) in the vicinity of the isolated singularity. Next result gives the distribution of equilibrium points of system (1), whose proof is standard.
Proposition 6
The following statements hold for system (1).
(i) When \(b=0,~a=0\), system (1) has a family of non-isolated equilibrium \(E_{z}=(0,0,z)\), \(z\in {\mathbb {R}}\).
(ii) When \(b=0,~a\ne 0\), system (1) has no equilibrium.
(iii) When \(b\ne 0\), system (1) has and only has one equilibrium \(E_0=(\frac{b}{4},\frac{b^2}{16}, -\frac{16a}{b^2})\).
Now we turn to study all possible bifurcations of co-dimensional one and two at the isolated equilibrium \(E_0\). A necessary condition for the occurrence of bifurcations is that either a simple real eigenvalue approaches zero or a pair of simple complex eigenvalues reach the imaginary axis for some values of the parameter.
The characteristic polynomial at \(E_0\) is given by
It is easy to check that \(P(\lambda )\) cannot have zero roots, which means the occurrence of fold, cusp, Bogdanov-Takens, fold-Hopf bifurcation is impossible. Our result shows the existence of the Hopf bifurcation and Bautin bifurcation. The Hopf bifurcation is a bifurcation near a critical equilibrium as the stability of the equilibrium changes due to the emergence of a pair of purely imaginary eigenvalues, which gives rise to the birth of a limit cycle. The Bautin bifurcation is a bifurcation near critical equilibrium when the equilibrium has a pair of purely imaginary eigenvalues and the first Lyapunov coefficient for the Hopf bifurcation vanishes, also called the generalized Hopf bifurcation, see [25, Chap. 3.5 and 8.7] for more details.
Theorem 7
The statements below are true for system (1).
-
(i)
It undergoes a supercritical Hopf bifurcation at \(E_0\) for parameter values \(a=0\) and either \(0<|b|<2(\sqrt{3}-\sqrt{2})\) or \(|b|>2(\sqrt{3}+\sqrt{2})\).
-
(ii)
It undergoes a subcritical Hopf bifurcation at \(E_0\) for parameter values \(a=0\) and \(2(\sqrt{3}-\sqrt{2})<|b|<2(\sqrt{3}+\sqrt{2})\).
-
(iii)
It undergoes a subcritical Bautin bifurcation at \(E_0\) for parameter values \(a=0\) and \(|b|=2(\sqrt{3}-\sqrt{2})\).
-
(iv)
It undergoes a supercritical Bautin bifurcation at \(E_0\) for parameter values \(a=0\) and \(|b|=2(\sqrt{3}+\sqrt{2})\).
Proof
We first assume \(b\ne 0\) so that system (1) can have the isolated equilibrium \(E_0\). Then we translate \(E_0\) to the origin by \((x_1,y_1,z_1)=(x-\frac{b}{4},y-\frac{b^2}{16},z+\frac{16a}{b^2})\) and rewrite (1) as
where
Clearly, the polynomial (21) has a pair of conjugate purely imaginary roots \(\lambda _{1,2}=\pm iw_0\) if and only if \(a=0\). And in the case of \(a=0\), we have \(w_0=b/2\).
In what follows, we assume \(a=0\) and use the centre manifold reduction to determine the type of bifurcations. The central manifold reduction is a technique employed in studying the dynamics of nonlinear systems near critical singularities. It identifies a low-dimensional invariant manifold, referred to as the central manifold, where intricate dynamical behavior of the considered system primarily occurs. Consequently, the central manifold reduction can reduces the dimension of the considered system, facilitating a more accessible analysis of its dynamics such as stability, bifurcations, and long-term behaviors [25, 44].
Define the vectors
such that \(Aq=iw_0q,~A^Tp=-iw_0p\) and \(\langle p,q\rangle ={\overline{p}}^Tq=1\). The two-dimensional center manifold can be parameterized by \(w,{\overline{w}}\) through the immersion
and the system (22) restricted on the center manifold can be reduced to
The unknown quantities \(h_{jk},~G_{21},~G_{32}\) are determined by the homological equation [44]
We first consider the first Lyapunov coefficient
In our case we have
and
which yields
Based on the expression of \(l_1\), we obtain the statements (i) and (ii) in Theorem 7.
When \(|b|=2(\sqrt{3}-\sqrt{2})\) or \(2(\sqrt{3}+\sqrt{2})\), the first Lyapunov coefficient \(l_1\) vanishes. To clarify the bifurcations, we need to calculate the second Lyapunov coefficient \(l_2\) defined by
We first consider \(|b|=2(\sqrt{3}-\sqrt{2})\). Recall that the third-order coefficients \(h_{30}\) and \(h_{21}\) are defined by
and
Some long and tedious computations lead to \(h_{30}\) and \(h_{21}\), see Appendix A for their expressions. Similarly, the fourth-order coefficients \(h_{40}\), \(h_{31}\) and \(h_{22}\) are given by
where the expressions of \(h^i_{40j},~h^i_{31j},~h^i_{22j}\), \(i=1,2,j=1,2,3\) are given in Appendix A.
Finally, by the formula
we obtain the second Lyapunov coefficient
with
Hence, system (1) undergoes a supercritical Bautin bifurcation when \(a=0,~b=2(\sqrt{3}-\sqrt{2})\). We prove the statement (iii) in Theorem 7.
Using the same arguments, we can show that if \(|b|=2(\sqrt{3}+\sqrt{2})\) the second Lyapunov coefficient
with
Then system (1) undergoes a supercritical Bautin bifurcation. We have proved the statement (iv) in Theorem 7.
\(\square\)
4 KCC Theory and Jacobi Instability
The KCC theory, or Jacobi stability analysis, uses a geometric approach to examine the stability of dynamical systems. This technique is credited to the work of Kosambi [24], Cartan [5], and Chern [7]. The KCC theory is an extension of geodesic flow stability analysis for a manifold in Finsler geometry to a differentiable manifold without metirc, and can be used effectively to investigate the robustness of a system of second-order differential equations [4, 15].
To analyze the Jacobi stability of system (1), we should convert (1) into a system of second-order differential equations. Indeed, from the third equation of (1), we have \(x=(b-\dot{z})/4\). Substituting it into the first equation of (1) yield
Taking the derivative on both sides of the second equation of (1), one has
Eliminating x and its derivative \(\dot{x}\) from (25) leads to
In what follows, the Einstein summation convention will be used. For convenience, we introduce \(z=X^1,~y=X^2,~x=X^3.\) Then (24) and (26) become
where \(Y^k=dX^k/dt\) for \(k=1,2\) and
Once \(X^1,~X^2\) are determined by (27), we can get \(X^3\) by \(X^3=(b-Y^1)/4\). Given a vector field \(\eta =\eta ^i\frac{\partial }{\partial X^i}\), the KCC-covariant differential of \(\eta\) associated with (27) is defined as
where \(N^i_j=\partial G^i/\partial X^j\) are coefficients of the nonlinear connection.
Below we derive the KCC invariants for system (27). The first KCC invariants are defined as
The variational equations along a trajectory \((X^1(t),X^2(t))\) of (27) are given by
that is,
In terms of KCC-covariant differentials, (28) becomes
where the deviation curvature tensor \(P^i_j\) are called the second KCC invariants and have the form
The third, fourth and fifth KCC invariants are defined as
For system (27), some simple computations give \(P^2_{12}=X^1/4,~P^2_{21}=X^1/4\) and the rest of third, fourth and fifth KCC invariants equal to zero.
Definition 1
[4] A trajectory of (27) is Jacobi stable if and only if the real parts of the eigenvalues of the deviation tensor \(P^i_j\) are strictly negative at each point on the trajectory.
By (31)–(32), the trace and determinant of the matrix \(P=(P^i_j)_{2\times 2}\) are given by
Then by the classical Routh-Hurwitz criteria, we see that a trajectory of (27) is Jacobi stable if and only if \(\textrm{tr} P<0,~\textrm{det} P>0\) at each point on the trajectory.
There exist two quantities associated with the variational equations (28), which can be used to investigate the onset of chaos [15]. The first one is the deviation vector
where \((\xi ^1(t),\xi ^2(t))\) is the solution of (28) subject to the initial condition
The second one is the curvature of the deviation vector [15]
Recall system (1) has a equilibrium point \(E_0=(\frac{b}{4},\frac{b^2}{16}, -\frac{16a}{b^2})\), which corresponds to the equilibrium point \({\hat{E}}_0=(X^1,X^2,Y^1,Y^2)=(-\frac{16a}{b^2},\frac{b^2}{16},0,0)\) of system (27). Below we perform a Jacobi stability analysis for such simplest trajectory, the equilibrium point \({\hat{E}}_0\) of system (27).
Theorem 8
The equilibrium point \({\hat{E}}_0\) of (27) is Jacobi unstable.
Proof
At the equilibrium point \({\hat{E}}_0\), the deviation curvature tensor is given by
The determinant \({\det P}=-b^2/16<0\), which means P always has a positive root. The proof is completed.
\(\square\)
Using the equivalence of (1) and system (27), we say that \(E_0\) is also Jacobi unstable. On the other hand, it follows from (21) that \(E_0\) is Lyapunov stable (or linearly stable) if \(ab>0\). This indicates us that the stability criteria in the Jacobi sense does not completely align with the stability criteria in the Lyapunov sense. In comparison to Lyapunov stability, Jacobi stability focuses on the robustness of second-order differential equations concerning both internal parameter variations and environmental changes [1, 4], where robustness refers to the system’s insensitivity and adaptability to these alterations. Mathematically, Lyapunov stability is determined by the signs of eigenvalues of the linearized matrix at a singular point. In contrast, Jacobi stability relies on the signs of eigenvalues of the deviation curvature tensor at the same singular point. The role typically played by partial derivatives is replaced by covariant derivatives, resulting in the distinction between these two types of stability. For two-dimensional systems, there exist cases where singular points are Lyapunov stable but Jacobi unstable, and vice versa [4]. It was shown that for three-dimensional conservative systems, the Lyapunov stability and Jacobi stability may match exactly [1]. Our result presents a new example of a three-dimensional dissipative system where its singular point are Jacobi unstable, yet they can be either Lyapunov stable or unstable.
The variational equations (29) near equilibrium points read
The series solutions of (36) subject to (34) are given by
By the formulas (33) and (35), one gets the deviation vector and its curvature:
where
and
5 Dynamics at Infinity
In this section, we turn to investigate the dynamics at infinity for system (1). Indeed, system (1) is a polynomial differential system that can be expanded to an analytic system within a closed ball of radius one known as the Poincaré ball. The boundary of this ball is invariant under the flow of the extended system and acts as its infinity [2, 40]. As shown in the Fig. 2, we will analyze the Poincaré compactification of system (1) in the local charts \(U_{i}\) and \(V_{i}\)(\(i = 1,2,3\)).
5.1 In the Local Charts \(U_1\)
Taking the change of variables \((x,y,z)=(z_3^{-1},z_1z_3^{-1},z_2z_3^{-1})\) and the time \(\textrm{d}\tau =z_3^{-1}\textrm{d}t\), we obtain the Poincaré compactification p(X) in the local chart \(U_{1}\)
Note that the \(z_{1}z_{2}\)-plane is invariant under the flow of system (37), which completely describes the dynamics on the sphere at infinity. For \(z_{3}=0\), system (37) can reduce to
System (38) has no equilibrium, but has a rational first integral
With the help of \(H_1\), the global phase portrait of (38) is completely described as shown in the Fig. 3.
5.2 In the Local Charts \(U_2\)
Similarly, we make change of variables \((x,y,z)=(z_1z_3^{-1},z_3^{-1},z_2z_3^{-1})\) and \(\textrm{d}{\tau }=z_3^{-1}\textrm{d}t\) to transform system (1) into
Note that the \(z_{1}z_{2}\)-plane is invariant under the flow of system (37), which completely describes the dynamics on the sphere at infinity. For \(z_{3}=0\), system (39) can reduce to
As above, system (38) is also integrable and has a first integral \(H_2=\frac{M_1^3M_2^2}{M_3^3M_4^2}\) where
In addition, system (38) has a unique equilibrium \((z_1,z_2) = (0,0)\) which is a nilpotent point. By Theorem 3.5 in [11], we see that (0, 0) is a stable node. We also mention the origin is global asymptotically stable, which can easily follow from the Lyapunov function \(V(z_1,z_2)=z_1^6/6+2z_2^2\) and the Lasalle’s invariance principle. The dynamics on the local chart \(U_2\) is topologically equivalent to the one shown in the Fig. 4.
5.3 In the Local Charts \(U_3\)
Under the change of variables \((x,y,z)=(z_1z_3^{-1},z_2z_3^{-1},z_3^{-1})\) and \(\textrm{d}\tau =z_3^{-1}\textrm{d}t\), system (1) becomes
Note that the \(z_{1}z_{2}\)-plane is invariant under the flow of system (37), which completely describes the dynamics on the sphere at infinity. For \(z_{3}=0\), system (41) can be reduced to
System (38) has a unique equilibrium \((z_1,z_2)=(0,0)\) and a polynomial first integral \(H(z_1,z_2)=3z_2^2-2z_1^3\). Then the phase portrait of system (42) is illustrated in the Fig. 5.
Finally, we mention that the flow of (1) in the local chart \(V_{i},~i=1,2,3\) is identical to the flow in \(U_{i}\), but with reversed time direction. Building on the previous discussion, we get a comprehensive overview of the global behavior of system (1) on the sphere at infinity \({\mathbb {S}}^2\).
Then by the Poincaré compactification [14, 28], we give a complete description of the dynamical behavior on the sphere at infinity for system (1).
Theorem 9
The phase portrait of the system (1) on the Poincaré sphere at infinity is as shown in the Fig. 6: there exist two nodes at the positive and negative endpoints of the y-axis, two cusp points at the positive and negative endpoints of the z-axis, and an unlimited set of heteroclinic orbits connecting these equilibrium points.
It should be pointed out that the dynamical behavior of the system at infinity is independent of the value of the parameters a, b.
6 Conclusion
The work presents a qualitative analysis of a differential system in \({\mathbb {R}}^3\), focusing on the existence of homoclinic flip bifurcations of case C. Although this system is expressed in a simple form, we find that it possesses a wide range of intricate properties. The elementary method used in this study demonstrates the absence of closed-form, analytical solutions. We investigate the possible bifurcations at isolated equilibrium points, showing that only Hopf and Bautin bifurcations occur. Furthermore, we analyze the Jacobi instability of the system’s trajectory and discuss the behavior of the deviation vector near the equilibrium point. Lastly, we classify the system’s dynamical behavior on the Poincar’e sphere at infinity.
Availability of Data and Material
Not applicable.
References
Abolghasem, H.: Liapunov stability versus Jacobi stability. J. Dyn. Syst. Geom. Theor. 10, 13–32 (2012)
Anna, C., Llibre, J.: Bounded polynomial vector fields. Trans. Am. Math. Soc. 318, 557–579 (1990)
Antonio, A., Domnguez-Moreno, M.C., Manuel, M., Alejandro, J.R.: Study of a simple 3D quadratic system with homoclinic flip bifurcations of inward twist case Cin. Commun. Nonlinear Sci. Numer. Simul. 77, 324–337 (2019)
Boehmer, C.G., Harko, T., Sabau, S.V.: Jacobi stability analysis of dynamical systems applications in gravitation and cosmology. Adv. Theor. Math. Phys. 16, 1145–1196 (2012)
Cartan, E., Kosambi, D.D.: Observations sur le mémoire précédent. Math. Z. 37, 619–622 (1933)
Chen, B., Liu, Y., Wei, Z., Feng, C.: New insights into a chaotic system with only a Lyapunov stable equilibrium. Math. Methods Appl. Sci. 43, 9262–9279 (2020)
Chern, S.S.: Sur la géométrie d’un système d’équations différentielles du second ordre. Bull. Sci. Math. 63, 206–212 (1939)
Christopher, C., Llibre, J., Pereira, J.V.: Multiplicity of invariant algebraic curves in polynomial vector fields. Pacific J. Math. 229, 63–117 (2007)
Darboux, G.: Mémoire sur les équations différentielles algébriques du second ordre et du premier degré. Bull. Des Sci. Math. Et Astron. 2, 123–144 (1878)
Deng, B.: Homoclinic twisting bifurcations and cusp horseshoe maps. J. Dyn. Differ. Equ. 5, 417–467 (1993)
Dumortier, F., Llibre, J., Artés, J.C.: Qualitative Theory of Planar Differential Systems. Springer, Berlin (2006)
Giraldo, A., Krauskopf, B., Osinga, H.M.: Cascades of global bifurcations and chaos near a homoclinic flip bifurcation: a case study. SIAM J. Appl. Dyn. Syst. 17, 2784–2829 (2018)
Giraldo, A., Krauskopf, B., Osinga, H.M.: Computing connecting orbits to infinity associated with a homoclinic flip bifurcation. J. Comput. Dyn. 7, 489–510 (2020)
Gouveia, M., Messias, M., Pessoa, C.: Bifurcations at infinity, invariant algebraic surfaces, homoclinic and heteroclinic orbits and centers of a new Lorenz-like chaotic system. Nonlinear Dynam. 84, 703–713 (2016)
Harko, T., Ho, C., Leung,C., Yip, S.: Jacobi stability analysis of the Lorenz system. Int. J. Geom. Methods Mod. Phys. 12, 1550081, 23 pp (2015)
Homburg, A.J., Kokubu, H., Krupa, M.: The cusp horseshoe and its bifurcations in the unfolding of an inclination-flip homoclinic orbit. Ergod. Theor. Dyn. Syst. 14, 667–693 (1994)
Huang, K., Shi, S., Li, W.: Integrability analysis of the Shimizu-Morioka system. Commun. Nonlinear Sci. Numer. Simul. 84, 105101, 12 pp (2020)
Huang, K., Shi, S., Yang, S.: Integrability and dynamics of the Poisson-Boltzmann equation in simple geometries. Commun. Nonlinear Sci. Numer. Simul. 130, 107668, 18pp (2024)
Huang, K., Shi, S., Li, W.: First integrals of the Maxwell-Bloch system. C. R. Math. Acad. Sci. Paris 358, 3–11 (2020)
Huang, K., Shi, S., Li, W.: Kovalevskaya exponents, weak Painlevé property and integrability for quasi-homogeneous differential systems. Regul. Chaotic Dyn. 25, 295–312 (2020)
Huang, K., Shi, S., Yang, S.: Differential Galoisian approach to Jacobi integrability of general analytic dynamical systems and its application. Sci. China Math. 66, 1473–1494 (2023)
Kimura, T.: On Riemann’s equation which are solvable by quadratures. Funkc. Ekvacioj Ser. Int. 12, 269–281 (1969)
Koper, M.: Bifurcations of mixed-mode oscillations in a three-variable autonomous Van der Pol-Duffing model with a cross-shaped phase diagram. Phys. D 80, 72–94 (1995)
Kosambi, D.D.: Parallelism and path-space. Math. Z. 37, 608–618 (1933)
Kuznetsov, Y.A.: Elements of Applied Bifurcation Theory. Springer, New York (2004)
Kuznetsov, Y. A., De Feo, O., Rinaldi, S.: Belyakov homoclinic bifurcations in a tritrophic food chain model. SIAM J. Appl. Math. 62, 462–487 (2001)
Linaro, D., Champneys, A., Desroches, M., Storace, M.: Codimension-two homoclinic bifurcations underlying spike adding in the Hindmarsh-Rose burster. SIAM J. Appl. Dyn. Syst. 11, 939–962 (2012)
Liu, Y.: Dynamics at infinity and the existence of singularly degenerate heteroclinic cycles in the conjugate Lorenz-type system. Nonlinear Anal. Real World Appl. 13, 2466–2475 (2012)
Llibre, J., Valls, C.: On the integrability of the 5-dimensional Lorenz system for the gravity-wave activity. Proc. Am. Math. Soc. 145, 665–679 (2017)
Llibre, J., Valls, C.: On the dynamics of a model with coexistence of three attractors: a point, a periodic orbit and a strange attractor. Math. Phys. Anal. Geom. 20, 12 (2017)
Llibre, J., Zhang, X.: On the Darboux integrability of polynomial differential systems. Qual. Theory Dyn. Syst. 11, 129–144 (2012)
Maciejewskia, A.J., Przybylska, M.: Integrability analysis of the stretch-twist-fold flow. J. Nonlinear Sci. 30, 1607–1649 (2020)
Oldham, K.B., Myland, J.C., Spanier, J.: An Atlas of Functions: with Equator, the Atlas Function Calculator. Springer, New York (2009)
Oliveira, R., Valls, C.: Chaotic behavior of a generalized Sprott E differential system. Int. J. Bifur. Chaos 26, 1650083, 16 pp (2016)
Sandstede, B.: Constructing dynamical systems having homoclinic bifurcation points of codimension two. J. Dyn. Differ. Equ. 9, 269–288 (1997)
Shilnikov, L.P.: A case of the existence of a denumerable set of periodic motions. Soviet Math. Dokl. 6, 163–166 (1965)
Sprott, J.C.: Some simple chaotic flows. Phys. Rev. E 50, 647–650 (1994)
Valls, C.: Invariant algebraic surfaces and algebraic first integrals of the Maxwell-Bloch system. J. Geom. Phys. 146, 103516, 8 pp (2019)
Valls, C.: Invariant algebraic surfaces for generalized Raychaudhuri equations. Comm. Math. Phys. 308, 133–146 (2011)
Velasco, E.: Generic properties of polynomial vector fields at infinity. Trans. Am. Math. Soc. 143, 201–222 (1969)
Wang, X., Chen, G.: A chaotic system with only one stable equilibrium. Commun. Nonlinear Sci. Numer. Simul. 17, 1264–1272 (2012)
Wieczorek, S.M., Krauskopf, B.: Bifurcations of n-homoclinic orbits in optically injected lasers. Nonlinearity 18, 1095–1120 (2005)
Xu, M., Shi, S., Huang, K.: The connection between the dynamical properties of 3D systems and the image of the energy-Casimir mapping. Discrete Contin. Dyn. Syst. (2024). https://doi.org/10.3934/dcds.2023126
Yu, A.K.: Numerical normalization techniques for all codim 2 bifurcations of equilibria in ODE’s. SIAM J. Numer. Anal. 36, 1104–1124 (1999)
Zhang, X.: Integrability of Dynamical Systems: Algebra and Analysis. Springer, Singapore (2017)
Acknowledgements
The authors are grateful to K. Huang for some valuable suggestions.
Funding
J. Qu was supported by Research Foundation of Department of Education of Jilin Province (Grant No. JJKH20241003KJ), Doctoral Research Start-up Fund of Changchun Normal University (No.005002066). S. Yang was supported by National Natural Science Foundation of China (No. 12301205).
Author information
Authors and Affiliations
Contributions
Two authors JQ and SY have the same contributions.
Corresponding author
Ethics declarations
Conflict of Interest
The authors declare that they have no competing interests.
Ethical Approval and Consent to Participate
The authors approve and consent to participate.
Consent for Publication
The authors agree to publication.
Appendix A: Some Formulas of \(h_{ij}\) in the Proof of Theorem 1
Appendix A: Some Formulas of \(h_{ij}\) in the Proof of Theorem 1
Set \(h_{30}=(h_{301},h_{302},h_{303})^T\) and \(h_{21}=(h_{211},h_{212},h_{213})^T\), where
and
In addition, one has
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Qu, J., Yang, S. New Insights on Non-integrability and Dynamics in a Simple Quadratic Differential System. J Nonlinear Math Phys 31, 10 (2024). https://doi.org/10.1007/s44198-024-00174-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s44198-024-00174-4
Keywords
- Homoclinic flip orbit
- Darboux integrability
- Local bifurcations
- Jacobi stability
- Poincaré compactification