For statistical homogeneity and statistical isotropy, with the paper's finite-volume Fourier normalization,
The angular integral is . In particular , confirming the stated dimensionless power spectrum normalization.
For the scale-free matter power spectrum , set to obtain
At zero the integrand behaves as , requiring ; at infinity its oscillatory integral converges for . Thus in the ordinary convergent range , the scale-free density correlation transform has
The Gamma function expression follows by introducing , evaluating the complex Laplace integral where it converges absolutely at zero, and continuing within the convergent oscillatory range; its removable singularity at is handled by the limit. Absolute convergence of the original correlation integral requires the smaller range .
The exponent relation is a useful scaling statement beyond that interval, but a pure primordial spectrum over all wavenumbers has no ordinary unsmoothed Fourier correlation integral. Physical transfer functions, cutoffs or smoothing must be specified, and a distributional extension need not yield a positive power law. Even within the convergent interval, the point variance is ultraviolet divergent without smoothing; the finite result here is at nonzero separation.
For a representative present-day ordinary galaxy sample over roughly –, the familiar approximate fit is
where . These are empirical galaxy clustering parameters, not universal matter-spectrum constants; luminosity, color, selection and scale change the fit, as shown in the galaxy correlation measurements. A formal power law of that slope corresponds to on those scales, not to the nearly scale-invariant primordial spectral index.
Interpret in the variance integral as the unsmoothed cosmological density power spectrum of . A linear smoothing window gives for the smoothed field; the PDF's description of as already belonging to would otherwise count the window twice.
For a scale-free matter power spectrum , substitute to obtain
Whenever the dimensionless integral is finite and nonzero, this proves the scale-free smoothed density variance
The printed condition is insufficient by itself. For a normalized window with , infrared convergence requires . Ultraviolet convergence depends on the filter: a spherical top-hat window function requires , a Gaussian filter suppresses every ultraviolet power, and a sharp-k smoothing filter has finite Fourier support. In particular, the monotone relation requires in the scale-free model.
At a single variance , the Gaussian random field has . Thus its endpoint tail is
Here is the complementary error function.
For the crossing probability, the key assumption is independent, symmetric increments as the smoothing scale changes. A sharp-k smoothing filter, , supplies this property: decreasing adds independent Fourier shells of the underlying Gaussian field. Parameterizing their accumulated variance by gives a Brownian motion with covariance . An arbitrary real-space window gives correlated increments and does not justify this argument.
Reflect a trajectory after its first hit of . The Strong Markov property and symmetric future increments preserve its probability, and reflection maps an endpoint below the barrier to one above it. Every endpoint above the barrier has already crossed; the reflected paths give an equally probable set that crossed but ended below. The Brownian reflection principle therefore yields the excursion-set description of halo formation:
Its derivative is the Brownian first-passage time density
The factor of two resolves trajectories that crossed a larger-scale barrier but finish below it on the chosen smaller scale.
Define the halo peak height . The cumulative probability is a dimensionless mass fraction. With , its conversion to halo number density gives
Consequently the Press-Schechter halo mass function is
It is positive when decreases with mass. A chosen mass-radius convention gives . For a sharp Fourier filter that mass assignment needs a convention, since its real-space kernel is not a localized top-hat volume.
For warm dark matter, the cutoff introduces a new length and invalidates the pure power-law variance scaling near that length. With the same sharp-k filter and , the variance is exactly
The Brownian walk runs only up to and then stops. The cutoff does not destroy independence of the Fourier shells that are still present. Thus the first-crossing density and derivative mass-function formula remain valid on the invertible part of , using the actual cutoff variance. For , and this idealized sharp-filter model has no new crossings or new low-mass haloes. Its total collapsed fraction is
This is halo first crossing with a finite variance cutoff: some trajectories never cross, so one must not force the collapsed fraction to one. The uncut power-law abundance cannot be extrapolated to small masses. For other windows, a variance plateau still occurs but the Markov/reflection derivation is not exact; the same mass function is then a modelling approximation, rather than a result established by this calculation.
Set , , , and . Substitution into gives
The azimuthal integral in and the factor two in then give
For the scale-free matter power spectrum , put and
All dimensional factors separate:
where
As , , so the soft- integral converges exactly when . For , times an angular function, requiring . At fixed , is regular. The corner makes soft; after resolving that corner in the local soft momentum, its radial behavior is again , requiring . Therefore
is the infrared- and ultraviolet-convergence window for .