Infinite-aperture spectral normalization 2026-10-06
For the Fourier transform of a stationary random field, the periodogram measure converges weakly to the spectral measure of a stationary random field. The expected squared modulus is . The factor follows from Parseval identity, and preserves the total power per unit length. It also avoids meaningless squares of Dirac delta distributions for coherent plane-wave components.
Inflationary scalar Fourier mode Created 2026-09-24 Updated 2026-09-24
Assume the scaling function Fourier transform and the MRA low-pass filter are , and for . For every nonzero integer , write with odd. Iterating the scaling refinement equation at supplies a factor . All its derivatives of order less than vanish at , by periodicity. The product rule gives for .
Inverse scattering problem Created 2026-09-24 Updated 2026-10-05
An inverse scattering problem reconstructs a medium or obstacle from measured scattered waves. Under the Born approximation, fixed-frequency far-field data sample the Fourier transform of the scattering potential on a restricted frequency surface.
Klein-Gordon plane-wave normalization 2026-10-05
For in Minkowski spacetime, these modes obey and have Klein-Gordon inner product . Their conjugates have the opposite norm and are orthogonal to the positive-frequency modes. Plane waves are a generalized, delta-normalized basis; normalizable wave packets have positive norm . Completeness follows by applying the spatial Fourier transform to the Klein-Gordon equation, which gives the two branches for each momentum.
If a finite measure on has square-integrable Fourier transform, the Plancherel theorem gives an inverse transform . Pairing with every Schwartz function and using Fourier inversion identifies the measure with . This establishes absolute continuity, rather than presuming it. For a positive measure, and as well. Multiplication by yields .
Large-distance tail of the Hilbert transform 2026-10-06
For a Schwartz function , the Hilbert transform satisfies at both infinities. Splitting the inverse Fourier transform at the sign multiplier's jump and integrating each half-line by parts extracts the zero-frequency value ; the remainder vanishes by the Riemann-Lebesgue lemma. A nonzero zeroth moment therefore obstructs Schwartz decay.
Linear configuration count Created 2026-09-28 Updated 2026-10-03
A linear configuration count is a weighted sum over tuples satisfying prescribed linear equations. Orthogonality of complex exponentials often rewrites such a count as an integral of Fourier transforms.
Linear dispersive Stokes equation 2026-10-06
The scalar linear partial differential equation is an Airy equation with a first-order transport term. It is a linearization of the Korteweg-De Vries equation with an advective term retained. It is distinct from the viscous incompressible-flow Stokes equation. On the whole line its spatial Fourier transform evolves by .
For zero initial displacement and unit delta initial velocity, the spatial Fourier transform of the wave equation gives the displayed multiplier. A compact cutoff function around zero frequency produces an ordinary smooth function after inversion. The remaining sine splits into two oscillatory integrals with phases and symbols proportional to of order . Their stationary directions lie on , proving a light-cone bound for singular support. This does not claim vanishing of smooth tails inside the cone.
Modulation property of the Fourier transform 2026-10-07
Multiplication by a unit-modulus linear phase shifts the Fourier transform. Substituting into the defining integral gives the displayed identity. For a surface measure this permits independent translations of cap transforms without changing their input norms or angular supports.
For an entire function of polynomial growth and exponential type , multiply it by with a unit-mass mollifier. The product becomes rapidly decreasing in real frequency, so its inverse Fourier transform has an absolutely convergent contour integral. Shifting in a separating direction forces that smooth inverse to vanish outside . Letting tend to zero recovers a distribution supported in .
If and for , then its Fourier transform is times continuously differentiable and the displayed formula holds. The dominated convergence theorem permits each derivative under the integral. Thus vanishing moments give a zero Taylor polynomial through degree at the origin. Unweighted membership only guarantees a continuous function as the Fourier transform.
Split Fourier transform modes into a low-momentum ball and its disjoint shell. The quadratic scalar action has no cross term between these supports. Integrating the shell at fixed low field defines the lower-cutoff Wilsonian effective action.
MRA projection Fourier identity 2026-10-05
Use and let be the orthogonal projection onto the closed span of the orthonormal translates and dilates of a scaling function. If is supported in and , thenIndeed, the Plancherel theorem writes the coefficient against as . With , these are times the Fourier series coefficients of on . The Parseval identity proves the formula. It shows that continuity and unit modulus at zero imply density of the refinement spaces, and conversely that density forces this unit modulus when the Fourier transform is continuous at zero.
Mukhanov-Sasaki variable 2026-10-06
For single-field adiabatic inflation, the Mukhanov-Sasaki variable rescales the comoving curvature perturbation by , where is the reduced Planck mass. Its quadratic bulk action is , after a boundary term is removed. A Fourier transform mode obeys and has canonical Wronskian normalization. The mass scale and sound-speed factors depend on the underlying scalar theory; this definition assumes the canonical single-field action and positive slow-roll kinetic coefficient.
A compactly supported distribution of order of a distribution at most has a smooth function as its Fourier transform, bounded by . It therefore belongs to every Sobolev space with .
The inverse Fourier transform of in three dimensions, with , is . Its leading oscillatory tail is not absolutely integrable against the radial volume element . Multiplying by a Gaussian Fourier transform retains a nonzero boundary-derivative tail, so the radial cutoff need not map even Schwartz functions into . A tensor product of one-dimensional triangular cutoffs is a valid approximate identity, and must not be confused with this Euclidean radial cutoff.