Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits (Q907673): Difference between revisions

Latest revision as of 08:49, 11 July 2024

scientific article

Language	Label	Description	Also known as
English	Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits	scientific article

Statements

instance of

scholarly article

0 references

title

Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits (English)

0 references

author

Jason D. Mireles James

0 references

published in

Communications in Nonlinear Science and Numerical Simulation

0 references

publication date

26 January 2016

0 references

zbMATH Keywords

stable and unstable manifolds

0 references

linear approximation

0 references

validated computer assisted error bounds

0 references

computer assisted proof for connecting orbits in higher dimensions

0 references

describes a project that uses

0 references

0 references

0 references

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.cnsns.2014.08.010

0 references

cites work

Rigorous Computations of Homoclinic Tangencies

0 references

A Homoclinic Solution for Excitation Waves on a Contractile Substratum

0 references

Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem

0 references

Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level

0 references

The H non–Heiles Hamiltonian near the critical energy level—some rigorous results

0 references

Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation

0 references

Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models

0 references

The Numerical Computation of Connecting Orbits in Dynamical Systems

0 references

The Numerical Computation of Homoclinic Orbits for Maps

0 references

Numerical approximation of homoclinic chaos

0 references

The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces

0 references

The parameterization method for invariant manifolds II: regularity with respect to parameters

0 references

The parameterization method for invariant manifolds. III: Overview and applications

0 references

Fast numerical computation of quasi-periodic equilibrium states in 1D statistical mechanics, including twist maps

0 references

A numerically accessible criterion for the breakdown of quasi-periodic solutions and its rigorous justification

0 references

Computer assisted proof for normally hyperbolic invariant manifolds

0 references

Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds

0 references

Covering relations and the existence of topologically normally hyperbolic invariant sets

0 references

Existence of a Center Manifold in a Practical Domain around $L_1$ in the Restricted Three-Body Problem

0 references

Homoclinic shadowing

0 references

Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation

0 references

Numerical computation of heteroclinic orbits

0 references

Numerical Computation and Continuation of Invariant Manifolds Connecting Fixed Points

0 references

A method for the study of whiskered quasi-periodic and almost-periodic solutions in finite and infinite dimensional Hamiltonian systems

0 references

Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon map

0 references

Covering relations for multidimensional dynamical systems. II

0 references

High-order adaptive method for computing two-dimensional invariant manifolds of three-dimensional maps

0 references

HIGH-ORDER BISECTION METHOD FOR COMPUTING INVARIANT MANIFOLDS OF TWO-DIMENSIONAL MAPS

0 references

A Computational and Geometric Approach to Phase Resetting Curves and Surfaces

0 references

A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms

0 references

A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results

0 references

Q3062488

0 references

Q5454997

0 references

Controlling the wrapping effect in the solution of ODEs for asteroids

0 references

A note on the convergence of parametrised non-resonant invariant manifolds

0 references

A Hermite spectral method for the computation of homoclinic orbits and associated functionals

0 references

A SURVEY OF METHODS FOR COMPUTING (UN)STABLE MANIFOLDS OF VECTOR FIELDS

0 references

KAM theory without action-angle variables

0 references

Parameterization of invariant manifolds by reducibility for volume preserving and symplectic maps

0 references

Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series

0 references

Rigorous Numerics in Floquet Theory: Computing Stable and Unstable Bundles of Periodic Orbits

0 references

Global smooth solution curves using rigorous branch following

0 references

Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields

0 references

Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds

0 references

Computation of Heteroclinic Arcs with Application to the Volume Preserving Hénon Family

0 references

Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps

0 references

Rigorous chaos verification in discrete dynamical systems

0 references

Q3545308

0 references

The Newton-Kantorovich Theorem

0 references

CHARACTERISTIC LYAPUNOV EXPONENTS AND SMOOTH ERGODIC THEORY

0 references

Ergodic theory of differentiable dynamical systems

0 references

Verification methods: Rigorous results using floating-point arithmetic

0 references

Morse Theory, the Conley Index and Floer Homology

0 references

Morse homology

0 references

Q5509205

0 references

Q3502252

0 references

Rigorous verification of chaotic behaviour of maps using validated shadowing

0 references

Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system

0 references

Supersymmetry and Morse theory

0 references

Rigorous and accurate enclosure of invariant manifolds on surfaces

0 references

Covering relations, cone conditions and the stable manifold theorem

0 references

Identifiers

zbMATH Open document ID

1329.37081

0 references

DOI

10.1016/j.cnsns.2014.08.010

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:907673

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.cnsns.2014.08.010
+Normal rank
@@ Property / OpenAlex ID @@
+W2034752323
@@ Property / OpenAlex ID: W2034752323 / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous Computations of Homoclinic Tangencies
@@ Property / cites work: Rigorous Computations of Homoclinic Tangencies / rank @@
+Normal rank
@@ Property / cites work @@
+A Homoclinic Solution for Excitation Waves on a Contractile Substratum
+Normal rank
@@ Property / cites work @@
+Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem
+Normal rank
@@ Property / cites work @@
+Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
+Normal rank
@@ Property / cites work @@
+The H non–Heiles Hamiltonian near the critical energy level—some rigorous results
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
+Normal rank
@@ Property / cites work @@
+Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
+Normal rank
@@ Property / cites work @@
+The Numerical Computation of Connecting Orbits in Dynamical Systems
+Normal rank
@@ Property / cites work @@
+The Numerical Computation of Homoclinic Orbits for Maps
+Normal rank
@@ Property / cites work @@
+Numerical approximation of homoclinic chaos
@@ Property / cites work: Numerical approximation of homoclinic chaos / rank @@
+Normal rank
@@ Property / cites work @@
+The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
+Normal rank
@@ Property / cites work @@
+The parameterization method for invariant manifolds II: regularity with respect to parameters
+Normal rank
@@ Property / cites work @@
+The parameterization method for invariant manifolds. III: Overview and applications
+Normal rank
@@ Property / cites work @@
+Fast numerical computation of quasi-periodic equilibrium states in 1D statistical mechanics, including twist maps
+Normal rank
@@ Property / cites work @@
+A numerically accessible criterion for the breakdown of quasi-periodic solutions and its rigorous justification
+Normal rank
@@ Property / cites work @@
+Computer assisted proof for normally hyperbolic invariant manifolds
+Normal rank
@@ Property / cites work @@
+Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
+Normal rank
@@ Property / cites work @@
+Covering relations and the existence of topologically normally hyperbolic invariant sets
+Normal rank
@@ Property / cites work @@
+Existence of a Center Manifold in a Practical Domain around $L_1$ in the Restricted Three-Body Problem
+Normal rank
@@ Property / cites work @@
+Homoclinic shadowing
@@ Property / cites work: Homoclinic shadowing / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
+Normal rank
@@ Property / cites work @@
+Numerical computation of heteroclinic orbits
@@ Property / cites work: Numerical computation of heteroclinic orbits / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical Computation and Continuation of Invariant Manifolds Connecting Fixed Points
+Normal rank
@@ Property / cites work @@
+A method for the study of whiskered quasi-periodic and almost-periodic solutions in finite and infinite dimensional Hamiltonian systems
+Normal rank
@@ Property / cites work @@
+Abundance of homoclinic and heteroclinic orbits and rigorous bounds for the topological entropy for the Hénon map
+Normal rank
@@ Property / cites work @@
+Covering relations for multidimensional dynamical systems. II
+Normal rank
@@ Property / cites work @@
+High-order adaptive method for computing two-dimensional invariant manifolds of three-dimensional maps
+Normal rank
@@ Property / cites work @@
+HIGH-ORDER BISECTION METHOD FOR COMPUTING INVARIANT MANIFOLDS OF TWO-DIMENSIONAL MAPS
+Normal rank
@@ Property / cites work @@
+A Computational and Geometric Approach to Phase Resetting Curves and Surfaces
+Normal rank
@@ Property / cites work @@
+A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms
+Normal rank
@@ Property / cites work @@
+A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results
+Normal rank
@@ Property / cites work @@
+Q3062488
@@ Property / cites work: Q3062488 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5454997
@@ Property / cites work: Q5454997 / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling the wrapping effect in the solution of ODEs for asteroids
+Normal rank
@@ Property / cites work @@
+A note on the convergence of parametrised non-resonant invariant manifolds
+Normal rank
@@ Property / cites work @@
+A Hermite spectral method for the computation of homoclinic orbits and associated functionals
+Normal rank
@@ Property / cites work @@
+A SURVEY OF METHODS FOR COMPUTING (UN)STABLE MANIFOLDS OF VECTOR FIELDS
+Normal rank
@@ Property / cites work @@
+KAM theory without action-angle variables
@@ Property / cites work: KAM theory without action-angle variables / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterization of invariant manifolds by reducibility for volume preserving and symplectic maps
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics in Floquet Theory: Computing Stable and Unstable Bundles of Periodic Orbits
+Normal rank
@@ Property / cites work @@
+Global smooth solution curves using rigorous branch following
+Normal rank
@@ Property / cites work @@
+Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
+Normal rank
@@ Property / cites work @@
+Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
+Normal rank
@@ Property / cites work @@
+Computation of Heteroclinic Arcs with Application to the Volume Preserving Hénon Family
+Normal rank
@@ Property / cites work @@
+Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
+Normal rank
@@ Property / cites work @@
+Rigorous chaos verification in discrete dynamical systems
+Normal rank
@@ Property / cites work @@
+Q3545308
@@ Property / cites work: Q3545308 / rank @@
+Normal rank
@@ Property / cites work @@
+The Newton-Kantorovich Theorem
@@ Property / cites work: The Newton-Kantorovich Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+CHARACTERISTIC LYAPUNOV EXPONENTS AND SMOOTH ERGODIC THEORY
+Normal rank
@@ Property / cites work @@
+Ergodic theory of differentiable dynamical systems
+Normal rank
@@ Property / cites work @@
+Verification methods: Rigorous results using floating-point arithmetic
+Normal rank
@@ Property / cites work @@
+Morse Theory, the Conley Index and Floer Homology
@@ Property / cites work: Morse Theory, the Conley Index and Floer Homology / rank @@
+Normal rank
@@ Property / cites work @@
+Morse homology
@@ Property / cites work: Morse homology / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509205
@@ Property / cites work: Q5509205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3502252
@@ Property / cites work: Q3502252 / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous verification of chaotic behaviour of maps using validated shadowing
+Normal rank
@@ Property / cites work @@
+Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system
+Normal rank
@@ Property / cites work @@
+Supersymmetry and Morse theory
@@ Property / cites work: Supersymmetry and Morse theory / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous and accurate enclosure of invariant manifolds on surfaces
+Normal rank
@@ Property / cites work @@
+Covering relations, cone conditions and the stable manifold theorem
+Normal rank