MathLabs
定理証明済み

カールソンの定理

内容

f∈L2(T)f\in L^2(\mathbb{T}) ならば、ほとんどすべての xx で SNf(x)→f(x)S_N f(x)\to f(x) となる。(Hunt は1968年にこれを p>1p>1 を満たすすべての f∈Lp(T)f\in L^p(\mathbb{T}) に拡張した。)

なぜ正しいのか?

コルモゴロフによる、至る所発散する1926年の L1L^1 関数の例を踏まえると、L2L^2——わずかに強い条件にすぎない——も同じように、あるいは少なくともほとんど至る所で失敗するだろうと考えるのはごく自然に思えた。カールソンの定理はまさに驚きである:二乗可積分というわずかな追加の仮定が、測度ゼロの集合を除いて発散を完全に排除するのである。これは1913年にルジンが予想して以来未解決だった問題に決着をつけ、20世紀解析学のもっとも深い定理の一つとみなされている。

証明の概略

完全な証明は20世紀解析学における最も難しい論証の一つである。フェファーマンは1973年に有名な簡略化を与えており、その戦略は三つの手順で概説できる。

ステップ1(極大作用素による制御)。カールソン極大作用素 S∗f(x)=sup⁡N∣SNf(x)∣S^*f(x) = \sup_N |S_N f(x)| を L2L^2 上で評価すれば十分である。なぜなら S∗S^* に対する弱形の評価と、(収束が容易な)良い関数の稠密性を組み合わせれば、完全な概収束の主張が従うからである。

ステップ2(時間–周波数平面のタイルへの分解)。時間–周波数平面上の二進タイル——面積 ∼1\sim 1 の長方形であり、以下の『時間と周波数』の節で論じる原子そのもの——に適応した波束を用いて ff を分解する。各タイルは、時間区間と周波数帯域の両方に局在した ff の一部分を担う。

ステップ3(タイルを木にまとめて足し上げる)。カットオフ周波数 NN は xx によって変わりうるため、S∗f(x)S^*f(x) に関係するタイルは時間–周波数の包含関係で順序づけられた『木』を成す。フェファーマンの鍵となる組合せ論的評価は、すべての木が運ぶ総エネルギーを抑え、L2L^2 における S∗fS^*f を制御して証明を完成させる。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  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