Rigorous lower bounds for the domains of definition of extended generating functions
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915263765544960 |
|---|---|
| author | Erdelyi, B. Hoefkens, J. Berz, M. |
| author_facet | Erdelyi, B. Hoefkens, J. Berz, M. |
| contents | The recently developed theory of extended generating functions of symplectic maps are combined with methods to prove invertibility via high-order Taylor model methods to obtain rigorous lower bounds for the domains of definition of generating functions. The examples presented suggest that there are considerable differences in the size of the domains of definition of the various types of generating functions studied. Furthermore, the types of generating functions for which, in general, large domains of definitions can be guarantied were identified. The resulting domain sizes of these generators are usually sufficiently large to be useful in practice, for example for the long-term simulations of accelerator and other Hamiltonian system dynamics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_19993 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Rigorous lower bounds for the domains of definition of extended generating functions Erdelyi, B. Hoefkens, J. Berz, M. Dynamical Systems Symplectic Geometry Accelerator Physics Computational Physics The recently developed theory of extended generating functions of symplectic maps are combined with methods to prove invertibility via high-order Taylor model methods to obtain rigorous lower bounds for the domains of definition of generating functions. The examples presented suggest that there are considerable differences in the size of the domains of definition of the various types of generating functions studied. Furthermore, the types of generating functions for which, in general, large domains of definitions can be guarantied were identified. The resulting domain sizes of these generators are usually sufficiently large to be useful in practice, for example for the long-term simulations of accelerator and other Hamiltonian system dynamics. |
| title | Rigorous lower bounds for the domains of definition of extended generating functions |
| topic | Dynamical Systems Symplectic Geometry Accelerator Physics Computational Physics |
| url | https://arxiv.org/abs/2504.19993 |