Stationary Coexistence of Hexagons and Rolls via Rigorous Computations

DOI10.1137/140984506zbMath1371.37036MaRDI QIDQ5258573

Jason D. Mireles James, Jean-Philippe Lessard, Andréa Deschênes, Jan Bouwe Van Den Berg

Publication date: 23 June 2015

Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/20.500.11794/1344

zbMATH Keywords

invariant manifold; connecting orbit; rigorous numerics

Mathematics Subject Classification ID

35K57: Reaction-diffusion equations

46B45: Banach sequence spaces

65L10: Numerical solution of boundary value problems involving ordinary differential equations

65T40: Numerical methods for trigonometric approximation and interpolation

35K30: Initial value problems for higher-order parabolic equations

37C29: Homoclinic and heteroclinic orbits for dynamical systems

Related Items

Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos, Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits, Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds, Parameterization Method for Unstable Manifolds of Standing Waves on the Line, Bifurcation Analysis and Pattern Selection of Solutions for the Modified Swift–Hohenberg Equation, Hexagon Invasion Fronts Outside the Homoclinic Snaking Region in the Planar Swift--Hohenberg Equation, Microscopic patterns in the 2D phase-field-crystal model, Validated Spectral Stability via Conjugate Points, Stability of hexagonal pattern in Rayleigh–Bénard convection for thermodependent shear-thinning fluids, Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem, A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations, Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem, Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem, Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra, Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series, Computation of maximal local (un)stable manifold patches by the parameterization method, Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds, Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation, Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs, Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof, 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, Computer-assisted proofs for radially symmetric solutions of PDEs, Automatic differentiation for Fourier series and the radii polynomial approach, Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families, Rigorous numerics for nonlinear heat equations in the complex plane of time, Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation, Validated computations for connecting orbits in polynomial vector fields, Computer-assisted proofs in PDE: a survey, Rigorous validation of stochastic transition paths, A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations, A rigorous implicit \(C^1\) Chebyshev integrator for delay equations, Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach, Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification, Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity, Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications, Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence

Uses Software

• INTLAB

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
• Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
• The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
• Covering relations, cone conditions and the stable manifold theorem
• Singularities and groups in bifurcation theory. Volume II
• Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
• On existence of infinitely many homoclinic solutions
• A class of nonlinear front evolution equations derived from geometry and conservation
• \(C^1\) Lohner algorithm.
• Covering relations for multidimensional dynamical systems
• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
• The parameterization method for invariant manifolds. III: Overview and applications
• Asymptotic dynamical difference between the nonlocal and local Swift–Hohenberg models
• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
• 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
• Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
• Validated Continuation for Equilibria of PDEs
• Global smooth solution curves using rigorous branch following
• Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
• Nonlinear analysis of hydrodynamic instability in laminar flames—I. Derivation of basic equations
• Chaos in the Lorenz equations: a computer-assisted proof
• 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
• Propagation of hexagonal patterns near onset
• Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
• Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof