Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
From MaRDI portal
Publication:4653136
DOI10.1137/040604479zbMATH Open1058.35050OpenAlexW2001675348MaRDI QIDQ4653136FDOQ4653136
Authors: Sarah L. Day, Yasuaki Hiraoka, K. Mischaikow, Toshiyuki Ogawa 
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
Recommendations
- Rigorous verification of bifurcations of differential equations via the Conley index theory
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
- A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
- Topological dynamics: rigorous numerics via cubical homology
- Conley index and numerical verification
A priori estimates in context of PDEs (35B45) 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) Theoretical approximation in context of PDEs (35A35)
Cited In (45)
- Optimal variational asymptotic method for nonlinear fractional partial differential equations
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Periodic solutions and homoclinic solutions for a Swift-Hohenberg equation with dispersion
- Global dynamics in nonconservative nonlinear Schrödinger equations
- Asymptotic stability of evolution systems of probability measures of stochastic discrete modified Swift-Hohenberg equations
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
- Numerical study of the vector complex Swift-Hohenberg equation
- On characterization of the solution set in case of generalized semiflow
- Microscopic patterns in the 2D phase-field-crystal model
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation
- Computing Linear Extensions for Polynomial Posets Subject to Algebraic Constraints
- Rigorous Numerics in Dynamics
- Bifurcation analysis of the Swift-Hohenberg equation with quintic nonlinearity
- Automatic differentiation for Fourier series and the radii polynomial approach
- Computer-assisted proofs in PDE: a survey
- STRUCTURE OF THE ATTRACTOR OF THE CAHN–HILLIARD EQUATION ON A SQUARE
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
- A Hermite spectral method for the computation of homoclinic orbits and associated functionals
- Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities
- Multi-hump solutions with small oscillations at infinity for stationary Swift–Hohenberg equation
- An efficient estimate based on FFT in topological verification method
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
- Numerical simulation and analysis of the Swift-Hohenberg equation by the stabilized Lagrange multiplier approach
- Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
- Combinatorial-topological framework for the analysis of global dynamics
- 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 verification of bifurcations of differential equations via the Conley index theory
- Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points
- Orbital stability investigations for travelling waves in a nonlinearly supported beam
- Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd
- Validated numerical approximation of stable manifolds for parabolic partial differential equations
- The phase dynamics method with applications to the Swift-Hohenberg equation
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Numerical verification for solutions to partial differential equations
- Global smooth solution curves using rigorous branch following
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
- Analytical and numerical results for the Swift-Hohenberg equation
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
Uses Software
This page was built for publication: Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4653136)
