Fact-checked by Grok 2 weeks ago

Four-vector

A four-vector is a mathematical entity in the framework of special relativity, comprising four components that combine a time-like dimension with three spatial dimensions, transforming under Lorentz transformations to ensure the invariance of physical laws across inertial reference frames.^[1] These components are typically denoted as (ct, x, y, z) for the position four-vector, where c is the speed of light and t is time, allowing the representation of events in Minkowski spacetime.^[2] The defining property of a four-vector is that its magnitude, given by the invariant interval ds^2 = c^2 dt^2 - dx^2 - dy^2 - dz^2, remains unchanged under Lorentz boosts and rotations, reflecting the constancy of the speed of light and the relativity of simultaneity.^[1] Introduced as part of Hermann Minkowski's 1908 formulation of spacetime, four-vectors generalize three-dimensional vectors to incorporate relativistic effects, enabling a covariant description of phenomena where space and time are interdependent.^[2] Common examples include the four-momentum p^\mu = (E/c, \mathbf{p}), where E is energy and \mathbf{p} is three-momentum, with its invariant magnitude (mc)^2 linking to the particle's rest mass m; and the four-velocity u^\mu = \gamma (c, \mathbf{v}), where \gamma = 1/\sqrt{1 - v^2/c^2} and \mathbf{v} is the three-velocity.^[1] The Minkowski metric \eta_{\mu\nu} = \operatorname{diag}(1, -1, -1, -1) governs the inner product of four-vectors, A^\mu B_\mu = A^0 B^0 - \mathbf{A} \cdot \mathbf{B}, which is Lorentz-invariant and analogous to the Euclidean dot product but with a signature that distinguishes time from space.^[2] In relativistic electrodynamics, four-vectors facilitate the unification of electric and magnetic fields into the electromagnetic four-potential A^\mu = (\phi/c, \mathbf{A}), where \phi is the scalar potential and \mathbf{A} is the vector potential, ensuring Maxwell's equations take a compact, covariant form.^[2] This notation extends to particle physics for describing interactions and decays, as the conservation of four-momentum simplifies calculations in the center-of-momentum frame.^[1] Four-vectors thus form a cornerstone of modern physics, bridging classical vector analysis with the principles of relativity.

Mathematical Foundations

Notation and Components

In special relativity, a four-vector is defined as a rank-1 tensor possessing four components within Minkowski spacetime, which undergoes linear transformation under Lorentz transformations to preserve the spacetime structure. This concept was introduced by Hermann Minkowski in 1908 as a foundational element of his four-dimensional spacetime formalism, unifying space and time into a single geometric entity.^[3] The standard notation for a four-vector employs Greek indices \mu, \nu = 0, 1, 2, 3, where the contravariant form is written as V^\mu and the covariant form as V_\mu.^[4] Repeated indices in expressions imply the Einstein summation convention, summing over \mu from 0 to 3, which simplifies tensor algebra in relativistic contexts.^[4] Minkowski spacetime admits two common metric signatures: (+, −, −, −) or (−, +, +, +), with the choice influencing the signs appearing in relativistic equations such as those for invariants and norms.^[5] This article adopts the (+, −, −, −) signature for consistency, aligning with conventions prevalent in particle physics and many modern treatments.^[5] The components of a four-vector V^\mu consist of a time-like component V^0, frequently expressed as c V^0 (where c is the speed of light) in applications involving energy or time coordinates, and space-like components \mathbf{V} = (V^1, V^2, V^3) corresponding to the spatial directions.

Minkowski Metric

The Minkowski metric tensor, denoted \eta_{\mu\nu}, is the fundamental bilinear form that defines the geometry of flat four-dimensional spacetime in special relativity. It is a diagonal tensor with components \eta_{\mu\nu} = \operatorname{diag}(1, -1, -1, -1) in the mostly minus signature convention, where the indices \mu, \nu = 0, 1, 2, 3 correspond to the time and spatial coordinates, respectively.^[3] In matrix form, it is expressed as

\eta_{\mu\nu} = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & -1 & 0 \\ 0 & 0 & 0 & -1 \end{pmatrix},

with the inverse metric \eta^{\mu\nu} identical due to the diagonal structure.^[6] An alternative signature (-1, +1, +1, +1) is sometimes used, but the choice affects only the overall sign of invariants and not the physical predictions.^[6] The metric tensor facilitates raising and lowering indices on four-vectors through contraction. For a contravariant four-vector V^\mu, the covariant form is obtained as V_\mu = \eta_{\mu\nu} V^\nu, while the reverse is V^\mu = \eta^{\mu\nu} V_\nu.^[6] This operation preserves the vector's transformation properties under Lorentz transformations. For the time component, \mu = 0, it yields V_0 = V^0 since \eta_{00} = 1. For spatial components, \mu = i = 1,2,3, \eta_{ii} = -1 (no summation), so V_i = -V^i.^[6] Thus, a four-vector with contravariant components (V^0, V^1, V^2, V^3) has covariant components (V^0, -V^1, -V^2, -V^3).^[6] The invariant spacetime interval, a scalar quantity independent of the reference frame, is given by ds^2 = \eta_{\mu\nu} \, dx^\mu \, dx^\nu = c^2 \, dt^2 - d\mathbf{x}^2, where c is the speed of light and d\mathbf{x}^2 = dx^2 + dy^2 + dz^2.^[3] This interval serves as the primary measure of separation between events in Minkowski spacetime, underpinning the causality structure of special relativity.^[3] The norm of a four-vector, or its squared magnitude, is the invariant V^\mu V_\mu = \eta_{\mu\nu} V^\mu V^\nu.^[6] Four-vectors are classified based on the sign of this norm: timelike if V^\mu V_\mu > 0 (lying inside the light cone, connectable by slower-than-light paths), spacelike if V^\mu V_\mu < 0 (outside the light cone), or null (lightlike) if V^\mu V_\mu = 0 (on the light cone).^[6] This classification determines the causal relationships possible between events associated with the vector.^[6]

Lorentz Transformations

In special relativity, the Lorentz transformation describes how four-vector components change between two inertial reference frames in relative motion, ensuring the preservation of the spacetime interval. A four-vector V^\mu in one frame transforms to V'^\mu in another via the general linear relation V'^\mu = \Lambda^\mu{}_\nu V^\nu, where \Lambda^\mu{}_\nu is an element of the Lorentz group, a 4×4 matrix satisfying the orthogonality condition with respect to the Minkowski metric: \Lambda^\rho{}_\sigma \eta_{\rho\tau} \Lambda^\tau{}_\lambda = \eta_{\sigma\lambda}.^[7] This condition guarantees that the transformation leaves the metric tensor \eta_{\mu\nu} = \operatorname{diag}(1, -1, -1, -1) invariant, forming the foundation for the relativistic structure of spacetime.^[8] A common subclass consists of Lorentz boosts, which account for relative motion without spatial rotation. For a boost along the x-axis with relative velocity v, parameterized by \beta = v/c and \gamma = 1/\sqrt{1 - \beta^2}, the transformation matrix takes the explicit form:

\Lambda^\mu{}_\nu = \begin{pmatrix} \gamma & -\gamma \beta & 0 & 0 \\ -\gamma \beta & \gamma & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix},

where the time and x-components mix hyperbolically, while y and z remain unchanged.^[8] This matrix can be derived from the requirement that the speed of light remains constant in all frames, as originally formulated in the context of electromagnetic field transformations.^[9] Lorentz transformations also include spatial rotations, which embed three-dimensional rotations into the four-dimensional spacetime framework without affecting the time component. For a rotation by angle \theta about the z-axis, the matrix acts on the spatial components as a standard SO(3) rotation while leaving the zeroth component fixed:

\Lambda^\mu{}_\nu = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & \cos\theta & -\sin\theta & 0 \\ 0 & \sin\theta & \cos\theta & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix}.

General rotations about arbitrary axes follow similarly, preserving the overall Lorentz group structure.^[8] The composition of Lorentz transformations is non-trivial, particularly when combining boosts and rotations or non-collinear boosts. Boosts along the same direction commute and add linearly in rapidity, but successive boosts in different directions do not commute, resulting in an additional spatial rotation known as the Thomas rotation. This effect arises because the Lorentz group is non-abelian, and the composition of two non-parallel boosts B_1 B_2 equals a boost followed by a rotation R B, where R is the Thomas rotation matrix depending on the velocities involved.^[10] The Thomas rotation manifests in relativistic kinematics, such as the precession of a gyroscope in an accelerated frame.^[8] The defining property of Lorentz transformations ensures the invariance of the four-vector norm, or more generally, the Minkowski inner product. For a four-vector V^\mu, the transformed components satisfy V'^\rho V'_\rho = \Lambda^\rho{}_\mu V^\mu \, \eta_{\rho\sigma} \, \Lambda^\sigma{}_\nu V^\nu = V^\mu \, \eta_{\mu\nu} \, V^\nu = V^\alpha V_\alpha, where the metric condition \Lambda^T \eta \Lambda = \eta directly implies the equality via the property \eta_{\rho\sigma} \Lambda^\rho{}_\mu \Lambda^\sigma{}_\nu = \eta_{\mu\nu}. This proof holds for the scalar product of any two four-vectors V^\mu W_\mu = V'^\mu W'_\mu, confirming that physical quantities like proper time and rest mass remain frame-independent.^[11]

Algebraic Properties

Vector Addition and Scalar Multiplication

Four-vectors constitute a four-dimensional vector space over the real numbers \mathbb{R}, equipped with the standard operations of addition and scalar multiplication defined component-wise in a chosen inertial frame.^[12] The addition of two four-vectors U and V is performed by summing their corresponding components:

(U + V)^\mu = U^\mu + V^\mu

for \mu = 0, 1, 2, 3. This component-wise addition ensures that the result inherits the Lorentz transformation properties of the original vectors, as the transformations themselves are linear.^[13] Scalar multiplication by a real scalar a \in \mathbb{R} scales each component uniformly:

(a V)^\mu = a V^\mu.

This operation, along with addition, satisfies the vector space axioms, including distributivity and associativity over the field \mathbb{R}.^[13] The linearity of these operations with respect to Lorentz transformations follows directly from the linearity of the transformation matrix \Lambda. If U and V are four-vectors, so that U'^\mu = \Lambda^\mu{}_\nu U^\nu and V'^\mu = \Lambda^\mu{}_\nu V^\nu in a boosted frame, then for any linear combination W = aU + bV with a, b \in \mathbb{R},

W'^\mu = \Lambda^\mu{}_\nu W^\nu = \Lambda^\mu{}_\nu (a U^\nu + b V^\nu) = a (\Lambda^\mu{}_\nu U^\nu) + b (\Lambda^\mu{}_\nu V^\nu) = a U'^\mu + b V'^\mu,

confirming that W transforms as a four-vector.^[12] These operations extend bilinearly to the formation of higher-rank tensors; specifically, the outer product of two four-vectors U^\mu and V^\nu yields the components of a contravariant rank-2 tensor T^{\mu\nu} = U^\mu V^\nu, which transforms under Lorentz transformations via the product rule due to linearity in each index.^[14]

Inner Products and Norms

In Minkowski space with the metric signature \eta_{\mu\nu} = \operatorname{diag}(1, -1, -1, -1), the inner product of two four-vectors U and V is defined as U \cdot V = \eta_{\mu\nu} U^\mu V^\nu = U^0 V^0 - \mathbf{U} \cdot \mathbf{V}, where \mathbf{U} and \mathbf{V} denote the spatial parts of the vectors.^[15] This bilinear form is symmetric, U \cdot V = V \cdot U, and linear in each argument, but it is indefinite due to the metric's signature, distinguishing it from the positive-definite Euclidean dot product.^[16] The norm squared of a four-vector V is given by \|V\|^2 = V \cdot V = (V^0)^2 - \mathbf{V} \cdot \mathbf{V}.^[15] Four-vectors are classified based on the sign of this norm: timelike if \|V\|^2 > 0, spacelike if \|V\|^2 < 0, and null (or lightlike) if \|V\|^2 = 0.^[16] For a timelike four-vector, such as the four-velocity along a particle's worldline, the norm squared has the physical interpretation of relating to proper time; specifically, the proper time \tau elapsed along a timelike path satisfies d\tau^2 = ds^2 = V \cdot V \, d\lambda^2, where \lambda is an affine parameter, providing an invariant measure of duration independent of the observer's frame.^[17] Two four-vectors U and V are orthogonal if their inner product vanishes, U \cdot V = 0.^[16] In special relativity, this orthogonality arises naturally in dynamics; for instance, the four-momentum p^\mu = m u^\mu (where m is the rest mass and u^\mu is the four-velocity) is orthogonal to the four-force f^\mu = dp^\mu / d\tau, satisfying p \cdot f = 0, which ensures the rest mass remains invariant along the particle's trajectory.^[18] An analog of the Cauchy-Schwarz inequality in Minkowski space states that (U \cdot V)^2 \leq (U \cdot U)(V \cdot V) for certain pairs of four-vectors, but the indefinite metric introduces significant caveats: the inequality may reverse or fail depending on the vectors' causal types.^[19] For example, when both U and V are timelike and point toward the same future light cone, the reverse inequality (U \cdot V)^2 \geq (U \cdot U)(V \cdot V) holds, reflecting the hyperbolic geometry of the space and the possibility of "angles" greater than 90 degrees in the timelike sector.^[20]

Invariance under Lorentz Transformations

In special relativity, the inner product of a four-vector with itself, denoted as V^\mu V_\mu, forms a Lorentz scalar that remains unchanged under Lorentz transformations. This invariance arises from the defining property of the Lorentz transformation matrix \Lambda^\mu{}_\nu, which satisfies \Lambda^T \eta \Lambda = \eta, where \eta is the Minkowski metric; thus, transforming the components yields V'^\rho V'_\rho = V^\mu V_\mu.^[11]^[21] This scalar nature extends to the bilinearity of the inner product, ensuring that operations involving vector addition preserve invariance across frames. Specifically, for four-vectors U, V, and W, the relation (U + V)^\mu W_\mu = U^\mu W_\mu + V^\mu W_\mu holds identically in any inertial frame, as each term is a Lorentz scalar.^[22] The outer product of two four-vectors, V^\mu W^\nu, transforms as a rank-2 tensor under Lorentz transformations, with components V'^\mu W'^\nu = \Lambda^\mu{}_\alpha \Lambda^\nu{}_\beta V^\alpha W^\beta. However, any contraction of this tensor, such as tracing over indices to form scalars like V^\mu W_\mu, yields an invariant quantity.^[23] Physically, this invariance underpins key conserved quantities; for instance, the rest mass of a particle is defined via the invariant p^\mu p_\mu = m^2 c^2 from its four-momentum p^\mu, ensuring the mass is the same in all inertial frames.^[24]

Four-Vector Calculus

Four-Gradient Operator

The four-gradient operator serves as the cornerstone of differential operations in four-vector calculus within special relativity, enabling the construction of Lorentz-covariant expressions for gradients and divergences. It is defined in covariant form as \partial_\mu = \frac{\partial}{\partial x^\mu}, where x^\mu = (ct, x^1, x^2, x^3) are the contravariant coordinates in Minkowski spacetime with the metric signature \eta_{\mu\nu} = \operatorname{diag}(1, -1, -1, -1). The contravariant four-gradient is then \partial^\mu = \eta^{\mu\nu} \partial_\nu, ensuring proper transformation under Lorentz boosts and rotations.^[25]^[26] The explicit components of the covariant four-gradient are \partial_0 = \frac{1}{c} \frac{\partial}{\partial t} for the time component and \partial_i = \frac{\partial}{\partial x^i} for the spatial components i = 1, 2, 3. This formulation incorporates the speed of light c to maintain dimensional consistency and Lorentz invariance, with the contravariant components becoming \partial^0 = \frac{1}{c} \frac{\partial}{\partial t} and \partial^i = -\frac{\partial}{\partial x^i}. These components reflect the structure of the Minkowski metric, where the raising and lowering of indices introduces sign flips for spatial parts.^[27] When applied to a scalar field \phi, the four-gradient operator yields the contravariant four-vector (\nabla \phi)^\mu = \partial^\mu \phi, whose components are \left( \frac{1}{c} \frac{\partial \phi}{\partial t}, -\nabla \phi \right). This construction ensures that \partial^\mu \phi transforms as a proper four-vector under Lorentz transformations, generalizing the three-dimensional gradient while preserving invariance properties essential for relativistic field theories.^[2]^[28] For completeness in flat Minkowski spacetime, the components of the four-gradient in curvilinear coordinate systems are obtained via the chain rule: \partial_\mu = \frac{\partial x'^\nu}{\partial x^\mu} \partial'_\nu, where primed coordinates denote the new system; this maintains the operator's vectorial transformation properties without introducing curvature terms.^[25]

Differentials and Line Elements

In special relativity, the four-differential, or infinitesimal displacement four-vector, is defined as dx^\mu = (c \, dt, \, dx, \, dy, \, dz), where c is the speed of light, t is the coordinate time, and x, y, z are spatial coordinates in an inertial frame.^[29]^[30] This four-vector represents the tangent to a worldline at a point in Minkowski spacetime and transforms covariantly under Lorentz transformations.^[31] The line element, which quantifies the invariant spacetime interval between nearby events, is given by ds^2 = \eta_{\mu\nu} \, dx^\mu \, dx^\nu, where \eta_{\mu\nu} = \operatorname{diag}(1, -1, -1, -1) is the Minkowski metric tensor.^[29]^[31] Expanding this yields ds^2 = c^2 \, dt^2 - dx^2 - dy^2 - dz^2, distinguishing timelike (ds^2 > 0), spacelike (ds^2 < 0), and null (ds^2 = 0) intervals based on the causal structure of spacetime.^[30] For timelike paths, such as the worldline of a massive particle, the proper time \tau along the curve is the invariant arc length parameter, computed as

\tau = \int \frac{\sqrt{ds^2}}{c} = \int \frac{1}{c} \sqrt{ \eta_{\mu\nu} \frac{dx^\mu}{d\lambda} \frac{dx^\nu}{d\lambda}} \, d\lambda,

where \lambda is an arbitrary affine parameter (often taken as coordinate time t for convenience).^[29]^[31] This parametrization by proper time ensures that the four-velocity u^\mu = dx^\mu / d\tau has constant norm \eta_{\mu\nu} u^\mu u^\nu = c^2, providing a Lorentz-invariant description of motion independent of the observer's frame.^[30] In four-dimensional integrals over Minkowski spacetime, the volume element is d^4 x = dt \, d^3 \mathbf{x} = dt \, dx \, dy \, dz, which is invariant under Lorentz transformations when combined with the metric determinant (unity in flat space).^[31] This element is essential for formulating relativistic field theories, such as integrating Lagrangians or computing action functionals over spacetime volumes.^[30]

Covariant Derivatives

In general relativity, which generalizes the framework of special relativity to curved spacetimes, the covariant derivative extends the notion of differentiation for four-vectors to account for spacetime curvature. For a contravariant four-vector V^\nu, the covariant derivative with respect to the coordinate x^\mu is given by

\nabla_\mu V^\nu = \partial_\mu V^\nu + \Gamma^\nu_{\mu\lambda} V^\lambda,

where \Gamma^\nu_{\mu\lambda} are the Christoffel symbols (of the second kind), non-tensorial objects constructed from derivatives of the metric tensor g_{\mu\nu}.^[32] These symbols quantify the variation of the coordinate basis vectors across spacetime points, ensuring that the covariant derivative transforms as a tensor.^[33] In the flat Minkowski spacetime of special relativity, using inertial coordinates where the metric \eta_{\mu\nu} is constant, the Christoffel symbols vanish (\Gamma^\nu_{\mu\lambda} = 0), and the covariant derivative simplifies to the partial derivative \nabla_\mu V^\nu = \partial_\mu V^\nu, aligning with the four-gradient operator. This reduction highlights the covariant derivative as a natural generalization for handling four-vectors in non-flat geometries. The covariant derivative underpins parallel transport, the process of moving a four-vector along a curve while keeping it "parallel" to itself with respect to the spacetime connection; a vector is parallel transported if its covariant derivative along the curve is zero.^[34] This concept leads directly to the geodesic equation, describing the worldline of a freely falling test particle as the curve of extremal proper length, expressed as

\frac{d^2 x^\mu}{d\tau^2} + \Gamma^\mu_{\alpha\beta} \frac{dx^\alpha}{d\tau} \frac{dx^\beta}{d\tau} = 0,

where \tau is the proper time and dx^\mu / d\tau is the four-velocity; this equation enforces that the four-velocity is parallel transported along the geodesic.^[34] The Levi-Civita connection, defined by the Christoffel symbols, is metric-compatible, satisfying \nabla_\rho g_{\mu\nu} = 0, which guarantees that the metric tensor—and thus the inner products and norms of four-vectors—remains unchanged under parallel transport.^[32] In the special relativistic limit, this condition holds trivially for the Minkowski metric \eta_{\mu\nu}, preserving the invariance properties of four-vectors under Lorentz transformations.^[32]

Kinematics

Four-Position

In special relativity, the four-position vector, often denoted x^\mu, provides the coordinate description of an event in four-dimensional Minkowski spacetime. Its components are x^\mu = (c t, x, y, z), where c is the speed of light in vacuum, t is the coordinate time measured in a given inertial frame, and (x, y, z) are the spatial coordinates forming the three-dimensional position vector \mathbf{x}. This formulation combines time and space into a single geometric object, ensuring that physical laws remain invariant under Lorentz transformations.^[1] For the trajectory of a massive particle, known as its worldline, the four-position is parametrized by the proper time \tau, the time measured by a clock moving with the particle, yielding x^\mu(\tau). Along a timelike worldline (where the particle's speed is less than c), the Minkowski inner product satisfies the normalization condition x^\mu x_\mu = c^2 \tau^2 when measured from the spacetime origin, using the metric signature \eta_{\mu\nu} = \operatorname{diag}(1, -1, -1, -1). This invariant quantity underscores the causal structure of spacetime, distinguishing timelike separations from spacelike or lightlike ones.^[35]^[1] Under a Lorentz boost along the x-direction with relative velocity v, the four-position components transform to preserve this invariance. Specifically, in the boosted frame, the components become ct' = \gamma (ct - \beta x), x' = \gamma (x - \beta ct), y' = y, and z' = z, where \beta = v/c and \gamma = (1 - \beta^2)^{-1/2}. These transformations mix time and space coordinates, reflecting the relativity of simultaneity and length contraction.^[36] The four-position fully characterizes the worldline of a particle, with its tangent vector given by the four-velocity u^\mu = dx^\mu / d\tau. This parametrization arises from integrating infinitesimal line elements along the path, connecting local spacetime intervals to the global position.^[35]

Four-Velocity

In special relativity, the four-velocity represents the instantaneous rate of change of a particle's position in four-dimensional spacetime with respect to its proper time, serving as the tangent vector to its worldline.^[37] This proper time \tau is the time measured by a clock moving with the particle, distinguishing it from coordinate time in any particular reference frame.^[38] The four-velocity u^\mu is formally defined as

u^\mu = \frac{dx^\mu}{d\tau},

where x^\mu = (ct, \mathbf{x}) is the four-position vector, with c the speed of light, t the coordinate time, and \mathbf{x} the three-position.^[37] In an inertial frame where the particle has three-velocity \mathbf{v} = d\mathbf{x}/dt, the components of the four-velocity are u^0 = \gamma c and \mathbf{u} = \gamma \mathbf{v}, with the Lorentz factor \gamma = (1 - v^2/c^2)^{-1/2}, where v = |\mathbf{v}|.^[37] These components connect the relativistic four-velocity directly to the familiar non-relativistic three-velocity, but scaled by \gamma to account for time dilation and length contraction effects.^[37] The normalization condition for the four-velocity follows from the spacetime interval (line element) in Minkowski space. The proper time interval satisfies c^2 d\tau^2 = ds^2 = \eta_{\mu\nu} dx^\mu dx^\nu, where \eta_{\mu\nu} = \operatorname{diag}(1, -1, -1, -1) is the Minkowski metric.^[39] Dividing by d\tau^2 yields

\eta_{\mu\nu} u^\mu u^\nu = c^2,

or u^\mu u_\mu = c^2, proving the invariant magnitude of the four-velocity is c (in units where the norm is positive for timelike vectors).^[39] This normalization ensures the four-velocity has constant length along the worldline, reflecting the universal speed limit c and the timelike nature of massive particle trajectories.^[37] As a four-vector, the four-velocity transforms under Lorentz transformations according to u'^\mu = \Lambda^\mu{}_\nu u^\nu, where \Lambda^\mu{}_\nu is the Lorentz transformation matrix.^[37] The invariance of the metric tensor under such transformations guarantees that the norm remains u'^\mu u'_\mu = c^2 in the new frame.^[39] For a boost along the direction of relative motion between frames, the time and space components mix, altering the apparent direction of the four-velocity in spacetime while preserving its magnitude, consistent with the relativity of simultaneity and velocity addition.^[37]

Four-Acceleration

The four-acceleration a^\mu of a particle in special relativity is defined as the covariant derivative of its four-velocity u^\mu with respect to proper time \tau, given by

a^\mu = \frac{du^\mu}{d\tau}.

This four-vector quantifies the rate of change of the four-velocity along the particle's worldline.^[40]^[41] A key property is its orthogonality to the four-velocity, satisfying a^\mu u_\mu = 0, which follows from the constancy of the four-velocity's norm and holds in all inertial frames as a Lorentz invariant.^[40]^[41]^[42] The norm of the four-acceleration is spacelike, expressed as a^\mu a_\mu = -\alpha^2 (using the metric signature +---), where \alpha is the magnitude of the proper acceleration, representing the acceleration measured by an observer comoving instantaneously with the particle.^[41]^[42] This negative norm distinguishes it from the timelike four-velocity and underscores its role in describing changes transverse to the direction of motion. In the particle's instantaneous rest frame, where the four-velocity is u^\mu = (c, \mathbf{0}) and \gamma = 1, the four-acceleration simplifies to a^0 = 0 and \mathbf{a} = \boldsymbol{\alpha}, with the spatial components directly giving the proper acceleration vector.^[41]^[40] In a general inertial frame, the relationship between the proper acceleration components and the coordinate acceleration \mathbf{a} = d\mathbf{v}/dt (decomposed into parts parallel \mathbf{a}_\parallel and perpendicular \mathbf{a}_\perp to the three-velocity \mathbf{v}) incorporates relativistic corrections: \alpha_\parallel = \gamma^3 a_\parallel and \alpha_\perp = \gamma^2 a_\perp, where \gamma = 1/\sqrt{1 - v^2/c^2}.^[43] These factors arise from the Lorentz transformation of acceleration to the instantaneous rest frame and highlight how relativistic effects amplify the proper acceleration relative to coordinate measurements, particularly for directions aligned with motion.^[43] Physically, the four-acceleration characterizes the deviation of a particle's worldline from geodesic (inertial) motion in Minkowski spacetime, serving as the relativistic analogue of three-dimensional acceleration while preserving invariance under Lorentz transformations.^[41] Its magnitude \alpha relates to the curvature of the worldline, with \alpha = c^2 / R for the radius of curvature R in cases of uniform proper acceleration.^[42]

Dynamics

Four-Momentum

The four-momentum represents the relativistic extension of classical momentum, incorporating both energy and three-momentum into a single four-vector that transforms covariantly under Lorentz transformations. It was first formulated as a four-vector in the context of special relativity by Hermann Minkowski in his 1908 lecture "Space and Time."^[44] For a particle of rest mass m, the four-momentum p^\mu is defined as p^\mu = m u^\mu, where u^\mu is the four-velocity of the particle.^[45] In an inertial reference frame, the components of the four-momentum are given by p^0 = \gamma m c for the time-like component and \mathbf{p} = \gamma m \mathbf{v} for the space-like components, where \gamma = (1 - v^2/c^2)^{-1/2} is the Lorentz factor and \mathbf{v} is the three-velocity. The time component relates directly to the total relativistic energy via E = p^0 c = \gamma m c^2. This structure unifies energy and momentum, with the four-velocity serving as u^\mu = p^\mu / m.^[45] The four-momentum possesses an invariant magnitude given by the Minkowski inner product p^\mu p_\mu = (p^0)^2 - \mathbf{p} \cdot \mathbf{p} = m^2 c^2 (using the mostly minus signature), which yields the fundamental relation E^2 = |\mathbf{p}|^2 c^2 + m^2 c^4. This invariance holds across all inertial frames and connects the particle's rest mass to its observable energy and momentum.^[46] In the particle's rest frame, where \mathbf{v} = 0 and \gamma = 1, the four-momentum simplifies to p^\mu = (m c, 0, 0, 0).^[45] For isolated systems, such as in particle collisions or decays, the total four-momentum P^\mu = \sum p^\mu is conserved, meaning the vector sum remains unchanged and Lorentz invariant before and after the interaction. This conservation law arises from the translational symmetry of spacetime in special relativity and underpins the analysis of relativistic processes.^[46]

Four-Force

The four-force is defined as the covariant derivative of the four-momentum with respect to proper time, f^\mu = \frac{d p^\mu}{d \tau}, where p^\mu is the four-momentum of a particle.^[47] For a particle of constant rest mass m, this is equivalent to f^\mu = m a^\mu, with a^\mu denoting the four-acceleration.^[48] Due to the invariance of the four-momentum magnitude p^\mu p_\mu = m^2 c^2, the four-force is orthogonal to the four-momentum, satisfying f^\mu p_\mu = 0.^[47] In the lab frame, the components of the four-force are expressed in terms of the relativistic three-force \mathbf{F} = \frac{d \mathbf{p}}{d t}, where \mathbf{p} is the three-momentum. The time component is f^0 = \gamma \frac{\mathbf{v} \cdot \mathbf{F}}{c}, and the spatial components are \mathbf{f} = \gamma \mathbf{F}, with \gamma = (1 - v^2/c^2)^{-1/2} the Lorentz factor.^[47]^[49] The time component relates to the rate of change of the particle's energy E = \gamma m c^2. Specifically, f^0 c = \frac{d E}{d \tau} = \gamma \frac{d E}{d t}, where \frac{d E}{d t} = \mathbf{v} \cdot \mathbf{F} represents the power delivered by the three-force in the lab frame.^[47]^[49] A key example arises when the proper acceleration is constant, corresponding to a four-force of constant magnitude in the particle's instantaneous rest frame. This leads to hyperbolic motion, described by the worldline equations x = \frac{c^2}{\alpha} \cosh\left( \frac{\alpha \tau}{c} \right) and c t = \frac{c^2}{\alpha} \sinh\left( \frac{\alpha \tau}{c} \right), where \alpha is the constant proper acceleration, satisfying the invariant x^2 - c^2 t^2 = \left( \frac{c^2}{\alpha} \right)^2.^[47]

Electromagnetic Applications

Four-Current

In relativistic electrodynamics, the four-current j^\mu is a contravariant four-vector that unifies the charge density and the flow of charge into a single Lorentz-covariant object. It is defined in Minkowski space with the metric signature (+,-,-,-) as j^\mu = (c\rho, \mathbf{j}), where \rho is the charge density in the frame, c is the speed of light, and \mathbf{j} is the three-dimensional current density vector.^[50] This formulation ensures that the four-current transforms as a four-vector under Lorentz transformations, with the time component j^0 = c\rho and the spatial components j^i = j_i (for i=1,2,3).^[2] Charge conservation, which in non-relativistic physics is expressed as the continuity equation \partial_t \rho + \nabla \cdot \mathbf{j} = 0, takes a manifestly covariant form in special relativity as the four-divergence \partial_\mu j^\mu = 0.^[51] This equation holds in all inertial frames without additional factors, reflecting the invariance of total charge under Lorentz boosts. Under a boost along the x-direction with velocity v, for example, the components mix such that the transformed charge density \rho' and current \mathbf{j}' depend on both \rho and \mathbf{j} through the Lorentz factor \gamma = 1/\sqrt{1 - v^2/c^2} and the velocity, ensuring the four-divergence remains zero.^[8] For a system of point-like charged particles, the four-current can be expressed microscopically as a sum over individual contributions: j^\mu(x) = \sum_i q_i \int u^\mu(\tau_i) \, \delta^4(x - x_i(\tau_i)) \, d\tau_i, where q_i is the charge of the i-th particle, the integral is over proper time \tau_i, x_i(\tau_i) is the worldline of the particle, and u^\mu = dx^\mu / d\tau is the four-velocity normalized such that u^\mu u_\mu = c^2.^[52] This distribution satisfies the continuity equation locally, with the delta function concentrating the current along the particle trajectories, and the summation extends the expression to many-particle systems.

Four-Potential

The electromagnetic four-potential is a four-vector field in special relativity that combines the scalar electric potential \phi and the vector magnetic potential \mathbf{A} into a single entity, facilitating the covariant formulation of Maxwell's equations. It is defined in components as A^\mu = \left( \frac{\phi}{c}, \mathbf{A} \right), where c is the speed of light, using the metric signature (+,-,-,-). This four-vector transforms under Lorentz transformations to ensure the electromagnetic fields remain invariant across inertial frames.^[53] The electromagnetic field strength tensor F^{\mu\nu}, which encapsulates the electric field \mathbf{E} and magnetic field \mathbf{B}, is expressed in terms of the four-potential as

F^{\mu\nu} = \partial^\mu A^\nu - \partial^\nu A^\mu.

This antisymmetric tensor has components related to the fields via F^{0i} = -E^i/c and F^{ij} = -\epsilon^{ijk} B_k (with \epsilon^{ijk} the Levi-Civita symbol), yielding the standard expressions \mathbf{E} = -\nabla \phi - \partial_t \mathbf{A} and \mathbf{B} = \nabla \times \mathbf{A}. The four-potential thus provides a potential formulation from which the observable fields can be derived.^[53]^[54] The four-potential exhibits gauge invariance, meaning physical predictions are unchanged under the transformation A'^\mu = A^\mu + \partial^\mu \Lambda, where \Lambda(x^\mu) is an arbitrary smooth scalar function. To fix this freedom and simplify calculations, the Lorentz gauge condition \partial_\mu A^\mu = 0 is often imposed, which is Lorentz covariant and corresponds to \nabla \cdot \mathbf{A} + \frac{1}{c^2} \frac{\partial \phi}{\partial t} = 0 in three-vector notation.^[2]^[53]^[55] In the Lorentz gauge, the components of the four-potential satisfy the inhomogeneous wave equation

\square A^\mu = -\mu_0 j^\mu,

where \square = \partial^\mu \partial_\mu is the d'Alembertian operator, \mu_0 is the permeability of free space, and j^\mu is the electromagnetic four-current density serving as the source term. This equation unifies the wave equations for \phi and \mathbf{A} derived from Maxwell's equations, highlighting the propagation of electromagnetic potentials at the speed of light.^[54]^[53]

Wave and Quantum Applications

Four-Wavevector

The four-wavevector k^\mu is a contravariant four-vector that describes the propagation of plane waves in the framework of special relativity. Its components are given by k^\mu = \left( \frac{\omega}{c}, \mathbf{k} \right), where \omega denotes the angular frequency, c is the speed of light in vacuum, and \mathbf{k} is the three-wavevector with components (k_x, k_y, k_z) and magnitude k = |\mathbf{k}| = 2\pi / \lambda, corresponding to the wavenumber of the wave.^[56] This formulation ensures that the four-wavevector transforms linearly under Lorentz transformations, preserving the relativistic structure of wave phenomena.^[56] The phase of a plane wave is expressed as the invariant scalar \phi = k_\mu x^\mu, where x^\mu is the four-position vector and the metric signature is (+,-,-,-), making \phi unchanged between inertial frames.^[56] For massless waves such as light in vacuum, the four-wavevector is light-like, satisfying the null condition k^\mu k_\mu = 0, which yields the dispersion relation \omega = c k.^[56] This relation connects the temporal and spatial aspects of the wave, reflecting the finite propagation speed dictated by relativity.^[56] Lorentz transformations of the four-wavevector account for key relativistic effects in wave observation, including the Doppler shift in frequency and the aberration in direction. For a boost with velocity \mathbf{v} = \beta c along the line of sight, the frequency in the transformed frame is \omega' = \gamma \omega (1 - \beta \cos \theta), where \gamma = (1 - \beta^2)^{-1/2} and \theta is the angle between \mathbf{k} and \mathbf{v} in the original frame; this formula derives from the covariant transformation of k^\mu.^[56] Aberration alters the apparent direction of \mathbf{k}, according to \cos \theta' = \frac{\cos \theta - \beta}{1 - \beta \cos \theta}, where \theta is the angle between \mathbf{k} and \mathbf{v} in the original frame, ensuring consistency with the boosted phase invariance.^[57] In the context of wave-particle duality, the four-wavevector connects to quantum mechanics through the de Broglie relations, where k^\mu = p^\mu / \hbar for a particle's four-momentum p^\mu = (E/c, \mathbf{p}), with E = \hbar \omega and \mathbf{p} = \hbar \mathbf{k}; this four-vector form upholds Lorentz invariance for matter waves.^[58]

Four-Probability Current

In relativistic quantum mechanics, the four-probability current arises as a conserved four-vector associated with the Dirac equation, describing the density and flow of probability for spin-1/2 particles such as electrons. It is defined by the bilinear form j^\mu = \bar{\psi} \gamma^\mu \psi, where \psi is the four-component Dirac spinor field, \bar{\psi} = \psi^\dagger \gamma^0 is its Dirac adjoint, and \gamma^\mu (\mu = 0, 1, 2, 3) are the Dirac gamma matrices satisfying the Clifford algebra \{ \gamma^\mu, \gamma^\nu \} = 2 g^{\mu\nu}, with g^{\mu\nu} the Minkowski metric.^[59] This expression was introduced in Paul Dirac's seminal 1928 paper, where the gamma matrices first appeared to ensure the relativistic invariance of the wave equation.^[59] The Dirac equation (i \gamma^\mu \partial_\mu - m) \psi = 0 (in natural units) implies the continuity equation \partial_\mu j^\mu = 0 through Noether's theorem applied to spacetime translations, guaranteeing the conservation of total probability \int j^0 \, d^3x over all space.^[59] The time component j^0 = \psi^\dagger \psi represents the probability density, while the spatial components \mathbf{j} = \bar{\psi} \boldsymbol{\gamma} \psi describe the probability flux, incorporating both orbital motion and spin contributions inherent to the relativistic spinor structure.^[60] In the non-relativistic limit, where the particle's speed is much less than the speed of light (v \ll c), the four-probability current reduces to familiar non-relativistic forms. The density becomes j^0 \approx |\phi|^2, where \phi is the dominant large-component spinor approximating the non-relativistic wave function, and the flux simplifies to \mathbf{j} \approx \frac{\hbar}{2mi} (\phi^* \nabla \phi - \phi \nabla \phi^*), recovering the standard probability current of the Schrödinger equation while neglecting higher-order relativistic corrections like the spin-orbit term.^[61] This limit highlights the compatibility of the Dirac theory with non-relativistic quantum mechanics for low energies.^[61] For a single-particle interpretation, the Dirac spinor is normalized such that the integral of the probability density over space equals unity: \int j^0 \, d^3x = 1, ensuring the total probability remains conserved and interpretable as the likelihood of finding the particle.^[60] This normalization is frame-dependent in the sense that Lorentz boosts mix density and flux, but the four-vector structure preserves the invariant volume integral along timelike hypersurfaces.^[60] By construction, j^\mu transforms as a contravariant four-vector under Lorentz transformations, \Lambda^\mu{}_\nu j^\nu, reflecting the relativistic covariance of the Dirac equation and ensuring that probability conservation holds in all inertial frames.^[59] This property distinguishes it from non-relativistic currents, which lack such invariance. For charged particles, the electromagnetic four-current is analogous, given by j^\mu_{\rm em} = e j^\mu (with e < 0 for electrons), coupling the probability flow to the electromagnetic field in quantum electrodynamics.^[60]

Thermodynamic and Other Applications

Four-Heat Flux

In relativistic thermodynamics, the four-heat flux q^\mu is a four-vector that describes the flow of internal (thermal) energy relative to the fluid's average motion, capturing heat conduction effects in dissipative processes. It is defined such that, in the local rest frame of the fluid (where the four-velocity u^\mu = (c, 0, 0, 0)), the time component vanishes (q^0 = 0), and the spatial components q^i represent the energy flux due to temperature gradients across the fluid. Crucially, q^\mu is orthogonal to the four-velocity, satisfying q^\mu u_\mu = 0, ensuring no heat flow along the direction of bulk motion in the comoving frame. This orthogonality arises from the decomposition of the energy-momentum transport into convective and diffusive parts, as formulated in the Eckart frame for relativistic hydrodynamics.^[62] The four-heat flux enters the stress-energy tensor T^{\mu\nu} of a relativistic fluid with dissipation, extending the ideal perfect-fluid form to include thermal conduction and viscosity. In the first-order approximation for a heat-conducting viscous fluid, the tensor takes the form

T^{\mu\nu} = \frac{(\epsilon + p) u^\mu u^\nu}{c^2} - p \eta^{\mu\nu} + \frac{q^\mu u^\nu + q^\nu u^\mu}{c} + \pi^{\mu\nu},

where \epsilon is the proper energy density, p is the pressure, \eta^{\mu\nu} is the Minkowski metric (with signature (+, -, -, -)), and \pi^{\mu\nu} is the viscous stress tensor (symmetric, traceless, and orthogonal to u^\mu). The terms involving q^\mu account for the energy-momentum exchange due to heat flow, with the positive signs reflecting the contribution to energy flux in this convention. This structure, originally proposed by Eckart, ensures conservation of energy and momentum while satisfying the second law of thermodynamics locally.^[62] Under Lorentz boosts, the components of q^\mu transform covariantly as a four-vector, leading to a mixing of its time and spatial parts that couples the pure heat flux to the convective enthalpy transport (\epsilon + p) u^\mu u^\nu / c^2. For instance, boosting along the direction of flow introduces a non-zero time component in the new frame, effectively blending diffusive heat with the bulk enthalpy current. In the laboratory frame, the three-heat flux \mathbf{q} is obtained by projecting q^\mu orthogonal to the observer's time direction, yielding the observed energy flow vector that includes both transformed conduction and relativistic corrections to the rest-frame flux. This transformation highlights the frame-dependence of heat as a dissipative process in special relativity.^[63]

Four-Entropy Flux

In relativistic hydrodynamics, the four-entropy flux describes the flow of entropy in a thermodynamic system, ensuring consistency with the principles of special relativity and thermodynamics. For an ideal fluid, it is defined as s^\mu = s u^\mu, where s is the proper entropy density measured in the fluid's rest frame and u^\mu is the four-velocity of the fluid element, satisfying u^\mu u_\mu = c^2 in the mostly-minus metric convention with signature (+, -, -, -).^[64] This form reflects the time-like nature of the entropy current, with the spatial components vanishing in the local rest frame. In the absence of dissipation, the conservation law \partial_\mu s^\mu = 0 holds, corresponding to isentropic evolution.^[65] The second law of thermodynamics manifests in the relativistic context through the inequality \partial_\mu s^\mu \geq 0 for irreversible processes, quantifying the local production of entropy due to dissipative effects such as viscosity and heat conduction.^[65] This ensures thermodynamic stability and positivity of entropy generation, a cornerstone derived from the entropy principle in second-order hydrodynamics. In the Eckart frame, which defines the fluid rest frame via the particle number current N^\mu = n u^\mu (with no diffusive contribution), the four-entropy flux relates to the heat flux q^\mu in dissipative cases. Specifically, the non-equilibrium part of the entropy current includes a term -q^\mu / T, where T is the temperature, such that s^\mu = s u^\mu - q^\mu / T; here, q^\mu = -\Delta^\mu{}_\nu T^{\nu\lambda} u_\lambda is the heat flux obtained by projecting the stress-energy tensor T^{\nu\lambda} orthogonal to u^\mu using the spatial projector \Delta^\mu{}_\nu = \delta^\mu_\nu - u^\mu u_\nu / c^2.^[66] For ideal fluids, q^\mu = 0, simplifying the flux to the equilibrium form.^[67] Under Lorentz boosts, the four-entropy flux transforms covariantly as a four-vector, aligning with the fluid's velocity. When boosting to a frame moving with velocity \mathbf{v} relative to the rest frame, the components become s^0 = \gamma s c, \mathbf{s} = \gamma s \mathbf{v}, where \gamma = 1/\sqrt{1 - v^2/c^2} is the Lorentz factor, preserving the time-like character and proper density s.^[64] This transformation underscores the relativistic invariance of thermodynamic relations in hydrodynamics.

Alternative Formulations

In Geometric Algebra

In geometric algebra, four-vectors are represented as elements of the Clifford algebra \mathcal{Cl}(1,3), which models Minkowski spacetime with signature (+,-,-,-). The algebra is generated by an orthonormal basis \{\gamma^\mu \mid \mu = 0,1,2,3\}, where \gamma^0 is timelike with (\gamma^0)^2 = 1 and \gamma^i (for i=1,2,3) are spacelike with (\gamma^i)^2 = -1. A general four-vector X is expressed as X = \gamma^\mu X_\mu = X_0 \gamma^0 + X_1 \gamma^1 + X_2 \gamma^2 + X_3 \gamma^3, where summation over repeated indices is implied and the components X_\mu are real scalars. The geometric product provides the inner product through its symmetric part: for two four-vectors a and b, the inner product is a \cdot b = \frac{1}{2}(ab + ba), which reproduces the Minkowski metric a \cdot b = a_0 b_0 - \mathbf{a} \cdot \mathbf{b}.^[68] Lorentz transformations in this framework are implemented by rotors, which are even-grade elements of the algebra with magnitude 1. A spatial rotation by angle \theta around a unit bivector axis \mathbf{\theta} (satisfying \mathbf{\theta}^2 = -1) is given by the rotor R = e^{-\mathbf{\theta}/2}, transforming a four-vector X to X' = R X \tilde{R}, where \tilde{R} is the reverse of R. Similarly, a Lorentz boost with rapidity \phi along a timelike bivector \mathbf{B} (satisfying \mathbf{B}^2 = 1) uses the rotor R = e^{-\mathbf{B}/2}, preserving the spacetime interval X \cdot X. These rotors belong to the spin group \mathrm{Spin}^+(1,3), offering a double cover of the proper Lorentz group and enabling coordinate-free computations.^[69]^[68] The geometric algebra formulation unifies the treatment of vectors and higher-grade multivectors, such as bivectors, which represent oriented planes and simplify physical laws. For instance, the electromagnetic field strength is encoded as a single bivector F = \mathbf{E} \wedge \gamma^0 + \mathbf{B}, where \mathbf{E} and \mathbf{B} are the electric and magnetic field vectors, allowing Maxwell's equations to collapse into one geometric equation \partial F = J with the four-current J as a vector. This contrasts with tensor notations by directly incorporating orientations and avoiding artificial distinctions between vector and pseudovector fields.^[68] A key example is the four-velocity u = \gamma^\mu u_\mu = \gamma^0 u^0 + \gamma^i u_i, defined as the derivative of the position four-vector with respect to proper time \tau, so u = \frac{dX}{d\tau} with u \cdot u = 1 (in units where c=1). The square u^2 = u \cdot u follows directly from the inner product, yielding the Lorentz factor \gamma = u^0 and ensuring invariance under Lorentz transformations via the rotor action. This representation highlights the geometric algebra's ability to treat relativistic kinematics intuitively without explicit metric tensors.^[69]^[68]

In Clifford Algebra

In the context of special relativity, the Clifford algebra \mathcal{Cl}(1,3) provides a comprehensive algebraic framework for representing spacetime geometry, generated by basis elements \gamma^\mu (\mu = 0, 1, 2, 3) satisfying the anticommutation relations \{\gamma^\mu, \gamma^\nu\} = 2 \eta^{\mu\nu}, where \eta^{\mu\nu} is the Minkowski metric with signature (+,-,-,-).^[68] This algebra, also known as spacetime algebra, encompasses scalars, vectors, bivectors, trivectors, and the pseudoscalar, enabling a unified treatment of multivectors that encode both magnitude and orientation in four-dimensional Minkowski space.^[68] Four-vectors in \mathcal{Cl}(1,3) are expressed as linear combinations of the basis vectors, V = V_\mu \gamma^\mu, where V_\mu are scalar components corresponding to the contravariant coordinates in spacetime.^[68] The geometric product of two four-vectors V and W decomposes into symmetric and antisymmetric parts: V W = V \cdot W + V \wedge W, where V \cdot W = \frac{1}{2}(V W + W V) is the inner (scalar) product preserving the metric signature, and V \wedge W = \frac{1}{2}(V W - W V) is the outer (bivector) product representing oriented area elements.^[68] This product structure facilitates computations of rotations, boosts, and other Lorentz transformations within the algebra. The unit pseudoscalar I = \gamma^0 \gamma^1 \gamma^2 \gamma^3 squares to I^2 = -1 and commutes or anticommutes with even- or odd-grade elements, respectively, serving as a central element for duality operations in \mathcal{Cl}(1,3).^[68] Duality maps a multivector A to its Hodge dual A^* = A I, allowing interconversion between inner and outer products, such as (a \cdot B) I = a \wedge (B I) for a vector a and multivector B, which is particularly useful for formulating electromagnetic fields and other bivector quantities in relativistic physics.^[68] In quantum field theory, four-vectors in \mathcal{Cl}(1,3) connect to spinors through the even subalgebra \mathcal{Cl}^+(1,3), where Dirac spinors are represented as even multivectors \psi acted upon by four-vectors via the relation \gamma^\mu \psi \gamma^0, linking to the Dirac equation i \gamma^\mu \partial_\mu \psi = m \psi in its standard matrix form.^[68]^[70] This formulation embeds the Lorentz group representations naturally, with rotors U \in \mathrm{Spin}(1,3) transforming four-vectors as V' = U V \tilde{U}, where \tilde{U} = U^\dagger \gamma^0.^[68]

References

[1]
Four-vectors in Relativity - HyperPhysics
They are defined so that the length of a four-vector is invariant under a coordinate transformation. This invariance is associated with physical ideas. The ...
[2]
Electrodynamics in Relativistic Notation - Feynman Lectures - Caltech
First, by analogy with vectors in three dimensions, we define a four-vector as a set of the four quantities at, ax, ay, and az, which transform like t, x, y, ...
[3]
[PDF] Space and Time - UCSD Math
It was Hermann Minkowski (Einstein's mathematics professor) who announced the new four- dimensional (spacetime) view of the world in 1908, which he deduced ...
[4]
[PDF] 5. Electromagnetism and Relativity - DAMTP
We want to write this equation in 4-vector notation in a way that makes it clear how all the objects change under Lorentz transformations. By now it should ...
[5]
[PDF] chapter 2 minkowski spacetime and special relativity - Javier Rubio
Some books use a different timelike convention for the signature of the metric, taking ηµν = diag(1, −1, −1, −1). Although the physics is independent of ...
[6]
[PDF] 7. Special Relativity - DAMTP
This matrix is called the Minkowski metric. With this expression for the Minkowski metric, the inner product becomes. X · X = c2t2 x2 y2 z2 which is indeed ...
[7]
[PDF] The Lorentz transformation - Physics Department, Oxford University
Under a Lorentz transformation, a 4-vector changes, but not out of all recognition. ... Because the left hand side can be written as a scalar product of a 4- ...
[8]
[PDF] Lorentz Transformations in Special Relativity
boost along axis b with rapidity λ. The velocity of the boost is given by v c. = b tanh λ. (27). We will now work out the explicit form of the matrices B(b,λ).
[9]
[PDF] on the electrodynamics of - moving bodies
The following reflexions are based on the principle of relativity and on the principle of the constancy of the velocity of light. These two principles we define ...
[10]
Effect of Thomas Rotation on the Lorentz Transformation of ... - Nature
Mar 26, 2020 · This rotation of the space coordinates under the application of successive Lorentz boosts is called Thomas rotation. This phenomenon occurs when ...
[11]
[PDF] Lorentz Invariance and the 4-vector Dot Product
To re-iterate, any dot product of two 4-vectors is Lorentz invariant. There are a few particularly useful invariant quantities for solving problems.
[12]
[PDF] Lorentz Invariance and Lorentz Group: A Brief Overview
In general, a four vector is any quantity which transforms like xµ under Lorentz transformations. Examples include the four velocity, the four momentum, the ...
[13]
None
### Summary of Four-Vector Operations and Lorentz Transformations
[14]
[PDF] Introduction to Tensor Calculus for General Relativity - MIT
There are three ways to change the rank of a tensor. The first, called the tensor (or outer) product, combines two tensors of ranks (m1,n1) and (m2,n2) to form ...
[15]
[PDF] Minkowski space
Mar 21, 2013 · In this setting the three ordinary dimensions of space are combined with a single dimension of time to form a four-dimensional manifold for ...Missing: formalism | Show results with:formalism
[16]
[PDF] SPECIAL RELATIVITY 1. Minkowski space 1.1. Spacetime. Suppose ...
For now, let us note that the Minkowski inner product has many of the same properties as the dot product: (1) (v, w) = (w, v);. (2) (sv, w) = s(v, w) = (v,sw);.Missing: four- | Show results with:four-
[17]
1. Special Relativity and Flat Spacetime
This is why it makes sense to think of SR as a theory of 4-dimensional spacetime, known as Minkowski space. (This is a special case of a 4-dimensional manifold, ...
[18]
[PDF] Chapter 3: Relativistic dynamics - Particles and Symmetries
Jul 2, 2013 · We have just seen that the four-force must always be orthogonal to the momentum. So it is impossible for the 4-force f(τ) to be a fixed four- ...Missing: orthogonality | Show results with:orthogonality
[19]
[PDF] Lecture Notes on General Relativity Columbia University
Jan 16, 2013 · We remark that the Cauchy–Schwarz inequality is reversed for timelike vectors. If. X, Y are two future-directed timelike vector fields then g ...
[20]
[PDF] Notes on Lorentzian causality - University of Miami
Aug 4, 2014 · Example: Minkowski space, the spacetime of Special Relativity. ... (1) (Reverse Schwarz inequality) For all causal vectors X, Y ∈ TpM,. |g ...
[21]
[PDF] Lorentz transformation
Notice an invariance under Lorentz transformation: c2k2 - ω2 = c2k∗2 ... The scalar product of two 4-vectors is a Lorentz invariant: (Aµ,Bµ) ≡ X. µ.
[22]
9.4: More on 4-vectors and 4-tensors - Physics LibreTexts
Mar 5, 2022 · Just as the 4-vectors, 4-tensors with two top indices are called contravariant, and those with two bottom indices, covariant. The tensors with ...Missing: signature | Show results with:signature
[23]
Lorentz transformations - AstroBaki - CASPER
Dec 18, 2018 · Lorentz scalar. We can define the product of two four-vectors to be ... tensor in order to make their Lorentz invariance manifest. Lorentz ...<|control11|><|separator|>
[24]
9.2: Invariant Mass - Physics LibreTexts
Aug 9, 2024 · One of the key numbers we can extract from mass and momentum is the invariant mass, a number independent of the Lorentz frame we are in.
[25]
[PDF] 8 Lorentz Invariance and Special Relativity - UF Physics
As we shall see, Maxwell's equations are also invariant under Lorentz transformations, provided that the electric and magnetic fields are appropriately ...
[26]
Tensors in special relativity
Tensors are mathematical objects having definite transformation properties under coordinate transformations. The simplest examples are scalars and vectors. If ...
[27]
[PDF] Short Overview of Special Relativity and Invariant Formulation of ...
Keywords. Special relativity; electrodynamics; four-vectors. 1 ... We define the gradient operator as a four-vector: ∂µ = 1 c. ∂. ∂t,−∇ = 1.
[28]
[PDF] 7 Tensors
It is straightforward to generalize the gradient operation to posit a four-gradient of a scalar function φ: ∂µφ ≡. ∂φ. ∂xµ. = (1 c. ∂φ. ∂t. , ∇φ. ) ,. (72).
[29]
https://math.ucsd.edu/~b3tran/cgm/Minkowski_SpaceAndTime_1909.pdf
[30]
[PDF] Special Relativity: An Introduction with 200 Problems and Solutions
To relate the theory with Newtonian reality, we introduce rules, which identify Newtonian space and Newtonian time in Special. Relativity. In Chaps. 6 and 7 we ...
[31]
[PDF] carroll-gr-textbook.pdf - Caltech Astronomy
Dec 3, 1997 · These notes represent approximately one semester's worth of lectures on intro- ductory general relativity for beginning graduate students in ...
[32]
[PDF] 6.1 More on the covariant derivative - MIT
... covariant divergence” of a 4-vector, and let's do it using the Christoffel symbols we worked out in the previous lecture: ∇αV α. = ∂αV α + V µΓα. αµ. = ∂tV ...
[33]
None
### Summary of Covariant Derivative and Christoffel Symbols in Relativity
[34]
[PDF] General Relativity Fall 2019 Lecture 3: the geodesic equation
Sep 10, 2019 · For now we define a 4-vector as a geometric object V ... The Christoffel symbol is proportional to derivatives of the metric components.
[35]
[PDF] A SPACETIME PRIMER
Sep 2, 2004 · With proper time parametrization, (4.5) implies that the 4-acceleration xµ is always orthogonal to the 4-velocity: 0 = d dτ. (ηµν ˙xµ ˙xν)= ...
[36]
Lorentz Transformation
### Summary of Lorentz Transformation for Four-Position Components
[37]
[PDF] The velocity and momentum four-vectors
(15). 3. The four-momentum vector. The four-momentum vector is related in a simple way to the velocity four-vector: ... ⊥ as the component of x that is ...
[38]
[PDF] ASTR 498: Special Relativity Practice Problems Part 1: Basics
The four-velocity uµ of a particle with nonzero rest mass is defined as uµ = dxµ/dτ, where τ is the “proper time”. The proper time is the time measured by an ...
[39]
[PDF] 3.1 Transformation of Velocities
Four-vectors will be useful in expressing spacetime quantities that are related and combine to define Lorentz invariants. Examples include the four- momentum, ...
[40]
4-velocity and 4-acceleration - Richard Fitzpatrick
In other words, the 4-acceleration of a particle is always orthogonal to its 4-velocity. next · up · previous. Next: The current density 4-vector Up: Relativity ...Missing: momentum | Show results with:momentum<|control11|><|separator|>
[41]
Special relativity: mechanics - Scholarpedia
Oct 28, 2013 · So all four of the basic vectors of mechanics, velocity \mathbf{u}={dx}_{i}/{ {dt} }\ , acceleration \mathbf{a}={du}_{i}/{ {dt} }\ , momentum \ ...Missing: perpendicular | Show results with:perpendicular
[42]
[PDF] 1 Some four-vectors, old and new
Lorentz invariant. Thus we have successfully constructed a 4-vector. The 4-velocity of any particle with nonzero mass is time-like, i.e., has positive norm in ...
[43]
[PDF] The Relativity of Acceleration - Kirk T. McDonald
The relativity of acceleration means that when acceleration is constant in one frame, it is not so in another, due to the relativity of simultaneity.Missing: four- | Show results with:four-
[44]
1.5: Four-Momentum
### Summary of Four-Momentum from https://phys.libretexts.org/Courses/Skidmore_College/Introduction_to_General_Relativity/01%3A_Special_Relativity/1.05%3A_Four-Momentum
[45]
[PDF] 49. Kinematics - Particle Data Group
May 31, 2024 · Kinematics involves a particle's 4-vector (E,p), where p²=m² and velocity β=p/E. The scalar product of two 4-momenta is invariant.
[46]
[PDF] Acceleration and Force in Special Relativity Howard E. Haber
Mar 1, 2024 · In these notes, the properties of the velocity, momentum, force and acceler- ation four-vectors of special relativity are examined.
[47]
http://scipp.ucsc.edu/~haber/webpage/avector.pdf
[48]
https://phys.libretexts.org/Bookshelves/Relativity/Special_Relativity_(Crowell)/04%3A_Dynamics/4.05%3A__Force
[49]
[PDF] Key formula summary
Nov 3, 2005 · sity ρ(r,t) and a current density J(r,t). These can be combined into the current 4-vector (or “4-current”). •. J ≡. ⎛. ⎢. ⎢. ⎝. Jx. Jy. Jz ρc.
[50]
[PDF] Lecture 13 Notes, Electromagnetic Theory II
- The derivative 4-vector dotted into a 4-vector A (called the 4-divergence) is: ∂ A= ∂ ∂ x0 A0 ∂ ∂ x1 A1 ∂ ∂ x2 A2 ∂ ∂ x3 A3 ∂μ Aμ= 1 c ∂ A0 ∂t +∇⋅A - ...Missing: _0 = | Show results with:_0 =
[51]
[PDF] Special Relativity - Physics Courses
In this case, we have contracted a tensor with two four-vectors. The dot product of two four-vectors is also a Lorentz scalar: a · b ≡ aµ bµ = gµν aµ bν.Missing: outer | Show results with:outer
[52]
[PDF] 5. Electromagnetism and Relativity - DAMTP
Similarly, if we're given two four-vectors X and Y then the inner product X · Y = Xµ⌘µνY ν is also a Lorentz invariant. 5.1.2 Proper Time. The key to building ...
[53]
[PDF] Electromagnetic Potentials and Gauge Invariance Maxwell's ...
Apr 1, 2015 · This is just the inhomogenous wave equation for A, with j as the source term. Thus in the Lorenz gauge, both φ and A obey equations that have ...<|control11|><|separator|>
[54]
https://www.pas.rochester.edu/~stte/phy415F20/units/unit_1-4.pdf
[55]
The principle of relativity and the de Broglie relation - AIP Publishing
Jun 1, 2016 · This is almost automatically accomplished by working with four-vectors. On the other hand, the four-vector formalism embodies covariance under ...
[56]
The quantum theory of the electron - Journals
Husain N (2025) Quantum Milestones, 1928: The Dirac Equation Unifies Quantum Mechanics and Special Relativity, Physics, 10.1103/Physics.18.20, 18. Shah R ...
[57]
[PDF] Handout 2 : The Dirac Equation - Particle Physics
•In the non-relativistic limit. (A.3) becomes. (A.3). (A.4). Prof. M.A. Thomson ... Appendix V : Transformation of Dirac Current non-examinable. The Dirac current.
[58]
[PDF] THE CONTRIBUTION OF SPIN TO THE PROBABILITY CURRENT ...
A nonrelativistic limit of the Dirac equation yields the Pauli equation; however, a nonrelativistic limit of the Dirac probability current yields an extra term ...
[59]
https://royalsocietypublishing.org/doi/10.1098/rspa.1928.0023
[60]
https://www.hep.phy.cam.ac.uk/~thomson/partIIIparticles/handouts/Handout_2_2011.pdf
[61]
[PDF] AN INTRODUCTION TO RELATIVISTIC HYDRODYNAMICS
The hydrodynamics then starts in Section 4 where we introduce the basic object for the description of a fluid: a bilinear form called the stress-energy tensor.<|control11|><|separator|>
[62]
https://arxiv.org/pdf/1503.03931.pdf
[63]
RELATIVISTIC HYDRODYNAMICS - Oxford Academic
The standard approach due to Eckart starts by considering the entropy current ... q μ/T (dS=dQ/T), with T the temperature of the fluid element, so that.
[64]
https://people-lux.obspm.fr/gourgoulhon/pdf/Gourg06.pdf
[65]
[PDF] Clifford Algebra to Geometric Calculus - MIT Mathematics
Hestenes, David, 1933-. Clifford algebra to geometric calculus. (Fundamental theories of physics). Includes bibliographical references and index. 1. Clifford ...
[66]
[PDF] Primer on Geometric Algebra - David Hestenes archive
Jul 14, 2005 · Standard algebraic tools for linear geometry: Vector Addition and scalar multiplication. The term scalar refers to a real number or variable, ...
[67]
[PDF] The Dirac Equation: an approach through Geometric Algebra
In geometric algebra this works out as follows: if ∇2ϕ + m2ϕ = 0 then ψ = ∇ϕIσ3 + mϕγ0 is a solution of the Dirac equation in STA. If ϕ is odd then ψ is even ...Missing: Cl( | Show results with:Cl(<|control11|><|separator|>