Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
From MaRDI portal
Publication:5258573
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
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
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