Next Article in Journal
Analysis of Within-Host Mathematical Models of Toxoplasmosis That Consider Time Delays
Next Article in Special Issue
Measurable Sensitivity for Semi-Flows
Previous Article in Journal
Fully Nonlinear Evolution of Free-Surface Waves with Constant Vorticity under Horizontal Electric Fields
Previous Article in Special Issue
On Hopf and Fold Bifurcations of Jerk Systems
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Double-Zero Bifurcation of Jerk Systems

by
Cristian Lăzureanu
1,2
1
Department of Mathematics, Politehnica University Timişoara, P-ta Victoriei 2, 300006 Timişoara, Romania
2
Department of Mathematics, Faculty of Mathematics and Computer Science, West University of Timişoara, Parvan Blv. 4, 300223 Timişoara, Romania
Mathematics 2023, 11(21), 4468; https://doi.org/10.3390/math11214468
Submission received: 1 October 2023 / Revised: 23 October 2023 / Accepted: 26 October 2023 / Published: 28 October 2023
(This article belongs to the Special Issue Application of Mathematical Method and Models in Dynamic System)

Abstract

:
In this paper, we construct approximate normal forms of the double-zero bifurcation for a two-parameter jerk system exhibiting a non-degenerate fold bifurcation. More precisely, using smooth invertible variable transformations and smooth invertible parameter changes, we obtain normal forms that are also jerk systems. In addition, we discuss some of their parametric portraits.
MSC:
70K45; 70K50

1. Introduction

The double-zero bifurcation, also called the Bogdanov–Takens bifurcation, can occur in a continuous-time dynamical system x ˙ = f ( x , μ ) , x R n , μ R 2 , n 2 when the system has at the critical value of μ an equilibrium point with two zero eigenvalues and no other eigenvalues on the imaginary axis (see, e.g., [1,2]).
The double-zero bifurcation can be met, for instance, in mechanical, electrical, and biological systems. For example, the analysis of mathematical models of an internally constrained planar beam equipped with a lumped visco–elastic device and loaded by a follower force [3] or of a non-linear cantilever beam that is externally damped and made of a visco–elastic material [4] reveals among other solutions the existence of a double-zero bifurcation. Oscillators and electronic circuits are modeled by differential equations, and in some cases, they experience a double-zero bifurcation (see, e.g., [5,6,7]). Also, a double-zero bifurcation appears in some chemical reactions (see, e.g., [8,9]) and in fluid mechanics (see, e.g., [10,11]).
The importance of the double-zero bifurcation is highlighted by the following remark: “One of the most important features of the Takens–Bogdanov bifurcation is that it warrants the existence of global connections in its vicinity (a homoclinic orbit in the non-symmetric case and a homoclinic or a heteroclinic orbit if the system is symmetric)” [12].
This local bifurcation was first analyzed by Bogdanov [13] and Takens [14] in the case n = 2 . Several normal forms of this bifurcation were reported in this case (see, e.g., [1]). In fact, such a normal form is “the simplest parameter-dependent form to which any generic two-parameter system exhibiting the bifurcation can be transformed by smooth invertible changes of coordinates and parameters and (if necessary) time reparametrizations” [2]. Approximate normal forms are obtained by truncation of higher-order terms. In the n-dimensional case n 3 , the study of the double-zero bifurcation is carried out by reduction on a local center manifold to the planar case. It is natural to ask whether such a reduction can be avoided, i.e., whether n dimensional normal forms can be obtained. We will give an affirmative answer for n = 3 .
In this paper, we consider the jerk system
x ˙ = y y ˙ = z z ˙ = j ( x , y , z , α , β ) ,
where j is smooth and α , β R are parameters. Our goal is to obtain normal forms and approximate normal forms for the double-zero bifurcation of system (1), which is also a jerk system.
Particular cases of jerk systems have been widely investigated. Among topics, we recall local stability and bifurcations [15,16,17,18,19,20,21,22], chaotic behavior [23,24,25,26], and image encryption and cryptography [27,28].
The paper is organized as follows: In Section 2, we recall some results regarding non-degenerate fold bifurcations. In Section 3, we derive jerk approximate normal forms for system (1), and we discuss some of their parametric portraits.

2. The Fold Curve

Assume there are α c , β c such that system (1) displays a non-degenerate fold bifurcation when α passes through the critical value α c and β = β c is fixed. Following [21], sufficient conditions are given below:
F1.
There is at the critical value ( α c , β c ) an equilibrium point E ( x c , 0 , 0 ) of system (1) with a simple zero eigenvalue and no other eigenvalues on the imaginary axis, i.e., j ( E c ) = 0 , j x ( E c ) = 0 , j y ( E c ) 0 , j z ( E c ) 0 ;
F2.
The transversality condition j α ( E c ) 0 ;
F3.
The nondegeneracy condition j x 2 ( E c ) 0 ;
where E c = ( x c , 0 , 0 , α c , β c ) . We have denoted: j x = j x , j α = j α , j x 2 = 2 j x 2 .
It is known that if the fold conditions hold, then “generically, there is a bifurcation curve F in the ( α , β ) -plane along which the system has an equilibrium exhibiting the same bifurcation” [2]. For the sake of completeness, we prove this result in our case.
Lemma 1.
Let α c , β c be such that E ( x c , 0 , 0 ) is an equilibrium point of system (1) and conditions F 1 F 3 are satisfied. Then the standard projection of the curve
Γ : j ( x , 0 , 0 , α , β ) = 0 j x ( x , 0 , 0 , α , β ) = 0
in the ( α , β ) -plane is a curve F along which system (1) has an equilibrium exhibiting a non-degenerate fold bifurcation.
Proof. 
Considering the coordinates ( x , α , β ) , Γ is the intersection of two surfaces. Clearly, ( x c , α c , β c ) belongs to this intersection. Since
r a n k j x j α j β j x 2 j x α j x β E c = 2 ,
where E c = ( x c , 0 , 0 , α c , β c ) , Γ is a curve passing through ( x c , α c , β c ) . Moreover, since j ( E c ) = 0 , j x ( E c ) = 0 , and D ( j , j x ) D ( x , α ) ( E c ) = j α ( E c ) j x 2 ( E c ) 0 , by the Implicit Function Theorem (IFT), there are the functions x = x ( β ) , α = α ( β ) in a neighborhood V of β c such that x ( β c ) = x c ,   α ( β c ) = α c and which verify the equations of Γ . Hence, ( x ( β ) , α ( β ) , β ) is a parametrization of Γ in a neighborhood of ( x c , α c , β c ) . In addition, for all β V , E β ( x ( β ) , 0 , 0 ) is an equilibrium point of system (1) and by continuity, the other fold conditions will be satisfied. Consequently, the construction can be repeated to extend the curve further.
The projection ( x , α , β ) ( α , β ) will give the fold bifurcation curve F . □

3. The Double-Zero Bifurcation

In this section, we deduce jerk approximate normal forms for the double-zero bifurcation of a jerk system. Also, we give parametric portraits of these.
When the parameters α and β vary simultaneously to track the bifurcation curve F , another real eigenvalue can approach the imaginary axis, which leads to a double-zero bifurcation generally.
Consider the following mechanism of the double-zero bifurcation: Let F = { ( α ( β ) , β ) : β R } be the fold bifurcation curve given by Lemma 1. The parameter β varies such that E ( x ( β ) , 0 , 0 ) is an equilibrium point that fulfills the conditions F 1 F 3 . Taking into account the characteristic polynomial of the equilibrium E ( x ( β ) , 0 , 0 ) of system (1), namely
P ( λ ) = λ 3 j z ( E β ) λ 2 j y ( E β ) λ ,
where E β = ( x ( β ) , 0 , 0 , α ( β ) , β ) , we assume there is a unique β = β 0 and consequently a unique pair ( α 0 , β 0 ) F , α 0 = α ( β 0 ) such that
j y ( x ( β 0 ) , 0 , 0 , α 0 , β 0 ) = 0 .
Therefore, we get the equilibrium E 0 ( x ( β 0 ) , 0 , 0 ) with a double-zero eigenvalue when β passes through the critical value β 0 . Obviously, we can consider α instead of β .
In the following, we consider E 0 = O ( 0 , 0 , 0 ) and ( α 0 , β 0 ) = ( 0 , 0 ) ; we denote E = ( 0 , 0 , 0 , α , β ) and 0 ¯ = ( 0 , 0 , 0 , 0 , 0 ) . We are concerned with local properties: that is, ( α , β ) moves in the parametric plane with | ( α , β ) | = α 2 + β 2 being sufficiently small.
First, we use Taylor’s expansion of the function j with respect to ( x , y , z ) at ( 0 , 0 , 0 ) :
j ( x , y , z , α , β ) = j ( E ) + j x ( E ) x + j y ( E ) y + j z ( E ) z + 1 2 j x 2 ( E ) x 2 + 1 2 j y 2 ( E ) y 2 + 1 2 j z 2 ( E ) z 2 + j x y ( E ) x y + j x z ( E ) x z + j y z ( E ) y z + O ( x i y j z k ) ,
where i + j + k 3 . We have j ( 0 ¯ ) = j x ( 0 ¯ ) = j y ( 0 ¯ ) = 0 , j z ( 0 ¯ ) 0 , j x 2 ( 0 ¯ ) 0 .
We perform the parameter-dependent shift of the first variable, i.e.,
x = ε + δ ( α , β ) ,   y = y ,   z = z ,
and system (1) becomes
ε ˙ = y y ˙ = z z ˙ = j ˜ ( ε , y , z , α , β ) ,
where
j ˜ ( ε , y , z , α , β ) = j ( E ) + j x ( E ) δ + 1 2 j x 2 ( E ) δ 2 + O ( δ 3 ) + j x ( E ) + j x 2 ( E ) δ + O ( δ 2 ) ε + j y ( E ) + j x y ( E ) δ + O ( δ 2 ) y + j z ( E ) + j x z ( E ) δ + O ( δ 2 ) z + 1 2 j x 2 ( E ) ε 2 + 1 2 j y 2 ( E ) y 2 + 1 2 j z 2 ( E ) z 2 + j x y ( E ) ε y + j x z ( E ) ε z + j y z ( E ) y z + O ( ( ε + δ ) i y j z k ) , i + j + k 3 .
Now we try to find δ such that one of the linear terms vanishes via IFT. We have two cases.
Case I. The annihilation of the term proportional to y.
Let f ( α , β , δ ) = j y ( E ) + j x y ( E ) δ + O ( δ 2 ) = j y ( E ) + j x y ( E ) δ + φ ( α , β , δ ) δ 2 .
We have f ( 0 , 0 , 0 ) = j y ( 0 ¯ ) = 0 and f δ ( 0 , 0 , 0 ) = j x y ( 0 ¯ ) . Imposing the condition j x y ( 0 ¯ ) 0 , we can apply IFT; thus, there is the function δ = δ ( α , β ) with δ ( 0 , 0 ) = 0 such that f ( α , β , δ ( α , β ) ) = 0 in the neighborhood of ( 0 , 0 ) . Moreover
δ ( α , β ) = j y α ( 0 ¯ ) j x y ( 0 ¯ ) α j y β ( 0 ¯ ) j x y ( 0 ¯ ) β + O ( α i β j ) , i + j 2 .
We replace the above δ in (3), and then we expand in Taylor series with respect to ( α , β ) at ( 0 , 0 ) , knowing that j ( 0 ¯ ) = j x ( 0 ¯ ) = j y ( 0 ¯ ) = 0 , j z ( 0 ¯ ) 0 , j x 2 ( 0 ¯ ) 0 , j x y ( 0 ¯ ) 0 , j α 0 . We have
j ˜ ( ε , y , z , α , β ) = j α ( 0 ¯ ) α + j β ( 0 ¯ ) β + O ( α i β j ) + j x α ( 0 ¯ ) j x y ( 0 ¯ ) j x 2 ( 0 ¯ ) j y α ( 0 ¯ ) j x y ( 0 ¯ ) α + j x β ( 0 ¯ ) j x y ( 0 ¯ ) j x 2 ( 0 ¯ ) j y β ( 0 ¯ ) j x y ( 0 ¯ ) β + O ( α i β j ) ε + j z ( 0 ¯ ) j y α ( 0 ¯ ) j x z ( 0 ¯ ) j x y ( 0 ¯ ) α j y β ( 0 ¯ ) j x z ( 0 ¯ ) j x y ( 0 ¯ ) β + O ( α i β j ) z + 1 2 j x 2 ( 0 ¯ ) + j x 2 α ( 0 ¯ ) α + j x 2 β ( 0 ¯ ) β + O ( α i β j ) ε 2 + 1 2 j y 2 ( 0 ¯ ) + j y 2 α ( 0 ¯ ) α + j y 2 β ( 0 ¯ ) β + O ( α i β j ) y 2 + 1 2 j z 2 ( 0 ¯ ) + j z 2 α ( 0 ¯ ) α + j z 2 β ( 0 ¯ ) β + O ( α i β j ) z 2 + j x y ( 0 ¯ ) + j x y α ( 0 ¯ ) α + j x y β ( 0 ¯ ) β + O ( α i β j ) ε y + j x z ( 0 ¯ ) + j x z α ( 0 ¯ ) α + j x z β ( 0 ¯ ) β + O ( α i β j ) ε z + j y z ( 0 ¯ ) + j y z α ( 0 ¯ ) α + j y z β ( 0 ¯ ) β + O ( α i β j ) y z + O ( ε k y l z m α n β p ) ,   i + j 2 ,   k + l + m 3 ,   n + p 0 .
Consider the change in parameters near the origin ( α , β ) ( ν 1 , ν 2 ) given by
ν 1 = j α ( 0 ¯ ) α + j β ( 0 ¯ ) β + O ( α i β j ) ν 2 = j x α ( 0 ¯ ) j x y ( 0 ¯ ) j x 2 ( 0 ¯ ) j y α ( 0 ¯ ) j x y ( 0 ¯ ) α + j x β ( 0 ¯ ) j x y ( 0 ¯ ) j x 2 ( 0 ¯ ) j y β ( 0 ¯ ) j x y ( 0 ¯ ) β + O ( α i β j ) .
The above the map is regular if
D ( ν 1 , ν 2 ) D ( α , β ) ( 0 , 0 ) = 1 2 j x y ( 0 ¯ ) j α ( 0 ¯ ) j β ( 0 ¯ ) j x α ( 0 ¯ ) j x y ( 0 ¯ ) j x 2 ( 0 ¯ ) j y α ( 0 ¯ ) j x β ( 0 ¯ ) j x y ( 0 ¯ ) j x 2 ( 0 ¯ ) j y β ( 0 ¯ ) 0 ,
which is equivalent in our hypothesis to the regularity of the map
( x , α , β ) ( j ( x , 0 , 0 , α , β ) ,   j x ( x , 0 , 0 , α , β ) ,   j y ( x , 0 , 0 , α , β ) )
at the origin.
The above change in parameters transforms system (2) in
ε ˙ = y y ˙ = z z ˙ = j ˜ ( ε , y , z , ν 1 , ν 2 ) ,
where
j ˜ ( ε , y , z , ν 1 , ν 2 ) = ν 1 + ν 2 ε + j z ( 0 ¯ ) z + O ( ν 1 g ν 2 h ) + 1 2 j x 2 ( 0 ¯ ) + O ( ν 1 g ν 2 h ) ε 2 + 1 2 j y 2 ( 0 ¯ ) y 2 + 1 2 j z 2 ( 0 ¯ ) z 2 + j x y ( 0 ¯ ) ε y + j x z ( 0 ¯ ) ε z + j y z ( 0 ¯ ) y z + O ( ε i y j z k μ 1 l μ 2 m ) + O ( ε n y p z q μ 1 r μ 2 s ) ,
g + h 1 ,   i + j + k = 2 ,   ( i , j , k ) ( 2 , 0 , 0 ) ,   l + m 1 ,   n + p + q 3 ,   r + s 0 .
We denote A ( ν 1 , ν 2 ) = 1 2 ( j x 2 ( 0 ¯ ) + O ( ν 1 i ν 2 j ) ) . Since A ( 0 , 0 ) = 1 2 j x 2 ( 0 ¯ ) 0 , this results in A ( ν 1 , ν 2 ) 0 near ( 0 , 0 ) . Using the transformation
X = A ( ν 1 , ν 2 ) ε ,   Y = A ( ν 1 , ν 2 ) y ,   Z = A ( ν 1 , ν 2 ) z ,   μ 1 = A ( ν 1 , ν 2 ) ν 1 ,   μ 2 = ν 2 ,
and
1 A ( ν 1 , ν 2 ) = 2 j x 2 ( 0 ¯ ) + O ( ν 1 i ν 2 j ) , i + j 1 ,
system (4) can be written as
X ˙ = Y Y ˙ = Z Z ˙ = μ 1 + μ 2 X + X 2 + c Z + d X Y + φ ( μ 1 , μ 2 ) Z + j y 2 ( 0 ¯ ) j x 2 ( 0 ¯ ) Y 2 + j z 2 ( 0 ¯ ) j x 2 ( 0 ¯ ) Z 2 + 2 j x z ( 0 ¯ ) j x 2 ( 0 ¯ ) X Z + 2 j y z ( 0 ¯ ) j x 2 ( 0 ¯ ) Y Z + O ( X i Y j Z k μ 1 l μ 2 m ) + O ( X n Y p Z q μ 1 r μ 2 s ) ,
where i + j + k = 2 ,   i 2 ,   l + m 1 ,   n + p + q 3 ,   r + s 0 , c = j z ( 0 ¯ ) 0 , d = 2 j x y ( 0 ¯ ) j x 2 ( 0 ¯ ) 0 , φ ( 0 , 0 ) = 0 .
In conclusion, we have obtained the following theorem.
Theorem 1.
Let the jerk system x ˙ = y ,   y ˙ = z ,   z ˙ = j ( x , y , z , α , β ) , where j is smooth.
Assume that the following conditions are fulfilled:
DZ1. 
j ( 0 ¯ ) = 0 , j x ( 0 ¯ ) = 0 , j y ( 0 ¯ ) = 0 , j z ( 0 ¯ ) 0 ;
DZ2. 
j α ( 0 ¯ ) 0 ;
DZ3. 
j x 2 ( 0 ¯ ) 0 , j x y ( 0 ¯ ) 0 ;
DZ4. 
The map ( x , α , β ) ( j ( x , 0 , 0 , α , β ) , j x ( x , 0 , 0 , α , β ) , j y ( x , 0 , 0 , α , β ) ) is regular at ( 0 , 0 , 0 ) .
Then the considered system has at ( α , β ) = ( 0 , 0 ) the equilibrium O ( 0 , 0 , 0 ) with a double-zero eigenvalue and there are smooth invertible variable transformations and smooth invertible parameter changes, which together reduce the system to
X ˙ = Y Y ˙ = Z Z ˙ = μ 1 + μ 2 X + X 2 + c Z + d X Y + F ( X , Y , Z , μ 1 , μ 2 ) ,
where c = j z ( 0 ¯ ) 0 , d = 2 j x y ( 0 ¯ ) j x 2 ( 0 ¯ ) 0 , F ( X , Y , Z , μ 1 , μ 2 ) = φ ( μ 1 , μ 2 ) Z + j y 2 ( 0 ¯ ) j x 2 ( 0 ¯ ) Y 2 + j z 2 ( 0 ¯ ) j x 2 ( 0 ¯ ) Z 2 + 2 j x z ( 0 ¯ ) j x 2 ( 0 ¯ ) X Z + 2 j y z ( 0 ¯ ) j x 2 ( 0 ¯ ) Y Z + O ( X i Y j Z k μ 1 l μ 2 m ) + O ( X n Y p Z q μ 1 r μ 2 s ) , i + j + k = 2 , i 2 , l + m 1 , n + p + q 3 , r + s 0 , and φ is a smooth function with φ ( 0 , 0 ) = 0 .
Remark 1.
We notice the similarity between the reduced jerk system (6) and Bogdanov’s normal form of the double-zero bifurcation on R 2 given by (see, e.g., [2])
X ˙ = Y Y ˙ = μ 1 + μ 2 X + X 2 ± X Y .
Because c , d 0 and the local stability and some local bifurcations are related to the coefficients of the characteristic polynomial, we conclude that for a jerk system, an approximate normal form for the double-zero bifurcation is given by the system
x ˙ = y y ˙ = z z ˙ = μ 1 + μ 2 x + x 2 + c z + d x y ,
where c , d R , c , d 0 are fixed.
It is easy to see that if μ 2 2 4 μ 1 > 0 , system (8) has two equilibria E ± ( x ± , 0 , 0 ) , x ± = μ 2 ± μ 2 2 4 μ 1 2 , which collide when μ 2 2 4 μ 1 = 0 and then disappear for μ 2 2 4 μ 1 < 0 . Moreover, the characteristic polynomial at E ± is given by
P E ± ( λ ) = λ 3 c λ 2 d x ± λ μ 2 2 4 μ 1 .
The fold curve is F = { ( μ 1 , μ 2 ) : μ 2 2 4 μ 1 = 0 } , and λ 1 = λ 2 = 0 iff ( μ 1 , μ 2 ) = ( 0 , 0 ) .
Following [21], if the characteristic polynomial has the form P ( λ ) = λ 3 c λ 2 b λ a , then the Hopf bifurcation occurs if a < 0 ,   b < 0 ,   c < 0 ,   a + b c > 0 ; hence, it cannot occur at E + .
For E , let a = μ 2 2 4 μ 1 ,   b = d x = μ 2 + μ 2 2 4 μ 1 2 d .
Assume c < 0 . At E , we obtain the Hopf bifurcation curve
H = { ( μ 1 , μ 2 ) : ( 2 + c d ) μ 2 2 4 μ 1 + c d μ 2 = 0 } ,
which depends on c and d . In fact, H is half of the parabola μ 1 = c d + 1 ( c d + 2 ) 2 μ 2 2 for d ( , 0 ) ( 0 , 1 c ) ( 1 c , 2 c ) ( 2 c , ) , the negative semi-axis μ 2 = 0 for d = 2 c , and the positive semi-axis μ 1 = 0 for d = 2 c . Moreover, for c < 0 , we get that E + is an unstable equilibrium point with a two-dimensional stable manifold; thus, it does not bifurcate.
Now, let d < 0 . Consider the parametric portrait given in Figure 1, where H is the above Hopf curve and F + , F are the branches of the fold curve F separated by the double-zero point ( 0 , 0 ) .
In region 1, there are no equilibrium points. On the curve F , an equilibrium is born and splits into the asymptotically stable node (or focus-node) E and the unstable saddle (or saddle-focus) E + in the region 2. Hence system (8) displays a saddle–node bifurcation when ( μ 1 , μ 2 ) crosses the fold curve F . In region 3, E is an unstable equilibrium point with a one-dimensional stable manifold; hence, it loses stability when the curve H is crossed. Moreover, a Hopf bifurcation occurs, and a stable limit cycle is born (we assume that the first Lyapunov coefficient does not vanish). The unstable equilibria E + and E collide when ( μ 1 , μ 2 ) F + and then disappear when returning to region 1; thus, a degenerate fold bifurcation occurs. We conclude that there are no other local bifurcations in the dynamics of system (8) in the case c < 0 ,   d < 0 .
We notice that the above scenario is similar to that which takes place for Bogdanov’s normal form (7) (see [2]). As is pointed out in [2], “…finally return to region 1, no limit cycles must remain. Therefore, there must be global bifurcations ’destroying’ the cycle somewhere between H and F + ”. Consequently, a global bifurcation has to occur for system (8) in this case.
In Figure 2, we present such a homoclinic bifurcation obtained by numerical simulations. We fix c = 2 ,   d = 5 ,   μ 2 = 1.2 , and we vary the parameter μ 1 . Considering the initial point ( 0.3463 , 0.8131 , 0.1167 ) , we obtain an asymptotically stable orbit for μ 1 = 0.15 , which turns into a stable limit cycle at the above-mentioned Hopf curve. The limit cycle deforms ( μ 1 = 0.1 , μ 1 = 0.01 ) and finally becomes a homoclinic orbit (plotted here for μ 1 = 0.0738 using the initial point ( 0.3142 , 1.1737 , 1.3654 ) : the red part of the homoclinic orbit corresponds to t ( , 0 ) and the blue one to t [ 0 , ) ).
In the cases for which d ( 0 , 1 c ) ( 1 c , 2 c ) ( 2 c , ) , we obtain similar parametric portraits. The difference is that the regions 2 and 3 and the curves F and F + change their roles.
Now, assume that c > 0 . We obtain that E is an unstable equilibrium point with an one-dimensional stable manifold; thus, it does not bifurcate. Moreover, in this case system (8) does not experience a Hopf bifurcation.
Let d > 0 , and the parametric portrait given in Figure 3, where B is half of the parabola μ 1 = c d + 1 ( c d + 2 ) 2 μ 2 2 with μ 2 > 0 and F + , F , is as above.
Again, there are no equilibrium points in region 1. Crossing the curve F + , an equilibrium is born and separates into the unstable node (or focus-node) E + and the unstable saddle (or saddle-focus) E in region 4. Since both equilibria are unstable, system (8) does not display a saddle–node bifurcation in the classic sense: that is, a stable node and a saddle coalesce. Anyway, a fold bifurcation occurs in the considered dynamics. In region 5, E + is an unstable equilibrium point with a two-dimensional stable manifold. Therefore, crossing the curve B , the dimension of the stable manifold of E + changes. The saddles E + and E collide when ( μ 1 , μ 2 ) crosses F and then disappear when returning to region 1; thus, a degenerate fold bifurcation occurs. We conclude that there are no other local bifurcations in the dynamics of system (8) in this case. Similar bifurcation diagrams are obtained when d < 0 .
Case II. The annihilation of the term proportional to ε .
Let g ( α , β , δ ) = j x ( E ) + j x 2 ( E ) δ + O ( δ 2 ) = j x ( E ) + j x 2 ( E ) δ + φ ( α , β , δ ) δ 2 .
We have g ( 0 , 0 , 0 ) = j x ( 0 ¯ ) = 0 and g δ ( 0 , 0 , 0 ) = j x 2 ( 0 ¯ ) 0 . By IFT, there is a function δ = δ ( α , β ) with δ ( 0 , 0 ) = 0 such that g ( α , β , δ ( α , β ) ) = 0 in the neighborhood of ( 0 , 0 ) . Moreover,
δ ( α , β ) = j x α ( 0 ¯ ) j x 2 ( 0 ¯ ) α j x β ( 0 ¯ ) j x 2 ( 0 ¯ ) β + O ( α i β j ) , i + j 2 .
We proceed as in the previous case. Now we consider the change in parameters ( α , β ) ( μ 1 , μ 2 ) near the origin given by
ν 1 = j α ( 0 ¯ ) α + j β ( 0 ¯ ) β + O ( α i β j ) ν 2 = j x α ( 0 ¯ ) j x y ( 0 ¯ ) j x 2 ( 0 ¯ ) j y α ( 0 ¯ ) j x 2 ( 0 ¯ ) α j x β ( 0 ¯ ) j x y ( 0 ¯ ) j x 2 ( 0 ¯ ) j y β ( 0 ¯ ) j x 2 ( 0 ¯ ) β + O ( α i β j ) .
The above map is regular in ( 0 , 0 ) if the map
( x , α , β ) ( j ( x , 0 , 0 , α , β ) , j x ( x , 0 , 0 , α , β ) , j y ( x , 0 , 0 , α , β ) )
is also regular at ( 0 , 0 , 0 ) .
Consequently, system (2) is transformed into the system given in the next theorem.
Theorem 2.
Let the jerk system x ˙ = y ,   y ˙ = z ,   z ˙ = j ( x , y , z , α , β ) , where j is smooth.
Assume that the following conditions are fulfilled:
DZ1. 
j ( 0 ¯ ) = 0 , j x ( 0 ¯ ) = 0 , j y ( 0 ¯ ) = 0 , j z ( 0 ¯ ) 0 ;
DZ2. 
j α ( 0 ¯ ) 0 ;
DZ3. 
j x 2 ( 0 ¯ ) 0 ;
DZ4. 
The map ( x , α , β ) ( j ( x , 0 , 0 , α , β ) ,   j x ( x , 0 , 0 , α , β ) ,   j y ( x , 0 , 0 , α , β ) ) is regular at ( 0 , 0 , 0 ) .
Then the considered system has at ( α , β ) = ( 0 , 0 ) the equilibrium O ( 0 , 0 , 0 ) with a double-zero eigenvalue, and there are smooth invertible variable transformations and smooth invertible parameter changes, which together reduce the system to
X ˙ = Y Y ˙ = Z Z ˙ = μ 1 + μ 2 Y + c Z + X 2 + G ( X , Y , Z , μ 1 , μ 2 ) ,
where c = j z ( 0 ¯ ) 0 , G ( X , Y , Z , μ 1 , μ 2 ) = φ ( μ 1 , μ 2 ) Z + j y 2 ( 0 ¯ ) j x 2 ( 0 ¯ ) Y 2 + j z 2 ( 0 ¯ ) j x 2 ( 0 ¯ ) Z 2 + 2 j x y ( 0 ¯ ) j x 2 ( 0 ¯ ) X Y + 2 j x z ( 0 ¯ ) j x 2 ( 0 ¯ ) X Z + 2 j y z ( 0 ¯ ) j x 2 ( 0 ¯ ) Y Z + O ( X i Y j Z k μ 1 l μ 2 m ) + O ( X n Y p Z q μ 1 r μ 2 s ) , i + j + k = 2 ,   i 2 ,   l + m 1 ,   n + p + q 3 ,   r + s 0 , and φ is a smooth function with φ ( 0 , 0 ) = 0 .
Remark 2.
In this case, the reduced jerk system (9) is similar to the normal form of the double-zero bifurcation on R 2 given by Guckenheimer and Holmes [1]:
X ˙ = Y Y ˙ = μ 1 + μ 2 Y + X 2 + d X Y .
Now, we consider for a jerk system another approximate normal form for the double-zero bifurcation given by the system
x ˙ = y y ˙ = z z ˙ = μ 1 + μ 2 y + c z + x 2 + d x y ,
where c , d R , c 0 are fixed.
If μ 1 < 0 , system (10) has two equilibria E ± ( x ) ( ± μ 1 , 0 , 0 ) , which coalesce when μ 1 = 0 and then disappear for μ 1 > 0 . The characteristic polynomial at E ± is given by
P E ± ( λ ) = λ 3 c λ 2 ( μ 2 ± d μ 1 ) λ 2 μ 1 .
The fold curve is F = { ( μ 1 , μ 2 ) : μ 1 = 0 } , and λ 1 = λ 2 = 0 iff ( μ 1 , μ 2 ) = ( 0 , 0 ) .
The Hopf bifurcation cannot occur at E + . For E , we denote a = 2 μ 1 , b = μ 2 d μ 1 .
Let c < 0 . It follows that E + is an unstable equilibrium point with a two-dimensional stable manifold; thus, it does not bifurcate.
At E , we obtain the Hopf bifurcation curve
H = { ( μ 1 , μ 2 ) : c μ 2 ( 2 + c d ) μ 1 = 0 } .
In fact, H is half of the parabola μ 1 = c 2 ( c d + 2 ) 2 μ 2 2 for d ( , 2 c ) ( 2 c , ) , and the negative semi-axis μ 2 = 0 for d = 2 c .
Now, let d 0 . We obtain the parametric portrait given in Figure 4, where H is the above Hopf curve and F + , F are the branches of the fold curve F separated by the double-zero point ( 0 , 0 ) . Also, the behavior of system (10) in each region is the same as of system (8) in the case c < 0 ,   d < 0 (see Case 1). For d ( 0 , 2 c ) ( 2 c , ) , we obtain similar parametric portraits.
In the case c > 0 , we obtain that E is an unstable equilibrium point with a one-dimensional stable manifold; thus, it does not bifurcate. In addition, a Hopf bifurcation does not occur in the dynamics of system (10).
For d > 0 , we get the parametric portrait given in Figure 5, where B is the parabola μ 1 = c 2 ( c d + 2 ) 2 μ 2 2 with μ 2 < 0 and F + , F are as above.
In this case, there are no equilibrium points in region 1, and an equilibrium appears when ( μ 1 , μ 2 ) F . This point splits into the unstable node (or focus-node) E + and the unstable saddle (or saddle-focus) E in the region 6. Crossing the curve B , E + changes its number of negative eigenvalues, and in region 7, it has a two-dimensional stable manifold. The saddles E + and E collide when ( μ 1 , μ 2 ) crosses F + and then disappear when returning to region 1; thus, a degenerate fold bifurcation occurs. We conclude that there are no other local bifurcations in the dynamics of system (10) in this case. Similar bifurcation diagrams are obtained when d 0 .
Remark 3.
It is known that the normal forms for the double-zero bifurcation given by Bogdanov [13], Takens [14], and Guckenheimer and Holmes [1] are equivalent. In our case, the approximate normal forms (8) and (10) have similar parametric portraits. Moreover, if c < 0 ,   d < 0 , the local bifurcations are the same as those obtained for the Bogdanov normal form (see [2]) and Guckenheimer and Holmes (see [1]), respectively. It remains an open problem to establish if a jerk system and the corresponding approximate normal form are locally topologically equivalent: that is, the construction of a homeomorphism that maps orbits of the first system onto orbits of the second system.

4. Conclusions

In this paper, we have studied the double-zero bifurcation of an arbitrary two-parameter jerk system. This bifurcation is associated with the appearance of two zero eigenvalues. In the two-dimensional case, the behavior of a system that displays such a bifurcation near the critical values of the parameters is given by the behavior of a normal form. For an n dimensional dynamical system, particularly a jerk system, a normal form is obtained by reduction on a local center manifold. To avoid this reduction, using invertible coordinate and parameter changes, we have derived approximate normal forms for a double-zero bifurcation of an arbitrary two-parameter jerk system that continues being a jerk system. We have obtained the simplest jerk systems that experience such a bifurcation. In addition, we have given some parametric portraits and have studied the local behavior of these systems.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

I would like to thank the referees very much for their valuable comments and suggestions.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Guckenheimer, J.; Holmes, P. Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields, Applied Mathematical Sciences; Springer: Berlin/Heidelberg, Germany, 1983. [Google Scholar]
  2. Kuznetsov, Y.A. Elements of Applied Bifurcation Theory; Springer: New York, NY, USA, 1998. [Google Scholar]
  3. Luongo, A.; Di Egidio, A. Divergence, Hopf and double-zero bifurcations of a nonlinear planar beam. Comput. Struct. 2006, 84, 1596–1605. [Google Scholar] [CrossRef]
  4. Luongo, A.; D’Annibale, F. Double zero bifurcation of non-linear viscoelastic beams under conservative and non-conservative loads. Int. J. Non-Linear Mech. 2013, 55, 128–139. [Google Scholar] [CrossRef]
  5. Freire, E.; Rodriguez-Luis, A.J.; Gamero, E.; Ponce, E. A case study for homoclinic chaos in an autonomous electronic circuit: A trip from Takens-Bogdanov to Hopf-Šil’nikov. Phys. D Nonlinear Phenom. 1993, 62, 230–253. [Google Scholar] [CrossRef]
  6. Algaba, A.; Gamero, E.; Rodriguez-Luis, A.J. A bifurcation analysis of a simple electronic circuit. Commun. Nonlinear Sci. Numer. Simul. 2005, 10, 169–178. [Google Scholar] [CrossRef]
  7. Amador, A.; Freire, E.; Ponce, E. Bifurcation set for a disregarded Bogdanov-Takens unfolding: Application to 3D cubic memristor oscillators. Nonlinear Dyn. 2021, 104, 1657–1675. [Google Scholar] [CrossRef]
  8. Wang, W.; Lin, Y.; Yang, F.; Zhang, L.; Tan, Y. Numerical study of pattern formation in an extended Gray–Scott model. Commun. Nonlinear Sci. Numer. Simul. 2011, 16, 2016–2026. [Google Scholar] [CrossRef]
  9. Su, J.; Xu, B. Local bifurcations of an enzyme-catalyzed reaction system with cubic rate law. Nonlinear Dyn. 2018, 94, 521–539. [Google Scholar] [CrossRef]
  10. Mellibovsky, F.; Eckhardt, B. Takens–Bogdanov bifurcation of travelling-wave solutions in pipe flow. J. Fluid Mech. 2011, 670, 96–129. [Google Scholar] [CrossRef]
  11. Sierra, J.; Fabre, D.; Citro, V.; Giannetti, F. Bifurcation scenario in the two-dimensional laminar flow past a rotating cylinder. J. Fluid Mech. 2020, 905, A2. [Google Scholar] [CrossRef]
  12. Algaba, A.; Dominguez-Moreno, M.C.; Merino, M.; Rodriguez-Luis, A.J. Takens–Bogdanov bifurcations of equilibria and periodic orbits in the Lorenz system. Commun. Nonlinear Sci. Numer. Simul. 2016, 30, 328–343. [Google Scholar] [CrossRef]
  13. Bogdanov, R.I. Versal deformations of a singular point of a vector field on the plane in the case of zero eigenvalues. Funct. Anal. Appl. 1975, 9, 144–145. [Google Scholar] [CrossRef]
  14. Takens, F. Forced oscillations and bifurcations. Commun. Math. Inst. Rijksuniv. Utrecht 1974, 2, 1–111. [Google Scholar]
  15. Elsonbaty, A.R.; El-Sayed, A.M.A. Further nonlinear dynamical analysis of simple jerk system with multiple attractors. Nonlinear Dyn. 2017, 87, 1169–1186. [Google Scholar] [CrossRef]
  16. Tang, D.; Zhang, S.; Ren, J. Dynamics of a general jerky equation. J. Vib. Control 2019, 25, 922–932. [Google Scholar] [CrossRef]
  17. Sang, B.; Huang, B. Zero-Hopf Bifurcations of 3D Quadratic Jerk System. Mathematics 2020, 8, 1454. [Google Scholar] [CrossRef]
  18. Braun, F.; Mereu, A.C. Zero-Hopf bifurcation in a 3D jerk system. Nonlinear Anal. Real World Appl. 2021, 59, 103245. [Google Scholar] [CrossRef]
  19. Lăzureanu, C. Dynamical Properties, Deformations, and Chaos in a Class of Inversion Invariant Jerk Equations. Symmetry 2022, 14, 1318. [Google Scholar] [CrossRef]
  20. Sun, X.; Yan, S.; Zhang, Y.; Wang, E.; Wang, Q.; Gu, B. Bursting dynamics and the zero-Hopf bifurcation of simple jerk system. Chaos Solit. Fractals 2022, 162, 112455. [Google Scholar] [CrossRef]
  21. Lăzureanu, C.; Cho, J. On Hopf and fold bifurcations of jerk systems. Mathematics 2023, 11, 4295. [Google Scholar] [CrossRef]
  22. Lyu, W.; Li, S.; Chen, Z.; Bi, Q. Bursting Dynamics in a Singular Vector Field with Codimension Three Triple Zero Bifurcation. Mathematics 2023, 11, 2486. [Google Scholar] [CrossRef]
  23. Coullet, P.H.; Tresser, C.; Arneodo, A. Transition to stochasticity for a class of forced oscillators. Phys. Lett. A 1979, 72, 268–270. [Google Scholar] [CrossRef]
  24. Gottlieb, H.P.W. Question 38. What is the simplest jerk function that gives chaos? Am. J. Phys. 1996, 64, 525. [Google Scholar] [CrossRef]
  25. Sprott, J.C. Some simple chaotic jerk functions. Am. J. Phys. 1997, 65, 537–543. [Google Scholar] [CrossRef]
  26. Wei, Z.; Sprott, J.C.; Chen, H. Elementary quadratic chaotic flows with a single non-hyperbolic equilibrium. Phys. Lett. A 2015, 379, 2184–2187. [Google Scholar] [CrossRef]
  27. Vaidyanathan, S.; Moroz, I.M.; Abd El-Latif, A.A.; Abd-El-Atty, B.; Sambas, A. A new multistable jerk system with Hopf bifurcations, its electronic circuit simulation and an application to image encryption. Int. J. Comput. Appl. Technol. 2021, 67, 29–46. [Google Scholar] [CrossRef]
  28. Vaidyanathan, S.; Kammogne, A.S.T.; Tlelo-Cuautle, E.; Talonang, C.N.; Abd-El-Atty, B.; Abd El-Latif, A.A.; Kengne, E.M.; Mawamba, V.F.; Sambas, A.; Darwin, P.; et al. A Novel 3-D Jerk System, Its Bifurcation Analysis, Electronic Circuit Design and a Cryptographic Application. Electronics 2023, 12, 2818. [Google Scholar] [CrossRef]
Figure 1. The parametric portrait for local bifurcations of system (8) for c < 0 ,   d < 0 .
Figure 1. The parametric portrait for local bifurcations of system (8) for c < 0 ,   d < 0 .
Mathematics 11 04468 g001
Figure 2. The transition from an asymptotically stable orbit to a homoclinic orbit of system (8) via limit cycles for c < 0 ,   d < 0 .
Figure 2. The transition from an asymptotically stable orbit to a homoclinic orbit of system (8) via limit cycles for c < 0 ,   d < 0 .
Mathematics 11 04468 g002
Figure 3. The parametric portrait for local bifurcations of system (8) for c > 0 ,   d > 0 .
Figure 3. The parametric portrait for local bifurcations of system (8) for c > 0 ,   d > 0 .
Mathematics 11 04468 g003
Figure 4. The parametric portrait for local bifurcations of system (10) for c < 0 ,   d < 0 .
Figure 4. The parametric portrait for local bifurcations of system (10) for c < 0 ,   d < 0 .
Mathematics 11 04468 g004
Figure 5. The parametric portrait for local bifurcations of system (10) for c > 0 ,   d > 0 .
Figure 5. The parametric portrait for local bifurcations of system (10) for c > 0 ,   d > 0 .
Mathematics 11 04468 g005
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Lăzureanu, C. On the Double-Zero Bifurcation of Jerk Systems. Mathematics 2023, 11, 4468. https://doi.org/10.3390/math11214468

AMA Style

Lăzureanu C. On the Double-Zero Bifurcation of Jerk Systems. Mathematics. 2023; 11(21):4468. https://doi.org/10.3390/math11214468

Chicago/Turabian Style

Lăzureanu, Cristian. 2023. "On the Double-Zero Bifurcation of Jerk Systems" Mathematics 11, no. 21: 4468. https://doi.org/10.3390/math11214468

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop