[論文レビュー] Global existence of weak solutions of a model for electrolyte solutions - Part 1: Two-component case

Matthias Herz, Peter Knabner|arXiv (Cornell University)|May 24, 2016

Navier-Stokes equation solutions参考文献 30被引用数 3

ひとこと要約

本稿は、任意の価数 $ z_1 > 0 > z_2 $ を持つ二成分電解質溶液をモデル化する Darcy–Poisson–Nernst–Planck 系の弱解の全域的存在および一意性を確立する。重み付き試験関数 $ \varphi = |z_l|c_l $ を用いて、電場に依存しない一様な事前推定を導出し、二および三次数元空間において、従来の結果が要請していた対称性、電中性条件、体積加法性制約の制限を克服する。

ABSTRACT

This paper analytically investigates the Darcy-Poisson-Nernst-Planck system. This system is a mathematical model for electrolyte solutions. In this paper, we consider electrolyte solutions, which consist of a neutral fluid and two suspended oppositely charged chemical species with arbitrary valencies z_1 > 0 > z_2. We prove global existence and uniqueness of weak solutions in two space dimensions and three space dimensions. So far, most of the existence results have been proven for symmetric electrolyte solutions. These solutions consist of a neutral fluid and two suspended charged chemical species with symmetric valencies +/-z. As many electrolyte solutions in biological applications and hydrodynamical applications are not symmetric, the presented extension of the previous existence results is an important step.

研究の動機と目的

• 既存の電解質モデルに対する存在結果を、対称的価数 $ \pm z $ に限らない任意の逆価数 $ z_1 > 0 > z_2 $ に拡張すること。
• 電中性条件や体積加法性制約といった制限的仮定を、電解質系解析から排除すること。
• Darcy–Poisson–Nernst–Planck 系の弱解の全域的存在および一意性を、二および三次数元空間で確立すること。
• 価数が非対称な場合においても、電場に依存しない電解質濃度に関する一様な事前推定を確立すること。
• 生物学的および流体力学的応用において対称的価数仮定が成り立たない複雑な電解質系をモデル化するための厳密な解析的基盤を提供すること。

提案手法

• 電場に依存しない事前推定を導くために、標準的な $ \varphi = c_l $ の代わりに重み付き試験関数 $ \varphi = |z_l|c_l $ を用いる。
• Moser の反復法を適用して、溶質濃度 $ c_l $ に対する一様な $ L^\infty $ 界を取得し、正則性およびコンパクト性を保証する。
• Galerkin 近似枠組みにおいて一般化された Schauder の不動点定理を用いて、近似解を構成する。
• Aubin-Lions の補題と弱*収束を組み合わせて、反応およびドリフト積分を含む非線形項において極限を取る。
• 時間離散化と継続的議論を用いて局所的解を確立し、部分区間の時間ステップを十分に小さく選んで事前推定を保つ。
• 推定値が時間に対して指数関数的に依存することを用いて爆発を防ぎ、任意の有限時間範囲を超えての全域的継続を可能にする。

実験結果

リサーチクエスチョン

• RQ1 Darcy–Poisson–Nernst–Planck 系に二種の相反する電荷を有する粒子が任意の価数を持つ場合に、弱解の全域的存在および一意性を確立できるか。
• RQ2 価数が非対称的で対称的にペairedされていない場合に、溶質濃度に対する一様な事前推定をどのように導出できるか。
• RQ3 電中性条件や体積加法性制約を、従来の解析的取り扱いにおいてよく見られるように、回避することは可能か。
• RQ4 対称性が欠如する状況下で、電場、流体の流れ、イオン輸送の間の結合を制御するために必要な数学的技法は何か。
• RQ5 非線形結合と系の非対称性が存在するにもかかわらず、解を任意の時間にわたって時間的に拡張することは可能か。

主な発見

• 二成分 Darcy–Poisson–Nernst–Planck 系の弱解の全域的存在および一意性が、二および三次数元空間で証明された。
• $ L^\infty $ 界が Moser の反復法により一様に制御され、正則性およびコンパクト性が保証された。
• 重み付き試験関数 $ \varphi = |z_l|c_l $ の使用により、電場に依存しない事前推定が導出可能となり、非対称ケースにおける主要な困難を克服した。
• 電中性条件や体積加法性制約の必要性を回避することで、実世界の電解質系への応用範囲が拡大された。
• 継続的議論は、事前推定が時間に対して指数関数的に依存することに依拠しており、爆発を防ぎ、任意の大きな時間区間への拡張を可能にした。
• 本稿は、三次数元において、制限的物理的仮定なしに任意の価数を持つこのような系の全域的存在および一意性を初めて確立した。