Using aromas to search for preserved measures and integrals in Kahan’s method

Bogfjellmo, Geir; Celledoni, Elena; McLachlan, Robert; Owren, Brynjulf; Quispel, G.

doi:10.1090/mcom/3921

Using aromas to search for preserved measures and integrals in Kahan’s method
HTML articles powered by AMS MathViewer

by Geir Bogfjellmo, Elena Celledoni, Robert I. McLachlan, Brynjulf Owren and G. R. W. Quispel;

Math. Comp. 93 (2024), 1633-1653

DOI: https://doi.org/10.1090/mcom/3921

Published electronically: November 8, 2023

HTML | PDF | Request permission

Abstract:

The numerical method of Kahan applied to quadratic differential equations is known to often generate integrable maps in low dimensions and can in more general situations exhibit preserved measures and integrals. Computerized methods based on discrete Darboux polynomials have recently been used for finding these measures and integrals. However, if the differential system contains many parameters, this approach can lead to highly complex results that can be difficult to interpret and analyse. But this complexity can in some cases be substantially reduced by using aromatic series. These are a mathematical tool introduced independently by Chartier and Murua and by Iserles, Quispel and Tse. We develop an algorithm for this purpose and derive some necessary conditions for the Kahan map to have preserved measures and integrals expressible in terms of aromatic functions. An important reason for the success of this method lies in the equivariance of the map from vector fields to their aromatic functions. We demonstrate the algorithm on a number of examples showing a great reduction in complexity compared to what had been obtained by a fixed basis such as monomials.

References

Geir Bogfjellmo, Algebraic structure of aromatic B-series, J. Comput. Dyn. 6 (2019), no. 2, 199–222. MR 4043229, DOI 10.3934/jcd.2019010
J. C. Butcher, An algebraic theory of integration methods, Math. Comp. 26 (1972), 79–106. MR 305608, DOI 10.1090/S0025-5718-1972-0305608-0
Elena Celledoni, Charalambos Evripidou, David I. McLaren, Brynjulf Owren, G. R. W. Quispel, and Benjamin K. Tapley, Detecting and determining preserved measures and integrals of birational maps, J. Comput. Dyn. 9 (2022), no. 4, 553–574. MR 4505956, DOI 10.3934/jcd.2022014
E. Celledoni, C. Evripidou, D. I. McLaren, B. Owren, G. R. W. Quispel, B. K. Tapley, and P. H. van der Kamp, Using discrete Darboux polynomials to detect and determine preserved measures and integrals of rational maps, J. Phys. A 52 (2019), no. 31, 31LT01, 11. MR 3983964, DOI 10.1088/1751-8121/ab294b
Elena Celledoni, Robert I. McLachlan, David I. McLaren, Brynjulf Owren, and G. R. W. Quispel, Integrability properties of Kahan’s method, J. Phys. A 47 (2014), no. 36, 365202, 20. MR 3254845, DOI 10.1088/1751-8113/47/36/365202
Elena Celledoni, Robert I. McLachlan, Brynjulf Owren, and G. R. W. Quispel, Energy-preserving integrators and the structure of B-series, Found. Comput. Math. 10 (2010), no. 6, 673–693. MR 2728426, DOI 10.1007/s10208-010-9073-1
Elena Celledoni, Robert I. McLachlan, Brynjulf Owren, and G. R. W. Quispel, Geometric properties of Kahan’s method, J. Phys. A 46 (2013), no. 2, 025201, 12. MR 3002854, DOI 10.1088/1751-8113/46/2/025201
E. Celledoni, D. I. McLaren, B. Owren, and G. R. W. Quispel, Geometric and integrability properties of Kahan’s method: the preservation of certain quadratic integrals, J. Phys. A 52 (2019), no. 6, 065201, 9. MR 3916421, DOI 10.1088/1751-8121/aafb1e
Philippe Chartier and Ander Murua, Preserving first integrals and volume forms of additively split systems, IMA J. Numer. Anal. 27 (2007), no. 2, 381–405. MR 2317009, DOI 10.1093/imanum/drl039
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
Ryogo Hirota and Kinji Kimura, Discretization of the Euler top, J. Phys. Soc. Japan 69 (2000), no. 3, 627–630. MR 1766202, DOI 10.1143/JPSJ.69.627
A. Iserles, G. R. W. Quispel, and P. S. P. Tse, B-series methods cannot be volume-preserving, BIT 47 (2007), no. 2, 351–378. MR 2334044, DOI 10.1007/s10543-006-0114-8
S. A. Joni and G.-C. Rota, Coalgebras and bialgebras in combinatorics, Stud. Appl. Math. 61 (1979), no. 2, 93–139. MR 544721, DOI 10.1002/sapm197961293
W. Kahan, Unconventional numerical methods for trajectory calculations, Unpublished Notes, 1993.
William Kahan and Ren-Chang Li, Unconventional schemes for a class of ordinary differential equations—with applications to the Korteweg-de Vries equation, J. Comput. Phys. 134 (1997), no. 2, 316–331. MR 1458831, DOI 10.1006/jcph.1997.5710
Kinji Kimura and Ryogo Hirota, Discretization of the Lagrange top, J. Phys. Soc. Japan 69 (2000), no. 10, 3193–3199. MR 1799319, DOI 10.1143/JPSJ.69.3193
Adrien Laurent, Robert I. McLachlan, Hans Z. Munthe-Kaas, and Olivier Verdier, The aromatic bicomplex for the description of divergence-free aromatic forms and volume-preserving integrators, Forum Math. Sigma 11 (2023), Paper No. e69, 38. MR 4624837, DOI 10.1017/fms.2023.63
Robert I. McLachlan, Klas Modin, Hans Munthe-Kaas, and Olivier Verdier, B-series methods are exactly the affine equivariant methods, Numer. Math. 133 (2016), no. 3, 599–622. MR 3510021, DOI 10.1007/s00211-015-0753-2
Hans Munthe-Kaas and Olivier Verdier, Aromatic Butcher series, Found. Comput. Math. 16 (2016), no. 1, 183–215. MR 3451427, DOI 10.1007/s10208-015-9245-0
Matteo Petrera, Andreas Pfadler, and Yuri B. Suris, On integrability of Hirota-Kimura type discretizations, Regul. Chaotic Dyn. 16 (2011), no. 3-4, 245–289. MR 2810980, DOI 10.1134/S1560354711030051
Matteo Petrera and Yuri B. Suris, New results on integrability of the Kahan-Hirota-Kimura discretizations, Nonlinear systems and their remarkable mathematical structures. Vol. 1, CRC Press, Boca Raton, FL, 2019, pp. 94–121. MR 3889128
Matteo Petrera, Yuri B. Suris, and René Zander, How one can repair non-integrable Kahan discretizations, J. Phys. A 53 (2020), no. 37, 37LT01, 7. MR 4152039, DOI 10.1088/1751-8121/aba308
J. M. Sanz-Serna, An unconventional symplectic integrator of W. Kahan, Appl. Numer. Math. 16 (1994), no. 1-2, 245–250. A Festschrift to honor Professor Robert Vichnevetsky on his 65th birthday. MR 1312864, DOI 10.1016/0168-9274(94)00030-1
Richard P. Stanley, Enumerative combinatorics. Vol. 2, Cambridge Studies in Advanced Mathematics, vol. 62, Cambridge University Press, Cambridge, 1999. With a foreword by Gian-Carlo Rota and appendix 1 by Sergey Fomin. MR 1676282, DOI 10.1017/CBO9780511609589