Documente Academic
Documente Profesional
Documente Cultură
TEORICA
Jose A. Oller
Departamento de Fsica
Universidad de Murcia
E-30071 Murcia
EMail: oller@um.es
Contenidos
1. Din
amica Newtoniana y ecuaciones de Lagrange
1.1. Mecanica de una partcula . . . . . . . . . . . . . . . .
1.1.1. Momento lineal y fuerza . . . . . . . . . . . . .
1.1.2. Momento angular . . . . . . . . . . . . . . . .
1.1.3. Energa . . . . . . . . . . . . . . . . . . . . . .
1.2. Mecanica de un sistema de partculas . . . . . . . . . .
1.2.1. Momento lineal, fuerzas externas e internas . . .
1.2.2. Momento angular . . . . . . . . . . . . . . . .
1.2.3. Energa . . . . . . . . . . . . . . . . . . . . . .
1.3. Ligaduras . . . . . . . . . . . . . . . . . . . . . . . . .
1.4. El principio de DAlembert y las ecuaciones de Lagrange
1.5. Potenciales electromagneticos y funcion de disipacion de
1.5.1. Potenciales electromagneticos . . . . . . . . . .
1.5.2. Funcion de disipacion de Rayleight . . . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
Rayleight .
. . . . . .
. . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
principio
. . . . .
. . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. .
. .
. .
. .
. .
. .
. .
. .
. .
. .
. .
. .
. .
. .
. .
de
. .
. .
6
6
6
7
7
9
9
10
11
13
15
21
21
22
23
23
25
26
28
28
30
31
33
33
36
41
43
43
45
51
54
57
3. Teora de Hamilton
3.1. Transformaciones de Legendre . . . . . . . . . . . . . .
3.2. Transformaciones de Legendre aplicadas al Lagrangiano
3.3. Ecuaciones canonicas . . . . . . . . . . . . . . . . . .
3.3.1. Notas . . . . . . . . . . . . . . . . . . . . . . .
3.4. La integral canonica . . . . . . . . . . . . . . . . . . .
3.5. Los corchetes de Poisson . . . . . . . . . . . . . . . . .
3.5.1. Propiedades de los corchetes de Poisson . . . .
3.6. El teorema de los corchetes de Poisson . . . . . . . . .
3.7. El espacio de fases y el fluido de fases . . . . . . . . . .
3.8. El teorema de Liouville . . . . . . . . . . . . . . . . . .
3.9. El teorema de la circulacion de Helmholtz . . . . . . . .
3.10. Eliminacion de variables ignorables. La funcion de Routh
3.11. Forma parametrica de las ecuaciones canonicas . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
66
66
67
69
70
71
75
75
78
81
82
84
85
87
4. Transformaciones Can
onicas
94
4.1. Funcion Generatriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
4.2. Transformaciones canonicas basicas . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
4.2.1. Ejemplos de transformaciones canonicas . . . . . . . . . . . . . . . . . . . . 104
4.3. Transformaciones de Mathieu-Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
4.4. Forma diferencial bilineal invariante . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
4.4.1. Los corchetes de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
4.4.2. Relacion entre los corchetes de Poisson y de Lagrange . . . . . . . . . . . . . 114
4.5. La forma simplectica de las transformaciones canonicas . . . . . . . . . . . . . . . . . 115
4.5.1. Transformaciones canonicas restringidas . . . . . . . . . . . . . . . . . . . . . 115
4.5.2. Transformaciones canonicas dependientes del tiempo . . . . . . . . . . . . . . 117
4.5.3. Transformacion canonica infinitesimal . . . . . . . . . . . . . . . . . . . . . . 118
4.6. Invariancia de los parentesis de Poisson y el volumen bajo transformaciones canonicas 122
4.7. El movimiento de un sistema como una sucesion continua de transformaciones canonicas123
5. Simetras y teoremas de conservaci
on II. Ecuaci
on de Hamilton-Jacobi
5.1. Familias de transformaciones canonicas. Generadores infinitesimales . . .
5.2. Simetras y leyes de conservacion . . . . . . . . . . . . . . . . . . . . .
5.3. La ecuacion de Hamilton-Jacobi . . . . . . . . . . . . . . . . . . . . . .
5.3.1. Otra forma de llegar a la ecuacion de Hamilton-Jacobi . . . . . .
5.4. Separacion de variables . . . . . . . . . . . . . . . . . . . . . . . . . .
5.4.1. Sistemas acotados y separables . . . . . . . . . . . . . . . . . .
5.5. Variables accion angulo . . . . . . . . . . . . . . . . . . . . . . . . . .
5.6. Problema de fuerzas centrales . . . . . . . . . . . . . . . . . . . . . . .
5.6.1. Metodo de Hamilton-Jacobi para el problema de fuerzas centrales
5.6.2. Variables accion angulo en el problema de fuerzas centrales . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
125
125
129
131
136
136
139
141
145
145
146
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
149
149
149
152
155
157
7. Teora cl
asica de campos
7.1. Introduccion: Transicion de un sistema continuo a otro discreto . . . . . . . .
7.1.1. La cadena lineal . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.2. Formulacion Lagrangiana de la teora de campos . . . . . . . . . . . . . . . .
7.2.1. Derivada funcional . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.3. Teorema de Noether e integrales de las ecuaciones de campo . . . . . . . . .
7.3.1. Teorema de Noether aplicado a una rotacion global de la cadena lineal
7.4. Tensor de energa-momento . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.5. Tensor de momento angular . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.5.1. Transformaciones de Lorentz . . . . . . . . . . . . . . . . . . . . . .
7.5.2. Clasificacion de las transformaciones de Lorentz . . . . . . . . . . . .
7.5.3. Generadores infinitesimales . . . . . . . . . . . . . . . . . . . . . . .
7.5.4. Conmutadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.5.5. Tensor de momento angular . . . . . . . . . . . . . . . . . . . . . . .
7.6. Simetras internas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.7. Formulacion Hamiltoniana . . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.7.1. Generalizacion. Ecuaciones canonicas . . . . . . . . . . . . . . . . . .
7.8. Dependencia temporal de las variables dinamicas . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
162
162
162
165
168
169
174
177
181
181
182
184
187
187
189
191
192
194
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Agradecimientos de J.A.O.
Me gustara agradecer al Prof. Rafael Chicon el haberme dado a conocer las referencias [1] y [2] que
han sido extensamente empleadas para la elaboracion de las secciones 2.122.15 y de los captulos 35.
Por supuesto, agradecer el arduo trabajo de proporcionarme una primera version transcrita en LaTeX
de mis notas de clase a Juan Francisco Gonzalez. Tambien me gustara agradecer a mi mujer Mara
Jose el tener la paciencia de facilitarme el tiempo suficiente para confeccionar este manual.
Captulo 1
Din
amica Newtoniana y ecuaciones de
Lagrange
1.1.
Mec
anica de una partcula
1.1.1.
d~p
,
F~ =
dt
(1.2)
F~ se debe a la interaccion de la partcula con otras partculas y campos, p.e., interaccion gravitatoria,
electromagnetica, etc. La expresion anterior se conoce como segunda ley de Newton.
Tomando m constante:
2
d ~r
F~ = m 2 = m~a .
(1.3)
dt
Es una ecuacion diferencial de segundo orden y, por tanto, para determinar ~r(t) se necesitan conocer
~r(0), ~r (0). As el estado de una partcula viene
determinado una vez se conozcan ~r y ~r , en un tiempo t, ya que haciendo uso de las ecuaciones de
movimiento queda fijada su evolucion temporal.
Muchos resultados importantes se expresan en Mecanica como leyes de conservacion:
Conservaci
on del momento lineal de una partcula
Si la fuerza total que actua sobre una partcula es cero, F~ = 0, entonces, segun (1.2), p~ = 0 y
p~ es una constante de movimiento.
6
Mecanica Teorica
Jose A. Oller
111
000
000
111
000
111
000
111
000
111
~r
000
111
000
111
000
111
000
111
000
111
0
1
000
111
0
1
p~
1.1.2.
Momento angular
El momento angular de una partcula respecto de un punto (depende del punto O que se tome),
viene dado por:
~ = ~r p~ ,
L
(1.4)
(1.5)
~
dL
d~r
d~p
~ .
=
p~ + ~r
= ~r F~ = N
dt
dt
dt
(1.6)
1.1.3.
Energa
(1.7)
Luego:
W12 =
2
1
d~p
d~s =
dt
2
1
d~v
m
m ~v dt =
dt
2
2
1
1
d~v 2
dt = m(v22 v12 ) .
dt
2
(1.8)
(1.9)
Si el trabajo entre dos puntos W12 realizado por el campo de fuerzas no depende del camino seguido, el
campo de fuerzas se dice que es conservativo.1 Alternativamente, puesto que en este caso el trabajo
1
Se habla de campo de fuerzas dado que se supone que en cada punto del espacio opera una fuerza dependiente
de punto sobre la partcula.
Mecanica Teorica
Jose A. Oller
112
00
00
11
1
0
0
1
0
1
1
0
0
1
11
00
00
111
Figura 1.2: El trabajo de una fuerza conservativa sobre una trayectoria cerrada es nulo.
realizado por la fuerza a lo largo de una trayectoria cerrada es nulo, vease la figura (1.2), se tiene:
Z
I
~
~ F~ )d~ = 0 ,
F d~s = (
(1.10)
por el teorema de Stokes, y recordando que:
~ F~ = 0 F~ = V
~ (~r) .
(1.11)
Donde V (~r) es la energa potencial. Siempre podemos anadir a V (~r) una constante y la fuerza derivada
de el, no cambia. Por lo tanto, el nivel de energa cero de V (~r) es arbitrario. De hecho cuando
introdujimos la energa cinetica tambien lo hicimos a partir de una diferencia entre energas cineticas.
Esto es:
Z 2
~ d~s = V1 V2 .
W12 = T2 T1 =
V
(1.12)
1
Luego:
T1 + V2 = T2 + V2 .
(1.13)
n de la energa
Teorema de conservacio
Si las fuerzas que actuan sobre una partcula son conservativas, entonces la energa total E = T +V ,
se conserva (constante de movimiento).
Ahora bien si la fuerza aplicada sobre una partcula se deriva de un potencial dependiente ademas
del tiempo, entonces el trabajo entre dos puntos:
Z 2
~ d~s .
W12 =
V
(1.14)
1
No es el cambio total del potencial V (~r, t), entre los puntos 1 y 2, debido al intervalo de tiempo
transcurrido. Por tanto, el trabajo no es la diferencia total de V. As aunque podamos definir una
energa total, T + V , esta no se conserva.
Mecanica Teorica
Jose A. Oller
1.2.
Mec
anica de un sistema de partculas
1.2.1.
Es muy util distinguir entre fuerzas externas al sistema de partculas, y que actuan sobre cada una
de ellas, y fuerzas internas (p.e. la fuerza que la partcula i sufre debido a la presencia de todas las
demas partculas del sistema). De esta forma1 :
(e)
p~i = F~i +
F~ij
(1.15)
j6=i
(1.16)
Entonces:
X d2~ri X (e) X
~
d2 R
=
mi 2 =
F~i +
F~ij ,
dt2
dt
i
i
i,j
(1.17)
j6=i
siendo el ultimo termino una suma que se cancela a pares puesto que suponemos que se verifica la ley
debil de accion y reaccion F~ji = F~ij (tercera ley de Newton en sentido debil). Luego:
M
X (e)
~
d2 R
=
F~i F~ (e) .
dt2
i
(1.18)
El centro de masas se mueve, por tanto, sujeto a las fuerzas externas del sistema. Fijemonos ademas
que,
!
P
X
X d~ri X
~
mj ~rj
d
R
d
j
P
P~cm = M
=
mi
=
p~i = p~total .
(1.19)
=
mi
dt
dt
dt
j mj
i
i
i
n del momento lineal de un sistema de partculas
Conservacio
Si la fuerza externa total es cero, el momento lineal total del sistema se conserva.
1
Se sobreentiende, mientras no se explicite lo contrario, que las sumas se extienden sobre todas las partculas.
De la misma forma, se explicitara cuando se realice el uso del convenio de suma de Einstein.
Mecanica Teorica
1.2.2.
Jose A. Oller
Momento angular
(1.20)
(1.21)
j6=i
(1.22)
Si las fuerzas internas, ademas de cumplir la tercera ley de Newton en su sentido debil, tal y como hemos
supuesto, cumplen que caen a lo largo del vector posicion relativo, ~ri ~rj , entonces, (~ri ~rj ) F~ij = 0.
Esta suposicion es la tercera ley de Newton o ley de accion y reaccion en sentido fuerte. Por lo tanto:
X
~
dL
(e)
~ (e) =
=N
~ri F~i .
dt
i
(1.23)
10
(1.24)
Mecanica Teorica
~ =
L
X
i
Jose A. Oller
~ mi (v~ i + V~ ) =
(r~ i + R)
=
X
i
r~ i mi v~ i +
~
mi r~ i V~ + R
| i {z }
~ =0
R
Luego:
~ =
L
~ P~
R
| {z
}
Momento del CM
respecto a O
1.2.3.
mi v~ i +
| i {z }
X
i
~ mi V~ .
R
V~ =0
r~ i p~ i
{z
(1.25)
Energa
Al igual que en el caso de una partcula, podemos analizar el trabajo para nuestro sistema de
partculas:
XZ 2
X Z 2 (e)
XZ 2
~
~
W12 =
Fi d~si =
Fi d~si +
F~ij d~si =
i
XZ
i,j
i6=j
XZ
mi d 2
(r )dt =
2 dt i
1
1
i
i
X 1
X 1
2
2
m i vi
m i vi
. (1.26)
=
2
2
2
1
i
i
P
Y definiendo la energa cinetica del sistema como T = i 12 mi vi2 , tenemos:
=
mi~ri~ri dt =
W12 = T2 T1 ,
(1.27)
como en el caso de una sola partcula. Utilizando la descomposicion de las coordenadas y velocidades
dada en (1.24), tenemos:
T =
X1
i
mi (v~ i + V~ )2 =
X1
i
mi (v i + V 2 + 2v~ i V~ ) =
X
1
1X
2
= MV 2 +
mi v i + V~
mi v~ i .
2
2 i
| i {z }
Relativo al
propio CM,
V~ =0
Luego:
T =
1X
1
2
MV 2 +
mi v i .
2
2
| {z }
| i {z }
Mov. del CM
Mov. relativo al CM
11
(1.28)
Mecanica Teorica
Jose A. Oller
Supongamos ahora que todas las fuerzas externas son derivables de energas potenciales Vi (~
ri ), que
pueden diferir de partcula a partcula:
XZ
i
2
1
(e)
F~i d~si
XZ
i
2
1
~ i Vi d~si =
"
X
i
Vi
#2
(1.29)
Ademas sea Vk (|~rk ~r |) el potencial del que se derivan las fuerzas internas Fk :
~ i Vij (|~ri ~rj |) =
~ j Vij (|~ri rj |) = F~ji ,
F~ij =
por otra parte, tambien se cumple,
|~rij | ~ri ~rj
~ ij Vij (|~ri ~rj |) = Vij = Vij rij =
~ i Vij (|~ri ~rj |) .
=
~ri
rij
~rij
rij
(1.30)
As las fuerzas internas derivadas de un potencial Vij (|~ri ~rj |) cumplen la tercera ley de accion y
reaccion en todas sus formas. Teniendo en cuenta que,
Z 2
Z 2
~
~
~ i Vij (d~si d~sj ) =
1
1
(1.31)
Z 2
Z 2
~ i Vij d~rij =
~ ij Vij d~rij .
=
Luego el trabajo realizado por las fuerzas internas vendra dado por:
XZ 2
XZ 2
1
~ ij Vij d~rij .
F~ij d~si =
2
1
1
i,j
i,j
j6=i
(1.32)
j6=i
El factor 1/2 proviene de sumar (1.31) sobre i y sobre j, con lo que cada par se suma dos veces. El
trabajo total, W12 , sera:
2
X
1X
Vij
W12 =
i
.
2
i,j
i
i6=j
Y ademas definimos
V =
X
i
Vi +
(1.33)
1X
Vij ,
2 i,j
(1.34)
i6=j
como la energa potencial total. El segundo sumando representa la energa potencial interna. Por lo
tanto, de (1.27) y (1.33) tenemos:
W12 = T2 T1 = V (1) V (2) T1 + V (1) = T2 + V (2) = E .
12
(1.35)
Mecanica Teorica
Jose A. Oller
n de la Energa total
Conservacio
Si las fuerzas son conservativas, tenemos conservacion de la Energa total.
Hemos definido la energa potencial interna como:
1X
Vij .
2 i,j
(1.36)
i6=j
En el solido rgido, tenemos |~rij | = constante, y, por tanto, los d~rij son perpendiculares a los ~rij , luego
seran perpendiculares a las fuerzas F~ij . As las fuerzas internas no hacen trabajo, por lo que la energa
potencial interna se mantiene constante. En general, las fuerzas internas s realizan trabajo.
1.3.
Ligaduras
Desde un punto de vista macroscopico existen ligaduras que restringen los valores posibles de las
coordenadas de las partculas del sistema o las relaciones entre ellas. As, ademas de tener en cuenta
las ecuaciones de Newton:
X
(e)
mi~ri = F~i +
F~ij ,
(1.37)
j
j6=i
Estas
se suelen clasificar en:
1. Holon
omicas: fI (~r1 , ~r2 , . . . , ~rN , t) = 0 , I = 1, 2, . . . , K. Es decir, las ligaduras se pueden
expresar como K 3N ecuaciones que solo involucran el tiempo y las coordenadas de las
partculas.
Ejemplo: (~ri ~rj )2 c2ij = 0, solido rgido.
2. No holon
omicas : El resto.
Ejemplo: r2 a2 0, movimiento sobre o fuera de una esfera.
Un subgrupo a considerar es el de las ligaduras semiholonomicas, que son relaciones del tipo:
fI (~r1 , ~r2 , . . . , ~rN ; ~r1 , ~r2 , . . . , ~rN , t) = 0 , I = 1, 2, . . . , K .
En la expresion anterior se supone que
d
fI (~r1 , ~r2 , . . . , ~rN ; ~r1 , ~r2 , . . . , ~rN , t) 6= gI (~r1 , ~r2 , . . . , ~rN , t) ,
dt
es decir, se supone que las ligaduras semiholonomicas son no integrables y, si lo fueran, ya se habran
integrado y escrito en forma holonomica como gI (~r1 , ~r2 , . . . , ~rN , t) cte = 0.
13
Mecanica Teorica
Jose A. Oller
Menos importante es la clasificacion de si las ligaduras dependen del tiempo. Si dependen del tiempo
hablamos de ligaduras reonomas y si no dependen del tiempo de ligaduras escleronomas. Aqu trataremos las ligaduras holonomicas y cuando introduzcamos el principio de Hamilton trataremos tambien
las semiholonomicas.
Coordenadas generalizadas. Son un conjunto cualesquiera de magnitudes que definen la posicion
de un sistema. Sus derivadas respecto del tiempo se llaman velocidades generalizadas.
El estado de un sistema viene determinado por el conocimiento de las coordenadas generalizadas
y de sus velocidades generalizadas. Conociendo estas y mediante las ecuaciones de movimiento, junto
con las ligaduras, se fija la evolucion temporal.
El numero mnimo necesario de magnitudes que fijan unvocamente la posicion de un sistema es el
n
umero de grados de libertad.
Cuando hay ligaduras no holonomicas el numero de grados de libertad del movimiento finito suele
ser mayor que el numero de grados de libertad del movimiento infinitesimal. Pensemos por ejemplo en
las ligaduras semiholonomicas, por supuesto no integrales, en ellas el movimiento infinitesimal viene
restringido directamente por las ecuaciones que definen las ligaduras (al estar restringidas las velocidades
entonces lo estan los movimientos infenitesimales d~ri = ~ri dt). Si fuesen integrables las ligaduras
pasaran a ser puramente holonomicas.
El problema de la presencia de ligaduras holon
omicas se soluciona mediante una adecuada eleccion
de coordenadas generalizadas de forma que las ligaduras se satisfagan automaticamente.
Matematicamente, designando por q las coordenadas generalizadas, tenemos:
q = q (~r1 , . . . , ~rN , t) , = 1, . . . , 3N ,
~ri = ~ri (q1 , . . . , q3N , t) , i = 1, . . . , N ,
q
6= 0 .
det
~ri
(1.38)
fI (~r1 , . . . , ~rN , t) = 0 , I = 1, . . . , K .
(1.39)
(1.41)
Mecanica Teorica
Jose A. Oller
qn+I
z }| {
= qn+I (0, 0, . . . , 0) = constante de movimiento.
(1.42)
Estas constantes de movimiento quedan fijadas simplemente por la forma funcional de dependencia
entre las qn+I y las ligaduras, segun (1.41), sin mayor relevancia.
Solo hemos de determinar la evolucion temporal de las n coordenadas generalizadas q1 , . . . , qn .
En lo que sigue supondremos que este es el caso, y que nuestras coordenadas generalizadas son q ,
con = 1, . . . , n.
En fsica microscopica las fuerzas son elementales y se pretende conocerlas todas!. As que el
concepto de ligadura no suele jugar un papel importante y, cuando al no conocerse todas las fuerzas o
para simplificar los calculos en fsica microscopica se introducen ligaduras, en la mayora de los casos se
trata de ligaduras holonomicas. Tengase en cuenta que las ligaduras, en ultima instancia, representan
fuerzas a priori desconocidas y solo despues de resolver el problema se pueden determinar.
1.4.
Se trata de determinar de forma directa las ecuaciones de movimiento que satisfacen las coordenadas
generalizadas q , = 1, . . . , n, sin tener que realizar los pasos intermedios de expresar en las ecuaciones
de Newton ~ri , ~ri y ~ri en terminos de (q , q , q , t), despejando al final las ecuaciones de movimiento
paras las coordenadas generalizadas.
Desplazamiento virtual infinitesimal: ~ri , i = 1, . . . , N . Se define como el cambio en la configuracion del sistema debido a desplazamientos infinitesimales de las coordenadas, ~ri , consistentes
con las ligaduras del sistema en un instante dado t. Es decir, el tiempo permanece fijado en estos
desplazamientos virtuales.
Los desplazamientos reales, los denotamos por d~ri y no son instantaneos, sino que ocurren en un
tiempo dt, durante el cual todo evoluciona.
Sistema en equilibrio est
atico: F~i = 0. Por tanto:
X
F~i ~ri = 0 .
(1.43)
i
(a)
(a)
fuerza conocida, aplicada,
F~i = F~i + f~i , F~i
f~i fuerza debida a la ligadura,
(a)
F~i ~ri +
f~i ~ri = 0 .
(1.44)
(1.45)
15
(1.46)
Mecanica Teorica
Jose A. Oller
Dicho de otro modo, si un tipo de fuerza no cumple la condicion anterior debera ser catalogada como
fuerza aplicada.
P
~ i fI (~r1 , . . . , ~rN , t) (las fuerzas de ligadura son
La condicion (1.46) sucede cuando f~i = I I (t)
perpendiculares a la superficie donde queda restringido el movimiento de la partcula dentro del espacio
R3N , p.e. en el solido rgido), ya que,
!
X
X
X
X
~ i fI ~ri =
f~i ~ri =
I (t)
I (t) fI = 0 .
(1.47)
|{z}
i
=0
Notese que cada fuerza por separado sobre una partcula puede realizar trabajo virtual, siendo el trabajo
virtual total el que es cero.
El trabajo virtual es no nulo cuando tenemos rozamiento por desplazamiento (fenomeno macroscopico) pero s que es nulo en el caso de rozamiento por rodadura, dado que instantaneamente el punto
de contacto con la superficie esta en reposo, por tanto ~r = 0 para ese punto, y el trabajo es nulo.2
Ademas el trabajo sobre los desplazamientos virtuales de la fuerza normal a una superficie que vara
con el tiempo es cero (ya que instantanemante la fuerza es perpendicular a la superficie), pero no
sera nulo el trabajo en un desplazamiento real. Veamoslo. Sea la superficie descrita por g(~x, t) = 0, y
g
F~ = , tenemos:
~x
Z
Z
Z
g
g
~
W = F d~x = d~x =
dt , puesto que,
~x
t
g
g
(1.48)
d~x + dt =0 ,
dg =
~x
t
g
g
d~x = dt .
~x
t
En definitiva, de (1.45) y (1.46), tenemos que la condicion de equilibrio es:
X (a)
(1.49)
F~i ~ri = 0 Principio de los trabajos virtuales.
i
(a)
Dado que las ~ri estan relacionadas por las ligaduras no podemos igualar sin mas F~i = 0!. Hay que
hacer uso de las coordenadas generalizadas, que como estamos en el caso holonomico estan libres de
ligaduras y son independientes.
Tambien queremos ir mas alla e incluir dinamica, o sea, evolucion temporal. Teniendo en cuenta la
segunda ley de Newton,
X
i
(1.50)
2
En problemas propios de est
atica las fuerzas aplicadas incluyen todas las fuerzas ejercidas sobre el sistema
debidas a agentes externos, esto es, adem
as de fuerzas conocidas o fundamentales, tanto interiores como exteriores
al sistema, incluyen las fuerzas normales a superficies (en caso de que realicen trabajo en los desplazamientos
virtuales) y los rozamientos (tangenciales a dichas superficies). Las f~i representan entonces fuerzas interiores del
sistema no conocidas, tpicamente se trata de las fuerzas que mantienen cohesionado a un sistema no deformable,
que como sabemos no realizan trabajo en un desplazamiento virtual del sistema.
16
Mecanica Teorica
Jose A. Oller
(1.51)
(a)
F~i ~ri =
XX
ri
(a) ~
q =
F~i
q
q Q .
Donde:
Q =
X
i
ri
(a) ~
F~i
,
q
(1.52)
p~i ~ri =
mi~ri ~ri =
X
i,
~ri
q .
mi~ri
q
(1.53)
Analicemos la suma en i:
X
i
~ri
=
mi~ri
q
X d
i
dt
~ri
mi~ri
q
d ~ri
mi~ri
dt q
(1.54)
Observemos que:
X
d ~ri
~ri
q
=
+
=
dt q
q t q
X 2~ri
2~ri
+
=
q
=
q q
q t
q
~vi =
~ri
~ri
~ri
~ri
+
=
.
q
t
q
q
17
~ri
~ri
q
+
q
t
~vi
, (1.55)
q
(1.56)
Mecanica Teorica
Jose A. Oller
"
X d
~
r
i
=
mi~ri
q
dt
i
~ri
mi~ri
q
#
i
~
r
mi~ri
=
q
X d 1
1 2
2
. (1.57)
mi~ri
mi~ri
dt q 2
q 2
i
dt
(1.58)
T
q
T
= Q .
q
(1.59)
Que son n ecuaciones de segundo orden y, por lo tanto, tenemos 2n constantes de integracion. Necesitamos conocer, por ejemplo, q (0) y q (0).
Si las fuerzas se derivan de un potencial, (aun cuando sea dependiente del tiempo),
~ i V (~r1 , ~r2 , .., ~rN , t) .
F~i =
(1.60)
Tenemos que:
Q =
X
i
~ri
=
F~i
q
X
i
~ i V ~ri = V .
q
q
=
.
dt q
q
q
Dado que V no depende de las velocidades generalizadas (lo hemos supuesto):
(T V )
d (T V )
=0 , L=T V ,
dt
q
q
(1.61)
(1.62)
(1.63)
L
q
18
L
=0
q
(1.64)
Mecanica Teorica
Jose A. Oller
El Lagrangiano no es unico. As L = L +
movimiento que L:
dF (q, t)
, nos permite obtener las mismas ecuaciones de
dt
X F
F
dF
=
,
q +
dt
q
t
X 2F
d F
2F
d dF
=
=
q +
,
dt q dt
dt q
q
tq
q
X 2F
dF
2F
=
q +
q dt
q q
q t
As:
dF
d dF
=0.
dt q dt
q dt
En un ejercicio de clase veremos que es tambien condicion necesaria para obtener las mismas ecuaciones. Hagamoslo aqu para una sola variable.
Consideremos:
d L
L
= (
q , q,
q, t) ,
dt q
q
L
d L
= (
q , q,
q, t) .
dt q
q
Como las ecuaciones de movimiento son las mismas, tenemos que:
= = 0
Por tanto:
z }| {
z }| {
d (L L ) (L L )
=0,
dt
q
q
d
= 0, = (q,
q, t) ,
dt q
q
(1.65)
desarrollando,
2
2
q +
=0
q
+
2
q
q q
qt
q
Esto es valido como relacion funcional para cualesquiera q, q,
q, y como = (q,
q, t), no depende
de q, entonces:
2
=0,
q2
19
Mecanica Teorica
Jose A. Oller
= qF
(q, t) + G(q, t) .
Introduciendo en (1.65), tenemos:
F F
F
G
+
q
=0,
q t
q
q
G
F
=0,
t
q
(q, t)
(q, t)
F =
,G=
,
q
t
q
= q
d
+
=
.
q
t
dt
Es util, para analisis posteriores, expresar la energa cinetica del sistema en coordenadas generalizadas. Para ello:
!2
X1
X ~ri
X1
~
r
i
T =
=
mi vi2 =
mi
q +
2
2
q
t
i
i
"
#
2
X ~ri ~ri
X1
~ri
~ri X ~ri
mi
q q +
q =
+2
=
2
q
q
t
t
q
i
,
(1.66)
X 1 ~ri 2 X ~ri X ~ri
1 X X ~ri ~ri
=
+
mi
mi
q +
q q =
mi
2
t
t
q
2
q
q
i
i
i
,
X
1X
M q q .
= M0 +
M q +
2
,
Donde:
M0 =
X1
i
M =
mi
~ri
t
2
mi
~ri ~ri
,
t q
mi
~ri ~ri
.
q q
M =
,
(1.67)
1X
M q q
2 ,
20
(1.68)
Mecanica Teorica
Jose A. Oller
1.5.
Potenciales electromagn
eticos y funci
on de disipaci
on
de Rayleight
1.5.1.
Potenciales electromagn
eticos
T
q
T
= Q .
q
U
d
Q =
+
q dt
U
q
(1.69)
1
~v .
L = T U = mv 2 q + q A~
2
Tomemos la coordenada x, analogamente se realiza para el resto de coordenadas cartesianas,
L
= mx + qAx ,
x
Ax
Ax
Ax
Ax
d L
= m
x+q
x + q
y + q
z + q
,
dt x
x
y
z
t
L
Ax
Ay
Az
= q
+q
x + q
y + q
z .
x
x
x
x
x
Por tanto:
Ax
Ax
Ax
Ax
x q
y q
z q
x
y
z
t
Ax
Ay
Az
q
+q
x + q
y + q
z
x
x
x
x
Ax
Ax
Ay
Az
= qEx q
y q
z + q
y + q
z
y
z
x
x
Ay Ax
Az Ax
= qEx + q y
+ q z
.
x
y
x
z
m
x = q
21
(1.71)
(1.72)
Mecanica Teorica
Jose A. Oller
z
.
z zB
y = y
~v B = yB
x
y
z
x
x
Por lo tanto,
~ = q Ex + ~v B
~
m
x = qEx + q ~v B
,
x
1.5.2.
Funci
on de disipaci
on de Rayleight
= Q ,
dt q
q
(1.73)
donde Q representa las fuerzas que no se pueden obtener de un potencial. Por ejemplo, fuerzas disipativas o de rozamiento (fenomeno macroscopico). En muchas ocasiones estas fuerzas son proporcionales
a la velocidad de la partcula:
Ff x = kx vx .
(1.74)
1X
2
2
2
kix vix
+ kiy viy
+ kiz viz
.
2 i
(1.75)
Q =
X
i
~ri
=
F~f,i
q
F
,
vix
X F ~ri
X F ~vi
F
=
=
.
~vi q
~vi q
q
i
i
+
=0.
dt q
q q
22
(1.76)
(1.77)
(1.78)
Captulo 2
Simetras y Teoremas de Conservaci
on I.
Mec
anica Lagrangiana
2.1.
Principio de Hamilton
t2
L (q, q,
t) dt ,
(2.1)
t1
que llamamos accion, es un extremo para la trayectoria real del sistema entre todas las trayectorias
posibles entre los puntos q (1) y q (2) , ver figura 2.1.
Por otra parte, L no contiene derivadas superiores a la primera ya que el estado del sistema viene
definido por q y q.
Sea q(t) la variacion infinitesimal del camino respecto a la trayectoria real del sistema, tal que
23
Mecanica Teorica
Jose A. Oller
q(t2 ) = q (2)
1
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
111
000
111111111111111
000000000000000
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
q(t)
1
0
0
1
0
1
q(t1 ) = q
(1)
t2
t
t1
qespacio
Figura 2.1: La trayectoria real de sistema se indica mediante la lnea continua. La lnea discontinua
indica una trayectoria proxima a la anterior.
q (t1 ) = q (t2 ) = 0,
Z t2 X
Z t2 X
L
L d
L
L
q dt =
q +
q dt =
q +
S =
q
q
q
q dt
t1
t1
| {z }
integracion
por partes
t2
t1
#t 2 Z
"
t2 X
X L
X L
d L
q dt +
q
q dt =
q
dt
t
1
t1
Z t2 X
d L
L
=
q dt = 0 .
dt q
q
t1
En la expresion anterior hemos tenido en cuenta que dq (t)/dt = q . Dado que los q (t) son
arbitrarios (ligaduras holonomicas),
d
dt
L
q
L
=0
q
Que son las ecuaciones de Lagrange. Como vemos, relaciona aceleraciones, velocidades y coordenadas.
Son ecuaciones de movimiento.
Estas ecuaciones son de segundo orden y necesitamos 2n constantes arbitrarias, que pueden determinarse conociendo, por ejemplo, los valores iniciales de las coordenadas y sus derivadas.
24
Mecanica Teorica
Jose A. Oller
Si tenemos dos sistemas A y B, aislados, no interactuantes, no hay relacion entre las coordenadas
generalizadas de ambos sistemas. Con lo cual podemos tomar como Lagrangiano del sistema global,
L = LA + LB ,
(2.2)
que es la propiedad aditiva del Lagrangiano. Al no interactuar entre s los dos sistemas,
LA(B)
LA(B)
=
=0,
qB(A)
qB(A)
de este modo se recuperan las ecuaciones de Lagrange para cada sistema independientemente. A la
propiedad aditiva del Lagrangiano se le puede conferir un significado fsico sin mas que admitiendo que
dado un sistema cerrado compuesto de dos subsistemas A y B que se alejan, en el lmite de separacion
infinita las interacciones mutuas desaparecen y el Lagrangiano del sistema global ha de tender a (2.2),
lm L = LA + LB ,
(2.3)
fijando a cero en este lmite a la posible derivada total respecto del tiempo que se puede anadir a (2.2).
El Lagrangiano de un sistema esta indeterminado por la adicion de la derivada total respecto al
tiempo de una funcion de punto f (q, t):
L (q,
q, t) = L(q,
q, t) +
df (q, t)
.
dt
dt
dtL(q, q,
t) +
dtL (q, q,
t) =
S =
dt
t1
t1
t1
= S + f (q (2) , t2 ) f (q (1) , t1 ) .
Si S = 0 S = 0 para la misma trayectoria extremal.
2.2.
Un sistema de referencia inercial es aquel en el que una partcula libre (que no interactue con ningun
otro sistema, y que este infinitamente lejana de cualquier otra partcula) mantiene un movimiento libre
uniforme.
Dado un sistema de referencia inercial, hay infinitos sistemas de referencia inerciales que se mueven
a velocidad relativa V~ entre s (en ellos se sigue cumpliendo la ley de inercia).
Una transformacion de Galileo, viene dada por las expresiones,
~r = ~r + V~ t ,
t=t.
25
(2.4)
Mecanica Teorica
Jose A. Oller
El principio de relatividad de Galileo afirma que las leyes de la mecanica son invariantes bajo una
transformacion de Galileo. Es decir, debemos obtener las mismas ecuaciones de movimiento, como
relaciones funcionales entre coordenadas, velocidades y aceleraciones, utilizando tanto L(~v , ~r, t) como
L(~v , ~r , t), donde el segundo Lagrangiano se obtiene sustituyendo en L directamente las variables
originales por las transformadas.1 Por lo tanto, L(~v , ~r, t) y L(~v (~v ), ~r (~r), t) difieren como mucho en
una derivada total respecto del tiempo de una funcion de punto. Como consecuencia, si ~r(t) es una
solucion de las ecuaciones de movimiento entonces ~r (t) = ~r(t) + V~ t es una nueva solucion de las
ecuaciones de movimiento.
En los sistemas de referencia inerciales el espacio es homogeneo (no depende de punto) e isotropo
(todas las direcciones son equivalentes). Ademas, el tiempo es homogeneo. Si eso no fuese as, una
partcula no mantendra su estado de movimiento estacionario, y por lo demas arbitrario, de forma
indefinida.
2.3.
=
=
.
~r +
v 2
dt
~r
t
Dado que ~v es arbitraria y F/t es independiente de ~v , se sigue que,
L
F
2~
= 0,
2
v
~r
F (~r, t)
= 0,
t
1
(2.5)
En un sistema cerrado, dada una transformacion generica de las coordenadas q = q (q , t), el Lagrangiano
en las nuevas coordenadas viene dado por L (q , q , t) = L(q(
q , q , t), q(q , t), t), puesto que L es un escalar. Dicha
df (q , t)
transformacion sera una simetra si L (q , q , t) = L(q , q , t) +
. Es decir, el Lagrangiano transformado es el
dt
Lagrangiano original sustituyendo directamente las variables originales por las nuevas coordenadas, salvo, posiblemente, la adicion de una derivada total respecto del tiempo de una funcion de punto.
26
Mecanica Teorica
Jose A. Oller
2a~v = 0 ~v = const.
Comprobamos a continuacion la invariancia de las ecuaciones de movimiento bajo una transformacion
de Galileo finita (tengamos en cuenta que una transformacion de Galileo finita se puede obtener a partir
de la aplicacion sucesiva de transformaciones de Galileo infinitesimales):
L(v 2 ) = av 2 = a(~v + V~ )2 = av 2 + aV 2 + 2a~v V~
d
d
= av 2 + (aV 2 t) + 2a (~rV~ )
dt
dt
d
= av 2 + (aV 2 t + 2a~rV~ ) .
dt
(2.6)
ma va2 .
(2.7)
Es de destacar que dado que las ecuaciones de movimiento quedan invariantes si se multiplica el
Lagrangiano por una constante arbitraria no nula, el concepto de masa solo adquiere significado real
a partir de la propiedad aditiva del Lagrangiano (2.3). As, los cocientes entre las masas presentes
en (2.7), que tienen significado fsico independientemente de la unidad de masa adoptada, quedan
invariantes bajo la transformacion anterior.
2
27
Mecanica Teorica
2.4.
Jose A. Oller
Consideremos primero un sistema cerrado, donde las partculas interactuan entre s pero no con
otras ajenas al sistema. No hay dependencia temporal explcita y describimos las interacciones entre
las partculas anadiendo una cierta funcion de las coordenadas al Lagrangiano libre (2.7),
X1
(2.8)
mi~vi 2 V (~r1 , ~r2 , . . . , ~rN ) .
L=
{z
}
|
2
i
Energa potencial
| {z }
Energa cin
etica
El que V solo depende de punto hace que cualquier variacion en una de las coordenadas repercuta en
el movimiento del resto de las partculas instantaneamente. Es decir, hay una propagacion instantanea
de las interacciones. De hecho, si estas se propagasen a velocidad finita dependera del sistema de
referencia inercial en contra del principio de Galileo. Notemos que para que el Lagrangiano anterior sea
invariante bajo una transformacion de Galileo se requiere que V sea funcion de las posiciones relativas
entre las particulas, ~rij = ~ri ~rj con i, j = 1, . . . , N .
Las leyes de Newton se obtienen a partir del Lagrangiano anterior:
d L L
=0,
dt ~vi ~ri
V
d~vi
=
mi
= F~i .
dt
~ri
(2.9)
2.5.
Teorema de Noether
(2.11)
Mecanica Teorica
Jose A. Oller
i
X L h
L d h
q
di
+
L =
q i q dt i
,i
X d L h
L d h
q
di
+
=
dt
dt
,i
X d L h
=
q
di = 0 .
dt q i
,i
P L
h
q
i
i = 1, 2, . . . , p ctes.
de movimiento
(2.12)
d F
, F = Fi di .
dt
Es claro, por el anterior desarrollo, que:
"
#
d X L h
dFi
d F
di
q
di =
L =
dt
dt q i
dt
2. L =
En general dado un sistema mecanico con n grados de libertad, este contiene 2n constantes de integracion y, por tanto, tendremos 2n constantes de movimiento. En un sistema cerrado siempre podemos
reescribir dichas constantes de movimiento tal que una de ellas sea simplemente un cambio de origen
en el tiempo:
qi = qi (t, c1 , c2 , . . . , c2n ) qi = qi (t + t0 , c1 , c2 , . . . , c2n1 )
29
Mecanica Teorica
Jose A. Oller
1
= x0 + x 0 (t + t0 t0 ) + g(t + t0 t0 )2 =
2
1
1
= x0 + x 0 (t t0 ) + x 0 t0 + g(t t0 )2 + gt20 + gt0 (t t0 ) =
2
2
1
1 2
= x0 + x 0 t0 + gt0 + (x 0 + gt0 )(t t0 ) + g(t t0 )2
2
2
Aparentemente tenemos mas constantes de integracion, sin embargo hay que recordar que t0 es
arbitrario y puedo ser empleado en lugar de una de las constantes de integracion. Por ejemplo podemos
elegir:
x 0
g
En este caso tenemos:
1. t0 =
2
1
x 0
+ g t+
=
2
g
2
x 20 1 x 20 1
x 0
= x0
.
+
+ g t+
g
2 g
2
g
x 2 1
x0 0 + g
g
2
x 0
g
2
2.6.
Teorema de conservaci
on de la Energa
30
X L
q
Mecanica Teorica
Jose A. Oller
X L
q L
q
=0.
A la cantidad:
X L
q L = E = cte,
(2.13)
X L
X T
q L =
q T + V = 2T T + V = T + V .
q
q
Ya que:
1X
M q q ,
2 ,
X T
X
q =
M q q = 2T ,
q
,
T =
ilustracion del teorema de Euler de las funciones homogeneas. En este caso, T es una funcion homogenea
de las velocidades generalizadas de grado 2.
En coordenadas cartesianas:
X1
mi vi2 + V (~r1 , ~r2 , . . . , ~rN ) .
E=
2
i
2.7.
Impetu
31
Mecanica Teorica
Jose A. Oller
X L
i
~ri
~ri = ~
~ri
X L
i
X L
~ri
= ~
X d L
=0
i
dt
~
r
i
= cte. = p~ .
(2.14)
L
q
(2.15)
mpetus generalizados, y las derivadas del Lagrangiano con respecto a las coordenadas generalizadas:
Q =
L
,
q
(2.16)
se denominan fuerzas generalizadas. De esta forma las ecuaciones de Lagrange pueden expresarse como:
p = Q .
(2.17)
Es interesante observar que a partir de (2.14), y aplicando las ecuaciones de Lagrangre, tenemos:
X d L
X
X V
=0
(2.18)
=
F~i =
~ri
dt ~ri
i
i
i
Es decir que la suma de las fuerzas que actuan sobre todas las partculas en un sistema cerrado es nula.
Particularizando (2.18) al caso de dos partculas, obtenemos la ley de accion y reaccion (tercera ley de
Newton).
Si descomponemos el movimiento en una parte relativa al centro de masas y otra propia de este,
tenemos:
~v = ~v + V~
X
X
X
P~ =
mi~v +
mi V~ =
mi V~ ,
i
luego,
P
mi~vi
P~
~
V =P
= Pi
.
i mi
i mi
32
(2.19)
Mecanica Teorica
2.8.
Jose A. Oller
Momento angular
La conservacion del momento angular o cinetico se infiere de la isotropa del espacio, que hace que
para un sistema cerrado el Lagrangiano del mismo sea invariante bajo una rotacion alrededor de un eje
dado ya que no hay direcciones privilegiadas. Considerando una rotacion infinitesimal de angulo y
eje de giro n
, tenemos el siguiente cambio en las coordenadas y velocidades de las partculas a primer
orden en ,
~ ~ri , ~vi =
~ ~vi ,
~ri =
(2.20)
~=n
donde
. Ademas tenemos que:
L = 0 =
X L
i
X
L
~ri +
~vi =
p~i ~ri + p~i ~vi
~ri
~vi
i
i
Xh
X
~ ~ri + p~i
~ ~vi =
~
=
p~i
~ri p~i + ~vi p~i = 0 .
i
Es decir:
d
dt
X
i
~ri p~
~ =
=0L
X
i
(2.21)
Que es la ley de conservacion del momento angular o cinetico, para sistemas cerrados. Aunque el
sistema no este aislado, siempre que las fuerzas externas al sistema sean simetricas respecto a una
cierta direccion, los desarrollos anteriores conducen a que la componente del momento angular a lo
largo de dicha direccion se conserva. Tengase en cuenta que las manipulaciones llevadas a cabo en esta
y en la seccion anterior, una vez empleadas las ecuaciones de movimiento de Lagrange en coordenadas
cartesianas, solo son validas ante la ausencia de ligaduras. No obstante, ante la presencia de ligaduras
holonomicas para sistemas cerrados siempre es posible definir un momento lineal y angular invariante
empleando el formalismo del teorema de Noether (2.12) y aplicandolo a traslaciones y rotaciones,
respectivamente, si las ligaduras son a su vez invariantes, en orden, bajo traslaciones y rotaciones.
2.9.
Transformaciones de escala
(2.22)
(2.23)
Mecanica Teorica
Jose A. Oller
Por tanto:
~vi =
d~ri
2
d~ri
~vi =
=
~
v
T
i
dt
dt
L(~r , ~v ) = T V
(2.24)
2
T k V = k L ,
2
(2.25)
si y solo si:
2
= k = 1k/2 ,
2
(2.26)
1k/2
(2.27)
k/2
E /E = (l /l) ,
L /L = (l /l)
1+k/2
(2.28)
Los cuadrados de los tiempos de cada de un cuerpo en el campo de gravedad terrestre dependen,
en proporcion directa, de la altura inicial de cada de dichos cuerpos.
3/2
El cuadrado del perodo de revolucion es proporcional a los cubos de las dimensiones lineales de
las orbitas (tercera ley de Kepler).
34
Mecanica Teorica
Jose A. Oller
dF
, y F (t) no toma valores infinitos:
dt
Z
1 dF
F ( ) F (0)
f = lm
dt = lm
=0.
0 dt
k
E =E =T +V = V +V =
2
Se sigue pues:
k
1+
2
2
E,
k+2
k
T =
E.
k+2
(2.30)
V .
(2.31)
V =
Algunos ejemplos:
3
35
(2.32)
Mecanica Teorica
Jose A. Oller
Pequenas oscilaciones, k = 2,
T = V = E/2 .
Interaccion Newtoniana o Coulombiana, k = 1,
E = T .
2.10.
El problema de tres cuerpos se puede resolver de forma elemental y cerrada si se supone que el
triangulo formado por los tres cuerpos celestes siempre permanece semejante a s mismo.
Mostraremos en este caso que:
1. El plano que incluye los tres puntos masivos queda fijo en el espacio.
2. La resultante de las fuerzas Newtonianas sobre cada uno de los tres puntos pasa a traves de su
centro de masa comun.
3. El triangulo formado por ellos es equilatero.
4. Los tres cuerpos describen conicas semejantes unas a las otras con el centro de masa comun en
uno de los focos.
Sin perdida de generalidad tomamos el centro de masa (CM), O, en reposo. Sea S el plano que pasa
a traves de los tres puntos P1 , P2 y P3 (masas m1 , m2 y m3 , respectivamente) y, por tanto, tambien
incluye el CM, O. El plano S rota alrededor de O, que es fijo. Esta rotacion tendra, en general, una
componente a lo largo de la normal a S a traves de O.
Consideremos un sistema de referencia fijo en S desde el que observamos el movimiento de los
puntos Pk , k = 1, 2, 3. El sistema O fijo en S es no inercial, ya que respecto al espacio rota con una
velocidad angular
~ . Si llamamos ~vk a la velocidad observada en S desde O y w
~ k a aquella observada
por el observador inercial, tenemos:
w
~ k = ~vk +
~ ~rk ,
(2.33)
ya que durante el intervalo dt el sistema S rota respecto del sistema inercial. Del mismo modo en un
intervalo de tiempo dt tendremos,
dw
~ k = d~vk +
~ ~vk dt + d(~ ~rk ) +
~ (~ ~rk ) dt ,
(2.34)
donde el segundo y cuarto sumandos tienen en cuenta la variacion en los vectores ~vk y ~rk , referidos al
sistema de referencia en S, debido a la rotacion del mismo. Con ello, la aceleracion desde el sistema
de referencia inercial en funcion de las observaciones del sistema de referencia no inercial en S viene
dada por,
dw
~k
d~vk d~
F~k
=
+
~rk + 2~ ~vk +
~ (~ ~vk ) =
,
dt
dt
dt
mk
36
(2.35)
Mecanica Teorica
Jose A. Oller
donde en la ultima igualdad hemos aplicado la segunda ley de Newton, valida en el sistema de referencia
inercial, con F~k la resultante de las fuerzas Newtonianas sobre la partcula k. Por otra parte,
~ (~ ~rk ) =
~ (~ ~rk ) ~rk (~
~) =
~ (~ ~rk ) 2~rk .
(2.36)
F~k
d~vk
+
~ ~rk + 2~ ~vk +
~ (~ ~rk ) 2~rk .
=
mk
dt
(2.37)
(2.38)
Luego:
Por ejemplo:
Fijamos el sistema de coordenadas cartesianas en S, con origen en O, con los ejes x e y arbitrariamente
orientados en el plano S. En O, el eje z es perpendicular a S. La componente 3 queda determinada
tal que la direccion de uno de los vectores OP k este fijada en S. Como hemos supuesto que el triangulo
P\
on de cualquiera de los otros dos vectores
1 P2 P3 se ha de mantener semejante ello implica que la direcci
(2.39)
en S, y donde ak , bk son las coordenadas iniciales de Pk en algun tiempo dado. El factor (t) determina
el cambio en las longitudes de los vectores,
~vk = (t)(a
k , bk , 0) ,
dvk
k , bk , 0) .
= (a
dt
(2.40)
(2.41)
22 + 3 1 2 ak + 21 + 3 2 + 1 bk = 0 ,
{z
}
{z
}
|
|
f (t)
g(t)
(2.42)
(2.43)
Mecanica Teorica
Jose A. Oller
Sin embargo, puesto que los puntos son no colineales se sigue que f = g = 0, puesto que de lo
contrario la pendiente sera la misma para las rectas que unen los puntos materiales con O y seran por
tanto colineales. De este modo,
1 = (3 2 + 1 ) ,
2
2 = (3 1 2 ) .
2
(2.44)
.
2 =
12 + 22
(2.45)
(2.46)
Lk
,
2
bk (12 + 22 + 32 ) =
Mk
.
2
k + 23 a
k + 3 ak + 2 (1 ak + 2 bk )
b
Agrupando factores:
n
o
n
o
( 2 + 2 ) ak 23 + (3 1 2 ) bk = Lk ,
2
3
2
o
n
o
n
( 2 + 2 ) bk = Mk ,
23 + (1 2 + 3 ) ak +
1
3
2
(2.47)
con k = 1, 2, 3. As los {...} satisfacen tres ecuaciones lineales con coeficientes constantes y por tanto
deben ser constantes (si el determinante se anulase los vectores seran colineales). Se sigue entonces
que la diferencia del primer y cuarto parentesis y del segundo y tercero, seran constantes divididas por
2 .
12 22 =
B
A
, 21 2 = 3 ,
3
(2.48)
o equivalentemente,
(1 i2 )2 =
A iB
.
3
38
(2.49)
Mecanica Teorica
Jose A. Oller
12 + 22 = A2 + B 2 /3 , D = A2 + B 2 .
(2.50)
C
= cte.
D
(2.51)
A no ser que tanto C como D se anulen.4 De acuerdo con (2.48), = cte. hara que 1 y 2 fueran
constantes, luego a partir de (2.44), 3 tendra que ser cero o bien 1 = 2 = 0. Si 3 = 0, y
como 2 es constante en cualquier caso, por una eleccion adecuada de coordenadas x, y podramos
incluso hacer 2 = 0. Pero entonces, de (2.47), obtendramos que Lk = 0. En ese caso los tres puntos
seran colineales, en contradiccion con nuestra hipotesis. Por lo tanto solo queda la posibilidad de que
1 = 2 = 0 y as C = D = 0. Esto prueba nuestra primera afirmacion: el plano S gira segun 3 (eje
normal a s mismo) y se mantiene fijo en el espacio.
Como los puntos respecto de S solo se contraen o dilatan, no contribuye este movimiento a la
velocidad areolar, es decir, al modulo de la tercera componente del momento angular del movimiento
de los tres puntos respecto de O segun el sistema de referencia inercial. As, solo hay contribucion
debido al movimiento de rotacion de S a la tercera componente del momento angular que se conserva
al ser un sistema cerrado:
X
X
cte. = 3
mk (a2k + b2k ) .
mk |~rk |2 = 3 2
k
(2.52)
3 + 2 3 = 0 .
2
(2.53)
De lo que sigue:
2
En particular,
Lk
Mk
2
=
=
.
ak
bk
(2.54)
L1
M1
=
, por lo que para F1 tenemos:
a1
b1
m1
|~r1 F~1 | =
|a1 M1 b1 L1 | = 0 .
(2.55)
Notemos que ~r1 F~1 solo puede tener componente perpendicular al plano S. As que F~1 pasa por el
centro de masa O. Lo mismo ocurre para F~2 y F~3 . Esta es nuestra segunda afirmacion: la resultante
de las fuerzas que actuan sobre Pk pasa por el centro de masa de las partculas mk .
4
39
Mecanica Teorica
Jose A. Oller
(2.56)
Por definicion del centro de masa, y puesto que el origen coincide con este,
m1~r1 + m2~r2 + m3~r3 = 0 .
(2.57)
Por lo tanto:
m2~r1 ~r2 + m3~r1 ~r3 = m1~r1 ~r1 = 0 .
As que:
1
1
~r1 F~1
=0,
= m2~r1 ~r2
m1 G
|~r1 ~r2 |2 |~r3 ~r1 |2
(2.58)
(2.59)
luego,
Analogamente para |~r3 ~r2 | = |~r1 ~r2 |, etc. Luego hemos demostrado nuestra tercera afirmacion: el
triangulo formado por los tres puntos materiales es equilatero.
Los cocientes Lakk y Mbkk , de (2.54) pueden ser cada uno de ellos determinados. Para este fin, sea
(t)s el lado del triangulo, donde s:
s2 = (a2 a1 )2 + (b2 b1 )2 = (a3 a2 )2 + (b3 a2 )2 =
(2.60)
s
s
s
s
L1
G
= 3 {m2 (a2 a1 ) + m3 (a3 a1 )} =
a1
sa
G
= 3 {m1 a1 m2 a1 m3 a1 } =
s a1
G
= 3 {m1 m2 m3 } .
s
Analogos resultados se siguen para el resto de
Lk
ak
y tambien para
Mk
.
bk
(2.61)
2
G
G
= 3 (m1 + m2 + m3 ) = 3 M .
s
s
(2.62)
P
Donde M = 3i=1 mi . Esta ecuacion describe la variacion de con el tiempo y con ello el ritmo con
el que el triangulo en S se contrae o dilata.
40
Mecanica Teorica
Jose A. Oller
Hay una forma mas simple de determinar la forma de las trayectorias. Para ello, abandonamos el
sistema de referencia no inercial S y observamos el movimiento desde un sistema de referencia inercial
S , que coincide con S pero fijo en el espacio (no rota). Entonces:
1/2
2
2
mk 2
mk
2 1/2
2G
2
2G
2
|Fk | = 2 Lk + Mk
= 2 ak 6 M + b k 6 M
s
s
Gmk
Gmk
1/2
1/2
= 2 3 M a2k + b2k
.
= 2 3 M a2k + b2k
s
s
(2.63)
La unica cantidad que vara con el tiempo en el miembro derecho es 2 , que con (2.39), puede ser
expresada en terminos de |~rk |:
2 =
mk
|~rk |2
.
a2k + b2k
(a2 + b2 )
= mk k 3 k
s
(2.64)
3/2
Gmk M
.
|~rk |2
(2.65)
(2.66)
|Fk | =
Recordemos que las fuerzas estan en el vector OP k apuntando al centro de masas. As, como en el
problema de dos cuerpos, cada una de los puntos Pk describe una conica con un foco en O.
Ahora debemos ver si estas conicas son similares entre s. Para ello sea el instante de tiempo tal que
= extr , donde la distancia de mk , para todo k, a O alcanza su maximo, dado por,
estas condiciones iniciales. Las posiciones de las conicas se distinguen por los angulos que los OP k
forma entre s. Con esto hemos probado la cuarta afirmacion. Si las masas son iguales m1 = m2 = m3 ,
el CM coincide con la interseccion de las medianas y las conicas estan desplazadas una respecto a la
otra 120o .
2.11.
Gauss invento el metodo de los mnimos cuadrados. Establecio el principio de la ligadura mnima en
mecanica clasica, diciendo:
Es remarcable que la Naturaleza modifique los movimientos libres incompatibles con
las ligaduras del mismo modo que el matematico utiliza los mnimos cuadrados para poner
de acuerdo resultados que estan basados en cantidades conectadas entre s por relaciones
de necesidad.
41
Mecanica Teorica
Jose A. Oller
Construimos este mnimo cuadrado de desviacion respecto al movimiento libre (aquel donde las
ligaduras no actuan):
2 X
3N
Xk
1
Z=
mk xk
=
(mk xk Xk )2 .
mk
mk
k=1
k=1
3N
X
(2.67)
~r1 = (x1 , x2 , x3 ),
(a)
F~1 = (X1 , X2 , X3 ) ,
(2.68)
(a)
y as sucesivamente, en saltos de 3, para el resto de partculas. Ademas, F~i son las fuerzas aplicadas
y mk xk Xk es la fuerza perdida (la parte de Xk que no se aprovecha para producir movimiento).
Hagamos:
Z = 0 ,
(2.69)
+
2
x
+
xk = 0 ,
k
l
k
dt2
xk xl
txk
t2
xk
k,l
k
k
(2.70)
xk = 0 ,
x
k
k
(2.71)
que fija las relaciones de ligadura entre las aceleraciones. Aplicamos el metodo de los multiplicadores
de Lagrange:
2
X
I,k
I (t)
fI
xk = 0 ,
xk
(2.72)
N
otese que el principio de Gauss se refiere a un tiempo t fijo en el que el estado del sistema est
a dado y por
ende xk = x k = 0.
42
Mecanica Teorica
Jose A. Oller
3N
X
k=1
mk
Xk
xk
mk
xk
I (t)
I,k
fI
xk
xk
. (2.73)
Agrupando terminos:
Z = 2
3N
X
k=1
mk xk Xk
X
I
fI
I (t)
xk
xk = 0 .
(2.74)
Por supuesto la relacion anterior solo se satisface para el movimiento real del sistema xk (t). Tenemos K
ligaduras y elegimos los I (t) tal que cancelen K sumandos de (2.74), y el resto son ya independientes
y, por tanto, se anulan uno a uno. En ambos casos se sigue:
mk xk Xk
I (t)
fI
=0.
xk
(2.75)
Estas
son las ecuaciones de Lagrange de primera especie. Tenemos por tanto 3N ecuaciones y K
ligaduras para 3N funciones xk (t) y K multiplicadores I (t).
Para el caso especial (c), tenemos, en particular:
X
AIk x k = 0
(2.76)
k
(2.77)
2.12.
2.12.1.
Ligaduras holon
omicas
En este caso:
fI (q, t) = 0,
I = 1, . . . , K .
(2.78)
X fI
q ,
K
XX
43
I=1
fI
q = 0 .
q
(2.79)
Mecanica Teorica
Jose A. Oller
S =
I
dt
q
q
t1
I=1
(2.80)
Elegimos K multiplicadores I (t) tal que cancelen los correspondientes sumandos en (2.80), siendo el
resto linealmente independientes por ser ahora arbitrarios los q . Por lo tanto podemos escribir:
d L
L X fI
I
=0.
dt q q
q
(2.81)
Estas ecuaciones son las mismas que las ecuaciones de Lagrange obtenidas a partir del Lagrangiano,
L=L+
K
X
I (t)fI ,
(2.82)
I=1
P
con L = L + K
on de la correspondiente
I=1 I (t)fI , imponiendo finalmente, tras la minimizaci
accion, que fI = 0, para todo I.
En definitiva tenemos n ecuaciones diferenciales, K ligaduras, n grados de libertad y K multiplicadores de Lagrange. Las n ecuaciones diferenciales de segundo orden dan a su vez lugar a las
2n constantes de integracion arbitrarias que se determinan a partir de las condiciones iniciales del
movimiento. De las 2n constantes de integracion solo 2n K son independientes dada la existencia
de las K ligaduras. Recordemos que los multiplicadores de Lagrange se ponen en funcion de las q (t)
y, al particularizar las ligaduras a t = 0, estas implican K restricciones que afectan a las coordenadas
iniciales.
Este caso se generaliza de forma directa a un tipo especial de ligaduras no holonomicas, es decir,
P
fI
aquellas que son del tipo AI (q, t)q = 0. Basta hacer el intercambio
AI , al igual que
q
en (2.77), y obtenemos:
K
d L
L X
I AI = 0 .
dt q q I=1
(2.83)
Aunque ahora no se puede obtener un nuevo Lagrangiano L a partir del cual derivar las ecuaciones
anterior como ecuaciones de Lagrange puesto que las ligaduras son no integrables.
44
Mecanica Teorica
2.12.2.
Jose A. Oller
Ligaduras no holon
omicas
Z t2 X
Z t2 X
fI
d L
L
fI
dt
dt
I
S = 0 =
q +
q + I
q
dt q q
q
q
t1
t1
,I
Z t2 X
Z t2 X
fI
d L
fI
L
d
dt
dt
I
I
=
q +
q = 0 .
dt
q
q
dt
t1
t
1
,I
(2.84)
I
dt q q
q dt
q
I=1
(2.85)
Estas n ecuaciones no tienen sentido fsicamente ya que en ellas los I (t) han de satisfacer una ecuacion
diferencial de primer orden, con lo que se generan 2n+K constantes de integracion. De las n ecuaciones
diferenciales K son empleadas para fijar los multiplicadores de Lagrange, y el resto, n K, junto con
las K ligaduras, nos permiten determinar q (t) en funcion de q (0), q (0) y I (0). Sin embargo, solo
nos es posible conocer el estado del sistema en un cierto instante de tiempo, que podemos tomar como
el inicial, y con ello determinar q (0), q (0). Por ello, no hay posibilidad de conocer los valores iniciales
I (0).6
En este caso, mas general, hay que modificar las restricciones impuestas sobre los q en el principio
de Hamilton debido a las ligaduras semiholonomicas. Recordemos que en el caso holonomico obtenamos
una relacion de la forma:
X fI
fI =
q = 0 .
(2.86)
q
Procedemos a reinterpretar y generalizar este resultado. Podemos, para ello, considerar que (2.86) es
un producto de vectores, siendo los q ortogonales a los vectores fI /q . Es decir, una relacion de
fI
fI
ortogonalidad en el espacio de configuracion entre los K vectores (
, ,
) y los vectores de
q1
qn
posicion (q1 , , qn ). Derivemos temporalmente las ligaduras,
X fI
fI
dfI
=
q +
= gI (q, q,
t) = 0 ,
dt
q
t
(2.87)
X fI
X gI
d2fI
gI
=0.
=
q + 2
q +
dt2
q
q
t
N
otese que por definicion si q (t) = q (q(0), q(0),
45
Mecanica Teorica
Jose A. Oller
Justamente los q , tal y como hemos visto de (2.86), son ortogonales a los vectores fI /q que dan la
fI
fI
, ,
).
proyeccion de las aceleraciones en el espacio K-dimensional generado por los vectores (
q1
qn
Hacemos la suposicion de que las ligaduras solo afectan a las aceleraciones a traves de la ecuacion
anterior, o analogas, y que los desplazamientos q en el principio de Hamilton deben ser ortogonales
a los vectores sobre los que se proyectan las aceleraciones. Por lo tanto, para nuestras ligaduras no
holonomicas fI = fI (q, q,
t) tenemos,
X fI
X fI
gI
dfI
=
.
q +
q +
dt
q
q
t
(2.88)
As, hemos de imponer que las ligaduras vecinas en las que se evalua la accion cumplan
X fI
q = 0 ,
(2.89)
que es una condicion distinta al cumplimiento de las ligaduras. Es decir, estamos comparando la
trayectoria real del sistema, que s que cumple las ligaduras, con otras que no las cumplen en general,
sino que satisfacen la ecuacion anterior.
Llevando esta restriccion a la variacion de la accion, y empleando multiplicadores de Lagrange:
)
Z t2 X (
K
d L
L X fI
dt
S =
I
q dt .
(2.90)
dt
t1
I=1
Y, de nuevo, elegimos K multiplicadores I , de forma que se anulen K sumandos de (2.90), por lo
que las ecuaciones de Lagrange quedan en la forma:
K
X fI
d L
L
=
.
I
dt q q
I=1
Si las ligaduras son de la forma fI =
(2.91)
fI
= AI y se aplica entonces
q
(2.91).
Aunque hemos llegado a (2.89) por analoga con el caso holonomico, dicha ecuacion puede ser de
hecho deducida a partir del principio de la ligadura mnima de Gauss, seccion 2.11. En dicho principio
variacional el estado del sistema esta fijo con lo que se impone que xk = x k = 0 y, as, las ligagudras
semiholonomicas, fI (q, q,
t) = 0 se cumplen directamente tanto para la trayectoria real del sistema como
para las trayectorias vecinas donde tambien se evalua Z, vease la ecuacion (2.67) para su definicion.
Tengase en cuenta que las coordenadas generalizadas q son funcion de q (x, t) y con ello q(x,
x,
t),
por lo tanto, q = q = 0. Derivando respecto del tiempo la ligadura fI (q, q,
t) = 0 y tomando su
variacion,7 llegamos a que:
X fI
q = 0 .
(2.92)
46
Mecanica Teorica
Jose A. Oller
x3
x2
x1
~v
I (t)
a Z, tenemos:
X fI
I (t)
q = 0 ,
X fI
q = 0 .
(2.93)
(2.94)
L
d L
,
dt q q
I
=
I
,
dt q q
(2.95)
(2.96)
equivalentemente,
cos = 0 ,
x 1 R
sen = 0 ,
x 2 R
(2.97)
f1 = x 21 + x 22 R2 2 = 0 ,
(2.98)
f2 = x 1 sen x 2 cos = 0 .
(2.99)
Consideremos I0 e I1 , los respectivos momentos de inercia asociados al giro del disco al rodar() y al
girar sobre s mismo(), respectivamente. Entonces el Lagrangiano es:
1
1
1
L = T V = I0 2 + I1 2 + m(x 21 + x 22 )
2
2
2
47
(2.100)
Mecanica Teorica
Jose A. Oller
Aplicando (2.91) obtenemos las ecuaciones de Lagrange para cada coordenada. Pero antes de escribirlas
calculemos las siguientes derivadas:
Coordenada :
f2
d L
f1
L
L
= I0 ,
= 2R2 ,
=0,
=0,
= I0 .
dt
Coordenada :
L
f1
f2
L
d L
=0,
= I1 ,
=0,
=0,
= I1 .
dt
Coordenada x1 :
f1
f2
L
d L
L
= mx1 ,
= 2x1 ,
= sen ,
=0,
= mx1 .
x1
x1
x1
x1
dt x1
Coordenada x2 :
f1
f2
L
d L
L
= mx2 ,
= 2x2 ,
= cos ,
=0,
= mx2 .
x2
x2
x2
x2
dt x2
Combinando las derivadas segun (2.91) obtenemos las ecuaciones de movimiento:
m
x1 = 21 x 1 + 2 sen ,
(2.101)
m
x2 = 21 x 2 2 cos ,
I0 = 21 R2 ,
(2.102)
I1 = 0 .
(2.103)
(2.104)
Multiplicando (2.101) por x 1 y (2.102) por x 2 , y teniendo en cuenta las condiciones de ligadura (2.98)
y (2.99), se deduce:
md 2
(x 1 + x 22 ) = 21 R2 2 ,
2 dt
m d 2 2
= 21 R2 2 ,
R
2 dt
m = 21
En la expresion anterior, despejamos a traves de (2.103) y agrupamos terminos:
mR2
=0
21 1 +
I0
48
(2.105)
(2.106)
Mecanica Teorica
Jose A. Oller
Luego:
1 = 0
(2.107)
2 = m (
x1 sen x2 cos ) = m
(2.108)
donde hemos tenido en cuenta la ligadura (2.99). Por otra parte, de (2.103)
= cte.
(2.109)
Ademas:
0ligadura (2.99)
z
}|
{
d
(x 1 cos + x 2 sen ) = (x 1 sen x 2 cos ) +
dt
x1 cos + x2 sen
{z
}
|
= 0 . (2.110)
=
=
=
=
m sen
m cos
0
0
(2.111)
(2.112)
(2.113)
(2.114)
x1 (t) = 2 sen (t + 0 ) + 1 t + 1 ,
cos (t + 0 ) + 2 t + 2 ,
x2 (t) =
2
(2.115)
(2.116)
(2.117)
(2.118)
donde hemos supuesto que 6= 0. Estudiemos a continuacion la verificacion de las ligaduras. Para ello:
x 21 + x 22 = R2 2 ,
(2.119)
implica que,
2
21
cos (t + 0 )
+ 12 + 22
2
22
sen (t + 0 ) = R2 2 , (2.120)
49
Mecanica Teorica
Jose A. Oller
por tanto,
21 cos (t + 0 ) + 22 sen (t + 0 ) = 0 ,
2
+ 12 + 22 = R2 w2 .
2
(2.121)
x1 = 2 sen(t + 0 ) + 1 ,
x2 =
cos(t + 0 ) + 2 .
2
(2.122)
La segunda ligadura (2.99) se verifica de forma directa. El movimiento corresponde en este caso a que
el disco rueda alrededor del punto (1 , 2 ) con un radio /2 . El valor de se puede determinar a
partir de las condiciones iniciales que fijan el radio de giro y las velocidades angulares.
En el caso en que = 0 entonces x1 y x2 siguen movimientos lineales:
(t)
(t)
x1
x2
=
=
=
=
t + 0 ,
t + 0 ,
1 + 1 t ,
2 + 2 t .
(2.123)
con lo que ademas = 0. Este caso corresponde al movimiento del disco sobre s mismo alrededor del
eje contenido en el disco que pasa por el centro del mismo y perpendicular al plano (x1 , x2 ), cruzandolo
en el punto (1 ,2 ).
Supongamos ahora que = 0. En este caso:
= 0 , = t + 0 ,
1
x1 = 1 + 1 t + sen 0 t2 ,
2
1
x2 = 2 + 2 t cos 0 t2 .
2
(2.124)
Sustituyendo en (2.98):
(1 + sen 0 t)2 + (2 cos 0 t)2 = R2 2 , desarrollando,
2 t2 + 12 + 22 + 21 sen 0 t 22 cos 0 t = R2 w2 ,
50
(2.125)
Mecanica Teorica
Jose A. Oller
de donde se sigue que = 0. Por lo que tenemos un movimiento de rodadura lineal, es decir, a lo largo
de una direccion fija.
x1 = 1 + 1 t ,
x2 = 2 + 2 t .
(2.126)
2.13.
(2.127)
Supongamos que el Lagrangiano no depende de una coordenada qj . Entonces dicha variable se llama
ignorable o cclica.
L
En este supuesto, el momento generalizado o conjugado pj =
es una constante de movimiento
qj
puesto que de las ecuaciones de movimiento:
dpj
L
=
=0,
dt
qj
pj = cte. = cj .
As qj se puede despejar en funcion de cj y del resto de coordenadas y velocidades generalizadas
(sin involucrar a qj , ya que no aparece),
cj =
L
qj = qj (cj , q, q,
t) , sin qj ni qj .
qj
(2.128)
Supongamos que exista una sola coordenada cclica (la generalizacion a mas de una coordenada
cclica es trivial), y llamemosla qn :
L
= cn ,
qn
qn = qn (q1 , . . . , qn1 ; q1 , . . . , qn1 ; cn ; t) .
(2.129)
(2.130)
Donde quiera que encontremos qn o qn en las ecuaciones de Lagrange derivadas a partir del Lagrangiano
L(q1 , . . . , qn1 , q1 , . . . , qn , t) con ngrados de libertad, las sustituimos por (2.130), o su derivada, y
resolvemos el problema con n 1 grados de libertad. Una vez resuelto, podemos integrar (2.130) y
obtener as qn (t) por cuadratura. Este procedimiento es, sin embargo, a posteriori.
Nos podemos preguntar si podramos eliminar el grado de libertad nesimo, esto es, qn , antes de
escribir las ecuaciones de movimiento, mediante el empleo de un Lagrangiano adecuado en terminos
de solo (n 1)-grados de libertad, esto es, de q1 , q2 , . . . , qn1 y sus derivadas primeras.
En la accion,
Z t2
S=
L(q1 , . . . , qn1 , q1 , . . . , qn , t)dt ,
t1
51
Mecanica Teorica
Jose A. Oller
(2.131)
Al hacer esto para toda trayectoria, qn es entonces funcion del resto de coordenadas generalizadas, al
hallarlo por cuadratura de integrar (2.131). As qn no sera nulo en general en t1 ni en t2 cuando se
halle la variacion de la accion tomando qk (t1,2 ) = 0 para k = 1, . . . , n 1. Efectivamente,
Z t
qn (q1 , . . . , qn1 , q1 , . . . , qn1 , t )dt ,
qn (t) =
qn (t) =
Z tX
n1
qn
qn
qi +
qi dt ,
qi
qi
i=1
(2.132)
(2.134)
t1
(L pn qn ) dt = 0 ,
(2.135)
t1
(2.136)
Recordemos que qn = qn (q1 , . . . , qn1 , q1 , . . . , qn1 ; cn ; t) y por tanto qn (t) se obtiene por cuadratura
una vez obtenidos q1 (t), . . . , qn1 (t). Es importante resaltar que las ecuaciones de Lagrange deducidas
a partir de L no contienen qn ni qn y directamente corresponden a un problema de n 1 grados de
libertad. Esto justifica de forma clara el que las coordenadas qn se llamen ignorables.
En el caso de varias variables, la generalizacion es:
X
L=L
ck qk .
(2.137)
k
Esquematicamente el proceso a seguir para eliminar una variable cclica mediante este metodo general
es:
8
52
Mecanica Teorica
Jose A. Oller
(a)
(b)
(2.138)
con el Lagrangiano:
L = T V (q1 , . . . , qn1 , t) .
(2.139)
El primer paso para eliminar las coordenadas cclicas es identificarlas y calcular los momentos generalizados asociadas a ellas mediante las ecuaciones de Lagrange:
n1
X
X
L
T
pn =
=
=
ain qi + ann qn =
ain qi = cn .
qn
qn
i=1
i=1
(2.140)
n1
n1
1 X
1 X
aik qi qk
ain ajn qi qj
2 i,k=1
2ann i,j=1
53
n1
1 2
cn X
ain qi V . (2.142)
c +
2ann n ann i=1
Mecanica Teorica
Jose A. Oller
2
Obtenemos
P terminos lineales en qi y el termino de potencial cn /2ann . La aparicion del termino lineal
en L, i ain qi cn se llama un acoplo cinetico dado que involucra las velocidades. El nuevo termino
cuadratico en las velocidades se puede considerar simplemente como una modificacion de la energa
cinetica original.
En particular, el termino c2n /2ann (q1 , . . . , qn1 ), es famoso por aparecer en la llamada mecanica sin
fuerzas de Hertz (powerless dynamics). En sus ultimos anos, Hertz intento elaborar la Mecanica
prescindiendo de la nocion de fuerza, de forma que toda energa potencial pudiese ser derivada a
partir de la presencia de variables microscopicas ignorables a traves de los terminos de potencial del
tipo c2n /2ann . De este modo desaparecera la dualidad existente en mecanica entre energa cinetica y
potencial. Hertz murio en Bonn el 1 de Enero de 1894, poco despues de terminar su obra Sobre los
principios de la Mecanica9 , en la que expona estas ideas.
2.14.
El tiempo como variable cclica o ignorable: el principio de Jacobi y el principio de mnima acci
on
Sea un sistema cuyo Lagrangiano no contiene el tiempo explcitamente. No tomamos t como variable
independiente, sino que todas las n + 1 variables q1 , . . . , qn y t se toman como funcion de un parametro
. El sistema tiene ahora n + 1 grados de libertad. Con el cambio:
qi =
dqi
dqi d
q
=
= i ,
dt
d dt
t
(2.143)
L(q1 , . . . , qn ,
1
qn
q1
,
.
.
.
,
)t d .
t
t
(2.144)
= 0,
dt qi qi
(2.145)
con L el Lagrangiano original, es decir, se recuperan las ecuaciones de Lagrange asociadas a las
coordenadas generalizadas. Para la nueva variable t tenemos:
d (L(q, q /t )t ) (Lt )
d (L(q, q /t )t )
=
=0,
d
t
t
d
t
que es equivalente a que:
(2.146)
dH
=0,
(2.147)
d
as la conservacion de la energa se obtiene como una ecuacion de movimiento mas. Vemos por tanto
que las ecuaciones de movimiento deducidas a partir de hacer estacionario (2.144) son equivalentes a
9
Hertz, H., (1894). The Principles of Mechanics, Presented in a New Form. Dover, Nueva York, 1956.
54
Mecanica Teorica
Jose A. Oller
las ecuaciones de Lagrange obtenidas a partir del principio de Hamilton. En (2.146) y (2.147) se ha
tenido en cuenta que:
n
pt
X L q
X
(Lt )
i
=
L
=
L
pi qi = H ,
=
t
qi t
i=1
i=1
(2.148)
2
1
n
X
n
X
pi qi t .
(2.149)
i=1
pi qi t d ,
(2.150)
i=1
con t expresada en terminos del resto de variables despejandola de (2.148). Por ser t variable cclica no
existe dependencia temporal explcita en la energa cinetica y entonces siempre se puede tomar como
una funcion cuadratica en qi , recordar (1.66). De esta forma:
n
X
pi qi t =
i=1
n
X
L
i=1
qi
qi t = 2T t .
T t d = 2
1
(2.151)
t2
T dt ,
(2.152)
t1
recordando una vez mas que t no es una variable independiente sino que se obtiene de integrar t ( )
obtenida a partir de pt = E = (Lt )/t = T (q, q)
V (q) =constante. Buscar los extremos
de (2.152), teniendo en cuenta que el tiempo no es una variable independiente, se conoce como el
principio de mnima accion. La ecuacion E = T + V es justo la ecuacion adicional necesaria para
hallar t en funcion del resto de variables.
Para obtener t como funcion de , consideremos la expresion de la energa cinetica:
1X
aik qi qk .
T =
2 i,k
T es invariante y ademas independiente del sistema de coordenadas utilizado. Introduzcamos en el
espacio de configuracion una metrica tal que el elemento infinitesimal de longitud viene dado por:
X
2
ds =
aik dqi dqk .
(2.153)
i,k
55
Mecanica Teorica
Jose A. Oller
(2.154)
2
1
2T ds
d
2T d
1 ds
ds
1
t =
=p
.
2T d
2(E V ) d
=
2T ds
2
1
(2.155)
p
2 (E V ) ds
{z
}
|
d
d (2.156)
1
1
2 (E V )
ds ,
(2.157)
con lo que se obtiene como se mueve el sistema en el tiempo. Para el caso de una sola partcula:
1
T = m~r 2 ,
2
ds = md~r 2 = m
(2.158)
i,k
La ultima ecuacion representa el elemento de lnea del espacio ordinario tridimensional expresado en
coordenadas curvilneas. El principio de Jacobi nos dice que:
Z 2 p
S=
2 (E V ) ds ,
(2.159)
1
debe ser un mnimo para la trayectoria real de la partcula (como es bien sabido, para su derivacion
solo hemos impuesto que sea un extremo).10
As, la aplicacion del principio de la mnima accion surge como resultado de los siguientes pasos:
10
56
Mecanica Teorica
Jose A. Oller
1) T = T t 2 ,
Z 2
T
d ,
2) S = 2
1 t
3)
T
+V =E .
t 2
La ligadura 3) la podemos tratar tambien introduciendo los multiplicadores de Lagrange, de forma que
ahora t es una variable independiente del resto:
Z 2
T
T
d ,
(2.160)
2 + 2 + V
S=
t
t
1
e imponiendo que S = 0. Minimizando respecto de t obtenemos,
2
T
2 3 T = 0 ( ) = t
2
t
t
V t d =
(T V ) t d =
(T V ) dt .
S=
t 2
1
t1
1
(2.161)
(2.162)
Como ya hemos minimizado respecto de t , la accion anterior debe ser minimizada respecto del resto
de n coordenadas generalizadas qn , tal que qn = 0 en t1 y t2 . De este modo, a partir del principio
de la mnima accion hemos recuperado el principio de Hamilton, desde el que habamos partido. Se
muestra as la equivalencia entre los principios de Hamilton, mnima accion y de Jacobi.
2.15.
Peque
nas vibraciones alrededor de un punto de equilibrio
En este captulo trataremos una teora muy general aplicable al movimiento de un sistema alrededor
de su posicion de equilibrio cuando este sea perturbado ligeramente.
Recordemos nuestra metrica en el espacio de configuracion:
2
ds =
n
X
(2.163)
i,k=1
Si no abandonamos la proximidad del punto de equilibrio, los coeficientes simetricos aik (q) se pueden
tomar como constantes. Esto es, que los aik se pueden aproximar a sus valores en el punto de equilibrio
aik (P ). El punto P de equilibrio siempre lo hacemos corresponder con qi = 0. En lo que sigue los
coeficientes aik (P ) los consideraremos como constantes en todo el espacio de configuracion, aun cuando
sepamos que solo lo podemos hacer, en general, para puntos muy proximos a P .
Al ser los aik constantes, nuestras coordenadas no son curvilneas sino rectilneas. Este espacio es
pues, plano.
57
Mecanica Teorica
Jose A. Oller
s =
n
X
aik qi qk ,
(2.164)
i,k=1
tiene una simple interpretacion geometrica: se trata del cuadrado de la distancia del punto P =
(0, . . . , 0) al punto Q = (q1 . . . , qn ). Podemos pensar en un espacio Eucldeo n-dimensional con un
conjunto linealmente independiente de vectores:
1
0
0
0
1
0
.
.
, ~u2 = , . . . , ~un = . ,
~u1 =
(2.165)
.
.
.
.
.
.
0
0
1
~ este puede ser expresado como:
de modo que dado un R,
~
R = q1~u1 + + qn~un
PQ =
PQ =
q1
q2
.
.
.
qn
(2.166)
(2.167)
(2.168)
i,k
que es una aplicacion bilineal. Por definicion, cuando se anule el producto escalar se dice que los dos
vectores son ortogonales entre s. Dicho producto escalar, a partir de (2.166), tambien se puede expresar
como:
X
~ R
~=
R
(~ui ~uk ) qi qk ,
(2.169)
i,k
con lo que aik = aki = ~ui ~uk , como tambien se puede demostrar directamente de la definicion de
producto escalar (2.168) y de (2.165).
~ consigo mismo:
El producto de R
~2=
R
n
X
i,k=1
(~ui u~k ) qi qk = s2 ,
58
(2.170)
Mecanica Teorica
Jose A. Oller
(2.171)
(2.172)
entonces hablamos tambien de coordenadas rectangulares. Como consecuencia, dados dos puntos P y
Q su distancia no es nula a no ser que P = Q. Esto implica que la forma cuadratica (2.164) es una
forma definida positiva para cualquier valor de qi .
En el espacio de configuracion esta condicion se cumple ya que la energa cinetica que determina
el elemento de lnea (2.163), y con ello la distancia (2.164), nunca puede ser negativa, y ademas solo
puede anularse cuando todos los dqi se cancelen. Esto garantiza el caracter definido positivo de la
metrica aik .
Volvamos a nuestro problema fsico de pequenas oscilaciones. Sea V (q1 , . . . , qn ) la energa potencial
de nuestro sistema fsico. Haciendo un desarrollo de Taylor de esta funcion en las proximidades del
punto de equilibrio (qi = 0):
n
n
X
2V
1 X
V
qi +
qi qk + . . .
(2.173)
V = V0 +
qi 0
2 i,k=1 qi qk 0
i=1
Nuestro punto de equilibrio esta en el origen, por hipotesis. Por tanto, V debe ser tal que:
V
=0.
qi 0
Ademas si el potencial tiene de hecho un mnimo en qi = 0 se debe cumplir que
2
V
,
qi qk 0
(2.174)
(2.175)
sea una forma cuadratica definida positiva, aunque esta condicion no la impondremos en nuestros
siguientes desarrollos.
Los terminos constantes en el potencial, como sabemos, no influyen en las ecuaciones de movimiento
y pueden ser eliminados. De este modo el desarrollo comienza con el termino de segundo orden. Esto
es:
n
n
1 X
1 X 2V
V =
qi qk =
bik qi qk ,
(2.176)
2 i,k qi qk 0
2 i,k=1
con :
bik = bki =
2V
qi qk
59
.
0
(2.177)
Mecanica Teorica
Jose A. Oller
bik qi qk = 1 .
(2.178)
i,k=1
Geometricamente nos define una superficie de segundo orden en el espacio n-dimensional de configuracion. Podemos encontrar los ejes principales de dicha superficie determinando aquellos puntos cuyas
distancias desde el origen (el punto de equilibrio) son extremos (valores estacionarios). Entonces nuestro
problema es encontrar los valores estacionarios de
2
s =
n
X
aik qi qk ,
(2.179)
bik qi qk = 1 .
(2.180)
i,k=1
i,k=1
(2.181)
n
X
i,k=1
bik qi qk
n
X
aik qi qk .
(2.182)
i,k=1
Con lo que nuestro problema de encontrar los ejes se puede reinterpretar como el de encontrar los
valores estacionarios de la funcion,
X
2V =
bik qi qk ,
(2.183)
i,k=1
bajo la condicion:
n
X
aik qi qk = 1 .
(2.184)
i,k=1
Esta condicion auxiliar significa que estamos en una esfera de radio unidad. En cada punto de esta
esfera la energa potencial V posee un cierto valor. Nuestro problema es hallar los puntos Qi de la
esfera unidad para los que V es estacionario.
11
60
Mecanica Teorica
Jose A. Oller
Por lo tanto:
F = 2
n
X
i,k=1
n
X
i=1
bki qk qi 2
bki qi
n
X
n
X
aki qk qi = 0 ,
(2.185)
i,k=1
aki qi = 0 .
(2.186)
i=1
(2.187)
La condicion necesaria para poder obtener una solucion qi no trivial viene dada por la ecuacion caracterstica, que nos permite obtener los ,
b11 a11 . . . b1n a1n
.
.
=0.
.
.
(2.188)
.
.
bn1 an1 . . . bnn ann
Esta
es una ecuacion algebraica de grado n en y en general tendremos n-races:
1 , 2 , . . . , n .
(2.189)
Es posible que algunas de las races sean iguales (races multiples y diremos entonces que se trata de
un caso degenerado). Supondremos en lo que sigue que es posible eliminar estos casos modificando
los coeficientes bik y aik por pequenas cantidades infinitesimales, y tomando despues el paso al lmite,
en el buen entendimiento de que esto no es siempre posible. De esta forma consideraremos en lo que
sigue que todas las i son distintas unas de otras (caso no degenerado).
(i)
(i)
Para cada i tenemos un vector p~i = (q1 , . . . , qn ) que esta definido salvo signo al imponer
normalizacion a la unidad, p~i p~i = 1. Este vector recibe el nombre del i-esimo eje principal de la
superficie (2.180). En total, tenemos un conjunto de n ejes principales p~1 , . . . , p~n correspondientes a
los n valores caractersticos (2.188).
Los ejes principales poseen las siguientes propiedades:
1. Las races i son invariantes con respecto a transformaciones lineales arbitrarias de las coordenadas qi .
Multiplicando la ecuacion (2.186) por qk y sumando en k, tenemos:
n
X
bik qi qk = 2V = ,
i,k=1
61
Mecanica Teorica
Jose A. Oller
con cualquiera de las races i . Tambien hemos considerado (2.184). Dado que cualquier
transformacion general de coordenadas deja invariante V (en particular las lineales), tenemos
que los i son invariantes.
2. Las races son todas reales, y de este modo los ejes principales son n vectores reales del espacio
eucldeo n-dimensional.
Aunque en principio podramos suponer que son complejos, resultan ser reales por la simetra de
los coeficientes aik = aki y bik = bki . De nuevo, de (2.186), tomamos complejos conjugados:
n
X
bik qk
i,k=1
n
X
aik qk .
(2.190)
i,k=1
( )
n
X
aik qi qk = 0 .
(2.191)
i,k=1
(2.192)
( )
n
X
i,k=1
(2.193)
donde
s21
n
X
aik i k ,
s22
i,k=1
n
X
aik i k .
(2.194)
i,k=1
De esta forma, y dado que aik es una forma cuadratica definida positiva, (2.193) se verificara solo
si:
= .
Luego, R.
62
(2.195)
Mecanica Teorica
Jose A. Oller
(2.197)
Lo que determina que p~ y p~ son ortogonales, y por tanto linealmente independientes, por corresponder a races distintas.
4. Los p~i son reales y forman una base ortonormal del espacio Eucldeo n-dimensional.
De nuevo, a partir de (2.186) tomamos el complejo conjugado:
n
X
bik qk
i,k=1
n
X
aik qk .
(2.198)
i,k=1
As p~i y p~ i pertenecen a la misma raz. Como suponemos que esta no es degenerada, se sigue
que:
p~ i = ~pi .
(2.199)
(2.200)
63
(2.201)
Mecanica Teorica
Jose A. Oller
Siendo las ui = p~i OQ las nuevas coordenadas en el sistema de referencia rectangular. De la expresion
anterior resulta la siguiente relacion entre las viejas coordenadas qi de OQ y las nuevas:
q1 = u1 11 + u2 21 + . . .
.
.
.
.
.
.
.
.
.
qn = u1 1n + u2 2n + . . .
+ un n1 ,
.
.
.
+ un nn .
(2.202)
(2.203)
Es decir aik ik , adoptando la forma canonica. Por tanto, operamos con coordenadas cartesianas
ordinarias.
Veamos que ocurre con nuestra energa potencial V a consecuencia de nuestra transformacion. En
principio solo sabamos que V deba ser una forma cuadratica:
n
1 X
V =
b u i uk .
2 i,k=1 ik
(2.204)
bik uk = ui ,
(2.205)
i,k=1
u2k = 1 .
(2.206)
k=1
Los valores de (2.205) pueden ser identificados con los valores obtenidos previamente, pues estos son
invariantes bajo una transformacion lineal. Notemos que (2.205) en el nuevo sistema de coordenadas
se reduce a un problema ordinario de autovalores y autovectores. Mas aun, en el nuevo sistema de
referencia, dado que la misma base esta formada por los ejes principales sabemos la solucion a (2.205),
los mismos vectores que forman la base. As bik es diagonal en esta base tal que bii = i . Luego la
energa potencial asume en el nuevo sistema de referencia la forma diagonal:
V =
1
1 u21 + 2 u22 + . . . + n u2n .
2
(2.207)
As que no solo hemos obtenido que el cuadrado de la distancia s2 asume una forma diagonal, sino
tambien que V es diagonal en el mismo sistema de coordenadas y hemos diagonalizado simultaneamente
dos formas cuadraticas simetricas, siendo una de ellas definida positiva (aik ). La energa cinetica T
adopta la forma:
2
1 ds
1
T =
(2.208)
= (u 21 + . . . + u 2n ) .
2 dt
2
64
Mecanica Teorica
Jose A. Oller
Las ecuaciones de movimiento se simplifican, pasando a ser ecuaciones diferenciales de segundo orden
independientes para cada coordenada:
u1 + 1 u1 = 0 ,
.
.
.
.
.
.
un + n un = 0 ,
de solucion,
ui = Ai cos
i t + Bi sen
i t , i = 1, . . . , n ,
(2.209)
(2.210)
(2.211)
Es decir, deja de ser una solucion periodica y tiene un comportamiento exponencial. El mas
mnimo impulso a lo largo del j-esimo eje (j < 0) es suficiente para producir un movimiento
que se aleja exponencialmente del punto de equilibrio con el tiempo. En este caso hablamos de
equilibrio inestable.12
Conocidas las soluciones ui (t) entonces en las coordenadas originales, en virtud de (2.202), tenemos:
qi (t) =
n
X
uj (t) ji .
(2.212)
j=1
A partir de esta relacion podemos determinar las constantes de integracion Ai y Bi en funcion de las
condiciones iniciales qi (0) y qi (0).
12
65
Captulo 3
Teora de Hamilton
3.1.
Transformaciones de Legendre
El matematico frances Legendre (1752-1833) descubrio una importante transformacion en sus estudios conectados con la solucion de ecuaciones diferenciales.
Sea F una funcion de n variables u1 , . . . , un , y v1 , . . . , vn sus derivadas:
vi =
F
.
ui
(3.1)
(3.2)
Lo que garantiza la independencia de las variables vi . En este caso las ecuaciones (3.1) son invertibles
y podemos obtener:
vi = vi (u1 , . . . , un ),
uj = uj (v1 , . . . , vn ) .
(3.3)
ui (v)vi F (u(v)) .
(3.4)
n
X
i=1
donde las variables ui estan dadas en funcion de las vi . Consideremos una variacion infinitesimal
arbitraria de las vi . En ese caso:
G =
=
n
X
G
vi
i=1
n
X
i=1
vi =
n
X
i=1
(ui vi + ui vi ) F
F
ui vi + vi
ui
66
ui
(3.5)
(3.6)
Mecanica Teorica
Jose A. Oller
(3.7)
Este resultado, junto con (3.1), expresa una clara dualidad de las transformaciones de Legendre, por lo
que estas reciben el nombre de transformaciones duales. El siguiente esquema muestra esta dualidad:
Sistema anterior
Variables: u1 , . . . , un
Funcion: F = F (u1 , . . . , un )
Nuevo sistema
v1 , . . . , vn
G = G(v1 , . . . , vn )
(3.8)
F
vi = u
(a)
Pi
G = i ui v i F
(b)
G = G(v1 , . . . , vn ) (c)
G
ui = v
Pi
F = i ui v i G
F = F (u1 , . . . , un )
n
X
i=1
ui v i F .
(3.9)
Notemos que la nueva funcion G, tambien contiene al conjunto de variables que no intervienen en la
transformacion. A estas variables las llamamos variables pasivas, mientras a las variables que s intervienen las llamamos variables activas. De nuevo, considerando una variacion infinitesimal arbitraria de
las variables wi y vi , tenemos,
X
n
n
X
F
F
G =
vi ui + vi
ui
wi ,
(3.10)
ui
wi
i=1
i=1
y teniendo en cuenta (3.1), que cancela los terminos proporcionales a ui , resulta:
G
= ui
vi
3.2.
G
F
=
wj
wj
(3.11)
(3.12)
Mecanica Teorica
Jose A. Oller
tomando como variables activas las velocidades generalizadas (n variables), mientras que las variables
pasivas seran las coordenadas generalizadas y el tiempo (n + 1 variables).
Siguiendo el procedimiento establecido en la seccion anterior relativo a las transformaciones de
Legendre, tenemos por tanto que:
1. Introducir nuevas variables, momentos generalizados o simplemente momentos:
L
.
qi
pi =
(3.13)
(3.14)
i=1
(3.15)
donde empleando la definicion de las nuevas variables pi (3.13), se expresan las derivadas qi =
qi (q, p, t).
A modo de resumen, y para mostrar la dualidad entre Lagrangiano y Hamiltoniano, presentamos el
esquema:
Sistema anterior
Funcion:
L = L(q, q,
t)
Variables activas: velocidades, qi
Variables pasivas: qi , t
pi = L
qi
P
H = i pi qi L
H = H(q, p, t)
Nuevo sistema
H = H(q, p, t)
momentos, pi
qi , t
(3.16)
qi = H
pi
P
L = i pi qi H
L = L(q, q,
t)
H
L
=
.
t
t
Debemos tener en cuenta que para que (3.13) sea invertible se requiere que:
2
L
qi qj 6= 0 .
68
(3.17)
(3.18)
Mecanica Teorica
3.3.
Jose A. Oller
Ecuaciones can
onicas
(3.19)
L
H
=
.
qi
qi
(3.20)
qi =
Pero ademas de (3.17) tenemos:
pi =
H
,
pi
pi =
H
,
qi
(3.21)
L
,
qi
qi =
H
,
pi
(3.22)
no expresan ninguna ley de movimiento. Simplemente expresan los momentos en terminos de las
velocidades y viceversa. Las ecuaciones de Lagrange estan contenidas en:
pi =
H
.
qi
L
p
= mx x =
.
x
m
Hamiltoniano:
H = px L =
p2
p2
1
p2
1
+ m 2 x2 =
+ m 2 x2 .
m 2m 2
2m 2
p
H
= ,
p
m
p =
69
H
= m 2 x .
x
(3.23)
Mecanica Teorica
Jose A. Oller
Y dado que:
p = m
x m
x = m 2 x
Tenemos:
x + 2 x = 0
Que es justamente la ecuacion de Lagrange.
Esquematicamente, la transformacion de Legendre dando lugar al Hamiltoniano ha implicado:
2n ecuaciones diferenciales de primer orden en el tiempo.
Las derivadas solo aparecen ahora a la izquierda de las ecuaciones:
pi =
H
,
qi
qi =
H
.
pi
3.3.1.
Notas
(3.24)
(3.25)
= 0 , = 1, . . . , n ,
dt s+n s
(3.26)
s+n = s , = 1, . . . , n ,
(3.27)
junto con,
Mecanica Teorica
Jose A. Oller
q,t)
Tengase en cuenta que L
L(q,
. As H es una constante solo si L(q, q,
t) no tiene
t
t
q,p,t
dependencia temporal explcita.
H no siempre sera equivalente a la energa total del sistema. Podemos decir que H es igual a
E = T + V , solo si dado L = T V , T es una funcion homogenea cuadratica en las velocidades.
Cuando el sistema no es aislado puede ocurrir que H no sea la energa total del sistema ya que su
variacion no sera igual, en general, al trabajo realizado sobre el sistema por las fuerzas externas
al mismo. Presentaremos varios ejemplos en los ejercicios.
3.4.
La integral can
onica
El par de ecuaciones (3.21), poseen un doble origen. El primer conjunto, proviene de la transformacion
de Legendre y puede considerarse como una definicion implcita de los momentos pi . El segundo conjunto
de ecuaciones es consecuencia del principio variacional de Hamilton. La simetra del conjunto completo
de ecuaciones sugiere que pueden ser deducidas de un unico principio.
Recordemos la accion,
Z t2
S=
L(q1 , . . . , qn , q1 , . . . , qn , t)dt ,
(3.29)
t1
a partir de la cual, e invocando el principio de Hamilton, se determina el movimiento real del sistema
tal que haga estacionario dicho funcional, S = 0 con las condiciones de que q(t1 ) = q(t2 ) = 0. De
(3.16) podemos tambien escribir:
L=
n
X
i=1
pi qi H(q, p, t) ,
(3.30)
y una vez eliminados los pi , al ser expresados como funciones de los qi , qi y t, a partir de (3.13),
tomar variaciones en (3.29) respecto a cambios en qi . Sin embargo, no es necesario proceder as, ya
que la variacion de L respecto a un cambio de pj (q, q,
t) es identicamente nula para cualquier posible
trayectoria:
L =
n
X
i=1
n
X
H
H
pi qi
pi = 0 ,
pi =
qi
pi
pi
i=1
71
(3.31)
Mecanica Teorica
Jose A. Oller
H(q, p, t)
|(q,p(q,q,t),t)
=0.
pi
(3.32)
i=1
que recibe el nombre de integral canonica y que, imponiendo el principio de Hamilton, se llega a que
el movimiento real del sistema debe cumplir:
#
Z t 2 "X
n
n
X
H
H
pi +
pi qi
qi
dt = 0 .
(3.34)
qi
S =
pi
qi
t1
i=1
i=1
Este
es nuestro nuevo problema variacional con 2n variables. Integrando por partes en (3.34) y recordando que q(t1 ) = q(t2 ) = 0, tenemos:
#
Z t 2 "X
n
n
X
H
H
S =
qi
pi
qi dt = 0 .
(3.35)
pi +
p
q
i
i
t1
i=1
i=1
El primer sumatorio de la derecha se anula identicamente debido a (3.32), mientras que los factores
que multiplican las variaciones arbitrarias e independientes de los qi se deben anular uno a uno, dando
lugar al segundo conjunto de ecuaciones canonicas.
No obstante, llegados a (3.35), podemos igualmente considerar el hecho de hacer estacionaria (3.33)
respecto a variaciones arbitrarias de pi y qi , tal que q(t1 ) = q(t2 ) = 0, como un nuevo principio
variacional del que deducir las ecuaciones canonicas, independientemente del principio de Hamilton
ligado a la formulacion Lagrangiana de la mecanica. As, a partir de (3.35) llegamos de nuevo a las
ecuaciones canonicas:
qi =
H
H
, pi =
pi
qi
(3.36)
sin suponer que H proceda de hecho de un Lagrangiano mediante una transformacion de Legendre,
con lo que (3.32) aparece ahora como una ecuacion de movimiento mas. De este modo se pone en pie
de igualdad la formulacion Hamiltoniana y la formulacion Lagrangiana de la mecanica. Es de resaltar
que la integral canonica se debe entender como un principio variacional en el espacio de fases, con
coordenadas y momentos como 2n variables independientes, mientras que el principio de Hamilton es un
principio variacional en el espacio de configuracion con solo n variables (las coordenadas generalizadas.)
Notemos que a cada coordenada qk le corresponde un momento pk , es decir las variables se agrupan
en pares:
qn
q2
q1
.
(3.37)
,...,
,
pn
p2
p1
72
Mecanica Teorica
Jose A. Oller
Por esta razon a cada par (qk , pk ) se les llama variables conjugadas, y a pk =
conjugado de qk .
L
el momento
qk
qi = fi (q1 , . . . , qn , p1 , . . . , pn , t) =
Sin embargo, lo restrictivo en las ecuaciones canonicas es que las fi y gi son obtenidas por derivacion
de una unica funcion, H(q, p, t).
Podemos explicitar el hecho de que las variables aparezcan en pares en las ecuaciones canonicas
introduciendo las variables complejas:
uk =
qk + ipk
,
2
uk =
qk ipk
.
2
(3.38)
En ese caso el par de ecuaciones (3.36) puede sustituirse por la unica ecuacion:
H
duk
= .
idt
uk
(3.39)
Comprobemoslo:
H
duk
H qk
H pk
i
.
=
= (qk + ip k ) =
uk
qk uk
pk uk
idt
2
(3.40)
uk
uk
2
i 2
ademas de las ecuaciones canonicas (3.36).
Dada la dualidad de una transformacion de Legendre, a cada problema Hamiltoniano le corresponde
un problema Lagrangiano, segun se reflejo en (3.16). Para ello, se expresan los momentos pi en funcion
H
, y los sustituimos en
de q, q y t a partir de pi =
pi
X
L(q, q,
t) =
pi (q, q,
t)qi H(q, p(q, q,
t), t) .
(3.41)
i
Mecanica Teorica
Jose A. Oller
Notaci
on: Las ecuaciones canonicas se pueden expresar de un modo mas compacto empleando la
notacion,
= q , = 1, . . . , n ,
= pn , = n + 1, . . . , 2n .
(3.42)
Introducimos la matriz:
=
"
On In
In On
(3.43)
donde In representa la matriz unidad de orden n, y On la matriz nula de orden n. es una matriz
2n 2n, cuyos elementos denotaremos por . Es directo comprobar que las ecuaciones canonicas
(3.36) se pueden expresar como:
2n
X
H
=
(3.44)
=1
Hay que familiarizarse con ambas notaciones, (q, p) y .
Estudiemos las siguientes propiedades de la matriz , que nos seran utiles para el desarrollo del
tema. Comenzamos con dos propiedades obvias a partir de (3.43):
1. es ortonormal, = = I, o en componentes:
X
X
=
= .
2. es antisimetrica, + = O ,
= .
(3.45)
det =
...
...
n n+1
1
2n
1......n
n+1......2n 11 . . . nn (n+1)n+1 . . . 2n2n .
74
Mecanica Teorica
3.5.
Jose A. Oller
Apliquemos esta nueva notacion para analizar la dependencia temporal de una variable canonica
arbitraria. Sea F = F (, t), una funcion que depende de las variables dinamicas y del tiempo. La
evolucion temporal de F viene dada por:
F
F
F
H F
dF
=
=
,
+
+
dt
(3.46)
donde hemos empleado las ecuaciones canonicas. Ademas en lo que queda de tema se emplea el
convenio de Einstein para sumar sobre ndices repetidos. Si analizamos el primer sumando:
n
X
F H
F
H
F H
= [F, H] ,
(3.47)
q
p
p
q
i
i
i
i
i=1
que se denomina corchete de Poisson de F y H. En general dadas dos variables dinamicas cualesquiera
su corchete de Poisson se define como:
[R, S] =
R
R S
R S
S
q p p q
(3.48)
(3.49)
(3.50)
H
,
= [ , H] =
(3.51)
En particular, si F = ,
y recuperamos (3.44).
3.5.1.
1. Linealidad:
[S + R, T ] = [S, T ] + [R, T ]
(3.52)
[S, R] = [R, S] ,
(3.53)
2. Antisimetra:
Mecanica Teorica
Jose A. Oller
(3.54)
S
S
(RT )
R
T+
+R
T
S
= [S, R] T + R [S, T ] .
4. La identidad de Jacobi:
[R, [S, T ]] + [S, [T, R]] + [T, [R, S]] = 0 .
(3.55)
Demostracion.
S
T
R
=
[R, [S, T ]] =
R
R
2S
T
S
2T
=
(a)
S
2T
R
S
T
2R
(b)
T
2R
S
R
2S
T
(c)
Al sumar los tres corchetes, la suma se cancela a pares. A modo de ejemplo, observemos como
se anulan el primer sumando de (a) y el segundo sumando de (c):
2S
T
R
2
S
T
R
R
2S
T
=
2
R
S
T
=
T
R
2S
2
S
T
R
+
R
2S
T
2
R
S
T
=
=
(3.56)
=
=0.
Donde hemos utilizado que es antisimetrica. De forma equivalente se calcula para los otros
pares de sumandos.
76
Mecanica Teorica
Jose A. Oller
5. Regla de la cadena:
Sea = (, t), y siendo esta relacion invertible, se tiene entonces:
[R, S] =
R
S
[ , ]
.
(3.57)
Demostracion.[R, S] =
S
R
S
R
S
R
=
[ , ]
.
6. Corchetes fundamentales:
[ , ] = .
(3.58)
[qi , qj ] = [pi , pj ] = 0 ,
(3.59)
[qi , pj ] = ij .
(3.60)
[R, S] = [[R, S] , H] +
[R, S] ,
dt
t
en virtud de (3.49). Por la identidad de Jacobi (3.55) ,
[[R, S] , H] = [[S, H] , R] [[H, R] , S] ,
y tenemos,
d
ya que,
[R, S] =
t
t
S
R
2R
S
+
t
S
R
2S
R
=
, S + R,
+
, (3.61)
t
t
t
y por hipotesis,
R
dR
= [R, H] +
= 0,
dt
t
77
dS
S
= [S, H] +
=0.
dt
t
(3.62)
Mecanica Teorica
3.6.
Jose A. Oller
Las ecuaciones de movimiento canonicas se han generado a partir del Hamiltoniano H(, t):
H
=
.
(3.63)
(3.64)
H
.
(3.65)
(3.66)
Demostracion.Condicion Necesaria
Supongamos que la evolucion temporal viene generada por H(, t). Entonces de (3.49) tenemos:
d
[R, S] = [[R, S] , H] +
[R, S] .
dt
t
Utilizando la identidad de Jacobi:
[[R, S] , H] = [[S, H] , R] [[H, R] , S] = [R, [S, H]] + [[R, H] , S] ,
y teniendo en cuenta (3.61), llegamos a que efectivamente,
d
S
R
[R, S] = [[R, H] , S] + [R, [S, H]] +
, S + R,
=
dt
t
t
R
S
= [R, H] +
,
, S + R, [S, H] +
t
t
y por tanto,
d
S] + [R, S]
.
[R, S] = [R,
dt
78
Mecanica Teorica
Jose A. Oller
Condicion Suficiente
Nos preguntamos ahora si existe la funcion H tal que:
H
= ,
relacion que es equivalente a (3.64) y a (3.65). Para ello se ha de satisfacer la condicion de integrabilidad:
= ,
=
.
En ese caso podremos asegurar que existe una funcion H(, t) tal que:
=
H
.
=
=
+
=0.
=
+
= 0 .
+
= 0 .
Puesto que,
= ,
= ,
(3.67)
Mecanica Teorica
Jose A. Oller
H
H
= pq , p =
= pq ,
p
q
de donde se deduce,
H
H
= pq ,
= pq .
p
q
Las derivadas cruzadas son por tanto,
2H
2H
=p,
=q .
pq
qp
Las derivadas cruzadas no son iguales y por tanto no hay tal Hamiltoniano!
Veamos que en este ejemplo no se cumple (3.66):
d
[q, p] = 0
dt
[q,
p] + [q, p]
= [pq, p] [q, pq] = [p, pq] [q, pq] = p q 6= 0 ,
y por tanto, en virtud del teorema de los parentesis de Poisson, no existe tal Hamiltoniano.
Corolarios
1. Sean (t) la evolucion de un sistema en el espacio de fases. Esta evolucion viene generada por
algun Hamiltoniano H(, t) s y solo si,
d
[ , ] = 0 = [ , ] + [ , ] ,
dt
(3.68)
con , = 1, . . . , 2n.
La demostracion de que es condicion necesaria es analoga a la realizada para el teorema de los
corchetes de Poisson, sustituyendo R y S . En cuanto a que es condicion suficiente,
la demostracion es exactamente la misma que la realizada para el teorema anterior.
2. Si R y S son constantes de movimiento, entonces [R, S] es una nueva constante de movimiento
Demostracion.d
S] + [R, S]
= 0 [R, S] = cte.
[R, S] = [R,
dt
80
Mecanica Teorica
3.7.
Jose A. Oller
(3.69)
es decir, fijado el punto inicial en el espacio de fases el movimiento subsiguiente queda completamente
fijado. Pero ademas, dado que para cada estado inicial hay un movimiento unico,
qi0 = qi0 (q(t), p(t), t) ,
p0i = p0i (q(t), p(t), t) ,
es decir, las relaciones (3.69) son invertibles.
Por otra parte, si anadimos el tiempo como variable adicional, tenemos un espacio de 2n + 1
dimensiones llamado el espacio de los estados, en el que las curvas no se cruzan. Dicho espacio se
puede visualizar anadiendo una dimension ortogonal al resto de 2n dimensiones canonicas asociada
al tiempo. En el espacio de los estados dadas unas condiciones iniciales (q0 , p0 ) el sistema describe un
movimiento determinado que viene dado por una curva en dicho espacio, tal que las curvas no se cruzan
para distintas condiciones iniciales. De este modo, el conjunto de todo movimiento posible del sistema
queda completamente geometrizado como un conjunto infinito de curvas que no se entrecruzan y que
llenan el espacio de 2n + 1 dimensiones. Esto no ocurre en el espacio de configuracion, ya que cada
punto de este espacio n-dimensional solo fija la posicion pero no las velocidades.
La imagen geometrica y analtica del espacio de fases para un sistema cerrado esta en completa
analoga con el movimiento de un fluido en tres dimensiones, donde las lneas de flujo no se entrecruzan
en el transcurso del tiempo. En hidrodinamica tenemos dos descripciones posibles, descripcion de
partcula y descripcion de campo. En la descripcion de partcula se sigue el movimiento individual
de cada partcula del fluido y se da su posicion en funcion del tiempo y de cierta posicion inicial:
x = x(x0 , y0 , z0 , t) ,
y = y(x0 , y0 , z0 , t) ,
z = z(x0 , y0 , z0 , t) .
(3.70)
dx
,
dt
y =
dy
,
dt
81
z =
dz
.
dt
(3.71)
Mecanica Teorica
Jose A. Oller
(3.72)
H
H
, pi =
, i = 1, . . . , n ,
pi
qi
(3.73)
de forma equivalente:
H
, = 1, . . . , 2n .
=
(3.74)
(3.75)
representa una superficie del espacio de fases 2n-dimensional. Si la constante E asume valores arbitrarios
obtenemos una familia infinita de superficies que llena el espacio. As, un fluido de fases que comienza
su movimiento en una determinada superficie de energa se mantiene contenido en dicha superficie.
3.8.
El teorema de Liouville
Es muy ilustrativo seguir con la analoga hidrodinamica. Un fluido se dice que es incompresible
si el volumen de una porcion arbitraria del fluido se mantiene constante a lo largo del movimiento del
mismo, aun cuando la forma de dicha porcion cambie con el tiempo.
Sea
Z
dx0 dy0 dz0 ,
(3.76)
R0
82
Mecanica Teorica
Jose A. Oller
(3.77)
R(t)
el volumen de la region R(t), que es la region evolucionada temporalmente de R0 . Para que el volumen
sea el mismo es necesario y suficiente que el modulo del Jacobiano de la transformacion
(x0 , y0 , z0 ) (x(t), y(t), z(t)) ,
(3.78)
tenga modulo unidad. Esta es la condicion necesaria y suficiente para un fluido incompresible en la
descripcion de partcula.
Descripcion de campo. Veamos de forma sencilla que la condicion de incompresibilidad es en este
caso:
~ v = u + v + w = 0 .
~
(3.79)
x y
z
Para ello, tengase en cuenta que la variacion del volumen V encerrado por una superficie S en un
intervalo dt debido al movimiento de las partculas, cuyas lneas de evolucion forman la superficie S,
es:
Z
Z
~
~ v dxdydz ,
dV = dt ~v dS = dt
~
(3.80)
S
RS
como dV = 0 para un fluido incompresible, sea cual sea la superficie S, se sigue (3.79).
En el fluido de fases el volumen de una cierta region viene dado por la generalizacion a 2n dimensiones
de (3.77),
Z
=
i
i
~v=
=
=0,
+
~
qi pi
qi pi pi qi
i=1
i=1
(3.81)
(3.82)
donde se han empleado las ecuaciones canonicas (3.36). Este resultado es equivalente a afirmar que el
flujo total del fluido de fases, tomado para cualquier superficie cerrada del espacio de fases, es siempre
cero. El hecho de que el fluido de fases se mueva como un fluido incompresible fue descubierto por
Liouville en 1838 y se conoce como el teorema de Liouville. En la seccion 4.6 veremos otra demostracion
de este teorema en correspondencia con la descripcion de partcula del fluido de fases.
El teorema de Liouville, nos ha llevado a la ley de conservacion del volumen encerrado por una
superficie; aunque la region se deforme, su volumen permanece invariante durante el movimiento,
= cte.
Poincare llamo invariante integral a cualquier integral asociada al espacio de fase que se mantuviera
constante a lo largo del movimiento del sistema.
Ya hemos visto que el volumen de un fragmento del espacio de fases, es un ejemplo de tales
invariantes integrales. Otro ejemplo es la circulacion.
83
Mecanica Teorica
Jose A. Oller
t = t2
M2
N2
t = t1
M1 N 1
t = L1
Figura 3.1: Evolucion temporal de la curva L1 en el espacio de fases.
3.9.
El teorema de la circulaci
on de Helmholtz
Tomemos la accion:
S=
t2
Ldt ,
t1
(3.83)
t1
t1
i=1
con qi =
dqi
.
d
84
(3.84)
(3.85)
Mecanica Teorica
Jose A. Oller
t1
i=1
t1
(3.87)
t1
L2 i=1
(3.88)
L1 i=1
pi dqi = = cte,
(3.89)
i=1
3.10.
Eliminaci
on de variables ignorables. La funci
on de
Routh
El formalismo de Hamilton es especialmente adecuado para tratar con variables cclicas o ignorables,
que ya fueron definidas en la seccion 2.13.
85
Mecanica Teorica
Jose A. Oller
(3.91)
con,
cn =
L
= pn = cte ,
qn
(3.92)
pn =
qn
(3.93)
De este modo el formalismo Hamiltoniano es mas directo para tratar variables ignorables ya que qn
aparece ya despejado en funcion del resto de las coordenadas y momentos. As, el problema queda
reducido a calcular qn (t) por simple integracion de (3.93), una vez que q1 , . . . , qn1 y p1 , . . . , pn1 , se
hayan obtenido como funciones del tiempo al resolver las ecuaciones canonicas,
qi =
H
H
, pi =
, i = 1, . . . , n 1 ,
pi
qi
(3.94)
que s
olo involucran n 1 grados de libertad.
En ocasiones es conveniente mantener un formalismo hbrido entre la dinamica de Lagrange y la de
Hamilton. Eso ocurre cuando en lugar de sustituir todas las velocidades generalizadas por sus mpetus,
en la transformacion de Legendre que nos lleva de la dinamica de Lagrange a la de Hamilton, solo
sustituimos algunas. Esto se consigue mediante la funcion de Routh.
Sea el Lagrangiano:
L(q1 , . . . , qs , qs+1 , . . . , qn , q1 , . . . , qs , qs+1 , . . . , qn , t) .
(3.95)
Realizamos a continuacion una transformacion de Legendre tomando como variables activas (qs+1 , . . . , qn )
y variables pasivas (q1 , . . . , qn ), (q1 , . . . , qs ) y t. La funcion de Routh (o Routhiana) viene dada entonces
por:
R(q1 , . . . , qs , qs+1 , . . . , qn , q1 , . . . , qs , ps+1 , . . . , pn , t) =
n
X
i=s+1
qi pi L
(3.96)
ps+i =
L
qs+i
Funcion de Routh
ps+1 , . . . , pn
q1 , . . . , qn ; q1 , . . . , qs ; t
qs+i =
86
R
ps+i
(3.97)
Mecanica Teorica
Jose A. Oller
L
R
=
qi
qi
R
L
=
.
t
t
(3.98)
R
R
, ps+i =
, i = 1, . . . , n s .
ps+i
qs+i
(3.99)
= 0 , i = 1, . . . , s .
dt qi
qi
(3.100)
Es especialmente util identificar las variables activas con variables cclicas o ignorables y las pasivas
con aquellas coordenadas no ignorables. De este modo las variables activas (en la funcion de Routh
son momentos generalizados) son las constantes cs+1 , . . . , cn :
R(q1 , . . . , qs , q1 , . . . , qs , cs+1 , . . . , cn , t) .
(3.101)
Queda as un problema de Lagrange con s-ecuaciones de segundo orden y una vez resuelto este por
simple integracion de
qs+i =
R
, i = 1, . . . , n s ,
cs+i
(3.102)
3.11.
Forma param
etrica de las ecuaciones can
onicas
Hemos visto como el concepto de espacio de los estados (espacio fasico junto con el tiempo),
geometriza completamente el problema del movimiento asociado con las ecuaciones canonicas. La
totalidad de las soluciones de las ecuaciones canonicas asociadas a un Hamiltoniano arbitrario se puede
ver como una familia infinita de curvas que no se intersectan y que llenan el espacio de los estados.
Sin embargo, mientras cada qi esta asociada a un momento conjugado pi , no ocurre lo mismo con el
tiempo t. As, en vez de considerar las coordenadas qi y los momentos generalizados pi como funciones
del tiempo t, consideraremos las variables conjugadas y el tiempo t como funciones de un parametro
sin especificar , es decir, el tiempo pasa a ser considerado como una variable mecanica mas.
El siguiente problema es formular las ecuaciones canonicas de Hamilton del movimiento considerando
el tiempo t como una coordenada mas, t = qn+1 . Tenemos entonces el siguiente conjunto de variables
conjugadas:
q1
q2
qn
t
.
(3.103)
,
,...,
,
pt
p1
p2
pn
1
Observese la igualdad entre menos la funcion de Routh para el caso discutido con variables cclicas con el
de (2.137).
Lagrangiano L
87
Mecanica Teorica
Jose A. Oller
dqi
dqi d
q
=
= i ,
dt
d dt
t
(3.104)
S=
qn+1
d ,
L q1 , . . . , qn , qn+1 , , , . . . ,
q
q
q
1
n+1
n+1
n+1
(3.105)
de modo que,
(Lt )
= H ,
(3.106)
t
donde la ultima igualdad se deduce tal y como hicimos para llegar a (2.148). El procedimiento habitual
para llegar a las ecuaciones canonicas no es aplicable en este caso. De hecho podemos ver que el
Hamiltoniano se cancela identicamente. Para ello, tengamos en cuenta que el Lagrangiano:
q1
qn
L = L q1 , . . . , qn , qn+1 , , . . . ,
q ,
(3.107)
qn+1
qn+1 n+1
pt =
(3.108)
y como consecuencia,
H =
n+1
X
i=1
pi qi L = 0 .
(3.109)
n+1
2 X
pi qi d ,
(3.110)
i=1
sin ninguna funcion Hamiltoniana. Pero, son todas las pi y qi constantes de movimiento.? No, obviamente. Existen condiciones auxiliares en nuestro problema. No podemos despejar las qi en funcion de
los pi ya que los pi son invariantes bajo un cambio:
qi qi ,
puesto que:
L = L q1 , . . . , qn , qn+1 ,
q1
qn+1
,...,
88
qn
qn+1
qn+1
Lqn+1
,
Mecanica Teorica
Jose A. Oller
L
(L )
.
=
(qi )
qi
(3.111)
Ahora bien, dado que las ecuaciones (3.111) no son invertibles, esto significa que no son independientes
entre s, es decir, debe existir una relacion entre los pi . En efecto, si tomamos qn+1 = t, como hemos
visto pn+1 = pt = H y H es funcion del resto de variables canonicas,
pn+1 = H (q1 , . . . , qn+1 , p1 , . . . , pn ) ,
(3.112)
con lo que pn+1 no es una variable independiente. De este modo el presente problema variacional supone
hacer estacionario el funcional:
Z 2
S=
p1 q1 + . . . + pn qn + pn+1 qn+1
d ,
(3.113)
1
S=
p1 q1 + . . . + pn qn Hqn+1
d .
(3.114)
(3.115)
Imponiendo que la integral anterior sea estacionaria bajo variaciones de qn+1 , con qn+1 (1 ) = qn+1 (2 ) =
0, llegamos a que:
Z 2
dH
H
qn+1
S = 0 =
qn+1 d ,
(3.116)
d
qn+1
1
deduciendo as la conocida ecuacion de evolucion temporal del Hamiltoniano,
dH
H
q
=0,
d
qn+1 n+1
(3.117)
equivalente a
H
dH
=0,
(3.118)
dt
t
que derivamos en (3.28) como consecuencia de las ecuaciones canonicas asociadas a las variables
conjugadas (qk , pk ), con k = 1, 2, . . . , n, mientras que ahora surge como una ecuacion de movimiento
mas.
Por otra parte (3.115) tambien la podemos escribir en la forma estandar de la integral canonica:
Z t2
S=
(p1 q1 + . . . + pn qn H) dt ,
(3.119)
t1
con lo que el resto de ecuaciones canonicas para i = 1, . . . , n, adicionales a (3.118), son las ecuaciones
canonicas (3.36).
89
Mecanica Teorica
Jose A. Oller
Sin embargo, para mantener la mayor simetra posible entre los distintos pares de variables conjugadas
desde un punto de vista formal, no queremos particularizar la variable qn+1 y es preferible escribir la
identidad existente ente las qi y las pi en la forma general:
K (q1 , . . . , qn+1 , p1 , . . . , pn+1 ) = 0 .
(3.120)
Esta forma preserva la simetra de las 2n + 2 variables canonicas, sin tener preferencia por ninguna de
ellas.
El problema Hamiltoniano en forma parametrica supone finalmente hacer estacionario el funcional
(3.113), bajo la condicion auxiliar (3.120). Podemos tratar la condicion auxiliar a traves del metodo de
los multiplicadores de Lagrange, modificando la integral de la siguiente forma:
!
Z 2 X
n+1
S=
pi qi ( )K d .
(3.121)
1
i=1
Si se desea podemos hacer = 1 para una eleccion adecuada de la variable . En ese caso obtenemos
la integral variacional:
!
Z 2 X
n+1
S=
pi qi K d .
(3.122)
1
i=1
Que esta en forma canonica, excepto que ahora tenemos 2n + 2 variables canonicas en lugar de 2n. La
funcion K, el miembro izquierdo de (3.120), hace las veces de Hamiltoniano. Entonces, la formulacion
parametrica de las ecuaciones canonicas da lugar a:
,
qk =
pk
k = 1, . . . , n + 1 .
(3.123)
K
pk =
.
qk
Para la eleccion especial de condicion auxiliar:
(3.124)
tenemos:
qk
pk
=
=
H
,
pk
k = 1, . . . , n .
H
,
qk
pn+1
=1,
pn+1
K
H
=
=
.
qn+1
qn+1
(3.125)
qn+1
=
(3.126)
pn+1
(3.127)
90
Mecanica Teorica
Jose A. Oller
(3.128)
(3.129)
En (3.128) hemos identificado qn+1 con t dado que por la condicion auxiliar (3.124), pn+1 = pt .
La formulacion general parametrica (3.123) de las ecuaciones canonicas tiene grandes ventajas
teoricas y se puede considerar como la forma mas avanzada de las ecuaciones canonicas. Muestra
el papel de los sistemas conservativos desde una perspectiva nueva. Al tratar t como una variable
dinamica todo sistema se torna en conservativo ya que K no depende de en el espacio de fases
extendido (espacio de los estados). As el movimiento del fluido de fases es estacionario y toda partcula
permanece en la superficie:
K = cte.
(3.130)
De esta forma, la condicion auxiliar K = 0 se satisface permanentemente solo si los valores iniciales
de qi , pi , con i = 1, . . . , 2n + 2, para 1 cumplen que K = 0.
La formulacion del principio de mnima accion para sistemas conservativos por Euler y Lagrange
adquiere importancia renovada a la luz de la forma parametrica de las ecuaciones canonicas. Recordemos que este principio requiere la minimizacion de la integral de 2T con respecto al tiempo, con la
condicion auxiliar de que E = T + V = cte. para el movimiento del sistema. Si pasamos del espacio
de configuracion al espacio de fases, el principio de Hamilton se puede expresar en hacer estacionario
el funcional:
Z 2
S=
(p1 q1 + . . . + pn qn ) d ,
(3.131)
1
(3.132)
Notemos que no es un aspecto trivial (o por lo menos no lo es para el que escribe) pasar de un principio
variacional en el espacio de configuracion al correspondiente principio variacional en el espacio de fases
y de hecho el integrando en (3.131), 2T , puede adoptar muchas formas como funcion de pi y qi , dando
lugar a priori a distintos problemas de buscar extremos.
Para ver que (3.131) es de hecho correcto, consideremos el problema variacional expresado por las
ecuaciones canonicas parametricas que requiere hacer estacionario el funcional:
Z 2
S=
p1 q1 + . . . + pn qn + pn+1 qn+1
d ,
(3.133)
1
K=0.
91
(3.134)
Mecanica Teorica
Jose A. Oller
Para sistemas conservativos, con t = qn+1 una variable cclica, tenemos K = pn+1 + H, y H es
independiente de pn+1 y de qn+1 . Minimizando respecto de t la integral (3.133), tal y como hicimos
para obtener (3.116) y (3.118), llegamos a que el momento pn+1 es constante y puede ser reemplazado
por la constante E, ya que de K = 0 se sigue que pn+1 = H. El ultimo termino del integrando en
(3.133) puede entonces eliminarse, ya que es una derivada total respecto de . Se da lugar as a (3.131)
y (3.132) tal y como queramos probar. Por supuesto, no debe olvidarse que (3.131) es un principio
variacional en el espacio de fases y se debe minimizar respecto a qi y pi , i = 1, . . . , n como variables
independientes. Por su parte, el principio de la mnima accion es un principio variacional en el espacio
de configuracion y se minimiza solo respecto de qi , i = 1, . . . , n.
La forma parametrica de las ecuaciones canonicas nos permite profundizar en la mutua relacion entre
los distintos principios variacionales de la mecanica. Tomando la integral canonica en la forma (3.113):
S=
n+1
2 X
pi qi d ,
(3.135)
i=1
la diferencia entre los diferentes principios variacionales corresponde a las diferentes interpretaciones
de la condicion auxiliar:
K(q1 , . . . , qn+1 , p1 , . . . , pn+1 ) = 0 .
(3.136)
Como se vera en un problema de clase, la condicion auxiliar del principio de Jacobi asume la forma:2
Pn
1 i,k=1 bik pi pk
=1,
(3.137)
2 pn+1 + V
P
P
tal que 2T =
aik qi qk =
bik pi pk . Esta misma condicion auxiliar puede darse obviamente en la
forma:
n
1 X
bik pi pk + V = pn+1 ,
2 i,k=1
(3.138)
que es la condicion auxiliar del principio de Hamilton (3.132). La equivalencia entre estos dos principios,
el de la mnima accion y el de Jacobi, esta pues establecida. Seguimos aqu el mismo razonamiento
que el empleado unas lneas mas arriba para mostrar que (3.131) y (3.132) son correctos, para eliminar
ik
i
k
i,k=1
d .
(3.139)
S=
pi qi + pn+1 qn+1
+
2
p
+
V
n+1
1
i=1
2
92
Mecanica Teorica
Jose A. Oller
(pn+1 t)
t d .
(3.140)
pn+1 t d =
d
d
1
1
(3.141)
como debe ser para sistemas conservativos en virtud de la ligadura (3.138). Por otra parte, imponiendo
que la integral sea estacionaria respecto a variaciones de pn+1 , llegamos a:
P
P
ik bik pi pk
ik bik pi pk
qn+1
= 0 qn+1 =
.
(3.142)
2 (E V )2
2 (E V )2
V
)
2(E
V
)
(E
V
)
P
d .
(3.143)
P
S=
aik qi qk
( jl bjl pj pl )2
1
jl bjl pj pl
ik
Para llegar la expresion anterior hemos tenido en cuenta (3.104). Finalmente en virtud de la ligadura
(3.137), la integral anterior se puede reescribir como,
Z
1 2 X
(E V )
S=
aik qi qk
d .
(3.144)
2 1 ik
Finalmente, eligiendo un nuevo parametro tal que 2d = d, y llamando otra vez al nuevo
parametro tenemos:
S=
2
1
(E V )
n
X
aik qi qk d
(3.145)
i,k=1
Este es el principio de Jacobi, pero sin la raz cuadrada. Los caminos mecanicos que se siguen de este
principio son, sin embargo, los mismo que los del principio de Jacobi original. Las diferencia radica
unicamente en la normalizacion de la variable independiente . El del principio de Jacobi original es
un parametro sin especificar. El del principio (3.145) esta normalizado de una manera definida, tal y
como hemos visto unas lneas mas arriba.
93
Captulo 4
Transformaciones Can
onicas
4.1.
Funci
on Generatriz
(4.1)
Dichas transformaciones siempre dan lugar a ecuaciones de Lagrange en las nuevas variables, aun
cuando la forma de estas en termino de las nuevas coordenadas cambie al pasar de un sistema de
coordenadas a otro, a no ser que se trate de una simetra. Mas concretamente, si las qi verifican,
d L L
= 0 , L = L (q, q,
t) ,
dt qi qi
entonces las Qi satisfacen necesariamente:
L
d L
=0,
dt Q i Qi
t = L q(Q, t), q(Q,
t), t .
Q,
L Q, Q,
(4.2)
En mecanica Hamiltoniana los momentos y las coordenadas se encuentran en pie de igualdad y hablamos
del espacio de fases en lugar del espacio de configuracion. El espacio de fases tiene dimension 2n y en
el tendremos transformaciones mas generales:
Qi = Qi (q, p, t) ,
Pi = Pi (q, p, t) ,
(4.3)
del sistema de variables originales (q, p) a las finales (Q, P ). Esto no es mas que un cambio de coordenadas dentro del espacio fasico. Exigiremos en general que el cambio (4.3) sea invertible, con lo que
det|(Q, P )/(q, p)| 6= 0. Para el caso particular:
Qi = Qi (q, t) ,
94
(4.4)
Mecanica Teorica
Jose A. Oller
tendremos una transformacion de punto de la mecanica de Lagrange solo si los nuevos momentos se
transforman como corresponde a la mecanica Lagrangiana,
n
n
n
L X L Q j X Q j X Qj
=
=
=
,
Pj
Pj
pi (Q, P, t) =
qi
qi
qi
Q j qi
j=1
j=1
j=1
(4.5)
K
P i =
,
Qi
(4.6)
2
, q=Q.
(4.7)
(4.8)
Veamos que esta transformacion no es canonica dado que la evolucion temporal de las nuevas variables
no es siempre canonica ya que depende del Hamiltoniano inicial. Tomemos los Hamiltonianos:
1
1) H = p2 .
2
p = 0 , q = p ,
2
Q = q = p = P + Q2 ,
2
1 1/2
p
p 2q q = 2 P + Q2 Q .
P =
2
(4.9)
95
(4.10)
Mecanica Teorica
Jose A. Oller
y entonces:
2
K
= P + Q2 ,
Q =
P
1
2
Q
K
=
P + Q2
2Q P + Q2 ,
P =
Q
2
2
K
= 2 P + Q2 2Q = 4Q P + Q2 ,
QP
2
Q
2K
P + Q2
+ 4Q P + Q2 ,
=
P Q
2
2K
2K
6=
,
QP
P Q
Pi Q i K (Q, P, t) dt = 0 .
(4.11)
t1
Simultaneamente las viejas variables, dado que tambien parametrizan la trayectoria real del sistema y
son canonicas, deben cumplir:
!
Z t2 X
pi qi H(q, p, t) dt = 0 .
(4.12)
t1
En la forma original de la variacion de la integral canonica (3.35), se tomo q (t1 ) = q (t2 ) = 0 y los
p arbitrarios. Analogamente para las nuevas variables Q y P . Sin embargo, las ecuaciones canonicas
tambien se obtienen a partir de la integral canonica (3.35) si imponemos adicionalmente que p (t1 ) =
p (t2 ) = 0, con lo que coordenadas y momentos tienen un tratamiento completamente analogo dentro
de la mecanica Hamiltoniana, tal y como mantendremos en lo que sigue. Este aspecto es muy deseable
para tratar sobre las transformaciones canonicas dado que estas, en general, mezclan momentos y
coordenadas y sera artificial cualquier diferenciacion en el tratamiento de coordenadas y momentos
dentro de la integral canonica. Por lo tanto, para que (4.11) y (4.12) sucedan simultaneamente se debe
cumplir:
!
X
X
dF (q, p, t)
pi qi H(q, p, t) =
Pi Q i K (Q, P, t) +
.
(4.13)
dt
i
i
Del mismo modo podramos considerar F como funcion de las nuevas variables. La funcion F se
llama funcion generatriz de la transformacion canonica.
96
Mecanica Teorica
Jose A. Oller
La constante multiplicativa en (4.13) esta relacionada con unas transformaciones canonicas particularmente simples conocidas como transfomaciones de escala en el espacio de fases. Definamos:
Qi = qi , Pi = pi , K (Q , P , t) = H (q, p, t) , = .
(4.14)
Esta
es una transformacion dado que:
X
i
pi qi H
X
i
Pi Q i K (Q , P , t) .
pi qi H =
Pi Q i K (Q , P , t) =
Pi Q i K (Q, P, t) +
.
dt
i
i
i
(4.15)
(4.16)
As que toda transformacion canonica con 6= 1 siempre se puede considerar como una transformacion de escala, 6= 1, seguida de una transformacion canonica con = 1. A las transformaciones
canonicas con 6= 1 se las conoce como transformaciones canonicas generalizadas. En el futuro nos
restringiremos a las transformaciones canonicas con = 1, ya que 6= 1 no introduce mas que una
transformacion de escala adicional, que ya hemos caracterizado en (4.14).
Para = 1, tenemos a partir de (4.13) que:
!
X
X
dF (q, p, t)
.
(4.17)
Pi Q i K =
pi qi H
dt
i
i
Tomemos F = F (q, p, t), con:
Q = Q(q, p, t) , P = P (q, p, t) ,
= (Q, P ) , = (q, p) , 6= 0 .
(4.18)
(4.19)
X Qj
j
qi
Pj =
X Qj
j
F
,
qi
F
Pj =
,
pi
pi
97
(4.20)
Mecanica Teorica
Jose A. Oller
K=H+
X Qj
j
Pj +
F
.
t
(4.21)
Las 2n ecuaciones (4.20) implican que dada un transformacion canonica, F (q, p, t) queda completamente determinada salvo la adicion de una funcion del tiempo f (t), que no influye en las ecuaciones
canonicas. Notemos que no toda transformacion (4.18) puede satisfacer (4.20) dado que las derivadas
primeras de la supuesta funcion generatriz F , dadas en (4.20), deben satisfacer la condicion de integrabilidad, esto es, la igualdad entre las derivadas segundas cruzadas de F . En el caso en que dicha
condicion no se satisfaga entonces el cambio de coordenadas (4.18) no satisface las ecuaciones (4.20)
y, por tanto, no es una transformacion canonica. Por otra parte, si la transformacion (4.18) no involucra
el tiempo explcitamente esta claro que siempre se puede tomar F que sea solucion de (4.20) sin dependencia explcita de t, esto es, como funcion de punto en el espacio de fases, F (q, p). Por otro lado,
dada F (q, p, t) no queda fijado el cambio de coordenadas. Por ejemplo, a partir de (4.20) podramos
determinar 2n derivadas Qi /qj y Qi /pj en funcion del resto de derivadas del mismo tipo y de los
nuevos momentos Pi , siendo estos cualesquiera. Como muestra de la indeterminacion del cambio de
coordenadas es obvio que si Qi son las nuevas coordenadas entonces,
Qi Qi + C , C = cte ,
(4.22)
.
(4.23)
dt
dt
i
i
As, F (Q, P, t) es la funcion generatriz de la transformacion canonica inversa.
Tomemos la actuacion consecutiva de dos transformaciones canonicas:
X
X
dF2 dF1
dF1 X
Qi P i H 3 +
qi pi H1 =
=
+
,
Q i Pi H2 +
dt
dt
dt
i
i
i
Q = Q(q, p, t) , P (q, p, t) ,
(4.24)
Mecanica Teorica
4.2.
Jose A. Oller
Transformaciones can
onicas b
asicas
Son transformaciones para las que la funcion generatriz, con una eleccion adecuada de variables
independientes entre las viejas y nuevas variables, s que determina unvocamente el cambio de coordenadas en el espacio de fases. Existen cuatro tipos fundamentales, a partir de los cuales se pueden
construir transformaciones mixtas como veremos mas abajo. Los tipos fundamentales son:
1. Supongamos que el conjunto (q, Q) forma un sistema de coordenadas del espacio de fases. Ello
implica que dado el cambio,
Qi = Qi (q, p, t) ,
podemos despejar de aqu pi = pi (q, Q, t) y sustituir este resultado en:
Pi = Pi (q, p(q, Q, t), t) = Pi (q, Q, t) .
Por ejemplo, sea la transformacion canonica:
Qi = pi , Pi = qi ,
(4.25)
pi qi H =
X F1
X F1
(4.26)
F1
F1
F1
.
, Pi =
, K=H+
qi
Qi
t
(4.27)
Pi Q i K +
qi
qi +
F1
Q i +
.
Qi
t
Igualando coeficientes:
pi =
(4.28)
para as poder expresar las nuevas variables en funcion de las viejas y viceversa. As, de las
segundas ecuaciones de (4.27) podemos despejar qi = qi (Q, P, t). Sustituyendo este resultado
en las primeras relaciones se obtiene pi = pi (Q, P, t) y, con ello, calculamos K (Q, P, t) teniendo
en cuenta la ultima ecuacion de (4.27).
Para manipulaciones futuras es conveniente multiplicar (4.17) por dt, con lo que tenemos que
para toda transformacion canonica debe cumplirse,
X
X
pi dqi Hdt =
Pi dQi Kdt + dF .
(4.29)
i
99
Mecanica Teorica
Jose A. Oller
2. Consideremos ahora como variables independientes las coordenadas antiguas y los momentos
nuevos, es decir, F = F2 = F2 (q, P, t). En este caso:
X
X
X
pi dqi Hdt =
d (Pi Qi )
dPi Qi Kdt + dF ,
i
d F+
Por lo tanto:
Pi Qi
i
{z
}
F2 (q, P, t)
pi dqi +
X
i
dPi Qi + (K H) dt .
F2
F2
F2
.
= pi ,
= Qi , K = H +
qi
Pi
t
Analogamente a (4.28) se ha de imponer que:
2
F2
qP
6= 0 .
(4.30)
(4.31)
(4.32)
Es util observar que el paso de F1 (q, Q, t) a F2 (q, P, t) es formalmente analogo a una transformacion de Legendre.
Ejemplo
Consideremos la transformacion:
Qi = qi ,
Pi = qi + pi .
(4.33)
En este caso:
F2
= Pi qi ,
qi
F2
Qi =
= qi ,
Pi
pi =
2
F2
qP
6= 0 .
(4.34)
Aqu hemos considerado una funcion generatriz de tipo 2 ya que q y P son independientes, no
as q y Q. Es decir, (q, P ) forman un sistema de coordenadas en el espacio de fases. De las
ecuaciones anteriores obtenemos:
X
F2 =
qi Pi + f (q) ,
X
f (q)
1
Pi +
= Pi qi , F2 =
qi Pi qi2 .
(4.35)
qi
1X 2
qi ,
f (q) =
2 i
100
Mecanica Teorica
Jose A. Oller
X
i
dpi qi
X
i
Pi dQi + (K H) dt = d F
X
i
p i qi
= dF3 (p, Q, t) .
(4.36)
2
F3
pQ
6= 0 .
(4.37)
(4.38)
4. Si podemos tomar como variables independientes los momentos antiguos y los momentos nuevos,
tenemos F = F4 = F4 (p, P, t). Por tanto:
d F
p i qi +
Pi Qi
dpi qi +
X
i
2
F4
pP
6= 0 .
Ejemplo
(4.40)
(4.41)
El ejemplo anterior (4.33), puede tambien describirse en terminos de una funcion generatriz F4 .
(
(
2
F4
Qi = qi ,
Qi = Pi pi ,
(p, P ),
(4.42)
pP
6= 0 .
Pi = qi + pi ,
qi = Pi pi ,
F4 =
X
i
Pi pi +
1X 2 1X 2
p +
P .
2 i i 2 i i
101
(4.43)
Mecanica Teorica
Jose A. Oller
Funcion Generatriz F
F1 (q, Q, t)
Derivadas de F
pi =
F1
F1
, Pi =
qi
Qi
F1 =
F2
F2
, Qi =
qi
Pi
F2 =
F2 (q, P, t)
pi =
F3 (p, Q, t)
qi =
F4 (p, P, t)
Caso especial
F3 =
F4
F4
, Qi =
pi
Pi
F4 =
qi =
F3
F3
, Pi =
pi
Qi
i qi Qi
i qi Pi
Qi = pi , Pi = qi
Qi = qi , Pi = pi
pi Qi Qi = qi , Pi = pi
pi Pi Qi = pi , Pi = qi
Cuadro 4.1: Cuadro resumen de los cuatro tipos de transformaciones canonicas basicas.
F
, por lo que si F no depende explcitamente del
Observemos que en todos los casos K = H +
t
tiempo, K = H.
Para estos casos particulares de transformaciones canonicas dada una funcion generatriz, la transformacion canonica asociada es unica y el cambio de variable se obtiene por simple derivacion y sustitucion,
obteniendose de un modo directo:
Q = Q (q, p, t) , P = P (q, p, t) , K = K (Q, P, t) .
Por ejemplo, para F = F2 (q, P, t), se puede despejar Pi = Pi (q, p, t) del sistema de ecuaciones:
pi =
F2
,
qi
(4.44)
Qi =
F2
,
Pi
(4.45)
y se tiene Qi = Qi (q, p, t), por lo que tambien podemos determinar K = K (Q, P, t).
En general, una transformacion canonica no se ajustara a uno de los cuatro tipos basicos de transformaciones canonicas, sino que sera necesario utilizar una funcion generatriz que sea una mezcla de los
cuatro tipos, segun los grados de libertad. Hablamos de una transformacion de tipo mixto. No obstante,
se debe tener presente que en las transformaciones canonicas de tipo mixto para cada par de variables
conjugadas la funcion generatriz debe depender de acuerdo a uno de los cuatro tipos anteriormente
discutidos, que siempre conjugan una variable original y otra nueva.
102
Mecanica Teorica
Jose A. Oller
Ejemplo
Sea F = F (q1 , P1 , p2 , Q2 , t). Vemos claramente que es una transformacion canonica de tipo mixto
dado que para cada par de variables canonicas F depende de una variable antigua y de otra variable
nueva. Entonces, partiendo de (4.29), tenemos:
F
dq1 +
q1
F
F
F
F
dt , (4.46)
dp2 +
dP1 +
dQ2 +
+
p2
P1
Q2
t
de donde resulta, expresando la diferenciacion en terminos de los diferenciales de las variables independientes que aparecen como argumentos de F ,
p1 dq1 q2 dp2 Hdt = Q1 dP1 + P2 dQ2 Kdt + d (F + P1 Q1 p2 q2 ) .
|
{z
}
F
(4.47)
F
F
= p1 ,
= q2 ,
q1
p2
F
F
= Q1 ,
= P2 .
P1
Q2
(4.48)
F
.
t
(4.49)
Fijemonos como se mantiene la misma estructura en la relacion entre nuevas/viejas variables y las
derivadas de la funcion generatriz F , que las expresadas en la tabla 4.1 para cada par de variables
canonicas por separado.
Teorema (Caratheodory, 1965)1
Definimos como transformaciones canonicas elementales aquellas en que k (0 k n) de las
qi , pi son nuevamente renombradas como:
Qi = pi , Pi = qi ,
(4.50)
y el resto de qj , pj se dejan tal cual. Entonces, toda transformacion canonica se puede descomponer
como una transformacion canonica elemental seguida de una transformacion de tipo 1.
1
Calculus of Variations and Partial Differential Equations of First Order, Chelsea Publishing Company, New
York, Second Edition, 1982.
103
Mecanica Teorica
4.2.1.
Jose A. Oller
qi Pi .
(4.51)
F2
F2
= Pi , Qi =
= qi , K = H .
qi
Pi
(4.52)
donde las fi pueden ser cualquier conjunto conveniente de funciones independientes. Segun
(4.31):
Qj =
F2 X fi
F2
F2
= fj (q, t) ,
=
Pi , K = H +
,
Pj
qj
qj
t
i
(4.53)
y observamos que las Qi solo dependen de las coordenadas antiguas y del tiempo y no de los
nuevos momentos.
Llegamos a la misma transformacion de las coordenadas que en (4.53) empleando la funcion
generatriz:
F2 = fi (q1 , . . . , qn , t) Pi + g (q1 , . . . , qn , t) .
(4.54)
F2 X fi
g
=
Pi +
.
qj
qj
qj
i
(4.55)
Ya vimos en la expresion (4.5) que para una transformacion de punto (4.4) en el espacio de
configuracion, tenemos:
pj =
L X L Q i X Qi
=
=
Pi
.
i qj
qj
q
Q
j
i
i
(4.56)
As, solo cuando g/qj = 0 tenemos una transformacion de punto de la dinamica de Lagrange.
Dado que las fi son arbitrarias podemos concluir que todas las transformaciones puntuales en el
espacio de configuracion son canonicas, como ya sabamos. No obstante, este ejemplo ilustra el
hecho de que el conjunto de transformaciones en la dinamica de Lagrange solo es un subconjunto
muy particular de todo el conjunto posible de transformaciones canonicas.
104
Mecanica Teorica
Jose A. Oller
i qi Qi
F1
F1
= Qi , Pi =
= qi ,
qi
Qi
(4.57)
H
H
, pi =
.
pi
qi
Si sustituimos pi por Qi , las ecuaciones siguen estando en forma canonica si sustituimos Pi por
qi . Es obvio pues que en el formalismo canonico no hay traza de ningun papel especial de las
coordenadas generalizadas qi frente a los momentos, ni viceversa.
4. Ejemplo de transformacion mixta:
Q1 = q1 , P1 = p1 ,
Q2 = p2 , P2 = q2 .
(4.58)
Esta transformacion deja invariante una de las parejas (q, p) y permuta la otra pareja (con un
cambio de signo). Por lo tanto, podemos considerar una funcion generatriz mixta de tipo 1 y 2,
suma de los ejemplos 1 y 3 de esta seccion para cada par de variables canonicas separadamente,
es decir,
F = q1 P1 + q2 Q2 .
(4.59)
5. Las transformaciones canonicas tambien pueden ser empleadas para resolver la evolucion temporal
de un sistema realizando un cambio de variables que nos lleve a una forma especialmente simple
del Hamiltoniano. Consideremos el ejemplo del oscilador armonico simple en una dimension.
Sea la frecuencia del oscilador, el Hamiltoniano del sistema viene dado por:
H=
1
p2 + m2 2 q 2 .
2m
(4.60)
Dado que la energa es una constante de movimiento podemos pensar en la posibilidad de encontrar un Hamiltoniano en el que la nueva coordenada Q sea cclica tal que el nuevo momento,
que se conservara, sea funcion de H. Concretamente, queremos encontrar una transformacion
canonica que verifique,
1
K=H=
f (P )2 .
(4.61)
2m
Basta para ello con considerar el cambio de variables,
p = f (P ) cos Q , q =
105
f (P )
sen Q .
m
(4.62)
Mecanica Teorica
Jose A. Oller
mq 2
cot Q .
2
(4.63)
F1
F1
mq 2
= mq cot Q , P =
=
,
q
Q
2 sen2 Q
(4.64)
2P
sen Q , p = 2P m cos Q ,
m
H = P .
(4.65)
(4.66)
Tal y como pretendamos Q es cclica y el momento P es constante. De este modo las ecuaciones
de movimiento para las nuevas variables son:
H
Q =
= Q = t + ,
P
E
H
=0P =
= cte.
P =
Q
(4.67)
Luego de (4.64),
r
2E
sen (t + ) ,
2
m
p(t) = 2mE cos (t + ) .
q(t) =
4.3.
(4.68)
Transformaciones de Mathieu-Lie
Estas transformaciones fueron introducidas por Mathieu y desarrolladas por Sophus Lie. Se pueden
considerar como generalizacion natural de las transformaciones de coordenadas en el espacio de configuracion de la mecanica Lagrangiana.
Consideraremos primero el caso sin dependencia explcita temporal. En estas transformaciones se
exige que la forma diferencial:
n
X
i=1
pi dqi =
n
X
Pi dQi ,
(4.69)
i=1
sea invariante, con lo que, comparando con (4.29) se requiere que la funcion generatriz sea nula. Es
directo observar de (4.69) que las qi y Qi no pueden ser independientes una de la otra pues de lo
106
Mecanica Teorica
Jose A. Oller
contrario tendramos que todos los pi y Pi se anularan. Deben por lo tanto satisfacer al menos una
relacion generica de la forma,
f (q1 , . . . , qn ; Q1 , . . . , Qn ) = 0 .
(4.70)
Una transformacion de Mathieu-Lie viene dada por la conservacion de la forma diferencial (4.69) y
por las relaciones auxiliares:
1 (q1 , . . . , qn ; Q1 , . . . , Qn ) = 0 ,
.
.
.
.
.
.
.
.
.
m (q1 , . . . , qn ; Q1 , . . . , Qn ) = 0 .
(4.71)
(4.72)
con I = I (q, p), 1 I m, esto es, funciones de punto en el espacio de fases. Igualando los
coeficientes de los diferenciales de qi y Qi en (4.72) llegamos a que:
1
m
+ . . . + m
,
qi
qi
1
m
Pi = 1
.
+ . . . + m
Qi
Qi
p i = 1
(4.73)
Tenemos, por tanto, 2n+m ecuaciones para determinar las 2n nuevas variables, (Q, P ), como funciones
de los (q, p) y los multiplicadores I , 1 I m. A partir de las n primeras ecuaciones en (4.73)
podemos despejar las Qi = Qi (q, p) y luego sustituyendo en las restantes n ecuaciones obtenemos
m
X
2
tambien Pi = Pi (q, p). Para que este procedimiento sea viable se requiere que ||
I I /qQ|| no
I=1
sea identcamente nulo. Finalmente, empleando las m ecuaciones auxiliares (4.71) podemos determinar
107
Mecanica Teorica
Jose A. Oller
los I , 1 I m. Comparando la forma diferencial (4.69) con (4.29) se tiene que para que la
transformacion resultante sea canonica es suficente que,
K (Q, P, t) = H (q(Q, P ), p(Q, P ), t) ,
(4.74)
y dF = 0. En consonancia con el hecho generico de que para cambios de variables independientes del
tiempo que sean canonicos, como los dados en (4.73), K = H.
Un caso especial de transformaciones de Mathieu-Lie son las transformaciones de punto de la dinamica de Lagrange para m = n. En este caso, a partir de las n ecuaciones auxiliares podemos expresar:
q1 =f1 (Q1 , . . . , Qn ) ,
.
.
.
.
.
.
qn =fn (Q1 , . . . , Qn ) .
Insertando estas ecuaciones en (4.69) deducimos,
X
X qj
dQi =
Pi dQi ,
pj
Q
i
i
i,j
(4.75)
(4.76)
y, por tanto:
Pi =
X
j
pj
X fj
qj
=
pj
.
Qi
Q
i
j
(4.77)
Que es identica a (4.5). Vemos, por tanto, que toda transformacion de punto de la mecanica de Lagrange
independiente de tiempo, se puede considerar como una transformacion particular de Mathieu-Lie para
m = n. Sin embargo para m < n las transformaciones de Mathieu-Lie son mas generales que las
transformaciones en el espacio de configuracion, aun cuando solo plantean de partida relaciones o
ligaduras entre las nuevas Qi y las viejas qi .
Consideremos a continuacion dependencia explcita temporal,
Q = Q (q, p, t) ,
P = P (q, p, t) .
i=1
(4.78)
(4.79)
I (q1 , . . . , qn ; Q1 , . . . , Qn ; t) = 0 , k = 1, . . . , m ,
donde comparando con (4.29) hemos exigido de nuevo que la funcion generatriz sea nula (salvo la
adicion de una funcion de tiempo). Introduciendo los multiplicadores de Lagrange, tenemos:
n
X
i=1
Mecanica Teorica
Jose A. Oller
En la expresion anterior podemos considerar los diferenciales de las variables canonicas y del tiempo
como independientes ya que en la integral canonica las trayectorias en el espacio de fases son arbitrarias
alrededor del movimiento real del sistema. Por tanto, a partir del coeficiente que multiplica a dt:
K = H + 1
m
1
+ . . . + m
,
t
t
(4.81)
junto con las ecuaciones (4.73) que se deducen analogamente al caso independiente de t y nos garanm
X
tizan el poder expresar Q(q, p, t) y P (q, p, t) si || 2
I I /qQ|| no es identicamente nulo. Si
I=1
comparamos
las ecuaciones (4.73) junto con la expresion para el nuevo Hamiltoniano observamos que
P
(q,
Q,
t) se comportan de la misma forma que una funcion generatriz del tipo 1. Si procedeI I I
mos de forma analoga al caso de transformaciones de Mathieu-Lie independientes de t, es directo
comprobar que para m = n se tienen de nuevo transformaciones de punto de la mecanica Lagrangiana
dependientes de tiempo.
Ejemplo
Consideremos la relacion:
Q2 q 2 = a
(4.82)
= 2qQ2 Q =
p=
q
P =
= 2Qq 2 .
Q
p
,
2q
(4.83)
(pq)2
P
=
.
2a3/2 p
(2a)2
(4.84)
De esta forma podemos obtener, de nuevo por sustitucion, P = P (q, p) y Q = Q (q, p):
pq 2
P = ,
a
r
a
Q=
.
q2
4.4.
(4.85)
Buscamos el invariante basico de las transformaciones canonicas, que sea la condicion necesaria y suficiente que caracterice dichas transformaciones. Ya las hemos caracterizado a traves de la funcion generatriz F , pero ahora buscamos un invariante geometrico. En el caso de las transformaciones de punto de
109
Mecanica Teorica
Jose A. Oller
la mecanica de Lagrange ya vimos que dejaban invariante el diferencial de longitud aik (q)dqi dqk = ds2 ,
en el sentido de que en las nuevas coordenadas ds2 adopta una forma analoga, aun cuando la matriz
aik (q) no sera invariante en general. En el espacio de fases llegaremos a que el invariante geometrico
es una forma diferencial bilineal
con significado de area y no de desplazamiento como en el caso de la
dinamica Lagrangiana, ds = ds2 .
Para un cambio de variables canonico, la forma diferencial (4.29) para dt = 0 queda como:
n
X
n
X
pi qi =
i=1
Pi Qi + F ,
(4.86)
=i
En (4.86) hemos introducido el smbolo en lugar de d para hacer hincapie en que las variaciones
anteriores son a un tiempo fijo. La expresion anterior tambien se puede reescribir como:
n
X
i=1
pi qi
n
X
Pi Qi = F .
(4.87)
i=1
Esta ultima expresion nos recuerda a aquella que tenamos para el trabajo producido por una fuerza
conservativa, que verificaba que su trabajo alrededor de cualquier circuito cerrado en torno a un punto
era cero, y, por lo tanto, dicho trabajo se podra considerar como una funcion de punto, analogamente
a (4.87).
Un criterio similar lo podemos seguir aqu. Recordando la definicion de circulacion de Helmholtz, o
simplemente circulacion introducida en la seccion 3.9,
=
I X
n
pi dqi ,
(4.88)
i=1
donde la integral de lnea se toma a lo largo de cualquier circuito cerrado en el espacio de fases (q, p).
Es directo a partir de (4.87) que se verifica,
=
I X
n
pi qi =
i=1
I X
n
Pi Qi ,
(4.89)
i=1
puesto que:
I
F = 0 .
(4.90)
Mecanica Teorica
Jose A. Oller
L
L
Figura 4.1: A cada punto q( ) y Q( ) de los respectivos espacios de configuracion se les asocia un
vector p( ) y P ( ), respectivamente.
v = cte.
u = cte.
Figura 4.2: La u
nica contribucion viene del contorno L .
(q1 , . . . , qn ) da las coordenadas del punto en el espacio de configuracion, mientras que el conjunto
(p1 , . . . , pn ) determina un campo vectorial adscrito a la curva L. Ahora queremos mostrar como a
partir de este invariante integral se puede deducir un invariante diferencial. Para ello sean u y v
dos parametros que parametrizan una superficie cuyo contorno es la curva L. Sobre dicha superficie se
construye una maya a partir de la interseccion de las curvas sobre la superficie con u y v constantes.
Se calcula entonces la circulacion sobre cada celda de dicha maya que este contenida completamente
en la superficie limitada por la curva L, tal y como se muestra en la figura 4.2, y se suma sobre todas
las celdas. Notemos que la integral sobre las lneas interiores que separan dos celdas se cancela dado
que se recorren en sentidos opuestos, vease de nuevo la figura 4.2, con lo que la suma de la circulacion
sobre cada celda se reduce a calcular la circulacion sobre la curva cerrada L formada a partir de la
union de los segmentos que no son compartidos entre dos celdas. Al hacer la malla cada vez mas densa,
la integral de la circulacion a lo largo de L se aproxima a la integral curvilnea a lo largo de L. En el
lmite ambas son iguales.
111
Mecanica Teorica
Jose A. Oller
Procedamos a calcular ahora la circulacion (4.88) a lo largo de una celda arbitraria contenida en
la superficie. Introducimos la notacion de que dada una funcion f (u, v) en la region encerrada por la
curva L, indicamos por d f el cambio de f debido solo al cambio de v, manteniendo u constante:
d f =
f
dv .
v
(4.91)
f
du .
u
(4.92)
[d (pi d qi ) d (pi d qi )] =
n
X
i=1
(d pi d qi d pi d qi ) =
n
X
qi pi
i=1
pi qi
u v
u v
(4.93)
du dv .
u v
u v
L i=1
K i=1
(4.94)
Dado que la circulacion ha quedado reescrita como una integral de superficie sobre la region encerrada
por la curva cerrada L y, puesto que esta region es totalmente arbitraria, la invariancia de implica la
invariancia del integrando:
n
X
qi pi pi qi
,
(4.95)
u v
u v
i=1
bajo una transformacion canonica. Mas concretamente, fijemonos que los pasos anteriores realizados
con las variables (p, q) tambien los podramos haber realizado analogamente con las variables (P, Q)
y el resultado habra sido el mismo dado que tiene la misma expresion en unas variables y en otras,
as cuando hablamos de invarianza nos referimos a que:
X
n
n
X
qi pi pi qi
Qi Pi Pi Qi
=
.
(4.96)
u v
u v
u v
u v
i=1
i=1
Equivalentemente la siguiente forma diferencial tambien es invariante:
n
X
i=1
(d pi d qi d pi d qi ) =
n
X
i=1
(d Pi d Qi d Pi d Qi ) .
112
(4.97)
Mecanica Teorica
Jose A. Oller
Esta es la forma bilineal diferencial invariante bajo una transformacion canonica. La invariancia de esta,
o de (4.95), es condicion necesaria y suficiente para que una transformacion sea canonica. Hemos visto
que la condicion es necesaria, veamos que tambien es suficiente.
Supongamos que la circulacion se conserva. Consideremos la transformacion:
Q = Q (q, p, t) ,
P = P (q, p, t) .
(4.98)
Pi dQi + dF Kdt =
n
X
Pi Qi + F
i=1
n
X
Pi Qi +
Pi
X
i
Pi
F
Qi
dt + F +
dt Kdt
t
t
F
Qi
dt +
dt Kdt
t
t
{z
} i=1
Invariancia
P de
igual a
i=1 pi dqi
n
n
X
X
F
Qi
=
dt +
dt Kdt
pi dqi +
Pi
t
t
i=1
i=1
|
n
X
i=1
identificando
pi dqi Hdt ,
(4.99)
K=H+
Pi
pi dqi Hdt =
4.4.1.
X
i
Qi F
+
,
t
t
Pi dQi Kdt + dF ,
(4.100)
(4.101)
{u, v} =
=
,
u
v
u
v
u
v
i=1
,=1
(4.102)
donde las variables dinamicas son funcion de dos parametros y hemos empleado la notacion compacta
introducida en (3.42) y, al igual que en el captulo anterior, las letras griegas van desde 1 a 2n. En el
resto de este captulo emplearemos el criterio de suma de Einstein sobre ndices griegos repetidos. De
(4.94) se tiene,
Z
I X
n
pi dqi =
{u, v} du dv ,
(4.103)
L i=1
113
Mecanica Teorica
Jose A. Oller
y como la superficie K es arbitraria se sigue que los corchetes de Lagrange son invariantes bajo
transformaciones canonicas:
{u, v}p,q = {u, v}P,Q ,
(4.104)
donde los subndices indican las variables empleadas en el calculo de los corchetes de Lagrange. En
particular, tenemos los siguientes corchetes de Lagrange,
{qi , qk } = 0,
{pi , pk } = 0,
{qi , pk } = ik ,
(4.105)
(4.106)
Demostracion.Que es necesaria ya lo hemos visto. Comprobemos que es suficiente. Para ello es suficiente con
demostrar que para cualquier par de variables dinamicas u, v tenemos:
{u, v} = {u, v} ,
(4.107)
segun hemos visto en la subseccion anterior. Calculemos {u, v} , sabiendo que se verifica (4.106):
{u, v} =
4.4.2.
=
u
v
u
v
= {u, v} .
u v
u
v
{z
}
|
{ , } = { , } =
Relaci
on entre los corchetes de Poisson y de Lagrange
(4.108)
La demostracion es directa,
{u , u } [u , u ] =
u
u
u
u
u u
u
| {z }
=
=
= .
u
114
Mecanica Teorica
Jose A. Oller
{ , } [ , ] = .
(4.109)
As los [ , ], parentesis de Poisson fundamentales, son invariantes bajo una transformacion canonica
dado que la inversa de una matriz, si existe, es unica.
[k , i ] = ki = [k , i ] .
(4.110)
S
R
S
R
[ , ]
=
= [R, S] .
=
[R, S] =
(4.111)
As pues, los corchetes de Poisson de un par cualquiera de variables son tambien invariantes al serlo
los corchetes de Lagrange. Deducimos por tanto el siguiente teorema:
Teorema
Es condicion necesaria y suficiente para que una transformacion sea canonica que los corchetes de
Poisson fundamentales sean invariantes.
Demostracion.Que es necesaria ya lo hemos visto. Veamos que es suficiente. Esta condicion garantiza la invariancia
de un par arbitrario de corchetes de Poisson y con ello la invariancia de los parentesis de Lagrange en
virtud de (4.108). Por tanto tenemos garantizada la invariancia de la circulacion que implica el
caracter canonico de la transformacion.
Siempre podemos tomar la u y la v como miembros de un conjunto mas amplio de 2n variables
independientes, ya que si no son independientes no se puede construir los parentesis de Lagrange puesto
que han de tomarse como coordenadas de una superficie.
4.5.
La forma simpl
ectica de las transformaciones can
onicas
Ademas de por la existencia de una funcion generatriz hemos caracterizado las transformaciones
canonicas por la invarianza de los corchetes de Lagrange y Poisson. Desarrollamos en esta seccion otra
condicion necesaria y suficiente que garantiza el que una transformacion sea canonica.
4.5.1.
Transformaciones can
onicas restringidas
Consideremos en primer lugar las transformaciones canonicas restringidas (el tiempo no aparece en
las ecuaciones de transformacion):
Qi = Qi (q, p) ,
Pi = Pi (q, p) .
115
(4.112)
Mecanica Teorica
Jose A. Oller
Sabemos que el Hamiltoniano es H (Q, P, t), si inicialmente era H (q, p, t) donde hemos invertido las
relaciones anteriores:
qi = qi (Q, P ) ,
pi = pi (Q, P ) .
(4.113)
Q i =
qj
pj
qj pj
pj qj
j
j
(4.114)
donde tambien hemos empleado las ecuaciones canonicas. Como es una transformacion canonica:
X H pj
H qj
H
.
(4.115)
=
+
Qi =
Pi
pj Pi qj Pi
j
Igualando los coeficientes de las derivadas de H, ya que este es arbitrario:
Qi
pj
qj
Qi
=
=
,
.
qj q,p
Pi Q,P
pj q,p
Pi Q,P
Ahora para los momentos Pi :
X
X Pi
Pi
Pi H Pi H
.
qj +
pj =
Pi =
qj
pj
qj pj
pj qj
j
j
(4.116)
(4.117)
pj
Qi
H pj
H qj
+
qj Qi pj Qi
(4.118)
Por lo tanto:
Pi
pj
=
q,p
qj
Qi
,
Q,P
Pi
qj
q,p
(4.119)
Q,P
Las ecuaciones (4.116) y (4.119) son las condiciones directas para una transformacion canonica restringida. Vemos que nos relacionan la matriz de las derivadas primeras de un cambio de variables con
su matriz inversa.
Expresemos (4.116) y (4.119) de forma mas compacta. Sean (q, p) y (Q, P ) las variables
canonicas, tenemos:
=
H
H
,
=
= M , M =
.
=
116
(4.120)
Mecanica Teorica
Jose A. Oller
Por tanto:
H
= M = M
,
(4.121)
H
H
H
H
= M
.
=
(4.122)
y puesto que,
(4.123)
(4.124)
(4.125)
Que es la llamada Condicion Simplectica. Esta condicion es necesaria y suficiente para que una transformacion sea canonica. Hasta ahora hemos visto que es necesaria, para demostrar que es suficiente
basta con sustituir (4.125) en (4.123).
Existe otra forma equivalente de expresar (4.125):
M M = M M = ,
(4.126)
ya que:
M = M
(4.127)
Multiplicando la ecuacion anterior por la izquierda por y por la derecha por , y recordando que
2 = I, tenemos,
M () = 2 M
4.5.2.
() M = M M M = .
(4.128)
Transformaciones can
onicas dependientes del tiempo
Sea = (, t) una transformacion canonica que depende explcitamente del tiempo, siendo t en
el espacio de fases no mas que un parametro continuo. Consideremos la transformacion canonica
(t0 ) = (, t0 ), para un valor fijo de t = t0 . De este modo la transformacion final (, t) la podemos
considerar como la resultante de la composicion de la transformacion canonica (t0 ) = (, t0 )
seguida de la evolucion temporal desde t0 t de las nuevas variables canonicas (t),
P
P
T.C.
q
P
T.C.
(t)
117
- (t0 )
)
evoluci
on temporal T.C.?
Mecanica Teorica
Jose A. Oller
Ya que t0 es una constante, la transformacion canonica (, t0 ) cumplira la condicion simplectica, porque hemos visto en la subseccion anterior que es condicion necesaria y suficiente para que
una transformacion sea canonica. Queremos ver que este es tambien el caso para la transformacion
(, t0 ) (, t), que corresponde con la evolucion temporal de las nuevas variables canonicas.
Para ello vamos a considerar el caso de transformaciones canonicas que dependen de un parametro
continuo generico.
4.5.3.
Transformaci
on can
onica infinitesimal
Una transformacion canonica dependiente de un parametro continuo puede considerarse como una
sucesion de transformaciones canonicas infinitesimales. Sean las variables canonicas originales (q, p) y
las nuevas variables (Q, P ),
Qi = Qi (q, p, ) , Pi = Pi (q, p, ) ,
(4.129)
Qi = qi + qi ,
Pi = pi + pi ,
(4.130)
= + .
A primer orden en siempre podemos tomar la funcion generatriz del tipo 2,
X
F2 (q, P, t) =
qi Pi + G (q, P, ) .
(4.131)
P
Recordemos que F2 debe cumplir (4.32) y (4.131) lo cumple siempre dado que difiere de i qi Pi (cuyo
Hessiano es uno) por cantidades infinitesimales. A primer orden podemos sustituir G (q, P, ) por
G (q, p, ), ya que la diferencia entre P y p es orden . De acuerdo a (4.31), las derivadas de la
funcion generatriz nos dan:
G
F2
= Pj +
,
qj
qj
G
,
= Pj pj =
qj
G
F2
= qj +
,
=
Pj
Pj
G
G
=
+ O(2 ) .
=
Pj
pj
pj =
pj
Qj
qj
(4.132)
En definitiva:
qj =
G
G
, pj =
, G = G (q, p, )
pj
qj
118
(4.133)
Mecanica Teorica
Jose A. Oller
G
,
(4.134)
(4.135)
en lugar de Qi (q, p, 0) y Pi (q, p, 0), pero el procedimiento es del todo analogo. Realizando una transformacion canonica infinitesimal a:
Qi = Qi (q, p, + d) ,
Pi = Pi (q, p, + d) .
(4.136)
()
( = 0) = {q; p} .
(4.137)
2G
.
(4.138)
Mecanica Teorica
Jose A. Oller
(4.139)
2G
.
(4.140)
M = I +
con lo que
M = I
M M
=
I + 2 I 2
2
2
G
G
= + 2 2 = .
(4.141)
Y vemos que la condicion simplectica es condicion necesaria para las transformaciones canonicas infinitesimales.
Comprobemos que tambien es suficiente. Dada la transformacion infinitesimal:
( + d) = + Y (, ) ,
(4.142)
(4.143)
G(, t0 )
en cuyo caso podremos identificar Y =
, y entonces tenemos automaticamente la funcion
t0
P
generatriz F2 = i qi Pi +G (, ) y es canonica. Apliquemos la condicion simplectica, lo que requiere
el calculo de las matrices M y M a partir de (4.142):
M =
Y
Y
.
= +
, M = I +
(4.144)
Y para M :
M = I
(4.145)
!
Y
Y
=.
= + dt
Y
I +
120
(4.146)
(4.147)
Mecanica Teorica
Jose A. Oller
Por lo tanto:
Y
Y
Y
Y
Y
=
=
,
=0
(4.148)
se cumple (4.143) y en efecto (4.142) representa una transformacion canonica infinitesimal por satisfacer
la condicion simplectica.
Para considerar el caso de transformaciones finitas, notemos que si se aplican sucesivamente dos
transformaciones canonicas:
M1
M2
-
- ,
vemos que:
M =
= = (M2 ) (M1 ) M = M2 M1 .
(4.149)
Ademas:
M M = M2 M1 M1 M2 = M2 M2 = ,
| {z }
(4.150)
con lo que la transformacion resultante cumple la condicion simplectica si esta es satisfecha por cada una
de las transformaciones con matrices M1 y M2 . Como una transformacion canonica finita continua en
la podemos considerar como resultante de la aplicacion sucesiva de transformaciones infinitesimales,
se tendra,
lm
N
Y
Mi
i=1
N
Y
Mj = .
(4.151)
j=1
Luego la transformacion canonica finita cumple la condicion simplectica. Veamos que es condicion
suficiente. Obviamente si la condicion simplectica es satisfecha por la transformacion canonica finita y
continua (, ), esta queda satisfecha por las transformaciones infinitesimales (caso particular cuando
es infinitesimal). Por lo tanto, al ser las transformaciones infinitesimales canonicas as lo sera la
transformacion finita resultante de componerlas. Con ello queda demostrado que es condici
on necesaria y suficiente para que toda transformaci
on continua sea canonica el que satisfaga la condici
on
simplectica.
Volviendo a nuestras consideraciones originales, relativas a transformaciones dependientes del tiempo explcitamente, podemos aplicar sin mas los resultados obtenidos al estudiar las transformaciones
dependientes de un parametro continuo identificando el parametro t con para la transformacion
(, t0 ) (, t), con la condicion inicial obvia (, t)|t0 = (, t0 ). Volviendo a considerar la cadena
de transformaciones canonicas, (, t0 ) (, t), esquematizadas en este diagrama,
XX
X
z
X
M =M M
2
M1
(, t)
121
- (, t0 )
9
M2
Mecanica Teorica
Jose A. Oller
se deduce que:
M =
(t0 )
(, t)
=
M = M 2 M1
(t0 )
(4.152)
4.6.
(4.153)
entonces,
[ , ] =
= M M
.
(4.154)
(4.155)
Mecanica Teorica
Jose A. Oller
Y en las nuevas:
(d) = dQ1 . . . dQn dP1 . . . dPn
(4.156)
(4.157)
M M = (det M )2 = 1 |det(M )| = 1
(4.158)
V =
dq1 . . . dqn dp1 . . . dpn =
| | dQ1 . . . dQn dP1 . . . dPn =
Dq,p
DQ,P
|{z}
(4.159)
1
Z
=
dQ1 . . . dQn dP1 . . . dPn ,
DQ,P
y el volumen de una region arbitraria, calculado de la misma forma en los dos sistemas de coordenadas
en el espacio de fases por una transformacion canonica, coincide.
4.7.
(4.160)
La comparacion es directa con las ecuaciones canonicas (3.36) sin mas que identificando el Hamiltoniano
H(q, p, t) con el generador G(q, p, t). Por lo tanto, observamos que la evolucion temporal q 0 q(t) y
p0 p(t) es un caso particular de transformaciones canonicas dependientesX
de un parametro continuo.
Ademas para la evolucion t t + dt tenemos la funcion generatriz F2 =
qi Pi + dtH(q, p, t). Y el
i
H(q, p, t)
F2
= H + dt
t
t
dH(q, p, t)
dt .
= H (q, p, t + dt) = H(q, p, t) +
dt
K = H+
123
(4.161)
Mecanica Teorica
Jose A. Oller
(4.162)
pero en esta ocasion explotando el hecho de que la evolucion temporal la podemos considerar como
una transformacion canonica dependiente de un parametro continuo, adquiriendo un nuevo significado
relativo a conocer el nuevo Hamiltoniano tras el cambio de variables. Ademas H es el generador de las
transformaciones canonicas con t como parametro. El que H 6= constante, refleja el hecho de que la
funcion generatriz depende explcitamente del tiempo.
Hemos llegado al importante resultado de que todo movimiento de un sistema se puede considerar
como una sucesion de transformaciones canonicas infinitesimales. El entero movimiento del sistema a
lo largo del tiempo se puede ver como un cambio continuo de coordenadas (q, p) en el espacio de fases
de tipo canonico!.
Teniendo en cuenta la conservacion para las transformaciones canonicas de la circulacion y del
volumen vistos en las secciones 4.4 y 4.6, respectivamente, es ahora evidente que la evolucion temporal
conserva la circulacion y el volumen en el espacio fasico y son, por tanto, invariantes integrales. El
teorema de Liouville lo vimos en la seccion 3.8 desde el punto de vista activo, considerando la variacion
en la forma de una region en el espacio de fases debido a la evolucion temporal. En la seccion 3.8 se
adopto la descripcion de campo desde el punto de vista de la analoga con el fluido de fases. Ahora la
conservacion del volumen por la evolucion temporal se puede ver segun la descripcion de partcula del
fluido de fases. Siguiendo la demostracion dada en (4.159),
Z
V =
dq1 . . . dqn dp1 . . . dpn
(4.163)
D(t0 )
124
(4.164)
Captulo 5
Simetras y teoremas de conservaci
on II.
Ecuaci
on de Hamilton-Jacobi
5.1.
(5.1)
(5.2)
0 = Z0 ( , t; ) .
(5.3)
Para cada tenemos la funcion generatriz F 0 ( 0 , t; ) que en virtud de (4.20) es unica salvo por la
adicion de una funcion arbitraria de y t. Escribimos F 0 para indicar que se toma F como funcion de
0 y no de las variables .
La funcion generatriz F 0 debe satisfacer las ecuaciones (4.20). Dichas ecuaciones se pueden expresar
de forma mas compacta introduciendo la siguiente notacion matricial. Sea la matriz,
On I n
,
(5.4)
=
On On
donde In y On son las matrices identidad y nula, de orden n, respectivamente. Esta matriz posee la
propiedad:
= .
125
(5.5)
Mecanica Teorica
Jose A. Oller
Los elementos de la matriz los designaremos por . Con esta notacion, (4.20) se pueden reescribir
como:1
0 =
F 0
Z
Z
+
.
0
0
(5.6)
0
0
Z Z
Z Z
= 0
0
Z Z
= ( ) 0
+ 0
0 =
2F 0
0
Z
F 0
+ 0
Z +
0
Z
F
.
Z +
(5.7)
F 0
Z
, t; =
+
Z .
(5.8)
Z Z G0
+ 0 =0.
0
(5.9)
(5.10)
Z0
:
Teniendo en cuenta este resultado y multiplicando (5.9) por
Z Z0 Z
Z0
G0
+
=0.
0
0
| {z }
(5.11)
Z 0 G0
Z
+ 0 = 0 ,
(5.12)
G
Z
=
(5.13)
equivalentemente,
126
Mecanica Teorica
Jose A. Oller
0 = (0)
Espacio fsico
y as manteniendo 0 , t fijos tenemos que los puntos de coordenadas describen una curva uniparametrica con como parametro. Sobre una de las curvas solo vara y, segun (5.13), podemos
escribir como ecuacion diferencial de las mismas:
G
d
=
,
d
(0) = 0 .
(5.15)
Estas ecuaciones, como ya se ha discutido en el captulo anterior, son completamente similares a las
ecuaciones de Hamilton con haciendo el papel de t.
Sobre estas curvas (orbitas) cada punto () se relaciona unvocamente con (0). Hemos visto
que asociada a cada familia uniparametrica de transformaciones canonicas hay una funcion G(, t; )
llamada el Generador Infinitesimal.
Teorema
Toda funcion continua y diferenciable G(, t; ) genera una familia de transformaciones canonicas
uniparametricas que viene dada por:
d
G
=
d
(5.16)
y para cada familia uniparametrica de transformaciones canonicas existe un generador infinitesimal que
satisface la ecuacion anterior.
127
Mecanica Teorica
Jose A. Oller
Demostracion.La segunda parte del teorema ya ha sido demostrada. Para ver que la primera parte es correcta
consideremos los parentesis de Lagrange:
0 0
?
, = 0 0 = 0 , 0 = .
(5.17)
0
(5.18)
0
=
Z
Z
Z Z
=
+ 0 0
0
G Z
Z
=
0
0
0
0
!
"
#
G 2 Z
G Z
G 2 Z
G Z
=
0 0
0 0
0 0
0 0
=
2 G0
G 2 Z
2 G0
G 2 Z
=0.
+
0 0 0 0
0 0 0 0
(5.19)
0 , = 0 , 0 = .
(5.20)
1
p0 + d + q 0 = q 0 + p0 + 2 .
2
128
(5.21)
(5.22)
(5.23)
(5.24)
Mecanica Teorica
5.2.
Jose A. Oller
En mecanica Lagrangiana hemos visto como el teorema de Noether determina la existencia de constantes de movimiento asociadas a aquellas transformaciones continuas en el espacio de configuracion
que dejan invariantes las ecuaciones de movimiento (es decir L = 0 o L = dF/dt). As mismo dicho
teorema proporciona la expresion para calcular dichas magnitudes.
Conclusiones analogas se obtienen de la invariancia del Hamiltoniano bajo familias continuas de
transformaciones canonicas. Para ello consideremos una variable dinamica R(, t) que variara a lo largo
de la -orbita de acuerdo a:
dR
R d
R
G
=
=
= [R, G] ,
d
d
(5.25)
(5.26)
(5.27)
(5.28)
Para el caso relevante en que H no dependa explcitamente de se tiene por tanto que dH/d = 0
si [H, G] = 0, segun (5.27), en cuyo caso la funcion H(, t) no cambia a lo largo de la orbita. Pero
as mismo, si G no depende de t explcitamente se sigue de (5.28) que G() sera una constante de
movimiento. Llegamos, por tanto, al interesante resultado de que si H/ = G/t = 0, y H es
invariante a lo largo de las orbitas generadas por G, entonces G lo es a lo largo de las orbitas temporales
generadas por H. Vemos como un resultado de invarianza de H bajo transformaciones continuas nos
ha llevado a la existencia de una constante de movimiento.
Sin embargo, la discusion anterior no ha incidido en el hecho fundamental de que el Hamiltoniano es
el generador infinitesimal de la evolucion temporal y su cambio bajo una transformacion canonica viene
dictado por (4.21). Es decir, al determinar el comportamiento de R(, t; ) en (5.26) se esta tomando
esta funcion con una forma funcional fija en termino de las variables (0 , t; ) para todo y, por tanto,
su variacion corresponde a evaluar la misma expresion para valores distintos de sus argumentos segun
cambie . Este
no es el caso para el Hamiltoniano K(, t; ) (K(0 , t; 0) = H(0 , t; 0)). De hecho,
dado que para un cambio infinitesimal en siempre podemos tomar como funcion generatriz:
X
F2 (q, P, t) =
qi Pi + G (q, P, ) ,
(5.29)
i
(5.30)
Mecanica Teorica
Jose A. Oller
en lugar de (5.27). Para deducir la expresion anterior tengase en cuenta (4.31). Si G no depende
explcitamente de t se deduce que K es constante a lo largo de la -orbita e igual a K(, t; ) =
H(0 (, t; ), t; 0).
La ecuacion (5.30) nos lleva a preguntarnos bajo que condiciones se cumple que K(, t, ) =
H(, t, ). Dado que ambas funciones coinciden para = 0 se llega a que solo cuando dK/d = dH/d
se satisfara el requerimiento anterior. Igualando entonces las expresiones (5.27) y (5.30) se llega a que:
dH
H
G
dK
= [H, G] +
=
=
,
d
t
d
(5.31)
(5.32)
G
[H, G] =
,
t
(5.33)
(5.34)
donde la ultima igualdad se sigue de reescribir (5.31) teniendo en cuenta (5.33). A su vez (5.31) y
(5.33) implican que H es invariante en la -orbita de una simetra si G no depende de t explcitamente.
La ecuacion (5.33) implica tambien que el generador infinitesimal de una simetra es una constante de
movimiento teniendo en cuenta (5.32).
En la dinamica Lagrangiana se vio que la invariancia del Lagrangiano bajo transformaciones o rotaciones conduce a la conservacion del momento lineal y del momento angular, respectivamente. En la
dinamica Hamiltoniana la conservacion de un momento generalizado pi se deduce, en virtud de las
ecuaciones canonicas, de la independencia del Hamiltoniano respecto de su coordenada canonicamente
conjugada qi , ya que:
pi =
H
=0.
qi
(5.35)
Podemos ahora establecer dicha relacion entre conservacion e invariancia (simetra) de H en terminos
de familias continuas de transformaciones canonicas y sus generadores infinitesimales G.
130
Mecanica Teorica
Jose A. Oller
(5.36)
qj = qj0 + ij , pj = p0j .
(5.37)
Es decir, que las -orbitas son lneas a lo largo de las cuales solo qi vara. En este caso, G/t = 0
y para que se cumpla (5.34) se requiere que,
[pi , H] = 0 =
H
,
qi
(5.38)
con lo que recuperamos (5.35) con qi una coordenada cclica. El resultado (5.38) es suficiente
para garantizar tambien (5.33) dada la eleccion de variables canonicas que se ha hecho en esta
discusion.
2. Consideremos ahora que G = H. Su variacion temporal viene dada por:
H
H
dH
= [H, H] +
=
.
dt
t
t
(5.39)
Por lo tanto, siempre se cumple (5.31) y la evolucion temporal es una simetra si y solo si H/t =
0. Entonces, H() = H(0 (, t), 0) y tenemos el teorema de conservacion del Hamiltoniano
(equivalente al teorema de conservacion de la energa para sistemas cerrados).
5.3.
La ecuaci
on de Hamilton-Jacobi
El hecho de que la evolucion temporal de un sistema en el espacio de fases sea una sucesion continua
de transformaciones canonicas es la base de un nuevo metodo general para resolver la evolucion temporal
de un sistema en mecanica.
Se trata de encontrar la funcion generatriz F de la transformacion canonica uniparametrica temporal
en uno de los cuatro tipos basicos de transformaciones canonicas para obtener las ecuaciones algebraicas
de la transformacion desde el estado inicial al estado final.
Sea 0 el punto inicial en el espacio de fases en t0 y considerese la transformacion canonica (t) =
Z ( 0 , t). Identificando con t y G0 con H 0 (0 , t) = H((0 , t), t) en (5.8), deducimos que:
F 0
Z
= H 0 ( 0 , t)
Z .
t
t
131
(5.40)
Mecanica Teorica
Jose A. Oller
Dado que los 0 se refieren a las condiciones iniciales del movimiento, emplearemos el convenio habitual
de identificar derivadas temporales parciales y totales siempre que se tomen como argumentos 0 y t.
De este modo la ecuacion anterior se puede reescribir como:
dZ
dF 0
= H 0 ( 0 , t)
Z = H(, t) .
dt
dt
(5.41)
ya que los 0 se consideran fijos. Por otra parte, vimos en el principio de Hamilton que el movimiento
del sistema queda especificado conociendo las coordenadas generalizadas en dos instantes distintos, q 0
en t = t0 y q(t) en t. As tomaremos:
(t) = Z ( 0 , t) = Z (q 0 , q, t) ,
F 0 ( 0 , t) = S(q, t, q 0 , t0 ) ,
(5.42)
S
.
qi (t)
(5.43)
dF 0
S X S
S X
=
pi qi .
qi =
dt
t
q
t
i
i
i
(5.44)
(5.45)
(5.46)
claro que para integrar la expresion anterior es necesario conocer de antemano la evolucion temporal
(0 , t) que es precisamente el problema que pretendemos resolver. Si en (5.47) reemplazamos los pi
por su expresion en terminos de qj y qj (mediante el empleo de las ecuaciones canonicas), se deduce
que el integrando es el Lagrangiano, obteniendose,
Z t
0 0
S(q, t, q , t ) =
L(q(t ), q(t
), t)dt ,
(5.48)
t0
132
Mecanica Teorica
Jose A. Oller
donde q(t ) representa el movimiento real del sistema. Por lo tanto, la accion es una solucion de la
ecuacion de Hamilton-Jacobi. Ilustremos este resultado con el caso simple de una partcula libre.
Ejemplo
Consideremos una partcula libre:
q(t ) = q 0 + (q q 0 )
La accion viene dada por,
Z
S=
t
t0
1 2
q(t
) dt =
2
t
t0
1
2
t t0
.
t t0
q q0
t t0
2
dt =
(5.49)
1 (q q 0 )2
.
2 t t0
(5.50)
p0 =
Resolviendo:
q(t) = q 0 + (t t0 )p0 ,
p(t) = p0 .
(5.51)
(5.52)
Para poder determinar el movimiento del sistema en un caso generico hemos de resolver la ecuacion
de Hamilton-Jacobi (5.46). De hecho podemos afirmar:
Teorema
Sea S(q, Q, t) una solucion cualquiera de la ecuacion de Hamilton-Jacobi que depende de n + 1
constantes Q1 , . . . , Qn y C tal que det ( 2 S/qQ) 6= 0. Entonces las ecuaciones:
pi =
S
S
, Pi =
,
qi
Qi
(5.53)
donde P1 , . . . , Pn son constantes, definen la transformacion canonica desde las qi (t), pi (t), que satisfacen las ecuaciones canonicas de movimiento, a las 2n constantes de movimiento Qi , Pi .2
2
133
Mecanica Teorica
Jose A. Oller
(5.54)
(5.55)
(5.56)
H(q, p, t)
.
pi
(5.57)
X 2S
X 2S
2S
H(q, Q, t)
d S
=
qj +
=
qj
dt qi
qi qj
tqi
qj qi
qi
j
j
X 2S
H(q, p, t) X H(q, p, t) pj (q, Q, t)
qj
qj qi
qi
pj
qi
j
j
H(q, p, t) X 2 S
H(q, p, t)
=
qj
.
+
qi
q
q
p
j
i
j
j
(5.58)
(5.59)
H(q, p, t)
.
qi
(5.60)
Por lo tanto, en virtud del teorema anterior, hemos de buscar soluciones de la ecuacion de HamiltonJacobi, tambien denominadas soluciones completas, que dependan de n constantes de integracion. Se
ha de tener en cuenta que la solucion de una ecuacion diferencial en derivadas parciales dependera en
general no de constantes arbitrarias de integracion sino de funciones arbitrarias. Recibe el nombre de
funcion principal de Hamilton toda solucion de la ecuacion de Hamilton-Jacobi (en nuestro caso S)
que dependa de n constantes, y son las unicas soluciones de interes para el estudio del movimiento del
sistema.
134
Mecanica Teorica
Jose A. Oller
Las Qi rara vez seran las qi0 (coordenadas generalizadas iniciales). No obstante las 2n constantes Qi ,
Pi se podran expresar en funcion del estado inicial del sistema mediante las relaciones qi0 = qi (Q, P, t0 )
y p0i = pi (Q, P, t0 ).
Ejemplo: Busquemos una solucion completa de la ecuacion de Hamilton-Jacobi (5.46) para el caso
de la partcula libre. El Hamiltoniano, como sabemos, viene dado por:
H=
p2
,
2
(5.61)
entonces:
1
S1
=
t
2
S2
q
2
(5.62)
S2 p
= 2Q ,
q
S = Qt +
Aplicando las ecuaciones (5.53) obtenemos:
p
2Q q .
S p
S
q
.
= 2Q , P =
=t
q
Q
2Q
135
(5.63)
(5.64)
(5.65)
(5.66)
(5.67)
Mecanica Teorica
5.3.1.
Jose A. Oller
Las nuevas variables canonicas (Q, P ) son independientes de tiempo. Este hecho se cumple cuando
el nuevo Hamiltoniano sea una funcion arbitraria de t. Dado que toda funcion generatriz, al igual que
todo Hamiltoniano, esta indeterminada por la adicion de una funcion de tiempo generica, igualaremos a
cero dicho Hamiltoniano. Tomando la funcion generatriz que pasa de las variables (Q, P ) a (q(t), p(t))
de tipo 1, S(q, Q, t), esta debe satisfacer:
K(Q, P, t) = 0 =
equivalentemente,
S
+ H(q, p(q, Q, t), t) ,
t
S
S
= H(q,
, t) ,
t
q
(5.68)
(5.69)
5.4.
Separaci
on de variables
(5.71)
En efecto, derivando:
T
t
|{z}
funci
on de t
Entonces:
W
.
= H q,
q
{z
}
|
(5.72)
funci
on de q
(5.73)
(5.74)
Mecanica Teorica
Jose A. Oller
La funcion W (q, Q) se llama la funcion caracterstica de Hamilton. Esto muestra que un Hamiltoniano independiente del tiempo admite una separacion de variables en el tiempo. Del mismo modo
se puede demostrar que si H(q, Q) no depende de una variable qi , digamos q1 , entonces la ecuacion
(5.74) admite como solucion W (q, Q) = q1 Q2 + W (q2 , . . . , qn , Q). Este procedimiento se puede iterar
para un numero arbitrario de variables cclicas.
Otro metodo adicional al de la exitencia de variables cclicas es el que describimos a continuacion.
Multiplicamos H por una funcion f (q1 , . . . , qn1 ), y supongamos que de este modo la dependencia en
qn de f H queda en la forma:
f (q1 , . . . , qn1 )H q,
W
q
No depende de qn
z }|
{
W
W
= Hn q,
+Hn qn ,
= f (q1 , . . . , qn1 )Q1 .
q
qn
(5.75)
Podemos, por lo tanto, buscar una solucion W (q, Q) = Wn (qn , Qn ) + W (q1 , . . . , qn1 , Q) y tenemos:
Wn
= Qn .
(5.76)
H n qn ,
qn
Empleando las ecuaciones (5.75) y (5.76) podemos escribir:
Hn f Q1 = Qn .
(5.77)
Esta ecuacion es del mismo tipo que la inicial (5.74) pero ahora dependiente de q1 , . . . , qn1 . Realicemos
de nuevo el proceso anterior, pero esta vez con g = g(q1 , . . . , qn2 ). Supongamos que g(Hn f Q1 )
adopta la forma separable,
W
W
, Q + Hn1 qn1 ,
, Q = gQn
(5.78)
Hn1 q1 , . . . , qn2 ,
q1...n2
qn1
Por lo que obtenemos ahora:
Wn1
, Q = Qn1
Hn1 qn1 ,
qn1
(5.79)
Es de destacar que cada separacion de una variable qi conlleva la aparicion de una nueva constante Qi
con lo que, si este procedimiento es iterable para las n variables, concluimos que, en efecto, se genera
una solucion completa de (5.74), o funcion caracterstica de Hamilton, en la forma:
W (q, Q) =
n
X
Wi (qi , Q) .
(5.80)
i=1
n
X
i=1
Wi (qi , Q) Q1 t .
137
(5.81)
Mecanica Teorica
Jose A. Oller
Las ecuaciones de la transformacion para una transformacion canonica basica de tipo 3 son:
W
Wi (qi , Q)
=
,
qi
qi
n
X
Wj
+ 1i t .
=
Q
i
j=1
pi =
(5.82)
Pi
(5.83)
Solo a traves de (5.83) aparece el tiempo en la evolucion. Cuando este procedimiento se puede aplicar
diremos que la ecuacion de Hamilton-Jacobi es separable.
La ecuacion (5.82) da lugar a pi = pi (qi , Q), dependiente solo de qi , y la representacion de pi =
pi (qi , Q) en el plano (qi , pi ) da lugar al grafo i-esimo.
Ejemplo
Supongamos que tenemos el Hamiltoniano
H=
1
p21 + p22 + p23 F q3 ,
2m
(5.84)
correspondiente al movimiento de una partcula en tres dimensiones con una fuerza constante a lo
largo de una de ellas, pensemos por ejemplo en el tiro parabolico. Dicho Hamiltoniano da lugar a una
ecuacion de Hamilton-Jacobi claramente separable para cada variable q1 , q2 y q3 . Escribimos entonces
la funcion caracterstica de Hamilton como:
W (q, Q) = W1 (q1 , Q) + W2 (q2 , Q) + W3 (q3 , Q) ,
llegando a la ecuacion diferencial,
"
2
2
2 #
1
W1
W2
W3
+
+
F q3 = Q1 ,
2m
q1
q2
q3
(5.85)
(5.86)
y, por tanto,
W1
q1
2
= C1
1
dW3 2
C1 + C2 +
F q3 = Q1 ,
2
2m
dq3
W2
= C2
q2
equivalentemente,
dW3 p
= 2m(Q1 + F q3 ) C1 C2 ,
dq3
W3 (q3 , Q) =
1
[2m(Q1 + F q3 ) C1 C2 ]3/2 .
3mF
138
(5.87)
(5.88)
(5.89)
Mecanica Teorica
Jose A. Oller
ciclo
Figura 5.2: Ejemplo de grafo de tipo vibratorio para el caso del oscilador armonico 3(5.94).
Con ello S = Q1 t+ C1 q1 + C2 q2 +W3 (q3 , Q). Aplicando (5.83) llegamos a las siguientes ecuaciones
de las que podemos resolver el movimiento del sistema,
1
1 p
S
= P1 = q1 +
2m(Q1 + F q3 ) C1 C2 ,
C1
2mF
2 C1
1
1 p
S
= P2 = q2 +
2m(Q1 + F q3 ) C1 C2 ,
C2
2mF
2 C2
1p
S
= P3 = t
2m(Q1 + F q3 ) C1 C2 .
(5.90)
Q1
F
p
De la ultima ecuacion se tiene que 2m(Q1 + F q3 ) C1 C2 = F (t P3 ). De esta expresion
obtenemos directamente q3 (t) y sustituyendo en las dos primeras de las ecuaciones (5.90) se determinan
a su vez q1 (t) y q2 (t),
p
C1
(t P3 ) 2 C1 P1 ,
q1 (t) =
m
p
C2
(t P3 ) 2 C2 P2 ,
q2 (t) =
m
Q1 C1 + C2 + F 2 (t P3 )2
+
.
(5.91)
q3 (t) =
F
2mF
5.4.1.
Un sistema en el que el movimiento queda confinado en una cierta region del espacio se dice que
es acotado. Un sistema acotado y separable es un sistema acotado en el que la funcion caracterstica de Hamilton adopta la forma completamente separable (5.80). En lo que sigue de este captulo
supondremos que las qi fijan unvocamente la configuracion del sistema3 y que tratamos con sistemas
acotados separables. En este caso, como ya discutimos en la seccion anterior,
3
pi
Tengase en cuenta que esto no siempre es as. Considerese, por ejemplo, la transformacion can
onica qi = pi ,
= qi .
139
Mecanica Teorica
Jose A. Oller
Wi (qi , Q)
,
qi
(5.92)
y cada pi es funcion s
olo de qi y de n constantes Qj .
Dado un sistema acotado y separable, siempre se pueden elegir las coordenadas generalizadas de
forma que se tengan unicamente dos tipos de grafos relevantes para todo par de variables canonicas
(qj , pj ).
Vibraci
on
La grafica de pi frente a qi es una curva cerrada. Un ejemplo es el problema del oscilador armonico.
En ese caso:
2
1
dW
1
+ m 2 qi2 = Q1 .
(5.93)
2m dqi
2
De donde se obtiene:
pi =
2mQ1 m2 2 qi2 .
(5.94)
El hace que la curva sea simetrica respecto del eje qi . Los puntos donde el radicando se hace
es el caso
cero son los puntos de retroceso y son puntos de ramificacion de la raz cuadrada. Este
habitual para un Hamiltoniano cuadratico en pi . El tiempo necesario para recorrer todo el ciclo
en general no es fijo ya que dependera del resto de coordenadas involucradas en el movimiento
y, por lo tanto, el movimiento tpicamente no sera periodico.
Rotaci
on
En este caso qi y qi + mqi0 reproducen la misma configuracion del sistema para m un entero.
Entonces pi es una funcion periodica de qi , el caso tpico corresponde a que qi sea un angulo.
Al igual que en el caso de vibracion, el tiempo necesario para pasar de qi a qi + qi0 no es en
general independiente del resto de qj y, por lo tanto, el movimiento en qi no tiene, en general, un
perodo bien definido. La coordenada qi se dice que es multivaluada porque cada configuracion
140
Mecanica Teorica
Jose A. Oller
no corresponde a un unico valor de qi sino que este esta indeterminado en multiplos enteros de
qi0 .
Dependiendo de los valores de las constantes Q1 , . . . , Qn , el caracter oscilatorio o vibratorio
de una variable dada qi puede cambiar pasando de univaluada a multivaluada. Por ejemplo,
consideremos el movimiento de un pendulo simple,
p2
M gl cos = Q ,
H=
2M l2
(5.95)
De la expresion anterior,
p2
= M gl cos + Q 0 ,
2M l2
y distinguiremos dos casos: i) Q M gl < 0 y ii) Q M gl > 0.
(5.96)
(5.97)
5.5.
Variables acci
on
angulo
Como ya se ha indicado, en esta seccion tampoco se emplea el convenio de suma sobre ndices repetidos.
141
Mecanica Teorica
Jose A. Oller
c = Pn W
ci a la funcion caracterstica de
expresando las constantes Qi = Qi (J). Indicamos por W
i=1
Hamilton con argumentos dados por qi y Ji . Las ecuaciones de la transformacion son en esta notacion:
pi =
ci (qi , J)
W
Wi (qi , Q)
=
.
qi
qi
(5.100)
En lugar de seguir considerando la funcion caracterstica de Hamilton como parte de la funcion generatriz S, la tomamos a continuacion como una funcion generatriz independiente de tiempo. Esta
transformacion canonica produce el cambio de variables canonicas (q(t), p(t)) (J, w), con wi las
variables canonicamente conjugadas a los Ji y que denominamos por variables angulo, dado que son
adimensionales. Dada las dimensiones de Ji , aunque son funciones de las Qj , las consideraremos momentos generalizados. Tendremos as una transformacion canonica basica de tipo 2. Las variables angulo
son:
n
c(q, J) X
cj (qj , J)
W
W
wi =
=
.
Ji
J
i
j=1
(5.101)
Ademas, dado que el Jacobiano asociado al cambio de variables Ji (Q) es no nulo, como se ha mencionado anteriormente, y a que el Hessiano de W respecto de qi y Qi es tambien distinto de cero,
tendremos:
!
c
2W
det
6= 0 ,
(5.102)
Ji qj
c/t =
como se require para que tengamos una transformacion canonica basica de tipo 2. Dado que W
0, el nuevo Hamiltoniano viene dado por:
K(w, J) = H = Q1 (J) .
(5.103)
Con ello, las ecuaciones canonicas para las nuevas variables son:
Q1 (J)
Ji =
=0,
wi
Q1 (J)
w i =
i (J) .
Ji
(5.104)
(5.105)
(5.106)
Mecanica Teorica
Jose A. Oller
De (5.101) se despeja qi = qi (w, J), que al sustituir en (5.100) permite obtener pi = pi (w, J).5
Estudiemos a continuacion la variacion de wi bajo el cambio de una coordenada arbitraria qj manteniendo el resto de coordenadas generalizadas constantes. Veamos que wi es periodica bajo un cambio
de dichas caractersticas en qj para j 6= i, y que aumenta monotonamente con qj , cambiando en
una unidad en cada ciclo completo de qi . Para ello designemos por j wi el cambio en wi debido a la
variacion de qj una vez recorrido un ciclo completo manteniendo el resto de coordenadas fijas, tenemos:
I
c
c
W
W
j wi = j
=
dqj
Ji
Ji
qj
I c
Jj
Wj
dqj =
= ij .
=
Ji
qj
Ji
(5.107)
Nota
El calculo anterior no muestra que wi cambia en una unidad en un ciclo durante el movimiento
real del sistema. Durante dicho movimiento todas las qj estan cambiando, mientras que en el calculo
anterior se ha tomado que qj , con j 6= i, esta fijada, y qi recorre su ciclo respectivo en el plano
(qi , pi ). De hecho, a partir de (5.101) vemos que cada coordenada contribuye aditivamente, y de forma
independiente al resto de coordenadas, a la variacion de wi en un tiempo dado.
De las ecuaciones,
pi =
ci (q, J)
W
,
qi
wi =
c(q, J)
W
,
Ji
(5.108)
al resolver qi (w, J) de las ultimas ecuaciones, resulta de (5.107) que al cambiar wj , y solo wj , en una
unidad entonces qj para el caso univaluado tampoco cambia mientras que para el caso multivaluado
cambia en qj0 . Para el resto de coordenadas podemos llegar a la conclusion de que no cambian en el
proceso ya que si alguna lo hiciese, esta sera del tipo multivaluado y lo haran en qi0 con i 6= j. Sin
embargo, entonces ocurrira que tambien wi cambiara en una unidad, segun (5.107), en contra de lo
supuesto. As que por tanto las coordenadas para i 6= j son periodicas y vuelven a su valor inicial,
mientras que :
qi (w1 , . . . , wi1 , wi + m, wi+1 , . . . , wn , J, t) = qi (w, J, t) , caso univaluado ,
(5.109)
qi (w1 , . . . , wi1 , wi + m, wi+1 , . . . , wn , J, t) = qi (w, J, t) + mi qi0 , caso multivaluado .
Si para el caso multivaluado definimos qi = qi qi0 wi , de la ultima de las ecuaciones anteriores se tiene
que:
qi (w1 , . . . , wi1 , wi +m, wi+1 , . . . , wn , J, t) = qi (w1 , . . . , wi1 , wi +m, wi+1 , . . . , wn , J, t)qi0 (wi +mi )
= qi (w, J, t) qi0 wi + mi qi0 mi qi0 = qi (wi , J, t) , (5.110)
c /qJ|| 6= 0
Este procedimiento es aplicable dado que el Hessiano || 2 W/qQ|| =
6 0 de donde se sigue que || W
puesto que el jacobiano |Q/J| 6= 0.
5
143
Mecanica Teorica
Jose A. Oller
w 1 w 1 + m1
w 2 w 2 + m2
.
qi (w + m, J) = qi (w, J) univaluada,
i
.
qi (w + m, J) = qi (w, J) multivaluada.
w n w n + mn
(5.111)
Dado el caracter periodico de las qi (qi ) como funciones de wj es conveniente expresar aquellas
mediante serie de Fourier:
X
2i[m1 w1 +...+mn wn ]
qi =
,
A(i)
m1 , ,mn e
qi
m1 ,m2 ,...,mn =
(5.112)
2i[m1 w1 +...+mn wn ]
.
A(i)
m1 ,...,mn e
m1 ,m2 ,...,mn =
Tanto para el caso de vibracion como para el oscilatorio es evidente de (5.112) que las variables wi son
variables multivaluadas para todo i = 1, . . . , n.
El desarrollo del metodo de variables accion-angulo fue ideado por el astronomo frances Delaunay
(1816-1872) y tiene la ventaja de ofrecer un calculo directo de las constantes de integracion Ji en
terminos de cantidades con un claro significado geometrico, y en terminos de ellas las frecuenciasi ,
segun (5.104).
El movimiento del sistema sera periodico si existe un intervalo de tiempo T tal que:
qi (t + T ) = qi (t) ,
(5.113)
o con las qi si las variables son multivaluadas, para todo i = 1, . . . , n. Todos los qi (qi ) retornan a su
valor inicial (recorriendo un ciclo) as que de (5.101) y (5.107) todos los wi avanzan en un entero:
)
T wi =i T = ki
j
1
i
=
=
,
(5.114)
ki
kj
T
T wj =j T = kj
con ki y kj dos numeros naturales, siendo i, j = 1, . . . , n. As que todos los i (J) han de ser conmensurables para tener un movimiento periodico (el sistema se llama entoncesP
completamente degenerado).
Esta condicion es equivalente a afirmar que k1 , . . . , kn enteros tal que ni=1 i ki = 0.
La dependencia temporal de qi (qi ) se halla sustituyendo (5.106) en (5.112),
X
2i(m1 1 +...+mn n )t 2i(1 +2 +...+n )
e
qi (t) =
A(i)
m1 ,...,mn e
(5.115)
X
(i)
e2i(m1 1 +...+mn n )t ,
=
Bm
1 mn
y analogamente para qi (t). De la expresion anterior tambien se deduce de forma directa la condicion
de periodicidad (5.114), dado que cada uno de los productos i T se debe hacer un multiplo de 2
simultaneamente para volver a la configuracion inicial. Si esto es as se tiene, por tanto, que i T = mi ,
j T = mj , con mi , mj dos numeros enteros e i, j un par cualquiera de ndices. De la igualdad anterior
se sigue que i /j = mj /mi y recuperamos el resultado (5.114).
144
Mecanica Teorica
Jose A. Oller
5.6.
5.6.1.
M
etodo de Hamilton-Jacobi para el problema de fuerzas centrales
Dado que el momento angular se conserva, el movimiento esta restringido a un plano. Consideramos
por ello coordenadas polares. El Lagrangiano en estas coordenadas es:
1
(5.116)
L = m r 2 + r2 2 V (r) .
2
Ya que:
pr =
L
L
= mr , p =
= mr2 ,
r
el Hamiltoniano es:
1
H=
2m
p2r
p2
+ 2
r
(5.117)
+ V (r) .
(5.118)
Dado que el Hamiltoniano no depende de tiempo, la funcion principal de Hamilton puede tomarse en
la forma:
S(q, Q, t) = W (q, Q, t) Q1 t = Wr (r, Q) + W (, Q) tQ1 ,
(5.119)
donde ya se ha tenido en cuenta la estructura del Hamiltoniano anterior para encontrar una solucion
separable. Notese que la variable es cclica con lo que podemos tomar,
W = Q2 ,
(5.120)
tal y como se discutio en la seccion 5.4. Queda por tanto la siguiente ecuacion para Wr (r, Q),
"
#
2
2
Q
Wr
1
(5.121)
+ 22 + V (r) = Q1 ,
2m
r
r
donde Q22 /2mr2 es el bien conocido potencial centrfugo. Entonces,
Z r
Q22
Q1 V r
Wr = 2m
dr .
2mr2
(5.122)
La evolucion temporal se obtiene teniendo en cuenta las ecuaciones (5.122), (5.120) y (5.119),
P1 =
Wr
S
=t
,
Q1
Q1
(5.123)
m
2
dr
Q22
Q1 V (r)
2mr2
145
(5.124)
Mecanica Teorica
Jose A. Oller
= +
P2 =
Q2
2m
Q22
Q1 V (r)
2mr2
Z
2
Q2
dr/r
r
P2 + =
,
2m
Q22
Q1 V (r)
2mr2
(5.125)
(5.126)
de donde se obtiene = (r), y sustituyendo entonces r = r(t), se determina (t). Tambien esta claro
el significado fsico de las constantes Q1 , Q2 surgidas del proceso de separacion de variables: Q1 = E
y Q2 es el momento angular.
5.6.2.
Variables acci
on
angulo en el problema de fuerzas centrales
r
2mr2
Las variables accion vienen dadas por:
Z 2
J
p d = 2Q2 Q2 =
J =
,
2
0
r
I
Q22
Jr =
dr 2m Q1 V (r)
2mr2
r
Z
r2
J2
dr Q1 V (r) 2 2 ,
= 2 2m
8 mr
r1
(5.128)
Q22
=0.
2mr2
(5.129)
k
V (r) = + 2 ,
r r
(5.130)
Mecanica Teorica
Jose A. Oller
Despejando la energa:
2m 2 k 2
Q1 (J) =
2 ,
p
Jr + J2 +
(5.132)
(5.133)
Para una energa dada, la expresion para r es la misma que en el problema de Kepler puro ( = 0).
No as la de , para la que hay una dependencia explcita en . Si = 0 = r y el movimiento
es degenerado. Con 6= 0 el movimiento no sera degenerado en general.
Veamos las variables angulo y con ellas la dependencia temporal de las coordenadas r y . Para ello,
reexpresamos la funcion caracterstica de Hamilton en terminos de r, , Jr y J . Resulta entonces,
c =
W
cr =
W
2m
1/2
2m 2 k 2
k
J2
+
2
p
r r2 8 2 mr2
Jr + J2 +
cr
cr
c W
W
W
+
+
=
,
J
J
2
J
c W
cr
cr
W
W
=
+
=
.
Jr
Jr
Jr
w =
wr
J
,
2
dr ,
(5.134)
(5.135)
De aqu se obtiene r = r(t) sin interferencia del movimiento en . As, cuando wr cambie en una
unidad, entonces r(t) ha recorrido un ciclo con lo que 1/r es el perodo del movimiento en r, independientemente de la perturbacion /r2 , solo depende de Q1 = E, de m y de k, ver la ecuacion
(5.133).
Para w :
Z
Wr
w = t + =
+
dr ,
(5.136)
2 J
r
r Z
1/2
m
k Q22 + 2m
Q2
Q1 +
dr .
=
+
2
2
r
2mr2
2mr2
147
Mecanica Teorica
Jose A. Oller
Jr
+
.
=
=
r
2
J
2
Por lo tanto,
= 2
J
= 2 p 2
,
r
J +
(5.137)
(5.138)
donde hemos empleado (5.133). Como era de esperar, para < 0 2. Solo tendremos = 2n
si m /r = n con m , n Z. Pero en general /r sera irracional, y el movimiento no es periodico
de tal modo que la curva no se cerrara.
Este efecto se denomina precesion del perihelio y ocasiona que el punto de retroceso radial se mueva
con el tiempo dadopque no vuelve a su misma posicion del ciclo anterior sino rotado un angulo de
2 = 2(J / J2 + 1) en un tiempo 1/r . Se llega por tanto al concepto de velocidad de
precision del perihelio igual a
q
= 2r (J / J 2 + 1).
(5.139)
Supongamos que /J2 1 pero no cero. La orbita estara muy proxima a la del problema de Kepler
puro y podemos hacer un desarrollo en potencias de . As,
= r 2 + O(2 ) .
J
(5.140)
r (1 e )
=
4mak
(5.141)
siendo a es el semieje mayor. Si realizamos las sustituciones adecuadas, obtenemos que para el planeta
Mercurio, la precesion del perihelio es de 42 segundos de arco por siglo. Este es justamente el valor
que exitosamente predice la teora de la Relatividad General de Einstein de acuerdo con el resultado
experimental.
148
Captulo 6
Teora de Perturbaciones Can
onica
6.1.
Introducci
on
Se trata de obtener soluciones aproximadas a partir de soluciones de problemas resolubles exactamente correspondientes a Hamiltonianos no perturbados cuyas soluciones son conocidas. Este procedimiento se puede aplicar a Hamiltonianos que se pueden considerar proximos a los no perturbados, tal
que la diferencia entre el Hamiltoniano perturbado y el no perturbado se puede considerar pequena de
modo que la perturbacion es proporcional a un parametro pequeno adimensional 1. La solucion
aproximada se da entonces como una serie en potencias de dicho parametro.
En el desarrollo de la teora de perturbaciones ha jugado un papel esencial el desarrollo de la mecanica
celeste y el estudio y prediccion de orbitas de forma muy precisa para vehculos espaciales ayudado por
el incremento en la capacidad de calculo con las modernas computadoras. Motivados por la notacion
de mecanica cuantica, hablamos de teora de perturbaciones dependiente e independiente del tiempo,
aun cuando esta ultima no sera vista en este curso por falta de tiempo. Tambien se discutira la que
designamos por teora de perturbaciones directa que no hace uso del formalismo de transformaciones
canonicas.
6.2.
149
(6.1)
Mecanica Teorica
Jose A. Oller
. (6.2)
(Q,P,t)
Dado que S es una funcion principal de Hamilton para el problema sin perturbar se tiene que:
H0 +
S
=0,
t
(6.3)
y por lo tanto,
K(Q, P, t) = H(q(Q, P, t), p(Q, P, t), t) .
(6.4)
(6.5)
(0)
(n)
+ ... ,
(n)
+ ... ,
Qi = Qi + Qi + . . . + Qi
(0)
Pi = Pi
(1)
+ Pi
+ . . . + Pi
(6.6)
donde la contribucion n-esima se obtiene tras iterar n veces (6.5). Concretamente, la primera iteracion
corresponde a:
K(Q, P, t)
K(Q, P, t)
(1)
(1)
(6.7)
Q i =
(0) (0) , P i =
(0) (0) ,
Pi
Qi
(Q ,P )
(Q ,P )
donde Q(0) y P (0) son las soluciones no perturbadas. Estas constantes se determinan a partir de las
condiciones iniciales tal que qi (Q, P, t0 ) = qi (Q(0) , P (0) , t0 ) = qi (t0 ) y pi (Q, P, t0 ) = pi (Q(0) , P (0) , t0 ) =
pi (t0 ). Esto implica que el resto de terminos en (6.6) para t = t0 satisfacen la condicion inicial:
(m)
(m)
Qi (t0 ) = Pi
Dado que el lado derecho de (6.7) es una funcion de tiempo conocida, su solucion es:
Z t
K(Q,
P,
t
)
(1)
Qi (t) =
dt ,
P
i
t0
(Q(0) ,P (0) )
Z t
K(Q, P, t )
(1)
Pi (t) =
dt .
Q
i
t0
(0)
(0)
(Q
150
,P
(6.8)
(6.9)
Mecanica Teorica
Jose A. Oller
Notaci
on
Para simplificar la notacion en lo que sigue designaremos por:
= (Q, P ) , (0) = (Q(0) , P (0) ) , (1) = (Q(1) , P (1) ) , . . . , (n) = (Q(n) , P (n) ) .
(2)
(2)
(0) (1)
(6.10)
,
(0)
(2)
(t0 ) = 0 ,
(6.11)
donde la ultima ecuacion se obtiene de (6.8) donde han quedado fijadas las condiciones iniciales de
todas las correcciones.
El proceso de iteracion presentado para N = 0, 1 y 2 se generaliza trivialmente para la n-esima
iteracion, de forma que se tiene,
K
(n) = K
,
(0) (1)
(0) (1)
(n1)
(n2)
(n)
+...+
(t0 ) = 0 .
+...+
(6.12)
De este modo se puede determinar sistematicamente los ordenes superiores e incrementar correspondientemente la precision del calculo. De hecho, cada termino (n) calculado es proporcional a n como
muestra claramente (6.12). Para ello, tengase en cuenta que el primer sumando del termino de la
derecha incluye contribuciones de hasta orden n inclusive, dado que K , mientras que al sustraerle
el siguiente sumando se eliminan todas las contribuciones de orden m , con m = 1, . . . , n 1.
Interpretaci
on:
Las variables (Q, P ) dependen del tiempo tal y como se ha indicado. Sin embargo, dado que la
transformacion canonica (q, p) (Q, P ) se ha determinado resolviendo la ecuacion de HamiltonJacobi para el problema no perturbado, las variables (Q, P ), para un tiempo dado t, determinan la
configuracion y movimiento (velocidades) instantaneo del sistema de la misma forma que en el caso
no perturbado. Por ejemplo, si pensamos en una orbita elptica planetaria, las constantes (Q, P ) estan
relacionadas con las caractersticas de dicha elptica e instantaneamente el estado del sistema viene
dado de la misma forma que en el caso no perturbado, solo que ahora parametros que en el caso no
perturbado eran constantes (excentricidad de la elipse, semieje mayor, etc. ) ahora pasan a depender
de t. La orbita no perturbada a lo largo de la cual el sistema se mueve instantaneamente se denomina
151
Mecanica Teorica
Jose A. Oller
orbita instantanea (osculating orbit). Su posicion y tangente instantaneas coinciden con aquellas de
la autentica orbita. Por otra parte, dado que la perturbacion se supone pequena, la variacion temporal
de los parametros que fijan la orbita instantanea debe ser lenta en comparacion con el movimiento
orbital no perturbado, con lo que sigue siendo util considerar el mismo movimiento que en el caso no
perturbado que cambia lentamente.
6.2.1.
c K c
K
c K
= [c , c ]
.
c
c
(6.13)
(m)
(6.12). De la misma forma para el tiempo inicial c (t0 ) = c (t0 ), con lo que c (t0 ) = 0 para m > 0.
La ecuacion (6.13) se suele expresar en la forma de parentesis de Lagrange en mecanica celeste.
Para ello multiplquese (6.13) por {c , c } y sumese sobre ,
{c , c }c = {c , c }[c , c ]
K
K
K
=
=
.
c
c
c
(6.14)
Llamamos Funci
on de perturbaci
on (disturbing function) a R(c, t) = K(Q(c, t), P (c, t), t). De este
modo tenemos:
R
= {c , c } c
c
(6.15)
Podra darse el caso de que el perodo fuese T0 /n, con T0 el perodo del movimiento sin perturbar y n un
n
umero natural. No obstante, el u
nico aspecto relevante en la discusi
on que se presenta es remarcar el hecho de
que la funcion correspondiente se comporta peri
odicamente a intervalos dados por el perodo original T0 .
152
Mecanica Teorica
Jose A. Oller
(1)
(1)
(a) Variacion periodica: En este caso a0 = 0 para todas las Q i y P i , con lo que las variables
(Q(1) , P (1) ) siguen siendo periodicas y despues de un cierto tiempo vuelven a su valor inicial. Los
parametros oscilan a primer orden alrededor del valor no perturbado y al promediar en el perodo
del movimiento sin perturbar su oscilacion desaparece dando lugar a valores promedio iguales al
caso sin perturbar.
Aunque a primer orden las Qi y las Pi tengan comportamiento periodico, este en general no se
mantendra para ordenes superiores dado que tras la primera iteracion nada garantiza que a0 siga
siendo cero para Q (2) y P (2) , aun cuando lo haya sido para Q (1) y P (1) .
(b) Cambio secular: En este caso todas las a0 6= 0 con lo que la correccion no es periodica y hay
una variacion neta en los parametros que caracterizan la orbita, de modo que estos se van
acumulando despues de cada perodo orbital. As al cabo de muchos perodos el cambio en el
valor del parametro puede ser muy grande correspondiendo a una orbita instantanea muy distinta
a la no perturbada.
Por supuesto, se puede presentar una situacion mixta en la que algunas de las a0 sean cero y otras
no. Las correspondientes variables canonicas tendran entonces a primer orden un comportamiento
de tipo oscilatorio o secular, respectivamente.
Ejemplo: El Oscilador anharm
onico.
Observaremos que en el caso no perturbado el perodo no depende de la amplitud mientras que en
el caso perturbado s.
Consideremos el Hamiltoniano de un pendulo simple de longitud l:
p2
2
p2
mgl2
4
H=
1
+ mgl (1 cos ) =
+
+
+ ...
(6.16)
2ml2
2ml2
2
12 360
En el lmite de pequenas oscilaciones, caso no perturbado, se tiene:
H0 =
p2
mgl2
+
.
2ml2
2
(6.17)
(6.18)
2E
,
mgl
(6.19)
tal que,
12
E0
=
=
.
6
3mgl
153
(6.20)
Mecanica Teorica
Jose A. Oller
p2
+ mgl2 1
+
+ ... .
H=
2ml2 2
2 1
10 1
(6.21)
Notese que |/1 | puede hacerse 1 ya que 1 es el valor maximo de en el caso no perturbado. El
parametro pequeno es 1 .
Para el caso del oscilador armonico se tiene:
s
Z
p
m 2 l2 2
,
(6.22)
S = Qt + l 2mQ d 1
2Q
Q = H0 =
1 2
p + I 2 2 2
2I
(6.23)
donde I = ml2 (momento de inercia). Por otra parte, a partir de (6.22) es directo obtener que:
r
2Q
1
=
sen (t P ) ,
(6.24)
lp m 2
p = l 2mQ cos (t P ) .
=
.
P
(P )
De este modo en lo que sigue emplearemos como nuevas coordenadas y momentos:
Q =
Q
, P = P .
(6.25)
(6.26)
(6.27)
Mecanica Teorica
Jose A. Oller
(6.28)
Z 2
E
Q0
Q0
4
dt
sen
(t
P
)
=
.
P =
0
6ml2 0
8ml2
(6.29)
De este modo P tiene un comportamiento secular. De modo que la fase P en (6.26) oscila alrededor
del valor,
D
E
Q0
hP i = P (t) t + P0 =
t + P0 ,
8ml2
,
=
= 1
=
8ml2
8ml2
16
y efectivamente la frecuencia angular pasa a depender de la amplitud.
Por contra:
D E
2Q0 2
3
sen
(t
P
)
cos
(t
P
)
=0.
Q =
0
0
3ml2
(6.30)
(6.31)
(6.32)
Por lo tanto, Q (t) es periodica a primer orden (con perodo igual a /, es decir, 1/2 del perodo
del movimiento sin perturbar) y se tiene un comportamiento oscilatorio. As, en promedio, y a primer
orden, el valor de la energa no perturbada no cambia. Tambien podemos decir, a partir de la ecuacion
(6.19), que en promedio y a primer orden la oscilacion maxima del movimiento no cambia respecto del
caso sin perturbar.
6.3.
155
(6.33)
Mecanica Teorica
Derivando,
Jose A. Oller
d H
H
2H
2 H
+
=
=
+
.
d
3H
2 2 H
3 H
d2 H
3H
=
+
+
2
+
,
d2
2
2
H
(1)
(1) =
+
=0
!=0
2
2
H
(1) H0
,
+
=
=0
!
3
2
3
3
H
H
H
(2) H
(1)
(1) (1)
(2) = 1
+ 2
+ 2
+
2
2
=0
=0
=0
! =0
2
1
3H
3 H0
3H
(2) H0
(1)
(1) (1)
=
. (6.34)
+
2
+
2
2
2
=0
=0
Del mismo modo se pueden obtener los ordenes superiores al segundo. Obedeciendo la expresion
generica:
n
(n) = d H
.
(6.35)
dn =0
A diferencia que en la seccion anterior los terminos de la derecha en (6.34) no son funciones dadas de
t, aun cuando la ecuacion diferencial resultante para la correccion a un cierto orden (n > 0) es lineal
en ella. Tengase en cuenta que una vez evaluadas las derivadas del Hamiltoniano en (6.34) solo (0)
(n)
aparece puesto que finalmente = 0. Se obtienen as para cada una ecuacion diferencial de primer
orden con coeficientes variables, de la forma
2
H
(n) (n)
= g(n) (t) ,
(6.36)
=0
con g (n) (t) un function de tiempo conocida una vez que se hayan obtenido las soluciones para los
ordenes inferiores, es deicr, hasta (n1) inclusive.
Las expresiones (6.34) se pueden simplificar mas aun si el Hamiltoniano H(, , t) se expresa como
serie de potencias en :
H(, , t) = H0 (, t) + H1 (, t) +
156
2
H2 (, t) + . . .
2
(6.37)
Mecanica Teorica
Jose A. Oller
2
2
3
1
H
H
1
0
0
2
(1)
(2)
(1)
(2)
(1)
=
.
+ 2
+ 2
+
2
6.4.
(6.38)
Invariantes adiab
aticos
ci
ci
W
W
, wi =
,
qi
Ji
(6.40)
c=W
c (q, J, ) es una funcion generatriz y aunque vare con el tiempo sigue dando lugar a
donde W
transformaciones canonicas dadas por las ecuaciones (6.40).
El nuevo Hamiltoniano viene dado por:
"
#
c (q, J, )
c
W
W
= H (J, ) +
.
(6.41)
K(w, J, ) = H +
t
(6.42)
K
H W
W
=
+
= i (J, ) +
.
Ji
Ji
Ji
Ji
157
(6.43)
Mecanica Teorica
Jose A. Oller
A las funciones i (J, ) se las llama frecuencias locales (si fuese constante seran las frecuencias del
sistema). Ademas,
W
K
=
,
Ji =
wi
wi
que no son constantes de movimiento (solo lo son si = 0).
Calculemos a continuacion el cambio de W en un ciclo de qi :
I
I c
W
Wi (qi , J, )
Ji
i W =
dqi =
dqi =
=0,
qi
qi
(6.44)
(6.45)
(6.47)
con arbitrariamente pequeno. Sea t = 0 el tiempo inicial, tomemos w (0) = 0 por conveniencia.
Entonces:
Z T
Z wi (T )
W
|T Ji | =
dwi ,
dt =
(6.48)
0
wi
w i wi
0
donde hemos supuesto que de wi (t) se puede despejar t = t(wi ). Recordemos ademas (6.43), con lo
que:
!2
W
W
1
1
1
+ . . .
=
+
= 1
W
w i
i
Ji i
Ji i
i +
Ji
1
= 1 + O () .
(6.49)
i
w i
Introduciendo este resultado en (6.48) se tiene:
Z
Z
wi (T ) W dw
1 wi (T ) W
2
|T Ji | <
dw
=
i + O( ) .
0
wi w i
i 0
wi
158
(6.50)
Mecanica Teorica
Jose A. Oller
B
,
i
(6.51)
no depende de T ,
(6.52)
ya que:
Z
wi (T ) W
dwi B
0
wi
y viene dada por el remanente del ultimo ciclo que todava no se ha completado tras el tiempo T en
virtud de (6.46). Haciendo arbitrariamente pequeno en (6.51) as resulta el correspondiente cambio
en Ji , puesto que el resto de factores a la derecha de (6.51) son finitos y no crecen con T .
A lo largo del desarrollo hemos supuesto que w i era suficientemente pequeno, siendo este el punto
debil del razonamiento. Es decir, hemos supuesto que i tuviese inversa para todo y que en el
intervalo 0 T no se hace arbitrariamente pequena al variar de modo que (6.50) quede justificada.
Ejemplos
Consideremos el Hamiltoniano:
H=
De aqu obtenemos:
W =
Por lo tanto:
Z p
1 2
p + 2 q 2 .
2
(6.53)
2Q 2 q 2 dq ,
s
I p
p I
2 q 2
J=
2Q 2 q 2 dq = 2Q
1
dq .
2Q
J=
2
J
Q
Q, Q=
, =
=
.
2
J
2
(6.54)
(6.55)
Entonces,
c=
W
de donde se deduce,
q=
Ahora:
c
W
Z r
J
sen (2w) .
J
q 2 dq ,
J
2 q 2 dq =
159
J
4
(6.56)
(6.57)
sen (4w) .
(6.58)
Mecanica Teorica
Jose A. Oller
Y recordemos que:
K=H+
Entonces, es inmediato obtener,
c
W
.
sen (4w)
=
+
,
J
2
4
J
K
=
cos (4w) .
J =
w
(6.59)
w =
(6.60)
1
t
sen (4w)
+
+
.
2
2
4 (1 + t)
0
+
+
(1 + t)
2
2
4 (1 + t)
4
2
2
(6.61)
(6.62)
(6.63)
(6.64)
(6.65)
Z
J(t)
ln
J(0) =
T
0
Z T
J
dt = 2 4
dw cos (4w) 2 .
J 21
21
0
160
(6.66)
Mecanica Teorica
Jose A. Oller
Aplicaci
on
Una aplicacion del ejemplo anterior es considerar un pendulo simple cuya longitud vara lentamente
(Pendulo de Ehrenfest). De nuevo con el Hamiltoniano (6.53), en t 0 se tiene:
q = Ai cos (i t) , p = i Ai sen(i t) .
(6.67)
pdq =
= i A2i ,
i
(6.68)
resultado que tambien se obtiene por simple inspeccion de (6.55). Despues de iniciarse la dependencia
temporal cambia con el tiempo, tal que tras un tiempo T la elongacion final es f . La nueva variable
accion viene dada por,
Jf = f A2f ,
(6.69)
con f el valor de (t) caracterstico para un ciclo alrededor de t = tf dado que vara lentamente.
Entonces, igualando los valores de la variable accion para los tiempos inicial y final:
s
A
i
f
f A2f = i A2i
=
,
(6.70)
Ai
f
que da la relacion entre las elongaciones. Para la energa, teniendo en cuenta que,
(
Ef 2f A2f
1 2 2
E= A ,
2
Ei 2i A2i
(6.71)
Realizando el cociente:
2f i
2f A2f
f
Ef
= 2 2 = 2 =
,
Ei
i Ai
i f
i
(6.72)
E f i = E i f
(6.73)
luego:
161
E =
E.
i
(6.74)
Captulo 7
Teora cl
asica de campos
7.1.
Introducci
on: Transici
on de un sistema continuo a
otro discreto
Los campos son sistemas fsicos con un numero infinito de grados de libertad en la forma de sistemas
continuos, tal que cada punto ~x en el sistema evoluciona independientemente de cualquier otro punto
aunque sujeto a ciertas condiciones de continuidad. El sistema se puede describir por una funcion o
conjunto de funciones continuas A (~x, t), que junto con sus derivadas primeras, especifican el estado
en el instante t. Es habitual denominar a las funciones anteriores como las componentes del campo o
funciones campo.1
7.1.1.
La cadena lineal
N
X
1
i=1
mu 2i ,
(7.1)
N
X
1
i=1
k (ui+ 1 ui )2 ,
162
(7.2)
Mecanica Teorica
Jose A. Oller
i+1
i1
Figura 7.1: Cadena lineal.
donde u i = dui /dt y se impone la condicion de periodicidad uN +1 = u1 . Por tanto, el Lagrangiano del
sistema viene dado por:
L=T V =
N
X
1
i=1
mi u 2i
N
X
1
i=1
k (ui+1 ui )2 ,
(7.3)
y la accion es:
S=
t2
Ldt .
(7.4)
t1
(7.5)
t1
=0.
ui dt u i
(7.6)
(7.7)
(7.8)
Para llegar al caso en que la masa de la cadena se distribuye de forma continua, consideremos el
lmite en que a 0, m 0 pero = m/a (densidad lineal de masa) y = ka (modulo de Young)
permanecen finitos.
163
Mecanica Teorica
Jose A. Oller
Dado que la longitud de la cadena no cambia, el numero de partculas (2R/a) tiende a infinito
y, por tanto, as tambien el numero de los grados de libertad. El subndice discreto i que indicaba la
partcula pasa ahora a la variable continua x, que especifica la posicion sobre el anillo, as:
i x , a dx .
(7.9)
El desplazamiento ui (t) u(x, t) pasa ahora a ser una funcion de dos variables continuas cumpliendo
la condicion de periodicidad:
u (x + 2R, t) = u (x, t) ,
(7.10)
el analogo al caso discreto cuando se impuso que uN +1 = u1 . Entonces, teniendo en cuenta que:
ui ui1 = a
u 1 2 2 u
+ a
+ O(a3 ) ,
x 2 x2
(7.11)
2u
.
x2
(7.12)
(7.13)
2u
2u
=0
t2
x2
(7.14)
a
Por tanto:
N
X
1
i=1
Para N ,
lm LN =
au 2i
"
1
dx
2
N
X
1
i=1
u
t
(ui+1 ui )2
a (ka)
.
2
a2
2
1
2
u
x
2 #
dx L .
(7.15)
(7.16)
La integral se extiende sobre el anillo y L es la densidad Lagrangiana. En este lmite la accion (7.4)
viene dada por:
(
2 )
Z
Z
Z t2 Z
2
1
u
u
1
.
(7.17)
dt dx L = dt dx
S=
2
t
2
x
t1
164
Mecanica Teorica
Jose A. Oller
Dado un cambio en la funcion u(x, t) u(x, t) + u(x, t), la accion vara en la forma:
Z t2 Z
u u
u u
dt dx
S =
t t
x x
t1
Z t2 Z
u
2u
u
2u
u + 2 u
u
=
dt dx 2 u +
t
t t
x
x x
t1
t2
x0 +2R
Z t2 Z
Z
Z t2
2u
u
2u
u
=
dt dx 2 + 2 u + dx u
.
u
dt
t
x
t
x
t1
t1
x0
t1
(7.18)
Dado que u(x, t) satisface la condicion de periodicidad (7.10) as lo hara u(x, t) y, ademas, al igual que
en mecanica de un sistema discreto de partculas, u(x, t1,2 ) = 0. Siguiendo con la generalizacion del
caso discreto al continuo, imponemos igualmente que la accion sea estacionaria bajo tales variaciones
en u(x, t). Resumiendo imponemos:
S = 0 ,
u (x, t1 ) = u (x, t2 ) = 0 ,
u (x, t) = u (x + 2R, t) .
(7.19)
Como consecuencia de las condiciones anteriores es directo comprobar que las dos ultimas integrales en
(7.18) se anulan identicamente. Por otra parte, dado que u es arbitrario, excepto por las condiciones
de frontera (7.19), se deduce la correcta ecuacion de ondas a partir de la primera integral en (7.18).2
2u
2u
=0
t2
x2
(7.20)
El sistema concreto que hemos considerado hasta ahora se extiende en un dominio finito en una
unica dimension. Es mucho mas habitual encontrarnos con sistema en un dominio infinito. En tales
casos no tendremos condiciones de contorno periodicas (muy naturales en nuestro presente ejemplo)
sino otras, por ejemplo, que los campos se anulen de forma suficientemente rapida para |~x| ,
cuando estos se propaguen con una velocidad finita.
7.2.
Formulaci
on Lagrangiana de la teora de campos
165
Mecanica Teorica
Jose A. Oller
x0
R = B
Figura 7.2: Las dimensiones espaciales vienen representadas por el plano inferior y el tiempo por
el eje x0 .
Se quiere determinar los campos en R, ver figura 7.2, una vez conocidas sus componentes sobre la
frontera B de R, siendo esta ultima una region del espacio-tiempo en dos, tres, cuatro, etc dimensiones,
una de las cuales siempre es el tiempo. Planteamos ahora el problema mediante la generalizacion del
principio de Hamilton visto en la seccion 2.1. Las funciones del campo A (x), A = 1, . . . , f (por
ejemplo, para caracterizar el movimiento de un fluido f = 3) son aquellas que verifican las condiciones
de contorno adecuadas en B y para las cuales la accion S es estacionaria.
Z
(x)
S=
L x; (x) ,
dn x
(7.21)
x
R
Por ejemplo, para los casos mas habituales n = 2: x = (x0 , x1 ), d2 x = dx0 dx1 ; n = 3: x =
(x0 , x1 , x2 ), d3 x = dx0 dx1 dx2 ; n = 4: x = (x0 , x1 , x2 , x3 ), d4 x = dx0 dx1 dx2 dx3 , y as sucesivamente
para dimensiones superiores, con x0 = t. Notese que la densidad Lagrangiana solo es funcion de las
componentes y de sus derivadas primeras.
Como se han de verificar las condiciones de contorno adecuadas se toma:
A (x) = 0 , x B ,
(7.22)
con lo que se garantiza que A (x) = A (x) + A (x) tambien satisfaga las correctas condiciones de
contorno.
La variacion de la accion es:3
Z
L
L
A +
A, dn x ,
S =
(7.23)
A
A,
R
3
Aclaramos que en lo que sigue, los subndices o superndices en letras griegas van de 0 a n 1, y los subndices
o superndices en letras latinas van de 1 a n 1.
166
Mecanica Teorica
Jose A. Oller
L
A .
(7.24)
A, =
A
A,
x A,
x
A,
Sustituyendo la expresion anterior en (7.23) resulta:
Z
Z
L
L
L
n
S =
A d x +
A dn x =
A
A,
A,
ZR
ZR
L
L
L
A dn x +
dB A =
=
A
A,
B A,
R
Z
L
L
A dn x = 0 .
=
x
A,
R A
(7.25)
Donde se ha hecho uso del teorema de Gauss y de que A = 0 sobre la frontera B, por tanto:
L
L
(7.26)
=0
A x A,
Estas
son las ecuaciones de Euler-Lagrange, que son ecuaciones diferenciales de segundo orden en
derivadas parciales. Si la densidad Lagrangiana dependiera de derivadas de las componentes del campo
de orden superior al primero, las ecuaciones resultantes seran de orden superior al segundo y no sera
suficiente el conocimiento de las componentes sobre B para proceder a su calculo mediante la resolucion
de las ecuaciones diferenciales correspondientes. La solucion de (7.26) proporciona la evolucion real del
sistema A (x), A = 1, . . . , f . Ademas, al ser deducidas de un principio variacional se garantiza que
(7.26) sean mutuamente compatibles, aspecto este no trivial.
Merece la pena indicar que si realizamos un cambio de coordenadas tal que x = x (x), entonces de
(7.21), teniendo en cuenta que
x n
n
d x = d x ,
(7.27)
x
llegamos a:
Z
Z
(x)
(x
)
d n x ,
(7.28)
d x
L x(x ); (x ) ,
S=
x L x; (x) , x
x
R
R
SS =S+
L L = L +
R
(x; A )
,
Z x
n
d x=S+
x
(7.29)
dB .
Esta ultima integral esta fijada por las condiciones de contorno, con lo que:
S = S .
167
(7.30)
Mecanica Teorica
Jose A. Oller
As, tanto S como S conducen a las mismas ecuaciones de Euler-Lagrange cuando la variacion anterior
se iguala a cero.
Identificar los grados de libertad elementales, que corresponderan a campos determinados, y formular
la densidad Lagrangiana correspondiente es uno de los grandes problemas de la fsica teorica para
conseguir describir las interacciones fundamentales.
Supongamos que tenemos un sistema compuesto de dos campos de componentes A y B , respectivamente. Sean L1 () y L2 () las densidades Lagrangianas de cada sistema por separado. Entonces,
L0 = L1 () + L2 () ,
(7.31)
conduce a las mismas ecuaciones de Lagrange que L1 y L2 por separado. La interaccion entre los
campos A y B se puede generar a partir de un termino de interaccion LI (, ) que acopla los
campos A y B y que se anade a L0 ,
L = L1 () + L2 () + LI (, ) .
(7.32)
Para sistemas cerrados, por invarianza bajo traslaciones espacio-temporales, las densidades Lagrangianas
no pueden depender explcitamente de punto espacio-temporal.4 En el caso general de un sistema no
aislado, su densidad Lagrangiana puede depender ademas explcitamente de x.
Ejemplo
Apliquemos este formalismo al sistema de muelles acoplados (n = 2) cuya densidad Lagrangiana se
obtiene directamente a partir de (7.16):
2
2
u
u
1
1
.
(7.33)
L=
2
t
2
x
Las ecuaciones de Euler-Lagrange (7.26) para este caso son:
L
L
L
= u,0 ,
= u,1 ,
=0.
u,0
u,1
u
Por lo tanto,
L
u,
=0
2u
2u
=0
t2
x2
7.2.1.
Derivada funcional
La accion es un funcional de A (x). Dadas unas funciones A (x) se establece una aplicacion sobre
R mediante la integral:
Z
n
,
(7.34)
S [A ] =
d xL x; ,
x
R
4
168
Mecanica Teorica
Jose A. Oller
siendo R una region cerrada. Dada una variacion en A tal que A A + A con A (x) = 0
x R, escribimos:
Z
S
S = S [A + A ] S [A ] =
dn x
A (x) + O (A )2 ,
(7.35)
A (x)
R
donde S/A (x) es la derivada funcional de S respecto de A (x). De su definicion esta claro que en
general la derivada funcional puede depender explcitamente del punto x ademas de las componentes
del campo A y de sus derivadas primeras y segundas.
De (7.25) es directo deducir que:5
L
L
S
.
(7.36)
=
A (x)
A x A,
De este modo las ecuaciones de Euler-Lagrange se pueden expresar simplemente como:
S
=0
A (x)
En general, dado un funcional F [A ] se define su derivada funcional tal que:
Z
F
F =
dn x
A (x) + O ()2 ,
A (x)
R
(7.37)
(7.38)
una vez se han eliminado las contribuciones en la frontera imponiendo que tanto A como sus
derivadas, hasta el orden suficiente, sean nulas en R.6 Por supuesto, dn x se ha de especificar de
antemano y puede no contener el tiempo en el caso generico. Para la accion S, dn x = dx0 dx1 dx2 dx3
en coordenadas cartesianas, siempre el tiempo es una de la dimensiones, pero incluso aqu el numero
de dimensiones espaciales puede variar. Como ejemplo de un funcional F donde no aparezca el tiempo,
tomese por ejemplo:
Z
Q[; t] = dx (x, t) ,
(7.39)
que es un funcional de , que depende de t pues no aparece como variable de integracion. Trivialmente,
Q/(~x, t) = 1.
7.3.
Consideremos una transformacion continua de las variables independientes y de las componentes del
campo:
x x , A (x) A (x ) , A = 1, . . . , f .
5
(7.40)
169
Mecanica Teorica
Jose A. Oller
Las nuevas variables y componentes del campo dependen de uno o varios parametros continuos que
caracterizan la transformacion. Por ejemplo, 3 parametros son necesarios para caracterizar las rotaciones
y traslaciones en R3 , etc.
Diremos que dicha transformacion es una simetra si:
Z
Z
A (x )
A (x)
n
n
=
S = d x L x ; A (x ) ,
d xL x; A (x) ,
x
x
(7.41)
Z
n (x; A )
= d x
,
x
donde seguimos el mismo convenio que en la seccion 2.5 para un sistema discreto de partculas y
(x )
A
tiene la misma dependencia funcional en las nuevas variables y componentes
as L x ; A (x ) , x
A (x)
del campo que la densidad Lagrangiana original L x; A (x) , x . Dado que para una simetra
S = S S =
dn x
(x; A )
,
x
(7.42)
(7.43)
As, si las funciones de campo A (x) son soluciones de las ecuaciones de movimiento, las A (x ) lo
seran de las mismas ecuaciones de movimiento, expresadas en las nuevas variables y componentes del
campo.
Distinguimos en lo sucesivo la variacion debido al cambio de las variables x (x x ) y la variacion
local debida al cambio de forma de las funciones de campo:
(7.44)
El cambio total de las componentes del campo a primer orden puede escribirse como:
A (x) = A (x ) A (x) = A (x ) + A (x) A (x) A (x)
= A, x + A (x) ,
A,
(A + A + A,B x )
A (x )
(x)
=
A, (x)
=
A,
x
x
x
x
A, .
= A, + A, + A, x + A,
x
x
(7.45)
x
x
=
(x
x
)
=
x
x
x
170
(7.46)
Mecanica Teorica
Jose A. Oller
(7.47)
(7.48)
Se deja como ejercicio para el lector el siguiente resultado (teniendo en cuenta el orden de aproximacion
que se esta considerando):
x
x
2
=1+
+
O
(x)
.
(7.49)
det
x
x
n
n
L x ; A (x ) ,
d xL x; A (x),
S =
d x 1+
x
x
x
Z
(x )
A (x)
=
dn x L x ; A (x ) , A
L x; A (x) ,
x
x
Z
x
A
+
dn x L x; A ,
.
(7.50)
x
x
Fijemonos en la primera integral:
A (x)
A (x )
L x; A (x) ,
L x ; A (x ) ,
x
x
L
L
L
L
L
=
A, x +
A, x + x
A +
A, +
A
A
A,
A,
x
L
L
dL
=
A +
A, + x ,
A
A,
dx
(7.51)
L x; A (x) ,
d x L x ; A (x ) ,
x
x
Z
Z
dL
L
L
A +
A, + dn x x
=
dn x
A
A,
dx
Z
Z
dL
d
L
L
L
n
n
A + d x
A + x
. (7.52)
=
d x
A x A,
dx A,
dx
Teniendo en cuenta que el primer termino entre llaves es igual a S/A e introduciendo la expresion
anterior en (7.50),
Z
Z
L
S
d (x; A )
d
n
A +
A + Lx
.
S = d x
= dn x
(7.53)
A
dx A,
dx
171
Mecanica Teorica
Jose A. Oller
Es en la ultima igualdad donde se esta suponiendo que la transformacion (7.44) es una simetra. Para
los A que representan el movimiento real del sistema se satisfacen las ecuaciones de Euler-Lagrange
(7.37). Ademas, como la region de integracion es arbitraria, se tiene la igualdad entre los integrandos,
d
L
d
A + Lx = (x; ) .
(7.54)
dx A,
dx
Si S = 0,
L
d
A + Lx = 0 .
dx A,
(7.55)
d
L
A + Lx = 0 .
dx A,
(7.56)
(7.57)
donde los ai son parametros infinitesimales que caracterizan a una transformacion proxima a la identidad. Volviendo a (7.55), siguiendo la nueva notacion y dado que A = A A, x , se sigue
que:
i
L h
d
x
x
(7.58)
B, (Ai ) + L (Ai ) = 0 .
Ai
dx B ,
B
puesto que los ai son independientes y sus coeficientes se han de anular por separado. Las i = 1, . . . ,
cantidades entre corchetes (salvo signo) se conocen como las corrientes de Noether, explcitamente:
Ji = L (Axi ) +
L
.
B, (Axi ) Ai
B,
B
(7.59)
Vemos de (7.58) que cada una de las corrientes de Noether satisfacen una ecuacion de continuidad,
J 0 J k
Ji
=
+ k =0.
x
x0
x
(7.60)
Qi =
dxJi0 ,
172
(7.61)
Mecanica Teorica
Jose A. Oller
donde la integral se realiza sobre toda la extension espacial del sistema. En el caso en que este sea
periodico la integral se realiza tpicamente sobre un periodo. La evolucion temporal de la carga es:
Z
Z
Z
dQi
Ji0
Jik
= dx
= dx k =
dk Jik = 0 ,
(7.62)
dt
t
x
R
Donde se ha empleado el Teorema de Gauss para realizar el penultimo paso y pasar de una integral
de volumen a otra de superficie y hemos supuesto que el sistema se extiende por todo el espacio. La
ultima integral se anula si los campos se desvanecen suficientemente rapido para r . El mismo
resultado se obtiene para sistemas periodicos en las variables espaciales, por ejemplo la cadena lineal,
dado que la penultima integral se reduce a la diferencia de una funcion en dos puntos separados por
multiplos enteros del perodo. En ambos casos tenemos cargas de Noether que son conservadas.
Notas
1. Si en lugar de integrar en (7.61) sobre todo el volumen se integra solo sobre un cierto elemento
V , definimos,
Z
V
Qi (t) =
dx Ji0 (x0 , ~x) .
(7.63)
V
Su evolucion temporal, siguiendo los mismos pasos que en (7.62), viene dada por:
Z
Z
Ji0
dQVi
=
dx 0 =
dk Jik .
dt
x
V
V
(7.64)
La relacion anterior indica que Jik son las componentes de la corriente vectorial Ji , tal que si su
flujo a lo largo de la superficie que cierra V es positivo entonces hay perdida de carga y si es
negativo hay ganancia. En virtud de (7.63) a Ji0 se le llama densidad de carga.
2. Las corrientes de Noether no estan definidas de forma unvoca ya que siempre podemos anadirles
la divergencia de cualquier tensor antisimetrico fi = fi :
Ji
J i
Ji
fi
.
+
x
(7.65)
De lo que se sigue que las nuevas corrientes tambien tienen divergencia nula:
J i
Ji
2 fi
Ji
=
+
=
=0.
x
x
x x
x
Sin embargo, las cargas de Noether quedan invariantes por el cambio (7.65):
Z
Z
Z
Z
Z
fi0k
0
0
0
dk fi0k = Qi ,
Qi = dxJ i = dxJi + dx k = dxJi +
x
R
(7.66)
(7.67)
dado que la ultima integral se anula por las mismas razones que ya han sido expuestas anteriormente en relacion con (7.62).
173
Mecanica Teorica
Jose A. Oller
3. Si en el lado derecho de (7.53) se integra sobre toda la extension espacial del sistema y se tiene
en cuenta que se satisfacen las ecuaciones de Euler-Lagrange y se aplica el teorema de Gauss,
eliminandose la integral de frontera resultante, entonces se obtiene:
Z
Z
dQi
d 0 i
i
n
dx0 0 ,
(7.68)
S = d x 0 Ji a = a
dx
dx
donde tambien se ha empleado la definicion de corriente y carga de Noether. Por lo tanto, la
variacion del Lagrangiano es:
dQi
L = ai
.
(7.69)
dt
Esta expresion es muy util ya que nos permite identificar de forma directa el significado fsico
de las cargas de Noether as como fijar adecuadamente la normalizacion de las mismas. Baste
para ello recordar los resultados del captulo 2 en relacion con la mecanica Lagrangiana de un
sistema de partculas. All se mostro que los coeficientes que multiplican a los parametros ai ,
que caracterizan la transformacion infinitesimal, corresponden a las derivadas temporales de las
componentes de importantes observables, como el momento lineal (ai son las componentes del
vector del desplazamiento) o el momento angular (ai son el producto del angulo de giro por las
componentes del vector de giro), veanse las secciones 2.7 y 2.8, respectivamente. Analogamente,
tambien se puede mostrar que la derivada de la energa es el coeficiente que multiplica a t a
para un desplazamiento temporal. Este mismo resultado, salvo por el signo menos, es el contenido
de (7.69). As, por ejemplo, cuando la simetra sea una rotacion llamaremos momento angular a
las cargas de Noether cuya derivada temporal vaya multiplicada por i en (7.69), siendo
el angulo de giro.
7.3.1.
(7.70)
u
u
a u = a ,
x
x
(Axi ) 1 , Ai 0 .
(7.71)
(7.72)
Obviamente la densidad Lagrangiana del sistema dada en (7.33) es invariante bajo la transformacion
anterior, luego efectivamente es una simetra. La corriente de Noether resultante es:
J = L1 +
L
u,x .
u,
174
(7.73)
Mecanica Teorica
Jose A. Oller
u u
L
u,x =
,
u,t
t x
L
u,x =
J = L +
u,x
1
u
t
2
1
+
2
u
x
2 !
(7.74)
.
2R
0
dxJ (x, t) = R
0
2R
dx
0
u u
,
t x
(7.75)
es el momento angular del sistema alrededor del eje perpendicular al anillo. Se ha multiplicado la
densidad de carga J 0 de (7.74) por R dado que la derivada del momento angular por , y no por a,
da lugar a L, tal y como hemos discutido en la nota segunda en torno a (7.69).
Otra simetra del Lagrangiano (7.33), consistente tambien con la condicion de periodicidad, es:
x = x ,
u (x , t) = u(x, t) + R .
(7.76)
(7.77)
u
u
R , J1 = R .
t
x
(7.78)
J =
Explcitamente las componentes son:
J 0 =
Es interesante mencionar que la segunda transformacion de simetra (7.76) es la propia del caso
en que consideremos un sistema discreto de partculas a lo largo de la cadena lineal. Ya que entonces
tenemos:
ui (t) = ui (t) + R ,
(7.79)
P
analogo a (7.76), siendo la corriente de Noether conservada para el caso discreto i Rmu i , que es
la tercera componente del momento angular orbital y que coincide, salvo signo, con (7.78) cuando el
sistema se torna denso.
La transformacion para el caso de un sistema discreto de puntos materiales que conduce a (7.70) y
(7.71) en el lmite en que se torne denso es:
i = i + m ,
ui = ui ,
(7.80)
(7.81)
Mecanica Teorica
Jose A. Oller
En el lmite en que el sistema se torna denso la expresion anterior se puede escribir simplemente como,
u(x) =
u
R ,
x
(7.82)
X
i
ui
R
mu i
x
2R
dx
0
u u
R,
t x
(7.83)
C .
= Ai
Ai
(7.84)
x = x + a
A (x ) = A (x)
Rotaciones:
Campo escalar: (x ) = (x) ,
176
(7.85)
Mecanica Teorica
7.4.
Jose A. Oller
Tensor de energa-momento
Consideremos la traslacion:
x = a , x = x + a , A (x ) = A (x) .
(7.86)
Los parametros continuos que caracterizan la traslacion son los a , por lo tanto, el ndice i en (7.59)
pasa a ser en este caso un ndice espacio-temporal. El estudio de las traslaciones espacio-temporales
son de especial importancia dado que todo sistema cerrado es invariante bajo tales transformaciones.
Comparando (7.86) con (7.57) es evidente que:
(Axi ) (Ax ) = ,
(Ai )A (A )A = 0 .
(7.87)
Ji J = L +
(7.88)
En lugar de J se suelen representar por T que recibe el nombre de tensor canonico de energamomento. Dicho tensor verifica:
T 00
T =0,
x
L
=
A,t L = H ,
A,t
(7.89)
(7.90)
(7.91)
1 0
0
0
0 1 0
0
=
0 0 1 0 ,
0 0
0 1
(7.92)
R
(7.93)
Mecanica Teorica
Jose A. Oller
As T 00 es la densidad de energa del sistema y P 0 es la energa total del sistema (para sistemas
cerrados).
Como los P son cantidades covariantes, y P 0 es la energa, entonces los P k representan las componentes del momento total del sistema.
Z
k
P = dxT 0k ,
(7.94)
donde T 0k es la densidad de la componente k-esima del momento del sistema. Sea V una region
espacial cerrada y calculemos:
Z
dxT 0 ,
(7.95)
V
(7.96)
1
1
1
~2
m2 c2 2 = ~2 g m2 c2 2 ,
2
2
2
2
(7.97)
(7.98)
Recordemos que a partir de (7.91) hemos hecho x0 = ct, convenio habitual en relatividad.7 Aplicando
(7.88) para calcular el tensor de energa-momento, se tiene:
2
2 2
T = ~2 + m2c 2 + ~2 g
2
m2 c2 2
~
g + ~2
(7.99)
T = +
2
2
Y vemos que T es simetrico, aunque no siempre es as para una densidad Lagrangiana arbitraria. Para
la componente H = T 00 ,
~2 ~ 2 m2 c2 2
~2
(0 )2 +
+
H = T 00 = ~2 0 0
2
2
2
"
#
2
(7.100)
2
~2
m2 c2
~
=
+
+ 2 2 .
2
ct
~
7
178
Mecanica Teorica
Jose A. Oller
Por tanto:
H=
dx
~
2
(
ct
2
2 m2 c2
~
+
+ 2 2
~
(7.101)
(7.102)
Para hallar el significado del parametro m, ya obvio de (7.101), podemos considerar las ecuaciones
de Euler-Lagrange a partir de la densidad Lagrangiana (7.97):
(~2 + m2 c2 )(x) = 0 .
Expresando (x) mediante una transformada de Fourier:
Z
dp
(x) =
(p)eipx/~ ,
(2~)d
(7.103)
(7.104)
(7.105)
m2 c2 + p2 = E(p)/c ,
(7.106)
que es la relacion entre trimomento y energa de una partcula de masa m. Por lo tanto, en la integral
(7.104) p0 esta fijado tal que p2 = m2 c2 en virtud de (7.105). Este hecho da lugar a la delta de Dirac
(p2 m2 c2 ), que es invariante Lorentz, como parte de la transformada de Fourier (p). Teniendo en
cuenta que,
(p0 E(p)/c) (p0 + E(p)/c)
+
,
(7.107)
(p2 m2) =
2E(p)
2E(p)
reescribimos (7.104) como:
(x) =
dp
p
1 (p)eipx/~ + 2 (p)eipx/~ ,
(2~)d 2E(p)
(7.108)
p
con p0 (p) = + m2 c2 + p2 . Imponiendo que (x) sea real se llega a que 2 (p) = 1 (p), por lo
tanto reescribimos (7.108) como:
Z
dp
p
(x) =
(p)eipx~ + (p)eipx/~ ,
(7.109)
(2~)d 2E(p)
eliminando los subndices 1 y 2 en (p). Por otra parte, si introducimos la expresion anterior para (x)
en (7.101) obtenemos que la energa total es:
Z
dp
E(p) |(p)|2 .
(7.110)
H=
(2~)d
179
Mecanica Teorica
Jose A. Oller
x0
x 0 = 0
W2
x3
x0 = 0
Figura 7.3: Planos x0 = 0 y x0 = 0 unidos en los bordes
p por los planos verticales . Recuerdese
3
0
que x0 = (x0 vx /c) y x3 = (x vx /c) con = 1 v 2 /c2 .
As, cada modo de oscilacion caracterizado por un trimomento p aporta E(p) pesado por |(p)|2 a la
densidad de energa.8
R
Veamos que P = T0 dx, el cuadrimomento de energa-momento, es efectivamente un vector bajo
transformaciones de Lorentz.
Para la prueba consideremos una corriente
vectorial S que sea conservada, es decir, que satisfaga
R 0
Tomemos por conveniencia que la primera integral se calcula para x0 = 0 segun el observador O y la
segunda para x 0 = 0, pero segun el tiempo del observador O, donde O y O son dos observadores
inerciales. Dada la velocidad relativa ~v entre ambos observadores, siempre se pueden elegir los ejes de
coordenadas de ambos observadores tal que ~v = v3 zb.
Para la demostracion considerese la figura (7.3). Sea la superficie W2 formada por x0 = 0, x3 > 0
y x 0 = 0 junto con los planos verticales y aplquese el Teorema de Gauss a su interior W2 ,
I
Z
Z
Z
Z
S n
d x=
S dB + S dB .
S dB =
S dB +
0=
(7.112)
0
x
0
W2
x =0
x =0
W2
Con B el cuadrivector superficie que para las distintas superficies viene dado por:
B = (dx, 0, 0, 0) en x0 = 0 ,
donde dx es el elemento de volumen espacial y
~
B = 0, dx d ,
0
180
(7.113)
(7.114)
1
V
Mecanica Teorica
Jose A. Oller
S dB = S dB y dB = dx , ~0 .
(7.115)
Por lo tanto:
0=
S dx +
S dx +
S dB .
(7.116)
Al hacer la ultima integral tiende a cero. Procediendo de identico modo para la parte con
x3 < 0, se tiene finalmente:
Z
Z
0
0
S dx =
S dx .
(7.117)
x0 =0
x 0 =0
0
Dado que ambas integrales son constantes en el tiempo, esta identidad
R se mantiene para todo x y
0
x . Apliquemos este resultado para concluir que efectivamente P = T0 dx es un cuadrivector. Para
ello tomemos un cuadrivector w constante cualesquiera y tomemos S = w T . En virtud de (7.89),
S = w T = 0. Aplicando (7.111),
Z
Z
0
S dx = invariante = w T0 dx = w P ,
(7.118)
as que P es un cuadrivector.
7.5.
7.5.1.
Transformaciones de Lorentz
Las transformaciones lineales y homogeneas generales que dejan invariantes el cuadrado de los
cuadrivectores en el espacio de Minkowski son las transformaciones de Lorentz:
2
x = x , x = x2 .
(7.119)
(7.120)
x = x x g = x x g = x x g .
181
(7.121)
Mecanica Teorica
Jose A. Oller
(7.122)
entonces:
1 = g g = ,
= .
(7.123)
De forma explcita:
0 0 0 1 0 2
1 0 1 1 1 2
= ( )
2 0 2 1 2 2
3 0 3 1 3 2
0
0 1 0
0 1 1 1
1 = ( )
0 2 1 2
0 3 1 3
0 3
1 3
,
2 3
3 3
2 0 3 0
2 1
3 1
.
2
2
3 2
2 3
3 3
(7.124)
7.5.2.
Clasificaci
on de las transformaciones de Lorentz
Tenemos que:
g = g det g = (det )2 det g det = 1 .
(7.125)
En ambos casos det 6= 0 y tiene inversa, como ya se ha demostrado tambien por construccion en
(7.123). El que | det | = 1 implica la invariancia del elemento de volumen del espacio tetradimensional:
x 4
4
d x = | det |d4 x = d4 x .
(7.126)
d x =
x
Las transformaciones de Lorentz con det = +1 se llaman propias y aquellas con det = 1 se llaman
impropias.
De la relacion basica g = g , tomemos = = 0:
2
2
2
2
g00 = 1 = g 0 0 = 0 0 1 0 2 0 3 0
2
2
2
2
0 0 = 1 + 1 0 + 2 0 + 3 0 1 .
(7.127)
Por lo tanto, o bien 00 1, son las llamadas transformaciones de Lorentz ortocronas, o 00 1, son
las llamadas transformaciones de Lorentz no-ortocronas. Si tenemos en cuenta este resultado, junto
con que det = 1, se llega a la clasificacion de las transformaciones de Lorentz de la tabla 7.1.
182
Mecanica Teorica
Jose A. Oller
0 0
det
L+
1
+1
L+
1
+1
L
1
1
L
1
1
(7.128)
x = 0 0 x0 + 0 1 x1 + 0 2 x2 + 0 3 x3 .
Apliquemos la desigualdad de Schwartz al producto escalar:
!2
!2
3
3
X
X
2 0 2
2
xi
0 k
< 0 0
x
,
0 1 x1 + 0 2 x2 + 0 3 x3
(7.129)
(7.130)
i=1
k=1
donde hemos tenido en cuenta que de (7.128) x0 2 > ~x2 y tambien de (7.127) (00 )2 >
As pues,
3
0 0 X
0 x >
0 k xk .
k 2
k (0 ) .
(7.131)
k=1
Teniendo pues en cuenta el resultado anterior en la expresion (7.129) para x 0 se deduce, por tanto,
que para 0 0 > 0, x 0 y x0 tienen el mismo signo. Analogamente podemos deducir que para 0 0 < 0,
x 0 y x0 tienen distinto signo.
Ejemplos de transformaciones de Lorentz
Rotaciones:
x = x0 ,
x0
2
183
(7.132)
Mecanica Teorica
Jose A. Oller
Boosts: Relacionan dos observadores inerciales que se mueven con una velocidad relativa ~v con
ejes de coordenadas paralelos.
~x = ~x ,
x k = xk vt ,
~v~x
t = t 2 ,
c
(7.133)
p
con = 1 v 2 /c2 . Estas transformaciones son parte del grupo de transformaciones propias y
ortocronas de Lorentz L+ :
0 0 1 , det = +1 .
7.5.3.
(7.134)
Generadores infinitesimales
~xk = ~xk u
bvx0 /c , x = x0 vb
u~x/c
~x = u
b (~x u
b) + (~x (~x u
b) u
b) = u
b ~xu
b vx0 /c + (~x (~xu
b) u
b)
0
0
= ~x u
bvx /c = ~x ~v x /c ,
0
0
x = x ~v~x/c .
(7.136)
En forma matricial:
0
x 0
1 v 1 v 2 v 3
x
x 1 v 1 1
0
0 x1
2 =
x v 2 0
1
0 x2
3
3
v
0
0
1
x3
x
Por tanto:
(7.137)
= I v k Ak ,
con A1 , A2 y A3
1
(A1 ) =
0
0
1 0 0
0
0 0 0
0
, (A2 ) =
0 0 0
1
0 0 0
0
0
0
0
0
1
0
0
0
184
0
0 0
0
0 0
, (A3 ) =
0
0 0
0
1 0
(7.138)
0
0
0
0
1
0
. (7.139)
0
0
Mecanica Teorica
Si ~v k bi tenemos un boost
0
x
x 1
2
x
x 3
donde:
Jose A. Oller
v
1
v2
c2
0
0
1
0
0
0
x
0 x1
0 x2
1
x3
cosh 1 senh 1 0 0
cosh 1 senh 1 0 0
senh 1 cosh 1 0 0 senh 1 cosh 1 0 0
0
0
1 0
0
0
1 0
0
0
0 1
0
0
0 1
cosh (1 + 1 ) senh (1 + 1 ) 0 0
senh (1 + 1 ) cosh (1 + 1 ) 0 0
,
=
0
0
1 0
0
0
0 1
(7.140)
(7.141)
(7.142)
y el parametro es aditivo, siendo esta la razon por la que se emplea para caracterizar los boosts
en lugar de la velocidad. No obstante a nivel infinitesimal, O (v), = v, y por eso para obtener los
generadores no ha sido necesario introducirlo y a primer orden tenemos de (7.138):
= I k Ak .
(7.143)
Un boost finito se obtiene sin mas que aplicando sucesivamente boosts infinitesimales,
lm (I
k
k
Ak )N = e Ak .
N
(7.144)
(7.145)
(7.146)
el , (A
el )k m = lkm ,
R = I + l A
185
(7.147)
Mecanica Teorica
explcitamente,
e1 )
(A
0
0
=
0
0
Jose A. Oller
0
0
0
0
0 0
0 0
0 0
e2 ) = 0 0
, (A
0 0
0 1
0 1
1 0
0
0
0
0
0
0
1
e3 ) = 0
, (A
0
0
0
0
0 0 0
0 1 0
.
1 0 0
0 0 0
(7.148)
Y por tanto:
bl .
= I + l A
(7.149)
el
l A
l e
)N = e Al .
(7.150)
N
N
Los boosts han dado lugar a tres generadores, y las rotaciones propias a otros tres. Dado que las
transformaciones de Lorentz vienen dadas por seis parametros ya hemos obtenido los seis generadores
infinitesimales de L+ . Es conveniente emplear notacion covariante que agrupe tanto a rotaciones como
a boosts. Para ello definamos:
lm (I +
ej , Ai0 = A0i = Ai , i, k, j = 1, 2, 3 .
Aik = Aik = ikj A
(7.151)
(A ) = g g
(7.152)
(7.153)
(A ) = (A ) , (A ) = (A ) .
(7.154)
Empleando esta notacion, tenemos que toda transformacion propia y ortocrona de Lorentz infinitesimal
se puede escribir en la forma:
x = x + a (A ) x ,
(7.155)
y al ser a antisimetrico solo hay seis parametros independientes. Comparando explcitamente con
las expresiones (7.143) y (7.149) para boosts y rotaciones, respectivamente, se deduce que:
ak0 = k /2 , a12 = 3 /2 , a23 = 1 /2 , a13 = 2 /2 .
186
(7.156)
Mecanica Teorica
7.5.4.
Jose A. Oller
Conmutadores
(7.157)
7.5.5.
[Ai , Aj ] = ijk Ak ,
h
i
e
Ai , Aj = ijk Ak ,
h
i
ei , A
ej = ijk A
ek .
A
(7.158)
Al ser seis el numero de parametros continuos que determinan una transformacion de Lorentz deben
existir seis corrientes de Noether que a partir de (7.59) y (7.155) podemos escribir como:
L
J = L(A ) x +
A, (A ) x (A )A B .
(7.159)
A,
Consideremos la contribucion a J debida al cambio en las coordenadas que es proporcional a
(7.160)
(A ) x = g g x ,
y llamemos a esa contribucion L ,
Y ademas:
L
A, g g x
L = L g g x +
A,
L
A, x x =
= L x + L x +
A,
L
L
A, x
A, x =
= L x + L x +
A,
A,
= x T x T .
(7.161)
L = L , L0 = T 0 x T 0 x .
(7.162)
proporcional a (A )B
A y que designamos por S :
L
(A )B
A B ,
A,
= S .
S =
S
(7.163)
Esta fuente de momento angular es de naturaleza intrnseca al propio campo, como el espn del electron.
Este hecho no se observa en fsica clasica con partculas pero s con campos.
187
Mecanica Teorica
Jose A. Oller
Campo escalar: (A )B
A = 0 S = 0 .
Campo vectorial: (A )B
A B (A ) , etc.
Tambien tenemos campos espinoriales, con espn semientero, pero que no veremos aqu.
La invariancia bajo las transformaciones de Lorentz implica la ecuacion de continuidad:
(L + S ) = 0 .
x
(7.164)
x
T
L
=
x
x
= T T = T T ,
(7.165)
as, solo cuando el tensor canonico de energa-momento sea simetrico L satisface la ecuacion de
continuidad. Ya hemos visto que para el campo escalar S = 0, con lo que (7.165), junto con la
conservacion del momento angular total, muestra que el tensor canonico de energa y momento de un
campo escalar es simetrico. Vimos un ejemplo de este resultado en (7.99). Otro importante resultado
se sigue sustituyendo (7.165) en (7.164),
T T =
S
.
x
(7.166)
Este resultado muestra que en general el tensor de energa-momento no es simetrico para un espn
arbitrario. No obstante, siempre le podemos sumar a T la divergencia de un tensor antisimetrico:
T T +
[]
f
,
x
(7.167)
y convertirlo en simetrico sin modificar el valor de las cargas de Noether, como ya vimos en la seccion
7.4. El corchete en f [] indica que el par de ndices que encierra es antisimetrico. El tensor simetrico
resultante se le llama entonces el tensor metrico de energa-momento. Veamos haciendo uso de (7.166)
que
L
L
L
1
B
B
B
[]
,
(7.168)
(A )A B
+ (A )A B
(A )A B
f
=
2
A,
A,
A,
es adecuado. El tensor (7.168) es obviamente antisimetrico bajo el intercambio de los ndices
como se requiere. Teniendo en cuenta (7.166) tenemos:
[]
f
S
1
1
S
Te = T +
.
(7.169)
= (T + T ) +
x
2
2 x
x
Desarrollando los dos sumandos del termino entre corchetes del lado de la derecha de la ecuacion
anterior, teniendo en cuenta la expresion explcita de S a partir de (7.163), es directo comprobar
que la contribucion entre corchetes es simetrica bajo el intercambio de . Dado que el primer
sumando es explcitamente simetrico se sigue que Te es simetrico y, por tanto, un tensor metrico de
energa-momento.
188
Mecanica Teorica
Jose A. Oller
Las integrales:
L =
dxL
, S =
dxS 0 ,
(7.170)
son tensores de rango dos, como se puede demostrar de forma analoga a la demostracion en relacion
con la figura 7.3, y se conocen, respectivamente, como el tensor de momento angular orbital y el tensor
de momento angular intrnseco o espn del campo.
L = L , S = S ,
d
(L + S ) = 0 ,
dt
(7.171)
dado que la suma de los tensores de momento angular orbital e intrnseco satisfacen la ecuacion de
continuidad (7.164). Al ser antisimetricos es conveniente agrupar las componentes espaciales de los
tensores de momento angular en trivectores,
1
ikl Lkl , vector de momento angular orbital,
2
1
ikl Skl , vector de espn,
=
2
Li =
Si
(7.172)
siendo Ji = Li + Si las componentes cartesianas del vector de momento angular total y que son
constantes de movimiento.
7.6.
Simetras internas
Con el nombre de simetras internas nos referimos a transformaciones de simetra para las que las
variables espacio temporales quedan invariantes y, por tanto, (Axi ) = 0. Estas simetras juegan un
papel indispensable en las teoras actuales de las interacciones fundamentales (electrodebiles y fuertes).
A modo de ejemplo consideremos de nuevo la densidad Lagrangiana de un campo escalar de masa
m:
L(,
) = ~2 m2 c2 ,
x
(7.173)
pero en este caso el campo (x) es complejo y no real como en (7.97). Recordemos que 0 = /ct.
Considerese la transformacion
= ei , x = x ,
(7.174)
se tiene:
L( ,
2
2 2
2
2 2
),
)
=
~
m
c
=
~
m
c
=
L(,
x
x
(7.175)
(7.176)
Mecanica Teorica
Jose A. Oller
L
L
L
i + i
A B =
B,
,
,
= ~2 ( ) i + ~2 ( )i = i~2 ( ) .
(7.177)
dx 0 0 .
(7.178)
Tal que Qe es proporcional a la densidad de carga electrica del campo. El factor de proporcionalidad
se puede fijar estudiando la expresion anterior en el espacio de momentos, es decir, mediante el empleo
de la transformada de Fourier del campo (x) de modo similar a como se hizo en el ejemplo del campo
escalar real de masa m. Notese que si (x) fuese real entonces Q = 0. El trivector corriente es,
~
~ ,
(7.179)
J~ = i~2
cuyo flujo a traves de una superficie cerrada es la variacion temporal de la carga encerrada en dicha
superficie.
Una generalizacion de la transformacion (7.174) es cuando pasa a ser una funcion de x, es decir,
se tiene = (x). Veamos que esta transformacion no es una simetra para la densidad Lagrangiana
(7.173).
L( ,
(x)
(x)
2 2
) = ~2 ( + i
)(x)(
i
)
+
.
)(x)
m
c
=
6
L(,
x
x
x
x
x
(7.180)
, A ) = ~2 ( iA )( + iA ) m2 c2 ,
x
(7.181)
(7.182)
s que es una simetra de la densidad Lagrangiana (7.181) como se comprueba de forma directa.
A nivel general, las transformaciones continuas de los campos para las que los parametros que fijan
dichas transformaciones dependan de x se denominan transformaciones de gauge. Por otra parte, los
campos vectoriales que se introducen para imponer que la densidad Lagrangiana sea invariante bajo
una transformacion gauge se denominan campos de gauge. En el ejemplo que estamos considerando
la transformacion (7.182) es un simple cambio de fase local del campo (x) y el campo vectorial de
gauge A representa el campo electromagnetico. Para el caso de las interacciones fuertes se tienen
ocho campos gauge y cuatro para las interacciones electrodebiles.
190
Mecanica Teorica
7.7.
Jose A. Oller
Formulaci
on Hamiltoniana
q i = ui , p i =
X
L
, H(p, q) =
pi qi L ,
u i
i=1
(7.183)
H
H
, pi =
, i = 1, . . . , N .
qi
qi
(7.184)
(7.185)
u
dp(x) = dx (x) ,
t
(7.186)
L
es la densidad de momento canonico. Para el Hamiltoniano se tiene en el lmite de
donde =
u
sistema continuo,
H=
N
X
i=1
pi qi L
u
dx
dxL =
u
dx
L
t
(7.187)
u
L .
t
(7.188)
u
1
= facilmente podemos eliminar la derivada temporal de u en la densidad Hamiltoniana
t
resultando,
2
2
2
1
u
1
1 2 (x) u
1 2
+
+
=
.
(7.189)
H = (x)
2
x
2
2 x
Como
191
Mecanica Teorica
7.7.1.
Jose A. Oller
Generalizaci
on. Ecuaciones can
onicas
Para obtener las ecuaciones canonicas planteamos el problema general de realizar una transformacion
de Legendre tal y como se hizo en la din
amica de un sistema
de partculas.
A
Sea la densidad Lagrangiana L = L x; A ,
, A , y consideremos la transformacion,
t
A ,
A
, A A , A , A .
t
(7.190)
(7.191)
y de aqu se puede expresar A,t como funcion de A , A , A . Para que esta transformacion sea
posible, el Hessiano:
2L
det
6= 0 .
(7.192)
A,t B,t
Entonces:
H (x; A , A , A ) =
f
X
B=1
B
Lb (x; A , A , A ) ,
t
(7.193)
que de hecho coincide con T 00 dada en (7.90). Observese que la densidad Lagrangiana ha variado de
argumentos y de ah que se haya incluido el gorro sobre L. El Hamiltoniano viene dado entonces por:
Z
H=
dxH (x; A , A , A ) .
(7.194)
Hallemos ahora las ecuaciones canonicas a traves de la variacion de las densidades de los momentos y
la variacion de las componentes del campo. En ambos casos la variacion se anula sobre la frontera R.
Tenemos:
A A + A ,
H =
dx
X L B,t
B,t
B +
B
C
C
t
C
B,t C
B,C
B,C
X B
(7.195)
Los terminos segundo y tercero del lado de la derecha se cancelan mutuamente dada la definicion
de densidad de momento canonico (7.191). Entonces,
H
A
=
A
t
que es el primer conjunto de ecuaciones canonicas.
192
(7.196)
Mecanica Teorica
Jose A. Oller
A + A ,
B,t
L
B,t
C + B
C,k
C
C
C,k
C
o
L B,t
L
L B,t
C,k
C,k .
B,t C
B,t C,k
C,k
H =
dx B
(7.197)
En la expresion anterior hemos empleado el convenio de suma sobre ndices repetidos que mantendremos a lo largo de este captulo. A partir de (7.191) se deduce de forma directa que los
terminos primero y cuarto, por una parte, y el segundo y el quinto, por otra, se cancelan en
parejas. As,
Z
L
L
C
C,k =
(7.198)
H =
dx
C
C,k
Z
L
L
C ,
(7.199)
k
= dx
C
x
C,k
donde se ha eliminado la integral de superficie tras integrar por partes. De este modo,
H
L
L
.
(7.200)
=
+
C
C xk C,k
Si tenemos en cuenta las ecuaciones de Euler-Lagrange,
L
C
C
L
L
L
=
+ k
.
=
k
C
t
x
C,k
C
x
C,k
t
(7.201)
(7.202)
193
Mecanica Teorica
Jose A. Oller
En el ejemplo anterior de la cadena lineal en forma de anillo, la densidad Hamiltoniana esta dada en
(7.189), con lo que el Hamiltoniano viene dado por:
(
2 )
Z
u
1 2
(x) +
.
(7.203)
H = dx
2
2 x
As las ecuaciones canonicas (7.196) y (7.202) son,
H
1
u H
2u
H
=
= =
,
= 2 =
.
t
u
x
t
Reexpresando =
u
queda:
t
7.8.
(7.204)
2u
2u
=0
t2
x2
Sea F un funcional de A y A ,
F =
dx F (A , A , A , ~x, t) .
t
B B B B
Z
F
= dx
+ [F, H] ,
t
dF
= [F, H] +
dt
dx
F
t
(7.205)
(7.206)
(7.207)
A A A A
Calculemos los parentesis de Poisson fundamentales a tiempos iguales:
A x0 , ~y , B x0 , ~z , A x0 , ~y , B x0 , ~z , A x0 , ~y , B x0 , ~z .
194
(7.209)
Mecanica Teorica
Jose A. Oller
Dado que,
0
A x , ~y =
0
A x , ~z =
Es directo comprobar:
dx3 (3) (~x ~y ) A x0 , ~x ,
3 (3)
dx
(~x ~z) A x , ~x .
A (~y )
A (~y )
= AC (3) (w
~ ~y ) ,
=0,
C (w)
~
C
B (~z)
B (~z)
=0,
= BC (3) (w
~ ~z) .
C (w)
~
C (w)
~
Por tanto los parentesis de Poisson fundamentales seran:
Z
0
0
A x , ~y , B x , ~z = AC (3) (~x ~y ) BC (3) (w
~ ~z) d3 w =
= AB
(3)
(7.210)
(7.211)
(7.212)
(7.213)
(~y ~z) .
En lugar de una delta de Kronecker tenemos una delta de Dirac para losndices continuos. Analogamente
se puede demostrar:
A x0 , ~y , B x0 , ~z = A x0 , ~y , B x0 , ~z = 0
(7.214)
Es directo comprobar que los parentesis de Poisson (7.208) son lineales, antisimetricos, verifican la
propiedad asociativa y la identidad de Jacobi.
Ejemplo
Consideremos de nuevo el ejemplo de la cadena lineal de la seccion 7.1. Sea,
F =
u u
u
=
,
t x
x
(7.215)
teniendo en cuenta la expresion para la densidad de momento canonico (7.186). Su evolucion dinamica
(7.207) es:
dF
= [F, H] ,
dt
(7.216)
F
=
,
=
,
x u
x
H
1
H
2u
= ,
= 2 ,
u
x
195
(7.217)
Mecanica Teorica
Jose A. Oller
[F, H] =
x
x x2
(
2 )
Z
1
1 2
u
= dx
+
=0,
2 x
(7.218)
la ultima integral es nula ya que el sistema es periodico en x con perodo 2R. As, F es una constante
de movimiento. De hecho F no es mas que la carga de Noether Q de (7.75) dividida por R, con lo
que hemos demostrado explcitamente que en efecto es una constante de movimiento.
Se deja como ejercicio para el lector demostrar de forma explcita la relacion:
[R, ST ] = [R, S] T + S [R, T ] ,
con R, S funcionales del tipo (7.205).
196
(7.219)
Bibliografa
[1] Jorge V. Jose y Eugene Saletan, Classical Dymanics: A Contemporary Approach. Cambridge University Press.
[2] Cornelius Lanczos, The Variational Principles of Mechanics. Dover Publications, Inc.
[3] L.D. Landau y E.M. Lifshitz, Curso de Fsica Teorica, Vol. 1: Mecanica. Editorial Reverte.
[4] A. Sommerfeld, Lectures on Theoretical Physics, Vol. 1: Mechanics. Academic Press.
[5] H. Goldstein, C. Poole y J. Safko, Classical Mechanics, Third Edition. Addison Wesly.
[6] H. Goldstein, Mecanica Clasica. Editorial Reverte.
[7] V.I. Arnold, Metodos Matematicos de la Mecanica Cl
asica. Editorial Paraninfo.
[8] E.T. Whittaker, A Treatise on the Analytical Dynamics of Particles and Rigid Bodies. Cambridge
University Press.
[9] A. Sokolov, I. Ternov, V. Zukovskii y A. Borisov, Quantum Electrodynamics, Ed. MIR.
La primera mitad del libro trata sobre teora clasica de campos.
[10] M. A. Martn, M. Moran y M. Reyes, Iniciacion al Caos. Editorial Sntesis.
197