[论文解读] 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

一句话总结

本文分析了在紧致度量策略空间上的选择-突变进化模型中测度值解的长期行为。在纯选择条件下，若最优策略位于初始测度的支集内，则解收敛于该最优策略处的Dirac测度；在离散策略空间中，对于小规模或定向突变，存在一个局部渐近稳定的平衡态，可吸引所有在最优策略处具有正初始条件的解。

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.

研究动机与目标

• 研究选择-突变进化博弈模型中测度值解的长期行为。
• 将现有关于纯选择下收敛于Dirac测度的结果扩展至存在多个最优策略的情形。
• 分析突变——特别是小规模或定向突变——对离散策略空间中长期动态的影响。
• 为完整的选择-突变系统建立持久性与持续性结果。
• 提供系统在纯选择与突变情形下收敛于渐近稳定策略（ASS）的条件。

提出的方法

• 在弱*拓扑下的有限非负Borel测度空间上，将系统建模为微分方程。
• 使用依赖于测度的向量场 F(μ(t), γ) 描述出生率与死亡率，其中 γ 为突变核，将策略映射至后代策略分布。
• 应用持久性与持续性理论，在特定条件下建立所有策略类别的长期存活。
• 采用李雅普诺夫函数与雅可比矩阵的谱分析，研究平衡态的局部渐近稳定性。
• 通过分析平衡态附近线性化系统的谱界，确定稳定性，尤其关注离散策略空间中的情形。
• 通过考察收敛于最优策略处支撑的Dirac测度，研究纯选择情形下的极限行为。

实验结果

研究问题

• RQ1 在纯选择情形下，选择-突变模型的解在何种条件下收敛于以最优策略为中心的Dirac测度？
• RQ2 多个最优策略的存在如何影响系统的长期行为？
• RQ3 在离散策略空间中，当突变为小规模或定向时，何种条件可确保平衡态的局部渐近稳定性？
• RQ4 能否为具有广义非线性出生率与死亡率的完整选择-突变模型建立持久性与持续性？
• RQ5 突变核的结构（例如定向与非定向）如何影响系统收敛于渐近稳定策略？

主要发现

• 在纯选择情形下，若最优策略属于初始测度的支集，则解弱*收敛于以最优策略为中心的Dirac测度，从而定义了一个渐近稳定策略（ASS）。
• 当存在多个最优策略时，解收敛于其支集包含于最优策略集合内的测度集合。
• 在离散策略空间中，对于小规模或定向突变，存在一个局部渐近稳定的平衡态，并吸引所有在最优策略处具有正初始条件的解。
• 当突变为定向且最优策略孤立时，平衡态处雅可比矩阵的谱界为负，确认了局部渐近稳定性。
• 在纯选择情形下，若最优策略在所有种群密度下均同时最大化承载能力与繁殖率，则解收敛于最优策略处的Dirac测度。
• 本模型通过允许连续与离散策略空间、非线性率以及多个最优策略，推广了先前结果，并在最优策略与较弱性状之间实现拓扑分离的条件下，建立了收敛性结果。