[論文レビュー] Cross-diffusion systems and fast-reaction limits

Esther S. Daus, Laurent Desvillettes+1 more|arXiv (Cornell University)|Oct 10, 2017

Advanced Mathematical Modeling in Engineering参考文献 4被引用数 4

ひとこと要約

本稿は、エントロピー構造を有する3種類の反応-拡散系の厳密な高速反応極限を確立し、非常に弱い解の全域的存在を証明するとともに、極限の2種類の拡散系が反応平衡から導かれる加法的でないエントロピー関数を継承することを示している。解析はエントロピー不等式と双対法に依拠し、一様推定を得て、高速反応スケーリング下でのエントロピー構造の堅牢性を確認している。

ABSTRACT

The rigorous asymptotics from reaction-cross-diffusion systems for three species with known entropy to cross-diffusion systems for two variables is investigated. The equations are studied in a bounded domain with no-flux boundary conditions. The global existence of very weak (integrable) solutions and the rigorous fast-reaction limit are proved. The limiting system inherits the entropy structure with an entropy that is not the sum of the entropies of the components. Uniform estimates are derived from the entropy inequality and the duality method.

研究の動機と目的

• 反応-拡散系に既知のエントロピー構造を有する3種類の反応-拡散系の高速反応極限を厳密に分析すること。
• 反応-拡散系に対して非常に弱い（可積分な）解の全域的存在を確立すること。
• 極限の2種類の拡散系が元の系から由来する加法的でないエントロピー関数を継承することを証明すること。
• 高速反応に起因する1変数の消失にもかかわらず、極限系が有効なエントロピー構造を維持することを示すこと。

提案手法

• 著者たちは、可逆反応 $ A \rightleftharpoons B + C $ を経験する3種類の物質を有する反応-拡散系を検討し、逆反応速度を表す小パラメータ $ \varepsilon $ を導入する。
• エントロピー不等式と双対法を用いて、$ \varepsilon \to 0 $ のときの解に対する一様推定を得る。
• 高速反応極限は $ \varepsilon \to 0 $ の極限として実行され、物質濃度が反応平衡制約 $ q_1(u_1) = q_2(u_2)q_3(u_3) $ を満たす系が得られる。
• 極限系は保存変数 $ v = u_1 + u_2 $、$ w = u_1 + u_3 $ を用いて再定式化され、加法的でないエントロピー関数を有する2成分の拡散系となる。
• 重要な技術的ステップとして、濃度からフラックスへの非線形写像 $ F $ の逆写像の存在を示す。これにはハダマール＝リューヴィの定理を用い、臨界点の不在を確認する。
• 解析は、弱い相互拡散とヤコビアン行列式の正の性質を保証する仮定に依拠しており、これにより極限においてリャプノフ汎関数の存在が保証される。

実験結果

リサーチクエスチョン

• RQ1 反応-拡散系にエントロピー構造を有する3種類の反応-拡散系の高速反応極限は、その文脈において厳密に正当化可能か？
• RQ2 極限の2種類の拡散系は有効なエントロピー関数を継承するか？ もし継承するならば、それは物質濃度に関して加法的か非加法的か？
• RQ3 解に対して $ \varepsilon \to 0 $ のとき、どのような一様推定が得られ、それが極限系への収束をどのように支援するか？
• RQ4 双対法は、反応-拡散設定における非常に弱い解の存在性および正則性にどのように寄与するか？
• RQ5 拡散項および反応項にどのような条件下で、極限系は適切に定義され、熱力学的に整合的となるか？

主な発見

• 3種類の物質を有する反応-拡散系に対して、空間的・時空的可積分性を満たす非常に弱い解（可積分な解）の全域的存在が証明された。
• 高速反応極限 $ \varepsilon \to 0 $ が厳密に正当化され、加法的でないエントロピー関数を有する2種類の拡散系が得られた。
• 極限系はエントロピー構造を継承しているが、エントロピーは成分の個別エントロピーの和ではなく、化学平衡制約を反映している。
• エントロピー不等式と双対法から一様推定が得られ、$ \varepsilon \to 0 $ のときの解の収束が保証された。
• 濃度からフラックスへの写像の逆写像が $ \mathbb{R}_+^3 $ 上で $ C^1 $-微分同相写像であることが示され、極限における系の可逆性が保証された。
• 極限系のフラックス関数 $ G_1(v,w) $、$ G_2(v,w) $ は、濃度写像の逆写像を用いて明示的に定義され、拡散構造が保存された。