Use and the Fourier convention . A valid linearization requires all components of to be small: the printed small-determinant condition alone is insufficient, as the matrix has zero determinant without being small. This is small determinant does not imply a small metric perturbation.
Define the density contrast and the scalar velocity potential by , or . Hence . To first order, , and . The product is second order. Substitution into the perfect fluid stress-energy tensor gives
Here the equation of state is used locally, so the pressure perturbation is .
The contraction in is
Using the displayed connections gives, through first order,
In particular ; the spatial connection contraction adds , while differentiating supplies . Subtract the background relation . The background terms multiplying cancel, leaving
For comoving cold dark matter, and , so and is constant at each spatial point. The proper-volume element of a comoving cell is . Conserved mass in the cell then gives the density change opposite to the perturbation of its volume. In comoving synchronous coordinates the linear CDM density change is a volume change, not transport across cell boundaries.
Write for the conformal Hubble parameter and for the velocity divergence of a Fourier mode. Work in the synchronous gauge comoving with the cold dark matter, so . This remains consistent with its pressureless momentum equation . Its density equation then gives .
For the string component, . Thus it makes no contribution to the trace gravitational source in the supplied perfect-fluid model. Substitute and in that trace equation to obtain
The absence of a pressure-gradient term reflects the zero cosmological sound speed of the cold matter.
For the coasting fluid, the continuity and momentum equations become
The second equation follows by taking the vector equation; in particular, , which fixes the pressure sign. Differentiate the first equation and use :
Eliminating with the cold-matter equation gives
These are equations for the specified idealized barotropic string fluid. A cosmic string network with additional anisotropic stress need not obey the same pressure response.
The Jeans length is the physical wavelength at which the restoring pressure term and self-gravity balance. In the elementary static-fluid approximation,
Wavelengths longer than are unstable to self-gravitating collapse, whereas shorter ones have restoring sound oscillations. Expansion and relativistic effects modify this elementary criterion. Ideal cold dark matter has , hence no positive pressure-supported Jeans length in these equations. For the specified negative-pressure barotropic string fluid, ; there is no real restoring-pressure Jeans threshold.
For , the matter growth equation has leading terms
The gravitational term is one inverse power smaller than the derivative coefficients. Dropping it at leading order gives , hence a constant mode and a decaying mode. A more controlled check is possible: direct substitution gives as an exact solution. Reduction of order then gives the growing mode, normalized by at early times,
The integral grows as , while the prefactor is . Thus
with corrections of order . The perturbation freezes because the matter fraction tends to zero while the coasting fluid controls the expansion.
To describe the requested cold-dark-matter transfer function, its normalization must be specified. The early matter-era Hamiltonian constraint, in the negative-expansion convention for , gives . For the growing comoving dust mode, the continuity equation gives in proper time. Since , this yields . On early superhorizon scales is the conserved curvature amplitude, up to the chosen overall sign, and . This establishes the initial growing behavior rather than assuming identical horizon-entry amplitudes at all epochs. For regular adiabatic modes outside the horizon during early matter domination, , with a -independent constant and primordial curvature amplitude . The matter equation above has no , so at fixed late time
Consequently the density-per-curvature transfer is proportional to on scales entering after equality. The conventional shape transfer, which factors out and the common growth factor, is a plateau, on these scales. Comparing with a matter-only universe that continues growing as instead gives a common amplitude suppression , still independent of . A decline caused solely by later horizon entry would contradict the supplied scale-independent matter equation: the regular synchronous growing solution already evolves outside the Hubble radius. This is the scale-independent matter suppression by a coasting fluid.
There is also a limiting entry scale. Since is constant, define . Then
A mode enters the Hubble radius only if ; enters during matter domination, whereas enters arbitrarily late. Modes never enter in this ideal coasting future. The requested post-equality entrants occupy . The following original diagram distinguishes the two transfer conventions and marks this restricted interval; it does not attempt to model modes entering during radiation domination.
Figure 1.
Post-equality cold-matter transfer in the barotropic matter-string model: normalized shape versus density per primordial curvature
. Details.
The adiabatic initial conditions for separately conserved components have equal . Therefore the radiation relation is replaced here by
To check dynamically, put . At , subtracting two-thirds of the matter equation from the string equation gives . Selecting and no independent relative-velocity mode preserves the relation. Thus the growing adiabatic string density contrast follows the matter mode and is also approximately frozen at late times to leading order in gradients. This is the adiabatic matter-string density relation.
At late times , while and vanish. The homogeneous string equation becomes
For , one solution grows rapidly with exponent approximately , instead of undergoing radiation-like acoustic oscillations. This is a gradient instability of a negative-pressure perfect fluid. For , the growing exponent is only , while the other exponent is approximately . The leading zero-gradient approximation is frozen, but at fixed nonzero superhorizon a slow instability can accumulate over sufficiently long conformal time. The strict gradient limit and infinite-future limit therefore need not commute.
These are the apparent behaviors of the equations given. They do not establish rapid collapse of a realistic cosmic string network: tension, anisotropic stress and the constitutive sound response were excluded in replacing the network by this barotropic perfect fluid. Once the modeled string perturbation becomes nonlinear, the linear calculation itself ceases to apply.
The numerical fractions describe physically very different components. Use so that pressure and energy density have the same units. The stress-energy conservation equation for a homogeneous component, together with its equation of state , gives
Nonrelativistic baryons and cold dark matter have and dilute as ; radiation has and dilutes as ; vacuum energy has and remains constant. The curvature term scales as in the Friedmann equation but is a geometric contribution, not an additional material fluid.
There is consequently a coincidence in the present mixture. Normalize . Then
At early times vacuum is negligible, while at late times it dominates overwhelmingly. Observing order-unity matter and vacuum fractions during their comparatively recent crossover motivates the cosmic coincidence problem: why should this crossover occur near our observing epoch?
The absolute scale gives a second puzzle. Restoring SI units, yields
Its energy density is . Quantum vacuum contributions associated with ordinary particle-physics scales can be far larger than this observed value. Explaining the tiny net value, including cancellations among contributions, is the cosmological constant problem. The required negative pressure also differs qualitatively from ordinary dilute matter.
The matter budget supplies another explanatory gap: only is baryonic, while must be nonbaryonic matter in this benchmark. Together with in vacuum energy, most of the cosmic density is in components whose microscopic explanation is not supplied by fitting their fractions. Finally, near-zero curvature raises the flatness problem. For nonzero ,
During radiation domination , so ; during matter domination , so . Near-flatness today therefore requires extremely small early curvature in an unmodified decelerating history. Cosmic inflation offers a mechanism that reduces this curvature fraction through accelerated expansion.
The apparent contrivances are the recent matter-vacuum coincidence, the tiny vacuum-energy scale, the near-flat initial geometry and the unexplained microscopic dark components. Their observationally inferred values impose concrete requirements on a deeper physical account.
In the nonrelativistic dilute regime, and the Fermi-Dirac distribution reduces to the Maxwell-Boltzmann distribution. Hence
Differentiating the Gaussian integral with respect to its coefficient gives . Therefore
The degeneracy factor here is the one in the supplied integral, namely one. Substituting , and dividing by the supplied photon density gives
At this is about . The relic is already nonrelativistic at decoupling and becomes still colder as its momenta redshift, making it a possible cold dark matter component if it is stable and interacts sufficiently weakly with light.
For orientation, write . Ignoring subsequent entropy transfer, its density relative to baryons would be . With the cosmological baryon-to-photon ratio of order , this is of order four, demonstrating the right cosmological scale. The measured dark-to-baryonic density ratio is likewise of order five; an observational reference is arxiv.org/abs/1807.06209 . This is a candidate abundance argument, not an exact relic-density calculation: photon heating after decoupling changes , and stability and interaction properties were not specified. The supplied mass and freeze-out parameter alone therefore do not establish a precise fit.
Let and . Choose the synchronous gauge rest frame of cold dark matter, so . Its continuity equation then gives . Substitution in the trace Einstein equation gives
For radiation in cosmology the continuity and Euler equations are and . Differentiate the first, eliminate and , and obtain
radiation in cosmology pressure supplies the acoustic restoring term while its energy density contributes twice as strongly to the trace gravitational source through .
Deep in radiation domination, , , and . At long wavelengths , the adiabatic initial conditions require . The cold-matter equation reduces to
A power gives . The regular growing solution therefore has
The other adiabatic solution diverges as and is discarded for the regular primordial growing mode. The relation between the density contrasts fixes their relative entropy to zero, not their subsequent equality inside the acoustic horizon.
One can also solve the leading radiation-era equations explicitly, which proves that the same regular mode develops logarithmic cold-matter growth after horizon entry. Put . The first equation gives . Substituting in the second gives
Define
Its useful derivative is . Direct differentiation verifies the fourth-order equation and gives the associated radiation in cosmology solution:
At zero, and , so this is precisely the regular adiabatic radiation-era cold-dark-matter transfer solution with . The other indicial behaviors of the fourth-order equation are ; they are either nonadiabatic at leading order or singular and do not add another regular growing adiabatic mode.
For , the integral is , where is the Euler's constant and the cosine integral. Its oscillatory tail cancels the explicit leading term, giving
Thus the requested late sound-horizon behavior is
An additive constant in is absorbed into the reference ; the regular adiabatic solution fixes the acoustic phase, with in the explicit time-origin convention above. A general acoustic mixture has both terms. The physical expansion parameter is ; comparisons with describe the same long- and short-wavelength regimes up to fixed numerical factors.
The contrast grows much more slowly after entry during radiation domination: radiation in cosmology undergoes pressure-supported acoustic oscillations and cold matter only the logarithmic Mészáros effect. Modes entering well before matter-radiation equality consequently have suppressed late amplitudes relative to modes that stay outside the horizon until near equality. After matter domination begins, pressureless growing modes can grow as . This scale-dependent history produces the turnover and small-scale suppression of the matter transfer function and affects the initial conditions for large-scale structure of the universe. The early subhorizon limit requires both and ; it is not applicable to a mode that enters only in the matter domination.
Use units with . For the flat FRW metric, the Friedmann equation is , where is the Hubble parameter. The cosmological continuity equation for a separately conserved component with constant equation of state gives . Consequently radiation in cosmology scales as , pressureless matter as , and cosmological constant energy is constant. With , define the present critical density and cosmological density parameters by
The Hubble constant measures the expansion rate today. Here includes photons and relativistic neutrinos, includes baryons and cold dark matter, and measures the vacuum contribution. Spatial flatness implies . Thus
Since conformal time satisfies , we have . Multiplication by proves
For an exam-level estimate, with , , , and the specified radiation in cosmology gives . These are rounded illustrative flat-universe values; precision cosmological density parameters depend on the fitted model. For comparison, the base flat-model fit in Planck 2018 cosmological parameters gives and .
After cosmological horizon crossing, the rapidly oscillating radiation source can be averaged away as specified. Well inside radiation domination, the remaining cold dark matter self-gravity is also subleading because . To leading order the linear cosmological density perturbation equation is therefore
Two integrations give
The reference time makes the logarithm dimensionless. A growing superhorizon mode reaches entry with a nonzero derivative, so matching generally excites . For example, an abrupt leading-order match from gives , whereas its exact numerical coefficient depends on the transition and the radiation forcing.
This logarithmic growth is the Mészáros effect. It is an asymptotic radiation-era result: after dropping the oscillating radiation perturbation, the original equation still contains . Retaining that term and the changing background leads to the Mészáros equation, which provides the interpolation near matter-radiation equality. It would be incorrect to claim that a pure logarithm solves the complete mixed-background equation exactly.
During matter domination, the radiation source can be neglected irrespective of whether the mode is inside or outside the horizon in the supplied linear cosmological density perturbation equation. The Friedmann equation gives and , just as in part (a). Therefore
Substituting gives , so for every Fourier mode
Thus the matter-era growing and decaying density modes have growing behaviour for all . There is no pressure-gradient term introducing a -dependent growth rate for cold dark matter. The coefficients retain their different earlier histories; common growth does not erase the spectral shape. A specially chosen pure decaying solution is of course possible, so the growing-mode statement does not assert that every initial condition grows.
Put . The synchronous perfect-fluid density equation and Cosmological Euler equation in synchronous gauge give
Differentiate the first equation and use the second and the scalar trace metric equation. Before making a nonrelativistic approximation, the result is
For , discard relative pressure corrections to the background gravitational and damping terms, while retaining because a large wavenumber can compensate a small sound speed. Matter domination and the flat Friedmann equation give . Thus the leading nonrelativistic density equation in synchronous gauge is
The approximation sign records the small finite- terms just displayed; the printed Newtonian-form equation is not an exact relativistic equation at nonzero .
The comoving Jeans wavenumber balances pressure and gravity: . Defining physical wavelength as , the physical Jeans length is
For wavelengths longer than this scale, gravity can overcome pressure and density modes grow; shorter modes are pressure-supported acoustic oscillations, with expansion modifying both growth and damping. Before cosmological recombination, the tightly coupled photon-baryon fluid has substantial photon pressure, , where . The baryonic Jeans scale is correspondingly large, so baryons oscillate instead of freely collapsing on small scales. Cold dark matter has a much smaller pressure scale and can supply gravitational potential wells. After photon decoupling, baryons lose photon pressure support and their sound speed falls to its thermal-gas value; the baryon Jeans length across recombination drops, allowing baryons to fall into those wells. The earlier photon-coupled fluid is not itself a constant-small- fluid; its role is a physical comparison of pressure support, not an extension of the preceding approximation through recombination.
Define a normalized smoothing window on physical radius , with comoving radius . If , the smoothed matter density variance is
Thus is the root-mean-square amplitude. For a Gaussian window, ; this choice makes the scale-free integral ultraviolet convergent.
On scales where pressure is negligible, a flat matter-dominated universe has , , and . The density equation has powers satisfying , so
Select the growing mode and exclude residual synchronous gauge modes. Starting with gives . The dimensionless cosmological power spectrum is then
At cosmological horizon crossing, , hence , and
For the smoothed variance, change variables to :
The Gaussian integral equals . At a physical Hubble-radius window, and , giving the Gaussian horizon-crossing variance for a Harrison-Zeldovich spectrum
The window-dependent numerical constant is secondary; cancellation of the scale dependence is the Harrison-Zeldovich spectrum property. This demonstration uses the growing pressureless matter-era idealization and therefore applies to modes crossing in that era. Modes which crossed before equality require radiation-era transfer and cannot be evolved through that period with the matter equation. A pure spectrum with a real-space top-hat window also has a logarithmically divergent ultraviolet variance unless a physical high- cutoff or transfer function is supplied; the Gaussian choice makes the stated idealized variance well defined.
For photon-dominated inertia, and . The baryon expansion and pressure terms are suppressed by . Ignoring metric driving as stipulated, the common-velocity Euler equation is . Differentiating the photon continuity equation gives
This limit is compatible with a matter-dominated background: cold dark matter can dominate the expansion while photons dominate the inertia of the photon-baryon subsystem.
In the first nonzero quadrupole approximation, neglect relative to its collision damping. The shear equation gives
Substitution yields the shear-only photon diffusion damping equation
The sign of the first-derivative term is positive, so finite photon mean free time damps acoustic energy.
Put and . For constant , the characteristic roots are . The frequency shift begins at second order in the mean free time. To the requested order the general solution is
where the error describes the frequency expansion at fixed and time interval. Keeping the exponential retains the accumulated damping rather than expanding away a possibly important effect.
For a general time-dependent coefficient, a first-order solution with prescribed initial conditions can also be written as
where . Substitution verifies that the integral solves the oscillator forced by , and its value and first derivative vanish initially. This gives the general first-order result without assuming arbitrary time dependence may be absorbed exactly into an exponential.
To obtain the slowly varying subhorizon form, set with . The exact transformed equation is
Dropping the quadratic term alone leaves , so slow variation is also needed. When , , and the mean free time changes on an expansion timescale, . The WKB method solution has local frequency and prefactor . At leading acoustic order both reduce to constants; the small derivative corrections to phase and prefactor can be neglected. This slowly varying shear-damped photon oscillator therefore gives
A change in the phase origin is absorbed into . At zero mean free time the damping vanishes; as time passes the diffusion length grows and decreases. The coefficient is that of the question's isotropic-scattering, shear-only truncation, not the polarization-inclusive full Silk damping formula.
If ionization remains approximately constant during matter domination, , so . Away from the lower limit this gives
Near recombination the rapidly changing ionization fraction and eventual failure of tight coupling require the full hierarchy; the integral formula specifies the damping accumulated during the regime used here.
Let and define the cosmological density power spectrum by . The contribution per logarithmic wave-number interval is the dimensionless cosmological power spectrum . The linear cosmological mass variance on mass scale is
with a comoving smoothing radius and the top-hat filter in Fourier space. On halo scales the observed spectrum is consistent with greater variance at smaller masses. Growth therefore brings smaller objects to the collapse threshold earlier, statistically; larger structures assemble by accretion and dark-matter halo mergers. This statistical growth from smaller bound systems to larger ones is hierarchical galaxy formation. It is an ordering of dark-matter assembly, not a rule that every small visible galaxy must precede every large visible galaxy.
For linear modes the linear growth factor gives . During matter domination , so and the characteristic nonlinear mass increases. Once modes become nonlinear, coupling between scales and halo formation change the shape, so the same multiplication cannot be used for the entire late-time spectrum. At low redshift accelerated expansion suppresses linear growth. Galaxy clustering traces the matter spectrum with galaxy bias; it should not be equated directly with an unbiased matter measurement.
The broad linear shape was set by the cosmological transfer function before and around matter-radiation equality, with baryonic acoustic structure also imprinted before recombination. A nearly scale-invariant primordial curvature spectrum has , with close to one. After converting curvature perturbations to matter-density perturbations,
Thus nearly scale-invariant primordial curvature does not mean a constant density . Modes with enter the horizon after equality and have . Modes with enter during radiation domination, when radiation controls the expansion and cold-matter perturbations grow only slowly. The cold-dark-matter transfer function behaves approximately as at large . Hence the density spectrum turns over near :
The turnover records the equality horizon, while the late nonlinear excess records gravitational clustering. On galactic scales the effective slope is greater than , giving the growing small-scale variance needed for hierarchical galaxy formation.
Cold dark matter has negligible primordial thermal velocities and a very short collisionless free streaming length on galactic scales. Warm dark matter has appreciable residual velocities while structure is being seeded; particles stream across small fluctuations and reduce their contrast. Its cosmological transfer function is consequently cut off below a characteristic length, suppressing low-mass halos and delaying their formation. Above that cutoff its assembly can still be hierarchical. The important distinction is the free-streaming scale, rather than the present temperature or an arbitrary particle-mass label.
Linear evolution assumes . When becomes of order unity, overdense regions depart strongly from the Hubble flow and can turn around and collapse. Collisionless dark matter develops multistream motion after trajectories cross; gravitational mixing redistributes energy and produces a bound dark matter halo. The formal infinite-density collapse of an ideal spherical pressureless solution is not the physical endpoint. A roughly virialized halo has and a characteristic virial velocity . Its gas virial temperature is conventionally
It measures the thermal energy associated with the gravitational potential; the numerical factor depends on the velocity-dispersion convention. It does not imply that the collisionless dark matter has a thermodynamic gas temperature.
The unheaded request about baryon conversion efficiency of a halo is also answered here. Define using the cosmic baryon fraction . In small halos, shallow potentials let stellar feedback drive outflows or repeatedly heat star-forming gas; supernova energy per stellar mass is roughly fixed while binding energy per gas mass scales as . Photoheating during reionization also prevents very small halos from retaining or accreting cool gas. Molecular/atomic cooling thresholds further reduce star formation in the smallest systems. These effects make fall toward low mass.
Near , gas can cool efficiently and the potential is deep enough to retain more of it, while a long-lived hot atmosphere and maintenance heating are less effective than in larger systems. At high mass, higher virial temperature and lower cooling efficiency let a substantial hot atmosphere persist. Active-galactic-nucleus feedback can prevent that atmosphere from supplying cold gas and can expel some gas; the cooling-time bottleneck alone is not an adequate explanation for the low stellar fractions of massive groups and clusters. The peak reflects a competition between gas supply/cooling and feedback, rather than complete conversion of all baryons at a sharply universal mass. Its exact location and height depend on epoch, metallicity, gas history and the stellar population included.
Take regular adiabatic initial conditions and a common scale-invariant primordial amplitude, . Let . The three histories are distinguished by their time of cosmological horizon crossing:
The factor follows from conserving the large-scale adiabatic curvature: the constant potential is proportional to , whose matter-to-radiation ratio is . Define the cold-dark-matter transfer function by . Then on large scales, while far below the equality length, as explained by the density growth below.
Late amplitudes are , with for and for .
The upper panel sketches for the three modes. The lower panel provides the corresponding density contrast histories used in the next part. A negative common primordial potential was chosen so the growing density is positive; this arbitrary phase has no effect on a cosmological density power spectrum.
Figure 1.
Evolution of scale-invariant gravitational-potential and cold-dark-matter density modes across radiation–matter equality
. Details.
The curves integrate the ideal coupled radiation-fluid and pressureless-matter equations, rather than patching a pure-radiation solution onto a matter solution. They neglect baryons, free-streaming anisotropic stress, dark energy and nonlinear evolution, consistently with the stated mixture. Dots mark ; equality is the dashed vertical line.
In the Lambda-CDM model, nearly Gaussian primordial density contrasts grow under gravity within an expanding universe containing cold dark matter, ordinary baryons and a cosmological constant. The cold dark matter is effectively collisionless and has negligible pressure on galactic scales. Before recombination, baryons are coupled to the photon fluid: radiation pressure and acoustic oscillations prevent their perturbations from behaving like pressureless matter. After recombination they can fall into the gravitational potentials already established by dark matter, subject to gas pressure and the Jeans mass.
For small density contrasts, evolution is linear. On pressure-free scales the growing mode is multiplied by the linear growth factor , with during matter domination. The cosmological density power spectrum can be written
Here is the cosmological transfer function. For nearly scale-invariant initial conditions, the large-scale matter spectrum behaves approximately as , whereas well inside the matter-radiation equality scale it falls approximately as , until the microscopic dark-matter cutoff matters. This fall of the dimensional does not imply less fluctuation power on every smaller mass scale: the power per logarithmic wavenumber is , and the smoothed matter density variance is obtained by integrating it against a mass-dependent window. Over the relevant cold-dark-matter hierarchy, smaller mass windows generally have larger variance.
The hierarchical galaxy formation picture follows: fluctuations on small mass scales typically reach the nonlinear collapse threshold first, while larger objects assemble later through accretion and dark-matter halo mergers. It is a statistical ordering, not a claim that every small object precedes every large rare peak. When becomes order unity, the linear growth factor is no longer a solution for the local density. Collisionless dark matter develops multistream regions and bound dark matter halos; phase mixing and violent relaxation redistribute orbital energies, and virialized structures approximately obey the virial theorem.
Baryons have an additional nonlinear route. Infall and shocks convert bulk kinetic energy into thermal energy, with characteristic virial temperature
Unlike collisionless dark matter, the gas can lose this energy through radiative cooling. The optically thin gas cooling time is the thermal-energy density divided by the radiative loss rate, for example
The density convention in must agree with the denominator; the astrophysical cooling function can also be defined using instead. The cooling criterion for galaxy formation compares this time with the collapse or supply time. Rapidly cooling gas loses pressure support, contracts and can form stars. Slowly cooling gas remains in a hot atmosphere. Stable virial shocks are not obligatory in every low-mass system: gas can also arrive in cold streams and cool while being accreted.
Angular momentum prevents indefinite radial contraction. Tidal torque theory supplies an initial halo spin, and later mergers change it. If gas radiates energy while retaining much of its specific angular momentum, it settles into a rotationally supported galactic disk rather than reaching the centre. The relation explains why modest halo spin can set a disk radius much smaller than its virial radius of a dark-matter halo. Torques, bars and gravitational encounters can transport angular momentum outwards and feed central concentrations; radiative cooling alone does not remove it.
Galaxy mergers alter stellar structure as well as assembling mass. A major galaxy merger can strongly disturb or destroy an existing galactic disk, randomizing stellar orbits and creating a spheroid through violent relaxation. A gas-rich galaxy merger also permits dissipation, inflow and a burst of star formation; gas left over or accreted afterwards can rebuild a galactic disk. Minor galaxy mergers add stars to outer components, thicken disks and grow bulges. Dry galaxy mergers add stellar mass and can increase size without much new star formation. Halo merging therefore does not imply instantaneous merging of its galaxies: satellite orbital decay requires Chandrasekhar dynamical friction and can take a substantial time.
The atomic and molecular cooling thresholds for galaxy formation supply a lower characteristic scale. Primordial atomic gas cools inefficiently below roughly because electronic excitation is suppressed. The corresponding halo mass is of order at a redshift of order ten, with approximate dependence at fixed threshold temperature. Molecular hydrogen can cool gas at hundreds of kelvin and permit smaller early objects, provided it forms and survives dissociating radiation. Metal-line cooling changes these thresholds after enrichment. Thus the atomic threshold is not an absolute minimum mass for all stellar systems.
At the other end, sufficiently massive dark matter halos have high virial temperatures and low-density hot gas. Above the strong atomic-line-cooling interval, thermal bremsstrahlung has . At comparable halo gas density, , while depends mainly on formation density. Cooling therefore becomes less able to condense all the gas within the available time. This upper galaxy mass from gas cooling argument selects galaxy-sized condensations, broadly halo masses around – in simple low-redshift estimates, rather than single luminous galaxies containing every baryon in a group or cluster. Its numerical scale depends on epoch, metallicity and gas profile. Subsequent galaxy mergers can build larger stellar systems; cooling is not an absolute upper bound on their final mass.
Finally, a Press-Schechter halo mass function has many low-mass objects and a steep high-mass cutoff, while the luminosity function of galaxies also has a faint component and a bright cutoff, often described by a Schechter function. The two shapes are related through the halo-to-galaxy luminosity mapping, not by identifying luminosity with total halo mass. In the idealized one-central-galaxy, no-scatter limit,
If and , then . A constant conversion gives similar shapes. Actual stellar feedback, inefficient low-temperature cooling and reionization suppress faint galaxies relative to small haloes, while long cooling times and active-galactic-nucleus feedback suppress luminosity at large halo masses. Satellites, scatter, stellar populations and dust further affect the correspondence. The halo hierarchy supplies the gravitational framework; cooling, angular momentum and feedback determine which parts become luminous galaxies.
Let be the dimensional cosmological density power spectrum and its dimensionless power spectrum. In linear theory,
where is the linear growth factor and is the cosmological transfer function. An approximately scale-invariant primordial curvature spectrum corresponds, with the conventional matter-spectrum normalization, to with . This does not say that the dimensional density spectrum is white noise or that the early curvature and density perturbations are the same variable.
The crucial scale dependence develops around horizon entry and matter-radiation equality. Modes entering during radiation domination undergo only logarithmic cold-matter growth, whereas modes entering later avoid that suppression. For cold dark matter, the large-scale transfer tends to a constant and the small-scale transfer behaves schematically as . Thus
For , the dimensional spectrum turns from an approximately rise to an approximately decline. Multiplying by shows that the dimensionless small-scale power still increases slowly. The resulting variance of density fluctuations smoothed on mass generally increases as decreases, over the scales relevant to galaxy assembly.
After equality, and over scales where linear growth is scale-independent, the transfer shape is approximately preserved while the amplitude grows. During matter domination, ; late accelerated expansion slows that growth. A region collapses when its linearly evolved density contrast reaches the linear spherical-collapse threshold. Smaller mass scales, having larger variance, typically reach this threshold earlier. Small haloes form first, then accrete matter and merge into larger haloes; galaxies form from cooling baryons in those wells and themselves merge. This small-to-large assembly is hierarchical galaxy formation. It is a statistical trend: rare high peaks can produce unusually massive early objects, and gas cooling and feedback prevent a one-to-one identification of halo collapse with star formation.
For cold dark matter, random particle velocities are small enough that collisionless free streaming erases little power on galactic scales. Warm dark matter retains a larger early velocity dispersion and a larger free-streaming length, suppressing power below a finite scale. There are consequently fewer low-mass haloes, delayed formation of the smallest galaxies, and a lower limit to the hierarchy that can develop. Above the cutoff, warm-matter structure can still assemble hierarchically. The distinction concerns the particles' velocity history and transfer function, not the thermal temperature of gas in a galaxy today. The broad late-time shape was largely established by early horizon-entry physics, with subsequent nonlinear collapse and merging altering the spectrum at high wavenumber.
Relativistic pressure gives the radiation fluid a sound speed . Well inside the sound horizon, , radiation linear cosmological density perturbations undergo rapid pressure-supported oscillations instead of sustained gravitational growth. Their potential decays. For an ideal radiation fluid with negligible scalar anisotropic stress, the regular Newtonian gauge in cosmology solution during radiation domination illustrates this explicitly:
For its amplitude is . Thus radiation in cosmology remains essential to the background Friedmann equation, while its rapidly oscillating gravitational forcing can be smoothed out when following the slowly varying cold dark matter density mode. This is the approximation behind the Mészáros equation.
The important limitation is that “subhorizon” alone is not a pointwise theorem that . Radiation can dominate the instantaneous potential during early radiation domination, and the forcing near horizon entry seeds the later logarithmic matter mode. We neglect that transient and rapidly oscillating forcing in the subsequent coarse-grained growth equation, not radiation's contribution to the expansion rate. Close to horizon entry, or for accurate oscillatory evolution, the coupled radiation and matter perturbation equations must be retained. For the slow matter potential, the metric time derivatives in part (a) are also suppressed relative to its spatial Laplacian by . The approximation smooths radiation perturbations while retaining radiation in cosmology in the background cosmic expansion.
Write for a comoving coordinate, for the peculiar velocity, for the Hubble parameter, and for the density contrast. For a homogeneous self-gravitating fluid, the linearized continuity equation, Euler equations for an inviscid fluid, and cosmological Poisson equation are
Here is the physical adiabatic sound speed, gradients refer to comoving coordinates, and the homogeneous background force has already been subtracted. Differentiating the first equation and eliminating and gives
A Fourier mode with comoving wavenumber therefore obeys
The Jeans wavenumber occurs where the coefficient in parentheses vanishes. Since a comoving wavelength is , the result is
Below this comoving Jeans length, pressure restores a displaced fluid element: there are acoustic waves rather than growing Jeans instability. In a static background they oscillate; expansion changes their amplitude and frequency, and dissipation can damp them. Pressure support alone does not erase them. In the pre-recombination photon-baryon fluid, Silk damping supplies a separate erasure mechanism.
For collisionless matter, replace the sound speed by a characteristic velocity dispersion. For an isotropic Maxwell-Boltzmann velocity distribution, defining , the static collisionless marginal-stability calculation gives
The coefficient depends on the distribution and the convention for velocity dispersion. Small-scale suppression is now collisionless free streaming and phase mixing, rather than collisional acoustic waves. An instantaneous collisionless Jeans length must be distinguished from the accumulated comoving distance traveled since decoupling.
For the requested thermal histories, an Einstein-de Sitter universe describes the matter-era limit: it cannot literally also have a radiation-dominated epoch. Interpret the question as a spatially flat universe with negligible cosmological constant, passing from radiation domination, , to matter domination, . For the usual schematic dynamical Jeans scale use in the estimate, so
Near the particle horizon a relativistic perturbation calculation replaces the Newtonian derivation; the scaling estimate still identifies the relevant sound-crossing or streaming scale.
Before cosmological recombination, adiabatic initial conditions keep the entropy per baryon fixed in the tightly coupled photon-baryon fluid. With , its photon-baryon sound speed is
For example, this follows from and . In the radiation-dominated limit , ; in the strongly baryon-loaded matter-era limit , . Thus the baryon Jeans length across recombination has the asymptotic history
The transition to the plateau is smooth: retaining gives in matter domination. If baryon loading is still small, this intermediate segment instead rises as until loading becomes important.
At photon decoupling, radiation ceases to provide pressure support to the baryons, so the sound speed drops from the coupled-fluid value to that of a nonrelativistic ideal gas, , with . The drop in comoving Jeans length at fixed density is the same ratio of sound speeds, typically several orders of magnitude. Subsequently an isentropic process gives , so and . Residual energy exchange through Compton scattering can initially keep , producing a short approximately flat gas segment before the decreasing segment. The idealized sketch assumes immediate adiabatic cooling:
log(comoving baryon Jeans scale)
  ^
  |                   __________________
  |                 /                   |
  |               /                     |  loss of photon pressure
  |             /                       |
  |           /                         +---\
  |         /                                \
  +-------------------|-----------------|----------> log(time)
                    t_eq              t_rec
        slope 1/2          slope ~0        slope -1/3
For the cold-dark-matter kinetic Jeans scale, take the stated toy history to mean that collisions maintain a particle temperature equal to the photon temperature until kinetic decoupling. This is an assumption about thermal coupling; a negligible collision rate after decoupling makes the subsequent treatment collisionless. Assume the ordering . While relativistic, the characteristic particle speed is constant; while nonrelativistic but thermally coupled, ; after kinetic decoupling, particle momentum redshifts as and . Combining these with the background dynamical density gives
There is no sudden change at cosmological recombination: cold dark matter has already decoupled. Its small initial velocity dispersion makes its suppression scale much smaller than the pre-recombination baryon scale.
log(comoving CDM dynamical Jeans scale)
  ^
  |                        _______________
  |                    ___/               \
  |                ___/                    \       no jump
  |              /                          \      at t_rec
  |            /                             \
  +-----------|------------|--------------|----|------> log(time)
            t_NR         t_dec          t_eq t_rec
   slope 1/2    slope 1/4       slope 0       slope -1/3
The density convention matters. If one instead defines a species' self-gravitating collisionless Jeans length using only its own nonrelativistic density , its thermally coupled segment is constant and its decoupled segment decreases as even during radiation domination. The constant radiation-era segment in the second sketch is the usual instantaneous background dynamical streaming estimate, not an exact single-species self-gravity threshold. A complete multicomponent calculation uses the separate perturbation equations and their combined cosmological Poisson equation.
The supplied superhorizon evolution equation is
For an adiabatic cosmological perturbation, , so and the comoving curvature perturbation is conserved on superhorizon scales.
For photons and cold dark matter, put , , and use , , and . Then
The cosmological entropy perturbation implies , so the adiabatic part cancels and
Since , the curvature evolves as
In the sign convention requested in the question, , this means