Fast diffusion on noncompact manifolds: Well-posedness theory and connections with semilinear elliptic equations

Abstract

We investigate the well-posedness of the fast diffusion equation (FDE) on noncompact Riemannian manifolds. Existence and uniqueness of solutions for L 1 L^1 initial data was established in Bonforte, Grillo, and Vázquez [J. Evol. Equ. 8 (2008), pp. 99–128]. However, in the Euclidean space, it is known from Herrero and Pierre [Trans. Amer. Math. Soc. 291 (1985), pp. 145–158] that the Cauchy problem associated with the FDE is well posed for initial data that are merely in L l o c 1 L^1_{\mathrm {loc}} . We establish here that such data still give rise to global solutions on general manifolds. If, moreover, the radial Ricci curvature satisfies a suitable pointwise bound from below (possibly diverging to − ∞ -\infty at spatial infinity), we prove that also uniqueness holds, for the same type of data, in the class of strong solutions. Besides, assuming in addition that the initial datum is in L l o c 2 L^2_{\mathrm {loc}} and nonnegative, a minimal solution is shown to exist, and we establish uniqueness of purely (nonnegative) distributional solutions, a fact that to our knowledge was not known before even in the Euclidean space. The required curvature bound is sharp, since on model manifolds it is equivalent to stochastic completeness, and it was shown in Grillo, Ishige, and Muratori [J. Math. Pures Appl. (9) 139 (2020), pp. 63–82] that uniqueness for the FDE fails even in the class of bounded solutions when stochastic completeness does not hold. A crucial ingredient of the uniqueness result is the proof of nonexistence of nonnegative, nontrivial distributional subsolutions to certain semilinear elliptic equations with power nonlinearities, of independent interest.