Beruflich Dokumente
Kultur Dokumente
E. Velasco
1
Contents
I. Introduccin 3
VI. Ejemplos 19
VII. Ligaduras 25
References 45
2
I. INTRODUCCIN
El clculo variacional se basa en el concepto de funcional, de la misma manera que el clculo tradicional
se aplica sobre funciones. Una funcin de una variable, y = f (x), es un procedimiento para obtener un
nmero, y , a partir de otro, x. Un funcional es una funcin de funciones: z = F [f ] es un procedimiento
para obtener un nmero, z , a partir de toda una funcin f (x). A cada funcin le corresponde un
nmero. Un ejemplo de funcional es:
Z x2
z = F [f ] = dx [f (x)]2 . (1)
x1
Para cada funcin f (x), podemos calcular la integral denida de su cuadrado en el intervalo [x1 , x2 ],
obteniendo un nmero y . Normalmente, en un problema dado se restrigen las funciones posibles a
aquellas que pasan por dos puntos en el plano xy , es decir, se imponen las condiciones de contorno
f (x1 ) = y1 , f (x2 ) = y2 .
se trata de obtener la funcin f (x) que hace que el funcional F adquiera un valor extremo (mnimo o
mximo); es decir, si se trata de un mnimo, por ejemplo, hay que obtener, de entre todas las innitas
funciones posibles , aquella que hace que F tenga un valor mnimo. Por funciones posibles entendemos
aquellas que pasan por los puntos (x1 , y1 ) y (x2 , y2 ) del plano (Fig. 1):
3
FIG. 1: Posibles curvas que unen los puntos (x1 , y1 ) y (x2 , y2 ).
En la Fig. 1 se representan varias funciones f (x) posibles; slo una de ellas (pintada en color verde)
dara un valor extremo.
Como ejemplo, consideremos el problema de calcular la curva que pasa por dos puntos 1 y 2
del plano xy con longitud mnima. Todos sabemos que tal curva es una lnea recta pero, sabemos
demostrarlo?. Para ello, hemos de construir un funcional que nos d la longitud de una curva dada por
la funcin y = f (x). Tal funcional es:
Z 2
F [f ] = dl. (4)
1
p p q
El elemento diferencial es dl = dx + dy = dx 1 + (dy/dx) = dx 1 + [f 0 (x)]2 . Por tanto,
2 2 2
Z x2 q f (x ) = y
1 1
F [f ] = dx 1 + [f 0 (x)]2 , (5)
x1 f (x2 ) = y2
x x1
f (x) = y1 + (y2 y1 ), (6)
x2 x1
Vamos a obtener una ecuacin diferencial cuya solucin nos da la solucin al problema fundamental del
clculo variacional. Primero, introducimos el smbolo para denotar una variacin de la funcin f (x)
4
en todos los puntos del intervalo [x1 , x2 ], es decir, f (x), pero respetando las condiciones de contorno
(3), de modo que f (x1 ) = f (x2 ) = 0. Entonces, la variacin en el funcional, F , al variar la funcin,
f , es:
Z x2 Z x2 Z x2
0 0 g g 0
F = dxg (f (x), f (x); x) = dxg (f (x), f (x); x) = dx f + 0 f . (7)
x1 x1 x1 f f
Ahora tenemos f 0 = (df /dx) = (d/dx)f . Integrando por partes la segunda integral:
Z x2 Z x2 x2 Z x2
g 0 g d g d g
dx 0 f = dx 0 f = f (x) dx f. (8)
x1 f x1 f dx f 0 x1 x1 dx f 0
Aplicando la condicin de variacin nula en los extremos, el primer trmino desaparece. Entonces:
Z x2
g d g
F = dx f. (9)
x1 f dx f 0
Puesto que la variacin f (x) es arbitraria, la nica manera de que F = 0 es que el trmino entre
corchetes sea nulo:
g d g
= 0. (10)
f dx f 0
Esta es la llamada ecuacin de Euler (que no es ms que una ecuacin diferencial de segundo orden en
la funcin f (x)), a la que hay que suplementar las condiciones de contorno (3). La ecuacin de Euler
es equivalente a la condicin de extremo del funcional, F = 0: una implica la otra.
El proceso anterior es anlogo a lo que ocurre en clculo de funciones de una variable. Supongamos
una funcin f (x). Queremos buscar los valores de x para los cuales la funcin es extrema (mnima o
mxima). Para ello hemos de imponer la condicin df = 0. La variacin de la funcin, df , cuando
hacemos una variacin arbitraria de la variable independiente, dx, es
df df
df = dx = 0 = 0, (11)
dx dx
ya que dx 6= 0. Estas dos ecuaciones del clculo en funciones son anlogas a las ecuaciones (9) y (10),
respectivamente, en clculo variacional (o clculo en funcionales). De la misma manera, para ver la
5
naturaleza del extremo es necesario estudiar el signo de la derivada segunda en el extremo, ya que
1 d2 f
d2 f = 2 dx2
dx2 .
Aplicando la ecuacin de Euler al problema de la distancia mnima entre dos puntos, tenemos:
!
p g d g d f 0
g(f, f 0 ; x) = 1 + f 02 =0 p = 0, (12)
f dx f 0 dx 1 + f 02
de donde
f0 c
p =c f0 = a, (13)
1+ f 02 1 c2
Como aplicacin adicional, consideremos el problema de la braquistocrona (en griego, `el intervalo de
tiempo ms corto'), formulado en el siglo XVII y resuelto por los hermanos Bernoulli. Fue el primer
problema resuelto por clculo variacional y el que di pi al campo. Dados dos puntos, 1 y 2, se trata
de obtener la curva de la supercie por la que un cuerpo cae rodando (sin rozamiento) invirtiendo el
menor tiempo (Fig. 2).
FIG. 2: Problema de la braquistocrona. Una masa desliza sobre una supercie sin rozamiento y sometida a la
gravedad g , desde un punto 1 (localizado en la gura sobre el origen de coordenadas) hasta un punto 2. La
coordenada relevante es x (que crece en el sentido de la gravedad).
6
Para obtener el funcional que nos d el tiempo recorrido sobre una curva dada, consideremos los ejes xy
segn la Fig. 2, y un pequeo diferencial de longitud dl a lo largo de la curva, situado a una distancia x
del eje y . El tiempo que tarda el cuerpo en recorrer el intervalo ser dt = dl/v , siendo v la velocidad del
cuerpo en esa posicin x. Aplicando el principo de conservacin de la energa, suponiendo que el cuerpo
parte del reposo y poniendo el origen de energa potencial en x = 0, tenemos 0 = 12 mv 2 mgx, de donde
v(x) = 2gx, siendo g la constante de la gravedad terrestre [no confundir con la funcin g(f, f 0 ; x)]. El
tiempo total invertido ser la suma de los tiempos diferenciales a lo largo de toda la curva:
Z 2 Z x2 p
dl 1 + f 02
F [f ] = = dx . (15)
1 v x1 2gx
El tiempo mnimo se obtendr con la curva solucin de la ecuacin de Euler:
s
f (x ) = y
g d g 0 1 + f 02 1 1
= 0 con g(f, f ; x) = , (16)
f dx f 0 2gx f (x2 ) = y2
g f0
= p = c, (17)
f 0 2gx(1 + f 02 )
Las constante a, b se ajustan con las condiciones de contorno. Tomando, por simplicar, x1 = y1 = 0,
tenemos 1 = 0 y b = 0. Estas ecuaciones corresponden a las de una cicloide de radio a, Fig. 3. La
cicloide es la curva trazada por un punto jo sobre el borde de un crculo cuando ste rueda sin deslizar
sobre una lnea, en este caso el eje y . Las coordenadas de ese punto jo (x, y), con respecto a un origen
7
FIG. 3: Problema de la cicloide. A la izquierda, denicin de variables junto con los dos sistemas de coordenadas
xy y x0 y 0 , el primero externo, y el segundo atado al centro del crculo de radio a. A la derecha, curva cicloide
que traza el punto sobre el borde del crculo cuando ste rueda sin deslizar por el eje y .
O, se pueden calcular en funcin del ngulo , sabiendo que la distancia que se desplaza el crculo es
igual al arco girado por el punto, a (condicin de no deslizamiento).
En esta expresin hemos sacado el diferencial d de la raiz, dejando claro que va a ser nuestra variable
8
FIG. 4: Problema de la geodsica. Izquierda: elemento de longitud en coordenadas esfricas. Derecha. Deni-
cin de puntos 1 y 2, con sus coordenadas esfricas, y curva geodsica entre ellos.
independiente, y que la trayectoria entre los dos puntos 1 y 2 la vamos a representar mediante una
funcin (). Por tanto, la longitud total va a venir dada por el funcional
Z 2 p ( ) =
1 1
F [] = R d sin2 + 02 , (25)
1 (2 ) = 2
A partir de aqu tenemos g(, 0 ; ) = R sin2 + 02 . Como g no depende explcitamente de , podemos
usar la ecuacin alternativa de Euler:
g p R02
g 0 = R sin 2
+ 02 = aR, (26)
0 sin2 + 02
donde a es una constante arbitraria (que hemos multiplicado por R por conveniencia). Eliminando R,
multiplicando por sin2 + 02 y reorganizando la ecuacin:
p
sin2 = a sin2 + 02 . (27)
9
Multiplicando ambos miembros por R sin :
donde A = cos y B = sin son constantes. En coordenadas cartesianas esta ecuacin se uede
escribir
Bx Ay = z, (32)
que es la ecuacin de un plano que pasa por el origen (centro de la esfera). Esto corresponde a un
crculo mximo. Los Por tanto, la trayectoria corresponde a la curva de corte entre un plano que pasa
por el origen y la supercie de la esfera, es decir, a un crculo mximo. Las constantes A y B se ajustan
haciendo que el plano pase por los puntos 1 y 2, es decir, imponiendo las ecuaciones
cos 1 = B sin 1 cos 1 A sin 1 sin 1 , cos 2 = B sin 2 cos 2 A sin 2 sin 2 . (33)
(1) (2)
con las condiciones fi (x1 ) = fi , fi (x2 ) = fi . La condicin extremal para el funcional se obtiene
resolviendo un conjunto de N ecuaciones de Euler,
g d g
= 0, i = 1, 2, , N. (35)
fi dt fi0
Esto se puede demostrar de la misma forma que para una sola funcin, a base de obtener la variacin
F en funcin de las variaciones de las funciones, fi , suponiendo que estas variaciones son nulas en los
extremos del intervalo [x1 , x2 ]. Se llega as a la ecuacin,
N Z
X x2
g d g
F = dx fi (x) = 0, (36)
i=1 x1 fi dt fi0
de la cual se sigue (35) imponiendo que las variaciones fi son todas arbitrarias e independientes.
Nuevamente, las ecuaciones (35) y (36) son equivalentes a la situacin en clculo de funciones. Para
una funcin con dos variables, f (x, y), calculamos los extremos (mnimos o mximos) de la funcin
preguntndonos por los valores de (x, y) para los cuales la variacin de f es nula:
f f
df = dx + dy = 0. (37)
x y
10
Esta ecuacin es lo equivalente a (36). Puesto que las variaciones dx y dy son arbitrarias e independi-
entes, la nica manera de asegura que df = 0 es imponer que ambas derivadas parciales sean nulas:
f f
= 0, = 0. (38)
x y
Estas ecuaciones del clculo en funciones son lo equivalente a (35) en clculo variacional.
Ligaduras
En muchas ocasiones en las que existen varias funciones fi (x) hay adems una o ms relaciones entre
ellas, llamadas ligaduras . Para ver cmo se procede, vamos a desarrollar el procedimiento con slo dos
funciones, f1 y f2 , y con un funcional que, en principio, depende de las dos, F [f1 , f2 ]. Supongamos que
existe una relacin entre las dos funciones, de la forma G(f1 , f2 ) = 0.
Un procedimiento posible sera usar la relacin G(f1 , f2 ) = 0 para despejar una funcin en trminos
de la otra, por ejemplo, f2 = H(f1 ). Sustituyendo en la funcin g(f1 , f10 , f2 , f20 ; x):
g(f1 , f10 , f2 , f20 ; x) = g(f1 , f10 , H(f1 ), H 0 (f1 ); x) = g(f1 , f10 ; x). (39)
Ntese que f20 = H 0 (f1 )f10 aplicando la regla de la cadena. El funcional pasa a ser F [f1 , f2 ] = F [f1 ]:
Z x2 Z x2
0 0
F [f1 , f2 ] = F [f1 ] = dxg(f1 , f1 , f2 , f2 ; x) = dxg(f1 , f10 ; x). (40)
x1 x1
G G
G = f1 (x) + f2 (x) = 0, (43)
f1 f2
11
de donde obtenemos la relacin entre las variaciones; por ejemplo, despejando f2 (x):
G/f1
f2 (x) = f1 (x). (44)
G/f2
Sustituyendo en (42):
Z x2
g d g g d g G/f1
F = dx f1 (x) = 0. (45)
x1 f1 dx f10 f2 dx f20 G/f2
Como la variacin f1 (x) es arbitraria, la condicin para que esta ecuacin se cumpla es que el
trmino entre llaves sea nulo:
1 1
g d g G g d g G
= . (46)
f1 dx f10 f1 f2 dx f20 f2
Ambos miembros de esta igualdad son en realidad una funcin de x, ya que se trata de la ecuacin
de equilibrio satisfecha por las funciones f1 (x) y f2 (x) que son solucin al problema, y que se
supone que vamos a sustituir en la ecuacin (una vez resuelta). Llamando a esta funcin comn
(x), obtenemos dos ecuaciones que, junto con la condicin de ligadura, proporcionan tres
ecuaciones con tres incgnitas: las funciones f1 (x) y f2 (x), y el multiplicador de Lagrange (x):
g d g G g d g G
+ (x) = 0, + (x) = 0,
f1 dx f1 0
f1 f2 dx f2 0
f2
(47)
G(f1 , f2 ) = 0.
Habra N + M ecuaciones en las N + M funciones incgnita {fi (x)} y j (x). Obsrvese que existe
un multiplicador de Lagrange por cada ligadura. En este mtodo, uno considera que las variables
son independientes en primera instancia, pero aplica las ecuaciones anteriores para obtener la
silucin ligada. Ntese adems que las ecuaciones de arriba son equivalentes a extremizar el
funcional
M Z
X x2
F [{fi }] = F [{fi }] + dxj (x)Gj ({fi }), (49)
j=1 x1
12
con respecto a todas las {fi } y las {j (x)}. En efecto:
M Z
X x2
F [{fi }] = F [{fi }] + dxj (x)Gj ({fi })
j=1 x1
Z x2 N
X
g d g
= dx fi (x)
x1 i=1
fi dx fi0
Z " #
x2 X
M X
N
G
+ dx Gj ({fi })j (x) + j (x) fi (x) . (50)
x1 j=1 i=1
fi
)
X
M
+ Gj ({fi })j (x) . (51)
j=1
Como estamos considerando que las variables son independientes, todos los coecientes de las
variaciones fi y j han de anularse, lo cual implica las ecuaciones (48).
Esta tcnica es completamente anloga a la del clculo en funciones de varias variables. Supong-
amos una funcin f (x, y) a la que queremos calcular los extremos; pero existe una ecuacin que
liga las variables, h(x, y) = 0. Como las variaciones dx y dy estn relacionadas mediante
h h h/x
dh = dx + dy dy = dx (52)
x y h/y
(donde hemos despejado dy en trminos de dx; se poda haber hecho al revs), la variacin en la
funcin viene dada por:
f f f f h/x
df = dx + dy = dx = 0. (53)
x y x y h/y
Como esta ecuacin se verica para valores concretos de (x, y), ambos miembros son iguales a una
misma constante, que llamamos . De aqu resultan las tres ecuaciones
f h f h
+ = 0, + = 0, h(x, y) = 0, (55)
x x y y
13
que permiten obtener las tres incgnitas x, y y . Ntese que las ecuaciones anteriores se pueden
poner tambin como
f f f
= 0, = 0, = 0, (56)
x y
donde la funcin a extremizar es f(x, y) f (x, y) + h(x, y).
S = 0. (61)
14
Segn el clculo variacional, este problema implica las ecuaciones de Euler
(1) = 1, , N
L d L xi (t1 ) = xi
= 0, (62)
xi dt xi xi (t2 ) = x(2) i = 1, 2, 3.
i
Como ejemplo de que estas ecuaciones son equivalentes a las de Newton, consideremos un oscilador
armnico en una dimensin. Tenemos una sola partcula, de masa m, atada a un muelle de constante
k (tomamos su longitud de equilibrio como nula por conveniencia). El lagrangiano es:
1 1
L = mx2 kx2 . (63)
2 2
Entonces:
L d L d
= kx, = (mx) = mx, (64)
x dt x dt
mx + km = 0, (65)
15
U = mgl(1cos ) (poniendo el cero de energa potencial en el punto ms bajo). Entonces el lagrangiano
es
1
L = ml2 2 mgl(1 cos ). (66)
2
Entonces:
L d L d 2
= mgl sin , = ml = ml2 , (68)
dt dt
o sea,
g
mgl sin + ml2 = 0 + sin = 0. (69)
l
Nuevamente, la ecuacin de Lagrange coincide con la de Newton. Pero, tenemos derecho a usar las
ecuaciones de Lagrange para coordenadas que no son cartesianas? S, el principio de Hamilton general
lo permite cuando lo formulamos en las llamadas coordenadas generalizadas , y ah radica la potencia de
la mecnica lagrangiana.
Un sistema dado de N partculas puede estar sometido a ligaduras (restricciones sobre el movimiento
de las partculas). Es el caso de una masa que se mueve sobre un plano horizontal (cuyo movimiento
en la direccin normal se encuentra anulado), o una masa que forma un pndulo simple (cuya distancia
al centro de rotacin es constante). Se llaman grados de libertad de un sistema, s, al nmero de
maneras independientes en que se puede mover ste (incluyendo implcitamente las ligaduras). Entonces
s = 3N M , donde M es el nmero de ligaduras.
Llamamos coordenadas generalizadas a cualquier conjunto de s coordenadas que nos permite especicar
de manera nica el estado del sistema. Pueden ser coordenadas cartesianas, angulares, etc. El conjunto
de coordenadas generalizadas es:
16
A este conjunto asociamos un conjunto de velocidades generalizadas :
A partir de las coordenadas cartesianas, y siempre que las ecuaciones de ligadura sean holnomas (esto
es, involucren slo coordenadas y no velocidades), vamos a poder poner unas coordenadas cartesianas
en trminos de las otras y denir un conjunto posible de coordenadas generalizadas. Si este es el caso,
las coordenadas generalizadas se van a poder relacionar con las coordenadas cartesianas mediante:
La relacin implica, en general, al tiempo (debido a que puede haber ligaduras mviles). Siempre que
el jacobiano de la transformacin anterior sea no nulo, existir una transformacin inversa:
donde L es el lagrangiano, que se puede construir a travs de las frmulas de transformacin entre
coordenadas cartesianas y generalizadas:
Para ver la utilidad y la potencia de estas ecuaciones generales, reconsideremos el problema del pndulo.
Primero, vemos que el sistema tiene un nico grado de libertad, s = 1, puesto que tenemos una partcula,
N = 1, y hay dos ligaduras (la masa se mueve en un plano, y su distancia al centro de rotacin es
constante), M = 2. Por tanto, s = 3 1 2 = 1. Necesitamos una coordenada generalizada, sea q .
17
Una posible coordenada es el ngulo medido desde la vertical, q = . Las coordenadas cartesianas de
la masa son:
que constituyen las ecuaciones (72a) de este problema (hemos situado el origen O en el centro de
rotacin, y el eje x horizontal hacia la derecha). Las velocidades cartesianas son:
que constituyen las ecuaciones (72b). Construimos ahora la energa cintica, partiendo de la expresin
en cartesianas:
1 1
L = m x2 + y 2 = ml2 2 . (78)
2 2
La energa potencial (poniendo el cero de energas potenciales en el origen) es
En un problema concreto puede haber muchas elecciones posibles para el conjunto de coordenadas
generalizadas. Pero unos son ms convenientes que otros. El criterio para buscar es elegir aquellas
para las que la energa potencial no dependa de alguna coordenada (estas son las llamadas coordenadas
ignorables, que dan lugar a leyes de conservacin, como veremos ms adelante). Por ejemplo, en el
movimiento de un proyectil en 2D bajo la accin de la gravedad, necesitamos dos coordenadas. Si
elegimos coordenadas cartesianas (x, y), el lagrangiano es
1
L = m x2 + y 2 mgy. (82)
2
Como L/x = 0, la ecuacin de Lagrange para x es muy simple:
L
= mx = const. (83)
y
18
Esta ecuacin expresa la conservacin del momento lineal en la direccin x. La ecuacin para y es
tambin simple:
L d L
= mg my = 0 y = g. (84)
y dt y
Si escogemos coordenadas polares, las ecuaciones que resultan son por contra muy complejas:
2 + g sin = 0,
(85)
2 + 2 + g cos = 0.
Vamos a analizar el signicado fsico de las ecuaciones de Lagrange (75). Para ello, supongamos que las
coordenadas generalizadas son coordenadas cartesianas. Tendremos L({qj , qj }) = T ({qj }) U ({qj }), y
L d L U d T
= (86)
qj dt qj qj dt qj
El primer trmino del segundo miembro es igual a Qj (una componente de la fuerza conservativa),
U
Qj = , mientras que el segundo, al ser T una funcin cuadrtica homogenea de las velocidades
qj
(esto es cierto slo en coordenadas cartesianas, como veremos ms adelante), ser igual a mqj . Nos
queda la ecuacin
mqj = Qj , (87)
que no es ms que la ecuacin de movimiento de Newton. Las ecuaciones de Lagrange son ms generales,
en el sentido de que tienen la misma forma para cualquier conjunto de coordenadas. En general,
para coordenadas generalizadas cualesquiera (no necesariamente cartesianas) y sistemas en los que
U = U ({qj }; t), podremos escribir las ecuaciones de Lagrange como
T U d T
= 0,
qj qj dt qj
d T T
= Qj (88)
dt qj qj
VI. EJEMPLOS
19
Partcula de masa m sobre la supercie de un cono de ngulo de apertura . En principio
tenemos tres coordenadas, pero debido a la ligadura (la partcula se encuentra sobre una supercie)
el nmero de coordenadas se reduce a dos, s = 2. Usando coordenadas cilndricas (, , z),
eliminamos una mediante la ligadura, cuya ecuacin es = z tan 2 . Eliminemos z en funcin de
. Las coordenadas y velocidades cartesianas son:
x = cos x = cos sin
y = sin y = sin + cos (90)
z = cotan
z = cotan
2 2
1 1 2 2
T = m x + y + z = m + + cotan
2 2 2 2 2 2
. (91)
2 2 2
Como
1 1
1 + cotan2 =1+ = = cosec2 , (92)
2 tan2 2 sin2
2
2
podemos simplicar T un poco:
1
T = m 2 cosec2 + 2 2 . (93)
2 2
20
La energa potencial (situando el origen en el vrtice del cono) es
U = mgz = mg cotan , (94)
2
con lo que el lagrangiano es
1 2 2
L = m cosec + mg cotan .
2 2
(95)
2 2 2
Escribamos las ecuaciones de Lagrange. Como L/ = 0, la ecuacin para es
L
= m2 = const. lz (96)
Esta ecuacin expresa la conservacin de la componente z del momento angular de la partcula:
L = mr v = m (e + z ez ) (e + e + z ez )
= ze + m(z z)e + m2 ez
= 2 cotan e + m2 ez . (97)
2
La ecuacin de Lagrange para es:
L d L
= m2 mg cotan m cosec2 = 0. (98)
dt 2 2
Eliminando en trminos de lz , y sustituyendo en la ecuacin para , llegamos a
lz2 sin2 2 1
2 3
+ g sin = 0. (99)
m 2
Pndulo simple en un tren acelerado. Vamos a situar a nuestro sistema de referencia inercial a la
altura del techo del cual pende la masa. Con respecto a este sistema inercial, el tren se mueve
con velocidad a =const. El nmero de grados de libertad es s = 1, ya que se trata de un pndulo
(y el tren se mueve con aceleracin constante). Tomaremos como coordenada generalizada q = .
Las coordenadas inerciales cartesianas de la masa son:
x = 1 at2 + l sin
2
(100)
y = l cos
donde hemos tomado como instante inicial t0 = 0, como posicin inicial del punto O0 del tren
x0 = 0, y como velocidad inicial del tren v0 = 0. Las velocidades inerciales cartesianas son:
x = at + l cos
(101)
y = l sin
21
Observemos que las relaciones entre coordenadas y velocidades cartesianas y coordenadas y ve-
locidades generalizadas contienen al tiempo t. El lagrangiano es:
1 1 2 1
L = T U = m x2 + y 2 mgy = m at + l cos + m2 l2 sin2
2 2 2
1 22 1 2 2
+mgl cos = ma t + ml + matl cos + mgl cos . (102)
2 2
Simplicando:
a g
+ cos + sin = 0. (104)
l l
Esta ecuacin es como la del pndulo simple, salvo por la presencia del segundo trmino. Este
trmino es el debido a la aceleracin del tren (en mecnica newtoniana hablaramos de que es una
fuerza inercial). Obviamente, cuando el tren no est acelerado, a = 0, y se recupera la ecuacin del
pndulo simple normal (esta ecuacin sera vlida tambin aunque el tren tuviera una velocidad
constante, ya que el tren sera un sistema inercial y el movimiento sera del mismo tipo que el que
se da en el sistema inercial exterior). El anlisis del problema mediante mecnica newtoniana se
22
hace en el apndice A.
23
M
Doble polea. Se tienen tres masas conectadas mediante cuerdas de masa despreciable (y longitudes
l1 y l2 ) y poleas, como en la Fig. 8 (suponemos adems, para simplicar, que los radios de las
poleas son despreciables y no tienen inercia). Situando el origen de coordenadas O en el eje de la
polea 1 y el eje x hacia abajo, y teniendo en cuenta que slo hay dos grados de libertad, escogemos
como coordenadas generalizadas q1 (distancia entre eje de la polea 1 y la masa m1 ) y q2 (distancia
entre el eje de la polea 2 y la masa m2 ). Las coordenadas cartesianas xi , i = 1, 2, 3 de las masas
son, en trminos de las coordenadas generalizadas:
x 1 = q1 , x2 = l1 q1 + q2 , x3 = l1 q1 + l2 q2 . (112)
x1 = q1 , x2 = q1 + q2 , x3 = q1 q2 . (113)
La energa cintica es
1 1 1
T = m1 q12 + m2 (q1 q2 )2 + m3 (q1 + q2 )2 , (114)
2 2 2
la energa potencial
24
y el lagrangiano
1 1 1
T = m1 q12 + m2 (q1 q2 )2 + m3 (q1 + q2 )2
2 2 2
+ m1 gq1 + m2 g (l1 q1 + q2 ) + m3 g (l1 q1 + l2 q2 ) . (116)
podemos obtener las aceleraciones q1 y q2 , que se integran trivialmente para dar las velocidades y
coordenadas e funcin del tiempo (obviamente se obtiene un movimiento uniformemente aceler-
ado).
VII. LIGADURAS
Muy a menudo, como sabemos, nuestro sistema se encuentra sometido a ligaduras: una bola que rueda
sobre una supercie, una masa que pende de un hilo y oscila, una cuenta que desliza a lo largo de un
alambre con forma ms o menos irregular. A veces estas ligaduras dependen del tiempo: por ejemplo,
el alambre puede estar movindose en el espacio.
En mecnica de Newton se introducen fuerzas de ligadura, que son aquella fuerzas que ejerce el agente
externo de manera que el sistema obedezca a la ligadura. Por ejemplo, una masa que desliza por un
plano inclinado se ve sometida a una fuerza normal al plano, que evita que aquella penetre en esta.
Normalmente el mdulo de estas fuerzas es desconocido, depende del movimiento del sistema, y hay
que calcularlo a posteriori.
En mecnica de Lagrange tenemos dos posibilidades, de la misma manera que, en clculo variacional,
hay dos maneras de resolver los problemas de ligaduras.
Si las ligaduras son holnomas , esto es, relacionan slo las coordenadas generalizadas pero no las
velocidades,
fi (q1 , q2 , ; t) = 0, i = 1, 2, , M (119)
25
es en principio posible despejar M coordenadas en trminos de las otras s = 3N M , con lo
cual slo necesitamos s coordenadas generalizadas {qj }, j = 1, 2, , s. Resolveramos as las
ecuaciones de Lagrange para esas s coordenadas,
L d L
= 0, j = 1, 2, , s, (120)
qj dt qj
Si las ligaduras son holnomas pero no podemos despejar unas coordenadas en trminos de las
otras, las ligaduras no se van a poder incorporar en la denicin de coordenadas generalizadas. Sin
embargo, el mtodo de los multiplicadores de Lagrange propio del clculo variacional nos permite
resolver el problema, al menos en principio, con la ventaja aadida de que vamos a poder obtener
las `fuerzas de ligadura'. Escribimos unas ecuaciones dinmicas que incluyen multiplicadores de
Lagrange:
X
M
L d L fi
+ i (t) = 0, j = 1, 2, , s. (121)
qj dt qj i=1
qj
Para ver el signicado fsico del ltimo trmino, vamos a suponer que las coordenadas generalizadas
son cartesianas. Entonces tendremos L({qj , qj }) = T ({qj }) U ({qj }), y
X
M X
M
L d L fi U d T fi
+ i (t) = + i (t)
qj dt qj i=1
qj qj dt qj i=1
qj
X
M
fi
= Fj mqj + i (t) = 0. (122)
i=1
qj
X
M
fi
mqj = Fj + i (t) . (123)
i=1
qj
Por tanto,
X
M
fi
Qj Qij , Qij i (t) (124)
i=1
qj
26
la ligadura. Este procedimiento es ms complicado que el anterior, pero nos proporciona las
fuerzas de ligadura, que puede ser interesante conocer.
Como ejemplo, consideremos un disco macizo, de radio R y masa M que rueda sin deslizar sobre
un plano inclinado con ngulo de apertura , Fig. 9. Escogemos nuestro sistema de referencia en
el punto superior, con los ejes x e y como se indica en la Fig. 9. Aqu hay dos grados de libertad:
uno de traslacin, y otro de rotacin. Denamos nuestras coordenadas generalizadas como q1 = x
y q2 = , donde es el ngulo que forma un punto escogido arbitrariamente sobre el borde del
disco con el eje y . Ajustamos sus valores iniciales de manera que = 0 cuando x = 0. La ligadura
es pues
f (x, ) = x R = 0. (125)
Esta ligadura holnoma es muy sencilla y s que permite despejar una coordenada en trminos
de la otra. Para ilustrar el procedimiento, vamos a seguir adelante como si no fuera posible. La
energa cintica incluye trminos de traslacin del centro de masas y de rotacin alrededor del
centro de masas:
1 1
T = M x2 + I 2 , (126)
2 2
1 1
L = M x2 + I 2 + M gx sin . (127)
2 2
Estas dos ecuaciones, junto con la ecuacin de ligadura, nos permiten obtener las tres incgnitas,
x(t), (t) y (t). Por ejemplo, derivando dos veces la ligadura, = x/R, y sustituyendo en la
segunda ecuacin:
1 x 1
M R2 + R = 0 = M x. (129)
2 R 2
27
FIG. 9: Disco que rueda sin deslizar sobre un plano inclinado.
1 2
M g sin M x M x = 0 x = g sin . (130)
2 3
De aqu obtenemos:
1 2g
= M g sin , = sin . (131)
3 3R
1 1 2
x(t) = gt2 sin , (t) = gt sin . (132)
3 3R
Ntese que el disco cae con una aceleracin que es 2/3 la aceleracin con la que caera el disco
si deslizara (es decir, no hubiese rozamiento), que sera g sin (si = 90 , sera una cada libre,
es decir, la aceleracin de la gravedad). Si en lugar de un disco macizo tuviesemos un aro, el
momento de inercia es I = M R2 , y se comprueba fcilmente que las aceleraciones cambian a
x = g
2
sin y = g
2R
sin .
28
Ahora podemos calcular las fuerzas de ligadura:
f 1
Qx = = = M g sin ,
x 3
f R
Q = = R = M g sin . (133)
3
Estas son las fuerzas que ejerce el plano sobre el disco de manera que se mantenga la ligadura.
Qx < 0 porque la ligadura desacelera el movimiento a lo largo del plano con respecto a la situacin
sin ligadura (disco deslizando). Q > 0 porque hace falta una fuerza que ejerza un momento que
haga que el ngulo aumente (el disco ruede) para mantener la ligadura (no deslizamiento).
En el ejemplo anterior, puesto que la ligadura es holnoma y muy simple, podemos tambin usar
el primer procedimiento y despejar una de las coordenadas en trminos de la otra. Por ejemplo,
= x/R, y el lagrangiano en funcin slo de x y x es:
2
1 1 x 3
2
L = mx + I + M gx sin = M x2 + M gx sin . (134)
2 2 R 4
Llegamos a la misma ecuacin, incluso ms rpido, aunque no tenemos las fuerzas de ligadura.
Una ligadura holnoma puede ser adems esclernoma cuando no aparece explcitamente el
tiempo:
fi (q1 , q2 , ) = 0, i = 1, 2, , M (136)
Es por ejemplo la situacin del ejercicio anterior. Si el tiempo aparece, la ligadura se llama
renoma .
Las ligaduras no holnomas son ms complicadas de tratar. Estas ligaduras son de la forma
fi ({qj , qj }; t) = 0, i = 1, 2, , M, (137)
es decir, involucran al tiempo. Lo ideal es que la ligadura sea , es decir, que se pueda
integrable
29
y se cumple que existe una funcin h({qj }; t) tal que
h h
Aj = , B= , (139)
qj t
Entonces
X X h h dh
Aj qj + B = qj + = = 0 h({qj }; t) c = 0, (140)
j j
q j t dt
d
f (x, x, , ) = x R = (x R) = 0 x R = c. (141)
dt
La energa cintica en coordenadas cartesianas es una forma cuadrtica homogenea de las coordenadas:
1 XX
T = m x2i . (142)
2 i
Vamos a ver que, en coordenadas generalizadas, tendremos una forma cuadrtica general. De la relacin
xi = xi ({qj }; t):
X xi xi
xi = qj + . (143)
j
qj t
Elevando al cuadrado:
X xi xi X xi xi 2
xi
x2i = qj qk + 2 qj + , (144)
kj
qj qk j
qj t t
30
de modo que
X1 X X1 2
xi xi xi xi xi
T = m qj qk + m qj + m
ijk
2 qj qk ij
q j t i
2 t
X X
= ajk qj qk + bj qj + c, (145)
jk j
donde
2
1X xi xi X xi xi 1X xi
ajk = akj m , bj m , c= m . (146)
2 i qj qk i
q j t 2 i
t
Vemos pues que la energa cintica es en general una forma cuadrtica en las velocidades generalizadas,
con trmino cuadrtico, lineal e independiente. Obsrvese que, si las ligaduras son esclernomas, la
relacin entre coordenadas cartesianas y generalizadas no va a incluir el tiempo, xi = xi ({qj }), y
X
T = ajk qj qk . (147)
jk
de manera que
X T X X X
ql = alk qk ql + ajl qj ql = 2 alk qk ql = 2T, (149)
l
q l
kl kl kl
de donde
X T
ql = 2T (150)
l
q l
Este resultado no es ms que el teorema de Euler aplicado a la energa cintica. El teorema de Euler
dice que, si f (y1 , y2 , , yN ) es una funcin homogenea de grado n, es decir,
entonces
X
N
f
yi = nf (152)
i=1
yi
31
IX. LEYES DE CONSERVACIN Y SIMETRAS
Vamos a ver que las simetras de un sistema estn relacionadas con invariancias del lagrangiano, que
en ltimo trmino dan lugar a leyes de conservacin. La bsqueda de leyes de conservacin es una
herramienta muy utilizada en mecnica.
Invariancia temporal. Como ya hemos visto, en general un lagrangiano puede depender ex-
plcitamente del tiempo, L = L({qj , qj }; t). Supongamos que el lagrangiano es invariante frente
a traslaciones temporales . Esto quiere decir que podemos trasladar el origen de tiempos una can-
tidad arbitraria, t0 , y el movimiento de nuestro sistema es el mismo. Un ejemplo puede ser el
hacer un experimento hoy, o desplazarlo en el tiempo a maana. Si las condiciones ambientales
no cambian, el resultado ha de ser el mismo, y el lagrangiano tambin. En trminos matemticos,
diramos que
L
L({qj , qj }; t) = L({qj , qj }; t + t0 ) = 0. (154)
t
(observemos que L depender del tiempo, pero implctamente, a travs de las coordenadas y
velocidades generalizadas). Veamos las consecuencias de esta invariancia temporal. La derivada
total ser:
dL X L X L L X L X L
= qj + qj + = qj + qj . (155)
dt j
q j j
q j t j
q j j
q j
De aqu obtenemos:
!
d X L X L
qj L =0 H qj L = const. (157)
dt j
qj j
qj
Por tanto, la invariancia temporal implica la existencia de una constante de movimiento o ley de
conservacin, la del llamado hamiltoniano , H.
A veces (pero no siempre!) el hamiltoniano tiene un signicado fsico muy claro. Supongamos
que U es slo una funcin de las coordenadas generalizadas, U = U ({qj }) (y no del tiempo ni de
las velocidades generalizadas). Entonces
L T
= (158)
qj qj
32
y
X L X T
H= qj L= qj T + U. (159)
j
qj j
q j
Como la condicin U = U ({qj }) implica que las funciones xi = xi ({qj }) no dependen del tiempo,
se cumplen las condiciones del teorema de Euler (150), y
H = 2T T + U = T + U = E, (160)
En cualquier caso, si H es una constante de movimiento (sea la energa o no), podemos utilizar el
mtodo del potencial efectivo para obtener la solucin del problema o bien para discutir cualita-
tivamente el tipo de soluciones. Para ello, como siempre, hay que identicar un trmino denido
positivo, proporcional a una componente de la velocidad al cuadrado, que haga de energa cintica
(efectiva); el resto ser la energa potencial efectiva.
33
donde c es una constante. Es decir, supongamos que L es invariante frente a traslaciones de una
coordenada generalizada qk determinada o, lo que es lo mismo, que L no depende explcitamente
de esa variable); tal coordenada qk se dice ignorable . Entonces, la ecuacin de Lagrange para qk
implica:
d L L
=0 pk = const. (162)
dt qk qk
pk es el llamado momento generalizado , y en este supuesto es constante. Nuevamente, obtenemos
una ley de conservacin a partir de una invariancia del sistema. La ley de conservacin da lugar
a una ecuacin muy til para intentar resolver el movimiento:
Estas ecuaciones son integrales primeras del movimiento, ya que slo involucran derivadas de
orden uno. Dos casos particulares importantes son:
Existe una formulacin general que unica estos resultados, que se basa en el llamado teorema de
Noether . Este teorema y sus consecuencias se estudian en cursos de mecnica y teora de campos ms
avanzados.
A partir de la mecnica newtoniana se pueden obtener las ecuaciones de Lagrange sin ampliar los ax-
iomas de sta. Consideremos un sistema de N partculas sometido a ciertas ligaduras que restringen los
movimientos posibles de las partculas. Supongamos que el sistema se encuentra en equilibrio, de modo
que las fuerzas sobre las partculas son nulas, Fi = 0. Denotemos por ri un pequeo desplazamiento
virtual de la partcula i, es decir, un desplazamiento posible compatible con las ligaduras, pero que no
34
X
necesariamente se da. Obviamente se cumple la ecuacin Fi ri = 0. Imaginemos ahora el problema
i
dinmico, governado por la ecuacin de Newton, Fi = pi . El problema dinmico lo podemos considerar
X
como un problema esttico donde la fuerza es Fi pi = 0. Entonces se cumple (Fi pi ) ri = 0.
i
Dividiendo las fuerzas en fuerzas externas Fi y fuerzas de ligadura fi :
X X X X
(Fi + fi pi ) ri = Fi ri + fi ri pi ri = 0. (164)
i i i i
Aqu los desplazamientos virtuales ri son a tiempo jo (son slo posibles desplazamientos; luego habr
que ver cules son los que se dan en la realidad). Transformemos ahora a desplazamientos virtuales
en las coordenadas generalizadas. Como ri = ri ({qj }; t), donde {qj } son coordenadas generalizadas
independientes, j = 1, 2, , s, tenemos:
X ri
ri = qj , (166)
j
qj
y
X X X ri X ri
Fi ri pi ri = Fi qj mi ri qj = 0. (167)
i i ij
qj ij
qj
Para demostrar (A), calculamos ambos miembros por separado y vemos que son iguales. Tenemos:
X 2
d ri ri 2 ri
= qk + ,
dt qj qk qj qj t
k
!
ri X ri ri X 2 ri 2 ri
= qk + = qk + , (170)
qj qj k
qk t k
q k qj q j t
35
luego (A) es cierta. Para demostrar (B), calculamos el trmino derecho y vemos que es igual al izquierdo:
!
ri X ri ri ri
= qk + = . (171)
qj qj qk t
k
qj
y usando los anteriores resultados, tenemos que la ecuacin (167) se puede poner como:
( )
X X d ri
ri
Qj mi ri mi ri qj = 0. (173)
j i
dt q j q j
Ahora:
!
X ri 1X T
mi ri = mi |ri |2 = ,
i
qj qj 2 i qj
!
X ri 1X T
mi ri = mi |ri |2 = . (174)
i
qj qj 2 i qj
Como los desplazamientos virtuales qj son arbitrarios e independientes, llegamos a las ecuaciones de
Lagrange:
d T T
= Qj , j = 1, 2, , s. (176)
dt qj qj
Obsrvese que aqu no hemos hecho mencin a que las fuerzas sean conservativas o no. Por tanto, estas
ecuaciones son ms generales que las (88), que se obtuvieron de las (75), las cuales suponen que existe
una energa potencial U (y, por tanto, que el sistema es conservativo). Obviamente, a partir de (176),
se pueden recuperar las ecuaciones de Lagrange (75) para sistemas conservativos. Para ello, partimos
de las fuerzas y de la suposicin de que stas son conservativas, Fi = ri U . Entonces las fuerzas
generalizadas son
X ri X ri U
Qj = Fi = ri U = . (177)
i
qj i
q j q j
36
de donde se obtiene
d L T U d L L
+ = = 0, (179)
dt qj qj qj dt qj qj
Las ecuaciones de Lagrange generales (176), cuando las fuerzas no son conservativas, se pueden obtener
tambin de un principio extremal, que es el principio de Hamilton para sistemas generales:
Z t2
S[{qj }] = dt (T + V ) = 0, (180)
t1
donde V es el virial :
X
V = Fi ri . (181)
i
Z t2 Z t2 X
= dtT + dt Qj qj . (182)
t1 t1 j
Ahora, como T = T ({qj , qj }; t), podemos aplicar la misma tcnica utilizada en el caso conservativo a la
variacin del primer trmino de (182):
Z t2 Z t2 X T d
T
dtT = dt qj . (184)
t1 t1 j
qj dt qj
Sumando,
Z t2 X T d
T
dt + Qj qj = 0 (185)
t1 j
qj dt qj
y teniendo en cuenta que las qj son independientes, obtenemos las ecuaciones de Lagrange para sistemas
generales (176).
37
XI. MECNICA HAMILTONIANA
Se trata de otra reformulacin de la mecnica newtoniana que nos da otro punto de vista. Es un punto
de partida imprescindible para formulaciones ms tericas de la mecnica y en aplicaciones como la
mecnica celeste o la mecnica cuntica.
La mecnica lagrangiana se basa en una funcin, el lagrangiano, que es funcin de coordenadas {qj } y
velocidades {qj } generalizadas, L = L({qj , qj }; t). La mecnica hamiltoniana consiste en utilizar como
variables {qj , pj }, es decir, en sustituir las velocidades por los momentos generalizados. Vamos a ver
que se requiere el concurso de otra funcin, distinta del lagrangiano, para obtener las ecuaciones de
movimiento, y que el formalismo es mucho ms simtrico.
Partimos del hamiltoniano, denido en mecnica lagrangiana como una posible constante del
movimiento. Aunque no sea constante para un cierto problema, es una funcin que se puede denir de
todas maneras. Observemos que, en su denicin, contiene los momentos generalizados:
X L X
H= qj L= qj pj L. (186)
j
qj j
L
pj = = pj ({qj , qj }; t) qj = qj ({qj , pj }; t). (187)
qj
Sustituyendo en (186):
X X
H({qj , pj }; t) = qj pj L = qj ({qj , pj }; t)pj L({qj , qj ({qk , pk }; t)}; t). (188)
j j
De esta manera, tenemos expresado H como funcin de lo que vamos a ver son sus coordenadas naturales,
{qj , pj }. La transformacin, esquemticamente, es:
38
de la tangente en cada punto x), necesitamos tambin saber en qu punto corta al eje y cada lnea
tangente (de manera que tengamos toda la familia de lneas envolventes de la funcin y = f (x), lo
cual es equivalente a conocer la funcin). Ver Fig. 10. Sea este punto el (0, g). Entonces se cumple
y = g + px, donde g = y px es el corte con el eje y . Por tanto, la funcin f (x) es equivalente a la
funcin g(p) = f (x) px: para pasar de una funcin f (x) a otra g(p) en la que p = f 0 (x), sin perder
informacin, slo tenemos que restar el producto px (nueva variable por antigua variable) de la funcin
original. Este es el caso en (188): para pasar de L, que es funcin de las {qj }, a H que es funcin de las
{pj }, slo tenemos que restar a L los productos qj pj (es tradicional cambiar el signo de la transformacin
de manera que H coincida con la energa en los casos en los que debe ser la energa).
FIG. 10: Funcin y = f (x) (en rojo) y familia de envolventes a esta funcin (lneas rectas tangentes, en azul,
salvo una dibujada en verde para sealar sus valores p y g asociados). Es equivalente especicar todos los puntos
(x, y) de la curva a especicar los valores (g, p) de todas las lneas tangentes (g es el corte de la lnea con el eje
y y p la pendiente de la lnea tangente).
Vamos a obtener las ecuaciones de movimiento que satisfacen las coordenadas y los momentos gen-
eralizados. Para ello, calculemos la diferencial total de H con respecto al tiempo, atendiendo a la
dependencia de H en sus variables naturales:
X H H
H
dH = dqj + dpj + dt. (190)
j
qj pj t
39
Pero tambin podemos calcular esta diferencial usando (188):
X X L L
L
dH = (pj dqj + qj dpj ) dqj + dqj
j j
qj qj t
X X L
= (pj dqj + qj dpj ) (pj dqj + pj dqj ) dt. (191)
j j
t
H H
qj = , pj = , j = 1, 2, , s. (193)
pj pj
H L
junto con = . Las ecuaciones anteriores se llaman ecuaciones de Hamilton ecuaciones
t t
cannicas, y son las ecuaciones dinmicas en mecnica hamiltoniana. Se trata de un conjunto de 2s
ecuaciones de primer orden, en contraposicin a las ecuaciones de Lagrange, que son s ecuaciones de
segundo orden. Las 2s constantes arbitrarias que se obtienen al integrar las ecuaciones de Hamilton son
todas las coordenadas y momentos, {qj0 , pj0 }, del sistema en un instante inicial (a comparar con las 2s
constantes arbitrarias de las ecuaciones de Lagrange, que son las coordenadas y velocidades {qj0 , qj0 }
en un instante inicial). Las variables (qj , pj ) se dice que son variables cannicas , y juegan un papel muy
simtrico en las ecuaciones (193), al contrario que las variables (qj , qj ) en las ecuaciones de Lagrange.
de manera que las dos derivadas del hamiltoniano, parcial y total, coinciden:
dH H
= . (195)
dt t
Por tanto, si H no depende explcitamente del tiempo, se conserva en el tiempo, H =const. (esto ya lo
sabemos de la mecnica lagrangiana, ya que H se conserva si L/t = 0, y acabamos de obtener que
H/t = L/t).
40
Identicamos las coordenadas generalizadas convenientes, {qj }, j = 1, 2, , s (donde las posibles
ligaduras ya estn incorporadas en la denicin de las coordenadas generalizadas).
FIG. 11: Partcula que se mueve por la supercie de un cilindro de radio R, sometida nicamente a una fuerza
armnica central proporcional al vector de posicin r.
Veamos un ejemplo. Tenemos una partcula de masa m que se mueve sobre la supercie de un cilindro,
dado por la ecuacin x2 + y 2 = 2 = R2 , y que est sometido a una fuerza central armnica F = kr ,
Fig. 11. Usamos coordenadas cilndricas, incorporando la ligadura = R, con lo cual las coordenadas
generalizadas van a ser dos, q1 = y q2 = z . Para obtener la energa potencial U (r) utilizamos
41
coordenadas esfricas. El gradiente es:
U 1 U 1 U
r U = er + e + e = krer . (196)
r r r sin
Identicando componentes:
U
e = 0 U = U (r, ),
U
e = 0 U = U (r),
Z
U r
1 1
= kr U (r) = k dr0 r0 = kr2 = k R2 + z 2 , (197)
r 0 2 2
donde hemos tomado el origen de energa potencial en r = 0. Las coordenadas y velocidades cartesianas
son
y el lagrangiano:
1 1
L=T U = m x2 + y 2 + z 2 k R2 + z 2
2 2
1 1
= m R2 2 + z 2 k R2 + z 2 . (199)
2 2
L L
p = = mR2 , pz = = mz. (200)
z
Invirtiendo:
p pz
= , z = . (201)
mR2 m
p2 p2z 1
= + + k R 2
+ z 2
. (202)
2mR2 2m 2
42
Como la transformacin entre coordenadas cartesianas y generalizadas no depende del tiempo, y adems
L tampoco, sabemos que H = E = T + U = const. [se puede comprobar directamente que H = T + U
cambiando el signo por + en la ecuacin (199) para obtener T + U , y comparando con la ecuacin
(202)].
Cundo utilizar la mecnica hamiltoniana frente a la mecnica lagrangiana? Cuando hay ligaduras
la mecnica lagrangiana conduce a las ecuaciones dinmicas de manera ms directa. Pero la mecnica
hamiltoniana es a veces ms conveniente, ya que:
Las ecuaciones dinmicas son ms simtricas que en mecnica lagrangiana, ya que los papeles de
las dos variables naturales de H son casi simtricos.
Por ltimo, consideremos el importante caso en el que existen constantes de movimiento. En mecnica
hamiltoniana, las coordenadas que no aparecen explcitamente en el hamiltoniano se llaman coordenadas
cclicas . Si qj es cclica en H , tambin lo es en L (en cuyo caso se llama ignorable). Sin embargo, en
este ltimo caso, la velocidad generalizada correspondiente, qj , sigue apareciendo en L:
43
y nos quedan s 1 ecuaciones de segundo orden ms una de primero (la que expresa la constancia de
pj = L/ qj ). En total, 2(s 1) + 1 = 2s 1 rdenes diferenciales. En el caso hamiltoniano, si qj es
cclica, entonces
pj = 0 pj = j = const.,
H
qj = j (q1 , q2 , , qj1 , qj+1 , , qs ; p1 , p2 , , pj1 , , pj+1 , , ps ; t). (206)
El asunto es que las otras coordenadas y momentos generalizados no se ven afectados por la coordenada
pero es una constante . Es como si hubieramos reducido el nmero de grados de libertad en uno. Por
tanto, podemos obtener el movimiento en las otras 2s 2 coordenadas (es decir, resolver las otras 2s 2
ecuaciones) y, posteriormente, obtener el movimiento en qj por cuadratura [es decir, integrando 206]:
Z
qj (t) = dt0 j (q1 , q2 , , qj1 , qj+1 , , qs ; p1 , p2 , , pj1 , , pj+1 , , ps ; t0 ). (207)
44
Appendix A: Anlisis del pndulo simple acelerado mediante mecnica newtoniana
mr 0 + mR = F , (A1)
donde R es la posicin del origen O0 (no inercial) con respecto a O (inercial). Como R(t) = 21 at2 ex ,
tenemos R = aex . La fuerza sobre la masa es
F = Fg + T = mg ey T e , (A2)
La segunda ecuacin es la obtenida mediante mecnica lagrangiana. Una vez resuelta, podemos obtener
la tensin T a partir de la primera. Esta primera ecuacin se podra obtener en mecnica lagrangiana
utilizando el mtodo de ligaduras.
pi
[1] Esto es posible si el determinante de la transformacin es distinto de cero, es decir, det 6= 0.
qj
45