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

@article{Goluskin2019BoundsOM, title={Bounds on mean energy in the Kuramoto–Sivashinsky equation computed using semidefinite programming}, author={David Goluskin and Giovanni Fantuzzi}, journal={Nonlinearity}, year={2019}, volume={32}, pages={1705 - 1730} }

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…

## 36 Citations

Bounding extreme values on attractors using sum-of-squares optimization, with application to the Lorenz attractor.

- Mathematics
- 2018

We describe methods for bounding extreme values of quantities on global attractors of differential dynamical systems. Such bounds apply, in particular, along every trajectory at sufficiently late…

Converging outer approximations to global attractors using semidefinite programming

- MathematicsAutom.
- 2021

Bounding Extreme Events in Nonlinear Dynamics Using Convex Optimization

- Mathematics, Computer ScienceSIAM J. Appl. Dyn. Syst.
- 2020

A convex optimization framework for bounding extreme events in nonlinear dynamical systems governed by ordinary or partial differential equations (ODEs or PDEs) is studied and it is shown that near-optimal auxiliary functions can be used to construct spacetime sets that localize trajectories leading to extreme events.

Bounding extrema over global attractors using polynomial optimisation

- Mathematics, Computer Science
- 2018

In particular, nonnegativity of certain polynomial expressions is enforced by requiring them to be representable as sums of squares, leading to a convex optimisation problem that can be recast as a semidefinite program and solved computationally.

Moments and convex optimization for analysis and control of nonlinear partial differential equations

- Mathematics, Computer Science
- 2018

This work presents a convex-optimization-based framework for analysis and control of nonlinear partial differential equations. The approach uses a particular weak embedding of the nonlinear PDE,…

A moment approach for entropy solutions to nonlinear hyperbolic PDEs

- Mathematics, Computer Science
- 2018

The aim of this paper is to provide the conditions that ensure the equivalence between the two formulations and to introduce a method which approximates the infinite-dimensional linear problem by a hierarchy of convex, finite-dimensional, semidefinite programming problems.

Converging Approximations of Attractors via Almost Lyapunov Functions and Semidefinite Programming

- MathematicsIEEE Control Systems Letters
- 2022

In this letter we combine two existing approaches for approximating global attractors. One of them approximates the global attractors arbitrarily well by sublevel sets related to solutions of…

Relationship between the methods of bounding time averages

- MathematicsPhilosophical Transactions of the Royal Society A
- 2022

The problem of finding bounds of time-averaged characteristics of dynamical systems, such as the bound on the mean energy dissipation rate in a turbulent flow governed by incompressible Navier–Stokes…

On the well-posedness of an anisotropically-reduced two-dimensional Kuramoto–Sivashinsky equation

- MathematicsPhysica D: Nonlinear Phenomena
- 2020

## References

SHOWING 1-10 OF 63 REFERENCES

Bounding Averages Rigorously Using Semidefinite Programming: Mean Moments of the Lorenz System

- MathematicsJ. Nonlinear Sci.
- 2018

Methods for proving bounds on infinite-time averages in differential dynamical systems rely on the construction of nonnegative polynomials with certain properties, similarly to the way nonlinear stability can be proved using Lyapunov functions.

Bounds for Deterministic and Stochastic Dynamical Systems using Sum-of-Squares Optimization

- Mathematics, Computer ScienceSIAM J. Appl. Dyn. Syst.
- 2016

Methods for proving upper and lower bounds on infinite-time averages in deterministic dynamical systems and on stationary expectations in stochastic systems are described, using sum-of-squares polynomials to formulate sufficient conditions that can be checked by semidefinite programming.

Bounding extreme values on attractors using sum-of-squares optimization, with application to the Lorenz attractor.

- Mathematics
- 2018

We describe methods for bounding extreme values of quantities on global attractors of differential dynamical systems. Such bounds apply, in particular, along every trajectory at sufficiently late…

Construction of an optimal background profile for the Kuramoto–Sivashinsky equation using semidefinite programming

- Mathematics
- 2015

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

- Mathematics
- 2018

Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization

- Mathematics
- 2000

In the first part of this thesis, we introduce a specific class of Linear Matrix Inequalities (LMI) whose optimal solution can be characterized exactly. This family corresponds to the case where the…

Optimal parameter-dependent bounds for Kuramoto-Sivashinsky-type equations

- Mathematics
- 2014

We derive a priori estimates on the absorbing ball in $L^2$
for the stabilized and destabilized Kuramoto-Sivashinsky (KS)
equations, and for a sixth-order analog, the Nikolaevskiy equation,
and…

Optimal bounds and extremal trajectories for time averages in dynamical systems

- Mathematics
- 2017

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. Upper bounds can…

Uncertainty estimates and L2 bounds for the Kuramoto–Sivashinsky equation

- Mathematics
- 2005

We consider the Kuramoto–Sivashinsky (KS) equation in one dimension with periodic boundary conditions. We apply a Lyapunov function argument similar to the one first introduced by Nicolaenko et al…