Title: Singular Values of Hankel Matrix: Implication to the Convergence of Hankel Dynamic Mode Decomposition

Abstract: To help establish the convergence and use of dynamic mode decomposition (DMD), to infer eigenvalues and eigenfunctions of the infinite-dimensional Koopman operator, we study the leading singular values of the Hankel matrix. We prove that for a discrete-time measure preserving ergodic dynamic system and a given square-integrable observable $f$, these leading singular values of the Hankel matrix have one-to-one correspondence with the energy of $f$ represented by the Koopman eigenfunctions. The proof is mainly based on the Birkhoff ergodic theorem, several representation theorems of isometric operators on a Hilbert space, and the weak-mixing property of the observables represented by the continuous spectrum. We provide an alternative proof of the weakly mixing property. A theorem-based practical methodology is then proposed. It builds on the fact that the convergence of the renormalized leading singular values of the Hankel matrix is a necessary condition for the convergence of Hankel DMD algorithm. Numerical illustrating results on simple low dimensional systems and real interpolated ocean sea-surface height data are presented and discussed.