- Research
- Open Access
- Published:
Boundedness in a quasilinear chemotaxis–haptotaxis model of parabolic–parabolic–ODE type
Boundary Value Problems volume 2019, Article number: 138 (2019)
Abstract
This paper deals with the boundedness of solutions to the following quasilinear chemotaxis–haptotaxis model of parabolic–parabolic–ODE type:
under zero-flux boundary conditions in a smooth bounded domain \(\varOmega \subset \mathbb{R}^{n}(n\geq 2)\), with parameters \(r\geq 2\), \(\eta \in (0,1]\) and the parameters \(\chi >0\), \(\xi >0\), \(\mu >0\). The diffusivity \(D(u)\) is assumed to satisfy \(D(u)\geq \delta u^{-\alpha }\), \(D(0)>0\) for all \(u>0\) with some \(\alpha \in \mathbb{R}\) and \(\delta >0 \). It is proved that if \(\alpha <\frac{n+2-2n\eta }{2+n}\), then, for sufficiently smooth initial data \((u_{0},v_{0},w_{0})\), the corresponding initial-boundary problem possesses a unique global-in-time classical solution which is uniformly bounded.
1 Introduction
Chemotaxis is the motion of cells moving towards the higher concentration of a chemical signal. A classical mathematical model for chemotaxis was proposed by Keller and Segel [9]. In the recent 40 years, a large quantity of the Keller–Segel system were proposed and have been extensively studied; see Hillen and Painter [15] for example.
Another important extension of the classical Keller–Segel model to a more complex cell migration mechanism was proposed by Chaplain and Lolas [4, 5] in order to describe processes of cancer cell invasion of surrounding healthy tissue. In addition to random motion, cancer cells bias their movement toward increasing concentrations of a diffusible enzyme as well as according to gradients of non-diffusible tissue by detecting matrix molecules such as vitronectin adhered therein. The latter type of directed migration toward immovable cues is commonly referred to as haptotaxis. Apart from that, in this modeling context the cancer cells are usually also assumed to follow a logistic growth competing for space with healthy tissue. The enzyme is produced by cancer cells and it is supposed to be influenced by diffusion and degradation. The tissue, also named extracellular matrix, can be degraded by enzyme upon contact; on the other hand, the tissue might possess the ability to remodel the healthy level. In [10, 21, 28, 29, 46], authors studied the following parabolic–parabolic–ODE chemotaxis–haptotaxis model:
in smoothly bounded domain \(\varOmega \subset \mathbb{R}^{n}\), \(n\geq 2\), where \(\chi >0\), \(\xi >0\), \(\mu >0\) are parameters, the variables u, v and w represent the density of cancer cells, the enzyme concentration and the density of the extracellular matrix, \(D(u)\) describes the density-dependent motility of cancer cells through the extracellular matrix, χ and ξ represent the chemotactic and haptotactic sensitivities, μ is the proliferation rate of cells.
For the special case \(D(u)=1\) in (1.1), Tao and Wang [19] proved that model (1.1) possesses a unique global-in-time classical solution for any \(\chi >0\) in one space dimension, or for small \(\frac{\chi }{\mu }>0\) in two and three space dimensions. Later, Tao [17] improved the result of [19] for any \(\mu >0\) in two space dimensions. Hillen, Painter and Winkler [6] studied the global boundedness and asymptotic behavior of the solution to (1.1) in one space dimension. Tao [18] proved that the model has a unique classical solution which is global-in-time and bounded in two space dimensions. Cao [3] proved that the model has a unique classical solution which is global-in-time and bounded in three space dimensions. Tao and Winkler [26] claimed that if \(n\leq 3\) and \((u,v, w)\) is a bounded global classical solution, then under the fully explicit condition \(\mu >\frac{\chi _{2}}{8}\) the solution \((u,v, w)\) approaches the spatially uniform state \((1,1,0)\) as time goes to infinity. Then Wang and Ke [30] proved that the model possesses a unique global-in-time classical solution that is bounded in the case \(3\leq n\leq 8\) and μ is appropriately large.
When \(D\in C^{2}([0,\infty ))\), \(D(0)>0\) and \(D(u)\geq \delta u^{-\alpha }\) for all \(u\geq 0\) with some \(\delta >0\), the global existence of a unique classical solution to (1.1) was proved by Tao and Winkler in [21] under the assumption that either \(n\leq 8\) and \(\alpha <\frac{4-n^{2}}{n^{2}+4n}\) or \(n\geq 9\) and \(\alpha <( \sqrt{8n(n+1)}-n^{2}-n-2)/(n^{2}+2n)\). When \(D\in C^{2}([0,\infty ))\), \(D(u) \geq \delta u^{-\alpha }\) for all \(u\geq 0\) with some \(\delta >0\) and \(\alpha <0\), Zheng et al. [46] studied model (1.1) and found that (1.1) possesses a unique global classical solution which is uniformly bounded in the case of non-degenerate diffusion (i.e. \(D(0)>0\)) and possesses at least one nonnegative global weak solution in the case of degenerate diffusion (\(D(0)\geq 0\)) in two space dimensions. Li and Lankeit [10] proved that for sufficiently regular initial date global bounded solutions exist whenever \(\alpha <\frac{2}{n}-1\) in two, three and four space dimensions. When \(D\in C^{2}([0,\infty )) \), \(D(u)\geq \delta (u+1)^{-\alpha }\) for all \(u\geq 0\) with some \(\delta >0\), Wang clarified the issue of the global boundedness to solutions of (1.1) without any restriction on the space dimension with \(\alpha <\frac{2-n}{n+2}\) in [28, 29].
When the second PDE in (1.1) is replaced by \(0=\Delta v-v+u\) and \(D(u) = 1\) in (1.1), Tao and Wang [20] proved that model (1.1) possesses a unique global bounded classical solution for any \(\mu >0\) in two space dimension, and for large \(\mu >0\) in three space dimensions. Tao and Winkler [23] proved that model (1.1) possesses a unique global smooth solution for first-order compatibility conditions in two space dimension. For all \(n\geq 1\), Tao and Winkler [24] proved that model (1.1) possesses a unique global bounded classical solution for \(\mu >\chi \). In particular, the global solution \((u,v,w)\) approaches the spatially uniform state \((1,1,0)\) as time goes to infinity under an additional assumption on the size of μ and the initial data \(u_{0}\) and \(w_{0}\). Later, Tao and Winkler [25] studied global boundedness for model (1.1) under the condition \(\mu >\frac{(n+2)_{+}}{n}\chi \). Furthermore, in addition to the explicit smallness on \(w\equiv 0\), they gave the exponential decay of w in the large time limit.
Zheng [41] considered the following chemotaxis–haptotaxis model with generalized logistic source:
in smoothly bounded domain \(\varOmega \subset \mathbb{R}^{n}\), \(n\geq 3\), where \(\chi >0\), \(\xi >0\), \(r>1\) are parameters. Zheng [41] proved that model (1.2) possesses a unique global classical solution which is uniformly bounded in \(\varOmega \times (0,\infty )\) in the case of \(D(u)\geq \delta (u+1)^{-\alpha }\) for all \(u>0\) with some \(\delta >0 \) and some
For the special case \(D(u)=1\) in (1.2) and the logistic source replaced by \(u(a-\mu u^{r-1}-w), a\in \mathbb{R}\), \(n\geq 1\), \(\mu >0\), Zheng [43] has shown that, when \(r>2\), or
the problem (1.2) possesses a global classical solution which is bounded, where \(C^{\frac{1}{\frac{n}{2}+1}}_{\frac{n}{2}+1}\) is a positive constant which corresponds to the maximal Sobolev regularity. When \(D(u)=1\) in (1.2) and the logistic source is replaced by \(u(a-\mu u^{r-1}-\lambda w),a\in \mathbb{R}\), \(n\geq 1\), \(\mu >0\), \(\lambda >0\), Zheng [44] has shown that when \(r>2\), or \(r=2\), with \(\mu > \mu ^{\star }=\frac{(n-2)_{+}}{n}(\chi +C_{\beta }) C^{\frac{1}{ \frac{n}{2}+1}}_{\frac{n}{2}+1}\) the problem (1.2) possesses a global classical solution which is bounded, where \(C_{\beta }\) and \(C_{\frac{n}{2}+1}\) are positive constants.
Many authors considered the following Keller–Segel system:
in a smoothly bounded domain \(\varOmega \subset \mathbb{R}^{n}\), \(n\geq 2\). Here the positive function \(D(u)\) represents the diffusivity of the cells, and the nonnegative function \(S(u)\) measures the chemotactic sensitivity. The functions \(f(u)\) and \(g(u)\) are the growth of u and the production of v, respectively.
For \(D(u)=(1+u)^{-\alpha }(\alpha \in \mathbb{R})\), \(S(u)=u(1+u)^{ \beta -1}(\beta \in \mathbb{R})\) and \(g(u)=u^{\eta }(\eta >0)\), Tao et al. [16] proved that model (1.3) possesses a uniform-in-time boundedness of solutions in the case of \(f\equiv 0\), \(\eta \in (0,1]\) and \(\alpha +\beta +\eta <1+\frac{2}{n}\) or in the case of \(f(u)=\gamma u- \mu u^{r}\), \(\gamma \in \mathbb{R}\), \(r>1\) and \(\beta +\eta < r\) or \(\beta +\eta =r\), \(\mu \geq \mu _{0}\) for some \(\mu _{0}>0\); Wang et al. [27] found that model (1.3) possesses a unique global-in-time classical solution for \(0<\alpha +\beta <\frac{2}{n}\) when \(f(u)=\gamma u-\mu u^{r}\), \(g(u)=u\), \(\gamma \in \mathbb{R}\), \(r>1\); Zheng [39] proved that model (1.3) possesses a unique global-in-time classical solution that is bounded in the case \(0<\alpha +\beta <\max \{r-1+\alpha ,\frac{2}{n}\}\), \(n\geq 1\), or \(\beta =r-1\) and μ is large enough. Afterwards,Wang and Liu [31] improved the previous results on the boundedness of solutions to (1.3). When \(f(u)=u(1-u)\), \(g(u)=u\), \(n\geq 3\), Zheng [42] shown that model (1.3) possesses a unique global-in-time classical solution that is bounded in the case \(0<\alpha +\beta <\frac{4}{n+2}\). When \(f(u)=\gamma u-\mu u^{2}\), \(g(u)=u\), \(D(u)\geq \delta u^{-\alpha }\), \(\delta u^{\beta }\leq S(u)\leq \delta _{1} u^{\beta }\) \(\alpha ,\beta \in \mathbb{R}\), \(\delta _{1}>\delta >0\), \(u\geq u_{0}\) with some \(u_{0} > 1\), Cao [2] proved that model (1.3) possesses a unique global-in-time classical solution that is bounded in the case \(\beta <1\). For research on the corresponding quasilinear parabolic-elliptic problems, we refer to [37, 40] and the references therein.
For the special case \(f\equiv 0\), \(g(u)=u\) in (1.3), Winkler [32] found that if \(\frac{S(u)}{D(u)}\) grows faster than \(u^{\frac{2}{n}}\) as \(u\rightarrow \infty \) and some further technical conditions are fulfilled, then there exist solutions that blow up in either finite or infinite time. Afterwards, Tao and Winkler [22] proved that solutions (1.3) remain bounded under the condition that \(\frac{S(u)}{D(u)}\leq cu^{\alpha }\) with \(\alpha < \frac{2}{n}\) and \(c>0\) for all \(u>1\), provided that Ω is a convex domain and \(D(u)\) satisfies some other technical conditions. Then Ishida et al. [8] generalized the result obtained in [22] to non-convex domains.
For the special case \(D(u)=1\), \(S(u)=u\), \(f(u)=0\) and \(g(u)= u^{\eta }\) in (1.3), Liu and Tao [11] shown the global boundedness of solutions when \(0<\eta <\frac{2}{n}\). As to the case \(D(u)=1\), \(S(u)= \chi u\), \(f(u)=u-\mu u^{r}\) and \(g(u)= u(u+1)^{\eta -1}\) in (1.3) for all \(u\geq 0\) with some \(\chi >0\), \(r>1\), \(\eta >0\), Zhuang et al. [47] proved that model (1.3) possesses a globally bounded classical solution if \(r>\eta +1\), or \(r=\eta +1\) and μ is large enough. When \(D(u)=1\), \(S(u)=\chi u\), \(f(u)=\gamma u-\mu u^{2}\), \(g(u)=u\), Osaki et al. [14] proved the solutions of (1.3) are globally bounded in two space dimension regardless of the size of \(\mu > 0\). Later, Winkler [33] found that model (1.3) possesses a global solution that is bounded under the condition \(n\leq 3, \varOmega \) convex, and \(\mu > 0\) sufficiently large.
When the second PDE in (1.3) is replaced by \(0=\Delta v-\frac{1}{| \varOmega |}\int _{\varOmega }u+u\) and \(D(u)=1\), \(S(u)=\chi u\), \(f(u)=\gamma u- \mu u^{r}\), in (1.3) for all \(u\geq 0\) with some \(\chi >0\), \(\gamma \in \mathbb{R}\), \(\mu \geq 0 \), \(r\geq 1\), Winkler [34] found that model (1.3) possesses a local-in-time solution of (1.3) that blows up in finite time for \(r<\frac{3}{2}+ \frac{1}{2n-2}\) in dimension \(n\geq 5\). When the second PDE in (1.3) is replaced by \(0=\Delta v-v+u\) and \(D(u)=1\), \(S(u)=u\), \(f(u)= \gamma u-\mu u^{r}\), \(g(u)= u\) in (1.3) for all \(u\geq 0\) with some \(\gamma \in \mathbb{R}\), \(\mu \geq 0 \), \(r\geq 1\), Winkler [36] shown that model (1.3) possesses a corresponding solution of (1.3) blows up in finite time for \(r<\frac{7}{6}\) in dimension \(n=3,4\) or for \(r<1+\frac{1}{2n-2}\) in dimension \(n\geq 5\). When the second PDE in (1.3) is replaced by \(0=\Delta v-\frac{1}{| \varOmega |}\int _{\varOmega }g(u)+g(u)\) and \(D(u)=1\), \(S(u)=u\), \(f(u)=0\), \(g(u)= u^{\eta }\) in (1.3) for all \(u\geq 0\) with some \(\eta >0 \), Winkler [35] proved the global boundedness of solutions when \(0<\eta <\frac{2}{n}\). Moreover, it is presented in [35] that if Ω is a ball and then there exists initial data such that the corresponding radially symmetric solution blows up in finite time if \(\eta >\frac{2}{n}\), hence \(\eta =\frac{2}{n}\) is critical. In addition, for the studies on the parabolic-elliptic version, we suggest the reader to read the recent papers [7, 12, 38, 45].
Motivated the above papers, we consider the boundedness of solutions to the following quasilinear chemotaxis–haptotaxis model of parabolic–parabolic–ODE type:
under zero-flux boundary conditions in a smooth bounded domain \(\varOmega \subset \mathbb{R}^{n}(n\geq 2)\), with parameters \(r\geq 2\), \(\eta \in (0,1]\) and the parameters \(\chi >0\), \(\xi >0\), \(\mu >0\). This paper mainly aims to understand the competition among the nonlinear diffusion, the haptotaxis, the nonlinear logistic source and the nonlinear production.
The functions \(u_{0}\), \(v_{0}\), \(w_{0}\) are supposed to satisfy the smoothness assumptions
We furthermore assume that
and
with some \(\alpha \in \mathbb{R}\) and \(\delta >0 \).
The main result of this paper reads as follows.
Theorem 1.1
Let \(n\geq 2 \), \(\chi >0\), \(\xi >0\), \(\mu >0\), \(r\geq 2\) and \(\eta \in (0,1]\), and let D be a function satisfying (1.6) and (1.7) with \(\alpha <\frac{n+2-2n\eta }{2+n}\). Then, for any initial data fulfilling (1.5), the problem (1.4) admits a unique classical solution which is global and bounded in \(\varOmega \times (0,\infty )\).
Remark 1.1
-
(i)
From our results, it is worth to point out that the nonlinear production affect the nonlinear diffusion to guarantee the global boundedness of the solution to (1.4).
-
(ii)
Obviously, since (1.6) and (1.7) are equivalent to \(D(u)\geq \delta (u+1)^{-\alpha }\), for \(r=2\) and \(\eta =1\), Theorem 1.1 agrees with Wang [28, 29], who proved the boundedness of the solutions in the case \(n\geq 2\).
This paper is structured as follows. In Sect. 2, we collect basic facts which will be used later. Section 3 is devoted to proving global existence and boundedness by using some \(L^{p}\)-estimate techniques and Moser–Alikakos iteration (see e.g. [1] and Lemma A.1 in [22]).
2 Preliminaries
We first state one result concerning local-in-time existence of a classical solution to model (1.4).
Lemma 2.1
Let \(\chi >0\), \(\xi >0\) and \(\mu >0 \), and assume that \(u_{0}\), \(v_{0}\) and \(w_{0}\) satisfy (1.5). Then the problem (1.4) admits a unique classical solution
with \(u\geq 0 \), \(v\geq 0\) and \(0\leq w \leq \|w_{0}\|_{L^{\infty }( \varOmega )}\) for all \((x,t)\in \varOmega \times [0,T_{\max })\), where \(T_{\max } \) denotes the maximal existence time. In addition, if \(T_{\max } <+\infty \), then
Proof
The local-in-time existence of classical solution to model (1.4) is well established by a fixed point theorem in the context of chemotaxis–haptotaxis systems. By the maximum principle, it is easy to obtain \(u\geq 0\) and \(v\geq 0\) for all \((x,t)\in \varOmega \times [0,T_{\max })\). Integrating the third equation in (1.4), it follows from (1.5) and \(v\geq 0\) that \(0\leq w \leq \|w_{0}\| _{L^{\infty }(\varOmega )}\) for all \((x,t)\in \varOmega \times [0,T_{\max })\). The proof is quite standard, for details, we refer the reader to [46]. □
For reference, we begin with Young’s inequality, which states, for any positive numbers p and q with \(\frac{1}{p}+\frac{1}{q}=1\), that
This immediately yields the so-called Young inequality with ϵ.
Lemma 2.2
(Young’s inequality with ϵ)
Let p and q be two given positive numbers with \(\frac{1}{p}+\frac{1}{q}=1\). Then, for any \(\epsilon >0\),
In the proof of main result, we will frequently use the following version of the Gagliardo–Nirenberg inequality, for detail we refer to the reader to [10].
Lemma 2.3
(Gagliardo–Nirenberg inequality)
Let \(\varOmega \subset \mathbb{R}^{n}\) be a bounded smooth domain and \(r\geq 1\), \(0< q\leq p\leq \infty \), \(s>0 \) be such that
Then there exists \(c>0\) such that
where
Proof
This can be found in [10, Lemma 2.3]. □
The following lemma provides the basic estimates of solutions to (1.4).
Lemma 2.4
Let \((u,v,w)\) be the solution of (1.4). Then there exists \(C>0 \) depending on \(n,\|v_{0}\|_{L^{1}(\varOmega )}\) and \(\|u_{0}\|_{L ^{1}(\varOmega )}\) such that
Proof
(i) Integrating the first equation in (1.4) with respect to \(x\in \varOmega \), we have
Then
since \(w\geq 0\) by Lemma 2.1. Moreover, by Young’s inequality (2.3), we get
where \(\widetilde{C}_{1}>0\), as all subsequently appearing constants \(\widetilde{C}_{2}>0\) and \(\widetilde{C}_{3}>0\) are depending on \(n,\|v_{0}\|_{L^{1}(\varOmega )}\) and \(\|u_{0}\|_{L^{1}(\varOmega )}\).
Upon ODE comparison, we can prove that \(\|u(\cdot ,t)\|_{L^{1}(\varOmega )}\leq C\).
(ii) Integrating the second equation in (1.4) with respect to \(x\in \varOmega \) yields
Moreover, if \(\eta \in (0,1)\), by Young’s inequality(2.3), we get
If \(\eta =1\), we get
In summary, upon ODE comparison, we can prove \(\|v(\cdot ,t)\|_{L^{1}( \varOmega )}\leq C\).
(iii) Multiplying the second equation in (1.4) by \(-\Delta v\) and integrating over Ω, and using Young’s inequality, we find
and thus
Combining this with (2.5), we obtain
Moreover, by Young’s inequality (2.3), we get
Upon ODE comparison, we can prove \(\|\nabla v(\cdot ,t)\|_{L^{2}( \varOmega )}\leq C\). □
Lemma 2.5
Let \((u,v,w)\) be the classical solution of (1.4) in \(\varOmega \times (0,T_{\max })\). Then, for any \(k>1\),
with constant \(c_{1}>0\) independent of k.
Proof
Firstly, we follow the well-known precedent in [18] and give the estimate for Δw. Since the third equation in (1.4) is an ODE, we have
as well as
and
Note that \(\frac{\partial w_{0}}{\partial \nu }=0\) and \(\frac{\partial v}{\partial \nu }=0\), (2.7) shows that \(\frac{\partial w}{ \partial \nu }=0\). Therefore, the zero-flux boundary condition in (1.4) becomes
Hence, for any \(k\geq 1\), integrating by parts and using (2.8), we obtain
where
and
Now, since \(v\geq 0\) leads to
we have
and
for all \((x,t)\in \varOmega \times (0,T_{\max })\), where we have used the facts that \(ze^{-z}\leq \frac{1}{e}\) for all \(z\in \mathbb{R}\) and \(0< e^{-\int ^{t}_{0} v(x,s)\,ds}\leq 1\) thanks to \(v\geq 0\). Inserting (2.10)–(2.12) into (2.9) yields
□
Lemma 2.6
Let \(n\geq 2\), \(\eta \in (0,1]\), \(\alpha <\frac{n+2-2n\eta }{2+n}\), \(\theta _{1}=\frac{2(k+1)}{1-\alpha }\), \(\theta _{2}= \frac{2(k+1)(m-1)}{k-2\eta +1}\) and \(\kappa _{i}=\frac{\frac{m}{2}-\frac{m}{ \theta _{i}}}{\frac{m}{2}-\frac{1}{2}+\frac{1}{n}}\), \(i=1,2\). Then, for all sufficiently large \(k>1\), there exists a large \(m>1\) such that the following inequalities are valid:
Proof
Since \(2m>\theta _{i}\kappa _{i}\) is equivalent to \(m>\frac{\theta _{i}}{2}-\frac{2}{n}\), it is sufficient to show that if \(\alpha <\frac{n+2-2n\eta }{2+n}\), then, for all sufficiently large \(k>1\), there exists a large \(m>1\) satisfying \(m>\frac{\theta _{i}}{2}- \frac{2}{n}(i=1,2)\) and \(2m>k+1\), which can be achieved by the fact that \(m>\frac{\theta _{i}}{2}-\frac{2}{n}(i=1,2)\) is equivalent to \(\frac{k+1}{1-\alpha }-\frac{2}{n}< m<\frac{(k+1)(n+2)}{2n\eta }- \frac{2}{n}\). □
3 Proof of Theorem 1.1
In this section, we are going to establish an iteration step to develop the main ingredient of our result. The iteration depends on a series of a priori estimates. Firstly, based on the estimates in Lemma 2.3, we use test function arguments to derive the bound of u in \(L^{k}(\varOmega )\) and ∇v in \(L^{2m}(\varOmega )\) for all sufficiently large \(k,m>1\), which is the main step towards our proof of Theorem 1.1.
Lemma 3.1
Assume that D satisfies (1.6) and (1.7) with \(\alpha <\frac{n+2-2n \eta }{2+n}\). Then, for all large numbers \(m>2\), \(k>1\) as provided by Lemma 2.6, there exists \(C>0\) such that
Proof
Multiplying the first equation in (1.4) by \(ku^{k-1}\) and integrating over Ω, we get
By (1.7), we have
By Young’s inequality, the first item on the right side of the inequality (3.2) becomes
The second item of the right side of the inequality (3.2), combining with (2.6), yields
Hence, inserting (3.3)–(3.5) into (3.2) yields
Removing the nonnegative number on the left of the inequality (3.6), we have
Furthermore, using Young’s inequality, we can find
where \(c_{2}>0\), as all subsequently appearing constants \(c_{3},c_{4}, \ldots,c_{16}\) possibly depend on k, m, μ, ξ, r, η, \(|\varOmega |\) and δ.
Differentiating the second equation in (1.4), we obtain
and hence, according to the identity
we obtain
Testing this by \(m|\nabla v|^{2m-2} \) yields
On the other hand, based on the estimate of Mizoguchi–Souplet [13], the Gagliardo–Nirenberg inequality and boundedness of ∇v in \(L^{2}(\varOmega )\), we can conclude that
with some \(b\in (0,1)\). Therefore, combining (3.8) with (3.9) and applying Young’s inequality, we have
due to \(\int _{\varOmega }|\nabla v|^{2m-4}|\nabla |\nabla v|^{2}|^{2} = \frac{4}{m}\int _{\varOmega }|\nabla |\nabla v|^{m}|^{2}\).
Hence, due to the pointwise identities \(\nabla |\nabla v|^{2m-2}=(m-1)| \nabla v|^{2m-4}\nabla |\nabla v|^{2}\) and \(|\Delta v|^{2}\leq n|D ^{2}v|^{2}\), and together with an integration by the right part in (3.10) and using Young’s inequality, we have
Hence, inserting (3.11) into (3.10) yields
Hence combining (3.7) with (3.12) and using Young’s inequality, we can find
with \(\theta _{i}\) (\(i=1,2\)) as shown in Lemma 2.6. According to the Gagliardo–Nirenberg inequality, (2.4) and Lemma 2.6, we have
Due to the boundedness of \(\|v\|_{W^{1,2}(\varOmega )} \) (see Lemma 2.4) and Lemma 2.6, and by the Sobolev inequality and Young’s inequality, we can find
Hence substituting (3.14) and (3.15) into (3.13) yields
by Young’s inequality, we can find
for sufficiently large \(k>1\), \(m>1\). Consequently, \(y(t):=\int _{\varOmega }(u ^{k}+|\nabla v|^{2m})\) satisfies \(y'(t)+\frac{c_{5}}{2}y(t)\leq c_{16}\).
Upon an ODE comparison argument, we have \(y(t)\leq \max \{y(0),\frac{2c _{16}}{c_{5}}\} \) for all \(t\in (0,T_{\max })\). The proof of Lemma 3.1 is complete. □
Due to \(\|u(\cdot ,t)\|_{L^{k}(\varOmega )}\leq C\) is bounded for any large k, by the fundamental estimates for Neumann semigroup (see [8, Lemma 2.1]) or the standard regularity theory of parabolic equation, we immediately have the following corollary.
Corollary 3.1
Let \(\chi >0\), \(\xi >0 \) and \(\mu >0\), and assume that \((u_{0},v_{0},w _{0})\) satisfy (1.5). Then there exists \(C>0\) such that the solution \((u,v,w)\) of (1.4) satisfies
Now we can prove our main result. The derivation of following statement can be obtained by a well-established Moser–Alikakos iteration technique (see e.g. [1] and Lemma A.1 in [22]). We choose (3.6) as a starting point for our proof.
Lemma 3.2
Under the same assumption of Lemma 3.1, there exists \(C>0\) such that the solution \((u,v,w)\) of (1.4) satisfies
Proof
We begin with (3.6)
which, along with (3.16), implies that
where \(c_{17}>0\), as all subsequently appearing constants \(c_{18}, c _{19},\ldots\) are independent of k.
Due to \(\alpha <1\), \(r>2\) and \(u\geq 0\) and by Young’s inequality, we can find
We now recursively define
and
Note that \((b_{i})_{i\in \mathbb{N}}\) increases and
where we chose \(s\in (0,2)\).
Now invoking the Gagliardo–Nirenberg inequality (Lemma 2.3), we find \(c_{20}>0\) independent of k, such that
for all \(t\in (0,T_{\max })\), with
Assume \(b_{i}>\max \{\frac{n\alpha }{2},\frac{\alpha }{1-a}\}\), so we have \(\frac{b_{i}a}{b_{i}-\alpha }<1\). Combining (3.18) with (3.23) and using Young’s inequality, we obtain
To simplify this, we observe that \(\frac{2b_{i}(1-a)}{s(b_{i}-\alpha )}\cdot \frac{b_{i}-\alpha }{b_{i}-\alpha -b_{i}a}>\frac{2b_{i}}{s(b _{i}-\alpha )}\), and thus
Inserting (3.19)–(3.22) into (3.25) yields
Upon invoking an ODE comparison argument, we have
We easily deduce from (3.19), (3.20) and (3.22) that
holds with some \(\varepsilon _{i}\geq 0\) satisfying
for all \(i\geq 1\) and appropriately large \(c_{26}>0\) and \(c_{27}>0\).
Now if \(\|u_{0}\|^{b_{i}}_{L^{\infty }(\varOmega )} \geq c_{25}\cdot ( \frac{2}{s})^{i}\cdot M_{i-1}^{\epsilon _{i}}\) for infinitely many \(i\geq 1\), we get (3.17) with \(C=\|u_{0}\|_{L^{\infty }(\varOmega )}\) for all \(t\in (0,T_{\max })\).
Otherwise
By a straightforward induction, this yields
for all \(i\geq 2\), and hence in view of (3.22) and (3.26) we obtain
for all \(i\geq 2\). Since \(\ln (1+z)\leq z\) for \(z\geq 0\), from (3.27) and the fact that \(s<2\) we get
so that using \(\sum^{i-2}_{j=0}(i-j-1) \cdot (\frac{s}{2})^{i-j-1} \leq \sum^{\infty }_{h=1}h (\frac{s}{2})^{h}<\infty \), from this we conclude that also in this case \(\| u(\cdot ,t)\|_{L^{\infty }(\varOmega )}\) is bounded from above by a constant independent of \(t\in (0,T_{ \max })\). This clearly proves (3.17). □
We are now in a position to pass to the proof of Theorem 1.1.
Proof of Theorem 1.1
First we see that boundedness of u and v follows from Lemma 3.2 and Corollary 3.1, respectively. Therefore the assertion of Theorem 1.1 is immediately obtained from Lemma 2.1. □
References
Alikakos, N.D.: Lp-bounds of solution of reaction diffusion equation. Partial Differ. Equ. 4, 827–868 (1979)
Cao, X.: Boundedness in a quasilinear parabolic-parabolic Keller–Segel system with logistic source. J. Math. Anal. Appl. 412, 181–188 (2014)
Cao, X.: Boundedness in a three-dimensional chemotaxis–haptotaxis system. Z. Angew. Math. Phys. 67, 1–13 (2016)
Chaplain, M.A.J., Lolas, G.: Mathematical modelling of cancer invasion of tissue: the role of the urokinase plasminogen activation system. Math. Models Methods Appl. Sci. 15, 1685–1734 (2005)
Chaplain, M.A.J., Lolas, G.: Mathematical modelling of tissue invasion: dynamic heterogeneity. Netw. Heterog. Media 1, 399–439 (2006)
Hillen, T., Painter, K.J., Winkler, M.: Convergence of a cancer invasion model to a logistic chemotaxis model. Math. Models Methods Appl. Sci. 23, 103–165 (2013)
Hu, B., Tao, Y.: Boundedness in a parabolic-elliptic chemotaxis-growth system under a critical parameter condition. Appl. Math. Lett. 64, 1–7 (2017)
Ishida, S., Seki, K., Yokota, T.: Boundedness in quasilinear Keller–Segel systems of parabolic-parabolic type on non-convex bounded domains. J. Differ. Equ. 256, 2993–3010 (2014)
Keller, E.F., Segel, L.A.: Initiation of slim mold aggregation viewed as an instability. J. Theor. Biol. 26, 399–415 (1970)
Li, Y., Lankeit, J.: Boundedness in a chemotaxis–haptotaxis model with nonlinear diffusion. Nonlinearity 29, 1564–1595 (2016)
Liu, D., Tao, Y.: Boundedness in a chemotaxis system with signal production. Appl. Math. J. Chin. Univ. Ser. 31, 379–388 (2016)
Liu, Y., Tao, Y.: Asymptotic behavior in a chemotaxis-growth system with nonlinear production of signals. Discrete Contin. Dyn. Syst., Ser. B 22, 465–475 (2017)
Mizoguchi, N., Souplet, P.: Nondegeneracy of blow-up points for the parabolic Keller–Segel system. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 31, 851–875 (2014)
Osaki, K., Tsujikawa, T., Yagi, A., Mimura, M.: Exponential attractor for a chemotaxis-growth system of equations. Nonlinear Anal. 51, 119–144 (2002)
Painter, K.J., Hillen, T.: Volume-filling and quorum-sensing in models for chemosensitive movement. Can. Appl. Math. Q. 10, 501–543 (2002)
Tao, X., Zhou, S., Ding, M.: Boundedness of solutions to a quasilinear parabolic-parabolic chemotaxis model with nonlinear signal production. J. Math. Anal. Appl. 474, 733–747 (2019)
Tao, Y.: Global existence of classical solutions to a combined chemotaxis–haptotaxis model with logistic source. J. Math. Anal. Appl. 34, 60–69 (2009)
Tao, Y.: Boundedness in a two-dimensional chemotaxis–haptotaxis system. J. Donghua Univ. 70, 165–174 (2016)
Tao, Y., Wang, M.: Global solutions for a chemotaxis–haptotaxis model of cancer invasion. Nonlinearity 21, 2221–2238 (2008)
Tao, Y., Wang, M.: A combined chemotaxis–haptotaxis system: the role of logistic source. SIAM J. Math. Anal. 41, 1533–1558 (2009)
Tao, Y., Winkler, M.: A chemotaxis haptotaxis model: the role of nonlinear diffusion and logistic source. SIAM J. Math. Anal. 43, 685–704 (2011)
Tao, Y., Winkler, M.: Boundedness in a quasilinear parabolic-parabolic Keller–Segel system with subcritical sensitivity. J. Differ. Equ. 252, 692–715 (2012)
Tao, Y., Winkler, M.: Energy-type estimates and global solvability in a two-dimensional chemotaxis–haptotaxis model with remodeling of non-diffusible attractant. J. Differ. Equ. 257, 784–815 (2014)
Tao, Y., Winkler, M.: Boundedness and stabilization in a multi-dimensional chemotaxis–haptotaxis mode. Proc. R. Soc. Edinb., Sect. A 144, 1067–1084 (2014)
Tao, Y., Winkler, M.: Dominance of chemotaxis in a chemotaxis–haptotaxis model. Nonlinearity 27, 1225–1239 (2014)
Tao, Y., Winkler, M.: Large time behavior in a multidimensional chemotaxis–haptotaxis model with slow signal diffusion. SIAM J. Math. Anal. 47, 4229–4250 (2015)
Wang, L., Li, Y., Mu, C.: Boundedness in a parabolic-parabolic quasilinear chemotaxis system with logistic source. Discrete Contin. Dyn. Syst., Ser. A 34, 789–802 (2014)
Wang, Y.: Boundedness in the higher-dimensional chemotaxis–haptotaxis model with non-linear diffusion. J. Differ. Equ. 260, 1975–1989 (2016)
Wang, Y.: Boundedness in the multi-dimensional chemotaxis–haptotaxis model with non-linear diffusion. Appl. Math. Lett. 59, 122–126 (2016)
Wang, Y., Ke, Y.: Large time behavior of solution to a fully parabolic chemotaxis–haptotaxis model in higher dimensions. J. Differ. Equ. 260, 6960–6988 (2016)
Wang, Y., Liu, J.: Boundedness in a quasilinear fully parabolic Keller–Segel system with logistic source. Nonlinear Anal., Real World Appl. 38, 113–130 (2017)
Winkler, M.: Does a ’volume-filling effect’ always prevent chemotactic collapse? Math. Methods Appl. Sci. 33, 12–24 (2010)
Winkler, M.: Boundedness in the higher-dimensional parabolic-parabolic chemotaxis system with logistic source. Commun. Partial Differ. Equ. 35, 1516–1537 (2010)
Winkler, M.: Blow-up in a higher-dimensional chemotaxis system despite logistic growth restriction. J. Math. Anal. Appl. 384, 261–272 (2011)
Winkler, M.: A critical blow-up exponent in a chemotaxis system with nonlinear signal production. Nonlinearity 31, 2031–2056 (2018)
Winkler, M.: Finite-time blow-up in low-dimensional Keller–Segel systems with logistic-type superlinear degradation. Z. Angew. Math. Phys. 69, 1–17 (2018)
Winkler, M., Djie, K.: Boundedness and finite-time collapse in a chemotaxis system with volume-filling effect. Nonlinear Anal., Real World Appl. 72, 1044–1064 (2010)
Xiang, T.: Dynamics in a parabolic-elliptic chemotaxis system with growth source and nonlinear secretion. Commun. Pure Appl. Anal. 18, 255–284 (2019)
Zheng, J.: Boundedness of solutions to a quasilinear parabolic-parabolic Keller–Segel system with a logistic source. J. Math. Anal. Appl. 431, 867–888 (2015)
Zheng, J.: Boundedness of solutions to a quasilinear parabolic-parabolic Keller–Segel system with logistic source. J. Differ. Equ. 259, 120–140 (2015)
Zheng, J.: Boundedness of the solution of a higher-dimensional parabolic-ODE-parabolic chemotaxis–haptotaxis model with generalized logistic source. Nonlinearity 30, 1987–2009 (2017)
Zheng, J.: A note on boundedness of solutions to a higher-dimensional quasi-linear chemotaxis system with logistic source. Z. Angew. Math. Mech. 97, 414–421 (2017)
Zheng, J.: Boundedness of solution of a parabolic–ODE–parabolic chemotaxis–haptotaxis model with (generalized) logistic source. arXiv:1711.10084v1
Zheng, J., Ke, Y.: Large time behavior of solutions to a fully parabolic chemotaxis–haptotaxis model in N dimensions. J. Differ. Equ. 266, 1969–2018 (2019)
Zheng, P., Mu, C., Hu, X., Tian, Y.: Boundedness of solutions in a chemotaxis system with nonlinear sensitivity and logistic source. J. Math. Anal. Appl. 424, 509–522 (2015)
Zheng, P., Mu, C., Song, X.: On the boundedness and decay of solution for a chemotaxis–haptotaxis system with nonlinear diffusion. Discrete Contin. Dyn. Syst., Ser. A 36, 1737–1757 (2016)
Zhuang, M., Wang, W., Zheng, S.: Boundedness in a fully parabolic chemotaxis system with logistic-type source and nonlinear production. Nonlinear Anal., Real World Appl. 47, 473–483 (2019)
Acknowledgements
The paper is supported by the National Science Foundation of China (11301419) and the Meritocracy Research Funds of China West Normal University [17YC382].
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
This paper is the result of joint work of all authors who contributed equally to the final version of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (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.
About this article
Cite this article
Lei, L., Li, Z. Boundedness in a quasilinear chemotaxis–haptotaxis model of parabolic–parabolic–ODE type. Bound Value Probl 2019, 138 (2019). https://doi.org/10.1186/s13661-019-1255-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1255-4
MSC
- 35B65
- 35K55
- 35Q92
- 92C17
Keywords
- Chemotaxis
- Haptotaxis
- Nonlinear diffusion
- Boundedness
- Logistic source
- Nonlinear production