In this article we prove full discretization error bounds for semilinear second-order evolution equations. We consider exponential integrators in time applied to an abstract nonconforming semidiscretization in space. Since the fully discrete schemes involve the spatially discretized semigroup, a crucial point in the error analysis is to eliminate the continuous semigroup in the representation of the exact solution. Hence, we derive a modified variation-of-constants formula driven by the spatially discretized semigroup which holds up to a discretization error. Our main results provide bounds for the full discretization errors for exponential Adams and explicit exponential Runge\u2013Kutta methods. We show convergence with the stiff order of the corresponding exponential integrator in time, and errors stemming from the spatial discretization.<\/p>\n
As an application of the abstract theory, we consider an acoustic wave equation with kinetic boundary conditions, for which we also present some numerical experiments to illustrate our results.<\/p>","DOI":"10.1090\/mcom\/3736","type":"journal-article","created":{"date-parts":[[2022,2,9]],"date-time":"2022-02-09T10:16:29Z","timestamp":1644401789000},"page":"1687-1709","source":"Crossref","is-referenced-by-count":0,"title":["Full discretization error analysis of exponential integrators for semilinear wave equations"],"prefix":"10.1090","volume":"91","author":[{"given":"Benjamin","family":"D\u00f6rich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Leibold","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"14","published-online":{"date-parts":[[2022,4,5]]},"reference":[{"issue":"3","key":"1","doi-asserted-by":"publisher","first-page":"1294","DOI":"10.1093\/imanum\/drx047","article-title":"Avoiding order reduction when integrating linear initial boundary value problems with exponential splitting methods","volume":"38","author":"Alonso-Mallo, I.","year":"2018","journal-title":"IMA J. Numer. Anal.","ISSN":"https:\/\/id.crossref.org\/issn\/0272-4979","issn-type":"print"},{"key":"2","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1016\/j.cam.2019.02.023","article-title":"Avoiding order reduction when integrating reaction-diffusion boundary value problems with exponential splitting methods","volume":"357","author":"Alonso-Mallo, I.","year":"2019","journal-title":"J. Comput. Appl. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0377-0427","issn-type":"print"},{"issue":"3","key":"3","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1515\/jnma-2020-0043","article-title":"The deal.II library, Version 9.2","volume":"28","author":"Arndt, Daniel","year":"2020","journal-title":"J. Numer. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/1570-2820","issn-type":"print"},{"issue":"4","key":"4","doi-asserted-by":"publisher","first-page":"Art. 24, 27","DOI":"10.1145\/1268776.1268779","article-title":"deal.II\u2014a general-purpose object-oriented finite element library","volume":"33","author":"Bangerth, W.","year":"2007","journal-title":"ACM Trans. Math. Software","ISSN":"https:\/\/id.crossref.org\/issn\/0098-3500","issn-type":"print"},{"issue":"3","key":"5","doi-asserted-by":"publisher","first-page":"Paper No. 34, 30","DOI":"10.1007\/s10915-020-01378-8","article-title":"Weak convergence rates for an explicit full-discretization of stochastic Allen-Cahn equation with additive noise","volume":"86","author":"Cai, Meng","year":"2021","journal-title":"J. Sci. Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0885-7474","issn-type":"print"},{"key":"6","doi-asserted-by":"publisher","first-page":"Paper No. 110289, 18","DOI":"10.1016\/j.jcp.2021.110289","article-title":"An accurate and time-parallel rational exponential integrator for hyperbolic and oscillatory PDEs","volume":"437","author":"Caliari, Marco","year":"2021","journal-title":"J. Comput. Phys.","ISSN":"https:\/\/id.crossref.org\/issn\/0021-9991","issn-type":"print"},{"issue":"1","key":"7","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s10543-013-0446-0","article-title":"Comparison of software for computing the action of the matrix exponential","volume":"54","author":"Caliari, Marco","year":"2014","journal-title":"BIT","ISSN":"https:\/\/id.crossref.org\/issn\/0006-3835","issn-type":"print"},{"issue":"1","key":"8","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.cam.2003.11.015","article-title":"Interpolating discrete advection-diffusion propagators at Leja sequences","volume":"172","author":"Caliari, M.","year":"2004","journal-title":"J. Comput. Appl. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0377-0427","issn-type":"print"},{"issue":"3","key":"9","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/s00211-005-0627-0","article-title":"A class of explicit multistep exponential integrators for semilinear problems","volume":"102","author":"Calvo, M. P.","year":"2006","journal-title":"Numer. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0029-599X","issn-type":"print"},{"issue":"3","key":"10","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/s10208-007-9016-7","article-title":"Symmetric exponential integrators with an application to the cubic Schr\u00f6dinger equation","volume":"8","author":"Celledoni, Elena","year":"2008","journal-title":"Found. Comput. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/1615-3375","issn-type":"print"},{"key":"11","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/j.apnum.2020.05.008","article-title":"A full-discrete exponential Euler approximation of the invariant measure for parabolic stochastic partial differential equations","volume":"157","author":"Chen, Ziheng","year":"2020","journal-title":"Appl. Numer. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0168-9274","issn-type":"print"},{"issue":"5","key":"12","doi-asserted-by":"publisher","first-page":"2057","DOI":"10.1137\/100811052","article-title":"Exponential Runge-Kutta methods for stiff kinetic equations","volume":"49","author":"Dimarco, Giacomo","year":"2011","journal-title":"SIAM J. Numer. Anal.","ISSN":"https:\/\/id.crossref.org\/issn\/0036-1429","issn-type":"print"},{"issue":"1","key":"13","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1093\/imamat\/16.1.11","article-title":"Generalized Runge-Kutta processes for stiff initial-value problems","volume":"16","author":"Ehle, B. L.","year":"1975","journal-title":"J. Inst. Math. Appl.","ISSN":"https:\/\/id.crossref.org\/issn\/0020-2932","issn-type":"print"},{"key":"14","isbn-type":"print","first-page":"35","article-title":"Verallgemeinerte Runge-Kutta Verfahren zur L\u00f6sung steifer Differentialgleichungssysteme","author":"Friedli, A.","year":"1978","ISBN":"https:\/\/id.crossref.org\/isbn\/3540085394"},{"issue":"316","key":"15","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1090\/mcom\/3339","article-title":"Trigonometric integrators for quasilinear wave equations","volume":"88","author":"Gauckler, Ludwig","year":"2019","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"4","key":"16","first-page":"457","article-title":"Derivation and physical interpretation of general boundary conditions","volume":"11","author":"Goldstein, Gis\u00e8le Ruiz","year":"2006","journal-title":"Adv. Differential Equations","ISSN":"https:\/\/id.crossref.org\/issn\/1079-9389","issn-type":"print"},{"issue":"1","key":"17","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s00211-005-0583-8","article-title":"On error bounds for the Gautschi-type exponential integrator applied to oscillatory second-order differential equations","volume":"100","author":"Grimm, Volker","year":"2005","journal-title":"Numer. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0029-599X","issn-type":"print"},{"issue":"3","key":"18","doi-asserted-by":"publisher","first-page":"1206","DOI":"10.1093\/imanum\/dry036","article-title":"Unified error analysis for nonconforming space discretizations of wave-type equations","volume":"39","author":"Hipp, David","year":"2019","journal-title":"IMA J. Numer. Anal.","ISSN":"https:\/\/id.crossref.org\/issn\/0272-4979","issn-type":"print"},{"key":"19","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1553\/etna_vol53s522","article-title":"Finite element discretization of semilinear acoustic wave equations with kinetic boundary conditions","volume":"53","author":"Hochbruck, Marlis","year":"2020","journal-title":"Electron. Trans. Numer. Anal."},{"issue":"3","key":"20","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/s002110050456","article-title":"A Gautschi-type method for oscillatory second-order differential equations","volume":"83","author":"Hochbruck, Marlis","year":"1999","journal-title":"Numer. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0029-599X","issn-type":"print"},{"issue":"5","key":"21","doi-asserted-by":"publisher","first-page":"1552","DOI":"10.1137\/S1064827595295337","article-title":"Exponential integrators for large systems of differential equations","volume":"19","author":"Hochbruck, Marlis","year":"1998","journal-title":"SIAM J. Sci. Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/1064-8275","issn-type":"print"},{"issue":"3","key":"22","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1137\/040611434","article-title":"Explicit exponential Runge-Kutta methods for semilinear parabolic problems","volume":"43","author":"Hochbruck, Marlis","year":"2005","journal-title":"SIAM J. Numer. Anal.","ISSN":"https:\/\/id.crossref.org\/issn\/0036-1429","issn-type":"print"},{"key":"23","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1017\/S0962492910000048","article-title":"Exponential integrators","volume":"19","author":"Hochbruck, Marlis","year":"2010","journal-title":"Acta Numer.","ISSN":"https:\/\/id.crossref.org\/issn\/0962-4929","issn-type":"print"},{"issue":"4","key":"24","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1007\/s10543-011-0332-6","article-title":"Exponential multistep methods of Adams-type","volume":"51","author":"Hochbruck, Marlis","year":"2011","journal-title":"BIT","ISSN":"https:\/\/id.crossref.org\/issn\/0006-3835","issn-type":"print"},{"issue":"3","key":"25","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1002\/zamm.201300306","article-title":"Efficient time integration for discontinuous Galerkin approximations of linear wave equations [Plenary lecture presented at the 83rd Annual GAMM Conference, Darmstadt, 26th\u201330th March, 2012]","volume":"95","author":"Hochbruck, Marlis","year":"2015","journal-title":"ZAMM Z. Angew. Math. Mech.","ISSN":"https:\/\/id.crossref.org\/issn\/0044-2267","issn-type":"print"},{"issue":"4","key":"26","doi-asserted-by":"publisher","first-page":"1214","DOI":"10.1137\/S1064827502410633","article-title":"Fourth-order time-stepping for stiff PDEs","volume":"26","author":"Kassam, Aly-Khan","year":"2005","journal-title":"SIAM J. Sci. Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/1064-8275","issn-type":"print"},{"issue":"1","key":"27","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.jcp.2004.08.006","article-title":"Generalized integrating factor methods for stiff PDEs","volume":"203","author":"Krogstad, S.","year":"2005","journal-title":"J. Comput. Phys.","ISSN":"https:\/\/id.crossref.org\/issn\/0021-9991","issn-type":"print"},{"key":"28","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1137\/0704033","article-title":"Generalized Runge-Kutta processes for stable systems with large Lipschitz constants","volume":"4","author":"Lawson, J. Douglas","year":"1967","journal-title":"SIAM J. Numer. Anal.","ISSN":"https:\/\/id.crossref.org\/issn\/0036-1429","issn-type":"print"},{"key":"29","volume-title":"A unified error analysis for the numerical solution of nonlinear wave-type equations with application to kinetic boundary conditions","author":"Leibold, J.","year":"2021"},{"key":"30","doi-asserted-by":"publisher","first-page":"Paper No. 113429, 18","DOI":"10.1016\/j.cam.2021.113429","article-title":"Efficient exponential time integration for simulating nonlinear coupled oscillators","volume":"391","author":"Luan, Vu Thai","year":"2021","journal-title":"J. Comput. Appl. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0377-0427","issn-type":"print"},{"key":"31","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1016\/j.cam.2013.07.027","article-title":"Explicit exponential Runge-Kutta methods of high order for parabolic problems","volume":"256","author":"Luan, Vu Thai","year":"2014","journal-title":"J. Comput. Appl. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0377-0427","issn-type":"print"},{"key":"32","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1016\/j.jcp.2015.10.009","article-title":"A semi-analytical approach to molecular dynamics","volume":"303","author":"Michels, Dominik L.","year":"2015","journal-title":"J. Comput. Phys.","ISSN":"https:\/\/id.crossref.org\/issn\/0021-9991","issn-type":"print"},{"issue":"1","key":"33","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1137\/S00361445024180","article-title":"Nineteen dubious ways to compute the exponential of a matrix, twenty-five years later","volume":"45","author":"Moler, Cleve","year":"2003","journal-title":"SIAM Rev.","ISSN":"https:\/\/id.crossref.org\/issn\/1095-7200","issn-type":"print"},{"key":"34","first-page":"214","article-title":"An \ud835\udc34-stable modification of the Adams-Bashforth methods","author":"N\u00f8rsett, Syvert P.","year":"1969"},{"key":"35","series-title":"Applied Mathematical Sciences","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5561-1","volume-title":"Semigroups of linear operators and applications to partial differential equations","volume":"44","author":"Pazy, A.","year":"1983","ISBN":"https:\/\/id.crossref.org\/isbn\/0387908455"},{"issue":"2","key":"36","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1109\/TAP.2008.2011181","article-title":"Time-domain simulations of the nonlinear Maxwell equations using operator-exponential methods","volume":"57","author":"Pototschnig, Martin","year":"2009","journal-title":"IEEE Trans. Antennas and Propagation","ISSN":"https:\/\/id.crossref.org\/issn\/0018-926X","issn-type":"print"},{"key":"37","series-title":"Teubner-Texte zur Mathematik [Teubner Texts in Mathematics]","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-663-10673-9","volume-title":"Linear-implizite Runge-Kutta-Methoden und ihre Anwendung","volume":"127","author":"Strehmel, Karl","year":"1992","ISBN":"https:\/\/id.crossref.org\/isbn\/381542027X"},{"key":"38","isbn-type":"print","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1090\/conm\/594\/11793","article-title":"Strong solutions for the wave equation with a kinetic boundary condition","author":"Vitillaro, Enzo","year":"2013","ISBN":"https:\/\/id.crossref.org\/isbn\/9780821887363"},{"issue":"3","key":"39","doi-asserted-by":"publisher","first-page":"1183","DOI":"10.1007\/s00205-016-1055-2","article-title":"On the wave equation with hyperbolic dynamical boundary conditions, interior and boundary damping and source","volume":"223","author":"Vitillaro, Enzo","year":"2017","journal-title":"Arch. Ration. Mech. Anal.","ISSN":"https:\/\/id.crossref.org\/issn\/0003-9527","issn-type":"print"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.ams.org\/mcom\/2022-91-336\/S0025-5718-2022-03736-4\/mcom3736_AM.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"https:\/\/www.ams.org\/mcom\/2022-91-336\/S0025-5718-2022-03736-4\/S0025-5718-2022-03736-4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T04:33:02Z","timestamp":1776832382000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2022-91-336\/S0025-5718-2022-03736-4\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,5]]},"references-count":39,"journal-issue":{"issue":"336","published-print":{"date-parts":[[2022,7]]}},"alternative-id":["S0025-5718-2022-03736-4"],"URL":"https:\/\/doi.org\/10.1090\/mcom\/3736","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[2022,4,5]]}}}