[论文解读] Principal eigenvalues of fully nonlinear integro-differential elliptic equations with a drift term

Alexander Quaas, Ariel Salort+1 more|arXiv (Cornell University)|May 31, 2016

Advanced Mathematical Modeling in Engineering参考文献 30被引用 4

一句话总结

本论文通过Krein-Rutman定理与粘性解的边界正则性，建立了带漂移项的完全非线性积分微分椭圆方程主特征值的存在性与单性。证明了主特征值是孤立的，且对应的特征函数在缩放意义下唯一，将谱理论推广至有界 $ C^2 $ 域中 $ s \in (1/2,1) $ 的非局部、非散度型算子带漂移项的情形。

ABSTRACT

We study existence of principal eigenvalues of fully nonlinear integro-differential elliptic equations with a drift term via the Krein-Rutman theorem which based on regularity up to boundary of viscosity solutions. We also show the simplicity of the eigenfunctions in viscosity sense by a nonlocal version of ABP estimate.

研究动机与目标

• 解决有界域中非局部、完全非线性椭圆型算子带漂移项时谱理论的缺失问题。
• 利用紧致性与Krein-Rutman定理，证明算子 $-I$ 在Dirichlet边界条件下主特征值的存在性。
• 证明粘性解在边界处具有 $C^\alpha$ 正则性，以支持谱分析。
• 通过非局部ABP估计，证明在粘性意义下主特征函数的单性。
• 将主特征值表征为绝对值最小且在缩放意义下唯一的特征值。

提出的方法

• 将Krein-Rutman定理应用于由非局部算子 $-I$ 的逆导出的紧致、正齐次算子。
• 利用靠近边界处最大Pucci算子估计，建立粘性解在边界处的 $C^\alpha$ 正则性。
• 采用非局部版本的Aleksandrov-Bakelman-Pucci（ABP）估计，证明特征函数的单性。
• 将主特征值 $\lambda_1^+(I,\Omega)$ 与 $\lambda_1^-(I,\Omega)$ 定义为满足粘性不等式的函数的上确界。
• 利用带权 $L^1$ 空间（权重为 $\omega_s$）以确保非局部算子的适定性及特征函数的可积性。
• 在适当连续函数空间（在 $\Omega$ 外为零）中应用紧致性论证，以提取特征函数。

实验结果

研究问题

• RQ1 在何种条件下，完全非线性积分微分方程带漂移项的主特征值存在？
• RQ2 Krein-Rutman定理如何适用于非局部、非散度型算子带漂移项？
• RQ3 粘性解的边界正则性在非局部算子谱分析中起什么作用？
• RQ4 如何在粘性意义下证明非局部方程特征函数的单性？
• RQ5 抛物型方程解的渐近行为如何由主特征值表征？

主要发现

• 当 $ s \in (1/2,1) $ 时，对任意有界 $C^2$ 域 $\Omega$，主特征值 $\lambda_1^+(I,\Omega)$ 存在且有限。
• 存在一个正特征函数 $\phi^+ \in C(\overline{\Omega}) \cap L^1(\omega_s)$，使得在 $\Omega$ 内有 $-I\phi^+ = \lambda_1^+(I,\Omega)\phi^+$，且在 $\mathbb{R}^n \setminus \Omega$ 上 $\phi^+ = 0$。
• 通过非局部ABP估计证明，特征函数 $\phi^+$ 在正的倍数意义下唯一。
• 主特征值 $\lambda_1^+(I,\Omega)$ 是算子 $-I$ 所有特征值中绝对值最小的。
• 抛物型问题的对数衰减估计表明，对所有 $\lambda < \lambda_1(\Omega)$，有 $\sup_{\Omega} |h(x,t)| = o(e^{-\lambda t})$，说明解以主特征值决定的指数速率衰减。
• 命题7.3表明 $\sup_{\Omega \times (0,\infty)} \frac{h(x,t)}{v(x)e^{-\lambda t}} \leq \sup_{\Omega} \frac{h_0^+(x)}{v(x)}$，说明解的衰减速率至多为指数型，速率由 $\lambda_1$ 决定。