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… 

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

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

Bounding Extreme Events in Nonlinear Dynamics Using Convex Optimization

TLDR
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

TLDR
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

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

TLDR
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

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

Maximum amplification of enstrophy in three-dimensional Navier–Stokes flows

This investigation concerns a systematic search for potentially singular behaviour in three-dimensional (3-D) Navier–Stokes flows. Enstrophy serves as a convenient indicator of the regularity of

References

SHOWING 1-10 OF 62 REFERENCES

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

TLDR
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

TLDR
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.

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

Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization

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

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

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

Optimal bounds on the Kuramoto–Sivashinsky equation

Uncertainty estimates and L2 bounds for the Kuramoto–Sivashinsky equation

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

Variational bounds on energy dissipation in incompressible flows. III. Convection.

  • DoeringConstantin
  • Physics
    Physical review. E, Statistical physics, plasmas, fluids, and related interdisciplinary topics
  • 1996
TLDR
A variational principle for upper bounds on the largest possible time averaged convective heat flux is derived from the Boussinesq equations of motion, from which nonlinear Euler-Lagrange equations for the optimal background fields are derived.
...