MathLabs
定理已证明

M. 里斯定理

命题陈述

希尔伯特变换 HH 对每个 1<p<∞1<p<\infty 在 Lp(R)L^p(\mathbb{R}) 上都是有界的:存在常数 CpC_p,使得对每个 ff 都有 ∥Hf∥Lp≤Cp∥f∥Lp\|Hf\|_{L^p} \le C_p\|f\|_{L^p}。(马塞尔·里斯,1927年)

为什么成立?

L2L^2 情形基本上是免费得到的:乘子 −i sgn(ξ)-i\,\mathrm{sgn}(\xi) 几乎处处的模恰好为 11,因此由普朗歇尔定理,HH 在 L2L^2 上确实就是一个等距映射——对每个频率做 90∘90^\circ 相位旋转不会改变总能量。但把有界性推广到其他 pp 却是一个本质上不同、也困难得多的问题:在 L2L^2 之外没有帕塞瓦尔恒等式的类似物可用,因此没有代数捷径,证明必须依赖关于 HfHf 变大的集合的大小与几何的实变量估计。

证明思路

第一步(L2L^2,直接证明)。由普朗歇尔定理与乘子公式,并利用当 ξ≠0\xi\ne0 时 ∣sgn(ξ)∣=1|\mathrm{sgn}(\xi)|=1(单点不影响积分),可得 ∥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。因此 HH 在 L2(R)L^2(\mathbb{R}) 上是等距映射,特别地以 C2=1C_2=1 有界。

第二步(一般的 1<p<∞1<p<\infty,前向引用)。指数的完整范围无法通过任何软论证从第一步得到。这是实变量卡尔德龙–齐格蒙德理论中一个真正的定理:希尔伯特变换的核 1/(πx)1/(\pi x) 恰好满足卡尔德龙–齐格蒙德核所要求的光滑性与相消条件,因此下一节中给出的一般奇异积分理论机制可以直接应用于它。该机制从第一步证明的 L2L^2 估计出发,得到一个弱型 (1,1)(1,1) 估计,再通过弱-(1,1)(1,1) 估计与 L2L^2 估计之间的马钦凯维奇插值(以及对 p>2p>2 的对偶论证)完成对一切 1<p<∞1<p<\infty 的证明——这部分论证在下面的卡尔德龙–齐格蒙德一节中完整给出,此处不再重复。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  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