[論文レビュー] Selection Mutation Differential Equations: Long-time Behavior of Measure-Valued Solutions

Azmy S. Ackleh, John D. Cleveland+1 more|arXiv (Cornell University)|Dec 1, 2014

Evolution and Genetic Dynamics参考文献 27被引用数 4

ひとこと要約

本稿は、コンpaktoなメトリック戦略空間上の選択・変異進化的モデルにおける測度値解の長期的挙動を分析する。純粋選択の下では、最適戦略が初期測度の台に含まれる場合、解はその最適戦略におけるデルタ測度に弱*収束する。また、離散戦略空間における小さな変異または方向付き変異の下では、最適戦略に正の初期条件を持つすべての解が吸引する局所的漸近安定平衡が存在する。

ABSTRACT

We study the long-time behavior of solutions to a measure-valued selection-mutation model that we formulated in \cite{CLEVACK}. We establish permanence results for the full model, and we study the limiting behavior even when there is more than one strategy of a given fitness; a case that arises in applications. We show that for the pure selection case the solution of the dynamical system converges to a Dirac measure centered at the fittest strategy class provided that the support of the initial measure contains a fittest strategy; thus we term this Dirac measure an Asymptotically Stable Strategy (ASS). We also show that when the strategy space is discrete, the selection-mutation model with small mutation has a locally asymptotically stable equilibrium that attracts all initial conditions that are positive at the fittest strategy.

研究の動機と目的

• 選択・変異進化的ゲームモデルにおける測度値解の長期的挙動を研究すること。
• 純粋選択下でのデルタ測度への収束に関する既存結果を、複数の最適戦略が存在する場合にまで拡張すること。
• 特に小さな変異または方向付き変異が離散戦略空間における長期的ダイナミクスに与える影響を分析すること。
• 完全な選択・変異システムにおける永続性および恒常性の結果を確立すること。
• 純粋選択および変異の両制度において、系が漸近的に安定な戦略（ASS）に収束するための条件を提示すること。

提案手法

• 弱*位相における有限非負ボレル測度の空間上の微分方程式としてシステムをモデル化する。
• 出生および死滅率を記述する密度依存ベクトル場 F(μ(t), γ) を用いる。ここで γ は戦略から子孫戦略分布への変異カーネルを表す。
• 一定の条件下で、すべての戦略クラスの長期的存続を保証するため、持続性および恒常性理論を適用する。
• リャプノフ関数およびジャコビ行列のスペクトル解析を用いて、平衡の局所的漸近安定性を研究する。
• 平衡まわりの線形化システムのスペクトルバウンディングを分析し、特に離散戦略空間における安定性を決定する。
• 純粋選択の場合の極限的挙動を、最適戦略における台を持つデルタ測度への収束を検討することによって考察する。

実験結果

リサーチクエスチョン

• RQ1 純粋選択の場合、選択・変異モデルの解が最適戦略を中心とするデルタ測度に収束する条件は何か？
• RQ2 複数の最適戦略が存在する場合、システムの長期的挙動にどのような影響を与えるか？
• RQ3 離散戦略空間における小さな変異または方向付き変異の下で、平衡の局所的漸近安定性を保証する条件は何か？
• RQ4 一般の非線形出生および死滅率を伴う完全な選択・変異モデルについて、恒常性および持続性を確立できるか？
• RQ5 変異カーネルの構造（例えば、方向付き対非方向付き）が、漸近的に安定な戦略への収束に与える影響は何か？

主な発見

• 純粋選択の場合、最適戦略が初期測度の台に含まれるならば、解は弱*収束して最適戦略を中心とするデルタ測度に収束し、これにより漸近的に安定な戦略（ASS）が定義される。
• 複数の最適戦略が存在する場合、解は最適戦略の集合に含まれる台を持つ測度の集合に収束する。
• 離散戦略空間における小さな変異または方向付き変異の下では、局所的漸近安定平衡が存在し、最適戦略に正の初期条件を持つすべての解がそれを吸引する。
• 変異が方向付きで、最適戦略が孤立している場合、平衡におけるジャコビ行列のスペクトルバウンディングは負となり、局所的漸近安定性が確認される。
• 純粋選択の場合、最適戦略が人口密度にわたる保全容量および再生数を最大化する限り、最適戦略におけるデルタ測度への収束が成立する。
• 本モデルは、連続的および離散的戦略空間、非線形率、複数の最適戦略を許容する点で先行研究を一般化しており、最適戦略とそれ以外の特性が位相的に分離されている場合に収束結果が確立される。