Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
From MaRDI portal
Publication:3097498
DOI10.1137/100812008zbMATH Open1231.34081OpenAlexW2031022267MaRDI QIDQ3097498FDOQ3097498
J. D. Mireles James, Jan Bouwe Van den Berg, Jean-Philippe Lessard, K. Mischaikow
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
Theoretical approximation of solutions to ordinary differential equations (34A45) Nonlinear boundary value problems for ordinary differential equations (34B15) Homoclinic and heteroclinic solutions to ordinary differential equations (34C37) Applications of operator theory to differential and integral equations (47N20)
Cited In (50)
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Complexity in a Hybrid van der Pol System
- Finite element approximation of invariant manifolds by the parameterization method
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation
- Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation
- Validated computations for connecting orbits in polynomial vector fields
- Computational fixed-point theory for differential delay equations with multiple time lags
- The parameterization method for center manifolds
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
- Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature
- High-order parameterization of (un)stable manifolds for hybrid maps: implementation and applications
- Rigorous validation of stochastic transition paths
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Efficient representation of invariant manifolds of periodic orbits in the CRTBP
- Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions
- Numerical computation of connecting orbits on a manifold
- Rigorous numerics for NLS: bound states, spectra, and controllability
- Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model
- Automatic differentiation for Fourier series and the radii polynomial approach
- Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
- Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds
- Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
- 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
- Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Rigorous enclosures of solutions of Neumann boundary value problems
- Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation
- Parameterization Method for Unstable Manifolds of Standing Waves on the Line
- Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- A computable criterion for the existence of connecting orbits in autonomous dynamics
- Beyond the Melnikov method: A computer assisted approach
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- Beyond the Melnikov method. II: Multidimensional setting
- Computation of maximal local (un)stable manifold patches by the parameterization method
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
- Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
- Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Rigorous numerics for fast-slow systems
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
Uses Software
This page was built for publication: Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3097498)
