geometrical analysis of 1-d dynamical systems...2 logistic equation: = ๐ ( โ ) the length of...
Post on 24-Jul-2020
1 Views
Preview:
TRANSCRIPT
1
ME 680- Spring 2014
Geometrical Analysis of 1-D Dynamical Systems
2
Logistic equation: ๐ = ๐๐(๐ โ ๐)๐๐๐๐๐๐๐๐ ๐๐๐๐๐๐๐๐
The length of the arrows magnitude of the velocity
(function) at that point.
Geometrical Analysis of 1-D Dynamical Systems
Equilibria or fixed points : initial conditions n* where you
start and stay without evolving for all time. They
correspond to zeros of the velocity function:
n*=0 n*=1 n
f(n) Phase diagram
3
๐ผ โlimit set of a point (initial condition) ๐0 :
It is defined as the set of limit points of the trajectory
started at ๐0, for t โ - . Thus,
๐ผ(๐0) = ๐โ|โlimโ๐โ(๐0, ๐ก) = ๐๐กโโโ
๐ โlimit set of a point ๐0 is the set
๐(๐0) = ๐โ|โlimโ๐โ(๐0, ๐ก) = ๐๐กโ+โ
Existence of a potential function: Consider ๐ = ๐(๐)
(Gradient Dynamical System)
Let there be a function V(n) such that ๐(๐) = โ๐๐ฝ ๐ ๐
Example: for the Logistic equation ๐(๐) = ๐โ๐โ(๐ โ ๐),
i.e., ๐ฝ(๐) = โ๐๐๐ ๐ + ๐๐๐ ๐
4
Then, note that the equilibrium points for the system (a
Gradient Dynamical System) are at the local extrema of the
potential function. This is where the similarity with mechanical
systems with potential energy functions ends!! Considering the
Logistic equation:
๐ฝ(๐) =โ๐๐๐
๐+
๐๐๐
๐
the plot of the potential function, and the equilibrium
points are as follows:
V(n)
n n*=0
n*=1
5
Oscillatory behavior is not possible in 1-D autonomous Systems
Trajectories approach the equilibrium point n*=1, but
never reach it in finite time.
Invariant subspaces are regions ๐ฐ โ ๐ฝ in phase space where
if ๐๐โ โ โโ๐ฐ, then ๐โ ๐, ๐๐ โ ๐ฐ for all negative and
positive flow times (- < t < ). For the Logistic Equation,
the invariant subspaces are:
๐ฐ๐ = โโ,๐ โ, ๐ฐ๐ = ๐ โ, ๐ฐ๐ = ๐, ๐ , ๐ฐ๐ = ๐ โ, ๐ฐ๐ = {๐,+โ}
Thus, the state space is decomposed into:
โ = ๐ฐ๐ โช โ๐ฐ๐ โช ๐ฐ๐ โช ๐ฐ๐โ โช ๐ฐ๐
๐ถโ๐๐๐ โ๐ limit sets of any initial condition ๐0:
Observations:
6
If ๐๐โ โ โ๐ฐ, โโ๐กโ๐โโโ๐ถ โ limit set is 0
๐โ limit set isโโ
If ๐๐โ โ โ๐ฐ๐, โ๐กโ๐๐โโ๐ถ โ โ๐๐๐โ๐โ limit sets are the same
If ๐๐โ โ โ๐ฐ๐, โ๐กโ๐๐โโโโ ๐ถโ(๐๐) = {๐}, โโ๐๐๐โโโ ๐(๐๐) = {๐}โโฏ โ๐ ๐โ๐๐.
Stability of Equilibria/Fixed Points
An equilibrium point of ๐ = ๐(๐), say x=x*, is stable if
โ๐บ > ๐โ, โโโโ๐นโ(๐บ) > ๐โ such that for any initial condition x0,
with | ๐๐ โ ๐โ | < ๐น, โโ|๐โ(๐, ๐๐) โ ๐โ| < ๐บโโโ๐๐๐โโโ๐๐๐โโ๐, โโ๐โ < ๐โ < +โ.
Otherwise, it is unstable.
7
This definition of stability is very difficult to use directly to
deduce stability of an equilibrium point. One needs to a
priori know the solution for every given initial condition
starting inside the region of size ฮด. Thus, one really needs
to find other criteria that can be used to characterize stability
without solving the differential equation.
If in addition, |๐(๐ก, ๐ฅ0) โ ๐ฅโ| โ 0โ๐๐ โโ๐กโ โ โโ, โโ๐กโ๐๐โ๐ฅโ is an
asymptotically stable equilibrium.
x*
ฮด
x* x0
8
1. Logistic Equation
n*=0 (unstable)
n
f(n)=an2
n*=0 (stable) n
f(n) = โan3
Examples:
Observe: Any isolated stable equilibrium in 1-D
autonomous systems has to be asymptotically stable.
2. Quadratic System
n*=0
(unstable) n*=1 n
f(n)=rn(1โn)
(asymptotically stable)
3. Cubic System
9
Let x* be a fixed point of ๐ฅ = ๐(๐ฅ), i.e. ๐(๐ฅโ) = 0
To linearize about x = x*, introduce a perturbation:
๐ฟ๐๐กโโโ๐ฅ = ๐ฅ โ ๐ฅโ โ ๐โ๐๐โโโโโโ๐ฅ + ๐ฅ โ = ๐(๐ฅ + ๐ฅโ)
x x0 0
dfor x x f(x ) x
dx
x 0
dfx x
dx
This is the linearized equation about x = x*
Linearization about equilibrium points
(Taylor series expansion for small ๐ )
10
The equilibrium points are ๐โ = 1โโโ๐๐๐โโโ๐โ = 0. โ
Let us linearize the system about ๐โ = 1
Then ๐ = ๐โโ+ ๐ = 1โโ+ ๐
and ๐ = ๐(1 + ๐ )โ(โ๐ ) = โ๐ ๐ โ ๐๐ 2
dfr n r n
dn n 0
n 0
df0
dn
This is the linearized system near ๐โ = ๐โ. Note that ๐โ = ๐โis linearly stable. We can make the connection between linear stability (i.e. stability of equilibrium for the linearized system) and nonlinear stability if (only if)
Example: Logistic Equation: ๐ = ๐โ๐(1 โ ๐)
(Hartman-Grobman theorem)
11
๐ฅ = ๐(๐ฅ)โ; โ๐(๐ฅโ) = 0 โ ๐ฅโ is an equilibrium
There are a few ways to linearize the system.
(i):
* *
*
dfx f(x ) (x x )
dx x x
* * *
*
dfx x f(x ) (x x )
dx x x
*x x x. Then
*
dfx x
dx x x
Closing Remarks on Linearization
(Taylor series expansion)
Let
linearized system around an
Equilibrium
12
(ii): Let ๐ฅ = ๐ฅโ + ๐ฅ . โโโโโ๐โ๐๐
* * หx x f(x x) f(x)
หdfหx f(0) xdx x 0
หdfor x x
dx x 0
*
หdfx x
dx x
*
หdfx x(0)exp( t)
dx xGeneral solution of is
eigenvalue
if eigenvalue < 0, x=x* is asymptotically stable if eigenvalue > 0, x=x* is unstable
13
If eigenvalue is โ 0, the equilibrium is called
โhyperbolicโ. Otherwise, it is called โnon-hyperbolicโ.
According to the Hartman-Grobman theorem, if x* is a
hyperbolic equilibrium, stability conclusions drawn from
linearized equation (linear stability) โ hold also for the
nonlinear model (nonlinear stability)
if , then we have to look at higher order
terms in the Taylor series to judge stability.
,*
df0
dx x
14
Interesting dynamics can occur as system (or control)
parameters vary: Equilibria can suddenly change in
number or stability type.
Ex: Consider the example of a cantilever beam with a
mass on top, with the mass being a control
parameter:
For mg < Pcr (1 equilibrium) For mg > Pcr (3 equilibriums)
mg
g g
Bifurcations of equilibria in 1-D
15
A prototypical example:
โข ๐ = ๐ + ๐๐ here r is some control parameter
The velocity functions for three distinct cases are as
follows:
x
x
r
r < 0
two equil
x
x
r = 0
one equil
x
x
r > 0
no equil
Saddle-node bifurcation (fold, or turning point, blue sky bifurcation)
16
We can present these results in a diagram of
equilibrium solutions x* as a function of the parameter r.
This is a bifurcation diagram. (r = 0, x* = 0) is the
bifurcation point. This is called a subcritical saddle -
node bifurcation.
X*
r
stable
unstable
r =0
17
Linear Stability Analysis
r > 0 : the equilibrium points are
2
Consider the system:
x r x f(x)
*x r
*
*
*
The function derivative is
x r , asympt staw be get ( le)
df
dx x x
dfFor 2 r
dx x x
X*
r
stable
unstable
r =0
Supercritical saddle node bifurcation:
18
Note that both equilibria are hyperbolic
At r = 0, however, i.e., Hartman-Grobman
theorem fails!
Consider the velocity function at r = 0:
The equilibrium at x*=0
is actually unstable!
**
dfFor x r, we get 2 r
dx x(unst
xable)
df0
dx x 0
x x
df0
dx
x
x
r = 0
one equilibrium
19
xConsider a system governed by : x r x e f(x)
x* **
df1 e 0 x 0
dx x 0 *r 1
r < r* r = r* r > r*
r
(r-x)
e-x
r
(r-x)
e-x
r
(r-x)
e-x 1 1 1
x x x
Another example
We can determine the equilibria and find their stability via
linearization:
What is the critical value of r? At critical value, x* and r*
must satisfy f(x*) = 0 โ r* - x* - e-x* = 0 as well as
20
In a sense, f(x) = r ยฑ x2 are prototypical of all 1-D systems
undergoing a saddle-node bifurcation.
Consider the system just studied: * *xx f (x,r) with r 1, x 0.r x e
* ,x x *r r
*r r r 1 r and x x x x
2 2x 1 r x (1 x x / 2 ) r x / 2
x
f(x,r) increasing r for r=r*
Brief Introduction to Normal Forms
Near the critical point,
for small and write
higher order
terms
same form as that of super-critical saddle node bifurcation
21
f(x) = a + bx2 is the โnormal formโ of saddle - node bifurcation,
i.e., all systems in 1-D undergoing this bifurcation must locally
possess this form.
Transcritical Bifurcation
The normal form for this bifurcation is ๐ = ๐โ๐ โ ๐๐
(similar to ๐ = ๐โ๐โ(๐ โ ๐), the logistic equation).
Consider the velocity function for different parameter
values: x
x
r < 0
two equil
x
x
r = 0
one equil
x
x
r > 0
two equil
22
We can display the results in the form of a bifurcation
diagram:
Example: Lasers. See notes.
x*
r
x*=r
x*=0 r=0
This is called a
transcritical bifurcation
23
Active
material
pump
laser light partially reflecting
mirror
Example: Laser threshold
At low energy levels each atom oscillates acting as a little
antenna, but all atoms oscillate independently and emit
randomly phased photons. At a threshold pumping level, all
the atoms oscillate in phase producing laser! This is due to
self-organization out of cooperative interaction of atoms.
(Ref: Haken 1983, Strogatzโs book)
24
Let n(t) - no. of photons
Then, ๐ = gain โ loss (escape or leakage thru endface)
= ๐บโ๐โ๐ โ ๐โ๐
gain coeff > 0 no. of excited atoms
Note that k > 0, a rate constant
Here ๐ =๐
๐โ = typical life time of a photon in the laser
Note however that ๐ต(๐) = ๐ต๐ โ ๐ถโ๐
(because atoms after radiation of a photon,
are not in an excited state), i.e.,
2oo n (GN k)n Gnn Gn(N n) kn or
25
The corresponding bifurcation diagram is:
n*
N0
x*=r
n*=0 N0=k/G
lamp laser
No physical meaning
26
Examples:
We have already seen the example of buckling of a column
as a function of the axial load:
Another example is that of
the onset of convection in a
toroidal thermosyphan
mg g g
fluid
heating coil
Pitchfork bifurcation
27
The normal form for pitchfork bifurcation is: ๐ = ๐โ๐ โ ๐๐ = ๐(๐
The behavior can be understood in terms of the velocity
functions as follows:
x
f(x)
r < 0
x
f(x)
r = 0
x
f(x)
r > 0 X*
r
stable
stable
r =0
unstable stable
Supercritical pitchfork
The bifurcation diagram is then:
28
Consider ๐ฅ = ๐โ๐ฅ โ ๐ฅ3 = ๐(๐ฅ)
is stable when r < 0
is unstable r > 0
what about when r = 0? The linear analysis fails!!
For the non-zero equilibria:
eigenvalue is negative if r > 0
i.e., these bifurcating equilbiria are asymp. stable.
*The equilibria are at x 0, r
2*
dfr 3(0) r
dx x 0
*x 0
2*
dfr 3( r ) 2r
dx x r
Linear stability analysis
29
The resulting bifurcation diagram is:
3
*
The normal form is x r x x ,
with equilibria x 0, r
X*
r
unstable
unstable
r =0
unstable
stable
Subcritical pitchfork
30
Usually, the unstable behavior is stabilized by higher
order non-linear terms, e.g., ๐ = ๐โ๐ + ๐๐ โ ๐๐
The resulting bifurcation diagram can be shown to be:
X*
r
unstable
unstable
r =0
unstable stable
subcritical pitchfork, r = rP
supercritical saddle-node, r = rS
31
Let ๐(๐๐, ๐๐) = ๐โโโโ๐. ๐. , โ(๐๐, ๐๐) be an equilibrium.
Let f be continuously differentiable w.r.t. x and r in some
open region in the (x, r) plane containing (๐ฅ0, ๐0).
Then if in a small neighborhood of (๐ฅ0, ๐0),
we must have:
โ๐(๐ฅ, ๐) = 0 has a unique solution x=x(r) such that f(x(r),r)=0
furthermore, x(r) is also continuously differentiable.
No bifurcations arise so long as
Consider the system x f(x,r)
0 0
df0
(x ,r )dx
0 0
df0
(x ,r )dx
Connection between simple bifurcations and
the implicit function theorem
32
The figure below illustrates the idea through two points
along a solution curve.
At (x1,r1), the derivative df/dx does not vanish, where as
at (x2,r2), the derivative df/dx vanishes.
(x1,r1)
x
r
df/dx0
df/dx=0
(x2,r2)
33
Consider the buckling example. If the load does not coincide with the axis of the column, what happens?
Real physical systems have imperfections and mathematical imposition of reflection symmetry is an idealization.
Do the bifurcation diagrams change significantly if imperfections or โperturbationsโ are added to the model (velocity function)? This is related to the concept of โstructural stabilityโ or robustness of models.
g
symmetric loading
mg
asymmetric loading
mg g
Imperfect Bifurcations & Catastrophes
34
Consider the two-parameter normal form:
we now have the two parameters, h and r. Note that it is
a perturbation of the normal form for pitchfork bifurcation
(h=0)
3x h r x x
3y r x x
y h
r 0 , only one equilibrium
possible for any h
3y r x x
cy h, h h (r)
ch h (r)ch h (r)
3 equilibria
in this region
ch h (r)
r > 0 , one or three
equilibria possible
35
Imperfect bifurcations and catastrophes
(contโd). Consider ๐ = ๐ + ๐โ๐ โ ๐๐ = ๐(๐
(h = 0 โ normal form of pitchfork) ๐(๐) = ๐โ๐ โ ๐๐โ๐๐๐๐โโ โ ๐
We look for intersections of
3y r x x
y h
r 0 , only one equilibrium
possible for any h
h in
cre
as
ing
3y r x x cy h, h h (r)
ch h (r)
ch h (r)
r > 0 , one or three
equilibria possible
Cr / 3
36
For critical point
Furthermore,
2 cc c c
rdy0 r 3x 0 x
dx 3
3 c cc c c c c
2r rh r x x 0 h
3 3
only one
equil soln 3 equil
solns
2 equil
solns
cusp
r
h
r=0
h=0
1
2
3
4
rC
37
1.
2.
3.
r
x*
0 rC
r
x*
0
rC
r
x*
0
rC
38
4.
h
x*
0 h=0
r
r=0
h x*
h=0 โcatastrophic
surfaceโ
Alternately, in 3-D we can visualize the solutions set as
follows:
39
The equation of motion is:
Let ๐๐ณ๐๐ฝ be negligible (imagine pendulum in a vat of molasses)
2mL b mgLsin
The resulting equation is b mgLsin
or
bsin
mgL mgL
g l
ฮธ
m
O
Re
e
1-D system on a circle:
[over-damped pendulum (acted by a constant torque )]
40
(ratio of appl. torque to max.
gravitational torque)
We say that i.e., the phase space is a circle
Consider the system:
[0, 2 ]
dThen sin where
d
mgLLet t ;
b mgL
sin
ฮธ
ฮธ =0 ฮธ =
41
if ๐พ > 1, pendulum goes around the circle albeit non-uniformly
If ๐พ = 1, โโโ๐โ = ๐ 2 โโโโโโ๐๐ โ๐๐โ๐๐๐ข๐๐๐๐๐๐๐ข๐
1,
ฮธ =0 ฮธ =
ฮธ =/2
*1 2* and
If 1, there are :
whi
two equilibria
opposite stability characteri
ch
s
have
tics
ฮธ =0 ฮธ =
ฮธ 1* ฮธ 2
*
Clearly, there is a saddle-node bifurcation at ๐พ = 1.
top related