[論文レビュー] Some maximal inequalities on Triebel-Lizorkin spaces for $p=\infty$

Bae Jun Park|arXiv (Cornell University)|Oct 3, 2017

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

ひとこと要約

本稿は、トリーベル＝リゾルキン空間の端点 $ p = \infty $ における新たな最大不等式を確立し、古典的なフェッファーマン＝シュタイン型およびピエトレ型不等式がこの設定で成立しない問題を克服するため、修正された最大作用素 $ \mathcal{M}_r^{k,\epsilon} $ を導入する。主な貢献は、$ \dot{F}_\infty^{s,q} $-型の鋭い最大不等式であり、 dyadic cube 上の $ \ell^q $-和における有界性を可能にする。関数空間理論および指数に関する鋭さに関する結果への応用を含む。

ABSTRACT

In this work we give some maximal inequalities in Triebel-Lizorkin spaces, which are "$\dot{F}_{\infty}^{s,q}$-variants" of Fefferman-Stein vector-valued maximal inequality and Peetre's maximal inequality. We will give some applications of the new maximal inequalities and discuss sharpness of some results.

研究の動機と目的

• トリーベル＝リゾルキン空間 $ \dot{F}_\infty^{s,q} $ における端点 $ p = \infty $ における古典的フェッファーマン＝シュタインおよびピエトレ型最大不等式の失敗を解消すること。
• $ \dot{F}_\infty^{s,q} $ 空間の構造に適合する新しい最大作用素 $ \mathcal{M}_r^{k,\epsilon} $ を開発し、 dyadic cube 上の $ \ell^q $-和における有界性を回復すること。
• 新規最大不等式における指数条件 $ r < q $ の鋭さを証明し、この条件が必要であることを示すこと。
• 新規不等式を関数空間理論に応用し、特に $ BMO $ および $ bmo $ 空間の文脈における応用を提供すること。
• 標準的な道具が $ L^p $-有界性の欠如により失敗する $ p = \infty $ の極限ケースにまで最大作用素の理論を拡張すること。

提案手法

• dyadic cube 上の局所的 $ L^r $ 平均と、大きな立方体に対して $ (2^k l(Q))^{-\epsilon} $ の減衰因子を組み合わせた修正された最大作用素 $ \mathcal{M}_r^{k,\epsilon}f(x) $ を導入する。
• $ f_k \in \mathcal{E}(2^k) $ の周波数局在化を用いて、 $ \mathfrak{M}_{\sigma,2^k}f_k $ の振る舞いを $ \mathcal{M}_t^{k,\epsilon}f_k $ を通じて制御し、補題 1.2 を用いて点ごとの比較を確立する。
• 主要な最大不等式を証明する： $ 0 < r < q < \infty $ に対して、 dyadic cube 上の $ \mathcal{M}_r^{k,\epsilon}f_k $ の $ \ell^q $-和は、 $ \ell^q $-和の $ |f_k| $ の弱型 $ \dot{F}_\infty^{0,q} $-ノルムによって制御される。
• $ f_k $ がずらされた立方体に台を持つ振動関数を用いた反例を構成し、 $ p = \infty $ の場合に古典的 $ \mathcal{M}_r $ が $ r < q $ のときでさえも失敗することを示す。
• クリスとザウガーの確率的構成法を用いて、 $ r < q $ の条件の鋭さを証明し、そうでない場合には不等式が成り立たないことを示す。
• 新規不等式を応用して、 $ \dot{F}_\infty^{s,q} $-ノルムにおける有界性を導出し、 $ BMO $ および $ bmo $ 空間における既知の結果と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 トリーベル＝リゾルキン空間における端点 $ p = \infty $ において、フェッファーマン＝シュタインのベクトル値最大不等式を拡張することは可能か？
• RQ2 古典的最大作用素が $ \dot{F}_\infty^{s,q} $-設定でなぜ失敗するのか、有界性を回復するために必要な構造的修正は何か？
• RQ3 $ \dot{F}_\infty^{s,q} $-枠組みにおいて最大不等式が成り立つために、 $ r < q $ の条件が必要であるか？
• RQ4 $ \dot{F}_\infty^{s,q} $ 空間の dyadic および周波数局在構造を尊重する新しい最大作用素を構成可能か？
• RQ5 $ dyadic cube 上の $ \ell^q $-和における最大作用素の有界性のための指数 $ r, q $ の鋭い条件は何か？

主な発見

• 古典的フェッファーマン＝シュタイン不等式は、 $ p = \infty $ において、 $ r < q $ であっても、 $ f_k $ がずらされた立方体に台を持つ反例により、失敗することが示された。
• 修正された最大作用素 $ \mathcal{M}_r^{k,\epsilon} $ は、次の主要な不等式を満たす： $ \left\| \left( \sum_k (\mathcal{M}_r^{k,\epsilon} f_k)^q \right)^{1/q} \right\|_{\dot{F}_\infty^{0,q}} \lesssim \left\| \left( \sum_k |f_k|^q \right)^{1/q} \right\|_{\dot{F}_\infty^{0,q}} $ （ $ 0 < r < q < \infty $ ）。
• 条件 $ r < q $ は鋭い： $ r \geq q $ の場合、不等式は成り立たない。これは確率的構成と $ \mathfrak{M}_{\sigma,2^k} $ 演算子の使用により示された。
• $ f_k \in \mathcal{E}(2^k) $ に対して、 $ r < t $ のとき、 $ \mathfrak{M}_{d/r,2^k}f_k $ は $ \mathcal{M}_t^{k,d(1/r-1/t)}f_k $ によって点ごとに制御可能であり、これにより $ \mathcal{M}_r $ の代わりに $ \mathcal{M}_r^{k,\epsilon} $ を用いることが可能になる。
• 不等式は dyadic cube $ P $ 全体に一様に成り立ち、ノルムは $ \sup_P \left( \frac{1}{|P|} \int_P \sum_k |f_k(x)|^q dx \right)^{1/q} $ で定義され、これは $ \|f\|_{\dot{F}_\infty^{0,q}} $ を特徴付ける。
• 鋭さの結果により、 $ \sigma \leq d/q $ のとき、 $ \sup_P \left( \frac{1}{|P|} \int_P \sum_k (\mathfrak{M}_{\sigma,2^k}f_k^\mu)^q dx \right)^{1/q} \gtrsim \max\{2^{N(d/q - \sigma)}, N^{1/q}\} $ が成り立つ。これは $ r < q $ の必要性を証明する。