Geometric Considerations of a Good Dictionary for Koopman Analysis of Dynamical Systems: Cardinality, 'Primary Eigenfunction,' and Efficient Representation

Representation of a dynamical system in terms of simplifying modes is a central premise of reduced order modelling and a primary concern of the increasingly popular DMD (dynamic mode decomposition) empirical interpretation of Koopman operator analysis of complex systems. In the spirit of optimal approximation and reduced order modelling the goal of DMD methods and variants are to describe the dynamical evolution as a linear evolution in an appropriately transformed lower rank space, as best as possible. That Koopman eigenfunctions follow a linear PDE that is solvable by the method of characteristics yields several interesting relationships between geometric and algebraic properties. Corresponding to freedom to arbitrarily define functions on a data surface, for each eigenvalue, there are infinitely many eigenfunctions emanating along characteristics. We focus on contrasting cardinality and equivalence. In particular, we introduce an equivalence class, "primary eigenfunctions," consisting of those eigenfunctions with identical sets of level sets, that helps contrast algebraic multiplicity from other geometric aspects. Popularly, Koopman methods and notably dynamic mode decomposition (DMD) and variants, allow data-driven study of how measurable functions evolve along orbits. As far as we know, there has not been an in depth study regarding the underlying geometry as related to an efficient representation. We present a construction that leads to functions on the data surface whose corresponding eigenfunctions are efficient in a least squares sense. We call this construction optimal Koopman eigenfunction DMD, (oKEEDMD), and we highlight with examples.