[论文解读] Existence and regularity of solutions to optimal partition problems involving Laplacian eigenvalues

Miguel Ramos, Hugo Tavares+1 more|arXiv (Cornell University)|Jan 1, 2012

Advanced Mathematical Modeling in Engineering参考文献 23被引用 8

一句话总结

本文通过使用具有符号变化分量的竞争型薛定谔型系统，采用奇异摄动方法，建立了R^N中有界区域上狄氏特征值问题最优划分的存在性与正则性。关键结果为：最优划分的自由边界在忽略一个零测集后，局部为C^{1,α}超曲面。

ABSTRACT

Let $\Omega\subset \mathbb{R}^N$ be an open bounded domain and $m\in \mathbb{N}$. Given $k_1,\ldots,k_m\in \mathbb{N}$, we consider a wide class of optimal partition problems involving Dirichlet eigenvalues of elliptic operators, including the following \[ \inf\left\{\Phi(\omega_1,\ldots,\omega_m):=\sum_{i=1}^m \lambda_{k_i}(\omega_i): (\omega_1,\ldots, \omega_m)\in \mathcal{P}_m(\Omega) ight\}, \] where $\lambda_{k_i}(\omega_i)$ denotes the $k_i$-th eigenvalue of $(-\Delta,H^1_0(\omega_i))$ counting multiplicities, and $\mathcal{P}_m(\Omega)$ is the set of all open partitions of $\Omega$, namely \[ \mathcal{P}_m(\Omega)=\left\{(\omega_1,\ldots,\omega_m): \omega_i\subset \Omega ext{ open}, \omega_i\cap \omega_j=\emptyset \forall i eq j ight\}. \] We prove the existence of an open optimal partition $(\omega_1,\ldots, \omega_m)\in \mathcal{P}_m(\Omega)$, proving as well its regularity in the sense that the free boundary $\cup_{i=1}^m \partial \omega_i\cap \Omega$ is, up to a residual set, locally a $C^{1,\alpha}$ hypersurface. In order to prove this result, we first treat some general optimal partition problems involving all eigenvalues up to a certain order. The study of this new class of problems is done via a singular perturbation approach with a class of Schr\odinger-type systems which models competition between different groups of possibly sign-changing components. An optimal partition appears in relation with the nodal set of the limiting components, as the competition parameter becomes large. The proofs also involve new boundary Harnack principles on NTA and Reifenberg flat domains, as well as an extensive use of Almgren-type monotonicity formulas.

研究动机与目标

• 建立在R^N中有界区域Ω的m个互不相交子区域上，最小化狄氏特征值之和的最优划分的存在性。
• 证明划分区域之间分隔的自由边界的正则性。
• 利用奇异摄动框架，分析涉及给定阶数以内所有特征值的一类最优划分问题。
• 将竞争型薛定谔型系统的极限行为与定义最优划分的节点集联系起来。
• 在NTA域与雷芬贝格平坦域上发展边界哈纳克原理，并应用阿姆格伦型单调性公式，以进行正则性分析。

提出的方法

• 采用奇异摄动方法，引入一个竞争参数，使系统趋近于对应于最优划分的极限配置。
• 该方法涉及研究具有符号变化分量的薛定谔型方程组，以模拟不同组分之间的竞争。
• 当竞争参数趋于无穷时，最优划分作为极限分量的节点集出现。
• 为NTA域与雷芬贝格平坦域发展边界哈纳克原理，以控制解在边界附近的性质。
• 应用阿姆格伦型单调性公式，分析奇点处的爆破行为，并建立自由边界的正则性。
• 分析依赖于精细估计与紧致性论证，以实现极限过程，推导出最优划分的存在性与结构。

实验结果

研究问题

• RQ1 在R^N中有界区域Ω的m个互不相交子区域上，狄氏特征值之和的最优划分是否存在？
• RQ2 此类最优划分中，分隔子区域的自由边界的正则性如何？
• RQ3 如何利用竞争型薛定谔型系统的极限行为来表征最优划分？
• RQ4 为确保自由边界的正则性，需要哪些边界条件与几何假设（如NTA、雷芬贝格平坦）？
• RQ5 阿姆格伦型单调性公式与边界哈纳克原理在正则性证明中的贡献程度如何？

主要发现

• 在Ω的开、互不相交子区域类中，存在最小化第k_i个狄氏特征值之和的最优划分。
• 自由边界∪_{i=1}^m ∂ω_i ∩ Ω在忽略一个零测集后，局部为C^{1,α}超曲面。
• 当竞争参数发散时，具有竞争分量的奇异摄动薛定谔型系统的极限节点集对应于最优划分。
• 为NTA域与雷芬贝格平坦域建立了边界哈纳克原理，从而实现了对边界附近解衰减行为的控制。
• 应用阿姆格伦型单调性公式，分析奇点处的爆破剖面，并证明了自由边界的正则性。
• 在一般几何假设下，正则性结果成立，将先前结果推广至更广泛的域类。