MathLabs
TheoremProved

M. Riesz's theorem

Statement

The Hilbert transform HH is bounded on Lp(R)L^p(\mathbb{R}) for every 1<p<∞1<p<\infty: there is a constant CpC_p so that ∥Hf∥Lp≤Cp∥f∥Lp\|Hf\|_{L^p} \le C_p\|f\|_{L^p} for every ff. (Marcel Riesz, 1927.)

Why is it true?

The L2L^2 case is essentially free: the multiplier −i sgn(ξ)-i\,\mathrm{sgn}(\xi) has modulus exactly 11 almost everywhere, so HH is literally an isometry on L2L^2 by Plancherel — a 90∘90^\circ phase rotation of every frequency changes nothing about total energy. But extending boundedness to other pp is a genuinely different and much harder problem: there is no analogue of Parseval's identity outside L2L^2, 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 HfHf is large.

Proof sketch

Step 1 (L2L^2, directly). By Plancherel and the multiplier formula, ∥Hf∥L22=∫∣Hf^(ξ)∣2 dξ=∫∣sgn(ξ)∣2∣f^(ξ)∣2 dξ=∥f∥L22\|Hf\|_{L^2}^2 = \int |\widehat{Hf}(\xi)|^2\,d\xi = \int |\mathrm{sgn}(\xi)|^2|\hat f(\xi)|^2\,d\xi = \|f\|_{L^2}^2, using ∣sgn(ξ)∣=1|\mathrm{sgn}(\xi)|=1 for ξ≠0\xi\ne0 (a single point does not affect the integral). So HH is an isometry on L2(R)L^2(\mathbb{R}), in particular bounded with C2=1C_2=1.

Step 2 (general 1<p<∞1<p<\infty, 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 1/(πx)1/(\pi x) 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 (1,1)(1,1) bound from the L2L^2 bound proved in Step 1, and Marcinkiewicz interpolation between the weak-(1,1)(1,1) bound and the L2L^2 bound (then a duality argument for p>2p>2) completes the proof for every 1<p<∞1<p<\infty — 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

  1. Terence Tao (2003). Recent progress on the restriction conjecture · arXiv:math/0311181
  2. Elias M. Stein, Guido Weiss (1971). Introduction to Fourier Analysis on Euclidean Spaces
  3. Loukas Grafakos (2014). Classical Fourier Analysis · DOI:10.1007/978-1-4939-1194-3