Structure-preserving reduced basis methods for Poisson systems

Hesthaven, Jan; Pagliantini, Cecilia

doi:10.1090/mcom/3618

Structure-preserving reduced basis methods for Poisson systems
HTML articles powered by AMS MathViewer

by Jan S. Hesthaven and Cecilia Pagliantini HTML | PDF

Math. Comp. 90 (2021), 1701-1740 Request permission

Abstract:

We develop structure-preserving reduced basis methods for a large class of nondissipative problems by resorting to their formulation as Hamiltonian dynamical systems. With this perspective, the phase space is naturally endowed with a Poisson manifold structure which encodes the physical properties, symmetries, and conservation laws of the dynamics. The goal is to design reduced basis methods for the general state-dependent degenerate Poisson structure based on a two-step approach. First, via a local approximation of the Poisson tensor, we split the Hamiltonian dynamics into an “almost symplectic” part and the trivial evolution of the Casimir invariants. Second, canonically symplectic reduced basis techniques are applied to the nontrivial component of the dynamics, preserving the local Poisson tensor kernel exactly. The global Poisson structure and the conservation properties of the phase flow are retained by the reduced model in the constant-valued case and up to errors in the Poisson tensor approximation in the state-dependent case. A priori error estimates for the solution of the reduced system are established. A set of numerical simulations is presented to corroborate the theoretical findings.

References

R. Abraham and J. E. Marsden, Foundations of mechanics, 2nd ed., Addison-Wesley Publishing Company, Inc., Redwood City, CA, 1987.
Babak Maboudi Afkham and Jan S. Hesthaven, Structure preserving model reduction of parametric Hamiltonian systems, SIAM J. Sci. Comput. 39 (2017), no. 6, A2616–A2644. MR 3724257, DOI 10.1137/17M1111991
V. I. Arnol′d, On the topology of three-dimensional steady flows of an ideal fluid. , J. Appl. Math. Mech. 30 (1966), 223–226. MR 0235578, DOI 10.1016/0021-8928(66)90070-0
V. I. Arnol′d, Mathematical methods of classical mechanics, 2nd ed., Graduate Texts in Mathematics, vol. 60, Springer-Verlag, New York, 1989. Translated from the Russian by K. Vogtmann and A. Weinstein. MR 997295, DOI 10.1007/978-1-4757-2063-1
Uri M. Ascher and Robert I. McLachlan, Multisymplectic box schemes and the Korteweg-de Vries equation, Appl. Numer. Math. 48 (2004), no. 3-4, 255–269. Workshop on Innovative Time Integrators for PDEs. MR 2056917, DOI 10.1016/j.apnum.2003.09.002
U. M. Ascher and R. I. McLachlan, On symplectic and multisymplectic schemes for the KdV equation, J. Sci. Comput. 25 (2005), no. 1-2, 83–104. MR 2231944, DOI 10.1007/s10915-004-4634-6
Maxime Barrault, Yvon Maday, Ngoc Cuong Nguyen, and Anthony T. Patera, An ‘empirical interpolation’ method: application to efficient reduced-basis discretization of partial differential equations, C. R. Math. Acad. Sci. Paris 339 (2004), no. 9, 667–672 (English, with English and French summaries). MR 2103208, DOI 10.1016/j.crma.2004.08.006
Peter Betsch and Mark Schiebl, Energy-momentum-entropy consistent numerical methods for large-strain thermoelasticity relying on the GENERIC formalism, Internat. J. Numer. Methods Engrg. 119 (2019), no. 12, 1216–1244. MR 3996510, DOI 10.1002/nme.6089
Peter Binev, Albert Cohen, Wolfgang Dahmen, Ronald DeVore, Guergana Petrova, and Przemyslaw Wojtaszczyk, Convergence rates for greedy algorithms in reduced basis methods, SIAM J. Math. Anal. 43 (2011), no. 3, 1457–1472. MR 2821591, DOI 10.1137/100795772
J. H. Brandts, Matlab code for sorting real Schur forms, Numer. Linear Algebra Appl. 9 (2002), no. 3, 249–261. MR 1893830, DOI 10.1002/nla.274
Annalisa Buffa, Yvon Maday, Anthony T. Patera, Christophe Prud’homme, and Gabriel Turinici, A priori convergence of the greedy algorithm for the parametrized reduced basis method, ESAIM Math. Model. Numer. Anal. 46 (2012), no. 3, 595–603. MR 2877366, DOI 10.1051/m2an/2011056
Kevin Carlberg, Ray Tuminaro, and Paul Boggs, Preserving Lagrangian structure in nonlinear model reduction with application to structural dynamics, SIAM J. Sci. Comput. 37 (2015), no. 2, B153–B184. MR 3319852, DOI 10.1137/140959602
Philippe Chartier, Erwan Faou, and Ander Murua, An algebraic approach to invariant preserving integrators: the case of quadratic and Hamiltonian invariants, Numer. Math. 103 (2006), no. 4, 575–590. MR 2221062, DOI 10.1007/s00211-006-0003-8
Saifon Chaturantabut and Danny C. Sorensen, Nonlinear model reduction via discrete empirical interpolation, SIAM J. Sci. Comput. 32 (2010), no. 5, 2737–2764. MR 2684735, DOI 10.1137/090766498
Saifon Chaturantabut and Danny C. Sorensen, A state space error estimate for POD-DEIM nonlinear model reduction, SIAM J. Numer. Anal. 50 (2012), no. 1, 46–63. MR 2888303, DOI 10.1137/110822724
A. Clebsch, Ueber die Integration der hydrodynamischen Gleichungen, J. Reine Angew. Math. 56 (1859), 1–10 (German). MR 1579078, DOI 10.1515/crll.1859.56.1
Albert Cohen and Ronald DeVore, Kolmogorov widths under holomorphic mappings, IMA J. Numer. Anal. 36 (2016), no. 1, 1–12. MR 3463432, DOI 10.1093/imanum/dru066
David Cohen and Ernst Hairer, Linear energy-preserving integrators for Poisson systems, BIT 51 (2011), no. 1, 91–101. MR 2784654, DOI 10.1007/s10543-011-0310-z
Germund Dahlquist, Stability and error bounds in the numerical integration of ordinary differential equations, Kungl. Tekn. Högsk. Handl. Stockholm 130 (1959), 87. MR 102921
G. Darboux, Sur le problème de Pfaff, Bull. Sci. Math. Astronomiques 6 (1882), no. 1, 14–36.
Ronald A. DeVore, The theoretical foundation of reduced basis methods, Model reduction and approximation, Comput. Sci. Eng., vol. 15, SIAM, Philadelphia, PA, 2017, pp. 137–168. MR 3672147, DOI 10.1137/1.9781611974829.ch3
T. Ergenç and B. Karasözen, Poisson integrators for Volterra lattice equations, Appl. Numer. Math. 56 (2006), no. 6, 879–887. MR 2222125, DOI 10.1016/j.apnum.2005.06.009
H. Faßbender and Kh. D. Ikramov, Some observations on the Youla form and conjugate-normal matrices, Linear Algebra Appl. 422 (2007), no. 1, 29–38. MR 2298993, DOI 10.1016/j.laa.2006.09.004
Luc Giraud, Julien Langou, Miroslav Rozložník, and Jasper van den Eshof, Rounding error analysis of the classical Gram-Schmidt orthogonalization process, Numer. Math. 101 (2005), no. 1, 87–100. MR 2194719, DOI 10.1007/s00211-005-0615-4
V. Grimm and G. R. W. Quispel, Geometric integration methods that preserve Lyapunov functions, BIT 45 (2005), no. 4, 709–723. MR 2191474, DOI 10.1007/s10543-005-0034-z
T. H. Gronwall, Note on the derivatives with respect to a parameter of the solutions of a system of differential equations, Ann. of Math. (2) 20 (1919), no. 4, 292–296. MR 1502565, DOI 10.2307/1967124
Ernst Hairer, Christian Lubich, and Gerhard Wanner, Geometric numerical integration, 2nd ed., Springer Series in Computational Mathematics, vol. 31, Springer-Verlag, Berlin, 2006. Structure-preserving algorithms for ordinary differential equations. MR 2221614
A. Kolmogoroff, Über die beste Annäherung von Funktionen einer gegebenen Funktionenklasse, Ann. of Math. (2) 37 (1936), no. 1, 107–110 (German). MR 1503273, DOI 10.2307/1968691
M. Kraus, K. Kormann, P. J. Morrison, and E. Sonnendrücker, GEMPIC: geometric electromagnetic particle-in-cell methods, J. Plasma Phys. 83 (2017), no. 4, 905830401.
Sanjay Lall, Petr Krysl, and Jerrold E. Marsden, Structure-preserving model reduction for mechanical systems, Phys. D 184 (2003), no. 1-4, 304–318. Complexity and nonlinearity in physical systems (Tucson, AZ, 2001). MR 2030691, DOI 10.1016/S0167-2789(03)00227-6
Sophus Lie, Theorie der Transformationsgruppen I, Math. Ann. 16 (1880), no. 4, 441–528 (German). MR 1510035, DOI 10.1007/BF01446218
Robert G. Littlejohn, A guiding center Hamiltonian: a new approach, J. Math. Phys. 20 (1979), no. 12, 2445–2458. MR 553507, DOI 10.1063/1.524053
J. Marsden, Darboux’s theorem fails for weak symplectic forms, Proc. Amer. Math. Soc. 32 (1972), 590–592. MR 293678, DOI 10.1090/S0002-9939-1972-0293678-X
Jerrold E. Marsden and Tudor S. Ratiu, Introduction to mechanics and symmetry, 2nd ed., Texts in Applied Mathematics, vol. 17, Springer-Verlag, New York, 1999. A basic exposition of classical mechanical systems. MR 1723696, DOI 10.1007/978-0-387-21792-5
Jerrold Marsden and Alan Weinstein, Coadjoint orbits, vortices, and Clebsch variables for incompressible fluids, Phys. D 7 (1983), no. 1-3, 305–323. Order in chaos (Los Alamos, N.M., 1982). MR 719058, DOI 10.1016/0167-2789(83)90134-3
Robert I. McLachlan, G. R. W. Quispel, and Nicolas Robidoux, Geometric integration using discrete gradients, R. Soc. Lond. Philos. Trans. Ser. A Math. Phys. Eng. Sci. 357 (1999), no. 1754, 1021–1045. MR 1694701, DOI 10.1098/rsta.1999.0363
P. J. Morrison and J. Vanneste, Weakly nonlinear dynamics in noncanonical Hamiltonian systems with applications to fluids and plasmas, Ann. Physics 368 (2016), 117–147. MR 3485042, DOI 10.1016/j.aop.2016.02.003
Andrea Natale and Colin J. Cotter, A variational $H(\textrm {div})$ finite-element discretization approach for perfect incompressible fluids, IMA J. Numer. Anal. 38 (2018), no. 3, 1388–1419. MR 3861250, DOI 10.1093/imanum/drx033
Peter J. Olver, Darboux’s theorem for Hamiltonian differential operators, J. Differential Equations 71 (1988), no. 1, 10–33. MR 922196, DOI 10.1016/0022-0396(88)90036-8
Liqian Peng and Kamran Mohseni, Symplectic model reduction of Hamiltonian systems, SIAM J. Sci. Comput. 38 (2016), no. 1, A1–A27. MR 3439768, DOI 10.1137/140978922
Ahmed Salam, On theoretical and numerical aspects of symplectic Gram-Schmidt-like algorithms, Numer. Algorithms 39 (2005), no. 4, 437–462. MR 2134335, DOI 10.1007/s11075-005-0963-2
Alan Weinstein, Symplectic manifolds and their Lagrangian submanifolds, Advances in Math. 6 (1971), 329–346 (1971). MR 286137, DOI 10.1016/0001-8708(71)90020-X
Alan Weinstein, The local structure of Poisson manifolds, J. Differential Geom. 18 (1983), no. 3, 523–557. MR 723816
D. Wirtz, D. C. Sorensen, and B. Haasdonk, A posteriori error estimation for DEIM reduced nonlinear dynamical systems, SIAM J. Sci. Comput. 36 (2014), no. 2, A311–A338. MR 3172248, DOI 10.1137/120899042
Jue Yan and Chi-Wang Shu, A local discontinuous Galerkin method for KdV type equations, SIAM J. Numer. Anal. 40 (2002), no. 2, 769–791. MR 1921677, DOI 10.1137/S0036142901390378
D. C. Youla, A normal form for a matrix under the unitary congruence group, Canadian J. Math. 13 (1961), 694–704. MR 132754, DOI 10.4153/CJM-1961-059-8