Special Theory of Relativity & Spacetime Dynamics

1. Inertial Reference Frames & Galilean Transformations

An inertial reference frame is one in which Newton's First Law holds: a body free from external forces moves with constant rectilinear velocity. In classical Newtonian mechanics, time is absolute and identical for all observers ($t' = t$). If frame $S'$ moves with uniform velocity $v$ along the common $x$-axis relative to frame $S$, the coordinate transformation is given by the Galilean Transformation:

Differentiating with respect to time yields the classical velocity addition rule:

Differentiating once more confirms the invariance of acceleration: $\vec{a}' = \vec{a}$. Because mass $m$ is constant, Newton's Second Law $\vec{F} = m\vec{a}$ is form-invariant (Galilean invariant) under these transformations.

2. The Crisis of Classical Electrodynamics & The Luminiferous Ether

While Newtonian mechanics is Galilean invariant, Maxwell's equations predict that electromagnetic waves propagate through vacuum at a universal speed:

If Galilean relativity applied to light, an observer moving with velocity $v$ toward a light wave would measure its speed as $c + v$, violating Maxwell's wave equation. To reconcile this, 19th-century physicists postulated the existence of a pervasive, stationary, invisible medium termed the Luminiferous Ether, with respect to which light propagated at speed $c$. The Earth's orbital velocity around the Sun ($v \approx 30\,\text{km/s}$) should produce a measurable "ether wind."

3. The Michelson-Morley Experiment & Fringe Shift Derivation

In 1887, Albert Michelson and Edward Morley designed an ultra-sensitive optical interferometer to detect the Earth's velocity $v$ relative to the hypothetical ether.

A beam of monochromatic light of wavelength $\lambda$ is split by a half-silvered mirror into two mutually perpendicular arms of equal length $D$:

• Longitudinal Arm 1 (Parallel to Ether Wind): Light travels downstream with speed $c - v$ and upstream with speed $c + v$. The round-trip time is:
  $$t_1 = \frac{D}{c - v} + \frac{D}{c + v} = \frac{2 D c}{c^2 - v^2} = \frac{2 D}{c} \left( 1 - \frac{v^2}{c^2} \\right)^{-1} \approx \frac{2 D}{c} \left( 1 + \frac{v^2}{c^2} \\right)$$
• Transverse Arm 2 (Perpendicular to Ether Wind): To cross perpendicularly while being swept by the ether wind, the light must follow a diagonal path with effective speed $\sqrt{c^2 - v^2}$. The round-trip time is:
  $$t_2 = \frac{2 D}{\sqrt{c^2 - v^2}} = \frac{2 D}{c} \left( 1 - \frac{v^2}{c^2} \\right)^{-1/2} \approx \frac{2 D}{c} \left( 1 + \frac{1}{2} \frac{v^2}{c^2} \\right)$$

The time difference between the two arms is:

When the entire apparatus is rotated by $90^{\circ}$, the roles of the two arms are interchanged, doubling the optical path difference. The predicted shift in interference fringes is:

For $D = 11\,\text{m}$, $\lambda = 590\,\text{nm}$, and orbital velocity $v = 30\,\text{km/s}$ ($v/c = 10^{-4}$), the predicted fringe shift was $\Delta N \approx 0.37$ fringes. The interferometer had a sensitivity capable of detecting $0.005$ fringes. Yet, the measured shift was consistently zero ($\Delta N < 0.005$) at all times of the year and all orientations!

Physical Consequence: The luminiferous ether does not exist. The speed of light is completely independent of the Earth's motion and the orientation of the observer.

1. Einstein's Two Postulates of Special Relativity (1905)

Albert Einstein resolved the crisis by proposing two fundamental postulates:

1. The Principle of Relativity: The laws of physics are identical and have the same mathematical form in all inertial reference frames. There is no preferred or absolute inertial frame.
2. The Constancy of the Speed of Light: The speed of light in vacuum is an absolute universal constant $c$, having the same value in all inertial reference frames, regardless of the motion of the emitting source or the observing detector.

2. Mathematical Derivation of the Lorentz Transformations

Consider two inertial frames $S$ and $S'$ with axes aligned. Frame $S'$ moves with uniform velocity $v$ along the positive $x$-axis. At $t = t' = 0$, their origins coincide ($O = O'$), and a spherical flash of light is emitted from the origin.

By Postulate 2, the wavefront is spherical in both frames:

Transverse coordinates are unaffected by longitudinal motion: $y' = y$ and $z' = z$. By spacetime homogeneity and isotropy, the transformation between $(x, t)$ and $(x', t')$ must be linear:

By the Principle of Relativity (Postulate 1), the inverse transformation from $S'$ to $S$ must have the exact same functional form, simply reversing the sign of velocity ($v \to -v$):

Substitute $x'$ from the first equation into the second:

Solving for $t'$:

Now substitute $x'$ and $t'$ into the spherical wavefront invariance relation $x'^2 - c^2 t'^2 = x^2 - c^2 t^2$:

Equating coefficients of $x^2$ and $t^2$ yields the exact value for the Lorentz factor $\gamma$:

Substituting $\gamma$ back into the time equation simplifies the coefficient to $-\frac{v}{c^2}$:

3. The Canonical Lorentz Transformation Equations

Transformation ($S \to S'$)	Inverse Transformation ($S' \to S$)
$x' = \gamma (x - v t)$	$x = \gamma (x' + v t')$
$y' = y$	$y = y'$
$z' = z$	$z = z'$
$t' = \gamma \left( t - \frac{v x}{c^2} \\right)$	$t = \gamma \left( t' + \frac{v x'}{c^2} \\right)$

When $v \ll c$, $\beta \to 0$, $\gamma \to 1$, and the term $vx/c^2 \to 0$. The Lorentz transformations reduce precisely to the Galilean transformations, proving Newtonian mechanics is the low-velocity asymptotic limit of special relativity.

1. Relativity of Simultaneity

Consider two events $A$ and $B$ that occur simultaneously at different spatial locations in frame $S$ ($\Delta t = t_B - t_A = 0$, $\Delta x = x_B - x_A \neq 0$). Applying the Lorentz transformation for time:

Fundamental Physical Principle: Events that are simultaneous in one inertial frame are not simultaneous in another frame moving relative to it! Simultaneity is not an absolute property of the physical universe, but strictly observer-dependent.

2. Relativistic Length Contraction (Lorentz-FitzGerald Contraction)

Let a rigid rod lie at rest along the $x'$-axis of frame $S'$. Its proper length $L_0$ (measured in its rest frame) is $L_0 = x_2' - x_1'$.

An observer in frame $S$ measures the length of the moving rod by simultaneously recording the positions of both endpoints at the same instant in their own frame ($t_1 = t_2$, so $\Delta t = 0$). From the Lorentz transformation $x_2' - x_1' = \gamma [ (x_2 - x_1) - v(t_2 - t_1) ]$:

Because $\gamma > 1$ for any non-zero velocity, $L < L_0$. The length of an object measured by an observer moving relative to it is contracted in the direction of motion, while perpendicular dimensions ($y$ and $z$) remain unchanged.

3. Relativistic Time Dilation & The Twin Paradox

Let a clock remain at rest at a fixed position $x'$ in frame $S'$. The time interval between two ticks recorded by this clock at the same spatial point ($\Delta x' = 0$) is the proper time interval $\Delta t_0$.

To an observer in frame $S$ watching this clock move past with velocity $v$, the elapsed time interval is obtained from the inverse Lorentz transformation:

Because $\gamma > 1$, $\Delta t > \Delta t_0$. A moving clock ticks slower than an identical clock at rest. This effect has been confirmed to parts-per-billion precision via the extended lifetimes of high-velocity atmospheric cosmic-ray muons and atomic clocks aboard orbiting GPS satellites.

4. Relativistic Velocity Addition

Let a particle move with velocity $\vec{u}' = (u_x', u_y', u_z')$ relative to frame $S'$. To find its velocity $\vec{u}$ in frame $S$, differentiate the inverse Lorentz transformations:

Notice that if $u_x' = c$ (a beam of light emitted in $S'$):

The speed of light $c$ is an impassable upper velocity limit that cannot be exceeded by adding velocities.

1. Four-Dimensional Spacetime Continuum

Hermann Minkowski (1908) recognized that space and time are interconnected facets of a single four-dimensional geometry: "Henceforth space by itself, and time by itself, are doomed to fade away into mere shadows, and only a kind of union of the two will preserve an independent reality."

An event in spacetime is represented by coordinates $(ct, x, y, z)$. The path traced by an object through spacetime as time elapses is its worldline.

2. The Invariant Spacetime Interval

Just as Euclidean distance $\Delta r^2 = \Delta x^2 + \Delta y^2 + \Delta z^2$ is invariant under spatial rotations, the spacetime interval $\Delta s^2$ between two events is invariant under all Lorentz boosts and rotations:

Using the Minkowski metric tensor $\eta_{\mu\nu} = \text{diag}(+1, -1, -1, -1)$:

3. Classification of Spacetime Separations & The Light Cone

The sign of $\Delta s^2$ partitions all physical relationships into three geometrically distinct regimes:

• Timelike Separation ($\Delta s^2 > 0$): $c^2 \Delta t^2 > \Delta r^2$. A physical particle traveling slower than light ($v < c$) can travel between the two events. A frame can always be found where the two events occur at the same spatial point ($\Delta r' = 0$). Causal cause-and-effect relationships can exist between them.
• Lightlike / Null Separation ($\Delta s^2 = 0$): $c^2 \Delta t^2 = \Delta r^2$. Only massless particles traveling at the speed of light ($v = c$), such as photons, can connect the events. They lie directly on the boundary of the Light Cone.
• Spacelike Separation ($\Delta s^2 < 0$): $\Delta r^2 > c^2 \Delta t^2$. No signal traveling at or below speed $c$ can connect the two events. A frame can always be found where the two events are simultaneous ($\Delta t' = 0$). No causal connection can exist without violating relativity.

The Light Cone centered on an event divides spacetime into:

1. Absolute Future: The interior of the upper forward cone ($t > 0, \Delta s^2 > 0$), containing all events that can be influenced by the present event.
2. Absolute Past: The interior of the lower backward cone ($t < 0, \Delta s^2 > 0$), containing all historical events that could have causally affected the present event.
3. Elsewhere: The exterior region ($\Delta s^2 < 0$), causally disconnected from the present event.

1. Four-Vectors and Proper Time

A four-vector $A^\mu = (A^0, A^1, A^2, A^3) = (A^0, \vec{A})$ transforms under Lorentz transformations in exactly the same way as coordinate differentials $dx^\mu = (c dt, d\vec{x})$.

The proper time $d\tau$ is the invariant differential time measured in the particle's instantaneous rest frame:

The four-velocity $U^\mu$ is defined as the derivative of four-position with respect to proper time:

The invariant scalar product of four-velocity with itself is universally constant:

2. Four-Momentum & Relativistic Energy

The four-momentum $P^\mu$ of a particle with rest mass $m_0$ is defined as:

where the relativistic three-momentum is $\vec{p} = \gamma m_0 \vec{u}$ and total relativistic energy is:

At zero velocity ($u = 0, \gamma = 1$), the particle possesses an inherent rest energy:

The relativistic kinetic energy $K$ is the difference between total energy and rest energy:

Expanding $\gamma$ in a binomial Taylor series for $u \ll c$:

recovering classical Newtonian kinetic energy $\frac{1}{2} m_0 u^2$ at low speeds.

3. The Fundamental Energy-Momentum Invariant

Evaluating the invariant scalar product of four-momentum with itself:

Multiplying through by $c^2$ gives Einstein's celebrated energy-momentum invariant:

Massless Particles (Photons): For particles with zero rest mass ($m_0 = 0$):

Photons carry real physical momentum despite having zero rest mass, exerting measurable radiation pressure.

1. Covariant Formulation of Electrodynamics

In relativistic four-vector notation, electric and magnetic fields are unifications of a single antisymmetric rank-2 electromagnetic field tensor $F^{\mu\nu}$:

where $A^\mu = (\Phi/c, \vec{A})$ is the electromagnetic four-potential. In this compact tensor notation, all four Maxwell equations collapse into just two manifestly covariant equations:

where $J^\nu = (c\rho, \vec{J})$ is the four-current density.

2. Lorentz Transformation of Electric and Magnetic Fields

Applying the Lorentz tensor transformation $F'^{\mu\nu} = \Lambda^\mu{}_\alpha \Lambda^\nu{}_\beta F^{\alpha\beta}$ for a boost along the $x$-axis with velocity $v$ yields:

Physical Revelation: Electricity and magnetism are not independent physical entities. What an observer at rest perceives as a purely electrostatic field $\vec{E}$ will appear to a moving observer as a combination of both an electric field $\vec{E}'$ and a magnetic field $\vec{B}'$. Magnetism is fundamentally a relativistic consequence of electrostatics!