La expansión de una congruencia geodésica similar al tiempo con un campo vectorial tangente (normalizado) Se define como . Asumiendo la condición de energía fuerte, , y que la congruencia es hipersuperficial-ortogonal (es decir ), entonces la evolución temporal de obedece a la siguiente ecuación (Wald 1984, Sec. 9.2):
Hasta aquí todo bien... Pero, ¿y si la expansión inicial fuera positiva? En ese caso sigue siendo positivo para todos , acercándose a cero para . Según lo entiendo, esto parece estar diciendo que no hay distribución de materia (satisfaciendo la condición de energía fuerte) que puede volver a converger en una congruencia geodésica inicialmente en expansión. Pero eso parece obviamente incorrecto. Las geodésicas de expansión inicial de partículas que pasan lo suficientemente cerca de, digamos, un planeta, obviamente pueden volver a converger debido a la desviación de la gravedad, ¿verdad? De hecho, el punto de toda esta sección es esencialmente mostrar que las geodésicas poseen puntos conjugados (pares de puntos en una geodésica que tienen cada uno ). Wald afirma que
Si en todas partes a lo largo de la geodésica y en el punto , entonces se puede demostrar que para suficientemente lejos de , la expansión de la congruencia geodésica temporal que emana de debe ser negativo en . Por eso tendrá un punto conjugado en .
La última afirmación sobre se sigue del mismo razonamiento que presenté al principio para la expansión inicial negativa en . Sin embargo, también dice que la expansión que emana de puede volverse negativo en un momento posterior asumiendo que en (como esperaría intuitivamente). Es de suponer que la expansión que emana de es positivo (que alguien me corrija si no), por lo que parece estar en contradicción directa con (1). ¿Lo que da?
Para un ejemplo simple, considere el espacio-tiempo vacío, curvo como si un planeta estuviera centrado en el origen. Considere una capa esférica de polvo que también está centrada en el origen, inicialmente expandiéndose. Las líneas de tiempo de las motas de polvo son las geodésicas temporales en la congruencia. La expansión es inicialmente positiva, pero si la velocidad inicial hacia afuera no es demasiado grande, entonces la expansión del caparazón finalmente se ralentizará hasta cero, después de lo cual comenzará a encogerse (expansión negativa).
Esto no contradice (1), porque (1) es solo una desigualdad, no una ecuación. La desigualdad (1) se deriva de la ecuación de Raychaudhuri, que es
La desigualdad (1) se deriva del hecho de que la ecuación (3) implica la desigualdad
kris caminante