Home
Physics

Introduction to Cosmology and the Cosmic Microwave Background — Part 2

In this section, we examined how the expansion of the universe changes the wavelength of light by solving the photon geodesic equation in the FLRW metric and deriving the cosmological redshift in terms of the scale factor.

Naz Eylül Tekin•October 15, 2026•17 min read
Introduction to Cosmology and the Cosmic Microwave Background — Part 2

Introduction to Cosmology and the Cosmic Microwave Background: Lecture 2

1 Redshift

In the previous section we described the expansion of the universe using physical distance and comoving distance. Two comoving galaxies keep the same coordinates, yet the physical distance between them can grow with time because of the scale factor a(t)a(t). That left an open question: how do we know from observations that the universe is expanding?

We cannot lay a ruler between distant galaxies. Almost everything we know about them comes from the light that reaches us, so we need to understand what the expansion does to that light.

Recall first what a wavelength is. In an electromagnetic wave, the distance between two successive crests is the wavelength, written λ\lambda. For light, wavelength and frequency are related by

c=λν(1)c = \lambda\nu \tag{1}

where cc is the speed of light, λ\lambda the wavelength and ν\nu the frequency.

The local speed of light cc is constant, so if the wavelength increases the frequency has to decrease. Let λe\lambda_e be the wavelength of a light wave when it leaves the source and λo\lambda_o the wavelength measured when it reaches the observer. If the observed wavelength is larger than the emitted one,

λo>λe,(2)\lambda_o > \lambda_e, \tag{2}

the light has shifted toward longer wavelengths. Longer wavelengths in the visible spectrum lie toward the red end, so this effect is called redshift.

The size of the shift is given by the parameter zz:

z=λo−λeλe(3)z = \frac{\lambda_o - \lambda_e}{\lambda_e} \tag{3}

Rearranging,

z=λoλe−1⇒1+z=λoλe(4)z = \frac{\lambda_o}{\lambda_e} - 1 \quad \Rightarrow \quad 1 + z = \frac{\lambda_o}{\lambda_e} \tag{4}

The interpretation is direct. If

z>0⇒λo>λe,(5)z > 0 \quad \Rightarrow \quad \lambda_o > \lambda_e, \tag{5}

then the wavelength has grown on the way to us and the light is redshifted.

Take z=1z = 1 as an example. Then

1+z=2(6)1 + z = 2 \tag{6}

so

λo=2λe(7)\lambda_o = 2\lambda_e \tag{7}

The wavelength we observe is twice the wavelength at emission.

So far redshift has been defined only through the change in wavelength. Why should the expansion of the universe change the wavelength of a photon at all?

If a(t)a(t) describes the scale of the expanding universe, we need to show how the wavelength is tied to this scale factor. The claim is that, as the universe expands, the physical wavelength of a photon measured by comoving observers grows along with a(t)a(t).

Saying "the universe stretches, so the wavelength stretches" is a picture, not a derivation. We want to see how the relation follows from the geometry of an expanding spacetime.

In this section we show from scratch, using general relativity, why the frequency of a photon travelling through an expanding universe changes as

ω∝1a(t)(8)\omega \propto \frac{1}{a(t)} \tag{8}

and then use the relation between frequency and wavelength to recover λ∝a(t)\lambda \propto a(t). We start with spacetime coordinates.

1.1 Spacetime coordinates

In special and general relativity an event is labelled by four coordinates:

xμ=(x0,x1,x2,x3).(9)x^\mu = \left(x^0, x^1, x^2, x^3\right). \tag{9}

[!note] Notation Greek indices μ,ν,α,β\mu, \nu, \alpha, \beta run over 0,1,2,30, 1, 2, 3. The zeroth component is timelike and the other three are spatial.

We do not use natural units here and keep the speed of light cc explicit. The time coordinate is therefore x0=ctx^0 = ct, and the four-position is

xμ=(ct,x,y,z)(10)x^\mu = (ct, x, y, z) \tag{10}

With this choice ctct, xx, yy and zz all have dimensions of length.

1.2 The metric and the spacetime interval

With coordinates in place, we need a way to measure the physical separation between two nearby events. In general relativity the metric tensor does this.

[!info] Definition The spacetime interval between two nearby events is ds^2 = g_{\mu\nu},dx^\mu dx^\nu \tag{11} where gμνg_{\mu\nu} is the metric tensor.

We use the signature (−,+,+,+)(-,+,+,+). In flat Minkowski spacetime the metric is

gμν=(−1000 0100 0010 0001)(12)g_{\mu\nu} = \begin{pmatrix} -1 & 0 & 0 & 0 \ 0 & 1 & 0 & 0 \ 0 & 0 & 1 & 0 \ 0 & 0 & 0 & 1 \end{pmatrix} \tag{12}

so the interval is

ds2=−(dx0)2+(dx1)2+(dx2)2+(dx3)2=−c2dt2+dx2+dy2+dz2(13)ds^2 = -(dx^0)^2 + (dx^1)^2 + (dx^2)^2 + (dx^3)^2 = -c^2dt^2 + dx^2 + dy^2 + dz^2 \tag{13}

Our universe, however, is expanding, and a static Minkowski spacetime cannot describe it. We need the FLRW metric, in which spatial distances can change with time.

1.3 The FLRW metric

The spacetime geometry of a homogeneous and isotropic universe is given by the FLRW metric:

ds2=−c2dt2+a2(t),γij,dxidxj.(14)ds^2 = -c^2dt^2 + a^2(t),\gamma_{ij},dx^i dx^j. \tag{14}

[!note] Notation Latin indices i,j=1,2,3i, j = 1, 2, 3 label spatial components only.

[!info] Definition The function a(t)a(t) is the scale factor. It tells us how physical distances in the universe change with cosmic time.

[!info] Definition γij\gamma_{ij} is the time-independent metric that describes the spatial geometry of a slice of constant cosmic time.

For a spatially flat universe γij=δij\gamma_{ij} = \delta_{ij}. Then γijdxidxj=dx2+dy2+dz2\gamma_{ij}dx^idx^j = dx^2 + dy^2 + dz^2 and the FLRW metric becomes

ds2=−c2dt2+a2(t)(dx2+dy2+dz2)(15)ds^2 = -c^2dt^2 + a^2(t)\left(dx^2 + dy^2 + dz^2\right) \tag{15}

Since x0=ctx^0 = ct, we have dx0=c,dtdx^0 = c,dt. The metric components are

gμν=(−1000 0a200 00a20 000a2)(16)g_{\mu\nu} = \begin{pmatrix} -1 & 0 & 0 & 0 \ 0 & a^2 & 0 & 0 \ 0 & 0 & a^2 & 0 \ 0 & 0 & 0 & a^2 \end{pmatrix} \tag{16}

and the inverse metric is

gμν=(−1000 0a−200 00a−20 000a−2)(17)g^{\mu\nu} = \begin{pmatrix} -1 & 0 & 0 & 0 \ 0 & a^{-2} & 0 & 0 \ 0 & 0 & a^{-2} & 0 \ 0 & 0 & 0 & a^{-2} \end{pmatrix} \tag{17}

[!info] Definition The inverse metric is the tensor that satisfies gμαgαν=δμνg^{\mu\alpha}g_{\alpha\nu} = \delta^\mu{}_\nu. For example, g11g11=a−2a2=1g^{11}g_{11} = a^{-2}a^2 = 1.

1.4 The comoving observer and proper time

Many different observers could use this metric, so we have to decide which observer we mean in an expanding universe.

FLRW coordinates can be pictured as a grid that expands with the universe. Observers who sit at fixed points of this grid are called comoving observers.

[!info] Definition A comoving observer has constant spatial coordinates: x^i = \text{const}. \tag{18} Hence dxi=0dx^i = 0 and dxi/dτ=0dx^i/d\tau = 0.

Constant coordinates do not mean constant physical distance to other galaxies. The physical distance between two comoving points changes approximately as dphys(t)=a(t),dcomd_{\text{phys}}(t) = a(t),d_{\text{com}}: the coordinate distance stays fixed while the physical distance grows with the scale factor.

An observer carries a clock as well as a ruler. What does a comoving observer's clock read?

[!info] Definition The time measured by an ideal clock carried by an observer is the proper time, written τ\tau.

Along a timelike worldline,

ds2=−c2dτ2(19)ds^2 = -c^2d\tau^2 \tag{19}

For a comoving observer dxi=0dx^i = 0, so the FLRW metric reduces to ds2=−c2dt2ds^2 = -c^2dt^2. Comparing with the definition of proper time,

−c2dτ2=−c2dt2(20)-c^2d\tau^2 = -c^2dt^2 \tag{20}

and, choosing the future direction of time,

dτ=dt(21)d\tau = dt \tag{21}

The clock in a comoving observer's pocket therefore measures the cosmic time tt that appears in the FLRW metric.

1.5 The four-velocity of the comoving observer

Next we describe the direction in which the observer moves through spacetime, using the four-velocity.

[!info] Definition The four-velocity of an observer is u^\mu = \frac{dx^\mu}{d\tau} \tag{22}

With xμ=(ct,x,y,z)x^\mu = (ct, x, y, z),

uμ=(d(ct)dτ,dxdτ,dydτ,dzdτ).(23)u^\mu = \left(\frac{d(ct)}{d\tau}, \frac{dx}{d\tau}, \frac{dy}{d\tau}, \frac{dz}{d\tau}\right). \tag{23}

For a comoving observer dt=dτdt = d\tau and dxi=0dx^i = 0, which gives u0=c,dt/dτ=cu^0 = c,dt/d\tau = c and ui=0u^i = 0:

uμ=(c,0,0,0)(24)u^\mu = (c, 0, 0, 0) \tag{24}

Now we lower the index.

[!info] Definition An index is lowered with the metric: uμ=gμνuνu_\mu = g_{\mu\nu}u^\nu.

The zeroth component is

u0=g00u0+g01u1+g02u2+g03u3=(−1)c=−c(25)u_0 = g_{00}u^0 + g_{01}u^1 + g_{02}u^2 + g_{03}u^3 = (-1)c = -c \tag{25}

The metric is diagonal and the spatial components of the four-velocity vanish, so u1=u2=u3=0u_1 = u_2 = u_3 = 0 and

uμ=(−c,0,0,0)(26)u_\mu = (-c, 0, 0, 0) \tag{26}

1.6 Electromagnetic waves and phase

We can now return to the main problem. The observer's measurement is made on photons, which means on electromagnetic waves, so the observer and the metric are not enough by themselves; we also need a description of the wave.

In the geometric-optics approximation an electromagnetic wave is written as

Ψ(x)=A(x),eiΦ(x)(27)\Psi(x) = A(x),e^{i\Phi(x)} \tag{27}

where A(x)A(x) is the amplitude and Φ(x)\Phi(x) the phase.

The phase tells us where in its oscillation cycle the wave is. For a plane wave in flat spacetime,

Φ(x)=k⋅x−ωt(28)\Phi(x) = \mathbf{k}\cdot\mathbf{x} - \omega t \tag{28}

or explicitly Φ=kxx+kyy+kzz−ωt\Phi = k_x x + k_y y + k_z z - \omega t.

Since x0=ctx^0 = ct, we can write t=x0/ct = x^0/c and

Φ=kxx+kyy+kzz−ωcx0(29)\Phi = k_x x + k_y y + k_z z - \frac{\omega}{c}x^0 \tag{29}

How much does the phase change when we move a small step in spacetime? The total differential of a scalar field is

dΦ=∂μΦ,dxμ(30)d\Phi = \partial_\mu\Phi,dx^\mu \tag{30}

which written out is

dΦ=∂Φ∂x0dx0+∂Φ∂x1dx1+∂Φ∂x2dx2+∂Φ∂x3dx3(31)d\Phi = \frac{\partial\Phi}{\partial x^0}dx^0 + \frac{\partial\Phi}{\partial x^1}dx^1 + \frac{\partial\Phi}{\partial x^2}dx^2 + \frac{\partial\Phi}{\partial x^3}dx^3 \tag{31}

1.7 The wave four-covector

To package the change of phase in a single geometric object, we define the wave four-covector.

[!info] Definition The wave four-covector is k_\mu = \partial_\mu\Phi \tag{32} so that dΦ=kμdxμd\Phi = k_\mu dx^\mu.

In words, kμk_\mu tells us how much a small displacement in spacetime changes the phase of the wave.

We compute the components one at a time. With

Φ=kxx+kyy+kzz−ωcx0(33)\Phi = k_x x + k_y y + k_z z - \frac{\omega}{c}x^0 \tag{33}

we get

k0=∂Φ∂x0=−ωc,k1=∂Φ∂x=kx,k2=ky,k3=kz.(34)k_0 = \frac{\partial\Phi}{\partial x^0} = -\frac{\omega}{c}, \qquad k_1 = \frac{\partial\Phi}{\partial x} = k_x, \qquad k_2 = k_y, \qquad k_3 = k_z. \tag{34}

so

kμ=(−ωc,kx,ky,kz)(35)k_\mu = \left(-\frac{\omega}{c}, k_x, k_y, k_z\right) \tag{35}

The time component carries the frequency, and the spatial components carry the direction of propagation and the wavelength. The magnitude of the spatial wave vector is ∣k∣=2π/λ|\mathbf{k}| = 2\pi/\lambda.

Now we raise the index.

[!info] Definition An index is raised with the inverse metric: kμ=gμνkνk^\mu = g^{\mu\nu}k_\nu.

The zeroth component is

k0=g00k0=(−1)(−ωc)=ωc(36)k^0 = g^{00}k_0 = (-1)\left(-\frac{\omega}{c}\right) = \frac{\omega}{c} \tag{36}

and the spatial components are

k1=k1a2,k2=k2a2,k3=k3a2(37)k^1 = \frac{k_1}{a^2}, \qquad k^2 = \frac{k_2}{a^2}, \qquad k^3 = \frac{k_3}{a^2} \tag{37}

so

kμ=(ωc,k1a2,k2a2,k3a2)(38)k^\mu = \left(\frac{\omega}{c}, \frac{k_1}{a^2}, \frac{k_2}{a^2}, \frac{k_3}{a^2}\right) \tag{38}

Note that kik_i and kik^i differ: raising a spatial index brings in a factor a−2(t)a^{-2}(t).

1.8 The four-momentum of the photon

What changes when this wave is treated quantum mechanically, as a photon?

Using ω=2πν\omega = 2\pi\nu and ℏ=h/(2π)\hbar = h/(2\pi), the photon energy is

E=hν=hω2π=h2πω=ℏω(39)E = h\nu = h\frac{\omega}{2\pi} = \frac{h}{2\pi}\omega = \hbar\omega \tag{39}

The spatial momentum of the photon is related to the wave vector by p=ℏk\mathbf{p} = \hbar\mathbf{k}. Energy and momentum combine into the four-dimensional relation

pμ=ℏkμ(40)p^\mu = \hbar k^\mu \tag{40}

and likewise pμ=ℏkμp_\mu = \hbar k_\mu.

Since k0=ω/ck^0 = \omega/c, the zeroth component is

p0=ℏk0=ℏωc=Ec(41)p^0 = \hbar k^0 = \frac{\hbar\omega}{c} = \frac{E}{c} \tag{41}

1.9 The frequency measured by the observer

With the photon and the observer both defined, we can work out how the observer measures the photon's frequency.

As the observer moves along their worldline, they measure how fast the phase of the wave changes. By the chain rule,

dΦdτ=∂Φ∂xμdxμdτ=kμuμ.(42)\frac{d\Phi}{d\tau} = \frac{\partial\Phi}{\partial x^\mu}\frac{dx^\mu}{d\tau} = k_\mu u^\mu. \tag{42}

With our convention Φ=k⋅x−ωt\Phi = \mathbf{k}\cdot\mathbf{x} - \omega t, the time part of the phase decreases toward the future. To get a positive frequency we define

ωobs=−kμuμ(43)\omega_{\text{obs}} = -k_\mu u^\mu \tag{43}

The frequency an observer measures is the rate at which the phase of the wave changes according to that observer's own clock. Everything that follows rests on this formula.

For a comoving observer uμ=(c,0,0,0)u^\mu = (c, 0, 0, 0), so

ωobs=−(k0u0+k1u1+k2u2+k3u3)=−c,k0.(44)\omega_{\text{obs}} = -\left(k_0u^0 + k_1u^1 + k_2u^2 + k_3u^3\right) = -c,k_0. \tag{44}

With k0=−ω/ck_0 = -\omega/c this gives ωobs=ω\omega_{\text{obs}} = \omega. Since k0=ω/ck^0 = \omega/c, we can also write

ωobs=c,k0(45)\omega_{\text{obs}} = c,k^0 \tag{45}

The measured frequency is a single number, a scalar. It depends on both the photon's vector kμk^\mu and the observer's four-velocity uμu^\mu, which is why different observers can measure different frequencies for the same photon.

1.10 Null trajectories and the affine parameter

The photon is moving, so we also need the equation that governs its path through spacetime.

The photon has zero rest mass. From the general energy-momentum relation E2=p2c2+m2c4E^2 = p^2c^2 + m^2c^4, a photon has E=pcE = pc.

The norm of the four-momentum is pμpμ=−m2c2p_\mu p^\mu = -m^2c^2, so for m=0m = 0

pμpμ=0(46)p_\mu p^\mu = 0 \tag{46}

and with pμ=ℏkμp^\mu = \hbar k^\mu,

kμkμ=0(47)k_\mu k^\mu = 0 \tag{47}

[!info] Definition A vector with zero norm is called null, or lightlike.

The photon's worldline is therefore a null curve, along which ds2=0ds^2 = 0.

A massive particle's trajectory can be parametrized by its proper time τ\tau. For a photon, ds2=−c2dτ2=0ds^2 = -c^2d\tau^2 = 0 gives dτ=0d\tau = 0, so proper time cannot serve as a parameter. We need something else.

[!info] Definition The parameter used to order points along a photon's trajectory is the affine parameter, usually written λaff\lambda_{\text{aff}}.

To keep it apart from the wavelength, we write the affine parameter as λaff\lambda_{\text{aff}} and the physical wavelength as λphys\lambda_{\text{phys}}.

The trajectory is xμ=xμ(λaff)x^\mu = x^\mu(\lambda_{\text{aff}}), with tangent vector

kμ=dxμdλaff(48)k^\mu = \frac{dx^\mu}{d\lambda_{\text{aff}}} \tag{48}

The zeroth component is

k0=dx0dλaff=cdtdλaff(49)k^0 = \frac{dx^0}{d\lambda_{\text{aff}}} = c\frac{dt}{d\lambda_{\text{aff}}} \tag{49}

so

dtdλaff=k0c(50)\frac{dt}{d\lambda_{\text{aff}}} = \frac{k^0}{c} \tag{50}

With an affine parameter, the photon's geodesic equation is

dkμdλaff+Γμαβkαkβ=0(51)\frac{dk^\mu}{d\lambda_{\text{aff}}} + \Gamma^\mu{}_{\alpha\beta}k^\alpha k^\beta = 0 \tag{51}

1.11 The null condition in the FLRW metric

Before using the geodesic equation, we write the null condition explicitly in the FLRW metric:

gμνkμkν=0.(52)g_{\mu\nu}k^\mu k^\nu = 0. \tag{52}

With g00=−1g_{00} = -1 and gij=a2(t)γijg_{ij} = a^2(t)\gamma_{ij},

−(k0)2+a2(t),γijkikj=0(53)-(k^0)^2 + a^2(t),\gamma_{ij}k^ik^j = 0 \tag{53}

which gives

γijkikj=(k0)2a2(t)(54)\gamma_{ij}k^ik^j = \frac{(k^0)^2}{a^2(t)} \tag{54}

This links the time and space components of the photon's wave vector. It does not say how k0k^0 evolves in time; for that we need the geodesic equation.

1.12 Christoffel symbols

The geodesic equation contains the objects Γμαβ\Gamma^\mu{}_{\alpha\beta}.

[!info] Definition The Christoffel symbols are \Gamma^\mu{}_{\alpha\beta} = \frac{1}{2}g^{\mu\nu}\left(\partial_\alpha g_{\nu\beta} + \partial_\beta g_{\nu\alpha} - \partial_\nu g_{\alpha\beta}\right) \tag{55}

They encode how the metric components vary with the coordinates.

We want k0k^0, the component tied to the frequency, so we take the μ=0\mu = 0 component of the geodesic equation:

dk0dλaff+Γ0αβkαkβ=0.(56)\frac{dk^0}{d\lambda_{\text{aff}}} + \Gamma^0{}_{\alpha\beta}k^\alpha k^\beta = 0. \tag{56}

The sum can contain terms of type Γ000\Gamma^0{}_{00}, Γ00i\Gamma^0{}_{0i} and Γ0ij\Gamma^0{}_{ij}. We check first that the ones with time indices vanish.

For Γ000\Gamma^0{}_{00},

Γ000=12g00(∂0g00+∂0g00−∂0g00)=12g00∂0g00.(57)\Gamma^0{}_{00} = \frac{1}{2}g^{00}\left(\partial_0g_{00} + \partial_0g_{00} - \partial_0g_{00}\right) = \frac{1}{2}g^{00}\partial_0g_{00}. \tag{57}

In the FLRW metric g00=−1g_{00} = -1 is constant, so ∂0g00=0\partial_0g_{00} = 0 and

Γ000=0(58)\Gamma^0{}_{00} = 0 \tag{58}

Next, the mixed term Γ00i\Gamma^0{}_{0i} with one time index and one space index:

Γ00i=12g00(∂0g0i+∂ig00−∂0g0i).(59)\Gamma^0{}_{0i} = \frac{1}{2}g^{00}\left(\partial_0g_{0i} + \partial_ig_{00} - \partial_0g_{0i}\right). \tag{59}

Here g0i=0g_{0i} = 0 and g00=−1g_{00} = -1 is constant, so every derivative vanishes:

Γ00i=0(60)\Gamma^0{}_{0i} = 0 \tag{60}

The only remaining term is Γ0ij\Gamma^0{}_{ij}, which comes from the time dependence of the spatial metric:

Γ0ij=12g00(∂ig0j+∂jg0i−∂0gij).(61)\Gamma^0{}_{ij} = \frac{1}{2}g^{00}\left(\partial_ig_{0j} + \partial_jg_{0i} - \partial_0g_{ij}\right). \tag{61}

With g0i=0g_{0i} = 0 and g00=−1g^{00} = -1,

Γ0ij=12∂0gij(62)\Gamma^0{}_{ij} = \frac{1}{2}\partial_0g_{ij} \tag{62}

The spatial metric is gij=a2(t)γijg_{ij} = a^2(t)\gamma_{ij}, and ∂0\partial_0 is the derivative with respect to x0=ctx^0 = ct:

∂0=∂∂x0=1c∂∂t.(63)\partial_0 = \frac{\partial}{\partial x^0} = \frac{1}{c}\frac{\partial}{\partial t}. \tag{63}

Then

∂0gij=1c∂∂t(a2γij)=2aa˙cγij.(64)\partial_0g_{ij} = \frac{1}{c}\frac{\partial}{\partial t}\left(a^2\gamma_{ij}\right) = \frac{2a\dot{a}}{c}\gamma_{ij}. \tag{64}

and therefore

Γ0ij=aa˙cγij(65)\Gamma^0{}_{ij} = \frac{a\dot{a}}{c}\gamma_{ij} \tag{65}

This is where the physics enters: the time component of the photon's wave vector changes because the spatial metric changes with time through a(t)a(t).

We now have everything we need. The time component of the geodesic equation was

dk0dλaff+Γ0αβkαkβ=0(66)\frac{dk^0}{d\lambda_{\text{aff}}} + \Gamma^0{}_{\alpha\beta}k^\alpha k^\beta = 0 \tag{66}

Since Γ000=0\Gamma^0{}_{00} = 0 and Γ00i=0\Gamma^0{}_{0i} = 0, only the spatial term survives:

dk0dλaff+Γ0ijkikj=0.(67)\frac{dk^0}{d\lambda_{\text{aff}}} + \Gamma^0{}_{ij}k^ik^j = 0. \tag{67}

Inserting Γ0ij=(aa˙/c)γij\Gamma^0{}_{ij} = (a\dot{a}/c)\gamma_{ij},

dk0dλaff+aa˙cγijkikj=0(68)\frac{dk^0}{d\lambda_{\text{aff}}} + \frac{a\dot{a}}{c}\gamma_{ij}k^ik^j = 0 \tag{68}

From the null condition, γijkikj=(k0)2/a2\gamma_{ij}k^ik^j = (k^0)^2/a^2. Substituting,

dk0dλaff+a˙ac(k0)2=0(69)\frac{dk^0}{d\lambda_{\text{aff}}} + \frac{\dot{a}}{ac}(k^0)^2 = 0 \tag{69}

[!info] Definition The Hubble parameter is H(t)=a˙/aH(t) = \dot{a}/a.

The equation becomes

dk0dλaff+Hc(k0)2=0(70)\frac{dk^0}{d\lambda_{\text{aff}}} + \frac{H}{c}(k^0)^2 = 0 \tag{70}

To rewrite this in terms of cosmic time, recall that

dtdλaff=k0c(71)\frac{dt}{d\lambda_{\text{aff}}} = \frac{k^0}{c} \tag{71}

By the chain rule,

dk0dλaff=dk0dtdtdλaff=k0cdk0dt.(72)\frac{dk^0}{d\lambda_{\text{aff}}} = \frac{dk^0}{dt}\frac{dt}{d\lambda_{\text{aff}}} = \frac{k^0}{c}\frac{dk^0}{dt}. \tag{72}

Putting this into the geodesic equation,

k0cdk0dt+Hc(k0)2=0(73)\frac{k^0}{c}\frac{dk^0}{dt} + \frac{H}{c}(k^0)^2 = 0 \tag{73}

and dividing by k0/ck^0/c,

dk0dt+Hk0=0(74)\frac{dk^0}{dt} + Hk^0 = 0 \tag{74}

With H=a˙/aH = \dot{a}/a,

1k0dk0dt=−a˙a(75)\frac{1}{k^0}\frac{dk^0}{dt} = -\frac{\dot{a}}{a} \tag{75}

which can be written as

ddtln⁡k0=−ddtln⁡a(76)\frac{d}{dt}\ln k^0 = -\frac{d}{dt}\ln a \tag{76}

Integrating both sides in time gives ln⁡k0=−ln⁡a+C\ln k^0 = -\ln a + C, so

k0=C′a(t)(77)k^0 = \frac{C'}{a(t)} \tag{77}

that is,

k0∝1a(t)(78)k^0 \propto \frac{1}{a(t)} \tag{78}

For a comoving observer ωobs=c,k0\omega_{\text{obs}} = c,k^0, and the constant cc does not affect the proportionality:

ωobs∝1a(t)(79)\omega_{\text{obs}} \propto \frac{1}{a(t)} \tag{79}

In an expanding universe, then, the photon frequency measured by a comoving observer is inversely proportional to the scale factor.

If the photon is emitted at time tet_e and observed at time tot_o,

ωoωe=aeao(80)\frac{\omega_o}{\omega_e} = \frac{a_e}{a_o} \tag{80}

In an expanding universe ao>aea_o > a_e, so ωo<ωe\omega_o < \omega_e and the photon arrives at a lower frequency.

1.13 Wavelength and redshift

We know how the frequency changes, and the relation between frequency and wavelength from introductory physics takes us straight back to where we started.

Angular and ordinary frequency are related by ω=2πν\omega = 2\pi\nu, and for light c=λphysνc = \lambda_{\text{phys}}\nu. Therefore

λphys=2πcω(81)\lambda_{\text{phys}} = \frac{2\pi c}{\omega} \tag{81}

and since ω∝a−1\omega \propto a^{-1},

λphys∝a(t)(82)\lambda_{\text{phys}} \propto a(t) \tag{82}

The emitted and observed wavelengths are then related by

λoλe=aoae(83)\frac{\lambda_o}{\lambda_e} = \frac{a_o}{a_e} \tag{83}

[!info] Definition The cosmological redshift is z = \frac{\lambda_o - \lambda_e}{\lambda_e} \tag{84}

It follows that

1+z=λoλe=aoae=ωeωo(85)1 + z = \frac{\lambda_o}{\lambda_e} = \frac{a_o}{a_e} = \frac{\omega_e}{\omega_o} \tag{85}

Normalizing the present-day scale factor to ao=1a_o = 1,

1+z=1ae(86)1 + z = \frac{1}{a_e} \tag{86}

As the universe expands, the wavelength grows with the scale factor and the frequency falls as its inverse:

λphys∝a(t),ω∝1a(t)(87)\lambda_{\text{phys}} \propto a(t), \qquad \omega \propto \frac{1}{a(t)} \tag{87}

The local speed of light stays the same throughout. Every local comoving observer still measures c=λphysνc = \lambda_{\text{phys}}\nu: the wavelength increases and the frequency decreases by the same factor, so their product remains cc.

In the next section we combine these results with the relation between energy and temperature.

N

Naz Eylül Tekin

Author