Physlib

Physlib.Cosmology.FLRW.Solutions

Exact solutions of the Friedmann equations

Placeholder file collecting TODO items for the standard closed-form solutions of the Friedmann equations: the de Sitter, radiation-dominated, Einstein-de Sitter (dust) and Milne models, together with the Einstein static universe. This file contains only TODO items; no definitions or lemmas are formalized yet.

33 declarations

theorem

The time derivative of s↦γ(sval)s \mapsto \gamma(s_{\text{val}}) equals the derivative of γ\gamma at tvalt_{\text{val}}

Let γ:R→R\gamma: \mathbb{R} \to \mathbb{R} be a function and t∈Timet \in \text{Time} be a point in time, where tval∈Rt_{\text{val}} \in \mathbb{R} represents its underlying real value. If γ\gamma has a derivative vv at the point tvalt_{\text{val}} (i.e., γ′(tval)=v\gamma'(t_{\text{val}}) = v), then the time derivative ∂t\partial_t of the function s↦γ(sval)s \mapsto \gamma(s_{\text{val}}) evaluated at tt is equal to vv.

definition

De Sitter scale factor a(t)a(t)

For real parameters a0,σ,Λ,a_0, \sigma, \Lambda, and cc, the de Sitter scale factor is the function a:Time→Ra: \text{Time} \to \mathbb{R} defined by a(t)=a0exp⁡(σΛ3ct)a(t) = a_0 \exp\left(\sigma \sqrt{\frac{\Lambda}{3}} c t\right) where a0a_0 is the initial scale factor, Λ\Lambda is the cosmological constant, cc is the speed of light, and σ\sigma is a sign factor (typically ±1\pm 1, where σ=1\sigma = 1 corresponds to the expanding branch).

theorem

The derivative of a0eKya_0 e^{Ky} at xx is a0KeKxa_0 K e^{Kx}

For any real numbers a0,K,a_0, K, and xx, the function y↦a0eKyy \mapsto a_0 e^{Ky} has a derivative at the point xx equal to a0KeKxa_0 K e^{Kx}.

theorem

Time derivative of the de Sitter scale factor a(t)a(t)

For real parameters a0,σ,Λ,a_0, \sigma, \Lambda, and cc, let a(t)a(t) be the de Sitter scale factor defined by a(t)=a0exp⁡(σΛ3ct)a(t) = a_0 \exp\left(\sigma \sqrt{\frac{\Lambda}{3}} c t\right). The time derivative of this scale factor, denoted ∂ta\partial_t a, is given by da(t)dt=a0(σΛ3c)exp⁡(σΛ3ct)\frac{d a(t)}{dt} = a_0 \left( \sigma \sqrt{\frac{\Lambda}{3}} c \right) \exp\left( \sigma \sqrt{\frac{\Lambda}{3}} c t\right) where a0a_0 is the initial scale factor, Λ\Lambda is the cosmological constant, cc is the speed of light, and σ\sigma is a sign factor.

theorem

Second time derivative of the de Sitter scale factor

For any real parameters a0,σ,Λ,a_0, \sigma, \Lambda, and cc, the second time derivative of the de Sitter scale factor a(t)=a0exp⁡(σΛ3ct)a(t) = a_0 \exp\left(\sigma \sqrt{\frac{\Lambda}{3}} c t\right) is given by d2adt2(t)=a0(σΛ3c)2exp⁡(σΛ3ct)\frac{d^2 a}{dt^2}(t) = a_0 \left( \sigma \sqrt{\frac{\Lambda}{3}} c \right)^2 \exp\left(\sigma \sqrt{\frac{\Lambda}{3}} c t\right) where a0a_0 is the initial scale factor, Λ\Lambda is the cosmological constant, cc is the speed of light, and σ\sigma is a sign factor.

theorem

(σΛ/3c)2=Λc2/3(\sigma \sqrt{\Lambda/3} c)^2 = \Lambda c^2 / 3

For any real numbers σ,Λ,\sigma, \Lambda, and cc such that Λ≥0\Lambda \geq 0 and σ=1\sigma = 1 or σ=−1\sigma = -1, the following equality holds: (σΛ3c)2=Λc23\left( \sigma \sqrt{\frac{\Lambda}{3}} c \right)^2 = \frac{\Lambda c^2}{3} where Λ\Lambda represents the cosmological constant and cc is the speed of light.

theorem

The de Sitter scale factor solves the first-order Friedmann equation for ρ=0\rho = 0 and k=0k = 0

For real parameters a0,σ,Λ,G,a_0, \sigma, \Lambda, G, and cc such that Λ>0,a0≠0\Lambda > 0, a_0 \neq 0, and σ∈{1,−1}\sigma \in \{1, -1\}, the de Sitter scale factor a(t)=a0exp⁡(σΛ3ct)a(t) = a_0 \exp\left(\sigma \sqrt{\frac{\Lambda}{3}} c t\right) satisfies the first-order Friedmann equation at any time tt for a universe with vanishing energy density (ρ=0\rho = 0) and zero spatial curvature (k=0k = 0): (a′(t)a(t))2=8πG3ρ(t)−kc2a(t)2+Λc23\left( \frac{a'(t)}{a(t)} \right)^2 = \frac{8\pi G}{3} \rho(t) - \frac{k c^2}{a(t)^2} + \frac{\Lambda c^2}{3} where a′(t)a'(t) is the time derivative of the scale factor, GG is Newton's gravitational constant, and cc is the speed of light.

theorem

The de Sitter Scale Factor is a Solution to the Second-order Friedmann Equation

Let a0,σ,Λ,G,a_0, \sigma, \Lambda, G, and cc be real numbers such that Λ>0\Lambda > 0, a0≠0a_0 \neq 0, and σ=1\sigma = 1 or σ=−1\sigma = -1. Let a(t)a(t) be the de Sitter scale factor defined by a(t)=a0exp⁡(σΛ3ct)a(t) = a_0 \exp\left(\sigma \sqrt{\frac{\Lambda}{3}} c t\right) where a0a_0 is the initial scale factor, Λ\Lambda is the cosmological constant, cc is the speed of light, and σ\sigma is a sign factor. Then a(t)a(t) satisfies the second-order Friedmann equation for a vacuum universe (where energy density ρ(t)=0\rho(t) = 0 and pressure p(t)=0p(t) = 0): a¨(t)a(t)=−4πG3(ρ(t)+3p(t)c2)+Λc23\frac{\ddot{a}(t)}{a(t)} = -\frac{4\pi G}{3} \left( \rho(t) + \frac{3p(t)}{c^2} \right) + \frac{\Lambda c^2}{3} where a¨(t)\ddot{a}(t) is the second derivative of the scale factor with respect to time tt.

theorem

The Hubble parameter of the de Sitter solution is σΛ3c\sigma \sqrt{\frac{\Lambda}{3}} c

For real parameters a0,σ,Λ,a_0, \sigma, \Lambda, and cc where a0≠0a_0 \neq 0, let a(t)=a0exp⁡(σΛ3ct)a(t) = a_0 \exp\left(\sigma \sqrt{\frac{\Lambda}{3}} c t\right) be the de Sitter scale factor. Then the Hubble parameter H(t)=a′(t)a(t)H(t) = \frac{a'(t)}{a(t)} at any time tt is given by: H(t)=σΛ3cH(t) = \sigma \sqrt{\frac{\Lambda}{3}} c

theorem

Deceleration parameter of de Sitter solution is q=−1q = -1

For the de Sitter scale factor a(t)=a0exp⁡(σΛ3ct)a(t) = a_0 \exp\left(\sigma \sqrt{\frac{\Lambda}{3}} c t\right) with parameters a0,σ,Λ,c∈Ra_0, \sigma, \Lambda, c \in \mathbb{R} satisfying Λ>0\Lambda > 0, c>0c > 0, a0≠0a_0 \neq 0, and σ∈{1,−1}\sigma \in \{1, -1\}, the deceleration parameter defined by q(t)=−a¨(t)a(t)a˙(t)2q(t) = - \frac{\ddot{a}(t) a(t)}{\dot{a}(t)^2} is equal to −1-1 for all time tt.

theorem

The Hubble parameter of the power-law solution is H(t)=n/tH(t) = n/t

For a reference time t0>0t_0 > 0 and a power-law index n∈Rn \in \mathbb{R}, let the scale factor be defined as a(t)=(tt0)na(t) = \left(\frac{t}{t_0}\right)^n. For any time t>0t > 0, the Hubble parameter H(t)=a′(t)a(t)H(t) = \frac{a'(t)}{a(t)} is given by: H(t)=ntH(t) = \frac{n}{t}

theorem

The deceleration parameter of a power-law scale factor a(t)∝tna(t) \propto t^n is q=1−nnq = \frac{1 - n}{n}

Consider a power-law scale factor a(s)=(st0)na(s) = \left( \frac{s}{t_0} \right)^n for some reference time t0>0t_0 > 0 and index n∈Rn \in \mathbb{R} with n≠0n \neq 0. For any time t>0t > 0, the deceleration parameter q(t)q(t), defined as q(t)=−a¨(t)a(t)a˙(t)2,q(t) = - \frac{\ddot{a}(t) a(t)}{\dot{a}(t)^2}, is constant and equal to 1−nn\frac{1 - n}{n}.

theorem

Flat Power-Law Solution to the First-Order Friedmann Equation

Consider a cosmological model with Newton's gravitational constant G>0G > 0, speed of light cc, and a power-law index n∈Rn \in \mathbb{R}. For a reference time t0>0t_0 > 0, let the scale factor be a(s)=(s/t0)na(s) = (s/t_0)^n and the energy density be ρ(s)=3n28πGs2\rho(s) = \frac{3n^2}{8\pi G s^2}. For any cosmic time t>0t > 0, these functions satisfy the first-order Friedmann equation with spatial curvature k=0k = 0 and cosmological constant Λ=0\Lambda = 0: (a′(t)a(t))2=8πG3ρ(t)−kc2a(t)2+Λc23\left( \frac{a'(t)}{a(t)} \right)^2 = \frac{8\pi G}{3} \rho(t) - \frac{k c^2}{a(t)^2} + \frac{\Lambda c^2}{3} where a′(t)a'(t) is the derivative of the scale factor with respect to time.

theorem

Power-law expansion satisfies the second-order Friedmann equation

For a reference time t0>0t_0 > 0, gravitational constant G>0G > 0, speed of light c>0c > 0, and a non-zero constant n≠0n \neq 0, let the scale factor be a(t)=(t/t0)na(t) = (t/t_0)^n, the energy density be ρ(t)=3n28πGt2\rho(t) = \frac{3n^2}{8\pi G t^2}, and the pressure be p(t)=wρ(t)c2p(t) = w \rho(t) c^2. If the equation of state parameter ww satisfies the relation 1+3w=2(1−n)n1 + 3w = \frac{2(1-n)}{n}, then for any cosmic time t>0t > 0, these functions satisfy the second-order Friedmann equation with a cosmological constant Λ=0\Lambda = 0: a¨(t)a(t)=−4πG3(ρ(t)+3p(t)c2)\frac{\ddot{a}(t)}{a(t)} = -\frac{4\pi G}{3} \left( \rho(t) + \frac{3p(t)}{c^2} \right) where a¨(t)\ddot{a}(t) denotes the second derivative of the scale factor with respect to time.

definition

Radiation-dominated scale factor a(t)=(t/t0)1/2a(t) = (t/t_0)^{1/2}

The radiation-dominated scale factor a(t)a(t) is a function that maps a time tt to a real number, given a reference time t0t_0. It is defined by the power law a(t)=(tt0)1/2a(t) = \left( \frac{t}{t_0} \right)^{1/2}, which is normalized such that a(t0)=1a(t_0) = 1. In this cosmological model, t=0t = 0 corresponds to the Big Bang, and the definition is physically valid for t>0t > 0.

theorem

Radiation-Dominated Solution to the First-Order Friedmann Equation

Consider a cosmological model with a reference time t0>0t_0 > 0 and gravitational constant G>0G > 0. For any cosmic time t>0t > 0, the radiation-dominated scale factor a(t)=(t/t0)1/2a(t) = (t/t_0)^{1/2} and the energy density ρ(t)=332πGt2\rho(t) = \frac{3}{32 \pi G t^2} satisfy the first-order Friedmann equation: (a′(t)a(t))2=8πG3ρ(t)−kc2a(t)2+Λc23\left( \frac{a'(t)}{a(t)} \right)^2 = \frac{8\pi G}{3} \rho(t) - \frac{k c^2}{a(t)^2} + \frac{\Lambda c^2}{3} evaluated with spatial curvature k=0k = 0 and cosmological constant Λ=0\Lambda = 0.

theorem

Radiation-dominated Scale Factor satisfies Second-order Friedmann Equation

For a reference time t0>0t_0 > 0, gravitational constant G>0G > 0, and speed of light c>0c > 0, the radiation-dominated scale factor a(t)=(t/t0)1/2a(t) = (t/t_0)^{1/2} satisfies the second-order Friedmann equation: a¨(t)a(t)=−4πG3(ρ(t)+3p(t)c2)+Λc23\frac{\ddot{a}(t)}{a(t)} = -\frac{4\pi G}{3} \left( \rho(t) + \frac{3p(t)}{c^2} \right) + \frac{\Lambda c^2}{3} where the energy density is ρ(t)=332πGt2\rho(t) = \frac{3}{32 \pi G t^2}, the pressure is p(t)=ρ(t)c23p(t) = \frac{\rho(t) c^2}{3}, and the cosmological constant is Λ=0\Lambda = 0, for all cosmic times t>0t > 0.

theorem

q=1q = 1 for the radiation-dominated scale factor

For a radiation-dominated cosmological model with a scale factor a(t)=(t/t0)1/2a(t) = (t/t_0)^{1/2} defined for a reference time t0>0t_0 > 0 and any time t>0t > 0, the deceleration parameter q(t)=−a¨(t)a(t)a˙(t)2q(t) = - \frac{\ddot{a}(t) a(t)}{\dot{a}(t)^2} is equal to 1.

theorem

H(t0)=12t0H(t_0) = \frac{1}{2t_0} for the radiation-dominated scale factor

In a radiation-dominated cosmological model with a scale factor defined by a(t)=(tt0)1/2a(t) = \left( \frac{t}{t_0} \right)^{1/2} for a reference time t0>0t_0 > 0, the Hubble constant H(t)=a′(t)a(t)H(t) = \frac{a'(t)}{a(t)} evaluated at t=t0t = t_0 is given by: H(t0)=12t0H(t_0) = \frac{1}{2t_0}

definition

Einstein-de Sitter scale factor a(t)=(t/t0)2/3a(t) = (t/t_0)^{2/3}

For a given reference time t0t_0, the Einstein-de Sitter scale factor is a function of time tt defined as a(t)=(tt0)2/3a(t) = \left( \frac{t}{t_0} \right)^{2/3}. This model describes a flat, dust-dominated universe where the scale factor is normalized such that a(t0)=1a(t_0) = 1 and the Big Bang singularity occurs at t=0t = 0.

theorem

The Einstein-de Sitter model solves the first-order Friedmann equation

Let t0>0t_0 > 0 be a reference time, G>0G > 0 be Newton's gravitational constant, and cc be the speed of light. For any time t>0t > 0, the Einstein-de Sitter scale factor a(t)=(t/t0)2/3a(t) = (t/t_0)^{2/3} and the energy density ρ(t)=16πGt2\rho(t) = \frac{1}{6\pi G t^2} satisfy the first-order Friedmann equation with spatial curvature k=0k = 0 and cosmological constant Λ=0\Lambda = 0: (a′(t)a(t))2=8πG3ρ(t)−kc2a(t)2+Λc23\left( \frac{a'(t)}{a(t)} \right)^2 = \frac{8\pi G}{3} \rho(t) - \frac{k c^2}{a(t)^2} + \frac{\Lambda c^2}{3}

theorem

Einstein-de Sitter Scale Factor Solves the Second-Order Friedmann Equation

Let t0t_0 be a positive reference time, GG be the gravitational constant, and cc be the speed of light. For any time t>0t > 0, the Einstein-de Sitter scale factor a(t)=(t/t0)2/3a(t) = (t/t_0)^{2/3} satisfies the second-order Friedmann equation a′′(t)a(t)=−4πG3(ρ(t)+3p(t)c2)+Λc23\frac{a''(t)}{a(t)} = -\frac{4\pi G}{3} \left( \rho(t) + \frac{3p(t)}{c^2} \right) + \frac{\Lambda c^2}{3} with energy density ρ(t)=16πGt2\rho(t) = \frac{1}{6 \pi G t^2}, pressure p(t)=0p(t) = 0, and cosmological constant Λ=0\Lambda = 0.

theorem

The deceleration parameter qq of the Einstein-de Sitter model is 1/21/2

For a reference time t0>0t_0 > 0 and any time t>0t > 0, the deceleration parameter q(t)q(t) of the Einstein-de Sitter universe, characterized by the scale factor a(t)=(tt0)2/3a(t) = \left( \frac{t}{t_0} \right)^{2/3}, is equal to 1/21/2. Here, the deceleration parameter is defined as q(t)=−a¨(t)a(t)a˙(t)2q(t) = - \frac{\ddot{a}(t) a(t)}{\dot{a}(t)^2}, where a˙(t)\dot{a}(t) and a¨(t)\ddot{a}(t) are the first and second time derivatives of the scale factor, respectively.

theorem

Hubble constant H(t0)=23t0H(t_0) = \frac{2}{3 t_0} for the Einstein-de Sitter universe

In the Einstein-de Sitter model of the universe with a reference time t0>0t_0 > 0, where the scale factor is defined as a(t)=(t/t0)2/3a(t) = (t/t_0)^{2/3}, the Hubble constant HH evaluated at time t0t_0 is given by H(t0)=23t0H(t_0) = \frac{2}{3 t_0} This implies that the reference time can be expressed in terms of the Hubble constant at that time as t0=23H0t_0 = \frac{2}{3 H_0}.

definition

Milne scale factor a(t)=cta(t) = ct

For a given constant c∈Rc \in \mathbb{R}, the Milne scale factor is the function a:Time→Ra: \text{Time} \to \mathbb{R} defined by a(t)=cta(t) = c t. In this cosmological model, the Big Bang occurs at t=0t = 0, and the model is physically defined for times t>0t > 0.

theorem

The time derivative of the Milne scale factor a(t)=cta(t) = ct is cc

For any real constant cc, the time derivative of the Milne scale factor a(t)=cta(t) = ct is the constant function a′(t)=ca'(t) = c.

theorem

The second time derivative of the Milne scale factor is zero

For any constant c∈Rc \in \mathbb{R}, let a(t)=cta(t) = ct be the Milne scale factor. The second time derivative of the Milne scale factor is zero for all tt, which can be expressed as: d2a(t)dt2=0\frac{d^2 a(t)}{dt^2} = 0 where a(t)a(t) is the function mapping time tt to ctct.

theorem

The Milne scale factor a(t)=cta(t) = ct solves the first-order Friedmann equation for ρ=0,k=−1,Λ=0\rho = 0, k = -1, \Lambda = 0

For any gravitational constant G∈RG \in \mathbb{R} and speed of light c>0c > 0, and for any time t>0t > 0, the Milne scale factor a(t)=cta(t) = ct satisfies the first-order Friedmann equation: (a′(t)a(t))2=8πG3ρ(t)−kc2a(t)2+Λc23\left( \frac{a'(t)}{a(t)} \right)^2 = \frac{8\pi G}{3} \rho(t) - \frac{k c^2}{a(t)^2} + \frac{\Lambda c^2}{3} with vanishing energy density ρ(t)=0\rho(t) = 0, spatial curvature k=−1k = -1, and vanishing cosmological constant Λ=0\Lambda = 0.

theorem

The Milne scale factor satisfies the second-order Friedmann equation.

For any gravitational constant G∈RG \in \mathbb{R}, speed of light c∈Rc \in \mathbb{R}, and time tt, the Milne scale factor a(t)=cta(t) = ct satisfies the second-order Friedmann equation a′′(t)a(t)=−4πG3(ρ(t)+3p(t)c2)+Λc23\frac{a''(t)}{a(t)} = -\frac{4\pi G}{3} \left( \rho(t) + \frac{3p(t)}{c^2} \right) + \frac{\Lambda c^2}{3} with energy density ρ(t)=0\rho(t) = 0, pressure p(t)=0p(t) = 0, and cosmological constant Λ=0\Lambda = 0.

theorem

The deceleration parameter of the Milne solution is q=0q = 0

For the Milne cosmological model with scale factor a(t)=cta(t) = ct, where c∈Rc \in \mathbb{R} is a constant and tt represents time, the deceleration parameter q(t)q(t) defined by q(t)=−a¨(t)a(t)a˙(t)2q(t) = - \frac{\ddot{a}(t) a(t)}{\dot{a}(t)^2} is equal to 00 for all tt.

theorem

Dust density in the Einstein static universe is ρ=Λc24πG\rho = \frac{\Lambda c^2}{4 \pi G}

In the Einstein static universe model, consider a scale factor a(t)a(t) and an energy density ρ(t)\rho(t) at cosmic time tt. Assume that Newton's gravitational constant G>0G > 0 and the second time derivative of the scale factor vanishes, a¨(t)=0\ddot{a}(t) = 0. If the second-order Friedmann equation holds at time tt for a dust-filled universe (where the pressure pp is 00), i.e., a¨(t)a(t)=−4πG3ρ(t)+Λc23\frac{\ddot{a}(t)}{a(t)} = -\frac{4\pi G}{3} \rho(t) + \frac{\Lambda c^2}{3} then the energy density ρ(t)\rho(t) is given by: ρ(t)=Λc24πG\rho(t) = \frac{\Lambda c^2}{4 \pi G} where Λ\Lambda is the cosmological constant and cc is the speed of light.

theorem

In the Einstein static universe, kc2a2=4πGρ\frac{k c^2}{a^2} = 4 \pi G \rho

Consider a cosmological model defined by the scale factor a:Time→Ra: \text{Time} \to \mathbb{R} and energy density ρ:Time→R\rho: \text{Time} \to \mathbb{R}. Let kk be the spatial curvature parameter, Λ\Lambda the cosmological constant, GG Newton's gravitational constant, and cc the speed of light. At a given cosmic time tt, if the universe is static—meaning the first and second time derivatives of the scale factor vanish, a′(t)=0a'(t) = 0 and a′′(t)=0a''(t) = 0— and satisfies both the first-order Friedmann equation and the second-order Friedmann equation (for a pressureless "dust" universe, where p=0p=0), then the following relationship holds: kc2a(t)2=4πGρ(t)\frac{k c^2}{a(t)^2} = 4 \pi G \rho(t)

theorem

In an Einstein static universe, ρ>0\rho > 0 implies k>0k > 0

Let a(t)a(t) be the scale factor and ρ(t)\rho(t) be the energy density of a Friedmann-Lemaître-Robertson-Walker universe at cosmic time tt. Let k∈Rk \in \mathbb{R} be the spatial curvature parameter, GG be Newton's gravitational constant, cc be the speed of light, and Λ\Lambda be the cosmological constant. Suppose the universe is static at time tt, such that the first and second time derivatives of the scale factor vanish (a′(t)=0a'(t) = 0 and a′′(t)=0a''(t) = 0). If the universe satisfies the first-order Friedmann equation and the second-order Friedmann equation (with zero pressure), and assuming G>0G > 0, c>0c > 0, a(t)≠0a(t) \neq 0, and a positive energy density ρ(t)>0\rho(t) > 0, then the spatial curvature parameter kk must be positive (k>0k > 0).