Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation

DOI10.1137/040604479zbMath1058.35050OpenAlexW2001675348MaRDI QIDQ4653136

Sarah L. Day, Toshiyuki Ogawa, Konstantin Mischaikow, Yasuaki Hiraoka

Publication date: 28 February 2005

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

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

zbMATH Keywords

Conley index bifurcation diagrams continuation methods semiconjugacy

Mathematics Subject Classification ID

A priori estimates in context of PDEs (35B45) Theoretical approximation in context of PDEs (35A35) Continuation and prolongation of solutions to PDEs (35B60) Index theory for dynamical systems, Morse-Conley indices (37B30) Inertial manifolds and other invariant attracting sets of infinite-dimensional dissipative dynamical systems (37L25)

Related Items (35)

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Microscopic patterns in the 2D phase-field-crystal model ⋮ Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions ⋮ Unnamed Item ⋮ A Hermite spectral method for the computation of homoclinic orbits and associated functionals ⋮ Computer-assisted proofs for semilinear elliptic boundary value problems ⋮ An efficient estimate based on FFT in topological verification method ⋮ Numerical verification for solutions to partial differential equations ⋮ Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model ⋮ Combinatorial-topological framework for the analysis of global dynamics ⋮ Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation ⋮ STRUCTURE OF THE ATTRACTOR OF THE CAHN–HILLIARD EQUATION ON A SQUARE ⋮ Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd ⋮ 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 ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I ⋮ Optimal variational asymptotic method for nonlinear fractional partial differential equations ⋮ Rigorous numerics for ODEs using Chebyshev series and domain decomposition ⋮ Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields ⋮ Analytical and numerical results for the Swift-Hohenberg equation ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Global smooth solution curves using rigorous branch following ⋮ A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam ⋮ Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs ⋮ Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation ⋮ Periodic solutions and homoclinic solutions for a Swift-Hohenberg equation with dispersion ⋮ BIFURCATION ANALYSIS OF THE SWIFT–HOHENBERG EQUATION WITH QUINTIC NONLINEARITY ⋮ Computer-assisted proofs in PDE: a survey ⋮ Global dynamics in nonconservative nonlinear Schrödinger equations ⋮ Orbital stability investigations for travelling waves in a nonlinearly supported beam ⋮ Computing Linear Extensions for Polynomial Posets Subject to Algebraic Constraints

Uses Software

Unnamed Item

This page was built for publication: Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation