M. Riesz's theorem
Statement
The Hilbert transform is bounded on for every : there is a constant so that for every . (Marcel Riesz, 1927.)
Why is it true?
The case is essentially free: the multiplier has modulus exactly almost everywhere, so is literally an isometry on by Plancherel — a phase rotation of every frequency changes nothing about total energy. But extending boundedness to other is a genuinely different and much harder problem: there is no analogue of Parseval's identity outside , so no algebraic shortcut is available, and the proof has to fall back on real-variable estimates about the size and geometry of the set where is large.
Proof sketch
Step 1 (, directly). By Plancherel and the multiplier formula, , using for (a single point does not affect the integral). So is an isometry on , in particular bounded with .
Step 2 (general , forward reference). The full range of exponents does not follow from Step 1 by any soft argument. It is a genuine theorem of real-variable Calderón–Zygmund theory: the Hilbert transform's kernel satisfies exactly the smoothness and cancellation conditions of a Calderón–Zygmund kernel, so the general singular-integral machinery developed in the next section applies to it. That machinery produces a weak-type bound from the bound proved in Step 1, and Marcinkiewicz interpolation between the weak- bound and the bound (then a duality argument for ) completes the proof for every — this half of the argument is carried out in full in the Calderón–Zygmund section immediately below, rather than repeated here.
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Terence Tao (2003). Recent progress on the restriction conjecture · arXiv:math/0311181
- Elias M. Stein, Guido Weiss (1971). Introduction to Fourier Analysis on Euclidean Spaces
- Loukas Grafakos (2014). Classical Fourier Analysis · DOI:10.1007/978-1-4939-1194-3