《Mathematical Biosciences》：Spatial segregation and aggregation induced by memory and maturation delays in a diffusive predator-prey system
编辑推荐：
研究人员分析了一个具有基于记忆的扩散的捕食-猎物系统中，由成熟和记忆时滞诱导的双Hopf分岔（double Hopf bifurcation），旨在揭示它们对两种相互作用物种时空分布的联合影响。研究人员首先采用几何方法研究具有时滞依赖系数（delay-depe
研究人员分析了一个具有基于记忆的扩散的捕食-猎物系统中，由成熟和记忆时滞诱导的双Hopf分岔（double Hopf bifurcation），旨在揭示它们对两种相互作用物种时空分布的联合影响。研究人员首先采用几何方法研究具有时滞依赖系数（delay-dependent coefficients）的线性化系统，并识别出常数共存稳态通过双Hopf分岔失稳的条件。其次，研究人员推导了双Hopf分岔的正规形（normal form），并对其邻近区域的时空动力学进行了分类。结合数值模拟，研究结果表明，成熟和空间记忆时滞可以产生丰富的共存动力学行为，包括空间均匀周期振荡、不同空间非均匀周期轨道之间的双稳态，以及空间分离与聚集之间的时间周期性转换。
研究背景与问题提出
捕食作用是生态群落中物种相互作用的重要形式之一，经典的捕食-猎物模型已被广泛用于描述这种生态关系。然而，捕食者与猎物之间的许多生物学过程并非瞬时完成，而是存在固有的时间延迟。例如，许多捕食者物种（包括部分哺乳动物和鸟类）在出生与成熟之间存在时间滞后；不同发育阶段的捕食者表现出不同的形态特征，幼体通常由亲代抚育或利用与成体不同的资源，且不具备捕食能力，繁殖力也较低。为刻画捕食者的阶段特异性行为特征，Gourley和Kuang提出了一种具有时滞依赖参数的捕食-猎物系统，其中考虑了个体成熟过程中的死亡率及其存活概率。
另一方面，虽然物种的扩散行为对其时空动力学具有关键塑造作用，但除随机行走外，许多高等动物还表现出由空间记忆引导的定向运动。空间记忆指动物对过往经历地点信息的保留，而基于记忆的扩散（memory-based diffusion）则是指动物利用空间记忆预测环境条件，从而确定其运动方向或目的地的过程。已有大量证据表明，迁徙哺乳动物如黑尾鹿和斑马依赖记忆化景观来导航其迁徙路线，蓝鲸也会根据历史资源可用性选择迁徙路径。因此，探究具有空间记忆的物种运动对其时空分布的影响具有重要的生态学意义。
近年来，Song等研究者基于修正的Fick定律，将猎物密度的历史正梯度引入捕食者的通量中，以捕捉捕食者朝向猎物的记忆驱动定向运动，并构建了相应的反应-扩散-对流方程模型。在此基础上，该研究进一步假设幼体捕食者的迁移能力可忽略不计，且猎物认知能力有限，从而建立了一个同时包含空间记忆时滞σ和成熟时滞τ的扩散阶段结构捕食-猎物系统。尽管已有研究分别探讨了单一成熟时滞或单一记忆时滞诱导的Hopf分岔，但两类时滞联合作用下的高余维分岔分析仍属开放问题，这也是该研究开展的核心动机。
研究方法与主要技术路线
本研究采用了几何稳定性分析方法，结合分岔正规形理论和数值模拟技术。具体而言，研究人员首先运用几何方法处理具有时滞依赖系数和不同空间波数的特征方程，在(τ, σ)平面上刻画线性稳定性区域，并通过以频率为参数数值计算双Hopf分岔点的精确位置。其次，研究人员将现有双Hopf分岔正规形计算算法推广至由两个不同时滞诱导、且系统参数依赖于其中一个时滞的更为复杂的情形，推导了三阶正规形的显式表达式，并据此对分岔点附近的动力学行为进行分类。数值模拟中，研究人员采用MATLAB进行稳定性边界计算和分岔图绘制，并通过直接模拟验证理论预测。
研究结果
线性分析与双Hopf分岔点识别
通过线性分析，研究人员确定了与双Hopf分岔相关的临界分岔值。在生态可持续性视角下，研究聚焦于共存状态。假设参数满足αβ > bδ? + δ?K时，系统存在唯一的正常数稳态E*(τ) = (C*(τ), R*(τ))。研究人员运用几何方法分析特征方程，推导出稳定性切换条件，并在(τ, σ)参数平面上确定了双Hopf分岔点的位置。与先前研究不同，本研究通过数值计算精确确定了双Hopf分岔点的坐标，而非仅停留在定性分析层面。
双Hopf分岔的正规形推导
针对由成熟时滞τ和记忆时滞σ联合诱导的双Hopf分岔，研究人员推导了其正规形。由于系统参数显式依赖于时滞τ，正规形中出现了与时滞依赖参数相关的新项。研究考虑了非强共振情形（non-strong resonance）以及波数k?, k? ≠ 0的情形。通过中心流形约化和正规形化简，研究人员获得了分类分岔点邻近动力学行为所需的显式公式，包括计算正规形系数K????、K????、K????、K????等关键量。这些公式为后续动力学分类奠定了理论基础。
正规形的显式表达式
在获得正规形结构的基础上，研究人员进一步给出了正规形系数的显式表达式。这些表达式涉及稳态值R*(τ_H)、C*(τ_H)及其各阶导数，反映了时滞依赖参数对分岔行为的深层影响。通过系统化的符号推导，研究人员建立了从原始系统参数到正规形系数的完整映射，使得理论预测具有可计算性。
数值模拟与动力学行为验证
通过固定生态学相关参数（r=1, K=1, α=2, b=1.5, β=1.5, δ?=0.1, δ?=0.5, d??=0.1, d??=0.1, d??=1.4, l=1），研究人员开展了系统的数值探索。当σ=0时，时滞参数τ的不稳定区间为I_u = (0.1117, 3.9351)。数值结果表明，记忆时滞和成熟时滞的联合作用可以产生丰富多样的共存动力学模式。
讨论与结论
该研究深入探究了具有基于记忆的扩散和时滞依赖参数的扩散捕食-猎物系统中，由成熟和空间记忆时滞联合诱导的双Hopf分岔问题。研究的主要贡献体现在三个层面：首先，通过改进几何方法，在不要求固定任一时滞的条件下，完整刻画了(τ, σ)平面上的线性稳定性区域，并精确数值计算出双Hopf分岔点；其次，将双Hopf分岔正规形算法推广至两个不同延迟诱导、且参数依赖于时滞的复杂情形，揭示了时滞依赖参数在正规形中引入的新结构；最后，发现了两种相互作用物种可以通过空间分离与聚集之间的周期性转换实现共存，这为理解具有阶段结构的智能物种之记忆驱动运动如何解释自然界中常见的同步行为提供了新视角。
研究结果表明，成熟和空间记忆时滞的联合效应能够产生包括空间均匀周期振荡、不同空间非均匀周期轨道之间的双稳态，以及空间分离与聚集的时间周期性转换在内的丰富动力学行为。这些发现为阐明具有双时滞和时滞依赖参数之扩散系统中高余维分岔所驱动的物种时空分布机制提供了理论框架，对预测和管理生态系统的空间动态具有潜在应用价值。该论文发表在《Mathematical Biosciences》。
结论部分原文翻译：本研究研究了具有时滞依赖参数的扩散捕食-猎物系统中由成熟和记忆时滞诱导的双Hopf分岔。通过改进几何方法，研究人员分析了同时涉及时滞依赖参数和空间波数的特征方程。研究人员证明了稳定区域边界上两条Hopf分岔曲线C_{k?}和C_{k?}的交点即为双Hopf分岔点。随后，研究人员确定了临界值。
