State-constrained optimal control of nonlinear elliptic variational inequalities

An optimization control problem for systems described by abstract variational inequalities with state constraints is considered. The solvability of this problem is proved. The problem is approximated by the penalty method. The convergence of this method is proved. Necessary conditions of optimality for the approximation problem are obtained. Its solution is an approximate optimal control of the initial problem.