TRANSFORMACIONES CANNICAS, CORCHETES DE POISSON Y

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

De las tres primeras ecuaciones podemos obtener, por ejemplo:

e = 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

Igualando los coeficientes de t, se llega a las ecuaciones

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

--------------------------------------

3. Sean q y p la coordenada y el momento generalizados de un sistema material

de un grado de libertad; sean Q y P funciones de q y p tales que P = q + p. Se
pide
a) Determinar Q de la forma ms general posible, de modo que la
transformacin de (q,p) a (Q,P) sea cannica;
b) Demostrar que cualquiera que sea la expresin para P la solucin general
viene dada por
Q = f ( P ) + g ( q, p )
donde g(q, p) es solucin particular de la ecuacin [Q,P] = 1.
Para que la transformacin sea cannica debe cumplirse
P Q P Q

=1
p q q p

33

Si P = p + q, la condicin anterior queda como:

Q Q

= 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.

Una masa m est conectada a un resorte de constante k1 y oscila

armnicamente sin rozamiento con una amplitud inicial A1. Se reduce la
constante del resorte de modo adiabtico (equivalente a hacerlo muy despacio)
de forma constante hasta llegar a un valor k2 (suponga, por ejemplo, que
calentamos el resorte). Calclese la nueva amplitud de oscilacin.
I.NOTA: Si p y q son el momento y la posicin de la masa, la cantidad
I =

pdq
2

donde la integral se define a lo largo de una sola oscilacin completa, es lo que

se llama un invariante adiabtico. Ello quiere decir que, aunque la enega del
oscilador vare, I permanece constante cuando la constante del resorte se reduce
adiabticamente. Utilcese este hecho para responder al problema. Tambin
podr resultarle de utilidad saber que:

sen

x
1
x dx = sen 2 x + .
4
2

Para solucionar el problema hemos de recordar que, segn el teorema de Stokes el

invariante adiabtico I tambin puede escribirse como la integral de rea sobre la
superficie encerrada por la trayectoria de una oscilacin completa en el espacio de fases:
I =

dpdq
2

Para el oscilador armnico la ecuacin de la trayectoria en el espacio de fases es la

elipse

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

Si escribimos la expresin anterior en trminos de amplitudes de oscilacin, la amplitud

final puede expresarse como:
k
A2 = A1 1
k2

1 4

----------------------------------5.

La transformacin desde un sistema de referencia fijo a otro mvil es

Q = q D(t ) , siendo D(t ) la distancia entre los orgenes (siendo t el tiempo).
Encuentre:
a) la transformacin para los momentos generalizados;
b) la forma del hamiltoniano en variables (Q, P) , cuando su representacin en
variables ( p, q ) es p 2 2m + V (q ) ;
c) las ecuaciones del movimiento en variables (Q, P) .

a) La funcin generatriz para la transformacin Q = q D(t ) , es F2 ( P, q) , tal que:

F2
F
= Q; 2 = p
P
q
Si F2 = P(q D(t ) ) , tendremos p = F2

q = P .

b) El nuevo hamiltoniano ser:

K (Q, P, t ) = H (q, p, t ) +
p2
+ V (q ) PD& =
2m
P2
+ V (Q + D) PD&
2m
c) Las ecuaciones del movimiento son:

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.

Supongamos que en el problema de una partcula, de masa m, en cada libre en

un campo gravitatorio, queremos efectuar una transformacin cannica,
( p, q ) ( P, Q) , que nos permita escribir el hamiltoniano en la nuevas
variables como K = mgQ . Demuestre que la correspondiente funcin
generatriz, F1 (q, Q) , viene dada por:

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

en donde F1 es la funcin generatriz problema. Integrando la ecuacin anterior,

1 2
F1 = (2m) 1 2 (mgQ mgq~ ) dq~ =
q

3 2
1
2
(
)
m
g
Q
q
.
2

3m 2 g

----------------------------------

7. Dada la transformacin Q = Q(q, p ); P = P(q, p ) para un problema mecnico

unidimensional, demostrar que la condicin simpltica para que sta sea
cannica se reduce a que una cierta funcin escalar tome un determinado
valor(cul?).
Para el caso unidimensional, la condicin simpltica es:
Qq
MJM T =
Pq

Q p 0 1 Q q

Pp 1 0 Q p

36

Pq
= J
Pp

siendo Qq Pp Q p Pq . Es pues necesario y suficiente que el determinante sea la

unidad.
-------------------------------8. Dadas las siguientes transformaciones Q = Q(q, p ); P = P(q, p ) , determinar
cuales son y cuales no son cannicas. Para aqullas en las que la transformacin
contiene parmetros libres, determnense las condiciones que stos deben
verificar para que la transformacin sea cannica. Raznense las respuestas en
cada caso.
a) Pi = q i

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
-----------------------------------

9. Para qu valores de los parmetros y representan las ecuaciones

Q = q cos p
P = q sin p
una transformacin cannica? Cul es la forma de la funcin generatriz F3 ?
Para un sistema unidimensional la condicin simplectica se reduce a que el
determinante
Q
q

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

Deber ser cierto que q 2 1 = 1 , lo que exige que

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)

Rescribiendo las variables P y q en funcin de p y Q:

Q2
q=
cos 2 p
de modo que

; P = Qtg 2 p

F
F
Q2
= 3 y Qtg 2 p = 3
cos 2 p
p
Q

Las dos ultimas ecuaciones se integran inmediatamente a

Q2
F3 =
tg 2 p + ( p)
2
donde ( p ) =constante de modo que,salvo una constante irrelevante se verifica
finalmente que
F3 (Q, p ) =

Q2
tg2 p .
2

------------------------------------------10. Resuelva el problema de Hamilton-Jacobi para una partcula que se mueve en

un plano vertical sobre la parbola z = ax 2 .
T=

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

Solo un grado de libertad, x . Para obtener el Hamiltoniano ,

L
p=
= mx& (1 + 4a 2 x 2 ) , y:
x
H=

1
p2
+ mgax 2 .
2m 1 + 4a 2 x 2

38

La ecuacin de Hamilton-Jacobi se obtiene de substituir p i por

H ( pi , qi , t ) +

F2
en la expresin
q i

F2
= 0 , de modo que:
t
2

F
1
F2

+ mgax 2 + 2 = 0 (Ecuacin de Hamilton-Jacobi).

2 2
t
2m(1 + 4a x ) x
Puesto que H no depende explcitamente de t, F2 = W t

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

= 2m( mgax )(1 + 4a x )

x

W = 2m dx (1
0

La determinacin de F2 = W t

mga

x 2 )(1 + 4a 2 x 2 ) .

queda pues reducida a una cuadratura.

-------------------------------11. Dado el Hamiltoniano H = p x2 + x 2 , encontrar la transformacin cannica que

1
lo convierte en H = P 2 Q 4 + 2 utilizando las propiedades de tales
Q
1
transformaciones y la relacin x = .
Q
Como sabemos que Q viene dada solo en funcin de x (normalmente llamada q ),
usaremos la funcin generadora F2 ( P, x) , para la cual
p=

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)

donde G (Q) es en principio una funcin arbitraria.

Ahora bien, para este funcin generadora resulta que al Hamiltoniano transformado K
es:
K=H
K=

(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)

c).- La condicin para que la transformacin sea cannica es independiente del

Hamiltoniano, Nada puede pues decirse de H .
d).Q = pq
P = ln q

(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

Det M = 1 , que es an ms trivial de probar.

-------------------------------------------

4.

Resuelva el problema de una partcula con hamiltoniano

H = 12 p x2 + p 2y + p z2 + mgz , resolviendo su correspondiente ecuacin de

Hamilton-Jacobi.

41

La ecuacin, una vez hecha la separacin de variables, queda como

2
2
2

dW ( z )
dW ( y )
1 dW1( x )
3
2

+ mgz = E
+
+

dy
dz
2m dx

Si E es constante, cada uno de los sumandos diferenciales debe serlo a su vez

2
1 dW2 ( x )
=
2
2m dy

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

Las constantes 1 , 2 , 3 definen los nuevos momentos en una transformacin cannica

generada por S = S ( x, y, z ,1 , 2 , 3 ) . La otra mitad de las nuevas coordenadas
generalizadas definen las ecuaciones
S
S
m
m
= x
t,
=
=
= x
t
1
2
2
2
1
1
2
2
2 mgz
S
3
=
=
t
3
2
mg
3

que, invertidas, dan

x=

2
1 +t,
m 1

y=

2 +t
2
m

g
z= 3 +t 2
mg 2 3
------------------------------------------5.

El hamiltoniano de Toda caracteriza un conjunto de partculas que se mueven

sobre un anillo, sometidas a fuerzas repulsivas, exponencialmente decrecientes.
En el caso de tres partculas (vase figura), este hamiltoniano viene dado por:

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

Hay una integral del movimiento obvia, que es el momento total

P3 = p1 + p2 + p3 = cte.

(1)

ya que el hamiltoniano es invariante frente a rotaciones

i a i + 0

Transformamos a los nuevos momentos P1 = p1 , P2 = p 2 y P3 dado por (1), con:

F2 = P11 + P2 2 + (P3 P1 P2 ) 3. .

Encontramos el nuevo hamiltoniano:

1 2
P1 + P22 + (P3 P1 P2 )2 +
2
exp(- 1 ) + exp[- ( 2 )] + exp( 2 ) 3.
H=

H no depende de 3 : lo que demuestra la invariancia de P3

------------------------------------------6.

Compruebe que para tres funciones f , g , h se cumple

[ f , [g , h]] + [g , [h, f ]] = [h, [ f , g ]] . Proceda expandiendo el lado izquierdo de la
igualdad y reorganizando trminos para obtener el lado derecho. De qu
relacin se trata?

Reconocemos aqu la identidad de Jacobi y su comprobacin aparece con detalle en la

pgina 487 del Goldstein.

7.

Sean q y p la coordenada generalizada y el momento generalizado de un

sistema material de un grado de libertad; sean Q y P funciones de q y p, tales
que Q = q tan p . Se pide determinar P de la forma ms general posible, de modo
que la transformacin de q y p a Q y P sea cannica.
43

Se tiene que
Q
Q
q
=
= tan p,
;
p cos 2 p q

y una integral particular de la ecuacin

P
P q
=1,
tan p
p
q cos 2 p

se obtiene fcilmente haciendo P solamente funcin de p , por ser

1
dP
=
P = lnsen p .
dp tan p

Luego
P = lnsen p + f (q tan p )

es la solucin del problema.

------------------------------------------17. Considrese un sistema con un hamiltoniano independiente del tiempo
H 0 (q, p ) . Suponga que se somete a este sistema a un campo externo oscilante de
forma que el hamiltoniano que lo describe se modifica,
resultando H = H 0 (q, p ) q sen t , con y constantes.
a)
Qu interpretacin fsica le dara a sen t , por ejemplo, al caso en que
el sistema en cuestin fuese una partcula cargada?
b)
Cmo se modifican las correspondientes ecuaciones cannicas del
movimiento?
c)
Encuentre una funcin generatriz F2 (q, P, t ) que devuelva las ecuaciones
cannicas del movimiento del sistema modificado a la forma original (sin campo
oscilante externo).
a) Podemos pensar en una partcula cargada, situada en un campo uniforme
espacialmente pero, sin embargo, oscilatorio.
b) Este apartado es relativamente trivial y nos concentraremos en la resolucin del
siguiente.
c) Deseamos encontrar una transformacin que nos lleve a un hamiltoniano K (Q, P )
que sea formalmente idntico a H 0 . Tomemos la ecuacin
F
F
K = H + 2 = H 0 q sen t + 2 .
t
t
Debemos concluir que, si ni K ni H 0 dependen explcitamente del tiempo,
F
q sen t = 2
(1)
t
y
K = H0
(2)
Integrando la primera de ellas, obtenemos
44

F2 = f (q, P )

q
cos t

En consecuencia, las ecuaciones de transformacin son

F
f
p= 2 =
cos t
q q
F
f
Q= 2 =
P P
Podemos sustituir estas dos expresiones en la ecuacin (2)
f

K , P = H 0 q, cos t
P
q

Ahora bien, K y H 0 deben tener la misma forma funcional, es decir, la misma

dependencia formal en sus respectivas variables. Luego, debern identificarse
f
con q
q
f
P con
cos t
q
dando
f = qP
Tambin hubiramos podido llegar a este resultado directamente recordando que la
transformacin identidad en trminos de la funcin F2 es precisamente qP . En este
caso, hubiramos escrito directamente f = qP .
------------------------------------------18.- Un sistema de una partcula tiene como lagrangiano: L = e 2 t

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 ?

a) La ecuacin del movimiento es

V
2mq&
q
que corresponde a una partcula en un potencial V y bajo la influencia de un frenado
2mq& .
mq&& =

b) El hamiltoniano viene dado por la expresin

p 2 2 t
H =
e
+ V (q )e 2 t ,
2m
que se reduce, en nuestro caso, a

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 =

------------------------------------------19.- Un conjunto de coordenadas generalizadas, se transforma en un nuevo

conjunto (Q1 , P1 ) , (Q2 , P2 ) a travs de:
Q1 = q12 , P1 = P1 (q1 , p1 , q 2 , p 2 )
Q 2 = q1 + q 2 , P2 = P2 (q1 , p1 , q 2 , p 2 ) .
a) Encontrar la expresin ms general de P1 y P2 para que la transformacin
sea cannica.
b) Mostrar la eleccin que reduce el hamiltoniano
2

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

Q1 = q12 y Q2 = q1 + q 2 F2 = q12 P1 + (q1 + q 2 ) P2 + g (q1 , q 2 , t ) .

Por tanto:
g
g
p1 = 2q1 P1 + P2 +
; p 2 = P2 +
q1
q 2
con lo que
g
g
g
g
1
1
p1 p 2 +

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

y esta ltima expresin es fcilmente integrable a

g
g
1
g = q12 q 2 q 23 q1 q 22 + f (q1 ) y de la condicin
= q12 q 22 2q1 q 2
=
3
q1 q 2
f
= q12 y por tanto
tenemos que
q1
1
1
F2 = q12 P1 + (q1 + q 2 )P2 q12 q 2 q 23 q1 q 22 q13 .
3
3
c) En el nuevo Hamiltoniano no aparecen ni Q1 ni Q2 por lo que P1 y P2 son
constantes y
H
Q& 1 =
= 2P1 Q1 = 2 P1t + ,
P1
H
Q& 2 =
= 1 Q2 = t + .
P2
------------------------------------------20. Un sistema de dos grados de libertad est descrito por la hamiltoniana
H = g1 (q1 ) + bq 22 + p1 g 2 (q1 ) p 2 g 3 (q 2 ) ,
dnde g i (q j ) es funcin nicamente de la variable q j .
a) Encontrar unas funciones, g1 (q1 ) , g 2 (q1 ) y g 3 (q 2 ) para que las funciones
F1 = q1 q 2 y F2 =

p1 aq1
q2

sean constantes del movimiento.

b) Existen ms constantes del movimiento algebraicas independientes? En
caso de respuesta afirmativa, podra dar alguna sugerencia de constante?
c) Puede construirse alguna constante ms a partir de la identidad de
Jacobi?. (Nota: identidad de Jacobi para las funciones H, v, w es
[H , [v, w]] + [v, [w, H ]] + [v, [H , w]] = 0 )
W S
+
d) Resolver la ecuacin de Hamilton-Jacobi: H q,
= 0 , con
q t
S (q, P, t ) = W (q, P ) 1t Qu constantes del movimiento obtenemos?
a) Para que Fi sea constante del movimiento tiene que cumplir que [H , Fi ] = 0 , de la
definicin de corchete de Poisson tenemos:
[H , F1 ] = H F1 H F1 + H F1 H F1 = g 2 (q1 )q 2 + g 3 (q 2 )q1 = 0
q1 p1 p1 q1 q 2 p 2 p 2 q 2
que tiene como solucin g 2 (q1 ) = q1 y g 3 (q 2 ) = q 2 (o con los signos cambiados).
Introduciendo esto en el corchete de la segunda constante:

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

b) Con las funciones halladas el hamiltoniano tiene la forma

H = aq12 + bq 22 + p1 q1 p 2 q 2
que, salvo signos, es simtrica en las variables. De este modo es directo proponer una
nueva funcin
p bq 2
F3 = 2
q1
que es fcil comprobar que es constante del movimiento

[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

Tambin es evidente que el propio Hamiltoniano, independiente del tiempo, es otra

constante del movimiento. Podramos pensar que ya tenemos las 4 constantes posibles
pero no son linealmente dependientes, de hecho se puede ver que
H = F1 (F2 F3 ) .
c) La aplicacin de la identidad de Jacobi para generar nuevas constantes slo produce
soluciones triviales:
[F1 , F2 ] = 1 , [F1 , F3 ] = 1 , [F2 , F3 ] = H2 .
F1
d) La ecuacin una vez hecha la separacin de variables queda
W1
W2
q1
q 2 aq12 + bq 22 = E
q1
q 2
y separando las ecuaciones por variables tenemos
W1
W2
q1 aq12 = 1 y
q 2 + bq 22 = 2
q1
q 2
que tiene como soluciones directas
a
b
W1 = 1 ln(q1 ) + q12 y W2 = 2 ln(q 2 ) + q 22 ,
2
2
de modo que la funcin generadora de la transformacin cannica buscada es
a
b
S = 1 ln(q1 ) + q12 2 ln(q 2 ) + q 22 1t 2 t
2
2
y podemos encontrar las soluciones explicitas para las variables cannicas:
S
S
1 =
= ln (q1 ) t y 2 =
= ln(q 2 ) t
1
2
q1 (t ) = e 1 e t y q 2 (t ) = e 2 e t
y para las conjugadas:

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

------------------------------------------21.- Sean f1 , f 2 , f y g funciones de las coordenadas, q k , de los momentos, p k , y

del tiempo. Muestre que se cumplen las siguientes relaciones:
a) [ f 1 + f 2 , g ] = [ f 1 , g ] + [ f 2 , g ]
b) [ f 1 f 2 , g ] = f 1 [ f 2 , g ] + f 2 [ f1 , g ]

[ 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

es decir, c = 0, b = 1 y a sin determinar.

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)

No, no es nica. Dado que la relacin entre el cambio de coordenadas y la

F
F
funcin generatriz viene dado por ecuaciones del tipo: p = 1 P = 1 siempre
q
Q
podemos aadir una constante y/o una funcin dependiente del tiempo. En este ltimo
caso las hamiltonianas sern diferentes segn la funcin dependiente del tiempo que
consideremos.
Para el primer ejemplo de la seccin anterior las transformaciones cannicas dadas por
las funciones F1 (q, Q, t ) = qQ y F1 ' (q, Q, t ) = qQ + t 2 , generan las mismas ecuaciones
p = Q y P = q , pero tiene hamiltonianas diferentes.
-------------------------------------------1 2
( p + q 2 ) , la variable dinmica
2
g ( p, q ) = q p y las condiciones iniciales q (t = 0) = 0, p (t = 0) = p 0 . Calcule la
evolucin temporal de la variable, g (t , p 0 ) siguiendo los siguientes procedimientos
y comente brevemente las diferencias:
a)
Integracin directa de las ecuaciones de Hamilton.
b) A partir del formalismo de Poisson obtenga la ecuacin diferencial de
segundo orden de g (t , p 0 ) .
c)
Encuentre una transformacin cannica cualquiera tal que la nueva variable
sea Q = g ( p, q ) . Calcule el nuevo hamiltoniano y obtenga g (t , p 0 ) a partir de
las nuevas ecuaciones de Hamilton.
NOTA: las siguientes frmulas pueden serle de utilidad:
F
F
F
F
F1 = F1 (q, Q, t ), p = 1 , P = 1
F2 = F2 (q, P, t ), p = 2 , Q = 2
q
Q
q
P
F
F
F
F
F3 = F3 ( p, Q, t ), q = 3 , P = 3
F4 = F4 ( p, P, t ), q = 4 , Q = 4
p
Q
p
P
24.- Sean un sistema hamiltoniano H ( p, q) =

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

y para la ecuacin de g (t ) = Q(t ) ser

H
2 P
&
P=
= Qe
Q
&& = 2Q 2 e 2 P P& + 2Qe 2 P Q& + 2e 2 P P& , dnde por substitucin de las anteriores
Q
&& = 2(Q 2 e 2 P + e 2 P )Qe 2 P + 2e 2 P Q(Q 2 e 2 P + e 2 P ) = 4Q , es
ecuaciones obtenemos Q
lleva a g (t ) =

decir la misma ecuacin que en el apartado anterior.

-------------------------------------------25.- a.- Demustrese que si el hamiltoniano de un sistema puede expresarse como
H = H ( f (q1 , p1 ), q 2 , p 2 , K, q s , p s ) la funcin f (q1 , p1 ) es una constante de
movimiento.

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