[論文レビュー] Regularity results for nonlocal parabolic equations

Moritz Kaßmann, Russell W. Schwab|arXiv (Cornell University)|May 23, 2013

Advanced Mathematical Modeling in Engineering参考文献 21被引用数 27

ひとこと要約

本稿は、Lebesgue測度に関して絶対連続でない一般の測度であるカーネルを持つ非局所放物型方程式の解について、弱いハーナックおよび Hölder 正則性推定を確立する。著者らは、滑らかでない特異測度へモーザー反復および弱いハーナック不等式の技法を拡張し、測度カーネルに最小限の構造的仮定をおくことで、解が一様 Hölder 継続性および局所 $ L^1 $-有界性を満たすことを証明する。定数は次元、$ \alpha $ の下界、および一様楕円的定数 $ \Lambda $ のみに依存する。結果は $ \alpha \to 2^- $ に対しても成り立ち、分数ラプラシアンの極限に対して堅牢性を示す。

ABSTRACT

We survey recent regularity results for parabolic equations involving nonlocal operators like the fractional Laplacian. We extend the results of Felsinger-Kassmann (2013) and obtain regularity estimates for nonlocal operators with kernels not being absolutely continuous with respect to the Lebesgue measure.

研究の動機と目的

• 絶対連続カーネルに限らない非局所放物型方程式の正則性理論を一般の測度値カーネルへ拡張すること。
• 対称測度カーネル $ \mu(x,dy) $ を用いて定義される非局所作用素 $ L $ を持つ方程式 $ \partial_t u - Lu = f $ の解について、弱いハーナックおよび Hölder 正則性推定を確立すること。
• $ \alpha \to 2^- $ の極限において、正則性推定の定数が有界のままであることを証明し、分数ラプラシアンの古典的極限に対する堅牢性を保証すること。
• 非局所作用素の発散型形式に対する局所正則性理論は文献に稀であるが、負のおよび小さい正のべきの上位解についての局所キャッチォッポリ不等式を証明することにより、これを提供すること。

提案手法

• 一般測度カーネルを有する非局所作用素にモーザー反復スキームを適応し、上位解の負のべきに対する非局所版キャッチォッポリ不等式を用いる。
• デ・ジョルジ・ナッシュ・モーザー理論で用いられる古典的部分積分不等式の非局所的代替を確立し、エネルギー形式 $ \mathcal{E}_t(w, -\psi^2 w^{-1}) $ を含む。
• 上位解の対数変換にボンビエリ・ギウスティの補題を適用し、レベル集合を制御し、弱いハーナック不等式を導出する。
• 切断および補助関数のアプローチを用いて、弱いハーナック不等式を Hölder 正則性へ拡張し、非局所性および領域依存性を注意深く取り扱う。
• カーネルに構造的仮定 (K1) および (K2) を課す：(K1) は対角付近の特異的挙動を制御し、(K2) は標準的 $ |x-y|^{-d-\alpha} $ カーネルと比較可能であることを保証する。
• 修正された上位解 $ \widetilde{u} = u + \|f\|_{L^\infty} $ を導入し、$ \log \widetilde{u} $ のレベル集合推定を適用して、測度の減衰評価を経て弱いハーナック不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 非局所放物型方程式の弱いハーナックおよび Hölder 正則性結果は、Lebesgue 測度に関して絶対連続でない測度値カーネルを持つ作用素へ拡張可能か？
• RQ2 $ \mu(x,dy) $ のカーネルにどのような構造的仮定が必要か、$ \alpha \to 2^- $ の極限において正則性推定の定数が有界のままであるか？
• RQ3 カーネルが滑らかでない場合、発散型非局所作用素に対してモーザー反復法をどのように適応できるか？
• RQ4 非局所設定において、上位解の負のべきに対する局所キャッチォッポリ不等式を導出可能か？また、それらは正則性理論をどのように支援するか？
• RQ5 非局所放物型設定においてボンビエリ・ギウスティの補題を適用するには、特に解が全空間で非負でない場合にどのような修正が必要か？

主な発見

• 非負の上位解 $ u $ について、$ \partial_t u - Lu = f $ が $ Q = (-1,1) \times B_2(0) $ で成り立つとき、弱いハーナック不等式が成り立つ。推定式は $ \|u\|_{L^1(U_\ominus)} \leq C(\inf_{U_\oplus} u + \|f\|_{L^\infty(Q)}) $ であり、$ C = C(d, \alpha_0, \Lambda) $ である。
• 解 $ u $ について $ f = 0 $ のとき、Hölder 正則性推定が成り立つ。式は $ \sup_{Q'} \frac{|u(t,x) - u(s,y)|}{(|x-y| + |t-s|^{1/\alpha})^\beta} \leq \|u\|_{L^\infty(I \times \mathbb{R}^d)} \eta^{-\beta} $ であり、$ \beta = \beta(d, \alpha_0, \Lambda) $、$ \eta = \eta(Q, Q') > 0 $ である。
• 弱いハーナックおよび Hölder 推定の両方の定数は、次元 $ d $、$ \alpha $ の下界 $ \alpha_0 $、および一様楕円的定数 $ \Lambda $ のみに依存する。$ \alpha \to 2^- $ の極限においても堅牢性が保証される。
• 結果は局所的である：$ I \times \Omega $ において $ \Omega \subset \mathbb{R}^d $ が有界な範囲で成り立ち、$ \Omega $ 外部における領域やカーネルのグローバル条件は必要としない。
• 証明は、上位解の対数的変動を制御する非局所部分積分不等式 $ \mathcal{E}_t(w, -\psi^2 w^{-1}) $ を含む、新しい非局所的積分による部分積分不等式に依存する。
• 特に、$ \log \widetilde{u} $ のレベル集合推定 $ (\text{d}t \otimes \text{d}x)(Q_\oplus \cap \{ \log \widetilde{u} < -s - a \}) \leq C|B_1|/s $ が、ボンビエリ・ギウスティの補題の適用および弱いハーナック不等式の確立において中心的な役割を果たす。