[論文レビュー] Correction to ``Hardy and BMO spaces associated to divergence form elliptic operators"

Steve Hofmann, Svitlana Mayboroda|ArXiv.org|Jul 1, 2009

Advanced Harmonic Analysis Research参考文献 5被引用数 17

ひとこと要約

この論文は、先行研究における$L$-適応分子ハーディー空間の定義に存在する技術的欠陥を是正し、等価性を保証するための分子表現に$L^p$収束を要件とする修正を加えている。修正された定義により、分子空間$H^1_L$は$χ{H}^1_L$と等価となり、微分型楕円型作用素に関連するハーディー空間とBMO空間の間の主要な双対性および等価性結果が保持される。

ABSTRACT

This note presents a correction to the paper ``Hardy and BMO spaces associated to divergence form elliptic operators" by Steve Hofmann and Svitlana Mayboroda

研究の動機と目的

• 元の$L$-適応分子ハーディー空間$H^1_L$の定義に存在する誤りを是正すること、特に分子表現における$L^p$収束が欠落していたこと。
• 分子分解が$L^p$収束を満たすように$H^1_L$を再定義することで、$H^1_L = \widetilde{H}^1_L$の主張された等価性を回復すること。
• 修正された定義のもとで、$H^1$-$BMO$双対性および平方関数ハーディー空間$H^1_{S_h}$との等価性の有効性を保証すること。
• 修正された分子空間が許容可能なパrameter $(p,\varepsilon,M)$ の選択に依存しないことを示すこと。

提案手法

• 関数が$(p,\varepsilon,M)$-表現をもち、その分子級数が$L^p$収束するものとして、$L$-適応分子ハーディー空間$H^1_L$を再定義し、その完備化として定義する。
• $L^p$収束分子分解を持つ関数の集合として$\mathbb{H}^1_{L,p,\varepsilon,M}$を導入し、係数の$\ell^1$-ノルムの下界をノルムとして備える。
• 超収縮性および非重複なテント型集合$T_k^j$を用いて、切断された平方関数作用素の$L^{p_2}$-ノルムを制御する。
• スケール$\delta \approx 1/N$で切断し、$K \to \infty$のとき尾部項が$L^{p_2}$で消えることを示すことにより、分子級数の$L^p$収束を確立する。
• $L^p$推定と劣微分収束を用いて、切断作用素$\widetilde{f}_N$が$\|\widetilde{f}_N\|_{\widehat{H}^1_{L,p,\varepsilon,M}} \leq C\|f\|_{H^1_{S_h}}$を満たすことを証明する。
• 分子$\widetilde{m}_k^j(N)$が$(\widetilde{p},\widetilde{\varepsilon},M)$-分子であることを示し、サイズおよびキャンセレーション条件を満たすことを保証する。

実験結果

リサーチクエスチョン

• RQ1 元の$L$-適応分子ハーディー空間$H^1_L$の定義は、$\widetilde{H}^1_L$との等価性を正しく得ているか？
• RQ2 理論の根幹を変えることなく、$L^p$収束表現を保証するように分子空間を再定義できるか？
• RQ3 修正された定義のもとで、$H^1_{S_h}$-分子空間との等価性は保たれるか？
• RQ4 修正された定義は、許容可能なパrameter $(p,\varepsilon,M)$ の選択に依存しない空間を保証するか？
• RQ5 $H^1$-$BMO$双対性および平方関数特徴付けは、見直された枠組みのもとで保持されるか？

主な発見

• 元の$H^1_L$の定義は、分子表現における$L^p$収束が欠落していたため誤りであり、$H^1_L = \widetilde{H}^1_L$の主張された等価性は無効であった。
• $(p,\varepsilon,M)$-表現が$L^p$収束を満たすように修正された定義により、$H^1_L = \widetilde{H}^1_L$の等価性が回復された。
• $H^1_{S_h}$空間は修正された$H^1_L$空間と等価のまま維持され、主な双対性および特徴付け結果が保持された。
• $L^p$有界性および超収縮性の議論を通じて、分子空間が許容可能なパrameter $(p,\varepsilon,M)$ の選択に依存しないことが示された。
• 新しい定義のもとで、キーパラメータ推定$\|\widetilde{f}_N\|_{\widehat{H}^1_{L,p,\varepsilon,M}} \leq C\|f\|_{H^1_{S_h}}$の証明が成立し、$L^p$収束および尾部減衰に依存する。
• 分子$\widetilde{m}_k^j(N)$が有効な$(\widetilde{p},\widetilde{\varepsilon},M)$-分子であることが示され、分子分解が良好に保たれることを保証した。