Affine parameter Schwazschild

[LAHLH]

Hi,

I've heard it said that for Schwarzschild spacetimes, then the coordinate 'r' is an affine parameter for radial null geodesics in the region exterior to the horizon. It seems weird to me that one of the coords is an affine parameter.

How can this be seen? I know that the radial null geodesics satisfy \tfrac{dt}{dr}=\pm \tfrac{1}{1-\tfrac{2M}{r} }, but what does this have to do with r being affine?
As far as I'm aware affine simply means related to the proper time linearly, i.e. \lambda=a\tau+b, and for any parameter related this way the geodesic equation (zero on the RHS) will be satisfied.

The only thing I could think of would be to take my \tfrac{dt}{dr}=\pm \tfrac{1}{1-\tfrac{2M}{r} } and differentiate again, to get \tfrac{d^2t}{dr^2}=\mp\tfrac{2M}{(2M-r)^2 }. Then look at the LHS of the geodesic equation \tfrac{d^2t}{dr^2}+\Gamma^{t}_{\mu\nu}\tfrac{dx^{\mu}}{dr}\tfrac{dx^{\nu}}{dr} and calculate the Christoffel symbols and show this equation equates to zero.

For radial geo's this equation reduces to, \tfrac{d^2t}{dr^2}=\mp\tfrac{2M}{(2M-r)^2 }. Then look at the LHS of the geodesic equation \tfrac{d^2t}{dr^2}+\Gamma^{t}_{tt}\left(\tfrac{dt}{dr}\right)^2+\Gamma^{t}_{rt}\left(\tfrac{dt}{dr}\right) +\Gamma^{t}_{tr}\left(\tfrac{dt}{dr}\right)+\Gamma^{t}_{rr} which follows from dr/dr=1.

I find that \Gamma^{t}_{t r}=\tfrac{m}{((2m-r) r)} and \Gamma^{t}_{r t}=-\tfrac{m}{((2m-r) r)} and the other two zero. So LHS doesn't vanish this way, and there goes that idea...

My other thought is possibley to consider the magnitude of the tangent vector, for null geo's this should be zero?

 

[wasia]

In this case proper time is not a well defined concept, since you are considering a null curve. I cannot give you a formal definition, but I think of an affine parameter as something that parametrizes the curve under consideration in a good way - i.e. every point on the curve is in one-to-one correspondence with a single value of the parameter. Hope this helps..

 

[paweld]

If you compute it carefully you'll get:
\frac{d^2 t}{d r^2} = \frac{\frac{2m}{r^2}}{\left( 1-\frac{2m}{r} \right)^2}
\Gamma^{t}_{tt} =0,
\Gamma^{t}_{rt} = \Gamma^{t}_{tr} = <br /> \frac{\frac{m}{r^2}}{\left( 1-\frac{2m}{r} \right)},
\Gamma^{t}_{rr} =0
so we have for \frac{d t}{d r} = - \frac{1}{1-\frac{2m}{r}}:
<br /> \frac{d^2 t}{d r^2} + \Gamma^{t}_{tt}\left(\tfrac{dt}{dr}\right)^2+\Gamma^{t}_{rt}\left(\tfrac{dt}{dr}\right) +\Gamma^{t}_{tr}\left(\tfrac{dt}{dr}\right)+\Gamma^{t}_{rr} = 0<br />

 

[LAHLH]

Oh, I must have dropped a sign (should have realized from torsion free condition anyway), so is this sufficient to say r is affine? I mean we also would have to show the r comp of geodesic is zero too I guess, but providing this is true is this all we need?

EDIT:

I used the package GRTensorII on Maple just to check these christoffel symbols, and it gave my original answers i.e. \Gamma^{t}_{tr}=-\Gamma^{t}_{rt} instead of \Gamma^{t}_{tr}=+\Gamma^{t}_{rt}. I find this strange now as Carroll shows the answer you stated, and obviously I now expect the symbol to be symmetric on lower indices not anti sym. strange

 

[paweld]

Probably you have to show that it holds also for r component of geodesic (I don't
see the reason why proving this only for t component would be sufficient). It's
very simple and you can easily check it.

 

[LAHLH]

I haven't had chance to check the r comp of geodesic yet, but just finding it odd that the GRTensor package on Maple seems to get such a simple christoffel symbol for schwarzschild slightly wrong.

Anyhow, so what I meant to say was, is it sufficient to show that the geodesic equation is satisfied with a zero LHS to prove something is an affine parameter, is this the way people would normally go about it?

 

[paweld]

We call the curve t \rightarrow x^\mu(\tau) a geodesic iff
\frac{d^2 x^\mu}{d \tau^2} + <br /> \Gamma^\mu_{\alpha\beta}\frac{d x^\alpha}{d \tau}\frac{d x^\beta}{d \tau}<br /> = \alpha \frac{d x^\mu}{d \tau} for some function \alpha(\tau).
If this equation if fulfilled with \alpha \equiv 0 then we say that
geodesic is in affine parametrisation (or \tau is a affine parameter
of this geodesic). So the answer to your question is yes.

 

[pervect]

GRTensor uses a rather unusual notation for the Christofffel symbols. To get the "standard" christoffel symbols, use the following definition:grdef(`CC{ ^a b c} := Chr{b c ^a}`);

and calculate the Christoffel symbols as CC, not Gamma.

See https://www.physicsforums.com/showpost.php?p=375565&postcount=6 (or the earlier posts in the same thread where I was once upon a time confused by the same issue).

 

[LAHLH]

GRTensor uses a rather unusual notation for the Christofffel symbols. To get the "standard" christoffel symbols, use the following definition:


grdef(`CC{ ^a b c} := Chr{b c ^a}`);

and calculate the Christoffel symbols as CC, not Gamma.

See https://www.physicsforums.com/showpost.php?p=375565&postcount=6 (or the earlier posts in the same thread where I was once upon a time confused by the same issue).

Thanks a lot for that, glad I found it here for Schw as I prob wouldn't have noticed for more complicated solns