[論文レビュー] Boundedness of weak solutions to cross-diffusion systems from population dynamics

Ansgar Jüngel, Nicola Zamponi|arXiv (Cornell University)|Apr 24, 2014

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 17被引用数 6

ひとこと要約

本稿は、人口動態における2種類の相互拡散系のクラスについて、拡散係数が密度に線形に依存する場合に、非負の弱解の時間全域における存在性と一様有界性を確立する。境界付きエントロピー原理と形式的勾配流構造を用いて、一般係数条件のもとで、複数次元空間におけるShigesada-Kawasaki-Teramotoモデルに対する$L^{1}$有界性を初めて証明し、非対称かつ正定値でない拡散行列をもつ系における長年の課題を解決する。

ABSTRACT

The global-in-time existence of nonnegative bounded weak solutions to a class of cross-diffusion systems for two population species is proved. The diffusivities are assumed to depend linearly on the population densities in such a way that a certain formal gradient-flow structure holds. The main feature of these systems is that the diffusion matrix may be neither symmetric nor positive definite. The key idea of the proof is to employ the boundedness-by-entropy principle which yields at the same time the existence of global weak solutions and their boundedness. In particular, the uniform boundedness of weak solutions to the population model of Shigesada, Kawasaki, and Teramoto in several space dimensions under certain conditions on the diffusivities is shown for the first time.

研究の動機と目的

• 2種類の相互拡散系の時間全域における弱解の存在と一様有界性を確立すること。
• 境界付きエントロピー原理を非対称かつ正定値でない拡散行列をもつ系へ拡張すること。
• 一般係数条件のもとで、複数次元空間におけるShigesada-Kawasaki-Teramoto人口モデルに対して、初めて一様$L^{\f{\f{1}}{\f{\f{1}}{\f{1}}}}$有界性を証明すること。
• 線形密度依存拡散係数と形式的勾配流構造をもつ強く結合された放物型系を解析するための体系的枠組みを提供すること。

提案手法

• 変分構造を通じてエントロピー散逸と解の有界性を結びつける境界付きエントロピー原理を用いる。
• 形式的勾配流表現：$\partial_t u - \operatorname{div}(B \nabla \delta \mathcal{H}/\delta u) = f(u)$ において、$\mathcal{H}$ はエントロピー汎関数である。
• ヘッセ行列$H(u)$が$H(u)A(u) \succeq \varepsilon \Lambda$を満たすようなエントロピー密度$h(u)$を定義し、エントロピー変数における一様強楕円性を保証する。
• リーマン代表$Dh(u)$を用いた変換により、解の有界性がエントロピー散逸から導かれる変換済み系を得る。
• 主要仮定の検証：(H1) $H(u)A(u)$ は対称的かつ正定値；(H2) $H(u)A(u) \succeq \varepsilon \Lambda$；(H3) $f_i(u)(Dh)_i(u)$ は上から有界。
• 定義域内の線分に沿った$A(u+rv)$の行列式の凹性議論を用い、$\det A(u) \geq 0$ を保証することで、有効なエントロピー構造の存在を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 拡散係数にどのような条件を課すと、Shigesada-Kawasaki-Teramotoモデルが複数次元空間において時間全域で一様有界な弱解をもつのか？
• RQ2 境界付きエントロピー原理は、非対称かつ不定な拡散行列をもつ相互拡散系へ拡張可能か？
• RQ3 拡散行列$A(u)$にどのような構造的条件を課すと、エントロピー散逸が解の$L^\infty$ノルムを制御できるか？
• RQ4 系の形式的勾配流構造をどのように活用することで、同時に存在性と有界性を証明できるか？

主な発見

• 本稿は、一般係数条件のもとで、$d \geq 1$次元空間におけるShigesada-Kawasaki-Teramotoモデルに対して、非負の弱解の時間全域における存在と一様$L^\infty$有界性を証明する。
• 境界付きエントロピー原理が非対称かつ正定値でない拡散行列をもつ系へ成功裏に適用され、このような系の解析における主要な障壁を克服する。
• 解の一様有界性の十分条件を、線形拡散係数仮定$A_{ij}(u) = \alpha_{ij} + \beta_{ij}u_1 + \gamma_{ij}u_2$における係数$\alpha_{ij}, \beta_{ij}, \gamma_{ij}$の形で導出する。これにより、行列$HA - \varepsilon \Lambda$が半正定値となることが保証される。
• 著者らは、エントロピー構造が存在と有界性を同時に意味することを確立し、別個の存在性と正則性の議論を回避する。
• 特に$A(u) = \begin{pmatrix}1-u_1 & -u_1 \\ -u_2 & 1-u_2 \end{pmatrix}$の場合、有界性の条件を満たし、$L^\infty$有界性は時間的・空間的に一様である。
• 本稿は、非対称性や強い相互拡散優位性を仮定しない条件下で、複数次元空間における完全なShigesada-Kawasaki-Teramotoモデルに対する一様$L^\infty$有界性の初の証明を提供する。