[論文レビュー] Integration operators between Hardy spaces on the unit ball of $\Cn$

Jordi Pau|arXiv (Cornell University)|Dec 3, 2013

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

ひとこと要約

この論文は、$mathbb{C}^n$ 内の単位球 $mathbb{B}_n$ 上のハーディー空間 $H^p(mathbb{B}_n)$ と $H^q(mathbb{B}_n)$ 間で作用する積分作用素 $J_g$ の有界性およびコンパクト性を、すべての $0 < p, q < infty$ に対して完全に特徴付けている。$J_g$ が $H^p$ から $H^q$ に有界であるための必要十分条件は、$g$ が特定の関数空間に属することである。$p=q$ の場合、$g \in BMOA$ である。$p < q$ の場合、$\alpha = n(1/p - 1/q)$ とすると、$g \in \Lambda(\alpha)$ である。$p > q$ の場合、$1/r = 1/q - 1/p$ とすると、$g \in H^r$ である。また、これらの条件下で、作用素のノルムの鋭い推定値が与えられている。

ABSTRACT

We completely describe the boundedness of the Volterra type operator $J_ g$ between Hardy spaces in the unit ball of $\Cn$. The proof of the one dimensional case used tools, such as the strong factorization for Hardy spaces, that are not available in higher dimensions, and therefore new techniques are developed. In particular, a generalized version of the description of Hardy spaces in terms of the area function is needed.

研究の動機と目的

• すべての $0 < p, q < \infty$ に対して、ハーディー空間 $H^p(\mathbb{B}_n)$ と $H^q(\mathbb{B}_n)$ 間のボルテラ型積分作用素 $J_g$ の有界性を完全に特徴付けることで、文献における大きな空白を埋めること。
• 一様次元の結果（Aleman-Siskakis や Aleman-Cima の結果）を、古典的な手法（例えばハーディー空間の強化因子分解）が利用できない $mathbb{C}^n$ 内の単位球の高次元設定に拡張すること。
• 高次元に特化した新しい技術の開発。特に、面積関数によるハーディー空間の一般化された特徴付けと、$g$ の関数空間ノルムに基づく $J_g$ の鋭いノルム推定値の確立。
• 非対角型のケース（$p \ne q$）と臨界ケース $p = q$ を扱い、すべての $p, q$ に対して作用素の振る舞いを包括的かつ統一的な枠組みで特徴付けること。

提案手法

• 証明は、一様次元の結果を $mathbb{C}^n$ に拡張するために不可欠な、面積関数に基づくハーディー空間の一般化された特徴付けに依存している。
• 重要な技術的道具は、テント空間とカールソン測度であり、特に $H^p$ の双対性をテント空間の双対性によって特定することにある。
• 著者は、球面 $\mathbb{S}_n$ をウィットニー型の立方体 $Q$ に階層的分割し、それに対応するテント領域 $\widehat{Q}$ を定義することで、局所的な解析を行い、作用素ノルムを制御する。
• 作用素ノルムは、階層的立方体に台を持つ列 $\lambda_Q$ に対するテストを通じて推定され、測度 $\mu$ に関連する最大関数 $\widetilde{\mu}$ の $L^r$ ノルムとの比較に帰着される。
• Khinchine の不等式が、階層的立方体上の確率的和の $L^p$ ノルムを制御するために用いられ、列 $\lambda_Q$ の $\ell^p$ 型推定値の導出を可能にする。
• Vitali 型被覆補題が用いられ、テント領域 $\widehat{Q}$ の測度とその底面の表面測度との関係を確立し、球面上の $L^r$ ノルム推定値を測度 $\mu$ に移すことが可能になる。

実験結果

リサーチクエスチョン

• RQ1 すべての $0 < p, q < \infty$ に対して、$g \in H(\mathbb{B}_n)$ が積分作用素 $J_g$ が $H^p(\mathbb{B}_n)$ から $H^q(\mathbb{B}_n)$ に有界であるための必要十分条件は何か？
• RQ2 古典的手法（例えば強化因子分解）が使えない高次元において、$J_g$ の有界性が $g$ の滑らかさや可積分性の性質にどのように依存するか？
• RQ3 作用素ノルム $\|J_g\|_{H^p \to H^q}$ と、$BMOA$、$\Lambda(\alpha)$、$H^r$ などの関連関数空間における $g$ のノルムとの正確な関係は何か？
• RQ4 高次元設定において、カールソン測度とテント空間の双対性を用いて $J_g$ の有界性を特徴付けることができるか？もしそうなら、その方法は何か？
• RQ5 径方向微分 $Rg$ は $J_g$ の有界性を決定づける役割を果たすのか？その影響は $g$ の関数空間ノルムにどのように反映されるか？

主な発見

• $p = q$ の場合、$J_g$ が $H^p$ 上で有界であるための必要十分条件は $g \in BMOA$ であり、$\|J_g\| \asymp \|g\|_{BMOA}$ が成り立ち、これは鋭いノルム推定値を示している。
• $p < q$ の場合、$J_g: H^p \to H^q$ が有界であるための必要十分条件は $\alpha = n(1/p - 1/q)$ とすると $g \in \Lambda(\alpha)$ であり、$\|J_g\|_{H^p \to H^q} \asymp \|g\|_{\Lambda(\alpha)}$ が成り立つ。ただし $\alpha \leq 1$ である必要がある。$\alpha > 1$ の場合、$g$ は定数でなければならない。
• $p > q$ の場合、$J_g: H^p \to H^q$ が有界であるための必要十分条件は $1/r = 1/q - 1/p$ とすると $g \in H^r$ であり、$\|g\|_{H^r} \asymp \|J_g\|_{H^p \to H^q}$ が成り立つ。これは $g$ の $H^r$ ノルムと作用素ノルムの間の明確な双対性を確立している。
• 証明は、高次元における強化因子分解の欠如を克服するために不可欠な、$mathbb{C}^n$ 内のハーディー空間の一般化された面積関数による特徴付けを導入している。
• 論文は、テント空間とカールソン測度を用いた新しい双対性枠組みを確立し、階層的分割と被覆補題を用いて鋭いノルム推定値を導出する。
• 結果は、$g$ に対する関数空間の条件が必要かつ十分であり、ノルムの比較が定量的かつ最適であるという意味で鋭いものである。