Solution of elliptic optimal control problem with pointwise and non-local state constraints

We study an optimal control problem of a system governed by a linear elliptic equation, with pointwise control constraints and pointwise and non-local (integral) state constraints. We construct a finite-difference approximation of the problem, we prove the existence and the convergence of the approximate solutions to the exact solution. We construct and study mesh saddle point problem and its iterative solution method and analyze the results of numerical experiments.