Kruskal extension across a simple static horizon

ID: kruskal-extension-across-a-simple-static-horizon

For , suppose and are analytic at , , and . The tortoise coordinate obeys the displayed expansion with analytic . For and in the right exterior, after fixing an additive constant. The inverse function theorem makes analytic in through zero, while has a finite nonzero radial coefficient there. This supplies the local analytic extension and its bifurcate Killing horizon.

New to topics? Read the docs here!