[論文レビュー] 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 $ が境界で成り立つことを示唆する。
• 半空間 $ \Sigma_\lambda $ の境界上で $ \frac{\partial \psi_\lambda}{\partial \nu} < 0 $ が成り立つ反対称関数 $ w_\lambda(x,t) = u(x^\lambda,t) - u(x,t) $ に対する漸近的ホフプの補題を導入する。
• $ \omega $-極限集合 $ \omega(u) $ を用いて長時間挙動を分析し、漸近的強い最大原理を適用して対称性証明における矛盾を導出する。
• 境界挙動を用いて平面の初期位置を確認し、その後矛盾による対称性の証明を行うことによって、移動平面法の応用を実施する。
• $ C_0(\mathbb{R}^n) $ における正則性およびコンパクト性を活用して極限をとる操作を行い、対称的 $ \omega $-極限プロファイルの存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 分数階 $ p $-ラプラシアン方程式に対して、放物型ホフプの補題を確立できるか？
• RQ2 放物型分数階 $ p $-ラプラシアン方程式の解は、領域境界付近でどのように境界挙動を示すか？
• RQ3 境界推定を用いて、非局所放物型方程式に移動平面法をどのように適応できるか？
• RQ4 移動平面法の文脈において、反対称解が示す漸近的境界挙動は何か？
• RQ5 漸近的ホフプの補題を用いて、放物型分数階 $ p $-ラプラシアン方程式の解の対称性および単調性を証明できるか？

主な発見

• 零Dirichlet境界条件を満たす放物型分数階 $ p $-ラプラシアン方程式の解は、境界付近で $ u(x,t_0) \geq c_0 d^s(x) $ を満たし、これは分数階法線微分 $ \frac{\partial u}{\partial \nu^s} < 0 $ が境界で成り立つことを示唆する。
• 境界における分数階法線微分 $ \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) $ においてコンパクトであり、弱い有界性仮定のもとで対称的極限プロファイルの存在が保証される。