Skip to main content
Physics LibreTexts

10: A Newtonian Homogeneous Expanding Universe

  • Page ID
  • \( \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}\)

    Let's consider a homogeneous and isotropic expanding universe in a Newtonian manner: space is fixed, and the universe is filled with a fluid that is moving in such a manner as to keep the density spatially uniform. Is such a fluid flow possible? We are going to begin by assuming the fluid is undergoing a uniform expansion so we have distances between all pairs of fluid elements scaling up over time with some scale factor \(a(t)\). We will show that the fluid flow resulting from such an assumption is consistent with both the maintenance of uniform density over time and the conservation of mass. So such a flow is indeed kinematically possible. In the next section we will study the dynamics of this flow under the influence of gravity. 

    With uniform expansion we can write the location of all fluid elements as evolving over time as 

    \[\vec x(t) = a(t) \vec x_c \label{eqn:UniformExpansion}\]

    where \( \vec x_c \) is some fixed quantity for each fluid element. The 'c' stands for comoving. We consider any fluid element following this rule to be 'comoving' with the expansion; i.e., its only motion is due to the expansion. In our completely homogeneous universe, all fluid elements are 'comoving' in this way. 

    The velocity of any fluid element is then

    \[\vec v = d \vec x/dt = \dot a \vec x_c = (\dot a/a) \vec x \label{eqn:VectorHubble}\]

    and, as expected for uniform expansion, we see we have Hubble's law (or rather a vector version of it). 

    Does this pattern of fluid flow preserve homogeneity? Let's see by looking at the continuity equation, which follows from mass conservation:

    \[\partial \rho/\partial t = - \vec \nabla \cdot (\rho \vec v).\]

    If we assume \( \rho \) is initially uniform then the right-hand side can be written as  - \( \rho \vec \nabla \cdot  \vec v\). Substituting in the expression for the velocity field in Equation \ref{eqn:VectorHubble} one can show (see the Exercise) that \(\vec \nabla \cdot \vec v = 3 \dot a/a \). By assumption, \( \dot a/a\) is independent of location so the continuity equation says that if the field is initially homogeneous, its time derivative is independent of location so it will stay homogeneous. So we have demonstrated what we wanted to demonstrate: the uniform expansion represented by Equation \ref{eqn:UniformExpansion} leads to a fluid flow that indeed preserves homogeneity. 



    Box \(\PageIndex{1}\)

    Exercise 10.1.1: Show that if \(\vec x(t) = a(t) \vec x_{\rm c}\) that \( \vec v = d\vec x(t) /dt \propto \vec x \).  Find the proportionality constant in terms of \(a(t)\) and its time derivative. Then show that \(\vec \nabla \cdot \vec v = 3 \dot a/a \).


    Since \(\vec x(t) = a(t) \vec x_{\rm c}\) with \(\vec x_{\rm c} \) a constant, we have \(\vec v = dx(t)/dt = \dot a \vec x_{\rm c} = (\dot a/a) \vec x\) which is Hubble's law with the proportionality between velocity and distance given by \( \dot a/a \). For the second part, note that \( \vec \nabla  = \hat x \partial/\partial x + \hat y \partial/\partial y + \hat z \partial/\partial z \) and \(\vec v = (\dot a/a)(x\hat x + y\hat y+ z\hat z)\) so \(\vec \nabla \cdot \vec v = (\dot a/a)\times (1+1+1) = 3 (\dot a/a)\). (Here we've used e.g. \( \hat x\) as the unit vector in the \(x\) direction.) 

    Hubble's law, as seen in the above exercise, does not look homogeneous. After all, there's a special point that has zero velocity. But this is just a matter of the choice of coordinate system and is not a real inhomogeneity. We'll explicitly demonstrate now that Hubble's law is valid even if you chose a different point to be the one at rest. If the point at rest is \(\vec x_1\), then any point \(\vec x\), has velocity \(\vec v = \left(\vec x - \vec x_1\right) \dot a/a\). We'll call this the vector version of Hubble's Law. An observer at rest with respect to the fluid at \( \vec x_1\) will see a flow as shown in the left panel of the figure below.

    x1rest.jpg x2rest.jpg
    Coordinate system with \(\vec x_1\) as the point at rest and seeming center of expansion. Image by Bryan Miller. Coordinate system with \(\vec x_2\) as the point at rest. Image by Bryan Miller.

    What will an observer at rest with respect to the fluid at location \(x_2\) see? In our original unprimed coordinate system we have

    \[\vec v_2 = (\vec x_2 - \vec x_1) \dot a/a \quad ({\rm unprimed} \; {\rm system})\]

    and we want \(\vec v'_2 = 0\) via a Galilean transformation to the unprimed system, so we subtract \(\vec v_2\) from the unprimed velocities everywhere:

    \vec v' &= \vec v - \vec v_2 \quad ({\rm Galilean\ velocity\ transformation} \; {\rm rule}) \\ \\ &= (\vec x - \vec x_1) \dot a/a - (\vec x_2 - \vec x_1) \dot a/a \\ \\ &= (\vec x - \vec x_2) \dot a/a

    So we see that we still have Hubble's Law. We see that arranging the fluid so that it all flows away from a given point with speed linearly dependent on distance preserves homogeneity and isotropy.

    Although we first derived Hubble's Law in the context of a relativistic description of spacetime, we now see it arising in a Newtonian context. Fundamentally, Hubble's Law follows from the uniformity of the expansion, whether that's a fluid that's expanding or space itself.

    HOMEWORK Problems

    Problem \(\PageIndex{1}\)

    Demonstrate that a universe obeying a nonlinear version of Hubble's law would violate homogeneity. Take \(v = H_0 d^2\) for specificity and work in one dimension for simplicity. Show that assuming this velocity pattern about one point leads to a different velocity pattern around other points, thereby demonstrating the violation of homogeneity. You can do this by thinking of 3 points all in one line, with the central point the same distance from the surrounding two.

    This page titled 10: A Newtonian Homogeneous Expanding Universe is shared under a CC BY 4.0 license and was authored, remixed, and/or curated by Lloyd Knox.

    • Was this article helpful?