Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
From MaRDI portal
Publication:4557492
DOI10.1090/psapm/074/00642zbMath1409.65109MaRDI QIDQ4557492
Publication date: 23 November 2018
Published in: Rigorous Numerics in Dynamics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/psapm/074/00642
dynamics; nonlinear systems; ordinary differential equations; invariant manifolds; homoclinic solutions; Lorenz system; global analysis; equilibrium solutions; numerical analysis; connecting orbits; heteroclinic solutions; Taylor methods; Newton-Kantorovich; projected boundaries
34C45: Invariant manifolds for ordinary differential equations
65G20: Algorithms with automatic result verification
65P30: Numerical bifurcation problems
37M25: Computational methods for ergodic theory (approximation of invariant measures, computation of Lyapunov exponents, entropy, etc.)
34C37: Homoclinic and heteroclinic solutions to ordinary differential equations
Related Items
Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds, Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature, Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem, Validated numerical approximation of stable manifolds for parabolic partial differential equations, Semianalytical Computation of Heteroclinic Connections Between Center Manifolds with the Parameterization Method, Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem, A Posteriori Validation of Generalized Polynomial Chaos Expansions, Quasiperiodicity and blowup in integrable subsystems of nonconservative nonlinear Schrödinger equations, Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems, Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation, Validated computations for connecting orbits in polynomial vector fields, Rigorous validation of stochastic transition paths, Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem, A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- Construction of quasi-periodic solutions of state-dependent delay differential equations by the parameterization method. II: Analytic case.
- 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
- A computable criterion for the existence of connecting orbits in autonomous dynamics
- Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
- Local behavior near quasi-periodic solutions of conformally symplectic systems
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
- Existence of globally attracting fixed points of viscous Burgers equation with constant forcing. A computer assisted proof
- Geometric proof of strong stable/unstable manifolds with application to the restricted three body problem
- Cone conditions and covering relations for topologically normally hyperbolic invariant manifolds
- Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
- A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results
- Symmetric homoclinic solutions to the periodic orbits in the Michelson system
- A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms
- The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
- Computation of maximal local (un)stable manifold patches by the parameterization method
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- A new branch of mountain pass solutions for the choreographical 3-body problem
- Covering relations and the existence of topologically normally hyperbolic invariant sets
- Construction of quasi-periodic solutions of delay differential equations via KAM techniques
- Relativistic stability of matter. I
- Numerical computation of heteroclinic orbits
- Computer-assisted existence proofs for two-point boundary value problems
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
- Chaos in the Duffing equation
- Computational methods for global analysis of homoclinic and heteroclinic orbits: A case study
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- An operator representation for weighted spaces of vector valued homomorphic functions
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof.
- Periodic orbits, symbolic dynamics and topological entropy for the restricted 3-body problem
- A rigorous ODE solver and Smale's 14th problem
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Parameterization of invariant manifolds by reducibility for volume preserving and symplectic maps
- Branches of periodic orbits for the planar restricted 3-body problem
- \(C^1\) Lohner algorithm.
- Computer assisted proof of chaos in the Lorenz equations
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
- A method for the study of whiskered quasi-periodic and almost-periodic solutions in finite and infinite dimensional Hamiltonian systems
- Transversal connecting orbits from shadowing
- A KAM theory for conformally symplectic systems: efficient algorithms and their validation
- The parameterization method for invariant manifolds. III: Overview and applications
- Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
- A Homoclinic Orbit in a Planar Singular ODE---A Computer Assisted Proof
- Computation of Limit Cycles and Their Isochrons: Fast Algorithms and Their Convergence
- Verification methods: Rigorous results using floating-point arithmetic
- Reliable Computation of Robust Response Tori on the Verge of Breakdown
- Collision of invariant bundles of quasi-periodic attractors in the dissipative standard map
- Integration of Dissipative Partial Differential Equations: A Case Study
- Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
- A computer-assisted proof of universality for area-preserving maps
- A Computational and Geometric Approach to Phase Resetting Curves and Surfaces
- CONTINUATION OF CONNECTING ORBITS IN 3D-ODEs (II) : CYCLE-TO-CYCLE CONNECTIONS
- Parameterization Method for Computing Quasi-periodic Reducible Normally Hyperbolic Invariant Tori
- A method to rigorously enclose eigendecompositions of interval matrices
- The Numerical Computation of Connecting Orbits in Dynamical Systems
- CONTINUATION OF CONNECTING ORBITS IN 3D-ODEs (I): POINT-TO-CYCLE CONNECTIONS
- Global smooth solution curves using rigorous branch following
- A computer-assisted proof of the Feigenbaum conjectures
- Numerical Computation and Continuation of Invariant Manifolds Connecting Fixed Points
- A Test for Existence of Solutions to Nonlinear Systems
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- The Lorenz attractor exists
- Chaos in the Lorenz equations: a computer-assisted proof
- Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
- 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 H non–Heiles Hamiltonian near the critical energy level—some rigorous results
- KAM theory without action-angle variables
- Attracting Fixed Points for the Kuramoto--Sivashinsky Equation: A Computer Assisted Proof
- A Homoclinic Solution for Excitation Waves on a Contractile Substratum
- Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP
- Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof
- Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form
- 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
- A Parameterization Method for the Computation of Invariant Tori and Their Whiskers in Quasi‐Periodic Maps: Explorations and Mechanisms for the Breakdown of Hyperbolicity
- Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
- On the Stable Manifold Theorem
- Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
