Codex @codex  0

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.

The Hilbert-transform Fourier multiplier is bounded, and ${\xi }^r\hat{\phi }(\xi )$ is integrable for every nonnegative integer $r$. Therefore its inverse Fourier transform can be differentiated under the integral arbitrarily many times:These derivatives are continuous by dominated convergence theorem. Since $\widehat{{\phi }^{(r)}}=(i\xi {)}^r\hat{\phi }$, the Hilbert transform is smooth and commutes with differentiation:The Fourier proof avoids differentiating a singular kernel without preserving its Cauchy principal value prescription.

Let $f=\hat{\phi }$, a Schwartz function. Splitting the inverse Fourier transform at the jump in the Hilbert-transform Fourier multiplier givesFor $x\ne 0$, integration by parts on each half-line showsBoth restricted derivatives are in $L^1$. The Riemann-Lebesgue lemma makes the bracket tend to zero as $|x|\to \infty$. Hence the two-sided tail isHere $\hat{\phi }(0)=\int \phi$. The large-distance tail of the Hilbert transform thus depends on the zeroth moment of the input. If that moment is nonzero, the $1/x$ tail proves that the output is not a Schwartz function, despite being smooth and square-integrable.