The Geodesic Equation

Research Depth 114 in the knowledge graph I know this Set as goal
Unlocks 12 downstream topics
geodesics free-fall proper-time equations-of-motion variational-principle

Core Idea

The geodesic equation d²x^μ/dτ² + Γ^μ_{αβ}(dx^α/dτ)(dx^β/dτ) = 0 describes the motion of a freely falling particle in curved spacetime — the GR generalization of Newton's first law. Geodesics extremize the proper time between two events (for timelike paths) or equivalently extremize the spacetime interval. They are the straightest possible curves in a curved geometry: the four-velocity is parallel-transported along itself. For massive particles the affine parameter is proper time τ; for photons (null geodesics, ds² = 0) a different affine parameter is used. The geodesic equation encodes the complete gravitational dynamics of test particles without reference to forces — gravity is simply the curvature of the spacetime through which particles travel along their natural paths.

Explainer

Newton's first law says that a free particle — one with no forces acting on it — moves in a straight line at constant speed. In curved spacetime, the concept of "straight line" must be generalized. A geodesic is the closest analog: it is the curve along which the tangent vector is parallel-transported along itself, meaning the direction of motion does not change relative to the local geometry. The geodesic equation d²x^μ/dτ² + Γ^μ_{αβ}(dx^α/dτ)(dx^β/dτ) = 0 makes this precise. The first term is the coordinate acceleration; the second term, involving the Christoffel symbols, corrects for the fact that coordinates themselves may be curved or non-inertial. A freely falling particle has zero covariant acceleration — its four-velocity is covariantly constant along its worldline.

The geodesic equation can be derived from a variational principle: among all timelike paths connecting two events, the geodesic is the one that extremizes the proper time ∫dτ. In Lorentzian geometry, this extremum is a maximum — the freely falling path between two events records more proper time than any nearby accelerated path. This is the general-relativistic version of the twin paradox: the twin who remains in free fall ages more than the twin who accelerates. The Euler-Lagrange equations applied to the proper-time action yield the geodesic equation, with the Christoffel symbols emerging naturally from the derivatives of the metric. In practice, it is often easier to extremize the squared interval ∫g_μν(dx^μ/dλ)(dx^ν/dλ) dλ, which avoids the square root and automatically enforces affine parameterization.

For null geodesics — the paths of massless particles like photons — the proper time along the path is identically zero (ds² = 0), so τ cannot serve as the curve parameter. Instead, an affine parameter λ is used, and the geodesic equation takes the identical form with τ replaced by λ. Null geodesics determine the causal structure of spacetime: they are the boundaries of light cones, and they define which events can communicate with which others. The bending of light by gravity, the formation of black hole shadows, and gravitational lensing are all consequences of null geodesics in curved spacetime.

In the Newtonian limit — weak gravitational field, speeds much less than c — the geodesic equation reduces to Newton's second law for gravity. The dominant Christoffel symbol Γ^i_{00} becomes proportional to the gradient of the Newtonian potential Φ, and the spatial geodesic equation becomes d²x^i/dt² = -∂Φ/∂x^i. Planetary orbits, the trajectory of a thrown ball, and the motion of satellites are all geodesics of the weakly curved spacetime around the Earth or Sun. The geodesic equation thus unifies free-fall motion across all regimes: from everyday gravity to the extreme curvature near black holes, from massive particles to massless photons.

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 Geodesic Equation

Longest path: 115 steps · 667 total prerequisite topics

Prerequisites (3)

Leads To (4)