Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
From MaRDI portal
(Redirected from Publication:4653136)
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
(50)- 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
- Stability analysis of random attractors for stochastic modified Swift-Hohenberg equations with delays
- 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
- Wong-Zakai approximations and random attractors for non-autonomous stochastic discrete modified Swift-Hohenberg equations
- 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
- Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
- Bifurcation analysis of the Swift-Hohenberg equation with quintic nonlinearity
- Rigorous Numerics in Dynamics
- Automatic differentiation for Fourier series and the radii polynomial approach
- Computer-assisted proofs in PDE: a survey
- Computer assisted Fourier analysis in sequence spaces of varying regularity
- 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
- 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
- Multi-hump solutions with small oscillations at infinity for stationary Swift-Hohenberg equation
- Computing linear extensions for polynomial posets subject to algebraic constraints
- 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 error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Existence, ergodicity and exponential mixing of invariant measures for modified Swift-Hohenberg lattice systems driven by superlinear noise
- Rigorous verification of bifurcations of differential equations via the Conley index theory
- Orbital stability investigations for travelling waves in a nonlinearly supported beam
- Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points
- Validated saddle-node bifurcations and applications to lattice dynamical systems
- Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd
- The phase dynamics method with applications to the Swift-Hohenberg equation
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Validated numerical approximation of stable manifolds for parabolic partial differential equations
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
- Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
- Computer assisted existence proofs for parameterized cycle-to-cycle connections
- 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
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)
