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

Shuangshuang Zhou; Chunxiao Yang

doi:10.1186/s13661-017-0846-1

Research
Open Access

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

Shuangshuang Zhou^{1, 2}Email author and
Chunxiao Yang³

Boundary Value Problems20172017:115

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

Received: 24 May 2017
Accepted: 24 July 2017
Published: 14 August 2017

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.

Keywords

boundedness
chemotaxis
two-species
quasilinear fully parabolic

MSC

92C17
35K55
35K35
35B40

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 ([8–12]).

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.

Declarations

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

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.

Authors’ Affiliations

(1)

School of Science, Hunan City University, Yiyang, 413000, P.R. China

(2)

School of Mathematics and Statistics, Central South University, Changsha, 410083, P.R. China

(3)

School of Science, Xi’an University of Architecture and Technology, Xi’an, 710055, P.R. China

References

Osaki, K, Tsujikawa, T, Yagi, A, Mimura, M: Exponential attractor for a chemotaxis-growth system of equations. Nonlinear Anal. 51, 119-144 (2002) MathSciNetView ArticleMATHGoogle Scholar
Winkler, M: Boundedness in the higher-dimensional parabolic-parabolic chemotaxis system with logistic source. Commun. Partial Differ. Equ. 35, 1516-1537 (2010) MathSciNetView ArticleMATHGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
Negreanu, M, Tello, JI: On a two species chemotaxis model with slow chemical diffusion. SIAM J. Math. Anal. 46, 3761-3781 (2014) MathSciNetView ArticleMATHGoogle Scholar
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) View ArticleMATHGoogle Scholar
Nagai, T: Blowup of nonradial solutions to parabolic-elliptic systems modeling chemotaxis in two-dimensional domains. J. Inequal. Appl. 6, 37-55 (2001) MathSciNetMATHGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
Biler, P, Espejo Arenas, EE, Guerra, I: Blowup in higher dimensional two species chemotactic systems. Commun. Pure Appl. Anal. 12, 89-98 (2013) MathSciNetView ArticleMATHGoogle Scholar
Biler, P, Guerra, I: Blowup and self-similar solutions for two-component drift-diffusion systems. Nonlinear Anal. 75, 5186-5193 (2012) MathSciNetView ArticleMATHGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
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) View ArticleMATHGoogle Scholar
Espejo Arenas, EE, Stevens, A, Velazquez, JJL: Simultaneous finite time blow-up in a two-species model for chemotaxis. Analysis 29, 317-338 (2009) MathSciNetMATHGoogle Scholar
Tello, JI, Winkler, M: Stabilization in a two-species chemotaxis system with a logistic source. Nonlinearity 25, 1413-1425 (2012) MathSciNetView ArticleMATHGoogle Scholar
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) MathSciNetView ArticleGoogle Scholar
Stinner, CH, Tello, JI, Winkler, M: Competitive exclusion in a two-species chemotaxis model. J. Math. Biol. 68, 1607-1626 (2014) MathSciNetView ArticleMATHGoogle Scholar
Bai, XL, Winkler, M: Equilibration in a fully parabolic two-species chemotaxis system with competitive kinetics. Indiana Univ. Math. J. 65, 553-583 (2016) MathSciNetView ArticleMATHGoogle Scholar
Lin, K, Mu, CL, Wang, LC: Boundedness in a two-species chemotaxis system. Math. Methods Appl. Sci. 38, 5085-5096 (2015) MathSciNetView ArticleMATHGoogle Scholar
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) MathSciNetView ArticleMATHGoogle Scholar
Tao, Y, Winkler, M: Boundedness in a quasilinear parabolic-parabolic Keller-Segel system with subcritical sensitivity. J. Differ. Equ. 252, 692-715 (2012) MathSciNetView ArticleMATHGoogle Scholar