Validated numerics for continuation and bifurcation of connecting orbits of maps
From MaRDI portal
Publication:2423701
bifurcationscomputer assisted proofdynamical systemsone-parameter familiestransverse connecting orbits
Bifurcations of singular points in dynamical systems (37G10) Hyperbolic singular points with homoclinic trajectories in dynamical systems (37G20) Bifurcations connected with nontransversal intersection in dynamical systems (37G25) Computational methods for bifurcation problems in dynamical systems (37M20)
Recommendations
- scientific article; zbMATH DE number 1543283
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- NUMERICAL ANALYSIS OF DEGENERATE CONNECTING ORBITS FOR MAPS
- NUMERICAL COMPUTATIONS OF CONNECTING ORBITS IN DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS
- The Numerical Computation of Homoclinic Orbits for Maps
- Numerical continuation of connecting orbits of maps in MATLAB
- The Numerical Computation of Connecting Orbits in Dynamical Systems
- Numerical Computation and Continuation of Invariant Manifolds Connecting Fixed Points
- A Numerical Bifurcation Function for Homoclinic Orbits
- Numerical computation of connecting orbits in planar piecewise smooth dynamical system
Cites work
- C^1 Lohner algorithm.
- A computer-assisted proof of universality for area-preserving maps
- A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results
- A Parameterization Method for the Computation of Invariant Tori and Their Whiskers in Quasi‐Periodic Maps: Explorations and Mechanisms for the Breakdown of Hyperbolicity
- A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Computer-assisted equilibrium validation for the diblock copolymer model
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Computer-assisted proofs in analysis
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- CONTINUATION OF CONNECTING ORBITS IN 3D-ODEs (I): POINT-TO-CYCLE CONNECTIONS
- CONTINUATION OF CONNECTING ORBITS IN 3D-ODEs (II) : CYCLE-TO-CYCLE CONNECTIONS
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Global smooth solution curves using rigorous branch following
- High-order parameterization of stable/unstable manifolds for long periodic orbits of maps
- scientific article; zbMATH DE number 4108029 (Why is no real title available?)
- scientific article; zbMATH DE number 177015 (Why is no real title available?)
- scientific article; zbMATH DE number 2212178 (Why is no real title available?)
- Numerical approximation of homoclinic chaos
- Numerical computation of heteroclinic orbits
- On Hyperbolic Plateaus of the Henon Map
- On loops in the hyperbolic locus of the complex Hénon map and their monodromies
- Ordinary differential equations with applications
- Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps
- Rigorous Computations of Homoclinic Tangencies
- Rigorous numerics in dynamics
- Rigorous verification of saddle-node bifurcations in ODEs
- The Numerical Computation of Connecting Orbits in Dynamical Systems
- The Numerical Computation of Homoclinic Orbits for Maps
- 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. From rigorous results to effective computations
- The parameterization method for invariant manifolds. III: Overview and applications
- Validated computation of heteroclinic sets
- Validated Continuation for Equilibria of PDEs
- Validated numerics. A short introduction to rigorous computations.
- Validated saddle-node bifurcations and applications to lattice dynamical systems
Cited in
(7)- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
- Critical homoclinics in a restricted four-body problem: numerical continuation and center manifold computations
- Validated computations for connecting orbits in polynomial vector fields
- scientific article; zbMATH DE number 1543283 (Why is no real title available?)
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- NUMERICAL ANALYSIS OF DEGENERATE CONNECTING ORBITS FOR MAPS
- Numerical continuation of connecting orbits of maps in MATLAB
This page was built for publication: Validated numerics for continuation and bifurcation of connecting orbits of maps
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2423701)
