Mecnica Terica

Tema: Transformaciones Cannicas

Mayo 2009 Contactar: telegama@gmail.com

Una transformacin cannica es un cambio de las coordenadas generalizadas tal que dan lugar a
un nuevo Hamiltoniano (Kamiltoniano)

H(q,p; t) K(Q,P; t)

Las nuevas coordenadas se definen en funcin de las antiguas, es decir:
( )
( ) t p q P P
t p q Q Q
i
i
, ,
, ,
=
=

[1]
No cualquier cambio de coordenadas es cannico. La transformacin cambia la forma del
Hamiltoniano pero ha de preservar las ecuaciones de Hamilton, o sea:
Q
K
P
c
c
=

;
P
K
Q
c
c
=

[2]

*Si la transformacin no incluye la coordenada temporal t, se le denomina transformacin cannica restringida. Aqu
se tratarn este tipo.

Para verificar que la transformacin es cannica, se emplean las denominadas condiciones
directas, que consiste en reconstruir las ecuaciones de Hamilton para al Hamiltoniano original con
las nuevas coordenadas, esto es:
i i i
P
p
p
H
P
q
q
H
P
H
c
c
c
c
+
c
c
c
c
=
c
c

[3]
q
H
p
Q
p
H
q
Q
p
p
Q
q
q
Q
Q
i
c
c
c
c

c
c
c
c
=
c
c
+
c
c
=

[4]

Luego hay que igualar [3] con [4] (ecs. Hamilton). De igualarlas salen las condiciones directas:

i
j
j
i
P
p
q
Q
c
c
=
c
c

[5]
i
j
j
P
q
p
Qi
c
c
=
c
c

[6]
De la misma manera, a partir de la ecuacin de Hamilton
i
i
P
Q
H

=
c
c
, obtenemos las otras dos
condiciones:
i
j
j
i
Q
p
q
P
c
c
=
c
c

[7]
i
j
j
Q
q
p
Pi
c
c
=
c
c

[8]

A veces para garantizar que la transformacin es cannica, se recurre a una funcin generatriz de
la transformacin G que ha de ser funcin de una coordenada generalizada antigua (q o p), una
coordenada generalizada nueva (Q o P) y opcionalmente, del tiempo. Esta funcin satisface la
siguiente igualdad (fruto del teorema de Liouville):

| |
dt
dG
t P Q K Q P t p q H q p + = ) , , ( ) , , (


[9]

En general, el factor para una transf. Cannica se iguala a 1. En caso contrario, se trata de una
transformacin cannica extendida.
A partir de combinaciones de coordenadas antiguas y nuevas, existen 4 tipos fundamentales de
funciones generatrices:

Funcin G Derivadas
) , , (
1
t Q q G G =
q
G
p
c
c
=
1
y
Q
G
P
c
c
=
1

( ) QP t P q G G = , ,
2

q
G
p
c
c
=
2
y
P
G
Q
c
c
=
1

( ) qp t Q p G G + = , ,
3

p
F
q
c
c
=
3
y
Q
G
P
c
c
=
3

( ) QP qp t P p G G + = , ,
4

p
G
q
c
c
=
4
y
P
G
Q
c
c
=
4


Por ejemplo, si la funcin generatriz es del primer tipo, la ecuacin [9] resulta en:

( ) Q
Q
G
q
q
G
t
G
t P Q K Q P t p q H q p

c
c
+
c
c
+
c
c
+ =
1 1 1
, , ) , , (
[10]



Para que se cumpla [9] se han de cumplir la siguientes relaciones:

q
G
p
c
c
=
1
;
Q
G
P
c
c
=
1
;
t
G
H K
c
c
+ =
1

En la tabla aparecen las relaciones que permiten encontrar las diferentes funciones generatrices a
partir de las coordenadas nuevas y viceversa.

Algunos ejemplos de transformaciones cannicas podran ser:

1) La transformacin simple G(q,Q,t) =qQ
En este caso, Q
q
G
p =
c
c
=
1
y q
Q
G
P =
c
c
=
1
y con K=H

---
2) Mostrar si es cannica la transformacin
) cot(
sin
ln
p q P
q
p
Q
=
|
|
.
|

\
|
=

Si lo es, entonces la ecuacin de Hamilton
Q
H
P
c
c
=

ha de cumplirse tambin para las nuevas

coordenadas. As, por un lado tenemos que

p
p
P
q
q
P
P

c
c
+
c
c
=
[11]

Y por el otro,
|
|
.
|

\
|
c
c
c
c
+
c
c
c
c
=
c
c

Q
p
p
K
Q
q
q
K
Q
K
[12]

La matriz jacobiana de la transformacin sera

( )
( )
|
|
.
|

\
|

=
|
|
|
|
.
|

\
|
c
c
c
c
c
c
c
c
=
c
c
=
) ( cosec ) cot(
) cot(
1
,
,
2
p q p
p
q
p
P
q
P
p
Q
q
Q
p q
P Q
M
En este caso, |M|=1 . Esto quiere decir que la transformacin est bien definida (el sistema es
compatible ya que |M| no es cero)

La matriz inversa de esta transformacin vendr dada por
( )
( )
|
|
.
|

\
|


=
|
|
|
|
.
|

\
|
c
c
c
c
c
c
c
c
=
c
c
=

q
p
p p q
P
p
Q
p
P
q
Q
q
P Q
p q
M
1
) cot(
) cot( ) ( cosec
,
,
2
1


Esto nos ayuda a calcular [11] y [12] respectivamente

q
H
p q
p
H
p p p q q p P
c
c
+
c
c
= = ) ( cosec ) cot( ) ( cosec ) cot(
2 2

[13]
|
|
.
|

\
|

c
c
+
c
c
=
c
c
) cot( ) ( cosec
2
p
p
K
p q
q
K
Q
K

[14]

Si igualamos las expresiones [13] y [14] e identificando trminos,
tenemos que H =K , y por lo tanto la transformacin es cannica.

Cul sera la funcin generatriz asociada?

Partimos de que se trata de una transformacin cannica restringida (no depende del tiempo y
0 =
c
c
t
G
), as que K =H


Siendo esto as, tendremos que el diferencial total de G es

] 15 [ dp
p
G
dq
q
G
dG
c
c
+
c
c
=

Por otro lado, podemos desarrollar [9] teniendo en cuenta que aqu K =H y nuevamente que
0 =
c
c
t
G


dt
dG
K Q P H q p + =



dt
dG
K H Q P q p = +



dt
dG
dt
dQ
P
dt
dq
p = (dividimos entre 1/dt)

|
|
.
|

\
|
c
c
+
c
c
dq
p
Q
dq
q
Q
P pdq =dG
(agrupando trminos) dp
p
G
dq
q
G
dp
p
Q
P dq
q
Q
P p
c
c
+
c
c
=
|
|
.
|

\
|
c
c

|
|
.
|

\
|
c
c
[16]

El segundo trmino de [16] es lo mismo que [15] e identificando trminos entre s:
( )
( ) pdp q dq p p
dq p p q dq
q
p q p dp
p
Q
P dq
q
Q
P p dG
2
cot cot
) cot( ) cot(
1
) cot(
+ =
=
|
|
.
|

\
|
|
|
.
|

\
|
=
|
|
.
|

\
|
c
c

|
|
.
|

\
|
c
c
=

O sea
= dG ( ) pdp q dq p p
2
cot cot + [17]

Identificando trminos con la diferencial total, al final tenemos que
p p
q
G
cot + =
c
c
; p q
p
G
2
cot =
c
c


A partir de aqu podemos hallar una expresin para G a partir de integrandos estos dos trminos, o
sea (pg. Siguiente >)


) ( ) cot ( cot cot p f p p q p q pq G p p
q
G
+ + = + = + =
c
c

Anlogamente
( )
* 2
cot cot p p q G p q
p
G
+ = =
c
c

As pues, finalmente tenemos que
( ) p p q p q G cot ) , ( + =




__
* Ya que
}
= x x xdx cot cot
2