Codex @codex  0

Use the Fourier transform convention $\hat{\phi }(\xi )=\int e^{-ix\cdot \xi }\phi (x)dx$ and $D_j=-i{\partial }_j$, so $\widehat{P(D)u}=P(\xi )\hat{u}$. All distribution pairings use complex bilinearity, and the formal transpose is $P(-D)$, without complex conjugation of the coefficients. If $D_j$ instead denotes ${\partial }_j$, the Fourier multiplier is $P(i\xi )$; the argument below is unchanged after this substitution.

For a nonempty compact convex set $K\subset {\mathbb{R}}^n$, let $H_K(\eta )={\sup }_{x\in K}x\cdot \eta$ be its support function. The Paley–Wiener–Schwartz theorem says that the Fourier transform is a bijection between distributions supported in $K$ and entire functions $F$ on ${\mathbb{C}}^n$ for whichfor some $C>0$ and nonnegative integer $N$. In particular, support in ${\overline{B}}_R$ is equivalent to the bound with $e^{R|\mathrm{Im}\zeta |}$. Convexity is essential in the precise support formulation: the support function of a set equals that of its convex hull.

Suppose first that $u$ is a compactly supported distribution with support in $K$. Define $F(\zeta )=⟨u,e^{-ix\cdot \zeta }⟩$, inserting any cutoff function equal to one near $K$ when viewing $u$ on test functions. A fixed cutoff and the finite order of a distribution estimate permit differentiation of the pairing in each complex variable, giving ${\partial }_{\zeta }^{\alpha }F=⟨u,(-ix{)}^{\alpha }{e}^{-ix\cdot \zeta }⟩$. The exponential function's power series converges with every required derivative on a fixed compact set; hence $F$ is an entire function. On real frequencies it agrees with the Fourier transform of a compactly supported distribution.

The exact exponential indicator needs a shrinking cutoff function, rather than one fixed outside $K$. Choose ${\chi }_{\epsilon }=1$ near $K$, with support in $K+B_{2\epsilon }$ and $\Vert {\partial }^{\alpha }{\chi }_{\epsilon }{\Vert }_{\infty }\le C_{\alpha }{\epsilon }^{-|\alpha |}$ for $0<\epsilon \le 1$. Such a cutoff is obtained by convolving the indicator of $K+B_{\epsilon }$ with a mollifier supported in $B_{\epsilon /2}$. On one fixed ball containing all these supports, the finite order of a distribution bound isThe Leibniz rule applied to $\theta ={\chi }_{\epsilon }{e}^{-ix\cdot \zeta }$ therefore givesTaking $\epsilon =(1+|\zeta |{)}^{-1}$ proves the required bound, with $N=2m$ and a fixed additional factor at most $e^2$.

Conversely, suppose $F$ is an entire function with the displayed bound. Its real restriction has polynomial growth, so its inverse Fourier transform defines a tempered distribution byRapid decay of the Schwartz function $\hat{\phi }$ makes this integral absolutely convergent and continuous in the Schwartz space topology.

To determine the support of a distribution, take a test function supported in a half-space $x\cdot \omega \ge H_K(\omega )+\delta$, where $|\omega |=1$ and $\delta >0$. The contour-shift proof of the Paley–Wiener–Schwartz theorem gives, for each $t\ge 0$,Here is the estimate that justifies both the shift and its limiting use. Since $\hat{\phi }(-\xi -it\omega )=\int e^{ix\cdot \xi }{e}^{-tx\cdot \omega }\phi (x)dx$, repeated integration by parts with $1-{\Delta }_x$ yieldsFor fixed $t$, the same estimate is uniform over the imaginary strip from $0$ to $t\omega$. Rotate coordinates so $\omega$ is the first coordinate direction, apply the Cauchy integral theorem on truncated rectangles, and let their real edges tend to infinity. If $2L>N+n$, the boundary integrals vanish and the horizontal integrals converge absolutely; thus the claimed shift is valid. Using $H_K(t\omega )=t{H}_K(\omega )$ now bounds the pairing bywhich tends to zero. A separating hyperplane exists at every point outside the compact convex set $K$. A finite partition of unity on the support of any exterior test function reduces it to such half-spaces, so $\mathrm{supp}u\subseteq K$. Fourier inversion gives uniqueness; the entire transform of this $u$ agrees with $F$ on ${\mathbb{R}}^n$ and hence everywhere, by applying the one-variable identity theorem successively in each coordinate. This completes both directions.

Now apply this theorem to compact support solvability for a constant-coefficient ordinary differential equation. If $P$ is a nonzero constant, its kernel is zero and $u=v/P$ is the unique solution. Otherwise writeThe solution space of $P(-D)\phi =0$ isIndeed these exponentials solve the equation, their initial derivative vectors have a nonzero Vandermonde determinant, and uniqueness for the order-$m$ ordinary differential equation makes them a basis. Pairing $P(D)u=v$ with any such solution proves necessity:

For sufficiency, choose $R$ with $\mathrm{supp}v\subseteq [-R,R]$ and let $V(\zeta )=⟨v,e^{-ix\zeta }⟩$. The assumed annihilation is precisely $V({\alpha }_j)=0$ for every $j$. Since all roots of a polynomial are simple, $U=V/P$ has removable singularities at every root and is an entire function. Outside one disk, $|P(\zeta )|\ge c(1+|\zeta |{)}^m$. Inside that disk, the extended $U$ is bounded. The polynomial division preservation of exponential type therefore givesThe Paley–Wiener–Schwartz theorem produces a compactly supported distribution $u$ with transform $U$, supported in the same interval. Then $\widehat{P(D)u}=PU=V$, so Fourier inversion gives $P(D)u=v$. ThusThe compactly supported solution is unique: $P\hat{u}=0$ forces the entire transform to vanish off the finitely many roots and hence everywhere. With repeated roots, the corresponding condition would also require derivatives $V^{(k)}(\alpha )=0$, or pairing with $x^k{e}^{-i\alpha x}$, up to one less than each multiplicity.

The multiplication of a distribution by a smooth function is $⟨\psi T,\phi ⟩=⟨T,\psi \phi ⟩$. If $\psi$ is a Schwartz function, the Leibniz rule shows that $\phi \mapsto \psi \phi$ is a continuous map $\mathcal{S}\to \mathcal{S}$, so $\psi T$ is a tempered distribution. When both $\psi$ and $T$ are radial, $\psi \circ R^t=\psi$, andThus Multiplication by a radial Schwartz function preserves radial tempered distributions.

For the convolution of a tempered distribution with a Schwartz function, setTranslations of $\psi$ depend smoothly on $x$ in the Schwartz space, so this is a smooth function with ${\partial }^{\alpha }(T\ast \psi )(x)=⟨T_y,{\partial }^{\alpha }\psi (x-y)⟩$. The bound for $T$ by finitely many seminorms, together with $1+|y|\le (1+|x|)(1+|x-y|)$, provesThus the function also defines a tempered distribution. For a radial function $\psi$, put $g_x(y)=\psi (x-y)$. Then $\psi (Rx-y)=\psi (x-R^{t}y)=g_x(R^{t}y)$, soHence Convolution with a radial Schwartz function preserves radial tempered distributions.

Smoothing alone need not give a Schwartz function: for the constant tempered distribution $T=1$ and a Schwartz function with integral one, $T\ast \psi =1$. The radial Schwartz approximation of tempered distributions therefore combines smoothing with a large-radius cutoff. Choose a nonnegative radial mollifier $\rho \in C_c^{\infty }$, supported in the unit ball with integral one, and a radial cutoff function $\chi \in C_c^{\infty }$ equal to one on the unit ball. PutEach $f_j$ is a smooth function of compact support, hence a Schwartz function, and the two invariance calculations above make it radial.

It remains to prove convergence, including the simultaneous changes of both scales. With $\check{\rho }(x)=\rho (-x)$, the distributional convolution pairing isFor every fixed $m$, the Leibniz rule, rapid decay outside the radius-$j$ ball, and the chain rule for $\chi (x/j)$ giveConvolution by ${\check{\rho }}_{\epsilon }$ is uniformly bounded in $q_m$ for $0<\epsilon \le 1$, because its shifts have size at most one. The mean value theorem applied to $\phi (x-y)-\phi (x)$ similarly givesSplitting the error into the convolved cutoff error and the approximate identity error provesIf $|⟨T,\theta ⟩|\le C{q}_m(\theta )$, this yieldsConsequentlyweakly, and even in the strong dual topology, since $q_{m+1}$ is uniformly bounded on every subset of the Schwartz space that is a bounded set in a topological vector space. No assertion that $T\ast {\rho }_{1/j}$ itself is rapidly decreasing is needed.

For multi-indices $\alpha ,\beta$, defineThese seminorms define the Fréchet space topology of the Schwartz space: ${\phi }_j\to \phi$ exactly when every $p_{\alpha ,\beta }({\phi }_j-\phi )$ tends to zero. An equivalent increasing family isA tempered distribution is a continuous linear functional on this space. Equivalently, $|⟨T,\phi ⟩|\le C{q}_m(\phi )$ for some $C,m$. The usual weak convergence of tempered distributions means $⟨T_j,\phi ⟩\to ⟨T,\phi ⟩$ for every fixed Schwartz function. The strong dual topology instead requires uniform convergence on every subset of the Schwartz space that is a bounded set in a topological vector space; the Fourier maps below are continuous in both topologies.

Using $\hat{\phi }(\xi )=\int e^{-ix\cdot \xi }\phi (x)dx$, differentiation under the integral and integration by parts giveThe omitted coefficient has modulus one. By the Leibniz rule, every integrand is a finite sum of a polynomial times a derivative of $\phi$. Inserting the integrable weight $(1+|x|{)}^{-n-1}$ bounds its L1 norm by finitely many Schwartz space seminorms. In particular $q_m(\hat{\phi })\le C_m{q}_{m+n+1}(\phi )$. Thus the Fourier transform maps $\mathcal{S}$ continuously into itself.

For completeness, the Fourier inversion theorem follows here by Gaussian regularization. The inverse transform of $e^{-t|\xi {|}^2}$ is $g_t(x)=(4\pi t{)}^{-n/2}{e}^{-|x{|}^2/(4t)}$. The Fourier transform of a Gaussian and Fubini's theorem showAs $t\downarrow 0$, the right side tends to $\phi (x)$ by the approximate identity property, while the left side tends to the undamped inverse integral by dominated convergence theorem, since $\hat{\phi }\in L^1$. HenceThe inverse is $(2\pi {)}^{-n}$ times reflection composed with the continuous Fourier transform, and is therefore continuous on the Schwartz space. This proves a continuous linear isomorphism with continuous inverse.

Define the Fourier transform of a tempered distribution byThe continuous map on Schwartz space makes this a tempered distribution; the transpose of ${\mathcal{F}}^{-1}$ supplies its inverse. Pointwise convergence of pairings proves weak continuity. For the strong dual topology, the transform of a bounded set of Schwartz functions is bounded, so uniform convergence of pairings on bounded sets proves continuity of both Fourier maps there too.

Now let $R\in SO(n)$ be a rotation matrix in the special orthogonal group and write ${\rho }_{R}T=T\circ R$. A change of variables with unit Jacobian givesThe rotation equivariance of the Fourier transform on tempered distributions follows by duality:Therefore $\widehat{{\rho }_{R}T}={\rho }_R\hat{T}$. Applying this identity and the inverse Fourier transform gives the two directions:This is precisely preservation of radial tempered distributions. For $n>1$, $SO(n)$ acts transitively on spheres, so an invariant smooth function is an ordinary radial function.

The Schwartz space consists of the smooth functions $\phi$ for whichfor all multi-indices $\alpha ,\beta$. Its topology is generated by these seminorms; ${\phi }_j\to \phi$ means convergence in every seminorm. A tempered distribution is a continuous linear functional on this space. Convergence in ${\mathcal{S}}^{\prime }$ here means weak convergence: $⟨u_j,\phi ⟩\to ⟨u,\phi ⟩$ for every Schwartz function.

Use the unnormalized angular-frequency Fourier transformThe transform is a continuous automorphism of the Schwartz space, so this duality defines a tempered distribution. Put $D_j=-i{\partial }_j$, as required by the stated identities. Integration by parts and differentiation under the integral giveThus, keeping the transpose factor of $D=-i\partial$ explicit,andIterating gives the Fourier derivative identities for distributions

The logarithm defines a tempered distribution because it is locally integrable and grows more slowly than a polynomial. Its derivative is $u^{\prime }(x)=x/(1+x^2)$. The standard transform pair $\widehat{(1+x^2{)}^{-1}}=\pi e^{-|\lambda |}$, obtainable by the residue theorem, givesAs $\widehat{u^{\prime }}=i\lambda \hat{u}$, we have $\lambda \hat{u}=-\pi \mathrm{sgn}(\lambda )e^{-|\lambda |}$. DefineThis integral is absolutely convergent: the numerator is $O(|\lambda |)$ near zero, and the exponential controls the tails. It defines a tempered distribution satisfying the same multiplication equation. The kernel of multiplication by a coordinate therefore gives $\hat{u}=T+c{\delta }_0$.

To determine $c$, use the supplied Gaussian Fourier transform pair with ${\phi }_n(0)=1/(2\sqrt{\pi })$. ThenAlso $⟨T,{\phi }_n⟩\to 0$ by the dominated convergence theorem: the relevant integrand is bounded by a constant times $|\lambda |e^{-|\lambda |}$ for $n\ge 1$. ConsequentlyThe cutoff limit agrees with the absolutely convergent integral; this particular subtraction convention fixes the otherwise ambiguous delta term. The reusable identity is Fourier transform of the logarithm of one plus x squared.

The Paley–Wiener–Schwartz theorem in its closed-ball form says that a tempered distribution $u$ is supported in ${\overline{B}}_R(0)$ if and only if its Fourier transform is the real restriction of an entire function $F$ on ${\mathbb{C}}^n$ satisfying, for some $C>0$ and integer $N\ge 0$,The distribution is unique by Fourier inversion. More generally a compact convex support set $K$ replaces $R|\mathrm{Im}\zeta |$ by its support function $H_K(\mathrm{Im}\zeta )$.

For the forward implication, a compactly supported distribution has finite order of a distribution, say $m$, on a fixed neighborhood of its support. Defineusing a cutoff equal to one near the support. Differentiation with respect to each complex coordinate is allowed in this pairing and gives ${\partial }_{{\zeta }_j}F=⟨u,-i{x}_j{e}^{-ix\cdot \zeta }⟩$, so $F$ is entire.

To obtain the exact radius $R$, rather than an enlarged radius, choose a cutoff function ${\chi }_{\epsilon }$ equal to one near ${\overline{B}}_R$ and supported in $B_{R+\epsilon }$, with derivatives through order $m$ bounded by $C_{\gamma }{\epsilon }^{-|\gamma |}$. Set $\epsilon =(1+|\zeta |{)}^{-1}$. The finite-order bound and the Leibniz rule giveThis proves the required growth estimate.

For the converse, $F$ has at most polynomial growth on real frequencies, so define its inverse tempered distribution byLet a compactly supported test function lie in a half-space $x\cdot \omega \ge R+\eta$, with $|\omega |=1$ and $\eta >0$. By contour shifting,Here is the decay needed to justify the shift and then let $t$ grow. Repeated integration by parts, applying $1-{\Delta }_x$ to $e^{-tx\cdot \omega }\phi (x)$, gives for every integer $M$,Choose $2M>N+n$. For each fixed $t$, this decay makes the vertical sides of a large rectangle vanish in the one complex coordinate parallel to $\omega$; Cauchy integral theorem then supplies the contour identity. Combining the two bounds yieldsThus $u$ vanishes on such test functions. Every point outside ${\overline{B}}_R$ has a neighborhood of this form. A partition of unity therefore proves $\mathrm{supp}u\subseteq {\overline{B}}_R$, completing the converse. The same argument with separating half-spaces proves the compact-convex-set form. This is the contour-shift proof of the Paley–Wiener–Schwartz theorem.

For a regular function $u$, the change of variables $y=tx$ givesThe map $\phi \mapsto \phi (\cdot /t)$ is continuous on the Schwartz space, so duality extends the dilation of a distribution toIts Fourier transform obeys $\widehat{{\delta }_{t}u}(\zeta )=t^{-n}F(\zeta /t)$. If the original support is in the unit ball, the theorem bounds $F$ by $C(1+|\zeta |{)}^N{e}^{|\mathrm{Im}\zeta |}$. HenceThe converse theorem gives the support law for distributional dilation

For a locally integrable $u$, the change of variables formula $y=Ax$ givesThis motivatesBecause pullback by an invertible linear map acts continuously on the Schwartz space, the right side is a continuous linear functional of $\phi$. It therefore defines a tempered distribution and agrees with ordinary pullback when $u$ is a function.

Using multi-index notation, the Schwartz space isIts topology is generated by the displayed seminorms. The tempered distribution ${\mathcal{S}}^{\prime }({\mathbb{R}}^n)$ is its continuous dual, with weak convergence defined by convergence of every pairing with a Schwartz function.

For the conventiondifferentiation under the integral and integration by parts giveThese identities bound every Schwartz seminorm of $\hat{\phi }$ by finitely many seminorms of $\phi$, proving continuity. The Fourier inversion theorem gives the continuous inverseso the Fourier transform is a continuous isomorphism of $\mathcal{S}$. By duality,defines a continuous isomorphism of ${\mathcal{S}}^{\prime }$.

The Schwartz space $\mathcal{S}({\mathbb{R}}^n)$ consists of smooth functions for which every seminormis finite. Convergence means convergence in every such seminorm. A tempered distribution is a continuous linear functional on this Fréchet space; $u_j\to u$ in ${\mathcal{S}}^{\prime }$ means $u_j[\varphi ]\to u[\varphi ]$ for every test function $\varphi$.

The Riemann-Lebesgue lemma states that the Fourier transform of an $L^1$ function is continuous and tends to zero at infinity.

For a Schwartz function $f$, differentiation under the integral and integration by parts giveThe Riemann-Lebesgue lemma bounds the right side by an $L^1$ seminorm of $D^{\alpha }(x^{\beta }f)$. Every Schwartz seminorm of $\hat{f}$ is therefore bounded by finitely many Schwartz seminorms of $f$. Hence the Fourier transform maps $\mathcal{S}({\mathbb{R}}^n)$ continuously into itself.

Using multi-index notation, the Schwartz space isA sequence ${\phi }_m$ converges to $\phi$ in this Fréchet space when $p_{\alpha ,\beta }({\phi }_m-\phi )\to 0$ for every $\alpha ,\beta$. The space ${\mathcal{S}}^{\prime }({\mathbb{R}}^n)$ of tempered distributions is the continuous dual of $\mathcal{S}({\mathbb{R}}^n)$, and $u_m\to u$ there means weak convergence of distributions, namely $⟨u_m,\phi ⟩\to ⟨u,\phi ⟩$ for every $\phi \in \mathcal{S}$.

Continuity of a linear functional immediately implies that ${\phi }_m\to 0$ entails $⟨u,{\phi }_m⟩\to 0$. Conversely, enumerate the Schwartz seminorms as $p_1,p_2,\dots$. If $u$ were not continuous, then for each $m$ one could choose ${\phi }_m$ such thatEvery fixed seminorm tends to zero along this sequence, so ${\phi }_m\to 0$ in $\mathcal{S}$, contradicting the assumed sequential property. This is the sequential continuity criterion for a linear map on a metrizable topological vector space.

Since ${\delta }_{1/t}\phi (x)=\phi (x/t)$ maps the Schwartz space continuously to itself, the formuladefines a continuous linear functional on $\mathcal{S}$, hence a tempered distribution. For a locally integrable function $u$, the change of variables formula $y=tx$ givesso this dilation of a distribution agrees with ordinary function dilation.

For $s>\frac{1}{2}$, the Sobolev trace theorem states that the restriction map initially defined on smooth functions extends uniquely to a bounded linear operator

Take first $u$ in the Schwartz space. Up to the harmless constant determined by the Fourier transform convention,The Cauchy-Schwarz inequality, with weights $1+|{\xi }^{\prime }{|}^2+{\xi }_n^2$, givesAfter the substitution ${\xi }_n=(1+|{\xi }^{\prime }{|}^2{)}^{1/2}t$, the second factor iswhere finiteness is exactly the condition $s>1/2$. Multiplying by $(1+|{\xi }^{\prime }{|}^2{)}^{s-1/2}$ and integrating in ${\xi }^{\prime }$ yieldsDensity of the Schwartz space in the Sobolev space completes the unique bounded extension.

We prove the estimate first for $u$ in the Schwartz space. By the Fourier inversion theorem and the Cauchy-Schwarz inequality,The integral is finite because $n>n/2$.

For $0<\alpha \le 1$, the elementary boundgivesThe last integral is finite near zero for every $\alpha >0$ and at infinity exactly when $2\alpha <n$. Choose, for example, $\alpha =1/4$, which works for every $n\ge 1$. We obtainDensity of the Schwartz space in $H^n$ extends the estimate and supplies a unique Hölder-continuous representative. Thereforecontinuously. This is the Fourier proof of Hölder regularity from a Sobolev norm.

The Schwartz space on the real line isThese seminorms define its Fréchet space topology. The space of tempered distributions is its continuous dual space,

With the angular-frequency convention, the Fourier transform of a Schwartz function isIt maps $\mathcal{S}$ continuously to itself. The transform of $u\in {\mathcal{S}}^{\prime }$ is defined through the dual pairing:up to the fixed reflection and $2\pi$ factor if the inverse-transform convention is used for the test function.