MathLabs
定理証明済み

ヒルベルト変換のL²有界性

内容

任意の f∈L2(R)f \in L^2(\mathbb{R}) について ∥Hf∥L2=∥f∥L2\|Hf\|_{L^2} = \|f\|_{L^2} が成り立つ:ヒルベルト変換は単に有界であるだけでなく、 L2L^2 上の等長写像である。

なぜ正しいのか?

これはあらゆる一般的なカルデロン–ジグムントの定理が拠り所とする基本ケースである: L1L^1 や LpL^p 上で特異積分作用素を制御する前に、まず L2L^2 上でよく振る舞うことが必要であり、そこではプランシュレルの定理によりフーリエ変換を通じた直接的なアクセスが得られる。

証明の概略

ステップ1(正則化を通じて乗数を求める)。核 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|} が得られる。

ステップ2(極限へ移行する)。 ϵ→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) を掛けるという形で作用する。

ステップ3(プランシュレルの定理を適用する)。 ∣−i sgn⁡(ξ)∣=1|-i\,\operatorname{sgn}(\xi)| = 1 が(測度ゼロの一点を除く)すべての ξ≠0\xi \ne 0 で成り立つので、ほとんどすべての ξ\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