Use of Shrink Wrapping for Interval Taylor Models in Algorithms of Computer-Assisted Proof of the Existence of Periodic Trajectories in Systems of Ordinary Differential Equations

Using interval Taylor models (TM), we construct algorithms for the computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations (ODEs). Although TMs allow one to construct guaranteed estimates for families of solutions of systems of ODEs when integr...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Differential equations Ročník 57; číslo 3; s. 391 - 407
Hlavní autoři: Evstigneev, N. M., Ryabkov, O. I., Shul’min, D. A.
Médium: Journal Article
Jazyk:angličtina
Vydáno: Moscow Pleiades Publishing 01.03.2021
Springer
Témata:
Algorithms
Analysis
Difference and Functional Equations
Differential equations
Mathematics
Mathematics and Statistics
Numerical Methods
Ordinary Differential Equations
Partial Differential Equations
ISSN:0012-2661, 1608-3083
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Using interval Taylor models (TM), we construct algorithms for the computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations (ODEs). Although TMs allow one to construct guaranteed estimates for families of solutions of systems of ODEs when integrating ODEs over large time intervals, the interval residual included in the TMs begins to grow exponentially and becomes the dominant part of the estimate of the solution pencil, making it practically unusable. To eliminate this deficiency, the creators of the TM—K. Makino and M. Berz—proposed the idea of so-called “shrink wrapping.” We formalize the original algorithm within the framework of the TM definitions we have adopted and propose our own version of the “shrink wrapping,” more accurately adapted to the problem of the computer-aided proof of the existence of periodic trajectories.
ISSN:0012-2661
1608-3083
DOI:10.1134/S0012266121030113