Rough hypoellipticity for the heat equation in Dirichlet spaces

This paper aims at proving the local boundedness and continuity of solutions of the heat equation in the context of Dirichlet spaces under some rather weak additional assumptions. We consider symmetric local regular Dirichlet forms, which satisfy mild assumptions concerning (1) the existence of cut‐off functions, (2) a local ultracontractivity hypothesis, and (3) a weak off‐diagonal upper bound. In this setting, local weak solutions of the heat equation, and their time derivatives, are shown to be locally bounded; they are further locally continuous, if the semigroup admits a locally continuous density function. Applications of the results are provided including discussions on the existence of locally bounded heat kernel; L∞$L^\infty$ structure results for ancient (local weak) solutions of the heat equation.