Free coursewareRewritten from MIT OpenCourseWareCC BY-NC-SA 4.0
Open CosmologyPhysics & cosmology: four years, plus a graduate year

The closed universe as a cycloid

Solving the Friedmann equation for a closed universe gives a parametric solution with a surprising shape — the curve traced by a point on a rolling wheel.

You need this first

Full reading path (11 pages)
  1. Vectors (8.01)
  2. Position and velocity in one dimension (8.01)
  3. Acceleration in one dimension (8.01)
  4. Motion in two dimensions and projectiles (8.01)
  5. Newton's laws of motion (8.01)
  6. The universal law of gravitation (8.01)
  7. The homogeneous expanding universe (8.286)
  8. Why a static universe cannot work (8.286)
  9. The expanding sphere and the equation for a(t) (8.286)
  10. The Friedmann equation (8.286)
  11. Open, closed and flat universes (8.286)
On this page · 5 sections
  1. Setting up the equation
  2. Solving it
  3. A rolling wheel
  4. Lifetime and maximum size
  5. Summary

The flat universe gave a simple power law. A closed universe, which expands to a maximum size and then recollapses, needs more work. Guth sets up the problem at the end of Lecture 8 and finishes it in Lecture 9, arriving at a beautiful result: the universe's size traces a cycloid.

Setting up the equation#

Start from the Friedmann equation with pressureless matter, for which ρa3\rho a^3 is constant:

Friedmann equation, matter only
(a˙a)2=8π3Gρ−kc2a2,ρ a3=const\left(\frac{\dot a}{a}\right)^2 = \frac{8\pi}{3}G\rho - \frac{kc^2}{a^2}, \qquad \rho\,a^3 = \text{const}
In words

( a dot over a ) squared equals 8 pi over 3 G rho minus kc squared over a squared , rho a cubed equals const

Source: 8.286 Lecture 9 slides, slide 2

For a closed universe k>0k > 0. Strip away the arbitrary notch units by choosing new variables that are both lengths:

Rescaled variables
a~≡ak,t~≡c t,(da~dt~)2=2αa~−1,α≡4π3 Gρ a~3c2\tilde a \equiv \frac{a}{\sqrt k}, \qquad \tilde t \equiv c\,t, \qquad \left(\frac{d\tilde a}{d\tilde t}\right)^2 = \frac{2\alpha}{\tilde a} - 1, \qquad \alpha \equiv \frac{4\pi}{3}\,\frac{G\rho\,\tilde a^3}{c^2}
In words

a tilde is defined as a over the square root of k , t tilde is defined as c t, ( d a tilde over d t tilde ) squared equals 2 alpha over a tilde minus 1, alpha is defined as 4 pi over 3 G rho a tilde cubed over c squared

Source: 8.286 Lecture 9 slides, slide 2

Since ρa3\rho a^3 and kk are constant, so is α\alpha; it has units of length and is the only parameter left.

Solving it#

Separate the variables and integrate from the Big Bang (t~=0\tilde t = 0, a~=0\tilde a = 0) to an arbitrary time t~f\tilde t_f:

Separated integral
t~f=∫0a~fa~ da~2αa~−a~2\tilde t_f = \int_0^{\tilde a_f}\frac{\tilde a\,d\tilde a}{\sqrt{2\alpha\tilde a - \tilde a^2}}
In words

t tilde sub f equals the integral from 0 to a tilde sub f of a tilde d a tilde over the square root of 2 alpha a tilde minus a tilde squared

Source: 8.286 Lecture 9 slides, slide 3

(Near a~=0\tilde a = 0 the integrand behaves like a~\sqrt{\tilde a}, so the integral converges — Guth's reminder to always check.) Two substitutions crack it:

  1. Complete the square: 2αa~−a~2=α2−(a~−α)22\alpha\tilde a - \tilde a^2 = \alpha^2 - (\tilde a - \alpha)^2, and set x=a~−αx = \tilde a - \alpha.
  2. Trigonometric substitution: x=−αcos⁡θx = -\alpha\cos\theta, so α2−x2=αsin⁡θ\sqrt{\alpha^2 - x^2} = \alpha\sin\theta and the integrand becomes simply α(1−cos⁡θ) dθ\alpha(1 - \cos\theta)\,d\theta.

Integrating, and matching the upper limits (a~f−α=−αcos⁡θf\tilde a_f - \alpha = -\alpha\cos\theta_f), gives the parametric solution:

Evolution of a closed universe
c t=α (θ−sin⁡θ),ak=α (1−cos⁡θ),0≤θ≤2πc\,t = \alpha\,(\theta - \sin\theta), \qquad \frac{a}{\sqrt k} = \alpha\,(1 - \cos\theta), \qquad 0 \le \theta \le 2\pi
In words

c t equals alpha ( theta minus sine theta ), a over the square root of k equals alpha (1 minus cos theta ), 0 is less than or equal to theta is less than or equal to 2 pi

Source: 8.286 Lecture 9 slides, slide 4; range of θ from transcript p. 15

The angle θ\theta is a parameter that drives both time and size. You cannot solve θ−sin⁡θ=ct/α\theta - \sin\theta = ct/\alpha for θ\theta with ordinary functions (a computer can do it numerically), so this pair is "as good as it gets". (In the lecture the integral was first written down wrongly and students caught it — a useful reminder to check every step.)

A rolling wheel#

The pair of equations describes a cycloid: the path traced by a point on the rim of a wheel of radius α\alpha rolling without slipping along a line.

  • Horizontally: after the wheel has turned through angle θ\theta, its contact point has moved αθ\alpha\theta; the marked point sits αsin⁡θ\alpha\sin\theta behind the centre, so x=α(θ−sin⁡θ)=ctx = \alpha(\theta - \sin\theta) = ct.
  • Vertically: up α\alpha to the centre, then down αcos⁡θ\alpha\cos\theta, so y=α(1−cos⁡θ)=a/ky = \alpha(1 - \cos\theta) = a/\sqrt k.
The closed-universe solution, computed from the parametric equations. It starts like a flat universe (a ∝ t^(2/3) for small θ), reaches its maximum 2α at θ = π, and recollapses at ct = 2πα.

Guth calls θ\theta the development angle. For every closed universe it runs from 0 at the Big Bang, through π\pi at maximum size, to 2π2\pi at the Big Crunch.

Lifetime and maximum size#

The solution seems to have two parameters, α\alpha and kk, but kk can be set to 1 by choosing the notch. Closed matter-only universes form a one-parameter family, labelled by α\alpha:

Lifetime and maximum size
ttotal=2παc,amax⁡k=2α(θ=π)t_\text{total} = \frac{2\pi\alpha}{c}, \qquad \frac{a_{\max}}{\sqrt k} = 2\alpha \quad (\theta = \pi)
In words

t sub total equals 2 pi alpha over c , a sub max over the square root of k equals 2 alpha ( theta equals pi )

Source: 8.286 Lecture 9 transcript, pp. 16–17

The geometric meaning of a/ka/\sqrt k — it will turn out to be the radius of curvature of space — comes in later lectures.

Worked example

Checking the early universe against the flat case

Show that for small θ\theta the closed universe grows like a∝t2/3a \propto t^{2/3}, just like a flat universe.

Expand for small θ

sin⁡θ≈θ−θ3/6\sin\theta \approx \theta - \theta^3/6 and cos⁡θ≈1−θ2/2\cos\theta \approx 1 - \theta^2/2. So ct≈αθ3/6ct \approx \alpha\theta^3/6 and a/k≈αθ2/2a/\sqrt k \approx \alpha\theta^2/2.

Eliminate θ

From the first, θ=(6ct/α)1/3\theta = (6ct/\alpha)^{1/3}. Then a/k≈α2(6ct/α)2/3a/\sqrt k \approx \tfrac{\alpha}{2}(6ct/\alpha)^{2/3}, which is proportional to t2/3t^{2/3} — the dashed curve in the plot.

Why

Early on the density is so high that the curvature term kc2/a2kc^2/a^2 in the Friedmann equation is negligible compared with 8π3Gρ∝1/a3\tfrac{8\pi}{3}G\rho \propto 1/a^3. Every matter-dominated universe starts out looking flat.

Summary#

  • With a~=a/k\tilde a = a/\sqrt k and t~=ct\tilde t = ct, the closed-universe Friedmann equation becomes (da~/dt~)2=2α/a~−1(d\tilde a/d\tilde t)^2 = 2\alpha/\tilde a - 1 with one length parameter α\alpha.
  • Completing the square and a trigonometric substitution give ct=α(θ−sin⁡θ)ct = \alpha(\theta - \sin\theta), a/k=α(1−cos⁡θ)a/\sqrt k = \alpha(1 - \cos\theta): a cycloid.
  • The development angle runs from 0 (Big Bang) through π\pi (maximum size 2α2\alpha) to 2π2\pi (Big Crunch, at t=2πα/ct = 2\pi\alpha/c).
  • At early times the solution matches the flat-universe law a∝t2/3a \propto t^{2/3}.

Symbols on this page

Show the 18 symbols used here
α\alpha alpha
A length constant of the parametric (cycloid) solution, as in ct = α(θ − sin θ). Say it: “alpha”.
θ\theta theta
The parameter (development angle) of the parametric solution: it runs from 0 at the Big Bang. Say it: “theta” (sounds like “thay-ta or thee-ta”).
π\pi pi
The ratio of a circle's circumference to its diameter, π ≈ 3.14159. Say it: “pi”.
ρ\rho rho
Density: mass (or energy divided by c²) per unit volume. ρ_c is the critical density, ρ̄ the mean density. Say it: “rho”.
≈\approx approximately equal
Is approximately equal to. Say it: “is approximately”.
∝\propto proportional to
Is proportional to: doubling one doubles the other. Say it: “is proportional to”.
≡\equiv identical to
Is defined as (or is identically equal to). Say it: “is defined as”.
≤\le less than or equal
Is less than or equal to. Say it: “is less than or equal to”.
∫\int integral
Integral: the sum of infinitely many small pieces, such as the area under a curve. Say it: “the integral of”.
max⁡\max maximum
Maximum: the largest value. Say it: “max”.
sin⁡\sin sine
Sine of an angle. Say it: “sine”.
cos⁡\cos cosine
Cosine of an angle. Say it: “cos”.
a˙\dot a dot
Rate of change with time: ȧ = da/dt. Say it: “dot”.
a~\tilde a tilde
A modified version of a quantity (ã, k̃); its meaning is given where it is introduced. Say it: “tilde”.
aa a
The scale factor a(t): how much the universe has expanded. Physical distance = a × comoving distance (Guth's units: metres per notch). Say it: “a”.
GG G
Newton's gravitational constant, G ≈ 6.674 × 10⁻¹¹ m³ kg⁻¹ s⁻². Say it: “G”.
cc c
The speed of light, c ≈ 2.998 × 10⁸ m/s. Say it: “c”.
kk k
The curvature constant: k > 0 closed, k = 0 flat, k < 0 open (Guth's units: 1/notch²). Say it: “k”.

Tap or click a symbol in a formula to see the same explanation. All symbols: symbols and notation.

Where this leads

Pages that build on this

Check your understanding

  1. What shape does the closed-universe solution a(t)a(t) trace?
  2. Over what range does the development angle θ\theta run during the whole life of a closed universe?
  3. How long does a closed matter-only universe live, from Big Bang to Big Crunch?
  4. Why can't we write aa directly as a function of tt for the closed universe?
0 of 4 answered

Flashcards

1 / 4