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

From MaRDI portal
Publication:4653136

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



Related Items

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