Академический Документы
Профессиональный Документы
Культура Документы
Introduction
Hamiltons Equations & the Hamiltonian
Phase Space
Constants of the Motion & Integrable
Hamiltonians
Non-Integrable Systems, the KAM Theorem &
Period-Doubling
The Henon-Heiles Hamiltonian
The Chirikov Standard Map
The Arnold Cat Map
The Dissipative Standard Map
Applications
Introduction
No dissipation = Conservative
Phase space volume = constant
No transients, no attractors
Isolated (closed) system: Conservative
Open system: Dissipative
Hamiltonian system: Dynamics governed by
H(q,p)
Solar system:
Gravitation: conservative
Tidal forces, solar wind: dissipative
Dissipation negligible for short times
Microscopic (quantum) systems
Integrable systems: non-chaotic
Hamiltons Equations & the Hamiltonian
Hamilton formulation: phase space = { q i, pi }
Dynamics ( Hamiltons equations ):
H q , p, t H
i 1, 2,L , N f
q&i p&i Nf = degrees of
pi qi freedom
E.g., n 3-D
particles:
q = {qi} = { x1,y1,z1, x2,y2,z2, , Nf =
xn,yn,zn } 3n
p = {pi} = { px1,py1,pz1, px2,py2,pz2, ,
pxn,pyn,pzn }
Equivalent 1st order system of ODEs ( DoF" =
2Nf ):
x x j j 1,L , 2 N f x2i 1 qi x2i pi i 1,L , N f
H H
x&2i 1 f 2i 1 x x&2i f 2i x
x2 i x2i 1
Symplectic structure: manifold with a (symplectic) 2-form
as metric
For the Hamiltonian % d%
% dH %
qi dpi
d%f % X f
systems: i
f g g f
% X g , X f f , g
q j p j
(Poisson
j q j p j bracket)
Definition in terms of symplectic matrices ( see
Goldstein ): ( M is symplectic if MT J 0
I
M = J ) J
H
T
I 0
f g
x& J
x
f , g J x& M x&
x x
df f f f f H f H f
q&j p&
dt q p j
t
j j j j q j p j p j q j t
f
f , H
t
d H H H is conserved ( a constant of the
dt t motion ) if its not explicitly time
Phase Space
For a conservative system, trajectories in
phase space are confined to a constant energy
surface.
DoF = N energy surface is
(2N-1)-D
Volume in state space of autonomous x&i f i x
system
1 dV f
i See
V dt i xi
3.13
For a conservative system
H(q,p) :
1 dV H H
0
V dt j q p p q
j j j j
no transients
attractors persist
Liouvilles Theorem
Probability of finding a system q, p,t dV
in=
dVprobability
= density of systems in
phase space.
d H H
q&j p&
dt j
q p j
t q p p q t
j j j j j j j
, H
t
d
= material / hydrodynamic derivative
d t Lagrangian picture
= change of at fixed phase point Eulerian
t picture
d
Liouvilles 0 for Hamiltonian
theorem: d t systems
~ no-crossing
theorem
Integral Invariants
I t L dx1 L dxn x, t d I t
t
is an integral
dt
0
invariant if
x1 ,L , xn
I t L dx L dx J x, t
0 0
J det J
0
1 n
x10 L xn0
d I t d J Jik
xi
L dx L 0
dx
1 J
0
n
x 0
dt 0
dt k
d J dJ d
I(t) is an integral J 0
invariant dt dt dt
J
and Jik is the cofactor of J i k J i m J km J ik
Jik : m
Jik
dJ x&i i k x&i xm i k x&i x&i
0 J J J mk J
ik
i m J x& J
d t i , k xk i , k , m xm x k
0
i , k , m xm i , m xm
d J dJ d d
J J x& J x& x& J x&
dt dt dt d t t t
d I t
L dx1
0
L dx 0
n J t &
x L t 1 n t
dx L dx
&
x
dt
0
I(t) is an integral x& 0
t
invariant
Liouvilles
theorem:
x& 0 if is the probability density of a Hamiltonian
H(q,p,t).
( acts like an incompressible
fluid )
q q q&0 q&0
Proof I t t
q0 p0 q0 p0
: J t det J t ; det
p p p&0 p&0
t I t
q0 p0 q0 p0
q&0 q&0 1 L
I t t
q0 p0 1 L
J t ; det det
p&0 p& 1 L
t I 0 t
q0 p0 M M M O
H H
; 1 t L ; 1 O t 2
i qi 0 pi 0 pi 0 qi 0
dJ d QE
0 x& J x& 0 & x& 0
dt dt t D
Alternative
ly:
q&i p&i H H
x& 0
i qi pi i qi pi pi qi
In general: t x& 0
1st order x& F F 0
t
ODEs:
Hamiltonian F 0
systems t
Equation is linear in
Evolution of cant be chaotic, even when
individual trajectories are.
No divergence of evolution of nearby s.
No sensitivity to I.C.
Prototype of chaotic Hamiltonian system: Arnold
cat map.
Constants of Motion & Integrable
Any
Hamiltonians
quantity that is independent of t is a constant of
the motion.
For a conservative E H q, p is independent of
system, t.
i.e H q t , p t H q 0 , p0
., t
Each point on a possible trajectory {q(t),p(t)} has
the same energy E.
Many different trajectories may have the same
energy.
E is a constant of the motion.
It is also an isolating integral that restricts the
motion on some surface.
H
Let pj be a constant of the 0 p&j
q j
motion, then
i.e., H is not explicitly dependent ( qj is cyclic
onEach
qj. trajectory is confined to an (2N) -2)-D
f
surface.
k independent isolating integrals
each trajectory is confined to an (2N f-k)-
D surface
If k = Nf, the system is ( Trajectory Nf-D )
integrable.
Isolating integrals are also called action variables
Ji(q,p).
The variable conjugate to Ji(q,p) is called an angle
variable.
H H
J&i 0 &
i
i
Ji
i can always be chosen as dimensionless
so that Ji has the dimension of action.
{ i, Ji } can be related to { q, p } by a canonical
transformation.
If H can be written as H(J), the system is
integrable.
J&i J i , H J 0 i can be satisfied Ji , J j 0
iff i,j
System is in ( + independence
involution. )
Integrability can be examined by expressing the
desired canonical transformations in terms of a
Birkhoff series.
Examples of integrable systems:
All 1-D systems with analytic H H = J.
All systems with linear equations of motion
normal modes.
All systems that are completely separable.
Solitons
H
Let H = H(J), &
i i J i t i t i 0
then Ji
Inverse qi t qi t , J t pi t pi t , J t
transformation:
For a bounded system, q and p must be periodic
functions of .
4 3 2 2 3 4 Conservative
1
0
J mL2
-0.5
mgL cos 0
-1 g 1
2 cos v c 2
L mL
Trajectories in {, p } space for = 0.2, 0.6, 1.0,
1.4, 1.8 points
Elliptic Hyperbolic points
at p = 0, = at p = 0, =
Separatrices:
2n Stable & unstable manifolds of a
(2n+1)
hyperbolic point
Typical for integrable Hamiltonian
Elliptic Integrals & Elliptic Functions
Ref: M.Abramowitz, I.A.Stegun, Handbook od Mathematical
Functions.
(Incomplete) Elliptic Complete Elliptic
integrals: integrals:
d
1st F \ m
K m F \ m
1 m sin 2
2
kind: 0
2nd E \ m d 1 m sin
2 E m E \ m
kind: 0
2
(Jacobian) Elliptic
functions:
sin sn u | m sn u u F \ m
cos cn u am u
1 m sin 2 dn u
Mathematica: EllipticK[m] =
EllipticF[/2,m]
Systems with N Degrees of Freedom
N
Integrable H , J i J i
systems: i 1
Q.M.:
H H equall
J&i 0 & i y
i
i
Ji
spaced
i incommensurate q.p.
ergodic
time average = ensemble
average
Non-integrable systems:
tori broken; J() not
The Kepler Problem (Integrable)
See H.Goldstein, "Classical Mechanics", 2nd
ed., 10-7 ( with minor variations )
pr2 p k
2
m1m2
H k Gm1m2
2 2 r 2 r m1 m2
r, p , , p , J , , J
r 1 1 2 2
H 4 2
k 2
&
1
& 1 2
J1 J1 J 2
3 2
Nonintegrable Systems
Band of g
width n5
around m/n
Break up of n/M
tori n/M
pairs of 2n/2M
elliptic &
hyperbolic fixed
points
Period-
doubling
Insets & outsets of hyperbolic point
dissolve first homoclinic & heteroclinc
tangles chaos?
Different I.C. may lead to
q.p./chaotic motion
For Df 2, surviving KAM tori confine
chaotic motion near broken tori
Lyapunov exponent:
i = 0 for conservative
system
Chaos: at least 1 i > 0
Monodromy matrix z t M z 0 z = periodic
M : orbit
Eigenvalues i of M ~ Floquet multipliers:
i = 1 i
i comes in pairs of (, -1 i e
Period-Doubling
Break up of m/n tori
m/n pairs of 2m/2n elliptic & hyperbolic
fixed points
Period doubling
increases further period doubling
H = 8.721097, H = -4.01807
Period-n-tuplings are common in
Hamiltonian systems
Cause: resonances among constituent nonlinear
oscillators
Meyer's theorem: 5 types of
bifurcations
0.3 1.5
0.2
1
0.1
y
-2 -1 1 2 0.5
-0.1
-0.2 x
-2 -1 1 2
-1 -2
1 0
2
2 1 0 -1 -2
-2
7.5
-1
5
2.5 0
0
-2
y
1
-1
0
1
2
2
V
0.4
0.3
0.1
-0.2
1 2 1 2 1 3
Hamilton's H
2
p x p 2
y 2
x y 2
x 2
y
3
y
eqs:
H H
x& px p&x x 2x y
px x
H H
y& py p&y y x2 y2
py y
Nf = 2 3-D const E
surface
2-D Poincare section Choice: y-py plane at x
= 0
1 2 1 2 1 3
E
2
p x p y
2
2
y y
3
py
y
0.3
0.3
0.2
0.2
0.1
0.1
-0.2
-0.2
-0.3
-0.3
0.3
0.3
0.2
0.2
0.1
0.1
-0.2 -0.2
-0.3 -0.3
0.3
0.2
0.1
-0.3
0.2
0.2
0.1
-0.3 -0.2 -0.1 0.1 0.2 0.3 0.4 -0.4 -0.2 0.2 0.4
-0.1
-0.2
-0.2
-0.3
-0.4
E = 0.06 N = E = 0.1 N =
10000 40000
Orbits near separatrices easily disturbed
Breakup of KAM torus necklace ----
(Birkhoff thm)
( Associated hyperbolic points not shown )
0.6
0.4
0.4
0.2 0.2
-0.4 -0.2 0.2 0.4 0.6 -0.4 -0.2 0.2 0.4 0.6 0.8
-0.2
-0.2
-0.4
-0.4
-0.6
E = 0.14 N = E = 0.166 N =
40000 40000
Single trajectory roams through most
places
Lyapunov exponents: +,0,0,-
The Chirikov Standard Map
Aliases: Taylor-Greene-Chirikov map, the
standard map.
K
rn 1 rn sin 2 n mod 1 1 K cos 2
2 J 1
n 1 n rn 1 mod 1 1 1 K cos 2
K
n rn sin 2 n mod 1 area preserving
2
(Moser) Twist
map:
n 1 n
n 1 n W n mod 1
W = winding
number
1 0
J 1 area preserving
W 1
Fixed points ( with r
J ):
K 2 m
Jn sin 2 n J n m sin 2 * m,p =
2 K integers
K K
n J n sin 2 n n p J* sin 2 * p m p 0, 1
2 2
K < 2 m = 0 and * = 0,
rn 1 1 K cos 2 * rn
Near fixed 1 1 K cos 2 *
point: n 1 n
Floquet 1 K cos 2 *
0
multipliers: 1 1 K cos 2 *
1 1 K cos 2 * K cos 2 * 0
2
1
1 K cos 2 * K 2 cos 2 2 * 4 K cos 2 *
2
1
1 K cos 2 * K 2 cos 2 2 * 4 K cos 2 *
2
1
For (J*,*) = 1 K K 2 4 K
(0,0): 2
Re ||
Im
1 2
1
1.75
1 2 3 4 5 6 0.5 1.5
1.25
-1
1
3 4 5 6
-2 0.75
-0.5 0.5
-3
0.25
-1
1 2 3 4 5 6
4 (0, ) is a saddle point for
2
all K
1 2 3 4 5 6
1 1
0.8 0.8
0.6 0.6
0.4 0.4
0.2 0.2
0.54
K = 0 K = 0.2
0.5
0.48
c.f. Henon-
= 0, J = Heiles
Period 2 0.46
xn 1 2 1 xn
y 1 1 mod 1
n 1 yn
2 1 1 2
1
1 0 1
2 1 0 1
1
1 1 1
analysis: jk
Aj k A jk
n * n
qn 1 , pn 1 , n 1 Ajnk 1 exp 2 i jqn 1 k pn 1
jk
Aj nk 1 exp 2 i j qn pn k 2 pn qn
jk
Aj nk 1 exp 2 i j k qn j 2k pn
jk
j j k j 2 j k
k j 2k k k j
qn 1 , pn 1 , n 1 A2 nj1k , k j exp 2 i j qn k pn qn , pn , n
jk
n 1 n n 1 n
Spread to new
A2 j k , k j Aj , k Aj , k Aj k , j 2 k modes, But not
The Dissipative Standard Map
JD K cos 2
JD Dissipative for JD
1 1 K cos 2
< 1
K
JD = n 1 n sin 2 n mod 1
0 :
2
( Sine circle map with
= 0)
1
0.8
JD = 0 ~ Circle
map
0.6
0.4
0.2
1 2 3 4 5
disappear at univeral
Applications
Billiards (elastic collisions, piecewise linear)
Rectangular or circular walls periodic / q.p.
stadium / Sinai billiards ( round obstacle ) chaotic
for some orbits
2 balls + gravity: All kinds of behavior
Quantum chaos
Astronomical Dynamics
Orbits of Pluto & some asteroids may be chaotic
Kuiper objects
Particle Accelerators
Avoid possible chaotic trajectories in accelerator design
Superconductivity
Vortex structures under magnetic field (type II
superconductors) phase-locking, Arnold tongues, Farey
tree, devil's staircase
Optics
small dielectric spheres: whispering gallery lasers
Spheres distorted chaos