[論文レビュー] Stability of Entropy Solutions for Levy Mixed Hyperbolic-Parabolic Equations

Kenneth H. Karlsen, Süleyman Ulusoy|ArXiv.org|Feb 3, 2009

Nonlinear Partial Differential Equations参考文献 38被引用数 18

ひとこと要約

本稿は、純ジャンプLévy過程によって駆動される非局所（分数マージン）拡散を有するLévy混合双曲型・放物型方程式のクラスについて、エントロピー解の一意性と連続的依存性を確立する。フロントトラッキングおよび倍変数技術を用いて、著者らは$L^1$収縮性およびフラックス、拡散、ジャンプ測度の摂動に対する安定性を証明し、古典的結果を非局所設定に拡張する。

ABSTRACT

We analyze entropy solutions for a class of Levy mixed hyperbolicparabolic equations containing a non-local (or fractional) diffusion operator originating from a pure jump Levy process. For these solutions we establish uniqueness (L1 contraction property) and continuous dependence results.

研究の動機と目的

• 純ジャンプLévy過程に起因する非局所（分数マージン）拡散を有する退化する放物型・双曲型方程式のクラスにおけるエントロピー解の一意性を確立すること。
• 初期データ、フラックス関数、拡散係数、ジャンプ測度に対する解の連続的依存性を証明すること。
• $L^1$収縮性（一意性）を、古典的局所拡散の場合を超えて非局所作用素を有する方程式に拡張すること。
• 非局所生成子$\mathcal{L}$の摂動、特にLévy測度の特異積分表現の文脈において、解の安定性を分析すること。
• 混合双曲型・放物型挙動と非局所拡散を有する状況において、エントロピー解のための厳密な枠組みを提供し、既存の結果を非局所設定に一般化すること。

提案手法

• 解の不連続性を扱うために、倍変数法とフロントトラッキング近似を組み合わせる。
• 非局所作用素$\mathcal{L}$の特異積分表現を、$\mathcal{L}[u](t,x) = \int_{\mathbb{R}^d \setminus \{0\}} \left[ u(t,x+z) - u(t,x) - z \cdot \nabla u \mathbf{1}_{|z|<1} \right] \pi(dz)$ として用いる。
• Lévy-Khintchineの公式を用いて、非局所生成子$\mathcal{L}$を、ドリフト項と拡散項がゼロで、Lévy測度$\pi$が可積分性条件を満たすものとして特徴付ける。
• エントロピー解の滑らかでない性質を扱うために、モリファイア$\delta_\mu$と時間正則化$\theta_\nu$を用いた正則化$L^1$ノルムを導入する。
• フラックス、拡散、非局所部を含む積分項を用いて、二つのエントロピー解の差を推定し、全 variation を$I_{\text{conv}}, I_{\text{diff}}, I_{\text{fdiff}}$ に分解する。
• 部分積分とBV正則性（$u \in L^\infty(BV)$）を用いて、非局所項、特に$I_{\text{fdiff}_1}$ と $I_{\text{fdiff}_2}$ を $\|m - \tilde{m}\|_{L^1}$ と $\|\sigma^a - \sigma^b\|_{L^\infty}$ を用いて有界化する。

実験結果

リサーチクエスチョン

• RQ1 非局所（分数マージン）拡散を有する双曲型・放物型方程式のエントロピー解に対して、$L^1$収縮性が成り立つか。
• RQ2 非局所作用素において、初期データ、フラックス関数、拡散係数、ジャンプ測度に対する解の連続的依存性はどのように定式化されるか。
• RQ3 局所放物型方程式に対する古典的唯一性および安定性結果を、純ジャンプLévy過程を有する方程式に拡張できるか。
• RQ4 Lévy測度$\pi$は、特に$\pi$が特異的または正規分布でない場合のエントロピー解の安定性において、果たす役割は何か。
• RQ5 非滑らか核および特異積分を有する非局所作用素に対応させるために、倍変数法をどのように適合できるか。

主な発見

• 本稿は、エントロピー解に対して$L^1$収縮性を証明し、$L^\infty(0,T;L^1 \cap L^\infty)(\mathbb{R}^d)$ のクラスにおける一意性を確立する。
• 初期データに対する連続的依存性が、$\|u(t,\cdot) - v(t,\cdot)\|_{L^1} \leq \|u_0 - v_0\|_{L^1} + C t \|f - g\|_{\text{Lip}(I)} + C t \|\sigma^a - \sigma^b\|_{L^\infty} + C t \|m - \tilde{m}\|_{L^1}$ の境界で確立される。
• $\lim_{\alpha \to 0} \lim_{\nu \to 0} |I_{\text{fdiff}_1}| \leq \frac{C}{\mu} \tau \int_{|z|<1} |z|^2 |m(z) - \tilde{m}(z)| \, dz$ が導出され、非局所部がジャンプ測度差の$L^1$ノルムによって制御されることを示す。
• ヘビーテール部については、$\lim_{\nu \to 0} \lim_{\alpha \to 0} |I_{\text{fdiff}_2}| \leq C \tau \int_{|z| \geq 1} |z| |m(z) - \tilde{m}(z)| \, dz$ が得られ、大ジャンプに対する安定性が保証される。
• 正則化項の収束が制御され、$\lim_{\nu \to 0} R_t = 0$、$\limsup_{\alpha \to 0} |R_x| \leq C \mu$、および $\lim_{\alpha \to 0} L = \|u(\tau,\cdot) - v(\tau,\cdot)\|_{L^1} - \|u_0 - v_0\|_{L^1}$ が成り立つ。
• $\mu$に関する最適化により、最終的な連続的依存性推定式（2.8）が得られ、すべてのシステム要因の摂動に対する安定性が確認される。