[论文解读] Mixed local-nonlocal operators: maximum principles, eigenvalue problems and their applications

Anup Biswas, Mitesh Modasiya|arXiv (Cornell University)|Oct 13, 2021

Spectral Theory in Mathematical Physics被引用 4

一句话总结

本文引入了一类广义的混合局部-非局部椭圆型算子，结合了拉普拉斯算子与一般非局部跳跃型算子，为狄利克雷问题建立了存在性、唯一性及最大值原理。论文证明了类法伯-克劳恩不等式与一维对称性结果（推广了吉本斯猜想），显著扩展了此前关于算子 $-\Delta + (-\Delta)^s$ 的研究，推广至更广泛的 Lévy 跳跃测度。

ABSTRACT

In this article we consider a class of non-degenerate elliptic operators obtained by superpositioning the Laplacian and a general nonlocal operator. We study the existence-uniqueness results for Dirichlet boundary value problems, maximum principles and generalized eigenvalue problems. As applications to these results, we obtain Faber-Krahn inequality and a one-dimensional symmetry result related to the Gibbons' conjecture. The latter results substantially extend the recent results of Biagi et.\ al. [7,9] who consider the operators of the form $-Δ+ (-Δ)^s$ with $s\in (0, 1)$.

研究动机与目标

• 开发一个广义框架，用于结合局部（拉普拉斯）与非局部（一般跳跃型）分量的混合阶椭圆型算子。
• 为具有此类算子的狄利克雷问题建立粘性解的存在性与唯一性。
• 为新一类算子推导最大值原理与广义特征值问题。
• 将法伯-克劳恩不等式与一维对称性结果（吉本斯猜想）从分数阶拉普拉斯情形推广至更广范围。
• 将先前关于 $-\Delta + (-\Delta)^s$ 的结果推广至满足可积性条件的任意 Lévy 跳跃核的算子。

提出的方法

• 算子定义为 $Lu = \Delta u + \int_{\mathbb{R}^d} (u(x+y) - u(x) - \mathbf{1}_{\{|y|\leq 1\}} y\cdot\nabla u(x)) j(y) \, dy$，其中 $j$ 为满足 $\int (1\wedge |y|^2)j(y)\,dy < \infty$ 的一般跳跃核。
• 分析依赖于与 Lévy 过程的联系：$X = B + Y$，其中 $B$ 为布朗运动，$Y$ 为具有跳跃测度 $j(y)\,dy$ 的纯跳跃 Lévy 过程，由此导出形式为 (1.1) 的生成元。
• 全文采用粘性解：通过光滑测试函数在严格极小或极大点处的比较来定义。
• 使用费曼-卡茨公式将解表示为 $u(x) = \mathbb{E}_x[\int_0^{\uptau} f(X_t)\,dt] + \mathbb{E}_x[g(X_{\uptau})]$，其中 $\uptau$ 为过程首次离开区域的时间。
• 应用移动平面法证明一维对称性结果，将吉本斯猜想推广至一般非局部算子。
• 通过逼近过程序列的先验估计与收敛性论证，证明解的连续性与收敛性。

实验结果

研究问题

• RQ1 对于具有广义跳跃核的混合局部-非局部椭圆型算子，能否建立粘性解的存在性与唯一性？
• RQ2 在跳跃核的可积性条件较弱时，此类算子的最大值原理是否仍成立？
• RQ3 法伯-克劳恩不等式能否推广至结合拉普拉斯与一般非局部项的算子？
• RQ4 一维对称性结果（吉本斯猜想）是否适用于超越分数阶拉普拉斯的更广类算子？
• RQ5 此类混合阶算子的主特征值与谱性质如何表现？

主要发现

• 本文在假设 (A1) 及 $f$ 与 $g$ 具有适当正则性条件下，建立了狄利克雷问题 $Lu = -f$ 在 $D$ 内，$u = g$ 在 $D^c$ 上的粘性解的存在性与唯一性。
• 推导出类费曼-卡茨表示公式：$u(x) = \mathbb{E}_x[\int_0^{\uptau} f(X_t)\,dt] + \mathbb{E}_x[g(X_{\uptau})]$，将解与 Lévy 过程的首次退出分布联系起来。
• 为混合算子证明了广义最大值原理，确保非正解在边界上取得最大值。
• 在适当条件下，主特征值 $\lambda_1$ 存在且为正，并存在相应的正特征函数。
• 建立了类法伯-克劳恩不等式，表明在体积相等的区域中，球形区域使第一特征值最小化。
• 证明了一维对称性结果：在适当条件下，半线性方程 $Lu = f(u)$ 的解在第一坐标方向上具有对称性，将吉本斯猜想推广至一般非局部算子。