[论文解读] An Eigenvalue problem for the Infinity-Laplacian

Tilak Bhattacharya, Leonardo Marazzi|arXiv (Cornell University)|Nov 13, 2012

Nonlinear Partial Differential Equations参考文献 8被引用 7

一句话总结

该论文通过粘性解和比较原理，证明了在有界区域上，无穷范数拉普拉斯算子存在主特征值及相应的正特征函数。在球体上，第一特征函数具有径向对称性，唯一（至多缩放因子），且符号确定；当权函数为常数时，径向解存在无穷多个特征值。

ABSTRACT

We study an eigenvalue problem for the infinity-Laplacian on bounded domains. We prove the existence of the principal eigenvalue and a corresponding positive eigenfunction. The work also contains existence results when the parameter, in the equation, is less than the first eigenvalue. A comparison principle applicable to these problems is also proven. Some additional results are shown, in particular, that on star- shaped domains and on C^2 domains higher eigenfunctions change sign. When the domain is a ball, we prove that the first eigenfunction has one sign, radial principal eigenfunction exist and are unique up to scalar multiplication, and that there are infinitely many eigenvalues.

研究动机与目标

• 建立有界区域上无穷范数拉普拉斯算子第一（主）特征值及其对应正特征函数的存在性。
• 证明适用于特征值问题粘性解的比较原理。
• 研究星形区域和 C² 区域上特征函数的符号性质，表明高阶特征函数会变号。
• 分析球体上的径向特征函数，证明其唯一性（至多缩放因子），并证明当权函数为常数时存在无穷多个特征值。
• 通过特征函数的单调性和水平集性质刻画第一特征值。

提出的方法

• 使用粘性解理论处理非线性、退化的无穷范数拉普拉斯算子。
• 应用比较原理以在粘性意义下控制次解和超解。
• 通过旋转解的 inf-卷积构造径向超解，采用 Perron 方法。
• 构造形式为 $ \psi(|x|, L) $ 的显式障碍函数，以界定特征函数并推导其符号性质。
• 通过将 PDE 降为 ODE 的方式分析球体上的径向特征值问题，并利用幂函数求解。
• 利用嵌套区域上第一特征值的单调性及水平集性质，证明唯一性和符号性质。

实验结果

研究问题

• RQ1 对于具有正权函数的无穷范数拉普拉斯算子特征值问题，主特征值是否存在？
• RQ2 能否在有界区域上构造无穷范数拉普拉斯算子的正特征函数？
• RQ3 在星形区域或 C² 区域上，高阶特征函数是否必然变号？
• RQ4 在球体上，径向第一特征函数是否唯一（至多标量乘法）？
• RQ5 当权函数为常数时，是否存在无穷多个支持径向特征函数的特征值？

主要发现

• 第一特征值 $ \lambda_{\Omega} $ 存在且为正，对应特征函数属于 $ C(\overline{\Omega}) $ 且为正。
• 在球体 $ B_R(o) $ 上，第一特征函数为径向、正定，且唯一（至多缩放因子）。
• 当权函数 $ a(x) $ 为径向且为常数时，径向特征值问题存在无穷多个特征值。
• 对于 $ C^2 $ 或星形区域，对应高阶特征值的特征函数会变号。
• 第一特征值关于区域包含关系严格单调：若 $ A \subset B $，则 $ \lambda_A > \lambda_B $。
• 当 $ \lambda < \lambda_\Omega $ 时，比较原理成立，从而可推导非齐次问题的存在性结果。