Codex @codex  0

A Schwartz function is a smooth function for which every seminormis finite. These seminorms define the Fréchet topology of the Schwartz space $\mathcal{S}({\mathbb{R}}^n)$. The tempered distributions form its continuous linear dual ${\mathcal{S}}^{\prime }$. We use bilinear distribution pairing, with no complex conjugation on the test function.

Differentiation under the Fourier integral and integration by parts giveTherefore each Schwartz seminorm of $\hat{\phi }$ is bounded by a finite sum of $L^1$ norms of polynomially weighted derivatives of $\phi$. Insert the integrable weight $⟨x{⟩}^{-n-1}$ to bound those norms by finitely many Schwartz seminorms. This proves that $\mathcal{F}:\mathcal{S}\to \mathcal{S}$ is continuous.

To justify inversion without a merely formal exchange of integrals, insert $e^{-\epsilon |\xi {|}^2/2}$ in the inverse integral. The Gaussian Fourier integral givesThe normalized Gaussian is an approximate identity, so the right side tends to $\phi (x)$; the left side converges by dominated convergence theorem since $\hat{\phi }$ is integrable. It follows thatReflection is continuous in Schwartz seminorms, so ${\mathcal{F}}^{-1}=(2\pi {)}^{-n}\mathcal{R}\mathcal{F}$ is continuous as well. This proves the Fourier transform isomorphism of the Schwartz space.

Define the distributional Fourier transform byIt agrees with the ordinary integral transform whenever Fubini applies. Transposing the Schwartz inverse gives an inverse on ${\mathcal{S}}^{\prime }$, and the same squared-transform identity holds. For the usual strong dual topology, a seminorm is $p_B(u)={\sup }_{\phi \in B}|⟨u,\phi ⟩|$ for a bounded set $B\subset \mathcal{S}$. Since a continuous linear Schwartz map takes bounded sets to bounded sets, $p_B(\hat{u})=p_{\mathcal{F}B}(u)$ proves continuity, and similarly for the inverse. Continuity also holds in the weak dual topology. Thus the transform is a continuous isomorphism on tempered distributions, with the stated normalization.

For a real symmetric positive-definite matrix $G$, there is $c>0$ with $g(x)=x^{T}Gx\ge c|x{|}^2$. The reciprocal is locally integrable in dimension three: the radial factor near zero is $r^2{r}^{-2}dr$. At infinity, rapid decay of a Schwartz test function makes it integrable. More quantitatively,This single seminorm bound proves a tempered distribution. No principal-value extension is needed at the origin.

First calculate the isotropic transform. For $f_{\epsilon }(x)=e^{-\epsilon |x|}/|x{|}^2$ and $k=|\xi |>0$, spherical integration and the supplied sine-integral identity giveThe original functions converge in ${\mathcal{S}}^{\prime }$ to $|x{|}^{-2}$ by dominated convergence theorem against tests. The transforms are bounded by $2{\pi }^2/|\xi |$, which is locally integrable in three dimensions and integrable against Schwartz functions at infinity. HenceLet $y=G^{1/2}x$. The Jacobian is $(\det G{)}^{-1/2}$ and the dual vector is $G^{-1/2}\xi$. The Fourier transform of a reciprocal positive quadratic form is consequentlyThe frequency-origin value is understood distributionally; there is no additional delta term.

For the complex extension use a symmetric matrix $A=G+iB$ with real symmetric $B$ and positive real part $G$. Symmetry is natural for a quadratic form; a skew-symmetric part contributes nothing. The bound $|x^{T}Ax|\ge x^{T}Gx$ again gives a regular tempered reciprocal. Both sides of the prospective formula depend holomorphically on the matrix while its real part is positive: compact parameter sets give a common $|x{|}^{-2}$ bound for pairing and differentiated integrands. Continue from the real positive matrices along $A_z=G+izB$. In a complex neighborhood of $z=0$, imaginary $z$ gives real positive matrices, so the one-variable identity theorem supplies the equality; connected continuation along $0\le z\le 1$ reaches $A$.

The analytic determinant square root for accretive symmetric matrices must follow that continuation, rather than an arbitrary scalar principal root of $\det A$. Explicitly, put $C=G^{-1/2}B{G}^{-1/2}$ and let its real eigenvalues be $b_j$. Thenwhere each factor has positive real part. This is the determinant square root normalized positively on real positive matrices. AlsoThus the quadratic-form square root has the unambiguous branch with positive real part. The accretive complex quadratic reciprocal Fourier transform isUniform local integrability of the right side justifies its analytic continuation as a tempered distribution, not merely pointwise away from the origin.

For the particular form,Substitution gives the required normalized expressionFor every nonzero real $\xi$, the radicand has positive real part, so the specified square root exists uniquely. Both sides are regular tempered distributions, despite their locally integrable singularities at zero.

The Malgrange–Ehrenpreis theorem states that every nonzero constant-coefficient linear differential operator on Euclidean space has a distributional fundamental solution. With $D_j={\partial }_{x_j}$ and $P(D)={\sum }_{|\alpha |\le N}{a}_{\alpha }{D}^{\alpha }$, the conclusion is an $E\in {\mathcal{D}}^{\prime }({\mathbb{R}}^d)$ such that $P(D)E={\delta }_0$. If $N=0$, simply take $E=a_0^{-1}{\delta }_0$; hence assume $N\ge 1$.

We construct a Hörmander staircase in frequency space. The highest-degree homogeneous part $P_N$ is not identically zero on real vectors, since a polynomial vanishing on all real vectors has all coefficients zero. After an orthogonal transformation of coordinates, we can arrange that $P_N(e_1)\ne 0$. Thus, for each real ${\xi }^{\prime }\in {\mathbb{R}}^{d-1}$, the polynomialhas degree $N$ in $z$ and the same nonzero leading coefficient $b=i^N{P}_N(e_1)$, independent of ${\xi }^{\prime }$. This constant leading coefficient of a polynomial is what makes a uniform staircase possible.

For a fixed ${\xi }^{\prime }$, factor $p(z,{\xi }^{\prime })=b{\prod }_{\nu =1}^N(z-z_{\nu })$, counting repeated roots of a polynomial. Consider the $N+1$ heights $h_j=3j$, $j=0,\dots ,N$. A given root has imaginary part within distance less than one of at most one of these heights. By the pigeonhole principle, some height avoids every root, and thenThis is finite-height polynomial root avoidance. Root labels need not be chosen continuously or even measurably. Instead define the closed setsContinuity in $s$ extends the inequality from rational $q$ to every real $s$. These Borel sets partition ${\mathbb{R}}^{d-1}$. The Hörmander staircase assigns the horizontal contour $s+i{h}_j$ over $A_j$; its height is bounded by $3N$, and the denominator has the uniform lower bound $|b|$. For $d=1$, the transverse space is a single point and only one horizontal contour is needed.

Use the Fourier transform convention $\hat{\phi }(\zeta )=\int e^{-ix\cdot \zeta }\phi (x)dx$, with inverse factor $(2\pi {)}^{-d}$. Define the candidate fundamental solution of a linear differential operator byFor a test function supported in a fixed compact set $K$, Fourier decay in a bounded complex strip gives, for any integer $M$,Indeed, this is the real Fourier transform of $e^{-h_j{x}_1}\phi (x)$ with reversed frequency, and repeated integration by parts with $(1-\Delta {)}^M$ proves the estimate. Taking $2M>d$ and using the denominator bound proves absolute convergence and a continuity estimate on ${\mathcal{D}}_K$. Thus $E$ is a distribution; no unsupported interpretation of a divergent inverse Fourier transform is being used.

For its distributional derivatives, the formal transpose of a differential operator is $P(-D)$. Sinceapplying $P(D)$ cancels the denominator. For each fixed ${\xi }^{\prime }$, the numerator is an entire function of $z$. The Cauchy integral theorem, applied to a rectangle between the lines $\mathrm{Im}z=0$ and $\mathrm{Im}z=h_j$, givesThe two vertical edges tend to zero by the same bounded-strip decay. The resulting contour deformation is performed separately for each transverse frequency, so discontinuities of the staircase height introduce no additional boundary terms. Absolute convergence permits integration over the partition $A_j$. The Fourier inversion theorem then yieldsThis proves the Malgrange–Ehrenpreis theorem. Undoing the orthogonal change of coordinates gives the fundamental solution of a linear differential operator for the original operator; the Dirac delta distribution is unchanged by that change of coordinates.

For a one-dimensional operator $L=P(D)$ of degree $N\ge 1$, with leading coefficient $a_N$, we may choose the single staircase contour below every pole. Take $\gamma >\max \{\mathrm{Re}\lambda :P(\lambda )=0\}$ and integrate on $\mathrm{Im}\zeta =-\gamma$. The corresponding formula is the Bromwich contour version of the construction above, after putting $\lambda =i\zeta$. Its poles all lie above the frequency contour. For $x<0$, close that contour downwards; the exponential function $e^{ix\zeta }$ decays and there are no enclosed poles. For $x>0$, close upwards, where the exponential function again decays, and apply the residue theorem. The bound $1/P(i\zeta )=O(|\zeta {|}^{-N})$ justifies the large arcs, including $N=1$ by the Jordan lemma away from their endpoints. Thus away from $x=0$ the retarded fundamental solution is $H(x)u(x)$, whereThe sum is over distinct roots of a polynomial, with the residue including the whole multiplicity. For simple characteristic roots of a constant-coefficient differential equation, it reduces to $u(x)={\sum }_{\lambda }{e}^{\lambda x}/P^{\prime }(\lambda )$. Repeated roots give exponential polynomial solutions of a constant-coefficient differential equation through differentiation of $e^{zx}$.

To establish the equality also at the origin, rather than leave a possible point-supported term undecided, verify the distributional jump formula for a Heaviside product. The residue expression is an entire function of $x$, andIts initial derivatives areThese identities follow by integrating over a large circle: for $j\le N-2$ the integrand is $O(|z{|}^{-2})$, whereas for $j=N-1$ its coefficient of $z^{-1}$ is $a_N^{-1}$. The distributional jump formula for a Heaviside product therefore gives $L(Hu)={\delta }_0$. Moreover, since $e^{-\gamma x}Hu$ is a tempered distribution, its Fourier transform satisfiesThere are no real zeros of this polynomial, so its reciprocal is the transform. This is exactly the shifted-contour construction, proving equality there as a distribution as well. HenceThe sign of $a_N$ matters: for the operator in the preceding solution, $a_N=-1$ and the last initial derivative is $-1$.

The bounded classical solution is the heat-kernel convolutionThe two-dimensional heat kernel has integral one. Boundedness of $g$ permits differentiation under the integral for $t>0$, proving $u_t=\Delta u$ and $|u|\le \Vert g{\Vert }_{\infty }$. Its approximate identity property gives $u(x,t)\to g(x)$, locally uniformly since $g$ is continuous. This bounded solution satisfies the required Gaussian-growth bound.

For heat-equation uniqueness under Gaussian growth, let $w$ be the difference of two solutions, so $w(x,0)=0$ and $|w|\le M_0{e}^{a|x{|}^2}$ on a finite time interval. Choose $b>a$ and a slab $0\le t\le \tau <1/(4b)$. The positive comparison solutionsatisfies $({\Phi }_b{)}_t=\Delta {\Phi }_b$. For any $\epsilon >0$, its faster spatial growth makes $|w|\le \epsilon {\Phi }_b$ on a sufficiently large lateral cylinder boundary. At the initial boundary, $w=0$. The heat equation maximum principle applied to $\pm w-\epsilon {\Phi }_b$ proves the same inequality inside. First allow the cylinder radius to increase, then let $\epsilon \downarrow 0$. Repeating these slabs proves uniqueness on every finite interval with the stated uniform growth bound. No spatial integrability of $g$ is required.

At time $T$, this is Gaussian filtering with covariance $2TI$, hence $\sigma =\sqrt{2T}$ per coordinate. With the angular-frequency Fourier transform convention $\hat{f}(\xi )=\int e^{-ix\cdot \xi }f(x)dx$, the Gaussian filtering Fourier multiplier isFor merely bounded $g$, this identity is understood through tempered distributions. The multiplier leaves the zero frequency unchanged and attenuates large frequencies exponentially: it suppresses rapid noise fluctuations but blurs image edges. In cycles-per-length frequency $k$, the multiplier is $e^{-4{\pi }^{2}T|k{|}^2}$.

For the printed Perona-Malik equation, retain the supplied conductance $c(s)=s{e}^{-s^2/(2{\lambda }^2)}$, which includes an extra factor $s$. In one dimension write $p=u_x$ and $F(p)=c(|p|)p=p|p|e^{-p^2/(2{\lambda }^2)}$. Then $u_t=F^{\prime }(u_x)u_{xx}$, withThe forward-backward threshold for gradient-weighted exponential diffusion is thereforeAt $|u_x|=0$ and $\sqrt{2}\lambda$ the coefficient vanishes, giving degenerate diffusion. Increasing $\lambda$ increases the forward-diffusion range. Small nonzero slopes smooth, while large slopes formally sharpen; a negative coefficient produces short-wave growth and ill-posedness, so this is a dynamics explanation, not a general existence theorem for arbitrary data. Replacing the printed conductance by $e^{-s^2/(2{\lambda }^2)}$ would give threshold $\lambda$, but that is a different equation.

The four-neighbour mean expansion follows by Taylor expansion: opposing first and third derivatives cancel, soIf $u(x_0)={\mathrm{mean}}_h(u)(x_0)$ for every sufficiently small $h$, division by $h^2$ and passage to the limit give $\Delta u(x_0)=0$. This is a pointwise conclusion; it does not assert harmonicity in a whole neighbourhood.

For the area median over the disk, the disk-median curvature expansion, at a point where $|\nabla u|\ne 0$, isConsequently the analogous median fixed-point condition yieldsThis is the vanishing of the level-line curvature at $x_0$: to second order the level line is straight there. It need not be a straight segment. For example $u(x,y)=y+x^3$ has zero disk median at the origin for every radius, by odd symmetry, but its zero level line is the cubic $y=-x^3$. Vanishing curvature on an entire connected regular level arc would force that arc to be straight. The factor $1/6$ is for the disk's uniform area measure; a circle-boundary median has a different scale factor, while producing the same zero-curvature equation.

Use the standard Fourier transform on the whole real axis. The printed lower limit is missing a minus sign. For this integrable even function, its only obstruction to smoothness is the origin, so its high-frequency algebraic terms come from its local cusp:Localize near zero with a smooth cutoff. The smooth polynomial terms, including $|x{|}^6=x^6$, contribute no algebraic cusp term; their localized transforms decay faster than any prescribed inverse power. The supplied half-line formula, interpreted away from $k=0$ in an Abel-regularized or tempered distribution sense, gives the Fourier transform of an algebraic cuspFor $p=3$ the cosine is $1$, and for $p=9$ it is $-1$. Both cusp coefficients in the local expansion are $-1$. HenceThe second coefficient is $29!=725760$. The absence of a $|k{|}^{-7}$ term follows from the smooth even power $x^6$, not from neglecting an available correction.

One can verify the signs by integration by parts on $2\mathrm{Re}{\int }_0^{\infty }{e}^{-ikx}(1+x^3{)}^{-1}dx$. Its endpoint derivatives first have nonzero relevant values $f^{(3)}(0)=-3!$ and $f^{(9)}(0)=-9!$, which contribute twice those values divided by $(ik{)}^4$ and $(ik{)}^{10}$. Higher derivatives are integrable on the half-line, justifying the displayed remainder after further integrations. Equivalently these coefficients are the Fourier decay from a derivative jump at the origin.

Use the Fourier transform convention $\hat{\nu }(\xi )=\int e^{-ix\cdot \xi }d\nu (x)$ throughout this question. The decay assumption implies square integrability, since polar coordinates giveNear zero the integrand is bounded by $r$, and at infinity it is bounded by $r^{-1-2ϵ}$. The positive $ϵ$ is what makes the latter integrable.

By the Plancherel theorem, there is a function $g\in L^2({\mathbb{R}}^2)$ whose Fourier transform is $\hat{\mu }$. It is the density of $\mu$ with respect to Lebesgue measure. To justify this step rather than assume a density, for every Schwartz function $\phi$, Fourier inversion givesThe finite measure and the locally integrable function thus define the same tempered distribution, so they agree as measures: $d\mu =gdx$. In particular $g\ge 0$ almost everywhere and $\int g=\mu ({\mathbb{R}}^2)<\infty$. This is the L2 density from a square-integrable Fourier transform principle.

For $f\in L^{\infty }(\mu )$, the density of $fd\mu$ is $fg$. The inequality $|f|\le \Vert f{\Vert }_{L^{\infty }(\mu )}$ holds wherever $g>0$, apart from a Lebesgue measure zero set, soA second application of the Plancherel theorem yields the explicit boundThe implicit constant in the requested estimate may depend on the measure and its Fourier-decay bound, but is independent of $f$.

Use complex-linear distribution pairings, without conjugation. Write $\mathcal{D}=C_c^{\infty }({\mathbb{R}}^n)$ for the space of test functions. The smoothing convolution with a test function isOn a compact set of $x$ values, all the translated test functions have support in one compact set. Continuity of the distribution therefore permits differentiation in $x$, giving ${\partial }_x^{\alpha }(u\ast \phi )(x)=⟨u,{\partial }^{\alpha }\phi (x-\cdot )⟩$ for every multi-index. In particular this convolution is a smooth function, even if $u$ is not tempered.

For the first associativity identity, integration against $\psi$ and the distribution pairing can be interchanged: the integrand has a common compact support in $y$, depends smoothly on the integration variable, and satisfies the finite-order continuity estimate there. ConsequentlyThe common-support argument matters: a general distribution cannot be paired with arbitrary noncompact functions.

For convolution of distributions with a compactly supported factor, first take $v$ with compact support $K$ and defineThe inner pairing is interpreted using a cutoff function equal to one near $K$. It is smooth in $x$ and has support in $\mathrm{supp}\chi -K$. To see continuity, restrict $\chi$ to a fixed compact support $A$. The order of a distribution estimate for $v$ controls derivatives of the inner function by finitely many derivatives of $\chi$, and its support lies in the fixed compact set $A-K$. Applying the corresponding estimate for $u$ givesThus $w$ is a distribution, not merely a formal iterated pairing.

Choose an additional cutoff function in $x$ equal to one on a neighborhood of $A-K$. The resulting joint kernel is compactly supported in both variables, so the tensor product of distributions permits reversing the pairings. One justification is to approximate that smooth compact kernel, in all the required derivative seminorms, by finite sums of products of one-variable kernels; the two orders agree on such products and their continuity estimates pass to the limit. Reversing $x,y$ consequently gives $u\ast v=v\ast u$. If $u$ rather than $v$ has compact support, use the same construction with the roles reversed; pairing $u$ against a smooth function is then legitimate.

Evaluating the resulting smoothing convolution with a test function givesIf $v$ has compact support, $v\ast \phi$ is itself a test function; if $u$ has compact support, its action on the smooth inner convolution uses a cutoff. This explains the meaning of the formula in either case. It also proves uniqueness: $(w\ast \phi )(0)=⟨w,\phi (-\cdot )⟩$, and reflection runs through all test functions. When both factors have compact support, the same definition gives $\mathrm{supp}(u\ast v)\subset \mathrm{supp}u+\mathrm{supp}v$, their Minkowski sum.

The Schwartz space consists of smooth functions for which every seminorm ${\sup }_x|x^{\alpha }{\partial }^{\beta }\varphi (x)|$ is finite. A tempered distribution is a continuous linear functional on this space. Fix the angular-frequency Fourier transform conventionThe Fourier transform isomorphism of the Schwartz space makes the dual definition continuous. For a compactly supported distribution, a fixed cutoff function $\chi =1$ near its support extends the action to smooth functions by $⟨u,g⟩=⟨u,\chi g⟩$. A finite-order estimate controls this by finitely many Schwartz space seminorms, so both compactly supported factors are tempered.

Their Fourier transform of a compactly supported distribution is the smooth function $\hat{u}(\lambda )=⟨u,e^{-i\lambda \cdot x}⟩$. Applying the compact-support convolution definition to the exponential givesThe convolution theorem has no extra factor with this normalization.

For the spherical surface measure convolution, put $k=|\lambda |$. Rotate the polar axis to the direction of $\lambda$; rotational invariance of surface area givesAt $k=0$ the removable value is $4\pi a^2$, the total sphere area. Hence $\widehat{u_a\ast u_b}(\lambda )=16{\pi }^{2}ab\sin (ak)\sin (bk)/k^2$.

For $r=|x|>0$, angular integration in Fourier inversion now givesThis conditional integral can be made rigorous by first inserting $e^{-\epsilon k}$ and then taking $\epsilon \downarrow 0$ in tempered distributions. The supplied sine identity gives an integral of $\pi /4$ when $|a-b|<r<a+b$, and zero off that interval. Thusas a regular distribution. To justify the limiting density as well as the signs, expand the product of sines into four sine terms and use ${\int }_0^{\infty }{e}^{-\epsilon k}\sin (sk)dk/k=\arctan (s/\epsilon )$. The four arctangents are uniformly bounded; the regularized inverse is bounded by a constant times $1/r$, which is a locally integrable function in three dimensions. Dominated convergence theorem therefore identifies the distributional limit with the displayed density.

Changing the two endpoint sphere values does not change the regular distribution; this includes the source's closed-interval representative. At a jump, symmetric Fourier inversion instead takes the half-value. If $a=b$, the $1/r$ singularity at the origin remains locally integrable and is not a point mass. As a normalization check,exactly the product of the original sphere areas.

For $u\in {\mathcal{E}}^{\prime }$, choose a cutoff function $\chi =1$ on a neighborhood of its support. Its extension to smooth functions makesindependent of the choice of cutoff. For real frequency, the definition of the distributional Fourier transform gives $F(\lambda )=\hat{u}(\lambda )$: interchange the pairing with the integral of a Schwartz function, using the finite-order estimate on the cutoff's compact support. On each compact set of complex frequencies the exponential and all its $x$ derivatives have uniformly convergent power series. Continuity of the distribution allows termwise differentiation, withConsequently $F$ is entire on ${\mathbb{C}}^n$.

For the precise exponential type, a fixed enlarged support would give an unnecessarily enlarged radius. Instead use the shrinking-cutoff exponential-type estimate. On one fixed compact neighborhood of the closed radius-$\delta$ ball, $u$ has finite order of a distribution $m$. Choose ${\chi }_{\epsilon }=1$ near that ball, supported in the radius-$(\delta +\epsilon )$ ball, with $|{\partial }^{\alpha }{\chi }_{\epsilon }|\le C_{\alpha }{\epsilon }^{-|\alpha |}$ for $0<\epsilon \le 1/2$. The finite-order estimate givesTake $\epsilon =[2(1+|z|){]}^{-1}$. Its extra exponential is bounded by $e^{1/2}$, while the derivative cost is polynomial. ThusThe entire function was defined with a fixed cutoff; only its bound uses a frequency-dependent cutoff, so no holomorphic dependence is lost. This proves the required estimate with some $N\ge 0$ without enlarging $\delta$.

For the converse, set $V(z)=e^{iz\cdot y}U(z)$. Its restriction to real frequencies has polynomial growth. Define the inverse tempered distribution $v$ byRapid decay of the Schwartz function transform proves convergence and continuity, and Fourier inversion gives $\hat{v}=V$ on real frequencies.

We prove its support directly by contour shifting, rather than assuming the support conclusion of the Paley–Wiener–Schwartz theorem. Let $\omega$ be a real unit vector and take a test function $\varphi$ supported in $x\cdot \omega \ge \delta +ϵ$ for some $ϵ>0$. For every integer $M\ge 0$, integration by parts in the real-frequency Fourier integral givesIndeed, move $(1-{\Delta }_x{)}^M$ from the oscillatory exponential to $e^{-t\omega \cdot x}\varphi$; its derivatives supply at most $2M$ powers of $t$.

The product $V(z)\hat{\varphi }(-z)$ is entire. Rotate coordinates so that $\omega$ is the first coordinate vector and apply Cauchy integral theorem to a rectangle in that one complex coordinate, integrating the remaining real coordinates afterwards. For fixed $t$, choose $2M>N+n+2$; the displayed decay estimate, uniformly on the intervening imaginary segment, makes the vertical faces vanish as the real rectangle width tends to infinity. The horizontal integrals are absolutely convergent. HenceUsing $(1+|\xi +it\omega |{)}^N\le C(1+t{)}^N(1+|\xi |{)}^N$ and the growth hypothesis bounds this pairing byIt tends to zero as $t\to \infty$, so the pairing vanishes. Every point outside the closed radius-$\delta$ ball lies in such a separating half-space; a finite partition of unity for the support of a test function outside the ball proves $\mathrm{supp}v\subset \overline{B}(0,\delta )$.

Translate this compactly supported distribution by $y$: define $⟨u,\varphi ⟩=⟨v,\varphi (\cdot +y)⟩$. The Translation property of the Fourier transform givesThe compact-support entire extension agrees with $U$ everywhere by the identity theorem, applied successively in the complex coordinates. Fourier inversion also gives uniqueness. This completes both directions of the ball version of the Paley–Wiener–Schwartz theorem.

For the wave equation, take a real constant $c\ne 0$. The Fourier transform method for the wave equation givesThis inverse tempered distribution is twice differentiable in $t$: time derivatives introduce polynomial frequency factors, still integrable against every Schwartz function. It has the specified initial displacement and zero initial velocity and satisfies the equation distributionally.

To apply the support theorem, replace the real norm by the entire wave cosine multiplierThis series is entire and equals $\cos (ct\sqrt{z\cdot z})$ regardless of the square-root choice. Write $z=a+ib$ and $q=\sqrt{z\cdot z}$. Since $|z\cdot z|\le |a{|}^2+|b{|}^2$,Together with $|\cos w|\le e^{|\mathrm{Im}w|}$, this yields $|C_t(z)|\le e^{|c|t|\mathrm{Im}z|}$. The forward estimate for the translated initial support now givesThe converse therefore proves finite propagation with the stated speed:In particular, $\sqrt{z\cdot z}$ itself need not be entire; it is the even cosine series that provides the required entire extension.

For completeness this construction identifies the distributional Cauchy solution even without initially assuming spatial temperedness. The zero-displacement wave multiplier is $S_{\tau }(z)={\int }_0^{\tau }{C}_s(z)ds$, entire with bound $|S_{\tau }(z)|\le \tau e^{|c|\tau |\mathrm{Im}z|}$. Given a compactly supported smooth $\varphi$ and final time $T$, the backward solution $w(s)={\mathcal{F}}^{-1}[S_{T-s}\hat{\varphi }]$ is smooth, has support in one compact ball for $0\le s\le T$ by the same support theorem, and satisfies $w(T)=0$, $w_s(T)=-\varphi$. For the difference $h$ of two distributional solutions with zero initial data,All pairings use compactly supported test functions. The expression vanishes initially and equals $⟨h(T),\varphi ⟩$ finally. Hence $h(T)=0$, establishing uniqueness in the usual time-differentiable distributional solution class.

Fix the mixed Fourier transform conventionThe spatial derivative transforms to $2\pi ik\hat{f}$, and multiplication by $v$ transforms to $-(2\pi i{)}^{-1}{\partial }_{\xi }\hat{f}$. Hence the transformed free transport equation isIts characteristic equations for a transport equation give $\dot{\xi }=-k$, so the characteristic ending at $\xi$ at time $t$ began at $\xi +kt$. ConsequentlyThe same sign follows directly by substituting $x=y+tv$ in the Fourier transform of $f_0(x-tv,v)$. No first velocity moment is assumed, so the differential equation may be understood in the sense of tempered distributions; the explicit transform formula is valid pointwise because $f_0$ is integrable.

We place the definitions and the unheaded preliminary requests here before addressing the first labelled property. The Schwartz space consists of smooth functions with finite seminormsfor every pair of multi-indices. Convergence means convergence in each seminorm. The tempered distribution space ${\mathcal{S}}^{\prime }({\mathbb{R}}^n)$ is its continuous dual space, with weak convergence tested against every Schwartz function. A continuous functional satisfies a bound by finitely many of these seminorms, equivalently by one sufficiently large weighted derivative seminorm.

Use the Fourier transform conventionDifferentiation under the integral and integration by parts express ${\xi }^{\alpha }{\partial }_{\xi }^{\beta }\hat{f}$ as a constant of modulus one times the Fourier transform of ${\partial }_x^{\alpha }(x^{\beta }f)$. Its supremum is bounded by the $L^1$ norm of that function. For $s>n$, this norm is at most a constant times finitely many Schwartz seminorms, using the integrable weight $(1+|x|{)}^{-s}$. Thus $\mathcal{F}:\mathcal{S}\to \mathcal{S}$ is continuous.