[论文解读] Existence of minimizers for eigenvalues of the Dirichlet-Laplacian with a drift

Barbara Brandolini, Francesco Chiacchio+2 more|arXiv (Cornell University)|Jun 26, 2014

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

一句话总结

本文证明了在加权体积约束（涉及测度 $e^{|x|^2/2}dx$）下，对带漂移项 $-\Delta - x\cdot\nabla$ 的 Dirichlet-Laplacian 的任意特征值 $\lambda_k$，其极小化器的存在性。通过利用加权 Sobolev 空间中的紧嵌入性质，以及基于相关 PDE 解序列的新型收敛性论证，作者在 $\mathbb{R}^N$ 中证明了极小化拟开集的存在性，从而解决了漂移算子谱优化中的一个开放问题。

ABSTRACT

This paper deals with the eigenvalue problem for the operator $L=-\\Delta -x\\cdot \ abla $ with Dirichlet boundary conditions. We are interested in proving the existence of a set minimizing any eigenvalue $\\lambda_k$ of $L$ under a suitable measure constraint suggested by the structure of the operator. More precisely we prove that for any $c>0$ and $k\\in \\mathbb{N} $ the following minimization problem $$ \\min\\left\\{\\lambda_k(\\Omega): \\> \\Omega \\>\\mbox{quasi-open} \\>\\mbox{set}, \\> \\int_\\Omega e^{|x|^2/2}dx\\le c\ ight\\} $$ has a solution.

研究动机与目标

• 解决一个开放问题：在自然加权测度约束下，带漂移算子 $L = -\Delta - x\cdot\nabla$ 的任意特征值 $\lambda_k$ 是否存在极小化域。
• 在 $\mathbb{R}^N$ 中建立带漂移特征值问题极小化器的存在性，克服无界域中紧性的缺失。
• 将谱优化技术从标准 Dirichlet-Laplacian 扩展到带漂移算子，使用加权测度 $m_N = e^{|x|^2/2}dx$。
• 为在非均匀、指数增长权重下最小化高阶特征值 $\lambda_k$ 提供严格框架。

提出的方法

• 构造一组满足 $m_N(\Omega_n) \leq c$ 的极小化拟开集 $\Omega_n$，并考虑与 $\lambda_j(\Omega_n)$ 相关的特征函数 $u_n^j$。
• 定义 $w_n$ 为加权 Poisson 方程 $-\mathrm{div}(e^{|x|^2/2}\nabla w_n) = e^{|x|^2/2}$ 在 $\Omega_n$ 内的解，边界条件为 $w_n = 0$ 在 $\partial\Omega_n$ 上，并证明 $w_n \to w$ 在 $L^2(\mathbb{R}^N; m_N)$ 中强收敛。
• 利用最大值原理导出的逐点估计 $|u_n^j| \leq \Lambda M w_n$，证明 $u_n^j$ 在 $L^\infty$ 中一致有界，从而在 $H_0^1(\Omega_n; m_N)$ 中等度有界。
• 证明 $u_n^j \rightharpoonup u^j$ 在 $H^1(\mathbb{R}^N; m_N)$ 中弱收敛，且在 $L^2(\mathbb{R}^N; m_N)$ 中强收敛，其中 $u^j \in H_0^1(\hat{\Omega}; m_N)$，且 $\hat{\Omega} = \{w > 0\}$。
• 通过下半连续性与紧性证明 $\lambda_j(\hat{\Omega})$ 是特征值泛函的下确界，从而证明极小化器的存在性。
• 利用加权 Hardy 型不等式与特征函数的精确反 H"older 不等式，控制 $L^\infty$ 范数并确保收敛性。

实验结果

研究问题

• RQ1 是否存在一个域 $\Omega \subset \mathbb{R}^N$，使得其最小化算子 $-\Delta - x\cdot\nabla$ 的第 $k$ 个特征值 $\lambda_k(\Omega)$，在加权体积约束下？
• RQ2 在 $\mathbb{R}^N$ 中，通过使用适当的加权测度，是否可以克服带漂移谱优化问题中紧性的缺失？
• RQ3 当域在所有满足 $\int_\Omega e^{|x|^2/2}dx \leq c$ 的拟开集上变化时，带漂移 Laplacian 的 $\lambda_k$ 最小化问题是否适定？
• RQ4 能否对带漂移 Laplacian 的特征函数进行统一控制，以确保在域变化下收敛？

主要发现

• 对任意 $c > 0$ 和 $k \in \mathbb{N}$，最小化问题 $\min\{\lambda_k(\Omega) : \Omega \subset \mathbb{R}^N \text{ 拟开}, \, m_N(\Omega) \leq c\}$ 有解。
• 极小化器为一个拟开集 $\hat{\Omega} = \{w > 0\}$，其中 $w$ 是加权 Poisson 方程（$f \equiv 1$）的解。
• 与 $\lambda_j(\Omega_n)$ 相关的特征函数 $u_n^j$ 在 $L^2(\mathbb{R}^N; m_N)$ 中强收敛，在 $H^1(\mathbb{R}^N; m_N)$ 中弱收敛，极限为 $\hat{\Omega}$ 的特征函数 $u^j$。
• 极限特征值 $\lambda_j(\hat{\Omega})$ 达到下确界，从而证明了对任意 $k$，极小化器的存在性。
• 带漂移算子 $-\Delta - x\cdot\nabla$ 的最大值原理在拟开集上成立，确保在非负数据下解的非负性。
• 加权 Sobolev 空间 $H_0^1(\Omega; m_N)$ 在 $L^2(\Omega; m_N)$ 中是紧嵌入的，这对收敛性论证至关重要。