A general class of free boundary problems for fully nonlinear parabolic equations
In this paper we consider the fully nonlinear parabolic free boundary problem {F(D2u)−∂tu=1∣D2u∣+∣∂tu∣≤Ka.e. inQ1∩Ωa.e. inQ1∖Ω, where K>0 is a positive constant, and Ω is an (unknown) open set. Our main result is the optimal regularity for solutions to this problem: namely, we prove that Wx2,n∩Wt1,n solutions are locally Cx1,1∩Ct0,1 inside Q1. A key starting point for this result is a new BMO-type estimate which extends to the parabolic setting the main result in \cite{CH}. Once optimal regularity for u is obtained, we also show regularity for the free boundary ∂Ω∩Q1 under the extra condition that Ω⊃{u=0}, and a uniform thickness assumption on the coincidence set {u=0},