The discussion clarifies the distinction between static and stationary spacetime metrics. A stationary spacetime features a timelike Killing vector field, while a static spacetime is a more restrictive case where this vector field is orthogonal to a family of spacelike surfaces. Static metrics imply stationarity, but not vice versa; for instance, the Schwarzschild solution is static, whereas the Kerr metric is stationary. Observers in stationary spacetimes experience no changes in the gravitational field over time, while static spacetimes allow for a specific slicing of spacelike surfaces. The conversation also touches on methods to identify static or stationary metrics without directly finding Killing vectors.
#1
blumfeld0
146
0
Just a quick question. What is the difference between a static vs stationary spacetime metric? does static imply stationary? is the converse true?
What are a couple of example?
A metric is stationary it has a timelike Killing vector field. If this Killing vector field is orthogonal to a family of spacelike surfaces of constant time, it is also considered static.
Stationary, in non-technical terms, means basically that there exists a coordinate system where we can express the metric tensor independent of the time coordinate.
Static is thus more restrictive than stationary.
For example the Schwarzschild solution is static while the Kerr metric is stationary.
Last edited:
#3
blumfeld0
146
0
cool. so basically we need the metric to have d/dt = 0 for all gmu,nu in order to be static and hence stationary?
if d/dt does not equal zero it could be stationary but not static?
static implies stationary but stationary does not imply static, correct?
Some definitions, examples, links, suggested reading
blumfeld0 said:
What is the difference between a static vs stationary spacetime metric?
A stationary spacetime admits a timelike Killing vector field. A static spacetime is a stationary spacetime in which the timelike Killing vector field has vanishing vorticity, or equivalently (by the Frobenius theorem) is hypersurface orthogonal.
What does this mean? That a stationary spacetime is one in which you can find a family of observers who observe no changes in the gravitational field (or sources such as matter or electromagnetic fields) over time. A static spacetime is one which admits a slicing into spacelike hypersurfaces which are everywhere orthogonal to the world lines of our "bored observers".
One can still imagine observers who move around an interact, or even light beams or other waves which are assumed to have neglible effect on the ambient gravitational field. So for example one can study scattering of waves by black holes.
blumfeld0 said:
does static imply stationary? is the converse true?
The standard reference on exact solutions of the EFE is the monograph by Kramer et al. cited at http://math.ucr.edu/home/baez/RelWWW/HTML/reading.html#advanced
What does this mean? That a stationary spacetime is one in which you can find a family of observers who observe no changes in the gravitational field (or sources such as matter or electromagnetic fields) over time.
Would this mean a spacetime containing only a nonspinning black hole would be stationary outside the event horizon but not inside?
Would this mean a spacetime containing only a nonspinning black hole would be stationary outside the event horizon but not inside?
Yes, and that's a good point. Because no observers can exist between the inner and outer horizons of the Kerr vacuum solution who are not experiencing increasing curvature (tidal forces and so on), i.e. who are not observing rapid changes mitigating against their well-being.
#7
smallphi
436
2
Is there a way to check if a spacetime given as metric in some arbitrary coordinates is static or stationary without having to obtain the Killing vector?
For example, we know that a spacetime is Minkowski if all the components of Riemann tensor vanish at all points, no matter in what weird looking coordinates we work.
Is there a similar test to determine if spacetime is static/stationary ?
Killing vectors can be described without reference to coordinates. If you imagine a one parameter group of isometries (i.e. diffeomorphisms that leave the metric unchanged), Killing vectors are the infinitesimal "generators" of that group.
However, when you have a Killing vector, one usually takes advantage of the symmetry by a proper choice of coordinates.
Note that Killing vectors can be time-like or space-like. It is the existence time-like Killing vectors that is necessary for a stationary system.
#9
smallphi
436
2
I know that but imagine you are given a metric in some coordinates. Finding the Killing vectors require solving a system of differential equations and that is not trivial.
Is it possible for check if the given metric specifies static/stationary spacetime without finding the killing vectors? Something similar to how we find out if a metric represents flat spacetime by computing the Riemann tensor components.
A side question: If a Killing vector field is timelike at a point, is it timelike everywhere or it can flip between timelike, null and spacelike in different regions?
I know that but imagine you are given a metric in some coordinates. Finding the Killing vectors require solving a system of differential equations and that is not trivial.
Not necessarily. If the metric tensor does not depend upon a particular coordinate, say k, then d/dk will be a Killing vector. Using a good choice of coordinate system, one can spot the Killing vectors directly from the metric tensor. For example, Schwarzschild metric does not depend on t or phi, and thus d/dt and d/dphi are Killing vectors.
#11
smallphi
436
2
I am talking about absolute generic metric in generic coordinates, not a metric with obvious symmetries for which you can just read off the Killing vectors.
Example of solving and interpreeting Killing equations
smallphi said:
Finding the Killing vectors require solving a system of differential equations and that is not trivial.
Actually, the Killing equations are often much easier to solve than one might think. Indeed, GRTensorII often succeeds in solving them in under one second. Typical example: consider the EK6 vacuum pp wave in cylindrical Brinkmann chart:
<br />
ds^2 = -4 m \, \log(R) \, dU^2 + 2 \, dU \, dV + dR^2 + R^2 \, d\Theta^2,<br />
-\infty < U, \, V < \infty, \; 0 < R < \infty, \; -\pi < \Theta < \pi<br />
or in GRTensorII speak
Code:
Ndim_ := 4:
x1_ := U:
x2_ := V:
x3_ := R:
x4_ := Theta:
eta11_ := -1:
eta22_ := 1:
eta33_ := 1:
eta44_ := 1:
bd11_ := -1/sqrt(2) - 2*m*log(R)/sqrt(2):
bd12_ := -1/sqrt(2):
bd21_ := -1/sqrt(2) + 2*m*log(R)/sqrt(2):
bd22_ := 1/sqrt(2):
bd33_ := 1:
bd44_ := R:
Info_ := `Ehlers-Kundt type 6 grav. beam PP wave (cylindrical Brinkmann chart)`:
# A beam of gravitational radiation (at R = 0).
# Chart covers -Infinity < U, Z < Infinity, 0 < R < Infinity, -Pi < Theta < Pi
# Line element
# ds^2 = -4m log(R) dU^2 - 2 dU dV + dR^2 + R^2 dTheta^2
# -infty < U,V < infty, 0 < R < infty, -Pi < Theta < Pi
# Three dimensional isometry group:
# null Killing vector field @_V
# 2nd K.V: @_U
# spacelike Killing vector field @_Theta
# Our observers are noninertial and spinning
# Acceleration D_X X, where X = e_1 is m/R e_3
# Vorticity vector is -m/(2*R) e_4
# Expansion tensor
# H_(23) = H_(32) = -m/(2*R)
# Electrogravitic tensor is
# E_(33) = E_(44) = m/R^2
# Magnetogravitic tensor is
# B_(34) = B_(43) = m/R^2
#
# Wave equation is
# *d*h =
# -2 h_(ZU) + 4m log(R) h_(ZZ) + h_(RR) + h_R/R + h_(Theta Theta)/R^2
# Axially symmetric solution h(U,Z,R) = exp(a*U) f(Z,R) where
# -2a R f_Z + 4m R log(R) f_(ZZ) + R f_(RR) + f_R/R = 0
# Cylindrically symmetric solution h(U,Z) = F(U) + G(U) log(R)
#
# X = 1/sqrt(4*m*log(R)-2*m) [ @_U + sqrt(2*m)/R @_Theta ]
# defines a timelike geodesic congruence with helical world lines.
shows that the Killing vectors are
\partial_U, \; \partial_V, \; \partial_\Theta
Here \partial_V is the wave vector (a null translation), \partial_\Theta is rotation about the axis of spatial symmetry, and \partial_U is timelike where R>1, null at R=1, and spacelike on 0 <R<1. This vacuum solution can be matched to a null dust solution, incidently, to form the Bonnor beam. We just verified that the vacuum exterior is stationary outside R=1. Next, computing normalizing and computing the vorticity tensor shows this doesn't vanish, so this Killing vector field is timelike but not hypersurface orthogonal. In my post #3, I listed the Bonnor beam as stationary but nonstatic. Now you know why.
smallphi said:
Is it possible for check if the given metric specifies static/stationary spacetime without finding the killing vectors? Something similar to how we find out if a metric represents flat spacetime by computing the Riemann tensor components.
Well, in the case of the Rindler chart on Minkowski spacetime
ds^2 = -x^2 \, dt^2 + dx^2 + dy^2 + dz^2, \;<br />
-\infty < t, \, y \, z < \infty, \; 0 < x < \infty
the metric components depend only on x, so the other three coordinate vectors are Killing vectors. Since \partial_t is timelike, you can tell at a glance that this metric is stationary. Computing the vorticity tensor will tell you whether or not it is in fact static!
[EDIT: just noticed that cristo already pointed this out.]
smallphi said:
A side question: If a Killing vector field is timelike at a point, is it timelike everywhere or it can flip between timelike, null and spacelike in different regions?
Yes, this happens in the Kerr vacuum at the horizon. Indeed, if you draw the Killing flow in the Kruskal-Szekeres chart for the special case of the Schwarzschild vacuum, you obtain nested hyperbolas plus the "X" representing the event horizon of the "eternal black hole".
Something similar happens in the case of the EK6 pp vacuum gravitational wave studied above, as you see.
In the 5 part arXiv eprint by Vacaru (which I assume everyone here is studying because of its obvious interest), some of you might have noticed the Delphic comment in the introduction that near the horizon, the Schwarzschild vacuum resembles a pp-wave. This refers to a construction of Penrose, the Penrose limit, according to which near any null geodesic, any Lorentzian spacetime resembles a pp-wave. But the world sheet of the horizon consists of the world lines of special null geodesics, so...
There are various tensors which can recognize various geometrically interesting (locally defined!) circumstances besides local flatness, such as local conformal flatness. In some circumstances the vanishing of particular tensors or certain scalar invariants can enable one to recognize particular spacetimes and thus certain symmetries, but this is exceptional.