[論文レビュー] Macroscopic limit from a structured population model to the Kirkpatrick-Barton model

G. Raoul|arXiv (Cornell University)|Jun 13, 2017

Evolutionary Game Theory and Cooperation参考文献 27被引用数 15

ひとこと要約

この論文は、空間的および形質的特性を有する構造化された集団モデルの巨視的極限を厳密に確立し、再生率 γ → ∞ のとき、解がキーキャパティス・バートンモデルに収束することを示している。証明は、形質作用素におけるタナカの不等式から得られるワッサーシュタイン収縮と、空間的正則性のための放物型推定を組み合わせており、L∞loc でモーメントの収束が得られる。

ABSTRACT

We consider an ecology model in which the population is structured by a spatial variable and a phenotypic trait. The model combines a parabolic operator on the spatial variable with a kinetic operator on the trait variable. We prove the existence of solutions to that model, and show that these solutions are unique. The kinetic operator present in the model, that represents the effect of sexual reproductions, satisfies a Tanaka-type inequality: it implies a contraction of the Wasserstein distance in the space of phenotypic traits. We combine this contraction argument with parabolic estimates controlling the spatial regularity of solutions to prove the convergence of the population size and the mean phenotypic trait to solutions of the Kirkpatrick-Barton model, which is a well-established model in evolutionary ecology. Specifically, at high reproductive rates, we provide explicit convergence estimates for the moments of solutions of the kinetic model.

研究の動機と目的

• 再生率 γ が非常に大きくなる際の空間的・形質的に構造化された集団モデル（Spatio-Temporal Infinitesimal Model, SIM）の巨視的極限を厳密に正当化すること。
• 性的集団の詳細な運動論的モデルと、進化的生態学で広く用いられるキーキャパティス・バートンモデル（KBM）の間のギャップを埋めること。
• 集団密度 n(t,x,y) が、(N,Z) が KBM を満たすように、平均 Z(t,x) を中心とし、分散 A のガウス型に収束することを確立すること。
• 線形化によっては明示的な速度を特定できない性的集団における伝播現象の数学的基盤を提供すること。
• ワッサーシュタイン収縮と放物型正則性推定を組み合わせることで、非局所的かつ非線形な再生作用素を有するモデルに対しても、流体力学的極限技術を拡張すること。

提案手法

• 空間に放物型作用素、形質にボルツマンに類似した再生作用素を有する運動論的方程式で集団をモデル化し、性的再生を表現する。
• タナカの不等式を適用して、形質作用素におけるワッサーシュタイン距離での収縮を証明し、モーメントの制御を保証する。
• 放物型推定（例：ハルナックの不等式、シューディンガー理論）を用いて空間的正則性を制御し、初期の滑らかさを伝搬する。
• 巨視的量 N(t,x) および Z(t,x) に対する事前推定を導出し、N の下界および Hölder 連続性を含む。
• 空間遷移密度の時間発展を推定するための双対問題を構築し、基本解の有界性を証明する。
• SIM と KBM の解の差に放物型最大原理を適用し、γ → ∞ のときの収束を示す。

実験結果

リサーチクエスチョン

• RQ1 空間的・形質的に構造化された集団モデル（SIM）の解は、再生率 γ が非常に大きくなる極限でキーキャパティス・バートンモデル（KBM）に収束するか？
• RQ2 再生作用素が誘発するワッサーシュタイン収縮と放物型推定を組み合わせることで、空間的構造を持つ集団モデルにおける巨視的極限を正当化できるか？
• RQ3 γ → ∞ のとき、SIM の解のモーメントの収束速度はどの程度か？
• RQ4 KBM の解は、SIM と同じ初期条件のもとで一意に定まるか？ また、SIM の解が γ → ∞ のとき KBM の解に収束するか？
• RQ5 選択項が非局所的かつ非線形であっても、適切な正則性および有界性の仮定の下で、巨視的極限を確立できるか？

主な発見

• SIM の解は、γ → ∞ の極限で KBM に収束し、集団密度 n(t,x,y) は、N(t,x)ΓA(y−Z(t,x)) のガウス型プロファイルに収束する。
• 巨視的量 (N,Z) はキーキャパティス・バートンモデルの式を満たしており、選択および空間拡散の下での全集団サイズと平均形質のダイナミクスを記述する。
• 収束は L∞loc(ℝ+×𝕋d) で N および Z に対して成立し、収束速度は θ > 0 に対して O(γ−θ) である。
• 証明は、タナカの不等式から得られるワッサーシュタイン収縮と、放物型正則性推定の組み合わせに依存しており、空間的および形質的ダイナミクスを同時に制御する。
• KBM の解は与えられた初期条件のもとで一意に定まり、SIM の解は γ → ∞ のときそれらに収束する。
• 解析は、空間領域が d 次元トーラスであると仮定し、初期データが可積分性および正則性条件（初期集団およびそのモーメントの有界性を含む）を満たす場合に成立する。