Covering relations, cone conditions and the stable manifold theorem
From MaRDI portal
(Redirected from Publication:1007257)
Recommendations
- A new proof of the stable manifold theorem
- Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
- A new proof of the stable manifold theorem for hyperbolic fixed points on surfaces
- Cone-fields, domination, and hyperbolicity
- Stable manifolds and the Perron–Irwin method
Cites work
- scientific article; zbMATH DE number 3674497 (Why is no real title available?)
- scientific article; zbMATH DE number 1543285 (Why is no real title available?)
- scientific article; zbMATH DE number 3801985 (Why is no real title available?)
- scientific article; zbMATH DE number 794151 (Why is no real title available?)
- scientific article; zbMATH DE number 3204015 (Why is no real title available?)
- A New Proof of the Pseudostable Manifold Theorem
- A new proof of the stable manifold theorem
- A new proof of the stable manifold theorem for hyperbolic fixed points on surfaces
- A rigorous ODE solver and Smale's 14th problem
- A stable manifold theorem for degenerate fixed points with applications to celestial mechanics
- A verified optimization technique to locate chaotic regions of Hénon systems
- Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon map
- Computer assisted proof of chaos in the Lorenz equations
- Computer assisted proof of chaos in the Rössler equations and in the Hénon map
- Covering relations for multidimensional dynamical systems
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- Homoclinic phenomena in Hamiltonian systems with several degrees of freedom
- Invariant manifolds
- Isolating blocks and symbolic dynamics
- On the Stable Manifold Theorem
- Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem
- Positive Topological Entropy of Chua's Circuit: A Computer Assisted Proof
- Rigorous chaos verification in discrete dynamical systems
- Rigorous verification of cocoon bifurcations in the Michelson system
- Shadowing orbits for transition chains of invariant tori alternating with Birkhoff zones of instability
- Sharkovskii's theorem for multidimensional perturbations of one-dimensional maps
- Stable curves asymptotic to a degenerate fixed point
- Stable manifolds and the Perron–Irwin method
- Stable manifolds associated to fixed points with linear part equal to identity.
- Stable manifolds of semi-hyperbolic fixed points
- Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
- Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
- TOPOLOGICAL ENTROPY FOR MULTIDIMENSIONAL PERTURBATIONS OF ONE-DIMENSIONAL MAPS
- The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
- Topological horseshoes and delay differential equations
- Topological method for symmetric periodic orbits for maps with a reversing symmetry
- Topological methods in the instability problem of Hamiltonian systems
Cited in
(39)- Validated computations for connecting orbits in polynomial vector fields
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- On the construction of Lyapunov functions with computer assistance
- Rigorous numerical study of the Colpitts oscillator with an exponential nonlinearity
- Covering relations and Lyapunov condition for topological conjugacy
- Rigorous validation of stochastic transition paths
- Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Arnold Diffusion in a Model of Dissipative System
- Computer assisted proofs of two-dimensional attracting invariant tori for ODEs
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions
- Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
- Persistence of normally hyperbolic invariant manifolds in the absence of rate conditions
- Connecting orbits for a singular nonautonomous real Ginzburg-Landau type equation
- Rigorous numerics for nonlinear heat equations in the complex plane of time
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Topological conjugacy for Lipschitz perturbations of non-autonomous systems
- A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map
- Arnold Diffusion, Quantitative Estimates, and Stochastic Behavior in the <scp>Three‐Body</scp> Problem
- Hyperbolicity and averaging for the Srzednicki-Wójcik equation
- Topological dynamics for multidimensional perturbations of maps with covering relations and Liapunov condition
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
- Geometric proof for normally hyperbolic invariant manifolds
- Numerical validation of blow-up solutions of ordinary differential equations
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Computer assisted proof of drift orbits along normally hyperbolic manifolds
- Hyperbolic dynamics in graph-directed IFS
- Characterising blenders via covering relations and cone conditions
- Stationary coexistence of hexagons and rolls via rigorous computations
- Validated numerical approximation of stable manifolds for parabolic partial differential equations
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- Coexistence and dynamical connections between hyperchaos and chaos in the 4D Rössler system: a computer-assisted proof
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- On the relationship between hyperbolic and cone-hyperbolic structures in metric spaces
- Rigorous numerics for fast-slow systems
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- A note on the convergence of parametrised non-resonant invariant manifolds
This page was built for publication: Covering relations, cone conditions and the stable manifold theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1007257)
