Global Stability Analysis of Fluid Flows using Sum-of-Squares

Abstract

This paper introduces a new method for proving global stability of fluid flows through the construction of Lyapunov functionals. For finite dimensional approximations of fluid systems, we show how one can exploit recently developed optimization methods based on sum-of-squares decomposition to construct a polynomial Lyapunov function. We then show how these methods can be extended to infinite dimensional Navier-Stokes systems using robust optimization techniques. Crucially, this extension requires only the solution of infinite-dimensional linear eigenvalue problems and finite-dimensional sum-of-squares optimization problems. We further show that subject to minor technical constraints, a general polynomial Lyapunov function is always guaranteed to provide better results than the classical energy methods in determining a lower-bound on the maximum Reynolds number for which a flow is globally stable, if the flow does remain globally stable for Reynolds numbers at least slightly beyond the energy stability limit. Such polynomial functions can be searched for efficiently using the SOS technique we propose.

Cited by in corpus (19)

• Bounds for deterministic and stochastic dynamical systems using sum-of-squares optimization
• Bounds on mean energy in the Kuramoto-Sivashinsky equation computed using semidefinite programming
• Bounding extreme events in nonlinear dynamics using convex optimization
• An input-output inspired method for permissible perturbation amplitude of transitional wall-bounded shear flows
• Relationship between the methods of bounding time averages
• Nonlinear Stability Analysis of Transitional Flows using Quadratic Constraints
• Global stability of fluid flows despite transient growth of energy
• A Framework for Input-Output Analysis of Wall-Bounded Shear Flows
• Bounding extrema over global attractors using polynomial optimisation
• Sum-of-Squares approach to feedback control of laminar wake flows
• Finding extremal periodic orbits with polynomial optimisation, with application to a nine-mode model of shear flow
• Exact energy stability of Bénard-Marangoni convection at infinite Prandtl number
• Expensive control of long-time averages using sum of squares and its application to a laminar wake flow
• A Convex Approach to Hydrodynamic Analysis
• Efficient Semidefinite Programming with approximate ADMM
• Stability of a Parametrically Driven, Coupled Oscillator System: An Auxillary Function Method Approach
• A PIE Representation of Scalar Quadratic PDEs and Global Stability Analysis Using SDP
• Data-driven nonlinear aerodynamics models with certifiably optimal boundedness properties
• Sum-of-squares bounds on correlation functions in a minimal model of turbulence