[論文レビュー] Global renormalized solutions to reaction-cross-diffusion systems

Xiuqing Chen, Ansgar Jüngel|arXiv (Cornell University)|Nov 4, 2017

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 12被引用数 3

ひとこと要約

本稿は、非対角的かつ非対称な拡散行列と任意の反応力学を有する反応-拡散系に対して、エントロピー構造と一般化された有界性-エントロピー手法を用いて、時間全域における正規化解の存在を確立する。主な貢献は、反応項に成長制限がない強いつながりのある、人口モデル型系へJ. Fischerの正規化解フレームワークを拡張することにある。

ABSTRACT

The global-in-time existence of renormalized solutions to reaction-cross-diffu-sion systems for an arbitrary number of variables in bounded domains with no-flux boundary conditions is proved. The cross-diffusion part describes the segregation of population species and is a generalization of the Shigesada-Kawasaki-Teramoto model. The diffusion matrix is not diagonal and generally neither symmetric nor positive semi-definite, but the system possesses a formal gradient-flow or entropy structure. The reaction part includes reversible reactions of mass-action kinetics and does not obey any growth condition. The existence result generalizes both the condition on the reaction part required in the boundedness-by-entropy method and the proof of J. Fischer for reaction-diffusion systems with diagonal diffusion matrices.

研究の動機と目的

• 非対角的拡散行列を有する強いつながりのある反応-拡散系に対して、時間全域における正規化解の存在を確立すること。
• 通常は弱解の定義を不可能にする反応項の標準的成長制限を除去すること。
• 非対称かつ半正定値でない拡散行列を有する系へ、有界性-エントロピー法を拡張すること。
• Fischerの正規化解フレームワークを対角的でない、複雑な結合を持つ拡散系へ一般化すること。
• エントロピー構造と反応項の準正性条件を用いて、解の非負性と安定性を保証すること。

提案手法

• 密度の大きな値を制御するための切り上げ関数 $\varphi^L(u)$ を用いた反応-拡散系の正規化形式を導入する。
• エントロピー密度 $h(u) = \sum \pi_i h_i(u_i)$ に基づくリャプノフ汎関数を用い、系の長時間挙動を制御する。ここで $h_i(s) = s(\log s - 1 + \lambda_i) + e^{-\lambda_i}$ である。
• エントロピー構造を条件 $\sum \pi_i f_i(u)(\log u_i + \lambda_i) \leq 0$ を用いて適用し、準正性とエントロピー散逸を保証する。
• エントロピー構造の成立を保証するため、弱い相互拡散条件 $\alpha > 0$ または詳細釣り合い条件 $\pi_i a_{ij} = \pi_j a_{ji}$ を課す。
• 有界エントロピーを持つ切り上げ解 $u^L$ の列を用い、補間コンパクトネス法を用いて $L \to \infty$ の極限に移行する。
• ルベーグの収束定理を適用し、正規化形式において極限を取ることで、正規化解への収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 非対角的かつ非対称な拡散行列および任意の反応力学を有する反応-拡散系に対して、時間全域における正規化解を構成することは可能か？
• RQ2 エントロピー構造が、対称でも半正定値でもない拡散行列を有する系へも拡張可能か？
• RQ3 Fischerの正規化解フレームワークを、拡散を伴う強いつながりのある人口モデル型系へ一般化可能か？
• RQ4 反応項に成長制限を課さないまま、解の存在性と非負性を保証することは可能か？
• RQ5 拡散係数および反応項にどのような条件を課すと、全系に対してリャプノフ汎関数（エントロピー）の存在が保証されるか？

主な発見

• 任意の $n \geq 2$ 個の種、有界領域、ノ・フラックス境界条件を有する反応-拡散系に対して、時間全域における正規化解が存在する。
• 反応項 $f_i(u)$ は $[0,\infty)^n$ 上で連続であることのみを要件とし、成長条件は一切不要であり、古典的な線形成長制限を越える。
• 弱形式においてもエントロピー構造が保たれ、エントロピー密度 $h(u)$ が条件 $\sum \pi_i f_i(u)(\log u_i + \lambda_i) \leq 0$ を用いてリャプノフ汎関数として機能する。
• 拡散行列 $A(u)$ は対称的または半正定値でなくてもよく、弱い相互拡散条件 $\alpha > 0$ または詳細釣り合い条件 $\pi_i a_{ij} = \pi_j a_{ji}$ がエントロピー散逸を保証する。
• 切り上げ問題における極限 $L \to \infty$ において、正規化形式を満たす解が得られ、弱形式におけるすべての項が収束する。
• 反応項の制御が不十分な場合でも、正規化とエントロピーに基づく事前推定を用いることで、$f_i(u)$ に対する強いコンパクトネスの必要性を回避し、効果的に処理できる。