In this article we develop an a posteriori error estimator for discretized optimal control problems. We are interested in estimating the error in the control variable, measured in a natural norm. We prove an error representation formula involving only quantities at hand in a second-order optimization iteration, supposing a strong form of second-order sufficient condition. Possible generalization to the control-constrained case is indicated.
Copyright 2006, Walter de Gruyter