stringtranslate.com

Geodésicas de Schwarzschild

En la relatividad general , las geodésicas de Schwarzschild describen el movimiento de partículas de prueba en el campo gravitatorio de una masa fija central, es decir, el movimiento en la métrica de Schwarzschild. Las geodésicas de Schwarzschild han sido fundamentales para la validación de la teoría de la relatividad general de Einstein . Por ejemplo, proporcionan predicciones precisas de la precesión anómala de los planetas del Sistema Solar y de la desviación de la luz por la gravedad.

Las geodésicas de Schwarzschild se refieren únicamente al movimiento de partículas de masas tan pequeñas que contribuyen poco al campo gravitatorio. Sin embargo, son muy precisas en muchos escenarios astrofísicos siempre que sea varias veces menor que la masa central , por ejemplo, para planetas que orbitan alrededor de su estrella. Las geodésicas de Schwarzschild también son una buena aproximación al movimiento relativo de dos cuerpos de masa arbitraria, siempre que la masa de Schwarzschild sea igual a la suma de las dos masas individuales y . Esto es importante para predecir el movimiento de estrellas binarias en la relatividad general.

Contexto histórico

La métrica de Schwarzschild recibe su nombre en honor a su descubridor, Karl Schwarzschild , quien encontró la solución en 1915, solo un mes después de la publicación de la teoría de la relatividad general de Einstein. Fue la primera solución exacta de las ecuaciones de campo de Einstein, aparte de la solución trivial del espacio plano .

En 1931, Yusuke Hagihara publicó un artículo que mostraba que la trayectoria de una partícula de prueba en la métrica de Schwarzschild se puede expresar en términos de funciones elípticas . [1]

Samuel Kaplan en 1949 demostró que existe un radio mínimo para que la órbita circular sea estable en la métrica de Schwarzschild. [2]

Métrica de Schwarzschild

Una solución exacta de las ecuaciones de campo de Einstein es la métrica de Schwarzschild , que corresponde al campo gravitacional externo de un cuerpo de masa 1,5, no cargado, no giratorio y esféricamente simétrico . La solución de Schwarzschild se puede escribir como [3]

dónde

, en el caso de una partícula de prueba de pequeña masa positiva, es el tiempo propio (tiempo medido por un reloj que se mueve con la partícula) en segundos,
es la velocidad de la luz en metros por segundo,
es, para , la coordenada de tiempo (tiempo medido por un reloj estacionario en el infinito) en segundos,
es, para , la coordenada radial (circunferencia de un círculo centrado en la estrella dividida por ) en metros,
es la colatitud (ángulo desde el Norte) en radianes,
es la longitud en radianes, y
es el radio de Schwarzschild del cuerpo masivo (en metros), que está relacionado con su masa por
donde es la constante gravitacional . La teoría clásica newtoniana de la gravedad se recupera en el límite cuando el cociente tiende a cero. En ese límite, la métrica vuelve a la definida por la relatividad especial .

En la práctica, esta relación es casi siempre extremadamente pequeña. Por ejemplo, el radio de Schwarzschild de la Tierra es de aproximadamente 9 mm ( 38  pulgadas); en la superficie de la Tierra, las correcciones a la gravedad newtoniana son solo una parte en mil millones. El radio de Schwarzschild del Sol es mucho mayor, aproximadamente 2953 metros, pero en su superficie, la relación es de aproximadamente 4 partes en un millón. Una estrella enana blanca es mucho más densa, pero incluso aquí la relación en su superficie es de aproximadamente 250 partes en un millón. La relación solo se vuelve grande cerca de objetos ultradensos como las estrellas de neutrones (donde la relación es de aproximadamente el 50%) y los agujeros negros .

Órbitas de partículas de prueba

Comparación entre la órbita de una partícula de prueba en el espacio-tiempo newtoniano (izquierda) y de Schwarzschild (derecha); observe la precesión apsidal a la derecha.

Podemos simplificar el problema utilizando simetría para eliminar una variable de la consideración. Dado que la métrica de Schwarzschild es simétrica respecto de , cualquier geodésica que comience a moverse en ese plano permanecerá en ese plano indefinidamente (el plano es totalmente geodésico ). Por lo tanto, orientamos el sistema de coordenadas de modo que la órbita de la partícula se encuentre en ese plano y fijamos la coordenada para que sea de modo que la métrica (de este plano) se simplifique a

Se pueden identificar dos constantes de movimiento (valores que no cambian con el tiempo propio ) (véase la deducción que se da a continuación). Una es la energía total :

y el otro es el momento angular específico :

donde es el momento angular total de los dos cuerpos, y es la masa reducida . Cuando , la masa reducida es aproximadamente igual a . A veces se supone que . En el caso del planeta Mercurio, esta simplificación introduce un error más del doble de grande que el efecto relativista. Cuando se habla de geodésicas, puede considerarse ficticio, y lo que importa son las constantes y . Para cubrir todas las geodésicas posibles, necesitamos considerar casos en los que es infinito (dando trayectorias de fotones ) o imaginario (para geodésicas taquiónicas ). Para el caso fotónico, también necesitamos especificar un número correspondiente a la relación de las dos constantes, a saber , , que puede ser cero o un número real distinto de cero.

Sustituyendo estas constantes en la definición de la métrica de Schwarzschild

produce una ecuación de movimiento para el radio en función del tiempo propio :

La solución formal a esto es

Tenga en cuenta que la raíz cuadrada será imaginaria para las geodésicas taquiónicas.

Usando la relación anterior entre y , también podemos escribir

Como asintóticamente el integrando es inversamente proporcional a , esto demuestra que en el marco de referencia si tiende a , lo hace exponencialmente sin alcanzarlo nunca. Sin embargo, como función de , alcanza .

Las soluciones anteriores son válidas mientras el integrando sea finito, pero una solución total puede involucrar dos o una infinidad de partes, cada una descrita por la integral pero con signos alternos para la raíz cuadrada.

Cuando y , podemos resolver y explícitamente:

y para geodésicas fotónicas ( ) con momento angular cero

(Aunque el tiempo propio es trivial en el caso fotónico, se puede definir un parámetro afín , y entonces la solución de la ecuación geodésica es .)

Otro caso solucionable es aquel en el que y y son constantes. En el volumen donde esto da para el tiempo propio

Esto se acerca a las soluciones con valores pequeños y positivos. El exterior de la solución es taquiónico y el "tiempo propio" es similar al espacio:

Esto es similar a otras soluciones taquiónicas con valores pequeños y negativos. La geodésica taquiónica constante en el exterior no se continúa con una geodésica constante en el interior , sino que continúa en una "región exterior paralela" (ver coordenadas de Kruskal-Szekeres ). Otras soluciones taquiónicas pueden entrar en un agujero negro y volver a salir en la región exterior paralela. La solución constante dentro del horizonte de sucesos ( ) se continúa con una solución constante en un agujero blanco .

Cuando el momento angular no es cero podemos reemplazar la dependencia del tiempo propio por una dependencia del ángulo usando la definición de

lo que produce la ecuación para la órbita

donde, por brevedad, se han definido dos escalas de longitud, y , mediante

Nótese que en el caso taquiónico, será imaginario y real o infinito.

La misma ecuación también se puede derivar utilizando un enfoque lagrangiano [4] o la ecuación de Hamilton-Jacobi [5] (ver más abajo). La solución de la ecuación de la órbita es

Esto puede expresarse en términos de la función elíptica de Weierstrass . [6]

Velocidades locales y retardadas

A diferencia de la mecánica clásica, en las coordenadas de Schwarzschild y no son los componentes radial y transversal de la velocidad local (relativa a un observador estacionario), sino que dan los componentes de la celeridad que están relacionados con

para el radial y

para el componente transversal del movimiento, con . El contador de coordenadas que se encuentra lejos de la escena observa la velocidad retardada por Shapiro , que está dada por la relación

y .

El factor de dilatación del tiempo entre el contador y la partícula de prueba en movimiento también se puede expresar en la forma

donde el numerador es la componente gravitacional y el denominador es el componente cinemático de la dilatación del tiempo. Para una partícula que cae desde el infinito, el factor izquierdo es igual al factor derecho, ya que la velocidad de caída coincide con la velocidad de escape en este caso.

Las dos constantes momento angular y energía total de una partícula de prueba con masa están en términos de

y

dónde

y

Para partículas de prueba masivas, el factor de Lorentz y es el tiempo propio, mientras que para partículas sin masa, como los fotones, se establece en y asume el papel de un parámetro afín. Si la partícula no tiene masa, se reemplaza por y por , donde es la constante de Planck y la frecuencia observada localmente.

Solución exacta utilizando funciones elípticas

La ecuación fundamental de la órbita es más fácil de resolver [nota 1] si se expresa en términos del radio inverso

El lado derecho de esta ecuación es un polinomio cúbico , que tiene tres raíces , denotadas aquí como , , y

La suma de las tres raíces es igual al coeficiente del término.

Un polinomio cúbico con coeficientes reales puede tener tres raíces reales o una raíz real y dos raíces conjugadas complejas . Si las tres raíces son números reales , las raíces se etiquetan de modo que . Si, en cambio, solo hay una raíz real, entonces se denota como ; las raíces conjugadas complejas se etiquetan como y . Usando la regla de signos de Descartes , puede haber como máximo una raíz negativa; es negativo si y solo si . Como se analiza a continuación, las raíces son útiles para determinar los tipos de órbitas posibles.

Dado este etiquetado de las raíces, la solución de la ecuación orbital fundamental es

donde representa la función seno amplitudino (una de las funciones elípticas de Jacobi ) y es una constante de integración que refleja la posición inicial. El módulo elíptico de esta función elíptica viene dado por la fórmula

Límite newtoniano

Para recuperar la solución newtoniana para las órbitas planetarias, se toma el límite a medida que el radio de Schwarzschild tiende a cero. En este caso, la tercera raíz se convierte aproximadamente en , y mucho mayor que o . Por lo tanto, el módulo tiende a cero; en ese límite, se convierte en la función seno trigonométrica

En consonancia con las soluciones de Newton para los movimientos planetarios, esta fórmula describe una cónica focal de excentricidad.

Si es un número real positivo, entonces la órbita es una elipse donde y representan las distancias de aproximación más lejana y más cercana, respectivamente. Si es cero o un número real negativo, la órbita es una parábola o una hipérbola , respectivamente. En estos dos últimos casos, representa la distancia de aproximación más cercana; dado que la órbita tiende al infinito ( ), no hay distancia de aproximación más lejana.

Raíces y panorama de posibles órbitas

Una raíz representa un punto de la órbita donde la derivada se anula, es decir, donde . En dicho punto de inflexión, alcanza un máximo, un mínimo o un punto de inflexión, dependiendo del valor de la segunda derivada, que viene dado por la fórmula

Si las tres raíces son números reales distintos, la segunda derivada es positiva, negativa y positiva en u 1 , u 2 y u 3 , respectivamente. De ello se deduce que una gráfica de u en función de φ puede oscilar entre u 1 y u 2 , o puede alejarse de u 3 hacia el infinito (lo que corresponde a que r se acerque a cero). Si u 1 es negativa, solo se producirá una parte de una "oscilación". Esto corresponde a que la partícula viene del infinito, se acerca a la masa central y luego se aleja nuevamente hacia el infinito, como la trayectoria hiperbólica en la solución clásica.

Si la partícula tiene la cantidad justa de energía para su momento angular, u 2 y u 3 se fusionarán. Hay tres soluciones en este caso. La órbita puede entrar en espiral hasta , acercándose a ese radio como (asintóticamente) una exponencial decreciente en φ, , o . O se puede tener una órbita circular en ese radio. O se puede tener una órbita que desciende en espiral desde ese radio hasta el punto central. El radio en cuestión se llama radio interior y está entre y 3 veces r s . Una órbita circular también resulta cuando es igual a , y esto se llama radio exterior. Estos diferentes tipos de órbitas se analizan a continuación.

Si la partícula llega a la masa central con suficiente energía y un momento angular suficientemente bajo, entonces solo será real. Esto corresponde a la partícula cayendo en un agujero negro. La órbita gira en espiral con un cambio finito en φ.

Precesión de órbitas

La función sn y su cuadrado sn 2 tienen períodos de 4 K y 2 K , respectivamente, donde K está definido por la ecuación [nota 2]

Por lo tanto, el cambio en φ durante una oscilación de (o, equivalentemente, una oscilación de ) es igual a [7]

En el límite clásico, u 3 se aproxima a y es mucho mayor que o . Por lo tanto, es aproximadamente

Por las mismas razones, el denominador de Δφ es aproximadamente

Como el módulo es cercano a cero, el período K se puede expandir en potencias de ; hasta el orden más bajo, esta expansión produce

Sustituyendo estas aproximaciones en la fórmula para Δφ se obtiene una fórmula para el avance angular por oscilación radial.

Para una órbita elíptica, y representan las inversas de las distancias más larga y más corta, respectivamente. Estas pueden expresarse en términos del semieje mayor de la elipse y su excentricidad orbital .

donación

Sustituyendo la definición de se obtiene la ecuación final

Curvatura de la luz por la gravedad

Diagrama de la lente gravitacional de un cuerpo compacto

En el límite, a medida que la masa de la partícula m tiende a cero (o, equivalentemente, si la luz se dirige directamente hacia la masa central, a medida que la escala de longitud a tiende a infinito), la ecuación para la órbita se convierte en

Desarrollando en potencias de , el término de orden principal en esta fórmula da la desviación angular aproximada δ φ para una partícula sin masa que entra desde el infinito y regresa al infinito:

Aquí, el parámetro de impacto es algo mayor que la distancia de aproximación más cercana : [ 8]

Aunque esta fórmula es aproximada, es precisa para la mayoría de las mediciones de lentes gravitacionales , debido a lo pequeño de la relación . Para la luz que roza la superficie del sol, la desviación angular aproximada es de aproximadamente 1,75  segundos de arco , aproximadamente una millonésima parte de un círculo.

De manera más general, la geodésica de un fotón emitido desde una fuente de luz ubicada en una coordenada radial se puede calcular de la siguiente manera, aplicando la ecuación

Geodésica de un fotón emitido desde una fuente de luz ubicada en el horizonte de sucesos de un agujero negro y de regreso a él, con un parámetro de impacto .
Geodésica de un fotón emitido desde una fuente de luz situada en el horizonte de sucesos de un agujero negro, con un parámetro de impacto y luego desplazándose a la órbita inestable . Si el fotón se libera hacia el infinito.

La ecuación se puede derivar como

Lo que conduce a

Esta ecuación con segunda derivada se puede integrar numéricamente de la siguiente manera mediante un método de Runge-Kutta de cuarto orden, considerando un tamaño de paso y con:

,

,

y

.

El valor en el siguiente paso es

y el valor en el siguiente paso es

El paso se puede elegir para que sea constante o adaptativo, dependiendo de la precisión requerida .

Relación con la física newtoniana

Energía potencial radial efectiva

La ecuación de movimiento para la partícula derivada anteriormente

se puede reescribir utilizando la definición del radio de Schwarzschild r s como

lo que equivale a una partícula que se mueve en un potencial efectivo unidimensional

Los dos primeros términos son energías clásicas bien conocidas: la primera es la energía potencial gravitatoria newtoniana atractiva y la segunda corresponde a la energía potencial "centrífuga" repulsiva ; sin embargo, el tercer término es una energía atractiva exclusiva de la relatividad general . Como se muestra a continuación y en otros lugares , esta energía cúbica inversa hace que las órbitas elípticas precesen gradualmente en un ángulo δφ por revolución.

donde es el semieje mayor y es la excentricidad.

El tercer término es atractivo y domina en valores pequeños, dando un radio interno crítico r interior en el cual una partícula es atraída inexorablemente hacia adentro a ; este radio interno es una función del momento angular de la partícula por unidad de masa o, equivalentemente, la escala de longitud definida anteriormente.

Órbitas circulares y su estabilidad

Potencial radial efectivo para diversos momentos angulares. En radios pequeños, la energía cae precipitadamente, lo que hace que la partícula sea atraída inexorablemente hacia adentro hasta . Sin embargo, cuando el momento angular normalizado es igual a la raíz cuadrada de tres, es posible una órbita circular metaestable en el radio resaltado con un círculo verde. En momentos angulares más altos, hay una barrera centrífuga significativa (curva naranja) y un radio interno inestable, resaltado en rojo.

El potencial efectivo se puede reescribir en términos de la longitud .

Las órbitas circulares son posibles cuando la fuerza efectiva es cero

Es decir, cuando las dos fuerzas de atracción —la gravedad newtoniana (primer término) y la atracción propia de la relatividad general (tercer término)— están exactamente equilibradas por la fuerza centrífuga repulsiva (segundo término). Hay dos radios en los que puede producirse este equilibrio, denotados aquí como r interior y r exterior .

que se obtienen utilizando la fórmula cuadrática . El radio interior r interior es inestable, porque la tercera fuerza atractiva se fortalece mucho más rápido que las otras dos fuerzas cuando r se vuelve pequeño; si la partícula se desliza ligeramente hacia adentro desde r interior (donde las tres fuerzas están en equilibrio), la tercera fuerza domina a las otras dos y atrae a la partícula inexorablemente hacia adentro hasta r = 0. En el radio exterior, sin embargo, las órbitas circulares son estables; el tercer término es menos importante y el sistema se comporta más como el problema de Kepler no relativista .

Cuando es mucho mayor que (el caso clásico), estas fórmulas se vuelven aproximadamente

Los radios estables e inestables se representan gráficamente en función del momento angular normalizado en azul y rojo, respectivamente. Estas curvas se encuentran en una órbita circular única (círculo verde) cuando el momento angular normalizado es igual a la raíz cuadrada de tres. A modo de comparación, el radio clásico predicho a partir de la aceleración centrípeta y la ley de la gravedad de Newton se representa gráficamente en negro.

Sustituyendo las definiciones de y r s en r exterior se obtiene la fórmula clásica para una partícula de masa que orbita un cuerpo de masa .

donde ω φ es la velocidad angular orbital de la partícula. Esta fórmula se obtiene en mecánica no relativista igualando la fuerza centrífuga a la fuerza gravitatoria newtoniana:

¿Dónde está la masa reducida ?

En nuestra notación, la velocidad angular orbital clásica es igual a

En el otro extremo, cuando un 2 se acerca a 3 r s 2 desde arriba, los dos radios convergen a un único valor.

Las soluciones cuadráticas anteriores aseguran que r exterior sea siempre mayor que 3 r s , mientras que r interior se encuentra entre 32 r s y 3 r s . Las órbitas circulares menores que 32 r s no son posibles. Para partículas sin masa, a tiende al infinito, lo que implica que hay una órbita circular para fotones en r interior = 32 r s . La esfera de este radio a veces se conoce como esfera de fotones .  

Precesión de órbitas elípticas

En el problema no relativista de Kepler , una partícula sigue la misma elipse perfecta (órbita roja) eternamente. La relatividad general introduce una tercera fuerza que atrae a la partícula ligeramente más fuertemente que la gravedad newtoniana, especialmente en radios pequeños. Esta tercera fuerza hace que la órbita elíptica de la partícula precese ( órbita cian) en la dirección de su rotación; este efecto se ha medido en Mercurio , Venus y la Tierra. El punto amarillo dentro de las órbitas representa el centro de atracción, como el Sol .

La tasa de precesión orbital se puede derivar utilizando este potencial radial efectivo V . Una pequeña desviación radial de una órbita circular de radio r exterior oscilará de manera estable con una frecuencia angular

Lo cual es igual

Tomando la raíz cuadrada de ambos lados y realizando una expansión en serie de Taylor se obtiene

Multiplicando por el período T de una revolución se obtiene la precesión de la órbita por revolución.

donde hemos utilizado ω φ T = 2 п y la definición de la escala de longitud a . Sustituyendo la definición del radio de Schwarzschild r s se obtiene

Esto se puede simplificar utilizando el semieje A de la órbita elíptica y la excentricidad e relacionada por la fórmula

para dar el ángulo de precesión

Derivaciones matemáticas de la ecuación orbital

Símbolos de Christoffel

Los símbolos de Christoffel que no desaparecen para la métrica de Schwarzschild son: [9]

Ecuación geodésica

Según la teoría de la relatividad general de Einstein, las partículas de masa despreciable viajan a lo largo de geodésicas en el espacio-tiempo. En un espacio-tiempo plano, lejos de una fuente de gravedad, estas geodésicas corresponden a líneas rectas; sin embargo, pueden desviarse de las líneas rectas cuando el espacio-tiempo es curvo. La ecuación para las líneas geodésicas es [10]

donde Γ representa el símbolo de Christoffel y la variable parametriza la trayectoria de la partícula a través del espacio-tiempo , su llamada línea del mundo . El símbolo de Christoffel depende solo del tensor métrico , o más bien de cómo cambia con la posición. La variable es un múltiplo constante del tiempo propio para órbitas temporales (que recorren las partículas masivas), y generalmente se toma como igual a este. Para órbitas similares a la luz (o nulas) (que recorren las partículas sin masa como el fotón ), el tiempo propio es cero y, estrictamente hablando, no se puede usar como la variable . Sin embargo, las órbitas similares a la luz se pueden derivar como el límite ultrarrelativista de las órbitas temporales, es decir, el límite cuando la masa de la partícula m tiende a cero mientras mantiene fija su energía total .

Por lo tanto, para resolver el movimiento de una partícula, la forma más sencilla es resolver la ecuación geodésica, un enfoque adoptado por Einstein [11] y otros. [12] La métrica de Schwarzschild puede escribirse como

donde las dos funciones y su recíproca se definen para abreviar. A partir de esta métrica, se pueden calcular los símbolos de Christoffel y sustituir los resultados en las ecuaciones geodésicas.

Se puede verificar que es una solución válida mediante la sustitución en la primera de estas cuatro ecuaciones. Por simetría, la órbita debe ser plana y tenemos libertad para disponer el sistema de coordenadas de modo que el plano ecuatorial sea el plano de la órbita. Esta solución simplifica la segunda y la cuarta ecuaciones.

Para resolver la segunda y tercera ecuaciones, basta dividirlas por y , respectivamente.

lo que produce dos constantes de movimiento.

Enfoque lagrangiano

Debido a que las partículas de prueba siguen geodésicas en una métrica fija, las órbitas de esas partículas pueden determinarse utilizando el cálculo de variaciones, también llamado enfoque lagrangiano. [13] Las geodésicas en el espacio-tiempo se definen como curvas para las cuales pequeñas variaciones locales en sus coordenadas (mientras se mantienen fijos sus eventos de puntos finales) no producen cambios significativos en su longitud total s . Esto puede expresarse matemáticamente utilizando el cálculo de variaciones

donde τ es el tiempo propio , s = es la longitud de arco en el espacio-tiempo y T se define como

En analogía con la energía cinética , si la derivada con respecto al tiempo propio se representa con un punto para abreviar.

T puede escribirse como

Los factores constantes (como c o la raíz cuadrada de dos) no afectan la respuesta al problema variacional; por lo tanto, al tomar la variación dentro de la integral se obtiene el principio de Hamilton.

La solución del problema variacional viene dada por las ecuaciones de Lagrange.

Cuando se aplican a t y φ , estas ecuaciones revelan dos constantes de movimiento

que puede expresarse en términos de dos escalas de longitud constantes, y

Como se muestra arriba, la sustitución de estas ecuaciones en la definición de la métrica de Schwarzschild produce la ecuación de la órbita.

Enfoque hamiltoniano

Una solución lagrangiana se puede reformular en una forma hamiltoniana equivalente. [14] En este caso, el hamiltoniano viene dado por

Una vez más, la órbita puede estar restringida a por simetría. Dado que y no aparecen en el hamiltoniano, sus momentos conjugados son constantes; pueden expresarse en términos de la velocidad de la luz y dos escalas de longitud constantes y

Las derivadas con respecto al tiempo propio están dadas por

Dividiendo la primera ecuación por la segunda se obtiene la ecuación orbital.

El momento radial p r se puede expresar en términos de r utilizando la constancia del hamiltoniano ; esto produce la ecuación orbital fundamental

Enfoque de Hamilton-Jacobi

Curvatura de las ondas en un campo gravitatorio. Debido a la gravedad, el tiempo transcurre más lentamente en la parte inferior que en la superior, lo que hace que los frentes de onda (mostrados en negro) se desvíen gradualmente hacia abajo. La flecha verde muestra la dirección de la aparente "atracción gravitatoria".

La ecuación orbital se puede derivar de la ecuación de Hamilton-Jacobi . [15] La ventaja de este enfoque es que equipara el movimiento de la partícula con la propagación de una onda, y conduce claramente a la derivación de la desviación de la luz por la gravedad en la relatividad general , a través del principio de Fermat . La idea básica es que, debido a la desaceleración gravitacional del tiempo, las partes de un frente de onda más cercanas a una masa gravitante se mueven más lentamente que las más alejadas, doblando así la dirección de propagación del frente de onda.

Utilizando la covarianza general, la ecuación de Hamilton-Jacobi para una sola partícula de masa unitaria se puede expresar en coordenadas arbitrarias como

Esto es equivalente a la formulación hamiltoniana anterior, en la que las derivadas parciales de la acción ocupan el lugar de los momentos generalizados. Si se utiliza la métrica de Schwarzschild g μν , esta ecuación se convierte en

donde orientamos nuevamente el sistema de coordenadas esféricas con el plano de la órbita. El tiempo t y el ángulo azimutal φ son coordenadas cíclicas, de modo que la solución para la función principal de Hamilton S puede escribirse

donde y son los momentos generalizados constantes. La ecuación de Hamilton-Jacobi proporciona una solución integral para la parte radial.

Tomando la derivada de la función principal de Hamilton S con respecto al momento conservado p φ se obtiene

Lo cual es igual

Tomando una variación infinitesimal en φ y r se obtiene la ecuación orbital fundamental

donde las escalas de longitud conservadas a y b están definidas por los momentos conservados mediante las ecuaciones

Principio de Hamilton

La integral de acción para una partícula afectada únicamente por la gravedad es

donde es el tiempo propio y es cualquier parametrización suave de la línea del universo de la partícula. Si se aplica el cálculo de variaciones a esto, se obtienen nuevamente las ecuaciones para una geodésica. Para simplificar los cálculos, primero se toma la variación del cuadrado del integrando. Para la métrica y las coordenadas de este caso y suponiendo que la partícula se mueve en el plano ecuatorial , ese cuadrado es

Tomando una variación de esto se obtiene

Movimiento en longitud

Varía con respecto a la longitud solo para obtener

Dividir por para obtener la variación del propio integrando

De este modo

Integrando por partes se obtiene

Se supone que la variación de la longitud es cero en los puntos extremos, por lo que el primer término desaparece. La integral puede hacerse distinta de cero mediante una elección perversa de a menos que el otro factor interno sea cero en todas partes. Por lo tanto, la ecuación de movimiento es

Movimiento en el tiempo

Varía con respecto al tiempo sólo para obtener

Dividir por para obtener la variación del propio integrando

De este modo

Integrando por partes se obtiene

Entonces la ecuación de movimiento es

Momentos conservados

Integre estas ecuaciones de movimiento para determinar las constantes de integración obteniendo

Estas dos ecuaciones para las constantes de movimiento (momento angular) y (energía) se pueden combinar para formar una ecuación que es verdadera incluso para fotones y otras partículas sin masa para las cuales el tiempo propio a lo largo de una geodésica es cero.

Movimiento radial

Sustituyendo

y

en la ecuación métrica (y usando ) da

de donde se puede derivar

que es la ecuación de movimiento para . La dependencia de se puede encontrar dividiendo esto por

Llegar

lo cual es cierto incluso para partículas sin masa. Si las escalas de longitud se definen por

y

Entonces la dependencia de se simplifica a

Véase también

Notas

  1. ^ Esta sustitución de por también es común en problemas clásicos de fuerza central, ya que también hace que esas ecuaciones sean más fáciles de resolver. Para obtener más información, consulte el artículo sobre el problema clásico de fuerza central .
  2. ^ En la literatura matemática, K se conoce como la integral elíptica completa de primer tipo ; para mayor información, consulte el artículo sobre integrales elípticas .

Referencias

  1. ^ Kozai, Yoshihide (1998). "Desarrollo de la mecánica celeste en Japón". Planeta. Ciencia espacial . 46 (8): 1031–36. Código Bibliográfico :1998P&SS...46.1031K. doi :10.1016/s0032-0633(98)00033-6.
  2. ^ Kaplan, Samuil (1949). "Sobre las órbitas circulares en la teoría de la gravitación de Einstein". J. Exp. Theor. Phys . 19 (10): 951–952. arXiv : 2201.07971 . Código Bibliográfico :1949ZhETF..19..951K.
  3. ^ Landau y Lifshitz, págs. 299–301.
  4. ^ Whittaker 1937.
  5. ^ Landau y Lifshitz (1975), págs. 306-309.
  6. ^ Gibbons, GW; Vyska, M. (29 de febrero de 2012). "La aplicación de funciones elípticas de Weierstrass a geodésicas nulas de Schwarzschild". Gravedad clásica y cuántica . 29 (6): 065016. arXiv : 1110.6508 . Código Bibliográfico :2012CQGra..29f5016G. doi :10.1088/0264-9381/29/6/065016. S2CID  119675906.
  7. ^ Synge, págs. 294-295.
  8. ^ arXiv.org: gr-qc/9907034v1.
  9. ^ Sean Carroll : Notas de clase sobre relatividad general , Capítulo 7, Ecuación 7.33
  10. ^ Weinberg, pág. 122.
  11. ^ Einstein, págs. 95-96.
  12. ^ Weinberg, págs. 185-188; Wald, págs. 138-139.
  13. ^ Synge, págs. 290-292; Adler, Bazin y Schiffer, págs. 179-182; Whittaker, págs. 390-393; Pauli, pág. 167.
  14. ^ Lanczos, págs. 331–338.
  15. ^ Landau y Lifshitz, págs. 306–307; Misner, Thorne y Wheeler, págs. 636–679.

Bibliografía

Enlaces externos