“…Furthermore, sharp discretization error estimates for the approximate controls and the states in various norms are proved. Similar studies for related problems in bounded domains can be found in [1,8,40,46,52,68], where, e.g., linear convergence of the approximate controls in the L 2 -norm can be proved, provided that the exact solutions are sufficiently regular. A surprising observation in our setting is that the approximate controls u h converge even quadratically with respect to the mesh parameter h > 0, i.e., the estimate |u − u h | ≤ Ch 2 is satisfied.…”