Apuntes de Mecánica Clásica. 2010. Fernando O. Minotti

Apuntes de Mecnica Clsica
Fernando O. Minotti
2do cuatrimestre de 2010
ndice general
1. Mecnica de Newton 3
1.1. Transformacin de Galileo . . . . . . . . . . . . . . . . . . . . 4
1.2. Sistema de varias partculas . . . . . . . . . . . . . . . . . . . 4
1.3. Teorema del Virial . . . . . . . . . . . . . . . . . . . . . . . . 8
2. Mecnica analtica 11
2.1. Deniciones bsicas y notacin . . . . . . . . . . . . . . . . . . 11
2.2. Principio de los trabajos virtuales (D Alembert) . . . . . . . . 13
2.3. Ecuaciones de Lagrange . . . . . . . . . . . . . . . . . . . . . 15
2.3.1. Partculas en campos electromagnticos . . . . . . . . . 20
2.4. Principio de Hamilton . . . . . . . . . . . . . . . . . . . . . . 21
2.4.1. Principio de Maupertuis . . . . . . . . . . . . . . . . . 24
2.5. Invarianza de las ecuaciones de Lagrange y simetras . . . . . 26
2.5.1. Teorema de Noether . . . . . . . . . . . . . . . . . . . 29
2.6. Accin como funcin de las qs . . . . . . . . . . . . . . . . . 32
3. Ecuaciones cannicas de Hamilton 34
3.1. Transformaciones cannicas y corchetes de Poisson . . . . . . 37
3.1.1. Transformaciones cannicas innitesimales . . . . . . . 39
3.1.2. Teorema de Liouville . . . . . . . . . . . . . . . . . . . 40
3.1.3. Corchetes de Poisson . . . . . . . . . . . . . . . . . . . 42
4. Ecuacin de Hamilton-Jacobi 47
4.1. Variables ngulo-accin . . . . . . . . . . . . . . . . . . . . . . 49
4.2. Invariantes adiabticos . . . . . . . . . . . . . . . . . . . . . . 52
5. Mecnica relativista 55
5.1. Cinemtica relativista . . . . . . . . . . . . . . . . . . . . . . 55
5.1.1. Cuadrivectores . . . . . . . . . . . . . . . . . . . . . . 59
5.2. Dinmica relativista . . . . . . . . . . . . . . . . . . . . . . . 63
5.2.1. Leyes de conservacin en sistemas de varias partculas . 68
1
NDICE GENERAL 2
5.2.2. Desintegracin de partculas . . . . . . . . . . . . . . . 71
5.2.3. Choque de partculas . . . . . . . . . . . . . . . . . . . 73
6. Fuerzas centrales 75
6.1. Problema de Kepler . . . . . . . . . . . . . . . . . . . . . . . . 75
6.2. Choque elstico . . . . . . . . . . . . . . . . . . . . . . . . . . 82
6.3. Dispersin (Scattering) . . . . . . . . . . . . . . . . . . . . . . 86
7. Pequeas oscilaciones 92
7.1. Modos normales . . . . . . . . . . . . . . . . . . . . . . . . . . 99
7.2. Oscilaciones de sistemas aislados (molculas) . . . . . . . . . . 100
7.3. Oscilaciones forzadas y amortiguadas . . . . . . . . . . . . . . 101
7.4. Oscilaciones no lineales en una dimensin . . . . . . . . . . . . 107
8. Cuerpo rgido 110
8.1. Cinemtica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
8.1.1. Matrices de rotacin . . . . . . . . . . . . . . . . . . . 112
8.1.2. ngulos de Euler . . . . . . . . . . . . . . . . . . . . . 114
8.2. Dinmica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
8.2.1. Energa cintica . . . . . . . . . . . . . . . . . . . . . . 118
8.2.2. Teorema de Steiner . . . . . . . . . . . . . . . . . . . . 121
8.2.3. Momento angular . . . . . . . . . . . . . . . . . . . . . 122
8.2.4. Ejes principales del tensor de inercia . . . . . . . . . . 123
8.3. Ecuaciones de Euler . . . . . . . . . . . . . . . . . . . . . . . . 125
8.4. Movimiento del cuerpo slido libre . . . . . . . . . . . . . . . 127
8.4.1. Construccin de Poinsot . . . . . . . . . . . . . . . . . 127
8.4.2. Otra representacin geomtrica . . . . . . . . . . . . . 129
8.4.3. Estabilidad de la rotacin alrededor de los ejes principales129
8.4.4. Elipsoide con simetra de revolucin . . . . . . . . . . . 131
8.5. Movimiento de trompos y girscopos . . . . . . . . . . . . . . 134
8.5.1. Trompo . . . . . . . . . . . . . . . . . . . . . . . . . . 134
8.5.2. Estabilidad del trompo vertical . . . . . . . . . . . . . 140
8.5.3. Girscopo . . . . . . . . . . . . . . . . . . . . . . . . . 141
Captulo 1
Mecnica de Newton
La mecnica de Newton (tambin llamada mecnica vectorial ) se basa en
sus tres leyes que adaptamos aqu a la nomenclatura de la materia:
i) Un punto material (o partcula) sobre el que no actan fuerzas per-
manece continuamente en reposo o en movimiento rectilneo y uniforme.
(Esta ley establece el marco de referencia en el que son vlidas las otras
leyes; se entiende que no actan fuerzas sobre el punto material si no existe
ningn agente que las ejerza, tal como otra partcula o cuerpo extenso, hilos,
resortes, cuerpos muy masivos que produzcan atraccin gravitatoria, cuer-
pos cargados y corrientes elctricas si el punto material tiene carga elctrica,
etc.. Si en tales condiciones el punto permanece en reposo o se mueve con
velocidad constante, entonces se est en el marco adecuado, que es el que
conocemos como sistema de referencia inercial).
ii) Si sobre la partcula actan fuerzas la tasa de cambio de la cantidad
de movimiento lineal de la partcula es igual a la fuerza total. (Se entiende
por cantidad de movimiento lineal al producto de la masa de la partcula por
su velocidad, y por tasa de cambio la variacin por unidad de tiempo; ntese
adems que las fuerzas se dan por conocidas o determinables independiente-
mente del cambio de estado de movimiento de la partcula)
iii) Cuando dos partculas interactan la fuerza que la primera ejerce
sobre la segunda es igual en intensidad y direccin, pero opuesta en sentido,
a la que la segunda ejerce sobre la primera.
Para trabajar con estas leyes debemos denir los vectores involucrados;
en particular, el vector posicin de cada partcula respecto de algn origen
conveniente. Llamamos x
i
al vector posicin de la partcula i y escribimos
la segunda ley para cada partcula i (de masa :
i
y sobre la que acta una
fuerza F
i
) como (los puntos indican derivacin temporal y el nmero de ellos
el orden de la derivada)
:
i
x
i
= F
i
.
3
CAPTULO 1. MECNICA DE NEWTON 4
1.1. Transformacin de Galileo
Si tenemos un sistema de referencia o en el que valen las leyes de Newton
y elegimos describir la dinmica de un dado sistema de partculas desde otro
sistema o
0
que se mueve respecto del primero con velocidad constante U,
las coordenadas espaciales y temporal de cualquier partcula en o
0
estarn
relacionadas con las correspondientes en o por una transformacin de Galileo
expresada como (con notacin evidente y suponiendo que en t = 0 los orgenes
de ambos sistemas coinciden)
x = x
0
+Ut
0
.
t = t
0
.
Esta transformacin es puramente cinemtica. La invarianza de las leyes
de Newton frente a esta transformacin; esto es, la validez de las mismas
leyes, expresadas de igual manera, pero ahora en trminos de objetos referi-
dos al sistema o
0
, requiere que las masas y fuerzas sean invariantes ante la
transformacin. Esta ltima es una hiptesis bsica de la dinmica de New-
ton que, de hecho, es vlida para transformaciones genricas, a sistemas de
referencia acelerados de manera arbitraria.
1.2. Sistema de varias partculas
Llamando p
i
= :
i
_ x
i
a la cantidad de movimiento de la partcula i, la
cantidad de movimiento total P del sistema de ` partculas es
P =
.
i=1
p
i
.
de la cual podemos decir que
dP
dt
=
.
i=1
dp
i
dt
=
.
i=1
F
cat
i
+
.
i=1
)6=i
f
i)
. (1.1)
donde se ha diferenciado entre las fuerza externa neta sobre cada partcula,
F
cat
i
, y la interna sufrida por la partcula i debida a la ,, f
i)
. Por la tercera
ley de Newton es f
i)
= f
)i
, por lo que la doble suma en (1.1) se anula y
resulta entonces
dP
dt
=
.
i=1
F
cat
i
= F
cat
. (1.2)
Usando adems que
dP
dt
=
d
dt
.
i=1
:
i
_ x
i
= `
d
2
X
CA
dt
2
.
donde se ha introducido la masa total del sistema ` =

.
i=1
:
i
, y la posicin
del centro de masas X
CA
=
_
.
i=1
:
i
x
i
_
,`, puede escribirse la ecuacin
de movimiento del centro de masas como
`
d
2
X
CA
dt
2
= F
cat
.
Si denimos ahora la cantidad de movimiento angular (o momento angu-
lar) respecto de un punto jo C,
L
c
=
.
i=1
x
ic
p
i
. (1.3)
donde se entiende que x
ic
es el vector posicin de la partcula i referido al
origen C. Tenemos entonces
dL
c
dt
=
.
i=1
_ x
ic
p
i
+
.
i=1
x
ic
_ p
i
.
Dado que _ x
ic
es paralelo a p
i
cada trmino de la primera sumatoria es nulo,
mientras que el segundo se escribe, usando la segunda ley de Newton
dL
c
dt
=
.
i=1
x
ic
F
cat
i
+
.
i=1
x
ic
)6=i
f
i)
.
Si escribimos que
x
)c
= x
ic
+ x
i)
.
al efectuar la doble sumatoria se tendrn pares de trminos de la forma
x
ic
f
i)
+x
)c
f
)i
= x
ic
f
i)
+x
ic
f
)i
+ x
i)
f
)i
= x
ic
(f
i)
+f
)i
) + x
i)
f
)i
.
El parntesis del segundo rengln se anula por la tercera ley de Newton,
mientras que si la fuerza interna f
i)
tiene la direccin del vector que une las
partculas i, , (forma fuerte de la tercera ley) el ltimo producto vectorial se
anula tambin, con lo que se obtiene nalmente
dL
c
dt
=
.
i=1
x
ic
F
cat
i
. (1.4)
Tenemos entonces de (1.2) y (1.4) que si no actan fuerzas externas sobre
las partculas del sistema, entonces P = ctc y L
c
= ctc; la constancia de L
c
es vlida cualquiera sea el punto jo C considerado.
Si, conocido el valor de L
c
en un instante dado (no estamos pidiendo que
se conserve), queremos calcular el momento angular respecto de otro punto
jo C
0
, basta escribir en (1.3) que x
ic
= x
ic
0 + X
c
0 X
c
, con X
c
y X
c
0 los
vectores posicin de los puntos C y C
0
, respectivamente, para obtener
L
c
=
.
i=1
x
ic
0 p
i
+ (X
c
0 X
c
)
.
i=1
p
i
= L
c
0 + (X
c
0 X
c
) P.
con lo que
L
c
0 = L
c
(X
c
0 X
c
) P.
Conocido el valor del momento angular L
c
respecto del origen C de un
sistema de referencia o, se plantea ahora calcular el momento angular L
0
c
0
respecto del origen C
0
de un sistema de referencia o
0
que se mueve con veloci-
dad arbitraria U(t) respecto de o. Si X
c
0 (t) es la posicin de C
0
respecto de
C (por supuesto, es U(t) =
_
X
c
0 (t)), tenemos
L
0
c
0 =
.
i=1
x
0
i
:
i
_ x
0
i
=
.
i=1
(x
i
X
c
0 ) :
i
( _ x
i
U) .
que, expandiendo los productos, se puede escribir como
L
0
c
0 =
.
i=1
x
i
:
i
_ x
i
X
c
0
.
i=1
:
i
_ x
i
_
.
i=1
:
i
_ x
i
_
U+X
c
0
_
.
i=1
:
i
_
U
= L
c
X
c
0 P` X
CA
U+ ` X
c
0 U.
En particular, si se elige el C` como origen C
0
, la expresin se simplica a
L
0
CA
= L
c
X
CA
P.
que escrito en la forma ms cmoda
L
c
= L
0
CA
+X
CA
P.
nos indica que el momento angular de un sistema respecto de un punto
cualquiera puede descomponerse en el momento respecto al centro de masas
(llamado momento angular propio o de spin) ms el debido al movimiento
del sistema de partculas como conjunto (momento angular orbital).
Consideremos nalmente la variacin de energa cintica 1 de un sistema
de partculas (el punto indica producto escalar de vectores)
d1
dt
=
d
dt
_
1
2
.
i=1
:
i
[ _ x
i
[
2
_
=
.
i=1
:
i
_ x
i
x
i
.
que por la segunda ley de Newton es igual a
d1
dt
=
.
i=1
_ x
i
F
cat
i
+
.
i=1
_ x
i
)6=i
f
i)
.
Si las fuerzas entre pares de partculas derivan de un potencial (independiente
del tiempo) \
i)
= \
)i
= \
0
([x
i
x
)
[) tenemos
f
i)
=
J\
i)
Jx
i
.
con lo que
)6=i
f
i)
=
J
Jx
i
)6=i
\
i)
=
J\
(i)
Jx
i
.
donde \
(i)
=
)6=i
\
i)
. Si se dene adicionalmente \ =
1
2
.
i=1
\
(i)
tenemos
que, para cualquier i,
J\
Jx
i
=
J\
(i)
Jx
i
.
con lo que podemos escribir
.
i=1
_ x
i
)6=i
f
i)
=
.
i=1
_ x
i
J\
Jx
i
=
d\
dt
.
y, nalmente,
d
dt
(1 + \ ) =
.
i=1
_ x
i
F
cat
i
.
As, si no existen fuerzas externas, la energa mecnica 1 = 1 + \ , suma
de las energas cintica 1 y potencial \ , se conserva. Ms an, si la fuerza
externa deriva tambin de un potencial independiente del tiempo
F
cat
i
=
J\
cat
Jx
i
.
podemos deducir de manera semejante
d
dt
_
1 + \ + \
cat
_
= 0.
1.3. Teorema del Virial
Si denimos la funcin virial de un sistema de partculas
1 =
.
i=1
:
i
_ x
i
x
i
.
tenemos que su variacin temporal se escribe
d1
dt
=
.
i=1
:
i
_ x
i
_ x
i
+
.
i=1
:
i
x
i
x
i
= 21 +
.
i=1
x
i
_
F
cat
i
+
)6=i
f
i)
_
.
Si, como en el n del punto anterior las fuerzas entre partculas son derivables
de un potencial, y no existen fuerzas externas, se tiene
d1
dt
= 21
.
i=1
x
i
J\
Jx
i
.
Si, adems, el potencial \ es una funcin homognea de grado / (/ = 1
para el potencial gravitatorio y / = 2 para el potencial elstico)
.
i=1
x
i
J\
Jx
i
= /\.
con lo cual
d1
dt
= 21 /\. (1.5)
Calculemos ahora el promedio temporal de esta variacin, denido como
_
d1
dt
_
= |::
t!1
1
2t
_
t
t
d1
dt
dt = |::
t!1
1 (t) 1 (t)
2t
.
Si ninguna partcula se aleja al innito, ni sus velocidades divergen, de la
denicin del virial, su valor ser nito siempre y tendremos por lo tanto
_
d1
dt
_
= 0
con lo cual resulta el teorema del virial:
2 1 = / \ .
Dado adems que no hay fuerzas externas,
1 +\ = 1.
con lo que se concluye
1 =
/1
2 +/
.
\ =
21
2 +/
.
En el caso gravitatorio (/ = 1), dado que 1 0, debe ser entonces
1 < 0 y \ = 2 1. En el caso elstico es \ = 1 = 1,2.
Consideremos ahora una funcin auxiliar n denida como
n =
1
2
.
i=1
:
i
x
i
x
i
. (1.6)
que por derivacin directa da
dn
dt
=
.
i=1
:
i
_ x
i
x
i
= 1.
con lo que, volviendo a derivar, y usando (1.5),
d
2
n
dt
2
=
d1
dt
= 21 /\.
En el caso gravitatorio tenemos entonces
d
2
n
dt
2
= 21 + \ = 1 + 1 = 1.
desigualdad que, al integrar dos veces resulta en
n =
1
2
1t
2
+ _ n(0) t + n(0) .
De esta ecuacin se deduce que si la energa del sistema de partculas con
interaccin gravitatoria es positiva, entonces n cuando t , lo
que signica, de la denicin (1.6) de n, que al menos una de las partculas
se aleja indenidamente.
Captulo 2
Mecnica analtica
2.1. Deniciones bsicas y notacin
En muchos casos los vectores posicin no son los ms convenientes para
describir el movimiento de las partculas de un sistema mecnico. Claramente
es ms sencillo dar la ubicacin de un planeta por su distancia al sol y un par
de ngulos apropiados que por las tres componentes cartesianas de su vector
posicin. Llamemos entonces
1
,
2
, ...,
3.
a las 3` variables que sirven para
determinar en forma completa el estado de un sistema mecnico formado
por ` partculas. Determinar el estado de un sistema mecnico se entiende
como dar las posiciones (en un dado instante) de todas las partculas dotadas
de masa que lo conforman. Expresado en ecuaciones, para cada partcula
i (1 _ i _ `) podremos expresar su vector posicin como una funcin
x
i
(
1
.
2
. ....
3.
).
Las
I
son llamadas coordenadas generalizadas y el espacio que determi-
nan se denomina espacio de conguracin. Al evolucionar el sistema en el
tiempo las coordenadas generalizadas describen trayectorias
I
(t) en el espa-
cio de conguracin, por lo que podemos denir las velocidades generalizadas
_
I
(t). Las ecuaciones dinmicas que se deducirn permiten la determinacin
(al menos en principio) de las trayectorias
I
(t) e involucran funciones que
dependen de las coordenadas y velocidades generalizadas y del tiempo.
Cuando existen vnculos que ligan algunas o todas las partculas entre s
o con cuerpos externos, el sistema de ` partculas sigue siendo descripto por
3` coordenadas generalizadas, pero stas no son independientes; se habla
entonces de ligaduras o vnculos entre las variables.
Si existen : ligaduras independientes entre las : variables se denomina
nmero de grados de libertad, o simplemente grados de libertad, al valor : =
3` : . Este nmero es una propiedad del sistema y no de las variables que
11
CAPTULO 2. MECNICA ANALTICA 12
se utilizan.
La pregunta es entonces si es posible trabajar con slo : variables
I
. La
respuesta es que esto depende de si se puede, al menos en principio, usar
las ecuaciones de vnculo para escribir : de las variables en trminos de las
3`: restantes; cuando esto sucede se dice que los vnculos son holnomos.
Los vnculos que no permiten esto se denominan no holnomos.
Un ejemplo extremo es el de un cuerpo rgido (slido), que podemos
pensar como constituido por un nmero enorme de partculas ligadas por
la condicin de que sus distancias relativas permanezcan constantes. Estas
ligaduras reducen el nmero de variables desde el impensable nmero 3` a
slo 6; tres de las cuales son, por ejemplo, las coordenadas del centro de masa
del cuerpo; las otras tres sern ngulos que determinan la orientacin.
Si el slido est adems forzado a rotar alrededor de un eje jo, basta
con dar un solo ngulo para determinar su estado; las ecuaciones de lig-
adura seran que dos de los ngulos que determinan la orientacin son jos
y que cada coordenada del centro de masa se puede escribir como funcin
del tercer ngulo. Estas ligaduras son holnomas de manera que uno podra
efectivamente hacer la reduccin de variables hasta slo una.
Si el slido es una esfera que se mueve sobre una supercie horizontal la
altura de su centro es ja (ligadura holnoma), por lo que slo hacen falta
dos coordenadas para determinarlo; si adems rueda sin deslizar, su punto
de contacto con la supercie est instantneamente en reposo, lo que vincula
la velocidad instantnea de su centro con su velocidad de rotacin. Esto
ltimo corresponde a dos ligaduras no holnomas porque la ligadura de estas
velocidades no alcanza para determinar el vnculo entre las coordenadas del
centro y los ngulos de orientacin mismos, y no hace posible la eliminacin
de unos en favor de otros (una esfera, partiendo del mismo lugar y con igual
orientacin, puede llegar a un mismo punto con distintas orientaciones, segn
el camino que haya seguido, aun respetando punto a punto la ligadura entre
velocidades; por otro lado, un cilindro que rodara sin deslizar tendra una
nica relacin entre coordenada de su centro y ngulo rotado, por lo que en
este caso el vnculo dado por la rodadura es holnomo).
As, para un slido no ligado es : = 6, para uno que gira sobre un eje
jo es : = 1; para una esfera que se mueve sobre una supercie deslizando
libremente es : = 5; si rota sin deslizar : = 3, pero se requieren 5 variables,
ligadas por dos vnculos no holnomos, para describir el estado de la esfera.
Finalmente, los vnculos (holnomos o no) pueden depender explcita-
mente del tiempo; por ejemplo, el eje alrededor del que es forzado a rotar
un slido o la supercie sobre la que rueda una esfera pueden seguir un
movimiento prejado. Los vnculos dependientes del tiempo se denominan
renomos y los no dependientes del tiempo esclernomos.
2.2. Principio de los trabajos virtuales (D Alem-
bert)
La introduccin de ligaduras en el sistema mecnico lleva al concepto de
fuerza de vnculo, que es justamente la que se ejerce sobre la partcula para
forzar el cumplimiento de la ligadura. Esta fuerza de vnculo se diferencia
de la denominada fuerza aplicada que es aquella determinada independiente-
mente de cualquier otra fuerza, dando slo las posiciones (y a veces tambin
las velocidades) de las partculas. As, si dos partculas estn ligadas por un
resorte la fuerza que ejerce el resorte sobre una de ellas es una fuerza apli-
cada, que depende de la posicin de ambas partculas; tambin son fuerzas
aplicadas el peso, la fuerza elctrica sobre una partcula cargada, la fuerza
magntica (que depende de la velocidad), etc. Por otro lado, la fuerza que
ejerce un riel que gua el movimiento de una partcula es una fuerza de vn-
culo, que no puede ser determinada sin conocer las otras fuerzas que actan.
Una restriccin adicional que imponemos a las fuerzas de vnculo es que
puedan ser tan grandes en magnitud como fuera necesario para imponer la
ligadura, lo que es una idealizacin de los vnculos reales (los hilos se estiran,
las varillas se doblan o se quiebran, pero trabajamos dentro de los lmites en
lo que esto no pasa o su efecto puede despreciarse).
Un problema con la condicin anterior lo dan las fuerzas de rozamiento. Si
las condiciones del problema son tales que el rozamiento es suciente para im-
pedir que haya deslizamiento (rozamiento esttico), la fuerza de rozamiento
se considera entonces de vnculo. Si pudiera haber deslizamiento (rozamien-
to dinmico) deberamos considerar al rozamiento como una fuerza aplicada
anmala (ya que no cumple con ser independiente de otras fuerzas dado que
su magnitud depende de la fuerza de vnculo normal), pero ya no puede ser
considerada fuerza de vnculo.
Otro concepto fundamental es el de desplazamiento virtual, que es un
desplazamiento innitesimal de la posicin de una dada partcula, realizado
instantneamente (de aqu la condicin de virtual, ya que no es posible re-
alizarlo efectivamente); es decir, a velocidad innita, sin que transcurra el
tiempo durante el desplazamiento. Aparte de ser instantneo, el desplaza-
miento es arbitrario, no relacionado con el movimiento real de la partcula
en el instante considerado. Sin embargo, los desplazamientos virtuales ms
tiles son los que respetan los vnculos; esto es, no violan las condiciones
de ligadura del sistema (no sacan la partcula del riel que la gua, no defor-
man los cuerpos rgidos, no estiran los hilos, etc.; sin embargo, aun as no
corresponden necesariamente al movimiento real). Estos desplazamientos se
denominan compatibles con los vnculos.
Es importante notar que si los vnculos fueran dependientes del tiempo,
al ser instantneo el desplazamiento virtual, los vnculos permanencen en el
estado en que se encuentran en el instante del desplazamiento, por lo que
los desplazamientos virtuales compatibles con los vnculos deben respetar la
condicin impuesta por stos en ese dado instante.
El trabajo virtual de una fuerza es entonces el trabajo que ella realiza en
el desplazamiento virtual.
Finalmente, el principio de los trabajos virtuales de D Alembert postula
que la suma de los trabajos virtuales de todas las fuerzas de vnculo de
un sistema es nula, para cualquier conjunto de desplazamientos virtuales,
compatibles con los vnculos, de las partculas del sistema.
Es esencial incluir todas las fuerzas de vnculo en la suma, ya que el traba-
jo virtual de una dada fuerza de vnculo es en general no nulo; la cancelacin
se da entre todos los sumandos. Ntese que las fuerzas aplicadas (no de vn-
culo) producen un trabajo total no nulo en general; el principio se aplica slo
a las fuerzas de vnculo.
Algunos autores deducen este principio de la tercera ley de Newton,
aunque esta ley ms bien puede hacerlo plausible, vericando el principio
en casos concretos, y no realmente probarlo de manera general.
Notamos R
i
a la fuerza de vnculo (total o neta) que acta sobre la
partcula i, y F
i
a la fuerza aplicada (tambin total o neta) que acta sobre
esta partcula. Si ox
i
es el desplazamiento virtual de la partcula i, el prin-
cipio de D Alembert asegura que (el punto simboliza el producto escalar de
vectores)
o\
1
=
.
i=1
R
i
ox
i
= 0.
para todos los ox
i
compatibles con los vnculos.
Nota histrica: El principio de los trabajos virtuales como es presen-
tado aqu es el resultado de muchas contribuciones a lo largo del tiempo.
Inicialmente se aplic en forma elemental y medio velada a problemas de
esttica comenzando por Aristteles (384-322 AC) y pasando por Stevinus
(1598-1620) y Galileo (1564-1642). En su forma ms explcita y general (siem-
pre en el caso esttico) fue dado por Juan Bernoulli (1667-1748) alrededor
de 1717. Fue D Alembert (1717-1785) quien formul su principio, que dice
en realidad que un problema dinmico puede reducirse a uno esttico en el
que se han agregado a las fuerzas reales (de vnculo y aplicadas) las fuerzas
de inercia, de expresin :
i
x
i
, permitiendo as el uso del principio en ca-
sos dinmicos. Denominar principio de D Alembert al presentado aqu es
entonces no del todo correcto, aunque usual.
2.3. Ecuaciones de Lagrange
Si escribimos la ecuacin de movimiento de la partcula i denotando am-
bos tipos de fuerzas actuantes
:
i
x
i
= R
i
+F
i
. (2.1)
multiplicamos escalarmente esta ecuacin por el desplazamiento virtual ox
i
de la partcula y sumamos para todas las partculas, el principio de D Alem-
bert nos dice que podemos escribir (pasando todo al lado izquierdo)
.
i=1
:
i
x
i
ox
i
i=1
F
i
ox
i
= 0 (2.2)
Como existen vnculos los desplazamientos de las distintas partculas no son
independientes entre s (recurdese que aqu los desplazamientos virtuales
deben respetar los vnculos). Supongamos tener : vnculos holnomos entre
las partculas, que pueden escribirse como : relaciones entre las posiciones
de las partculas
G
v
(x
1
. x
2
. .... x
.
. t) = 0. 1 _ : _ :. (2.3)
donde se ha puesto de maniesto que las relaciones de vnculo pueden de-
pender explcitamente del tiempo, como se discuti ms arriba. La condicin
de que los desplazamientos respeten los vnculos se escribe entonces
.
i=1
r
i
G
v
ox
i
= 0. 1 _ : _ :. (2.4)
donde r
i
representa el gradiente respecto de las coordenadas de partcula i.
Si los vnculos no son holnomos, de cualquier manera pueden expresarse en
general de forma diferencial como en (2.4), slo que en lugar de r
i
G
v
apare-
cer una cantidad vectorial A
iv
(x
1
. x
2
. .... x
.
. t) que no puede ser expresada
como el gradiente de una funcin respecto de las coordenadas x
i
. Escribimos
entonces en general para vnculos holnomos o no las : condiciones sobre
los desplazamientos como (1 _ : _ :)
.
i=1
A
iv
ox
i
= 0. (2.5)
La idea es multiplicar cada una de las relaciones (2.5) por una funcin
escalar desconocida `
v
(x
1
. x
2
. .... x
.
. t) (multiplicador de Lagrange) y sumar
todas ellas para escribir (cambiando el orden de las sumatorias)
.
i=1
_
n
v=1
`
v
A
iv
_
ox
i
= 0.
que a su vez podemos sumar a (2.2) para escribir (agrupando todo)
.
i=1
_
:
i
x
i
F
i
+
n
v=1
`
v
A
iv
_
ox
i
= 0. (2.6)
Como existen las : relaciones (2.5) entre las 3` componentes de los
desplazamientos ox
i
, podemos elegir 3` : de stas en forma arbitraria,
y las : restantes estarn dadas como funcin de las anteriores (que son
independientes). La idea entonces es elegir los `
v
para que se satisfagan las
ecuaciones
:
i
x
i
F
i
+
n
v=1
`
v
A
iv
= 0. (2.7)
para los : componentes no independientes de los desplazamientos ox
i
. De
esta manera, en (2.6) slo sobreviven las 3` : componentes independi-
entes que, son por ser arbitrarias, indican que debe ser nulo cada uno de los
factores que las multiplica. As, para todas las partculas se debe satisfacer
la ecuacin (2.7) que reescribimos
:
i
x
i
= F
i
v=1
`
v
A
iv
. 1 _ i _ `. (2.8)
denominadas ecuaciones de Lagrange de primera especie.
En particular, si comparamos (2.8) con la ecuacin (2.1) vemos que las
fuerzas de vnculo estn dadas por
R
i
=
n
v=1
`
v
A
iv
.
Por supuesto, como se tienen : funciones incgnita `
v
adicionales a las
` coordenadas x
i
, se requieren : ecuaciones adicionales. Si los : vnculos
son holnomos, las ecuaciones adicionales son las (2.3). Si algunos vnculos
son no holnomos stos estn dados por una expresin de la forma (2.5) que
no es posible integrar para obtener una expresin que relacione a las x
i
; sin
embargo, las ligaduras no holnomas son debidas en general a que se tiene
una relacin entre las velocidades de la forma genrica
.
i=1
A
iv
_ x
i
= c
v
.
que sirven entonces como las ecuaciones auxiliares (las (2.5) fueron deducidas
de estas expresiones al multiplicar por ot y luego tomar ot = 0 considerando
que, por ser virtual el desplazamiento, es [ _ x
i
[ , de manera que ox
i
= _ x
i
ot
es no nulo, pero c
v
ot = 0).
Una forma mucho ms til de las ecuaciones de Lagrange se obtiene si se
usan coordenadas generalizadas y si, adems, los : vnculos son holnomos,
de manera que pueden emplearse las relaciones de ligadura para eliminar :
variables y trabajar con : = 3`: variables independientes. As, es posible
expresar las posiciones de cada partcula por una funcin de : coordenadas
generalizadas independientes
x
i
= x
i
(
1
.
2
. ....
a
. t). (2.9)
donde hemos incluido la posibilidad de que la relacin dependa explcita-
mente del tiempo. As, para los desplazamientos virtuales se tiene (el tiempo
se mantiene jo, ot = 0)
ox
i
=
a
I=1
Jx
i
J
I
o
I
. (2.10)
que al reemplazar en (2.2) da
.
i=1
a
I=1
:
i
x
i
Jx
i
J
I
o
I
i=1
a
I=1
F
i
Jx
i
J
I
o
I
= 0. (2.11)
Escribimos ahora
x
i
Jx
i
J
I
=
d
dt
_
_ x
i
Jx
i
J
I
_
_ x
i
d
dt
_
Jx
i
J
I
_
. (2.12)
y notamos que
_ x
i
=
Jx
i
Jt
+
a
I=1
Jx
i
J
I
_
I
.
de donde vemos que _ x
i
es una funcin lineal de las velocidades generalizadas
_
I
que cumple
J _ x
i
J _
I
=
Jx
i
J
I
. (2.13)
Por otro lado,
d
dt
_
Jx
i
J
I
_
=
J
2
x
i
JtJ
I
+
a
j=1
Jx
i
J
j
J
I
.
j
=
J _ x
i
J
I
. (2.14)
Usando (2.13) y (2.14) escribimos entonces (2.12) como
x
i
Jx
i
J
I
=
d
dt
_
_ x
i
J _ x
i
J _
I
_
_ x
i
J _ x
i
J
I
=
d
dt
_
1
2
J [ _ x
i
[
2
J _
I
_
1
2
J [ _ x
i
[
2
J
I
.
Usando que la energa cintica del sistema de partculas es
1 =
.
i=1
1
2
:
i
[ _ x
i
[
2
.
y deniendo la fuerza generalizada
Q
I
=
.
i=1
F
i
Jx
i
J
I
.
podemos escribir la ecuacin (2.11) como
a
I=1
_
d
dt
_
J1
J _
I
_
J1
J
I
Q
I
_
o
I
= 0. (2.15)
Notemos que al ser las variaciones o
I
arbitrarias e independientes debe
anularse el corchete para cada /, con lo que resulta la forma til de las
ecuaciones de Lagrange
d
dt
_
J1
J _
I
_
J1
J
I
Q
I
= 0. (2.16)
Si las fuerzas aplicadas se derivan de un potencial independiente de las
velocidades, F
i
= r
i
\ , entonces
Q
I
=
.
i=1
r
i
\
Jx
i
J
I
=
J\
J
I
. (2.17)
por lo que, usando que J\,J _
I
= 0, podemos reescribir (2.16) como
d
dt
_
J1
J _
I
_
J1
J
I
= 0. (2.18)
donde se ha denido el lagrangiano 1 = 1 \ . Las (2.18) se denominan
ecuaciones de Lagrange de segunda especie, o simplemente ecuaciones de
Lagrange.
Si algunos de los vnculos son no holnomos no es posible reducir el
nmero de coordenadas generalizadas hasta el nmero de grados de libertad
:. Supongamos que se han usado algunas de las ligaduras holnomas (pero
no necesariamente todas) para reducir en algo el nmero de coordenadas
I
y se tiene entonces : de ellas, con 3` _ : :. Todas las deducciones que
llevan desde (2.9) hasta (2.15) siguen siendo vlidas con : en lugar de :, slo
que ahora las variaciones o
I
no son independientes entre s, sino que estn
ligadas por las : : ligaduras no usadas para reducir el nmero de variables
(sea porque no se ha querido usarlas o porque las ligaduras son no holnomas
y no es posible hacerlo). Las relaciones entre las ligaduras estarn dadas por
: : expresiones del tipo
c
I=1
1
Iv
o
I
= 0. 1 _ : _ : :. (2.19)
donde las 1
Iv
son de la forma JG
v
,J
I
slo si la ligadura : es holnoma.
Usando el mtodo de los multiplicadores de Lagrange multiplicamos estas
expresiones por funciones desconocidas `
v
y sumamos los : : expresiones
a la (2.15) (en la que se ha reemplazado : por :) para obtener
c
I=1
_
d
dt
_
J1
J _
I
_
J1
J
I
Q
I
+
ca
v=1
`
v
1
Iv
_
o
I
= 0.
Procediendo como se hizo con (2.6) se obtiene nalmente
d
dt
_
J1
J _
I
_
J1
J
I
= Q
I
ca
v=1
`
v
1
Iv
. (2.20)
que deben completarse con las ecuaciones de vnculo no usadas
G
v
(
1
.
2
. ....
c
. t) = 0.
en caso de vnculos holnomos, o
c
I=1
1
Iv
_
I
= /
v
.
en el caso de vnculos no holnomos.
Si las fuerzas son derivables de un potencial (ver (2.17)), entonces podemos
reescribir (2.20) como
d
dt
_
J1
J _
I
_
J1
J
I
=
ca
v=1
`
v
1
Iv
. (2.21)
Nota histrica: Fue Lagrange (1736-1813) quien en su obra Mcanique
Analytique de 1788 desarroll la mecnica analtica, que denomin as por
el uso que hace en ella del anlisis matemtico, junto con el mtodo de
multiplicadores y tcnicas variacionales (a ver en el punto siguiente).
2.3.1. Partculas en campos electromagnticos
El caso de una partcula cargada en un campo electromagntico es un
ejemplo importante de existencia del lagrangiano para fuerzas dependientes
de la velocidad. La fuerza electromagntica sobre la partcula de carga c y
velocidad u es (en unidades del SI)
F = c (E +u B) .
donde E es el campo elctrico y B el magntico en la posicin de la partcula.
En trminos de los potenciales escalar y vector es
F = c
_
rc
JA
Jt
+u (\A)
_
.
Si desarrollamos explcitamente, se tiene para la componente cartesiana r
1
a
= c
_
Jc
Jr

J
a
Jt
+ n
j
_
J
j
Jr

J
a
J
_
n
:
_
J
a
J.

J
:
Jr
__
.
Si a esta expresin le sumamos y restamos n
a
J
a
,Jr, podemos escribirla
como
1
a
= c
_
Jc
Jr

d
a
dt
+
J
Jr
(u A)
_
.
donde
d
a
dt
=
J
a
Jt
+ n
a
J
a
Jr
+ n
j
J
a
J
+ n
:
J
a
J.
.
Tenemos as que podemos escribir en general
F = c
_
r(c u A) +
dA
dt
_
.
Esta expresin nos lleva a proponer el potencial
\ = c (c u A) .
de donde tenemos inmediatamente (con expresiones anlogas para las otras
componentes)
d
dt
_
J\
Jn
a
_
J\
Jr
= 1
a
.
Para un conjunto de ` partculas tenemos
\ =
.
i=1
c
i
(c
i
_ x
i
A
i
) . (2.22)
donde
c
i
= c(x
i
. t) . A
i
= A(x
i
. t) .
As,
F
i
=
d
dt
_
J\
J _ x
i
_
J\
Jx
i
.
y
Q
I
=
.
i=1
F
i
Jx
i
J
I
=
.
i=1
d
dt
_
J\
J _ x
i
_
Jx
i
J
I

.
i=1
J\
Jx
i

Jx
i
J
I
=
d
dt
.
i=1
_
J\
J _ x
i

Jx
i
J
I
_
i=1
J\
J _ x
i

d
dt
_
Jx
i
J
I
_
i=1
J\
Jx
i

Jx
i
J
I
=
d
dt
.
i=1
_
J\
J _ x
i

J _ x
i
J _
I
_
i=1
J\
J _ x
i

J _ x
i
J
I

.
i=1
J\
Jx
i

Jx
i
J
I
=
d
dt
_
J\
J _
I
_
J\
J
I
.
y es entonces posible denir 1 = 1 \ , con el potencial (2.22).
2.4. Principio de Hamilton
Un punto extremadamente importante es que la forma de las ecuaciones
(2.18) es la misma que las denominadas ecuaciones de Euler-Lagrange del
clculo de variaciones.
Un ejemplo caracterstico del clculo de variaciones es encontrar la funcin
= , (r) que hace que la integral
1 =
_
a
2
a
1
1 (.
0
. r) dr. (2.23)
sea extrema (mxima o mnima). En (2.23) 1 es una funcin conocida de sus
tres argumentos, la prima indica derivacin respecto de r, y se considera que
en los lmites de integracin la funcin toma valores dados
1
,
2
. Si para
una dada , (r) la integral es un extremo, cuando , (r) se reemplaza por una
funcin ligeramente modicada , (r)+j (r) ( es una constante innitesimal
y j (r) una funcin arbitraria que vale cero en r
1
, r
2
para cumplir que el valor
de en los extremos est jado) la integral no debe variar a primer orden en
. As
o1 =
_
a
2
a
1
1 (, + j. ,
0
+ j
0
. r) dr
_
a
2
a
1
1 (,. ,
0
. r) dr = 0. (2.24)
Si escribimos desarrollando a primer orden en serie de Taylor para
1 (, + j. ,
0
+ j
0
. r) = 1 (,. ,
0
. r) +
J1
J
j +
J1
J
0
j
0
.
(donde se entiende que las derivadas de 1 se evalan en = , (r),
0
= ,
0
(r))
podemos escribir (2.24) como
o1 =
_
a
2
a
1
_
J1
J
j +
J1
J
0
j
0
_
dr = 0. (2.25)
Dado que
J1
J
0
j
0
=
d
dr
_
J1
J
0
j
_
d
dr
_
J1
J
0
_
j.
al integrar por partes el segundo trmino del integrando de (2.25) y usar que
j (r
1
) = j (r
2
) = 0 podemos escribir
o1 =
_
a
2
a
1
_
J1
J

d
dr
_
J1
J
0
__
jdr = 0.
pero como j (r) es una funcin arbitraria (podra en particular elegirse igual
a la funcin que multiplica, con lo cual se tiene la integral de una magnitud
denida positiva en todo punto) debe anularse el corchete y se tiene entonces
la ecuacin de Euler
J1
J

d
dr
_
J1
J
0
_
= 0.
Si 1 es funcin de 2: variables
I
,
0
I
: 1 (
1
.
0
1
.
2
.
0
2
. ....
a
.
0
a
. r) y deben
hallarse las : funciones
I
= ,
I
(r) que extreman la integral
1 =
_
a
2
a
1
1 (
1
.
0
1
.
2
.
0
2
. ....
a
.
0
a
. r) dr.
con valores de las
I
jos en los lmites de integracin, se tiene que al variar
las : funciones: ,
I
(r) ,
I
(r) +
I
j
I
(r), la integral no vara, por lo que un
clculo anlogo al anterior (desarrollando ahora en Taylor en cada uno de los
I
) lleva a
o1 =
_
a
2
a
1
a
I=1
I
_
J1
J
I

d
dr
_
J1
J
0
I
__
j
I
dr = 0. (2.26)
Si no hay ligaduras entre las funciones
I
, los j
I
son independientes (y arbi-
trarios) por lo que puede elegirse a todos salvo uno igual a cero y, as como
antes, ver que debe ser para cada
I
J1
J
I

d
dr
_
J1
J
0
I
_
= 0. (2.27)
Si hubiera : ligaduras de la forma
G
v
(
1
.
2
. ....
a
. r) = 0. 1 _ : _ :. (2.28)
como tanto las ,
I
como sus variaciones deben respetar las ligaduras, tenemos
G
v
(,
1
. .... ,
a
. r) = G
v
(,
1
+
1
j
1
. .... ,
a
+
a
j
a
. r) = 0. 1 _ : _ :.
Al desarrollar la segunda serie de ecuaciones en serie de Taylor a primer orden
en los
i
(y usar tambin la primera serie de condiciones) se tiene
a
I=1
I
JG
v
J
I
j
I
= 0. 1 _ : _ :.
Usando el mtodo de los multiplicadores de Lagrange multiplicamos estas
ltimas ecuaciones por funciones a determinar `
v
(
1
.
2
. ....
a
. r), y sumamos
las : ecuaciones a la (2.26) para obtener
_
a
2
a
1
a
I=1
I
_
J1
J
I

d
dr
_
J1
J
0
I
_
+
n
v=1
`
v
JG
v
J
I
_
j
I
dr = 0.
Como siempre, elegimos los : multiplicadores `
v
para que se anulen :
trminos de la sumatoria en /, por lo que sobreviven : : trminos que
podemos tomar entonces como independientes, con lo que el resultado nal
es que, para todas las
I
, se tiene
J1
J
I

d
dr
_
J1
J
0
I
_
+
n
v=1
`
v
JG
v
J
I
= 0. (2.29)
que deben completarse con las (2.28).
Es claro entonces que las ecuaciones (2.18) y (2.27) (o las (2.21) y (2.29);
si las ligaduras fueran no holnomas la deduccin de (2.29) es equivalente a
la dada, slo que en lugar de JG
v
,J
I
se tendra funciones 1
Iv
no reducibles
a derivadas) son totalmente equivalentes si se identican
1 1
I

I
t r
En otras palabras, las trayectorias del sistema en el espacio de congu-
racin (las
I
(t)) son las que extreman la integral
o =
_
t
2
t
1
1(
1
. _
1
. ....
a
. _
a
. t) dt. (2.30)
sujeta a la condicin que las
I
tomen valores dados en los instantes t
1
y t
2
.
ste es el principio variacional de Hamilton, denominado tambin principio
de mnima accin, y la integral o es denominada la accin del sistema.
Notemos que o es una funcin de t
1
, t
2
, y de los valores de las coordenadas
en estos instantes; por otro lado o depende de la forma de las trayectorias
I
(t) en t
1
_ t _ t
2
, esto es, distintas funciones
I
(t) dan distintos valores
de o. Se dice entonces que o es una funcional de las
I
(t).
2.4.1. Principio de Maupertuis
Para sistemas mecnicos en los que se conserva la energa mecnica 1 =
1 +\ es posible escribir un principio variacional que determina directamente
la forma geomtrica de las trayectorias del sistema, sin considerar cmo son
recorridas al transcurrir el tiempo (el tiempo desaparece de la formulacin).
Para ver esto usemos que 1 = 1 \ , junto con 1 = 1 +\ , para escribir la
accin (2.30) como
o =
_
t
2
t
1
(21 1) dt =
_
t
2
t
1
21dt 1 (t
2
t
1
) .
y consideramos que 1 tiene la forma genrica (las c
i)
dependen slo de las
s)
1 =
1
2
i,)
c
i)
_
i
_
)
=
1
2dt
2
i,)
c
i)
d
i
d
)
.
de donde podemos despejar el diferencial de tiempo
dt =
_
i,)
c
i)
d
i
d
)
21
.
y reescribir la accin como
o =
_
t
2
t
1
_
21

i,)
c
i)
d
i
d
)
1 (t
2
t
1
) .
Como ya impusimos la constancia de 1, el trmino 1 (t
2
t
1
) no vara al
variar o, por lo que podemos descartarlo y considerar slo la primera integral
que denominamos accin reducida o
0
o
0
=
_
t
2
t
1
_
21

i,)
c
i)
d
i
d
)
.
y que podemos escribir en trminos de slo las s al reemplazar 1 por 1\
y tomar a una de las s, digamos la
1
, como coordenada independiente (que
integramos entre valores jos arbitrarios
1
y
0
1
)
o
0
=
_
q
0
1
q
1
_
2 (1 \ )
i,)
c
i)
d
i
d
1
d
)
d
1
d
1
.
Al tomar entonces variaciones arbitrarias de las
i
(con i ,= 1 y con valores
jos en los lmites de integracin) e imponer oo
0
= 0 obtenemos las ecuaciones
de la forma geomtrica de las trayectorias. ste es el principio de Maupertuis.
Nota histrica: Los principios variacionales se usaron desde tiempos
remotos en forma ms o menos elemental, como por ejemplo en el problema de
hallar el rea mxima encerrada por una curva de permetro dado (problema
de Dido) conocido por los gemetras de la Grecia antigua. Su desarrollo
moderno comenz con el planteo de Juan Bernoulli en 1696 del problema de
cul es la curva de descenso ms rpido (braquistocrona) entre dos puntos
dados en un plano vertical, por la que desciende una partcula sin rozamiento
con el peso como nica fuerza aplicada; problema que fue resuelto por Newton
y Bernoulli en forma casi simultnea. Maupertuis en 1746 postul su principio
de mnima accin en forma elemental (que formularon luego correctamente
Euler y Lagrange), al que consideraba como una expresin de la economa
de la Naturaleza. Lagrange en su Mcanique Analytique de 1788 desarroll
la metodologa ms general de resolver problemas variacionales y utiliz el
principio de mnima accin en la forma vista aqu. Previamente Euler (1707-
1783) dedujo las ecuaciones que llevan su nombre y tambin consider un
principio de mnima accin basado en lo que llamaramos hoy da energa
potencial. Finalmente Hamilton en 1834 desarroll su dinmica (ver ms
adelante) considerando variaciones ms generales de la accin, en las que
varan tambin los valores en los extremos de integracin.
2.5. Invarianza de las ecuaciones de Lagrange
y simetras
Un punto importante de las ecuaciones de Lagrange es que la forma de
las ecuaciones es la misma en cualquier sistema de referencia. En efecto, si
hacemos una transformacin de las coordenadas generalizadas, incluso de-
pendiente del tiempo, y escribimos las coordenadas
I
en trminos de otras
coordenadas Q
I
(no confundir con las fuerzas generalizadas, que no apare-
cern de ahora en ms en estos apuntes)
I
= ,
I
(Q
1
. .... Q
a
. t) . 1 _ / _ :. (2.31)
al reemplazar las variables originales por las variables nuevas en el lagrangiano
se obtiene ste en funcin de las nuevas variables; por supuesto, reemplazando
tambin las velocidades generalizadas
_
I
=
J,
I
Jt
+
a
)=1
J,
I
JQ
)
_
Q
)
= q
I
_
Q
1
.
_
Q
1
. .... Q
a
.
_
Q
a
. t
_
.
para obtener

1
_
Q
1
.
_
Q
1
. .... Q
a
.
_
Q
a
. t
_
. Transformaciones del tipo (2.31) son
denominadas de punto o de contacto. Sin embargo, el valor de 1 y de

1 es el
mismo en cada instante dado (slo que expresado en coordenadas transfor-
madas unas de otras), por lo que la accin (2.30) se expresa de igual manera
en las nuevas coordenadas
o =
_
t
2
t
1
1
_
Q
1
.
_
Q
1
. .... Q
a
.
_
Q
a
. t
_
dt.
y las ecuaciones de Lagrange correspondientes obtenidas al extremar la accin
tienen igual forma
d
dt
_
J
1
J
_
Q
I
_
1
JQ
I
= 0. (2.32)
Ntese que las nuevas coordenadas podran ser, por ejemplo, coordenadas
del sistema mecnico en un sistema de referencia no inercial y, sin embargo,
no hay necesidad de incluir ninguna fuerza de inercia o algo equivalente
(aqu se ve la ventaja de la formulacin variacional; si hubisemos usado el
principio de D Alembert tendramos que haber calculado la aceleracin de
cada partcula y el trabajo virtual de las fuerzas de inercia para deducir (2.32)
en un sistema no inercial).
Por otro lado, la covarianza de las ecuaciones de Lagrange nos permite us-
ar las coordenadas mejor adaptadas al problema, siempre y cuando podamos
expresar la funcin lagrangiana 1 en trminos de ellas.
Otro punto importante es que si a 1 se le suma una derivada total del
tiempo
1 1 +
d
dt
` (
1
. ....
a
. t) . (2.33)
la accin cambia a
o o + `[
t=t
2
`[
t=t
1
.
pero como en la variacin de o se mantienen jos los valores de las coorde-
nadas en los extremos, las ecuaciones obtenidas son exactamente las mismas;
ambos lagrangianos llevan a las mismas ecuaciones de movimiento. As, por
ejemplo, trminos como C
1
_
1
= d (C
1
1
) ,dt, o C
1
1
_
1
= d (C
1
2
1
,2) ,dt, con
C
1
constante, sumados a 1 no aportan a las ecuaciones de movimiento. Trans-
formaciones del tipo dado por (2.33) son denominadas de gauge.
De enorme importancia son las transformaciones continuas a las variables
0
I
, que son aquellas que pueden escribirse de la forma
I
= ,
I
(
0
1
. ....
0
a
. :. t) . (2.34)
donde : es un parmetro que puede variarse continuamente desde, digamos,
:
0
tal que cuando : = :
0
es ,
I
=
0
I
, de manera que
0
I
=
I
en : = :
0
. De
esta manera podemos pensar que las coordenadas generalizadas son trans-
formadas desde sus valores originales en forma continua al variar :.
De las (2.34) deducimos la transformacin de las velocidades generalizadas
(para un : dado)
_
I
=
_
,
I
=
J,
I
Jt
+
a
)=1
J,
I
J
0
)
_
0
)
.
por lo que al reemplazar en el lagrangiano 1(
1
. _
1
. ....
a
. _
a
. t) obtenemos un
1(
0
1
. _
0
1
. ....
0
a
. _
0
a
. t), que en : = :
0
coincide con el lagrangiano original. Con-
sideremos ahora una variacin innitesimal o: en el entorno de : = :
0
, que
(a valores jos de las
0
I
) induce una variacin innitesimal en el lagrangiano
que podemos escribir como
o1 =
a
I=1
_
J1
J
I
J,
I
J:
c=c
0
+
J1
J _
I
J
_
,
I
J:
c=c
0
_
o:. (2.35)
donde notamos que en : = :
0
es

1 = 1,
0
I
=
I
y _
0
I
= _
I
. Ntese que
el lagrangiano

1 vara en general al variar : porque las
I
varan como lo
especica (2.34) aun manteniendo jas las
0
I
.
Si usamos que
J1
J _
I
J
_
,
I
J:
c=c
0
=
d
dt
_
J1
J _
I
J,
I
J:
c=c
0
_
d
dt
_
J1
J _
I
_
J,
I
J:
c=c
0
. (2.36)
y tenemos en cuenta las ecuaciones de Lagrange, podemos escribir a o1 como
o1 = o:
d
dt
_
a
I=1
J1
J _
I
J,
I
J:
c=c
0
_
.
De esta expresin obtenemos un resultado de enorme importancia: si para al-
guna transformacin continua de la forma (2.34) el lagrangiano es invariante
(o1 = 0), entonces la magnitud
C =
a
I=1
J1
J _
I
J,
I
J:
c=c
0
. (2.37)
es una constante de movimiento. Este resultado es una versin simplicada
del teorema de Noether (Emmy Noether (1882-1935), publicado en 1918);
al nal de este punto veremos el teorema general. Cuando el lagrangiano es
invariante ante una transformacin continua se dice que posee una simetra
continua.
Supongamos, por ejemplo, que el lagrangiano no vara si alguna coorde-
nada
v
se incrementa en una cantidad arbitraria
v

v
+ : =
0
I
, por lo
que podemos escribir la transformacin como ,
v
=
0
v
: (aqu es :
0
= 0).
La cantidad conservada ser entonces
J1
J _
v
= ctc.
Por supuesto, que 1 no vare ante cambios arbitrarios de
v
signica que es
independiente de esta coordenada, J1,J
v
= 0, por lo que las ecuaciones
de Lagrange nos dan inmediatamente la misma informacin (el teorema de
Noether es, por supuesto, mucho ms general).
La derivada de 1 respecto de una velocidad generalizada J1,J _
v
se de-
nomina impulso generalizado j
v
, y si el lagrangiano es independiente de una
coordenada generalizada se dice que sta es cclica. As, el impulso generaliza-
do correspondiente a una coordenada cclica es constante durante la evolucin
del sistema.
Finalmente calculemos la derivada temporal total de 1:
d1
dt
=
J1
Jt
+
a
I=1
_
J1
J
I
_
I
+
J1
J _
I
d _
I
dt
_
.
que, usando
J1
J _
I
d _
I
dt
=
d
dt
_
J1
J _
I
_
I
_
_
I
d
dt
_
J1
J _
I
_
.
reescribimos como
d1
dt
=
J1
Jt
+
_
a
I=1
J1
J
I

d
dt
_
J1
J _
I
_
_
_
I
+
d
dt
_
a
I=1
J1
J _
I
_
I
_
;
y, usando las ecuaciones de Lagrange, (y escribiendo j
I
por J1,J _
I
) tenemos
d1
dt
=
J1
Jt
+
d
dt
_
a
I=1
j
I
_
I
_
.
por lo que que si 1 no depende explcitamente del tiempo, J1,Jt = 0, resulta
d
dt
_
a
I=1
j
I
_
I
1
_
= 0.
As, la magnitud entre parntesis es constante durante la evolucin del sis-
tema, y se identica con la energa de ste,
1 =
a
I=1
j
I
_
I
1. (2.38)
Notemos que si para tal sistema es \ (
1
. ....
a
) y
1 =
1
2
i,)
,
i)
(
1
. ....
a
) _
i
_
)
.
entonces es inmediato ver que (2.38) corresponde a 1 = 1 + \ , la energa
mecnica; pero si, por ejemplo, 1 no fuese bilineal en las velocidades general-
izadas, la energa conservada no corresponde a la suma de la energas cintica
y potencial.
2.5.1. Teorema de Noether
Veamos ahora la forma ms general del teorema de Noether. El punto es
que la invarianza de 1 es a veces una condicin muy restrictiva. De hecho, un
sistema mecnico posee tal o cual simetra si las ecuaciones de movimiento la
tienen, para lo que basta que la accin sea invariante, aunque el lagrangiano
no lo sea (la inversa no es cierta por la posibilidad de las transformaciones de
gauge vistas arriba (ver nal de este punto)). Adems, para generalizar an
ms el tipo de transformacin, permitamos que se efecte una transformacin
continua a la variable de integracin de la accin, esto es, al tiempo t, de la
forma
t = ,
0
(
0
1
. ....
0
a
. :. t
0
) .
tal que para : = :
0
es ,
0
= t
0
, y escribimos la transformacin de las coorde-
nadas en forma anloga a las (2.34)
I
= ,
I
(
0
1
. ....
0
a
. :. t
0
) .
Como hicimos antes veamos cmo se altera la accin por un cambio inntes-
imal o: en el entorno de : = :
0
, de manera que
t = t
0
+ o
0
o:.
I
=
0
I
+ o
I
o:.
donde se han denido
o
0
=
J,
0
J:
c=c
0
. o
I
=
J,
I
J:
c=c
0
.
en las que, al estar trabajando a primer orden en o:, sus argumentos se han
tomado como los
I
y t (en lugar de los
0
I
y t
0
), por lo que podemos escribir
en forma totalmente explcita la transformacin inversa (sta es una ventaja
de las transformaciones innitesimales)
t
0
= t o
0
(
1
. ....
a
. t) o:.
0
I
=
I
o
I
(
1
. ....
a
. t) o:. (2.39)
Debe tenerse cuidado con las velocidades transformadas, ya que stas son
derivadas de las
0
I
respecto de t
0
(y no de t), por lo que podemos calcular,
usando las (2.39) (evaluando todo a primer orden en o:),
_
0
I
=
d
0
I
dt
0
=
d
0
I
dt
1
dt
0
,dt
=
_
I
_
o
I
o:
1
_
o
0
o:
_
_
I
_
o
I
o:
__
1 +
_
o
0
o:
_
_
I
+
_
_
I
_
o
0
_
o
I
_
o:. (2.40)
Por otro lado, la accin transformada se escribe en general
o
0
=
_
t
0
2
t
0
1
1(
0
1
. _
0
1
. ....
0
a
. _
0
a
. t
0
) dt
0
.
en la que los lmites de integracin t
0
1
y t
0
2
son los que corresponden a t
1
y
t
2
en las variables originales. De esta manera, en el cambio innitesimal de
coordenadas se induce un cambio innitesimal de la accin dado por
oo = o
0
o =
_
t
0
2
t
0
1
1(
0
1
. _
0
1
. ....
0
a
. _
0
a
. t
0
) dt
0
_
t
2
t
1
1(
1
. _
1
. ....
a
. _
a
. t) dt.
(2.41)
Usando las (2.39) y (2.40) podemos escribir, desarrollando

1 a orden uno en
o: en el entorno de : = :
0
,
1 = 1 +
J1
Jt
(o
0
o:) +
a
I=1
_
J1
J
I
(o
I
o:) +
J1
J _
I
_
_
I
_
o
0
_
o
I
_
o:
_
= 1 + o1.
(2.42)
y, adems,
dt
0
=
_
1
_
o
0
o:
_
dt.
con lo que (2.41) se reescribe a primer orden en o: (los lmites de integracin
han vuelto a ser t
1
y t
2
porque la integracin es en la variable t)
oo =
_
t
2
t
1
(1 + o1)
_
1
_
o
0
o:
_
dt
_
t
2
t
1
1dt =
_
t
2
t
1
_
o1 1
_
o
0
o:
_
dt. (2.43)
con el o1 denido en (2.42). En este punto integramos por partes el segundo
trmino del integrando
o:
_
t
2
t
1
1
_
o
0
dt = o:1o
0
[
t
2
t
1
o:
_
t
2
t
1
o
0
d1
dt
dt.
donde, por supuesto, es
d1
dt
=
J1
Jt
+
a
I=1
_
J1
J
I
_
I
+
J1
J _
I
d
dt
_
I
_
.
Con esto, los pasos a seguir son directos y se dejan como ejercicio; se requiere
usar la expresin de o1 dada en (2.42), integrar por partes algunos trminos
y usar las ecuaciones de Lagrange, para poder nalmente escribir a oo en
trminos de slo expresiones evaluadas en los extremos de integracin
oo = o:
__
a
I=1
J1
J _
I
_
I
1
_
o
0
I=1
J1
J _
I
o
I
_
t
2
t
1
. (2.44)
Si tenemos entonces la informacin adicional que la accin es invariante ante
la transformacin, oo = 0, el tmino entre corchetes debe valer lo mismo en t
1
y en t
2
, o sea, debe ser constante ya que t
1
y t
2
son arbitrarios. As obtenemos
una constante de movimiento dada por
C =
_
a
I=1
J1
J _
I
_
I
1
_
o
0
I=1
J1
J _
I
o
I
. (2.45)
Ntese que si no hacemos ningn cambio en t, con lo que la invarianza de
o equivale a la de 1, es o
0
= 0 y se reobtiene la (2.37). Si no hacemos cambios
de las coordenadas (o sea o
I
= 0) y la accin no vara ante una translacin
temporal t
0
= t + : (lo que requiere que 1 no dependa de t), es o
0
= 1
y se recupera la constancia de la energa (2.38). Sin embargo, ms general-
mente la accin puede ser invariante ante transformaciones combinadas de
las coordenadas y del tiempo, en cuyo caso la utilidad de (2.45) es enorme.
Una versin ms completa del teorema de Noether involucra directamente
la invarianza de las ecuaciones de movimiento mismas, lo que implica que la
accin o
0
diere de la o por slo una transformacin de gauge. El cambio
innitesimal de la accin ser entonces, oo = q (
1
. ....
a
. t)[
t
2
t
1
, con q una
funcin explcita de las coordenadas y el tiempo por lo que, usando (2.44),
es (hacemos ahora = o:, ya que cualquier diferencia puede absorberse en
la denicin de la funcin q (
1
. ....
a
. t))
_
a
I=1
J1
J _
I
_
I
1
_
o
0
I=1
J1
J _
I
o
I
q = ctc. (2.46)
2.6. Accin como funcin de las qs
Mencionemos nalmente una interpretacin adicional de la accin que
ser til ms adelante. Sabemos que la accin denida por (2.30) fue denida
entre tiempos jos, y la nica dependencia libre es entonces respecto de las
funciones
i
(t), y decimos por esto que es una funcional de las
i
. Podemos
alternativamente denirla como
o =
_
t
t
0
1(
1
. _
1
. ....
a
. _
a
. t
0
) dt
0
.
donde t
0
es un tiempo jo en el que las
i
tienen tambin valores jos. Adems
imponemos que las
i
(t
0
) son las soluciones de las ecuaciones de movimiento,
con valor inicial
i
(t
0
) y valor nal
i
(t). De esta manera o ser una
funcin de t y de las
i
(t) (stas no ests jadas porque en t
0
slo se dan
los valores de las
i
, pero no los de sus derivadas; la trayectoria real est
entonces denida por los posibles valores nales
i
(t)). De esta manera, si
mantenemos jo t y variamos los valores nales
i
(t) (con lo que variaremos
las trayectorias) estaremos haciendo variaciones de o de la forma
oo =
_
t
t
0
i
_
J1
J
i
o
i
+
J1
J _
i
o _
i
_
dt
0
=
_
t
t
0
i
_
J1
J
i
o
i
+
d
dt
_
J1
J _
i
o
i
_
d
dt
_
J1
J _
i
_
o
i
_
dt
0
=

i
J1
J _
i
o
i
=

i
j
i
o
i
.
donde para pasar al ltimo rengln se us que las
i
satisfacen las ecuaciones
de movimiento, y que las variaciones de las
i
son nulas en t
0
, donde estn
jados sus valores. Deducimos as que
Jo
J
i
= j
i
. (2.47)
Por otro lado, si derivamos o respecto de t
do
dt
= 1 =
Jo
Jt
+
i
Jo
J
i
_
i
.
de donde, usando (2.47) y (2.38),
Jo
Jt
= 1
i
j
i
_
i
= 1. (2.48)
Captulo 3
Ecuaciones cannicas de
Hamilton
La ecuaciones de Lagrange pueden ser transformadas en un sistema de
ecuaciones de primer orden en las derivadas temporales. Para esto analicemos
una transformacin muy importante descubierta por Legendre; comencemos
con una funcin de : variables independientes
1 = 1 (n
1
. n
2
. .... n
a
) .
y consideremos la transformacin desde las variables n
I
a nuevas variables
I
denidas por las derivadas de 1
I
=
J1
Jn
I
. (3.1)
Sabemos del anlisis matemtico que para que las : variables
I
sean in-
dependientes entre s el Hessiano de la transformacin debe ser distinto de
cero; el Hessiano es el determinante de la matriz de : : formada por las
derivadas J
i
,Jn
)
; o sea
det
_
J
2
1
Jn
i
Jn
)
_
,= 0. (3.2)
Si se cumple (3.2) las (3.1) pueden ser resueltas para hallar las ns en funcin
de las s, con lo cual podemos denir una nueva funcin G de las : variables
I
como
G =
a
I=1
n
I
I
1. (3.3)
34
CAPTULO 3. ECUACIONES CANNICAS DE HAMILTON 35
Si calculamos el diferencial de G tenemos
dG =
a
I=1
_
n
I
d
I
+
I
dn
I
J1
Jn
I
dn
I
_
=
a
I=1
n
I
d
I
.
donde se us la propia denicin (3.1) para cancelar los ltimos dos trminos
de la sumatoria. Vemos entonces que
n
I
=
JG
J
I
. (3.4)
que al comparar con (3.1) nos indica la notable simetra (o dualidad) de la
transformacin; dadas las variables n
I
y la 1 podemos pasar a las
I
, y de
stas a las n
I
se puede volver con una transformacin equivalente a travs de
la G.
Si en la 1 tuviramos otras : variables n
)
que no entran en la transfor-
macin (variables pasivas)
1 = 1 (n
1
. n
2
. .... n
a
. n
1
. n
2
. .... n
n
) .
las
I
y la G se denen como antes, pero al calcular dG,
dG =
a
I=1
_
n
I
d
I
+
I
dn
I
J1
Jn
I
dn
I
_
)=1
J1
Jn
)
dn
)
=
a
I=1
n
I
d
I
)=1
J1
Jn
)
dn
)
.
de donde resulta, adems de (3.4),
JG
Jn
)
=
J1
Jn
)
. (3.5)
La idea es aplicar una transformacin de Legendre tomando como vari-
ables n
I
a las velocidades generalizadas _
I
, como variables pasivas a las
I
y al
tiempo t, y como funcin 1 al lagrangiano 1. As, se denen las equivalentes
de las
I
, de (3.1),
j
I
=
J1
J _
I
.
que son los impulsos j
I
. Como funcin G, de (3.3), se dene a la funcin
hamiltoniana H (o hamiltoniano)
H =
a
I=1
_
I
j
I
1. (3.6)
de la que tenemos entonces, de (3.4),
_
I
=
JH
Jj
I
. (3.7)
mientras que de las (3.5) es
JH
J
I
=
J1
J
I
. (3.8)
y
JH
Jt
=
J1
Jt
. (3.9)
Si usamos las ecuaciones de Lagrange podemos escribir las (3.8) como
JH
J
I
=
d
dt
_
J1
J _
I
_
= _ j
I
.
que, junto con las (3.7), nos da un sistema de ecuaciones de primer orden
para las 2: variables
I
y j
I
, conocido como sistema de ecuaciones cannicas
o de Hamilton, que reescribimos
_
I
=
JH
Jj
I
. _ j
I
=
JH
J
I
. (3.10)
en las que el hamiltoniano se calcula del lagrangiano a travs de la (3.6), luego
de reemplazar las _
I
en trminos de las j
I
(y de las
I
), lo que es siempre
posible si se cumple la condicin (3.2), que reescribimos en trminos de las
variables de inters,
det
_
J
2
1
J _
i
J _
)
_
,= 0.
Vemos de (3.9) que si el lagrangiano no depende explcitamente de t
tampoco lo hace H. Recordemos que en tal caso se conserva justamente la
cantidad que hemos denido como H, que identicamos en tal caso con la
energa del sistema 1.
Para concluir notemos que la accin o puede ser escrita, de (3.6), como
o =
_
t
2
t
1
1dt =
_
t
2
t
1
_
a
I=1
j
I
_
I
H
_
dt. (3.11)
en la que si hacemos una variacin arbitraria de las funciones j
I
(t) obtenemos
oo =
_
t
2
t
1
_
a
I=1
_
I
oj
I
JH
Jj
I
oj
I
_
dt = 0.
en virtud de las ecuaciones de la transformacin (3.7). Vemos entonces que
una variacin arbitraria de las j
I
no tiene efecto sobre o. De esta manera,
podemos determinar las ecuaciones de Hamilton (3.10) al extremar la accin
o (escrita como en la segunda igualdad de (3.11)) con variaciones arbitrarias
e independientes de las
I
(t) y las j
I
(t). Si hacemos esto tenemos
oo =
_
t
2
t
1
a
I=1
_
j
I
o _
I
+ _
I
oj
I
JH
J
I
o
I
JH
Jj
I
oj
I
_
dt.
que al integrar por partes, de la manera usual, el primer tmino entre parn-
tesis (y usar que las variaciones son cero en los extremos) da
oo =
_
t
2
t
1
a
I=1
__
_ j
I
JH
J
I
_
o
I
+
_
_
I
JH
Jj
I
_
oj
I
_
dt;
de donde las ecuaciones de Hamilton resultan inmediatamente al pedir oo =
0.
Nomenclatura: El espacio generado por las 2: variables
I
, j
I
se de-
nomina espacio de fases del sistema, y se dice, para cada valor de /, que
I
y j
I
son variables conjugadas entre s.
Nota histrica: Hamilton (1805-1865) public su trabajo On a General
Method in Dynamics en 1834, en el que deduce las ecuaciones presentadas
aqu siguiendo un mtodo diferente, a travs de lo que l denomin funcin
principal (ver ltimo punto de estos apuntes).
3.1. Transformaciones cannicas y corchetes
de Poisson
Vimos que las transformaciones de punto no cambian la forma de las
ecuaciones de Lagrange. Queremos ver ahora qu tipo de transformaciones
hace lo propio con las ecuaciones de Hamilton. Si de las variables (
I
. j
I
), en
las que el hamiltoniano es H, cambiamos a las variables (Q
I
. 1
I
), en las que
el hamiltonano pasa a ser

H, la cuestin es cules transformaciones llevan a
que en las nuevas variables las ecuaciones sean
_
Q
I
=
J

H
J1
I
.
_
1
I
=
J

H
JQ
I
. (3.12)
Una forma conveniente de proceder es a travs del principio variacional
de Hamilton en la forma (3.11). Es claro que se obtendrn ecuaciones de la
forma (3.12) si al transformar a las nuevas variables se tiene
a
I=1
j
I
_
I
H =
a
I=1
1
I
_
Q
I

H +
d`
dt
. (3.13)
donde hemos tenido en cuenta que el agregado de una derivada total del
tiempo d`,dt no modica la variacin de la accin.
Si multiplicamos (3.13) por dt y reordenamos tenemos
d` =
a
I=1
j
I
d
I
I=1
1
I
dQ
I
+
_
H H
_
dt. (3.14)
que nos dice que
j
I
=
J`
J
I
. 1
I
=
J`
JQ
I
.

H = H +
J`
Jt
. (3.15)
De esta manera, para una funcin arbitraria ` (
1
. ....
a
. Q
1
. .... Q
a
. t) el
primer grupo de ecuaciones en (3.15) nos permite despejar la expresin de
las Qs en funcin de las s y las js, que al ser reemplazadas en el segundo
grupo nos da la expresin de las 1s. La funcin ` es denominada funcin
generatriz.
Podemos fcimente determinar relaciones como las (3.15) para funciones
generatrices que dependan de otro par de grupos de variables efectuando
una transformacin de Legendre (vista en el punto anterior) de la siguiente
manera. A ambos lados de (3.14) sumamos (o restamos) un diferencial exacto;
por ejemplo,
d` + d
_
a
I=1
1
I
Q
I
_
= d` +
a
I=1
1
I
dQ
I
+
a
I=1
Q
I
d1
I
=
a
I=1
j
I
d
I
+
a
I=1
Q
I
d1
I
+
_
H H
_
dt.
de donde, llamando
`
0
= ` +
a
I=1
1
I
Q
I
.
tenemos
j
I
=
J`
0
J
I
. Q
I
=
J`
0
J1
I
.

H = H +
J`
0
Jt
. (3.16)
que dene la transformacin en trminos de una funcin generatriz nueva
`
0
(
1
. ....
a
. 1
1
. .... 1
a
).
Si a ambos lados de (3.14) restamos d (
a
I=1
j
I
I
) obtenemos de manera
similar
I
=
J`
00
Jj
I
. 1
I
=
J`
00
JQ
I
.

H = H +
J`
00
Jt
. (3.17)
con
`
00
= `
a
I=1
j
I
I
.
Finalmente si a ambos lados de (3.14) sumamos d [
a
I=1
(1
I
Q
I
j
I
I
)]
tenemos
I
=
J`
000
Jj
I
. Q
I
=
J`
000
J1
I
.

H = H +
J`
000
Jt
. (3.18)
con
`
000
= ` +
a
I=1
1
I
Q
I
I=1
j
I
I
.
De esta manera, a travs de las funciones generatrices obtenemos las posi-
bles transformaciones que preservan la forma de las ecuaciones de Hamil-
ton. Estas transformaciones se denominan transformaciones cannicas. Esta
metodologa nos permite generar transformaciones cannicas al precio que
debemos resolver ecuaciones algebraicas, en general complicadas, para obten-
er la forma explcita de la transformacin.
3.1.1. Transformaciones cannicas innitesimales
Consideremos ahora transformaciones cannicas innitesimales genricas
Q
i
=
i
+
i
(
1
. ....
a
. j
1
. .... j
a
. t) . 1
i
= j
i
+j
i
(
1
. ....
a
. j
1
. .... j
a
. t) . (3.19)
donde
i
y j
i
son funciones innitesimales. En relacin con esto la funcin
generatiz de la forma (3.16) es especialmente importante pues, entre todas
las posibles, contiene la transformacin identidad Q
i
=
i
, 1
i
= j
i
, que es
generada por
`
0
=
a
I=1
I
1
I
.
La transformacin cannica innitesimal (3.19) ser entonces generada por
una funcin de la forma
`
0
=
a
I=1
I
1
I
+ \ (
1
. ....
a
. 1
1
. .... 1
a
. t) .
con \ una funcin innitesimal que, por (3.16), nos da
Q
i
=
i
+
J\
J1
i
. j
i
= 1
i
+
J\
J
i
.
de donde, comparando con (3.19), podemos identicar
i
=
J\
J1
i
. j
i
=
J\
J
i
.
Por otro lado, como 1
i
diere innitesimalmente de j
i
y \ es ya innitesimal,
puede reemplazarse en \ a 1
i
por j
i
y escribir entonces la transformacin
ininitesimal cannica general en forma explcita como
Q
i
=
i
+
J\
Jj
i
. 1
i
= j
i
J\
J
i
. (3.20)
Un punto importante es que si se toma \ = Hdt, entonces
Q
i
=
i
+
JH
Jj
i
dt =
i
+ _
i
dt.
1
i
= j
i
JH
J
i
dt = j
i
+ _ j
i
dt.
que nos dice que las variables Q
i
y 1
i
son en este caso los valores de
i
y j
i
evolucionados en un dt. De esta manera, podemos interpretar la evolucin
temporal como una transformacin cannica generada por el hamiltoniano
mismo.
3.1.2. Teorema de Liouville
Consideremos un dado volumen en el espacio de fases
\ =
_
l
d
1
...d
a
dj
1
...dj
a
.
determinado por el conjunto de puntos contenidos en una regin l del mismo.
Si tomamos cada conjunto de puntos (
1
. ....
a
. j
1
. .... j
a
) dentro de l como
las condiciones iniciales del movimiento de un sistema mecnico de hamilto-
niano H, podemos preguntarnos cmo evoluciona este volumen al transcurrir
el tiempo. En un dt los puntos dentro de l evolucionan y llenan otra regin
l
0
de volumen
\
0
=
_
l
0
d
0
1
...d
0
a
dj
0
1
...dj
0
a
.
donde las coordenadas de cada punto han evolucionado de acuerdo a
0
i
=
i
+ _
i
dt =
i
+
JH
Jj
i
dt. (3.21a)
j
0
i
= j
i
+ _ j
i
dt = j
i
JH
J
i
dt. (3.21b)
que nos permite determinar el volumen \
0
a travs del jacobiano de la trans-
formacin (3.21)
\
0
=
_
l
0
d
0
1
...d
0
a
dj
0
1
...dj
0
a
=
_
l
Jd
1
...d
a
dj
1
...dj
a
. (3.22)
con el jacobiano dado por
J =
J (
0
1
...
0
a
j
0
1
...j
0
a
)
J (
1
...
a
j
1
...j
a
)
= det
_
JA
0
i
JA
)
_
.
donde hemos denotado por A
0
i
y A
i
al conjunto (ordenado) de las coordenadas
(
0
1
. ....
0
a
. j
0
1
. .... j
0
a
) y (
1
. ....
a
. j
1
. .... j
a
) respectivamente, con 1 _ i _ 2:.
Con esta notacin podemos reescribir las (3.21) como
A
0
i
= A
i
+ /
i
dt.
donde /
i
es el conjunto ordenado de valores
_
JH
Jj
1
. ....
JH
Jj
a
.
JH
J
1
. ....
JH
J
a
_
.
con lo cual
J = det
_
o
i)
+
J/
i
JA
)
dt
_
.
donde o
i)
es la delta de Kronecker, que vale uno si i = ,, y cero si i ,= ,.
Si usamos ahora la relacin general ( es un factor innitesimal y
i)
una
matriz cualquiera)
det (o
i)
+
i)
) = 1 + 1:c.c (
i)
) + C
_
2
_
.
podemos escribir, a orden uno en dt,
J = 1 + dt 1:c.c
_
J/
i
JA
)
_
= 1 + dt
2a
i=1
J/
i
JA
i
.
Pero es claro de las deniciones de las /
i
y A
i
que

J/
i
,JA
i
= 0, con lo
cual J = 1 y resulta entonces de (3.22) que \
0
= \ . En otras palabras, el
volumen de una regin cualquiera del espacio de fases se conserva durante
la evolucin de un sistema mecnico regido por una funcin de Hamilton.
ste es el teorema de Liouville, de gran importancia en mecnica estadstica
y teora de Caos.
Notemos que de igual manera podemos deducir que una transformacin
cannica innitesimal arbitraria (3.20) preserva el volumen de una regin
cualquiera del espacio de fases (usando \ en lugar de Hdt). Si pensamos
adems en una sucesin de transformaciones innitesimales podemos ver que
el volumen es preservado tambin por transformaciones cannicas nitas, que
es una propiedad importante de stas.
3.1.3. Corchetes de Poisson
Pasemos ahora a considerar los denominados corchetes de Poisson. Se
dene un corchete de Poisson de dos magnitudes , (
1
. ....
a
. j
1
. .... j
a
. t) y
q (
1
. ....
a
. j
1
. .... j
a
. t) como
,. q =
a
I=1
_
J,
J
I
Jq
Jj
I

J,
Jj
I
Jq
J
I
_
= q. , . (3.23)
Veamos algunas propiedades importantes de estos corchetes. Es inmediato
de la denicin que se tiene
i
.
)
= j
i
. j
)
= 0.
i
. j
)
= o
i)
. (3.24)
Por otro lado, tambin es fcil ver que
i
. , =
J,
Jj
i
. j
i
. , =
J,
J
i
. (3.25)
Otras relaciones muy tiles que tambin se deducen de la sola denicin
(3.23) son
,
1
+ ,
2
. q = ,
1
. q +,
2
. q .
,
1
,
2
. q = ,
1
,
2
. q + ,
2
,
1
. q .
J
Jt
,. q =
_
J,
Jt
. q
_
+
_
,.
Jq
Jt
_
.
cuya deduccin es inmediata, y la importante identidad de Jacobi entre tres
funciones cualesquiera
,. q. / +q. /. , +/. ,. q = 0. (3.26)
cuya comprobacin puede hacerse por el siguiente argumento. Es fcil con-
vencerse de que si se desarrollla (3.26) usando la denicin de los corchetes
se tiene una suma de trminos, todos los cuales contienen alguna derivada
segunda de alguna de las funciones ,, q, /. Sin embargo, si se consideran los
trminos que contienen derivadas segundas de slo una dada funcin, dig-
amos ,, se comprueba fcilmente que la suma de todos stos se anula. Como
lo mismo pasa obviamente con cualquiera de las otras dos funciones, la suma
de todos los trminos debe anularse, con lo que se comprueba la identidad.
Veamos entonces los trminos que contienen derivadas segundas de ,; stos
provienen claramente de slo los dos ltimos trminos de (3.26), los cuales
podemos desarrollar usando la propiedad de distribucin de la suma como
q. /. , =
a
I=1
_
q.
J/
J
I
J,
Jj
I
_
I=1
_
q.
J/
Jj
I
J,
J
I
_
.
/. ,. q =
a
I=1
_
/.
J,
J
I
Jq
Jj
I
_
I=1
_
/.
J,
Jj
I
Jq
J
I
_
.
de los cuales los que contienen derivadas segundas de , son slo (por propiedad
de distribucin del producto)
a
I=1
_
q.
J,
Jj
I
_
J/
J
I

a
I=1
_
q.
J,
J
I
_
J/
Jj
I
.
a
I=1
_
/.
J,
J
I
_
Jq
Jj
I

a
I=1
_
/.
J,
Jj
I
_
Jq
J
I
.
la suma de los cuales se ve fcilmente que se anula, con lo que probamos la
identidad.
Consideremos ahora la derivada temporal de una funcin cualquiera ,,
que se expresa como
d,
dt
=
J,
Jt
+
a
I=1
_
J,
J
I
_
I
+
J,
Jj
I
_ j
I
_
=
J,
Jt
+
a
I=1
_
J,
J
I
JH
Jj
I

J,
Jj
I
JH
J
I
_
=
J,
Jt
+,. H . (3.27)
donde para pasar al segundo rengln se han usado las ecuaciones de Hamilton.
De esta manera, si la magnitud , es constante de movimiento del sistema
(d,,dt = 0) y, adems, no depende explctamente del tiempo (J,,Jt = 0),
entonces su corchete de Poisson con H es nulo
,. H = 0.
que nos proporciona una manera de vericar si una funcin no dependiente en
forma explcita del tiempo es constante de movimiento. Adems, un teorema
debido a Poisson nos dice que si dos magnitudes , y q son constantes de
movimiento su corchete de Poisson ,. q tambin lo es; lo que a veces permite
encontrar nuevas constantes de movimiento. La demostracin para el caso
en que , y q no dependen explcitamente del tiempo es sencilla; usando la
identidad de Jacobi (3.26), con el hamiltoniano H en lugar de /, se tiene
,. q. H +q. H. , +H. ,. q = 0;
dado que por hiptesis ,. H = q. H = 0, resulta inmediatamente que
H. ,. q = 0.
Si , y/o q dependen explcitamente del tiempo basta calcular la derivada
total de ,. q:
d
dt
,. q =
J
Jt
,. q +,. q . H
=
_
J,
Jt
. q
_
+
_
,.
Jq
Jt
_
+,. H . q +,. q. H
=
_
d,
dt
. q
_
+
_
,.
dq
dt
_
;
donde para pasar al segundo rengln se us la identidad de Jacobi (3.26) y
propiedades anteriores. Como por hiptesis d,,dt = dq,dt = 0, se prueba el
teorema.
Finalmente, veamos que los corchetes de Poisson no dependen de las vari-
ables usadas para calcularlos, siempre que estas variables correspondan a
transformaciones cannicas de unas a otras; en otras palabras, los corchetes
son invariantes ante transformaciones cannicas. Si llamamos,
,. q
q,j
=
a
I=1
_
J,
J
I
Jq
Jj
I

J,
Jj
I
Jq
J
I
_
.
,. q
Q,1
=
a
I=1
_
J,
JQ
I
Jq
J1
I

J,
J1
I
Jq
JQ
I
_
.
entonces ,. q
q,j
= ,. q
Q,1
si la transformacin Q
I
(
1
. ....
a
. j
1
. .... j
a
. t),
1
I
(
1
. ....
a
. j
1
. .... j
a
. t) es cannica. Para ver esto calculemos
Q
i
. q
q,j
=
a
I=1
_
JQ
i
J
I
Jq
Jj
I

JQ
i
Jj
I
Jq
J
I
_
.
Si consideramos la transformacin cannica generada por una `
0
(. 1) ten-
emos
JQ
i
J
I
=
J
J
I
J`
0
J1
i
=
J
J1
i
J`
0
J
I
=
Jj
I
J1
i
.
mientras que si la consideramos generada por una `
000
(j. 1) es
JQ
i
Jj
I
=
J
Jj
I
J`
000
J1
i
=
J
J1
i
J`
000
Jj
I
=
J
I
J1
i
.
con lo que obtenemos
Q
i
. q
q,j
=
a
I=1
_
Jj
I
J1
i
Jq
Jj
I
+
J
I
J1
i
Jq
J
I
_
=
Jq
J1
i
= Q
i
. q
Q,1
.
donde para la ltima igualdad se us (3.25). Anlogamente se prueba que
1
i
. q
q,j
= 1
i
. q
Q,1
.
Ahora bien, en el entorno de cualquier punto (Q
0
1
. .... Q
0
a
. 1
0
1
. .... 1
0
a
) del
espacio de fases podemos desarrollar a una funcin , de estas variables a
primer orden (no hace falta ms pues slo se requieren derivadas primeras
en los corchetes) como
, (Q. 1) = ,
_
Q
0
. 1
0
_
+
a
I=1
J,
JQ
I
_
Q
I
Q
0
I
_
+
a
I=1
J,
J1
I
_
1
I
1
0
I
_
.
Evaluando ,. q
q,j
en (Q
0
1
. .... Q
0
a
. 1
0
1
. .... 1
0
a
) con este desarrollo de ,, y us-
ando propiedades bsicas de los corchetes, y las relaciones recin deducidas,
obtenemos nalmente
,. q
q,j
=
a
I=1
J,
JQ
I
Q
I
. q
q,j
+
a
I=1
J,
J1
I
1
I
. q
q,j
=
a
I=1
J,
JQ
I
Q
I
. q
Q,1
+
a
I=1
J,
J1
I
1
I
. q
Q,1
=
a
I=1
J,
JQ
I
Jq
J1
I

a
I=1
J,
J1
I
Jq
JQ
I
= ,. q
Q,1
. (3.28)
que es lo que queramos probar.
Procediendo a la inversa, si se verica (3.28) para cualquier par de fun-
ciones, basta reemplazar q con H y , con Q
I
o 1
I
para concluir que la
transformacin de las
I
, j
I
a las Q
I
, 1
I
es cannica. De hecho, basta con
vericarlo para slo las Q
I
y 1
I
, de las que se deduce (como se hizo para la
(3.28)) que vale para cualquier , y q. As, de las (3.24), si se cumple
Q
i
. Q
)
q,j
= 1
i
. 1
)
q,j
= 0. Q
i
. 1
)
q,j
= o
i)
.
la transformacin es cannica, que es un mtodo prctico de determinar si
una transformacin dada tiene esta propiedad.
Finalmente, consideremos el cambio de una funcin ante una transforma-
cin cannica innitesimal (ver (3.20))
o, =
a
I=1
_
J,
J
I
o
I
+
J,
Jj
I
oj
I
_
=
a
I=1
_
J,
J
I
J\
Jj
I

J,
Jj
I
J\
J
I
_
= ,. \ .
En particular, si se toma a , como el hamiltoniano,
oH = H. \ .
Vemos entonces que si el hamiltoniano es invariante frente a la transforma-
cin cannica innitesimal debe ser H. \ = 0; pero si \ no depende
explcitamente de t esto signica que \ es constante de movimiento. En
otras palabras, analizando slo las propiedades de simetra de H pueden en-
contrarse las constantes de movimiento del sistema considerado.
Captulo 4
Ecuacin de Hamilton-Jacobi
Las ecuaciones de Lagrange para un sistema descripto por : coordenadas
generalizadas son : ecuaciones de segundo orden de derivacin en el tiem-
po. El mismo sistema puede ser estudiado de acuerdo a Hamilton con 2:
ecuaciones de primer orden. Existe una notable alternativa, la descripcin de
Hamilton y Jacobi, que se reduce a una nica ecuacin en derivadas parciales.
Esto puede verse como sigue.
Si se pudiera encontrar una transformacin cannica tal que el hamilto-
niano

H expresado en las nuevas variables Q
I
, 1
I
fuese una constante (que
conviene, sin prdida de generalidad, tomar igual a cero), las ecuaciones de
Hamilton seran simplemente
_
Q
I
=
J

H
J1
I
= 0.
_
1
I
=
J

H
JQ
I
= 0.
con la solucin inmediata
Q
I
= c
I
= ctc. 1
I
= ,
I
= ctc. (4.1)
De las relaciones (3.15) tenemos que la funcin generatriz ` (
1
. ....
a
. Q
1
. .... Q
a
. t)
que genera la transformacin buscada debe cumplir (tomamos

H = 0)
H (
1
. ....
a
. j
1
. .... j
a
) +
J`
Jt
= 0.
Antes de continuar veamos que, de la ecuacin (3.13), teniendo en cuenta
que

H = 0 y
_
Q
I
= 0, obtenemos
d`
dt
=
a
I=1
j
I
_
I
H.
47
CAPTULO 4. ECUACIN DE HAMILTON-JACOBI 48
de donde (consideramos, sin prdida de generalidad, que ` (t
0
) = 0, con t
0
jo pero arbitrario)
` (t) =
_
t
t
0
_
a
I=1
j
I
_
I
H
_
dt. (4.2)
que, al comparar con (3.11), nos indica que ` no es otra cosa que la accin
o del sistema, considerada como funcin del lmite superior de integracin, y
en la que las
I
(t) y j
I
(t) usadas en su evaluacin son las trayectorias reales
del sistema en el espacio de fases. De esta manera llamamos de aqu en ms
o a la funcin generatriz buscada. Con esto, si usamos adems (tambin de
(3.15) o (2.47)) que
j
I
=
Jo
J
I
. (4.3)
la (4.2) se reescribe como (vase la (2.48))
H
_
1
. ....
a
.
Jo
J
1
. ....
Jo
J
a
_
+
Jo
Jt
= 0. (4.4)
Esta ecuacin, denominada de Hamilton-Jacobi, resulta entonces ser una
ecuacin diferencial para la la funcin generatriz o (
1
. ....
a
. Q
1
. .... Q
a
. t)
que, por (4.1), es funcin de slo las
I
y del tiempo t, con las Q
I
= c
I
slo
constantes de integracin.
Para resolver un problema de esta manera se procede entonces as:
1) Se encuentra una solucin completa de la ecuacin (4.4); esto es, una
solucin que contenga : constantes de integracin c
I
: o (
1
. ....
a
. c
1
. .... c
a
. t).
2) Usando, de (3.15) y (4.1), que Jo,JQ
I
= 1
I
= ,
I
, derivamos par-
cialmente la solucin encontrada respecto de las constantes c
I
y las igualamos
a las constantes ,
I
:
Jo
Jc
I
= ,
I
. (4.5)
3) Resolvemos las : ecuaciones (4.5) para hallar las
I
en trminos de las
constantes c
I
, ,
I
y del tiempo t:
I
(c
1
. .... c
a
. ,
1
. .... ,
a
. t) .
Con lo que se obtiene la solucin dinmica completa del problema ya que
se encuentran las : coordenadas generalizadas como funciones explcitas del
tiempo y de 2: constantes de integracin que permiten ajustar condiciones
iniciales genricas.
No existen mtodos generales para obtener soluciones completas de la
ecuacin de Hamilton-Jacobi; sin embargo, existen casos importantes en los
que es posible obtener una solucin completa de sta por el mtodo de sepa-
racin de variables. Si consideramos hamiltonianos que no dependen explci-
tamente del tiempo, sabemos que H = 1, por lo que se propone
o (
1
. ....
a
. c
1
. .... c
a
. t) = o
0
(
1
. ....
a
. c
1
. .... c
a
) 1 (c
1
. .... c
a
) t. (4.6)
donde hemos denido la accin reducida o
0
, que simplica la ecuacin de
Hamilton-Jacobi a
H
_
1
. ....
a
.
Jo
0
J
1
. ....
Jo
0
J
a
_
= 1. (4.7)
Anlogamente, si H no depende de alguna coordenada (coordenada cclica),
digamos
1
, entonces se puede plantear
o (
1
. ....
a
. c
1
. .... c
a
. t) = o
0
(
2
. ....
a
. c
1
. c
2
. .... c
a
. t) + c
1
1
.
que lleva a
H
_
2
. ....
a
. c
1
.
Jo
0
J
2
. ....
Jo
0
J
a
_
+
Jo
0
Jt
= 0
con una variable menos.
Para coordenadas no cclicas la idea es proponer que la accin reducida
es de la forma
o
0
= o
1
(
1
. c
1
. .... c
a
) + ... + o
a
(
a
. c
1
. .... c
a
) . (4.8)
y reemplazar en (4.7). La ecuacin resultante debe poder separarse en grupos
que dependan de slo una coordenada cada uno. Como la suma de estos
grupos (o en general una combinacin ms complicada de stos) es igual a la
constante 1 para cualquier combinacin de las variables
I
, esto es posible
slo si cada grupo es constante. As, igualamos el grupo que depende de cada
I
a la constante c
I
, para escribir, por ejemplo, 1 = c
1
+c
2
+... +c
a
(ste
es el caso ms sencillo; en general se obtiene una forma ms complicada).
Por otro lado, cada grupo igualado al c
I
correspondiente nos provee de una
ecuacin diferencial ordinaria de primer orden, que puede entonces resolverse
por cuadraturas. Ntese que las constantes de integracin (las c
I
) provienen
de la separacin de variables y no de constantes de integracin de estas
cuadraturas, que no son esenciales ya que suman a una constante aditiva a
o.
4.1. Variables ngulo-accin
Supongamos ahora que tenemos un sistema separable con accin del tipo
(4.6), con o
0
de la forma (4.8). Cada j
I
depende de slo su variable conjugada
I
, ya que j
I
= Jo,J
I
= Jo
I
,J
I
. Adems, ocurre muy frecuentemente que
el rango de variacin de cada par (
I
, j
I
) es limitado; tpicamente porque
I
corresponde a un ngulo.Tambin ocurre habitualmente por lo siguiente; al
ser H cuadrtico en los impulsos, la condicin H = 1 junto a la condicin de
separabilidad de la ecuacin de Hamilton-Jacobi lleva a relaciones de la forma
j
2
I
+, (
I
) = ctc, donde , es una funcin de slo
I
; esta ecuacin cuadrtica
generalmente tiene soluciones reales slo si
I
vara dentro de ciertos rangos.
Por la razn que fuera, al ser el rango limitado, en su evolucin temporal
cada par (
I
, j
I
) repite su movimiento. Esto no implica que el movimiento
sea peridico ya que cuando
I
y j
I
vuelven a tomar un valor dado, sus
velocidades _
I
y _ j
I
son en general distintas porque stas dependen de los
valores de todas las otras variables (considere las ecuaciones de Hamilton),
que no retoman sus valores en el mismo instante que el par considerado (salvo
casos muy especiales).
Suponemos entonces que todos los pares de variables conjugadas tienen
movimientos cclicos, lo que nos permite calcular las integrales
J
I
=
_
j
I
d
I
. (4.9)
para un ciclo completo de cada par de variables conjugadas. Pero como j
I
=
Jo
I
(
I
. c
1
. .... c
a
) ,J
I
, resulta
J
I
= J
I
(c
1
. .... c
a
) .
las cuales uno puede invertir para determinar
c
I
= c
I
(J
1
. .... J
a
) . (4.10)
que al reemplazarse en (4.8) nos da (usamos el mismo smbolo para la funcin
o
0
, si bien la forma funcional ha cambiado)
o
0
(
1
. ....
a
. J
1
. .... J
a
) (4.11)
La idea es ahora tomar a la accin reducida (4.11) como una nueva funcin
generatriz; tenemos entonces que los J
I
son las coordenadas Q
I
de la nueva
transformacin cannica, cuyas variables conjugadas 1
I
estn dadas por
1
I
=
Jo
0
JJ
I
.
a las que conviene denominar o
I
,2:, de manera que
o
I
= 2:
Jo
0
JJ
I
. (4.12)
Como Jo
0
,Jt = 0, el nuevo hamiltoniano coincide con el original y, como
H = 1, al reemplazar las (4.10) en la expresin de 1 (ver (4.6)) tenemos
H = 1 (J
1
. .... J
a
) . (4.13)
de donde, consistentemente con lo hecho, las J
I
resultan ser constantes,
_
J
I
=
_
Q
I
=
J

H
J1
I
= 2:
J1
Jo
I
= 0
mientras que las ecuaciones de evolucin de las o
I
son
_
o
I
= 2:
_
1
I
= 2:
J

H
JQ
I
= 2:
J1
JJ
I
= ctc.
Si llamamos .
I
a estas constantes,
.
I
= 2:
J1
JJ
I
. (4.14)
las nuevas impulsiones tienen la ecuacin de movimiento
o
I
(t) = o
I
(0) + .
I
t. (4.15)
Pra ver el signicado de estas variables consideremos cunto vara una de
ellas, digamos o
i
, cuando una de las coordenadas
I
realiza un ciclo completo,
manteniendo a las dems quietas,
o
i
=
_
Jo
i
J
I
d
I
= 2:
J
JJ
i
_
Jo
0
J
I
d
I
= 2:
J
JJ
i
_
j
I
d
I
= 2:
JJ
I
JJ
i
= 2:o
iI
.
(4.16)
donde se usaron las deniciones (4.9) y (4.12). Tenemos entonces que cuando
I
describe un ciclo la variable o
I
vara en 2: mientras que el resto de las
o
)
no son afectadas. Las o
I
son naturalmente llamadas variables de ngulo,
y las J
I
variables de accin (ya que tienen dimensiones de accin). Las J
I
y
o
I
son tambin conocidas como variables de Delaunay, por ser el astrnomo
francs Delaunay (1816-1872) quien las introdujo en 1848 en su estudio del
movimiento de la luna.
De su denicin (4.12) es
o
I
= o
I
(
1
. ....
a
. J
1
. .... J
a
) .
que podemos invertir para obtener la solucin
I
=
I
(o
1
. .... o
a
. J
1
. .... J
a
)
con o
I
(t) dado por (4.15). El hecho que cuando cada o
I
vara en 2: la vari-
able
I
correspondiente vuelve a tener el mismo valor, indica que las
I
son
funciones peridicas de las variables de ngulo y por lo tanto expresables
como serie mltiple de Fourier de senos y cosenos de argumentos
`
1
o
1
+ `
2
o
2
+ ... + `
a
o
a
.
donde los `
I
son enteros. Por las expresiones (4.15) las
I
dependen entonces
del tiempo como serie de Fourier de senos y cosenos de argumento
(`
1
.
1
+ `
2
.
2
+ ... + `
a
.
a
) t. (4.17)
lo que nos dice que el movimiento ser peridico slo si todas las frecuen-
cias angulares .
I
dadas por (4.14) estn relacionadas entre s por factores
racionales (de esa manera existen valores de t nitos en los que todos los
argumentos de la forma (4.17) dieren de los correspondientes a un t dado
en un nmero entero de veces 2:). Si alguna o varias frecuencias estn en
relaciones irracionales con las otras esto no se cumple nunca y el movimien-
to no es estrictamente peridico. Por otro lado, como los irracionales pueden
aproximarse con tanta precisin como se quiera por nmeros racionales, dado
un t cualquiera existirn otros instantes en los que el sistema se acerque tanto
como uno quiera al estado que tena en t. De esta manera, al transcurrir el
tiempo el sistema va llenando todo el espacio de fases a su disposicin, lo
que no ocurre cuando el movimiento es estrictamente peridico.
Es notable que esta informacin pueda ser obtenida por simples cuadrat-
uras (las integraciones en (4.9) para el clculo de las J
I
), reemplazos alge-
braicos para obtener 1 (J
1
. .... J
a
) (4.13), y derivaciones (4.14) para obtener
las frecuencias angulares .
I
. ste es el gran mrito del mtodo de Delaunay.
Nota histrica: La posibilidad de una descripcin semejante a la pre-
sentada fue demostrada por Hamilton, quien en su obra de 1834 utiliz para
este n la denominada funcin principal (por analoga con la funcin carac-
terstica introducida por l mismo en el tratamiento de la ptica en su obra
Theory of Systems of Rays de 1832). Sin embargo, la funcin principal debe
satisfacer dos ecuaciones diferenciales, lo que complica su uso. Fue Jacobi en
1836 quien simplic y a la vez extendi el mtodo de Hamilton al desarrollar
la descripcin que lleva el nombre de ambos. Sin embargo, las bondades del
mtodo hamiltoniano no fueron reconocidas por la mayora de los fsicos sino
hasta que Delaunay introdujo en 1848 las variables de ngulo-accin.
4.2. Invariantes adiabticos
Una propiedad importante de las variables de accin J
I
es que si algn
parmetro del sistema vara muy lentamente (en tiempos largos comparados
con los perodos del movimiento a parmetro jo), las J
I
permanecen prcti-
camente constantes (varan mucho ms lentamente que el parmetro mismo).
En efecto, si el hamiltoniano depende de algn parmetro ` que vara lenta-
mente por alguna causa externa a la dinmica considerada (por ejemplo la
longitud de un pndulo, la constante elstica de un resorte, etc.), la energa
ya no se conservar, sino que tendr una variacin muy lenta dada por
JH
Jt
=
JH
J`
_
`.
De todas maneras podemos seguir considerando a la accin reducida, o
0
(. J) =
o +1t, como funcin generatriz de la transformacin de las (. j) a las vari-
ables de ngulo-accin, pero teniendo en cuenta que ahora o
0
depende (d-
bilmente) del tiempo, con lo que
H = H +
Jo
0
Jt
= H +
Jo
0
J`
_
`.
y la ecuacin de evolucin de las J
I
,
_
J
I
=
J

H
J1
I
= 2:
J

H
Jo
I
.
ser, como H = 1 (J
1
. .... J
a
),
_
J
I
= 2:
_
`
J
Jo
I
_
Jo
0
J`
_
.
Tngase en cuenta que slo se considera la dependencia explcita de ` en o
0
,
porque esta funcin tiene la misma dependencia, en las dems variables, que
con ` constante, debido a que la variacin de ` es una perturbacin pequea.
Por otro lado sabemos que la variacin de o
0
cuando la coordenada
I
recorre un ciclo completo (y por lo tanto o
I
vara en 2:; ver (4.16)) es
o
0
=
_
Jo
0
J
I
d
I
= J
I
.
con lo que
Jo
0
J`
=
Jo
0
J`
= 0.
que expresa que Jo
0
,J` es una funcin peridica de o
I
, por lo que tambin lo
ser su derivada respecto de o
I
. As, si consideramos el valor de
_
J
I
promediado
sobre un ciclo completo de
I
tenemos
_
_
J
I
_
= 2:
_
`
_
J
Jo
I
_
Jo
0
J`
__
= 0.
Se ha tomado que
_
` no cambia durante el promedio porque ` tiene, por
hiptesis, variacin despreciable en el perodo considerado. As, J
I
= J
I
vara an ms lentamente que ` y puede considerarse constante durante la
variacin de este parmetro; se denomina a J
I
invariante adiabtico.
En el caso de un oscilador unidimensional de frecuencia . y energa 1
la variable de accin es J = 2:1,., por lo que ante cambios lentos en
los parmetros la energa y la frecuencia cambiarn, pero su cociente variar
mucho ms lentamente, y puede entonces decirse que (con notacin evidente)
o1 = o. 1
0
,.
0
.
Captulo 5
Mecnica relativista
5.1. Cinemtica relativista
La relatividad especial de Einstein introduce un cambio conceptual en la
mecnica de Newton. Por un lado mantiene el principio de relatividad intro-
ducido por Galileo en el sentido que las leyes fundamentales de la fsica son
las mismas (invariantes en forma; o sea, covariantes) en todos los sistemas
inerciales. Por otro lado, incluye explcitamente entre estas leyes al electro-
magnetismo de Maxwell. En particular, la velocidad de la luz en el vaco
c, al ser la velocidad con la que se propagan las ondas electromagnticas,
deducida de las leyes de Maxwell, debe ser la misma en todos los sistemas
inerciales. As, dos observadores inerciales, en movimiento relativo uno al
otro, deben obtener el mismo valor al medir la velocidad de un mismo frente
de luz. Postulando esto ltimo, ms el principio de relatividad en sistemas
inerciales puede deducirse la relatividad especial. Si un frente de luz se mueve
del punto de coordenadas x
1
al punto x
2
entre los tiempos t
1
y t
2
, medidos
en el sistema de referencia de uno de los observadores (sea este o), y en el
sistema del otro observador (o
0
) las coordenadas y tiempos correspondientes
son x
0
1
, x
0
2
, t
0
1
y t
0
2
, debe cumplirse que
[x
2
x
1
[
t
2
t
1
=
[x
0
2
x
0
1
[
t
0
2
t
0
1
= c. (5.1)
Es claro que esta relacin no se cumple si las coordenadas y tiempos de
los dos sistemas estn relacionados por una transformacin de Galileo. Para
determinar cul es la transformacin apropiada notemos que (5.1) puede
escribirse como
c
2
(t
2
t
1
)
2
[x
2
x
1
[
2
= c
2
(t
0
2
t
0
1
)
2
[x
0
2
x
0
1
[
2
= 0.
55
CAPTULO 5. MECNICA RELATIVISTA 56
o en forma diferencial, para x
2
= x
1
+dx, t
2
= t
1
+dt, y expresiones anlogas
en el otro sistema,
c
2
dt
2
[dx[
2
= c
2
dt
02
[dx
0
[
2
= 0. (5.2)
Si se considera ahora dx y dt correspondientes a sucesos arbitrarios en o
(no necesariamente relacionando la partida y llegada de un frente de luz),
con transformados dx
0
y dt
0
en o
0
, podemos denir intervalos d: y d:
0
en
cada sistema como
d:
2
= c
2
dt
2
[dx[
2
.
d:
02
= c
2
dt
02
[dx
0
[
2
.
y la relacin (5.2) nos dice que si uno de ellos es cero el otro tambin debe
serlo. Como ambos son innitesimales del mismo orden resulta de todo esto
que deben ser proporcionales:
d:
2
= c d:
02
.
El coeciente c no puede depender de la posicin ni del tiempo debido a la
homogeneidad espacial y temporal, y no puede depender de la direccin de
la velocidad relativa por la isotropa del espacio; de manera que slo puede
depender del mdulo de la velocidad relativa. Si ahora consideramos tres
sistemas de referencia: o, o
1
y o
2
, tales que o
1,2
se mueven con velocidades
V
1,2
relativas al sistema o, se debe cumplir
d:
2
= c (\
1
) d:
2
1
= c (\
2
) d:
2
2
.
a la vez que
d:
2
1
= c (\
21
) d:
2
2
.
donde \
21
es el mdulo de la velocidad del sistema o
2
relativa al sistema o
1
.
De estas relaciones obtenemos inmediatamente que
c (\
2
)
c (\
1
)
= c (\
21
) .
pero \
21
depende no slo de \
1
y \
2
, sino tambin del ngulo entre ambas
velocidades. La relacin anterior requiere entonces que c sea constante y, por
la misma ecuacin, de valor uno. Tenemos entonces la relacin fundamental
d:
2
= d:
02
.
esto es, el intervalo d: es invariante ante las transformaciones correctas. Por
supuesto, como vale punto a punto en forma diferencial, la igualdad vale
tambin en el caso de intervalo nito:
c
2
(t
2
t
1
)
2
[x
2
x
1
[
2
= c
2
(t
0
2
t
0
1
)
2
[x
0
2
x
0
1
[
2
. (5.3)
Para simplicar las expresiones podemos referir los intervalos espaciales y
temporales de cada sistema a sus respectivos orgenes, y considerar sistemas
que en el origen de sus tiempos coinciden tambin en el origen de sus coorde-
nadas espaciales; esto es, tomamos en (5.3) t
1
= t
0
1
= 0 y x
1
= x
0
1
= 0, para
escribirla como (el subndice 2 corresponde a un suceso genrico denotado
sin subndice)
c
2
t
2
[x[
2
= c
2
t
02
[x
0
[
2
. (5.4)
donde las variables primadas son las transformadas de las sin primar (y vicev-
ersa). As, la descripcin de la realidad fsica en cada sistema inercial debe
hacerse a travs de una variedad de cuatro dimensiones, tres espaciales y
una temporal, cuyas coordenadas espacio-temporales se transforman entre
sistemas inerciales de manera tal de preservar el intervalo (5.4). La forma
de (5.4) correspondera a la de una distancia en un espacio euclidiano de
cuatro dimensiones si no fuera por el signo menos; podemos remediar esto,
momentneamente, pasando a una nueva variedad (compleja) en la que el
tiempo t se reemplaza por la coordenada imaginaria i t, de manera que (5.4)
se reescribe (cancelando un signo menos global)
c
2
t
2
+[x[
2
= c
2
t
02
+[x
0
[
2
.
Podemos decir ahora que las transformaciones que preservan esta distancia
euclidiana en cuatro dimensiones son las rotaciones (no consideramos reex-
iones). Desde ya son rotaciones en cuatro dimensiones: tres en los planos
(ict. r), (ict. ), (ict. .), y tres en los planos (r. ), (r. .), (. .). Estas lti-
mas, que dejan el tiempo t invariante corresponden a rotaciones del espacio
ordinario (en un mismo sistema de referencia); las ms interesantes son las
tres primeras; por ejemplo, la rotacin (i t. r) corresponde a dejar jos los
ejes , .. Su expresin general es, como ya sabemos,
r
0
= r cos (o) + ict sin (o) .
ict
0
= r sin (o) + ict cos (o) .
que podemos reescribir, multiplicando la segunda por i,
r
0
= r cos (o) + ict sin (o)
ct
0
= ir sin (o) + ct cos (o) .
Como los tiempos y coordenadas son reales, basta denir o = i , con
real, para tener las expresiones entre variables reales
r
0
= r cosh () + c t sinh () .
ct
0
= r sinh () + ct cosh () .
con expresiones anlogas para las otras rotaciones (ahora de la variable real
t) (ct. ),(ct. .). Para determinar notemos que si el sistema o
0
se desplaza
con velocidad \ respecto de o a lo largo del eje r, el origen de o
0
, r
0
= 0,
corresponde a r = \ t, con lo que de la segunda de las relaciones anteriores
es
tanh () =
\
c
.
de donde
sinh () =
\,c
_
1 (\,c)
2
.
cosh () =
1
_
1 (\,c)
2
.
con lo que resulta nalmente
t
0
=
t \ r,c
2
_
1 (\,c)
2
=
_
t \ r,c
2
_
. (5.5a)
r
0
=
r \ t
_
1 (\,c)
2
= (r \ t) . (5.5b)
donde se introdujo el smbolo convencional =
_
1 (\,c)
2
12
. stas son
las transformaciones buscadas, denominadas de Lorentz, para el caso partic-
ular visto (V paralela a r), que se completan con
0
= , .
0
= ..
Si el movimiento del sistema o
0
relativo al o fuese con velocidad rela-
tiva constante V, pero de direccin arbitraria, basta ver que las relaciones
anteriores corresponden a la transformacin de la coordenada paralela a V,
mientras que las coordenadas perpendiculares no sufren transformacin. Con
esto, podemos escribir, directamente de las expresiones anteriores, proyectan-
do en la direccin de V, (ahora \ simboliza el mdulo de V)
t
0
=
_
t V x,c
2
_
.
V x
0
\
=
_
V x
\
\ t
_
.
x
0
V x
0
\
2
V = x
V x
\
2
V.
Combinando las dos ltimas tenemos nalmente la transformacin de Lorentz
ms general (restringida slo a que coincidan los orgenes de ambos sistemas
de coordenadas espaciales en el origen tambin comn de tiempos)
t
0
=
_
t V x,c
2
_
. (5.6a)
x
0
= x Vt + ( 1)
V x
\
2
V. (5.6b)
Las transformaciones inversas pueden obtenerse sin necesidad de despe-
jarlas de las (5.6), simplemente usando que deben tener la misma forma, slo
que la velocidad relativa tiene sentido opuesto:
t =
_
t
0
+V x
0
,c
2
_
. (5.7a)
x = x
0
+ Vt
0
+ ( 1)
V x
0
\
2
V. (5.7b)
Tenemos as que las transformaciones que dejan invariante el intervalo
(5.4) son las rotaciones del espacio ordinario y las transformaciones (5.6)
llamadas impulsos (en ingls boosts). Por supuesto, tenemos adems las
translaciones del origen del tiempo y del espacio. Con esto, transformaciones
con un total de diez grados de libertad: tres de rotaciones, tres de impulsos
y cuatro de translaciones.
5.1.1. Cuadrivectores
Como sucede en el caso del espacio de dimensin tres, pueden denirse
magnitudes vectoriales, que son aquellas que se transforman como los vec-
tores posicin del espacio. En este caso la posicin en el espacio-tiempo
de dimensin cuatro est dada por el cuadri-vector posicin, que abrevi-
amos (ct. x) = (r
0
. x), que se transforma segn (5.6). Debe tenerse en cuenta
adems que la distancia al origen que es preservada por tal transformacin es-
t dada por (ct)
2
[x[
2
= r
2
0
[x[
2
, por lo que denimos el producto escalar
entre cuadri-vectores para que satisfaga esta expresin. As, denimos los
cuadrivectores como conjuntos de cuatro componentes, genricamente rep-
resentados como = (
0
. A). La componente
0
es denominada temporal,
y las tres componentes A son denominadas espaciales. Si ` es un escalar,
denimos
0
0
= (
0
V A,c) . (5.8a)
A
0
= A
V
0
c
+ ( 1)
V A
\
2
V. (5.8b)
` = (`
0
. À) .
1
=
0
1
0
+A B
=
0
1
0
A B.
donde 1
= (1
0
. B
) = (1
0
. B) es denominado co-cuadrivector de 1. ste
se transforma segn las (5.8), pero con V en lugar de V. El producto
escalar as denido es invariante ante transformaciones de Lorentz; esto es,
es un escalar de Lorentz.
Entonces, as como en la mecnica de Newton las leyes de la fsica deben
ser invariantes de Galileo, y deben por lo tanto expresarse en trminos de
vectores y escalares ante transformaciones de Galileo, las leyes en la mecni-
ca relativista deben expresarse en trminos de vectores de Lorentz (cuadri-
vectores) y escalares de Lorentz.
Por ejemplo, nos planteamos cmo representar el movimiento de una
partcula en este marco; claramente su posicin cuadri-dimensional estar
dada por el cuadri-vector A = (r
0
. x). Si queremos ahora representar su
cuadri-velocidad notamos que si su velocidad ordinaria es u, su posicin
habr cambiado en un dt en dA = (dr
0
. dx) = (cdt. udt). Si deniramos su
cuadri-velocidad como dA,dt = (c. u) obtendramos una expresin que no
es un vector de Lorentz porque si bien dA es un cuadri-vector, dt no es un
escalar de Lorentz. Lo ms similar a dt que es adems escalar de Lorentz es
d:,c, el intervalo cuadri-dimensional recorrido por la partcula en dt, dividi-
do por c; en particular, para velocidades pequeas comparadas con la de la
luz d:,c es prcticamente igual a dt. Para formalizar esto consideramos la
magnitud escalar de Lorentz, con dimensiones de tiempo,
dt =
d:
c
=
1
c
_
(cdt)
2
d [x[
2
=
_
1
1
c
2
_
d [x[
dt
_
2
dt =
_
1
[u[
2
c
2
dt.
y podemos entonces denir la cuadri-velocidad como l = dA,dt. El signi-
cado fsico de dt es, de la ltima igualdad, que corresponde al intervalo de
tiempo medido en un sistema en el que la partcula tiene, en ese instante,
velocidad nula; es el denominado intervalo de tiempo propio. El tiempo pro-
pio es entonces el tiempo que marcara un reloj que se mueve junto con la
partcula (y es por lo tanto el tiempo que experimenta la partcula). La
cuadri-velocidad resulta entonces
l =
dA
dt
=
(c. u)
_
1 [u[
2
,c
2
. (5.9)
El tiempo propio que experimenta una partcula entre los tiempos t
1
y t
2
es
t =
_
t
2
t
1
_
1
[u(t)[
2
c
2
dt. (5.10)
que es menor que el intervalo de tiempo correspondiente t
2
t
1
, tanto menor
cuanto mayor es la velocidad, la notable prediccin de la relatividad de la
ralentizacin de los relojes en movimiento (o dilatacin del tiempo). Con todo
esto, a qu nos referimos cuando hablamos del tiempo t?. Operacionalmente
podemos denir un tiempo t, comn a todos los puntos espaciales de un
sistema de referencia dado, como el que indican relojes iguales, sincronizados
entre s, que estn en reposo permanente en esos puntos. Sabiendo que en
cualquier sistema inercial la luz en el vaco se propaga con igual velocidad
c, la sincronizacin mencionada puede hacerse con seales luminosas; basta
acordar que en un instante; por ejemplo, en un tiempo que se tomar como
t = 0, se emitir desde el origen un pulso en forma de frente esfrico de
luz. Conocidas las posiciones de cada reloj puede entonces sincronizarse cada
uno de estos con el del origen (y entre ellos), teniendo en cuenta el retraso
en la llegada de la seal. Con lo que vimos entendemos ahora que si esta
sincronizacin se hace en dos sistemas de referencia distintos; por ejemplo,
en el momento en el que ambos orgenes coinciden se emite un nico pulso
de sincronizacin y se sincronizan los relojes dentro de cada sistema con este
mismo pulso, aun as los relojes de cada sistema marcarn tiempos diferentes
(justamente esto es lo que cuantica la primera relacin de las (5.6): el reloj
de o
0
en x
0
indica t
0
cuando se cruza con el de o que est en x y que indica
t). Aun ms, lo que llamamos t = ctc en o no corresponde a un valor jo de
t
0
en o
0
: lo que es simultneo en un sistema no lo es en el otro.
Adems de la relatividad del tiempo, se predice tambin la relatividad de
las longitudes. Consideremos una varilla ja en el sistema o
0
con un extremo
en x
0
1
y otro en x
0
2
. Si en el sistema o queremos medir su longitud, deter-
minamos las coordenadas espaciales de los extremos de la varilla en o, x
1
y
x
2
, en un instante t
0
. De la primera de las (5.7) tenemos los tiempos en o
0
,
correspondientes al momento de la medicin en o, de las posiciones de los
extremos de la varilla:
t
0
1,2
=
t
0

V x
0
1,2
c
2
.
donde vemos claramente la no simultaneidad en o
0
de la medicin. Al reem-
plazar en la segunda de las (5.7) obtenemos las posiciones de los extremos de
la varilla en o
x
1,2
= x
0
1,2
+Vt
0
V x
0
1,2
c
2
V+ ( 1)
V x
0
1,2
\
2
V.
de donde resulta que x = x
2
x
1
est relacionado con x
0
= x
0
2
x
0
1
por
x =x
0
+
_
_
1 \
2
,c
2
_
1
V x
0
\
2
V.
Tenemos entonces para la componente de x
0
perpendicular a Vque x
?
=x
0
?
,
la misma en los dos sistemas. Por otro lado, la componente de x
0
con la
misma direccin que V resulta
x
k
=
x
0
k
.
con lo que la longitud paralela a Vmedida en o es un factor
1
=
_
1 \
2
,c
2
ms pequea que la correspondiente en el sistema donde se encuentra en re-
poso, o
0
, que denominamos naturalmente como la longitud propia, o longitud
en reposo. En particular, esto nos dice que la varilla con movimiento oblicuo
respecto de V se observar rotada en o.
Esta contraccin de los objetos en la direccin de su movimiento debe
considerarse como real en el sentido que es el resultado de una medicin
fsica; en particular, objetos con el movimiento apropiado deben ser capaces
de pasar por aberturas jas en o que seran demasiado estrechas para permitir
el paso del objeto si tuviera su longitud en reposo.
Con respecto al signicado de observar, est usado aqu en el sentido
de interpretar una medicin fsica. Particularmente en relatividad debe ten-
erse muy clara la forma en que es hecha cada medicin para interpretarla
apropiadamente. Como regla, la medicin de la propiedad de un objeto fsi-
co debe ser hecha por un observador en la proximidad inmediata del objeto
(en movimiento o no relativo a ste), y a posteriori puede ser interpretada
por el conjunto de observadores en reposo respecto al observador original
(los que estn en su sistema inercial) una vez obtenida la informacin. Si las
caractersticas del experimento lo requieren, intervendrn conjuntos de ob-
servadores (como en el caso de la medicin de la longitud de la varilla), cada
uno de los cuales mide la propiedad correpondiente a su lugar. Mediciones
hechas a distancia, con telescopios, detectores remotos, etc. deben ser proce-
sadas apropiadamente para recuperar la informacin que hubiera obtenido
el observador (en el mismo sistema) cercano al fenmeno. Slo a partir de
estos datos pueden obtenerse sin ambigedad propiedades derivadas, como la
longitud de la varilla a partir de las posiciones simultneas de sus extremos.
Un ejemplo clsico es cmo se ve un objeto dado en movimiento, lo que re-
quiere considerar la llegada simultnea al ojo de la luz proveniente de las
distintas partes del objeto, habiendo ya medido (o calculado) las trayectorias
espacio-temporales de tales partes en el sistema de referencia de quien mira.
Otra consecuencia bsica de la relatividad est referida a la composicin
de velocidades. Si la partcula se mueve con velocidad u referida al sistema
o su velocidad u
0
referida al sistema o
0
, que se mueve a su vez con velocidad
V relativa a o, puede calcularse sabiendo cmo se transforma la cuadri-
velocidad. Si para abreviar notacin denimos
&
=
1
_
1 [u[
2
,c
2
.
0
&
=
1
_
1 [u
0
[
2
,c
2
. (5.11)
entonces sabemos que, de (5.8) y (5.9),
l
0
0
=
0
&
c = (
&
c
&
V u,c) .
0
&
u
0
=
&
_
u V+ ( 1)
V u
\
2
V
_
.
De la primera es entonces
0
&
=
&
_
1 V u,c
2
_
. (5.12)
que al reemplazar en la segunda nos da
u
0
=
u V+ ( 1) (V u) V,\
2
(1 V u,c
2
)
. (5.13)
En particular, si u y V tienen la misma direccin (sean paralelas o antiparale-
las) resulta
u
0
=
u V
1 V u,c
2
.
que vemos que nunca supera el valor de c cualesquiera que sean las velocidades
u y V (siempre que stas tampoco superen el valor de c).
5.2. Dinmica relativista
Consideremos ahora la dinmica de una partcula libre en el marco de la
relatividad. En la mecnica newtoniana la accin es un escalar de Galileo;
en mecnica relativista, si queremos tener leyes invariantes en este marco
debemos tener una accin escalar de Lorentz. Si procedemos por analoga
con lo ya visto, podemos proponer que la integral que dene la accin debe
hacerse en la variable t, el tiempo propio de la partcula, en lugar de t. Por
otro lado, el cuadrado de la velocidad que usamos para la energa cintica
debe reemplazarse por una magnitud relacionada, que sea escalar de Lorentz.
Si evaluamos l l vemos que resulta igual a la constante c
2
. Proponemos
entonces para la partcula libre
o = c
_
t
2
t
1
dt = c
_
t
2
t
1
_
1
[u[
2
c
2
dt.
con c una constante a determinar. Identicamos as el lagrangiano como
1 = c
_
1
[u[
2
c
2
.
de donde obtenemos la componente cartesiana genrica del momento lineal
y la energa de la partcula
j
i
=
J1
Jn
i
=
cn
i
c
2
_
1 [u[
2
,c
2
.
1 =

i
n
i
j
i
1 =
c
_
1 [u[
2
,c
2
.
En el lmite de velocidades pequeas comparadas con la de la luz la primera
igualdad tiende a j
i
cn
i
,c
2
, con lo que debemos identicar a c como
proporcional a la masa de la partcula; al menos la correpondiente a bajas
velocidades, que tomamos como la masa en reposo :. As, c = :c
2
, y
p =
:u
_
1 [u[
2
,c
2
. (5.14)
1 =
:c
2
_
1 [u[
2
,c
2
. (5.15)
Notemos que para velocidades bajas es tambin
1 :c
2
+
1
2
:[u[
2
.
1 :c
2
+
1
2
:[u[
2
.
con lo que se recuperan todos los resultados conocidos, con el agregado no-
table que la energa de la partcula tiene una contribucin de base de valor
:c
2
.
Un relacin til es
1
2
[p[
2
c
2
= :
2
c
4
. (5.16)
Una observacin importante es que el cuadrivector :l tiene como com-
ponentes
:l =
:(c. u)
_
1 [u[
2
,c
2
= (1,c. p) = 1. (5.17)
la energa y el momento lineal son as componentes del cuadrivector llamado
energa-momento, y se transforman por lo tanto ante cambio de sistema de
referencia como indican las (5.8):
1
0
= (1 V p) . (5.18)
p
0
= p
1
c
2
V+ ( 1)
V p
\
2
V. (5.19)
Esto que hemos deducido para una partcula libre es un resultado general
de la relatividad, y podemos comprenderlo en trminos de la accin como
funcin de las coordenadas espacio-temporales. En efecto, por (2.47) y (2.48)
podemos escribir para la accin de un sistema genrico
do =
Jo
Jt
dt +
i
Jo
Jr
i
dr
i
= 1dt +
i
j
i
dr
i
= (1,c. p) dA
.
Como do es un escalar de Lorentz y dA un cuadrivector, (1,c. p) debe ser
un cuadrivector.
Si queremos ahora encontrar la accin de un sistema de varias partculas
nos encontramos con problemas debido a las interacciones, sea entre s o con
agentes externos. Si las partculas no interactan la accin es simplemente la
suma de las acciones de cada partcula
o = c
2
a
_
t
2
t
1
:
(a)
_
1
[u
(a)
[
2
c
2
dt.
Las interacciones requieren adicionar trminos que sean invariantes de Lorentz.
Para el caso de interaccin con un campo electromagntico externo sabemos
que el caso no relativista corresponde a un potencial dependiente de las ve-
locidades (2.22) que contribuye a la accin de la forma
o
1A
=
a
_
t
2
t
1
c
(a)
_
c
_
x
(a)
. t
_
u
(a)
A
_
x
(a)
. t
_
dt.
Esta expresin resulta ser invariante de Lorentz porque, del electromag-
netismo de Maxwell, la carga c
(a)
lo es, y = (c. A) es un cuadrivector,
con lo que
c u A = (c. u) (c. A) =
_
1
[u[
2
c
2
l
.
resultando entonces
o
1A
=
a
_
t
2
t
1
c
(a)
l
(a)

(a)
_
1
[u
(a)
[
2
c
2
dt.
Ntese que la accin del sistema puede escribirse como suma de acciones de
cada partcula por separado en el campo externo.
No existen otros campos dentro de la mecnica clsica de partculas que
den lugar a acciones invariantes de Lorentz. Por otro lado, las interacciones
entre partculas clsicas pueden tratarse en forma correcta relativista para
el caso de interaccin electromagntica, en la que las mismas partculas son
fuente de los potenciales c, A. En este ltimo caso la accin del sistema
no puede escribirse como una suma de acciones de partculas individuales
porque
(a)
depende de la historia de todas las partculas del sistema. Es
claro que no puede depender de posiciones y velocidades instantneas; esto
es, simultneas, lo que implicara accin instantnea a distancia y, adems,
lo que es simultneo en un sistema de referencia no lo es en otro (existira
un sistema privilegiado). As, el lagrangiano resultante no es una funcin
de slo las coordenadas y velocidades de las partculas, y termina siendo l
mismo una funcional de las trayectorias, lo que es en la prctica inmanejable.
La solucin a esto es considerar a los potenciales mismos como coordenadas
generalizadas adicionales, denidas en cada punto del espacio, con lo que a
la suma sobre partculas se le agrega una integral sobre las coordenadas del
espacio. Esto est fuera del marco de la mecnica de partculas y no ser
considerado aqu.
Las nicas interacciones que pueden considerarse en una descripcin de
slo partculas son a travs de choques, en los que la interaccin tiene lugar
cuando las partculas se encuentran en el mismo punto del espacio. En estas
condiciones el potencial de interaccin depende de las posiciones y velocidades
de las partculas en el instante del choque, que es un evento simultneo para
todas las partculas interactuantes en cualquier sistema de referencia.
Cualquiera sea la interaccin, si en un dado sistema de referencia inercial
observamos que una partcula cambia su momento lineal p al transcurrir el
tiempo, concluimos que est actuando sobre ella una fuerza, que siempre
podemos denir como F = dp,dt. Para describir consistentemente la misma
partcula desde otro sistema de referencia debemos decir que la fuerza en
tal sistema es F
0
= dp
0
,dt
0
, donde p
0
y t
0
son el momento de la partcula
y el tiempo en este otro sistema. Puede obtenerse la relacin entre F
0
y F
(la transformacin de la fuerza), a travs de las relaciones de transformacin
entre p
0
y t
0
, y p y t. Sin embargo, la manera ms simple de considerar esto es
a travs de cuadrivectores. Si denimos un cuadrivector asociado a la fuerza
sobre la partcula a partir de (5.17), usando adems la expresin del tiempo
propio (5.10),
1 =
d1
dt
=
_
1
c
d1
dt
.
dp
dt
_
=
1
_
1 [u[
2
,c
2
_
1
c
d1
dt
.
dp
dt
_
=
1
_
1 [u[
2
,c
2
_
1
c
d1
dt
. F
_
.
Si suponemos que (5.16) es vlida cuando la partcula est bajo la accin de
F tenemos que (usando adems (5.14) y (5.15))
d1
dt
=
c
2
p
1

dp
dt
= u
dp
dt
= u F.
con lo que, nalmente,
1 =
1
_
1 [u[
2
,c
2
_
u F
c
. F
_
.
Dado que 1 es un cuadrivector, sabemos de las transformaciones de Lorentz,
usando las deniciones (5.11), que
0
&
F
0
=
&
_
F V
u F
c
2
+ ( 1)
V F
\
2
V
_
.
y, por la (5.12), obtenemos
F
0
=
1
(1 V u,c
2
)
_
F V
u F
c
2
+ ( 1)
V F
\
2
V
_
.
En trminos de las componentes paralela y perpendicular a V es
1
0
k
=
1
k
u F\,c
2
(1 V u,c
2
)
.
F
0
?
=
F
?
(1 V u,c
2
)
.
Ntese que aun si en un sistema particular la fuerza no depende de la
velocidad, en otro genrico s depender.
5.2.1. Leyes de conservacin en sistemas de varias partcu-
las
Por lo dicho arriba slo consideramos interacciones tipo choque en los
sistemas relativistas de varias partculas.
Sabemos del teorema de Noether que si la accin de un sistema de partcu-
las tiene una simetra particular; esto es, es invariante ante un cambio par-
ticular de coordenadas, se obtiene una magnitud conservada asociada a tal
simetra. Este teorema es vlido tambin en la mecnica relativista, ya que
en su deduccin slo se us la existencia de la accin y su dependencia de las
coordenadas, pero con la condicin que la transformacin del tiempo sea la
misma para todas las partculas. Como un sistema aislado debe tener una ac-
cin que, por la homogeneidad del espacio y del tiempo, no puede depender
del origen usado de espacio y tiempo, las translaciones espacio-temporales
deben dejar la accin invariable. La invarianza ante translaciones espaciales
lleva, como sabemos, a la conservacin del momento lineal del sistema, mien-
tras que la invarianza ante translaciones temporales corresponde a la conser-
vacin de la energa. Usando la expresin (2.45) escrita ahora como (la suma
sobre : corresponde a las partculas del sistema)
C =
_
a
3
c=1
J1
Jn
(a)
c
n
(a)
c
1
_
o
0
a
3
c=1
J1
Jn
(a)
c
o
(a)
c
= 1 o
0
a
3
c=1
j
(a)
c
o
(a)
c
.
se obtiene lo dicho de igual manera a lo hecho en el caso no relativista, usando
que para una translacin espacio-temporal de magnitud en la direccin n
es r
0
i
= r
i
+ :
i
(i = 0. 1. 2. 3),
1 = ctc.
p =

a
p
(a)
= cte.
Como se mencion, fue posible usar el resultado (2.45) porque en la translacin
temporal la transformacin del tiempo es la misma para todas las partculas
(o
0
no depende de :).
Dado que la energa se conserva incluyendo trminos de interaccin de
colisiones, la energa puede evaluarse como la correspondiente al momento
en que ninguna partcula est colisionando con otra; esto es, cuando son todas
libres; por lo que 1 es la suma de las energas libres de todas las partculas
1 =

a
1
(a)
= ctc.
donde, de (5.15),
1
(a)
=
:
(a)
c
2
_
1 [u
(a)
[
2
,c
2
.
La isotropa del espacio-tiempo nos dice adems que la accin de un sis-
tema cerrado debe ser invariante ante rotaciones espaciales e impulsos (ambas
constituyen el grupo de rotaciones en el espacio-tiempo tetra-dimensional,
denominado grupo de Lorentz no reexivo). Ante una rotacin innitesimal
generalizada (de parmetro ) el cambio de coordenadas espacio-temporales
es de la forma general
r
0
i
= r
i
+
3
I=0
iI
r
I
. (5.20)
donde la expresin precisa de la matriz tetradimensional
iI
no es impor-
tante, salvo el hecho de que es antisimtrica (
iI
=
Ii
para las rotaciones
ordinarias, como sabemos; para los impulsos basta considerar las (5.6) con
parmetro innitesimalV,c = n). Esta expresin puede invertirse trivial-
mente al mismo orden de aproximacin para dar
r
i
= r
0
i
I=0
iI
r
0
I
.
Ahora parece no ser posible usar el resultado (2.45) para los impulsos porque
el tiempo se transforma de manera distinta para cada partcula. En efecto,
tenemos (c = 1. 2. 3)
o
(a)
0
=
1
c
Jr
(a)
0
J
.=0
=
1
c
3
I=0
0I
r
(a)
I
.
o
(a)
c
=
Jr
(a)
c
J
.=0
=
3
I=0
cI
r
(a)
I
.
Sin embargo, como hemos considerado interacciones tipo choque, las partcu-
las que interactan lo hacen en el mismo punto del espacio-tiempo, con lo
que para todas ellas el tiempo se transforma de igual manera ante (5.20).
As, la accin puede considerarse como suma de trminos correspondientes
a distintos grupos de partculas (cada grupo con igual o
0
para sus partcu-
las), que no interactan con las dems, con lo que cada trmino es invariante
por separado. Conceptualmente, podemos entonces considerar que aplicamos
(2.45) para cada trmino de la accin y luego sumamos todos ellos, con lo
que obtenemos
a
_
1
(a)
c
3
I=0
0I
r
(a)
I
+
3
c=1
j
(a)
c
3
I=0
cI
r
(a)
I
_
=
3
),I=0
)I
a
j
(a)
)
r
(a)
I
.
donde usamos, como antes, la energa libre de la partcula : porque la energa
se conserva para cada grupo de partculas interactuantes, por lo que debe ser
igual a la suma de las energas de las mismas cuando no interactan.
Como
)I
es arbitraria (pero antismtrica) podemos siempre elegir los ejes
de rotacin espacial o la direccin del impulso para que sean distintos de cero
slo un par de componentes, por ejemplo,
02
=
20
, con lo que se conserva
en tal caso

a
_
j
(a)
2
r
(a)
0
j
(a)
0
r
(a)
2
_
. Como lo mismo es vlido para todo
par de componentes distintas entre s, debe conservarse en general la matriz
antisimtrica (el cuadri-tensor momento angular, ya que est expresado en
trminos del producto (externo) de cuadri-vectores)
`
)I
= `
I)
=

a
_
j
(a)
)
r
(a)
I
j
(a)
I
r
(a)
)
_
. (5.21)
Las componentes puramente espaciales son
`
co
=

a
_
r
(a)
c
j
(a)
o
r
(a)
o
j
(a)
c
_
.
que corresponden a las tres componentes del momento angular ordinario.
Las componentes cruzadas
`
0c
=

a
_
r
(a)
0
j
(a)
c
r
(a)
c
j
(a)
0
_
=

a
_
ctj
(a)
c
1
(a)
r
(a)
c
,c
_
.
son las componentes del vector espacial ct
a
p
(a)
a
1
(a)
x
(a)
,c. La con-
stancia de este vector puede interpretarse multiplicndolo por c,
a
1
(a)
para tener

a
1
(a)
x
(a)
a
1
(a)
c
2
a
p
(a)
a
1
(a)
t = cte.
De donde interpretamos, sabiendo adems que

a
1
(a)
y

a
p
(a)
son con-
stantes, que el vector generalizacin del centro de masas
R =
a
1
(a)
x
(a)
a
1
(a)
.
se mueve con velocidad constante
V
1
= c
2
a
p
(a)
a
1
(a)
. (5.22)
5.2.2. Desintegracin de partculas
Consideremos la desintegracin espontnea de una partcula de masa :
en dos partculas de masas :
1
y :
2
. Supongamos que la partcula inicial est
en reposo en el sistema considerado. La conservacin de la energa en este
proceso (que puede ser considerado el proceso inverso del choque perfecta-
mente plstico de dos partculas en el sistema de referencia en que la cantidad
de movimiento total es nula, sistema del centro de inercia) se escribe como
(el subndice 0 se reere al sistema centro de inercia)
:c
2
= 1
01
+ 1
02
. (5.23)
mientras que la conservacin de la cantidad de movimiento conduce a
p
01
= p
02
. (5.24)
De esta ltima y la relacin (5.16) tenemos que
1
2
01
:
2
1
c
4
= 1
2
02
:
2
2
c
4
.
que, escrita como
1
2
01
1
2
02
= (1
01
1
02
) (1
01
+ 1
02
) = :
2
1
c
4
:
2
2
c
4
.
junto con (5.23) nos permite obtener inmediatamente
1
01
1
02
=
:
2
1
:
2
2
:
c
2
.
y nalmente, entre sta y (5.23),
1
01
=
:
2
+ :
2
1
:
2
2
2:
c
2
.
1
02
=
:
2
:
2
1
+ :
2
2
2:
c
2
.
De (5.16) y (5.15) determinamos fcilmente la magnitud de los momentos
y velocidades, respectivamente:
[p
01,2
[
2
= 1
2
1,2
,c
2
:
2
1,2
c
2
.
[u
01,2
[
2
= c
2
:
2
1,2
c
4
1
1,2
.
que sabemos tienen la misma direccin y sentidos opuestos por (5.24).
Si la partcula original se mueve en el laboratorio con velocidad V, lo
calculado hasta aqu vale en un sistema de referencia que se mueve con tal
velocidad, el sistema centro de inercia, de manera que las magnitudes luego
del choque en el sistema de laboratorio pueden ser calculadas haciendo una
transformacin de Lorentz con velocidad V (ecuaciones (5.18) y (5.19):
1
1,2
= (1
01,2
+V p
01,2
) .
p
1,2
= p
01,2
+
1
01,2
c
2
V+ ( 1)
V p
01,2
\
2
V.
Se requiere entonces conocer el ngulo entre V y p
01
en el sistema centro de
inercia (por supuesto V p
02
= V p
01
), que es una variable que no puede
ser predicha sin conocer la dinmica interna de la partcula y se debe tomar
como un dato de la observacin; llammoslo , de manera que V p
01
=
[p
01
[ \ cos . Tenemos as (paralelo y perpendicular se reeren a la direccin
de V)
1
1
= (1
01
+[p
01
[ \ cos ) .
1
2
= (1
02
[p
01
[ \ cos ) .
j
1k
=
_
[p
01
[ cos +
1
01
\
c
2
_
.
j
2k
=
_
[p
01
[ cos +
1
02
\
c
2
_
.
j
1,2?
= j
01,2?
= [p
01
[ sin .
Desde ya, p
2?
= p
1?
al no haber componente del momento transversal a
V.
El valor de puede ser entonces obtenido de la medicin de la energa de
alguna de las partculas resultantes, lo que permite evaluar todo lo dems. La
medicin de tal energa puede hacerse a travs del ngulo en que es eyectada
la partcula en el sistema de laboratorio respecto de V. Sea sta, por ejemplo,
la partcula 1, de manera que V p
1
= [p
1
[ \ cos o
1
. Usando la tranformacin
de Lorentz inversa a la que usamos en los clculos anteriores es
1
01
= (1
1
V p
1
)
= (1
1
[p
1
[ \ cos o
1
)
=
_
1
1
_
1
2
1
,c
2
:
2
1
c
2
\ cos o
1
_
.
de donde puede obtenerse una expresin para 1
1
en funcin de o
1
, y completar
as la evaluacin de todas las magnitudes.
5.2.3. Choque de partculas
Como vimos en el caso de la desintegracin de partculas es conveniente
resolver el problema en el sistema centro de inercia en el que la cantidad
total de movimiento es nula. Consideremos en tal sistema dos partculas con
valores iniciales de masa y momento :
1
, :
2
, y p
01
= p
02
, que por lo tanto
tendrn energas
1
01
=
_
:
2
1
c
4
+[p
01
[
2
c
2
.
1
02
=
_
:
2
2
c
4
+[p
01
[
2
c
2
.
que interactan en un choque para dar dos partculas de masas y momentos
:
0
1
, :
0
2
, y p
0
01
= p
0
02
. Si las masas iniciales son iguales a las nales, la
estructura interna de las partculas no se habr afectado y por lo tanto el
choque es elstico. La conservacin del impulso est expresada por ser p
0
01
=
p
0
02
, pero en general la direccin nal estar rotada en un ngulo respecto
de la inicial.
La conservacin de la energa impone que
1
01
+ 1
02
= 1
0
01
+ 1
0
02
=
_
:
02
1
c
2
+[p
0
01
[
2
+
_
:
02
2
c
2
+[p
0
01
[
2
.
que puede resolverse para obtener [p
0
01
[ dadas las otras variables, que deben
ser conocidas por las condiciones iniciales y por la observacin del tipo de
partculas resultantes (en el caso de choque elstico es simplemente [p
0
01
[ =
[p
01
[). Se tienen as los momentos nales en trminos de su mdulo y direccin
observada a travs del ngulo .
En el sistema de laboratorio supondremos que la partcula 2 se encuentra
inicialmente en reposo (p
2
= 0), y que la partcula 1 tiene momento inicial
p
1
, con lo que ser
1
1
=
_
:
2
1
c
4
+[p
1
[
2
c
2
; 1
2
= :
2
c
2
.
Para encontrar cul es el sistema centro de inercia a partir de estos datos
basta considerar que si ste se mueve con velocidad V respecto del sistema
de laboratorio debe ser
p
01
= p
1
1
1
c
2
V+ ( 1)
V p
1
\
2
V
= p
02
=
1
2
c
2
V.
Vemos inmediatamente que V es paralelo a p
1
(y a p
01
y p
02
) con lo que
obtenemos fcilmente
V =
c
2
1
1
+ 1
2
p
1
.
p
01
= p
02
=
1
2
1
1
+ 1
2
p
1
.
Para obtener las magnitudes nales (luego del choque) en el sistema de
laboratorio hacemos la transformacin a ste desde el sistema centro de iner-
cia (transformacin de Lorentz con velocidad V), exactamente como hici-
mos en el caso de desintegracin de una partcula, y obtenemos expresiones
del todo anlogas, (paralelo y perpendicular se reeren a la direccin de V
o p
1
)
1
0
1
= (1
0
01
+[p
0
01
[ \ cos ) .
1
0
2
= (1
0
02
[p
0
01
[ \ cos ) .
j
0
1k
=
_
[p
0
01
[ cos +
1
0
01
\
c
2
_
.
j
0
2k
=
_
[p
0
01
[ cos +
1
0
02
\
c
2
_
.
j
0
1,2?
= j
1,2?
= [p
0
01
[ sin .
Anlogamente al caso de la desintegracin, el ngulo puede obtenerse
midiendo el ngulo o en que es eyectada una de las partculas, por ejemplo
la 1, en el sistema de laboratorio respecto de p
1
para tener la relacin que
permite calcular 1
0
1
conocido o
1
:
1
0
01
=
_
1
0
1
_
1
02
1
,c
2
:
02
1
c
2
\ cos o
1
_
.
Captulo 6
Fuerzas centrales
6.1. Problema de Kepler
Son las derivadas de un potencial de la forma \ ([x
2
x
1
[) = \ (:), con
x
1
y x
2
las posiciones de las partculas interactuantes. As, la fuerza f
12
sobre
la partcula 1 debida a la 2 vale
f
12
=
J\
Jx
1
=
J\
J:
J:
Jx
1
=
J\
J:
(x
1
x
2
)
:
.
con direccin a lo largo de la recta que las une.
Cuando el sistema tiene slo dos partculas es conveniente, en lugar de
x
1
y x
2
, usar las coordenadas
X
CA
=
:
1
x
1
+ :
2
x
2
:
1
+ :
2
.
r = x
2
x
1
.
en trminos de las cuales las coordenadas originales se escriben
x
1
= X
CA

:
2
r
:
1
+ :
2
.
x
2
= X
CA
+
:
1
r
:
1
+ :
2
.
Si adems no existe fuerza externa, el centro de masas se mover con ve-
locidad constante y es entonces posible describir el movimiento respecto de
un sistema inercial en el que la velocidad del centro de masas es nula. Con-
siderando de ahora en ms que estamos en tal sistema de referencia, si el
sistema de coordenadas se elige con origen en el centro de masas es X
CA
= 0,
75
CAPTULO 6. FUERZAS CENTRALES 76
con lo que escribimos (` = :
1
+ :
2
)
x
1
=
:
2
`
r. (6.1a)
x
2
=
:
1
`
r. (6.1b)
El momento angular es constante y vale, respecto del origen (el C`),
L = :
1
x
1
_ x
1
+ :
2
x
2
_ x
2
=
_
:
1
_
:
2
`
_
2
+ :
2
_
:
1
`
_
2
_
r _ r
=
:
1
:
2
`
r _ r = jr _ r.
donde se ha denido la masa reducida j
j =
:
1
:
2
:
1
+ :
2
. (6.2)
Si en un instante dado t se tienen los vectores r y _ r, como el incremento
de r en un dt es justamente _ rdt, el r en t+dt sigue permaneciendo en el plano
denido por los originales r y _ r; por otro lado, como el vector constante L
es siempre perpendicular a r y _ r, el nuevo _ r debe seguir estando en el plano
original, y todo el movimiento est entonces contenido en tal plano.
Otra forma de ver esto es escribiendo el Lagrangiano. Como
1 =
1
2
:
1
[ _ x
1
[
2
+
1
2
:
2
[ _ x
2
[
2
=
1
2
_
:
1
_
:
2
`
_
2
+ :
2
_
:
1
`
_
2
_
[_ r[
2
=
1
2
j[_ r[
2
. (6.3)
se tiene
1 =
1
2
j[_ r[
2
\ ([r[) .
Usando coordenadas esfricas es
r = :e
v
.
_ r = _ :e
v
+ :
_
oe
0
+ : sin o _ ,e
,
.
con lo que
1 =
1
2
j
_
_ :
2
+ :
2
_
o
2
+ :
2
sin
2
o _ ,
2
_
\ (:) .
y las ecuaciones de movimiento son
j : j:
_
_
o
2
+ sin
2
o _ ,
2
_
+
d\
d:
= 0.
d
dt
_
j:
2
_
o
_
j:
2
sin o cos o _ ,
2
= 0.
j:
2
sin
2
o _ , = ctc.
De la segunda se ve fcilmente que si
_
o = 0 en o = 0 :,2 es

o = 0 y o debe
entonces permanecer constante. Si elegimos o = :,2 donde
_
o = 0 tenemos
entonces un movimiento plano y las ecuaciones se reducen a
j : j: _ ,
2
+
d\
d:
= 0. (6.4a)
j:
2
_ , = ctc. (6.4b)
La coordenadas : y , pueden interpretarse como coordenadas polares en el
plano (r,) en las que
r = :e
v
. (6.5a)
_ r = _ :e
v
+ : _ ,e
,
. (6.5b)
con lo que
L = jr _ r =j:
2
_ ,e
:
.
de manera que la segunda de las (6.4) indica precisamente la constancia de
L y se escribe
j:
2
_ , = 1
:
. (6.6)
Dado que en un dt el vector r barre un rea :
2
_ ,dt,2, podemos decir de
(6.6) que la velocidad areolar
_
= :
2
_ ,,2 es constante, lo que constituye la
segunda ley de Kepler para el movimiento de los planetas alrededor del sol.
Ntese que dicha ley vale para cualquier tipo de potencial central, no slo
para el caso gravitatorio. Si usamos (6.6) para despejar _ , y reemplazamos
este valor en la primera de las (6.4) obtenemos la ecuacin de movimiento de
la coordenada :
j :
1
2
:
j:
3
+
d\
d:
= 0.
que podemos reescribir
j : +
d\
c)
d:
= 0. (6.7)
donde el potencial efectivo \
c)
est denido por
\
c)
(:) = \ (:) +
1
2
:
2j:
2
. (6.8)
el segundo trmino se denomina potencial centrfugo. La ecuacin (6.7) repre-
senta un movimiento unidimensional equivalente en la variable unidimension-
al : relacionando la aceleracin de sta, :, con su valor instantneo :. Para
resolver (6.7) se puede usar entonces la tcnica de relacionar la aceleracin
con la velocidad _ : como
: =
d_ :
dt
=
d _ :
d:
d:
dt
=
d
d:
_
1
2
_ :
2
_
.
con lo que la (6.7) se reescribe
d
d:
_
1
2
j_ :
2
+ \
c)
_
= 0.
o sea
1
2
j_ :
2
+ \
c)
= ctc.
Usando las (6.3) y las (6.5) la energa (constante) del sistema de partculas
se escribe
1 = 1 + \ =
1
2
j
_
_ :
2
+ :
2
_ ,
2
_
+ \.
que, con (6.6) y (6.8), se escribe como
1 =
1
2
j_ :
2
+ \
c)
. (6.9)
Esta es entonces la primera integral de (6.7) y nos permite escribir
d:
dt
=
_
2
j
[1 \
c)
(:)]. (6.10)
para tener
dt =
d:
_
2
j
[1 \
c)
(:)]
.
que puede resoverse por una cuadratura. Tngase en cuenta que si al avanzar
el tiempo : crece se debe usar el signo +, mientras que si : decrece corre-
sponde el signo en la integracin. As, partiendo de un t
0
con un :
0
, para
cada par de valores constantes 1 y 1
:
, se obtiene la funcin t (:) que al
invertirse da : (t). Con sta se puede integrar (6.6) escrita como
d,
dt
=
1
:
j[: (t)]
2
. (6.11)
para obtener ,(t), lo que resuelve el problema.
Una alternativa es obtener directamente la relacin : (,) que nos da la
forma geomtrica de la trayectoria, eliminando el tiempo del problema. Para
esto basta escribir
d:
dt
=
d:
d,
d,
dt
.
y usar (6.10) y (6.11) para escribir
d:
d,
=
j:
2
1
:
_
2
j
[1 \
c)
(:)]
= :
2
_
2j
1
2
:
[1 \ (:)]
1
:
2
.
con lo que se obtiene
d,
d:
=
1
:
2
_
2j
1
2
z
[1 \ (:)]
1
v
2
. (6.12)
que puede integrarse para obtener ,(:) y, por inversin, : (,). En particular,
vemos de (6.12) que la trayectoria ser simtrica respecto del punto donde
hay cambio de signo; esto es, en los puntos donde : alcanza un valor extremo,
mximo o mnimo. El punto de mximo acercamiento se denomina periapsis
(perihelio en el caso del sol) y el de mximo alejamiento, cuando es nito,
apoapsis (aphelio o afelio para el sol).
Veamos como ejemplo importante el caso del potencial gravitatorio. En
este caso es
\ (:) =
G:
1
:
2
:
.
donde G = 6. 672 10
11
` :
2
/q
2
es la constante de la gravitacin de
Newton. Llamando c = G:
1
:
2
podemos escribir (6.10) para este caso como
d:
dt
=
_
2
j
_
1 +
c
:

1
2
:
2j:
2
_
.
del que podemos decir que el rango de valores posibles de : estar limitado
a aquellos para los cuales el argumento de la raiz es no negativo:
1 _
c
:
+
1
2
:
2j:
2
. (6.13)
La expresin de la derecha tiene un valor mnimo en
:
0
=
1
2
:
jc
. (6.14)
que vale
jc
2
21
2
:
.
por lo que (6.13) implica que
1 _
jc
2
21
2
:
. (6.15)
En estas condiciones el rango de : est determinado por los ceros de la
expresin en (6.13). Si 1 _ 0 es claro de (6.13) que : puede llegar a y
existe entonces slo un valor mnimo de :, :
mn
dado por
:
mn
=
c
21
_
_
1 +
21
2
:
1
jc
2
1
_
; 1 0 (6.16)
:
mn
=
1
2
:
2jc
; 1 = 0.
Cuando 1 < 0 (estado ligado) existe un rango superior tambin, con
lo que el movimiento est restringido por los valores (periapsis y apoapsis,
respectivamente)
:
mn
=
c
2 [1[
_
1
_
1
21
2
:
[1[
jc
2
_
. (6.17a)
:
max
=
c
2 [1[
_
1 +
_
1
21
2
:
[1[
jc
2
_
. (6.17b)
Obtengamos ahora la rbita correspondiente a 1 < 0. Escribimos (6.12)
para este caso como
d,
d:
=
1
:
2
_
2jj1j
1
2
z
+
2jc
1
2
z
v

1
v
2
Tomemos el valor , = 0 correspondiendo a : = :
mn
y consideremos que ,
crece al variar : con lo que tendremos
, =
v
_
v
mn
d:
:
2
_
2jj1j
1
2
z
+
2jc
1
2
z
v

1
v
2
. (6.18)
para : _ :
max
. Alcanzado :
max
debe seguir integrndose entre :
max
y :, usando
ahora el signo menos hasta alcanzar otra vez :
mn
, etc.
La integral puede realizarse explcitamente haciendo en (6.18) el cambio
de variable n = :
1
:
, =
&
mn
_
&
dn
_
2jj1j
1
2
z
+
2jc
1
2
z
n n
2
.
con n
mn
= :
1
mn
. Usando la integral de tablas
_
dr
_
cr
2
+ /r + c
=
1
_
c
arc cos
_
2cr + /
_
/
2
4cc
_
. (6.19)
el resultado es
, = arc cos
_
_
_
1
2
:
jc
n 1
_
_
_
1
21
2
:
[1[
jc
2
_1
_
_
.
que se invierte inmediatamente para dar (volviendo a la variable : y usando
la denicin (6.14) de :
0
)
1
:
=
1
:
0
(1 +c cos ,) . (6.20)
donde se ha denido la excentricidad 0 < c < 1
c =
_
1 +
21
2
:
1
jc
2
. (6.21)
La ecuacin (6.20) describe una elipse de excentricidad c y foco en el
origen de coordenadas, de semiejes mayor y menor dados respectivamente
por
c =
:
0
(1 c
2
)
=
c
2 [1[
.
/ =
:
0
_
1 c
2
=
1
:
_
2j[1[
.
Si se aplica esto a la rbita de los planetas alrededor del sol tomando en las
frmulas anteriores :
1
la masa del sol y :
2
la del planeta considerado, vemos
de (6.1) que cada cuerpo describe tambin una elipse, ambas con foco en el
centro de masas. Si se considera adems que la masa del sol es mucho mayor
que la de los planetas (para la tierra el cociente de masas es 3. 5 10
5
) se
ve entonces que la elipse descripta por el sol es de tamao despreciable y el
sol se encuentra entonces prcticamente en el foco de la elipse descripta por
cada planeta. sta es la primera ley de Kepler.
La tercera ley de Kepler resulta de la ley de las reas (6.6) escrita como
d
dt
=
1
2
:
2
_ , =
1
:
2j
.
que integrada en un perodo da
1 =
2j
1
:
=
2j:c/
1
:
=
:c
2
_
2j
[1[
32
= 2:c
32
_
j
c
.
La ltima igualdad dice que el perodo de revolucin de cada cuerpo alrededor
del centro de masas es proporcional a la potencia 3,2 del tamao de la rbita.
Aplicada al sistema solar sta es la tercera ley de Kepler que dice que el
cuadrado del perodo de revolucin de cada planeta es proporcional al cubo
de su distancia al sol. Ntese que en el caso de ser :
1
:
2
es j :
2
y,
por lo tanto, c,j G:
1
, por lo que la constante de proporcionalidad es la
misma para todos los planetas.
Si 1 _ 0 las (6.20) y (6.21) siguen valiendo, slo que para 1 = 0 es c = 1,
con lo que (6.20) representa una parbola con distancia mnima al origen :
0
,2
y en la que el innito se alcanza con velocidad nula. Cuando 1 0 es c 1
que corresponde a una hiprbola en la que la partcula se acerca al origen
hasta :
0
, (1 +c) y alcanza el innito con velocidad no nula.
6.2. Choque elstico
Consideramos ahora el choque elstico (1 = ctc) entre dos partculas con
masas :
1
y :
2
que interactan a travs de un potencial central. La idea es
considerar que en el sistema centro de masas la energa mecnica 1
CA
0
(desde ya, esto valdr entonces para cualquier otro sistema) de manera que,
aun para un potencial atractivo, las partculas no estn ligadas. De esta
manera, consideraremos sus estados antes y despus de la interaccin; esto
es, cuando estn muy separadas de manera que la energa potencial entre
ellas pueda considerarse despreciable frente a las correspondientes energas
cinticas (se toma el cero de la energa potencial correspondiendo a distancia
innita entre partculas).
Como la energa mecnica se conserva, y antes y despus de la interaccin
se puede considerar que sta es slo cintica, escribimos
1
2
:
1
[v
1
[
2
+
1
2
:
2
[v
2
[
2
=
1
2
:
1
[v
0
1
[
2
+
1
2
:
2
[v
0
2
[
2
. (6.22)
donde las velocidades sin primar corresponden a antes del choque y las pri-
madas a luego del choque. Por otro lado, como no existen fuerzas externas
se conserva tambin la cantidad de movimiento total
:
1
v
1
+ :
2
v
2
= :
1
v
0
1
+ :
2
v
0
2
. (6.23)
La conservacin del momento angular total indica, como se vio ms arriba,
que el movimiento de ambas partculas puede siempre considerarse contenido
en un plano (si las velocidades iniciales no son coplanares puede siempre
pasarse a un sistema, a innitos en realidad, en el que sean coplanares, y as
permanecern).
Es conveniente describir el movimiento desde el sistema centro de masas;
distinguiremos entonces el llamado sistema de laboratorio como aqul en el
que las velocidades iniciales son coplanares y valen v
1
y v
2
, y el sistema
centro de masas que distinguiremos con el subndice 0 (en lugar de C`).
As, las velocidades iniciales en el sistema C` valen
v
01
= v
1
V
CA
= v
1
:
1
v
1
+ :
2
v
2
:
1
+ :
2
=
:
2
:
1
+ :
2
v. (6.24a)
v
02
= v
2
V
CA
= v
2
:
1
v
1
+ :
2
v
2
:
1
+ :
2
=
:
1
:
1
+ :
2
v. (6.24b)
donde hemos denido la velocidad de la partcula 1 relativa a la de la partcula
2: v = v
1
v
2
.
La conservacin de la cantidad de movimiento en el C` es claramente
:
1
v
01
+ :
2
v
02
= :
1
v
0
01
+ :
2
v
0
02
= 0,
de donde
v
02
=
:
1
:
2
v
01
. (6.25a)
v
0
02
=
:
1
:
2
v
0
01
. (6.25b)
que al usarse en la ecuacin de conservacin de la energa en el C` da
1
2
:
1
[v
01
[
2
+
1
2
:
2
[v
02
[
2
=
1
2
:
1
[v
0
01
[
2
+
1
2
:
2
[v
0
02
[
2
=
1
2
:
1
[v
01
[
2
_
1 +
:
1
:
2
_
=
1
2
:
1
[v
0
01
[
2
_
1 +
:
1
:
2
_
.
de donde se deduce que
[v
01
[ = [v
0
01
[ , (6.26)
esto es, en el sistema C` la interaccin slo cambia la direccin de cada
velocidad, pero no su mdulo.
Llamemos entonces n
0
al versor que indica la direccin y sentido de la
velocidad de la partcula 1 despus del choque en el C`:
n
0
=
v
0
01
[v
0
01
[
.
que nos permite escribir, usando las (6.24) aplicadas a las velocidades luego
del choque, y la segunda de las (6.25),
v
0
01
=
:
2
:
1
+ :
2
[v[ n
0
.
v
0
02
=
:
1
:
1
+ :
2
[v[ n
0
.
que nos permite nalmente escribir las velocidades luego del choque en el
sistema de laboratorio (o1)
v
0
1
=
:
2
:
1
+ :
2
[v[ n
0
+
:
1
v
1
+ :
2
v
2
:
1
+ :
2
. (6.27a)
v
0
2
=
:
1
:
1
+ :
2
[v[ n
0
+
:
1
v
1
+ :
2
v
2
:
1
+ :
2
. (6.27b)
Ntese que todas las magnitudes son conocidas de antes del choque, salvo
n
0
que es determinado por la interaccin en s.
Las expresiones (6.27) son ms sencillas escritas en trminos de las canti-
dades de movimiento; multiplicando la primera por :
1
y la segunda por :
2
,
se obtiene inmediatamente (j es la masa reducida, ver (6.2))
p
0
1
= j[v[ n
0
+
j
:
2
(p
1
+p
2
) .
p
0
2
= j[v[ n
0
+
j
:
1
(p
1
+p
2
) .
Es muy conveniente representar estas expresiones grcamente.
Donde

C = j(p
1
+p
2
) ,:
2
, y

C1 = j(p
1
+p
2
) ,:
1
. La circunferencia
tiene radio j[v[ por lo que

CC = j[v[ n
0
. Ntese que el vector

1 =
C +
C1 = p
1
+p
2
, que es la cantidad de movimiento total en el o1.
De ahora en ms consideraremos slo el caso en que la partcula 2 se
encuentra en reposo antes del choque en el o1; esto es p
2
= 0. En tal caso
es v = v
1
v
2
= v
1
y, por lo tanto,

C1 = jv
1
= jv; esto es, el punto 1
se encuentra sobre la circunferencia. Por otro lado,

C = (:
1
,:
2
) jv, por
lo que estar dentro de la circunferencia si :
1
< :
2
, y fuera si :
1
:
2
,
como se representa en la gura.
En estas guras o
1
y o
2
representan los ngulos que forman las velocidades
(en el o1) de las respectivas partculas respecto de la direccin horizontal
correspondiente a la del vector

1, cantidad de movimiento total en el o1.
El ngulo es el ngulo que forma n
0
con

1; esto es, el ngulo que forma
la velocidad de la partcula 1 en el sistema C` con

1.
Vemos en particular que cuando :
1
:
2
existe un ngulo de desviacin
mxima o
max
de la partcula 1, que corresponde al formado por la tangente
a la circunferencia que pasa por , que es fcilmente calculable como
sin o
max
=
j[v[
n
1
n
2
j[v[
=
:
2
:
1
.
Para relacionar los ngulos o
1,2
y basta ver que, por estar 1 y C sobre
la circunferencia, el tringulo CC1 nos dice que 2o
2
+ = :; o sea,
o
2
=
:
2
. (6.28)
Por otro lado, podemos ver que
tan o
1
=
j[v[ sin
C + j[v[ cos
=
j[v[ sin
n
1
n
2
j[v[ + j[v[ cos
=
sin
n
1
n
2
+ cos
. (6.29)
6.3. Dispersin (Scattering)
Vimos en la seccin anterior que para denir completamente el choque
debe determinarse el versor n
0
o, equivalentemente, el ngulo formado
por v
0
01
con la direccin de la cantidad de movimiento en el o1. Seguimos
considerando que v
2
= 0, de manera que la direccin de referencia es la dada
por la velocidad v
1
. Asimismo, el vector v
0
01
es (anti)paralelo al v
0
02
(por
la segunda de las (6.25)) de manera que la velocidad relativa despus del
choque v
0
= v
0
01
v
0
02
es paralela a v
0
01
y tiene por lo tanto el mismo . De
esta manera, para calcular basta resolver el problema equivalente, visto en
la primera seccin, de una partcula de masa j (la masa reducida) sometida al
potencial de interaccin, pero respecto a un centro jo (el C`). La velocidad
de esta partcula corresponde a la relativa entre las partculas originales, y
vale inicialmente v = v
1
(siempre consideramos v
2
= 0). Tomamos como
direccin de referencia (horizontal) la de esta v que corresponde a distancia
muy grande al origen antes de la interaccin. Para jar el origen decimos que
si la v se mantuviese constante la partcula j pasara a distancia : de ste;
: es denominado parmetro de impacto.
En la gura se representa la situacin para un potencial repulsivo y uno
atractivo. El ,
n
es el ngulo correspondiente a la mnima distancia al centro
(atractor o repulsor). Como la trayectoria es simtrica respecto del punto de
mximo acercamiento, el ngulo c es c = ,
n
para el potencial repulsivo,
y c = ,
n
+ para el atractivo. Como en ambos casos es c+,
n
= :, resulta
= 2,
n
: en el caso repulsivo y = : 2,
n
en el atractivo. Tenemos
entonces en general
= 2,
n
:. (6.30)
que resultar positivo para repulsin y negativo para atraccin en las condi-
ciones de la gura.
El valor de ,
n
se obtiene fcilmente de (6.12), teniendo en cuenta que
cuando : antes del choque es , = : (ver gura) y que entre este valor
y ,
n
tanto : como , disminuyen; esto es, el signo apropiado en (6.12) es el
positivo. Con esto,
,
n
= : +
v
mn
_
1
d:
:
2
_
2j
1
2
z
[1 \ (:)]
1
v
2
. (6.31)
con :
mn
dado por la condicin _ : = 0 en (6.9): 1 = \
c)
(:
mn
).
El valor de ,
n
depende de la energa mecnica en el sistema C` y del
valor absoluto de 1
:
en el mismo sistema. De (6.6) y (6.9) y la gura podemos
entonces escribir (recordemos que v = v
1
por ser v
2
= 0)
[1
:
[ = j[v[ :. 1 =
1
2
j[v[
2
. (6.32)
As, con (6.30), (6.31) y (6.32) el choque queda completamente determi-
nado.
Consideremos ahora lo que sucede si un haz uniforme de partculas de
masa :
1
incide sobre una distribucin tambin uniforme de partculas de
masa :
2
en reposo. Si el haz incide desde la izquierda, sucientemente lejos
a la derecha se tendrn partculas de los tipos 1 y 2 que han sido dispersadas
por las interacciones que tuvieron lugar. El objetivo que nos planteamos
es determinar la distribucin de estas partculas; esto es, la proporcin de
partculas en cada intervalo de velocidades (mdulo y direccin).
La hiptesis que hacemos es que el haz de partculas 1 y el conjunto de
partculas 2 son sucientemente diluidos para que puedan despreciarse las
interacciones entre partculas del mismo tipo y, a la vez, considerar que la
interaccin entre partculas de distinto tipo ocurre slo una vez para cada par
de ellas. As, en forma general podemos decir que el haz tiene una densidad
uniforme en volumen de partculas 1, :
1
, que se mueven originalmente todas
con velocidad v
1
; luego de interactuar con las partculas 2 el haz tendr toda
una distribucin de velocidades v
0
1
; sabemos que esta velocidad est deter-
minada unvocamente por el ngulo que forma en el sistema C` respecto
de la direccin original. De esta manera, caracterizamos la distribucin de
partculas dispersadas tipo 1 por la densidad de ellas, d:
, que es dispersada
por unidad de tiempo con ngulos entre y +d en el C`. Esta densidad
(por segundo) es proporcional al intervalo angular considerado, d, y a la in-
tensidad del haz incidente, denida como el nmero de partculas del haz que
atraviesan la unidad de rea en una unidad de tiempo: 1
1
= :
1
[v
1
[ = :
1
[v[,
de manera que es til denir la llamada seccin ecaz de dispersin o ()
que relaciona d:
con d y 1
1
como
d:
= o () 1
1
d. (6.33)
El objetivo entonces es calcular o () que puede hacerse si calculamos
d:
. Para esto basta tener en cuenta que las partculas equivalentes de masa
j son dispersadas con un dado ngulo si pasan a la distancia correcta
del centro dispersor; esto es, si tienen un valor del parmetro de impacto :
apropiado. As, todas aquellas partculas cuyo valor de : est entre : y :+d:
se desviarn entre y + d. d:
corresponder entonces al nmero de

partculas de haz incidente que por unidad de tiempo atraviesan un anillo de
radio interior : y radio exterior : +d:; o sea, de rea 2:: d: (no nos interesa
en qu plano se desarrolla el movimiento; estamos considerando todos los
posibles):
d:
= 1
1
2:: d:; (6.34)
comparando con (6.33) deducimos entonces
o () = 2::
d:
d
. (6.35)
La precaucin de tomar valor absoluto de la derivada viene del hecho que
o () es una magnitud positiva, mientras que, en general, al aumentar :
disminuye. Como hemos considerado la desviacin en todos los planos posi-
bles de movimiento es ms correcto hablar de dispersin dentro de un dado
ngulo slido d
= 2: sin d, que nos dene una seccin ecaz diferente

d:
= o (
) 1
1
d
= 2:o (
) 1
1
sin d.
que por comparacin con (6.34) da
o (
) =
:
sin
d:
d
. (6.36)
Vemos entonces que pueden calcularse en forma sistemtica las secciones
ecaces de dispersin en trminos de la dispersin angular en el sistema
C`. En las aplicaciones es ms til conocer la distribucin de partculas
dispersadas en el o1; por ejemplo, el nmero de partculas tipo 1 dispersadas
en ngulos entre o
1
y o
1
+ do
1
, independientemente del plano donde ocurre
la dispersin; esto es, en el ngulo slido d
1
= 2: sin o
1
do
1
:
d:
0
1
= 2:o (
1
) 1
1
sin o
1
do
1
.
Como existe una relacin unvoca entre o
1
y , la (6.29), basta escribir que
d:
0
1
es igual al correspondiente d:
:
2:o (
1
) 1
1
sin o
1
do
1
= 2:o (
) 1
1
sin d.
de donde se tiene
o (
1
) = o (
)
sin
sin o
1
d
do
1
.
en donde el debe evaluarse en el valor dado por (6.29).
Anlogamente, para el nmero de partculas tipo 2 dispersadas en d
2
=
2: sin o
2
do
2
es, por (6.28),
o (
2
) = o (
)
sin
sin o
2
d
do
2
=
2
sin o
2
[o (
) sin ]
=20
2
.
Finalmente, calculemos la seccin ecaz de dispersin en el caso de un
potencial electrosttico entre partculas de cargas elctricas 2
1
c y 2
2
c (c
es la carga del protn). El problema es totalmente anlogo al problema de
Kepler donde ahora es (en unidades MKS, con
0
la permeabilidad elctrica
del vaco)
c =
2
1
2
2
c
2
4:
0
.
De (6.30) y (6.31), se debe calcular
= : + 2
v
mn
_
1
d:
:
2
_
2j
1
2
z
_
1 +
c
v
1
v
2
.
con :
mn
dado por el nico cero positivo de (6.13) (tngase en cuenta que
c < 0),
:
mn
=
[c[
21
_
_
1 +
21
2
:
1
jc
2
+ 1
_
.
Haciendo como antes, n = :
1
, es
= : + 2
0
_
v
1
mn
dn
_
2j
1
2
z
[1 + cn] n
2
.
que, usando (6.19), resulta en
= : 2 arc cos
_
_
1 +
21
2
:
1
jc
2
_
12
_
.
o sea,
_
1 +
21
2
:
1
jc
2
_
12
= cos
_
:
2

2
_
= sin
_
2
_
.
de donde es
[1
:
[ =
_
jc
2
21
_
1
sin
2
_
2
_ 1
_
12
.
y, usando que [1
:
[ = j[v[ : =
_
2j1:,
: =
[c[
21
cot
_
2
_
.
Con esto calculamos inmediatamente
o (
) =
:
sin
d:
d
=
c
2
161
2
csc
4
_
2
_
. (6.37)
que es la seccin ecaz para la dispersin de Rutherford. En el caso estudiado
por l las partculas tipo 1 fueron partculas alfa (masa atmica 4) y las tipo
2 ncleos pesados (por ejemplo, oro de masa atmica 200), de manera que
:
1
,:
2
1, por lo que (6.29) indica que o
1
y la (6.37) es prcticamente
igual a o (
1
), que es lo medido en el o1.
Captulo 7
Pequeas oscilaciones
Son las que ocurren, con pequea amplitud, alrededor de los estados de
equilibrio estable del sistema. Supongamos el sistema de : grados de lib-
ertad con vnculos independientes del tiempo, descripto por un lagrangiano
genrico de la forma
1(
1
. ...
a
. _
1
. ... _
a
) = 1 (
1
. ...
a
. _
1
. ... _
a
) \ (
1
. ...
a
) . (7.1)
Llamamos puntos de equilibrio a aquellos en los que la fuerza generaliza-
da es nula: Q
I
= J\,J
I
= 0. Supongamos que existe equilibrio para los :
grados de libertad; esto es, las : fuerzas generalizadas se anulan simultnea-
mente cuando las variables toman los valores
01
,
02
,...,
0a
. Esto signica
que el potencial \ (
1
. ...
a
) tiene un extremo en ese punto del espacio de
conguracin.
La independencia del tiempo de los vnculos lleva a que la energa cintica
es de la forma genrica
1 (
1
. ...
a
. _
1
. ... _
a
) =
1
2
a
I,|=1
,
I|
(
1
. ...
a
) _
I
_
|
. (7.2)
Por la misma razn la energa se conserva y es de la forma 1 = 1 +\ . Si el
sistema se encuentra entonces en la posicin de equilibrio con, adems, ve-
locidades nulas, debe permanecer indenidamente all (las _
I
y
I
son ambas
nulas), mientras que si se encuentra en un punto ligeramente apartado del de
equilibrio, tambin con velocidades inicialmente nulas, la no anulacin de las

I
implica que el sistema ganar velocidad y se apartar entonces del punto
inicial. Sin embargo, si el punto de equilibrio corresponde a un mnimo del
potencial, el estado inicial apartado de ste tiene energa potencial mayor,
por lo que la conservacin de la energa implica que al aumentar la energa
cintica el sistema se mueve hacia zonas de menor energa potencial; esto es,
92
CAPTULO 7. PEQUEAS OSCILACIONES 93
hacia el punto de equilibrio. En este caso se dice que el punto de equilib-
rio es estable. Ntese que si el potencial tuviese un mximo en el punto de
equilibrio, el movimiento del sistema sera apartndose de ste; claramente
el equilibrio es inestable en este caso.
As, pequeos apartamientos del estado de equilibrio (con velocidades
iniciales nulas o muy pequeas) producirn movimientos limitados alrede-
dor del punto de equilibrio. Estudiemos entonces la teora general para este
tipo de movimientos desarrollando (7.1) alrededor del punto de equilibrio
(
01
.
02
. ....
0a
). Llamemos j
I
=
I

0I
a los apartamientos del equilibrio,
con lo que
I
=
0I
+ j
I
. _
I
= _ j
I
. (7.3)
La pequeez del apartamiento implica pequeez de la fuerza (las derivadas
de orden uno del potencial son nitas alrededor del equilibrio) con la con-
secuente pequeez de las aceleraciones y velocidades. Con esto en mente,
desarrollamos (7.1) en serie de Taylor hasta el orden dos (que es el ms bajo
no trivial) alrededor de (
01
.
02
. ....
0a
), teniendo en cuenta la forma de la
energa cintica (7.2) y las (7.3), para escribir
1 =
1
2
a
I,|=1
,
I|
(
01
. ...
0a
) _ j
I
_ j
|
1
2
a
I,|=1
J
2
\
J
I
J
|
q
01
,...q
0n
j
I
j
|
\ (
01
. ...
0a
) .
donde se tuvo en cuenta adems que las derivadas de orden uno de \ en
(
01
.
02
. ....
0a
) son nulas, y que las _
I
son en s mismas de orden uno. Si
dejamos de lado la constante \ (
01
. ...
0a
) (o redenimos el cero del potencial
en coincidencia con este mnimo) y denimos las constantes
1
I|
= ,
I|
(
01
. ...
0a
) .
\
I|
=
J
2
\
J
I
J
|
q
01
,...q
0n
.
podemos escribir que, al orden de aproximacin considerado, es
1 =
1
2
a
I,|=1
1
I|
_ j
I
_ j
|
1
2
a
I,|=1
\
I|
j
I
j
|
. (7.4)
Este lagrangiano determina las trayectorias de las nuevas coordenadas
generalizadas j
I
a partir de las ecuaciones de Lagrange correspondientes
d
dt
_
J1
J _ j
c
_
J1
Jj
c
= 0.
Notemos que por la forma (7.2) slo la parte simtrica de las ,
I|
contribuye
a la energa cintica, de manera que siempre podemos tomar simtricas a las
,
I|
(,
I|
= ,
|I
) y, consecuentemente, a las 1
I|
. Por otro lado, de su propia
denicin, las \
I|
son tambin simtricas. As, cuando derivamos 1 respecto
de una particular _ j
c
, la misma aparecer ya sea como una de las _ j
I
o una de
las _ j
|
en (7.4); explcitamente,
J1
J _ j
c
=
1
2
a
I=1
1
Ic
_ j
I
+
1
2
a
|=1
1
c|
_ j
|
.
que, aprovechando la simetra de las 1
I|
, podemos escribir (renombrando | al
ndice / de la primera sumatoria)
J1
J _ j
c
=
a
|=1
1
c|
_ j
|
.
Anlogamente,
J1
Jj
c
=
a
|=1
\
c|
j
|
.
Con lo que las ecuaciones de movimiento son
a
|=1
(1
c|
j
|
+ \
c|
j
|
) = 0. (7.5)
ste es un sistema de : ecuaciones diferenciales ordinarias, lineales y acopladas.
La solucin general puede obtenerse proponiendo soluciones de la forma
j
|
(t) = C c
|
exp (i.t) . (7.6)
donde i es la unidad imaginaria, C una constante independiente del ndice |,
y c
|
una constante. Por ser el problema original real debe tomarse la parte
real de (7.6). Dado que las (7.5) son lineales y sus coecientes reales, las
partes real e imaginaria de las j
|
no se mezclan entre s, por lo que puede
usarse la forma compleja de j
|
propuesta y tomarse la parte real al nal del
clculo. Introduciendo entonces (7.6) en (7.5) se tiene (dejando de lado el
factor global C exp (i.t))
a
|=1
_
.
2
1
c|
+ \
c|
_
c
|
= 0. (7.7)
que es un sistema algebraico, lineal y homogneo para las incgnitas c
|
. Este
sistema tendr solucin no trivial slo si el determinante de la matriz de
coecientes es nulo
det
_
.
2
1
c|
+ \
c|
_
= 0. (7.8)
que detemina que la incgnita .
2
corresponde a las races de un polinomio de
grado :. stas tienen en general : valores distintos. Veamos antes que nada
que todas estas races son positivas, lo que implica que las .s son reales.
Para esto multiplicamos cada una de las (7.7) por c
c
(el asterisco simboliza
conjugacin compleja) y sumemos todas ellas para obtener
a
|,c=1
_
.
2
1
c|
+ \
c|
_
c
|
c
c
= 0.
Si intercambiamos los ndices | y : entre s, y usamos la simetra de 1
c|
y \
c|
obtenemos
a
|,c=1
_
.
2
1
c|
+ \
c|
_
c
c
c
|
= 0.
que sumada a la anterior y pasando a la derecha los trminos con .
2
resulta
en
a
|,c=1
\
c|
(c
|
c
c
+ c
c
c
|
) = .
2
a
|,c=1
1
c|
(c
|
c
c
+ c
c
c
|
) .
de donde
.
2
=
a
|,c=1
\
c|
(c
|
c
c
+ c
c
c
|
)
a
|,c=1
1
c|
(c
|
c
c
+ c
c
c
|
)
.
Cada uno de los factores que multiplica a cada \
c|
y 1
c|
en estas sumatorias
es real, con lo que tenemos ante todo que .
2
es real. Adems, como la energa
cintica es positiva denida, la suma del denominador debe ser positiva. De
igual manera, como el punto de equilibrio es un mnimo del potencial, la
suma del numerador tambin debe ser positiva denida (indica la variacin
del potencial ante un apartamiento genrico desde el mnimo); por lo tanto,
.
2
debe ser positivo. As, como los coecientes en el sistema (7.7) son reales,
las c
|
pueden elegirse siempre reales (sta es una de las razones por las que
se incluy una constante global C en (7.6), para incluir posibles fases del
argumento de la exponencial en ella).
Tenemos entonces que existen en general : valores distintos de ., y que
para cada uno de ellos se obtiene un conjunto de : valores c
|
que pueden
adems considerarse reales. Si denominamos .
)
a las : posibles soluciones
de (7.8), y con c
|)
a los : valores obtenidos para cada frecuencia .
)
(1 _ | _
:), la solucin general de (7.5) se obtiene sumando para todos las posibles
soluciones de la forma (7.6) (y tomando la parte real):
j
|
(t) = Re
_
a
)=1
C
)
c
|)
exp (i.
)
t)
_
. (7.9)
Ntese que siempre podemos elegir a los .
)
0, porque el correspondiente
valor .
)
equivale a un cambio en la fase de C
)
(tnganse en cuenta que
Re [C
)
exp (i.
)
t)] = Re
_
C
)
exp (i.
)
t)
).
En este punto conviene trabajar con notacin matricial. Llamemos V a la
matriz de componentes \
c|
, T a la de componentes 1
c|
, y a
)
al vector columna
de componentes c
|)
asociados a la frecuencia .
)
. Agrupamos adems estos :
vectores columna en una matriz de : : componentes (cada columna est
asociada a un .
)
distinto)
A =
_
_
_
_
_
_
_
_
c
11
c
21
...
c
a1
_
_
_
_
_
_
_
_
c
12
c
22
...
c
a2
_
_
_
_
...
_
_
_
_
c
1a
c
2a
...
c
aa
_
_
_
_
_
_
_
_
.
y denimos una matriz diagonal con los valores de .
)
=
_
_
_
_
.
1
0 ... 0
0 .
2
... 0
... ... ... ...
0 0 ... .
a
_
_
_
_
.
Con estas deniciones las (7.7) para cada .
)
se pueden escribir
Va
)
= .
2
)
Ta
)
. 1 _ , _ :. (7.10)
y todas stas, a su vez, como una nica ecuacin matricial (se entiende el
cuadrado como el producto matricial de la matriz consigo misma)
VA = TA
2
. (7.11)
Multipliquemos ahora (7.10) a izquierda por el vector la a
T
|
(el suprandice
1 indica transposicin matricial, y llamamos `
)
= .
2
)
)
a
T
|
Va
)
= `
)
a
T
|
Ta
)
. (7.12)
y escribamos la misma ecuacin con los ndices | y , intercambiados,
a
T
)
Va
|
= `
|
a
T
)
Ta
|
. (7.13)
Si tenemos en cuenta que
_
a
T
)
Va
|
_
T
= a
T
|
V
T
a
)
= a
T
|
Va
)
.
_
a
T
)
Ta
|
_
T
= a
T
|
T
T
a
)
= a
T
|
Ta
)
donde las ltimas igualdades en cada rengln resultan de la simetra de las
matrices V y T, al transponer la (7.13) y restarla a la (7.12) tenemos
(`
)
`
|
) a
T
|
Ta
)
= 0.
que indica que si , ,= | y, adems, `
)
,= `
|
, entonces debe ser
a
T
|
Ta
)
= 0; (7.14)
esto es, los vectores correspondientes a valores distintos de `
)
son ortogonales
a travs de la matriz T.
Dado que siempre podemos incluir un factor global en cada vector a
)
(las
(7.7) que los determinan son homogneas) es posible elegir los a
)
de manera
que estn normalizados de la siguiente manera
a
T
)
Ta
)
= 1.
que, junto con las (7.14), nos permiten decir que
A
T
TA = 1. (7.15)
donde 1 representa la matriz identidad. Notablemente, si premultiplicamos
(7.11) por A
T
tenemos, usando (7.15),
A
T
VA =
2
. (7.16)
que es una matriz diagonal de elementos .
2
)
. As, la matriz A diagonaliza
simultneamente a V y T.
Hasta aqu hemos supuesto que para , ,= | es `
)
,= `
|
. En general, si
para , ,= | resulta que `
)
= `
|
(autovalor degenerado) esto indica que en las
ecuaciones para los a
)
y a
|
asociados, ms de una de las componentes de cada
uno de stos puede elegirse arbitrariamente (es lo mismo que sucede en el
problema usual de autovalores), lo que da la libertad de poder siempre elegir
que se cumpla la condicin de ortogonalidad (7.14), aun para autovalores
`
)
= `
|
. Consideramos entonces que siempre vale esto de ahora en ms.
Recapitulando, una vez determinadas las matrices V y T se resuelve el
problema de autovalores (7.8), que reescribimos como
det
_
V.
2
T
_
= 0.
para calcular los : autovalores .
2
)
. Con stos resolvemos las (7.10) para obten-
er los a
)
que normalizamos para que cumplan (7.15). Las : trayectorias j
|
(t)
resultan entonces de (7.9). Para determinar las constantes C
)
deben usarse
las condiciones iniciales, que podemos escribir en forma matricial si denimos
vectores columna
0
, _
0
y C
0
=
_
_
_
_
j
1
(t = 0)
j
2
(t = 0)
...
j
a
(t = 0)
_
_
_
_
. _
0
=
_
_
_
_
_ j
1
(t = 0)
_ j
2
(t = 0)
...
_ j
a
(t = 0)
_
_
_
_
. C =
_
_
_
_
C
1
C
2
...
C
a
_
_
_
_
.
En efecto, evaluando (7.9) y su derivada en t = 0,
j
|
(t = 0) = Re
_
a
)=1
C
)
c
|)
_
.
_ j
|
(t = 0) = Re
_
a
)=1
i.
)
C
)
c
|)
_
= Im
_
a
)=1
.
)
C
)
c
|)
_
.
que, por ser los nicos factores complejos los C
)
, podemos escribir
j
|
(t = 0) =
a
)=1
Re [C
)
] c
|)
.
_ j
|
(t = 0) =
a
)=1
.
)
Im[C
)
] c
|)
.
que en forma matricial se expresa
0
= ARe [C] .
_
0
= AIm[C] .
Usando la condicin (7.15), multiplicamos a izquierda cada una de es-
tas ecuaciones por A
T
T, y usamos adems que
1
, la inversa de , es
simplemente
1
=
_
_
_
_
.
1
1
0 ... 0
0 .
1
2
... 0
... ... ... ...
0 0 0 .
1
a
_
_
_
_
.
para obtener inmediatamente
Re [C] = A
T
T
0
.
Im[C] = A
T
T
1
_
0
.
La solucin se obtiene entonces de forma muy sistemtica operando ma-
tricialmente.
7.1. Modos normales
El formalismo de la seccin anterior nos permite determinar de manera
tambin sistemtica los denominados modos normales del sistema oscilante
considerado. Los modos normales son en primer lugar nuevas coordenadas
generalizadas que se obtienen como combinaciones lineales de las j
|
con-
sideradas arriba. Escribamos las ecuaciones de movimiento (7.5) en forma
matricial para el vector columna
(t) =
_
_
_
_
j
1
(t)
j
2
(t)
...
j
a
(t)
_
_
_
_
y sus derivadas,
T +V = 0. (7.17)
Esta expresin, junto a la condicin de ortogonalidad (7.15), nos sugiere en-
tonces denir una relacin lineal entre el vector y el vector de coordenadas
normales &,
& (t) =
_
_
_
_
.
1
(t)
.
2
(t)
...
.
a
(t)
_
_
_
_
.
de la forma
= A&. (7.18)
ya que al reemplazar esta expresin en (7.17) y premultiplicar por A
T
obten-
emos (usando (7.15) y (7.16))
& +
2
& = 0.
que en componentes se escribe,
.
)
+ .
2
)
.
)
= 0;
esto es, las coordenadas normales estn desacopladas entre s; cada una vibra
con su frecuencia .
)
.
La (7.18) se invierte fcilmente premultiplicndola por A
T
T y usando
(7.15) para escribir
& = A
T
T. (7.19)
que nos da la forma sistemtica de obtener los modos normales en trminos
de las coordenadas j
)
.
Vemos de (7.19) que cada modo normal es una superposicin lineal de las
: coordenadas j
)
, con coecientes dados por los elementos de la matriz A
T
T
que es independiente de las particulares condiciones iniciales; slo depende
del sistema en s. Lo notable es que esta precisa superposicin representa
una oscilacin particular del sistema en la que todos los componentes de
ste vibran con la misma frecuencia; propiedad que tienen todos los sistemas
que ejecutan pequeas oscilaciones como las estudiadas, por complejos que
sean. Cada .
)
representa entonces una frecuencia a la que vibra el sistema
en conjunto (cada componente con su propia fase y amplitud) y las .
)
son
entonces llamadas frecuencias propias del sistema. La propiedad notable de
oscilar en conjunto con igual frecuencia permite identicar los modos nor-
males en sistemas sencillos si se puede determinar cmo darle condiciones
iniciales apropiadas para que esto ocurra. Desde ya, la forma ms general
de oscilacin es una combinacin lineal de los modos normales, que es justa-
mente lo que (7.9) representa.
7.2. Oscilaciones de sistemas aislados (molcu-
las)
Cuando el sistema que puede sostener oscilaciones est aislado, algunos
de los modos posibles de movimiento corresponden a translacin y rotacin
uniformes. Estas posibilidades de movimiento no oscilatorio se reejan en la
aparicin de frecuencias nulas al aplicar el formalismo general desarrollado
en la primera seccin. La forma de evitar estas frecuencias nulas es descartar
de entrada la posibilidad de movimientos translatorios y rotatorios globales,
imponiendo que la cantidad de movimiento y el momento angular totales son
nulos, tanto en el equilibrio como en los movimientos alrededor de ste.
Si las ` partculas del sistema estn caracterizadas por posiciones x
i
, las
condiciones de cantidad de movimiento y el momento angular totales nulos
se escriben, respectivamente,
.
i=1
:
i
_ x
i
=
.
i=1
:
i
x
i
_ x
i
= 0. (7.20)
Para apartamientos pequeos de las posiciones de equilibrio x
0i
= x
i
(
01
.
02
. ....
0a
),
podemos escribir
x
i
x
0i
+
a
I=1
Jx
i
J
I
0
(
I
0I
) = x
0i
+
a
I=1
Jx
i
J
I
0
j
I
.
_ x
i

a
I=1
Jx
i
J
I
0
_ j
I
.
con lo que las condiciones (7.20) se escriben, a orden uno en los apartamientos
j
I
(o sus derivadas _ j
I
),
.
i=1
a
I=1
:
i
Jx
i
J
I
0
_ j
I
=
d
dt
_
.
i=1
a
I=1
:
i
Jx
i
J
I
0
j
I
_
= 0.
.
i=1
a
I=1
:
i
x
0i
Jx
i
J
I
0
_ j
I
=
d
dt
_
.
i=1
a
I=1
:
i
x
0i
Jx
i
J
I
0
j
I
_
= 0.
que indican que los trminos entre corchetes son constantes que como en el
equilibrio, j
I
= 0, tienen valor cero, escribimos (intercambiamos de paso el
orden de las sumatorias)
a
I=1
_
.
i=1
:
i
Jx
i
J
I
0
_
j
I
= 0.
a
I=1
_
.
i=1
:
i
x
0i
Jx
i
J
I
0
_
j
I
= 0.
Notemos que estas dos ecuaciones vectoriales representan en general seis
ecuaciones de vnculo (holnomas) entre las coordenadas j
I
(si el sistema es
libre de moverse slo en un plano sern tres ecuaciones de vnculo, y slo
una si el sistema puede moverse libremente en una dimensin). Usando estas
ecuaciones lineales podemos reducir fcilmente el nmero de coordenadas j
I
para quedarnos con un sistema que slo puede sostener oscilaciones; esto es,
en el que todas las frecuencias propias son no nulas. Esto es especialmente
til cuando se estudian los modos propios de molculas.
7.3. Oscilaciones forzadas y amortiguadas
Si el sistema que puede sostener oscilaciones est adems sometido a
fuerzas externas, podemos escribir las ecuaciones de Lagrange incluyendo las
fuerzas como
d
dt
_
J1
J _
I
_
J1
J
I
= Q
cat
I
(
1
.
2
. ....
a
. t) .
Para que los apartamientos puedan considerarse pequeos la fuerza apli-
cada debe serlo, de manera que los pequeos apartamientos pueden estudiarse
como en la primera seccin evaluando la expresin de la fuerza generalizada,
consistentemente con la aproximacin original, en las posiciones de equilibrio
para tener el anlogo de (7.5)
a
|=1
(1
c|
j
|
+ \
c|
j
|
) = Q
0c
(t) .
donde
Q
0c
(t) = Q
cat
c
(
01
.
02
. ....
0a
. t) .
Escribiendo las ecuaciones en forma matricial, introduciendo el vector
columna de fuerzas
Q
cat
=
_
_
_
_
Q
01
Q
02
...
Q
0a
_
_
_
_
.
tenemos
T +V = Q
cat
.
Del que podemos obtener las ecuaciones de los modos normales como se hizo
arriba, reemplazando por A& y premultiplicando por A
T
para obtener
(usando las (7.15) y (7.16))
& +
2
& = A
T
Q
cat
= Q
0
.
que nos indica que todava puede resolverse el sistema de ecuaciones lineales
desacopladas para los modos normales, ahora forzados por las fuerzas Q
0
I
:
.
I
+ .
2
I
.
I
= Q
0
I
.
Veamos qu sucede si agregamos fuerzas amortiguadoras. El tipo que
consideraremos es el de fuerzas proporcionales a la velocidad y que se oponen
a sta. ste es el tipo de fuerzas esperables cuando el movimiento es en el
seno de un uido o gas y las velocidades son pequeas, como son las que
estudiamos. Si la velocidad de la partcula i es _ x
i
(hay ` partculas en el
sistema), la fuerza amortiguadora sobre ella que estudiamos es de la forma
F
i
= i
i
_ x
i
.
donde i
i
es un coeciente positivo que depende de las caractersticas de la
partcula misma y del medio en el que se mueve (por ejemplo, i 6:j1
para una partcula esfrica de radio 1 que se mueve lentamente en un
uido newtoniano de viscosidad dinmica j, y la densidad de la partcula
es grande comparada con la del uido). En las condiciones que estudiamos
(vnculos independientes del tiempo) es
_ x
i
=
a
|=1
Jx
i
J
|
_
|
.
y la fuerza generalizada asociada a esta fuerza amortiguadora es
Q
oic
I
=
.
i=1
i
i
_ x
i
Jx
i
J
I
=
a
|=1
.
i=1
i
i
Jx
i
J
|

Jx
i
J
I
_
|
.
Deniendo entonces los coecientes simtricos en los ndices / y |
c
I|
=
.
i=1
i
i
_
Jx
i
J
|

Jx
i
J
I
_
0
. (7.21)
donde las derivadas estn evaluadas en las posiciones de equilibrio, tenemos
Q
oic
I
=
a
|=1
c
I|
_
|
. (7.22)
Deniendo entonces la matriz simtrica de coecientes c
I|
podemos escribir
el anlogo de (7.5) como
T +V = _ . (7.23)
La solucin general de este sistema de ecuaciones acopladas se obtiene pro-
poniendo que cada j
I
es de la forma (anloga a la (7.6))
j
I
= Cc
I
exp (:t) . (7.24)
donde : es en general complejo. Reemplazando estas expresiones en (7.23) se
obtiene el sistema lineal para los c
I
(agrupados en el vector columna a)
_
:
2
T+ :+V
_
a = 0.
que tendr solucin no trivial si el determinante de la matriz de coecientes
es nulo,
det
_
:
2
T+ :+V
_
= 0.
que determina los posibles valores de :. Esta ecuacin es un polinomio de gra-
do 2: en :, con coecientes reales, de manera que sus races son reales o pares
de complejos conjugados. En todo caso las partes reales son siempre negati-
vas ya que de otro modo, por la forma de (7.24), la coordenada j
I
asociada
crecera indenidamente, lo que no es posible en el sistema considerado.
Calculemos cmo vara la energa de un sistema con fuerzas disipativas
dadas por las (7.22). Sabemos que
1 =
a
I=1
_
I
J1
J _
I
1.
por lo que
d1
dt
=
a
I=1

I
J1
J _
I
+
a
I=1
_
I
d
dt
_
J1
J _
I
_
I=1
J1
J
I
_
I
I=1
J1
J _
I

I
=
a
I=1
_
I
_
d
dt
_
J1
J _
I
_
J1
J
I
_
=
a
I=1
a
|=1
c
I|
_
I
_
|
.
La expresin del ltimo rengln es claramente denida negativa ya que la
doble suma es denida positiva, lo que es evidente si se usa la (7.21) para
reescribirla como
.
i=1
i
i
a
I=1
a
|=1
_
Jx
i
J
|

Jx
i
J
I
_
0
_
I
_
|
=
.
i=1
i
i
I=1
Jx
i
J
I
0
_
I
2
.
La funcin denida positiva
T =
1
2
a
I=1
a
|=1
c
I|
_
I
_
|
.
es denominada funcin de disipacin de Rayleigh, y tenemos nalmente
d1
dt
= 2T < 0.
Notemos que la fuerza generalizada (7.22) puede escribirse tambin como
Q
oic
I
=
JT
J _
I
.
Finalmente, si combinamos forzado externo y amortiguamiento,
d
dt
_
J1
J _
I
_
J1
J
I
= Q
cat
I

JT
J _
I
.
tenemos el sistema de pequeas oscilaciones (en forma matricial)
T +_ +V = Q
cat
. (7.25)
Slo consideraremos el caso particular en el que las matrices T y sean
proporcionales; esto no es tan extrao teniendo en cuenta que
1
I|
=
.
i=1
:
i
_
Jx
i
J
|

Jx
i
J
I
_
0
.
tiene una forma del todo anloga a la expresin (7.21) de los c
I|
donde
aparece i
i
en lugar de :
i
. As, si i
i
= i:
i
, con i una constante positiva
independiente de i, tenemos = iT, y podemos escribir (7.25) como
T + iT_ +V = Q
cat
.
con lo que, procediendo como al principio de esta seccin, obtenemos los
modos normales desacoplados
.
I
+ i_ .
I
+ .
2
I
.
I
= Q
0
I
.
donde las .
I
son las frecuencias propias del sistema no amortiguado. Una
condicin menos restrictiva es que la matriz A diagonalice tambin a con
lo que se obtienen ecuaciones iguales a las anteriores, pero con un i
I
en
general distinto para cada modo. Las soluciones de estas ecuaciones pueden
entonces estudiarse considerando el sistema de una dimensin con coordenada
r
r + i_ r + .
2
0
r = cos (.t) . (7.26)
donde consideramos que el forzante es un modo puro de Fourier, con fre-
cuencia angular ., en trminos del cual puede desarrollarse un forzante de
dependencia ms genrica.
Como todas las constantes que aparecen en esta ecuacin son reales puede
estudiarse la versin compleja
. + i_ . + .
2
0
. = exp (i.t) . (7.27)
de la cual (7.26) es la parte real, siendo r = Re (.). La solucin general de
(7.27) consiste de la solucin homognea, de la forma .
I
~ exp(ct), ms la
particular .
j
= 1exp (i.t). Reemplazando .
j
en (7.27) tenemos inmediata-
mente que
1 =

.
2
0
.
2
+ ii.
.
que podemos escribir en forma exponencial 1 = / exp (io), donde
/ =

_
(.
2
0
.
2
)
2
+ i
2
.
2
. tan o =
i.
.
2
.
2
0
. (7.28)
Por otro lado, la solucin homognea reemplazada en (7.27) resulta en
c
2
+ ic + .
2
0
= 0.
cuya solucin es c =
i
2
_
i
2
4
.
2
0
, que en el caso i < 2.
0
(subamortigua-
do) podemos escribir c =
i
2
i, donde =
_
.
2
0
i
2
4
. La solucin general
se escribe entonces
. = C exp
_
i
2
t it
_
+ 1exp (i.t) .
cuya parte real escribimos como
r = c exp
_
i
2
t
_
cos (t + c) + / cos (.t + o) .
donde c y c se determinan por las condiciones iniciales, y / y o estn dados
por (7.28). Tenemos entonces que la solucin corresponde a una oscilacin
amortiguada de frecuencia =
_
.
2
0
i
2
4
, cercana a la frecuencia propia si
el amortiguamiento es muy pequeo, ms una oscilacin a la frecuencia del
forzante .. En tiempos sucientemente largos, t 2i
1
, slo sobrevive la
oscilacin forzada
r = / cos (.t + o) .
Concentrmonos en cmo se comporta esta solucin forzada en funcin de
la frecuencia del forzante. Para comenzar, la amplitud / tiene un mximo, de
valor
_
i
_
.
2
0
i
2
4
_
1
, cuando la frecuencia del forzante . coincide con la
frecuencia
_
.
2
0
i
2
2
. En cuanto al desfasaje o entre la oscilacin del sistema
y el forzante, ste es claramente negativo cuando . < .
0
(va a cero para
. 0) y tiende a :,2 para . = .
0
(condicin de resonancia); cuando
. .
0
vara desde el valor de resonancia, :,2, hasta : cuando . .
Vemos entonces que o es siempre negativo, lo que indica que la oscilacin
atrasa respecto al forzante.
7.4. Oscilaciones no lineales en una dimen-
sin
En una dimensin cartesiana el trmino de energa cintica es siempre
de la forma 1 = :_ r
2
,2 sea pequeo o no el apartamiento de la posicin de
equilibrio, mientras que la forma del potencial \ = :.
2
0
r
2
,2 slo es en gen-
eral vlida para apartamientos pequeos del equilibrio (salvo, por supuesto,
en el caso elstico puro). En general, alrededor del equilibrio el potencial
tendr un desarrollo genrico (las constantes se eligen as por conveniencia
de escritura)
\ =
1
2
:.
2
0
r
2
+
1
3
:cr
3
+
1
4
:,r
4
+ .... (7.29)
Consideremos entonces una oscilacin en la que los trminos cbico y curtico
del potencial tengan importancia, si bien su inuencia pueda considerarse
pequea. La ecuacin de movimiento para (7.29) es
r + .
2
0
r = cr
2
,r
3
. (7.30)
ecuacin conocida como del oscilador de Dung. Resolvmosla suponiendo
que los trminos de la derecha son pequeos, proponiendo que la solucin
dominante es la homognea, la que anula el lado izquierdo de (7.30) (sin
prdida de generalidad elegimos el t = 0 para anular la fase inicial)
r
1
= c cos (.t) .
donde . no es necesariamente igual a .
0
, aunque su parte dominante s lo
es. Proponemos entonces
r = r
1
+ r
2
+ r
3
+ ....
. = .
0
+ .
1
+ .
2
+ ....
donde cada trmino es de orden (indicado por el subndice) superior al ante-
rior. El orden uno est dado por la amplitud c que se supone pequea.
El lado derecho de (7.30) es entonces, desarrollado hasta el orden tres,
cr
2
1
2cr
1
r
2
,r
3
1
.
que, teniendo en cuenta que
cos
2
(.t) =
_
c
i.t
+ c
i.t
2
_
2
=
c
2i.t
+ 2 +c
2i.t
4
=
1
2
+
1
2
cos (2.t) .
y que
cos
3
(.t) =
_
c
i.t
+ c
i.t
2
_
3
=
c
3i.t
+ 3c
i.t
+ 3c
i.t
+ c
3i.t
8
=
3
4
cos (.t) +
1
4
cos (3.t) .
se escribe
c
c
2
2
[1 + cos (2.t)] 2cc cos (.t) r
2
,
c
3
4
[3 cos (.t) + cos (3.t)] . (7.31)
Por otro lado, el lado izquierdo se escribe, tambin al tercer orden de
aproximacin,
.
2
c cos (.t) + r
2
+ r
3
+ .
2
0
[c cos (.t) + r
2
+ r
3
] .
que al desarrollar .
2
hasta tminos de orden dos (no hace falta ms porque
.
2
multiplica a r
1
que es ya de orden uno): .
2
= .
2
0
+2.
0
.
1
+.
2
1
+2.
0
.
2
, nos
permite escribir el lado izquierdo desarrollado explcitamente hasta el orden
tres (vemos que el trmino de orden uno se cancela, como debe ser)
_
2.
0
.
1
+ .
2
1
+ 2.
0
.
2
_
c cos (.t) + r
2
+ r
3
+ .
2
0
(r
2
+ r
3
) . (7.32)
Su igualamos ahora los trminos de orden dos en (7.31) con los correspon-
dientes de (7.32) tenemos
r
2
+ .
2
0
r
2
2.
0
.
1
c cos (.t) = c
c
2
2
[1 + cos (2.t)] .
que reescribimos
r
2
+ .
2
0
r
2
= 2.
0
.
1
c cos (.t) c
c
2
2
[1 + cos (2.t)] . (7.33)
Lo primero que notamos es que la ecuacin para r
2
corresponde a la de un
oscilador de frecuencia propia .
0
, forzado por una fuerza constante y por dos
oscilantes de frecuencias . y 2.. Como . .
0
el forzante de frecuencia .
estar casi en resonancia y generar una oscilacin de amplitud muy grande
(considrese (7.28) con i = 0); esto no es fsicamente correcto y la manera de
evitar esta inconsistencia es que la amplitud de este forzante sea nula; esto
es, .
1
= 0, lo que nos dice que la no linealidad no induce correcciones de
orden uno a la frecuencia fundamental de oscilacin. La solucin de (7.33)
con .
1
= 0 es directa (basta proponer una particular ya que la solucin
homognea puede incorporarse en r
1
, y . puede considerarse igual a .
0
ya
que las diferencias entre ambas son de orden dos)
r
2
=
cc
2
2.
2
0
+
cc
2
6.
2
0
cos (2.t) . (7.34)
Igualando ahora los trminos de orden tres en (7.31) y (7.32) tenemos
(usamos que .
1
= 0)
2.
0
.
2
c cos (.t)+ r
3
+.
2
0
r
3
= 2cc cos (.t) r
2
,
c
3
4
[3 cos (.t) + cos (3.t)] .
Si reemplazamos aqu r
2
por su expresin (7.34) y usamos que
cos (.t) cos (2.t) =
c
i.t
+ c
i.t
2
c
2i.t
+ c
2i.t
2
=
1
4
_
c
3i.t
+ c
i.t
+ c
i.t
+ c
3i.t
_
=
1
2
[cos (.t) + cos (3.t)] .
tenemos para r
3
la ecuacin
r
3
+ .
2
0
r
3
=
_
5c
2
c
3
6.
2
0
+ 2c.
0
.
2
3
4
,c
3
_
cos (.t)
_
c
2
c
3
6.
2
0
+
,c
3
4
_
cos (3.t) .
La condicin de que no haya forzante en resonancia lleva a que
.
2
=
3,c
2
8.
0

5c
2
c
2
12.
3
0
. (7.35)
y la ecuacin resultante es fcilmente resuelta para la solucin particular
r
3
=
c
3
16.
2
0
_
,
2
+
c
2
3.
2
0
_
cos (3.t) . (7.36)
Recapitulando, vemos que el efecto de los trminos no lineales de la
ecuacin (7.30), los llamados trminos anarmnicos, es la aparicin de oscila-
ciones con frecuencias mltiplo de la frecuencia fundamental, las llamadas
armnicas, junto a que la frecuencia fundamental no es exactamente la fre-
cuencia propia .
0
, sino que diere de sta en trminos cuadrticos en la
amplitud de la oscilacin fundamental, dados por (7.35).
Captulo 8
Cuerpo rgido
8.1. Cinemtica
Llamamos cuerpo rgido al slido continuo indeformable, en el sentido
que la distancia entre cada par de partculas que lo componen es constante,
independiente de las fuerzas a las que est sometido el cuerpo. De esta man-
era, una forma natural de caracterizar al slido es dar las posiciones de sus
(innitas) partculas referidas a un sistema jo al cuerpo; estas posiciones
sern entonces siempre las mismas; llamemos o
0
a tal sistema. La posicin
de cualquiera de las partculas del slido respecto de un sistema externo o
se podr entonces determinar conociendo la posicin y orientacin del sis-
tema jo al cuerpo, o
0
. La posicin estar dada por la del origen de o
0
y la
orientacin por la de los ejes de o
0
respecto de los de o.
Tomemos un punto cualquiera del cuerpo, caracterizado por su posicin x
en el sistema o. Tomemos el sistema de referencia jo al cuerpo o
0
con origen
en el punto x
0
(no necesariamente dentro del cuerpo); como dijimos, cada
uno de los puntos del cuerpo est caracterizado por un vector de componentes
constantes en este sistema; en particular, llamemos x
0
al vector posicin del
punto x en o
0
. Tenemos entonces que
x = x
0
+x
0
.
y la velocidad de x en el sistema o ser
v =
dx
dt
_
S
=
dx
0
dt
_
S
+
dx
0
dt
_
S
.
donde se ha puesto de maniesto respecto de qu sistema se considera la
variacin en el tiempo del vector en cuestin. Sabemos que, en general,
dx
0
dt
_
S
=
dx
0
dt
_
S
0
+
0
x
0
.
110
CAPTULO 8. CUERPO RGIDO 111
donde en el lado derecho tenemos en cuenta posibles variaciones del vector x
0
en o
0
(el primer trmino), y las variaciones debidas a la rotacin del sistema
o
0
alrededor de su origen C. Como el vector x
0
no vara en o
0
, tenemos
nalmente que
v =
dx
0
dt
_
S
+
0
x
0
.
o sea,
v = v
0
+
0
(x x
0
) . (8.1)
Si en lugar de tomar el origen de o
0
en el punto C lo tomramos en,
digamos, el punto C
0
, la velocidad de x se escribira
v = v
0
0 +
0
0 (x x
0
0 ) . (8.2)
Por otro lado, podemos escribir que
v
0
0 = v
0
+
0
(x
0
0 x
0
) .
que podemos reescribir, sumando y restando x dentro del parntesis,
v
0
0 = v
0
+
0
(x x
0
) +
0
(x
0
0 x) .
y que al reemplazar en (8.2) nos da
v = v
0
+
0
(x x
0
) + (
0
0
0
) (x x
0
0 ) .
que al comparar con (8.1) indica que
(
0
0
0
) (x x
0
0 ) = 0
para cualesquiera puntos C, C
0
y x, que slo es posible si
0
0 =
0
.
De esta manera, cualquiera sea el origen que elijamos para el sistema o
0
,
la velocidad de rotacin de los ejes alrededor de este origen (y con ello la
orientacin instante a instante de los ejes de o
0
respecto de los de o) ser la
misma. Podemos entonces identicar la rotacin del slido con la de cualquier
sistema de referencia unido a l, y denotaremos simplemente como a esta
velocidad para escribir la (8.1) en general como
v = v
0
+(x x
0
) . (8.3)
Ntese que ni siquiera es necesario que el origen C de o
0
est contenido dentro
del cuerpo; lo nico que se us es que o
0
est jo al slido.
Si multiplicamos escalarmente (8.3) por tenemos
v = v
0
(8.4)
para cualquier C, por lo que, si en un instante dado la velocidad de una de
las partculas del slido satisface v l , entonces, por ser C arbitrario, es
perpendicular a la velocidad de todos los puntos del sistema jo al cuerpo.
Puede entonces elegirse un punto C
0
de este sistema tal que su velocidad sea
nula (basta elegir el x
0
0 que cumple v
0
+(x
0
0 x
0
) = 0, lo que es siempre
posible por la condicin de velocidades todas perpendiculares a ). As, el
cuerpo en el instante considerado est rotando con alrededor de C
0
sin
translacin de este punto. El eje paralelo a que pasa por C
0
es denominado
eje instantneo de rotacin.
Si la velocidad de los puntos del cuerpo no fuese perpendicular a la
(8.4) nos dice que todos los puntos del cuerpo tienen igual componente de
velocidad en la direccin de , por lo que, en el instante considerado, en
un sistema que se moviera con la velocidad apropiada en la direccin de
tendramos las condiciones del punto anterior; esto es, velocidades todas
perpendiculares a . As, siempre puede descomponerse (instantneamente)
el movimiento del rgido ya sea en una rotacin pura sola, o en una rotacin
ms una translacin a lo largo del eje de rotacin (movimiento de tirabuzn).
8.1.1. Matrices de rotacin
Recordemos brevemente algunas caractersticas de estas matrices. Para
jar ideas consideraremos matrices asociadas a espacios vectoriales de dimen-
sin tres. El punto es que si tenemos dos sistemas de coordenadas, o y o
0
,
cuyos orgenes coinciden, pero la orientacin de sus ejes es distinta, un mis-
mo vector x tendr distintas componentes en cada uno de ellos. Llamemos
(r. . .) a las componentes de x en o, y (r
0
.
0
. .
0
) a sus componentes en o
0
.
Si denimos vectores columna
x =
_
_
r
.
_
_
; x
0
=
_
_
r
0
0
.
0
_
_
.
lo que llamamos matriz de rotacin R es la que relaciona ambos conjuntos
de componentes como
x
0
= Rx.
Como el mdulo del vector es el mismo en ambos sistemas tenemos que
(el suprandice 1 indica transposicin matricial)
x
T
x = x
0T
x
0
= (Rx)
T
Rx = x
T
R
T
Rx.
lo que nos dice que (1 es la matriz identidad)
R
T
R = 1.
por lo que la transpuesta de R es su propia inversa; esto es, R es ortogonal.
Una propiedad inmediata es que
det
_
R
T
R
_
= det
_
R
T
_
det (R) = [det (R)]
2
= det (1) = 1.
por lo que el determinante de R vale 1. El signo + corresponde a rotaciones
puras y el a rotaciones ms inversin de ejes (transformacin esta ltima
que tambin preserva el mdulo de los vectores, que fue lo nico usado para
deducir la ortogonalidad de R).
Escribamos la ecuacin para calcular los autovectores u de R
Ru = ù.
y su transpuesta conjugada (el suprandice u indica transposicin matricial
seguida de conjugacin compleja; el suprandice + indica conjugacin com-
pleja)
u
u
R
u
= `
u
u
.
Como R es una matriz real, es R
u
= R
T
, por lo que, multiplicando ambas
ecuaciones miembro a miembro y usando la condicin de ortogonalidad de
R, tenemos
u
u
R
u
Ru = u
u
u = `
ù
u
u = [`[
2
u
u
u.
lo que nos dice que [`[
2
= 1; todos los autovalores de una matriz ortogonal
tienen mdulo uno.
La ecuacin de los autovalores
det (R`1) = 0.
es una ecuacin con coecientes reales (por estar determinados por R que es
real) de manera que sus races ` son reales o complejas, y en este caso apare-
cen de a pares conjugados. En el caso que nos interesa, de dimensin tres,
la ecuacin es cbica y debe haber entonces tres races (no necesariamente
todas distintas). As, al menos una de las races ser real y por lo tanto debe
valer 1. El signo indicara que al aplicar R al autovector correspondiente
se obtiene a ste con sentido invertido, lo cual no corresponde a una rotacin,
sino a una reexin; como consideramos slo matrices de rotaciones puras el
signo debe ser +. La consecuencia importante es entonces que para una ma-
triz de rotacin existe al menos un vector cuyas componentes no cambian al
serle aplicada la matriz; la direccin de este vector invariante corresponde
claramente al eje de rotacin.
Finalmente, si tenemos una matriz Agenerada como el producto matricial
de dos matrices de rotacin R
1
y R
2
, A = R
1
R
2
, tenemos
A
T
A = (R
1
R
2
)
T
R
1
R
2
= R
T
2
R
T
1
R
1
R
2
= R
T
2
R
2
= 1.
o sea que el producto de dos matrices ortogonales es tambin una matriz
ortogonal; en particular, si ambas son de rotacin pura (determinante +1),
la matriz producto tambin lo ser (el determinante de un producto es el
producto de los determinates). Recurdese que el producto de matrices es
no conmutativo (R
1
R
2
,= R
2
R
1
), salvo que ambas matrices correspondan a
rotaciones alrededor del mismo eje.
Ms generalmente, sabemos que las matrices ortogonales de dimensin d
d, con la operacin producto de matrices, forman un grupo (no conmutativo
o no abeliano), el grupo ortogonal C(d), que por depender de parmetros
continuos, los ngulos de rotacin, es tambin un grupo de Lie. La restriccin
a slo rotaciones puras es un subgrupo de C(d), denominado grupo especial
y denotado oC(d). El grupo que nos interesar es el de rotaciones puras en
el espacio de dimensin tres, el oC(3).
8.1.2. ngulos de Euler
Tenemos entonces que la orientacin de un cuerpo rgido est dada por la
de los ejes del sistema o
0
solidario al cuerpo, y su posicin por la del origen
x
0
de tal sistema. Consideremos que en t = 0 el sistema o
0
coincide con uno
jo al espacio, el o. Al transcurrir el tiempo la translacin se describe por
la posicin del origen de o
0
, x
0
(t), lo que no presenta dicultades especiales.
Concentrmonos en las rotaciones; sabemos que si x(t) es el vector posicin
de un punto del cuerpo en el instante t, el vector x(t) x
0
(t) tiene siempre
las mismas componentes en o
0
; la rotacin se describir por cmo cambian
estas componentes en el sistema o (ntese que la translacin no afecta a estas
ltimas). Si el cuerpo tiene en t una velocidad angular (t), el cambio del
vector x(t) x
0
(t) en un dt es
d [x(t) x
0
(t)] = (t) [x(t) x
0
(t)] dt;
por lo que, integrando desde t = 0,
x(t) x
0
(t) = x(0) x
0
(0) +
_
t
0
(t
0
) [x(t
0
) x
0
(t
0
)] dt
0
.
Cada (t
0
) [x(t
0
) x
0
(t
0
)] dt
0
corresponde a una rotacin innitesimal (de
eje denido por la direccin de (t
0
) y ngulo [(t
0
)[ dt
0
), y el valor de
x(t)x
0
(t) es la composicin de todas estas rotaciones, que por la propiedad
de grupo es tambin una rotacin. Esto signica que, por complicada que haya
sido la sucesin de rotaciones del slido, el estado resultante en un tiempo
cualquiera es el de una rotacin equivalente, con su matriz correspondiente,
con un dado eje de rotacin (dado por el autovector de autovalor 1 de la
matriz), tal que un nico giro de ngulo apropiado alrededor de este eje lleva
la orientacin del slido del estado inicial al actual. Esto se conoce como teo-
rema de Euler. Dado que, obviamente, el origen del sistema o
0
puede llevarse
de su estado inicial al actual a travs de una nica translacin, podemos decir
que el estado genrico de un slido puede ser descripto en cada instante por
una dada translacin y una dada rotacin desde su estado inicial, lo que se
denomina teorema de Chasles.
As, una posible descripcin del movimento del slido podra consistir
en la posicin instantnea del origen de o
0
, el x
0
(t), junto con el eje de la
rotacin equivalente, dado por el versor n(t), y el ngulo equivalente (t)
girado alrededor de ste; un total de seis parmetros.
La determinacin de n(t) y (t) es un problema difcil, y resulta en la
prctica ms conveniente usar otra parametrizacin de la rotacin equiva-
lente, que es la dada por los ngulos de Euler.
Para denir stos llamemos (r. . .) a los ejes del sistema o y (r
1
. r
2
. r
3
)
a los de o
0
. Si un vector r tiene componentes (r. . .) en o, y componentes
(r
1
. r
2
. r
3
) en o
0
, sabemos que en cada instante una nica rotacin, de matriz
A, relaciona a ambas:
_
_
r
1
r
2
r
3
_
_
= A
_
_
r
.
_
_
. (8.5)
Veamos cmo sera Asi los ejes . y r
3
coincidieran y o
0
estuviese girado un
ngulo c alrededor de este eje comn (en la gura se representa la proyeccin
de r sobre el plano r. )
Vemos en la gura que es
r
1
= : cos (c c) = : cos ccos c + : sin csin c
= r cos c + sin c.
r
2
= : sin (c c) = : sin ccos c : cos csin c
= cos c r sin c.
con lo que podemos escribir
_
_
r
1
r
2
r
3
_
_
=
_
_
cos c sin c 0
sin c cos c 0
0 0 1
_
_
_
_
r
.
_
_
.
La parametrizacin en ngulos de Euler corresponde a escribir la matriz
A como el producto de tres rotaciones de o
0
similares a la vista (una de ellas
es exactamente sa), parametrizada cada una por un nico ngulo:
A = B() C(o) D(c) . (8.6)
D(c) corresponde al giro ya visto de o
0
con ngulo c alrededor del eje .
de o, y tiene entonces componentes
D(c) =
_
_
cos c sin c 0
sin c cos c 0
0 0 1
_
_
; (8.7)
el sistema o
0
as rotado se hace girar ahora un ngulo o alrededor de su eje
r
1
, que se designa convencionalmente en este estado intermedio para no
confundirlo con el r
1
denitivo. La matriz correspondiente es entonces
C(o) =
_
_
1 0 0
0 cos o sin o
0 sin o cos o
_
_
. (8.8)
Finalmente, se gira o
0
alrededor de su eje r
3
un ngulo , con lo que se tiene
B() =
_
_
cos sin 0
sin cos 0
0 0 1
_
_
. (8.9)
Ntese que el eje denominado es simultneamente perpendicular a .
y a r
3
, y determina la llamada lnea de nodos. El giro arbitrario de o
0
se
parametriza entonces como un giro alrededor de ., seguido de uno alrededor
de la lnea de nodos , seguido a su vez por otro alrededor de r
3
.
Esta parametrizacin es conceptualmente sencilla y, adems, la velocidad
instantnea de rotacin es muy sencilla de escribir en trminos de las
velocidades de variacin de c, o y . En efecto, si la orientacin de o
0
pasa
de estar descripta en t por c, o y , a serlo en t + dt por c + dc, o + do
y + d, para calcular cada una de estas variaciones puede considerarse
que ocurre alrededor del eje correspondiente tal como se encuentra en t, y la
velocidad es simplemente la suma vectorial de cada una de estas velocidades.
As,
_
tiene la direccin del eje r
3
;
_
o tiene la direccin de la lnea de
nodos, o sea,
_
o cos en r
1
y
_
o sin en r
2
; nalmente,
_
c tiene la direccin
de ., con lo que es
_
ccos o en r
3
,
_
csin o sin en r
1
, y
_
csin o cos en r
2
.
Reuniendo todo esto, las componentes en o
0
de la velocidad angular son
1
=
_
csin o sin +
_
o cos .
2
=
_
csin o cos
_
o sin . (8.10)
3
=
_
+
_
ccos o.
De igual manera, las componentes en o se obtienen fcilmente.
_
c tiene la
direccin de .;
_
o tiene la direccin de la lnea de nodos, o sea,
_
o cos c en r y
_
o sin c en ; nalmente,
_
tiene la direccin del eje r
3
, con lo que es
_
cos o
en .,
_
sin o sin c en r, y
_
sin o cos c en . Reuniendo esto es
a
=
_
o cos c +
_
sin o sin c.
j
=
_
o sin c
_
sin o cos c. (8.11)
:
=
_
c +
_
cos o.
Desde ya, (8.10) y (8.11) estn relacionadas por la forma general (8.5)
con la A dada por (8.6), (8.7), (8.8) y (8.9), como es fcil comprobar.
8.2. Dinmica
8.2.1. Energa cintica
Calculemos la energa cintica del slido. Para esto denominamos con un
subndice i cada una de las partculas que lo componen. Desde ya, consider-
amos el slido como un continuo de materia, pero la notacin es menos pesada
y ms clara si tratamos al cuerpo como un conjunto discreto de partculas;
el paso al continuo es evidente. Escribimos entonces la velocidad de cada
partcula del cuerpo usando (8.3) como
v
i
= v
0
+r
i
. (8.12)
donde hemos escrito
r
i
= x
i
x
0
.
con lo que
[v
i
[
2
= (v
0
+r
i
) (v
0
+r
i
)
= [v
0
[
2
+ 2v
0
(r
i
) +[r
i
[
2
.
Usamos ahora la propiedad de conmutatividad cclica del producto mixto
para escribir los ltimos dos trminos como
2v
0
(r
i
) = 2r
i
(v
0
) .
y
[r
i
[
2
= (r
i
) (r
i
)
= r
i
[(r
i
) ] . (8.13)
respectivamente, y usamos la identidad vectorial
A(BC) = B(A C) C(A B) . (8.14)
para escribir, de la (8.13),
(r
i
) = (r
i
)
= r
i
[[
2
( r
i
) .
con lo que la (8.13) resulta
[r
i
[
2
= [r
i
[
2
[[
2
( r
i
)
2
.
Podemos entonces escribir la energa cintica del slido
1 =
1
2
i
:
i
[v
i
[
2
=
1
2
i
:
i
[v
0
[
2
+
i
:
i
r
i
(v
0
)
+
1
2
i
:
i
_
[r
i
[
2
[[
2
( r
i
)
2
.
Llamando ` =

i
:
i
a la masa total del cuerpo, y teniendo en cuenta
que la posicin del centro de masas X
CA
cumple con

i
:
i
x
i
= `X
CA
,
reescribimos a 1 (recordemos que r
i
= x
i
x
0
)
1 =
1
2
`[v
0
[
2
+ ` (X
CA
x
0
) (v
0
)
+
1
2
i
:
i
_
[r
i
[
2
[[
2
( r
i
)
2
.
Se identican claramente la contribucin del movimiento de translacin
puro (primer trmino), un trmino mixto, y una contribucin de la rotacin
pura (ltimo trmino). Para reescribir este ltimo de manera ms til, con-
sidermoslo en trminos de las componentes cartesianas de los vectores in-
tervinientes
= (
1
.
2
.
3
) .
r
i
=
_
:
(i)
1
. :
(i)
2
. :
(i)
3
_
.
que designamos con un subndice alfabtico (que toma los valores 1, 2 3),
para escribir
[r
i
[
2
[[
2
= [r
i
[
2
|
o
|I
.
( r
i
)
2
=
I
|
:
(i)
I
:
(i)
|
.
donde se ha usado la delta de Kronecker o
|I
, y la convencin de Einstein de
sumar sobre los ndices vectoriales repetidos. As, podemos escribir
i
:
i
_
[r
i
[
2
[[
2
( r
i
)
2
=
I
i
:
i
_
[r
i
[
2
o
|I
:
(i)
I
:
(i)
|
_
.
y denimos el tensor de inercia, referido al origen x
0
(por ser r
i
= x
i
x
0
)
1
0
I|
=
i
:
i
_
[r
i
[
2
o
|I
:
(i)
I
:
(i)
|
_
. (8.15)
que en el caso de distribucin continua de materia escribimos como
1
0
I|
=
_
j (r)
_
[r[
2
o
|I
:
I
:
|
d
3
:. (8.16)
donde j (r) es la densidad de masa local del cuerpo, y la integral est extendi-
da a todo su volumen. Notemos que este tensor depende el origen x
0
respecto
del cual se miden los r de cada punto del cuerpo, y que es una propiedad del
cuerpo mismo (no de su estado de movimiento) que se requiere calcular para
cada slido estudiado.
La energa cintica se escribe entonces de manera compacta como
1 =
1
2
`[v
0
[
2
+ ` (X
CA
x
0
) (v
0
) +
1
2
1
0
I|
|
. (8.17)
Un punto til es que si se elige el origen x
0
coincidiendo con el centro de
masas el trmino mixto se anula y la energa cintica se descompone en dos
trminos, uno de translacin y otro de rotacin (tambin sucede esto, para
cualquier x
0
, si v
0
| ). Es conveniente entonces elegir x
0
= X
CA
, con lo que
(no usamos suprandice alguno cuando el tensor de inercia se reere al C`)
1 =
1
2
`[v
CA
[
2
+
1
2
1
I|
|
. (8.18)
Si representamos con la matriz I al tensor de inercia
I =
_
_
1
11
1
12
1
13
1
21
1
22
1
23
1
31
1
32
1
33
_
_
.
y con el vector columna la velocidad angular
=
_
_

1
3
_
_
.
podemos escribir en representacin matricial la energa cintica de rotacin
como
1
vct
=
1
2
T
I.
8.2.2. Teorema de Steiner
til si conocido el tensor de inercia respecto del C` quisiera calculrselo
respecto de un origen x
0
genrico. Supongamos que x
0
= X
CA
+ a, con lo
que si r es la posicin de un punto genrico del cuerpo respecto del C`, o
sea, x = X
CA
+r, tenemos que su posicin respecto de x
0
es
r
0
= x x
0
= r a;
de la denicin (8.16), debemos calcular
[r
0
[
2
= [r[
2
2r a +[a[
2
.
:
0
I
:
0
|
= :
I
:
|
:
I
c
|
c
I
:
|
+ c
I
c
|
.
De los trminos a la derecha de estas igualdades los que son lineales en r dan
contribucin nula a la integral en (8.16) por ser posiciones referidas al C`:
_
j (r) rd
3
: = 0.
con lo que
1
0
I|
=
_
j (r
0
)
_
[r
0
[
2
o
|I
:
0
I
:
0
|
_
d
3
:
0
=
_
j (r)
_
[r[
2
o
|I
:
I
:
|
d
3
: +
_
[a[
2
o
|I
c
I
c
|
_
j (r) d
3
:
= 1
I|
+ `
_
[a[
2
o
|I
c
I
c
|
.
Igualdad til conocida como teorema de Steiner.
8.2.3. Momento angular
Hemos visto al principio del curso que el momento angular L
0
0
respecto
de un sistema cuyo origen x
0
se translada respecto de un sistema jo, est
relacionado con el referido a este sistema jo, L, por (todo lo no primado se
reere a este sistema; P = `
_
X
CA
)
L = L
0
0
+x
0
P+ ` X
CA
_ x
0
`x
0
_ x
0
.
En particular, si x
0
= X
CA
, esta relacin se simplica a
L = L
0
CA
+X
CA
P. (8.19)
Vemos entonces que es muy conveniente calcular el momento angular respecto
al centro de masas
L
0
CA
=

i
:
i
r
i
v
0
i
.
en la que v
0
i
es la velocidad de la partcula del cuerpo respecto del centro de
masas. Tengamos en cuenta que consideramos un sistema que se translada
con el centro de masas, pero que no rota, de manera que v
0
i
contiene slo la
contribucin de la rotacin del cuerpo:
v
0
i
= r
i
.
con lo que tenemos (sobreentendemos el subndice C` de L
0
CA
)
L
0
=

i
:
i
r
i
(r
i
) .
Aplicando la indentidad (8.14) escribimos
r
i
(r
i
) = [r
i
[
2
r
i
( r
i
) .
que en componentes cartesianas es
[r
i
(r
i
)]
I
=
I
[r
i
[
2
:
(i)
I

|
:
(i)
|
=
|
_
[r
i
[
2
o
I|
:
(i)
I
:
(i)
|
_
.
con lo que, nalmente,
1
0
I
=

i
:
i
_
[r
i
[
2
o
I|
:
(i)
I
:
(i)
|
_
|
= 1
I|
|
. (8.20)
En representacin matricial es
L
0
= I.
8.2.4. Ejes principales del tensor de inercia
El tensor de inercia es entonces fundamental para determinar la energa
cintica y el momento angular del slido. De su denicin (8.15) o (8.16)
vemos que es un tensor simtrico; como tambin es real sabemos entonces
que puede ser siempre diagonalizable; esto es, existen tres ejes ortogonales, tal
que si es calculado respecto de ellos su expresin es una matriz diagonal (los
elementos de la diagonal son en general distintos); estos ejes se denominan
ejes principales. Tomemos los ejes principales como los del sistema jo a
cuerpo, o
0
, respecto de los cuales podemos escribir (en notacin matricial)
I =
_
_
1
1
0 0
0 1
2
0
0 0 1
3
_
_
.
Para un cuerpo genrico los ejes principales se obtienen calculando el ten-
sor de inercia en un sistema ortogonal dado y luego buscando sus autovec-
tores. stos denen entonces la matriz ortogonal que representa la transfor-
macin desde los ejes originales usados a los ejes principales.
Si el cuerpo tiene una distribucin de masa que es simtrica respecto
de un plano, es fcil ver que dos de los ejes principales estn contenidos en
este plano y el tercero es perpendicular a l. En efecto, si elegimos el eje r
3
perpendicular al plano de simetra de la distribucin de masa del cuerpo, y
su origen en l, tenemos que, para | ,= 3,
1
3|
=
_
j (r) :
3
:
|
d
3
: = 0.
ya que para cada valor de :
|
existen valores simtricos de j (r) por encima y
por debajo del plano de simetra, en los cuales :
3
toma valores de igual mdulo
y signo distinto. La forma del tensor en este sistema de ejes es entonces
I =
_
_
1
11
1
12
0
1
21
1
22
0
0 0 1
3
_
_
.
por lo que basta diagonalizar la submatriz correspondiente al plano de simetra.
Un subcaso particular importante corresponde a distribucin de masa
con simetra de revolucin. En tal caso cualquier plano que contiene al eje
de revolucin es un plano de simetra, lo que nos dice que este eje es un eje
principal y, adems, que cualesquiera dos ejes perpendiculares a ste (y por
lo tanto contenidos cada uno de ellos en alguno de los innitos planos de
simetra) son tambin ejes principales.
Expresados el tensor de inercia y la velocidad angular en componentes
sobre los ejes principales, las expresiones de la energa cintica y del momento
angular son muy sencillas:
1 =
1
2
`[v
CA
[
2
+
1
2
_
1
1
2
1
+ 1
2
2
2
+ 1
3
2
3
_
. (8.21)
y
L
0
= 1
1
1
e
1
+ 1
2
2
e
2
+ 1
3
3
e
3
. (8.22)
Damos a continuacin una lista de tensores de inercia correspondientes
a slidos con densidad de masa uniforme y diferentes formas, referidos a sus
ejes principales respectivos; el origen est siempre en el centro de masas (la
masa del cuerpo se denomina ` en todos los casos):
1) Varilla na de longitud |, eje r
3
a lo largo de ella:
1
1
= 1
2
=
`|
2
12
.
1
3
= 0.
2) Disco delgado de radio 1, eje r
3
perpendicular al disco:
1
1
= 1
2
=
`1
2
4
.
1
3
=
`1
2
2
.
3) Cilindro de radio 1 y longitud |, eje r
3
a lo largo de l:
1
1
= 1
2
=
`
4
_
1
2
+
|
2
3
_
.
1
3
=
`1
2
2
.
4) Esfera de radio 1:
1
1
= 1
2
= 1
3
=
2
5
`1
2
.
5) Paraleleppedo de lado c en la direccin de r
1
, lado / en la de r
2
, y
lado c en la de r
3
:
1
1
=
`
12
_
/
2
+ c
2
_
.
1
2
=
`
12
_
c
2
+ c
2
_
.
1
3
=
`
12
_
c
2
+ /
2
_
.
6) Elipsoide de semieje c en la direccin de r
1
, semieje / en la de r
2
, y
semieje c en la de r
3
:
1
1
=
`
5
_
/
2
+ c
2
_
.
1
2
=
`
5
_
c
2
+ c
2
_
.
1
3
=
`
5
_
c
2
+ /
2
_
.
7) Cono circular de altura / y radio de base 1, eje r
3
a lo largo de su eje.
El centro de masas est sobre el eje a /,4 de la base.
1
1
= 1
2
=
3
20
`
_
1
2
+
/
2
4
_
.
1
3
=
3
10
`1
2
.
8.3. Ecuaciones de Euler
Las ecuaciones de Euler son simplemente la ley de variacin del momento
angular. Si K es la cupla actuante sobre el slido, referida al origen de o,
sabemos que
dL
dt
= K. (8.23)
que usando (8.19) escribimos como (siempre sobreentendemos el subndice
C` de L
0
)
dL
0
dt
+
_
X
CA
P+X
CA

_
P = K.
Por supuesto, el segundo trmino del lado izquierdo es nulo y
_
P es igual
a la fuerza F sobre el slido, por lo que tenemos
dL
0
dt
= KX
CA
F = K
0
.
La derivada temporal corresponde a la variacin, referida al sistema o, de L
0
en el tiempo, que podemos escribir en trminos de la variacin referida a o
0
dL
0
dt
_
S
=
dL
0
dt
_
S
0
+L
0
.
que nos permite escribir
dL
0
dt
_
S
0
+L
0
= K
0
.
Si el sistema o
0
es el de los ejes principales de inercia estas ecuaciones tienen
una representacin muy sencilla. En estos ejes es, de (8.22),
1
0
1
= 1
1
1
.
1
0
2
= 1
2
2
.
1
0
3
= 1
3
3
.
y es justamente la variacin de estas componentes la que corresponde a la
variacin de L
0
respecto de o
0
; o sea,
dL
0
dt
_
S
0
= 1
1
d
1
dt
e
1
+ 1
2
d
2
dt
e
2
+ 1
3
d
3
dt
e
3
.
con lo que (haciendo el producto vectorial L
0
) podemos escribir en com-
ponentes sobre los ejes principales
1
1
d
1
dt
+
2
3
(1
3
1
2
) = 1
0
1
.
1
2
d
2
dt
+
1
3
(1
1
1
3
) = 1
0
2
. (8.24)
1
3
d
3
dt
+
1
2
(1
2
1
1
) = 1
0
3
.
que son las ecuaciones de Euler.
Notemos que estamos usando ejes mviles (jos al cuerpo) para escribir
sobre ellos las componentes de una ecuacin vectorial vlida en el sistema de
referencia de ejes jos al espacio, o.
Si en estas ecuaciones introducimos las expresiones (8.10) y damos la
forma explcita de las cuplas 1
0
i
tendremos ecuaciones para los ngulos de
Euler, la solucin de las cuales nos da la orientacin del cuerpo al transcurrir
el tiempo. Por supuesto, siempre podemos escribir las ecuaciones de Lagrange
usando la expresin (8.21) para la energa cintica junto con las (8.10) y
obtendramos ecuaciones equivalentes. Sin embargo, las ecuaciones de Euler
son en s mismas de primer orden de derivacin y pueden muchas veces
integrarse para obtener las componentes de , lo que lleva a que las (8.10)
resulten ecuaciones de primer orden para los ngulos de Euler. Adems, el
conocimiento de slo proporciona informacin til por s misma.
8.4. Movimiento del cuerpo slido libre
8.4.1. Construccin de Poinsot
Consideremos el movimiento general de un slido arbitrario no sometido
a fuerzas ni torques externos. En particular, aprovecharemos que el centro de
masas se mueve con velocidad constante para describir el movimiento desde
un sistema en el que el centro de masas est quieto. La energa cintica, que
es constante, tiene en este sistema la contribucin rotacional solamente, que
usando ejes principales podemos escribir
1 =
1
2
_
1
1
2
1
+ 1
2
2
2
+ 1
3
2
3
_
. (8.25)
Asimismo, el momento angular, tambien constante, corresponde al L
0
CA
:
L = 1
1
1
e
1
+ 1
2
2
e
2
+ 1
3
3
e
3
. (8.26)
Notemos que podemos escribir la relacin til
1 =
1
2
L . (8.27)
La constancia de (8.25) y (8.26) permite hacer una descripcin geomtrica
del movimiento a partir de la llamada construccin de Poinsot. Para esto
escribamos (8.25) como
2
1
2T
1
1
+

2
2
2T
1
2
+

2
3
2T
1
3
= 1.
que corresponde, en un espacio de ejes
_
1
.
2
.
3
_
, a un elipsoide de semiejes
_
21,1
1
,
_
21,1
2
y
_
21,1
3
, denominado elipsoide de inercia.
Si consideramos la funcin
1
_
1
.
2
.
3
_
=

2
1
2T
1
1
+

2
2
2T
1
2
+

2
3
2T
1
3
.
tenemos que 1 (
1
.
2
.
3
) = 1 y que, por ejemplo,
J1
J
1
=
1
1
1
1
;
con lo que, como 1
1
1
= 1
1
, el gradiente de 1 evaluado en (
1
.
2
.
3
)
es paralelo a L. As, el plano tangente al elipsoide de inercia en el punto
(
1
.
2
.
3
) del espacio
_
1
.
2
.
3
_
es perpendicular a L. Como L es con-
stante, este plano es jo y el elipsoide se mueve teniendo un punto de contacto
sobre l. Es ms, como por el punto de contacto pasa el eje de giro instan-
tneo ( une el centro del elipsoide con el punto de contacto) este punto
est instantneamente en reposo, por lo que el elipsoide de inercia rueda sin
deslizar sobre el plano invariante. Finalmente, la distancia del centro del
elipsoide al plano est dada por
L
[L[
=
21
[L[
.
(por (8.27)) que es claramente constante.
Esta construccin geomtrica de Poinsot nos dice entonces que el elipsoide
de inercia se mueve sobre el plano invariante perpendicular a L, rodando por
l sin deslizar y manteniendo ja la distancia de su centro al plano. Como
el elipsoide de inercia est asociado unvocamente al cuerpo (el eje

1
es
paralelo al r
1
, etc.), el movimiento de aqul nos determina el de ste.
La curva que pinta el punto de contacto sobre el elipsoide es denomi-
nada polodia, la que pinta sobre el plano herpolodia.
8.4.2. Otra representacin geomtrica
Otra representacin geomtrica til puede hacerse en el espacio de ejes
de momento angular
_
1
1
.
1
2
.
1
3
_
. En efecto, escribiendo que
[L[
2
= 1
2
1
+ 1
2
2
+ 1
2
3
.
y
21 =
1
2
1
1
1
+
1
2
2
1
2
+
1
2
3
1
3
.
es claro que el movimiento debe efectuarse en el espacio
_
1
1
.
1
2
.
1
3
_
en la
interseccin de la esfera de radio [L[ y el elipsoide de semiejes
_
211
1
,
_
211
2
y
_
211
3
. Que estos cuerpos se intersectan se ve al considerar que, tomando
1
1
1
2
1
3
,
211
1
= 1
2
1
2
1
+ 1
1
1
2
2
2
+ 1
1
1
3
2
3
_ 1
2
1
2
1
+ 1
2
2
2
2
+ 1
2
3
2
3
= [L[
2
.
y, anlogamente,
211
3
_ [L[
2
.
La curva que resulta de la interseccin nos indica los puntos por los que
transita el vector L en el espacio
_
1
1
.
1
2
.
1
3
_
al moverse el slido libre.
Por supuesto, L es un vector constante en el sistema jo al espacio, pero
sus componentes sobre el sistema jo al cuerpo cambian siguiendo la curva
mencionada. El movimiento del cuerpo es entonces interpretable teniendo en
cuenta que el eje

1
1
es paralelo al r
1
, etc..
8.4.3. Estabilidad de la rotacin alrededor de los ejes
principales
De la construcciones anteriores es claro que si L es paralelo a alguno de los
ejes principales el slido permanece siempre en esa posicin. Estudiemos en-
tonces la estabilidad de este tipo particular de movimiento libre, proponiendo
que la velocidad angular tiene su componente ms importante a lo largo de
un eje principal, con componentes innitesimales sobre los dems. Tenemos
entonces, por ejemplo, para rotacin a lo largo del eje r
1
= (
0
+
1
) e
1
+
2
e
2
+
3
e
3
.
con los
0
: velocidades innitesimales. Elegimos adems los ejes principales
para que se satisfaga
1
1
1
2
1
3
. (8.28)
Escribimos ahora las ecuaciones de Euler (8.24) reteniendo slo trminos
de primer orden en los
0
:
1
1
d
1
dt
= 0.
1
2
d
2
dt
+ (1
1
1
3
)
0
3
= 0.
1
3
d
3
dt
+ (1
2
1
1
)
0
2
= 0.
De la primera es sencillamente
1
= ctc. Mientras que si derivamos re-
specto del tiempo una de las otras y usamos la restante para eliminar la
derivada primera obtenemos inmediatamente
d
2
2
dt
2
+
(1
1
1
2
) (1
1
1
3
)
1
2
1
3

2
0
2
= 0.
d
2
3
dt
2
+
(1
1
1
2
) (1
1
1
3
)
1
2
1
3

2
0
3
= 0.
Por las condiciones (8.28) vemos que el factor que multiplica a
2
y
3
en las
ecuaciones anteriores es positivo, por lo que
2
y
3
oscilan armnicamente
alrededor del valor cero con frecuencia angular
.
1
=
0
_
(1
1
1
2
) (1
1
1
3
)
1
2
1
3
.
Podemos decir entonces que pequeos apartamientos iniciales del giro puro
alrededor del eje r
1
siguen permaneciendo pequeos al transcurrir el tiempo.
Si repetimos esta deduccin para giros alrededor del eje r
3
( =
1
e
1
+
2
e
2
+(
0
+
3
) e
3
), obtenemos que
1
y
2
oscilan armnicamente alrededor
del valor cero con frecuencia angular
.
3
=
0
_
(1
3
1
1
) (1
3
1
2
)
1
1
1
2
.
Sin embargo, para giros alrededor del eje con valor intermedio del momen-
to de inercia, el r
2
, al proponer que =
1
e
1
+(
0
+
2
) e
2
+
3
e
3
obtenemos
para
1
y
3
d
2
1,3
dt
2
+
(1
2
1
3
) (1
2
1
1
)
1
1
1
3

2
0
1,3
= 0.
en la que el factor que multiplica a
1,3
es ahora negativo, con lo que la
solucin de esta ecuacin corresponde a exponenciales, una creciente y otra
decreciente, con tiempo caracterstico t
2
dado por
t
1
2
=
0
_
(1
2
1
3
) (1
1
1
2
)
1
1
1
3
.
La rotacin alrededor del eje r
2
es entonces inestable; un apartamiento inicial
pequeo no permanece as.
De la construccin geomtrica en el espacio
_
1
1
.
1
2
.
1
3
_
puede verse lo
anterior. Cuando tiene componente slo sobre uno de los ejes principales,
la interseccin entre la esfera y el elipsoide es un punto, por lo que el cuerpo
permanece rotando alrededor del eje considerado. Cuando existen pequeas
componentes sobre los otros ejes, sin embargo, la interseccin es una curva
cerrada muy similar a una elipse cuando la componente principal de es
sobre los ejes r
1
o r
3
, con lo que el movimiento ser acotado alrededor del
eje dado. Si la componente ms importante de es sobre el eje r
2
, la curva
interseccin de esfera y elipsoide es similar a una hiprbola, con lo que el
vector L se aleja de r
2
.
8.4.4. Elipsoide con simetra de revolucin
Un caso relativamente sencillo de estudiar es el del slido con dos mo-
mentos de inercia iguales, digamos 1
1
e 1
2
, con lo que el elipsoide de inercia
asociado es de revolucin alrededor del eje

3
. En este caso, es inmediato
ver que la rodadura del elipsoide en las condiciones de Poinsot describe una
herpolodia circular alrededor de L, con lo que precede alrededor del vector
jo L manteniendo un ngulo constante con ste y con el eje

3
(o el r
3
),
por lo que
3
es tambin constante. Llamando o al ngulo jo entre r
3
y L
tenemos que
3
=
1
3
1
3
=
[L[ cos o
1
3
.
Ntese que
3
no es la velocidad de rotacin del cuerpo sobre su eje r
3
. En
realidad,
3
es esta velocidad ms la componente sobre r
3
de la velocidad
angular de precesin
jv
alrededor de L.
Si elegimos en el instante considerado al eje r
1
en el plano de L y r
3
, lo
que es siempre posible por ser el elipsoide de revolucin, vemos en la gura
que
jv
sin o =
1
=
1
1
1
1
=
[L[ sin o
1
1
.
con lo cual,
jv
=
[L[
1
1
. (8.29)
La velocidad de rotacin del cuerpo alrededor de su eje r
3
, que en trminos
de los ngulos de Euler es
_
, ser entonces
_
=
3
jv
cos o =
_
1
1
3

1
1
1
_
[L[ cos o. (8.30)
Veamos esto mismo usando las ecuaciones de Euler. Como 1
1
= 1
2
las
ecuaciones de Euler (8.24) se escriben en este caso
1
1
d
1
dt
+
2
3
(1
3
1
1
) = 0.
1
1
d
2
dt

1
3
(1
3
1
1
) = 0.
1
3
d
3
dt
= 0.
de la ltima de las cuales es inmediato que
3
= ctc. Deniendo
.
0
=
3
1
3
1
1
1
1
.
escribimos las dos primeras como
d
1
dt
+ .
0
2
= 0.
d
2
dt
.
0
1
= 0.
Si denimos la funcin compleja \ =
1
+i
2
.multiplicando la segunda
de las ecuaciones anteriores por la unidad imaginaria i, y sumando ambas
resulta
d\
dt
i.
0
\ = 0.
cuya solucin inmediata es
\ = \
0
exp (i.
0
t) .
con \
0
=
01
+i
02
. Elijamos los ejes para que en t = 0 sea
02
= 0, con lo
que, tomando partes real e imaginaria de \ tenemos en este caso
1
=
01
cos (.
0
t) .
2
=
01
sin (.
0
t) .
De esta manera conocemos (t) en componentes sobre el sistema mvil.
Debemos todava determinar cmo es el movimiento del sistema mvil.
Usemos que L es constante y elijamos el eje jo . con la direccin y
sentido de L para escribir L =[L[ e
:
. Las componentes de L en el sistema
mvil estarn dadas entonces (ver (8.5)) por
_
_
1
1
1
2
1
3
_
_
= A
_
_
0
0
[L[
_
_
.
que, usando las expresiones (8.6), (8.7), (8.8) y (8.9), resulta fcilmente en
1
1
= [L[ sin o sin .
1
2
= [L[ sin o cos . (8.31)
1
3
= [L[ cos o.
Como 1
3
= 1
3
3
tenemos de la ltima ecuacin que
cos o =
1
3
3
[L[
(8.32)
es constante; o sea
_
o = 0, con lo que las (8.10) se escriben en este caso
_
csin o sin =
1
.
_
csin o cos =
2
. (8.33)
_
+
_
ccos o =
3
.
Como 1
1
= 1
1
1
y 1
2
= 1
1
2
, cualquiera de las dos primeras de las (8.33) y
la correspondiente de las (8.31) dan
_
c =
[L[
1
1
. (8.34)
que es justamente la velocidad de giro del sistema mvil alrededor del eje .
(o L); esto es, la velocidad angular de precesin
jv
, la (8.29) obtenida antes.
Usando la ltima de las (8.33), la (8.32) y la (8.34) tenemos entonces la
velocidad de rotacin del cuerpo alrededor de su eje r
3
,
_
=
3
_
ccos o =
_
1
1
3

1
1
1
_
[L[ cos o.
que es justamente la (8.30).
8.5. Movimiento de trompos y girscopos
8.5.1. Trompo
Consideremos el movimiento del trompo en presencia de gravedad, con
el punto de apoyo jo. Aprovechando esto ltimo, es conveniente elegir el
sistema jo al cuerpo con origen en este punto al que designaremos C. Como
v
0
= 0 la (8.17) se escribe sencillamente como
1 =
1
2
1
0
I|
|
.
Como el slido es de revolucin un eje principal es el de revolucin mismo,
que llamamos r
3
, al que corresponde momento de inercia 1
3
respecto al C`
. Por supuesto es 1
1
= 1
2
, tambin respecto al C`. Si el slido tiene masa
` y el C` se encuentra a una distancia | (a lo largo del eje) del punto de
apoyo, el teorema de Steiner nos permite calcular inmediatamente que
1
0
1
= 1
0
2
= 1
1
+ `|
2
.
1
0
3
= 1
3
.
con todo lo cual podemos escribir que
1 =
1
2
_
1
1
+ `|
2
_ _
2
1
+
2
2
_
+
1
2
1
3
2
3
.
Usando las (8.10) se obtiene fcilmente
2
1
+
2
2
=
_
c
2
sin
2
o +
_
o
2
.
Como adems la energa potencial se escribe
\ = `q| cos o.
el lagrangiano es entonces
1 =
1
2
_
1
1
+ `|
2
_
_
_
c
2
sin
2
o +
_
o
2
_
+
1
2
1
3
_
_
+
_
ccos o
_
2
`q| cos o.
En lugar de escribir las ecuaciones de Lagrange basta ver que c y son
variables cclicas, y que 1 no depende explcitamente del tiempo. Tenemos
entonces tres constantes de movimiento
J1
J
_
c
=
_
1
1
+ `|
2
_
_
csin
2
o + 1
3
_
_
+
_
ccos o
_
cos o = 1
:
. (8.35)
J1
J
_
= 1
3
_
_
+
_
ccos o
_
= 1
3
. (8.36)
y
_
c
J1
J
_
c
+
_
o
J1
J
_
o
+
_
J1
J
_
1 = 1.
que, como 1 es homogneo de orden dos en las velocidades, resulta simple-
mente igual a 1 + \ :
1
2
_
1
1
+ `|
2
_
_
_
c
2
sin
2
o +
_
o
2
_
+
1
2
1
3
_
_
+
_
ccos o
_
2
+`q| cos o = 1. (8.37)
De las (8.35) y (8.36) tenemos inmediatamente que
_
+
_
ccos o =
1
3
1
3
. (8.38)
_
c =
1
:
1
3
cos o
(1
1
+ `|
2
) sin
2
o
. (8.39)
que al reemplazar en (8.37) nos da
1
2
_
1
1
+ `|
2
_
_
_
o
2
+
(1
:
1
3
cos o)
2
(1
1
+ `|
2
)
2
sin
2
o
_
+ `q| cos o = 1
1
2
3
21
3
= 1
0
.
Deniendo las constantes
c =
1
3
1
1
+ `|
2
.
/ =
1
:
1
1
+ `|
2
.
c =
21
0
1
1
+ `|
2
.
, =
2`q|
1
1
+ `|
2
.
esta ecuacin se reescribe (despus de multiplicar por sin
2
o y reordenar)
_
o
2
sin
2
o = csin
2
o , cos o sin
2
o (/ c cos o)
2
.
Conviene escribir esta ecuacin diferencial para o en trminos de la vari-
able transformada
j = cos o.
para la cual es
_ j =
_
o sin o.
con lo que resulta inmediatamente
_ j
2
= c
_
1 j
2
_
,j
_
1 j
2
_
(/ cj)
2
= (c ,j)
_
1 j
2
_
(/ cj)
2
= 1 (j) . (8.40)
El movimiento en j corresponde entonces al movimiento unidimensional
de una partcula con masa de valor 2 en un potencial efectivo \
c)
(j) =
1 (j) y energa mecnica cero:
_ j
2
+ \
c)
(j) = 0. (8.41)
Por supuesto, los valores fsicos de j = cos o, estn limitados al intervalo
[1. 1] y a valores de \
c)
< 0, o 1 0. Es importante entonces analizar los
ceros (o races) de 1, que sern puntos de retorno del movimiento, entre los
que se desarrollar ste.
La funcin 1 es polinmica de grado tres en j, y cuando [j[ , 1
,j
3
; como , 0, 1 es positiva para j positivo y sucientemente grande y
negativa para valores de j sucientemente negativos. Adems, 1 (j = 1) =
(/ (c)
2
< 0 (salvo el caso / = c; o sea, 1
3
= 1
:
, que corresponde a un
trompo vertical, que no consideramos ahora), por todo lo cual la funcin
tiene al menos una raiz en j 1. Las distintas posibilidades son entonces:
i) Las otras dos races son complejas conjugadas. Signica entonces que
1 < 0 en [1. 1] y no existe entonces solucin fsica.
ii) Las otras dos races son reales y estn ambas fuera del intervalo [1. 1],
con lo que 1 < 0 en [1. 1] como en i).
iii) Una raiz est dentro del intervalo [1. 1] y la otra fuera, con lo que
en el movimiento se alcanzaran valores de j < 1, lo que no es fsicamente
correscto.
iv) Ambas races estn dentro del intervalo [1. 1], llammoslas j
1,2
, por
lo que entre ellas es 1 0 y el movimiento real es posible.
Tenemos entonces que slo es posible para un trompo real el caso iv),
con movimiento limitado entre j
1
= cos o
1
y j
2
= cos o
2
. Este movimiento
peridico de cabeceo del trompo entre estos ngulos es denominado de
nutacin.
Como (8.39), reescrita en trminos de las constantes denidas es
_
c =
/ cj
1 j
2
. (8.42)
vemos, ante todo, que la variacin peridica de j inducir una variacin,
tambin peridica de la velocidad de precesin
_
c; adems, sta cambia de
signo si /cj lo hace en el intervalo [j
1
. j
2
], lo que da tres distintos regmenes
de precesin:
i) / cj no se anula ni en el intervalo [j
1
. j
2
] ni en ninguno de sus
extremos, lo que da precesin siempre en el mismo sentido y con velocidad
nunca nula.
ii) / cj se anula dentro del intervalo [j
1
. j
2
] con lo que la precesin
se revierte peridicamente y el trompo se mueve hacia atrs durante esos
intervalos.
iii) / cj se anula en uno de los extremos, llamemoslo j
2
, con lo que la
precesin se frena en estos puntos.
El regimen iii) es muy comn en la prctica porque las condiciones ini-
ciales que le dan lugar son las ms naturales: girando el trompo sobre su eje
r
3
, se lo deja libre con una inclinacin inicial o
0
de r
3
respecto del eje vertical
., sin velocidad
_
o. En este caso es, por supuesto, j
2
= cos o
0
; las condiciones
iniciales son
_
c =
_
o = 0,
_
=
_
0
, con lo que, en t = 0,
1
=
2
= 0.
3
=
_
0
.
y tenemos entonces
1
3
= 1
3
_
0
.
1
:
= 1
3
_
0
cos o
0
.
1 =
1
2
1
2
3
1
3
+ `q| cos o
0
.
De la ltima es 1
0
= `q| cos o
0
y tenemos entonces
/ = c cos o
0
= cj
2
.
c = , cos o
0
= ,j
2
.
con lo que escribimos
1 (j) =
_
1 j
2
_
, (j
2
j) c
2
(j
2
j)
2
=
_
,
_
1 j
2
_
c
2
(j
2
j)
(j
2
j) .
de donde se obtiene el otro extremo del movimiento, j
1
, como la raiz del
corchete
j
1
=
c
2
2,

_
_
c
2
2,
_
2
j
2
c
2
,
+ 1.
Como
c
2
,
=
1
2
3
(1
1
+ `|
2
) 2`q|
.
nos da una idea del cociente entre la energa cintica de rotacin y la energa
potencial gravitatoria, llamamos trompo rpido al que satisface
c
2
,
1,
que nos permite escribir
j
1
=
c
2
2,

c
2
2,
_
1 j
2
4,
c
2
+
_
2,
c
2
_
2
c
2
2,

c
2
2,
_
1 j
2
2,
c
2
+ C
_
_
,
c
2
_
2
__
.
de donde claramente la raiz fsicamente aceptable es la correspondiente al
signo menos que da
j
1
= j
2
+ C
_
,
c
2
_
.
que nos dice que la nutacin es muy pequea. Si escribimos entonces que
j = j
2
,
con pequeo, tenemos que
1 = ,
_
1 j
2
_
(j
2
j) c
2
(j
2
j)
2
,
_
1 j
2
2
_
c
2
2
.
y como _ j = _ , escribimos (8.40) como
_
2
= ,
_
1 j
2
2
_
c
2
2
.
que es integrable por una simple cuadratura y da (con la condicin inicial
= 0)
=
, sin
2
o
0
2c
2
[1 cos (ct)] .
La frecuencia angular de la nutacin es entonces
c =
1
3
1
1
+ `|
2
=
1
3
1
1
+ `|
2
_
0
.
Para la precesin es, de (8.42),
_
c =
/ cj
1 j
2
=
c (j
2
j)
1 j
2
c
1 j
2
2
=
,
2c
[1 cos (ct)] . (8.43)
Promediando sobre la rpida oscilacin de frecuencia c obtenemos una pre-
cesin lenta de valor
_
c =
,
2c
=
`q|
1
3
=
`q|
1
3
_
0
.
En la prctica, los movimientos rpidos de nutacin y de oscilacin de la
precesin son rpidamente amortiguados por friccin en el punto de apoyo
del trompo y son prcticamente inobservables, lo que da lugar a la descripcin
usual del movimiento del trompo como de precesin pura. En realidad (8.43)
nos dice que el movimiento de precesin se genera, sin discontinuidades, a
partir del aumento de o (disminucin de j) desde su valor o
0
debido a la cada
del trompo por accin de la gravedad hasta el valor mximo o
1
(j
1
= cos o
1
).
8.5.2. Estabilidad del trompo vertical
Consideremos ahora el caso excluido del estudio anterior, el del trompo
vertical (o
0
= 0,
_
o
0
= 0) al que le corresponde c = / y c = ,. Tenemos
entonces que
1 = ,
_
1 j
2
_
(1 j) c
2
(1 j)
2
= , (1 +j) (1 j)
2
c
2
(1 j)
2
=
_
, (1 +j) c
2
(1 j)
2
.
con lo que es inmediato que, adems de la raiz doble j
1,2
= 1, tenemos la
raiz
j
3
=
c
2
,
1 =
1
2
3
_
2
0
2 (1
1
+ `|
2
) `q|
1.
El trompo se mueve entonces simplemente rotando con velocidad con-
stante
_
0
alrededor de su eje vertical, siempre con j = 1. Nos interesa es-
tudiar la estabilidad de este movimiento particular. Si lo consideramos en
trminos de la forma (8.41), podemos decir que el movimiento ser estable si
\
c)
tiene un mnimo en j = 1, ya que entonces pequeos apartamientos (que
no cambien cualitativamente la forma de 1) generarn movimientos acotados
en el entorno de j = 1.
Que \
c)
tenga un mnimo equivale a que 1 tenga un mximo en su propia
raiz j = 1; esto requiere que tenga valores negativos en la zona cercana con
j 1, que signica a su vez que la raiz j
3
(donde al decrecer j la funcin 1
pasa de ser positiva a negativa) debe satisfacer j
3
1; esto es, la condicin
de estabilidad es
1
2
3
_
2
0
2 (1
1
+ `|
2
) `q|
2.
Tenemos entonces una velocidad crtica por debajo de la cual el movimiento
es inestable:
_
cv
=
2
_
(1
1
+ `|
2
) `q|
1
3
.
Cuando un trompo vertical disminuye el valor de su velocidad por debajo
este valor, debido al rozamiento, su movimiento se torna inestable y tiende
a caer, generando una precesin como la estudiada en el punto anterior.
8.5.3. Girscopo
Un girscopo es esencialmente un trompo cuyo punto de suspensin es
el mismo centro de masas, lo que se logra en la prctica con el llamado
acoplamiento cardnico. El movimiento del girscopo ante torques externos
es bien conocido, deducible de consideraciones simples a travs de la ecuacin
(8.23).
Aqu estudiaremos solamente la tendencia a alinear su eje de rotacin
propia (sentido incluido) con el de la rotacin impuesta, cuando es forzado a
girar.
Consideremos entonces el girscopo en un sistema rotante con velocidad
angular constante
T
dirigida a lo largo del eje . de tal sistema. Tomemos
al eje principal del girscopo r
3
en el plano (r. .), formando un ngulo o con
el eje ., con
_
o = 0 en el instante considerado. De esta manera, el girscopo
gira slo alrededor de su eje r
3
con velocidad angular
_
, lo que signica que
1
=
2
= 0,
3
=
_
. Tomemos adems el eje r
1
en el instante considerado
contenido en el mismo plano (r. .), tal que en el sistema de ejes propios es
T1
= [
T
[ sin o,
T2
= 0,
T3
= [
T
[ cos o en el dado instante. En este
sistema rotante las fuerzas externas que producen torque alrededor del centro
de masas son las fuerzas de Coriolis y centrfuga; para un elemento de masa
del girscopo d:, con velocidad v y posicin x = X
CA
+ r, tenemos que el
elemento de fuerza de inercia sobre l es
dF = 2d:
T
v d:
T
(
T
x) .
y el correspondiente elemento de torque respecto al centro de masas es
dK = r dF.
Al escribir el trmino correspondiente a la fuerza centrfuga, reemplazando
x por X
CA
+r,
dK
cca
= d:r
T
[
T
(X
CA
+r)] .
e integrar sobre todo el cuerpo, la contribucin del trmino con X
CA
ser
nula porque
_
r d: = 0, de manera que podemos dejarlo de lado. Adems,
como la velocidad del C` es nula, tenemos que v = r, con todo lo cual
dK = 2d:r [
T
(r)] d:r [
T
(
T
r)]
= 2d:r [
T
(
0
r)] .
donde hemos denido a
0
= +
1
2
T
.
En las aplicaciones la velocidad de rotacin del girscopo es mucho mayor que
la del sistema rotante (sea el vehculo que lo transporta, o la tierra misma),
por lo que podemos tomar
0
(que signica que el torque debido a
la fuerza centrfuga es despreciable comparado con el debido a la fuerza de
Coriolis). Con esto, como (de (8.14))
T
(r) = (
T
r) r (
T
) .
tenemos nalmente
dK = 2d:(
T
r) r.
En componentes sobre los ejes propios es, como se discuti arriba,
=
_
0. 0.
_
_
.
T
= ([
T
[ sin o. 0. [
T
[ cos o) .
con lo que se obtiene muy sencillamente
d1
1
= 2d:[
T
[
_
(:
1
:
2
sin o :
2
:
3
cos o) .
d1
2
= 2d:[
T
[
_
_
:
2
1
sin o + :
1
:
3
cos o
_
.
d1
3
= 0.
Debemos ahora integrar para todos los elementos de masa del girscopo,
usando que stos estn distribuidos con simetra de revolucin alrededor del
eje r
3
, por lo que
_
:
1
:
2
d: =
_
:
1
:
3
d: =
_
:
2
:
3
d: = 0.
_
:
2
1
d: =
_
:
2
2
d: =
1
3
2
.
de donde resulta inmediatamente
1
1
= 1
3
= 0.
1
2
= 1
3
[
T
[
_
sin o.
que en componentes sobre los ejes jos se escribe
1
a
= 1
1
cos o = 0.
1
j
= 1
2
= 1
3
[
T
[
_
sin o.
1
:
= 1
1
sin o = 0.
Vemos entonces que la componente 1
j
genera una precesin anticiclnica
(en sentido opuesto a la rotacin del sistema). La inclusin de una friccin
dbil ante esta precesin genera entonces torques en las distintas direcciones,
que cambian la orientacin del girscopo hasta que no se genere precesin;
esto es, hasta que se encuentren alineados el eje de rotacin del girscopo con
el del sistema rotante. El equilibrio con ambos vectores antiparalelos, o = :,
es inestable.
La sensibilidad del girscopo (que aumenta con su velocidad de rotacin
_
) a las rotaciones del sistema que lo transporta lo hace muy adecuado
como base de sistemas de gua de navegacin, muy empleados en naves es-
paciales, barcos, submarinos, etc.. (la insensibilidad del girscopo ante rota-
ciones paralelas a su propio eje se remedia usando varios girscopos no alin-
eados)
Por otro lado, si fuera posible aislar el girscopo del efecto de las rota-
ciones del vehculo areo, martimo o terrestre que lo transporta, todava
tendera a alinearse con el eje de rotacin de la tierra, indicando as el norte
geogrco; sta es la base del comps giroscpico; el aislamiento se logra
montando el girscopo en una esfera que ota libremente dentro de otra es-
fera contenedora; la viscosidad del uido provee la friccin necesaria para la
alineacin.

Apuntes de Mecánica Clásica. 2010. Fernando O. Minotti

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Apuntes de Mecánica Clásica. 2010. Fernando O. Minotti

Cargado por

Copyright:

Formatos disponibles

Apuntes de Mecnica Clsica

corresponder entonces al nmero de

= 2: sin d, que nos dene una seccin ecaz diferente

También podría gustarte