The regularity theory for the double obstacle problem

In this paper, we prove a local C1-regularity of the free boundary for the (hybrid) double obstacle problem with an upper obstacle , Delta u< =f chi Omega(u)boolean AND{u<psi}+Delta psi chi Omega(u boolean AND){u=psi},u <=psi in B1, where Omega (u) = B-1\({u = 0} boolean AND {del u = 0})under a thickness assumption for u and . The novelty of the paper is the study of points where two obstacles meet, here it refers to free boundary points where =0. Our result is new, with a non-straightforward approach, as the analysis seems to require several subtle manoeuvres in finding the right conditions and methodology. A key point of difficulty lies in the classification of global solutions. This is due to the complex structure of global solutions for the double obstacle problem, and even more complex for the hybrid problem in this paper.