Escolar Documentos
Profissional Documentos
Cultura Documentos
1. Transformaciones cannicas
1.1 Definicin de transformaciones cannicas y funcin generatriz
1.2 Enfoque simplctico y transformaciones infinitesimales
1.3 Corchetes de Poisson y de Lagrange e invariantes cannicos
1.4 Teoremas de Liouville y Noether
1
Omar De la Pea-Seaman | IFUAP
/43
1/43
Pi = Pi (q, p, t),
K
Pi =
.
Qi
/43
2/43
Z t2
Pi Q i K(Q, P, t) dt = 0
t1
t1
/43
3/43
F1
F1
F1
, Pi =
, K=H+
.
qi
Qi
t
4
/43
4/43
Se puede dar el caso de 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
sustituyendo 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
/43
5/43
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
6
Omar De la Pea-Seaman | IFUAP
/43
6/43
F 0
,
P1
F 0
P2 =
,
Q2
Q1 =
K=H+
F 0
.
t
7
/43
7/43
kq 2
1 2
k
p2
+
=
(p + m2 2 q 2 ),
= 2.
2m
2
2m
m
f 2 (P )
f 2 (P )
Cos2 Q + Sen2 Q =
,
2m
2m
/43
8/43
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
9
Omar De la Pea-Seaman | IFUAP
/43
9/43
q =
2P
m
1/2
Sen Q =
2E
m 2
1/2
Sen (t + ),
10
/43
10/43
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/
11
/43
11/43
Pi = Pi (q, p), K = H.
.
Q i =
qj
pj
qj pj
pj qj
Ahora, por otro lado, si invertimos las transformaciones puntuales,
qj = qj (Q, P ),
pj = pj (Q, P ),
12
/43
12/43
=
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
qj
=
q,p
qj
Qi
Q,P
13
/43
13/43
H
0 1
, J=
.
= J
1 0
j
14
Omar De la Pea-Seaman | IFUAP
/43
14/43
i
j i
15
/43
15/43
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.
16
Mecnica Clsica M.C. Fsica
/43
16/43
q1
q
= 2 ,
p1
p2
Omar De la Pea-Seaman | IFUAP
Q1
Q
= 2 ,
P1
P2
17
/43
17/43
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
18
/43
18/43
Para el caso de transformaciones cannicas = (, t) se sigue man = J, 6 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 , = + .
6
19
/43
19/43
G
qj
G
qj = Qj qj =
Pj
pj = Pj pj =
/43
20/43
()
2G
=1+
= 1 + J
= J
=
i,j
2G
.
i j
= J, M
viene dada como
Debido a J
2
= 1 G J.
M
21
Omar De la Pea-Seaman | IFUAP
/43
21/43
=
MJM
2G
1 + J
2G
J 1
J
2G
1 + J
2G
J J
J
= J J
2G
2G
J + J
J + O(2)
= 1.
MJM
Por tanto, la condicin simplctica se mantiene para cualquier transformacin cannica, ya sea que involucre al tiempo o no.
22
Omar De la Pea-Seaman | IFUAP
/43
22/43
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
tenemos
[f, H] = 0.
7
df /dt = 0
23
Mecnica Clsica M.C. Fsica
/43
23/43
.
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
24
/43
24/43
[pk , H] = pk .
/43
25/43
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 .
26
Omar De la Pea-Seaman | IFUAP
/43
26/43
,
u v
u v
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. 9
27
/43
27/43
/43
28/43
Construyendo el Hamiltoniano,
H = T + V = ml2 2 mglCos
= p2 /2ml2 mglCos = E
m
(x, y)
p = 2ml2 (E + mglCos )
x
Si tomamos a como la coordenada generalizada,
L = ml2 2 + mglCos
p = L/ = ml2
29
Omar De la Pea-Seaman | IFUAP
/43
29/43
30
/43
30/43
31
Omar De la Pea-Seaman | IFUAP
/43
31/43
Teorema de Liouville
El volumen de una regin arbitraria del espacio fase se conserva si
/43
32/43
(qk ) +
(pk ) +
qk
pk
t
qk
=
+
qk +
+ ...
t
qk
qk
pk
... +
pk +
pk
pk
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
33
/43
33/43
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.
34
Omar De la Pea-Seaman | IFUAP
/43
34/43
p2
mq2
mgq, donde: T =
, V = mgq.
2m
2
2m(E + mgq),
35
/43
35/43
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
36
/43
36/43
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.
37
Omar De la Pea-Seaman | IFUAP
/43
37/43
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 .
t
en donde representa a la familia de transformaciones.
Asumimos que L es invariante ante la familia de transformaciones,
= q + ,
L (q, q,
t) = L (q),
(q), t
t
38
Omar De la Pea-Seaman | IFUAP
/43
38/43
=
=
L
L
+
L q 10
L
+
L
L
L
= L =
q +
q 11
=0
q
q
pero recordemos,
d
dt
10
11
L
q =
q
d L
L
q +
q
dt q
q
= q + , = q
q
39
Mecnica Clsica M.C. Fsica
/43
39/43
Sustituyendo en L,
L =
d L
d
L
q +
q dt q
dt
L
q
q
d
dt
L
L
q
q = 0
q
q
40
Omar De la Pea-Seaman | IFUAP
/43
40/43
12
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.
tenemos =
12
41
Mecnica Clsica M.C. Fsica
/43
41/43
L = L + (q,
t, ).
Ahora, como sabemos
13
LL+
d
(q, t)
dt
d
,
dt
demostrar!!
42
Mecnica Clsica M.C. Fsica
/43
42/43
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
/43
43/43