You are on page 1of 49

Contenido: Tema 08

8. Transformaciones cannicas
8.1 Definicin de transformaciones cannicas y funcin generatriz
8.2 Enfoque simplctico y transformaciones infinitesimales
8.3 Corchetes de Poisson y de Lagrange e invariantes cannicos
8.4 Teoremas de Liouville y Noether

1
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

1/49

Contenido: Tema 08

8. Transformaciones cannicas
8.1 Definicin de transformaciones cannicas y funcin generatriz
8.2 Enfoque simplctico y transformaciones infinitesimales
8.3 Corchetes de Poisson y de Lagrange e invariantes cannicos
8.4 Teoremas de Liouville y Noether

2
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

2/49

Transformaciones cannicas y funcin generatriz


Motivacin

Consideremos e problema en el cual el Hamiltoniano es una cte. de


movimiento y donde todas las coordenadas qi son cclicas:
pi = i = cte.,
por tanto, el Hamiltoniano se puede expresar como:
H = H(1 , 2 , . . . , n ).
En consecuencia, las ecs. cannicas de Hamilton vendrn dadas como,
pi =

H
= 0,
qi

qi =

H
= i
i

en donde:
i = i (1 , 2 , . . . , n ) = cte. qi = i t + i
lo cual representa la solucin del problema.
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

i = cte.
3

/49

3/49

Transformaciones cannicas y funcin generatriz


Transformaciones puntuales

El objetivo de transformar el sistema de coordenadas en que trabajamos


(en un problema en particular) es simplificar la expresin y solucin
del mismo,
Qi = Qi (q, t),
lo anterior se conoce como una transformacin puntual en el espacio
de configuracin.
En el formalismo Hamiltoniano, donde tenemos 2n qs y ps independientes, necesitamos,
Qi = Qi (q, p, t),

Pi = Pi (q, p, t),

siendo ahora la tranformacin puntual definida en el espacio fase.


Adems, el set (Q, P ) deben ser coordenadas cannicas
K
,
Q i =
Pi

K
Pi =
.
Qi

en donde K = K(Q, P, t) representa al Hamiltoniano transformado.4


Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

4/49

Transformaciones cannicas y funcin generatriz


Transformaciones cannicas

Para que las (Q, P ) sean consideradas coordenadas cannicas, deben


cumplir con el principio modificado de Hamilton,

Z t2 

Pi Q i K(Q, P, t) dt = 0

t1

siendo que las coordenadas originales (q, p) tambin cumplen con el


principio,
Z
t2

(pi qi H(q, p, t)) dt = 0.

t1

Para que el principio de Hamilton modificado se cumpla en ambos


esquemas, los integrandos deben ser conectados mediante la relacin,
pi qi H = Pi Q i K +

dF
, F = F (q, p, t), F = F (Q, P, t).1
dt

conocida como tranformacin cannica y F la funcin generatriz.


1

o una mezcla de las coordenadas de los espacios fase.

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

5/49

Transformaciones cannicas y funcin generatriz


Transformaciones cannicas

La funcin de F es actuar como un link entre los sistemas (q, p) y


(Q, P ), por tanto, analizemos cuando:
F = F1 (q, Q, t).
As, aplicando la transf. cannica con esta funcin generatriz,
dF
,
dt
F1
F1 F1
qi +
= Pi Q i K +
+
Qi ,
t
qi
Qi






F1
F1
F1
0 =
pi +
qi + Pi +
Qi + H K +
,
qi
Qi
t

pi qi H = Pi Q i K +

como las coords. qi y Qi son independientes


pi =
2

F1
F1
F1
, Pi =
, K=H+
.
qi
Qi
t

debido a la definicin de la funcin generatriz F = F1 (q, Q, t).

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

6/49

Transformaciones cannicas y funcin generatriz


Transformaciones cannicas

Se puede dar el caso en que pi no pueda ser expresada como pi (q, Q, t),
si no ms bien como pi (q, P, t), por tanto necesitamos una funcin
generatriz F = F (q, P, t),
F = F2 (q, P, t) Qi Pi .
Por tanto, sustituyendo lo anterior en la transformacin cannica,
dF
pi qi H = Pi Q i K +
dt
dF
2
= Pi Q i K +
Q i Pi Qi Pi
dt
F2 F2
F2
= K +
+
qi +
Pi Qi Pi
t
qi
Pi






F2
F2
F2
0 =
pi +
qi + Qi +
Pi + H K +
qi
Pi
t
pi =
Omar De la Pea-Seaman | IFUAP

F2
F2
F2
.
, Qi =
, K=H+
qi
Pi
t
Mecnica Clsica M.C. Fsica

/49

7/49

Transformaciones cannicas y funcin generatriz


Tipos de transformaciones cannicas

En general, se cuentan con dos transformaciones adicionales,


F = F (p, Q, t)

&

F = F (p, P, t),

que junto a las dos iniciales, forman el set de transformaciones cannicas bsicas:

Transformaciones cannicas bsicas


Funcin generatriz
F = F1 (q, Q, t)
F = F2 (q, P, t) Qi Pi
F = F3 (p, Q, t) + qi pi
F = F4 (p, P, t) + qi pi Qi Pi

Derivativas
pi = F1 /qi
Pi = F1 /Qi
pi = F2 /qi
Qi = F2 /Pi
qi = F3 /pi Pi = F3 /Qi
qi = F4 /pi Qi = F4 /Pi

8
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

8/49

Transformaciones cannicas y funcin generatriz


Tipos de transformaciones cannicas

Finalmente, cabe mencionar que una funcin generatriz no tiene por


que ser una de las bsicas anteriores para todos los grados de libertad
del sistema.
Por ejemplo,
F 0 (q1 , p2 , P1 , Q2 , t),
en este caso se tiene que,
F = F 0 (q1 , p2 , P1 , Q2 , t) Q1 P1 + q2 p2 ,
dando como resultado las siguientes relaciones para las ecuaciones de
transformacin,
F 0
,
q1
F 0
q2 =
,
p2
p1 =

F 0
,
P1
F 0
P2 =
,
Q2
Q1 =

K=H+

F 0
.
t
9

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

9/49

Transformaciones cannicas y funcin generatriz


Ejemplo: oscilador armnico

Consideremos el oscilador armnico en una dimensin,


H=

p2
kq 2
1 2
k
+
=
(p + m2 2 q 2 ),
= 2.
2m
2
2m
m

si fuera posible encontrar una transformacin cannica de la siguiente


forma,
f (P )
p = f (P )Cos Q, q =
Sen Q,
m
podramos expresar al Hamiltoniano como:
K=H=


f 2 (P ) 
f 2 (P )
Cos2 Q + Sen2 Q =
,
2m
2m

de tal manera que Q sea una coordenada cclica en el nuevo sistema,


resolviendo el problema de manera ms sencilla.
10
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

10/49

Transformaciones cannicas y funcin generatriz


Ejemplo: oscilador armnico (cnt.)

Proponiendo la siguiente funcin generatriz para obtener tal transf.,


mq 2
Ctg Q,
2
donde las ecuaciones de transformacin vienen dadas como,
F1 =

p=

F1
= mqCtg Q,
q

P =

F1
mq 2
=
,
Q
2Sen2 Q

resolviendo para q(P, Q) y p(P, Q),


2P 1/2
q=
Sen Q, p = (2P m)1/2 Cos Q,
m
encontramos la expresin para f (P ), de la propuesta original


f (P ) = (2P m)1/2 ,
lo cual nos arroja como Hamiltoniano,
K = H = f 2 (P )/2m = P.
11
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

11/49

Transformaciones cannicas y funcin generatriz


Ejemplo: oscilador armnico (cnt.)

Del Hamiltoniano H = P en el sistema (P, Q) observamos:


Q es una coordenada cclica,
P es una constante de mov.: P = E/.

Hallando la ecuacin de movimiento 3 ,


H
= , Q = t +
Q =
P
Con la ecuacin anterior podemos hallar las soluciones para q y p:


q =

2P
m

1/2

Sen Q =

2E
m 2

1/2

Sen (t + ),

p = (2P m)1/2 Cos Q = (2Em)1/2 Cos (t + ).

la segunda ecuacin es P = H/Q = 0

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

12

/49

12/49

Transformaciones cannicas y funcin generatriz


Ejemplo: oscilador armnico (cnt.)

Graficando en ambos sistemas (q, p) y (Q, P ),

p = (2Em)1/2 Cos (t + )

q=

2E
m 2

1/2

Sen (t + )

q2
2E/m 2

p2
2mE

=1

P = E/

Q = t +

P = E/
13

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

13/49

Transformaciones cannicas y funcin generatriz


Esquema de solucin

14
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

14/49

Contenido: Tema 08

8. Transformaciones cannicas
8.1 Definicin de transformaciones cannicas y funcin generatriz
8.2 Enfoque simplctico y transformaciones infinitesimales
8.3 Corchetes de Poisson y de Lagrange e invariantes cannicos
8.4 Teoremas de Liouville y Noether

15
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

15/49

Enfoque simplctico y transformaciones infinitesimales


Formulacin simplctica o matricial

Otro mtodo para estudiar las transformaciones cannicas distinto al


de funciones generatrices es la formulacin simplctica o matricial.
Consideremos una transformacin cannica restringida,
Qi = Qi (q, p),

Pi = Pi (q, p), K = H.

Ahora, calculando la derivada temporal de Qi en las ecs. anteriores,


Qi
Qi
Qi H
Qi H
Q i =
qj +
pj =

.
qj
pj
qj pj
pj qj
Por otro lado, si invertimos las transformaciones puntuales previamente expuestas:
qj = qj (Q, P ),

pj = pj (Q, P ),

podemos considerar H(q, p) = H(Q, P ), por tanto, calculamos:


H
H pj
H qj
=
+
,
Pi
pj Pi
qj Pi
4

es decir, que no depende del tiempo.

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

16

/49

16/49

Enfoque simplctico y transformaciones infinitesimales


Formulacin simplctica o matricial

Comparando los resultados de Q i y H/Pi , tenemos que si se cumple


Qi
qj

=
q,p

pj
Pi

Qi
pj

,
Q,P

qj
Pi

=
q,p


Q,P

H
Q i =
.
Pi

es decir, la transformacin es cannica.


Realizando un procedimiento similar en Pi ,
Pi =
H
Qi

H
Pi =

Qi

Pi
Pi
Pi H
Pi H
qj +
pj =

,
qj
pj
qj pj
pj qj
H pj
H qj
+
pj Qi
qj Qi
Pi
qj

!
q,p

pj
=
Qi


,
Q,P

Pi
pj

=
q,p

qj
Qi


Q,P
17

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

17/49

Enfoque simplctico y transformaciones infinitesimales


Formulacin simplctica o matricial

Para expresar lo anterior en forma matricial, recordemos que contiene


los 2n elementos qj , pj y las ecs. de Hamilton vienen dadas como
"

H
0 1
= J
, J=
.
1 0

De manera similar podemos expresar un vector de 2n entradas Qi , Pi


para una transformacin caonica,
= (),
aplicando ahora las derivadas temporales para hallar las ecs. de
movimiento para Qi y Pi ,
i
i =
j , i, j = 1, 2, . . . , 2n.
j
expresando de forma matricial lo anterior,
H
i
= M = MJ
, Mij =
.

j
18
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

18/49

Enfoque simplctico y transformaciones infinitesimales


Formulacin simplctica o matricial

Ahora, siguiendo con el procedimiento, podemos considerar H() =


H() gracias a la transformacin inversa, por tanto
H
H j
=
,
i
j i

H
H ,
=M

relacionando el resultado anterior con el de ,


H
H .
= MJ
= MJM

Por otro lado, la transformacin cannica dada por = () mantiene


H como el nuevo Hamiltoniano, por tanto:
H
H
= J
, = J

lo cual comparado con el resultado anterior nos arroja:


= J,
MJM
tal que la transformacin = () sea cannica.
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

19

/49

19/49

Enfoque simplctico y transformaciones infinitesimales


Formulacin simplctica: propiedades y ejemplo

Algunas de las propiedades de la condicin simplctica para una transformacin cannica son,
= J MJ = JM
1 JM = M
1 J
MJM

MJM
= J,

en donde M es conocida como la matriz simplctica.


Como ejemplo analicemos el caso de la funcin generatriz F = F2 (q1 , P1 )
Q1 P1 + F1 (q2 , Q2 ), donde F2 (q1 , P1 ) = q1 P1 y F1 (q2 , Q2 ) = q2 Q2 ,
dF
pi qi H = Pi Q i K +
,
dt
F
F
F
F
F
pi qi H + K + Pi Q i =
dt +
pi +
qi +
Pi +
Qi
t
pi
qi
Pi
Qi
p1 q1 + p2 q2 H = P1 Q 1 P2 Q 2 K P1 Q 1 Q1 P1 + . . .
F2
F1
F2
F1
... +
P1 +
Q2
q1 +
q2 +
q1
q2
P1
Q2
5 2

J = J.

Omar De la Pea-Seaman | IFUAP

20
Mecnica Clsica M.C. Fsica

/49

20/49

Enfoque simplctico y transformaciones infinitesimales


Formulacin simplctica: propiedades y ejemplo

Relacionando trmino a trmino tenemos,


p1 q1 + p2 q2 H = P1 Q 1 + P2 Q 2 K P1 Q 1 Q1 P1 + . . .
F2
F1
F2
F1
q1 +
q2 +
P1 +
Q2
q1
q2
P1
Q2
F2
F1
= P1 ,
= Q2 ,
p1 =
p2 =
q1
q2
F1
F2
P2 =
= q2 ,
Q1 =
= q1 ,
Q2
P1
en donde F2 (q1 , P1 ) = q1 P1 y F1 (q2 , Q2 ) = q2 Q2 .
... +

Ahora, expresando lo obtenido anteriormente en trminos de la formulacin simplctica tenemos,

q1
q

= 2 ,
p1
p2
Omar De la Pea-Seaman | IFUAP

Q1
Q

= 2 ,
P1
P2

Mecnica Clsica M.C. Fsica

21

/49

21/49

Enfoque simplctico y transformaciones infinitesimales


Formulacin simplctica: propiedades y ejemplo

Por tanto, la transformacin = M queda como


Q 1
1 0
Q 0 0
2
=
P1 0 0
0 1
P2

0
0
1
0

0 q1
q1

1 q2 p2

0 p1 p1
0 p2
q2

en donde se ha usado el res. de la transf. obtenida anteriormente. 6


Ahora, obteniendo las ecs. de Hamilton para las variables transformadas, = JH/ (independiente de la transformacin F )
Q 1
0
0
Q 0
0
2
=
P1 1 0
0 1
P2

1
0
0
0

0 P1

1
P 2

0 Q1
0
Q 2

donde Pi = H/i para 1 y 2 ; y Q i = H/i para 3 y 4 .


6

el par 1 sin cambios y en el 2 intercambiados con signo opuesto.

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

22

/49

22/49

Enfoque simplctico y transformaciones infinitesimales


Transformaciones infinitesimales

Para el caso de transformaciones cannicas = (, t) se sigue man = J, 7 aunque el procedimiento anterior para
teniendo que MJM
demostrarlo no.
Por ello, podemos implicar
if (t), then (t0 ) (t0 ) (t)
es tambin una transformacin cannica, siendo t0 una constante fija.
Por tanto, si podemos demostrar que (t0 ) (t) es una transf.
cannica, entonces llegaremos a que (t) tambin lo es.
Para ello introducimos el concepto de transformacin cannica infinitesimal, en donde solamente trminos de primer rden de los infinitesimales son retenidos en el clculo,
Qi = qi + qi , Pi = pi + pi , = + .
7

conocida como condicin simplctica.

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

23

/49

23/49

Enfoque simplctico y transformaciones infinitesimales


Transformaciones infinitesimales

En el formalismo de las funciones generatrices, una transf. cannica


infinitesimal podria ser expresada como
F2 = qi Pi + G(q, P, t),
obteniendo las funciones de transformacin para F2 ,
F2
G
= Pj + 
qj
qj
F2
G
Qj =
= qj + 
Pj
Pj
pj =

G
qj
G
qj = Qj qj = 
Pj
pj = Pj pj = 

En la ec. para qj tenemos que es lineal en , adems de que P


y p difieren por un infinitesimal, a primer orden podemos hacer
Pj p j ,
G
G
qj = 
, = J
.
pj

en donde G(q, p) es la funcin generatriz de la transformacin cannica


infinitesimal.
24
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

24/49

Enfoque simplctico y transformaciones infinitesimales


Transformaciones infinitesimales

Para demostrar que la transf. infinitesimal = + es cannica,


calculemos el Jacobiano,
M=

()
2G

=1+
= 1 + J

= J

en donde la segunda derivada representa una matriz cuadrada simtrica,


2G

=
i,j

2G
.
i j

= J, M
viene dada como
Debido a J
2
= 1  G J.
M

25
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

25/49

Enfoque simplctico y transformaciones infinitesimales


Transformaciones infinitesimales

Calculando la condicin simplctica,


!

=
MJM

2G
1 + J

2G
J 1
J

2G
1 + J

2G
J J
J

= J J

2G
2G
J + J
J + O(2)

= J.
MJM
Por tanto, la condicin simplctica se mantiene para cualquier transformacin cannica, ya sea que involucre al tiempo o no.

26
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

26/49

Contenido: Tema 08

8. Transformaciones cannicas
8.1 Definicin de transformaciones cannicas y funcin generatriz
8.2 Enfoque simplctico y transformaciones infinitesimales
8.3 Corchetes de Poisson y de Lagrange e invariantes cannicos
8.4 Teoremas de Liouville y Noether

27
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

27/49

Corchetes de Poisson y de Lagrange e invariantes cannicos


Definicin y fundamentos

Consideremos a f = f (p, q, t), su derivada total viene dada como


df
=
dt
df
=
dt
en donde hemos

f
f
f
+
qk +
pk ,
t
qk
pk
f H
f H
f
f
+

+ [f, H]
=
t
qk pk
pk qk
t
definido al corchete de Poisson de f y H como
f H
f H
[f, H] =

,
qk pk
pk qk

para el caso de que f sea una cte de movimiento, 8 tenemos:


f
+ [f, H] = 0,
t
y si adems la cte. de movimiento cumple con f 6= f (t)
[f, H] = 0.
8

df /dt = 0

Omar De la Pea-Seaman | IFUAP

28
Mecnica Clsica M.C. Fsica

/49

28/49

Corchetes de Poisson y de Lagrange e invariantes cannicos


Propiedades

En general, para cualquiera dos cantidades f y g, el corchete de Poisson


se define como
f g
f g
[f, g] =

.
qk pk
pk qk
Algunas propiedades de los corchetes de Poisson son las siguientes,
[f, g] = [g, f ] ,
[f, c] = 0, c = cte.
[f1 + f2 , g] = [f1 , g] + [f2 , g] ,
[f1 f2 , g] = f1 [f2 , g] + f2 [f1 , g] ,

 


f
g
[f, g] =
, g + f,
.
t
t
t
Si f o g corresponde a pk o qk , entonces,
[f, qk ] =

f
,
pk

[f, pk ] =

f
.
qk
29

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

29/49

Corchetes de Poisson y de Lagrange e invariantes cannicos


Propiedades

De la propiedad anterior se sigue que,


[qj , qk ] = 0, [pj , pk ] = 0, [qj , pk ] = jk .
Adems, si consideramos que f sea una variable cannica y g = H,
[qk , H] = qk ,

[pk , H] = pk .

De igual manera describimos las relaciones de L = r p,


[Li , Lj ] = ijk Lk , 9 & [pi , Lj ] = ijk pk .
Otra propiedad importante es el teorema de Poisson,
df
dg
[f, g] = cte.
=
= 0. (f y g ctes. de movimiento)
dt
dt
Tambin tenemos a la conocida como identidad de Jacobi,
[f, [g, h]] + [g, [h, f ]] + [h, [f, g]] = 0,
9

en donde ijk es +1 si tenemos una permutacin cclica, 1 si es no-cclica y


0 si se tienen indices repetidos.
30
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

30/49

Corchetes de Poisson y de Lagrange e invariantes cannicos


Transfomaciones cannicas

Si tenemos una transformacin entre las coordenadas (q, p) y (Q, P )


tal que se mantenga
[f, g]q,p = [f, g]Q,P
f g
f g
[f, g]q,p =

qk pk
pk qk
f g
f g
y [f, g]Q,P =

Qk Pk
Pk Qk
entonces se tiene que la transformacin es cannica. En otras palabras,
el corchete de Poisson es invariante antes transf. cannicas.
Entonces, tenemos que para transformaciones cannicas se cumple,
[Qj , Qk ]q,p = 0, [Pj , Pk ]q,p = 0, [Qj , Pk ]q,p = jk .
31
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

31/49

Corchetes de Poisson y de Lagrange e invariantes cannicos


Corchetes de Lagrange

Otro invariante cannico es el llamado corchete de Lagrange, definido


como,
qk pk
pk qk
{f, g}q,p =

,
f g
f g
en donde si f y g corresponden a dos miembros del set (q, p),
{qj , qk }q,p = 0, {pj , pk }q,p = 0, {qj , pk }q,p = jk .
IMP: Muchas de las propiedades de los corchetes de Poisson se
cumplen tambin en los corchetes de Lagrange, excepto la identidad
de Jacobi. 10

10

[f, [g, h]] + [g, [h, f ]] + [h, [f, g]] = 0

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

32

/49

32/49

Contenido: Tema 08

8. Transformaciones cannicas
8.1 Definicin de transformaciones cannicas y funcin generatriz
8.2 Enfoque simplctico y transformaciones infinitesimales
8.3 Corchetes de Poisson y de Lagrange e invariantes cannicos
8.4 Teoremas de Liouville y Noether

33
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

33/49

Teoremas de Liouville y Noether


Fundamentos: espacio fase

En el formalismo Hamiltoniano el estado del movimiento de un sistema


mecnico con n grados de libertad est caracterizado por
n coordenadas generalizadas q1 , q2 , . . . , qn
n momentos conjugados p1 , p2 , . . . , pn ,

en donde las 2n coord. y momentos son independientes y representan


las coordenadas cannicas del sistema.
Las coord. y momentos generalizados forman espacios particulares,
(qi , pi ): espacio 2n-dimensional cartesiano llamado espacio fase.
qi : subespacio n-dimensional llamado espacio de configuracin.
pi : subespacio n-dimensional llamado espacio de momentos.

Para el caso del espacio fase, el curso del movimiento de un punto


(qi , pi ) es conocido como la trayectoria de fase dada por la representacin paramtrica qk (t), pk (t).
34
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

34/49

Teoremas de Liouville y Noether


Espacio fase del pndulo planar

Consideremos al pndulo planar


V =0
y

Construyendo el Hamiltoniano,
H = T +V
= ml2 2 /2 mglCos

= p2 /2ml2 mglCos = E.

Por tanto, la trayectoria de fase


p = p () es:

m
(x, y)
x

Si tomamos a como la coordenada generalizada,

p = 2ml2 (E + mglCos )

L = ml2 2 /2 + mglCos ,
p = L/ = ml2 ,

35
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

35/49

Teoremas de Liouville y Noether


Espacio fase del pndulo planar

Al ser E un parmetro en la trayectoria de fase tendremos dos casos:


q

p = 2ml2 (E + mglCos )
E < mgl: las trayectorias son curvas cerradas (tipo elipse) el

pndulo oscila el movimiento es de vibracin.


E > mgl: las trayectorias son curvas abiertas el pndulo con-

tina su movimiento el movimiento es de rotacin.


Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

36

/49

36/49

Teoremas de Liouville y Noether


Teorema de Liouville

Consideremos un gran nmero N de puntos independientes idnticos


entre s, son descritos por el mismo H, si todos los puntos a un
tiempo t1 son distribuidos en un espacio fase 2n-dimensional G1 con
volumen,
V = q1 q2 . . . qn p1 p2 . . . pn ,
entonces podemos definir la densidad como = N/V y donde con
el curso del movimiento G1 G2 de acuerdo a las ecs. de Hamilton,

37
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

37/49

Teoremas de Liouville y Noether


Teorema de Liouville

Teorema de Liouville
El volumen de una regin arbitraria del espacio fase se conserva si

los puntos de la frontera se mueven de acuerdo a las ecuaciones


cannicas.
La densidad de puntos en el espacio fase en la vecindad de un punto

que se mueve con el fluido es constante.


38
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

38/49

Teoremas de Liouville y Noether


Teorema de Liouville

El segundo enunciado del teorema de Liouville establece una ecuacin


de continuidad,
0 = (r) +

,
t

(qk ) +
(pk ) +
,
qk
pk
t

qk
=
+
qk +
+ ...
t
qk
qk

pk
... +
pk +
.
pk
pk
Por otro lado, de las ecuaciones de Hamilton tenemos:
=

qk
2H
pk
2H
=
&
=
qk
pk qk
pk
qk pk

Omar De la Pea-Seaman | IFUAP

qk
pk
+
= 0.
qk
pk
Mecnica Clsica M.C. Fsica

39

/49

39/49

Teoremas de Liouville y Noether


Teorema de Liouville

Sustituyendo en la ec. de continuidad, tenemos

qk

pk
+
qk +
+
pk +
t
qk
qk
pk
pk

+
qk +
pk
t
qk
pk

H
H
+

t
qk pk
pk qk

+ [, H]
t
d
dt

= 0,
= 0,
= 0,
= 0,
= 0,

por tanto,
= cte.
lo que demuestra el teorema de Liouville.
40
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

40/49

Teoremas de Liouville y Noether


Ejemplo: Densidad en el espacio fase para partculas en el campo gravitatorio

El sistema consiste de partculas de masa m en un campo gravitacional


constante, por tanto el Hamiltoniano viene dado como
p2
mq2
mgq, donde: T =
, V = mgq.
2m
2
donde por tener H 6= H(t) el sistema es conservativo: E = cte.
Construyendo las trayectorias de
fase p(q) de la ec. anterior,
H=E=

p=

2m(E + mgq).

Consideramos ahora que las


partculas en t = 0 tienen de
lmites:
p1 p p2 , E1 E E2 ,
en un rea F del espacio fase.
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

41

/49

41/49

Teoremas de Liouville y Noether


Ejemplo: Densidad en el espacio fase para partculas en el campo gravitatorio

Para un t > 0 el momento ser


p0 = p + mgt,
con un rea F 0 limitada por,
p1 + mgt p0 p2 + mgt,
(p2 /2m) E
con q =
.
mg
Calculando el rea F ,
Z p2

p1

Z q1

dp

q2

E2 E1
mg

Z [(p2 /2m)E1 ]/mg

Z p2

dq =

dp
p1

Z p2

dp =
p1

dq
[(p2 /2m)E2 ]/mg

E2 E1
(p2 p1 ).
mg
42

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

42/49

Teoremas de Liouville y Noether


Ejemplo: Densidad en el espacio fase para partculas en el campo gravitatorio

De manera anloga para el rea F 0 ,


F

Z p0
2
p01

dp

Z q0
1
q20

dq 0

E2 E1 0
(p2 p01 )
mg
pero p0 = p + mgt.
E2 E1
F0 =
(p2 p1 ).
mg
El resultado anterior no es otra cosa que el teorema de Liuoville:
=

F = F 0,
lo cual significa que la densidad del sistema de puntos en el espacio
fase permanece constante si (q, p) obedecen las ecuaciones cannicas.
43
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

43/49

Teoremas de Liouville y Noether


Teorema de Noether y transformaciones puntuales

La conexin entre invariancia y conservacin en sistemas coordenados


puede ocurrir en casos en donde no existan coordenadas cclicas o
ignorables.

Teorema de Noether
Si el Lagrangiano es invariante ante una familia de transformaciones,
entonces su sistema dinmico posee una constante de movimiento, la
cual puede ser hallada conociendo el Lagrangiano y la transformacin.
Las transformaciones que se mencionan son del tipo puntuales,

= q +  ,
= q .
t
en donde  representa a la familia de transformaciones.
Para demostrar el teorema, asumimos que L es invariante ante la familia
 de transformaciones,



L (q, q,
t) = L (q), (q), t .
t
44
/

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

49

44/49

Teoremas de Liouville y Noether


Teorema de Noether

Calculando la derivada respecto ,


L


=
=

L
L
+


L q 11
L
+

evaluando cuando  0, entonces 0 (q) = q, y


L
L
L
= L =
q +
q 12

 =0
q
q
pero recordemos,
d
dt
11
12

L
q =
q


d L
L
q +
q ,
dt q
q


= q +  , = q
q

Omar De la Pea-Seaman | IFUAP

45
Mecnica Clsica M.C. Fsica

/49

45/49

Teoremas de Liouville y Noether


Teorema de Noether

Sustituyendo en L,
L
L
q +
q
q
q




L
d L
d L
L =

q +
q
q dt q
dt q


d L
L =
q .
dt q
L =

en donde el primer trmino se anula ya que se trata de las ecs. de


Lagrange.
Invocando ahora la invariancia de L, tenemos:


d L
L
L = 0,
q = 0
q .
dt q
q
Lo anterior representa una constante de movimiento, demostrando
el teorema de Noether: a cada simetra de q descubierta en L corresponde una constante de movimiento.
46
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

46/49

Teoremas de Liouville y Noether


Teorema de Noether: Ejemplo

Consideremos el caso del potencial central en coordenadas cartesianas,



1 
L = m x 2 + y 2 + V (r), r2 = x2 + y 2 .
2

ahora, el Lagrangiano anterior es invariante ante rotaciones del tipo,


x0 = xCos  ySen , y 0 = xSen  + yCos .
Para hacer uso del teorema de Noether, calculamos las qs

13

x0
= xSen  yCos x0 = x = y,

y 0
= xCos  ySen y 0 = y = x,

L
L
L
q =
y +
x = m (xy y x)
.
q
y
x
lo cual representa el momento angular del sistema.
tenemos =

13

recordemos que /|=0

Omar De la Pea-Seaman | IFUAP

47
Mecnica Clsica M.C. Fsica

/49

47/49

Teoremas de Liouville y Noether


Teorema de Noether: generalizacin

Podemos generalizar el teorema de Noether, en el sentido de que L no


tiene por que ser estrictameente invariante ante una transformacin, si
no que puede cambiar como sigue,

L = L + (q,
t, ).
Ahora, como sabemos que una transformacin de norma
LL+

d
(q, t)
dt

deja las ecuaciones de movimiento y de Lagrange invariantes, el teorema


de Noether especifica que tal transformacin dar una constante de
movimiento.
En ese caso
L =

d
.
dt
48

Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

48/49

Teoremas de Liouville y Noether


Teorema de Noether: generalizacin

Combinando el resultado anterior con la variacin del Lagrangiano,


L
d L
d

q +
q dt q
dt


d L
q ,
dt q


d L
q ,
dt q

L =

d
=
dt
0 =

L
q ,
q


por tanto, llegamos a que la funcin


=

L
q
q

es una constante de movimiento.


Debido a lo anterior, el teorema de Noether establece que una cte. de
movimiento se asocia con toda invariancia de norma del Lagrangiano
bajo una familia de transformaciones dada.
49
Omar De la Pea-Seaman | IFUAP

Mecnica Clsica M.C. Fsica

/49

49/49

You might also like