Abstract:This paper introduces a kernel-based approach for constructing approximations of the Koopman operators for semiflows in discrete time and orbital Koopman operators for continuous time semiflows. The primary advantage of the proposed construction is that the approximations follow certain rates of convergence which are dependent on how data samples fill certain subsets of the state space. In particular, we derive the rate of convergence for two scenarios: (1) the data samples Ξ$$\varXi $$ are dense in a compact state space X, and (2) the data samples Ξ$$\varXi $$ are dense in a limiting set Ω$$\varOmega $$ contained in an Euclidean space. Two general classes of Koopman operator approximations are considered in this paper, referred to as projection-based approximation and data-driven approximation. Projection-based approximations assume that the underlying dynamics governing the discrete or continuous time semiflows is known. On the other hand, data-driven approximations rely samples of the semiflow states to approximate the Koopman operator. In both types of approximations, the regularity of the underlying set and the smoothness of the space of functions on which the Koopman operator acts determine the rates of approximations. In the strongest error bounds derived in the paper, it is shown that the error in approximation of the Koopman operator decays like O(hΩn,Ωp)$$O(h_{\varOmega _n,\varOmega }^p)$$, where hΩn,Ω$$h_{\varOmega _n,\varOmega }$$ is the fill rate of the samples Ωn$$\varOmega _n$$ in the limiting set Ω$$\varOmega $$ and p is an exponent related to the choice of the kernel and the smoothness of functions on which the Koopman operator acts. Such error bounds are obtained when either the limiting subset Ω=X$$\varOmega =X$$, when it is a proper subset Ω⊂X$$\varOmega \subset X$$ that is sufficiently regular, or when it is a type of smooth manifold Ω=M$$\varOmega =M$$.

Error bounds for kernel-based approximations of the Koopman operator

$L^\infty$-error bounds for approximations of the Koopman operator by kernel extended dynamic mode decomposition

Variance representations and convergence rates for data-driven approximations of Koopman operators

Approximation of the Koopman operator via Bernstein polynomials

Data-driven approximation of Koopman operators and generators: Convergence rates and error bounds

Approximation of discrete and orbital Koopman operators over subsets and manifolds

Error Bounds for a Kernel-Based Constrained Optimal Smoothing Approximation

Nonlinear Data-Driven Approximation of the Koopman Operator

Invariance of Gaussian RKHSs under Koopman operators of stochastic differential equations with constant matrix coefficients

Physics-informed spectral approximation of Koopman operators

Kernel-based Koopman approximants for control: Flexible sampling, error analysis, and stability

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

Robust Approximation of the Stochastic Koopman Operator

On the Approximation of Kernel functions

Equivariance and partial observations in Koopman operator theory for partial differential equations

Error analysis of kernel EDMD for prediction and control in the Koopman framework

Koopman Theory and Linear Approximation Spaces

On the approximability of Koopman-based operator Lyapunov equations

Efficient Computation of Invariance Proximity: Closed-Form Error Bounds for Finite-Dimensional Koopman-Based Models

Two methods to approximate the Koopman operator with a reservoir computer

Consistent spectral approximation of Koopman operators using resolvent compactification