Validated computations for connecting orbits in polynomial vector fields
From MaRDI portal
Publication:2302341
Abstract: In this paper we present a computer-assisted procedure for proving the existence of transverse heteroclinic orbits connecting hyperbolic equilibria of polynomial vector fields. The idea is to compute high-order Taylor approximations of local charts on the (un)stable manifolds by using the Parameterization Method and to use Chebyshev series to parameterize the orbit in between, which solves a boundary value problem. The existence of a heteroclinic orbit can then be established by setting up an appropriate fixed-point problem amenable to computer-assisted analysis. The fixed point problem simultaneously solves for the local (un)stable manifolds and the orbit which connects these. We obtain explicit rigorous control on the distance between the numerical approximation and the heteroclinic orbit. Transversality of the stable and unstable manifolds is also proven.
Recommendations
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- Computation and parametrization of periodic and connecting orbits
- The Numerical Computation of Connecting Orbits in Dynamical Systems
- Numerical computation of connecting orbits on a manifold
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Numerical approximation of generalized connecting orbits
- Validated numerics for continuation and bifurcation of connecting orbits of maps
- Computing Connecting Orbits via an Improved Algorithm for Continuing Invariant Subspaces
- NUMERICAL COMPUTATIONS OF CONNECTING ORBITS IN DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS
- Numerical computation of connecting orbits in planar piecewise smooth dynamical system
Cites work
- C^1 Lohner algorithm.
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
- A homoclinic solution for excitation waves on a contractile substratum
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- A Software Package for the Numerical Integration of ODEs by Means of High-Order Taylor Methods
- Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
- Approximation theory and approximation practice
- Automatic differentiation for Fourier series and the radii polynomial approach
- Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
- Computation of maximal local (un)stable manifold patches by the parameterization method
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
- Connecting orbits for a singular nonautonomous real Ginzburg-Landau type equation
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Covering relations for multidimensional dynamical systems
- Covering relations for multidimensional dynamical systems. II
- Covering relations, cone conditions and the stable manifold theorem
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
- Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Global smooth solution curves using rigorous branch following
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- scientific article; zbMATH DE number 3806869 (Why is no real title available?)
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- scientific article; zbMATH DE number 5208396 (Why is no real title available?)
- Integration of dissipative partial differential equations: a case study
- MATCONT
- Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Rigorous numerics for nonlinear differential equations using Chebyshev series
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
- Shadowing in ordinary differential equations
- Stationary coexistence of hexagons and rolls via rigorous computations
- Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
- The parameterization method for invariant manifolds. III: Overview and applications
- Transversal connecting orbits from shadowing
- Traveling Wave Solutions of Diffusive Lotka-Volterra Equations: A Heteroclinic Connection in R 4
- Travelling wave solutions of a fourth-order semilinear diffusion equation
- Travelling waves for fourth order parabolic equations
- Validated computations for connecting orbits in polynomial vector fields
- Validated Continuation for Equilibria of PDEs
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
Cited in
(14)- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Validated computations for connecting orbits in polynomial vector fields
- Validated computation of heteroclinic sets
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- Validated Spectral Stability via Conjugate Points
- Approximate localised dihedral patterns near a turing instability
- Validated integration of semilinear parabolic PDEs
- Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods
- Homoclinic snaking of contact defects in reaction-diffusion equations
- Resonant vector bundles, conjugate points, and the stability of pulse solutions to the Swift-Hohenberg equation using validated numerics. I
- From heteroclinic loops to homoclinic snaking in reversible systems: rigorous forcing through computer-assisted proofs
This page was built for publication: Validated computations for connecting orbits in polynomial vector fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2302341)
