[论文解读] Fractional eigenvalue problems that approximate Steklov eigenvalues

Leandro M. Del Pezzo, Julio D. Rossi+1 more|arXiv (Cornell University)|Jan 20, 2016

Nonlinear Partial Differential Equations参考文献 14被引用 3

一句话总结

本文引入了一个涉及非局部 p-Laplacian 与边界加权项的分数阶特征值问题，当分数阶参数 $ s \to 1^{-} $ 时，该问题近似于经典的 Steklov 特征值问题。关键结果表明，分数阶问题的第一特征值收敛于第一 Steklov 特征值，通过分数阶微积分为经典边界值问题提供了非局部逼近。

ABSTRACT

In this paper we analyze possible extensions of the classical Steklov eigenvalue problem to the fractional setting. In particular, we find a nonlocal eigenvalue problem of fractional type that approximate, when taking a suitable limit, the classical Steklov eigenvalue problem.

研究动机与目标

• 基于分数阶 p-Laplacian 构建一个非局部特征值问题，使其在 $ s \to 1^{-} $ 的极限下逼近经典的 Steklov 特征值问题。
• 通过特征值的渐近分析，建立分数阶非局部算子与经典 Steklov 问题之间的联系。
• 证明当分数阶参数趋近于 1 时，分数阶问题的第一特征值收敛于第一 Steklov 特征值。
• 通过迹估计和能量估计，严格分析分数阶特征值问题向经典 Steklov 问题的收敛性。

提出的方法

• 在 $ \Omega $ 中构建一个涉及分数阶 p-Laplacian $ (-\Delta)^s_p $ 和边界加权项 $ \frac{\lambda}{\varepsilon} \chi_{\Omega_\varepsilon} |u|^{p-2}u $ 的非局部特征值问题，其中在 $ \Omega^c $ 上满足非局部 Neumann 型条件 $ \mathcal{N}_{s,p}u = 0 $。
• 使用归一化常数 $ \mathcal{K}_{n,p} $，以确保分数阶半范数在 $ s \to 1^{-} $ 时收敛于经典 Dirichlet 能量。
• 通过分部积分和非局部散度定理，采用弱形式推导出问题的变分结构。
• 引入一个归一化的特征值泛函 $ \lambda_{1,\varepsilon}(s,p) $，其包含分数阶能量和 $ \Omega_\varepsilon $ 上的边界带范数，其中 $ \varepsilon = 1-s $。
• 应用分数阶 Sobolev 空间中的紧致性与收敛性结果，包括分数阶半范数收敛于经典 $ W^{1,p} $-半范数。
• 通过迹估计和特征函数的统一有界性，证明特征值泛函收敛于经典 Steklov 特征值。

实验结果

研究问题

• RQ1 能否构造一个分数阶特征值问题，使其第一特征值在 $ s \to 1^{-} $ 时收敛于经典 Steklov 特征值？
• RQ2 当 $ s \to 1 $ 时，带有边界加权项的分数阶 p-Laplacian 如何逼近经典 Steklov 问题？
• RQ3 归一化常数 $ \mathcal{K}_{n,p} $ 在连接分数阶与经典 Sobolev 范数中起什么作用？
• RQ4 在适当的归一化下，分数阶问题的特征值泛函是否收敛于经典 Steklov 特征值泛函？
• RQ5 在分数阶设定下，特征函数需要具备哪些紧致性与收敛性性质，才能确保特征值的收敛？

主要发现

• 当 $ s \to 1^{-} $ 时，分数阶特征值问题的第一特征值 $ \lambda_{1,\varepsilon}(s,p) $ 收敛于第一 Steklov 特征值 $ \lambda_1(p) $，其中 $ \varepsilon = 1-s $。
• 分数阶能量项 $ \mathcal{K}_{n,p}(1-s)[u]_{s,p}^p $ 在 $ s \to 1^{-} $ 时收敛于经典 Dirichlet 能量 $ \|\nabla u\|_{L^p(\Omega)}^p $。
• 边界项 $ \frac{1}{1-s}\|u\|_{L^p(\Omega_{1-s})}^p $ 在 $ s \to 1^{-} $ 时收敛于 $ L^p $-迹范数 $ \|u\|_{L^p(\partial\Omega)}^p $。
• 特征值泛函的极限满足 $ \limsup_{s \to 1^{-}} \lambda_{1}(s,p) \leq \lambda_1(p) $，且通过紧致性与迹收敛性证明了反向不等式。
• 在 $ L^p(\Omega) $ 和 $ W^{s_0,p}(\Omega) $（$ s_0 < 1 $）中特征函数的收敛性，确保了极限特征函数属于 $ W^{1,p}(\Omega) $。
• 证明依赖于特征函数的统一有界性，以及在分数阶设定下应用非局部散度定理和分部积分。