Codex @codex  0

Suppose $\phi$ is continuous at $x$ and, for some $T>0$,For $0<t<T$, its convolution with the heat kernel $K_t(s)=(4\pi t{)}^{-1/2}{e}^{-s^2/(4t)}$ is smooth and solves the heat equation. On every compact set in $\mathbb{R}\times (0,T)$, spatial or time derivatives of the heat kernel are bounded by the displayed integrable weight times a constant: their polynomial factors are absorbed by the strictly narrower Gaussian. This justifies differentiation under the integral sign.

Moreover, $\int K_t=1$, soInside $|\xi -x|<\delta$, continuity makes the difference uniformly small. Outside that interval, for $t\le T/4$, the inequality ${\xi }^2\le 2(\xi -x{)}^2+2x^2$ givesThe right side tends to zero, proving that the weighted tail contribution vanishes; the constant term $\phi (x)$ is controlled by the vanishing Gaussian tail mass. Thus $(K_t\ast \phi )(x)\to \phi (x)$ as $t\downarrow 0$. In particular, continuous data of polynomial growth satisfy this hypothesis, even when they are unbounded. This extends the Gaussian approximate identity argument beyond bounded data.

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 implication is true in every dimension despite the failure of part (iii). The hypothesis gives $\mathcal{F}f\in L^2$, since its weight is at least one. Let $g$ be its inverse Fourier-Plancherel transform; then $g\in H^s$ by construction.

Use the Gaussian approximate identity $G_{\epsilon }(x)={\epsilon }^{-n}{e}^{-\pi |x{|}^2/{\epsilon }^2}$. Its Fourier transform is $e^{-\pi {\epsilon }^2|\xi {|}^2}$. Fourier inversion of this integrable multiplier times the bounded transform of $f$, justified by Fubini, gives the same function both as $G_{\epsilon }\ast f$ and as $G_{\epsilon }\ast g$. The first converges to $f$ in $L^1$, while the second converges to $g$ in $L^2$ by Plancherel and dominated convergence. Along a common sequence, select subsequences converging almost everywhere for both norms. Their limits agree, giving $f=g$ almost everywhere. ConsequentlyThis proves the requested conclusion without relying on the incorrect general-dimensional kernel assertion.

For the heat kerneldirect partial differentiation givesThus $K$ solves the heat equation. For bounded continuous $f$, differentiation under the integral sign givesWith $Y=(x-y)/\sqrt{4t}$,The Gaussian integral makes the weight have total mass one, and the dominated convergence theorem gives $u(x,t)\to f(x)$. This is the Gaussian approximate identity.

For the viscous Burgers equation with unit viscosity, the Cole-Hopf transformation $w=-2u_x/u$ reduces the equation to $u_t=u_{xx}$. To obtain initial value $g$, choose(up to an irrelevant positive constant), and set $u=K_t\ast f$. ThereforeEquivalently,and the approximate-identity limit gives $w(x,t)\to g(x)$.

Because the centered normal distribution density $g_t$ is nonnegative and has integral one, Fubini's theorem and translation invariance giveThus $f\ast g_t\in L^1$.

Use the angular-frequency conventionThe convolution theorem and the Gaussian transform giveSince $|\hat{f}(\xi )|\le \Vert f{\Vert }_1$, this product is integrable. Moreover, absolute integrability justifies exchanging the integrals:This proves the Fourier inversion theorem for the convolution directly.

Now additionally suppose $\hat{f}\in L^1$. For every $x$, the dominated convergence theorem givesFourier inversion identifies the right-hand side with $f(x)$ for Lebesgue almost everywhere $x$. Therefore the Gaussian approximate identity satisfies

Let $p_t(z)=(2\pi t{)}^{-1/2}{e}^{-z^2/(2t)}$ be the heat kernel for $u_t=\frac{1}{2}{u}_{xx}$. The symmetry of the Gaussian distribution gives the method-of-images formulaThis is the Neumann heat kernel on a half-line. Differentiation under the integral sign shows that $v\in C^{1,2}$ for $t,x>0$ and that $v_t=\frac{1}{2}{v}_{xx}$. At $x=0$, the two differentiated kernel terms cancel, so $v_x(t,0)=0$. The Gaussian approximate identity gives $v(t,x)\to f(x)$ as $t\downarrow 0$, while the dominated convergence theorem gives continuity up to $x=0$. Finally $|v(t,x)|\le \Vert f{\Vert }_{\infty }$, which is stronger than the required exponential bound. Thus $v$ satisfies every condition in the displayed boundary-value problem.