Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
From MaRDI portal
Publication:3188141
DOI10.1137/15M1053608zbMath1343.37078WikidataQ113779144 ScholiaQ113779144MaRDI QIDQ3188141
Rafael de la Llave, Jason D. Mireles James
Publication date: 17 August 2016
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
Galerkin projectionsconnecting orbitscomputer assisted proofstable manifold theorycompact infinite-dimensional dynamical systems
Algorithms with automatic result verification (65G20) Inertial manifolds and other invariant attracting sets of infinite-dimensional dissipative dynamical systems (37L25) Approximation methods and numerical treatment of dynamical systems (37M99) Numerical problems in dynamical systems (65P99)
Related Items (11)
Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Parameterization method for unstable manifolds of delay differential equations ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Numerical Computation of Transverse Homoclinic Orbits for Periodic Solutions of Delay Differential Equations ⋮ Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds ⋮ Validated numerical approximation of stable manifolds for parabolic partial differential equations ⋮ Numerical dynamics of integrodifference equations ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof ⋮ Time dependent center manifold in PDEs
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
- 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
- Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- 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
- Rigorous and accurate enclosure of invariant manifolds on surfaces
- Combination laws for scaling exponents and relation to the geometry of renormalization operators
- Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- 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
- Validated continuation over large parameter ranges for equilibria of PDEs
- Discrete-time growth-dispersal models
- Numerical computation of heteroclinic orbits
- Discrete-time travelling waves: Ecological examples
- Computational methods for global analysis of homoclinic and heteroclinic orbits: A case study
- Rigorous chaos verification in discrete dynamical systems
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- Spreading disease: Integro-differential equations old and new.
- Regularity of the composition operator in spaces of Hölder functions
- A rigorous ODE solver and Smale's 14th problem
- Integrodifference equations, Allee effects, and invasions
- Rigorous computer-assisted application of KAM theory: a modern approach
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- A complete proof of the Feigenbaum conjectures
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Computer assisted proof of chaos in the Lorenz equations
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
- A KAM theory for conformally symplectic systems: efficient algorithms and their validation
- The parameterization method for invariant manifolds. III: Overview and applications
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Rigorous Numerics in Dynamics
- Life on the Move: Modeling the Effects of Climate-Driven Range Shifts with Integrodifference Equations
- Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates
- 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
- Reliable Computation of Robust Response Tori on the Verge of Breakdown
- Period doubling in area-preserving maps: an associated one-dimensional problem
- Integration of Dissipative Partial Differential Equations: A Case Study
- Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
- Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
- A computer-assisted proof of universality for area-preserving maps
- 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
- Validated Continuation for Equilibria of PDEs
- INFINITE DIMENSIONAL KRAWCZYK OPERATOR FOR FINDING PERIODIC ORBITS OF DISCRETE DYNAMICAL SYSTEMS
- Existence of critical invariant tori
- Computation of Heteroclinic Arcs with Application to the Volume Preserving Hénon Family
- Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
- A computer-assisted proof of the Feigenbaum conjectures
- Numerical Computation and Continuation of Invariant Manifolds Connecting Fixed Points
- 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
- A numerical study of infinitely renormalizable area-preserving maps
- A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
- Rigorous verification of chaotic behaviour of maps using validated shadowing
- A Homoclinic Solution for Excitation Waves on a Contractile Substratum
- PERIOD DOUBLING RENORMALIZATION FOR AREA-PRESERVING MAPS AND MILD COMPUTER ASSISTANCE IN CONTRACTION MAPPING PRINCIPLE
- Feigenbaum universality and the thermodynamic formalism
- Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities
- Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
- Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
This page was built for publication: Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
