arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1609.01231math.APmath.FAmath.OC
收藏

某些谱泛函最优集的正则性

Regularity of the optimal sets for some spectral functionals

Dario Mazzoleni, Susanna Terracini, Bozhidar Velichkov

摘要:

本文研究形状优化问题\[ \min\Big\{λ_1(Ω)+\dots+λ_k(Ω)\ :\ Ω\subset\mathbb{R}^d,\ \text{open}\ ,\ |Ω|=1\Big\}, \]最优集的正则性,其中$λ_1(\cdot),\dots,λ_k(\cdot)$表示Dirichlet Laplacian的特征值,$|\cdot|$表示$d$维Lebesgue测度.本文证明了极小元$Ω_k^*$的拓扑边界是由一个相对开放的正则部分和一个闭合的奇异部分组成的,正则部分是$C^{1,α}$函数的局部图,而奇异部分是空的,如果$d<d^*$至多包含有限个孤立点,如果$d>d^*$,则奇异部分的Hausdorff维数小于$(d-d^*)$.其中自然数$d^*\in[5,7]$是最小化单相自由边界允许奇异的最小维数。为了实现我们的目标,作为一个辅助结果,我们将首次推广已知的正则性理论的单相自由边界问题的向量值的情况。

英文摘要:

In this paper we study the regularity of the optimal sets for the shape optimization problem \[ \min\Big\{λ_1(Ω)+\dots+λ_k(Ω)\ :\ Ω\subset\mathbb{R}^d,\ \text{open}\ ,\ |Ω|=1\Big\}, \] where $λ_1(\cdot),\dots,λ_k(\cdot)$ denote the eigenvalues of the Dirichlet Laplacian and $|\cdot|$ the $d$-dimensional Lebesgue measure. We prove that the topological boundary of a minimizer $Ω_k^*$ is composed of a relatively open regular part which is locally a graph of a $C^{1,α}$ function and a closed singular part, which is empty if $d<d^*$, contains at most a finite number of isolated points if $d=d^*$ and has Hausdorff dimension smaller than $(d-d^*)$ if $d>d^*$, where the natural number $d^*\in[5,7]$ is the smallest dimension at which minimizing one-phase free boundaries admit singularities. To achieve our goal, as an auxiliary result, we shall extend for the first time the known regularity theory for the one-phase free boundary problem to the vector-valued case.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑