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
The time derivative of equals the derivative of at
Let be a function and be a point in time, where represents its underlying real value. If has a derivative at the point (i.e., ), then the time derivative of the function evaluated at is equal to .
De Sitter scale factor
For real parameters and , the de Sitter scale factor is the function defined by where is the initial scale factor, is the cosmological constant, is the speed of light, and is a sign factor (typically , where corresponds to the expanding branch).
The derivative of at is
For any real numbers and , the function has a derivative at the point equal to .
Time derivative of the de Sitter scale factor
For real parameters and , let be the de Sitter scale factor defined by . The time derivative of this scale factor, denoted , is given by where is the initial scale factor, is the cosmological constant, is the speed of light, and is a sign factor.
Second time derivative of the de Sitter scale factor
For any real parameters and , the second time derivative of the de Sitter scale factor is given by where is the initial scale factor, is the cosmological constant, is the speed of light, and is a sign factor.
For any real numbers and such that and or , the following equality holds: where represents the cosmological constant and is the speed of light.
The de Sitter scale factor solves the first-order Friedmann equation for and
For real parameters and such that , and , the de Sitter scale factor satisfies the first-order Friedmann equation at any time for a universe with vanishing energy density () and zero spatial curvature (): where is the time derivative of the scale factor, is Newton's gravitational constant, and is the speed of light.
The de Sitter Scale Factor is a Solution to the Second-order Friedmann Equation
Let and be real numbers such that , , and or . Let be the de Sitter scale factor defined by where is the initial scale factor, is the cosmological constant, is the speed of light, and is a sign factor. Then satisfies the second-order Friedmann equation for a vacuum universe (where energy density and pressure ): where is the second derivative of the scale factor with respect to time .
The Hubble parameter of the de Sitter solution is
For real parameters and where , let be the de Sitter scale factor. Then the Hubble parameter at any time is given by:
Deceleration parameter of de Sitter solution is
For the de Sitter scale factor with parameters satisfying , , , and , the deceleration parameter defined by is equal to for all time .
The Hubble parameter of the power-law solution is
For a reference time and a power-law index , let the scale factor be defined as . For any time , the Hubble parameter is given by:
The deceleration parameter of a power-law scale factor is
Consider a power-law scale factor for some reference time and index with . For any time , the deceleration parameter , defined as is constant and equal to .
Flat Power-Law Solution to the First-Order Friedmann Equation
Consider a cosmological model with Newton's gravitational constant , speed of light , and a power-law index . For a reference time , let the scale factor be and the energy density be . For any cosmic time , these functions satisfy the first-order Friedmann equation with spatial curvature and cosmological constant : where is the derivative of the scale factor with respect to time.
Power-law expansion satisfies the second-order Friedmann equation
For a reference time , gravitational constant , speed of light , and a non-zero constant , let the scale factor be , the energy density be , and the pressure be . If the equation of state parameter satisfies the relation , then for any cosmic time , these functions satisfy the second-order Friedmann equation with a cosmological constant : where denotes the second derivative of the scale factor with respect to time.
Radiation-dominated scale factor
The radiation-dominated scale factor is a function that maps a time to a real number, given a reference time . It is defined by the power law , which is normalized such that . In this cosmological model, corresponds to the Big Bang, and the definition is physically valid for .
Radiation-Dominated Solution to the First-Order Friedmann Equation
Consider a cosmological model with a reference time and gravitational constant . For any cosmic time , the radiation-dominated scale factor and the energy density satisfy the first-order Friedmann equation: evaluated with spatial curvature and cosmological constant .
Radiation-dominated Scale Factor satisfies Second-order Friedmann Equation
For a reference time , gravitational constant , and speed of light , the radiation-dominated scale factor satisfies the second-order Friedmann equation: where the energy density is , the pressure is , and the cosmological constant is , for all cosmic times .
for the radiation-dominated scale factor
For a radiation-dominated cosmological model with a scale factor defined for a reference time and any time , the deceleration parameter is equal to 1.
for the radiation-dominated scale factor
In a radiation-dominated cosmological model with a scale factor defined by for a reference time , the Hubble constant evaluated at is given by:
Einstein-de Sitter scale factor
For a given reference time , the Einstein-de Sitter scale factor is a function of time defined as . This model describes a flat, dust-dominated universe where the scale factor is normalized such that and the Big Bang singularity occurs at .
The Einstein-de Sitter model solves the first-order Friedmann equation
Let be a reference time, be Newton's gravitational constant, and be the speed of light. For any time , the Einstein-de Sitter scale factor and the energy density satisfy the first-order Friedmann equation with spatial curvature and cosmological constant :
Einstein-de Sitter Scale Factor Solves the Second-Order Friedmann Equation
Let be a positive reference time, be the gravitational constant, and be the speed of light. For any time , the Einstein-de Sitter scale factor satisfies the second-order Friedmann equation with energy density , pressure , and cosmological constant .
The deceleration parameter of the Einstein-de Sitter model is
For a reference time and any time , the deceleration parameter of the Einstein-de Sitter universe, characterized by the scale factor , is equal to . Here, the deceleration parameter is defined as , where and are the first and second time derivatives of the scale factor, respectively.
Hubble constant for the Einstein-de Sitter universe
In the Einstein-de Sitter model of the universe with a reference time , where the scale factor is defined as , the Hubble constant evaluated at time is given by This implies that the reference time can be expressed in terms of the Hubble constant at that time as .
Milne scale factor
For a given constant , the Milne scale factor is the function defined by . In this cosmological model, the Big Bang occurs at , and the model is physically defined for times .
The time derivative of the Milne scale factor is
For any real constant , the time derivative of the Milne scale factor is the constant function .
The second time derivative of the Milne scale factor is zero
For any constant , let be the Milne scale factor. The second time derivative of the Milne scale factor is zero for all , which can be expressed as: where is the function mapping time to .
The Milne scale factor solves the first-order Friedmann equation for
For any gravitational constant and speed of light , and for any time , the Milne scale factor satisfies the first-order Friedmann equation: with vanishing energy density , spatial curvature , and vanishing cosmological constant .
The Milne scale factor satisfies the second-order Friedmann equation.
For any gravitational constant , speed of light , and time , the Milne scale factor satisfies the second-order Friedmann equation with energy density , pressure , and cosmological constant .
The deceleration parameter of the Milne solution is
For the Milne cosmological model with scale factor , where is a constant and represents time, the deceleration parameter defined by is equal to for all .
Dust density in the Einstein static universe is
In the Einstein static universe model, consider a scale factor and an energy density at cosmic time . Assume that Newton's gravitational constant and the second time derivative of the scale factor vanishes, . If the second-order Friedmann equation holds at time for a dust-filled universe (where the pressure is ), i.e., then the energy density is given by: where is the cosmological constant and is the speed of light.
In the Einstein static universe,
Consider a cosmological model defined by the scale factor and energy density . Let be the spatial curvature parameter, the cosmological constant, Newton's gravitational constant, and the speed of light. At a given cosmic time , if the universe is static—meaning the first and second time derivatives of the scale factor vanish, and — and satisfies both the first-order Friedmann equation and the second-order Friedmann equation (for a pressureless "dust" universe, where ), then the following relationship holds:
In an Einstein static universe, implies
Let be the scale factor and be the energy density of a Friedmann-Lemaître-Robertson-Walker universe at cosmic time . Let be the spatial curvature parameter, be Newton's gravitational constant, be the speed of light, and be the cosmological constant. Suppose the universe is static at time , such that the first and second time derivatives of the scale factor vanish ( and ). If the universe satisfies the first-order Friedmann equation and the second-order Friedmann equation (with zero pressure), and assuming , , , and a positive energy density , then the spatial curvature parameter must be positive ().
