- Research
- Open access
- Published:

# Stationary solutions and spatial-temporal dynamics of a shadow system of LV competition models

*Advances in Difference Equations*
**volumeÂ 2017**, ArticleÂ number:Â 25 (2017)

## Abstract

The concern of the paper is nonconstant positive solutions of a class of Lotka-Volterra competition systems over 1D domains. We prove the existence of a positive monotonous solution to the shadow system for each small diffusion rate \(\epsilon >0\). Our theoretical results provide a foundation for further theoretical analysis on the shadow system and give insights on how diffusion and advection rates affect the pattern formation in the advective Lotka-Volterra competition systems. The second part of this paper includes numerical simulations of the nontrivial patterns to the shadow system and its original model. It is demonstrated that nontrivial patterns can develop from small perturbations of the homogeneous solution. Our numerics suggest that this system admits very interesting and complicated spatial-temporal dynamics even over 1D domains.

## 1 Introduction

This paper is concerned with the following boundary value problem with integral constraint:

where *Ïµ* is a positive constant, \(v_{\epsilon}\) is a function of *x*, and \(\lambda_{\epsilon}\) is an unknown constant. Parameters \(a_{i}\), \(b_{i}\), \(c_{i}\), \(i=1,2\), and *r* are positive constants, and Î¦ is a smooth function. System (1.1) is the 1D shadow system to the following model:

which was proposed in [1] to study the aggregation phenomenon of two competing species subject to Lotka-Volterra kinetics. Here \(\Omega\subset\mathbb {R}^{N}\), \(N\geq1\), is a bounded domain with piecewise smooth boundary *âˆ‚*Î©, and *Î½* is the unit outer normal on the boundary. See [1] for the derivation of this model and biological justifications for the system parameters.

System (1.1) serves as the shadow system of (1.2) on the asymptotic behaviors of \((u,v)\) in the limit of large advection rate *Ï‡*, and it admits spatial structures such as spikes, transition layers, and so on. To demonstrate our motivation for the study of (1.1), we first recall the following results on (1.2) established in [1] for \(\Omega=(0,L)\). Let \((u_{i},v_{i})\) be positive solutions of (1.2) with \((d_{1,i},d_{2,i},\chi_{i})=(d_{1},d_{2},\chi )\). Suppose that \(\chi_{i} \rightarrow\infty\), \(d_{2,i}\rightarrow d_{2} \in(0,\infty)\), and \(\frac{\chi_{i}}{d_{1,i}}=r_{i} \rightarrow r\in(0,\infty)\) as \(i\rightarrow\infty\). It is proved in TheoremÂ 4.2 in [1] that there exists aÂ nonnegative constant \(\lambda _{\infty}\) such that

where

moreover, after passing to a subsequence if necessary, as \(i \rightarrow\infty\),

where \(v_{\infty}=v_{\infty}(x)\) satisfies

Here \(v_{\infty}(x)\) is a nonnegative function of *x*. Since small diffusion rate \(d_{2}\) supports a nontrivial solution of (1.3), we denote \(d_{2}=\epsilon\) and put \((v_{\infty},\lambda_{\infty})=(v_{\epsilon},\lambda_{\epsilon})\), and then (1.3) becomesÂ (1.1).

In this paper, we investigate the existence of a nonconstant positive solution to system (1.1). To this end, we analyze the global bifurcation properties of system (1.1) and show that the global continuum of the first branch must be noncompact in certain Banach spaces. In particular, we prove that, for each small \(\epsilon>0\), (1.1) always admits a nonconstant positive solution \(v_{\epsilon}(x)\), which is monotone in \((0,L)\); see TheoremÂ 1.1. The global bifurcation is important especially when nonconstant positive solutions are concerned, and our results provide a foundation for further analysis on the shadow system (1.1), compared to the local branches, which have been investigated in detail in [1].

From the view point of mathematical modeling, a fundamental problem in mathematical ecology is to study the spatial-temporal evolutions of mutually interacting species. In particular, one of the most interesting phenomena is the well-observed segregation of species through interspecific competition. It is well known that the classical diffusive Lotka-Volterra competition system (i.e., (1.2) with \(\chi=0\)) only admits constant stable steady states except when Î© is nonconvex and the diffusion rates \(d_{i}\) are large [2â€“7]. We refer to [1] for further discussions. In order to take into account population pressures due to the presence of interacting species, various cross-diffusion models have been proposed and extensively studied over the past few decades. One celebrated system was proposed by Shigesada, Kawasaki, and Teramoto [8] in 1979, now often referred to as the SKT model, and it can be used to describe the aforementioned segregation phenomena. We refer to [9â€“11] for works on the SKT competition model.

It is necessary to point out that the process of cross-diffusion is very similar to that of chemotaxis, in which cellular organisms direct their dispersals toward or against the concentration gradient of stimulating chemicals in the environment. The mathematical modeling of chemotaxis dates back to the pioneering works of Keller and Segel [12]. Very recently, in [1] and [13], there was independently proposed and studied the Keller-Segel type chemotaxis model (1.1), for which it is assumed that species *u* takes a combination of random and directed dispersal strategy, whereas species *v* only disperses randomly. In particular, both papers investigated the existence of nontrivial solutions to (1.2) through its shadow system, and transition layer and boundary spike solutions to (1.1) have been established. These nontrivial positive solutions to (1.1) describe the coexistence and segregation of the competing species in the limit of large diffusion rate \(d_{1}\) and advection rateÂ *Ï‡*.

To illustrate how nonconstant positive solutions to (1.1) are established in [1] and provide necessary settings for our coming analysis, we first note that (1.1) has a unique positive constant solution

provided that

In [1], Crandall-Rabinowitz bifurcation theory [14] is applied to establish the existence of nonconstant positive solutions to (1.1) bifurcating from \((\bar{v},\bar{\lambda})\). To be precise, let

It is proved in TheoremÂ 4.3 of [1] that the steady-state bifurcation occurs at \((\bar{v},\bar{\lambda},\epsilon_{n})\) for each \(n\in\mathbb {N}^{+}\), with

and there exist a constant \(\delta>0\) and continuous functions \((v_{n}(x,s),\lambda_{n}(s),\epsilon_{n}(s)): s\in(-\delta, \delta) \rightarrow\mathcal{X} \times\mathbb{R}^{+} \times\mathbb{R}^{+}\) such that, for each \(s\in(-\delta,\delta)\), \((v_{n}(x,s),\lambda _{n}(s),\epsilon_{n}(s))\) solves systemÂ (1.1), where

moreover, all nontrivial solutions \((v,\lambda,\epsilon)\) of (1.1) near \((\bar{v},\bar{\lambda},\epsilon_{n})\) must be on the *n*th bifurcation branch

We would like to mention that the stability or instability of these bifurcating solutions (1.6) are also investigated in [1], TheoremÂ 4.4. They showed that, among all the local bifurcating solutions, only those on the first branch \(\Gamma_{1}(s)\), \(s\in (-\delta,\delta)\), can be stable, provided that \(\mathcal {K}>0\), whereas all the remaining local branches are unstable. This corresponds to [15], where it is stated that the nonconstant stable solutions to a classical of shadow systems must be spatially monotone. These results make the current study of the first bifurcation branch more realistic for further applications.

One of the motivations of this paper is to study the topological behaviors of the local branches \(\Gamma_{n}(s)\) to (1.1). To this end, we perform the global bifurcation analysis for (1.1); moreover, we shall show that this shadow system always admits nonconstant positive solutions for each small \(\epsilon>0\). To be precise, the theoretical result of the paper states as follows.

### Theorem 1.1

*Assume that* (1.4) *is satisfied and*
\(\epsilon_{n}\)
*is given by* (1.5). *Then*, *for each*
\(\epsilon\in(0,\epsilon_{1})\), *there exists a positive solution*
\((v_{\epsilon}(x),\lambda_{\epsilon})\)
*of* (1.1) *satisfying*
\(v'_{\epsilon}<0\)
*on*
\((0,L)\).

We present the plots in FigureÂ 1 to illustrate the first bifurcation branch or one of the solution sets to (1.1) schematically. Each element except \((\bar{v},\bar{\lambda},\epsilon_{1})\) on the bifurcation branch represents a nontrivial solutions to (1.1). Our analysis shows that the project of each branch onto the *Ïµ*-axis must include the interval \((0,\epsilon_{1})\).

### Remark 1

TheoremÂ 1.1 indicates that (1.1) admits decreasing solutions for every small *Ïµ* and the proof can be carried over to show that this system also admits increasing solutions. Indeed, let \(v_{\epsilon}(x)\) be a decreasing solution of (1.1). Then, thanks to the Neumann boundary condition, \(v_{\epsilon}(L-x)\) is also a solution, and it is increasing in *x*. Therefore, we can construct nonmonotone solutions by reflecting and periodically extending the monotone ones at the end points.

According to TheoremÂ 1.1, the shadow system (1.1) admits nonconstant monotone solutions for any small \(\epsilon>0\). Therefore, from the view point of singular perturbations, we may expect that (1.2) also admits nontrivial solutions when *Ï‡* and \(d_{1}\) are sufficiently large, and although rigorous mathematical analysis is quite technical and is out of our scope, we perform extensive numerical simulations to verify this observation in SectionÂ 4.

## 2 Nonconstant positive solutions to the shadow system

To see how bifurcation analysis is performed in [1] and to introduce necessary notations and settings for our global analysis, we rewrite (1.1) into the abstract form

where

and \(\mathcal{X}\) is the Hilbert space given by (1.7). We remark that any nonnegative solution *v* of (1.1) in \(\mathcal {X}\) is a classical solution thanks to the standard elliptic embeddings.

We first collect the following facts in [1] on the operator \(\mathcal{F}\) before using the bifurcation theory.

### Lemma 2.1

[1] *The operator*
\(\mathcal{F}(v,\lambda,\epsilon)\)
*defined in* (2.1) *satisfies the following properties*:

(1)Â \(\mathcal{F}(\bar{v},\bar{\lambda},\epsilon)=0\)
*for any*
\(\epsilon\in\mathbb{R}^{+}\);

(2)Â \(\mathcal{F}: \mathcal{X} \times\mathbb{R}^{+} \times\mathbb {R}^{+} \rightarrow\mathcal{Y} \times\mathcal{Y}\)
*is analytic*, *where*
\(\mathcal{Y}=L^{2}(0,L)\);

(3)*Â for any fixed*
\((v_{0},\lambda_{0}) \in\mathcal{X} \times\mathbb {R}^{+}\), *the FrÃ©chet derivative of*
\(\mathcal{F}\)
*is given by*

(4)Â \(D_{(v,\lambda)}\mathcal{F}(v_{0},\lambda_{0},\epsilon): \mathcal {X} \times\mathbb{R}^{+} \rightarrow\mathcal{Y} \times\mathbb{R}\)
*is a Fredholm operator with zero index*.

Besides these facts, we can further show that the dimension of the null space of \(D_{(v,\lambda)}\mathcal{F}(\bar{v},\bar{\lambda },\epsilon)\) is 1 and the following necessary condition on the null space of operator (2.2) holds:

and, in particular,

Moreover, we can verify the following transversality condition:

and therefore the existence of nonconstant bifurcating solutions follows from the classical Crandall-Rabinowitz bifurcation theory [14].

### Remark 2

We want to point out that \((0,\frac{a_{1}}{b_{1}})\) is the other constant solution to (1.1). However, it is easy to verify that Crandall-Rabinowitz bifurcation does not occur at this trivial solution. In fact, putting \((v_{0},\lambda_{0})=(0,\frac{a_{1}}{b_{1}})\) in (2.2), we see that the necessary condition (2.4) becomes

which has only the trivial solution, and hence the null-space \(\mathcal {N}(D_{(v,\lambda)}\mathcal{F}(0,\frac{a_{1}}{b_{1}},\epsilon))\) must be trivial.

## 3 Global bifurcation analysis

We now proceed to extend the local bifurcation curves obtained in TheoremÂ 1.1 by the global bifurcation theory of Rabinowitz [16] and its developed version in [17]. In particular, we will only study the first bifurcation branch \(\Gamma_{1}\) since all the remaining (local) branches are unstable.

Denote the solution set of (1.1) by

and let \(\mathcal{C}\) be the maximal connected subset of \(\bar {\mathcal{S}}\) that contains \((\bar{v},\bar{\lambda},\epsilon_{1})\). Then \(\mathcal{C}\) is a closed set, and it contains \((v_{1}(x,s),\lambda _{1}(s),\epsilon_{1}(s)), s \in(-\delta, \delta)\). We show in the following lemma that all elements on \(\mathcal {C}\) are solutions to (1.1) staying positive in this set.

### Lemma 3.1

*Assume that* (1.4) *holds*. *Then*, *for each*
\((v,\lambda,\epsilon) \in\mathcal{C}\), \(v(x)>0\)
*on*
\([0,L]\), \(\lambda>0\), *and*
\((v,\lambda )\)
*is a solution of* (1.1).

### Proof

We introduce the following connected set:

First, we observe that \(\mathcal{P}_{0}\) is a subset of \(\mathcal{C}\), and it is nonempty since at least the part of \(\mathcal{C}\) near \((\bar{v},\bar{\lambda},\epsilon_{1})\) is contained in \(\mathcal {P}_{0}\). Therefore, in order to prove the positivity of *v* and *Î»*, we need to show that \(\mathcal{P}_{0}=\mathcal{C}\). For this purpose, we prove that \(\mathcal{P}_{0}\) is both open and closed in \(\mathcal{C}\) by topology arguments, and if this is done, the connectedness of \(\mathcal {S}^{+}\) implies that \(\mathcal {P}_{0}=\mathcal {S}^{+}\).

To prove that \(\mathcal{P}_{0}\) is open in \(\mathcal{C}\), we pick any \((v,\lambda,\epsilon) \in\mathcal{P}_{0}\) and assume that there exists aÂ sequence \((v_{k},\lambda_{k},\epsilon_{k})\) that converges to \((v,\lambda,\epsilon)\) in \(\mathcal{X}\times\mathbb{R} \times \mathbb{R}\). Therefore \(v_{k}\) converges to *v* in \(C^{2}([0,L])\), and hence \(v_{k}(x)>0\) on \([0,L]\) for all large *k* since \(v(x)>0\) on \([0,L]\). Moreover, \(\lambda_{k},\epsilon_{k}>0\) since \(\lambda,\epsilon>0\).

To prove that \(\mathcal{P}_{0}\) is closed in \(\mathcal{C}\), we take \(\{ (v_{k},\lambda_{k},\epsilon_{k})\} \in\mathcal{P}_{0}\) such that, for some \((v,\lambda,\epsilon) \in\mathcal{C}\), \((v_{k},\lambda_{k},\epsilon _{k})\) converges to \((v,\lambda,\epsilon)\) in the norm of \(\mathcal {X}\times\mathbb{R}^{+} \times\mathbb{R}^{+}\). Then we want to show that \((v,\lambda,\epsilon) \in\mathcal{P}_{0}\), that is, \(v(x)>0\) on \([0,L]\), and \(\lambda>0\). Obviously, \(v(x)\geq0\) and \(\lambda\geq 0\), and we only need to show that \(\lambda\neq0\) and \(v(x)>0\) for all \(x\in[0,L]\). We argue by contradiction. First, suppose that \(\lambda =0\). Then the \(v(x)\)-equation in (1.1) becomes

and it is well known that (3.1) has only the trivial solution 0 and \(\frac{a_{2}}{c_{2}}\); therefore, \(v_{k}\) converges to either 0 or \(\frac{a_{2}}{c_{2}}\) uniformly on \([0,L]\). If \(v_{k}\) converges to 0, then we can apply the Lebesgue dominated convergence theorem to the integral constraint in (1.1):

which is impossible. If \(v_{k}\) converges to \(\frac{a_{2}}{c_{2}}\), then similarly we have

which implies that \(\frac{a_{1}}{a_{2}}=\frac{c_{1}}{c_{2}}\), a contradiction to (1.4). Therefore, \(\lambda=0\) is impossible, and we must have that \(\lambda>0\), as claimed.

We now prove that \(v(x)>0\) on \([0,L]\). If not, then suppose that \(v(x_{0})=0\) for some \(x_{0}\in[0,L]\). Then we can apply the strong maximum principle and Hopfâ€™s lemma to (1.1) to show that \(v\equiv 0\) for all \(x\in[0,L]\) and therefore \(\lambda=\frac{a_{1}}{b_{1}}\). However, this is impossible since it is easy to check that bifurcation does not occur at \((0,\frac{a_{1}}{b_{1}})\). This is a contradiction, and we must have that \(v(x)>0\) on \([0,L]\).â€ƒâ–¡

### Remark 3

According to LemmaÂ 3.1 (and the forthcoming discussion), we know that the global continuum \(\mathcal {C}\) cannot intersect with the *Ïµ*-axis. However, we are not able to rule out the possibility that it intersects with the *V*-axis, that is, \(\mathcal {X}\times \mathbb {R}^{+}\times\{0\}\). Details on the limiting structures are needed for this purpose. Our main results in TheoremÂ 1.1 establish the existence of nonconstant solutions to (1.1) for any small *Ïµ*, and it is out of the scope of this paper to analyze their limiting profiles.

We proceed to show that \(\mathcal {C}\) consists of two disjoint components and each component contains solution *v* that is spatially monotone. Let \(\mathcal{C}_{u}\) to be the component of \(\mathcal{C} \backslash\{(v_{1}(s,x),\lambda_{1}(s),\epsilon_{1}(s)) \vert s \in (-\delta,0) \}\) containing \(\{(v_{1}(s,x),\lambda_{1}(s),\epsilon_{1}(s)) \vert s\in[0 ,\delta) \}\) and, correspondingly, \(\mathcal{C}_{l}=\mathcal {C} \backslash\{ (v_{1}(s,x),\lambda_{1}(s),\epsilon_{1}(s)) \vert s \in(0,\delta)\} \) containing \(\{(v_{1}(s,x),\lambda_{1}(s),\epsilon_{1}(s)) \vert s\in(-\delta,0]\}\). Then we can readily see that \(\mathcal{C}=\mathcal{C}_{u} \cup\mathcal{C}_{l}\) and \(\mathcal{C}_{u} \cap\mathcal{C}_{l}=\{(\bar{v},\bar{\lambda},\epsilon_{1})\}\). We have the following results.

### Lemma 3.2

\(\mathcal{C}_{u}\backslash(\bar{v},\bar{\lambda},\epsilon_{1})\)
*consists of*
\((v,\lambda,\epsilon)\)
*with*
\(v'(x)>0\)
*on*
\((0,L)\), *and*
\(\mathcal{C}_{l} \backslash(\bar{v},\bar{\lambda},\epsilon_{1})\)
*consists of*
\((v,\lambda,\epsilon)\)
*with*
\(v'(x)<0\)
*on*
\((0,L)\)
*and*
\(\lambda, \epsilon>0\).

### Proof

Our proof is based on the same topology arguments as in the proof of LemmaÂ 3.1. We introduce the following four subsets:

Then LemmaÂ 3.2 holds if we can prove that

We only prove the first part, and the second one can be treated in the same way. We note that \(\mathcal{C}_{u}^{0}\) is nonempty since any solution \((v,\lambda,\epsilon)\) of (1.1) near \((\bar{v},\bar {\lambda},\epsilon_{1})\) is in the set \(\mathcal{C}_{u}^{0} \) thanks to (1.4). Since \(\mathcal{C}_{u}^{0}\) is a connected subset of \(\mathcal{X} \times\mathbb{R}^{+} \times\mathbb{R}^{+}\), we only need to show that \(\mathcal{C}_{u}^{0} \cap\mathcal{P}_{1}^{+}\) is both open and closed with respect to the topology of \(\mathcal{C}_{u}^{0} \), and we divide our proof into two parts.

To prove the openness, we assume that \((\tilde{v}, \tilde{\lambda}, \tilde{\epsilon}) \in\mathcal{C}_{u}^{0} \cap\mathcal{P}_{1}^{+}\) and there exists a sequence \(\{(\tilde{v}_{k}, \tilde{\lambda}_{k}, \tilde{\epsilon}_{k}) \} _{k=1}^{\infty}\) in \(\mathcal{C}_{u}^{0}\) that converges to \((\tilde{v}, \tilde{\lambda}, \tilde{\epsilon})\) in the norm of \(\mathcal{X} \times\mathbb{R}^{+} \times\mathbb{R}^{+}\). We want to show that, for all large *k*, \((\tilde{v}_{k}, \tilde{\lambda}_{k}, \tilde{\epsilon}_{k}) \in \mathcal{P}_{1}^{+}\), that is,

First, it is easy to see that \(\tilde{\lambda}_{k}>0\) and \(\tilde {\epsilon}_{k}>0\) since both have positive limits \(\tilde{\lambda}>0\) and \(\tilde{\epsilon}>0\). On the other hand, we conclude from \(\tilde {v}_{k} \rightarrow\tilde{v}\) in \(\mathcal{X}\) and from the elliptic regularity theory that \(\tilde{v}_{k} \rightarrow\tilde{v}\) in \(C^{2}([0,L])\). Differentiating the first equation of (1.1) with respect to *x*, we have

By Hopfâ€™s lemma from the fact \(\tilde{v}'(x)>0\) we have that \(\tilde {v}''(L)>0>\tilde{v}''(0)\), and then this second-order nondegeneracy implies that \(\tilde{v}'_{k}(x)>0\) in \((0,L)\). If not, suppose that there exists \(x_{k}\in[0,L]\) such that \(\tilde{v}'_{k}(x_{k})=0\). Then we have that \(x_{k}\rightarrow x_{\infty}\in[0,L]\) as \(k\rightarrow\infty \). We divide our discussions into the following two cases.

Case 1. \(x_{\infty}=0,L\). We only consider \(x_{\infty}=0\) since the same arguments can be applied for \(x_{\infty}=L\). In this case,

a contradiction.

Case 2. \(x_{\infty}\in(0,L)\). This is also impossible by the continuity of \(\tilde{v}'(x)\). Therefore, we have that \(\tilde{v}'(x)>0\) in \((0,l)\) for *k* large, and hence the openness is proved.

To prove that \(\mathcal{C}_{u}^{0} \cap\mathcal{P}_{1}^{+}\) is closed in \(\mathcal{C}_{u}^{0}\), we take a sequence \((\tilde{v}_{k}, \tilde{\lambda }_{k}, \tilde{\epsilon}_{k}) \in\mathcal{C}_{u}^{0} \cap\mathcal{P}_{1}^{+}\) and assume that there exists \((\tilde{v}, \tilde{\lambda}, \tilde {\epsilon})\) in \(\mathcal{C}_{u}^{0}\) such that \((\tilde{v}_{k}, \tilde {\lambda}_{k}, \tilde{\epsilon}_{k}) \rightarrow(\tilde{v}, \tilde {\lambda}, \tilde{\epsilon})\) in the topology of \(\mathcal{X} \times\mathbb{R}^{+} \times\mathbb{R}^{+}\). We want to show that

By the same argument as before it can be easily proved that \(\tilde {\lambda}>0\). We now need to show that \(\tilde{v}'(x)>0\). Again, we have from the elliptic regularity that \(\tilde{v}_{k} \rightarrow \tilde{v}\) in \(C^{2}([0,L])\), and therefore \(\tilde{v}'(x)\geq0, x\in(0,L)\). Applying the strong maximum principle and Hopfâ€™s lemma to (3.2), we have that either \(\tilde{v}'>0\) or \(\tilde{v}'\equiv0\) on \((0,L)\). In the latter case, we must have \((\tilde{v},\tilde{\lambda}) \equiv(\bar {v},\bar{\lambda})\), and this contradicts to the definition of \(\mathcal{C}_{u}^{0}\). Thus, we have shown that \(\tilde{v}'>0\) on \((0,L)\), and this proves the closedness. The proof of LemmaÂ 3.2 is complete.â€ƒâ–¡

### 3.1 Global extension of the first bifurcation branch

Finally, we study the extension of the local bifurcation branch \(\Gamma _{1}(s)\), and we present a proof of TheoremÂ 1.1.

### Proof of TheoremÂ 1.1

According to TheoremÂ 4.4 in [17], \(\mathcal{C}_{u}\) satisfies one of the following three alternatives: (A1) it is not compact in \(\mathcal{X} \times\mathbb{R}^{+} \times\mathbb{R}^{+}\); (A2) it contains a point \((\bar{v},\bar{\lambda},\epsilon_{*})\) with \(\epsilon_{*} \neq\epsilon_{1}\); (A3) it contains a point \((\bar {v}+\hat{v},\bar{\lambda}+\hat{\lambda},\epsilon)\), where \(0\neq (\hat{v},\hat{\lambda}) \in\mathcal{Z}\), and \(\mathcal{Z}\) is a closed complement of \(\mathcal{N} (D_{(v,\lambda)}\mathcal {F}(\bar{v},\bar{\lambda},\epsilon_{1}) )=\text{span}\{ (\cos \frac{\pi x}{L},0)\}\). We first claim that only alternativeÂ (A1) can occur.

If (A2) occurs, then \(\epsilon_{*}\) must be one of the bifurcation values \(\epsilon_{k}\), \(k\geq2\); therefore, \(v(x)=\bar{v}+s \cos\frac {k\pi x}{L}+o(s)\), \(s\in(-\delta,\delta)\), according to (1.4). However, this contradicts to the monotonicity of \(v(x)\), and therefore (A2) is impossible.

If (A3) occurs, then we can choose the complement to be

and then, for any \((v,\lambda) \in\mathcal{Z}\), by integration by parts we have

a contradiction. Therefore, only alternative (A1) occurs, and \(\mathcal{C}_{u}\) is not compact in \(\mathcal{X} \times\mathbb{R}^{+} \times\mathbb{R}^{+}\).

Now we study the behavior of \(\mathcal{C}_{u}\), and that of \(\mathcal {C}_{l}\) can be investigated in the same way. First, we claim that the projection of \(\mathcal{C}_{u}\) onto the *Ïµ*-axis does not contain an interval of the form \((\epsilon_{0},\infty)\) for any \(\epsilon_{0}>0\) and it is sufficient to show that there exist a positive constant \(\bar{\epsilon}_{0}\) such that (1.1) has only constant positive solution \((\bar{v},\bar{\lambda})\) if \(\epsilon \in(\bar{\epsilon}_{0},\infty)\). To prove the claim, we decompose the solution \(v(x)\) of (1.1) as

where \(\bar{v} =\frac{1}{L} \int_{0}^{L} v\,dx\) and \(\int_{0}^{L} w \,dx=0\). Then we readily see that *w* satisfies

Multiplying both hand sides of (3.3) by *w* and then integrating over \((0,L)\), we have that

On the other hand, it is easy to have from the maximum principle that both \(\Vert v_{\epsilon}(x)\Vert_{L^{\infty}(0,L)}\) and \(\lambda _{\epsilon}\) are uniformly bounded in *Ïµ*. Then we have from the last equality that

where \(C_{0}\) is a positive constant dependent on \(a_{2},c_{2}\), and *vÌ„*. We reach a contradiction if \(\epsilon>\frac{C_{0}}{(\pi/L)^{2}}\) unless \(w\equiv0\). Therefore, we must have that \(v\equiv\bar{v}\); however, this gives a contradiction by the same arguments as in case (A2). Therefore, the claim is proved.

Now we proceed to show that the projection \(\mathcal{C}_{u}\) onto the *Ïµ*-axis is of the form \((0,\bar{\epsilon}]\) for some \(\bar {\epsilon} \geq\epsilon_{1}\). We argue by contradiction and assume that there exists \(\underline{\epsilon}>0\) such that \((\underline{\epsilon},\bar{\epsilon})\) is contained in this projection, but this projection does not contain any \(\epsilon<\underline{\epsilon}\). Then we have from the uniform boundedness of \(\Vert v_{\epsilon}(x)\Vert _{\infty}\) and Sobolev embedding that, for each \(\epsilon>0\), \(\Vert v_{\epsilon}\Vert_{C^{3}([0,L])} \leq C\) for all \((v_{\epsilon},\lambda _{\epsilon},\epsilon) \in\mathcal{C}_{u}\). However, this implies that \(\mathcal{C}_{u}\) is compact in \(\mathcal{X} \times\mathbb{R}^{+} \times\mathbb{R}^{+}\), which is a contradiction to alternative (A1). Therefore, \(\mathcal{C}_{u}\) extends to infinity vertically in \(\mathcal {X} \times\mathbb{R}^{+} \times\mathbb{R}^{+}\). This finishes the proof of TheoremÂ 1.1.â€ƒâ–¡

We have from TheoremÂ 1.1 that there exist positive and monotone solutions \(v_{\epsilon}(\lambda_{\epsilon},x)\) toÂ (1.1) for all \(\epsilon\in(0,\epsilon_{1})\). If \(v(x)\) is an increasing solution to (1.1), then \(v(L-x)\) is a decreasing solution. Then we can construct infinitely many nonmonotone-solutions of (1.1) by reflecting and periodically extending \(v(x)\) and \(v(L-x)\) at \(x=0,\pm L, \pm2L,\dots\).

## 4 Numerical simulations

We proceed to investigate (1.1) and (1.2) by numerical studies. Our simulation illustrates and supports our theoretical finding in the previous sections, that is, (1.2) admits nontrivial positive constant steady states when *Ï‡* and \(d_{1}\) are large and \(d_{2}\) is small. Moreover, system (1.2) is able to model the well-observed phenomenon of segregation through competition.

According to [1], in limit of large *Ï‡* and \(d_{1}\), positive solutions \((u,v)\) of (1.2) over \(\Omega=(0,L)\) can be approximated by those of the shadow system (1.1). Moreover, thanks to TheoremÂ 1.1, the boundary value problem (1.1) admits nonconstant solutions for any small \(\epsilon>0\); therefore, we expect the emergence of nontrivial patterns in (1.2) for *Ï‡* and \(d_{1}\) being large and \(d_{2}\) being sufficiently small. We choose the sensitivity function to be \(\phi(v)\equiv1\) without losing much generality of our numerical studies. In the remaining partÂ of this section, we shall numerically study the following coupled time-dependent system:

Then their stationary solutions correspond to those of (1.2). Choosing the system parameters \(a_{1}=a_{2}=b_{2}=c_{1}=1\) and \(b_{1}=c_{2}=2\), it is easy to find that \((\bar{u},\bar{v})=(\frac{1}{3},\frac{1}{3})\) is a trivial solution. Moreover, we choose \(\chi=500\), \(d_{1}\), and the initial data \((u_{0},v_{0})=(\bar{u},\bar{v})+(0.001,0.001)\cos\pi x\) in all the simulations (except the initial data in FigureÂ 9). It is our goal to examine the effect ofÂ \(d_{2}\) (or, equivalently, of *Ïµ* in (1.1)) and the domain size on the formation of nontrivial patterns in (1.2). Our numerics demonstrate the self-organized spatial temporal dynamics of these systems.

### 4.1 Simulations over one-dimensional domains

In FigureÂ 2, we plot the spatial-temporal solutions to illustrate the formation of single boundary spike to *u* and boundary layer to *v*. The boundary spike and layer here correspond to the monotone steady state obtained in TheoremÂ 1.1. Moreover, the numerical simulations suggest that the spiky solutions are stable. The rigorous proof of the stability is out of scope of this paper.

According to TheoremÂ 1.1, (1.1) admits nonmonotone positive solutions for any small \(\epsilon>0\); therefore, it is natural to expect that the same holds for (4.1) when both *Ï‡* and \(d_{1}\) are large. On the other hand, we know from our proof of TheoremÂ 1.1 that the large \(d_{2}\) inhibits the existence of nonconstant positive solutions. Therefore, we present FigureÂ 3 to investigate the effect of small \(d_{2}\) on the nonconstant steady states to (4.1). As \(d_{2}\) tends to zero, the boundary spike shifts to the boundary with its magnitude increases. However, rigourous analysis of these spiky solutions is quite challenging and is out of the scope of this paper.

Thanks to the Neumann boundary conditions, we can construct single- and multi-interior spikes for (4.1) by reflecting and periodically extending the single boundary spike at the end points. This is numerically demonstrated in FigureÂ 4.

In FigureÂ 5, we continue to examine the effect of large interval on the formation of multi-spikes in (4.1). We observe the reflection and periodic extension of spikes over interval with \(L=2\) to those \(L=4\) and \(L=8\). However, we may expect steady states with three spikes when \(L=6\), admitting a single interior instead. We are motivated to study the dynamics of such an irregular pattern observed in FigureÂ 5 when \(L=6\). To do so, we select \(L=16\) and plot in FigureÂ 6 the profile of \(u(x,t)\) for specifically chosen times. We observe \(u(x,t)\) develops with multispikes which are meta-stable, the stability of which is destroyed at time \(t\approx46\). Then we observe the merging and disappearing of the interior spikes, and finally \(u(x,t)\) develops into aÂ single interior spike afterwards.

### 4.2 Simulations over two-dimensional domains

We now study (4.1) over the square \(\Omega=(0,L)\times(0,L)\). Similarly as in the 1D case, we shall examine the effect of \(d_{2}\) and the domain size over the formation and evolution of nontrivial patterns, whereas the remaining system parameters and initial data are chosen as in FigureÂ 2. For example, in FigureÂ 7, we plot the formation and evolution of stable boundary spike out of small perturbations from the constant solution \((\bar{u},\bar{v})\). Similarly as in FigureÂ 3, we show in FigureÂ 8 that when \(d_{2}\) becomes small, the boundary spike shifts to the corner and its magnitude increases. It seems necessary to point out, a stable single boundary spike does not have to stay at the corner as we observe one counter-example in FigureÂ 9. Finally, we include FigureÂ 10 to demonstrate that large domains support stable steady states with more spikes than small domains. Mathematical analysis of the spatial-temporal of these spikes is an interesting but also quite demanding question that we can study in the future.

## References

Wang, Q, Gai, C, Yan, J: Qualitative analysis of a Lotka-Volterra competition system with advection. Discrete Contin. Dyn. Syst.

**35**, 1239-1284 (2015)De Mottoni, P, Rothe, F: Convergence to homogeneous equilibrium state for generalized Volterra-Lotka systems with diffusion. SIAM J. Appl. Math.

**37**, 648-663 (1979)Kishimoto, K, Weinberger, H: The spatial homogeneity of stable equilibria of some reaction-diffusion systems in convex domains. J. Differ. Equ.

**58**, 15-21 (1985)Matano, H, Mimura, M: Pattern formation in competition-diffusion systems in nonconvex domains. Publ. Res. Inst. Math. Sci.

**19**, 1049-1079 (1983)Mimura, M, Ei, S-I, Fang, Q: Effect of domain-shape on coexistence problems in a competition-diffusion system. J. Math. Biol.

**29**, 219-237 (1991)Mimura, M, Kawasaki, K: Spatial segregation in competitive interaction-diffusion equations. J. Math. Biol.

**9**, 49-64 (1980)Mimura, M, Nishiura, Y, Tesei, A, Tsujikawa, T: Coexistence problem for two competing species models with density-dependent diffusion. Hiroshima Math. J.

**14**, 425-449 (1984)Shigesada, N, Kawasaki, K, Teramoto, E: Spatial segregation of interacting species. J. Theor. Biol.

**79**, 83-99 (1979)Choi, YS, Lui, R, Yamada, Y: Existence of global solutions for the Shigesada-Kawasaki-Teramoto model with weak cross-diffusion. Discrete Contin. Dyn. Syst.

**9**, 1193-1200 (2003)Kuto, K: Limiting structure of shrinking solutions to the stationary Shigesada-Kawasaki-Teramoto model with large cross-diffusion. SIAM J. Math. Anal.

**47**, 3993-4024 (2015)Lou, Y, Ni, W-M, Yotsutani, S: On a limiting system in the Lotka-Volterra competition with cross-diffusion. Discrete Contin. Dyn. Syst.

**10**, 435-458 (2004)Keller, EF, Segel, LA: Inition of slime mold aggregation view as an instability. Journal of Theoratical Biology

**26**, 399-415 (1970)Kuto, K, Tsujikawa, T: Limiting structure of steady-states to the Lotka-Volterra competition model with large diffusion and advection. J. Differ. Equ.

**258**, 1801-1858 (2015)Crandall, MG, Rabinowitz, PH: Bifurcation from simple eigenvalues. J. Funct. Anal.

**8**, 321-340 (1971)Ni, W-M, Polascik, P, Yanagida, E: Monotonicity of stable solutions in shadow systems. Transl. Am. Math. Soc.

**353**, 5057-5069 (2001)Rabinowitz, PH: Some global results for nonlinear eigenvalue problems. J. Funct. Anal.

**7**, 487-513 (1971)Shi, J, Wang, X: On global bifurcation for quasilinear elliptic systems on bounded domains. J. Differ. Equ.

**246**, 2788-2812 (2009)

## Acknowledgements

YZ supported by Department of Education, Sichuan (15ZB0473). LX supported by Guangdong Natural Science Foundation (2015A030313623) and Guangdong Training Program for Young College Teachers (YQ2015077).

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

Both authors read and approved the final manuscript and contributed equally to the writing of this paper. Numerical simulations are mainly due to YZ, and the analysis is mainly due to LX.

## Rights and permissions

**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.

## About this article

### Cite this article

Zhang, Y., Xia, L. Stationary solutions and spatial-temporal dynamics of a shadow system of LV competition models.
*Adv Differ Equ* **2017**, 25 (2017). https://doi.org/10.1186/s13662-017-1081-x

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13662-017-1081-x