English

Sharp extinction rates for positive solutions of fast diffusion equations

Analysis of PDEs 2024-11-08 v1

Abstract

Let s(0,1]s \in (0, 1] and N>2sN > 2s. It is known that positive solutions to the (fractional) fast diffusion equation tu+(Δ)s(uN2sN+2s)=0\partial_t u + (-\Delta)^s (u^\frac{N-2s}{N+2s}) = 0 on (0,)×RN(0, \infty) \times \mathbb R^N with regular enough initial datum extinguish after some finite time T>0T_* > 0. More precisely, one has u(t,)UT,z,λ(t,)1=o(1)\frac{u(t,\cdot)}{U_{T_*, z, \lambda}(t,\cdot)} - 1 =o(1) as tTt \to T_*^- for a certain extinction profile UT,z,λU_{T_*, z, \lambda}, uniformly on RN\mathbb R^N. In this paper, we prove the quantitative bound u(t,)UT,z,λ(t,)1=O((Tt)N+2sN2s+2) \frac{u(t,\cdot)}{U_{T_*, z, \lambda}(t,\cdot)} - 1 = \mathcal O( (T_*-t)^\frac{N+2s}{N-2s+2}), in a natural weighted energy norm. The main point here is that the exponent N+2sN2s+2\frac{N+2s}{N-2s+2} is sharp. This is the analogue of a recent result by Bonforte and Figalli (CPAM, 2021) valid for s=1s = 1 and bounded domains ΩRN\Omega \subset \mathbb R^N. Our result is new also in the local case s=1s = 1. The main obstacle we overcome is the degeneracy of an associated linearized operator, which generically does not occur in the bounded domain setting. For a smooth bounded domain ΩRN\Omega \subset \mathbb R^N, we prove similar results for positive solutions to tu+(Δ)s(um)=0\partial_t u + (-\Delta)^s (u^m) = 0 on (0,)×Ω(0, \infty) \times \Omega with Dirichlet boundary conditions when s(0,1)s \in (0,1) and m(N2sN+2s,1)m \in (\frac{N-2s}{N+2s}, 1), under a non-degeneracy assumption on the stationary solution. An important step here is to prove the convergence of the relative error, which is new for this case.

Keywords

Cite

@article{arxiv.2411.04783,
  title  = {Sharp extinction rates for positive solutions of fast diffusion equations},
  author = {Tobias König and Meng Yu},
  journal= {arXiv preprint arXiv:2411.04783},
  year   = {2024}
}

Comments

33 pages, comments welcome!

R2 v1 2026-06-28T19:51:40.127Z