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.
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.
For a closed universe k>0. Strip away the arbitrary notch units by choosing new variables that are both lengths:
Rescaled variables
a~≡ka,t~≡ct,(dt~da~)2=a~2α−1,α≡34πc2Gρa~3
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
(Near a~=0 the integrand behaves like a~, so the integral converges — Guth's reminder to always check.) Two substitutions crack it:
Complete the square:2αa~−a~2=α2−(a~−α)2, and set x=a~−α.
Trigonometric substitution:x=−αcosθ, so α2−x2=αsinθ and the integrand becomes simply α(1−cosθ)dθ.
Integrating, and matching the upper limits (a~f−α=−αcosθf), gives the parametric solution:
Evolution of a closed universe
ct=α(θ−sinθ),ka=α(1−cosθ),0≤θ≤2π
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
The angle θ is a parameter that drives both time and size. You cannot solve θ−sinθ=ct/α for θ 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.)
The pair of equations describes a cycloid: the path traced by a point on the rim of a wheel of radius α rolling without slipping along a line.
Horizontally: after the wheel has turned through angle θ, its contact point has moved αθ; the marked point sits αsinθ behind the centre, so x=α(θ−sinθ)=ct.
Vertically: up α to the centre, then down αcosθ, so y=α(1−cosθ)=a/k.
Loading graph…
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 θ the development angle. For every closed universe it runs from 0 at the Big Bang, through π at maximum size, to 2π at the Big Crunch.
The solution seems to have two parameters, α and k, but k can be set to 1 by choosing the notch. Closed matter-only universes form a one-parameter family, labelled by α:
Lifetime and maximum size
ttotal=c2πα,kamax=2α(θ=π)
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 )
The geometric meaning of a/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 θ the closed universe grows like a∝t2/3, just like a flat universe.
Expand for small θ
sinθ≈θ−θ3/6 and cosθ≈1−θ2/2. So ct≈αθ3/6 and a/k≈αθ2/2.
Eliminate θ
From the first, θ=(6ct/α)1/3. Then a/k≈2α(6ct/α)2/3, which is proportional to t2/3 — the dashed curve in the plot.
Why
Early on the density is so high that the curvature term kc2/a2 in the Friedmann equation is negligible compared with 38πGρ∝1/a3. Every matter-dominated universe starts out looking flat.