约束优化离散时间Arrow-Hurwicz-Uzawa原始对偶算法的半全局指数稳定性

Semiglobal exponential stability of the discrete-time Arrow-Hurwicz-Uzawa primal-dual algorithm for constrained optimization

Mathematical Programming · 2024
被引 1
ABS 4

中文导读

研究了离散时间Arrow-Hurwicz-Uzawa原始对偶算法在光滑强凸代价和光滑凸约束下的稳定性,证明对任意紧初始集存在足够小步长使最优解指数稳定。

Abstract

Abstract We consider the discrete-time Arrow-Hurwicz-Uzawa primal-dual algorithm, also known as the first-order Lagrangian method, for constrained optimization problems involving a smooth strongly convex cost and smooth convex constraints. We prove that, for every given compact set of initial conditions, there always exists a sufficiently small stepsize guaranteeing exponential stability of the optimal primal-dual solution of the problem with a domain of attraction including the initialization set. Inspired by the analysis of nonlinear oscillators, the stability proof is based on a non-quadratic Lyapunov function including a nonlinear cross term.

约束优化原始对偶算法指数稳定性非线性系统