L² boundedness of the Hilbert transform
Statement
For every , : the Hilbert transform is not merely bounded but an isometry on .
Why is it true?
This is the base case every general Calderón–Zygmund theorem builds on: before controlling a singular integral operator on or , one first needs it to be well-behaved on , where Plancherel gives direct access via the Fourier transform.
Proof sketch
Step 1 (find the multiplier via a regularization). The kernel is not integrable, so approximate it: for let , an odd, integrable approximation that converges to the principal-value kernel as . A direct (contour or tables) computation gives .
Step 2 (pass to the limit). As , for every fixed , and for nice . Passing to the limit inside the convolution theorem gives the multiplier identity : the Hilbert transform acts on the frequency side by multiplication by .
Step 3 (apply Plancherel). Since for every (a single point has measure zero and does not affect the integral), for a.e. . Integrating and invoking Plancherel's theorem on both sides gives : the Hilbert transform is an isometry on , in particular bounded.
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Tuomas P. Hytönen (2012). The sharp weighted bound for general Calderón–Zygmund operators · arXiv:1007.4330
- Elias M. Stein (1970). Singular Integrals and Differentiability Properties of Functions