The Role of Convexity in Saddle-Point Dynamics: Lyapunov Function and Robustness

This paper studies the projected saddle-point dynamics associated to a convex–concave function, which we term saddle function. The dynamics consists of gradient descent of the saddle function in variables corresponding to convexity and (projected) gradient ascent in variables corresponding to concavity. We examine the role that the local and/or global nature of the convexity–concavity properties of the saddle function plays in guaranteeing convergence and robustness of the dynamics. Under the assumption that the saddle function is twice continuously differentiable, we provide a novel characterization of the omega-limit set of the trajectories of this dynamics in terms of the diagonal blocks of the Hessian. Using this characterization, we establish global asymptotic convergence of the dynamics under local strong convexity–concavity of the saddle function. When strong convexity–concavity holds globally, we establish three results. First, we identify a Lyapunov function (that decreases strictly along the trajectory) for the projected saddle-point dynamics when the saddle function corresponds to the Lagrangian of a general constrained convex optimization problem. Second, for the particular case when the saddle function is the Lagrangian of an equality-constrained optimization problem, we show input-to-state stability (ISS) of the saddle-point dynamics by providing an ISS Lyapunov function. Third, we use the latter result to design an opportunistic state-triggered implementation of the dynamics. Various examples illustrate our results.

[1]  Bahman Gharesifard,et al.  Distributed convergence to Nash equilibria in two-network zero-sum games , 2012, Autom..

[2]  Na Li,et al.  Connecting Automatic Generation Control and Economic Dispatch From an Optimization View , 2014, IEEE Transactions on Control of Network Systems.

[3]  Arjan van der Schaft,et al.  A Unifying Energy-Based Approach to Stability of Power Grids With Market Dynamics , 2016, IEEE Transactions on Automatic Control.

[4]  Enrique Mallada,et al.  Optimal Load-Side Control for Frequency Regulation in Smart Grids , 2014, IEEE Transactions on Automatic Control.

[5]  A. Mukherjea,et al.  Real and Functional Analysis , 1978 .

[6]  Andrea Bacciotti,et al.  Nonpathological Lyapunov functions and discontinuous Carathéodory systems , 2006, Autom..

[7]  S. Shankar Sastry,et al.  On the Characterization of Local Nash Equilibria in Continuous Games , 2014, IEEE Transactions on Automatic Control.

[8]  Jing Wang,et al.  A control perspective for centralized and distributed convex optimization , 2011, IEEE Conference on Decision and Control and European Control Conference.

[9]  T. Kose Solutions of Saddle Value Problems by Differential Equations , 1956 .

[10]  Sonia Martínez,et al.  Distributed convex optimization via continuous-time coordination algorithms with discrete-time communication , 2014, Autom..

[11]  Bahman Gharesifard,et al.  Distributed Continuous-Time Convex Optimization on Weight-Balanced Digraphs , 2012, IEEE Transactions on Automatic Control.

[12]  Ufuk Topcu,et al.  Design and Stability of Load-Side Primary Frequency Control in Power Systems , 2013, IEEE Transactions on Automatic Control.

[13]  M. Branicky Multiple Lyapunov functions and other analysis tools for switched and hybrid systems , 1998, IEEE Trans. Autom. Control..

[14]  Ioannis Lestas,et al.  On the convergence to saddle points of concave-convex functions, the gradient method and emergence of oscillations , 2014, 53rd IEEE Conference on Decision and Control.

[15]  Jorge Cortés,et al.  Robust Distributed Linear Programming , 2014, IEEE Transactions on Automatic Control.

[16]  Enrique Mallada,et al.  The role of strong convexity-concavity in the convergence and robustness of the saddle-point dynamics , 2016, 2016 54th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

[17]  F. Paganini,et al.  A Unified Approach to Congestion Control and Node-Based Multipath Routing , 2009, IEEE/ACM Transactions on Networking.

[18]  ASHISH CHERUKURI,et al.  Saddle-Point Dynamics: Conditions for Asymptotic Stability of Saddle Points , 2015, SIAM J. Control. Optim..

[19]  A. Robert Calderbank,et al.  Layering as Optimization Decomposition: A Mathematical Theory of Network Architectures , 2007, Proceedings of the IEEE.

[20]  Xuan Zhang,et al.  A real-time control framework for smart power networks: Design methodology and stability , 2015, Autom..

[21]  Yu. S. Ledyaev,et al.  Nonsmooth analysis and control theory , 1998 .

[22]  Yuandan Lin,et al.  Various results concerning set input-to-state stability , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[23]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[24]  B. V. Dean,et al.  Studies in Linear and Non-Linear Programming. , 1959 .

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

[26]  B. V. Dean,et al.  Studies in Linear and Non-Linear Programming. , 1959 .

[27]  Jorge Cortés,et al.  Distributed Coordination for Nonsmooth Convex Optimization via Saddle-Point Dynamics , 2016, J. Nonlinear Sci..

[28]  Fernando Paganini,et al.  Stability of primal-dual gradient dynamics and applications to network optimization , 2010, Autom..

[29]  P. Shiu,et al.  Real and functional analysis , (3rd edition), by Serge Lang. Pp 580 DM88. 1993. ISBN 3-540-94001-4 (Springer) , 1994, The Mathematical Gazette.

[30]  Jorge Cortés,et al.  Distributed Bargaining in Dyadic-Exchange Networks , 2014, IEEE Transactions on Control of Network Systems.

[31]  Paulo Tabuada,et al.  An introduction to event-triggered and self-triggered control , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[32]  J. Cortés Discontinuous dynamical systems , 2008, IEEE Control Systems.

[33]  W. Marsden I and J , 2012 .

[34]  Dennis S. Bernstein,et al.  Nontangency-Based Lyapunov Tests for Convergence and Stability in Systems Having a Continuum of Equilibria , 2003, SIAM J. Control. Optim..