[论文解读] Regularity and uniqueness of the first eigenfunction for singular fully non linear operators

Isabeau Birindelli, Françoise Demengel|ArXiv.org|Sep 21, 2009

Advanced Mathematical Physics Problems参考文献 13被引用 4

一句话总结

本文建立了某类奇异完全非线性算子的第一特征函数的正则性与唯一性，证明在一般区域条件下，主特征值是单重且孤立的。通过黏性解理论、Hölder正则性以及强比较原理，作者表明任意正特征函数必为第一特征函数的正倍数，将已知结果从变分设定扩展至非变分、具有齐次性（如p-Laplacian）的完全非线性算子。

ABSTRACT

In this article we prove that solutions of singular fully nonlinear partial differential equations are $C^{1,β}$. We also prove the simplicity of the principal eigenvalues for the Dirichlet Problem associated to these operators using that regularity, a strict comparison principle and Sard's theorem.

研究动机与目标

• 解决关于奇异完全非线性算子主特征值单重性与孤立性的开放问题。
• 将特征值理论从变分设定（如p-Laplacian）扩展至非变分、具有齐次性质的完全非线性算子。
• 在梯度非零条件下，为黏性解建立强比较原理，从而实现第一特征函数的唯一性。
• 证明第一特征函数在适当正则性与维数约束下，即使在具有多个边界分量的区域中，也唯一（至多正标量倍数）。

提出的方法

• 使用黏性解理论来定义并分析形如 $ F[u] = |\nabla u|^\alpha \mathcal{M}_{a,A}^+(D^2u) + h(x) \cdot \nabla u |\nabla u|^\alpha $ 的算子的主特征值问题。
• 应用不动点论证以建立解的 $ C^{1,\beta} $ 正则性，这对应用Hopf引理与梯度估计至关重要。
• 采用适用于奇异算子的Alexandrov-Bakelman-Pucci（ABP）不等式，尽管指出由于次解与超解差值的非次线性性，存在局限性。
• 在 $ N=2 $ 维情形下利用Sard定理处理多连通区域中具有符号变化的特征函数。
• 应用强比较原理：若两个解在某区域中接触且其中一个解的梯度非零，则二者必完全重合。
• 利用最大原理与子区域上特征函数的比较，当特征函数变号或特征值非极值时导出矛盾。

实验结果

研究问题

• RQ1 主特征值是否单重，即任意正特征函数是否仅与第一特征函数相差一个正标量倍数？
• RQ2 在具有多个边界分量的区域中，第一特征函数的唯一性是否可建立？
• RQ3 当梯度远离零时，奇异完全非线性方程黏性解的强比较原理是否成立？
• RQ4 在非变分、完全非线性设定下，何种条件可确保主特征值的孤立性？
• RQ5 当区域具有多个连通分支且特征函数变号时，特征值结构如何变化？

主要发现

• 在具有单连通边界分量的任意区域中，第一特征函数唯一（至多正标量倍数）。
• 在二维具有多个边界分量的区域中，若 $ \lambda^+ \neq \lambda^- $，且较小特征值对应正特征函数，则第一特征函数的唯一性成立。
• 当 $ N=2 $ 且 $ \lambda^+ \neq \lambda^- $ 时，对应于 $ \lambda_1 = \max(\lambda^+, \lambda^-) $ 的每个特征函数要么恒正，要么恒负，意味着主特征值不存在符号变化的特征函数。
• 主特征值是孤立的：任何趋于 $ \lambda_1 $ 的特征值序列最终必须具有常号特征函数，这与 $ \lambda_1 $ 附近存在符号变化特征函数的假设矛盾。
• 通过不动点论证建立了特征函数的 $ C^{1,\beta} $ 正则性，从而可应用Hopf引理与梯度估计，以证明强比较原理。
• 在多连通区域中，若假设 $ \partial\Omega^+ \cap \partial\Omega = \partial\Omega_1 $ 且 $ \partial\Omega^- \cap \partial\Omega = \partial\Omega_2 $，则当特征函数假设变号时，通过Sard定理可导出矛盾，从而证明唯一性。