DANIEL MARIN

Deriving Einstein's Field Equations from First Principles

A rigorous mathematical derivation of the Einstein field equations from the principles of General Relativity

5 min read

Einstein's field equations are the cornerstone of General Relativity, describing how matter and energy curve spacetime. In this post, we'll derive these equations from first principles using the principle of least action.

The Foundations

1. Spacetime Metric

In General Relativity, spacetime is described by a 4-dimensional Lorentzian manifold with metric tensor gμνg_{\mu\nu}. The line element is:

ds2=gμνdxμdxνds^2 = g_{\mu\nu} dx^\mu dx^\nu

where we use Einstein summation convention (repeated indices are summed over).

2. The Equivalence Principle

The equivalence principle states that locally, the effects of gravity are indistinguishable from acceleration. This leads us to seek a geometric description of gravity.

Building the Mathematical Framework

Christoffel Symbols

The connection coefficients (Christoffel symbols) describe how vectors change under parallel transport:

Γμνλ=12gλρ(μgνρ+νgμρρgμν)\Gamma^\lambda_{\mu\nu} = \frac{1}{2}g^{\lambda\rho}\left(\partial_\mu g_{\nu\rho} + \partial_\nu g_{\mu\rho} - \partial_\rho g_{\mu\nu}\right)

These symbols are not tensors but transform in a specific way under coordinate transformations.

Riemann Curvature Tensor

The curvature of spacetime is encoded in the Riemann tensor:

R σμνρ=μΓνσρνΓμσρ+ΓμλρΓνσλΓνλρΓμσλR^\rho_{\ \sigma\mu\nu} = \partial_\mu \Gamma^\rho_{\nu\sigma} - \partial_\nu \Gamma^\rho_{\mu\sigma} + \Gamma^\rho_{\mu\lambda}\Gamma^\lambda_{\nu\sigma} - \Gamma^\rho_{\nu\lambda}\Gamma^\lambda_{\mu\sigma}

This tensor satisfies several important symmetries:

  • Rρσμν=RσρμνR_{\rho\sigma\mu\nu} = -R_{\sigma\rho\mu\nu}
  • Rρσμν=RρσνμR_{\rho\sigma\mu\nu} = -R_{\rho\sigma\nu\mu}
  • Rρσμν=RμνρσR_{\rho\sigma\mu\nu} = R_{\mu\nu\rho\sigma}

Ricci Tensor and Scalar

By contracting the Riemann tensor, we obtain the Ricci tensor:

Rμν=R μλνλR_{\mu\nu} = R^\lambda_{\ \mu\lambda\nu}

Further contraction gives the Ricci scalar:

R=gμνRμνR = g^{\mu\nu}R_{\mu\nu}

The Action Principle

Einstein-Hilbert Action

The dynamics of spacetime are determined by the Einstein-Hilbert action:

SEH=c416πGd4xgRS_{EH} = \frac{c^4}{16\pi G} \int d^4x \sqrt{-g} \, R

where:

  • cc is the speed of light
  • GG is Newton's gravitational constant
  • g=det(gμν)g = \det(g_{\mu\nu}) is the determinant of the metric
  • RR is the Ricci scalar

Matter Action

Matter fields contribute their own action:

SM=d4xgLMS_M = \int d^4x \sqrt{-g} \, \mathcal{L}_M

where LM\mathcal{L}_M is the matter Lagrangian density.

Total Action

The total action is:

S=SEH+SMS = S_{EH} + S_M

Deriving the Field Equations

Variation of the Action

To find the equations of motion, we vary the total action with respect to the metric:

δS=δSEH+δSM=0\delta S = \delta S_{EH} + \delta S_M = 0

Variation of the Einstein-Hilbert Action

The variation of the Einstein-Hilbert action involves several steps:

  1. Variation of the determinant:

    δg=12ggμνδgμν\delta \sqrt{-g} = -\frac{1}{2}\sqrt{-g} \, g_{\mu\nu} \delta g^{\mu\nu}
  2. Variation of the Ricci scalar:

    δR=Rμνδgμν+gμνδRμν\delta R = R_{\mu\nu} \delta g^{\mu\nu} + g^{\mu\nu} \delta R_{\mu\nu}
  3. The second term is a total derivative:

    gμνδRμν=λ(gμνδΓμνλgλνδΓρνρ)g^{\mu\nu} \delta R_{\mu\nu} = \nabla_\lambda \left(g^{\mu\nu} \delta \Gamma^\lambda_{\mu\nu} - g^{\lambda\nu} \delta \Gamma^\rho_{\rho\nu}\right)

This total derivative vanishes when integrated (assuming appropriate boundary conditions).

The Result

After careful calculation, the variation of the Einstein-Hilbert action yields:

δSEH=c416πGd4xg(Rμν12gμνR)δgμν\delta S_{EH} = \frac{c^4}{16\pi G} \int d^4x \sqrt{-g} \left(R_{\mu\nu} - \frac{1}{2}g_{\mu\nu}R\right) \delta g^{\mu\nu}

Energy-Momentum Tensor

The variation of the matter action defines the energy-momentum tensor:

δSM=12d4xgTμνδgμν\delta S_M = -\frac{1}{2} \int d^4x \sqrt{-g} \, T_{\mu\nu} \delta g^{\mu\nu}

where:

Tμν=2gδ(gLM)δgμνT_{\mu\nu} = -\frac{2}{\sqrt{-g}} \frac{\delta(\sqrt{-g}\mathcal{L}_M)}{\delta g^{\mu\nu}}

Einstein's Field Equations

Setting δS=0\delta S = 0 and requiring this to hold for arbitrary variations δgμν\delta g^{\mu\nu}, we obtain:

Rμν12gμνR=8πGc4TμνR_{\mu\nu} - \frac{1}{2}g_{\mu\nu}R = \frac{8\pi G}{c^4} T_{\mu\nu}

These are Einstein's field equations in their standard form.

Alternative Forms

  1. Trace-reversed form: Taking the trace: R2R=8πGc4TR - 2R = \frac{8\pi G}{c^4} T where T=gμνTμνT = g^{\mu\nu}T_{\mu\nu}

    This gives: R=8πGc4TR = -\frac{8\pi G}{c^4} T

    Substituting back:

    Rμν=8πGc4(Tμν12gμνT)R_{\mu\nu} = \frac{8\pi G}{c^4} \left(T_{\mu\nu} - \frac{1}{2}g_{\mu\nu}T\right)
  2. With cosmological constant: Including a cosmological constant Λ\Lambda:

    Rμν12gμνR+Λgμν=8πGc4TμνR_{\mu\nu} - \frac{1}{2}g_{\mu\nu}R + \Lambda g_{\mu\nu} = \frac{8\pi G}{c^4} T_{\mu\nu}

Key Properties

Conservation Laws

The Bianchi identity μRμν=12νR\nabla^\mu R_{\mu\nu} = \frac{1}{2}\nabla_\nu R ensures:

μTμν=0\nabla^\mu T_{\mu\nu} = 0

This represents the conservation of energy and momentum.

Newtonian Limit

In the weak field limit with slow motion:

  • g00(1+2Φ/c2)g_{00} \approx -(1 + 2\Phi/c^2) where Φ\Phi is the Newtonian potential
  • gijδijg_{ij} \approx \delta_{ij} (spatial components)
  • T00ρc2T_{00} \approx \rho c^2 (mass density)

The field equations reduce to Poisson's equation:

2Φ=4πGρ\nabla^2 \Phi = 4\pi G \rho

Geometric Interpretation

Einstein's equations can be written compactly as:

Gμν=8πGc4TμνG_{\mu\nu} = \frac{8\pi G}{c^4} T_{\mu\nu}

where Gμν=Rμν12gμνRG_{\mu\nu} = R_{\mu\nu} - \frac{1}{2}g_{\mu\nu}R is the Einstein tensor.

This equation states:

Geometry (left side) = Energy-Momentum (right side)

The curvature of spacetime at a point is directly proportional to the energy and momentum content at that point.

Conclusion

Einstein's field equations emerge naturally from:

  1. The principle of general covariance
  2. The requirement that the field equations be second-order
  3. The principle of least action applied to the Einstein-Hilbert action

These equations have been tested to extraordinary precision and form the foundation for our understanding of:

  • Black holes
  • Gravitational waves
  • Cosmology
  • GPS satellites (requiring relativistic corrections)

The derivation shows how profound physical insights can emerge from elegant mathematical principles.