Bounds for deterministic and stochastic dynamical systems using sum-of-squares optimization
File(s)
Author(s)
Fantuzzi, G
Goluskin, D
Huang, D
Chernyshenko, SI
Type
Journal Article
Abstract
We describe methods for proving upper and lower bounds on infinite-time averages in deterministic dynamical systems and on stationary expectations in stochastic systems. The dynamics and the quantities to be bounded are assumed to be polynomial functions of the state variables. The methods are computer-assisted, using sum-of-squares polynomials to formulate sufficient conditions that can be checked by semidefinite programming. In the deterministic case, we seek tight bounds that apply to particular local attractors. An obstacle to proving such bounds is that they do not hold globally; they are generally violated by trajectories starting outside the local basin of attraction. We describe two closely related ways past this obstacle: one that requires knowing a subset of the basin of attraction, and another that considers the zero-noise limit of the corresponding stochastic system. The bounding methods are illustrated using the van der Pol oscillator. We bound deterministic averages on the attracting limit cycle above and below to within 1% , which requires a lower bound that does not hold for the unstable fixed point at the origin. We obtain similarly tight upper and lower bounds on stochastic expectations for a range of noise amplitudes. Limitations of our methods for certain types of deterministic systems are discussed, along with prospects for improvement.
Date Issued
2016-10-26
Date Acceptance
2016-08-10
Citation
SIAM Journal on Applied Dynamical Systems, 2016, 15 (4), pp.1962-1988
ISSN
1536-0040
Publisher
Society for Industrial and Applied Mathematics
Start Page
1962
End Page
1988
Journal / Book Title
SIAM Journal on Applied Dynamical Systems
Volume
15
Issue
4
Copyright Statement
© 2016, Society for Industrial and Applied Mathematics. Published by SIAM under the terms of the Creative Commons 4.0 license (https://creativecommons.org/licenses/by/4.0/)
Sponsor
Engineering & Physical Science Research Council (EPSRC)
Identifier
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000391588600007&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
Grant Number
EP/J011126/1
Subjects
Science & Technology
Physical Sciences
Mathematics, Applied
Physics, Mathematical
Mathematics
Physics
sum-of-squares optimization
bounds
time averages
stochastic expectations
STABILITY ANALYSIS
SEMIDEFINITE
INEQUALITIES
PROGRAMS
math.DS
math.DS
math.OC
34C28, 34D05, 90C22, 93E03
Fluids & Plasmas
0102 Applied Mathematics
Publication Status
Published
Date Publish Online
2016-10-26