The regularity theory for the double obstacle problem for fully nonlinear operator (Q6171629)

The authors study existence and uniqueness of \(W^{2,p}\)-solutions for \(n<p<\infty\) of the double obstacle problem for the fully nonlinear operator \(G\) in a domain \(D\subset \mathbb{R}^n\) given in the form \begin{align*} \begin{cases} G(D^2u,x)\geq 0 &\text{in } \{u>\phi_1\}\cap D,\\ G(D^2u,x)\leq 0 &\text{in } \{u<\phi_2\}\cap D,\\ \phi_1(x)\leq u(x) \leq \phi_2(x) &\text{in }D,\\ u(x)=g(x) &\text{on }\partial D, \end{cases} \end{align*} where \(\phi_1, \phi_2 \in C^{1,1}(\overline{D})\), \(\partial D\in C^{2,\alpha}\) and \(g\in C^{2,\alpha}(\overline{D})\). The optimal \(C^{1,1}\)-regularity of the solution is also obtained.