Bounding averages rigorously using semidefinite programming: mean moments of the Lorenz system

David Goluskin

We describe methods for proving bounds on infinite-time averages in differential dynamical systems. The methods rely on the construction of nonnegative polynomials with certain pro…