[论文解读] Pattern formation in a diffusion-ODE model with hysteresis

Anna Marciniak‐Czochra, Madoka Nakayama+1 more|arXiv (Cornell University)|Nov 7, 2013

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

一句话总结

本文研究了具有滞后特性的扩散-ODE模型中的模式形成问题，其中不扩散的细胞内组分表现出多稳态和滞后特性，导致稳态解中出现尖锐的过渡层。作者严格刻画了来自ODE子系统准稳态滞后的不连续稳态模式，证明即使不存在扩散驱动不稳定性，此类模式仍可出现，从而为具有突变空间转变的生物模式形成提供了机制。

ABSTRACT

Coupling diffusion process of signaling molecules with nonlinear interactions of intracellular processes and cellular growth/transformation leads to a system of reaction-diffusion equations coupled with ordinary differential equations (diffusion-ODE models), which differ from the usual reaction-diffusion systems. One of the mechanisms of pattern formation in such systems is based on the existence of multiple steady states and hysteresis in the ODE subsystem. Diffusion tries to average different states and is the cause of spatio-temporal patterns. In this paper we provide a systematic description of stationary solutions of such systems, having the form of transition or boundary layers. The solutions are discontinuous in the case of non-diffusing variables whose quasi-stationary dynamics exhibit hysteresis. The considered model is motivated by biological applications and elucidates a possible mechanism of formation of patterns with sharp transitions.

研究动机与目标

• 理解在ODE子系统表现出滞后和多重稳态的扩散-ODE系统中，空间异质性稳态模式的形成机制。
• 分析具有非扩散变量且表现出滞后行为的系统中稳态解的结构，特别是不连续过渡层或边界层的特征。
• 建立一个严格的数学框架，用于描述由多稳态和滞后驱动的模式形成，而非扩散驱动不稳定性（DDI）。
• 证明即使在DDI不发生的情况下，只要ODE子系统具有滞后特性，稳定的空间异质性模式仍可形成。

提出的方法

• 对包含单一扩散物种和由非线性ODE控制的非扩散细胞内组分的反应-扩散-ODE系统进行形式分析。
• 利用渐近分析和奇异摄动技术，研究小扩散极限下尖锐过渡层的形成。
• 构造非扩散组分中具有不连续性的解，对应于多个准稳态之间的跃迁。
• 应用相平面分析和能量积分方法，刻画过渡层解的结构与稳定性。
• 基于非线性ODE势函数的二阶导数和Hölder连续性假设，推导出层宽的积分估计。
• 通过变量变换和渐近展开技术，证明解的存在性及其渐近行为。

实验结果

研究问题

• RQ1 在扩散-ODE模型中，是否可以在不存在扩散驱动不稳定性（DDI）的情况下形成稳定的空间异质性稳态模式？
• RQ2 ODE子系统中的滞后特性在促成尖锐过渡层形成中起到何种作用？
• RQ3 ODE子系统的特性（如多稳态性和非可逆性）如何影响稳态解的结构？
• RQ4 非扩散组分中不连续过渡层的宽度和位置由什么决定？
• RQ5 滞后特性的存在如何影响此类系统中非图灵模式的存在性与稳定性？

主要发现

• 即使在不存在扩散驱动不稳定性的情况下，只要ODE子系统表现出滞后特性，扩散-ODE模型中仍可形成稳定的空间异质性稳态模式。
• 由于非扩散组分中存在多稳态和滞后特性，不连续的稳态解会形成尖锐的过渡层，且不连续点出现在多个准稳态共存的位置。
• 过渡层的宽度量级为 $ O(1/\text{某个参数}) $，解的渐近行为由ODE子系统中势函数的导数决定。
• 与层宽相关的积分 $ J(a) $ 在 $ a \to 0 $ 时的渐近行为为 $ \log(1/a) + O(1) $，表明其具有对数发散特性。
• 稳定模式的存在依赖于ODE动力学的非可逆性，因为可逆系统无法支持此类模式。
• 分析结果证实，滞后是此类扩散-ODE模型中稳定模式形成的必要条件。