Pointwise a posteriori error bounds for blow-up in the semilinear heat equation

This work is concerned with the development of an adaptive space-time numerical method, based on a rigorous a posteriori error bound, for the semilinear heat equation with a general local Lipschitz reaction term whose solution may blow up in finite time. More specifically, conditional a posteriori error bounds are derived in the L^coL^co norm for the first order (Euler) in time, implicit-explicit, conforming finite element method in space discretization of the problem. Numerical experiments applied to both blow-up and non-blow-up cases highlight the generality of our approach and complement the theoretical results.