Inphysics, in particular inspecial relativity andgeneral relativity, afour-velocity is afour-vector in four-dimensionalspacetime[nb 1] that represents the relativistic counterpart ofvelocity, which is athree-dimensionalvector in space.
Physicalevents correspond to mathematical points in time and space, the set of all of them together forming a mathematical model of physical four-dimensional spacetime. The history of an object traces a curve in spacetime, called itsworld line. If the object hasmass, so that its speed is necessarily less than thespeed of light, the world line may beparametrized by theproper time of the object. The four-velocity is the rate of change offour-position with respect to the proper time along the curve. The velocity, in contrast, is the rate of change of the position in (three-dimensional) space of the object, as seen by an observer, with respect to the observer's time.
The value of themagnitude of an object's four-velocity, i.e. the quantity obtained by applying themetric tensorg to the four-velocityU, that is‖U‖2 =U ⋅U =gμνUνUμ, is always equal to±c2, wherec is the speed of light. Whether the plus or minus sign applies depends on the choice ofmetric signature. For an object at rest its four-velocity is parallel to the direction of the time coordinate withU0 =c. A four-velocity is thus the normalized future-directed timelike tangent vector to a world line, and is acontravariant vector. Though it is a vector, addition of two four-velocities does not yield a four-velocity: the space of four-velocities is not itself avector space.[nb 2]
The path of an object in three-dimensional space (in an inertial frame) may be expressed in terms of three spatial coordinate functionsxi(t) of timet, wherei is anindex which takes values 1, 2, 3.
The three coordinates form the 3dposition vector, written as acolumn vector
The components of the velocity (tangent to the curve) at any point on the world line are
Each component is simply written
In Einstein'stheory of relativity, the path of an object moving relative to a particular frame of reference is defined by four coordinate functionsxμ(τ), whereμ is a spacetime index which takes the value 0 for the timelike component, and 1, 2, 3 for the spacelike coordinates. The zeroth component is defined as the time coordinate multiplied byc,
Each function depends on one parameterτ called itsproper time. As a column vector,
Fromtime dilation, thedifferentials incoordinate timet andproper timeτ are related bywhere theLorentz factor,is a function of theEuclidean normu of the 3d velocity vector:
The four-velocity is the tangent four-vector of atimelikeworld line.The four-velocity at any point of world line is defined as:where is thefour-position and is theproper time.[1]
The four-velocity defined here using the proper time of an object does not exist for world lines for massless objects such as photons travelling at the speed of light; nor is it defined fortachyonic world lines, where the tangent vector isspacelike.
The relationship between the timet and the coordinate timex0 is defined by
Taking the derivative of this with respect to the proper timeτ, we find theUμ velocity component forμ = 0:
and for the other 3 components to proper time we get theUμ velocity component forμ = 1, 2, 3:where we have used thechain rule and the relationships
Thus, we find for the four-velocity:
Written in standard four-vector notation this is:where is the temporal component and is the spatial component.
In terms of the synchronized clocks and rulers associated with a particular slice of flat spacetime, the three spacelike components of four-velocity define a traveling object'sproper velocity i.e. the rate at which distance is covered in the reference map frame per unitproper time elapsed on clocks traveling with the object.
Unlike most other four-vectors, the four-velocity has only 3 independent components instead of 4. The factor is a function of the three-dimensional velocity.
When certain Lorentz scalars are multiplied by the four-velocity, one then gets new physical four-vectors that have 4 independent components.
For example:
Effectively, the factor combines with the Lorentz scalar term to make the 4th independent component and
Using the differential of the four-position in the rest frame, the magnitude of the four-velocity can be obtained by theMinkowski metric with signature(−, +, +, +):in short, the magnitude of the four-velocity for any object is always a fixed constant:
In a moving frame, the same norm is:so that:
which reduces to the definition of the Lorentz factor.