[論文レビュー] Spaces H^1 and BMO on ax+b-groups

Maria Vallarino|ArXiv.org|Apr 29, 2008

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

ひとこと要約

本稿は、非ユニモジュラーな指数的成長を示す Lie 群 $S = \mathbb{R}^d \ltimes \mathbb{R}^+$ である $ax+b$-群上に、Hardy 空間 $H^1$ と BMO 理論を確立する。原子的 Hardy 空間 $H^{1,p}$ と Calderón–Zygmund 集合を用いた BMO 空間を定義し、John–Nirenberg 不等式を証明し、$BMO$ が $H^1$ の双対であることを特定し、$H^1$ から $L^1$ および $L^\infty$ から $BMO$ への特異積分作用素の有界性を示し、実補間により $L^p$ 空間を得る。

ABSTRACT

Let S be the semidirect product of R^d and R^+ endowed with the Riemannian symmetric space metric and the right Haar measure: this is a Lie group of exponential growth. In this paper we define an Hardy space H^1 and a BMO space in this context. We prove that the functions in BMO satisfy the John-Nirenberg inequality and that BMO may be identified with the dual space of H^1. We then prove that singular integral operators which satisfy a suitable integral Hormander condition are bounded from H^1 to L^1 and from L^{\infty} to BMO. We also study the real interpolation between H^1, BMO and the L^p spaces.

研究の動機と目的

• 指数的成長を示す空間である $ax+b$-群 $S = \mathbb{R}^d \ltimes \mathbb{R}^+$ の文脈において、$H^1$–$BMO$ 理論を開発すること。古典的二重化に基づく理論はこの文脈で失敗する。
• 古典理論における球の代わりに、Calderón–Zygmund 集合を用いて原子的 Hardy 空間 $H^{1,p}$ と BMO 空間を定義すること。
• 定義された BMO 空間に属する関数が John–Nirenberg 不等式を満たし、$BMO$ が $H^1$ に等長同型に双対であることを証明すること。
• 積分 Hörmander 条件を満たす核を持つ特異積分作用素が、$H^1$ から $L^1$ および $L^\infty$ から $BMO$ へ有界であることを確立すること。
• 実補間を用いて $H^1$、$BMO$、$L^p$ 空間の間の補間空間を特徴づけ、$1/p = 1 - \theta$ を満たす $[H^1, BMO]_{\theta,q} = L^{p,q}$ を示すこと。

提案手法

• Riemann計量と右ハール測度に基づき、$S$ 上の Calderón–Zygmund 集合を定義し、古典理論における球の幾何的置換とすること。
• 関数を Calderón–Zygmund 集合に台を持つようにし、積分がゼロでかつ $L^p$-ノルムで制御されるようにして、原子的 Hardy 空間 $H^{1,p}$ を定義すること。
• 古典理論における球に基づく定義に類似した、Calderón–Zygmund 集合上のセミノルムを用いて BMO 空間を定義すること。
• 古典理論の技法を非二重化・指数的成長の設定に適応させることで、BMO 空間における John–Nirenberg 不等式を証明すること。
• 原子的分解と双対性定理を用いて $H^1$ と $BMO$ 間の双対性を確立し、$BMO = (H^1)^*$ を示すこと。
• 実補間理論を適用し、双対性および稠密性の結果を用いて $[H^1, BMO]_{\theta,q}$ と $[L^{q_1}, BMO]_{\theta,q}$ をそれぞれ $L^{p,q}$ および $L^q$ として特徴づけること。

実験結果

リサーチクエスチョン

• RQ1 指数的成長を示す空間、たとえば $ax+b$-群において、二重化条件が成立しない状況でも $H^1$–$BMO$ 理論を構築できるか？
• RQ2 定義された BMO 空間に属する関数は、非二重化かつ非コンパクトな設定においても John–Nirenberg 不等式を満たすか？
• RQ3 この文脈において BMO 空間は $H^1$ の等長双対空間として同型に同一視できるか？
• RQ4 積分 Hörmander 条件を満たす核を持つ特異積分作用素は、$H^1$ から $L^1$ および $L^\infty$ から $BMO$ へ有界であるか？
• RQ5 この文脈における $H^1$、$BMO$、$L^p$ 空間間の実補間空間は何か？

主な発見

• $p \in (1,\infty]$ に対して、空間 $H^{1,p}$ は互いに同値であり、古典的結果を非二重化・指数的成長の文脈に一般化する。
• 定義された BMO 空間は John–Nirenberg 不等式を満たし、その良好な振動制御性を保証する重要な性質を有する。
• BMO 空間は $H^1$ の双対に等長同型に同一視され、理論の中心的双対性が確立される。
• 積分 Hörmander 条件を満たす核を持つ特異積分作用素は、$H^1$ から $L^1$ および $L^\infty$ から $BMO$ へ有界である。
• 実補間により $[H^1, BMO]_{\theta,q} = L^{p,q}$ が得られ、$1/p = 1 - \theta$ を満たす。また $[L^{q_1}, BMO]_{\theta,q} = L^q$ が得られ、$1/q = (1 - \theta)/q_1$ を満たす。これは古典的補間結果の拡張である。
• $[H^1, L^{\infty}]_{\theta,p} = L^p$ が $1/p = 1 - \theta$ を満たすことで成立し、古典的極限ケースと整合的であることが確認される。