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
. Hallar: la constante ms simple de la forma
, 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?
) , (
2 1
q q V
) ( e I q p, =
2 1
) ( ) ( p f p q q +

Si insertamos H e I en la condicin [I ,H | = 0, e igualamos los coeficientes de los
trminos en los momentos, encontramos:
. 0 , 0 , 0 , 0
2 1 2 1 2 1
= + = + = =
q
V
f
q
V
e
q
e
q
f
q
f
q
e

De las tres primeras ecuaciones podemos obtener, por ejemplo:
1 2
, q f q e = = .
La constante es entonces:
1 2 2 1
p q p q I = ,

que no es otra cosa mas que el momento angular. Es razonable pensar que el potencial
es un potencial central,
) (
2
2
2
1
q q V V + = ,
enteramente consistente con la cuarta ecuacin en derivadas parciales.
--------------------------------

2. En el caso de un sistema unidimensional con la hamiltoniana
2
2
2
1
2 q
p
H =
determnense las funciones f(q,p) y g(q,p) de manera que
( ) ( )t p q g p q f D , , + =
sea una constante del movimiento.

La funcin D debe ser solucin de:
32
| | , D H
t
D
=

lo que, utilizando la forma de D, lleva a la ecuacin
+ t
q
g
p
H
q
f
p
H
t
p
g
q
H
p
f
q
H
g

=
Igualando los coeficientes de t, se llega a las ecuaciones
0 =
q
g
p
H
p
g
q
H

g
q
f
p
H
p
f
q
H
=

La primer ecuacin muestra que g = H es solucin. Utilizando este resultado en la
segunda, sta queda

2
1
2
1

2
2
3
q
p
q
f
p
p
f
q
=

con lo que

2
;
2
p
q
f q
p
f
= =

es decir:

2
pq
f =
--------------------------------------


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
) , ( ) ( p q g P f Q + =
donde g(q, p) es solucin particular de la ecuacin [Q,P] = 1.

Para que la transformacin sea cannica debe cumplirse
1 =

p
Q
q
P
q
Q
p
P

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

p
Q
q
Q

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:
) (
hom
q p f 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 p f q 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 , como puede verificarse por
simple sustitucin.
) (
hom
P f
-----------------------------------

4. Una masa m est conectada a un resorte de constante k
1
y oscila
armnicamente sin rozamiento con una amplitud inicial A
1
. Se reduce la
constante del resorte de modo adiabtico (equivalente a hacerlo muy despacio)
de forma constante hasta llegar a un valor k
2
(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

=
2
pdq
I
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:

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


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:

=
2
dpdq
I
Para el oscilador armnico la ecuacin de la trayectoria en el espacio de fases es la
elipse
34
E q m p
m
= +
2 2 2
2
1
2
1

con un rea encerrada dada por 2E/. Por lo tanto el invariante adiabtico es I = E/.
La condicin de invariancia adiabtica viene dada por:
2
2
1
1

E E
=
Si escribimos la expresin anterior en trminos de amplitudes de oscilacin, la amplitud
final puede expresarse como:
4 1
2
1
1 2
|
|
.
|

\
|
=
k
k
A A
-----------------------------------

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


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

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

2
.
b) El nuevo hamiltoniano ser:
D P D Q V
m
P
D P q V
m
p
t q P F
t
t p q H t P Q K
&
&
+ +
= +
= + =
) (
2
) (
2
) , , ( ) , , ( ) , , (
2
2
2

c) Las ecuaciones del movimiento son:
35
) ( D Q V
Q
P
D
m
P
P
K
Q
+ =
= =

&
& &

Combinndolas:
D m D Q V
Q
Q m
& & & &
+ = ) (

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

6. Supongamos que en el problema de una partcula, de masa m, en cada libre en
un campo gravitatorio, queremos efectuar una transformacin cannica,
, que nos permita escribir el hamiltoniano en la nuevas
variables como . Demuestre que la correspondiente funcin
generatriz, , viene dada por:
) , ( ) , ( Q P q p
(
1
q F
mgQ K =
) , Q
( ) ( ) g m q Q g m F
2
2 3
2
1
3 2 = .


Deseamos pasar de mgq
m
p
H + =
2
2
a . De la identificacin de ambas
expresiones, obtenemos:
mgQ K =
( )
q
F
mgq mgQ m p

1
2 1 2 1
) 2 ( = = ,
en donde es la funcin generatriz problema. Integrando la ecuacin anterior, F
1
( ) ( ) ( )
2 3
2
2
2 1 2 1
1
2
3
1
~ ~
) 2 ( q Q g m
g m
q d q mg mgQ m F
q
= =

.
----------------------------------


7. Dada la transformacin Q 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?).
) , ( ); , ( p q P P p q Q = =

Para el caso unidimensional, la condicin simpltica es:
=
|
|
.
|

\
|
|
|
.
|

\
|

|
|
.
|

\
|
= J MJM
p p
q q
p q
p q
T
P Q
P Q
P P
Q Q
0 1
1 0

36
siendo . Es pues necesario y suficiente que el determinante sea la
unidad.
q p p q
P Q P Q
--------------------------------

8. Dadas las siguientes transformaciones , 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.
) , ( ); , ( p q P P p q Q Q = =
a)
i i i i
p Q q P = =
;
b)
i i i i
p Q q P = = ;
c)
j ij i j ij i
p b Q q a P = =
;
d)
j ij i j ij i
q B Q p A P = =
;
e) , donde es una funcin arbitraria de
1
) / ( ; ) (

= = dq df p P q f Q f q
f) q P p Q cos ; sin = =
a) cannica; b) NO; c) cannica si
1
= b a
d) cannica si ; e) cannica f) no cannica
1
= B A
-----------------------------------

9. Para qu valores de los parmetros y representan las ecuaciones
p q P
p q Q

sin
cos
=
=

una transformacin cannica? Cul es la forma de la funcin generatriz ?
3
F

Para un sistema unidimensional la condicin simplectica se reduce a que el
determinante
p
P
q
P
p
Q
q
Q

sea la unidad.
En nuestro caso:
p q p q
p q p q




cos sin
sin cos
1
1

=
1 2
=

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

q
37
2 ;
2
1
= =
La transformacin es:
p q P
p q Q
2 sin
2 cos
=
=

adems,
q
F
p
p
F

=
3 3
; q y ) , (
3 3
Q p F F =
Rescribiendo las variables P y q en funcin de p y Q:
p Qtg P
p
Q
q 2 ;
2 cos
2
= =
de modo que
p
F
p
Q

=
3
2
2 cos
y
Q
F
p Qtg

=
3
2
Las dos ultimas ecuaciones se integran inmediatamente a
) ( 2
2
2
3
p p tg
Q
F + =
donde =constante de modo que,salvo una constante irrelevante se verifica
finalmente que
) ( p
2
) , (
2
3
Q
p Q F = p tg2 .
-------------------------------------------

10. Resuelva el problema de Hamilton-Jacobi para una partcula que se mueve en
un plano vertical sobre la parbola .
2
ax z =
) 4 1 (
2
1
2 ; ) (
2
1
2 2 2 2 2
x a x m T x ax z z x m T + = = + = & & & & &
2
mgax mgz V = =


2 2 2 2
) 4 1 (
2
1
mgax x a x m L + = &
Solo un grado de libertad, . Para obtener el Hamiltoniano , x
) 4 1 (
2 2
x a x m
x
L
p + =

= & , y:
.
4 1 2
1
2
2 2
2
mgax
x a
p
m
H +
+
=
38
La ecuacin de Hamilton-Jacobi se obtiene de substituir por
i
p
i
q
F

2
en la expresin
0 ) , , (
2
=

+
t
F
t q p H
i i
, de modo que:
) 4 1 ( 2
1
2 2
x a m +
0
2 2
2
2
=

+ + |
.
|

\
|

t
F
mgax
x
F
(Ecuacin de Hamilton-Jacobi).
Puesto que H no depende explcitamente de t, donde , y t W F =
2
const =
= + |
.
|

\
|

+
2
2
2 2
) 4 1 ( 2
1
mgax
x
W
x a m
,
que admite una integral inmediata, ya que
) 4 1 )( ( 2
2 2 2
2
x a mgax m
x
W
+ = |
.
|

\
|

+ =
x
x a x
mga
dx m W
0
2 2 2
) 4 1 )( 1 ( 2

.
La determinacin de queda pues reducida a una cuadratura. t W F =
2
--------------------------------

11. Dado el Hamiltoniano , encontrar la transformacin cannica que
lo convierte en
2 2
x p H
x
+ =
2
4
1
Q
Q +
2
P H = utilizando las propiedades de tales
transformaciones y la relacin
Q
1
= x .

Como sabemos que viene dada solo en funcin de (normalmente llamada ),
usaremos la funcin generadora , para la cual
Q x q
) , (
2
x P F
x
x P F
p

=
) , (
2
(1)
x P
x P F
Q
1 ) , (
2
=

= (2)
Integrando (2),
) (
2
q L
x
P
F + = (3)
y usando (1)
) ( ) (
2
2
Q G P Q q L
x
P
p + = + = (4)
39
donde G es en principio una funcin arbitraria. ) (Q
Ahora bien, para este funcin generadora resulta que al Hamiltoniano transformado
es:
K
H K = (5)
| |

) (
1 1
(4) de virtud en
2
2
2
2 2 4 2
2

+ + = = + = + = Q G PQ
Q
H p x Q P
Q
K

de este modo,
| |
2
2 4 2
) (Q G PQ Q P + = . 0 = G
Finalmente,
Q
x
PQ p
1
2
=
=

es la transformacin.
-------------------------------------

12. Sean las variables y y sean Q y las nuevas variables que resultan de
una transformacin cannica. Sabiendo que
q p P
) (q f
p

= Q , donde
dq
q df
q f
) (
) ( =
, y es una funcin dada que slo depende de , f q
a. Obtener la funcin generadora de la transformacin cannica.
b. Determinar completamente la nueva variable en funcin de y . P q p
c. Qu puede decirse del Hamiltoniano que gobierna la evolucin de y ? q p
d. Si no se conociese la funcin generadora, para el caso particular
pq Q = ; , cmo podra averiguarse directamente si la
transformacin es cannica no?
) ln(q P =

a).- Usando la funcin generadora tal que ) , (
1
p Q F
Q
q
F
p |
1

= (1,a)
q
Q
F
P |
1

= (1,b)
Puesto que se nos dice que
) (q f
p

= Q de (1,a) resulta:
40
q
F
q f Q p

= =
1
) ( ,
e integrando,
) ( ) (
1
Q q Qf F + =
siendo una funcin arbitraria.
b).- De (1,b) y en funcin de y : ) ( ) ( Q q f P = p q
) (q f
p
Q

=
)
) (
( ) (
q f
p
q f P

= (2)
c).- La condicin para que la transformacin sea cannica es independiente del
Hamiltoniano, Nada puede pues decirse de . H
d).-
q P
pq Q
ln =
=
(3)
Est claro que este es un caso particular de (2) con . Por tanto la
transformacin es cannica. Si no supisemos la forma de , podramos hacer una
comprobacin directa de que se cumple la condicin general
q f ln ; 0 = =
1
F

J MJM
T
= , con
|
|
|
|
.
|

\
|

=
p
P
q
P
p
Q
q
Q
M , y .
|
|
.
|

\
|

=
0 1
1 0
J
De hecho
|
|
|
.
|

\
|

=
0
1
q
q p
M ;
|
|
.
|

\
|

=
|
|
|
.
|

\
|

|
|
|
.
|

\
|

=
0 1
1 0
0
1
1
0
q
q
p
q
p q
T
MJM
Se verifica pues que MJM , 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
J
T
=
1 Det = = M J MJM
T
, que es an ms trivial de probar.
-------------------------------------------

4. Resuelva el problema de una partcula con hamiltoniano
( ) mgz p p p H
z y x
+ + + =
2 2 2
2
1
, resolviendo su correspondiente ecuacin de
Hamilton-Jacobi.
41
La ecuacin, una vez hecha la separacin de variables, queda como
( ) ( ) ( )
E mgz
dz
z dW
dy
y dW
dx
x dW
m
= +
|
|
|
.
|

\
|
|
|
.
|

\
|
+
|
|
.
|

\
|
+
|
|
.
|

\
|
2
3
2
2
2
1
2
1

Si E es constante, cada uno de los sumandos diferenciales debe serlo a su vez
( ) ( )
( )
3
2
3
2
1
2
2
2
2
1
,
1
2
1
2
1

= +
|
|
.
|

\
|
=
|
|
.
|

\
|
=
|
|
.
|

\
|
mgz
dz
z dW
m
dy
x dW
m dx
x dW
m

Y las soluciones
( ) ( )
( ) ( )
2
3
3 2
9
8
3

2
2
2
,
1
2
1
mgz
mg
z W
m x y W m x x W
=
= =

Las constantes definen los nuevos momentos en una transformacin cannica
generada por . La otra mitad de las nuevas coordenadas
generalizadas definen las ecuaciones
3 2 1
, ,
, , y x S = (
3 2 1
, , , z S )
( )
t
mg
mgz
S
t
m
x
S
t
m
x
S

=
=

= =

=
2
3
2
3
3
2
2
2
2
,
1
2
1
1

que, invertidas, dan
( ) ( )
( )
2
3
2
3
2
2
2
,
1
1
2
t
g
mg
z
t
m
y t
m
x
+ =
+ = + =

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

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
( ) | | ( ) | | ( ) | | 3
2 3
exp
1 2
exp
3 1
exp
3
1
2
2
1
+ + +
=
=
i
i
p H
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 , definiendo como nuevo momento esa
integral de movimiento adicional)
F
2

2
p
1
p
3
p
2

Hay una integral del movimiento obvia, que es el momento total
cte.
3 2 1 3
= + + = p p p P (1)
ya que el hamiltoniano es invariante frente a rotaciones
0
+
i i
a
Transformamos a los nuevos momentos , y dado por (1), con:
1 1
p P =
2 2
p P =
3
P
( )
. 3 2 1 3 2 2 1 1 2
P P P P P F + + = .
Encontramos el nuevo hamiltoniano:
( ) | |
( ) ( ) | | ( ) . 3 exp - exp - exp
2
1
2 2 1
2
2 1 3
2
2
2
1
+ +
+ + + = P P P P P H

H no depende de : lo que demuestra la invariancia de
3
P
3
-------------------------------------------

6. Compruebe que para tres funciones se cumple
. Proceda expandiendo el lado izquierdo de la
igualdad y reorganizando trminos para obtener el lado derecho. De qu
relacin se trata?
h g f , ,
| | | | | | | | | | g f h f h g h g f , , , , , , = + ||

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 . 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.
p q Q tan =
43

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

y una integral particular de la ecuacin
1
cos
tan
2
=
p
q
q
P
p
p
P

,
se obtiene fcilmente haciendo solamente funcin de , por ser P p
p P
p dp
dP
sen ln
tan
1
= = .
Luego
( ) p q p P tan f sen ln + =
es la solucin del problema.
-------------------------------------------

17. Considrese un sistema con un hamiltoniano independiente del tiempo
. Suponga que se somete a este sistema a un campo externo oscilante de
forma que el hamiltoniano que lo describe se modifica,
resultando , con y constantes.
( p q H ,
0
)
)
( ) t q p q H H sen ,
0
=
a) Qu interpretacin fsica le dara a , por ejemplo, al caso en que
el sistema en cuestin fuese una partcula cargada?
t sen
b) Cmo se modifican las correspondientes ecuaciones cannicas del
movimiento?
c) Encuentre una funcin generatriz que devuelva las ecuaciones
cannicas del movimiento del sistema modificado a la forma original (sin campo
oscilante externo).
( t P q F , ,
2

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
que sea formalmente idntico a . Tomemos la ecuacin
( ) P Q K ,
0
H
t
F
t q H
t
F
H K

+ =

+ =
2
0
2
sen .
Debemos concluir que, si ni ni dependen explcitamente del tiempo, K
0
H
t
F
t q

=
2
sen (1)
y
0
H K = (2)
Integrando la primera de ellas, obtenemos
44
( ) t
q
P q f F

cos ,
2
=

En consecuencia, las ecuaciones de transformacin son
t
q
f
q
F
p

cos
2

=
P
f
P
F
Q

=
2


Podemos sustituir estas dos expresiones en la ecuacin (2)
|
|
.
|

\
|

= |
.
|

\
|

t cos , ,
0

q
f
q H P
P
f
K
Ahora bien, y deben tener la misma forma funcional, es decir, la misma
dependencia formal en sus respectivas variables. Luego, debern identificarse
K
0
H
q
q
f
con

t cos con

q
f
P
dando
qP f =
Tambin hubiramos podido llegar a este resultado directamente recordando que la
transformacin identidad en trminos de la funcin es precisamente . En este
caso, hubiramos escrito directamente .
2
F qP
qP f =
-------------------------------------------

18.- Un sistema de una partcula tiene como lagrangiano: ( ) ) ( e
2
2
1 t 2
q V q m L = &

.
a) A qu sistema corresponde?
b) Una vez encontrado el hamiltoniano en variables , cul ha ser la
buena expresin para la funcin tal que la funcin generatriz
transforme el hamiltoniano en una constante del
movimiento en el caso en que
( q p, )
( ) t f
( )
( ) ( )qP t f t P q F = , ,
2
2 2
q m
2
1
q = V ?

a) La ecuacin del movimiento es
q m
q
V
q m & & & 2

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

b) El hamiltoniano viene dado por la expresin
( )
t t
e q V e
m
p
H
2 2
2
2
+ =

,
que se reduce, en nuestro caso, a
45
t t
e q m e
m
p
H

2 2 2 2
2
2
1
2
+ =

.
Nos piden ahora una funcin generatriz de la forma para que
transforme en un nuevo hamiltoniano que sea constante del movimiento. Nos
bastar para ello asegurar que no depende explcitamente del tiempo. Para ello,
aplicando las ecuaciones de transformacin
( ) ( )qP t f t P q F = , ,
2
H K
K
( ) ( )
t
f
qP H K q t f Q P t f p

+ = = = ; ;
tenemos
t
f
f QP e f Q m e f
m
P
K
t t

+ + =
1 2 2 2 2 2 2
2
2
1
2


Si hacemos la identificacin
( )
t
e t f

=
obtenemos el resultado exigido.
-------------------------------------------

19.- Un conjunto de coordenadas generalizadas, se transforma en un nuevo
conjunto , a travs de: ) , (
1 1
P Q ) , (
2 2
P Q
) , , , ( ,
2 2 1 1 1 1
2
1 1
p q p q P P q Q = =
) , , , ( ,
2 2 1 1 2 2 2 1 2
p q p q P P q q Q = + = .
a) Encontrar la expresin ms general de y para que la transformacin
sea cannica.
1
P
2
P
b) Mostrar la eleccin que reduce el hamiltoniano
( )
2
2 1 2
2
1
2 1
2
q q p
q
p p
H + + +
|
|
.
|

\
|
= a .
2
2
1
P P K + =
c) Resolver las ecuaciones de Hamilton en trminos de las nuevas variables.

a) Buscaremos una funcin tal que ) , , (
2
t P q F
i
i
P
F

=
2
Q y
i
i
q
F
p

=
2
, de :
2
1 1
q Q = y Q .
2 1 2
q q + = ) , , ( ) (
2 1 2 2 1 1
2
1 2
t q q g P q q P q F + + + =
Por tanto:
1
2 1 1 1
2
q
g
P P q p

+ + = ;
2
2 2
q
g
P p

+ =
con lo que
2
2 2
q
g
p P

= ;
|
|
.
|

\
|

+ =
|
|
.
|

\
|

=
1 2
2 1
1 1
2 1
1
1
2
1
2
1
q
g
q
g
p p
q q
g
P p
q
P
b) Si suponemos que g es independiente del tiempo, y si sustituimos las
expresiones anteriores de y en K tenemos que
H K =
1
P
2
P
2
2
2
1 2 1 1
2 1
2
1
2 q
g
p
q
g
q
g
q q
p p
K H

+
|
|
.
|

\
|
|
|
.
|

\
|

= =
que ser igual a la hamiltoniana original si
2 1
q
g
q
g

y ( )
2 1
2
2
2
1
2
2 1
2
2 q q q q q q
q
g
= + =

46
y esta ltima expresin es fcilmente integrable a
) (
3
1
1
2
2 1
3
2 2
2
1
q f q q q q q g + = y de la condicin
2 1
2
2
2
1
2 1
2 q q q q
q
g
q
g
=

tenemos que
2
1
1
q
q
f
=

y por tanto
( )
3
1
2
2 1
3
2 2
2
1 2 2 1 1
2
1 2
3
1
3
1
q q q q q q P q q P q F + + = .
c) En el nuevo Hamiltoniano no aparecen ni ni Q por lo que y son
constantes y
1
Q
2 1
P
2
P
1
1
1
2P
P
H
Q =

=
&
+ = t P Q
1 1
2 ,
1
2
2
=

=
P
H
Q
&
. + = t Q
2
-------------------------------------------

20. Un sistema de dos grados de libertad est descrito por la hamiltoniana
) ( ) ( ) (
2 3 2 1 2 1
2
2 1 1
q g p q g p bq q g H + + = ,
dnde es funcin nicamente de la variable . ) (
j i
q g
j
q
a) Encontrar unas funciones, , y para que las funciones ) (
1 1
q g ) (
1 2
q g ) (
2 3
q g
2 1 1
q q F = y
2
1 1
2
q
aq p
F

=
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
) | | | | | | | | | | | | 0 , , , , , , = + + w H v H w v w v H
d) Resolver la ecuacin de Hamilton-Jacobi: 0 , =

+
|
|
.
|

\
|

t
S
q
W
q H , con
Qu constantes del movimiento obtenemos? ( ) ( ) t P q W t P q S
1
, , , =

a) Para que sea constante del movimiento tiene que cumplir que| , de la
definicin de corchete de Poisson tenemos:
i
F | 0 , =
i
F H
| | 0 ) ( ) ( ,
1 2 3 2 1 2
2
1
2 2
1
2 1
1
1 1
1
1
1
= + =

= q q g q q g
q
F
p
H
p
F
q
H
q
F
p
H
p
F
q
H
F H
que tiene como solucin y (o con los signos cambiados).
1 1 2
) ( q q g =
2 2 3
) ( q q g =
Introduciendo esto en el corchete de la segunda constante:
47
| | 0
1 1
,
1 1 1 1
1
1
2
2
2
1 1
3
2
2
2 1
2
1
1
1
2
=
|
|
.
|

\
|
+ + +

=
|
|
.
|

\
|
+ +
|
|
.
|

\
|

= p aq aq p
q
g
q q
p aq
g
q
a
g
q q
g
p
q
g
F H
2
1 1
1
) ( aq q g = que se cumple si .

b) Con las funciones halladas el hamiltoniano tiene la forma
2 2 1 1
2
2
2
1
q p q p bq aq H + + =
que, salvo signos, es simtrica en las variables. De este modo es directo proponer una
nueva funcin
1
2 2
3
q
bq p
F

=
que es fcil comprobar que es constante del movimiento
| | ( ) ( ) 0 2
1 1
2 ,
2 2 2 2 2
1 1
2
1
2 2
2
1
2 2
1 3
= + + = +
|
|
.
|

\
|
= bq p bq p bq
q q
b
q
q
p bq
q
p bq
q F H
.
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
( )
3 2 1
F F F H = .

c) La aplicacin de la identidad de Jacobi para generar nuevas constantes slo produce
soluciones triviales:
| | 1 ,
2 1
= F F , | | , | | 1 ,
3 1
= F F
2
1
3 2
,
F
H
F F = .

d) La ecuacin una vez hecha la separacin de variables queda
E bq aq q
q
W
q
q
W
= +

2
2
2
1 2
2
2
1
1
1

y separando las ecuaciones por variables tenemos
1
2
1 1
1
1
=

aq q
q
W
y
2
2
2 2
2
2
= +

bq q
q
W

que tiene como soluciones directas
2
1 1 1 1
2
) ln( q
a
q W + = y
2
2 2 2 2
2
) ln( q
b
q + = W ,
de modo que la funcin generadora de la transformacin cannica buscada es
t t q
b
q q
a
q S
2 1
2
2 2 2
2
1 1 1
2
) ln(
2
) ln( + + =
y podemos encontrar las soluciones explicitas para las variables cannicas:
( ) t q
S
=

=
1
1
1
ln

y ( ) t q
S
=

=
2
2
2
ln

t
e e t q
1
) (
1

= y q
t
e e t

=
2
) (
2

y para las conjugadas:
t t
e ae e e aq
q q
S
p
1 1
1 1
1
1
1
1

+ = + =

=

y
t t
e be e e bq
q q
S
p

+ = + =

=
2 2
2 2
2
2
2
2

.
Las constantes son cuyas frmulas en funcin de las variables se puede
despejar de las ecuaciones anteriores.
2 1 2 1
, , ,
48
-------------------------------------------

21.- Sean y funciones de las coordenadas, q , de los momentos, , y
del tiempo. Muestre que se cumplen las siguientes relaciones:
f f f , ,
2 1
g
k k
p
a) | | | | | g f g f g f f , , ,
2 1 2 1
+ = + |
| b) | | | | | g f f g f f g f f , , ,
1 2 2 1 2 1
+ =
c) | |
(

+
(

t
g
f g
t
f
g f
t
, , ,
d) | |
k
k
p
f
q f

= ,
e) | |
k
k
q
f
p f

= ,
-------------------------------------------

22.- Supongamos un sistema en una dimensin con coordenadas q y p.
a) Demuestre que para la hamiltoniana del sistema la evolucin de
una funcin esta dada por
) , , ( t p q H
) , , ( t p q f
| |
t
f
H f
dt
df

+ = ,
b) Encuentre las condiciones que han de cumplir las constantes a,b y c para que
sea cannica la transformacin
p q a Q + =
2
, . (1)
4
cp bq P + =
c) Para el sistema dado por la hamiltoniana
2 2 4 2
4 4 p pq q q H + + + =
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): y Q , cmo calcularamos la transformacin desde
las variables originales a las finales, ?. Ser cannica?. En caso
de conocer una transformacin que simplifique la hamiltoniana H apunte el
procedimiento.
( ) t P Q P , ,
~
( t P Q , ,
~
)
) ( ) t p q P , ,
~
( t p q Q , ,
~

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:
J MJM
T
=
y para este sistema tenemos
|
|
.
|

\
|
=
|
|
|
|
.
|

\
|

=
3
4
1 2
p b
aq
p
P
q
P
p
Q
q
Q
M ,
|
|
.
|

\
|

=
|
|
.
|

\
|

+
=
0 1
1 0
0 8
8 0
3
3
bcp b
bcp b
MJM
T
es decir, c y a sin determinar. 1 , 0 = = b

49
c) Como la transformacin es independiente del tiempo la nueva hamiltoniana se
obtiene de la substitucin de las nuevas variables, q y en la antigua
hamiltoniana:
P =
2
aP Q p =
2 2 2 2 4
) 2 4 ( ) 4 4 ( ' Q P a Q P a a P H H + + + + = =
en la que tomando nos lleva a 2 = a
2 2
' Q P H + = , formalmente la del oscilador armnico.
Para esta hamiltoniana la transformacin )
~
cos(
~
2 Q P P = )
~
(
~
2 Q sen P = Q , nos lleva
a . Sencillamente podemos igualar las expresiones de P y Q en ambas
coordenadas para obtener:
P H 2 '
~
=
q Q P P = = )
~
cos(
~
2 y p q Q sen P + = =
2
2 )
~
(
~
2 Q
y de aqu despejar para cualquier conjunto:
Q P Q sen P p
Q P q
~
cos
~
4
~ ~
2
,
~
cos
~
2
2
=
=
o
2
) 2 ( ~
2
~
2 2 2
2
1
p q q
P
p q
q
tn Q
+ +
=
|
|
.
|

\
|
+

=


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 y
junto con su funcin generatriz .
( ) p q,
( p q P , )
)
)
)
)
( ) t Q q F , ,
1
a) En general, cree usted que pueden obtenerse todas las funciones
generatrices , y 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?.
( ) t P q F , ,
2
( ) t Q p F , ,
3
( t P p F , ,
4
b) Existe una nica funcin generatriz del tipo asociada al cambio
de coordenadas y ? En caso de poder disponer de ms de una
funcin generatriz obtenemos siempre la misma hamiltoniana?. D
tambin ejemplo/s sencillo/s.
( t Q q F , ,
1
( ) p q Q ,
q F ,
1
( p q P ,
) t , ( Q

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
y , 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: . Esta genera el cambio
( ) t p q , ,
( t p q P , ,
( ) qQ t Q q F = , ,
1
Q
q
F
p =

=
1
, q
Q
F
P =

=
1
, para el que no es posible expresar p como funcin de q y
P, ni q como funcin de p y Q. Por tanto existirn slo las funciones y
.
( ) t Q q F , ,
1
( ) t P p F , ,
4
Sin embargo s hay casos en los que es posible, un ejemplo simple sera:
2
2
2
2
Qq P
q Q p
=
=
, generada por la funcin . Para este caso tenemos todas las
combinaciones:
2 2
1
Q q F =
50
2
3
2
2
2
q
p
Q
q
p
p
=
=
,
3
2
2
4
2
2
Q
p
P
Q
p
q
=
=
,
3
1
2
3
1
2
2
2
|
|
.
|

\
|
=
|
|
.
|

\
|
=
P
p
Q
p
P
q
y podremos calcular todas las funciones
generatrices:
2
2
2
4q
P
F = ,
2
2
3
4Q
p
F = ,
3
2
2
5
4
2
|
|
.
|

\
|
=
P
p
F .
Estas funciones generatrices, obtenidas unas de otras a travs de ,
y y del oportuno cambio de coordenadas (ver seccin
9-1 del Goldstein) siempre generan la misma hamiltoniana.
QP F F =
2 1
qp F F =
3 1
QP qp F F + =
4 1

b) No, no es nica. Dado que la relacin entre el cambio de coordenadas y la
funcin generatriz viene dado por ecuaciones del tipo:
q
F
p

=
1

Q
F
P

=
1
siempre
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 y , generan las mismas ecuaciones
y , pero tiene hamiltonianas diferentes.
( ) qQ t Q q F = , ,
1
q
( )
2
1
, , ' t qQ t Q q F + =
Q p = P =
--------------------------------------------

24.- Sean un sistema hamiltoniano ) (
2
1
) , (
2 2
q p q p H + =
( , 0 ) 0 ( t p t q = = =
) , (
0
p t g
, la variable dinmica
y las condiciones iniciales . Calcule la
evolucin temporal de la variable, siguiendo los siguientes procedimientos
y comente brevemente las diferencias:
p q q p g = ) , (
0
) 0 p =
a) Integracin directa de las ecuaciones de Hamilton.
b) A partir del formalismo de Poisson obtenga la ecuacin diferencial de
segundo orden de . ) , (
0
p t g
c) Encuentre una transformacin cannica cualquiera tal que la nueva variable
sea Q . Calcule el nuevo hamiltoniano y obtenga a partir de
las nuevas ecuaciones de Hamilton.
) , ( q p g = ) , (
0
p t g
NOTA: las siguientes frmulas pueden serle de utilidad:
Q
F
P
q
F
p t Q q F F

= =
1 1
1 1
, ), , , (
P
F
Q
q
F
p t P q F F

= =
2 2
2 2
, ), , , (
Q
F
P
p
F
q t Q p F F

= =
3 3
3 3
, ), , , (
P
F
Q
p
F
q t P p F F

= =
4 4
4 4
, ), , , (

51
a)
q
q
H
p
p
p
H
q
=

=
=

=
&
&
, y por tanto , que para las
condiciones iniciales dadas: , tenemos .
q p q = = & & &
(
(
t p
t q
t B t A t p
t B t A t q
sin cos ) (
cos sin ) (
=
+ =
0
0
p
q t q ) (
0
=
) 0
) 0
A
B
= = =
= = =
t sin
t
p
t t p t q t p t g 2 sin
2
cos sin ) ( ) ( ) (
2
0 2
0
= = =
b) | |
2 2
, q p
q
H
p
g
p
H
q
g
H g
dt
dg
g + =

= = = & y
| | g q p qp
q
H
p
g
p
H
q
g
H g
dt
g d
g 4 ) ( 2 2 , = =

= = =
& &
&
&
& &
) 2 cos( ) 2 sin( ) ( t B t A t g + = , con las condiciones iniciales , , nos
lleva a
0 ) 0 ( = = t g
2
0
) ( p t g = &
t
p
t g 2 sin
2
) (
2
0
= .
c) Buscamos una transformacin cannica desde el sistema de coordenadas p, q a otro
P, Q donde, por ejemplo, Q . Si despejamos pq g = =
p
Q
= q , podemos considerar la
funcin generatriz tal que ) Q , (
3
p F

Q
F
P
p
Q
p
F
q

=
=

=
3
3
, ) ( ' ln Q f p P + = ( ln
3
Q f p Q F + = )
siguiendo el enunciado del problema podemos tomar el caso ms simple :

0 ) ( = Q f
P P
Qe q e p

= = ,
y el nuevo hamiltoniano ser
) (
2
1
2 2 2 P P
e e Q H + =


Las nuevas ecuaciones del movimiento sern:
P
P P
Qe
Q
H
P
e e Q
P
H
Q
2
2 2 2

=
+ =

=
&
&
Qe P e Q Q
P P
& & &
2 2 2
2 2 + =

Q
& &
y para la ecuacin de ser
, dnde por substitucin de las anteriores
ecuaciones obtenemos , es
decir la misma ecuacin que en el apartado anterior.
) ( ) ( t Q t g =
Q e
P P
2
2 2
+

P e Q
P
& &
2
2 +
e Q ( 2
2 2
=

Q e e Q Qe e
P P P P
4 ) ( )
2 2 2 2
= + +

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

25.- a.- Demustrese que si el hamiltoniano de un sistema puede expresarse como
la funcin es una constante de
movimiento.
) , , , , ), , ( (
2 2 1 1 s s
p q p q p q f H H K = ) , (
1 1
p q f
52
b.- Utilcese esto para encontrar una constante de movimiento para una partcula
en dos dimensiones bajo el potencial
3
) (
r
r a
r
r r
r
= V (siendo un vector constante
dado).
a
r

a) Para demostrar que 0 =
dt
df
utilizaremos el formalismo de Poisson:
| | 0 ,
1 1 1 1 1 1 1 1 1
=

= =

=
q
f
f
H
p
f
p
f
f
H
q
f
q
H
p
f
p
H
q
f
q
H
p
f
p
H
q
f
H f f
i i
s
i i i
&

b) El hamiltoniano de una particula sometida al potencial del problema la podemos
escribir en coordenadas polares como:
3 2
2 2
2 2 r
r a
m r
p
m
p
H
r
r r

+ + =

, si elegimos el eje coincidiendo con el vector podemos
escribir
x
r
a
r
m r
ma p
m
p
r
r a
m r
p
m
p
H
r r
2
2 2
3 2
2 2
2
cos 2
2
cos
2 2


+
=

+ + = + de modo que podemos

escribir que
m
f
m
p
p f p r H
r
r
2
2
) (
2
)) , ( , , (

+ = , (

p f
r
p
2
,
, con ,
constante del movimiento.
= )

cos 2
2
+ p ma



53