Abstract

In two and three dimensional Lipschitz, but not necessarily convex, polytopal domains, we propose and analyze a posteriori error estimators for an optimal control problem involving the stationary Navier-Stokes equations; control constraints are also considered. We devise two strategies of discretization: a semidiscrete scheme where the control variable is not discretized and a fully discrete scheme where the control is discretized. For each solution technique, we design an a posteriori error estimator that can be decomposed as the sum of contributions related to the discretization of the state and adjoint equations and, additionally, the discretization of the control variable for when the fully discrete scheme is considered. We prove that the devised error estimators are reliable and also explore local efficiency estimates. Numerical experiments reveal a competitive performance of adaptive loops based on the devised a posteriori error estimators.