Zhang Lin, Ge Yongbin, Yang Xiaojia
School of Mathematics and Information Science, Guangzhou University, Guangzhou 510006, China.
Institute of Applied Mathematics and Mechanics, Ningxia University, Yinchuan 750021, China.
Math Biosci Eng. 2023 Mar 6;20(5):8601-8631. doi: 10.3934/mbe.2023378.
The Keller-Segel model is a time-dependent nonlinear partial differential system, which couples a reaction-diffusion-chemotaxis equation with a reaction-diffusion equation; the former describes cell density, and the latter depicts the concentration of chemoattractants. This model plays a vital role in the simulation of the biological processes. In view of the fact that most of the proposed numerical methods for solving the model are low-accuracy in the temporal direction, we aim to derive a high-precision and stable compact difference scheme by using a finite difference method to solve this model. First, a fourth-order backward difference formula and compact difference operators are respectively employed to discretize the temporal and spatial derivative terms in this model, and a compact difference scheme with the space-time fourth-order accuracy is proposed. To keep the accuracy of its boundary with the same order as the main scheme, a Taylor series expansion formula with the Peano remainder is used to discretize the boundary conditions. Then, based on the new scheme, a multigrid algorithm and a positivity-preserving algorithm which can guarantee the fourth-order accuracy are established. Finally, the accuracy and reliability of the proposed method are verified by diverse numerical experiments. Particularly, the finite-time blow-up, non-negativity, mass conservation and energy dissipation are numerically simulated and analyzed.
凯勒 - 塞格尔模型是一个与时间相关的非线性偏微分方程组,它将一个反应 - 扩散 - 趋化方程与一个反应 - 扩散方程耦合在一起;前者描述细胞密度,后者描绘化学引诱剂的浓度。该模型在生物过程模拟中起着至关重要的作用。鉴于大多数用于求解该模型的数值方法在时间方向上精度较低,我们旨在通过使用有限差分法求解此模型来推导一种高精度且稳定的紧致差分格式。首先,分别采用四阶向后差分公式和紧致差分算子对该模型中的时间和空间导数项进行离散,提出一种具有时空四阶精度的紧致差分格式。为使边界精度与主格式保持相同阶数,使用带有佩亚诺余项的泰勒级数展开公式对边界条件进行离散。然后,基于新格式建立了能保证四阶精度的多重网格算法和保正性算法。最后,通过各种数值实验验证了所提方法的准确性和可靠性。特别地,对有限时间爆破、非负性、质量守恒和能量耗散进行了数值模拟和分析。