Higher order parabolic boundary Harnack inequality in \(C^1\) and \(C^{k, \alpha}\) domains (Q2139515)

The author studies the boundary behaviour of solutions to second order parabolic linear equations in moving domains. The author's main result is a higher order boundary Harnack inequality in \(C^1\) and \(C^{k,\alpha}\) domains, providing that the quotient of two solutions vanishing on the boundary of the domain is as smooth as the boundary. The case of \(C^1\) domains is new, while, in the case of \(C^{k,\alpha}\) domains, this result was proved by Banerjee and Garofalo and here an alternative proof is given. As a consequence of this result, the author provides a new proof of higher order regularity of the free boundary in the parabolic obstacle problem.