This articleneeds attention from an expert in Physics. The specific problem is:article is more opinionated than encyclopedic; citations and other revisions needed to make it a standard treatment of a standard topic.WikiProject Physics may be able to help recruit an expert.(April 2021)

General relativity
${\displaystyle G_{\mu \nu }+\mathrm{\Lambda }{g}_{\mu \nu }=\kappa T_{\mu \nu }}$
Introduction History Timeline Tests Mathematical formulation
Fundamental concepts Equivalence principle Special relativity World line Pseudo-Riemannian manifold
Phenomena Kepler problem Gravitational lensing Gravitational redshift Gravitational time dilation Gravitational waves Frame-dragging Geodetic effect Event horizon Singularity Black hole Spacetime Spacetime diagrams Minkowski spacetime Einstein–Rosen bridge
Equations Formalisms Equations Linearized gravity Einstein field equations Friedmann Geodesics Mathisson–Papapetrou–Dixon Hamilton–Jacobi–Einstein Raychaudhuri Formalisms ADM NP BSSN Post-Newtonian Advanced theory Kaluza–Klein theory Quantum gravity
Solutions Schwarzschild (interior) Reissner–Nordström Einstein–Rosen waves Wormhole Gödel Kerr Kerr–Newman Kerr–Newman–de Sitter Kasner Kantowski-Sachs Lemaître–Tolman Wahlquist Taub–NUT Milne Robertson–Walker Oppenheimer–Snyder pp-wave van Stockum dust Hartle–Thorne Vaidya Peres De Sitter-Schwarzschild McVittie Weyl Kerr-Newman-de-Sitter
Scientists Einstein Lorentz Hilbert Poincaré Schwarzschild de Sitter Reissner Nordström Weyl Eddington Friedmann Milne Zwicky Lemaître Oppenheimer Gödel Wheeler Robertson Bardeen Walker Kerr Chandrasekhar Ehlers Penrose Hawking Raychaudhuri Taylor Hulse van Stockum Taub Newman Yau Thorne others
Physics portal  Category
v t e

Ingeneral relativity, anexact solution is a (typicallyclosed form)solution of the Einstein field equations whose derivation does not invoke simplifying approximations of the equations, though the starting point for that derivation may be an idealized case like a perfectly spherical shape of matter. Mathematically, finding an exact solution means finding aLorentzian manifold equipped withtensor fields modeling states of ordinary matter, such as afluid, or classicalnon-gravitational fields such as theelectromagnetic field.

These tensor fields should obey any relevant physical laws (for example, any electromagnetic field must satisfyMaxwell's equations). Following a standard recipe which is widely used inmathematical physics, these tensor fields should also give rise to specific contributions to thestress–energy tensor${\displaystyle T^{\alpha \beta }}$.^[1] (A field is described by aLagrangian, varying with respect to the field should give the field equations and varying with respect to the metric should give the stress-energy contribution due to the field.)

Finally, when all the contributions to the stress–energy tensor are added up, the result must be asolution of the Einstein field equations

${\displaystyle G^{\alpha \beta }=\kappa T^{\alpha \beta }.}$

In the above field equations,${\displaystyle G^{\alpha \beta }}$ is theEinstein tensor, computed uniquely from themetric tensor which is part of the definition of a Lorentzian manifold. Since giving the Einstein tensor does not fully determine theRiemann tensor, but leaves theWeyl tensor unspecified (see theRicci decomposition), the Einstein equation may be considered a kind of compatibility condition: the spacetime geometry must be consistent with the amount and motion of any matter or non-gravitational fields, in the sense that the immediate presence "here and now" of non-gravitational energy–momentum causes a proportional amount of Ricci curvature "here and now". Moreover, takingcovariant derivatives of the field equations and applying theBianchi identities, it is found that a suitably varying amount/motion of non-gravitational energy–momentum can cause ripples in curvature to propagate asgravitational radiation, even acrossvacuum regions, which contain no matter or non-gravitational fields.

Any Lorentzian manifold is a solution of theEinstein field equation for some right hand side. This is illustrated by the following procedure:

• take anyLorentzian manifold, compute itsEinstein tensor${\displaystyle G^{\alpha \beta }}$, which is a purely mathematical operation
• divide by theEinstein gravitational constant${\displaystyle \kappa }$
• declare the resulting symmetric second rank tensor field to be thestress–energy tensor${\displaystyle T^{\alpha \beta }}$.

This shows that there are two complementary ways to use general relativity:

• One can fix the form of the stress–energy tensor (from some physical reasons, say) and study the solutions of the Einstein equations with such right hand side (for example, if the stress–energy tensor is chosen to be that of the perfect fluid, a spherically symmetric solution can serve as astellar model)
• Alternatively, one can fix somegeometrical properties of a spacetime and look for a matter source that could provide these properties. This is what cosmologists have done since the 2000s: they assume that the Universe is homogeneous, isotropic, and accelerating and try to realize what matter (calleddark energy) can support such a structure.

Within the first approach the alleged stress–energy tensor must arise in the standard way from a "reasonable" matter distribution or non-gravitational field. In practice, this notion is pretty clear, especially if we restrict the admissible non-gravitational fields to the only one known in 1916, theelectromagnetic field. But ideally we would like to have somemathematical characterization that states some purely mathematical test which we can apply to any putative "stress–energy tensor", which passes everything which might arise from a "reasonable" physical scenario, and rejects everything else. No such characterization is known. Instead, we have crude tests known as theenergy conditions, which are similar to placing restrictions on theeigenvalues andeigenvectors of alinear operator. On the one hand, these conditions are far too permissive: they would admit "solutions" which almost no-one believes are physically reasonable. On the other, they may be far too restrictive: the most popular energy conditions are apparently violated by theCasimir effect.

Einstein also recognized another element of the definition of an exact solution: it should be a Lorentzian manifold (meeting additional criteria), i.e. asmooth manifold. But in working with general relativity, it turns out to be very useful to admit solutions which are not everywhere smooth; examples include many solutions created by matching a perfect fluid interior solution to a vacuum exterior solution, and impulsive plane waves. Once again, the creative tension between elegance and convenience, respectively, has proven difficult to resolve satisfactorily.

In addition to suchlocal objections, we have the far more challenging problem that there are very many exact solutions which are locally unobjectionable, butglobally exhibit causally suspect features such asclosed timelike curves or structures with points of separation ("trouser worlds"). Some of the best known exact solutions, in fact, have globally a strange character.

Many well-known exact solutions belong to one of several types, depending upon the intended physical interpretation of the stress–energy tensor:

• Vacuum solutions:${\displaystyle T^{\alpha \beta }=0}$; these describe regions in which no matter or non-gravitational fields are present,
• Electrovacuum solutions:${\displaystyle T^{\alpha \beta }}$ must arise entirely from anelectromagnetic field which solves thesource-freeMaxwell equations on the given curved Lorentzian manifold; this means that the only source for the gravitational field is the field energy (and momentum) of the electromagnetic field,
• Null dust solutions:${\displaystyle T^{\alpha \beta }}$ must correspond to a stress–energy tensor which can be interpreted as arising from incoherent electromagnetic radiation, without necessarily solving the Maxwell field equations on the given Lorentzian manifold,
• Fluid solutions:${\displaystyle T^{\alpha \beta }}$ must arise entirely from the stress–energy tensor of a fluid (often taken to be aperfect fluid); the only source for the gravitational field is the energy, momentum, and stress (pressure andshear stress) of the matter comprising the fluid.

In addition to such well established phenomena as fluids or electromagnetic waves, one can contemplate models in which the gravitational field is produced entirely by the field energy of various exotic hypothetical fields:

• Scalar field solutions:${\displaystyle T^{\alpha \beta }}$ must arise entirely from ascalar field (often a massless scalar field); these can arise in classical field theory treatments ofmeson beams, or asquintessence,
• Lambdavacuum solutions (not a standard term, but a standard concept for which no name yet exists):${\displaystyle T^{\alpha \beta }}$ arises entirely from a nonzerocosmological constant.

One possibility which has received little attention (perhaps because the mathematics is so challenging) is the problem of modeling anelastic solid. Presently, it seems that no exact solutions for this specific type are known.

Below we have sketched a classification by physical interpretation. Solutions can also be organized using theSegre classification of the possible algebraic symmetries of theRicci tensor:

• non-null electrovacuums have Segre type${\displaystyle \{(1,1)(11)\}}$ andisotropy group SO(1,1) x SO(2),
• null electrovacuums and null dusts have Segre type${\displaystyle \{(2,11)\}}$ and isotropy group E(2),
• perfect fluids have Segre type${\displaystyle \{1,(111)\}}$ and isotropy group SO(3),
• Lambda vacuums have Segre type${\displaystyle \{(1,111)\}}$ and isotropy group SO(1,3).

The remaining Segre types have no particular physical interpretation and most of them cannot correspond to any known type of contribution to the stress–energy tensor.

Noteworthy examples of vacuum solutions, electrovacuum solutions, and so forth, are listed in specialized articles (see below). These solutions contain at most one contribution to theenergy–momentum tensor, due to a specific kind of matter or field. However, there are some notable exact solutions which contain two or three contributions, including:

• NUT-Kerr–Newman–de Sitter solution contains contributions from an electromagnetic field and a positive vacuum energy, as well as a kind of vacuum perturbation of the Kerr vacuum which is specified by the so-called NUT parameter,
• Gödel dust contains contributions from a pressureless perfect fluid (dust) and from a positive vacuum energy.

The Einstein field equations are a system of coupled,nonlinear partial differential equations. In general, this makes them hard to solve. Nonetheless, several effective techniques for obtaining exact solutions have been established.

The simplest involves imposing symmetry conditions on themetric tensor, such asstationarity (symmetry undertime translation) or axisymmetry (symmetry under rotation about somesymmetry axis). With sufficiently clever assumptions of this sort, it is often possible to reduce the Einstein field equation to a much simpler system of equations, even a singlepartial differential equation (as happens in the case of stationary axisymmetric vacuum solutions, which are characterized by theErnst equation) or a system ofordinary differential equations (as happens in the case of theSchwarzschild vacuum).

This naive approach usually works best if one uses aframe field rather than a coordinate basis.

A related idea involves imposing algebraic symmetry conditions on theWeyl tensor,Ricci tensor, orRiemann tensor. These are often stated in terms of thePetrov classification of the possible symmetries of the Weyl tensor, or theSegre classification of the possible symmetries of the Ricci tensor. As will be apparent from the discussion above, suchAnsätze often do have some physical content, although this might not be apparent from their mathematical form.

This second kind of symmetry approach has often been used with theNewman–Penrose formalism, which uses spinorial quantities for more efficient bookkeeping.

Even after such symmetry reductions, the reduced system of equations is often difficult to solve. For example, the Ernst equation is a nonlinear partial differential equation somewhat resembling thenonlinear Schrödinger equation (NLS).

But recall that theconformal group onMinkowski spacetime is the symmetry group of theMaxwell equations. Recall too that solutions of theheat equation can be found by assuming a scalingAnsatz. These notions are merely special cases ofSophus Lie's notion of thepoint symmetry of a differential equation (or system of equations), and as Lie showed, this can provide an avenue of attack upon any differential equation which has a nontrivial symmetry group. Indeed, both the Ernst equation and the NLS have nontrivial symmetry groups, and some solutions can be found by taking advantage of their symmetries. These symmetry groups are often infinite dimensional, but this is not always a useful feature.

Emmy Noether showed that a slight but profound generalization of Lie's notion of symmetry can result in an even more powerful method of attack. This turns out to be closely related to the discovery that some equations, which are said to becompletely integrable, enjoy aninfinite sequence of conservation laws. Quite remarkably, both the Ernst equation (which arises several ways in the studies of exact solutions) and the NLS turn out to be completely integrable. They are therefore susceptible to solution by techniques resembling theinverse scattering transform which was originally developed to solve theKorteweg-de Vries (KdV) equation, a nonlinear partial differential equation which arises in the theory ofsolitons, and which is also completely integrable. Unfortunately, the solutions obtained by these methods are often not as nice as one would like. For example, in a manner analogous to the way that one obtains a multiple soliton solution of the KdV from the single soliton solution (which can be found from Lie's notion of point symmetry), one can obtain a multiple Kerr object solution, but unfortunately, this has some features which make it physically implausible.^[2]

There are also various transformations (seeBelinski-Zakharov transform) which can transform (for example) a vacuum solution found by other means into a new vacuum solution, or into an electrovacuum solution, or a fluid solution. These are analogous to theBäcklund transformations known from the theory of certainpartial differential equations, including some famous examples ofsoliton equations. This is no coincidence, since this phenomenon is also related to the notions of Noether and Lie regarding symmetry. Unfortunately, even when applied to a "well understood", globally admissible solution, these transformations often yield a solution which is poorly understood and their general interpretation is still unknown.

Given the difficulty of constructing explicit small families of solutions, much less presenting something like a "general" solution to the Einstein field equation, or even a "general" solution to thevacuum field equation, a very reasonable approach is to try to find qualitative properties which hold for all solutions, or at least for allvacuum solutions. One of the most basic questions one can ask is: do solutions exist, and if so,how many?

To get started, we should adopt a suitableinitial value formulation of the field equation, which gives two new systems of equations, one giving aconstraint on theinitial data, and the other giving a procedure forevolving this initial data into a solution. Then, one can prove that solutions exist at leastlocally, using ideas not terribly dissimilar from those encountered in studying other differential equations.

To get some idea of "how many" solutions we might optimistically expect, we can appeal to Einstein'sconstraint counting method. A typical conclusion from this style of argument is that ageneric vacuum solution to the Einstein field equation can be specified by giving four arbitrary functions of three variables and six arbitrary functions of two variables. These functions specify initial data, from which a unique vacuum solution can beevolved. (In contrast, the Ernst vacuums, the family of all stationary axisymmetric vacuum solutions, are specified by giving just two functions of two variables, which are not even arbitrary, but must satisfy a system of two coupled nonlinear partial differential equations. This may give some idea of how just tiny a typical "large" family of exact solutions really is, in the grand scheme of things.)

However, this crude analysis falls far short of the much more difficult question ofglobal existence of solutions. The global existence results which are known so far turn out to involve another idea.

We can imagine "disturbing" the gravitational field outside some isolated massive object by "sending in some radiation from infinity". We can ask: what happens as the incoming radiation interacts with the ambient field? In the approach of classicalperturbation theory, we can start with Minkowski vacuum (or another very simple solution, such as the de Sitter lambdavacuum), introduce very small metric perturbations, and retain only terms up to some order in a suitable perturbation expansion—somewhat like evaluating a kind of Taylor series for the geometry of our spacetime. This approach is essentially the idea behind thepost-Newtonian approximations used in constructing models of a gravitating system such as abinary pulsar. However, perturbation expansions are generally not reliable for questions of long-term existence and stability, in the case of nonlinear equations.

The full field equation is highly nonlinear, so we really want to prove that the Minkowski vacuum is stable under small perturbations which are treated using the fully nonlinear field equation. This requires the introduction of many new ideas. The desired result, sometimes expressed by the slogan that the Minkowski vacuum is nonlinearly stable, was finally proven byDemetrios Christodoulou andSergiu Klainerman only in 1993.^[3] Analogous results are known for lambdavac perturbations of the de Sitter lambdavacuum (Helmut Friedrich) and for electrovacuum perturbations of the Minkowski vacuum (Nina Zipser). In contrast,anti-de Sitter spacetime is known to be unstable under certain conditions.^[4][5]

Another issue we might worry about is whether the net mass-energy of anisolated concentration of positive mass-energy density (and momentum) always yields a well-defined (and non-negative) net mass. This result, known as thepositive energy theorem was finally proven byRichard Schoen andShing-Tung Yau in 1979, who made an additional technical assumption about the nature of the stress–energy tensor. The original proof is very difficult;Edward Witten soon presented a much shorter "physicist's proof", which has been justified by mathematicians—using further very difficult arguments.Roger Penrose and others have also offered alternative arguments for variants of the original positive energy theorem.

• List of spacetimes
• Friedmann–Lemaître–Robertson–Walker metric
• Petrov classification, for algebraic symmetries of theWeyl tensor

• Krasiński, A. (1997).Inhomogeneous Cosmological Models. Cambridge University Press.ISBN 0-521-48180-5.
• MacCallum, M. A. H. (2006). "Finding and using exact solutions of the Einstein equations".AIP Conference Proceedings. Vol. 841. pp. 129–143.arXiv:gr-qc/0601102.Bibcode:2006AIPC..841..129M.doi:10.1063/1.2218172. An up-to-date review article, but too brief, compared to the review articles byBičák 2000 orBonnor, Griffiths & MacCallum 1994.
• MacCallum, Malcolm A.H. (2013)."Exact Solutions of Einstein's equations".Scholarpedia.8 (12): 8584.Bibcode:2013SchpJ...8.8584M.doi:10.4249/scholarpedia.8584.
• Rendall, Alan M. (27 September 2002)."Local and Global Existence Theorems for the Einstein Equations".Living Reviews in Relativity.5 (1): 6.doi:10.12942/lrr-2002-6.PMC 5255525.PMID 28163637. A thorough and up-to-date review article.
• Friedrich, Helmut (2005). "Is general relativity 'essentially understood' ?".Annalen der Physik.15 (1–2):84–108.arXiv:gr-qc/0508016.Bibcode:2006AnP...518...84F.doi:10.1002/andp.200510173.S2CID 37236624. An excellent and more concise review.
• Bičák, Jiří (2000). "Selected Solutions of Einstein's Field Equations: Their Role in General Relativity and Astrophysics".Einstein's Field Equations and Their Physical Implications. Lecture Notes in Physics. Vol. 540. pp. 1–126.arXiv:gr-qc/0004016.doi:10.1007/3-540-46580-4_1.ISBN 978-3-540-67073-5.S2CID 119449917. An excellent modern survey.
• Bonnor, W.B.; Griffiths, J.B.; MacCallum, M.A.H. (1994). "Physical interpretation of vacuum solutions of Einstein's equations. Part II. Time-dependent solutions".Gen. Rel. Grav.26 (7):637–729.Bibcode:1994GReGr..26..687B.doi:10.1007/BF02116958.S2CID 189835151.
• Bonnor, W. B. (1992). "Physical interpretation of vacuum solutions of Einstein's equations. Part I. Time-independent solutions".Gen. Rel. Grav.24 (5):551–573.Bibcode:1992GReGr..24..551B.doi:10.1007/BF00760137.S2CID 122301194. A wise review, first of two parts.
• Griffiths, J. B. (1991).Colliding Plane Waves in General Relativity.Clarendon Press.ISBN 0-19-853209-1. Archived fromthe original on 2007-06-10. The definitive resource on colliding plane waves, but also useful to anyone interested in other exact solutions.
• Hoenselaers, C.; Dietz, W. (1985).Solutions of Einstein's Equations: Techniques and Results. Springer.ISBN 3-540-13366-6.
• Ehlers, Jürgen; Kundt, Wolfgang (1962). "Exact solutions of the gravitational field equations". In Witten, L. (ed.).Gravitation: An Introduction to Current Research. Wiley. pp. 49–101.hdl:11858/00-001M-0000-0013-5F17-4.OCLC 504779224. A classic survey, including important original work such as the symmetry classification of vacuum pp-wave spacetimes.
• Stephani, Hans; Kramer, Dietrich; MacCallum, Malcolm; Hoenselaers, Cornelius; Herlt, Eduard (2009) [2003].Exact Solutions of Einstein's Field Equations (2nd ed.). Cambridge: Cambridge University Press.ISBN 978-0-521-46702-5.

• Exact solutions in general relativity

• Articles with short description
• Short description is different from Wikidata
• Articles needing expert attention from April 2021
• All articles needing expert attention
• Physics articles needing expert attention
• Pages using sidebar with the child parameter