[论文解读] Finite propagation enhances Turing patterns in reaction-diffusion networked systems

Timotéo Carletti, Riccardo Muolo|arXiv (Cornell University)|Apr 9, 2021

Nonlinear Dynamics and Pattern Formation参考文献 47被引用 10

一句话总结

该论文通过在Cattaneo弛豫框架下引入有限传播速度，将图灵模式形成理论扩展至复杂网络上的反应-扩散系统，取代了经典的无限速度扩散模型。它在理论上证明，即使在经典图灵条件被违反的情况下（如快速激活剂、慢速抑制剂或抑制剂-抑制剂系统），也会出现由惯性驱动的不稳定性，从而显著扩大了静态和波状模式的参数空间。

ABSTRACT

We hereby develop the theory of Turing instability for reaction-diffusion systems defined on complex networks assuming finite propagation. Extending to networked systems the framework introduced by Cattaneo in the 40's, we remove the unphysical assumption of infinite propagation velocity holding for reaction-diffusion systems, thus allowing to propose a novel view on the fine tuning issue and on existing experiments. We analytically prove that Turing instability, stationary or wave-like, emerges for a much broader set of conditions, e.g., once the activator diffuses faster than the inhibitor or even in the case of inhibitor-inhibitor systems, overcoming thus the classical Turing framework. Analytical results are compared to direct simulations made on the FitzHugh-Nagumo model, extended to the relativistic reaction-diffusion framework with a complex network as substrate for the dynamics.

研究动机与目标

• 将经典的图灵不稳定性框架扩展至具有有限传播速度的复杂网络，克服无限扩散速度这一非物理解释的假设。
• 研究通过Cattaneo弛豫项建模的有限传播速度如何改变网络上反应-扩散系统形成模式的条件。
• 识别并表征超越经典激活剂-抑制剂范式的新型不稳定性区域，特别是惯性驱动不稳定性。
• 为超双曲反应-扩散系统在网路上的静态和振荡图灵模式的出现建立解析条件。
• 通过在相对论（有限速度）反应-扩散框架下对FitzHugh-Nagumo模型的模拟，验证理论发现。

提出的方法

• 通过为两种物种引入不同的惯性时间τu和τv，将Cattaneo的超双曲扩散模型适配至网络系统，以基于弛豫的本构方程取代Fick定律。
• 通过将改进的Fick第一定律与连续性方程（即Fick第二定律）结合，推导出网络上的超双曲反应-扩散系统，从而产生二阶时间动力学。
• 利用网络的离散拉普拉斯矩阵定义扩散算子，其色散关系依赖于该矩阵的特征值。
• 对线性化系统的四阶特征多项式应用Routh-Hurwitz判据，以解析确定稳定性边界。
• 在复杂网络上的FitzHugh-Nagumo模型上执行直接数值模拟，以验证有限速度动力学下的理论预测。
• 与经典抛物型（无限速度）情形及先前假设惯性时间相等的研究进行比较，突出τu ≠ τv的作用。

实验结果

研究问题

• RQ1 在经典图灵理论失效的情况下，有限传播速度是否能在复杂网络上的反应-扩散系统中实现图灵不稳定性？
• RQ2 激活剂和抑制剂物种的独立惯性时间τu和τv如何影响静态和波状模式的出现？
• RQ3 当经典扩散驱动不稳定性不可行时，网络拓扑在调节惯性驱动不稳定性中起到什么作用？
• RQ4 引入弛豫时间是否允许在经典图灵条件下被禁止的抑制剂-抑制剂系统中形成模式？
• RQ5 在τu = τv的情况下，齐次平衡的稳定性阈值如何依赖于惯性时间τ？

主要发现

• 通过Cattaneo弛豫框架建模的有限传播速度，即使在激活剂扩散快于抑制剂时，也能实现图灵不稳定性——这违反了经典图灵条件。
• 对于快速激活剂和慢速抑制剂系统，以及抑制剂-抑制剂系统，均会出现惯性驱动不稳定性，而这些情况在经典图灵理论中被排除。
• 模式形成的参数空间显著扩大：即使在D_u > D_v的区域（经典抛物模型中被禁止），图灵模式仍可形成。
• 当τu = τv时，存在一个临界阈值τmax，超过该值齐次平衡将变得不稳定，表明稳定性条件依赖于惯性时间。
• 对FitzHugh-Nagumo模型的数值模拟证实了理论预测，显示在有限速度动力学下，静态和波状模式均能稳健出现。
• 所推导的色散关系和特征多项式与先前使用扩展热力学方法的研究不同，为网络上的超双曲反应-扩散系统提供了新的解析洞见。