MathLabs
定理已证明

希尔伯特变换的L²有界性

命题陈述

对任意 f∈L2(R)f \in L^2(\mathbb{R}),有 ∥Hf∥L2=∥f∥L2\|Hf\|_{L^2} = \|f\|_{L^2}:希尔伯特变换不仅有界,而且是 L2L^2 上的等距映射。

为什么成立?

这是一切一般Calderón–Zygmund定理所依赖的基础情形:在 L1L^1 或 LpL^p 上控制一个奇异积分算子之前,首先需要它在 L2L^2 上性质良好,而普朗歇尔定理正是在这里提供了通过傅里叶变换直接处理的途径。

证明思路

第一步(通过正则化求出乘子)。核 1/(πx)1/(\pi x) 不可积,因此对其近似:对 ϵ>0\epsilon>0,令 kϵ(x)=1πxx2+ϵ2k_\epsilon(x) = \frac{1}{\pi}\frac{x}{x^2+\epsilon^2},这是一个奇的、可积的近似,当 ϵ→0\epsilon\to 0 时收敛到主值核。直接计算(留数或查表)可得 k^ϵ(ξ)=−i sgn⁡(ξ) e−2πϵ∣ξ∣\hat k_\epsilon(\xi) = -i\,\operatorname{sgn}(\xi)\, e^{-2\pi\epsilon|\xi|}。

第二步(取极限)。当 ϵ→0+\epsilon \to 0^+ 时,对每个固定的 ξ≠0\xi \ne 0 都有 e−2πϵ∣ξ∣→1e^{-2\pi\epsilon|\xi|} \to 1,且对良好的 ff 有 kϵ∗f→Hfk_\epsilon * f \to Hf。在卷积定理中取极限,便得到乘子恒等式 Hf^(ξ)=−i sgn⁡(ξ) f^(ξ)\widehat{Hf}(\xi) = -i\,\operatorname{sgn}(\xi)\, \hat f(\xi):希尔伯特变换在频域一侧就是乘以 −i sgn⁡(ξ)-i\,\operatorname{sgn}(\xi)。

第三步(应用普朗歇尔定理)。由于对几乎所有 ξ≠0\xi \ne 0 都有 ∣−i sgn⁡(ξ)∣=1|-i\,\operatorname{sgn}(\xi)| = 1(单点测度为零,不影响积分),故对几乎所有 ξ\xi 有 ∣Hf^(ξ)∣2=∣f^(ξ)∣2|\widehat{Hf}(\xi)|^2 = |\hat f(\xi)|^2。两边积分并应用普朗歇尔定理即得 ∥Hf∥L2=∥f∥L2\|Hf\|_{L^2} = \|f\|_{L^2}:希尔伯特变换是 L2(R)L^2(\mathbb{R}) 上的等距映射,特别地是有界的。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  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