Sharp lifespan estimates for heat equations with Hörmander operators

In this paper, we study the Cauchy problem uₜ- L u=h(t)uᵖ, u(0)=ε u₀≥0, where $p>1$, h≥0 is only locally integrable, and L=∑ⱼ₌₁ᵐXⱼ² is a homogeneous Hörmander sum of squares on Rⁿ of homogeneous dimension q. Diffusion spreads the solution out and weakens the nonlinearity, while the reaction h(t)uᵖ may force blow-up. We prove that the outcome is decided by the single quantity Hp,h(T)=∫₀Th(t)(1+t)- q2(p-1)\,d t, in which the reaction at time t is weighted by the factor by which diffusion has weakened the solution: small data are global if Hp,h(∞)<∞, while otherwise the lifespan T_ε satisfies c\,ε⁻⁽ᵖ⁻¹⁾p,h(T_ε)≤ C\,ε⁻⁽ᵖ⁻¹⁾ for small ε. Our technique of proof is based on a backward-semigroup functional combined with a Gaussian-envelope energy and an ODE cap telescoped along interlaced geometric grids. The result contains the Euclidean, Heisenberg, Carnot and Grushin cases, yields explicit lifespan laws for power, logarithmic, exponential, periodic and intermittent coefficients, and exhibits effects with no autonomous counterpart, such as a lifespan with no power law in ε. We also prove regularity and a priori estimates for classical solutions and discuss what remains true for a general nonlinearity $f(u)$.