Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
From MaRDI portal
Publication:3097498
DOI10.1137/100812008zbMath1231.34081OpenAlexW2031022267MaRDI QIDQ3097498
Jason D. Mireles James, Jean-Philippe Lessard, Konstantin Mischaikow, Jan Bouwe Van Den Berg
Publication date: 10 November 2011
Published in: SIAM Journal on Mathematical Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/100812008
invariant manifoldscomputer assisted proofvalidated continuationparametrisation methodprojected boundary conditionsRadii polynomials
Nonlinear boundary value problems for ordinary differential equations (34B15) Theoretical approximation of solutions to ordinary differential equations (34A45) Applications of operator theory to differential and integral equations (47N20) Homoclinic and heteroclinic solutions to ordinary differential equations (34C37)
Related Items (47)
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions ⋮ Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra ⋮ A posteriori error bounds for two point boundary value problems: a Green's function approach ⋮ 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 ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Rigorous enclosures of solutions of Neumann boundary value problems ⋮ Beyond the Melnikov method: A computer assisted approach ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations ⋮ Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model ⋮ Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs ⋮ Beyond the Melnikov method. II: Multidimensional setting ⋮ The parameterization method for center manifolds ⋮ Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation ⋮ Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature ⋮ Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model ⋮ Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof ⋮ Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof ⋮ Rigorous numerics for fast-slow systems ⋮ 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 ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds ⋮ Computational fixed-point theory for differential delay equations with multiple time lags ⋮ Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series ⋮ Rigorous numerics for ODEs using Chebyshev series and domain decomposition ⋮ Complexity in a Hybrid van der Pol System ⋮ Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields ⋮ Efficient representation of invariant manifolds of periodic orbits in the CRTBP ⋮ Rigorous numerics for NLS: bound states, spectra, and controllability ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Numerical computation of connecting orbits on a manifold ⋮ High-order parameterization of (un)stable manifolds for hybrid maps: implementation and applications ⋮ Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach ⋮ Parameterization Method for Unstable Manifolds of Standing Waves on the Line ⋮ Validated computations for connecting orbits in polynomial vector fields ⋮ Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem ⋮ Rigorous validation of stochastic transition paths ⋮ Finite element approximation of invariant manifolds by the parameterization method ⋮ Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
Uses Software
This page was built for publication: Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
