{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T05:06:31Z","timestamp":1771477591843,"version":"3.50.1"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,5,25]],"date-time":"2020-05-25T00:00:00Z","timestamp":1590364800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2020,5,25]],"date-time":"2020-05-25T00:00:00Z","timestamp":1590364800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100002835","name":"Chalmers University of Technology","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100002835","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Numer. Math."],"published-print":{"date-parts":[[2020,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A nonholonomic system is a mechanical system with velocity constraints not originating from position constraints; rolling without slipping is the typical example. A nonholonomic integrator is a numerical method specifically designed for nonholonomic systems. It has been observed numerically that many nonholonomic integrators exhibit excellent long-time behaviour when applied to various test problems. The excellent performance is often attributed to some underlying discrete version of the Lagrange\u2013d\u2019Alembert principle. Instead, in this paper, we give evidence that <jats:italic>reversibility<\/jats:italic> is behind the observed behaviour. Indeed, we show that many standard nonholonomic test problems have the structure of being foliated over reversible integrable systems. As most nonholonomic integrators preserve the foliation and the reversible structure, near conservation of the first integrals is a consequence of reversible KAM theory. Therefore, to fully evaluate nonholonomic integrators one has to consider also <jats:italic>non<\/jats:italic>-reversible nonholonomic systems. To this end we construct perturbed test problems that are integrable but no longer reversible (with respect to the standard reversibility map). Applying various nonholonomic integrators from the literature to these problems we observe that no method performs well on all problems. This further indicates that reversibility is the main mechanism behind near conservation of first integrals for nonholonomic integrators. A list of relevant open problems is given toward the end.<\/jats:p>","DOI":"10.1007\/s00211-020-01126-y","type":"journal-article","created":{"date-parts":[[2020,5,25]],"date-time":"2020-05-25T04:02:25Z","timestamp":1590379345000},"page":"405-435","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["What makes nonholonomic integrators work?"],"prefix":"10.1007","volume":"145","author":[{"given":"Klas","family":"Modin","sequence":"first","affiliation":[]},{"given":"Olivier","family":"Verdier","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,5,25]]},"reference":[{"key":"1126_CR1","volume-title":"Ordinary Differential Equations. Universitext","author":"VI Arnold","year":"2006","unstructured":"Arnold, V.I.: Ordinary Differential Equations. Universitext. Springer, Berlin (2006)"},{"key":"1126_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-48926-9","volume-title":"Mathematical Aspects of Classical and Celestial Mechanics, Vol.\u00a03 of Encyclopaedia of Mathematical Sciences","author":"VI Arnold","year":"2006","unstructured":"Arnold, V.I., Kozlov, V.V., Neishtadt, A.I.: Mathematical Aspects of Classical and Celestial Mechanics, Vol.\u00a03 of Encyclopaedia of Mathematical Sciences, 3rd edn. Springer, Berlin (2006)","edition":"3"},{"key":"1126_CR3","doi-asserted-by":"publisher","first-page":"7020","DOI":"10.1016\/j.cma.2005.01.027","volume":"195","author":"P Betsch","year":"2006","unstructured":"Betsch, P.: Energy-consistent numerical integration of mechanical systems with mixed holonomic and nonholonomic constraints. Comput. Methods Appl. Mech. Eng. 195, 7020\u20137035 (2006)","journal-title":"Comput. Methods Appl. Mech. Eng."},{"key":"1126_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4939-3017-3","volume-title":"Nonholonomic Mechanics and Control. Interdisciplinary Applied Mathematics","author":"A Bloch","year":"2015","unstructured":"Bloch, A.: Nonholonomic Mechanics and Control. Interdisciplinary Applied Mathematics. Springer, New York (2015)"},{"key":"1126_CR5","doi-asserted-by":"publisher","first-page":"1523","DOI":"10.1007\/s00332-018-9524-4","volume":"29","author":"E Celledoni","year":"2019","unstructured":"Celledoni, E., Farr\u00e9 Puiggal\u00ed, M., H\u00f8iseth, E.H., Mart\u00edn de Diego, D.: Energy-preserving integrators applied to nonholonomic systems. J. Nonlinear Sci. 29, 1523\u20131562 (2019)","journal-title":"J. Nonlinear Sci."},{"key":"1126_CR6","volume-title":"Geometric, Control and Numerical Aspects of Nonholonomic Systems, Vol. 1793 of Lecture Notes in Mathematics","author":"J Cort\u00e9s Monforte","year":"2002","unstructured":"Cort\u00e9s Monforte, J.: Geometric, Control and Numerical Aspects of Nonholonomic Systems, Vol. 1793 of Lecture Notes in Mathematics. Springer, Berlin (2002)"},{"key":"1126_CR7","doi-asserted-by":"publisher","first-page":"1365","DOI":"10.1088\/0951-7715\/14\/5\/322","volume":"14","author":"J Cort\u00e9s Monforte","year":"2001","unstructured":"Cort\u00e9s Monforte, J., Mart\u00ednez, S.: Non-holonomic integrators. Nonlinearity 14, 1365\u20131392 (2001)","journal-title":"Nonlinearity"},{"key":"1126_CR8","doi-asserted-by":"publisher","first-page":"1911","DOI":"10.1088\/0951-7715\/21\/8\/009","volume":"21","author":"S Ferraro","year":"2008","unstructured":"Ferraro, S., Iglesias, D., Mart\u00edn de Diego, D.: Momentum and energy preserving integrators for nonholonomic dynamics. Nonlinearity 21, 1911\u20131928 (2008)","journal-title":"Nonlinearity"},{"key":"1126_CR9","doi-asserted-by":"publisher","first-page":"871","DOI":"10.1088\/0951-7715\/28\/4\/871","volume":"28","author":"S Ferraro","year":"2015","unstructured":"Ferraro, S., Jimnez, F., de Diego, D.M.: New developments on the geometric nonholonomic integrator. Nonlinearity 28, 871 (2015)","journal-title":"Nonlinearity"},{"key":"1126_CR10","doi-asserted-by":"publisher","unstructured":"Ferraro, S.J., Iglesias-Ponte, D., Mart\u00edn de Diego, D.: Numerical and geometric aspects of the nonholonomic shake and rattle methods. Discrete Contin. Dyn. Syst. (2009). https:\/\/doi.org\/10.3934\/proc.2009.2009.220","DOI":"10.3934\/proc.2009.2009.220"},{"key":"1126_CR11","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1007\/BF02440162","volume":"6","author":"O Gonzalez","year":"1996","unstructured":"Gonzalez, O.: Time integration and discrete Hamiltonian systems. J. Nonlinear Sci. 6, 449\u2013467 (1996)","journal-title":"J. Nonlinear Sci."},{"key":"1126_CR12","volume-title":"Geometric Numerical Integration, Vol.\u00a031 of Springer Series in Computational Mathematics","author":"E Hairer","year":"2006","unstructured":"Hairer, E., Lubich, C., Wanner, G.: Geometric Numerical Integration, Vol.\u00a031 of Springer Series in Computational Mathematics, 2nd edn. Springer, Berlin (2006)","edition":"2"},{"key":"1126_CR13","doi-asserted-by":"publisher","first-page":"81","DOI":"10.3934\/jgm.2011.3.81","volume":"3","author":"AC Hansen","year":"2011","unstructured":"Hansen, A.C.: A theoretical framework for backward error analysis on manifolds. J. Geom. Mech. 3, 81 (2011)","journal-title":"J. Geom. Mech."},{"key":"1126_CR14","first-page":"61","volume":"3","author":"M Kobilarov","year":"2010","unstructured":"Kobilarov, M., Marsden, J.E., Sukhatme, G.S.: Geometric discretization of nonholonomic systems with symmetries. Discrete Contin. Dyn. Syst. Ser. S 3, 61\u201384 (2010a)","journal-title":"Discrete Contin. Dyn. Syst. Ser. S"},{"key":"1126_CR15","doi-asserted-by":"crossref","unstructured":"Kobilarov, M., Mart\u00edn\u00a0de Diego, D., Ferraro, S.: Simulating nonholonomic dynamics, Bol. Soc. Esp. Mat. Apl. SeMA 61\u201381 (2010)","DOI":"10.1007\/BF03322542"},{"key":"1126_CR16","unstructured":"McLachlan, R.: Private communication (2013)"},{"key":"1126_CR17","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s00332-005-0698-1","volume":"16","author":"R McLachlan","year":"2006","unstructured":"McLachlan, R., Perlmutter, M.: Integrators for nonholonomic mechanical systems. J. Nonlinear Sci. 16, 283\u2013328 (2006)","journal-title":"J. Nonlinear Sci."},{"key":"1126_CR18","doi-asserted-by":"publisher","first-page":"1121","DOI":"10.3934\/dcds.2014.34.1121","volume":"34","author":"K Modin","year":"2014","unstructured":"Modin, K., Verdier, O.: Integrability of nonholonomically coupled oscillators. Discrete Contin. Dyn. Syst. Ser. A 34, 1121\u20131130 (2014). arXiv:1212.6618","journal-title":"Discrete Contin. Dyn. Syst. Ser. A"},{"key":"1126_CR19","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898719536","volume-title":"Nonholonomic Motion of Rigid Mechanical Systems from a DAE Viewpoint","author":"PJ Rabier","year":"2000","unstructured":"Rabier, P.J., Rheinboldt, W.C.: Nonholonomic Motion of Rigid Mechanical Systems from a DAE Viewpoint. Society for Industrial and Applied Mathematics (SIAM), Philadelphia (2000)"},{"key":"1126_CR20","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1016\/S0167-2789(97)00207-8","volume":"112","author":"MB Sevryuk","year":"1998","unstructured":"Sevryuk, M.B.: The finite-dimensional reversible KAM theory. Phys. D 112, 132\u2013147 (1998)","journal-title":"Phys. D"},{"key":"1126_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1070\/RM1991v046n05ABEH002856","volume":"46","author":"AP Veselov","year":"1991","unstructured":"Veselov, A.P.: Integrable maps. Russ. Math. Surv. 46, 1 (1991)","journal-title":"Russ. Math. Surv."}],"container-title":["Numerische Mathematik"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-020-01126-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00211-020-01126-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00211-020-01126-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,24]],"date-time":"2021-05-24T23:18:25Z","timestamp":1621898305000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00211-020-01126-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,25]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["1126"],"URL":"https:\/\/doi.org\/10.1007\/s00211-020-01126-y","relation":{},"ISSN":["0029-599X","0945-3245"],"issn-type":[{"value":"0029-599X","type":"print"},{"value":"0945-3245","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,5,25]]},"assertion":[{"value":"28 June 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 April 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 May 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}