Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
From MaRDI portal
Publication:4653136
DOI10.1137/040604479zbMATH Open1058.35050OpenAlexW2001675348MaRDI QIDQ4653136FDOQ4653136
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)
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
Cited in
(46)- Periodic solutions and homoclinic solutions for a Swift-Hohenberg equation with dispersion
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- Multi-hump solutions with small oscillations at infinity for stationary Swift-Hohenberg equation
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Global dynamics in nonconservative nonlinear Schrödinger equations
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
- Global smooth solution curves using rigorous branch following
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Automatic differentiation for Fourier series and the radii polynomial approach
- Validated saddle-node bifurcations and applications to lattice dynamical systems
- 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
- Optimal variational asymptotic method for nonlinear fractional partial differential equations
- Microscopic patterns in the 2D phase-field-crystal model
- The phase dynamics method with applications to the Swift-Hohenberg equation
- Asymptotic stability of evolution systems of probability measures of stochastic discrete modified Swift-Hohenberg equations
- Validated numerical approximation of stable manifolds for parabolic partial differential equations
- Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd
- Numerical study of the vector complex Swift-Hohenberg equation
- A Hermite spectral method for the computation of homoclinic orbits and associated functionals
- Combinatorial-topological framework for the analysis of global dynamics
- STRUCTURE OF THE ATTRACTOR OF THE CAHN–HILLIARD EQUATION ON A SQUARE
- Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation
- Analytical and numerical results for the Swift-Hohenberg equation
- Rigorous Numerics in Dynamics
- Numerical simulation and analysis of the Swift-Hohenberg equation by the stabilized Lagrange multiplier approach
- Computer-assisted proofs in PDE: a survey
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation
- An efficient estimate based on FFT in topological verification method
- Bifurcation analysis of the Swift-Hohenberg equation with quintic nonlinearity
- Orbital stability investigations for travelling waves in a nonlinearly supported beam
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Computer assisted Fourier analysis in sequence spaces of varying regularity
- Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
- Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities
- Numerical verification for solutions to partial differential equations
- On characterization of the solution set in case of generalized semiflow
- Computing linear extensions for polynomial posets subject to algebraic constraints
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
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)
