# Instability of turing patterns in reaction-diffusion-ODE systems

- 2k Downloads
- 7 Citations

## Abstract

The aim of this paper is to contribute to the understanding of the pattern formation phenomenon in reaction-diffusion equations coupled with ordinary differential equations. Such systems of equations arise, for example, from modeling of interactions between cellular processes such as cell growth, differentiation or transformation and diffusing signaling factors. We focus on stability analysis of solutions of a prototype model consisting of a single reaction-diffusion equation coupled to an ordinary differential equation. We show that such systems are very different from classical reaction-diffusion models. They exhibit diffusion-driven instability (turing instability) under a condition of autocatalysis of non-diffusing component. However, the same mechanism which destabilizes constant solutions of such models, destabilizes also all continuous spatially heterogeneous stationary solutions, and consequently, there exist no stable Turing patterns in such reaction-diffusion-ODE systems. We provide a rigorous result on the nonlinear instability, which involves the analysis of a continuous spectrum of a linear operator induced by the lack of diffusion in the destabilizing equation. These results are extended to discontinuous patterns for a class of nonlinearities.

## Keywords

Pattern formation Reaction-diffusion equations Autocatalysis Turing instability Unstable stationary solutions## Mathematics Subject Classification

35B36 35K57 92C15 35M33## 1 Introduction

In this paper we focus on diffusion-driven instability (DDI) in systems of equations consisting of a single reaction-diffusion equation coupled with an ordinary differential equation system. Such systems are important for systems biology applications; they arise for example in modeling of interactions between processes in cells and diffusing growth factors, such as in refs. Hock et al. (2013), Klika et al. (2012), Marciniak-Czochra (2003), Marciniak-Czochra and Kimmel (2006, 2008), Pham et al. (2011), Umulis et al. (2006). In some cases they can be obtained as homogenization limits of models describing coupling of cell-localized processes with cell-to-cell communication via diffusion in a cell assembly (Marciniak-Czochra and Ptashnyk 2008; Marciniak-Czochra 2012). Other examples are discussed e.g. in refs. Chuan et al. (2006), Evans (1975), Marciniak-Czochra et al. (2015), Mulone and Solonnikov (2009), Wang et al. (2013) and in the references therein. A detailed discussion of the DDI phenomena in the three-component systems with some diffusion coefficients equal to zero is found in the recent work (Anma et al. 2012).

*Diffusion-driven instability*, also called the *Turing instability*, is a mechanism of *de novo* pattern formation, which has been often used to explain self-organization observed in nature. DDI is a bifurcation that arises in a reaction-diffusion system, when there exists a spatially homogeneous stationary solution which is asymptotically stable with respect to spatially homogeneous perturbations but unstable to spatially heterogeneous perturbations. Models with DDI describe a process of a destabilization of stationary spatially homogeneous steady states and evolution of the system towards spatially heterogeneous steady states. DDI has inspired a vast number of mathematical models since the seminal paper of Turing (1952), providing explanations of symmetry breaking and *de novo* pattern formation, shapes of animal coat markings, and oscillating chemical reactions. We refer the reader to the monographs by Murray (2002, 2003) and to the review article (Suzuki 2011) for references on DDI in the two component reaction-diffusion systems and to the paper Satnoianu et al. (2000) in the several component systems.

However, in many applications there are components which are localized in space, which leads to systems of ordinary differential equations coupled with reaction-diffusion equations. Our main goal is to clarify in what manner such models are different from the classical Turing-type models and to demonstrate that the spatial structure of the pattern emerging via DDI cannot be determined based on linear stability analysis.

To understand the role of non-diffusive components in the pattern formation process, we focus on systems involving a single reaction-diffusion equation coupled to ODEs. It is an interesting case, since a scalar reaction-diffusion equation cannot exhibit stable spatially heterogenous patterns (Casten and Holland 1978) and hence in such models it is the ODE component that yields the patterning process. As shown in ref. Marciniak-Czochra et al. (2013), it may happen that there exist no stable stationary patterns and the emerging spatially heterogeneous structures are of a dynamical nature. In numerical simulations of such models, solutions having the form of unbounded periodic or irregular spikes have been observed (Härting and Marciniak-Czochra 2014).

Thus, the aim of this work is to investigate to which extent the results obtained in Marciniak-Czochra et al. (2013), concerning the instability of all stationary structures, apply to a general class of reaction-diffusion-ODE models with a single diffusion operator.

In this paper we investigate stability properties of stationary solutions of the problem (1.1)–(1.3). Our main results are Theorems 2.1 and 2.11 which assert that, under a natural assumption satisfied by a wide variety of systems, stationary solutions are unstable. We call this assumption the *autocatalysis condition* (see Theorem 2.1) following its physical motivation in the model. We show in Section 3 that this condition is satisfied *for all stationary solutions* of a wide class of systems from mathematical biology. Our results are different in continuous and discontinuous stationary solutions. In the latter case, additional assumptions on the structure of nonlinearities are required.

As a complementary result to the instability theorems, we prove Theorem 2.9 which states that each non-constant regular stationary solution intersecting (in a sense to be defined) constant steady states with the DDI property, has to satisfy the autocatalysis condition. It is a classical idea by Turing that stable patterns appear around the constant steady state in systems of reaction-diffusion equations with DDI. Mathematical results on stability of such patterns can be found, *e.g.*, in refs. Iron et al. (2004), Wei (2008), Wei and Winter (2007, 2008, 2014) and in the references therein. In the current work, combining Theorems 2.1 and 2.9, we show that *this is not the case* in the reaction-diffusion-ODE problems (1.1)–(1.4). In other words, *the same mechanism which destabilizes constant solutions of such models, destabilizes also non-constant stationary solutions*, a behavior that does not fit the usual paradigm of the reaction-diffusion-type equations. See Remark 2.10 for more details.

Mathematically, in the proof of our main result we need to consider a nonempty continuous spectrum of the linearized operator. This seems to be a novelty in the study of reaction-diffusion equations, and is caused by the absence of diffusion in one of the equations. In Section 4, we provide a rigorous proof of the nonlinear instability of steady states by using ideas from fluid dynamics equations.

The paper is organized as follows. In Section 2, we state the main results. Section 3 provides relevant mathematical biology-related examples of reaction-diffusion-ODE systems. Proofs are postponed to Sects. 4 and 5. Section 4 is devoted to showing instability of the stationary solutions under the autocatalysis condition. A proof of the instability of discontinuous solutions requires additional conditions on the model nonlinearities. In Section 5, the continuous stationary solutions are characterized and it is shown that the autocatalysis condition is satisfied in the class of reaction-diffusion-ODE problems (1.1)–(1.4) exhibiting DDI. Appendix contains additional information on the model of early carcinogenesis which was the main motivation for our research.

## 2 Results and comments

First we formulate a condition which leads to instability of regular stationary solutions of the problem (1.1)–(1.4). Then, we show that it is the necessary condition for DDI in reaction-diffusion-ODE systems. Finally, we extend the instability results to a class of discontinuous stationary solutions satisfying additional assumptions.

### 2.1 Instability of regular steady states

*regular stationary solutions*(

*U*,

*V*) of problem (1.1)–(1.3). For this, we assume that there exists a solution (not necessarily unique) of the equation \(f\big (U(x),V(x)\big )=0\) that is given by the relation \(U(x)=k(V(x))\) for all \(x\in \Omega \) with a \(C^1\)-function \(k=k(V)\). Then, every regular solution (

*U*,

*V*) of the boundary value problem

### Theorem 2.1

*(Instability of regular solutions)*Let (

*U*,

*V*) be a regular solution of the problem (2.1)–(2.3) satisfying the following “autocatalysis condition”:

*U*,

*V*) is an unstable solution of the initial-boundary value problem (1.1)–(1.4).

Inequality (2.7) can be interpreted as *autocatalysis* in the dynamics of *u* at the steady state (*U*, *V*) at some point \(\ x_0 \in {\Omega }\). Stability of the stationary solution is understood in the Lyapunov sense. Moreover, we prove nonlinear instability of the stationary solutions of the problem (1.1)–(1.3) and not only their linear instability, *i.e.* the instability of zero solution of the corresponding linearized problem, see Section 4 for more explanations.

Each constant solution \((\bar{u},\bar{v})\in \mathbb {R}^2\) of the problem (2.1)–(2.3) is a particular case of a regular solution. Thus, Theorem 2.1 provides a simple criterion for the diffusion-driven instability (DDI) of \((\bar{u},\bar{v})\).

### Corollary 2.2

This corollary follows directly from Theorem 2.1, because the second and the third inequality in (2.8) imply that \((\bar{u}, \bar{v})\) is stable under homogeneous perturbations; see Remark 2.4 for more details.

### 2.2 Sufficient conditions for autocatalysis

Next, we show that DDI in the problem (1.1)–(1.4) implies the autocatalysis condition (2.7).

We consider only a *non-degenerate* constant stationary solution \((\bar{u},\bar{v})\) of the reaction-diffusion-ODE system (1.1)–(1.3). Hence, in the remainder of this work we make the following assumption.

### Assumption 2.3

*(Non-degeneracy of the stationary solutions)*Let all stationary solutions, i.e. vectors \((\bar{u},\bar{v})\in \mathbb {R}^2\) such that \( f(\bar{u},\bar{v})=0 \) and \(g(\bar{u},\bar{v})=0\), satisfy

### Remark 2.4

- 1.Ifthen the Jacobi matrix$$\begin{aligned} f_u (\bar{u}, \bar{v}) + g_v (\bar{u}, \bar{v}) < 0 \qquad \hbox {and} \qquad \det \left( \begin{array}{cc} f_u(\bar{u},\bar{v})&{}f_v(\bar{u},\bar{v})\\ g_u(\bar{u},\bar{v})&{}g_v(\bar{u},\bar{v}) \end{array} \right) > 0, \end{aligned}$$(2.11)has all eigenvalues with negative real parts, and hence \((\bar{u}, \bar{v})\) is an asymptotically stable solution of system (2.10).$$\begin{aligned} \left( \begin{array}{cc} f_u(\bar{u},\bar{v})&{}f_v(\bar{u},\bar{v})\\ g_u(\bar{u},\bar{v})&{}g_v(\bar{u},\bar{v}) \end{array} \right) \end{aligned}$$(2.12)
- 2.On the other hand, ifthen the linearization matrix (2.12) has an eigenvalue with a positive real part, and consequently, the pair \((\bar{u}, \bar{v})\) is an unstable solution of (2.10).$$\begin{aligned} \hbox {either}\qquad f_u (\bar{u}, \bar{v}) + g_v (\bar{u}, \bar{v}) > 0 \qquad \hbox {or} \qquad \det \left( \begin{array}{cc} f_u(\bar{u},\bar{v})&{}f_v(\bar{u},\bar{v})\\ g_u(\bar{u},\bar{v})&{}g_v(\bar{u},\bar{v}) \end{array} \right) < 0, \end{aligned}$$(2.13)

Now, we state a simple but fundamental property of the stationary solutions of the problem (1.1)–(1.4).

### Proposition 2.5

Assume that (*U*, *V*) is a non-constant regular solution of the stationary problem (2.1)–(2.3). Then, there exists \(x_0\in \overline{\Omega }\), such that the vector \( (\bar{u},\bar{v})\equiv \big (U(x_0), V(x_0)\big ) \) is a constant solution of the problem (2.1)–(2.3).

To prove Proposition 2.5, it suffices to integrate equation (2.2) over \(\Omega \) and to use the Neumann boundary condition (2.3) to obtain \( \int _{\Omega } g\big (U(x),V(x)\big )\;dx =0. \) Hence, there exists \(x_0\in \overline{\Omega }\) such that \(g\big (U(x_0),V(x_0)\big )=0\), because *U* and *V* are continuous. Thus, by Eq. (2.1), it also holds \(f\big (U(x_0),V(x_0)\big )=0. \)

In the case described by Proposition 2.5, we say that *a non-constant solution* (*U*, *V*) *intersects a constant solution* \((\bar{u},\bar{v})\). Now, we prove an important property of the constant solutions that are intersected by non-constant regular solutions.

### Proposition 2.6

*U*,

*V*) are non-degenerate,

*i.e.*relations (2.9) are satisfied. Then, at least at one of those constant solutions, denoted here by \((\bar{u},\bar{v})\), the following inequality holds

The proof of Proposition 2.6 is based on the properties of the solutions of the elliptic Neumann problem (2.4)–(2.5) (see Theorem 5.1, below), which we prove in Sect. 5.

### Remark 2.7

Every non-degenerate constant solution \((\bar{u},\bar{v})\) of the problem (1.1)–(1.4) satisfying inequality (2.14) is *unstable*. If both factors on the left-hand side of inequality (2.14) are positive, then, in particular, the autocatalysis condition \(f_u(\bar{u},\bar{v})>0\) is satisfied. Hence, the constant solution \((\bar{u},\bar{v})\) is an unstable solution of the reaction-diffusion-ODE system (1.1)–(1.4) by Theorem 2.1. On the other hand, if both factors on the left-hand side of inequality (2.14) are negative, then, in particular, the determinant in inequality (2.14) is negative and the constant vector \((\bar{u},\bar{v})\) is an unstable solution of the corresponding kinetic system (2.10), see the alternative (2.13) in Remark 2.4.

### Remark 2.8

It is worth to emphasize the following particular case of the phenomenon described in Remark 2.7, because we shall encounter it in our examples, further on. Suppose that the problem (1.1)–(1.4) has a non-constant regular stationary solution (*U*, *V*) intersecting *only one* constant and non-degenerate steady state \((\bar{u},\bar{v})\) which is asymptotically stable as a solution of the kinetic system (2.10). In such case, inequality (2.14) together with the second inequality in (2.11) directly imply the autocatalysis condition \( f_u(\bar{u},\bar{v})>0. \) Thus, by Theorem 2.1, \((\bar{u},\bar{v})\) is an unstable solution of the reaction-diffusion-ODE problem (1.1)–(1.4), *i.e.* the constant steady state \((\bar{u},\bar{v})\) has the DDI property. Below, in Theorem 2.9, we show that the non-constant stationary solution (*U*, *V*) also satisfies the autocatalysis condition (2.7), and hence, it is unstable.

Now, we are in the position to show that the autocatalysis condition (2.7) has to be satisfied in reaction-diffusion-ODE systems (1.1)–(1.3) with non-constant regular stationary solutions which intersect constant steady states with the DDI property.

### Theorem 2.9

*U*,

*V*) be a non-constant regular stationary solution of problem (1.1)–(1.4). Denote by \((\bar{u},\bar{v})\) a non-degenerate constant solution which intersects (

*U*,

*V*), and satisfies inequality (2.14). Assume that \((\bar{u},\bar{v})\) is an asymptotically stable solution of the kinetic system (2.10). Then, there exists \(x_0\in \Omega \) such that

The following remark emphasizes importance of the above results.

### Remark 2.10

The instability results from Theorem 2.1 and Corollary 2.2 combined with Theorem 2.9 can be summarized in the following way. This is a classical idea that, in a system of reaction-diffusion equations with a constant solution having the DDI property, one expects stable patterns to appear around that constant steady state. Such stationary solutions are called the *Turing patterns*. For the initial-boundary value problem for a reaction-diffusion-ODE system with a single diffusion equation (1.1)–(1.3), such stationary solutions can be constructed in the case of several models of interest (see Section 3). However, the same mechanism that destabilizes constant solutions of such models, also destabilizes the non-constant solutions. In other words, *all Turing patterns in the reaction-diffusion-ODE problems* (1.1)–(1.3) *are unstable.*

### 2.3 Instability of non-regular steady states

*k*. Here, we recall that a pair \(\big (U,V\big )\in L^\infty (\Omega )\times W^{1,2}(\Omega )\) is a

*weak solution*of problem (2.1)–(2.3) if the equation \(f\big (U(x),V(x)\big )=0\) is satisfied for almost all \(x\in \Omega \) and if

In this work, we do not prove the existence of such discontinuous solutions and we refer the reader to classical works (Aronson et al. 1988; Mimura et al. 1980; Sakamoto 1990) as well as to our recent paper Marciniak-Czochra et al. (2013, Thm. 2.9) for information about how to construct such solutions to one dimensional problems using phase portrait analysis. Our goal is to formulate a counterpart of the autocatalysis condition (2.7), which leads to instability of the weak (including discontinuous) stationary solutions.

### Theorem 2.11

*U*,

*V*) is a weak bounded solution of the problem (2.1)–(2.3) satisfying the following counterpart of the autocatalysis condition

*U*,

*V*) is an unstable solution of the initial-boundary value problem (1.1)–(1.4).

*spectral gap*, namely, there exists a subset of the spectrum \(\sigma (\mathcal {L})\), which has a positive real part, separated from zero. Here, we prove that \(\sigma (\mathcal {L})\subset \mathbb {C}\) consists of the set \(\{f_u(U(x),V(x))\, :\, x\in \overline{\Omega } \}\) and of isolated eigenvalues of \(\mathcal {L}\), see Section 4 and, in particular, Fig. 1 for more detail. One should emphasize that the instability of steady states from Theorems 2.1 and 2.11 is caused not by an eigenvalue with a positive real part, but rather by positive numbers from the set \(\mathrm{Range}\, f_u(U,V)\) which is contained in the continuous spectrum of the operator \((\mathcal {L}, D(\mathcal {L}))\), see Theorem 4.5 below for more details.

In fact, in the case of particular nonlinearities, we do not need to assume that condition (2.15) holds true for almost all \(x\in \Omega \). Indeed, if \(f(0,v)=0\), one may have stationary solutions \(U=U(x)\) such that \(U(x)=0\) on a subset of \(\Omega \) and \(U(x)>0\) on a complement. Such stationary solutions can be, for example, constructed for the carcinogenezis model (3.5)–(3.7) presented below (see Marciniak-Czochra et al. (2013)), and for several other one-dimensional equations discussed in ref. Mimura et al. (1980). In the following corollary, we show instability of the discontinuous stationary solutions, under the autocatalysis condition only for \(x\in \Omega \) such that \(U(x)\ne 0\).

### Corollary 2.12

*(Instability of weak solutions)*Assume that the nonlinear term in the equation (1.1) satisfies \(f(0,v)=0\) for all \(v\in \mathbb {R}\). Suppose that (

*U*,

*V*) is a weak bounded solution of the problem (2.1)–(2.3) with the following property: There exist constants \(0<\lambda _0<\Lambda _0<\infty \) such that

*U*,

*V*) is an unstable solution of the initial-boundary value problem (1.1)–(1.4).

### Remark 2.13

A typical nonlinearity satisfying the assumptions of Corollary 2.12 has the form \(\mathrm {f}(\mathrm {u},\mathrm {v})=\mathrm {r}(\mathrm {u},\mathrm {v})\mathrm {u}\). It can be found in the models, where the unknown variable *u* evolves according to the Malthusian law with a density dependent growth rate *r*.

We defer the proofs of Theorems 2.1 and 2.11 as well as of Corollary 2.12 to Subsection 4.6. Theorem 2.9 is somewhat independent of Theorems 2.1 and 2.11 and it is proven in Section 5.

## 3 Model examples

In this section, our results are illustrated by applying them to some models from mathematical biology.

### 3.1 Gray–Scott model

*v*and with nonnegative initial conditions. The constants

*B*and

*k*are assumed to be positive. The system exhibits the instability phenomenon described in Sect. 2.

*U*,

*V*) of the Neumann boundary-initial value problem for equations (3.1)–(3.2) has to satisfy the relation \(U = (B+k)/ V\), hence,

*all stationary solutions*(constant, regular as well as discontinuous) of the reaction-diffusion-ODE problem (3.1)–(3.2) are unstable under heterogeneous perturbations. For the proof, it suffices to notice that the autocatalysis assumptions (2.7) and (2.15) are satisfied, since, for \(U=(B+k)/V\), the function \(f_u\big (U(x),V(x)\big )\) is independent of

*x*and satisfies

### 3.2 Model of early carcinogenesis

*w*and with nonnegative initial conditions, Marciniak-Czochra et al. (2013). Here, the letters \(a , d_c,d_b, d_g, d, D, \kappa _0 \) denote positive constants.

*v*. Applying the quasi-steady state approximation in Eq. (3.6) (i.e., setting \(v_t\equiv 0\)), we obtain the relation \( v={u^2 w}/({d_b+d}), \) which after substituting into the remaining Eqs. (3.5) and (3.7) yields the initial-boundary value problem for the following reaction-diffusion-ODE system

The autocatalysis assumptions (2.7) and (2.15) are satisfied by simple calculations, similar to those in the previous example (see Marciniak-Czochra et al. (2013) for more details). As a consequence, *all nonnegative stationary solutions* of the system (3.8)–(3.9) (regular and non-regular) are unstable due to Theorems 2.1 and 2.11. This corresponds to our results on the three-equation model (3.5)–(3.7) proved in ref. Marciniak-Czochra et al. (2013).

Stability analysis of the space homogeneous solutions of the two equation model (3.8)–(3.9) is reported in Appendix B. In particular, by Remark 2.7, constant steady states of (3.8)–(3.9) are either unstable solutions of the corresponding kinetic system or they have the DDI property.

### 3.3 Model of glioma invasion

*“go-or-grow” model*introduced in ref. Pham et al. (2011) to investigate the dynamics of a population of glioma cells switching between a migratory and a proliferating phenotype in dependence on the local cell density. The model consists of two reaction-diffusion equations

*v*(

*x*,

*t*) and a proliferating population with density

*u*(

*x*,

*t*) (Caution: we changed the notation from Pham et al. (2011), where \(\rho _1=v\) and \(\rho _2=u\)). In this model, the constant \(\mu >0\) is the rate at which cells change their phenotype and the constant \(r\ge 0\) is the proliferation rate. The function \(\Gamma =\Gamma (\rho )\) has the following explicit form

*Go-or-rest model.*Let us first look at a particular version of model (3.10)–(3.11) with no proliferation rate (namely \(r=0\)) which is called in Pham et al. (2011) as the “go-or-rest model”:

*v*(

*x*,

*t*) has a one parameter family of constant stationary solutions:

*i.e.*they do not satisfy Assumption 2.3) because the determinant in (2.9) vanishes in this case. However, by an elementary analysis of the phase portrait of the system of the ODEs,

*stable solutions of system*(3.15). The constant steady state (3.14) satisfies the autocatalysis condition (2.7) if

*unstable solutions*of the reaction-diffusion-ODE system (3.12)–(3.13).

*Go-or-grow model.*Let us now briefly sketch an analogous reasoning in the case of the more general model (3.10)–(3.11) with \(r>0\). It has two constant stationary solutions (

*cf.*Pham et al. (2011)):

*stable solution*of the kinetic system corresponding to (3.10)–(3.11) and it satisfies the autocatalysis condition (2.7) if \((\Gamma '(1)+\Gamma (1))+(1-\Gamma (1))<0\) (see Pham et al. (2011)). In this case, by Theorem 2.1, it is an

*unstable solution*of the reaction-diffusion-ODE system (3.10)–(3.11).

It is beyond the scope of this work to study positive heterogeneous stationary solutions of the go-or-grow model with \(r>0\). However, if there exist regular and strictly positive stationary solutions, then under the assumption \((\Gamma '(1)+\Gamma (1))+(1-\Gamma (1))<0\), they must be unstable by Theorems 2.1 and 2.9, see also Remark 2.10. In conclusion, the structures shown in simulations of the models in ref. Pham et al. (2011) are not Turing patterns.

## 4 Instability of the stationary solutions

### 4.1 Existence of solutions

We begin our study of properties of solutions to the initial-boundary value problem (1.1)–(1.4) by recalling results on local-in-time existence and uniqueness of solutions for all bounded initial conditions.

### Theorem 4.1

*(Local-in-time solution)* Assume that \(u_0, v_0 \in L^\infty (\Omega )\). Then, there exists \(T = T(\Vert u_0 \Vert _\infty ,\, \Vert v_0 \Vert _\infty ) > 0\) such that the initial-boundary value problem (1.1)–(1.4) has a unique local-in-time mild solution \(u, v \in L^\infty \big ([0, T],\, L^\infty (\Omega ) \big )\).

*eg.*in Rothe (1984, Thm. 1, p. 111), see also our recent work Marciniak-Czochra et al. (2013, Ch. 3) for a construction of nonnegative solutions of particular reaction-diffusion-ODE problems.

### Remark 4.2

If \(u_0\) and \(v_0\) are more regular, *i.e.* if for some \(\alpha \in (0,1)\) we have \(u_0 \in C^\alpha (\overline{\Omega })\), \(v_0 \in C^{2+\alpha }(\overline{\Omega })\) and \(\partial _\nu v_0 = 0\) on \(\partial \Omega \), then the mild solution of problem (1.1)–(1.4) is smooth and satisfies \(u \in C^{1, \alpha }\big ([0, T] \times \overline{\Omega } \big )\) and \(v \in C^{1 + \alpha /2,\, 2 + \alpha }\left( [0, T] \times \overline{\Omega }\right) \). We refer the reader to Rothe (1984, Thm. 1, p. 112) as well as to Garroni et al. (2009) for studies of general reaction-diffusion-ODE systems in the Hölder spaces.

### 4.2 Linearization of reaction-diffusion-ODE problems

*U*,

*V*) be a stationary solution of problem (1.1)–(1.4) — either regular as discussed in Subsection 2.1 or weak (and possibly discontinuous) as defined in Subsection 2.3. Substituting

### Lemma 4.3

*U*,

*V*) be a bounded (not necessarily regular) stationary solution of problem (1.1)–(1.4). We consider the following linear system

### Proof

*e.g.*Engel and Nagel (2000, Ch. III.1.3) and Yagi (2010, Theorems 2.15 and 2.19)) that the same property holds true for the operator \((\mathcal {L},D(\mathcal {L}))\).

The spectral mapping theorem for the semigroup \(\{e^{t\mathcal {L}}\}_{t\ge 0}\) expressed by equality (4.5) holds true if the semigroup is *e.g.* eventually norm-continuous (see Engel and Nagel (2000, Ch. IV.3.10)). Since every analytic semigroup of linear operators is eventually norm-continuous, we obtain immediately relation (4.5) (cf. Engel and Nagel (2000, Ch. IV, Corollary 3.12)). \(\square \)

Next, we show certain elementary estimate of the nonlinearity in equation (4.3).

### Lemma 4.4

*U*,

*V*) be a bounded (not necessarily regular) stationary solution of problem (1.1)–(1.4). Then, for every \(p\in [1,\infty ]\), the nonlinear operator

### 4.3 Continuous spectrum of the linear operator

Now, we are in a position to study the spectrum \(\sigma (\mathcal {L})\) of the linear operator \(\mathcal {L}\), given by the formula (4.4) when we linearize the reaction-diffusion-ODE problem (1.1)–(1.4) at a regular stationary solution.

### Theorem 4.5

*U*(

*x*),

*V*(

*x*)) is a regular stationary solution of the problem (1.1)–(1.4) and define the constants

### Proof

*etc.*, cannot have a bounded inverse. Suppose,

*a contrario*, that \((\mathcal {L}-\lambda I)^{-1}\) exists and is bounded. Then, for a constant \(K= \Vert (\mathcal {L}-\lambda I)^{-1}\Vert \), we have

To prove this claim, first we observe that, for each \(\lambda \in [\lambda _0,\Lambda _0]\), there exists \(x_0\in \overline{\Omega }\) such that \(f_u\big (U(x_0),V(x_0)\big )-\lambda =0\). Hence, for every \(\varepsilon >0\) there is a ball \(B_\varepsilon \subset \Omega \) such that \(\Vert f_u-\lambda \Vert _{L^\infty (B_\varepsilon )}\le \varepsilon .\)

We have completed the proof that each \(\lambda \in [\lambda _0,\Lambda _0]\) belongs to \(\sigma (\mathcal {L})\). \(\square \)

### 4.4 Eigenvalues

In the Hilbert case \(D(\mathcal {L})=L^2(\Omega )\times W_N^{2,2}(\Omega )\), the remainder of the spectrum of \(\big (\mathcal {L}, D(\mathcal {L})\big )\) consists of a discrete set of eigenvalues \(\{\lambda _n\}_{n=1}^\infty \subset \mathbb {C}\setminus [\lambda _0,\Lambda _0]\). Here, we sketch the proof of this result, however, it does not play any role in our instability results.

Now, we are in a position to prove that the set \(\sigma (\mathcal {L})\setminus [\lambda _0,\Lambda _0]\) consists of isolated eigenvalues of \(\mathcal {L}\), only. Here, it suffices to use the following general result on a family of compact operators, which we state for the reader’s convenience. The proof can be found in the Reed and Simon book Reed and Simon (1980, Thm. VI.14).

### Theorem 4.6

*(Analytic Fredholm theorem)*Assume that

*H*is a Hilbert space and denote by

*L*(

*H*) the Banach space of all bounded linear operators acting on

*H*. For an open connected set \(D\subset \mathbb {C}\), let \(f:D\rightarrow L(H)\) be an analytic operator-valued function such that

*f*(

*z*) is compact for each \(z\in D\). Then, either

- (a)
\((I-f(z))^{-1}\) exists for no \(z\in D\), or

- (b)
\((I-f(z))^{-1}\) exists for all \(z\in D\setminus S\), where

*S*is a discrete subset of*D*(*i.e.*a set which has no limit points in*D*).

Recall that, for each \(\lambda \in \mathbb {C}\setminus [\lambda _0,\Lambda _0]\), the operator \(R(\lambda ):L^2(\Omega )\rightarrow L^2(\Omega )\) is compact as the superposition of the compact operator *G* and of the continuous multiplication operator with the function \(q(\lambda )+\ell \in L^\infty (\Omega )\). Moreover, the mapping \(\lambda \mapsto R(\lambda )\) from the open set \(\mathbb {C}\setminus [\lambda _0,\Lambda _0]\) into the Banach space of linear compact operators is analytic, which can be easily seen using the explicit form of \(q(\lambda )\) in (4.17). Thus, the set \(\sigma (\mathcal {L})\setminus [\lambda _0,\Lambda _0]\) consists of isolated points due to the analytic Fredholm Theorem 4.6. Here, to exclude the case (a) in Theorem 4.6, we have to show that the operator \(I-R(\lambda )\) is invertible for some \(\lambda \in \mathbb {C}\setminus [\lambda _0,\Lambda _0]\). This is, however, the consequence of the fact that the inhomogeneous boundary value problem (4.15)–(4.16) has a unique solution if \(\lambda >0\) is chosen so large that \(q(x,\lambda )<0\).

### 4.5 Linearization principle

The next goal in this section is to recall that, under appropriate conditions, the linear instability of the stationary solutions of a reaction-diffusion-ODE problem implies their nonlinear instability. Such a theorem is well-known for ordinary differential equations. Furthermore, in the case of reaction-diffusion equations where the spectrum of a linearized problem is discrete, one my apply the abstract result from the book by Henry (1981, Thm.5.1.3). However, in the case of reaction-diffusion-ODE problems, the linearized operator at a stationary solution (either smooth or discontinuous) may have a non-empty continuous spectrum (*cf.* Theorem 4.5). Hence, checking the assumptions of general results from Henry (1981) does not seem to be straightforward. Therefore, here, we propose a different approach.

*X*and \(\mathcal {N}\) is a nonlinear operator such that \(\mathcal {N}(0)=0\).

First, we recall an idea introduced by Shatah and Strauss (2000) which asserts that, under relatively strong assumption on a nonlinearity in equation (4.20), the existence of a positive part of the spectrum of the linear operator \(\mathcal {L}\) is sufficient to show that the zero solution of equation (4.3) is unstable. This is the precise statement of that result.

### Theorem 4.7

- (1)
the linear operator \(\mathcal {L}\) generates a strongly continuous semigroup of linear operators on a Banach space

*X*, - (2)
the intersection of the spectrum of \(\mathcal {L}\) with the right half-plane \(\{\lambda \in \mathbb {C}:\;: \mathrm{Re}\,\lambda >0\}\) is nonempty.

- (3)
\(\mathcal {N}:X\rightarrow X\) is continuous and there exist constants \(\rho >0\), \(\eta >0\), and \(C>0\) such that \(\Vert \mathcal {N}(w)\Vert _X \le C\Vert w\Vert _X^{1+\eta }\) for all \(\Vert w\Vert _X<\rho \).

We apply Theorem 4.7 to show an instability of regular steady states. In the case of discontinuous stationary solutions, we are unable to show that the nonlinearity in equation (4.3) satisfies the the condition (3) of Theorem 4.7. One may overcome this obstacle by assuming that the the spectrum \(\sigma (\mathcal {L})\) has so-called spectral gap. This classical method has been recently used by Mulone and Solonnikov Mulone and Solonnikov (2009) to show the instability of regular stationary solutions to certain reaction-diffusion-ODE problems, however, assumptions imposed in Mulone and Solonnikov (2009) are not satisfied in our case.

*Z*where the spectrum of a linearized operator is studied and a “small” space \(X\subset Z\) where an existence of solutions can be proved. More precisely, let (

*X*,

*Z*) be a pair of Banach spaces such that \(X\subset Z\) with a dense and continuous embedding. A solution \(w\equiv 0\) of the Cauchy problem (4.20) is called (

*X*,

*Z*)-

*nonlinearly stable*if for every \(\varepsilon > 0\), there exists \(\delta > 0\) so that if \(w(0) \in X\) and \(\Vert w(0)\Vert _Z < \delta \), then

- (1)
there exists a global in time solution of (4.20) such that \(w \in C([0,\infty );X)\);

- (2)
\(\Vert w(t)\Vert _Z < \varepsilon \) for all \(t \in [0,\infty )\).

In this work, we drop the reference to the pair (*X*, *Z*). Let us also note that, under this definition of stability, a loss of the existence of a solution of (4.20) is a particular case of instability.

Now, we recall a result linking the existence of the so-called *spectral gap* to the nonlinear instability of a trivial solution to problem (4.20).

### Theorem 4.8

- (1)The semigroup of linear operators \(\{e^{t\mathcal {L}}\}_{t\ge 0}\) on
*Z*satisfies “the spectral gap condition”, namely, we suppose that for every \(t>0\) the spectrum \(\sigma \) of the linear operator \(e^{t\mathcal {L}}\) can be decomposed as follows: \(\sigma =\sigma (e^{t\mathcal {L}})= \sigma _{-}\cup \sigma _{+} \) with \(\sigma _+\ne \emptyset \), whereand$$\begin{aligned} \sigma _{-}\subset \{z\in \mathbb {C}\;:\; e^{\kappa t}<|z|<e^{\mu t}\} \quad \text {and}\quad \sigma _{+}\subset \{z\in \mathbb {C}\;:\; e^{Mt}<|z|<e^{\Lambda t}\} \end{aligned}$$$$\begin{aligned} -\infty \le \kappa<\mu<M<\Lambda <\infty \qquad \text {for some} \quad M>0. \end{aligned}$$ - (2)The nonlinear term \(\mathcal {N}\) satisfies the inequalityfor some constants \(C_0>0\) and \(\rho >0\).$$\begin{aligned} \Vert \mathcal {N}(w)\Vert _Z\le C_0 \Vert w\Vert _X\Vert w\Vert _Z \qquad \text {for all}\quad w\in X \quad \text {satisfying} \quad \Vert w\Vert _X<\rho \end{aligned}$$(4.21)

The proof of this theorem can be found in the work by Friedlander *et al.* Friedlander et al. (1997, Thm. 2.1).

### Remark 4.9

The operator \(\mathcal {L}\) considered in this work satisfies the “spectral mapping theorem”: \(\sigma (e^{t\mathcal {L}})\setminus \{0\}=e^{t\sigma (\mathcal {L})}\), see Lemma 4.3. Thus, due to the relation \(|e^z|=e^{\mathrm{Re}\,z}\) for every \(z\in \mathbb {C}\), the spectral gap condition required in Theorem 4.8 holds true if for every \(\lambda \in \sigma (\mathcal {L})\), either \(\mathrm{Re}\,\lambda \in (\kappa ,\mu )\) or \(\mathrm{Re}\,\lambda \in (M,\Lambda )\).

### Remark 4.10

The authors of the reference Friedlander et al. (1997, Thm. 2.1) formulated their instability result under the spectral gap condition for a *group* of linear operators \(\{e^{t\mathcal {L}}\}_{t\in \mathbb {R}}\) and in the case of a finite constant \(\kappa \) (caution: in Friedlander et al. (1997), the letter \(\lambda \) is used instead of \(\kappa \)). However, the proof of Friedlander et al. (1997, Thm. 2.1) holds true (with a minor and obvious modification) in the case of a semigroup \(\{e^{t\mathcal {L}}\}_{t\ge 0}\) as well as \(\kappa =-\infty \) is allowed, as stated in Theorem 4.8. This extension is important to deal with the operator \(\mathcal {L}\) introduced in Lemma 4.3, which generates a semigroup of linear operators, only, and which may have an unbounded sequence of eigenvalues.

### 4.6 Proofs of instability results

### Proof of Theorem 2.1

We refer the reader to Yagi (2010, Ch. 2) for the proof that the operator \(\mathcal {L}\) discussed in Lemma 4.3 generates a semigroup of linear operators on *X*. The autocatalysis condition (2.7) combined with Theorem 4.5 imply that \(\sigma (\mathcal {L})\) meets the right-hand plane of \(\mathbb {C}\). Due to the embedding \(X\subset L^\infty (\Omega )\times L^\infty (\Omega )\), inequalities (4.7) and (4.8) imply that the nonlinear mapping \(\mathcal {N}\) in (4.6) satisfies the condition (3) of Theorem 4.7 with \(\eta =1\).

Hence, the regular stationary solution (*U*, *V*) is unstable. \(\square \)

### Proof of Theorem 2.11

To show an instability of non-regular stationary solution, we begin as in the proof of Theorem 2.1. First, we linearize our problem at a weak bounded stationary solution (*U*, *V*) and we notice that assumptions of Lemmas 4.3 and 4.4 are satisfied. Next, following the arguments from the proof of Theorem 4.5 we show that the number \(f_u(U(x_0), V(x_0))\) belongs to \(\sigma (\mathcal {L})\), where \(f_u(U(x),V(x))\) is positive at \(x_0\) and continuous in its neighborhood. Notice that we do not need to show that all numbers from \(\mathrm{Range}\, f_u(U,V)\) are in \(\sigma (\mathcal {L})\) to show the spectral gap condition required by Theorem 4.8. The reasoning from Subsection 4.4 concerning eigenvalues can be copied here without any change because \(q(\lambda ,x)\) defined in (4.17) is a bounded function for every \(\lambda \in \mathbb {C}\setminus [\lambda _0,\Lambda _0]\).

Now, let us show that the operator \(\mathcal {L}\) has a spectral gap as required in assumption (1) of Theorem 4.8.

By Lemma 4.3, there exists a number \(\omega _0\ge 0\) such that the operator \(\big (\mathcal {L}-\omega _0 I, D(\mathcal {L})\big )\) generates a bounded analytic semigroup on \(L^2(\Omega )\times L^2(\Omega )\); hence, this is a sectorial operator, see Engel and Nagel (2000, Ch. II, Thm. 4.6). In particular, there exists \(\delta \in (0,\pi /2]\) such that \( \sigma (\mathcal {L})\subset \Sigma _{\delta ,\omega _0}\equiv \{\lambda \in \mathbb {C}\;:\; |\mathrm{arg}\; (\lambda -\omega _0)|\ge \pi /2+\delta \}, \) see Fig. 1. A part of the spectrum \(\sigma (\mathcal {L})\) in the triangle \(\Sigma _{\delta ,\omega _0}\cap \{\lambda \in \mathbb {C}\;:\, \mathrm{Re}\; \lambda >0\}\) consists of the interval \([\lambda _0,\Lambda _0]\) where \(\lambda _0>0\) and of a discrete set of eigenvalues (by discussion in Subsection 4.4) with accumulation points from the interval \([\lambda _0,\Lambda _0]\), only (by Theorem 4.6.b). Thus, we can easily find infinitely many \(0\le \mu <M\le \lambda _0,\) for which the spectrum \(\sigma (\mathcal {L})\) can be decomposed as required in Theorem 4.8. Here, one should use the spectral mapping theorem, *i.e.* equality (4.5), and Remark 4.9.

Now, to complete the proof of an instability of not-necessarily regular stationary solutions, we apply Theorem 4.8 with \(X=L^\infty (\Omega )\times L^\infty (\Omega )\) and \(Z=L^2(\Omega )\times L^2(\Omega )\) for a bounded domain \(\Omega \subset \mathbb {R}^N\) with a regular boundary, supplemented with the usual norms. Then, required estimate of the nonlinear mapping in (4.21) is stated in inequality (4.7) with \(p=2\). \(\square \)

### Proof of Corollary 2.12

Here, the analysis is similar to the case of regular stationary solutions discussed in Theorem 2.1, hence, we only emphasize the most important steps.

*U*,

*V*) be a weak solution of problem (2.1)–(2.3) and denote by \(\mathcal {I}\subset \overline{\Omega }\) its

*null*set, namely, a measurable set such that \(U(x)=0\) for all \(x\in \mathcal {I}\) and \(U(x)\ne 0\) for all \(x\in \overline{\Omega } \setminus \mathcal {I}\). For a null set \(\mathcal {I}\), we define the associate \(L^2\)-space

Obviously, when the measure of \(\mathcal {I}\) equals zero, we have \(L_\mathcal {I}^2(\Omega )=L^2(\Omega )\). The imposed assumptions imply that \(\mathcal {I}\) is different from the whole interval.

*U*,

*V*). Moreover, for each \(x\in \overline{\Omega } \setminus \mathcal {I}\), the corresponding linearized operator agrees with \(\mathcal {L}\) defined in Lemma 4.3. Hence, the analysis from the proof of Theorem 2.1 can be directly adapted to discontinuous steady states in the following way.

Finally, we may study the discrete spectrum of \(\mathcal {L}_\mathcal {I}\) in the same way as in Subsection 4.4 because the corresponding function \(q(\lambda ,x)\) is bounded for \(\lambda \in \mathbb {C}\setminus [\lambda _0,\Lambda _0]\). The proof of instability of the stationary solution \((U_\mathcal {I}, V_\mathcal {I})\) is completed by Theorem 4.8 and Lemmas 4.3-4.4. \(\square \)

## 5 Constant steady states which are intersected by non-constant stationary solutions

First, we prove a certain property of stationary solutions to a general elliptic Neumann problem. This result will imply immediately Proposition 2.6.

### Theorem 5.1

### Proof

First, as in the proof of Proposition 2.5, we integrate the equation in (5.1) and we use the Neumann boundary condition to obtain \( \int _\Omega h(V(x))\, dx = 0. \) Hence, there exists \(x_0 \in \overline{\Omega }\) and \(a_0\in \mathbb {R}\) such that \( V(x_0)=a_0\) and \( h(a_0)=0. \) Now, we suppose that \(h^\prime (a_0) < 0\), and consider two cases: \(x_0 \in \Omega \) and \(x_0 \in \partial \Omega \), separately.

Now, we consider two cases.

*Case I: The equation*\(h(V) = 0\)

*has no solution between*\(a_0\)

*and*\(a_1\). Thus, we define the function

*Case II: The equation* \(h(V) = 0\) *has a solution* \(a_m\) *between* \(a_0\) *and* \(a_1\). It is clear that *V*(*x*) has to intersect \(a_m\), too. Choosing \(a_m\) the closest root of \(h(V) = 0\) to \(a_0\), we repeat the argument from Case I to show that \(h^\prime (a_m) \ge 0\).

Next, let \(x_0 \in \partial \Omega \). Following the previous reasoning and using the hypothesis \(h'(a_0)<0\), we find a ball \(B \subseteq \Omega \) such that \(x_0 \in \partial \Omega \) and \(r(x, a_0) < 0\) for all \(x \in B\). Moreover, we can assume that either \(V(x) > a_0\) or \(V(x) < a_0\) for all \(x \in B\), because, if there exists \(x_1 \in B\) such that \(V(x_1) = a_0\), then we can apply the same argument as in the first part of this proof to obtain \(h^\prime (a_0)\ge 0\).

Let \(V(x) < a_0\) for all \(x \in B\), and we apply the Hopf boundary lemma to equation (5.3) in the ball *B*. If *V* is a non-constant solution satisfying \(V(x) - a_0 < 0\) and \(V(x_0) - a_0 = 0\), then necessarily \( {\partial V(x_0)}/{\partial \nu } > 0, \) which contradicts the Neumann boundary condition satisfied by *V* at \(x_0 \in \partial \Omega \).

Thus, \(h'(a_0)\ge 0\) and the proof is complete. \(\square \)

### Proof of Proposition 2.6

*U*, which implies that \(k=k(V)\) is a \(C^1\)-function. Substituting \(U = k(V)\) into equation (2.2) and denoting \(h(V) = g\big (k(V), V \big )\), we obtain the following boundary value problem satisfied by \(V=V(x)\):

*v*to obtain \( k^\prime (v) f_u \big (k(v), v \big ) + f_v \big (k(v), v \big ) = 0\). Hence,

## Notes

### Acknowledgments

A. Marciniak-Czochra was supported by European Research Council Starting Grant No 210680 “Multiscale mathematical modelling of dynamics of structure formation in cell systems” and Emmy Noether Programme of German Research Council (DFG). The work of G. Karch was partially supported by the NCN grant 2013/09/B/ST1/04412. K. Suzuki acknowledges JSPS the Grant-in-Aid for Scientific Research (C) 26400156.

## References

- Anma A, Sakamoto K, Yoneda T (2012) Unstable subsystems cause Turing instability. Kodai Math J 35(2):215–247MathSciNetCrossRefzbMATHGoogle Scholar
- Aronson DG, Tesei A, Weinberger H (1988) A density-dependent diffusion system with stable discontinuous stationary solutions. Ann Mat Pura Appl (4) 152:259–280MathSciNetCrossRefzbMATHGoogle Scholar
- Casten R, Holland C (1978) Instability results for reaction-diffusion equations with Neumann boundary conditions. J Differ Equ 27:266–273MathSciNetCrossRefzbMATHGoogle Scholar
- Chuan Le H, Tsujikawa T, Yagi A (2006) Asymptotic behavior of solutions for forest kinematic model. Funkcial Ekvac 49:427–449MathSciNetCrossRefzbMATHGoogle Scholar
- Engel K-L, Nagel R (2000) One-parameter semigroups for linear evolution equations, Graduate Texts in Mathematics, 194. Springer-Verlag, New YorkGoogle Scholar
- Evans JW (1975) Nerve axon equations. IV. The stable and the unstable impulse. Indiana Univ Math J 24(12):1169–1190Google Scholar
- Friedlander S, Strauss W, Vishik M (1997) Nonlinear instability in an ideal fluid. Ann Inst H Poincaré Anal Non Linéaire 14:187–209MathSciNetCrossRefzbMATHGoogle Scholar
- Garroni MG, Solonnikov VA, Vivaldi MA (2009) Schauder estimates for a system of equations of mixed type. Rend Mat Appl 29:117–132MathSciNetzbMATHGoogle Scholar
- Gray P, Scott SK (1983) Autocatalytic reactions in the isothermal continuous stirred tank reactor: isolas and other forms of multistability. Chem Eng Sci 38:29–43CrossRefGoogle Scholar
- Härting S, Marciniak-Czochra A (2014) Spike patterns in a reaction-diffusion ODE model with Turing instability. Math Meth Appl Sci 37:1377–1391MathSciNetzbMATHGoogle Scholar
- Henry D (1981) Geometric theory of semilinear parabolic equations. Springer, New YorkCrossRefzbMATHGoogle Scholar
- Hock S, Ng Y, Hasenauer J, Wittmann D, Lutter D, Trümbach D, Wurst W, Prakash N, Theis FJ (2013) Sharpening of expression domains induced by transcription and microRNA regulation within a spatio-temporal model of mid-hindbrain boundary formation. BMC Syst Biol 7:48CrossRefGoogle Scholar
- Iron D, Wei J, Winter M (2004) Stability analysis of Turing patterns generated by the Schnakenberg model. J Math Biol 49:358–390MathSciNetCrossRefzbMATHGoogle Scholar
- Klika V, Baker RE, Headon D, Gaffney EA (2012) The influence of receptor-mediated interactions on reaction-diffusion mechanisms of cellular self-organization. Bull Math Biol 74:935–957MathSciNetCrossRefzbMATHGoogle Scholar
- Ladyzenskaja OA, Solonnikov VA (1973) The linearization principle and invariant manifolds for problems of magnetohydrodynamics. Boundary value problems of mathematical physics and related questions in the theory of functions, 7. Zap. Naucn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 38:46–93 (in Russian)Google Scholar
- Lin C-S, Ni W-M, Takagi I (1988) Large amplitude stationary solutions to a chemotaxis system. J Differ Equ 72:1–27MathSciNetCrossRefzbMATHGoogle Scholar
- Marciniak-Czochra A (2003) Receptor-based models with diffusion-driven instability for pattern formation in Hydra. J Biol Sys 11:293–324CrossRefzbMATHGoogle Scholar
- Marciniak-Czochra A (2012) Strong two-scale convergence and corrector result for the receptor-based model of the intercellular communication. IMA J Appl Math 77:855–868MathSciNetCrossRefzbMATHGoogle Scholar
- Marciniak-Czochra A, Karch G, Suzuki K (2013) Unstable patterns in reaction-diffusion model of early carcinogenesis. J Math Pures Appl 99:509–543MathSciNetCrossRefzbMATHGoogle Scholar
- Marciniak-Czochra A, Kimmel M (2006) Dynamics of growth and signaling along linear and surface structures in very early tumors. Comput Math Methods Med 7:189–213MathSciNetCrossRefzbMATHGoogle Scholar
- Marciniak-Czochra A, Kimmel M (2007) Modelling of early lung cancer progression: influence of growth factor production and cooperation between partially transformed cells. Math Models Methods Appl Sci 17(suppl.):1693–1719MathSciNetCrossRefzbMATHGoogle Scholar
- Marciniak-Czochra A, Kimmel M (2008) Reaction-diffusion model of early carcinogenesis: the effects of influx of mutated cells. Math Model Nat Phenom 3:90–114MathSciNetCrossRefzbMATHGoogle Scholar
- Marciniak-Czochra A, Nakayama M, Takagi I (2015) Pattern formation in a diffusion-ODE model with hysteresis. Differ Intergr Eqn 28(7–8):655–694MathSciNetzbMATHGoogle Scholar
- Marciniak-Czochra A, Ptashnyk M (2008) Derivation of a macroscopic receptor-based model using homogenisation techniques. SIAM J Mat Anal 40:215–237CrossRefzbMATHGoogle Scholar
- Mimura M, Tabata M, Hosono Y (1980) Multiple solutions of two-point boundary value problems of Neumann type with a small parameter. SIAM J Math Anal 11:613–631MathSciNetCrossRefzbMATHGoogle Scholar
- Mulone G, Solonnikov VA (2009) Linearization principle for a system of equations of mixed type. Nonlinear Anal 71(3–4):1019–1031MathSciNetCrossRefzbMATHGoogle Scholar
- Murray JD (2002) Mathematical biology. I. An introduction. Interdisciplinary applied mathematics, vol 17, 3rd edn. Springer, New YorkGoogle Scholar
- Murray JD (2003) Mathematical biology. II. Spatial models and biomedical applications. Interdisciplinary applied mathematics, vol 18, 3rd edn. Springer, New YorkGoogle Scholar
- Ni W-M (2004) Qualitative properties of solutions to elliptic problems. In: Chipot M, Quittner P (eds) Handbook of differential equations: stationary partial differential equations 1, vol 1. North-Holland, Amsterdam, pp 157–233CrossRefGoogle Scholar
- Ni W-M, Takagi I (1991) On the shape of least energy solution to a semilinear Neumann problem. Commn Pure Appl Math 44:819–851MathSciNetCrossRefzbMATHGoogle Scholar
- Ni W-M, Takagi I (1993) Locating the peaks of least-energy solutions to a semilinear neumann problem. Duke Math J 70:247–281MathSciNetCrossRefzbMATHGoogle Scholar
- Pham K, Chauviere A, Hatzikirou H, Li X, Byrne HM, Cristini V, Lowengrub J (2011) Density-dependent quiescence in glioma invasion: instability in a simple reaction-diffusion model for the migration/proliferation dichotomy. J Biol Dyn 6:54–71MathSciNetCrossRefGoogle Scholar
- Porter D, Stirling DSG (1990) ntegral equations. A practical treatment, from spectral theory to applications, Cambridge Texts in Applied Mathematics. Cambridge University Press, CambridgeCrossRefGoogle Scholar
- Reed M, Simon B (1980) Methods of modern mathematical physics. I. Functional analysis, 2nd edn. Academic Press Inc., New YorkzbMATHGoogle Scholar
- Rothe F (1984) Global solutions of reaction-diffusion systems, Lecture Notes in Mathematics, 1072. Springer-Verlag, BerlinGoogle Scholar
- Sakamoto K (1990) Construction and stability analysis of transition layer solutions in reaction-diffusion systems. Tohoku Math J 42:17–44MathSciNetCrossRefzbMATHGoogle Scholar
- Satnoianu RA, Menzinger M, Maini PK (2000) Turing instabilities in general systems. J Math Biol 41:493–512MathSciNetCrossRefzbMATHGoogle Scholar
- Shatah J, Strauss W (2000)
*Spectral condition for instability.*Nonlinear PDE’s, dynamics and continuum physics (South Hadley, MA, 1998), 189–198, Contemp. Math., 255, Am Math Soc, Providence, RIGoogle Scholar - Suzuki K (2011) Mechanism generating spatial patterns in reaction-diffusion systems. Interdiscip Inf Sci 17:131–153MathSciNetzbMATHGoogle Scholar
- Smoller J (1994) Shock waves and reaction-diffusion equations, Grundlehren der Mathematischen Wissenschaften, vol 258, 2nd edn. Springer, New YorkCrossRefGoogle Scholar
- Turing AM (1952) The chemical basis of morphogenesis. Phil Trans R Soc B 237:37–72MathSciNetCrossRefGoogle Scholar
- Umulis DM, Serpe M, O’Connor MB, Othmer HG (2006) Robust, bistable patterning of the dorsal surface of the Drosophila embryo. PNAS 103:11613–11618CrossRefGoogle Scholar
- Wang L, Shao H, Wu Y (2013) Stability of travelling front solutions for a forest dynamical system with cross-diffusion. IMA J Appl Math 78:494–512MathSciNetCrossRefzbMATHGoogle Scholar
- Wei J (2008)
*Existence and stability of spikes for the Gierer-Meinhardt system.*Handbook of differential equations: stationary partial differential equations. Vol. V, 487–585, Handb. Differ. Equ., Elsevier/North-Holland, AmsterdamGoogle Scholar - Wei J, Winter M (2007) Existence, classification and stability analysis of multiple-peaked solutions for the Gierer-Meinhardt system in \({\mathbb{R}}^1\). Methods Appl Anal 14:119–163MathSciNetzbMATHGoogle Scholar
- Wei J, Winter M (2008) Stationary multiple spots for reaction-diffusion systems. J Math Biol 57:53–89MathSciNetCrossRefzbMATHGoogle Scholar
- Wei J, Winter M (2014) Stationary Stability of cluster solutions in a cooperative consumer chain model. J Math Biol 68:1–39MathSciNetCrossRefzbMATHGoogle Scholar
- Yagi A (2010) Abstract parabolic evolution equations and their applications. Springer Monographs in Mathematics. Springer, BerlinCrossRefGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.