[论文解读] An inequality à la Szegő-Weinberger for the $p-$Laplacian on convex sets

Lorenzo Brasco, Carlo Nitsch+1 more|arXiv (Cornell University)|Jul 28, 2014

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

一句话总结

本文在凸集的直径范围内，为 $p$-Laplacian 的第一个非平凡 Neumann 特征值建立了精确的上界，证明当集合退化为线段时，上确界被逼近。关键结果将经典的 Szegő-Weinberger 不等式推广至非线性 $p$-Laplacian 设置（$p \in (1,\infty)$），表明对任意 $N$-维球 $B$，有 $\mu_p(\Omega) < \lambda_p(B) \left(\frac{\mathrm{diam}(B)}{\mathrm{diam}(\Omega)}\right)^p$，且对有界凸集，等号永不成立。

ABSTRACT

In this paper we prove a sharp inequality of Szegő-Weinberger type for the first nontrivial eigenvalue of the $p-$Laplacian with Neumann boundary conditions. This applies to convex sets with given diameter. Some variants, extensions and limit cases are investigated as well.

研究动机与目标

• 在凸集的直径范围内，为 $p$-Laplacian 的第一个非平凡 Neumann 特征值 $\mu_p(\Omega)$ 建立精确的上界。
• 研究经典 Szegő-Weinberger 不等式在 $p=2$ 时是否可推广至 $p \neq 2$ 的凸区域情形。
• 分析形状优化问题 $\sup\{\mu_p(\Omega) : \Omega \subset \mathbb{R}^N \text{ 凸}, \mathrm{diam}(\Omega) \geq 1\}$，并确定其上确界。
• 证明上确界不被任何有界凸集实现，但可通过退化为线段的凸集序列在极限下逼近。
• 推导一个尺度不变的不等式，将 $\mu_p(\Omega)$ 与同直径球的 $p$-Laplacian 特征值联系起来，推广 $p=2$ 的情形。

提出的方法

• 作者使用一种精心构造的测试函数，灵感来自文献 [6]，并根据凸集的几何结构和 $p$-Laplacian 的特性进行定制。
• 他们分析了一维情形下在带权函数 $g(s)$ 的线段上特征值问题的约化，该函数模拟凸集的横截面积。
• 证明依赖于 $\mu_p(\Omega)$ 的变分刻画，并对 $p \geq 2$ 使用拉格朗日乘数法；对 $1 < p < 2$ 则通过 [11] 中的逼近与正则性论证处理。
• 采用反证法证明，一维问题的任意极小化子仅在原点处为零，从而证明对称性与其余位置的严格正性。
• 作者利用等直径不等式，推导出以体积表示的次级上界，将 $\mu_p(\Omega)$ 与 $\lambda_p(B)$ 和 $|\Omega|$ 联系起来。
• 他们证明上确界 $\mu^*$ 有限且不可达，且沿退化为线段的凸集序列 $\Omega_n$，有 $\mu_p(\Omega_n) \to \mu^*$。

实验结果

研究问题

• RQ1 能否将 $p=2$ 时拉普拉斯算子第一个非平凡 Neumann 特征值的 Szegő-Weinberger 不等式推广至 $p \neq 2$ 的 $p$-Laplacian 情形？
• RQ2 是否存在以 $\Omega$ 的直径表示的 $\mu_p(\Omega)$ 在凸集上的精确上界？
• RQ3 形状优化问题 $\sup\{\mu_p(\Omega) : \Omega \text{ 凸}, \mathrm{diam}(\Omega) \geq 1\}$ 是否存在最大化器？
• RQ4 当凸集退化为线段时，$\mu_p(\Omega)$ 的渐近行为如何？
• RQ5 能否利用直径上的上界，通过等直径不等式推导出以体积为基础的 $\mu_p(\Omega)$ 上界？

主要发现

• 在直径至少为 1 的凸集上，$\mu_p(\Omega)$ 的上确界是有限的，且为 $\mu^* = \lambda_p(B) \left(\frac{\mathrm{diam}(B)}{1}\right)^p$，其中 $B$ 为 $N$-维球。
• 对所有有界凸集 $\Omega$，不等式 $\mu_p(\Omega) < \lambda_p(B) \left(\frac{\mathrm{diam}(B)}{\mathrm{diam}(\Omega)}\right)^p$ 成立，且为严格不等式。
• 上确界 $\mu^*$ 不被任何有界凸集实现；它可通过退化为线段的凸集序列在极限下逼近。
• 对任意凸集 $\Omega$，有不等式 $\mu_p(\Omega) < \lambda_p(B) \left(\frac{|B|}{|\Omega|}\right)^{p/N}$ 成立，该不等式由直径上界与等直径不等式推导得出。
• 第一个非平凡 Neumann 特征值 $\mu_p(\Omega)$ 严格小于同直径球的 Dirichlet 特征值 $\lambda_p(B)$。
• 一维特征值问题的极小化子仅在原点处为零，这对证明严格不等式与对称性性质至关重要。