Fursikov, Andrei V. (ed.) et al., New directions in mathematical fluid mechanics. The Alexander V. Kazhikhov memorial volume. Boston, MA: BirkhĂ¤user (ISBN 978-3-0346-0151-1/hbk). Advances in Mathematical Fluid Mechanics, 193-221 (2010).

The paper focuses on an optimal control problem for a 2D stationary Navier-Stokes system. The authors consider a domain

${\Omega}$ of

${\mathbb{R}}^{2}$ consisting of a rectangle without a subset bounded by a smooth curve

$S$. The Navier-Stokes system

$-{\Delta}v+v\xb7\nabla v+\nabla p=0$,

$\nabla \xb7v=0$ is considered in

${\Omega}$. Dirichlet or Neumann boundary conditions are imposed on the different pieces of the boundary of this domain. The optimal control problem consists to minimize the functional

$J={\int}_{S}n\xb7\sigma \xb7{e}_{1}dx$ under the action of controls

${u}^{1}$ and

${u}^{2}$ imposed on subintervals of the horizontal parts of the boundary of the domain

${\Omega}$ through Neumann boundary conditions. Here

${e}_{1}$ is the first unit vector of

${\mathbb{R}}^{2}$ and

$n\xb7\sigma =-pn+2\mathcal{D}\left(v\right)n$, where

$n$ is the unit outer normal and

$2\mathcal{D}\left(v\right)={({\partial}_{j}{v}_{i}+{\partial}_{i}{v}_{j})}_{i,j=1,2}$. The applied controls are supposed to satisfy

$\parallel {u}^{1}{\parallel}^{2}+{\parallel {u}^{2}\parallel}^{2}\le {\gamma}^{2}$ in the

${L}^{2}$-norm of their respective domains, for some positive constant

$\gamma $. The first main result of the paper proves the existence of a generalized solution of this optimal control problem. The authors start proving further properties of the generalized solution of the associated Stokes problem. They also prove the existence of a generalized solution of the Navier-Stokes problem assuming the existence of admissible collections

$(v,p,{u}^{1},{u}^{2})$ for this Navier-Stokes problem and that the boundary data are small enough. This is done building a contraction operator associated to this Navier-Stokes problem. The proof of the existence of an optimal solution is obtained rewriting the original problem as a minimization problem for a continuous functional on a compact set. The second main result of the paper establishes the optimality system for the optimal solution. The authors here use the abstract Lagrange principle framework. The paper ends with the presentation of some briefly described numerical simulations.