Einstein Field Equations

Research Depth 116 in the knowledge graph I know this Set as goal
Unlocks 18 downstream topics
einstein-equations field-equations gravity spacetime-curvature matter-geometry-coupling

Core Idea

The Einstein field equations G_μν + Λg_μν = (8πG/c⁴) T_μν are the fundamental dynamical equations of general relativity, relating the curvature of spacetime (left side) to the distribution of matter and energy (right side). The Einstein tensor G_μν = R_μν - (1/2)g_μν R encodes the curvature, T_μν is the stress-energy tensor of matter and radiation, Λ is the cosmological constant, and 8πG/c⁴ is the coupling constant fixed by requiring consistency with Newtonian gravity in the weak-field limit. These are 10 coupled, nonlinear, second-order partial differential equations for the metric tensor g_μν. They embody Wheeler's summary: "Spacetime tells matter how to move; matter tells spacetime how to curve." The contracted Bianchi identity ∇^μ G_μν = 0 ensures automatic consistency with local energy-momentum conservation ∇^μ T_μν = 0.

Explainer

Einstein's field equations are the culmination of the mathematical framework developed in the preceding topics. On the left side sits the Einstein tensor G_μν = R_μν - (1/2)g_μν R, a symmetric, divergence-free (0,2) tensor constructed from the metric and its first and second derivatives. On the right side sits the stress-energy tensor T_μν, which encodes the energy density, momentum density, and stress of all non-gravitational matter and fields. The equation G_μν = (8πG/c⁴)T_μν states that the curvature of spacetime at each point is determined by the matter and energy at that point. The cosmological constant term Λg_μν, if included, acts as a uniform energy density of empty space.

The coupling constant 8πG/c⁴ is not arbitrary — it is uniquely fixed by demanding that the equations reproduce Newtonian gravity in the appropriate limit. For a static, weak gravitational field produced by a non-relativistic matter distribution with density ρ, the 00-component of the field equations reduces to ∇²Φ = 4πGρ, the Poisson equation of Newtonian gravity. The factor of 8π (rather than 4π or some other multiple) arises from the specific way the Ricci tensor relates to the Laplacian of the metric perturbation in this limit.

The equations are nonlinear in the metric, which is physically significant. In electromagnetism, Maxwell's equations in vacuum are linear: electromagnetic fields can be superposed and do not self-interact (photons do not scatter off each other at the classical level). In GR, the gravitational field carries energy, and energy sources gravity, so the field equations are nonlinear — gravity gravitates. Two gravitational waves passing through each other do interact, though typically weakly. This nonlinearity makes the equations enormously difficult to solve: only a handful of exact solutions are known (Schwarzschild, Kerr, Friedmann-Robertson-Walker, and a few others), and most practical problems require either perturbation theory or numerical relativity.

The contracted Bianchi identity ∇^μ G_μν = 0 is a mathematical identity — it holds for any metric, regardless of whether the Einstein equations are satisfied. When the field equations are imposed, it immediately implies ∇^μ T_μν = 0: local conservation of energy and momentum. This is not an additional assumption but a consequence of the geometric structure. It also means that only 6 of the 10 field equations are truly independent as evolution equations; the other 4 are constraints that must hold on an initial time-slice and are then automatically preserved by the evolution. These 4 constraint equations correspond exactly to the 4 degrees of coordinate freedom (diffeomorphism invariance) in choosing spacetime coordinates. The physical content of the gravitational field — its two propagating degrees of freedom — emerges only after this gauge freedom is accounted for.

The Einstein equations can also be derived from an action principle. The Einstein-Hilbert action S = (c⁴/16πG)∫R√(-g) d⁴x, when varied with respect to the inverse metric g^{μν}, yields the vacuum field equations G_μν = 0. Adding a matter action S_matter and varying the total action gives the full field equations with T_μν defined as the variational derivative of S_matter with respect to g^{μν}. This Lagrangian formulation connects GR to the broader framework of classical field theory and is the starting point for attempts to quantize gravity.

Practice Questions 4 questions

Prerequisite Chain

Counting to 10Counting to 20Understanding ZeroThe Number ZeroCounting to FiveOne-to-One CorrespondenceCombining Small Groups Within 5Addition Within 10Addition Within 20Two-Digit Addition Without RegroupingTwo-Digit Addition with RegroupingAddition Within 100Repeated Addition as MultiplicationMultiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Two-Digit by One-Digit DivisionDivision with RemaindersRemainders and Quotients in DivisionDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueReading and Writing DecimalsComparing and Ordering DecimalsAdding and Subtracting DecimalsMultiplying DecimalsDividing DecimalsDividing FractionsMixed Number ArithmeticOrder of OperationsInteger Order of OperationsVariable ExpressionsCombining Like TermsOne-Step EquationsTwo-Step EquationsSolving Multi-Step EquationsEquations with Variables on Both SidesAngle Pairs: Complementary, Supplementary, and VerticalParallel Lines and TransversalsCorresponding AnglesAlternate Interior AnglesTriangle Angle Sum TheoremExterior Angle TheoremTriangle Inequality TheoremSimilar Triangles: AA SimilaritySimilar Triangles: SSS and SAS SimilarityProportions in Similar TrianglesRight Triangle Trigonometry IntroductionTrigonometric Ratios ReviewRadian MeasureConverting Between Degrees and RadiansThe Unit CircleGraphing Sine and CosineGraphing Tangent and Reciprocal Trigonometric FunctionsDerivatives of Trigonometric FunctionsAntiderivativesIterated Integrals and Fubini's TheoremDouble Integrals in Cartesian CoordinatesDouble Integrals over Rectangular RegionsDouble Integrals in Polar CoordinatesDouble Integrals: Definition and SetupIterated Integrals and Fubini's TheoremDouble Integrals over Rectangular RegionsDouble Integrals over General RegionsApplications of Double Integrals: Area, Mass, and MomentsTriple Integrals in Cartesian CoordinatesTriple Integrals in Cylindrical and Spherical CoordinatesChange of Variables and the Jacobian DeterminantApplications of Triple Integrals: Volume and MassVector Fields and Their RepresentationsLine Integrals of Vector FieldsGreen's TheoremSurface Integrals and Flux of Vector FieldsSurface Integrals and Flux of Vector FieldsDivergence Theorem: Flux and OutflowDivergence TheoremElectric FluxGauss's LawConductors in Electrostatic EquilibriumCapacitance and CapacitorsDielectricsDielectric Constant and Relative PermittivityElectric Field Inside Dielectric MaterialsDielectric Materials and PolarizationDielectric Susceptibility and PermittivityEnergy Density in Electric FieldsElectric Current and Current DensityElectrical Resistance and ResistivityOhm's Law and Circuit ElementsElectromotive Force (EMF) and BatteriesKirchhoff's Circuit Laws: Voltage and CurrentDC Circuit Network Analysis MethodsTransient Response in RC CircuitsRC CircuitsLC and RLC CircuitsAC Circuits: FundamentalsImpedance and ReactanceAC Power and ResonanceElectromagnetic WavesPostulates of Special RelativitySpacetime Diagrams and Minkowski GeometryCurved Spacetime and the Metric TensorTensor Calculus in General RelativityChristoffel SymbolsThe Riemann Curvature TensorRicci Tensor and Scalar CurvatureEinstein Field Equations

Longest path: 117 steps · 670 total prerequisite topics

Prerequisites (2)

Leads To (8)