Hello! Welcome back to our study of the mathematical foundations of General Relativity.
In our previous lesson, we introduced the concept of parallel transport, which provides a rigorous way to "move" a vector along a curve on a manifold while keeping it as "straight" as possible. We concluded by defining a special type of curve, a geodesic, as one that parallel transports its own tangent vector. This led us to the geodesic equation:
Today, we will solidify our understanding of this crucial equation. Our learning outcome is to derive the geodesic equation as the curve of zero acceleration. We will accomplish this from two powerful and complementary perspectives:
- First, we will formally define the four-acceleration vector in curved spacetime and show that the geodesic equation is precisely the statement that this acceleration is zero. This perspective establishes geodesics as the generalization of "straight lines" for freely-falling bodies.
- Second, we will re-derive the geodesic equation from a variational principle, akin to the Principle of Least Action in classical mechanics. This will connect directly to your background in Lagrangian dynamics and reveal that geodesics are also paths of extremal proper time.
Let's begin by defining acceleration in a covariant way.
1. Four-Acceleration in Curved Spacetime
In special relativity, in an inertial frame, the four-acceleration is simply the derivative of the four-velocity with respect to proper time, . However, as we've seen, ordinary derivatives of vector components are not tensor components in a general coordinate system. To get a valid tensor expression for acceleration that holds in any coordinate system on a curved manifold, we must replace the ordinary derivative with the covariant derivative.
We define the four-acceleration vector as the covariant derivative of the four-velocity vector field along its own worldline:
This definition is fundamental. An observer carrying an accelerometer measures . If the accelerometer reads zero, the observer is in free-fall, following a path dictated purely by the geometry of spacetime.
Let's see this definition expanded out in coordinates. The following video provides a clear and rigorous breakdown.
9. Acceleration and Geodesics (General Relativity)
The channel 'Physics Unsimplified' offers a clear derivation of the components of the four-acceleration vector. This will show you precisely how the 'naive' second derivative is corrected by a term involving the Christoffel symbols.
Please watch from the beginning to 05:45. The video defines the acceleration vector as the covariant derivative of the velocity vector along the worldline and expands this definition into its components, clearly showing the role of the Christoffel symbols.
As the video demonstrates, expanding the covariant definition gives us the components of the acceleration vector:
The first term is the familiar coordinate acceleration, while the second term, involving the connection, accounts for the effects of spacetime curvature and the choice of a non-inertial coordinate system.
2. Geodesics as Paths of Zero Acceleration
With the four-acceleration defined, we can now state the physical principle that determines the motion of free particles. The Equivalence Principle tells us that an observer in a small, freely-falling reference frame will not feel any gravitational forces. Within this local frame, the laws of physics are those of Special Relativity.
A free test particle (one with no non-gravitational forces acting on it) will, according to an observer in this freely-falling frame, move in a straight line at a constant velocity. This means its four-acceleration is zero. Since is a tensor equation, if it holds in one coordinate system (the local inertial frame), it must hold in all coordinate systems.
Therefore, the equation of motion for a freely-falling particle in any gravitational field is simply:
This leads directly to the geodesic equation:
This equation is the mathematical embodiment of a "straightest possible line" in curved spacetime—a path of zero covariant acceleration.
The next video provides a superb physical motivation for this, starting from the idea of parallel transporting the tangent vector.
Prof. Scott Hughes from MIT OpenCourseWare explains how the motion of a test body in a freely-falling frame leads directly to the geodesic equation, framing it as the condition of parallel transporting the tangent vector.
Please watch from 45:17 to 55:43. This segment first establishes the physical setup of a test body in a freely falling frame and then makes the connection that its 'straight line' motion corresponds to parallel-transporting its own tangent vector, rigorously deriving the geodesic equation.
For a formal, written summary of this derivation, you can refer to the following resources:
- The notes "GRG I, part 3" by Norman Gray (
ID: [LINK](https://www.astro.gla.ac.uk/users/norman/lectures/GR/part3-usletter.pdf)), Section 4, "Geodesics" (up to Eq. 3.37). - The MIT notes "Parallel transport and geodesics" (
ID: [LINK](https://dspace.mit.edu/bitstream/handle/1721.1/36859/8-962Spring2002/NR/rdonlyres/Physics/8-962Spring2002/940ABFC4-1A26-483C-992A-DDCD48D1F272/0/gr2_2.pdf)), Section 3.3, "Geodesics."
3. The Affine Parameter
In our derivation, we used proper time as the parameter along the curve. This is a natural choice for massive particles (timelike geodesics). But what about light rays (null geodesics), for which ?
The geodesic equation holds its simple form only when parameterized by a special class of parameters called affine parameters.
- An affine parameter is one for which the geodesic equation takes the form .
- If is an affine parameter, then any linear transformation (where are constants) also produces an affine parameter. This corresponds to changing the zero point and the scale of your "clock."
For timelike geodesics, proper time is an affine parameter. For null geodesics, we must use a different affine parameter, which can be thought of as tracking the progress of the light ray.
The concept of an affine parameter is crucial for actually solving the geodesic equation. The following video segment clarifies its meaning.
Let's return to the MIT OCW video, where Prof. Hughes explains the meaning of the affine parameter and why non-affine parameterizations complicate the geodesic equation.
Please watch from 58:51 to 01:06:59. Focus on the distinction between an affine parameterization (where the right-hand side of the geodesic equation is zero) and a non-affine one. Note the physical interpretation of an affine parameter as corresponding to uniformly spaced 'tick marks' along the worldline.
Test your understanding!
Imagine you have solved the geodesic equation for a particle using its proper time as the affine parameter, finding the trajectory . Now, a colleague decides to reparameterize the path using a new parameter . Will the new path description satisfy the standard geodesic equation with respect to ? Why or why not?
Show answer
No, it will not. The new parameter is a non-linear transformation of the original affine parameter . Therefore, is not an affine parameter. When the geodesic equation is written in terms of , the chain rule will produce extra terms, and the equation will no longer have the simple form with zero on the right-hand side. The physical path in spacetime is the same, but its mathematical description relative to the new, non-uniform parameterization is more complex.
4. Derivation from a Variational Principle
We now turn to a completely different, yet equally powerful, derivation of the geodesic equation. This approach will resonate with your background in classical mechanics, specifically the use of Lagrangians and the principle of stationary action.
In relativity, the path taken by a free particle between two spacetime events (say, P and Q) is the one that extremizes the proper time experienced by the particle. For timelike paths, this turns out to be the path of maximal proper time—a concept known as the "principle of maximal aging."
We can formalize this by defining an "action," , equal to the total proper time along a path:
The quantity inside the integral acts as our Lagrangian, . To find the path that extremizes this action (), we use the Euler-Lagrange equations. This derivation is a beautiful piece of calculus of variations.
The following video walks through this derivation step-by-step. Given your mathematical background, you should find the rigor of this derivation very satisfying.
9. Acceleration and Geodesics (General Relativity)
Here, 'Physics Unsimplified' provides a detailed and meticulous derivation of the geodesic equation by applying the Euler-Lagrange equations to the proper time functional. This is a masterclass in applying variational principles in the context of GR.
Please watch from 33:51 to 50:14. This is a dense segment, so feel free to pause and re-watch parts. 33:51 - 45:10: This part sets up the variational problem and executes the calculus of variations, applying the Euler-Lagrange equation to the proper time Lagrangian. 45:10 - 50:14: The derivation is completed, showing that the result is exactly the geodesic equation we found earlier, provided we choose an affine parameter. The video explicitly connects the final result to the definition of zero acceleration.
The fact that two completely different starting points—the geometric idea of a "straightest line" and the physical principle of "extremal aging"—lead to the exact same equation of motion is a profound statement about the consistency and elegance of General Relativity.
An Advanced Aside: Orthogonality of Velocity and Acceleration
Here's an interesting property that demonstrates the consistency of the formalism. In curved spacetime, the four-velocity and four-acceleration are always orthogonal, i.e., their inner product is zero: .
This is a direct consequence of the fact that the four-velocity is normalized () and that the connection is metric-compatible (). The proof is a nice exercise in index manipulation. If you're curious to see it worked out, the 'Physics Unsimplified' video you just watched provides the full proof.
9. Acceleration and Geodesics (General Relativity)
For those who appreciate the underlying mathematical structure, this optional segment proves that four-velocity and four-acceleration are always orthogonal in curved spacetime.
You can watch from 16:12 to 27:12 for the complete proof. The physical interpretation is that, in the particle's own instantaneous rest frame, the acceleration is purely spatial.
Conclusion
In this lesson, we have thoroughly investigated the geodesic equation, the law of motion in General Relativity.
Key Takeaways:
- The four-acceleration in curved spacetime is defined covariantly as .
- The geodesic equation is the statement of zero four-acceleration, , which describes the worldline of a freely-falling test particle.
- This equation only takes its simple form when the path is parameterized by an affine parameter, such as proper time for massive particles.
- The geodesic equation can also be derived from a variational principle, where a free particle follows the path of extremal proper time between two events.
- The convergence of these two distinct derivations—one geometric, one action-based—highlights the deep internal consistency of the theory.
We have now established how particles move in a given spacetime geometry. But what determines the geometry itself? And how can we quantify "curvature"? In our next lesson, we will finally answer this by defining the Riemann curvature tensor, which arises from considering the path-dependence of parallel transport. This will be the key to understanding how mass and energy curve spacetime.