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 $>10^5$ that has a 295,122-dimensional state space.

Gaussian Process Koopman Mode Decomposition

Learning Koopman Invariant Subspaces for Dynamic Mode Decomposition

A Data-Driven Approximation of the Koopman Operator: Extending Dynamic Mode Decomposition

Nonlinear Data-Driven Approximation of the Koopman Operator

Multiplicative Dynamic Mode Decomposition

A data driven Koopman-Schur decomposition for computational analysis of nonlinear dynamics

Generalizing dynamic mode decomposition: Balancing accuracy and expressiveness in Koopman approximations

Decomposition of Nonlinear Dynamical Systems Using Koopman Gramians

Subspace dynamic mode decomposition for stochastic Koopman analysis

Koopman Operator Theory for Nonlinear Dynamic Modeling using Dynamic Mode Decomposition

Compression of the Koopman matrix for nonlinear physical models via hierarchical clustering

A Survey on the Methods and Results of Data-Driven Koopman Analysis in the Visualization of Dynamical Systems

Modularized data-driven approximation of the Koopman operator and generator

Beyond expectations: Residual Dynamic Mode Decomposition and Variance for Stochastic Dynamical Systems

Reprojection methods for Koopman-based modelling and prediction

Learning Deep Neural Network Representations for Koopman Operators of Nonlinear Dynamical Systems

Rigged Dynamic Mode Decomposition: Data-Driven Generalized Eigenfunction Decompositions for Koopman Operators

Dynamic Mode Decomposition and Short-Time Prediction of PM 2.5 Using the Graph Neural Koopman Network

Rigorous data-driven computation of spectral properties of Koopman operators for dynamical systems

On Koopman Mode Decomposition and Tensor Component Analysis

Numerical methods to evaluate Koopman matrix from system equations