Pith. sign in

REVIEW 1 major objections 2 minor 1 cited by

Local Universal Splitting Integrators for Contact Hamiltonian Systems

T0 review · 1 major / 2 minor · reviewed 2026-05-12 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The Lie algebra from strict contactomorphisms and prolonged diffeomorphisms is dense in all smooth contact Hamiltonians, yielding local universal splitting integrators.

desk verdict The paper claims a Lie algebra density result that yields local universal splitting integrators for contact systems, built by lifting symplectic and ODE methods. read the letter →

arxiv 2605.09103 v1 submitted 2026-05-09 math.DG cs.NAmath.DSmath.NA

George A Kevrekidis This is my paper · ORCID
classification math.DGcs.NAmath.DSmath.NA MSC 53D10
keywords contactHamiltoniansystemssplittingintegratorsLiealgebrastrictcontactomorphismsprolongeddiffeomorphismsstructure-preservingmethodsgeometrynumericalintegration
checked against Cost.FunctionalEquationalexander_duality_circle_linking
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

The paper establishes a splitting framework for contact Hamiltonian systems by using two classes of exact subflows whose generated Lie algebra contains every polynomial-in-p Hamiltonian and is dense among all smooth contact Hamiltonians in the C^r topology on compact sets. This density supplies a local universality result, so that any contact system can be approximated by compositions of these subflows. The construction is made practical by lifting existing symplectic integrators on the cotangent bundle and standard ODE solvers on the base space, then demonstrated on low-dimensional examples. A sympathetic reader cares because contact systems describe dissipative mechanics while keeping geometric structure, and the result gives a systematic way to build structure-preserving numerical methods without inventing new integrators from scratch.

What carries the argument

The splitting framework that composes exact subflows from strict contactomorphisms and prolonged diffeomorphisms, with the Lie algebra they generate serving as the mechanism for density and approximation.

What would settle it

A smooth contact Hamiltonian on a compact set whose flow cannot be approximated to arbitrary accuracy in the C^r sense by finite compositions of strict contact and prolonged flows would falsify the density claim.

Watch

Extended reading notes

Core claim

The central claim is that the Lie algebra generated by the strict contact Hamiltonians and the prolonged diffeomorphism Hamiltonians contains all polynomial-in-p Hamiltonians and is therefore dense, in the C^r topology on compact sets, in the Lie algebra of smooth contact Hamiltonians. This density yields a local universality result for contact splitting integrators constructed from exact strict and prolonged subflows.

Load-bearing premise

The two classes of subflows must be exactly realizable and must generate a Lie algebra rich enough to reach density in the full space of contact Hamiltonians.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 2 minor

Summary. The manuscript develops a splitting integrator framework for contact Hamiltonian systems on the 1-jet bundle J^1(R^n). It identifies two classes of exact-contact subflows (strict contactomorphisms and prolonged diffeomorphisms), proves that the Lie algebra they generate contains all polynomial-in-p Hamiltonians (hence is dense in the C^r topology on compact sets within the Lie algebra of smooth contact Hamiltonians), constructs local universal splitting integrators from these subflows, realizes the subflows numerically by lifting symplectic integrators on T^*R^n and ODE integrators on R^n x R, and illustrates the method on low-dimensional examples.

Significance. If the density result holds, the work establishes a theoretical basis for structure-preserving numerical methods applicable to dissipative contact systems, extending symplectic splitting techniques in a geometrically consistent way. The lifting construction from existing symplectic and ODE integrators is a practical strength that could facilitate implementation, and the universality claim (if rigorously verified) would be a notable contribution to geometric integration in contact geometry.

major comments (1)
  1. [Abstract / main theoretical result section] The central claim (abstract and main theoretical result) that the Lie algebra generated by the strict-contact and prolonged Hamiltonians contains every polynomial-in-p Hamiltonian is load-bearing for the density statement and the subsequent universality of the splitting integrators, yet the manuscript provides no explicit Lie-bracket computations, inductive argument, or verification that arbitrary monomials in the p-variables can be obtained from the given generators; this creates a derivation gap that must be closed with concrete algebraic details.
minor comments (2)
  1. [Introduction / framework definition] The notation for the prolonged diffeomorphisms and their Hamiltonians could be clarified with an explicit coordinate expression or example in low dimension to aid readability.
  2. [Examples section] The numerical examples would benefit from quantitative error tables or convergence plots comparing the splitting method against non-structure-preserving alternatives, rather than qualitative illustrations alone.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive feedback. We appreciate the positive assessment of the work's potential significance and address the major comment below by committing to strengthen the presentation of the central result.

read point-by-point responses

  1. Referee: [Abstract / main theoretical result section] The central claim (abstract and main theoretical result) that the Lie algebra generated by the strict-contact and prolonged Hamiltonians contains every polynomial-in-p Hamiltonian is load-bearing for the density statement and the subsequent universality of the splitting integrators, yet the manuscript provides no explicit Lie-bracket computations, inductive argument, or verification that arbitrary monomials in the p-variables can be obtained from the given generators; this creates a derivation gap that must be closed with concrete algebraic details.

    Authors: We agree that the manuscript would benefit from more explicit algebraic verification of the main theoretical result. In the revised version we will expand the relevant section with a detailed inductive argument, including explicit Lie-bracket computations that demonstrate how arbitrary monomials in the momentum variables p are generated from the strict-contact and prolonged Hamiltonians. This will close the identified derivation gap while preserving the overall structure of the proof. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity detected

full rationale

The paper's main result is a standard Lie-algebra density theorem: the Lie algebra generated by the strict-contact and prolonged Hamiltonians is shown to contain all polynomial-in-p Hamiltonians, hence to be dense in the C^r topology. This is established by explicit computation of Lie brackets among the chosen generators on J^1(R^n), without any fitted parameters, self-referential definitions, or load-bearing self-citations that collapse the claim back to its inputs. The subsequent numerical realization by lifting symplectic/ODE integrators is an implementation step downstream of the algebraic statement and does not affect the density proof itself. The derivation is therefore self-contained.

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

The framework rests on standard results from contact geometry and Lie algebra theory with no free parameters or new entities introduced in the abstract.

assumptions (2)
  • standard math Lie algebra generated by Hamiltonians on the contact manifold J^1(R^n) behaves according to standard differential geometry rules
    The density claim in C^r topology relies on this background property of contact Hamiltonians.
  • domain assumption Strict contactomorphisms and prolonged diffeomorphisms generate exact-contact subflows that are numerically tractable
    The splitting framework and lifting construction presuppose these subflows exist and can be realized exactly.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Local Universal Splitting Integrators for Contact Hamiltonian Systems." pith.science (2026). https://pith.science/paper/2605.09103

@misc{pith2026260509103,
  author       = {Pith},
  title        = {Pith review of: Local Universal Splitting Integrators for Contact Hamiltonian Systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2605.09103}},
  note         = {Machine review of arXiv:2605.09103}
}
abstract

Contact Hamiltonian systems extend symplectic Hamiltonian mechanics to dissipative settings while retaining geometric structure. We develop a structure-preserving splitting framework for contact Hamiltonian systems on $J^1(\mathbb{R}^n)$ based on two tractable classes of exact-contact subflows: strict contactomorphisms and prolonged diffeomorphisms. Our main theoretical result is that the Lie algebra generated by the corresponding strict and prolonged Hamiltonians contains all polynomial-in-$p$ Hamiltonians and is therefore dense, in the $C^r$ topology on compact sets, in the Lie algebra of smooth contact Hamiltonians. This yields a local universality result and contact splitting integrators built from exact strict and prolonged subflows. We then show how these subflows can be realized numerically by lifting symplectic integrators on $T^*\mathbb{R}^n$ and ODE integrators on $\mathbb{R}^n\times\mathbb{R}$. Finally, we illustrate the framework on a sequence of low-dimensional examples.

Figures

Figures reproduced from arXiv: 2605.09103 by the authors.

Figure 1
Figure 1. Reference trajectories of the damped harmonic oscillator for damping coefficient [PITH_FULL_IMAGE:figures/full_fig_p016_1.png] view at source ↗
Figure 2
Figure 2. Comparison of contact splitting integrators (Strang SPS and Yoshida-4 for Splitting 1, Strang [PITH_FULL_IMAGE:figures/full_fig_p016_2.png] view at source ↗
Figure 3
Figure 3. Comparison of a direct ‘base-integration + prolongation’ integrator (RK4 and DOP853) to a [PITH_FULL_IMAGE:figures/full_fig_p018_3.png] view at source ↗
Figures from the paper (7 more)
Figure 4
Figure 4. Figure 4: Comparison of a direct ‘base-integration + prolongation’ integrator (RK4) to a splitting integrator [PITH_FULL_IMAGE:figures/full_fig_p018_4.png]
Figure 5
Figure 5. Figure 5: Convergence analysis for the nonlinear dissipative double-well system with varying step size [PITH_FULL_IMAGE:figures/full_fig_p019_5.png]
Figure 6
Figure 6. Figure 6: Comparison of attracting sets obtained by integrating four distinct initial conditions, for the three [PITH_FULL_IMAGE:figures/full_fig_p020_6.png]
Figure 7
Figure 7. Figure 7: Extended convergence results for the damped harmonic oscillator, including a comparison of [PITH_FULL_IMAGE:figures/full_fig_p036_7.png]
Figure 8
Figure 8. Figure 8: Visualization of the attractor for the forced VdP system for different choices of projection (( [PITH_FULL_IMAGE:figures/full_fig_p036_8.png]
Figure 9
Figure 9. Figure 9: Extended convergence results for the nonlinear system, including the symmetric and Yoshida-type [PITH_FULL_IMAGE:figures/full_fig_p037_9.png]
Figure 10
Figure 10. Figure 10: Visualization of the attracting set for different choices of the commutator gadget term. From [PITH_FULL_IMAGE:figures/full_fig_p037_10.png]

Discussion (0). Continue with ORCID to comment.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. When Rates Are Geometric: Rate-Certificate Transfer for Contact Splittings in Optimization

    math.OC 2026-07 conditional novelty 6.5 of 10

    Order-r contact splittings transfer continuous contact-Hamiltonian rate certificates to discrete optimizers via the modified conformal factor, up to O(h^r) and backward-error defects.

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages · cited by 1 Pith paper

  1. [1]

    World Scientific, 2013

    Arkady L Kholodenko.Applications of contact geometry and topology in physics. World Scientific, 2013

    work page 2013

  2. [2]

    Springer Science & Business Media, 2013

    Vladimir Igorevich Arnol’d.Mathematical methods of classical mechanics, volume 60. Springer Science & Business Media, 2013

    work page 2013

  3. [3]

    Contact structure in thermodynamic theory.Reports on mathematical physics, 29(1):109–121, 1991

    Ryszard Mrugala, James D Nulton, J Christian Sch¨ on, and Peter Salamon. Contact structure in thermodynamic theory.Reports on mathematical physics, 29(1):109–121, 1991

    work page 1991

  4. [4]

    Contact geometry of mesoscopic thermodynamics and dynamics.Entropy, 16(3):1652– 1686, 2014

    Miroslav Grmela. Contact geometry of mesoscopic thermodynamics and dynamics.Entropy, 16(3):1652– 1686, 2014

    work page 2014

  5. [5]

    Lie and G

    S. Lie and G. Scheffers.Geometrie der Beriihrungstransformationen. B.G. Teubner, Leipzig, 1896

    work page

  6. [6]

    Cambridge University Press, 1995

    Peter J Olver.Equivalence, invariants and symmetry. Cambridge University Press, 1995

    work page 1995

  7. [7]

    A brief history of contact geometry and topology.Expositiones Mathematicae, 19(1):25–53, 2001

    Hansj¨ org Geiges. A brief history of contact geometry and topology.Expositiones Mathematicae, 19(1):25–53, 2001

    work page 2001

  8. [8]

    Contact geometry

    Hansj¨ org Geiges. Contact geometry. InHandbook of differential geometry, volume 2, pages 315–382. Elsevier, 2006

    work page 2006

Show all 47 references
  1. [9]

    Topological methods in 3-dimensional contact geometry.Contact and symplectic topol- ogy, 26:27–83, 2014

    Patrick Massot. Topological methods in 3-dimensional contact geometry.Contact and symplectic topol- ogy, 26:27–83, 2014

    2014

  2. [10]

    Contact hamiltonian systems.Journal of Mathematical Physics, 60(10), 2019

    Manuel de Le´ on and Manuel Lainz Valc´ azar. Contact hamiltonian systems.Journal of Mathematical Physics, 60(10), 2019

    2019

  3. [11]

    Contact geometry for simple thermodynamical systems with friction.Proceedings of the Royal Society A, 476(2241):20200244, 2020

    Alexandre Anahory Simoes, Manuel de Le´ on, Manuel Lainz Valc´ azar, and David Mart´ ın de Diego. Contact geometry for simple thermodynamical systems with friction.Proceedings of the Royal Society A, 476(2241):20200244, 2020

    2020

  4. [12]

    Time- dependent contact mechanics.Monatshefte f¨ ur Mathematik, 201(4):1149–1183, 2023

    Manuel de Le´ on, Jordi Gaset, Xavier Gr` acia, Miguel C Mu˜ noz-Lecanda, and Xavier Rivas. Time- dependent contact mechanics.Monatshefte f¨ ur Mathematik, 201(4):1149–1183, 2023

    2023

  5. [13]

    A contact geometry framework for field theories with dissipation.Annals of Physics, 414:168092, 2020

    Jordi Gaset, Xavier Gracia, Miguel C Mu˜ noz-Lecanda, Xavier Rivas, and Narciso Rom´ an-Roy. A contact geometry framework for field theories with dissipation.Annals of Physics, 414:168092, 2020

    2020

  6. [14]

    Contact algorithms for contact dynamical systems

    Kang Feng and Mengzhao Qin. Contact algorithms for contact dynamical systems. InSymplectic Geometric Algorithms for Hamiltonian Systems, pages 477–497. Springer, 2010

    2010

  7. [15]

    Springer, 2010

    Kang Feng and Mengzhao Qin.Symplectic geometric algorithms for Hamiltonian systems, volume 449. Springer, 2010

    2010

  8. [16]

    Jacobi hamiltonian integrators

    Ad´ erito Ara´ ujo, Gon¸ calo Inocˆ encio Oliveira, and Jo˜ ao Nuno Mestre. Jacobi hamiltonian integrators. arXiv preprint arXiv:2507.18573, 2025

    2025 arXiv

  9. [17]

    Numerical integration in ce- lestial mechanics: a case for contact geometry.Celestial Mechanics and Dynamical Astronomy, 132(1):7, 2020

    Alessandro Bravetti, Marcello Seri, Mats Vermeeren, and Federico Zadra. Numerical integration in ce- lestial mechanics: a case for contact geometry.Celestial Mechanics and Dynamical Astronomy, 132(1):7, 2020

    2020

  10. [18]

    Contact variational integrators.Journal of Physics A: Mathematical and Theoretical, 52(44):445206, 2019

    Mats Vermeeren, Alessandro Bravetti, and Marcello Seri. Contact variational integrators.Journal of Physics A: Mathematical and Theoretical, 52(44):445206, 2019

    2019

  11. [19]

    Juliusz Schauder Center for Nonlinear Studies

    Ronald B Guenther, Hans Schwerdtfeger, Gustav Herglotz, CM Guenther, and JA Gottsch.The Herglotz lectures on contact transformations and Hamiltonian systems. Juliusz Schauder Center for Nonlinear Studies. Nicholas Copernicus University, 1996

    1996

  12. [20]

    Topics in contact hamiltonian systems: analytical and numerical perspectives.PhD thesis, 2023

    Federico Zadra. Topics in contact hamiltonian systems: analytical and numerical perspectives.PhD thesis, 2023

    2023

  13. [21]

    Geometric numerical integration of li´ enard systems via a contact hamiltonian approach.Mathematics, 9(16):1960, 2021

    Federico Zadra, Alessandro Bravetti, and Marcello Seri. Geometric numerical integration of li´ enard systems via a contact hamiltonian approach.Mathematics, 9(16):1960, 2021. 22

    1960

  14. [22]

    Splitting methods.Acta Numerica, 11:341–434, 2002

    Robert I McLachlan and G Reinout W Quispel. Splitting methods.Acta Numerica, 11:341–434, 2002

    2002

  15. [23]

    On dissipative symplectic integration with applications to gradient-based optimization.Journal of Statistical Mechanics: Theory and Experiment, 2021(4):043402, 2021

    Guilherme Fran¸ ca, Michael I Jordan, and Ren´ e Vidal. On dissipative symplectic integration with applications to gradient-based optimization.Journal of Statistical Mechanics: Theory and Experiment, 2021(4):043402, 2021

    2021

  16. [24]

    Bregman dynamics, contact transformations and convex optimization.Information Geometry, 6(1):355–377, 2023

    Alessandro Bravetti, Maria L Daza-Torres, Hugo Flores-Arguedas, and Michael Betancourt. Bregman dynamics, contact transformations and convex optimization.Information Geometry, 6(1):355–377, 2023

    2023

  17. [25]

    Geometric contact flows: Contacto- morphisms for dynamics and control.arXiv preprint arXiv:2506.17868, 2025

    Andrea Testa, Søren Hauberg, Tamim Asfour, and Leonel Rozo. Geometric contact flows: Contacto- morphisms for dynamics and control.arXiv preprint arXiv:2506.17868, 2025

    2025

  18. [26]

    American Mathematical Soc., 1997

    Andreas Kriegl and Peter W Michor.The convenient setting of global analysis, volume 53. American Mathematical Soc., 1997

    1997

  19. [27]

    Springer Science & Business Media, 2013

    Augustin Banyaga.The structure of classical diffeomorphism groups, volume 400. Springer Science & Business Media, 2013

    2013

  20. [28]

    Notes for math 599: contact geometry.Lecture Notes available at http://www-bcf

    Ko Honda. Notes for math 599: contact geometry.Lecture Notes available at http://www-bcf. usc. edu/˜ khonda/math599/notes. pdf, 2019

    2019

  21. [29]

    Springer-Verlag, Berlin, second edition, 2006

    Ernst Hairer, Christian Lubich, and Gerhard Wanner.Geometric numerical integration, volume 31 of Springer Series in Computational Mathematics. Springer-Verlag, Berlin, second edition, 2006. Structure- preserving algorithms for ordinary differential equations

    2006

  22. [30]

    Elsevier, 1985

    Raghavan Narasimhan.Analysis on real and complex manifolds, volume 35. Elsevier, 1985

    1985

  23. [31]

    Springer Science & Business Media, 1993

    Ronald A DeVore and George G Lorentz.Constructive approximation, volume 303. Springer Science & Business Media, 1993

    1993

  24. [32]

    Fractal decomposition of exponential operators with applications to many-body theories and monte carlo simulations.Physics Letters A, 146(6):319–323, 1990

    Masuo Suzuki. Fractal decomposition of exponential operators with applications to many-body theories and monte carlo simulations.Physics Letters A, 146(6):319–323, 1990

    1990

  25. [33]

    Construction of higher order symplectic integrators.Physics letters A, 150(5-7):262–268, 1990

    Haruo Yoshida. Construction of higher order symplectic integrators.Physics letters A, 150(5-7):262–268, 1990

    1990

  26. [34]

    Polynomial approximations of symplectic dynamics and richness of chaos in non- hyperbolic area-preserving maps.Nonlinearity, 16(1):123, 2002

    Dmitry Turaev. Polynomial approximations of symplectic dynamics and richness of chaos in non- hyperbolic area-preserving maps.Nonlinearity, 16(1):123, 2002

    2002

  27. [35]

    Neural network representations of multiphase equations of state.arXiv preprint arXiv:2406.19957, 2024

    George A Kevrekidis, Daniel A Serino, Alexander Kaltenborn, J Tinka Gammel, Joshua W Burby, and Marc L Klasky. Neural network representations of multiphase equations of state.arXiv preprint arXiv:2406.19957, 2024

    2024

  28. [36]

    Explicit methods in extended phase space for inseparable hamiltonian problems.Celestial Mechanics and Dynamical Astronomy, 121(3):211–231, 2015

    Pauli Pihajoki. Explicit methods in extended phase space for inseparable hamiltonian problems.Celestial Mechanics and Dynamical Astronomy, 121(3):211–231, 2015

    2015

  29. [37]

    Period-doubling cascades and devil’s staircases of the driven van der pol oscillator.Physical Review A, 36(3):1428, 1987

    Ulrich Parlitz and Werner Lauterborn. Period-doubling cascades and devil’s staircases of the driven van der pol oscillator.Physical Review A, 36(3):1428, 1987

    1987

  30. [38]

    Cambridge University Press, 2008

    Hansj¨ org Geiges.An introduction to contact topology, volume 109. Cambridge University Press, 2008

    2008

  31. [39]

    Addison-Wesley, Reading, Mass, 2nd edition, 1973

    Tom M Apostol.Mathematical analysis: A modern approach to advanced calculus. Addison-Wesley, Reading, Mass, 2nd edition, 1973

    1973

  32. [40]

    SIAM, 2002

    Philip Hartman.Ordinary differential equations. SIAM, 2002

    2002

  33. [41]

    symplectization of a contact manifold

    Ralph Abraham, Jerrold E Marsden, and Tudor Ratiu.Manifolds, tensor analysis, and applications. Springer Science & Business Media, 2012. 23 A Auxiliary Results A.1 Coordinate-Free Contact Hamiltonian Formalism Let (M, ξ= kerα) be a contact manifold, and fix a contact formαdefi...

    2012

  34. [42]

    For anyf∈C ∞(J1(Rn)), iffis homogeneous of degreekin the momentum variablesp, then E[f] = (1−k)f.(65)

  35. [43]

    Proof.For (1), the linearity ofEfollows directly from its definition: E[af+bg] = (af+bg)−p ∂(af+bg) ∂p =af+bg−p a ∂f ∂p +b ∂g ∂p =a f−p ∂f ∂p +b g−p ∂g ∂p =aE[f] +bE[g]

    Iffis polynomial in the momentum variablesp, then E[f] = dX k=0 (1−k)f k (66) wheref k is the homogeneous component of degreekinp, anddis the highest degree ofpinf. Proof.For (1), the linearity ofEfollows directly from its definition: E[af+bg] = (af+bg)−p ∂(af+bg) ∂p =af+bg−p ...

  36. [44]

    Proof.Recall that the contact-Jacobi bracket of two functionsg, f∈C ∞(J1(Rn)) is given by [g, f] ={g, f}+ ∂g ∂u E[f]− ∂f ∂u E[g],

    Scalar multiplication by a smooth function ofh(x, u), modulo lower degree terms. Proof.Recall that the contact-Jacobi bracket of two functionsg, f∈C ∞(J1(Rn)) is given by [g, f] ={g, f}+ ∂g ∂u E[f]− ∂f ∂u E[g],

  37. [45]

    Degree raising: Letfbe the monomial as above, and setg=u(1− |α|) −1pi. Then, we have [g, f] = u(1− |α|) −1pi, γpα =γ(1− |α|) −1{upi, pα}+γ(1− |α|) −1 ∂(upi) ∂u E[pα]−0 =γ(1− |α|) −1{upi, pα}+γ(1− |α|) −1pi(1− |α|)p α =γ(1− |α|) −1{upi, pα}+γp ipα Now, we compute the Poisson br...

  38. [46]

    Then, we have [g, f] = −xi(αi)−1, γpα =γ(α i)−1{−xi, pα}+ 0−0 =γ(α i)−1 ∂pα ∂pi =γp α−ei

    Degree lowering: Letfbe the monomial as above, and setg=−x i(αi)−1, whereα i is thei-th component of the multi-indexα. Then, we have [g, f] = −xi(αi)−1, γpα =γ(α i)−1{−xi, pα}+ 0−0 =γ(α i)−1 ∂pα ∂pi =γp α−ei

  39. [47]

    Bernoulli ODE integrator

    Scalar multiplication: Letfbe the monomial as above, with|α|=k≥2, and leth(x, u)∈C ∞(Rn+1) be a smooth function of (x, u). We can express the scalar multiplicationh(x, u)fusing the contact-Jacobi bracket as follows. Letgbe an appropriately scaled antiderivative ofhwith respect...

Pith tools

Reviewed May 12, 2026 · model on record in the stance chip above.