Parametrizing a path through spacetime

  • #1

Main Question or Discussion Point

It is customary, when discussing a particle's motion through spacetime, to talk about its path [itex] x^{\mu}(\lambda) [/itex], where [itex] x^{\mu} [/itex] are the the spacetime coordinates of the particle in some frame, and [itex] \lambda [/itex] is some parameter. I have a doubt regarding this parameter. Everywhere I've looked, people seem to say "this parameter can, for example, be the particle's proper time [itex] \tau [/itex]". And then they proceed to, for some reason, only use this very specific example (proper time) as the parameter for the particle's path (or any parameter of the form [itex] \tau'=a\tau+b [/itex]). So my question is: are there any other physically distinct parameters that can be used? (By physically distinct I mean something that isn't of the form [itex] a\tau+b [/itex]; that doesn't rely on the proper time.) If so, why is it that the proper time is almost always used?
Thanks in advance.
 

Answers and Replies

  • #2
vanhees71
Science Advisor
Insights Author
Gold Member
2019 Award
14,446
6,013
Proper time is nice, because it's (with a grain of salt) the parametrization of the world line in terms of its "length" measured from the initial point. This makes some equations simpler. There's however nothing to object against the use of a completely independent parameter which doesn't even need to have a physical meaning at all.
 
  • #3
654
148
Everywhere I've looked, people seem to say "this parameter can, for example, be the particle's proper time [itex] \tau [/itex]". And then they proceed to, for some reason, only use this very specific example (proper time) as the parameter for the particle's path (or any parameter of the form [itex] \tau'=a\tau+b [/itex]). So my question is: are there any other physically distinct parameters that can be used? (By physically distinct I mean something that isn't of the form [itex] a\tau+b [/itex]; that doesn't rely on the proper time.) If so, why is it that the proper time is almost always used?
Thanks in advance.
This is a tiny bit tangential but it might help if you have access to MTW. $25.6 discusses in some depth the choice of affine parameter for light trajectories, where proper time is emphatically not valid.

[ASIDE: In my light pulse simulations, I have used a scaled affine parameter determined by setting ##E = 1##, so that the impact parameter ##b = L / E = L##. This scaling just affects the "speed" of the simulation.]
 
  • #4
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
16,703
6,482
This is a tiny bit tangential
But the tiny bit has the same length all along the geodesic as long as the parametrisation is affine! :biggrin:
 
  • Like
Likes vanhees71 and m4r35n357
  • #6
stevendaryl
Staff Emeritus
Science Advisor
Insights Author
8,401
2,578
It is customary, when discussing a particle's motion through spacetime, to talk about its path [itex] x^{\mu}(\lambda) [/itex], where [itex] x^{\mu} [/itex] are the the spacetime coordinates of the particle in some frame, and [itex] \lambda [/itex] is some parameter. I have a doubt regarding this parameter. Everywhere I've looked, people seem to say "this parameter can, for example, be the particle's proper time [itex] \tau [/itex]". And then they proceed to, for some reason, only use this very specific example (proper time) as the parameter for the particle's path (or any parameter of the form [itex] \tau'=a\tau+b [/itex]). So my question is: are there any other physically distinct parameters that can be used? (By physically distinct I mean something that isn't of the form [itex] a\tau+b [/itex]; that doesn't rely on the proper time.) If so, why is it that the proper time is almost always used?
Thanks in advance.
There are two things that are special about proper time (and other parameters linearly related to it):
  1. It's guaranteed to increase monotonically along the path (for slower-than-light objects, anyway).
  2. It's an "affine" parameter.
The technical significance of the latter is that associated with a parametrized path [itex]x^\mu(\lambda)[/itex] is a tangent vector, or "velocity" [itex]U^\mu = \frac{dx^\mu}{d\lambda}[/itex]. Moving along a geodesic, if it is parametrized using an affine parameter, then [itex]U[/itex] is locally unchanging in both magnitude and direction. In contrast, with a non-affine parameter, [itex]U[/itex] may change in magnitude as you move along the path.
 
  • Like
Likes Markus Hanke, guitarphysics, vanhees71 and 1 other person
  • #7
Thanks everyone for the responses!
Two followup (related) questions- 1) In Carroll's notes, he says that you could pick some other parameter [itex] \alpha [/itex]. What could this parameter be, more specifically? (This is sort of asking my first question again: you all told me reasons why the proper time is more appropriate; but could someone give an example of this parameter [itex] \alpha [/itex]? This is the part that's confusing to me- maybe I don't understand what a parameter is clearly enough.) Basically my question is: is there any other quantity that monotonically increases along the path of a particle, but isn't some function [itex] f(\tau) [/itex]? And related to that (to see if I'm understanding): if consider a parameter [itex] \lambda=a\tau^2+b\tau+c [/itex], then this works as a parameter for a path, but it's not affine so it won't be very friendly. Is that right?

And 2) stevendaryl, why is it that proper time is an affine parameter, and thus defines an unchanging four-velocity? Is it because in the MCRF, [itex] dx^{0}/d\lambda=1 [/itex] (or some constant number, depending on the parameter), and [itex] dx^i/d\lambda=0 [/itex]?
 
  • #8
pervect
Staff Emeritus
Science Advisor
Insights Author
9,679
915
It is customary, when discussing a particle's motion through spacetime, to talk about its path [itex] x^{\mu}(\lambda) [/itex], where [itex] x^{\mu} [/itex] are the the spacetime coordinates of the particle in some frame, and [itex] \lambda [/itex] is some parameter. I have a doubt regarding this parameter. Everywhere I've looked, people seem to say "this parameter can, for example, be the particle's proper time [itex] \tau [/itex]". And then they proceed to, for some reason, only use this very specific example (proper time) as the parameter for the particle's path (or any parameter of the form [itex] \tau'=a\tau+b [/itex]). So my question is: are there any other physically distinct parameters that can be used? (By physically distinct I mean something that isn't of the form [itex] a\tau+b [/itex]; that doesn't rely on the proper time.) If so, why is it that the proper time is almost always used?
Thanks in advance.
Here's a super short answer. You certainly could parameterize a curve in terms of an arbitrary parameter s, rather than one based on proper time ##\tau##.. It's very easy to construct such a non-affine parameterization given an affine one. Given that we have a parameterziation of a curve in terms of proper time that maps proper time ##\tau## into a point on the curve ##\vec{x}## i we can re-label our points with a different parameter s. This re-labelling process defines some function ##s = f(\tau)## and ##\tau = f^{-1}(s)##, and it defines a map between s and ##\vec{x}## that maps the same points to the same vectors, only the labels on the points have changed.

But if we do this, a rather important equation, the Geodesic equation, namely:
$$\frac{d^2 x^i}{ds^2} + \Gamma^i{}_{jk} \frac{dx^j}{ds}\frac{dx^k}{ds}$$
will no longer be correct. So if we wish to use the Geodesic equation, we need to make sure we've used an affine parameterization of the curve and not a general one, the Geodesic equation has assumed that we've used an affine parameterization of the curve.
 
  • #9
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
16,703
6,482
Here's a super short answer.
With a super short addition: Not using an affine parametrisation will result in the equation
$$\frac{d^2 x^i}{ds^2} + \Gamma^i{}_{jk} \frac{dx^j}{ds}\frac{dx^k}{ds}$$
having a right-hand side proportional to the tangent itself. (There should be a RHS equal to zero in the equation, otherwise it is just the expression for the covariant derivative of the tangent in the tangent direction.) This can be derived directly from finding the EL equations for the path length.
 
  • #10
samalkhaiat
Science Advisor
Insights Author
1,658
877
It is customary, when discussing a particle's motion through spacetime, to talk about its path [itex] x^{\mu}(\lambda) [/itex], where [itex] x^{\mu} [/itex] are the the spacetime coordinates of the particle in some frame, and [itex] \lambda [/itex] is some parameter. I have a doubt regarding this parameter. Everywhere I've looked, people seem to say "this parameter can, for example, be the particle's proper time [itex] \tau [/itex]". And then they proceed to, for some reason, only use this very specific example (proper time) as the parameter for the particle's path (or any parameter of the form [itex] \tau'=a\tau+b [/itex]). So my question is: are there any other physically distinct parameters that can be used? (By physically distinct I mean something that isn't of the form [itex] a\tau+b [/itex]; that doesn't rely on the proper time.) If so, why is it that the proper time is almost always used?
Thanks in advance.
The proper time action integral
[tex]
S = - m \int d\tau = - m \int \sqrt{g_{ab} dx^{a} dx^{b}} ,
[/tex]
is invariant under arbitrary change of parametrisation
[tex]
\tau \to \lambda = \lambda (\tau) .
[/tex]
This is clear because [itex]d\tau = (d\tau / d\lambda) d\lambda[/itex] is independent of [itex]\lambda[/itex]. So, you can rewrite the action as
[tex]
S = - m \int \ d\lambda \ \sqrt{g_{ab} \frac{dx^{a}}{d\lambda} \frac{dx^{b}}{d\lambda}} .
[/tex]
Parametrisation-invariance means that the action is independent of what you choose to parameterise the path [itex]x^{a}[/itex]. This is, however, not the case for the geodesic equation. Indeed, if you change the proper-time according to [itex]\tau \to \lambda (\tau)[/itex], the geodesic equation transforms into

[tex]
\frac{d^{2}x^{a}}{d\lambda^{2}} + \Gamma^{a}_{bc} \frac{dx^{b}}{d\lambda} \frac{dx^{c}}{d\lambda} = - \frac{d^{2}\lambda / d\tau^{2}}{(d\lambda / d\tau)^{2}} \frac{dx^{a}}{d\lambda} .
[/tex]
Thus, the geodesic equation remains invariant only under a class of parametrisation defined by
[tex]
\frac{d^{2}\lambda}{d\tau^{2}} = 0 \ \ \Rightarrow \ \ \lambda = a \tau + b .
[/tex]
This is the class of affine parameters: parameters related to the proper-time [itex]\tau[/itex] by an affine transformation [itex]\tau \to \sigma = a \tau + b[/itex] are called affine parameters.
 
  • Like
Likes Demystifier, vanhees71 and Markus Hanke

Related Threads on Parametrizing a path through spacetime

Replies
62
Views
3K
  • Last Post
Replies
14
Views
4K
Replies
15
Views
914
  • Last Post
Replies
18
Views
2K
Replies
45
Views
4K
  • Last Post
Replies
7
Views
584
  • Last Post
2
Replies
44
Views
2K
  • Last Post
Replies
5
Views
1K
  • Last Post
2
Replies
29
Views
882
Top