Szczegóły publikacji
Opis bibliograficzny
Computer assisted proof of drift orbits along normally hyperbolic manifolds / Maciej J. CAPIŃSKI, Jorge Gonzalez, Jean-Pierre Marco, Jason D. Mireles James // Communications in Nonlinear Science and Numerical Simulation ; ISSN 1007-5704. — 2022 — vol. 106 art. no. 105970, s. 1–21. — Bibliogr. s. 20–21, Abstr. — Publikacja dostępna online od: 2021-11-08
Autorzy (4)
- AGHCapiński Maciej
- Gonzalez Jorge
- Marco Jean-Pierre
- Mireles James Jason D.
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 138131 |
|---|---|
| Data dodania do BaDAP | 2021-12-10 |
| Tekst źródłowy | URL |
| DOI | 10.1016/j.cnsns.2021.105970 |
| Rok publikacji | 2022 |
| Typ publikacji | artykuł w czasopiśmie |
| Otwarty dostęp |  |
| Czasopismo/seria | Communications in Nonlinear Science & Numerical Simulation |
Abstract
Normally hyperbolic invariant manifolds theory provides an efficient tool for proving diffusion in dynamical systems. In this paper we develop a methodology for computer assisted proofs of diffusion in a-priori chaotic systems based on this approach. We devise a method, which allows us to validate the needed conditions in a finite number of steps, which can be performed by a computer by means of rigorous-interval-arithmetic computations. We apply our method to the generalized standard map, obtaining diffusion over an explicit range of actions. © 2021 Elsevier B.V.
