A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (Q2135544)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions |
scientific article |
Statements
A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (English)
0 references
9 May 2022
0 references
In this paper, the authors propose a verification method for specification of homoclinic orbits based on combination of verifed numerics and local Lyapunov functions. Their aim is to specify parameters appeared in the systems of ODEs admitting homoclinic orbits to equilibria. The main tools of the method are Lyapunov functions, integration of ODEs by verifed numerics, and the Brouwer's coincidence theorem for continuous mappings. Several techniques for constructing continuous mappings from a domain of parameter vectors to a region of the phase space are presented. Numerical simulations for certain problems in 3D and 4D illustrate the theoretical results.
0 references
numerical verification
0 references
dynamical systems
0 references
Lyapunov functions
0 references
homoclinic orbits
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
