In relativity, proper time is the elapsed time between two events as measured by a clock that passes through both events. The proper time depends not only on the events but also on the motion of the clock between the events. An accelerated clock will measure a smaller elapsed time between two events than that measured by a non-accelerated (inertial) clock between the same two events. The twin paradox is an example of this effect.
In terms of four-dimensional spacetime, proper time is analogous to arc length in three-dimensional (Euclidean) space. By convention, proper time is usually represented by the Greek letter τ (tau) to distinguish it from coordinate time represented by t or T.
By contrast, coordinate time is the time between two events as measured by a distant observer using that observer's own method of assigning a time to an event. In the special case of an inertial observer in special relativity, the time is measured using the observer's clock and the observer's definition of simultaneity.
- 1 Mathematical formalism
- 2 Examples in special relativity
- 3 Examples in general relativity
- 4 See also
- 5 Footnotes
The formal definition of proper time involves describing the path through spacetime that represents a clock, observer, or test particle, and the metric structure of that spacetime. Proper time is the pseudo-Riemannian arc length of world lines in four-dimensional spacetime.
From the mathematical point of view, coordinate time is assumed to be predefined and we require an expression for proper time as a function of coordinate time. From the experimental point of view, proper time is what is measured experimentally and then coordinate time is calculated from the proper time of some inertial clocks.
In special relativity
In special relativity, proper time can be defined as
If t, x, y, and z are all parameterised by a parameter λ, this can be written as
In differential form it can be written as the line integral
where P is the path of the clock in spacetime.
To make things even easier, inertial motion in special relativity is where the spatial coordinates change at a constant rate with respect to the temporal coordinate. This further simplifies the proper time equation to
where Δ means "the change in" between two events.
The special relativity equations are special cases of the general case that follows.
In general relativity
Using tensor calculus, proper time is more rigorously defined in general relativity as follows: Given a spacetime which is a pseudo-Riemannian manifold mapped with a coordinate system '"`UNIQ--postMath-00000005-QINU`"' and equipped with a corresponding metric tensor '"`UNIQ--postMath-00000006-QINU`"', the proper time '"`UNIQ--postMath-00000007-QINU`"' experienced in moving between two events along a timelike path P is given by the line integral
(Note: the Einstein summation convention is used in the above. The expression AμBμ is shorthand for A0B0 + A1B1 + A2B2 + A3B3, and the μ in Bμ denotes an index, not a power.)
For any spacetime, there is an incremental invariant interval ds between events with an incremental coordinate separation dxμ of
This is referred to as the line element of the spacetime. s may be spacelike, lightlike, or timelike. Spacelike paths cannot be physically traveled (as they require moving faster than light). Lightlike paths can only be followed by light beams, for which there is no passage of proper time. Only timelike paths can be traveled by massive objects, in which case the invariant interval becomes the proper time '"`UNIQ--postMath-0000000B-QINU`"'. So for our purposes '"`UNIQ--postMath-0000000C-QINU`"'.
Taking the square root of each side of the line element gives the above definition of '"`UNIQ--postMath-0000000D-QINU`"'. After that, take the line integral of each side to get '"`UNIQ--postMath-0000000E-QINU`"' as described by the first equation.
Derivation for special relativity
This spacetime and mapping are described with the Minkowski metric:
In special relativity, the proper time equation becomes
Examples in special relativity
Example 1: The twin "paradox"
For a twin "paradox" scenario, let there be an observer A who moves between the coordinates (0,0,0,0) and (10 years, 0, 0, 0) inertially. This means that A stays at '"`UNIQ--postMath-00000013-QINU`"' for 10 years of coordinate time. The proper time for A is then
So we find that being "at rest" in a special relativity coordinate system means that proper time and coordinate time are the same.
Let there now be another observer B who travels in the x direction from (0,0,0,0) for 5 years of coordinate time at 0.866c to (5 years, 4.33 light-years, 0, 0). Once there, B accelerates, and travels in the other spatial direction for 5 years to (10 years, 0, 0, 0). For each leg of the trip, the proper time is
So the total proper time for observer B to go from (0,0,0,0) to (5 years, 4.33 light-years, 0, 0) to (10 years, 0, 0, 0) is 5 years. Thus it is shown that the proper time equation incorporates the time dilation effect. In fact, for an object in a SR spacetime traveling with a velocity of v for a time '"`UNIQ--postMath-00000016-QINU`"', the proper time experienced is
which is the SR time dilation formula.
Example 2: The rotating disk
An observer rotating around another inertial observer is in an accelerated frame of reference. For such an observer, the incremental ('"`UNIQ--postMath-00000018-QINU`"') form of the proper time equation is needed, along with a parameterized description of the path being taken, as shown below.
Let there be an observer C on a disk rotating in the xy plane at a coordinate angular rate of '"`UNIQ--postMath-00000019-QINU`"' and who is at a distance of r from the center of the disk with the center of the disk at x=y=z=0. The path of observer C is given by '"`UNIQ--postMath-0000001A-QINU`"', where '"`UNIQ--postMath-0000001B-QINU`"' is the current coordinate time. When r and '"`UNIQ--postMath-0000001C-QINU`"' are constant, '"`UNIQ--postMath-0000001D-QINU`"' and '"`UNIQ--postMath-0000001E-QINU`"'. The incremental proper time formula then becomes
So for an observer rotating at a constant distance of r from a given point in spacetime at a constant angular rate of ω between coordinate times '"`UNIQ--postMath-00000020-QINU`"' and '"`UNIQ--postMath-00000021-QINU`"', the proper time experienced will be
As v=rω for a rotating observer, this result is as expected given the time dilation formula above, and shows the general application of the integral form of the proper time formula.
Examples in general relativity
The difference between SR and general relativity (GR) is that in GR you can use any metric which is a solution of the Einstein field equations, not just the Minkowski metric. Because inertial motion in curved spacetimes lacks the simple expression it has in SR, the line integral form of the proper time equation must always be used.
Example 3: The rotating disk (again)
An appropriate coordinate conversion done against the Minkowski metric creates coordinates where an object on a rotating disk stays in the same spatial coordinate position. The new coordinates are
The t and z coordinates remain unchanged. In this new coordinate system, the incremental proper time equation is
With r, θ, and z being constant over time, this simplifies to
which is the same as in Example 2.
Now let there be an object off of the rotating disk and at inertial rest with respect to the center of the disk and at a distance of R from it. This object has a coordinate motion described by dθ = -ω dt, which describes the inertially at-rest object of counter-rotating in the view of the rotating observer. Now the proper time equation becomes
So for the inertial at-rest observer, coordinate time and proper time are once again found to pass at the same rate, as expected and required for the internal self-consistency of relativity theory.
Example 4: The Schwarzschild solution — time on the Earth
The Schwarzschild solution has an incremental proper time equation of
- t is time as calibrated with a clock distant from and at inertial rest with respect to the Earth,
- r is a radial coordinate (which is effectively the distance from the Earth's center),
- θ is the latitudinal coordinate, being the angular separation from the north pole in radians.
- '"`UNIQ--postMath-00000029-QINU`"' is a longitudinal coordinate, analogous to the latitude on the Earth's surface but independent of the Earth's rotation. This is also given in radians.
- m is the geometrized mass of a central massive object, being m = MG/c2,
- M is the mass of the object,
- G is the gravitational constant.
To demonstrate the use of the proper time relationship, several sub-examples involving the Earth will be used here. The use of the Schwarzschild solution for the Earth is not entirely correct for the following reasons:
- Due to its rotation, the Earth is an oblate spheroid instead of being a true sphere. This results in the gravitational field also being oblate instead of spherical.
- In GR, a rotating object also drags spacetime along with itself. This is described by the Kerr solution. However, the amount of frame dragging that occurs for the Earth is so small that it can be ignored.
For the Earth, M = 5.9742 × 1024 kg, meaning that m = 4.4354 × 10 −3 m. When standing on the north pole, we can assume '"`UNIQ--postMath-0000002A-QINU`"' (meaning that we are neither moving up or down or along the surface of the Earth). In this case, the Schwarzschild solution proper time equation becomes '"`UNIQ--postMath-0000002B-QINU`"'. Then using the polar radius of the Earth as the radial coordinate (or '"`UNIQ--postMath-0000002C-QINU`"' meters), we find that
At the equator, the radius of the Earth is r = 6,378,137 meters. In addition, the rotation of the Earth needs to be taken into account. This imparts on an observer an angular velocity of '"`UNIQ--postMath-0000002E-QINU`"' of 2π divided by the sidereal period of the Earth's rotation, 86162.4 seconds. So '"`UNIQ--postMath-0000002F-QINU`"'. The proper time equation then produces
This should have been the same as the previous result, but as noted above the Earth is not spherical as assumed by the Schwarzschild solution. Even so this demonstrates how the proper time equation is used.
- Lorentz transformation
- Minkowski space
- Proper length
- Proper acceleration
- Proper mass
- Proper velocity
- Clock hypothesis
- Lua error in Module:Citation/CS1 at line 746: Argument map not defined for this variable.
- cf. R. J. Cook (2004) Physical time and physical space in general relativity, Am. J. Phys. 72:214–219