[论文解读] 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

一句话总结

本文在较弱的拓扑与测度条件（Ahlfors正则性与双侧软木塞条件）下，证明了单位法向量在区域边界上的小振荡蕴含Reifenberg平坦性。关键贡献在于建立了单位法向量振荡与几何平坦性之间的定量联系，从而在弦-弧域理论中消除了先验的Reifenberg平坦性假设，并得到了关于调和测度的定量双相自由边界结果。

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.

研究动机与目标

• 建立单位法向量振荡与区域边界Reifenberg平坦性之间的定量联系。
• 在小常数弦-弧域定理中，消除对先验Reifenberg平坦性的假设。
• 为Kenig与Toro先前研究的调和测度双相自由边界问题，提供一个定量版本。
• 通过将Reifenberg型参数化与法向量振荡联系起来，扩展其适用范围。
• 在额外正则性条件下，证明可推导出趋于零的Reifenberg平坦性，从而改进先前结果。

提出的方法

• 以单位法向量的BMO范数控制作为关键输入，在Ahlfors正则性与双侧软木塞条件下推导出Reifenberg平坦性。
• 应用基于John-Nirenberg不等式与极大函数估计的紧致性论证，以控制不同尺度下的振荡。
• 采用涉及双层势及其梯度的积分估计，将法向量行为与调和测度及面积测度联系起来。
• 应用层势法与非切向极限，分析调和函数梯度的边界迹。
• 使用 dyadic 分解与 dyadic 方体，对估计进行局部化，并控制不同尺度下单位法向量的振荡。
• 应用定理2.1中紧致性论证的变体，证明小法向量振荡蕴含具有定量控制的Reifenberg平坦性。

实验结果

研究问题

• RQ1 在不假设先验平坦性的前提下，单位法向量的小振荡是否蕴含Reifenberg平坦性？
• RQ2 当法向量振荡受控时，是否可从弦-弧域小常数定理中去除Reifenberg平坦性条件？
• RQ3 是否仅通过法向量振荡与拓扑正则性，即可建立调和测度的定量双相自由边界结果？
• RQ4 法向量振荡与Reifenberg平坦性参数之间的精确定量依赖关系为何？
• RQ5 在何种条件下，小法向量振荡可蕴含趋于零的Reifenberg平坦性？

主要发现

• 在Ahlfors正则性与双侧软木塞条件下，单位法向量在BMO意义下的小振荡蕴含Reifenberg平坦性。
• 当法向量振荡较小时，Kenig与Toro（例如[KT99]中的定理4.2）定理中的先验Reifenberg平坦性假设是冗余的。
• 建立了[BH16]中定理1.1的定量版本，表明若法向量的BMO范数较小，则边界为具有定量参数的Reifenberg平坦。
• 当法向量振荡被控制在$C\eta^\gamma$以内（$γ > 0$，$η$较小）时，区域边界为$(\delta, \eta r_\delta)$-Reifenberg平坦。
• 在附加假设（如有限直径或一致控制）下，可获得趋于零的Reifenberg平坦性，扩展了[BH16]中的结果。
• 证明依赖于双层势及其梯度的估计，表明小法向量振荡可导致梯度的非切向极大函数的振荡也较小。