[論文レビュー] Cross-diffusion systems with entropy structure

Ansgar Jüngel|arXiv (Cornell University)|Oct 4, 2017

Mathematical and Theoretical Epidemiology and Ecology Models被引用数 7

ひとこと要約

本稿は、エントロピー構造を有する交差拡散系の存在および一意性に関する結果をレビューし、有界性によるエントロピー法と双対性技術を用いた局所的および大域的解の存在に焦点を当てる。エントロピー条件の下で大域的弱解が確立され、特定の正則性および構造的仮定の下で一意性が証明され、反応項、高次元の集団モデル、およびエントロピー検出に関する未解決問題が強調されている。

ABSTRACT

Some results on cross-diffusion systems with entropy structure are reviewed. The focus is on local-in-time existence results for general systems with normally elliptic diffusion operators, due to Amann, and global-in-time existence theorems by Lepoutre, Moussa, and co-workers for cross-diffusion systems with an additional Laplace structure. The boundedness-by-entropy method allows for global bounded weak solutions to certain diffusion systems. Furthermore, a partial result on the uniqueness of weak solutions is recalled, and some open problems are presented.

研究の動機と目的

• エントロピー構造を有する交差拡散系に対して、拡散行列が対称的でも正定値でもない場合の弱解の局所的および大域的解の存在を確立すること。
• 有界性によるエントロピー法を拡張し、特定のクラスの交差拡散系に対して大域的有界弱解を導出すること。
• H^{-1}法および相対エントロピー技術を用いて、拡散項および反応項の構造的仮定の下で弱解の一意性を分析すること。
• 未解決の問題を同定すること、特に非線形反応項を伴う大域的解の存在、高次元集団モデルにおける一意性、およびエントロピー構造の検出に関する問題。
• 一般のエントロピー構造を有する系に、最大L^p正則性および双対性手法の適用可能性を検討すること。

提案手法

• エントロピー構造条件を用いる：$ h''(u)A(u) $ は正定値である。ここで $ h $ は凸なエントロピー密度であり、エントロピー $ \frac{d}{dt}\bigintsss_Ω h(u)dx \leq 0 $ が保証される。
• 系をエントロピー変数 $ w = h'(u) $ に変換し、拡散行列 $ B(w) = A(u)h''(u)^{-1} $ を持つ対称な放物型系に変形する。この行列は正定値である。
• 有界性によるエントロピー法を適用し、 coercivity を要件としない一様推定を導出し、大域的有界弱解を得る。
• 双対問題 $ -\Delta\chi = u_0 - v_0 $ を通じた双対性手法を用い、ポテンシャル $ Q(s) $ の単調性を活用して、全密度 $ u_0 $ の一意性を証明する。
• Kullback-Leibler相対エントロピー $ \mathcal{H}[u|v] $ および対称化された半距離 $ d_0(u,v) $ を用い、$ \frac{d}{dt}d_0(u,v) \leq 0 $ を示し、これにより二つの解に対して $ u = v $ が成り立つことを示す。
• 非線形Aubin-Lions補題および勾配流構造を用いて、存在証明におけるコンパクト性および弱収束を扱う。

実験結果

リサーチクエスチョン

• RQ1 現在のエントロピーに基づく手法では、非線形反応項を伴う交差拡散系に対して、大域的弱解の存在を確立できるか。
• RQ2 非詳細平衡を満たさない交差拡散行列を有する $ n \geq 3 $ 種集団モデルに対して、エントロピーに基づく推定を用いて大域的解の存在を証明できるか。
• RQ3 一般のエントロピー構造を有する交差拡散系に対して、対角拡散系の結果に類似した弱解・強い解の一意性を確立できるか。
• RQ4 最大L^p正則性理論は、局所解を超えて、エントロピー構造を有する系にどの程度拡張可能か。
• RQ5 与えられた交差拡散系に対して、アルゴリズム的にエントロピー構造を検出または構成することは可能か。また、このような系のクラスのサイズはどの程度か。

主な発見

• 有界性によるエントロピー法を用いて、ラプラシアン構造およびエントロピー構造を有する交差拡散系に対して、大域的有界弱解の存在が確立された。
• 部分的な一意性結果が証明された：二つの解が $ \nabla\phi \in L^\infty(0,T;L^\infty(\Omega)) $ および $ u_i \in L^2(0,T;H^1(\Omega)) $ を満たす場合、$ p(s), q(s), r(s) $ に関する条件の下で $ u = v $ が成り立つ。
• 相対エントロピー $ \mathcal{H}[u|v] $ および対称化された半距離 $ d_0(u,v) $ を用いて、$ \frac{d}{dt}d_0(u,v) \leq 0 $ を示し、これにより有界弱解のクラスにおける解の一意性が示された。
• $ H^{-1} $ 法を用いて、全密度 $ u_0 $ の一意性を証明した。これは、$ Q(s) = \int_0^s (p(z) + q(z)z)dz $ の単調性に依存する。
• Maxwell-Stefan系に対して、エントロピー構造が明示的に検証された：$ u_i > 0 $ のとき $ h''(u)A(u) $ は正定値であり、エントロピーの減少が保証される。
• 本稿では、二次反応項を伴う大域的解の存在の欠如、および一般の正則な楕円型系に対してエントロピー構造を検出する困難さといった未解決問題を同定した。