“…A preconditioner for MINRES and the aforementioned problem could look like the following: with A 0 , A 1 , and being approximations to the (1,1)‐block, the (2,2)‐block, and the Schur complement, respectively. The use of MINRES for optimal control problems has been recently investigated in . Note that MINRES is also applicable in the case of a semidefinite (1,1)‐block, which is the case if we were to consider the minimization of J ( y , u ) as in , but with the ∥ y − y d ∥ 2 term given on some subdomain Ω 1 ⊂ Ω (as opposed to Ω itself).…”