Abstract:To infer eigenvalues of the infinite-dimensional Koopman operator, we study the leading eigenvalues of the autocovariance matrix associated with a given observable of a dynamical system. For any observable f for which all the time-delayed autocovariance exist, we construct a Hilbert space H_{f} and a Koopman-like operator K that acts on H_{f}. We prove that the leading eigenvalues of the autocovariance matrix has one-to-one correspondence with the energy of f that is represented by the eigenvectors of K. The proof is associated to several representation theorems of isometric operators on a Hilbert space, and the weak-mixing property of the observables represented by the continuous spectrum. We also provide an alternative proof of the weakly mixing property. When f is an observable of an ergodic dynamical system which has a finite invariant measure μ, H_{f} coincides with closure in L^{2}(X,dμ) of Krylov subspace generated by f, and K coincides with the classical Koopman operator. The main theorem sheds light to the theoretical foundation of several semi-empirical methods, including singular spectrum analysis (SSA), data-adaptive harmonic analysis (DAHD), Hankel DMD, and Hankel alternative view of Koopman analysis (HAVOK). It shows that, when the system is ergodic and has finite invariant measure, the leading temporal empirical orthogonal functions indeed correspond to the Koopman eigenfrequencies. A theorem-based practical methodology is then proposed to identify the eigenfrequencies of K from a given time series. It builds on the fact that the convergence of the renormalized eigenvalues of the Gram matrix is a necessary and sufficient condition for the existence of K-eigenfrequencies. Numerical illustrating results on simple low dimensional systems and real interpolated ocean sea-surface height data are presented and discussed.

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

A Full-Invariant Theorem and Some Applications

Error bounds for kernel-based approximations of the Koopman operator

Invariant kernels on the space of complex covariance matrices

Invariant kernels on Riemannian symmetric spaces: a harmonic-analytic approach

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

Approximation of the Koopman operator via Bernstein polynomials

On the stability test for reproducing kernel Hilbert spaces

Representations of hermitian kernels by means of Krein spaces II. Invariant kernels

Eigenvalues of autocovariance matrix: A practical method to identify the Koopman eigenfrequencies

Nonuniform sampling, reproducing kernels, and the associated Hilbert spaces

Entropy numbers of Reproducing Hilbert Space of zonal positive definite kernels on compact two-point homogeneous spaces

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

On the approximability of Koopman-based operator Lyapunov equations

Physics-informed spectral approximation of Koopman operators

Kernel theorems for operators on co-orbit spaces associated with localised frames

Duality in RKHSs with Infinite Dimensional Outputs: Application to Robust Losses

On the lifting and reconstruction of nonlinear systems with multiple invariant sets

Kernel embedding of measures and low-rank approximation of integral operators

Images of Gaussian and other stochastic processes under closed, densely-defined, unbounded linear operators

Consistent spectral approximation of Koopman operators using resolvent compactification