[论文解读] Existence of minimizers for spectral problems

Dario Mazzoleni, Aldo Pratelli|arXiv (Cornell University)|Dec 1, 2011

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

一句话总结

本文证明了在 $\mathbb{R}^N$ 中，对于单位测度的开集上任意递增的前 $k$ 个 Dirichlet 拉普拉斯算子特征值泛函，其有界极小化器存在。通过证明比值 $\lambda_k/\lambda_1$ 由仅依赖于 $k$ 和 $N$ 的常数一致有界，作者克服了无界区域中紧致性缺失的问题，使得可以应用 Buttazzo–Dal Maso 紧致性结果，并确保极小化器存在于一个与泛函无关的统一有界区域中。

ABSTRACT

In this paper we show that any increasing functional of the first k eigenvalues of the Dirichlet Laplacian admits a (quasi-)open minimizer among the subsets of R^N of unit measure. In particular, there exists such a minimizer which is bounded, where the bound depends on k and N, but not on the functional. In the meantime, we show that the ratio λ_k(Ω)/λ_1(Ω) is uniformly bounded for sets Ω\in R^N.

研究动机与目标

• 解决在无界区域中，Dirichlet 拉普拉斯算子前 $k$ 个特征值的递增泛函极小化器存在的长期悬而未决问题。
• 证明此类极小化器存在且在 $\mathbb{R}^N$ 中一致有界，与具体泛函无关。
• 为所有 $\mathbb{R}^N$ 中的拟开集 $\Omega$ 建立 $\lambda_k(\Omega)/\lambda_1(\Omega)$ 的统一上界，该上界仅依赖于 $k$ 和 $N$。
• 将经典 Buttazzo–Dal Maso 极小化器存在性结果从有界区域推广至整个空间 $\mathbb{R}^N$，且无需预先假设极小化序列有界。

提出的方法

• 通过将集合迭代分解为具有受控第一特征值的不相交子集，证明 $\lambda_k/\lambda_1$ 的统一有界性。
• 递归应用几何引理（引理 3.2），将集合 $\Omega$ 分解为 $2^j$ 个不相交的开子集，每个子集的 $\lambda_1$ 受仅依赖于 $k$、$N$ 和初始值 $K$ 的常数控制。
• 应用极小化极大原理和 Rayleigh 商估计，以这些子集上 $\lambda_1$ 的最大值来控制 $\lambda_k(\Omega)$。
• 利用比值 $\lambda_k/\lambda_1$ 在缩放下不变的性质，将一般情形约化为 $\lambda_1 = 1$ 的情形，从而实现统一有界。
• 通过表明任意极小化序列可被替换为不增加泛函值的统一有界序列，隐式运用了集中紧致性原理。
• 对统一有界的极小化序列应用 Buttazzo–Dal Maso 紧致性定理，从而得出极小化器的存在性。

实验结果

研究问题

• RQ1 每个递增的前 $k$ 个 Dirichlet 特征值泛函是否在 $\mathbb{R}^N$ 中的单位测度集合上均存在极小化器？
• RQ2 能否克服无界区域中紧致性的缺失，以确保此类极小化器的存在？
• RQ3 $\lambda_k(\Omega)/\lambda_1(\Omega)$ 是否在所有 $\mathbb{R}^N$ 中的拟开集 $\Omega$ 上一致有界？
• RQ4 经典 Buttazzo–Dal Maso 极小化器存在性结果能否从有界区域推广至整个空间 $\mathbb{R}^N$，且无需预先假设集合有界？

主要发现

• 对所有 $\mathbb{R}^N$ 中的拟开集 $\Omega$，比值 $\lambda_k(\Omega)/\lambda_1(\Omega)$ 由仅依赖于 $k$ 和 $N$ 的常数 $M(k,N)$ 一致有界，与集合的几何形状无关。
• 对任意递增的下半连续泛函 $\mathcal{F}: \mathbb{R}^k \to \mathbb{R}$，泛函 $\mathcal{F}(\lambda_1(A), \dots, \lambda_k(A))$ 在满足 $|A| = 1$ 的开集 $A \subseteq \mathbb{R}^N$ 上的下确界由一个有界集 $A$ 实现。
• 极小化器包含于一个边长为 $R(k,N)$ 的立方体内，该值仅依赖于 $k$ 和 $N$，而与泛函 $\mathcal{F}$ 无关。
• 证明表明，任意满足 $\lambda_1(\Omega) \leq K$ 的开集 $\Omega$，均有 $\lambda_k(\Omega) \leq M'(k,K,N)$，其中 $M'$ 仅依赖于 $k$、$K$ 和 $N$。
• 该结果将 Faber–Krahn 和 Krahn–Szegő 不等式推广至 $\mathbb{R}^N$ 中任意递增的前 $k$ 个特征值泛函。
• 现在可推出 $\lambda_3$ 的极小化器存在，尽管最优集合仍未知。