x F x,t
A State space is the set of all possible states of a dynamical system and each
state x of the system corresponds to a unique point in the state space.
Example: the state of a
pendulum is uniquely
defined by its angle and
angular velocity, so that
x ,
l
m
arrows) in time.
The set of trajectories in State
Space is called a Phase
q f q, t q g q, t
We can rewrite this into the standard form (a set of 1st order ODE) by introducing
a new variable s q , then we have
x F x, t
s F1 (q, s, t ) f q, t s g q, t
(
,
,
)
F
q
s
t
q
s
2
sin
l
g
sin
l
s A cos t
g
sin
l
F x*, t 0
For the simple pendulum, we have:
g
sin * 0
l
s* 0
s
Two equilibria:
* 0
s* 0
s* 0
x x*
F x * F x * F ' x * O 2
F x * 0 ( x * is an equilibrium)
F ' x * 0 ( x* is unstable)
F ' x *
F ' x * 0 ( x* is stable)
DF x *
F x * 0
x x*, x n
F1 x1 F1 xn
DF x *
F x F x
n
n
n 1
where
F F1 , , Fn
x x1 , , xn
10
Re i DF x * 0, i 1, , n
- x * is unstable if one or more eigenvalues has a
positive real part
- x * is neutrally stable if the largest eigenvalue has a
zero real part
11
g
sin s F1 , s
l
damping coefficient
s F2 , s
F1
s
DF x *
F2
0, 0
x* s*, *
0,
F1
F2
1
g cos
l
0
@ eq , we have
DF 0, 0
1
g
0
DF 0,
1
g l
12
DF 0, 0 1 i
2
2
Both Re , 0
STABLE
Both Re , 0
NEUTRAL (for
(for all
0)
0)
DF 0, 1
2
2
Re 0 but Re 0
UNSTABLE
(for all
0)
13
rotation
neutral eq.
unstable eq.
* 0
*
14
2. Equilibria:
stable/neutral
eq.
* 0
unstable eq.
15
x 0 x0
x1 t
x2 t
16
17
Poincare-Bendixson Theorem
The mathematical statement of the previous geometrical observation is
encapsulated in the Poincare-Bendixon Theorem.
The theorem basically stated that for any smooth dynamical systems
confined within a closed and bound region in 2D plane and if there are no
stable fixed points within the region, a trajectory must approach a limit
cycle.
This implies typical dynamical behavior in 2D or lower is simple:
equilibria, limit cycles, and possibly a combination of them.
But, NO complicated aperiodic behavior (such as chaos) is possible
unless D 3 .
18
19
20
g
l
sin A cos t
s
[demo]
Note: This is in 3D. Time is the extra dimension which allows a trajectory to
spiral back without crossing itself.
21
x t et x 0
x0
The characteristic exponent
If
0 , initial errors will grow exponentially fast and the system is chaotic.
9,
x 2 x
x '0 e
x0e
x '0
e 2 108
x0
need improvement by
8 orders of magnitude
22
23