The FLRW Metric & Friedmann Equations
A rigorous derivation of the Friedmann-Lemaître-Robertson-Walker metric from symmetry principles, and the Friedmann equations from Einstein's field equations
Historical Context
In 1922, Alexander Friedmann discovered the first non-static cosmological solutions to Einstein's field equations, showing that the universe could expand or contract. In 1927, Georges Lemaître independently derived the same solutions and connected them to Hubble's observations of galaxy recession. Howard P. Robertson (1935) and Arthur G. Walker (1936) independently proved that the FLRW metric is the most general metric compatible with spatial homogeneity and isotropy.
Einstein himself initially introduced the cosmological constant Λ to enforce a static universe, calling it his “greatest blunder” after Hubble's discovery of expansion. Ironically, Λ returned in 1998 when Type Ia supernovae revealed the universe's accelerating expansion.
1. The Cosmological Principle
The foundation of modern cosmology rests on a single assumption: on sufficiently large scales (≳100 Mpc), the universe is spatially homogeneous and isotropic. This is the cosmological principle.
Homogeneity
The universe looks the same at every spatial point. There is no preferred location. Mathematically, the spatial geometry admits a transitive group of isometries: for any two points P and Q on a spatial hypersurface, there exists a symmetry transformation mapping P to Q.
A space is homogeneous if and only if it possesses at least 3 independent Killing vector fields that generate translations (i.e., at least a 3-dimensional group of isometries acting transitively).
Isotropy
The universe looks the same in every direction from any given point. The CMB confirms this to \(\Delta T/T \sim 10^{-5}\). At each point, the spatial geometry is invariant under the rotation group SO(3).
Isotropy at every point implies homogeneity (but not vice versa). If the universe is isotropic about every point, it must also be homogeneous.
Maximally Symmetric Spaces and Killing Vectors
A d-dimensional Riemannian manifold is maximally symmetric if it possesses the maximum number of independent Killing vectors:
For our 3-dimensional spatial slices, this gives \(N_{\text{max}} = 6\): three translations (homogeneity) plus three rotations (isotropy). A maximally symmetric 3-space has constant sectional curvature K everywhere. By rescaling coordinates, K can be normalized to \(k = +1, 0, -1\).
The Riemann curvature tensor of a maximally symmetric space with curvature K takes the unique form:
where \(\gamma_{ij}\) is the spatial metric. This is the most constrained form of the Riemann tensor, leaving only one free parameter K.
2. Constructing the FLRW Metric from Symmetry
2.1 Foliation of Spacetime
We begin by assuming that spacetime can be foliated into a family of non-intersecting spacelike hypersurfaces \(\Sigma_t\), each labeled by cosmic time t. This is possible whenever a timelike Killing vector or a preferred family of observers (the “comoving” observers) exists.
The most general line element respecting this foliation is:
$$ds^2 = -c^2 N^2(t,\mathbf{x})\,dt^2 + 2 N_i(t,\mathbf{x})\,dt\,dx^i + h_{ij}(t,\mathbf{x})\,dx^i dx^j$$
ADM decomposition: N is the lapse function, \(N_i\) is the shift vector, \(h_{ij}\) is the induced 3-metric
The cosmological principle forces drastic simplifications:
- Isotropy eliminates the shift vector: A nonzero shift vector \(N_i\) would define a preferred spatial direction at each point, violating isotropy. Thus \(N_i = 0\).
- Homogeneity fixes the lapse: The lapse N cannot depend on spatial coordinates \(\mathbf{x}\). We can absorb any remaining function N(t) into a redefinition of the time coordinate, giving \(N = 1\) in cosmic time.
- The spatial metric factorizes: Homogeneity and isotropy require \(h_{ij}(t,\mathbf{x}) = a^2(t)\,\gamma_{ij}(\mathbf{x})\), where\(\gamma_{ij}\) is a time-independent metric of constant curvature.
The metric therefore reduces to:
$$ds^2 = -c^2\,dt^2 + a^2(t)\,d\sigma^2$$
where \(d\sigma^2 = \gamma_{ij}\,dx^i dx^j\) is the line element of a 3-space of constant curvature
2.2 Metrics of Constant Curvature in 3D
The metric \(d\sigma^2\) on a 3-dimensional space of constant curvature K can be constructed by embedding in 4-dimensional flat space. Consider the constraint surface in\(\mathbb{R}^4\):
$$x_1^2 + x_2^2 + x_3^2 + \epsilon\, x_4^2 = R_0^2$$
where \(\epsilon = +1\) for k = +1 (sphere), \(\epsilon = -1\) for k = -1 (hyperboloid), and \(K = k/R_0^2\)
Introducing spherical-type coordinates on this surface and normalizing\(r \to r/R_0\), the three maximally symmetric 3-geometries are:
k = +1 (Closed)
3-sphere \(S^3\). Finite volume \(V = 2\pi^2 a^3\). Circumnavigable.
k = 0 (Flat)
Euclidean \(\mathbb{R}^3\). Infinite volume. Planck 2018: \(|\Omega_k| < 0.002\).
k = -1 (Open)
Hyperbolic space \(H^3\). Infinite volume. Divergent parallel geodesics.
Combining all three cases into a single expression with\(d\Omega^2 = d\theta^2 + \sin^2\theta\,d\phi^2\):
The FLRW Line Element
The most general metric compatible with spatial homogeneity and isotropy. The entire dynamics of the universe is encoded in the single function a(t).
2.3 Alternative Coordinate Form
Using the substitution \(r = S_k(\chi)\) where:
The metric becomes:
Here \(\chi\) is the comoving radial distance (dimensionless). For k = +1, \(\chi \in [0,\pi]\); for k = 0 and k = -1, \(\chi \in [0,\infty)\).
3. Metric Tensor Components
Working in coordinates \(x^\mu = (ct, r, \theta, \phi)\), the metric tensor\(g_{\mu\nu}\) for the FLRW spacetime has components:
$$g_{00} = -1, \qquad g_{11} = \frac{a^2(t)}{1-kr^2}$$
$$g_{22} = a^2(t)\,r^2, \qquad g_{33} = a^2(t)\,r^2\sin^2\theta$$
The inverse metric is:
$$g^{22} = \frac{1}{a^2(t)\,r^2}, \qquad g^{33} = \frac{1}{a^2(t)\,r^2\sin^2\theta}$$
4. Christoffel Symbols — Full Computation
The Christoffel symbols (Levi-Civita connection coefficients) are defined by:
$$\Gamma^\lambda{}_{\mu\nu} = \frac{1}{2}\,g^{\lambda\sigma}\!\left(\partial_\mu g_{\nu\sigma} + \partial_\nu g_{\mu\sigma} - \partial_\sigma g_{\mu\nu}\right)$$
Since the FLRW metric is diagonal, many components vanish. We now compute all non-zero Christoffel symbols. We use \(x^0 = ct\) and denote \(\dot{a} = da/dt\).
4.1 Mixed temporal-spatial components
The time derivative of the spatial metric generates the “Hubble” connection coefficients. From \(\partial_0 g_{ij} = 2a\dot{a}\,\gamma_{ij}/c\):
$$\Gamma^0{}_{11} = \frac{a\dot{a}}{c^2(1-kr^2)}, \qquad \Gamma^0{}_{22} = \frac{a\dot{a}\,r^2}{c^2}, \qquad \Gamma^0{}_{33} = \frac{a\dot{a}\,r^2\sin^2\theta}{c^2}$$
Compact form: \(\Gamma^0{}_{ij} = \frac{a\dot{a}}{c^2}\,\gamma_{ij}\)
$$\Gamma^1{}_{01} = \Gamma^1{}_{10} = \frac{\dot{a}}{ca}, \qquad \Gamma^2{}_{02} = \Gamma^2{}_{20} = \frac{\dot{a}}{ca}, \qquad \Gamma^3{}_{03} = \Gamma^3{}_{30} = \frac{\dot{a}}{ca}$$
Compact form: \(\Gamma^i{}_{0j} = \frac{\dot{a}}{ca}\,\delta^i{}_j = \frac{H}{c}\,\delta^i{}_j\)
4.2 Purely spatial components
These arise from the curvature of the spatial slices and are identical to those of the time-independent metric \(\gamma_{ij}\):
$$\Gamma^1{}_{11} = \frac{kr}{1-kr^2}, \qquad \Gamma^1{}_{22} = -r(1-kr^2), \qquad \Gamma^1{}_{33} = -r(1-kr^2)\sin^2\theta$$
$$\Gamma^2{}_{12} = \Gamma^2{}_{21} = \frac{1}{r}, \qquad \Gamma^2{}_{33} = -\sin\theta\cos\theta$$
$$\Gamma^3{}_{13} = \Gamma^3{}_{31} = \frac{1}{r}, \qquad \Gamma^3{}_{23} = \Gamma^3{}_{32} = \cot\theta$$
Key observation: All \(\Gamma^i{}_{0j}\) components are proportional to the Hubble parameter \(H = \dot{a}/a\). When \(H > 0\) (expanding universe), freely falling particles experience an effective “Hubble friction” that redshifts their momenta as \(p \propto 1/a\).
5. The Ricci Tensor
The Ricci tensor is computed from the Christoffel symbols via:
$$R_{\mu\nu} = \partial_\lambda \Gamma^\lambda{}_{\mu\nu} - \partial_\nu \Gamma^\lambda{}_{\mu\lambda} + \Gamma^\lambda{}_{\lambda\sigma}\Gamma^\sigma{}_{\mu\nu} - \Gamma^\lambda{}_{\nu\sigma}\Gamma^\sigma{}_{\mu\lambda}$$
5.1 The \(R_{00}\) component
The temporal-temporal component measures how geodesics converge or diverge in time. Computing term by term:
$$R_{00} = \partial_\lambda \Gamma^\lambda{}_{00} - \partial_0 \Gamma^\lambda{}_{0\lambda} + \Gamma^\lambda{}_{\lambda\sigma}\Gamma^\sigma{}_{00} - \Gamma^\lambda{}_{0\sigma}\Gamma^\sigma{}_{0\lambda}$$
Since \(\Gamma^\lambda{}_{00} = 0\) (the metric component \(g_{00} = -1\) is constant), the first and third terms vanish. We are left with:
$$R_{00} = -\partial_0 \Gamma^i{}_{0i} - \Gamma^i{}_{0j}\Gamma^j{}_{0i}$$
With \(\Gamma^i{}_{0j} = \frac{\dot{a}}{ca}\delta^i{}_j\), the trace is \(\Gamma^i{}_{0i} = \frac{3\dot{a}}{ca}\), and:
$$\partial_0 \Gamma^i{}_{0i} = \frac{1}{c}\frac{d}{dt}\!\left(\frac{3\dot{a}}{ca}\right) = \frac{3}{c^2}\frac{d}{dt}\!\left(\frac{\dot{a}}{a}\right) = \frac{3}{c^2}\left(\frac{\ddot{a}}{a} - \frac{\dot{a}^2}{a^2}\right)$$
And \(\Gamma^i{}_{0j}\Gamma^j{}_{0i} = 3\left(\frac{\dot{a}}{ca}\right)^2 = \frac{3\dot{a}^2}{c^2 a^2}\). Combining:
5.2 The \(R_{ij}\) components
The spatial components of the Ricci tensor carry information about both the time evolution (through \(\dot{a}\) and \(\ddot{a}\)) and the spatial curvature (through k). The full calculation yields:
where \(\gamma_{ij}\) is the spatial metric of constant curvature. Explicitly: \(R_{11} = \frac{a\ddot{a} + 2\dot{a}^2 + 2kc^2}{c^2(1-kr^2)}\), etc.
Derivation sketch for \(R_{11}\):
Starting from \(R_{11} = \partial_\lambda \Gamma^\lambda{}_{11} - \partial_1 \Gamma^\lambda{}_{1\lambda} + \Gamma^\lambda{}_{\lambda\sigma}\Gamma^\sigma{}_{11} - \Gamma^\lambda{}_{1\sigma}\Gamma^\sigma{}_{1\lambda}\):
1. \(\partial_0 \Gamma^0{}_{11} = \frac{1}{c}\frac{d}{dt}\!\left(\frac{a\dot{a}}{c^2(1-kr^2)}\right) = \frac{\dot{a}^2 + a\ddot{a}}{c^3(1-kr^2)}\times\frac{1}{c}\)
2. Spatial Christoffel derivatives: \(\partial_1 \Gamma^1{}_{11} = \frac{k(1+kr^2)}{(1-kr^2)^2}\)
3. Cross terms: \(\Gamma^0{}_{00}\Gamma^0{}_{11} = 0\), \(\Gamma^i{}_{0i}\Gamma^0{}_{11} = \frac{3\dot{a}}{ca}\cdot\frac{a\dot{a}}{c^2(1-kr^2)}\)
4. After collecting all 16+ terms and using \(g_{11} = a^2/(1-kr^2)\):
\(R_{11} = \frac{a\ddot{a} + 2\dot{a}^2 + 2kc^2}{c^2(1-kr^2)}\)
5.3 The Ricci Scalar and Einstein Tensor
The Ricci scalar is \(R = g^{\mu\nu}R_{\mu\nu}\):
$$R = g^{00}R_{00} + g^{ij}R_{ij} = \frac{3\ddot{a}}{c^2 a} + \frac{3}{a^2}\cdot\frac{1}{c^2}\left(a\ddot{a} + 2\dot{a}^2 + 2kc^2\right)$$
$$\boxed{R = \frac{6}{c^2}\left(\frac{\ddot{a}}{a} + \frac{\dot{a}^2}{a^2} + \frac{kc^2}{a^2}\right)}$$
The Einstein tensor \(G_{\mu\nu} = R_{\mu\nu} - \frac{1}{2}g_{\mu\nu}R\) has components:
Time-time component:
$$G_{00} = \frac{3}{c^2}\left(\frac{\dot{a}^2}{a^2} + \frac{kc^2}{a^2}\right) = \frac{3}{c^2}\left(H^2 + \frac{kc^2}{a^2}\right)$$
Space-space components:
$$G_{ij} = -\frac{1}{c^2}\left(2a\ddot{a} + \dot{a}^2 + kc^2\right)\gamma_{ij}$$
6. Einstein's Field Equations
Einstein's field equations with cosmological constant relate the geometry of spacetime to its matter-energy content:
$$G_{\mu\nu} + \Lambda g_{\mu\nu} = \frac{8\pi G}{c^4}\,T_{\mu\nu}$$
Left side: geometry (Einstein tensor + cosmological constant). Right side: matter (stress-energy tensor).
The Perfect Fluid Stress-Energy Tensor
The cosmological principle requires that the matter content, like the geometry, be spatially homogeneous and isotropic. The most general such stress-energy tensor is that of a perfect fluid:
$$T_{\mu\nu} = \left(\rho + \frac{p}{c^2}\right)u_\mu u_\nu + p\,g_{\mu\nu}$$
where \(\rho\) is the energy density, p is the isotropic pressure, and \(u^\mu = (c, 0, 0, 0)\) for comoving observers
In the comoving frame, the components are:
$$T_{00} = \rho c^2, \qquad T_{0i} = 0$$
$$T_{ij} = p\,g_{ij} = p\,a^2\,\gamma_{ij}$$
Or equivalently: \(T^\mu{}_\nu = \text{diag}(-\rho c^2, p, p, p)\)
7. Deriving the Friedmann Equations
7.1 The First Friedmann Equation
The (0,0) component of Einstein's equations gives:
$$G_{00} + \Lambda g_{00} = \frac{8\pi G}{c^4}\,T_{00}$$
$$\frac{3}{c^2}\!\left(\frac{\dot{a}^2}{a^2} + \frac{kc^2}{a^2}\right) - \Lambda = \frac{8\pi G}{c^4}\cdot\rho c^2$$
$$\frac{3\dot{a}^2}{c^2 a^2} + \frac{3k}{a^2} - \Lambda = \frac{8\pi G\rho}{c^2}$$
Dividing through by \(3/c^2\):
First Friedmann Equation
The expansion rate \(H = \dot{a}/a\) is determined by the energy density \(\rho\), spatial curvature k, and the cosmological constant \(\Lambda\).
7.2 The Second Friedmann Equation (Acceleration Equation)
The spatial (i,j) components of Einstein's equations, combined with the first Friedmann equation, yield the acceleration equation. Taking the trace of the spatial Einstein equation:
$$G_{ij} + \Lambda g_{ij} = \frac{8\pi G}{c^4}\,T_{ij}$$
$$-\frac{1}{c^2}\!\left(2a\ddot{a} + \dot{a}^2 + kc^2\right)\gamma_{ij} + \Lambda a^2 \gamma_{ij} = \frac{8\pi G}{c^4}\,p\,a^2\gamma_{ij}$$
Dividing by \(a^2\gamma_{ij}\) and using the first Friedmann equation to eliminate \(\dot{a}^2/a^2\):
Second Friedmann Equation (Acceleration Equation)
The deceleration/acceleration of expansion depends on both energy density and pressure. Matter with \(\rho + 3p/c^2 > 0\) decelerates; \(\Lambda > 0\) accelerates.
Physical Insight: The Strong Energy Condition
The quantity \(\rho + 3p/c^2\) is the active gravitational mass density. In GR, pressure gravitates — this is a purely relativistic effect with no Newtonian analog.
For radiation (\(p = \rho c^2/3\)), the effective gravitational source is\(\rho + 3p/c^2 = 2\rho\) — twice the energy density. For a cosmological constant (\(p = -\rho c^2\)), we get\(\rho + 3p/c^2 = -2\rho < 0\), producing repulsive gravity.
7.3 Alternative Derivation via the Trace
A quicker route: take the trace of Einstein's equations \(G^\mu{}_\mu + 4\Lambda = \frac{8\pi G}{c^4}T^\mu{}_\mu\):
$$-R + 4\Lambda = \frac{8\pi G}{c^4}\left(-\rho c^2 + 3p\right)$$
Substituting \(R = \frac{6}{c^2}\!\left(\frac{\ddot{a}}{a} + \frac{\dot{a}^2}{a^2} + \frac{kc^2}{a^2}\right)\) and using the first Friedmann equation for \(\dot{a}^2/a^2 + kc^2/a^2\):
$$\frac{\ddot{a}}{a} = -\frac{4\pi G}{3}\!\left(\rho + \frac{3p}{c^2}\right) + \frac{\Lambda c^2}{3} \quad \checkmark$$
8. The Continuity Equation
Energy-momentum conservation \(\nabla_\mu T^{\mu\nu} = 0\) provides a third equation. The \(\nu = 0\) component gives:
$$\nabla_\mu T^{\mu 0} = \partial_\mu T^{\mu 0} + \Gamma^\mu{}_{\mu\lambda}T^{\lambda 0} - \Gamma^\lambda{}_{\mu 0}T^{\mu\lambda} = 0$$
$$\partial_0 T^{00} + \Gamma^i{}_{i0}\,T^{00} + \Gamma^0{}_{00}\,T^{00} - \Gamma^0{}_{i0}\,T^{i0} - \Gamma^i{}_{00}\,T^{0i} - \Gamma^0{}_{00}\,T^{00} + \Gamma^i{}_{i0}\,T^{00} - \cdots = 0$$
After careful bookkeeping of all nonzero terms:
$$\frac{1}{c}\dot{\rho} + 3\frac{\dot{a}}{ca}\left(\rho + \frac{p}{c^2}\right) = 0$$
Continuity Equation (Fluid Equation)
This is the first law of thermodynamics in an expanding universe: \(d(\rho c^2 a^3) = -p\,d(a^3)\)
These three equations (first Friedmann, second Friedmann, continuity) are not independent: any one can be derived from the other two. A common strategy is to work with the first Friedmann equation and the continuity equation, specifying an equation of state to close the system.
9. Equation of State and Solutions for Each Component
Specifying the equation of state \(p = w\rho c^2\) with constant w, the continuity equation can be integrated analytically:
$$\dot{\rho} + 3\frac{\dot{a}}{a}\rho(1+w) = 0 \quad\Rightarrow\quad \frac{d\rho}{\rho} = -3(1+w)\frac{da}{a}$$
$$\boxed{\rho(a) = \rho_0\,a^{-3(1+w)}}$$
| Component | w | \(\rho(a)\) | \(a(t)\) (flat, single component) | Physical origin |
|---|---|---|---|---|
| Non-relativistic matter | \(0\) | \(\rho_0\,a^{-3}\) | \(a \propto t^{2/3}\) | Number density dilution |
| Radiation | \(1/3\) | \(\rho_0\,a^{-4}\) | \(a \propto t^{1/2}\) | Dilution + redshift |
| Cosmological constant | \(-1\) | \(\rho_0 = \text{const}\) | \(a \propto e^{Ht}\) | Vacuum energy |
| Curvature (effective) | \(-1/3\) | \(\rho_0\,a^{-2}\) | \(a \propto t\) | Spatial curvature term |
| Stiff matter | \(+1\) | \(\rho_0\,a^{-6}\) | \(a \propto t^{1/3}\) | Kinetic-dominated scalar field |
10. Density Parameters and the Friedmann Constraint
Define the critical density as the density for which the universe is spatially flat (k = 0, \(\Lambda = 0\)):
$$\rho_c \equiv \frac{3H^2}{8\pi G} \approx 1.88 \times 10^{-29}\,h^2\;\text{g/cm}^3$$
where \(h \equiv H_0/(100\;\text{km/s/Mpc}) \approx 0.674\)
The density parameters are the fractional contributions of each component:
$$\Omega_m = \frac{\rho_m}{\rho_c}, \qquad \Omega_r = \frac{\rho_r}{\rho_c}, \qquad \Omega_\Lambda = \frac{\Lambda c^2}{3H^2}, \qquad \Omega_k = -\frac{kc^2}{a^2 H^2}$$
The first Friedmann equation then takes the elegant form:
The Friedmann constraint: the density parameters always sum to unity.
Using the scaling relations, the Friedmann equation becomes:
$$H^2(a) = H_0^2\!\left[\Omega_{r,0}\,a^{-4} + \Omega_{m,0}\,a^{-3} + \Omega_{k,0}\,a^{-2} + \Omega_{\Lambda,0}\right]$$
The entire expansion history is encoded in four numbers: \(\Omega_{r,0}\), \(\Omega_{m,0}\), \(\Omega_{k,0}\), \(\Omega_{\Lambda,0}\)
Planck 2018 Best-Fit Values (\(\Lambda\)CDM)
11. Exact Analytical Solutions
11.1 Matter-Dominated (Einstein–de Sitter) Universe
For a flat (k = 0), matter-only (\(\Lambda = 0\), \(\Omega_m = 1\)) universe:
$$H^2 = \frac{8\pi G}{3}\rho_0 a^{-3} \quad\Rightarrow\quad \dot{a}^2 = H_0^2 a^{-1}$$
$$a(t) = \left(\frac{3H_0}{2}\,t\right)^{2/3}, \qquad t_0 = \frac{2}{3H_0} \approx 9.3\;\text{Gyr}$$
The universe decelerates: \(\ddot{a} < 0\). Age = \(2/(3H_0)\), shorter than observed.
11.2 Radiation-Dominated Universe
$$H^2 = \frac{8\pi G}{3}\rho_0 a^{-4} \quad\Rightarrow\quad a(t) = \left(2H_0 t\right)^{1/2}$$
Dominant in the first ~47,000 years. The Hubble time is \(t_0 = 1/(2H_0)\). Temperature scales as \(T \propto a^{-1} \propto t^{-1/2}\).
11.3 de Sitter Universe (Dark Energy Dominated)
$$H^2 = \frac{\Lambda c^2}{3} = \text{const} \quad\Rightarrow\quad a(t) = a_0\,e^{H_\Lambda t}$$
$$\text{where}\quad H_\Lambda = c\sqrt{\Lambda/3}$$
Exponential expansion. This is the future attractor of our universe as matter dilutes. Also describes the inflationary epoch at \(t \sim 10^{-36}\) s.
12. Numerical Integration: Python Implementation
The following Python code numerically integrates the Friedmann equation for the full\(\Lambda\)CDM model with radiation, matter, and dark energy. It computes the scale factor evolution, Hubble parameter, deceleration parameter, and cosmological distances.
Click Run to execute the Python code
Code will be executed with Python 3 on the server
13. High-Precision Solver: Fortran Implementation
For production-grade cosmological calculations requiring \(10^6\)+ evaluations (e.g., MCMC parameter estimation, N-body initial conditions), Fortran's speed is advantageous. The following code implements a 4th-order Runge-Kutta integrator for the Friedmann equation:
Fortran + Python: Friedmann Equations with Visualization
PythonCompiles and runs a Fortran RK4 solver for LCDM cosmology, then plots scale factor, Hubble parameter, deceleration parameter, and density evolution
Click Run to execute the Python code
Code will be executed with Python 3 on the server
Compilation & Output
$ gfortran -O3 -o friedmann friedmann_rk4.f90
$ ./friedmann
# Produces friedmann_output.dat with columns:
# t/t_H0 a(t) H(t)/H0 q(t)
The Fortran code runs ~50× faster than the Python equivalent for the same number of steps, making it suitable for integration into N-body codes and MCMC samplers like CosmoMC or MontePython.
14. Conformal Time and the FLRW Metric
A particularly useful time coordinate is the conformal time\(\eta\), defined by \(c\,d\eta = c\,dt/a(t)\):
$$ds^2 = a^2(\eta)\!\left[-c^2 d\eta^2 + d\chi^2 + S_k^2(\chi)\,d\Omega^2\right]$$
In conformal time, the FLRW metric is conformally flat (for k = 0): the metric equals a time-dependent scale factor times the Minkowski metric.
Conformal time has deep physical significance:
- Light cones are 45° lines in a conformal spacetime diagram (just as in special relativity), since null geodesics satisfy \(d\chi = \pm c\,d\eta\).
- The particle horizon at cosmic time t is\(\chi_{\text{ph}} = c\eta(t) = c\int_0^t dt'/a(t')\) — the maximum comoving distance from which light could have reached us.
- Cosmological perturbation theory is most naturally formulated in conformal time, where the perturbed equations take their simplest form.
The Friedmann equation in conformal time (denoting \(\mathcal{H} = a'/a = aH\), where primes are \(d/d\eta\)):
$$\mathcal{H}^2 = \frac{8\pi G}{3}\rho\,a^2 - kc^2 + \frac{\Lambda c^2}{3}\,a^2$$
$$\mathcal{H}' = -\frac{4\pi G}{3}\!\left(\rho + \frac{3p}{c^2}\right)a^2 + \frac{\Lambda c^2}{3}\,a^2$$
15. Summary of Key Results
The FLRW Metric
First Friedmann Equation
Second Friedmann Equation
Continuity Equation
Friedmann Constraint
The Logical Chain of Derivation
1. Cosmological Principle (homogeneity + isotropy) → maximally symmetric spatial slices
2. Maximally symmetric 3-spaces have constant curvature K = k/R² with k ∈ {-1, 0, +1}
3. Foliation + symmetry → the FLRW metric \(ds^2 = -c^2\,dt^2 + a^2(t)\,d\sigma_k^2\)
4. Compute Christoffel symbols \(\Gamma^\lambda{}_{\mu\nu}\) for the FLRW metric
5. Compute Ricci tensor \(R_{\mu\nu}\), Ricci scalar R, Einstein tensor \(G_{\mu\nu}\)
6. Model matter as perfect fluid: \(T_{\mu\nu} = (\rho + p/c^2)u_\mu u_\nu + p\,g_{\mu\nu}\)
7. Insert into Einstein's equations \(G_{\mu\nu} + \Lambda g_{\mu\nu} = (8\pi G/c^4)\,T_{\mu\nu}\)
8. (0,0) component → First Friedmann equation; (i,j) components → Second Friedmann equation
9. \(\nabla_\mu T^{\mu\nu} = 0\) → Continuity equation (not independent)
10. Equation of state \(p = w\rho c^2\) closes the system → analytical or numerical solutions
Bibliography
Textbooks & Monographs
- Weinberg, S. (1972). Gravitation and Cosmology: Principles and Applications of the General Theory of Relativity. Wiley. — Classic derivation of the FLRW metric and Friedmann equations from first principles.
- Weinberg, S. (2008). Cosmology. Oxford University Press. — Comprehensive modern treatment including perturbation theory and observational constraints.
- Dodelson, S. & Schmidt, F. (2020). Modern Cosmology, 2nd ed. Academic Press. — Standard graduate textbook with detailed derivations of the Friedmann equations and cosmological distances.
- Ryden, B. (2017). Introduction to Cosmology, 2nd ed. Cambridge University Press. — Accessible undergraduate treatment of the expanding universe and Friedmann models.
- Carroll, S.M. (2019). Spacetime and Geometry: An Introduction to General Relativity, 2nd ed. Cambridge University Press. — Excellent GR background for the Einstein field equations and cosmological solutions.
- Mukhanov, V. (2005). Physical Foundations of Cosmology. Cambridge University Press. — Rigorous treatment of FRW dynamics, thermodynamics, and the deceleration parameter.
- Kolb, E.W. & Turner, M.S. (1990). The Early Universe. Addison-Wesley. — Foundational reference for Friedmann cosmology and the matter-radiation transition.
- Peebles, P.J.E. (1993). Principles of Physical Cosmology. Princeton University Press. — Comprehensive treatment by a pioneer of modern cosmology.
Key Papers
- Friedmann, A. (1922). “Über die Krümmung des Raumes,” Zeitschrift für Physik 10, 377–386. — The original paper deriving the expansion equations from GR.
- Lemaître, G. (1927). “Un Univers homogène de masse constante et de rayon croissant,” Annales de la Société Scientifique de Bruxelles A47, 49–59. — Independent derivation of the expansion law, predating Hubble’s observational confirmation.
- Hubble, E. (1929). “A Relation between Distance and Radial Velocity among Extra-Galactic Nebulae,” Proceedings of the National Academy of Sciences 15, 168–173. — The observational discovery of cosmic expansion.
- Robertson, H.P. (1935). “Kinematics and World-Structure,” Astrophysical Journal 82, 284–301; Walker, A.G. (1937). “On Milne’s Theory of World-Structure,” Proceedings of the London Mathematical Society 42, 90–127. — Formal proof of the uniqueness of the FLRW metric.
- Planck Collaboration (2020). “Planck 2018 results. VI. Cosmological parameters,” Astronomy & Astrophysics 641, A6. arXiv:1807.06209. — Definitive measurement of cosmological parameters used throughout this chapter.