Work in the Boyer-Lindquist coordinates exterior , away from the axes. There , , and
Inverting the block of the Kerr metric gives
Thus has , and the smooth nonvanishing timelike vector field defines a time orientation. Choose it future-directed, matching increasing near infinity. For every nonzero future causal vector , the Lorentzian inner product satisfies , hence
So increases strictly along every regular future causal curve in this exterior. Notice that itself can be spacelike in the Kerr ergoregion; the timelike object used here is . Direct substitution also gives .

Articles by others on the same topic (0)

There are currently no matching articles.