[论文解读] Regularity of the minimizers in the composite membrane problem in R^2

Sagun Chanillo, Carlos E. Kenig+1 more|ArXiv.org|Apr 7, 2008

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

一句话总结

该论文在 $\mathbb{R}^2$ 中的复合膜问题下，于物理条件 $\alpha < \lambda$ 下建立了极小化器的 $C^{1,1}$ 正则性以及自由边界 $\partial\{u>c\}$ 的解析正则性。通过二阶变分分析与整体几何论证，证明了超水平集 $\{u>c\}$ 具有有限多个不相交的、解析的连通分支，且在边界上梯度为正，从而解决了极小化器中奇点问题。

ABSTRACT

We study the regularity of minimizers to the composite membrane problem in the plane (ie given a domain omega and a positive number A, smaller than the measure of omega, minimize the first Dirichlet eigenvalue for the Schrodinger operator with potential equal to a fixed multiple of the characteristic function of a subset D of omega, with measure A). We show that for minimizers, the boundary of D is analytic.

研究动机与目标

• 在物理条件 $\alpha < \lambda$ 下，建立 $\mathbb{R}^2$ 中复合膜问题极小化器的正则性。
• 解决自由边界 $\partial\{u>c\}$ 的正则性问题，特别是 $|Du| = 0$ 的点，这些点可能是奇点。
• 证明极小化器为 $C^{1,1}$，且 $\{u>c\}$ 每个连通分支的边界是由有限个不相交、简单、实解析曲线构成的并集，且梯度非零。
• 通过二阶变分分析排除不稳定的爆破解，从而实现正则性的提升。

提出的方法

• 在域和函数扰动下，推导能量泛函 $E(s,t)$ 的一阶与二阶变分，其中 $|D(t)| = A$。
• 利用二阶变分公式排除不稳定的爆破极限，特别是那些在自由边界处梯度消失的情形。
• 应用整体几何论证，包括 Jordan 曲线定理，分析 $\{u>c\}$ 连通分支的结构。
• 采用爆破分析并结合先前工作 [5] 中的奇点分类，排除病态构型。
• 结合 $u$ 的 $C^{1,1}$ 正则性与边界解析性，利用强极大值原理与椭圆正则性。
• 基于 $\sum \int_{\mathcal{F}_k} |Du|^{-1}$ 发散的反证法，证明 $|Du| > 0$ 在 $\partial U$ 上成立。

实验结果

研究问题

• RQ1 在物理条件 $\alpha < \lambda$ 下，能否证明 $\mathbb{R}^2$ 中复合膜问题的极小化器具有 $C^{1,1}$ 正则性？
• RQ2 自由边界 $\partial\{u>c\}$ 是否在 $|Du| = 0$ 的点也保持解析性？
• RQ3 能否利用能量泛函的二阶变分排除会破坏解析正则性的不稳定爆破解？
• RQ4 $\{u>c\}$ 的连通分支边界是否由有限个不相交、解析的曲线构成，且梯度非零？
• RQ5 $\{u>c\}$ 的连通分支数量是否有限，且其闭包是否两两不相交？

主要发现

• 在条件 $\alpha < \overline{\alpha}(A)$ 下，极小化器 $u$ 在 $\Omega$ 上具有 $C^{1,1}$ 正则性，解决了关键的正则性问题。
• 自由边界 $\partial\{u>c\}$ 由有限个不相交、简单、闭合、实解析的曲线构成，且满足 $|Du| > 0$。
• $\{u>c\}$ 具有有限多个连通分支，且这些分支的闭包两两不相交。
• 梯度 $|Du|$ 在 $\partial\{u>c\}$ 上严格为正，消除了极小化器中 $|Du| = 0$ 的奇点。
• 由于边界解析及椭圆正则性，函数 $u$ 在 $\{u>c\}$ 每个连通分支的闭包上均为解析函数。
• 存在一个修正集合 $\tilde{D}$，满足 $\partial\tilde{D} = \partial\{u>c\}$，且在零测度集外与 $D$ 一致，确认了边界结构在物理上的合理性。