Bounds on mean energy in the Kuramoto–Sivashinsky equation computed using semidefinite programming

DOI10.1088/1361-6544/AB018BzbMATH Open1412.35039arXiv1802.08240OpenAlexW3104314216WikidataQ128116163 ScholiaQ128116163MaRDI QIDQ4632034FDOQ4632034

Authors: David Goluskin, Giovanni Fantuzzi 

Publication date: 25 April 2019

Published in: Nonlinearity (Search for Journal in Brave)

Abstract: We present methods for bounding infinite-time averages in dynamical systems governed by nonlinear PDEs. The methods rely on auxiliary functionals, which are similar to Lyapunov functionals but satisfy different inequalities. The inequalities are enforced by requiring certain expressions to be sums of squares of polynomials, and the optimal choice of auxiliary functional is posed as a semidefinite program (SDP) that can be solved computationally. To formulate these SDPs we approximate the PDE by truncated systems of ODEs and proceed in one of two ways. The first approach is to compute bounds for the ODE systems, increasing the truncation order until bounds converge numerically. The second approach incorporates the ODE systems with analytical estimates on their deviation from the PDE, thereby using finite truncations to produce bounds for the full PDE. We apply both methods to the Kuramoto-Sivashinsky equation, where we compute upper bounds on the spatiotemporal average of energy by employing polynomial auxiliary functionals up to degree six. The first approach is used for most computations, but a subset of results are checked using the second approach, and the results agree to high precision. These bounds apply to all odd solutions of period $2piL$, where $L$ is varied. Sharp bounds are obtained for $Lle10$, and trends suggest that more expensive computations would yield sharp bounds at larger $L$ also. The bounds are known to be sharp (to within 0.1% numerical error) because they are saturated by the simplest nonzero steady states, which apparently have the largest mean energy among all odd solutions. Prior authors have conjectured that mean energy remains $O(1)$ for $Lgg1$ since no particular solutions with larger energy have been found. Our bounds constitute the first positive evidence for this conjecture, albeit up to finite $L$, and they offer some guidance for analytical proofs.

Full work available at URL: https://arxiv.org/abs/1802.08240

Recommendations

• Optimal bounds on the Kuramoto-Sivashinsky equation
• Optimal parameter-dependent bounds for Kuramoto-Sivashinsky-type equations
• New bounds for the Kuramoto‐Sivashinsky equation
• Construction of an optimal background profile for the Kuramoto-Sivashinsky equation using semidefinite programming
• Korteweg--de Vries and Kuramoto--Sivashinsky equations in bounded domains
• On the Kuramoto-Sivashinsky system in a bounded domain
• Uncertainty estimates andL₂bounds for the Kuramoto–Sivashinsky equation
• scientific article; zbMATH DE number 17722
• A linearized \({L_\infty}\)-finite difference method for the Kuramoto-Sivashinsky equation
• scientific article; zbMATH DE number 37936

zbMATH Keywords

sum of squares polynomialsauxiliary functionalinfinite-time averagesspatiotemporal average

Mathematics Subject Classification ID

Semidefinite programming (90C22) A priori estimates in context of PDEs (35B45) Variational methods applied to PDEs (35A15) Initial-boundary value problems for higher-order parabolic equations (35K35)

Cites Work

• Conic optimization via operator splitting and homogeneous self-dual embedding
• Turbulence, coherent structures, dynamical systems and symmetry.
• Some NP-complete problems in quadratic and nonlinear programming
• Some global dynamical properties of the Kuramoto-Sivashinsky equations: nonlinear stability and attractors
• The Kuramoto-Sivashinsky equation: a bridge between PDE's and dynamical systems
• Nonlinear analysis of hydrodynamic instability in laminar flames—I. Derivation of basic equations
• MATCONT
• A global attracting set for the Kuramoto-Sivashinsky equation
• Symmetry groups, semidefinite programs, and sums of squares
• Advances in computational Lyapunov analysis using sum-of-squares programming
• Convex Computation of the Region of Attraction of Polynomial Control Systems
• Stability of the kuramoto‐sivashinsky and related systems
• Sums of Squares and Semidefinite Program Relaxations for Polynomial Optimization Problems with Structured Sparsity
• Convergent SDP‐Relaxations in Polynomial Optimization with Sparsity
• Pre- and Post-Processing Sum-of-Squares Programs in Practice
• DSOS and SDSOS optimization: more tractable alternatives to sum of squares and semidefinite optimization
• Steady solutions of the Kuramoto-Sivashinsky equation
• Nonlinear analysis of hydrodynamic instability in laminar flames—II. Numerical experiments
• Order and complexity in the Kuramoto-Sivashinsky model of weakly turbulent interfaces
• Improved variational principle for bounds on energy dissipation in turbulent shear flow
• Optimal bounds on the Kuramoto-Sivashinsky equation
• Improved upper bound on the energy dissipation rate in plane Couette flow: the full solution to Busse's problem and the Constantin–Doering–Hopf problem with one-dimensional background field
• Uncertainty estimates andL₂bounds for the Kuramoto–Sivashinsky equation
• Global stability analysis of fluid flows using sum-of-squares
• On the state space geometry of the Kuramoto-Sivashinsky flow in a periodic domain
• Polynomial optimization, sums of squares, and applications
• Dissipativity, analyticity and viscous shocks in the (de)stabilized Kuramoto-Sivashinsky equation
• New bounds for the Kuramoto‐Sivashinsky equation
• Optimal parameter-dependent bounds for Kuramoto-Sivashinsky-type equations
• Construction of an optimal background profile for the Kuramoto-Sivashinsky equation using semidefinite programming
• The route to chaos for the Kuramoto-Sivashinsky equation
• The steady states of the Kuramoto-Sivashinsky equation
• Polynomial sum of squares in fluid dynamics: a review with a look ahead
• Sum-of-squares of polynomials approach to nonlinear stability of fluid flows: an example of application
• Optimal bounds and extremal trajectories for time averages in nonlinear dynamical systems
• Bounds for deterministic and stochastic dynamical systems using sum-of-squares optimization
• Bounding averages rigorously using semidefinite programming: mean moments of the Lorenz system
• New bounds for the inhomogenous Burgers and the Kuramoto-Sivashinsky equations
• Sum-of-squares optimization without semidefinite programming
• Bounds for convection between rough boundaries

Cited In (37)

• Heat transport bounds for a truncated model of Rayleigh-Bénard convection via polynomial optimization
• Continuity in expectation of odd random attractors for stochastic Kuramoto-Sivashinsky equations
• Concurrent multiparameter learning demonstrated on the Kuramoto-Sivashinsky equation
• Bounding extrema over global attractors using polynomial optimisation
• Odd random attractors for stochastic non-autonomous Kuramoto-Sivashinsky equations without dissipation
• Convex computation of maximal Lyapunov exponents
• Bounding averages rigorously using semidefinite programming: mean moments of the Lorenz system
• Convex Relaxations of Integral Variational Problems: Pointwise Dual Relaxation and Sum-of-Squares Optimization
• The Lorenz system as a gradient-like system
• The moment-SOS hierarchy: applications and related topics
• Regularity criteria for the Kuramoto-Sivashinsky equation in dimensions two and three
• A framework for input-output analysis of wall-bounded shear flows
• Inferring symbolic dynamics of chaotic flows from persistence
• Remarks on the stabilization of large-scale growth in the 2D Kuramoto-Sivashinsky equation
• Well- and ill-posedness for a class of the \(3D\)-generalized Kuramoto-Sivashinsky equations
• Complete classification of local conservation laws for generalized Cahn–Hilliard–Kuramoto–Sivashinsky equation
• Algebraic calming for the 2D Kuramoto-Sivashinsky equations
• A moment approach for entropy solutions to nonlinear hyperbolic PDEs
• Rigorous bounds on the heat transport of rotating convection with Ekman pumping
• Exhausting the background approach for bounding the heat transport in Rayleigh-Bénard convection
• On the well-posedness of an anisotropically-reduced two-dimensional Kuramoto-Sivashinsky equation
• Maximum amplification of enstrophy in three-dimensional Navier-Stokes flows
• Converging outer approximations to global attractors using semidefinite programming
• Global existence for the two-dimensional Kuramoto-Sivashinsky equation with a shear flow
• Bounds for internally heated convection with fixed boundary heat flux
• Bounding extreme events in nonlinear dynamics using convex optimization
• Construction of an optimal background profile for the Kuramoto-Sivashinsky equation using semidefinite programming
• Bounds on heat transport for convection driven by internal heating
• On the crest factor and its relevance in detecting turbulent behaviour in solutions of partial differential equations
• Dissipation enhancement of planar helical flows and applications to three-dimensional Kuramoto-Sivashinsky and Keller-Segel equations
• Discretization with dense uncountable continuity for global attractors of Kuramoto-Sivashinsky lattice equations
• Finding extremal periodic orbits with polynomial optimization, with application to a nine-mode model of shear flow
• Global existence for the two-dimensional Kuramoto-Sivashinsky equation with advection
• Finding unstable periodic orbits: a hybrid approach with polynomial optimization
• Bounds for deterministic and stochastic dynamical systems using sum-of-squares optimization
• A study of the double pendulum using polynomial optimization
• Minimum wave speeds in monostable reaction-diffusion equations: sharp bounds by polynomial optimization

Uses Software

• MATCONT
• VSDP
• YALMIP
• Mosek
• SCS
• SPOTless

This page was built for publication: Bounds on mean energy in the Kuramoto–Sivashinsky equation computed using semidefinite programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4632034)