[论文解读] Quantitative stratification for some free-boundary problems

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

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

一句话总结

本文利用定量分层与可度量-Reifenberg框架，建立了单相Alt-Caffarelli问题中自由边界奇异集的可度量性与一致测度界。证明了在紧子集上，奇异集的$(n-k^*)$维Hausdorff测度一致有界，且该界仅依赖于$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.

研究动机与目标

• 建立单相Alt-Caffarelli问题中自由边界奇异集的可度量性与一致打包界。
• 将定量分层框架扩展至具有非恒定系数的自由边界问题。
• 证明奇异集在紧子集中具有有限的$(n-k^*)$维Hausdorff测度。
• 提供一个适用于更广泛自由边界问题类（包括双相与向量值情形）的稳健框架。
• 通过类似Corona的分解与局部$L^2$-估计实现有效维数降低，以控制密度下降。

提出的方法

• 将Naber-Valtorta的定量分层框架应用于自由边界点，通过爆破分析按对称度分类。
• 引入$(k,\epsilon,r)$-层作为经典层的有效类比，捕捉爆破中对称的程度。
• 使用类似Corona的分解，通过好树与坏树覆盖奇异集，确保半径的$k^*$次幂之和具有一致控制。
• 利用密度下降的$L^2$-估计控制频率函数的振荡，并将其与奇异集的可度量性联系起来。
• 应用可度量-Reifenberg定理，从Ahlfors正则性与$L^2$平坦性估计推导出可度量性。
• 依赖Alt-Caffarelli的$\epsilon$-正则性定理与Weiss频率函数的单调性，以控制爆破行为。

实验结果

研究问题

• RQ1 能否证明单相Alt-Caffarelli问题中自由边界奇异集的可度量性？
• RQ2 奇异集在Hausdorff维数与测度上的精确测度理论大小为何？
• RQ3 定量分层与可度量-Reifenberg框架能否被适配至具有非恒定系数的自由边界问题？
• RQ4 $k^*$-维对称性阈值如何与奇异集的可度量性及测度界相关联？
• RQ5 能否利用局部几何与分析工具，为奇异集导出有效的打包估计？

主要发现

• 奇异集$\mathrm{sing}(u) \cap D$的$(n-k^*)$维Hausdorff测度被一个仅依赖于$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^*}$-测度在远离边界处满足上Ahlfors正则性，即$\mu_{\nu}(B_r(x)) \leq c(n,\Lambda,\epsilon,\alpha) r^{n-k^*}$。
• 证明依赖于一种类似Corona的分解，其中奇异集由好树与坏树的球覆盖，且总$r^{k^*}$-质量具有一致有界性。
• 该框架可适用于一大类相关问题，包括双相问题、向量值单相问题及几乎极小化问题，仅需极少修改。
• $L^2$-估计与$\epsilon$-正则性定理在将对称性与可度量性、测度界联系起来方面起关键作用。