Abstract
This work introduces a non-intrusive model reduction approach for learning reduced models from partially observed state trajectories of high-dimensional dynamical systems. The proposed approach compensates for the loss of information due to the partially observed states by constructing non-Markovian reduced models that make future-state predictions based on a history of reduced states, in contrast to traditional Markovian reduced models that rely on the current reduced state alone to predict the next state. The core contributions of this work are a data sampling scheme to sample partially observed states from high-dimensional dynamical systems and a formulation of a regression problem to fit the non-Markovian reduced terms to the sampled states. Under certain conditions, the proposed approach recovers from data the very same non-Markovian terms that one obtains with intrusive methods that require the governing equations and discrete operators of the high-dimensional dynamical system. Numerical results demonstrate that the proposed approach leads to non-Markovian reduced models that are predictive far beyond the training regime. Additionally, in the numerical experiments, the proposed approach learns non-Markovian reduced models from trajectories with only 20% observed state components that are about as accurate as traditional Markovian reduced models fitted to trajectories with 99% observed components.
Similar content being viewed by others
Availability of data and material
The datasets generated during and/or analyzed during the current study are available from the corresponding author on reasonable request.
Code availability Code is available from the corresponding author on reasonable request. Code used in some simulations is also available at https://github.com/wayneisaacuy/OpInfPartialObs.
References
Antoulas, A.C., Anderson, B.D.Q.: On the scalar rational interpolation problem. IMA J. Math. Control Inf. 3(2–3), 61–88 (1986)
Antoulas, A.C., Gosea, I.V., Ionita, A.C.: Model reduction of bilinear systems in the Loewner framework. SIAM J. Sci. Comput. 38(5), B889–B916 (2016)
Ascher, U.M., Ruuth, S.J., Spiteri, R.J.: Implicit-explicit Runge-Kutta methods for time-dependent partial differential equations. Appl. Numer. Math. 25(2–3), 151–167 (1997)
Beattie, C., Gugercin, S.: Interpolatory projection methods for structure-preserving model reduction. Syst. Control Lett. 58(3), 225–232 (2009)
Beattie, C., Gugercin, S.: Realization-independent \({\cal{H}}_2\)-approximation. In: Proceedings of the 36th IEEE Conference on Decision and Control, pp. 4953–4958, Maui, HI, USA (2012)
Benner, P., Goyal, P., Kramer, B., Peherstorfer, B., Willcox. K.: Operator inference for non-intrusive model reduction of systems with non-polynomial nonlinear terms. Comput. Methods Appl. Mech. Eng. (accepted) (2020)
Benner, P., Gugercin, S., Willcox, K.: A survey of projection-based model reduction methods for parametric dynamical systems. SIAM Rev. 57(4), 483–531 (2015)
Billings, S.A.: Nonlinear system identification : NARMAX methods in the time, frequency, and spatio-temporal domains. Wiley, Chichester (2013)
Brunton, S.L., Proctor, J.L., Kutz, J.N.: Discovering governing equations from data by sparse identification of nonlinear dynamical systems. Proc. Natl. Acad. Sci. 113(15), 3932–3937 (2016)
Champion, K.P., Brunton, S.L., Kutz, J.N.: Discovery of nonlinear multiscale systems: Sampling strategies and embeddings. SIAM J. Appl. Dyn. Syst. 18(1), 312–333 (2019)
Chorin, A., Hald, O.H.: Stochastic Tools in Mathematics and Science. Springer, New York (2009)
Chorin, A., Stinis, P.: Problem reduction, renormalization, and memory. Commun. Appl. Math. Comput. Sci. 1(1), 1–27 (2006)
Chorin, A.J., Hald, O.H., Kupferman, R.: Optimal prediction with memory. Physica D 166(3–4), 239–257 (2002)
Clainche, S.L., Vega, J.M.: Higher order dynamic mode decomposition. SIAM J. Appl. Dyn. Syst. 16(2), 882–925 (2017)
Degroote, J., Vierendeels, J., Willcox, K.: Interpolation among reduced-order matrices to obtain parameterized models for design, optimization and probabilistic analysis. Int. J. Numer. Meth. Fluids 63, 207–230 (2009)
Drmač, Z., Gugercin, S., Beattie, C.: Vector fitting for matrix-valued rational approximation. SIAM J. Sci. Comput. 37(5), A2346–A2379 (2015)
Givon, D., Kupferman, R., Stuart, A.: Extracting macroscopic dynamics: model problems and algorithms. Nonlinearity 17(6), R55–R127 (2004)
Gosea, I.V., Antoulas, A.C.: Data-driven model order reduction of quadratic-bilinear systems. Numer. Linear Algebra Appl. 25(6), e2200 (2018)
Gugercin, S., Antoulas, A.C.: A survey of model reduction by balanced truncation and some new results. Int. J. Control 77(8), 748–766 (2004)
Gustavsen, B., Semlyen, A.: Rational approximation of frequency domain responses by vector fitting. IEEE Trans. Power Delivery 14(3), 1052–1061 (1999)
Hesthaven, J.S., Rozza, G., Stamm, B.: Certified Reduced Basis Methods for Parametrized Partial Differential Equations. Springer International Publishing, Berlin (2016)
Hochreiter, S., Schmidhuber, J.: Long short-term memory. Neural Comput. 9(8), 1735–1780 (1997)
Ionita, A.C., Antoulas, A.C.: Data-driven parametrized model reduction in the Loewner framework. SIAM J. Sci. Comput. 36(3), A984–A1007 (2014)
Juang, J.-N., Pappa, R.S.: An eigensystem realization algorithm for modal parameter identification and model reduction. J. Guid. Control. Dyn. 8(5), 620–627 (1985)
Kramer, B., Gugercin, S.: The eigensystem realization algorithm from tangentially interpolated data. Mathematical and Computer Modelling of Dynamical Systems (2016) to appear
Kutz, J.N., Brunton, S.L., Brunton, B.W., Proctor, J.L.: Dynamic mode decomposition: Data-driven modeling of complex systems. SIAM, New Delhi (2016)
Lefteriu, S., Antoulas, A.: A new approach to modeling multiport systems from frequency-domain data. Computer-Aided Des. Integr. Circuits Syst. IEEE Trans. 29(1), 14–27 (2010)
Lin, K.K., Lu, F.: Data-driven model reduction, Wiener projections, and the Koopman–Mori–Zwanzig formalism. J. Comput. Phys. 424, 109864 (2021)
Maulik, R., Mohan, A., Lusch, B., Madireddy, S., Balaprakash, P., Livescu, D.: Time-series learning of latent-space dynamics for reduced-order model closure. Physica D 405, 132368 (2020)
Mayo, A., Antoulas, A.: A framework for the solution of the generalized realization problem. Linear Algebra Appl. 425(2–3), 634–662 (2007)
McQuarrie, S.A., Huang, C., Willcox, K.: Data-driven reduced-order models via regularized operator inference for a single-injector combustion process. arXiv e-prints, page arXiv:2008.02862 (2020)
Mou, C., Liu, H., Wells, D.R., Iliescu, T.: Data-driven correction reduced order models for the quasi-geostrophic equations: a numerical investigation. Int. J. Comput. Fluid Dynam. 34(2), 147–159 (2020)
Pan, S., Duraisamy, K.: Data-driven discovery of closure models. SIAM J. Appl. Dyn. Syst. 17(4), 2381–2413 (2018)
Peherstorfer, B.: Sampling low-dimensional Markovian dynamics for pre-asymptotically recovering reduced models from data with operator inference. SIAM J. Sci. Comput. 42(5), A3489–A3515 (2020)
Peherstorfer, B., Willcox, K.: Dynamic data-driven reduced-order models. Comput. Methods Appl. Mech. Eng. 291, 21–41 (2015)
Peherstorfer, B., Willcox, K.: Data-driven operator inference for non-intrusive projection-based model reduction. Comput. Methods Appl. Mech. Eng. 306, 196–215 (2016)
Qian, E., Kramer, B., Peherstorfer, B., Willcox, K.: Lift & learn: Physics-informed machine learning for large-scale nonlinear dynamical systems. Physica D 406, 132401 (2020)
Quarteroni, A., Rozza, G., Manzoni, A.: Certified reduced basis approximation for parametrized partial differential equations and applications. J. Math. Ind. 1(1), 3 (2011)
Rowley, C., Mezić, I., Bagheri, S., Schlatter, P., Henningson, D.: Spectral analysis of nonlinear flows. J. Fluid Mech. 641, 115–127 (2009)
Rozza, G., Huynh, D., Patera, A.T.: Reduced basis approximation and a posteriori error estimation for affinely parametrized elliptic coercive partial differential equations. Arch. Comput. Methods Eng. 15(3), 1–47 (2008)
Sagaut, P.: Large Eddy Simulation for Incompressible Flows : An Introduction. Springer-Verlag, Berlin New York (2006)
Schaeffer, H., Caflisch, R., Hauck, C.D., Osher, S.: Sparse dynamics for partial differential equations. Proc. Natl. Acad. Sci. 110(17), 6634–6639 (2013)
Schaeffer, H., Tran, G., Ward, R.: Extracting sparse high-dimensional dynamics from limited data. SIAM J. Appl. Math. 78(6), 3279–3295 (2018)
Schmid, P.: Dynamic mode decomposition of numerical and experimental data. J. Fluid Mech. 656, 5–28 (2010)
Schmid, P., Sesterhenn, J.: Dynamic mode decomposition of numerical and experimental data. In: Bulletin of the American Physical Society, 61st APS meeting, page 208. American Physical Society, (2008)
Schulze, P., Unger, B.: Data-driven interpolation of dynamical systems with delay. Syst. Control Lett. 97, 125–131 (2016)
Schulze, P., Unger, B., Beattie, C., Gugercin, S.: Data-driven structured realization. Linear Algebra Appl. 537, 250–286 (2018)
Shumway, R., Stoffer, D.S.: Time Series Analysis and Its Applications : With R Examples. Springer, New York (2011)
Stinis, P.: Renormalized Mori–Zwanzig-reduced models for systems without scale separation. Proc. Royal Soc. A: Math. Phys. Eng. Sci. 471(2176), 20140446 (2015)
Suárez, E., Adelman, J.L., Zuckerman, D.M.: Accurate estimation of protein folding and unfolding times: Beyond markov state models. J. Chem. Theory Comput. 12(8), 3473–3481 (2016)
Swischuk, R., Kramer, B., Huang, C., Willcox, K.: Learning physics-based reduced-order models for a single-injector combustion process. AIAA J. 58(6), 2658–2672 (2020)
Tu, J.H., Rowley, C.W., Luchtenburg, D.M., Brunton, S.L., Kutz, J.N.: On dynamic mode decomposition: Theory and applications. J. Comput. Dyn. 1(2), 391–421 (2014)
Uy, W.I.T., Peherstorfer, B.: Probabilistic error estimation for non-intrusive reduced models learned from data of systems governed by linear parabolic partial differential equations. arXiv e-prints, page arXiv:2005.05890, (2020)
Wan, Z.Y., Vlachas, P., Koumoutsakos, P., Sapsis, T.: Data-assisted reduced-order modeling of extreme events in complex dynamical systems. PLoS ONE 13(5), e0197704 (2018)
Wang, J., Ferguson, A.L.: Nonlinear reconstruction of single-molecule free-energy surfaces from univariate time series. Phys. Rev. E 93(3), 1–28 (2016)
Wang, J., Ferguson, A.L.: Recovery of protein folding funnels from single-molecule time series by delay embeddings and manifold learning. J. Phys. Chem. B 122(50), 11931–11952 (2018)
Wang, Q., Ripamonti, N., Hesthaven, J.S.: Recurrent neural network closure of parametric POD-galerkin reduced-order models based on the Mori–Zwanzig formalism. J. Comput. Phys. 410, 109402 (2020)
Wang, Z., Akhtar, I., Borggaard, J., Iliescu, T.: Proper orthogonal decomposition closure models for turbulent flows: A numerical comparison. Comput. Methods Appl. Mech. Eng. 237–240, 10–26 (2012)
Williams, M.O., Kevrekidis, I.G., Rowley, C.W.: A data–driven approximation of the Koopman operator: Extending dynamic mode decomposition. J. Nonlinear Sci. 25(6), 1307–1346 (2015)
Xie, X., Mohebujjaman, M., Rebholz, L.G., Iliescu, T.: Data-driven filtered reduced order modeling of fluid flows. SIAM J. Sci. Comput. 40(3), B834–B857 (2018)
Zucchini, W.: Hidden Markov Models for Time Series : An Introduction Using R. CRC Press, Boca Raton, FL (2016)
Funding
This work was partially supported by US Department of Energy, Office of Advanced Scientific Computing Research, Applied Mathematics Program (Program Manager Dr. Steven Lee), DOE Award DESC0019334, and by the National Science Foundation under Grant No. 1901091 and under Grant No. 1761068.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was partially supported by US Department of Energy, Office of Advanced Scientific Computing Research, Applied Mathematics Program (Program Manager Dr. Steven Lee), DOE Award DESC0019334, and by the National Science Foundation under Grant No. 1901091 and under Grant No. 1761068.
Appendix A Error Analysis of the Non-Markovian Reduced Model
Appendix A Error Analysis of the Non-Markovian Reduced Model
We build on the analysis in Sect. 3.1.3 and demonstrate numerically that Markovian reduced models for linear autonomous full systems can achieve lower errors than the proposed non-Markovian reduced models (16). To motivate the numerical experiments that follow, consider a full model with dimension \(N = 2\) and with observed state of dimension \(r = 1\) and reduced dimension \(n=1\). A sufficient condition for which the proposed reduced model with non-Markovian term (16) yields a lower error than a Markovian reduced model is when \({\varvec{A}}_1\) is symmetric positive definite. To see this, observe that for positive integers l (\(l \in {\mathbb {Z}}^+\)), \({\tilde{{\varvec{A}}}}_1, {\varvec{E}}_l \in {\mathbb {R}}\) and that \({\tilde{{\varvec{A}}}}_1 >0\),
Provided that \({\tilde{{\varvec{z}}}}_0 = {\tilde{{\varvec{z}}}}_0^{(0)}= {\tilde{{\varvec{z}}}}_0^{(L)}\), for fixed \(k \in {\mathbb {Z}}^+\), if \({\tilde{{\varvec{z}}}}_k^{(0)}\) and \({\tilde{{\varvec{z}}}}_k^{(L)}\) are expressed in terms of the initial condition \({\tilde{{\varvec{z}}}}_0\), algebraic calculations show that
since \({\tilde{{\varvec{A}}}}_1, {\varvec{E}}_l\) are positive for all \(l \in {\mathbb {Z}}^+.\) Therefore, since
we conclude that
i.e., the reduced model with non-Markovian term achieves a lower error than its Markovian counterpart.
However, the symmetric positive definiteness of the matrix \({\varvec{A}}_1\) is insufficient when \(N> 2, n > 1\). To see this, consider the following two examples with lag \(L=1\). A numerical implementation is available in PythonFootnote 1 which reproduces Fig. 17 below. We set \(N = 10, n=2\) and consider 30% observed state components for the first example while for the second, we use \(N = 50, n = 40\) and consider 95% observed state components. In both cases, the initial condition \({\tilde{{\varvec{z}}}}_0\) is chosen such that its components are realizations of independent standard normal random variables. The initial condition for the full system is then \({\varvec{x}}_0 = {\varvec{Q}}{\tilde{{\varvec{z}}}}_0\) so that \({\varvec{x}}_0\) satisfies \(({\varvec{Q}}^{\perp })^T {\varvec{x}}_0 = {\varvec{0}}_{N-n}\).
The symmetric positive definite matrix \({\varvec{A}}_1\) is constructed as follows. Its eigenvalues are sampled from a uniform distribution on (0, 1) to ensure that the system is stable. Its orthonormal eigenvectors are then chosen to be the eigenvectors of \(({\varvec{R}}+ {\varvec{R}}^T)/2\) where \({\varvec{R}}^{N \times N}\) is a matrix whose entries are independently sampled from a uniform distribution on (0, 10). The components with indices 1,6,10 of the full state are observed in the first example with the initial condition and basis and system matrices given by
The details of the second example are provided in the repository\(^{1}\).
Figure 17 shows the difference in the relative error
against the time step k. At certain time instances, the Markovian reduced model has a smaller error (negative values on the y-axis) than the model with non-Markovian term of lag \(L=1\). Thus, the conclusion we derived for \(N = 2,n=1\) does not generalize and these examples show that it is possible that the Markovian model gives a more accurate approximation than the truncated non-Markovian model even if the matrix \({\varvec{A}}_1\) is symmetric positive definite. A more rigorous analysis is warranted but is beyond the scope of this work.
Rights and permissions
About this article
Cite this article
Uy, W.I.T., Peherstorfer, B. Operator Inference of Non-Markovian Terms for Learning Reduced Models from Partially Observed State Trajectories. J Sci Comput 88, 91 (2021). https://doi.org/10.1007/s10915-021-01580-2
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10915-021-01580-2