[論文レビュー] Quantitative stratification for some free-boundary problems

Nick Edelen, Max Engelstein|arXiv (Cornell University)|Feb 14, 2017

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

ひとこと要約

本稿は、定量的ストラティフィケーションおよび可解的＝レイフェンバーグ枠組みを用いて、1相性Alt-Caffarelli問題における自由境界の特異集合の可解性および一様測度上限を確立する。コンパクト部分集合における特異集合の$(n-k^*)$次元ヒルベルト測度が、$n$、$Q$の$C^α$ノルム、その下限、および領域の幾何的パラメータにのみ依存する定数によって一様に有界であることを証明する。

ABSTRACT

In this paper we prove the rectifiability of and measure bounds on the singular set of the free boundary for minimizers of a functional first considered by Alt-Caffarelli. Our main tools are the Quantitative Stratification and Rectifiable-Reifenberg framework of Naber-Valtorta, which allow us to do a type of "effective dimension-reduction." The arguments are sufficiently robust that they apply to a broad class of related free boundary problems as well.

研究の動機と目的

• 1相性Alt-Caffarelli問題における自由境界の特異集合の可解性および一様パッキング上限を確立すること。
• 非定数係数を有する自由境界問題に向けた定量的ストラティフィケーションフレームワークを拡張すること。
• 特異集合がコンパクト部分集合において有限の$(n-k^*)$次元ヒルベルト測度を持つことを示すこと。
• 2相性およびベクトル値バージョンを含む、より広範な自由境界問題クラスに適用可能な堅牢なフレームワークを提供すること。
• コロナ型分解および局所的な$L^2$-推定を用いて、次元の効果的低減を達成すること。

提案手法

• Naber-Valtortaの定量的ストラティフィケーションフレームワークを適用し、ブロウアップ解析を用いて自由境界の点をその対称性の度合いによって分類する。
• $(k,\epsilon,r)$-ストラトを、古典的ストラトの効果的類似物として導入し、ブロウアップにおける対称性の度合いを捉える。
• 良き木と悪い木を用いたコロナ型分解により、特異集合を球で被覆し、半径の$k^*$乗和に対する一様な制御を保証する。
• 密度低下における$L^2$-推定を用いて、周波数関数の振動を制御し、特異集合の可解性と結びつける。
• 可解的＝レイフェンバーグ定理を適用し、アーフォルズ正則性および$L^2$-フラットネス推定から可解性を導出する。
• Alt-Caffarelliの$\epsilon$-正則性定理およびワイズの周波数関数の単調性を用いて、ブロウアップ挙動を制御する。

実験結果

リサーチクエスチョン

• RQ1 1相性Alt-Caffarelli問題における自由境界の特異集合が可解的であることを示せるか？
• RQ2 特異集合の測度論的サイズは、ヒルベルト次元および測度の観点でどのように特徴づけられるか？
• RQ3 定量的ストラティフィケーションおよび可解的＝レイフェンバーグ枠組みを非定数係数を有する自由境界問題に適応可能か？
• RQ4 $k^*$次元の対称性閾値は、特異集合の可解性および測度上限とどのように関係するか？
• RQ5 局所的な幾何的・解析的ツールを用いて、特異集合の有効なパッキング推定を導出可能か？

主な発見

• コンパクト領域$D$における特異集合$\mathrm{sing}(u) \cap D$の$(n-k^*)$次元ヒルベルト測度は、$n$、$|Q|_{C^\alpha(D')}\!$、$\min_{D'} Q$、$\mathrm{dist}(D,\partial D')$、および$\mathcal{L}^n(D')$にのみ依存する定数$C$によって一様に有界である。
• 特異集合$\mathrm{sing}(u) \cap D$は$(n-k^*)$-可解的である。これは、$\mathcal{H}^{n-k^*}$-測度零集合を除き、可解的$C^1$部分多様体の可算和に含まれることを意味する。
• $k^*$-ストラトの$\mathcal{H}^{n-k^*}$-測度は境界から離れた領域で上アーフォルズ正則であり、$\mu_{\nu}(B_r(x)) \leq c(n,\Lambda,\epsilon,\alpha) r^{n-k^*}$を満たす。
• 証明は、良き木と悪い木から成るコロナ型分解に依存しており、特異集合が球で被覆され、全半径の$k^*$乗質量が一様に有界である。
• このフレームワークは、2相性、ベクトル値1相性、およびほとんど最小化問題など、類似問題の広いクラスに最小限の修正で適用可能である。
• $L^2$-推定および$\epsilon$-正則性定理は、対称性と可解性、測度上限を結びつける上で中心的な役割を果たす。