En la relatividad general , los escalares ópticos se refieren a un conjunto de tres funciones escalares (expansión), (corte) y (giro/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 temporales como nulas con el mismo espíritu, pero se denominan "escalares ópticos" sólo para el caso nulo. Además, son sus predecesores tensoriales los que se adoptan en las ecuaciones tensoriales, mientras que los escalares aparecen principalmente en ecuaciones escritas en el lenguaje del formalismo de Newman-Penrose .
Definiciones: expansión, corte y torsión.
Para congruencias temporales geodésicas
Denotemos el campo vectorial tangente de la línea mundial 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 las cuatro aceleraciones, y es puramente espacial en el sentido de que . Específicamente para un observador con una línea temporal geodésica, tenemos
Ahora descompóngalo en sus partes simétricas y antisimétricas y ,
no tiene rastro ( ) mientras que tiene un rastro distinto de cero . Por lo tanto, la parte simétrica se puede reescribir aún más en su parte con traza y sin traza,
Por lo tanto, en total tenemos
Para congruencias nulas geodésicas
Ahora, considere una congruencia nula geodésica con un campo vectorial tangente . De manera similar a la situación temporal, también definimos
que se puede descomponer en
dónde
Aquí, se utilizan cantidades "sombradas" para enfatizar que estas cantidades para congruencias nulas son bidimensionales en contraposición al caso temporal tridimensional. Sin embargo, si en un artículo solo analizamos congruencias nulas, los sombreros se pueden omitir por simplicidad.
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 mayor claridad, adoptaremos otro símbolo estándar " " para indicar la derivada covariante )
Comparación con las "tasas de expansión de una congruencia nula": como se muestra en el artículo "Tasas de expansión de una congruencia nula", las tasas de expansión salientes y entrantes, 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 saliente y entrante 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 .
El corte 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 generalmente se define por su campo vectorial tangente saliente ( ) o entrante ( ) (que también son sus normales nulas). Así, obtenemos dos conjuntos de escalares ópticos y , que están definidos con respecto a y , respectivamente.
Aplicaciones en la descomposición de las ecuaciones de propagación.
Por una congruencia temporal geodésica
La propagación (o evolución) de una congruencia temporal geodésica respeta la siguiente ecuación,
Tome la traza de la ecuación (13) contrayéndola con , y la ecuación (13) se convierte en
en términos de las cantidades en 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 componentes,
Para una congruencia nula geodésica restringida
Para una congruencia nula geodésica restringida a una hipersuperficie nula, tenemos
Coeficientes de espín, ecuación de Raychaudhuri y escalares ópticos.
Para comprender mejor la sección anterior, revisaremos brevemente los significados de los coeficientes de espín NP relevantes al representar congruencias nulas . [1] La forma tensorial de la ecuación de Raychaudhuri [6] que rige los flujos nulos dice
donde se define tal 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
Ver también
Referencias
- ^ a B C 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.
- ^ ab 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).
- ^ ab Jeremy Bransom Griffiths, Jiri Podolsky. Espacio-tiempo exacto 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 reseña . Pramana, 2007, 69 (1): 49-76. [arxiv.org/abs/gr-qc/0611123v1 gr-qc/0611123]