1
|
Zhao XE, Hao W. Emergence of non-trivial solutions from trivial solutions in reaction-diffusion equations for pattern formation. Math Biosci 2024; 374:109222. [PMID: 38830572 PMCID: PMC11246824 DOI: 10.1016/j.mbs.2024.109222] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [Key Words] [MESH Headings] [Grants] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 09/08/2023] [Revised: 03/16/2024] [Accepted: 05/27/2024] [Indexed: 06/05/2024]
Abstract
Reaction-diffusion equations serve as fundamental tools in describing pattern formation in biology. In these models, nonuniform steady states often represent stationary spatial patterns. Notably, these steady states are not unique, and unveiling them mathematically presents challenges. In this paper, we introduce a framework based on bifurcation theory to address pattern formation problems, specifically examining whether nonuniform steady states can bifurcate from trivial ones. Furthermore, we employ linear stability analysis to investigate the stability of the trivial steady-state solutions. We apply the method to two classic reaction-diffusion models: the Schnakenberg model and the Gray-Scott model. For both models, our approach effectively reveals many nonuniform steady states and assesses the stability of the trivial solution. Numerical computations are also presented to validate the solution structures for these models.
Collapse
Affiliation(s)
- Xinyue Evelyn Zhao
- Department of Mathematics, University of Tennessee, Knoxville, TN 37916, USA.
| | - Wenrui Hao
- Department of Mathematics, Pennsylvania State University, University Park, PA, 16802, USA.
| |
Collapse
|
2
|
High-Order Compact Difference Method for Solving Two- and Three-Dimensional Unsteady Convection Diffusion Reaction Equations. AXIOMS 2022. [DOI: 10.3390/axioms11030111] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 01/25/2023]
Abstract
In this paper, a type of high-order compact (HOC) finite difference method is developed for solving two- and three-dimensional unsteady convection diffusion reaction (CDR) equations with variable coefficients. Firstly, an HOC difference scheme is derived to solve the two-dimensional (2D) unsteady CDR equation. Discretization in time is carried out by Taylor series expansion and correction of the truncation error remainder, while discretization in space is based on the fourth-order compact difference formulas. The scheme is second-order accuracy in time and fourth-order accuracy in space. The unconditional stability is obtained by the von Neumann analysis method. Then, this scheme is extended to solve the three-dimensional (3D) unsteady CDR equation. It needs only a five-point stencil for 2D problems and a seven-point stencil for 3D problems. Moreover, the present schemes can solve the nonlinear Burgers equation. Finally, numerical experiments are conducted to show the good performances of the new schemes.
Collapse
|
3
|
Spatial pattern formation in reaction-diffusion models: a computational approach. J Math Biol 2020; 80:521-543. [PMID: 31907596 DOI: 10.1007/s00285-019-01462-0] [Citation(s) in RCA: 4] [Impact Index Per Article: 1.0] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 07/22/2019] [Revised: 11/26/2019] [Indexed: 10/25/2022]
Abstract
Reaction-diffusion equations have been widely used to describe biological pattern formation. Nonuniform steady states of reaction-diffusion models correspond to stationary spatial patterns supported by these models. Frequently these steady states are not unique and correspond to various spatial patterns observed in biology. Traditionally, time-marching methods or steady state solvers based on Newton's method were used to compute such solutions. However, the solutions that these methods converge to highly depend on the initial conditions or guesses. In this paper, we present a systematic method to compute multiple nonuniform steady states for reaction-diffusion models and determine their dependence on model parameters. The method is based on homotopy continuation techniques and involves mesh refinement, which significantly reduces computational cost. The method generates one-parameter steady state bifurcation diagrams that may contain multiple unconnected components, as well as two-parameter solution maps that divide the parameter space into different regions according to the number of steady states. We applied the method to two classic reaction-diffusion models and compared our results with available theoretical analysis in the literature. The first is the Schnakenberg model which has been used to describe biological pattern formation due to diffusion-driven instability. The second is the Gray-Scott model which was proposed in the 1980s to describe autocatalytic glycolysis reactions. In each case, the method uncovers many, if not all, nonuniform steady states and their stabilities.
Collapse
|
4
|
Abstract
The second-order implicit integration factor method (IIF2) is effective at solving stiff reaction-diffusion equations owing to its nice stability condition. IIF has previously been applied primarily to systems in which the reaction contained no explicitly time-dependent terms and the boundary conditions were homogeneous. If applied to a system with explicitly time-dependent reaction terms, we find that IIF2 requires prohibitively small time-steps, that are relative to the square of spatial grid sizes, to attain its theoretical second-order temporal accuracy. Although the second-order implicit exponential time differencing (iETD2) method can accurately handle explicitly time-dependent reactions, it is more computationally expensive than IIF2. In this paper, we develop a hybrid approach that combines the advantages of both methods, applying IIF2 to reaction terms that are not explicitly time-dependent and applying iETD2 to those which are. The second-order hybrid IIF-ETD method (hIFE2) inherits the lower complexity of IIF2 and the ability to remain second-order accurate in time for large time-steps from iETD2. Also, it inherits the unconditional stability from IIF2 and iETD2 methods for dealing with the stiffness in reaction-diffusion systems. Through a transformation, hIFE2 can handle nonhomogeneous boundary conditions accurately and efficiently. In addition, this approach can be naturally combined with the compact and array representations of IIF and ETD for systems in higher spatial dimensions. Various numerical simulations containing linear and nonlinear reactions are presented to demonstrate the superior stability, accuracy, and efficiency of the new hIFE method.
Collapse
Affiliation(s)
- Yuchi Qiu
- Department of Mathematics, University of California, Irvine Irvine, CA 92697, USA
| | - Weitao Chen
- Department of Mathematics, University of California, Riverside Riverside, CA 92507, USA
| | - Qing Nie
- Department of Mathematics, Department of Developmental and Cell Biology University of California, Irvine Irvine, CA 92697, USA
| |
Collapse
|
5
|
Krylov Implicit Integration Factor Methods for Semilinear Fourth-Order Equations. MATHEMATICS 2017. [DOI: 10.3390/math5040063] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 11/16/2022]
Abstract
Implicit integration factor (IIF) methods were developed for solving time-dependent stiff partial differential equations (PDEs) in literature. In [Jiang and Zhang, Journal of Computational Physics, 253 (2013) 368–388], IIF methods are designed to efficiently solve stiff nonlinear advection–diffusion–reaction (ADR) equations. The methods can be designed for an arbitrary order of accuracy. The stiffness of the system is resolved well, and large-time-step-size computations are achieved. To efficiently calculate large matrix exponentials, a Krylov subspace approximation is directly applied to the IIF methods. In this paper, we develop Krylov IIF methods for solving semilinear fourth-order PDEs. As a result of the stiff fourth-order spatial derivative operators, the fourth-order PDEs have much stricter constraints in time-step sizes than the second-order ADR equations. We analyze the truncation errors of the fully discretized schemes. Numerical examples of both scalar equations and systems in one and higher spatial dimensions are shown to demonstrate the accuracy, efficiency and stability of the methods. Large time-step sizes that are of the same order as the spatial grid sizes have been achieved in the simulations of the fourth-order PDEs.
Collapse
|
6
|
Pavlova J, Fasano A, Janela J, Sequeira A. Numerical validation of a synthetic cell-based model of blood coagulation. J Theor Biol 2015; 380:367-79. [PMID: 26073721 DOI: 10.1016/j.jtbi.2015.06.004] [Citation(s) in RCA: 1] [Impact Index Per Article: 0.1] [Reference Citation Analysis] [Abstract] [Key Words] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 02/12/2015] [Revised: 05/15/2015] [Accepted: 06/02/2015] [Indexed: 10/23/2022]
Abstract
In Fasano et al. (2012) a new reduced mathematical model for blood coagulation was proposed, incorporating biochemical and mechanical actions of blood flow and including platelets activity. The model was characterized by a considerable simplification of the differential system associated to the biochemical network and it incorporated the role of blood slip at the vessel wall as an extra source of activated platelets. The purpose of this work is to check the validity of the reduced mathematical model, using as a benchmark the model presented in Anand et al. (2008), and to investigate the importance of the blood slip velocity in the blood coagulation process.
Collapse
Affiliation(s)
- J Pavlova
- CEMAT, IST, Universidade de Lisboa, Portugal.
| | - A Fasano
- Dipartimento di Matematica, "U. Dini", Università degli studi di Firenze, Italy; FIAB SpA, Firenze, Italy; Istituto di Analisi dei Sistemi ed Informatica (IASI) Antonio Ruberti, CNR, Italy.
| | - J Janela
- Departamento de Matemática and CEMAPRE, ISEG, Universidade de Lisboa, Portugal.
| | - A Sequeira
- CEMAT, IST, Universidade de Lisboa, Portugal; Departamento de Matemática and CEMAT, IST, Universidade de Lisboa, Portugal.
| |
Collapse
|
7
|
Wang D, Chen W, Nie Q. Semi-implicit Integration Factor Methods on Sparse Grids for High-Dimensional Systems. JOURNAL OF COMPUTATIONAL PHYSICS 2015; 292:43-55. [PMID: 25897178 PMCID: PMC4400671 DOI: 10.1016/j.jcp.2015.03.033] [Citation(s) in RCA: 3] [Impact Index Per Article: 0.3] [Reference Citation Analysis] [Abstract] [Key Words] [Grants] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 06/04/2023]
Abstract
Numerical methods for partial differential equations in high-dimensional spaces are often limited by the curse of dimensionality. Though the sparse grid technique, based on a one-dimensional hierarchical basis through tensor products, is popular for handling challenges such as those associated with spatial discretization, the stability conditions on time step size due to temporal discretization, such as those associated with high-order derivatives in space and stiff reactions, remain. Here, we incorporate the sparse grids with the implicit integration factor method (IIF) that is advantageous in terms of stability conditions for systems containing stiff reactions and diffusions. We combine IIF, in which the reaction is treated implicitly and the diffusion is treated explicitly and exactly, with various sparse grid techniques based on the finite element and finite difference methods and a multi-level combination approach. The overall method is found to be efficient in terms of both storage and computational time for solving a wide range of PDEs in high dimensions. In particular, the IIF with the sparse grid combination technique is flexible and effective in solving systems that may include cross-derivatives and non-constant diffusion coefficients. Extensive numerical simulations in both linear and nonlinear systems in high dimensions, along with applications of diffusive logistic equations and Fokker-Planck equations, demonstrate the accuracy, efficiency, and robustness of the new methods, indicating potential broad applications of the sparse grid-based integration factor method.
Collapse
Affiliation(s)
- Dongyong Wang
- Department of Mathematics, University of California, Irvine, CA 92697, USA
| | - Weitao Chen
- Department of Mathematics, University of California, Irvine, CA 92697, USA
| | - Qing Nie
- Department of Mathematics, University of California, Irvine, CA 92697, USA
| |
Collapse
|
8
|
Siero E, Doelman A, Eppinga MB, Rademacher JDM, Rietkerk M, Siteur K. Striped pattern selection by advective reaction-diffusion systems: resilience of banded vegetation on slopes. CHAOS (WOODBURY, N.Y.) 2015; 25:036411. [PMID: 25833449 DOI: 10.1063/1.4914450] [Citation(s) in RCA: 29] [Impact Index Per Article: 3.2] [Reference Citation Analysis] [Abstract] [MESH Headings] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 06/04/2023]
Abstract
For water-limited arid ecosystems, where water distribution and infiltration play a vital role, various models have been set up to explain vegetation patterning. On sloped terrains, vegetation aligned in bands has been observed ubiquitously. In this paper, we consider the appearance, stability, and bifurcations of 2D striped or banded patterns in an arid ecosystem model. We numerically show that the resilience of the vegetation bands is larger on steeper slopes by computing the stability regions (Busse balloons) of striped patterns with respect to 1D and transverse 2D perturbations. This is corroborated by numerical simulations with a slowly decreasing water input parameter. Here, long wavelength striped patterns are unstable against transverse perturbations, which we also rigorously prove on flat ground through an Evans function approach. In addition, we prove a "Squire theorem" for a class of two-component reaction-advection-diffusion systems that includes our model, showing that the onset of pattern formation in 2D is due to 1D instabilities in the direction of advection, which naturally leads to striped patterns.
Collapse
Affiliation(s)
- E Siero
- Mathematisch Instituut, Universiteit Leiden, P.O. Box 9512, 2300 RA Leiden, The Netherlands
| | - A Doelman
- Mathematisch Instituut, Universiteit Leiden, P.O. Box 9512, 2300 RA Leiden, The Netherlands
| | - M B Eppinga
- Department of Environmental Sciences, Copernicus Institute, Faculty of Geosciences, Utrecht University, P.O. Box 80115, 3508 TC, Utrecht, The Netherlands
| | - J D M Rademacher
- Fachbereich Mathematik, Universität Bremen, Postfach 33 04 40, 28359 Bremen, Germany
| | - M Rietkerk
- Department of Environmental Sciences, Copernicus Institute, Faculty of Geosciences, Utrecht University, P.O. Box 80115, 3508 TC, Utrecht, The Netherlands
| | - K Siteur
- Department of Environmental Sciences, Copernicus Institute, Faculty of Geosciences, Utrecht University, P.O. Box 80115, 3508 TC, Utrecht, The Netherlands
| |
Collapse
|
9
|
Wang D, Zhang L, Nie Q. Array-representation Integration Factor Method for High-dimensional Systems. JOURNAL OF COMPUTATIONAL PHYSICS 2014; 258:10.1016/j.jcp.2013.11.002. [PMID: 24415797 PMCID: PMC3886925 DOI: 10.1016/j.jcp.2013.11.002] [Citation(s) in RCA: 2] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [Abstract] [Key Words] [Grants] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 06/03/2023]
Abstract
High order spatial derivatives and stiff reactions often introduce severe temporal stability constraints on the time step in numerical methods. Implicit integration method (IIF) method, which treats diffusion exactly and reaction implicitly, provides excellent stability properties with good efficiency by decoupling the treatment of reactions and diffusions. One major challenge for IIF is storage and calculation of the potential dense exponential matrices of the sparse discretization matrices resulted from the linear differential operators. Motivated by a compact representation for IIF (cIIF) for Laplacian operators in two and three dimensions, we introduce an array-representation technique for efficient handling of exponential matrices from a general linear differential operator that may include cross-derivatives and non-constant diffusion coefficients. In this approach, exponentials are only needed for matrices of small size that depend only on the order of derivatives and number of discretization points, independent of the size of spatial dimensions. This method is particularly advantageous for high dimensional systems, and it can be easily incorporated with IIF to preserve the excellent stability of IIF. Implementation and direct simulations of the array-representation compact IIF (AcIIF) on systems, such as Fokker-Planck equations in three and four dimensions and chemical master equations, in addition to reaction-diffusion equations, show efficiency, accuracy, and robustness of the new method. Such array-presentation based on methods may have broad applications for simulating other complex systems involving high-dimensional data.
Collapse
Affiliation(s)
- Dongyong Wang
- Department of Mathematics, University of California, Irvine, CA 92697, USA
| | - Lei Zhang
- Beijing International Center for Mathematical Research, Peking University, Beijing 100871, China
| | - Qing Nie
- Department of Mathematics, University of California, Irvine, CA 92697, USA
| |
Collapse
|
10
|
Ovadia J, Nie Q. Numerical Methods for Two-Dimensional Stem Cell Tissue Growth. JOURNAL OF SCIENTIFIC COMPUTING 2013; 58:149-175. [PMID: 24415847 PMCID: PMC3883546 DOI: 10.1007/s10915-013-9728-6] [Citation(s) in RCA: 3] [Impact Index Per Article: 0.3] [Reference Citation Analysis] [Abstract] [Key Words] [Grants] [Track Full Text] [Download PDF] [Figures] [Subscribe] [Scholar Register] [Received: 10/26/2012] [Revised: 03/07/2013] [Accepted: 05/07/2013] [Indexed: 06/03/2023]
Abstract
Growth of developing and regenerative biological tissues of different cell types is usually driven by stem cells and their local environment. Here, we present a computational framework for continuum tissue growth models consisting of stem cells, cell lineages, and diffusive molecules that regulate proliferation and differentiation through feedback. To deal with the moving boundaries of the models in both open geometries and closed geometries (through polar coordinates) in two dimensions, we transform the dynamic domains and governing equations to fixed domains, followed by solving for the transformation functions to track the interface explicitly. Clustering grid points in local regions for better efficiency and accuracy can be achieved by appropriate choices of the transformation. The equations resulting from the incompressibility of the tissue is approximated by high-order finite difference schemes and is solved using the multigrid algorithms. The numerical tests demonstrate an overall spatiotemporal second-order accuracy of the methods and their capability in capturing large deformations of the tissue boundaries. The methods are applied to two biological systems: stratified epithelia for studying the effects of two different types of stem cell niches and the scaling of a morphogen gradient with the size of the Drosophila imaginal wing disc during growth. Direct simulations of both systems suggest that that the computational framework is robust and accurate, and it can incorporate various biological processes critical to stem cell dynamics and tissue growth.
Collapse
Affiliation(s)
- Jeremy Ovadia
- Department of Mathematics, Center for Mathematical and Computational Biology, Center for Complex Biological Systems, University of California, Irvine, CA 92697 USA
| | - Qing Nie
- Department of Mathematics, Center for Mathematical and Computational Biology, Center for Complex Biological Systems, University of California, Irvine, CA 92697 USA
| |
Collapse
|