Lably
Skip to content

Proper time

Elapsed time between two events as measured by a clock that passes through both events

  • 8 min read
  • 3 chapters
A spacetime diagram to illustrate the difference between proper time and coordinate time .
Dr Greg · CC BY-SA 4.0

Related on Lably

Through Time, Clock and Arc length

The proper time interval between two events depends not only on the events, but also the world line connecting them, and hence on the motion of the clock between the events. It is expressed as an integral over the world line (analogous to arc length in Euclidean space). 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.

By convention, proper time is usually represented by the Greek letter τ (tau) to distinguish it from coordinate time represented by t. Coordinate time is the time between two events as measured by an 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.

The concept of proper time was introduced by Hermann Minkowski in 1908, and is an important feature of Minkowski diagrams.

Mathematical formalism

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 an expression for proper time as a function of coordinate time is required. On the other hand, proper time is measured experimentally and coordinate time is calculated from the proper time of inertial clocks.

Proper time can only be defined for timelike paths through spacetime which allow for the construction of an accompanying set of physical rulers and clocks. The same formalism for spacelike paths leads to a measurement of proper distance rather than proper time. For lightlike paths, there exists no concept of proper time and it is undefined as the spacetime interval is zero. Instead, an arbitrary and physically irrelevant affine parameter unrelated to time must be introduced.

In special relativity

With the timelike convention for the metric signature, the Minkowski metric is defined by ημν=(10000−10000−10000−1), and the coordinates by (x0,x1,x2,x3)=(ct,x,y,z) for arbitrary Lorentz frames.

In any such frame an infinitesimal interval, here assumed timelike, between two events is expressed as

and separates points on a trajectory of a particle (think clock{?}). The same interval can be expressed in coordinates such that at each moment, the particle is at rest. Such a frame is called an instantaneous rest frame, denoted here by the coordinates (cτ,xτ,yτ,zτ) for each instant. Due to the invariance of the interval (instantaneous rest frames taken at different times are related by Lorentz transformations) one may write ds2=c2dτ2−dxτ2−dyτ2−dzτ2=c2dτ2, since in the instantaneous rest frame, the particle or the frame itself is at rest, i.e., dxτ=dyτ=dzτ=0. Since the interval is assumed timelike (i.e. ds2>0), taking the square root of the above yields ds=cdτ, or dτ=dsc. Given this differential expression for τ, the proper time interval is defined as

Δτ=∫Pdτ=∫Pdsc.

Here P is the worldline from some initial event to some final event with the ordering of the events fixed by the requirement that the final event occurs later according to the clock than the initial event.

Using (1) and again the invariance of the interval, one may write

Δτ=∫P1cημνdxμdxν=∫Pdt2−dx2c2−dy2c2−dz2c2=∫ab1−1c2[(dxdt)2+(dydt)2+(dzdt)2]dt=∫ab1−v(t)2c2dt=∫abdtγ(t),

where (x0,x1,x2,x3):[a,b]→P is an arbitrary bijective parametrization of the worldline P such that (x0(a),x1(a),x2(a),x3(a))and(x0(b),x1(b),x2(b),x3(b)) give the endpoints of P and a < b; v(t) is the coordinate speed at coordinate time t; and x(t), y(t), and z(t) are space coordinates. The first expression is manifestly Lorentz invariant. They are all Lorentz invariant, since proper time and proper time intervals are coordinate-independent by definition.

If t, x, y, z, are parameterised by a parameter λ, this can be written as Δτ=∫(dtdλ)2−1c2[(dxdλ)2+(dydλ)2+(dzdλ)2]dλ.

If the motion of the particle is constant, the expression simplifies to Δτ=(Δt)2−(Δx)2c2−(Δy)2c2−(Δz)2c2, where Δ means the change in coordinates between the initial and final events. The definition in special relativity generalizes straightforwardly to general relativity as follows below.

In general relativity

Proper time is defined in general relativity as follows: Given a pseudo-Riemannian manifold with a local coordinates xμ and equipped with a metric tensor gμν, the proper time interval Δτ between two events along a timelike path P is given by the line integral

This expression is, as it should be, invariant under coordinate changes. It reduces (in appropriate coordinates) to the expression of special relativity in flat spacetime.

In the same way that coordinates can be chosen such that x1, x2, x3 = const in special relativity, this can be done in general relativity too. Then, in these coordinates, Δτ=∫Pdτ=∫P1cg00dx0.

This expression generalizes definition (2) and can be taken as the definition. Then using invariance of the interval, equation (4) follows from it in the same way (3) follows from (2), except that here arbitrary coordinate changes are allowed.

Sign in to keep reading

2 more chapters are free with a Lably account.

More in Physics