Derivation of Proper Time in General Relativity

[paultsui]

In relativity, proper time along a world-line is be defined by d\tau^{2} = ds^{2} / c^{2}
However, proper time can also be understood as the time lapsed by an observer who carries a clock along the world-line.

In special relativity, this can easily be proven:
The line element in special relativity is given by ds^{2} = (cdt)^{2} - dx^{2} - dy^{2} - dz^{2}, therefore in a frame that moves along the world line, we have dx^{2} = dy^{2} = dz^{2} = 0, giving us ds^{2} = (cd\tau)^{2}

Tn general relativity, things seem to be a little tricker because of the metric element g_{tt}. Repeating the derivation ends up with ds^{2} = g_{tt}(cd\tau)^{2} instead.

I found a proof here: http://arxiv.org/pdf/gr-qc/0005039v3.pdf
However, on p.2, the author states that g_{t't'} can always be chosen as 1, hence completing the proof. This baffles me as I always think that g_{t't'} is defined by the geometry of space-time, which cannot be chosen arbitrarily.

Can anyone give me a hint on where my logic go wrong?
Thank you!

 

[elfmotat]

GR is valid in any type of coordinates, so it shouldn't be surprising that you'd be able to find some that make g₀₀=1.

 

[Chestermiller]

In relativity, proper time along a world-line is be defined by d\tau^{2} = ds^{2} / c^{2}
However, proper time can also be understood as the time lapsed by an observer who carries a clock along the world-line.

In special relativity, this can easily be proven:
The line element in special relativity is given by ds^{2} = (cdt)^{2} - dx^{2} - dy^{2} - dz^{2}, therefore in a frame that moves along the world line, we have dx^{2} = dy^{2} = dz^{2} = 0, giving us ds^{2} = (cd\tau)^{2}

Tn general relativity, things seem to be a little tricker because of the metric element g_{tt}. Repeating the derivation ends up with ds^{2} = g_{tt}(cd\tau)^{2} instead.

I found a proof here: http://arxiv.org/pdf/gr-qc/0005039v3.pdf
However, on p.2, the author states that g_{t't'} can always be chosen as 1, hence completing the proof. This baffles me as I always think that g_{t't'} is defined by the geometry of space-time, which cannot be chosen arbitrarily.

Can anyone give me a hint on where my logic go wrong?
Thank you!

In GR, for observers in a frame of reference at rest with respect to a massive body, the metrical properties of spacetime can be described in terms of a single time parameter t, which is a kind of "reference time" for the system. But equal increments in this time parameter do not represent equal increments in clock time for each of the observers. The rate at which the clock time varies with the reference time parameter t depends on location relative to the massive body. For example, with regard to the Schwartzchild metric, the time parameter t is equal to the clock time only at large distances from the massive body. For observers closer to the body, equal increments in reference time t correspond to smaller increments in (proper) clock time. So clocks near a massive body appear to be running slower. Increments in proper time are related to increments in reference time by dτ=sqrt(g_tt)dt. So proper time is still given by dτ=ds/c.
I hope this helps.

Chet

 

[paultsui]

Thank you for replying!
It is true that we can always choose a coordinates system such that g_{00} to be 1 at the point of interest, but why do we have to pick g_{00} = 1 instead of ,say, g_{00} = 2?

Consider the following:

Imagine person A is at infinity while person B is at a point near a massive object. Both of them have a clock.

For person A, after time dt (measured with his own clock), he would see that the person B to have traveled a certain distance ds in space-time. In addition, he would also see that the clock of B has lapsed a certain amount, which is the proper time. Therefore there must be a unique relation between d\tau and ds.

However, if we were allowed to choose g_{00} to be 1, we can also pick another coordinates system such that g_{00} = 2. But since there is unique relation between d\tau and ds, using a coordinates system such that g_{00} = 2 must be wrong.

There must be something fundamental about HAVING to pick g_{00} = 1... but what is this?

 

[PAllen]

In no way do you have to pick gtt=1.

Note the author in the reference insists on a diagonal metric. This already excludes many coordinate systems, and is only possible locally, in general (that is, there are spacetimes in GR such that no coordinate system can have diagonal metric everywhere). Actually, it seems their whole argument is local: at a given point or small region, we can put the metric in diagonal form. Note, in particular, use of frames which are strictly local in GR. But then, the whole thing seems trivial to me, because at one point or small region, you can make the metric (+1,-1,-1,-1), always, after which most of their argument is irrelevant. My conclusion: a whole essay about something trivially true. However, playing their game...

I see the comment you mention as just: we can make gtt = 1, then (13) becomes (5). But this choice isn't used for anything. In particular, (14) makes no assumption that gtt=1. (14) is what is taken as the 'general definition' of d tau.

Upshot: no requirement for gtt=1, and the author's don't require it as I read this little paper.

 

[PAllen]

I should also add that most people take it as simply a definition that:

ds^2 = c^2 d tau^2

and an axiom of GR, to be tested by experiment, that tau measures time experienced along a world line.