Skip to content

Advertisement

  • Research
  • Open Access

Blow-up and delay for a parabolic–elliptic Keller–Segel system with a source term

Boundary Value Problems20182018:95

https://doi.org/10.1186/s13661-018-1013-z

  • Received: 20 January 2018
  • Accepted: 6 June 2018
  • Published:

Abstract

In this paper, we are concerned with the parabolic–elliptic Keller–Segel system with a positive source term in a bounded domain in \({\mathbb{R}}^{N}\) (\(N=2,3\)), under homogeneous Dirichlet boundary condition, with time-dependent coefficients. Lower bounds for the blow-up time if the solutions blow up in finite time are derived under appropriate assumptions on data. Moreover, the exponential decay of the associated energies is also studied.

Keywords

  • Parabolic–elliptic Keller–Segel system
  • Blow-up time
  • Lower bounds
  • Decay

MSC

  • 35K37
  • 35B40
  • 92D40

1 Introduction

Let us consider the following parabolic–elliptic Keller–Segel system:
$$ \textstyle\begin{cases} u_{t}=\triangle u-k_{1}(t)\nabla\cdot(u^{m}\nabla v)+f(u),& x\in \Omega, t>0, \\ 0=\triangle v-k_{2}(t)v+k_{3}(t)u,& x\in\Omega, t>0, \\ u|_{\partial\Omega}=0, \qquad v|_{\partial\Omega}=0,& t>0, \\ u(x,0)=u_{0}(x),& x\in\Omega, \end{cases} $$
(1.1)
where Ω is a bounded convex domain in \({\mathbb{R}}^{N}\) (\(N=2,3\)) with smooth boundary, \(k_{i}(t)\) (\(i=1,2,3\)) are positive and regular functions of t, \(u_{0}(x)\) is a nonnegative function in Ω. Moreover, in the first equation, we assume that \(f(u)\) is a nonnegative function and m is a positive constant.
The classical Keller–Segel system
$$ \textstyle\begin{cases} U_{t}=-\nabla(-\mu\nabla U+\chi U\nabla V),& x\in\Omega, t>0, \\ V_{t}=\nabla(D \nabla V)+gU-kV,& x\in\Omega, t>0, \end{cases} $$
(1.2)
was originally introduced in 1970 by Keller and Segel in [11], and it represents a fundamental model, which has great interest in biology, where Ω, denoting the capacity, is an open domain in \({\mathbb{R}}^{N}\) (\(N\geq1\)), is the gradient operator , \(U(x,t)\) denotes the cell density, and \(V(x,t)\) represents the chemo-attractant. \(\mu>0\) is the amoeboid motility, \(\chi>0\) is the chemotactic sensitivity, \(D>0\) is the diffusion rate of cAMP, \(g>0\) is the rate of cAMP secretion per unit density of amoebae, \(k>0\) is the rate of degradation of cAMP in environment. The cross-diffusion term in the first equation reflects the assumption that individual cells partially adapt their motion so as to migrate toward increasing chemo-attractant.

In the last three decades, much attention has been devoted to studying the type of model (1.2) and its variations. See, for example, for system (1.2) with \(\Omega={\mathbb{R}}^{N}\), \(\mu=\chi=D=1\), \(k=0\). Kozono, Sugiyama, and Takada in [12] considered the problem whether there exists a finite-time self-similar solution of the backward type for the case of \(N\geq2\), and Sugiyama and Yahagi in [22] investigated the uniqueness and continuity of weak solutions with respect to the initial data for the Keller–Segel system of degenerate type. For more contribution along this line, we can see [36, 1921], and the references therein.

In view of the biologically meaningful question whether or not cell populations spontaneously form aggregates, some studies focused on the issue whether solutions remain bounded or blow up (see [710, 1618, 23, 26]).

Because practical experiences show how the specific parameters modeling chemotaxis phenomena are a general chemotaxis system, especially those influenced by logistic-type source (see [1, 2, 1315, 25, 27]). In particular, Marras, Vernier-Piro, and Viglialoro in [15] considered the system
$$ \textstyle\begin{cases} u_{t}=\triangle u-k_{1}(t)\nabla\cdot(u^{m}\nabla v)+f(u),& x\in \Omega, t>0, \\ v_{t}=k_{2}(t)\triangle v-k_{3}(t)v+k_{4}(t)u,& x\in\Omega, t>0, \\ \frac{\partial u}{\partial n}+h(t)u=0,\qquad \frac{\partial v}{\partial n}=0,& x\in\partial\Omega, t>0, \\ u(x,0)=u_{0}(x), \qquad v(x,0)=v_{0}(x),& x\in\Omega, \end{cases} $$
(1.3)
where \(k_{i}(t)\) (\(i=1,2,3,4\)) are positive and regular functions of t, \(f(u)\) is a nonnegative function satisfying \(f(u)\leq c u^{2}\), \(c>0\), and m is a positive constant. They showed that the lower bounds for blow-up time \(t^{*}\) to system (1.3) are obtained in both cases, the Neumann boundary condition (i.e., \(h(t)=0\)) and the Robin boundary condition (i.e., \(h(t)>0\)) for the three-dimensional case and provided \(\frac {2}{3}< m<1\) or for the two-dimensional case and provided \(1\leq m<2\), respectively.

Homogeneous Dirichlet boundary condition for the chemotaxis system is prescribed by the disappearance of cell and chemo-attractant near the boundary.

Our aim in this paper is to investigate the lower bound for the blow-up time and decay criteria of associated energies to the parabolic–elliptic Keller–Segel system (1.1) under Dirichlet boundary conditions for the three-dimensional case and provided \(\frac{2}{3}< m<1\) or for the two-dimensional case and provided \(1\leq m<2\), respectively. Let us point out that although the idea was used before for other problems, the adaptation of the procedure to our problem is not trivial at all. Due to the parabolic–elliptic Keller–Segel system (1.1) under Dirichlet boundary condition, we need more delicate estimates.

From biological point of view, solutions to system (1.1), representing the density and the chemo-attractant, must satisfy
$$u\geq0,\qquad v\geq0. $$
Thus it is reasonable to require throughout that the initial datum \(u_{0}\in C^{0}(\overline{\Omega})\) be nonnegative.

2 Lower bound for blow-up time

In this section, we give lower bounds for blow-up time to system (1.1) in the three-dimensional case and provided \(\frac{2}{3}< m<1\), and in the two-dimensional case and provided \(1\leq m<2\), respectively.

2.1 Lower bound with \(\Omega\subset{\mathbb {R}}^{3}\), \(\frac{2}{3}< m<1\)

In this subsection, in order to obtain a lower bound for the blow-up time \(t^{*}\) of the solution \((u,v)\) to system (1.1) with \(N=3\), we define the following auxiliary function:
$$ \Phi(t)=\alpha(t) \int_{\Omega}u^{2}\,dx $$
(2.1)
with \(\Phi_{0}=\Phi(0)=\alpha(0)\int_{\Omega}u_{0}^{2}\,dx>0\), and α is a suitable time-dependent positive function.

Definition 2.1

We say that \((u,v)\) blows up in Φ-measure at time \(t^{*}\) if
$$ \lim_{t\rightarrow t^{*}}\Phi(t)=\infty. $$
(2.2)

The main result in this subsection is given in the following theorem.

Theorem 2.1

Let \(\Omega\subset{\mathbb {R}}^{3}\) be a bounded convex domain with the origin inside. Suppose that \(f(u)\) is a nonnegative function and satisfies
$$ f(u)\leq cu^{2},\quad c>0. $$
(2.3)
Moreover, let \((u,v)\) be a classical solution to system (1.1), and \((u,v)\) becomes unbounded in the Φ-measure at time \(t=t^{*}\), with Φ defined in (2.1), then \(t^{*}\) satisfies the lower bound
$$ t^{*}\geq \int_{\Phi(0)}^{+\infty}\frac {d\xi}{A_{0}\xi+A_{1}\xi^{\frac{m+2}{2}}+A_{2}\xi^{\frac {4-m}{4-3m}}+A_{3}\xi^{\frac{3}{2}}+A_{4}\xi^{3}}, $$
(2.4)
where
$$\begin{aligned}& \begin{aligned} &A_{0}=\frac{\alpha'}{\alpha},\qquad A_{1}=c_{1}2^{\frac {3}{2}m-1}p_{1}^{\frac{3}{2}m} \alpha^{-\frac{m+2}{2}}, \\ &A_{2}=c_{1}2^{\frac{3}{2}m-1}\frac{p_{2}^{\frac{3}{2}m}}{\varepsilon _{0}^{\frac{3m}{4-3m}}}\cdot \frac{4-3m}{4}\alpha^{\frac{m-4}{4-3m}}, \qquad A_{3}=a_{1} \alpha^{-\frac{3}{2}},\qquad A_{4}=\frac{a_{2}}{\varepsilon _{1}^{2}} \alpha^{-3}, \\ & c_{1}=\frac{2\alpha k_{1}k_{3}}{m+1}, \qquad a_{1}=\alpha c(2p_{1})^{\frac {3}{2}}, \qquad a_{2}=2^{-\frac{1}{2}} \alpha cp_{2}^{\frac{3}{2}}, \\ &p_{1}=\frac{3}{2\rho_{0}},\qquad p_{2}= \frac {d}{\rho_{0}}+1,\qquad \rho_{0}=\min_{\partial\Omega}x\cdot \nu>0,\qquad d=\max_{\overline{\Omega}}|x|. \end{aligned} \end{aligned}$$
(2.5)
Among that \(\varepsilon_{0}\), \(\varepsilon_{1}\) present positive constants, ν denotes the unit normal vector directed outward on Ω.

Proof

By using Hölder’s inequality and the arithmetic inequality
$$ a^{r}b^{s}\leq ra+sb, \quad a>0, b>0, s+r=1, $$
(2.6)
we obtain
$$ \int_{\Omega}u^{m+2}\,dx\leq \biggl( \int _{\Omega}u^{2}\,dx \biggr)^{1-m} \biggl( \int_{\Omega}u^{3}\,dx \biggr)^{m}. $$
(2.7)
Next, we estimate the term \(\int_{\Omega}u^{3}\,dx\) appearing in (2.7) by means of the following inequality (see Lemma A2 in [17]):
$$ \biggl( \int_{\Omega}|u|^{3}\,dx \biggr)^{m}\leq \biggl[p_{1} \int_{\Omega}u^{2}\,dx+p_{2} \biggl( \int_{\Omega }u^{2}\,dx \biggr)^{\frac{1}{2}} \biggl( \int_{\Omega}|\nabla u|^{2}\,dx \biggr)^{\frac{1}{2}} \biggr]^{\frac{3}{2}m} $$
(2.8)
with \(p_{1}=\frac{3}{2\rho_{0}}\), \(p_{2}=\frac{d}{\rho_{0}}+1\), where \(\rho_{0}=\min_{\partial\Omega}x\cdot\nu>0\), \(d=\max_{\overline {\Omega}}|x|\), ν denotes the unit normal vector directed outward on Ω.
From (2.8) and the inequality
$$ (a+b)^{s}\leq2^{s-1}\bigl(a^{s}+b^{s} \bigr),\quad a>0, b>0, s\geq1, $$
(2.9)
we achieve
$$\begin{aligned}& \biggl( \int_{\Omega}|u|^{3}\,dx \biggr)^{m} \\& \quad \leq2^{\frac{3}{2}m-1} \biggl[p_{1}^{\frac{3}{2}m} \biggl( \int _{\Omega}u^{2}\,dx \biggr)^{\frac{3}{2}m}+p_{2}^{\frac{3}{2}m} \biggl( \int_{\Omega}u^{2}\,dx \biggr)^{\frac{3}{4}m} \biggl( \int _{\Omega}|\nabla u|^{2}\,dx \biggr)^{\frac{3}{4}m} \biggr]. \end{aligned}$$
(2.10)
Inserting this estimate (2.10) into (2.7), we have
$$\begin{aligned} \int_{\Omega}u^{m+2}\,dx \leq&2^{\frac {3}{2}m-1}p_{1}^{\frac{3}{2}m} \biggl( \int_{\Omega}u^{2}\,dx \biggr)^{\frac{m+2}{2}}+2^{\frac{3}{2}m-1} \frac{p_{2}^{\frac {3}{2}m}}{\varepsilon_{0}^{\frac{3m}{4-3m}}}\cdot\frac {4-3m}{4} \biggl( \int_{\Omega}u^{2}\,dx \biggr)^{\frac {4-m}{4-3m}} \\ &{} + 2^{\frac{3}{2}m-1}p_{2}^{\frac{3}{2}m}\cdot\frac{3}{4}m \varepsilon _{0} \int_{\Omega}|\nabla u|^{2}\,dx, \end{aligned}$$
(2.11)
where \(\varepsilon_{0}\) is a positive constant.
Then, differentiating \(\Phi(t)\) and using the fact \(u|_{\partial \Omega}=0\), we have
$$\begin{aligned} \Phi'(t) =&2\alpha \int_{\Omega}u u_{t}\,dx+\alpha' \int_{\Omega}u^{2}\,dx \\ =&2\alpha \int_{\Omega}u \bigl(\triangle u-k_{1}(t)\nabla\cdot \bigl(u^{m}\nabla v\bigr)+f(u) \bigr)\,dx+\alpha' \int_{\Omega}u^{2}\,dx \\ =& 2\alpha \int_{\Omega}u\triangle u \,dx-2\alpha k_{1} \int_{\Omega }u\nabla\cdot\bigl(u^{m}\nabla v\bigr)\,dx+2 \alpha \int_{\Omega}u f(u)\,dx+\alpha ' \int_{\Omega}u^{2}\,dx \\ =& - 2\alpha \int_{\Omega}|\nabla u|^{2}\,dx-\frac{2\alpha k_{1}}{m+1} \int_{\Omega}u^{m+1}\triangle v \,dx+2\alpha \int_{\Omega }u f(u)\,dx+\alpha' \int_{\Omega}u^{2}\,dx \\ =& - 2\alpha \int_{\Omega}|\nabla u|^{2}\,dx-\frac{2\alpha k_{1}k_{2}}{m+1} \int_{\Omega}u^{m+1} v \,dx+\frac{2\alpha k_{1}k_{3}}{m+1} \int_{\Omega}u^{m+2} \,dx \\ &{} +2\alpha \int_{\Omega}u f(u)\,dx+\alpha' \int_{\Omega}u^{2}\,dx. \end{aligned}$$
(2.12)
In the forth term (2.12), we use (2.3), (2.8), and (2.9), which leads to
$$\begin{aligned} 2\alpha \int_{\Omega}u f(u)\,dx \leq &2\alpha c \int_{\Omega}u^{3}\,dx \\ \leq& a_{1} \biggl( \int_{\Omega}u^{3}\,dx \biggr)^{\frac{3}{2}}+ \frac {a_{2}}{\varepsilon_{1}^{2}} \biggl( \int_{\Omega}u^{3}\,dx \biggr)^{3}+3a_{2} \varepsilon_{1} \int_{\Omega}|\nabla u|^{2}\,dx \end{aligned}$$
(2.13)
with
$$a_{1}=\alpha c(2p_{1})^{\frac{3}{2}},\qquad a_{2}=2^{-\frac{1}{2}}\alpha cp_{2}^{\frac{3}{2}}. $$
Here, we also used Hölder’s inequality and Young’s inequality with \(\varepsilon_{1}>0\).
Inserting (2.11) and (2.13) into (2.12), we obtain
$$\begin{aligned} \Phi'(t) \leq& - 2\alpha \int_{\Omega}|\nabla u|^{2}\,dx+c_{1}2^{\frac {3}{2}m-1}p_{1}^{\frac{3}{2}m} \biggl( \int_{\Omega}u^{2} \,dx \biggr)^{\frac{m+2}{2}} \\ &{} +c_{1}2^{\frac{3}{2}m-1}\frac{p_{2}^{\frac{3}{2}m}}{\varepsilon _{0}^{\frac{3m}{4-3m}}}\cdot\frac{4-3m}{4} \biggl( \int_{\Omega }u^{2}\,dx \biggr)^{\frac{4-m}{4-3m}} +c_{1} 2^{\frac{3}{2}m-1}p_{2}^{\frac{3}{2}m}\cdot \frac{3}{4}m\varepsilon _{0} \int_{\Omega}|\nabla u|^{2}\,dx \\ &{} +a_{1} \biggl( \int_{\Omega}u^{3}\,dx \biggr)^{\frac{3}{2}} + \frac{a_{2}}{\varepsilon_{1}^{2}} \biggl( \int_{\Omega}u^{3}\,dx \biggr)^{3}+3a_{2} \varepsilon_{1} \int_{\Omega}|\nabla u|^{2}\,dx+\alpha ' \int_{\Omega}u^{2}\,dx \\ =&\biggl(3a_{2}\varepsilon_{1}+c_{1} 2^{\frac{3}{2}m-1}p_{2}^{\frac{3}{2}m}\cdot\frac{3}{4}m\varepsilon _{0}- 2\alpha\biggr) \int_{\Omega}|\nabla u|^{2}\,dx \\ &{}+c_{1}2^{\frac {3}{2}m-1}p_{1}^{\frac{3}{2}m} \alpha^{-\frac{m+2}{2}} \biggl(\alpha \int_{\Omega}u^{2} \,dx \biggr)^{\frac{m+2}{2}} \\ &{} +c_{1}2^{\frac{3}{2}m-1}\frac{p_{2}^{\frac{3}{2}m}}{\varepsilon _{0}^{\frac{3m}{4-3m}}}\cdot\frac{4-3m}{4} \alpha^{\frac {m-4}{4-3m}} \biggl(\alpha \int_{\Omega}u^{2}\,dx \biggr)^{\frac {4-m}{4-3m}}+ \frac{\alpha'}{\alpha} \biggl(\alpha \int_{\Omega }u^{2}\,dx \biggr) \\ &{} +a_{1}\alpha^{-\frac{3}{2}} \biggl(\alpha \int_{\Omega }u^{3}\,dx \biggr)^{\frac{3}{2}}+ \frac{a_{2}}{\varepsilon _{1}^{2}}\alpha^{-3} \biggl(\alpha \int_{\Omega}u^{3}\,dx \biggr)^{3} \end{aligned}$$
(2.14)
with \(c_{1}=\frac{2\alpha k_{1}k_{3}}{m+1}\).
To simplify the right-hand side of (2.14), we choose appropriate constants \(\varepsilon_{0}\) and \(\varepsilon_{1}\) such that
$$3a_{2}\varepsilon_{1}+c_{1} 2^{\frac{3}{2}m-1}p_{2}^{\frac{3}{2}m} \cdot\frac{3}{4}m\varepsilon _{0}- 2\alpha=0. $$
Hence, we can estimate (2.14) as
$$ \Phi'(t)\leq A_{0}\Phi+A_{1} \Phi ^{\frac{m+2}{2}}+A_{2}\Phi^{\frac{4-m}{4-3m}}+A_{3} \Phi^{\frac {3}{2}}+A_{4}\Phi^{3}, $$
(2.15)
where
$$\begin{aligned}& A_{0}=\frac{\alpha'}{\alpha},\qquad A_{1}=c_{1}2^{\frac {3}{2}m-1}p_{1}^{\frac{3}{2}m} \alpha^{-\frac{m+2}{2}},\qquad A_{2}=c_{1}2^{\frac{3}{2}m-1} \frac{p_{2}^{\frac{3}{2}m}}{\varepsilon _{0}^{\frac{3m}{4-3m}}}\cdot\frac{4-3m}{4}\alpha^{\frac{m-4}{4-3m}}, \\& A_{3}=a_{1}\alpha^{-\frac{3}{2}},\qquad A_{4}= \frac{a_{2}}{\varepsilon _{1}^{2}}\alpha^{-3}. \end{aligned}$$
Now, integrating (2.15) over \((0,t)\), we have
$$t\geq \int_{\Phi(0)}^{\Phi(t)}\frac{d\xi}{A_{0}\xi+A_{1}\xi ^{\frac{m+2}{2}}+A_{2}\xi^{\frac{4-m}{4-3m}}+A_{3}\xi^{\frac {3}{2}}+A_{4}\xi^{3}}. $$
Thus the proof of Theorem 2.1 is completed. □

2.2 Lower bound with \(\Omega\subset{\mathbb {R}}^{2}\), \(1\leq m<2\)

In this subsection, we consider system (1.1) in the case \(\Omega \subset{\mathbb {R}}^{2}\), we have the following main result.

Theorem 2.2

Let \((u,v)\) be a classical solution of system (1.1) in a convex region \(\Omega\subset{\mathbb {R}}^{2}\) with smooth boundary and \(1\leq m<2\). Suppose that \(f(u)\) is a nonnegative function and satisfies (2.3). If \((u,v)\) blows up in the Φ-measure at time \(t^{*}\), with Φ defined in (2.1), then \(t^{*}\) satisfies the lower bound
$$ t^{*}\geq \int_{\Phi(0)}^{+\infty}\frac {d\xi}{\overline{A}_{0}\xi+\overline{A}_{1}\xi^{\frac {m+2}{2}}+\overline{A}_{2}\xi^{\frac{2}{2-m}}+\overline{A}_{3}\xi ^{\frac{3}{2}}+\overline{A}_{4}\xi^{3}}, $$
(2.16)
where
$$\begin{aligned}& \overline{A}_{0}=\frac{\alpha'}{\alpha},\qquad \overline {A}_{1}=c_{1}\frac{2^{\frac{3m}{2}-1}p_{1}^{m}}{3^{m}}\alpha^{-\frac {m+2}{2}},\qquad \overline{A}_{2}=c_{1}2^{\frac{m}{2}-1}p_{2}^{m} \frac {2-m}{2}\varepsilon_{2}^{\frac{m}{m-2}}\alpha^{\frac{m}{m-2}}, \\& \overline{A}_{3}=a_{1}\alpha^{-\frac{3}{2}}, \qquad \overline{A}_{4}=\frac {a_{2}}{\varepsilon_{1}^{2}}\alpha^{-3} \end{aligned}$$
with \(c_{1}\), \(a_{1}\), \(a_{2}\), \(p_{1}\), \(p_{2}\), \(\rho_{0}\), d defined in (2.5). Among that, \(\varepsilon_{1}\), \(\varepsilon_{2}\) present positive constants, ν denotes the unit normal vector directed outward on Ω.

Proof

By using Hölder’s inequality, we obtain
$$ \int_{\Omega}u^{m+2}\,dx\leq \biggl( \int _{\Omega}u^{2}\,dx \biggr)^{1-\frac{m}{2}} \biggl( \int_{\Omega }u^{4}\,dx \biggr)^{\frac{m}{2}}. $$
(2.17)
In order to estimate the term \(\int_{\Omega}u^{4}\,dx\), we use the following inequality (see (3.2) and (3.4) in [17]):
$$ \biggl( \int_{\Omega}|u|^{4}\,dx \biggr)^{\frac{1}{2}}\leq \frac{\sqrt{2}}{2} \biggl[\frac{1}{\rho_{0}} \int_{\Omega }u^{2}\,dx+ \biggl(1+\frac{d}{\rho_{0}} \biggr) \biggl( \int_{\Omega}u^{2}\,dx \int_{\Omega}|\nabla u|^{2}\,dx \biggr)^{\frac{1}{2}} \biggr] $$
(2.18)
with \(\rho_{0}\), d defined in (2.5).
Inserting (2.18) into (2.17), we obtain
$$\begin{aligned} \int_{\Omega}u^{m+2}\,dx \leq&2^{-\frac {m}{2}} \biggl( \int_{\Omega}u^{2}\,dx \biggr)^{1-\frac{m}{2}} \\ &{}\times\biggl[ \frac{1}{\rho_{0}} \int_{\Omega}u^{2}\,dx+ \biggl(1+\frac {d}{\rho_{0}} \biggr) \biggl( \int_{\Omega}u^{2}\,dx \int_{\Omega}|\nabla u|^{2}\,dx \biggr)^{\frac{1}{2}} \biggr]^{m} \\ \leq& 2^{\frac{m}{2}-1}\frac{1}{\rho_{0}^{m}} \biggl( \int_{\Omega }u^{2}\,dx \biggr)^{1+\frac{m}{2}}+ 2^{\frac{m}{2}-1} \biggl(1+\frac{d}{\rho_{0}} \biggr)^{m} \biggl( \int _{\Omega}u^{2}\,dx \int_{\Omega}|\nabla u|^{2}\,dx \biggr)^{\frac {m}{2}} \\ \leq&\frac{2^{\frac{3m}{2}-1}p_{1}^{m}}{3^{m}} \biggl( \int_{\Omega }u^{2}\,dx \biggr)^{1+\frac{m}{2}} +2^{\frac{m}{2}-1}p_{2}^{m}\frac{m}{2} \varepsilon_{2} \int_{\Omega }|\nabla u|^{2}\,dx \\ & {}+2^{\frac{m}{2}-1}p_{2}^{m}\frac{2-m}{2} \varepsilon_{2}^{\frac {m}{m-2}} \biggl( \int_{\Omega}u^{2}\,dx \biggr)^{\frac{2}{2-m}}. \end{aligned}$$
(2.19)
Starting from (2.12), if we apply (2.13) and (2.19), we obtain
$$\begin{aligned} \Phi'(t) \leq& \biggl(3a_{2}\varepsilon_{1}+c_{1} 2^{\frac{m}{2}-1}p_{2}^{m}\cdot\frac{m}{2} \varepsilon_{2}- 2\alpha \biggr) \int_{\Omega}|\nabla u|^{2}\,dx +c_{1} \frac{2^{\frac{3m}{2}-1}p_{1}^{m}}{3^{m}} \biggl( \int_{\Omega }u^{2}\,dx \biggr)^{1+\frac{m}{2}} \\ &{} +c_{1}2^{\frac{m}{2}-1}p_{2}^{m} \frac{2-m}{2}\varepsilon _{2}^{\frac{m}{m-2}} \biggl( \int_{\Omega}u^{2}\,dx \biggr)^{\frac{2}{2-m}} + \frac{\alpha'}{\alpha} \biggl(\alpha \int_{\Omega}u^{2}\,dx \biggr) \\ &{} +a_{1}\alpha^{-\frac{3}{2}} \biggl(\alpha \int_{\Omega }u^{3}\,dx \biggr)^{\frac{3}{2}}+ \frac{a_{2}}{\varepsilon _{1}^{2}}\alpha^{-3} \biggl(\alpha \int_{\Omega}u^{3}\,dx \biggr)^{3}. \end{aligned}$$
(2.20)
Now, choosing appropriate constants \(\varepsilon_{1}\) and \(\varepsilon _{2}\) such that
$$3a_{2}\varepsilon_{1}+c_{1} 2^{\frac{m}{2}-1}p_{2}^{m} \cdot\frac{m}{2}\varepsilon_{2}- 2\alpha=0, $$
we get
$$ \Phi'(t)\leq A_{0}\Phi+A_{1} \Phi^{\frac {m+2}{2}}+A_{2}\Phi^{\frac{2}{2-m}}+A_{3} \Phi^{\frac {3}{2}}+A_{4}\Phi^{3}, $$
(2.21)
where
$$\begin{aligned}& \overline{A}_{0}=\frac{\alpha'}{\alpha},\qquad \overline {A}_{1}=c_{1}\frac{2^{\frac{3m}{2}-1}p_{1}^{m}}{3^{m}}\alpha^{-\frac {m+2}{2}}, \qquad \overline{A}_{2}=c_{1}2^{\frac{m}{2}-1}p_{2}^{m} \frac {2-m}{2}\varepsilon_{2}^{\frac{m}{m-2}}\alpha^{\frac{m}{m-2}}, \\& \overline{A}_{3}=a_{1}\alpha^{-\frac{3}{2}},\qquad \overline{A}_{4}=\frac {a_{2}}{\varepsilon_{1}^{2}}\alpha^{-3}. \end{aligned}$$
Now, integrating (2.21) over \((0,t)\), we have
$$t\geq \int_{\Phi(0)}^{\Phi(t)}\frac{d\xi}{\overline{A}_{0}\xi +\overline{A}_{1}\xi^{\frac{m+2}{2}}+\overline{A}_{2}\xi^{\frac {2}{2-m}}+\overline{A}_{3}\xi^{\frac{3}{2}}+\overline{A}_{4}\xi^{3}}. $$
Thus the proof of Theorem 2.2 is completed. □

3 Exponential decay for the associated energies

In this section, we focus on the exponential decay of the associated energies for system (1.1). We only consider the case when \(\Omega\subset{\mathbb {R}}^{3}\), the case when \(\Omega\subset{\mathbb {R}}^{2}\) being completely similar. In order to state our main result, we need the following condition:
$$ -D_{1}\lambda_{1}+D_{2}\lambda _{1}^{\frac{3}{4}}\Phi(0)^{\frac{1}{2}}+D_{3} \Phi(0)^{\frac{1}{2}}+D_{4}< 0, $$
(3.1)
where
$$ \begin{aligned} &D_{1}=2\alpha,\qquad D_{2}=2^{\frac{1}{2}}(c_{1}m+2\alpha )p_{2}^{\frac{3}{2}} \alpha^{-\frac{3}{4}},\qquad D_{3}=2^{\frac {1}{2}}(c_{1}m+2 \alpha)p_{1}^{\frac{3}{2}}\alpha^{-\frac {3}{42}}, \\ &D_{4}=\frac{c_{1}(1-m)+\alpha'}{\alpha}, \qquad \Phi(0)=\alpha(0) \int _{\Omega}u_{0}(x)^{2}\,dx \end{aligned} $$
(3.2)
and \(\lambda_{1}\) is the first eigenvalue for the boundary value problem as follows:
$$\textstyle\begin{cases} \triangle\varphi+\lambda\varphi=0, &x\in\Omega,\\ \varphi|_{\partial\Omega}=0,\\ \varphi>0, &x\in\Omega. \end{cases} $$

Remark 3.1

Let us note that upon appropriate choices of \(D_{1}\), \(D_{2}\), \(D_{3}\), \(D_{4}\), and \(\Phi(0)\), one can obtain condition (3.1).

We are now ready to state our main result about the decay of energies for system (1.1).

Theorem 3.2

Assume that \(\Phi(0)>0\), \(2k_{2}>k_{3}\) and condition (3.1) is satisfied. Then the solution decays exponentially to zero in \(L^{2}(\Omega)\).

Proof

Let \((u,v)\) be the unique solution of (1.1), we put
$$\Phi(t)=\alpha(t) \int_{\Omega}u^{2}\,dx, \Psi(t)=\frac {(2k_{2}-k_{3})\alpha(t)}{k_{3}} \int_{\Omega}v^{2}\,dx. $$
Following the same idea as in the proof of Theorem 2.1, we have
$$ \Phi'(t) \leq \biggl( \int_{\Omega}|\nabla u|^{2}\,dx \biggr)^{\frac{3}{4}} \biggl(-D_{1} \biggl( \int_{\Omega}|\nabla u|^{2}\,dx \biggr)^{\frac {1}{4}}+D_{2} \Phi(t)^{\frac{3}{4}} \biggr)+D_{3}\Phi(t)^{\frac {3}{2}}+D_{4} \Phi(t) $$
(3.3)
with \(D_{1}\), \(D_{2}\), \(D_{3}\), \(D_{4}\) defined in (3.2).
Inserting the result
$$\int_{\Omega}|\nabla u|^{2}\,dx\geq\lambda_{1} \int_{\Omega}u^{2}\,dx, $$
we obtain
$$ \Phi'(t) \leq \biggl( \int_{\Omega}|\nabla u|^{2}\,dx \biggr)^{\frac{3}{4}} \bigl(-D_{1}\lambda_{1}^{\frac{1}{4}}\Phi(t)^{\frac {1}{4}}+D_{2} \Phi(t)^{\frac{3}{4}} \bigr)+D_{3}\Phi(t)^{\frac {3}{2}}+D_{4} \Phi(t). $$
(3.4)
We claim, by an argument similar to that of Wang, Wang, and Zhou in [24], that
$$ \Phi'(t)< 0 $$
(3.5)
and
$$ \Phi'(t) \leq \Phi(t) \bigl(-D_{1} \lambda_{1}^{\frac{1}{4}}\Phi(t)^{\frac {1}{4}}+D_{2} \Phi(t)^{\frac{3}{4}} \bigr)+D_{3}\Phi(t)^{\frac {3}{2}}+D_{4} \Phi(t). $$
(3.6)
By (3.5) and (3.6), there exists a positive constant γ such that
$$D_{2}\Phi(t)^{\frac{3}{4}}+D_{3}\Phi(t)^{\frac{3}{2}}< D_{2} \Phi (0)^{\frac{3}{4}}+D_{3}\Phi(0)^{\frac{3}{2}}< D_{1} \lambda _{1}-D_{4}-\gamma. $$
Thus, one has
$$\Phi'(t)\leq-\gamma\Phi(t), $$
which yields
$$ \Phi(t)\leq\Phi(0)\exp(-\gamma t). $$
(3.7)
This proves that u decays exponentially to zero in \(L^{2}(\Omega)\).
Next, we study the decay behavior of \(\Psi(t)\). Multiplying both sides of the second equation in (1.1) by v and then integrating over Ω, we obtain
$$\int_{\Omega}v\triangle v\, dx=k_{2} \int_{\Omega}v^{2}\,dx-k_{3} \int _{\Omega}uv\, dx. $$
Namely,
$$- \int_{\Omega}|\nabla v|^{2}\,dx=k_{2} \int_{\Omega}v^{2}\,dx-k_{3} \int _{\Omega}uv\, dx. $$
By Hölder’s inequality and the arithmetic inequality (2.6), we have
$$ k_{2} \int_{\Omega}v^{2}\,dx+ \int_{\Omega}|\nabla v|^{2}\,dx=k_{3} \int _{\Omega}uv\, dx\leq\frac{k_{3}}{2} \int_{\Omega}u^{2}\,dx+\frac {k_{3}}{2} \int_{\Omega}v^{2}\,dx. $$
Thus,
$$\biggl(k_{2}-\frac{k_{3}}{2} \biggr) \int_{\Omega}v^{2}\,dx\leq\frac {k_{3}}{2} \int_{\Omega}u^{2}\,dx, $$
which together with (3.7) yields
$$\Psi(t)=\frac{(2k_{2}-k_{3})\alpha(t)}{k_{3}} \int_{\Omega }v^{2}\,dx\leq\alpha(t) \int_{\Omega}u^{2}\,dx=\Phi(t)\leq\Phi (0)\exp(-\gamma t), $$
as desired. This completes the proof. □

Declarations

Acknowledgements

This work was supported by the Science and Technology Planning Project of Gansu Province (1610RJZA102), Fundamental Research Funds for the Central Universities (31920170147, 31920180116), and Gansu Provincial First-class Discipline Program of Northwest Minzu University.

Availability of data and materials

Not applicable.

Funding

Not applicable.

Authors’ contributions

YJ completed the main study and wrote the manuscript, WZ checked the proofs process and verified the calculation. Moreover, all the authors read and approved the last version of the manuscript.

Competing interests

All of the authors of this article claim that together they have no competing interests.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
College of Mathematics and Computer Science, Northwest Minzu University, Lanzhou, P.R. China

References

  1. Bellomo, N., Belloquid, A., Tao, Y., Winkler, M.: Toward a mathematical theory of Keller–Segel model of pattern formation in biological tissues. Math. Models Methods Appl. Sci. 25, 1663–1763 (2015) MathSciNetView ArticleMATHGoogle Scholar
  2. Cieslak, T., Winkler, M.: Finite-time blow-up in a quasilinear system of chemotaxis. Nonlinearity 21, 1057–1076 (2008) MathSciNetView ArticleMATHGoogle Scholar
  3. Fragnelli, G., Mugnai, D.: Carleman estimates for singular parabolic equations with interior degeneracy and non-smooth coefficients. Adv. Nonlinear Anal. 6, 61–84 (2017) MathSciNetMATHGoogle Scholar
  4. Ghergu, M., Radulescu, V.: A singular Gierer–Meinhardt system with different source terms. Proc. R. Soc. Edinb., Sect. A 138, 1215–1234 (2008) MathSciNetView ArticleMATHGoogle Scholar
  5. Ghergu, M., Radulescu, V.: Turing patterns in general reaction–diffusion systems of Brusselator type. Commun. Contemp. Math. 12, 661–679 (2010) MathSciNetView ArticleMATHGoogle Scholar
  6. Ghergu, M., Radulescu, V.: Nonlinear PDEs. Mathematical Models in Biology, Chemistry and Population Genetics. Springer Monographs in Mathematics. Springer, Heidelberg (2012) MATHGoogle Scholar
  7. Herrero, M.A., Velazquez, J.J.L.: A blow-up mechanism for a chemotaxis model. Ann. Sc. Norm. Super. Pisa, Cl. Sci. 24, 633–683 (1997) MathSciNetMATHGoogle Scholar
  8. Horstmann, D., Wang, G.: Blow-up in a chemotaxis model without symmetry assumptions. Eur. J. Appl. Math. 12, 159–177 (2001) MathSciNetView ArticleMATHGoogle Scholar
  9. Horstmann, D., Winkler, M.: Boundedness vs. blow-up in a chemotaxis system. J. Differ. Equ. 215, 52–107 (2005) MathSciNetView ArticleMATHGoogle Scholar
  10. Jäger, W., Luckhaus, S.: On explosions of solutions to a system of partial differential equations modelling chemotaxis. Trans. Am. Math. Soc. 329(2), 819–824 (1992) MathSciNetView ArticleMATHGoogle Scholar
  11. Keller, E.F., Segal, L.A.: Initiation of slime mold aggregation viewed as an instability. J. Theor. Biol. 26, 399–415 (1970) View ArticleMATHGoogle Scholar
  12. Kozono, H., Sugiyama, Y., Takada, R.: Non-existence of backward self-similar solutions of the Keller–Segel system in the scaling invariant class. J. Math. Anal. Appl. 365, 60–66 (2010) MathSciNetView ArticleMATHGoogle Scholar
  13. Marras, M., Vernier-Piro, S.: Explicit estimates for blow-up solutions to parabolic systems under nonlocal boundary conditions. C. R. Acad. Bulgare Sci. 67, 459–466 (2014) MathSciNetMATHGoogle Scholar
  14. Marras, M., Vernier-Piro, S., Viglialoro, G.: Estimates from below of blow-up time in a parabolic system with gradient term. Int. J. Pure Appl. Math. 93, 297–306 (2014) View ArticleMATHGoogle Scholar
  15. Marras, M., Vernier-Piro, S., Viglialoro, G.: Blow-up phenomena in chemotaxis systems with a source term. Math. Methods Appl. Sci. 39, 2787–2798 (2016) MathSciNetView ArticleMATHGoogle Scholar
  16. Nagai, T.: Blowup of nonradial solutions to parabolic–elliptic systems modeling chemotaxis in two-dimensional domains. J. Inequal. Appl. 6, 37–55 (2001) MathSciNetMATHGoogle Scholar
  17. Payne, L.E., Philippin, G.A., Vernier-Piro, S.: Blow-up phenomena for a semilinear heat equation with nonlinear boundary condition II. Nonlinear Anal. 73, 971–978 (2010) MathSciNetView ArticleMATHGoogle Scholar
  18. Payne, L.E., Song, J.C.: Lower bounds for blow-up in a model of chemotaxis. J. Math. Anal. Appl. 385, 672–676 (2012) MathSciNetView ArticleMATHGoogle Scholar
  19. Sugiyama, Y.: Partial regularity and its application to the blow-up asymptotics of parabolic systems modelling chemotaxis with porous medium diffusion. Adv. Stud. Pure Math. 55, 137–160 (2009) MathSciNetMATHGoogle Scholar
  20. Sugiyama, Y.: On ϵ-regularity theorem and asymptotic behaviors of solutions for Keller–Segel systems. SIAM J. Math. Anal. 41, 1664–1692 (2009) MathSciNetView ArticleMATHGoogle Scholar
  21. Sugiyama, Y., Velazquez, J.J.L.: Self-similar blow-up with a continuous range of values of the aggregated mass for a degenerate Keller–Segel system. Adv. Differ. Equ. 16, 85–112 (2011) MathSciNetMATHGoogle Scholar
  22. Sugiyama, Y., Yahagi, Y.: Uniqueness and continuity of solution for the initial data in the scaling invariant class of degenerate Keller–Segel system. J. Evol. Equ. 11, 319–337 (2010) MathSciNetView ArticleMATHGoogle Scholar
  23. Tello, J.T., Winkler, M.: A chemotaxis system with logistic source. Commun. Partial Differ. Equ. 32, 849–877 (2007) MathSciNetView ArticleMATHGoogle Scholar
  24. Wang, R., Wang, T., Zhou, Y.: Blow-up profiles for a semilinear chemotaxis system arising in biology. J. Anal. Appl. 33, 417–428 (2014) MathSciNetMATHGoogle Scholar
  25. Winkler, M.: Boundedness in the higher-dimensional parabolic–parabolic system with logistic source. Commun. Partial Differ. Equ. 35, 1516–1537 (2010) MathSciNetView ArticleMATHGoogle Scholar
  26. Winkler, M.: Aggregation vs. global diffusive behavior in the higher-dimensional Keller–Segel model. J. Differ. Equ. 248, 2889–2905 (2010) MathSciNetView ArticleMATHGoogle Scholar
  27. Winkler, M., Djie, K.C.: Boundedness and finite-time collapse in a chemotaxis system with volume-filling effect. Nonlinear Anal. TMA 72, 1044–1064 (2010) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© The Author(s) 2018

Advertisement