[論文レビュー] Scale-invariant Boundary Harnack Principle in Inner Uniform Domains

Janna Lierl, Laurent Saloff‐Coste|arXiv (Cornell University)|Oct 12, 2011

Holomorphic and Operator Theory参考文献 24被引用数 4

ひとこと要約

本稿は、内部一様領域における局所的・正則なディリクレ空間に対して、スケール不変境界ハーナック原理を確立する。これは、非対称および下位階数の摂動を受ける作用素へと従来の結果を拡張するものである。ユークリッド距離の代わりに内部距離を用い、体積二重性およびハーナック不等式を活用することで、係数にドリフト項やポテンシャル項を含む場合でも、作用素 $ Lu = 0 $ の正の弱解の比が境界付近で一様に制御されることを証明する。

ABSTRACT

We prove a scale-invariant boundary Harnack principle in inner uniform domains in the context of local regular Dirichlet spaces. For inner uniform Euclidean domains, our results apply to divergence form operators that are not necessarily symmetric, and complement earlier results by H. Aikawa and A. Ancona.

研究の動機と目的

• 一般の局所的・正則なディリクレ空間に対して、内部一様領域におけるスケール不変境界ハーナック原理を確立すること。
• 対称的かつ一様楕円型作用素に関する従来の結果を、非対称および下位階数の摂動を受ける作用素へと拡張すること。
• キャレ・デュ・シャン構造の必要性を排除し、直接的に内部距離と調和関数を分析することによって、その構造に依存しない手法を構築すること。
• 内部距離における幾何学的・解析的道具を用いて、境界付近における正の弱解の比の一様な制御を証明すること。

提案手法

• 領域 $ ilde{ ho} $ 上の内部距離 $ d_{ ilde{ ho}} $ を用いて、球 $ B_{ ilde{ ho}}(x,r) $ を定義し、境界ハーナック原理におけるユークリッド球の代わりに用いる。
• 体積二重性およびハーナック不等式を応用し、グリーン関数の減衰および調和関数の比を制御する。
• 内部距離球と周囲空間の球の連結成分との関係を示す重要な幾何学的補題（補題 3.8）の活用。
• グリーン関数 $ G_{Y'} $ を用いた比較関数の構成および、ハーナックおよび最大原理におけるその挙動の分析。
• 最大原理およびハーナック不等式を用いて、$ G_{Y'}(x,y) $ を $ G_{Y'}(x^*,y) $ および $ G_{Y'}(x^*,y^*) $ で有界化し、比の制御を保証する。
• 内部一様性を介したチェイング議論を用い、グリーン関数および調和測度の比較により、領域全体にわたり境界を伝播する有界性を証明する。

実験結果

リサーチクエスチョン

• RQ1 内部一様領域における非対称的かつ下位階数の摂動を受ける作用素に対して、スケール不変境界ハーナック原理を拡張できるか？
• RQ2 ディリクレ空間においてキャレ・デュ・シャン構造の存在を仮定しない場合でも、境界ハーナック原理は成立するか？
• RQ3 境界ハーナック不等式における定数は、領域の幾何構造および作用素の係数にどのように依存するか？
• RQ4 一般のディリクレ形式に対して、内部距離をユークリッド球の代わりに効果的に用いることができるか？
• RQ5 体積二重性および内部一様性は、境界付近における正の弱解の比の一様な有界性を保証するために果たす役割は何か？

主な発見

• 非対称的および下位階数の摂動を受ける作用素を有する局所的・正則なディリクレ空間に対して、内部一様領域におけるスケール不変境界ハーナック原理が成立する。
• 作用素 $ Lf = \text{div}(a \nabla f) - b \nabla f + \text{div}(d f) - c f $ に対して、$ c - \text{div} b \rangle 0 $、$ c - \text{div} d \rangle 0 $、および楕円型条件 $ a \rangle \rho I $ を満たす場合、定数は $ \rho $、$ R $、および係数に依存するが、原理は成立する。
• $ b = d = c = 0 $ の場合、境界ハーナック不等式における定数 $ A_0 $ および $ A_1 $ は $ R $ に依存しないため、スケール不変性が保証される。
• 証明により、$ G_{Y'}(x,y) \triangleq \frac{G_{Y'}(x^*,y)}{G_{Y'}(x^*,y^*)} G_{Y'}(x,y^*) $ が一様定数の範囲で成り立つことが示され、$ B_{\tilde{\rho}}(\rho, r) $ 上での比の制御が保証される。
• 内部距離球 $ B_{\tilde{\rho}}(\rho, r) $ が大きな内部距離球の補集合に含まれることを示し、反復的ハーナックチェインを可能にする。
• 対称性およびキャレ・デュ・シャン仮定の排除により、Aikawa よりも一般化された結果が得られ、内部距離フレームワーク上で直接的に議論がなされている。