Coupled versus decoupled penalization of control complementarity constraints

This paper deals with the numerical solution of optimal control problems with control complementarity constraints. For that purpose, we suggest the use of several penalty methods which differ with respect to the handling of the complementarity constraint which is either penalized as a whole with the aid of NCP-functions or decoupled in such a way that non-negativity constraints as well as the equilibrium condition are penalized individually. We first present general global and local convergence results which cover several different penalty schemes before two decoupled methods which are based on a classical ℓ1- and ℓ2-penalty term, respectively, are investigated in more detail. Afterwards, the numerical implementation of these penalty methods is discussed. Based on some examples, where the optimal boundary control of a parabolic partial differential equation is considered, some quantitative properties of the resulting algorithms are compared.

[1]  Michael Ulbrich,et al.  Semismooth Newton Methods for Operator Equations in Function Spaces , 2002, SIAM J. Optim..

[2]  Jane J. Ye,et al.  Partial Exact Penalty for Mathematical Programs with Equilibrium Constraints , 2008 .

[3]  J. C. Dunn,et al.  On Second Order Sufficient Conditions for Structured Nonlinear Programs in Infinite-Dimensional Function Spaces , 2020 .

[4]  Eduardo Casas,et al.  Critical Cones for Sufficient Second Order Conditions in PDE Constrained Optimization , 2019, SIAM J. Optim..

[5]  G. Burton.  Sobolev Spaces , 2013 .

[6]  D. Ralph,et al.  Convergence of a Penalty Method for Mathematical Programming with Complementarity Constraints , 2004 .

[7]  Christian Kanzow,et al.  Mathematical Programs with Equilibrium Constraints: Enhanced Fritz John-conditions, New Constraint Qualifications, and Improved Exact Penalty Results , 2010, SIAM J. Optim..

[8]  Helmut Maurer,et al.  First and second-order necessary and sufficient optimality conditions for infinite-dimensional programming problems , 1979, Math. Program..

[9]  Alfio Borzì,et al.  Multigrid methods for parabolic distributed optimal control problems , 2003 .

[10]  Yu Deng,et al.  Optimal control in first-order Sobolev spaces with inequality constraints , 2019, Comput. Optim. Appl..

[11]  Jorge J. Moré,et al.  Digital Object Identifier (DOI) 10.1007/s101070100263 , 2001 .

[12]  Thomas Slawig,et al.  Strategies for time-dependent PDE control with inequality constraints using an integrated modeling and simulation environment , 2008, Numerical Algorithms.

[13]  Gerd Wachsmuth,et al.  Towards M-stationarity for Optimal Control of the Obstacle Problem with Control Constraints , 2016, SIAM J. Control. Optim..

[14]  Bülent Karasözen,et al.  An all-at-once approach for the optimal control of the unsteady Burgers equation , 2014, J. Comput. Appl. Math..

[15]  S. Scholtes,et al.  Exact Penalization of Mathematical Programs with Equilibrium Constraints , 1999 .

[16]  Gerd Wachsmuth,et al.  Comparison of optimality systems for the optimal control of the obstacle problem , 2018 .

[17]  Eduardo Casas,et al.  Second Order Analysis for Bang-Bang Control Problems of PDEs , 2012, SIAM J. Control. Optim..

[18]  A. Fischer.  A special newton-type optimization method , 1992 .

[19]  Aurél Galántai.  Properties and construction of NCP functions , 2012, Comput. Optim. Appl..

[20]  Lei Guo,et al.  Necessary Optimality Conditions for Optimal Control Problems with Equilibrium Constraints , 2016, SIAM J. Control. Optim..

[21]  J. Lambert.  Numerical Methods for Ordinary Differential Equations , 1991 .

[22]  Daniel Wachsmuth,et al.  Convergence analysis of smoothing methods for optimal control of stationary variational inequalities with control constraints , 2011 .

[23]  Defeng Sun,et al.  On NCP-Functions , 1999, Comput. Optim. Appl..

[24]  Karl Kunisch,et al.  SUFFICIENT OPTIMALITY CONDITIONS AND SEMI-SMOOTH NEWTON METHODS FOR OPTIMAL CONTROL OF STATIONARY VARIATIONAL INEQUALITIES , 2012 .

[25]  X. Q. Yang,et al.  A Sequential Smooth Penalization Approach to Mathematical Programs with Complementarity Constraints , 2006 .

[26]  Michael Ulbrich,et al.  Semismooth Newton Methods for Variational Inequalities and Constrained Optimization Problems in Function Spaces , 2011, MOS-SIAM Series on Optimization.

[27]  Christian Kanzow,et al.  Theorie und Numerik restringierter Optimierungsaufgaben , 2002 .

[28]  Bethany L. Nicholson,et al.  Mathematical Programs with Equilibrium Constraints , 2021, Pyomo — Optimization Modeling in Python.

[29]  Gerd Wachsmuth,et al.  Mathematical Programs with Complementarity Constraints in Banach Spaces , 2014, Journal of Optimization Theory and Applications.

[30]  Jong-Shi Pang,et al.  Differential variational inequalities , 2008, Math. Program..

[31]  Benjamin Pfaff,et al.  Perturbation Analysis Of Optimization Problems , 2016 .

[32]  H. Goldberg,et al.  On NEMYTSKIJ Operators in Lp‐Spaces of Abstract Functions , 1992 .

[33]  F. Giannessi.  Variational Analysis and Generalized Differentiation , 2006 .

[34]  C. Clason,et al.  A convex penalty for switching control of partial differential equations , 2016, Syst. Control. Lett..

[35]  M. Hintermüller,et al.  On the Directional Differentiability of the Solution Mapping for a Class of Variational Inequalities of the Second Kind , 2018 .

[36]  Boris S. Mordukhovich,et al.  Several approaches for the derivation of stationarity conditions for elliptic MPECs with upper-level control constraints , 2014, Math. Program..

[37]  Michael Hintermüller,et al.  First-Order Optimality Conditions for Elliptic Mathematical Programs with Equilibrium Constraints via Variational Analysis , 2011, SIAM J. Optim..

[38]  Stefan Scholtes,et al.  Mathematical Programs with Complementarity Constraints: Stationarity, Optimality, and Sensitivity , 2000, Math. Oper. Res..

[39]  K. Kunisch,et al.  A convex analysis approach to optimal controls with switching structure for partial differential equations , 2016, 1702.07540.

[40]  J. Wloka,et al.  Partielle differentialgleichungen : sobolevraume und Randwertaufgaben , 1982 .

[41]  Gerd Wachsmuth,et al.  The limiting normal cone of a complementarity set in Sobolev spaces , 2018, Optimization.

[42]  G. Wachsmuth,et al.  On second-order optimality conditions for optimal control problems governed by the obstacle problem , 2019, Optimization.

[43]  Jorge Nocedal,et al.  Interior Methods for Mathematical Programs with Complementarity Constraints , 2006, SIAM J. Optim..

[44]  F. Tröltzsch.  Optimal Control of Partial Differential Equations: Theory, Methods and Applications , 2010 .

[45]  Stephen J. Wright,et al.  Some properties of regularization and penalization schemes for MPECs , 2004, Optim. Methods Softw..

[46]  Yu Deng,et al.  Optimal control problems with control complementarity constraints: existence results, optimality conditions, and a penalty method , 2018, Optim. Methods Softw..

[47]  V. Battaglia,et al.  Numerical Methods for Ordinary Differential Equations , 2018 .

[48]  B. Mordukhovich.  Variational analysis and generalized differentiation , 2006 .

[49]  Jane J. Ye,et al.  Necessary and sufficient optimality conditions for mathematical programs with equilibrium constraints , 2005 .

[50]  Christian Kanzow,et al.  Theoretical and numerical comparison of relaxation methods for mathematical programs with complementarity constraints , 2011, Mathematical Programming.

[51]  Michael Ulbrich,et al.  A mesh-independence result for semismooth Newton methods , 2004, Math. Program..

[52]  Karl Kunisch,et al.  Nonconvex penalization of switching control of partial differential equations , 2016, Syst. Control. Lett..

[53]  G. Wachsmuth.  Elliptic quasi-variational inequalities under a smallness assumption: uniqueness, differential stability and optimal control , 2019, Calculus of Variations and Partial Differential Equations.

[54]  Zhi-Quan Luo,et al.  Exact penalization and stationarity conditions of mathematical programs with equilibrium constraints , 1996, Math. Program..

[55]  Kihong Park,et al.  Numerical Optimal Control of Parabolic PDES Using DASOPT , 1997 .

[56]  Gerd Wachsmuth,et al.  The Limiting Normal Cone to Pointwise Defined Sets in Lebesgue Spaces , 2018 .

[57]  M. Fukushima,et al.  New NCP-Functions and Their Properties , 1997 .

[58]  F. Clarke.  Optimization And Nonsmooth Analysis , 1983 .