Skip to main content

Small-convection limit for two-dimensional chemotaxis-Navier–Stokes system with logarithmic sensitivity and logistic-type source

Abstract

In this paper, we consider the small-convection limit of chemotaxis-Navier–Stokes system with logarithmic sensitivity and logistic-type source

$$ \textstyle\begin{cases} n^{\kappa}_{t}+\boldsymbol{u}^{\kappa}\cdot \nabla{n}^{\kappa}= \Delta{n}^{\kappa}-\chi \nabla \cdot ({n^{\kappa}}\nabla \log{c^{\kappa}})+f(n^{\kappa}), &x\in \Omega , t>0, \\ c^{\kappa}_{t}+\boldsymbol{u}^{\kappa}\cdot \nabla{c}^{\kappa}=\Delta{c}^{\kappa}-c^{\kappa}+n^{\kappa}, &x\in \Omega , t>0, \\ \boldsymbol{u}^{\kappa}_{t}+\kappa (\boldsymbol{u}^{\kappa}\cdot \nabla )\boldsymbol{u}^{\kappa}=\Delta \boldsymbol{u}^{\kappa}+\nabla{P}^{\kappa}+n^{\kappa}\nabla \phi , &x\in \Omega , t>0, \\ \nabla \cdot \boldsymbol{u}^{\kappa}=0, & x\in \Omega , t>0, \end{cases} $$

in a bounded convex domain \(\Omega \subseteq \mathbb{R}^{2}\) with smooth boundary, where \(\kappa \in \mathbb{R}\), \(f(s)=\mu _{1} s-\mu _{2} s^{\lambda}\), \(\lambda >1\), and \(\phi :\Omega \rightarrow \mathbb{R}\) is a given smooth potential with second-order partial derivatives. When the chemotaxis sensitivity χ satisfies the appropriate conditions, it is proved that the unique global classical solutions \((n^{\kappa},c^{\kappa},\boldsymbol{u}^{\kappa})\) will stabilize to \((n^{0},c^{0},\boldsymbol{u}^{0})\) as \(\kappa \rightarrow 0\).

1 Introduction

One of the first mathematical models of chemotaxis was investigated by Keller and Segel [14] to describe the aggregation of certain types of bacteria. In mathematics, it is described as a fully parabolic system

$$ \textstyle\begin{cases} n_{t}=\Delta{n}-\nabla \cdot (n\chi (n,c)\nabla{c} ), &x\in \Omega , t>0, \\ c_{t}=\Delta{c}-c+n, &x\in \Omega , t>0. \end{cases} $$
(1.1)

Here, the unknowns \(n=n(t,x)\) and \(c=c(t,x)\) denote the cell density and concentration of chemical, respectively. The physical domain \(\Omega \subset \mathbb{R}^{2}\) is a bounded domain with smooth boundary Ω. The chemotaxis function \(\chi (\cdot )\) denotes the chemotactic sensitivity. In particular, model (1.1) in which chemotactic sensitivity function choices \(\chi (n,c)=\frac{\chi}{c}\) with \(\chi >0\) is an important class of chemotaxis models, its form is suggested by the Weber–Fechner laws and supported by experimental [13] and theoretical evidence [52]. When the chemical reaction is much faster than cell diffusion, system (1.1) could be simplified to parabolic-elliptic equations

$$ \textstyle\begin{cases} n_{t}=\Delta{n}-\nabla \cdot (n\chi (n,c)\nabla{c}), &x\in \Omega , t>0, \\ 0=\Delta{c}-c+n, &x\in \Omega , t>0, \end{cases} $$

this limit process was proved by Wang, Winkler, and Xiang in [36].

In order to study the dynamic behavior of cells under the action of fluid, Tuval et al. [31] took into account the experiment of the collective behavior of Bacillus subtilis in suspension. They observed the formation of plume-like structures and large-scale convection patterns. As an extension of the classical Keller–Segel model, it was used in the case of chemical diffusion and cell migration in a nontrivial interactive fluid environment and was coupled with chemotaxis-fluid equations of the form

$$ \textstyle\begin{cases} n_{t}+\boldsymbol{u}\cdot \nabla{n}=\Delta{n}-\nabla \cdot (n \chi (n,c)\nabla c), &x\in \Omega , t>0, \\ c_{t}+\boldsymbol{u}\cdot \nabla{c}=\Delta{c}+g(n,c), &x\in \Omega , t>0, \\ \boldsymbol{u}_{t}+\kappa (\boldsymbol{u}\cdot \nabla )\boldsymbol{u}=\Delta \boldsymbol{u}+\nabla{P}+n \nabla \phi , &x\in \Omega , t>0, \\ \nabla \cdot \boldsymbol{u}=0, &x\in \Omega , t>0. \end{cases} $$
(1.2)

Here, \(\boldsymbol{u}=\boldsymbol{u}(t,x)\) and \(P=P(t,x)\) denote the velocity field and the pressure of fluid, respectively, and Ω is a spatial domain where the cells and the fluid interact with each other and move. The given functions \(\chi (n,c)\) and \(g(n,c)\) are the chemotactic sensitivity and the signal function of consumption or production. The potential function ϕ is a scalar-valued function. It can be produced by the different physical mechanism such as gravity, centrifugal. The parameter \(\kappa \in \{0,1\}\) denotes the case of Stokes and Navier–Stokes flows, respectively.

Mathematically, analyzing the above fluid model is very challenging. Tao and Winkler in [28] gave the globally bounded large initial value solution of the problem with Neumann boundary value in a two-dimensional condition for three conditions, whereas for large data up to now only global weak solutions could be established and become eventually smooth and classical. At the same time, there is a globally bounded solution with small initial data. In recent years, there have been many related research works in this regard. For more reference about the chemotaxis-Navier–Stokes system, the corresponding global solvability of classical solutions has been investigated by [68, 15, 17, 24, 25, 34, 39, 43, 44, 46, 47, 49, 53] in two- or three-dimensional situation. We also mention complicated variants, e.g., involving rotational flux [4, 5, 18, 19, 22] and logistic source terms [3, 16, 30, 37, 48] as well as nonlinear diffusion [6, 12, 19, 38, 40, 54]. For chemotaxis-Stokes system, the interested reader can refer to earlier works of the global solvability of classical solutions in [1, 20, 27] and nonlinear diffusion in [9, 19, 23, 29, 33, 45] as well as rotational flux in [32, 41, 42].

As for the Navier–Stokes subsystem of (1.2), despite decades of efforts, the global well-posedness still stays in the Dirichlet problem of bounded domain in a two-dimensional case, but the research on the three-dimensional smooth global solution still lacks the viewpoint of mathematical theory. However, the corresponding Stokes case is much more complete [26]. Therefore, some works focus on the chemotaxis-Stokes variant model under a coupled system of the form (1.2). A natural problem is when the chemotactic Navier–Stokes system can approach the chemotactic-Stokes system. The corresponding experimental observations, such as \(Re\approx 10^{-5}\), are in the case of Reynolds number very small. However, rigorous mathematical results are very few. Wang, Winkler, and Xiang [35] and Wu and Xiang [49] gave the mathematical theoretical proof when the solutions of chemotaxis-Navier–Stokes systems will approximate the solution of corresponding chemotaxis-Stokes system in the case of signal consumption and signal generation, respectively.

Under the interaction of chemical signals, a very important coupled system is the chemotaxis model with a logarithmic sensitivity function and a logistic source. Black et al. [2] investigated the model of signal production with logarithmic sensitivity and proved the global existence and uniqueness of classical solutions. Zhao and Zheng in [55] gave the global existence and boundedness of solutions to a chemotaxis system with singular sensitivity and logistic-type source without fluid. Further, Wu and Natal [51] researched the model in [55] coupled with fluid equations and gave the decay rate of the solutions.

Motivated by the above work, we study the small-convection limit of the following chemotaxis-Navier–Stokes system with logarithmic sensitivity and logistic-type source:

$$ \textstyle\begin{cases} n^{\kappa}_{t}+\boldsymbol{u}^{\kappa}\cdot \nabla{n}^{\kappa}= \Delta{n}^{\kappa}-\chi \nabla \cdot ({n^{\kappa}}\nabla \log{c^{\kappa}})+f(n^{\kappa}), &x\in \Omega , t>0, \\ c^{\kappa}_{t}+\boldsymbol{u}^{\kappa}\cdot \nabla{c}^{\kappa}=\Delta{c}^{\kappa}-c^{\kappa}+n^{\kappa}, &x\in \Omega , t>0, \\ \boldsymbol{u}^{\kappa}_{t}+\kappa (\boldsymbol{u}^{\kappa}\cdot \nabla )\boldsymbol{u}^{\kappa}=\Delta \boldsymbol{u}^{\kappa}+\nabla{P}^{\kappa}+n^{\kappa}\nabla \phi , &x\in \Omega , t>0, \\ \nabla \cdot \boldsymbol{u}=0, & x\in \Omega , t>0. \end{cases} $$
(1.3)

Here, \(\Omega \subset \mathbb{R}^{2}\) is a bounded convex domain with smooth boundary, ν denotes an outer normal vector of Ω, \(f(s)=\mu _{1} s-\mu _{2} s^{\lambda}\), \(\lambda >1\) is a logistic source, the parameters \(\mu _{1}\) and \(\mu _{2}\) are positive constants, the chemotactic sensitivity parameter \(\chi >0\) satisfies

$$ \textstyle\begin{cases} 0< \chi < \min \{2\sqrt{\mu _{1}},1 \},&\text{if } 1< \lambda \leq 2, \\ 0< \chi < \min \{ \frac{\sqrt{4\mu _{1}(\mu _{1}+1)\lambda +\mu ^{2}_{1}}-\mu _{1}}{\lambda}, \frac{2}{\sqrt{\lambda (\lambda -1)(\lambda -2)}},1 \},&\text{if } \lambda >2, \end{cases} $$
(1.4)

and the initial data satisfy

$$ n^{\kappa}(x,0)=n_{0}(x),\qquad c^{\kappa}(x,0)=c_{0}(x),\qquad \boldsymbol{u}^{\kappa}(x,0)=\boldsymbol{u}_{0}(x), $$
(1.5)

and the boundary conditions satisfy

$$ \partial _{\nu}n^{\kappa}=\partial _{\nu}c^{\kappa}=0,\qquad \boldsymbol{u}^{\kappa}={\mathbf{0}}, \quad x\in \partial \Omega , t>0. $$
(1.6)

For simplicity, we shall assume that \(n_{0} \), \(c_{0}\), \(\boldsymbol{u}_{0}\), ϕ satisfy

$$ \textstyle\begin{cases} 0\leq n_{0}(x)\in C^{0}(\bar{\Omega})\quad \text{and} \quad n_{0}(x)\not\equiv 0, \quad x\in \Omega , \\ c_{0}(x)\in W^{1,\vartheta}(\Omega ),\qquad \inf_{x\in \Omega}c_{0}(x)>0,\quad \vartheta >8, \\ \boldsymbol{u}_{0}\in D(A^{\alpha}),\quad \alpha \in (\frac{1}{2},1), \\ \phi \in W^{2,\infty}(\bar{\Omega}), \end{cases} $$
(1.7)

where \(A:=-\mathscr{P}\Delta \) denotes the realization of the Stokes operator in \(L^{2}(\Omega ;\mathbb{R}^{2})\), \(D(A):=W^{2,2}(\Omega ;\mathbb{R}^{2})\cap W^{1,2}_{0}(\Omega ; \mathbb{R}^{2})\cap L^{2}_{\sigma}(\Omega )\) denotes the domain and \(L^{2}_{\sigma}(\Omega ):= \{\varphi \in L^{2}(\Omega ;\mathbb{R}^{2}) \mid \nabla \cdot \boldsymbol{u}=0 \}\). The map \(\mathscr{P}: L^{2}(\Omega ;\mathbb{R}^{2})\rightarrow L^{2}_{\sigma}( \Omega )\) is a Helmholtz projection operator.

Theorem 1.1

For all \(\kappa \in {(0, 1)}\), \(p\in (1,\vartheta )\), \(\alpha \in ( \frac{1}{2},1)\), suppose that the initial data \((n_{0},c_{0},\boldsymbol{u}_{0})\) satisfy (1.7) and that \((n^{\kappa},c^{\kappa},\boldsymbol{u}^{\kappa})\) is the unique global solution of system (1.3)(1.6). Then, for all \(p\in (1,\infty ) \) and any time \(T>0\), there exists a constant \({C(p, T)}>0\) such that

$$ \begin{aligned} &\bigl\Vert n^{\kappa}(\cdot ,t)-n^{0}(\cdot ,t) \bigr\Vert _{L^{\infty}(\Omega )}+ \bigl\Vert c^{\kappa}(\cdot ,t)-c^{0}(\cdot ,t) \bigr\Vert _{W^{1,p}(\Omega )} + \bigl\Vert A^{\alpha}\boldsymbol{u}^{\kappa}(\cdot ,t)-A^{\alpha}\boldsymbol{u}^{0}(\cdot ,t) \bigr\Vert _{L^{2}( \Omega )} \\ &\quad \leq {C(p,T)}\kappa .\end{aligned} $$

In particular, there is a constant \(C(p,T)>0\) such that

$$ \begin{aligned} &\bigl\Vert n^{\kappa}(\cdot ,t)-n^{0}(\cdot ,t) \bigr\Vert _{L^{\infty}(\Omega )}+ \bigl\Vert c^{\kappa}(\cdot ,t)-c^{0}(\cdot ,t) \bigr\Vert _{L^{\infty}(\Omega )} + \bigl\Vert \boldsymbol{u}^{\kappa}(\cdot ,t)- \boldsymbol{u}^{0}(\cdot ,t) \bigr\Vert _{L^{\infty}(\Omega )}\\ &\quad \leq { C(p,T)}\kappa .\end{aligned} $$

2 Preliminaries

It is necessary for us to give Lemma 2.1, which ensures the global existence and uniqueness of the solutions of our problems.

Lemma 2.1

(Theorem 1.1 in [51])

Let χ satisfy (1.4) and \(\Omega \subset \mathbb{R}^{2}\) be a bounded domain with smooth boundary. If \((n_{0},c_{0},\boldsymbol{u}_{0},\phi )\) fulfils (1.7), then for each \(\kappa \in \mathbb{R}\), system (1.3)(1.6) admits a unique solution \((n^{\kappa},c^{\kappa},\boldsymbol{u}^{\kappa})\) such that

$$ \textstyle\begin{cases} n^{\kappa}\in C^{0} (\bar{\Omega}\times [0,\infty ) )\cap C^{2,1} (\bar{\Omega}\times (0,\infty ) ), \\ c^{\kappa}\in C^{0} (\bar{\Omega}\times [0,\infty ) )\cap C^{2,1} (\bar{\Omega}\times (0,\infty ) )\cap L^{\infty}([0,\infty ); W^{1,\vartheta}(\Omega ) ), \\ \boldsymbol{u}^{\kappa}\in C^{0} (\bar{\Omega}\times [0,\infty ) )\cap C^{2,1} (\bar{\Omega}\times (0,\infty ) ), \\ P^{\kappa}\in C^{1,0} (\bar{\Omega}\times [0,\infty ) ) \end{cases} $$
(2.1)

and that \(n^{\kappa}\) and \(c^{\kappa}\) are positive in \(\Omega \times (0,\infty )\).

Moreover, this solution is uniformly bounded in the sense that

$$ \bigl\Vert n^{{\kappa}}(\cdot ,t) \bigr\Vert _{L^{\infty}(\Omega )}+ \bigl\Vert c^{ \kappa}(\cdot ,t) \bigr\Vert _{W^{1,\vartheta}(\Omega )}+ \bigl\Vert A^{\alpha}\boldsymbol{u}^{\kappa}(\cdot ,t) \bigr\Vert _{L^{2}(\Omega )}\leq M$$

with some positive constant M.

Next, we will use the \(L^{1}\)-mass conservation technique to deal with the logarithmic sensitive function to obtain the uniform lower bound estimation of c, which aims to eliminate the singularity of the logarithmic function.

Lemma 2.2

(Lemma 2.2 and Lemma 2.4 in [51])

For each \(\kappa \in \mathbb{R}\), \(\lambda >1\), it holds that

$$ \bigl\Vert n^{\kappa}(\cdot ,t) \bigr\Vert _{L^{1}(\Omega )}\leq m_{\ast}:={\max} \biggl\{ \bigl\Vert n_{0}(\cdot ) \bigr\Vert _{L^{1}(\Omega )}, \vert \Omega \vert \biggl( \frac{\mu _{1}}{\mu _{2}} \biggr)^{\frac{1}{\lambda -1}} \biggr\} \quad \textit{for all }t>0 $$
(2.2)

and

$$ c^{\kappa}(\cdot ,t)\geq \theta _{0}\quad \textit{for all } t>0, $$
(2.3)

as well as

$$ \bigl\Vert c^{\kappa}(\cdot ,t) \bigr\Vert _{L^{1}(\Omega )}\leq \max \bigl\{ \bigl\Vert c_{0}(\cdot ) \bigr\Vert _{L^{1}( \Omega )},m_{\ast}\bigr\} \quad \textit{for all } t>0, $$
(2.4)

where \(\theta _{0}\) is a positive constant.

In order to use semigroup estimates, we need the following auxiliary lemma.

Lemma 2.3

(Lemma 3.3 in [10])

Let \(p\in (1,\infty ]\) and let \(\lambda _{1}>0\) denote the first nonzero eigenvalue of −Δ in \(\Omega \subset \mathbb{R}^{N}\). Then there exists \(C>0\) such that, for all \(\varphi \in C^{1}(\bar{\Omega},\mathbb{R}^{N})\) fulfilling \(\varphi \cdot \nu =0\) on Ω, we have

$$ \bigl\Vert e^{t\Delta}\nabla \cdot \varphi \bigr\Vert _{L^{\infty}(\Omega )} \leq C\bigl(1+t^{- \frac{1}{2}-\frac{N}{2p}}\bigr)e^{-\lambda _{1}t} \Vert \varphi \Vert _{L^{p}( \Omega )}\quad \textit{for all }t>0.$$

3 Convergence as \(\kappa \rightarrow 0\)

In order to obtain the convergence of \((n^{\kappa},c^{\kappa},\boldsymbol{u}^{\kappa})\rightarrow (n^{0},c^{0},\boldsymbol{u}^{0})\), we need the following transformation.

Let

$$ \hat{n}:=n^{\kappa}-{n^{0}},\qquad \hat{c}:=c^{\kappa}-c^{0}, \qquad \hat{\boldsymbol{u}}:=\boldsymbol{u}^{\kappa}- \boldsymbol{u}^{0},\quad \text{and} \quad \hat{P}:=P^{\kappa}-P^{0}$$

for each \(\kappa \in (0,1)\), where \(P^{0}\) denotes the pressure of \(\kappa =0\). System (1.3) is transformed into

$$ \textstyle\begin{cases} \partial _{t}\hat{n}+\boldsymbol{u}^{\kappa}\cdot \nabla{ \hat{n}}+\hat{\boldsymbol{u}}\cdot \nabla n^{0}\\ \quad =\Delta{\hat{n}} -\chi \nabla \cdot [\frac{\hat{n}}{c^{\kappa}}\nabla c^{\kappa}- \frac{n^{0}\hat{c}}{c^{0}c^{\kappa}}\nabla c^{\kappa}+ \frac{n^{0}\nabla \hat{c}}{c^{0}}] +\mu _{1}\hat{n}+\mu _{2} [(n^{\kappa})^{\lambda}-(n^{0})^{\lambda}], &x\in \Omega , t>0, \\ \partial _{t}\hat{c}+\boldsymbol{u}^{\kappa}\cdot \nabla{\hat{c}}+\hat{\boldsymbol{u}} \cdot \nabla{c^{0}}=\Delta{\hat{c}}-\hat{c}+\hat{n}, &x\in \Omega , t>0, \\ \partial _{t}\hat{\boldsymbol{u}}+\kappa (\boldsymbol{u}^{\kappa}\cdot \nabla )\boldsymbol{u}^{\kappa}=\Delta \hat{\boldsymbol{u}}+\nabla \hat{P}+\hat{n}\nabla \phi , &x \in \Omega , t>0, \\ \nabla \cdot \hat{\boldsymbol{u}}=0, & x\in \Omega , t>0 \end{cases} $$
(3.1)

under the initial conditions

$$ \hat{n}(x,0)=\hat{c}(x,0)=0,\qquad \hat{\boldsymbol{u}}(x,0)={{\boldsymbol{0}}}, \quad x\in \Omega , $$
(3.2)

and the boundary conditions

$$ \partial _{\nu}\hat{n}=\partial _{\nu}\hat{c}=0,\qquad \hat{\boldsymbol{u}}=\boldsymbol{0}, \quad x\in \partial \Omega , t>0. $$
(3.3)

Our key step toward Theorem 1.1 is to derive the corresponding estimate for \((\hat{n},\hat{c},\hat{\boldsymbol{u}})\) with respect to the norm in \((L^{2}(\Omega ))^{4}\). So, we give the following three lemmas.

Lemma 3.1

There is a positive constant C independent of time such that, for any \(\kappa \in (0,1)\), we have

$$ \Vert \hat{n} \Vert _{L^{2}(\Omega )}+ \Vert \hat{c} \Vert _{H^{1}(\Omega )}+ \Vert \hat{\boldsymbol{u}} \Vert _{L^{2}(\Omega )} \leq \kappa e^{Ct}\quad \textit{for all }t>0.$$

Proof

This proof is based on the standard energy methods. We divide it into five steps.

Step 1. Multiplying equation (3.1)1 by and integrating by parts, one has

$$ \begin{aligned} &\frac{1}{2}\frac{d}{dt} \Vert \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+ \Vert \nabla \hat{n} \Vert ^{2}_{L^{2}(\Omega )} \\ &\quad= \int _{\Omega}n^{0}\hat{\boldsymbol {u}}\cdot \nabla \hat{n} + \chi \int _{\Omega}\frac{\hat{n}}{c^{\kappa}}\nabla{c^{\kappa}}\cdot \nabla \hat{n} -\chi \int _{\Omega}\frac{n^{0}\hat{c}}{c^{0}c^{\kappa}}\nabla{c^{\kappa}}\cdot \nabla \hat{n} +\chi \int _{\Omega}\frac{n^{0}}{c^{0}}\nabla{\hat{c}}\cdot \nabla \hat{n} \\ &\qquad{}+\mu _{1} \Vert \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+\mu _{2} \int _{\Omega}\hat{n} \bigl[\bigl(n^{\kappa}\bigr)^{\lambda}-\bigl(n^{0}\bigr)^{\lambda}\bigr] \\ &\quad :=I_{1}+I_{2}+I_{3}+I_{4}+I_{5}+I_{6}. \end{aligned} $$
(3.4)

For \(I_{1}\), we can use Hölder’s inequality and Young’s inequality to deduce that

$$ \begin{aligned} I_{1}&\leq \bigl\Vert n^{0} \bigr\Vert _{L^{\infty}(\Omega )} \Vert \hat{\boldsymbol {u}} \Vert _{L^{2}( \Omega )} \Vert \nabla \hat{n} \Vert _{L^{2}(\Omega )}\leq \frac{1}{8} \Vert \nabla \hat{n} \Vert ^{2}_{L^{2}(\Omega )} +2 \bigl\Vert n^{0} \bigr\Vert ^{2}_{L^{\infty}(\Omega )} \Vert \hat{\boldsymbol {u}} \Vert ^{2}_{L^{2}(\Omega )} \\ &\leq \frac{1}{8} \Vert \nabla \hat{n} \Vert ^{2}_{L^{2}( \Omega )}+C_{0} \Vert \hat{\boldsymbol {u}} \Vert ^{2}_{L^{2}(\Omega )},\end{aligned} $$

where \(C_{0}>0\) is constant.

For \(I_{2}\), thanks to \(\int _{\Omega}\hat{n}=0\) and using Hölder’s inequality, Young’s inequality, the Gagliardo–Nirenberg inequality, and Poincaré’s inequality, we can infer

$$\begin{aligned} I_{2}&\leq \frac{\chi}{\theta _{0}} \Vert \hat{n} \Vert _{L^{4}(\Omega )} \bigl\Vert \nabla c^{\kappa}\bigr\Vert _{L^{4}(\Omega )} \Vert \nabla \hat{n} \Vert _{L^{2}(\Omega )} \\ &\leq C_{1} \bigl( \Vert \hat{n} \Vert ^{\frac{1}{2}}_{L^{2}(\Omega )} \Vert \nabla \hat{n} \Vert ^{\frac{1}{2}}_{L^{2}(\Omega )}+ \Vert \hat{n} \Vert _{L^{2}(\Omega )} \bigr) \bigl\Vert \nabla c^{\kappa}\bigr\Vert _{L^{4}(\Omega )} \Vert \nabla \hat{n} \Vert _{L^{2}( \Omega )} \\ &=C_{1} \bigl( \Vert \hat{n} \Vert ^{\frac{1}{2}}_{L^{2}(\Omega )} \bigl\Vert \nabla c^{\kappa}\bigr\Vert _{L^{4}(\Omega )} \Vert \nabla \hat{n} \Vert ^{\frac{3}{2}}_{L^{2}( \Omega )} + \Vert \hat{n} \Vert ^{\frac{1}{2}}_{L^{2}(\Omega )} \bigl\Vert \nabla c^{\kappa}\bigr\Vert _{L^{4}(\Omega )} \Vert \hat{n} \Vert ^{\frac{1}{2}}_{L^{2}(\Omega )} \Vert \nabla \hat{n} \Vert _{L^{2}(\Omega )} \bigr) \\ &\leq C_{2} \Vert \hat{n} \Vert ^{\frac{1}{2}}_{L^{2}(\Omega )} \bigl\Vert \nabla c^{\kappa}\bigr\Vert _{L^{4}(\Omega )} \Vert \nabla \hat{n} \Vert ^{\frac{3}{2}}_{L^{2}( \Omega )} \\ &\leq \frac{1}{8} \Vert \nabla \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+ \frac{C_{3}}{2} \Vert \hat{n} \Vert ^{2}_{L^{2}(\Omega )}, \end{aligned}$$

where \(C_{1}\), \(C_{2}\), and \({C_{3}:=\max \{2(\mu _{1}+\lambda \mu _{2} M^{ \lambda -1}), 512C_{2}^{4}\|\nabla c^{\kappa}\|^{4}_{L^{4}(\Omega )} \} }\) are positive constants.

For \(I_{3}\), thanks to Lemma 2.2 and using Hölder’s inequality, Young’s inequality, and the Gagliardo–Nirenberg inequality, we find that

$$\begin{aligned} I_{3}&\leq \frac{\chi \Vert n^{0} \Vert _{L^{\infty}(\Omega )}}{\theta ^{2}_{0}} \int _{\Omega}\hat{c} \bigl\vert \nabla{c^{\kappa}} \bigr\vert \vert \nabla \hat{n} \vert \\ &\leq \frac{\chi \Vert n^{0} \Vert _{L^{\infty}(\Omega )}}{\theta ^{2}_{0}} \bigl\Vert \nabla c^{\kappa}\bigr\Vert _{L^{4}(\Omega )} \Vert \hat{c} \Vert _{L^{4}(\Omega )} \Vert \nabla \hat{n} \Vert _{L^{2}(\Omega )} \\ &\leq \frac{1}{8} \Vert \nabla \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+ \frac{2\chi ^{2} \Vert n^{0} \Vert ^{2}_{L^{\infty}(\Omega )} \Vert \nabla c^{\kappa} \Vert ^{2}_{L^{4}(\Omega )}}{\theta ^{4}_{0}} \Vert \hat{c} \Vert ^{2}_{L^{4}(\Omega )} \\ &\leq \frac{1}{8} \Vert \nabla \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+ \frac{2\chi ^{2}C_{GN} \Vert n^{0} \Vert ^{2}_{L^{\infty}(\Omega )} \Vert \nabla c^{\kappa} \Vert ^{2}_{L^{4}(\Omega )}}{\theta ^{4}_{0}} \bigl( \Vert \hat{c} \Vert ^{\frac{1}{2}}_{L^{2}(\Omega )} \Vert \nabla \hat{c} \Vert ^{ \frac{1}{2}}_{L^{2}(\Omega )}+ \Vert \hat{c} \Vert _{L^{2}(\Omega )} \bigr)^{2} \\ &\leq \frac{1}{8} \Vert \nabla \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+ \Vert \nabla \hat{c} \Vert ^{2}_{L^{2}(\Omega )}\\ &\quad {}+{\frac{2\chi ^{2}C_{GN} \Vert n^{0} \Vert ^{2}_{L^{\infty}(\Omega )} \Vert \nabla c^{\kappa} \Vert ^{2}_{L^{4}(\Omega )}}{\theta ^{4}_{0}}} \biggl( \frac{2\chi ^{2}C_{GN} \Vert n^{0} \Vert ^{2}_{L^{\infty}(\Omega )} \Vert \nabla c^{\kappa} \Vert ^{2}_{L^{4}(\Omega )}}{\theta ^{4}_{0}}+2 \biggr) \Vert \hat{c} \Vert ^{2}_{L^{2}(\Omega )} \\ &\leq \frac{1}{8} \Vert \nabla \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+ \Vert \nabla \hat{c} \Vert ^{2}_{L^{2}(\Omega )}+C_{4} \Vert \hat{c} \Vert ^{2}_{L^{2}(\Omega )} \end{aligned}$$

with some \(C_{4}>0\) and \(C_{GN}>0\).

For \(I_{4}\), using Hölder’s inequality and Young’s inequality, we see that

$$\begin{aligned} I_{4}\leq \frac{\chi \Vert n^{0} \Vert _{L^{\infty}(\Omega )}}{\theta _{0}} \Vert \nabla{\hat{c}} \Vert _{L^{2}(\Omega )} \Vert \nabla \hat{n} \Vert _{L^{2}(\Omega )} \leq \frac{1}{8} \Vert \nabla \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+C_{5} \Vert \nabla{ \hat{c}} \Vert ^{2}_{L^{2}(\Omega )} \end{aligned}$$

with some \(C_{5}>0\).

For \(I_{5}\) and \(I_{6}\), using Lagrange’s mean value theorem and Hölder’s inequality, we deduce that

$$\begin{aligned} I_{5}+I_{6}&=\mu _{1} \Vert \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+\mu _{2} \int _{\Omega}\hat{n} \bigl[\bigl(n^{\kappa}\bigr)^{\lambda}-\bigl(n^{0}\bigr)^{\lambda}\bigr]\\ &\leq \bigl(\mu _{1}+\lambda \mu _{2}\max \bigl\{ \bigl\Vert n^{\kappa}\bigr\Vert ^{\lambda -1}_{L^{\infty}(\Omega )}, \bigl\Vert n^{0} \bigr\Vert ^{\lambda -1}_{L^{\infty}(\Omega )} \bigr\} \bigr) \Vert \hat{n} \Vert ^{2}_{L^{2}(\Omega )}. \end{aligned}$$

Substituting \(I_{1}\), \(I_{2}\), \(I_{3}\), \(I_{4}\), \(I_{5}\), \(I_{6}\) into (3.4) and using Lemma 2.1, we have

$$ \begin{aligned} &\frac{d}{dt} \Vert \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+ \Vert \nabla \hat{n} \Vert ^{2}_{L^{2}( \Omega )} \\ &\quad \leq 2C_{3} \Vert \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+2C_{4} \Vert \hat{c} \Vert ^{2}_{L^{2}(\Omega )}+2(1+C_{5}) \Vert \nabla{\hat{c}} \Vert ^{2}_{L^{2}( \Omega )}+2C_{0} \Vert \hat{\boldsymbol {u}} \Vert ^{2}_{L^{2}(\Omega )}. \end{aligned} $$
(3.5)

Step 2. We multiply equation (3.1)2 with ĉ, integrate the resulting equation in Ω, and use the integration by parts to obtain

$$ \begin{aligned} \frac{1}{2}\frac{d}{dt} \Vert \hat{c} \Vert ^{2}_{L^{2}(\Omega )}+ \Vert \hat{c} \Vert ^{2}_{L^{2}( \Omega )}+ \Vert \nabla \hat{c} \Vert ^{2}_{L^{2}(\Omega )} &= \int _{\Omega}c^{0} \hat{\boldsymbol{u}}\cdot \nabla \hat{c}+ \int _{\Omega}\hat{n}\hat{c}:=I_{7}. \end{aligned} $$
(3.6)

For \(I_{7}\), we use Hölder’s inequality and Young’s inequality to get

$$ \begin{aligned} I_{7}&\leq \bigl\Vert c^{0} \bigr\Vert _{L^{\infty}(\Omega )} \Vert \hat{\boldsymbol{u}} \Vert _{L^{2}( \Omega )} \Vert \nabla \hat{c} \Vert _{L^{2}(\Omega )}+ \Vert \hat{n} \Vert _{L^{2}( \Omega )} \Vert \hat{c} \Vert _{L^{2}(\Omega )} \\ &\leq \frac{1}{2} \Vert \nabla \hat{c} \Vert ^{2}_{L^{2}(\Omega )}+ \frac{ \Vert c^{0} \Vert ^{2}_{L^{\infty}(\Omega )}}{2} \Vert \hat{\boldsymbol{u}} \Vert ^{2}_{L^{2}( \Omega )} + \frac{1}{2} \Vert \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+ \frac{1}{2} \Vert \hat{c} \Vert _{L^{2}(\Omega )}. \end{aligned} $$
(3.7)

Let \(C_{7}:=\|c^{0}\|^{2}_{L^{\infty}(\Omega )}\). Thus substituting (3.7) into (3.6), we have

$$ \begin{aligned} \frac{d}{dt} \Vert \hat{c} \Vert ^{2}_{L^{2}(\Omega )}+ \Vert \hat{c} \Vert ^{2}_{L^{2}( \Omega )}+ \Vert \nabla \hat{c} \Vert ^{2}_{L^{2}(\Omega )} &\leq C_{7} \Vert \hat{\boldsymbol{u}} \Vert ^{2}_{L^{2}(\Omega )}+ \Vert \hat{n} \Vert ^{2}_{L^{2}(\Omega )}. \end{aligned} $$
(3.8)

Step 3. Testing the second equation of (3.1) with \(-\Delta \hat{c}\) and using the integration by parts, we see that

$$ \begin{aligned} &\frac{1}{2}\frac{d}{dt} \Vert \nabla \hat{c} \Vert ^{2}_{L^{2}(\Omega )}+ \Vert \nabla \hat{c} \Vert ^{2}_{L^{2}(\Omega )}+ \Vert \Delta \hat{c} \Vert ^{2}_{L^{2}( \Omega )} \\ &\quad = \int _{\Omega}\Delta \hat{c} \boldsymbol{u}^{\kappa}\cdot \nabla \hat{c}+ \int _{\Omega}\Delta \hat{c} \hat{\boldsymbol{u}}\cdot \nabla c^{0} + \int _{\Omega}\nabla \hat{n}\cdot \nabla \hat{c}:=I_{8}. \end{aligned} $$
(3.9)

Using Hölder’s inequality and Young’s inequality, we obtain

$$ \begin{aligned} I_{8}&\leq \bigl\Vert \boldsymbol{u}^{\kappa}\bigr\Vert _{L^{\infty}(\Omega )} \Vert \Delta \hat{c} \Vert _{L^{2}( \Omega )} \Vert \nabla \hat{c} \Vert _{L^{2}(\Omega )} + \Vert \Delta \hat{c} \Vert _{L^{2}( \Omega )} \Vert \hat{\boldsymbol{u}} \Vert _{L^{4}(\Omega )} \bigl\Vert \nabla c^{0} \bigr\Vert _{L^{4}( \Omega )} \\ &\quad {}+ \Vert \nabla \hat{n} \Vert _{L^{2}(\Omega )} \Vert \nabla \hat{c} \Vert _{L^{2}( \Omega )} \\ &\leq \frac{1}{2} \Vert \Delta \hat{c} \Vert ^{2}_{L^{2}(\Omega )}+ \biggl( \bigl\Vert { \boldsymbol{u}^{\kappa}} \bigr\Vert ^{2}_{L^{\infty}(\Omega )}+ \frac{1}{2} \biggr) \Vert \nabla \hat{c} \Vert ^{2}_{L^{2}(\Omega )} \\ &\quad {}+ \Vert \hat{\boldsymbol{u}} \Vert ^{2}_{L^{4}(\Omega )} \bigl\Vert \nabla c^{0} \bigr\Vert ^{2}_{L^{4}(\Omega )}+\frac{1}{2} \Vert \nabla \hat{n} \Vert ^{2}_{L^{2}( \Omega )}. \end{aligned} $$
(3.10)

Using the Gagliardo–Nirenberg inequality, we have

$$ \begin{aligned} \Vert \hat{\boldsymbol{u}} \Vert ^{2}_{L^{4}(\Omega )}&\leq C_{GN} \bigl( \Vert \hat{\boldsymbol{u}} \Vert ^{ \frac{1}{2}}_{L^{2}(\Omega )} \Vert \nabla \hat{\boldsymbol{u}} \Vert ^{\frac{1}{2}}_{L^{2}( \Omega )}+ \Vert \hat{\boldsymbol{u}} \Vert _{L^{2}(\Omega )} \bigr)^{2}\\ &\leq 2C_{GN} \Vert \hat{\boldsymbol{u}} \Vert _{L^{2}(\Omega )} \Vert \nabla \hat{\boldsymbol{u}} \Vert _{L^{2}(\Omega )}+2C_{GN} \Vert \hat{\boldsymbol{u}} \Vert ^{2}_{L^{2}(\Omega )} \\ &\leq \frac{1}{2 \Vert \nabla c^{0} \Vert ^{2}_{L^{4}(\Omega )}} \Vert \nabla \hat{\boldsymbol{u}} \Vert ^{2}_{L^{2}(\Omega )} +2C_{GN} \bigl(C_{GN} \bigl\Vert \nabla c^{0} \bigr\Vert ^{2}_{L^{4}(\Omega )}+1 \bigr) \Vert \hat{\boldsymbol{u}} \Vert ^{2}_{L^{2}(\Omega )}. \end{aligned} $$
(3.11)

Substituting (3.11) into (3.10), one has

$$ \begin{aligned} I_{8}&\leq \frac{1}{2} \Vert \nabla \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+ \frac{1}{2} \Vert \Delta \hat{c} \Vert ^{2}_{L^{2}(\Omega )}+ \biggl( \bigl\Vert {\boldsymbol{u}^{\kappa}} \bigr\Vert ^{2}_{L^{\infty}(\Omega )}+ \frac{1}{2} \biggr) \Vert \nabla \hat{c} \Vert ^{2}_{L^{2}( \Omega )} \\ &\quad {}+\frac{1}{2} \Vert \nabla \hat{\boldsymbol{u}} \Vert ^{2}_{L^{2}(\Omega )}+2C_{GN} \bigl\Vert \nabla c^{0} \bigr\Vert ^{2}_{L^{4}(\Omega )} \bigl(C_{GN} \bigl\Vert \nabla c^{0} \bigr\Vert ^{2}_{L^{4}( \Omega )}+1 \bigr) \Vert \hat{\boldsymbol{u}} \Vert ^{2}_{L^{2}(\Omega )}. \end{aligned} $$
(3.12)

Thus, we can substitute (3.12) into (3.9) to deduce that

$$ \begin{aligned} &\frac{d}{dt} \Vert \nabla \hat{c} \Vert ^{2}_{L^{2}(\Omega )}+2 \Vert \nabla \hat{c} \Vert ^{2}_{L^{2}(\Omega )}+ \Vert \Delta \hat{c} \Vert ^{2}_{L^{2}(\Omega )} \\ &\quad \leq \Vert \nabla \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+ \bigl(2 \bigl\Vert {\boldsymbol{u}^{\kappa}} \bigr\Vert ^{2}_{L^{\infty}(\Omega )}+1 \bigr) \Vert \nabla \hat{c} \Vert ^{2}_{L^{2}( \Omega )} \\ &\qquad {}+4C_{GN} \bigl\Vert \nabla c^{0} \bigr\Vert ^{2}_{L^{4}(\Omega )} \bigl(C_{GN} \bigl\Vert \nabla c^{0} \bigr\Vert ^{2}_{L^{4}(\Omega )}+1 \bigr) \Vert \hat{ \boldsymbol{u}} \Vert ^{2}_{L^{2}( \Omega )}+ \Vert \nabla \hat{\boldsymbol{u}} \Vert ^{2}_{L^{2}(\Omega )} \\ &\quad \leq \Vert \nabla \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+C_{8} \bigl( \Vert \nabla \hat{c} \Vert ^{2}_{L^{2}(\Omega )}+ \Vert \hat{\boldsymbol{u}} \Vert ^{2}_{L^{2}(\Omega )} \bigr)+ \Vert \nabla \hat{ \boldsymbol{u}} \Vert ^{2}_{L^{2}(\Omega )}, \end{aligned} $$
(3.13)

where \(C_{8}:=\max \{2\|{\boldsymbol{u}^{\kappa}}\|^{2}_{L^{\infty}(\Omega )}+1,4C_{GN} \|\nabla c^{0}\|^{2}_{L^{4}(\Omega )} (C_{GN}\|\nabla c^{0}\|^{2}_{L^{4}( \Omega )}+1 ) \}\).

Step 4. Taking the inner product (1.3)3 by \(\hat{\boldsymbol{u}}\), integrating by parts, and using Hölder’s inequality, Poincaré’s inequality, and Young’s inequality, one has

$$ \begin{aligned} \frac{1}{2}\frac{d}{dt} \Vert \hat{ \boldsymbol{u}} \Vert ^{2}_{L^{2}(\Omega )}+ \Vert \nabla \hat{\boldsymbol{u}} \Vert ^{2}_{L^{2}(\Omega )}&=\kappa \int _{\Omega}\bigl( \boldsymbol{u}^{\kappa}\otimes \boldsymbol{u}^{\kappa}\bigr):\nabla \hat{\boldsymbol{u}}- \int _{\Omega}\phi \nabla \hat{n}\cdot \hat{\boldsymbol{u}} \\ &\leq \vert \kappa \vert \bigl\Vert \boldsymbol{u}^{\kappa}\otimes \boldsymbol{u}^{\kappa}\bigr\Vert _{L^{2}( \Omega )} \Vert \nabla \hat{\boldsymbol{u}} { \|}_{L^{2}(\Omega )} + \Vert \phi \|_{L^{\infty}(\Omega )} \Vert \hat{\boldsymbol{u}} \|_{L^{2}(\Omega )}\| \hat{n}\|_{L^{2}(\Omega )} \\ &\leq \vert \kappa \vert \bigl\Vert \boldsymbol{u}^{\kappa}\bigr\Vert ^{2}_{L^{4}(\Omega )} \Vert \nabla \hat{\boldsymbol{u}}\|_{L^{2}(\Omega )} +c_{1} \Vert \phi \|_{L^{\infty}(\Omega )} \Vert \nabla \hat{\boldsymbol{u}} \|_{L^{2}(\Omega )}\|\hat{n}\|_{L^{2}(\Omega )} \\ &\leq \frac{1}{2} \Vert \nabla \hat{\boldsymbol{u}} \Vert ^{2}_{L^{2}(\Omega )}+c^{2}_{1} \Vert \phi \Vert ^{2}_{L^{\infty}(\Omega )} \Vert \hat{n} \Vert ^{2}_{L^{2}(\Omega )} + \vert \kappa \vert ^{2} \bigl\Vert \boldsymbol{u}^{\kappa}\bigr\Vert ^{4}_{L^{4}(\Omega )}. \end{aligned} $$

That is,

$$ \begin{aligned} \frac{d}{dt} \Vert \hat{\boldsymbol{u}} \Vert ^{2}_{L^{2}(\Omega )}+ \Vert \nabla \hat{\boldsymbol{u}} \Vert ^{2}_{L^{2}(\Omega )}&\leq 2c^{2}_{1} \Vert \phi \Vert ^{2}_{L^{\infty}(\Omega )} \Vert \hat{n} \Vert ^{2}_{L^{2}(\Omega )} +2 \vert \kappa \vert ^{2} \bigl\Vert \boldsymbol{u}^{\kappa}\bigr\Vert ^{4}_{L^{4}(\Omega )} \\ &\leq C_{9}\bigl( \Vert \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+ \vert \kappa \vert ^{2}\bigr), \end{aligned} $$
(3.14)

where \(C_{9}:=\max \{2c^{2}_{1}\|\phi \|^{2}_{L^{\infty}(\Omega )},\| \boldsymbol{u}^{\kappa}\|^{4}_{L^{4}(\Omega )} \}\).

Step 5. Summarily, from Step 1–Step 4, we can close the evolution estimates for , ĉ, and u.

Combining inequalities (3.5), (3.8), (3.13), and (3.14), we obtain

$$ \begin{aligned} &\frac{d}{dt} \bigl( \Vert \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+ \Vert \hat{c} \Vert ^{2}_{L^{2}( \Omega )}+ \Vert \nabla \hat{c} \Vert ^{2}_{L^{2}(\Omega )}+ \Vert \hat{\boldsymbol{u}} \Vert ^{2}_{L^{2}( \Omega )} \bigr) + \Vert \Delta \hat{c} \Vert ^{2}_{L^{2}(\Omega )} \\ &\quad \leq (2C_{3}+C_{9}+1) \Vert \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+2C_{4} \Vert \hat{c} \Vert ^{2}_{L^{2}(\Omega )}+(C_{8}-2) \Vert \nabla{\hat{c}} \Vert ^{2}_{L^{2}( \Omega )}\\ &\qquad {}+(2C_{0}+C_{7}+C_{8}) \Vert \hat{\boldsymbol {u}} \Vert ^{2}_{L^{2}(\Omega )} +C_{9} \vert \kappa \vert ^{2} \\ &\quad \leq C_{10} \bigl( \Vert \hat{n} \Vert ^{2}_{L^{2}(\Omega )}+ \Vert \hat{c} \Vert ^{2}_{L^{2}( \Omega )}+ \Vert \nabla \hat{c} \Vert ^{2}_{L^{2}(\Omega )}+ \Vert \hat{\boldsymbol{u}} \Vert ^{2}_{L^{2}( \Omega )} \bigr) +C_{10} \vert \kappa \vert ^{2}, \end{aligned} $$
(3.15)

where \(C_{10}:=\max \{2C_{3}+C_{9}+1, 2, 2C_{0}+C_{7}+C_{8} \}\). Then, applying Gronwall’s inequality to (3.15) and \(\hat{n}_{0}=\hat{c}_{0}=\nabla \hat{c}_{0}=0\), \(\hat{\boldsymbol{u}}_{0}=\boldsymbol{0}\), we conclude that Lemma 3.1 holds. □

Lemma 3.2

There exists \(\widetilde{C}>0\) dependent of time such that, for any \(\kappa \in (0,1)\), we find that

$$ \bigl\Vert A^{\alpha}\hat{\boldsymbol {u}}(\cdot ,t) \bigr\Vert _{L^{2}(\Omega )} \leq \widetilde{C} \vert \kappa \vert \quad \textit{for all }t>0 $$
(3.16)

and

$$ \bigl\Vert \hat{{\boldsymbol {u}}}(\cdot ,t) \bigr\Vert _{L^{\infty}(\Omega )}\leq \widetilde{C} \vert \kappa \vert \quad \textit{for all }t>0. $$
(3.17)

Proof

Using that \(\alpha <1\) and relying on known regularization properties of the Stokes semigroup in Ω, we obtain \(C_{11}>0\) and \(C_{12}>0\) such that (3.18), where \(f_{1}:=\mathscr{P}[\hat{n}\nabla \phi ]- \kappa \mathscr{P}[ \boldsymbol{u^{\kappa}}\cdot \nabla ]\boldsymbol{u}^{\kappa}\), \(\alpha <1\). Lemma 2.1 and Lemma 3.1 provide

$$\begin{aligned} \bigl\Vert A^{\alpha}\hat{\boldsymbol {u}}(\cdot ,t) \bigr\Vert _{L^{2}(\Omega )}&\leq \int ^{t}_{0} \bigl\Vert A^{\alpha}e^{-(t-s)A}f_{1}(\cdot ,s) \bigr\Vert _{L^{2}(\Omega )}\,ds \\ &\leq C_{11} \int ^{t}_{0}(t-s)^{-\alpha} \bigl\Vert f_{1}(\cdot ,s) \bigr\Vert _{L^{2}( \Omega )}\,ds \\ &\leq C_{11} \int ^{t}_{0}(t-s)^{-\alpha} \bigl( \Vert \nabla \phi \Vert _{L^{\infty}(\Omega )} \Vert \hat{n} \Vert _{L^{2}(\Omega )} + \kappa \bigl\Vert \boldsymbol{u}^{\kappa}\bigr\Vert _{L^{\infty}(\Omega )} \bigl\Vert \nabla \boldsymbol{u}^{\kappa}\bigr\Vert _{L^{2}( \Omega )} \bigr)\,ds \\ &\leq C_{12}\kappa \quad \text{for all }t>0. \end{aligned}$$
(3.18)

Meanwhile, \(\alpha >\frac{1}{2}\) warrants that \(D(A^{\alpha})\hookrightarrow L^{\infty}(\Omega ;\mathbb{R}^{2})\) [11] holds. □

Lemma 3.3

There is \(\widetilde{C}>0\) such that, for any \(\kappa \in (0,1)\), we see that

$$ \bigl\Vert \hat{n}(\cdot ,t) \bigr\Vert _{L^{p}(\Omega )}+ \bigl\Vert \hat{c}(\cdot ,t) \bigr\Vert _{W^{1,p}( \Omega )}\leq \widetilde{C}\kappa \quad \textit{for all }p>3, t>0.$$

Proof

Multiplying equation (3.1)1 by \(\hat{n}^{p-1}\) and integrating by parts, we see that

$$\begin{aligned} &\frac{1}{p}\frac{d}{dt} \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )}+ \frac{4(p-1)}{p^{2}} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )} \\ &\quad=(p-1) \int _{\Omega}n^{0}\hat{n}^{p-2}\hat{\boldsymbol {u}} \cdot \nabla \hat{n} + \chi (p-1) \int _{\Omega}\frac{\hat{n}^{p-1}}{c^{\kappa}}\nabla{c^{\kappa}} \cdot \nabla \hat{n}\\ &\qquad {} -\chi (p-1) \int _{\Omega}\frac{n^{0}\hat{n}^{p-2}\hat{c}}{c^{0}c^{\kappa}}\nabla{c^{\kappa}}\cdot \nabla \hat{n}+\chi (p-1) \int _{\Omega}\frac{n^{0}\hat{n}^{p-2}}{c^{0}}\nabla{ \hat{c}}\cdot \nabla \hat{n} \\ &\quad\quad {}+\mu _{1} \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )} +\mu _{2} \int _{\Omega}\hat{n}^{p-1} \bigl[\bigl(n^{\kappa}\bigr)^{\lambda}-\bigl(n^{0}\bigr)^{\lambda}\bigr] \\ &\quad=\frac{2(p-1)}{p} \int _{\Omega}n^{0}\hat{n}^{\frac{p}{2}-1} \hat{\boldsymbol {u}} \cdot \nabla \hat{n}^{\frac{p}{2}} +\frac{2\chi (p-1)}{p} \int _{\Omega}\frac{\hat{n}^{\frac{p}{2}}}{c^{\kappa}}\nabla{c^{\kappa}} \cdot \nabla \hat{n}^{\frac{p}{2}} \\ &\qquad {}-\frac{2\chi (p-1)}{p} \int _{\Omega}\frac{n^{0}\hat{n}^{\frac{p}{2}-1}\hat{c}}{c^{0}c^{\kappa}} \nabla{c^{\kappa}}\cdot \nabla \hat{n}^{\frac{p}{2}}+\frac{2\chi (p-1)}{p} \int _{\Omega}\frac{n^{0}\hat{n}^{\frac{p}{2}-1}}{c^{0}}\nabla{\hat{c}}\cdot \nabla \hat{n}^{\frac{p}{2}} \\ &\quad\quad {} +\mu _{1} \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )} +\mu _{2} \int _{\Omega}\hat{n}^{p-1} \bigl[\bigl(n^{\kappa}\bigr)^{\lambda}-\bigl(n^{0}\bigr)^{\lambda}\bigr]. \end{aligned}$$

That is,

$$\begin{aligned} &\frac{d}{dt} \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )}+ \frac{4(p-1)}{p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )} \\ &\quad=2(p-1) \int _{\Omega}n^{0}\hat{n}^{\frac{p}{2}-1}\hat{\boldsymbol {u}} \cdot \nabla \hat{n}^{\frac{p}{2}} +2\chi (p-1) \int _{\Omega}\frac{\hat{n}^{\frac{p}{2}}}{c^{\kappa}}\nabla{c^{\kappa}}\cdot \nabla \hat{n}^{\frac{p}{2}} \\ &\qquad {}-2\chi (p-1) \int _{\Omega}\frac{n^{0}\hat{n}^{\frac{p}{2}-1}\hat{c}}{c^{0}c^{\kappa}}\nabla{c^{\kappa}}\cdot \nabla \hat{n}^{\frac{p}{2}}+2\chi (p-1) \int _{\Omega}\frac{n^{0}\hat{n}^{\frac{p}{2}-1}}{c^{0}}\nabla{\hat{c}}\cdot \nabla \hat{n}^{\frac{p}{2}} \\ &\quad\quad {} +\mu _{1}p \bigl\Vert \hat{n}^{ \frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )} +\mu _{2}p \int _{\Omega}\hat{n}^{p-1} \bigl[\bigl(n^{\kappa}\bigr)^{\lambda}-\bigl(n^{0}\bigr)^{\lambda}\bigr] \\ &\quad:=J_{1}+J_{2}+J_{3}+J_{4}+J_{5}+J_{6}. \end{aligned}$$
(3.19)

For \(J_{1}\), aided by Lemma 2.1 in [50], Hölder’s inequality, Young’s inequality, the Gagliardo–Nirenberg inequality, and Lemma 3.1, we have

$$\begin{aligned} J_{1}&=2(p-1) \bigl\Vert n^{0} \bigr\Vert _{L^{\infty}(\Omega )} \bigl\Vert \hat{n}^{\frac{p}{2}-1} \bigr\Vert _{L^{4}(\Omega )} \Vert \hat{\boldsymbol {u}} \Vert _{L^{4}(\Omega )} \bigl\Vert \nabla \hat{n}^{ \frac{p}{2}} \bigr\Vert _{L^{2}(\Omega )} \\ &=2(p-1) \bigl\Vert n^{0} \bigr\Vert _{L^{\infty}(\Omega )} \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{ \frac{p-2}{p}}_{L^{\frac{4(p-2)}{p}}(\Omega )} \Vert \hat{ \boldsymbol {u}} \Vert _{L^{4}( \Omega )} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert _{L^{2}(\Omega )} \\ &\leq \frac{p-1}{4p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}+4p(p-1) \bigl\Vert n^{0} \bigr\Vert ^{2}_{L^{\infty}(\Omega )} \bigl\Vert \hat{n}^{ \frac{p}{2}} \bigr\Vert ^{\frac{2(p-2)}{p}}_{L^{\frac{4(p-2)}{p}}(\Omega )} \Vert \hat{\boldsymbol {u}} \Vert ^{2}_{L^{4}(\Omega )} \\ &\leq \frac{p-1}{4p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )} +4p(p-1)C_{GN} \bigl\Vert n^{0} \bigr\Vert ^{2}_{L^{\infty}(\Omega )} \Vert \hat{\boldsymbol {u}} \Vert ^{2}_{L^{4}(\Omega )} \\ &\quad {}\times \bigl( \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{ \frac{1}{p-2}}_{L^{\frac{4}{p}}(\Omega )} \bigl\Vert \nabla \hat{n}^{ \frac{p}{2}} \bigr\Vert ^{\frac{p-3}{p-2}}_{L^{2}(\Omega )} + \bigl\Vert \hat{n}^{ \frac{p}{2}} \bigr\Vert _{L^{\frac{4}{p}}(\Omega )} \bigr)^{\frac{2(p-2)}{p}} \\ &\leq \frac{p-1}{4p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )} +2^{\frac{3p-4}{p}}p(p-1)C_{GN} \bigl\Vert n^{0} \bigr\Vert ^{2}_{L^{\infty}( \Omega )} \Vert \hat{ \boldsymbol {u}} \Vert ^{2}_{L^{4}(\Omega )} \\ &\quad {}\times \bigl( \Vert \hat{n} \Vert _{L^{2}( \Omega )} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{\frac{2(p-3)}{p}}_{L^{2}( \Omega )} + \Vert \hat{n} \Vert ^{p-2}_{L^{2}(\Omega )} \bigr) \\ &\leq \frac{p-1}{2p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}+c_{1} \Vert \hat{n} \Vert ^{\frac{p}{3}}_{L^{2}(\Omega )} \Vert \hat{\boldsymbol {u}} \Vert ^{\frac{2p}{3}}_{L^{4}(\Omega )} +c_{1} \Vert \hat{\boldsymbol {u}} \Vert ^{2}_{L^{4}( \Omega )} \Vert \hat{n} \Vert ^{p-2}_{L^{2}(\Omega )} \\ &\leq \frac{p-1}{2p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}+c_{2}\kappa ^{p}\quad \text{for all }p>3. \end{aligned}$$
(3.20)

For \(J_{2}\), \(J_{3}\), and \(J_{4}\), using Hölder’s inequality, Young’s inequality, the Gagliardo–Nirenberg inequality, and Lemma 3.1 provides some \(c_{i}>0\), \((i=3,\ldots , {10})\) such that

$$ \begin{aligned} J_{2}&=\frac{2\chi (p-1)}{\theta _{0}} \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert _{L^{4}( \Omega )} \bigl\Vert \nabla{c^{\kappa}} \bigr\Vert _{L^{4}(\Omega )} \bigl\Vert \nabla \hat{n}^{ \frac{p}{2}} \bigr\Vert _{L^{2}(\Omega )} \\ &\leq \frac{p-1}{4p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )} +\frac{4\chi ^{2}p(p-1)}{\theta ^{2}_{0}} \bigl\Vert \hat{n}^{ \frac{p}{2}} \bigr\Vert ^{2}_{L^{4}(\Omega )} \bigl\Vert \nabla{c^{\kappa}} \bigr\Vert ^{2}_{L^{4}( \Omega )} \\ &\leq \frac{p-1}{4p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}\\ &\quad {}+ \frac{4C_{GN}\chi ^{2}p(p-1) \Vert \nabla{c^{\kappa}} \Vert ^{2}_{L^{4}(\Omega )}}{\theta ^{2}_{0}} \bigl( \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{\frac{1}{p}}_{L^{\frac{4}{p}}(\Omega )} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{\frac{p-1}{p}}_{L^{2}(\Omega )}+ \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert _{L^{\frac{4}{p}}(\Omega )} \bigr)^{2} \\ &\leq \frac{p-1}{2p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}+c_{3} \Vert \hat{n} \Vert ^{p}_{L^{2}(\Omega )} \\ &\leq \frac{p-1}{2p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}+c_{4}\kappa ^{p} \end{aligned} $$
(3.21)

and

$$\begin{aligned} J_{3}&\leq \frac{2\chi (p-1) \Vert n^{0} \Vert _{L^{\infty}(\Omega )}}{\theta ^{2}_{0}} \bigl\Vert \hat{n}^{\frac{p}{2}-1} \bigr\Vert _{L^{4}(\Omega )} \Vert \hat{c} \Vert _{L^{8}(\Omega )} \bigl\Vert \nabla{c^{\kappa}} \bigr\Vert _{L^{8}(\Omega )} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert _{L^{2}( \Omega )} \\ &\leq \frac{p-1}{4p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )} + \frac{4\chi ^{2}p(p-1) \Vert n^{0} \Vert ^{2}_{L^{\infty}(\Omega )}}{\theta ^{4}_{0}} \bigl\Vert \hat{n}^{\frac{p}{2}-1} \bigr\Vert ^{2}_{L^{4}(\Omega )} \bigl\Vert \nabla{c^{\kappa}} \bigr\Vert ^{2}_{L^{8}( \Omega )} \Vert \hat{c} \Vert ^{2}_{L^{8}(\Omega )} \\ &\leq \frac{p-1}{4p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )} \\ \\ &\quad {}+ c_{5} \bigl( \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{\frac{1}{p-2}}_{L^{ \frac{4}{p}}(\Omega )} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{ \frac{p-3}{p-2}}_{L^{2}(\Omega )} + \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert _{L^{ \frac{4}{p}}(\Omega )} \bigr)^{\frac{2(p-2)}{p}} \bigl( \Vert \hat{c} \Vert ^{ \frac{1}{2}}_{L^{2}(\Omega )} \Vert \nabla \hat{c} \Vert ^{\frac{3}{2}}_{L^{2}( \Omega )}+ \Vert \hat{c} \Vert ^{2}_{L^{2}(\Omega )} \bigr) \\ &\leq \frac{p-1}{2p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}+c_{6} \bigl( \Vert \hat{n} \Vert ^{\frac{p}{3}}_{L^{2}(\Omega )} \bigl( \Vert \hat{c} \Vert ^{\frac{1}{2}}_{L^{2}(\Omega )} \Vert \nabla \hat{c} \Vert ^{ \frac{3}{2}}_{L^{2}(\Omega )}+ \Vert \hat{c} \Vert ^{2}_{L^{2}(\Omega )} \bigr)^{ \frac{p}{3}} \\ &\quad {} + \Vert \hat{n} \Vert ^{p-2}_{L^{2}(\Omega )} \bigl( \Vert \hat{c} \Vert ^{ \frac{1}{2}}_{L^{2}(\Omega )} \Vert \nabla \hat{c} \Vert ^{\frac{3}{2}}_{L^{2}( \Omega )}+ \Vert \hat{c} \Vert ^{2}_{L^{2}(\Omega )} \bigr) \bigr) \\ &\leq \frac{p-1}{2p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}+c_{7}\kappa ^{p} \end{aligned}$$
(3.22)

as well as

$$ \begin{aligned} J_{4}&\leq \frac{2\chi (p-1) \Vert n^{0} \Vert _{L^{\infty}(\Omega )}}{\theta _{0}} \bigl\Vert \hat{n}^{\frac{p}{2}-1} \bigr\Vert _{L^{\frac{2p}{p-2}}(\Omega )} \Vert \nabla \hat{c} \Vert _{L^{p}(\Omega )} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert _{L^{2}( \Omega )} \\ &\leq \frac{p-1}{4p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}+ \frac{4\chi ^{2}p(p-1) \Vert n^{0} \Vert ^{2}_{L^{\infty}(\Omega )}}{\theta ^{2}_{0}} \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{\frac{2(p-2)}{p}}_{L^{2}(\Omega )} \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{\frac{4}{p}}_{L^{2}(\Omega )} \\ &\leq \frac{p-1}{4p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}+\frac{p}{4} \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )} +c_{8} \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )} \\ &\leq \frac{p-1}{4p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}+\frac{p}{4} \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )} \\ &\quad {}+c_{8}C_{GN} \bigl( \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{\frac{2}{p}}_{L^{ \frac{4}{p}}(\Omega )} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{\frac{p-2}{p}}_{L^{2}( \Omega )} + \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert _{L^{\frac{4}{p}}(\Omega )} \bigr)^{2} \\ &\leq \frac{p-1}{4p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}+\frac{p}{4} \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )} \\ &\quad {}+2c_{8}C_{GN} \bigl( \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{\frac{4}{p}}_{L^{ \frac{4}{p}}(\Omega )} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{ \frac{2(p-2)}{p}}_{L^{2}(\Omega )} + \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{ \frac{4}{p}}(\Omega )} \bigr) \\ &\leq \frac{p-1}{2p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}+\frac{p}{4} \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )} +c_{9} \Vert \hat{n} \Vert ^{p}_{L^{2}(\Omega )} \\ &\leq \frac{p-1}{2p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}+\frac{p}{4} \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )} +c_{10}\kappa ^{p}\quad \text{for all }p>3. \end{aligned} $$
(3.23)

For \(J_{5}\) and \(J_{6}\), using Lagrange’s mean value theorem, Hölder’s inequality, Young’s inequality, and the Gagliardo–Nirenberg inequality, we see that

$$\begin{aligned} J_{5}+J_{6}&\leq \bigl(\mu _{1}+ \lambda \mu _{2}\max \bigl\{ \bigl\Vert n^{\kappa}\bigr\Vert ^{\lambda -1}_{L^{\infty}(\Omega )}, \bigl\Vert n^{0} \bigr\Vert ^{\lambda -1}_{L^{\infty}(\Omega )} \bigr\} \bigr) \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )} \\ &\leq c_{11} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{\frac{2(p-2)}{p}}_{L^{2}( \Omega )} \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{\frac{4}{p}}_{L^{\frac{4}{p}}( \Omega )} +c_{11} \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{\frac{4}{p}}( \Omega )} \\ &\leq \frac{p-1}{p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}+c_{12}\kappa ^{p}, \end{aligned}$$
(3.24)

where \(c_{11}\) and \(c_{12}\) are constants.

Substituting (3.20)–(3.24) into (3.19), we see that there exists a positive constant \(c_{13}\) such that

$$ \begin{aligned} &\frac{d}{dt} \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )}+ \frac{p-1}{p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )} \leq \frac{p}{4} \bigl\Vert \nabla \hat{c}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )}+c_{13} \kappa ^{p}. \end{aligned} $$
(3.25)

We apply to equation (3.1)2 and then multiply the resulting equation by \(|\nabla \hat{c}|^{p-2}\nabla \hat{c}\) to deduce that

$$\begin{aligned} \frac{1}{p}\frac{d}{dt} \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}&= \int _{\Omega} \vert \nabla \hat{c} \vert ^{p-2} \nabla \hat{c}\cdot \nabla \Delta \hat{c} - \int _{\Omega} \vert \nabla \hat{c} \vert ^{p}+ \int _{\Omega} \vert \nabla \hat{c} \vert ^{p-2} \nabla \hat{c}\cdot \nabla \hat{n} \\ &\quad {}- \int _{\Omega} \vert \nabla \hat{c} \vert ^{p-2} \nabla \hat{c}\cdot \nabla \bigl(\boldsymbol{u}^{\kappa}\cdot \nabla \hat{c}\bigr) - \int _{\Omega} \vert \nabla \hat{c} \vert ^{p-2} \nabla \hat{c}\cdot \nabla \bigl(\hat{\boldsymbol{u}}\cdot \nabla c^{0}\bigr) \\ &= \int _{\Omega} \vert \nabla \hat{c} \vert ^{p-2} \nabla \hat{c}\cdot \nabla \Delta \hat{c} - \int _{\Omega} \vert \nabla \hat{c} \vert ^{p}+ \int _{\Omega} \vert \nabla \hat{c} \vert ^{p-2} \nabla \hat{c}\cdot \nabla \hat{n} \\ &\quad {}- \int _{\Omega} \vert \nabla \hat{c} \vert ^{p-2} \nabla \hat{c}\cdot \nabla \boldsymbol{u}^{\kappa}\cdot \nabla \hat{c} + \int _{\Omega}\hat{\boldsymbol{u}} \cdot \nabla c^{0}\nabla \cdot \bigl( \vert \nabla \hat{c} \vert ^{p-2}\nabla \hat{c}\bigr) \\ &:=K_{1}- \int _{\Omega} \vert \nabla \hat{c} \vert ^{p}+K_{2}+K_{3}+K_{4}. \end{aligned}$$
(3.26)

Using the pointwise identity \(\Delta |\nabla \hat{c}|^{2}=2\nabla \hat{c}\cdot \nabla \Delta \hat{c}+2|D^{2}\hat{c}|^{2}\), we infer

$$ \vert \nabla \hat{c} \vert ^{p-2}(\nabla \hat{c}\cdot \nabla \Delta \hat{c})= \frac{1}{2}\Delta \vert \nabla \hat{c} \vert ^{2} \vert \nabla \hat{c} \vert ^{p-2} - \bigl\vert D^{2} \hat{c} \bigr\vert ^{2} \vert \nabla \hat{c} \vert ^{p-2}. $$

Since \(\partial _{\nu}\hat{c}=0\) on Ω along with the convexity of Ω ensures that \(\frac{\partial |\nabla c|^{2}}{\partial \nu}\leq 0\) on Ω ([21], Lemma I.1, p.350), we have

$$ \begin{aligned} K_{1}&= \int _{\Omega} \vert \nabla \hat{c} \vert ^{p-2}( \nabla \hat{c}\cdot \nabla \Delta \hat{c})=\frac{1}{2} \int _{\Omega}\Delta \vert \nabla \hat{c} \vert ^{2} \vert \nabla \hat{c} \vert ^{p-2} - \int _{\Omega}\bigl\vert D^{2}\hat{c} \bigr\vert ^{2} \vert \nabla \hat{c} \vert ^{p-2} \\ &=\frac{1}{2} \int _{\partial \Omega} \frac{\partial \vert \nabla \hat{c} \vert ^{2}}{\partial \nu} \vert \nabla \hat{c} \vert ^{p-2} -\frac{1}{2} \int _{\Omega}\nabla \vert \nabla \hat{c} \vert ^{2}\cdot \nabla \vert \nabla \hat{c} \vert ^{p-2}- \int _{\Omega}\bigl\vert D^{2}\hat{c} \bigr\vert ^{2} \vert \nabla \hat{c} \vert ^{p-2} \\ &\leq -\frac{1}{2} \int _{\Omega}\nabla \vert \nabla \hat{c} \vert ^{2}\cdot \nabla \vert \nabla \hat{c} \vert ^{p-2}- \int _{\Omega}\bigl\vert D^{2}\hat{c} \bigr\vert ^{2} \vert \nabla \hat{c} \vert ^{p-2} \\ &=-\frac{4(p-2)}{p^{2}} \bigl\Vert \nabla \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )}- \int _{\Omega}\bigl\vert D^{2}\hat{c} \bigr\vert ^{2} \vert \nabla \hat{c} \vert ^{p-2}. \end{aligned} $$
(3.27)

For \(K_{2}\), \(K_{3}\), and \(K_{4}\), using Hölder’s inequality, Young’s inequality, the Gagliardo–Nirenberg inequality, and Lemma 3.1 provides some \(c_{i}>0\), \((i=14,\ldots ,19) \) such that

$$ \begin{aligned} K_{2}&= \int _{\Omega} \vert \nabla \hat{c} \vert ^{p-2} \nabla \hat{c}\cdot \nabla \hat{n} \\ &=-(p-2) \int _{\Omega}\hat{n} \vert \nabla \hat{c} \vert ^{p-4}\bigl(\nabla \hat{c} \cdot D^{2}\hat{c}\bigr)\cdot \nabla \hat{c}- \int _{\Omega}\hat{n} \vert \nabla \hat{c} \vert ^{p-2}\Delta \hat{c} \\ &\leq (p-2+\sqrt{2}) \int _{\Omega} \vert \hat{n} \vert \vert \nabla \hat{c} \vert ^{p-2} \bigl\vert D^{2} \hat{c} \bigr\vert \\ &\leq \frac{1}{4} \int _{\Omega}\bigl\vert D^{2}\hat{c} \bigr\vert ^{2} \vert \nabla \hat{c} \vert ^{p-2}+(p-2+ \sqrt{2})^{2} \int _{\Omega} \vert \hat{n} \vert ^{2} \vert \nabla \hat{c} \vert ^{p-2} \\ &\leq \frac{1}{4} \int _{\Omega}\bigl\vert D^{2}\hat{c} \bigr\vert ^{2} \vert \nabla \hat{c} \vert ^{p-2}+ \frac{1}{4} \int _{\Omega} \vert \nabla \hat{c} \vert ^{p}+c_{14} \int _{\Omega} \vert \hat{n} \vert ^{p} \\ &\leq \frac{1}{4} \int _{\Omega}\bigl\vert D^{2}\hat{c} \bigr\vert ^{2} \vert \nabla \hat{c} \vert ^{p-2}+ \frac{1}{4} \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}\\ &\quad {} +c_{15} \bigl( \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{\frac{4}{p}}_{L^{ \frac{4}{p}}(\Omega )} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{ \frac{2(p-2)}{p}}_{L^{2}(\Omega )} + \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{ \frac{4}{p}}(\Omega )} \bigr) \\ &\leq \frac{1}{4} \int _{\Omega}\bigl\vert D^{2}\hat{c} \bigr\vert ^{2} \vert \nabla \hat{c} \vert ^{p-2}+ \frac{1}{4} \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )} +\frac{p-1}{{2}p^{2}} \bigl\Vert \nabla \hat{n}^{ \frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )}+c_{16} \kappa ^{p} \end{aligned} $$
(3.28)

and

$$\begin{aligned} K_{3}&\leq \bigl\Vert \vert \nabla \hat{c} \vert ^{p} \bigr\Vert _{L^{2}(\Omega )} \bigl\Vert \nabla \boldsymbol{u}^{\kappa}\bigr\Vert _{L^{2}(\Omega )} \\ &\leq \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{4}(\Omega )} \bigl\Vert \nabla \boldsymbol{u}^{\kappa}\bigr\Vert _{L^{2}(\Omega )} \\ \\ &\leq c_{17} \bigl\Vert \nabla \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{ \frac{2(p-1)}{p}}_{L^{2}(\Omega )} \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{\frac{2}{p}}_{L^{\frac{4}{p}}(\Omega )} +c_{17} \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{\frac{4}{p}}(\Omega )} \\ &\leq \frac{3(p-2)}{p^{2}} \bigl\Vert \nabla \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )}+c_{18} \kappa ^{p} \end{aligned}$$
(3.29)

as well as

$$ \begin{aligned} K_{4}&{=} \int _{\Omega}\hat{\boldsymbol{u}}\cdot \nabla c^{0} \nabla \cdot \bigl( \vert \nabla \hat{c} \vert ^{p-2}\nabla \hat{c}\bigr) \\ &=(p-2) \int _{\Omega}\hat{\boldsymbol{u}}\cdot \nabla c^{0} \vert \nabla \hat{c} \vert ^{p-4} \nabla \hat{c}\cdot D^{2}\hat{c} \cdot \nabla \hat{c} + \int _{\Omega}\hat{\boldsymbol{u}}\cdot \nabla c^{0} \vert \nabla \hat{c} \vert ^{p-2}\Delta \hat{c} \\ &{\leq}(p-2+\sqrt{2}) \int _{\Omega} \vert \hat{\boldsymbol{u}} \vert \bigl\vert \nabla c^{0} \bigr\vert \vert \nabla \hat{c} \vert ^{p-2} \bigl\vert D^{2}\hat{c} \bigr\vert \\ &\leq \frac{1}{4} \int _{\Omega}\bigl\vert D^{2}\hat{c} \bigr\vert \vert \nabla \hat{c} \vert ^{p-2}+ (p-2+\sqrt{2} )^{2} \int _{\Omega} \vert \hat{\boldsymbol{u}} \vert ^{2} \bigl\vert \nabla c^{0} \bigr\vert ^{2} \vert \nabla \hat{c} \vert ^{p-2} \\ &\leq \frac{1}{4} \int _{\Omega}\bigl\vert D^{2}\hat{c} \bigr\vert \vert \nabla \hat{c} \vert ^{p-2}+ \bigl\Vert \vert \hat{\boldsymbol{u}} \vert ^{2} \bigr\Vert _{L^{\infty}(\Omega )} \bigl\Vert \bigl\vert \nabla c^{0} \bigr\vert ^{2} \bigr\Vert _{L^{\frac{p}{2}}(\Omega )} \bigl\Vert \vert \nabla \hat{c} \vert ^{p-2} \bigr\Vert _{L^{ \frac{p}{p-2}}(\Omega )} \\ &\leq \frac{1}{4} \int _{\Omega}\bigl\vert D^{2}\hat{c} \bigr\vert \vert \nabla \hat{c} \vert ^{p-2}+ \frac{1}{4} \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )} +c_{19}\kappa ^{p}. \end{aligned} $$
(3.30)

Substituting (3.27)–(3.30) into (3.26), we see that there exists a positive constant \(c_{20}\) such that

$$ \begin{aligned} &\frac{1}{p}\frac{d}{dt} \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}+\frac{1}{2} \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )} + \frac{p-2}{p^{2}} \bigl\Vert \nabla \vert \nabla \hat{c} \vert ^{ \frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )}\\ &\quad {}+\frac{1}{2} \int _{\Omega}\bigl\vert D^{2} \hat{c} \bigr\vert ^{2} \vert \nabla \hat{c} \vert ^{p-2} \leq \frac{p-1}{{2}p^{2}} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}+c_{20}\kappa ^{p}. \end{aligned} $$
(3.31)

Combining with (3.25) and (3.31), there exists \(c_{21}>0\) such that

$$ \begin{aligned} &\frac{d}{dt} \bigl( \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )}+ \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )} \bigr) +\frac{p-1}{{2}p} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}+ \frac{p}{4} \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )} \\ &\quad {}+\frac{p-2}{p} \bigl\Vert \nabla \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )}+\frac{p}{2} \int _{\Omega}\bigl\vert D^{2}\hat{c} \bigr\vert ^{2} \vert \nabla \hat{c} \vert ^{p-2} \leq c_{21}\kappa ^{p}. \end{aligned} $$
(3.32)

We may employ the Gagliardo–Nirenberg inequality and Young’s inequality once again to deduce that

$$ \begin{aligned} \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )}&\leq C_{15} \bigl( \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{\frac{4}{p}}_{L^{\frac{4}{p}}(\Omega )} \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{\frac{2(p-2)}{p}}_{L^{2}(\Omega )}+ \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{\frac{4}{p}}(\Omega )} \bigr) \\ &\leq \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )}+C_{16} \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{\frac{4}{p}}(\Omega )} \\ &\leq \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )}+C_{16} \Vert \hat{n} \Vert ^{p}_{L^{2}(\Omega )} \\ &\leq \bigl\Vert \nabla \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )}+C_{17} \kappa ^{p}, \end{aligned} $$
(3.33)

where \(C_{15}\), \(C_{16}\), and \(C_{17}\) are positive constants.

Since \(\frac{p-1}{2p}<\frac{p}{4}\), we can combine with (3.32) and (3.33) to see that

$$ \begin{aligned} &\frac{d}{dt} \bigl( \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )}+ \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )} \bigr) +{ \frac{p-1}{2p}} \bigl( \bigl\Vert \hat{n}^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}( \Omega )}+ \bigl\Vert \vert \nabla \hat{c} \vert ^{\frac{p}{2}} \bigr\Vert ^{2}_{L^{2}(\Omega )} \bigr) \\ &\quad \leq (c_{21}+{C_{17}})\kappa ^{p}. \end{aligned} $$
(3.34)

Applying Gronwall’s inequality to (3.34), we can complete the proof of Lemma 3.3. □

Lemma 3.4

For any \(\kappa \in (0,1)\), there exists a constant \(\widetilde{C}>0\) such that

$$ \bigl\Vert \hat{n}(\cdot ,t) \bigr\Vert _{L^{\infty}(\Omega )}\leq \widetilde{C} \kappa \quad \textit{for all }t>0.$$

Proof

We can rewrite equation (3.1)1 as

$$ \partial _{t}\hat{n}-\Delta \hat{n}=\nabla \cdot f_{2} {+ \mu _{1}\hat{n}+\mu _{2} \bigl[\bigl(n^{\kappa}\bigr)^{\lambda}-\bigl(n^{0}\bigr)^{\lambda}\bigr],}$$

where we again abbreviate

$$ f_{2}:=- \biggl(\boldsymbol{u}^{\kappa}{\hat{n}}+\hat{ \boldsymbol{u}}n^{0} +\chi \biggl( \frac{\hat{n}}{c^{\kappa}}\nabla c^{\kappa}- \frac{n^{0}\hat{c}}{c^{0}c^{\kappa}}\nabla c^{\kappa}+ \frac{n^{0}\nabla \hat{c}}{c^{0}} \biggr) \biggr).$$

Since the initial data \(\hat{n}(x,0)=0\), using the variation-of-constants formula, we get

$$ \hat{n}(\cdot ,t)= \int ^{t}_{0}e^{(t-s)\Delta} { [ \nabla \cdot f_{2}(\cdot ,s)+\mu _{1}\hat{n}+\mu _{2} \bigl[ \bigl(n^{\kappa}\bigr)^{\lambda}-\bigl(n^{0} \bigr)^{\lambda}\bigr]}\,ds\quad \text{for all }t>0. $$
(3.35)

We can use Lemma 2.3 and Lagrange’s mean value theorem to obtain

$$ \begin{aligned} \bigl\Vert \hat{n}(\cdot ,t) \bigr\Vert _{L^{\infty}(\Omega )}&\leq c_{22} \int ^{t}_{0} \bigl[ \bigl(1+(t-s)^{-\frac{1}{2}-\frac{1}{p}} \bigr)e^{- \lambda _{1}t} \bigl( \bigl\Vert f_{2}(\cdot ,s) \bigr\Vert _{L^{p}(\Omega )}\\ &\quad {}+\mu _{1} \Vert \hat{n} \Vert _{L^{p}(\Omega )}+ \mu _{2}\lambda M^{\lambda -1} \Vert \hat{n} \Vert _{L^{p}( \Omega )} \bigr) \bigr]\,ds\quad \text{for all }t>0.\end{aligned} $$

In view of Lemma 2.1 and Lemmas 3.23.3, from (3.35) we therefore obtain that with some \(c_{23}>0\) we have

$$\begin{aligned} \bigl\Vert f_{2}(\cdot ,s) \bigr\Vert _{L^{p}(\Omega )}&\leq \bigl\Vert \boldsymbol{u}^{\kappa}\bigr\Vert _{L^{\infty}(\Omega )} \Vert \hat{n} \Vert _{L^{p}(\Omega )} + \Vert \hat{\boldsymbol{u}} \Vert _{L^{\infty}(\Omega )} \bigl\Vert n^{0} \bigr\Vert _{L^{p}(\Omega )}+\frac{\chi}{\theta _{0}} \bigl( \Vert \hat{n} \Vert _{L^{2p}(\Omega )} \bigl\Vert \nabla c^{\kappa}\bigr\Vert _{L^{2p}( \Omega )} \\ &\quad {}+ \bigl\Vert n^{0} \bigr\Vert _{L^{2p}(\Omega )} \Vert { \nabla \hat{c}} \Vert _{L^{2p}( \Omega )} \bigr) +\frac{\chi}{\theta ^{2}_{0}} \bigl\Vert n^{0} \bigr\Vert _{L^{\infty}( \Omega )} \Vert \hat{c} \Vert _{L^{2p}(\Omega )} \bigl\Vert \nabla c^{\kappa}\bigr\Vert _{L^{2p}( \Omega )} \\ &\leq {c_{23}}\kappa \quad \text{for all }t>0, \end{aligned}$$

as desired. □

Proof of Theorem 1.1

We only need to use Lemmas 3.23.4 and combine the embedding \(W^{1,p}(\Omega )\hookrightarrow L^{\infty}(\Omega )\) for \(p>2\) and \(D(A^{\alpha})\hookrightarrow L^{\infty}(\Omega ;\mathbb{R}^{2})\) to complete the proof. □

Availability of data and materials

Not applicable.

References

  1. Black, T.: Sublinear signal production in a two-dimensional Keller-Segel-Stokes system. Nonlinear Anal., Real World Appl. 31, 593–609 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  2. Black, T., Lankeit, J., Mizukami, M.: Singular sensitivity in a Keller-Segel-fluid system. J. Evol. Equ. 18, 561–581 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  3. Braukhoff, M.: Global (weak) solution of the chemotaxis-Navier-Stokes equations with nonhomogeneous boundary conditions and logistic growth. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 34(4), 1013–1039 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  4. Cao, X.: Global classical solutions in chemotaxis-Navier-Stokes system with rotational flux term. J. Differ. Equ. 261(12), 6883–6914 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  5. Cao, X., Lankeit, J.: Global classical small-data solutions for a three-dimensional chemotaxis Navier-Stokes system involving matrix-valued sensitivities. Calc. Var. Partial Differ. Equ. 55, 55–107 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  6. DiFrancesco, M., Lorz, A., Markowich, P.A.: Chemotaxis-fluid coupled model for swimming bacteria with nonlinear diffusion: global existence and asymptotic behavior. Discrete Contin. Dyn. Syst., Ser. A 28(4), 1437–1453 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  7. Duan, R., Li, X., Xiang, Z.: Global existence and large time behavior for a two-dimensional chemotaxis-Navier-Stokes system. J. Differ. Equ. 263(10), 6284–6316 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  8. Duan, R., Lorz, A., Markowich, P.A.: Global solutions to the coupled chemotaxis-fluid equations. Commun. Partial Differ. Equ. 35(9), 1635–1673 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  9. Duan, R., Xiang, Z.: A note on global existence for the chemotaxis-Stokes model with nonlinear diffusion. Int. Math. Res. Not. 2014, 1833–1852 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  10. Fujie, K., Ito, A., Winkler, M., Yokota, T.: Stabilization in a chemotaxis model for tumor invasion. Discrete Contin. Dyn. Syst. 36(1), 151–169 (2016)

    MathSciNet  MATH  Google Scholar 

  11. Henry, D.: Geometric Theory of Semilinear Parabolic Equations. Lecture Notes in Mathematics, vol. 840. Springer, Berlin (1981)

    MATH  Google Scholar 

  12. Ishida, S.: Global existence and boundedness for chemotaxis-Navier-Stokes system with position-dependent sensitivity in 2D bounded domain. Discrete Contin. Dyn. Syst., Ser. A 35, 3463–3482 (2015)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  Google Scholar 

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

    Article  MATH  Google Scholar 

  15. Kozono, H., Miura, M., Sugiyama, Y.: Existence and uniqueness theorem on mild solutions to the Keller-Segel system coupled with the Navier-Stokes fluid. J. Funct. Anal. 2, 1663–1683 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  16. Lankeit, J.: Long-term behaviour in a chemotaxis-fluid system with logistic source. Math. Models Methods Appl. Sci. 26, 2071–2109 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  17. Li, M., Xiang, Z., Zhou, G.: The stability analysis of a 2D Keller-Segel-Navier-Stokes system in fast signal diffusion. Eur. J. Appl. Math. (2022). https://doi.org/10.1017/S0956792522000067

    Article  Google Scholar 

  18. Li, X.: Global classical solutions in a Keller-Segel(-Navier)-Stokes system modeling coral fertilization. J. Differ. Equ. 267(11), 6290–6315 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  19. Li, X., Wang, Y., Xiang, Z.: Global existence and boundedness in a 2D Keller-Segel-Stokes system with nonlinear diffusion and rotational flux. Commun. Math. Sci. 14(7), 1889–1910 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  20. Li, X., Xiao, Y.: Global existence and boundedness in a 2D Keller-Segel-Stokes system. Nonlinear Anal., Real World Appl. 37, 14–30 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  21. Lions, P.L.: Résolution de problèmes elliptiques quasilinéaires. Arch. Ration. Mech. Anal. 74, 335–353 (1980)

    Article  MATH  Google Scholar 

  22. Liu, J., Wang, Y.: Global weak solutions in a three-dimensional Keller-Segel-Navier-Stokes system involving a tensor-valued sensitivity with saturation. J. Differ. Equ. 262, 5271–5305 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  23. Peng, Y., Xiang, Z.: Global existence and boundedness in a 3D Keller-Segel-Stokes system with nonlinear diffusion and rotational flux. Z. Angew. Math. Phys. 68, 68 (2017)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  26. Sohr, H.: The Navier-Stokes Equations: An Elementary Functional Analytic Approach. Birkhäuser Advanced Texts Basler Lehrbücher Birkhäuser, Basel (2001)

    Book  MATH  Google Scholar 

  27. Solonnikov, V.A.: Schauder estimates for the evolutionary generalized Stokes problem. In: Nonlinear Equations and Spectral Theory. American Mathematical Society Translations Series, vol. 220, pp. 165–200. Am. Math. Soc., Providence (2007)

    Google Scholar 

  28. 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(3), 2520–2543 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  29. Tao, Y., Winkler, M.: Global existence and boundedness in a Keller-Segel-Stokes model with arbitrary porous medium diffusion. Discrete Contin. Dyn. Syst., Ser. A 32, 1901–1914 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  30. Tao, Y., Winkler, M.: Blow-up prevention by quadratic degradation in a two-dimensional Keller-Segel-Navier-Stokes system. Z. Angew. Math. Phys. 67, 138 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  31. Tuval, I., Cisneros, L., Dombrowski, C., Wolgemuth, C.W., Kessler, J.O., Goldstein, R.E.: Bacterial swimming and oxygen transport near constant lines. Proc. Natl. Acad. Sci. USA 102, 2277–2282 (2005)

    Article  MATH  Google Scholar 

  32. Wang, Y., Cao, X.: Global classical solutions of a 3D chemotaxis-Stokes system with rotation. Discrete Contin. Dyn. Syst., Ser. B 20, 3235–3254 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  33. Wang, Y., Li, X.: Boundedness for a 3D chemotaxis-Stokes system with porous medium diffusion and tensor-valued chemotactic sensitivity. Z. Angew. Math. Phys. 68, 1–23 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  34. 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. 18, 421–466 (2018)

    MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  36. Wang, Y., Winkler, M., Xiang, Z.: The fast signal diffusion limit in Keller-Segel (-fluid) systems. Calc. Var. Partial Differ. Equ. 58, 196 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  37. Wang, Y., Winkler, M., Xiang, Z.: Global solvability in a three-dimensional Keller-Segel-Stokes system involving arbitrary superlinear logistic degradation. Adv. Nonlinear Anal. 10(1), 707–731 (2021)

    Article  MathSciNet  MATH  Google Scholar 

  38. Wang, Y., Winkler, M., Xiang, Z.: Immediate regularization of measure-type population densities in a two-dimensional chemotaxis system with signal consumption. Sci. China Math. 64(4), 725–746 (2021)

    Article  MathSciNet  MATH  Google Scholar 

  39. Wang, Y., Winkler, M., Xiang, Z.: Local energy estimates and global solvability in a three-dimensional chemotaxis-fluid system with prescribed signal on the boundary. Commun. Partial Differ. Equ. 46(6), 1058–1091 (2021)

    Article  MathSciNet  MATH  Google Scholar 

  40. Wang, Y., Winkler, M., Xiang, Z.: Global mass-preserving solutions to a chemotaxis-fluid model involving Dirichlet boundary conditions for the signal. Anal. Appl. 20(1), 141–170 (2022)

    Article  MathSciNet  MATH  Google Scholar 

  41. Wang, Y., Xiang, Z.: Global existence and boundedness in a Keller-Segel-Stokes system involving a tensor-valued sensitivity with saturation. J. Differ. Equ. 259, 7578–7609 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  42. Wang, Y., Xiang, Z.: Global existence and boundedness in a Keller-Segel-Stokes system involving a tensor-valued sensitivity with saturation: the 3D case. J. Differ. Equ. 261(9), 4944–4973 (2016)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  44. Winkler, M.: Stabilization in a two-dimensional chemotaxis-(Navier-)Stokes system. Arch. Ration. Meth. Anal. 211, 455–487 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  45. Winkler, M.: Boundedness and large time behavior in a three-dimensional chemotaxis-Stokes system with nonlinear diffusion and general sensitivity. Calc. Var. Partial Differ. Equ. 54, 3789–3828 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  46. Winkler, M.: Global weak solutions in a three-dimensional chemotaxis-Navier-Stokes system. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 33(5), 1329–1352 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  47. Winkler, M.: How far do chemotaxis-driven forces influence regularity in the Navier-Stokes system? Trans. Am. Math. Soc. 369, 3067–3125 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  48. Winkler, M.: A three-dimensional Keller-Segel-Navier-Stokes system with logistic source: global weak solutions and asymptotic stabilization. J. Funct. Anal. 276(5), 1339–1401 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  49. Wu, C., Xiang, Z.: The small-convection limit in a two-dimensional Keller-Segel-Navier-Stokes system. J. Differ. Equ. 267(2), 938–978 (2019)

    Article  MathSciNet  MATH  Google Scholar 

  50. Wu, J., Lin, H.: The rates of convergence for the chemotaxis-Navier-Stokes equations in a strip domain. Appl. Anal. 101(3), 952–969 (2022)

    Article  MathSciNet  MATH  Google Scholar 

  51. Wu, J., Natal, H.: Boundedness and asymptotic behavior to a chemotaxis-fluid system with singular sensitivity and logistic source. J. Math. Anal. Appl. 484, 123748 (2020)

    Article  MathSciNet  MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  53. Zhang, Q., Li, Y.: Convergence rates of solutions for a two-dimensional chemotaxis-Navier-Stokes system. Discrete Contin. Dyn. Syst., Ser. B 20, 2751–2759 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  54. Zhang, Q., Li, Y.: Global weak solutions for the three-dimensional chemotaxis-Navier-Stokes system with nonlinear diffusion. J. Differ. Equ. 259(8), 3730–3754 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  55. Zhao, X., Zheng, S.: Global existence and boundedness of solutions to a chemotaxis system with singular sensitivity and logistic-type source. J. Differ. Equ. 267(2), 826–865 (2019)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The author is very grateful to the referee for his/her detailed comments and valuable suggestions, which greatly improved the manuscript.

Funding

This work was supported by Scientific Research Funds of Chengdu University under grant No. 2081921030.

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Jie Wu.

Ethics declarations

Competing interests

The author declares that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Wu, J. Small-convection limit for two-dimensional chemotaxis-Navier–Stokes system with logarithmic sensitivity and logistic-type source. Bound Value Probl 2022, 43 (2022). https://doi.org/10.1186/s13661-022-01622-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-022-01622-0

MSC

Keywords