Professional Documents
Culture Documents
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
/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
/49
2/49
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
i = cte.
3
/49
3/49
Pi = Pi (q, p, t),
K
Pi =
.
Qi
/49
4/49
Z t2
Pi Q i K(Q, P, t) dt = 0
t1
t1
dF
, F = F (q, p, t), F = F (Q, P, t).1
dt
/49
5/49
pi qi H = Pi Q i K +
F1
F1
F1
, Pi =
, K=H+
.
qi
Qi
t
/49
6/49
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
&
F = F (p, P, t),
que junto a las dos iniciales, forman el set de transformaciones cannicas bsicas:
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
/49
8/49
F 0
,
P1
F 0
P2 =
,
Q2
Q1 =
K=H+
F 0
.
t
9
/49
9/49
p2
kq 2
1 2
k
+
=
(p + m2 2 q 2 ),
= 2.
2m
2
2m
m
f 2 (P )
f 2 (P )
Cos2 Q + Sen2 Q =
,
2m
2m
/49
10/49
p=
F1
= mqCtg Q,
q
P =
F1
mq 2
=
,
Q
2Sen2 Q
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
/49
11/49
q =
2P
m
1/2
Sen Q =
2E
m 2
1/2
Sen (t + ),
12
/49
12/49
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
/49
13/49
14
Omar De la Pea-Seaman | IFUAP
/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
/49
15/49
Pi = Pi (q, p), K = H.
.
qj
pj
qj pj
pj qj
Por otro lado, si invertimos las transformaciones puntuales previamente expuestas:
qj = qj (Q, P ),
pj = pj (Q, P ),
16
/49
16/49
=
q,p
pj
Pi
Qi
pj
,
Q,P
qj
Pi
=
q,p
Q,P
H
Q i =
.
Pi
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
/49
17/49
H
0 1
= J
, J=
.
1 0
j
18
Omar De la Pea-Seaman | IFUAP
/49
18/49
H
H ,
=M
19
/49
19/49
Algunas de las propiedades de la condicin simplctica para una transformacin cannica son,
= J MJ = JM
1 JM = M
1 J
MJM
MJM
= J,
J = J.
20
Mecnica Clsica M.C. Fsica
/49
20/49
q1
q
= 2 ,
p1
p2
Omar De la Pea-Seaman | IFUAP
Q1
Q
= 2 ,
P1
P2
21
/49
21/49
0
0
1
0
0 q1
q1
1 q2 p2
0 p1 p1
0 p2
q2
1
0
0
0
0 P1
1
P 2
0 Q1
0
Q 2
22
/49
22/49
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
23
/49
23/49
G
qj
G
qj = Qj qj =
Pj
pj = Pj pj =
/49
24/49
()
2G
=1+
= 1 + J
= J
=
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
/49
25/49
=
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
/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
/49
27/49
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
df /dt = 0
28
Mecnica Clsica M.C. Fsica
/49
28/49
.
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
/49
29/49
[pk , H] = pk .
/49
30/49
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
/49
31/49
,
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
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
/49
33/49
/49
34/49
Construyendo el Hamiltoniano,
H = T +V
= ml2 2 /2 mglCos
= p2 /2ml2 mglCos = E.
m
(x, y)
x
p = 2ml2 (E + mglCos )
L = ml2 2 /2 + mglCos ,
p = L/ = ml2 ,
35
Omar De la Pea-Seaman | IFUAP
/49
35/49
p = 2ml2 (E + mglCos )
E < mgl: las trayectorias son curvas cerradas (tipo elipse) el
36
/49
36/49
37
Omar De la Pea-Seaman | IFUAP
/49
37/49
Teorema de Liouville
El volumen de una regin arbitraria del espacio fase se conserva si
/49
38/49
,
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
qk
pk
+
= 0.
qk
pk
Mecnica Clsica M.C. Fsica
39
/49
39/49
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
/49
40/49
p=
2m(E + mgq).
41
/49
41/49
p1
Z q1
dp
q2
E2 E1
mg
Z p2
dq =
dp
p1
Z p2
dp =
p1
dq
[(p2 /2m)E2 ]/mg
E2 E1
(p2 p1 ).
mg
42
/49
42/49
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
/49
43/49
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
/
49
44/49
=
=
L
L
+
L q 11
L
+
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
45
Mecnica Clsica M.C. Fsica
/49
45/49
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 =
/49
46/49
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
47
Mecnica Clsica M.C. Fsica
/49
47/49
L = L + (q,
t, ).
Ahora, como sabemos que una transformacin de norma
LL+
d
(q, t)
dt
d
.
dt
48
/49
48/49
q +
q dt q
dt
d L
q ,
dt q
d L
q ,
dt q
L =
d
=
dt
0 =
L
q ,
q
L
q
q
/49
49/49