[论文解读] Faber-Krahn inequality for Robin problem involving p-Laplacian

Qiuyi Dai, Yu-xia Fu|arXiv (Cornell University)|Dec 2, 2009

Nonlinear Partial Differential Equations参考文献 14被引用 5

一句话总结

本文建立了具有罗宾边界条件的p-拉普拉斯算子的法伯-克劳恩型不等式，证明在固定体积的所有区域中，球体使第一特征值最小化。作者通过使用水平集分析、逼近技巧以及关于特征函数的新对称性结果，克服了p-拉普拉斯算子退化性及缺乏贝塞尔函数带来的挑战，将已知的拉普拉斯算子结果推广至p-拉普拉斯算子情形。

ABSTRACT

The eigenvalue problem for the p-Laplace operator with Robin boundary condition is considered in this paper. A Faber-Krahn type inequality is proved. More precisely, it is shown that amongst all the domains of fixed volume, the ball has the smallest first eigenvalue.

研究动机与目标

• 建立具有罗宾边界条件的p-拉普拉斯算子的法伯-克劳恩型不等式。
• 证明在所有固定体积的区域中，第一特征值由球体最小化。
• 解决p-拉普拉斯算子固有的非单调性和退化性问题，这些特性使得经典对称化方法无法直接应用。
• 将先前关于拉普拉斯算子的结果推广至p-拉普拉斯算子情形，特别是针对 $ p \neq 2 $ 的情况。
• 提供一种新证明方法，避免依赖贝塞尔函数，转而使用水平集分析和特征函数对称性。

提出的方法

• 利用第一特征值 $ \lambda_1(\Omega) $ 的水平集公式，通过超水平集上的积分表达它。
• 采用一种新颖的逼近程序，以处理p-拉普拉斯算子的退化性，并将结果从光滑区域推广至Lipschitz区域。
• 应用特征函数的对称性结果：若一个超水平集是球体且特征函数连续，则该特征函数在该球体内具有径向对称性。
• 使用涉及泛函 $ H_\Omega(U_t, \Phi) $ 的比较论证，当且仅当 $ U_t $ 是无外部边界的球体时，其等于球体的第一特征值。
• 利用在球体上狄利克雷问题解的唯一性，建立特征函数在水平集中的径向对称性。
• 依赖关于第一特征函数及其水平集的抽象命题，推导出 $ \lambda_1(\Omega) $ 的下界。

实验结果

研究问题

• RQ1 具有罗宾边界条件的p-拉普拉斯算子的第一特征值是否在所有固定体积的区域中，当且仅当区域为球体时取得最小值？
• RQ2 能否将罗宾问题的法伯-克劳恩不等式从拉普拉斯算子（$ p=2 $）推广至一般的p-拉普拉斯算子（$ p \neq 2 $）？
• RQ3 在证明此类不等式时，如何克服缺乏贝塞尔函数以及p-拉普拉斯算子退化性的问题？
• RQ4 p-拉普拉斯算子罗宾问题的法伯-克劳恩不等式等号成立情形是否由球面对称性刻画？
• RQ5 在 $ p > 2 $ 且 $ p \neq N $ 的情况下，尽管缺乏吉达斯-尼-尼伦伯格型结果，是否仍可建立p-拉普拉斯算子特征函数的对称性结果？

主要发现

• 具有罗宾边界条件的p-拉普拉斯算子的第一特征值 $ \lambda_1(\Omega) $ 在 $ \Omega $ 为同体积球体时最小化。
• 对于任意固定体积的区域 $ \Omega $，有 $ \lambda_1(B) \leq \lambda_1(\Omega) $，且等号成立当且仅当 $ \Omega = B $（至多相差平移）。
• 若第一特征函数的水平集是无外部边界的球体，则这些球体必同心，从而在这些区域中特征函数具有径向对称性。
• 该证明建立了p-拉普拉斯算子特征函数的新对称性结果：若一个超水平集是球体且特征函数连续，则其在该球体内具有径向对称性。
• 作者提供了一种新的法伯-克劳恩不等式证明，不依赖贝塞尔函数或对称化，而是基于水平集分析和解的唯一性。
• 该结果对所有 $ p \in (1, \infty) $ 成立，扩展了以往仅限于 $ p=2 $ 或特定情况的结果。