[论文解读] Dynamic Transition and Pattern Formation for Chemotactic Systems

Tian Ma, Shouhong Wang|arXiv (Cornell University)|Jun 22, 2012

Mathematical Biology Tumor Growth参考文献 5被引用 4

一句话总结

本文将动态跃迁理论应用于Keller-Segel化学趋化模型，表明图案形成（如板状结构和矩形结构）通过I型或II型跃迁出现，具体取决于无量纲参数 $ b $。在丰富刺激物供应下，跃迁始终为稳态；在中等供应下，可能出现时空振荡，跃迁类型由 $ b $ 的符号决定，从而可建立图案选择的全局相图。

ABSTRACT

The main objective of this article is to study the dynamic transition and pattern formation for chemotactic systems modeled by the Keller-Segel equations. We study chemotactic systems with either rich or moderated stimulant supplies. For the rich stimulant chemotactic system, we show that the chemotactic system always undergoes a Type-I or Type-II dynamic transition from the homogeneous state to steady state solutions. The type of transition is dictated by the sign of a non dimensional parameter $b$. For the general Keller-Segel model where the stimulant is moderately supplied, the system can undergo a dynamic transition to either steady state patterns or spatiotemporal oscillations. From the pattern formation point of view, the formation and the mechanism of both the lamella and rectangular patterns are derived.

研究动机与目标

• 分析由Keller-Segel方程控制的化学趋化系统中的动态跃迁与图案形成。
• 根据无量纲参数 $ b $ 将跃迁分类为I型、II型或III型，以确定稳定性与图案类型。
• 推导在丰富与中等刺激物供应条件下，板状与矩形图案的形成机制。
• 通过分析 $ b $、$ b_0 $ 与 $ b_1 $ 的符号，建立图案选择的全局相图。
• 证明仅在中等刺激物供应下才会出现时空振荡，而在营养丰富的条件下不会发生。

提出的方法

• 利用动态跃迁理论分析Keller-Segel系统解的分岔与稳定性。
• 从区域 $ \Omega $ 中拉普拉斯算子的特征值推导临界跃迁参数 $ \theta_c $ 与 $ \rho_K $。
• 引入一个无量纲参数 $ b $，用以决定跃迁类型：$ b < 0 $ 表示I型（连续），$ b > 0 $ 表示II型（跳跃）。
• 将该理论应用于两种情形：(1) 刺激物供应丰富（无种群增长）；(2) 刺激物供应中等且包含种群动力学。
• 使用谱分析与渐近展开推导跃迁解，并基于波矢 $ K = (K_1, K_2) $ 对图案进行分类。
• 推导出 $ b $、$ b_0 $ 与 $ b_1 $ 的显式表达式，包括一维与无增长情形下的简化形式。

实验结果

研究问题

• RQ1 在丰富刺激物供应下，什么因素决定了化学趋化系统发生连续（I型）还是跳跃（II型）跃迁？
• RQ2 无量纲参数 $ b $ 的符号如何决定动态跃迁类型与最终形成的图案？
• RQ3 在何种条件下系统会过渡到时空振荡图案而非稳态图案？
• RQ4 Keller-Segel模型中板状与矩形图案的形成机制是什么？
• RQ5 域尺寸 $ L_1 $ 如何影响高密度细菌聚集物的数量与稳定性？

主要发现

• 在丰富刺激物情况下，系统始终经历I型或II型动态跃迁，形成稳态图案，跃迁类型仅由 $ b $ 的符号决定。
• 当 $ L_1 < 2\sqrt{5}\pi $ 时，跃迁为连续（I型），形成单一高密度细菌聚集物；当 $ L_1 > 2\sqrt{5}\pi $ 时，跃迁为跳跃（II型），形成多个聚集物。
• 在无增长情况下，当 $ \chi(u) = \frac{\chi_1 u_1}{(\beta + u_2)^2} $ 时，参数 $ b_1 $ 包含一个趋化增强项 $ \kappa $，从而改变图案形成的临界尺度。
• 在中等刺激物供应下，当 $ \lambda > \Lambda_c $ 时出现时空振荡，且 $ \Lambda_c < \lambda_c $，表明存在一个独立的动力学区域。
• 临界参数 $ \lambda_c $ 对应于 $ -\Delta $ 的一个特征值 $ \rho_K $，当 $ K_1K_2 = 0 $ 时，跃迁解形成板状图案；当 $ K_1K_2 \neq 0 $ 时，形成矩形图案。
• 当 $ \lambda^* < \lambda < \lambda_c $ 时，系统表现出亚稳态图案 $ v_2^\lambda $ 与 $ v_4^\lambda $，而当 $ \lambda > \lambda_c $ 时，系统完全过渡至复杂图案。