A standard approach to the minimization of a constrained objective function in the presence of equality constraints in Mathematical Programming or of a state equation in Control Theory is to introduce Lagrange multipliers or an adjoint state. The initial minimization problem is equivalent to the minimax of the associated Lagrangian. In this paper, the targeted application is the computation of shape and topological derivatives (Sensitivity Analysis) where the control variable belongs to a metric space of geometries. In that context, it is natural to consider the right-hand side differentiability of the minimax of a Lagrangian with respect to a positive parameter as a first step towards the computation of semidifferentials and differentials on a metric space. By using the new notion of averaged adjoint introduced by K. Sturm in two recent publications [On shape optimization with non-linear partial differential equations, Doctoral thesis, Technische Universität Berlin, Germany (2014); Minimax Lagrangian approach to the differentiability of non-linear PDE constrained shape functions without saddle point assumption, SIAM J. Control Optimization 53 (2015) 2017–2039], the minimax problem need not be related to a saddle point as in a paper by R. Correa and A. Seeger [Directional derivatives of a minimax function, Nonlinear Anal. Theory Methods Appl. 9 (1985) 13–22] and the so-called dual problem need not make sense. We extend Sturm's results from the single valued case to the case where the solutions of the state/averaged adjoint state equations are not unique. In such a case, non-differentiability can occur even if the functions at hand are infinitely differentiable as was illustrated by the seesaw problem in the seminal paper of J. M. Danskin [The theory of max-min, with applications, SIAM J. Applied Mathematics 14(4) (1966) 641–644].

Contact details are reproduced from the original publication and may be historical.

Michel C. Delfour

Dép. de Mathématiques et de Statistique, Université de Montréal, CP 6128 / succ. Centre-ville, Montréal, Quebec, Canada H3C 3J7
and: Centre de Recherches Mathématiques, Université de Montréal, CP 6128, succ. Centre-ville, Montréal, Canada H3C 3J7

delfour@crm.umontreal.ca

Kevin Sturm

Fakultät für Mathematik, Universität Duisburg-Essen, Thea-Leymann-str. 9, 45127 Essen, Germany

kevin.sturm@uni-due.de
  1. I. Babuska: The finite element method with Lagrange multipliers, Numer. Math. 20 (1972) 179–192.https://doi.org/10.1007/BF01436561Google Scholar
  2. I. M. Bomze: Global optimization: a quadratic programming perspective, in: Nonlinear Optimization, G. Di Pillo and F. Schoen (eds.), Springer-Verlag, Berlin et al. (2010) 1–54.https://doi.org/10.1007/978-3-642-11339-0_1Google Scholar
  3. J. F. Bonnans, A. Shapiro: Optimization problems with perturbations, a guided tour, SIAM Review 40 (1998) 202–227.https://doi.org/10.1137/S0036144596302644Google Scholar
  4. J. F. Bonnans, A. Shapiro: Perturbation Analysis of Optimization Problems, Springer, New York (2000).https://doi.org/10.1007/978-1-4612-1394-9Google Scholar
  5. F. Brezzi: On the existence, uniqueness and approximation of saddle-point problems arising from Lagrangian multipliers, R.A.I.R.O. 8(R2) (1974) 129–151.https://doi.org/10.1051/m2an/197408R201291Google Scholar
  6. R. Correa, A. Seeger: Directional derivatives of a minimax function, Nonlinear Anal. Theory Methods and Appl. 9 (1985) 13–22.https://doi.org/10.1016/0362-546X(85)90049-5Google Scholar
  7. J. M. Danskin: The theory of max-min, with applications, SIAM J. Applied Mathematics 14(4) (1966) 641–644.https://doi.org/10.1137/0114053Google Scholar
  8. J. M. Danskin: The Theory of Max-min and its Application to Weapons Allocation Problems, Econometrics and Operations Research, Vol. V, Springer, New York (1967).https://doi.org/10.1007/978-3-642-46092-0Google Scholar
  9. M. C. Delfour: Shape derivatives and differentiability of min max, in: Shape Optimization and Free Boundaries (Montreal, PQ, 1990), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. 380, Kluwer Academic Publishers, Dordrecht (1992) 35–111.https://doi.org/10.1007/978-94-011-2710-3_2Google Scholar
  10. M. C. Delfour: Introduction to Optimization and Semidifferential Calculus, MOS-SIAM Series on Optimization, Society for Industrial and Applied Mathematics, Philadelphia (2012).https://doi.org/10.1137/1.9781611972153Google Scholar
  11. M. C. Delfour: Metric spaces of shapes and geometries from set parametrized functions, in: New Trends in Shape Optimization, A. Pratelli and G. Leugering (eds.), Int. Ser. Num. Math. 166, Birkhäuser, Basel (2015) 57–101.https://doi.org/10.1007/978-3-319-17563-8_4Google Scholar
  12. M. C. Delfour: Differentials and semidifferentials for metric spaces of shapes and geometries, in: System Modeling and Optimization (CSMO 2015), L. Bociu, J. A. Desideri and A. Habbal (eds.), AICT Series, Springer-Verlag, Berlin et al. (2017), to appear.https://doi.org/10.1007/978-3-319-55795-3_21Google Scholar
  13. M. C. Delfour, Z. Mghazli, J.-P. Zolésio: Computation of shape gradients for mixed finite element formulations, in: Partial Differential Equations Methods in Control and Shape Analysis, G. Da Prato and J. P. Zolésio (eds.), Marcel Dekker, New York (1997) 77–93.https://doi.org/10.1201/9781482273618-7Google Scholar
  14. M. C. Delfour, J. Morgan: A complement to the differentiability of saddle points and min-max, Optimal Control Appl. Methods 13(1) (1992) 87–94.https://doi.org/10.1002/oca.4660130107Google Scholar
  15. M. C. Delfour, J. Morgan: One-sided derivative of minmax and saddle points with respect to a parameter, Optimization 31(4) (1994) 343–358.https://doi.org/10.1080/02331939408844028Google Scholar
  16. M. C. Delfour, J. P. Zolésio: Dérivation d’un min max et application à la dérivation par rapport au contrôle d’une observation non différentiable de l’état, C. R. Acad. Sci. Paris Sér. Math. 302 (1986) 571–574.Google Scholar
  17. M. C. Delfour, J. P. Zolésio: Differentiability of a min max and application to optimal control and design problems, I, II, in: Control Problems for Systems Described by Partial Differential Equations and Applications (Gainesville 1986), I. Lasiecka and R. Triggiani (eds.), Lecture Notes in Control and Inform. Sci. 97, Springer-Verlag, Berlin (1987) 204–219, 220–229.https://doi.org/10.1007/BFb0038755Google Scholar
  18. M. C. Delfour, J. P. Zolésio: Further development in shape sensitivity analysis via penalization method, in: Boundary Control and Boundary Variations (Nice 1986), Lecture Notes in Comput. Sci. 100, Springer-Verlag, Berlin (1988) 153–191.https://doi.org/10.1007/BFb0041916Google Scholar
  19. M. C. Delfour, J. P. Zolésio: Shape sensitivity analysis via min max differentiability, SIAM J. Control Optimization 26 (1988) 834–862.https://doi.org/10.1137/0326048Google Scholar
  20. M. C. Delfour, J. P. Zolésio: Analyse des problèmes de forme par la dérivation des minimax (French), Ann. Inst. H. Poincaré Anal. Non Linéaire 6 (1989), suppl., 211–227.https://doi.org/10.1016/s0294-1449(17)30023-9Google Scholar
  21. M. C. Delfour, J. P. Zolésio: Velocity method and Lagrangian formulation for the computation of the shape Hessian, SIAM J. Control Optimization 29 (1991) 1414–1442.https://doi.org/10.1137/0329072Google Scholar
  22. M. C. Delfour, J. P. Zolésio: Shapes and geometries: metrics, analysis, differential calculus, and optimization, SIAM Series on Advances in Design and Control, Society for Industrial and Applied Mathematics, Philadelphia (2011).https://doi.org/10.1137/1.9780898719826Google Scholar
  23. V. F. Dem’janov: Differentiation of the maximin function I, II (Russian), Ž. Vyčisl. Mat. i Mat. Fiz. 8 (1968) 1186–1195 and ibid. 9 (1969) 55–67.Google Scholar
  24. V. F. Dem’janov: Minimax: Directional Differentiation (Russian), Izdat. Leningrad Gos. Univ., Leningrad (1974).Google Scholar
  25. V. F. Dem’janov, V. N. Malozemov: Introduction to the Minimax, Translated from the Russian by D. Louvish, Halsted Press, New York et al. (1974).Google Scholar
  26. H. Federer: Curvature measures, Trans. Amer. Math. Soc. 93 (1959) 418–419.https://doi.org/10.1090/S0002-9947-1959-0110078-1Google Scholar
  27. H. Federer: Geometric Measure Theory, Grundlehren der mathematischen Wissenschaften 153, Springer, New York (1969).Google Scholar
  28. M. Fortin, Z. Mghazli: Analyse d’un élément mixte pour le problème de Stokes I: Résultats généraux, II: Construction et estimations d’erreur (French), Numer. Math. 62(2) (1992) 149–160, 161–188.https://doi.org/10.1007/BF01396225Google Scholar
  29. M. Frank, P. Wolfe: An algorithm for quadratic programming, Naval Res. Logist. Quart. 3 (1956) 95–110.https://doi.org/10.1002/nav.3800030109Google Scholar
  30. B. Lemaire: Problèmes Min-max et Applications au Contrôle Optimal de Systèmes Gouvernés par des Équations aux Dérivées Partielles Linéaires, Thèse de Doctorat d’État, Université de Montpellier, Montpellier (1970).Google Scholar
  31. K. Sturm: On Shape Optimization with Non-linear Partial Differential Equations, Doctoral Thesis, Technische Universität Berlin (2014).Google Scholar
  32. K. Sturm: Minimax Lagrangian approach to the differentiability of non-linear PDE constrained shape functions without saddle point assumption, SIAM J. Control Optimization 53 (2015) 2017–2039.https://doi.org/10.1137/130930807Google Scholar

M. C. Delfour, K. Sturm. “Parametric Semidifferentiability of Minimax of Lagrangians: Averaged Adjoint Approach.” Journal of Convex Analysis 24 (2017), No. 4, 1117–1142. https://doi.org/10.68381/jca24066