Abstract
We examine spectral operator-theoretic properties of linear and nonlinear dynamical systems with globally stable attractors. Using the Kato decomposition, we develop a spectral expansion for general linear autonomous dynamical systems with analytic observables and define the notion of generalized eigenfunctions of the associated Koopman operator. We interpret stable, unstable and center subspaces in terms of zero-level sets of generalized eigenfunctions. We then utilize conjugacy properties of Koopman eigenfunctions and the new notion of open eigenfunctions—defined on subsets of state space—to extend these results to nonlinear dynamical systems with an equilibrium. We provide a characterization of (global) center manifolds, center-stable, and center-unstable manifolds in terms of joint zero-level sets of families of Koopman operator eigenfunctions associated with the nonlinear system. After defining a new class of Hilbert spaces, that capture the on- and off-attractor properties of dissipative dynamics, and introducing the concept of modulated Fock spaces, we develop spectral expansions for a class of dynamical systems possessing globally stable limit cycles and limit tori, with observables that are square-integrable in on-attractor variables and analytic in off-attractor variables. We discuss definitions of stable, unstable, and global center manifolds in such nonlinear systems with (quasi)-periodic attractors in terms of zero-level sets of Koopman operator eigenfunctions. We define the notion of isostables for a general class of nonlinear systems. In contrast with the systems that have discrete Koopman operator spectrum, we provide a simple example of a measure-preserving system that is not chaotic but has continuous spectrum, and discuss experimental observations of spectrum on such systems. We also provide a brief characterization of the data types corresponding to the obtained theoretical results and define the coherent principal dimension for a class of datasets based on the lattice-type principal spectrum of the associated Koopman operator.
Similar content being viewed by others
Notes
Koopman modes are defined up to a constant, the same as eigenvectors. However, here we have defined projection with respect to a specific basis with an orthonormal dual.
This is not the standard notion of conjugacy, since the dimensions of spaces that \(\mathbf{h}\) maps between is not necessarily the same, i.e., \(m\ne n\) necessarily.
The definition of factor conjugacy can be generalized to include dynamical systems on spaces M and N, where \(\mathbf{h}:M\rightarrow N\) and \(N\ne M\) (see Mezić and Banaszuk 2004, where such concept was defined for the case \(N=S^1,\) indicating conjugacy to a rotation).
Note that the change of variables in the Poincaré-Siegel linearization is an analytic diffeomorphism (Arnold 2012), and thus \(\mathbf{s}^{-1}\) is analytic.
Specifically, if an equilibrium is asymptotically stable from an open set U, then there is a Lyapunov function L such that, sufficiently close to the origin (but not at the origin) \(\dot{L}<0\) and thus the vector field “points inwards” on level sets of L sufficiently close to the origin. We can choose \(\Sigma \) to be one of those level sets. Then clearly \(t(\mathbf{x})\) and \(i(\mathbf{x})\) are unique, for every trajectory as if not, the trajectory would need to “enter” and then “exit” the interior of L.
Kelley in fact presented a similar example, with a stable direction instead of the unstable one in \(x_2\).
I am thankful to Professor Mihai Putinar for directing my attention to the Fock space.
The author proved the result a while ago and presented it in an early draft manuscript (UCSB preprint, 2011) with Dr. Yuehang Lan. That manuscript never got completed or published. The announcement of the result can be found in Mohr and Mezić (2014), where function spaces were built based on the intuition from this example. Since only the statement and no proof was provided in Mohr and Mezić (2014), the author felt it appropriate to provide the complete result with the proof here.
Note the increase of dimension of state space by 1, to \(n+1,\) to accommodate easier notation since it makes the off-attractor vector \(\mathbf{y}\) n-dimensional.
Note on the terminology: these types of systems were classically called linear skew-product systems.
References
Arbabi, H., Mezić, I.: Ergodic theory, dynamic mode decomposition and computation of spectral properties of the Koopman operator (2016). arXiv:1611.06664
Arbabi, H., Mezic, I.: Ergodic theory, dynamic mode decomposition, and computation of spectral properties of the Koopman operator. SIAM J. Appl. Dyn. Syst. 16(4), 2096–2126 (2017)
Arnold, V.I.: Geometrical Methods in the Theory of Ordinary Differential Equations, vol. 250. Springer, Berlin (2012)
Bandtlow, O.F., Just, W., Slipantschuk, J.: Spectral structure of transfer operators for expanding circle maps. In: Annales de l’Institut Henri Poincare (C) Non Linear Analysis, vol. 34. Elsevier, pp. 31–43 (2017)
Bargmann, V.: Remarks on a hilbert space of analytic functions. Proc. Natl. Acad. Sci. USA 48(2), 199 (1962)
Brunton, S.L., Brunton, B.W., Proctor, J.L., Kutz, J.N.: Koopman invariant subspaces and finite linear representations of nonlinear dynamical systems for control. PLoS ONE 11(2), e0150171 (2016)
Budišić, M., Mohr, R., Mezić, I.: Applied Koopmanism. Chaos Interdiscip. J. Nonlinear Sci. 22(4), 047510 (2012)
Carswell, B., MacCluer, B.D., Schuster, A.: Composition operators on the Fock space. Acta Sci. Math.(Szeged) 69(3–4), 871–887 (2003)
Climenhaga, V., Luzzatto, S., Pesin, Y.: The geometric approach for constructing Sinai-Ruelle-Bowen measures. J. Stat. Phys. 166(3–4), 467–493 (2017)
Cowen Jr., C., MacCluer, B.: Composition operators on spaces of analytic functions. CRC Press, Boca Raton (2019)
Crnjaric-Zic, N., Macesic, S., Mezic, I.: Koopman operator spectrum for random dynamical systems (2017). arXiv:1711.03146
Dunford, N., et al.: Spectral operators. Pac. J. Math. 4(3), 321–354 (1954)
Gaspard, P., Tasaki, S.: Liouvillian dynamics of the Hopf bifurcation. Phys. Rev. E 64(5), 056232 (2001)
Gaspard, P., Nicolis, G., Provata, A., Tasaki, S.: Spectral signature of the pitchfork bifurcation: Liouville equation approach. Phys. Rev. E 51(1), 74 (1995)
Giannakis, D., Das, S., Slawinska, J.: Reproducing kernel hilbert space compactification of unitary evolution groups (2018). arXiv:1808.01515
Giannakis, D., Slawinska, J., Zhao, Z.: Spatiotemporal feature extraction with data-driven koopman operators. In: Proceedings of The 1st International Workshop on Feature Extraction: Modern Questions and Challenges. NIPS, pp. 103–115 (2015)
Guckenheimer, J., Holmes, P.: Nonlinear oscillations, dynamical systems, and bifurcations of vector fields. In: Applied mathematical sciences. Springer, New York (2002)
Guckenheimer, J.: Isochrons and phaseless sets. J. Math. Biol. 1(3), 259–273 (1975)
Hale, J.: Ordinary Differential Equations. Wiley, New York (1969)
Hirsch, M.W., Smale, S.: Differential Equations, Dynamical Systems, and Linear Algebra. Academic Press Inc, New York (1974)
Kato, T.: Perturbation Theory for Linear Operators, vol. 132. Springer, Berlin (2013)
Kawahara, Y.: Dynamic mode decomposition with reproducing kernels for Koopman spectral analysis. In: Advances in Neural Information Processing Systems, pp. 911–919 (2016)
Kelley, A.: The stable, center-stable, center, center-unstable, unstable manifolds. J. Differ. Equ. 3(4), 546–570 (1967)
Khodkar, M.A., Antoulas, A.C., Hassanzadeh, P.: Data-driven spatio-temporal prediction of high-dimensional geophysical turbulence using Koopman operator approximation (2018). arXiv:1812.09438
Kirchgraber, U., Palmer, K.J.: Geometry in the neighborhood of invariant manifolds of maps and flows and linearization, vol. 233. Longman Scientific and Technical (1990)
Klus, S., Schuster, I., Muandet, K.: Eigendecompositions of transfer operators in reproducing kernel Hilbert spaces (2017). arXiv:1712.01572
Koopman, B.O.: Hamiltonian systems and transformation in Hilbert space. Proc. Natl. Acad. Sci. USA 17(5), 315 (1931)
Lan, Y., Mezić, I.: Linearization in the large of nonlinear systems and Koopman operator spectrum. Physica D Nonlinear Phenom. 242(1), 42–53 (2013)
Lasota, A., Mackey, M.C.: Chaos, Fractals and Noise. Springer, New York (1994)
Mauroy, A., Mezić, I.: On the use of Fourier averages to compute the global isochrons of (quasi) periodic dynamics. Chaos Interdiscip. J. Nonlinear Sci. 22(3), 033112 (2012)
Mauroy, A., Mezić, I., Moehlis, J.: Isostables, isochrons, and Koopman spectrum for the action-angle representation of stable fixed point dynamics. Physica D 261, 19–30 (2013)
Mezić, I.: On applications of the spectral theory of the Koopman operator in dynamical systems and control theory. In: 2015 IEEE 54th Annual Conference on Decision and Control (CDC). IEEE, pp. 7034–7041 (2015)
Mezić, I.: On Geometrical and Statistical Properties of Dynamical Systems: Theory and Applications. Ph.D. thesis, California Institute of Technology (1994)
Mezić, I.: Spectral properties of dynamical systems, model reduction and decompositions. Nonlinear Dyn. 41(1–3), 309–325 (2005)
Mezic, I.: On comparison of dynamics of dissipative and finite-time systems using Koopman operator methods. IFAC-Pap. OnLine 49(18), 454–461 (2016)
Mezić, I., Banaszuk, A.: Comparison of systems with complex behavior. Physica D 197(1–2), 101–133 (2004)
Mohr, R., Mezić, I.: Construction of eigenfunctions for scalar-type operators via Laplace averages with connections to the Koopman operator (2014). arXiv:1403.6559
Neumann, J.V.: Zur operatorenmethode in der klassischen mechanik. Ann. Math. 33, 587–642 (1932)
Newman, D.J., Shapiro, H.S.: Certain Hilbert spaces of entire functions. Bull. Am. Math. Soc. 72(6), 971–977 (1966)
Page, J., Kerswell, R.R.: Koopman mode expansions between simple invariant solutions. J. Fluid Mech. 879, 1–27 (2019)
Perko, L.: Differential Equations and Dynamical Systems, vol. 7. Springer, Berlin (2013)
Petersen, K.E.: Ergodic Theory, vol. 2. Cambridge University Press, Cambridge (1989)
Rédei, M., Werndl, C.: On the history of the isomorphism problem of dynamical systems with special regard to von Neumanns contribution. Arch. History Exact Sci. 66(1), 71–93 (2012)
Reed, M.C., Simon, B.: A spectral mapping theorem for tensor products of unbounded operators. Bull. Am. Math. Soc. 78(5), 730–733 (1972)
Rowley, C.W., Mezic, I., Bagheri, S., Schlatter, P., Henningson, D.S.: Spectral analysis of nonlinear flows. J. Fluid Mech. 641, 115–127 (2009)
Schmid, P.J.: Dynamic mode decomposition of numerical and experimental data. J. Fluid Mech. 656, 5–28 (2010)
Sell, G.R.: Vector fields in the vicinity of a compact invariant manifold. In: Equadiff, vol. 82. Springer, pp. 568–574 (1983)
Sell, G.R.: The structure of a flow in the vicinity of an almost periodic motion. J. Differ. Equ. 27, 359–393 (1978)
Singh, R.K., Manhas, J.S.: Composition Operators on Function Spaces, vol. 179. Elsevier, Amsterdam (1993)
Susuki, Y., Mezic, I.: A Prony approximation of Koopman mode decomposition. In: 2015 54th IEEE Conference on Decision and Control (CDC). IEEE, pp. 7022–7027 (2015)
Vidyasagar, M.: Nonlinear Systems Analysis, vol. 42. SIAM, Philadelphia (2002)
Wiggins, S.: Introduction to Applied Nonlinear Dynamical Systems and Chaos. Number 2 in Texts in Applied Mathematics. Springer, New York, NY (1990)
Williams, M.O., Rowley, C.W., Mezić, I., Kevrekidis, I.G.: Data fusion via intrinsic dynamic variables: an application of data-driven Koopman spectral analysis. EPL (Europhys. Lett.) 109(4), 40007 (2015)
Winfree, A.T.: Patterns of phase compromise in biological cycles. J. Math. Biol. 1(1), 73–93 (1974)
Acknowledgements
I am thankful to John Guckenheimer, Dimitris Giannakis, Mihai Putinar, Yueheng Lan, Alex Mauroy, Ryan Mohr and Mathias Wanner for their useful comments. This work was supported in part by the DARPA contract HR0011-16-C-0116 and ARO Grants W911NF-11-1-0511 and W911NF-14-1-0359.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Dr. Paul Newton.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Mezić, I. Spectrum of the Koopman Operator, Spectral Expansions in Functional Spaces, and State-Space Geometry. J Nonlinear Sci 30, 2091–2145 (2020). https://doi.org/10.1007/s00332-019-09598-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00332-019-09598-5