Boundary pointwise regularity for fully nonlinear parabolic equations and an application to regularity of free boundaries

Abstract

In this paper, we prove boundary pointwise $C^{k,\alpha }$ regularity for any $k\ge 1$ for fully nonlinear parabolic equations. As an application, we give a direct and short proof of the higher regularity of the free boundaries in obstacle-type problems.