[论文解读] Isoperimetric Bounds for Eigenvalues of the Wentzell-Laplace, the Laplacian and a biharmonic Steklov Problem

Feng Du, Jing Mao+2 more|arXiv (Cornell University)|Aug 31, 2018

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

一句话总结

本文建立了欧氏空间或哈达姆流形中有界区域上温采尔-拉普拉斯算子、闭超曲面上拉普拉斯算子以及双调和史特克洛夫问题的低阶特征值的等周不等式。通过变分法与几何分析，证明了涉及体积、表面积和平均曲率的精确不等式，且等号仅在球体时成立，揭示了在几何约束下特征值优化中的刚性现象。

ABSTRACT

In this paper, we prove some isoperimetric bounds for lower order eigenvalues of the Wentzell-Laplace operator on bounded domains of a Euclidean space or a Hadamard manifold, of the Laplacian on closed hypersurfaces of a Euclidean space or a Hadamard manifold, and of a biharmonic Steklov problem on bounded domains of a Euclidean space. Especially, interesting rigidity results can be obtained if sharp bounds were achieved.

研究动机与目标

• 推导欧氏空间或哈达姆流形中有界区域上温采尔-拉普拉斯算子第一组非零特征值的等周不等式。
• 建立欧氏空间或哈达姆流形中闭超曲面上拉普拉斯算子前 $ n $ 个非零史特克洛夫特征值的精确等周界。
• 获得欧氏空间中有界区域上双调和史特克洛夫问题前 $ n-1 $ 个非零特征值的等周估计。
• 刻画这些不等式中等号成立的情形，证明等号成立当且仅当区域或超曲面为标准球体。

提出的方法

• 利用温采尔问题中涉及双线性型 $ A_{\beta}(u,u) $ 和 $ B(u,u) $ 的瑞利商对特征值进行变分表征。
• 在变分框架中将欧氏空间 $ \mathbb{R}^n $ 上的坐标函数 $ x_i $ 作为测试函数，以关联特征值与体积、表面积等几何量。
• 在超曲面上利用恒等式 $ \sum_{i=1}^n |\nabla x_i|^2 = n $ 与 $ \sum_{i=1}^n (\Delta x_i)^2 = (n-1)^2 |\mathbf{H}|^2 $，将特征值与平均曲率联系起来。
• 使用柯西-施瓦茨不等式与含参数 $ \delta $ 的杨不等式来估计特征值及其倒数的和。
• 应用形如 $ \lambda_i \int_M x_i^2 \leq \int_M |\nabla x_i|^2 $ 的庞加莱型不等式，将特征值与坐标函数的 $ L^2 $-范数关联。
• 通过假设不等式中等号成立，推导出几何约束，结合黎曼几何中的刚性定理，得出等号仅在标准球体或球形时成立。

实验结果

研究问题

• RQ1 在 $ \mathbb{R}^n $ 中有界区域上，前 $ n $ 个非零史特克洛夫特征值倒数之和的精确等周下界是什么？
• RQ2 在温采尔-拉普拉斯算子的等周特征值不等式中，等号在何种几何条件下成立？
• RQ3 双调和史特克洛夫问题中前 $ n-1 $ 个非零特征值如何与边界平均曲率及几何测度相关？
• RQ4 能否以体积与表面积表示闭超曲面上拉普拉斯算子特征值不等式的表达式？在何种情况下为精确界？
• RQ5 温采尔边界条件中的参数 $ \beta $ 在决定等周特征值估计的精确性方面起何作用？

主要发现

• 对于欧氏空间中 $ \Omega \subset \mathbb{R}^n $ 的史特克洛夫问题，前 $ n $ 个非零特征值倒数之和满足 $ \sum_{i=1}^n \frac{1}{p_i} \geq n \left( \frac{|\Omega|}{\omega_n} \right)^{1/n} $，等号成立当且仅当 $ \Omega $ 为球体。
• 对于 $ \beta \geq 0 $ 的温采尔-拉普拉斯特征值问题，前 $ n $ 个非零特征值满足 $ \sum_{i=1}^n \frac{1}{\lambda_{i,\beta}} \geq \frac{n^2 |\Omega|^2}{|M|^2} $，等号成立当且仅当 $ \Omega $ 为球体。
• 对于欧氏空间中有界区域 $ \Omega \subset \mathbb{R}^n $ 上的双调和史特克洛夫问题，不等式 $ \frac{1}{n-1} \sum_{j=1}^{n-1} \lambda_{j,\tau}^{1/2} \leq \frac{ \left( n\tau|\Omega| \int_{\partial\Omega} |\mathbf{H}|^2 \right)^{1/2} }{ |\partial\Omega| } $ 成立，等号成立当且仅当 $ \partial\Omega $ 为标准球面。
• 双调和史特克洛夫问题中等号成立意味着前 $ n-1 $ 个特征值全相等，且特征函数满足 $ \Delta x_i = -\delta \sqrt{\lambda_{n,\tau}} x_i $ 在 $ \partial\Omega $ 上，这迫使 $ \partial\Omega $ 为球面。
• 特征值不等式是精确的，且仅在标准球体或球面时取等，揭示了谱几何中强烈的刚性现象。
• 结果可推广至哈达姆流形，在非正曲率假设下，等周特征值不等式依然成立，且等号仅在这些空间中的测地球时成立。