Hello! Welcome back to your detailed study of General Relativity.
In our last lesson, we took a deep dive into the Schwarzschild metric, our first non-trivial solution to the Einstein Field Equations. We carefully distinguished the true physical singularity at from the coordinate singularity at the event horizon, . By transforming to Eddington-Finkelstein coordinates, we confirmed that the horizon is a smooth, one-way membrane—a point of no return. We have successfully mapped the causal arena of a non-rotating black hole.
Today, we populate this arena with actors. Our learning outcome is to analyze null and timelike geodesics in the Schwarzschild metric to describe particle orbits and light rays. We will derive the equations of motion that govern how matter and light move through this curved spacetime. Your background in Lagrangian mechanics will be particularly useful here, as we will use a similar variational approach to find the equations of motion and uncover conserved quantities.
1. The Geodesic Equation as an Optimization Problem
Recall from our study of differential geometry that a geodesic is a curve whose tangent vector is parallel-transported along itself (). For the Levi-Civita connection, this is also the curve that extremizes the proper time (for massive particles) or an affine parameter (for massless particles) between two points. This allows us to use the calculus of variations, which is the foundation of Lagrangian mechanics.
The Lagrangian for a particle moving in a spacetime with metric is:
where the dot denotes differentiation with respect to an affine parameter (which can be proper time for massive particles). The Euler-Lagrange equations, , give us the geodesic equations.
For the Schwarzschild metric, the Lagrangian is:
(We're using units where , so .)
Also, the quantity is itself a constant of the motion. Its value normalizes the 4-velocity:
- For massive particles (timelike geodesics):
- For massless particles (null geodesics):
2. Conserved Quantities and the Radial Equation
Instead of grinding through all the Euler-Lagrange equations, we can use symmetries, just as in classical mechanics. The Schwarzschild metric is independent of the coordinates and . This corresponds to spacetime symmetries: time translation invariance and axial (rotational) symmetry. By Noether's theorem, these symmetries imply conserved quantities.
The conserved quantity associated with a coordinate is the conjugate momentum, .
-
Energy: The metric is independent of .
We define the conserved energy per unit mass, . -
Angular Momentum: The metric is independent of .
We define the conserved angular momentum per unit mass, .
Due to the spherical symmetry, any geodesic that starts in the equatorial plane () will remain there. We can therefore simplify our analysis, without loss of generality, by setting and . This gives .
Now, we substitute these conserved quantities into the normalization condition , where for massive particles and for photons.
Substitute and :
Multiplying by and rearranging for gives us the master radial equation of motion:
This single equation, with the particle's energy () and angular momentum () as parameters, contains a vast amount of physics. We can analyze it by treating the second term as an effective potential.
The following reading develops this idea by analyzing the right-hand side as a polynomial in , which is a very powerful and elegant way to classify all possible orbits.
Lecture XVII: Geodesics in the Schwarzschild geometry
The following lecture notes from 'Geodesics in the Schwarzschild geometry' by Christopher Hirata provide a clear and systematic analysis of this radial equation. We will focus on the setup and the analysis of timelike geodesics first.
Please read sections II ('THE BASICS, AND THE RADIAL EQUATION') and III ('CLASSIFICATION OF THE TURNING POINTS'). Focus on how the radial equation is derived and how analyzing the roots of the polynomial P(x) (Equation 5 in the text) allows for a classification of different orbit types. A turning point occurs where \dot{r}=0, i.e., where P(x)=0.
3. Timelike Geodesics: Orbits of Massive Particles
Let's set for massive particles. The radial equation becomes:
We can define an effective potential such that . Expanding the term above gives:
This looks very familiar!
- : The Newtonian gravitational potential.
- : The classical centrifugal barrier that prevents a particle with angular momentum from falling straight in.
- : A new, purely relativistic term. It's an attractive force that dominates at small radii and fundamentally changes the nature of orbits close to the central mass.
By plotting for a fixed , we can visualize the possible orbits for a particle with energy .
A sketch of the effective potential for massive particles for a sufficiently large angular momentum. The horizontal lines represent different energy levels .
Circular Orbits and Stability
Circular orbits are possible at radii where the effective force is zero, i.e., at the extrema of the potential where . The stability of these orbits depends on the second derivative:
- Stable circular orbits: Occur at minima of (). A small perturbation will cause the particle to oscillate around the stable radius.
- Unstable circular orbits: Occur at maxima of (). A small perturbation will cause the particle to either spiral inwards or escape outwards.
As the angular momentum decreases, the maximum and minimum of the potential move closer together. At a critical value of , they merge at an inflection point. For any below this value, the potential has no local extrema, meaning no stable circular orbits are possible.
This leads to one of the most important predictions of General Relativity:
The Innermost Stable Circular Orbit (ISCO)
There is a minimum radius at which a massive particle can have a stable circular orbit. Inside this radius, all circular orbits are unstable. This radius is the ISCO.
Lecture XVII: Geodesics in the Schwarzschild geometry
Let's return to Hirata's notes to see a formal derivation of the ISCO radius and its properties.
Please read section IV.A ('The sequence of orbits'). Pay attention to how the condition for a circular orbit (a repeated root of P(x)) is used to find the radius where the stability changes, leading to the ISCO. Note the result: r_{ISCO} = 6M.
As derived in the notes, the ISCO is located at:
This has profound astrophysical implications. For matter in an accretion disk spiraling into a black hole, the inner edge of the disk is typically located at the ISCO. Inside this radius, particles can no longer maintain a stable orbit and will quickly plunge into the black hole, releasing a final burst of energy.
4. Null Geodesics: The Path of Light
Now let's analyze the motion of massless particles like photons by setting . The radial equation simplifies to:
It is convenient to define the impact parameter, . For a photon coming from infinity, represents the perpendicular distance between the initial path and the central mass. Dividing by , we get:
The turning points of a photon's trajectory occur where , which gives the condition:
The Photon Sphere
Is a circular orbit for a photon possible? This would require the effective potential for photons to have a peak. Looking at the turning point condition , we can find the minimum possible value of for a turning point by finding where . This calculation yields a unique radius:
This is the radius of the photon sphere. At this exact radius, photons can orbit the black hole in a circle. However, this orbit is highly unstable: any small perturbation will send the photon either spiraling into the black hole or escaping to infinity.
Capture vs. Deflection
The photon sphere defines a critical impact parameter, . By substituting into the turning point equation, we find:
The fate of a photon approaching a black hole depends on how its impact parameter compares to :
- If , the photon is deflected by the black hole's gravity but escapes back to infinity. This is the phenomenon of gravitational lensing.
- If , the photon is captured and inevitably plunges past the event horizon.
- If , the photon asymptotically approaches the circular orbit at the photon sphere, orbiting the black hole many times before (in any realistic scenario) either escaping or being captured due to a tiny perturbation.
The critical impact parameter defines the apparent "size" of the black hole to a distant observer. The dark region we see is not the event horizon itself, but a larger area called the black hole shadow, with a radius of .
Lecture XVII: Geodesics in the Schwarzschild geometry
The final section of Hirata's notes discusses these exact points, formalizing the concept of the critical impact parameter and the photon sphere.
Please read section VI ('PHOTON TRAJECTORIES'). This section connects the analysis to the critical impact parameter and explains its physical meaning in terms of the black hole's shadow.
Test your understanding!
Imagine you are orbiting a Schwarzschild black hole in a spaceship on the ISCO at . You shine a laser beam tangentially in the direction of your orbit. Will the light beam stay in orbit with you? Why or why not?
Show answer
No, the light beam will not stay in orbit with you. Your spaceship, being massive, can have a stable circular orbit at . However, light (photons) can only have circular orbits at the photon sphere, . Since you are at a radius , any light you emit will not be in a circular orbit. In this case, since the light is outside the photon sphere, it will escape to infinity, moving away from your ship.
Conclusion
In this lesson, we have moved from the static geometry of the Schwarzschild metric to the dynamics of particles and light within it. By leveraging the concepts of conserved energy and angular momentum, we derived a powerful radial equation of motion that allowed us to classify all possible trajectories.
Key Takeaways:
- Symmetries of the Schwarzschild metric lead to conserved quantities: energy and angular momentum .
- The trajectories of massive and massless particles can be analyzed using an effective potential. The relativistic correction term is responsible for new phenomena not found in Newtonian gravity.
- For massive particles, there exists an Innermost Stable Circular Orbit (ISCO) at . Inside this radius, no stable circular orbits are possible.
- For photons, there is an unstable circular orbit at the photon sphere at .
- A critical impact parameter determines whether a photon is captured or deflected. This value defines the size of the black hole's shadow.
Preview of Next Lesson:
We have now laid all the groundwork necessary to confront General Relativity with experimental evidence. Using the geodesic equations we've analyzed today, our next lesson will focus on two of the classic tests of GR: the perihelion precession of Mercury and the deflection of light by the Sun. We will perform the calculations to see how Einstein's theory succeeded where Newton's failed.