Szczegóły publikacji
Opis bibliograficzny
Computer-assisted proof of Shil'nikov homoclinics: with application to the Lorenz-84 model / Maciej J. CAPIŃSKI, Anna WASIECZKO-ZAJĄC // SIAM Journal on Applied Dynamical Systems [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 1536-0040. — 2017 — vol. 16 no. 3, s. 1453–1473. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: http://epubs.siam.org/doi/pdf/10.1137/16M1079956 [2017-09-04]. — Bibliogr. s. 1472–1473, Abstr. — Pełny tekst dostępny po zalogowaniu
Autorzy (2)
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 107829 |
|---|---|
| Data dodania do BaDAP | 2017-09-07 |
| DOI | 10.1137/16M1079956 |
| Rok publikacji | 2017 |
| Typ publikacji | artykuł w czasopiśmie |
| Otwarty dostęp |  |
| Czasopismo/seria | SIAM Journal on Applied Dynamical Systems |
Abstract
We present a methodology for computer-assisted proofs of Shil'nikov homoclinic intersections. It is based on geometric bounds on the invariant manifolds using rate conditions, and on propagating the bounds by an interval arithmetic integrator. Our method ensures uniqueness of the parameter for which the homoclinic takes place. We apply the method for the Lorenz-84 atmospheric circulation model, obtaining a sharp bound for the parameter, and also for where the homoclinic intersection of the stable/unstable manifolds takes place.
