Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Hamilton Jacobi
Hamilton Jacobi
ECUACIN DE HAMILTON-JACOBI
1. En un Hamiltoniano de dos grados de libertad independiente del tiempo nos
basta encontrar otra constante del movimiento para poder decir que el
problema est integrado. Si esta segunda constante, I(p,q), es a su vez
independiente del tiempo, debe satisfacer la condicin: [I ,H ] = 0. Supongamos
una partcula de masa unidad movindose en un potencial bidimensional
V (q1 , q 2 ) . Hallar: la constante ms simple de la forma
I (p, q) = e(q) p1 + f (q) p 2 , donde e y f son funciones a determinar, y una forma
correspondiente del potencial V , para poder asegurar que el problema est
integrado. Cul es el significado fsico de I ? Con lo que usted sabe de
mecnica, hay una forma consistente de hallar la forma general del potencial
sin resolver ecuacin alguna?
Si insertamos H e I en la condicin [I ,H ] = 0, e igualamos los coeficientes de los
trminos en los momentos, encontramos:
e
f
= 0,
= 0,
q1
q2
f
e
V
V
+
= 0, e
+ f
= 0.
q1 q2
q1
q2
f = q1 .
La constante es entonces:
I = q1 p 2 q 2 p1 ,
que no es otra cosa mas que el momento angular. Es razonable pensar que el potencial
es un potencial central,
V = V (q12 + q 22 ) ,
enteramente consistente con la cuarta ecuacin en derivadas parciales.
-------------------------------2. En el caso de un sistema unidimensional con la hamiltoniana
p2
1
H=
2
2 2q
determnense las funciones f(q,p) y g(q,p) de manera que
D = f (q , p ) + g (q , p )t
sea una constante del movimiento.
La funcin D debe ser solucin de:
32
D
= [H , D ]
t
lo que, utilizando la forma de D, lleva a la ecuacin
g=
H f H g
H f H g
+
t
t
q p q p
p q p q
H g H g
=0
q p p q
H f H f
=g
q p p q
La primer ecuacin muestra que g = H es solucin. Utilizando este resultado en la
segunda, sta queda
f p 2
1 f
1
p
=
2
3
q 2 2 q
q p
con lo que
f
q
f
p
= ;
=
2
2
p
q
es decir:
f =
pq
2
--------------------------------------
=1
p q q p
33
= 1.
q p
La solucin de la ecuacin anterior es suma de la correspondiente a la ecuacin
homognea y de una solucin particular de la ecuacin completa. La integral de la
ecuacin homognea es de la forma:
Q hom = f ( p + q )
siendo f una funcin arbitraria. Por otra parte, Q = q es una solucin particular de la
ecuacin inhomognea, luego la solucin general es:
Q = q + f ( p + q)
Para el caso general en que P es una funcin cualquiera de p y q, la solucin a la
ecuacin homognea, [P,Q] = 0, es de la forma Q hom f ( P ) , como puede verificarse por
simple sustitucin.
----------------------------------4.
pdq
2
sen
x
1
x dx = sen 2 x + .
4
2
dpdq
2
34
1 2 1
p + m 2 q 2 = E
2m
2
con un rea encerrada dada por 2E/. Por lo tanto el invariante adiabtico es I = E/.
La condicin de invariancia adiabtica viene dada por:
E1
E2
1 4
----------------------------------5.
F2
F
= Q; 2 = p
P
q
Si F2 = P(q D(t ) ) , tendremos p = F2
q = P .
35
F2 ( P, q, t ) =
t
K P &
Q& =
= D
P m
P& =
V (Q + D)
Q
Combinndolas:
&& =
mQ
&&
V (Q + D ) m D
Q
------------------------------------------6.
F1 = 2m 2 g (Q q )
Deseamos pasar de H =
3 2
3m 2 g .
p2
+ mgq a K = mgQ . De la identificacin de ambas
2m
expresiones, obtenemos:
p = (2m) 1 2 (mgQ mgq )
1 2
F1
,
q
3 2
1
2
(
)
m
g
Q
q
.
2
3m 2 g
----------------------------------
Q p 0 1 Q q
Pp 1 0 Q p
36
Pq
= J
Pp
b) Pi = q i
; Qi = p i
c) Pi = a ij q j
Qi = p i
Qi = bij p j
d) Pi = Aij p j
e) Q = f (q ) ;
Qi = Bij q j
P = p (df / dq ) 1 , donde f es una funcin arbitraria de q
f) Q = sin p ; P = cos q
a) cannica; b) NO; c) cannica si
d) cannica si
a = b 1
A = B 1 ; e) cannica f) no cannica
-----------------------------------
P
q
Q
p
P
p
sea la unidad.
En nuestro caso:
=
q 1 cos p q sin p
= q 2 1
1
q
sin
p
q
cos
p
37
1
2
=2
La transformacin es:
Q = q cos 2 p
P = q sin 2 p
adems,
q=
F3
p
p=
F3
q
F3 = F3 ( p, Q)
; P = Qtg 2 p
F
F
Q2
= 3 y Qtg 2 p = 3
cos 2 p
p
Q
Q2
tg2 p .
2
1
1
m( x& 2 + z& 2 ) ; z& = 2axx& T = mx& 2 (1 + 4a 2 x 2 )
2
2
V = mgz = mgax 2
L=
1
mx& 2 (1 + 4a 2 x 2 ) mgax 2
2
1
p2
+ mgax 2 .
2m 1 + 4a 2 x 2
38
F2
en la expresin
q i
F2
= 0 , de modo que:
t
2
F
1
F2
donde = const , y
1
W
2
+ mgax = ,
2 2
2m(1 + 4a x ) x
que admite una integral inmediata, ya que
2
W
2
2 2
W = 2m dx (1
0
La determinacin de F2 = W t
mga
x 2 )(1 + 4a 2 x 2 ) .
F2 ( P, x)
x
(1)
Q=
F2 ( P, x) 1
=
P
x
(2)
Integrando (2),
F2 =
P
+ L( q )
x
(3)
y usando (1)
p=
P
+ L (q) = Q 2 P + G (Q)
2
x
39
(4)
(5)
1
1
+ P 2 Q 4 = x 2 + p 2 = H = 2 + PQ 2 + G (Q)
2
Q
Q
en virtud de (4)
de este modo,
P 2 Q 4 = PQ 2 + G (Q)
G =0.
Finalmente,
p = PQ 2
1
x=
Q
es la transformacin.
------------------------------------12. Sean las variables q y p y sean Q y P las nuevas variables que resultan de
df (q )
p
una transformacin cannica. Sabiendo que Q =
, donde f (q) =
f (q)
dq
,y f
es una funcin dada que slo depende de q ,
a. Obtener la funcin generadora de la transformacin cannica.
b. Determinar completamente la nueva variable P en funcin de q y p .
c. Qu puede decirse del Hamiltoniano que gobierna la evolucin de q y p ?
d. Si no se conociese la funcin generadora, para el caso particular
Q = pq ; P = ln(q) , cmo podra averiguarse directamente si la
transformacin es cannica no?
a).- Usando la funcin generadora F1 (Q, p ) tal que
p=
F1
|Q
q
P=
Puesto que se nos dice que Q =
p
f (q )
F1
|q
Q
de (1,a) resulta:
40
(1,a)
(1,b)
F1
,
q
p = Qf (q ) =
e integrando,
F1 = Qf (q ) + (Q)
siendo una funcin arbitraria.
b).- De (1,b)
P = f (q) (Q)
y en funcin de
Q=
p
f (q)
P = f (q ) (
p
)
f (q )
p y
q:
(2)
(3)
Est claro que este es un caso particular de (2) con = 0; f = ln q . Por tanto la
transformacin es cannica. Si no supisemos la forma de F1 , podramos hacer una
comprobacin directa de que se cumple la condicin general
MJM T = J , con
q
M=
P
q
0 1
p
.
, y J =
P
1 0
p
De hecho
p
M= 1
q
1
q
q p
p 0 1
T
1
; MJM =
q =
0
0 q q 0 1 0
Se verifica pues que MJM T = J , de modo que la transformacin (3) es cannica, por
verificacin directa. Ntese, por cierto, que para problemas con solo grado de libertad
como ste, la condicin
MJM T = J
4.
Hamilton-Jacobi.
41
dW ( z )
dW ( y )
1 dW1( x )
3
2
+ mgz = E
+
+
dy
dz
2m dx
2
1 dW1( x )
= ,
1
2m dx
2
1 dW3 ( z )
+ mgz =
3
2m dz
Y las soluciones
W1( x ) = x 2m1 ,
8
W3 ( z ) =
9mg
W2 ( y ) = x 2m 2
(3 mgz )32
2
1 +t,
m 1
y=
2 +t
2
m
g
z= 3 +t 2
mg 2 3
------------------------------------------5.
42
H =
[(
)]
[(
[(
)]
)]
1 3 2
p + exp 1 3 + exp 2 1 + exp 3 2 3
2i = 1 i
Aparte del hamiltoniano, existe una integral del movimiento obvia Cul es?
Genere una transformacin cannica que `ponga en evidencia esta nueva
integral en el hamiltoniano transformado. (Nota: en la segunda parte del
problema utilice la funcin generatriz F2 , definiendo como nuevo momento esa
integral de movimiento adicional)
p1
p3
p2
(1)
1 2
P1 + P22 + (P3 P1 P2 )2 +
2
exp(- 1 ) + exp[- ( 2 )] + exp( 2 ) 3.
H=
7.
Se tiene que
Q
Q
q
=
= tan p,
;
p cos 2 p q
Luego
P = lnsen p + f (q tan p )
F2 = f (q, P )
q
cos t
K , P = H 0 q, cos t
P
q
1 &2
mq
2
V (q ) .
a) A qu sistema corresponde?
b) Una vez encontrado el hamiltoniano en variables ( p, q ) , cul ha ser la
buena expresin para la funcin f (t ) tal que la funcin generatriz
F2 (q, P, t ) = f (t ) qP transforme el hamiltoniano en una constante del
movimiento en el caso en que V (q ) = 12 m 2 q 2 ?
V
2mq&
q
que corresponde a una partcula en un potencial V y bajo la influencia de un frenado
2mq& .
mq&& =
45
p 2 2 t 1
e
+ m 2 q 2e 2 t .
2m
2
Nos piden ahora una funcin generatriz de la forma F2 (q, P, t ) = f (t ) qP para que
transforme H en un nuevo hamiltoniano K que sea constante del movimiento. Nos
bastar para ello asegurar que K no depende explcitamente del tiempo. Para ello,
aplicando las ecuaciones de transformacin
f
p = f (t )P ; Q = f (t )q ; K = H + qP
t
tenemos
P 2 2 2 t 1
f
K=
f e
+ m 2Q 2 f 2e 2 t + QP f 1
2m
2
t
Si hacemos la identificacin
f (t ) = e t
obtenemos el resultado exigido.
H =
p p2
+ p 2 + (q1 + q 2 )2 a K = P12 + P2 .
H = 1
2q1
c) Resolver las ecuaciones de Hamilton en trminos de las nuevas variables.
a) Buscaremos una funcin F2 (q, P, t ) tal que Qi =
F2
F
y p i = 2 , de :
Pi
q i
p1 P2
=
P2 = p 2
; P1 =
q1 2q1
q 2 q1
q 2
2q1
b) Si suponemos que g es independiente del tiempo, K = H y si sustituimos las
expresiones anteriores de P1 y P2 en K tenemos que
2
p p2
g
g
1 g
+ p 2
+
H = K = 1
2q1 q 2 q1
q 2
2q1
que ser igual a la hamiltoniana original si
g
g
g
2
=
y
= (q1 + q 2 ) = q12 q 22 2q1 q 2
q1 q 2
q 2
46
p1 aq1
q2
47
aq p 1 g1
1
a
+ g2
+ g 3 1 2 1 =
+ p1 + aq1 + aq1 p1 = 0
q1 q 2
q2
q1
q 2 q 2 q1
2
que se cumple si g1 (q1 ) = aq 1 .
[H , F2 ] = g1 + p1 g 2
[H , F3 ] = q1 bq 2 2 p 2 + (2bq 2 p 2 ) 1
q1
q1
q2
b
1
= ( bq 2 + p 2 + 2bq 2 p 2 bq 2 ) = 0 .
q1 q1
S 1
S
p1 =
=
+ aq1 = 1e 1 e t + ae 1 e t y p 2 =
= 2 + bq 2 = 2 e 2 e t + be 2 e t .
q1 q1
q 2
q2
Las constantes son 1 , 2 , 1 , 2 cuyas frmulas en funcin de las variables se puede
despejar de las ecuaciones anteriores.
48
[ f , g ] = f , g + f , g
c)
t
t t
f
d) [ f , qk ] =
pk
f
e) [ f , pk ] =
qk
------------------------------------------22.- Supongamos un sistema en una dimensin con coordenadas q y p.
a)
Demuestre que para la hamiltoniana del sistema H (q, p, t ) la evolucin de
una funcin f (q, p, t ) esta dada por
df
f
= [f , H]+
dt
t
b) Encuentre las condiciones que han de cumplir las constantes a,b y c para que
sea cannica la transformacin
Q = a q 2 + p , P = bq + cp 4 . (1)
c)
Para el sistema dado por la hamiltoniana
H = q 2 + 4q 4 + 4 pq 2 + p 2
encuentre la transformacin del tipo (1) tal que la nueva hamiltoniana, H, sea la
del oscilador armnico.
d)
Si tuviramos una nueva transformacin cannica sobre las coordenadas del
~
~
apartado c): P (Q, P, t ) y Q (Q, P, t ) , cmo calcularamos la transformacin desde
~
~
las variables originales a las finales, P (q, p, t ) Q (q, p, t ) ?. Ser cannica?. En caso
de conocer una transformacin que simplifique la hamiltoniana H apunte el
procedimiento.
a)
Se obtiene de la definicin del corchete de Poisson y las ecuaciones del
movimiento de hamilton para el sistema. (Ver en el apartado 9-5 del Goldstein).
b)
En notacin matricial tiene que cumplir:
T
MJM = J
y para este sistema tenemos
Q Q
0
b + 8bcp 3 0 1
q p 2aq
T
MJM
=
M=
,
=
b 8bcp 3
1 0
P P b 4 p 3
0
q p
49
c)
Como la transformacin es independiente del tiempo la nueva hamiltoniana se
obtiene de la substitucin de las nuevas variables, q = P y p = Q aP 2 en la antigua
hamiltoniana:
H ' = H = P 4 (a 2 4a + 4) + P 2 Q(4 2a) + P 2 + Q 2
en la que tomando a = 2 nos lleva a
H ' = P 2 + Q 2 , formalmente la del oscilador armnico.
~
~
~
~
Para esta hamiltoniana la transformacin P = 2 P cos(Q ) Q = 2 P sen(Q ) , nos lleva
~
a H ' = 2 P . Sencillamente podemos igualar las expresiones de P y Q en ambas
coordenadas para obtener:
~
~
~
~
P = 2 P cos(Q ) = q y Q = 2 P sen(Q ) = 2q 2 + p
y de aqu despejar para cualquier conjunto:
q
~
Q = tn 1 2
~
~
q = 2 P cos Q,
2q + p
o
~
~
~
2 ~
p = 2 P senQ 4 P cos Q ~ q 2 + (2q 2 + p) 2
P=
2
La composicin de 2 transformaciones cannicas siempre es cannica.
------------------------------------------23.- Supongamos un sistema de un grado de libertad, con coordenadas q y p y
hamiltoniana H, y una transformacin cannica a las coordenadas Q(q, p ) y
P(q, p ) junto con su funcin generatriz F1 (q, Q, t ) .
a)
En general, cree usted que pueden obtenerse todas las funciones
generatrices F2 (q, P, t ) , F3 ( p, Q, t ) y F4 ( p, P, t ) de esa transformacin? Ilustre su
respuesta con ejemplo/s sencillo/s. En caso de poder disponer de ms de una
funcin generatriz obtendremos siempre la misma hamiltoniana?.
b)
Existe una nica funcin generatriz del tipo F1 (q, Q, t ) asociada al cambio
de coordenadas Q(q, p ) y P(q, p ) ? En caso de poder disponer de ms de una
funcin generatriz F1 (q, Q, t ) obtenemos siempre la misma hamiltoniana?. D
tambin ejemplo/s sencillo/s.
a) No siempre ser posible encontrar funciones de los 4 tipos para una misma
transformacin cannica. Partiendo de las ecuaciones de las nuevas variables, Q(q, p, t )
y P(q, p, t ) , hay que comprobar qu parejas formadas por una variable antigua y una
nueva son expresables en funcin de las otras dos. Como ejemplo simple de este caso
tenemos la transformacin: F1 (q, Q, t ) = qQ . Esta genera el cambio
F
F
p = 1 = Q , P = 1 = q , para el que no es posible expresar p como funcin de q y
q
Q
P, ni q como funcin de p y Q. Por tanto existirn slo las funciones F1 (q, Q, t ) y
F4 ( p, P, t ) .
Sin embargo s hay casos en los que es posible, un ejemplo simple sera:
p = 2Q 2 q
, generada por la funcin F1 = q 2 Q 2 . Para este caso tenemos todas las
2
P = 2Qq
combinaciones:
50
p
q=
2Q 2
P2 3
q =
2p
p
2q 3
y podremos calcular todas las funciones
,
,
1
p
2p2
Q= 2 P=
p2 3
2q
4Q 3 Q =
2P
generatrices:
p=
p5 3
p2
P
2 .
,
F
=
F2 = 2 , F3 =
4
4q
4Q 2
2P
Estas funciones generatrices, obtenidas unas de otras a travs de F1 = F2 QP ,
F1 = F3 qp y F1 = F4 + qp QP y del oportuno cambio de coordenadas (ver seccin
9-1 del Goldstein) siempre generan la misma hamiltoniana.
2
b)
51
H
=p
q (t ) = A sin t + B cos t
p
a)
, q&& = p& = q y por tanto
, que para las
p (t ) = A cos t B sin t
H
p& =
= q
q
q (t = 0) = B = 0
, tenemos q(t ) = q 0 sin t .
condiciones iniciales dadas:
p (t = 0) = A = p0
q& =
p 02
sin 2t
2
dg
g H g H
b) g& =
= [g , H ] =
= p2 + q2 y
dt
q p p q
dg&
g& H g& H
g&& =
= [g& , H ] =
= 2qp 2 p (q ) = 4 g
dt
q p p q
g (t ) = A sin(2t ) + B cos(2t ) , con las condiciones iniciales g (t = 0) = 0 , g& (t ) = p02 , nos
g (t ) = p (t )q (t ) = p02 sin t cos t =
p02
sin 2t .
2
c) Buscamos una transformacin cannica desde el sistema de coordenadas p, q a otro
Q
P, Q donde, por ejemplo, Q = g = pq . Si despejamos q = , podemos considerar la
p
funcin generatriz F3 ( p, Q) tal que
F
Q
q= 3 =
p
p
, F3 = Q ln p + f (Q) P = ln p + f ' (Q)
F3
P=
Q
siguiendo el enunciado del problema podemos tomar el caso ms simple f (Q) = 0 :
p = e P , q = Qe P
y el nuevo hamiltoniano ser
1
H = (Q 2e 2 P + e 2 P )
2
Las nuevas ecuaciones del movimiento sern:
H
Q& =
= Q 2 e 2 P + e 2 P
P
52
b.- Utilcese esto para encontrar una constante de movimiento para una partcula
r r
r
r
ar
en dos dimensiones bajo el potencial V (r ) = 3 (siendo a un vector constante
r
dado).
df
= 0 utilizaremos el formalismo de Poisson:
dt
s
f H f H
f H f H
f H f
f H f
f& = [ f , H ] =
=0
pi qi q1 p1 p1 q1 q1 f p1 p1 f q1
i =1 q i p i
b) El hamiltoniano de una particula sometida al potencial del problema la podemos
escribir en coordenadas polares como:
r r
pr2
p2
ar
r
r
H =
+ 2 + 3 , si elegimos el eje x coincidiendo con el vector a podemos
2m 2r m
r
2
p2
p
p r2 p2 + 2ma cos
a r cos
=
+
de modo que podemos
escribir H = r + 2 +
2m 2 r m
2m
r3
2r 2 m
p 2 f ( , p )
escribir que H (r , p r , f ( , p )) = r +
, con f ( , p ) = p2 + 2ma cos ,
2
2m
2r m
constante del movimiento.
a) Para demostrar que
53