Optimal bounds and extremal trajectories for time averages in nonlinear dynamical systems

Abstract

For any quantity of interest in a system governed by ordinary differential equations, it is natural to seek the largest (or smallest) long-time average among solution trajectories, as well as the extremal trajectories themselves. Upper bounds on time averages can be proved a priori using auxiliary functions, the optimal choice of which is a convex optimization problem. We prove that the problems of finding maximal trajectories and minimal auxiliary functions are strongly dual. Thus, auxiliary functions provide arbitrarily sharp upper bounds on time averages. Moreover, any nearly minimal auxiliary function provides phase space volumes in which all nearly maximal trajectories are guaranteed to lie. For polynomial equations, auxiliary functions can be constructed by semidefinite programming, which we illustrate using the Lorenz system.

Minor revisions from review; title change

Cited by in corpus (28)

• Bounds on mean energy in the Kuramoto-Sivashinsky equation computed using semidefinite programming
• Bounding extreme events in nonlinear dynamics using convex optimization
• Relationship between the methods of bounding time averages
• The background method: Theory and computations
• Bounds on heat transport for convection driven by internal heating
• On the optimal design of wall-to-wall heat transport
• Bounds for Rayleigh-Bénard convection between free-slip boundaries with an imposed heat flux
• Bounding extrema over global attractors using polynomial optimisation
• Auxiliary Functions as Koopman Observables: Data-Driven Analysis of Dynamical Systems via Polynomial Optimization
• Maximum Amplification of Enstrophy in 3D Navier-Stokes Flows
• 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
• Systematic Search For Extreme and Singular Behavior in Some Fundamental Models of Fluid Mechanics
• Optimal cooling of an internally heated disc
• Circuit Bounds on Stochastic Transport in the Lorenz Equations
• Rigorous bounds on the heat transport of rotating convection with Ekman pumping
• Rigorous scaling laws for internally heated convection at infinite Prandtl number
• Finding unstable periodic orbits: a hybrid approach with polynomial optimization
• Minimum wave speeds in monostable reaction-diffusion equations: sharp bounds by polynomial optimization
• Optimal time averages in non-autonomous nonlinear dynamical systems
• Internally heated convection with rotation: bounds on heat transport
• Optimal minimax bounds for time and ensemble averages for the incompressible Navier-Stokes equations
• Stability of a Parametrically Driven, Coupled Oscillator System: An Auxillary Function Method Approach
• Solving moment and polynomial optimization problems on Sobolev spaces
• Infinite-dimensional moment-SOS hierarchy for nonlinear partial differential equations
• Bootstrapping Nonequilibrium Stochastic Processes
• Bootstrap Method in Theoretical Physics