Work in the Boyer-Lindquist coordinates exterior , away from the axes. There , , andInverting the block of the Kerr metric givesThus 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 , henceSo 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
There are currently no matching articles.