Relativity

Table of Contents

1. Conventions

We measure the time by the distance light travel in that amount of time. In other word, we take \( c = 1 \).

We also choose the mostly-positive convention, where the Minkowski metric is taken to be: \[ \eta_{\mu\nu} := \begin{bmatrix} -1 & 0 & 0 & 0\\ 0 & 1 & 0 & 0\\ 0 & 0 & 1 & 0\\ 0 & 0 & 0 & 1\\ \end{bmatrix}. \]

2. Rapidity

The hypobolic angle \( w \) for the Lorentz boost.

\[ w = \ln [ \gamma(1+\beta) ] = - \ln [\gamma (1-\beta) ] \]

\[ w = \operatorname{arctanh} \frac{|\mathbf{p}|c}{E} = \frac{1}{2} \ln \frac{E + |\mathbf{p}|c}{E - |\mathbf{p}|c} \]

2.1. Pseudorapidity

Common spatial coordinate, only slightly different from rapidity.

\[ \eta := - \ln \left[ \tan \left( \frac{\theta}{2} \right) \right] \] where \( \theta \) is the angle between particle momentum \( \mathbf{p} \) and the positive direction of the beam axis.

\[ \eta = \operatorname{artanh} \frac{p_{\mathrm{L}}}{|\mathbf{p}|} = \frac{1}{2} \ln \frac{|\mathbf{p}| + p_{\mathrm{L}}}{|\mathbf{p}| - p_{\mathrm{L}}} \] where \( p_{\mathrm{L}} \) is the longitudinal momentum, component of the momentum along the beam axis.

3. Lorentz Transformation

The coordinate of events changes depending on the observers at the same point in spacetime, according to the Lorentz transformation.

4. Lorentz Invariants and Covariants

Scalar and Minkowski metric are Lorentz invariant. While tensors are generally covariant.

4.1. Proper Time

  • Eigenzeit

4.2. 4-Velocity

\[ u^{\mu} := \dv{x^{\mu}}{\tau} \] where \( \tau \) is the proper time along the trajectory.

Due to the Lorentz invariance of the proper time, 4-velocity is a Lorentz invariant vector.

In terms of the observer's time \( t \), the observed 4-velocity \( v^{\mu} \) would be: \[ v^{\mu} = \left(1, \dv{x^{i}}{t}\right). \] and the 4-velocity is given as: \[ u^{\mu} = \dv{x^{\mu}}{\tau} = \dv{x^{\mu}}{t} \dv{t}{\tau} = \gamma v^{\mu}. \]

4.2.1. Properties

\[ u^{\mu}u_{\mu} = -1. \]

4.3. 4-Momentum

\[ p^{\mu} := mu^{\mu} \] where \( m \) is the rest mass.

The time component represent the energy: \[ p^0 = E, \] and the magnitude is given by the rest mass: \[ p^{\mu}p_{\mu} = -m^2. \]

4.3.1. Properties

The energy of particle with momentum \( p^{\mu} \) as measured by an observer \( \mathcal{O} \) moving with velocity \( u^{\mu} \), is the dot product: \[ -p^{\mu}u_{\mu} = E_\mathcal{O}. \]

4.4. 4-Acceleration

\[ a^{\mu} := \dv{u^{\mu}}{\tau} \]

4.4.1. Properties

\[ a^{\mu}u_{\mu} = 0 \] Acceleration is tangent to the hyperboloid because: \[ u^{\mu}u_{\mu} = -1 \] holds always.

4.5. Gradient

Given a spacetime field \( \phi \), the change of \( \phi \) as observed by an observer moving with velocity \( u^{\mu} \): \[ \dv{\phi}{\tau} = u^{\mu} \pdv{\phi}{x^{\mu}}. \]

The derivative is a scalar, and therefore the gradient \( \partial_{\mu}\phi \) is 1-form that maps vector to scalar.

4.6. Number Flux

\[ N^{\mu} := n_0 u^{\mu} \] where \( n_0 \) is the rest number density.

When observed from a moving frame, the density increases by the factor of \( \gamma \) and the flux is given by \( \gamma n_{0}v^i \). This is exactly the Lorentz transformation.

4.6.1. Properties

\[ \partial_{\mu}N^{\mu} = 0. \]

4.7. Metric Tensor

4.8. Levi-Civita Symbol

\( \epsilon_{ijk} \) gives the volume associated with three vectors.

4.9. Energy-Momentum Tensor

  • Stress-Energy Tensor, Stress-Energy-Momentum Tensor

For a dust cloud with rest number density \( n_0 \), \[ T^{\mu\nu} = p^{\mu}n_0u^{\nu}. \] When boosted the energy density \( T^{00} \) increases by the factor of \( \gamma^2 \), once due to boost in \( p^0 \), and once boost in the density \( N^0 \).

For a perfect fluid defined to be

  • no energy flux in rest frame
  • no viscosity ("dry water")
  • isotropic pressure

the energy-momentum tensor is given, in the rest frame, as: \[ T^{\mu\nu} = \begin{bmatrix} \rho & 0 & 0 & 0\\ 0 & p & 0 & 0\\ 0 & 0 & p & 0\\ 0 & 0 & 0 & p\\ \end{bmatrix} \] where \( \phi \) is energy density, and \( p \) is pressure. In a frame of an observer with 4-velocity \( u^{\mu} \), \[ T^{\mu\nu} = \rho u^{\mu}u^{\nu} + p(\eta^{\mu\nu} + u^{\mu}u^{\nu}). \]

For a point particle, we use the delta function \[ T^{\mu\nu}(x) = m \int u^{\mu}u^{\nu} \delta^{(4)}(x - z(\tau))\dd{\tau} \] where \( z(\tau) \) is the 4-vector that describes the trajectory parameterized by the propert time \( \tau \). This can be reduced to \[ T^{\mu\nu}(\vb{x}, \tau) = mu^{\mu}u^{\nu} \frac{\delta^{(3)}(\vb{x} - \vb{z}(\tau))}{u^0} \]

4.9.1. Properties

It is a symmetric tensor: \[ T^{\mu\nu} = T^{\nu\mu}. \] The motivation is the same as symmetric stress

Conservation of Energy and Momentum \[ \partial_{\mu}T^{\mu\nu} = 0. \] Due to symmetric condition \[ \partial_{\nu}T^{\mu\nu} = 0. \] The time component is the energy conservation and spacial components are momentum conservation.

5. Relativistic Doppler Shift

5.1. Longitudinal Doppler Effect

It is the Doppler effect of the moving source in combination with the time dialation: \[ \nu' = \nu \frac{c}{c-v} \frac{1}{\gamma} = \nu\sqrt{\frac{1+\beta}{1-\beta}}. \]

5.2. Transverse Doppler Effect

When the source and receiver are moving tranversely to each other, the time dialation and the longitudinal Doppler effect work in tandom. The exact moment that the longitudinal effect disappears depends on the frame of reference.

The moment at which the source and the receiver is at their closest, the observer sees a blueshifted light \( \gamma \nu \), while at the moment the observer sees the light from the closest point he sees a redshifted light \( \nu/\gamma \).

6. Aberration

  • 광행차

The phenomenon where celestial objects appear to be displaced forward in the observer's direction of motion. When the velocity of the observer change the amount of displacement changes showing an apparent motion.

The explanation is particularly simple in the framework of relativity. Consider a frame in which the celestial object is moving and the observer stays still. The observer would measure the past trace of the object, therefore the position will be displaced in the direction opposite to the motion of the object.

7. Energy

Some energy increases by a factor of \( \gamma \). For example:

  • the two photons moving opposite to each other.
    • which leads to the conclusion that the kinetic energy should be somehow be different.
    • Einstein thought that the mass was subject to change. But apparently it's out of fashion now.

8. Rindler Coordinates

It is the coordinate system of the frame that is accelerating with proper acceleration \( \alpha \).

\begin{align*} t &= \tilde{x}\sinh(\frac{\alpha}{c^2}c\tilde{t}) \\ x &= \tilde{x}\cosh(\frac{\alpha}{c^2}c\tilde{t}) \\ \end{align*}

where \( \tilde{x} \) and \( \tilde{t} \) are the proper length and proper time of the accelerating frame.

Notice the proper time at a point along the constant \( \tilde{x} \) differs from the coordinate time since it accelerates slower:

\begin{equation*} \tau(\tilde{x}, \tilde{t}) = \frac{\tilde{x} \alpha}{c^2}\tilde{t}. \end{equation*}

This is due to the relation between the position and proper acceleration along the gridline:

\begin{equation*} \frac{c\tilde{t}}{D} = \frac{c\tau}{\tilde{x}}. \end{equation*}

9. Stress-Energy-Momentum Tensor

4-momentum flux.

\( T^{\mu\nu} \) is the flux of \( \mu \) component of the 4-momentum along the \( \nu \) direction.

The divergence free condition is imposed on the ground of physics, which encodes the local conservation of energy and momentum.

10. Equivalence Principle

10.1. Weak Equivalence Principle

Over small region of spacetime, the motion of freely falling particles due to gravity cannot be distinguished from uniform acceleration.

10.2. Einstein Equivalence Principle

In sufficiently small regions of spacetime, we can find a representation such that the laws of physics reduce to those of special relativity.

10.3. Strong Equivalence Principle

Gravity falls in a gravitational field in a way indistinguishable from mass.

11. Local Lorentz Frame

For any metric tensor field \( g_{\rho\sigma} \), we can always find linear transformation \( L_{\mu}{}^{\rho} \) that turns the coordinates into locally Lorentz.

We use Taylor expansion on both metric and transformation: \[ \left(L_{\mu}{}^{\rho}(p) + \Delta\tilde{x}^{\tau}\tilde{\partial}_{\tau} L_{\mu}{}^{\rho}(p) + \Delta\tilde{x}^{\tau}\Delta\tilde{x}^{\upsilon}\tilde{\partial}_{\tau} \tilde{\partial}_{\upsilon}L_{\mu}{}^{\rho}(p)+ \cdots \right) \left( g_{\rho\sigma}(p) + \Delta\tilde{x}^{\tau}\tilde{\partial}_{\tau} g_{\rho\sigma} + \Delta\tilde{x}^{\tau}\Delta\tilde{x}^{\upsilon} \tilde{\partial}_{\tau}\tilde{\partial}_{\upsilon}g_{\rho\sigma} + \cdots \right)\left(L_{\mu}{}^{\rho}(p) + \Delta\tilde{x}^{\tau}\tilde{\partial}_{\tau} L_{\mu}{}^{\rho}(p) + \Delta\tilde{x}^{\tau}\Delta\tilde{x}^{\upsilon}\tilde{\partial}_{\tau} \tilde{\partial}_{\upsilon}L_{\mu}{}^{\rho}(p)+ \cdots \right) . \] The expansion is done in local Lorentz frame, and \( \tilde{x}^{\mu} \) is the coordinates of that frame.

The zeroth order term can always be transformed to \( \eta_{\mu\nu} \):

The zeroth order term can always be set to \( \eta_{\mu\nu} \) \[ \eta_{\mu\nu} = L_{\mu}{}^{\rho}(p)\,g_{\rho\sigma}(p)\,L_{\nu}{}^{\sigma}, \] because there is 10 constraints, reduced from 16 to 10 by the symmetry of metric, and 16 degrees of freedom in \( L_{\mu}{}^{\rho} \). The remaining 6 degrees of freedom is precisely the 3 rotations and 3 boosts included in the Lorentz transformations.

The first order term can also always be set to 0, \[ 0 = \Delta\tilde{x}^{\tau} \left( \tilde{\partial}_{\tau}L_{\mu}{}^{\rho}(p)\, g_{\rho\sigma}(p)\,L_{\mu}{}^{\rho}(p) + L_{\mu}{}^{\rho}(p)\, \tilde{\partial}_{\tau}g_{\rho\sigma}(p)\,L_{\mu}{}^{\rho}(p) + L_{\mu}{}^{\rho}(p)\, g_{\rho\sigma}(p)\,\tilde{\partial}_{\tau}L_{\mu}{}^{\rho}(p)\right) \] because we have additional 40 (4×10) constraints from \( \tilde{\partial}_{\tau}g_{\rho\sigma} \), and 40 (10×4) additional degrees of freedom from \( \tilde{\partial}_{\tau}L_{\mu}{}^{\rho} \). Notice \[ \tilde{\partial}_{\tau}L_{\mu}{}^{\rho} = \left( \pdv[2]{x^{\rho}}{\tilde{x}^{\tau}}{\tilde{x}^{\mu} \right) \] and \( \tau \) and \( \mu \) are symmetric indices.

On the second order term, there is 100 (10×10) constraints from \( \tilde{\partial}_{\tau}\tilde{\partial}_{\upsilon}g_{\rho\sigma} \), and 80 (20×4) degrees of freedom from \( \tilde{\partial}_{\tau} \tilde{\partial}_{\upsilon}L_{\mu}{}^{\rho}\). We have 20 degrees of freedom that determines the curvature of spacetime.

12. Einstein Field Equation

\begin{equation*} G_{\mu\nu} - \Lambda g_{\mu\nu} = \frac{8\pi G}{c^4}T_{\mu\nu} \end{equation*}

where \( G_{\mu\nu} \) is the Einstein tensor defined as:

\begin{equation*} R_{\mu\nu} - \frac{1}{2}Rg_{\mu\nu}. \end{equation*}

Einstein tensor is required, to make the divergence zero.

12.1. Derivation

We assume the slow-changing system, and promote the gravitaional Poisson equation into a tensor equation.

Einstein field equation can be derived through the stationary action principle on the Einstein-Hilbert action: \[ S = \int \dd[4]x \sqrt{-g}R. \]

13. References

Author: Jeemin Kim

Created: 2026-07-12 Sun 14:28