On Convergence of Extended Dynamic Mode Decomposition to the Koopman Operator

Abstract

Extended Dynamic Mode Decomposition (EDMD) is an algorithm that approximates the action of the Koopman operator on an $N$-dimensional subspace of the space of observables by sampling at $M$ points in the state space. Assuming that the samples are drawn either independently or ergodically from some measure $\mu$, it was shown that, in the limit as $M\to \infty$, the EDMD operator ${\mathcal{K}}_{N,M}$ converges to ${\mathcal{K}}_N$, where ${\mathcal{K}}_N$ is the $L_2(\mu )$-orthogonal projection of the action of the Koopman operator on the finite-dimensional subspace of observables. In this work, we show that, as $N\to \infty$, the operator ${\mathcal{K}}_N$ converges in the strong operator topology to the Koopman operator. This in particular implies convergence of the predictions of future values of a given observable over any finite time horizon, a fact important for practical applications such as forecasting, estimation and control. In addition, we show that accumulation points of the spectra of ${\mathcal{K}}_N$ correspond to the eigenvalues of the Koopman operator with the associated eigenfunctions converging weakly to an eigenfunction of the Koopman operator, provided that the weak limit of eigenfunctions is nonzero. As a by-product, we propose an analytic version of the EDMD algorithm which, under some assumptions, allows one to construct ${\mathcal{K}}_N$ directly, without the use of sampling. Finally, under additional assumptions, we analyze convergence of ${\mathcal{K}}_{N,N}$ (i.e., $M=N$), proving convergence, along a subsequence, to weak eigenfunctions (or eigendistributions) related to the eigenmeasures of the Perron-Frobenius operator. No assumptions on the observables belonging to a finite-dimensional invariant subspace of the Koopman operator are required throughout.

References in corpus (4)

• Applied Koopmanism
• Subspace dynamic mode decomposition for stochastic Koopman analysis
• Variational approach for learning Markov processes from time series data
• Operator Fitting for Parameter Estimation of Stochastic Differential Equations

Cited by in corpus (87)

• Linear predictors for nonlinear dynamical systems: Koopman operator meets model predictive control
• Extended dynamic mode decomposition with dictionary learning: a data-driven adaptive spectral decomposition of the Koopman operator
• Data-driven approximation of the Koopman generator: Model reduction, system identification, and control
• Deep Neural Networks with Koopman Operators for Modeling and Control of Autonomous Vehicles
• Koopman operator-based model reduction for switched-system control of PDEs
• Robust Tube-based Model Predictive Control with Koopman Operators--Extended Version
• Physics-Informed Probabilistic Learning of Linear Embeddings of Non-linear Dynamics With Guaranteed Stability
• Eigendecompositions of Transfer Operators in Reproducing Kernel Hilbert Spaces
• Assessment of unsteady flow predictions using hybrid deep learning based reduced order models
• Data-Driven Model Predictive Control using Interpolated Koopman Generators
• Residual Dynamic Mode Decomposition: Robust and verified Koopmanism
• Delay-coordinate maps and the spectra of Koopman operators
• Lagrangian Dynamic Mode Decomposition for Construction of Reduced-Order Models of Advection-Dominated Phenomena
• Sparsity-promoting algorithms for the discovery of informative Koopman invariant subspaces
• Data-driven fluid mechanics of wind farms: A review
• Reproducing kernel Hilbert space compactification of unitary evolution groups
• A Parametric and Feasibility Study for Data Sampling of the Dynamic Mode Decomposition--Range, Resolution, and Universal Convergence States
• Koopman-based feedback design with stability guarantees
• Variational approach for learning Markov processes from time series data
• Koopman Operator and its Approximations for Systems with Symmetries
• Robust data-driven control for nonlinear systems using the Koopman operator
• A data-driven Koopman model predictive control framework for nonlinear flows
• Capabilities and Limitations of Time-lagged Autoencoders for Slow Mode Discovery in Dynamical Systems
• Optimal data-driven estimation of generalized Markov state models for non-equilibrium dynamics
• On analytical construction of observable functions in extended dynamic mode decomposition for nonlinear estimation and prediction
• Koopman based data-driven predictive control
• Extended Dynamic Mode Decomposition for Inhomogeneous Problems
• A kernel-based approach to molecular conformation analysis
• Deep Koopman Learning of Nonlinear Time-Varying Systems
• Model and Data Reduction for Data Assimilation: Particle Filters Employing Projected Forecasts and Data with Application to a Shallow Water Model
• Koopman Operator-Based Finite-Control-Set Model Predictive Control for Electrical Drives
• Data-driven reduced modelling of turbulent Rayleigh-Benard convection using DMD-enhanced Fluctuation-Dissipation Theorem
• An overview of Koopman-based control: From error bounds to closed-loop guarantees
• Dynamic mode decomposition for analytic maps
• Anti-circulant dynamic mode decomposition with sparsity-promoting for highway traffic dynamics analysis
• Nonequilibrium Statistical Mechanics and Optimal Prediction of Partially-Observed Complex Systems
• Modeling, Reduction, and Control of a Helically Actuated Inertial Soft Robotic Arm via the Koopman Operator
• Feedback control of nonlinear PDEs using data-efficient reduced order models based on the Koopman operator
• Auxiliary Functions as Koopman Observables: Data-Driven Analysis of Dynamical Systems via Polynomial Optimization
• Detecting regime transitions in time series using dynamic mode decomposition
• Eigenvalues of Autocovariance Matrix: A Practical Method to Identify the Koopman Eigenfrequencies
• Controlling nonlinear PDEs using low-dimensional bilinear approximations obtained from data
• Operator Fitting for Parameter Estimation of Stochastic Differential Equations
• Density matrix formulation of dynamical systems
• Data-driven feedback stabilization of nonlinear systems: Koopman-based model predictive control
• Data-driven reduced-order modeling for nonautonomous dynamical systems in multiscale media
• Predictive Accuracy of Dynamic Mode Decomposition
• SafEDMD: A Koopman-based data-driven controller design framework for nonlinear dynamical systems
• A Koopman-based framework for forecasting the spatiotemporal evolution of chaotic dynamics with nonlinearities modeled as exogenous forcings
• Data-Driven Models for Control Engineering Applications Using the Koopman Operator
• Data-Driven Convex Approach to Off-road Navigation via Linear Transfer Operators
• Koopman interpretation and analysis of a public-key cryptosystem: Diffie-Hellman key exchange
• Data-driven MPC with terminal conditions in the Koopman framework
• On the Universal Transformation of Data-Driven Models to Control Systems
• Generic Properties of Koopman Eigenfunctions for Stable Fixed Points and Periodic Orbits
• Koopman Theory and Linear Approximation Spaces
• Navigation with Probabilistic Safety Constraints: Convex Formulation
• Decrypting Nonlinearity: Koopman Interpretation and Analysis of Cryptosystems
• Koopman-based control of nonlinear systems with closed-loop guarantees
• Setting of the Poincaré section for accurately calculating the phase of rhythmic spatiotemporal dynamics
• End-to-end guarantees for indirect data-driven control of bilinear systems with finite stochastic data
• Koopman operators with intrinsic observables in rigged reproducing kernel Hilbert spaces
• Approximations of the Reproducing Kernel Hilbert Space (RKHS) Embedding Method over Manifolds
• Data-driven discovery of quasiperiodically driven dynamics
• Existence and Uniqueness of Solutions of the Koopman--von Neumann Equation on Bounded Domains
• Data-driven Discovery of Invariant Measures
• Dynamic Mode Decomposition of Control-Affine Nonlinear Systems using Discrete Control Liouville Operators
• Group-Convolutional Extended Dynamic Mode Decomposition
• Star Log-extended eMulation: a method for efficient computation of the Tolman-Oppenheimer-Volkoff equations
• A Koopman Operator Framework for Nonlinear Epidemic Dynamics: Application to an SIRSD Model
• The Effect of Sensor Fusion on Data-Driven Learning of Koopman Operators
• Challenges in Dynamic Mode Decomposition
• Kernel Embedding based Variational Approach for Low-dimensional Approximation of Dynamical Systems
• Definition and data-driven reconstruction of asymptotic phase and amplitudes of stochastic oscillators via Koopman operator theory
• $Q$-functions, synchronization, and Arnold tongues for coupled stochastic oscillators
• Singular Dynamic Mode Decompositions
• Enhancement for Robustness of Koopman Operator-based Data-driven Mobile Robotic Systems
• Signature of glassy dynamics in dynamic modes decompositions
• Information Based Data-Driven Characterization of Stability and Influence in Power Systems
• Probabilistic Neural Network: Frequency and Moment Learnings
• Data-Driven Contact-Aware Control Method for Real-Time Deformable Tool Manipulation: A Case Study in the Environmental Swabbing
• Characterizing the Predictive Accuracy of Dynamic Mode Decomposition for Data-Driven Control
• Enhancing Dynamic-Mode Decomposition via Multi-Scale Analysis
• Stabilizing RED using the Koopman Operator
• Koopman Resolvent: A Laplace-Domain Analysis of Nonlinear Autonomous Dynamical Systems
• Extending dynamic mode decomposition to data from multiple outputs
• Extraction of Discrete Spectra Modes from Video Data Using a Deep Convolutional Koopman Network