[論文レビュー] Hardy spaces associated with non-negative self-adjoint operators

Shai Dekel, G. Kerkyacharian+2 more|arXiv (Cornell University)|Sep 1, 2014

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

ひとこと要約

本稿は、非負自己共役作用素の熱核がガウス型境界、ホルダー連続性、およびマルコフ性を満たす、ダブリングな距離測度空間に付随する、$0 < p \leq 1$ における最大値 Hardy 空間 $H^p$ と原子的 Hardy 空間 $H^p_A$ の同値性を確立する。主な貢献は、古典的な Calderón-Zygmund 分解を避ける、独創的な原子的分解法であり、一般の幾何学的・解析的条件下で、$H^p = H^p_A$ が同値な準ノルムを伴って成り立つことを証明する。

ABSTRACT

Maximal and atomic Hardy spaces Hp and HAp , are considered in the setting of a doubling metric measure space in the presence of a non-negative self-adjoint operator whose heat kernel has Gaussian localization and the Markov property. It is shown that Hp = HAp with equivalent norms.

研究の動機と目的

• 一般の幾何学的設定における最大値 Hardy 空間 $H^p$ と原子的 Hardy 空間 $H^p_A$ の同値性を確立すること。
• 古典的な Calderón-Zygmund 分解を回避する、新しい原子的分解法を開発すること。
• 非負自己共役作用素を備えた一般の距離測度空間への Littlewood-Paley 理論および関数空間理論の拡張すること。
• 新しい手法が抽象的設定に適用可能であるだけでなく、$\mathbb{R}^n$ 上の古典的結果を回復することを検証すること。
• 多項式的体積成長を示す空間、リーマン多様体、重み付き領域における Hardy 空間の統一的枠組みを提供すること。

提案手法

• $L^p$ 準ノルムを用いて、$\sup_{t>0}|e^{-t^2L}f(x)|$ によるグランド最大作用素を用いて最大 Hardy 空間 $H^p$ を定義する。
• 原子は $L^n b$（$b \in D(L^n)$）から生成され、$k=0,\dots,n$ に対して $L^k b$ の台およびサイズの条件を満たすことで、原子的 Hardy 空間 $H^p_A$ を定義する。
• Calderón-Zygmund 分解を回避する、関数計算と熱核推定に基づく新しい分解技術を用いる。
• 熱核の境界とホルダー連続性に依存する、独創的な手法により $H^p \subset H^p_A$ を証明する。
• ダブリング条件、逆ダブリング、および非崩壊条件を活用して、測度の成長と球の包含関係を制御する。
• 内在的距離 $\rho(x)$ に関連する半径の球の最大互いに交わらない被覆を用いて、分解における重なりと一様性を制御する。

実験結果

リサーチクエスチョン

• RQ1 非負自己共役作用素を備えたダブリング距離測度空間において、最大値 Hardy 空間 $H^p$ と原子的 Hardy 空間 $H^p_A$ が一致することを示せるか？
• RQ2 Calderón-Zygmund 分解を回避しつつも、$H^p$ と $H^p_A$ の同値性を証明できる新しい原子的分解法が存在するか？
• RQ3 $\mathbb{R}^n$ 上の古典的 Hardy 空間の結果は、リーマン多様体（リッチ曲率が下から有界）、リー群、または重み付き領域といったより一般的な空間へどの程度拡張可能か？
• RQ4 ガウス型境界、ホルダー連続性、およびマルコフ性という熱核の性質が、同値な Hardy 空間ノルムの構成をどのように支援するか？
• RQ5 ダブリング、逆ダブリング、非崩壊条件が、原子的分解に用いられる被覆の有限性および一様性を保証するために果たす役割は何か？

主な発見

• 指定された設定において、$0 < p \leq 1$ に対して最大 Hardy 空間 $H^p$ と原子的 Hardy 空間 $H^p_A$ は集合として等しい。
• 両空間は同値な準ノルムを備えており、$\|f\|_{H^p} \asymp \|f\|_{H^p_A}$ が成り立つ。
• $H^p \subset H^p_A$ の証明は、Calderón-Zygmund 分解を用いない独創的な分解法に依存しており、顕著な手法論的進展を示す。
• この手法は、$\mathbb{R}^n$、リッチ曲率が下から有界なリーマン多様体、多項式的体積成長を示す同次空間を含む広範な空間クラスに一貫して適用可能である。
• 球 $B(x, \rho(x)/5)$ の被覆補題により、重なり数の上界 $K \leq 70^d c_0^2$ が得られ、原子的分解における一様性が保証される。
• 差分作用素とフーリエ逆変換を用いた関数 $\varphi$ の構成により、モーメントが消えるが $0$ での値が非ゼロであるシュワーツ関数が得られ、これが原子的分解にとって重要である。