Codex @codex  0

Align the spatial axes and make the origins coincide at $t=t^{\prime }=0$. For an inertial frame moving at velocity $+v$ along $x$, the Lorentz transformation isThe inverse Lorentz transformation follows by interchanging primed and unprimed coordinates and replacing $v$ by $-v$.

Let the object be at rest in $S^{\prime }$, with proper length $L_0=x_2^{\prime }-x_1^{\prime }$. Measuring its length in $S$ requires two endpoint events simultaneous in $S$, so $\Delta t=0$. The Lorentz transformation then givesThis is length contraction. The simultaneous endpoint events in $S$ are not simultaneous in $S^{\prime }$; that relativity of simultaneity is essential to the measurement.

For the two rockets, take the first rocket's Earth-frame velocity as $+c/2$ and the second's as $-c/2$. The velocity-addition formula gives the second rocket's velocity in the first rocket's rest frame:Its Lorentz factor is ${\gamma }_{\mathrm{rel}}=5/3$, and therefore its measured length isHere “appear” is interpreted as a length measured using simultaneous endpoint positions in the observer's inertial frame. A photograph, involving unequal light travel times, is a different measurement.

A galilean transformation relates inertial frames in uniform relative translation. For $\mathbf{V}$ the velocity of the primed origin,Absolute time and invariant acceleration make Newton's second law retain its form for the usual nonrelativistic interactions. For a particle of mass $m$, ${\mathbf{p}}^{\prime }=\mathbf{p}-m\mathbf{V}$ and $K^{\prime }=K-\mathbf{V}\cdot \mathbf{p}+m{V}^2/2$. Momentum and kinetic energy are frame dependent, although an isolated system's conservation laws hold in either inertial frame. Relative velocities and collision predictions are consistent between frames. A rotating or accelerating frame instead requires inertial-force terms. Maxwell equations with a fixed light speed are not Galilean invariant; Lorentz transformations replace these relations when relativistic effects matter.

For the stated standard configuration, the Lorentz transformation isDifferentiate along the moving object's worldline and divide $d{x}^{\prime }$ by $d{t}^{\prime }$ to obtain the velocity-addition formula:For a receding source, two emissions separated by proper time $1/f^{\prime }$ occur $\gamma /f^{\prime }$ apart in S. The second signal travels an additional distance $v\gamma /f^{\prime }$, so its reception interval is $\gamma (1+v/c)/f^{\prime }$. Hence the longitudinal relativistic Doppler effect isThe inverse velocity transformation for the forward throw givesThe ball approaches the stationary receiver, so its forward light is blueshifted. The received wavelength is $400\sqrt{(1-3/5)/(1+3/5)}=\boxed{200\mathrm{nm}}$, in the ultraviolet. The stated monochromatic emission is outside the visible band. Other reflected or emitted frequencies have not been specified. ^[ref]

Between launch and interception, $\Delta x=v{t}_{\mathrm{out}}$. The time-coordinate Lorentz transformation therefore givesThis is an elapsed coordinate time in B's inertial frame, not the travel time on A's clock. The latter would be $t_{\mathrm{out}}/{\gamma }_u=3a/(\sqrt{7}c)$.

The Michelson-Morley experiment splits coherent light into two perpendicular arms, reflects the beams and recombines them to observe interference fringes. Rotating the apparatus interchanges each arm's orientation relative to a proposed stationary luminiferous aether. The historical experiment used multiple reflections to increase the effective optical path and a rotatable support to compare orientations.^[ref]

For equal one-way effective arm lengths $\ell$, a classical stationary-aether model givesA right-angle rotation should reverse their difference, producing a fringe shift of approximately $2\ell v^2/(\lambda c^2)$. The observed orientation-dependent shift was much smaller than the stationary-aether prediction. In special relativity, the apparatus rest frame has the same vacuum speed of light along both arms, so no such orientation-dependent shift is expected. The result supports special relativity but does not, by itself, uniquely establish every postulate or exclude every modified aether theory.

For the rocket, take its tail at $x^{\prime }=0$ and nose at $x^{\prime }=L_0$, with coincident frame origins when $t=t^{\prime }=0$. Denote emission, reflection and return by $A,B,C$. In the rocket's inertial frame, their coordinates $(t^{\prime },x^{\prime })$ areThe inverse Lorentz transformation is $x=\Gamma (x^{\prime }+u{t}^{\prime })$, $t=\Gamma (t^{\prime }+u{x}^{\prime }/c^2)$, where $\Gamma =(1-u^2/c^2{)}^{-1/2}$. Thus the same spacetime events, in coordinates $(t,x)$, areThere is no requirement that emission have $t=0$ in this chosen laboratory coordinate system.

The nose-to-tail travel time is $\Delta t_{AB}=\Gamma L_0(1-u/c)/c$. If $L$ is the laboratory length measured at one laboratory time, a left-moving pulse and the right-moving tail close their initial separation at speed $c+u$. ThereforeThis derives length contraction from the pulse's travel. Comparing the positions of the two endpoints at different laboratory times would not measure the rocket's laboratory length.

Use the PDF's notation $f_0$ for the source-frame pulse frequency, and set $\beta =v/c$, $\gamma =(1-{\beta }^2{)}^{-1/2}$. Successive emissions occur at the same train-frame position and are separated by proper time $1/f_0$. The Lorentz transformation gives a station-frame emission interval $\Delta t_e=\gamma /f_0$ and displacement $v\Delta t_e$. For a receding beacon, the second pulse travels an extra distance $v\Delta t_e$, soThis derivation includes both time dilation and the change in light-travel time. Expanding for $\beta \ll 1$ gives $f/f_0=1-\beta +O({\beta }^2)$, recovering the stated nonrelativistic approximation.

Let ${\lambda }_0$ be the common wavelength of the identical lights at rest. The approaching and receding relativistic Doppler effect factors giveTheir ratio and product therefore determine the speed and rest wavelength separately:No assumption about the rest color was needed.

The last observation requires a transverse-geometry convention. The general observer-frame ray formula iswhere $\theta$ is the angle between source velocity and photon propagation in the platform frame at emission. Under the usual transverse-ray interpretation, $\theta =\pi /2$, so for $\beta =0.6$ and $\gamma =1.25$,This is the standard transverse redshift from time dilation.

There is a genuine distinction between emission and reception at the instant of passing. A side-mounted source emitting perpendicularly in its own frame instead has $\cos \theta =\beta$ by aberration of light, giving $\lambda ={\lambda }_3^{\prime }/\gamma =320\mathrm{nm}$. The same blue result occurs if “at the exact moment” means reception when the source's current position is at closest approach, with a small finite transverse offset. For offset $d$, reception and emission satisfy $t_r=t_e+\sqrt{v^2{t}_e^2+d^2}/c$. Setting $t_r=0$ gives $t_e=-\gamma d/c$ and $\cos \theta =\beta$; setting $t_e=0$ instead gives the transverse ray received at $t_r=d/c$. These limits remain different as $d\to 0$.

Thus 500 nm requires the transverse ray in the platform frame; 320 nm applies to reception at closest approach or transverse emission in the train frame. The wording does not distinguish these event/frame choices, so merely neglecting the source-observer separation is insufficient to select between them. The reusable derivation is transverse Doppler shift and observation time.

Experimental evidence. Tests of special relativity check linked predictions about light propagation, clocks and four-momentum. Several independent kinds of experiment support those predictions.

The observed partial-drag coefficient agrees with this first-order prediction rather than simple Galilean addition of $u$. It tests a different consequence of the Lorentz transformation from a particle-lifetime measurement.^[ref]

Atmospheric muons and the two frame descriptions. Atmospheric cosmic rays create unstable particles whose decay chains produce muons. A stopped-muon experiment measures the time between a stopping signal and the subsequent decay electron, obtaining the proper mean lifetime ${\tau }_0\simeq 2.2\mu \mathrm{s}$. The associated light-travel distance is only $c{\tau }_0\simeq 660\mathrm{m}$, yet substantial numbers of energetic atmospheric muons reach detectors after travelling several kilometres.

For an ideal selected cohort produced height $h$ above a detector and moving downward at constant speed $v$, the flight time in the terrestrial frame is $h/v$. Time dilation predicts a laboratory mean lifetime $\gamma {\tau }_0$, hence survival fractionWithout time dilation, the predicted exponent would be $-h/(v{\tau }_0)$ and the surviving population much smaller. Altitude comparisons constitute a cosmic-ray muon time-dilation experiment: select comparable momenta or energies and account for detector acceptance, atmospheric energy loss and backgrounds before interpreting the count ratio.

For illustration, not as a claimed measurement, take $h=10\mathrm{km}$ and $v=0.998c$. Then $\gamma =15.82$, the laboratory flight time is $33.4\mu \mathrm{s}$, and the predicted surviving fraction is about $0.38$. Omitting time dilation would give only about $2.5\times 10^{-7}$ on the same idealized constant-speed model.

In the muon rest frame, its decay still follows $e^{-\Delta \tau /{\tau }_0}$. The atmosphere and ground move upward. Their separation, measured simultaneously in that frame, is shortened by length contraction:The same survival fraction follows. The terrestrial description uses a longer-lived moving particle; the muon-frame description uses a shorter atmospheric flight path. They describe the same production and detection events. This consistency illustrates both time dilation and length contraction, while the survival measurement is not two independent experimental tests merely because it can be described in two frames.

Energy-momentum invariant. For a particle with rest mass $m$,Since $E=m{c}^2+K$, substitution and cancellation of $m^2{c}^4$ giveThis relativistic energy-momentum relation reduces to $K\simeq p^2/(2m)$ when $K\ll m{c}^2$.

Laboratory beam energies. If both final muons are at rest in the laboratory, their total momentum is zero and their total energy is $2m_{\mu }{c}^2$. Four-momentum conservation therefore requires equal and opposite incoming momenta. Because the electron and Positron have equal rest masses, they then have equal total energies:Subtract each particle's own rest energy:Using the usual handbook rest energies gives approximately $105.1\mathrm{MeV}$ for each beam. These are the ideal kinematic threshold values. Just above threshold, the pair has small, equal and opposite momenta in this laboratory frame.

Positron momentum. Apply the relativistic energy-momentum relation to $E_{+}=m_{\mu }{c}^2$ and use its stipulated negative-$x$ direction:The electron has the opposite momentum, $p_{e,x}=+p_0$ with $p_0=c\sqrt{m_{\mu }^2-m_e^2}$.

Boost to the electron rest frame. The electron's velocity is $v=p_{e,x}{c}^2/E_{-}=p_0/m_{\mu }>0$. Thus $S^{\prime }$ moves in the positive-$x$ direction, and its Lorentz factor satisfiesThe positron has the same laboratory total energy as the electron, so $v{E}_{+}/c^2=v{m}_{\mu }=p_0$. The supplied Lorentz transformation then givesAs a sign check, the same boost gives $p_{e,x}^{\prime }=\gamma (p_0-v{E}_{-}/c^2)=0$, as required for the electron rest frame.

Frame definitions and relativistic effects. Let $S$ be the inertial frame of Earth and the stationary asteroid, with $+x$ pointing toward the asteroid. Bob's inertial frame $S^{\prime }$ moves at $+v$ relative to $S$. For two events at Bob's fixed position, $\Delta x^{\prime }=0$, the inverse Lorentz transformation givesThe elapsed proper time on Bob's clock is $\Delta \tau =\Delta t^{\prime }$, so time dilation means $\Delta t=\gamma \Delta \tau$: the separation of his clock ticks is larger in Earth coordinates. For a rod at rest in $S^{\prime }$ with proper length $L_0$, a length measurement in $S$ uses simultaneous endpoints, $\Delta t=0$. The direct spatial Lorentz transformation gives $L_0=\Delta x^{\prime }=\gamma \Delta x$, hence length contraction:The simultaneity condition is essential: the endpoint events used to measure length are different from the two clock-tick events used to demonstrate time dilation.

Bob's speed. Food consumption measures Bob's own proper time, ${\tau }_B=4\text{ months}=1/3\mathrm{yr}$. The Earth-frame distance is $D=1/4\mathrm{ly}$ and the Earth travel time is $D/v$. ConsequentlyPutting $\beta =v/c$, ${\beta }^2/(1-{\beta }^2)=9/16$, soThe Earth travel time is $5/12\mathrm{yr}=5$ months. Equivalently Bob measures the contracted Earth-asteroid separation $D/\gamma =0.20\mathrm{ly}$ and sees the asteroid approach at $0.60c$, taking $1/3\mathrm{yr}$ to reach him.

Events A and B. Set both coordinate origins at Event A. Alice reaches the asteroid at Event B, travelling at $u=2c/3$ in $S$, soThe Lorentz transformations into Bob's frame giveHere $c(1\mathrm{yr})=1\mathrm{ly}$ has been used consistently. With the time-positive sign convention, the Minkowski interval isThus the Minkowski interval is invariant. It is timelike, as expected for two events on Alice's subluminal worldline. Using the opposite metric sign convention would change both signs together, without changing invariance.

Relative velocity and spacetime diagram. Divide the differential spatial and temporal Lorentz transformations for the same trajectory:For Alice,The spacetime diagram uses horizontal $x^{\prime }$ and vertical $c{t}^{\prime }$. In these coordinates Bob's worldline is $x^{\prime }=0$, Alice's is $x^{\prime }=c{t}^{\prime }/9$, and the asteroid's isThus Alice has slope $d(c{t}^{\prime })/d{x}^{\prime }=9$, while the asteroid has slope $-5/3$. Their intersection is exactly B, $(x^{\prime },c{t}^{\prime })=(1/32,9/32)\mathrm{ly}$. The asteroid later reaches Bob at $(0,1/3)\mathrm{ly}$. These intercepts and gradients show the relativistic velocity addition geometrically.

Equating the lander and return-signal positions givesThis is measured from launch, so about 25.18 months pass on Earth-frame synchronized clocks. D occurs slightly before the lander reaches Earth at $t=74/35\mathrm{yr}$.

The two events A and D lie on the inertial lander's own worldline, and their proper time difference isEquivalently, applying the Lorentz transformation with $\Delta x=u\Delta t$ gives $\Delta t^{\prime }={\gamma }_u\Delta t(1-u^2/c^2)=\Delta t/{\gamma }_u$.

The Fock vacuum condition and the creation operator commutator giveEquality of the square-root product and $2E_{\mathbf{p}}$ holds on the support of the Dirac delta function.

The positive-energy mass shell has the Lorentz invariant measureHere both $p^2$ and the four-dimensional volume element are invariant, and positive energy is preserved by a proper orthochronous Lorentz transformation. Consequently the three-dimensional Jacobian determinant is $J=E_{\mathbf{\Lambda }p}/E_{\mathbf{p}}$. Transforming the Dirac delta function yieldsso its factor exactly cancels that of $2E_{\mathbf{\Lambda }p}$. Thus the displayed inner product is invariant under simultaneous transformation of both momenta. This is also why the one-particle completeness measure is $d^{3}p/((2\pi {)}^{3}2E_{\mathbf{p}})$.^[ref]

A continuous Lorentz transformation in one spatial dimension must preserve $t^2-x^2$. In the component connected to the identity, take the image of the time axis to have velocity $v$, with $|v|<1$, and write $B_v(1,0{)}^{\mathsf{T}}=\gamma (1,v{)}^{\mathsf{T}}$. Preservation of the Minkowski norm gives ${\gamma }^2(1-v^2)=1$, so $\gamma =(1-v^2{)}^{-1/2}$. The spacelike column must be orthogonal to the timelike column and have squared Minkowski norm $-1$; continuity fixes it to $\gamma (v,1{)}^{\mathsf{T}}$. ThusHere $x=(t,x{)}^{\mathsf{T}}$ denotes the coordinate pair. This is the positive off-diagonal convention in the source; describing a passive frame moving at $+v$ instead reverses the sign of $v$.

Define the rapidity $\alpha =\mathrm{artanh}v$. The hyperbolic function identities giveIn light-cone coordinates, $t^{\prime }+x^{\prime }=e^{\alpha }(t+x)$ and $t^{\prime }-x^{\prime }=e^{-\alpha }(t-x)$. Therefore the derivatives transform oppositely:Use the field-transformation convention ${\psi }^{\prime }(x^{\prime })=S(\alpha )\psi (x)$. The component action in c is invariant underIndeed, the right-component kinetic term gains $e^{\alpha /2}{e}^{-\alpha }{e}^{\alpha /2}=1$, and the left-component kinetic term gains $e^{-\alpha /2}{e}^{\alpha }{e}^{-\alpha /2}=1$. The two factors in each Dirac mass term cancel as well. Finally $\det B=1$, so $d{t}^{\prime }d{x}^{\prime }=dtdx$ and the whole action is unchanged. These are the chiral boost weights in two spacetime dimensions.

In spinor notation, $S(\alpha )=\exp (\alpha {\gamma }^5/2)$ satisfies $S^{-1}{\gamma }^{\mu }S=B^{\mu }{}_{\nu }{\gamma }^{\nu }$ and $S^{†}{\gamma }^{0}S={\gamma }^0$, so ${\bar{\psi }}^{\prime }=\bar{\psi }{S}^{-1}$. These identities directly verify covariance of the Dirac equation and the Lorentz invariance of its action. The matrices $S$ are not unitary with respect to the ordinary component norm; the Dirac adjoint supplies the invariant bilinear.

The statement about there being only Lorentz boosts applies to the identity component of the One-dimensional Lorentz group. The full Lorentz group also has discrete transformations: the concrete spatial reflection $\mathrm{diag}(1,-1)$ preserves the Minkowski metric but has determinant $-1$, so it cannot equal any displayed $B(\alpha )$, whose determinant is $+1$.

Use the shock frame, with upstream and downstream fluid velocities $u_1=u$ and $u_2=u/4$ pointing in the same direction. These are the Strong-shock Rankine-Hugoniot conditions for a nonrelativistic monatomic gas with adiabatic index $5/3$. The two scattering media approach one another at relative speed $U=u_1-u_2=3u/4$, to first order in $u/c$. An energetic electron repeatedly crosses the shock wave, scatters from magnetic turbulence carried by the local plasma, and returns. Each scattering approximately conserves its energy in the local fluid rest frame while changing its direction; comparing successive fluid frames produces a systematic energy and momentum gain. The energy comes from the converging bulk flow, through the moving magnetic field irregularities and their associated electric fields. This is diffusive shock acceleration, a first-order Fermi acceleration process.

Let $\eta$ be the positive cosine of the crossing angle with the shock wave's normal. The Lorentz transformation between fluid frames gives, for either crossing direction with the corresponding sign of the normal reversed,For an almost isotropic population, the number crossing a unit area is weighted by its normal velocity. Thus the normalized crossing distribution is $2\eta d\eta$, rather than a uniform distribution in $\eta$, andFor an ultrarelativistic electron, $E\simeq pc$ and its speed $v\simeq c$, soMore generally $dE/dp=v$ gives $⟨\Delta p⟩/p=2U/(3v)$, while a nonrelativistic kinetic energy has $⟨\Delta K⟩/K=4U/(3v)$. A complete upstream–downstream–upstream cycle contains two crossings and has ultrarelativistic fractional energy gain $u/c$.

The initially cold electrons need an injection stage: shock wave heating and small-scale plasma processes must first produce particles with speed much larger than $u$ that can return across the front. The $v\simeq c$ result is a description of that accelerated population; a cold electron cannot simply be assigned $E\simeq pc$ at its first encounter.

With Cartesian Minkowski spacetime coordinates $x^{\mu }=(ct,x,y,z)$, introduce the four-current $J^{\mu }=(c\rho ,\mathbf{J})$ and electromagnetic four-potential ${\mathcal{A}}^{\mu }=(\varphi /c,\mathbf{A})$. The antisymmetric electromagnetic field tensor $F^{\mu \nu }={\partial }^{\mu }{\mathcal{A}}^{\nu }-{\partial }^{\nu }{\mathcal{A}}^{\mu }$ has components $F^{0i}=-E_i/c$ and $F^{ij}=-{ϵ}^{ijk}{B}_k$. Maxwell equations becomeThe time and space components reproduce Gauss's law and the Ampère-Maxwell equation; the dual equation gives absence of magnetic monopoles and Faraday's law of induction. Antisymmetry gives charge conservation ${\partial }_{\nu }{J}^{\nu }=0$. The relativistic Lorentz force is $d{p}^{\mu }/d\tau =q{F}^{\mu \nu }{u}_{\nu }$. Every displayed equation transforms tensorially under a Lorentz transformation; the electric field and magnetic field are different components of the same object.

Two independent algebraic electromagnetic field invariants areThe second is a pseudoscalar: it is invariant under proper Lorentz transformations but changes sign under spatial reflection. For perpendicular fields, the sign of the first distinguishes a frame with purely magnetic field from one with purely electric field. Both invariants vanish for a plane electromagnetic wave with $\mathbf{E}\perp \mathbf{B}$ and $E=cB$, although the field itself is nonzero.

Use Cartesian coordinates $x^a=(t,x,y,z)$ with $c=1$ and ${\eta }_{ab}=\mathrm{diag}(1,-1,-1,-1)$. Spatial dot and cross products below use the Euclidean three-metric. The alternating tensor is given the orientation ${ϵ}^{0123}=+1$.

Vector and covector transformation. The vector $A=A^b{\partial }_b$ is independent of coordinates, and the chain rule gives ${\partial }_b=(\partial x^{\prime a}/\partial x^b){\partial }_a^{\prime }$. Likewise the one-form $A_{b}d{x}^b$ is independent of coordinates. Comparing coefficients provesTheir contraction $A_a{B}^a$ is unchanged because the forward and inverse Jacobians cancel. Here lowering an index uses the metric, not an identification of the numerical upper and lower components.

Why antisymmetrization matters. Write $J^c{}_a=\partial x^c/\partial x^{\prime a}$. Differentiating the covector law givesThe last term obstructs the general tensor transformation law. It is symmetric in $a,b$, so it cancels from ${\partial }_a^{\prime }{A}_b^{\prime }-{\partial }_b^{\prime }{A}_a^{\prime }$. ThereforeEquivalently $F=dA$ is the exterior derivative of the electromagnetic four-potential one-form. The statement that ${\partial }_a{A}_b$ is not a tensor needs a qualification: under affine Cartesian Lorentz transformations it does transform tensorially, because the second derivatives vanish. The failure concerns arbitrary nonlinear coordinate changes, including curvilinear coordinates in flat spacetime. This distinction is precisely the difference between general covariance and covariance under the restricted inertial-frame transformations.^[ref]

Electric and magnetic components. Choose $A^a=(\Phi ,\mathbf{A})$, so $A_a=(\Phi ,-\mathbf{A})$, $\mathbf{E}=-\nabla \Phi -{\partial }_t\mathbf{A}$ and $\mathbf{B}=\nabla \times \mathbf{A}$. ThenThus the lower-index field tensor isThis is a derived component representation of the field, with the source's sign convention.

Raised indices and the first invariant. Raising both indices changes the time-space signs and leaves the spatial block unchanged:In the scalar contraction, each independent antisymmetric pair is counted twice, givingUnder a Lorentz transformation each inverse transformation from a lower index cancels its matching transformation from an upper index, leaving the same scalar. In particular a plane electromagnetic wave has $E=B$ in these units and makes this invariant vanish, while a pure electric field makes it negative.

The printed dual convention. The PDF explicitly defines ${}^{\ast }{F}^{ab}={ϵ}^{abcd}{F}_{cd}$, with no $1/2$. Each independent pair therefore contributes twice: for example ${}^{\ast }{F}^{01}=F_{23}-F_{32}=-2B_x$. The complete result isThe time-space pairs contribute $-4\mathbf{E}\cdot \mathbf{B}$ and the spatial pairs contribute another $-4\mathbf{E}\cdot \mathbf{B}$. The conventional Hodge dual includes $1/2$ and would instead give the contraction $-4\mathbf{E}\cdot \mathbf{B}$; it must not silently replace this paper's definition. With fixed orientation the latter contraction is a pseudoscalar: invariant under proper Lorentz transformations but odd under orientation reversal if compared using a fixed alternating symbol.

Energy density and flux. Substitution into the given mixed stress-energy tensor yieldsFor the first formula, $F^{0c}{F}_{0c}=-E^2$ and $F_{cd}{F}^{cd}/4=(B^2-E^2)/2$. For the second, $F^{0j}{F}_{ij}=(\mathbf{E}\times \mathbf{B}{)}_i$. The minus sign on $T^0{}_i$ arises from its lowered spatial index; it does not reverse the physical energy flow. Raising that index gives $T^{0i}=S_i$, and symmetry gives $T^{i0}=S_i$, with $\mathbf{S}=\mathbf{E}\times \mathbf{B}/{\mu }_0$ the Poynting vector in $c=1$ units. Thus $T^{00}$ is energy density and $T^{i0}$ represents energy flux. In SI coordinates $x^0=ct$, restore $T^{0i}=S_i/c$ and $T^{00}=({ϵ}_0{E}_{\mathrm{SI}}^2+B^2/{\mu }_0)/2$, with ${ϵ}_0{\mu }_0{c}^2=1$. This keeps the mixed-index signs and the units distinct.

Denote the parent rest mass by $M$, the daughter rest masses by $m_i$, and their total energies in any inertial frame by $E_{\mathrm{before}}$ and $E_{\mathrm{after}}$. For an isolated disintegration with all products included, energy conservation gives $E_{\mathrm{after}}=E_{\mathrm{before}}$. The corresponding kinetic energies are $K_{\mathrm{before}}=E_{\mathrm{before}}-M{c}^2$ and $K_{\mathrm{after}}=E_{\mathrm{after}}-{\sum }_i{m}_i{c}^2$. ConsequentlyEvery mass on the right is a rest mass, hence invariant under a Lorentz transformation. This proves the kinetic energy released by relativistic decay is frame independent even though either total kinetic energy separately is not. In the parent rest frame the initial kinetic energy vanishes and the final kinetic energy equals the energy associated with this mass defect. External energy input or omission of radiation would invalidate the energy-cancellation step; if photons are products, include their energies with zero rest-mass subtraction.

Use signature $(+---)$, coordinates $x^0=ct$ and four-velocity $u^{\mu }=d{x}^{\mu }/d\tau$ normalized by $u_{\mu }{u}^{\mu }=c^2$. The derivative is the metric-compatible Levi-Civita connection. Fix the curvature sign by $[{\nabla }_{\alpha },{\nabla }_{\beta }]V^{\mu }=R^{\mu }{}_{\nu \alpha \beta }{V}^{\nu }$. Then the required contractions areWith $G^{\mu \nu }=R^{\mu \nu }-g^{\mu \nu }R/2$, the contracted Bianchi identity gives ${\nabla }_{\mu }{G}^{\mu \nu }=0$. The Einstein field equations $G^{\mu \nu }+\Lambda g^{\mu \nu }=(8\pi G/c^4)T^{\mu \nu }$, with constant $\Lambda$, therefore require covariant conservation of stress-energy. This is a consistency relation between geometry and the total matter/field source. It does not mean ${\partial }_{\mu }{T}^{\mu \nu }=0$ in arbitrary coordinates, nor guarantee a global conserved energy in an arbitrary curved spacetime. The geometric identity alone, without the field equations or matter dynamics, is not an equation of motion for a freely specified material source.

For relativistic dust, $\rho$ is proper rest-mass density, measured in the fluid rest frame, and $u^{\mu }$ is its timelike four-velocity with the $c^2$ normalization above. In a local Cartesian inertial frame $u^{\mu }=\gamma (c,\mathbf{v})$, soAccordingly $T^{0i}/c$ is momentum density and $c{T}^{0i}$ is energy flux in direction $i$. The equality of momentum-density and energy-flux components after the appropriate factors of $c$ reflects the symmetry of the stress-energy tensor. In the comoving frame the spatial stress is zero, as required for pressureless matter.