Small time boundary behavior of solutions of parabolic equations with noncompatible data (Q1583574)

The authors consider the linear parabolic problem: \(\partial_tu = {\mathcal L}u\), \(u(0) = \psi\), where \(\mathcal L\) is a uniformly elliptic operator, on a bounded domain \(\Omega\) of \(\mathbb{R}^N\) with Dirichlet boundary conditions. If the initial data \(\psi\) is not compatible with the Dirichlet condition, i.e., if there exists \(x_0\in\Omega\partial\) such that \(\psi(x_0)\neq 0\), then the solution \(u\) is not continuous on \([0, T] \times \overline{\Omega}\). In this paper, they give a precise description of the discontinuities of the solution occurring from such initial data and present two kinds of optimal pointwise estimates on \(u(t,x)\) in two different regions of the spacetime domain (`near' the boundary and `far' from the boundary). They provide estimate for the solution of the related inhomogeneous problem. The proofs are based on the construction of suitable sub- and supersolutions for auxiliary inhomogeneous problems in balls and annuli and on some montonicity and localization arguments.