[論文レビュー] Nonlocal Dissipation Measure and L 1 Kinetic Theory For Fractional Conservation Laws

Nathaël Alibaud, Boris Andreïanov+1 more|arXiv (Cornell University)|Oct 21, 2019

Navier-Stokes equation solutions参考文献 43被引用数 4

ひとこと要約

本稿では、非局所的かつ非線形拡散を有するスカラー保存則に対して、新しい非局所散逸測度を用いた運動論的定式化を導入し、L¹ 初期データに対して適切に定義された解の存在と L¹ 契約性を実現する。この手法は、2次運動論理論の道具を分数階微分方程式に適応し、非局所散逸測度の明示的表現を用いて、t=0 における一意性および強い L¹ 連続性を証明する。

ABSTRACT

We introduce a kinetic formulation for scalar conservation laws with nonlocal and nonlinear diffusion terms. We deal with merely L 1 initial data, general self-adjoint pure jump L{\\'e}vy operators, and locally Lipschitz nonlinearities of porous medium kind possibly strongly degenerate. The cornerstone of the formulation and the uniqueness proof is an adequate explicit representation of the nonlocal dissipation measure. This approach is inspired from the second order theory unlike the cutting technique previously introduced for bounded entropy solutions. The latter technique no longer seems to fit our setting. This is moreover the first time that the more standard and sharper tools of the second order theory are faithfully adapted to fractional conservation laws.

研究の動機と目的

• 初期データの積分可能性を最小限に抑えた条件下で、非局所的かつ非線形拡散項を有するスカラー保存則の適切に定義された理論を確立すること。
• 従来の有界エントロピー解手法の制限を克服するため、2次理論の道具を分数階偏微分方程式に拡張する運動論的定式化を開発すること。
• 純ジャンプ Lévy 確率微分作用素に対して非局所的散逸測度を導入し、厳密に特徴づけること。これにより、一意性および安定性の証明が可能になる。
• L¹ 初期データに対して、運動論的解が t=0 で強い L¹ 連続性を満たすことを証明すること。

提案手法

• 解を位相空間内に表現するための特性関数 χ(ξ; u) を用いた運動論的定式化を提案し、PDE の弱形式化を可能にする。
• Lévy 済み μ を含む主値積分を用いた、非局所的散逸測度 n の明示的表現を導入し、作用素 g を定義する。
• 特異性を取り扱い、弱および強い L¹ 位相における収束を保証するため、滑らか化作用素と切り捨て関数を用いた正則化技術を採用する。
• 運動論的定式化を用いて、測度 m と散逸 n の間の恒等式を導出し、位相空間における部分積分を用いて一意性の証明を可能にする。
• 単調収束定理および安定性推定を用いて、t→0 の極限に移行し、初期データの強い L¹ 収束を確立する。
• 積分微分作用素 g の適切な定義を保証するため、μ に対する自己随伴性および有限2階モーメント条件に依存する。

実験結果

リサーチクエスチョン

• RQ1 非局所的かつ非線形拡散を有する分数階保存則に対して、解が有界でない場合でも運動論的定式化を構築できるか？
• RQ2 非局所的散逸測度を明示的に表現し、L¹ 框組みの中で一意性を証明するためにどのように用いることができるか？
• RQ3 局所的正則性の欠如にもかかわらず、2次運動論理論の道具を分数階偏微分方程式に忠実に適応できるか？
• RQ4 運動論的解は、L¹ 初期データに対して t=0 で強い L¹ 連続性を満たすか？
• RQ5 非局所的散逸測度は弱極限に関して安定か？これにより収束証明が可能か？

主な発見

• 本稿では、L¹ 初期データに対して、非局所的かつ非線形拡散項を有するスカラー保存則の適切に定義された理論を確立し、古典的な L∞ フレームワークを越える。
• 非局所的散逸測度 n の明示的表現が得られ、これが一意性証明の中心的役割を果たし、2次運動論的道具を分数階偏微分方程式に適応可能にする。
• 運動論的解は L¹ 契約性を満たし、L¹ ノルムにおける一意性および安定性を示す。
• t=0 における強い連続性が証明された：初期データは、L¹(Rd) 内で t→0 のとき解に収束する。これは、L¹ 初期データに対しても成立する。
• 非局所的散逸測度 n が弱極限に関して安定であることが示され、t→0 の極限処理および初期データの収束証明に不可欠である。
• 従来の切断技術の制限を克服するため、より強固で明示的な測度に基づくアプローチを採用し、有界でない解に対しても有効である。