Abstract
Reaction diffusion systems are often used to study pattern formation in biological systems. However, most methods for understanding their behavior are challenging and can rarely be applied to complex systems common in biological applications. I present a relatively simple and efficient, nonlinear stability technique that greatly aids such analysis when rates of diffusion are substantially different. This technique reduces a system of reaction diffusion equations to a system of ordinary differential equations tracking the evolution of a large amplitude, spatially localized perturbation of a homogeneous steady state. Stability properties of this system, determined using standard bifurcation techniques and software, describe both linear and nonlinear patterning regimes of the reaction diffusion system. I describe the class of systems this method can be applied to and demonstrate its application. Analysis of Schnakenberg and substrate inhibition models is performed to demonstrate the methods capabilities in simplified settings and show that even these simple models have nonlinear patterning regimes not previously detected. The real power of this technique, however, is its simplicity and applicability to larger complex systems where other nonlinear methods become intractable. This is demonstrated through analysis of a chemotaxis regulatory network comprised of interacting proteins and phospholipids. In each case, predictions of this method are verified against results of numerical simulation, linear stability, asymptotic, and/or full PDE bifurcation analyses.
Similar content being viewed by others
References
Barrass, I., Crampin, E. J., & Maini, P. K. (2006). Mode transitions in a model reaction–diffusion system driven by domain growth and noise. Bull. Math. Biol., 68, 981–995.
Caron, E. (2003). Rac signalling: a radical view. Nat. Cell Biol., 5, 185–187.
Crampin, E. J., Gaffney, E. A., & Maini, P. K. (1999). Reaction and diffusion on growing domains: scenarios for robust pattern formation. Bull. Math. Biol., 61, 1093–1120.
Dawes, A. T., & Edelstein-Keshet, L. (2007). Phosphoinositides and rho proteins spatially regulate actin polymerization to initiate and maintain directed movement in a one-dimensional model of a motile cell. Biophys. J., 92, 744–768.
Dhooge, A., Govaerts, W., & Kuznetsov, Yu. A. (2003). Matcont: a matlab package for numerical bifurcation analysis of odes. ACM Trans. Math. Softw., 29, 141–164. doi:10.1145/779359.779362
Doelman, A., & Veerman, F. (2012). An explicit theory for pulses in two component singularly perturbed reaction-diffusion equations. J. Dyn. Diff. Equ. doi:10.1007/s10884-013-9325-2.
Doedel, E., Champneys, A., Fairgrieve, T., Kuznetsov, Y., Oldeman, B., Paffenroth, R., Sandstede, B., Wang, X., & Zhang, C. (2007). Auto-07p: continuation and bifurcation software for ordinary differential equations: Continuation and bifurcation software for ordinary differential equations, URL http://indy.cs.concordia.ca/auto.
Doelman, A., Gardner, R. A., & Kaper, T. J. (1998). Stability analysis of singular patterns in the 1D Gray–Scott model: a matched asymptotics approach. Physica D, 122, 1–36.
Doelman, A., Kaper, T. J., & Promislow, K. (2007). Nonlinear asymptotic stability of the semistrong pulse dynamics in a regularized Gierer–Meinhardt model. SIAM J. Math. Anal., 38, 1760–1787.
Ferguson, G. J., Milne, L., Kulkarni, S., Sasaki, T., Walker, S., Andrews, S., Crabbe, T., Finan, P., Jones, G., Jackson, S., et al. (2006). Pi (3) kγ has an important context-dependent role in neutrophil chemokinesis. Nat. Cell Biol., 9, 86–91.
Fu, Y., & Yang, Z. (2001). Rop gtpase: a master switch of cell polarity development in plants. Trends Plant Sci., 6, 545–547.
Gierer, A., & Meinhardt, H. (1972). A theory of biological pattern formation. Kybernetik, 12, 30–39.
Goehring, N. W., Trong, P. K., Bois, J. S., Chowdhury, D., Nicola, E. M., Hyman, A. A., & Grill, S. W. (2011). Polarization of par proteins by advective triggering of a pattern-forming system. Science, 334, 1137–1141.
Grieneisen, V. (2009). Dynamics of auxin patterning in plant morphogenesis. PhD thesis, University of Utrecht.
Holmes, W. R., Carlsson, A. E., & Edelstein-Keshet, L. (2012a). Regimes of wave type patterning driven by refractory actin feedback: transition from static polarization to dynamic wave behavior. Phys. Biol., 9, 046005.
Holmes, W. R., Lin, B., Levchenko, A., & Edelstein-Keshet, L. (2012b). Modeling cell polarization driven by synthetic spatially graded rac activation. PLoS Comput. Biol., 8, e1002366.
Huang, K. C., Meir, Y., & Wingreen, N. S. (2003). Dynamic structures in Escherichia coli: spontaneous formation of mine rings and mind polar zones. Proc. Natl. Acad. Sci. USA, 100, 12724–12728.
Huang, K. C., & Wingreen, N. S. (2005). Min-protein oscillations in round bacteria. Phys. Biol., 1, 229.
Iron, D., & Ward, M. J. (2000). A metastable spike solution for a nonlocal reaction diffusion model. SIAM J. Appl. Math., 60, 778–802.
Iron, D., Wei, J., & Winter, M. (2004). Stability analysis of turing patterns generated by the Schnakenberg model. J. Math. Biol., 49, 358–390.
Jilkine, A., & Edelstein-Keshet, L. (2011). A comparison of mathematical models for polarization of single eukaryotic cells in response to guided cues. PLoS Comput. Biol., 7, e1001121.
Jilkine, A., Marée, A. F. M., & Edelstein-Keshet, L. (2007). Mathematical model for spatial segregation of the rho-family GTPases based on inhibitory crosstalk. Bull. Math. Biol., 69, 1943–1978.
Kaper, H. G., Wang, S., & Yari, M. (2009). Dynamical transitions of Turing patterns. Nonlinearity, 22, 601.
Kernevez, J. P., Joly, G., Duban, M. C., Bunow, B., & Thomas, D. (1979). Hysteresis, oscillations, and pattern formation in realistic immobilized enzyme systems. J. Math. Biol., 7, 41–56.
Kolokolnikov, T., Ward, M. J., & Wei, J. (2005a). The existence and stability of spike equilibria in the one-dimensional Gray–Scott model: the low feed-rate regime. Stud. Appl. Math., 115, 21–71.
Kolokolnikov, T., Ward, M. J., & Wei, J. (2005b). The existence and stability of spike equilibria in the one-dimensional gray Scott model: the pulse-splitting regime. Physica D, 202, 258–293.
Kolokolnikov, T., Ward, M. J., & Wei, J. (2005c). Pulse-splitting for some reaction-diffusion systems in one-space dimension. Stud. Appl. Math., 114, 115–165.
Lewis, M. A., & Kareiva, P. (1993). Allee dynamics and the spread of invading organisms. Theor. Popul. Biol., 43, 141–158.
Li, F., & Ni, W. M. (2009). On the global existence and finite time blow-up of shadow systems. J. Differ. Equ., 247, 1762–1776.
Lin, B., Holmes, W. R., Wang, C. J., Ueno, T., Harwell, A., Edelstein-Keshet, L., Inoue, T., & Levchenko, A. (2012). Synthetic spatially graded rac activation drives cell polarization and movement. In Proceedings of the national academy of sciences, early edition.
Marée, A. F. M., Jilkine, A., Dawes, A., Grieneisen, V. A., & Edelstein-Keshet, L. (2006). Polarization and movement of keratocytes: a multiscale modelling approach. Bull. Math. Biol., 68, 1169–1211.
Mata, M. A., Dutot, M., Edelstein-Keshet, L., & Holmes, W. R. (2013). A model for intracellular actin waves explored by nonlinear local perturbation analysis. J. Theor. Biol., 334, 149–161.
Mori, Y., Jilkine, A., & Edelstein-Keshet, L. (2008). Wave-pinning and cell polarity from a bistable reaction–diffusion system. Biophys. J., 94, 3684–3697.
Mori, Y., Jilkine, A., & Edelstein-Keshet, L. (2011). Asymptotic and bifurcation analysis of wave-pinning in a reaction–diffusion model for cell polarization. SIAM J. Appl. Math., 71, 1401–1427.
Murray, J. D. (1982). Parameter space for Turing instability in reaction diffusion mechanisms: a comparison of models. Journal of Theoretical Biology, 143–163.
Murray, J. D. (2002). Mathematical biology: an introduction. Interdisciplinary applied mathematics (3rd ed.). Berlin: Springer.
Nishiura, Y. (1982). Global structure of bifurcating solutions of some reaction–diffusion systems. SIAM J. Appl. Math., 13, 555–593.
Pismen, L. M., & Rubinstein, B. Y. (1999). Computer tools for bifurcation analysis: general approach with application to dynamical and distributed systems. Int. J. Bifurc. Chaos Appl. Sci. Eng., 9, 983–1008.
Rodrigues, L. A. D., Mistro, D. C., & Petrovskii, S. (2011). Pattern formation, long-term transients, and the Turing–Hopf bifurcation in a space-and time-discrete predator–prey system. Bull. Math. Biol., 73, 1812–1840.
Rubinstein, B., Slaughter, B. D., & Li, R. (2012). Weakly nonlinear analysis of symmetry breaking in cell polarity models. Phys. Biol., 9, 045006.
Sander, E. E., Jean, P., Van Delft, S., Van Der Kammen, R. A., & Collard, J. G. (1999). Rac downregulates rho activity reciprocal balance between both gtpases determines cellular morphology and migratory behavior. J. Cell Biol., 147, 1009–1022.
Schnakenberg, J. (1979). Simple chemical reaction systems with limit cycle behavior. J. Theor. Biol., 81, 389–400.
Short, M. B., Bertozzi, A. L., & Brantingham, P. J. (2010). Nonlinear patterns in urban crime: hotspots, bifurcations, and suppression. SIAM J. Appl. Dyn. Syst., 9, 462–483.
Turing, A. M. (1952). The chemical basis of morphogenesis. Philos. Trans. R. Soc. Lond. B, Biol. Sci., 237, 37–72.
Ueda, K. I., & Nishiura, Y. (2012). A mathematical mechanism for instabilities in stripe formation on growing domains. Physica D, 241, 37–59.
van der Stelt, S., Doelman, A., Hek, G., & Rademacher, J. D. M. (2013). Rise and fall of periodic patterns for a generalized Klausmeier–Gray–Scott model. J. Nonlinear Sci., 23, 39–95.
van Leeuwen, F. N., Kain, H. E. T., van der Kammen, R. A., Michiels, F., Kranenburg, O. W., & Collard, J. G. (1997). The guanine nucleotide exchange factor tiam1 affects neuronal morphology; opposing roles for the small gtpases rac and rho. J. Cell Biol., 139, 797–807.
Veerman, F., & Doelman, A. (2013). Pulses in a Gierer–Meinhardt equation with a slow nonlinearity. SIAM J. Appl. Dyn. Syst., 12, 28–60.
Wang, W., Liu, Q., & Jin, Z. (2007). Spatiotemporal complexity of a ratio-dependent predator–prey system. Phys. Rev. E, 75, 051913.
Ward, M. J., & Wei, J. (2002). The existence and stability of asymmetric spike patterns for the Schnakenberg model. Stud. Appl. Math., 109, 229–264.
Acknowledgements
W.R.H. thanks Leah Edelstein-Keshet and Michael Ward as well as the anonymous reviewers for their valuable comments. This research was partially supported by the NIH grants R01 GM086882 (to Anders E. Carlsson and Leah Edelstein-Keshet) and P50 GM76516, and an NSERC discovery grant (to L.E.K.).
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Schnakenberg Asymptotics
This analysis closely follows (Ward and Wei 2002). Consider the Schnakenberg system (11a), (11b) on the interval [−1,1]. In Ward and Wei (2002), it was shown that this system exhibits stable spike solutions when a=0. That analysis can be extended to show such spikes in fact exist for all values of a under certain asymptotic conditions.
To begin, define
and subsequently drop the \(\bar{}\) to yield
Assuming D≫1/ϵ, v=v 0+ϵv 1(x)+⋯, and integrating (22), it can be determined that
A spike solution of the form u(x)=u 0+u 1(x/ϵ) is now sought where u 0 and u 1 are the outer and inner solutions. It is assumed u 0 is spatially constant. Collecting terms involving the same powers of ϵ shows the outer solution is u 0≈aϵ and the inner solution satisfies
on x/ϵ=z∈[−1,1] with no flux boundary conditions. The solution to this problem is known (see Ward and Wei 2002) yielding
Integrating the square of this expression and substituting into (23) yields v 0=b/3. Unravelling the change of coordinates yields the approximate spike solution for the original problem (Eqs. (11a), (11b)) on [−1,1]
So the Schnakenberg system (11a), (11b) in fact produces spike type solutions for all values of a in the limit ϵ→0. This is in agreement with the results of the LPA in Fig. 2a and the progression of the fold bifurcation (where the spike is lost) to ∞ as a→∞ in the bifurcation analysis in Fig. 2c. Further, the maximum value of u in (26) with a=0 compares to good precision with the maximum values shown at a=0 in Fig. 2c, supporting these results.
Appendix B: Proof of Theorem 4.1
To prove Theorem 4.1, first notice the eigenvalues of J k (18) can be segregated into two regions of the complex plane using the Gershgorin circle theorem (see Fig. 6). Fix a specific wave number k, let a i,j be the elements of J k , and define
where C(a,r) is the circle with center a and radius r. The Gershgorin circle theorem states that each eigenvalue of J k lies in at least one of the disks C i . The structure of J k is such that the off diagonal entries are O(1) with respect to D. So R=max{R i } is O(1). The diagonal entries fall into two categories, those that are O(1) (corresponding to the small diffusion entries), and those that are −k 2 D+O(1) (corresponding to large diffusion entries). Define Ω s to be the union of the disks C i that are characterized by O(1) diagonal entries and Ω l as the union of disks characterized by O(D) diagonal entries. Since these disks have a maximal radius R independent of D, there exists disks C l =C(−k 2 D,κ l R) and C s =C(0,κ s R) so that for constants κ l,s independent of D, Ω s ⊂C s and Ω l ⊂C l . For sufficiently large D, C s and C l do not overlap and hence separate {λ k} into two sets (see Fig. 6).
So, for each i, either \(\operatorname{\mathfrak{Re}}(\lambda ^{k}_{i})=O^{-}(D)\), or \(\operatorname{\mathfrak{Re}}(\lambda^{k}_{i})=O(1)\). Since det(J k )=O(D N), \(\{ \lambda^{k}_{i} \}_{i=M+1:M+N}\) must have O −(D) real part. Also note that the imaginary parts of all eigenvalues are constrained to be less than max{κ s ,κ l }R so that \(\operatorname{\mathfrak{Im}}(\lambda_{k}^{i})=O(1)\) for all i as well, so \(|\lambda^{k}_{i}|=O(1)\) for i=1:M.
Eigenvalues of J k are roots of the characteristic polynomial
where I is a properly sized identity matrix. Let P and Q be the unitary matrices that diagonalize f u (u s,v s) and g v (u s,v s). Then in particular the diagonal entries of P −1 f u (u s,v s)P are \(\{ \lambda^{LP}_{j} \}\) and the entries of Q −1 g v (u s,v s)Q are O(1). Define
Then the eigenvalue problem translates to
where [λ LP] is the diagonal form of f u (u s,v s). Notice that A1,A4 are diagonal.
Now consider an eigenvalue λ whose real part is O(1). In this case, the diagonal entries of A4 are O −(D) and it is nonsingular. It can thus be used to eliminate A2. After this is done, the eigenvalue problem becomes
Since the bottom right block is nonsingular, it must be true that
where O(D −1) is a properly sized matrix with entries of this size. With D=∞, the roots of this polynomial are simply \(\{ \lambda ^{LP}_{j} - k^{2} \epsilon^{2} \}\). It is tempting to view Eq. (32) as a perturbation of this case and apply some form of perturbation bound. However, f u is not Hermitian, which is usually required for such bounds. Instead, the best we can say is that by continuity of the determinant, the roots of this polynomial satisfy
where c(D)→0 as D→∞.
Appendix C: GTPase Model Equations
Figure 5a schematically diagrams interactions between three interacting GTPases and three phosphoinositides. I briefly outline the model equations describing these interactions. Further specifics can be found in Holmes et al. (2012b), Lin et al. (2012). Modifications of the model presented in those references, which are the subject of investigation here, are described in the main text. Each GTPase undergoes conservative cycling between active membrane bound and inactive forms in the cell interior by (un)binding to the membrane. These dynamics are described by
where G=R,ρ,C represents the membrane bound form and G c represents an inactive cytosolic form. Phosphoinositides interconvert between three states through the hydrolysis/phosphorylation activity of PI5K, PI3K, PTEN, etc., which are not explicitly modeled. The GTPase activation rate functions encoding the interactions in Fig. 5a are defined by
Phosphoinositide kinetics are modeled by linear and mass action kinetics
with feedback terms
See Table 2 for a base parameter set for this model.
Rights and permissions
About this article
Cite this article
Holmes, W.R. An Efficient, Nonlinear Stability Analysis for Detecting Pattern Formation in Reaction Diffusion Systems. Bull Math Biol 76, 157–183 (2014). https://doi.org/10.1007/s11538-013-9914-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11538-013-9914-6