Abstract
In this paper we give both a historical and technical overview of the theory of Harnack inequalities for nonlinear parabolic equations in divergence form. We start reviewing the elliptic case with some of its variants and geometrical consequences. The linear parabolic Harnack inequality of Moser is discussed extensively, together with its link to two-sided kernel estimates and to the Li-Yau differential Harnack inequality. Then we overview the more recent developments of the theory for nonlinear degenerate/singular equations, highlighting the differences with the quadratic case and introducing the so-called intrinsic Harnack inequalities. Finally, we provide complete proofs of the Harnack inequalities in some paramount case to introduce the reader to the expansion of positivity method.
Access provided by Autonomous University of Puebla. Download chapter PDF
Similar content being viewed by others
Keywords
- Degenerate and singular parabolic equations
- Pointwise estimates
- Harnack estimates
- Weak solutions
- Intrinsic geometry
2010 Mathematics Subject Classification
1 Introduction
Generally speaking, given a class \({\mathcal C}\) of nonnegative functions defined on a set Ω, a Harnack inequality is a pointwise control of the form u(x) ≤ C u(y) for all \(u\in {\mathcal C}\) (with a constant independent of u) where the inequality holds for x ∈ X ⊆ Ω and y ∈ Y ⊆ Ω, (X, Y ) belonging to a certain family \({\mathcal F}\) determined by \({\mathcal C}\). Thus it takes the form
Given \({\mathcal C}\), one is ideally interested in maximal families \({\mathcal F}\). In this respect, certain properties of maximal families are immediate, e.g., if X ′⊆ X and \((X, Y)\in {\mathcal F}\), then \((X^{\prime }, Y)\in {\mathcal F}\). The so-called Harnack chain argument consists in the elementary observation that if both (X, Y ) and (Y ′, Z) belong to \({\mathcal F}\) and y 0 ∈ Y ∩ Y ′≠∅, then
hence we can add all such couples (X, Z) to \({\mathcal F}\) by considering the constant C 2. Other properties of \({\mathcal F}\) follow from the structure of \({\mathcal C}\): if, for instance, \({\mathcal C}\) is invariant by a suitable semi-group { Φ λ}λ>0 of domain transformations (meaning that \(u\in {\mathcal C}\, \Rightarrow \, u \circ \Phi _{\lambda }\in {\mathcal C}\) for all λ > 0), then \({\mathcal F}\) should also exhibits this invariance.
Formally, to a larger class \({\mathcal C}\) corresponds a smaller family \({\mathcal F}\) and the more powerful Harnack inequalities aim at “maximize” the two sets at once. Typically, \({\mathcal C}\) is the set of nonnegative solutions to certain classes of PDE in an ambient metric space Ω and \({\mathcal F}\) should at least cluster near each point of Ω (i.e. ∀P ∈ Ω, r > 0 there exists \((X, Y)\in {\mathcal F}\) such that both X and Y lie in the ball of center P and radius r). Another example is the class of ratios of nonnegative harmonic functions vanishing on the same set, giving rise to the so-called boundary Harnack inequalities. Given \({\mathcal C}\), searching for a suitable maximal family \({\mathcal F}\) such that (1.1) holds, informally takes the name of finding the right form of the Harnack inequality in \({\mathcal C}\). Rich examples of such instance arise in the theory of hypoelliptic PDE’s.
Historically, the first of such pointwise control was proved by Harnack in 1887 for the class \({\mathcal C}\) of nonnegative harmonic functions in a domain \(\Omega \subseteq \mathbb {R}^{2}\), with \({\mathcal F}\) being made of couples of identical balls well contained in Ω. Since then, extensions and variants of the Harnack inequality grew steadily in the mathematical literature, with plentiful applications in PDE and differential geometry. Correspondingly, its proof in the various settings has been obtained through many different points of view. To mention a few: the original potential theoretic approach, the measure-theoretical approach of Moser [70], the probabilistic one of Krylov-Safonov [58] and the differential approach of Li and Yau [65].
Many very good books and surveys on the Harnack inequality already exist (see e.g. [54]) and we are thus forced to justify the novelty of this one. Our main focus will be the quest for the right form \({\mathcal F}\) of various Harnack inequalities and, to this end, we will mainly deal with parabolic ones, which naturally exhibit a richer structure. Even restricting the theme to the parabolic setting requires a further choice, as the theory naturally splits into two large branches: one can either consider divergence form (or variational) equations, whose basic linear example is u t = div(A(x) Du), or equations in non-divergence form (or non-variational), such as u t = A(x) ⋅ D 2 u. While some attempts to build a unified approach to the Harnack inequality has been made (see [36]), structural differences seem unavoidable. Moreover, both examples have nonlinear counterparts and the corresponding theories rapidly diverge. We will deal with parabolic nonlinear equations in divergence form, referring to the surveys [49, 57] for the non-divergence theory.
Rather than simply collecting known result to describe the state of the art, we aim at giving both a historical and technical overview on the subject, with emphasis on the different proofs and approaches to the subject.
The first part, consisting in Sects. 2–4, will focus on the various form of (1.1), mentioning some applications and giving from time to time proofs of well-known facts which we found somehow hard to track in the literature. In particular, we will deal with the elliptic case in Sect. 2, with the linear parabolic Harnack inequality in Sect. 3 and with the singular and degenerate parabolic setting in Sect. 4. Here we will describe the so-called intrinsic Harnack inequalities, by which we mean a generalization of (1.1) where the sets X and Y also depend on u (or, equivalently, (1.1) holds in a restricted class \({\mathcal C}\) determined by non-homogeneous scalings).
The second part consists of the final and longest section, which is devoted to detailed proofs of the most relevant Harnack inequalities for equations in divergence form. Our aim is to obtain the elliptic and parabolic Harnack inequalities in a unified way, following the measure-theoretical approach of De Giorgi to regularity and departing from Moser’s one. This roadmap has been explored before (see [67] for an axiomatic treatment), but we push it further to gather what we believe are the most simple proofs of the Harnack inequalities up to date. Credits to the main ideas and techniques should be given to the original De Giorgi paper [18], the book of Landis [63] and the work of Di Benedetto and collaborators gathered in the monograph [31]. We will focus on model problems rather than on generality in the hope to make the proofs more transparent and attract non-experts to this fascinating research field.
2 Elliptic Harnack Inequality
2.1 Original Harnack
In 1887, the german mathematician C.G. Axel von Harnack proved the following result in [47].
Theorem 2.1
Let u be a nonnegative harmonic function in \(B_R(x_0)\subseteq \mathbb {R}^2\) . Then for all x ∈ B r(x 0) ⊂ B R(x 0) it holds
The estimate can be generalized to any dimension N ≥ 1 through the Poisson representation formula, resulting in
and the constants can be seen to be optimal by looking at the solutions u n of the Dirichlet problem on the ball B R with boundary data \(\varphi _{n}\to \delta _{x_{0}}\), |x 0| = R. However, the modern version of the Harnack inequality for harmonic functions is the following special case of the previous one.
Theorem 2.2
Let N ≥ 1. Then there exists a constant C = C(N) > 1, such that if u is a nonnegative, harmonic function in B 2r(x 0), then
The proof of this latter form of the Harnack inequality is an easy consequence of the mean value theorem. For the early historical developments related to the first Harnack inequality we refer to the survey [54].
The Harnack inequality has several deep and powerful consequences. On the local side, Harnack himself in [47] derived from it a precisely quantified oscillation estimate. Due to the ubiquity of this argument we recall its elementary proof. Let x 0 = 0 and
Both M 2r(u) − u and u − m 2r(u) are nonnegative and harmonic in B 2r, so (2.2) holds for them, resulting in
which added together give
Rearranging, we obtain
which is the claimed quantitive estimate of decrease in oscillation.
Removable singularity results can also be obtained through the Harnack inequality, as well as two classical convergence criterions for sequences of harmonic functions. At the global level, it implies Liouville and Picard type theorems. For example, Liouville’s theorem asserts that any globally defined harmonic function bounded from below must be constant, as can be clearly seen by applying (2.2) to \(u-\inf _{\mathbb {R}^N}u\) and letting r → +∞.
2.2 Modern Developments
In his celebrated paper [18], De Giorgi introduced the measure theoretical approach to regularity, proving the local Hölder continuity of weak solutions of linear elliptic equations in divergence form
with merely measurable, symmetric coefficients satisfying the ellipticity condition
The modern regularity theory descending from his ideas is a vast field and the relevant literature is huge. We refer to [69] for a general overview and bibliographic references; the monograph [43] contains the regularity theory of quasi-minima, while for systems one should see [61] and the literature therein.
Regarding the Harnack inequality, Moser extended in his fundamental work [70] its validity to solutions of (2.3).
Theorem 2.3
Suppose u ≥ 0 solves (2.3) in a ball B 2r(x 0) where (2.4) holds. Then there exists a constant C > 1 depending only on N and the ellipticity ratio Λ∕λ such that
Moser’s proof is also measure-theoretical, stemming from the De Giorgi approach but introducing pioneering new ideas. It relied on the John-Nirenberg Lemma [51] and certainly contributed to its diffusion in the mathematical community. Such a level of generality allowed to apply essentially the same technique for the general quasilinear equation
Indeed, in [81, 86], the same statement of the Harnack inequality has been proved for (2.5) instead of the linear equation (2.3), provided A satisfies for some p > 1 and Λ ≥ λ > 0 the ellipticity condition
The power of the measure-theoretical approach was then fully exploited in [25], where the Harnack inequality has been deduced without any reference to an elliptic equation, proving that it is a consequence of very general energy estimates of Caccioppoli type, encoded in what are the nowadays called De Giorgi classes. For a comprehensive treatment of the latters see [23].
2.3 Moser’s Proof and Weak Harnack Inequalities
Moser’s proof of the Harnack inequality is splitted in two steps:
-
(I) L p − L ∞ bound:Let u be a nonnegative subsolution of (2.3) in B 2r, i.e., u obeys − L(u) ≤ 0 weakly (supersolutions being defined through the opposite inequality). For any p > 0 it holds
(2.7)for some constant C = C(N, Λ∕λ, p). If on the other hand u is a positive supersolution, then u −1 is a positive subsolution, and (2.7) can be rewritten as
-
(II) Crossover Lemma. The Harnack inequality then follows if one has
(2.8)for some (small) \(\bar p=\bar p(N, \Lambda , \lambda )>0\). This is the most delicate part of Moser’s approach, and is dealt with the so-called logarithmic estimate. The idea is to prove a universal bound on \(\log u\), as suggested by the Harnack inequality itself. To this end, consider a ball B 2ρ(x 0) ⊆ B 2r and test the equation with u −1 η 2, η being a cutoff function in \(C^{\infty }_{c}(B_{2\rho }(x_{0}))\). This yields
$$\displaystyle \begin{aligned} \lambda \int_{B_{2\rho}(x_{0})}|Du|{}^{2}u^{-2}\eta^{2}\, dx \le 2\Lambda\int_{B_{2\rho}(x_{0})} |Du|\,u^{-1}\, |\eta| \, |D\eta|\, dx \end{aligned}$$with λ, Λ given in (2.4). Apply Young inequality on the right and note that we can assume |Dη|≤ c ρ −1 to get
(2.9)as long as η ≡ 1 in B ρ(x 0). The Poincaré inequality then implies
which means that \(\log u \in BMO(B_{2r})\). Then John-Nirenberg’s Lemma ensures
for some small \(\bar p=\bar p (N, \Lambda )>0\) and c = c(N), and inequality (2.8) follows by multiplying
In particular, Moser’s proof shows that a weaker form of Harnack inequality holds for the larger class of non-negative supersolutions to (2.3) in B 2r. Namely, the following weak Harnack inequality holds
for some constant C = C(N, Λ∕λ, p). The range of exponents in the weak Harnack inequality is optimal, as the fundamental solution for the Laplacian shows. Notice that the L ∞− L p bound also implies an L p-Liouville theorem, as letting r → +∞ in (2.7) shows that 0 is the only nonnegative solution globally in \(L^{p}(\mathbb {R}^{N})\). On the other hand, the previous weak Harnack inequality gives a lower asymptotic estimate for positive \(L^{p}_{{\mathrm {loc}}}(\mathbb {R}^{N})\) supersolutions of the form \(\inf _{B_{r}}u\gtrsim r^{-N/p}\) for r → +∞. From the local point of view, the weak form of the Harnack inequality is also sufficient for the Hölder regularity and for strong comparison principles.
A different and detailed proof of the elliptic Harnack inequality via the expansion of positivity technique will be given in Sect. 5.1.
2.4 Harnack Inequality on Minimal Surfaces
After considering the Harnack inequality for nonlinear operator, a very fruitful framework was to consider its validity for linear elliptic operators defined on nonlinear ambient spaces, such as Riemannian manifolds. One of the first examples of this approach was the Bombieri–De Giorgi–Miranda gradient bound [10] for solutions of the minimal surface equation
The approach of [10], later simplified in [88], consisted in showing that \(w=\log \sqrt {1+|D u|{ }^{2}}\) is a subsolution of the Laplace-Beltrami operator naturally defined on the graph of u considered as a Riemannian manifold. Since a Sobolev-Poincaré inequality can be proved for minimal graphs (see [68] for a refinement to smooth minimal submanifolds), the Moser iteration yields an L ∞− L 1 bound on w which is the core of the proof.
Another realm of application of the Harnack inequality are Bernstein theorem, i.e. Liouville type theorem for the minimal surface equation (2.10). More precisely Bernstein’s theorem asserts that any entire solution to(2.10) in \(\mathbb {R}^{2}\) is affine. This statement is known to be true in all dimension N ≤ 7 and false from N = 8 onwards. One of the first applications in [70] of Moser’s (Euclidean) Harnack inequality was to show that if in addition u has bounded gradient, the Bernstein statement holds true in any dimension. Indeed, one can differentiate (2.10) with respect to x i, giving a nonlinear equation which however can be seen as linear in \(u_{x_{i}}\) with freezed coefficients. It turns out that if |Du| is bounded then the coefficients are elliptic and the Liouville property gives the conclusion.
The approach of [10] was pushed forward in [9], where a pure Harnack inequality was shown for general linear operators on minimal graphs. Taking advantage of their Harnack inequality, Bombieri and Giusti proved that if N − 1 derivatives of a solution to (2.10) are bounded, then also the N-th one is bounded, thus ensuring the Bernstein statement in any dimension thanks to the Moser result. See also [35] for a direct proof of this fact using the Harnack inequality on minimal graph alone.
For other applications of the Harnack inequality on minimal graphs, see [16].
2.5 Differential Harnack Inequality
A natural way to look at the Harnack estimate u(x) ≤ C u(y) is to rewrite it as
as long as u > 0 in B 2r. If one considers smooth functions (such as solutions to smooth elliptic equations), a way to prove the latter would be to look at it as a gradient bound on \(\log u\). More concretely, it is a classical fact that harmonic functions in B 2r(x 0) satisfy the gradient estimate
therefore Harnack’s inequality implies that
This can be rewritten in the following form:
Theorem 2.4 (Differential Harnack Inequality)
Let u > 0 be harmonic in \(B_{r}(x_{0})\subseteq \mathbb {R}^{N}\) . Then
Inequality (2.11) can be seen as the pointwise version of the integral estimate (2.9) and as such it can be integrated back along segments, to give the original Harnack inequality. The differential form (2.11) of the Harnack inequality clearly requires much more regularity than the Moser’s one, however, it was proved to hold in the Riemannian setting for the Laplace-Beltrami equation in the ground-breaking works [16, 94], under the assumption of non-negative Ricci curvature for the manifold. To appreciate the result, notice that all proofs of the Harnack inequality known at the time required a global Sobolev inequality, which is known to be false in general under the Ric ≥ 0 assumption alone.
The elliptic Harnack inequality in the Riemannian setting proved in [94] (and, even more importantly, its parabolic version proved soon after in [65]) again implies the Liouville property for semi-bounded harmonic functions and it was one of the pillars on which modern geometric analysis grew. See for example the survey article [64] for recent results on the relationship between Liouville-type theorems and geometric aspects of the underlying manifold. The book [73] gives an in-depth exposition of the technique of differential Harnack inequalities in the framework of Ricci flow, culminating in Perelman differential Harnack inequality.
2.6 Beyond Smooth Manifolds
Clearly, the differential approach to the Harnack inequality is restricted to the Laplace-Beltrami operator, due to its smoothness and its close relationship with Ricci curvature given by the Bochner identity
It was only after the works [44, 78] that a different approach to Moser’s Harnack inequality on manifolds was found.Footnote 1 Essentially, it was realized that in order to obtain the Harnack inequality on a Riemannian manifold (M, g) with corresponding volume form m and geodesic distance, two ingredients suffice:
for any x 0 ∈ M and r > 0. These two properties hold in any Riemannian manifold with nonnegative Ricci curvature, thus giving a Moser-theoretic approach to the Harnack inequality in this framework. What’s more relevant here is that Doubling and Poincaré are stable with respect to quasi-isometries (i.e. bilipschitz homeomorphisms) and thus can hold in non-smooth manifolds, manifolds where Ric ≥ 0 does not hold (since curvature is not preserved through quasi-isometries), and/or for merely measurable coefficients elliptic operators. It is worth mentioning that Doubling and Poincaré were also shown in [17] to be sufficient conditions for the solution of Yau’s conjecture on the finite-dimensionality of the space of harmonic functions of polynomial growth.
It was a long standing problem to give geometric conditions which are actually equivalent to the validity of the elliptic Harnack inequality, and thus to establish the stability of the latter with respect to quasi (or even rough) isometries. This problem has recently been settled in [6], to which we refer the interested reader for bibliographic reference and discussion.
3 Parabolic Harnack Inequality
3.1 Original Parabolic Harnack
Looking at the fundamental solution for the heat equation
one finds out that there is no hope to prove a straightforward generalization of the Harnack inequality (2.2). In the stationary case, ellipticity is preserved by spatial homotheties and translations, thus the corresponding Harnack inequality turns out to be scale and translation invariant. For the heat equation, the natural scaling (x, t)↦(λx, λ 2 t) preserves the equation and one expects a parabolic Harnack inequality to obey this invariance. In order to guess its form it is useful to look at the special caloric function \(w(x, t)=t^{-1/2}e^{-x^{2}/t}\) defined on \(\mathbb {R}\times \, ]0, +\infty [\). Given two times t 1, t 2 > 0 and ξ ≥ 0, one easily computes
In order for the latters to be comparable for all large r and ξ = 0, it must hold t 1 ≃ t 2 ≃ r 2. Moreover, t 1 = t 2 = r 2 won’t do when we choose ξ = k r with k → +∞, so that the control must happen at different times. Even if t↦t −1∕2 is decreasing while \(t\mapsto e^{-x^{2}/t}\) is increasing, a growth rate argument suggests that, in order for a Harnack inequality to hold, one must require t 1 < t 2. Indeed, setting
also gives a solution on the half-space \(]0, +\infty [\, \times \mathbb {R}\), vanishing for t ≤ 0. Thus we see that the supremum at a certain time can only be controlled by the infimum at later times.
The explicit parabolic form of the Harnack inequality was found and proved independently by Pini and Hadamard in [45, 75] and reads as follows.
Theorem 3.1
Let u ≥ 0 be a solution of the heat equation in B 2ρ(x 0) × [t 0 − 4ρ 2, t 0 + 4ρ 2]. Then there exists a constant C(N), N being the dimension, such that
As expected, this form of the Harnack’s inequality complies with the scaling of the equation and introduces the notion of waiting time for a pointwise control to hold. It represents a quantitative bound from below on how much the positivity of u(x 0, t 0) (physically, the temperature of a body at a certain point) propagates forward in time: in order to have such a bound in a whole ball of radius r we have to wait a time proportional to r 2.
Another way of expressing this propagation for a nonnegative solution on \(B_{2\sqrt {T}}(x_{0})\times [0, 4T]\) is the following, which, up to numerical factors is equivalent to (3.1),
where \(P_T^\pm (x_0)\) are the part of the forward (resp. backward) space-time paraboloid with vertex (x 0, 2T) in \(B_{\sqrt {T}}(x_0)\times [T, 3T]\) (see Fig. 1):
A consequence of the parabolic Harnack inequality is the following form of the strong maximum principle. We sketch a proof here since this argument will play a rôle in the discussion of the Harnack inequality for nonlinear equations.
Corollary 3.2 (Parabolic Strong Minimum Principle)
Let u ≥ 0 be a solution of the heat equation in Ω × [0, T], where Ω is connected, and suppose u(x 0, t 0) = 0 for some x 0 ∈ Ω and t 0 ∈ ]0, T[. Then u ≡ 0 in Ω × [0, t 0].
Proof (Sketch)
Pick (x 1, t 1) ∈ Ω× ]0, t 0[ and join it to (x 0, t 0) with a smooth curve γ : [0, 1] → Ω× ]0, t 0] such that γ ′ always has positive t-component. By compactness there is δ > 0 and a small forward parabolic sector \(P^+_\varepsilon =\{\varepsilon \geq t\geq |x|{ }^2\}\) such that: 1) \(\gamma (\sigma )\in \gamma (\tau )+P_\varepsilon ^+\) for all σ ∈ [τ, τ + δ] and 2) the Harnack inequality holds in the form (3.2) for all s ∈ [0, 1], i.e.
These two properties and u(γ(1)) = 0 readily imply u ∘ γ ≡ 0. □
3.2 The Linear Case with Coefficients
In the seminal paper [74] on the Hölder regularity of solutions to parabolic equations with measurable coefficients, Nash already mentioned the possibility to obtain a parabolic Harnack inequality through his techniques. However, the first one to actually prove it was again Moser, who in [71] extended the Harnack inequality to linear parabolic equations of the form
Theorem 3.3 (Moser)
Let u be a positive weak solution of (3.3) in B 2r × [0, T], where a ij are measurable and satisfy the ellipticity condition (2.4) for all t ∈ [0, T]. For any \(0<t_{1}^{-}<t_{2}^{-}<t_{1}^{+}<t_{2}^{+}<T\) define (see Fig. 2)
Then it holds
with a constant which is bounded as long as \(t_{1}^{+}-t_{2}^{-}\) is bounded away from 0.
Using the natural scaling of the equation, the previous form the parabolic Harnack inequality can be reduced to (3.1).
As in the elliptic case, the first step of Moser’s proof consisted in the L p − L ∞ estimates for subsolutions, obtained by testing the equation with recursively higher powers of the solution. This leads to
where Q(r) are parabolic cylinders having top boundary at the same fixed time t 0, say Q(r) = B r × [t 0 − r 2, t 0]. Since if u is a positive solution, u −1 is a positive subsolution, (3.5) holds true also for negative powers p, yielding a bound from below for u in terms of integrals of u p. Similarly to the elliptic case, in order to obtain the parabolic Harnack inequality, Moser proceeded to prove a crossover lemma which reads as
for some C and a small p 0 > 0 depending on N and the ellipticity constants. This proved to be much harder than in the elliptic case, mainly because the integrals are taken on the two different and distant sets and no appropriate John-Nirenberg inequality dealing with this situation was known at the time. Moser himself proved such a parabolic version of the John-Nirenberg lemma yielding (3.6), but the proof was so involved that he was forced to an erratum 3 years later. In [72] he gave a different proof avoiding it, following an approach of Bombieri and Giusti [9]. For this to work, he refined his L p − L ∞ estimates (3.5), showing that they hold with constants independent from p, at least for sufficiently small values of |p|. As we will see, this was necessary for the Bombieri-Giusti argument to carry over. Despite the parabolic John-Nirenberg Lemma has later been given a simpler proof in [33], the abstract John-Nirenberg Lemma technique of [9] is nowadays the standard tool to prove parabolic Harnack inequalities, see e.g. [56, 80]. On the other hand, Nash’s program was later established in [34].
We next sketch the proof in [72]. The starting point is a logarithmic estimate, obtained by multiplying the equation by u −1 η 2, with \(\eta \in C^{\infty }_{c}(B_{3})\), η ≥ 0 and η ≡ 1 on B 2 and integrate in space only. Proceeding as in the elliptic case we obtain the differential inequality
Under mild concavity assumptions on η, a weighted Poincaré inequality holds true with respect to the measure dμ = η 2(x) dx, so that we infer
By letting
the previous inequality can be rewritten as
so that M(t) is decreasing. Next, for λ > 0 and t ∈ [0, 4], restrict the integral over {x ∈ B 2 : v(x, t) ≥ M(0) + λ} where, by monotonicity, v(x, t) − M(t) ≥ M(0) − M(t) + λ ≥ λ, to get
(notice that dμ = dx on B 2). Dividing by (M(0) − M(t) + λ)2, integrating in t ∈ [0, 4] and recalling that M(t) ≤ M(0) we deduce
Similarly, for any t ∈ [−4, 0], on {x ∈ B 2 : v(x, t) ≤ M(0) − λ} it holds M(t) − v ≥ M(t) − M(0) + λ ≥ λ being M decreasing and proceeding as before we get
Recalling the definition of v, the last two displays imply the weak-L 1 estimate
where M(0) is a weighted mean of \(\log u\). To proceed, we let
for r ∈ [1, 2]. Since Q +(r) ⊆ Q +(2), for all λ > 0,
We will prove a universal bound on φ(r) so we may suppose that φ(r) is large. Estimate the integral of w p on Q +(r) splitting it according to \(\log w\le \varphi (r)/2\) or \(\log w>\varphi (r)/2\), to get
Choose now p = p(r) such that
(where φ(r) is so large that p is positive and sufficiently small), so that
We use (3.5) (with constant independent of p for small p), obtaining for a larger C,
Therefore, either the second term in the parenthesis is greater than 1∕2, which is equivalent to
or the opposite is true, giving \(\varphi (\rho )\le \frac 3 4\varphi (r)\). All in all we obtained
The latter can be iterated on an infinite sequence of radii 1 = r 0 ≤ r n ≤ r n+1 ≤⋯ ≤ 2 with, say, r n+1 − r n ≃ (n + 1)−2, to get
which implies \(\sup _{Q_{+}(1)} u\, e^{-M(0)}\le C\) for some C depending on N, Λ and λ. Thanks to the second estimate in (3.7), a completely similar argument holds true for w = u −1 e M(0) on the cylinders Q −(r) = B r × [−r 2, 0], yielding \(\sup _{Q_{-}(1)}u^{-1}\, e^{M(0)}\le C\), i.e. \(\inf _{Q_{-}(1)}u\, e^{M(0)}\ge C^{-1}\). Therefore we obtained
3.3 First Consequences
As in the elliptic case, the parabolic Harnack inequality provides an oscillation estimate giving the Hölder continuity of solutions to (3.3) subjected to (2.4). Moreover, (3.4) readily yields a strong minimum principle like the one in Corollary 3.2 for nonnegative solutions of (3.3).
On the other hand, Liouville theorems in the parabolic setting are more subtle and don’t immediately follow from the parabolic version of the Harnack inequality. In fact, the Liouville property is false in general since, for example, the function u(x, t) = e x+t is clearly a nontrivial positive eternal (i.e., defined on \(\mathbb {R}^{N}\times \mathbb {R}\)) solution of the heat equation. A two sided bound is needed, and a fruitful setting where to state Liouville properties in the one of ancient solutions, i.e. those defined on an unbounded interval ] −∞, T 0[. An example is the following.
Theorem 3.4 (Widder)
Let u > 0 solve the heat equation in \(\mathbb {R}^{N}\times \, ]-\infty , T_{0}[ \) . Suppose for some t 0 < T 0 it holds
Then, u is constant.
The latter has been proved for N = 1 in [93], and we sketch the proof in the general case.
Proof
By the Widder representation for ancient solutions (see [66]) it holds
for some nonnegative Borel measure μ. Let \(\nu :=e^{t_{0}|\xi |{ }^{2}}\mu \) and observe that Hölder’s inequality with respect to the measure ν implies that for all s ∈ ]0, 1[
i.e., \(x\mapsto \log u(x, t_{0})\) is convex. As \(\log u(x, t_{0})=o(|x|)\) by assumption, it follows that x↦u(x, t 0) is constant. Differentiating under the integral sign the Widder representation, we obtain
for any polynomial P such that P(0) = 0. By a classical Fourier transform argument, this implies that ν = c δ 0 and thus u(x, t) ≡ c due to the representation (3.8). □
Compare with [83] where it is proved that under the growth condition \(0\leq u\leq Ce^{o(|x|+\sqrt {|t|})}\) for t ≤ T 0, there are no ancient non-constant solutions to the heat equation on a complete Riemannian manifold with Ric ≥ 0.
Using Moser’s Harnack inequality, Aronsson proved in [1] a two sided bound on the fundamental solution of (3.3) with symmetric coefficients, which reads
for some C = C(N, Λ, λ) and t > s > 0, where the fundamental solution (or heat kernel) solves, for any fixed \((y, s)\in \mathbb {R}^N\times \mathbb {R}_+\)
In [34], the previous kernel estimate was proved through Nash’s approach, and was shown to be equivalent to the parabolic Harnack inequality.
A global Harnack inequality also follows from (3.9), whose proof we will now sketch. If u ≥ 0 is a solution to (3.3) on \(\mathbb {R}^{N}\times \mathbb {R}_+\) and t > s > τ ≥ 0, then using the representation
and the analogous one for (y, s), we get
where τ ≥ 0 is a free parameter. Recalling that
we consider two cases. If s∕t ≤ 1∕(2C 2) we choose τ = 0 and compute
If instead s∕t ∈ ]1∕(2C 2), 1], we set τ = s − (t − s)∕(2C 2) > 0 obtaining
while (s − τ)∕(t − τ) = 1∕(1 + 2C 2). Therefore the kernel bounds (3.9) imply the following Harnack inequality at large, often called sub-potential lower bound, for positive solutions u of (3.3) on \(\mathbb {R}^{N}\times ]0, T[\, \): there exists a constant C = C(N, Λ, λ) > 1 such that
A similar global estimate, with a non-optimal exponent α = α(N, Λ, λ) > N∕2 for the ratio s∕t, has already been derived through the so-called Harnack chain technique by Moser in [71].
3.4 Riemannian Manifolds and Beyond
Following the differential approach of [94], Li and Yau proved in [65] their celebrated parabolic differential Harnack inequality.
Theorem 3.5
Let M be a complete Riemannian manifold of dimension N ≥ 2 and Ric ≥ 0, and let u > 0 solve the heat equation on \(M\times \mathbb {R}_+ \) . Then it holds
In the same paper, many variants of the previous inequality are considered, including one for local solutions in B R(x 0) × ]t 0 − T, t 0[ much in the spirit of [16], and several consequences are also derived. Integrating inequality (3.11) along geodesics provides, for any positive solution of the heat equation of \(M\times \mathbb {R}_+\)
where d(x, y) is the geodesic distance between two points x, y ∈ M. This, in turn, gives the heat kernel estimate (see [80, Ch. 5])
where V (x, r) is the Riemannian volume of a geodesic ball B(x, r). Notice that, in a general Riemannian manifold of dimension N ≥ 2,
but, under the sôle assumption Ric ≥ 0, the best one can say is
Therefore, while the Li-Yau estimate on the heat kernel coincides with Aronsson’s one locally, it is genuinely different at the global level.
Other parabolic differential Harnack inequalities were then found by Hamilton in [46] for compact Riemannian manifolds with Ric ≥ 0, and were later extended in [59, 83] to complete, non-compact manifolds. Actually, far more general differential Harnack inequalities are available under suitable conditions on the Riemannian manifold, see the book [73] for the history and applications of the latters.
Again, the differential Harnack inequality (3.11) requires a good deal of smoothness both on the operator and on the ambient manifold. Yet, the corresponding pointwise inequality (3.12) doesn’t depend on the smoothness of the metric g ij but only on its induced distance and the dimension, hence one is lead to believe that a smoothness-free proof exists. Indeed, the papers [44, 78] showed that the parabolic Harnack inequality (and the corresponding heat kernel estimates) can still be obtained through a Moser-type approach based solely on the Doubling and Poincaré condition (2.12). Indeed, [44, 78] independently showed the following equivalence.
Theorem 3.6 (Parabolic Harnack Principle)
For any Riemannian manifold the following are equivalent:
-
(1)
The parabolic Harnack inequality (3.1).
-
(2)
The heat kernel estimate (3.13).
-
(3)
The Doubling and Poincaré condition (2.12).
Since Doubling and Poincaré are stable with respect to quasi-isometries, the previous theorem ensures the stability of the parabolic Harnack inequality with respect to the latters, and thus its validity in a much wider class of Riemannian manifolds than those with Ric ≥ 0. Condition (3) also ensures that the parabolic Harnack inequality holds for general parabolic equations with elliptic and merely measurable coefficients, see [79]. Actually, under local regularity conditions, it can be proved for metric spaces which are roughly isometric to a Riemannian manifold with Ric ≥ 0, such as suitable graphs or singular limits of Riemannian manifolds.
3.5 The Nonlinear Setting
An analysis of Moser’s proofs reveals that the linearity of the second order operator is immaterial, and that essentially the same arguments can be applied as well to nonnegative weak solutions of a wide family of quasilinear equations. In [2, 87], the Harnack inequality in the form (3.4) was proved to hold for nonnegative solutions of the quasilinear equation
where the function \(A:\Omega \times \mathbb {R}\times \mathbb {R}^N\to \mathbb {R}^N\) is only assumed to be measurable and satisfying
for some given positive constants 0 < C 0 ≤ C 1. These structural conditions are very weak, as, for example, the validity of the comparison principle holds in general under the so-called monotonicity condition
which does not follow from (3.15). To appreciate the generality of (3.15), consider the toy model case N = 1, A(x, s, z) = φ(z), so that a smooth solution of (3.14) fulfills u t = φ ′(u x)u xx. Assuming (3.15) alone gives no information on the sign of φ ′ except at 0 (where φ ′(0) ≥ C 0 > 0), so that (3.15) is actually a backward parabolic equation in the region {u x ∈{φ ′ < 0}}.
Trudinger noted in [87] that the Harnack inequality for the case of general p-growth conditions (2.6) with p ≠ 2 seemed instead a difficult task. He stated the validity of the Harnack inequality (3.4) for positive solutions of the doubly nonlinear equation
where A obeys (2.6) with the same p as the one appearing on the left hand side, thus recovering a form of homogeneity in the equation which is lacking in (3.14). The (homogeneous) doubly nonlinear result has later been proved in [40, 41, 56], (see also the survey [55]), but it took around 40 years to obtain the right form of the Harnack inequality for solutions of (3.14) under the general p-growth condition (2.6) on the principal part. The next chapter will be dedicated to this development.
It is worth noting that another widely studied parabolic equation which presented the same kind of difficulties is the porous medium equation, namely
In fact, most of the results in the following sections have analogue statements and proofs for positive solutions of the porous medium equation. The interested reader may consult the monographs [31, 91, 92] for the corresponding results for porous media and related literature. More generally, the doubly nonlinear inhomogeneous equation
has found applications in describing polytropic flows of a non-newtonian fluid in porous media [5] and soil science [4, 60, 82], see also the survey article [52]. Regularity results can be found in [50, 76] and Harnack inequalities in [37] for the degenerate and in [39] in the singular case, respectively. To keep things as simple as possible, we chose not to treat these equations, limiting our exposition to (3.14).
4 Singular and Degenerate Parabolic Equations
4.1 The Prototype Equation
Let us consider the parabolic p-Laplace equation
which can be seen as a parabolic elliptic equation with |Du|p−2 as (intrinsic) isotropic coefficient. The coefficient vanishes near a point where Du = 0 when p > 2, while it blows up near such a point when p < 2. For this reasons we call (4.1) degenerate when p > 2 and singular if p < 2.
In the fifties, the seminal paper [3] by Barenblatt was the starting point of the study of the p-Laplacian equation (4.1). The following family of explicit solutions to (4.1) where found, and are since then called Barenblatt solution to (4.1).
Theorem 4.1
For any \(p>\frac {2N}{N+1}\) and M > 0, there exist constants a, b > 0 depending only on N and p such that the function
where λ = N(p − 2) + p > 0, solves the problem
The functions \(\mathcal B_{p, M}\) are also called fundamental solutions of mass M, or simply fundamental solutions when M = 1, in which case one briefly writes \(\mathcal B_{p, 1}=\mathcal B_{p}\). Uniqueness of the fundamental solution for the prototype equation was proved by Kamin and Vázquez in [53] (the uniqueness for general monotone operators is still not known).
The Barenblatt solutions show that, when (4.1) is degenerate, the diffusion is very slow and the speed of the propagation of the support is finite, while in the singular case the diffusion is very fast and the solution may become extinct in finite time. These two phenomena are incompatible with a parabolic Harnack inequality of the form (3.1) or (3.4), (suitably modified taking account of the natural scaling) such as
with a constant C depending only on N. Indeed, in the degenerate case the Barenblatt solution has compact support for any positive time, violating the strong minimum principle dictated by (4.3) (the proof of Corollary 3.2 still works). Regarding the singular case, this incompatibility is not immediately apparent from the Barenblatt profile itself and in fact the strong minimum principle still holds for solutions defined in \(\mathbb {R}^N\times ]0, T[\) when \(p>\frac {2N}{N+1}\). However, consider the solution of the Cauchy problem associated to (4.1) in a cylindrical domain \(\Omega \times \mathbb {R}_+\) with \(u(x, 0)=u_0(x)\in C^\infty _c(\Omega )\) and Dirichlet boundary condition on \(\partial \Omega \times \mathbb {R}_+\), with Ω bounded. An elementary energetic argument (see [21, Ch VII]) gives a suitable extinction time T ∗( Ω, u 0) such that u(⋅, t) ≡ 0 for t > T ∗, again violating the strong minimum principle which would follow from (4.3).
Let us remark here that for \(1<p\leq \frac {2N}{N+1}=:p_*\) the Barenblatt profiles cease to exists. The exponent p ∗ is called the critical exponent for singular parabolic equations and, as it will be widely discussed in the following, the theory is mostly complete in the supercritical case p > p ∗. Solutions of critical and subcritical equations (i.e. with p ∈ ]1, p ∗]) on the other hand, even in the model case (4.1), exhibit odd and, in some aspects, still unclear (i.e., move the comma at the beginning) features.
4.2 Regularity
Let us consider equations of the type
with general measurable coefficients obeying
We are concerned with weak solutions in Ω × [0, T], namely those satisfying
where φ is an arbitrary function such that \(\varphi \in W^{1, 2}_{\mathrm {loc}}(0, T; L^2(\Omega ))\cap L^p(0, T; W^{1, p}_0(\Omega )\). This readily implies that
In the case p = 2, the local Hölder continuity of solutions to (4.4) has been proved in [62] through a parabolic De Giorgi approach. The case p ≠ 2 was considered a major open problem in the theory of quasilinear parabolic equations for over two decades. The main obstacle to its solution was that the energy and logarithmic estimates for (4.4) are non-homogeneous when p ≠ 2. It was solved by DiBenedetto [19] in the degenerate case and Chen and DiBenedetto in [15] in the singular case through an approach nowadays called method of intrinsic scaling (see the monograph [90] for a detailed description). Roughly speaking, in order to recover from the lack of homogeneity in the integral estimates, one works in cylinders whose natural scaling is modified by the oscillation of the solution itself. In the original proof, these rescaled cylinders are then sectioned in smaller sub-cylinders and the so-called alternative occurs: either there exists a sub-cylinder where u is sizeably (in a measure-theoretic sense) away from its infimum or in each sub-cylinder it is sizeably away from its supremum. In both cases a reduction in oscillation can be proved, giving the claimed Hölder continuity.
Stemming from recent techniques built to deal with the Harnack inequality for (4.4), simpler proofs are nowadays available, avoiding the analysis of said alternative. In the last section we will provide such a simplified proof, chiefly based on [29] and [42].
As it turned out, Hölder continuity of bounded solutions to (4.5) (in fact, to much more general equations) always holds. In the degenerate case p ≥ 2, a-priori boundedness follows from the natural notion of weak solution given above, but in the singular case there is a precise threshold: local boundedness is guaranteed only for \(p>p_{**}:=\frac {2N}{N+2}\), which is therefore another critical exponent for the singular equation, smaller than p ∗. However, when 1 < p < p ∗∗, weak solutions may be unbounded: for example, a suitable multiple of
solves the model equation (4.1) in the whole \(\mathbb {R}^N\times \mathbb {R}\).
The critical exponents p ∗ > p ∗∗ arise from the so-called L r − L ∞-estimates for sub-solutions, which are parabolic analogues of (2.7). Namely, when p > p ∗, a L 1 − L ∞ estimate holds true, eventually giving the intrinsic parabolic Harnack inequality. If only p > p ∗∗ is assumed, one can still obtain a weaker L r − L ∞ estimate with r > 1 being the optimal exponent in the parabolic embedding
which is ensured by the notion of weak solution.
Finally, we briefly comment on the regularity theory for parabolic systems. The general measurable coefficient condition dictated by (4.5) is not enough to ensure continuity, and either some additional structure is required (the so-called Uhlenbeck structure, due to the seminal paper [89] in the elliptic setting) or regularity holds everywhere except in a small singular set. The parabolic counterpart of [89] has first been proved in [22] and systematized in the monograph [21] for a large class of nonlinear parabolic system with Uhlenbeck structure. For the more recent developments on the partial regularity theory for parabolic system with general structure we refer to the memoirs [7, 32].
4.3 Intrinsic Harnack Inequalities
DiBenedetto and DiBenedetto and Kwong in [20] and [24] found and proved a suitable form of the parabolic Harnack inequality for the prototype equation (4.1), respectively in the degenerate and singular case. The critical value p ∗ = 2N∕(N + 1) was shown to be the threshold below which no Harnack inequality, even in intrinsic form, may hold. However, comparison theorems where essential tools for the proof. A similar statement was later found to hold for general parabolic quasilinear equations of p-growth in [26] (degenerate case) and in [27] (singular supercritical case), with no monotonicty assumption. We will now describe these results, starting from the degenerate case.
Theorem 4.2 (Intrinsic Harnack Inequality, Degenerate Case)
Let p ≥ 2 and u be a non negative weak solution in B 2r × [−T, T] of (4.4) under the growth conditions (4.5). There exists C > 0 and θ > 0, depending only on N, p, C 0, C 1 such that if 0 < θ u(0, 0)2−p r p ≤ T, then
Clearly, for p = 2 we recover (3.1). For p > 2, the waiting time is larger the smaller u(0, 0) is; in other terms u(0, 0) bounds from below u on p-paraboloids of opening proportional to u(0, 0)p−2. It is worth noting here two additional difficulties in the Harnack inequality theory with respect to the linear (or more generally, homogeneous) setting. While it is still true that the forward form in the quasilinear setting implies the backward one, this is no more trivial due to the intrinsic waiting time depending on u 0.
The Harnack inequality in the singular setting turns out to be much more rich and subtle than in the degenerate case. A natural guess would be that (4.6) holds also in the singular case. However, consider the function
which is a bounded solution in \(\mathbb {R}^N\times \mathbb {R}\) of the prototype equation (4.1) for any p ∈ ]1, p ∗[, N > 2 and suitably chosen a, b > 0. The latter violates both the forward and backward Harnack inequality in (4.6), as the right hand side vanishes for sufficiently large r, while the left hand side goes to + ∞ for r → +∞. A similar phenomenon persists at the critical value p = p ∗, as is shown by the entire solution
for suitable c > 0: the left hand side of (4.6) goes to + ∞ while the right hand one vanishes as r → +∞. It turns out that for p ∈ ]p ∗, 2[, Theorem 4.2 has a corresponding statement.
Theorem 4.3 (Intrinsic Harnack Inequality, Singular Supercritical Case)
Let \(2>p> \frac {2N}{N+1}\) and u be a non negative weak solution in B 4r × [−T, T] of (4.4) under the growth conditions (4.5). There exists C > 0 and θ > 0, depending only on N, p, C 0, C 1 such that if u(0, 0) > 0 and
then
Assumption (4.9) seems technical, however no proof is known at the moment without it. Following the procedure in [24], it can be removed for solutions of monotone equations fullfilling (3.16) (and thus obeying the comparison principle). The proof of the intrinsic Harnack inequality for supercritical singular equations is considerably more difficult than in the degenerate case and crucially relies on the following L 1-form of the Harnack inequality, first observed in [48] for the porous medium equation, which actually holds in the full singular range.
Theorem 4.4 (L 1-Harnack Inequality for Singular Equations)
Let p ∈ ]1, 2[ and u be a non negative weak solution in B 4r × [0, T] of (4.4) under the growth conditions (4.5). There exists C > 0 depending only on N, p, C 0, C 1 such that
Notice that p + N(p − 2) > 0 if and only if p > p ∗. Thanks to this deep result, an elliptic form of the intrinsic Harnack inequality can be proved.
Theorem 4.5 (Elliptic Harnack Inequality for Singular Supercritical Equations)
Let \(p\in \ ]\frac {2N}{N+1}, 2[\) and u be a non negative weak solution in B 4r × [−T, T] of (4.4)–(4.5). There exists C > 0 and θ > 0, depending on N, p, C 0, C 1 such that if u(0, 0) > 0 and (4.9) holds, then
Recall that an elliptic form of the Harnack inequality such as (4.11) cannot hold for the classical heat equation. This forces the constants appearing in the previous theorem to blow-up as p ↑ 2, hence, while this last form of the intrinsic Harnack inequality clearly implies (4.10), the constants in (4.10) are instead stable as p ↑ 2. The previous examples also show that both constants must blow-up for p ↓ p ∗. The same comments following Theorem 4.3 on the rôle of hypothesis (4.9) can be made.
In the subcritical case, different forms of the Harnack inequality have been considered. Here we mention the one obtained in [38] generalizing to monotone operators a result of Bonforte and Vázquez [11, 12] on the porous medium equation.
Theorem 4.6 (Subcritical Case)
Let p ∈ ]1, 2[, u be a positive, locally bounded weak solution in B 2r × [−T, T] of (4.4) under the growth conditions (4.5) and the monotonicty assumption (3.16). For any s ≥ 1 such that λ s := N (p − 2) + p s > 0 there exists C, δ, θ > 0, depending on N, p, s, C 0, C 1 such that letting
if u(0, 0) > 0 and \(\widetilde {Q}_{2r}(u)\subseteq B_{2r}\times [0, T]\) , then
Notice that (4.12) is an elliptic Harnack inequality for later times, intrinsic in terms of the size of u at the initial time t = 0. In the singular supercritical case one can take r = 1 and thus A u ≡ 1 in the previous statement to recover partially Theorem 4.5. The main weakness of (4.12) lies in the dependence of the Harnack constant from the solution itself. In general, a constant depending on u won’t allow to deduce Hölder continuity but, as noted in [38], the peculiar structure of A u permits such a deduction.
Other weaker forms not requiring the monotonicity assumption (3.16) are available (see [28]), however the complete picture in the subcritical case is not completely clear up to now.
4.4 Liouville Theorems
As for the classical heat equation, a one sided bound is not sufficient to ensure triviality of the solutions of the prototype equation (4.1). Indeed, a suitable positive multiple of the function
solves (4.1) on \(\mathbb {R}\times \mathbb {R}\) whenever c > 0 and p > 2. As is natural with parabolic Liouville theorems, a convenient setting is the one of ancient solutions and it turns out that a two-sided bound at a fixed time is sufficient to conclude triviality. The basic tools to prove the following results are the previously discussed Harnack inequalities and the following results are contained in [30].
Theorem 4.7
Let p > 2 and u be a non-negative solution of
under the growth condition (4.5). If for some t 0 < T, u(⋅, t 0) is bounded above, then u is constant.
Notice that no monotonicity assumption on the principal part of the operator is needed. An optimal Liouville condition such as the one of Theorem 3.4 is unknown and clearly the example in (4.13) shows that it must involve a polynomial growth condition instead of a sub-exponential one. For the prototype parabolic p-Laplacian equation, a polynomial growth condition on both x and t more in the spirit of [83] is considered in [85].
On the complementary side, boundedness for fixed x 0 can also be considered, yielding:
Theorem 4.8
Let p > 2 and u be a nonnegative solution in \(\mathbb {R}^{N}\,{\times }\, \mathbb {R}\) of (4.14), (4.5). If
u is constant.
In the singular, supercritical case, the elliptic form (4.11) of the Harnack inequality directly ensures that, contrary to what happens for classical heat equation, a one-sided bound suffices to obtain a Liouville theorem. This is no longer true in the critical and subcritical case, as the functions in (4.8) and (4.7) show. However, again a two sided bound suffices.
Theorem 4.9
Let 1 < p < 2 and u be a weak solution on \(\mathbb {R}^{N}\times \, ]-\infty , T[\) of (4.14) under condition (4.5). If u is bounded, it is constant.
4.5 Harnack Estimates at Large
By Harnack estimates at large, we mean global results such as the sub-potential lower bound (3.10) or the two-sided Kernel estimate (3.9). For the quasilinear equation
with p-growth assumptions (4.5), the natural candidates to state analogous inequalities are the Barenblatt profiles \(\mathcal B_{p, M}\) given in (4.2). When A satisfies smoothness and monotonicity assumptions such as
a comparison principle for weak solutions is available, as well as existence of solutions of the Cauchy problem with L 1 initial datum.
We start by considering the singular supercritical case, since the diffusion is fast and positivity spreads instantly on the whole \(\mathbb {R}^{N}\), giving a behaviour similar to the one of the heat equation. The next result is contained in [13].
Theorem 4.10 (Sub-potential Lower Bound, Singular Case)
Let \(\frac {2N}{N+1}<p<2\) and u be a nonnegative solution of (4.15) in \(\mathbb {R}^{N}\times \, ]0, +\infty [\) under assumptions (4.5), (4.16). There are constants C, δ > 0, depending on the data, such that if u(x 0, t 0) > 0, then
for all \((x, t)\in \mathbb {R}^{N}\times [t_{0}(1-\delta ), +\infty [\).
As an example, assume x 0 = 0, t 0 = 1 and u(0, 1) = 1. Then, the previous sub-potential lower bound becomes
for any \( \displaystyle {(x,t) \in \mathbb R^N \times [ 1-\delta , +\infty [}\). As a corollary, for any fundamental solution of (4.15), one obtains the two-sided kernel bounds (proved in [77] for the first time)
for some C, M 1, M 2 > 0 depending on the data. Notice how the elliptic nature of (4.15) for p ∈ ]p ∗, 2[, as expressed by the forward-backward Harnack inequality (4.11), allows to obtain the bound (4.17) also for some t < t 0. Previously known sub-potential lower bounds correspond to the case δ = 0 above. As shown in [14], the phenomenon of propagation of positivity for t < t 0 not only happens in the near past but, as long as the spatial diffusion has had enough room to happen, it also hold for arbitrarily remote past times. More precisely, in [14] it is proved that (4.17) holds for all
while a weaker, but still optimal, lower bound holds in \({\mathcal P}\).
In the degenerate case p > 2, the finite speed of propagation implies that if the initial datum u 0 has compact support, then any solution of (4.15) keeps having compact support for any time t > 0. The finite speed of propagation has been quantified in [8], under the sôle p-growth assumption (4.5).
Theorem 4.11 (Speed of Propagation of the Support)
Let p > 2 and u be a weak solution of the Cauchy problem
under assumption (4.5). If R 0 = diam(supp u 0) < +∞, then
where λ = N(p − 2) + p and C depend only on N, p, C 0 and C 1.
Such an estimate actually holds for a suitable class of degenerate systems, see [84]. Sub-potential lower bounds are obtained in [8] as well.
Theorem 4.12 (Sub-potential Lower Bound, Degenerate Case)
Let p > 2 and u be a nonnegative solution of (4.15) in \(\mathbb {R}^{N}\times \, ]0, +\infty [\) under assumptions (4.5), (4.16). Then there are constants C, ε > 0 such that if u(x 0, t 0) > 0, then (4.17) holds in the region
with λ = N(p − 2) + p.
The last condition on the region of validity of (4.17) is sharp, especially when t ≃ t 0 and the minimum is the first one (see [8, Remark 1.3] for details).
Under the additional assumptions (4.5) and (4.16) fundamental solutions exist and, as in the singular case, the sub-potential lower bound implies a two-sided estimate on the kernel in terms of the Barenblatt solution.
5 The Expansion of Positivity Approach
In this section we provide detailed proofs of some of the Harnack inequalities stated until now. Historically, Hölder regularity and Harnack inequalities have always been intertwined, with the former usually proved before the latter. The reason behind this is that Hölder regularity is a statement about a reduction in oscillation of u in B r as r ↓ 0, i.e. on the difference \(\sup _{B_{r}}u-\inf _{B_{r}}u\). Thus it reduces to prove that either \(\sup _{B_{r}}u\) decreases or \(\inf _{B_{r}} u\) increases in a quantitative way. On the other hand, a Harnack inequality implies the stronger statement that both \(\sup _{B_{r}}u\) decreases and \(\inf _{B_{r}} u\) increases at a certain rate (see the nice discussion in [63, Ch. 1, §10]).
The modern approach thus often shifted the statements, first proving a Harnack inequality and then deducing from it the Hölder continuity of solutions. We instead revert to the historical roadmap, for two main reasons. The first one is pedagogical, as it feels satisfactory to reach an important stepping-stone result such as Hölder regularity, which would anyway follow from the techniques needed to prove the Harnack inequality. The second one is practical, since without continuity assumptions some of the arguments to reach, or even state, the Harnack inequality would be technically involved: for example, one would need to give a precise meaning to u(0, 0) in (4.6).
We start in Sect. 5.1 by considering the elliptic setting. The proof of the Hölder continuity follows closely the original De Giorgi approach, then we introduce the notion of expansion of positivity. A technique due to Landis allows us to construct a largeness point from which to spread the positivity, thus giving the Harnack inequality. These are the common ingredients to all subsequent sections. In Sect. 5.2 we apply this technique to homogeneous parabolic equations with only minor modifications. Then we start discussing degenerate and singular parabolic equation. Section 5.3 is devoted to the proof of common tools to both, Sect. 5.4 to the degenerate case and the last one to singular supercritical equations.
While we won’t prove basic propositions such as Energy estimates or Sobolev inequalities, the presentation will be mostly self contained. The only exception will be Theorem 5.32, which is the core tool to treat the singular supercritical Harnack inequality. Its proof is rather technical and since we could not find any simplification we would simply rewrite [31, Appendix A] word-by-word. Incidentally, this will also be the only \(\sup \) estimate we will use. In striking contrast with the Moser method, in all the other subsections we will only assume qualitative boundedness of the solution (which certainly holds, as discussed in the previous section) without ever proving or using a quantitative integral \(\sup \)-bound.
Since some arguments will be ubiquitous, a detailed discussion will be given at their first appearance, but we will only sketch the relevant modifications on subsequent occurrences. For this reason, the non-expert is advised to follow the path presented here from its very beginning, rather than skipping directly to the desired result.
5.1 Elliptic Equations
We now describe the De Giorgi technique to prove C α-regularity and Harnack inequality for solutions of elliptic equations of the form
We will not treat boundedness statements (which actually hold true in this setting) and always assume that solutions are locally bounded.
Roughly speaking, the approach of De Giorgi consisted in deriving pointwise estimates on a solution u by analizing the behaviour of |{u ≤ k}∩ B r| with respect to the level k > 0. First, he proved that the relative size of the sublevel set shrinks as k decreases, at a certain (logarithmic) rate. Then he showed that, when a suitable smallness threshold is reached, it starts decaying exponentially fast, so that it vanishes at a strictly positive level. This procedure produces a pointwise bound from below for u in terms of the size of its sublevel set in a larger ball and is thus called a measure-to-point estimate in the literature. This estimate, moreover, expands in space, since the relative size of a sublevel set in a larger ball B R can also be bounded from below (polynomially in r∕R) by its size in B r ⊆ B R. The quantitative statement arising from this simple observation is called expansion of positivity and is the basis for our proof of the Harnack inequality.
With a certain abuse of notation, we will say that u is a (sub-) super-solution of (5.1) if there exists and A obeying the prescribed growth condition for which −divA(x, u, Du)(≤) ≥ 0. Observe that, being (5.1) homogeneous, the class of (sub-/super-) solutions of (5.1) is invariant by scaling, translation and (positive) scalar multiplication. More precisely, performing such transformations to a subsolution of (5.1) for some A results in a subsolution of (5.1) for a possibly different \(\tilde {A}\), which nevertheless obeys the same bounds. We will use the following notations: K r(x 0) will denote a cube of side r and center x 0, K r = K r(0) and, respectively,
thus, for example, P(K; u ≥ 1) is the percentage of the cube K where u ≥ 1. In the following, the dependence from p in the constants will always be omitted, and any constant only depending on N, p, C 0 and C 1 (the “data”) will be denoted with a bar over it. Often we will also consider functions \(f:\mathbb {R}_{+}\to \mathbb {R}_{+}\) which will also depend on the data, and we will omit such a dependence. We first recall some basic facts.
Proposition 5.1
-
1)
[ 31 , Lemma II.5.1] Let X n ≥ 0 obey for some α > 0, b, C > 0, the iterative inequality
$$\displaystyle \begin{aligned} X_{n+1}\le C\, b^{n}\, X_{n}^{1+\alpha}. \end{aligned}$$Then
$$\displaystyle \begin{aligned} X_{0}\le C^{-1/\alpha} b^{-1/\alpha^{2}}\quad \Rightarrow \quad \lim_{n}X_{n}=0. \end{aligned} $$(5.2) -
2)
De Giorgi-Poincaré inequality : [ 31 , Lemma II.2.2] For any u ∈ W 1, 1(K r) and k ≤ h
$$\displaystyle \begin{aligned} (h-k)|\{ u\le k\}|\le \frac{C(N)\, r^{N+1}}{|\{u\ge k\}|}\int_{\{k< u\le h\}}|Du|\, dx. \end{aligned}$$ -
3)
Energy inequality : Let u be a supersolution to (5.1) in K. Then there exists \(\bar C\) such that for any \(k\in \mathbb {R}\) and \(\eta \in C^{\infty }_{c}(K)\)
$$\displaystyle \begin{aligned} \int_{K} |D(\eta (u-k)_{-}))|{}^{p}\le \bar C\int_{K}(u-k)_{-}^{p}|D\eta|{}^{p}\, dx. \end{aligned} $$(5.3)
Lemma 5.2 (Shrinking Lemma)
Let u ≥ 0 be a supersolution in K R . For any μ > 0 there exists β(μ) > 0 such that
Proof
Rescale to R = 2 and let k j = 2−j. By the De Giorgi-Poincaré inequality
If \(\eta \in C^{\infty }_{c}(K_2)\) is such that 0 ≤ η ≤ 1, η ≡ 1 on K 1∕2 and |∇η|≤ C(N), (5.3) gives
so that the last integral in (5.4) can be bounded through Hölder’s inequality as
Insert the latter into (5.4), use (u − k j)−≤ k j and k j − k j+1 = k j∕2 to get
Simplify the k j’s, raise both sides to the power p∕(p − 1) and sum over j = 0, …, n − 1. Since |K 1∕2 ∩{u ≤ k j}| is decreasing and |K 1∕2 ∩{u ≤ k j}|−|K 1∕2 ∩{u ≤ k j+1}| telescopic, we obtain
□
Lemma 5.3 (Critical Mass)
Let u ≥ 0 be a supersolution in K R . There exists \(\bar \nu \) such that
Proof
Scale back to R = 1 and define for n ≥ 1 k n = r n = 1∕2 + 1∕2n, \(K_{n}=K_{r_{n}}\). Let moreover
and chain the Sobolev inequality with (5.3) with k = k n, η = η n, to obtain
On the right we use (u − k n)−≤ k n and |K n|≤ 1 to bound
while by η n ≡ 1 on K n+1 and Tchebicev’s inequality,
Use the previous two inequalities into (5.6) to get
The claim now follows from (5.2) applied to the sequence X n = P(K n; u ≤ k n). □
Lemma 5.4 (Measure-to-Point Estimate)
Let u ≥ 0 be a supersolution in K R . For any μ > 0 there exists m(μ) > 0 such that
Proof
Given μ > 0, choose n μ ≥ 1 in Lemma 5.2 such that \(\beta (\mu )/n_{\mu }^{1-1/p}\le \bar \nu \), so that \(P(K_{R/2};\, u\ge k/2^{n_{\mu }})\le \bar \nu \). Then apply (5.5) to u∕k, obtaining (5.7) with \(m(\mu )=2^{-n_{\mu }-1}\). □
Theorem 5.5 (Hölder Regularity)
Let u solve (5.1) in K 2R . There exists \(\bar C, \bar \alpha >0\) such that
Proof
Rescaling to R = 1 and considering u∕osc(u;K 1) we can suppose osc(u, K 1) = 1. Both \(u_{+}=u-\inf _{K_{1}}u\) and \(u_{-}=\sup _{K_{1}}u -u\) are non-negative solutions with osc(u ±;K 1) = 1. Since
at least one of P(K 1; u ±≥ 1∕2) is at least 1∕2 and we can suppose without loss of generality that it is u +. Then (5.7) with R = 2, k = 1∕2 provides
Scaling back we obtained \({\mathrm {osc}}(u; K_{R/2})\le {\mathrm {osc}}(u; K_{R})(1-\bar m)\) which, iterated for R n = R∕2n gives
For ρ ≤ R∕2, let n ≥ 1 obey R n+1 ≤ ρ ≤ R n and \(\bar \alpha :=-\log _{2}(1-\bar m)\). Then, by monotonicity,
giving the claim due to 2−(n+1) ≤ ρ∕R. □
Theorem 5.6 (Expansion of Positivity, See Fig. 3)
Let u ≥ 0 be a supersolution in K R . There exists \(\bar \lambda >1\) and, for any μ > 0, c(μ) > 0 such that
Proof
Using the notations of Lemma 5.4, we let c = c(μ) := m(μ∕2N) and iterate (5.7) as follows. From P(K r; u ≥ 1) ≥ μ we infer P(K 2r; u ≥ 1) ≥ μ∕2N thus (5.7) gives \(\inf _{K_{r}} u\ge c\). If \(\bar \delta :=m(4^{-N})\) and ρ n = 2n r, we thus have \(P(K_{\rho _{0}};\, u\ge c\, \bar \delta ^{0})=1\). Moreover
Thus, by induction, \(u\ge c\, \bar \delta ^{n}\) in \(K_{\rho _{n}}\) for all n ≥ 0 such that ρ n+2 = 2n+2 r ≤ R. Given ρ ∈ [r, R∕2] let n be such that 2n−1 ≤ ρ∕r ≤ 2n. Then we obtained the claim with \(\bar \lambda =-\log _{2}\bar \delta \), since
□
We call the exponent \(\bar \lambda \) the expansion of positivity rate.
Theorem 5.7 (Harnack Inequality)
There exists \(\bar C>0\) such that for any locally bounded solution u ≥ 0 to (5.1) in K 8R it holds
Proof
Rescaling to R = 1 and considering \(u/\sup _{K_{1}}u\) we are reduced to prove that
for any solution u ≥ 0 in K 8. We will find \(\bar m>0\), x 0 ∈ K 1 and r > 0 such that
for \(\bar \lambda \) given (5.9) and some universal \(\bar \nu \). Theorem 5.6 applied to u∕u(x 0) will then prove (5.10) for such r, with the choices R = 8, k = u(x 0)∕2, \(\mu =\bar \nu \) and ρ = 2, as K 1 ⊆ K 2(x 0) ⊆ K 4.
To choose x 0 and r, observe that Theorem 5.5 implies that the function
is continuous and vanishes at ρ = 1, thus it attains its maximum at some ρ 0 < 1 and we set
for some \(x_{0}\in K_{\rho _{0}}\). Let ξ ∈ ]0, 1[ to be chosen and define r = ξ (1 − ρ 0). Then
Since \(K_{r}(x_{0})\subseteq K_{\rho _{0}+r}\), we infer from ψ(ρ 0 + r) ≤ ψ(ρ 0) that
Choose \(\bar \xi \) as per \((1-\bar \xi )^{-\bar \lambda }=2\), so that u ≤ 2 u(x 0) in K r(x 0), while (5.12) gives the first condition in (5.11) with \(\bar m=\bar \xi ^{\bar \lambda }\). Apply (5.8) for R = r, \(\rho =\bar \eta r\) with \(\bar \eta \) s. t. \(4\bar C \bar \eta ^{\bar \alpha }\le 1\), so that
implying u ≥ u(x 0)∕2 in \(K_{\bar \eta r}(x_{0})\). Thus, the second condition in (5.11) holds for \(\bar \nu =\bar \eta ^{N}\). □
5.2 Homogeneous Parabolic Equations
In the forthcoming subsections we will provide the extension of the previous techniques to the parabolic setting. In order to highlight the similarities with the elliptic case, we will proceed step-by-step in increasing generality, gradually introducing the modifications needed to cater with the evolutionary framework.
First we will deal with homogeneous equations, i.e. those for which scalar multiplication still gives a solution of the same (from the structural point of view) type of equation. We chose for simplicity to deal with the quadratic case, i.e., with equations of the form
As in the previous subsection, we say that u is a (sub-) super-solution if there is some A obeying the growth conditions and such that u t(≤) ≥divA(x, u, Du). An important feature of (5.13) is that the class of its solutions is invariant by space/time translations, by the scaling u λ(x, t) = u(λx, λ 2 t), λ > 0 and, more substantially, by scalar multiplication. More generally, homogeneous problems of the form
can be dealt in the same way. In fact, as will be apparent from the proofs, in this homogeneous setting the Harnack inequality follows solely from the energy inequality. Indeed, in [40], it has been proved for non-negative functions belonging to the so-called parabolic De Giorgi classes i.e., roughly speaking, functions obeying the energy inequality for truncations.
In the following, we set Q R,T = K R × [0, T]. Given a rectangle \(Q=K\times [a, b]\subseteq \mathbb {R}^{N}\times \mathbb {R}\), \(u:Q\to \mathbb {R}\) and \(k\in \mathbb {R}\) we define, respectively
The dependence on N, C 0 and C 1 will always be omitted, and a constant c depending only on the latters will be denoted by \(\bar c\). We also recall the relevant functional analytic tools.
Proposition 5.8
-
1)
Parabolic Sobolev Embedding: [ 31 , Lemma II.4.1] If \(u\in L^{2}(0, T; W^{1, 2}_{0}(\Omega ))\) , then
$$\displaystyle \begin{aligned} \int_{0}^{T}\int_{\Omega} |u|{}^{2\frac{N+2}{N}}\, dx\, dt\leq C_{N}\left(\sup_{t\in [0, T]}\int_{\Omega}u^{2}(x, t)\, dx\right)^{\frac{2}{N}}\int_{0}^{T}\int_{\Omega}|Du|{}^{2}\, dx\, dt. \end{aligned}$$ -
2)
Energy inequality: [ 31 , Prop. III.2.1] Let u be a supersolution to (5.13) in Q = K × [0, T]. There exists \(\bar C>0\) s.t. for any k ≥ 0 and \(\eta \in C^{\infty }(a, b; C^{\infty }_{c}(K))\) , 0 ≤ η ≤ 1 it holds
$$\displaystyle \begin{aligned} &\sup_{t\in [0, T]}\int_{K} (u(x, t)-k)_{-}^{2}\eta^{2} \, dx+\frac{1}{\bar C}\iint_{Q} |D(\eta(u-k)_{-})|{}^{2}\, dx\, dt\\ &\quad \le \int_{K} (u(x, 0)-k)_{-}^{2}\eta^{2} \, dx+\bar C\iint_{Q} (u-k)_{-}^{2}|\nabla\eta|{}^{2}\, dx\, dt{}\\ &\qquad +\bar C\iint_{Q} (u-k)_{-}^{2}|\eta_{t}|\, dx\, dt. \end{aligned} $$(5.14)
The first lemma shows how initial measure-theoretic positivity propagates at future times.
Lemma 5.9
Let u ≥ 0 be a supersolution in \(Q_{R, R^{2}}\) . For any μ > 0 there are k, θ ∈ ]0, 1[ such that
Proof
Rescale to R = 1 and, for any δ, θ ∈ ]0, 1[, employ the energy inequality (5.14) on K 1 × [0, θ] with \(\eta \in C^{\infty }_{c}(K_{1})\) independent of t and such that
obtaining for any t ∈ [0, θ]
where we used the assumption in (5.15) in the last inequality. For k ∈ ]0, 1[ we have
Insert the latter into the previous one to obtain, for all t ∈ [0, θ]
Successively choose δ, k ∈ ]0, 1[ and, consequently, θ ∈ ]0, 1[ so that:
to obtain that the right hand side in (5.17) is less than 1 − μ∕2, proving the claim. □
The next two steps are fully in the spirit of the De Giorgi approach.
Lemma 5.10 (Shrinking Lemma)
Suppose u ≥ 0 is a supersolution in Q 2R,T obeying
for some μ ∈ ]0, 1[, k > 0. There exists β = β(μ) > 0 such that
Proof
Let k j = k∕2j, j ≥ 0. The inequality (5.14) with \(\eta \in C^{\infty }_{c}(K_{2R})\) such that
gives
For any t ∈ [0, T], apply the De Giorgi-Poincaré inequality and (5.18) to obtain
Integrate over [0, T], divide by |Q R,T| and use Hölder’s inequality to get
The latter reads
which, being the right hand side telescopic, can be summed over j ≤ n − 1 to get the claim:
□
Lemma 5.11 (Critical Mass)
For any θ > 0 there exists ν(θ) > 0 such that any supersolution u ≥ 0 on \(Q_{R, \theta R^{2}}\) fulfills
Proof
Use homogeneity and scaling to reduce to R = 1, k = 1. Define for n ≥ 1
let \(K_{n}=K_{r_{n}}\), Q n = K n × [θ n, θ] and choose \(\eta _{n}\in C^{\infty }([\theta _{n}, \theta ]; C^{\infty }_{c}(K_{n}))\) s. t.
Inserting into the energy inequality (5.31) and noting that k n ≤ k, we get
By the parabolic Sobolev embedding
while, being (u − k n+1)−≥ k n+1 − k n+2 = k n∕4 when u ≤ k n+2,
Chaining these latter two estimates and simplifying k n gives the iterative inequality
and (5.2) for X n := |Q 2n ∩{u ≤ k 2n}| gives the claim. □
Lemma 5.12 (Measure-to-Point Estimate)
Let u ≥ 0 be a supersolution in \(Q_{R, R^{2}}\) . For all μ ∈ ]0, 1[ there are c(μ) > 0 and θ(μ) ∈ ]0, 1[ such that
Proof
By homogeneity we can let h = 1. Let θ(⋅), k(⋅) be given in Lemma 5.9, so that P t(K ρ; u ≥ k) ≥ μ∕2 for t ∈ [0, θ ρ 2], θ = θ(μ) and k = k(μ). Apply Lemma 5.10, choosing n = n(μ) such that
(ν(⋅) given in (5.21)), to get \(P(Q_{\rho , \theta \rho ^{2}};\, u\le k\, 2^{-n})\le \nu (\theta )\). Then (5.21) proves (5.23). □
Theorem 5.13 (Hölder Regularity)
Any locally bounded solution of (5.13) is locally Hölder continuous, with Hölder exponent depending only on N, C 0 , C 1.
Proof
By translation and scaling it suffices to prove an oscillation decay on the cubes \(Q_{n}=K_{2^{-n}}\times [-\bar \theta \, 2^{-2n}, 0]\) with \(\bar \theta =\theta (1/2)\) given in (5.23). Suppose osc(u, Q 0) = 1. Then, one of
holds. If it is the first one, apply (5.23) to \(\sup _{Q_{0}}u-u\ge 0\) translated in time to get \(\sup _{Q_{0}}u-u\ge m(1/2)/2=:\bar m\) in Q 1, i.e. \(\sup _{Q_{1}}u\le \sup _{Q_{0}}u-\bar m\). Therefore
The same holds in the other case and by homogeneity we have \({\mathrm {osc}}(u; Q_{1})\le (1-\bar m){\mathrm {osc}}(u, Q_{0})\). By scaling and induction, \({\mathrm {osc}}(u, Q_{n})\le {\mathrm {osc}}(u, Q_{0})(1-\bar m)^{n}\). Finally, for (x, t) ∈ Q 1 let n ≥ 1 such that
so that we have (x, t) ∈ Q n and, for \(\bar \alpha =-\log _{2}(1-\bar m)\),
□
Lemma 5.14 (Expansion of Positivity, See Fig. 4)
Let u ≥ 0 be a supersolution in \(Q_{R, R^{2}}\) . There exists \(\bar \lambda >1, \bar \gamma \in \ ]0, 1/4[\) and, for any μ > 0 a constant c(μ) > 0, such that
Proof
First expand (5.23) in space observing that P 0(K ρ; u ≥ h) ≥ μ implies P 0(K 4ρ; u ≥ h) ≥ μ 4−N, so that by changing the constants θ(μ) and c(μ), we get
Let \(\bar c=c(1)\), \(\bar \theta =\theta (1)\), ρ n = 2n r and define recursively the sequences
Letting furthermore \(Q_{n}=K_{\rho _{n+1}}\times [t_{n}, s_{n}]\), apply recursively (5.24) as
to get by induction \(P(Q_{n};\, u\ge c(\mu )\, \bar c^{n})=1\) for all n ≥ 1. It is easily checked that s n > t n+1 for n ≥ 1, hence
Notice that we can suppose that \(\theta (\mu )\le \bar \theta \le 1/16\), so that it holds \(\bar \theta \, \rho ^{2}_{n-1}\le t_{n}\le \bar \theta \, \rho _{n}^{2}\) for n ≥ 1 and a monotonicity argument gives
For ρ ≥ r, let n be such that ρ n ≤ ρ ≤ ρ n+1, hence \(\bar \theta \, \rho _{n+1}^{2}\le 4\, \bar \theta \, \rho ^{2}\le \bar \theta \, \rho _{n+2}^{2}\). Then the lemma is proved for \(\bar \lambda =-\log _{2}\bar c\), and \(\bar \gamma =4\,\bar \theta \), since
□
Theorem 5.15 (Harnack Inequality)
Let u ≥ 0 be a locally bounded solution of (5.13) in K 2R × [−(2R)2, (2R)2]. There exists \(\bar C\) such that \(u(0, 0)\le \bar C\, \inf _{K_{R}}u(\cdot , R^{2})\).
Proof
By homogeneity, scaling and a Harnack chain argument it suffices to prove
for any solution u of (5.13), nonnegative in \(K_{\bar L}\times [-\bar L^{2}, \bar L^{2}]\) for \(\bar L\) to be chosen. Let
where \(\bar \lambda \) is given in Lemma 5.14. By continuity, we can choose ρ 0 ∈ [0, 1], \((x_{0}, t_{0})\in Q^{-}_{\rho _{0}}\) such that
For ξ ∈ ]0, 1[ to be determined let r = ξ (1 − ρ 0), so that, being ψ(0) = u(0, 0) = 1,
If \(\widetilde Q_{r}=K_{r}(x_{0})\times [t_{0}-r^{2}, t_{0}]\), it holds \(\widetilde Q_{r}\subseteq Q^{-}_{\rho _{0}+r}\) and being ρ 0 maximum for ψ,
Choose \(\bar \xi \) as per \((1-\bar \xi )^{-\bar \lambda }\le 2\), so that u ≤ 2 u 0 in \(\widetilde {Q}_{r}\), and let \(\bar \theta =\theta (1/2)\in \ ]0, 1[\) be given in (5.23). Since \(K_{r}(x_{0})\times [t_{0}- \bar \theta \, r^{2}, t_{0}]\subseteq \widetilde {Q}_{r}\), the previous proof shows that for all ρ ≤ r∕2
and choosing \(\rho =\bar \eta \, r\) with \(\bar C \, \bar \eta ^{\bar \alpha }\le 1/4\) gives \({\mathrm {osc}}(u(\cdot , t_{0}), K_{\bar \eta r}(x_{0}))\le u_{0}/2\). The latter ensures \(P_{t_{0}}(K_{r}(x_{0});\, u\ge u_{0}/2)\ge \bar \eta ^{N}\) and the expansion of positivity Lemma 5.14 for 2 u∕u 0 implies
Solve \(t_{0}+\bar \gamma \, \rho =1\) in ρ: from \(\bar \gamma \le 1/4\) and t 0 ∈ [−1, 0] we infer \(2\le \rho \le 2/\bar \gamma \). Therefore K ρ(x 0) ⊇ K 1 and we can let \(\bar L/8:=2/\bar \gamma \) in (5.28), giving (5.25) and completing the proof. □
5.3 Inhomogeneous Parabolic Equations
In the last subsection, we heavily took advantage of the homogeneous structure of the equation. The situation is quite different for inhomogeneous equations whose model is
for p≠2, as it is no longer true that λu is a solution of a similar equation for λ≠1. The translation invariance still holds, and the scale invariance says that if u solves (5.29) then u λ(x, t) = u(λx, λ p t) is a solution (in the usual sense that there exists an A obeying the growth condition such that u solves the corresponding equation). More generally, given R, T > 0 and a (sub-) super-solution of (5.29),
is still a (sub-) super-solution (in the structural sense) an equation of the kind (5.29). This shows that statements for λu can be derived from those for u by scaling the space-time variables conveniently (actually, with one degree of freedom).
It is worth noting that, in the inhomogeneous setting, it is not known wether the energy inequality alone suffices to prove the Harnack inequality. In our proof, we will indeed use a clever change of variable introduced in [29], which crucially relies on the equation. Moreover, as extensively discussed in the previous chapter, the degenerate (p > 2) and singular (p < 2) cases require different treatments. We thus first derive some common tools in this subsection, and discuss in details the two families of equations in the following ones. The notation will be the same as in the previous one, with the additional dependence on p omitted in constants.
Proposition 5.16
-
1)
Parabolic Sobolev Embedding: If \(u\in L^{p}(0, T; W^{1, p}_{0}(\Omega ))\) , and p ∗ = p(1 + 2∕N), then
$$\displaystyle \begin{aligned} \int_{0}^{T}\int_{\Omega} |u|{}^{p^{*}}\, dx\, dt\leq C(N)\left(\sup_{t\in [0, T]}\int_{\Omega}u^{2}(x, t)\, dx\right)^{\frac{p}{N}}\int_{0}^{T}\int_{\Omega}|Du|{}^{p}\, dx\, dt. \end{aligned}$$ -
2)
Energy inequality : [ 31 , Prop. III.2.1] Let v be a supersolution to (5.29) in Q T under condition (4.5). There exists C = C(C 0, C 1) > 0 s.t. for any k ≥ 0 and \(\eta \in C^{\infty }(0, T; C^{\infty }_{c}(K))\) , 0 ≤ η ≤ 1 it holds
$$\displaystyle \begin{aligned} \begin{aligned} \sup_{t\in [0, T]}&\int_{K} (v(x, t)-k)_{-}^{2}\eta^{p} \, dx+\frac{1}{C}\iint_{Q_{T}} |D(\eta(v-k)_{-})|{}^{p}\, dx\, dt\\ \le& \int_{K} (v(x, 0)-k)_{-}^{2}\eta^{p} \, dx+C\iint_{Q_{T}} (v-k)_{-}^{p}|D\eta|{}^{p}\, dx\, dt\\ &+C\iint_{Q_{T}} (v-k)_{-}^{2}|\eta_{t}|\, dx\, dt. \end{aligned} \end{aligned} $$(5.31)
We start by sketching the proof of the relevant critical mass lemma.
Lemma 5.17 (Critical Mass)
Let v ≥ 0 be a supersolution of (5.29) on Q R,T for p≠2 and let h ≥ 0. There exists ν > 0 s.t.
Proof
Consider the supersolution \(v_{R, T}(x, t)=R^{\frac {p}{2-p}}T^{\frac {1}{p-2}}v(R\, x, T\, t)\): as (5.32) is invariant by this transformation, it suffices to prove it for R = T = 1. Define
Fix η n as per (5.22) with θ = 4. Inserting into (5.31) and noting that h n ≤ h, we get
Use h n+1 − h n+2 = h∕2n+3, Tchebicev and the parabolic Sobolev embedding to get
This amounts to \( |A_{n+2}|\le \bar b^{n}\, \bar C(h)|A_{n}|{ }^{1+\frac {p}{N}}\) and (5.2) for X n = |A 2n| gives the conclusion. □
Lemma 5.18
Let v ≥ 0 be a supersolution in Q R,T of (5.29). There exists \(\bar \sigma \) s.t.
Proof
Consider the supersolution \(\tilde v(x, t)=R^{\frac {p}{2-p}}v(Rx, t)\) to reduce to the case R = 1, \(\tilde {v}(\cdot , 0)\ge \tilde {h}=h\, R^{\frac {p}{2-p}}\) on K 1. Proceed as in the previous proof with t n ≡ 0, η n independent of t and \(Q_{n}=K_{r_{n}}\times [0, T]\). Since \(\tilde {v}(\cdot , 0)\ge \tilde {h}_{n}\) and (η n)t ≡ 0, the first and third term on the right of (5.31) vanish, giving
where \(A_{n}=Q_{n}\cap \{\tilde v\le \tilde h_{n}\}\). As before, we get the iterative inequality
which, recalling that p ∗ = p(N + 2)∕N and enlarging \(\bar b\), reads
Since |A 0|≤ T, (5.2) ensures the existence of \(\bar \sigma \) such that
□
We conclude this section with a useful tool to prove Hölder continuity of solutions.
Lemma 5.19
Suppose there exist \(\bar T>0\) and \(\bar m, \bar \theta \in \ ]0, 1[\) , depending only on the data, such that any solution u of (5.29) with p≠2 in \(Q_{2, \bar T}\) fulfills
There exists \(\bar C, \bar \alpha \) depending on \(\bar m\) and \(\bar \theta \) such that any solution with \(\|u\|{ }_{L^{\infty }(Q_{2, \bar T})}\le 1\) obeys
Proof
Fix δ ∈ ]0, 1∕4], \(\theta \in \ ]0, \bar \theta ]\) so that \(\theta ^{\frac {1}{2-p}}\delta ^{\frac {p}{p-2}}=\gamma :=(1+\bar m)^{-1}<1\). We claim by induction
Since \(\|u\|{ }_{L^{\infty }(Q_{2, \bar T})}\le 1\), (5.35) holds true for n = 0, so suppose by contradiction that
for some n ≥ 1. Being osc(u, Q n) ≥osc(u, Q n+1) we infer
By scaling and translation invariance, the function \(v(x, t)=\gamma ^{-n}u\big (\delta ^{n} x, (t-\bar T)\theta ^{n}+\bar T\big )\) solves in Q 0 an equation of the type (5.29) and, recalling that \(\gamma = 1/(\bar m+1)\), we have
We infer from the latter that the assumption in (5.33) holds for at least one of the nonnegative supersolutions \(v_{+}:= v-\inf _{Q_{0}} v\) or \(v_{-}=\sup _{Q_{0}}v-v\): indeed, for example, P 0(K 1; v + ≥ 1∕2) < 1∕2 is equivalent to P 0(K 1; v + < 1∕2) ≥ 1∕2 and then osc(v, Q 0) ≥ 1 ensures
Suppose, without loss of generality, that P 0(K 1; v + ≥ 1∕2) ≥ 1∕2: then, since \(\theta \le \bar \theta \) and δ ≤ 1∕4, (5.33) implies \(\inf _{Q_{1}}v_{+}\ge \bar m\) and thus
Scaling back to u and using the relations in (5.36), we obtained the contradiction
To prove (5.34) let \(\eta =\delta \, \min \{1, \gamma ^{\frac {p-2}{p}}\}\) and suppose η n+1 ≤ r ≤ η n for some n. Then, using \(\theta ^{\frac {1}{2-p}}\, \delta ^{\frac {p}{p-2}}=\gamma \), we infer \(K_{r}\times [\bar T(1-r^{p})]\subseteq Q_{n}\). Letting \(\bar \alpha =\log _{\eta }\gamma \) and using (5.35) we have
□
5.4 Degenerate Parabolic Equations
This subsection is devoted to the case p > 2 of (5.29). Compared to the homogeneous case p = 2, the most delicate part is the proof of the measure-to-point estimate, Lemma 5.22 below.
Lemma 5.20
Assume that u ≥ 0 is a supersolution in Q 1,T of (5.29) with p > 2. For any μ > 0 there exists k(μ) ∈ ]0, 1[ such that
Proof
For any k, δ ∈ ]0, 1[, we employ (5.31) with η as in (5.16), obtaining for t ∈ [0, T]
For ε ∈ ]0, 1[ we have
which, inserted into the previous estimate and dividing by k 2(1 − ε)2 gives
Therefore
Choose δ, ε ∈ ]0, 1[ and, for each t ∈ [0, T], k t ∈ ]0, 1[ such that
Clearly it holds δ = δ(μ), ε = ε(μ) and therefore \(k_{t}=k(\mu )/(t+1)^{\frac {1}{p-2}}\). With these choices we have 1 − P t(K 1; u ≥ εk t) ≤ 1 − μ∕2, proving the claim. □
The previous Lemma suggests to consider the function \((t+1)^{\frac {1}{p-2}}u(x, t)\), which is a supersolution to an equation similar to (5.29), but with structural constants depending on t (and degenerating for large times). In order to keep the structural conditions independent of t, it turns out that the change of time variable t + 1 = e τ suffices, so that we consider instead
A straightforward calculation shows that v is a solution on \(Q_{1,\log (T+1)}\) of
with \(\tilde A(x, s, z):=e^{\frac {\tau }{p-2}}A\left (x, se^{\frac {-\tau }{p-2}}, ze^{\frac {-\tau }{p-2}}\right )\) obeying the structural conditions in (5.29). In particular, if u ≥ 0, v belongs to the class of nonnegative supersolution of (5.29).
Lemma 5.21 (Shrinking Lemma)
Suppose v ≥ 0 is a supersolution in Q 2,S of (5.29) for p ≥ 2 such that
for some μ > 0, k ≥ 0. There exists β = β(μ) such that
Proof
The proof is very similar to the one of Lemma 5.10 and we only sketch it. Suppose n ≥ 1 satisfies 2n(p−2) ≤ S k p−2 and let k j = k∕2j for j = 0, …, n. Let Q := Q 1,S and use (5.31) with η as in (5.19) with R = 1, to get
For any t ∈ [0, S] apply the De Giorgi-Poincaré inequality and (5.41) to obtain
Integrate over [0, S], use Hölder’s inequality and the energy estimate to get for j = 0, …, n − 1
As j ≤ n, it holds 2j(p−2) ≤ S k p−2 as well, implying \(k_{j}^{2}/S\le k_{j}^{p}\). Thus we can simplify all the factors involving k j above, giving for all j ≤ n − 1
which, summed over j ≤ n − 1 gives (5.42) by the usual telescopic argument. □
Lemma 5.22 (Measure-to-Point Estimate)
For any μ ∈ ]0, 1[ there exists m(μ) ∈ ]0, 1[, T(μ) > 1 such that any supersolution u ≥ 0 in Q 2,T(μ) fulfills
Proof
Let T to be determined and suppose u ≥ 0 is a supersolution in Q 1,T. By Lemma 5.20,
If v is defined as per (5.40), the previous condition reads
so that, being v ≥ 0 a supersolution, Lemma 5.21 implies
Next choose n = n(μ), (and thus S = S(μ) := S n and T = T(μ) := e S − 1) so that \(\beta (\mu /2)/n^{1-\frac {1}{p}}\le \nu (1)\), with ν given in (5.32). Lemma 5.17 applied on Q 1,S with \(h=S^{\frac {1}{2-p}}\) thus gives
Recalling the definition (5.40) of v, in terms of u the latter implies
□
Theorem 5.23 (Hölder Regularity)
Any \(L^{\infty }_{\mathrm {loc}}(\Omega _{T})\) solution u of (5.29) in Ω T for p > 2 belongs to \(C^{\bar \alpha }_{\mathrm {loc}}(\Omega _{T})\) , with \(\bar \alpha \) depending only on N, p, C 0 and C 1 . Moreover, there exist \(\bar T\ge 1\) and \(\bar C>0\) such that if \(Q_{R}^{-}(\bar T):=K_{2R}\times [-\bar T\, R^{p}, 0]\subseteq \Omega _{T}\) , for any r ∈ [0, R] it holds
Proof
Let \(\bar T=T(1/2)\) be given in the previous Lemma. By space/time translation, it suffices to prove an oscillation decay near (0, 0), with \(Q^{-}_{r_{0}}(\bar T)\subseteq \Omega _{T}\) for some r 0 > 0. By (5.30), \(u(x\, r_{0}, t\, r_{0}^{p})\) (still denoted by u) solves (5.29) on \(Q^{-}_{1}(\bar T)\). Let \(M=\|u\|{ }_{L^{\infty }(Q^{-}_{1}(\bar T))}\): if M > 1 consider v(x, t) = M −1 u(x, M 2−p t), which, being p > 2, solves (5.29) on \(Q^{-}_{1}(\bar T)\) and \(\|v\|{ }_{L^{\infty }(Q^{-}_{1}(\bar T))}\le 1\). Applying Lemma 5.19 to \(v(\cdot , \bar T+t)\) (notice that \(Q_{1}^{-}(\bar T)\) translates to \(Q_{2, \bar T}\)) proves the Hölder continuity of u, while (5.45) is obtained from (5.34) for v, scaling back to u. □
The next lemma shows that the geometry of the expansion of positivity in the degenerate setting is very similar to the nondegenerate case. Compared to Fig. 4, the only difference is in the shape of the paraboloid which is thinner for larger p.
Lemma 5.24 (Expansion of Positivity)
There exists \(\bar \lambda >0\) and, for any μ > 0, c(μ) ∈ ]0, 1[, γ(μ) ≥ 1, such that if u ≥ 0 is a supersolution to (5.29) in Q 4R,T ,
whenever r ≤ ρ ≤ R and \(\gamma (\mu ) \big (k\, r^{\bar \lambda }/\rho ^{\bar \lambda }\big )^{2-p}\rho ^{p}\le T/c(\mu )\).
Proof
We first generalize (5.44) as follows: there exists θ(μ) > 0 such that for any η ≥ 1, h > 0
By considering v(x, t) = h −1 u(ρ x, h 2−p ρ p t) and recalling (5.30), it suffices to prove the claim for ρ = h = 1. By Lemma 5.20, (5.38) holds true, implying \(P_{s}(K_{4}; u\ge k(\mu )/(s+1)^{\frac {1}{p-2}})\ge \mu \, 4^{-N-1}\) where s is a parameter in [0, η − 1]. Rescale (5.44) considering
which fulfills P s(K 1; v ≥ 1) ≥ μ 4−N−1, to obtain, with the notations of (5.44)
If c(μ) := k(μ) m(μ 4−N−1), using s ∈ [0, η − 1], the latter reads in terms of u
Finally, let θ(μ) = 4p k(μ)2−p T(μ 4−N−1) and observe that ∪s ∈ [0,η−1] I s ⊇ [θ(μ)∕2, η θ(μ)],Footnote 2 proving (5.46). Notice that all the argument goes through as long as it holds sups ∈ [0,η−1] I s = 4p k(μ)2−p η(η − 1 + T(μ 4−N−1)) ≤ T which, scaling back, is ensured e.g. by η 2 θ(μ) ρ p h 2−p ≤ T.
To prove the lemma, again we can suppose k = 1, (otherwise consider v(x, t) = k −1 u(x, k 2−p t)). Let, as per (5.46), \(\bar \theta =\theta (1)\) and \(\bar c=c(1)\), ρ n = 2n r and define recursively
Applying (5.46) with η = 1, we get
and, proceeding by induction, we infer \(P_{t_{n}}(K_{\rho _{n+1}};\, u\ge c(\mu )\, \bar c^{n})=1\), for all n ≥ 0. In particular \(P_{t_{n}}(K_{\rho _{n}};\, u\ge c(\mu )\, \bar c^{n})=1\), so we again use (5.46) for η to be determined to obtain
Choose η so that
For this choice (5.48) holds in the time interval [t n+1, t n+2] giving, by monotonicity,
for a smaller c(μ). Let \(s_{n}:= \bar c^{n(2-p)}\rho _{n}^{p}\); computing t n we find t n ≃μ s n with constants depending on μ, therefore, for sufficiently large \(m=m(\mu )\in \mathbb {N}\), t n ≤ γ(μ) s n ≤ γ(μ) s n+1 ≤ t n+m and
The same argument as in the end of the proof of Lemma 5.14 gives the thesis. □
Theorem 5.25 (Forward Harnack Inequality)
Let u be a nonnegative solution of (5.29) in K 16R × [−T, T]. Then there exists \(\bar C>\bar \theta >0\) such that if \(\bar C\, u(0, 0)^{2-p}\, R^{p}\le T\) , then
Proof
Thanks to (5.30), the function v(x, t) = u(0, 0)−1 u(R p x, u(0, 0)2−p R p t) solves (5.29) in K 16 × [−T u(0, 0)p−2 R −p, T u(0, 0)p−2 R −p] and v(0, 0) = 1. It then suffices to prove the existence of \(\bar \theta \ge 1, \bar c\in \ ]0, 1[\) such that any solution u ≥ 0 of (5.29) in \(K_{16}\times [-2, \bar \theta /\bar c]\) obeys
As in Theorem 5.15, let \(Q^{-}_{\rho }:=K_{\rho }\times [-\rho ^{p}, 0]\) and consider \(\psi (\rho ):=(1-\rho )^{\bar \lambda }\sup _{Q_{\rho }^{-}}u\) for ρ ∈ [0, 1], where \(\bar \lambda \) is given in Lemma 5.24. Let by continuity ρ 0 ∈ [0, 1], \((x_{0}, t_{0})\in Q^{-}_{\rho _{0}}\) such that
choose \(\bar \xi \in \ ]0, 1[\) such that \((1-\bar \xi )^{-\bar \lambda }=2\) and let \(r=\bar \xi \, (1-\rho _{0})\). As in (5.26), it holds \(u_{0}\, r^{\bar \lambda }\ge \xi ^{\bar \lambda }\). Let \(\bar T\) be given in Theorem 5.23 and let \(\widetilde Q_{r}:=K_{\bar T^{-1/p}\,r}(x_{0})\times [t_{0}- r^{p}, t_{0}]\). Since \(\bar T\ge 1\), it holds \(\widetilde Q_{r}\subseteq Q^{-}_{\rho _{0}+r}\) and we can deduce as in (5.27) that \(\sup _{\widetilde Q_{r}} u\le (1-\bar \xi )^{-\bar \lambda }\, u_{0}\). Then (5.45) ensures
Since u(x 0, t 0) = u 0, we infer u(⋅, t 0) ≥ u 0∕2 in \(K_{\bar \eta r}(x_{0})\) for some \(\bar \eta >0\). Therefore \(P_{t_{0}}(K_{r}(x_{0});\ u\ge u_{0}/2)\ge \bar \eta ^{N}\) and being \(u_{0}\, r^{\bar \lambda }\ge \bar \xi ^{\bar \lambda }\), a fortiori it holds \(P_{t_{0}}(K_{r}(x_{0});\ u\ge \bar \xi ^{\bar \lambda }\, r^{-\bar \lambda }/2)\ge \bar \eta ^{N}\). Since K 12(x 0) ⊆ K 16, Lemma 5.24 with \(k= \bar \xi ^{\bar \lambda }\, r^{-\bar \lambda }/2\) gives for suitable \(\bar \gamma \ge 1>\bar c>0\)
In (5.50) we let \(\bar \theta :=\bar \gamma \, 2^{p+\bar \lambda (p-2)}\) and choose ρ such that \( t_{0}+\bar \gamma \, \xi ^{\bar \lambda (2-p)}\rho ^{p+\bar \lambda (p-2)}=\bar \theta \). From t 0 ≤ 0 we get ρ ≥ 2 (and thus K ρ(x 0) ⊇ K 1) and from t 0 ≥−1 we infer
Hence (by eventually lowering \(\bar c\)), such ρ is admissible and its upper bound proves (5.50). □
Theorem 5.26 (Backward Harnack Inequality)
Let u be a nonnegative solution of (5.29) in K 16R × [−T, T]. Then there exists \(\bar C^{\prime }>\bar \theta ^{\prime }>0\) such that if \(\bar C^{\prime }\, u(0, 0)^{2-p}\, R^{p}\le T\) , then
Proof
By the same scaling argument as before, we can reduce to the case R = 1, u(0, 0) = 1. Let, for t ≥ 0, w(t) := u(0, −t) and apply (5.49) to u with (0, −t) instead of (0, 0) to get
If \(w(t)\le 2\, \bar C\) for some \(t\le \bar \theta /(2\, \bar C)^{p-2}\), we can choose ρ(t) > 0 such that \(\rho (t)^{p}=t\, w^{p-2}(t)/\bar \theta \le 1\), obtaining \(u(0, 0)=u(0, - t+\bar \theta \, w^{2-p}(t)\, \rho ^{p}(t))\). Therefore we proved
which implies \(w(t)\le 2\, \bar C\) for all \(0\le t\le \bar \theta /\bar (2\, \bar C)^{p-2}\) by a continuity argument. Letting \(\bar \theta ^{\prime }= \bar \theta /\bar (2\, \bar C)^{p-2}\), \(\bar C^{\prime }=2\, \bar C\) we prove (5.51) by contradiction: from \(u(0, -\bar \theta ^{\prime })\le \bar C\) and \(\sup _{K_{1}}u(\cdot , -\bar \theta ^{\prime })>2\, \bar C\), by continuity there exists \(\bar x\in K_{1}\) such that \(u(\bar x, -\bar \theta ^{\prime })=2\, \bar C\). Since \(0\in K_{1}(\bar x)\) and \(\bar \theta \, (2\, \bar C)^{2-p}=\bar \theta ^{\prime }\), the Harnack inequality (5.49) for u at the point \((\bar x, -\theta ^{\prime })\) implies
□
5.5 Singular Parabolic Equations
We conclude with the Harnack inequality for solutions of parabolic singular supercritical equations. The measure-to-point estimate will be treated through a change of variable analogous to the degenerate case, but requires a little bit more care. From this we’ll derive a Hölder continuity result for all bounded solutions in the full range p ∈ ]1, 2[. As mentioned in the introduction of the section, the proof of the Harnack inequality will rely on Theorem 5.32, which we state without proof.
Lemma 5.27
Let u ≥ 0 be a supersolution in Q 1,T of (5.29) with p ≤ 2. For any μ > 0 there exists k(μ) ∈ ]0, 1[, \(T(\mu )\in \ ]0, \min \{1, T\}]\) such that
Proof
Proceed as in Lemma 5.20 to get (5.39) for k = 1, δ, ε, ∈ ]0, 1[ and t ∈ [0, T]. Thus
Choose δ = δ(μ) and ε = ε(μ) as per 1 − δ N = μ∕8 and (1 − μ)∕(1 − ε)2 = 1 − 3μ∕4, so that
Choosing T(μ) ≤ T such that C(μ) T(μ) ≤ μ∕8 gives the claim. □
Lemma 5.28 (Shrinking Lemma)
Let v ≥ 0 be a supersolution in Q 2,S of (5.29) with p ∈ ]1, 2[ such that for some μ, k ∈ ]0, 1[
Then there exists β = β(μ) > 0 such that for any n ≥ 1
Proof
Proceed as in the proof of Lemma 5.21 up to (5.43) with Q = Q 1,S. As j ≥ 1 and p < 2, it holds \(k_{j}^{p}+k_{j}^{2}/S\le k_{j}^{p}(1+k^{2-p}/S)\), so that
which yields the conclusion summing over j ≤ n − 1. □
Lemma 5.29 (Measure-to-Point Estimate)
Let u ≥ 0 be a supersolution of (5.29) for p ∈ ]1, 2]. For any μ ∈ ]0, 1] there exists m(μ), T(μ) ∈ ]0, 1[ such that
Moreover, T(μ) can be chosen arbitrarily small by decreasing m(μ).
Proof
Let T(μ), k(μ) be given in Lemma 5.27: clearly T(μ) can be chosen arbitrarily small. Since p < 2, an explicit computation shows that for any fixed T ∈ [T(μ)∕2, T(μ)], the function
is a supersolution to (5.29). The conclusion for u of Lemma 5.27 becomes for v
and for \(s\ge -\log T\) to be chosen, the latter implies (thanks to p < 2)
For ν(μ) and β(μ) given in Lemmata 5.17 and 5.28, let n = n(μ) ≥ 1 be such that
and for \(s\ge -\log T \) let I s = [e s, 2e s]. Due to (5.53), Lemma 5.28 applies to v on K 1 × I s for \(k=k(\mu )\, e^{\frac {s}{2-p}}\), giving, by the choice of n = n(μ),
Subdivide I s in [2n(2−p)] + 1 disjoint intervals, each of length λ ∈ [e s (2−n(2−p) − 1), e s 2−n(2−p)]. On at least one of them, say J = [a, a + λ] ⊆ I s, (5.54) holds for J instead of I s, thus a fortiori
Apply (5.32) to v on K 1 × J to obtain
Since λ ≥ e s (2−n(2−p) − 1), in terms of u and s, the latter implies that for some τ s ∈ J ⊆ [e s, 2e s]
Apply Lemma 5.18 to u in \(K_{1/2}\times [T- e^{-\tau _{s}}, T]\) with \(h= c(\mu )\, e^{\frac {s-\tau _{s}}{2-p}}\) to get
Finally, let \(\tilde s=s(\mu )=\max \{-\log (T(\mu )/2), -\log (\bar \sigma \, 2^{-p}\, c(\mu )\}\), so that it holds
Therefore (5.55) holds for t = T and from \(\tau _{\tilde s}\le 2e^{\tilde s}\) we deduce a lower bound on \(e^{\tilde s-\tau _{\tilde s}}\) depending only on μ, which proves (5.52) by the arbitrariness of T ∈ [T(μ)∕2, T(μ)]. □
Theorem 5.30 (Hölder Regularity)
Any \(L^{\infty }_{\mathrm {loc}}(\Omega _{T})\) solution u of (5.29) in Ω T for p ∈ ]1, 2[ belongs to \(C^{\bar \alpha }_{\mathrm {loc}}(\Omega _{T})\) , with \(\bar \alpha \) depending only on the data. Moreover there exists \(\bar S\) , also depending on the data, with the following property: if \(S\ge \bar S\) there exist \(\bar C(S)>0\) such that
for any k, R > 0 for which K 2 R × [−k 2−p R p, 0] ⊆ Ω T.
Proof
Let \(\bar T=T(1/2)\in \ ]0, 1]\) given in the previous Lemma. By space-time translations and rescaling we are reduced to prove Hölder continuity near (0, 0) with \(\bar Q:=K_{2}\times [-\bar T, 0]\subseteq \Omega _{T}\). If \(M:=\|u\|{ }_{L^{\infty }(\bar Q)}>1\) consider M −1 u(M (p−2)∕p x, t) which, being p ∈ ]1, 2[, solves (5.29) in \(\bar Q\) and fulfills \(\|v\|{ }_{L^{\infty }(\bar Q)}\le 1\). Applying Lemma 5.19 gives the first statement. To prove (5.56), suppose that \(S\ge \bar T^{\frac {1}{p-2}}=:\bar S\), rescale to R = 1, then let \(\bar \gamma (S):=S^{p-2}\, \bar T^{-1}\) and consider
Thanks to (5.30), it is readily verified that v solves (5.29) in \(\bar Q\) and by the assumption in (5.56) it is bounded by 1. Applying (5.34) (notice that \(\bar T\) is the same) and rescaling back gives (5.56) for all \(r\le \bar \gamma (S)^{1/p} R\) and hence for all r ≤ R with eventually a bigger constant. □
Lemma 5.31 (Expansion of Positivity, See Fig. 5)
There exists \(\bar \lambda >p/(2-p)\) and, for any μ > 0, c(μ), γ 1(μ), γ 2(μ) ∈ ]0, 1[ s. t. if u ≥ 0 is a supersolution in Q 8R,T
whenever r ≤ ρ ≤ R and \( k^{2-p}\, r^{p}\, (\gamma _{1}(\mu )+\gamma _{2}(\mu )(1-(r/\rho )^{\bar \lambda (2-p)-p}))\le T\) . Moreover, the γ i(μ) can be chosen arbitrarily small by lowering c(μ).
Proof
The proof is very similar (and in fact simpler) to the one of Lemma 5.24 and we only sketch it. First expand in space (5.52) through
where we have set, with the notations in (5.52), θ(μ) := T(μ∕8N), c(μ) := m(μ∕8N). Notice that, since p < 2, we can suppose that 2p c(1)2−p ≤ 1. Through a scaling argument, we infer that for any supersolution u ≥ 0 in K 8ρ × [0, θ(μ) h 2−p ρ p] it holds
To prove (5.57), we can suppose that k = 1 by scaling and define
and t n as per (5.47). Since by assumption P 0(K r;u ≥ 1) ≥ μ, a first application of (5.58) implies \(P_{t_{0}}(K_{r}; u\ge c(\mu ))=1\). Iterating (5.58) with μ = 1 we thus obtain
for all n ≥ 1. From \(2^{p}\, \bar c^{2-p}\le 1\) we infer \(t_{n}+2^{-1}\, \bar \theta \, (c(\mu )\, \bar c^{n-1})^{2-p}\, \rho _{n-1}^{p}\ge t_{n+1}\), so that
Finally, an explicit calculation shows that for suitable γ 1(μ), γ 2(μ) > 0 it holds
where \(\bar \lambda =-\log _{2}\bar c>p/(2-p)\). A monotonicity argument then gives the claim for any ρ ≥ r. □
Theorem 5.32 (Appendix A of [31])
Let u ≥ 0 solve (5.29) in K 2R × [t − 2h, t] for some p ∈ ]p ∗, 2[. Then
Theorem 5.33 (Harnack Inequality)
Let p ∈ ]p ∗, 2[. There exists constants \(\bar C\ge 1\) , \(\bar \theta >0\) such that any solution u ≥ 0 of (5.29) in K 8R × [−T, T] obeying u(0, 0) > 0 and
satisfies the following Harnack inequality
Proof
Consider the solution u(0, 0)−1 u(R x, R p u(0, 0)2−p t) in K 8 × [−T ′, T ′] (still denoted by u) with T ′ = T R −p u(0, 0)p−2. This reduces us to u(0, 0) = 1, R = 1, T ′≥ 4 and (5.60) implies
We first prove the \(\inf \) bound in (5.61). Let \(\bar \lambda \ge p/(2-p)\) be the expansion of positivity exponent, define \(\psi (\rho )=(1-\rho )^{\bar \lambda }\, \sup _{K_{\rho }}u(\cdot , 0)\) for ρ ∈ [0, 1] and choose ρ 0, \(x_{0}\in K_{\rho _{0}}\) such that
As in the proof of Theorem 5.7, we can let \(\bar \xi \in [0, 1]\) obey \((1-\bar \xi )^{-\bar \lambda }=2\) to find for \(r=\bar \xi \, (1- \rho _{0})\)
Let \(a:=u_{0}^{2-p}\, r^{p}\). By construction u 0 ≤ M and by (5.62), u solves (5.29) in K r(x 0) × [−4 a, 4 a]. Apply (5.59) for R = r∕2, t = a, s = 0 and h = 2 a to get
where we used the second inequality in (5.63) to bound the integral. Since \(a=u_{0}^{2-p}\, r^{p}\), we can apply (5.56) with k = u 0 in both K r∕2(x 0) × [−a, 0] and K r∕2(x 0) × [0, a] to get
As u(x 0, 0) = u 0 we infer that u ≥ u 0∕2 in \(K_{\bar \eta r}(x_{0})\times [-\bar \eta ^{p}\, a, \bar \eta ^{p}\, a]\) for suitable \(\bar \eta \in \ ]0, 1/2[\), so that \(P_{t}(K_{r}(x_{0});\, u\ge u_{0}/2)\ge \bar \eta ^{N}\) for all \(|t|\le \bar \eta \, u_{0}^{2-p}\, r^{p}\). Apply the expansion of positivity Lemma 5.31 at an arbitrary time t such that \(|t|\le \bar \eta \, u_{0}^{2-p}\, r^{p}\), choosing the \(\gamma _{i}(\bar \eta ^{N})\) so small that \(\gamma _{1}(\bar \eta ^{N})+\gamma _{2}(\bar \eta ^{N})<\bar \eta /2\). Its conclusion for k = u 0∕2, ρ = 2 implies, thanks to K 2(x 0) ⊇ K 1,
for all \(|t|\le \bar \eta \, u_{0}^{2-p}\, r^{p}\). The latter readily gives \(u(x, t)\ge \bar c\, u_{0}\, r^{\bar \lambda }\) for x ∈ K 1 and \(|t|\le \bar \eta \, u_{0}^{2-p} \, r^{p}/2\). Finally, observe that since r ≤ 1 and \(\bar \lambda \ge p/(2-p)\), it holds \(u_{0}^{2-p} \, r^{p}\ge (u_{0}\, r^{\bar \lambda })^{2-p}\), so that the first inequality in (5.63) yields \(u(x, t)\ge \bar c\, \bar \xi ^{\bar \lambda }=:1/\bar C\) for x ∈ K 1 and \(|t|\le \bar \eta \, \bar \xi ^{\bar \lambda (2-p)}/2=:\bar \theta \).
To prove the \(\sup \) bound we proceed similarly. Indeed, let x ∗∈ K R be such that \(u(x_{*}, 0)=\sup _{K_{R}}u\). Notice that K R(x ∗) ⊆ K 2R, hence (5.60) still implies (5.62) for the rescaled (and translated) function. Hence, the same proof as before carries over, giving, after rescaling back, \(\inf _{K_{R}} u(\cdot , 0)\ge c\, u(x_{*}, 0)\). This implies \(\sup _{K_{1}}u(\cdot , 0)\le C\, u(0, 0)\) and we can proceed as in (5.64) for r = 2R, x 0 = 0 and \(a= R^{p}\sup _{K_{2R}}u\) to get the final \(\sup \) estimate. □
Notes
- 1.
Actually, to a parabolic version of the Harnack inequality, which readily implies the elliptic one. For further details see the discussion on the parabolic Harnack inequality below and for a nice historical overview on the subject see [80, Section 5.5].
- 2.
Both \(a(s)=\inf I_{s}\) and \(b(s)=\sup I_{s}\) are continuous, hence ∪s ∈ [0,η−1] I s = [infs ∈ [0,η−1] a(s), sups ∈ [0,η−1] b(s)]. Then observe that a(0) = θ(μ)∕2 while b(η − 1) ≥ η θ(μ).
References
D.G. Aronson, Bounds for the fundamental solution of a parabolic equation. Bull. Am. Math. Soc. 73, 890–896 (1967)
D.G. Aronson, J. Serrin, Local behavior of solutions of quasilinear parabolic equations. Arch. Ration. Mech. Anal. 25, 81–122 (1967)
G.I. Barenblatt, On some unsteady motions of a liquid or a gas in a porous medium. Prikl. Mat. Mech. 16, 67–78 (1952)
G.I. Barenblatt, A.S. Monin, Flying sources and the microstructure of the ocean: a mathematical theory. Uspekhi Mat. Nauk. 37, 125–126 (1982)
G.I. Barenblatt, V.M. Entov, V.M. Rizhnik, Motion of Fluids and Gases in Natural Strata (Nedra, Moscow, 1984)
M. Barlow, M. Murugan, Stability of the elliptic Harnack inequality. Ann. Math. 187, 777–823 (2018)
V. Bögelein, F. Duzaar, G. Mingione, The regularity of general parabolic systems with degenerate diffusion. Mem. Am. Math. Soc. 221(1041), x+143 pp. (2013)
V. Bögelein, F. Ragnedda, S. Vernier Piro, V. Vespri, Moser-Nash kernel estimates for degenerate parabolic equations. J. Funct. Anal. 272, 2956–2986 (2017)
E. Bombieri, E. Giusti, Harnack’s inequality for elliptic differential equations on minimal surfaces. Invent. Math. 15, 24–46 (1972)
E. Bombieri, E. De Giorgi, M. Miranda, Una maggiorazione a priori relativa alle ipersuperfici minimali non parametriche. Arch. Rat. Mech. Anal. 32, 255–267 (1965)
M. Bonforte, J.L. Vazquez, Positivity, local smoothing and Harnack inequalities for very fast diffusion equations. Adv. Math. 223, 529–578 (2010)
M. Bonforte, R.G. Iagar, J.L. Vazquez, Local smoothing effects, positivity, and Harnack inequalities for the fast p-Laplacian equation. Adv. Math. 224, 2151–2215 (2010)
M.V. Calahorrano Recalde, V. Vespri, Harnack estimates at large: sharp pointwise estimates for nonnegative solutions to a class of singular parabolic equations. Nonlinear Anal. 121, 153–163 (2015)
M.V. Calahorrano Recalde, V. Vespri, Backward pointwise estimates for nonnegative solutions to a class of singular parabolic equations. Nonlinear Anal. 144, 194–203 (2016)
Y.Z. Chen, E. DiBenedetto, On the local behaviour of solutions of singular parabolic equations. Arch. Ration. Mech. Anal. 103, 319–346 (1988)
S.Y. Cheng, S.T. Yau, Differential equations on Riemannian manifolds and their geometric applications. Commun. Pure Appl. Math. 28, 333–354 (1975)
T.H. Colding, W.P. Minicozzi II, Harmonic functions on manifolds. Ann. Math. 146, 725–747 (1997)
E. De Giorgi, Sulla differenziabilità e l’analiticità delle estremali degli integrali multipli regolari. Mem. Accad. Sci. Torino. Cl. Sci. Fis. Mat. Nat. 3, 25–43 (1957)
E. DiBenedetto, On the local behaviour of solutions of degenerate parabolic equations with measurable coefficients. Ann. Sc. Norm. Sup. Pisa Cl. Sc. Serie IV 13, 487–535 (1986)
E. DiBenedetto, Intrinsic Harnack type inequalities for solutions of certain degenerate parabolic equations. Arch. Ration. Mech. Anal. 100, 129–147 (1988)
E. DiBenedetto, Degenerate Parabolic Equations. Universitext (Springer, New York, 1993)
E. DiBenedetto, A. Friedman, Hölder estimates for non-linear degenerate parabolic systems. J. Reine Angew. Math. 357, 1–22 (1985)
E. DiBenedetto, U. Gianazza, Some properties of De Giorgi classes. Rend. Istit. Mat. Univ. Trieste 48, 245–260 (2016)
E. DiBenedetto, Y.C. Kwong, Intrinsic Harnack estimates and extinction profile for certain singular parabolic equations. Trans. Am. Math. Soc. 330, 783–811 (1992)
E. DiBenedetto, N.S. Trudinger, Harnack inequalities for quasi-minima of Variational integrals. Ann. Inst. H. Poincaré Anal. Non Linéaire 1, 295–308 (1984)
E. DiBenedetto, U. Gianazza, V. Vespri, Harnack Estimates for quasi-linear degenerate parabolic differential equation. Acta Math. 200, 181–209 (2008)
E. DiBenedetto, U. Gianazza, V. Vespri, Forward, backward and elliptic Harnack inequalities for non-negative solutions to certain singular parabolic partial differential equations. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (5) 9, 385–422 (2010)
E. DiBenedetto, U. Gianazza, V. Vespri, Harnack estimates and Hölder continuity for solutions to singular parabolic partial differential equations in the sub-critical range. Manuscripta Math. 131, 231–245 (2010)
E. DiBenedetto, U. Gianazza, V. Vespri, A new approach to the expansion of positivity set of non-negative solutions to certain singular parabolic partial differential equations. Proc. Am. Math. Soc. 138, 3521–3529 (2010)
E. DiBenedetto, U. Gianazza, V. Vespri, Liouville-type theorems for certain degenerate and singular parabolic equations. C. R. Acad. Sci. Paris Ser. I 348, 873–877 (2010)
E. DiBenedetto, U. Gianazza, V. Vespri, Harnack’s Inequality for Degenerate and Singular Parabolic Equations. Springer Monographs in Mathematics (Springer, New York/Heidelberg, 2012)
F. Duzaar, G. Mingione, K. Steffen, Parabolic systems with polynomial growth and regularity. Mem. Am. Math. Soc. 214(1005), x+118 pp. (2011)
E.B. Fabes, N. Garofalo, Parabolic B.M.O. and Harnack’s inequality. Proc. Am. Math. Soc. 50, 63–69 (1985)
E.B. Fabes, D.W. Stroock, A new proof of Moser’s parabolic Harnack inequality via the old ideas of Nash. Arch. Rat. Mech. Anal. 96, 327–338 (1986)
A. Farina, A Bernstein-type result for the minimal surface equation. Ann. Sc. Norm. Super. Pisa Cl. Sci. 14, 1231–1237 (2015)
E. Ferretti, M.V. Safonov, Growth theorems and Harnack inequality for second order parabolic equations, in Harmonic Analysis and Boundary Value Problems (Fayetteville, AR, 2000). Contemporary Mathematics, vol. 277 (American Mathematical Society, Providence, 2001), pp. 87–112
S. Fornaro, M. Sosio, Intrinsic Harnack estimates for some doubly nonlinear degenerate parabolic equations. Adv. Differ. Equ. 13, 139–168 (2008)
S. Fornaro, V. Vespri, Harnack estimates for non negative weak solutions of singular parabolic equations satisfying the comparison principle. Manuscrpita Math. 141, 85–103 (2013)
S. Fornaro, M. Sosio, V. Vespri, Harnack type inequalities for some doubly nonlinear singular parabolic equations. Discrete Contin. Dyn. Syst. Ser. A 35, 5909–5926 (2015)
U. Gianazza, V. Vespri, Parabolic De Giorgi classes of order p and the Harnack inequality. Calc. Var. Partial Differ. Equ. 26, 379–399 (2006)
U. Gianazza, V. Vespri, A Harnack inequality for solutions of doubly nonlinear parabolic equations. J. Appl. Funct. Anal. 1, 271–284 (2006)
U. Gianazza, M. Surnachev, V. Vespri, On a new proof of Hölder continuity of solutions of p-Laplace type parabolic equations. Adv. Calc. Var. 3, 263–278 (2010)
E. Giusti, Direct Methods in the Calculus of Variations (World Scientific Publishing Co., Inc., River Edge, 2003)
A. Grigor’yan, The heat equation on non-compact Riemannian manifolds. Matem. Sbornik 182, 55–87 (1991). Engl. transl. Math. USSR Sb. 72, 47–77 (1992)
J. Hadamard, Extension à l’ équation de la chaleur d’ un theoreme de A. Harnack. Rend. Circ. Mat. Palermo 3, 337–346 (1954)
R.S. Hamilton, A matrix Harnack estimate for the heat equation. Commun. Anal. Geom. 1, 113–126 (1993)
C.G.A. von Harnack, Die Grundlagen der Theorie des logaritmischen Potentiales und der eindeutigen Potentialfunktion in der Ebene (Teubner, Leipzig, 1887)
M.A. Herrero, M. Pierre, The Cauchy problem for u t = Δ(u m) when 0 < m < 1. Trans. Am. Math. Soc. 291, 145–158 (1985)
C. Imbert, L. Silvestre, An introduction to fully nonlinear parabolic equations, in An Introduction to the Kḧler-Ricci Flow. Lecture Notes in Mathematics vol. 2086 (Springer, Cham, 2013), pp. 7–88
A.V. Ivanov, Regularity for doubly nonlinear parabolic equations. J. Math. Sci. 83, 22 (1997)
F. John, L. Nirenberg, On functions of bounded mean oscillation. Commun. Pure Appl. Math. 14, 415–426 (1961)
A.S. Kalashnikov, Some problems of the qualitative theory of nonlinear degenerate second order parabolic equations. Russ. Math. Surv. 42, 169–222 (1987)
S. Kamin, J.L. Vázquez, Fundamental solutions and asymptotic behavior for the p-Laplacian equation. Rev. Mat. Iberoamericana 4, 339–354 (1988)
M. Kassmann, Harnack inequalities: an introduction. Bound. Value Probl. 2007, 81415 (2007)
J. Kinnunen, Regularity for a doubly nonlinear parabolic equation, in Geometric Aspects of Partial Differential Equations. RIMS Kôkyûroku, vol. 1842 (Kyoto University, 2013), pp. 40–60
J. Kinnunen, T. Kuusi, Local behavior of solutions to doubly nonlinear parabolic equations. Math. Ann. 337, 705–728 (2007)
N.V. Krylov, Fully nonlinear second order elliptic equations: recent development. Dedicated to Ennio De Giorgi. Ann. Scuola Norm. Sup. Pisa Cl. Sci. Ser. 4 25, 569–595 (1997)
N.V. Krylov, M.V. Safonov, A certain property of solutions of parabolic equations with measurable coefficients. Izv. Akad. Nauk SSSR Ser. Mat. 44, 161–175 (1980) (in Russian). Translated in Math. of the USSR Izv. 16, 151–164 (1981)
B.L. Kotschwar, Hamilton’s gradient estimate for the heat kernel on complete manifolds. Proc. Am. Math. Soc. 135, 3013–3019 (2007)
M. Küntz, P. Lavallée, Experimental evidence and theoretical analysis of anomalous diffusion during water infiltration in porous building materials. J. Phys. D: Appl. Phys. 34, 2547–2554 (2001)
T. Kuusi, G. Mingione, Nonlinear potential theory of elliptic systems. Nonlinear Anal. 138, 277–299 (2016)
O.A. Ladyzenskaya, N.A. Solonnikov, N.N. Uraltzeva, Linear and quasilinear equations of parabolic type. Translations of Mathematical Monographs, vol. 23 (American Mathematical Society, Providence, RI, 1967)
E.M. Landis, Second Order Equations of Elliptic and Parabolic Type. Translations of Mathematical Monographs, vol. 171 (American Mathematical Society, Providence, RI, 1998; Nauka, Moscow, 1971)
P. Li, Harmonic functions on complete Riemannian manifolds, in Handbook of Geometric Analysis, vol. I. Advanced Lectures in Mathematics, vol. 7 (Higher Education Press and International Press, Beijing/Boston, 2008), pp. 195–227
P. Li, S.T. Yau, On the parabolic kernel of the Schrödinger operator. Acta Math. 156, 153–201 (1986)
F. Lin, Q.S. Zhang, On ancient solutions of the heat equation. Arxiv preprint. arXiv:1712.04091v2
D. Maldonado, On the elliptic Harnack inequality. Proc. Am. Math. Soc. 145, 3981–3987 (2017)
J.H. Michael, L.M. Simon, Sobolev and mean-value inequalities on generalized submanifolds of \(\mathbb {R}^{N}\). Commun. Pure Appl. Math. 26, 361–379 (1973)
G. Mingione, Regularity of minima: an invitation to the Dark Side of the Calculus of Variations. Appl. Math. 51, 355–426 (2006)
J. Moser, On Harnack’s theorem for elliptic differential equations. Commun. Pure Appl. Math. 14, 577–591 (1961)
J. Moser, A Harnack inequality for parabolic differential equations. Commun. Pure Appl. Math. 17, 101–134 (1964)
J. Moser, On a pointwise estimate for parabolic differential equations. Commun. Pure Appl. Math. 24, 727–740 (1971)
R. Müller, Differential Harnack Inequalities and the Ricci Flow. EMS Series of Lectures in Mathematics (European Mathematical Society (EMS), Zürich, 2006)
J. Nash, Continuity of solutions of parabolic and elliptic equations. Am. J. Math. 80, 931–954 (1958)
B. Pini, Sulla soluzione generalizzata di Wiener per il primo problema di valori al contorno nel caso parabolico. Rend. Sem. Mat. Univ. Padova 23, 422–434 (1954)
M.M. Porzio, V. Vespri, Hölder estimates for local solutions of some doubly nonlinear degenerate parabolic equations. J. Differ. Equ. 103, 146–178 (1993)
F. Ragnedda, S. Vernier Piro, V. Vespri, Pointwise estimates for the fundamental solutions of a class of singular parabolic problems. J. Anal. Math. 121, 235–253 (2013)
L. Saloff-Coste, A note on Poincare, Sobolev and Harnack inequalities. Duke Math. J. 65, 27–38 (1992)
L. Saloff-Coste, Uniformly elliptic operators on Riemannian manifolds. J. Differ. Geom. 36, 417–450 (1992)
L. Saloff-Coste, Aspects of Sobolev-Type Inequalities. London Mathematical Society Lecture Notes Series, vol. 289 (Cambridge University Press, Cambridge, 2001)
J. Serrin, Local behavior of solutions of quasi-linear equations. Acta Math. 111, 247–302 (1964)
R.E. Showalter, N.J. Walkington, Diffusion of fluid in a fissured medium with micro-stricture. SIAM J. Mat. Anal. 22, 1702–1722 (1991)
Ph. Souplet, Q.S. Zhang, Sharp gradient estimate and Yau’s Liouville theorem for the heat equation on noncompact manifolds. Bull. Lond. Math. Soc. 38, 1045–1053 (2006)
A.F. Tedeev, V. Vespri, Optimal behavior of the support of the solutions to a class of degenerate parabolic systems. Interfaces Free Bound. 17, 143–156 (2015)
E.V. Teixeira, J.M. Urbano, An intrinsic Liouville theorem for degenerate parabolic equations. Arch. Math. 102, 483–487 (2014)
N.S. Trudinger, On Harnack type inequalities and their application to quasilinear elliptic partial differential equations. Commun. Pure Appl. Math. 20, 721–747 (1967)
N.S. Trudinger, Pointwise estimates and quasilinear parabolic equations. Commun. Pure Appl. Math. 21, 205–226 (1968)
N.S. Trudinger, A new proof of the interior gradient bound for the minimal surface equation in N dimensions. Proc. Nat. Acad. Sci. U.S.A. 69, 821–823 (1972)
K. Uhlenbeck, Regularity for a class of nonlinear elliptic systems. Acta Math. 138, 219–240 (1977)
J.M. Urbano, The Method of Intrinsic Scaling. Lecture Notes in Mathematics, vol. 1930 (Springer, Berlin, 2008)
J.L. Vázquez, Smoothing and Decay Estimates for Nonlinear Diffusion Equations. Equations of Porous Medium Type. Oxford Lecture Series in Mathematics and its Applications, vol. 33 (Oxford University Press, Oxford, 2006)
J.L. Vázquez, The Porous Medium Equation: Mathematical Theory. Oxford Mathematical Monographs (Oxford Science Publications, Clarendon Press, Oxford, 2012)
D.V. Widder, The role of the Appell transformation in the theory of heat conduction. Trans. Am. Math. Soc. 109, 121–134 (1963)
S.T. Yau, Harmonic functions on complete Riemannian manifolds. Commun. Pure Appl. Math. 28, 201–228 (1975)
Acknowledgements
We would like to thank an anonymous referee for helping us improve the quality of a first version of the paper. S. Mosconi and V. Vespri are members of GNAMPA (Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni) of INdAM (Istituto Nazionale di Alta Matematica). F. G. Düzgün is partially funded by Hacettepe University BAP through project FBI-2017-16260; S. Mosconi is partially funded by the grant PdR 2016–2018 - linea di intervento 2: “Metodi Variazionali ed Equazioni Differenziali” of the University of Catania.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Düzgün, F.G., Mosconi, S., Vespri, V. (2019). Harnack and Pointwise Estimates for Degenerate or Singular Parabolic Equations. In: Dipierro, S. (eds) Contemporary Research in Elliptic PDEs and Related Topics. Springer INdAM Series, vol 33. Springer, Cham. https://doi.org/10.1007/978-3-030-18921-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-18921-1_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-18920-4
Online ISBN: 978-3-030-18921-1
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)