[论文解读] Hopf's lemmas for parabolic fractional Laplacians and parabolic fractional $p$-Laplacians

Pengyan Wang, Wen‐Xiong Chen|arXiv (Cornell University)|Oct 2, 2020

Nonlinear Partial Differential Equations参考文献 30被引用 4

一句话总结

本文建立了分数阶 $ p $-拉普拉斯方程的抛物型霍普夫引理，证明了解在边界附近以精确的分数阶 $ s $ 衰减，且反对称解满足渐近霍普夫型边界行为。这些结果使平移平面法能够证明非局部抛物型方程解的对称性与单调性。

ABSTRACT

In this paper, we first establish Hopf's lemmas for parabolic fractional equations and parabolic fractional $p$-equations. Then we derive an asymptotic Hopf's lemma for antisymmetric solutions to parabolic fractional equations. We believe that these Hopf's lemmas will become powerful tools in obtaining qualitative properties of solutions for nonlocal parabolic equations.

研究动机与目标

• 将经典的霍普夫引理推广至涉及非局部分数阶 $ p $-拉普拉斯算子的抛物型方程。
• 解决抛物型非局部方程在边界行为方面，特别是关于法向导数的缺乏结果的问题。
• 为反对称解推导一个渐近霍普夫引理，这对抛物型情形下平移平面法至关重要。
• 为证明非局部抛物型PDE中解的对称性、单调性及不存在性等定性性质提供工具。

提出的方法

• 为有界区域 $ \Omega \times (0,T] $ 中满足零狄利克雷边界条件的方程 $ \frac{\partial u}{\partial t} + (-\Delta)^s_p u = f(t,u) $ 建立抛物型霍普夫引理。
• 证明在边界附近有 $ u(x,t_0) \geq c_0 d^s(x) $，其中 $ d(x) = \text{dist}(x,\partial\Omega) $，这意味着法向分数阶导数 $ \frac{\partial u}{\partial \nu^s} < 0 $ 在边界处成立。
• 为反对称函数 $ w_\lambda(x,t) = u(x^\lambda,t) - u(x,t) $ 引入一个渐近霍普夫引理，表明在半空间 $ \Sigma_\lambda $ 的边界上 $ \frac{\partial \psi_\lambda}{\partial \nu} < 0 $。
• 利用 $ \omega $-极限集 $ \omega(u) $ 分析长时间行为，并应用渐近强最大原理在对称性证明中导出矛盾。
• 通过验证边界行为来确定平面的初始位置，并利用矛盾法证明对称性，从而将结果应用于平移平面法。
• 利用 $ C_0(\mathbb{R}^n) $ 中的正则性与紧致性，传递极限，确保对称 $ \omega $-极限形式的存在。

实验结果

研究问题

• RQ1 能否为分数阶 $ p $-拉普拉斯方程建立抛物型霍普夫引理？
• RQ2 抛物型分数阶 $ p $-拉普拉斯方程的解在区域边界附近的精确边界行为是什么？
• RQ3 如何利用边界估计将平移平面法适配于非局部抛物型方程？
• RQ4 在平移平面法的背景下，反对称解表现出何种渐近边界行为？
• RQ5 渐近霍普夫引理能否用于证明抛物型分数阶 $ p $-拉普拉斯方程解的对称性与单调性？

主要发现

• 对于具有零狄利克雷数据的抛物型分数阶 $ p $-拉普拉斯方程，解在边界附近满足 $ u(x,t_0) \geq c_0 d^s(x) $，这意味着法向分数阶导数为负。
• 在边界处法向分数阶导数 $ \frac{\partial u}{\partial \nu^s} < 0 $，这对启动平移平面法至关重要。
• 对反对称函数成立渐近霍普夫引理：若 $ \psi_\lambda \geq 0 $ 且不恒为零，则在 $ \partial \Sigma_\lambda $ 上有 $ \frac{\partial \psi_\lambda}{\partial \nu} < 0 $。
• 渐近霍普夫引理通过确保解在边界上不能取得最小值（除非恒为零）来支持平移平面法的第二步。
• 通过证明在边界上梯度为零但最小值为负的情况与法向导数的严格负性矛盾，从而完成平移平面法中的反证法。
• $ \omega $-极限集 $ \omega(u) $ 在 $ C_0(\mathbb{R}^n) $ 中是紧致的，这在较弱有界性假设下确保了对称极限形式的存在。