Dynamic Mode Decomposition for Continuous Time Systems with the Liouville Operator

Dynamic Mode Decomposition (DMD) has become synonymous with the Koopman operator, where continuous time dynamics are examined through a discrete time proxy determined by a fixed timestep using Koopman (i.e. composition) operators. Using the newly introduced "occupation kernels," the present manuscript develops an approach to DMD that treats continuous time dynamics directly through the Liouville operator. This manuscript outlines the technical and theoretical differences between Koopman based DMD for discrete time systems and Liouville based DMD for continuous time systems, which includes an examination of these operators over several reproducing kernel Hilbert spaces (RKHSs). A comparison between the obtained Liuoville and Koompan modes are presented for systems relating to fluid dynamics and electroencephalography (EEG). Liouville based DMD methods allow for the incorporation of data that is sampled at high frequencies without producing models with excessively large rank, as would be the case with Koopman based DMD, and Liouville based DMD natively allows for data that does not use fixed time steps. Finally, while both Liouville and Koopman operators are modally unbounded operators, scaled Liouville operators are introduced, which are compact for a large class of dynamics.

[1]  Joel A. Rosenfeld Introducing the Polylogarithmic Hardy Space , 2015 .

[2]  Uri Shaham,et al.  Dynamic Mode Decomposition , 2013 .

[3]  Gerald B. Folland,et al.  Real Analysis: Modern Techniques and Their Applications , 1984 .

[4]  D. Giannakis,et al.  Koopman spectra in reproducing kernel Hilbert spaces , 2018, 1801.07799.

[5]  Clarence W. Rowley,et al.  A Data–Driven Approximation of the Koopman Operator: Extending Dynamic Mode Decomposition , 2014, Journal of Nonlinear Science.

[6]  F. H. Szafraniec The reproducing kernel Hilbert space and its multiplication operators , 2000 .

[7]  D. Giannakis Data-driven spectral decomposition and forecasting of ergodic dynamical systems , 2015, Applied and Computational Harmonic Analysis.

[8]  Gary Froyland,et al.  Detecting isolated spectrum of transfer and Koopman operators with Fourier analytic tools , 2014 .

[9]  D. Regan Human brain electrophysiology: Evoked potentials and evoked magnetic fields in science and medicine , 1989 .

[10]  A. Keil,et al.  Sympathetic responding to unconditioned stimuli predicts subsequent threat expectancy, orienting, and visuocortical bias in human aversive Pavlovian conditioning , 2019, Biological Psychology.

[11]  B. O. Koopman,et al.  Dynamical Systems of Continuous Spectra. , 1932, Proceedings of the National Academy of Sciences of the United States of America.

[12]  N. Aronszajn Theory of Reproducing Kernels. , 1950 .

[13]  Stefan Klus,et al.  Data-driven approximation of the Koopman generator: Model reduction, system identification, and control , 2019 .

[14]  I. Mezić,et al.  Applied Koopmanism. , 2012, Chaos.

[15]  Naira Hovakimyan,et al.  Cooperative Path Following of Multiple Multirotors Over Time-Varying Networks , 2015, IEEE Transactions on Automation Science and Engineering.

[16]  Robert Tibshirani,et al.  The Elements of Statistical Learning: Data Mining, Inference, and Prediction, 2nd Edition , 2001, Springer Series in Statistics.

[17]  Igor Mezic,et al.  On Convergence of Extended Dynamic Mode Decomposition to the Koopman Operator , 2017, J. Nonlinear Sci..

[18]  Rushikesh Kamalapurkar,et al.  Dynamic Mode Decomposition with Control Liouville Operators , 2021, IFAC-PapersOnLine.

[19]  Taylor T. Johnson,et al.  Occupation Kernels and Densely Defined Liouville Operators for System Identification , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

[20]  Igor Mezic,et al.  Koopman Operator Spectrum for Random Dynamical Systems , 2017, Journal of Nonlinear Science.

[21]  G Calhoun,et al.  Brain-computer interfaces based on the steady-state visual-evoked response. , 2000, IEEE transactions on rehabilitation engineering : a publication of the IEEE Engineering in Medicine and Biology Society.

[22]  Joel Rosenfeld,et al.  The Sarason Sub-Symbol and the Recovery of the Symbol of Densely Defined Toeplitz Operators over the Hardy Space , 2014, 1412.5969.

[23]  Xiaorong Gao,et al.  An online multi-channel SSVEP-based brain–computer interface using a canonical correlation analysis method , 2009, Journal of neural engineering.

[24]  I. Mezić,et al.  Analysis of Fluid Flows via Spectral Properties of the Koopman Operator , 2013 .

[25]  Matthew O. Williams,et al.  A kernel-based method for data-driven koopman spectral analysis , 2016 .

[26]  Wassim M. Haddad,et al.  A Dynamical Systems Theory of Thermodynamics , 2019 .

[27]  Mingzhou Ding,et al.  Multimodal Imaging Evidence for a Frontoparietal Modulation of Visual Cortex during the Selective Processing of Conditioned Threat* , 2017, Journal of Cognitive Neuroscience.

[28]  A. Schuster,et al.  Composition Operators on the Fock Space , 2002 .

[29]  I. Mezić Spectral Properties of Dynamical Systems, Model Reduction and Decompositions , 2005 .

[30]  Joel A. Rosenfeld Densely Defined Multiplication on Several Sobolev Spaces of a Single Variable , 2015 .

[31]  D. Giannakis,et al.  Koopman analysis of the long-term evolution in a turbulent convection cell , 2018, Journal of Fluid Mechanics.

[32]  A. Cichocki,et al.  Optimization of SSVEP brain responses with application to eight-command Brain–Computer Interface , 2010, Neuroscience Letters.

[33]  Steven L. Brunton,et al.  Dynamic mode decomposition - data-driven modeling of complex systems , 2016 .

[34]  Warren E. Dixon,et al.  Online Approximate Optimal Station Keeping of a Marine Craft in the Presence of an Irrotational Current , 2017, IEEE Transactions on Robotics.

[35]  Dimitrios Giannakis,et al.  Extraction and prediction of coherent patterns in incompressible flows through space–time Koopman analysis , 2017, 1706.06450.

[36]  Holger Wendland,et al.  Scattered Data Approximation: Conditionally positive definite functions , 2004 .

[37]  Helga Barbara Isselhard Mynott Composition Operators on Spaces of Analytic Functions , 1995 .

[38]  D. Regan,et al.  Human brain electrophysiology , 1989 .

[39]  Andreas Christmann,et al.  Support vector machines , 2008, Data Mining and Knowledge Discovery Handbook.

[40]  Kristin E Luery Composition Operators on Hardy Spaces of the Disk and Half-Plane , 2013 .

[41]  Emmanuel Trélat,et al.  Nonlinear Optimal Control via Occupation Measures and LMI-Relaxations , 2007, SIAM J. Control. Optim..