Abstract
Blowup analysis for solutions of a general evolution equation with nonlocal diffusion and localized source is performed. Sufficient conditions for blowup are expressed in terms of some Morrey space norms. A comparison of these with recent results on global-in-time solutions is discussed.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider here nonnegative solutions \(u=u(x,t)\ge 0\) of the Cauchy problem
with the linear nonlocal diffusion operator
defined by the convolution of u with a nonnegative radially symmetric function J satisfying \(\int _{\mathbb {R}^d}J(x)\,\mathrm{d}x=1\), and with the nonlinearity (a localized source) defined by a locally Lipschitz convex function \(F:[0,\infty )\rightarrow [0,\infty )\), \(F(0)=0\), satisfying the condition
Similar evolution equations extending the classical nonlinear heat equation thoroughly presented in [17]
and the equations with nonlocal diffusion operators defined by fractional powers of the Laplacian, \(\alpha \in (0,2)\)
and even more general nonlinearities, have been studied in, e.g., [11] (the linear case), and e.g., [1, 13, 20] (the nonlinear case).
Equations of the type (1) are related to the differential and integrodifferential equations (5) and (6) by their long time asymptotic behavior determined frequently by the linear equations (12)–(13) below, and studied in, e.g., [1, 11, 13].
There are plenty of results on closely related questions on conditions on the initial data guaranteeing the local-in-time existence of solutions to Eq. (5) and sufficient conditions leading to finite time blowup of solutions, see [2, 3, 14], the latter reference dealing with a general nondecreasing but not necessarily convex nonlinearity.
A standard theory of the existence of solutions for problem (1)–(2) in [1, 11, 13] is developed in the framework of mild solutions, i.e., those satisfying the Duhamel formula
Here, \(u\in {{\mathcal {C}}}([0,T),L^1(\mathbb {R}^d))\) is required when \(F\equiv 0\), i.e., in the case of linear equations (1). Note that the semigroup \(\mathrm{e}^{t{{\mathcal {A}}}}\) is strongly continuous, so that the initial condition \(u_0\) is attained in the sense of \(L^1\)-limit as \(t\rightarrow 0\). In the case of nonlinear equations with, say, \(|F(u)|\le C(1+|u|^p)\), assumption \(u_0\in L^1\cap L^\infty (\mathbb {R}^d)\) guarantees the local-in-time well-posedness of the Cauchy problem (1)–(2) with
see [11, 13]. In both the cases mild solutions are weak solutions so that, in particular,
holds for \(t<T\) and each function \(\phi \in {{\mathcal {C}}}^{2,1}(\mathbb {R}^d\times [0,T))\cap L^\infty (\mathbb {R}^d\times (0,T))\), which is completely analogous to the concept of weak solutions of nonlinear heat equations with either the Laplacian (5) or fractional Laplacian (6).
However, it is convenient to adopt here a slightly more general definition of locally bounded solutions
admitting unbounded initial data which are merely in \(L^1\cap L^\infty _{\mathrm{loc}}(\mathbb {R}^d)\). This is motivated by the fact that solutions to problem (1)–(2) with data in \(L^1\cap L^q_{\mathrm{loc}}(\mathbb {R}^d)\) for some particular q may exist, see [14] in the case of equations like (5), (6) with general nonlinearities. Note that this definition permits to consider locally bounded in space but unbounded solutions as in [4, 12].
Remark that unlike the case of the Eqs. (5) and (6), we cannot expect that solutions are smooth for \(t>0\), i.e., an instantaneous regularization effect of the semigroup \(\mathrm{e}^{t{{\mathcal {A}}}}\) generated by bounded diffusion operators \({\mathcal {A}}\) on solutions is absent.
The phenomenon of a blowup of a solution is understood here in the local \(L^\infty \) sense, i.e., u is a blowing up solution not later than at \(t=T>0\) if for some \(R>0\) the relation
holds. This definition is consistent with the above meaning of solutions requiring \(u(t)\in L^1(\mathbb {R}^d)\cap L^\infty _{\mathrm{loc}}(\mathbb {R}^d)\) for \(t>0\).
Theorem 1 on local-in-time solutions to Eq. (1) that cannot be continued to global-in-time ones is one of the main results in this paper. Proposition 3 interprets a general condition in Theorem 1 in terms of the Morrey space norms related to approximative scaling properties of the problem. There are also subsidiary results on the size of global-in-time solutions compared to blowing up ones in the case of Eqs. (5) and (6).
The main idea here is that we are looking for a single quantity \(\ell =\ell (u_0)\) (a functional norm) which decides on the blowup versus global existence. Unfortunately, we do not have a dichotomic partition of the set of admissible initial data but weaker results like: \(\ell (u_0)<c\) implies the global existence while \(\ell (u_0)>C\) (with \(C>c\)) leads to a blowup of solutions in Theorem 5. Quite often the condition \(\ell (u_0)<\infty \) is necessary, but not always sufficient, for the local-in-time existence of solutions, see [4, 18] for the cases of Eqs. (5) and (6).
Notation The homogeneous Morrey spaces \(M^s_q(\mathbb {R}^d)\) modeled on the Lebesgue space \(L^q(\mathbb {R}^d)\), \(q\ge 1\), are defined for \(u\in L^q_{\mathrm{loc}}(\mathbb {R}^d)\) and \(1\le q\le s<\infty \), by their norms
with the convention \(M^s_1(\mathbb {R}^d)=M^s(\mathbb {R}^d)\). Here, B(x, R) denotes the ball centred at x of radius R: \(\{y:|y-x|<R\}\), and \(\mathbb {1}_{B(x,R)}\) is its characteristic function.
The asymptotic relation \(f\approx g\) as \(s\rightarrow s_0\) (with either \(s_0=0\) or \(s_0=\infty )\) means that \(\lim _{s\rightarrow s_0}\frac{f(s)}{g(s)}=1\), and \(f\asymp g\) is used whenever \(\lim _{s\rightarrow s_0}\frac{f(s)}{g(s)}\in (0,\infty )\). We will use the notation \(g\gg 1\) if the quantity g (depending on some parameters) is supposed to be sufficiently large (in terms of those parameters).
2 Blowup for a general nonlinear source, nonlocal diffusion model
Our aim in this paper is to give a simple proof of blowup of solutions for the Cauchy problem (1)–(2) based on the classical idea of Fujita [12]. We believe that this proof is simpler than monotonicity arguments given in [1]. Moreover, this argument applies to a class of initial data much larger than in [1, Theorem 2.4], giving explicit and rather precise general sufficient conditions on functions \(u_0\) in (2) in order to solutions of (1)–(2) blow up in a finite time, together with estimates of the blowup time, cf. also [20] for Eq. (6).
Let us briefly recall some facts from Alfaro [1] and Chasseigne et al. [11]. The linear nonlocal diffusion operator \({{\mathcal {A}}}:L^1(\mathbb {R}^d)\rightarrow L^1(\mathbb {R}^d)\) defined in (3) is bounded and generates the semigroup of linear operators \(\mathrm{e}^{t{{\mathcal {A}}}}\). This semigroup is represented as convolutions with kernels \(k_t\in L^1(\mathbb {R}^d)\), normalized so that \(\int _{\mathbb {R}^d} k_t(x)\,\mathrm{d}x=1\), defined by the inverse Fourier transform \({{\mathcal {F}}}^{-1}\) on \(\mathbb {R}^d\)
Typical and the most interesting examples of functions J are those with their Fourier transforms \({\widehat{J}}\) satisfying
with \(A>0\), \(\alpha =2\) (corresponding to, e.g., the case of smooth, compactly supported functions J), and those with \(\alpha \in (0,2)\), cf. [11, Sec. 1]. Note that for \(\alpha \in (0,2)\) such J do not have finite second moment. As it was studied in [11], the long time asymptotics of solutions of the linear Cauchy problem
is then determined either by that of the classical heat equation
or the fractional heat equation
see (22) below for a precise statement from Chasseigne et al. [11, Theorem 1]. Other examples of functions J with the Fourier transform \({\widehat{J}}\) like \({\widehat{J}}(\xi )-1 \approx A|\xi |^2\log |\xi |\) as \( |\xi |\rightarrow 0\), are mentioned in [11, Th. 5.1], and then \(J(x)\asymp \frac{1}{|x|^{d+2}}\) as \(|x|\rightarrow \infty \). Thus, they are examples of operators \({\mathcal {A}}\) whose kernels have “heavy tails”: \(J(x)\asymp \frac{1}{|x|^n}\) as \(|x|\rightarrow \infty \) with some \(n>d\), discussed in [1, 11]. For them, if \(n\in (d,d+2)\), then \(\alpha =n-d\in (0,2)\) holds. Their semigroup kernels have also heavy tails unlike the Gauss-Weierstrass kernel of the heat semigroup for \(\alpha =2\). Besides bounded diffusion operators (3) studied here, the proof of Theorem 1 below applies also to unbounded operators \(\Delta \) and \(-(-\Delta )^{\alpha /2}\) as was in classical papers [12, 20].
Theorem 1
Define the function \(h(w)=\int _w^\infty \frac{\mathrm{d}u}{F(u)}\). Suppose that \(u_0\ge 0\) satisfies for some \(T>0\) the condition
with the moment \(W_T(t)\) defined for \(t\in [0,T)\) with the kernels \(k_t\) in (10) as
Then, any local in time classical solution \(u=u(x,t)\) of the Cauchy problem (1)–(2) cannot be continued beyond \(t=T\).
Proof
The function h is decreasing and satisfies \(h(0)=\infty \), \(h(\infty )=0\), by assumption (4) on the convex function F. By definition (15), we have \(W_T(t)=k_{T-t}*u(.,t)(0)\) and, of course, \(z(.,t)=k_{T-t}\) solves the backward diffusion equation with the terminal condition
Following the idea in [12], let us compute the time derivative of \(W_T(t)\)
by the symmetry property of the function J, so that the symmetry of the semigroup, and the Jensen inequality in the last line. Integrating this from 0 to t, we obtain
If initially \(W_T(0)>h^{-1}(T)\) holds, then taking into account the property \(\lim _{w\searrow 0}h(w)=\infty \), we arrive at
Finally, if \(\lim _{t\nearrow T}W_T(t)=\infty \) then evidently \(\limsup _{t\nearrow T}\sup _{|x|<R}u(x,t)=\infty \) for every\(R>0\) which means that u blows up not later than at \(t=T\). Indeed, we have \(\lim _{t\nearrow T}\sup _{|x|>R}k_{T-t}(x)=0\) for every \(R>0\). \(\square \)
Remark 2
In some particular cases, under more restrictive assumptions than condition (4), the sufficient condition for blowup of solutions of (1)–(2) can be described in a more explicit way than condition
considered in Theorem 1.
For instance, for the nonlinear heat equation (5) with \({{\mathcal {A}}}u=\Delta u\) and \(F(u)=u^p\), so that for \({\mathrm{e}}^{t\Delta }\) defined with the Gauss–Weierstrass kernel, the condition (17) is equivalent to
This is a sufficient condition for the blowup of (5) derived in [12], and this has been interpreted in a recent paper [4] in terms of the Morrey space norm \(M^{d(p-1)/2}(\mathbb {R}^d)\).
We have, in this direction, the following general
Proposition 3
(i) If the infinitesimal generator \({\mathcal {A}}\) of the semigroup \({\mathrm{e}}^{t{{\mathcal {A}}}}\) satisfies (11) for an \(\alpha \in (0,2]\), \(F(u)\asymp u^p\) with some \(p>1\) as \(s\rightarrow 0\), \(u_0\in L^1(\mathbb {R}^d)\), \(\widehat{u_0}\in L^1(\mathbb {R}^d)\), then
is a sufficient condition of blowup of solution of problem (1)–(2). Condition (19) is equivalent to a large value of the Morrey space norm of \(u_0\)
(ii) Moreover, if \(1<p<p_{\mathrm{F}}\) where \(p_{\mathrm{F}}=1+\frac{\alpha }{d}\) is the so-called Fujita exponent, then each nontrivial nonnegative solution \(u\not \equiv 0\) blows up in a finite time.
Proof
(i) Clearly, for \(p>1\), if \(F(u)\asymp u^p\), that is \(F(u)\approx cu^p\) with some \(c>0\) as \(u\searrow 0\), so \(h(u)\approx \frac{1}{c(p-1)}u^{1-p}\), \(u\searrow 0\). Thus, \(h^{-1}(z)\approx z^{-\frac{1}{p-1}}\left( \frac{1}{c(p-1)}\right) ^{\frac{1}{p-1}}\) as \(z\rightarrow \infty \). Therefore, the sufficient condition for blowup (17) becomes
By the translational invariance of Eq. (1), condition (21) for \(u_0\ge 0\) is equivalent to \(\sup _{T>0}T^{\frac{1}{p-1}}\left\| \mathrm{e}^{T{{\mathcal {A}}}}u_0\right\| _{\infty }\gg 1.\)
On the other hand, according to [11, Theorem 1], for \(u_0\in L^1(\mathbb {R}^d)\) with \(\widehat{u_0}\in L^1(\mathbb {R}^d)\) and large \(t>0\), the semigroup \(\mathrm{e}^{t{{\mathcal {A}}}}\) applied to \(u_0\) can be well approximated by the semigroup \(\mathrm{e}^{-t(-\Delta )^{\alpha /2}}\) generated by the fractional power of the Laplacian \(-(-\Delta )^{\alpha /2}\)
while \(\left\| \mathrm{e}^{-t(-\Delta )^{\alpha /2}}u_0\right\| _{\infty }={{\mathcal {O}}}\left( t^{-\frac{d}{\alpha }}\right) \).
Next, we have the equivalence
where \(B^{-\kappa }_{\infty ,\infty }\) is the homogeneous Besov space of order \(-\kappa <0\). The above condition (23) is for \(u\ge 0\) equivalent to \(u\in M^{\frac{d}{\alpha \gamma }}(\mathbb {R}^d)\), the Morrey space of order \(\frac{d}{\alpha \gamma }\). For these issues, see the discussion in [15, Prop. 2B)] for \(\alpha =2\) and the argument in [16, Sec. 4, p. 667, proof of Prop. 2] for \(\alpha \in (0,2)\).
Finally, condition (21) is equivalent to
which is, in turn, equivalent for \(u_0\ge 0\) to condition (20) by the above remarks.
Note that for \(\mathrm{e}^{t{{\mathcal {A}}}}=\mathrm{e}^{-t(-\Delta )^{\alpha /2}}\) the assumptions on the initial data \(u_0\in L^1(\mathbb {R}^d)\) with \(\widehat{u_0}\in L^1(\mathbb {R}^d)\) can be relaxed to \(u_0\in L^1(\mathbb {R}^d)\cap L^\infty (\mathbb {R}^d)\).
Of course, condition (24) is quite general, and involves one free parameter \(T>0\). Particular examples of initial data considered in [1, Th. 2.3] leading to blowup of solutions do satisfy (24).
(ii) Rewriting the quantity in (24) as
we see that for each \(p<1+\frac{\alpha }{d}\) and \(\Vert u_0\Vert _{1}>0\), the upper bound equals \(\infty \) as claimed; remember relation (22). Above, the kernel of the semigroup \(\mathrm{e}^{-t(-\Delta )^{\alpha /2}}\) has the selfsimilar form \(P_{t,\alpha }(x,t)=t^{-\frac{d}{\alpha }}R\left( \frac{|x|}{T^\frac{1}{\alpha }}\right) \) with a smooth function R. This kernel satisfies the bound
see for instance [11, 16]. \(\square \)
The proof of (ii) for \(p\le p_{\mathrm{F}}\) and \(\mathrm{e}^{t{{\mathcal {A}}}}=\mathrm{e}^{-t(-\Delta )^{\alpha /2}}\), \(\alpha \in (0,2)\), is in [20]. A rather short new proof of the result (ii) for \(\alpha =2\) and \(p=p_{\mathrm{F}}\) is in [4].
These are counterparts of results in [4, Remark 7, Theorem 2] for the classical nonlinear heat equation. These, together with results of [8, Proposition 2.3], lead to the following result, similarly as was in [4, Corollary 11] for the Cauchy problem (6) with (2). For analogous questions for radial solutions of chemotaxis systems, see also [5].
Corollary 4
There exist two positive constants \(c(\alpha ,d,p)\) and \(C(\alpha ,d,p)\) such that if \(p>1+\frac{\alpha }{d}\) then
-
(i)
\(|\!\!|u_0|\!\!|_{M^{d(p-1)/\alpha }_q}<c(\alpha ,d,p)\) for some \(q\in \left( 1,\frac{d(p-1)}{\alpha }\right) \), implies that problem (6) with data (2) has a global in time, smooth solution which, moreover, satisfies the time decay estimate \(\Vert u(t)\Vert _\infty ={{\mathcal {O}}}\left( t^{-1/(p-1)}\right) \).
-
(ii)
\(|\!\!|u_0|\!\!|_{M^{d(p-1)/\alpha }}>C(\alpha ,d,p)\) implies that each nonnegative solution of problem (6) with the initial condition (2) blows up in a finite time.
It is of interest to estimate the discrepancy of these constants \(c(\alpha ,d,p)\) and \(C(\alpha ,d,p)\) compared to the Morrey space norm
of the singular stationary solution \(u_\infty >0\) of (6) which exists for \(p>1+\frac{\alpha }{d-\alpha }\); here
is the area of the unit sphere \({{\mathbb {S}}}^{d-1}\) in \({{\mathbb {R}}}^d\). This singular stationary solution \(u_\infty >0\) is homogeneous, see [8, Prop. 2.1],
with the constant
Note that asymptotically
with constants \(c_{\alpha ,p}\) independent of d.
Of course, there are many interesting behaviors of solutions (and still open questions) for the initial data of intermediate size satisfying
and/or suitable pointwise estimates comparing the initial condition \(u_0\) with the singular solution \(u_\infty \), see e.g., [8]. One of the results in this direction is [8, Theorem 2.6]: if \(\alpha \in (0,2)\), \(p>1+\frac{\alpha }{d-\alpha }(>1+\frac{\alpha }{d})\), \(u=u(x,t)\) is a solution of problem (6) with (2) and \(0\le u_0(x)\le u_\infty (x)\) (plus some qualitative assumptions like \(u_0\in M^{d(p-1)/\alpha }(\mathbb {R}^d)\cap M^{{\tilde{s}}}(\mathbb {R}^d)\) with \({\tilde{s}}>d(p-1)/\alpha \), \(\lim _{x\rightarrow 0}|x|^\frac{\alpha }{p-1}u(x,t)=\lim _{x\rightarrow \infty }|x|^\frac{\alpha }{p-1}u(x,t)=0\), uniformly in \(t\in (0,T)\)), then u can be continued to a global in time solution which still satisfies the bound \(0\le u(x,t)\le u_\infty (x)\).
These are natural extensions of properties of the Cauchy problem (5) with (2) studied in, e.g., [4, 17, 18].
Once again, here it should be stressed on the fact that conditions on initial data guaranteeing local-in-time existence of solutions of Eq. (5) derived in [2] but motivated by [3], and then interpreted in [4] as a bound on the Morrey space \(M^{d(p-1)/2}(\mathbb {R}^d)\) norm, are qualitatively close to those above even if they involve \(M^s_q(\mathbb {R}^d)\) spaces with any \(q>1\), see also [4, Remark 3.4], [18, Proposition 6.1].
3 Estimates of discrepancy
Similarly to the considerations in [9] on blowup for radial solutions of chemotaxis systems, we determine asymptotic (with respect to the variable of dimension \(d\rightarrow \infty \)) discrepancy between bounds in sufficient conditions for blowup either in terms of multiple of the singular solution or in terms of critical value of the radial concentration (and therefore of the Morrey norm) of the initial data for the model problem (6) with data (2).
Theorem 5
(i) For each \(\alpha \in (0,2]\) and \(p>1+\frac{\alpha }{d}\) there exists a constant \(\nu _{\alpha ,p}\) independent of the dimension d such that if \(N>\nu _{\alpha ,p}\), then each solution of the Cauchy problem (6) with data (2) in \(\mathbb {R}^d\) with the initial data \(u_0(x)\ge N u_\infty (x)\) blows up in a finite time.
(ii) For \(\alpha =2\) and \(p>1+\frac{2}{d}\) there exists a constant \(\kappa _{2,p}\) independent of d such that if the \(\frac{d(p-1)}{2}\)-radial concentration of \(u_0\ge 0\) defined by
satisfies
with some \(\kappa >\kappa _{2,p}\) then each solution of (6) with (2) in \(\mathbb {R}^d\) blows up in a finite time.
(iii) For \(\alpha \in (0,2)\) and \(p>1+\frac{\alpha }{d}\)(\(p>1+\frac{\alpha }{d-2}\) so that \(d\ge 3\)) there exists a constant \(\kappa _{\alpha ,p}\) independent of d such that if the \(\frac{d(p-1)}{\alpha }\)-radial concentration of \(u_0\ge 0\) defined by
satisfies
with \(\kappa >\kappa _{\alpha ,p}\) then each solution of (6) with (2) blows up in a finite time.
Remark 6
The \(\frac{d(p-1)}{\alpha }\)-radial concentration defined in (32) is comparable with the Morrey norm in \(M^{{d(p-1)}/{\alpha }}(\mathbb {R}^d)\)
However, the comparison constant \(c_d\) depends heavily on d, cf. [6, Proposition 7.1]).
Proof
A more detailed analysis of condition (21) reveals that
is a sufficient condition for blowup, with some constant \(c_{\alpha ,p}>0\)independent of d. For \(\alpha =2\) we simply have \(c_{2,p}=\left( \frac{1}{p-1}\right) ^{\frac{1}{p-1}}\), see [4].
First, we compute
The last two lines follow using the relation
see e.g. [21], which is an immediate consequence of the Stirling formula
Next, for \(\alpha \in (0,2)\) we need a dimension-free representation of the kernel of the semigroup \(\mathrm{e}^{-t(-\Delta )^{\alpha /2}}\) using the Bochner subordination formula, cf. [22, Ch. IX.11]
with some functions \(f_{t,\alpha }(\lambda )\ge 0\)independent of d. In fact, the subordinators \(f_{t,\alpha }\) satisfy \( \mathrm{e}^{-ta^\alpha }=\int _0^\infty f_{t,\alpha }(\lambda )\mathrm{e}^{-\lambda a}\,\mathrm{d}\lambda , \) so that they have selfsimilar form \(f_{t,\alpha }(\lambda )=t^{-\frac{1}{\alpha }}f_{1,\alpha }\left( \lambda t^{-\frac{1}{\alpha }}\right) \).
Then, we have extensions of the previous computations
by representation (39), relations (29) and (37).
Using relations (36), (40) and the comparison principle for Eq. (6), we see that
suffices to a finite time blowup, thus (i) follows since the bound for \(K_{\alpha ,p}(d)\) is d-independent.
(ii) Now, let us compute the asymptotics of the expression in condition (21) for \(\alpha =2\) and the normalized Lebesgue measure \(\mathrm{d}S\) on the unit sphere \({{\mathbb {S}}}^{d-1}\)
Indeed, for \(\frac{d}{2}>\frac{1}{p-1}\) the quantity \(\max _{t>0}t^{\frac{1}{p-1}-\frac{d}{2}}\mathrm{e}^{-1/4t}\) is attained for \(t_0=\left( 4\left( \frac{d}{2}-\frac{1}{p-1}\right) \right) ^{-1}\), and then relation (37) is used.
(iii) For \(\alpha \in (0,2)\), instead of (31) an analogous sufficient condition is of different order than for \(\alpha =2\), namely the following
with a constant \(\kappa _{\alpha ,p}\)independent of d. Indeed, for the normalized Lebesgue measure \(\mathrm{d}S\) on the unit sphere \({{\mathbb {S}}}^{d-1}\) we have an upper bound for the quantity
since representation (39), formulas (26) and (37) hold.
For the derivation of an asymptotic lower bound on the quantity \(L_{\alpha ,p}(d)\), begin with the observation that for \(\beta =\frac{d}{2}-\frac{\alpha }{2(p-1)}-1\) (\(\beta >0\) since \(p>1+\frac{\alpha }{d-2}\))
holds by (38). Now, let \(h\asymp d^{\frac{1}{2}}\). It is easy to check that
for some \(\eta >0\), uniformly in d. Indeed,
From formulas (43) and (44) we infer
Therefore the relation \(L_{\alpha ,p}(d)\asymp \frac{1}{\sigma _d}d^{-\frac{\alpha }{2(p-1)}}\) holds. This is an estimate of optimal order and different from its counterpart for \(\alpha =2\). Now, it is clear that a sufficient condition for blowup is satisfied if
with either \(N=\kappa \sigma _dd^{1/(p-1)}\) if \(\alpha =2\) or \(N=\kappa \sigma _dd^{\alpha /2(p-1)}\) if \(\alpha \in (0,2)\). \(\square \)
4 Concluding remarks
The classical idea of the proof of blowup of solutions by Fujita [12] has been applied in the wider context of problems with general linear diffusion operators and convex nonlinearities leading to qualitatively simple sufficient conditions for blowup in problems with nice approximative scaling properties.
For more classical problems involving diffusions defined by either the Laplacian or its fractional powers, these conditions have been compared with results guaranteeing the existence of global solutions. The discrepancies between bounds on quantities determining local/global behavior of solutions have been estimated.
References
Alfaro, M.: Fujita blow up phenomena and hair trigger effect: the role of dispersal tails. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 34, 1309–1327 (2017)
Andreucci, D., DiBenedetto, E.: On the Cauchy problem and initial traces for a class of evolution equations with strongly nonlinear sources. Ann. Sc. Norm. Super. Pisa. Cl. Sci., IV. Ser. 18, 363–441 (1991)
Baras, P., Pierre, M.: Critère d’existence de solutions positives pour des équations semi-linéaires non monotones. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 2, 185–212 (1985)
Biler, P.: Blowup versus global in time existence of solutions for nonlinear heat equations. Topol. Methods Nonlin. Analysis 52, 147–160 (2018)
Biler, P.: Singularities of Solutions to Chemotaxis Systems. Series in Mathematics and Life Sciences. De Gruyter (in preparation)
Biler, P., Karch, G., Zienkiewicz, J.: Large global-in-time solutions to a nonlocal model of chemotaxis. Adv. Math. 330, 834–875 (2018)
Biler, P., Karch, G., Pilarczyk, D.: Global radial solutions in classical Keller-Segel chemotaxis model, 1–20, submitted. arXiv:1807.02628
Biler, P., Pilarczyk, D.: Around a singular solution of a nonlocal nonlinear heat equation, 1–20, NoDEA, Nonlinear Differ. Equ. Appl. (2019). https://doi.org/10.1007/s00030-019-0552-z
Biler, P., Zienkiewicz, J.: Blowing up radial solutions in the minimal Keller-Segel chemotaxis model, 1–20. J. Evol. Equ. (2018). https://doi.org/10.1007/s00028-018-0469-8
Burczak, J., Granero-Belinchón, R.: Global solutions for a supercritical drift-diffusion equation. Adv. Math. 295, 334–367 (2016)
Chasseigne, E., Chaves, M., Rossi, J.D.: Asymptotic behavior for nonlocal diffusion equations. J. Math. pures appl. 86, 271–291 (2006)
Fujita, H.: On the blowing up of solutions of the Cauchy problem for \(u_t=\Delta u+u^{1+\alpha }\). J. Fac. Sci. Univ. Tokyo Sect. I(13), 109–124 (1966)
García-Melián, J., Quirós, F.: Fujita exponents for evolution problems with nonlocal diffusion. J. Evol. Equ. 10, 147–161 (2010)
Laister, R., Robinson, J.C., Sierżȩga, M., Vidal-López, A.: A complete characterisation of local existence for semilinear heat equations in Lebesgue spaces. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 33, 1519–1538 (2016)
Lemarié-Rieusset, P.-G.: Small data in an optimal Banach space for the parabolic-parabolic and parabolic-elliptic Keller–Segel equations in the whole space. Adv. Diff. Eq. 18, 1189–1208 (2013)
Lemarié-Rieusset, P.-G.: Sobolev multipliers, maximal functions and parabolic equations with a quadratic nonlinearity. J. Funct. Anal. 274, 659–694 (2018)
Quittner, P., Souplet, P.: Superlinear parabolic problems. Blow-up, global existence and steady states. Birkhäuser Advanced Texts, Basel (2007)
Souplet, Ph: Morrey spaces and classification of global solutions for a supercritical semilinear heat equation in \({\mathbb{R}}^n\). J. Funct. Anal. 272, 2005–2037 (2017)
Souplet, Ph, Weissler, F.B.: Regular self-similar solutions of the nonlinear heat equation with initial data above the singular steady state. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 20, 213–235 (2003)
Sugitani, S.: On nonexistence of global solutions for some nonlinear integral equations. Osaka J. Math. 12, 45–51 (1975)
Tricomi, F.G., Erdélyi, A.: The asymptotic expansion of a ratio of Gamma functions. Pac. J. Math. 1, 133–142 (1951)
Yosida, K.: Functional Analysis, 6th edn. Springer, Berlin (1980)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by A. Constantin.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author, partially supported by the NCN Grant 2016/23/B/ST1/00434, thanks Philippe Souplet and Mikołaj Sierżȩga for many interesting conversations and the referees for helpful comments.
Rights and permissions
OpenAccess 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
Biler, P. Blowup of solutions for nonlinear nonlocal heat equations. Monatsh Math 189, 611–624 (2019). https://doi.org/10.1007/s00605-019-01269-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-019-01269-7