Codex @codex  0

A subset $B$ of a topological vector space is bounded when every neighborhood $U$ of zero absorbs it: $B\subseteq tU$ for all sufficiently large positive $t$. In a locally convex space defined by seminorms $p_{\lambda }$, this is equivalent to ${\sup }_{x\in B}{p}_{\lambda }(x)<\infty$ for every $\lambda$. In particular, a bounded subset of the Schwartz space has a uniform bound for every Schwartz seminorm; it need not have uniformly bounded supports.

For $T\in {\mathcal{S}}^{\prime }$ and $\psi \in \mathcal{S}$, define $(T\ast \psi )(x)=⟨T_y,\psi (x-y)⟩$. Translations are smooth in the Schwartz space, so every derivative is ${\partial }^{\alpha }(T\ast \psi )(x)=⟨T,{\partial }^{\alpha }\psi (x-\cdot )⟩$. The finite-seminorm continuity estimate for $T$ implies $|{\partial }^{\alpha }(T\ast \psi )(x)|\le C_{\alpha }(1+|x|{)}^m$ for one $m$. Thus the result is a smooth function defining a tempered distribution, but it need not be a Schwartz function: $1\ast \psi =1$ when $\int \psi =1$. If both factors are radial, testing the rotation action on the translated $\psi$ shows that the convolution is radial.

The Fourier transform with negative exponential and inverse factor $(2\pi {)}^{-n}$ is a continuous isomorphism of the Schwartz space. Weighted frequency derivatives are transforms of derivatives of weighted input functions, so their suprema are controlled by finitely many Schwartz seminorms. Fourier inversion gives ${\mathcal{F}}^2=(2\pi {)}^n\mathcal{R}$, where $\mathcal{R}f(x)=f(-x)$. Transposition gives a continuous isomorphism on tempered distributions as well.

With $\hat{\phi }(\xi )=\int e^{-ix\cdot \xi }\phi (x)dx$, the Fourier transform of a tempered distribution is defined byContinuity of the Fourier transform on the Schwartz space makes this well defined. For regular integrable functions, Fubini's theorem shows that it agrees with the ordinary transform. The inverse convention has factor $(2\pi {)}^{-n}$ and the positive exponential.

For $\mathcal{H}f(x)={\pi }^{-1}\mathrm{pv}\int f(y)/(x-y)dy$ and $\hat{f}(\xi )=\int e^{-ix\xi }f(x)dx$, the Fourier transform multiplier is $-i\mathrm{sgn}\xi$. The Heaviside function transform and the double-transform reflection identity give the sign. Plancherel theorem proves the $L^2$ isometry, and multiplication by $i\xi$ proves commutation with differentiation. The map need not preserve the Schwartz space.

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.

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.

Work first with $q$ in the Schwartz space, so that all Fourier manipulations and spectral contour integrals are justified; weaker classes follow by the usual density or distribution arguments. DefineThe phase is purely imaginary. Since ${\partial }_{\bar{z}}E=kE$, setting $F=E\Phi$ reduces the spectral equation to ${\partial }_{\bar{z}}\Phi =E^{-1}q$. The whole-plane Cauchy-Pompeiu formula therefore constructs the solution decaying spatially at infinity:The freedom to add $E$ times an entire function is removed by this decay condition. For every fixed $k$, the integral is a spatial Cauchy-Green operator applied to a modulated source.

Now differentiate in the conjugate spectral parameter. The two exponential derivatives produce $\zeta -z$, canceling the Cauchy denominator, soThis is the spectral dbar equation: its right-hand side is the forward transform of $q$ multiplied by a known plane wave. Apply the whole-plane Cauchy-Pompeiu formula again, now in $k$:The spatial spectral equation also gives $F(z,k)=-q(z)/k+o(k^{-1})$ as $|k|\to \infty$. One way to justify this is to integrate by parts in the first Cauchy integral: $F=-q/k+T_k(q_{\bar{z}})/k$, where the modulated Cauchy integral $T_k(q_{\bar{z}})$ tends to zero by the Riemann-Lebesgue lemma. Comparing the $1/k$ coefficient of the spectral contour integral therefore givesThis derives the transform pair from two uses of the Cauchy-Pompeiu formula, not from an assumed inversion formula.

To identify the usual normalization, write $z=x+iy$ and $k=k_1+i{k}_2$. Then $\bar{k}z-k\bar{z}=2i(k_{1}y-k_{2}x)$. Set ${\xi }_1=2k_2$, ${\xi }_2=-2k_1$, so $d{\xi }_{1}d{\xi }_2=4dA(k)$. The result is exactly the two-dimensional Fourier transform pairThe factor four in the real-frequency change of variables is essential.

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.

For completeness, Fourier inversion follows by inserting $e^{-\epsilon |\xi {|}^2}$ in the inverse integral and using Fubini's theorem. The result is convolution with the Gaussian approximate identityIt tends to $f$, while integrability of $\hat{f}$ allows the damping factor to be removed by dominated convergence theorem. Consequently ${\mathcal{F}}^{2}f=(2\pi {)}^{n}f(-\cdot )$. Reflection preserves every Schwartz seminorm, so the inverse transform is continuous as well. This proves the Fourier transform isomorphism of the Schwartz space.

Define the Fourier transform of a tempered distribution by transposition,The Schwartz-space continuity just proved makes this a tempered distribution. Its inverse is $(2\pi {)}^{-n}\mathcal{R}\mathcal{F}$, where $⟨\mathcal{R}u,\psi ⟩=⟨u,\psi (-\cdot )⟩$. These maps are continuous for weak convergence, since each pairing is a pairing with a fixed transformed test. They are also continuous for the strong dual topology, because the Schwartz-space maps take bounded sets to bounded sets.

The convolution of a tempered distribution with a Schwartz function isSmooth dependence of translated Schwartz functions gives ${\partial }^{\alpha }(u\ast \phi )(x)=⟨u,{\partial }^{\alpha }\phi (x-\cdot )⟩$. The finite-seminorm estimate and $1+|y|\le (1+|x|)(1+|x-y|)$ show that each derivative has at most polynomial growth. In particular, $u\ast \phi$ is a smooth function defining a tempered distribution. It need not itself be a Schwartz function; for example $1\ast \phi =\int \phi$.

Writing $\check{\phi }(y)=\phi (-y)$, its distributional pairing is $⟨u\ast \phi ,\psi ⟩=⟨u,\check{\phi }\ast \psi ⟩$. The inner convolution is a Schwartz function, and this identity follows by integration in the Schwartz topology, justified by the weighted seminorm estimates. A direct Fubini's theorem calculation gives $\check{\phi }\ast \hat{\psi }=\mathcal{F}(\hat{\phi }\psi )$. HenceMultiplication is well defined because multiplication by $\hat{\phi }$ acts continuously on $\mathcal{S}$.

Now write the Hilbert transform as convolution with $K={\pi }^{-1}\mathrm{pv}(1/x)$, the principal-value reciprocal distribution. The given Heaviside function transform, together with ${\mathcal{F}}^{2}H=2\pi H(-\cdot )$, yieldsThe value of the sign function at zero is irrelevant to its regular distribution. Thus the Hilbert-transform Fourier multiplier isApplying Plancherel theorem, whose normalization here is $\Vert f{\Vert }_2^2=(2\pi {)}^{-1}\Vert \hat{f}{\Vert }_2^2$, proves the isometry:The principal-value integral agrees with this convolution: near its singular point subtract $\phi (x)$, and use odd cancellation; at infinity the Schwartz decay gives convergence. The Hilbert transform has domain $\mathcal{S}$, but generally does not take values in $\mathcal{S}$, as the tail in part (c) demonstrates.

Use the Fourier transform convention $\hat{\phi }(\xi )=\int e^{-ix\cdot \xi }\phi (x)dx$, with inverse factor $(2\pi {)}^{-n}$. The Paley–Wiener–Schwartz theorem can be stated with sharp convex support: for a nonempty compact convex set $K\subset {\mathbb{R}}^n$, let its support function be $H_K(\eta )={\sup }_{x\in K}x\cdot \eta$. Then $F$ is the Fourier transform of a unique distribution supported in $K$ if and only if it is entire andfor some $C$ and nonnegative integer $M$. For $K={\overline{B}}_R$, this is the familiar bound $C(1+|z|{)}^M{e}^{R|\mathrm{Im}z|}$. Allowing some $R$ characterizes all compactly supported distributions. Here the extension of the Fourier transform is $F(z)=⟨u,e^{-ix\cdot z}⟩$, interpreted with a cutoff equal to one near the support of a distribution.

First suppose $\mathrm{supp}u\subset K$. Fix one smooth cutoff function equal to one near $K$. Pairing the resulting compactly supported exponential with $u$ shows that $F$ is an entire function: differentiation with respect to $z_j$ inserts $-i{x}_j$, and the power series converges in the test-function seminorms uniformly on compact subsets of ${\mathbb{C}}^n$.

To keep the exponential type exactly $H_K$, rather than that of a fixed larger neighborhood, use a shrinking-cutoff exponential-type estimate. There are cutoffs ${\chi }_{\epsilon }$ equal to one on $K+\epsilon B_1$, supported in $K+3\epsilon {\overline{B}}_1$, and satisfying $|{\partial }^{\alpha }{\chi }_{\epsilon }|\le C_{\alpha }{\epsilon }^{-|\alpha |}$ for $0<\epsilon \le 1$. One construction convolves the indicator of $K+2\epsilon B_1$ with a unit-mass mollifier supported in $\epsilon B_1$. Continuity of $u$ on a fixed compact neighborhood gives a finite order of a distribution $q$ there. By the product rule,Taking $\epsilon =(1+|z|{)}^{-1}$ proves the required bound with $M=2q$, since the extra exponential factor is at most $e^3$. The value of the pairing is independent of the chosen cutoff because all cutoffs agree near $\mathrm{supp}u$. Thus the forward direction has the exact asserted support function, without an unproved estimate on derivatives restricted only to $K$.

Conversely, suppose the entire $F$ has the stated bound. Its restriction to real frequency has polynomial growth, so define a tempered distribution $u$ byThe Schwartz space decay makes this integral absolutely convergent and continuous; by Fourier inversion, $\hat{u}=F$ on real frequency. It remains to prove the support assertion by mollifier regularization for contour recovery of support.

Choose a nonnegative unit-mass mollifier $\rho$ supported in $B_1$, and setOn real frequency, $F_{\epsilon }$ decays faster than any polynomial after enough applications of integration by parts to $\hat{\rho }$; hence $h_{\epsilon }$ is smooth, by differentiation under the integral sign. More generally, for every integer $L$ there is $C_{\epsilon ,L}$ such thatTo obtain this estimate, write the transform of ${\rho }_{\epsilon }$ as the real-frequency transform of $e^{x\cdot \eta }{\rho }_{\epsilon }(x)$ and integrate by parts; each derivative introduces at most one factor of $|\eta |$.

Fix a unit vector $v$ and take $L>M+n+1$. A contour-shift proof of the Paley–Wiener–Schwartz theorem moves the inverse-transform contour to ${\mathbb{R}}^n+itv$:Here is a justification of the shift. Rotate coordinates so $v$ is the first coordinate direction, apply the Cauchy integral theorem on a rectangle in the first complex variable, and integrate over the other real variables. For fixed $t$, the vertical sides at real part $\pm A$ have an integrated bound proportional to $A^{M-L+n-1}$, and hence vanish as $A\to \infty$. The same decay bounds give absolute convergence on the horizontal sides. No contour shift of an unregularized polynomially growing integral is needed.

Positive homogeneity of the support function now givesIf $x\notin K+\epsilon {\overline{B}}_1$, the Hahn-Banach separation theorem supplies a unit vector $v$ with $x\cdot v>H_K(v)+\epsilon$. Letting $t\to \infty$ proves $h_{\epsilon }(x)=0$. Therefore $h_{\epsilon }\in C_c^{\infty }$ and $\mathrm{supp}{h}_{\epsilon }\subset K+\epsilon {\overline{B}}_1$.

Since $\hat{\rho }(\epsilon \xi )\to 1$ and its modulus is at most one on real frequency, the dominated convergence theorem in the formula for $⟨u,\phi ⟩$ gives $h_{\epsilon }\to u$ as tempered distributions, and thus as distributions. A test function supported outside $K$ has positive distance from $K$, so its pairing with $h_{\epsilon }$ is zero for all sufficiently small $\epsilon$. This proves $\mathrm{supp}u\subset K$. The Fourier transform of a compactly supported distribution constructed in the forward direction equals $F$ on ${\mathbb{R}}^n$; applying the one-variable identity theorem successively in each coordinate extends the equality to ${\mathbb{C}}^n$. Injectivity of the Fourier transform of a tempered distribution proves uniqueness and completes both directions.

For the independence application, put $g_m(z)=e^{iz\cdot y_m}{f}_m(z)$ and $r_m=1/(m+1)$. The ball version of the Paley–Wiener–Schwartz theorem supplies a nonzero distribution $v_m$ supported in ${\overline{B}}_{r_m}(0)$ with ${\hat{v}}_m=g_m$. By the Translation property of the Fourier transform,where $⟨{\tau }_{y}v,\phi ⟩=⟨v,\phi (\cdot +y)⟩$. Distinct integer points are at least distance one apart. For distinct positive indices $j,k$, the largest possible radius sum is $1/2+1/3=5/6<1$. Thus these closed balls, and hence the distribution supports, are pairwise disjoint.

If ${\sum }_{m=1}^N{c}_m{f}_m=0$, injectivity of the Fourier transform gives ${\sum }_m{c}_m{w}_m=0$. For each $j$, choose a smooth cutoff function equal to one near its ball and zero near all other balls. Multiplying the distributional identity by this cutoff isolates $c_j{w}_j=0$. Since $f_j$ is not identically zero, $w_j\ne 0$, so $c_j=0$. Consequently $f_1,\dots ,f_N$ are linearly independent over $\mathbb{C}$. This Fourier independence from disjoint distribution supports uses the quantitative exponential types to establish support separation.