Advertisement

Journal of Mathematical Biology

, Volume 74, Issue 3, pp 583–618 | Cite as

Instability of turing patterns in reaction-diffusion-ODE systems

  • Anna Marciniak-Czochra
  • Grzegorz Karch
  • Kanako Suzuki
Open Access
Article

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.

We focus on the following two-equation system
$$\begin{aligned}&u_t = f(u,v), \quad \,\,\text {for}\quad x\in \overline{\Omega }, \quad t>0, \end{aligned}$$
(1.1)
$$\begin{aligned}&v_t = \Delta v+g(u,v) \quad \text {for}\quad x\in \Omega , \quad t>0 \end{aligned}$$
(1.2)
in a bounded domain \(\Omega \subset \mathbb {R}^N\) for \(N \ge 1\), with a \(C^2\)-boundary \(\partial \Omega \), supplemented with the Neumann boundary condition
$$\begin{aligned} \partial _{\nu }v = 0 \qquad \text {for}\quad x\in \partial \Omega , \quad t>0, \end{aligned}$$
(1.3)
where \(\partial _\nu = \frac{\partial }{\partial \nu }\) and \(\nu \) denotes the unit outer normal vector to \(\partial \Omega \), and with initial data
$$\begin{aligned} u(x,0) = u_{0}(x),\qquad v(x,0) = v_{0}(x). \end{aligned}$$
(1.4)
The nonlinearities \(f=f(u,v)\) and \(g=g(u,v)\) are arbitrary \(C^3\)-functions. Notice that Eq. (1.2) may contain an arbitrary diffusion coefficient which, however, can be rescaled and assumed to be equal to one.

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

First, we focus on regular stationary solutions (UV) 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 (UV) of the boundary value problem
$$\begin{aligned} f(U,V)&=0 \quad \text {for}\quad x\in \overline{\Omega }, \end{aligned}$$
(2.1)
$$\begin{aligned} \Delta V+g(U,V)&=0\quad \text {for}\quad x\in \Omega , \end{aligned}$$
(2.2)
$$\begin{aligned} \partial _{\nu }V&= 0\quad \text {for}\quad x\in \partial \Omega \end{aligned}$$
(2.3)
satisfies the elliptic problem
$$\begin{aligned} \Delta V+h(V)&=0\quad \text {for}\quad x\in \Omega , \end{aligned}$$
(2.4)
$$\begin{aligned} \partial _{\nu }V&= 0 \quad \text {for}\quad x\in \partial \Omega , \end{aligned}$$
(2.5)
where
$$\begin{aligned} h(V)=g\big (k(V),V\big ) \qquad \text {and}\qquad U(x)=k(V(x)). \end{aligned}$$
(2.6)
We show that all regular stationary solutions of the problem (1.1)–(1.4) are unstable under a simple assumption on the first equation.

Theorem 2.1

(Instability of regular solutions) Let (UV) be a regular solution of the problem (2.1)–(2.3) satisfying the following “autocatalysis condition”:
$$\begin{aligned} f_u \big (U(x_0), V(x_0)\big ) > 0 \quad \text {for some}\quad x_0 \in {\Omega }. \end{aligned}$$
(2.7)
Then, (UV) 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 (UV) 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

If a constant solution \((\bar{u}, \bar{v})\) of the problem (1.1)–(1.4) (namely, \(f(\bar{u},\bar{v})=\) and \(g(\bar{u},\bar{v})=0\)) satisfies the inequalities
$$\begin{aligned} f_u(\bar{u},\bar{v})> 0, \qquad f_u(\bar{u},\bar{v})+g_v(\bar{u},\bar{v})< 0, \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.8)
then it has the DDI property.

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
$$\begin{aligned} f_u(\bar{u},\bar{v})+g_v(\bar{u},\bar{v})\ne 0, \quad \det \left( \begin{array}{c@{\quad }c} 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) \ne 0, \quad \hbox {and} \quad f_u(\bar{u},\bar{v})\ne 0. \end{aligned}$$
(2.9)

Remark 2.4

Let us note that the first two conditions in (2.9) allow us to study the asymptotic stability of \((\bar{u},\bar{v})\) treated as a solution of the corresponding system of ordinary differential equations
$$\begin{aligned} \frac{du}{dt}=f(u,v), \qquad \frac{dv}{dt}=g(u,v), \end{aligned}$$
(2.10)
by analyzing eigenvalues of the corresponding linearization matrix. Indeed, the conditions for linearized stability read
  1. 1.
    If
    $$\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)
    then the Jacobi matrix
    $$\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)
    has all eigenvalues with negative real parts, and hence \((\bar{u}, \bar{v})\) is an asymptotically stable solution of system (2.10).
     
  2. 2.
    On the other hand, if
    $$\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)
    then 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).
     

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

Proposition 2.5

Assume that (UV) 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 (UV) 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

Let \(\big (U(x),V(x)\big )\) be a regular non-constant stationary solution of problem (1.1)–(1.3) and assume that all constant stationary solutions that are intersected by (UV) 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
$$\begin{aligned} \frac{1}{f_u(\bar{u},\bar{v})}\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.14)

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 (UV) 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 (UV) 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

Let (UV) 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 (UV), 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
$$\begin{aligned} f_u\big (U(x_0),V(x_0)\big )=f_u(\bar{u},\bar{v})>0. \end{aligned}$$

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

The initial-boundary value problem (1.1)–(1.4) may also have non-regular steady states in the case when the equation \(f(U,V)=0\) is not uniquely solvable. Choosing different branches of solutions of the equation \(f\big (U(x),V(x)\big )=0\), we obtain the relation \( U(x)=k\big (V(x)\big )\) with a discontinuous, piecewise \(C^1\)-function 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
$$\begin{aligned} -\int _\Omega \nabla V(x)\cdot \nabla \varphi (x)\;dx +\int _\Omega g\big (U(x),V(x)\big )\varphi (x)\;dx=0 \end{aligned}$$
holds for all test functions \(\varphi \in W^{1,2}(\Omega )\).

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

Assume that (UV) is a weak bounded solution of the problem (2.1)–(2.3) satisfying the following counterpart of the autocatalysis condition
$$\begin{aligned} \lambda _0\le f_u(U(x),V(x))\le \Lambda _0 \qquad \text {for almost all} \quad x\in \overline{\Omega }, \end{aligned}$$
(2.15)
for some constants \(0<\lambda _0\le \Lambda _0<\infty \). Suppose, moreover, that there exists \(x_0\in \Omega \) such that \(f_u(U,V)\) is continuous in a neighborhood of \(x_0\). Then, (UV) is an unstable solution of the initial-boundary value problem (1.1)–(1.4).
We prove Theorem 2.11 in Subsect. 4.6 by applying ideas developed for the analysis of the Euler equation and other fluid dynamics models. In that approach, it suffices to show that the spectrum of the linearized operator
$$\begin{aligned} \mathcal {L}\left( \begin{array}{c} \widetilde{u}\\ \widetilde{v}\end{array} \right) \equiv \left( \begin{array}{c} 0 \\ \Delta \widetilde{v}\end{array} \right) + \left( \begin{array}{cc} f_u(U, V)&{}f_v(U, V)\\ g_u(U, V)&{}g_v(U, V) \end{array} \right) \left( \begin{array}{c} \widetilde{u}\\ \widetilde{v}\end{array} \right) \end{aligned}$$
with the Neumann boundary condition \( \partial _\nu \widetilde{v}=0,\) has so-called 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 (UV) 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
$$\begin{aligned} \lambda _0\le f_u \big (U(x), V(x)\big ) \le \Lambda _0 \qquad \text {for almost all}\quad x\in \Omega ,\quad \text {where}\quad U(x)\ne 0. \end{aligned}$$
(2.16)
Moreover, suppose that there exists \(x_0\in \Omega \) such that \(U(x_0)\ne 0\) and the functions \(U=U(x)\) and \(f_u(U,V)\) are continuous in the neighborhood of \(x_0\). Then, (UV) 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

First we consider a reaction-diffusion-ODE model with nonlinearities as in the celebrated Gray-Scott system describing pattern formation in chemical reactions  (Gray and Scott 1983). The system with a non-diffusing activator takes the form
$$\begin{aligned} u_t&= - (B+k) u + u^2 v\quad \, \text {for}\quad x\in \overline{\Omega }, \; t>0, \end{aligned}$$
(3.1)
$$\begin{aligned} v_t&= \Delta v -u^2 v+B(1-v)\quad \text {for}\quad x\in \Omega , \; t>0, \end{aligned}$$
(3.2)
with the zero-flux boundary condition for 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.
Here, every regular positive stationary solution (UV) of the Neumann boundary-initial value problem for equations (3.1)–(3.2) has to satisfy the relation \(U = (B+k)/ V\), hence,
$$\begin{aligned} \Delta V-B V-\frac{(B+k)^2}{V}+B&=0\quad \text {for}\quad x\in \Omega , \end{aligned}$$
(3.3)
$$\begin{aligned} \partial _{\nu }V&= 0 \quad \text {for}\quad x\in \partial \Omega . \end{aligned}$$
(3.4)
All continuous positive solutions of such boundary value problem in one dimensional case have been constructed in our recent paper Marciniak-Czochra et al. (2013, Sec. 5). A construction of discontinuous stationary solutions of the reaction-diffusion-ODE problem for (3.1)–(3.2) can be also found in Marciniak-Czochra et al. (2013, Thm. 2.9).
Instability results in Theorems 2.1 and 2.9 imply that 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
$$\begin{aligned} f_u \big (U(x), V(x)\big ) = -(B+k) + 2 U(x)V(x) = B+k > 0 \qquad \text {for all} \quad x\in \Omega . \end{aligned}$$

3.2 Model of early carcinogenesis

The main motivation for the research reported in this work has been the study of the reaction-diffusion system of three ordinary/partial differential equations modeling the diffusion-regulated growth of a cell population of the following form
$$\begin{aligned} u_t= & {} \Big (\frac{a v}{u+v} -d_c\Big ) u \quad \text {for}\ x\in \overline{\Omega }, \; t>0, \end{aligned}$$
(3.5)
$$\begin{aligned} v_t= & {} -d_b v +u^2 w -d v \quad \text {for}\ x\in \overline{\Omega }, \; t>0, \end{aligned}$$
(3.6)
$$\begin{aligned} w_t= & {} D \Delta w -d_g w -u^2 w +d v +\kappa _0 \quad \text {for}\ x\in \Omega , \; t>0, \end{aligned}$$
(3.7)
supplemented with zero-flux boundary conditions for the function 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.
The theory developed in this paper applies to a reduced two-equation version of the model (3.5)–(3.7), obtained using a quasi-steady state approximation of the dynamics of 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
$$\begin{aligned}&\displaystyle u_t=\Big (\frac{a uw}{d_b+d+uw} -d_c\Big ) u \quad \text {for}\ x\in \overline{\Omega }, \; t>0, \end{aligned}$$
(3.8)
$$\begin{aligned}&\displaystyle w_t = D\Delta w -d_g w -\frac{d_b}{d_b+d} u^2 w +\kappa _0 \quad \text {for}\ x\in \Omega , \; t>0. \end{aligned}$$
(3.9)
A rigorous derivation of the two equation model (3.8)–(3.9) from the model (3.5)–(3.7) as well as other properties of the solutions to (3.8)–(3.9) are presented in Appendix A of this work. Moreover, numerical simulations suggest that the two-equation model exhibits qualitatively the same dynamics as system (3.5)–(3.7).

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

Our results can be also applied to the “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
$$\begin{aligned} u_t&=- \mu \Big (\Gamma (u+v)u-\big (1-\Gamma (u+v)\big )v\Big ) +ru\big (1-(u+v)\big ) \end{aligned}$$
(3.10)
$$\begin{aligned} v_t&= \Delta v +\mu \Big (\Gamma (u+v)u-\big (1-\Gamma (u+v)\big )v\Big ), \end{aligned}$$
(3.11)
where tumor cells are decomposed into two sub-populations: a migrating population with density v(xt) and a proliferating population with density u(xt) (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
$$\begin{aligned} \Gamma (\rho )=\frac{1}{2}\big (1\pm \tanh (\alpha (\rho ^*-\rho ))\big ) \end{aligned}$$
with constant \(\alpha >0\) and \(\rho ^*>0\). It describes two complementary mechanisms for the phenotypic transmissions.
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”:
$$\begin{aligned} u_t&=- \mu \Big (\Gamma (u+v)u-\big (1-\Gamma (u+v)\big )v\Big ) \end{aligned}$$
(3.12)
$$\begin{aligned} v_t&= \Delta v +\mu \Big (\Gamma (u+v)u-\big (1-\Gamma (u+v)\big )v\Big ). \end{aligned}$$
(3.13)
One can check by a simple calculation that this system supplemented with the Neumann boundary condition for v(xt) has a one parameter family of constant stationary solutions:
$$\begin{aligned} \Big (k-\Gamma (k)k, \, \Gamma (k)k\Big ) \qquad \text {for each fixed } k\in \mathbb {R}. \end{aligned}$$
(3.14)
These vectors are degenerate (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,
$$\begin{aligned} \frac{d}{dt}\bar{u}= & {} - \mu \Big (\Gamma (\bar{u}+\bar{v})\bar{u}-\big (1-\Gamma (\bar{u}+\bar{v})\big )\bar{v}\Big ),\nonumber \\ \frac{d}{dt}\bar{v}= & {} \mu \Big (\Gamma (\bar{u}+\bar{v})\bar{u}-\big (1-\Gamma (\bar{u}+\bar{v})\big )\bar{v}\Big ), \end{aligned}$$
(3.15)
one can show that vectors (3.14) are stable solutions of system (3.15). The constant steady state (3.14) satisfies the autocatalysis condition (2.7) if
$$\begin{aligned} \Gamma '(k)k+\Gamma (k)<0, \end{aligned}$$
(3.16)
see Pham et al. (2011, Ch. 3.1) for further discussion. Thus, by our Theorem 2.1, constant stationary solutions (3.14) are unstable solutions of the reaction-diffusion-ODE system (3.12)–(3.13).
System (3.12)–(3.13) has no heterogeneous stationary solutions, because the counterpart of the boundary-value problem (2.1)–(2.3) reduces in this case to the problem
$$\begin{aligned} \Delta V=0 \quad \text {in }\Omega , \qquad \partial _\nu V=0\quad \text {on }\partial \Omega , \end{aligned}$$
which has constant solutions, only.
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)):
$$\begin{aligned} (\bar{u},\bar{v})=(0,0)\quad \text {and}\quad (\bar{u},\bar{v})=\big (1-\Gamma (1),\, \Gamma (1)\big ). \end{aligned}$$
The nontrivial steady state \(\big (1-\Gamma (1),\,\Gamma (1)\big )\) is a 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 )\).

We recall that a mild solution of problem (1.1)–(1.4) is a pair of measurable functions \(u, v : [0, T] \times \overline{\Omega } \mapsto \mathbb {R}\) satisfying the following system of integral equations
$$\begin{aligned} u(x, t)&= u_0 (x) + \int _0^t f\big (u(x, s), v(x, s)\big )\, ds, \end{aligned}$$
(4.1)
$$\begin{aligned} v(x, t)&= e^{t\Delta }v_0 (x) + \int _0^t e^{(t-s)\Delta } g\big (u(x, s), v(x, s)\big )\, ds, \end{aligned}$$
(4.2)
where \(e^{t\Delta }\) is the semigroup of linear operators generated by Laplacian with the Neumann boundary condition. Since our nonlinearities \(f = f(u, v)\) and \(g = g(u, v)\) are locally Lipschitz continuous, to construct a local-in-time unique solution of system (4.1)–(4.2), it suffices to apply the Banach fixed point theorem. Details of such a reasoning and the proof of Theorem 4.1 in a case of much more general systems of reaction-diffusion equations can be found 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

Let (UV) 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
$$\begin{aligned} u=U+\widetilde{u}\qquad \text {and}\qquad v=V+\widetilde{v}\end{aligned}$$
into (1.1)–(1.2) we obtain the initial-boundary value problem for the perturbation \((\widetilde{u},\widetilde{v})\) of the form (4.20):
$$\begin{aligned} \frac{\partial }{\partial t} \left( \begin{array}{c} \widetilde{u}\\ \widetilde{v}\end{array} \right) =\mathcal {L}\left( \begin{array}{c} \widetilde{u}\\ \widetilde{v}\end{array} \right) + \mathcal {N}\left( \begin{array}{c} \widetilde{u}\\ \widetilde{v}\end{array} \right) , \end{aligned}$$
(4.3)
with the Neumann boundary condition, \( \partial _\nu \widetilde{v}=0,\) where the linear operator \(\mathcal {L}\) and the nonlinearity \(\mathcal {N}\) are defined by formulas (4.4) and (4.6), resp.

Lemma 4.3

Let (UV) be a bounded (not necessarily regular) stationary solution of problem (1.1)–(1.4). We consider the following linear system
$$\begin{aligned} \left( \begin{array}{c} \widetilde{u}_t \\ \widetilde{v}_t \end{array} \right) =\mathcal {L}\left( \begin{array}{c} \widetilde{u}\\ \widetilde{v}\end{array} \right) \equiv \left( \begin{array}{c} 0 \\ \Delta \widetilde{v}\end{array} \right) + \left( \begin{array}{cc} f_u(U, V)&{}f_v(U, V)\\ g_u(U, V)&{}g_v(U, V) \end{array} \right) \left( \begin{array}{c} \widetilde{u}\\ \widetilde{v}\end{array} \right) \end{aligned}$$
(4.4)
with the Neumann boundary condition\(\partial _\nu \widetilde{v}=0.\) Then, for every \(p\in (1,\infty )\), the operator \(\mathcal {L}\) with the domain \(D(\mathcal {L})=L^p(\Omega )\times W_N^{2,p}(\Omega )\) generates an analytic semigroup \(\{e^{t\mathcal {L}}\}_{t\ge 0}\) of linear operators on \(L^p(\Omega )\times L^p(\Omega )\), which satisfies “the spectral mapping theorem”:
$$\begin{aligned} \sigma (e^{t\mathcal {L}})\setminus \{0\}=e^{t\sigma (\mathcal {L})}\qquad \text {for every} \quad t\ge 0. \end{aligned}$$
(4.5)

Proof

Here, we use the Sobolev space
$$\begin{aligned} W_N^{2,p}(\Omega )= \{u\in W^{2,p}(\Omega )\;:\; \partial _\nu u=0 \quad \text {on}\quad \partial \Omega \}. \end{aligned}$$
Notice that \(\mathcal {L}\) is a bounded perturbation of the operator
$$\begin{aligned} \mathcal {L}_0 \left( \begin{array}{c} \widetilde{u}\\ \widetilde{v}\end{array} \right) \equiv \left( \begin{array}{c} 0 \\ \Delta \widetilde{v}\end{array} \right) \end{aligned}$$
with the domain \(D(\mathcal {L}_0)=L^p(\Omega )\times W_N^{2,p}(\Omega )\), which generates an analytic semigroup on \(L^p(\Omega )\times L^p(\Omega )\) for each \(p\in (1,\infty )\). Thus, it is well-known (see 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

Let (UV) be a bounded (not necessarily regular) stationary solution of problem (1.1)–(1.4). Then, for every \(p\in [1,\infty ]\), the nonlinear operator
$$\begin{aligned} \mathcal {N}\left( \begin{array}{c} \widetilde{u}\\ \widetilde{v}\end{array} \right) \equiv \left( \begin{array}{c} f(U+\widetilde{u},V+\widetilde{v})-f(U,V)\\ g(U+\widetilde{u},V+\widetilde{v})-g(U,V) \end{array} \right) - \left( \begin{array}{cc} f_u(U, V)&{}f_v(U, V)\\ g_u(U, V)&{}g_v(U, V) \end{array} \right) \left( \begin{array}{c} \widetilde{u}\\ \widetilde{v}\end{array} \right) \end{aligned}$$
(4.6)
satisfies
$$\begin{aligned} \left\| \mathcal {N}(\widetilde{u},\widetilde{v})\right\| _{L^p\times L^p} \le C\big (\rho , \Vert U\Vert _{L^\infty }, \Vert V\Vert _{L^\infty }\big )\Vert (\widetilde{u},\widetilde{v})\Vert _{L^\infty \times L^\infty } \Vert (\widetilde{u},\widetilde{v})\Vert _{L^p\times L^p} \end{aligned}$$
(4.7)
for all \(\widetilde{u},\widetilde{v}\in L^\infty \) such that \(\Vert \widetilde{u}\Vert _{L^\infty }<\rho \) and \(\Vert \widetilde{v}\Vert _{L^\infty }<\rho \), where \(\rho >0\) is an arbitrary constant. If, moreover, \(U,W\in W^{1,p}(\Omega )\) then
$$\begin{aligned}&\big \Vert \nabla \mathcal {N}(\widetilde{u},\widetilde{v})\big \Vert _{L^p\times L^p}\nonumber \\&\quad \le C\big (\rho , \Vert U\Vert _{L^\infty }, \Vert V\Vert _{L^\infty }, \Vert \nabla U\Vert _{L^p}, \Vert \nabla V\Vert _{L^p}\big )\nonumber \\&\qquad \Vert (\widetilde{u},\widetilde{v})\Vert _{L^\infty \times L^\infty } \Vert (\nabla \widetilde{u},\nabla \widetilde{v})\Vert _{L^p\times L^p} \end{aligned}$$
(4.8)
for all \(\widetilde{u},\widetilde{v}\in L^\infty \) such that \(\Vert \widetilde{u}\Vert _{L^\infty }<\rho \) and \(\Vert \widetilde{v}\Vert _{L^\infty }<\rho \), where \(\rho >0\) is an arbitrary constant.

Proof

The proofs of both inequalities consist in using the Taylor formula applied to the \(C^3\)-nonlinearities \(f=f(u,v)\) and \(g=g(u,v)\) in problem (1.1)–(1.2). \(\square \)

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

Assume that (U(x), V(x)) is a regular stationary solution of the problem (1.1)–(1.4) and define the constants
$$\begin{aligned} \lambda _0 = \inf _{x \in \overline{\Omega }} f_u \big (U(x), V(x)\big ) \qquad \text {and} \qquad \Lambda _0 = \sup _{x \in \overline{\Omega }} f_u \big (U(x), V(x)\big ) > 0. \end{aligned}$$
(4.9)
Fix \(p\in (1,\infty )\). Let \(\mathcal {L}\) be the linear operator defined formally by formula (4.4) with the domain \(D(\mathcal {L})=L^p(\Omega )\times W_N^{2,p}(\Omega )\). Then
$$\begin{aligned}{}[\lambda _0,\Lambda _0]\subset \sigma (\mathcal {L}). \end{aligned}$$

Proof

We show that for each \(\lambda \in [\lambda _0,\Lambda _0]\) the operator
$$\begin{aligned} \mathcal {L}-\lambda I: L^p(\Omega )\times W^{2,p}(\Omega )\rightarrow L^p(\Omega )\times L^p(\Omega ) \end{aligned}$$
defined by formula
$$\begin{aligned} (\mathcal {L}-\lambda I)(\varphi ,\psi ) = \big ( (f_u-\lambda )\varphi +f_v \psi ,\ \Delta \psi +g_u\varphi +(g_v-\lambda )\psi \big ), \end{aligned}$$
where \(f_u=f_u\big (U(x),V(x)\big )\), 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
$$\begin{aligned} \Vert ( \varphi ,\psi )\Vert _{L^p(\Omega )\times W^{2,p}(\Omega )}\le K \Vert (\mathcal {L}-\lambda I)( \varphi ,\psi )\Vert _{L^p(\Omega )\times L^p(\Omega )} \end{aligned}$$
for all \(( \varphi ,\psi )\in {L^p(\Omega )\times W^{2,p}(\Omega )}\) or, equivalently, using the usual norms in \(L^p(\Omega )\times W^{2,p}(\Omega )\) and in \(L^p(\Omega )\times L^{p}(\Omega )\):
$$\begin{aligned}&\Vert \varphi \Vert _{L^p(\Omega )} +\Vert \psi \Vert _{W^{2,p}(\Omega )}\nonumber \\&\quad \le K\big (\Vert (f_u-\lambda )\varphi +f_v\psi \Vert _{L^p(\Omega )}+ \Vert \Delta \psi +g_u\varphi +(g_v-\lambda )\psi \Vert _{L^p(\Omega )} \big ).\nonumber \\ \end{aligned}$$
(4.10)
A contradiction will be obtained by showing that inequality (4.10) cannot be true for all \(( \varphi ,\psi )\in {L^p(\Omega )\times W^{2,p}(\Omega )}\).

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 .\)

Next, for arbitrary \(\psi \in C^\infty _c(\Omega )\) satisfying \(\mathrm{supp}\,\psi \subset B_\varepsilon \), we choose \(\varphi \in L^p(\Omega )\) such that \(\mathrm{supp}\,\varphi \subset B_\varepsilon \) and in such a way that \(\Delta \psi +g_u\varphi +(g_v-\lambda )\psi = \zeta \), where the function \(\zeta \in L^p(\Omega )\) satisfies \(\Vert \zeta \Vert _{L^p(\Omega )}\le \varepsilon \Vert \varphi \Vert _{L^p(\Omega )}\). Let us explain that such a choice of \(\varphi ,\zeta \in L^p(\Omega )\) is always possible. We cut \(g_u\) at the level \(\varepsilon \) in the following way
$$\begin{aligned} g_u^\varepsilon = g_u^\varepsilon \big (U(x),V(x)\big ) \equiv \left\{ \begin{array}{l@{\quad }cc} g_u \big (U(x),V(x)\big ) &{}\text {if}&{} |g_u \big (U(x),V(x)\big )|>\varepsilon ,\\ \varepsilon &{}\text {if}&{} |g_u \big (U(x),V(x)\big )|\le \varepsilon . \end{array} \right. \end{aligned}$$
Thus, we obtain
$$\begin{aligned} \Delta \psi +g_u\varphi +(g_v-\lambda )\psi = \Delta \psi +g_u^\varepsilon \varphi +(g_v-\lambda )\psi + (g_u-g_u^\varepsilon )\varphi =\zeta \end{aligned}$$
for
$$\begin{aligned} \varphi = \frac{-\big (\Delta \psi +(g_v-\lambda )\psi \big )}{g_u^\varepsilon }\in L^p(\Omega ) \qquad \text {and}\qquad \zeta =(g_u-g_u^\varepsilon )\varphi \in L^p(\Omega ) \end{aligned}$$
with \(\Vert g_u-g_u^\varepsilon \Vert _{L^\infty (\Omega )}\le \varepsilon .\)
Now, noting that \(\mathrm{supp}\,\varphi \subset B_\varepsilon \), we obtain the inequality
$$\begin{aligned} \Vert (f_u-\lambda ) \varphi \Vert _{L^p(\Omega )}\le \Vert (f_u-\lambda )\Vert _{L^\infty (B_\varepsilon )}\Vert \varphi \Vert _{L^p(\Omega )}\le \varepsilon \Vert \varphi \Vert _{L^p(\Omega )}. \end{aligned}$$
Thus, substituting functions \(\varphi \), \(\psi \), and \(\zeta \) into inequality (4.10), we obtain the estimate
$$\begin{aligned}&\Vert \varphi \Vert _{L^p(\Omega )} +\Vert \psi \Vert _{W^{2,p}(\Omega )}\nonumber \\&\quad \le K\big (\Vert (f_u-\lambda )\Vert _{L^\infty (B_\varepsilon )} \Vert \varphi \Vert _{L^p(\Omega )} + \Vert f_v \psi \Vert _{L^p(\Omega )}+\Vert \zeta \Vert _{L^p(\Omega )}\big )\nonumber \\&\quad \le K\big (2\varepsilon \Vert \varphi \Vert _{L^p(\Omega )} +\Vert f_v\Vert _{L^\infty (\Omega )}\Vert \psi \Vert _{L^p(\Omega )}\big ). \end{aligned}$$
(4.11)
Hence, choosing \(\varepsilon >0\) in such a way that \(2K\varepsilon \le 1\) and compensating the term \(2K\varepsilon \Vert \varphi \Vert _{L^p(\Omega )}\) on the right-hand side of inequality (4.11) by its counterpart on the left-hand side, we obtain the estimates
$$\begin{aligned} \Vert \psi \Vert _{W^{2,p}(\Omega )}\le (1-2K\varepsilon )|\varphi \Vert _{L^p(\Omega )}+ \Vert \psi \Vert _{W^{2,p}(\Omega )} \le K\Vert f_v\Vert _{L^\infty (\Omega )}\Vert \psi \Vert _{L^p(\Omega )}, \end{aligned}$$
which, obviously, cannot be true for all \(\psi \in C^\infty _c(\Omega )\) such that \(\mathrm{supp\,}\psi \subset B_\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.

As the usual practice, we analyze the corresponding resolvent equations
$$\begin{aligned} (f_u-\lambda )\varphi +f_v\psi&=F\qquad \text {in}\quad \overline{\Omega } \end{aligned}$$
(4.12)
$$\begin{aligned} \Delta \psi +g_u\varphi +(g_v-\lambda )\psi&=G \qquad \text {in}\quad \Omega \end{aligned}$$
(4.13)
$$\begin{aligned} \partial _\nu \psi&=0\qquad \text {on}\quad \partial \Omega , \end{aligned}$$
(4.14)
with arbitrary \(F,G\in L^2(\Omega )\). Here, one should notice that for every \(\lambda \in \mathbb {C}\setminus [\lambda _0,\Lambda _0]\), one can solve equation (4.12) with respect to \(\varphi \). Thus, after substituting the resulting expression \(\varphi =(F-f_v\psi )/(f_u-\lambda )\in L^2(\Omega )\) into (4.13), we obtain the boundary value problem
$$\begin{aligned} \Delta \psi + q ( \lambda ) \psi&= p(\lambda )\quad \text {for}\quad x\in {\Omega }, \end{aligned}$$
(4.15)
$$\begin{aligned} \partial _\nu \psi&= 0\quad \text {for}\quad x\in \partial \Omega , \end{aligned}$$
(4.16)
where
$$\begin{aligned} q(\lambda )=q(x, \lambda ) = -\frac{g_u f_v}{f_u - \lambda } + g_v - \lambda \qquad \text {and}\qquad p(\lambda )=p(x, \lambda )= G- \frac{g_u F}{f_u - \lambda }. \end{aligned}$$
(4.17)
For a fixed \(\lambda \in \mathbb {C}\setminus [\lambda _0,\Lambda _0]\), by the Fredholm alternative, either the inhomogeneous problem (4.15)–(4.16) has a unique solution (so, \(\lambda \) is not an element of \(\sigma (\mathcal {L})\)) or else the homogeneous boundary value problem
$$\begin{aligned} \Delta \psi + q ( \lambda ) \psi&= 0\quad \text {for}\quad x\in {\Omega }, \end{aligned}$$
(4.18)
$$\begin{aligned} \partial _\nu \psi&= 0\quad \text {for}\quad x\in \partial \Omega , \end{aligned}$$
(4.19)
has a nontrivial solution \(\psi \). Hence, it suffices to consider those \(\lambda \in \mathbb {C}\setminus [\lambda _0,\Lambda _0]\), for which problem (4.18)–(4.19) has nontrivial solution.

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
  1. (a)

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

     
  2. (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).

     
Let us rewrite problem (4.18)–(4.19) in the form
$$\begin{aligned} \psi = G\big [-(q(\lambda )+\ell )\psi \big ] \equiv R(\lambda ) \psi , \end{aligned}$$
where the operator \(G=\hbox {``}{(\Delta -\ell I)^{-1}}\)” supplemented with the Neumann boundary conditions is defined in the usual way. Here, \(\ell \in \mathbb {R}\) is a fixed number different from each eigenvalue of Laplacian with the Neumann boundary condition.

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.

Let us consider a general evolution equation
$$\begin{aligned} w_t=\mathcal {L}w +\mathcal {N}(w), \qquad w(0)=w_0 \end{aligned}$$
(4.20)
where \(\mathcal {L}\) is a generator of a \(C_0\)-semigroup of linear operators \(\{e^{t\mathcal {L}}\}_{t\ge 0}\) on a Banach space 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

(Shatah and Strauss (2000, Thm 1)) Consider an abstract problem (4.20), where
  1. (1)

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

     
  2. (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. (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 \).

     
Then the zero solution of this equation is (nonlinearly) unstable.

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.

The crucial idea underlying this approach is to use two Banach spaces: a “large” space 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 (XZ) 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 (XZ)-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. (1)

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

     
  2. (2)

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

     
An equilibrium \(w\equiv 0\) that is not stable (in the above sense) is called Lyapunov unstable.

In this work, we drop the reference to the pair (XZ). 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

We impose the two following assumptions.
  1. (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 \), where
    $$\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}$$
    and
    $$\begin{aligned} -\infty \le \kappa<\mu<M<\Lambda <\infty \qquad \text {for some} \quad M>0. \end{aligned}$$
     
  2. (2)
    The nonlinear term \(\mathcal {N}\) satisfies the inequality
    $$\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)
    for some constants \(C_0>0\) and \(\rho >0\).
     
Then, the trivial solution \(w_0\equiv 0\) of the Cauchy problem (4.20) is nonlinearly unstable.

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

Here, it suffices to apply Theorem 4.7 to the semi-linear equation (4.3) with the Banach space
$$\begin{aligned} X=W^{1,p}(\Omega )\times W^{1,p}(\Omega ) \qquad \text {for some}\quad p>n. \end{aligned}$$
Recall the well-known embedding \(W^{1,p}(\Omega )\subset L^\infty (\Omega )\) for every \(p\in (n,\infty ]\)..

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 (UV) 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 (UV) 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 \)

Fig. 1

The spectrum \(\sigma (\mathcal {L})\) is marked by thick dots and by the interval \([\lambda _0,\Lambda _0]\) in the sector \(\Sigma _{\delta ,\omega _0}\). The spectral gap is represented by the strip \(\{\lambda \in \mathbb {C}\,:\, \mu \le \mathrm{Re}\, \lambda \le M\}\) without elements of \(\sigma (\mathcal {L})\)

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.

Let (UV) 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
$$\begin{aligned} L^2_\mathcal {I}(\Omega )=\{ v\in L^2(\Omega )\,:\, v(x)=0\quad \text {for}\quad x\in \mathcal {I}\}, \end{aligned}$$
supplemented with the usual \(L^2\)-scalar product, which is a Hilbert space as the closed subspace of \(L^2(\Omega )\). In the same way, we define the subspace \(L^\infty _\mathcal {I}(\Omega )\subset L^\infty (\Omega )\) by the equality \(L^\infty _\mathcal {I}(\Omega )=\{ v\in L^\infty (\Omega )\,:\, v(x)=0\; \text {for}\; x\in \mathcal {I}\}\).

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.

Now, observe that if \(u_0(x)=0\) for some \(x\in \Omega \) then by equations (1.1) with the nonlinearity \(f(u,v)=r(u,v)u\) we have \(u(x,t)=0\) for all \(t\ge 0\). Hence, the spaces
$$\begin{aligned} X_\mathcal {I}=L^\infty _\mathcal {I}(\Omega )\times L^\infty (\Omega ) \qquad \text {and}\qquad Z_\mathcal {I}=L^2_\mathcal {I}(\Omega )\times L^2(\Omega ) \end{aligned}$$
(4.22)
are invariant for the flow generated by problem (1.1)–(1.4) (notice that there is no “\(\mathcal {I}\)” in the second coordinates of \(X_\mathcal {I}\) and \(Z_\mathcal {I}\)). The crucial part of our analysis is based on the fact that, as long as we work in the space \(X_\mathcal {I}\) and \(Z_\mathcal {I}\), we can linearize problem (1.1)–(1.4) at the weak solution (UV). 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.
We fix a weak stationary solution \((U_\mathcal {I}, V_\mathcal {I})\) with a null set \(\mathcal {I}\subset \Omega \). The Fréchet derivative of the nonlinear mapping \(\mathcal {F}: Z_\mathcal {I}\rightarrow Z_\mathcal {I}\) defined by the mappings \((U,V)\mapsto (f(U,V), g(U,V))\) at the point \((U_\mathcal {I}, V_\mathcal {I})\in Z_\mathcal {I}\) has the form
$$\begin{aligned} D\mathcal {F}(U_\mathcal {I}, V_\mathcal {I}) \left( \begin{array}{c} \varphi \\ \psi \end{array} \right) =\mathcal {A}_\mathcal {I}(x) \left( \begin{array}{c} \varphi \\ \psi \end{array} \right) , \end{aligned}$$
where
$$\begin{aligned} \mathcal {A}_\mathcal {I}(x) = \left( \begin{array}{cc} f_u(U_\mathcal {I}(x), V_\mathcal {I}(x))&{}f_v(U_\mathcal {I}(x), V_\mathcal {I}(x))\\ g_u(U_\mathcal {I}(x), V_\mathcal {I}(x))&{}g_v(U_\mathcal {I}(x), V_\mathcal {I}(x)) \end{array} \right) \end{aligned}$$
This results immediately from the definition of the Fréchet derivative.
Next, we study spectral properties of the linear operator
$$\begin{aligned} \mathcal {L}_\mathcal {I}\left( \begin{array}{c} \varphi \\ \psi \end{array} \right) = \left( \begin{array}{c@{\quad }c} 0 &{} 0\\ 0 &{} \Delta \psi \end{array} \right) +\mathcal {A}_\mathcal {I}(x) \left( \begin{array}{c} \varphi \\ \psi \end{array} \right) , \end{aligned}$$
in the Hilbert space \(Z_\mathcal {I}\) (see (4.22)) with the domain \( D(\mathcal {L}_\mathcal {I})= L_\mathcal {I}^2(\Omega )\times W^{2,2}(\Omega ). \) Here, the reasoning from the proof of Theorem 2.1 can be directly adapted with modifications as in the proof of Theorem 2.11.

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

Assume that \(V\in C^2(\Omega )\cap C^1(\overline{\Omega })\) is a non-constant solution of the boundary value problem
$$\begin{aligned} \Delta V+h(V)=0 \quad \text {for}\ x \in \Omega \quad \text {and} \quad \partial _\nu V=0 \quad \text {for}\ x \in \partial \Omega . \end{aligned}$$
(5.1)
Then, there exists \(x_0\in \overline{\Omega }\) and \(a_0\in \mathbb {R}\) such that
$$\begin{aligned} V(x_0)=a_0, \quad h(a_0)=0 \quad \text {and}\quad h'(a_0)\ge 0. \end{aligned}$$
(5.2)

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.

Let \(x_0 \in \Omega \). Since \(h(a_0) = 0\), we have
$$\begin{aligned} \Delta (V - a_0) + h(V) - h(a_0) = 0. \end{aligned}$$
Using the well-known formula
$$\begin{aligned} h(V) - h(a_0)&= \int _0^1 \frac{d}{ds}h\big (s V + (1-s)a_0\big )\, ds \\&= (V-a_0)\int _0^1 h^\prime \big (sV + (1-s)a_0\big )\, ds, \end{aligned}$$
we obtain
$$\begin{aligned} \Delta (V - a_0) + r(x, a_0) (V - a_0) = 0, \end{aligned}$$
(5.3)
where \(r(x, a_0) = \int _0^1 h^\prime \big (sV(x) + (1-s)a_0\big )\, ds\). Observe that \(r(\cdot , a_0) \in C(\Omega )\) and
$$\begin{aligned} r(x_0, a_0)&= \int _0^1 h^\prime (sV(x_0) + (1-s)a_0)\, ds \\&= \int _0^1 h^\prime (s a_0 + (1-s)a_0)\, ds \\&= h^\prime (a_0) < 0. \end{aligned}$$
Hence, there exists an open neighbourhood \(\mathcal {U} \subset \Omega \) of \(x_0\) such that \(r (x, a_0) < 0\) for all \(x \in \mathcal {U}\). Suppose that \(r (x, a_0) < 0\) for all \(x \in \Omega \). Multiplying both sides of equation (5.3) by \(V(x)-a_0\) and integrating over \(\Omega \), we obtain
$$\begin{aligned} - \int _\Omega |\nabla (V(x)-a_0)|^2\, dx + \int _\Omega r(x, a_0) (V(x) - a_0)^2\, dx = 0. \end{aligned}$$
This implies that \(V(x) \equiv a_0\), which is a contradiction, because we assume that \(V=V(x)\) is a non-constant solution. Therefore, there exists \(x_1 \in \partial \mathcal {U} \cap \Omega \) such that \(r(x_1, a_0) = 0\). It follows from equation (5.3) that \(\Delta V(x_1) = 0\), and consequently, from equation (5.1) we have \(h(V(x_1)) = 0\). Hence, there exists \(a_1 \in \mathbb {R}\) such that \(V(x_1) = a_1\) and \(h(a_1) = 0\). Note that \(a_1 \ne a_0\). Thus, if the equation \(h(V)=0\) has only one root, the proof of Theorem 5.1 is completed.

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
$$\begin{aligned} \psi (s) = V(x_0 + s (x_1 - x_0))\qquad \text {for}\ 0 \le s \le 1, \end{aligned}$$
and, without loss of generality, we can assume that \(a_0< \psi (s) < a_1\) for all \(0< s < 1\).
Since \(h(a_0) = 0\) and \(h^\prime (a_0) < 0\), we have \(h(a_0 + \theta _0) < 0\) for small \(\theta _0 > 0\). If we also suppose that \(h^\prime (a_1) < 0\), then, we can find small \(\theta _1 > 0\) such that \(h(a_1 - \theta _1) > 0\). Noting that \(\psi (s)\) is continuous function, we see that there exist \(s_*,\ s_{**} \in (0, 1)\) such that \(\psi (s_*) = a_0 + \theta _0\) and \(\psi (s_{**}) = a_1 - \theta _1\). This implies that there exists \( \hat{s} \in (s_*, s_{**})\) for which \(h(V(x_0 + \hat{s} (x_1 - x_0))) = 0\), and from the assumption for \(\psi (s)\),
$$\begin{aligned} a_0< V(x_0 + \hat{s} (x_1 - x_0)) < a_1. \end{aligned}$$
This is a contradiction with the hypothesis that the equation \(h(V) = 0\) has no roots between \(a_0\) and \(a_1\). Hence, \(h^\prime (a_1) \ge 0\).

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 \).

Now, we consider the case \(V(x) > a_0\) for all \(x \in B\). Here, the function \(U (x) = -(V(x) - a_0)\) satisfies the equation
$$\begin{aligned} -\Delta U + (- r(x, a_0))U = 0 \qquad \text {in}\ B \end{aligned}$$
where \(r(x, a_0) < 0\), \(U(x) < 0\) for all \(x\in B\) and \(U(x_0)= 0\). Hence, the Hopf boundary lemma yields a contradiction.

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

Proof of Proposition 2.6

Let \(\big (U(x), V(x)\big )\) be a non-constant regular stationary solution of (1.1)–(1.3) which means that \(U = k(V)\) and \(f\big (k(V), V \big ) =0\). Since each constant solution is non-degenerate, the equation \(f(U, V) =0\) can be solved locally with respect to 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)\):
$$\begin{aligned} \Delta V + h(V)&= 0 \quad \text {for}\ x \in \Omega , \end{aligned}$$
(5.4)
$$\begin{aligned} \partial _\nu V&= 0 \quad \text {for}\ x \in \partial \Omega . \end{aligned}$$
(5.5)
By Theorem 5.1, there exists a constant solution \(\bar{v}\) of problem (5.4)–(5.5) and \(x_0\in \overline{\Omega }\) such that
$$\begin{aligned} V(x_0)=\bar{v}, \quad h(\bar{v})=0, \quad \text {and}\quad h^\prime (\bar{v}) \ge 0. \end{aligned}$$
(5.6)
On the other hand, differentiating the function \(h(v) = g\big (k(v), v\big )\) yields
$$\begin{aligned} h^\prime (v) = k^\prime (v)g_u \big (k(v), v \big ) + g_v \big (k(v), v \big ). \end{aligned}$$
(5.7)
Moreover, we differentiate both sides of the equation \(f \big (k(v), v \big ) = 0\) with respect to v to obtain \( k^\prime (v) f_u \big (k(v), v \big ) + f_v \big (k(v), v \big ) = 0\). Hence,
$$\begin{aligned} k^\prime (v) = - \frac{f_v \big (k(v), v \big )}{f_u \big (k(v), v \big )}. \end{aligned}$$
(5.8)
Finally, choosing \(v=\bar{v}\) and \(u=\bar{u}=k(\bar{v})\) and substituting equation (5.8) into (5.7), we obtain
$$\begin{aligned} h^\prime (\bar{v})&= - \frac{f_v \big (k(\bar{v}), \bar{v}\big )}{f_u \big (k(\bar{v}), \bar{v}\big )}g_u \big (k(\bar{v}), \bar{v}\big ) + g_v \big (k(\bar{v}), \bar{v}\big )\\&= \frac{1}{f_u (\bar{u}, \bar{v})}\big [f_u (\bar{u}, \bar{v}) g_v (\bar{u}, \bar{v}) - f_v (\bar{u}, \bar{v}) g_u (\bar{u}, \bar{v}) \big ]\\&=\frac{1}{f_u(\bar{u},\bar{v})}\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) . \end{aligned}$$
By (5.6), it holds \(h'(\bar{v})\ge 0\). Moreover, since \((\bar{u}, \bar{v})\) is non-degenerate, we obtain \(h'(\bar{v})>0\). This completes the proof of inequality (2.14). \(\square \)

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

  1. Anma A, Sakamoto K, Yoneda T (2012) Unstable subsystems cause Turing instability. Kodai Math J 35(2):215–247MathSciNetCrossRefzbMATHGoogle Scholar
  2. 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
  3. Casten R, Holland C (1978) Instability results for reaction-diffusion equations with Neumann boundary conditions. J Differ Equ 27:266–273MathSciNetCrossRefzbMATHGoogle Scholar
  4. Chuan Le H, Tsujikawa T, Yagi A (2006) Asymptotic behavior of solutions for forest kinematic model. Funkcial Ekvac 49:427–449MathSciNetCrossRefzbMATHGoogle Scholar
  5. Engel K-L, Nagel R (2000) One-parameter semigroups for linear evolution equations, Graduate Texts in Mathematics, 194. Springer-Verlag, New YorkGoogle Scholar
  6. Evans JW (1975) Nerve axon equations. IV. The stable and the unstable impulse. Indiana Univ Math J 24(12):1169–1190Google Scholar
  7. 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
  8. Garroni MG, Solonnikov VA, Vivaldi MA (2009) Schauder estimates for a system of equations of mixed type. Rend Mat Appl 29:117–132MathSciNetzbMATHGoogle Scholar
  9. 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
  10. 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
  11. Henry D (1981) Geometric theory of semilinear parabolic equations. Springer, New YorkCrossRefzbMATHGoogle Scholar
  12. 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
  13. Iron D, Wei J, Winter M (2004) Stability analysis of Turing patterns generated by the Schnakenberg model. J Math Biol 49:358–390MathSciNetCrossRefzbMATHGoogle Scholar
  14. 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
  15. 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
  16. Lin C-S, Ni W-M, Takagi I (1988) Large amplitude stationary solutions to a chemotaxis system. J Differ Equ 72:1–27MathSciNetCrossRefzbMATHGoogle Scholar
  17. Marciniak-Czochra A (2003) Receptor-based models with diffusion-driven instability for pattern formation in Hydra. J Biol Sys 11:293–324CrossRefzbMATHGoogle Scholar
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. Marciniak-Czochra A, Ptashnyk M (2008) Derivation of a macroscopic receptor-based model using homogenisation techniques. SIAM J Mat Anal 40:215–237CrossRefzbMATHGoogle Scholar
  25. 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
  26. Mulone G, Solonnikov VA (2009) Linearization principle for a system of equations of mixed type. Nonlinear Anal 71(3–4):1019–1031MathSciNetCrossRefzbMATHGoogle Scholar
  27. Murray JD (2002) Mathematical biology. I. An introduction. Interdisciplinary applied mathematics, vol 17, 3rd edn. Springer, New YorkGoogle Scholar
  28. Murray JD (2003) Mathematical biology. II. Spatial models and biomedical applications. Interdisciplinary applied mathematics, vol 18, 3rd edn. Springer, New YorkGoogle Scholar
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. Reed M, Simon B (1980) Methods of modern mathematical physics. I. Functional analysis, 2nd edn. Academic Press Inc., New YorkzbMATHGoogle Scholar
  35. Rothe F (1984) Global solutions of reaction-diffusion systems, Lecture Notes in Mathematics, 1072. Springer-Verlag, BerlinGoogle Scholar
  36. Sakamoto K (1990) Construction and stability analysis of transition layer solutions in reaction-diffusion systems. Tohoku Math J 42:17–44MathSciNetCrossRefzbMATHGoogle Scholar
  37. Satnoianu RA, Menzinger M, Maini PK (2000) Turing instabilities in general systems. J Math Biol 41:493–512MathSciNetCrossRefzbMATHGoogle Scholar
  38. 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
  39. Suzuki K (2011) Mechanism generating spatial patterns in reaction-diffusion systems. Interdiscip Inf Sci 17:131–153MathSciNetzbMATHGoogle Scholar
  40. Smoller J (1994) Shock waves and reaction-diffusion equations, Grundlehren der Mathematischen Wissenschaften, vol 258, 2nd edn. Springer, New YorkCrossRefGoogle Scholar
  41. Turing AM (1952) The chemical basis of morphogenesis. Phil Trans R Soc B 237:37–72MathSciNetCrossRefGoogle Scholar
  42. 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
  43. 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
  44. 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
  45. 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
  46. Wei J, Winter M (2008) Stationary multiple spots for reaction-diffusion systems. J Math Biol 57:53–89MathSciNetCrossRefzbMATHGoogle Scholar
  47. Wei J, Winter M (2014) Stationary Stability of cluster solutions in a cooperative consumer chain model. J Math Biol 68:1–39MathSciNetCrossRefzbMATHGoogle Scholar
  48. Yagi A (2010) Abstract parabolic evolution equations and their applications. Springer Monographs in Mathematics. Springer, BerlinCrossRefGoogle Scholar

Copyright information

© The Author(s) 2016

Open AccessThis 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.

Authors and Affiliations

  • Anna Marciniak-Czochra
    • 1
  • Grzegorz Karch
    • 2
  • Kanako Suzuki
    • 3
  1. 1.Institute of Applied Mathematics, Interdisciplinary Center for Scientific Computing (IWR) and BIOQUANTUniversity of HeidelbergHeidelbergGermany
  2. 2.Instytut MatematycznyUniwersytet WrocławskiWrocławPoland
  3. 3.College of ScienceIbaraki UniversityMitoJapan

Personalised recommendations