Skip to main content

Global solutions to a two-species chemotaxis system with singular sensitivity and logistic source


This paper is concerned with a chemotaxis system with singular sensitivity and logistic source,

$$\begin{aligned} \textstyle\begin{cases} u_{t}=\Delta u-\chi _{1}\nabla \cdot (\frac{u}{w}\nabla w)+\mu _{1}u-\mu _{1}u^{\alpha }, &x\in \varOmega , t>0, \\ \upsilon _{t}=\Delta v-\chi _{2}\nabla \cdot ( \frac{\upsilon }{w}\nabla w)+\mu _{2}\upsilon -\mu _{2}\upsilon ^{\beta } , &x\in \varOmega , t>0, \\ w_{t}=\Delta w-(u+\upsilon )w, &x\in \varOmega , t>0, \end{cases}\displaystyle \end{aligned}$$

under the homogeneous Neumann boundary conditions and for widely arbitrary positive initial data in a bounded domain \(\varOmega \subset \mathbb{R}^{n}\ (n\geq 1)\) with smooth boundary, where \(\chi _{i}\), \(\mu _{i}>0\) \((i=1, 2)\) and α, \(\beta >1\). It is proved that there exists a global classical solution if \(\max \{\chi _{1}, \chi _{2}\}<\sqrt{\frac{2}{n}}, \min \{\mu _{1}, \mu _{2}\}>\frac{n-2}{n}, \alpha =\beta =2\) for \(n\geq 2\) or any \(\chi _{i}>0\) \((i=1,2)\), \(\mu _{i}>0 \) \((i=1,2)\), α, \(\beta >1\) for \(n=1\).


The chemotaxis system describes a part of the life cycle of cellular slime molds with chemotaxis. In more detail, slime molds move towards higher concentration of the chemical substance when they plunge into hunger. After the pioneering work of Keller–Segel [8], in a variety of work the classical Keller–Segel model and its variations were investigated.

Particularly, for the chemotaxis system with a consumption mechanism,

$$\begin{aligned} \textstyle\begin{cases} u_{t}=\Delta u-\nabla \cdot (u\phi (\upsilon )\nabla \upsilon ), \\ \upsilon _{t}=\Delta \upsilon -u\upsilon , \end{cases}\displaystyle \end{aligned}$$

in the case of \(\phi (\upsilon )=1\), it is well known that for all suitably regular initial data \((u_{0}, v_{0})\) an associated Neumann-type initial-boundary value problem, posed in a smooth n-dimensional domain, admits a global bounded classical solution if \(n=2\) and an asymptotically smooth weak solution for \(n=3\) [20]. When \(\phi (\upsilon )=\frac{\chi }{\upsilon }\), it has been shown in [28] that the system possesses a global generalized solution with \(\upsilon \rightarrow 0\) in \(L^{p}(\varOmega )\) as \(t\rightarrow 0\) in the two-dimensional case. A prototypical variant of model (1.1) in which a logistic source function \(f(u)\) is considered in the first equation, \(u_{t}=\Delta u-\nabla \cdot (u \phi (\upsilon )\nabla \upsilon )+f(u)\), has also been investigated in the past years. When \(\phi (\upsilon )\) is a constant and \(f(u)= \kappa u-\mu u^{2}\), [11] established the existence of a global bounded classical solution for suitably large μ and proved that for any \(\mu >0\) there exists a weak solution in the three-dimensional case. When \(\phi (\upsilon )=\frac{\chi }{\upsilon }\) and \(f(u)=\kappa u-\mu u^{2}\), for any n-dimensional domain (\(n \geq 2\)), there exists a global classical solution to (1.1) provided that \(0<\chi <\sqrt{\frac{2}{n}}\), \(\mu >\frac{n-2}{n}\) [10]. When \(\phi (s)\in C^{1}(0, \infty )\) satisfying \(\phi (s) \rightarrow \infty \) as \(s\rightarrow 0\), for the more general logistic source \(f(u)=ru-\mu u^{k}\) \((r, \mu >0, k>1)\), it has been shown in [31] that the problem (1.1) possesses a unique positive global classical solution provided \(k>1\) with \(n=1\) or \(k>1+ \frac{n}{2}\) with \(n\geq 2\). Besides the above work, global solutions for the corresponding variant of (1.1) such as coupled chemotaxis–fluid system have also been investigated (see e.g. [17, 18, 24, 25, 27] and the references therein) by many authors.

In recent years, multi-species chemotaxis systems have been studied (see e.g. [1, 4, 12, 13, 15, 16, 21]). For instance, the following two-species chemotaxis model:

$$\begin{aligned} \textstyle\begin{cases} u_{t}=\Delta u-\chi _{1}\nabla \cdot (u\nabla w), &x\in \varOmega , t>0, \\ \upsilon _{t}=\Delta \upsilon -\chi _{2}\nabla \cdot (\upsilon \nabla w),&x \in \varOmega , t>0, \\ w_{t}=\Delta w-\beta w+\alpha _{1}u+\alpha _{2}\upsilon ,&x\in \varOmega , t>0, \\ \frac{\partial u}{\partial v}=\frac{\partial \upsilon }{\partial v}=\frac{ \partial w}{\partial v}=0,&x\in \partial \varOmega , t>0, \\ u(x, 0)=u_{0}(x),\qquad\upsilon (x, 0)=\upsilon _{0}(x), \qquad w(x, 0)=w_{0}(x), &x \in \varOmega , \end{cases}\displaystyle \end{aligned}$$

has been researched by some authors, where \(\chi _{1}\), \(\chi _{2}\), β, \(\alpha _{1}\), \(\alpha _{2}\) are positive constants. [12] proved that, for any \(m_{i}>0\) \((i=1, 2)\), there exists radially symmetric initial data \((u_{0}, \upsilon _{0}, w_{0})\in (C ^{0}(\varOmega ))^{2}\times W^{1, \infty }(\varOmega )\) with \(m_{1}= \int _{\varOmega }u_{0}\), \(m_{2}=\int _{\varOmega }\upsilon _{0}\) such that the corresponding solution blows up in finite time when Ω is a ball in \(\mathbb{R}^{n}\) \((n\geq 3)\). In radial symmetric situation, Espejo Arenas et al. [4] proved that there is simultaneous blow-up for both chemotactic species in the ball \(B_{R}(0)\) of \(\mathbb{R} ^{2}\). In higher dimensions, blow-up of the parabolic–elliptic counterpart of (1.2) has been studied by Biler et al. [1].

A more general form of two-species chemotaxis model has been studied by Mizukami and Yokota. They considered the two-species chemotaxis model as follows:

$$\begin{aligned} \textstyle\begin{cases} u_{t}=\Delta u-\nabla \cdot (u\phi _{1}(w)\nabla w)+\mu _{1}u(1-u), &x \in \varOmega , t>0, \\ \upsilon _{t}=\Delta \upsilon -\nabla \cdot (\upsilon \phi _{2}(w) \nabla w)+\mu _{2}\upsilon (1-\upsilon ),&x\in \varOmega , t>0, \\ w_{t}=d\Delta w+h(u,\upsilon , w),&x\in \varOmega , t>0, \\ \frac{\partial u}{\partial \nu }=\frac{\partial \upsilon }{\partial \nu }=\frac{\partial w}{\partial \nu }=0,&x\in \partial \varOmega , t>0, \\ u(x,0)=u_{0}(x), \qquad \upsilon (x,0)=\upsilon _{0}(x),\qquad w(x,0)=w_{0}(x),&x \in \varOmega , \end{cases}\displaystyle \end{aligned}$$

where \(d\geq 0\), \(\mu _{i}>0\) \((i=1, 2)\), \(\phi _{i}\in C^{1+\theta }([0, \infty ))\cap L^{1}(0,\infty )\) \((i=1, 2)\) for some \(\theta >0\). They proved in [14] that there exists an exact pair \((u, \upsilon , w)\) of nonnegative functions which is uniformly bounded.

Inspired by the above-mentioned work, in this paper, we study the initial-boundary value problem of a chemotaxis system with singular sensitivity and logistic source as

$$\begin{aligned} \textstyle\begin{cases} u_{t}=\Delta u-\chi _{1}\nabla \cdot (\frac{u}{w}\nabla w)+\mu _{1}u-\mu _{1}u^{\alpha }, &x\in \varOmega , t>0, \\ \upsilon _{t}=\Delta \upsilon -\chi _{2}\nabla \cdot ( \frac{\upsilon }{w}\nabla w)+\mu _{2}\upsilon -\mu _{2}\upsilon ^{\beta } , &x\in \varOmega , t>0, \\ w_{t}=\Delta w-(u+\upsilon )w, &x\in \varOmega , t>0, \\ \frac{\partial u}{\partial \nu }=\frac{\partial \upsilon }{\partial \nu }=\frac{\partial w}{\partial \nu }=0, &x\in \partial \varOmega , t>0, \\ u(x,0)=u_{0}(x),\qquad \upsilon (x,0)=\upsilon _{0}(x),\qquad w(x,0)=w_{0}(x), &x\in \varOmega , \end{cases}\displaystyle \end{aligned}$$

in a bounded domain \(\varOmega \subset \mathbb{R}^{n}\ (n\in \mathbb{N})\) with smooth boundary ∂Ω, where \(\chi _{1}, \chi _{2}, \mu _{1}, \mu _{2}\) are positive constants, \(\alpha >1, \beta >1\) and ν is the outward normal vector to ∂Ω. The functions \(u=u(x,t)\) and \(\upsilon =\upsilon (x,t)\) denote, respectively, the unknown population density of the two species, and \(w=w(x,t)\) represents the concentration of the chemoattractant. In contrast to the study of [14], we will consider a singular sensitivity \(\frac{\chi _{i}}{w}\), which is suggested by the Weber–Fechner law of stimulus perception (see [9]) and supported by experimental ([7]) and theoretical ([29]) evidence. Moreover, the exponents α and β do not necessarily be 2. We shall establish the global existence of this system.

Throughout this paper, we suppose that the initial data \(u_{0}, \upsilon _{0}, w_{0}\) satisfy

$$\begin{aligned} \textstyle\begin{cases} u_{0}\in C^{0}(\overline{\varOmega }), & { u_{0}\ge 0 \text{ and } u_{0}\not \equiv 0 } \text{ in } \overline{\varOmega }, \\ v_{0}\in C^{0}(\overline{\varOmega }), & { v_{0}\ge 0 \text{ and } v_{0}\not \equiv 0 } \text{ in } \overline{\varOmega }, \\ w_{0}\in W^{1,\infty }(\varOmega ), & { w_{0}> 0 } \text{ in } \overline{\varOmega }. \end{cases}\displaystyle \end{aligned}$$

Our main results read as follows.

Theorem 1.1

Let \(\varOmega \subseteq \mathbb{R}^{n}\) \((n\geq 2)\) be a bounded domain with smooth boundary. Assume that

$$ \max \{\chi _{1}, \chi _{2}\}< \sqrt{ \frac{2}{n}},\qquad \min \{\mu _{1}, \mu _{2}\}> \frac{n-2}{n},\qquad \alpha =\beta =2. $$

Then for any initial data \((u_{0}, \upsilon _{0}, w_{0})\) as in (1.5) there is a global classical solution \((u, \upsilon , w)\) to (1.4).

Theorem 1.2

Let \(\varOmega \subseteq \mathbb{R}\) be an open, bounded interval, \(\chi _{i}>0\) \((i=1,2)\), \(\mu _{i}>0\) \((i=1,2)\) and α, \(\beta >1\). Then for any initial data \((u_{0}, \upsilon _{0}, w_{0})\) as in (1.5) there exists a global classical solution \((u, \upsilon ,w)\) to (1.4).

In the present paper, we shall modify the method in [10, 31] to obtain global existence of the solution. Precisely speaking, we first try to derive the lower bound estimate of w, via building the upper bound estimated of \(z:=-\ln (\frac{w}{\|w_{0}\| _{L^{\infty }(\varOmega )}})\), and then obtain estimates for \(\|u\|_{L ^{p}(\varOmega )}\) and \(\|\upsilon \|_{L^{p}(\varOmega )}\) for some \(p>1\), \(p>\frac{n}{2}\).

Before we go to the details of our analysis, let us point out that the global existence, boundedness and stabilization of (weak) solutions to the two-species chemotaxis–fluid system have also been established (see e.g. [2, 5, 6, 12, 19]).

Some preliminaries

We begin with the local existence of classical solutions to the system (1.4), the proof of which is standard. Refer to, e.g., [30], Lemma 2.1, for the details.

Lemma 2.1

Let \(\varOmega \subseteq \mathbb{R}^{n}\) \((n\geq 1)\) be a bounded, smooth domain. Then, for any \(u_{0}\), \(\upsilon _{0}\), \(w_{0}\) satisfying (1.5), there exist \(T_{\max }\in (0,+\infty ]\) and a unique pair of functions \((u, \upsilon , w)\) with

$$\begin{aligned} &u\in C^{0} \bigl(\overline{\varOmega }\times [0,T_{\mathrm{max}} ) \bigr) \cap C^{2,1} \bigl(\overline{\varOmega }\times (0,T_{\mathrm{max}}) \bigr), \\ &\upsilon \in C^{0} \bigl(\overline{\varOmega }\times [0,T_{\mathrm{max}}) \bigr)\cap C^{2,1} \bigl(\overline{\varOmega } \times (0,T_{\mathrm{max}}) \bigr), \\ &w\in C^{0} \bigl(\overline{\varOmega }\times [0,T_{\mathrm{max}} ) \bigr) \cap C^{2,1} \bigl(\overline{\varOmega }\times (0,T_{\mathrm{max}}) \bigr) \cap L^{\infty }_{\mathrm{loc}} \bigl([0,T_{\max });W^{1,\infty }( \varOmega ) \bigr), \end{aligned}$$

solving (1.4) in the classical sense with \(u, \upsilon , w>0\) in \(\overline{\varOmega }\times (0,T_{\max })\) and if \(T_{\mathrm{max}}< \infty \), then

$$ \bigl\Vert u(\cdot ,t) \bigr\Vert _{L^{\infty }(\varOmega )}+ \bigl\Vert \upsilon ( \cdot ,t) \bigr\Vert _{L^{ \infty }(\varOmega )}+ \bigl\Vert w(\cdot ,t) \bigr\Vert _{W^{1,\infty }(\varOmega )}\rightarrow \infty $$

as \(t\rightarrow T_{\mathrm{max}}\).

The following mass-preserving property, which is also frequently used in the study of some other chemotaxis systems (see e.g. [22, 23] and the references therein), can be easily obtained.

Lemma 2.2

If (1.5) holds, then the solution of (1.4) satisfies

$$ \bigl\Vert u(\cdot ,t) \bigr\Vert _{L^{1}(\varOmega )}\leq m_{1}, \qquad \bigl\Vert \upsilon (\cdot ,t) \bigr\Vert _{L^{1}(\varOmega )}\leq m_{2},\quad t\in [0,T_{\mathrm{max}}), $$

for some \(m_{1}>0, m_{2}>0\).


As \(\alpha >1\), we can easily obtain from the first equation in (1.4) by using Hölder’s inequality that

$$\begin{aligned} \frac{d}{dt} \int _{\varOmega }u\,dx &=\mu _{1} \int _{\varOmega }u\,dx-\mu _{1} \int _{\varOmega }u^{\alpha }\,dx \\ &\leq \mu _{1} \int _{\varOmega }u\,dx-\frac{\mu _{1}}{ \vert \varOmega \vert ^{\alpha -1}}\biggl( \int _{\varOmega }u\,dx\biggr)^{\alpha },\quad t\in (0, T_{\max }), \end{aligned}$$

which yields the left-hand inequality of (2.1) by the Bernoulli inequality ([3], Lemma 1.2.4). The right-hand inequality of (2.1) can be quickly proved in the same way. □

Also for w the differential equation directly entails some decay properties, as follows.

Lemma 2.3

For every \(p\in [1, \infty )\), the map \((0,T_{\max })\ni t\mapsto \| w( \cdot ,t)\|^{p}_{L^{p}(\varOmega )}\) is monotone decreasing. In particular, \(\|w(\cdot ,t)\|_{L^{p}(\varOmega )}\leq \|w_{0}\|_{L^{P}(\varOmega )}\) for all \(t\in [0,T_{\max })\).


It is easy to see from the third equation in (1.4) that

$$\begin{aligned} \frac{d}{dt} \int _{\varOmega }w^{p} &= p \int _{\varOmega }w^{p-1}w_{t} \\ &= p \int _{\varOmega }w^{p-1}\Delta w-p \int _{\varOmega }w^{p}u-p \int _{\varOmega }w^{p}\upsilon \\ &=-p(p-1) \int _{\varOmega }w^{p-2} \vert \nabla w \vert ^{2}-p \int _{\varOmega }w^{p}u-p \int _{\varOmega }w^{p}\upsilon \leq 0, \end{aligned}$$

due to \(u, \upsilon , w>0\). □

Lemma 2.4

\(\|w(\cdot ,t)\|_{L^{\infty }(\varOmega )}\leq \|w_{0}\|_{L^{\infty }( \varOmega )}\) for every \(t\in [0,T_{\max })\).


The consequence can be obtained by the comparison theorem (Theorem B.1 of [10]). □

Lemma 2.5

Let \(z:=-\ln (\frac{w}{\|w_{0}\|_{L^{\infty }(\varOmega )}})\). Then we have \(z\geq 0\) and \(z_{t}=\Delta z-|\nabla z|^{2}+u+\upsilon \) on \(\varOmega \times (0,T_{\max })\).


According to Lemma 2.4, we know \(\frac{w}{\|w_{0}\| _{L^{\infty }(\varOmega )}}\leq 1\) for \((x, t)\in (\varOmega \times (0, T _{\max }))\) and thus \(z\geq 0\). Moreover, on \(\varOmega \times (0,T_{ \max })\),

$$\begin{aligned} &z_{t}=-\frac{ \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}w_{t}}{w \Vert w_{0} \Vert _{L^{ \infty }(\varOmega )}}=-\frac{w_{t}}{w}, \\ &\nabla z=-\frac{ \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}\nabla w}{w \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}}=-\frac{\nabla w}{w}, \end{aligned}$$

which entails

$$\begin{aligned} \Delta z=\nabla \cdot \nabla z=\nabla \cdot \biggl(- \frac{\nabla w}{w} \biggr)=-\frac{\Delta w}{w}+\frac{ \vert \nabla w \vert ^{2}}{w ^{2}}=-\frac{\Delta w}{w}+ \vert \nabla z \vert ^{2}. \end{aligned}$$

Together with \(w_{t}=\Delta w-(u+v)w\) this proves

$$\begin{aligned} z_{t}=-\frac{w_{t}}{w}=- \frac{\Delta w}{w}+u+\upsilon =\Delta z- \vert \nabla z \vert ^{2}+u+\upsilon \end{aligned}$$

on \(\varOmega \times (0,T_{\max })\). □

Accordingly, the pair \((u, \upsilon , z)\) solves the PDE system

$$ \textstyle\begin{cases} u_{t}=\Delta u+\chi _{1}\nabla \cdot (u\nabla z)+\mu _{1}u-\mu _{1}u^{ \alpha }, &x\in \varOmega , t>0, \\ \upsilon _{t}=\Delta \upsilon +\chi _{2}\nabla \cdot (\upsilon \nabla z)+ \mu _{2}\upsilon -\mu _{2}\upsilon ^{\beta } , &x\in \varOmega , t>0, \\ z_{t}=\Delta z- \vert \nabla z \vert ^{2}+u+\upsilon , &x\in \varOmega , t>0, \\ \frac{\partial u}{\partial \nu }=\frac{\partial \upsilon }{\partial \nu }=\frac{\partial z}{\partial \nu }=0, &x\in \partial \varOmega , t>0, \\ u(x,0)=u_{0}(x),\qquad \upsilon (x,0)=\upsilon _{0}(x),\\ z(x,0)=z_{0}(x):=-\ln \frac{w_{0}}{ \Vert w_{0} \Vert _{L^{\infty }( \varOmega )}}, &x\in \varOmega. \end{cases} $$

For solution \((u, \upsilon , z)\) of the system (2.3), we present the following proposition.

Lemma 2.6

For any \(T\leq T_{\max }\), \(T<\infty \), if there are a constant \(C=C(T)>0\) and some \(p\geq 1\), satisfying \(p>\frac{n}{2}\), with \(\|u(\cdot ,t)\|_{L^{p}}+\|\upsilon (\cdot ,t)\|_{L^{p}}\leq C\) on \((0,T)\), then z is bounded on \(\varOmega \times (0,T)\).


By the variation-of-constants formula, z can be represented as

$$\begin{aligned} z(\cdot ,t) &=e^{t\Delta }z_{0}+ \int ^{t}_{0}e^{(t-s)\Delta } \bigl(u( \cdot ,s)+\upsilon (\cdot ,s)- \vert \nabla z \vert ^{2} \bigr)\,ds \\ &\leq e^{t\Delta }z_{0}+ \int ^{t}_{0}e^{(t-s)\Delta }u(\cdot ,s)\,ds+ \int ^{t}_{0}e^{(t-s)\Delta }\upsilon (\cdot ,s)\,ds, \quad t\in (0,T), \end{aligned}$$

for \(-|\nabla z(\cdot ,s)|^{2}\leq 0\) immediately implies \(e^{(t-s) \Delta } (-|\nabla z(\cdot ,s)|^{2} )\leq 0\). With this representation and semigroup estimates as in [26], Lemma 1.3, we obtain \(c_{1}>0\) such that for all \(t\in (0, T)\)

$$\begin{aligned} & \bigl\Vert z(\cdot ,t) \bigr\Vert _{L^{\infty }(\varOmega )} \\ &\quad\leq \bigl\Vert e^{t\Delta }z_{0} \bigr\Vert _{L^{\infty }(\varOmega )}+ \int ^{t}_{0} \bigl\Vert e^{(t-s)\Delta }u( \cdot ,s) \bigr\Vert _{L^{\infty }(\varOmega )}\,ds+ \int ^{t}_{0} \bigl\Vert e^{(t-s)\Delta } \upsilon (\cdot ,s) \bigr\Vert _{L^{ \infty }(\varOmega )}\,ds \\ &\quad\leq \Vert z_{0} \Vert _{L^{\infty }(\varOmega )}+ \int ^{t}_{0}c_{1} \bigl(1+(t-s)^{- \frac{n}{2p}} \bigr) \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{p}(\varOmega )}\,ds \\ &\qquad{}+ \int ^{t}_{0}c_{1} \bigl(1+(t-s)^{-\frac{n}{2p}} \bigr) \bigl\Vert \upsilon (\cdot ,s) \bigr\Vert _{L^{p}(\varOmega )}\,ds \\ &\quad\leq \Vert z_{0} \Vert _{L^{\infty }(\varOmega )}+2c_{1}C \int ^{T}_{0} \bigl(1+(t-s)^{-\frac{n}{2p}} \bigr)\,ds< \infty , \end{aligned}$$

since \(p>\frac{n}{2}\) implies that \(-\frac{n}{2p}>-1\) and thus finiteness of the integral. □

From the above lemma, we can obtain the following estimate for w.

Lemma 2.7

For any \(T\leq T_{\max }\), \(T<\infty \), if there are a constant \(C=C(T)>0\) and some \(p\geq 1\), \(p>\frac{n}{2}\), with \(\|u(\cdot ,t)\| _{L^{p}}+\|\upsilon (\cdot ,t)\|_{L^{p}}\leq C\) on \((0,T)\), then there are \(d=d(T)>0\), such that \(w\geq d\) and in particular \(\frac{1}{w} \leq \frac{1}{d}\) on \(\varOmega \times (0,T)\).


By Lemma 2.6 there are \(C=C(T)>0\) with \(z\leq C\) on \(\varOmega \times (0,T)\). From the definition \(z:=-\ln (\frac{w}{\|w_{0} \|_{L^{\infty }(\varOmega )}})\), we directly obtain \(w\geq \Vert w _{0} \Vert _{L^{\infty }(\varOmega )}e^{-C}=:d>0\) on \(\varOmega \times (0,T)\). □

Global existence for n-dimensional case \((n\geq 2)\)

Now we deal with the global solutions of (1.4) when \(n\geq 2, \alpha =\beta =2\).

Lemma 3.1

Let \(T\in (0,T_{\max }]\), \(T<\infty \), \(r, p\in [1,\infty ]\) and suppose

$$\begin{aligned} \frac{1}{2}+\frac{n}{2}\biggl(\frac{1}{p}- \frac{1}{r}\biggr)< 1. \end{aligned}$$

Then there is \(C>0\) such that for all \(t\in (0,T)\) we have

$$\begin{aligned} \bigl\Vert \nabla w(\cdot ,t) \bigr\Vert _{L^{r}(\varOmega )}\leq C \Bigl(1+ \sup_{s\in (0,t)} \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{p}(\varOmega )}+\sup_{s\in (0,t)} \bigl\Vert \upsilon (\cdot ,s) \bigr\Vert _{L^{p}(\varOmega )} \Bigr). \end{aligned}$$


First let \(p\leq r\).

Due to the variation-of-constants formula, for all \(t\in (0,T)\) we have

$$ \bigl\Vert \nabla w(\cdot ,t) \bigr\Vert _{L^{r}(\varOmega )}\leq \bigl\Vert \nabla e^{t\Delta }w _{0} \bigr\Vert _{L^{r}(\varOmega )}+ \int ^{t}_{0} \bigl\Vert \nabla e^{(t-s)\Delta } \bigl((u+\upsilon )w \bigr) \bigr\Vert _{L^{r}(\varOmega )}\,ds $$

and the semigroup estimates of [26], Lemma 1.3, entail the existence of \(c_{1}>0\) and \(\lambda >0\) such that

$$ \bigl\Vert \nabla e^{t\triangle }w_{0} \bigr\Vert _{L^{r}(\varOmega )}\leq c_{1} $$


$$\begin{aligned} & \bigl\Vert \nabla e^{(t-s)\Delta }\bigl((u+\upsilon )w\bigr) \bigr\Vert _{L^{r}(\varOmega )} \\ &\quad\leq c_{1} \bigl(1+(t-s)^{-\frac{1}{2}-\frac{n}{2}(\frac{1}{p}- \frac{1}{r})} \bigr) e^{-\lambda (t-s)} \bigl\Vert (u+\upsilon )w \bigr\Vert _{L^{p}( \varOmega )} \\ &\quad\leq c_{1} \bigl(1+(t-s)^{-\frac{1}{2}-\frac{n}{2}(\frac{1}{p}- \frac{1}{r})} \bigr)e^{-\lambda (t-s)} \Vert u+\upsilon \Vert _{L^{p}(\varOmega )} \Vert w \Vert _{L^{\infty }(\varOmega )} \\ &\quad\leq c_{1} \bigl(1+(t-s)^{-\frac{1}{2}-\frac{n}{2}(\frac{1}{p}- \frac{1}{r})} \bigr)e^{-\lambda (t-s)} \bigl( \Vert u \Vert _{L^{p}(\varOmega )}+ \Vert \upsilon \Vert _{L^{p}(\varOmega )} \bigr) \Vert w_{0} \Vert _{L^{\infty }(\varOmega )} \end{aligned}$$

hold for all \(t\in (0,T)\), \(s\leq t\), where in the last step we have employed Lemma 2.4. Together this results in

$$\begin{aligned} &\bigl\Vert \nabla w(\cdot ,t) \bigr\Vert _{L^{r}(\varOmega )} \\ &\quad\leq c_{1} +c_{1} \Vert w_{0} \Vert _{L^{\infty }(\varOmega )} \Bigl(\sup_{s\in (0,t)} \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{p}(\varOmega )}+\sup_{s\in (0,t)} \bigl\Vert \upsilon (\cdot ,s) \bigr\Vert _{L^{p}(\varOmega )} \Bigr) \\ & \qquad{}\times \int ^{t}_{0} \bigl(1+(t-s)^{-\frac{1}{2}-\frac{n}{2}( \frac{1}{p}-\frac{1}{r})} \bigr)e^{-\lambda (t-s)}\,ds \end{aligned}$$

for all \(t\in (0,T)\) and hence in the claim, because the integral \(\int ^{\infty }_{0} (1+(t-s)^{-\frac{1}{2}-\frac{n}{2}( \frac{1}{p}-\frac{1}{r})} )\times e^{-\lambda (t-s)}\,ds\) is finite.

For \(p>r\) the claim follows from the previous considerations together with Hölder’s inequality. For some \(c_{2}\), \(c_{3}\) we have

$$\begin{aligned} &\bigl\Vert \nabla w(\cdot ,t) \bigr\Vert _{L^{r}(\varOmega )} \\ &\quad\leq c_{2} \bigl\Vert \nabla w(\cdot ,t) \bigr\Vert _{L^{p}(\varOmega )} \\ &\quad\leq c_{3} \Bigl(1+\sup_{s\in (0,t)} \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{r}( \varOmega )}+\sup_{s\in (0,t)} \bigl\Vert \upsilon (\cdot ,s) \bigr\Vert _{L^{r}( \varOmega )} \Bigr) \\ &\quad\leq c_{3} \Bigl(1+\sup_{s\in (0,t)} \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{p}( \varOmega )} \vert \varOmega \vert ^{\frac{p-r}{rp}}+\sup_{s\in (0,t)} \bigl\Vert \upsilon (\cdot ,s) \bigr\Vert _{L^{p}(\varOmega )} \vert \varOmega \vert ^{\frac{p-r}{rp}} \Bigr) \\ &\quad\leq C \Bigl(1+\sup_{s\in (0,t)} \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{p}( \varOmega )}+\sup_{s\in (0,t)} \bigl\Vert \upsilon ( \cdot ,s) \bigr\Vert _{L^{p}( \varOmega )} \Bigr) \end{aligned}$$

for all \(t\in (0,T)\). □

The following lemma asserts that boundedness of \(\|u(\cdot ,t)\|_{L ^{p}(\varOmega )}\) and \(\|\upsilon (\cdot ,t)\|_{L^{p}(\varOmega )}\) for some \(p>\frac{n}{2}\) is sufficient to guarantee boundedness of the solution.

Lemma 3.2

Suppose that the initial data \(u_{0}\), \(\upsilon _{0}\) and \(w_{0}\) satisfy (1.5). Let \(T\in (0,T_{\max }]\), \(T<\infty \), \(p\geq 1\). If the first and second components of the solution satisfy

$$\begin{aligned} \sup_{t\in (0,T)} \bigl( \bigl\Vert u(\cdot ,t) \bigr\Vert _{L^{p}(\varOmega )}+ \bigl\Vert \upsilon (\cdot ,t) \bigr\Vert _{L^{p}(\varOmega )} \bigr)< \infty , \end{aligned}$$

for some \(p>\frac{n}{2}\), then

$$\begin{aligned} \sup_{t\in (0,T)} \bigl( \bigl\Vert u(\cdot ,t) \bigr\Vert _{L^{\infty }(\varOmega )}+ \bigl\Vert \upsilon (\cdot ,t) \bigr\Vert _{L^{\infty }(\varOmega )}+ \bigl\Vert w(\cdot ,t) \bigr\Vert _{W^{1, \infty }} \bigr)< \infty. \end{aligned}$$


For each fixed \(p>\frac{n}{2}\)

$$\frac{np}{(n-p)_{+}}= \textstyle\begin{cases} \infty & \text{if }p\geq n, \\ \frac{np}{(n-p)}>n & \text{if }\frac{n}{2}< p< n , \end{cases} $$

it is possible to find \(p_{0}>1\) fulfilling

$$\begin{aligned} n< p_{0}< \frac{np}{(n-p)_{+}}, \end{aligned}$$

which enables us to choose \(k>1\) such that

$$\begin{aligned} n< kp_{0}< \frac{np}{(n-p)_{+}}. \end{aligned}$$

Applying the variation-of constants formula for u and \(c_{1}:=\sup_{u>0}(u-u^{2})\)

$$\begin{aligned} u(\cdot ,t) &= e^{t\Delta }u_{0}-\chi _{1} \int ^{t}_{0}e^{(t-s)\Delta } \nabla \cdot \biggl(u\frac{\nabla w}{w} \biggr)\,ds+\mu _{1} \int ^{t}_{0}e ^{(t-s)\Delta } \bigl(u-u^{2}\bigr)\,ds \\ &\leq e^{t\Delta }u_{0}-\chi _{1} \int ^{t}_{0}e^{(t-s)\Delta }\nabla \cdot \biggl(u\frac{\nabla w}{w} \biggr)\,ds+\mu _{1}c_{1}T \end{aligned}$$

we get

$$ \bigl\Vert u(\cdot ,t) \bigr\Vert _{L^{\infty }(\varOmega )}\leq \bigl\Vert e^{t\Delta }u_{0} \bigr\Vert _{L ^{\infty }(\varOmega )}+\chi _{1} \int ^{t}_{0} \biggl\Vert e^{(t-s)\Delta } \nabla \cdot \biggl(u\frac{\nabla w}{w} \biggr) \biggr\Vert _{L^{\infty }( \varOmega )} \,ds+\mu _{1}c_{1}T $$

for all \(t\in (0, T)\). In view of the smooth estimates for the Neumann heat semigroup ([26], Lemma 3.1), we obtain \(c_{2}\) satisfying

$$\begin{aligned} &\bigl\Vert u(\cdot ,t) \bigr\Vert _{L^{\infty }(\varOmega )} \\ &\quad \leq \Vert u_{0} \Vert _{L^{\infty }(\varOmega )}+c_{2}\chi _{1} \int ^{t}_{0} \bigl(1+(t-s)^{- \frac{1}{2}-\frac{n}{2p_{0}}} \bigr) \biggl\Vert u\frac{\nabla w}{w} \biggr\Vert _{L^{p_{0}}(\varOmega )}\,ds+ \mu _{1}c_{1}T \end{aligned}$$

for all \(t\in (0,T)\). Here by Hölder’s inequality, the interpolation inequality, (2.1), Lemma 3.1, and (3.2), we can find \(c_{3}\) such that

$$\begin{aligned} \biggl\Vert u\frac{\nabla w}{w} \biggr\Vert _{L^{p_{0}}{(\varOmega )}} &\leq \frac{1}{d} \Vert u \Vert _{L^{k^{\prime }p_{0}}(\varOmega )} \Vert \nabla w \Vert _{L^{kp_{0}}( \varOmega )} \\ &\leq \frac{1}{d} \Vert u \Vert _{L^{\infty }(\varOmega )}^{a} \Vert u \Vert _{L^{1}( \varOmega )}^{1-a} \Vert \nabla w \Vert _{L^{kp_{0}}} \\ &\leq \frac{1}{d}m_{1}^{1-a}c_{3} \Vert u \Vert _{L^{\infty }(\varOmega )}^{a}, \end{aligned}$$

where \(k^{\prime }=\frac{k}{k-1}\), \(a=1-\frac{1}{k^{\prime }p_{0}}\in (0,1)\). Inserting this into (3.3), it follows that

$$ \sup_{t\in (0,T)} \bigl\Vert u(\cdot ,t) \bigr\Vert _{L^{\infty }(\varOmega )}\leq \Vert u_{0} \Vert _{L^{\infty }(\varOmega )}+c_{4} \sup_{t\in (0,T)} \bigl\Vert u( \cdot ,t) \bigr\Vert _{L^{\infty }(\varOmega )}^{a} +\mu _{1}c_{1}T $$

for all \(T\in (0,T_{\max }]\) with

$$ c_{4}=\frac{1}{d}m_{1}^{1-a}\chi _{1}c_{2}c_{3} \int _{0}^{\infty }\bigl(1+(t-s)^{- \frac{1}{2}-\frac{n}{2p_{0}}} \bigr)\,ds $$

is finite thanks to the left-hand side of (3.1).

Arguing similarly, we see that

$$ \sup_{t\in (0,T)} \bigl\Vert \upsilon (\cdot ,t) \bigr\Vert _{L^{\infty }(\varOmega )} \leq \Vert \upsilon _{0} \Vert _{L^{\infty }(\varOmega )}+c_{6}\sup_{t\in (0,T)} \bigl\Vert \upsilon (\cdot ,t) \bigr\Vert _{L^{\infty }(\varOmega )} ^{a} +\mu _{2}c_{5}T $$

for all \(T\in (0,T_{\max }]\). The boundedness assertion concerning \(\|w\|_{W^{1,\infty }(\varOmega )}\) results from Lemma 2.4 and Lemma 3.1. Hence we complete the proof. □

We are in need of estimates of \(\|u\|_{L^{p}(\varOmega )}\) and \(\|\upsilon \|_{L^{p}(\varOmega )}\) for some \(p>\frac{n}{2}\). The estimates will be based on the following observation.

Lemma 3.3

For all \(p, q\in \mathbb{R}\), on \((0, T_{\max })\) we have

$$\begin{aligned} &\frac{d}{dt} \int _{\varOmega }u^{p}w^{q} \\ &\quad\leq -(p-1)p \int _{\varOmega }u^{p-2}w^{q} \vert \nabla u \vert ^{2}+ \bigl(p(p-1) \chi _{1}-2pq \bigr) \int _{\varOmega }u^{p-1}w^{q-1}\nabla u\cdot \nabla w \\ &\qquad{}+ \bigl(pq\chi _{1}-q(q-1) \bigr) \int _{\varOmega } u^{p}w^{q-2} \vert \nabla w \vert ^{2}+p\mu _{1} \int _{\varOmega }u^{p}w^{q}-(\mu _{1}p+q) \int _{\varOmega }u ^{p+1}w^{q}, \end{aligned}$$
$$\begin{aligned} &\frac{d}{dt} \int _{\varOmega }\upsilon ^{p}w^{q} \\ &\quad \leq -(p-1)p \int _{\varOmega }\upsilon ^{p-2}w^{q} \vert \nabla \upsilon \vert ^{2}+\bigl(p(p-1) \chi _{2}-2pq\bigr) \int _{\varOmega }\upsilon ^{p-1}w^{q-1}\nabla \upsilon \cdot \nabla w \\ &\qquad{}+\bigl(pq\chi _{2}-q(q-1)\bigr) \int _{\varOmega } \upsilon ^{p}w^{q-2} \vert \nabla w \vert ^{2}+p \mu _{2} \int _{\varOmega }\upsilon ^{p}w^{q}-(\mu _{1}p+q) \int _{\varOmega } \upsilon ^{p+1}w^{q}. \end{aligned}$$


A direct calculation shows that

$$\begin{aligned} &\frac{d}{dt} \int _{\varOmega }u^{p}w^{q} \\ &\quad=p \int _{\varOmega }u^{p-1}u_{t}w^{q}+q \int _{\varOmega }u^{p}w^{q-1}w_{t} \\ &\quad= p \int _{\varOmega }u^{p-1}w^{q}\Delta u-p\chi _{1} \int _{\varOmega }u^{p-1}w ^{q}\nabla \cdot \biggl(u\frac{\nabla w}{w} \biggr)+p \int _{\varOmega }u ^{p-1} \bigl(\mu _{1} \bigl(u-u^{2}\bigr) \bigr)w^{q} \\ & \qquad{}+q \int _{\varOmega }u^{p}w^{q-1}\Delta w-q \int _{\varOmega }u^{p+1}w ^{q}-q \int _{\varOmega }u^{p}w^{q}\upsilon \\ &\quad\leq -p \int _{\varOmega }\nabla \bigl(u^{p-1}w^{q} \bigr)\cdot \nabla u+p\chi _{1} \int _{\varOmega }\frac{u}{w}\nabla \bigl(u^{p-1}w^{q} \bigr)\\ &\qquad{}\times \nabla w+p\mu _{1} \int _{\varOmega }u^{p}w^{q}-\mu _{1}p \int _{\varOmega }u^{p+1}w^{q} \\ & \qquad{}-q \int _{\varOmega }\nabla \bigl(u^{p}w^{q-1} \bigr)\cdot \nabla w-q \int _{\varOmega }u^{p+1}w^{q} \\ &\quad=-p(p-1) \int _{\varOmega }u^{p-2}w^{q} \vert \nabla u \vert ^{2}-pq \int _{\varOmega }u ^{p-1}w^{q-1}\nabla u\cdot \nabla w \\ &\qquad{}+p(p-1)\chi _{1} \int _{\varOmega }u^{p-1}w^{q-1}\nabla u\cdot \nabla w+pq\chi _{1} \int _{\varOmega }u^{q}w^{q-2} \vert \nabla w \vert ^{2}+p\mu _{1} \int _{\varOmega }u^{p}w^{q} \\ & \qquad{}-\mu _{1}p \int _{\varOmega }u^{p+1}w^{q}-pq \int _{\varOmega }u^{p-1}w ^{q-1}\nabla u\cdot \nabla w\\ &\qquad{}-q(q-1) \int _{\varOmega }u^{p}w^{q-2} \vert \nabla w \vert ^{2}-q \int _{\varOmega }u^{p+1}w^{q} \\ &\quad=-p(p-1) \int _{\varOmega }u^{p-2}w^{q} \vert \nabla u \vert ^{2}+\bigl(p(p-1)\chi _{1}-2pq\bigr) \int _{\varOmega }u^{p-1}w^{q-1}\nabla u\cdot \nabla w \\ &\qquad{}+\bigl(pq\chi _{1}-q(q-1)\bigr) \\ & \qquad{}\times \int _{\varOmega }u^{p}w^{q-2} \vert \nabla w \vert ^{2} +p\mu _{1} \int _{\varOmega }u^{p}w^{q}-(\mu _{1}p+q) \int _{\varOmega }u^{p+1}w^{q} \end{aligned}$$

on \((0, T_{\max })\). In the same way, we obtain (3.5). □

Next, we transform (3.4), (3.5) into bounds on \(\int _{\varOmega }u^{p}w ^{q}\), \(\int _{\varOmega }\upsilon ^{p}w^{q}\), where we will, in fact, use a negative exponent q.

Lemma 3.4

If \(p>1\) and \(r>0\) satisfy \(p\in (1,\frac{1}{\max \{\chi _{1}^{2}, \chi _{2}^{2}\}})\) and \(r\in (r_{-}, \min \{r_{+},\min \{\mu _{1}, \mu _{2} \}p\})\), where

$$\begin{aligned} r_{\pm }=\frac{p-1}{2} \bigl(1\pm \sqrt{1-p\chi _{i}^{2}} \bigr)\quad (i=1,2), \end{aligned}$$

and \(T\in (0, T_{\max }]\), \(T<\infty \), then there is \(C=C(T)>0\) such that

$$\begin{aligned} \int _{\varOmega }u^{p}w^{-r}\leq C,\qquad \int _{\varOmega }\upsilon ^{p}w^{-r}\leq C \quad \textit{on }(0,T). \end{aligned}$$


Inserting \(q=-r\) in Lemma 3.3, on \((0, T_{\max })\) we obtain

$$\begin{aligned} &\frac{d}{dt} \int _{\varOmega }u^{p}w^{-r} \\ &\quad\leq -p(p-1) \int _{\varOmega }u^{p-2}w^{-r} \vert \nabla u \vert ^{2}+\bigl(p(p-1)\chi _{1}+2pr\bigr) \int _{\varOmega }u^{p-1}w^{-r-1}\nabla u\cdot \nabla w \\ &\qquad{}-\bigl(pr\chi _{1}+r(r+1)\bigr) \int _{\varOmega }u^{p}w^{-r-2} \vert \nabla w \vert ^{2}+p \mu _{1} \int _{\varOmega }u^{p}w^{-r}+(r-\mu _{1}p) \int _{\varOmega }u^{p+1}w ^{-r}. \end{aligned}$$

By Young’s inequality, the second term can be estimated by

$$\begin{aligned} & \biggl\vert \bigl(p(p-1)\chi _{1}+2pr\bigr) \int _{\varOmega }u^{p-1}w^{-r-1}\nabla u \cdot \nabla w \biggr\vert \\ &\quad \leq p(p-1) \int _{\varOmega }u^{p-2}w^{-r} \vert \nabla u \vert ^{2} +\frac{(p(p-1) \chi _{1}+2pr)^{2}}{4p(p-1)} \int _{\varOmega }u^{p}w^{-r-2} \vert \nabla w \vert ^{2} \end{aligned}$$

on \((0, T_{\max })\). Thus, on \((0, T_{\max })\) we have

$$\begin{aligned} \frac{d}{dt} \int _{\varOmega }u^{p}w^{-r} \leq{} & \biggl( \frac{(p(p-1)\chi _{1}+2pr)^{2}}{4p(p-1)}-\bigl(pr\chi _{1}+r(r+1)\bigr) \biggr) \int _{\varOmega }u ^{p}w^{-r-2} \vert \nabla w \vert ^{2} \\ & {}+p\mu _{1} \int _{\varOmega }u^{p}w^{-r}+(r-\mu _{1}p) \int _{\varOmega }u ^{p+1}w^{-r}. \end{aligned}$$

By the choice of r, \(r-\mu _{1}p<0\) and \(\frac{(p(p-1)\chi _{1}+2pr)^{2}}{4p(p-1)}-(pr\chi _{1}+r(r+1))<0\), because

$$\begin{aligned} r\in (r_{-},r_{+})\quad &\Longrightarrow\quad r^{2}-(p-1)r+\frac{p(p-1)^{2}\chi _{1}^{2}}{4}< 0 \\ &\Longrightarrow \quad p(p-1)\chi _{1}^{2}+4pr\chi _{1}+\frac{4r^{2}p}{p-1}< 4pr \chi _{1}+4r^{2}+4r \\ &\Longrightarrow \quad\frac{(\chi _{1}+\frac{2r}{p-1})^{2}p(p-1)}{4(pr\chi _{1}+r(r+1))}< 1 \\ &\Longrightarrow \quad \frac{(p(p-1)\chi _{1}+2pr)^{2}}{4(pr\chi _{1}+r(r+1))}< p(p-1) \\ &\Longrightarrow \quad\frac{(p(p-1)\chi _{1}+2pr)^{2}}{4p(p-1)}-\bigl(pr\chi _{1}+r(r+1) \bigr)< 0, \end{aligned}$$

we can conclude that

$$ \frac{d}{dt} \int _{\varOmega }u^{p}w^{-r}\leq p\mu _{1} \int _{\varOmega }u^{p}w ^{-r} $$

on \((0, T_{\max })\) and hence

$$ \int _{\varOmega }u^{p}(\cdot , t)w^{-r}( \cdot , t)\leq e^{p\mu _{1}t} \int _{\varOmega }u_{0}^{p}w_{0}^{-r} $$

for every \(t\in (0, T_{\max })\). Thus for every \(T\in (0, T_{\max }]\) with \(T<\infty \) there is \(C_{1}:=e^{p\mu _{1}T}\times \int _{\varOmega }u_{0} ^{p}w_{0}^{-r}\), such that

$$ \int _{\varOmega }u^{p}(\cdot , t)w^{-r}( \cdot , t)\leq C_{1} $$

for all \(t\in (0, T)\). In the same way, we see that

$$ \int _{\varOmega }\upsilon ^{p}(\cdot , t)w^{-r}(\cdot , t)\leq C_{2} $$

for all \(t\in (0, T)\). □

Aided by Lemma 3.4, we now can find a bound for \(\|u(\cdot ,t)\|_{L ^{p}(\varOmega )}\) and \(\|\upsilon (\cdot ,t)\|_{L^{p}(\varOmega )}\).

Lemma 3.5

Let \(p\in (1,\frac{1}{\max \{\chi _{1}^{2}, \chi _{2}^{2}\}})\) be such that \(\min \{\mu _{1}, \mu _{2}\}p>\frac{p-1}{2}\) and let \(T\in (0, T _{\max })\), \(T<\infty \). Then there is \(C=C(T)>0\) satisfying \(\|u(\cdot ,t)\|_{L^{p}(\varOmega )}\leq C\), \(\|\upsilon (\cdot ,t)\| _{L^{p}(\varOmega )}\leq C\) for all \(t\in (0, T)\).


Let \(r_{\pm }\) be the constants as in Lemma 3.4, that is,

$$\begin{aligned} r_{\pm }=\frac{p-1}{2} \bigl(1\pm \sqrt{1-p\chi _{i}^{2}} \bigr)\quad (i=1,2). \end{aligned}$$

Due to \(p<\frac{1}{\max \{\chi _{1}^{2}, \chi _{2}^{2}\}}\), apparently we have \(1-p\chi _{i}^{2}>0\) and thus \(r_{-}< r_{+}\). Moreover, since \(\min \{\mu _{1}, \mu _{2}\}p>\frac{p-1}{2}\), \(r_{-}<\frac{p-1}{2}\), it is ensured that \(r_{-}<\min \{\mu _{1}, \mu _{2}\}p\). Accordingly, there is some \(r\in (r_{-}, \min \{r_{+},\min \{\mu _{1}, \mu _{2}\}p\})\). For such a number r by Lemma 3.4 there is \(c_{1}>0\) satisfying

$$ \int _{\varOmega }u^{p}(\cdot , t)w^{-r}( \cdot , t)\leq c_{1}\quad \text{for all }t\in (0, T). $$

For \(t\in (0, T)\) it now holds true that

$$\begin{aligned} \bigl\Vert u(\cdot ,t) \bigr\Vert _{L^{p}(\varOmega )} &= \biggl( \int _{\varOmega }u^{p}(\cdot ,t)w ^{-r}( \cdot ,t)w^{r}(\cdot ,t) \biggr)^{\frac{1}{p}}\leq \biggl( \int _{ \varOmega }u^{p}(\cdot ,t)w^{-r}( \cdot ,t) \bigl\Vert w^{r} \bigr\Vert _{L^{\infty }(\varOmega )} \biggr)^{\frac{1}{p}} \\ &\leq \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}^{\frac{r}{p}} \biggl( \int _{ \varOmega }u^{p}(\cdot ,t)w^{-r}( \cdot ,t) \biggr)^{\frac{1}{p}}\leq \Vert w _{0} \Vert _{L^{\infty }(\varOmega )}^{\frac{r}{p}}c_{1}^{\frac{1}{p}}=:C_{1}, \end{aligned}$$

because by Lemma 2.4, for every \(t\in (0, T_{\max })\) we have \(\|w(\cdot ,t)\|_{L^{\infty }(\varOmega )}\leq \|w_{0}\|_{L^{\infty }( \varOmega )}\).

Arguing similarly, we can obtain \(\|\upsilon (\cdot ,t)\|_{L^{p}( \varOmega )}\leq C_{2}\) for all \(t\in (0, T)\). □

We can now use this to show global existence.

Proof of Theorem 1.1

Because \(\max \{\chi _{1}, \chi _{2}\}<\sqrt{\frac{2}{n}}\), the interval \((\frac{n}{2},\frac{1}{\max \{\chi _{1}^{2}, \chi _{2}^{2}\}} )\) is nonempty. Since moreover \(\frac{\frac{n}{2}-1}{2\cdot \frac{n}{2}}= \frac{n-2}{2n}<\min \{\mu _{1},\mu _{2}\}\), it is possible to find \(p\in (\frac{n}{2},\frac{1}{\max (\chi _{1}^{2}, \chi _{2}^{2})})\) such that \(\frac{p-1}{2p}<\min \{\mu _{1},\mu _{2}\}\), i.e. \(\min \{\mu _{1}, \mu _{2}\}p>\frac{p-1}{2}\). By Lemma 3.5 for every such p and every \(T\in {(0,T_{\max }]}\), \(T<\infty \) there is \(C(T)>0\) with

$$ \bigl\Vert u(\cdot ,t) \bigr\Vert _{L^{P}(\varOmega )}\leq C(T)\quad \text{for }t\in (0,T). $$

If we suppose that T were finite, we could, herein, choose \(T=T_{\mathrm{max}}\) and from Lemma 3.2 infer that

$$\begin{aligned} \sup_{t\in (0,T_{\max })} \bigl( \bigl\Vert u(\cdot ,t) \bigr\Vert _{L^{\infty }( \varOmega )}+ \bigl\Vert \upsilon (\cdot ,t) \bigr\Vert _{L^{\infty }(\varOmega )}+ \bigl\Vert w( \cdot ,t) \bigr\Vert _{W^{1, \infty }} \bigr)< \infty \end{aligned}$$

in blatant contradiction to Lemma 2.1. □

The one-dimensional case

Now we deal with the global solutions of (1.4) when \(n=1\), α, β>1.

Lemma 4.1

For α, \(\beta >1\), \(n=1\) and \(T\in (0,T_{\max }]\), \(T<\infty \), there exists \(C>0\) such that

$$\begin{aligned} w\geq \underline{w}(t):= \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}e^{-C(1+t)},\quad (x,t)\in \varOmega \times (0,T). \end{aligned}$$


We know from (2.2) that

$$\begin{aligned} z &= e^{t\Delta }z_{0}- \int ^{t}_{0}e^{(t-s)\Delta } \vert \nabla z \vert ^{2}\,ds+ \int ^{t}_{0}e^{(t-s)\Delta }(u+\upsilon )\,ds \\ &\leq e^{t\Delta }z_{0}+ \int ^{t}_{0}e^{(t-s)\Delta }(u+\upsilon )\,ds \end{aligned}$$

by the order preserving of the Neumann heat semigroup \(\{e^{t\Delta } \}_{t\geq 0}\). For α, \(\beta >1\) and \(n=1\), we have from (4.2)

$$\begin{aligned} &\Vert z \Vert _{L^{\infty }(\varOmega )} \\ &\quad\leq \bigl\Vert e^{t\Delta }z_{0} \bigr\Vert _{L^{\infty }(\varOmega )}+ \int ^{t}_{0} \bigl\Vert e^{(t-s)\Delta }(u- \overline{u}) \bigr\Vert _{L^{\infty }( \varOmega )}\,ds+ \int ^{t}_{0} \bigl\Vert e^{(t-s)\Delta } \overline{u} \bigr\Vert _{L^{\infty }(\varOmega )}\,ds \\ & \qquad{}+ \int ^{t}_{0} \bigl\Vert e^{(t-s)\Delta }( \upsilon -\overline{ \upsilon }) \bigr\Vert _{L^{\infty }(\varOmega )}\,ds+ \int ^{t}_{0} \bigl\Vert e^{(t-s) \Delta } \overline{\upsilon } \bigr\Vert _{L^{\infty }(\varOmega )}\,ds \\ &\quad\leq \Vert z_{0} \Vert _{L^{\infty }(\varOmega )}+ \frac{m_{1}}{ \vert \varOmega \vert }t+\frac{m _{2}}{ \vert \varOmega \vert }t+k_{1} \int ^{t}_{0} \bigl(1+(t-s)^{-\frac{1}{2}} \bigr)e ^{-\lambda (t-s)} \Vert u-\overline{u} \Vert _{L^{1}(\varOmega )}\,ds \\ &\qquad{}+k_{1} \int ^{t}_{0} \bigl(1+(t-s)^{-\frac{1}{2}} \bigr)e^{- \lambda (t-s)} \Vert \upsilon -\overline{\upsilon } \Vert _{L^{1}( \varOmega )}\,ds \\ &\quad\leq \Vert z_{0} \Vert _{L^{\infty }(\varOmega )}+ \frac{m_{1}}{ \vert \varOmega \vert }t+\frac{m _{2}}{ \vert \varOmega \vert }t+2k_{1}m_{1} \int ^{t}_{0} \bigl(1+(t-s)^{-\frac{1}{2}} \bigr)e ^{-\lambda (t-s)}\,ds \\ & \qquad{}+2k_{1}m_{2} \int ^{t}_{0} \bigl(1+(t-s)^{-\frac{1}{2}} \bigr)e ^{-\lambda (t-s)}\,ds \\ &\quad\leq C(1+t), \end{aligned}$$

where \(\overline{u}:=\frac{1}{|\varOmega |}\int _{\varOmega }u\,dx\), \(\overline{\upsilon }:=\frac{1}{|\varOmega |}\int _{\varOmega }\upsilon \,dx\), λ denotes the first nonzero eigenvalue of −Δ in Ω under the homogeneous Neumann boundary conditions. The estimates (4.3) with \(z:=-\ln (\frac{w}{\|w_{0}\|_{L^{\infty }(\varOmega )}})\) yield (4.1). □

There is just a more easy case of getting an \(L^{p}\)-estimate of u, υ with some \(p>1\) directly by the \(L^{1}\)-estimate.

Lemma 4.2

For any \(T\leq T_{\mathrm{max}}\), \(T<\infty \). Let \(n=1\), \(\alpha , \beta >1\) and \(p>1\). Then there exists \(C>0\) such that

$$\begin{aligned} &\Vert u \Vert _{L^{p}(\varOmega )}\leq C \biggl(1+t+ \int ^{t}_{0} \biggl(\frac{e ^{C(1+s)}}{ \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}} \biggr)^{\frac{2(p+ \alpha -1)}{\alpha -1}}\,ds \biggr)^{\frac{1}{p}},\quad t\in (0,T), \end{aligned}$$
$$\begin{aligned} &\Vert \upsilon \Vert _{L^{p}(\varOmega )}\leq C \biggl(1+t+ \int ^{t}_{0} \biggl(\frac{e ^{C(1+s)}}{ \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}} \biggr)^{\frac{2(p+ \beta -1)}{\beta -1}}\,ds \biggr)^{\frac{1}{p}},\quad t\in (0,T). \end{aligned}$$


Due to the variation-of-constants formula and the semigroup estimates of [26], Lemma 1.3, we have the existence of \(k_{1}>0\) and \(\lambda >0\) such that

$$\begin{aligned} &\bigl\Vert \nabla w(\cdot ,t) \bigr\Vert _{L^{p}(\varOmega )} \\ &\quad \leq \Vert \nabla w_{0} \Vert _{L^{p}( \varOmega )}+k_{1} \int ^{t}_{0} \bigl(1+(t-s)^{-1+\frac{1}{2p}} \bigr) e ^{-\lambda (t-s)} \bigl\Vert (u+\upsilon )w \bigr\Vert _{L^{1}(\varOmega )}\,ds \\ &\quad\leq \Vert \nabla w_{0} \Vert _{L^{p}(\varOmega )}+k_{1} \Vert w_{0} \Vert _{L^{\infty }( \varOmega )}m_{1} \int ^{\infty }_{0} \bigl(1+(t-s)^{-1+\frac{1}{2p}} \bigr)e ^{-\lambda (t-s)}\,ds \\ & \qquad{}+k_{1} \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}m_{2} \int ^{\infty } _{0} \bigl(1+(t-s)^{-1+\frac{1}{2p}} \bigr)e^{-\lambda (t-s)}\,ds \\ &\quad \leq c_{1} \end{aligned}$$

holding for all \(t\in (0,T)\), \(s\leq t\).

By Young’s inequality with Lemma 4.1 and (4.6), we have

$$\begin{aligned} &\frac{1}{p}\frac{d}{dt} \int _{\varOmega }u^{p}\,dx \\ &\quad= \int _{\varOmega }u^{p-1} \biggl(\Delta u-\chi _{1}\nabla \cdot \biggl(u\frac{\nabla w}{w} \biggr)+ \mu _{1}u-\mu _{1}u^{\alpha } \biggr)\,dx \\ &\quad=-(p-1) \int _{\varOmega }u^{p-2} \vert \nabla u \vert ^{2}\,dx+\chi _{1}(p-1) \int _{ \varOmega }u^{p-1}\frac{\nabla u\cdot \nabla w}{w}\,dx \\ &\qquad{}+\mu _{1} \int _{\varOmega }u^{p}\,dx-\mu _{1} \int _{\varOmega }u^{p+ \alpha -1}\,dx \\ &\quad\leq \frac{p-1}{4} \int _{\varOmega }u^{p}\frac{ \vert \nabla w \vert ^{2}}{w^{2}}\,dx+ \mu _{1} \int _{\varOmega }u^{p}\,dx-\mu _{1} \int _{\varOmega }u^{p+\alpha -1}\,dx \\ &\quad \leq \frac{p-1}{4 \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}e^{-2C(1+t)}} \int _{\varOmega }u^{p} \vert \nabla w \vert ^{2}\,dx+\mu _{1} \int _{\varOmega }u^{p}\,dx-\mu _{1} \int _{\varOmega }u^{p+\alpha -1}\,dx \\ &\quad\leq c_{2} \biggl(\frac{1}{ \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}e^{-C(1+t)}} \biggr) ^{\frac{2(p+\alpha -1)}{\alpha -1}} \int _{\varOmega } \vert \nabla w \vert ^{\frac{2(p+ \alpha -1)}{\alpha -1}} \,dx+c_{3} \\ &\quad\leq c_{4} \biggl( \biggl(\frac{1}{ \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}e ^{-C(1+t)}} \biggr)^{\frac{2(p+\alpha -1)}{\alpha -1}}c_{1}^{\frac{2(p+ \alpha -1)}{\alpha -1}}+1 \biggr),\quad t\in (0,T), \end{aligned}$$


$$\begin{aligned} \int _{\varOmega }u^{p}\,dx &\leq \int _{\varOmega }u_{0}^{p} \,dx+c_{4}pt+c_{4}pc _{1}^{\frac{2(p+\alpha -1)}{\alpha -1}} \int ^{t}_{0} \biggl(\frac{1}{ \Vert w _{0} \Vert _{L^{\infty }(\varOmega )}e^{-C(1+s)}} \biggr)^{\frac{2(p+\alpha -1)}{ \alpha -1}}\,ds \\ &\leq C \biggl(1+t+ \int ^{t}_{0} \biggl(\frac{1}{ \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}e^{-C(1+s)}} \biggr)^{\frac{2(p+\alpha -1)}{\alpha -1}}\,ds \biggr), \quad t\in (0,T). \end{aligned}$$

In the same way, we can easily get (4.5). □

We can now use this to show global existence.

Proof of Theorem 1.2

When \(n=1\) with \(\alpha , \beta >1\). We have from Lemma 4.1, Lemma 4.2 with \(p=2\)

$$\begin{aligned} & \Vert \nabla w \Vert _{L^{\infty }(\varOmega )} \\ &\quad\leq \Vert \nabla w_{0} \Vert _{L^{\infty }(\varOmega )}+k_{1} \int _{0}^{t} \bigl(1+(t-s)^{- \frac{3}{4}} \bigr)e^{-\lambda (t-s)} \bigl\Vert \bigl((u+\upsilon )w\bigr) \bigr\Vert _{L^{2}(\varOmega )}\,ds \\ &\quad\leq \Vert \nabla w_{0} \Vert _{L^{\infty }(\varOmega )}+k_{1}C \Vert w_{0} \Vert _{L ^{\infty }(\varOmega )} \biggl(1+t+ \int ^{t}_{0} \biggl(\frac{e^{C(1+s)}}{ \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}} \biggr)^{\frac{2(\alpha +1)}{\alpha -1}}\,ds \biggr)^{\frac{1}{2}} \\ &\qquad{}\times \int _{0}^{\infty } \bigl(1+(t-s)^{-\frac{3}{4}} \bigr)e^{- \lambda (t-s)}\,ds \\ & \qquad{}+k_{1}C \Vert w_{0} \Vert _{L^{\infty }(\varOmega )} \biggl(1+t+ \int ^{t} _{0} \biggl(\frac{e^{C(1+s)}}{ \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}} \biggr) ^{\frac{2(\beta +1)}{\beta -1}}\,ds \biggr)^{\frac{1}{2}} \\ &\qquad{}\times \int _{0}^{\infty } \bigl(1+(t-s)^{-\frac{3}{4}} \bigr)e^{- \lambda (t-s)}\,ds \\ &\quad\leq \Vert \nabla w_{0} \Vert _{L^{\infty }(\varOmega )}+2k_{1}C \Vert w_{0} \Vert _{L ^{\infty }(\varOmega )} \biggl(1+t+ \int _{0}^{t} \biggl(\frac{e^{C(1+s)}}{ \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}} \biggr)^{\frac{2(\gamma +1)}{\gamma -1}}\,ds \biggr)^{\frac{1}{2}} \\ &\qquad{}\times \int _{0}^{\infty } \bigl(1+(t-s)^{-\frac{3}{4}} \bigr)e^{- \lambda (t-s)}\,ds \\ &\quad \leq c_{5} \biggl(1+t+ \int ^{t}_{0} \biggl(\frac{e^{C(1+s)}}{ \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}} \biggr)^{\frac{2(\gamma +1)}{\gamma -1}}\,ds \biggr) ^{\frac{1}{2}},\quad t\in (0,T), \end{aligned}$$

where \(\gamma:=\min \{\alpha , \beta \}\), λ denotes the first nonzero eigenvalue of −Δ in Ω under the homogeneous Neumann boundary conditions. By the variation-of-constants formula for u and the order preserving of the Neumann heat semigroup \(\{e^{t \Delta }\}_{t\geq 0}\) with the positivity of u, we know

$$\begin{aligned} &u(\cdot ,t) \\ &\quad=e^{t\Delta }u_{0}-\chi _{1} \int ^{t}_{0}e^{(t-s)\Delta }\nabla \cdot \biggl(u\frac{\nabla w}{w} \biggr)\,ds+\mu _{1} \int ^{t}_{0}e^{(t-s) \Delta } \bigl(u-u^{\alpha }\bigr)\,ds \\ &\quad\leq e^{t\Delta }u_{0}-\chi _{1} \int ^{t}_{0}e^{(t-s)\Delta }\nabla \cdot \biggl(u\frac{\nabla w}{w} \biggr)\,ds+\mu _{1} \int ^{t}_{0}e^{(t-s) \Delta }u\,ds,\quad t\in (0,T) . \end{aligned}$$

Furthermore, according to [26], Lemma 3.1, with (4.8), (2.1), Lemma 2.4, Lemma 4.1, (4.4) and (4.7), we get for \(p=2\)

$$\begin{aligned} & \Vert u \Vert _{L^{\infty }(\varOmega )} \\ &\quad\leq \Vert u_{0} \Vert _{L^{\infty }(\varOmega )}+k_{2} \chi _{1} \int _{0}^{t} \bigl(1+(t-s)^{-\frac{3}{4}} \bigr)e^{-\lambda (t-s)} \biggl\Vert u\frac{ \nabla w}{w} \biggr\Vert _{L^{2}(\varOmega )}\,ds \\ & \qquad{}+\mu _{1}k_{2} \int _{0}^{t} \bigl(1+(t-s)^{-\frac{1}{2}} \bigr)e ^{-\lambda (t-s)} \Vert u-\bar{u} \Vert _{L^{1}(\varOmega )}\,ds+ \frac{\mu _{1}m_{1}}{ \vert \varOmega \vert }t \\ &\quad\leq \Vert u_{0} \Vert _{L^{\infty }(\varOmega )} \\ &\qquad{}+k_{2}\chi _{1}\frac{1}{ \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}e^{-C(1+t)}} \int ^{t}_{0} \bigl(1+(t-s)^{-\frac{3}{4}} \bigr)e^{-\lambda (t-s)} \Vert u \Vert _{L^{2}(\varOmega )} \Vert \nabla w \Vert _{L^{\infty }(\varOmega )}\,ds \\ &\qquad{}+2\mu _{1}k_{2}m_{1} \int _{0}^{\infty } \bigl(1+(t-s)^{-\frac{1}{2}} \bigr)e ^{-\lambda (t-s)}\,ds+\frac{\mu _{1}m_{1}}{ \vert \varOmega \vert }t \\ &\quad \leq c_{6} \biggl(1+ \frac{1}{ \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}e^{-C(1+t)}} \biggr) \biggl(1+t+ \int _{0}^{t} \biggl(\frac{e^{C(1+s)}}{ \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}} \biggr) ^{\frac{2(\gamma +1)}{\gamma -1}}\,ds \biggr), \\ &\qquad t\in (0,T), \end{aligned}$$

where \(\gamma:=\min \{\alpha , \beta \}\), \(\overline{u}:=\frac{1}{| \varOmega |}\int _{\varOmega }u\,dx\), λ denotes the first nonzero eigenvalue of −Δ in Ω under the homogeneous Neumann boundary conditions.

In the same way, we see that

$$\begin{aligned} & \Vert \upsilon \Vert _{L^{\infty }(\varOmega )} \\ &\quad\leq c_{7} \biggl(1+ \frac{1}{ \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}e^{-C(1+t)}} \biggr) \biggl(1+t+ \int _{0}^{t} \biggl(\frac{e^{C(1+s)}}{ \Vert w_{0} \Vert _{L^{\infty }(\varOmega )}} \biggr) ^{\frac{2(\gamma +1)}{\gamma -1}}\,ds \biggr), \\ &\qquad t\in (0,T). \end{aligned}$$

Combining Lemma 2.4, (4.7), (4.9), (4.10) with Lemma 2.1, we complete the proof of Theorem 1.2. □


  1. Biler, P., Espejo, E.E., Guerra, I.: Blowup in higher dimensional two species chemotactic systems. Commun. Pure Appl. Anal. 12, 89–98 (2013)

    MathSciNet  Article  Google Scholar 

  2. Cao, X., Kurima, S., Mizukami, M.: Global existence and asymptotic behavior of classical solutions for a 3D two-species Keller–Segel–Stokes system with competitive kinetics. Math. Methods Appl. Sci. 41, 3138–3154 (2018)

    MathSciNet  Article  Google Scholar 

  3. Cholewa, J., Dlotko, T.: Global Attractors in Abstract Parabolic Problems. Cambridge University Press, Cambridge (2000)

    Book  Google Scholar 

  4. Espejo, E.E., Stevents, A., Velázquez, J.J.L.: Simultaneous finite time blow-up in a two-species model for chemotaxis. Analysis 29, 317–338 (2009)

    MathSciNet  Article  Google Scholar 

  5. Hirata, M., Kurima, S., Mizukami, M., Yokota, T.: Boundedness and stabilization in a two-dimensional two-species chemotaxis–Navier–Stokes system with competitive kinetics. J. Differ. Equ. 263, 470–490 (2017)

    MathSciNet  Article  Google Scholar 

  6. Hirata, M., Kurima, S., Mizukami, M., Yokota, T.: Boundedness and stabilization in a three-dimensional two-species chemotaxis–Navier–Stokes system with competitive kinetics. arXiv:1710.00957v1

  7. Kalinin, Y.V., Jiang, L., Tu, Y., Wu, M.: Logarithmic sensing in Escherichia coli bacterial chemotaxis. Biophys. J. 96, 2439–2448 (2009)

    Article  Google Scholar 

  8. Keller, E.F., Segel, L.A.: Initiation of slime mold aggregation viewed as an instability. J. Theor. Biol. 26, 399–415 (1970)

    MathSciNet  Article  Google Scholar 

  9. Keller, E.F., Segel, L.A.: Traveling bands of chemotactic bacteria: a theoretical analysis. J. Theor. Biol. 30, 235–248 (1971)

    Article  Google Scholar 

  10. Lankeit, E., Lankeit, J.: Classical solutions to a logistic chemotaxis model with singular sensitivity and signal absorption. Nonlinear Anal., Real World Appl. 46, 421–445 (2019)

    MathSciNet  Article  Google Scholar 

  11. Lankeit, J., Wang, Y.: Global existence, boundedness and stabilization in a high-dimensioanl chemotaxis system with consumption. Discrete Contin. Dyn. Syst. 37, 6099–6121 (2017)

    MathSciNet  Article  Google Scholar 

  12. Li, Y., Li, Y.: Finite-time blow-up in higher dimensional fully-parabolic chemotaxis system for two species. Nonlinear Anal., Theory Methods Appl. 109, 72–84 (2014)

    MathSciNet  Article  Google Scholar 

  13. Mizukami, M.: Boundedness and asymptotic stability in a two-species chemotaxis-competition model with signal-dependent sensitivity. Discrete Contin. Dyn. Syst., Ser. B 22, 2301–2319 (2017)

    MathSciNet  MATH  Google Scholar 

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

    MathSciNet  Article  Google Scholar 

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

    MathSciNet  Article  Google Scholar 

  16. Negreanu, M., Tello, J.I.: Asymptotic stability of a two species chemotaxis system with non-diffusive chemoattractant. J. Differ. Equ. 258, 1592–1617 (2015)

    MathSciNet  Article  Google Scholar 

  17. Peng, Y., Xiang, Z.: Global solutions to the coupled chemotaxis–fluids system in a 3D unbounded domain with boundary. Math. Models Methods Appl. Sci. 28, 869–920 (2018)

    MathSciNet  Article  Google Scholar 

  18. Peng, Y., Xiang, Z.: Global existence and convergence rates to a chemotaxis–fluids system with mixed boundary conditions. J. Differ. Equ. 267, 1277–1321 (2019)

    MathSciNet  Article  Google Scholar 

  19. Stinner, C., Tello, J.I., Winkler, M.: Competitive exclusion in a two-species chemotaxis model. J. Math. Biol. 68, 1607–1626 (2014)

    MathSciNet  Article  Google Scholar 

  20. Tao, Y., Winkler, M.: Eventual smoothness and stabilization of large-data solutions in a three-dimensional chemotaxis system with consumption of chemoattractant. J. Differ. Equ. 252, 2520–2543 (2012)

    MathSciNet  Article  Google Scholar 

  21. Wang, L., Mu, C., Hu, X., Zheng, P.: Boundedness and asymptotic stability of solutions to a two-species chemotaxis system with consumption of chemoattractant. J. Differ. Equ. 264, 3369–3401 (2018)

    MathSciNet  Article  Google Scholar 

  22. Wang, Y.: Global weak solutions in a three-dimensional Keller–Segel–Navier–Stokes system with subcritical sensitivity. Math. Models Methods Appl. Sci. 27, 2745–2780 (2017)

    MathSciNet  Article  Google Scholar 

  23. Wang, Y., Winkler, M., Xiang, Z.: Global classical solutions in a two-dimensional chemotaxis–Navier–Stokes system with subcritical sensitivity. Ann. Sc. Norm. Super. Pisa, Cl. Sci. XVII, 421–466 (2018)

    MathSciNet  MATH  Google Scholar 

  24. Wang, Y., Winkler, M., Xiang, Z.: The small-convection diffusion limit in a two-dimensional chemotaxis–Navier–Stokes system. Math. Z. 289, 71–108 (2018)

    MathSciNet  Article  Google Scholar 

  25. Wang, Y., Xie, L.: Boundedness for a 3D chemotaxis–Stokes system with porous medium diffusion and tensor-valued chemotactic sensitivity. Z. Angew. Math. Phys. 68, 29 (2017)

    MathSciNet  Article  Google Scholar 

  26. Winkler, M.: Aggregation vs. global diffusive behavior in the higher-dimensional Keller–Segel model. J. Differ. Equ. 248, 2889–2905 (2010)

    MathSciNet  Article  Google Scholar 

  27. Winkler, M.: Global large-data solutions in a chemotaxis–(Navier–)Stokes system modeling cellular swimming in fluid drops. Commun. Partial Differ. Equ. 37, 319–351 (2012)

    MathSciNet  Article  Google Scholar 

  28. Winkler, M.: The two-dimensional Keller–Segel system with singular sensitivity and signal absorption: global large-data solutions and their relaxation properties. Math. Models Methods Appl. Sci. 26, 987–1024 (2016)

    MathSciNet  Article  Google Scholar 

  29. Xue, C.: Macroscopic equations for bacterial chemotaxis: integration of detailed biochemistry of cell signaling. J. Math. Biol. 70, 1–44 (2015)

    MathSciNet  Article  Google Scholar 

  30. Zhao, X., Zheng, S.: Global boundedness to a chemotaxis system with singular sensitivity and logistic source. Z. Angew. Math. Phys. 68, 13 (2017)

    MathSciNet  Article  Google Scholar 

  31. Zhao, X., Zheng, S.: Global existence and asymptotic behavior to a chemotaxis-consumption system with singular sensitivity and logistic source. Nonlinear Anal., Real World Appl. 42, 120–139 (2018)

    MathSciNet  Article  Google Scholar 

Download references


The authors are grateful to all of the anonymous reviewers and our graduate advisor for their carefully reading and valuable comments on how to improve the paper.

Availability of data and materials

Not applicable.


This work is supported by Applied Fundamental Research Plan of Sichuan Province (No. 2018JY0503) and the Key scientific research fund of Xihua University (Grant No. z1412621).

Author information

Authors and Affiliations



The authors conceived of the study, drafted the manuscript, and approved the final manuscript.

Corresponding author

Correspondence to Yongjie Han.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

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 (, 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

Verify currency and authenticity via CrossMark

Cite this article

Huang, T., Yang, L. & Han, Y. Global solutions to a two-species chemotaxis system with singular sensitivity and logistic source. J Inequal Appl 2019, 234 (2019).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


  • 35K55
  • 35Q92


  • Chemotaxis
  • Global existence
  • Singular sensitivity
  • Logistic source