Académique Documents
Professionnel Documents
Culture Documents
e2
e1
x2 = 2
11
00∂
x1 = 2
00
11
q x2
∂x11
00 x2 = 1
00
11
1
x1 = 1
x1 = 0
x2 = 0
Frank Grave
formerly, Universität Stuttgart, Institut für Theoretische Physik 1 (ITP1)
Pfaffenwaldring 57 // IV, 70550 Stuttgart, Germany
Frank.Grave@vis.uni-stuttgart.de
URL: http://www.vis.uni-stuttgart.de/~muelleta/CoS
Andreas Lemmer, formerly, Institut für Theoretische Physik 1 (ITP1), Universität Stuttgart
Alcubierre Warp
Sebastian Boblest, Institut für Theoretische Physik 1 (ITP1), Universität Stuttgart
deSitter, Friedmann-Robertson-Walker
Felix Beslmeisl, Institut für Theoretische Physik 1 (ITP1), Universität Stuttgart
Petrov-Type D
Heiko Munz, Institut für Theoretische Physik 1 (ITP1), Universität Stuttgart
Bessel and plane wave
Contents
2 Spacetimes 14
2.1 Minkowski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.1.1 Cartesian coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.1.2 Cylindrical coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.1.3 Spherical coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.1.4 Conform-compactified coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.1.5 Rotating coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.1.6 Rindler coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2 Schwarzschild spacetime . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.2.1 Schwarzschild coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.2.2 Schwarzschild in pseudo-Cartesian coordinates . . . . . . . . . . . . . . . . . . . . 20
2.2.3 Isotropic coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.2.4 Eddington-Finkelstein . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.2.5 Kruskal-Szekeres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2.6 Tortoise coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
i
ii CONTENTS
2.2.7 Painlevé-Gullstrand . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2.8 Israel coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3 Alcubierre Warp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.4 Barriola-Vilenkin monopol . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.5 Bertotti-Kasner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.6 Bessel gravitational wave . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.6.1 Cylindrical coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.6.2 Cartesian coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.7 Cosmic string in Schwarzschild spacetime . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.8 Ernst spacetime . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.9 Friedman-Robertson-Walker . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.9.1 Form 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.9.2 Form 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.9.3 Form 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.10 Gödel Universe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.10.1 Cylindrical coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.10.2 Scaled cylindrical coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.11 Halilsoy standing wave . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.12 Janis-Newman-Winicour . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.13 Kasner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
2.14 Kerr . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.14.1 Boyer-Lindquist coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.15 Kottler spacetime . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.16 Morris-Thorne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.17 Oppenheimer-Snyder collapse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.17.1 Outer metric . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.17.2 Inner metric . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.18 Petrov-Type D – Levi-Civita spacetimes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.18.1 Case AI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.18.2 Case AII . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
2.18.3 Case AIII . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.18.4 Case BI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.18.5 Case BII . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
2.18.6 Case BIII . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
2.18.7 Case C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
2.19 Plane gravitational wave . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
2.20 Reissner-Nordstrøm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
2.21 de Sitter spacetime . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
2.21.1 Standard coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
2.21.2 Conformally Einstein coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
2.21.3 Conformally flat coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2.21.4 Static coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2.21.5 Lemaître-Robertson form . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
2.21.6 Cartesian coordinates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
2.22 Straight spinning string . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
2.23 Sultana-Dyer spacetime . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
2.24 TaubNUT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
Bibliography 79
Chapter 1
1.1 Notation
The notation we use in this catalogue is as follows:
Indices: Coordinate indices are represented either by Greek letters or by coordinate names. Tetrad
indices are indicated by Latin letters or coordinate names in brackets.
Einstein sum convention: When an index appears twice in a single term, once as lower index and once
as upper index, we build the sum over all indices:
3
ζµ ζ µ ≡ ∑ ζµ ζ µ . (1.1.1)
µ =0
Vectors: A coordinate vector in xµ direction is represented as ∂xµ ≡ ∂µ . For arbitrary vectors, we use
boldface symbols. Hence, a vector a in coordinate representation reads a = a µ ∂µ .
Derivatives: Partial derivatives are indicated by a comma, ∂ ψ /∂ xµ ≡ ∂µ ψ ≡ ψ,µ , whereas covariant
derivatives are indicated by a semicolon, ∇ψ = ψ;µ .
Symmetrization and Antisymmetrization brackets:
1 1
(1.1.2)
a( µ bν ) = a µ bν + aν b µ , a[ µ bν ] = a µ bν − aν b µ
2 2
1
2 CHAPTER 1. INTRODUCTION AND NOTATION
with the symmetric, covariant metric tensor gµν . The contravariant metric tensor gµν is related to the
covariant tensor via g µν gνλ = δµλ with the Kronecker-δ . Even though gµν is only a component of the
metric tensor g = gµν dxµ ⊗ dxν , we will also call g µν the metric tensor.
Note that, in this catalogue, we mostly use the convention that the signature of the metric is +2. In
general, we will also keep the physical constants c and G within the metrics.
1
Γνλ µ = (1.3.1)
g µν ,λ + gµλ ,ν − gνλ ,µ
2
with the relation
µ 1
Γνλ = gµρ gρν ,λ + gρλ ,ν − gνλ ,ρ
(1.3.3)
2
which are related to the Christoffel symbols of the first kind via
µ
Γνλ = gµρ Γνλ ρ (1.3.4)
Riemann tensor:
µ µ µ µ
Rµ νρσ = Γνσ ,ρ − Γνρ ,σ + Γρλ Γνσ
λ λ
− Γσ λ Γνρ (1.3.5)
or
with symmetries
and
Ricci tensor:
Weyl tensor:
1 1
Cµνρσ = Rµνρσ − gµ [ ρ Rσ ]ν − gν [ ρ Rσ ]µ + R gµ [ ρ gσ ]ν (1.3.11)
2 3
If we change the signature of a metric, these basic objects transform as follows:
µ µ
Γνλ 7→ Γνλ , Rµνρσ 7→ −Rµνρσ , Cµνρσ 7→ −Cµνρσ , (1.3.12a)
Rµν 7→ Rµν , R 7→ −R, K 7→ K . (1.3.12b)
Covariant derivative
Killing equation:
ξµ ;ν + ξν ;µ = 0. (1.3.16)
(i) µ
θµ eν(i) = δµν .
(i) (i)
θ µ e( j) = δ( j) and (1.4.1)
Note that we us Latin indices in brackets for tetrads and Greek indices for coordinates.
where η(i)( j) = diag(∓1, ±1, ±1, ±1) depending on the signature sign(g) = ±2 of the metric. Thus, the
line element of a metric can be written as
To obtain a local tetrad e(i) , we could first determine the dual tetrad θ (i) via Eq. (1.4.3). If we combine all
four dual tetrad vectors into one matrix Θ, we only have to determine its inverse Θ−1 to find the tetrad
vectors,
(0) (0) (0) (0)
θ0 θ1 θ2 θ3
0
e(0) e0(1) e0(2) e0(3)
(1) (1) (1) (1) e1 1 1 1
θ θ1 θ2 θ3 (0) e(1) e(2) e(3)
Θ = 0(2) (2) (2) (2) ⇒ Θ −1
= 2 2 2 2 . (1.4.4)
θ0 θ1 θ2 θ3 e(0) e(1) e(2) e(3)
θ
(3)
θ
(3)
θ
(3)
θ
(3) e3(0) e3(1) e3(2) e3(3)
0 1 2 3
4 CHAPTER 1. INTRODUCTION AND NOTATION
η (a)(b) = θµ θν gµν .
(b) (a) (a) (b)
θµ = η (a)(b) e(a)µ , gµν = e(a)µ θν , (1.4.5b)
where A is an element of the Lorentz group O(1, 3). Hence AT η A = η and (det A)2 = 1. p
Lorentz-transformation in the direction na = (sin χ cos ξ , sin χ sin ξ , cos ξ )T = na with γ = 1/ 1 − β 2,
µ µ µ β
γ(i)( j)(k) := gµλ e(i) ∇e(k) eλ( j) = gµλ e(i) eν(k) ∇ν eλ( j) = gµλ e(i) eν(k) ∂ν eλ( j) + Γλνβ e( j) .
(1.4.8)
They are antisymmetric in the first two indices, γ(i)( j)(k) = −γ( j)(i)(k) , which follows from the definition,
Eq. (1.4.8), and the relation
β
0 = ∂µ η(i)( j) = ∇µ gβ ν e(i) eν( j) ,
(1.4.9)
γ( j) = γ (k)( j)(k) = η (k)(i) γ(i)( j)(k) = −γ(0)( j)(0) + γ(1)( j)(1) + γ(2)( j)(2) + γ(3)( j)(3) = ∇ν eν( j) . (1.4.11)
(m)
The connection coefficients ω ( j)(n) with respect to the local tetrad e(i) are defined by
µ µ µ µ β
ω ( j)(n) := θµ ∇e( j) e(n) = θµ eα( j) ∇α e(n) = θµ eα( j) ∂α e(n) + Γαβ e(n) ,
(m) (m) (m) (m)
(1.4.12)
compare Nakahara[Nak90]. They are related to the Ricci rotation coefficients via
(m)
γ(i)( j)(k) = η (i)(m) ω (k)( j) . (1.4.13)
(k) (k)
c(i)( j) = θ (k) e(i) , e( j) .
e(i) , e( j) = c(i)( j) e(k) or (1.4.14)
(k)
The structure coefficients c(i)( j) are related to the connection coefficients or the Ricci rotation coefficients
via
(k) (k) (k)
c(i)( j) = ω (i)( j) − ω ( j)(i) = η (k)(m) γ(m)( j)(i) − γ(m)(i)( j) = γ (k)( j)(i) − γ (k)(i)( j) . (1.4.15)
1.4. NATURAL LOCAL TETRAD AND INITIAL CONDITIONS FOR GEODESICS 5
υ = υ (0) e(0) + ψ sin χ cos ξ e(1) + sin χ sin ξ e(2) + cos χ e(3) = υ (0) e(0) + ψ n. (1.4.17)
In the case of a null direction we have ψ = 1 and υ (0) = ±1. A timelike direction can be identified with
an initial four-velocity u = cγ (e0 + β n), where
Thus, ψ = cβ γ and υ 0 = ±cγ . The sign of υ (0) determines the time direction.
e(3)
χ ψ
ξ e(2)
The transformations between a local direction υ (i) and its coordinate representation υ µ read
µ
υ µ = υ (i) e(i) υ (i) = θµ υ µ .
(i)
and (1.4.19)
given that the metric coefficients are well behaved. Analogously, the dual tetrad reads
√ √ √ √
θ (0) = g00 dx0 , θ (1) = g11 dx1 , θ (2) = g22 dx2 , θ (3) = g33 dx3 . (1.4.22)
6 CHAPTER 1. INTRODUCTION AND NOTATION
where
1 1
Γ= q and ∆= q . (1.4.25)
− gtt + 2ζ gt ϕ + ζ 2 gϕϕ 2
gt ϕ − gtt gϕϕ
where the upper/lower sign has to be used for metrics with positive/negative signature. The Ricci
rotation-coefficients of a NP tetrad are now called spin coefficients and are designated by specific symbols:
1
κ = γ(2)(1)(1) , ρ = γ(2)(0)(3), ε= γ(1)(0)(0) + γ(2)(3)(0) , (1.5.3a)
2
1
σ = γ(2)(0)(2) , µ = γ(1)(3)(2), γ= γ(1)(0)(1) + γ(2)(3)(1) , (1.5.3b)
2
1
λ = γ(1)(3)(3) , τ = γ(2)(0)(1), α= γ(1)(0)(3) + γ(2)(3)(3) , (1.5.3c)
2
1
ν = γ(1)(3)(1) , π = γ(1)(3)(0), β= γ(1)(0)(2) + γ(2)(3)(2) . (1.5.3d)
2
and
ϑ r
ϕ y
x dx + y dy + z dz xz dx + yz dy − (x2 + y2 )dz −y dx + x dy
dr = , dϑ = , dϕ = , (1.6.3)
x2 + y2
p
r r 2 x2 + y2
∂x ∂y ∂z
∂r = ∂x + ∂y + ∂z = sin ϑ cos ϕ ∂x + sin ϑ sin ϕ ∂y + cos ϑ ∂z , (1.6.4a)
∂r ∂r ∂r
∂x ∂y ∂z
∂ϑ = ∂x + ∂y + ∂z = r cos ϑ cos ϕ ∂x + r cos ϑ sin ϕ ∂y − r sin ϑ ∂z , (1.6.4b)
∂ϑ ∂ϑ ∂ϑ
∂x ∂y ∂z
∂ϕ = ∂x + ∂y + ∂z = −r sin ϑ sin ϕ ∂x + r sin ϑ cos ϕ ∂y , (1.6.4c)
∂ϕ ∂ϕ ∂ϕ
8 CHAPTER 1. INTRODUCTION AND NOTATION
and
∂r ∂ϑ ∂ϕ cos ϑ cos ϕ sin ϕ
∂x = ∂r + ∂ϑ + ∂ϕ = sin ϑ cos ϕ ∂r + ∂ϑ − ∂ϕ , (1.6.5a)
∂x ∂x ∂x r r sin ϑ
∂r ∂ϑ ∂ϕ cos ϑ sin ϕ cos ϕ
∂y = ∂r + ∂ϑ + ∂ϕ = sin ϑ sin ϕ ∂r + ∂ϑ + ∂ϕ , (1.6.5b)
∂y ∂y ∂y r r sin ϑ
∂r ∂ϑ ∂ϕ sin ϑ
∂z = ∂r + ∂ϑ + ∂ϕ = cos ϑ ∂r − ∂ϑ . (1.6.5c)
∂z ∂z ∂z r
ϕ y
With ρ (r)2 = gϕϕ (r) and dr = (dr/d ρ )d ρ , we obtain for the embedding function z = z(r),
√
s
d gϕϕ 2
dz
= ± grr − . (1.7.3)
dr dr
√
If gϕϕ (r) = r2 , then d gϕϕ /dr = 1.
D2 x µ d 2 xµ ρ
µ dx dx
σ
= + Γρσ =0 (1.8.1)
dλ 2 dλ 2 dλ dλ
with the affine parameter λ . For timelike geodesics, however, we replace the affine parameter by the
proper time τ .
The geodesic equation (1.8.1) is a system of ordinary differential equations of second order. Hence, to
solve these differential equations, we need an initial position xµ (λ = 0) as well as an initial direction
(dxµ /d λ )(λ = 0). This initial direction has to fulfill the constraint equation
dxµ dxν
gµν = κ c2 , (1.8.2)
dλ dλ
where κ = 0 for lightlike and κ = ∓1, (sign(g) = ±2), for timelike geodesics.
The initial direction can also be determined by means of a local reference frame, compare sec. 1.4.5, that
automatically fulfills the constraint equation (1.8.2). If we use the natural local tetrad as local reference
frame, we have
dxµ
µ
= υ µ = υ (i) e(i) . (1.8.3)
d λ λ =0
dX µ µ 1
Fu X µ := + Γρσ uρ X σ + 2 (uσ aµ − aσ uµ ) gρσ X ρ . (1.8.4)
dτ c
The four-acceleration follows from the four-velocity via
D2 x µ Duµ duµ µ
aµ = = = + Γρσ uρ uσ . (1.8.5)
dτ 2 dτ dτ
where xµ are the coordinates of the metric, and the dot means differentiation with respect to the affine
parameter λ . For timelike geodesics, κ = ∓1 depending on the signature of the metric, sign(g) = ±2. For
lightlike geodesics, κ = 0.
The Euler-Lagrange equations read
d ∂L ∂L
− = 0. (1.8.8)
d λ ∂ ẋµ ∂ xµ
If L is independent of xρ , then xρ is a cyclic variable and
length2
Note that [L ]U = time2
for timelike and [L ]U = 1 for lightlike geodesics, see Sec. 1.9.
1.9 Units
A first test in analyzing whether an equation is correct is to check the units. Newton’s gravitational
constant G, for example, has the following units
length3
[G]U = , (1.9.1)
mass · time2
where [·]U indicates that we evaluate the units of the enclosed expression. Further examples are
length 1 h i
[ds]U = length, [u]U = , Schwarzschild
[Rtrtr ]U = , RSchwarzschild
ϑ ϕϑ ϕ = length2 . (1.9.2)
time time2 U
1.10 Tools
1.10.1 Maple/GRTensorII
The Christoffel symbols, the Riemann- and Ricci-tensors as well as the Ricci and Kretschmann scalars in
this catalogue were determined by means of the software Maple together with the GRTensorII package
by Musgrave, Pollney, and Lake.2
> grtw();
> makeg(Schwarzschild);
The worksheets for some of the metrics in this catalogue can be found on the authors homepage. To
determine the objects that are defined with respect to a local tetrad, the metric must be given as non-
holonomic basis.
The various basic objects can be determined via
µ
Christoffel symbols Γνρ grcalc(Chr2); grcalc(Chr(dn,dn,up));
µ
partial derivatives Γνρ ,σ grcalc(Chr(dn,dn,up,pdn));
Riemann tensor Rµνρσ grcalc(Riemman); grcalc(R(dn,dn,dn,dn));
Ricci tensor Rµν grcalc(Ricci); grcalc(R(dn,dn));
Ricci scalar R grcalc(Ricciscalar);
Kretschmann scalar K grcalc(RiemSq);
1.10.2 Mathematica
The calculation of the Christoffel symbols, the Riemann- or Ricci-tensor within Mathematica could read
like this:
Clearing the values of symbols:
In[1]:= Clear[coord, metric, inversemetric, affine,
t, r, Theta, Phi]
In[10]:= TableForm[Partition[DeleteCases[Flatten[listaffine],
Null], 3],
TableSpacing -> {1, 2}]
In[13]:= listRiemann :=
Table[If[UnsameQ[riemannDn[[Mu, Nu, Rho, Sigma]], 0],
{Style[Subscript[R, Row[{coord[[Mu]], coord[[Nu]], coord[[Rho]],
coord[[Sigma]]}]], 16], "=",
riemannDn[[Mu, Nu, Rho, Sigma]]}],
{Nu, 1, n}, {Mu, 1, Nu}, {Sigma, 1, n}, {Rho, 1, Sigma}]
In[14]:= TableForm[Partition[DeleteCases[Flatten[listRiemann],
Null], 3],
TableSpacing -> {2, 2}]
In[16]:= listRicci :=
Table[If[UnsameQ[ricci[[Mu, Nu]], 0],
{Style[Subscript[R, Row[{coord[[Mu]], coord[[Nu]]}]], 16],
"=",
Style[ricci[[Mu, Nu]], 16]}], {Nu, 1, 4}, {Mu, 1, Nu}]
In[17]:= TableForm[Partition[DeleteCases[Flatten[listRicci],
Null], 3],
TableSpacing -> {1, 2}]
1.10.3 Maxima
Instead of using commercial software like Maple or Mathematica, Maxima also offers a tensor package
that helps to calculate the Christoffel symbols etc. The above example for the Schwarzschild metric can
be written as a maxima worksheet as follows:
/* load ctensor package */
load(ctensor);
As you may have noticed, the Schwarzschild metric must be given with negative signature.
Chapter 2
Spacetimes
2.1 Minkowski
2.1.1 Cartesian coordinates
The Minkowski metric in Cartesian coordinates {t, x, y, z ∈ R} reads
ds2 = −c2 dt 2 + dx2 + dy2 + dz2 . (2.1.1)
All Christoffel symbols as well as the Riemann- and Ricci-tensor vanish identically. The natural local
tetrad is trivial,
1
e(t) = ∂t , e(x) = ∂x , e(y) = ∂y , e(z) = ∂z , (2.1.2)
c
with dual
ϕ 1
Γϕϕ
r
= −r, Γrϕ = . (2.1.6)
r
Partial derivatives
ϕ 1
Γrϕ ,r = − , Γrϕϕ ,r = −1. (2.1.7)
r2
14
2.1. MINKOWSKI 15
Christoffel symbols:
1
Γrϑ ϑ = −r, Γrϕϕ = −r sin2 ϑ , Γϑrϑ = , (2.1.10a)
r
ϑ ϕ 1 ϕ
Γϕϕ = − sin ϑ cos ϑ , Γrϕ = , Γϑ ϕ = cot ϑ . (2.1.10b)
r
Partial derivatives
1 ϕ 1
Γϑrϑ ,r = − , Γrϕ ,r = − , Γrϑ ϑ ,r = −1, (2.1.11a)
r2 r2
ϕ 1
Γϑ ϕ ,ϑ =− 2 , Γϕϕ
r
,r = − sin ϑ ,
2
Γϑϕϕ ,ϑ = − cos(2ϑ ), (2.1.11b)
sin ϑ
Γϕϕ
r
,ϑ = − sin(2ϑ ). (2.1.11c)
Local tetrad:
1 1 1
e(t) = ∂t , e(r) = ∂r , e(ϑ ) = ∂ϑ , e(ϕ ) = ∂ϕ . (2.1.12)
c r r sin ϑ
Ricci rotation coefficients:
1 cot ϑ
γ(ϑ )(r)(ϑ ) = γ(ϕ )(r)(ϕ ) = , γ(ϕ )(ϑ )(ϕ ) = . (2.1.13)
r r
The contractions of the Ricci rotation coefficients read
2 cot ϑ
γ(r) = , γ(ϑ ) = . (2.1.14)
r r
This form follows from the spherical Minkowski metric (2.1.9) by means of the coordinate transforma-
tion
ψ +ξ ψ −ξ
ct + r = tan , ct − r = tan , (2.1.16)
2 2
resulting in the metric
−d ψ 2 + d ξ 2 sin2 ξ
d s̃2 = d ϑ 2 + sin2 ϑ d ϕ 2 ,
+ (2.1.17)
4 cos2 ψ +
2
ξ
cos2 ψ −
2
ξ
4 cos2 ψ +
2
ξ
cos2 ψ −
2
ξ
Partial derivatives
1 ϕ 1 ξ
Γϑξϑ ,ξ = − , Γξ ϕ ,ξ = − 2 , Γϑ ϑ ,ξ = − cos(2ξ ), (2.1.19a)
sin ξ
2
sin ξ
ϕ 1 ξ
Γϑ ϕ ,ϑ =− 2 , Γϕϕ ,ξ = − cos(2ξ ) sin2 ϑ , Γϑϕϕ ,ϑ = − cos(2ϑ ), (2.1.19b)
sin ϑ
ξ 1
Γϕϕ ,ϑ = − sin(2ξ ) sin(2ϑ ). (2.1.19c)
2
Riemann-Tensor:
Ricci-Tensor:
R = 6, K = 12. (2.1.22)
R(ξ )(ϑ )(ξ )(ϑ ) = R(ξ )(ϕ )(ξ )(ϕ ) = R(ϑ )(ϕ )(ϑ )(ϕ ) = 1. (2.1.26)
Christoffel symbols:
ϕ ω ϕ 1
Γttr = −ω 2 r, Γtr = , Γtrϕ = −ω r, Γrϕ = , Γϕϕ
r
= −r. (2.1.30)
r r
Partial derivatives
ϕ ω ϕ 1
Γtt,r
r
= −ω 2 , Γtr,r = − , Γtrϕ ,r = −ω , Γrϕ ,r = − , Γϕϕ
r
,r = −1. (2.1.31)
r2 r2
The local tetrad of the comoving observer is
1 ω 1
e(t) = ∂t − ∂ϕ , e(r) = ∂r , e(ϕ ) = ∂ϕ , e(z) = ∂z , (2.1.32)
c c r
whereas the static observer has the local tetrad
1
e(t) = p ∂t , e(r) = ∂r , e(z) = ∂z , (2.1.33a)
c 1 − ω 2r2 /c2
ωr 1 − ω 2r2 /c2
p
e(ϕ ) = p ∂t + ∂ϕ . (2.1.33b)
c 1 − ω 2r2 /c2
2 r
c2 αt′ c2 αt′
x= cosh , ct = sinh , (2.1.34)
α c α c
where t ′ is the observer’s proper time. The observer starts at x = 1 with zero velocity.
However, such an observer could also be described with Rindler coordinates. With the coordinate trans-
formation
1 1
(ct, x) 7→ (τ , ρ ) : ct = sinh τ , x= cosh τ , (2.1.35)
ρ ρ
1 2 1
ds2 = − d τ + 4 d ρ 2 + dy2 + dz2 . (2.1.36)
ρ2 ρ
Christoffel symbols:
ρ τ 1 ρ 2
Γττ = −ρ , Γτρ =− , Γρρ = − . (2.1.37)
ρ ρ
Partial derivatives
ρ τ 1 ρ 2
Γττ ,ρ = −1, Γτρ ,ρ = , Γρρ ,ρ = . (2.1.38)
ρ2 ρ2
The Riemann and Ricci tensors as well as the Ricci and Kretschmann scalar vanish identically.
Local tetrad:
where rs = 2GM/c2 is the Schwarzschild radius, G is Newton’s constant, c is the speed of light, and M is
the mass of the black hole. The critical point r = 0 is a real curvature singularity while the event horizon,
r = rs , is only a coordinate singularity, see e.g. the Kretschmann scalar.
Christoffel symbols:
c2 rs (r − rs ) rs rs
Γttr = , Γttr = , Γrrr = − , (2.2.2a)
2r3 2r(r − rs ) 2r(r − rs )
1 ϕ 1
Γϑrϑ = , Γrϕ = , Γrϑ ϑ = −(r − rs ), (2.2.2b)
r r
ϕ ϑ
Γϑ ϕ = cot ϑ , Γrϕϕ = −(r − rs ) sin2 ϑ , Γϕϕ = − sin ϑ cos ϑ . (2.2.2c)
Partial derivatives
(2r − 3rs )c2 rs (2r − rs )rs (2r − rs )rs
Γtt,r
r
=− , Γttr,r = − , Γrrr,r = , (2.2.3a)
2r4 2r2 (r − rs )2 2r2 (r − rs )2
1 ϕ 1
Γϑrϑ ,r = − 2 , Γrϕ ,r = − 2 , Γϑr ϑ ,r = −1, (2.2.3b)
r r
ϕ 1 ϑ
Γϑ ϕ ,ϑ = − 2 , Γrϕϕ ,r = − sin2 ϑ , Γϕϕ ,ϑ = − cos(2ϑ ), (2.2.3c)
sin ϑ
Γϕϕ ,ϑ = −(r − rs ) sin(2ϑ ).
r
(2.2.3d)
Riemann-Tensor:
c2 rs 1 c2 (r − rs ) rs 1 c2 (r − rs ) rs sin2 ϑ
Rtrtr = − , Rt ϑ t ϑ = , Rt ϕ t ϕ = , (2.2.4a)
r3 2 r2 2 r2
1 rs 1 rs sin2 ϑ
Rr ϑ r ϑ =− , Rr ϕ r ϕ =− , Rϑ ϕϑ ϕ = rrs sin2 ϑ . (2.2.4b)
2 r − rs 2 r − rs
As aspected, the Ricci tensor as well as the Ricci scalar vanish identically because the Schwarzschild
spacetime is a vacuum solution of the field equations. Hence, the Weyl tensor is identical to the Riemann
tensor. The Kretschmann scalar reads
rs2
K = 12 . (2.2.5)
r6
Here, it becomes clear that at r = rs there is no real singularity.
Local tetrad:
r
1 rs 1 1
e(t) = p ∂t , e(r) = 1 − ∂r , e(ϑ ) = ∂ϑ , e(ϕ ) = ∂ϕ . (2.2.6)
c 1 − rs /r r r r sin ϑ
Dual tetrad:
r
rs dr
θ (t) = c 1 − dt, θ (r) = p , θ (ϑ ) = r d ϑ , θ (ϕ ) = r sin ϑ d ϕ . (2.2.7)
r 1 − rs/r
Structure coefficients:
cot ϑ
r
(t) rs (ϑ ) (ϕ ) 1 rs (ϕ )
c(t)(r) = p , c(r)(ϑ ) = c(r)(ϕ ) =− 1− , c(ϑ )(ϕ ) = . (2.2.10)
2
2r 1 − rs/r r r r
cot ϑ
r
1 rs rs
ρ = µ = −√ 1− , γ = ε = √ p , α = −β = − √ . (2.2.14)
2r r 4 2r2 1 − rs/r 2 2r
Embedding:
The embedding function reads
√ √
z = 2 rs r − rs . (2.2.15)
Euler-Lagrange:
The Euler-Lagrangian formalism, Sec. 1.8.4, for geodesics in the ϑ = π /2 hyperplane yields
1 k2 rs h2
1 2 1
ṙ + Veff = , Veff = 1 − − κ c 2
(2.2.16)
2 2 c2 2 r r2
with the constants of motion k = (1 − rs /r)c2t˙, h = r2 ϕ̇ , and κ as in Eq. (1.8.2). For timelike geodesics, the
effective potential has the extremal points
p
h2 ± h h2 − 3c2rs2
r± = , (2.2.17)
c2 rs
where r+ is a maximum and r− is a minimum. The innermost timelike circular geodesic follows from
h2 = 3c2 rs2 and reads ritcg = 3rs . Null geodesics, however, have only a maximum at rpo = 32 rs . The
corresponding circular orbit is called photon orbit.
Further reading:
Schwarzschild[Sch16, Sch03], MTW[MTW73], Rindler[Rin01], Wald[Wal84], Chandrasekhar[Cha06],
Müller[Mül08b, Mül09].
20 CHAPTER 2. SPACETIMES
x2
2
y2
2
rs 2 2 2 2 dx 2 2 dy
ds2 = − 1− c dt + +y +z + x + +z
r 1−
rs/r2 r2 1 − rs /r r2
2 (2.2.18)
z dz 2r s
+ x2 + y2 + + 2 (xy dxdy + xz dxdz + yz dydz),
1 − rs/r r2 r (r − rs )
where r2 = x2 + y2 + z2 . For a natural local tetrad that is adapted to the x-axis, we make the following
ansatz:
1
e(0) = p ∂t , e(1) = A∂x , e(2) = B∂x + C∂y , e(3) = D∂x + E ∂y + F ∂z . (2.2.19)
c 1 − rs /r
1 −gxy 1
A= √ , B= q , C= q , (2.2.20a)
gxx gxx −g2xy /gxx + gyy −g2xy /gxx + gyy
√
gxy gyz − gxz gyy gxz gxy − gxx gyz N
D= √ , E= √ , F=√ , (2.2.20b)
NW NW W
with
1 − ρs /ρ ρs 4 2
2
2 2 2
d ρ + ρ 2 d ϑ 2 + sin2 ϑ d ϕ 2 , (2.2.22)
ds = − c dt + 1 +
1 + ρs /ρ ρ
where
ρs 2
1
r = ρ 1+ ρ=
p
or 2r − rs ± 2 r(r − rs ) (2.2.23)
ρ 4
is the coordinate transformation between the Schwarzschild radial coordinate r and the isotropic radial
coordinate ρ , see e.g. MTW[MTW73] page 840. The event horizon is given by ρs = rs /4. The photon
orbit and the innermost timelike circular geodesic read
√ √
ρpo = 2 + 3 ρs and ρitcg = 5 + 2 6 ρs . (2.2.24)
Christoffel symbols:
Riemann-Tensor:
(ρ − ρs )2 ρs c2 (ρ − ρs )2 ρρs c2
Rt ρ t ρ = −4 , Rt ϑ t ϑ = 2 , (2.2.26a)
(ρ + ρs)4 ρ (ρ + ρs )4
(ρ − ρs)2 ρ c2 ρs sin2 ϑ (ρ + ρs )2 ρs
Rt ϕ t ϕ = 2 , Rρϑ ρϑ = −2 , (2.2.26b)
(ρ + ρs)4 ρ3
(ρ + ρs )2 ρs sin2 ϑ 4(ρ + ρs )2 ρs sin2 ϑ
Rρϕρϕ = −2 , Rϑ ϕϑ ϕ = . (2.2.26c)
ρ3 ρ
Local tetrad:
1 + ρs/ρ ∂t 1
e(t) = , e(r) = ∂ρ , (2.2.28a)
1 − ρs /ρ c [1 + ρs/ρ ]2
1 1
e(ϑ ) = ∂ϑ , e(ϕ ) = ∂ϕ . (2.2.28b)
ρ [1 + ρs/ρ ]2 ρ [1 + ρs/ρ ]2 sin2 ϑ
Further reading:
Buchdahl[Buc85].
1 − ρs /ρ ρs 4 2
2
2 2 2
dx + dy2 + dz2 , (2.2.32)
ds = − c dt + 1 +
1 + ρs /ρ ρ
ρs 2
r = ρ 1+ . (2.2.33)
ρ
22 CHAPTER 2. SPACETIMES
Christoffel symbols:
2.2.4 Eddington-Finkelstein
The transformation of the Schwarzschild metric (2.2.1) from the usual Schwarzschild time coordinate t
to the advanced null coordinate v with
cv = ct + r + rs ln(r − rs ) (2.2.35)
leads to the ingoing Eddington-Finkelstein[Edd24, Fin58] metric with coordinates (v, r, ϑ , ϕ ),
rs 2 2
ds2 = − 1 − c dv + 2c dv dr + r2 d ϑ 2 + sin2 ϑ d ϕ 2 . (2.2.36)
r
Metric-Tensor:
rs
gvv = −c2 1 − , gvr = c, gϑ ϑ = r 2 , gϕϕ = r2 sin2 ϑ . (2.2.37)
r
Christoffel symbols:
crs c2 rs (r − rs ) crs 1
Γvvv = 2
, Γrvv = , Γrvr = − 2 , Γϑrϑ = , (2.2.38a)
2r 2r3 2r r
ϕ 1 r ϕ
Γrϕ = , Γϑ ϑ = − ,
v
Γϑ ϑ = −(r − rs ),
r
Γϑ ϕ = cot ϑ , (2.2.38b)
r c
r sin ϑ
2
ϑ
Γvϕϕ =− , Γϕϕ
r
= −(r − rs ) sin2 ϑ , Γϕϕ = − sin ϑ cos ϑ . (2.2.38c)
c
Partial derivatives
crs (2r − 3rs )c2 rs crs
Γvvv,r = − , Γrvv,r = − , Γrvr,r = , (2.2.39a)
r3 2r4 r3
1 ϕ 1 1
Γϑrϑ ,r = − 2 , Γrϕ ,r = − 2 , Γvϑ ϑ ,r = − , (2.2.39b)
r r c
ϕ 1 sin 2
ϑ
Γrϑ ϑ ,r = −1, Γϑ ϕ ,ϑ = − 2 , Γϕϕ
v
,r = − , (2.2.39c)
sin ϑ c
r sin(2ϑ )
Γvϕϕ ,ϑ = − , Γrϕϕ ,r = − sin2 ϑ , Γϑϕϕ ,ϑ = − cos(2ϑ ), (2.2.39d)
c
Γϕϕ
r
,ϑ = −(r − rs ) sin(2ϑ ). (2.2.39e)
Riemann-Tensor:
c2 rs c2 rs (r − rs ) crs
Rvrvr = − , Rvϑ vϑ = , Rvϑ rϑ = − , (2.2.40a)
r3 2r2 2r
c2 rs (r − rs ) sin2 ϑ crs sin2 ϑ
Rvϕ vϕ = , Rvϕ rϕ =− , Rϑ ϕϑ ϕ = rrs sin2 ϑ . (2.2.40b)
2r2 2r
2.2. SCHWARZSCHILD SPACETIME 23
While the Ricci tensor and the Ricci scalar vanish identically, the Kretschmann scalar is K = 12rs2 /r6 .
Static local tetrad:
r
1 1 rs 1 1
e(v) = p ∂v , e(r) = p ∂v + 1 − ∂r , e(ϑ ) = ∂ϑ , e(ϕ ) = ∂ϕ . (2.2.41)
c 1 − rs/r c 1 − rs/r r r r sin ϑ
Dual tetrad:
r
rs dr dr
θ (v)
= c 1 − dv − p , θ (r) = p , θ (ϑ ) = r d ϑ , θ (ϕ ) = r sin ϑ d ϕ . (2.2.42)
r 1 − rs /r 1 − rs /r
cot ϑ
r
rs 1 rs
γ(r)(v)(v) = p , γ(ϑ )(r)(ϑ ) = γ(ϕ )(r)(ϕ ) = 1− , γ(ϕ )(ϑ )(ϕ ) = . (2.2.43)
2
2r 1 − rs/r r r r
2.2.5 Kruskal-Szekeres
The Schwarzschild metric in Kruskal-Szekeres[Kru60, Wal84] coordinates (T, X, ϑ , ϕ ) reads
4rs3 −r/rs
ds2 = −dT 2 + dX 2 + r2 dΩ2 , (2.2.46)
e
r
The Schwarzschild coordinate time t in terms of the Kruskal coordinates T and X reads
T
t = 2rs arctanh , r > rs , (2.2.48a)
X
X
t = 2rs arctanh , r < rs , (2.2.48b)
T
t = ∞, r = rs . (2.2.48c)
Christoffel symbols:
Trs (r + rs ) −r/rs
ΓTT T = ΓXT X = ΓTXX = e , (2.2.50a)
r2
Xrs (r + rs ) −r/rs
ΓXT T = ΓTT X = ΓXXX =− e , (2.2.50b)
r2
2r2 T 2rs2 X −r/rs
ΓϑT ϑ = − s2 e−r/rs , ΓϑX ϑ = e , (2.2.50c)
r r2
r r
ΓTϑ ϑ = − T, ΓXϑ ϑ = X, (2.2.50d)
2rs 2rs
r r
ΓTϑ ϑ = − T sin2 ϑ , ΓXϑ ϑ = X sin2 ϑ , (2.2.50e)
2rs 2rs
ϕ ϑ
Γϑ ϕ = cot ϑ , Γϕϕ = − sin ϑ cos ϑ . (2.2.50f)
Riemann-Tensor:
12rs2
K = . (2.2.52)
r6
Local tetrad:
√ √
r r 1 1
e(T ) = √ er/(2rs ) ∂T , e(X) = √ er/(2rs ) ∂X , e(ϑ ) = ∂ϑ , e(ϕ ) = ∂ϕ (2.2.53)
2rs rs 2rs rs r r sin ϑ
rs rs
ds2 = − 1 − c2 dt 2 + 1 − d ρ 2 + r(ρ )2 d ϑ 2 + sin2 ϑ d ϕ 2 , (2.2.55)
r(ρ ) r(ρ )
where rs = 2GM/c2 is the Schwarzschild radius, G is Newton’s constant, c is the speed of light, and M
is the mass of the black hole. The tortoise radial coordinate ρ and the Schwarzschild radial coordinate r
are related by
ρ
r
ρ = r + rs ln −1 or r = rs 1 + W exp −1 . (2.2.56)
rs rs
2.2. SCHWARZSCHILD SPACETIME 25
Christoffel symbols:
ρ c2 rs rs ρ rs
Γtt = , Γtt ρ = , Γρρ = , (2.2.57a)
2r(ρ )2 2r(ρ )2 2r(ρ )2
ϑ 1 1 ϕ 1 1 ρ
Γρϑ = − , Γρϕ = − , Γϑ ϑ = −r(ρ ), (2.2.57b)
r(ρ ) rs r(ρ ) rs
ϕ ρ ϑ
Γϑ ϕ = cot ϑ , Γϕϕ = −r(ρ ) sin2 ϑ , Γϕϕ = − sin ϑ cos ϑ . (2.2.57c)
Riemann-Tensor:
c2 rs rs 2 c2
rs rs
Rt ρ t ρ = − 1− , Rt ϑ t ϑ = 1− , (2.2.58a)
r(ρ )3 r(ρ ) 2 r(ρ ) r(ρ )
c2 sin2 ϑ
rs rs 1 rs rs
Rt ϕ t ϕ = 1− , Rρϑ ρϑ =− 1− (2.2.58b)
2 r(ρ ) r(ρ ) 2 r(ρ ) r(ρ )
sin2 ϑ
rs rs
Rρϕρϕ =− 1− , Rϑ ϕϑ ϕ = r(ρ )rs sin2 ϑ . (2.2.58c)
2 r(ρ ) r(ρ )
The Ricci tensor as well as the Ricci scalar vanish identically because the Schwarzschild spacetime is a
vacuum solution of the field equations. Hence, the Weyl tensor is identical to the Riemann tensor. The
Kretschmann scalar reads
rs2
K = 12 . (2.2.59)
r(ρ )6
Local tetrad:
1 1 1 1
e(t) = p ∂t , e(ρ ) = p ∂ρ , e(ϑ ) = ∂ϑ , e(ϕ ) = ∂ϕ . (2.2.60)
c 1 − rs /r(ρ ) 1 − rs /r(ρ ) r(ρ ) r(ρ ) sin ϑ
Dual tetrad:
r r
rs (ρ ) rs
θ (t)
= c 1− dt, θ = 1− dρ , θ (ϑ ) = r(ρ ) d ϑ , θ (ϕ ) = r(ρ ) sin ϑ d ϕ . (2.2.61)
r(ρ ) r(ρ )
Further reading:
MTW[MTW73]
2.2.7 Painlevé-Gullstrand
The Schwarzschild metric expressed in Painlevé-Gullstrand coordinates[MP01] reads
r 2
rs
ds2 = −c2 dT 2 + dr + c dT + r2 d ϑ 2 + sin2 ϑ d ϕ 2 , (2.2.63)
r
where the new time coordinate T follows from the Schwarzschild time t in the following way:
p !
r 1 r/rs − 1
r
cT = ct + 2rs + ln p . (2.2.64)
rs 2 r/rs + 1
26 CHAPTER 2. SPACETIMES
Metric-Tensor:
r
rs rs
gT T = −c 2
1− , gTr = c , grr = 1, gϑ ϑ = r 2 , gϕϕ = r2 sin2 ϑ . (2.2.65)
r r
Christoffel symbols:
c2 rs (r − rs )
r
crs rs rs
ΓT T = 2
T
, ΓrT T = , ΓTTr = , (2.2.66a)
2r r 2r3 2r2
r r
crs rs rs r rs
ΓrTr = − 2 , ΓTrr = 2
, Γrrr = − 2 , (2.2.66b)
2r r 2cr rs 2r
r
1 ϕ 1 r rs
Γϑrϑ = , Γrϕ = , Γϑ ϑ = −
T
, (2.2.66c)
r r c r
r
ϕ r rs 2
Γϑr ϑ = −(r − rs ), Γϑ ϕ = cot ϑ , Γϕϕ
T
=− sin ϑ , (2.2.66d)
c r
ϑ
Γrϕϕ = −(r − rs ) sin2 ϑ , Γϕϕ = − sin ϑ cos ϑ . (2.2.66e)
Riemann-Tensor:
c2 rs c2 rs (r − rs )
r
crs rs
RTrTr =− 3 , RT ϑ T ϑ = , RT ϑ r ϑ = − , (2.2.67a)
r 2r2 2r r
c2 rs (r − rs ) sin2 ϑ
r
crs rs 2 rs
RT ϕ T ϕ = , RT ϕ r ϕ =− sin ϑ , Rrϑ rϑ = − , (2.2.67b)
2r2 2r r 2r
rs sin2 ϑ
Rr ϕ r ϕ = − , Rϑ ϕϑ ϕ = rrs sin2 ϑ . (2.2.67c)
2r
The Ricci tensor and the Ricci scalar vanish identically.
Kretschmann scalar:
For the Painlevé-Gullstrand coordinates, we can define two natural local tetrads.
Static local tetrad:
√ r
1 rs rs 1 1
ê(T ) = p ∂T , ê(r) = √ ∂T + 1 − ∂r , ê(ϑ ) = ∂ϑ , ê(ϕ ) = ∂ϕ , (2.2.69)
c 1 − rs /r c r − rs r r r sin ϑ
Dual tetrad:
r
(T ) rs dr (r) dr (ϑ ) (ϕ )
θ̂ = c 1 − dT − p , θ̂ =p , θ̂ = r dϑ , θ̂ = r sin ϑ d ϕ . (2.2.70)
r r/rs − 1 1 − rs/r
y2 dx
2
rs2 + (1 + xy) d ϑ + sin ϑ d ϕ
2 2 2 2
(2.2.74)
ds = 4dx dy + ,
1 + xy
where the coordinates x and y follow from the Schwarzschild coordinates via
y
t = rs 1 + xy + ln and r = rs (1 + xy). (2.2.75)
x
Christoffel symbols:
Riemann-Tensor:
rs2 y2 rs2 rs2
Rxyxy = −4 , Rxϑ xϑ = −2 , R xϑ yϑ = − , (2.2.77a)
(1 + xy)3 (1 + xy)2 1 + xy
rs2 y2 sin2 ϑ rs2 sin2 ϑ
Rxϕ xϕ = −2 , Rxϕ yϕ = − , Rϑ ϕϑ ϕ = (1 + xy)rs2 sin2 ϑ . (2.2.77b)
(1 + xy)2 1 + xy
The Ricci tensor as well as the Ricci scalar vanish identically. Hence, the Weyl tensor is identical to the
Riemann tensor. The Kretschmann scalar reads
12
K = . (2.2.78)
rs4 (1 + xy)6
Local tetrad:
√ √
1 + xy y 1 + xy
e(0) = − ∂x + √ ∂y , e(1) = ∂x , (2.2.79a)
2rs y rs 1 + xy 2rs y
1 1
e(2) = ∂ϑ , e(3) = ∂ϕ . (2.2.79b)
rs (1 + xy) rs (1 + xy) sin ϑ
Dual tetrad:
√ √
rs 1 + xy 2rs y rs 1 + xy
θ (0)
= dy, θ (1)
=√ dx + dy, (2.2.80a)
y 1 + xy y
θ (2) = rs (1 + xy) d ϑ , θ (3) = rs (1 + xy) sin ϑ d ϕ . (2.2.80b)
28 CHAPTER 2. SPACETIMES
where
dxs (t)
vs = , (2.3.2a)
qdt
rs (t) = (x − xs (t))2 + y2 + z2 , (2.3.2b)
tanh(σ (rs + R)) − tanh(σ (rs − R))
f (rs ) = . (2.3.2c)
2 tanh(σ R)
The parameter R > 0 defines the radius of the warp bubble and the parameter σ > 0 its thickness.
Metric-Tensor:
gtt = −c2 + v2s f (rs )2 , gtx = −vs f (rs ), gxx = gyy = gzz = 1. (2.3.3)
Christoffel symbols:
f 2 fx v3s
Γttt = , Γttz = − f fz v2s , Γtty = − f fy v2s , (2.3.4a)
c2
f 3 fx v4s − c2 f fx v2s − c2 ft vs f f x v2 f 2 f x v3
Γttx = 2
, Γttx = − 2 s , Γtx
x
=− 2 s, (2.3.4b)
c c c
f v f f 2
y y s f v
z s y vs
Γtx = , Γtx
z
= , Γtty = − , (2.3.4c)
2 2 2c2
f 2 fy v3s + c2 fy vs f fz v2s f 2 fz v3s + c2 fz vs
Γtyx
=− , Γ t
tz = − , Γ x
tz = − , (2.3.4d)
2c2 2c2 2c2
f x vs f fx v 2 f y vs
Γtxx = 2 , Γxxx = 2 s , Γtxy = 2 , (2.3.4e)
c c 2c
2
f f y v f z v s f fz v2s
Γxxy = s
, Γ t
xz = , Γ x
xz = , (2.3.4f)
2c2 2c2 2c2
with derivatives
d f (rs ) −vs σ (x − xs(t)) h i
ft = = sech2 (σ (rs + R)) − sech2 (σ (rs − R)) (2.3.5a)
dt 2rs tanh(σ R)
d f (rs ) σ (x − xs(t)) h i
fx = = sech2 (σ (rs + R)) − sech2 (σ (rs − R)) (2.3.5b)
dx 2rs tanh(σ R)
d f (rs ) σy h i
fy = = sech2 (σ (rs + R)) − sech2 (σ (rs − R)) (2.3.5c)
dy 2rs tanh(σ R)
d f (rs ) σz h i
fz = = sech2 (σ (rs + R)) − sech2 (σ (rs − R)) (2.3.5d)
dz 2rs tanh(σ R)
Riemann- and Ricci-tensor as well as Ricci- and Kretschman-scalar are shown only in the Maple work-
sheet.
Comoving local tetrad:
1
e(0) = (∂t + vs f ∂x ) , e(1) = ∂x , e(2) = ∂y , e(3) = ∂z . (2.3.6)
c
Static local tetrad:
p
1 vs f c2 − v2s f 2
e(0) = p ∂t , e(1) = p ∂t + ∂x , e(2) = ∂y , e(3) = ∂z . (2.3.7)
c2 − v2s f 2 c c2 − v2s f 2 c
Further reading:
Pfenning[PF97], Clark[CHL99], Van Den Broeck[Bro99]
2.4. BARRIOLA-VILENKIN MONOPOL 29
1
Γrϑ ϑ = −k2 r, Γϕϕ
r
= −k2 r sin2 ϑ , Γϑrϑ = , (2.4.2a)
r
ϑ ϕ 1 ϕ
Γϕϕ = − sin ϑ cos ϑ , Γrϕ = , Γϑ ϕ = cot ϑ . (2.4.2b)
r
Partial derivatives
1 ϕ 1
Γϑrϑ ,r = − , Γrϕ ,r = − , Γϑr ϑ ,r = −k2 , (2.4.3a)
r2 r2
ϕ 1 ϑ
Γϑ ϕ ,ϑ =− 2 , Γrϕϕ ,r = −k2 sin2 ϑ , Γϕϕ ,ϑ = − cos(2ϑ ), (2.4.3b)
sin ϑ
Γrϕϕ ,ϑ = −k2 r sin(2ϑ ). (2.4.3c)
Riemann-Tensor:
1 − k2 (1 − k2)2
Rϑ ϑ = (1 − k2), Rϕϕ = (1 − k2 ) sin2 ϑ , R=2 , K =4 . (2.4.5)
k2 r 2 k4 r 4
Weyl-Tensor:
c2 (1 − k2) c2 c2
Ctrtr = − , Ct ϑ t ϑ = (1 − k 2
), C t ϕ t ϕ = (1 − k2 ) sin2 ϑ , (2.4.6a)
3k2 r2 6 6
1 1 k2 r 2
Crϑ rϑ = − (1 − k2), Crϕ rϕ = − (1 − k2 ) sin2 ϑ , Cϑ ϕϑ ϕ = (1 − k2) sin2 ϑ . (2.4.6b)
6 6 3
Local tetrad:
1 1 1
e(t) = ∂t , e(r) = ∂r , e(ϑ ) = ∂ϑ , e(ϕ ) = ∂ϕ . (2.4.7)
c kr kr sin ϑ
Dual tetrad:
1 − k2
R(ϑ )(ϕ )(ϑ )(ϕ ) = . (2.4.11)
k2 r 2
1 − k2
R(ϑ )(ϑ ) = R(ϕ )(ϕ ) = . (2.4.12)
k2 r 2
1 − k2
C(t)(r)(t)(r) = −C(ϑ )(ϕ )(ϑ )(ϕ ) = − , (2.4.13a)
3k2 r2
1 − k2
C(t)(ϑ )(t)(ϑ ) = C(t)(ϕ )(t)(ϕ ) = −C(r)(ϑ )(r)(ϑ ) = −C(r)(ϕ )(r)(ϕ ) = . (2.4.13b)
6k2 r2
Embedding:
The embedding function, see Sec. 1.7, for k < 1 reads
p
z = 1 − k2 r. (2.4.14)
Euler-Lagrange:
The Euler-Lagrangian formalism, Sec. 1.8.4, for geodesics in the ϑ = π /2 hyperplane yields
1 h21 h22
1 2 1
ṙ + Veff = , Veff = − κc ,
2
(2.4.15)
2 2 c2 2 k2 r 2
Further reading:
Barriola and Vilenkin[BV89], Perlick[Per04].
2.5. BERTOTTI-KASNER 31
2.5 Bertotti-Kasner
The Bertotti-Kasner spacetime in spherical coordinates (t, r, ϑ , ϕ ) reads[Rin98]
√ 1
Λct
ds2 = −c2 dt 2 + e2 dr2 + d ϑ 2 + sin2 ϑ d ϕ 2 , (2.5.1)
Λ
Riemann-Tensor:
√
Λct sin2 ϑ
Rtrtr = −Λc2 e2 , Rϑ ϕϑ ϕ = . (2.5.4)
Λ
Ricci-Tensor:
√
Λct
Rtt = −Λc2 , Rrr = Λe2 , Rϑ ϑ = 1, Rϕϕ = sin2 ϑ . (2.5.5)
Weyl-Tensor:
2 √ c2 1 √
Ctrtr = − Λc2 e2 Λct , Ct ϑ t ϑ = , Ct ϕ t ϕ = − e2 Λct , (2.5.7a)
3 3 3
1 √ 1 √ 2 sin2 ϑ
Crϑ rϑ = − e2 Λct , Crϕ rϕ = − e2 Λct sin2 ϑ , Cϑ ϕϑ ϕ = . (2.5.7b)
3 3 3 Λ
Local tetrad:
√
1 √
− Λct
√ Λ
e(t) = ∂t , e(r) = e ∂r , e(ϑ ) = Λ∂ϑ , e(ϕ ) = ∂ϕ . (2.5.8)
c sin ϑ
Dual tetrad:
√ 1 sin ϑ
θ (t) = c dt, θ (r) = e Λct
dr, θ (ϑ ) = √ d ϑ , θ (ϕ ) = √ d ϕ . (2.5.9)
Λ Λ
2Λ
C(t)(r)(t)(r) = −C(ϑ )(ϕ )(ϑ )(ϕ ) = − , (2.5.14a)
3
Λ
C(t)(ϑ )(t)(ϑ ) = C(t)(ϕ )(t)(ϕ ) = −C(r)(ϑ )(r)(ϑ ) = −C(r)(ϕ )(r)(ϕ ) = . (2.5.14b)
3
Euler-Lagrange:
The Euler-Lagrangian formalism, Sec. 1.8.4, for geodesics in the ϑ = π /2 hyperplane yields
√
Λ ct
c2t˙2 = h21 e−2 + Λh22 − κ (2.5.15)
√
2 Λ ct
with the constants of motion h1 = ṙe and h2 = ϕ̇ /Λ. Thus,
√
h2 e−2 Λ ct
1 1 + q(t) 1 − q(ti)
λ= √ q ln , q(t) = 1 2 + 1, (2.5.16)
c Λ Λh22 − κ 1 − q(t) 1 + q(ti) Λh2 − κ
where ti is the initial time. We can also solve the orbital equation:
q √
h21 e−2 Λ ct + Λh22 − κ
r(t) = w(t) − w(ti ) + ri , w(t) = − √ , (2.5.17)
h1 Λ
where ri is the initial radial position.
Further reading:
Rindler[Rin98]: “Every spherically symmetric solution of the generalized vacuum field equations Ri j = Λgi j is
either equivalent to Kottler’s generalization of Schwarzschild space or to the [...] Bertotti-Kasner space (for which
Λ must be necessarily be positive).”
2.6. BESSEL GRAVITATIONAL WAVE 33
ρ ∂U ∂ K ϕ ∂U ∂U
Γttt = Γt ρ = Γtρρ = − + , Γt ϕ = Γtz
z
=− , Γtϕϕ = −e−2K ρ 2 , (2.6.4a)
∂t ∂t ∂t ∂t
ρ ρ ∂U ∂ K ϕ 1 ∂U ∂U
Γtt = Γtt ρ = Γρρ = − + , Γρϕ = − , Γρzz = −e4U−2K , (2.6.4b)
∂ρ ∂ρ ρ ∂ρ ∂ρ
∂U ∂U ∂U
ρ
Γϕϕ = ρ e−2K ρ −1 , Γρz z = , Γtzz = e4U−2K . (2.6.4c)
∂ρ ∂ρ ∂t
Local tetrad:
1 U
e(t) = eU−K ∂t , e(ρ ) = eU−K ∂ρ , e(ϕ ) = e ∂ϕ , e(z) = e−U ∂z . (2.6.5)
ρ
Dual tetrad:
e−2U
2 2(K−U) 2
e2K x2 + y2 dx2 + 2xy e2K − 1 dxdy
ds = −e dt + 2
x + y2
(2.6.7)
+ x + e y dy + e2U dz2 .
2 2K 2
2
Local tetrad:
s
x2 + y2
e(t) = eU−K ∂t , e(x) = eU ∂x ,
e2K x2 + y2
s (2.6.8)
eU−K e2K − 1
e2K x2 + y2
e(y) = eU−K ∂y + xy p ∂x , e(z) = e−U ∂z
x2 + y2 (x2 + y2 ) (e2K x2 + y2 )
34 CHAPTER 2. SPACETIMES
rs 2 2 1
ds2 = − 1 − dr2 + r2 d ϑ 2 + β 2 sin2 ϑ d ϕ 2 ,
c dt + (2.7.1)
r 1 − rs/r
where rs = 2GM/c2 is the Schwarzschild radius, G is Newton’s constant, c is the speed of light, M is the
mass of the black hole, and β is the string parameter, compare Aryal et al[AFV86].
Christoffel symbols:
c2 rs (r − rs ) rs rs
Γttr = , Γttr = , Γrrr = − , (2.7.2a)
2r3 2r(r − rs ) 2r(r − rs )
1 ϕ 1
Γϑrϑ = , Γrϕ = , Γrϑ ϑ = −(r − rs ), (2.7.2b)
r r
ϕ ϑ
Γϑ ϕ = cot ϑ , Γrϕϕ = −(r − rs )β 2 sin2 ϑ , Γϕϕ = −β 2 sin ϑ cos ϑ . (2.7.2c)
Partial derivatives
Riemann-Tensor:
c2 rs 1 c2 (r − rs ) rs 1 c2 (r − rs ) rs β 2 sin2 ϑ
Rtrtr = − , Rt ϑ t ϑ = , R t ϕ t ϕ = , (2.7.4a)
r3 2 r2 2 r2
1 rs 1 rs β 2 sin2 ϑ
Rr ϑ r ϑ =− , Rr ϕ r ϕ = − , Rϑ ϕϑ ϕ = rrs β 2 sin2 ϑ . (2.7.4b)
2 r − rs 2 r − rs
The Ricci tensor as well as the Ricci scalar vanish identically. Hence, the Weyl tensor is identical to the
Riemann tensor. The Kretschmann scalar reads
rs2
K = 12 . (2.7.5)
r6
Local tetrad:
r
1 rs 1 1
e(t) = p ∂t , e(r) = 1 − ∂r , e(ϑ ) = ∂ϑ , e(ϕ ) = ∂ϕ . (2.7.6)
c 1 − rs /r r r rβ sin ϑ
Dual tetrad:
r
rs dr
θ (t)
= c 1 − dt, θ (r) = p , θ (ϑ ) = r d ϑ , θ (ϕ ) = rβ sin ϑ d ϕ . (2.7.7)
r 1 − rs/r
cot ϑ
r
r 1 rs
γ(r)(t)(t) = p s , γ(ϑ )(r)(ϑ ) = γ(ϕ )(r)(ϕ ) = 1− , γ(ϕ )(ϑ )(ϕ ) = . (2.7.8)
2
2r 1 − rs/r r r r
2.7. COSMIC STRING IN SCHWARZSCHILD SPACETIME 35
Embedding:
The embedding function for β 2 < 1 reads
r/(r − rs ) − β 2 − 1 − β 2
r p p
r rs
z = (r − rs ) −β − p
2 ln p . (2.7.11)
2 1−β2 r/(r − rs ) − β 2 + 1 − β 2
p
r − rs
If β 2 = 1, we have the embedding function of the standard Schwarzschild metric, compare Eq.(2.2.15).
Euler-Lagrange:
The Euler-Lagrangian formalism, Sec. 1.8.4, for geodesics in the ϑ = π /2 hyperplane yields
1 k2 rs h2
1 2 1
ṙ + Veff = , Veff = 1− − κ c 2
(2.7.12)
2 2 c2 2 r r2 β 2
with the constants of motion k = (1 − rs/r)c2t˙ and h = r2 β 2 ϕ̇ . The maxima of the effective potential Veff
lead to the same critical orbits rpo = 32 rs and ritcg = 3rs as in the standard Schwarzschild metric.
36 CHAPTER 2. SPACETIMES
“The Ernst metric is a static, axially symmetric, electro-vacuum solution of the Einstein-Maxwell equations with
a black hole immersed in a magnetic field.”[KV92]
In spherical coordinates (t, r, ϑ , ϕ ), the Ernst metric reads[Ern76] (G = c = 1)
dr2 r2 sin2 ϑ 2
2M
ds2 = Λ2 − 1 − dt 2 + + r2 d ϑ 2 + dϕ , (2.8.1)
r 1 − 2M/r Λ2
where Λ = 1 + B2r2 sin2 ϑ . Here, M is the mass of the black hole and B the magnetic field strength.
Christoffel symbols:
2h 4 4 4 i
Rtrtr = B r sin ϑ (3M − r) − M + 2r 5 4
B sin 2
ϑ cos2
ϑ + B 2 2
r sin 2
ϑ (r − 2M) , (2.8.3a)
r3
= 2B2 sin ϑ cos ϑ (3B2 r2 sin2 ϑ (2M − 3r) + r − 2M ,
Rtrt ϑ (2.8.3b)
1
= 2 B4 r4 (r − 2M)(4r − 9M) sin4 ϑ + 2ΞB2r3 (r − 2M) cos2 ϑ + M(r − 2M) ,
Rt ϑ t ϑ (2.8.3c)
r
1
= 4 2 (2B2 r3 − 3B2Mr2 sin2 ϑ + M)Ξ(r − 2M) sin2 ϑ , (2.8.3d)
Rt ϕ t ϕ
Λ r
(2B2 r3 − 3B2Mr2 sin2 ϑ + M)Ξ
Rr ϑ r ϑ =− , (2.8.3e)
r − 2M
sin2 ϑ 4 4
B r (4r − 9M) sin4 ϑ + 2B2r2 (8M − 4rϑ ) sin2 ϑ + 2ΞB2r3 cos2 ϑ + M , (2.8.3f)
Rr ϕ r ϕ =− 4
Λ (r − 2M)
2B2r3 sin3 ϑ cos ϑ 3B2 r2 sin2 ϑ − 5
Rrϕϑ ϕ =− , (2.8.3g)
Λ4
r sin2 ϑ 4 4
2B r (r − 3M) sin4 ϑ + 4B2r3 cos2 ϑ (1 + Ξ) + 2B2r2 sin2 ϑ (2M − r) + 2M . (2.8.3h)
Rϑ ϕϑ ϕ =
Λ 4
2.8. ERNST SPACETIME 37
Ricci-Tensor:
R = 0, (2.8.5a)
16
K = 6 8 3B8 r8 4r2 − 18Mr + 21M 2 sin8 ϑ
r Λ
+ 2B4r4 31M 2 − 37Mr − 24B2r4 cos2 ϑ + 42B2Mr3 cos2 ϑ + 10r2 + 6B4r6 cos4 ϑ sin6 ϑ
+ 2B2r2 −3Mr + 20B2r4 cos2 ϑ + 6M 2 − 46B2Mr3 cos2 ϑ − 12B4r6 cos4 ϑ sin4 ϑ
− 6B6r6 6B2 Mr3 cos2 ϑ + 4r2 − 4B2r4 cos2 ϑ + 18M 2 − 17Mr
+ 20B r cos ϑ + 12B Mr cos ϑ + 3M .
4 6 4 2 3 2 2
(2.8.5b)
Λ
p
1 1 − 2m/r 1
e(t) = ∂t , e(r) = ∂r , e(ϑ ) = ∂ϑ , e(ϕ ) = ∂ϕ . (2.8.6)
Λ 1 − 2m/r Λ Λr r sin ϑ
p
Dual tetrad:
Λ r sin ϑ
r
2m
θ (t)
=Λ 1− dt, θ (r) = p dr, θ (ϑ ) = Λr d ϑ , θ (ϕ ) = dϕ . (2.8.7)
r 1 − 2m/r Λ
Euler-Lagrange:
The Euler-Lagrangian formalism, Sec. 1.8.4, for geodesics in the ϑ = π /2 hyperplane yields
h2 (1 − rs/r) k2 1 − rs /r
ṙ2 + − 4 +κ =0 (2.8.8)
r 2 Λ Λ2
with constants of motion k = Λ2 (1 − rs/r)t˙ and h = (r2 /Λ2 )ϕ̇ .
Further reading:
Ernst[Ern76], Dhurandhar and Sharma[DS83], Karas and Vokrouhlicky[KV92], Stuchlík and Hledík[SH99].
38 CHAPTER 2. SPACETIMES
2.9 Friedman-Robertson-Walker
The Friedman-Robertson-Walker metric describes a general homogeneous and isotropic universe. In a
general form it reads:
with R = R(t) being an arbitrary function of time only and d σ 2 being a metric of a 3-space of constant
curvature for which three explicit forms will be described here.
In all formulas in this section a dot denotes differentiation with respect to t, e.g. Ṙ = dR(t)/dt.
2.9.1 Form 1
dη 2
2 2 2 2
+ η d ϑ + sin ϑ d ϕ
2 2 2 2
ds = −c dt + R (2.9.2)
1 − kη 2
Christoffel symbols:
Ṙ Ṙ ϕ Ṙ
Γtηη = , Γtϑϑ = , Γt ϕ = , (2.9.3a)
R R R
RṘ η kη 1
Γtηη = , Γηη = , Γϑηϑ = , (2.9.3b)
c2 (1 − kη 2) 1 − kη 2 η
ϕ 1 Rη 2 Ṙ
Γηϕ = , Γtϑ ϑ = , Γϑη ϑ = (kη 2 − 1)η , (2.9.3c)
η c2
ϕ Rη 2 sin2 ϑ Ṙ
Γϑ ϕ = cot ϑ , Γtϕϕ = , Γηϕϕ = (kη 2 − 1)η sin2 ϑ , (2.9.3d)
c2
ϑ
Γϕϕ = − sin ϑ cos ϑ . (2.9.3e)
Riemann-Tensor:
RR̈
Rt η t η = , Rt ϑ t ϑ = −Rη 2 R̈, (2.9.4a)
kη 2 − 1
R2 η 2 Ṙ2 + kc 2
Rt ϕ t ϕ = −Rη 2 sin2 ϑ R̈, Rηϑ ηϑ = − , (2.9.4b)
c2 (kη 2 − 1)
R2 η 2 sin2 ϑ Ṙ2 + kc2 R2 η 4 sin2 ϑ Ṙ2 + kc2
Rηϕηϕ =− , Rϑ ϕϑ ϕ = . (2.9.4c)
c2 (kη 2 − 1) c2
Ricci-Tensor:
R̈ RR̈ + 2(Ṙ2 + kc2 )
Rtt = −3 , Rηη = , (2.9.5a)
R c2 (1 − kη 2 )
RR̈ + 2(Ṙ2 + kc2 ) RR̈ + 2(Ṙ2 + kc2 )
Rϑ ϑ = η 2 , Rϕϕ = η 2 sin2 ϑ . (2.9.5b)
c2 c2
The Ricci scalar and Kretschmann scalar read:
Local tetrad:
1 − kη 2
p
1 1 1
e(t) = ∂t , e(η ) = ∂η , eϑ = ∂ϑ , eϕ = ∂ϕ . (2.9.7)
c R Rη Rη sin ϑ
2.9. FRIEDMAN-ROBERTSON-WALKER 39
2.9.2 Form 2
R2
ds2 = −c2 dt 2 + dr + r2 (d ϑ 2 + sin2 ϑ d ϕ 2 )
2
(2.9.12)
k 2 2
(1 + 4 r )
Christoffel symbols:
Ṙ Ṙ ϕ Ṙ
Γtr
r
= , Γtϑϑ = , Γt ϕ = , (2.9.13a)
R R R
RṘ 2kr 4 − kr2
Γtrr = 16 , Γrrr = − , Γϑrϑ = , (2.9.13b)
c2 (4 + kr2 )2 4 + kr2 (4 + kr2 )r
ϕ 4 − kr2 Rr2 Ṙ r(kr2 − 4)
Γrϕ = , Γtϑ ϑ = 16 , Γϑr ϑ = , (2.9.13c)
(4 + kr2 )r c2 (4 + kr2)2 4 + kr2
ϕ Rr2 sin2 ϑ Ṙ ϑ
Γϑ ϕ = cot ϑ , Γtϕϕ = 16 , Γϕϕ = − sin ϑ cos ϑ , (2.9.13d)
c2 (4 + kr2)2
r sin2 ϑ (kr2 − 4)
Γϕϕ
r
= . (2.9.13e)
4 + kr2
Riemann-Tensor:
RR̈ Rr2 R̈
Rtrtr = −16 , Rt ϑ t ϑ = −16 , (2.9.14a)
(4 + kr2)2 (4 + kr2)2
Rr2 sin2 ϑ R̈ R2r2 Ṙ2 + kc 2
Rt ϕ t ϕ = −16 , Rrϑ rϑ = 256 , (2.9.14b)
(4 + kr2)2 c2 (4 + kr2 )4
R2r2 sin2 ϑ Ṙ2 + kc2 R2r4 sin2 ϑ Ṙ2 + kc2
Rrϕ rϕ = 256 , R ϑ ϕϑ ϕ = 256 . (2.9.14c)
c2 (4 + kr2 )4 c2 (4 + kr2 )4
Ricci-Tensor:
R̈ RR̈ + 2(Ṙ2 + kc2 )
Rtt = −3 , Rrr = 16 , (2.9.15a)
R c2 (4 + kr2 )2
RR̈ + 2(Ṙ2 + kc2 ) RR̈ + 2(Ṙ2 + kc2 )
Rϑ ϑ = 16r2 , Rϕϕ = 16r2 sin2 ϑ . (2.9.15b)
c2 (4 + kr2)2 c2 (4 + kr2)2
40 CHAPTER 2. SPACETIMES
Local tetrad:
1 1 + 4k r2 1 + 4k r2 1 + k/4r2
e(t) = ∂t , e(r) = ∂r , eϑ = ∂ϑ , eϕ = ∂ϕ . (2.9.17)
c R Rr Rr sin ϑ
3Ṙ 1 − 4k r2 ( 4k r2 + 1) cot ϑ
γ(t) = , γ(r) = 2 , γ(ϑ ) = . (2.9.19)
Rc Rr Rr
R̈
R(t)(η )(t)(η ) = R(t)(ϑ )(t)(ϑ ) = R(t)(ϕ )(t)(ϕ ) = − (2.9.20a)
Rc2
Ṙ2 + kc2
R(η )(ϑ )(η )(ϑ ) = R(η )(ϕ )(η )(ϕ ) = R(ϑ )(ϕ )(ϑ )(ϕ ) = . (2.9.20b)
R 2 c2
2.9.3 Form 3
The following forms of the metric are obtained from 2.9.2 by setting η = sin ψ , ψ , sinh ψ for k = 1, 0, −1
respectively.
Positive Curvature
Christoffel symbols:
ψ Ṙ Ṙ ϕ Ṙ
Γt ψ = , Γtϑϑ = , Γt ϕ = , (2.9.23a)
R R R
RṘ ϕ
Γtψψ = 2, Γϑψϑ = cot ψ , Γψϕ = cot ψ , (2.9.23b)
c
R sin2 ψ Ṙ ψ ϕ
Γtϑ ϑ = , Γϑ ϑ = − sin ψ cos ψ , Γϑ ϕ = cot(ϑ ), (2.9.23c)
c2
R sin2 ψ sin2 ϑ Ṙ ψ ϑ
Γtϕϕ = , Γϕϕ = − sin ψ cos ψ sin2 ϑ , Γϕϕ = − sin ϑ cos ϑ . (2.9.23d)
c2
2.9. FRIEDMAN-ROBERTSON-WALKER 41
Riemann-Tensor:
Rt ψ t ψ = −RR̈, Rt ϑ t ϑ = −R sin2 ψ R̈, (2.9.24a)
R sin ψ Ṙ + c
2 2 2 2
Rt ϕ t ϕ = −R sin2 ψ sin2 ϑ R̈, Rψϑ ψϑ = , (2.9.24b)
c2
R2 sin2 ψ sin2 ϑ Ṙ2 + c 2 R2 sin4 ψ sin2 ϑ Ṙ2 + c2
Rψϕψϕ = , Rϑ ϕϑ ϕ = . (2.9.24c)
c2 c2
Ricci-Tensor:
R̈ RR̈ + 2(Ṙ2 + c2 )
Rtt = −3 , Rψψ = , (2.9.25a)
R c2
RR̈ + 2(Ṙ2 + c2 ) RR̈ + 2(Ṙ2 + c2 )
Rϑ ϑ = sin2 ψ , Rϕϕ = sin2 ϑ sin2 ψ . (2.9.25b)
c2 c2
The Ricci scalar and Kretschmann read
RR̈ + Ṙ2 + c2 R̈2R2 + Ṙ4 + 2Ṙ2 c2 + c4
R=6 , K = 12 . (2.9.26)
R 2 c2 R 4 c4
Local tetrad:
1 1 1 1
e(t) = ∂t , e(ψ ) = ∂ψ , eϑ = ∂ϑ , eϕ = ∂ϕ . (2.9.27)
c R R sin ψ R sin ψ sin ϑ
Ricci rotation coefficients:
Ṙ cot ψ
γ(ψ )(t)(ψ ) = γ(ϑ )(t)(ϑ ) = γ(ϕ )(t)(ϕ ) = γ(ϑ )(ψ )(ϑ ) = γ(ϕ )(ψ )(ϕ ) = , (2.9.28a)
Rc R
cot θ
γ(ϕ )(ϑ )(ϕ ) = . (2.9.28b)
R sin ψ
The contractions of the Ricci rotation coefficients read
3Ṙ cot ψ cot ϑ
γ(t) = , γ(r) = 2 , γ(ϑ ) = . (2.9.29)
Rc R R sin ψ
Riemann-Tensor with respect to local tetrad:
R̈
R(t)(ψ )(t)(ψ ) = R(t)(ϑ )(t)(ϑ ) = R(t)(ϕ )(t)(ϕ ) = − , (2.9.30a)
Rc2
Ṙ2 + c2
R(ψ )(ϑ )(ψ )(ϑ ) = R(ψ )(ϕ )(ψ )(ϕ ) = R(ϑ )(ϕ )(ϑ )(ϕ ) = 2 2 . (2.9.30b)
R c
Ricci-Tensor with respect to local tetrad:
3R̈ RR̈ + 2(Ṙ2 + c2 )
R(t)(t) = − , R(ψ )(ψ ) = R(ϑ )(ϑ ) = R(ϕ )(ϕ ) = . (2.9.31)
Rc2 R 2 c2
Vanishing Curvature
Christoffel symbols:
ψ Ṙ Ṙ ϕ Ṙ
Γt ψ = , Γtϑϑ = , Γt ϕ = , (2.9.33a)
R R R
RṘ 1 ϕ 1
Γtψψ = 2, Γϑψϑ = , Γψϕ = , (2.9.33b)
c ψ ψ
Rψ 2 Ṙ ψ ϕ
Γtϑ ϑ = , Γϑ ϑ = −ψ , Γϑ ϕ = cot(ϑ ), (2.9.33c)
c2
Rψ 2 sin2 ϑ Ṙ ψ ϑ
Γtϕϕ = , Γϕϕ = −ψ sin2 ϑ , Γϕϕ = − sin ϑ cos ϑ . (2.9.33d)
c2
42 CHAPTER 2. SPACETIMES
Riemann-Tensor:
Rt ψ t ψ = −RR̈, Rt ϑ t ϑ = −Rψ 2 R̈, (2.9.34a)
R2 ψ 2 Ṙ2
Rt ϕ t ϕ = −Rψ 2 sin2 ϑ R̈, Rψϑ ψϑ = , (2.9.34b)
c2
R2 ψ 2 sin2 ϑ Ṙ2 R2 ψ 4 sin2 ϑ Ṙ2
Rψϕψϕ = , Rϑ ϕϑ ϕ = . (2.9.34c)
c2 c2
Ricci-Tensor:
R̈ RR̈ + 2Ṙ2
Rtt = −3 , Rψψ = , (2.9.35a)
R c2
RR̈ + 2Ṙ2 2 RR̈ + 2Ṙ
2
Rϑ ϑ = ψ 2 , R ϕϕ = sin 2
ϑ ψ . (2.9.35b)
c2 c2
The Ricci scalar and Kretschmann read
RR̈ + Ṙ2 R̈2 R2 + Ṙ4
R=6 2 2 , K = 12 . (2.9.36)
R c R 4 c4
Local tetrad:
1 1 1 1
e(t) = ∂t , e(ψ ) = ∂ψ , eϑ = ∂ϑ , eϕ = ∂ϕ . (2.9.37)
c R Rψ Rψ sin ϑ
Ricci rotation coefficients:
Ṙ 1
γ(ψ )(t)(ψ ) = γ(ϑ )(t)(ϑ ) = γ(ϕ )(t)(ϕ ) = γ(ϑ )(ψ )(ϑ ) = γ(ϕ )(ψ )(ϕ ) = , (2.9.38a)
Rc Rψ
cot(ϑ )
γ(ϕ )(ϑ )(ϕ ) = . (2.9.38b)
Rψ
The contractions of the Ricci rotation coefficients read
3Ṙ 2 cot ϑ
γ(t) = , γ(r) = , γ(ϑ ) = . (2.9.39)
Rc Rψ Rψ
Riemann-Tensor with respect to local tetrad:
R̈
R(t)(ψ )(t)(ψ ) = R(t)(ϑ )(t)(ϑ ) = R(t)(ϕ )(t)(ϕ ) = − , (2.9.40a)
Rc2
Ṙ2
R(ψ )(ϑ )(ψ )(ϑ ) = R(ψ )(ϕ )(ψ )(ϕ ) = R(ϑ )(ϕ )(ϑ )(ϕ ) = 2 2 . (2.9.40b)
R c
Ricci-Tensor with respect to local tetrad:
3R̈ RR̈ + 2Ṙ2
R(t)(t) = − , R(ψ )(ψ ) = R(ϑ )(ϑ ) = R(ϕ )(ϕ ) = . (2.9.41)
Rc2 R 2 c2
Negative Curvature
Christoffel symbols:
ψ Ṙ Ṙ ϕ Ṙ
Γt ψ = , Γtϑϑ = , Γt ϕ = , (2.9.43a)
R R R
RṘ ϕ
Γtψψ = 2, Γϑψϑ = coth ψ , Γψϕ = coth ψ , (2.9.43b)
c
R sinh2 ψ Ṙ ψ ϕ
Γtϑ ϑ = , Γϑ ϑ = − sinh ψ cosh ψ , Γϑ ϕ = cot ϑ , (2.9.43c)
c2
R sinh2 ψ sin2 ϑ Ṙ ψ ϑ
Γtϕϕ = , Γϕϕ = − sinh ψ cosh ψ sin2 ϑ , Γϕϕ = − sin ϑ cos ϑ . (2.9.43d)
c2
2.9. FRIEDMAN-ROBERTSON-WALKER 43
Riemann-Tensor:
Ricci-Tensor:
R̈ RR̈ + 2(Ṙ2 − c2 )
Rtt = −3 , Rψψ = , (2.9.45a)
R c2
RR̈ + 2(Ṙ2 − c2 ) RR̈ + 2(Ṙ2 − c2 )
Rϑ ϑ = sinh2 ψ , Rϕϕ = sin2 ϑ sin2 ψ . (2.9.45b)
c2 c2
The Ricci scalar and Kretschmann read
RR̈ + Ṙ2 − c2 R̈2R2 + Ṙ4 − 2Ṙ2 c2 + c4
R=6 , K = 12 . (2.9.46)
R 2 c2 R 4 c4
Local tetrad:
1 1 1 1
e(t) = ∂t , e(ψ ) = ∂ψ , eϑ = ∂ϑ , eϕ = ∂ϕ . (2.9.47)
c R R sinh ψ R sinh ψ sin ϑ
R̈
R(t)(ψ )(t)(ψ ) = R(t)(ϑ )(t)(ϑ ) = R(t)(ϕ )(t)(ϕ ) = − , (2.9.50a)
Rc2
Ṙ2 − c2
R(ψ )(ϑ )(ψ )(ϑ ) = R(ψ )(ϕ )(ψ )(ϕ ) = R(ϑ )(ϕ )(ϑ )(ϕ ) = 2 2 . (2.9.50b)
R c
Further reading:
Rindler[Rin01]
44 CHAPTER 2. SPACETIMES
dr2
r 2 c
ds2 = −c2 dt 2 + 2
+ r 2
1 − d ϕ 2 + dz2 − 2r2 √ dtd ϕ , (2.10.1)
1 + [r/(2a)] 2a 2a
c2 r 2 1 r2 1 + 3[r/(2a)]2
Rt ϕ t ϕ = 2 , R r ϕ r ϕ = . (2.10.3b)
2a 1 + [r/(2a)]2 2a2 1 + [r/(2a)]2
Ricci-Tensor:
c2 r2 c r4
Rtt = , Rt ϕ = √ , Rϕϕ = . (2.10.4)
a2 2a3 2a4
Ricci and Kretschmann scalar
1 3
R = − 2, K = 4. (2.10.5)
a a
cosmological constant:
R
Λ= (2.10.6)
2
Killing vectors:
An infinitesimal isometric transformation x′µ = xµ + εξ µ (xν ) leaves the metric unchanged, that is g′µν (x′σ ) =
gµν (x′σ ). A killing vector field ξ µ is solution to the killing equation ξµ ;ν + ξν ;µ = 0. There exist five killing
vector fields in Gödel’s spacetime:
√r cos ϕ
1 2c 0
0 1 a 1 + [r/(2a)]2 sin ϕ
ξµ = , ξµ = p , ξ µ = 0 ,
(2.10.7a)
r 1 + 2[r/(2a)] cos ϕ
a 2
a
0
b 1 + [r/(2a)] 2 c
1
0 0 0
√r sin ϕ
0 2c
−a 1 + [r/(2a)]2 cos ϕ
µ 0 µ 1
ξ = , ξ =
. (2.10.7b)
1 + [r/(2a)]2 r 1 + 2[r/(2a)]2 sin ϕ
0
p a
d e
1 0
2.10. GÖDEL UNIVERSE 45
An arbitrary linear combination of killing vector fields is again a killing vector field.
Local tetrad:
For the local tetrad in Gödel’s spacetime an ansatz similar to the local tetrad of a rotating spacetime in
spherical coordinates (Sec. 1.4.7) can be used. After substituting ϑ → z and swapping base vectors e(2)
and e(3) an orthonormalized and right-handed local tetrad is obtained.
q
e(0) = Γ ∂t + ζ ∂ϕ , 1 + [r/(2a)]2∂r , e(2) = ∆Γ A∂t + B∂ϕ , e(3) = ∂z , (2.10.8a)
e(1) =
where
r2 c ζ r2 c
A = − √ + ζ r2 1 − [r/(2a)]2 , B = c2 + √ ,
(2.10.9a)
2a 2a
1 1
Γ= q √ , ∆= p . (2.10.9b)
c2 + ζ r2 c 2/a − ζ 2r2 (1 − [r/(2a)]2) rc 1 + [r/(2a)]2
with rG = 2a, we find a formulation for the metric scaling with rG , which is
dR2 √
ds = 2 2
rG 2 2
−c dT + + R (1 − R )Dφ + dZ − 2 2cR dT d φ .
2 2 2 2 2
(2.10.12)
1 + R2
Christoffel symbols:
√
2R φ 2c
ΓTT R = , ΓT R = − , (2.10.13a)
1 + R2 R(1 + R2)
√ R
ΓRT φ = 2cR(1 + R2), ΓRRR = − , (2.10.13b)
1 + R2
√ 3
2R φ 1
ΓTRφ = , ΓRφ = , (2.10.13c)
c(1 + R2) R(1 + R2)
ΓφRφ = R(1 + R2)(2R2 − 1). (2.10.13d)
Riemann-Tensor:
√ 2 2
2r2 c2 2 2rG cR
RT RT R = G 2 , RT RRφ =− , (2.10.14a)
1+R 1 + R2
2r2 R2 (1 + 3R2)
RT φ T φ = 2c2 rG
2 2
R (1 + R2), RR φ R φ = G . (2.10.14b)
1 + R2
Ricci-Tensor:
√
RT T = 4c2 , RT φ = 4 2cR2 , Rφ φ = 8R4 . (2.10.15)
46 CHAPTER 2. SPACETIMES
cosmological constant:
R
Λ= (2.10.17)
2
Killing vectors:
The Killing vectors read
√R cos ϕ
1 2c 0
1 (1 + R2) sin ϕ
, ξµ = √ 1
0 0
ξµ = ξµ =
2 ,
1 ,
(2.10.18a)
a
0
b
1
1 + R2 2R (1 + 2R2) cos ϕ c
0 0 0
√ sin ϕ
R
0 2c
µ 0
ξ = , ξ = √
µ 1
− 1
2 (1 + R2) cos ϕ
. (2.10.18b)
2R (1 + 2R ) sin ϕ
0 2 1 2
d e 1+R
1 0
Local tetrad:
After the transformation to scaled cylindrical coordinates, the local tetrad reads
Γ 1p ∆Γ 1
∂T + ζ ∂φ , 1 + R2 ∂R , A∂T + B∂φ , ∂Z ,
e(0) = e(1) = e(2) = e(3) = (2.10.19a)
rG rG rG rG
where
h √ i √
A = R2 − 2c + (1 − R2)ζ , B = c2 + 2R2 cζ , (2.10.20a)
1 1
Γ= q √ , ∆= √ . (2.10.20b)
c2 + 2 2R2 cζ − R2(1 − R2)ζ 2 Rc 1 + R2
rG By0 − Ay2 rG rG y2 − ζ y0
y(0) = , y(1) = √ y1 , y(2) = , y(3) = rG y3 . (2.10.22a)
Γ B−ζA 1 + R2 ∆Γ B − ζ A
2.11. HALILSOY STANDING WAVE 47
1
ds2 = V e2K d ρ 2 − dt 2 + ρ 2d ϕ 2 + (dz + A d ϕ )2 , (2.11.1)
V
where
dual tetrad:
√ K √ √ 1
θ (0) = V e dt, θ (2) = V eK d ρ , θ (2) = V ρ d ϕ , θ (3) = √ (dz + A d ϕ ). (2.11.4)
V
48 CHAPTER 2. SPACETIMES
2.12 Janis-Newman-Winicour
The Janis-Newman-Winicour[JNW68] spacetime in spherical coordinates (t, r, ϑ , ϕ ) is represented by the
line element
where α = 1 − rs/(γ r). The Schwarzschild radius rs = 2GM/c2 is defined by Newton’s constant G, the
speed of light c, and the mass parameter M. For γ = 1, we obtain the Schwarzschild metric (2.2.1).
Christoffel symbols:
rs c2 2γ −1 rs rs
Γttr = α , Γttr = , Γrrr = − , (2.12.2a)
2r2 2γ r 2 α 2γ r 2 α
2γ r − rs (γ + 1) ϕ 2γ r − rs (γ + 1) 2γ r − rs (γ + 1)
Γϑrϑ = , Γrϕ = , Γϑr ϑ =− , (2.12.2b)
2γ r 2 α 2γ r 2 α 2γ
ϕ ϑ
Γrϕϕ = Γrϑ ϑ sin2 ϑ , Γϑ ϕ = cot ϑ , Γϕϕ = − sin ϑ cos ϑ . (2.12.2c)
Riemann-Tensor:
rs c2 [2γ r − rs (γ + 1)] α γ −2 rs c2 [2γ r − rs (γ + 1)] α γ −1
Rtrtr = − , Rt ϑ t ϑ = , (2.12.3a)
2γ r 4 4γ r 2
rs c2 [2γ r − rs (γ + 1)] α γ −1 sin2 ϑ rs 2γ r − rs (γ + 1)
2
Rt ϕ t ϕ = , Rr ϑ r ϑ =− , (2.12.3b)
4γ r 2 4γ 2 r2 α γ −1
rs 2γ r − rs (γ + 1) sin ϑ rs 4γ r − rs (γ + 1)2 sin2 ϑ
2 2 2
Rr ϕ r ϕ =− , Rϑ ϕϑ ϕ = . (2.12.3c)
4γ 2 r2 α γ −1 4γ 2 α γ
Weyl-Tensor:
rs c2 α γ −2 β rs c2 α γ −1 β
Ctrtr = − , Ct ϑ t ϑ = , (2.12.4a)
6γ 2 r 4 12γ 2 r2
rs c2 α γ −1 β sin2 ϑ rs β
Ct ϕ t ϕ = , Crϑ rϑ = − , (2.12.4b)
12γ 2 r2 12γ 2 r2 α γ −1
rs β sin2 ϑ rs β sin2 ϑ
Crϕ rϕ = − , Cϑ ϕϑ ϕ = , (2.12.4c)
12γ 2 r2 α γ −1 6γ 2 α γ
rs2 α 2γ −4 2 2
7γ rs (2 + γ 2) + 48γ 4r2 α + 8γ rs(2γ 2 + 1)(rs − 2γ r) + 3rs2 . (2.12.7)
K =
4γ 4 r 8
Local tetrad:
1 α (γ −1)/2 α (γ −1)/2
e(t) = ∂t , e(r) = α γ /2 ∂r , e(ϑ ) = ∂ϑ , e(ϕ ) = ∂ϕ . (2.12.8)
cα γ /2 r r sin ϑ
2.12. JANIS-NEWMAN-WINICOUR 49
Dual tetrad:
dr r r sin ϑ
θ (t) = cα γ /2 dt, θ (r) = , θ (ϑ ) = dϑ , θ (ϕ ) = dϕ . (2.12.9)
α γ /2 α (γ −1)/2 α (γ −1)/2
Structure coefficients:
Euler-Lagrange:
The Euler-Lagrangian formalism, Sec. 1.8.4, for geodesics in the ϑ = π /2 hyperplane yields the effective
potential
h2 α γ −1
1
Veff = α γ − κ c2 (2.12.13)
2 r2
with the constants of motion h = r2 α −γ +1 ϕ̇ and k = α γ c2t˙. For null geodesics (κ = 0) and γ > 21 , there is
an extremum at
1 + 2γ
r = rs . (2.12.14)
2γ
Embedding:
The embedding function z = z(r) for r ∈ [rs (γ + 1)2 /(4γ 2 ), ∞) follows from
s
dz rs [4rγ 2 − rs (1 + γ )2]
= . (2.12.15)
dr 4r2 γ 2 α γ +1
1 γ + 1 1 1 rs rs (1 + γ )2 2πγ 1 γ +1 4γ
√
z(r) = 2 rs r F1 − ; ,− ; , , − F
2 1 − , ; 1; , (2.12.16)
2 2 2 2 rγ 4rγ 2 γ +1 2 2 (γ + 1)2
2.13 Kasner
The Kasner spacetime in Cartesian coordinates (t, x, y, z) is represented by the line element[MTW73,
Kas21] (c = 1)
Riemann-Tensor:
p1 (1 − p1)t 2p1 p2 (1 − p2)t 2p2 p3 (1 − p3)t 2p3
Rtxtx = , R tyty = , R tztz = , (2.13.6a)
t2 t2 t2
p1 p2t 2p1 t 2p2 p1 p3t 2p1 t 2p3 p2 p3t 2p2 t 2p3
Rxyxy = , R xzxz = , .R yzyz = . (2.13.6b)
t2 t2 t2
The Ricci tensor as well as the Ricci scalar vanish identically. The Kretschmann scalar reads
4
K = 4 p21 − 2p31 + p41 + p22 − 2p32 + p42 + p21 p23 + p23 − 2p33 + p43 + p21 p22 + p22 p23 (2.13.7a)
t
16u2(1 + u)2
= 4 . (2.13.7b)
t (1 + u + u2)3
Local tetrad:
e(t) = ∂t , e(x) = t −p1 ∂x , e(y) = t −p2 ∂y , e(z) = t −p3 ∂z . (2.13.8)
Dual tetrad:
θ (t) = dt, θ (x) = t p1 dx, θ (y) = t p2 dy, θ (z) = t p3 dz. (2.13.9)
2.14 Kerr
The Kerr spacetime, found by Roy Kerr in 1963[Ker63], describes a rotating black hole.
rs r 2 2 2rs ar sin2 ϑ Σ
ds2 = − 1− c dt − c dt d ϕ + dr2 + Σd ϑ 2
Σ Σ ∆
(2.14.1)
rs a2 r sin2 ϑ
+ r 2 + a2 + sin2 ϑ d ϕ 2 ,
Σ
A 2 2rs ar ∆ 2 1 2 ∆ − a2 sin2 ϑ 2
∂s2 = − ∂ − ∂ ∂ϕ + ∂ + ∂ + ∂ϕ , (2.14.2)
Σ r Σ ϑ
t
c2 Σ∆ t
cΣ∆ Σ∆ sin2 ϑ
2
where A = r2 + a2 − a2∆ sin2 ϑ = r2 + a2 Σ + rs a2 r sin2 ϑ .
r
rs rs2
r+ = + − a2 , (2.14.3)
2 4
whereas the outer boundary r0 of the ergosphere follows from the outer root of Σ − rs r,
r
rs rs2
r0 = + − a2 cos2 ϑ , (2.14.4)
2 4
y
ergosphere
r+
r0
Figure 2.1: Ergosphere and horizon (dashed cir-
cle) for a = 0.99 r2s .
52 CHAPTER 2. SPACETIMES
Christoffel symbols:
∆
r
e(0) = Γ ∂t + ζ ∂ϕ , ∂r , (2.14.6a)
e(1) =
Σ
Γ gt ϕ + ζ gϕϕ gtt + ζ gt ϕ
1
e(2) = √ ∂ϑ , e(3) = ∓ √ ∂t ± √ ∂ϕ , (2.14.6b)
Σ c ∆ sin ϑ ∆ sin ϑ
∆ Σ 1
r r r
A 1 1
e(0) = ∂t + ω∂ϕ , e(1) = ∂r , e(2) = √ ∂ϑ , e(3) = ∂ϕ , (2.14.8)
Σ∆ c Σ Σ A sin ϑ
Σ∆ Σ √
r r r
A
θ (2)
= c dt, θ (1)
= dr, θ (2)
= Σd ϑ , θ (3)
= sin ϑ (d ϕ − ω d ϕ ) . (2.14.9)
A ∆ Σ
2.14. KERR 53
The relation between the constants of motion E, L, Q, and µ (defined in Bardeen[BPT72]) and the initial
direction υ , compare Sec. (1.4.5), with respect to the LNRF reads (c = 1)
∆
r r
A rs ra
υ =
(0)
E−√ L, υ =
(1)
pr , (2.14.10a)
Σ∆ AΣ∆ Σ
s
Σ L
r
L2
1
υ =√
(2)
Q − cos2 ϑ a2 ( µ 2 − E 2 ) + 2 , υ (3) = . (2.14.10b)
Σ sin ϑ A sin ϑ
∆
r
1 1
e(0) = p ∂t , e(1) = ∂r , e(2) = √ ∂ϑ , (2.14.11a)
c 1 − rs r/Σ Σ Σ
rs ar sin ϑ
p
1 − rsr/Σ
e(3) = ± p √ ∂t ∓ √ ∂ϕ . (2.14.11b)
c 1 − rsr/Σ ∆Σ ∆ sin ϑ
Photon orbits:
The direct(-) and retrograd(+) photon orbits have radius
2 ∓2a
rpo = rs 1 + cos arccos . (2.14.12)
3 rs
Euler-Lagrange:
The Euler-Lagrangian formalism, Sec. 1.8.4, for geodesics in the ϑ = π /2 hyperplane yields
1 2
ṙ + Veff = 0 (2.14.15)
2
with the effective potential
k2 3 κ c2 ∆
1 2 ahk 2
(2.14.16)
Veff = 3 h (r − rs ) + 2 rs − 2 r + a (r + rs ) − 2
2r c c r
Further reading:
Boyer and Lindquist[BL67], Wilkins[Wil72], Brill[BC66].
54 CHAPTER 2. SPACETIMES
rs Λr2 2 2
2 1
ds = − 1 − − c dt + dr2 + r2 dΩ2 , (2.15.1)
r 3 1 − rs /r − Λr2 /3
where rs = 2GM/c2 is the Schwarzschild radius, G is Newton’s constant, c is the speed of light, M is
the mass of the black hole, and Λ is the cosmological constant. If Λ > 0 the metric is also known as
Schwarzschild-deSitter metric, whereas if Λ < 0 it is called Schwarzschild-anti-deSitter.
For the following, we define the two abbreviations
rs Λr2 rs 2Λ 2
α = 1− − and β= − r . (2.15.2)
r 3 r 3
The critical points of the Kottler metric follow from the roots of the cubic equation α = 0. These can be
found by means of the parameters p = −1/Λ and q = 3rs /(2Λ). If Λ < 0, we have only one real root
3rs √
2 1
r1 = √ sinh arsinh −Λ . (2.15.3)
−Λ 3 2
If Λ > 0, we have to distinguish whether D ≡ q2 + p3 = 9rs2 /(4Λ2 ) − Λ−3 is positive or negative. If D > 0,
there is no real positive root. For D < 0, the two real positive roots read
π 1 3rs √
2
r± = √ cos ± arccos Λ (2.15.4)
Λ 3 3 2
Christoffel symbols:
c2 αβ β β
Γttr = , Γttr = , Γrrr = − , (2.15.5a)
2r 2rα 2rα
1 ϕ 1
Γϑrϑ = , Γrϕ = , Γϑr ϑ = −α r, (2.15.5b)
r r
ϕ ϑ
Γϑ ϕ = cot ϑ , Γϕϕ
r
= −α r sin2 ϑ , Γϕϕ = − sin ϑ cos ϑ . (2.15.5c)
Riemann-Tensor:
c2 3rs + Λr3
1
Rtrtr =− , Rt ϑ t ϑ = c2 αβ , (2.15.6a)
3r3 2
1 β
Rt ϕ t ϕ = c2 αβ sin2 ϑ , Rr ϑ r ϑ = − , (2.15.6b)
2 2α
β Λr3
Rr ϕ r ϕ =− sin2 ϑ , Rϑ ϕϑ ϕ = r rs + sin2 ϑ . (2.15.6c)
2α 3
Ricci-Tensor:
Λ
Rtt = −c2 α Λ, Rrr = , Rϑ ϑ = Λr2 , Rϕϕ = Λr2 sin2 ϑ . (2.15.7)
α
The Ricci scalar and the Kretschmann scalar read
rs2 8Λ2
R = 4Λ, K = 12 + . (2.15.8)
r6 3
Weyl-Tensor:
c2 rs c2 α rs c2 α rs sin2 ϑ
Ctrtr = − , Ct ϑ t ϑ = , Ct ϕ t ϕ = , (2.15.9a)
r3 2r 2r
rs rs sin2 ϑ
Crϑ rϑ =− , Crϕ rϕ =− , Cϑ ϕϑ ϕ = rrs sin2 ϑ . (2.15.9b)
2rα 2rα
2.15. KOTTLER SPACETIME 55
Local tetrad:
1 √ 1 1
e(t) = √ ∂t , e(r) = α∂r , e(ϑ ) = ∂ϑ , e(ϕ ) = ∂ϕ . (2.15.10)
c α r r sin ϑ
Dual tetrad:
√ dr
θ (t) = c α dt, θ (r) = √ , θ (ϑ ) = r d ϑ , θ (ϕ ) = r sin ϑ d ϕ . (2.15.11)
α
Λr3 + 3rs
R(t)(r)(t)(r) = −R(ϑ )(ϕ )(ϑ )(ϕ ) = − , (2.15.14a)
3r3
3rs − 2Λr3
R(t)(ϑ )(t)(ϑ ) = R(t)(ϕ )(t)(ϕ ) = −R(r)(ϑ )(r)(ϑ ) = −R(r)(ϕ )(r)(ϕ ) = . (2.15.14b)
6r3
Embedding:
The embedding function follows from the numerical integration of
s
dz rs /r + Λr2 /3
= . (2.15.16)
dr 1 − rs/r − Λr2 /3
Euler-Lagrange:
The Euler-Lagrangian formalism[Rin01] yields the effective potential
rs Λr2
2
1 h
Veff = 1− − − κ c 2
(2.15.17)
2 r 3 r2
with the constants of motion k = (1 − rs/r − Λr2 /3)c2t˙, h = r2 ϕ̇ , and κ as in Eq. (1.8.2).
As in the Schwarzschild metric, the effective potential has only one extremum for null geodesics, the so
called photon orbit at r = 32 rs . For timelike geodesics, however, we have
Further reading:
Kottler[Kot18], Weyl[Wey19], Hackmann[HL08], Cruz[COV05].
56 CHAPTER 2. SPACETIMES
2.16 Morris-Thorne
The most simple wormhole geometry is represented by the metric of Morris and Thorne[MT88],
where b0 is the throat radius and l is the proper radial coordinate; and {t ∈ R, l ∈ R, ϑ ∈ (0, π ), ϕ ∈ [0, 2π )}.
Christoffel symbols:
l ϕ l
Γϑl ϑ = , Γl ϕ = , Γϑl ϑ = −l, (2.16.2a)
b20 + l 2 b20 + l 2
ϕ ϑ
Γϑ ϕ = cot ϑ , Γlϕϕ = −l sin ϑ , 2
Γϕϕ = − sin ϑ cos ϑ . (2.16.2b)
Partial derivatives
l 2 − b20 ϕ l 2 − b20
Γϑl ϑ ,l = − , Γl ϕ ,l = − , Γϑl ϑ ,l = −1, (2.16.3a)
(b20 + l 2 )2 (b20 + l 2 )2
ϕ 1
Γϑ ϕ ,ϑ =− 2 , Γlϕϕ ,l = − sin2 ϑ , Γϕϕ
l
,ϑ = −l sin(2ϑ ), (2.16.3b)
sin ϑ
ϑ
Γϕϕ ,ϑ = − cos(2ϑ ). (2.16.3c)
Riemann-Tensor:
b20 b20 sin2 ϑ
Rl ϑ l ϑ = − 2
, Rl ϕ l ϕ = − , Rϑ ϕϑ ϕ = b20 sin2 ϑ . (2.16.4)
b0 + l 2 b20 + l 2
Ricci tensor, Ricci and Kretschmann scalar:
b20 b20 12b40
Rll = −2 2 , R = −2 2 , K = 4 . (2.16.5)
b20 + l 2 b20 + l 2 b20 + l 2
Weyl-Tensor:
Local tetrad:
1 1 1
e(t) = ∂t , e(l) = ∂l , e(ϑ ) = q ∂ϑ , e(ϕ ) = q ∂ϕ . (2.16.7)
c 2
b0 + l 2 b0 + l 2 sin ϑ
2
Dual tetrad
q q
θ (t) = c dt, θ (l) = dl, θ (ϑ ) = b20 + l 2 d ϑ , θ (ϕ ) = b20 + l 2 sin ϑ d ϕ . (2.16.8)
b20
R(l)(ϑ )(l)(ϑ ) = R(l)(ϕ )(l)(ϕ ) = −R(ϑ )(ϕ )(ϑ )(ϕ ) = − 2 . (2.16.11)
b20 + l 2
2b20
R(l)(l) = − 2 . (2.16.12)
b20 + l 2
2b20
C(t)(l)(t)(l) = −C(ϑ )(ϕ )(ϑ )(ϕ ) = − 2 , (2.16.13a)
3 b20 + l 2
b20
C(t)(ϑ )(t)(ϑ ) = C(t)(ϕ )(t)(ϕ ) = −C(l)(ϑ )(l)(ϑ ) = −C(l)(ϕ )(l)(ϕ ) = 2 . (2.16.13b)
3 b20 + l 2
Embedding:
The embedding function reads
s
2
r r
z(r) = ±b0 ln + − 1 (2.16.14)
b0 b0
with r2 = b20 + l 2 .
Euler-Lagrange:
The Euler-Lagrangian formalism, Sec. 1.8.4, for geodesics in the ϑ = π /2 hyperplane yields
1 k2 h2
1 ˙2 1
l + Veff = , Veff = − κc ,
2
(2.16.15)
2 2 c2 2 b20 + l 2
with the constants of motion k = c2t˙ and h = (b20 + l 2 )ϕ̇ . The shape of the effective potential Veff is inde-
pendend of the geodesic type. The maximum of the effective potential is located at l = 0.
A geodesic that starts at l = li with direction y = ±e(t) + cos ξ e(l) + sin ξ e(ϕ ) approaches the wormhole
throat asymptotically for ξ = ξcrit with
b0
ξcrit = arcsin q . (2.16.16)
b20 + li2
Further reading:
Ellis[Ell73], Visser[Vis95], Müller[Mül04, Mül08a]
58 CHAPTER 2. SPACETIMES
4/3
R 3√
ds = −d τ +
2 2
2/3 dR + R − 2 rs τ
2 3/2
d ϑ 2 + sin2 ϑ d ϕ 2 . (2.17.1)
3√
R − 2 rs τ
3/2
Christoffel symbols:
√ √
1 rs rs
ΓτRR = √ , Γϑτϑ = − √ , (2.17.2a)
2 R3/2 − 32 rs τ R3/2 − 23 rs τ
√ √
ϕ rs τ R rs
Γτϕ = − 3/2 3 √ , ΓRR = √ 5/3 , (2.17.2b)
R − 2 rs τ 2 R3/2 − 23 rs τ
√ √
3 rs τ ϑ R
ΓRRR = − √ , ΓRϑ = 3/2 3 √ , (2.17.2c)
4 R3/2 − 23 rs τ R R − 2 rs τ
√ 1/3
ϕ R √ 3√
ΓRϕ = 3/2 3 √ , Γτϑ ϑ = − rs R3/2 − rs τ , (2.17.2d)
R − 2 rs τ 2
√
R3/2 − 23 rs τ ϕ
ΓRϑ ϑ = − √ , Γϑ ϕ = cot ϑ , (2.17.2e)
R
1/3
τ √ 3√ ϑ
Γϕϕ = − rs R − 3/2
rs τ sin2 ϑ , Γϕϕ = − sin ϑ cos ϑ , (2.17.2f)
2
√
R3/2 − 32 rs τ sin2 ϑ
Γϕϕ = −
R
√ . (2.17.2g)
R
Riemann-Tensor:
Rrs 1 rs
Rτ R τ R = − √ 8/3 , Rτϑ τϑ = , (2.17.3a)
R − 32 rs τ
3/2 2 R3/2 − 3 √rs τ 2/3
2
1 rs sin2 ϑ 1 Rrs
Rτϕτϕ = √ 2/3 , RR ϑ R ϑ = − , (2.17.3b)
2 R3/2 − 32 rs τ 2 R3/2 − 3 √r τ 4/3
2 s
Rrs sin2 ϑ
2/3
1 3√
RR ϕ R ϕ = − , Rϑ ϕϑ ϕ = R3/2 − rs τ rs sin2 ϑ . (2.17.3c)
2 R3/2 − 3 √r τ 4/3 2
2 s
rs2
K = 12 √ 4 . (2.17.4)
R3/2 − 32 rs τ
Local tetrad:
√ 1/3
R3/2 − 32 rs τ
e(τ ) = ∂τ , e(R) = √ ∂R , (2.17.5a)
R
1 1
e(ϑ ) =
3√
2/3 ∂ϑ , e(ϕ ) = √ 2/3 ∂ϕ . (2.17.5b)
2 rs τ R3/2 − 2 rs τ sin ϑ
3
R3/2 −
2.17. OPPENHEIMER-SNYDER COLLAPSE 59
The Ricci tensor with respect to the local tetrad vanishes identically.
3 √ −3/2 4/3 2
ds2 = −d τ 2 + 1 − rs Rb τ dR + R2 d ϑ 2 + sin2 ϑ d ϕ 2 . (2.17.9)
2
3 √ −3/2
AOin := 1 − rs Rb τ . (2.17.10)
2
Christoffel symbols:
√ −3/2 √ −3/2 √ −3/2
rs Rb rs Rb ϕ rs Rb
ΓτRR = − , Γϑτϑ = − , Γτϕ = − , (2.17.11a)
AOin AOin AOin
1/3√ 1 ϕ 1
ΓτRR = −AOin rs Rb , ΓϑRϑ = ,
−3/2
ΓRϕ = , (2.17.11b)
R R
ϕ 1/3√
Γϑτ ϑ
−3/2
ΓϑR ϑ = −R, Γϑ ϕ = cot ϑ , = −AOin rs Rb R2 , (2.17.11c)
ϑ τ 1/3√ −3/2
ΓRϕϕ = −R sin2 ϑ , Γϕϕ = − sin ϑ cos ϑ , Γϕϕ = −AOin rs Rb R2 sin2 ϑ . (2.17.11d)
Riemann-Tensor:
1 rs 1 rs R2 1 rs R2 sin2 ϑ
Rτ R τ R = , Rτϑ τϑ = , Rτϕτϕ = , (2.17.12a)
2 R3 A2/3 2 R3 A2/3 2 R3 A2/3
b Oin b Oin b Oin
rs R2 sin2 ϑ 2/3 rs R2 2/3 rs R4 sin2 ϑ 2/3
RR ϕ R ϕ = AOin , RR ϑ R ϑ = A , Rϑ ϕϑ ϕ = AOin . (2.17.12b)
R3b R3b Oin R3b
Ricci-Tensor:
3 rs 3 rs 3 rs R2 3 rs R2 sin2 ϑ
Rττ = , RRR = , Rϑ ϑ = , Rϕϕ = . (2.17.13)
2 R3b A2Oin 2 R3 A2/3 2 R3 A2/3 2 R3 A2/3
b Oin b Oin b Oin
60 CHAPTER 2. SPACETIMES
Local tetrad:
1 1 1
e(τ ) = ∂τ , e(R) = ∂ ,
2/3 R
e(ϑ ) = ∂ ,
2/3 ϑ
e(ϕ ) = 2/3
∂ϕ . (2.17.15)
AOin RAOin AOin R sin ϑ
rs R−3
b
R(τ )(R)(τ )(R) = R(τ )(ϑ )(τ )(ϑ ) = R(τ )(ϕ )(τ )(ϕ ) = , (2.17.18a)
2A2Oin
rs R−3
b
R(R)(ϑ )(R)(ϑ ) = R(R)(ϕ )(R)(ϕ ) = R(ϑ )(ϕ )(ϑ )(ϕ ) = . (2.17.18b)
A2Oin
3rs R−3
b
R(τ )(τ ) = R(R)(R) = R(ϑ )(ϑ ) = R(ϕ )(ϕ ) = . (2.17.19)
2A2Oin
Further reading:
Oppenheimer and Snyder[OS39].
2.18. PETROV-TYPE D – LEVI-CIVITA SPACETIMES 61
2.18.1 Case AI
In spherical coordinates, (t, r, ϑ , ϕ ), the metric is given by the line element
r r−b 2
ds2 = r2 d ϑ 2 + sin2 ϑ d ϕ 2 + dr2 −
dt . (2.18.1)
r−b r
This is the well known Schwarzschild solution if b = rs , cf. Eq. (2.2.1). Coordinates and parameters are
restricted to
t∈ R, 0 < ϑ < π, ϕ ∈ [0, 2π ), (0 < b < r) ∨ (b < 0 < r).
Local tetrad:
r r
r r−b 1 1
e(t) = ∂t , e(r) = ∂r , e(ϑ ) = ∂ϑ , e(ϕ ) = ∂ϕ . (2.18.2)
r−b r r r sin ϑ
Dual tetrad:
r r
r−b r
θ (t)
= dt, θ (r)
= dr, θ (ϑ ) = r d ϑ , θ (ϕ ) = r sin ϑ d ϕ . (2.18.3)
r r−b
Effective potential:
With the Hamilton-Jacobi formalism it is possible to obtain an effective potential fulfilling 12 ṙ2 + 21 Veff (r) =
1 2
2 C0 with
r−b r−b
Veff (r) = K −κ (2.18.4)
r3 r
and the constants of motion
2
2 2 r−b
C0 = t ˙ , (2.18.5a)
r
K = ϑ̇ 2 r4 + ϕ̇ 2r4 sin2 ϑ . (2.18.5b)
z b−z 2
ds2 = z2 dr2 + sinh2 r d ϕ 2 + dz2 − (2.18.6)
dt .
b−z z
Local tetrad:
r r
z 1 1 b−z
e(t) = ∂t , e(r) = ∂r , e(ϕ ) = ∂ϕ , e(z) = ∂z . (2.18.7)
b−z z z sinh r z
Dual tetrad:
r r
b−z (ϕ ) z
θ (t)
= dt, θ (r)
= z dr, θ = z sinh r d ϕ , θ (z)
= dz. (2.18.8)
z b−z
62 CHAPTER 2. SPACETIMES
1
ds2 = z2 dr2 + r2 d ϕ 2 + zdz2 − dt 2 . (2.18.9)
z
Local tetrad:
√ 1 1 1
e(t) = z∂t , e(r) = ∂r , e(ϕ ) = ∂ϕ , e(z) = √ ∂z . (2.18.10)
z zr z
Dual tetrad:
1 √
θ (t) = √ dt, θ (r) = z dr, θ (ϕ ) = zr d ϕ , θ (z) = z dz. (2.18.11)
z
2.18.4 Case BI
In spherical coordinates, the metric is given by the line element
r r−b 2
ds2 = r2 d ϑ 2 − sin2 ϑ dt 2 + dr2 + dϕ .
(2.18.12)
r−b r
Local tetrad:
r r
1 r−b 1 r
e(t) = ∂t , e(r) = ∂r , e(ϑ ) = ∂ϑ , e(ϕ ) = ∂ϕ . (2.18.13)
r sin ϑ r r r−b
Dual tetrad:
r r
r (ϑ ) (ϕ ) r−b
θ (t)
= r sin ϑ dt, θ (r)
= dr, θ = r dϑ , θ = dϕ . (2.18.14)
r−b r
Effective potential:
With the Hamilton-Jacobi formalism, an effective potential for the radial coordinate can be calculated
fulfilling 12 ṙ2 + 12 Veff (r) = 21 C02 with
r−b r−b
Veff (r) = K −κ (2.18.15)
r3 r
and the constants of motion
r−b 2
C02 = ϕ̇ 2 , (2.18.16a)
r
K = ϑ̇ 2 r4 − t˙2 r4 sin2 ϑ . (2.18.16b)
Note that the metric is not spherically symmetric. Particles or light rays fall into one of the poles if they
are not moving in the ϑ = π2 plane.
2.18. PETROV-TYPE D – LEVI-CIVITA SPACETIMES 63
z b−z 2
ds2 = z2 dr2 − sinh2 r dt 2 + dz2 + dϕ .
(2.18.17)
b−z z
Local tetrad:
r r
1 1 z b−z
e(t) = ∂t , e(r) = ∂r , e(ϕ ) = ∂ϕ , e(z) = ∂z . (2.18.18)
z sinh r z b−z z
Dual tetrad:
r r
b−z z
θ (t) = z sinh r dt, θ (r) = z dr, θ (ϕ ) = dϕ , θ (z) = dz. (2.18.19)
z b−z
1
ds2 = z2 dr2 − r2 dt 2 + zdz2 + d ϕ 2 . (2.18.20)
z
Local tetrad:
1 1 √ 1
e(t) = ∂t , e(r) = ∂r , e(ϕ ) = z ∂ϕ , e(z) = √ ∂z . (2.18.21)
zr z z
Dual tetrad:
1 √
θ (t) = zr dt, θ (r) = z dr, θ (ϕ ) = √ d ϕ , θ (z) = z dz. (2.18.22)
z
2.18.7 Case C
The metric is given by the line element
1 1 1
ds2 = dx2 + f (x)d ϕ 2 − dy2 + f (−y)dt 2 (2.18.23)
(x + y)2 f (x) f (−y)
Local tetrad:
1 p
e(t) = (x + y) p ∂t , e(x) = (x + y) x3 + ax + b ∂x , (2.18.24a)
3
−y − ay + b
1
e(y) = (x + y) −y3 − ay + b ∂y , ∂ϕ ,
p
e(ϕ ) = (x + y) √ (2.18.24b)
3
x + ax + b
64 CHAPTER 2. SPACETIMES
Dual tetrad:
1 p 3 1 1
θ (t) = −y − ay + bdt, θ (x) = √ dx, (2.18.25a)
x+y x + y x + ax + b
3
1 1 1 p 3
θ (y) = p dy, θ (ϕ ) = x + ax + bd ϕ , (2.18.25b)
x + y −y3 − ay + b x+y
A coordinate change can eliminate the linear term in the polynom f generating a quadratic term instead.
This brings the line element to the form
1 1 1
ds2 = dx2 + f (x)d p2 − dy2 + f (−y)dq2 (2.18.26)
A(x + y)2 f (x) f (−y)
1 h ρ 2 λ
− eλ dr2 − r2 e−ρ d ϕ 2
i
ds2 = e r (z dt − t dz)2
− e (z dz − t dt)2
(2.18.27)
z2 − t 2
with
R3 + R + Z3 − r2
eρ = ,
4α (R1 + R + Z1 − r2 )
2
1
q= ,
4α 2
and z3 < z1 < z2 the roots of 2A4 z3 − A2z2 + m2 .
Local tetrad:
Case z2 − t 2 > 0:
1
qze−ρ /2 ∂t + te−λ /2 ∂z , , e(r) = e−λ /2 ∂r ,
e(t) = √ (2.18.28a)
z2 − t 2
1
qte−ρ /2 ∂t + ze−λ /2 ∂z , , e(ϕ ) = reρ /2 ∂ϕ .
e(z) = √ (2.18.28b)
z2 − t 2
Case z2 − t 2 < 0:
1
qte−ρ /2 ∂t + ze−λ /2 ∂z , , e(r) = e−λ /2 ∂r ,
e(t) = √ (2.18.29a)
t 2 − z2
1
qze−ρ /2 ∂t + te−λ /2 ∂z , , e(ϕ ) = reρ /2 ∂ϕ .
e(z) = √ (2.18.29b)
t 2 − z2
2.18. PETROV-TYPE D – LEVI-CIVITA SPACETIMES 65
Dual tetrad:
Case z2 − t 2 > 0:
eρ 1
r
θ (t) = (z dt + t dz) , θ (r) = eλ dr, (2.18.30a)
z2 − t 2 q
s
eλ 1
θ (z) = (t dt + z dz) , θ (ϕ ) = dϕ . (2.18.30b)
z2 − t 2 reρ
Case z2 − t 2 > 0:
s
eλ
θ (t) = (t dt + z dz) , θ (r) = eλ dr, (2.18.31a)
t 2 − z2
eρ
r
1 1
θ (z)
= (z dt + t dz) , θ (ϕ ) = dϕ . (2.18.31b)
t 2 − z2 q reρ
66 CHAPTER 2. SPACETIMES
where a is the longitudinal extension of the wave. The functions L (u) and m (u) are
s
u3 u4 √ Z u2 + au
L (u) = 1 − u + 2 + 3 , m (u) = ±2 3 du. (2.19.3)
a 2a 2a3 u − 2au3 − u4 − 2a3
Christoffel symbols:
1 ∂p ∂q 1 ∂q ∂p
Γty
y
= −Γyxy = , Γtzz = Γxzz = q , Γtz
z
= −Γzxz = , Γtyy = Γxyy = p . (2.19.4)
p ∂u ∂u q ∂u ∂u
Riemann-Tensor:
∂2p ∂ 2q
Rtyty = Rxyxy = −Rtyxy = −p , Rtztz = Rxzxz = −Rtzxz = −q . (2.19.5)
∂ u2 ∂ u2
Local tetrad:
1 1
e(t) = ∂t , e(x) = ∂x , e(y) = ∂y , e(z) = ∂z . (2.19.6)
p q
Dual tetrad:
2.20 Reissner-Nordstrøm
The Reissner-Nordstrøm black hole in spherical coordinates {t ∈ R, r ∈ R+, ϑ ∈ (0, π ), ϕ ∈ [0, 2π )} is de-
fined by the metric[MTW73]
RN dr + r d ϑ + sin ϑ d ϕ ,
ds2 = −ARN c2 dt 2 + A−1 2 2 2 2 2
(2.20.1)
where
rs ρ Q2
ARN = 1 − + 2 (2.20.2)
r r
with rs = 2GM/c2 , the charge Q, and ρ = G/(ε0 c4 ) ≈ 9.33 · 10−34. As in the Schwarzschild case, there is a
true curvature singularity at r = 0. However, for Q2 < rs2 /(4ρ ) there are also two critical points at
s
rs rs 4 ρ Q2
r= ± 1− . (2.20.3)
2 2 rs2
Christoffel symbols:
ARN c2 (rs r − 2ρ Q2 ) rs r − 2ρ Q2 rs r − 2ρ Q2
Γttr = , Γttr = , Γrrr = − , (2.20.4a)
2r3 2r3 ARN 2r3 ARN
1 ϕ 1
Γϑrϑ = , Γrϕ = , Γϑr ϑ = −rARN , (2.20.4b)
r r
ϕ ϑ
Γϑ ϕ = cot ϑ , Γrϕϕ = −rARN sin2 ϑ , Γϕϕ = − sin ϑ cos ϑ . (2.20.4c)
Riemann-Tensor:
Ricci-Tensor:
c2 ρ Q2 ARN ρ Q2 ρ Q2 ρ Q2 sin2 ϑ
Rtt = , Rrr = − , Rϑ ϑ = , Rϕϕ = . (2.20.6)
r4 r4 ARN r2 r2
While the Ricci scalar vanishes identically, the Kretschmann scalar reads
Weyl-Tensor:
Local tetrad:
1 1 1
∂t , ARN ∂r , e(ϑ ) = ∂ϑ , ∂ϕ .
p
e(t) = √ e(r) = e(ϕ ) = (2.20.9)
c ARN r r sin ϑ
Dual tetrad:
dr
θ (t) = c ARN dt, θ (r) = √ θ (ϑ ) = r d ϑ , θ (ϕ ) = r sin ϑ d ϕ .
p
, (2.20.10)
ARN
Euler-Lagrange:
The Euler-Lagrangian formalism, Sec. 1.8.4, for geodesics in the ϑ = π /2 hyperplane yields
1 k2 rs ρ Q2
2
1 2 1 h
ṙ + Veff = , Veff = 1− + 2 − κc 2
(2.20.17)
2 2 c2 2 r r r2
with constants of motion k = ARN c2t˙ and h = r2 ϕ̇ . For null geodesics, κ = 0, there are two extremal points
s !
3 32ρ Q2
r± = rs 1 ± 1 − , (2.20.18)
4 9rs2
where α 2 = 3/Λ.
Christoffel symbols:
χ 1 τ 1 τ ϕ 1 τ
Γτ χ = tanh , Γϑτϑ = tanh , Γτϕ = tanh , (2.21.2a)
α α α α α α
τ τ ϕ
Γτχ χ = α sinh cosh , Γϑχϑ = cot χ , Γχϕ = cot χ , (2.21.2b)
α α
τ τ χ ϕ
Γϑτ ϑ = α sin2 χ sinh cosh , Γϑ ϑ = − sin χ cos χ , Γϑ ϕ = cot ϑ , (2.21.2c)
α α
τ τ τ χ ϑ
Γϕϕ = α sin2 χ sin2 ϑ sinh cosh , Γϕϕ = − sin2 ϑ sin χ cos χ ,Γϕϕ = − sin ϑ cos ϑ . (2.21.2d)
α α
Riemann-Tensor:
τ τ
Rτ χτ χ = − cosh2 , Rτϑ τϑ = − cosh2 sin2 χ , (2.21.3a)
α α
τ τ 2 2
Rτϕτϕ = − cosh2 sin2 χ sin2 ϑ , Rχϑ χϑ = α 2 1 + sinh2 sin χ , (2.21.3b)
α α
τ 2 2 τ 2 4
Rχϕ χϕ = α 1 + sinh2
2
sin χ sin2 ϑ , Rϑ ϕϑ ϕ = α 2 1 + sinh2 sin χ sin2 ϑ . (2.21.3c)
α α
Ricci-Tensor:
3 τ τ τ
Rττ = − , Rχ χ = 3 cosh2 , Rϑ ϑ = 3 cosh2 sin2 χ , Rϕϕ = 3 cosh2 sin2 χ sin2 ϑ . (2.21.4)
α2 α α α
Ricci and Kretschmann scalars:
12 24
R= , K = . (2.21.5)
α2 α4
Local tetrad:
1 1 1
e(τ ) = ∂τ , e( χ ) = ∂χ , e(ϑ ) = ∂ϑ , e(ϕ ) = ∂ϕ . (2.21.6)
α cosh ατ α cosh ατ sin χ α cosh ατ sin χ sin ϑ
Dual tetrad:
τ τ τ
θ (τ ) = d τ , θ (χ ) = α cosh dχ, θ (ϑ ) = α cosh sin χ d ϑ , θ (ϕ ) = α cosh sin χ sin ϑ d ϕ . (2.21.7)
α α α
α2
ds2 = −d η 2 + d χ 2 + sin2 χ d ϑ 2 + sin2 ϑ d ϕ 2 . (2.21.8)
sin η
2
70 CHAPTER 2. SPACETIMES
η = 2 arctan eτ /α .
(2.21.9)
For the transformation (T, R) → (η , χ ), we have to take care of the coordinate domains. In that case, if
κ 2 − T 2 + r2 < 0, we have to map η → η + π . On the other hand, if κ 2 + T 2 − r2 < 0, we have to consider
the sign of r. If r > 0, then χ → χ + π , otherwise χ → χ − π .
The resulting metric reads
α2
ds2 = −dT 2 + dr2 + r2 d ϑ 2 + sin2 ϑ d ϕ 2 .
2
(2.21.11)
T
ϕ 1 ϕ 1 r2
ΓTT T = ΓrTr = ΓϑT ϑ = ΓT ϕ = ΓTrr = − , Γϑrϑ = Γrϕ = , ΓϑT ϑ = − , Γϑr ϑ = −r, (2.21.12a)
T r T
ϕ r2 sin2 ϑ ϑ
Γϑ ϕ = cot ϑ , Γϕϕ T
=− , Γϕϕ
r
= −r sin2 ϑ , Γϕϕ = − sin ϑ cos ϑ . (2.21.12b)
T
Riemann-Tensor:
α2 α 2 r2 α 2 r2 sin2 ϑ
RTrTr = − , RT ϑ T ϑ = − , RT ϕ T ϕ = − , (2.21.13a)
T4 T4 T4
α 2 r2 α 2 r2 sin2 ϑ α 2 r4 sin2 ϑ
Rr ϑ r ϑ = 4 , Rr ϕ r ϕ = , Rϑ ϕϑ ϕ = . (2.21.13b)
T T4 T4
Ricci-Tensor:
3 3 3r2 3r2 sin2 ϑ
RT T = − , Rrr = , Rϑ ϑ = , Rϕϕ = . (2.21.14)
T2 T2 T2 T2
The Ricci and Kretschmann scalar read:
12 24
R= , K = . (2.21.15)
α2 α4
Local tetrad:
T T T T
e(T ) = ∂T , e(r) = ∂r , e(ϑ ) = ∂ϑ , e(ϕ ) = ∂ϕ . (2.21.16)
α α αr α r sin ϑ
Christoffel symbols:
(Λr2 − 3) 2 Λr Λr
Γttr = c Λr, Γttr = , Γrrr = , (2.21.19a)
9 Λr2 − 3 3 − Λr2
1 φ 1 (Λr2 − 3)r
Γϑrϑ = , Γrφ = , Γϑr ϑ = , (2.21.19b)
r r 3
φ Λr2 − 3
Γϑ φ = cot(ϑ ), Γrφ φ = r sin2 (ϑ ), Γφϑφ = − sin(ϑ ) cos(ϑ ). (2.21.19c)
3
Riemann-Tensor:
Λ 3 − Λr2 2 2 3 − Λr2 2 2
Rtrtr = − c2 , Rt ϑ t ϑ = − c Λr , Rt ϕ t ϕ = − c Λr sin(ϑ )2 , (2.21.20a)
3 9 9
Λr2 Λr2 sin(θ )2 r4 sin2 (θ )Λ
Rr ϑ r ϑ = , Rr ϕ r ϕ = , Rϑ ϕϑ ϕ = . (2.21.20b)
−Λr2 + 3 −Λr2 + 3 3
Ricci-Tensor:
Λr2 − 3 2 3Λ
Rtt = c Λ, Rrr = , Rϑ ϑ = Λr2 , Rϕϕ = r2 sin2 (ϑ )Λ. (2.21.21)
3 3 − Λr2
8
R = 4Λ, K = Λ2 . (2.21.22)
3
Local tetrad:
∂t Λr2
r r
3 1 1
e(t) = , e(r) = 1− ∂r , e(ϑ ) = ∂ϑ , e(ϕ ) = ∂ϕ . (2.21.23)
3 − Λr2 c 3 r r sin(ϑ )
1
−R(t)(r)(t)(r) = −R(t)(ϑ )(t)(ϑ ) = −R(t)(ϕ )(t)(ϕ ) = R(r)(ϑ )(r)(ϑ ) = R(r)(ϕ )(r)(ϕ ) = R(ϑ )(ϕ )(ϑ )(ϕ ) = Λ. (2.21.26)
3
q
with Hubble’s Parameter H = Λc3 = αc , which is assumed here to be time-independent.
2
This a special case of the first and second form of the Friedman-Robertson-Walker metric defined in Eqs.
(2.9.2) and (2.9.12) with R(t) = eHt and k = 0.
Christoffel symbols:
ϕ
Γtr
r
= H, Γtϑϑ = H, Γt ϕ = H, (2.21.29a)
e2Ht H 1 ϕ 1
Γtrr = , Γϑrϑ = , Γrϕ = , (2.21.29b)
c2 r r
e2Ht r2 H ϕ
Γtϑ ϑ = , Γrϑ ϑ = −r, Γϑ ϕ = cot(ϑ ), (2.21.29c)
c2
e2Ht r2 sin2 (θ )H ϑ
Γtϕϕ = , Γϕϕ
r
= −r sin(ϑ )2 , Γϕϕ = − sin(ϑ ) cos(ϑ ). (2.21.29d)
c2
Riemann-Tensor:
Rtrtr = −e2Ht H 2 , Rt ϑ t ϑ = −e2Ht r2 H 2 , (2.21.30a)
e4Ht r2 H 2
Rt ϕ t ϕ = −e2Ht r2 sin2 (ϑ )H 2 , Rr ϑ r ϑ = , (2.21.30b)
c2
e4Ht r2 sin2 (ϑ )H 2 e4Ht r4 sin2 (ϑ )H 2
Rr ϕ r ϕ = , Rϑ ϕϑ ϕ = . (2.21.30c)
c2 c2
Ricci-Tensor:
e2Ht H 2 e2Ht r2 H 2 e2Ht r2 sin2 (ϑ )H 2
Rtt = −3H 2 , Rrr = 3 , Rϑ ϑ = 3 , Rϕϕ = 3 . (2.21.31)
c2 c2 c2
Ricci and Kretschmann scalars:
12H 2 24H 4
R= , K = . (2.21.32)
c2 c4
Local tetrad:
1 e−Ht e−Ht
e(t) = ∂t , e(r) = e−Ht ∂r , e(ϑ ) = ∂ϑ , e(ϕ ) = ∂ϕ . (2.21.33)
c r r sin ϑ
Ricci rotation coefficients:
H
γ(r)(t)(r) = γ(ϑ )(t)(ϑ ) = γ(ϕ )(t)(ϕ ) = (2.21.34a)
c
1 cot(θ )
γ(ϑ )(r)(ϑ ) = γ(ϕ )(r)(ϕ ) = , γ(ϕ )(ϑ )(ϕ ) = . (2.21.34b)
eHt r eHt r
The contractions of the Ricci rotation coefficients read
H 2 cot(θ )
γ(t) = 3 , γ(r) = , γ(ϑ ) = . (2.21.35)
c eHt r eHt r
Riemann-Tensor with respect to local tetrad:
H2
R(t)(r)(t)(r) = R(t)(ϑ )(t)(ϑ ) = R(t)(ϕ )(t)(ϕ ) = − (2.21.36a)
c2
H2
R(r)(ϑ )(r)(ϑ ) = R(r)(ϕ )(r)(ϕ ) = R(ϑ )(ϕ )(ϑ )(ϕ ) = 2 . (2.21.36b)
c
2.21. DE SITTER SPACETIME 73
Christoffel symbols:
Γtx
x
= H, Γty
y
= H, Γtz
z
= H, (2.21.39a)
e2Ht H e2Ht H e2Ht H
Γtxx = , Γtyy = , Γtzz = . (2.21.39b)
c2 c2 c2
(2.21.39c)
Partial derivatives
2H 2 e2Ht
Γtxx,t = Γtyy,t = Γtzz,t = . (2.21.40)
c2
Riemann-Tensor:
e4Ht H 2
Rtxtx = Rtxtx = Rtztz = −e2Ht H 2 , Rxyxy = Rxzxz = Ryzyz = . (2.21.41)
c2
Ricci-Tensor:
e2Ht H 2
Rtt = −3H 2 , Rxx = Ryy = Rzz = 3 . (2.21.42)
c2
The Ricci and Kretschmann scalar read:
H2 H4
R = 12 , K = 24 . (2.21.43)
c2 c4
Local tetrad:
1
e(t) = ∂t , e(x) = e−Ht ∂x , e(y) = e−Ht ∂y , e(z) = e−Ht ∂z . (2.21.44)
c
Ricci rotation coefficients:
H
γ(x)(t)(x) = γ(y)(t)(y) = γ(z)(t)(z) =
. (2.21.45)
c
The only non-vanishing contraction of the Ricci rotation coefficients read
H
γ(t) = 3 . (2.21.46)
c
Riemann-Tensor with respect to local tetrad:
H2
R(t)(x)(t)(x) = R(t)(y)(t)(y) = R(t)(z)(t)(z) = − , (2.21.47a)
c2
H2
R(x)(y)(x)(y) = R(x)(z)(x)(z) = R(y)(z)(y)(z) = 2 . (2.21.47b)
c
Ricci-Tensor with respect to local tetrad:
H2
−R(t)(t) = R(x)(x) = R(y)(y) = R(z)(z) = 3 . (2.21.48)
c2
Further reading:
Tolman[Tol34, sec. 142], Bičák[BK01]
74 CHAPTER 2. SPACETIMES
R
where a ∈ and k > 0 are two parameters, see Perlick[Per04].
Metric-Tensor:
Christoffel symbols:
a ϕ 1 ρ
Γtρϕ = , Γρϕ = , Γϕϕ = −k2 ρ . (2.22.3)
cρ ρ
Partial derivatives
α ϕ 1 ρ
Γtρϕ ,ρ = − , Γρϕ ,ρ = − , Γϕϕ ,ρ = −k2 . (2.22.4)
cρ 2 ρ2
The Riemann-, Ricci-, and Weyl-tensors as well as the Ricci- and Kretschmann-scalar vanish identically.
Static local tetrad:
1 1 a
e(0) = ∂t , e(1) = ∂ρ , e(2) = ∂t + ∂ϕ , e(3) = ∂z . (2.22.5)
c kρ c
Dual tetrad:
k 2 ρ 2 − a2 1
p
a
e(0) = ∂t − 2 2 ∂ϕ , e(1) = ∂ρ , (2.22.8a)
kρ c k ρ − a2
1
e(2) = p ∂ϕ , e(3) = ∂z . (2.22.8b)
k 2 ρ 2 − a2
Dual tetrad:
kρ ac dt
q
θ (0) = p c dt, θ (1) = d ρ , θ (2) = p + k 2 ρ 2 − a2 d ϕ , θ (3) = dz. (2.22.9)
k ρ 2 − a2
2 k 2 ρ 2 − a2
Euler-Lagrange:
The Euler-Lagrangian formalism, Sec. 1.8.4, for geodesics in the ϑ = π /2 hyperplane yields
ah1 2 h2
1
ρ̇ 2 + h2 − − κ c2 = 21 , (2.22.11)
k2 ρ 2 c c
where M is the mass of the black hole and Ω2 = d ϑ 2 + sin2 ϑ d ϕ 2 is the spherical surface element. Note
that here, the signature of the metric is sign(g) = −2.
Christoffel symbols:
2 r3 + 4M 2 r + M 2t
M(r − 2M)(4r + t) M(r + 2M)(4r + t)
Γttt = , Γttr = , Γttr = , (2.23.2a)
tr3 tr 3 tr3
2 r3 − 4M 2 r − M 2t
2 ϕ 2
Γtrr
= 3
, Γtϑϑ = , Γt ϕ = , (2.23.2b)
tr t t
2 r2 + 2Mr − Mt
1 ϕ 1
Γϑrϑ = , Γrϕ = , Γtϑ ϑ = , (2.23.2c)
r r t
4Mr + tr − 2Mt ϕ ϑ
Γϑr ϑ = − , Γϑ ϕ = cot ϑ , Γϕϕ = − sin ϑ cos ϑ , (2.23.2d)
t
Riemann-Tensor:
2t 2 −2Mr2 − r3 + Mt 2 + 2Mtr
Rtrtr = , (2.23.3a)
r3
t 2 2r4 + 16M 2 r2 + 4Mtr2 − 4M 2 r2t + Mt 2 r − 2M 2t 2
Rr ϑ t ϑ =− , (2.23.3b)
r2
2Mt 2 (4r + t)(r2 + 2Mr − Mt)
Rt ϑ rϑ =− , (2.23.3c)
r2
t 2 sin2 ϑ 2r4 + 16M 2 r2 + 4Mtr2 − 4M 2r2 t + Mt 2 r − 2M 2t 2
Rr ϕ t ϕ =− , (2.23.3d)
r2
2Mt 2 sin2 ϑ (4r + t)(r2 + 2Mr − Mt)
Rt ϕ rϕ =− , (2.23.3e)
r2
t 2 4r4 + 16Mr4 − 4M 2tr + 16M 2 r2 − 2M 2t 2 − Mt 2 r
Rr ϑ r ϑ =− , (2.23.3f)
r2
t 2 sin2 ϑ 4r4 + 16Mr4 − 4M 2tr + 16M 2 r2 − 2M 2t 2 − Mt 2 r
Rr ϕ r ϕ =− , (2.23.3g)
r2
= −2t 2r sin2 ϑ 2r3 + 4Mr2 − 4Mtr + mt 2 .
Rϑ ϕϑ ϕ (2.23.3h)
Ricci-Tensor:
2 3r2 + 12M 2 + 2Mt
4M (3r + t + 6M)
Rtt = 2 2
, Rtr = , (2.23.4a)
t r t 2 r2
2 3r2 + 12Mr + 2Mt + 12M 2 6 r2 + 2Mr − 2Mt
Rrr = , Rϑ ϑ = , (2.23.4b)
t 2 r2 t2
6 r2 + 2Mr − 2Mt sin2 ϑ
Rϕϕ = . (2.23.4c)
t2
2.23. SULTANA-DYER SPACETIME 77
Further reading:
Sultana and Dyer[SD05].
78 CHAPTER 2. SPACETIMES
2.24 TaubNUT
The TaubNUT metric in Boyer-Lindquist like spherical coordinates (t, r, ϑ , ϕ ) reads[BCJ02] (G = c = 1)
∆
2
dr
ds2 = − (dt + 2ℓ cos ϑ d ϕ )2 + Σ + d ϑ 2 + sin2 ϑ d ϕ 2 , (2.24.1)
Σ ∆
where Σ = r2 + ℓ2 and ∆ = r2 − 2Mr − ℓ2 . Here, M is the mass of the black hole and ℓ the magnetic monopol
strength.
Christoffel symbols:
∆ρ ρ ∆
Γttr = , Γttr = , Γtt ϑ = −2ℓ2 cos ϑ 2 , (2.24.2a)
Σ3 ∆Σ Σ
ϕ ℓ∆ 2ℓρ ∆ cos ϑ ℓ∆ sin ϑ
Γt ϑ = 2 , Γtrϕ = , Γtϑϕ = − , (2.24.2b)
Σ sin ϑ Σ3 Σ2
ρ r ϕ r r∆
Γrrr = − , Γϑrϑ = , Γrϕ = , Γϑr ϑ = − , (2.24.2c)
Σ∆ Σ Σ Σ
Σ ∆ 2ℓ cot ϑ
r r
1 1
e(0) = ∂t , e(1) = ∂r , e(2) = √ ∂ϑ , e(3) = − √ ∂t + √ ∂ϕ . (2.24.3)
∆ Σ Σ Σ Σ sin ϑ
Dual tetrad:
∆ Σ
r
√ √
r
θ (0)
= (dt + 2ℓ cos ϑ d ϕ ) , θ (1)
= dr, θ (2) = Σd ϑ , θ (3) = Σ sin ϑ d ϕ . (2.24.4)
Σ ∆
Euler-Lagrange:
The Euler-Lagrangian formalism, Sec. 1.8.4, for geodesics in the ϑ = π /2 hyperplane yields
1 k2 1 ∆ h2
1 2
ṙ + Veff = , Veff = − κ (2.24.5)
2 2 c2 2Σ Σ
with the constants of motion k = (∆/Σ)t˙ and h = Σϕ̇ . For null geodesics, we obtain a photon orbit at
r = rpo with
p 1 M
rpo = M + 2 M 2 + ℓ2 cos arccos √ (2.24.6)
3 M 2 + ℓ2
Further reading:
Bini et al.[BCdMJ03].
Bibliography
79
80 BIBLIOGRAPHY
[Göd49] K. Gödel.
An Example of a New Type of Cosmological Solutions of Einstein’s Field Equations of Grav-
itation.
Rev. Mod. Phys., 21:447–450, 1949.
doi:10.1103/RevModPhys.21.447.
[GP09] J. B. Griffiths and J. Podolský.
Exact space-times in Einstein’s general relativity.
Cambridge University Press, 2009.
[Hal88] M. Halilsoy.
Cross-polarized cylindrical gravitational waves of Einstein and Rosen.
Nuovo Cim. B, 102:563–571, 1988.
doi:10.1007/BF02725615.
[HE99] S. W. Hawking and G. F. R. Ellis.
The large scale structure of space-time.
Cambridge Univ. Press, 1999.
[HL08] E. Hackmann and C. Lämmerzahl.
Geodesic equation in Schwarzschild-(anti-)de Sitter space-times: Analytical solutions and
applications.
Phys. Rev. D, 78:024035, 2008.
doi:10.1103/PhysRevD.78.024035.
[JNW68] A. I. Janis, E. T. Newman, and J. Winicour.
Reality of the Schwarzschild singularity.
Phys. Rev. Lett., 20:878–880, 1968.
doi:10.1103/PhysRevLett.20.878.
[Kas21] E. Kasner.
Geometrical Theorems on Einstein’s Cosmological Equations.
Am. J. Math., 43(4):217–221, 1921.
Available from: http://www.jstor.org/stable/2370192.
[Ker63] R. P. Kerr.
Gravitational Field of a Spinning Mass as an Example of Algebraically Special Metrics.
Phys. Rev. Lett., 11:237–238, 1963.
doi:10.1103/PhysRevLett.11.237.
[Kot18] F. Kottler.
Über die physikalischen Grundlagen der Einsteinschen Gravitationstheorie.
Ann. Phys., 56:401–461, 1918.
doi:10.1002/andp.19183611402.
[Kra99] D. Kramer.
Exact gravitational wave solution without diffraction.
Class. Quantum Grav., 16:L75–78, 1999.
doi:10.1088/0264-9381/16/11/101.
[Kru60] M. D. Kruskal.
Maximal Extension of Schwarzschild Metric.
Phys. Rev., 119(5):1743–1745, Sep 1960.
doi:10.1103/PhysRev.119.1743.
[KV92] V. Karas and D. Vokrouhlicky.
Chaotic Motion of Test Particles in the Ernst Space-time.
Gen. Relativ. Gravit., 24:729–743, 1992.
doi:10.1007/BF00760079.
[KWSD04] E. Kajari, R. Walser, W. P. Schleich, and A. Delgado.
Sagnac Effect of Gödel’s Universe.
Gen. Rel. Grav., 36(10):2289–2316, Oct 2004.
doi:10.1023/B:GERG.0000046184.03333.9f.
82 BIBLIOGRAPHY
5.0
4.0
3.0 ds
Rdϑ
2.0 R sin ϑ dϕ
1.0
-1.0 -1.0
1.0 1.0
2.0
2.0 3.0
4.0
3.0 5.0
-1.0 y
4.0
5.0
x