Global \(C^{1,1}\)-regularity for solutions of quasilinear variational inequalities (Q1079172)

The author deals with the regularity of solutions for variational inequalities of the form (1) \(u\in K\); \(<Au+Hu,v-u>\geq 0\), \(v\in K\), where \(K=\{v\in H^{1,\infty}(\Omega):\) \(v\geq \psi\), \(v_{/\partial \Omega}=\phi \}\), \(Au=-\sum_{i}D_ i(a^ i(x,u,Du))\) is an elliptic operator, \(Hu=H(x,u,Du)\) and \(\Omega\) is a bounded set in \({\mathbb{R}}^ n\). The following regularity result is proved: Let \(\partial \Omega\) be of class \(C^{3,\alpha}\), \(\phi \in C^ 3({\bar \Omega})\), \(\psi \in C^ 2({\bar \Omega})\). Assume that the coefficients \(a^ i(x,u,p)\) are of class \(C^ 2\) in x and u and of class \(C^ 3\) in p variables, and that H is of class \(C^ 1\) in all its arguments. Then, any solution of the variational inequality (1) is of class \(H^{2,\infty}(\Omega)\).