Skip to main content

Boundedness in a quasilinear fully parabolic two-species chemotaxis system of higher dimension

Abstract

This paper considers the following coupled chemotaxis system:

$$\textstyle\begin{cases} u_{t}=\nabla\cdot(\phi(u)\nabla u)-\chi_{1} \nabla\cdot(u\nabla w)+\mu_{1} u(1-u-a_{1} v), \\ v_{t}=\nabla\cdot(\psi(v)\nabla v)-\chi_{2} \nabla\cdot(v\nabla w)+\mu_{2} v(1-a_{2}u-v), \\ w_{t}=\Delta w-\gamma w+\alpha u+\beta v, \end{cases} $$

with homogeneous Neumann boundary conditions in a bounded domain \(\Omega\subset\mathbb{R}^{N}\) (\(N\ge3\)) with smooth boundaries, where \(\chi_{1}\), \(\chi_{2}\), \(\mu_{1}\), \(\mu_{2}\), \(a_{1}\), \(a_{2}\), α, β and γ are positive. Based on the maximal Sobolev regularity, the existence of a unique global bounded classical solution of the problem is established under the assumption that both \(\mu_{1}\) and \(\mu_{2}\) are sufficiently large.

1 Introduction

In this paper, we consider the higher dimension quasilinear fully parabolic two-species chemotaxis system

$$\begin{aligned} \textstyle\begin{cases} u_{t}=\nabla\cdot(\phi(u)\nabla u)-\chi_{1} \nabla\cdot(u\nabla w)+\mu_{1} u(1-u-a_{1} v), & (x,t)\in \Omega\times(0,T), \\ v_{t}=\nabla\cdot(\psi(v)\nabla v)-\chi_{2} \nabla\cdot(v\nabla w)+\mu_{2} v(1-a_{2}u-v), &(x,t)\in\Omega\times(0,T), \\ w_{t}=\Delta w-\gamma w+\alpha u+\beta v, & (x,t)\in \Omega\times(0,T),\\ \frac{\partial u}{\partial n}=\frac{\partial v}{\partial n}=\frac {\partial w}{\partial n}=0, & (x,t)\in \partial\Omega\times(0,T), \\ u(x,0)=u_{0}(x),\qquad v(x,0)=v_{0}(x),\qquad w(x,0)=w_{0}(x),& x\in \Omega, \end{cases}\displaystyle \end{aligned}$$
(1.1)

where \(\Omega\subset\mathbb{R}^{N}\) (\(N\ge3\)) is a bounded domain with smooth boundaries Ω, and the constants \(\chi_{1}\), \(\chi_{2}\), \(\mu_{1}\), \(\mu_{2}\), \(a_{1}\), \(a_{2}\), α, β and γ are positive. The functions \(\phi,\psi\in C^{2}([0,\infty))\) satisfy

$$\begin{aligned} \textstyle\begin{cases} \phi(s)>0,\quad s\ge0,\qquad k_{1} s^{p}\le\phi(s),\quad s\ge s_{0},\\\psi(s)>0,\quad s\ge0,\qquad k_{2} s^{q}\le\psi(s),\quad s\ge s_{0}, \end{cases}\displaystyle \end{aligned}$$
(1.2)

with \(k_{1},k_{2}>0\), \(s_{0}>1\), \(p,q\in\mathbb{R}\).

The system (1.1) arises in mathematical biology as a model for two biological species which move in the direction of higher concentration of a signal produced by themselves. Here, \(u=u(x,t)\) and \(v=v(x,t)\) represent the densities of the two populations, respectively, and \(w=w(x,t)\) denotes the concentration of the chemical.

There are many results about the one-species chemotaxis systems with logistic source when \(v\equiv0\) in (1.1), that is,

$$\begin{aligned} \textstyle\begin{cases}u_{t}=\nabla\cdot(\phi(u)\nabla u)-\chi_{1} \nabla\cdot (u\nabla w)+\mu_{1} u(1-u), & (x,t)\in \Omega\times(0,T), \\w_{t}=\Delta w-\gamma w+\alpha u, & (x,t)\in\Omega\times(0,T). \end{cases}\displaystyle \end{aligned}$$
(1.3)

All solutions are global in time and remain bounded whenever \(n\le 2\) and \(\mu_{1} >0\) is arbitrary [1], or \(n\ge3\) and \(\mu_{1}>\mu_{0}\) with some constant \(\mu_{0}(\chi_{1})>0\) [2, 3]. Especially, the convexity of Ω which is required in [2] is unnecessary in [3].

As for two-species models without logistic-type growth restrictions, that is, when \(\mu_{1}=\mu_{2}=0\), the resulting system inherits some important properties from the original Keller-Segel model for single-species chemotaxis; see [4, 5] and the references therein. In particular, the striking phenomenon of finite-time blow-up, known to occur in both parabolic-elliptic and fully parabolic versions of the latter ([6, 7]), has also been detected in parabolic-parabolic-elliptic two-species systems ([812]).

Apart from the aforementioned system, a source of logistic type is included in (1.1). For the semilinear parabolic-parabolic-elliptic version of (1.1), in the case of weak competition when both \(a_{1}<1\) and \(a_{2}<1\), the large time behavior has been addressed in [13], and also in [14]. Here we point out that the smallness condition on the chemotactic strengths in [14] seems more natural than that in [13]. When \(a_{1}>1\) and \(0\le a_{2}<1\), it has been shown in [15] that the solution \((u,v,w)\) converges to \((0,1,\frac{\beta}{\gamma} )\) as \(t\rightarrow \infty\) under some assumptions on \(\chi_{1}\), \(\chi_{2}\), \(a_{1}\), \(a_{2}\). For the currently considered fully parabolic system (1.1), when \(\phi(u)\equiv u\), \(\psi(v)\equiv v\), the authors in [16] have proved that the system (1.1) possesses a global solution for \(n\le2\) and any positive constant \(\mu_{1}\), \(\mu_{2}\). For the case \(n\ge3\), the large time behavior has been obtained but there lacks a proof of the existence of a global solution. Especially, the authors in [17] proved that for the bounded convex domain Ω and \(\gamma\ge\frac{1}{2}\), the problem (1.1) possesses a global solution with large \(\mu_{1}\) and \(\mu_{2}\).

Our goal in this paper is to investigate the global existence and boundedness of solutions to (1.1). The main result of the present paper is the following theorem.

Theorem 1.1

Suppose that \(\Omega\subset\mathbb{R}^{N}\) (\(N\ge3\)) is a bounded domain with smooth boundaries, and ϕ and ψ satisfy (1.2). Then there is \(\mu_{0}>0\) such that if \(\max\{\mu_{1},\mu_{2}\}>\mu_{0}\), for each nonnegative \(u_{0}(x),v_{0}(x)\in C^{0}(\bar{\Omega})\) and \(w_{0}(x)\in W^{1,r}(\Omega)\) with \(r>N\), system (1.1) admits a unique classical solution \((u,v,w)\) such that

$$\begin{aligned} &u\in C^{0}\bigl(\bar{\Omega}\times[0,\infty)\bigr)\cap C^{2,1}\bigl(\bar{\Omega}\times(0,\infty)\bigr), \\ &v\in C^{0}\bigl(\bar{\Omega}\times[0,\infty)\bigr)\cap C^{2,1}\bigl(\bar{\Omega}\times(0,\infty)\bigr), \\ &w\in C^{0}\bigl(\bar{\Omega}\times[0,\infty)\bigr)\cap C^{2,1}\bigl(\bar{\Omega}\times(0,\infty)\bigr)\cap L^{\infty}_{\mathrm{Loc}} \bigl([0,\infty);W^{1,r}(\Omega)\bigr). \end{aligned} $$

Moreover, \((u,v,w)\) is bounded in \(\Omega\times(0,\infty)\).

2 Preliminaries

The local existence of solutions to (1.1) can be addressed by methods involving standard parabolic regularity theory in a suitable fixed point approach.

Lemma 2.1

Suppose \(\Omega\subset\mathbb{R}^{N}\) (\(N\ge3\)) is a bounded domain with smooth boundaries, and ϕ and ψ satisfy (1.2); let \(r>N\). Then for each nonnegative \(u_{0}(x),v_{0}(x)\in C^{0}(\bar{\Omega})\) and \(w_{0}(x)\in W^{1,r}(\Omega)\), there exists \(T_{\mathrm{max}}\in(0,\infty ]\) and a uniquely determined triple \((u,v,w)\) of functions

$$\begin{aligned} &u\in C^{0}\bigl(\bar{\Omega}\times[0,T_{\mathrm{max}})\bigr)\cap C^{2,1}\bigl(\bar{\Omega}\times(0,T_{\mathrm{max}})\bigr), \\ &v\in C^{0}\bigl(\bar{\Omega}\times[0,T_{\mathrm{max}})\bigr) \cap C^{2,1}\bigl(\bar{\Omega}\times(0,T_{\mathrm{max}})\bigr), \\ &w\in C^{0}\bigl(\bar{\Omega}\times[0,T_{\mathrm{max}})\bigr) \cap C^{2,1}\bigl(\bar{\Omega}\times(0,T_{\mathrm{max}})\bigr)\cap L^{\infty}_{\mathrm{Loc}}\bigl([0,T_{\mathrm{max}});W^{1,r}( \Omega)\bigr), \end{aligned}$$

which solves (1.1) classically in \(\Omega\times(0,T_{\mathrm{max}})\). Moreover, \(T_{\mathrm{max}}<\infty\) if and only if

$$\begin{aligned} \limsup_{t\nearrow T_{\mathrm{max}}} \bigl( \bigl\Vert u(\cdot,t) \bigr\Vert _{L^{\infty}(\Omega)}+ \bigl\Vert v(\cdot,t) \bigr\Vert _{L^{\infty}(\Omega)} \bigr)= \infty. \end{aligned}$$

Let us cite the following auxiliary statement from [3].

Lemma 2.2

Let \(r\in(1, \infty)\). Consider the following evolution equation:

$$\begin{aligned} \textstyle\begin{cases} w_{t}=\Delta w-\gamma w+\alpha u+\beta v, & (x,t)\in \Omega\times(0,T),\\\frac{\partial w}{\partial n}=0, & (x,t)\in \partial\Omega\times(0,T), \\w(x,0)=w_{0}(x), &x\in\Omega. \end{cases}\displaystyle \end{aligned}$$
(2.1)

For each \(w_{0}\in W^{2,r}(\Omega)\) (\(r>N\)) with \(\frac{\partial w_{0}}{\partial n}=0\) on Ω and any \(u,v\in L^{r}((0,T); L^{r}(\Omega))\), there exists a unique solution

$$\begin{aligned} w\in W^{1,r}\bigl((0,T); L^{r}(\Omega)\bigr)\cap L^{r}\bigl((0,T); W^{2,r}(\Omega)\bigr). \end{aligned}$$
(2.2)

Moreover, there exists \(C_{r}>0\), such that if \(s_{0}\in[0,T)\), \(w(\cdot, s_{0})\in W^{2,r}(\Omega)\) (\(r>N\)) with \(\frac{\partial w(\cdot, s_{0})}{\partial n}=0\), then

$$\begin{aligned} \int_{s_{0}}^{T} \int_{\Omega}e^{\gamma rs} \vert \Delta w \vert ^{r}&\le C_{r} \int_{s_{0}}^{T} \int_{\Omega}e^{\gamma rs}u^{r}+C_{r} \int_{s_{0}}^{T} \int_{\Omega}e^{\gamma rs}v^{r} \\ &\quad{}+C_{r} \bigl( \bigl\Vert w(\cdot, s_{0}) \bigr\Vert ^{r}_{L^{r}(\Omega)}+\bigl\Vert \Delta w(\cdot, s_{0}) \bigr\Vert ^{r}_{L^{r}(\Omega)} \bigr). \end{aligned}$$
(2.3)

Proof

Let \(h(x,s)=e^{\gamma s} w(x,s)\). We derive that h satisfies

$$\begin{aligned} \textstyle\begin{cases} h_{s}(x,s)=\Delta h(x,s)+\alpha e^{\gamma s} u(x,s)+\beta e^{\gamma s} v(x,s), &(x,s)\in \Omega\times(0,T),\\\frac{\partial h}{\partial n}=0, &(x,s)\in \partial\Omega\times(0,T), \\h(x,0)=w_{0}(x),& x\in\Omega. \end{cases}\displaystyle \end{aligned}$$
(2.4)

Applying the maximal Sobolev regularity ([18], Theorem 3.1) to h, and using the Hölder inequality, we have

$$\begin{aligned} \int_{0}^{T} \int_{\Omega}\bigl\vert \Delta h(x,s) \bigr\vert ^{r}&\le C_{r} \int_{0}^{T} \int_{\Omega}e^{\gamma rs}u^{r}+C_{r} \int_{0}^{T} \int_{\Omega}e^{\gamma rs}v^{r} \\ &\quad {}+C_{r} \bigl( \Vert w_{0} \Vert ^{r}_{L^{r}(\Omega)}+\Vert \Delta w_{0}\Vert ^{r}_{L^{r}(\Omega)} \bigr). \end{aligned}$$
(2.5)

Consequently, for any \(s_{0}>0\), replacing \(v(t)\) by \(v(t+s_{0})\), we prove (2.3). □

The following lemma, which can be proved by applying Moser-type iteration techniques, which can be found in [19], will be used to prove global existence and boundedness:

Lemma 2.3

Let \(N\ge1\), and suppose that there exists \(k_{0}\ge1\) such that \(k_{0}>N/2\) and

$$\begin{aligned} \sup_{t\in(0,T_{\max})}\bigl(\bigl\Vert u(\cdot, t) \bigr\Vert _{L^{k_{0}}(\Omega)}+ \bigl\Vert v(\cdot, t)\bigr\Vert _{L^{k_{0}}(\Omega)}\bigr)< \infty. \end{aligned}$$
(2.6)

Then \(T_{\max}=\infty\) and

$$\begin{aligned} \sup_{t>0} \bigl( \bigl\Vert u(\cdot, t) \bigr\Vert _{L^{\infty}(\Omega)}+\bigl\Vert v(\cdot, t) \bigr\Vert _{L^{\infty}(\Omega)}+ \bigl\Vert w( \cdot, t)\bigr\Vert _{L^{\infty}(\Omega)}\bigr)< \infty. \end{aligned}$$
(2.7)

3 Proof of Theorem 1.1

In this section, we prove our main result.

Lemma 3.1

Suppose \(\Omega\subset\mathbb{R}^{N}\) (\(N\ge3\)) is a bounded domain with smooth boundaries, \(\chi_{1}, \chi_{2}\in\mathbb{R}^{+}\). For any \(k>1\), \(\eta>0\) and \(s_{0}>0\), there exists \(\mu_{k, \eta}>0\) and \(C=C(k, \vert \Omega \vert , \mu_{1}, \mu_{2}, \chi_{1}, \chi_{2}, \eta, u_{0}, v_{0}, w_{0})>0\) such that if \(\min\{\mu_{1}, \mu_{2}\}>\mu_{k, \eta}\), then

$$\begin{aligned} \bigl\Vert u(\cdot, t) \bigr\Vert _{L^{k}(\Omega)}+\bigl\Vert v( \cdot, t)\bigr\Vert _{L^{k}(\Omega)}\le C \end{aligned}$$
(3.1)

for all \(t\in(s_{0},\infty)\).

Proof

We fix \(s_{0}\in(0,T_{\max})\) such that \(s_{0}\le1\). For any constant \(k>1\), we take \(u^{k-1}\) as a test function for the first equation in (1.1) and integrate by parts. Then we have

$$\begin{aligned} \frac{1}{k}\frac{d}{dt} \int_{\Omega}u^{k}&=-(k-1) \int_{\Omega}u^{k-2}\phi(u) \vert \nabla u \vert ^{2}+\chi_{1}(k-1) \int_{\Omega}u^{k-1}\nabla u\cdot\nabla w \\ &\quad{}+\mu_{1} \int_{\Omega}u^{k}-\mu_{1} \int_{\Omega}u^{k+1}-\mu_{1}a_{1} \int_{\Omega}u^{k}v \\ &\le\chi_{1}\frac{k-1}{k} \int_{\Omega}\nabla u^{k}\cdot\nabla w+\mu_{1} \int_{\Omega}u^{k}-\mu_{1} \int_{\Omega}u^{k+1}-\mu_{1}a_{1} \int_{\Omega}u^{k}v \\ &=-\chi_{1}\frac{k-1}{k} \int_{\Omega}u^{k}\Delta w+\mu_{1} \int_{\Omega}u^{k}-\mu_{1} \int_{\Omega}u^{k+1}-\mu_{1}a_{1} \int_{\Omega}u^{k}v \\ &\le-\frac{\gamma(k+1)}{k} \int_{\Omega}u^{k}-\chi_{1}\frac{k-1}{k} \int_{\Omega}u^{k}\Delta w \\ &\quad {}+ \biggl(\mu_{1}+ \frac{\gamma(k+1)}{k} \biggr) \int_{\Omega}u^{k}-\mu_{1} \int_{\Omega}u^{k+1} \end{aligned}$$
(3.2)

for all \(t\in(s_{0},T_{\max})\). Then Young’s inequality implies the following two inequalities for any \(\varepsilon>0\) (to be determined) and some constants \(c_{1}\) and \(c_{2}\):

$$\begin{aligned} \biggl(\mu_{1}+\frac{\gamma(k+1)}{k} \biggr) \int_{\Omega}u^{k}\le \varepsilon \int_{\Omega}u^{k+1}+c_{1} \vert \Omega \vert \end{aligned}$$
(3.3)

and

$$\begin{aligned} -\chi_{1}\frac{k-1}{k} \int_{\Omega}u^{k}\Delta w\le\chi_{1} \int_{\Omega}u^{k} \vert \Delta w \vert \le\eta \int_{\Omega}u^{k+1}+c_{2}\eta^{-k} \chi_{1}^{k+1} \int_{\Omega} \vert \Delta w \vert ^{k+1}, \end{aligned}$$
(3.4)

where \(c_{1}=c_{1}(\mu_{1}, \varepsilon, k, \gamma)=\frac{1}{k} (1+\frac{1}{k} )^{-(k+1)}\varepsilon^{-k} (\mu_{1}+\frac{\gamma(k+1)}{k} )^{k+1}\) and \(c_{2}=\sup_{k>1}\frac{1}{k} (1+\frac{1}{k} )^{-(k+1)}<\infty\). By substituting (3.3) and (3.4) into (3.2), we find that

$$\begin{aligned} \frac{d}{dt} \biggl(\frac{1}{k} \int_{\Omega}u^{k} \biggr)&\le -\gamma(k+1) \biggl( \frac{1}{k} \int_{\Omega}u^{k} \biggr)-(\mu_{1}- \varepsilon-\eta) \int_{\Omega}u^{k+1} \\ &\quad {}+c_{2}\eta^{-k}\chi_{1}^{k+1} \int_{\Omega}\vert \Delta w \vert ^{k+1}+c_{1} \vert \Omega\vert . \end{aligned}$$
(3.5)

Similarly, for some constants \(c_{3}\) and \(c_{4}\), we have

$$\begin{aligned} \frac{d}{dt} \biggl(\frac{1}{k} \int_{\Omega}v^{k} \biggr)&\le-\gamma(k+1) \biggl( \frac{1}{k} \int_{\Omega}v^{k} \biggr)-(\mu_{2}- \varepsilon-\eta) \int_{\Omega}v^{k+1} \\ &\quad {}+c_{4}\eta^{-k}\chi_{2}^{k+1} \int_{\Omega}\vert \Delta w \vert ^{k+1}+c_{3} \vert \Omega\vert . \end{aligned}$$
(3.6)

Applying the variation-of-constants formula to the above inequalities shows that

$$\begin{aligned} \frac{1}{k} \int_{\Omega}u^{k}(\cdot,t)&\le e^{-\gamma(k+1)(t-s_{0})} \frac{1}{k} \int_{\Omega}u^{k}(\cdot,s_{0})-( \mu_{1}-\varepsilon-\eta) \int_{s_{0}}^{t}e^{-\gamma (k+1)(t-s)} \int_{\Omega}u^{k+1} \\ &\quad{}+c_{2}\eta^{-k}\chi_{1}^{k+1} \int_{s_{0}}^{t}e^{-\gamma(k+1)(t-s)} \int _{\Omega}\vert \Delta w \vert ^{k+1}+c_{1} \vert \Omega\vert \int_{s_{0}}^{t}e^{-\gamma(k+1)(t-s)} \\ &\le-(\mu_{1}-\varepsilon-\eta)e^{-\gamma(k+1)t} \int_{s_{0}}^{t} \int_{\Omega}e^{\gamma(k+1)s} u^{k+1} \\ &\quad{}+c_{2}\eta^{-k}\chi_{1}^{k+1}e^{-\gamma(k+1)t} \int_{s_{0}}^{t} \int _{\Omega}e^{\gamma(k+1)s} \vert \Delta w \vert ^{k+1}+c_{5} \end{aligned}$$
(3.7)

and

$$\begin{aligned} \frac{1}{k} \int_{\Omega}v^{k}(\cdot,t) &\le-(\mu_{2}- \varepsilon-\eta)e^{-\gamma(k+1)t} \int_{s_{0}}^{t} \int_{\Omega}e^{\gamma(k+1)s} v^{k+1} \\ &\quad{}+c_{4}\eta^{-k}\chi_{2}^{k+1}e^{-\gamma(k+1)t} \int_{s_{0}}^{t} \int _{\Omega}e^{\gamma(k+1)s} \vert \Delta w \vert ^{k+1}+c_{6} \end{aligned}$$
(3.8)

for all \(t\in(s_{0},T_{\max})\), where

$$\begin{aligned} c_{5}=c_{1} \vert \Omega \vert \int_{s_{0}}^{t}e^{-\gamma(k+1)(t-s)}+\frac{1}{k} \int_{\Omega}u^{k}(\cdot,s_{0}) \end{aligned}$$

and

$$\begin{aligned} c_{6}=c_{3} \vert \Omega \vert \int_{s_{0}}^{t}e^{-\gamma(k+1)(t-s)}+\frac{1}{k} \int_{\Omega}v^{k}(\cdot,s_{0}) \end{aligned}$$

are independent of t. Now, we apply Lemma 2.2 to see that there is \(C_{k}>0\) such that

$$\begin{aligned} \int_{s_{0}}^{t} \int_{\Omega}e^{\gamma(k+1)s}\vert \Delta w\vert ^{k+1} &\le C_{k} \int_{s_{0}}^{t} \int_{\Omega}e^{\gamma (k+1)s}u^{k+1}+C_{k} \int_{s_{0}}^{t} \int_{\Omega}e^{\gamma (k+1)s}v^{k+1} \\ &\quad {}+C_{k} \bigl\Vert w(\cdot, s_{0}) \bigr\Vert ^{k+1}_{W^{2,k+1}(\Omega)}. \end{aligned}$$
(3.9)

Put the inequalities (3.7) and (3.8) together and apply (3.9); then we arrive at

$$\begin{aligned} &\frac{1}{k} \biggl( \int_{\Omega}u^{k}(\cdot,t)+ \int_{\Omega}v^{k}(\cdot,t) \biggr) \\ &\quad\le -\bigl(\mu_{1}-\varepsilon-\eta-c_{2} \eta^{-k}\chi_{1}^{k+1}C_{k}\bigr) \int_{s_{0}}^{t} \int _{\Omega}e^{\gamma(k+1)s} u^{k+1} \\ &\qquad{}-\bigl(\mu_{2}-\varepsilon-\eta-c_{4} \eta^{-k}\chi_{2}^{k+1}C_{k}\bigr) \int _{s_{0}}^{t} \int_{\Omega}e^{\gamma(k+1)s} v^{k+1}+c_{7} \end{aligned}$$
(3.10)

for all \(t\in(s_{0},T_{\max})\), with the constant \(c_{7}>0\) being independent of t.

Let \(\mu_{k,\eta}=\max\{\eta+c_{2}\eta^{-k}\chi_{1}^{k+1}C_{k}, \eta+c_{4}\eta^{-k}\chi_{2}^{k+1}C_{k}\}\), which is independent of ε. We can choose \(\varepsilon\in(0,\min\{\mu_{1},\mu_{2}\}-\mu_{k,\eta})\) such that

$$\begin{aligned} \mu_{1}-\varepsilon-\eta-c_{2}\eta^{-k} \chi_{1}^{k+1}C_{k}>0,\qquad\mu _{2}- \varepsilon-\eta-c_{4}\eta^{-k}\chi_{2}^{k+1}C_{k}>0. \end{aligned}$$

It entails

$$\begin{aligned} \frac{1}{k} \biggl( \int_{\Omega}u^{k}(\cdot,t)+ \int_{\Omega}v^{k}(\cdot,t) \biggr)\le c_{8} \end{aligned}$$
(3.11)

for all \(t\in(s_{0},T_{\max})\), with the constant \(c_{8}=c_{8}(\mu_{1}, \varepsilon, \eta, k, \gamma, w(s_{0}))\) being independent of t. This completes the proof. □

In order to prove Theorem 1.1, we should give an estimation for \((u,v.w)\) when \(t\in(0,s_{0})\). We know by Lemma 2.1 that \(u(\cdot,s_{0}), v(\cdot,s_{0}), w(\cdot,s_{0})\in C^{2}(\bar{\Omega})\) with \(\frac{\partial w(\cdot,s_{0})}{\partial n}=0\) on Ω, so that we can pick \(M>0\) such that

$$\begin{aligned} \textstyle\begin{cases} \sup_{0\le t\le s_{0}} \Vert u(\cdot,t) \Vert _{L^{\infty}(\Omega)}\le M,\qquad \sup_{0\le t\le s_{0}} \Vert v(\cdot,t) \Vert _{L^{\infty}(\Omega)}\le M,\\ \sup_{0\le t\le s_{0}} \Vert w(\cdot,t) \Vert _{L^{\infty}(\Omega)}\le M,\qquad \sup_{0\le t\le s_{0}}\Vert \Delta w(\cdot,t)\Vert _{L^{\infty}(\Omega)}\le M. \end{cases}\displaystyle \end{aligned}$$
(3.12)

Combining Lemma 3.1 with the estimates (3.12), we readily arrive at our main result.

Proof of Theorem 1.1

Let \(\mu_{0}=\inf_{\eta>0}\mu_{k_{0},\eta}\). We know by Lemma 3.1 and (3.12) that (2.6) holds when \(\min\{\mu_{1},\mu_{2}\}>\mu_{0}\), and hence (2.7) is true. Lemma (2.1) shows that \((u,v)\) is global. □

4 Conclusion

The paper considers a quasilinear fully parabolic two-species chemotaxis system of higher dimension. The existence of a unique global bounded classical solution of problem (1.1) is established under the assumption that the coefficients of the kinetic terms are large enough. We point out that the convexity of Ω and the assumption \(\gamma\ge\frac{1}{2}\), which are required in [17], are unnecessary in our theorem due to the technique used here. We also notice that the result of Theorem 1.1 is independent of the value of p and q in (1.1), and thus extends the result for the semilinear case.

References

  1. Osaki, K, Tsujikawa, T, Yagi, A, Mimura, M: Exponential attractor for a chemotaxis-growth system of equations. Nonlinear Anal. 51, 119-144 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  2. Winkler, M: Boundedness in the higher-dimensional parabolic-parabolic chemotaxis system with logistic source. Commun. Partial Differ. Equ. 35, 1516-1537 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  3. Yang, C, Cao, X, Jiang, Z, Zheng, S: Boundedness in a quasilinear fully parabolic Keller-Segel system of higher dimension with logistic source. J. Math. Anal. Appl. 430, 585-591 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  4. Negreanu, M, Tello, JI: On a two species chemotaxis model with slow chemical diffusion. SIAM J. Math. Anal. 46, 3761-3781 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  5. Mizukami, M, Yokota, T: Global existence and asymptotic stability of solutions to a twospecies chemotaxis system with any chemical diffusion. J. Differ. Equ. 261, 2650-2669 (2016)

    Article  MATH  Google Scholar 

  6. Nagai, T: Blowup of nonradial solutions to parabolic-elliptic systems modeling chemotaxis in two-dimensional domains. J. Inequal. Appl. 6, 37-55 (2001)

    MathSciNet  MATH  Google Scholar 

  7. Winkler, M, Tao, Y: Finite-time blow-up in the higher-dimensional parabolic-parabolic Keller-Segel system. J. Math. Pures Appl. (9) 100, 748-767 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  8. Biler, P, Espejo Arenas, EE, Guerra, I: Blowup in higher dimensional two species chemotactic systems. Commun. Pure Appl. Anal. 12, 89-98 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  9. Biler, P, Guerra, I: Blowup and self-similar solutions for two-component drift-diffusion systems. Nonlinear Anal. 75, 5186-5193 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  10. Conca, C, Espejo Arenas, EE: Threshold condition for global existence and blow-up to a radially symmetric drift-diffusion system. Appl. Math. Lett. 25, 352-356 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  11. Conca, C, Espejo Arenas, EE, Vilches, K: Remarks on the blow-up and global existence for a two species chemotactic Keller-Segel system in \(\mathbb{R}^{2}\). Eur. J. Appl. Math. 22, 553-580 (2011)

    Article  MATH  Google Scholar 

  12. Espejo Arenas, EE, Stevens, A, Velazquez, JJL: Simultaneous finite time blow-up in a two-species model for chemotaxis. Analysis 29, 317-338 (2009)

    MathSciNet  MATH  Google Scholar 

  13. Tello, JI, Winkler, M: Stabilization in a two-species chemotaxis system with a logistic source. Nonlinearity 25, 1413-1425 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  14. Black, T, Lankeit, J, Mizukami, M: On the weakly competitive case in a two-species chemotaxis model. IMA J. Appl. Math. 81, 860-876 (2016)

    Article  MathSciNet  Google Scholar 

  15. Stinner, CH, Tello, JI, Winkler, M: Competitive exclusion in a two-species chemotaxis model. J. Math. Biol. 68, 1607-1626 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  16. Bai, XL, Winkler, M: Equilibration in a fully parabolic two-species chemotaxis system with competitive kinetics. Indiana Univ. Math. J. 65, 553-583 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  17. Lin, K, Mu, CL, Wang, LC: Boundedness in a two-species chemotaxis system. Math. Methods Appl. Sci. 38, 5085-5096 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  18. Hieber, M, Prüss, J: Heat kernels and maximal \(l^{p}-l^{q}\) estimate for parabolic evolution equations. Commun. Partial Differ. Equ. 22, 1647-1669 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  19. Tao, Y, Winkler, M: Boundedness in a quasilinear parabolic-parabolic Keller-Segel system with subcritical sensitivity. J. Differ. Equ. 252, 692-715 (2012)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to express sincere gratitude to the referees for their valuable suggestions and comments on the original manuscript. The first author is supported by NSF of China (11601140) and the Scientific Research Fund of the Hunan Provincial Education Department (16B047). The second author is supported by NSF of China (11501438).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Shuangshuang Zhou.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zhou, S., Yang, C. Boundedness in a quasilinear fully parabolic two-species chemotaxis system of higher dimension. Bound Value Probl 2017, 115 (2017). https://doi.org/10.1186/s13661-017-0846-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-017-0846-1

MSC

Keywords