Optimal Control of a Semidiscrete Cahn--Hilliard--Navier--Stokes System

Abstract

In this paper, the optimal boundary control of a time-discrete Cahn--Hilliard--Navier--Stokes system is studied. A general class of free energy potentials is considered which, in particular, includes the double-obstacle potential. The latter homogeneous free energy density yields an optimal control problem for a family of coupled systems, which result from a time discretization of a variational inequality of fourth order and the Navier--Stokes equation. The existence of an optimal solution to the time-discrete control problem as well as an approximate version is established. The latter approximation is obtained by mollifying the Moreau--Yosida approximation of the double-obstacle potential. First order optimality conditions for the mollified problems are given, and in addition to the convergence of optimal controls of the mollified problems to an optimal control of the original problem, first order optimality conditions for the original problem are derived through a limit process. The newly derived statio...