[論文レビュー] Dual of Hardy-amalgam spaces and norms inequalities

Zobo Vincent de Paul Ablé, Justin Feuto|arXiv (Cornell University)|Mar 9, 2018

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

ひとこと要約

本稿は、$0 < q \leq p \leq 1$ におけるハードイ・アンビグラム空間 $\mathcal{H}^{(q,p)}$ の双対空間を特徴づけ、双対空間が $\mathcal{H}^{(q',p')}$ に等長同型であることを確立している。ここで $1/q + 1/q' = 1$ かつ $1/p + 1/p' = 1$ である。さらに、カルデロン＝ジグムンド作用素、畳み込み作用素、リーマン・ポテンシャル作用素の有界性を証明し、アトム的および最大関数的特徴づけを用いて、古典的なハードイ空間の結果をアンビグラム設定へと拡張している。

ABSTRACT

We characterize the dual spaces of the generalized Hardy spaces defined by replacing Lebesgue quasi-norms by Wiener amalgam ones. In these generalized Hardy spaces, we prove that some classical linear operators such as Calderón-Zygmund, convolution and Riesz potential operators are bounded.

研究の動機と目的

• $0 < q \leq p \leq 1$ におけるハードイ・アンビグラム空間 $\mathcal{H}^{(q,p)}$ の双対空間を特徴づけること。
• 古典的ハードイ空間からカルデロン＝ジグムンド作用素、畳み込み作用素、リーマン・ポテンシャル作用素の有界性に関する古典的結果を、ハードイ・アンビグラム枠組みへと拡張すること。
• ルベーグの準ノルムの代わりにウィーナー・アンビグラムノルムを用いた文脈において、ノルム不等式と作用素の有界性を確立すること。
• 局所的および大域的可積分構造を用いて、古典的ハードイ空間のアトム的および最大関数的特徴づけをアンビグラム設定へと一般化すること。

提案手法

• 滑らかで compact な台を持つバーム関数 $\varphi$ を用い、$\mathcal{M}_{\varphi}(f) = \sup_{t>0} |f * \varphi_t|$ で定義される最大関数を用いて、$\mathcal{H}^{(q,p)}$ を、この最大関数がウィーナー・アンビグラム空間 $(L^q, \ell^p)$ に属するテンパレート分布の空間として定義する。
• アトム分解を用い、$0 < q \leq \min(1,p)$ の場合に、古典的ハードイ空間と類似したキャンセルレーションおよびサイズ条件を満たすアトムを用いる。
• アンビグラム空間 $(L^q, \ell^p)$ の双対理論を応用し、双対空間が $(L^{q'}, \ell^{p'})}$ に等しくなることを利用して、$\mathcal{H}^{(q,p)}$ の双対空間を双対ペアリングにより特徴づける。
• $1 < q,p < \infty$ の範囲で $(L^q, \ell^p)$ 上に有界であることを示すハードイ・リトルウッド最大作用素 $\mathfrak{M}$ を、主要な技術的道具として用いる。
• アトムにおけるテイラー展開とキャンセルレーション条件を用い、核推定 $|x-y|^{\delta+1}/|x-x_n|^{d-\alpha+\delta+1}$ を含む、リーマン・ポテンシャル $I_\alpha$ のアトムへの作用の大きさを制御する。
• 最大関数推定と補間を用いて、$1/q_1 = 1/q - \alpha/d$ および $1/p_1 = 1/p - \alpha/d$ のスケーリング条件の下で、$I_\alpha$ が $\mathcal{H}^{(q,p)}$ から $\mathcal{H}^{(q_1,p_1)}$ へと有界であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 $0 < q \leq p \leq 1$ のとき、ハードイ・アンビグラム空間 $\mathcal{H}^{(q,p)}$ の双対空間は何か？
• RQ2 カルデロン＝ジグムンド作用素は、$0 < q \leq 1$ および $q \leq p < \infty$ の範囲で $\mathcal{H}^{(q,p)}$ 上で有界か？
• RQ3 適切なスケーリング条件の下で、リーマン・ポテンシャル作用素 $I_\alpha$ は $\mathcal{H}^{(q,p)}$ から $\mathcal{H}^{(q_1,p_1)}$ へと有界作用素として拡張可能か？
• RQ4 アトム的および最大関数的特徴づけにおいて、$\mathcal{H}^{(q,p)}$ のものと古典的ハードイ空間のものとはどのように比較されるか？
• RQ5 $I_\alpha$ がハードイ・アンビグラム空間間で有界であるための $q$, $p$, $\alpha$ の正確な条件は何か？

主な発見

• $0 < q \leq p \leq 1$ のとき、$\mathcal{H}^{(q,p)}$ の双対空間は、$1/q + 1/q' = 1$ および $1/p + 1/p' = 1$ を満たす $\mathcal{H}^{(q',p')}$ に等長同型である。これは $\mathcal{H}^{(q,p)}$ との双対ペアリングによって与えられる。
• カルデロン＝ジグムンド作用素は、$0 < q \leq 1$ および $q \leq p < \infty$ の範囲で $\mathcal{H}^{(q,p)}$ 上で有界であり、古典的結果がアンビグラム設定へと拡張されている。
• 標準的なカルデロン＝ジグムンド条件を満たす核を持つ畳み込み作用素は、同じパrameter 範囲で $\mathcal{H}^{(q,p)}$ 上で有界である。
• リーマン・ポテンシャル作用素 $I_\alpha$ は、$0 < \alpha < d$、$1/q_1 = 1/q - \alpha/d$、$1/p_1 = 1/p - \alpha/d$ の下で、$0 < q \leq 1$ および $q \leq p < \infty$ の範囲で $\mathcal{H}^{(q,p)}$ から $\mathcal{H}^{(q_1,p_1)}$ へと有界である。
• $I\_\alpha$ の有界性は、アトム分解と最大関数推定を用いて確立され、核の展開とアトムにおけるキャンセルレーション条件（$\delta \geq \max\{\lfloor d(1/q - 1)\rfloor, \alpha\}$）が用いられる。
• 補題 4.24 は、より広い範囲へと結果を拡張する：$1/q_2 \geq 1/q - \alpha/d$ および $1/p_2 \leq 1/p - \alpha/d$ のとき、$I_\alpha$ は $\mathcal{H}^{(q,p)}$ から $\mathcal{H}^{(q_2,p_2)}$ へと有界である。これは緩い制約のもとでも安定性が保証されることを示している。