You are currently browsing the tag archive for the ‘formalismo 3+1’ tag.
Como ya comentamos, de la tesis de Bauswein, adoptando la foliación del espacio-tiempo la métrica queda:
En la aproximación CFC resolvemos repetidamente el problema de valor inicial. De acuerdo con esta aproximación, la parte espacial de la métrica se puede escribir como:
donde es el factor conforme (una transformación conforme preserva los ángulos. En geometría Riemanniana, dos métricas de Riemann y sobre una variedad son conformemente equivalentes si para alguna función positiva sobre . La función es el factor conforme).
De esta manera, las ecuaciones de Einstein, asumiendo , se reducen al sistema de cinco PDE elipticas no lineales acopladas:
donde , y
que podemos escribir de manera mas compacta como:
si definimos y que es un sistema tipo Poisson que puede ser resuelto iterativamente hasta la convergencia con un método multigrid.
Las condiciones en la frontera se dan mediante desarrollo multipolar () de los terminos fuente, que son no compactas, hasta el armónico quadrupolar.
En el artículo «Introducción a la relatividad numérica» de M. Alcubierre, también explica el formalismo .
Resolver las ecuaciones de campo de Einstein en la práctica es complicado, ya que son un sistema de EDPs en acopladas y no lineales con muchísimos términos. Se conocen soluciones exactas en situaciones muy concretas con un alto grado de simetría espacial o temporal (simetría esférica, simetría axial, soluciones estáticas, homogéneas, isotrópicas, etc.), pero en la mayoría de situaciones interesantes en astrofísica no se dan estas condiciones y tenemos que resolverlas utilizando aproximaciones numéricas mediante complicados programas.
En relatividad numérica, la idea es separar las ecuaciones de campo de Einstein de forma que podamos dar ciertas condiciones iniciales y, a partir de ellas, obtener la evolución del campo gravitacional. Existen diferentes maneras de hacerlo y el formalismo , que es el mas ampliamente utilizado, lo hace separando las tres componentes espaciales de la temporal.
Para estudiar la evolución en el tiempo, lo primero que se hace es formular un problema de Cauchy. En las ecuaciones de Einstein, el espacio y el tiempo son simétricos, por lo que primero debemos separar uno de otro. Lo que queremos es un espacio-tiempo orientable temporalmente de manera que podamos elegir de manera contínua a través del espacio-tiempo la mitad del cono de luz que contituye la dirección futura y de la mitad que corresponde a la dirección pasada. A la formulación de la relatividad general (GR) resultante de esta separación es el formalismo .
Un conjunto abierto de un espacio-tiempo es globalmente hiperbólico sii:
- Para cualquier par de puntos y , el conjunto y es compacto, donde son el futuro y pasado causal de una region .
- No existen curvas espacio-temporales cerradas que pasen por , prohibiendo los viajes al pasado en el tiempo y cumpliendose de esta manera el pricipio de causalidad en el abierto.
Una –foliación de una variedad de dimension consiste en una partición de ésta en subvariedades diferenciables de dimensión , por lo que localmente tiene estrutura topologica de variedad producto. Por ejemplo, una -foliación del espacio es . La foliación de una variedad no es única (por ejemplo, es otra foliación posible de , asumiendo que sabemos de que hablamos cuando nos referimos a o : planos con vector normal en el primer caso y en el segundo).
Todo espacio-tiempo globalmente hiperbólico puede ser foliado, es decir, separado en cortes tridimensionales apilados, de tal forma que cada hoja es una hipersuperficie de Cauchy espacial. Sea un sistema de coordenadas tal que la función es de gradiente temporal. Entonces las superficies (un tiempo «universal» que no tiene porque ser el tiempo propio de nadie) definen una foliación del espacio-tiempo. Denotaremos por a la hipersuperfície de Cauchy de tiempo .
Dada una foliación definida para la función , podemos encontrar campos vectoriales de manera que . Llamamos base de evolución a la pareja . Podemos descomponer de manera relativa a un observador euleriano:
donde con es la normal a la foliación, es la función de paso y el vector desplazamiento de la base de evolución. A cada base de evolución podemos asociarle unas coordenadas adaptadas de manera que y son coordenadas en , de manera que .
Considerar diferentes es considerar diferentes foliaciones, por lo que el paso entre y depende del punto de considerado: .
El vector desplazamiento determina , define el difeomorfismo entre y : si entonces con y ambos sobre la misma curva integral de , por lo que tenemos evolución sin desplazamiento. Si entonces en desplazado respecto .
Por lo tanto, tenemos:
y
,