[論文レビュー] Uniqueness and weak stability for multi-dimensional transport equations with one-sided Lipschitz coefficient

François James, Simona Mancini+1 more|ArXiv.org|Mar 23, 2004

Nonlinear Partial Differential Equations参考文献 10被引用数 14

ひとこと要約

本稿では、一般化された流れの枠組みを導入することで、片側リプシッツ連続係数を有する多次元線形輸送方程式について、一意性および弱安定性を確立する。個々の流れの非一意性にもかかわらず、一般化された流れのヤコビアン行列式は一意に定まるため、後退的保存問題に双対性を適用することで、解の存在、一意性、および弱安定性が保証される。

ABSTRACT

The Cauchy problem for a multidimensional linear transport equation with discontinuous coefficient is investigated. Provided the coefficient satisfies a one-sided Lipschitz condition, existence, uniqueness and weak stability of solutions are obtained for either the conservative backward problem or the advective forward problem by duality. Specific uniqueness criteria are introduced for the backward conservation equation since weak solutions are not unique. A main point is the introduction of a generalized flow in the sense of partial differential equations, which is proved to have unique jacobian determinant, even though it is itself nonunique.

研究の動機と目的

• 不連続係数を有する多次元線形輸送方程式における一意性および安定性の欠如を解決すること。
• 発散の絶対連続性を保証しない「片側リプシッツ連続条件」(OSLC) を満たす係数に対して、輸送方程式の適切な定式化を確立すること。
• 非一意であるが、ヤコビアン行列式が一意となる一般化された流れの概念を導入すること。
• 初期データおよび係数列の L^1 収束下での解の弱安定性を証明すること。
• 後退的保存問題を解く双対性に基づく枠組みを提供し、これにより前向き輸送問題における一意性を保証すること。

提案手法

• 双対性を用いて前向き輸送問題を後退的保存問題に関連づけ、双対問題の可解性が元の問題における一意性を示すことを活用する。
• フィリッポフのODE理論を用いて、不連続係数を有する常微分方程式に対する一般化された流れを導入し、OSLC 条件下で存在を保証する。
• 古典的非一意性が生じる状況においても一意性を強制するために、後退問題に対する「可逆解」の概念を適用する。
• 流れ自体が非一意であっても、流れの一般化されたヤコビアン行列式が一意に定まることを証明する。
• 弱収束技術および分布的極限を用いて、摂動下での解の弱安定性を確立する。
• ベクトル場の L^1 収束および密度の弱-* 収束下でヤコビアン行列式の弱安定性を示すため、補題 A.4 を適用する。

実験結果

リサーチクエスチョン

• RQ1 係数が片側リプシッツ連続にのみ満たす場合、多次元輸送方程式についても一意性および弱安定性を確立できるか？
• RQ2 流れ自体が非一意であるにもかかわらず、一般化された流れがヤコビアン行列式の一意性をどのように保証するか？
• RQ3 弱解が通常は非一意である場合、双対性をどのように用いて前向き輸送問題における一意性を回復できるか？
• RQ4 片側リプシッツ連続条件の下で、一般化された流れのヤコビアン行列式がどのように一意に定義されるのか？
• RQ5 初期データおよび係数の収束下で、解の弱安定性を保証する条件は何か？

主な発見

• 片側リプシッツ連続条件の下で、一般化された流れは存在し、そのヤコビアン行列式は一意に定まるが、流れ自体は非一意である。
• 後退的保存問題は「可逆解」の概念により一意に解かれるため、弱解の非一意性が解消される。
• 解の弱安定性が確立された：初期データおよび係数が L^1 で収束し、L^∞ で弱-* 収束するならば、解は L^1 で弱収束する。
• 一般化された流れのヤコビアン行列式は弱極限下でも保存され、流れに由来する変換の安定性が保証される。
• 双対性の議論により、後退的保存問題における一意性が前向き輸送問題へと正しく伝播する。
• 一般化されたヤコビアン安定性結果（補題 A.4）により、ベクトル場の系列のヤコビアン行列式の行列式が、適切な収束仮定の下で弱収束することが保証される。