Regularity for degenerate evolution equations with strong absorption
In this manuscript, we study geometric regularity estimates for degenerate parabolic equations of $p$-Laplacian type ($2 \leq p< \infty$) under a strong absorption condition: $ Δ_p u - \frac{\partial u}{\partial t} = λ_0 u_{+}^q \quad \mbox{in} \quad Ω_T \defeq Ω\times (0, T), $ where $0 \leq q < 1$ and $λ_0$ is a function bounded away from zero and infinity. This model is interesting because it yields the formation of dead-core sets, i.e, regions where non-negative solutions vanish identically. We shall prove sharp and improved parabolic $C^α$ regularity estimates along the set $\mathfrak{F}_0(u, Ω_T) = \partial \{u>0\} \cap Ω_T$ (the free boundary), where $α= \frac{p}{p-1-q}\geq 1+\frac{1}{p-1}$. Some weak geometric and measure theoretical properties as non-degeneracy, positive density, porosity and finite speed of propagation are proved. As an application, we prove a Liouville-type result for entire solutions provided their growth at infinity can be appropriately controlled. A specific analysis for Blow-up type solutions will be done as well. The results obtained in this article via our approach are new even for dead-core problems driven by the heat operator.