Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation

DOI10.1137/070709128zbMath1408.37062OpenAlexW2082786393MaRDI QIDQ3624476

Jean-Philippe Lessard, Jan Bouwe Van Den Berg

Publication date: 30 April 2009

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

Full work available at URL: https://doi.org/10.1137/070709128

zbMATH Keywords

chaos pattern formation forcing computer-assisted proof Swift-Hohenberg

Mathematics Subject Classification ID

Developmental biology, pattern formation (92C15) Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45) Approximation methods and numerical treatment of dynamical systems (37M99) Infinite-dimensional dissipative dynamical systems (37L99) Software, source code, etc. for problems pertaining to dynamical systems and ergodic theory (37-04)

Related Items (30)

Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Differential equations with bistable nonlinearity ⋮ 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 ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem ⋮ Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof ⋮ Rapidly and slowly oscillating periodic solutions of a delayed van der Pol oscillator ⋮ Validated numerical approximation of stable manifolds for parabolic partial differential equations ⋮ Multi-hump solutions with small oscillations at infinity for stationary Swift–Hohenberg equation ⋮ Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation ⋮ Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds ⋮ A proof of Wright's conjecture ⋮ A proof of Jones' conjecture ⋮ Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions ⋮ A certificate-based approach to formally verified approximations ⋮ Computational fixed-point theory for differential delay equations with multiple time lags ⋮ Kinklike solutions of fourth-order differential equations with a cubic bistable nonlinearity ⋮ Rigorous numerics for NLS: bound states, spectra, and controllability ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Existence of secondary bifurcations or isolas for PDEs ⋮ Global smooth solution curves using rigorous branch following ⋮ Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs ⋮ Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation ⋮ A general framework for validated continuation of periodic orbits in systems of polynomial ODEs ⋮ Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach ⋮ Exclusion regions for parameter-dependent systems of equations ⋮ BIFURCATION ANALYSIS OF THE SWIFT–HOHENBERG EQUATION WITH QUINTIC NONLINEARITY ⋮ Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem ⋮ Stationary Coexistence of Hexagons and Rolls via Rigorous Computations

Uses Software

INTLAB

This page was built for publication: Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation