Puntos de Lagrange

Luis A. Aguilar
(aguilar@astrosen.unam.mx)
Instituto de Astronomı́a,
Universidad Nacional Autónoma de México

7 de febrero de 2007

1. Introducción
Existen situaciones en las que nos interesa en-
contrar la trayectoria que sigue una partı́cula de
masa despreciable, que se mueve dentro del po-
tencial producido por una cierta distribución de
masa que se encuentra en rotación uniforme. Por
ejemplo, el caso de un asteroide que se mueve Figura 1: Partı́cula que se mueve sujeta a las fuerzas
sujeto a las fuerzas de un planeta en órbita cir- de dos cuerpos en órbita circular entre sı́.
cular alrededor de una estrella central (figura 1).
Es obvio que el potencial no debe tener simetrı́a
Φ, que rota uniformemente con velocidad angu-
axial con respecto al eje de rotación, pues si lo
lar ω o . La ecuación de movimiento de la partı́cu-
tiene, el problema es equivalente a uno sin rota-
la con respecto al marco de referencia en co–
ción. Dada la asimetrı́a y la variación en el tiem-
rotación con el potencial es:
po del potencial, el momento angular y la energı́a
no se conservarán. Como el potencial no depen-
r̈ = −∇Φ − 2 (ω o × ṙ) − ω o × (ω o × r) (1)
de del tiempo en el marco no–inercial en coro-
tación con el potencial, nos conviene describir el
movimiento de la partı́cula desde este marco de El segundo término del lado derecho es la ace-
referencia acelerado. Estudiaremos la dinámica leración de Coriolis y el útlimo término es la
de la partı́cula como un ejemplo de marcos de aceleración centrı́fuga.
referencia no–inerciales. Esta ecuación no tiene términos que dependan
explicitamente del tiempo, sólo las funciones r,
ṙ y r̈ que describen la solución. Sin embargo, el
2. La ecuación de movimiento precio que pagamos por esta ecuación con co-
eficientes constantes, es que han aparecido dos
Sea una partı́cula de masa despreciable que se término inerciales que no aparecerı́an si usara-
mueve dentro de un potencial sin simetrı́a axial mos un marco de referencia inercial.

1
2 4 RELACIÓN DE EJ CON E Y L

3. La energı́a de Jacobi donde hemos definido la energı́a de Jacobi como:

Aunque la energı́a y el momento angular no se EJ ≡ 12 |ṙ|2 + Φ − 12 |ω o × r|2 (2)

conservan, existe una cantidad escalar que si se
conserva. Para encontrarla multiplicamos (pro- Los dos primeros términos son la energı́a
ducto escalar) la ecuación anterior por ṙ: cinética y potencial1 de la partı́cula en el marco
de referencia no–inercial.
ṙ · r̈ + ∇Φ · ṙ + 2 (ω o × ṙ) · ṙ
+ [ω o × (ω o × r)] · ṙ = 0
4. Relación de EJ con E y L
Ahora escribimos cada término como una de- ¿Cuál es la relación entre la energı́a de Jacobi
rivada temporal: y la energı́a E y el momento angular L, vistos
desde un marco de referencia que no rota?
1 d 2
ṙ · r̈ = |ṙ| , La energı́a en el marco inercial esta dada por:
2 dt
∇Φ · ṙ = (dΦ/dt), 1
E = |vin |2 + Φ, (3)
2 (ω o × ṙ) · ṙ = 0, 2
donde vin es la velocidad de la partı́cula vista
donde en el tercer término hemos usado el hecho
por el observador inercial.
de que (ω o × ṙ) es ortogonal a ṙ.
La relación entre las velocidades con respecto
Para el cuarto término usamos la ecuación 27 al observador inercial y en co–rotación es:
del apéndice:
vin = r + (ω o × r) (4)
[ω o × (ω o × r)] · ṙ = [(ω o · r)ω o − ω 2o r] · ṙ
= (ω o · r)(ω o · ṙ) − ω 2 (r · ṙ) Entonces, la energı́a en el marco inercial es:
o
1
Usamos ahora la ecuación 28 del apéndice: E = [r + (ω o × r)]2 + Φ
2
1 2 1
[ω o × (ω o × r)] · ṙ = −(ω o × r) · (ω o × ṙ) = |ṙ| + ṙ · (ω o × r) + |ω o × r|2 + Φ
2 2
d 1 2 1
= −(ω o × r) · (ω o × r) = 2
|ṙ| + Φ − |ω o × r| + ṙ · (ω o × r)
dt  2 2
d 1

= − |ω o × r|2 +|ω o × r|2
dt 2
= EJ + ṙ · (ω o × r) + |ω o × r|2
donde en el segundo paso hemos usado el hecho = EJ + ω o · (r × ṙ) + [(ω o × r) · (ω o × r)],
de que ω o es constante.
Poniendo juntos todos los términos encontra- donde en el último paso hemos usado la propie-
mos la cantidad conservada: dad de traslación cı́clica de términos del triple
producto vectorial: a × (b × c) = b × (c × a) =
d EJ
= 0, 1
En estas notas usaremos energı́a por unidad de masa.
dt
 3

c × (a × b), que puede demostrarse a partir de 5. El potencial efectivo

la ecuación 27 del apéndice.
Nuestro siguiente paso es usar la ecuación 28
del apéndice para transformar el término en
paréntesis cuadrados de la expresión anterior:
2 2 2
E = EJ + ω o · (r × ṙ) + [|ω o | |r| − (ω o · r) ]
Llegamos entonces a la siguiente expresión pa-
ra la energı́a de Jacobi:
EJ = E −[ω o · (r × ṙ)+|ω o |2 |r|2 −(ω o ·r)2 ] (5) un sistema de coordenadas cilı́ndrico en corota-
El momento angular en el marco inercial es:
L = r × vin = r × (ṙ + ω o × r)
= r × ṙ + r × (ω o × r)
donde hemos usado la ecuación 4.
Desarrollemos ahora el producto ω o · L:
ω o · L = ω o · (r × ṙ) + ω o · [r × (ω o × r)]
Usando de nuevo la ecuación 27 podemos escribir
el término con paréntesis cuadrados como:
Regresemos a la expresión original para la
energı́a de Jacobi (ecuación 2). Según vimos, EJ
es igual a la “energı́a” que mide el observador
no-inercial ((1/2)|ṙ|2 + Φ), mas el término:
1 1
− |ω o × r|2 = − ω 2 R2 ,
2 2
donde ωo ≡ |ω o | y R es la coordenada radial en
ción (R, θ, z), donde el eje z coincide con el eje de
rotación. Este término proviene directamente de
la aceleración centrı́fuga en la ecuación de mo-
vimiento, y podemos pensar que es la “energı́a
potencial” asociada a este término y por tanto,
lo llamaremos potencial centrı́fugo.
De hecho, es fácil demostrar que el potencial cen-
trı́fugo es precisamente el potencial cuyo gradiente da
lugar al término centrı́fugo en la ecuación de movi-
miento. De la figura 2 es claro que:

ω o · [r × (ω o × r)] = ω o · [|r|2 ω o − (r · ω o )r] |ω o × r| = ωo |r| sin(ϕ) = ωo R

2 2 2
= |ω o | |r| − (ω o · r) y por tanto,
regresando a nuestra expresión para ω o · L, se |ω o × (ω o × r)| = ωo2 R
tiene que:
La dirección de (ω o × r) es ortogonal al plano que
ω o · L = ω o · (r × ṙ) + |ω o |2 |r|2 − (ω o · r)2 contiene a r y R̂, donde este último es el vector unita-
rio a lo largo de R. La aceleración centrı́fuga es, por
Comparando esta expresión con la ecuación 5 tanto, paralela a R̂ y obtenemos finalmente:
para la energı́a de Jacobi, encontramos la rela-
ción entre ésta y la energı́a y momento angular (ω o × (ω o × r) = (ωo2 R) R̂
vista por el observador inercial:
Por otro lado, el gradiente del potencial centrı́fugo
EJ = E − (ω o · L) (6) es:
2 2 2 2
De manera que aunque la energı́a y el mo- ∇[−(1/2)ωo R ] = −(1/2)ω (dR /dR) R̂
mento angular que mide el observador inercial
lo cual es obviamente igual a la expresión encontrada
no se conservan, si se conserva la combinación para la aceleración centrı́fuga.
E − (ω o · L).
4 6 PUNTOS DE LAGRANGE

a el marco inercial. El gradiente del potencial cen-

trı́fugo implica una aceleración radial de repulsión.
¿Implica esto que no es posible tener a una partı́cula
estacionaria? Esto es claramente incorrecto, pues al
estar libre la partı́cula, ésta puede estar en reposo en
cualquier punto.
Lo primero que tenemos que notar es que una
partı́cula estacionaria en el marco de referencia iner-
cial implica que la partı́cula rota con velocidad ṙ =
−(ωo × r) con respecto al marco en rotación; luego
Figura 2: Relación geométrica entre los vectores de entonces, su ecuación de movimiento (ecuación 1) es:
posición r, velocidad angular ω o y de aceleración cen-
trı́fuga −ω o × (ω o × r). r̈ = −2 [ω o × ṙ] − ω o × (ω o × r)
= 2 [ω o × (ω o × r)] − ω o × (ω o × r)
Definimos entonces un llamado potencial efectivo = [ω o × (ω o × r)],
como:
donde en el segundo paso hemos sustituido el valor de
Φef f (R, θ, z) ≡ Φ(R, θ, z) − 1 2 2
2ω R (7) ṙ. La ecuación que nos queda nos dice que, visto desde
el marco en rotación, la partı́cula experimenta una
aceleración igual a la aceleración centrı́fuga, pero con
Con lo cual, la ecuación de movimiento en el marco
el signo opuesto: la aceleración centrı́peta necesaria
de referencia en rotación ( 1), puede escribirse como:
para que el observador no–inercial vea a la partı́cula
rotar con velocidad angular −ω o .
r̈ = −∇Φef f − 2(ω o × ṙ) (8)

y la energı́a de Jacobi puede expresarse como: 6. Puntos de Lagrange

EJ = 12 |ṙ|2 + Φef f (9) Aunque el movimiento de la partı́cula no depende
sólo de Φef , es claro que los puntos donde su gra-
diente se anula son puntos estacionarios, ya que si
Estas tres ecuaciones nos permiten describir el mo-
ponemos a la partı́cula en uno de estos puntos con
vimiento de la partı́cula en el marco de referencia en
velocidad inicial nula, la aceleración de Coriolis se-
co–rotación. Una vez obtenida la solución, podemos
ra nula también. El matemático francés Joseph Louis
pasar a la descripción en el marco inercial usando la
Lagrange determinó en 1772 la posición de estos pun-
expresión: rin = ω o × r y la ecuación 4.
tos dentro del contexto del problema restringido de
Notamos que cuando R → 0, o ωo → 0, el po-
tres cuerpos (ver sección 9). Por esta razón, a los pun-
tencial efectivo tiende al potencial inicial del proble-
tos donde el gradiente de Φef se anula se les denomina
ma Φef → Φ. Por el contrario, cuando R → ∞, o
puntos lagrangianos o puntos de Lagrange (rL ):
ωo → ∞, entonces el potencial efectivo tiende al po-
tencial centrı́fugo Φef → −(1/2)ω 2 R2 . ∇Φef (rL ) = 0 (10)
Es importante resaltar que el movimiento de la
partı́cula no esta determinado por el gradiente del po- Veamos esto en detalle. La figura 3 muestra el po-
tencial efectivo unicamentre, sino que es afectado por tencial gravitacional producido por dos esferas de ma-
la aceleración de Coriolis también. Por ejemplo, ima- sas diferentes. El panel izquierdo muestra el potencial
ginemos que eliminamos la fuerza representada por Φ en un plano que contiene a las dos masas. El panel
y colocamos a una partı́cula en reposo, con respecto derecho muestra los contornos equipotenciales. Si las
 5

y
y
x x
Figura 3: Potencial gravitacional producido por dos esferas masivas. El panel izquierdo muestra Φ(x, y). El
panel derecho muestra contornos equipotenciales y esta sombreado de acuerdo al valor del potencial: zonas
oscuras corresponden a valores más negativos. La equipotencial crı́tica se muestra en rojo.

masas estuviesen estáticas en el espacio, una partı́cu- Aunque ahora el movimiento de la partı́cula no
la de masa despreciable se moverı́a en respuesta al está determinado por este potencial unicamente, pues
gradiente de este potencial unicamente, conservando como vimos, hay que tomar en cuenta la aceleración
su energı́a. de Coriolis, la conservación de la energı́a de Jacobi
Existe un contorno equipotencial crı́tico que divide limita el movimiento de la partı́cula a regiones donde
el plano x–y en regiones donde los contornos rodean Φef (x, y) ≤ EJ . La geometrı́a de los contornos equi-
a cada masa por separado, o a ambas. Si la partı́cula potenciales es entonces muy importante, pues éstos
tiene una energı́a más negativa que la de este contor- confinan el movimiento.
no, se moverá alrededor de una sola masa sin poder Para entender su forma mostramos, en la figura 5
escapar de su alrededor. En caso contrario, la partı́cu- un corte a lo largo del eje x del potencial efectivo.
la se moverá alrededor de las dos masas. Empezando con las equipotenciales más negativas,
Sin embargo, una configuración estática no es fac- vemos que estas consisten de contornos separados que
tible, ya que las dos masas se atráen entre sı́. En reali- rodean a cada masa en sus inmediaciones y a las dos
dad, la única manera que pueden permanecer con una masas en la región más externa (regiones de sombrea-
distancia fija entre ellas es estando en órbita circular do oscuro en la figura 4). Al movernos a equipoten-
alrededor de su centro de masa. Al moverse las ma- ciales menos negativas llegamos al primer contorno
sas siguiendo sus órbitas es necesario tomar en cuen- crı́tico (indicado en verde), por arriba del cual no es
ta el efecto introducido por esta rotación. La figura 4 posible confinar a la partı́cula alrededor de la masa
muestra el potencial efectivo resultante. Este poten- menor. Este contorno se cruza a sı́ mismo en un pun-
cial es el mismo de la figura 3, solo que hemos añadido to silla que constituye un punto de Lagrange. Este
la contribución del potencial centrı́fugo, el cual es un contorno crı́tico delimita dos regiones de movimiento
paraboloide de sección circular cuyo vértice coincide para partı́culas cuya energı́a de Jacobi es menor: un
con el origen y que se vuelve más negativo a medida lóbulo alrededor de la masa pequeña, o una frontera
que nos alejamos del origen (ecuación 7). mas o menos circular que rodea a ambas masas.
6 6 PUNTOS DE LAGRANGE

y
y
x x
Figura 4: Potencial efectivo de dos esferas masivas en órbita circular. En este caso hay tres equipotenciales
crı́ticas que se muestran en color. El sombreado sigue la misma convención que en la figura anterior.

Φ ca anterior: un lóbulo que rodea, en este caso a la

!1.2 masa mayor, y una frontera exterior, aunque en este
!1.3 caso no rodea a la masa menor. Una partı́cula cuya
!1.4 energı́a de Jacobi es menor que la de este contorno
!1.5 y se encuentra inicialmente cerca de la masa mayor,
!1.6 estará confinada a esta región.
!1.7 Finalmente, la tercera equipotencial crı́tica pasa
!1.8 por el máximo en la región negativa del eje x (lı́nea
azul en las figuras). Este máximo es el tercer punto
!1.9
de Lagrange. Los dos puntos de Lagrange restantes
x se encuentran fuera del eje x y son los dos máximos
!1.5 !1 !0.5 0.5 1 1.5
de Φef enmedio de los dos lóbulos delimitados por
Figura 5: Corte a lo largo del eje x del potencial esta equipotencial crı́tica.
de la figura 4. La lı́nea azul es Φef (x, 0) y las lı́neas Aunque los detalles de la geometrı́a varı́an depen-
horizontales corresponden a los valores de la energı́a diendo del problema, cuando el potencial tiene sime-
para las equipotenciales crı́ticas que aparecen con el trı́a con respecto a un eje, se tienen en general 5 pun-
mismo color en esa figura. tos lagrangianos, tres de los cuales estan situados so-
bre el eje de simetrı́a y dos fuera de este eje. En las
secciones 9 y 10 examinamos en detalle dos ejemplos
Continuando hacia energı́as más positivas, encon- particulares: el problema restringido de tres cuerpos
tramos la siguiente equipotencial crı́tica en el punto y la barra logarı́tmica.
silla que separa los pozos potenciales de cada ma- Como hemos visto, los puntos lagrangianos son
sa (indicado en rojo en las figuras). El punto silla puntos estacionarios del problema. Una partı́cula co-
es el segundo punto de Lagrange y la geometrı́a de locada en alguno de estos puntos y en perfecto re-
este contorno es similar a la de la equipotencial crı́ti- poso permanecerá ahı́ sin movimiento, pues la fuerza
 7

de atracción es balanceada exactamente por el efecto El potencial efectivo puede entonces aproximarse al-
centrı́fugo. Sin embargo, una partı́cula colocada en rededor del punto de Lagrange como:
las inmediaciones de un punto de Lagrange, o que
1
no es colocada en perfecto reposo, no necesariamente Φef (x, y) ≈ Φef (xL , yL ) + (Φxx ξ 2 + Φxx η 2 )
permanecerá en las inmediaciones de ese punto. Esto 2
depende de la estabilidad del punto lagrangiano. Es- Bajo esta aproximación, el gradiente es:
te es el tema que examinamos en las siguientes dos
secciones. ∇Φef ≈ Φxx ξ êx + Φxx η êy ,

donde êx y êy son los vectores unitarios paralelos a

los ejes x y y.
7. Movimiento alrededor de los La ecuación de movimiento ( 8) puede entonces
puntos de Lagrange aproximarse como:

Si lo único que nos interesa es encontrar el mo- ξ¨ = −Φxx ξ + 2ωo η̇,

vimiento cerca de los puntos de Lagrange, podemos η̈ = −Φyy η − 2ωo ξ˙ (11)
linearizar las ecuaciones de movimiento haciendo una
expansión en series de Taylor del potencial efectivo al- Reconocemos este sistema como dos osciladores
rededor de los puntos de Lagrange y tomar el primer armónicos acoplados por medio de un término lineal
término variable que no se anula. en velocidad.
La expansión en serie de Taylor de Φef alrededor
del punto de Lagrange rL = (xL , yL ), es: Solución del sistema de ecuaciones
Proponemos soluciones de la forma:
Φef (x, y) = Φef (xL , yL ) +
1 ∂ 2 Φef
  ξ = Xeλt , η = Y eλt ,
2
(x − x L ) +
2 ∂x2 rL donde X, Y y λ son constantes complejas.
 2
Las derivadas temporales son:

∂ Φef
(x − xL )(y − yL ) +
∂x∂y rL
ξ˙ = λXeλt , ξ¨ = λ2 Xeλt
1 ∂ 2 Φef
 
λt
(y − yL )2 + . . . η̇ = λY e , η̈ = λ2 Y eλt
2 ∂x 2
rL
Sustituyendo en las ecuaciones de movimiento,
Si el potencial original Φ es simétrico con respec-
to al eje x y y (Φ(x, y) = Φ(−x, y) = Φ(x, −y) = ξ¨ + Φxx ξ − 2ωo η̇
Φ(−x, −y) =), se tiene entonces que: = λ2 Xeλt + Φxx Xeλt − 2ωo λY eλt
 2
∂ Φef
 = eλt [(λ2 + Φxx )X − 2λωo Y ] = 0
=0
∂x∂y rL

Nos conviene introducir un nuevo sistema de coor- η̈ + Φyy η − 2ωo ξ˙

denadas, paralelo a (x, y), pero cuyo origen coincide
= λ2 Y eλt + Φyy Y eλt + 2ωo λXeλt
con rL :
ξ ≡ x − xL , η ≡ y − yL = eλt [(λ2 + Φyy )Y + 2λωo X] = 0

Definimos ahora las constantes: Eliminando la solución trivial (eλt = 0), nos queda:
 2   2 
∂ Φef ∂ Φef
 2    
Φxx ≡ , Φ ≡ λ + Φxx −2λωo X 0
yy =
∂x2 rL ∂y 2 rL +2λωo λ2 + Φyy Y 0
8 8 ESTABILIDAD DE LOS PUNTOS DE LAGRANGE

Para que este sistema tenga solución no–trivial, el Η

determinante de la matriz de coeficientes debe ser
nulo:

(λ2 + Φxx )(λ2 + Φyy ) + 4λ2 ωo2 = 0

λ + (Φxx + Φyy + 4ωo2 )λ2 + Φxx Φyy
4
= 0
Ξ
Este polinomio donde λ2 es la incógnita, es la lla-
mada ecuación caracterı́stica del problema.
La solución esta dada por:

2λ2 = −(Φxx + Φyy + 4ωo2 ) ± (12)

q
(Φxx + Φyy + 4ωo2 )2 − 4Φxx Φyy
Figura 6: Ejemplo de movimiento alrededor de un
Notamos que si λ es una solución, entonces −λ lo es punto de Lagrange estable. El movimiento es el re-
también. sultado de la superposición de dos elipses. La forma
Hay dos casos que debemos considerar: de la trayectoria depende de los detalles del potencial.
1. Como las soluciones contienen el factor eλt , si
<[λ] 6= 0, se introduce una divergencia expo- 8. Estabilidad de los puntos de
nencial y el movimiento alrededor de ese punto
lagrangiano sera inestable. Lagrange
2. Si <[λ] = 0, entonces λ debe ser de la forma ±iα, Pudiera parecer que sólo los puntos de Lagrange
±iβ, donde α, β ∈ <. En este caso la solución que son mı́nimos de la función Φef son estables, sin
es estable y de la forma: embargo esto es erróneo. La razón es que, aunque el
potencial efectivo contiene las contribuciones del po-
tencial y el término centrı́fugo a la ecuación de movi-
ξ = X1 cos(αt + ϕ1 ) + X2 cos(βt + ϕ2 ) miento (ecuación 8), no incluye el efecto del término
η = Y1 sin(αt + ϕ1 ) + Y2 sin(βt + ϕ2 ) de Coriolis, el cual produce una aceleración ortogonal
a la dirección de movimiento2 y por tanto, deflecta la
La relación entre los coeficientes se obtiene sus- trayectoria de aquella que la partı́cula seguirı́a si se
tituyendo estas ecuaciones en las ecuaciones de moviese solo bajo la influencia de Φef .
movimiento (11), con lo que se obtiene: Lo que hay que hacer es un análisis que incluya el
2 efecto del término de Coriolis. En la sección anterior
Φxx − α 2ωo α
Y1 = X1 = X1 vimos que la condición de estabilidad es que se cum-
2ωo α Φyy − α2 pla <[λ] = 0, o equivalentemente, que λ2 < 0 ∈ <.
Φxx − β 2 2ωo β De la solución de la ecuación caracterı́stica (ecua-
Y2 = X2 = X2
2ωo β Φyy − β 2 ción 12), vemos que esto es equivalente a pedir que:

El solución en este caso consiste en la superposi- Φxx Φyy > 0, (13)

ción de dos elipses sobre las cuales el movimien-
4ωo2
p
to ocurre con frecuencias α y β. La forma de Φxx + Φyy + > 2 Φxx Φyy (14)
estas elipses y el sentido de giro sobre ellas es-
tan determinados por las ecuaciones anteriores La segunda condición garantiza que el radical que
(figura 6). 2
aCoriolis ∝ (ω o × ṙ).
 9

aparece en la ecuación 12 sea positivo, mientras que 9. El problema restringido de

la primera condición garantiza que este radical es me-
nor, en valor absoluto, que el primer término de esa
tres cuerpos
ecuación, también en valor absoluto. Estas dos condi- El problema restringido de tres cuerpos consiste en
ciones garantizan entonces que λ2 es real y negativo. determinar la trayectoria que sigue una partı́cula de
Si un punto de Lagrange es un punto silla, es decir, masa despreciable, que se mueve sujeta a la atracción
que es un mı́nimo a lo largo de una dirección y un gravitacional de dos puntos masivos que se mueven
máximo a lo largo de otra, es claro que la primera en órbita ligada y tal que el movimiento de todos los
condición de estabilidad no se cumplirá, ya que Φxx cuerpos ocurre en un solo plano (figura 1).
y Φxx tendran signos opuestos. Asi pues, todo punto Nosotros estudiaremos el caso particular cuando
de Lagrange que es un punto silla, es inestable. los puntos masivos se mueven en órbitas circulares
Si un punto de Lagrange es un mı́nimo, se tiene alrededor del centro de masa del sistema. En este ca-
entonces que Φxx > 0 y Φyy > 0, con lo que la prime- so, los cuerpos giran con velocidad angular constante
ra condición de estabilidad se cumple. Para verificar manteniendo fija la distancia entre ellos. Si usamos el
si se cumple la segunda condición, elevamos ésta al marco de referencia en corrotación las masas perma-
cuadrado (recordemos que en este caso ámbos lados necerán estacionarias.
de la desigualdad son positivos):
Para simplificar los cálculos, adoptaremos un sis-
2 2
(Φxx + Φyy + 4ωo ) > 4Φxx Φyy tema de unidades tal que la suma de las masas es la
unidad de masa y la separación constante entre éstas
Desarrollando el lado izquierdo, es la unidad de distancia. Haciendo la constante de
gravedad igual a la unidad determina por completo
Φ2xx + Φ2yy + 2Φxx Φyy nuestro sistema de unidades3 .
+8Φxx ωo2 + 8Φyy ωo2 + 16ωo4 > 4Φxx Φyy Sea q la masa menor. Esto implica que la masa
mayor es 1 − q. Obviamente se tiene que 0 < q ≤ 1/2,
Reagrupando términos, donde el lı́mite superior ocurre cuando las masas son
iguales.
(Φxx − Φyy )2 + 8ω 2 (Φxx + Φyy )16ωo4 > 0 Usando el marco de referencia no–inercial mostra-
do en la figura 7, donde el origen coincide con el ba-
El primer y último términos del lado izquierdo son ricentro del sistema y las dos masas estan sobre el eje
obviamente positivos. El término intermedio será po- x, es claro que:
sitivo también si Φxx > 0 y Φyy > 0, lo cual se cumple
en un punto mı́nimo. Concluimos entonces que, todo (1 − q)x1 + qx2 = 0
punto de Lagrange que es un mı́nimo, es estable.
Finalmente, ¿Qué ocurre cuando el punto de La- Dado que en nuestro sistema de unidades x2 −x1 = 1,
grange es un máximo?. En este caso, la primera con- podemos sustituir x2 = 1 + x1 en la ecuación anterior
dición de estabilidad se cumple también pues Φxx y para obtener los valores de x1 y x2 :
Φyy tienen el mismo signo. Sin embargo, el que se
cumpla la segunda condición de estabilidad depen- (1 − q)x1 + q(1 + x1 ) = 0
de de Φ. Por tanto, la estabilidad de los puntos de (x1 − qx1 ) + (q + qx1 ) = 0
Lagrange que son máximos depende de la forma par-
⇒ x1 = −q, x2 = 1 − q
ticular del potencial.
A continuación examinaremos dos ejemplos parti- 3
Un sistema consistente de unidades para un sistema
culares, el problema restringido de tres cuerpos y la dinámico se obtiene definiendo tre unidades independien-
barra logarı́tmica, y determinaremos la estabilidad de tes. Usualmente se elige la distancia, la masa y el tiempo,
los máximos. como en el sistema mks.
10 10 LA BARRA LOGARÍTMICA

El potencial centrı́fugo es, por tanto,

Φc (x, y) = −(1/2) (x2 + y 2 ) (16)
El potencial efectivo del problema restringido circular
de 3 cuerpos esta dado por la suma de las ecuacio-
nes 15 y 16. La figura 4 muestra este potencial.
De la discusión hecha en la sección 6, de esta figura,
es claro que 3 de los puntos de Lagrange se localizan
sobre el eje x y dos mas estan fuera de éste.
Encontremos primero la posición de los puntos so-
bre el eje. Tomando la derivada del potencial efectivo
a lo largo del eje x, obtenemos:
Figura 7: Sistema de referencia no–inercial usado pa- ∂
Φef (x, 0)
ra describir el problema restringido de tres cuerpos. ∂x
x2
 
∂ 1−q q
= − − −
Obviamente x1 < 0 lo cual concuerda con la figura 7. ∂x x+q x+q−1 2
Una vez que sabemos la posición de las dos masas, 1−q q
= + −x
podemos escribir el potencial gravitacional producido (x + q)2 (x + q − 1)2
por éstas:
1−q 10. La barra logarı́tmica
Φ2 (x, y) = −p
(x + q)2 + y 2 Existen en el universo galaxias elipsoidales como
q M87 en la cúmulo de galaxias de Virgo (figura 8). Un
−p (15)
(x + q − 1)2 + y 2 potencial que es usado con frecuencia para modelar
este tipo de galaxia es:
La figura 3 muestra este potencial para el caso en que
Φb (x, y) = (1/2)vo2 ln Rc2 + x2 + (y/q)2


una masa es 10 veces mayor que la otra (q = 1/11). (17)
Para añadir el potencial centrı́fugo debemos encon-
trar primero el valor ωo de la velocidad angular con Rc es un radio caracterı́stico tal 2
que, la velocidad
que rotan las masas con respecto a un marco iner- de las órbitas circulares para (x + y 2 )  Rc tiende
cial. Esta puede ser encontrada facilmente igualando a v o ; q es la razón entre el eje menor y mayor de
la aceleración centrı́peta que experimenta la masa en los contornos equipotenciales, que en este modelo es
x2 con la atracción gravitacional que ejerce sobre ella constante.
la otra masa: El potencial centrı́fugo esta dado por:

v2 Mm Φc (x, y) = −(1/2)ωo2 (x2 + y 2 ) (18)

m 2 = 2
x2 (x2 − x1 ) ωo es la velocidad angular con la que rota la galaxia
Aqui v es la velocidad de la masa en x . Dado que con respecto a un observador inercial.
2 2
esta velocidad es igual a v2 = ωo x2 , se tiene:
10.1. Puntos de Lagrange
M x2
ωo2 x22 = Nuestro primer paso es calcular las componentes
(x2 − x1 )2
del gradiente del potencial efectivo:
Sustituyendo los valores de M , x1 y x2 obtenemos:
∂Φef vo2 x
ωo = 1 = − ωo2 x
∂x Rc2 + x2 + (y/q)2
10.2 Estabilidad de los puntos de Lagrange 11

Notamos que estos puntos lagrangianos sólo existen

cuando se cumple la condición:

ωo ≤ (vo /Rc ) (23)

Cuando ωo aumenta, ambos puntos lagrangianos

tienden hacia el origen y para ωo = (vo /Rc ) se fusio-
nan con L3 . Para valores mayores de ωo desaparecen.
Por simetrı́a del potencial con respecto al eje y
(Φ(x, y) = Φ(−x, y)), es claro que los puntos lagran-
gianos L4 y L5 se localizan sobre este eje. Haciendo
ahora xL = 0 en la ecuación 20:

vo2
= ωo2
Figura 8: Galaxia M87 en la constelación de Virgo. Rc2 + (y/q)2

Despejando yL obtenemos las coordenadas de los

∂Φef vo2 y puntos lagrangianos L4 y L5 :
= − ωo2 y
∂y q (Rc + x2 ) + y 2
2 2
s
El siguiente paso es imponer la condición que de- (4,5) (4,5) vo2
L4 , L5 : xL = 0, yL = ± − q 2 Rc2 ,
fine a los puntos de Lagrange (∇Φef = 0): ωo2
(24)
L4 y L5 solo existen para valores de ωo tales que:
ωo2
 
2
xL − ω o = 0 (19)
Rc2 + x2 + (y/q)2 ωo ≤ (vo /q 2 Rc ) (25)
ω2
 
yL 2 2 o 2 − ω 2
o = 0 (20) Como 0 < q < 1, estos puntos se fusionan en el ori-
q (Rc + x ) + y 2
gen y desaparecen para valores de ωo mayores que
Es obvio que xL = 0, yL = 0 satisface estas condi- aquellos en que ocurre lo mismo con L1 y L2 .
ciones y, por tanto, el origen es un punto de Lagrange. La figura 9 muestra los contornos equipotenciales
Según la convención usada en Dinámica Galáctica se de una barra logarı́tmica en rotación, vistos desde el
le denomina L3 : marco de referencia en corrotación. Nótese que para
los valores escogidos para los parámetros que definen
(3) (3)
L3 : (xL = 0, yL = 0) (21) este ejemplo, la distancia de L1 y L2 al origen es casi
la misma que la de los puntos L4 y L5 .
Los puntos L1 y L2 se localizan a lo largo del eje x.
Para encontrarlos, hacemos yL = 0 en la ecuación 19:
10.2. Estabilidad de los puntos de La-
vo2 grange
= ωo2
Rc2 + x2
Investiguemos la estabilidad de los puntos de La-
Despejando xL encontramos las coordenadas de los grange en este potencial. L3 es un mı́nimo y, por tan-
puntos L1 y L2 : to, estable. L1 y L2 son puntos silla y son inestables.
s Para encontrar si los puntos L4 y L5 son estables,
(1,2) vo2 (1,2) debemos aplicar las condiciones de estabilidad (ecua-
L1 , L2 : xL = ± − Rc2 , yL = 0 (22)
ωo2 ciones 13 y 14). Para ello, empezamos calculando las
12 10 LA BARRA LOGARÍTMICA

"  2 #
ω o Rc
L5 Φxx + Φyy + 4ωo2 = ωo2 2
1 + q + 2q 2
vo
"  2 #
ω o Rc
Φxx Φyy = 2ωo4 (1 2
−q ) 1−q 2
vo

L1 L3 L2 La condición de estabilidad (ecuación 14), queda:

 2 "  2 #1/2
2 2 ω o Rc p
2 2 ω o Rc
1+q +2q > 2 2(1 − q ) 1 − q
vo vo

Esta es una condición que es complicado determi-

nar para que valores se cumple.
L4 Un caso sencillo es el de la llamada barra logarı́tmi-
ca singular, en la que Rc = 0. En este caso, la condi-
ción de estabilidad de L4 y L5 se reduce a:
p
1 + q 2 > 2 1(1 − q 2 ),
Figura 9: Contornos equipotenciales del potencial
efectivo de una barra logarı́tmica. Los parámetros que o sea,
la definen son: Rc = 1, vo = 1, q = 0.8 y ωo = 0.5.
Se muestran los puntos Lagrangianos en color rojo. (1 + q 2 )2 > 8(1 − q 2 )
Las flechas indican el gradiente. La región delimitada 1 + 2q 2 + q 4 > 8 − 8q 2
por los cı́rculos de color verde es la llamada región de q 4 + 10q 2 − 7 > 0
corrotación. √
=⇒ q 2 > (−10 + 128)/2

Luego entonces, los puntos L4 y L5 de la

segundas derivadas del potencial efectivo evaluadas
barra logarı́tmica singular son estables para q >
en estos puntos:
0.81046545 . . .
 2
∂ Φef

vo2 Volviendo al caso general (q 6= 0), introducimos el
2
= − ωo2 radio de corrotación como aquél en el que la velo-
∂x (4,5)
R 2 + (y (4,5) /q)2
(0,y ) c
L L cidad tangencial de rotación es igual a la velocidad
= −ω 2 (1 − q 2 ), caracterı́stica vo :

Rcor ≡ vo /ωo

∂ 2 Φef
 (4,5)
vo2 [Rc2 − (yL /q)2 ] El radio de corotación, en unidades del radio carac-
= − ω2 terı́stico, es entonces:
∂x2 (4,5)
(0,yL )
(4,5)
q 2 [Rc2 + (yL /q)2 ]
"  2 # ζ ≡ (Rcor /Rc ) = vo /ωo Rc
2 2 ω o Rc
= −2ωo 1 − q
vo En términos de este cociente, podemos escribir la con-
dición general de estabilidad como:
De estas expresiones, podemos evaluar los términos p
que aparecen en las condiciones de estabilidad: 1 + q 2 + 2(q/ζ)2 > 2 2[1 − q 2 ][1 − (q/ζ)2 ] (26)
10.2 Estabilidad de los puntos de Lagrange 13

1 Rc =1, Vo =1, q =0.75, wo =0.27

0.8 Marco Inercial Marco en rotación

0.6
q

1 1
0.4
0 x 0
0.2
0 -1 -1

Rcor !Rc
0 0.5 1 1.5 2
-1 0 1 -1 0 1

Figura 10: Región de estabilidad de los puntos L4 y

L5 de la barra logarı́tmica. La rotación aumenta de 2 2

derecha a izquierda.
0 x 0

-2 -2
La figura 10 muestra la región de estabilidad en el
plano q–ζ. Vemos que en el lı́mite de baja rotación o
-2 0 2 -2 0 2
Rc despreciable, la región de estabilidad coincide con
el lı́mite que encontramos para la barra logarı́tmi-
ca singular. Por otro lado, a medida que la rotación
aumenta, o Rc crece, la región de inestabilidad decre- 4 4

ce en tamaño y tiende a q → 0.
0
La figura 11 muestra 4 órbitas en un potencial don- 0 x

de Rc = 1, vo = 1, q = 0.75 y ωo = 3/11; esto hace

-4 -4
que los puntos L4 y L5 sean inestables. La órbita más
interna (2 paneles superiores) aparece como una rose- -4 0 4 -4 0 4
ta en el marco de referencia inercial y como un óvalo
cerrado en el marco en corrotación. La siguiente órbi-
ta es un poco más grande; en este caso la roseta es
barrida más lentamente en el marco inercial mientras 8 8

que en el marco no–inercial el óvalo desarrolla vérti-

0 x 0
ces en sus extremos a lo largo del eje x. La tercera
órbita esta en la región donde estan los puntos L4 y -8 -8
L5 ; es claro que esta órbita es mucho más complica-
da y no parece cerrarse en ninguno de los marcos de -8 0 8 -8 0 8
referencia. La última órbita está por completo afuera
de la región de los puntos de Lagrange; esta órbita
se cierra de nuevo en el marco no–inercial, aunque es Figura 11: Orbitas en una barra logarı́tmica en rota-
claro que su forma es diferente a la de las dos primeras ción. Los parámetros que definen a la barra se mues-
órbitas. Esta órbita pertenece a una familia diferente tran en la parte superior. Cada renglón muestra una
de órbitas a las dos primeras. Las familias de órbitas órbita diferente, vista desde el marco de referencia
son generadas como oscilaciones alrededor de órbitas inercial (panel izquierdo) o desde el marco en corrota-
cerradas estables y reflejan la forma de esas órbitas. ción (lado derecho). Las órbitas aumentan de tamaño
de arriba hacia abajo (nótese el cambio de escala).
14 10 LA BARRA LOGARÍTMICA
 15

11. Apéndice
En este apéndice listamos algunos resultados de
cálculo vectorial usados en el texto.

a × (b × c) = (a · c)b − (a · b)c (27)

(a × b) · (c × d) = (a · c)(b · d) − (a · d)(b · c) (28)