Cuando tiene espacios curvos (o aquí, espacios espaciales curvos), debe pensar con mucho cuidado acerca de qué son realmente las “líneas rectas” o geodésicas.
Digamos que tiene dos puntos en algún tipo de superficie ondulada y varios caminos alternativos entre ellos en esa superficie, ¿cuál de esas líneas merece ser llamada “recta”?
- ¿Existe una forma clásica de explicar por qué el camino de la luz podría doblarse o parecer doblarse en un campo gravitacional?
- Tanto la masa como la energía gravitan. Según la relatividad general, la masa gravita porque deforma el espacio-tiempo. ¿Por qué la energía deforma el espacio-tiempo?
- Si nuestra masa aumenta infinitamente cuando viajamos a la velocidad de la luz o cerca de ella, ¿qué efecto tendría en la estructura del espacio-tiempo? ¿Haríamos una gran curva en la tela (gravedad según la relatividad)?
- ¿Qué avances se han hecho en la relatividad general desde que Einstein se le ocurrió por primera vez?
- Dicen que nunca veremos dentro de un agujero negro, ¿no se inventará alguna forma de tecnología resistente a la gravedad en un futuro lejano para permitir esto?
La idea central es que la línea recta es la que extrema la distancia . Generalmente pensamos en una línea recta como la distancia más corta (aunque deberíamos reconocer que en GR una geodésica también puede ser la distancia más larga).
Ahora, según las condiciones de GR, sabemos que nuestra superficie es de un tipo razonablemente “agradable” donde podemos definir localmente un tipo de “distancia” a la que nos referimos como el “elemento lineal”. Esta distancia (al cuadrado) viene dada por:
[matemáticas] ds ^ 2 = g _ {\ alpha \ beta} dx ^ {\ alpha} dx ^ {\ beta} [/ matemáticas]
Donde [math] g [/ math] es el tensor métrico , y estamos utilizando la convención de suma de Einstein de sumar sobre los cuatro índices (tres espacios, una vez). Este elemento de línea es la cantidad que medimos a lo largo de cualquier ruta para ver si es geodésica o no.
No te preocupes si el bit anterior no tiene mucho sentido. Lo que importa es que hay una cantidad que define localmente qué es una “distancia”, y se puede encontrar usando una cantidad que podamos recoger en cualquier punto de un espacio-tiempo curvo, que llamamos métrica .
La tarea ahora es determinar cuáles de los caminos nos dan un valor extremo.
Como recordará del cálculo elemental, encontrar el valor extremo de cualquier cosa implica diferenciar la cantidad y luego establecerla en cero. Los pasos para hacer esto son bastante sencillos, pero también requieren algunos antecedentes en cálculo multivariante y un poco de contracción.
Todo lo que necesita saber para los fines de esta pregunta es que una vez que haya hecho todo este trabajo, terminará con una ecuación para el camino de “línea recta”: la ecuación geodésica, que se ve así:
[matemáticas] \ frac {d ^ 2x ^ {\ alpha}} {d \ tau ^ 2} = – \ Gamma ^ {\ alpha} _ {\ delta \ beta} \ frac {dx ^ {\ delta}} {d \ tau} \ frac {dx ^ {\ beta}} {d \ tau} [/ math]
¿Qué significa esto?
Dos cosas para notar.
Primero, el lado izquierdo es una expresión de aceleración. Esto debería ser obvio: es la segunda derivada de la posición con respecto a [math] \ tau [/ math], que calladamente definí como el momento adecuado para una partícula de prueba en la geodésica: ([math] d \ tau ^ 2 = -ds ^ 2 [/ matemáticas]).
Segundo, pensemos qué pasaría si esos términos [matemática] \ Gamma [/ matemática] desaparecieran o eventualmente se cancelaran de alguna manera. Entonces obtendrías tus caminos como de aceleración cero. Dado que los términos [matemática] \ Gamma [/ matemática] (se denominan símbolos de Christoffel) pueden considerarse expresiones que codifican la curvatura del espacio-tiempo, podemos estar seguros de que desaparecerán en el espacio-tiempo plano, * y así terminará con la ecuación geodésica que te da aceleración cero: movimiento en línea recta a una velocidad constante. Exactamente como era de esperar (y exactamente como Newton nos dijo en 1687: es su primera ley de movimiento)
Es en el espacio-tiempo no plano, donde los símbolos de Christoffel comienzan a ponerse desagradables y finalmente no se cancelan, que obtienes el comportamiento que no nos resulta tan familiar: los caminos geodésicos comienzan a poseer aceleraciones distintas de cero. A la gente no le gusta esto: no se ajusta a sus intuiciones de geodésicas: y, sin embargo, cae directamente de las matemáticas de los espacios curvos.
Finalmente, ¿qué causa el movimiento continuo de estas geodésicas hacia cuerpos masivos?
Podemos jugar a las bolas de boliche en los trampolines tanto como queramos, pero en última instancia, la causa de la deformación geodésica alrededor de cuerpos masivos es que las ecuaciones de campo de Einstein dicen que así es como se comportan. Teniendo en cuenta esa distancia geodésica, volvamos a las ecuaciones de campo de Einstein (ignoraremos la constante cosmológica):
[matemáticas] R _ {\ alpha \ beta} – \ frac {1} {2} Rg _ {\ alpha \ beta} = \ frac {8 \ pi G} {c ^ 4} T _ {\ alpha \ beta} [/ math ]
El lado derecho de esto te dice dónde está la masa (o más estrictamente dónde está la energía del estrés). El lado izquierdo tiene algunos bits, pero lo que puede reconocer es [math] g _ {\ alpha \ beta} [/ math]. Ese es el tensor métrico de nuevo. La misma con la que comenzamos la respuesta. Es decir, para que la ecuación de campo de Einstein se equilibre, la presencia de grandes masas debe afectar la métrica. Entonces, las diferentes masas le darán diferentes respuestas a la distancia más corta entre dos puntos, y por lo tanto las masas cambiarán los caminos geodésicos.
[*] Para aquellos que están a punto de decir algo sobre el hecho de que puedes definir coordenadas incluso en el espacio-tiempo plano para hacer los símbolos de Christoffel … no estas ayudando Estoy tratando de presentar esto para transmitir conceptos, no para que todo sea técnicamente perfecto. (NB, la misma excusa preventiva se aplica a todo lo demás que también está mal). La crítica de que estoy tratando de explicar un fenómeno independiente coordinado de una manera cargada de coordenadas es mejor, pero trate de explicarlo de una manera coordinar forma independiente!