Abstract:This paper considers a nonlinear dynamical system on a complex, finite dimensional Banach space which has an asymptotically stable, hyperbolic fixed point. We investigate the connection between the so-called principle eigenfunctions of the Koopman operator and the existence of a topological conjugacy between the nonlinear dynamics and its linearization in the neighborhood of the fixed point. The principle eigenfunctions generate an algebra of observables for the linear dynamics --- called the principle algebra --- which can be used to generate a sequence of approximate conjugacy maps in the same manner as it is done in normal form theory. Each element of the principle algebra has an expansion into eigenfunctions of the Koopman operator and composing an eigenfunction with one of the approximate topological conjugacies gives an approximate eigenfunction of the Koopman operator associated with the nonlinear dynamical system. When the limit of the approximate conjugacies exists and attention is restricted to real Banach spaces, a simple application of the Stone-Weierstrass theorem shows that both the principle algebra and the pull-back algebra --- defined by composing the principle algebra with the topological conjugacy --- are uniformly dense in either the space of continuous functions or the maximal ideal of continuous functions vanishing at the fixed point. The point is that, a priori, it is difficult to know which space of observables to use for dissipative nonlinear dynamical systems whose elements have spectral expansions into eigenfunctions. These results say that any continuous observable is arbitrarily close to one that has such an expansion.

Observability of Nonlinear Dynamical Systems over Finite Fields

Koopman operator approach for computing structure of solutions and Observability of non-linear finite state system

A Canonical Form Of Completely Uniformly Locally Weakly Observable Multi-Output Nonlinear Systems

Observability is Sufficient for the Design of Globally Exponentially Convergent State Observers for State-affine Nonlinear Systems

Time-Delay Observables for Koopman: Theory and Applications

Observability and Nonsingularity of Logical Dynamical Systems

Visible and hidden observables in super-linearization

Decomposition of Nonlinear Dynamical Systems Using Koopman Gramians

Observability is sufficient for the design of globally exponentially stable state observers for state-affine nonlinear systems

Distributed Observer for Full-Measured Nonlinear Systems Based on Knowledge of FMCF

On Observability of Galois Nonlinear Feedback Shift Registers over Finite Fields

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

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems

Learning Bounded Koopman Observables: Results on Stability, Continuity, and Controllability

Nonlinear MIMO Observable Normal Forms with Output Injection and Output Diffeomorphism

Functional Dimensionality of Koopman Eigenfunction Space

Koopman principle eigenfunctions and linearization of diffeomorphisms

Uncertainty Modelling and Robust Observer Synthesis using the Koopman Operator

On the existence of KKL observers with nonlinear contracting dynamics (Long Version)

A nonlinear graph-based theory for dynamical network observability

On Functional Observability of Nonlinear Systems and the Design of Functional Observers with Assignable Error Dynamics