Stationary Coexistence of Hexagons and Rolls via Rigorous Computations

DOI10.1137/140984506zbMath1371.37036OpenAlexW246508170MaRDI 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 manifoldconnecting orbitrigorous numerics

Mathematics Subject Classification ID

Reaction-diffusion equations (35K57) Banach sequence spaces (46B45) Numerical solution of boundary value problems involving ordinary differential equations (65L10) Numerical methods for trigonometric approximation and interpolation (65T40) Initial value problems for higher-order parabolic equations (35K30) Homoclinic and heteroclinic orbits for dynamical systems (37C29)

Related Items (37)

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 ⋮ Microscopic patterns in the 2D phase-field-crystal model ⋮ Validated Spectral Stability via Conjugate Points ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra ⋮ Rigorous numerics for nonlinear heat equations in the complex plane of time ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ 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 ⋮ A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations ⋮ Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem ⋮ Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof ⋮ Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification ⋮ Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem ⋮ Computation of maximal local (un)stable manifold patches by the parameterization method ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ 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 ⋮ 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 ⋮ Stability of hexagonal pattern in Rayleigh–Bénard convection for thermodependent shear-thinning fluids ⋮ Computer-assisted proofs for radially symmetric solutions of PDEs ⋮ Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series ⋮ 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 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 ⋮ Bifurcation Analysis and Pattern Selection of Solutions for the Modified Swift–Hohenberg Equation ⋮ Computer-assisted proofs in PDE: a survey ⋮ Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem ⋮ Hexagon Invasion Fronts Outside the Homoclinic Snaking Region in the Planar Swift--Hohenberg Equation ⋮ Rigorous validation of stochastic transition paths ⋮ Chebyshev–Taylor Parameterization of Stable/Unstable Manifolds for Periodic Orbits: Implementation and Applications

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

This page was built for publication: Stationary Coexistence of Hexagons and Rolls via Rigorous Computations