¿Encontrar el tensor métrico de la ecuación de campo de Einstein?

Me he puesto el reto de aprender todas las matemáticas detrás de la ecuación de campo de Einstein (EFE), y de la lectura parece que el tensor métrico es lo que estamos tratando de encontrar (de las 10 ecuaciones que forman la EFE). pero como casi todos los términos que contiene son funciones de este tensor métrico, esto parece muy difícil. ¿Qué tipo de matemáticas usamos para hacer esto? (He copiado y pegado el EFE solo como referencia):

R m v 1 2 gramo m v R + gramo m v Λ = 8 π GRAMO C 4 T m v

Edito: Gracias por tus comentarios. Así como no tengo a nadie más a quien preguntar, ¿es esta la ecuación que tratamos de resolver?

( X λ Γ m v λ X v Γ λ m λ + Γ λ ρ λ Γ v m ρ Γ v ρ λ Γ λ m ρ ) 1 2 gramo m v gramo a b ( Γ a b , C C Γ a C , b C + Γ a b d Γ C d C Γ a C d Γ b d C ) + gramo m v Λ = 8 π GRAMO C 4 T m v

con el R m v y R términos ampliados y donde gramo m v y T m v son los μν th componentes de los tensores relacionados? (una respuesta de sí o no estará bien, gracias).

¿ Has visto el artículo de Wikipedia sobre las Matemáticas de GR ?
De hecho, es muy difícil. Intente buscar en Google "ecuación diferencial parcial no lineal".
Solo por interés, ¿existen programas de computadora que puedan resolverlos por nosotros? y si no porque?
Te puede interesar esta pregunta
La referencia estándar es Soluciones exactas de las ecuaciones de campo de Einstein de Stephani et al. Detalla muchos métodos para encontrar y construir soluciones.
Solo quedaba un pequeño paso sustituyendo cada símbolo de Christoffel con la suma correspondiente de tres derivadas parciales del tensor métrico, y obtienes PDE completas. Parecen PDE de segundo orden para mí. Demasiado movimiento de manos en los estudios GR. No me gusta hablar mal. Los geómetras diferenciales modernos son un orden de magnitud más rigurosos y precisos. #despotricar
Echa un vistazo a quora.com/…

Respuestas (3)

Esto es realmente un comentario, pero se hizo un poco largo para el campo de comentarios.

Supongo que, como yo, su experiencia en física es de un área donde resolver ecuaciones diferenciales es una parte rutinaria del trabajo. Estamos acostumbrados a analizar un problema, escribir una ecuación diferencial que encapsule la física y resolverla, analíticamente si tenemos suerte o, en el peor de los casos, arrojándola a una computadora.

Lo que me llamó la atención cuando comencé a leer sobre GR es que casi nunca se utiliza este enfoque. Las ecuaciones son tan difíciles que en casi todos los casos la métrica se obtiene ya sea mediante el uso ingenioso de la simetría o simplemente adivinando las respuestas hasta que una encaja. Si lee la derivación de la métrica de Schwartzschild, que es probablemente la más simple que conocemos la mayoría de nosotros, Schwarzschild obtuvo la respuesta adivinando una forma básica para la métrica y luego usando la alta simetría para eliminar todas las posibilidades menos una. Kerr parece haber llegado como resultado de conjeturas inspiradas (¡aunque inspiradas por una gran cantidad de esfuerzo!).

Todo esto se siente de alguna manera insatisfactorio para nosotros, los físicos de cobertura. Se siente como si los relativistas generales simplemente hicieran trampa todo el tiempo y nunca hicieran las cosas metódicamente como lo hacemos nosotros. Esa es una impresión injusta, por supuesto, y nacida de la ignorancia, pero, sin embargo, estoy dispuesto a apostar que así es como te sentirás cuando comiences a leer sobre el tema.

Si desea comenzar a aprender GR con ira, le recomiendo encarecidamente Un primer curso de relatividad general de Bernard Schutz. Esto lo llevará desde un punto de partida de conocimiento de cálculo básico hasta el punto en el que se sienta cómodo haciendo cálculos GR básicos. Tenga en cuenta, sin embargo, que incluso después de 376 páginas, todavía no habrá visto la ecuación de Einstein escrita en su totalidad.

Buena publicación, pero quiero comentar sobre su comentario diciendo que el libro de Schutz me pareció absolutamente inútil en mi comprensión de GR. Se enorgullece de ser tan intuitivo y barre toda la estructura clara de la geometría diferencial bajo la alfombra de la "comprensión". Entonces te enfrentas a un problema de GR que debes resolver por tu cuenta y no tienes nada, porque todo lo que hiciste fue ver a Schutz resolver problemas mediante súplicas especiales ("En este caso, podemos suponer...")
Me gustaría agregar que en algunos casos, si uno forma un ansatz para la métrica que consiste en funciones de una sola variable, entonces a veces uno puede reducir el problema a un problema para resolver ODE que a veces es tratable analíticamente.
@ACuriousMind: Para ser justos, Schutz ha escrito un volumen complementario que cubre la geometría diferencial . No creo que Schutz sea un buen comienzo si quieres investigar en GR, pero para los aficionados interesados ​​como yo (¿y Joseph?) Barrer los detalles debajo de la alfombra evita que nos atasquemos.
@joshphysics: "ansatz": ¿no es esa la palabra elegante que usan los tipos matemáticos cuando no quieren admitir que están adivinando? :-)
@ACuriousMind: en realidad, una vez que haya leído, aprendido y digerido internamente Schutz, uno de los mejores lugares para ampliar su comprensión es aquí mismo en Physics SE. Intentar responder preguntas sobre GR es una forma extremadamente efectiva de aprender sobre él.
El enfoque de Kerr comenzó con el estudio de espacios-tiempos algebraicamente especiales. La mayoría de estos resultan ser cosas como el espacio-tiempo de Taub que realmente no se aplican físicamente, pero Kerr fue lo suficientemente perspicaz para ver que había encontrado una generalización del espacio-tiempo de Schwarzschild. Entonces, aprovechó la simetría, pero era una simetría en la estructura algebriaca del tensor de Weyl, no de los grados de libertad físicos normales.
@ACuriousMind: si estaba frustrado con la falta de matemáticas de Schutz, entonces debería elegir el libro de Wald. Ese fue definitivamente el punto de partida para mí.
La simetría esférica por sí sola determina el Schwarzschild ansatz. Kerr estaba trabajando a partir de la clasificación de Petrov (en espaciotiempos de vacío que no son de Tipo I) y demostró que todos los vectores Killing son uno de dos tipos. La única conjetura sin fundamento fue una forma conveniente para una asimetría. vector de muerte temporal; por lo demás, el descubrimiento fue bastante riguroso. En particular, no hubo afirmación de que esta solución fuera única hasta una década después, como lo demostró Robison. No digo que este comentario-respuesta sea incorrecto (como son las presentaciones típicas), pero los relativistas no son tan moralmente flexibles como podría parecer a primera vista.
@JohnRennie ¡¿Me estás llamando la atención por mi elitista elección de palabras, Rennie?! ;) Sí, por supuesto que es una conjetura, pero un ansatz suele ser una conjetura educada, y diría que esa es la connotación común del término. Además, dejando a un lado mi elegancia, el punto principal de mi comentario no fue para nosotros el maravilloso término "ansatz", sino señalar que las conjeturas que involucran solo funciones de una sola variable conducen a EDO, y esto a menudo puede ser una simplificación significativa.
Había oído hablar de los sacerdotes de cobertura antes, pero los "físicos de cobertura" me hicieron reír. +1 :)
Para agregar a su comentario @ACuriousMind (y es válido), creo que la mente de muchas personas se beneficia de dos textos: uno de "lectura antes de dormir" y uno riguroso. Schutz es definitivamente una buena lectura para la hora de acostarse y eso no es para menospreciarlo en lo más mínimo; prepara la mente con conocimientos físicos que ayudan a captar presentaciones más rigurosas como la de Wald. Diría lo mismo (aunque es MUY antiguo) sobre el "Significado de la Relatividad" de Einstein. A veces pienso que esperamos demasiado para encontrar "LA biblia", donde eso no siempre existe. ¿Qué opinas de Misner Thorne Wheeler, por cierto?

Si tiene una métrica, entonces también tiene la variedad en sí y todos los puntos que contiene, y puede usar la métrica para calcular el tensor de Einstein en cada punto y luego multiplicar por una constante escalar para obtener el tensor de tensión-energía ( suponiendo que conoce el valor de su constante cosmológica).

Pero la dirección inversa es muy diferente. Por ejemplo, si comenzó con la variedad (pero nadie le dio la métrica, solo el espacio topológico) y luego tuvo un tensor de tensión-energía definido en cada punto de su variedad, ya tiene mucho ya que tiene la variedad. . Entonces, esto podría ser demasiada información y se consideraría una trampa. Pero también puede ser muy poca información. El tensor de tensión-energía es el término fuente, es como en el electromagnetismo si alguien te da la carga y la corriente, eso no es suficiente para encontrar los campos, también necesitas condiciones de contorno.

Veamos un ejemplo simple pero problemático. tu multiplicidad es R 4 , su tensor de tensión-energía es T m v = 0 . Hay muchas métricas posibles. Podrías tener una métrica correspondiente a una onda gravitacional que viaja a la izquierda, otra a la derecha, una hacia arriba, una hacia abajo, una hacia adelante y otra hacia atrás. O simplemente un espacio plano vacío sin ondas gravitacionales, el espacio-tiempo de la relatividad especial. Esto es totalmente similar a la situación correspondiente en el electromagnetismo cuando no hay carga ni corriente, es posible que no haya campos, o podría tener una onda electromagnética yendo en cualquier dirección. Simplemente no es suficiente información.

El procedimiento estándar para encontrar los componentes del tensor métrico tiene los siguientes pasos.

  1. Adivine una fórmula de prueba para la evolución dinámica de los componentes del tensor métrico ( gramo m v ), considerando las simetrías que posee su sistema dado. La fórmula de prueba debe incluir suficientes parámetros desconocidos.
  2. Calcule los coeficientes de conexión a partir de su fórmula de prueba.
  3. Calcule los componentes del tensor de curvatura de Riemann a partir de los coeficientes de conexión.
  4. Calcular las componentes del tensor de Einstein a partir del tensor de Riemann.
  5. Sustituya el tensor de Einstein en la ecuación de campo de Einstein.
  6. Al hacer coincidir las condiciones de contorno (el espacio-tiempo se vuelve plano en el infinito) y encuentre los parámetros desconocidos que había establecido en su tensor métrico anteriormente.
  7. Si encuentra una solución para el tensor métrico que satisface la ecuación de Einstein y también la condición de frontera, entonces la solución que obtuvo es la solución correcta. Si no, cambie la versión de prueba y repita los pasos anteriores.

Como puede ver, el procedimiento depende en gran medida de adivinanzas (educadas). Por lo tanto, no se puede aplicar a una situación en la que el espacio-tiempo carezca de simetría. Por esta razón, no tenemos muchas soluciones analíticas para la ecuación de Einstein.