[論文レビュー] The Hardy-Lorentz Spaces $H^{p,q}(R^n)$

Wael Abu-Shammala, Alberto Torchinsky|arXiv (Cornell University)|Apr 2, 2007

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

ひとこと要約

本稿は、$H^{p,q}(τ^n)$ に対して $0 < p \leq 1$ および $0 < q \leq \infty$ の場合の、最初の本格的な実補間理論を、アトム分解を核となる道具として確立する。主な結果は、$q_1 < q < q_2$ のとき $H^{p,q} = (H^{p,q_1}, H^{p,q_2})_{\eta,q}$ を示し、これらの空間の完全な補間枠組みを提供する。弱い $H^p$ も端点として含む。

ABSTRACT

In this paper we consider the Hardy-Lorentz spaces $H^{p,q}(R^n)$, with $0

研究の動機と目的

• $0 < p \leq 1$ および $0 < q \leq \infty$ の場合の Hardy-Lorentz 空間 $H^{p,q}(\mathbb{R}^n)$ に対する実補間理論を構築すること。特に、弱い $H^p$ を端点として含むこと。
• 標準的な手法（切断や再帰的技法）が $H^{p,q}$ 空間においては利用できない状況を克服するため、アトム分解を基盤的手法として用いること。
• $q_1 < q < q_2$ のとき $H^{p,q_1}$ と $H^{p,q_2}$ 間の補間結果を確立することにより、中間の $H^{p,q}$ 空間における特異積分作用素の有界性を保証すること。
• Calderón-Zygmund 作用素や Marcinkiewicz 積分の既知の $H^p$ に基づく評価を、補間を用いて Hardy-Lorentz 空間全体のスケールへ拡張すること。

提案手法

• 本稿では、$H^{p,q}$ に属する分布のアトム分解を用い、$H^p$ アトムの和として要素を表現し、係数が混合ノルム空間に属するようにする。
• dyadic 層集合と分布関数の推定を用いて、Lorentz 空間 $L^{p,q}$ への属するかどうかを確認するため、補題 1.1 の精密化版を適用する。
• 補間結果は $K$-関数法を用いて導出され、$f$ の $H^{p,q_1}$ と $H^{p,q_2}$ における $K$-関数と、係数列 $\{\mu_k\}$ の $\ell^{q_1}$ と $\ell^{q_2}$ における $K$-関数を比較する。
• Homstedt の公式を用いて、係数列 $\{\mu_k\}$ の $K$-関数と $f$ の補間ノルムを関連づけ、埋め込み $H^{p,q} \hookrightarrow (H^{p,q_1}, H^{p,q_2})_{\eta,q}$ を可能にする。
• 非径向的最大関数 $Nf$ 及びその $L^{p,q}$ ノルムとの同値性を用い、$H^{p,q}$ ノルムと最大関数の Lorentz ノルムを結びつける。
• アトム分解を異なる段階で操作することで、$H^{p,q}$ が $H^{p,q_1}$ と $H^{p,q_2}$ の間にあることを示し、等価なクオンタールノルムを用いて補間恒等式を確立する。

実験結果

リサーチクエスチョン

• RQ1 標準的な手法（切断や再帰的技法）が利用できない状況において、$0 < p \leq 1$ および $0 < q \leq \infty$ の場合の Hardy-Lorentz 空間 $H^{p,q}(\mathbb{R}^n)$ に対して実補間理論を構築できるか？
• RQ2 アトム分解を用いて、$q_1 < q < q_2$ のとき $H^{p,q_1}$ と $H^{p,q_2}$ 間の補間空間を特徴づけるにはどうすればよいか？
• RQ3 補間結果を、変数核を持つ Calderón-Zygmund 作用素のような特異積分作用素に適用できるか？ その結果、$H^{p,q} \to L^{p,q}$ の有界性はどのようなものになるか？
• RQ4 補間枠組みは、$H^p$ と $H^{p,\infty}$ を保存する作用素（例：$\delta$-CZ 作用素）に対しても、$p < 1$ の場合に拡張可能か？
• RQ5 $H^{p,q}$ ノルムと、係数列が $\ell^{q_1}$ と $\ell^{q_2}$ に属するときの $K$-関数との正確な関係は何か？

主な発見

• $0 < p \leq 1$ および $q_1 < q < q_2$ のとき、$H^{p,q} = (H^{p,q_1}, H^{p,q_2})_{\eta,q}$ が等価クオンタールノルムで成り立つ。ここで $1/q = (1-\eta)/q_1 + \eta/q_2$ である。
• $f \in H^{p,q}$ のアトム分解を $H^p$ アトムと係数 $\lambda_j$ を用い、混合ノルム空間に属するようにすることで、$\|f\|_{H^{p,q}} \leq c \|\lambda\|_{[\eta,q]}$ が $0 < \eta < \min(p,q)$ のとき成り立つ。
• 変数核を持つ Calderón-Zygmund 作用素に対しては、補間結果により $p < q \leq \infty$ のとき $H^{p,q} \to L^{p,q}$ の有界性が得られ、既知の $H^1 \to L^1$ および $H^{1,\infty} \to L^{1,\infty}$ の評価を拡張する。
• Marcinkiewicz 積分や $T^*(1) = 0$ を満たす $\delta$-CZ 作用素に対しても、この方法が適用可能であり、$n/(n+\delta) < p \leq 1$ および $q > p$ のとき $H^{p,q}$ を保存することが示される。
• 切断や再帰的技法を一切避け、アトム分解と分布関数の推定にのみ依存することで、臨界範囲 $p \leq 1$ においても堅牢な証明が可能である。
• 結果として、$H^{p,q}$ が $H^{p,q_1}$ と $H^{p,q_2}$ の中間空間であり、補間は複素補間ではなく実補間であることが確認され、$K$-関数が中心的な役割を果たす。