Stationary coexistence of hexagons and rolls via rigorous computations
From MaRDI portal
Publication:5258573
DOI10.1137/140984506zbMATH Open1371.37036OpenAlexW246508170MaRDI QIDQ5258573FDOQ5258573
Authors: Andréa Deschênes, Jean-Philippe Lessard, J. D. Mireles James, 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
Recommendations
- Heteroclinic orbits for a system of amplitude equations for orthogonal domain walls
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation
- Grid design for the computation of a hexagon-roll interaction using a finite element method
- Numerical Computation of Coexistence States
- Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs
Numerical methods for trigonometric approximation and interpolation (65T40) Initial value problems for higher-order parabolic equations (35K30) Reaction-diffusion equations (35K57) Homoclinic and heteroclinic orbits for dynamical systems (37C29) Banach sequence spaces (46B45) Numerical solution of boundary value problems involving ordinary differential equations (65L10)
Cites Work
- Title not available (Why is that?)
- Efficient rigorous numerics for higher-dimensional PDEs via one-dimensional estimates
- Nonlinear analysis of hydrodynamic instability in laminar flames—I. Derivation of basic equations
- Approximation theory and approximation practice
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Singularities and groups in bifurcation theory. Volume II
- Asymptotic dynamical difference between the nonlocal and local Swift-Hohenberg models
- The parameterization method for invariant manifolds. III: Overview and applications
- Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
- Global smooth solution curves using rigorous branch following
- The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
- Propagation of hexagonal patterns near onset
- \(C^1\) Lohner algorithm.
- Covering relations for multidimensional dynamical systems
- Chaos in the Lorenz equations: a computer-assisted proof
- Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
- Validated Continuation for Equilibria of PDEs
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Rigorous a posteriori computation of (un)stable manifolds and connecting orbits for analytic maps
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
- Rigorous numerics for nonlinear differential equations using Chebyshev series
- Covering relations, cone conditions and the stable manifold theorem
- Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
- The parameterization method for invariant manifolds II: regularity with respect to parameters
- The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
- Title not available (Why is that?)
- Complex analysis. An introduction to the theory of analytic functions of one complex variable
- Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
- A homoclinic orbit in a planar singular ODE -- a computer assisted proof
- A class of nonlinear front evolution equations derived from geometry and conservation
- On existence of infinitely many homoclinic solutions
Cited In (38)
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Chebyshev-Taylor parameterization of stable/unstable manifolds for periodic orbits: implementation and applications
- Stability of rolls and hexagonal patterns in non-potential systems
- Computer-assisted proofs for radially symmetric solutions of PDEs
- Resonant tori, transport barriers, and chaos in a vector field with a Neimark-Sacker bifurcation
- Validated computations for connecting orbits in polynomial vector fields
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- Rigorous validation of stochastic transition paths
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Microscopic patterns in the 2D phase-field-crystal model
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Homoclinic dynamics in a spatial restricted four-body problem: blue skies into Smale horseshoes for vertical Lyapunov families
- Automatic differentiation for Fourier series and the radii polynomial approach
- Computer-assisted proofs in PDE: a survey
- Computer assisted Fourier analysis in sequence spaces of varying regularity
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- Rigorous numerics for nonlinear heat equations in the complex plane of time
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
- Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem
- Hexagon invasion fronts outside the homoclinic snaking region in the planar Swift-Hohenberg equation
- Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification
- A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- 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
- Validated Spectral Stability via Conjugate Points
- Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series
- Rigorous computation of a radially symmetric localized solution in a Ginzburg-Landau problem
- Bifurcation analysis and pattern selection of solutions for the modified Swift-Hohenberg equation
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
- Stability of hexagonal pattern in Rayleigh-Bénard convection for thermodependent shear-thinning fluids
- Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- Parameterization method for unstable manifolds of standing waves on the line
Uses Software
This page was built for publication: Stationary coexistence of hexagons and rolls via rigorous computations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5258573)
