[論文レビュー] Characterization of parabolic Hardy spaces by Littlewood-Paley functions

Shūichi Satō|arXiv (Cornell University)|Jul 13, 2016

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

ひとこと要約

本稿は、行列 $ P $ によって生成される非等方的拡大に関する Littlewood-Paley 関数を用いて、放物型 Hardy 空間 $ H^p $ の特徴付けを確立する。ベクトル値不等式およびアトミック分解を放物型設定に一般化することで、核 $ \varphi $ が非退化であるという条件下で、$ 0 < p \leq 1 $ に対して、Littlewood-Paley 関数 $ g_\varphi(f) $ の $ L^p $-ノルムが $ f $ の $ H^p $-ノルムと同値であることを証明する。

ABSTRACT

We consider Littlewood-Paley functions associated with non-isotropic dilations. We prove that they can be used to characterize the parabolic Hardy spaces of Calderón-Torchinsky.

研究の動機と目的

• 古典的 Hardy 空間の Littlewood-Paley 関数による特徴付けを、非等方的拡大によって支配される放物型設定に拡張すること。
• 非退化条件を満たす核 $ \varphi $ の下で、放物型 Hardy ノルム $ \|f\|_{H^p} $ と Littlewood-Paley 関数 $ g_\varphi(f) $ の $ L^p $-ノルムの同値性を確立すること。
• 重み付き推定および Peetre の最大関数を用いて、等方的状況からのベクトル値不等式を放物型設定に一般化すること。
• 核 $ \varphi \in \mathscr{S}(\mathbb{R}^n) $ が $ \int \varphi = 0 $ かつ $ \widehat{\varphi}(A_t^*\xi) $ に対して非退化性条件を満たす広範なクラスに対して、特徴付けが成り立つことを示すこと。
• 離散的パrameter化への拡張および $ H^p $-アトムと $ L^p $-有界性に関する重み付きノルム不等式への応用を含む。

提案手法

• 拡大群 $ \{A_t = t^P\} $ に関連するノルム関数 $ \rho(x) $ を定義し、斉次性および劣加法性の性質を満たすようにする。
• Littlewood-Paley 関数 $ g_\varphi(f)(x) = \left( \int_0^\infty |f * \varphi_t(x)|^2 \frac{dt}{t} \right)^{1/2} $ を導入する。ここで $ \varphi_t(x) = t^{-\gamma} \varphi(A_t^{-1}x) $ であり、$ \gamma = \text{trace}(P) $ である。
• Peetre の最大関数 $ F^{**}_{N,R} $ と最大作用素の $ L^p $-有界性を用いて、放物型設定における重み付きベクトル値不等式（定理 2.4）を証明する。
• 放物型 Hardy 空間のアトミック分解を用いて、$ \|f\|_{H^p} $ と $ g_\varphi(f) $ の $ L^p $-ノルムとの関係を確立する。非退化性条件 $ \sup_{t>0} |\widehat{\varphi}(A_t^*\xi)| > 0 $（$ \xi \neq 0 $）を活用する。
• Poisson 核の調和的または半群的性質に依存しない、実解析的手法（Uchiyama [19] のアイデアにインspired）を用いる。
• dyadic スケール $ b^j $ を用いた離散版の主結果を確立し、$ A_\infty $ 重み付き $ L^p $-空間への拡張を行う。

実験結果

リサーチクエスチョン

• RQ1 非等方的拡大に関連する Littlewood-Paley 関数は、$ 0 < p \leq 1 $ に対して放物型 Hardy 空間 $ H^p $ を特徴付けられるか？
• RQ2 核 $ \varphi $ にどのような条件を課すと、放物型設定において $ \|f\|_{H^p} \asymp \|g_\varphi(f)\|_p $ の同値性が成り立つか？
• RQ3 ベクトル値不等式はどのように放物型フレームワークに一般化可能か？
• RQ4 結果はどの程度離散的パrameter化および重み付き $ L^p $-空間にまで拡張可能か？
• RQ5 非退化性条件 $ \sup_{t>0} |\widehat{\varphi}(A_t^*\xi)| > 0 $（$ \xi \neq 0 $）は、特徴付けに十分か？

主な発見

• 核 $ \varphi \in \mathscr{S}(\mathbb{R}^n) $ が $ \int \varphi = 0 $ かつすべての $ \xi \neq 0 $ に対して $ \sup_{t>0} |\widehat{\varphi}(A_t^*\xi)| > 0 $ を満たすとき、Littlewood-Paley 関数 $ g_\varphi(f) $ が $ 0 < p \leq 1 $ に対して放物型 Hardy 空間 $ H^p $ を特徴付けることを証明する。
• $ f \in H^p \cap \mathscr{S}(\mathbb{R}^n) $ に対して、正の定数 $ c_1, c_2 $（$ f $ に依存しない）を用いて、$ c_1 \|f\|_{H^p} \leq \|g_\varphi(f)\|_p \leq c_2 \|f\|_{H^p} $ が成り立つ。
• 証明は、放物型設定における一般化されたベクトル値不等式（定理 2.4）に依拠し、Peetre の最大関数および重み付き $ L^p $-有界性を用いる。
• 離散的パrameter化への拡張がなされ、$ \left\| \left( \sum_{j=-\infty}^\infty |f * \varphi_{b^j}|^2 \right)^{1/2} \right\|_p \asymp \|f\|_{H^p} $（$ 0 < p \leq 1 $）が成り立つ。
• 重み付き版が確立され、$ 0 < p,q < \infty $、$ w \in A_\infty $、および仮定を満たす核に対して、$ \left\| \left( \sum_j |f * \psi_{b^j}|^q \right)^{1/q} \right\|_{p,w} \lesssim \left\| \left( \sum_j |f * \varphi_{b^j}|^q \right)^{1/q} \right\|_{p,w} $ が成り立つ。
• 密度に関する議論により、$ H^p \cap \mathscr{S}(\mathbb{R}^n) $ が $ H^p $ で稠密であるため、結果は全空間 $ H^p $ に拡張可能である。