MathLabs
TheoremProved

First Friedmann equation

Statement

For a homogeneous, isotropic universe with mass-energy density ρ(t)\rho(t), cosmological constant Λ\Lambda, and spatial curvature index k∈{−1,0,+1}k\in\{-1,0,+1\}, the scale factor obeys H2=(a˙a)2=8πG3ρ−kc2a2+Λc23H^{2} = \left(\dfrac{\dot a}{a}\right)^{2} = \dfrac{8\pi G}{3}\rho - \dfrac{kc^{2}}{a^{2}} + \dfrac{\Lambda c^{2}}{3}.

Why is it true?

The full derivation plugs the Friedmann–Lemaître–Robertson–Walker metric into Einstein's field equations, but a remarkable Newtonian argument (Milne & McCrea, 1934) reproduces exactly the same equation (setting Λ=0\Lambda=0): treat a test galaxy on the surface of an expanding sphere of comoving matter as an ordinary projectile in the gravitational field of everything enclosed inside it, and apply energy conservation. Gravity outside a uniform sphere behaves as if all its mass sat at the center (a Newtonian shell theorem), so only the enclosed mass matters — matching the way general relativity only lets locally enclosed mass-energy curve spacetime at a point in a homogeneous universe.

Proof sketch

Fix a comoving test galaxy at comoving radius r0r_0 from an arbitrary origin, so its physical distance is R(t)=a(t)r0R(t)=a(t)r_0 and its physical velocity is R˙=a˙ r0\dot R = \dot a\, r_0. By the Newtonian shell theorem, the gravitational pull it feels comes only from the mass MM enclosed within radius RR, and since no comoving matter crosses the comoving sphere of radius r0r_0 as the universe expands, M=43π(ar0)3ρM = \dfrac{4}{3}\pi (a r_{0})^{3}\rho is constant in time (for pressureless matter). Treat the test galaxy, of mass mm, as a projectile: its total mechanical energy 12a˙2r02−GMmar0=E\dfrac12 \dot a^{2} r_{0}^{2} - \dfrac{GM m}{a r_{0}} = E is conserved.

Substitute MM: 12a˙2r02−Gmar0⋅43π(ar0)3ρ=E\dfrac12 \dot a^2 r_0^2 - \dfrac{G m}{a r_0}\cdot\dfrac{4}{3}\pi (ar_0)^3\rho = E, which simplifies to 12a˙2r02−43πGmρ a2r02=E\dfrac12\dot a^2 r_0^2 - \dfrac{4}{3}\pi G m \rho\, a^2 r_0^2 = E. Divide through by 12ma2r02\tfrac12 m a^2 r_0^2: (a˙a)2−8πG3ρ=2Ema2r02\left(\dfrac{\dot a}{a}\right)^2 - \dfrac{8\pi G}{3}\rho = \dfrac{2E}{m a^2 r_0^2}.

The right-hand side must be independent of the arbitrary radius r0r_0 chosen (the equation has to hold for every comoving observer, and a(t)a(t) itself does not depend on r0r_0), so 2Emr02\dfrac{2E}{mr_0^2} is a constant of the test galaxy's orbit that can only depend on the fixed comoving coordinate structure — define this constant by 2Emr02≡−kc2\dfrac{2E}{m r_{0}^{2}} \equiv -kc^{2}, giving H2=8πG3ρ−kc2a2H^{2} = \dfrac{8\pi G}{3}\rho - \dfrac{kc^{2}}{a^{2}}. A separate thermodynamic argument (treating the cosmological constant as a fluid with constant energy density ρΛ=Λc2/(8πG)\rho_\Lambda = \Lambda c^2/(8\pi G) and substituting it into this same formula) restores the Λc2/3\Lambda c^2/3 term, giving exactly H2=(a˙a)2=8πG3ρ−kc2a2+Λc23H^{2} = \left(\dfrac{\dot a}{a}\right)^{2} = \dfrac{8\pi G}{3}\rho - \dfrac{kc^{2}}{a^{2}} + \dfrac{\Lambda c^{2}}{3} — and remarkably, the full general-relativistic calculation from Einstein's field equations produces this identical equation, with kk now properly identified as the actual sign of spatial curvature rather than just an integration constant.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. John A. Peacock (1999). Cosmological Physics
  2. Scott Dodelson, Fabian Schmidt (2020). Modern Cosmology
  3. DESI Collaboration (2024). DESI 2024 VI: cosmological constraints from the measurements of baryon acoustic oscillations
  4. NASA/JPL Cosmology Group (2024). Hubble Tension