Uniform convergence and mesh independence of Newton's method for discretized variational problems

In an abstract framework, we study local convergence properties of Newton's method for a sequence of generalized equations which models a discretized variational inequality. We identify conditions under which the method is lo cally quadratically convergent, uniformly in the discretization. Moreover, we show that the distance between the Newton sequence for the continuous pr oblem and the Newton sequence for the discretized problem is bounded by the norm of a residual. As an application, we present mesh-independence result s for an optimal control problem with control constraints.