[論文レビュー] On the Hardy-Littlewood maximal function for the cube

Jean Bourgain|arXiv (Cornell University)|Dec 11, 2012

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

ひとこと要約

本稿は、$ \mathbb{R}^n $ 内の立方体に関連するハーディー＝リトルウッド最大函数について、次元に依存しない $ L^p $ 界を確立する。$ p > 1 $ に対して、作用素ノルムが次元に依存せず一様に有界であることを証明する。証明は、立方体の特性関数のフーリエ解析的分解、周波数領域における局在化、および調整された乗数とガウス型平滑化を用いた $ L^2 $ と $ L^p $ 評価の補間に依拠する。

ABSTRACT

It is shown that the Hardy-Littlewood maximal function associated to the cube in $\mathbb R^n$ obeys dimensional free bounds in $L^p$ fir $p>1$. Earlier work only covered the range $p>\frac 32$.

研究の動機と目的

• 次元 $ n $ に依存しない、$ n $ 次元立方体に関連するハーディー＝リトルウッド最大函数の $ L^p $ 作用素ノルムの均一な界を確立すること。$ p > 1 $ に対して成り立つ。
• 従来の結果が次元に依存しない界を $ p > \frac{3}{2} $ の範囲でのみ達成できたという制限を克服するため、特定の周波数領域における立方体の特性関数のより速いフーリエ減衰を利用する。
• ガウス平滑化と差分作用素を用いた周波数局在成分への立方体の特性関数の分解を通じて、最大函数を分析すること。
• $ L^2 $ と $ L^p $ 評価の間の補間を用い、周波数空間内の異なる錐領域における乗数ノルムと減衰率をきめ細かく制御すること。

提案手法

• 立方体の特性関数 $ 1_B $ を、周波数局在化されたカーネル $ \Omega^{(s)} = 1_B * H_{2^{-s}} - 1_B * H_{2^{-s+1}} $ の和に分解する。ここで $ H $ はガウスカーネルである。
• 補題1におけるフーリエ乗数評価を適用し、各 $ \Omega^{(s)} $ に関連する最大函数の $ L^2 $ 作用素ノルムを評価し、$ \| \sup_t |f * (\Omega^{(s)})_t| \|_2 \leq C 2^{-s/2} \|f\|_2 $ を得る。
• $ L^2 $ と $ L^p $ 評価の間の補間を用い、最大函数を $ L^p $ で制御する。主なステップは、$ \hat{\eta} $ を滑らかなカットオフ関数のフーリエ変換とするとき、乗数 $ \prod_{i=1}^n \hat{\eta}(t\xi_i)(1 - e^{-t_0^2|\xi|^2}) $ の制御である。
• 周波数空間における二重分解を用い、$ \xi $ が座標軸に沿っている領域（最悪の減衰）と、それ以外の領域に分離する。
• ランダム化のテクニックを $ \varepsilon \in \{1, -1\}^n $ を用いて適用し、局在化作用素 $ \Gamma_i $ を含む平方関数の $ L^p $ ノルムを制御する。キンチン型不等式を用いる。
• フーリエ乗数の点ごとの減衰を用いて誤差項の $ L^2 $ 界を確立し、$ O(R^{-\varepsilon}) $ であることを示し、$ L^\infty $ と補間することで $ L^p $ 界を $ R^{-\varepsilon/p} $ 減衰を得る。

実験結果

リサーチクエスチョン

• RQ1 ハーディー＝リトルウッド最大函数が $ \mathbb{R}^n $ 内の立方体に対して、すべての $ p > 1 $ に対して次元に依存しない $ L^p $ 界を満たすか。
• RQ2 従来の $ L^2 $ 評価に基づく手法が $ p > \frac{3}{2} $ を超えて拡張できない理由は何か。また、錐領域におけるより速いフーリエ減衰をどのように活用することで、この範囲を拡張できるか。
• RQ3 立方体のフーリエ変換 $ \hat{1}_B(\xi) = \prod_{j=1}^n \frac{\sin \pi \xi_j}{\pi \xi_j} $ の構造は、一般の等方的凸体よりも優れた $ L^p $ 界を可能にする程度はどの程度か。
• RQ4 最悪の減衰 $ |\hat{1}_B(\xi)| \lesssim |\xi|^{-1} $ が狭い領域でのみ発生する場合に、$ L^2 $ と $ L^p $ の補間、周波数局在化を組み合わせることで、均一な界が得られるか。

主な発見

• $ n $ 次元立方体に関連するハーディー＝リトルウッド最大函数は、すべての $ p > 1 $ に対して $ \|M_B f\|_p \leq C_p \|f\|_p $ を満たし、$ C_p $ は $ n $ に依存しない。これは、次元に依存しない調和解析分野における長年の未解決問題を解決する。
• 証明により、各周波数局在化成分 $ \Omega^{(s)} $ に関連する最大函数の $ L^2 $ 作用素ノルムが $ 2^{-s/2} $ の速度で減衰することが示され、$ L^p $ への補間が有効に機能する。
• 主な革新点は、最悪のフーリエ減衰 $ |\hat{1}_B(\xi)| \lesssim |\xi|^{-1} $ が座標軸に沿った狭い錐領域でのみ発生することを活用できることにある。
• ガウス平滑化と周波数切り捨てに起因する誤差項は、$ L^2 $ で $ O(R^{-\varepsilon}) $ であり、$ L^p $ では $ O(R^{-\varepsilon/p}) $ 減衰する。これは補間に十分である。
• 最終的に、$ A_p(R) < C_p(\varepsilon) R^{8\varepsilon} $ を得る。$ \varepsilon > 0 $ は任意であるから、定数は $ R $ に依存せず、均一な $ L^p $ 界が得られる。
• この結果は、弱型 $ (1,1) $ の場合とは著しく対照的であり、$ C_1(B_\infty^{(n)}) \gtrsim (\log n)^{1-\varepsilon} $ であるため、立方体に対して $ p > 1 $ の $ L^p $ 界は弱型推定よりも根本的により頑健であることが示される。