Rigorous data‐driven computation of spectral properties of Koopman operators for dynamical systems
From MaRDI portal
Publication:6180710
Abstract: Koopman operators are infinite-dimensional operators that globally linearize nonlinear dynamical systems, making their spectral information valuable for understanding dynamics. However, Koopman operators can have continuous spectra and infinite-dimensional invariant subspaces, making computing their spectral information a considerable challenge. This paper describes data-driven algorithms with rigorous convergence guarantees for computing spectral information of Koopman operators from trajectory data. We introduce residual dynamic mode decomposition (ResDMD), which provides the first scheme for computing the spectra and pseudospectra of general Koopman operators from snapshot data without spectral pollution. Using the resolvent operator and ResDMD, we compute smoothed approximations of spectral measures associated with general measure-preserving dynamical systems. We prove explicit convergence theorems for our algorithms, which can achieve high-order convergence even for chaotic systems when computing the density of the continuous spectrum and the discrete spectrum. Since our algorithms come with error control, ResDMD allows aposteri verification of spectral quantities, Koopman mode decompositions, and learned dictionaries. We demonstrate our algorithms on the tent map, circle rotations, Gauss iterated map, nonlinear pendulum, double pendulum, and Lorenz system. Finally, we provide kernelized variants of our algorithms for dynamical systems with a high-dimensional state space. This allows us to compute the spectral measure associated with the dynamics of a protein molecule with a 20,046-dimensional state space and compute nonlinear Koopman modes with error bounds for turbulent flow past aerofoils with Reynolds number that has a 295,122-dimensional state space.
Recommendations
- Consistent spectral approximation of Koopman operators using resolvent compactification
- Ergodic theory, dynamic mode decomposition, and computation of spectral properties of the Koopman operator
- Data-driven spectral analysis of the Koopman operator
- The mpEDMD Algorithm for Data-Driven Computations of Measure-Preserving Dynamical Systems
- Modern Koopman theory for dynamical systems
Cites work
- scientific article; zbMATH DE number 6678650 (Why is no real title available?)
- scientific article; zbMATH DE number 3719745 (Why is no real title available?)
- scientific article; zbMATH DE number 47363 (Why is no real title available?)
- scientific article; zbMATH DE number 52180 (Why is no real title available?)
- scientific article; zbMATH DE number 52795 (Why is no real title available?)
- scientific article; zbMATH DE number 3482646 (Why is no real title available?)
- scientific article; zbMATH DE number 1215244 (Why is no real title available?)
- scientific article; zbMATH DE number 1269194 (Why is no real title available?)
- scientific article; zbMATH DE number 490143 (Why is no real title available?)
- scientific article; zbMATH DE number 1542660 (Why is no real title available?)
- scientific article; zbMATH DE number 1770492 (Why is no real title available?)
- scientific article; zbMATH DE number 194356 (Why is no real title available?)
- scientific article; zbMATH DE number 936701 (Why is no real title available?)
- scientific article; zbMATH DE number 3268000 (Why is no real title available?)
- scientific article; zbMATH DE number 3271087 (Why is no real title available?)
- scientific article; zbMATH DE number 3274494 (Why is no real title available?)
- scientific article; zbMATH DE number 2212009 (Why is no real title available?)
- A data-driven approximation of the koopman operator: extending dynamic mode decomposition
- A kernel-based method for data-driven Koopman spectral analysis
- A survey of projection-based model reduction methods for parametric dynamical systems
- Analog forecasting with dynamics-adapted kernels
- Analysis of Fluid Flows via Spectral Properties of the Koopman Operator
- Applied Koopmanism
- CMV matrices: Five years after
- Chaos, fractional kinetics, and anomalous transport
- Coherent swing instability of power grids
- Comparison of systems with complex behavior
- Computer-assisted bounds for the rate of decay of correlations
- Computing Spectral Measures of Self-Adjoint Operators
- Computing spectral measures and spectral types
- Data Driven Modal Decompositions: Analysis and Enhancements
- Data-driven approximation of the Koopman generator: model reduction, system identification, and control
- Data-driven model reduction and transfer operator approximation
- Data-driven reduced order modeling for time-dependent problems
- Data-driven science and engineering. Machine learning, dynamical systems, and control
- Data-driven spectral analysis of the Koopman operator
- Data-driven spectral decomposition and forecasting of ergodic dynamical systems
- Delay-coordinate maps and the spectra of Koopman operators
- Delay-coordinate maps, coherence, and approximate spectra of evolution operators
- Deterministic Nonperiodic Flow
- Discovering governing equations from data by sparse identification of nonlinear dynamical systems
- Discretization of the Frobenius-Perron operator using a sparse Haar tensor basis: the sparse Ulam method
- Dynamic mode decomposition for financial trading strategies
- Dynamic mode decomposition of numerical and experimental data
- Eigendecompositions of transfer operators in reproducing kernel Hilbert spaces
- Ergodic theory of chaos and strange attractors
- Ergodic theory, dynamic mode decomposition, and computation of spectral properties of the Koopman operator
- Extended dynamic mode decomposition with dictionary learning: A data-driven adaptive spectral decomposition of the Koopman operator
- Family of spectral filters for discontinuous problems
- Filters, mollifiers and the computation of the Gibbs phenomenon
- Foundations of machine learning
- Hamiltonian Systems and Transformation in Hilbert Space
- Harmonic analysis of operators on Hilbert space
- Hydrodynamic stability without eigenvalues
- Kernel Analog Forecasting: Multiscale Test Problems
- Koopman analysis of the long-term evolution in a turbulent convection cell
- Koopman operator, geometry, and learning of dynamical systems
- Koopman resolvent: a Laplace-domain analysis of nonlinear autonomous dynamical systems
- Koopman spectra in reproducing kernel Hilbert spaces
- Lectures on ergodic theory
- Linearly recurrent autoencoder networks for learning dynamics
- Mathematical Description of Linear Dynamical Systems
- Matrix \(p\)-norms are NP-hard to approximate if \(p\neq1,2,\infty\)
- Modern challenges facing turbomachinery aeroacoustics
- On \((N,\epsilon)\)-pseudospectra of operators on Banach spaces
- On convergence of extended dynamic mode decomposition to the Koopman operator
- On dynamic mode decomposition: theory and applications
- On the Approximation of Complicated Dynamical Behavior
- On the Gibbs Phenomenon and Its Resolution
- On the infinite-dimensional QR algorithm
- On the level sets of the resolvent norm of a linear operator
- On the numerical approximation of the Perron-Frobenius and Koopman operator
- On the solvability complexity index, the \(n\)-pseudospectrum and approximations of spectra of operators
- Reproducing kernel Hilbert space compactification of unitary evolution groups
- Residual dynamic mode decomposition: robust and verified Koopmanism
- Resonant acoustic frequencies of a tandem cascade. Part 1. Zero relative motion
- Sparse sensor placement optimization for classification
- Spectral analysis of nonlinear flows
- Spectral pollution and how to avoid it
- Spectral properties of dynamical systems, model reduction and decompositions
- Spectrum of the Koopman operator, spectral expansions in functional spaces, and state-space geometry
- Stable reconstructions in Hilbert spaces and the resolution of the Gibbs phenomenon
- The exponentially convergent trapezoidal rule
- The finite section method for TOEPLITZ operators on the quarter-plane with piecewise continuous symbols
- The mpEDMD Algorithm for Data-Driven Computations of Measure-Preserving Dynamical Systems
- The rate of convergence in ergodic theorems
- Time-delay observables for Koopman: theory and applications
- Variants of dynamic mode decomposition: boundary condition, Koopman, and Fourier analyses
- Visual complex functions. An introduction with phase portraits
Cited in
(8)- A LAPACK implementation of the dynamic mode decomposition
- Approximation of translation invariant Koopman operators for coupled non-linear systems
- Consistent spectral approximation of Koopman operators using resolvent compactification
- Another look at residual dynamic mode decomposition in the regime of fewer snapshots than dictionary size
- Representing turbulent statistics with partitions of state space. I: Theory and methodology
- EDMD for expanding circle maps and their complex perturbations
- Orthogonal polynomial approximation and extended dynamic mode decomposition in chaos
- A Koopman-Takens theorem: linear least squares prediction of nonlinear time series
This page was built for publication: Rigorous data‐driven computation of spectral properties of Koopman operators for dynamical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6180710)
