[論文レビュー] Evolution of dietary diversity and a starvation driven cross-diffusion system as its singular limit

Elisabetta Brocchieri, Lucilla Corrias+2 more|arXiv (Cornell University)|Nov 20, 2020

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

ひとこと要約

本稿は、競争的種における食事多様性をモデル化する高速反応型 Lotka-Volterra 反応拡散系の特異極限を厳密に確立し、栄養失調駆動型の交差拡散系への収束を示している。主な結果は、交差拡散が、食事サブステート間の高速スイッチングから生じることであり、線形安定性解析により共存状態における Turing 不安定性が排除される。

ABSTRACT

We rigorously prove the passage from a Lotka-Volterra reaction-diffusion system towards a cross-diffusion system at the fast reaction limit. The system models a competition of two species, where one species has a more diverse diet than the other. The resulting limit gives a cross-diffusion system of a starvation driven type. We investigate the linear stability of homogeneous equilibria of those systems and rule out the possibility of Turing instability. Numerical simulations are included which are compatible with the theoretical results.

研究の動機と目的

• 競争的種における食事多様性が、高速反応キネティクスを介してどのように交差拡散ダイナミクスを生じさせるかをモデル化すること。
• 2 時間スケールの反応拡散系（反応速度が ε⁻¹ のオーダー）から、特異極限 ε → 0 におけるマクロな交差拡散系への数学的移行を厳密に正当化すること。
• 導出された交差拡散系における均一平衡状態の線形安定性を解析すること、特に共存状態を対象とすること。
• 抽象的な Lotka-Volterra の係数を、集団動態と栄養失調駆動型スイッチングから導かれる生物学的に意味のあるパラメータに結びつけること。
• 導出された系が、交差拡散項の存在にもかかわらず、交差拡散誘発不安定性（Turing 不安定性）を示さないことを示すこと。

提案手法

• 資源動態を明示的に含む微視的モデルから、食事サブステート間の高速スイッチングを用いて、中間スケール系 (1.1) を形式的に導出すること。
• 変換率 φ と ψ を用いて定義される h₁ と h₂ を用いた、Lyapunov 型エネルギー（エントロピー）関数 E(ua, ub, v) = ∫h₁(ua)dx + ∫h₂(ub, v)dx の使用。
• 事前推定と Aubin-Lions の補題を用いて、ε → 0 における部分列に沿った極限への移行。
• 非負性および有界エネルギー初期データ（H2）の組み込みにより、極限系の弱解への収束を保証すること。
• 極限系 (1.6)–(1.9) の導出。ここで交差拡散は非線形制約 Q(ua, ub, v) = 0 と、拡散係数が集団分布に依存することに起因する。
• Routh-Hurwitz の基準を用いた均一平衡状態の線形安定性解析、共存状態および半自明状態を含む。

実験結果

リサーチクエスチョン

• RQ1 競争的種における食事多様性が、マクロなモデルでどのように交差拡散を生じさせるか？
• RQ2 2 つのサブステートを持つ種を有する高速反応型 Lotka-Volterra 系の数学的極限は何か？
• RQ3 導出された交差拡散系は Turing 不安定性を示すか？もし示さないならば、その理由は？
• RQ4 古典的 Lotka-Volterra 競争係数は、栄養失調駆動型スイッチングといった生物学的ダイナミクスとどのように関係するか？
• RQ5 極限系における初期層の役割は何か？初期データにどのように影響を与えるか？

主な発見

• ε → 0 のとき、高速反応系の解 (uεₐ, uε_b, vε) は、極限交差拡散系 (1.6)–(1.9) の弱解 (ua, ub, v) に収束する。
• 極限系は栄養失調駆動型交差拡散を特徴とし、種 u の有効拡散は、ua, ub, v の分布に依存する制約 Q(ua, ub, v) = 0 を通じて決定される。
• 極限系の共存状態は線形安定であり、Routh-Hurwitz の基準により、任意の ε > 0 に対して Turing 不安定性が生じないことが確認される。
• 導出された系 (6.4)–(6.6) は、古典的 Lotka-Volterra 係数が定数ではなく、解 ra と rb を介して依存することを示しており、競争係数のグローバルな解釈を可能にする。
• 極限系 (1.9) のノーフラックス境界条件は、有効拡散係数の正の性質から、形式的には Neumann 条件と同等であるが、特異点が存在する場合には同等性が崩れる可能性がある。
• 数値シミュレーションは理論的安定性結果を確認しており、パターン形成は観察されず、線形安定性解析と一貫した挙動を示している。