Abstract
This paper deals with the quasilinear degenerate chemotaxis system with flux limitation
where \(\varOmega := B_{R}(0) \subset \mathbb{R}^{n}\) (\(n \in \mathbb{N}\)) is a ball with some \(R>0\), and \(\chi >0\), \(p,q\geq 1\), \(\mu := \frac{1}{| \varOmega |} \int _{\varOmega }u_{0}\) and \(u_{0}\) is an initial data of an unknown function \(u\). Bellomo–Winkler (Trans. Am. Math. Soc. Ser. B 4, 31–67, 2017) established existence of an initial data such that the corresponding solution blows up in finite time when \(p=q=1\). This paper gives existence of blow-up solutions under some condition for \(\chi \) and \(u_{0}\) when \(1\leq p\leq q\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we consider the quasilinear degenerate chemotaxis system with flux limitation:
where \(\varOmega = B_{R}(0)\subset \mathbb{R}^{n}(n\in \mathbb{N})\) is a ball with some \(R > 0\), \(\chi > 0\), \(p,q\geq 1\) and the initial data \(u_{0}\) is a function fulfilling that
and where
The system (1.1) represents the situation such that a cellular slime moves towards higher concentrations of the chemical substance, and the unknown function \(u=u(x,t)\) describes the density of cell and the unknown function \(v=v(x,t)\) denotes the concentration of chemoattractant at \(x\in \varOmega \) and \(t\ge 0\). This model is development of the chemotaxis system
thanks to effect of the flux limitation, the system (1.1) describes the case that cell diffusivity is suppressed; therefore the system (1.1) is innovative and important because it is considered a sensitive dynamics in aggregation phenomena.
Before we introduce previous works about the system (1.1), we will recall known results about the chemotaxis system (1.4):
The system (1.4) is proposed by Keller–Segel [14] and is called a Keller–Segel system. About the Keller–Segel system it was known that the size of the initial data in some Lebesgue norm determines behaviour of solutions; in the case that \(n=1\), Osaki–Yagi [21] obtained global existence and boundedness of classical solutions of (1.4); in the case that \(n=2\), it is shown that there is a critical value \(C>0\) (\(C=8\pi \) in the radial setting and \(C=4\pi \) in the other setting) such that, if \(\|u_{0}\|_{L^{1}( \varOmega )} < C\) then global solutions exist ([20]), and if \(m>C\) then there is an initial data satisfying that \(\|u_{0}\|_{L^{1}( \varOmega )}=m\) and the corresponding solution blows up in finite time ([10, 18]); in the case that \(n\geq 3\), Horstmann–Winkler [11] asserted possibility of existence of unbounded solutions; Winkler [23] showed that for all \(m>0\) there exists an initial data such that \(\|u_{0}\|_{L^{1}(\varOmega )}=m\) and the corresponding solution blows up in finite time; also in the case that \(n=3\), Cao [3] established global existence and boundedness under the condition that \(\|u_{0}\|_{L^{\frac{n}{2}}(\varOmega )}\) and \(\|\nabla v _{0}\|_{L^{n}(\varOmega )}\) are sufficiently small.
The Keller–Segel system (1.4) is now studied by many mathematicians intensively. Moreover, many variations of generalizations of the Keller–Segel system (1.4) are also sprightly studied. Here one of the important generalized problems is the quasilinear chemotaxis system
This problem is one of the model which has a nonlinear diffusion suggested by Hillen–Painter [9]. In the nondegenerate chemotaxis system which is the system (1.5) with \(D(u)=(u+1)^{p-1}\) and \(S(u)=u(u+1)^{q-2}\) with \(p,q\in \mathbb{R}\), it is known that the relation between \(p\) and \(q\) determines the properties of solutions to the system; Tao–Winkler [22] established global existence and boundedness under the conditions that \(q < p + \frac{2}{n}\) and that \(\varOmega \) is a convex domain, and the convexity of \(\varOmega \) was removed in [13]; Cieślak–Stinner obtained finite-time blow-up in the case that \(q > p + \frac{2}{n}\) (the 2-dimensional setting can be found in [5], and the 3-dimensional setting is in [4, 6]); In the parabolic–elliptic setting Lankeit [15] recently showed several results including existence of infinite-time blow-up solutions in the case that \(q\le 1\) and \(q > p + \frac{2}{n}\). In the degenerate chemotaxis system which is the system (1.5) with \(D(u)=u^{p-1}\) and \(S(u)=u^{q-1}\) with \(p,q\ge 1\), similarly, it is shown that the relation between \(p\) and \(q\) determines behaviour of solutions; in the case \(q< p+\frac{2}{n}\), global solutions are obtained when \(\varOmega \) is a bounded domain (see [12]); in the case \(q=p+\frac{2}{n}\), the result is divided by the size of the initial data with some critical mass \(m_{c}=m_{c}(n)\); when \(\|u_{0}\|_{L^{1}( \varOmega )}=m< m_{c}\) and \(q=2\), under the Dirichlet–Neumann boundary condition, Mimura [17] showed that there are global solutions when \(\varOmega \) is a bounded domain; on the other hand, if \(m>m_{c}\), then Laurençot–Mizoguchi [16] established that existence of an initial data such that \(\|u_{0}\|_{L^{1}(\varOmega )}=m\) and the corresponding solution blows up in finite time when \(q=2\), \(\varOmega = \mathbb{R}^{n}\) and \(n=3,4\); in the case \(q>p+\frac{2}{n}\), it is known that there exists an initial data such that the corresponding solution blows up in finite time (see [8]). Moreover, some simplification of the system (1.5) which is the system that the second equation is \(0 = \Delta v- \mu + u\) instead of \(v_{t}=\Delta v - v + u\) in (1.5) with \(D(u) = (u+1)^{p-1}\) and \(S(u)= u(u+1)^{q-2}\) with \(p,q\in \mathbb{R}\) was studied ([7, 24]); Cieślak–Winkler [7] established global existence and boundedness in the case that \(q=2\) and \(2 < p + \frac{2}{n}\), and existence of finite-time blow-up solutions in the case that \(q=2\) and \(2 > p+ \frac{2}{n}\); Winkler–Djie [24] dealt with the case that \(p\le 1\) and \(q\in \mathbb{R}\) and showed global existence and boundedness in the case that \(q < p + \frac{2}{n}\), and existence of blow-up solutions in the case that \(q > p + \frac{2}{n}\). Thus, it is clear that the relation between \(p,q\) and \(n\) strongly affects behaviour of solutions.
On the other hand, the system which describes the situation such that the movement of the species is suppressed, that is, the chemotaxis system with flux limitation
is proposed by Bellomo–Winkler [1], where \(D_{u}\) and \(D_{v}\) show properties of diffusion of the species and the chemoattractant, respectively, and \(S\) represents the chemotactic interaction, and \(H_{1}\) and \(H_{2}\) are mechanisms of propagation, degeneration, and interaction. Since it has not been known whether there exist valid functions like an energy function and a Lyapunov function yet, the system (1.6) seems to be difficult. Therefore, Bellomo–Winkler [1, 2] have considered the following simplified system
In this system, Bellomo–Winkler [1] overcame the difficulty, and they showed global existence when \(\chi <1\). On the other hand, if \(\chi >1\) and
Bellomo–Winkler [2] found an initial data such that the corresponding solution of (1.7) blows up in finite time. However, the problem (1.6) has not been studied yet when \(D_{u}\) and \(S\) are general; in view of the study of the Keller–Segel system, the case that \(D_{u}(u,v)=u^{p-1}\) and \(S(u,v)=u^{q-1}\) in (1.6), i.e., the system (1.1) seems to be one of important problems. Recently global existence of solutions to system (1.1) was shown when \(p > q+1- \frac{1}{n}\) (see [19]). From the results in the degenerate chemotaxis system we can expect that some largeness condition for \(q\) derives existence of blow-up solutions.
The purpose of this paper is to determine the condition for \(p\) and \(q\) such that the corresponding solution blows up in finite time. Here we need to establish different methods because we cannot adopt the same argument as in [2] when \(p< q\) holds.
Now main results read as follows.
Theorem 1.1
Let\(\varOmega := B_{R}(0)\subset \mathbb{R}^{n}\)\((n\in \mathbb{N})\)with\(R > 0\)and suppose that\(1\leq p \le q\).
(i) If\(n=1\), then for all\(\chi > 1\) (\(\chi >0\)when\(q > p\)), there exists\(m_{c}=m_{c}(\chi ,p,q,R) > 0\)with the following property: If
$$\begin{aligned} m > m_{c}, \end{aligned}$$(1.9)then there exists a nondecreasing function\(M_{m} \in C^{0}([0,R])\)satisfying\(\sup_{r\in (0,R)}\frac{M_{m}(r)}{|B_{r}(0)|}< \infty \), \(M_{m}(R)\leq m\), and that for all\(u_{0} \in C^{3}(\overline{\varOmega })\)with\(\int _{\varOmega }{u_{0}(x)\,dx} = m\)and
$$\begin{aligned} \int _{B_{r}(0)}{u_{0}(x)\,dx}\geq M_{m}(r) \end{aligned}$$(1.10)for all\(r\in [0,R]\), there exists\(T^{\ast }\in (0,\infty )\)such that a corresponding solution\((u,v)\)of (1.1) blows up in finite time\(T^{\ast }\)in the sense that
$$\begin{aligned} \limsup_{t\nearrow T^{\ast }}\|u(\cdot ,t) \|_{L^{\infty }(\varOmega )} = \infty . \end{aligned}$$(1.11)
(ii) If\(n \geq 2\)and\(m > 0\), then for all\(\chi >0\)satisfying
$$\begin{aligned} \chi > \biggl(\frac{mn}{\omega _{n} R^{n}} \biggr)^{p-q}, \end{aligned}$$(1.12)where\(\omega _{n}\)defines the\((n-1)\)-dimensional measure of the unit sphere in\(\mathbb{R}^{n}\), there exists a nondecreasing function\(M_{m} \in C^{0}([0,R])\)satisfying\(\sup_{r\in (0,R)}\frac{M_{m}(r)}{|B _{r}(0)|}< \infty \), and\(M_{m}(R)\leq m\), such that for all\(u_{0} \in C^{3}(\overline{\varOmega })\)with\(\int _{\varOmega }{u_{0}(x)\,dx} = m\)and (1.10) for all\(r\in [0,R]\), there exists\(T^{\ast }\in (0,\infty )\)such that the corresponding solution\((u,v)\)of (1.1) blows up in finite time\(T^{\ast }\)in the sense of (1.11).
Remark 1.1
This theorem shows existence of blow-up solutions to (1.1) when \(q\ge p\). On the other hand, in [19] global existence of solutions is shown when \(p> q+1-\frac{1}{n}\). Thus we can observe that the case \(p=q\) is critical when \(n=1\). However, except for the case \(n=1\), behaviour of solutions in the case \(q < p \le q+1-\frac{1}{n}\) is still an open problem (see Fig. 1).
Remark 1.2
If \(p=q=1\), then the condition for \(m\) connects with that in [2]; indeed, the constant \(m_{c}(\chi ,p,q,R)\) in (1.9) is given by
(see (3.1) and (3.54)). Thus, in the case \(p=q\), since
and moreover
the conditions (1.9) and (1.12) are reduced to (1.8). Thus Theorem 1.1 is a generalization of the previous work [2]. However, we note that the constants \(m_{c}\) (when \(n=1\)) and \((\frac{mn}{\omega _{n} R^{n}})^{p-q}\) (when \(n\ge 2\)) might not be optimal constants but be ones required technically except for the case that \(p=q=1\) ([1, 2]); the opposite cases are open problems.
In view of Remark 1.2 we have the following corollary.
Corollary 1.2
Let\(\varOmega := B_{R}(0)\subset \mathbb{R}^{n}\)\((n\in \mathbb{N})\)with\(R > 0\)and let\(p=q\ge 1\), and suppose that\(\chi >1\)and (1.8). Then there exists a nondecreasing function\(M_{m}\in C^{0}([0,R])\)fulfilling\(\sup_{r\in (0,R)} \frac{M_{m}(R)}{|B _{r}(0)|} < \infty \)and\(M_{m}(R) \le m\), which is such that whenever\(u_{0}\)satisfies (1.2), as well as (1.10) for all\(r\in [0,R]\), the solution\((u,v)\)of (1.1) blows up in finite time in the sense of (1.11).
Theorem 1.1 gives the following byproduct; since arguments similar to those in the proof of [2, Proposition 1.2] enable us to see this proposition, we only write the statement.
Proposition 1.3
Let\(n\in \mathbb{N}\), \(R>0\), \(\varOmega := B_{R}(0)\subset \mathbb{R} ^{n}\)and\(\chi > 1\).
(i) Let\(m > 0\)satisfy (1.9). Then there exists a radially symmetric positive\(u_{m} \in C^{\infty }(\overline{\varOmega })\)which is such that
$$ \frac{\partial u_{m}}{\partial \nu } = 0\ \textit{on}\ \partial \varOmega \quad \textit{and}\quad \int _{\varOmega }{u_{m}}=m, $$and for which it is possible to choose\(\varepsilon > 0\)with the property that whenever\(u_{0}\)satisfies (1.2) as well as
$$ \|u_{0}-u_{m}\|_{L^{\infty }(\varOmega )}\leq \varepsilon , $$the corresponding solution of (1.1) blows up in finite time.
(ii) Given any\(u_{0}\)fulfilling (1.2), one can find functions\(u_{0k}\), \(k\in \mathbb{N}\), which satisfy (1.2) and
$$ u_{0k} \to u_{0} \quad \textit{in} \ L^{p}( \varOmega )\quad \textit{as}\ k \to \infty $$for all\(p\in (0,1)\), and which are such that for all\(k\in \mathbb{N}\)the solution of (1.1) emanating from\(u_{0k}\)blows up in finite time.
The proof of the main result is based on that of [2, Theorem 1.1]. Thus in the same way, we introduce \(s:=r^{n}\) for \(r\in [0,R]\) and the mass accumulation function \(w=w(s,t)\) defined as
and then, a combination of the fact \(u(r_{\ast },t) \geq \frac{w(s _{\ast },t)}{s_{\ast }}\) given by using \(u \geq w_{s}\) and the mean value theorem and that \(w\) is the solution of a scalar parabolic equation yields that the core of the proof is to find a suitable subsolution \(\underline{w}\) such that for some \(T>0\) and some \(s_{\ast }\in (0,R^{n})\),
In the previous study [2], the interval \((0,R^{n})\) is divided three parts, and in very inner region thanks to construction of the subsolution \(\underline{w}\) using the structure of a quadratic function, we obtain a suitable estimate. However, in this paper we cannot establish it from the same argument when \(p< q\). Therefore, adopting a new subsolution \(\underline{w}\) consisted by an exponential function, we can prove existence of an initial data such that the corresponding solution blows up in finite time. In this proof, the key idea is to employ a new viewpoint in the proof of some suitable estimate; by establishing a new estimate where the effect of the aggregation come from chemotactic interaction works adequately (see Lemma 3.5), we can attain a useful estimate.
This paper is organized as follows. In Sect. 2 we recall local existence in (1.1) and we consider the mass accumulation function and a scalar parabolic equation. In order to use the comparison argument as in [2, Lemma 5.1] we construct subsolutions and confirm properties in Sect. 3. Finally, we prove existence of blow-up solutions in Sect. 4.
2 Local Existence and a Parabolic Problem Satisfied by the Mass Accumulation
In this section we provide a local existence result and a mass accumulation function satisfying some parabolic problem. First, we recall a local existence result; the following result was shown in [19, Theorem 1.1].
Lemma 2.1
Suppose that\(u_{0}\)complies with (1.2). Then there exist\(T_{\mathrm{max}}\in (0,\infty ]\)and a pair\((u,v)\)of positive radially symmetric functions\(u\in C^{2,1}(\overline{\varOmega }\times [0,T _{\mathrm{max}}))\)and\(v\in C^{2,0}(\overline{\varOmega }\times [0,T _{\mathrm{max}}))\)which solve (1.1) classically in\(\varOmega \times (0,T_{\mathrm{max}})\), and which are such that
In the following let \(\varOmega := B_{R}(0)\subset \mathbb{R}^{n}\) (\(n \in \mathbb{N}\)) with some \(R > 0\) and let \(u_{0}\) satisfy (1.2), and denote by \((u,v)=(u(r,t),v(r,t))\) the radially symmetric local solution of (1.1) and by \(T_{\mathrm{max}}\) its maximal existence time obtained in Lemma 2.1. Moreover, we introduce the mass accumulation function \(w\) and the parabolic operator \(\mathcal{P}\) such that
for \(s\in [0,R^{n}]\) and \(t\in [0,T)\), and
If \(\widetilde{w}\in C^{1}((0,R^{n})\times (0,T))\) is such that \(\widetilde{w}_{s}>0\) and \(\widetilde{w}(\cdot ,t)\in W^{2,\infty }(0,R ^{n})\) for all \(t\in (0,T)\), then the expression \(\mathcal{P} \widetilde{w}\) is well-defined. Now we show that the function \(w\) defined as (2.2) fulfills these corresponding condition. Thus, the following lemma yields that the function \(w\) satisfies some parabolic problem (see [2, Lemma 2.1]).
Lemma 2.2
Let\(n\in \mathbb{N}\), \(\chi > 0\). Then for\(T > 0\)and some nonnegative radially symmetric\(u_{0}\in C^{0}(\overline{\varOmega })\), whenever\((u,v)\)is a positive radially symmetric classical solution of (1.1) in\(\varOmega \times [0,T)\), the function\(w\)defined as (2.2) satisfies
where\(m := \int _{\varOmega }{u_{0}(x)\,dx}\)and where\(\omega _{n}\)denotes the\((n-1)\)-dimensional measure of the unit sphere in\(\mathbb{R}^{n}\).
Proof
An argument similar to that in the proof of [2, Lemma 2.1] implies the conclusion of this lemma. □
3 Construction of Subsolutions for (2.4)
In this section we construct a subsolution \(\underline{w}\) of (2.4). Then, using a suitable comparison principle (see [2, Lemma 5.1]) to obtain \(w\geq \underline{w}\) in \([0,R^{n}] \times [0,T)\), we derive that \(u(r,t)\) blows up in finite time \(T>0\) (fixed later). In Sect. 3.1 we prepare a family of functions, and define \(\underline{w}\). In Sects. 3.2, 3.3, 3.4 and 3.5 we divide \([0,R^{n}]\) into three parts and show properties of a subsolution \(\underline{w}\) in respective regions.
3.1 Constructing a Family of Candidates
In order to construct subsolutions \(\underline{w}\) for (2.4) we first provide some parameter and some function; for \(\lambda \in [\frac{1}{3},1]\) we put
and define
where \(1< d<2\) is such that
Here we note that there is a solution \(d\in (1,2)\) of (3.3); indeed, since
hold, the intermediate value theorem enables us to find \(d\in (1,2)\) satisfying (3.3). Then we can show that \(\varphi \in C^{1}([0, \infty ))\cap W^{2,\infty }(0,\infty )\cap C^{2}([0,\infty )\setminus \{1\})\) with
and
In particular, \(\varphi '(\xi ) > 0\) for all \(\xi \geq 0\). Then we have to choose \(\lambda \in (\frac{5-\sqrt{17}}{2},1]\) suitably in the case that \(n=1\) (see Lemma 3.12), and we must fix \(\lambda =\frac{1}{3}\) in the case \(n\geq 2\) (see Lemma 3.13). The following lemma has already been proved in the proof of [2, Lemma 3.1]. Thus we recall only the statement of the lemma.
Lemma 3.1
Let\(n \in \mathbb{N}\), \(m > 0\), \(\lambda \in [\frac{1}{3},1]\), \(K > 0\), \(T >0\), and suppose that\(B \in C^{1}([0,T))\)satisfies that\(B(t)\in (0,1)\), \(K\sqrt{B(t)} < R^{n}\)for all\(t\in [0,T)\)and
for all\(t\in [0,T)\), where\(a_{\lambda }\)and\(b_{\lambda }\)are given by (3.1). Then the following functions are well-defined:
and
as well as
with
Furthermore, we have
as well as
for all\(t\in (0,T)\).
Using these definitions, we can express clearly our comparison function \(\underline{w}\). Letting \(K> 0\) be a constant fixed later and letting \(B\) be a function chosen suitably later, we will give a composite structure of \(\underline{w}\) by separating \([0,R^{n}]\) into two parts (an inner region and an outer region).
Lemma 3.2
Let\(n \in \mathbb{N}\), \(m > 0\), \(\lambda \in [\frac{1}{3},1]\), \(K > 0\)and\(T>0\), and let\(B \in C^{1}([0,T))\)satisfy that\(B(t)\in (0,1)\), \(K\sqrt{B(t)} < R^{n}\)and (3.6) hold for all\(t\in [0,T)\). Suppose that
where
for\(t \in [0,T)\), \(s\in [0,K\sqrt{B(t)}]\)with\(\varphi \)and\(A\)introduced as (3.2) and (3.7), respectively, and where
for\(t\in [0,T)\)and\(s\in [K\sqrt{B(t)},R^{n}]\)with\(D\)and\(E\)as in (3.8) and (3.9), respectively. Then\(\underline{w}\)is well-defined and satisfies
and\(\underline{w}(\cdot ,t)\in W^{2,\infty }(0,R^{n})\cap C^{2}([0,R ^{n}]\setminus \{B(t),K\sqrt{B(t)}\})\)for all\(t\in [0,T)\)as well as
for all\(t\in (0,T)\).
Proof
An argument similar to that in the proof of [2, Lemma 3.2] implies the conclusion of this lemma. □
3.2 Subsolution Properties: Outer Region
First, we will consider in the outer region. In the following lemma, we show that if the function \(B\) constructing \(\underline{w}\) is suitably small and fulfilling a differential inequality, then \(\underline{w}\) is a subsolution of (2.4) in the region.
Lemma 3.3
Let\(n \in \mathbb{N}\), \(\chi > 0\), \(m > 0\), \(\lambda \in [ \frac{1}{3},1]\), \(K > 0\), \(T>0\)and\(B_{0}\in (0,1)\)fulfill\(K\sqrt{B_{0}} < R^{n}\)and
with\(a_{\lambda }\)and\(b_{\lambda }\)taken from (3.1). Then if\(B\in C^{1}([0,T))\)is positive and nonincreasing and satisfies that
for all\(t\in (0,T)\), then the function\(w_{\mathrm{out}}\)given by (3.13) fulfills that
for all t\(\in (0,T)\)and all\(s\in (K\sqrt{B(t)},R^{n})\)with\(\mathcal{P}\)defined in (2.3).
Proof
The proof is based on that of [2, Lemma 3.3]. Recalling that \(E(t) = \frac{m}{\omega _{n}}-R^{n}D(t)\) for all \(t\in (0,T)\) by (3.9), we have
for all \(t\in (0,T)\) and all \(s\in (K\sqrt{B(t)},R^{n})\). Straightforward calculations together with (3.11) yield that
for all \(t\in (0,T)\) and all \(s\in (K\sqrt{B(t)},R^{n})\) with \(N\) as in (3.10). In order to obtain an estimate for \(\mathcal{P} w _{\mathrm{out}}\), noting from (3.18) and the fact \((w_{\mathrm{out}})_{ss}\equiv 0\) that
where
for \(t\in (0,T)\) and \(s\in (K\sqrt{B(t)},R^{n})\), we shall derive an estimate for \(I(s,t)\). Since (3.17) holds, we first obtain from the identity \(\frac{\mu }{n}=\frac{m}{\omega _{n} R^{n}}\) that
for all \(t\in (0,T)\) and all \(s\in (K\sqrt{B(t)},R^{n})\). Noticing from arguments similar to those in the proof of [2, Lemma 3.3] that
for all \(t\in (0,T)\) and all \(s\in (K\sqrt{B(t)},R^{n})\), we infer from (3.20) and (3.21) that
holds for all \(t\in (0,T)\) and all \(s\in (K\sqrt{B(t)},R^{n})\). Here in light of the definitions of \(D\) and \(N\) (see (3.8) and (3.10), respectively), we can see that
for all \(t\in (0,T)\) and all \(s\in (K\sqrt{B(t)},R^{n})\). Moreover, the fact \(B_{0}<\frac{4K^{2}}{b_{\lambda }^{2}}\) by (3.14) leads to that
for all \(t\in (0,T)\), a combination of the relation
(by (3.6)), (3.23), (3.24) and the fact \((a_{\lambda }+b_{\lambda }) b_{\lambda }B(t)\geq 0\) yields that
for all \(t\in (0,T)\). Therefore we verify from (3.22) that
for all \(t\in (0,T)\) and all \(s\in (K\sqrt{B(t)},R^{n})\). Here putting
and using the fact \((a_{\lambda }+b_{\lambda })b_{\lambda }B'(t) \leq 0\) for all \(t\in (0,T)\), from (3.19) and (3.25) we can confirm that
for all \(t\in (0,T)\) and all \(s\in (K\sqrt{B(t)},R^{n})\). Thanks to (3.15), we finally derive that
for all \(t \in (0,T)\) and all \(s\in (K\sqrt{B(t)},R^{n})\), which together with (3.26) implies (3.16) holds. □
3.3 Subsolution Properties: Inner Region
In this subsection we will consider in the inner region. In the following lemma we provide calculations of \(\mathcal{P}w_{\mathrm{in}}\) and properties of the function \(A\) defined as (3.7) constructing \(\underline{w}\) in the corresponding region.
Lemma 3.4
Let\(n \in \mathbb{N}\), \(m>0\), \(\lambda \in [\frac{1}{3},1]\), \(K > 0\)be such that\(K \geq \sqrt{b_{\lambda }R^{n}}\), and\(T>0\), and let\(B \in C^{1}([0,T))\)be positive and fulfill (3.6) and\(K\sqrt{B(t)} < R^{n}\)for all\(t\in [0,T)\). Then the function\(w_{\mathrm{in}}\)defined as (3.12) satisfies that
for all\(t\in (0,T)\)and all\(s\in (0,K\sqrt{B(t)})\setminus \{B(t) \}\), where\(\xi = \xi (s,t) = \frac{s}{B(t)}\), \(\mathcal{P}\)is given by (2.3), and
as well as
for\(t\in (0,T)\)and\(s\in (0,K\sqrt{B(t)})\setminus \{B(t)\}\). Moreover, the function\(A\)defined as (3.7) fulfills
for all\(t\in (0,T)\); in particular,
holds for all\(t\in (0,T)\).
Proof
Aided by arguments similar to those in the proofs of [2, Lemmas 3.4 and 3.5], from straightforward calculations we can attain the conclusion of this lemma. □
3.4 Subsolution Properties: Very Inner Region
In this subsection we will consider the case that \(\xi = \frac{s}{B(t)}\in (0,1)\) which means \(0< s< B(t)\). In order to show \(\mathcal{P}w_{\mathrm{in}}\leq 0\) we have to see that for some \(C>0\) and some \(\beta \geq 0\),
holds for all \(t\in (0,T)\) and all \(s\in (0,B(t))\) with \(J_{1}\) and \(J_{2}\) as in (3.28) and (3.29), respectively. Thanks to the convexity of \(\varphi \) for \(\xi \in (0,1)\), we obtain the term \(J_{1}\) is negative in this region. However, it seems to be difficult to show (3.32) in the case that \(p< q\). Indeed, when \(\varphi (\xi )=\lambda \xi ^{2}\) which is used in [2], if \(B(t)\) is close to 0, then we obtain from an arguments that
with some \(C_{1},C_{2}>0\). Thus, we modify a function \(\varphi \) on \((0,1)\) from [2] to infer that even though \(B(t)\) is suitably small, the term \(A(t)\varphi (\xi )-\frac{\mu }{n}B(t)\xi \) is positive which means \(J_{2}<0\) for \(t\in (0,T)\) and \(\xi \in (0,B(t))\). Furthermore, we divide the estimate for \(\mathcal{P}w_{\mathrm{in}}\) into the case \(n=1\) and the case \(n\geq 2\) to achieve our purpose.
Lemma 3.5
Let\(n \in \mathbb{N}\), \(m > 0\), \(\lambda \in [\frac{1}{3},1]\), and\(K > 0\)be such that\(K \geq \sqrt{b_{\lambda }R^{n}}\), and let\(B_{0}\in (0,1)\)be such that\(K\sqrt{B_{0}}< R^{n}\)and
as well as
with\(\mu \), \(d\)and\(A_{T}\)given by (1.3), (3.3) and (3.31), respectively. Then, under the condition that for some\(T > 0\), \(B\in C^{1}([0,T))\)is a positive and nonincreasing function satisfying\(B(0)\leq B_{0}\), the inequality
holds for all\(t\in (0,T)\)and all\(s\in (0,B(t))\)with\(\varphi \)and\(A\)as in (3.2) and (3.7), respectively.
Proof
We write \(\xi =\frac{s}{B(t)}\) for \(t\in (0,T)\) and \(s \in (0,B(t))\). According to (3.31) and \(B(t)\leq B(0)\leq B_{0}\), we obtain from (3.2) that
for all \(t\in (0,T)\) and all \(s\in (0,B(t))\). Thanks to that
for all \(\xi \in (0,1)\), we infer from (3.34) and (3.36) that
for all \(t\in (0,T)\) and all \(s\in (0,B(t))\). □
Invoking Lemma 3.5, under the assumption that the function \(B\) is small and satisfies a suitable inequality, we derive that \(\underline{w}\) becomes a subsolution of (2.4). First, we will note when \(n=1\). In this case, thanks to the definition of \(\varphi \) on \((0,1)\), we can establish that \(J_{1}\leq -C\) holds with some \(C>0\) and show the purpose of this subsection.
Lemma 3.6
Let\(n=1\), \(m > 0\), \(\lambda \in [\frac{1}{3},1]\)and\(K > 0\)be such that\(K \geq \sqrt{b_{\lambda }R^{n}}\), and let\(B_{0}\in (0,1)\)be such that\(K\sqrt{B_{0}}\leq R^{n}\), (3.33) and (3.34) hold. For some\(T>0\), if\(B\in C^{1}([0,T))\)satisfies that
for all\(t\in (0,T)\)with\(d\)and\(A_{T}\)as in (3.3) and (3.31), respectively, then the function\(w_{\mathrm{in}}\)defined as (3.12) has the property that
for all\(t\in (0,T)\)and all\(s\in (0,B(t))\).
Proof
Writing \(\xi =\frac{s}{B(t)}\) for \(t\in (0,T)\) and \(s \in (0,B(t))\), we establish that
for all \(t\in (0,T)\) and all \(s\in (0,B(t))\). The inequality leads to that
for all \(t\in (0,T)\) and all \(s\in (0,B(t))\). Thanks to (3.31) and \(\varphi '(\xi )\geq \varphi '(0)=\frac{2\lambda }{e ^{d}}\), we infer from \(B(t)<1\) that
for all \(t\in (0,T)\) and all \(s\in (0,B(t))\). On the other hand, using (3.35), we have
for all \(t\in (0,T)\) and all \(s\in (0,B(t))\). Thus, plugging (3.39) and (3.41) into (3.27), we derive from (3.38), (3.40) and the inequality \(\xi \leq 1\) that
for all \(t\in (0,T)\) and all \(s\in (0,B(t))\), and it concludes the proof. □
In the case \(n\geq 2\), if the function \(B\) is suitably small, then we can obtain that \(J_{2}\leq -C\) holds with some \(C>0\), which leads to achievement of the purpose.
Lemma 3.7
Let\(n \geq 2\), \(m > 0\), \(\lambda \in [\frac{1}{3},1]\), and\(K > 0\)be such that\(K \geq \sqrt{b_{\lambda }R^{n}}\), and let\(B_{0}\in (0,1)\)be such that\(K\sqrt{B_{0}}\leq R^{n}\), (3.33), (3.34) and
hold. For some\(T>0\), if\(B\in C^{1}([0,T))\)satisfies that
for all\(t\in (0,T)\)with\(d\)and\(A_{T}\)as in (3.3) and (3.31), respectively, then the function\(w_{\mathrm{in}}\)defined as (3.12) has the property that
for all\(t\in (0,T)\)and all\(s\in (0,B(t))\).
Proof
We write \(\xi =\frac{s}{B(t)}\) for \(t\in (0,T)\) and \(s \in (0,B(t))\). Thanks to (3.42) and
we obtain that
for all \(t\in (0,T)\) and all \(s\in (0,B(t))\). Moreover, since (3.31) and (3.37) hold, we can see from (3.2), (3.37) and the inequality \(\xi <1\) that
for all \(t\in (0,T)\) and all \(s\in (0,B(t))\). Therefore, we derive that
for all \(t\in (0,T)\) and all \(s\in (0,B(t))\). Thanks to (3.44), we infer from \(\xi <1\) that
for all \(t\in (0,T)\) and all \(s\in (0,B(t))\). Moreover, using (3.31) and \(\varphi '(\xi )\geq \varphi '(0)= \frac{2\lambda }{e^{d}}\), we obtain from \(B(t)<1\) that
On the other hand, from the fact \(\varphi ',\varphi ''>0\) (given by (3.4) and (3.5), respectively), we verify that
for all \(t\in (0,T)\) and all \(s\in (0,B(t))\). Recalling (3.27) and (3.30) (see Lemma 3.4), we can show that a combination of (3.45) and (3.47) yields that by (3.43) and (3.46),
for all \(t\in (0,T)\) and all \(s\in (0,B(t))\), which means the end of the proof. □
3.5 Subsolution Properties: Intermediate Region
In this subsection we will consider the case that \(s\in (B(t),K \sqrt{B(t)})\). Here the term \(J_{1}\) is positive due to the definition of \(\varphi \) in the region. Therefore, an estimate for \(J_{2}\) is important in this part. The following arguments are based on these of [2].
Lemma 3.8
Let\(n \in \mathbb{N}\), \(m > 0\), \(K > 0\)and\(T >0\), and let\(B \in C^{1}([0,T))\)be positive and satisfy that (3.6) and\(K\sqrt{B(t)} < R^{n}\)for all\(t\in [0,T)\). Then the function\(J_{1}\)defined as (3.28) satisfies
for all\(t\in (0,T)\)and all\(s\in (B(t),K\sqrt{B(t)})\)with\(\xi = \frac{s}{B(t)}\).
Proof
An argument similar to that in the proof of [2, Lemma 3.7] implies the conclusion this lemma. □
The following two lemmas have already been proved in proofs of [2, Lemmas 3.8 and 3.10]. Thus we only recall statements of lemmas.
Lemma 3.9
Let\(n \in \mathbb{N}\), \(m > 0\), \(\lambda \in [\frac{1}{3},1]\), \(K > 0\)be such that\(K \geq \sqrt{b_{\lambda }R^{n}}\), and let\(B_{0}\in (0,1)\)satisfy\(K\sqrt{B_{0}} < R^{n}\)and (3.33), as well as for some\(T > 0\)let\(B \in C^{1}([0,T))\)be positive and nonincreasing and be such that\(B(0) \leq B_{0}\). Then the inequality
holds for all\(t\in (0,T)\)and all\(s\in (B(t),K\sqrt{B(t)})\)with\(\xi = \frac{s}{B(t)}\).
Lemma 3.10
Let\(n \in \mathbb{N}\), \(m > 0\), \(\lambda \in [\frac{1}{3},1]\), \(K > 0\), \(\delta \in (0,1)\), and let\(B_{0}\in (0,1)\)fulfill\(K\sqrt{B_{0}} < R^{n}\), (3.33) and
with\(\mu \)and\(A_{T}\)introduced in (1.3) and (3.31), respectively, and suppose that\(T > 0\)and\(B\in C ^{1}([0,T))\)is positive and such that
for all\(t\in (0,T)\). Then the inequality
holds for all\(t\in (0,T)\)and all\(s\in ((B(t),K\sqrt{B(t)})\)with\(\xi =\frac{s}{B(t)}\)for\(s\in (B(t),K\sqrt{B(t)})\)and\(t\in (0,T)\).
In order to have the estimate for \(\mathcal{P}w_{\mathrm{in}}\) in the intermediate region when \(p< q\), we will provide the following lemma.
Lemma 3.11
Let\(n \in \mathbb{N}\), \(m > 0\), \(\lambda \in [\frac{1}{3},1]\), \(K > 0\), and let\(B \in C^{1}([0,T))\)be such that\(K\sqrt{B(t)} < R ^{n}\)and be a positive and nonincreasing function and put
Then the inequality
holds for all\(k \geq 0\)and all\(s\in (B(t),K\sqrt{B(t)})\), \(t\in (0,T)\)with\(\xi = \frac{s}{B(t)}\), where\(A\)and\(\varphi '\)are as in (3.7) and (3.4), respectively.
Proof
We write \(\xi = \frac{s}{B(t)}\) for all \(t\in (0,T)\) and all \(s\in (B(t),K\sqrt{B(t)})\). Using that
for \(1< \xi < \frac{K}{\sqrt{B(t)}}\), we infer from \(B(t)<1\) and \(0\leq b_{\lambda }\leq 1\) for \(\lambda \in [\frac{1}{3},1]\) that
A combination of (3.31) and (3.53) yields that
for all \(t\in (0,T)\) and all \(s\in (B(t),K\sqrt{B(t)})\), which means the end of proof. □
Thanks to above lemmas, we can see that if a function \(B\) is suitably small and nonincreasing and fulfills some differential inequality, then \(\underline{w}\) becomes a subsolution of (2.4) in the intermediate region \((B(t),K\sqrt{B(t)})\).
First, we will consider the case \(n=1\). The largeness condition for \(m\) (see (1.9)) will lead to the following lemma.
Lemma 3.12
Let\(p\leq q\), \(n = 1\), \(\chi > 0\)and\(\lambda \in (\frac{5- \sqrt{17}}{2},1]\), and put\(\delta _{\lambda }:= \frac{a_{\lambda }}{b _{\lambda }}\)with\(a_{\lambda }\)and\(b_{\lambda }\)as in (3.1), and let\(m_{c}(p,q,\chi ,\lambda ,R)\)be such that
Then for all\(m>m_{c}\)there exist\(K > 0\), \(\kappa _{1} > 0\), and\(B_{01}\)such that\(K\sqrt{B_{01}} < R^{n}\), and for some\(T > 0\), if\(B\in C^{1}([0,T))\)is a positive and nonincreasing function fulfilling (3.6) as well as
for all\(t\in (0,T)\), then\(w_{\mathrm{in}}\)as in (3.12) satisfies
for all\(t\in (0,T)\)and all\(s\in (B(t),K\sqrt{B(t)})\).
Proof
The proof is based on that of [2, Lemma 3.11]. Since \(\delta _{\lambda }= \frac{a_{\lambda }}{b_{\lambda }}\) holds, we obtain \(b_{\lambda }R = \frac{a_{\lambda }R}{\delta _{\lambda }}\) with \(a_{\lambda }\) and \(b_{\lambda }\) as in (3.1), which enables us to pick \(K > 0\) such that
and
as well as
is positive (by (3.54) and \(m>m_{c}\)) with \(\sigma \) as in (3.51). Furthermore, it is possible to fix \(B_{01}\in (0,1)\) fulfilling \(K\sqrt{B_{01}} < R\) and
as well as
with \(A_{T}\) as in (3.31), and put
and let \(T > 0\) and \(B\in C^{1}([0,T))\) be positive and nonincreasing and such that (3.55) holds. Then, recalling \(A' \leq 0\) on \((0,T)\) (see Lemma 3.4), we infer from (3.27) that
for all \(t\in (0,T)\) and all \(s\in (B(t),K\sqrt{B(t)})\) with \(\xi =\frac{s}{B(t)}\) and \(J_{1}\) and \(J_{2}\) as in (3.28) and (3.29). Here, according to Lemma 3.8, we obtain from (3.48) that
for all \(t\in (0,T)\) and all \(s\in (B(t),K\sqrt{B(t)})\). Since (3.56), (3.57), (3.59) and (3.60) hold, a combination of Lemmas 3.9 and 3.10 with an argument similar to that in the proof of [2, Lemma 3.11] leads to that
for all \(t\in (0,T)\) and all \(s\in (B(t),K\sqrt{B(t)})\). Therefore, we can see from (3.50) that
for all \(t\in (0,T)\) and all \(s\in (B(t),K\sqrt{B(t)})\). From the relation \(p\leq q\), a combination of (3.52) and (3.61)–(3.64), along with the definition of \(c_{1}\) (see (3.58)) implies that
for all \(t\in (0,T)\) and all \(s\in (B(t),K\sqrt{B(t)})\). Recalling that \(\xi \leq \frac{K}{\sqrt{B(t)}}\) holds in the region, we infer from the definition of \(\kappa _{1}\) (see (3.61)) that
for all \(t\in (0,T)\) and all \(s\in (B(t),K\sqrt{B(t)})\). A combination of (3.65) and (3.66) leads to that we can attain the conclusion of the proof. □
Secondly, we will consider the case \(n\geq 2\). Due to choosing suitably \(\chi \) as in (1.12), we will infer from the condition for a function \(B\) that \(\underline{w}\) becomes a subsolution of (2.4).
Lemma 3.13
Let\(p\leq q\), \(n \geq 2 \), \(m > 0\), \(\chi >0\)and\(\lambda = \frac{1}{3}\). Then for all\(\chi > (\frac{mn}{\omega _{n} R^{n}})^{p-q}\)there exist\(K > 0\), \(\kappa _{n} > 0\), and\(B_{0n}\)such that\(K\sqrt{B_{0n}} < R^{n}\), and such that if\(T > 0\)and\(B\in C^{1}([0,T))\)is a positive and nonincreasing such that
for all\(t\in (0,T)\), then the function\(w_{\mathrm{in}}\)defined in (3.12) satisfies
for all\(t\in (0,T)\)and all\(s\in (B(t),K\sqrt{B(t)})\).
Proof
The proof is based on that of [2, Lemma 3.12]. Thanks to \(\lambda = \frac{1}{3}\) and \(\chi > (\frac{mn}{\omega _{n} R^{n}})^{p-q}\), we have that \(b_{\lambda }=0\) and
with \(a_{\lambda }\) as in (3.1). Then there exists some \(K > 0\) fulfilling
with \(\sigma \) given by (3.51). Using (3.68), we can choose \(\delta \in (0,1)\) suitably small such that
is positive. Finally, we take \(B_{0n}\in (0,1)\) such that \(K\sqrt{B _{0n}} < R^{n}\) and
as well as
with \(A_{T}\) as in (3.31) and
and we put
and suppose \(T > 0\) and \(B\in C^{1}([0,T))\) is positive and nonincreasing and such that (3.67) holds. Then, from (3.70), Lemma 3.4 implies that \(A' \leq 0\) on \((0,T)\). Recalling (3.27), we derive that
for all \(t\in (0,T)\) and all \(s\in (B(t),K\sqrt{B(t)})\) with \(\xi = \frac{s}{B(t)}\), and \(J_{1}\) and \(J_{2}\) given by (3.28) and (3.29), respectively. From (3.70) and (3.71), using Lemma 3.10, we obtain that
for all \(t\in (0,T)\) and all \(s\in (B(t),K\sqrt{B(t)})\). Noticing (3.70), we can use Lemma 3.9 to show from (3.72) that
for all \(t\in (0,T)\) and all \(s\in (B(t),K\sqrt{B(t)})\). Employing (3.75), (3.76) and the fact that \(\delta < 1\), we can estimate that
for all \(t\in (0,T)\) and all \(s\in (B(t),K\sqrt{B(t)})\). On the other hand, we use Lemma 3.8 to show that
for all \(t\in (0,T)\) and all \(s\in (B(t),K\sqrt{B(t)})\). Thanks to (3.74), (3.77) and (3.78), we derive that
Since
holds, a combination of (3.69), (3.79) and Lemma 3.11, along with the relation \(p\leq q\) yields that
for all \(t\in (0,T)\) and all \(s\in (B(t),K\sqrt{B(t)})\). Finally, according to that
which means that \(s < K\sqrt{B(t)}\), we infer from (3.67) and (3.73) that
for all \(t\in (0,T)\) and all \(s\in (B(t),K\sqrt{B(t)})\). Thus (3.80) and (3.81) lead to the end of the proof. □
4 Blow-up. Proof of Theorem 1.1
In this section, by virtue of a combination of Lemmas 3.3, 3.6, 3.7, 3.12 and 3.13, we can show our main purpose such that there is an initial data satisfying that the corresponding solution blows up by using the comparison argument from [2, Lemma 5.1].
Proof of Theorem 1.1
If \(n=1\), thanks to (1.9), for all \(\chi > 1\) (\(\chi >0\) when \(q>p\)) and some \(\lambda \in (\frac{5-\sqrt{17}}{2},1)\), Lemma 3.12 entails that there exist \(K>0\), \(\kappa _{1} >0\) and \(B_{01}\in (0,1)\) with properties listed there. On the other hand, if \(n\geq 2\), \(m > 0\) and \(\lambda =\frac{1}{3}\), then from the condition (1.12) we can use Lemma 3.13 to see that for all \(\chi >0\) there exist \(K>1\), \(\kappa _{n} >0\) and \(B_{0n}\in (0,1)\) with properties noted there. Moreover, we introduce \(\kappa \in (0,\kappa _{n}]\) given by
and
as well as
with \(d\) and \(A_{T}\) as in (3.3) and (3.31), respectively, and we take \(B_{0}\in (0,B_{0n}]\) satisfying (3.14), (3.34) and (3.42). Here we define
for \(t\in (0,T)\) with
Then, \(B\in C^{1}([0,T))\) is the solution of the following initial-value problem:
for all \(t\in (0,T)\). According to Lemma 3.2, putting
with functions \(w_{\mathrm{in}}\) and \(w_{\mathrm{out}}\) as in (3.12) and (3.13), respectively, we see that the function \(\underline{w}\) is well-defined and satisfies
and \(\underline{w}(\cdot ,t)\in C^{2}([0,R^{n}] \setminus \{B(t),K \sqrt{B(t)}\})\) for all \(t\in [0,T)\). Moreover, thanks to (4.1), (4.2), (4.3), (4.4) and the fact that \(B(t)\leq B_{0} <1\), we can use Lemmas 3.3, 3.6, 3.7, 3.12 and 3.13 to lead to functions \(w_{\mathrm{out}}\) and \(w_{\mathrm{in}}\) fulfilling
for all \(t\in (0,T)\) and all \(s\in (K\sqrt{B(t)},R^{n})\) as well as
for all \(t\in (0,T)\) and all \(s\in (0,B(t))\cup (B(t),K\sqrt{B(t)})\). Therefore, we obtain that
for all \(t \in (0,T)\) and all \(s\in (0,R^{n})\setminus \{B(t),K \sqrt{B(t)}\}\) since (4.5) and (4.6) hold. Here we assume that \(u_{0}\) satisfies (1.2) and also
for all \(r\in [0,R]\). Then, we can see that
for all \(s\in (0,R^{n})\) with the solution \(w\) of (2.4) defined by (2.2). Moreover, putting \(\widetilde{T} := \text{min}\{T_{\mathrm{max}},T\}\), we derive that
for all \(t\in (0,\widetilde{T})\). In order to use the comparison principle stated in [2, Lemma 5.1] we write \(\alpha := 2- \frac{2}{n}\geq 0\) and let
for \((s,t,y_{0},y_{1},y_{2})\in G := (0,R^{n})\times (0,\infty ) \times \mathbb{R}\times (0,\infty )\times \mathbb{R}\). Then \(\phi \in C^{1}(G)\) with
and
as well as
for all \((s,t,y_{0},y_{1},y_{2})\in G \). Here if \(S\subset (0,R^{n}) \times \mathbb{R}\times (0,\infty )\times \mathbb{R}\) is compact, then there exist \(a_{1},a_{2} \in (0,\infty )\) and \(\ b_{1},b_{2}\in \mathbb{R}\) satisfying that
Therefore, putting \(b := \mbox{max}\{|b_{1}|,|b_{2}|\}\) and \(a := \mbox{max}\{a_{1}^{p-2},a_{2}^{p-2}\}\), we establish that for any \(t\in (0,\widetilde{T})\),
for all \((s,y_{0},y_{1},y_{2})\in S\), and thus \(|\frac{\partial \phi }{\partial y_{1}} (\cdot ,t,\cdot ,\cdot ,\cdot )|\in L_{ \mathrm{loc}}^{\infty }((0,R^{n}) \times \mathbb{R}\times (0,\infty ) \times \mathbb{R})\), and for all \(T_{0} \in (0,\widetilde{T})\) and all \(\varLambda >0\) we derive that
for all \((s,t,y_{0},y_{1},y_{2})\in G \) with \(t\in (0,T_{0})\) and \(y_{1}\in (0,\varLambda )\). Thanks to (4.7), (4.8) and (4.9), we can use [2, Lemma 5.1] to yield that
for all \(s\in [0,R^{n}]\) and all \(t\in [0,\widetilde{T})\). Since \(w(0,t) = \underline{w}(0,t) = 0\) for all \(t\in [0,\widetilde{T})\), the mean value theorem implies that for each \(t\in [0,\widetilde{T})\) there is some \(\theta (t)\in (0,R^{n})\) with the property that
for all \(t\in [0,\widetilde{T})\). Noting that \(u(r,t) = nw_{s}(r^{n},t)\) for all \(r\in (0,R)\) and all \(t\in (0,\widetilde{T})\), we can show that
for all \(t\in (0,\widetilde{T})\). Thanks to the facts that
as \(t\nearrow T\) by (3.7), using a consequence of the extensibility criterion (2.1), we can see that (1.11) holds with \(T^{\ast }=T_{\mathrm{max}}\leq T < \infty \), which enables us to attain Theorem 1.1. □
References
Bellomo, N., Winkler, M.: A degenerate chemotaxis system with flux limitation: maximally extended solutions and absence of gradient blow-up. Commun. Partial Differ. Equ. 42, 436–473 (2017)
Bellomo, N., Winkler, M.: Finite-time blow-up in a degenerate chemotaxis system with flux limitation. Trans. Am. Math. Soc. Ser. B 4, 31–67 (2017)
Cao, X.: Global bounded solutions of the higher-dimensional Keller–Segel system under smallness conditions in optimal spaces. Discrete Contin. Dyn. Syst. 35, 1891–1904 (2015)
Cieślak, T., Stinner, C.: Finite-time blowup and global-in-time unbounded solutions to a parabolic–parabolic quasilinear Keller–Segel system in higher dimensions. J. Differ. Equ. 252, 5832–5851 (2012)
Cieślak, T., Stinner, C.: Finite-time blowup in a supercritical quasilinear parabolic–parabolic Keller–Segel system in dimension 2. Acta Appl. Math. 129, 135–146 (2014)
Cieślak, T., Stinner, C.: New critical exponents in a fully parabolic quasilinear Keller–Segel system and applications to volume filling models. J. Differ. Equ. 258, 2080–2113 (2015)
Cieślak, T., Winkler, M.: Finite-time blow-up in a quasilinear system of chemotaxis. Nonlinearity 21, 1057–1076 (2008)
Hashira, T., Ishida, S., Yokota, T.: Finite-time blow-up for quasilinear degenerate Keller–Segel systems of parabolic–parabolic type. J. Differ. Equ. 264, 6459–6485 (2018)
Hillen, T., Painter, K.: A user’s guide to PDE models for chemotaxis. J. Math. Biol. 58, 183–217 (2009)
Horstmann, D., Wang, G.: Blow-up in a chemotaxis model without symmetry assumptions. Eur. J. Appl. Math. 12, 159–177 (2001)
Horstmann, D., Winkler, M.: Boundedness vs. blow-up in a chemotaxis system. J. Differ. Equ. 215, 52–107 (2005)
Ishida, S., Yokota, T.: Global existence of weak solutions to quasilinear degenerate Keller–Segel systems of parabolic–parabolic type with small data. J. Differ. Equ. 252, 2469–2491 (2012)
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.: Traveling bands of chemotactic bacteria: a theoretical analysis. J. Theor. Biol. 30, 235–248 (1971)
Lankeit, J.: Infinite time blow-up of many solutions to a general quasilinear parabolic-elliptic Keller–Segel system. Discrete Contin. Dyn. Syst., Ser. A 13, 233–255 (2020)
Laurençot, P., Mizoguchi, N.: Finite time blowup for the parabolic–parabolic Keller–Segel system with critical diffusion. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 34, 197–220 (2017)
Mimura, Y.: The variational formulation of the fully parabolic Keller–Segel system with degenerate diffusion. J. Differ. Equ. 263, 1477–1521 (2017)
Mizoguchi, N., Winkler, M.: Blow-up in the two-dimensional parabolic Keller–Segel system. Preprint
Mizukami, M., Ono, T., Yokota, T.: Extensibility criterion ruling out gradient blow-up in a quasilinear degenerate chemotaxis system. arXiv:1903.00124 [math.AP]. Preprint
Nagai, T., Senba, T., Yoshida, K.: Application of the Trudinger–Moser inequality to a parabolic system of chemotaxis. Funkc. Ekvacioj 40, 411–433 (1997)
Osaki, K., Yagi, A.: Finite dimensional attractor for one-dimensional Keller–Segel equations. Funkc. Ekvacioj 44, 441–469 (2001)
Tao, Y., Winkler, M.: Boundedness in a quasilinear parabolic–parabolic Keller–Segel system with subcritical sensitivity. J. Differ. Equ. 252, 692–715 (2012)
Winkler, M.: Finite-time blow-up in the higher-dimensional parabolic–parabolic Keller–Segel system. J. Math. Pures Appl. 100, 748–767 (2013)
Winkler, M., Djie, K.C.: Boundedness and finite-time collapse in a chemotaxis system with volume-filling effect. Nonlinear Anal. 72, 1044–1064 (2010)
Acknowledgements
The authors would like to express thanks to the referees for helpful and kind comments which improve quality of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
M. Mizukami is partially supported by JSPS Research Fellowships for Young Scientists, No. 17J00101.
T. Yokota is partially supported by Grant-in-Aid for Scientific Research (C), No. 16K05182.
Rights and permissions
About this article
Cite this article
Chiyoda, Y., Mizukami, M. & Yokota, T. Finite-Time Blow-up in a Quasilinear Degenerate Chemotaxis System with Flux Limitation. Acta Appl Math 167, 231–259 (2020). https://doi.org/10.1007/s10440-019-00275-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10440-019-00275-z