[论文解读] Global existence and steady states of a two competing species Keller-Segel chemotaxis model

Jia Hu, Qi Wang+2 more|arXiv (Cornell University)|Jul 3, 2014

Mathematical Biology Tumor Growth被引用 4

一句话总结

该论文建立了具有Lotka-Volterra动力学和Neumann边界条件的一维双物种Keller-Segel化学趋化模型的经典解的全局存在性与一致有界性。利用分支理论，证明了非平凡正稳态的存在性，并基于化学趋化强度与区域长度确定其稳定性，表明小区域有利于单调稳定态，而大区域则支持非单调模式。

ABSTRACT

We study an one{dimensional quasilinear system proposed by J. Tello and M. Winkler [19] which models the population dynamics of two competing species attracted by the same chemical. The kinetics terms of the interacting species are chosen to be the Lotka{Volterra type. We prove the existence of global bounded and classical solutions for all chemoattraction rates. Under homogeneous Neumann boundary conditions, we establish the existence of nonconstant steady states by local bifurcation theory. The stability of the bifurcating solutions is also obtained when the diffusivity of both species is large. Finally, we perform extensive numerical studies to demonstrate the formation of stable positive steady states with various interesting spatial structures.

研究动机与目标

• 建立一维完全抛物型双物种Keller-Segel模型经典解的全局存在性与一致有界性。
• 在Neumann边界条件下，通过分支理论研究非平凡正稳态的存在性。
• 确定分支稳态的稳定性，并识别单调或非单调空间模式出现的条件。
• 基于化学趋化强度与区域大小，提供稳定波模式选择的理论机制。
• 通过广泛的数值模拟验证理论结果，探索复杂的时空模式。

提出的方法

• 分析描述两种竞争物种对共同化学物质产生化学趋化的一维拟线性抛物系统（1.1）。
• 应用Crandall-Rabinowitz分支理论，证明在临界化学趋化值处，非平凡正稳态从均匀平衡点分岔产生。
• 推导分支参数的显式公式，并计算临界常数 $\mathcal{K}_2$ 以确定分支方向。
• 利用Turing不稳定性分析，识别均匀稳态因化学趋化或对流效应而失去稳定性的条件。
• 进行数值模拟以验证理论预测，并探索周期性时间行为与尖峰状空间模式。
• 研究模式形成对区域长度 $L$ 与化学趋化强度 $\chi$、$\xi$ 的依赖关系。

实验结果

研究问题

• RQ1 在何种条件下，完全抛物型双物种Keller-Segel系统存在全局有界的经典解？
• RQ2 在何种条件下，一维模型中通过分支产生非平凡正稳态？
• RQ3 分支稳态的稳定性如何依赖于区域长度 $L$ 与化学趋化强度 $\chi$、$\xi$？
• RQ4 当均匀状态失去稳定性时，哪种空间波模式（如 $\cos(k\pi x/L)$）被选为稳定模式？
• RQ5 系统中可能出现哪些复杂的时空模式（如周期性结构或尖峰形成），以及它们如何依赖于模型参数？

主要发现

• 在给定条件下，系统对所有时间均存在全局有界的经典解，确保不会发生解的爆破。
• 当化学趋化强度 $\chi$ 超过临界阈值 $\chi_0 = \min_k \{\tilde{\chi}_k, \hat{\chi}_k\}$ 时，非平凡正稳态通过从均匀平衡点分岔产生。
• 对于小区域长度 $L$，稳定稳态为单调；对于大 $L$，由于高阶模态分岔，出现非单调稳态。
• 分支解的稳定性由常数 $\mathcal{K}_2$ 的符号决定，该常数控制分支方向。
• 当 $\chi_0 = \chi_{k_0} < \min_k \hat{\chi}_k$ 时，系统在分岔点附近选择 $k_0$ 模态作为稳定空间模式。
• 数值模拟证实了稳定正稳态、周期性时间模式及复杂结构（如合并与新生尖峰）的出现。