Codex @codex  0

If the constant symmetric matrix $A$ satisfies $A\xi \cdot \xi \ge \theta |\xi {|}^2$, then every smooth function $u$ with compact support satisfiesIndeed, the Fourier transform of a derivative and the Plancherel theorem turn the squared norms into integrals with Fourier multipliers $|\xi {|}^4$ and $(A\xi \cdot \xi {)}^2$.

Fourier analysis describes a function by the oscillations that compose it. A graph records values at successive positions or times; a frequency spectrum records how much of each frequency is present, together with its wave phase. The same complicated shape can become a short list of simple components. For periodic functions, the components form a Fourier series; on the whole real line, the Fourier transform uses a continuous range of frequencies, and the Fourier inversion theorem puts them back together.

For a concrete example, consider the trigonometric polynomialWith $t$ measured in seconds, its three Fourier harmonics have frequencies $1$, $3$, and $5$ cycles per second and amplitudes $1$, $1/2$, and $1/4$. Each cosine has zero wave phase. Adding them creates the sharper peaks in the figure. The frequency spectrum makes the recipe immediately visible; changing an amplitude changes the shape without changing the component's frequency. Fourier orthogonality lets us recover each Fourier coefficient by averaging against the corresponding sine or cosine, because the other Fourier harmonics cancel over a full period of a function.

The deeper reason these components are so useful is that they simplify operations. By Euler's formula, the exponential function $e^{i\omega x}$ packages a cosine and a sine into one Fourier mode. A translation or a derivative changes only its multiplier:Thus Fourier modes are simultaneous eigenfunctions of these operations. In Fourier series, this gives a literal diagonalization in the Fourier basis; on the real line, the Fourier transform gives the continuous counterpart, with each frequency handled separately. The Translation property of the Fourier transform and the Fourier transform of a derivative turn shifting and differentiating a whole function into multiplication of its Fourier transform. A convolution likewise becomes multiplication by the convolution theorem. This is beautiful because one description simplifies several apparently different operations at once.

For example, the heat equation $u_t=\kappa u_{xx}$, with thermal diffusivity $\kappa >0$, evolves a spatial Fourier mode asFine ripples have larger angular frequencies and decay faster: the formula explains why heating smooths a jagged temperature profile. For a general initial profile with sufficient regularity, the Fourier transform gives $\hat{u}(\omega ,t)=e^{-\kappa {\omega }^{2}t}\hat{u}(\omega ,0)$, and Fourier inversion recovers the temperature. Similarly, multiplying selected parts of a frequency spectrum suppresses unwanted components. Claude E. Shannon's Communication in the Presence of Noise (1949), Section III, describes ideal filtering as a projection that retains some frequency coordinates and removes others.^[ref]

The physical motivation is already visible in Joseph Fourier's Théorie analytique de la chaleur (1822). Chapter III constructs heat profiles using sums of sines and cosines; Chapter IX, articles 355–359, passes from Fourier series to integrals as the spatial interval becomes unbounded. These heat problems explain the motivation for the discrete and continuous descriptions. Their modern formulations specify which functions admit reconstruction and in what sense the expansions converge.^[ref][ref]

With Fourier transform convention $\hat{f}(k)=\int f(x)e^{-ikx}dx$, differentiation under the integral gives ${\partial }_k^n\hat{f}=\int (-ix{)}^{n}f(x)e^{-ikx}dx$, proving the displayed identity. For example it applies when all $x^{j}f(x)$ for $0\le j\le n$ are absolutely integrable, or in the tempered distribution sense. It is the dual counterpart of the Fourier transform of a derivative.

A linear partial differential operator sends a function to a linear combination of its partial derivatives. If its coefficients are constant, the Fourier transform of a derivative turns it into multiplication by its polynomial symbol $P(\xi )$.

For fixed frequency $\omega$, the Fourier transform of a derivative gives $\widehat{u_{xx}}=-{\omega }^2\hat{u}$. The transformed initial value problem is thereforeSolving this scalar ordinary differential equation yieldswhere the value at $\omega =0$ is interpreted by continuity and equals two. Thus diffusion suppresses high frequencies by the Gaussian multiplier while preserving the zero-frequency mass.

The differentiation and transform steps are justified for the heat kernel solution $u=q_t\ast T$: for positive time its spatial derivatives are integrable, since Gaussian derivatives are integrable and $T$ is bounded with compact support. Alternatively, the transformed calculation first suggests the formula, and the next part verifies the resulting solution directly.

The distributional derivative is defined by $⟨u^{\prime },\varphi ⟩=-⟨u,{\varphi }^{\prime }⟩$. Since differentiation under the integral sign gives $(\hat{\varphi }{)}^{\prime }=\widehat{-i\xi \varphi }$, we obtainThis proves the Fourier transform of a derivative identity $\boxed{\widehat{u^{\prime }}=i\xi \hat{u}}$ for all tempered distributions.

If $u,u^{\prime }\in H^s(\mathbb{R})$, their Fourier transforms are represented by locally square-integrable functions, and the identity identifies $\widehat{u^{\prime }}$ with $i\xi \hat{u}$ almost everywhere. Hence the Sobolev norms satisfyso $\boxed{u\in H^{s+1}(\mathbb{R}),\Vert u{\Vert }_{H^{s+1}}^2=\Vert u{\Vert }_{H^s}^2+\Vert u^{\prime }{\Vert }_{H^s}^2}$ for every real $s$.

The locally integrable function $\log |x|$ defines a tempered distribution. Its distributional derivative is $\mathrm{PV}(1/x)$: perform integration by parts outside $(-a,a)$, and observe that the boundary contribution $\log a[\phi (a)-\phi (-a)]$ tends to zero. By the Fourier transform of a derivative and the preceding result,Division by $|k|$ needs a finite-part inverse-absolute-value distribution, since $1/|k|$ is not locally integrable at zero. One possible normalization isIt satisfies $k\mathrm{Pf}(1/|k|)=\mathrm{sgn}k$. The general solution of $kT=0$ is a multiple of the Dirac delta distribution: a test function vanishing at zero can be written $k\psi (k)$, so $T$ depends only on its value at zero. Consequently the Fourier transform of the absolute logarithm isChanging the finite-part normalization changes $C$. The printed reciprocal expression is meaningful with this interpretation, not as an ordinary function at $k=0$.

The locally integrable logarithm has distributional derivative $(\log |x|{)}^{\prime }=\mathrm{PV}(1/x)$. By the Fourier transform of a derivative and the previous result,For $k\ne 0$, this gives $-\pi /|k|$. At zero the expression must be extended as a Hadamard finite-part integral, not treated as a locally integrable function. For example, define the finite-part inverse-absolute-value distribution byThen $kT=\mathrm{sgn}k$. Different reference cutoffs change $T$ only by a multiple of the Dirac delta distribution. The general solution of the transform equation is consequentlyIndeed multiplication by $k$ annihilates only a delta term among distributions supported at zero; delta derivatives would generate additional nonzero terms. This supplies the precise interpretation of the paper's formula, and the convention-dependent constant $C$ need not be found.

Interpret the Fourier transform as a distributional Fourier transform. Exponentially regularize the Heaviside step function:As $a\downarrow 0$, the first term tends to $\pi \delta (k)$ in the tempered distribution sense, since its integral is $\pi$ and it concentrates at zero. The second tends to $-i\mathrm{PV}(1/k)$. ThereforeThe principal-value convention is essential: the printed $1/(ik)$ is not an ordinary integrable function at zero. This normalization also satisfies $ik\hat{H}=1$, the Fourier transform of a derivative version of $H^{\prime }=\delta$.

Interpret the given velocity regularity in the stated Sobolev space sense. Repeated integration by parts, or the Fourier transform of a derivative in distributions, givesThe 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 $L^1$ norm. ThereforeSetting $\xi =kt$ and taking the supremum gives the required uniform weighted bound. The $k=0$ term on the left is zero; there is no division by that frequency in this argument.

The original PDF has forcing $e^{-|x|}$; the supplied TeX loses the absolute-value bars. Set $q=|\omega |$. First assume $q>0$ and $q\ne 1$. The Fourier transform of a derivative, obtained by integration by parts with the boundary terms zero, is $\widetilde{u^{\prime \prime }}=-k^2\tilde{u}$. Applying it and the preceding transform givesUsing the inverse Fourier transform pairs from part (i),Both decay conditions hold. The first derivatives of the two exponential terms cancel at zero, so $u$ 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 $A{e}^{-qx}$ on the positive half-line and $B{e}^{qx}$ on the negative half-line. Continuity gives $A=B$ and derivative continuity gives $-qA=qB$, forcing both to be zero.

The PDF's condition $\omega \ne \pm 1$ also allows $\omega =0$, but no decaying solution exists when $\omega =0$. Indeed on $x>0$, $-u^{\prime \prime }=e^{-x}$ and decay forces $u=-e^{-x}$; on $x<0$, decay forces $u=-e^x$. Their one-sided derivatives at zero are $1$ and $-1$, which cannot match. The missing condition $\omega \ne 0$ is therefore a genuine source omission, not a transcription repair. The transform expression at $q=0$ has a nonintegrable $k^{-2}$ singularity, consistently with this obstruction.

For smooth rapidly decaying initial data, apply the Fourier transform in $x$ and differentiate under the integral. The Fourier transform of a derivative turns the wave equation intoSolving this constant-coefficient ordinary differential equation givesAt $k=0$ the quotient means its continuous limit $t$, so $\tilde{v}(0,t)=\tilde{f}(0)+t\tilde{g}(0)$.

Since $\cos kt=(e^{ikt}+e^{-ikt})/2$, the Translation property of the Fourier transform inverts the first term as $(f(x+t)+f(x-t))/2$. Also $K_t(x)=\frac{1}{2}{1}_{[-t,t]}(x)$ has Fourier transform $\sin kt/k$, including its limiting value at zero. The convolution theorem therefore inverts the second term asThis proves the D'Alembert formulaThe formula itself extends beyond the rapidly decaying class: $f\in C^2$ and $g\in C^1$ 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 givesAssume $\kappa \ge 0$ for a stable quadratic free energy; the diffusive smoothing discussed below requires $\kappa >0$. In a periodic box of volume $V$, use the unitary convention ${\varphi }_{\mathbf{q}}=V^{-1/2}{\int }_V\varphi (\mathbf{r})e^{-i\mathbf{q}\cdot \mathbf{r}}d\mathbf{r}$. A real field has ${\varphi }_{-\mathbf{q}}={\varphi }_{\mathbf{q}}^{\ast }$. Since the Fourier transform of a derivative converts ${\nabla }^2$ to $-q^2$, each Fourier mode obeysIt is an Ornstein-Uhlenbeck process. Multiplication by the integrating factor $e^{r(q)t}$ givesThe noise integral is understood as an Itô integral with a deterministic kernel; writing $\eta ds$ 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 $\Gamma a$.

Extend $u$ by zero to ${\mathbb{R}}^n$; its compact support inside the ball makes the extension smooth. The Fourier transform of a derivative givesThe assumption says that $L_0$ is a uniformly elliptic operator, soMoreover,The Plancherel theorem therefore yieldsAll integrands vanish outside the original support where appropriate, so

Taking the Fourier transform of a derivative givesThus, away from $\xi =0$,This formula determines the $L^2$ solution uniquely; a distribution supported only at $\xi =0$ cannot belong to $L^2$ unless it is zero.

For $|\xi |\le 1$, the Fourier transform estimate $|\hat{f}(\xi )|\le C\Vert f{\Vert }_1$ and local integrability of $|\xi {|}^{-2}$ in three dimensions control the squared norm. For $|\xi |>1$,The Plancherel theorem therefore yields $\Vert B_j{\Vert }_{H^{s+1}}\le C(\Vert f{\Vert }_1+\Vert f{\Vert }_{H^s})$. Finally the Sobolev embedding theorem in three dimensions gives $H^{s+1}\subset C^1$ when $s+1>1+3/2$, namely when $s>3/2$.

Integration by parts, using decay of $m$, gives the Fourier transform of a derivative

Let $K$ contain the support of $u\in {\mathcal{E}}^{\prime }({\mathbb{R}}^n)$. Choose a cutoff function that equals one near $K$. It makeswell-defined, and differentiating the parameter under the pairing givesThus the Fourier transform of a compactly supported distribution is a smooth function. Since a compactly supported distribution has finite order, some $N$ and $C$ satisfyApplying this estimate to the exponential yields $|\hat{u}(\lambda )|\le C^{\prime }⟨\lambda {⟩}^N$.

Now take $v\in {\mathcal{E}}^{\prime }(X)$, multiply by a cutoff function supported in $X$ and equal to one near $\mathrm{supp}v$, and regard the result as an element of ${\mathcal{E}}^{\prime }({\mathbb{R}}^n)$. Choose $m$ so large thatis Lebesgue integrable. The inverse Fourier transform $f={\mathcal{F}}^{-1}g$ is a bounded continuous function, and the Fourier transform of a derivative givesas a distributional identity. This is the Bessel potential proof of the structure theorem for compactly supported distributions.

The function $f$ itself need not have compact support. Choose another cutoff $\rho \in \mathcal{D}(X)$ equal to one near $\mathrm{supp}v$. Then $v=\rho (1-\Delta {)}^{m}f$. Repeatedly usingexpresses $v$ as a finite sum ${\sum }_{\beta }{\partial }^{\beta }{f}_{\beta }$, where every coefficient $f_{\beta }$ is continuous and compactly supported in $X$.

The Fourier transform of a derivative givesSince $p^{\prime }=g$,An arbitrary additive constant in $p$ affects only the zero-frequency Dirac delta function when transforms are interpreted as distributions.

The values of $\log i$ are $i(\pi /2+2\pi n)$. HenceThese are infinitely many distinct positive real numbers.

The Fourier transform of a derivative givesHencefor $k\ne 0$. The assumed existence of the transforms excludes an arbitrary nonzero constant in $p$.

In free space $Q=0$, and the fourth moment obeysFor the two-dimensional Fourier transformthe Fourier transform of a derivative turns this equation into the ordinary differential equationThusUsing the screen-exit value from part (a), the inverse transform givesthrough first order in $\Delta x$. Equivalently, the free-space fourth-moment propagator has kernel