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 . The line element is:
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:
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:
This tensor satisfies several important symmetries:
Ricci Tensor and Scalar
By contracting the Riemann tensor, we obtain the Ricci tensor:
Further contraction gives the Ricci scalar:
The Action Principle
Einstein-Hilbert Action
The dynamics of spacetime are determined by the Einstein-Hilbert action:
where:
- is the speed of light
- is Newton's gravitational constant
- is the determinant of the metric
- is the Ricci scalar
Matter Action
Matter fields contribute their own action:
where is the matter Lagrangian density.
Total Action
The total action is:
Deriving the Field Equations
Variation of the Action
To find the equations of motion, we vary the total action with respect to the metric:
Variation of the Einstein-Hilbert Action
The variation of the Einstein-Hilbert action involves several steps:
-
Variation of the determinant:
-
Variation of the Ricci scalar:
-
The second term is a total derivative:
This total derivative vanishes when integrated (assuming appropriate boundary conditions).
The Result
After careful calculation, the variation of the Einstein-Hilbert action yields:
Energy-Momentum Tensor
The variation of the matter action defines the energy-momentum tensor:
where:
Einstein's Field Equations
Setting and requiring this to hold for arbitrary variations , we obtain:
These are Einstein's field equations in their standard form.
Alternative Forms
-
Trace-reversed form: Taking the trace: where
This gives:
Substituting back:
-
With cosmological constant: Including a cosmological constant :
Key Properties
Conservation Laws
The Bianchi identity ensures:
This represents the conservation of energy and momentum.
Newtonian Limit
In the weak field limit with slow motion:
- where is the Newtonian potential
- (spatial components)
- (mass density)
The field equations reduce to Poisson's equation:
Geometric Interpretation
Einstein's equations can be written compactly as:
where 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:
- The principle of general covariance
- The requirement that the field equations be second-order
- 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.