Abstract
We investigate the global existence and large time behavior of the solutions to the Cauchy problem of a multidimensional chemotaxis model with initial data close to a constant state. We also obtain the time decay rate of kth-order derivatives of these solutions.
Similar content being viewed by others
1 Introduction
In this paper, we consider the Cauchy problem of the multidimensional chemotaxis model
where \((t,x)\in\mathbf{R}^{+}\times\mathbf{R}^{n}\), \(u(t,x)\) and \(v(t,x)\) denote the cell density and the chemical concentration, respectively, and μ is a constant.
The system (1.1) was proposed by Othmer and Stevens [1] to describe the chemotactic movement of particles where the chemicals are non-diffusible and can modify the local environment for succeeding passages. For example, myxobacteria produce lime over which their cohorts can move more readily and ants can follow trails left by predecessors [2]. One direct application of (1.1) is to model haptotaxis where cells move toward an increasing concentration of immobilized signals such as surface or matrix-bound adhesive molecules.
For the sake of simplicity, we set \(w=\mu t+\ln v\). Therefore we get from (1.1)
Letting \(\bar{p}>0\) be a constant, we substitute
into the system (1.2) to get
To represent the results in this paper, the following notations are needed. We use \(( \cdot,\cdot)\) to denote the standard inner products in \(L^{2}(\mathbf{R}^{n})\) and \(\|\cdot\|\) is the corresponding norm in \(L^{2}(\mathbf{R}^{n})\). For any \(r\in[1,\infty]\), \(L^{r}(\mathbf{R}^{n})\) is the usual Lebesgue space on \(\mathbf{R}^{n}\). We define the operator \(\Lambda^{s}\) with \(s\in\mathbf{R}\) by
where \(\hat{f}(\xi)=\mathcal{F}f(\xi)\) is the Fourier transform of \(f(x)\). We shall use \(D^{k}\) with an integer \(k\geq0\) to stand for the usual spatial derivatives of order k. When \(k<0\) or k is not a positive integer, \(D^{k}\) stands for \(\Lambda^{k}\). We then recall the homogeneous Besov spaces. Let \(\phi\in C^{\infty}_{c}(\mathbf{R}_{\xi}^{n})\) be such that \(\phi(\xi)=1\) when \(|\xi|\leq1\) and \(\phi(\xi)=0\) when \(|\xi|\geq2\). Let \(\varphi(\xi)=\phi(\xi)-\phi(2\xi)\) and \(\varphi_{j}(\xi)=\varphi(\frac{\xi}{2^{j}})\) for any \(j\in\mathbf{Z}\). Then \(\sum_{j\in\mathbf{Z}}\varphi_{j}(\xi)=1\) if \(\xi\neq0\). We define \(\Delta_{j}:=\mathcal{F}^{-1}(\varphi_{j})*f\), then, for \(\varrho\in\mathbf{R}\) and \(1\leq r\), \(s\leq\infty\), we define the homogeneous Besov spaces \(\dot{B}^{\varrho}_{r,s}(\mathbf{R}^{n})\) with the norm \(\|\cdot\|_{\dot{B}^{\varrho}_{r,s}}\) defined by
We also use \(\|\Lambda^{k} (p,\mathbf{q})(t)\|^{2}:=\|\Lambda^{k} p(t)\|^{2}+\| \Lambda^{k} \mathbf{q}(t)\|^{2}\) and denote by C a generic positive constant which varies from line to line. For the energy estimates, the instant energy functional for a solution \((p,\mathbf{q})(t,x)\) to the system (1.4), denoted by \(\mathcal{E}_{N}(t)\) has the equivalent relation with some integer \(N\geq0\),
In addition, the corresponding dissipation functional denoted by \(\mathcal{D}_{N}(t)\) satisfies
Here the notation \(\mathcal{A}\sim\mathcal{B}\) is used to denote that there exist two generic positive constants \(C_{1} < C_{2}\) such that \(C_{1}\mathcal{B}\leq\mathcal{A}\leq C_{2}\mathcal{B}\).
With the above preparation, the main results in this paper can be stated as follows.
Theorem 1.1
There exists \(\epsilon> 0\) such that if \(\mathcal{E}_{N}(0)\leq\epsilon\) with \(N>\frac{n}{2}+1\) and \(n\geq3\), there is a unique global solution \((p,\mathbf{q})=(p,\mathbf{q})(t,x)\) to the system (1.4) with \((p,\mathbf{q})(0,x)=(p_{0}(x),\mathbf{q}_{0}(x))\) that satisfies
This global solution has the following time decay:
If we further assume \(\|(p_{0},\mathbf{q}_{0})\|_{\dot{B}^{-\varrho}_{2,\infty }}<\infty\) with \(\varrho\in(0,\frac{n}{2}]\), we have
Remark 1.2
Similar time decay rates to (1.8) and (1.9) were obtained when the initial data in the additional negative homogeneous Sobolev space \(\dot{H}^{-\varrho}(\mathbf{R}^{n})\) with \(\varrho\in(0,\frac{n}{2})\) for equation (1.4) with some perturbation term in [3] the referee told us. Compared to the results in [3], our results can include the endpoint cases while the equation considered in [3] is a little more complicated. In some sense our results generalize their partial time decay rates results and we believe that our proof methods can also apply to the equation considered in [3] to obtain the time decay rates of the endpoints. In addition, the other small assumptions of the initial data are imposed in [4, 5], some time decay rates results can be obtained and our results also improve the time decay rate results in [4, 5]. As to the chemotaxis significance of the time decay rates of equation (1.4), we refer the reader to [3–5], where the authors give more discussions.
From Theorem 1.1, (1.2) and (1.3), we have the following results on the asymptotic behavior of solutions to the system (1.1).
Corollary 1.3
There exists \(\epsilon> 0\) such that if \(\sum_{ k=0}^{N}\|D^{k} (u_{0}-\bar{p},\nabla\ln v_{0})\|^{2}\leq\epsilon\) with \(N>\frac{n}{2}+1\) and \(n\geq3\), then the Cauchy problem (1.1) has a global solution \((u,v)=(u,v)(t,x)\) with \((u,v)(0,x)=(u_{0}(x),v_{0}(x))\) satisfying for all \(t>0\)
This global solution has the following time decay:
If we further assume \(\|(u_{0}-\bar{p},\nabla\ln v_{0})\|_{\dot{B}^{-\varrho }_{2,\infty}}<\infty\) with \(\varrho\in(0,\frac{n}{2}]\), we have
Let us review some work related to the study in this paper. The one-dimensional version of the system (1.1) has been studied for both Cauchy problems and initial-boundary value problems, for instance, in [6, 7] for bounded domains and in [8, 9] for nonlinear stabilities of traveling waves. However, there are few results for the multidimensional cases of the system (1.1). The initial-boundary value problems are studied in [10, 11]. The local and global existence of the solution to the Cauchy problem near some constant state is obtained in [5]. Hao [12] proved existence and uniqueness of global solutions for initial data close to some constant state in critical Besov space with minimal regularity. The proof was in the Chemin-Lerner space framework (see e.g. [13, 14]). In [4], the authors obtained the global weak existence and partial time decay of the solutions to the system (1.4) near some constant state in the slightly low regular Sobolev space. It was studied in [1] and a comprehensive qualitative and numerical analysis were provided. We will not attempt to exhaust references in this paper. We refer reader to [1, 3–6, 10–12, 15] and the references therein for more discussions in this direction.
In this paper we consider precise large time behavior of the global solutions to the system (1.1) near some constant state, motivated by [4, 5, 12]. We first construct the uniform estimates, which are used to obtain global existence and time decay rate under the assumption of initial energy being small enough. Once a global solution are constructed, by using a time-weighted methods, we can prove the time decay rate of the kth-order derivatives of these solutions approaching a constant state at a time decay rate \(O(t^{-\frac{k}{2}})\) without additional assumption. We remark that the time-weighted methods was also applied to prove the time decay rate for the fluid system [16, 17]. If we further assume that the initial data is in the negative Besov space (not necessary small) by a similar interpolation to [18, 19], we can obtain the fast time decay rate.
2 Some basic estimates
In this section we first represent some elementary inequalities and then we use these results to handle the nonlinear term.
Lemma 2.1
[20]
For any f, \(g\in L^{\infty}(\mathbf{R}^{n})\cap H^{k}(\mathbf{R}^{n})\), we have
Lemma 2.2
[18]
Suppose that \(m\neq\varrho\). We have the interpolation estimate
where \(0<\theta<1\) and \(2\leq r\leq\infty\) and
Lemma 2.3
If \(0\leq k\leq N-1\), it follows that
and
We have
Proof
By (1.5) and Lemma 2.2, we have, for \(\theta=(\frac{n}{2}-1)/[\frac{n}{2}]\),
It follows from this and (2.1) that
It follows from (2.1) that
Then we see from (2.8) that (2.6) holds. Next we prove (2.5). If \(k=0\), (2.5) follows from (2.7) and (2.8). If \(1\leq k\leq\frac{n}{2}\), it follows from (2.2) that
where \(\alpha=\frac{n}{2}-([\frac{n}{2}]+1-\frac{n}{2})\frac{1}{k}\in[0,\frac{n}{2})\).
If \(\alpha\in\mathbf{Z}\), by (2.8) and (2.9), we get (2.5). If \(\alpha\notin\mathbf{Z}\), it follows from (2.2) that
By this, (2.8) and (2.9), we obtain (2.5). If \(\frac{n}{2}< k\leq N-1\), we have from (2.2)
where \(\theta=\frac{ n}{2(k+1)}\) and \(\alpha=(1-\frac{2}{n})(k+1)\in(0,k+1)\). If \(\alpha\in\mathbf{Z}\), by (2.8) and (2.11), we get (2.5). If \(\alpha\notin\mathbf{Z}\), we use (2.10), (2.11) and (2.8) to obtain (2.5). □
3 Energy analysis
In this section we first deduce the uniform estimates of the system (1.4) and make use of the time-weighted methods to the time decay rate (1.7). Then we use the properties of the Besov space and the interpolation to get the fast time decay rate.
Theorem 3.1
Letting \((p,\mathbf{q})=(p,\mathbf{q})(t,x)\) be the solution to the system (1.4) satisfying \(\mathcal{E}_{N}(t)<\epsilon\), we have the estimate
Here \(\mathcal{E}_{N}(t)\) and \(\mathcal{D}_{N}(t)\) are defined as (1.5) and (1.6).
Proof
Taking the derivative \(D^{k}\) of (1.4) with \(0\leq k\leq N\), we can obtain
For the system (1.4), we have for \(0\leq k\leq N-1\)
For any \(\kappa>0\) small enough, we have from (3.2) and (3.3)
Notice that the equality \(\|\nabla_{x}\mathbf{q}\|^{2}=\|\operatorname{div}\mathbf{q}\|^{2} +\|\nabla\times\mathbf{q}\|^{2}\) holds on p.2015 of [21]. By the fact that \(\nabla\times\mathbf{q}=0\), we have \(\|\operatorname{div}D^{k}\mathbf{q}\|^{2}=\|D^{k+1}\mathbf{q}\|^{2}\). By this, for any \(\kappa>0\) small enough, one has
By Lemma 2.3 we have
Since \(\mathcal{E}_{N}(t)<\epsilon\), by these, we see from (3.4) that (3.1) holds. □
Remark 3.2
By Theorem 3.1 we have derived a priori estimates. Based on this uniform estimate the global existence is proved by the standard continuation argument together with the local in time existence theory; for example, see [5].
In order to show the time decay of the solutions obtained above, we need the refined energy estimates of each order derivatives of the solutions to the system (1.4). For this purpose, we shall prove the following lemma.
Lemma 3.3
Assume that \((p,\mathbf{q})=(p,\mathbf{q})(t,x)\) be the solution to the system (1.4) satisfying \(\mathcal{E}_{N}(t)<\epsilon\). For any fixed \(m\in\{ 0,1,\ldots,N-1\}\), we have the following estimate:
Here \(\mathcal{E}^{m}(t)\) and \(\mathcal{D}^{m}(t)\) are defined by
where \(\kappa>0\) is small enough.
Proof
For any \(\kappa>0\) small enough, we have from (3.2) and (3.3)
Since \(\|\operatorname{div}D^{k}\mathbf{q}\|^{2}=\|D^{k+1}\mathbf{q}\|^{2}\) and \(\kappa>0\) is small enough, one has from (3.6) and (3.7) that
By Lemma 2.3 we have
Since \(\mathcal{E}_{N}(t)<\epsilon\), by these, we see from (3.8) that (3.5) holds. □
In the following we will use the time-weighted methods to show the time decay of the solutions to the system (1.4).
Theorem 3.4
Assume that \((p,\mathbf{q})=(p,\mathbf{q})(t,x)\) be the solution to the system (1.4) satisfying \(\mathcal{E}_{N}(t)<\epsilon\). We have the time decay estimate, for any \(m\in[0,N]\),
Proof
For any \(m\in\{1,\ldots,N-1\}\), we see from (3.5) that
Letting the constants \(C_{m} > 0\) and \(C_{m} \gg C_{m+1}\) be large enough, we define the functional
By (3.10), (3.11) and (3.5) with \(m=0\), we see that
Since \(\mathcal{E}_{N}(t)<\epsilon\), for any \(m\in\{0,1,\ldots,N-1\}\), we have from (3.12) and (3.9)
Taking \(\varepsilon>0\) small enough, we have
It follows from (3.14) that
By (3.13) and (2.7), one has \(\|(p,\mathbf{q})\|_{L^{\infty}}^{2}\leq C\epsilon(1+t)^{-1}\). It follows from (3.15) that
Since \(\mathcal{E}_{N}(t)<\epsilon\), we have from (3.12) and the definition of \(\mathcal{D}^{N-1}(s)\) that
By the above estimates one has
By this, (3.13) and Lemma 2.2, we can obtain the desired estimates (1.8). □
To show the fast time decay under the additional assumption, for this, we need to show the propagation of the solutions in \(\dot{B}^{-\varrho}_{2,\infty}\).
Lemma 3.5
For any \(\varrho\in(0,\frac{n}{2}]\), for the system (1.4), we have
Proof
Taking the operation \(\Delta_{j}\) on the sides of (1.4), we have
and
By these we have
We have
Here we have used the Bernstein type inequality in [14] for \(\varrho=\frac{n}{r}-\frac{n}{2}\in(0,\frac{n}{2}]\) and \(r\in[1,2)\). By using the definition of \(\dot{B}^{-\varrho}_{2,\infty}\) and taking \(\varepsilon>0\) small enough, it follows from (3.17) that (3.16) holds. □
To finish the proof of the fast time decay we will make use of an interpolation method similar to [18, 19].
Proof of (1.9) in Theorem 1.1
By (3.16) we have, for any \(\varrho\in(0,\frac{n}{2}]\),
For \(\varrho\in(0,\frac{n-2}{2}]\), we have \(1\leq[\frac{n}{2}-\varrho]<\frac{n}{2}\) and
Here \(\theta=\frac{n}{2}-\varrho-[\frac{n}{2}-\varrho]\in(0,1)\) for \(\frac {n}{2}-\varrho\notin\mathbf{Z}\) by Lemma 2.2 and \(\theta=0\) for \(\frac{n}{2}-\varrho\in\mathbf{Z}\). If \(\mathcal{E}_{N}(0)\leq\epsilon\), it follows from (3.1) that for any \(t>0\)
The above three inequalities imply that if \(\|(p_{0},\mathbf{q}_{0})\|_{\dot {B}^{-\varrho}_{2,\infty}}\leq C_{0}\)
For fixed \(m\in\{0,1,2,\ldots,N-1\}\) we have from (2.2)
It follows from this, (3.6), (3.7) and (3.9) that
We have from (3.5) and the above inequality, for \(m\in\{0,1,2,\ldots,N-1\}\),
By using (3.9), we solve this inequality to obtain
By using Lemma 2.2, we can obtain (1.9) for \(\varrho\in(0,\frac{n-2}{2}]\).
Next we consider the case \(\varrho\in(\frac{n-2}{2},\frac{n}{2})\) and \(\|(p_{0},\mathbf{q}_{0})\|_{\dot{B}^{-\varrho}_{2,\infty}} <\infty\). In this case, we have \(\|(p_{0},\mathbf{q}_{0})\|_{\dot{B}^{-\varrho'}_{2,\infty}}<\infty\) for any \(\varrho'\in(0,\varrho)\) by interpolation:
Then (3.22) holds for any \(\varrho'\in(0,\frac{n-2}{2}]\) and any \(m\in\{ 0,1,2,\ldots,N-1\}\). We set \(\varrho'=\frac{n-2}{2}\) with \(n\geq3\). By (3.19) and (3.22) we have
Since \(\varrho\in(\frac{n-2}{2},\frac{n}{2})\) and \(n\geq3\), one has \(\frac{n}{2}-\varrho+n-2>1\). It follows from (3.18) that \(\|(p,\mathbf{q})(t)\|_{\dot{B}^{-\varrho}_{2,\infty}} <\infty\) for any \(t\geq0\). By this we may repeat the arguments leading to (3.22) and prove that (3.22) holds for the case \(\varrho\in(\frac {n-2}{2},\frac{n}{2})\).
Finally if \(\varrho=\frac{n}{2}\) and \(\|(p_{0},\mathbf{q}_{0})\|_{\dot {B}^{-\varrho}_{2,\infty}}<\infty\), it follows from (3.23) that \(\|(p_{0},\mathbf{q}_{0})\|_{\dot{B}^{-\varrho '}_{2,\infty}}<\infty\) for any \(\varrho'\in(0,\frac{n}{2})\). Assume that \(\varrho'=\frac {n-\delta}{2}\) with \(n\geq3\) and \(\delta>0\) small enough such that
By this we see from (3.18) that \(\|(p,\mathbf{q})(t)\|_{\dot{B}^{-\varrho}_{2,\infty}}<\infty\). By similar arguments to (3.22), we can obtain (3.22) for the case \(\varrho=\frac{n}{2}\). By using Lemma 2.2, we can obtain (1.9) for any \(\varrho\in(0,\frac{n}{2}]\). This completes the proof of Theorem 1.1. □
References
Othmer, H, Stevens, A: Aggregation, blowup and collapse: the ABC’s of taxis in reinforced random walks. SIAM J. Appl. Math. 57, 1044-1081 (1997)
Eisenbach, M: Chemotaxis. Imperial College Press, London (2004)
Wang, Z-A, Xiang, Z-Y, Yu, P: Asymptotic dynamics on a singular chemotaxis system modeling onset of tumor angiogenesis. J. Differ. Equ. 260(3), 2225-2258 (2016)
Deng, C, Li, T: Well-posedness of a 3D parabolic-hyperbolic Keller-Segel system in the Sobolev space framework. J. Differ. Equ. 257(5), 1311-1332 (2014)
Li, D, Li, T, Zhao, K: On a hyperbolic-parabolic system modeling chemotaxis. Math. Models Methods Appl. Sci. 21(8), 1631-1650 (2011)
Li, T, Pan, R-H, Zhao, K: Global dynamics of a hyperbolic-parabolic model arising from chemotaxis. SIAM J. Appl. Math. 72(1), 417-443 (2012)
Zhang, M, Zhu, C-J: Global existence of solutions to a hyperbolic-parabolic system. Proc. Am. Math. Soc. 135(4), 1017-1027 (2007)
Li, T, Wang, Z-A: Nonlinear stability of traveling waves to a hyperbolic-parabolic system modeling chemotaxis. SIAM J. Appl. Math. 70(5), 1522-1541 (2009)
Li, T, Wang, Z-A: Asymptotic nonlinear stability of traveling waves to conservation laws arising from chemotaxis. J. Differ. Equ. 250(3), 1310-1333 (2009)
Corrias, L, Perthame, B, Zaag, H: A chemotaxis model motivated by angiogenesis. C. R. Math. Acad. Sci. Paris 336(2), 141-146 (2003)
Corrias, L, Perthame, B, Zaag, H: Global solutions of some chemotaxis and angiogenesis systems in high space dimensions. Milan J. Math. 72, 1-28 (2004)
Hao, C-C: Global well-posedness for a multidimensional chemotaxis model in critical Besov spaces. Z. Angew. Math. Phys. 63(5), 825-834 (2012)
Danchin, R: Global existence in critical spaces for compressible Navier-Stokes equations. Invent. Math. 141(3), 579-614 (2000)
Danchin, R: Fourier Analysis Methods for PDE’s (2005); http://perso-math.univ-mlv.fr/users/danchin.raphael/courschine.pdf
Ahmad, S, Le, D: Global and blow up solutions to cross diffusion systems. Adv. Nonlinear Anal. 4(3), 209-219 (2015)
Li, H-L, Matsumura, A, Zhang, G-J: Optimal decay rate of the compressible Navier-Stokes-Poisson system in \(R^{3}\). Arch. Ration. Mech. Anal. 196(2), 681-713 (2010)
Matsumura, A: An energy method for the equations of motion of compressible viscous and heat-conductive fluids. MRC Technical Summary Report, Univ. of Wisconsin-Madison, 2194 (1981)
Sohinger, V, Strain, R-M: The Boltzmann equation, Besov spaces, and optimal time decay rates in \(R^{n}\). Adv. Math. 261, 274-332 (2014)
Yu, H-J: Large time behavior of solutions for hyperbolic balance laws. J. Differ. Equ. 261(9), 4789-4824 (2016)
Majda, A: Compressible Fluid Flow and Systems of Conservation Laws in Several Space Variables. Applied Mathematical Sciences, vol. 53. Springer, New York (1984)
Ueda, Y, Wang, S, Kawashima, S: Dissipative structure of the regularity-loss type and time asymptotic decay of solutions for the Euler-Maxwell system. SIAM J. Math. Anal. 44(3), 2002-2017 (2012)
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that she has no competing interests.
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
Luo, L. Large time behavior for a multidimensional chemotaxis model. Bound Value Probl 2017, 40 (2017). https://doi.org/10.1186/s13661-017-0772-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-017-0772-2