GTR Cosmo
GTR Cosmo
Reference
General Relativity
Weinberg: Gravitation and Cosmology
Hartle: Gravity
Cosmology
Liddle: An Introduction to Modern Cosmology
Ryden: Introduction to Cosmology
Kolb and Turner: The Early Universe
Dodelson: Modern Cosmology
Narlikar: Introduction to Cosmology
Invariant interval
ds 2 = ηαβ dξ α dξ β = dx µ dx ν = −dt 2 + dx 2 + dy 2 + dz 2 .
I’ll use c = 1, but not ~ = 1. Also, I will not use the relativists’
convention of G = 1.
Why GR?
Why GR?
Parallel lines
If a straight line falling on two straight lines make the interior angles
on the same side less than two right angles, the two straight lines
produced indefinitely meet on that side on which the angles are less
than two right angles.
Gives you the definition of parallel lines; lines that never meet even if
extended to infinity. This postulate basically defines flat space.
ds 2 = gij dx i dx j (2)
(i, j = 1, 2) with g11 = g22 = 1, g12 = g21 = 0. The metric is just the
2 × 2 unit matrix.
ds 2 = gij dx i dx j (2)
(i, j = 1, 2) with g11 = g22 = 1, g12 = g21 = 0. The metric is just the
2 × 2 unit matrix. This may appear to be a good definition of a flat
space, but it is not!
ds 2 = gij dx i dx j (2)
(i, j = 1, 2) with g11 = g22 = 1, g12 = g21 = 0. The metric is just the
2 × 2 unit matrix. This may appear to be a good definition of a flat
space, but it is not! For example, I can use the plane polar coordinate
system, where
ds 2 = dr 2 + r 2 dθ2 (3)
and so g11 = 1 but g22 = r 2 — the metric is no longer the unit matrix.
So we must look for some other definition of a flat space.
ds 2 = gij dx i dx j (2)
(i, j = 1, 2) with g11 = g22 = 1, g12 = g21 = 0. The metric is just the
2 × 2 unit matrix. This may appear to be a good definition of a flat
space, but it is not! For example, I can use the plane polar coordinate
system, where
ds 2 = dr 2 + r 2 dθ2 (3)
and so g11 = 1 but g22 = r 2 — the metric is no longer the unit matrix.
So we must look for some other definition of a flat space.
The angles do not add up to 180◦ and Euclid’s 5th postulate is not valid!
Straight lines are replaced by great circles
Infinitesimal separations
The separation between two close points on the surface of a sphere of
radius a, located at (θ, φ) and (θ + dθ, φ + dφ) is given by
Gaussian curvature
The metric is (θ → 1, φ → 2)
The Gaussian curvature is nonzero for this case. (See eq. 1.1.12 of
Weinberg).
The surface of a sphere is a finite 2-d space of constant positive curvature
K = 1/a2 (6)
Gaussian curvature
The metric is (θ → 1, φ → 2)
The Gaussian curvature is nonzero for this case. (See eq. 1.1.12 of
Weinberg).
The surface of a sphere is a finite 2-d space of constant positive curvature
K = 1/a2 (6)
Saddle space
Metric space
The metric gives you the separation between two nearby points:
ds 2 = gij dx i dx j
ds 2 = ηij dξ i dξ j
Metric space
The metric gives you the separation between two nearby points:
ds 2 = gij dx i dx j
ds 2 = ηij dξ i dξ j
Metric space
The metric gives you the separation between two nearby points:
ds 2 = gij dx i dx j
ds 2 = ηij dξ i dξ j
Metric space
Metric space
Metric space
ξ1 = ξ1 (x1 , x2 ) , ξ2 = ξ2 (x1 , x2 )
a
∂ξ1 ∂ξ1 ∂ξ
dξ1 = dx1 + dx2 ⇒ dξ a = dx i . (7)
∂x1 ∂x2 ∂x i
Metric space
ξ1 = ξ1 (x1 , x2 ) , ξ2 = ξ2 (x1 , x2 )
a
∂ξ1 ∂ξ1 ∂ξ
dξ1 = dx1 + dx2 ⇒ dξ a = dx i . (7)
∂x1 ∂x2 ∂x i
Metric space
ds 2 = g11 (x1 , x2 )dx12 + 2g12 (x1 , x2 )dx1 dx2 + g22 (x1 , x2 )dx22 (8)
where
2 2
∂ξ1 ∂ξ2
g11 = + ,
∂x1 ∂x1
2 2
∂ξ1 ∂ξ2
g22 = + ,
∂x2 ∂x2
∂ξ1 ∂ξ1 ∂ξ2 ∂ξ2
g12 = + . (9)
∂x1 ∂x2 ∂x1 ∂x2
Metric space
ds 2 = g11 (x1 , x2 )dx12 + 2g12 (x1 , x2 )dx1 dx2 + g22 (x1 , x2 )dx22 (8)
where
2 2
∂ξ1 ∂ξ2
g11 = + ,
∂x1 ∂x1
2 2
∂ξ1 ∂ξ2
g22 = + ,
∂x2 ∂x2
∂ξ1 ∂ξ1 ∂ξ2 ∂ξ2
g12 = + . (9)
∂x1 ∂x2 ∂x1 ∂x2
Such a space is called a metric space. The derivation can be turned the
other way: given a metric space, we can at any point choose a locally
Euclidean frame.
Part I: General Relativity
Reference Books Conventions Flat space Curved space Curved space-time
Metric space
ds 2 = g11 (x1 , x2 )dx12 + 2g12 (x1 , x2 )dx1 dx2 + g22 (x1 , x2 )dx22 (8)
where
2 2
∂ξ1 ∂ξ2
g11 = + ,
∂x1 ∂x1
2 2
∂ξ1 ∂ξ2
g22 = + ,
∂x2 ∂x2
∂ξ1 ∂ξ1 ∂ξ2 ∂ξ2
g12 = + . (9)
∂x1 ∂x2 ∂x1 ∂x2
Such a space is called a metric space. The derivation can be turned the
other way: given a metric space, we can at any point choose a locally
Euclidean frame.
Part I: General Relativity
Reference Books Conventions Flat space Curved space Curved space-time
Riemannian space-time
ds 2 = gµν dx µ dx ν (11)
where the elements of the symmetric tensor gµν are functions of the
coordinates.
Riemannian space-time
ds 2 = gµν dx µ dx ν (11)
where the elements of the symmetric tensor gµν are functions of the
coordinates.
Riemannian space-time
ds 2 = ηαβ dξ α dξ β = gµν dx µ dx ν .
Riemannian space-time
ds 2 = ηαβ dξ α dξ β = gµν dx µ dx ν .
∂ξ α ∂ξ β ∂x µ ∂x ν
gµν = ηαβ , ηαβ = gµν . (12)
∂x µ ∂x ν ∂ξ α ∂ξ β
Riemannian space-time
ds 2 = ηαβ dξ α dξ β = gµν dx µ dx ν .
∂ξ α ∂ξ β ∂x µ ∂x ν
gµν = ηαβ , ηαβ = gµν . (12)
∂x µ ∂x ν ∂ξ α ∂ξ β
Assignments
Free fall
Free fall
Free fall
Eötvös experiment
Performed at 46◦ N latitude
balance between gravity and up-
ward component of centripetal
acceleration
Eötvös experiment
Performed at 46◦ N latitude
balance between gravity and up-
ward component of centripetal
acceleration
Eötvös experiment
Eötvös experiment
Equivalence principle
Consider a system of n particles, moving with nonrelativistic velocities
under the influence of forces F(xn − xm ) and an external uniform
gravitational field g. The equations of motion are
d 2 xn X
mn 2 = mn g + F(xn − xm ) (18)
dt m
which, seen from another coordinate frame falling with the same velocity
1
x0 = x − gt 2 , t 0 = t, (19)
2
would look like
d 2 x0 X
mn 2n = F(x0n − x0m ). (20)
dt m
Equivalence principle
Consider a system of n particles, moving with nonrelativistic velocities
under the influence of forces F(xn − xm ) and an external uniform
gravitational field g. The equations of motion are
d 2 xn X
mn 2 = mn g + F(xn − xm ) (18)
dt m
which, seen from another coordinate frame falling with the same velocity
1
x0 = x − gt 2 , t 0 = t, (19)
2
would look like
d 2 x0 X
mn 2n = F(x0n − x0m ). (20)
dt m
µ
The original observer, using x µ , and his freely falling friend, using x 0 ,
will have the same laws of motion, except that the former sees a
gravitational field and the latter does not.
Equivalence principle
Consider a system of n particles, moving with nonrelativistic velocities
under the influence of forces F(xn − xm ) and an external uniform
gravitational field g. The equations of motion are
d 2 xn X
mn 2 = mn g + F(xn − xm ) (18)
dt m
which, seen from another coordinate frame falling with the same velocity
1
x0 = x − gt 2 , t 0 = t, (19)
2
would look like
d 2 x0 X
mn 2n = F(x0n − x0m ). (20)
dt m
µ
The original observer, using x µ , and his freely falling friend, using x 0 ,
will have the same laws of motion, except that the former sees a
gravitational field and the latter does not.
Equivalence principle
Equivalence principle
Equivalence principle
Free fall
Consider a particle moving freely under the influence of gravitational
forces. According to the equivalence principle, there is a locally flat freely
falling coordinate system ξ α in which the equation of motion is that of a
straight line in space-time, i.e.,
d 2ξα
=0 (21)
dτ 2
where dτ , the proper time, is given by
dτ 2 = −ηαβ dξ α dξ β = −ds 2 . (22)
Now suppose that we use any other coordinate system x µ , which can be
cartesian or curvilinear, fixed or moving in the laboratory frame, even
rotating or accelerating. ξ α s are functions of x µ s (and vice versa), so we
can write eq. (21) as
α µ
d ∂ξ dx ∂ξ α d 2 x µ ∂ 2 ξ α dx µ dx ν
0= = + . (23)
dτ ∂x µ dτ ∂x µ dτ 2 ∂x µ ∂x ν dτ dτ
Free fall
Consider a particle moving freely under the influence of gravitational
forces. According to the equivalence principle, there is a locally flat freely
falling coordinate system ξ α in which the equation of motion is that of a
straight line in space-time, i.e.,
d 2ξα
=0 (21)
dτ 2
where dτ , the proper time, is given by
dτ 2 = −ηαβ dξ α dξ β = −ds 2 . (22)
Now suppose that we use any other coordinate system x µ , which can be
cartesian or curvilinear, fixed or moving in the laboratory frame, even
rotating or accelerating. ξ α s are functions of x µ s (and vice versa), so we
can write eq. (21) as
α µ
d ∂ξ dx ∂ξ α d 2 x µ ∂ 2 ξ α dx µ dx ν
0= = + . (23)
dτ ∂x µ dτ ∂x µ dτ 2 ∂x µ ∂x ν dτ dτ
Equation of motion
∂ξ α ∂x λ
= δµλ , (24)
∂x µ ∂ξ α
we get the equation of motion
d 2x λ µ
λ dx dx
ν
+ Γ µν = 0, (25)
dτ 2 dτ dτ
Christoffel symbol
∂x λ ∂ 2 ξ α
Γλµν = . (26)
∂ξ α ∂x µ ∂x ν
Equation of motion
∂ξ α ∂x λ
= δµλ , (24)
∂x µ ∂ξ α
we get the equation of motion
d 2x λ µ
λ dx dx
ν
+ Γ µν = 0, (25)
dτ 2 dτ dτ
Christoffel symbol
∂x λ ∂ 2 ξ α
Γλµν = . (26)
∂ξ α ∂x µ ∂x ν
Extremization
Extremization
Extremization
∂ξ α µ ∂ξ β ν
dτ 2 = −ηαβ dx dx = −gµν dx µ dx ν . (27)
∂x µ ∂x ν
For a photon, one cannot use τ , since dτ 2 is zero (the separation of two
points on the surface of a light cone is always zero). We have to use some
other parameter, say σ ≡ ξ 0 , which is equally good (such parameters are
called affine parameters). We replace the standard equations by
d 2ξα dξ α dξ β dx µ dx ν
= 0, −η αβ = −g µν = 0, (28)
dσ 2 dσ dσ dσ dσ
and eq. (25) as
d 2x λ µ
λ dx dx
ν
+ Γ µν . (29)
dσ 2 dσ dσ
Assignments
Assignments
Assignments
More on metric
∂ξ α ∂ξ β
gµν = ηαβ
∂x µ ∂x ν
Differentiating with respect to x λ , we get
∂gµν ∂ 2 ξ α ∂ξ β ∂ 2 ξ β ∂ξ α
λ
= λ µ ν
ηαβ + λ ν µ ηαβ , (32)
∂x ∂x ∂x ∂x ∂x ∂x ∂x
which can be written using eq. (30) as
∂gµν ∂ξ α ∂ξ β α
ρ ∂ξ ∂ξ
β
= Γρλµ η αβ + Γ λν ηαβ
∂x λ ∂x ρ ∂x ν ∂x µ ∂x ρ
ρ ρ
= Γλµ gρν + Γλν gρµ . (33)
More on metric
∂ξ α ∂ξ β
gµν = ηαβ
∂x µ ∂x ν
Differentiating with respect to x λ , we get
∂gµν ∂ 2 ξ α ∂ξ β ∂ 2 ξ β ∂ξ α
λ
= λ µ ν
ηαβ + λ ν µ ηαβ , (32)
∂x ∂x ∂x ∂x ∂x ∂x ∂x
which can be written using eq. (30) as
∂gµν ∂ξ α ∂ξ β α
ρ ∂ξ ∂ξ
β
= Γρλµ η αβ + Γ λν ηαβ
∂x λ ∂x ρ ∂x ν ∂x µ ∂x ρ
ρ ρ
= Γλµ gρν + Γλν gρµ . (33)
More on metric
∂gµν
= Γρλµ gρν + Γρλν gρµ
∂x λ
Add to this the same equation with µ and λ interchanged, and subtract
the same equation with ν and λ interchanged. We then have
∂gµν ∂gλν ∂gµλ
λ
+ µ
− = gκν Γκλµ + gκµ Γκλν + gκν Γκµλ + gκλ Γκµν
∂x ∂x ∂x ν
−gκλ Γκνµ − gκµ Γκνλ . (34)
Since gµν and Γκµν are both symmetric under the exchange of µ and ν,
we can write
∂gµν ∂gλν ∂gµλ
+ − = 2gκν Γκλµ . (35)
∂x λ ∂x µ ∂x ν
More on metric
∂gµν
= Γρλµ gρν + Γρλν gρµ
∂x λ
Add to this the same equation with µ and λ interchanged, and subtract
the same equation with ν and λ interchanged. We then have
∂gµν ∂gλν ∂gµλ
λ
+ µ
− = gκν Γκλµ + gκµ Γκλν + gκν Γκµλ + gκλ Γκµν
∂x ∂x ∂x ν
−gκλ Γκνµ − gκµ Γκνλ . (34)
Since gµν and Γκµν are both symmetric under the exchange of µ and ν,
we can write
∂gµν ∂gλν ∂gµλ
+ − = 2gκν Γκλµ . (35)
∂x λ ∂x µ ∂x ν
More on metric
It can be shown that all the effects of gravity are contained in the metric
gµν and the affine connection Γλµν , and given the metric, we can use eq.
(36) to obtain the affine connections. We will now see some examples.
Metric
Flat space-time, cartesian coordinates
ds 2 = dr 2 + r 2 dθ2 .
r → 1, θ → 2
Let us calculate Γ122 = Γrθθ . The metric is diagonal, so we must set
σ = ν = 1, λ = µ = 2, and
1 ∂g22
Γ122 = g 11 − 1 = −r . (37)
2 ∂x
The reverse is not true !!!
Part I: General Relativity
Metric Schwarzschild FRW
Metric
Flat space-time, cartesian coordinates
ds 2 = dr 2 + r 2 dθ2 .
r → 1, θ → 2
Let us calculate Γ122 = Γrθθ . The metric is diagonal, so we must set
σ = ν = 1, λ = µ = 2, and
1 ∂g22
Γ122 = g 11 − 1 = −r . (37)
2 ∂x
The reverse is not true !!!
Part I: General Relativity
Metric Schwarzschild FRW
Metric
Surface of a sphere
−1
2GM 2GM 2
ds 2 = − 1 − dt 2 + 1 − dr 2 + |{z}
r 2 dθ2 +r|2 sin 2
{z θ} dφ ,
r r
| {z } | {z } g22 g33
g00 g11
(39)
Comoving
coordinates
where a(t) is called the scale factor. The constant k can be 0, 1, or −1,
for flat, closed and open universes respectively. We have every reason to
believe that we are in the k = 0 universe.
where a(t) is called the scale factor. The constant k can be 0, 1, or −1,
for flat, closed and open universes respectively. We have every reason to
believe that we are in the k = 0 universe.
Γtφφ = Γ033 : (ν = σ = 0, µ = λ = 3)
1 ∂g33
⇒ Γ033 = g 00 − 0 = aȧr 2 sin2 θ,
2 ∂x
Γtrr = Γ011 : (ν = σ = 0, µ = λ = 1)
0 1 00 ∂g11 aȧ
⇒ Γ11 = g − 0 = ,
2 ∂x 1 − kr 2
Γrtr = Γ101 : (ν = σ = 1, µ = 1, λ = 0)
1 ∂g11 ȧ
⇒ Γ101 = g 11 0 = . (42)
2 ∂x a
(Here, ȧ = da(t)/dt.)
Assignments
1 Find, if any, the nonzero affine connections of a 2-dimensional
spherical geometry, other than that deduced.
2 Show that for the Schwarzschild geometry, one gets the following
nonzero Christoffel symbols:
−1
GM 2GM
Γttr = −Γrrr = 2 1 − ,
r r
GM 2GM
Γrtt = 2 1 − ,
r r
Γrθθ = −(r − 2GM),
1
Γrφφ = −(r − 2GM) sin2 θ, Γθr θ = Γφr φ = ,
r
Γθφφ = − cos θ sin θ, Γφθφ = cot θ. (43)
Assignments
1 Find, if any, the nonzero affine connections of a 2-dimensional
spherical geometry, other than that deduced.
2 Show that for the Schwarzschild geometry, one gets the following
nonzero Christoffel symbols:
−1
GM 2GM
Γttr = −Γrrr = 2 1 − ,
r r
GM 2GM
Γrtt = 2 1 − ,
r r
Γrθθ = −(r − 2GM),
1
Γrφφ = −(r − 2GM) sin2 θ, Γθr θ = Γφr φ = ,
r
Γθφφ = − cos θ sin θ, Γφθφ = cot θ. (43)
Assignments
I Repeat the same problem for the FRW metric. Note that a
Christoffel symbol is trivially zero, for a diagonal metric, if all its
indices are different. Also, it must be symmetric in its lower indices.
Write down all possible independent nonzero combinations. It turns
out that 13 of them are nonzero. Three of these 13 have been
worked out in eq. (42). Get the rest 10. Look at Appendix B, p.
547, of Hartle, if you get stuck.
1 ∂g00
Γµ00 = − g µν ν . (45)
2 ∂x
Since the field is weak, we can assume the metric to be “almost”
cartesian:
gµν = ηµν + hµν , |hµν | 1, (46)
so that
1 ∂h00
Γµ00 = − η µν ν . (47)
2 ∂x
d 2 xi
= −∇i φ (50)
dt 2
where φ is the gravitational potential.
Gravitational redshift
Think of a tall tower. Suppose there is a clock at the top and another at
the bottom of the tower; will they keep identical time? In other words,
will they send off same number of beeps per second?
Gravitational redshift
Think of a tall tower. Suppose there is a clock at the top and another at
the bottom of the tower; will they keep identical time? In other words,
will they send off same number of beeps per second?
Let us think it in another way. Suppose an atom at the top of the tower
is emitting electromagnetic radiation with a frequency ν. Will the
frequency still be ν when a detector detects the radiation at the bottom
of the tower?
Gravitational redshift
Think of a tall tower. Suppose there is a clock at the top and another at
the bottom of the tower; will they keep identical time? In other words,
will they send off same number of beeps per second?
Let us think it in another way. Suppose an atom at the top of the tower
is emitting electromagnetic radiation with a frequency ν. Will the
frequency still be ν when a detector detects the radiation at the bottom
of the tower?
Gravitational redshift
Gravitational redshift
Gravitational redshift
Gravitational redshift
Gravitational redshift
I If the emitter is placed on the ground and the detector is at the top
of the tower, a freely falling observer will see the detector receding,
and hence the radiation will be red-shifted.
I Whichever way the shift is, the phenomenon is known as the
gravitational redshift
φe − φd
νd = 1+ ν, (53)
c2
Gravitational redshift
I If the emitter is placed on the ground and the detector is at the top
of the tower, a freely falling observer will see the detector receding,
and hence the radiation will be red-shifted.
I Whichever way the shift is, the phenomenon is known as the
gravitational redshift
φe − φd
νd = 1+ ν, (53)
c2
Gravitational redshift
I If the emitter is placed on the ground and the detector is at the top
of the tower, a freely falling observer will see the detector receding,
and hence the radiation will be red-shifted.
I Whichever way the shift is, the phenomenon is known as the
gravitational redshift
φe − φd
νd = 1+ ν, (53)
c2
Pound-Rebka experiment
Pound-Rebka experiment
I The signal was the 14.4 keV γ-ray emitted in the decay of the
unstable Fe 57 nucleus
I The detector, at the bottom, was again some Fe 57 , which is
expected to absorb these γ-rays (at least, the small fraction that
reaches them) by the opposite reaction
Pound-Rebka experiment
I The signal was the 14.4 keV γ-ray emitted in the decay of the
unstable Fe 57 nucleus
I The detector, at the bottom, was again some Fe 57 , which is
expected to absorb these γ-rays (at least, the small fraction that
reaches them) by the opposite reaction
I If the frequency is shifted, the absorption will not take place with
the same efficiency
Pound-Rebka experiment
I The signal was the 14.4 keV γ-ray emitted in the decay of the
unstable Fe 57 nucleus
I The detector, at the bottom, was again some Fe 57 , which is
expected to absorb these γ-rays (at least, the small fraction that
reaches them) by the opposite reaction
I If the frequency is shifted, the absorption will not take place with
the same efficiency
Pound-Rebka experiment
Pound-Rebka experiment
Pound-Rebka experiment
I
gh
= 4.9 × 10−15
c2
I The width of the γ-ray is order of magnitudes larger than this.
There are several reasons for this. First, the nucleus has an inherent
motion. Second, the nucleus recoils uncontrollably after the emission
of the γ-ray
Pound-Rebka experiment
I
gh
= 4.9 × 10−15
c2
I The width of the γ-ray is order of magnitudes larger than this.
There are several reasons for this. First, the nucleus has an inherent
motion. Second, the nucleus recoils uncontrollably after the emission
of the γ-ray
I Both these effects can be taken care of by ‘locking’ the emitter
nucleus in a crystal lattice, so that the motion is minimised and the
recoil is absorbed by the whole lattice (this is known as the
Mössbauer effect)
Pound-Rebka experiment
I
gh
= 4.9 × 10−15
c2
I The width of the γ-ray is order of magnitudes larger than this.
There are several reasons for this. First, the nucleus has an inherent
motion. Second, the nucleus recoils uncontrollably after the emission
of the γ-ray
I Both these effects can be taken care of by ‘locking’ the emitter
nucleus in a crystal lattice, so that the motion is minimised and the
recoil is absorbed by the whole lattice (this is known as the
Mössbauer effect)
I Pound and Rebka also interchanged the positions of the emitter and
the absorber to eliminate some systematic errors, and finally
confirmed the prediction for the gravitational redshift within 1%.
Pound-Rebka experiment
I
gh
= 4.9 × 10−15
c2
I The width of the γ-ray is order of magnitudes larger than this.
There are several reasons for this. First, the nucleus has an inherent
motion. Second, the nucleus recoils uncontrollably after the emission
of the γ-ray
I Both these effects can be taken care of by ‘locking’ the emitter
nucleus in a crystal lattice, so that the motion is minimised and the
recoil is absorbed by the whole lattice (this is known as the
Mössbauer effect)
I Pound and Rebka also interchanged the positions of the emitter and
the absorber to eliminate some systematic errors, and finally
confirmed the prediction for the gravitational redshift within 1%.
Assignments
Assignments
Assignments
Schwarzschild Metric
−1
2GM 2GM
2
ds = − 1 − dt + 1 −2
dr 2 + r 2 dθ2 + r 2 sin2 θdφ2 .
r r
(54)
How to get the form of the metric? Nontrivial
What one generally does is to check that the metric is indeed a solution
of the Einstein equation. We will later see that the Schwarzschild
geometry is a solution for the Einstein equation in the absence of any
matter or energy (i.e., vacuum). Such a vacuum solution is acceptable for
the geometry outside a spherical mass, but not for the geometry inside it.
Schwarzschild Metric
−1
2GM 2GM
2
ds = − 1 − dt + 1 −2
dr 2 + r 2 dθ2 + r 2 sin2 θdφ2 .
r r
(54)
How to get the form of the metric? Nontrivial
What one generally does is to check that the metric is indeed a solution
of the Einstein equation. We will later see that the Schwarzschild
geometry is a solution for the Einstein equation in the absence of any
matter or energy (i.e., vacuum). Such a vacuum solution is acceptable for
the geometry outside a spherical mass, but not for the geometry inside it.
Schwarzschild Metric
Schwarzschild Metric
Schwarzschild Metric
However, there is no astronomical body for which Rs lies outside the body
For example, the sun has Rs = 2GM /c 2 ≈ 3 km, well inside the interior
of the sun, where the vacuum solution is simply not valid!
Schwarzschild Metric
However, there is no astronomical body for which Rs lies outside the body
For example, the sun has Rs = 2GM /c 2 ≈ 3 km, well inside the interior
of the sun, where the vacuum solution is simply not valid!
Stellar Nucleosynthesis
H-burning
↓
He-burning
↓
Energy generation ends at Fe56
Collapsing star can be kept in balance by nonthermal pressure
Electron Fermi pressure for White Dwarf stars
Life of a star
Neutron stars
1.4M < M < 3M : Neutron fermi pressure holds gravitational collapse
Typical radius ∼ 10 km, fast rotating objects ⇒ Pulsars
Captured light
Captured light
Captured light
Captured light
Black holes
Such a body is called a black hole, and the radius Rs is also known as the
event horizon.
I The light ray emitted at r = Rs does not fall back on the star,
neither does it come to us — it goes around the star like a satellite
I In a very short period of time — typically 10−5 s — the collapse of
a star slows down, the emitted light gets more and more redshifted
(gravitational redshift) until the redshift reaches infinity, the star
grows dark, and the geometry outside becomes indistinguishable
from a Schwarzschild geometry. All history of the star will be erased.
Black holes
Such a body is called a black hole, and the radius Rs is also known as the
event horizon.
I The light ray emitted at r = Rs does not fall back on the star,
neither does it come to us — it goes around the star like a satellite
I In a very short period of time — typically 10−5 s — the collapse of
a star slows down, the emitted light gets more and more redshifted
(gravitational redshift) until the redshift reaches infinity, the star
grows dark, and the geometry outside becomes indistinguishable
from a Schwarzschild geometry. All history of the star will be erased.
Black holes
Black holes
Black holes
No hair theorem
To any outside observer, a classical BH is completely specified by its
mass, angular momentum, and charge. No other information (hair) that
passes through the unidirectional event horizon can ever be restored.
Black holes
No hair theorem
To any outside observer, a classical BH is completely specified by its
mass, angular momentum, and charge. No other information (hair) that
passes through the unidirectional event horizon can ever be restored.
X-ray signals
Microlensing
Entropy problem
Entropy problem
Entropy problem
Entropy problem
Hawking radiation
The radiation follows a perfect black-body pattern and the black hole
loses mass and ultimately evaporates; so one can talk about the
temperature of a black hole
3
−26 Mbh
τbh = 8.3 × 10 s, (56)
1 gm
Given that the universe is about 13.7 billion years old, only small black
holes of mass ∼ 1014 g formed at the time of the big bang (they are
called primordial black holes) are evaporating now
Hawking radiation
Gravitational waves
I Predicted in 1916 by Einstein, moves with velocity of light
I Indirect evidence (1974): Binary pulsar
Nobel to Hulse and Taylor (1993)
Gravitational waves
I Predicted in 1916 by Einstein, moves with velocity of light
I Indirect evidence (1974): Binary pulsar
Nobel to Hulse and Taylor (1993)
I Direct evidence (2016): Binary black hole merger —
36 + 29 → 62 + X
Nobel to Weiss, Thorne, Barish (2017)
Gravitational waves
I Predicted in 1916 by Einstein, moves with velocity of light
I Indirect evidence (1974): Binary pulsar
Nobel to Hulse and Taylor (1993)
I Direct evidence (2016): Binary black hole merger —
36 + 29 → 62 + X
Nobel to Weiss, Thorne, Barish (2017)
Gravitational waves
I Predicted in 1916 by Einstein, moves with velocity of light
I Indirect evidence (1974): Binary pulsar
Nobel to Hulse and Taylor (1993)
I Direct evidence (2016): Binary black hole merger —
36 + 29 → 62 + X
Nobel to Weiss, Thorne, Barish (2017)
Riemann curvature
Riemann curvature
Assignment
Check these properties.
Ricci tensor
Contract two of the indices of the Riemann curvature to form the rank-2
Ricci tensor:
Rµκ = g λν Rλµνκ . (62)
Symmetric in µ and κ, so 10 indep. components, but there are 4
constraint equations (Bianchi identities), so 6 indep. components of Rµκ .
Einstein tensor
R = g µκ Rµκ . (64)
1
Gµν = Rµν − gµν R. (65)
2
Einstein tensor
R = g µκ Rµκ . (64)
1
Gµν = Rµν − gµν R. (65)
2
Note of caution: The definitions for the Riemann-Christoffel curvature tensor, and the Riemann curvature, differ from text to text. We
have followed the notation of Hartle and Dodelson. Weinberg uses an opposite definition, so in his case eqs. (57), (59), and (60) all
contain a relative minus sign compared to our convention. This does not affect the definitions (62) and (65), and eq. (61) is also
unaffected. However, be careful when you deduce the curvature quantities from the metric. Also, Einstein equation in presence of matter,
which contains Gµν on the left-hand side, looks different; the one in Weinberg contains a minus sign on the right-hand side.
Einstein tensor
R = g µκ Rµκ . (64)
1
Gµν = Rµν − gµν R. (65)
2
Note of caution: The definitions for the Riemann-Christoffel curvature tensor, and the Riemann curvature, differ from text to text. We
have followed the notation of Hartle and Dodelson. Weinberg uses an opposite definition, so in his case eqs. (57), (59), and (60) all
contain a relative minus sign compared to our convention. This does not affect the definitions (62) and (65), and eq. (61) is also
unaffected. However, be careful when you deduce the curvature quantities from the metric. Also, Einstein equation in presence of matter,
which contains Gµν on the left-hand side, looks different; the one in Weinberg contains a minus sign on the right-hand side.
Rµν = 0. (66)
Now calculate the Ricci tensor Rµκ . All components with µ 6= κ are
identically zero. The diagonal components also vanish, as can be seen
from, say,
Assignments
Mass
M ≈ 2 × 1030 kg
Average number of stars in a galaxy ∼ 1011
Number of galaxies in the universe ∼ 1011
Fraction of mass (energy) of the universe in stars ≈ 0.4%
Mass
M ≈ 2 × 1030 kg
Average number of stars in a galaxy ∼ 1011
Number of galaxies in the universe ∼ 1011
Fraction of mass (energy) of the universe in stars ≈ 0.4%
Time
Age of the universe = 13.75 ± 0.11 billion years
We can reliably go back up to ∼ 10−36 s
Part I: General Relativity
Distance measurement Expanding universe Einstein’s equations Cosmological constant
Mass
M ≈ 2 × 1030 kg
Average number of stars in a galaxy ∼ 1011
Number of galaxies in the universe ∼ 1011
Fraction of mass (energy) of the universe in stars ≈ 0.4%
Time
Age of the universe = 13.75 ± 0.11 billion years
We can reliably go back up to ∼ 10−36 s
Part I: General Relativity
Distance measurement Expanding universe Einstein’s equations Cosmological constant
Look at position
shift of a nearby
star against the
fixed background
of distant stars
A star at a distance
of 1 parsec creates
a parallax of 1 arc-
second
Applicable for
nearby stars only
Blast of white
dwarf stars, fixed
energy output,
only reliable
tool for galactic
distance measure-
ment
Basic tenets
The universe is
Homogeneous : universe looks the same from any other point of space
Basic tenets
The universe is
Homogeneous : universe looks the same from any other point of space
v = H0 d (71)
v = H0 d (71)
v = H0 d (71)
Redshift
Hubble’s law
The scale factor a(t) describes the expansion of the grid. The velocity is
radial
|ṙ|
v = r, (72)
|r|
but r = ax, where r and x denote the physical and the comoving
coordinates respectively.
∇2 φ = 4πG ρ (76)
and in the weak-gravity limit, g00 ≈ −(1 + 2φ), so one can write
∂Γλµκ ∂Γλµν
R λ µνκ = − + Γηµκ Γλνη − Γηµν Γλκη
∂x ν ∂x κ
and then proceed through the Ricci tensor
Rµκ = g λν Rλµνκ .
∂Γλµκ ∂Γλµν
R λ µνκ = − + Γηµκ Γλνη − Γηµν Γλκη
∂x ν ∂x κ
and then proceed through the Ricci tensor
Rµκ = g λν Rλµνκ .
−Γ011 Γ110 − Γ101 Γ011 − Γ111 Γ111 − Γ221 Γ212 − Γ331 Γ313
aä + 2ȧ2 + 2k
= ,
1 − kr 2
The next task is to calculate the scalar curvature R. For that, we need
g µν , which is
1 − kr 2 1
µν 1
g = diag −1, , 2 2, 2 2 2 . (80)
a2 a r a r sin θ
So
3ä 3 6
R = Rµν g µν = + 2 aä + 2ȧ2 + 2k = 2 aä + ȧ2 + k .
(81)
a a a
1 ȧ2 + k
G00 = R00 − g00 R = 3 ,
2 a2
ȧ2 + 2aä + k
G11 = −
1 − kr 2
2 2
G22 = −r (ȧ + 2aä + k)
G33 = −r 2 sin2 θ(ȧ2 + 2aä + k) . (82)
What is Tµν ?
Matter as a perfect isotropic fluid (to a very good extent; fluid −→ stress
tensor is diagonal, isotropic −→ all three elements of the stress tensor are
equal):
Tµν = p gµν + (p + ρ) Uµ Uν (83)
(ρ = density, p = pressure of the fluid, Uµ = (1, 0).)
This leads to the Friedmann equations:
2
ȧ k 8πG ρ
+ 2 = ,
a a 3
1
2aä + ȧ2 + k
= −8πGp . (84)
a2
What is Tµν ?
Matter as a perfect isotropic fluid (to a very good extent; fluid −→ stress
tensor is diagonal, isotropic −→ all three elements of the stress tensor are
equal):
Tµν = p gµν + (p + ρ) Uµ Uν (83)
(ρ = density, p = pressure of the fluid, Uµ = (1, 0).)
This leads to the Friedmann equations:
2
ȧ k 8πG ρ
+ 2 = ,
a a 3
1
2aä + ȧ2 + k
= −8πGp . (84)
a2
The ‘blunder’
k 8πG ρ
G00 = 8πGT00 ⇒ 2
= ,
a 3
k
G11 = 8πGT11 ⇒ = 0, (85)
a2
which is clearly inconsistent; a static universe can at best be empty.
The ‘blunder’
2
ȧ k Λ 8πG ρ
+ 2− = ,
a a 3 3
1
2aä + ȧ2 + k − Λ
= −8πGp . (87)
a2
The ‘blunder’
The ‘blunder’
The ‘blunder’