[論文レビュー] A sufficient geometric criterion for quantitative absolute continuity of harmonic measure

Steve Hofmann, José María Martell|arXiv (Cornell University)|Dec 11, 2017

Advanced Harmonic Analysis Research参考文献 23被引用数 7

ひとこと要約

本稿は、$\Omega \subset \mathbb{R}^{n+1}$ ($n \geq 2$) で、境界が一様リーマン的であるような開集合の境界上における調和測度が表面測度に関して定量的絶対連続であるための十分な幾何的条件を確立する。$\Omega$ が弱い局所的ジョン条件を満たすならば、調和測度は表面測度に関して弱-$A_\infty$ であることが示され、非連結な領域における調和測度の正則性のための幾何的基準が得られる。

ABSTRACT

Let $\Omega\subset \mathbb{R}^{n+1}$, $n\ge 2$, be an open set, not necessarily connected, with an $n$-dimensional uniformly rectifiable boundary. We show that harmonic measure for $\Omega$ is weak-$A_\infty$ with respect to surface measure on $\partial\Omega$, provided that $\Omega$ satisfies a certain weak version of a local John condition.

研究の動機と目的

• 領域の境界上で調和測度が表面測度に関して絶対連続となるような幾何的条件を特定すること。
• 連結でない領域に対しても調和測度の理論を拡張し、境界の幾何的性質の役割に焦点を当てる。
• 弱い局所的ジョン条件が調和測度の弱-$A_\infty$ 性質を十分条件として与えることの同定。
• 一様リーマン的集合の文脈において、調和測度の絶対連続性の定量的幾何的基準を提供すること。

提案手法

• 解析は境界の幾何的構造、特に一様リーマン的性質に依存しており、これによりアーフォルズ正則測度やリプシッツ的チャートの存在が保証される。
• 弱い局所的ジョン条件は、ドメインの連結性を制御する幾何的条件として導入され、$\Omega$ の点が境界点へと距離の境界への減少が制御された曲線で接続可能であることを保証する。
• 証明では調和関数の比較原理とジョン条件を用いて、境界付近における調和関数の変動を制御する。
• 弱-$A_\infty$ 性質は、調和測度が表面測度に関して弱い型のテスト条件を満たすことを示すことによって確立される。
• キーとなる推論は、ドメインのホイットニー分解とホイットニー立方体を用いたテストにより、調和測度の密度を制御する。
• 証明の根拠として、一様リーマン的集合が重み付き測度を備え、弱い幾何的ピオンカーレ不等式を満たすという事実が利用され、$A_\infty$-型テストが可能になる。

実験結果

リサーチクエスチョン

• RQ1 ドメイン $\Omega$ に対して、調和測度が $\partial\Omega$ 上の表面測度に関して弱-$A_\infty$ となるような幾何的条件は何か？
• RQ2 一様リーマン的境界を持つ非連結ドメインに対しても、調和測度の弱-$A_\infty$ 性質を確立できるか？
• RQ3 一様リーマン的性質のもとで、弱い局所的ジョン条件は調和測度の絶対連続性とどのように関係するか？
• RQ4 境界の幾何的構造が、調和測度の密度に対する定量的制御を保証する役割を果たすのはどのような点か？
• RQ5 弱-$A_\infty$ 性質は、ドメインの連結性と境界の正則性に関する純粋な幾何的条件によって特徴付けられるか？

主な発見

• ドメイン $\Omega$ が弱い局所的ジョン条件を満たし、かつ $\partial\Omega$ が一様リーマン的である限り、調和測度は表面測度に関して弱-$A_\infty$ である。
• この結果は $\Omega$ が連結でない場合にも成り立ち、連結性を仮定する必要がある従来の結果を拡張する。
• 弱い局所的ジョン条件は、より強い連結性の仮定の代わりに幾何的補完を提供し、より一般なドメインの解析を可能にする。
• 証明により、テスト条件を介して調和測度の密度が表面測度に対して定量的に制御されることが示された。
• 一様リーマン的境界に加え、ドメインに対する弱い幾何的制御があれば、弱-$A_\infty$ 性質が十分であることが確認された。
• 本稿は、境界およびドメイン構造上で直接的に検証可能な、内在的かつ十分な幾何的基準を提供する。グローバルな正則性の仮定は不要である。