Contracting the Einstein field equations with the null tangent eliminates the trace term and gives
by the null energy condition. The screen metric is positive definite, so . The Null Raychaudhuri equation consequently implies
While this is equivalent to
If , integration gives
The right-hand side reaches zero after affine distance . A finite negative expansion cannot pass through this value, so no later than that point. This is the null focusing theorem.
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.