
In
general relativity
General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics. ...
, Birkhoff's theorem states that any
spherically symmetric solution of the
vacuum field equations must be
static
Static may refer to:
Places
*Static Nunatak, a nunatak in Antarctica
United States
* Static, Kentucky and Tennessee
*Static Peak, a mountain in Wyoming
** Static Peak Divide, a mountain pass near the peak
Science and technology Physics
*Static e ...
and
asymptotically flat. This means that the exterior solution (i.e. the spacetime outside of a spherical, nonrotating, gravitating body) must be given by the
Schwarzschild metric
In Einstein's theory of general relativity, the Schwarzschild metric (also known as the Schwarzschild solution) is an
exact solution to the Einstein field equations that describes the gravitational field outside a spherical mass, on the assump ...
. The converse of the theorem is true and is called Israel's theorem. The converse is not true in Newtonian gravity.
The theorem was proven in 1923 by
George David Birkhoff
George David Birkhoff (March 21, 1884 – November 12, 1944) was an American mathematician best known for what is now called the ergodic theorem. Birkhoff was one of the most important leaders in American mathematics in his generation, and duri ...
(author of another famous ''
Birkhoff theorem'', the ''pointwise ergodic theorem'' which lies at the foundation of
ergodic theory
Ergodic theory (Greek: ' "work", ' "way") is a branch of mathematics that studies statistical properties of deterministic dynamical systems; it is the study of ergodicity. In this context, statistical properties means properties which are expres ...
). However, Nils Voje Johansen, Finn Ravndal,
Stanley Deser
Stanley Deser (born 1931) is an American physicist known for his contributions to general relativity. Currently, he is emeritus Ancell Professor of Physics at Brandeis University in Waltham, Massachusetts and a senior research associate at Califo ...
recently pointed out that it was published two years earlier by a little-known Norwegian physicist,
Jørg Tofte Jebsen.
[J.T. Jebsen, ''Uber die allgemeinen kugelsymmetrischen Lösungen der Einsteinschen Gravitationsgleichungen im Vakuum'', Arkiv för matematik, astronomi och fysik, 15 (18), 1 - 9 (1921).][J.T. Jebsen, ''On the general symmetric solutions of Einstein's gravitational equations in vacuo'', General Relativity and Cosmology 37 (12), 2253 - 2259 (2005).]
Intuitive rationale
The intuitive idea of Birkhoff's theorem is that a spherically symmetric gravitational field should be produced by some massive object at the origin; if there were another concentration of
mass-energy somewhere else, this would disturb the spherical symmetry, so we can expect the solution to represent an ''isolated'' object. That is, the field should vanish at large distances, which is (partly) what we mean by saying the solution is asymptotically flat. Thus, this part of the theorem is just what we would expect from the fact that general relativity reduces to
Newtonian gravitation in the
Newtonian limit
In physics, the Newtonian limit is a mathematical approximation applicable to physical systems exhibiting (1) weak gravitation, (2) objects moving slowly compared to the speed of light, and (3) slowly changing (or completely static) gravitational ...
.
Implications
The conclusion that the exterior field must also be ''stationary'' is more surprising, and has an interesting consequence. Suppose we have a spherically symmetric star of fixed mass which is experiencing spherical pulsations. Then Birkhoff's theorem says that the exterior geometry must be Schwarzschild; the only effect of the pulsation is to change the location of the
stellar surface. This means that a spherically pulsating star cannot emit
gravitational waves
Gravitational waves are waves of the intensity of gravity generated by the accelerated masses of an orbital binary system that propagate as waves outward from their source at the speed of light. They were first proposed by Oliver Heaviside in 1 ...
.
Generalizations
Birkhoff's theorem can be generalized: any spherically symmetric and asymptotically flat solution of the
Einstein/Maxwell field equations
In the general theory of relativity, the Einstein field equations (EFE; also known as Einstein's equations) relate the geometry of spacetime to the distribution of matter within it.
The equations were published by Einstein in 1915 in the fo ...
, without
, must be static, so the exterior geometry of a spherically symmetric charged star must be given by the
Reissner–Nordström electrovacuum. Note that in the Einstein-Maxwell theory, there exist spherically symmetric but not asymptotically flat solutions, such as the Bertotti-Robinson universe.
See also
*
Newman–Janis algorithm
In general relativity, the Newman–Janis algorithm (NJA) is a complexification technique for finding exact solutions to the Einstein field equations. In 1964, Newman and Janis showed that the Kerr metric could be obtained from the Schwarzschild m ...
, a
complexification
In mathematics, the complexification of a vector space over the field of real numbers (a "real vector space") yields a vector space over the complex number field, obtained by formally extending the scaling of vectors by real numbers to include t ...
technique for finding
exact solutions
In mathematics, integrability is a property of certain dynamical systems. While there are several distinct formal definitions, informally speaking, an integrable system is a dynamical system with sufficiently many conserved quantities, or first i ...
to the
Einstein field equations
In the general theory of relativity, the Einstein field equations (EFE; also known as Einstein's equations) relate the geometry of spacetime to the distribution of matter within it.
The equations were published by Einstein in 1915 in the form ...
*
Shell theorem
In classical mechanics, the shell theorem gives gravitational simplifications that can be applied to objects inside or outside a spherically symmetrical body. This theorem has particular application to astronomy.
Isaac Newton proved the shell t ...
in Newtonian gravity
*
Quadrupole formula In general relativity, the quadrupole formula describes the rate at which gravitational waves are emitted from a system of masses based on the change of the (mass) quadrupole moment. The formula reads
: \bar_(t,r) = \frac \ddot_(t-r/c),
where \b ...
References
*
* See ''section 14.6'' for a proof of the Birkhoff theorem, and see ''section 18.1'' for the generalized Birkhoff theorem.
*
*{{cite journal , author=Jebsen, J. T. , title=Über die allgemeinen kugelsymmetrischen Lösungen der Einsteinschen Gravitationsgleichungen im Vakuum (On the General Spherically Symmetric Solutions of Einstein's Gravitational Equations in Vacuo) , journal=Arkiv för Matematik, Astronomi och Fysik , year=1921 , volume=15 , pages=1–9
External links
''Birkhoff's Theorem''on ''
ScienceWorld
Wolfram Research, Inc. ( ) is an American multinational company that creates computational technology. Wolfram's flagship product is the technical computing program Wolfram Mathematica, first released on June 23, 1988. Other products include W ...
''
Theorems in general relativity