[论文解读] Convergence to equilibrium for positive solutions of some mutation-selection model

Jérôme Coville|arXiv (Cornell University)|Aug 29, 2013

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 24被引用 22

一句话总结

本文通过非线性相对熵恒等式与正交分解方法，建立了具有Neumann边界条件的非局部突变-选择模型中正解的全局收敛至平衡态的结果。在无偏竞争（K与x无关）条件下，证明了唯一且全局稳定的正稳态解的存在性；对于核函数的微小扰动，该稳态仍保持正渐近稳定。

ABSTRACT

In this paper we are interested in the long time behaviour of the positive solutions of the mutation selection model with Neumann Boundary condition: $$ \\frac{\\partial u(x,t)}{dt}=u\\left[r(x)-\\int_{\\O}K(x,y)|u|^{p}(y)\\,dy\ ight]+\ abla\\cdot\\left(A(x)\ abla u(x)\ ight),\\qquad \ ext{in}\\quad \\R^+\ imes\\O$$ where $\\O\\subset \\R^N$ is a bounded smooth domain, $k(.,.) \\in C(\\bar \\O \ imes C(\\bar\\O), \\R), p\\ge 1$ and $A(x)$ is a smooth elliptic matrix. In a blind competition situation, i.e $K(x,y)=k(y)$, we show the existence of a unique positive steady state which is positively globally stable. That is, the positive steady state attracts all the possible trajectories initiated from any non negative initial datum. When $K$ is a general positive kernel, we also present a necessary and sufficient condition for the existence of a positive steady states. We prove also some stability result on the dynamic of the equation when the competition kernel $K$ is of the form $K(x,y)=k_0(y)+\\eps k_1(x,y)$. That is, we prove that for sufficiently small $\\eps$ there exists a unique steady state, which in addition is positively asymptotically stable. The proofs of the global stability of the steady state essentially rely on non-linear relative entropy identities and an orthogonal decomposition. These identities combined with the decomposition provide us some a priori estimates and differential inequalities essential to characterise the asymptotic behaviour of the solutions.

研究动机与目标

• 分析非局部突变-选择模型中正解的长期行为，且不假设突变率较小。
• 在无偏竞争（K(x,y) = k(y)）条件下，建立唯一正稳态解的存在性与全局稳定性。
• 当竞争核K为一般形式时，推导正稳态解存在的必要与充分条件。
• 研究当核函数为无偏竞争形式的微小扰动时，系统动态的稳定性。
• 发展并应用非线性相对熵恒等式与正交分解方法，以表征渐近行为。

提出的方法

• 利用非线性相对熵恒等式，推导解衰减的先验估计与微分不等式。
• 基于主特征函数φ₁对解进行正交分解，以解耦动力学。
• 应用Schauder抛物型估计与Bootstrap论证，证明解的全局有界性与正则性。
• 利用抛物型最大值原理与下解技术，确保解的正性与有界性。
• 采用紧致性论证与对角提取法，完成逼近序列的极限取极限过程。
• 通过涉及L^p范数与权函数φ₁的能量型估计，导出Lyapunov型衰减。

实验结果

研究问题

• RQ1 在具有Neumann边界条件的突变-选择模型中，满足何种条件时，系统会全局收敛至唯一正稳态解？
• RQ2 当竞争核K为一般形式时，正稳态解存在的必要与充分条件是什么？
• RQ3 当核函数为无偏竞争核的微小扰动时，稳态解的稳定性行为如何？
• RQ4 是否可以在不假设小突变率的前提下，建立全局稳定性，从而与典型自适应动力学框架形成对比？
• RQ5 算子∇·(A∇) + r的主特征函数φ₁在表征长期行为中起到何种作用？

主要发现

• 在无偏竞争情形（K(x,y) = k(y)）下，存在唯一正稳态解，且所有非负初值数据均全局吸引至该解。
• 该稳态具有正全局稳定性，即所有正解在t → ∞时均收敛至该稳态。
• 对于一般正核K，通过谱分析推导出正稳态解存在的必要与充分条件。
• 当K(x,y) = k₀(y) + εk₁(x,y)且ε > 0足够小时，存在唯一正稳态解，且其为正渐近稳定。
• 相对熵恒等式结合正交分解，导出微分不等式，进而表明解以指数速率收敛至稳态。
• 独立于ε，建立了L^p范数的统一有界性与解的C^{1,α}正则性，从而通过紧致性实现收敛。