Professional Documents
Culture Documents
Bifurcation Theory 2 PDF
Bifurcation Theory 2 PDF
Bifurcation Theory
Bifurcation: qualitative change in the nature of the solution occurs if a parameter passes through
a critical point (bifurcation or branch value).
ϕ ( y e ,α ) = 0 . (2)
Note: the equilibrium point ye , a stationary point, depends on the value of α . At certain values
(b) Alternative definition: let N α denote the number of equilibrium values of the system
constant, α 0 is called a bifurcation value, and the system is said to undergo a bifurcation
as α passes through α 0 .
(c) Another definition: a value α 0 of equation (1) for which the solution of (1) is not
1
Note: in the case of codimension one bifurcations1 the conditions on the Jacobian and its roots
can be replaced with single partial derivatives.
are satisfied:
∂f ( y e , 0 , α 0 )
= 0 , [ f ( y,α ) has a stationary point with respect to y at ( ye,0 ,α 0 ) ] (5.a)
∂y
∂ 2 f ( y e , 0 ,α 0 )
≠ 0 , [ ( y e,0 ,α 0 ) is an extremum] (5.b)
∂y 2
∂f ( ye, 0 ,α 0 )
≠ 0 . [ f ( y,α ) is not stationary with respect to α at ( ye,0 ,α 0 ) ] (5.c)
∂α
Then, depending on the signs of the expression (5.b) and (5.c), there are
(i) no equilibria near ( ye, 0 ,α 0 ) when
α < α 0 ( α > α 0 );
(ii) two equilibria near ( ye, 0 ,α 0 ) for
and assume that when α = α 0 there is an equilibrium ye, 0 for which the following assumptions
1
One-dimensional systems.
2
are satisfied:
∂f ( ye, 0 ,α 0 )
= 0 , [ f ( y,α ) has a stationary point with respect to y at ( ye,0 ,α 0 ) ] (7.a)
∂y
∂ 2 f ( y e , 0 ,α 0 )
≠ 0 , [ ( ye,0 ,α 0 ) is an extremum] (7.b)
∂y 2
∂ 2 f ( y e , 0 ,α 0 )
≠ 0 . [Change in α shifts the phase curve] (7.c)
∂α∂y
Then, depending on the signs of the expression (7.b) and (7.c)
(i) the equilibrium y e,0 is stable (unstable) when α < α 0
( α > α 0 );
Example: y ′ = αy − y 2
are satisfied:
∂f ( ye, 0 ,α 0 )
= 0 , [ f ( y,α ) has a stationary point with respect to y at ( ye,0 ,α 0 ) ] (9.a)
∂y
∂ 3 f ( y e , 0 ,α 0 )
≠ 0 , [Excluding the presence of a horizontal inflection at ye,0 ] (9.b)
∂y 3
∂ 2 f ( y e , 0 ,α 0 )
≠ 0 . [Shift of the phase curve] (9.c)
∂α∂y
Then, depending on the signs of the expression (9.b) and (9.c)
(iii) the equilibrium y e,0 is stable (unstable) when α < α 0 ( α > α 0 );
3
(iv) the equilibrium y e,0 becomes unstable (stable) for each parameter value α > α 0
Example: y ′ = αy − y 3
ϕ1 ( y1 , y 2 ,α ) = 0,
(11)
ϕ 2 ( y1 , y 2 ,α ) = 0.
The solution to (11) will give y1e , y 2e as continuously differentiable functions of the parameter,
namely (3), if the following Jacobian matrix of (11) is non singular at the equilibrium point
∂ϕ1 ( y1 , y 2 ,α ) ∂ϕ 1 ( y1 , y 2 ,α )
∂y1 ∂y 2
J (α ) = , (12)
2 1 , y 2 ,α )
∂ϕ ( y ∂ϕ 2 ( y1 , y 2 ,α )
∂y1 ∂y 2
2
The case in which the two additional equilibria were stable is called supercritical pitchfork. The case in which the
two additional equilibria were unstable is called subcritical pitchfork.
4
Hopf bifurcation theorem
Assume that Jacobian matrix (12) evaluated at ( ye, 0 (α 0 ),α 0 ) has the following properties:
while ω (α 0 ) ≠ 0 ;
dθ (α )
(ii) ≠ 0;
dα α =α 0
5
Local Bifurcation Theory: Discrete Time Systems
Note: in discrete time systems the root with unit modulus takes the place of the zero-real-part
root of the Jacobian matrix.
1. Saddle-node (fold) bifurcation (prototype functions: yt +1 = α − yt2 , yt +1 = yt + α − yt2 ).
Consider the one parameter first-order difference equation
yt +1 = f ( yt ,α ) (13)
and assume that when α = α 0 there is an equilibrium ye, 0 . We have fold bifurcation if the
∂ 2 f ( ye , 0 , α 0 )
≠ 0, (14.b)
∂y 2
∂f ( ye, 0 ,α 0 )
≠ 0. (14.c)
∂α
and assume that when α = α 0 there is an equilibrium ye, 0 . We have a transcritical bifurcation if
∂ 2 f ( ye , 0 , α 0 )
≠ 0. (16.c)
∂α∂y
6
3. Pitchfork bifurcation (prototype functions: yt +1 = αyt − yt3 , yt +1 = yt + αyt − yt3 ).
Consider the one parameter first-order difference equation
yt +1 = f ( yt ,α ) (17)
and assume that when α = α 0 there is an equilibrium ye, 0 . We have pitchfork bifurcation if the
∂ 2 f ( ye , 0 ,α 0 )
≠ 0. (18.c)
∂αy
yt +1 = − yt − αyt − αyt3 ).
and assume that when α = α 0 there is an equilibrium ye, 0 for which the following hypotheses
are satisfied:
∂f ( ye,0 ,α 0 )
= −1 , (20.a)
∂y
∂f ( ye,0 ,α 0 ) ∂ 2 f ( ye,0 ,α 0 ) ∂ 2 f ( ye , 0 , α 0 )
+2 ≠ 0, (20.b)
∂ α ∂ y 2
∂ α y
∂ 2 f ( y ,α ) 2 ∂ 3 f ( ye ,0 ,α 0 )
a ≡ 3 ≠ 0.
+2
e,0 0
(20.c)
∂y 2 ∂ y 3
Then, depending of the signs of the expressions (20.b) and (20.c),
(i) the equilibrium y e, 0 is stable (unstable) when α < α 0 ( α > α 0 );
(ii) the equilibrium ye,0 becomes unstable (stable) for each parameter value α > α 0
7
( α < α 0 ), and a branch of additional stable (unstable) equilibria ye (α ) of order 2
emerges (two-cycle).
Note: an equilibrium point (or fixed point) of order 2 is an equilibrium point of the
following difference equitation3:
yt +2 = f ( yt +1 ,α ) = f ( f ( yt ,α ),α ) ≡ f ( 2) ( yt ,α ) . (21)
When a in (20.c) is positive (negative), the emerging equilibrium points of order 2 are stable
(unstable), and the flip bifurcation is said to be supercritical (subcritical) respectively.
Note: unlike with the continuous time case the Hopf bifurcation theorem exists only for 2× 2
discrete time systems.
Consider a 2× 2 non-linear difference system with one parameter
y t +1 = ϕ (y t ,α ) , (22)
and suppose that for each α it has a smooth family of equilibrium points y e = y e (α ) at which
the eigenvalues are complex conjugate, λ1, 2 = θ (α ) ± iω (α ) . If there is a critical value α 0 of the
d λ1, 2 (α 0 )
(ii) ≠ 0;
dα
α =α 0
3
An equilibrium point of order 2 is a point that repeats itself every two periods, i.e. a constant-amplitude alternation.