Documentos de Académico
Documentos de Profesional
Documentos de Cultura
9 de Septiembre de 2008
Indice general
3. Teora de Hamilton-Jacobi 37
3.1. Principio variacional con fronteras moviles . . . . . . . . . . . 37
3.2. Ecuaciones de Hamilton-Jacobi . . . . . . . . . . . . . . . . . 41
i
ii INDICE GENERAL
4. Teora de perturbaciones 53
4.1. Metodo de Lindstedt (Pointcare) . . . . . . . . . . . . . . . . 54
4.2. Metodo de Pointcare-Von Zeipel . . . . . . . . . . . . . . . . . 55
4.2.1. Una coordenada generalizada . . . . . . . . . . . . . . 55
4.2.2. n coordenadas generalizadas . . . . . . . . . . . . . . . 62
4.3. Metodo perturbativo con transformadas de Lie . . . . . . . . . 63
Bibliografa
iii
iv BIBLIOGRAFIA
Captulo 1
Ecuaciones canonicas de
Hamilton
x = (x1 , ..., xr )
y = (y1 , ..., yr ) (1.1)
tal que:
2f
det 6= 0 (1.2)
xi yj
y acotada. Definimos:
f (x, y)
Xi = (1.3)
xi
entonces se verifica:
F (X,y) Pr
1. xi = Xi
, con F = i=1 xi Xi f (Transformada de Legendre)
F (X,y)
2. yi
= fy
(x,y)
i
1
2 1.2. ECUACIONES DE HAMILTON
det1 xi y
f
j
6= 0. QED
Tenemos entonces:
1.
H(q, p, t)
qi = (1.6)
pi
n
X
H= qi pi L(q, q, t) (1.7)
i=1
H L H
2. qi
= qi
y t
= L
t
CAPITULO 1. ECUACIONES CANONICAS DE HAMILTON 3
H
pi = (1.9)
qi
Es importante notar que el Hamiltoniano solo depende de las variables q, p
y t.
Las ecuaciones (1.6) y (1.9) forman las Ecuaciones Canonicas de Hamil-
ton.
Propiedades
1. J es antisimetrica: J t = J
2. J 2 = I2n2n
3. det J = 1
H
zi = Jij (1.15)
zj
accion (funcional):
" n #
t2 X
S (q, p) = pi qi H (q, p, t) dt (1.19)
t1
Pn
y llamamos = pi qi H, tenemos que para dos caminos diferentes (ver
Figura 1.2) si
q(t1 ) = q(t2 ) = 0
S = 0 (1.20)
p(t1 ) = p(t2 ) = 0
d H d H
(pi ) + =0y (0) qi + =0 (1.22)
dt qi dt pi
CAPITULO 1. ECUACIONES CANONICAS DE HAMILTON 7
H
qi =
pi
H
pi = (1.23)
qi
Que son otra vez las ecuaciones de Hamilton.
Demostracion
Xn t2
H H
0 = S = pi qi + qi pi qi pi dt (1.24)
i=1 t1
qi pi
Tenemos
t2 que: t t t
p
t1 i i
q dt: por partes: t12 pi qi dt = pi qi |tt21 t12 pi qi dt = t12 pi qi dt ya
que: qi (t1 ) = qi (t2 ) =h 0 i
P t
0 = S = ni=1 t12 pi qi + qi pi H qi
q i H
pi
p i dt =
P t h i
= ni=1 t12 pi + H qi
qi + qi H
pi
pi dt = 0
pi + H
qi
= 0 y qi H
pi
= 0. De donde se obtienen las ecuaciones de
Hamilton. QED
1.4. DEDUCCION DE LAS ECUACIONES CANONICAS DE
8 HAMILTON MEDIANTE UN PRINCIPIO VARIACIONAL
Captulo 2
Transformaciones canonicas,
parentesis de Poisson y leyes de
conservacion en la formulacion
hamiltoniana
9
10 2.1. TRANSFORMACIONES CANONICAS
2. K = K(Q, P, t)/
K K
; Pi =
Qi = (2.2)
Pi Qi
K es entonces la transformacion de H.
Definicion alternativa
La transformacion es canonica si y solo si la siguiente forma diferencial
es exacta
= Qi dPi Pi dQi (2.3)
Teorema
Una transformacion es canonica extensa F (q, p, t) y R, 6= 0/
dF
(qi pi H) = Qi Pi K + (2.4)
dt
F es la funcion generatriz de la transformacion.
Demostracion
Por el principio de la accion modificado de Hamilton:
t2 t2
0= [pi qi H(q, p, t)] dt = L dt (2.5)
t1 t1
K K
y como Qi = Pi
; Pi = Qi
:
t2 h i t2
0= Pi Qi K(q, p, t) dt = L dt (2.6)
t1 t1
Q = p2/2
F = q p + f (t)
P = q/p
Proposicion
El conjunto de transformaciones canonicas tiene estructura de grupo (no
conmutativo).
Proposicion
Las transformaciones de escala son transformaciones canonicas extensas.
Demostracion
Podemos escribir 1 2 (pi qi H) = Pi Qi K K(Q, P, t) = 1 2 H y
K
Pi
= 1 2 H
pi
= Qi . QED
Proposicion
Dada una transformacion canonica extensa siempre la puedo descomponer
en una composicion de una transformacion de escala y otra transformacion
canonica extensa con = 1.
q1 q1 q1 q1
q1
qn p1
pn
.. .. .. .. .. ..
. . . . . .
qn qn qn qn
det
q1
Q1
qn
Q1
p1
Q1
pn
Q1
6= 0
(2.11)
q1
qn p1
pn
.. ... .. .. ... ..
. . . .
Qn Qn Qn Qn
q1
qn p1
pn
Q1 Q1
p1
pn
.. .. ..
det . . . 6= 0
Qn Qn
p1
pn
Q
det 6= 0 (2.12)
p
pi F 1
qi
dqi + Pi Q F1
i
dQi + H + K F t
1
dt = 0
F1
= pi (2.14)
qi
F1
= Pi (2.15)
Qi
F1
K=H+ (2.16)
t
Q 1 Q p
det p 6= 0 y no singular det p
= det Q 6= 0.
Procedimiento
De la ecuacion (2.14) obtenemos pi (Q, q, t) de donde obtenemos Qi (q, p, t).
Luego de la ecuacion (2.15) obtenemos Pi (q, p, t) y finalmente de la ecuacion
(2.16) obtenemos K. Finalmente con Q, P y K podemos resolver el sistema
con las ecuaciones de Hamilton y deshacer si es necesario el cambio de vari-
ables.
Proposicion 2
Dada una trasformacion de tipo 1 F1 = F1 (q, Q, t) y det qi Q F1
j
6= 0.
Proposicion
Dada una funcion generatriz de tipo 1 existe una unica transformacion
canonica asociada y esta transformacion es de tipo 1.
Ahora veamos otros tipos de transformaciones. De aqu en adelante sea
Qi = Qi (q, p, t)
(2.17)
Pi = Pi (q, p, t)
Transformaciones de tipo
2
(q,P )
Si det (q,p) = det P
p
6= 0 trasformacion de tipo 2 F2 = F2 (q, P, t).
Tenemos las ecuaciones
F2
= pi (2.18)
qi
F2
= Qi (2.19)
Pi
14 2.1. TRANSFORMACIONES CANONICAS
F1
K=H+ (2.20)
t
2
F2 de tipo 2 det q i P F2
j
6= 0.
Transformaciones de tipo 3 (revisar)
(p,Q) Q
Si det (p,q) = det q 6= 0 trasformacion de tipo 3 F3 = F3 (p, Q, t).
Tenemos las ecuaciones
F3
= qi (2.21)
pi
F3
= Pi (2.22)
Qi
F3
K=H+ (2.23)
t
2
F3 de tipo 3 det pi Q F3
j
6= 0.
Transformaciones de tipo 4 (revisar)
(p,P ) P
Si det (p,q) = det q 6= 0 trasformacion de tipo 4 F4 = F4 (p, P, t).
Tenemos las ecuaciones
F4
= qi (2.24)
pi
F4
= Qi (2.25)
Pi
F4
K=H+ (2.26)
t
2
F4 de tipo 4 det p i P F4
j
6= 0.
Aplicacion
fi
Sea F2 = fi (q, t)Pi + g(q, t) con det q 6= 0, entonces tenemos:
2 j
F2 fi
Pj
= fj (q, t) det q i P
F2
j
= det q j
6= 0 es transformacion de tipo 2 y:
fi g
pj = F 2
qj
= qj
Pi + q j
Qj = FPj
2
= f j (q, t) tenemos Qj = Qj (q, t) transformacion puntual.
Proposicion
Una transformacion puntual Qi = fi (q, t) puede ampliarse a una trans-
formacion canonica con F = fi Pi .
Dada una transformacion canonica, puede ser de tipo 1 y de tipo 2 a
la vez. En este caso F1 y F2 estan relacionadas por una transformacion de
Legendre.
CAPITULO 2. TRANSFORMACIONES CANONICAS, PARENTESIS
DE POISSON Y LEYES DE CONSERVACION EN LA FORMULACION
HAMILTONIANA 15
H
zi = Jij (2.28)
zj
donde
0nn 1nn
J = (Jij ) = (2.29)
1nn 0nn
se convierten en
Zk F
ij zj kl Zl = (2.32)
zi zi
donde
0nn 1nn
ij = (2.33)
0nn 0nn
t = J
(2.34)
Jij = ij ji
16 2.2. PARENTESIS DE POISSON
2 Zk Zk Zl 2F
im kl Zl kl = (2.37)
zi zm zi zm zi zm
e intercambiando los ndices mudos i y m
2 Zk Zk Zl 2F
mi kl Zl kl = (2.38)
zm zi zm zi zm zi
Ahora haciendo (2.37)(2.38) tenemos
Zk
Jim = Zl z
zi kl zm
Zk
m
kl Z
zi
l
Zk
= J Zl
zi kl zm
(2.39)
= [zi , zm ]Z
) Retrocedemos hacia atras. Haciendo (2.37)=(2.38) tenemos
2 Zk Zk Zl 2 Zk Zk Zl
im kl Zl kl = mi kl Zl kl
zi zm zi zm zm zi zm zi
(2.40)
CAPITULO 2. TRANSFORMACIONES CANONICAS, PARENTESIS
DE POISSON Y LEYES DE CONSERVACION EN LA FORMULACION
HAMILTONIANA 17
Zk Zk
ij zj kl Zl = mj zj kl Zl (2.41)
zm zi zi zm
Vi Vm
= (2.42)
zm zi
V~ = 0 (En 2n dimensiones). F escalar / z F
i
= Vi . QED
Proposicion
Los parentesis de Lagrange son invariante canonica:
Demostracion
Zj Zi zk
[u, v]Z = Z i
J
u ij v
= J Zk zl
zk u ij zl v
= (M t JM )kl zk zl
u v
= Jkl z k zl
u v
=
[u, v]z . QED
Teorema
Una transformacion Z = Z(z, t) es canonica extensa
Demostracion
Zi Z
{Zi , Zj } = z m
Jml zlj = (M JM t )ij = Jij . QED
Proposicion
18 2.2. PARENTESIS DE POISSON
Demostracion
u Zk v Zl u v
{u, v}z = Z k zi
Jij Zl zj
= Z k
Jkl Z l
= {u, v}Z . QED
1
Propiedades
Sean u, v, w funciones en el espacio de fases y el tiempo y sean , C
1. {u, u} = 0
2. {u, v} = {v, u}
3. {u + v, w} = {u, w} + {v, w}
4. {u v, w} = u {v, w} + {u, w} v
5. {u, {v, w}} + {v, {w, u}} + {w, {u, v}} = 0 (Identidad de Jacobi)
du u
= {u, H} + (2.49)
dt t
Demostracion
du u
dt
= z i
zi + u
t
= u
J H
zi ij zj
+ u
t
= {u, H} + u
t
. QED
Casos especiales
dH H H
dt
= {H, H} + t
= t
dzi zi
dt
= {zi , H} + t
= {zi , H} zi = {zi , H}
1
Son las mismas propiedades que el conmutador de operadores en mecanica cuantica,
solo que aqu u, v y w son funciones reales y no importa el orden en que las multiplicas.
CAPITULO 2. TRANSFORMACIONES CANONICAS, PARENTESIS
DE POISSON Y LEYES DE CONSERVACION EN LA FORMULACION
HAMILTONIANA 19
1. det M = 1
2. 0
/ (M )
3. Si (M ) 1 (M )
Demostracion
Ver [12] paginas 13 y 14.
Proposicion
El volumen en el espacio de las fases es invariante canonica (ver Figura
(2.1))
Vz = VZ (2.58)
Demostracion
CAPITULO 2. TRANSFORMACIONES CANONICAS, PARENTESIS
DE POISSON Y LEYES DE CONSERVACION EN LA FORMULACION
HAMILTONIANA 21
QED
1. Zi (z, t, = 0) = zi
2. Zi (z, t, ) C 2
Consecuencias
w es el generador de la familia.
Demostracion
Ver [12] pagina 15.
Teorema
Dada una funcion w = w(z, t, ), genera una FCTC dada por
Zi
= {Zi , w(Z(z, t, ), t, )} (2.62)
w es el generador de la familia.
Demostracion
Ver [12] pagina 16.
Ejemplo
2
Sea w = q + p2 . Entonces
Q P2
= {Q, w(Q, P, t, )} = Q, Q +
2
Q (Q + P /2) Q (Q + P 2/2)
2
= (2.63)
Q P P Q
= P
= (2.64)
Q P P Q
= 1
Q
= P
P P = + P ( = 0) Q
= P = + P ( = 0) Q =
= 1
1 2 Q( = 0) = q Q = 21 2 + p + q
+P ( = 0)+Q( = 0), pero
2 P ( = 0) = p P = +p
Proposicion
Zi
Para una transformacion
infinitesimal Z i = zi + =0 tenemos que:
i
zi = Zi zi = Z
=0
= {Zi , w(Z, t, )}=0 . Si w(z, t, = 0) G(z, t),
zi G G
entonces zi = {Zi , G(z, t)} = zj
Jjl z l
= Jil zl
G
zi = Zi zi = Jil (2.65)
zl
CAPITULO 2. TRANSFORMACIONES CANONICAS, PARENTESIS
DE POISSON Y LEYES DE CONSERVACION EN LA FORMULACION
HAMILTONIANA 23
Pero Zi = {Zi , H} + Z t
i
. Supongamos que r(z, t, )/ Z
t
i
= {Zi , r} Zi =
{Zi , H} + {Zi , r} definimos k = H + r Zi = {Zi , k} = {Zi , K(Z, t, )}
K(Z, t, ) = k(z, t, ) K(z, t, ) = k(Z 1 , t, )
Zi 2 Zi
Z
Por
otro
lado
= {Zi ,
w(Z, t, )}, hago t y opero: t
= t
i
, w(Z, t, ) +
w Zi w
Zi , zi t
+ t
. Tenemos que:
Z,t,
w Zi w
= {Zi , r}
zi Z,t, t zi Z,t,
w Zi r w r
= Jkl = Jkl (2.69)
zi Z,t, zk zl zk zl
= {w(Z, t, ), r}
n o
2 Zi w
t
= {Zi , w(Z, t, )} + {Zi , {w(Z, t, ), r}} + Zi , t Z,t,
. Por la iden-
tidad de Jacobi
n o
2Z
t i
= {{Zi , w(Z, t, )} , r}+ Zi , w 2Z
= ti
= {{Zi , w(Z, t, )} , r}+
t Z,t,
r
Zi ,
( )
r w
Zi , = Zi , (2.71)
t Z,t,
( )
r w
Zi , =0 (2.72)
t Z,t,
A
Pero {A, zi } = 0 zi
= 0 A = g(t, )
r w
= g(t, ) (2.73)
t
r w
= + g(t, ) (2.74)
t Z,t,
r(z, t, ) = 0 d0 w + 0 d0 g(0 , t)+r(z, t, = 0). Pero zi = Zi (z, t, =
t Z,t,
Zi
0) 0 = Z t
i
= t =0
= {Zi , r}=0 = {Zi , r(z, t, = 0)} r(z, t, = 0) =
(t, )
0 w
r(z, t, ) = d + d0 (t, 0 ) (2.75)
0 t Z,t, 0
escojamos 0 d0 (t, 0 ) = 0 ya que no depende de z y no interviene en los
parentesis de Poisson. As que:
0 w
r(z, t, ) = d (2.76)
0 t Z,t,
y su inversa
Definicion
26 2.4. LEYES DE CONSERVACION
Teorema
Sea Z(z, t, ) una FCTC con generador w = w(z, ). Entonces
Demostracion
w
w = w(z, ) t
=0
K(z, t, ) = T 1 ()H(z, t)
T ()K(z, t, ) = H(z, t) = K(Z, t, )
) H(z, t) = K(Z, t, ) = H(Z, t) (2.87)
) K(Z, t, ) = H(z, t) = H(Z, t)
K(z, t, ) = H(z, t)
QED
Teorema
w(z, t, ) es generador de una simetra de un sistema con Hamiltoniano
H
dw w(z, t, )
= {w(z, t, ), H(z, t)} + = f (t, ) (2.88)
dt t
Demostracion
Ver [12] pagina 20.
Teorema
Sea w(z, t, ) generador de una simetra de un sistema con Hamiltoniano
H puedo construir una constante del movimiento a partir de w.
Demostracion t 0 0
Por el teorema anterior {w, H} + w t
= (t, ). Sea g = w dt (t , ),
entonces
w
g = w (t, ) = {w, H} + (t, ) = (t, ) (t, ) = 0 (2.89)
t
dg
=0 (2.90)
dt
QED
CAPITULO 2. TRANSFORMACIONES CANONICAS, PARENTESIS
DE POISSON Y LEYES DE CONSERVACION EN LA FORMULACION
HAMILTONIANA 27
Teorema
Una funcion g(z, t) es constante del movimiento de un sistema con Hamil-
toniano H(z, t) la FCTC que genera g deja invariante H.
Demostracion
)0 = g = {g, H} + g t
K=H
)K(z, t, ) = H(z, t) simetra con f = 0 {g, H} + g t
dg
dt
= 0.
QED
Ejemplo: Sistema de N partculas no relativistas
X N X N
p2i
H= + Vij (rij ), j = 1, ..., N (2.92)
i=1
2m i,j
P P
Tomamos w = ~v ( i mi~ri i p~i t), ~v arbitrario. Busquemos la FCTC gen-
erada por w:
~i
R n o
= ~ ~ ~
Ri , w(R(r, t), P , t)
~ P
R, ~
( !)
X X
= ~ i , ~v
R ~i
mi R P~i t (2.93)
i i ~ P
R, ~
Xn o
= t~v ~ i , P~j
R = t~v
i
P~i n o
= P~i , w(R(r,
~ t), P~ , t)
~ P
R, ~
X n o
= ~v mj R ~ i , P~j (2.94)
j
= mi~v
(
R~i ~ i ( = 0) = ~ri
= t~v , R
~i (2.95)
P
= mi~v , P~i ( = 0) = p~i
R~ i () = ~ri t~v
(2.96)
P~i () = p~i mi~v
28 2.4. LEYES DE CONSERVACION
Ahora,
R~ i () ~ri () ~ri t~v
= T () = (2.97)
P~i () p~i () p~i mi~v
1 ~ri ~ri + t~v
T () = (2.98)
p~i p~i + mi~v
w
P
ahora, t
= ~v i p~i
w X
T (0 ) = ~v (~pi 0 mi~v ) (2.99)
t i
X
0 w0 v 2 2 X
d T ( ) = ~v p~i + mi (2.100)
0 t i
2 i
X
1
w v 2 2 X
T () d0 T (0 ) = ~v (~pi + mi~v ) + mi
0 t i
2 i
X X v 2 2 X
= ~v p~i 2 v 2 mi + mi
i i
2 i
X 2 2 X
v
= ~v p~i mi (2.101)
i
2 i
1 1 w
K(z, t, ) = T ()H + T () d0 T (0 )
0 t
X p2 X
i
= + Vij (rij ) (2.103)
i
2mi i,j
= H(z, t)
CAPITULO 2. TRANSFORMACIONES CANONICAS, PARENTESIS
DE POISSON Y LEYES DE CONSERVACION EN LA FORMULACION
HAMILTONIANA 29
!
X X
w = ~v mi~ri p~i t C te del movimiento (2.104)
i i
Pero atencion
H(Z(z, t, ), t) = T ()H(z, t)
X (~pi mi~v )2 X
= + Vij (rij ) (2.105)
i
2mi i,j
X p2 v 2 2 X X X
i
= + mi ~v p~i + Vij (rij )
i
2m i 2 i i i,j
v 2 2 X X
= H(z, t) + mi ~v p~i 6= H(z, t)
2 i i
Ejemplo: w(z, t) = pj
Qi
= {Qi , Pi } = ij
Pi (2.106)
= {Pi , Pj } = 0
Pero
Qi ( = 0) = qi
(2.107)
Pi ( = 0) = pi
Qi = qi + ij
(2.108)
Pi = pi
Supongamos que H = H(q1 , ..., qi1 , qi+1 , ...qn , p, t)
g variable dinamica.
Propiedades
30 2.4. LEYES DE CONSERVACION
1. Sea T una transformada de Lie asociada a una FCTC Z(z, t, ) tal que
T ()h(z, t) = h(Z(z, t, ), t). Entonces
T Lf T 1 = L(T f ) (2.111)
T
2.
= T L(w)
T 1
3.
= L(w)T 1
Demostracion
[Lf , Lg ] h = Lf Lg h Lg Lf h
= {f, {g, h}} {g, {f, h}} (2.113)
= {{f, g} , h} = L{f,g}
QED
CAPITULO 2. TRANSFORMACIONES CANONICAS, PARENTESIS
DE POISSON Y LEYES DE CONSERVACION EN LA FORMULACION
HAMILTONIANA 31
h 0 i
5. T0 () = I, T1 () = I 0 d0 L [w(0 )] , T2 () = I+(1) 0 d0 I + (1) 0 d00 L [w(00 )]
0
T2 () = I+(1) 0 d0 L [w(0 )]+(1)2 0 d0 0 d00 L [w(00 )] L [w(0 )].
Luego
X 1 n1
T () = I + d1 L [w(1 )] d2 L [w(2 )] ... dn L [w(n )]
n=1 0 0 0
(2.114)
Esta serie puede converger o no, depende de w. QED
Ejemplo
Si w = xpy ypx , como no depende de , los L [w] se pueden sacar de la
integral:
X
= {X, w} , X( = 0) = x. Idem para Y, Z.
X() = T ()x = x + (1) {w, x} 0 d1 + (1)2 {w, {w, x}} 0 d1 0 1 d2 +
(1)3 {w, {w, {w, x}}} 0 d1 0 1 d2 0 2 d3 + ...
Ahora:
{w, x} = {xpy ypx , x} = y {px , x} = y
{w, {w, x}} = {w, y} = x {py , y} = x, al final
h llegamosi a h i
2 3 2 4 3 5
X() = T ()x = x y x 2 + y 6 ... = x 1 2 + 4! y 3! + 5! =
x cos y sin
Y lo mismo para Y y Z:
Y () = x sin + y cos
Z() = z
Definicion
Se define el operador de ordenacion ( , ) como ( , ) : L [w(1 )] , L [w(2 )]
(L [w(1 )] , L [w(2 )]) /
(
L [w(1 )] L [w(2 )] , 1 > 2
(L [w(1 )] , L [w(2 )]) = (2.115)
L [w(2 )] L [w(1 )] , 1 < 2
Definicion
Se define la funcion de Heavyside (ver Figura 2.2) como
(
0, x < 0
Y (x) = (2.116)
1, x > 0
32 2.4. LEYES DE CONSERVACION
As:
1 n1
(n)
T = d1 L [w(1 )] d2 L [w(2 )] ... dn L [w(n )]
0 0 0
1 n1
= d1 d2 ... dn Y (1 2 )Y (2 3 )...Y (n1 n )L [w(1 )] ...L [w(n )]
0 0 0
1 n1
1
= d1 d2 ... dn Y ((1) (2) )...Y ((n1) (n) )
n! 0 0 0
L w((1) ) ...L w((n) ) (2.117)
Si definimos [L [w(1 )] ...L [w(n )]] = L [w(i )] ...L [w(j )] ...L [w(n )] , i >
... > j > ... > n , entonces:
X n1
1 n
T () = I + (1) d1 ... dn [L [w(1 )] ...L [w(n )]] (2.118)
n=1
n! 0 0
Z = Z(z, t, t0 ) (2.120)
U (t, t) = I
34 2.4. LEYES DE CONSERVACION
U 1 (t, t0 ) = U (t0 , t)
U (t,t0 )
t
= U (t, t0 )L [H(t)]
t
U (t, t0 ) = I t0 d U (, t0 )L [H( )]
P
n t
t
= I+ n=1 (1) t0
dt1 L [H(t1 )] ... t0n1 dtn L [H(tn )]
C (L [H(t1 )] ...L [H(tn )]) = L [H(ti )] ...L [H(tj )] ...L [H(tk )] (2.124)
X t tn1
0 1 n
U (t, t ) = I + (1) dt1 ... dtn C (L [H(t1 )] ...L [H(tn )])
n=1
n! t0 t 0
(2.125)
o de forma simbolica
t
0
U (t, t ) = C exp d L [H( )] (2.126)
t0
p2
H= m a x, X(t = 0) = x (2.127)
2m
P t tn1
n
X(t) = U (t, 0)x = I + n=1 (1)
dt1 L [H(t1 )] ... 0
0
dtn L [H(tn )] x
t t t
X(t) = x + (1) {H, x} 0 dt1 + {H, {H, x}} 0 dt1 0 1 dt2 , no aparecen mas
terminos ya que H no depende explcitamente del tiempo. Tenemos que:
{H, x} = pm
{H, {H, x}} = H, mp = a, con lo cual:
X(t) = x + mp t + 12 at2 .
CAPITULO 2. TRANSFORMACIONES CANONICAS, PARENTESIS
DE POISSON Y LEYES DE CONSERVACION EN LA FORMULACION
HAMILTONIANA 35
U (t, t0 ) u U0
= U0 + u (2.129)
t t t
= t u(t, t )U0 (t, t0 ) u(t, t0 )U0 (t, t0 )L [H0 (t)]
0
t u(t, t0 ) = U (t, t0 )L [H(t)] U01 (t, t0 ) + u(t, t0 )U0 (t, t0 )L [H0 (t)] U01 (t, t0 )
(2.130)
1
Q0 (z, t) cos t sin t q q
Z0 (z, t, 0) = = m = U0 (t, 0)
P0 (z, t) m sin t cos t p p
Teora de Hamilton-Jacobi
el Lagrangiano
y la accion hamiltoniana
t2
S(q) = L(q, q, t)dt (3.4)
t1
Introducimos ahora otra curva (ver Figura 3.1) q (t) = (q1 (t), ..., qn (t)) , t
[t1 , t2 ] I con qi C 1 [t1 , t2 ]. Los extremos seran
(
P1 = {t1 , q1 (t1 ), ..., qn (t1 )}
(3.5)
P2 = {t2 , q1 (t2 ), ..., qn (t2 )}
37
38 3.1. PRINCIPIO VARIACIONAL CON FRONTERAS MOVILES
Definimos ahora (
t1 = t1 t1
(3.6)
t2 = t2 t2
y (
q1i = qi (t1 ) qi (t1 ) = qi (t1 + t1 ) qi (t1 )
(3.7)
q2i = qi (t2 ) qi (t2 ) = qi (t2 + t2 ) qi (t2 )
Suponemos que I I 6= . Si I 6= I , extendemos qi y qi al conjunto I I
de forma que sean C 1 . Definimos tambien la distancia entre q y q :
d(q, q ) = max max {qi (t) qi (t)} + max {qi (t) qi (t)} + d(P1 , P1 ) + d(P2 , P2 )
i=1,...n tII tII
Llamamos (
qi (t) = qi (t) qi (t), t I I
(3.8)
qi (t) = qi (t) qi (t), t I I
y
n
X t2
L d L
S = qi dt
i=1 t1
qi dt qi
Xn t
L 2
+ qi (3.11)
i=1
qi t1
+ L(q, q, t)|t=t2 t2 L(q, q, t)|t=t1 t1
Pero:
AP2 = P2 B + CP2 y
q2i w qi (t2 ) + dqi (t2 ) dqi (t2 ) = qi t2 = qi (t2 ) + qi (t2 ) t2 w qi (t2 )t2
(ver Figura 3.2)
q2i w qi (t2 ) + qi (t2 )t2 (3.12)
(
qi (t2 ) = q2i qi (t2 )t2
(3.13)
qi (t1 ) = q1i qi (t1 )t1
n
X t2
L d L
S = qi dt
i=1 t 1
q i dt q i
X n t2
L
+ (qi qi t) (3.14)
i=1
qi t1
+ L(q, q, t)|tt21 t
40 3.1. PRINCIPIO VARIACIONAL CON FRONTERAS MOVILES
n
X t2
L d L
S = qi dt (3.15)
i=1 t1
q i dt q i
" n n
! #t2
X L X L
+ qi + L qi t
i=1
qi i=1
qi
t1
L
Esta es la expresion mas general de S, pero si q(t) es extremal qi
dtd L
qi
=
0, entonces " n ! #t2
X L Xn
L
S = qi + L qi t (3.16)
i=1
q i i=1
q i
t1
S S
pi = ,H+ =0 (3.21)
qi t
S S S
H q1 , ...qn , , ..., ,t + =0 (3.22)
q1 qn t
Esta es la Ecuacion de Hamilton-Jacobi.
Teorema
42 3.3. SEPARACION DE VARIABLES
(
S te
qi = H
pi
Sea S = S(t, q, 1 , ..., m ), m n/ = C sobre las soluciones
i
pi = H
qi
S
= C te del movimiento (3.23)
i
Demostracion
d S 2S 2S S 2S H 2 S
dt i
= ti
+ q
qk i k
, pero H q, q
, t + S
t
= 0 t + p k qk i
=
i
H 2 S 2S 2S
0 dtd S
i
= p k qk i
+ qk i
qk = qk i
H
qk pk
= 0 S
i
=
C te del movimiento. QED
Teorema de Jacobi
Sea S solucion completa de las ecuaciones de Hamilton-Jacobi:
(
S = S(t, q1 , ..., qn , 1 , ..., n )
2S (3.24)
det i q j
6= 0
con
S
i = (3.26)
i
y con
S
pi = pi (q, q1 , ..., qn , 1 , ..., n ) = (3.27)
qi
es solucion de las ecuaciones de Hamilton.
T (t, 1 ) = 1 t (3.31)
y
W
H q, = 1 (3.32)
q
S = W (q, ) 1 t (3.33)
S W
W es la funcion caracterstica de Hamilton. Tenemos que i = i
= i
i1 t
W
1 + t = (3.34)
1
W
i = , i = 2, ..., n
i
1 2
H= p + mkq 2 (3.36)
2m
44 3.3. SEPARACION DE VARIABLES
H
con t
= 0 y k = m 2 . Las ecuaciones de Hamilton-Jacobi se escriben:
" 2 #
1 W
+ mkq 2 = (3.37)
2m q
r
W kq 2
= 2m 1 (3.38)
q 2
r
kq 2
W (q, ) = 2m 1 dq (3.39)
2
que ya integraremos mas tarde. Tenemos ademas que
r
W m dq
t+ = = q
2 1 kq 2
2
r r r !
2m k
= arcsin q (3.40)
k2 2
r r !
m k
= arcsin q
k 2
r
2
q(t) = sin (t + ) (3.41)
k
Con lo cual
W p
p(t) = = 2m mkq 2 (3.42)
q
p
= 2m 1 sin (t + )
p(t) = 2m cos (t + ) (3.43)
W 0 Wj
H = H q, ,f qj , = 1 (3.45)
qi qj
Si puedo despejar f tenemos que
Wj W 0
f qj , = g qi , = j (3.46)
qj qi
Wj
f qj , = j (3.47)
qj
Wi
g qi , = j (3.48)
qj
Como se puede observar la ecuacion (3.47) es una ecuacion diferencial or-
dinaria (EDO) y la ecuacion (3.48) es en derivadas parciales (EDP). Si es
posible, se repite el proceso para g y se itera hasta obtener n EDOs y as po-
dremos resolver el sistema integrando las n EDOs.
Consideremos el caso particular en el que H = H(q1 , ..., qj1 , qj+1 , ..., qn , p1 , ..., pn ).
En este caso se dice que qj es cclica y
" 2 2 2 #
1 W 1 W 1 W
+ 2 + 2 2 + V (r) = E = 1 (3.51)
2m r r r sin
46 3.3. SEPARACION DE VARIABLES
2 2
2 Wr 2 W 2
r + 2mr (V (r) E) = 2 = 2 (3.53)
r sin
(
W 2 2
+ sin2
= 2
W 2 2 (3.54)
r
r
+ r2
= 2m [E V (r)]
Este sistema es resoluble, con lo cual podemos encontrar W (r, , , , , E)
y el sistema W
E = t + 1
W
= 2 (3.55)
W
= 3
nos da las soluciones generales a las ecuaciones de Hamilton.
Teorema de Stackel
Un Hamiltoniano de la forma
n
1X
H= ci (q1 , ..., qn )p2i + V (q1 , ..., qn ) (3.56)
2 i=1
" 2 2 2 #
1 W 1 W 1 W
H = + 2 + 2 2 + V (r, , )
2m r r r sin
1 X
= ci p2i + +V (r, , ) (3.58)
2 i=r,,
CAPITULO 3. TEORIA DE HAMILTON-JACOBI 47
V () V ()
V = Vr (r) +2
+ 2 2 (3.60)
r r sin
Este es el potencial en coordenadas esfericas mas general para que H(r, , )
sea separable.
Es importante hacer notar que existen Hamiltonianos separables a los que
no se les puede aplicar el teorema de Stackel.
Definicion
Se define la variable accion como
J = p(q, )dq = J() (3.62)
terstica de Hamilton-Jacobi
W
H q, = (3.63)
q
(
qQ
W (q, ) W (q, J) Funcion caracterstica de tipo 2: . La
pJ
nueva coordenada es el angulo, as que tenemos
q
p J (3.64)
F2 (q, p) W (q, J)
p = F
q
2
p = Wq
Q = F
P
2
= W
J
(3.65)
K = H + F t
2
H = (J)
= 1 (3.67)
i = H(J)
Ji
= i (J) = C te i (t) = i t + i .
Definicion
Decimos que un movimiento multiplemente periodico es degenerado cuan-
do n
X
jki i = 0, k = 1, ..., m < n, y jki Z (3.73)
i=1
j11 j1m
.. =
det ... ..
. . 6 0 (3.74)
jm1 jmm
Pasamos de , J 0 , J 0 con la funcion de tipo 2
m X
X n n
X
F2 = Jk0 jki i + Jk0 k (3.75)
k6=1 i=1 k=m+1
CAPITULO 3. TEORIA DE HAMILTON-JACOBI 51
Tenemos que
p = q
2 2 2
p = 2 sin2
2 sin2
0 2
sin2
H p
= p
= mr2q
(ver Figura 3.6)
2
pr = W
r
= 2mE + 2mkr
r
2mEr2 + 2mkr 2 0 (ver Figura 3.7)
52 3.5. VARIABLES ACCION-ANGULO
2 2 mk 2
H=E= (3.83)
(J + J + Jr )2
H H H
r = Jr
= J
= J
r = = (3.84)
El sistema es totalmente degenerado.
4 2 mk 2 2
= r = = = 3 =
q (3.85)
(J + J + Jr ) k 2m
E3
Captulo 4
Teora de perturbaciones
X
2
x = x0 + x1 + x2 + ... = n xn (4.1)
n=0
53
54 4.1. METODO DE LINDSTEDT (POINTCARE)
con
x(t + T ) = x(t)
(4.5)
x( + 2) = x( )
La solucion sera (
x = x0 + x1 + 2 x2 + ...
(4.6)
x0 = x00 + x01 + 2 x02 + ...
f f f 0 f
Lo transformamos con x 0 = (x0 ) y = x (x0 ) , que en orden cero da
f f f 0 f
x0
' (x 0 ) y ' x0 (x0 ) , y sustituyendo tenemos que
0 f (x0 , x00 ) f (x0 , x00 ) 0 f (x0 , x00 )
f (x, x ) = f (x0 , x00 )+ x1 + x1 + 1 +...
x x0
(4.8)
CAPITULO 4. TEORIA DE PERTURBACIONES 55
Imponemos que
xn ( ) = xn ( + 2), n = 0, 1, 2, ...
Esta condicion fija los valores de 1 , 2 , ...
(0 , J0 ) (, J) (4.11)
X
S(0 , J, ) = S0 (0 , J) + n Sn (0 , J) (4.12)
n=1
56 4.2. METODO DE POINTCARE-VON ZEIPEL
X
H(q, p, ) = K(0 , J0 , ) = K0 (J0 ) + n Kn (0 , J0 ) (4.16)
n=0
X
X
n En (J) = K0 (J0 ) + n Kn (0 , J0 ) (4.17)
n=0 n=0
0 ,)
Llamamos K
J
= K(J0 ,J
0
= K(0 ,J,)
J
. Haciendo un desarrollo de Tay-
J0 =J
CAPITULO 4. TEORIA DE PERTURBACIONES 57
lor:
K 1 2K
K(0 , J0 , ) = K(0 , J, ) + (J0 J) + (J0 J)2 + ... (4.18)
J 2 J 2
! !2
K X n Sn 1 2 K X n Sn
= K(0 , J, ) + + + ...
J n=1 0 2 J 2 n=1 0
" 2 #
2
K S1 K S 2 1 K S 1
= K(0 , J, ) + + 2 + + ...
J 0 J 0 2 J 2 0
donde KJ
0 (J)
= 0 . De la ecuacion (4.17) tenemos que:
E0 (J) = K0 (J)
S1
E1 (J) = K1 (0 , J) + 0 (J) 0
2
K1 S1 S2 1 0 S1
E2 (J) = K2 (0 , J) + J 0 + 0 (J) 0 + 2 J 0
Otra
forma
de ver todo esto P
es la siguiente:
J = pdq = S0 d0 ; J0 = J + n S0
n=1 0
X
n Sn
J = Jd0 + d0
n=1
0
X
n Sn
= J d0 + d0 (4.22)
n=1
0
X
n Sn
= J0 + d0
n=1
0
X
n Sn
d0 = 0 (4.23)
n=1
0
Sn
d0 = 0, n (4.24)
0
Con lo cual Sn tiene que ser periodica de 0 con periodo igual a 1.
Podemos escribir
m=+
X
Sj (0 , J) = Smj (J)e2im0 (4.25)
m=
1
Recordamos que si tenemos F (0 , J) hF i = 0
F (0 , J)d0 . Entonces
S1
E1 (J) = hK1 (0 , J)i + 0 (J) = hK1 (0 , J)i (4.26)
0
D E
S1 S1
ya que 0
es periodica 0
= 0. Igualando con la forma de antes
S1 hK1 (0 , J)i K1 (0 , J)
= (4.27)
0 0 (J)
3. Sabemos
( que y J son de la forma
= t +
J = C te
p2 1 1 p2
H= + kq 2 + q 2 = (k + ) q 2 + (4.31)
2m 2 2 2 2m
60 4.2. METODO DE POINTCARE-VON ZEIPEL
p 2 2
H0 = 2m + 12 kq 2 , H1 = q2 , Hi (q, p) = 0; i = 2, 3, ...
Con variables accion-angulo quedan
r r
J0 mJ0
q= sin 20 ; p = cos 20 ; k = m 2 (4.32)
m
J0 H0 (J0 )
El Hamiltoniano no perturbado es H0 (J0 ) = ; 0 (J0 ) = = =
q 2 J0 2
1 k
2 m
, con lo cual
J
S1 (0 , J) = sin 40 (4.37)
8k
Ahora,
0 (J)
K
J
=0
1
D J = 4m
1
E
K1 (0 ,J) 3 5
J
K1 (0 , J) = 8 (2m)2
0 J
E2 (J) = (4.38)
8k 2
CAPITULO 4. TEORIA DE PERTURBACIONES 61
Podemos calcular S2 :
S2 1 K1 (0 , J) S1 (0 , J)
= E2 (J)
0 0 J
0
J 1
= 2
cos 40 cos 80 (4.39)
4k 2
J 1
S2 (0 , J) = sin 40 sin 80 (4.40)
16k 2 4
Luego el Hamiltoniano perturbado hasta segundo orden queda
2
E(J, ) = 0 J 1 + (4.41)
2k 8k 2
y la frecuencia
E 2
= = 0 1 + (4.42)
J 2k 8k 2
yS
J J 1
S(0 , J) = 0 J + sin 40 2 sin 40 sin 80 (4.43)
8k 16k 2 4
E0 (J) = K0 (J0 )
P
E1 (J) = K1 (0 , J) + ni=1 h0i
S1
i P
P 0i
E2 (J) = K2 (0 , J) + ni=1 K1 S1 + 0i S2 + ni,j=1 0i S1 S2
Ji 0i 0i Jj 0i 0j
donde aqu:
0 = (o1 , ..., 0n ), J = (J1 , ..., Jn ), 0 = (01 , ..., 0n ) = ( K0
J1
, ... K
Jn
0
)
1 1
Recordamos que hF i = 0 ... 0 F (0 , J)d01 ...d0n . As, tenemos que
n
X S1
E1 (J) = hK1 (0 , J)i = K1 (0 , J) + 0i (4.50)
i=1
0i
m1X
=+ mnX
=+
S1 = ... S1,m1 ...mn (J)e2i(m1 01 +...+mn 0n ) (4.52)
m1 = mn =
n
X m1X
=+ mnX
=+ Xn
S1
0j = 2i ... 0j (J)mj S1,m1 ...mn (J)e2i(m1 01 +...+mn 0n )
j=1
0j m = m = j=1
1 n
(4.53)
cm1 ...mn (J)
S1,m1 ...mn (J) = P (4.54)
2i nj=1 0j (J)mj