Optimal control of a semidiscrete Cahn-Hilliard-Navier-Stokes system

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...

[1]  王 全芳,et al.  Weak Solutions of Cahn-Hilliard Equations having Forcing Terms and Optimal Control Problems (Mathematical Models in Functional Equations) , 2000 .

[2]  V. Barbu.  Optimal control of variational inequalities , 1984 .

[3]  Michael Hintermüller,et al.  Distributed Optimal Control of the Cahn-Hilliard System Including the Case of a Double-Obstacle Homogeneous Free Energy Density , 2012, SIAM J. Control. Optim..

[4]  R. Temam,et al.  Navier-Stokes equations: theory and numerical analysis: R. Teman North-Holland, Amsterdam and New York. 1977. 454 pp. US $45.00 , 1978 .

[5]  Franck Boyer,et al.  Numerical study of viscoelastic mixtures through a Cahn–Hilliard flow model , 2004 .

[6]  Michael Hintermüller,et al.  Mathematical Programs with Complementarity Constraints in Function Space: C- and Strong Stationarity and a Path-Following Algorithm , 2009, SIAM J. Optim..

[7]  Michael Hintermüller,et al.  An Inverse Problem in American Options as a Mathematical Program with Equilibrium Constraints: C-Stationarity and an Active-Set-Newton Solver , 2010, SIAM J. Control. Optim..

[8]  J. E. Hilliard,et al.  Free Energy of a Nonuniform System. I. Interfacial Free Energy , 1958 .

[9]  Parag A. Pathak,et al.  Massachusetts Institute of Technology , 1964, Nature.

[10]  F. Browder.  Nonlinear operators and nonlinear equations of evolution in Banach spaces , 1976 .

[11]  David Kay,et al.  Finite element approximation of a Cahn−Hilliard−Navier−Stokes system , 2008 .

[12]  Jiongmin Yong,et al.  Feedback stabilization and optimal control for the Cahn-Hilliard equation , 1991 .

[13]  Richard Welford,et al.  A multigrid finite element solver for the Cahn-Hilliard equation , 2006, J. Comput. Phys..

[14]  J. Lowengrub,et al.  Conservative multigrid methods for Cahn-Hilliard fluids , 2004 .

[15]  Viorel Barbu,et al.  Differential equations in Banach spaces , 1976 .

[16]  M. Hassan Farshbaf-Shaker,et al.  A Penalty Approach to Optimal Control of Allen-Cahn Variational Inequalities: MPEC-View , 2012 .

[17]  Franck Boyer,et al.  Mathematical study of multi‐phase flow under shear through order parameter formulation , 1999 .

[18]  Charles M. Elliott,et al.  The Cahn–Hilliard gradient theory for phase separation with non-smooth free energy Part II: Numerical analysis , 1991, European Journal of Applied Mathematics.

[19]  J. Aubin.  Applied Functional Analysis , 1979 .

[20]  P. Hohenberg,et al.  Theory of Dynamic Critical Phenomena , 1977 .

[21]  David Kay,et al.  Efficient Numerical Solution of Cahn-Hilliard-Navier-Stokes Fluids in 2D , 2007, SIAM J. Sci. Comput..

[22]  Puri,et al.  Study of phase-separation dynamics by use of cell dynamical systems. I. Modeling. , 1988, Physical review. A, General physics.

[23]  B. Héron.  Quelques proprietes des applications de trace dance des espaces de champs de vecteurs a divergence nulle , 1981 .

[24]  Paul Papatzacos,et al.  Diffuse-Interface Models for Two-Phase Flow , 2000 .

[25]  R. Showalter.  Monotone operators in Banach space and nonlinear partial differential equations , 1996 .

[26]  Charles M. Elliott,et al.  On the Cahn-Hilliard equation , 1986 .

[27]  V. Mizel,et al.  Every superposition operator mapping one Sobolev space into another is continuous , 1979 .

[28]  F. Patrone,et al.  On the Optimal Control of Variational Inequalities , 1975, Optimization Techniques.

[29]  Franck Boyer,et al.  A theoretical and numerical model for the study of incompressible mixture flows , 2002 .

[30]  Yong Jung Kim.  A MATHEMATICAL INTRODUCTION TO FLUID MECHANICS , 2008 .

[31]  Junseok Kim,et al.  A diffuse-interface model for axisymmetric immiscible two-phase flow , 2005, Appl. Math. Comput..

[32]  J. Zowe,et al.  Regularity and stability for the mathematical programming problem in Banach spaces , 1979 .