Existence of affine parameters of null geodesics

In summary: g_{\muu}dx^\mu dx^u} ds = -\frac{1}{2}but for a lightlike geodesic, you can't do that, because the lightspeed is not a constant.
  • #1
center o bass
560
2
We have a general spacetime interval ##ds^2 = g_{\mu \nu} dx^\mu dx^\nu##.
One way to define an affine parameter is to define it to be any parameter ##u## which is related to the path length ##s## by ##u = as + b## for two constants ##a,b##. One can show that for the tangent vector ##u^\alpha = \frac{dx^\alpha}{du}## to a geodesic this implies a geodesic equation
$$\nabla_{u} u^\alpha = 0$$
in comparison to the more general
$$\nabla_{u} u^\alpha = f(x) u^\alpha.$$
However, if the geodesic is a null-geodesic, we can not use parameters ##u## which is related to the pathlength by ##u=as + b## since ##s = 0## along any null curve. However, it is still claimed that one can find parameters for which
$$\nabla_{u} u^\alpha = 0$$
holds also for null-geodesics. This thus defines a more general class of "affine parameters".

Now, my question is -- how do we know that there exists such parameters also for null-geodesics?
 
Physics news on Phys.org
  • #2
center o bass said:
One way to define an affine parameter is to define it to be any parameter ##u## which is related to the path length ##s## by ##u = as + b## for two constants ##a##, ##b##. One can show that for the tangent vector ##u^{\alpha} = \frac{dx^{\alpha}}{du} to a geodesic this implies a geodesic equation

This is backwards. The affine parameter is defined as one which obeys the geodesic equation; then you can show that, for a non-null geodesic, path length is a valid affine parameter. You're right that this doesn't work for a null geodesic (because the path length is identically zero), but that only affects the second part (showing that path length works as an affine parameter), not the first part (finding parameters that obey the geodesic equation).

center o bass said:
how do we know that there exists such parameters also for null-geodesics?

By showing that null geodesics obey the geodesic equation in the simpler form ##\nabla_u u = 0##. The simplest way to do that is to start from the more general form ##\nabla_u u = f(x) u## and then show that one can always transform the parameter so that the equation assumes the simpler form. See, for example, Eric Poisson's A Relativist's Toolkit:

http://books.google.com/books?id=bk...=geodesic equation for null geodesics&f=false
 
  • #3
I had the same confusion about affine parameters. Here's the way I understand it now:

Suppose you have a path through spacetime, parametrized in some coordinate system as [itex]X^\mu(s)[/itex]. The corresponding "velocity" 4-vector has components [itex]U^\mu(s) = \frac{dX^\mu}{ds}[/itex].

What makes such a path a geodesic? Basically, if it's a geodesic, that means the "velocity" is constant along the path. But we have to think about what that means in curved spacetime with an arbitrary parametrization. First of all, in curved spacetime, vectors can only be compared if they are measured at the same spacetime point. So to see if [itex]U^\mu(s)[/itex] is constant, we need to do the following: Let [itex]\tilde{U}^\mu(s)[/itex] be the result of taking the vector [itex]U^\mu(s)[/itex], defined at the point [itex]X^\mu(s)[/itex] and "parallel-transporting" it back to the point [itex]X^\mu(0)[/itex]. (In terms of connection coefficients [itex]\Gamma^\mu_{\nu \lambda}[/itex], [itex]\tilde{U}^\mu(s) = U^\mu(0) + (\frac{dU^\mu}{ds} + \Gamma^\mu_{\nu \lambda} U^\nu U^\lambda) s + \ldots[/itex], where [itex]\ldots[/itex] represents higher-order terms in [itex]s[/itex].) If [itex]X^\mu(s)[/itex] is a geodesic, then (in the limit of infinitesimal [itex]s[/itex]), [itex]\tilde{U}^\mu(s)[/itex] and [itex]U^\mu(0)[/itex] must represent the same 4-velocity, physically.

The second thing you need to realize is that the parametrization is not physically meaningful. Changing parameters from [itex]s[/itex] to [itex]s'[/itex] will change the 4-velocity from [itex]U^\mu(s)[/itex] to [itex]U'^\mu = U^\mu \frac{ds}{ds'}[/itex]. Since [itex]\frac{ds}{ds'}[/itex] is absolutely arbitrary, that means that any scalar multiple of a 4-velocity (multiplying every component by the same real number) produces a physically equivalent 4-velocity.

So in terms of what it means for the path [itex]X^\mu(s)[/itex] to be a geodesic, we don't want to require that:

[itex]\tilde{U}^\mu(s) = U^\mu(0)[/itex]

Instead, it is enough that

[itex]\tilde{U}^\mu(s) = f(s) U^\mu(0)[/itex]

where [itex]f(s)[/itex] is an arbitrary real function of [itex]s[/itex]. So as you move along the path [itex]X^\mu(s)[/itex], the overall scale of the 4-velocity [itex]U^\mu(s)[/itex] might change, but if it's a geodesic, then the velocity stays parallel to the original velocity.

We say that [itex]s[/itex] is affine if the scale doesn't change. That is, if [itex]f(s) = 1[/itex]. For an affine parameter [itex]s[/itex],

[itex]\tilde{U}^\mu(s) = U^\mu(0)[/itex]

which, in terms of connection coefficients means that the additional term is zero, so:

[itex]\frac{dU^\mu}{ds} + \Gamma^\mu_{\nu \lambda} U^\nu U^\lambda = 0[/itex]

Absolutely nothing in this discussion depends on whether the geodesic is spacelike, timelike or lightlike. The only thing that is different for a timelike geodesic (the path followed by a massive object) is that the requirement that the scale not change along the path can be stated more succinctly as follows:

[itex]U^\mu(s) U_\mu(s) = [/itex] a constant along the path.

If [itex]U^\mu(s)[/itex] is lightlike, then that equation becomes [itex]0 = 0[/itex], and it doesn't tell you anything about the scaling.

There is one other difference with lightlike geodesics, which is this:

For a timelike geodesic, the geodesic equation can be obtained by extremizing the proper time:

[itex]\int \sqrt{g_{\mu \nu} \frac{dX^\mu}{ds} \frac{dX^\nu}{ds}} ds[/itex]

But for a lightlike geodesic, any null path (geodesic or not) gives the same value 0, so it's a little complicated to see how a null geodesic comes out of the action integral.
 
  • #4
stevendaryl said:
I had the same confusion about affine parameters.]
Absolutely nothing in this discussion depends on whether the geodesic is spacelike, timelike or lightlike.

I agree with you that there is no problem in defining what we mean by an affine parameter independent of whether the curve is timelike or null according to your prescription. However, defining something does not mean that it exist!

The advantage of the path-length parameter is that it definitely exist, and we can construct a whole range of affine parameters from it. The existence of affine parameter for null curves require a proof.
 
  • #5
center o bass said:
I agree with you that there is no problem in defining what we mean by an affine parameter independent of whether the curve is timelike or null according to your prescription. However, defining something does not mean that it exist!

The advantage of the path-length parameter is that it definitely exist, and we can construct a whole range of affine parameters from it. The existence of affine parameter for null curves require a proof.

Well, for an arbitrary parameter [itex]s[/itex], the geodesic equation has the form:

[itex]\dfrac{d^2 X^\mu}{ds^2} + \Gamma^\mu_{\nu \lambda} \dfrac{dX^\nu}{ds} \dfrac{dX^\lambda}{ds} = f(s) \dfrac{dX^\mu}{ds}[/itex]

with an arbitrary function [itex]f(s)[/itex]

If you change parameters from [itex]s[/itex] to [itex]q[/itex], then the equation becomes:

[itex](\dfrac{d^2 X^\mu}{dq^2} + \Gamma^\mu_{\nu \lambda} \dfrac{dX^\nu}{dq} \dfrac{dX^\lambda}{dq})(\frac{dq}{ds})^2 = (f(s) \frac{dq}{ds} - \frac{d^2q}{ds^2}) \dfrac{dX^\mu}{dq}[/itex]

So to get the right-hand side to equal 0, you have to solve the differential equation:
[itex]f(s) \frac{dq}{ds} - \frac{d^2q}{ds^2} = 0[/itex]

(which you solve to get the affine parameter [itex]q[/itex])

So when you ask for a proof that an affine parameter exists, are you just asking for a proof that that differential equation has a solution, or a proof that the solution gives an affine parametrization?
 
  • #6
center o bass said:
The advantage of the path-length parameter is that it definitely exist, and we can construct a whole range of affine parameters from it. The existence of affine parameter for null curves require a proof.

The 4-momentum ##p^{\mu} = \frac{dx^{\mu}}{d\lambda}## is a physical observable i.e. measurable quantity. Furthermore the (parametrization independent) worldline of a coherent beam of light is also a quantity that can be constructed from observation. Obtaining these quantities one can then construct a (gauge dependent) ##\lambda## such that ##x^{\mu}(\lambda)## reproduces the observables; having constructed such a ##\lambda## from the measurable quantities it is a simple matter to define a reparametrization ##\bar{\lambda} = \bar{\lambda}(\lambda)## such that ##p^{\nu}\nabla_{\nu}p^{\mu} = 0##. It is ad-hoc but that's the best one can do when one does not have a comoving clock so as to simply use the clock time as the worldline parameter.
 
Last edited:
  • #7
stevendaryl said:
So when you ask for a proof that an affine parameter exists, are you just asking for a proof that that differential equation has a solution, or a proof that the solution gives an affine parametrization?
I'm satisfied with the fact that an arbitrary parameter can be turned into an affine one. Thank you! :)
 

Related to Existence of affine parameters of null geodesics

What is the concept of affine parameters in the context of null geodesics?

The affine parameter is a mathematical tool used to parameterize a geodesic (a path of shortest distance) in a curved space-time. In the case of null geodesics, which are paths that follow the curvature of space-time but have zero length, the affine parameter helps to describe the path and measure its length.

Why are affine parameters important in the study of black holes?

Affine parameters are important in the study of black holes because they provide a way to measure the distance and curvature of space-time around the black hole. This is crucial in understanding the behavior of light and other particles near the event horizon of a black hole, as well as in predicting the effects of strong gravitational fields.

How are affine parameters calculated?

Affine parameters can be calculated using the geodesic equation, which describes the motion of a particle along a geodesic. The affine parameter is typically represented as a function of the particle's coordinate time, and can be solved for using mathematical techniques such as integration.

What is the relationship between affine parameters and proper time?

Affine parameters are closely related to proper time, which is the time experienced by an observer moving along a geodesic. In fact, in the case of timelike geodesics, the affine parameter is equal to the proper time divided by the speed of light. This relationship allows us to make connections between the mathematical concept of affine parameters and the physical concept of proper time.

Are affine parameters unique for each geodesic?

Yes, affine parameters are unique for each geodesic. This means that each geodesic in a curved space-time can be described by its own affine parameter, and no two geodesics will have the same affine parameter. This allows us to differentiate between different paths and make precise calculations about the behavior of particles moving along these paths.

Similar threads

  • Special and General Relativity
Replies
19
Views
1K
Replies
82
Views
3K
  • Special and General Relativity
Replies
8
Views
2K
  • Special and General Relativity
Replies
4
Views
1K
  • Special and General Relativity
Replies
31
Views
861
Replies
13
Views
719
  • Special and General Relativity
Replies
28
Views
3K
  • Special and General Relativity
Replies
10
Views
4K
  • Special and General Relativity
Replies
4
Views
1K
  • Special and General Relativity
Replies
1
Views
781
Back
Top