Upload
others
View
0
Download
0
Embed Size (px)
Citation preview
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.