Validated computations for connecting orbits in polynomial vector fields
From MaRDI portal
Publication:2302341
DOI10.1016/j.indag.2020.01.007zbMath1439.34048arXiv1902.07833OpenAlexW3003862933MaRDI QIDQ2302341
Ray Sheombarsing, Jan Bouwe Van Den Berg
Publication date: 26 February 2020
Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1902.07833
Applications of operator theory to differential and integral equations (47N20) Invariant manifolds for ordinary differential equations (34C45) Homoclinic and heteroclinic solutions to ordinary differential equations (34C37) Approximation methods and numerical treatment of dynamical systems (37M99)
Related Items
Validated Spectral Stability via Conjugate Points, Approximate localised dihedral patterns near a turing instability, Rigorous numerics for ODEs using Chebyshev series and domain decomposition, A general framework for validated continuation of periodic orbits in systems of polynomial ODEs, Validated computations for connecting orbits in polynomial vector fields
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
- Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- 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
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
- Computation of maximal local (un)stable manifold patches by the parameterization method
- Covering relations, cone conditions and the stable manifold theorem
- Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
- Travelling wave solutions of a fourth-order semilinear diffusion equation
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- \(C^1\) Lohner algorithm.
- Covering relations for multidimensional dynamical systems
- Covering relations for multidimensional dynamical systems. II
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Automatic differentiation for Fourier series and the radii polynomial approach
- 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
- Transversal connecting orbits from shadowing
- Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
- The parameterization method for invariant manifolds. III: Overview and applications
- Travelling Waves for Fourth Order Parabolic Equations
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Connecting Orbits for a Singular Nonautonomous Real Ginzburg--Landau Type Equation
- Integration of Dissipative Partial Differential Equations: A Case Study
- Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
- Traveling Wave Solutions of Diffusive Lotka-Volterra Equations: A Heteroclinic Connection in R 4
- A Software Package for the Numerical Integration of ODEs by Means of High-Order Taylor Methods
- Validated Continuation for Equilibria of PDEs
- Global smooth solution curves using rigorous branch following
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- A Homoclinic Solution for Excitation Waves on a Contractile Substratum
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
- Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
- MATCONT
- Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
