[論文レビュー] Rectifiability of harmonic measure in domains with porous boundaries

Jonas Azzam, Mihalis Mourgoglou+1 more|arXiv (Cornell University)|May 22, 2015

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

ひとこと要約

この論文は、境界が透水性を有する領域の境界の部分集合において、調和測度がハウスドルフ測度に関して絶対連続であるならば、その測度の制限がn-可解集合に集中することを確立する。この結果は、dyadic解析、リーマン変換、非同次Tb定理を含む幾何的測度論の高度な技術に依拠し、透水性領域における絶対連続性の仮定の下で可解性を証明する。

ABSTRACT

We show that if $n\geq 1$, $Ω\subset \mathbb R^{n+1}$ is a connected domain with porous boundary, and $E\subset \partialΩ$ is a set of finite and positive Hausdorff $H^{n}$-measure upon which the harmonic measure $ω$ is absolutely continuous with respect to $H^{n}$, then $ω|_E$ is concentrated on an $n$-rectifiable set.

研究の動機と目的

• 透水性境界を有する領域における調和測度の絶対連続性とその台の可解性との関係を調査すること。
• 調和測度がハウスドルフ測度に関して絶対連続であるならば、その測度の台が可解的であるかどうかを特定すること。
• NTAおよびアーベルス正則領域における既知の可解性結果を、より一般的な透水性境界の設定に拡張すること。
• 幾何的に不規則な領域において、調和測度の絶対連続性のためには可解性が必須であるかどうかという、重要な未解決問題を解消すること。
• 境界がアーベルス正則でもリプシッツ的でもない場合でも、調和測度がn-可解的であるための十分条件を確立すること。

提案手法

• dyadicグリッド構成とdyadicスパース支配を用いて、透水的集合における調和測度の挙動を分析する。
• ナザロフ、トレイル、ヴォルバーグの非同次Tb定理を適用し、リーマン変換の弱型有界性を制御する。
• dyadic最大関数とdyadicスパース作用素を用いて、リーマン変換の最大関数を制御する。
• 境界を良い立方体と悪い立方体にdyadicに分解し、エネルギーと弱型推定を制御する。
• デイビス＝レジャールの定理と非同次Tb定理を適用し、正の測度の部分集合におけるリーマン変換のL²有界性を導出する。
• L²におけるリーマン変換の有界性が、均一可解性理論を介して測度のn-可解性を示すという事実を用いる。

実験結果

リサーチクエスチョン

• RQ1 透水性境界上での調和測度がハウスドルフ測度に関して絶対連続であるならば、その測度は可解的であるか？
• RQ2 アーベルス正則性やリプシッツ構造を仮定せずに、透水性境界を有する領域において調和測度の可解性を確立できるか？
• RQ3 調和測度がハウスドルフ測度に関して絶対連続であるならば、透水性境界上での測度の台は必然的に可解的か？
• RQ4 境界のどの幾何的条件が、境界が滑らかでない場合でも調和測度の可解性を保証するか？
• RQ5 非アーベルス正則で透水性を有する領域において、非同次Tb定理を効果的に適用して調和測度の可解性を証明できるか？

主な発見

• 領域 Ω ⊂ ℝⁿ⁺¹ が透水性境界を有し、集合 E ⊂ ∂Ω において調和測度 ω が 𝒫ⁿ に関して絶対連続で、0 < 𝒫ⁿ(E) < ∞ であるならば、ω|E はn-可解集合に集中する。
• 証明は、あるボレル集合 G₀ ⊂ E に対して ω(G₀) > 0 であるとき、L²(ω|G₀) 上でリーマン変換が有界であることを示すことによって、ω|E がn-可解的であることを確立する。
• 鍵となるステップは、良い集合 G₀ に制限された測度 ωᵖ に非同次Tb定理を適用し、リーマン変換の有界性を保証することにある。
• 境界がアーベルス正則でもリプシッツ的でもない場合でも、境界が透水的であり、絶対連続性の条件が満たされていれば、この結果は成り立つ。
• 著者らは、正の測度の集合上で、最大関数 Mⁿωᵖ と最大リーマン変換 𝒮*ωᵖ が ωᵖ-ほとんど everywhere で有限であることを示し、これによりTb定理の適用が可能になる。
• 境界がコンパクトでなくても、測度を球に局所化し、局所化された測度に対して同じ議論を適用することで、結論は頑健に保たれる。