Backward error analysis for matrix discretizations of 2-D Euler equations

Eugen Bronasco; Klas Modin

Backward error analysis for matrix discretizations of 2-D Euler equations

T0 review · 0 major / 4 minor · reviewed 2026-07-13 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Backward error analysis for matrix Euler discretizations yields n-independent energy conservation over exponentially long times.

desk verdict Solid algebraic extension of BEA to matrix Euler that actually delivers n-independent exponential bounds under the natural scaling. read the letter →

arxiv 2607.09549 v1 pith:BYCV66TQ submitted 2026-07-10 math.NA cs.NA

Eugen Bronasco , Klas Modin This is my paper · ORCID

classification math.NAcs.NA MSC 65P1035Q3137M1553D5065M99

keywords matrixhydrodynamicsbackwarderroranalysisButcherseriesbiplanarforestsZeitlinmodel2-DEulerisospectralflowsLie–Poissonreduction

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Classical backward error analysis explains why symplectic integrators nearly conserve energy for finite-dimensional Hamiltonian systems, but the constants blow up with spatial resolution for fully nonlinear PDEs. This paper proves that isospectral symplectic Runge–Kutta methods applied to Zeitlin’s matrix model of the 2-D Euler equations on the sphere keep a truncated modified Hamiltonian within an exponentially small error for exponentially long times, with both the error and the time horizon independent of matrix size n when the step is scaled as h = O(1/n). The argument works by lifting Butcher series through a forest momentum map that realises Lie–Poisson reduction at the level of formal series, so the modified equation remains isospectral and Hamiltonian uniformly in n. The result supplies the first rigorous long-time energy control for a fully nonlinear Hamiltonian fluid PDE under matrix hydrodynamics.

What carries the argument

The forest momentum map that realises Lie–Poisson reduction of Butcher series: it converts ordinary rooted-tree series of the lifted symplectic Runge–Kutta method into biplanar-forest series on the isospectral side, so that the modified vector field remains an infinitesimal coadjoint action and therefore Hamiltonian.

What would settle it

Fix a smooth vorticity, run ISOMP (or any fixed-order ISOSYRK method) for several large n with h = ε ℏ_n, compute the truncated modified Hamiltonian of order 4 or 6, and check whether its drift remains bounded by a constant independent of n over times of length exp(c/ε); any systematic growth of the observed drift with n would refute the claim.

Watch

Extended reading notes

Core claim

For any isospectral symplectic Runge–Kutta method of order p applied to the Euler–Zeitlin equations with initial data obtained by Berezin–Toeplitz quantisation and time step h = ε ℏ_n, a truncated modified Hamiltonian exists that differs from the discrete energy by O(h^p) and is conserved up to an n-independent exponentially small error on an n-independent exponentially long time interval.

Load-bearing premise

The inverse Hoppe–Yau operator must stay contractive in the spectral matrix norm with a constant that scales exactly like 1/ℏ_n; if that uniform bound fails, the n-independent exponential estimates collapse.

Editorial extensions

If this is right

Long-time energy conservation for matrix Euler is now controlled by the same exponential estimates that hold for finite-dimensional symplectic integrators, provided the time step is scaled with n.
The same biplanar-forest calculus applies verbatim to any other Hamiltonian PDE that admits an isospectral matrix discretisation.
Near-conservation of the discrete energy becomes a rigorous statement rather than a numerical observation, removing the usual resolution-dependent caveat.
The modified Hamiltonian itself converges, under quantisation, to a corresponding infinite-dimensional modified energy for the continuum Euler equations.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The same reduction of Butcher series should extend immediately to other Zeitlin-type models (shallow-water, magnetohydrodynamics) once the corresponding linear maps satisfy spectral-norm bounds of the same type.
Because the error constants are independent of n, one can pass to the continuum limit inside the backward-error estimates and obtain a rigorous justification for the observed long-time behaviour of high-resolution spectral methods.
The distinction drawn between ISOSYRK and RKMK series suggests that not every geometric integrator on coadjoint orbits automatically inherits the same uniform backward-error theory; the forest momentum map is the precise obstruction.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The punchline is that they finally get classical-style backward-error analysis (exponentially small modified-Hamiltonian drift on exponentially long times) for a fully nonlinear Hamiltonian PDE after spatial discretization, with constants independent of matrix size n when h scales like 1/n. That obstruction has been sitting there for decades; this paper removes it for the Euler–Zeitlin system.

What is new is the algebraic machinery: they lift discrete Lie–Poisson reduction all the way to Butcher series by introducing biplanar forests and the forest momentum map ψ. The resulting series for ISOSYRK methods are cleanly distinct from both ordinary B-series and RKMK series (they prove the latter cannot be exact for linear problems). Once that reduction is in place, the rest of the argument is standard Cauchy estimates adapted to the spectral norm, plus the contractivity of the Hoppe–Yau inverse proved in the appendix via positivity and Russo–Dye. The Main Theorem then drops out with A and ε0 independent of n. The short numerical checks with ISOMP are consistent and do not overclaim.

Soft spots are minor. The whole n-independence rides on the uniform bound ∥f(W)∥∞ ≤ Cf ∥W∥∞ with Cf = 1/ℏn; the appendix looks airtight, but if that positivity argument ever failed for some other matrix model the constants would collapse. The paper is also narrowly focused on isospectral flows of this form; the biplanar formalism is more general, yet they do not push it. Citation pattern is clean—self-cites are to their own earlier ISOSYRK papers that are actually used.

This is for people who care about geometric integration of ideal fluids or structure-preserving discretizations of Lie–Poisson PDEs. The math is self-contained and the estimates are explicit. I would send it to a serious referee without hesitation; it is ready for that level of scrutiny.

Referee Report

0 major / 4 minor

Summary. The paper develops a Lie–Poisson reduction of Butcher series via a forest momentum map on biplanar forests, and uses it to carry out rigorous backward error analysis for isospectral symplectic Runge–Kutta (ISOSYRK) methods applied to Zeitlin’s matrix discretization of the 2-D Euler equations. The Main Theorem states that, for an ISOSYRK method of order p with initial data W_0 = T_n(ω_0) and time step scaled as h = ε ℏ_n, there exists a truncated modified Hamiltonian H̃_{n,h} = H_n + O(h^p) whose conservation error is bounded by a quantity of the form 2π A(∥ω_0∥_∞) exp(-ε_0/(2ε∥ω_0∥_∞)) on time intervals of length exp(ε_0/(2ε∥ω_0∥_∞)), with A and ε_0 independent of the matrix size n. The argument proceeds by lifting classical free-tree expansions through the forest momentum map (Theorem 3.11, Propositions 3.4–3.13), obtaining biplanar series for the modified vector field and Hamiltonian (Proposition 4.3), and controlling the series by combinatorial tree bounds together with uniform spectral-norm estimates on the linear map f (Lemmas 4.4–4.6, Theorems 4.7–4.9). The key operator-norm bound ∥L_n^{-1}W∥_p ≤ ∥W∥_p is proved in Appendix A by showing that L_n^{-1} is positive and unital.

Significance. If the estimates hold, the work supplies the first rigorous, n-independent backward-error analysis for a fully nonlinear Hamiltonian PDE under matrix hydrodynamics. Classical BEA constants blow up with spatial resolution; the present scaling h = O(n^{-1}) together with the contractivity of the Hoppe–Yau inverse removes that dependence, so the exponential time intervals remain meaningful in the continuum limit. The algebraic machinery (biplanar forests, forest momentum map) is self-contained, parameter-free, and of independent interest for other isospectral Lie–Poisson systems. Explicit low-order modified Hamiltonians and numerical checks with the ISOMP method (Section 5) further strengthen the claim. The result therefore extends the classical finite-dimensional BEA paradigm to an important infinite-dimensional setting in a way that is both theoretically complete and practically relevant for long-time fluid simulations.

minor comments (4)

In the statement of the Main Theorem the constant A(r) is written with an extra factor of r^2 relative to the expression appearing after Theorem 4.9; a one-line remark that the correctly scaled Hamiltonian multiplies by 4π ℏ_n / n would make the bookkeeping transparent.
Section 5 lists several terms of the modified Hamiltonian for ISOMP; it would help the reader if the corresponding free-tree coefficients b(τ̂*) from Table 1 were cited next to each term.
The definition of fair biplanar trees (Definition 4.2) is used only for the formal series (4.3); a short remark that the analytic bounds never rely on the fairness condition would avoid possible confusion.
A few typographical inconsistencies appear (e.g., “ISOSRYK” once in §3, “differntials” in §2). They do not affect readability but should be cleaned in production.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the n-independent exponential bounds are obtained by a self-contained algebraic reduction (forest momentum map + biplanar Butcher series) plus combinatorial tree estimates and a positivity proof for the Hoppe–Yau inverse; self-citations supply only the integrator definition.

full rationale

The derivation chain begins from the classical free-tree expansion of a symplectic Runge–Kutta method (Section 2), lifts it via the newly introduced forest momentum map ψ : BF → T² (Definition 3.6 and Proposition 3.9) to a biplanar series on the coadjoint orbit, and obtains the modified Hamiltonian as the image under the same map (Proposition 4.3, formula (4.3)). The analytic bounds (Propositions 4.5–4.6, Theorems 4.7 and 4.9) follow from the elementary combinatorial estimates |T_j| ≤ 3^{j-1}, |BF_j| ≤ 9^j and the operator-norm assumptions (4.4) on the linear map f; the latter are proved from first principles in the appendix by exhibiting L_n^{-1} as a positive unital operator (Theorem A.2, expansion (A.5)) and invoking Russo–Dye / Jensen. No parameter is fitted to data, no uniqueness theorem is imported from prior author work to force the result, and the only self-citations ([20] for the definition of ISOSYRK, [22] for matrix hydrodynamics) are used solely to name the integrator and the spatial discretization; they do not enter the error estimates. The Main Theorem therefore stands as an independent extension of classical backward-error analysis rather than a restatement of its inputs.

Assumptions & free parameters 0 free parameters · 4 assumptions · 2 invented entities

The paper rests on standard geometric-integration machinery (Butcher series, Lie–Poisson reduction, Hoppe–Yau operator) plus two new algebraic constructions (biplanar forests, forest momentum map). No free parameters are fitted to data; the only constants (C_a, C_f) are determined by the Butcher tableau and the spectral properties of Δ_n.

assumptions (4)

standard math Classical Butcher-series expansion and substitution law for Runge–Kutta methods (Hairer–Lubich–Wanner, Ch. III & IX).
Used throughout §§2–4 as the starting point for the biplanar lift.
domain assumption ISOSYRK methods are isospectral and Lie–Poisson (Modin–Viviani 2020).
Theorem 1.1; supplies the integrator whose modified equation is analysed.
domain assumption Berezin–Toeplitz quantisation T_n satisfies ∥T_n(ω)∥_∞ ≤ ∥ω∥_L∞ and H_n(T_n(ω)) → H(ω).
Invoked in the proof of the Main Theorem to transfer bounds from matrices back to functions.
domain assumption The extended Hoppe–Yau operator L_n is positive and unital, hence ∥L_n^{-1}∥_p ≤ 1 for all Schatten p-norms (Theorem A.1).
Gives C_f = 1/ℏ_n, the only n-dependent constant that must cancel for uniformity.

invented entities (2)

biplanar forests / biplanar trees
purpose: Encode the elementary differentials that appear after Lie–Poisson reduction of a classical B-series.
Defined in Def. 3.1; the entire backward-error calculus is built on them.
forest momentum map ψ : BF → T_2
purpose: Realise the Lie–Poisson reduction at the level of coefficient maps, converting a symplectic B-series into an isospectral biplanar series.
Def. 3.6 and Thm. 3.11; the key algebraic device that makes the n-uniform analysis possible.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Backward error analysis for matrix discretizations of 2-D Euler equations." pith.science (2026). https://pith.science/paper/BYCV66TQ

@misc{pith2026260709549,
  author       = {Pith},
  title        = {Pith review of: Backward error analysis for matrix discretizations of 2-D Euler equations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BYCV66TQ}},
  note         = {Machine review of arXiv:2607.09549}
}

abstract

We introduce a formalism of Lie--Poisson reduction of Butcher series. The corresponding forest momentum map allows for describing backward error analysis of isospectral symplectic Runge--Kutta methods applied to Zeitlin's matrix discretization of the 2-D Euler equations on the sphere. Based thereon, we obtain exponentially small error bounds for the conservation of modified Hamiltonians, valid for exponentially long time intervals. Crucially, the error bounds and the length of the time intervals are independent of the spatial discretization parameter $n$ (the matrix size) when the time step for different $n$ is scaled as $h = \mathcal{O}(n^{-1})$. Our results thus extend the classical backward error analysis result for finite-dimensional Hamiltonian systems to the infinite-dimensional case of the 2-D Euler equations discretized via matrix hydrodynamics.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

85 extracted references · 45 canonical work pages

[1]

, year =

Bogfjellmo, G. , year =. Algebraic Structure of Aromatic. J. Comp. Dyn. , shortjournal =. doi:10.3934/jcd.2019010 , url =

work page doi:10.3934/jcd.2019010
[2]

Positive definite matrices , author =
[3]

and Viviani, M

Modin, K. and Viviani, M. , journal =. A brief introduction to matrix hydrodynamics , volume =
[4]

and Yau, S.-T

Hoppe, J. and Yau, S.-T. , journal =. Some properties of matrix harmonics on
[5]

Existence and stability of ground states for fully discrete approximations of the nonlinear Schr\"odinger equation , author =. Numer. Math. , volume =
[6]

Hamiltonian Interpolation of Splitting Approximations for Nonlinear PDEs , author =. Found. Comp. Math. , volume =
[8]

, journal =

Zeitlin, V. , journal =. Finite-mode analogs of
[9]

, journal =

Zeitlin, V. , journal =. Self-Consistent Finite-Mode Approximations for the Hydrodynamics of an Incompressible Fluid on Nonrotating and Rotating Spheres , volume =

Show all 85 references

[10]

, publisher =

Le Floch, Y. , publisher =. A brief introduction to
[11]

, journal =

Hamilton, Richard S. , journal =. The inverse function theorem of
[12]

Arnold, V. I. , edition =. Mathematical Methods of Classical Mechanics , volume =
[13]

Benettin, Giancarlo and Giorgilli, Antonio , journal =. On the
[14]

Hamiltonian

Bogfjellmo, Geir and Curry, Charles and Manchon, Dominique , year =. Hamiltonian. Numerische Mathematik , shortjournal =. doi:10.1007/s00211-016-0792-3 , url =

doi
[15]

Böhm, Gabriella , editor =. Hopf. Handbook of. doi:10.1016/S1570-7954(08)00205-2 , url =

doi
[16]

An Algebraic Correspondence between Stochastic Differential Equations and the

Bonicelli, Alberto and Dappiaggi, Claudio and Drago, Nicolò , date =. An Algebraic Correspondence between Stochastic Differential Equations and the. doi:10.48550/arXiv.2302.10579 , url =. 2302.10579 , eprinttype =

doi arXiv
[17]

Frédéric and Laurent-Varin, Julien , date =

Bonnans, J. Frédéric and Laurent-Varin, Julien , date =. Computation of Order Conditions for Symplectic Partitioned. doi:10.1007/s00211-005-0661-y , url =

doi
[19]

Efficient

Bronasco, Eugen and Leimkuhler, Benedict and Phillips, Dominic and Vilmart, Gilles , date =. Efficient. doi:10.48550/arXiv.2501.02943 , url =. 2501.02943 , eprinttype =

doi arXiv
[20]

Bronasco, Eugen , date =. Exotic. doi:10.48550/arXiv.2209.11046 , url =. 2209.11046 , eprinttype =

doi arXiv
[21]

High Order Integration of Stochastic Dynamics on

Bronasco, Eugen and Laurent, Adrien Busnot and Huguet, Baptiste , date =. High Order Integration of Stochastic Dynamics on. doi:10.48550/arXiv.2503.21855 , url =. 2503.21855 , eprinttype =

doi arXiv
[22]

Butcher, J. C. , year =. Coefficients for the Study of. Journal of the Australian Mathematical Society , volume =. doi:10.1017/S1446788700027932 , url =

doi
[23]

Two Interacting

Calaque, Damien and Ebrahimi-Fard, Kurusch and Manchon, Dominique , year =. Two Interacting. Advances in Applied Mathematics , shortjournal =. doi:10.1016/j.aam.2009.08.003 , url =. 0806.2238 , eprinttype =

2009 doi arXiv
[24]

doi:10.2307/2369158 , url =

On the Analytical Forms Called Trees , author =. doi:10.2307/2369158 , url =. 2369158 , eprinttype =

doi
[25]

Chapoton, Frédéric and Livernet, Muriel , date =. Pre-. doi:10.1155/S1073792801000198 , url =

doi
[26]

doi:10.1093/imanum/drl039 , url =

Preserving First Integrals and Volume Forms of Additively Split Systems , author =. doi:10.1093/imanum/drl039 , url =

doi
[27]

Connes, Alain and Kreimer, Dirk , date =. Hopf. doi:10.1007/s002200050499 , url =

doi
[28]

What Is a Post-

Curry, Charles and Ebrahimi-Fard, Kurusch and Munthe-Kaas, Hans , date =. What Is a Post-. doi:10.1007/978-3-319-96415-7 , url =. 1712.09415 , eprinttype =

doi arXiv
[29]

Fine Structures inside the

Dotsenko, Vladimir , date =. Fine Structures inside the. doi:10.48550/arXiv.2306.08425 , url =. 2306.08425 , eprinttype =

doi arXiv
[30]

Volume Preservation of

Dotsenko, Vladimir and Laubie, Paul , date =. Volume Preservation of. doi:10.48550/arXiv.2411.14143 , url =. 2411.14143 , eprinttype =

doi arXiv
[31]

and Marsden, Jerrold , date =

Ebin, David G. and Marsden, Jerrold , date =. Groups of. doi:10.2307/1970699 , url =. 1970699 , eprinttype =

doi
[32]

Ebrahimi-Fard, Kurusch and Lundervold, Alexander and Munthe-Kaas, Hans , date =. On the
[33]

Ebrahimi-Fard, Kurusch and Rahm, Ludwig , date =. A. doi:10.3934/jcd.2024025 , url =. 2306.04381 , eprinttype =

doi arXiv
[34]

Numerical

Engø, Kenth and Faltinsen, Stig , year =. Numerical. SIAM Journal on Numerical Analysis , shortjournal =. doi:10.1137/S0036142999364212 , url =

doi
[35]

, date =

Faltinsen, S. , date =. Backward. doi:10.1023/A:1022336301001 , url =

doi
[36]

Fully Discrete Backward Error Analysis for the Midpoint Rule Applied to the Nonlinear

Faou, Erwan and Maierhofer, Georg and Schratz, Katharina , date =. Fully Discrete Backward Error Analysis for the Midpoint Rule Applied to the Nonlinear. doi:10.48550/arXiv.2505.03271 , url =. 2505.03271 , eprinttype =

doi arXiv
[37]

Geometric

Faou, Erwan , url =. Geometric
[38]

Hamiltonian Interpolation of Splitting Approximations for Nonlinear

Faou, Erwan and Grebert, Benoit , date =. Hamiltonian Interpolation of Splitting Approximations for Nonlinear. doi:10.48550/arXiv.0912.2882 , url =. 0912.2882 , eprinttype =

doi arXiv
[39]

, editor =

Fløystad, Gunnar and Manchon, Dominique and Munthe-Kaas, Hans Z. , editor =. The Universal Pre-. Geometric and. doi:10.1007/978-3-030-78346-4_9 , abstract =

doi
[40]

An Introduction to

Foissy, Loıc , langid =. An Introduction to
[41]

doi:10.1016/j.jde.2009.11.015 , url =

Ramification of Rough Paths , author =. doi:10.1016/j.jde.2009.11.015 , url =

2009 doi
[42]

and Wanner, G

Hairer, E. and Wanner, G. , year =. On the. Computing , shortjournal =. doi:10.1007/BF02268387 , url =

doi
[43]

doi:10.1007/s00222-014-0505-4 , url =

A Theory of Regularity Structures , author =. doi:10.1007/s00222-014-0505-4 , url =

doi
[44]

Geometric

Hairer, Ernst and Lubich, Christian and Wanner, Gerhard , year =. Geometric. ssrFQQAACAAJ , eprinttype =
[45]

Fri Apr 01 00:00:00 UTC 2011 , journaltitle =

A Theoretical Framework for Backward Error Analysis on Manifolds , author =. Fri Apr 01 00:00:00 UTC 2011 , journaltitle =. doi:10.3934/jgm.2011.3.81 , url =

2011 doi
[46]

Hamiltonian

Hu, Jiawei and Stern, Ari , date =. Hamiltonian. doi:10.1007/s00332-023-09986-y , url =

doi
[47]

and Quispel, G.R.W

Iserles, A. and Quispel, G.R.W. and Tse, P.S.P. , date =. B-. doi:10.1007/s10543-006-0114-8 , url =

doi
[48]

doi:10.1007/s10208-021-09495-y , url =

Order Conditions for Sampling the Invariant Measure of Ergodic Stochastic Differential Equations on Manifolds , author =. doi:10.1007/s10208-021-09495-y , url =

doi
[49]

Li, Yunnan and Sheng, Yunhe and Tang, Rong , date =. Post-. doi:10.48550/arXiv.2203.12174 , url =. 2203.12174 , eprinttype =

doi arXiv
[50]

doi:10.48550/arXiv.q-alg/9505024 , url =

Hopf Algebroids and Quantum Groupoids , author =. doi:10.48550/arXiv.q-alg/9505024 , url =. q-alg/9505024 , eprinttype =

doi arXiv
[51]

doi:10.1142/S0129167X96000050 , url =

Hopf Algebroids and Quantum Groupoids , author =. doi:10.1142/S0129167X96000050 , url =

doi
[53]

Backward Error Analysis and the Substitution Law for

Lundervold, Alexander and Munthe-Kaas, Hans , date =. Backward Error Analysis and the Substitution Law for. doi:10.1007/s10208-012-9130-z , url =. 1106.1071 , eprinttype =

doi arXiv
[54]

and Ratiu, Tudor S

Marsden, Jerrold E. and Ratiu, Tudor S. , editor =. Introduction to. doi:10.1007/978-0-387-21792-5 , url =

doi
[55]

Manifolds,

Marsden, Jerrold E and Ratiu, Tudor and Abraham, Ralph , langid =. Manifolds,
[56]

and Offen, Christian , year =

McLachlan, Robert I. and Offen, Christian , year =. Backward Error Analysis for Variational Discretisations of. doi:10.3934/jgm.2022014 , url =

doi
[57]

Modin, Klas and Viviani, Milo , date =. A
[58]

Modin, Klas and Viviani, Milo , year =. Lie–. Foundations of Computational Mathematics , shortjournal =. doi:10.1007/s10208-019-09428-w , url =

doi
[59]

and Mrčun, J

Moerdijk, I. and Mrčun, J. , date =. On the Universal Enveloping Algebra of a. doi:10.1090/S0002-9939-10-10347-5 , url =

doi
[60]

Aromatic

Munthe-Kaas, Hans and Verdier, Olivier , year =. Aromatic. Foundations of Computational Mathematics , shortjournal =. doi:10.1007/s10208-015-9245-0 , url =

doi
[61]

Munthe-Kaas, H. Z. and Wright, W. M. , date =. On the. doi:10.48550/arXiv.math/0603023 , url =. math/0603023 , eprinttype =

doi arXiv
[62]

High Order

Munthe-Kaas, Hans , date =. High Order. doi:10.1016/S0168-9274(98)00030-0 , url =

doi
[63]

and Føllesdal, Kristoffer K

Munthe-Kaas, Hans Z. and Føllesdal, Kristoffer K. , editor =. Lie–. Discrete. 2018 , pages =. doi:10.1007/978-3-030-01397-4_3 , abstract =

2018 doi
[64]

Munthe-Kaas, Hans , date =. Lie-. doi:10.1007/BF01739828 , url =

doi
[65]

Munthe-Kaas, Hans , date =. Runge-. doi:10.1007/BF02510919 , url =

doi
[66]

, date =

Murua, A. , date =. Formal Series and Numerical Integrators, Part. doi:10.1016/S0168-9274(98)00064-6 , url =

doi
[67]

Murua, Ander , date =. On. doi:10.1137/S0036142995285162 , url =

doi
[68]

and Guin, D

Oudom, J.-M. and Guin, D. , date =. On the. doi:10.1017/is008001011jkt037 , url =

doi
[69]

and Marthinsen, A

Owren, B. and Marthinsen, A. , date =. Runge-. doi:10.1023/A:1022325426017 , url =

doi
[70]

Backward

Reich, Sebastian , date =. Backward. doi:10.1137/S0036142997329797 , url =

doi
[71]

Numerical

Reich, Sebastian , date =. Numerical
[72]

Perturbative

Rejzner, Kasia , date =. Perturbative. doi:10.1007/978-3-319-25901-7 , url =

doi
[73]

Sanz-Serna, J. M. , date =. Symplectic. doi:10.48550/arXiv.1503.04021 , url =. 1503.04021 , eprinttype =

doi arXiv
[74]

doi:10.1080/07362999008809220 , url =

Expansion of the Global Error for Numerical Schemes Solving Stochastic Differential Equations , author =. doi:10.1080/07362999008809220 , url =

doi
[75]

2024 , month = jul, number =

Hopf Algebra Structures for the Backward Error Analysis of Ergodic Stochastic Differential Equations , author =. 2024 , month = jul, number =. doi:10.48550/arXiv.2407.07451 , urldate =. arXiv , copyright =:2407.07451 , primaryclass =

2024 doi arXiv
[76]

Archive for Rational Mechanics and Analysis , year =

Modin, Klas and Viviani, Milo , title =. Archive for Rational Mechanics and Analysis , year =. doi:10.1007/s00205-025-02154-4 , url =

doi
[77]

2015 , month = nov, journal =

Post-. 2015 , month = nov, journal =. doi:10.3842/SIGMA.2015.093 , urldate =. arXiv , keywords =:1505.02436 , primaryclass =

2015 doi arXiv
[78]

An Operadic Approach to Substitution in

Rahm, Ludwig , date =. An Operadic Approach to Substitution in. doi:10.1017/fms.2022.12 , url =

2022 doi
[79]

and Lundervold, Alexander , year =

Munthe-Kaas, Hans Z. and Lundervold, Alexander , year =. On. Foundations of Computational Mathematics , shortjournal =. doi:10.1007/s10208-013-9167-7 , url =

doi
[80]

doi:10.1080/00207160.2021.1966772 , url =

Lie Group Integrators for Mechanical Systems , author =. doi:10.1080/00207160.2021.1966772 , url =

2021 doi
[81]

, title =

Cayley, A. , title =. Philosophical Magazine , volume =. 1857 , doi =
[82]

Eulerian and

Modin, Klas and Perrot, Manolis , date =. Eulerian and. doi:10.1007/s00220-024-05047-x , url =

doi
[83]

1998 , school =

On the numerical solution of isospectral flows , author =. 1998 , school =

1998
[84]

, year = 2006, month = nov, journal =

Murua, A. , year = 2006, month = nov, journal =. The. doi:10.1007/s10208-003-0111-0 , urldate =

2006 doi
[85]

Numerical

Chartier, Philippe and Hairer, Ernst and Vilmart, Gilles , year = 2007, journal =. Numerical. 40234469 , eprinttype =

2007
[86]

Algebraic

Chartier, Philippe and Hairer, Ernst and Vilmart, Gilles , year = 2010, month = aug, journal =. Algebraic. doi:10.1007/s10208-010-9065-1 , urldate =

2010 doi
[87]

Hairer, Ernst and Wanner, Gerhard , year = 1996, series =. Solving. doi:10.1007/978-3-642-05221-7 , urldate =

1996 doi
[88]

Otter, Richard , year = 1948, journal =. The. doi:10.2307/1969046 , urldate =. 1969046 , eprinttype =

1948 doi

Pith tools

Reviewed July 13, 2026 · model on record in the stance chip above.

[1] [1]

, year =

Bogfjellmo, G. , year =. Algebraic Structure of Aromatic. J. Comp. Dyn. , shortjournal =. doi:10.3934/jcd.2019010 , url =

work page doi:10.3934/jcd.2019010

[2] [2]

Positive definite matrices , author =

[3] [3]

and Viviani, M

Modin, K. and Viviani, M. , journal =. A brief introduction to matrix hydrodynamics , volume =

[4] [4]

and Yau, S.-T

Hoppe, J. and Yau, S.-T. , journal =. Some properties of matrix harmonics on

[5] [5]

Existence and stability of ground states for fully discrete approximations of the nonlinear Schr\"odinger equation , author =. Numer. Math. , volume =

[6] [6]

Hamiltonian Interpolation of Splitting Approximations for Nonlinear PDEs , author =. Found. Comp. Math. , volume =

[7] [8]

, journal =

Zeitlin, V. , journal =. Finite-mode analogs of

[8] [9]

, journal =

Zeitlin, V. , journal =. Self-Consistent Finite-Mode Approximations for the Hydrodynamics of an Incompressible Fluid on Nonrotating and Rotating Spheres , volume =