1.10: The Friedmann Equation
- Page ID
- 5923
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Sticking with our Newtonian expanding universe, we will now derive the Friedmann equation that relates the mass/energy density to the rate of change of the scale factor.
We will proceed by using the Newtonian concept of energy conservation. (You may be surprised to hear me call this a Newtonian concept, but the fact is that energy conservation does not fully survive the transition from Newton to Einstein).
Box \(\PageIndex{1}\)
Assume the universe is filled with a fluid with mass density \(\rho\), that is flowing in a manner consistent with Hubble's law. Consider a test particle of mass \(m\) a distance \(a(t)\ell\) away from the origin of the coordinate system, that moves along with the fluid; i.e., all of its motion relative to the origin is due to the changing of the scale factor. We take the origin of the coordinate system to be at rest.
Exercise 10.1.1: Express the test particle's kinetic energy as a function of \(\dot a, \ell\) and \(m\).
Exercise 10.1.2: Calculate the test particle's potential energy. Do so by considering just the mass interior to a sphere centered on the origin, with radius \(a(t)\ell\), as is justified for spherical mass distributions in Newtonian mechanics.
Exercise 10.1.3: Add these two together and set them equal to a constant. Call the constant \(\kappa\).
Exercise 10.1.4: Manipulate your equation from Exercise 11.1.3 to get:
\[\begin{equation*}
\begin{aligned}
\left(\frac{\dot a}{a}\right)^2 = \frac{8\pi G \rho}{3} + \frac{2\kappa}{ml^2} \times \frac{1}{a^2}
\end{aligned}
\end{equation*}\]
Note that everything in that last term in front of the \(\frac{1}{a^2}\) factor is a constant in time. Because the other two terms in the equation are constant in space, we can conclude that the third term is also constant in space. Since \(\frac{1}{a^2}\) is also constant in space, the combination \(2\kappa/(ml^2)\) that precedes it must also be constant in space. We are free to simplify this term by introducing a new space-time constant that we will call \(-k\) so the Friedmann equation becomes:
\[\left(\frac{\dot a}{a}\right)^2 = \frac{8\pi G \rho}{3} - \frac{k}{a^2}.\]
In general relativity this constant, \(k\), is the same as the curvature constant in the FRW invariant distance equation. Of course we cannot use Newtonian physics to derive this fact, as curvature is a non-Newtonian concept. We simply state it here with no proof.
To fully have a handle on the dynamics, what's left is to determine how \(\rho\) changes as \(a\) changes, a subject we will address in the next few chapters. For now, to explore some consequences of the Friedmann equation, we assume \(\rho \propto a^{-3}\). This is a model that most cosmologists, over 25 years ago, thought was probably an excellent approximation to reality. With this assumption, there becomes a connection between the geometry of space, and the fate of the universe. If \(k > 0\) the expansion eventually halts and becomes contraction. If \(k < 0\) or if \( k =0\) the expansion rate remains positive, approaching but never reaching zero.
Note that the Friedmann equation gives us another means of inferring the curvature constant \(k\). All we need to do is determine the expansion rate today, \(H_0\) and the density of matter today, \(\rho_0\) and plug them in to the Friedmann equation and solve for \(k\). We've already seen, in principle, how to infer \(H_0\) by measuring luminosity distances and redshifts for objects at low redshift and using \(cz =H_0 d_{\rm lum}\). Measuring \(\rho_0 \), is trickier, and a subject we may not get to in this course. However, cosmologists have been attempting to measure \(\rho_0\) for decades, in order to then infer \(k\). Because they also used to believe \(\rho \propto a^{-3}\), this meant a density measurement could be used to infer the fate of the universe. This situation is the origin of the statement "density is destiny." As we will see, the surprising discovery of cosmic acceleration ( \( \ddot a > 0\) ) destroyed this notion.
HOMEWORK Problems
Note: Unless directed otherwise, in these first 3 problems assume that \(k = 0\) and \(\rho \propto a^{-3}\).
Problem \(\PageIndex{1}\)
- What is the age of the universe as a function of \(H\)?
- If there were some non-zero curvature, would the magnitude of its contribution to the expansion rate, relative to that of the energy density, increase or decrease over time?
Problem \(\PageIndex{2}\)
What is the furthest physical distance a signal could travel if it started at the beginning? Express your answer as a function of \(H\). To be clear, the distance I mean is the physical distance, at the time when the expansion rate is \(H\), between the particle's actual spatial location and the spatial location it would have had if it had been stationary since the beginning.
Problem \(\PageIndex{3}\)
Is there any limit to the comoving distance we can send a signal, if we send one now and are willing to wait an arbitrarily long amount of time? This is equivalent to asking, are there galaxies out at sufficient distance, that a light signal we send to them now will never get to them, even given an infinite amount of time?
Problem \(\PageIndex{4}\)
Show that if \(\rho \propto a^{p} \) with \(p < -2\), then \(\ddot a < 0.\) Do not assume \(k = 0\).