Abstract
We derive an adaptation of Li and Yau estimates for positive solutions of semilinear heat equations on Riemannian manifolds with nonnegative Ricci tensor. We then apply these estimates to obtain a Harnack inequality and to discuss monotonicity, convexity, decay estimates and triviality of ancient and eternal solutions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We show some Li and Yau estimates (see [7]) for positive solutions of semilinear heat equations \(u_t = \Delta u + u^p\) in \(\mathbb R^n\), or in a complete Riemannian manifold (M, g) with nonnegative Ricci tensor, where \(p>0\) and we derive an associated Harnack inequality. Similar results can be found in the papers [6, 21].
We will then discuss the application of these inequalities and methods to the analysis of positive classical ancient and eternal solutions. We call a solution
-
ancient if it is defined in \(M\times (-\infty ,T)\) for some \(T\in \mathbb R\),
-
immortal if it is defined in \(M\times (T,+\infty )\) for some \(T\in \mathbb R\),
-
eternal if it is defined in \(M\times \mathbb R\).
Furthermore, we call a solution u static if is independent of time (i.e., \(u(x,t)=u(x)\), hence it satisfies \(\Delta u + u^p=0\)); trivial if it is constant in space (that is, \(u(x,t)=u(t)\) and solves the ODE \(u'=u^p\)). We say that u is simply constant if it is constant in space and time.
Notice that positive ancient (trivial) solutions always exist (by solving the corresponding ODE), while being eternal is quite restrictive: for instance, by an easy maximum principle argument, if M is compact and u is eternal then \(u\equiv 0\) (see [1, Corollary 2.2], for instance). In the noncompact situation, this is not true: the following “Talenti’s function” [20]
on \(\mathbb R^6\) satisfies \(\Delta u + u^2 = 0\), in particular u is a nonzero eternal solution of \(u_t=\Delta u + u^2\).
A reason for the interest in ancient or eternal solutions is that they typically arise as blow-up limits when the solutions of semilinear parabolic equations (in bounded intervals) develop a singularity at a certain time (i.e., the solution becomes unbounded). They also appear naturally and play a key role in the analysis of mean curvature flow and of Ricci flow (from which we get several suggestions), which are also described by (much more complicated systems of) parabolic PDEs. In such cases, the solutions are respectively, evolving hypersurfaces and abstract Riemannian manifolds. Analyzing their properties and eventually classifying them lead to understand the behavior of the solutions close to the singularity or even (in very lucky situations, notably the motion by curvature of embedded curves in the plane and the 2-dimensional Ricci flow) to actually exclude the formation (existence) of singularities. Moreover, this analysis can also be used to get uniform (universal) estimates on the “rate” a solution (or some related quantity) becomes unbounded at a singularity. Indeed (roughly speaking), typically a “faster” rate implies that performing a blow-up at a singularity, we obtain a bounded, nonzero, nonconstant, eternal solution, while with the slower “standard” natural rate, we get an ancient solution (immortal solutions are usually less significant). This has been done, for example, by Poláčik, Quittner and Souplet through “universal estimates” for semilinear equations in \(\mathbb R^n\) (see [13, 14]) or by Hamilton through a technique of “smart point picking”, which is more suitable for geometric flows (see [5]).
For instance, excluding the existence of bounded, positive, nonconstant, eternal solutions to the equation \(u_t = \Delta u + u^p\) in \(\mathbb R^n\times \mathbb R\), we have a (universal, up to a constant) \(L^\infty\) bound from above on every solution, approaching the singular time T.
We will see how from the Li and Yau estimates (holding for the exponent p in a suitable range), one can exclude the existence of such eternal solutions. Instead, unfortunately, even if we obtain some strong properties (pointwise monotonicity and convexity in time) of ancient solutions on Riemannian manifolds with nonnegative Ricci tensor (for suitable exponents p), we are still not able to show the “natural” conjecture that they are trivial, constant in space, as it is known when the ambient is \(\mathbb R^n\), by a result of Merle and Zaag [11].
There is a quite large literature on the subject, for a rather complete account we refer the interested reader to the paper of Souplet and Zhang [19] as well as the book of Quittner and Souplet [17]. Very important developments for the Euclidean case (some of them very recent) are obtained in [14,15,16], while some extensions to the case of Riemannian manifolds can be found in [6, 21, 22].
We mention that all the conclusions also hold for ancient solutions of \(u_t = \Delta u + |u|^p\), without assuming their positivity, by the following theorem.
Theorem
(Theorem 2.6 in [1]) Let (M, g) be a complete Riemannian manifold with Ricci tensor uniformly bounded below and let u be an ancient solutions of \(u_t = \Delta u + |u|^p\), then either \(u\equiv 0\) or \(u>0\) everywhere.
In the whole paper the Riemannian manifolds (M, g) will be smooth, complete, connected and without boundary. We will denote with \(\Delta\) the associated Laplace–Beltrami operator. As it is standard, we will write \({\mathrm {Ric}}\ge 0\) and we will say that the Ricci tensor is nonnegative with the meaning that all its eigenvalues are nonnegative. Finally, all the solutions we will consider are classical, \(C^2\) in space and \(C^1\) in time.
2 Li and Yau-type estimates for semilinear heat equations
We now prove some Li and Yau-type estimates for positive solutions of the semilinear heat equation \(u_t = \Delta u + u^p\) with \(p>1\), on a complete n-dimensional Riemannian manifold (M, g) with nonnegative Ricci tensor \({\mathrm {Ric}}\).
For the sake of simplicity and more clarity we first assume that M is compact.
Let \(u:M\times [0,T)\rightarrow \mathbb R\) be a positive solution of \(u_t = \Delta u + u^p\), then setting \(f=\log u\), we have
We consider \(\alpha ,\beta \in [0,1]\) and after defining
we compute, for \(t>0\),
By the nonnegativity of the Ricci tensor there holds \(\nabla f\Delta \nabla f\ge \nabla f\nabla \Delta f\) and using the inequality \(\vert \mathrm {Hess}\, f\vert ^2\ge (\Delta f)^2/n\), we have, as
Hence, at a point where \(F\le 0\) we conclude
provided that
Now we deal with the sum
where we set \(w=e^{(p-1)f}\ge 0\), and we see that the minimum of this quadratic in w is given by
Hence, after substituting in the above formula and using Hamilton’s trick (see [4] or [8, Lemma 2.1.3]), being M compact we get
at almost every \(t>0\), where \(F_{\min }\le 0\) and we set
If now \(\varepsilon\) is positive, that is,
when \(F_{\min }\le -1/\varepsilon\), we have \(\frac{\mathrm{d}\,}{\mathrm{d}t}F_{\min }(t)>0\). Since \(F_{\min }(0)=0\), this implies (“integrating” this differential inequality) that \(F_{\min }\ge -1/\varepsilon\), hence
for every \(x\in M\) and \(t>0\). That is,
or
Now the point is to find out for what exponents \(p>1\) (depending on the dimension n) there exists constants \(\alpha ,\beta \in [0,1]\) satisfying conditions (2.2) and (2.4), that is,
We find that these conditions are satisfied
-
for \(n\le 3\), for every \(p<8/n\) (choosing \(\alpha =1\) and \(\beta =1/p\) ) and for no \(p\ge 8/n\),
-
for \(n\ge 4\) (by using MathematicaTM, see the “Appendix”), for every and only
$$\begin{aligned} p<\frac{3n+4+3\sqrt{n(n+4)}}{2(3n-4)} \end{aligned}$$and some \(\alpha ,\beta \in (0,1)\) (notice the right side is larger than 8/n ).
Definition 2.1
Given \(p>1\), we define \(\overline{p}_n=8/n\) for \(n\le 3\) and
for \(n\ge 4\).
We say that \(\alpha \in (0,1]\) and \(\beta \in [0,1)\) are “admissible” for \(p\in (1,\overline{p}_n)\) if they satisfy the two conditions (2.2) and (2.4), in such case we define \(\varepsilon (n,p,\alpha ,\beta )\) as in formula (2.3).
Remark 2.2
It must be \(\alpha >0\) and \(\beta <1\), otherwise condition (2.4) would imply \(p<1\). Moreover, notice that for every \(p\in (1,\overline{p}_n)\) there is always an admissible pair \((\alpha ,\beta )\) with \(\beta \not =0\).
We deal now with the general case where (M, g) is complete with \({\mathrm {Ric}}\ge 0\).
We consider \(p\in (1,\overline{p}_n)\), with a relative admissible pair of constants \((\alpha ,\beta )\) as above in the compact case. It is easy to see (by continuity) that if \(a\in (0,\alpha )\) is sufficiently close to \(\alpha\), the pair \((a,\beta )\) is still admissible for p, then we define a slightly perturbed function F,
with \(0<a<\alpha\). Repeating the previous computations (2.1) in the compact case, we have
since condition (2.2) holds, with a in place of \(\alpha\).
We now want to compute the evolution equation of a “localization” of the function \(F_a\), for \(a >1\). We consider the following cut-off functions (of Li and Yau [7]): let \(\psi :[0,+\infty )\rightarrow \mathbb R\) be a smooth function satisfying:
-
(1)
\(\psi (s)=1\) if \(s\in [0,1]\) and \(\psi (s)=0\) if \(s\in [2,+\infty )\),
-
(2)
\(-C_1\le \psi '(s)\le 0\) for every \(s\in [0,+\infty )\), that is \(\psi\) is nonincreasing,
-
(3)
\(|\psi ''(s)|\le C_2\) for every \(s\in [0,+\infty )\),
-
(4)
\(|\psi '(s)|^2/\psi (s)\le C_3\) for every \(s\in [0,+\infty )\) such that \(\psi (s)\not =0\),
for some positive constants \(C_1,C_2,C_3\). Then, fixed \(x_0\in M\) and \(R>0\), denoting with \(r=r(x)\) the distance function from the point \(x_0\) in (M, g), we define \(\varphi (x)=\psi \bigl (\frac{r(x)}{R}\bigr )\).
We clearly have \(\nabla \varphi (x)=\psi '\bigl (\frac{r(x)}{R}\bigr )\frac{\nabla r(x)}{R}\), hence
when \(\nabla \varphi\) exists (almost everywhere), being \(\vert \nabla r(x)\vert ^2=1\).
Thanks to the nonnegativity assumption on the Ricci tensor, by the Laplacian comparison theorem (see [12, Chapter 9, Section 3.3] and also [18]), if \({\mathrm {Ric}}\ge 0\), we have
for every \(x\in M\) in the sense of support functions (or in the sense of viscosity, see [2]—check also [10, Appendix A] for comparison of the two notions), in particular, this inequality can be used in maximum principle arguments, see again [12, Chapter 9, Section 3], for instance. Hence, we have \(\Delta \varphi (x)=0\) if \(r(x)\le R\) and
if \(r(x)\ge R\). Thus, we have the general estimate on the whole M (in the sense of support functions) \(\Delta \varphi (x)\ge -{C_4}/{R^2}\).
Then, setting \(Q (x,t) = \varphi (x) F_a (x,t)\), we compute (using formula (2.6) and the inequalities above)
Arguing as before, setting \(Q_{\min }(t)=\min _{x\in M}Q(x,t)\), we have \(Q_{\min }(0)=0\) and
at every point x where the minimum of Q is achieved. Hence (recalling that \(a<\alpha \le 1\)), by Hamilton’s trick, at almost every \(t>0\) such that \(Q_{\min }(t)<0\) we have
where we used the fact that \(\vert \nabla \varphi \vert \le \sqrt{C_3\varphi }/{R}\), by inequality (2.7), and we set \(C_5=\sqrt{C_3}\), \(C_6=\frac{C_5na ^2}{4a(1-a)}>0\).
Setting \(y=\vert \nabla f\vert \sqrt{\varphi }\ge 0\), we see that the difference inside the last square brackets is given by \(y^2-2C_6y/R\), which is then larger or equal than \(-C_6^2/R^2\), hence
with \(C_7=C_4+2C_3+4a(1-a)C_6^2/na^2\). Now we deal with the sum
where we set \(w=e^{(p-1)f}\ge 0\), as in the compact case. The minimum of this quadratic in w is given by
where \(\varepsilon =\varepsilon (n,p,a ,\beta )\) is defined by equation (2.3) and it is positive, being the pair \((a,\beta )\) admissible for p (see condition (2.4)).
Then, substituting in the previous formula and collecting similar terms, we finally get
It follows, arguing as in the compact case that
where we used the fact that \(\varphi \le 1\), hence
for every \(x\in M\) and \(t>0\). Sending \(R\rightarrow +\infty\) (so that \(\varphi \equiv 1\) on M), we then have
that is,
and finally sending \(a \rightarrow \alpha ^-\), being \(a\mapsto \varepsilon (n,p,a,\beta )\) a continuous function, we get the same conclusion (2.5)
that is,
for every \(x\in M\) and \(t>0\), given any pair \((\alpha ,\beta )\) admissible for \(p\in (1,\overline{p}_n)\).
Hence, we obtained the following proposition.
Proposition 2.3
Let \(u:M\times [0,T)\rightarrow \mathbb R\) a classical positive solution of the equation \(u_t = \Delta u + u^p\) with \(p\in (1,\overline{p}_n)\), on an n-dimensional complete Riemannian manifold (M, g) with nonnegative Ricci tensor. Then, for every pair \((\alpha ,\beta )\) admissible for p, there holds
for every \(x\in M\) and \(t>0\).
Remark 2.4
By carefully inspecting the proof, we can see that it works also if \(p\in (0,1]\), moreover, we can choose \(\alpha =\beta =1\) (check the last term of inequality (2.1)), leading to the conclusion
for every \(x\in M\) and \(t>0\).
Remark 2.5
Easily, considering a suitable multiple of the solution, a conclusion analogous to Proposition 2.3 also holds for the positive solutions of the equation \(u_t = \Delta u + au^p\) with \(a\in \mathbb R\) positive constant.
3 Harnack inequality
We now derive the following Harnack inequality as a corollary of the semilinear Li and Yau estimates.
Proposition 3.1
Let \(u:M\times [0,T)\rightarrow \mathbb R\) a classical positive solution of the equation \(u_t = \Delta u + u^p\) with \(p\in (1,\overline{p}_n)\), on an n-dimensional complete Riemannian manifold (M, g) with nonnegative Ricci tensor. Then, for every pair \((\alpha ,\beta )\) admissible for p and \(\varepsilon =\varepsilon (n,p,\alpha ,\beta )\) as in formula (2.3), given any \(0<t_1<t_2\le T\) and \(x_1,x_2 \in M\), the following inequality holds
where
with \(\Gamma (x_1,x_2)\) given by all the paths in M parametrized by [0, 1] joining \(x_2\) to \(x_1\). In particular, since \(u \ge 0\), we have the following bound
Proof
We start with the inequality for \(\log u\) that we derived in Sect. 2,
Then, let \(\gamma :[0.1]\rightarrow M\) be any curve such that \(\gamma (0) = x_2\) and \(\gamma (1) = x_1\) and consider the path \(\eta :[0,1]\rightarrow M\times [t_1,t_2]\) defined as \(\eta (s)= (\gamma (s), (1-s)t_2+st_1)\). Notice that \(\eta (0)= (x_2, t_2)\) and \(\eta (1)= (x_1, t_1)\). Integrating along \(\eta\), thanks to estimate (3.1), we have
Taking the exponential of this estimate, we obtain the desired inequality. \(\square\)
4 Ancient and eternal solutions
Even if in the analysis of singularities of positive solutions of equation \(u_t = \Delta u + u^p\), which we briefly discuss in Sect. 6, only the eternal/ancient solutions in \(\mathbb R^n\) are relevant, it is clearly of interest discussing (and possibly determining all) such solutions also on a general Riemannian manifold.
Let \(u:M\times (-\infty ,T)\rightarrow \mathbb R\) be a classical, positive, ancient solution of \(u_t = \Delta u + u^p\), with \(p\in (0,\overline{p}_n)\), where (M, g) is a complete n-dimensional Riemannian manifold with nonnegative Ricci tensor.
By repeating the argument of the previous sections (or “translating” the solution) with \(t-T_0\) in place of t, for any \(T_0<T\), in the time interval \([T_0,T)\), we conclude that at every \(x\in M\) and \(t>T_0\) we have (estimate (2.8))
for every pair \((\alpha ,\beta )\) admissible for p, where \(\varepsilon >0\) is independent of x and t.
Hence, sending \(T_0\rightarrow -\infty\), we conclude
for every \(x\in M\) and \(t\in (-\infty ,T)\), if \(\beta >0\) (which can always be chosen, by Remark 2.2). Hence, we have the following consequence of Proposition 2.3.
Proposition 4.1
Let \(u:M\times (-\infty ,T)\rightarrow \mathbb R\) a classical, positive, ancient solution of the equation \(u_t = \Delta u + u^p\) with \(p\in (0,\overline{p}_n)\), on an n-dimensional complete Riemannian manifold (M, g) with nonnegative Ricci tensor. Then, there exist admissible pairs \(\alpha ,\beta \in (0,1)\) for p and for any of such pairs there holds
for every \(x\in M\) and \(t\in (-\infty ,T)\). In particular, for every fixed \(x\in M\) the function \(t\mapsto u(x,t)\) is monotone increasing.
The following conclusion for eternal solutions is then straightforward, since any (non-identically zero) solution must blow up in finite time.
Corollary 4.2
In the same hypotheses of this proposition, u is uniformly bounded above (in space and time) in every \(M\times (-\infty ,T')\), for any \(T'<T\). Moreover, the function \(t\mapsto \sup _{x\in M}u(x,t)\) is monotone increasing and
If the function u is an eternal nonnegative solution of \(u_t = \Delta u + u^p\), with \(p\in (0,\overline{p}_n)\), where (M, g) is a complete n-dimensional Riemannian manifold with nonnegative Ricci tensor, it must necessarily be identically zero.
For \(p>1\), by direct integration of inequality (4.1) we get the estimate
for some \(\overline{T}\ge T\) and \(C=(\beta (p-1))^{-\frac{1}{p-1}}\). This “universal” decay estimate for ancient solutions on manifolds with nonnegative Ricci tensor was previously known, thanks to Corollary 3.7 in [1], in the case of Riemannian manifolds with bounded geometry, but with a different proof based on a blow-up argument (see Sect. 6).
By the same blow-up argument (see [1, Theorem 3.6 and Corollaries 3.7, 3.8]) it can be shown that if in \(\mathbb R^n\), for a fixed \(p>1\), there are no nonzero, bounded, positive, eternal solutions of \(u_t = \Delta u + u^p\), then the same holds for every complete n-dimensional Riemannian manifold with bounded geometry (notice that nonnegativity of the Ricci tensor is not necessary).
In the Euclidean space, it is well known that nontrivial global radial (static) solutions on \(\mathbb {R}^n \times \mathbb {R}\) exist for any supercritical exponent \(p \ge p_S=\frac{n+2}{n-2}\), see for instance Proposition B at page 1155 in [3]. Conversely, while the triviality of eternal radial solutions can be shown in the full range of subcritical exponents \(1<p<\frac{n+2}{n-2}\) (see Theorem B at page 882 in [14]), the same expected result for general (not necessarily radial) solutions was known only in the range \(1<p< \frac{n(n+2)}{(n-1)^2}\) (see Theorem A page 882 in [14]). Indeed, such triviality when \(\frac{n(n+2)}{(n-1)^2} \le p< p_S\) was a quite long standing open problem (see [13, 14]), which has been finally settled by Quittner for every \(p>1\) when \(n\le 2\) in [15] and, very recently, for any \(p< p_S\) when \(n\ge 3\) in [16].
Then, by such optimal result of Quittner, in the general case of a Riemannian manifold, we can extend the triviality result for eternal solutions to Riemannian manifolds with bounded geometry (see Corollary 3.8 in [1]).
Unfortunately, our bound \(\overline{p}_n\) on the exponent p is actually smaller than \(\frac{n(n+2)}{(n-1)^2}\), for every \(n\ge 2\), but larger than \(\frac{n}{n-2}\) (which appears in [15]) when \(n\ge 4\) (see the computation in the “Appendix”).
Turning our attention to the (only) ancient solutions of \(u_t = \Delta u + u^p\) on a complete, n-dimensional Riemannian manifold with nonnegative Ricci tensor, we first notice that if \(p\le 1\), we have seen in Remark 2.4 that we can choose \(\alpha =\beta =1\), hence
that is,
If M is compact, this clearly implies that every ancient, positive solution is trivial.
Not much is known, in a general Riemannian manifold, when \(p>1\). By the work of Merle and Zaag [11] (and the above results of Quittner), it follows that in \(\mathbb R^n\), if \(1<p< p_S=\frac{n+2}{n-2}\) when \(n\ge 3\), or for every \(p>1\) if \(n\le 2\), any ancient, positive solution is trivial. We conjecture that this holds in general.
Conjecture 4.3
For any complete, n-dimensional Riemannian manifold (M, g) with bounded geometry, if \(p< p_S=\frac{n+2}{n-2}\) when \(n\ge 3\), or for every \(p>0\) if \(n\le 2\), any ancient, positive solution of \(u_t = \Delta u + u^p\) is trivial.
The line of [11] is (at least apparently) difficult to be generalized to manifolds, possibly requiring in the computations/estimates the (quite restrictive) assumptions of parallel Ricci tensor and nonnegative sectional curvature. Anyway, for a compact Riemannian manifold with \({\mathrm {Ric}}>0\), we were able to obtain the triviality of ancient solutions in the same range of exponents \(0\le p<p_S\) (by the discussion above and Theorem 1.2 in [1], in combination with the results of Quittner). In the next section we are trying to find out some other properties of ancient solutions.
5 Convexity in time and monotonicity of the gradient
The aim of this section is to discuss further qualitative properties of ancient, positive solutions of \(u_t = \Delta u + u^p\), that can be derived analogously as the previous Li and Yau type inequalities.
We now show that any ancient solution, apart from being monotone in time, as proved in Proposition 4.1, is also convex in time, i.e., \(\partial ^2_t u > 0\), provided \(n\ge 5\). Without loss of generality, we assume that M is compact, since the noncompact case can be treated, as in the second part of Sect. 2, through a cut-off argument.
Let \(u:M\times (-\infty ,T)\rightarrow \mathbb R\) a classical, positive, ancient solution of the equation
with \(p\in (0,\overline{p}_n)\), on an n-dimensional, \(n\ge 5\), complete Riemannian manifold (M, g) with nonnegative Ricci tensor. From Proposition 4.1, for some admissible \(0<\alpha ,\beta <1\), we proved
In particular, the function
is positive and satisfies
where we set \(h=p u^{p-1}\). Let now \(f= \log v\) and, observing that
we easily see that f satisfies
We introduce, for every \(T_0<t<T\), the function
A simple computation shows the following
From the above equations, using \({\mathrm {Ric}}\ge 0\), we deduce
Notice that
which can be plugged above to get
Now we see that
Moreover, by direct computation,
and
whence, using the equation for u and inequality (5.1), we have
Hence, plugging everything in estimate (5.2) we finally get
Let us first observe that \(\alpha >\beta\) (see the “Appendix”). We claim that the quantity
is nonnegative. Notice that
for all \(\theta >0\). Thus we obtain
Choosing
we get
Using (again) MathematicaTM (see the “Appendix”), we have that the coefficient in the right hand side is nonnegative, hence \(Q\ge 0\), if \(n\ge 5\), \(\alpha\) and \(\beta\) are admissible and \(p<\overline{p}_{n}\). Thus, at a minimum point of F with \(F\le 0\), we have
and, by maximum principle,
which implies
Then, recalling that \(f= \log u_t\), we finally obtain
In particular, since \(\alpha ,\beta > 0\), we have
Letting \(T_0\rightarrow -\infty\), we conclude that at every \(x\in M\) and \(t<T\) we have \(\partial ^2_t u > 0\), for every pair \((\alpha ,\beta )\) admissible for p. Therefore, we have showed the following proposition.
Proposition 5.1
Let \(u:M\times (-\infty ,T)\rightarrow \mathbb R\) a classical, positive, ancient solution of the equation \(u_t = \Delta u + u^p\) with \(p\in (0,\overline{p}_n)\), on an n-dimensional, \(n\ge 5\), complete Riemannian manifold (M, g) with nonnegative Ricci tensor. Then, there exist admissible pairs \(\alpha ,\beta \in (0,1)\) for p and for any of such pairs there holds
for every \(x\in M\) and \(t\in (-\infty ,T)\). In particular, for every fixed \(x\in M\) the function \(t\mapsto u(x,t)\) is convex.
Remark 5.2
If the ambient is \(\mathbb R^n\) and \(u:\mathbb {R}^n\times (-\infty ,T)\rightarrow \mathbb R\) a classical, positive, ancient solution of the equation
on \(\mathbb {R}^n\), with \(p\in (0,\overline{p}_n)\), letting \(u_m = \partial _{x_m} u\), \(m=1,..,n\), be any spatial derivative of u, we observe that
where \(h= p u^{p-1}\), so that
Thus, we consider, for \(\varepsilon >0\), the function \(f_\varepsilon = \frac{1}{2} \log (u_{m}^{2} + \varepsilon )\). By direct computation we see that \(f_\varepsilon\) satisfies
whenever \(u_m \ne 0\), with \(\psi _\varepsilon = -\frac{\varepsilon }{u_m^2 + \varepsilon }\) and \(\phi _\varepsilon = -\frac{\varepsilon }{u_m^2}\). We introduce
In order to prove that \(F_\varepsilon \ge -C\) for some \(C>0\), we notice that if \(u_m = 0\), then \(f_\varepsilon\) achieves a (global) minimum point, so that \(\Delta f_\varepsilon \ge 0\), which in turn implies \(F_\varepsilon \ge 0\) by this equation. Hence, without loss of generality, we can suppose that \(u_m^2 >0\), which implies that the perturbations \(\psi _\varepsilon\) and \(\phi _\varepsilon\), as well as all of their derivatives, tend to zero uniformly as \(\varepsilon \rightarrow 0\). In this way, if for \(\varepsilon = 0\) we let \(f=f_0\) and \(F=F_0\), we have that
with \(R(\varepsilon )\rightarrow 0\) as \(\varepsilon \rightarrow 0\). Observe now that \(R(\varepsilon )\) is smooth whenever \(u_m \ne 0\) and that all of its derivatives tend to zero as \(\varepsilon \rightarrow 0\). Thus, we can omit the remainder \(R(\varepsilon )\) in the computations that we can perform as for the monotonicity of the time derivative \(u_t\) proved above, only with the spatial derivative \(\partial _{x_m} u\), \(m=1,..,n\) in place of \(u_t\). Following step by step the preceding computations, we then obtain the following fact.
Let \(u:\mathbb {R}^n\times (-\infty ,T)\rightarrow \mathbb R\) a classical, positive, ancient solution of the equation \(u_t = \Delta u + u^p\) with \(p\in (0,\overline{p}_n)\), on \(\mathbb {R}^n\), \(n\ge 5\). Then, for every fixed \(x\in \mathbb {R}^n\), the function \(t\rightarrow |\nabla u|^2 (x,t)\) is monotone increasing.
This could possibly be an initial step for an alternative line to show the Merle and Zaag result in [11] of triviality of ancient solutions in \(\mathbb R^n\).
6 Singularities, blow-up and eternal/ancient solutions in \(\mathbb R^n\)
Let \(u:M\times [0,T)\rightarrow \mathbb R\) a positive smooth solution of \(u_t = \Delta u + u^p\) on an n-dimensional Riemannian manifold (M, g), with \(p>1\), such that \(T<+\infty\) is the maximal time of existence. In this section we want to discuss, as in [14], the asymptotic behavior of a solution approaching the singular time T, by means of a slightly different blow-up technique, borrowed by the work of Hamilton about the Ricci flow [5] (and the mean curvature flow too).
Assuming that M is compact and u is uniformly bounded by some constant \(A>0\), we have the evolution equations,
which, by means of maximum principle, imply that \(u_t\) is also uniformly bounded (and \(\vert \nabla u\vert ^2\) too), then, for every \(x\in M\), the limit
exists and it is Lipschitz. Repeating the same (standard) argument for \(\vert \nabla ^k u\vert ^2\), for every \(k\in \mathbb N\), one can conclude that the limit map \(u_T\) is smooth (and the convergence \(u(\cdot ,t)\rightarrow u_T\) also), hence we can “restart” the solution by standard methods (see [9], for instance), getting a smooth solution in a larger time interval, in contradiction with the assumption that \(T<+\infty\) was the maximal time of existence.
From this discussion, we conclude that
moreover, such function \(u_{\max }:[0,T)\rightarrow \mathbb R\), which is locally Lipschitz, by maximum principle must satisfy distributionally (see [8, Section 2.1], for instance)
implying (after integration of this differential inequality) the estimate
which is the unique nonzero solution of the ODE \(u'=u^p\), hence the unique nonzero trivial ancient solution of \(u_t=\Delta u+u^p\), defined in the maximal interval \((-\infty ,T)\).
Notice, that by the same argument, applied to \(u_{\min }(t)=\min _{x\in M}u(x,t)\), satisfying \(u'_{\min }(t)\ge u_{\min }^p(t)\), excludes the possibility that \(T=+\infty\), if u is not identically zero, that is, there are no positive immortal solutions, if M is compact.
Then, we know that the following superior limit, in the case M is compact,
must be at least \(1/(p-1)\). Up to our knowledge, we do not know if the same estimate holds for complete-only manifold M (possibly with bounded geometry).
Assume that
Then, let us choose a sequence of times \(t_k\in [0,T-1/k]\) and points \(x_k\in M\) such that
This maximum goes to \(+\infty\) as \(k\rightarrow \infty\), indeed, if it is bounded by some constant C on a subsequence \(k_i\rightarrow \infty\), then for every \(t\in [0,T)\) we have that definitely \(t\in [0,T-1/k_i]\) and
for every \(x\in M\). This is in contradiction with the hypothesis (6.2).
This fact also forces the sequence \(t_k\) to converge to T as \(k\rightarrow \infty\). Indeed, if \(t_{k_i}\) is a subsequence not converging to T, we would have that the sequence \(u(x_{k_i},t_{k_i})^{p-1}\) is bounded, hence also
would be bounded.
Thus, we can choose an increasing (not relabeled) subsequence \(t_k\) converging to T, such that \(u(x_k,t_k)\) goes monotonically to \(+\infty\) and
Moreover, we can also assume that \(x_k\rightarrow \overline{x}\) for some \(\overline{x}\in M\).
We rescale now the Riemannian manifold (M, g) and the solution u as follows: for every \(k\in \mathbb N\), we consider on M the rescaled metric \(g_k=u^p(x_k,t_k)g\) and the function \(u_k: M\times I_k\rightarrow \mathbb R^{n+1}\), where
and \(u_k\) is the function given by
Then, there holds
where \(\Delta _k\) is the Laplacian associated to the Riemannian manifold \((M,g_k)\).
Hence, every \(u_k\) is still a solution of our equation on \((M,g_k)\) and on a different time interval \(I_k\). Moreover the following properties hold,
-
\(u_k(x_k,0)=1\),
-
for every \(\varepsilon >0\) and \(\omega >0\) there exists \(\overline{k}\in \mathbb N\) such that
$$\begin{aligned} \max _{x\in M} u_k(x,s)\le 1+\varepsilon \end{aligned}$$for every \(k\ge \overline{k}\) and \(s\in [-u(x_k,t_k)^2t_k,\omega ]\),
indeed (the first point is immediate), by the choice of the minimizing pairs \((x_k,t_k)\) we get
if
that is, if \(s\in I_k\). Then, assuming \(s\le \omega\) and k large enough, the claim follows as we know that \(u(x_k,t_k)^{p-1}(T-1/k-t_k)\rightarrow +\infty\).
If we now take a (subsequential) limit of these pairs manifold-solution, clearly the manifolds \((M,g_k)\) under the pointed convergence in \(x_k\) (see [12], for instance) converge to \(\mathbb R^n\) with its flat metric and the solutions \(u_k\) converge smoothly in every compact time interval of \(\mathbb R\) (by standard local uniform parabolic estimates—similar to the ones at the beginning of the section, for instance) to a smooth eternal solution \(u_\infty :\mathbb R^n\times \mathbb R\rightarrow \mathbb R\), bounded with all its derivatives of the same semilinear equation \(u_t=\Delta u+u^p\), notice indeed that the time interval of existence is the whole \(\mathbb R\), as \(\lim _{k\rightarrow \infty } I_k=(-\infty ,+\infty )\). Moreover, the function \(u_\infty\) takes its absolute maximum, which is 1, at time \(s=0\) at the origin of \(\mathbb R^n\), hence the limit flow is nonzero.
Since we know that for \(p<p_S=\frac{n+2}{n-2}\), by the works of Quittner [15, 16], such eternal solutions in \(\mathbb R^n\) do not exist, we can conclude that, for such range of exponents,
Hence, there exists a constant \(\overline{C}\) such that
for every \(x\in M\) and \(t\in [0,T)\).
In such situations, let us choose a sequence of times \(t_k\nearrow\) and points \(x_k\in M\) such that
(we can also assume that \(x_k\rightarrow \overline{x}\), for some \(\overline{x}\in M\)). Repeating the above blow-up procedure, that is, considering on M the rescaled metric \(g_k=u^p(x_k,t_k)g\) and the function
where
we get this time as a limit an ancient smooth solution \(u_\infty :\mathbb R^n\times \mathbb R\rightarrow \mathbb R\) of \(u_t=\Delta u+u^p\), defined in the time interval \((-\infty ,C)=\lim _{k\rightarrow \infty } I_k\). As \(u_k(x_k,0)=\max _{x\in M}u_k(x,0)=1\), we have \(u_\infty (0,0)=\max _{x\in \mathbb R^n}u_\infty (x,0)=1\) and moreover, since by estimate (6.1) we have
passing to the limit, we conclude
since
This clearly shows that the interval \((-\infty ,C)\) is maximal for \(u_\infty\) and \(u_\infty\) is nonzero.
If now we consider any \(\varepsilon >0\), there exists \(\overline{t}\in [0,T)\) such that
for every \(t\in (\overline{t},T)\) and \(x\in M\), hence
if \(s/u(x_k,t_t)^{p-1}+t_k\in (\overline{t},T)\), that is, if
Passing to the limit, we conclude that for every \(s\in (-\infty ,C)\) and \(x\in \mathbb R^n\), there holds
hence, by the arbitrariness of \(\varepsilon\)
for every \(x\in \mathbb R^n\) and \(s\in (-\infty ,C)\). Notice that equality holds at \(x=0\) and \(s=0\).
Then, we have
where the second inequality is an equality at \(s=0\).
By means of the result of Merle and Zaag [11], this solution \(u_\infty\) is actually trivial (that is, constant in space), hence
Being \(u_\infty (0,0)=1\), it follows that \(C=\frac{1}{p-1}\), hence
defined on \((-\infty ,1/(p-1))\), moreover
This clearly gives a “universal” asymptotic profile at a singularity of any solution.
References
Castorina, D., Mantegazza, C.: Ancient solutions of superlinear heat equations on Riemannian manifolds. Comm. Cont. Math. 23(3), 2050033 (16 pages) (2021)
Crandall, M.G., Ishii, H., Lions, P.-L.: User’s guide to viscosity solutions of second order partial differential equations. Bull. Am. Math. Soc. 27(1), 1–67 (1992)
Gui, C., Ni, W.M., Wang, X.: On the stability and instability of positive steady states of a semilinear heat equation in \({\mathbf{R}}^n\). Commun. Pure Appl. Math. 45(9), 1153–1181 (1992)
Hamilton, R.S.: Four-manifolds with positive curvature operator. J. Differ. Geom. 24(2), 153–179 (1986)
Hamilton, R.: The formation of singularities in the Ricci flow, Surveys in differential geometry, Vol. II (Cambridge, MA, 1993), International Press, Cambridge, MA, pp. 7–136 (1995)
Li, J.: Gradient estimates and Harnack inequalities for nonlinear parabolic and nonlinear elliptic equations on Riemannian manifolds. J. Funct. Anal. 100(2), 233–256 (1991)
Li, P., Yau, S.-T.: On the parabolic kernel of the Schrödinger operator. Acta Math. 156(3–4), 153–201 (1986)
Mantegazza, C.: Lecture Notes on Mean Curvature Flow, Progress in Mathematics, vol. 290. Birkhäuser/Springer Basel AG, Basel (2011)
Mantegazza, C., Martinazzi, L.: A note on quasilinear parabolic equations on manifolds. Ann. Sc. Norm. Sup. Pisa 11(5), 857–874 (2012)
Mantegazza, C., Mascellani, G., Uraltsev, G.: On the distributional Hessian of the distance function. Pac. J. Math. 270(1), 151–166 (2014)
Merle, F., Zaag, H.: Optimal estimates for blowup rate and behavior for nonlinear heat equations. Commun. Pure Appl. Math. 51(2), 139–196 (1998)
Petersen, P.: Riemannian geometry, second ed., Graduate Texts in Mathematics, vol. 171, Springer, New York (2006)
Poláčik, P., Quittner, P., Souplet, P.: Singularity and decay estimates in superlinear problems via Liouville-type theorems. I. Elliptic equations and systems. Duke Math. J. 139(3), 555–579 (2007)
Poláčik, P., Quittner, P., Souplet, P.: Singularity and decay estimates in superlinear problems via Liouville-type theorems. II. Parabolic equations. Indiana Univ. Math. J. 56(2), 879–908 (2007)
Quittner, P.: Liouville theorems for scaling invariant superlinear parabolic problems with gradient structure. Math. Ann. 364(1–2), 269–292 (2016)
Quittner, P.: Optimal Liouville theorems for superlinear parabolic problems. Duke Math. J. 170(6), 1113–1136 (2021)
Quittner, P., Souplet, P.: Superlinear parabolic problems. Blow-up, global existence and steady states., Birkhäuser Advanced Texts: Basel Textbooks, Birkhäuser Verlag, Basel (2007)
Sheng, W.: Laplacian, volume and Hessian comparison theorems. http://www.math.zju.edu.cn/swm/RG_Section_6.pdf (2009)
Souplet, P., Zhang, Q.S.: Sharp gradient estimate and Yau’s Liouville theorem for the heat equation on noncompact manifolds. Bull. Lond. Math. Soc. 38(6), 1045–1053 (2006)
Talenti, G.: Best constant in Sobolev inequality. Ann. Mat. Pura Appl. (4) 110, 353–372 (1976)
Wu, J., Yang, Y.-H.: Gradient estimates and Harnack inequality for a nonlinear parabolic equation on complete manifolds. Commun. Math. Stat. 1(4), 437–464 (2013)
Zhu, X.: Gradient estimates and Liouville theorems for nonlinear parabolic equations on noncompact Riemannian manifolds. Nonlinear Anal. 74(15), 5141–5146 (2011)
Acknowledgements
We would like to thank Giacomo Ascione for his help with MathematicaTM.
Funding
Open access funding provided by Università degli Studi di Napoli Federico II within the CRUI-CARE Agreement.
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.
Appendix
Appendix
With the next computation with MathematicaTM, we find the maximal exponent \(\overline{p}_n>1\), given in Definition 2.1 such that there exists admissible constants \(\alpha\) and \(\beta\). Moreover, we also check that \(\overline{p}_n\) is smaller than \(\frac{n(n+2)}{(n-1)^2}\) and larger than \(\frac{n}{n-2}\), for every \(n\ge 4\).
Here instead, we show that the previously found constants satisfy \(\alpha >\beta\) and that the coefficient in the right hand side of equation (5.3) is nonnegative.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Castorina, D., Catino, G. & Mantegazza, C. Semilinear Li and Yau inequalities. Annali di Matematica 202, 827–850 (2023). https://doi.org/10.1007/s10231-022-01261-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-022-01261-3