Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
From MaRDI portal
Publication:2249804
Recommendations
- Validated computations for connecting orbits in polynomial vector fields
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- A computable criterion for the existence of connecting orbits in autonomous dynamics
- Computer assisted proof of chaos in the Lorenz equations
Cites work
- scientific article; zbMATH DE number 4107784 (Why is no real title available?)
- scientific article; zbMATH DE number 3520921 (Why is no real title available?)
- scientific article; zbMATH DE number 3616736 (Why is no real title available?)
- scientific article; zbMATH DE number 1022519 (Why is no real title available?)
- scientific article; zbMATH DE number 1543283 (Why is no real title available?)
- scientific article; zbMATH DE number 3220612 (Why is no real title available?)
- A Lin's method approach to finding and continuing heteroclinic connections involving periodic orbits
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- A note on the convergence of parametrised non-resonant invariant manifolds
- Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
- Complex analysis. An introduction to the theory of analytic functions of one complex variable
- Connected Simple Systems, Transition Matrices and Heteroclinic Bifurcations
- Covering relations and the existence of topologically normally hyperbolic invariant sets
- Covering relations for multidimensional dynamical systems. II
- Covering relations, cone conditions and the stable manifold theorem
- Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II
- Heteroclinic connections in the Kuramoto-Sivashinsky equation: A computer assisted proof
- Homoclinic shadowing
- Lin's method for heteroclinic chains involving periodic orbits
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Numerical Computation and Continuation of Invariant Manifolds Connecting Fixed Points
- Numerical computation of heteroclinic orbits
- On locating connecting orbits
- Rigorous Computations of Homoclinic Tangencies
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps
- Rigorous chaos verification in discrete dynamical systems
- Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
- Rigorous verification of chaotic behaviour of maps using validated shadowing
- Shadowing in ordinary differential equations
- Successive continuation for locating connecting orbits
- Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
- The Newton-Kantorovich Theorem
- The Numerical Computation of Connecting Orbits in Dynamical Systems
- The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
- The parameterization method for invariant manifolds II: regularity with respect to parameters
- The parameterization method for invariant manifolds. III: Overview and applications
- Transversal connecting orbits from shadowing
- Validated Continuation for Equilibria of PDEs
- Verification methods: rigorous results using floating-point arithmetic
Cited in
(38)- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
- Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series
- Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families
- Validated computations for connecting orbits in polynomial vector fields
- Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem
- Chebyshev-Taylor parameterization of stable/unstable manifolds for periodic orbits: implementation and applications
- Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Automatic differentiation for Fourier series and the radii polynomial approach
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- Analytic enclosure of the fundamental matrix solution.
- The parameterization method for center manifolds
- Complexity in a hybrid van der Pol system
- Parameterization method for unstable manifolds of delay differential equations
- Rigorous enclosures of solutions of Neumann boundary value problems
- Parameterization method for unstable manifolds of standing waves on the line
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- Validated numerics for continuation and bifurcation of connecting orbits of maps
- Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
- Computational methods in perturbation theory
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- A posteriori error bounds for two point boundary value problems: a Green's function approach
- Computer-assisted proof of Shil'nikov homoclinics: with application to the Lorenz-84 model
- Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation
- Spatially localized solutions of the Hammerstein equation with sigmoid type of nonlinearity
- A computable criterion for the existence of connecting orbits in autonomous dynamics
- Finite element approximation of invariant manifolds by the parameterization method
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Beyond the Melnikov method: A computer assisted approach
- High-order parameterization of (un)stable manifolds for hybrid maps: implementation and applications
- Beyond the Melnikov method. II: Multidimensional setting
- Computer assisted proofs of two-dimensional attracting invariant tori for ODEs
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Computation of maximal local (un)stable manifold patches by the parameterization method
- Stationary coexistence of hexagons and rolls via rigorous computations
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
This page was built for publication: Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2249804)
