First Friedmann equation
Statement
For a homogeneous, isotropic universe with mass-energy density , cosmological constant , and spatial curvature index , the scale factor obeys .
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 ): 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 from an arbitrary origin, so its physical distance is and its physical velocity is . By the Newtonian shell theorem, the gravitational pull it feels comes only from the mass enclosed within radius , and since no comoving matter crosses the comoving sphere of radius as the universe expands, is constant in time (for pressureless matter). Treat the test galaxy, of mass , as a projectile: its total mechanical energy is conserved.
Substitute : , which simplifies to . Divide through by : .
The right-hand side must be independent of the arbitrary radius chosen (the equation has to hold for every comoving observer, and itself does not depend on ), so is a constant of the test galaxy's orbit that can only depend on the fixed comoving coordinate structure — define this constant by , giving . A separate thermodynamic argument (treating the cosmological constant as a fluid with constant energy density and substituting it into this same formula) restores the term, giving exactly — and remarkably, the full general-relativistic calculation from Einstein's field equations produces this identical equation, with 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
- John A. Peacock (1999). Cosmological Physics
- Scott Dodelson, Fabian Schmidt (2020). Modern Cosmology
- DESI Collaboration (2024). DESI 2024 VI: cosmological constraints from the measurements of baryon acoustic oscillations
- NASA/JPL Cosmology Group (2024). Hubble Tension