Constant-coefficient elliptic second-derivative estimate Created 2026-10-03 Updated 2026-10-05
If the constant symmetric matrix satisfies , then every smooth function with compact support satisfies
Indeed, the Fourier transform of a derivative and the Plancherel theorem turn the squared norms into integrals with Fourier multipliers and .
Interpret the given velocity regularity in the stated Sobolev space sense. Repeated integration by parts, or the Fourier transform of a derivative in distributions, gives
The usual one-dimensional one-dimensional Sobolev representative or a smooth approximation justifies this identity without imposing extra decay of classical derivatives at specific boundary points. The transform of an integrable function has absolute value at most its norm. Therefore
Setting and taking the supremum gives the required uniform weighted bound. The term on the left is zero; there is no division by that frequency in this argument.
The original PDF has forcing ; the supplied TeX loses the absolute-value bars. Set . First assume and . The Fourier transform of a derivative, obtained by integration by parts with the boundary terms zero, is . Applying it and the preceding transform gives
Using the inverse Fourier transform pairs from part (i),
Both decay conditions hold. The first derivatives of the two exponential terms cancel at zero, so is continuously differentiable there; the second derivatives have matching limits and the differential equation holds at zero as well as on both half-lines. For uniqueness, a difference solves the homogeneous equation. Decay gives on the positive half-line and on the negative half-line. Continuity gives and derivative continuity gives , forcing both to be zero.
The PDF's condition also allows , but no decaying solution exists when . Indeed on , and decay forces ; on , decay forces . Their one-sided derivatives at zero are and , which cannot match. The missing condition is therefore a genuine source omission, not a transcription repair. The transform expression at has a nonintegrable singularity, consistently with this obstruction.
For smooth rapidly decaying initial data, apply the Fourier transform in and differentiate under the integral. The Fourier transform of a derivative turns the wave equation into
Solving this constant-coefficient ordinary differential equation gives
At the quotient means its continuous limit , so .
Since , the Translation property of the Fourier transform inverts the first term as . Also has Fourier transform , including its limiting value at zero. The convolution theorem therefore inverts the second term as
This proves the D'Alembert formula
The formula itself extends beyond the rapidly decaying class: and suffice for a classical solution, verified by differentiation and the two initial conditions. The decay assumption above justifies the ordinary transform derivation without distributional qualifications.
With periodic or sufficiently decaying boundary conditions, integration by parts gives
Assume for a stable quadratic free energy; the diffusive smoothing discussed below requires . In a periodic box of volume , use the unitary convention . A real field has . Since the Fourier transform of a derivative converts to , each Fourier mode obeys
It is an Ornstein-Uhlenbeck process. Multiplication by the integrating factor gives
The noise integral is understood as an Itô integral with a deterministic kernel; writing is shorthand for the corresponding Wiener increment. Direct differentiation in the mild stochastic sense checks both the equation and the initial value. The stated Kronecker-delta noise covariance corresponds to this finite-volume normalization. Unlike a conserved order parameter, the zero wavenumber mode decays at the nonzero rate .
Extend by zero to ; its compact support inside the ball makes the extension smooth. The Fourier transform of a derivative gives
The assumption says that is a uniformly elliptic operator, so
Moreover,
The Plancherel theorem therefore yields
All integrands vanish outside the original support where appropriate, so
Taking the Fourier transform of a derivative gives
Thus, away from ,
This formula determines the solution uniquely; a distribution supported only at cannot belong to unless it is zero.
For , the Fourier transform estimate and local integrability of in three dimensions control the squared norm. For ,
The Plancherel theorem therefore yields . Finally the Sobolev embedding theorem in three dimensions gives when , namely when .
Let contain the support of . Choose a cutoff function that equals one near . It makes
well-defined, and differentiating the parameter under the pairing gives
Thus the Fourier transform of a compactly supported distribution is a smooth function. Since a compactly supported distribution has finite order, some and satisfy
Applying this estimate to the exponential yields .
Now take , multiply by a cutoff function supported in and equal to one near , and regard the result as an element of . Choose so large that
is Lebesgue integrable. The inverse Fourier transform is a bounded continuous function, and the Fourier transform of a derivative gives
as a distributional identity. This is the Bessel potential proof of the structure theorem for compactly supported distributions.
The function itself need not have compact support. Choose another cutoff equal to one near . Then . Repeatedly using
expresses as a finite sum , where every coefficient is continuous and compactly supported in .
The Fourier transform of a derivative gives
Since ,
An arbitrary additive constant in affects only the zero-frequency Dirac delta function when transforms are interpreted as distributions.
The values of are . Hence
These are infinitely many distinct positive real numbers.
The Fourier transform of a derivative gives
Hence
for . The assumed existence of the transforms excludes an arbitrary nonzero constant in .
In free space , and the fourth moment obeys
For the two-dimensional Fourier transform
the Fourier transform of a derivative turns this equation into the ordinary differential equation
Thus
Using the screen-exit value from part (a), the inverse transform gives
through first order in . Equivalently, the free-space fourth-moment propagator has kernel
Setting makes the inhibitor equation quasistatic:
Taking the spatial Fourier transform and using the Fourier transform of a derivative gives
Therefore the fast-inhibitor elimination in a reaction-diffusion system is
Use the Fourier transform convention
The zero mode vanishes because the compositional order parameter has zero spatial average. Parseval identity and the Fourier transform of a derivative turn the quadratic part of the dimensionless free energy into
Here is the positive-wavevector sum for a real field. Each independent complex amplitude has density proportional to , so its elementary Gaussian integral gives the static structure factor
whenever .
The stationary points of the Brazovskii model kernel obey
Because , the nonzero minimum is the nonzero-wavevector soft-mode sphere
At this wavevector,
The first Gaussian field theory divergence therefore occurs at
For integrable weak velocity derivatives on a unit-period spatial circle, the Fourier transform of a derivative gives for . Summing these modes uses . The resulting absolute Fourier summability gives the displayed uniform bound for the continuous representative of the density. For the same summation diverges, so this argument needs additional input.