MathLabs
定理証明済み

M.リースの定理

内容

ヒルベルト変換 HH は、すべての 1<p<∞1<p<\infty に対して Lp(R)L^p(\mathbb{R}) 上で有界である:あらゆる ff について ∥Hf∥Lp≤Cp∥f∥Lp\|Hf\|_{L^p} \le C_p\|f\|_{L^p} を満たす定数 CpC_p が存在する。(マルセル・リース、1927年)

なぜ正しいのか?

L2L^2 の場合は実質ただで得られる:乗数 −i sgn(ξ)-i\,\mathrm{sgn}(\xi) はほとんどいたるところで絶対値がちょうど 11 であるため、プランシュレルの定理により HH は文字通り L2L^2 上の等長写像である——あらゆる周波数の 90∘90^\circ 位相回転は全エネルギーを何も変えない。しかし有界性を他の pp に拡張することは本質的に別の、はるかに難しい問題である:L2L^2 の外にはパーセバルの等式の類似物が存在しないため、代数的な近道は使えず、証明は HfHf が大きくなる集合の大きさと幾何に関する実変数的な評価に頼らざるを得ない。

証明の概略

ステップ1(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 で有界である。

ステップ2(一般の 1<p<∞1<p<\infty、後方参照)。指数の全範囲は、ステップ1からいかなる易しい議論によっても従わない。これは実変数コルデロン–ジグムント理論の正真正銘の定理である:ヒルベルト変換の核 1/(πx)1/(\pi x) は、コルデロン–ジグムント核の滑らかさと打ち消し条件をまさに満たしており、そのため次節で展開される一般的な特異積分の機構がそのまま適用できる。その機構は、ステップ1で証明した 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