En cosmología física , la teoría de perturbación cosmológica [1] [2] [3] [4] [5] es la teoría por la cual se entiende la evolución de la estructura en el modelo del Big Bang . La teoría de perturbación cosmológica puede dividirse en dos categorías: newtoniana o relativista general . Cada caso utiliza sus ecuaciones gobernantes para calcular las fuerzas gravitacionales y de presión que hacen que pequeñas perturbaciones crezcan y eventualmente sembren la formación de estrellas , cuásares , galaxias y cúmulos . Ambos casos se aplican solo a situaciones donde el universo es predominantemente homogéneo, como durante la inflación cósmica y grandes partes del Big Bang. Se cree que el universo todavía es lo suficientemente homogéneo como para que la teoría sea una buena aproximación en las escalas más grandes, pero en escalas más pequeñas se deben usar técnicas más complejas, como simulaciones de N cuerpos . Al decidir si usar la relatividad general para la teoría de perturbación, tenga en cuenta que la física newtoniana solo es aplicable en algunos casos, como para escalas más pequeñas que el horizonte de Hubble, donde el espacio-tiempo es suficientemente plano y para el cual las velocidades no son relativistas.
Debido a la invariancia de calibración de la relatividad general , la formulación correcta de la teoría de perturbaciones cosmológicas es sutil. En particular, cuando se describe un espacio-tiempo no homogéneo, a menudo no hay una elección de coordenadas preferida. Actualmente existen dos enfoques distintos para la teoría de perturbaciones en la relatividad general clásica:
En esta sección, nos centraremos en el efecto de la materia en la formación de estructuras en el régimen de fluido hidrodinámico . Este régimen es útil porque la materia oscura ha dominado el crecimiento de la estructura durante la mayor parte de la historia del universo. En este régimen, estamos en escalas sub-Hubble (donde es el parámetro de Hubble ) por lo que podemos tomar el espacio-tiempo como plano e ignorar las correcciones relativistas generales. Pero estas escalas están por encima de un corte, de modo que las perturbaciones en la presión y la densidad son suficientemente lineales. A continuación, suponemos baja presión para que podamos ignorar los efectos radiativos y bajas velocidades, por lo que estamos en el régimen no relativista.
La primera ecuación rectora se deriva de la conservación de la materia: la ecuación de continuidad [6]
donde es el factor de escala y es la velocidad peculiar . Aunque no lo escribimos explícitamente, todas las variables se evalúan en el tiempo y la divergencia está en coordenadas comóviles . En segundo lugar, la conservación del momento nos da la ecuación de Euler
¿Dónde está el potencial gravitatorio? Por último, sabemos que para la gravedad newtoniana, el potencial obedece a la ecuación de Poisson.
Hasta ahora, nuestras ecuaciones son completamente no lineales y pueden ser difíciles de interpretar intuitivamente. Por lo tanto, es útil considerar una expansión perturbativa y examinar cada orden por separado. Usamos la siguiente descomposición
donde es una coordenada comóvil.
En orden lineal, la ecuación de continuidad se convierte en
¿Dónde está la divergencia de velocidad? Y la ecuación lineal de Euler es
Combinando las ecuaciones de continuidad lineal, de Euler y de Poisson, llegamos a una ecuación maestra simple que gobierna la evolución.
donde definimos una velocidad del sonido para darnos una relación de cierre . Esta ecuación maestra admite soluciones de onda que nos dicen cómo las fluctuaciones de la materia crecen con el tiempo debido a una combinación de efectos en competencia: la gravedad propia de la fluctuación, las fuerzas de presión, la expansión del universo y el campo gravitacional de fondo.
La teoría de perturbaciones invariantes de calibre se basa en los desarrollos de Bardeen (1980), [7] Kodama y Sasaki (1984) [8] basándose en el trabajo de Lifshitz (1946). [9] Este es el enfoque estándar para la teoría de perturbaciones de la relatividad general para la cosmología. [10] Este enfoque se usa ampliamente para el cálculo de anisotropías en la radiación de fondo de microondas cósmico [11] como parte del programa de cosmología física y se centra en las predicciones que surgen de linealizaciones que preservan la invariancia de calibre con respecto a los modelos de Friedmann-Lemaître-Robertson-Walker (FLRW). Este enfoque se basa en gran medida en el uso de análogos de tipo newtoniano y generalmente tiene como punto de partida el fondo FRW alrededor del cual se desarrollan las perturbaciones. El enfoque no es local y depende de las coordenadas, pero es invariante de calibre , ya que el marco lineal resultante se construye a partir de una familia específica de hipersuperficies de fondo que están vinculadas por mapeos que preservan el calibre para foliar el espacio-tiempo. Aunque intuitivo, este enfoque no aborda bien las no linealidades naturales de la relatividad general.
En la cosmología relativista, utilizando la dinámica de enhebrado lagrangiano de Ehlers (1971) [12] y Ellis (1971) [13], es habitual utilizar la teoría de perturbación covariante invariante de calibre desarrollada por Hawking (1966) [14] y Ellis y Bruni (1989). [15] Aquí, en lugar de comenzar con un fondo y perturbar a partir de ese fondo, se comienza con la relatividad general completa y se reduce sistemáticamente la teoría a una que es lineal alrededor de un fondo particular. [16] El enfoque es local y tanto covariante como invariante de calibre , pero puede ser no lineal porque el enfoque se construye alrededor del marco del observador comóvil local (ver fibrado de marcos ) que se utiliza para enhebrar todo el espacio-tiempo. Este enfoque de la teoría de perturbaciones produce ecuaciones diferenciales que son del orden correcto necesario para describir los verdaderos grados físicos de libertad y, como tal, no existen modos de calibre no físicos. Es habitual expresar la teoría de una manera libre de coordenadas. Para las aplicaciones de la teoría cinética , debido a que se requiere utilizar el fibrado tangente completo , resulta conveniente utilizar la formulación de tétrada de la cosmología relativista. La aplicación de este enfoque al cálculo de anisotropías en la radiación de fondo de microondas cósmica [17] requiere la linealización de la teoría cinética relativista completa desarrollada por Thorne (1980) [18] y Ellis, Matravers y Treciokas (1983). [19]
En la cosmología relativista existe una libertad asociada con la elección del marco de enhebrado; esta elección de marco es distinta de la elección asociada con las coordenadas. Elegir este marco es equivalente a fijar la elección de líneas de mundo temporales mapeadas unas en otras. Esto reduce la libertad de calibre ; no fija el calibre pero la teoría permanece invariante de calibre bajo las libertades de calibre restantes. Para fijar el calibre se requiere una especificación de correspondencias entre las superficies temporales en el universo real (perturbado) y el universo de fondo junto con las correspondencias entre puntos en las superficies espaciales iniciales en el fondo y en el universo real. Este es el vínculo entre la teoría de perturbación invariante de calibre y la teoría de perturbación covariante invariante de calibre. La invariancia de calibre solo está garantizada si la elección del marco coincide exactamente con la del fondo; generalmente esto es trivial de asegurar porque los marcos físicos tienen esta propiedad.
Las ecuaciones de tipo newtoniano surgen de la relatividad general perturbativa con la elección del calibre newtoniano ; el calibre newtoniano proporciona el vínculo directo entre las variables utilizadas típicamente en la teoría de perturbación invariante de calibre y las que surgen de la teoría de perturbación covariante invariante de calibre más general.
Consulte los libros de texto de cosmología física .