What Are the Timelike and Null Coordinates Used in the Schwarzschild Metric?

[off-diagonal]

Now I'm study the Schwarzschild geometry from "General Relativity (M.P. Hobson)".

Since the Schwarzschild metric has coordinate singularity at r=2M so to remove this singularity they use the Eddington-Finkelstein coordinate,

first they begin with introduces new time parameter "p"

p=ct+r+2M ln\left |\frac{r}{2M}-1 \right |
which is

dp=c dt+\frac{r}{r-2M}dr
and they said that it's a null coordinate

after that , they said "since p is a null coordinate, which might be intuitively unfamiliar, it is common practice to work instead with the related timelike coordinate t^\primedefined by"

ct^{\prime}=p-r=ct+2M ln\left |\frac{r}{2M}-1 \right |

and it is a timelike coordinate which called "advanced Eddingtion-Finkelstein coordinate"

My question is how can I check that which coordinate are timelike nulllike or spacelike? Is there any explicit calculation to check this?

What wrong with the former coordinate which defined as p? Why should we use the new one instead?

 

[George Jones]

Are you familiar with vectors represented by partial derivative operators? If you are, then use the chain rule.

 

[off-diagonal]

"vectors represented by partial derivative operators"

like this? V=V^{\mu}\partial_{\mu}

sorry, but I have no idea about what you are said. Could you please tell me more about it?

 

[George Jones]

"vectors represented by partial derivative operators"

like this? V=V^{\mu}\partial_{\mu}

Yes!

Unfortunately, there is some subtlety here, and this subtlety seems to have confused Hobson, Efstathiou, and Lasenby (HEL). Most of the subtlety has to do with Woodhouse's "second fundamental confusion of calculus."

By HEL's own definition on page 248,

... fix the other coordinates at their values at P and consider an infinitesimal variation dx^\mu in the coordinate of interest. If the corresponding change in the interval ds^2 is positive, zero or negative, then x^\mu is timelike, null or spacelike respectively.

p in Eddington-FinkelStein coordinates \left(p,r,\theta,\phi \right) is a timelike coordinate, not a null coordinate. To see this, apply HEL's prescription on page 248 to equation (11.6). Varing p while holding r, \theta, and \phi constant gives dr = d\theta = d\phi = 0 and

ds^2 = \left( 1 - \frac{2M}{r} \right) dp^2.

Hence, (when r > 2M) ds^2 is positive, and p is a timelike coordinate.

HEL are thinking of p in Kruskal coordinates \left(p,q,\theta,\phi \right).. In this case, applying the page 248 prescription to equation (11.16) gives that p is a null coordinate. Do you see why?

What type of coordinate is r in Eddington-FinkelStein coordinates \left(p,r,\theta,\phi \right)?

By now, you should be thoroughly confused! How can the "same" p be timelike in one set of coordinates and null in another set of coordinates? If you want, I am willing to spend some time explaining in detail what is going on here, and what Woodhouse's "second fundamental confusion of calculus" is.

 

[off-diagonal]

So , according to your comment when I apply the prescription in P.248 to the metric in Kruskal Coordinates (p,r,\theta,\phi).


ds^{2}=\left(1-\frac{2M}{r}\right)dp dq-r^{2}d\Omega^{2}_{s^{2}}

then as dq=d\theta=d\phi=0 so we conclude that p is null coordinate.

Am I right?

If that were the case, then in P.255 they made some mistake because they told that p is null coordinate. In stead, as your suggestion then coordinate p as defined in (11.5) is already timelike coordinate. so What is HEL's propose to introduce new coordinate called "advanced Eddington-Finkelstein"(11.8) which claim to be a timelike coordinate.

I found in Black Hole Physics (Frolov & Novikov) they also said that v is null coordinate,which defined slightly different from HEL but still get the same metric as HEL (11.6). So right now I'm so confused about that

I am willing to spend some time explaining in detail what is going on here, and what Woodhouse's "second fundamental confusion of calculus" is.

Yes, sure I want to. Thank you so much I appreciated that