Properties of the free boundary near the fixed boundary of the double obstacle problems.

In this paper, we study the tangential touch and C¹ regularity of the free boundary near the fixed boundary of the double obstacle problem for Laplacian and fully nonlinear operator. The main idea to have the properties is regarding the upper obstacle as a solution of the single obstacle problem. Then, in the classification of global solutions of the double problem, it is enough to consider only two cases for the upper obstacle, a/2 x_n² or a/2 x_n² + bx_nx₁ for some b ∈ ℝ, b ≠ 0. The second one is a new type of upper obstacle, which does not exist in the study of local regularity of the free boundary of the double problem. Thus, in this paper, a new type of difficulties that come from the second type upper obstacle is mainly studied. [ABSTRACT FROM AUTHOR]