[論文レビュー] Absolute continuity between the surface measure and harmonic measure implies rectifiability

Steve Hofmann, José María Martell+3 more|arXiv (Cornell University)|Jul 15, 2015

Advanced Mathematical Modeling in Engineering参考文献 11被引用数 6

ひとこと要約

この論文は、$ E \subset \partial\Omega $ が有限の $ n $ 次元ヒルベルト・ハウスドルフ測度を持つ部分集合であるとき、調和測度が表面測度に関して絶対連続であることから、事前にトポロジー的仮定（例えば、空隙性）を必要とせずに、調和測度 $ \omega|_E $ の可解性が導かれる。証明は、高次元および平面的次元におけるダイアディック解析、グリーン関数、最大関数を用い、リーマン変換を容量推定によって制御する重要な補題に帰着される。

ABSTRACT

In the present paper we prove that for any open connected set $Ω\subset{\mathbb R}^{n+1}$, $n\geq 1$, and any $E\subset \partialΩ$ with $0

研究の動機と目的

• 調和測度が表面測度に関して絶対連続であることから、領域に関する事前のトポロジー的仮定が不要な条件下で、測度の可解性が導かれるようにすること。
• 調和測度と可解性を結びつける以前の結果で要求されていた空隙性条件を排除すること。
• 調和測度と可解性の関係を、$ \mathbb{R}^{n+1} $ 内の一般の開連結領域（平面の場合を含む）にまで拡張すること。
• 可解性が調和測度の絶対連続性の必要条件であることを示し、古典的結果の逆方向を完成させること。

提案手法

• デイヴィッドとマティラのダイアディック格子を用いて、境界をダイアディック立方体に分解し、異なるスケールにおける調和測度の振る舞いを分析する。
• グリーン関数と調和測度との関係を応用し、境界付近における調和関数の増大を制御する。
• 境界上にフロストマン型測度を導入し、リーマン変換の文脈におけるエネルギーと容量を制御する。
• 問題のある領域（測度が正しく振る舞わない可能性がある領域）を特定するために、『良い』と『悪い』立方体への分解を導入する。
• 最大関数のリーマン変換を、比 $ \omega^p(Q)/\mu(Q) $ の形で評価する重要な補題を確立する。この評価には、調和関数の比較と最大原理が用いられる。
• 平面的状況に適応するため、対数ポテンシャルと対数容量を用い、容量積分に追加の $ \log(1/r) $ 要素を含める。

実験結果

リサーチクエスチョン

• RQ1 調和測度が表面測度に関して絶対連続であることから、空隙性のようなトポロジー的仮定がなくても、測度の可解性が導かれるか？
• RQ2 アーフォルズ＝デイヴィッド正則性やその他の構造的条件を必要としない一般の領域において、可解性と絶対連続性の関係を確立できるか？
• RQ3 事前の幾何的仮定がなければ、リーマン変換が調和測度の可解性をどのように制御するか？
• RQ4 特に対数容量とポテンシャルに関して、平面的状況に結果を拡張するにあたり、どのような修正が必要か？

主な発見

• 有限な $ n $ 次元ヒルベルト・ハウスドルフ測度 $ 0 < \mathcal{H}^n(E) < \infty $ を持つ集合 $ E \subset \partial\Omega $ 上で、調和測度 $ \omega|_E $ が $ \mathcal{H}^n|_E $ に関して絶対連続であれば、$ \omega|_E $ は $ n $-可解である。
• 境界の空隙性やアーフォルズ＝デイヴィッド正則性といった事前のトポロジー的仮定は一切必要ない。
• 主な技術的ステップは、比 $ \omega^p(Q)/\mu(Q) $ の形で最大関数のリーマン変換を一様に評価することであり、これは $ L^2 $ 界の導出によって可解性を示す。
• 平面的状況（$ n+1=2 $）では、対数ポテンシャルと対数容量を用いて議論を拡張でき、容量積分に追加の $ \log(1/r) $ 要素が含まれる。
• 証明は、ホワイトニィ型領域内で最大原理を用いて、対数ポテンシャルと調和関数の差を制御する、新たな重要な補題に依存する。
• この結果は、古典的結果の逆方向を完成させ、調和測度の絶対連続性のためには可解性が必要であることを示している。