Bounding extreme events in nonlinear dynamics using convex optimization
File(s)fg2019-article-v3.pdf (1.23 MB)
Accepted version
Author(s)
Fantuzzi, Giovanni
Goluskin, David
Type
Journal Article
Abstract
We present a convex optimization framework for bounding extreme events in nonlinear dynamical systems governed by ordinary or partial differential
equations (ODEs or PDEs). This framework bounds from above the largest value of an observable along trajectories that start from a chosen set and evolve over a finite or infinite time interval. Our approach needs no explicit trajectories. Instead, it requires constructing suitably constrained auxiliary functions that depend on the state variables and possibly on time. Minimizing bounds over auxiliary functions a is a convex problem dual to the non-convex maximization of the observable along trajectories. We prove that this duality is strong, meaning that auxiliary functions give arbitrarily sharp bounds, for sufficiently regular ODEs evolving over a finite time on a compact domain. When the conditions of this theorem fail, strong duality may or may not hold; both situations are illustrated by examples. We also show that near-optimal auxiliary functions can be used to construct spacetime sets that localize trajectories leading to extreme events. Finally, in the case of polynomial ODEs and observables, we describe how polynomial auxiliary functions of fixed degree can be optimized numerically using polynomial optimization. These computed bounds become sharp as the polynomial degree is raised if strong duality and mild compactness assumptions hold. Analytical and computational ODE examples illustrate the construction of bounds and the identification of extreme trajectories, along with some limitations. As an analytical PDE example, we bound the maximum fractional enstrophy of solutions to the Burgers equation with fractional dissipation.
equations (ODEs or PDEs). This framework bounds from above the largest value of an observable along trajectories that start from a chosen set and evolve over a finite or infinite time interval. Our approach needs no explicit trajectories. Instead, it requires constructing suitably constrained auxiliary functions that depend on the state variables and possibly on time. Minimizing bounds over auxiliary functions a is a convex problem dual to the non-convex maximization of the observable along trajectories. We prove that this duality is strong, meaning that auxiliary functions give arbitrarily sharp bounds, for sufficiently regular ODEs evolving over a finite time on a compact domain. When the conditions of this theorem fail, strong duality may or may not hold; both situations are illustrated by examples. We also show that near-optimal auxiliary functions can be used to construct spacetime sets that localize trajectories leading to extreme events. Finally, in the case of polynomial ODEs and observables, we describe how polynomial auxiliary functions of fixed degree can be optimized numerically using polynomial optimization. These computed bounds become sharp as the polynomial degree is raised if strong duality and mild compactness assumptions hold. Analytical and computational ODE examples illustrate the construction of bounds and the identification of extreme trajectories, along with some limitations. As an analytical PDE example, we bound the maximum fractional enstrophy of solutions to the Burgers equation with fractional dissipation.
Date Issued
2020-08-13
Date Acceptance
2020-05-16
Citation
SIAM Journal on Applied Dynamical Systems, 2020, 19 (3), pp.1823-1864
ISSN
1536-0040
Publisher
Society for Industrial and Applied Mathematics
Start Page
1823
End Page
1864
Journal / Book Title
SIAM Journal on Applied Dynamical Systems
Volume
19
Issue
3
Copyright Statement
© 2020, Society for Industrial and Applied Mathematics
Identifier
https://arxiv.org/abs/1907.10997
Subjects
math.DS
math.DS
math.OC
93C10, 93C15, 93C20, 90C22, 34C11, 37C10, 49M29
Publication Status
Published
Date Publish Online
2020-08-13