Existence and uniqueness of global Koopman eigenfunctions for stable fixed points and periodic orbits

Matthew D Kvalheim, Shai Revzen

arXiv preprint, 2019

Abstract

We consider C^1 dynamical systems having a globally attracting hyperbolic fixed point or periodic orbit and prove existence and uniqueness results for C^k,α_\textloc globally defined linearizing semiconjugacies, of which Koopman eigenfunctions are a special case. Our main results both generalize and sharpen Sternberg’s C^k linearization theorem for hyperbolic sinks, and in particular our corollaries include uniqueness statements for Sternberg linearizations and Floquet normal forms. Additional corollaries include existence and uniqueness results for C^k,α_\textloc Koopman eigenfunctions, including a complete classification of C^∞eigenfunctions assuming a C^∞dynamical system with semisimple and nonresonant linearization. We give an intrinsic definition of “principal Koopman eigenfunctions” which generalizes the definition of Mohr and Mezić for linear systems, and which includes the notions of “isostables” and “isostable coordinates” appearing in work by Ermentrout, Mauroy, Mezić, Moehlis, Wilson, and others. Our main results yield existence and uniqueness theorems for the principal eigenfunctions and isostable coordinates and also show, e.g., that the (a priori non-unique) “pullback algebra” defined in [MM16b] is unique under certain conditions. We also discuss the limit used to define the “faster” isostable coordinates in [WE18, MWMM19] in light of our main results.

BibTeX

@unpublished{kvalheim2019existence,
  author = {Kvalheim, Matthew D and Revzen, Shai},
  title = {Existence and uniqueness of global Koopman eigenfunctions for stable fixed points and periodic orbits},
  year = {2019},
  eprint = {1911.11996},
  doi = {10.48550/arXiv.1911.11996},
  eprinttype = {arxiv},
  journal = {arXiv preprint},
}