In general relativity, the Raychaudhuri equation, or Landau–Raychaudhuri equation,[1] is a fundamental result describing the motion of nearby bits of matter.

The equation is important as a fundamental lemma for the Penrose–Hawking singularity theorems and for the study of exact solutions in general relativity, but has independent interest, since it offers a simple and general validation of our intuitive expectation that gravitation should be a universal attractive force between any two bits of mass-energy in general relativity, as it is in Newton's theory of gravitation.

The equation was discovered independently by the Indian physicist Amal Kumar Raychaudhuri[2] and the Soviet physicist Lev Landau.[3]

Mathematical statement

Given a timelike unit vector field \( {\vec {X}} \) (which can be interpreted as a family or congruence of nonintersecting world lines via the integral curve, not necessarily geodesics), Raychaudhuri's equation can be written

\( {\dot {\theta }}=-{\frac {\theta ^{2}}{3}}-2\sigma ^{2}+2\omega ^{2}-{E[{\vec {X}}]^{a}}_{a}+{{{\dot {X}}^{a}}}_{{;a}} \)

where

\( {\displaystyle 2\sigma ^{2}=\sigma _{mn}\,\sigma ^{mn},\;2\omega ^{2}=\omega _{mn}\,\omega ^{mn}} \)

are (non-negative) quadratic invariants of the shear tensor

\( \sigma _{{ab}}=\theta _{{ab}}-{\frac {1}{3}}\,\theta \,h_{{ab}} \)

and the vorticity tensor

\( \omega _{{ab}}={h^{m}}_{a}\,{h^{n}}_{b}X_{{[m;n]}} \)

respectively. Here,

\( \theta _{{ab}}={h^{m}}_{a}\,{h^{n}}_{b}X_{{(m;n)}} \)

is the expansion tensor, \( \theta \) is its trace, called the expansion scalar, and

\( h_{{ab}}=g_{{ab}}+X_{a}\,X_{b} \)

is the projection tensor onto the hyperplanes orthogonal to \( {\vec {X}} \). Also, dot denotes differentiation with respect to proper time counted along the world lines in the congruence. Finally, the trace of the tidal tensor \( E[{\vec {X}}]_{{ab}} \) can also be written as

\( {E[{\vec {X}}]^{a}}_{{a}}=R_{{mn}}\,X^{m}\,X^{n} \)

This quantity is sometimes called the Raychaudhuri scalar.

Intuitive significance

The expansion scalar measures the fractional rate at which the volume of a small ball of matter changes with respect to time as measured by a central comoving observer (and so it may take negative values). In other words, the above equation gives us the evolution equation for the expansion of the timelike congruence. If the derivative (with respect to proper time) of this quantity turns out to be negative along some world line (after a certain event), then any expansion of a small ball of matter (whose center of mass follows the world line in question) must be followed by recollapse. If not, continued expansion is possible.

The shear tensor measures any tendency of an initially spherical ball of matter to become distorted into an ellipsoidal shape. The vorticity tensor measures any tendency of nearby world lines to twist about one another (if this happens, our small blob of matter is rotating, as happens to fluid elements in an ordinary fluid flow which exhibits nonzero vorticity).

The right hand side of Raychaudhuri's equation consists of two types of terms:

terms which promote (re)-collapse

initially nonzero expansion scalar,

nonzero shearing,

positive trace of the tidal tensor; this is precisely the condition guaranteed by assuming the strong energy condition, which holds for the most important types of solutions, such as physically reasonable fluid solutions,

terms which oppose (re)-collapse

nonzero vorticity, corresponding to Newtonian centrifugal forces,

positive divergence of the acceleration vector (e.g., outward pointing acceleration due to a spherically symmetric explosion, or more prosaically, due to body forces on fluid elements in a ball of fluid held together by its own self-gravitation).

Usually one term will win out. However, there are situations in which a balance can be achieved. This balance may be:

stable: in the case of hydrostatic equilibrium of a ball of perfect fluid (e.g. in a model of a stellar interior), the expansion, shear, and vorticity all vanish, and a radial divergence in the acceleration vector (the necessary body force on each blob of fluid being provided by the pressure of surrounding fluid) counteracts the Raychaudhuri scalar, which for a perfect fluid is \( {\displaystyle E[{\vec {X}}]^{a}{}_{a}=4\pi (\mu +3p)} \) in geometrized units. In Newtonian gravitation, the trace of the tidal tensor is \( 4\pi \mu \) ; in general relativity, the tendency of pressure to oppose gravity is partially offset by this term, which under certain circumstances can become important.

unstable: for example, the world lines of the dust particles in the Gödel solution have vanishing shear, expansion, and acceleration, but constant vorticity just balancing a constant Raychuadhuri scalar due to nonzero vacuum energy ("cosmological constant").

Focusing theorem

Suppose the strong energy condition holds in some region of our spacetime, and let \( {\vec {X}} \) be a timelike geodesic unit vector field with vanishing vorticity, or equivalently, which is hypersurface orthogonal. For example, this situation can arise in studying the world lines of the dust particles in cosmological models which are exact dust solutions of the Einstein field equation (provided that these world lines are not twisting about one another, in which case the congruence would have nonzero vorticity).

Then Raychaudhuri's equation becomes

\( {\dot {\theta }}=-{\frac {\theta ^{2}}{3}}-2\sigma ^{2}-{E[{\vec {X}}]^{a}}_{a} \)

Now the right hand side is always negative or zero, so the expansion scalar never increases in time.

Since the last two terms are non-negative, we have

\( {\dot {\theta }}\leq -{\frac {\theta ^{2}}{3}} \)

Integrating this inequality with respect to proper time \( \tau \) gives

\( {\frac {1}{\theta }}\geq {\frac {1}{\theta _{0}}}+{\frac {\tau }{3}} \)

If the initial value θ 0 {\displaystyle \theta _{0}} \theta _{0} of the expansion scalar is negative, this means that our geodesics must converge in a caustic ( \( \theta \) goes to minus infinity) within a proper time of at most \( {\displaystyle 3/|\theta _{0}|} \) after the measurement of the initial value \( \theta _{0} \) of the expansion scalar. This need not signal an encounter with a curvature singularity, but it does signal a breakdown in our mathematical description of the motion of the dust.

Optical equations

There is also an optical (or null) version of Raychaudhuri's equation for null geodesic congruences.

\( {\dot {\widehat {\theta }}}=-{\frac {1}{2}}\widehat {\theta }^{2}-2\widehat {\sigma }^{2}+2\widehat {\omega }^{2}-T_{{\mu \nu }}U^{\mu }U^{\nu }. \)

Here, the hats indicate that the expansion, shear and vorticity are only with respect to the transverse directions. When the vorticity is zero, then assuming the null energy condition, caustics will form before the affine parameter reaches \( 2/\widehat {\theta }_{0}. \)

Applications

The event horizon is defined as the boundary of the causal past of null infinity. Such boundaries are generated by null geodesics. The affine parameter goes to infinity as we approach null infinity, and no caustics form until then. So, the expansion of the event horizon has to be nonnegative. As the expansion gives the rate of change of the logarithm of the area density, this means the event horizon area can never go down, at least classically, assuming the null energy condition.

See also

Congruence (general relativity), for a derivation of the kinematical decomposition and of Raychaudhuri's equation.

Gravitational singularity

Penrose–Hawking singularity theorems for an application of the focusing theorem.

Notes

Spacetime as a deformable solid, M. O. Tahim, R. R. Landim, and C. A. S. Almeida,arXiv:0705.4120v1.

Dadhich, Naresh (August 2005). "Amal Kumar Raychaudhuri (1923–2005)" (PDF). Current Science. 89: 569–570.

The large scale structure of space-time by Stephen W. Hawking and G. F. R. Ellis, Cambridge University Press, 1973, p. 84, ISBN 0-521-09906-4.

References

Poisson, Eric (2004). A Relativist's Toolkit: The Mathematics of Black Hole Mechanics. Cambridge: Cambridge University Press. ISBN 0-521-83091-5. See chapter 2 for an excellent discussion of Raychaudhuri's equation for both timelike and null geodesics, as well as the focusing theorem.

Carroll, Sean M. (2004). Spacetime and Geometry: An Introduction to General Relativity. San Francisco: Addison-Wesley. ISBN 0-8053-8732-3. See appendix F.

Stephani, Hans; Kramer, Dietrich; MacCallum, Malcolm; Hoenselaers, Cornelius; Hertl, Eduard (2003). Exact Solutions to Einstein's Field Equations (2nd ed.). Cambridge: Cambridge University Press. ISBN 0-521-46136-7. See chapter 6 for a very detailed introduction to geodesic congruences, including the general form of Raychaudhuri's equation.

Hawking, Stephen & Ellis, G. F. R. (1973). The Large Scale Structure of Space-Time. Cambridge: Cambridge University Press. ISBN 0-521-09906-4. See section 4.1 for a discussion of the general form of Raychaudhuri's equation.

Raychaudhuri, A. K. (1955). "Relativistic cosmology I.". Phys. Rev. 98 (4): 1123–1126. Bibcode:1955PhRv...98.1123R. doi:10.1103/PhysRev.98.1123. hdl:10821/7599. Raychaudhuri's paper introducing his equation.

Dasgupta, Anirvan; Nandan, Hemwati & Kar, Sayan (2009). "Kinematics of geodesic flows in stringy black hole backgrounds". Physical Review D. 79 (12): 124004.arXiv:0809.3074. Bibcode:2009PhRvD..79l4004D. doi:10.1103/PhysRevD.79.124004. See section IV for derivation of the general form of Raychaudhuri equations for three kinematical quantities (namely expansion scalar, shear and rotation).

Kar, Sayan & SenGupta, Soumitra (2007). "The Raychaudhuri equations: A Brief review". Pramana. 69 (1): 49–76.arXiv:gr-qc/0611123. Bibcode:2007Prama..69...49K. doi:10.1007/s12043-007-0110-9. See for a review on Raychaudhuri equations.

External links

The Meaning of Einstein's Field Equation by John C. Baez and Emory F. Bunn. Raychaudhuri's equation takes center stage in this well known (and highly recommended) semi-technical exposition of what Einstein's equation says.

vte

Relativity

Special

relativity

Background

Principle of relativity (Galilean relativity Galilean transformation) Special relativity Doubly special relativity

Fundamental

concepts

Frame of reference Speed of light Hyperbolic orthogonality Rapidity Maxwell's equations Proper length Proper time Relativistic mass

Formulation

Lorentz transformation

Phenomena

Time dilation Mass–energy equivalence Length contraction Relativity of simultaneity Relativistic Doppler effect Thomas precession Ladder paradox Twin paradox

Spacetime

Light cone World line Minkowski diagram Biquaternions Minkowski space

Spacetime curvature.png

General

relativity

Background

Introduction Mathematical formulation

Fundamental

concepts

Equivalence principle Riemannian geometry Penrose diagram Geodesics Mach's principle

Formulation

ADM formalism BSSN formalism Einstein field equations Linearized gravity Post-Newtonian formalism Raychaudhuri equation Hamilton–Jacobi–Einstein equation Ernst equation

Phenomena

Black hole Event horizon Singularity Two-body problem

Gravitational waves: astronomy detectors (LIGO and collaboration Virgo LISA Pathfinder GEO) Hulse–Taylor binary

Other tests: precession of Mercury lensing redshift Shapiro delay frame-dragging / geodetic effect (Lense–Thirring precession) pulsar timing arrays

Advanced

theories

Brans–Dicke theory Kaluza–Klein Quantum gravity

Solutions

Cosmological: Friedmann–Lemaître–Robertson–Walker (Friedmann equations) Kasner BKL singularity Gödel Milne

Spherical: Schwarzschild (interior Tolman–Oppenheimer–Volkoff equation) Reissner–Nordström Lemaître–Tolman

Axisymmetric: Kerr (Kerr–Newman) Weyl−Lewis−Papapetrou Taub–NUT van Stockum dust discs

Others: pp-wave Ozsváth–Schücking metric

Scientists

Poincaré Lorentz Einstein Hilbert Schwarzschild de Sitter Weyl Eddington Friedmann Lemaître Milne Robertson Chandrasekhar Zwicky Wheeler Choquet-Bruhat Kerr Zel'dovich Novikov Ehlers Geroch Penrose Hawking Taylor Hulse Bondi Misner Yau Thorne Weiss others

Categories

Theory of relativity

Hellenica World - Scientific Library

Retrieved from "http://en.wikipedia.org/"

All text is available under the terms of the GNU Free Documentation License