Optimal regularity for supercritical parabolic obstacle problems
Xavier Ros‐Oton,Clara Torres‐Latorre
DOI: https://doi.org/10.1002/cpa.22166
2023-10-01
Communications on Pure and Applied Mathematics
Abstract:We study the obstacle problem for parabolic operators of the type ∂t+L , where L is an elliptic integro‐differential operator of order 2s, such as (−Δ)s , in the supercritical regime s∈(0,12) . The best result in this context was due to Caffarelli and Figalli, who established the Cx1,s regularity of solutions for the case L=(−Δ)s , the same regularity as in the elliptic setting. Here we prove for the first time that solutions are actually more regular than in the elliptic case. More precisely, we show that they are C1, 1 in space and time, and that this is optimal. We also deduce the C1,α regularity of the free boundary. Moreover, at all free boundary points (x0,t0) , we establish the following expansion: (u−φ)(x0+x,t0+t)=c0(t−a·x)+2+O(t2+α+|x|2+α), with c0>0 , α>0 and a∈Rn .
mathematics, applied