The two membranes problem for fully nonlinear operators

We study the two membranes problem for two different fully nonlinear operators. We give a viscosity formulation for the problem and prove existence of solutions. Then we prove a general regularity result and the optimal $C^{1,1}$ regularity when the operators are the Pucci extremal operators. We also give an example that shows that no regularity for the free boundary is to be expected to hold in general.