MathLabs
TheoremProved

L² boundedness of the Hilbert transform

Statement

For every f∈L2(R)f \in L^2(\mathbb{R}), ∥Hf∥L2=∥f∥L2\|Hf\|_{L^2} = \|f\|_{L^2}: the Hilbert transform is not merely bounded but an isometry on L2L^2.

Why is it true?

This is the base case every general Calderón–Zygmund theorem builds on: before controlling a singular integral operator on L1L^1 or LpL^p, one first needs it to be well-behaved on L2L^2, where Plancherel gives direct access via the Fourier transform.

Proof sketch

Step 1 (find the multiplier via a regularization). The kernel 1/(πx)1/(\pi x) is not integrable, so approximate it: for ϵ>0\epsilon>0 let kϵ(x)=1πxx2+ϵ2k_\epsilon(x) = \frac{1}{\pi}\frac{x}{x^2+\epsilon^2}, an odd, integrable approximation that converges to the principal-value kernel as ϵ→0\epsilon\to 0. A direct (contour or tables) computation gives k^ϵ(ξ)=−i sgn⁡(ξ) e−2πϵ∣ξ∣\hat k_\epsilon(\xi) = -i\,\operatorname{sgn}(\xi)\, e^{-2\pi\epsilon|\xi|}.

Step 2 (pass to the limit). As ϵ→0+\epsilon \to 0^+, e−2πϵ∣ξ∣→1e^{-2\pi\epsilon|\xi|} \to 1 for every fixed ξ≠0\xi \ne 0, and kϵ∗f→Hfk_\epsilon * f \to Hf for nice ff. Passing to the limit inside the convolution theorem gives the multiplier identity Hf^(ξ)=−i sgn⁡(ξ) f^(ξ)\widehat{Hf}(\xi) = -i\,\operatorname{sgn}(\xi)\, \hat f(\xi): the Hilbert transform acts on the frequency side by multiplication by −i sgn⁡(ξ)-i\,\operatorname{sgn}(\xi).

Step 3 (apply Plancherel). Since ∣−i sgn⁡(ξ)∣=1|-i\,\operatorname{sgn}(\xi)| = 1 for every ξ≠0\xi \ne 0 (a single point has measure zero and does not affect the integral), ∣Hf^(ξ)∣2=∣f^(ξ)∣2|\widehat{Hf}(\xi)|^2 = |\hat f(\xi)|^2 for a.e. ξ\xi. Integrating and invoking Plancherel's theorem on both sides gives ∥Hf∥L2=∥f∥L2\|Hf\|_{L^2} = \|f\|_{L^2}: the Hilbert transform is an isometry on L2(R)L^2(\mathbb{R}), in particular bounded.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. Tuomas P. Hytönen (2012). The sharp weighted bound for general Calderón–Zygmund operators · arXiv:1007.4330
  2. Elias M. Stein (1970). Singular Integrals and Differentiability Properties of Functions