HOME

TheInfoList



OR:

In
general relativity General relativity, also known as the general theory of relativity, and as Einstein's theory of gravity, is the differential geometry, geometric theory of gravitation published by Albert Einstein in 1915 and is the current description of grav ...
, a
spacetime In physics, spacetime, also called the space-time continuum, is a mathematical model that fuses the three dimensions of space and the one dimension of time into a single four-dimensional continuum. Spacetime diagrams are useful in visualiz ...
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 In general relativity, specifically in the Einstein field equations, a spacetime is said to be stationary if it admits a Killing vector that is Asymptotic curve, asymptotically timelike. Description and analysis In a stationary spacetime, the m ...
, 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 tensor, metric is an Exact solutions in general relativity, e ...
provides an example of a stationary spacetime that is not static; the non-rotating Schwarzschild solution is an example that is static. Formally, a spacetime is static if it admits a global, non-vanishing,
timelike In mathematical physics, the causal structure of a Lorentzian manifold describes the possible causal relationships between points in the manifold. Lorentzian manifolds can be classified according to the types of causal structures they admit (''ca ...
Killing vector field 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 topological manifold, ''n''-manifold, the equivalence classes being connected, injective function, injectively immersed submanifolds, all of the same dimension ...
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 Euclidea ...
s.) Thus, a static spacetime is a
stationary spacetime In general relativity, specifically in the Einstein field equations, a spacetime is said to be stationary if it admits a Killing vector that is Asymptotic curve, asymptotically timelike. Description and analysis In a stationary spacetime, the m ...
satisfying this additional integrability condition. These spacetimes form one of the simplest classes of
Lorentzian manifold In mathematical physics, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere non-degenerate bilinear form, nondegenerate. This is a generalization of a Riema ...
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 is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the N-sphere, n-sphere, hyperbolic space, and smooth surf ...
''S''. In such a local coordinate representation the Killing field 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. *
De Sitter space In mathematical physics, ''n''-dimensional de Sitter space (often denoted dS''n'') is a maximally symmetric Lorentzian manifold with constant positive scalar curvature. It is the Lorentzian analogue of an ''n''-sphere (with its canonical Rie ...
(the portion of it covered by the static patch). * Reissner–Nordström space. * The Weyl solution, 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, logician and philosopher. Although much of his working life was spent in Zürich, Switzerland, and then Princeton, New Jersey, ...
.


Examples of non-static spacetimes

In general, "almost all" spacetimes will not be static. Some explicit examples include: * Spherically symmetric spacetimes, 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 tensor, metric is an Exact solutions in general relativity, e ...
, since it describes a rotating black hole, is a stationary spacetime that is not static. * Spacetimes with
gravitational wave Gravitational waves are oscillations of the gravitational field that Wave propagation, travel through space at the speed of light; they are generated by the relative motion of gravity, gravitating masses. They were proposed by Oliver Heaviside i ...
s in them are not even stationary.


References

* {{relativity-stub Lorentzian manifolds