Vacuum solution (general relativity)
|This article does not cite any references or sources. (December 2009)|
In general relativity, a vacuum solution is a Lorentzian manifold whose Einstein tensor vanishes identically. According to the Einstein field equation, this means that the stress–energy tensor also vanishes identically, so that no matter or non-gravitational fields are present.
More generally, a vacuum region in a Lorentzian manifold is a region in which the Einstein tensor vanishes.
It is a mathematical fact that the Einstein tensor vanishes if and only if the Ricci tensor vanishes. This follows from the fact that these two second rank tensors stand in a kind of dual relationship; they are the trace reverse of each other:
where the traces are .
A third equivalent condition follows from the Ricci decomposition of the Riemann curvature tensor as a sum of the Weyl curvature tensor plus terms built out of the Ricci tensor: the Weyl and Riemann tensors agree, , in some region if and only if it is a vacuum region.
Since in a vacuum region, it might seem that according to general relativity, vacuum regions must contain no energy. But the gravitational field can do work, so we must expect the gravitational field itself to possess energy, and it does. However, determining the precise location of this gravitational field energy is technically problematical in general relativity, by its very nature of the clean separation into a universal gravitational interaction and "all the rest".
The fact that the gravitational field itself possesses energy yields a way to understand the nonlinearity of the Einstein field equation: this gravitational field energy itself produces more gravity. This means that the gravitational field outside the Sun is a bit stronger according to general relativity than it is according to Newton's theory.
Well known examples of explicit vacuum solutions include:
- Minkowski spacetime (which describes empty space with no cosmological constant)
- Milne model (which is a model developed by E. A. Milne describing an empty universe which has no curvature)
- Schwarzschild vacuum (which describes the spacetime geometry around a spherical mass),
- Kerr vacuum (which describes the geometry around a rotating object),
- Taub-NUT vacuum (a famous counterexample describing the exterior gravitational field of an isolated object with strange properties),
- Kerns–Wild vacuum (Robert M. Kerns and Walter J. Wild 1982) (a Schwarzschild object immersed in an ambient "almost uniform" gravitational field),
- double Kerr vacuum (two Kerr objects sharing the same axis of rotation, but held apart by unphysical zero active mass "cables" going out to suspension points infinitely removed),
- Khan–Penrose vacuum (K. A. Khan and Roger Penrose 1971) (a simple colliding plane wave model),
- Oszváth–Schücking vacuum (the circularly polarized sinusoidal gravitational wave, another famous counterexample).
- Kasner metric
These all belong to one or more general families of solutions:
- the Weyl vacua (Hermann Weyl) (the family of all static vacuum solutions),
- the Beck vacua (Guido Beck 1925) (the family of all cylindrically symmetric nonrotating vacuum solutions),
- the Ernst vacua (Frederick J. Ernst 1968) (the family of all stationary axisymmetric vacuum solutions),
- the Ehlers vacua (Jürgen Ehlers) (the family of all cylindrically symmetric vacuum solutions),
- the Szekeres vacua (George Szekeres) (the family of all colliding gravitational plane wave models),
- the Gowdy vacua (Robert H. Gowdy) (cosmological models constructed using gravitational waves),
Several of the families mentioned here, members of which are obtained by solving an appropriate linear or nonlinear, real or complex partial differential equation, turn out to be very closely related, in perhaps surprising ways.
- vacuum solution, an article about vacuum solutions in physics in general,
- lambdavacuum solution, an article about a significant generalization of the notion of a vacuum solution in general relativity,
- exact solutions in general relativity, an article about all kinds of exact solutions to the Einstein field equation.