[論文レビュー] On Schauder estimates for a class of nonlocal fully nonlinear parabolic equations

Hongjie Dong, Hong Zhang|arXiv (Cornell University)|Apr 1, 2016

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

ひとこと要約

本稿は、$\sigma \in (0,2)$ 階数の滑らかでない非対称カーネルを備えた凹型完全非線形非局所放物型方程式に対して、Schauder推定を確立する。データおよびカーネルの Hölder 継続性仮定の下で、解が $C^{1+\alpha/\sigma,\sigma+\alpha}$ として正則であることを証明する。主な貢献は、非対称で滑らかでないカーネルに対する Evans-Krylov 型推定を拡張し、$\sigma \to 2$ の極限で一様なバインディングを得ることであり、非局所楕円型方程式に対する新たな結果を補足的に得る。

ABSTRACT

We obtain Schauder estimates for a class of concave fully nonlinear nonlocal parabolic equations of order $σ\in (0,2)$ with rough and non-symmetric kernels. As a application, we prove that the solution to a translation invariant equation with merely bounded data is $C^σ$ in $x$ variable and $Λ^1$ in $t$ variable, where $Λ^1$ is the Zygmund space.

研究の動機と目的

• 非対称かつ粗いカーネルを有する完全非線形非局所放物型方程式に対する Schauder 推定を拡張すること。これは、従来の結果がカーネルの対称性または滑らかさを仮定していたため、カバーされない領域である。
• 有界なデータを持つ並進不変方程式の解が、カーネルの正則性仮定なしに空間で $C^{\sigma}$、時間で $\Lambda^1$ として正則であることを証明すること。
• 粗く非対称なカーネルを有する非局所楕円型方程式に対する新たな Schauder 推定を導出すること。これは本設定において画期的な貢献である。
• 極限 $\sigma \to 2$ における一様なバインディングを確立し、局所的状況における古典的 Schauder 推定を回復すること。

提案手法

• 著者らは、カーネルの対称性や滑らかさを仮定しない正則性推定を証明するために、吹き出し解析と Liouville 型定理を用いる。
• 解の空間および時間変数における Hölder 半ノルムを制御するため、古典的補間不等式の修正版を導入する。
• 重要な技術的ステップとして、カットオフ関数の構築と、時間の非局所的 $\Lambda^1$ 正則性の使用により、時間方向の変動を制御する。
• 方程式の凹性を活用し、スケーリングおよび局所化技術を用いて、ダイアディックシリンダ内での事前推定を導出する。
• 解の振動の再帰的減衰推定をアニュラリ領域で確立し、これが空間および時間における Hölder 正則性に導く。
• 時間平均化の議論を用いて、楕円型の場合を放物型の場合に還元することで、この手法を放物型および楕円型方程式の両方へ適用可能にする。

実験結果

リサーチクエスチョン

• RQ1 完全非線形非局所放物型方程式に対して、カーネルの滑らかさや対称性を仮定しない条件下で Schauder 推定を確立できるか？
• RQ2 有界なデータおよび粗いカーネルを有する並進不変非局所放物型方程式の解の最適正則性は何か？
• RQ3 極限 $\sigma \to 2$ における正則性推定の振る舞いはどのようにか？ また、古典的 Schauder 推定を回復するか？
• RQ4 カーネルの $C^2$ 正則性を要件としない非対称カーネルに対し、Evans-Krylov 定理を拡張できるか？
• RQ5 Zygmund 空間 $\Lambda^1$ は、非局所方程式における時間正則性を特徴付けるために果たす役割は何か？

主な発見

• 方程式 $u_t = \inf_{a \in \mathcal{A}}(L_a u + f_a)$ の解 $u$ は、事前推定 $[u]_{1+\alpha/\sigma, \sigma+\alpha; Q_{1/2}} \leq C \|u\|_{\alpha/\sigma, \alpha; (-1,0) \times \mathbb{R}^d} + C C_0$ を満たす。ここで $C_0 = \sup_a [f_a]_{\alpha/\sigma, \alpha; Q_1}$ である。
• 推定における定数 $C$ は $d, \lambda, \Lambda, \alpha, A, \sigma$ のみに依存し、$\sigma \to 2$ の極限でも一様に有界であり、古典理論と連続的であることを保証する。
• 有界なデータを持つ並進不変方程式の解は、カーネルが非対称かつ粗い場合でも、空間で $C^\sigma$、時間で $\Lambda^1$ として正則であることが示された。
• 著者らは、$f_a$ および $K_a$ に対する Hölder 継続性仮定の下で、任意の $\alpha \in (0, \hat{\alpha})$（$\hat{\alpha} \in (0,1)$ は $d, \sigma, \lambda, \Lambda$ に依存）に対して $C^{1+\alpha/\sigma, \sigma+\alpha}$ 正則性が成り立つことを証明した。
• 非局所放物型方程式に対する結果は、粗く非対称なカーネルを有する非局所楕円型方程式に対する新たな Schauder 推定を示唆し、これは従来未知であった。
• 吹き出し解析および Liouville 型定理に基づく証明技法により、キャンセル条件 $\int_{S_r} y K_a(t,x,y) \, ds = 0$（$\sigma = 1$ の場合）を仮定しなくても非対称カーネルを扱えるが、$\sigma = 1$ の場合はこの条件を仮定している。