[論文レビュー] Non-tangential maximal functions and conical square functions with respect to the Gaussian measure

Jan Maas, Jan van Neerven+1 more|arXiv (Cornell University)|Mar 22, 2010

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

ひとこと要約

この論文は、ガウス測度の非倍加性に起因する課題を克服することで、ガウス調和解析における重要な不等式を確立する。具体的には、$L^1({\mathbb{R}}^n; \gamma)$における錐型平方関数が、非接続的最大関数によってノルムで制御されることを示し、適切な球とアパーチャー変換の公式を用いた技術的アプローチを開発することで、古典的ハーディー空間理論をガウス設定に拡張する。

ABSTRACT

We study, in $L^{1}(\R^n;γ)$ with respect to the gaussian measure, non-tangential maximal functions and conical square functions associated with the Ornstein-Uhlenbeck operator by developing a set of techniques which allow us, to some extent, to compensate for the non-doubling character of the gaussian measure. The main result asserts that conical square functions can be controlled in $L^1$-norm by non-tangential maximal functions. Along the way we prove a change of aperture result for the latter. This complements recent results on gaussian Hardy spaces due to Mauceri and Meda.

研究の動機と目的

• 最近の進展にもかかわらず未解決のままのガウス測度における$H^1$空間理論の構築。
• ガウス測度の非倍加性に起因する、ガウス調和解析における$L^1$推定の困難さの解消。
• $L^1(\gamma)$における錐型平方関数が非接続的最大関数によって制御されることの確立、これはハーディー空間理論の基盤たる結果。
• 適切な球とジゴニアル分解を用いて、古典的手法の非接続的最大関数および平方関数のガウス設定への拡張。

提案手法

• ガウス測度が倍加性を示す領域 $r \leq a \min(1, 1/|x|)$ 内の適切な球 $B(x,r)$ を用い、局所的解析を可能にする。
• コイフマン–マイヤー–スタインの推定に類似した、非接続的最大関数のアパーチャー変換の公式の開発。
• ガウス測度に適合した平均化された非接続的最大関数および錐型平方関数の導入。
• ガウス測度の幾何的複雑性に対処するため、ホイットニー型被覆とジゴニアル技術の応用。
• ジゴニアル分解と被覆補題を用いて、平方関数の$L^1$ノルムを最大関数によって制御。
• 適切な球上のレベル集合と測度の減衰を精密に分析することで、弱型$(1,1)$推定の確立。

実験結果

リサーチクエスチョン

• RQ1 $L^1({\mathbb{R}}^n; \gamma)$における錐型平方関数 $S_a u$ は、非接続的最大関数によって制御可能か？
• RQ2 ガウス測度の非倍加性は、$L^1$調和解析においてどのように補償可能か？
• RQ3 ガウス設定下で非接続的最大関数に対してアパーチャー変換の公式が成立するか？
• RQ4 ジゴニアル技術と適切な球を用いて、古典的ハーディー空間理論をガウス測度に拡張可能か？
• RQ5 平方関数および最大関数の非適切な部分と、完全なハーディー空間理論との関係は何か？

主な発見

• 錐型平方関数 $S_a u$ に対して $\|S_a u\|_{L^1(\gamma)} \lesssim \|T^*_{(1,a')}u\|_{L^1(\gamma)}$ が成り立ち、$T^*_{(1,a')}u$ が非接続的最大関数であるとし、主たる制御結果を確立。
• 非接続的最大関数に対してアパーチャー変換の公式が証明され、古典的結果がガウス設定に拡張された。
• 著者らは $\gamma(\complement F_\sigma^*) \lesssim \gamma(\complement F_\sigma)$ を示し、レベル集合を用いた$L^1$推定において中心的な役割を果たす。
• 証明は、各々がノルム推定に一様に寄与する6つのジゴニアル型の錐 $\Gamma^{(A^{(j)},a^{(j)})}_x$ への分解に依拠している。
• この結果により、錐型平方関数の$L^1$有界性が最大関数の有界性に帰着され、ガウスハーディー空間理論の完全な構築に向けた重要な一歩が達成された。
• 著者らは、逆不等式（最大関数が平方関数によって制御される）が未解決であり、非適切なスケール $t > a m(x)$ を取り扱うための新技術が要請されることを特定した。