Abstract:We propose a sequential homotopy method for the solution of mathematical programming problems formulated in abstract Hilbert spaces under the Guignard constraint qualification. The method is equivalent to performing projected backward Euler timestepping on a projected gradient/antigradient flow of the augmented Lagrangian. The projected backward Euler equations can be interpreted as the necessary optimality conditions of a primal-dual proximal regularization of the original problem. The regularized problems are always feasible, satisfy a strong constraint qualification guaranteeing uniqueness of Lagrange multipliers, yield unique primal solutions provided that the stepsize is sufficiently small, and can be solved by a continuation in the stepsize. We show that equilibria of the projected gradient/antigradient flow and critical points of the optimization problem are identical, provide sufficient conditions for the existence of global flow solutions, and show that critical points with emanating descent curves cannot be asymptotically stable equilibria of the projected gradient/antigradient flow, practically eradicating convergence to saddle points and maxima. The sequential homotopy method can be used to globalize any locally convergent optimization method that can be used in a homotopy framework. We demonstrate its efficiency for a class of highly nonlinear and badly conditioned control constrained elliptic optimal control problems with a semismooth Newton approach for the regularized subproblems. In contrast to the published article, this version contains a correction that the associate editor considers as too insignificant to justify publication in the journal.

On the role of semismoothness in the implicit programming approach to selected nonsmooth optimization problems

On the role of semismoothness in nonsmooth numerical analysis: Theory

Smoothing SQP methods for solving degenerate nonsmooth constrained optimization problems with applications to bilevel programs

On implicit variables in optimization theory

Semismooth Newton-type method for bilevel optimization: Global convergence and extensive numerical experiments

Bundle-level type methods uniformly optimal for smooth and nonsmooth convex optimization

A Sequential Smooth Penalization Approach to Mathematical Programs with Complementarity Constraints

Smoothing Partial Exact Penalty Splitting Method for Mathematical Programs with Equilibrium Constraints

Theoretical smoothing frameworks for general nonsmooth bilevel problems

A fresh look at nonsmooth Levenberg–Marquardt methods with applications to bilevel optimization

A Class of Smoothing Modulus-Based Iterative Method for Solving Implicit Complementarity Problems

Calibrating Least Squares Semidefinite Programming with Equality and Inequality Constraints

On SCD Semismooth$^*$ Newton methods for the efficient minimization of Tikhonov functionals with non-smooth and non-convex penalties

Codifferentials and Quasidifferentials of the Expectation of Nonsmooth Random Integrands and Two-Stage Stochastic Programming

Enhanced Barrier-Smoothing Technique for Bilevel Optimization with Nonsmooth Mappings

On some optimality conditions for a class of problems in mathematical programming with equilibrium constraints

Multiobjective Optimization of Non-Smooth PDE-Constrained Problems

A Sequential Homotopy Method for Mathematical Programming Problems

Semi-Smooth Second-order Type Methods for Composite Convex Programs

A Globalized Inexact Semismooth Newton Method for Nonsmooth Fixed-point Equations involving Variational Inequalities

A conditional gradient homotopy method with applications to Semidefinite Programming