In physics, in particular in special relativity and general relativity, a four-velocity is a four-vector, a vector in four-dimensional spacetime.[nb 1] It is the relativistic counterpart of velocity, which is a three-dimensional vector in space.
Events constitute the mathematical description of 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 its world line. If the object is massive, so that its speed is less than the speed of light, the world line may be parametrized by the proper time of the object. The four-velocity is the rate of change of four-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 magnitude of an object's four-velocity is always equal to c, the speed of light. For an object at rest (with respect to the coordinate system) its four-velocity is parallel to the direction of the time coordinate. A four-velocity is thus the normalized future-directed timelike tangent vector to a world line, and is a contravariant 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 a vector space.[nb 2]
The path of an object in three-dimensional space (in an inertial frame) may be expressed in terms of three coordinate functions of time :
where the denote the three spatial coordinates of the object at time t.
The components of the velocity (tangent to the curve) at any point on the world line are
Theory of relativity
In Einstein's theory of relativity, the path of an object moving relative to a particular frame of reference is defined by four coordinate functions (where denotes the time coordinate multiplied by c), each function depending on one parameter , called its proper time.
From time dilation, we know that
where is the Lorentz factor, which is defined as:
and u is the Euclidean norm of the velocity vector :
Definition of the four-velocity
The four-velocity is the tangent four-vector of a world line. The four-velocity at any point of world line is defined as:
The four-velocity defined here using the proper time of an object does not exist for world lines for objects such as photons travelling at the speed of light; nor is it defined for tachyonic world lines, where the tangent vector is spacelike.
Components of the four-velocity
The relationship between the time t and the coordinate time is given by
Taking the derivative with respect to the proper time , we find the velocity component for μ = 0:
Taking the derivative of the other 3 components to proper time we get:
where we have used the relationships
- which gives
Thus, we find for the four-velocity :
In terms of the yardsticks (and synchronized clocks) associated with a particular slice of flat spacetime, the three spacelike components of four-velocity define a traveling object's proper velocity i.e. the rate at which distance is covered in the reference map frame per unit proper time elapsed on clocks traveling with the object.
- four-vector, four-acceleration, four-momentum, four-force.
- Special Relativity, Calculus, Derivative.
- Algebra of physical space
- Congruence (general relativity)
- Technically, the 4-vector should be though of as residing in the tangent space of a point in spacetime, spacetime itself being modeled as a smooth manifold. This technical distinction is important in general relativity, but in special relativity, where spacetime is modeled as a vector space, the 4-vector can be thought of as residing in spacetime itself.
- The set of 4-vectors is a subset of the tangent space (which is a vector space) at an event. The label 4-vector stems from the behavior under Lorentz transformations, namely under which particular representation they transform.