En relatividad general , los escalares ópticos se refieren a un conjunto de tres funciones escalares (expansión), (cizallamiento) y (torsión/rotación/vorticidad) que describen la propagación de una congruencia nula geodésica . [1] [2] [3] [4] [5]
De hecho, estos tres escalares pueden definirse tanto para congruencias geodésicas nulas como temporales con un espíritu idéntico, pero se los llama "escalares ópticos" solo para el caso nulo. Además, son sus predecesores tensoriales los que se adoptan en ecuaciones tensoriales, mientras que los escalares aparecen principalmente en ecuaciones escritas en el lenguaje del formalismo de Newman-Penrose .
Definiciones: expansión, cizallamiento y torsión.
Para congruencias temporales geodésicas
Denotemos el campo vectorial tangente de la línea de mundo de un observador (en una congruencia temporal ) como , y luego se podrían construir "métricas espaciales" inducidas que
donde funciona como un operador de proyección espacial. Se utiliza para proyectar la derivada covariante de coordenadas y se obtiene el tensor auxiliar "espacial" .
donde representa la aceleración cuádruple y es puramente espacial en el sentido de que . Específicamente para un observador con una línea de tiempo geodésica, tenemos
Ahora descompóngalo en sus partes simétricas y antisimétricas y ,
es libre de trazas ( ) mientras que tiene trazas distintas de cero, . Por lo tanto, la parte simétrica se puede reescribir en su parte traza y libre de trazas,
Por lo tanto, en conjunto tenemos
Para congruencias nulas geodésicas
Ahora, consideremos una congruencia nula geodésica con un campo de vectores tangente . De manera similar a la situación temporal, también definimos
que puede descomponerse en
dónde
Aquí, se utilizan cantidades "con sombrero" para enfatizar que estas cantidades para congruencias nulas son bidimensionales, a diferencia del caso temporal tridimensional. Sin embargo, si solo analizamos congruencias nulas en un artículo, se pueden omitir los sombreros para simplificar.
Definiciones: escalares ópticos para congruencias nulas
Los escalares ópticos [1] [2] [3] [4] [5] provienen directamente de la "escalarización" de los tensores en la ecuación (9).
La expansión de una congruencia nula geodésica se define por (donde para el espacio libre adoptaremos otro símbolo estándar " " para denotar la derivada covariante )
Comparación con las "tasas de expansión de una congruencia nula": como se muestra en el artículo "Tasa de expansión de una congruencia nula", las tasas de expansión de salida y de entrada, denotadas por y respectivamente, se definen por
donde representa la métrica inducida. Además, y se puede calcular mediante
donde y son respectivamente los coeficientes de no afinidad de salida y de entrada definidos por
Además, en el lenguaje del formalismo de Newman-Penrose con la convención , tenemos
Como podemos ver, para una congruencia nula geodésica, el escalar óptico juega el mismo papel con las tasas de expansión y . Por lo tanto, para una congruencia nula geodésica, será igual a o .
La cizalladura de una congruencia nula geodésica se define por
El giro de una congruencia nula geodésica se define por
En la práctica, una congruencia nula geodésica suele definirse por su campo vectorial tangente saliente ( ) o entrante ( ) (que también son sus normales nulas). De este modo, obtenemos dos conjuntos de escalares ópticos y , que se definen con respecto a y , respectivamente.
Aplicaciones en la descomposición de las ecuaciones de propagación
Para una congruencia temporal geodésica
La propagación (o evolución) de una congruencia temporal geodésica a lo largo de la siguiente ecuación,
Tome la traza de Eq(13) contrayéndola con , y Eq(13) se convierte en
en términos de las cantidades de la ecuación (6). Además, la parte simétrica y sin trazas de la ecuación (13) es
Finalmente, el componente antisimétrico de la ecuación (13) produce
Para una congruencia nula geodésica
Una congruencia nula geodésica (genérica) obedece a la siguiente ecuación de propagación,
Con las definiciones resumidas en la ecuación (9), la ecuación (14) podría reescribirse en las siguientes ecuaciones componenciales,
Para una congruencia nula geodésica restringida
Para una congruencia nula geodésica restringida en una hipersuperficie nula, tenemos
Coeficientes de espín, ecuación de Raychaudhuri y escalares ópticos
Para una mejor comprensión de la sección anterior, revisaremos brevemente los significados de los coeficientes de espín NP relevantes para representar congruencias nulas . [1] La forma tensorial de la ecuación de Raychaudhuri [6] que rige los flujos nulos se lee
donde se define de manera que . Las cantidades en la ecuación de Raychaudhuri están relacionadas con los coeficientes de espín mediante
donde la ecuación (24) se sigue directamente de y
Véase también
Referencias
- ^ abc Eric Poisson. Un conjunto de herramientas relativista: las matemáticas de la mecánica de los agujeros negros . Cambridge: Cambridge University Press, 2004. Capítulo 2.
- ^ de Hans Stephani, Dietrich Kramer, Malcolm MacCallum, Cornelius Hoenselaers, Eduard Herlt. Soluciones exactas de las ecuaciones de campo de Einstein . Cambridge: Cambridge University Press, 2003. Capítulo 6.
- ^ ab Subrahmanyan Chandrasekhar. La teoría matemática de los agujeros negros . Oxford: Oxford University Press, 1998. Sección 9.(a).
- ^ de Jeremy Bransom Griffiths, Jiri Podolsky. Espacio-tiempos exactos en la relatividad general de Einstein . Cambridge: Cambridge University Press, 2009. Sección 2.1.3.
- ^ ab P Schneider, J Ehlers, EE Falco. Lentes gravitacionales . Berlín: Springer, 1999. Sección 3.4.2.
- ^ Sayan Kar, Soumitra SenGupta. Las ecuaciones de Raychaudhuri: una breve revisión . Pramana, 2007, 69 (1): 49-76. [arxiv.org/abs/gr-qc/0611123v1 gr-qc/0611123]