# 8: The Distance-Redshift Relation

- Page ID
- 5904

For a given scale factor history, \(a(t)\), one can work out a relationship between luminosity distance and redshift. This will be useful to us because it indicates how we can *infer* \(a(t)\) from measurements of luminosity distance and redshift, over a range of redshifts.

Recall that for light world lines (paths through spacetime), \(ds^2 = 0\). For a radial trajectory (one with \(d\phi = d\theta = 0\)) we thus have \(c^2dt^2 = a^2(t)dr^2/(1-kr^2)\). Taking the square root, and choosing the sign so that the photon is headed toward the origin (\(dr/dt < 0\)) we have:

\[cdt = -\dfrac{a(t)dr}{\sqrt{1-kr^2}}\]

Assuming \(a(t)\) we could do the integrals on both sides and find out how long it takes for the light to go from \(r=d\) to the observer at the origin. But that time interval is not something we can measure, so we'd have a prediction following from the assumed \(a(t)\) but no way to confirm it (at least not from what we've developed so far in our exposition here.) What we *can* measure is redshift, which as we've seen depends on the scale factor at the time of emission, so instead we swap out the \(dt\) for \(da\) and integrate over \(da\). Since \(dt = da/(da/dt)\) we get:

\[\dfrac{cda}{a\dot a} = -\frac{dr}{\sqrt{1-kr^2}} \]

or

\[c\int_{a_e}^1\frac{da}{a\dot a} = -\int_d^0\frac{dr}{\sqrt{1-kr^2}} = \int_0^d\frac{dr}{\sqrt{1-kr^2}}\]

It is conventional, and we will later find it convenient, to define the Hubble parameter \(H \equiv \dot a/a\). This is a generalization of the Hubble constant, \(H_0 = H(t_0)\) where \(t_0\) is the time today. With this definition we can write:

\[c\int_{a_e}^1\frac{da}{a^2H} = \int_0^d\frac{dr}{\sqrt{1-kr^2}} \label{eqn:ScaleFactorVsDistance} \]

Let's work out the consequences of the above in a simple case valid for short travel times and a Euclidean geometry. Putting it more precisely, let's assume \(k=0\) and take \(a(t)\) as given by its first order Taylor expansion about the current epoch so that:

\[a(t) = 1 + (t-t_0) \dot a|_{t_0}\]

where for the last term we've indicated it's to be evaluated at time \(t=t_0\) (consistent with our assumption of a Taylor expansion). Note that truncating this Taylor expansion to first order means that \(da/dt = \dot a|_{t_0}\) is a constant. Since the scale factor is unity today (by convention) we also have \(\dot a = H_0\) and \(H \equiv \dot a/a = H_0/a\).

Box \(\PageIndex{1}\)

**Exercise 8.1.1:** Plugging \(H = H_0/a\) into Equation \ref{eqn:ScaleFactorVsDistance} one can now do the integral on the left-hand side. The right-hand side could not be easier (since we are assuming \(k = 0\)). Check that you find:

\[\begin{equation*}

\begin{aligned}

\frac{c}{H_0}\left[\ln(1) - \ln(a_e)\right] = d

\end{aligned}

\end{equation*}\]

Box \(\PageIndex{2}\)

**Exercise 8.2.1:** Relate \(a_e\) to the redshift \(z\), and take advantage of \(\ln(1+x) = x\) to first order in \(x\) to derive \(cz = H_0 d\) to first order in \(z\). How is \(d\) here related to luminosity distance? Simplify your result, again assuming \(z <<1\). You should find \(cz=H_0 d_{\rm lum}\). Finally, if \(z\) is replaced with \(z=v/c\) we get Hubble's Law.

#### Summary

- The Hubble parameter is \(H \equiv \frac{\dot a}{a}\). What we call "the Hubble constant", \(H_0\) is the Hubble parameter evaluated today, \(H_0 = H(t_0)\).
- Luminosity distance and redshift are two things we can measure. The relationship depends on \(a(t)\) and the curvature \(k\). In principle, if we measure distances and redshifts for objects at a variety of distances we could then infer \(a(t)\) and \(k\). The general relationship between redshift and luminosity distance is contained in these equations:

\[c\int_{a_e}^1\frac{da}{a^2H} = \int_0^d\frac{dr}{\sqrt{1-kr^2}} \]

and

\[d_{\rm lum} = d (1+z)\]

with \(1+z = 1/a_e\).

3) For small redshifts, the above reduces to \(cz=H_0 d\) for \(k=0\), (and for non-zero \(k\): \(cz = H_0 \int_0^d \frac{dr}{\sqrt{1-kr^2}}\)). If one sets \(v=cz\) (which makes sense for a Newtonian interpretation of the redshift), then we arrive at Hubble's Law \(v = H_0 d\).

### HOMEWORK Problems

Problem \(\PageIndex{1}\)

Assume the Hubble parameter varies with scale factor as \(H = H_0 a^{-3/2}\) and that \(k=0\). As we will see in subsequent chapters this is what one gets (when \(k=0\) ) for a universe filled with non-relativistic matter and nothing else. Note that we are using our convention that the scale factor today is unity; i.e., \(a(t_0) = 1) (and further note that we will not continue to give this reminder). Show that the luminosity distance is related to redshift via:

\[\begin{equation*}

\begin{aligned}

d_{\rm lum} = \frac{2c}{H_0}\left[1-\sqrt{\frac{1}{1+z}}\right]\times (1+z)

\end{aligned}

\end{equation*}\]

Problem \(\PageIndex{2}\)

Show that to first order in \(z\) the above relationship reduces to \(cz = H_0 d_{\rm lum}\); i.e., Hubble's Law.

Problem \(\PageIndex{3}\)

Assume the Hubble parameter varies with scale factor as \(H = H_0 a^{-1}\) and that \(k<0\). As we will see in subsequent chapters this is what one gets for a universe filled with nothing. Show that

\[\begin{equation*}

\begin{aligned}

d_{\rm lum} = \frac{1+z}{\sqrt{|k|}}\sinh \left[{\sqrt{|k|}}\frac{c}{H_0}\ln (1+z)\right].

\end{aligned}

\end{equation*}\]

Problem \(\PageIndex{4}\)

Use appropriate Taylor expansions to show, once again, that to first order in \(z\) the result in 8.3 reduces to \(cz = H_0 d_{\rm lum}\).

Problem \(\PageIndex{5}\)

Make a qualitative sketch, on the same graph, of \(d_{\rm lum}\) vs. \(z\) for the universe model in problem 8.1 and for the universe model in problem 8.3. Assume the same value of \(H_0\) for each. At low \(z\) the two curves should be coincident. I just want to see, from your drawings, which one starts to have \(d_{\rm lum}\) grow more rapidly with \(z\) once \(z\) gets big enough that the Taylor series approximations break down. It would be sufficient to look at behavior as \(z \rightarrow \infty\). To do so, you will want to use \(\sinh(x) = (e^x-e^{-x})/2 \rightarrow e^x/2\) for large \(x\). Be sure to label your curves.