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
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
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