[論文レビュー] A Calderon Zygmund decomposition for multiple frequencies and an application to an extension of a lemma of Bourgain

Fëdor Nazarov, Richard Oberlin+1 more|ArXiv.org|Dec 15, 2009

Advanced Harmonic Analysis Research参考文献 4被引用数 4

ひとこと要約

本稿では、複数の周波数に対してキャンセルを強制する新しいCalderón-Zygmund分解を導入し、時間周波数解析における最大作用素の$L^p$バインディングを改善する。Bourgainの最大不等式を拡張し、最適な$N$依存性を有する変動ノルム推定を証明することで、$1 \leq p < 2$の範囲で$L^p$バインディングを達成した。これは、周波数の数に$N^{1/2}$依存性を有する洗練された分解を用いることで実現された。

ABSTRACT

We introduce a Calderon Zygmund decomposition such that the bad function has vanishing integral against a number of pure frequencies. Then we prove a variation norm variant of a maximal inequality for several frequencies due to Bourgain. To obtain the full range of Lp estimates we apply the multi frequency Calderon Zygmund decomposition.

研究の動機と目的

• 複数の周波数に対して積分的に消えるように、悪い関数を設計するCalderón-Zygmund分解の開発。これにより、より良い$L^p$推定が可能になる。
• 複数の周波数に対するBourgainの最大不等式を、変動ノルム推定を用いて、$1 \leq p < 2$の全範囲に拡張すること。
• 分解およびバインディングにおける最適な$N$依存性、具体的には$N^{1/2}$を達成すること。これは、$N^{1/2}$が最適であることが示されている。
• 時間周波数解析において複数の指数的位相に対してキャンセルが必要な問題に適用可能なツールを提供すること。

提案手法

• 各$b_I$が$3I$に台を持つ分解$f = g + \sum_I b_I$を導入し、$1 \leq j \leq N$に対して$\int b_I(x) e^{i\xi_j x} dx = 0$を満たすようにする。
• $L^2(I)$における$\{e^{i\xi_j x}\}_{j=1}^N$の張る空間への直交射影として、$f_I - b_I$を定義する。これにはRiesz表現定理を用いる。
• BorweinとErdelyiによる推定を適用し、$\|f_I - b_I\|_{L^2(I)} \lesssim |I|^{1/2} \lambda N^{1/2}$を導出し、良い関数の良好な制御を保証する。
• 良い関数の$L^2$ノルムバインディングを確立する：$\|g\|_{L^2}^2 \lesssim \|f\|_{L^1} N^{1/2} \lambda$。
• 例外集合のサイズを$\sum_I |I| \lesssim N^{1/2} \|f\|_{L^1} \lambda^{-1}$で制御する。
• この分解を用いて、変動ノルム最大不等式を証明する：$\|\Delta_k[f]\|_{L^p(L^\infty_k)} \lesssim N^{1/2 - 1/r} \|f\|_{L^p}$（$1 \leq p < 2$、$r > 0$）。

実験結果

リサーチクエスチョン

• RQ1 平均ゼロではなく、複数の周波数に対してキャンセルを強制するように一般化されたCalderón-Zygmund分解は可能か？
• RQ2 周波数数$N$の最適な依存性は、$p < 2$の$L^p$推定においてどのように現れるか？
• RQ3 この分解を用いて、Bourgainの複数周波数最大不等式を、$p < 2$の$L^p$に拡張できるか？
• RQ4 変動ノルム構造は、時間周波数解析における多周波数キャンセルとどのように作用するか？

主な発見

• 分解により、$\|g\|_{L^2}^2 \lesssim \|f\|_{L^1} N^{1/2} \lambda$が達成され、$N^{1/2}$依存性を有する良い関数の$L^2$制御が得られた。
• 例外集合は$\sum_I |I| \lesssim N^{1/2} \|f\|_{L^1} \lambda^{-1}$を満たし、良好な測度制御が保証された。
• 悪い関数$b_I$は$\|f_I - b_I\|_{L^2} \lesssim |I|^{1/2} \lambda N^{1/2}$を満たし、これは最適である。
• バインディングにおける$N$依存性は最適であり、推定における$N$の指数が最適であることが証明された。
• 変動ノルム最大不等式が、$1 \leq p < 2$の$L^p$に拡張され、$\|\Delta_k[f]\|_{L^p(L^\infty_k)} \lesssim N^{1/2 - 1/r} \|f\|_{L^p}$というバインディングが得られた。
• 以前の研究で提唱された$L^p$リターンタイム定理プログラムを完了し、最終的な$L^p$エンドポイント推定を提供した。