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.

Globally convergent homotopies for discrete-time optimal control

Homotopy Methods for Convex Optimization

Mixed-Integer Path-Stable Optimisation, with Applications in Model-Predictive Control of Water Systems

Heat-Equation-Based Smoothing Homotopy Method for Nonlinear Optimal Control Problems

Homotopy Method for Optimal Motion Planning With Homotopy Class Constraints

A Sequential Homotopy Method for Mathematical Programming Problems

Mainardi smoothing homotopy method for solving nonlinear optimal control problems

Modified fractional homotopy method for solving nonlinear optimal control problems

Optimal Control of Discrete-Time Nonlinear Systems

Hermite kernel surrogates for the value function of high-dimensional nonlinear optimal control problems

Continuation Path Learning for Homotopy Optimization

Path Homotopy Invariants and their Application to Optimal Trajectory Planning

Discrete Adjoint Method for Variational Integration of Constrained ODEs and its application to Optimal Control of Geometrically Exact Beam Dynamics

Hopf-type representation formulas and efficient algorithms for certain high-dimensional optimal control problems

Time-optimal control with direct collocation and variable discretization

A logical network approximation to optimal control on a continuous domain and its application to HEV control

Generic Homotopic Smoothing for Low-Thrust Optimal Control Problems With Power Constraints

Port-Hamiltonian structures in infinite-dimensional optimal control: Primal-Dual gradient method and control-by-interconnection

Optimization of Fully Controlled Sweeping Processes

Homotopy for Rational Riccati Equations Arising in Stochastic Optimal Control.