[論文レビュー] A maximal function characterization for Hardy spaces associated to nonnegative self-adjoint operators satisfying Gaussian estimates

Liang Song, Lixin Yan|arXiv (Cornell University)|Mar 12, 2015

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

ひとこと要約

この論文は、ガウス型推定を満たす非負自己随伴作用素に関連するハーディー空間の最大関数表記を、熱半群の非接続的極大関数を用いて確立する。主な貢献は、面積関数による定義とアトム分解による定義の間の同値性を証明し、カーラーソンの技法を修正することで、ラプラシアンを超える作用素に対しても古典的ハーディー空間理論を拡張することにある。

ABSTRACT

Let $L$ be a nonnegative, self-adjoint operator satisfying Gaussian estimates on $L^2(\RR^n)$. In this article we give an atomic decomposition for the Hardy spaces $ H^p_{L,max}(\R)$ in terms of the nontangential maximal functions associated with the heat semigroup of $L$, and this leads eventually to characterizations of Hardy spaces associated to $L$, via atomic decomposition or the nontangential maximal functions. The proofs are based on a modification of technique due to A. Calderón \cite{C}.

研究の動機と目的

• ラプラシアンを超える作用素 L に対して、古典的ハーディー空間理論を拡張すること。特に、ガウス型推定を満たす作用素について。
• このような作用素に関連するハーディー空間 $ H^p_{L, ext{max}}(\mathbb{R}^n) $ の最大関数表記を確立すること。
• 面積関数による定義とアトム分解による定義の間の同値性を証明し、$ H^p_L $ の定義を作用素設定に一般化すること。
• 熱半群と非接続的極大関数を用いた、作用素に関連するハーディー空間の統一的枠組みを提供すること。

提案手法

• ガウス型推定を満たす非負自己随伴作用素の設定に、カーラーソンの技法を適応すること。
• 熱半群 $ e^{-t^2L}f $ の非接続的極大関数を用いて、ハーディー空間 $ H^p_{L, ext{max}} $ を定義すること。
• 作用素 $ L $ に関連する $ (p,q,M) $-アトムを用いて、$ H^p_{L, ext{max}} $ のアトム分解を確立すること。その際に、$ L^M b $ を含むキャンセル条件を導入すること。
• $ 1 < p < \infty $ において面積関数 $ S_L f $ が $ L^p $ 上で有界であり、それを dyadic 分解と核推定を用いて極大関数と関連付けること。
• 空間の dyadic 分解と核推定を用いて、作用素 $ \Psi(t\sqrt{L}) $ の台と減衰を制御し、極大関数の制御を可能にすること。
• 熱半群の理論とガウス型境界を用いて、アトム的および極大関数的表記が同値であることを検証すること。

実験結果

リサーチクエスチョン

• RQ1 ラプラシアンを超える非負自己随伴作用素 $ L $ でガウス型推定を満たす場合、古典的ハーディー空間の最大関数表記を拡張できるか。
• RQ2 非接続的極大関数を用いて定義されたハーディー空間 $ H^p_{L, ext{max}}(\mathbb{R}^n) $ は、$ 0 < p \leq 1 $ においてアトム的ハーディー空間 $ H^p_{L,\text{at},q,M}(\mathbb{R}^n) $ と同値か。
• RQ3 面積関数 $ S_L f $ が $ H^p_L $ の定義において極大関数と同値であるための作用素 $ L $ に必要な条件は何か。
• RQ4 アトム分解 $ H^p_L $ は、キャンセルの次数 $ M $ や可積分性 $ q $ の選択にどのように依存するか。
• RQ5 電磁的シュレーディンガー作用素 $ L = (i\nabla - A(x))^2 + V(x) $ に対して、理論を適用できるか。特に $ V_+ $ がカトゥークラスに属し、$ \|V_-\|_K < c_n $ である場合。

主な発見

• 非負自己随伴作用素 $ L $ に対して、$ 0 < p \leq 1 $ において、熱半群の非接続的極大関数による定義 $ H^p_{L, ext{max}}(\mathbb{R}^n) $ とアトム的ハーディー空間 $ H^p_{L,\text{at},\infty,M}(\mathbb{R}^n) $ が同値である。ただし $ M > \frac{n}{2}\left(\frac{1}{p} - 1\right) $ を満たす必要がある。
• 面積関数 $ S_L f $ は $ 1 < p < \infty $ において $ L^p(\mathbb{R}^n) $ 上で有界であり、$ \|S_L f\|_{L^p} \simeq \|f\|_{L^p} $ を満たす。これは古典的結果を一般作用素に拡張したものである。
• 電磁的シュレーディンガー作用素 $ L = (i\nabla - A(x))^2 + V(x) $ で $ V_+ $ がカトゥークラスに属し、$ \|V_-\|_K < c_n $ である場合、空間 $ H^p_{L,\text{max}} $ と $ H^p_{L,\text{at},\infty,M} $ は一致する。
• 証明は、$ \Psi(t\sqrt{L}) $ の台と減衰を制御するための dyadic 分解と核推定を用いた、カーラーソンの技法の修正版に依存している。
• アトム分解は熱半群に関して安定であり、$ L^M b $ におけるキャンセル条件により、アトムが作用素 $ L $ に適応していることが保証される。
• $ 1 < q \leq \infty $ および $ M > \frac{n}{2}(\frac{1}{p} - 1) $ に対して、包含関係 $ H^p_{L,\text{at},q,M} \subseteq H^p_{L,\text{rad}} $ が成り立つが、逆包含関係は未解決のままである。