HOME

TheInfoList



OR:

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 ...
, a
spacetime In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why differen ...
is said to be static if it does not change over time and is also irrotational. It is a special case of a stationary spacetime, which is the geometry of a stationary spacetime that does not change in time but can rotate. Thus, the
Kerr solution The Kerr metric or Kerr geometry describes the geometry of empty spacetime around a rotating uncharged axially symmetric black hole with a quasispherical event horizon. The Kerr metric is an exact solution of the Einstein field equations of gene ...
provides an example of a stationary spacetime that is not static; the non-rotating
Schwarzschild solution 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 assumpti ...
is an example that is static. Formally, a spacetime is static if it admits a global, non-vanishing,
timelike In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why differen ...
Killing vector field In mathematics, a Killing vector field (often called a Killing field), named after Wilhelm Killing, is a vector field on a Riemannian manifold (or pseudo-Riemannian manifold) that preserves the metric. Killing fields are the infinitesimal gene ...
K which is irrotational, ''i.e.'', whose orthogonal distribution is involutive. (Note that the leaves of the associated
foliation In mathematics (differential geometry), a foliation is an equivalence relation on an ''n''-manifold, the equivalence classes being connected, injectively immersed submanifolds, all of the same dimension ''p'', modeled on the decomposition of ...
are necessarily space-like
hypersurface In geometry, a hypersurface is a generalization of the concepts of hyperplane, plane curve, and surface. A hypersurface is a manifold or an algebraic variety of dimension , which is embedded in an ambient space of dimension , generally a Euclidean ...
s.) Thus, a static spacetime is a stationary spacetime satisfying this additional integrability condition. These spacetimes form one of the simplest classes of
Lorentzian manifold In differential geometry, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the r ...
s. Locally, every static spacetime looks like a standard static spacetime which is a Lorentzian warped product ''R'' \times ''S'' with a metric of the form :g t,x)= -\beta(x) dt^ + g_ /math>, where ''R'' is the real line, g_ is a (positive definite) metric and \beta is a positive function on the
Riemannian manifold In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real manifold, real, smooth manifold ''M'' equipped with a positive-definite Inner product space, inner product ...
''S''. In such a local coordinate representation the
Killing field A killing field, in military science, is an area in front of a defensive position that the enemy must cross during an assault and is specifically intended to allow the defending troops to incapacitate a large number of the enemy. Defensive emplacem ...
K may be identified with \partial_t and ''S'', the manifold of K-''trajectories'', may be regarded as the instantaneous 3-space of stationary observers. If \lambda is the square of the norm of the Killing vector field, \lambda = g(K,K), both \lambda and g_S are independent of time (in fact \lambda = - \beta(x)). It is from the latter fact that a static spacetime obtains its name, as the geometry of the space-like slice ''S'' does not change over time.


Examples of static spacetimes

* The (exterior)
Schwarzschild solution 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 assumpti ...
. *
de Sitter space In mathematical physics, ''n''-dimensional de Sitter space (often abbreviated to dS''n'') is a maximally symmetric Lorentzian manifold with constant positive scalar curvature. It is the Lorentzian analogue of an ''n''-sphere (with its canoni ...
(the portion of it covered by the static patch). * Reissner–Nordström space. * The
Weyl solution Hermann Klaus Hugo Weyl, (; 9 November 1885 – 8 December 1955) was a German mathematician, theoretical physicist and philosopher. Although much of his working life was spent in Zürich, Switzerland, and then Princeton, New Jersey, he is ass ...
, a static axisymmetric solution of the Einstein vacuum field equations R_ = 0 discovered by
Hermann Weyl Hermann Klaus Hugo Weyl, (; 9 November 1885 – 8 December 1955) was a German mathematician, theoretical physicist and philosopher. Although much of his working life was spent in Zürich, Switzerland, and then Princeton, New Jersey, he is assoc ...
.


Examples of non-static spacetimes

In general, "almost all" spacetimes will not be static. Some explicit examples include: *
Spherically symmetric spacetime In physics, spherically symmetric spacetimes are commonly used to obtain analytic and numerical solutions to Einstein's field equations in the presence of radially moving matter or energy. Because spherically symmetric spacetimes are by definition ...
s, which are irrotational, but not static. * The
Kerr solution The Kerr metric or Kerr geometry describes the geometry of empty spacetime around a rotating uncharged axially symmetric black hole with a quasispherical event horizon. The Kerr metric is an exact solution of the Einstein field equations of gene ...
, since it describes a rotating black hole, is a stationary spacetime that is not static. * Spacetimes with
gravitational wave 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 ...
s in them are not even stationary.


References

* {{relativity-stub Lorentzian manifolds