[論文レビュー] A new proof of the atomic decomposition of Hardy spaces

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

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

ひとこと要約

本稿では、古典的な Calderón-Zygmund 分解や単位近似に依存せずに、$\mathbb{R}^n$ 上の $H^p$ 空間（$0 < p \leq 1$）におけるアトム分解の新しい証明を提示する。代わりに、消失モーメントを有する滑らかで compact な台を持つ関数と dyadic 周波数局在化に基づく新規な分解を用い、倍加性およびガウス型熱核評価を満たす一般の距離測度空間へも適用可能な堅牢な手法を構築する。

ABSTRACT

A new proof is given of the atomic decomposition of Hardy spaces Hp, in the classical setting of Rn. The new method can be used to establish atomic decomposition of maximal Hardy spaces in general setting and non classical settings.

研究の動機と目的

• $\mathbb{R}^n$ 上の $H^p$ 空間（$0 < p \leq 1$）における古典的アトム分解の、Calderón-Zygmund 分解に依存しない代替的証明を提供すること。
• 古典的設定を越えて、非古典的および抽象的な距離測度空間へも一般化可能な手法を開発すること。
• 倍加測度およびガウス型熱核を持つ作用素を有する一般の設定において、最大関数型とアトム型 $H^p$ 空間の同値性を確立すること。
• 新規手法が、最大関数ノルムに対するアトムノルムの均一な制御をもたらす、構成的アトム分解を生み出すこと。
• 滑らかで台が compact な関数を用い、消失モーメントと周波数局在化を組み合わせることで、アトム分解のプロセスを簡素化する枠組みを提供すること。

提案手法

• 対称的バム関数に対する差分作用素を用い、$\widehat{\varphi}(0) = 1$ および $0 < |\alpha| \leq m$ に対して $\partial^\alpha \widehat{\varphi}(0) = 0$ を満たす滑らかで台が compact な関数 $\varphi$ を構成する。
• 関数 $\psi$ を、台が Fourier 空間で compact で、$K$ 次まで消失モーメントを持つ滑らかさを持つものとして、$\psi_k(x) = 2^{kn}\psi(2^k x)$ を用いて dyadic 周波数分解を定義する。
• 最大関数 $M^*_{\varphi,a}f(x)$ およびグランド最大作用素 $\mathcal{M}_N f(x)$ を導入し、それらが $L^p$ ノルムにおいて Poisson 最大関数と同値であることを示す。
• $\Omega_r = \{x : \sup_{t>0} |P_t * f(x)| > 2^r\}$ を定義し、$f = \sum_r F_r$ のように $f$ を $\Omega_r$ に局在化させた関数に分解する。
• 各 dyadic レベル $r$ に対して、$\Omega_r$ の Whitney 型被覆を用いて、$\mathcal{B}_r$ に属する dyadic 球 $B$ に局在化した $F_B$ に $F_r$ を分解する。
• 原子 $a_B$ を $a_B(x) = c_\sharp^{-1} |B^\star|^{-1/p} 2^{-r} F_B(x)$ で定義し、$B^\star = 7B$ とし、係数 $\lambda_B = c_\sharp |B^\star|^{1/p} 2^r$ を与えることで、$L^\infty$ およびモーメント条件を満たすようにする。

実験結果

リサーチクエスチョン

• RQ1 アトム分解が、Calderón-Zygmund 分解や単位近似に依存せずに $H^p$ 空間において確立可能かどうか。
• RQ2 この分解の構造的性質が、倍加性およびガウス型熱核を持つ距離測度空間のような非古典的設定へ一般化可能である根拠は何か。
• RQ3 周波数局在化とモーメントに基づく構成によって、アトムノルム $\|f\|_{H^p_A}$ が最大関数ノルム $\|f\|_{H^p}$ によってどのように制御できるか。
• RQ4 滑らかで台が compact な関数を用い、消失モーメントを持つ場合に、均一な $L^\infty$ およびモーメント条件を満たす原子を構成可能かどうか。
• RQ5 グランド最大作用素 $\mathcal{M}_N f$ が、一般設定における $H^p$ の特徴づけおよびアトム分解の実現に果たす役割は何か。

主な発見

• 新規な証明は、Calderón-Zygmund 分解や単位近似を用いずに、$0 < p \leq 1$ における $H^p$ 空間のアトム分解を確立する。
• 不等式 $\|f\|_{H^p_A} \leq c \|f\|_{H^p}$ が得られ、$c > 0$ は $p$ と $n$ のみに依存する。これは $H^p \subset H^p_A$ の連続的埋め込みを示す。
• 原子 $a_B$ の構成により、$\|a_B\|_{L^\infty} \leq |B^\star|^{-1/p}$ および $\int x^\alpha a_B(x) dx = 0$（$|\alpha| \leq n(p^{-1} - 1)$）が満たされ、標準的なアトム条件を満たす。
• $f = \sum_{r} \sum_{B \in \mathcal{B}_r} \lambda_B a_B$ の展開は $\mathcal{S}'$ 内で収束し、$\sum_{r} \sum_{B \in \mathcal{B}_r} |\lambda_B|^p \leq c \|f\|_{H^p}^p$ が成り立つ。これはアトムノルムの制御を確認する。
• この手法は、倍加性およびガウス型熱核とマルコフ性を持つ作用素を有する一般の距離測度空間へも拡張可能であり、後続の研究 [2] で示されている。
• この証明は $L^2$-に基づく技法を避け、代わりに周波数局在化とモーメント条件に依存するため、滑らかでない、あるいはリーマン的でない設定へも適応可能である。