Bounds for deterministic and stochastic dynamical systems using sum-of-squares optimization

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.

25 pages; Added new Section 7.2; Added references; Corrected typos; Submitted to SIADS

References in corpus (2)

• Sum-of-Squares approach to feedback control of laminar wake flows
• Expensive control of long-time averages using sum of squares and its application to a laminar wake flow

Cited by in corpus (34)

• Optimal bounds and extremal trajectories for time averages in nonlinear dynamical systems
• Bounds on mean energy in the Kuramoto-Sivashinsky equation computed using semidefinite programming
• Chordal and factor-width decompositions for scalable semidefinite and polynomial optimization
• Bounding averages rigorously using semidefinite programming: mean moments of the Lorenz system
• Bounding extreme events in nonlinear dynamics using convex optimization
• Rigorous bounds on the stationary distributions of the chemical master equation via mathematical programming
• An input-output inspired method for permissible perturbation amplitude of transitional wall-bounded shear flows
• Convection driven by internal heat sources and sinks: heat transport beyond the mixing-length or "ultimate" scaling regime
• Relationship between the methods of bounding time averages
• The background method: Theory and computations
• Bounds on heat transport for convection driven by internal heating
• Bounds for Rayleigh-Bénard convection between free-slip boundaries with an imposed heat flux
• Bounds on heat transfer for Bénard-Marangoni convection at infinite Prandtl number
• Bounding extrema over global attractors using polynomial optimisation
• Block Factor-width-two Matrices and Their Applications to Semidefinite and Sum-of-squares Optimization
• Auxiliary Functions as Koopman Observables: Data-Driven Analysis of Dynamical Systems via Polynomial Optimization
• Finding extremal periodic orbits with polynomial optimisation, with application to a nine-mode model of shear flow
• Heat transport bounds for a truncated model of Rayleigh-Bénard convection via polynomial optimization
• Analytical bounds on the heat transport in internally heated convection
• Bounds for internally heated convection with fixed boundary heat flux
• Systematic Search For Extreme and Singular Behavior in Some Fundamental Models of Fluid Mechanics
• Sparse sum-of-squares (SOS) optimization: A bridge between DSOS/SDSOS and SOS optimization for sparse polynomials
• Circuit Bounds on Stochastic Transport in the Lorenz Equations
• Finding unstable periodic orbits: a hybrid approach with polynomial optimization
• Time averages and periodic attractors at high Rayleigh number for Lorenz-like models
• A study of the double pendulum using polynomial optimization
• Minimum wave speeds in monostable reaction-diffusion equations: sharp bounds by polynomial optimization
• Optimal time averages in non-autonomous nonlinear dynamical systems
• Uncertainty propagation for nonlinear dynamics: A polynomial optimization approach
• Data-driven Discovery of Invariant Measures
• Rotating Rayleigh-Benard convection: Attractors, bifurcations and heat transport via a Galerkin hierarchy
• Stability of a Parametrically Driven, Coupled Oscillator System: An Auxillary Function Method Approach
• Bootstrapping Nonequilibrium Stochastic Processes
• Sum-of-squares bounds on correlation functions in a minimal model of turbulence