Airy equation Created 2026-09-24 Updated 2026-09-28
The Airy equation is the linear dispersive partial differential equation . Under the spatial Fourier transform, each mode evolves by multiplication by .
For a full Euclidean lattice and a positive definite real symmetric matrix , the Gaussian theta sum obeys
Use the Fourier transform kernel , the identity , and the Poisson summation formula for a Euclidean lattice. No integrality or self-duality of the Euclidean lattice is assumed.
Bandlimited function 2026-10-06
A bandlimited function has Fourier transform supported in a bounded frequency interval. An integrable bandlimited function has a bounded continuous representative when its Fourier transform is integrable, and that representative extends analytically using the compact-frequency integral. Scaling arguments scales its frequency support inversely, while multiplying two such functions adds their support intervals through convolution.
Bobylev identity 2026-10-07
For the Maxwell molecule collision operator and the Fourier transform with exponent , put . The angular exchange for elastic collisions, rotation invariance of spherical surface area and factorization of the two velocity integrals give the displayed formula. This identity converts the collision integral into a spherical average of products at two related frequencies.
Using , the scalar Lippmann-Schwinger equation is . The Born approximation replaces the total field inside the integral by the known incident field:
For a unit plane wave, its far-field pattern is . Thus each incident direction samples a shifted sphere in the Fourier transform of the potential.
For normalized circle measure and a nonnegative cutoff near , equal to one on and supported on , remove the constant phase . On , , the remaining phase has magnitude at most . Taking sufficiently large keeps its real part positive and comparable to one, so the Fourier transform has magnitude at least a constant times the cap mass, which is at least . No upper bound on the cutoff is required for this lower bound.
With kernel and , the Fourier transform of is . Choose the logarithm of on the right half-plane. The ordinary real Gaussian Fourier transform proves the identity at ; holomorphic continuation proves the complex formula.
Complex spectral Fourier transform Created 2026-10-06 Updated 2026-10-07
A complex-coordinate parametrization of the two-dimensional Fourier transform. With , , and , its exponent is . Since , its inverse is . The spectral equation gives , linking Fourier inversion to a spectral dbar equation.
A contact term is a distribution supported where insertion points coincide. Its Fourier transform is local in momentum, typically polynomial. Renormalizing an operator product can require additive contact counterterms even if each operator has zero anomalous dimension.
Cutoff bootstrap for local elliptic regularity Created 2026-10-05 Updated 2026-10-06
For a constant-coefficient elliptic differential operator of order , localizing the equation gives . The commutator has order at most , so a global Fourier transform estimate raises the known Local Sobolev space index by one until the forcing index plus is reached.
With inverse Fourier transform normalization , as an oscillatory integral. The factor and the sign convention are essential. For instance, amplitude with phase gives .
Write . The double integral equals the displayed constant. Express the denominator as a Laplace integral and each differentiated Fourier factor as , then use Fubini's theorem. For a real cutoff the resulting square is positive even though the Fourier transform factors have no complex conjugation. The Cauchy-Schwarz inequality and , give .
At fixed spatial momentum with mode energy , is continuous, with derivatives and at zero from opposite sides. Hence its second distributional derivative has a term, while away from zero . Therefore and, after the spatial Fourier transform, . This checks the propagator numerator, contour signs and equal-time canonical commutation relations independently of residue calculation.
Entire wave cosine multiplier Created 2026-10-06 Updated 2026-10-07
For real wave speed and , define the complex-frequency cosine through the entire series . The expression is independent of the square-root branch even though the square root itself need not be entire. Writing gives , and hence . The Paley–Wiener–Schwartz theorem therefore makes its inverse Fourier transform a distribution supported in the radius- ball. Multiplication by evolves initial displacement with zero initial velocity in the wave equation, giving finite propagation speed for compactly supported initial distributions.
Fast-inhibitor elimination in a reaction-diffusion system Created 2026-09-24 Updated 2026-09-24
If a fast inhibitor satisfies , then its spatial Fourier transform obeys
Substitution produces a nonlocal scalar equation for the activator.
A source is nonradiating at frequency if its outgoing field has zero far-field pattern. For every , the source has outgoing field and is invisible outside . Integration by parts shows that its Fourier transform vanishes on , so it belongs to the kernel of a linear map defined by the source-to-far-field operator at fixed frequency. This family proves nonuniqueness independently of the instability of the inverse.
For a piecewise smooth decaying function, a jump in its th derivative at contributes the displayed algebraic term to its high-frequency Fourier transform. Distributionally, contains , and integration by parts or the derivative-transform identity supplies the factor . Adequate integrability of the subsequent derivatives controls the remainder. Smooth localized polynomial terms give no algebraic cusp contribution.