Lipschitz property of the free boundary in the parabolic obstacle problem

Abstract

A parabolic obstacle problem with zero constraint is considered. It is proved, without any additional assumptions on a free boundary, that near the fixed boundary where the homogeneous Dirichlet condition is fulfilled, the boundary of the noncoincidence set is the graph of a Lipschitz function.