[論文レビュー] Conservation laws with vanishing nonlinear diffusion and dispersion

Philippe G. LeFloch, Roberto Natalini|ArXiv.org|Nov 2, 2007

Navier-Stokes equation solutions参考文献 21被引用数 23

ひとこと要約

本稿では、非線形拡散項と分散項が消える場合の非線形保存則の解の収束を、対応する一次保存則のエンタロピー解へと確立する。拡散係数と分散係数の間の相対的スケーリング条件のもとで、著者たちは補間コンパクトネスおよびヤング測度の技法を用いて収束を証明し、先行研究における可視性と分散の消える極限の結果を拡張する。

ABSTRACT

We study the limiting behavior of the solutions to a class of conservation laws with vanishing nonlinear diffusion and dispersion terms. We prove the convergence to the entropy solution of the first order problem under a condition on the relative size of the diffusion and the dispersion terms. This work is motivated by the pseudo-viscosity approximation introduced by Von Neumann in the 50's.

研究の動機と目的

• 非線形拡散項と分散項が消える保存則の解の極限挙動を分析すること。
• 拡散項と分散項が両方とも消える際、一次双曲型保存則のエンタロピー解への収束を確立すること。
• 可視性と分散の消える極限に関する先行結果を統合的に扱う枠組みに拡張すること。
• 拡散係数と分散係数の間の相対的スケーリング条件の下で、厳密な収束結果を提供すること。
• フォン・ノイマンが提唱した擬似粘性近似を、拡散・分散の正則化を組み合わせることで正当化すること。

提案手法

• 著者たちは、二次の拡散項と三次の分散項を有する非線形分散方程式の初期値問題を研究する。
• 弱収束を扱い、解列に対する一様推定を得るために、タルタールの補間コンパクトネス法を適用する。
• ヤング測度を用いて解列の弱*極限を記述し、振動の集中を分析する。
• 解と初期データの間の相対エントロピーを制御するための凸不等式 (4.7) を導出する、重要な技術的ステップ。
• 収束証明は、解列に関連するヤング測度の強い一貫性に依存し、テスト関数とエネルギー型推定を用いて確立される。
• フラックス関数 f と粘性関数 β に対して構造的条件を仮定し、特異性と成長バウンド（A1, A2, B1, B3）を含む。

実験結果

リサーチクエスチョン

• RQ1 拡散係数と分散係数の間の相対的スケーリングがどのように設定されるべきか、解列が双曲型保存則のエンタロピー解に収束するか。
• RQ2 非線形拡散と分散の両方の消える効果が、解を正則化し、一意のエンタロピー解への収束をもたらすか。
• RQ3 粘性関数 β(λ) の構造が、β が特異的またはべき則成長を満たす場合に収束挙動に与える影響は何か。
• RQ4 コルトェーグ＝デ・ブール方程式は、拡散・分散正則化機構のモデルとして果たす役割は何か。
• RQ5 補間コンパクトネス法は、保存則の文脈において、拡散と分散を同時に消える状況に適応可能か。

主な発見

• 解列 $ u^{ ho, ho} $ は、$ \varepsilon, \delta \to 0 $ の下で、$ \varepsilon $ と $ \delta $ の間の相対的スケーリング条件のもとで、一次双曲型保存則 $ \partial_t u + \partial_x f(u) = 0 $ のエンタロピー解に収束する。
• 一般のフラックス関数に対しては $ \delta = o(\varepsilon^{3/2}) $、準二次的フラックスに対しては $ \delta = o(\varepsilon^2) $ の仮定の下で収束が成立し、シューブンクの先行結果を拡張する。
• 収束は補間コンパクトネス法と、解列に関連するヤング測度の強い一貫性によって確立される。
• ヤング測度の強い一貫性を証明することで、極限が弱解ではなく、一意のエンタロピー解であることが保証される。
• 特異な粘性関数 $ \beta(\lambda) $ に対して、$ |\lambda| $ が大きいとき $ \beta(\lambda)\lambda \geq C_2 |\lambda|^{3r} $ を満たす場合を含み、べき則形 $ \beta(\lambda) = |\lambda|^{3r-2}\lambda $ も含む。
• フォン・ノイマンの擬似粘性近似は、分散と組み合わせることで、特異な場合を含めて有効な正則化機構であると正当化される。