[論文レビュー] Reifenberg Flatness and Oscillation of the Unit Normal Vector

Simon Bortz, Max Engelstein|arXiv (Cornell University)|Aug 17, 2017

Advanced Mathematical Modeling in Engineering参考文献 10被引用数 4

ひとこと要約

本稿では、弱い位相的および測度論的条件（アーフォルス正則性および両側コルクスクリュー）の下で、領域の境界における単位法線ベクトルの小さな振動がリーフェンベルク平坦性を意味することを確立する。主な貢献は、法線ベクトルの振動と幾何学的平坦性との間の定量的関係を確立したことであり、これにより弦-アーク領域理論における事前平坦性仮定の排除が可能となり、ハーモニック測度に関する定量的二相自由境界結果が得られる。

ABSTRACT

We show (under mild topological assumptions) that small oscillation of the unit normal vector implies Reifenberg flatness. We then apply this observation to the study of chord-arc domains and to a quantitative version of a two-phase free boundary problem for harmonic measure previously studied by Kenig-Toro.

研究の動機と目的

• 領域の境界のリーフェンベルク平坦性と単位法線ベクトルの振動との間の定量的関係を確立すること。
• 定数が小さい弦-アーク領域に関する既存の定理において、事前リーフェンベルク平坦性仮定を排除すること。
• ケニッグとトロが以前に研究したハーモニック測度の二相自由境界問題について、定量的バージョンを提供すること。
• リーフェンベルク型パラメータ化の適用範囲を、法線ベクトルの振動と結びつけること。
• 追加の正則性条件の下で、リーフェンベルク平坦性の消失が示されることを示し、先行研究を精緻化すること。

提案手法

• アーフォルス正則性および両側コルクスクリュー条件の下で、単位法線ベクトルのBMOノルムの制御を鍵とする入力として、リーフェンベルク平坦性を導出する。
• ジョン＝ニレングラスの不等式および最大関数の推定に基づくコンパクトネスの議論を用いて、異なるスケールでの振動を制御する。
• 二重層ポテンシャルおよびその勾配を含む積分推定を用いて、法線ベクトルの振るまいとハーモニック測度・表面測度との関係を関係づける。
• 層ポテンシャルの方法および非接線的極限を用いて、調和関数の勾配の境界跡像を分析する。
• dyadic分解およびdyadic立方体を用いて推定を局所化し、異なるスケールにおける単位法線の振動を制御する。
• 定理2.1のコンパクトネスの議論の変種を適用し、小さな法線ベクトルの振動が定量的制御のもとでリーフェンベルク平坦性を意味することを示す。

実験結果

リサーチクエスチョン

• RQ1 事前平坦性を仮定せずに、単位法線ベクトルの小さな振動がリーフェンベルク平坦性を意味するか？
• RQ2 法線ベクトルの振動が制御されているとき、定数が小さい弦-アーク領域に関する定理からリーフェンベルク平坦性条件を排除できるか？
• RQ3 法線ベクトルの振動と位相的太さ（topological fatness）のみを用いて、ハーモニック測度の定量的二相自由境界結果を確立できるか？
• RQ4 法線ベクトルの振動とリーフェンベルク平坦性パラメータとの間の正確な定量的依存関係は何か？
• RQ5 どのような条件下で、小さな法線ベクトルの振動がリーフェンベルク平坦性の消失を意味するか？

主な発見

• アーフォルス正則性および両側コルクスクリュー条件の下で、単位法線ベクトルのBMO的振動がリーフェンベルク平坦性を意味する。
• ケニッグとトロの定理（例：[KT99]の定理4.2）において、法線ベクトルの振動が小さいとき、事前リーフェンベルク平坦性仮定は余分である。
• [BH16]の定理1.1の定量的バージョンが確立され、法線ベクトルのBMOノルムが小さいならば、境界は定量的パラメータを伴ってリーフェンベルク平坦であることが示される。
• 法線ベクトルの振動が $ C\eta^\gamma $ 以下に抑えられているとき（$ \gamma > 0 $）、領域の境界は $(\delta, \eta r_\delta)$-リーフェンベルク平坦である。
• 追加仮定（例：有界直径または一様な制御）の下で、リーフェンベルク平坦性の消失が得られ、[BH16]の結果が拡張される。
• 証明は、二重層ポテンシャルおよびその勾配の推定に依拠しており、法線ベクトルの小さな振動が、勾配の非接線的最大関数の小さな振動を引き起こすことを示している。