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

No abstract is available for this paper.

• Publication year

  2005

• Venue

  SIAM Journal on Applied Dynamical Systems

• Publication date

  Unknown publication date

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1137/040604479
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Dynamical Systems

  2021cited by this paper
• A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems

  2004cited by this paper
• Topological techniques for efficient rigorous computation in dynamics

  2002cited by this paper
• TOWARDS A RIGOROUS NUMERICAL STUDY OF THE KOT{SCHAFFER MODEL

  2002cited by this paper
• Rigorous Numerics for Partial Differential Equations: The Kuramoto—Sivashinsky Equation

  2000cited by this paper
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem

  1998influential reference
• [The change of serum alpha 1-antitrypsin level in patients with spontaneous pneumothorax].

  1995cited by this paper
• Global asymptotic dynamics of gradient-like bistable equations

  1995cited by this paper
• C-Xsc: A C++ Class Library for Extended Scientific Computing

  1993cited by this paper
• The connection matrix theory for Morse decompositions

  1989cited by this paper
• Lectures on Numerical Methods in Bifurcation Problems

  1988cited by this paper
• Dynamical systems, shape theory and the Conley index

  1988cited by this paper
• Some global dynamical properties of the Kuramoto-Sivashinsky equations: nonlinear stability and attr

  1985cited by this paper
• Lecture Notes in Math

  1984cited by this paper
• The Conley Index

  1983cited by this paper
• Isolated Invariant Sets and the Morse Index

  1978cited by this paper
• Hydrodynamic fluctuations at the convective instability

  1977cited by this paper

• Wong-Zakai approximations and random attractors for non-autonomous stochastic discrete modified Swift-Hohenberg equations

  2025cites this paper
• Computer assisted existence proofs for parameterized cycle-to-cycle connections

  2025cites this paper
• Existence, Ergodicity and Exponential Mixing of Invariant Measures for Modified Swift-Hohenberg Lattice Systems Driven by Superlinear Noise

  2025influential citation
• Stability Analysis of Random Attractors for Stochastic Modified Swift–Hohenberg Equations with Delays

  2024cites this paper
• Computer assisted proofs for transverse heteroclinics by the parameterization method

  2024cites this paper
• Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: Constructive proofs of existence

  2024cites this paper
• A Rigorous Integrator and Global Existence for Higher-Dimensional Semilinear Parabolic PDEs via Semigroup Theory

  2024cites this paper
• A framework for rigorous computational methods using Haar wavelets for differential equations

  2023cites this paper
• Toward Computational Morse–Floer Homology: Forcing Results for Connecting Orbits by Computing Relative Indices of Critical Points

  2023cites this paper
• Asymptotic stability of evolution systems of probability measures of stochastic discrete modified Swift–Hohenberg equations

  2023cites this paper
• Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd

  2023cites this paper
• Towards computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points

  2022cites this paper
• Constructive proofs for localized radial solutions of semilinear elliptic systems on $\mathbb{R}^d$

  2022cites this paper
• Microscopic patterns in the 2D phase-field-crystal model

  2021cites this paper
• Rigorous numerics for ODEs using Chebyshev series and domain decomposition

  2021cites this paper
• Validated Numerical Approximation of Stable Manifolds for Parabolic Partial Differential Equations

  2020cites this paper
• Global dynamics in nonconservative nonlinear Schrödinger equations

  2020influential citation
• Orbital stability investigations for travelling waves in a nonlinearly supported beam

  2019cites this paper
• Computer-Assisted Proofs for Dynamical Systems

  2019cites this paper
• Lattice Structures for Attractors III

  2019cites this paper
• Computing Discrete Convolutions with Verified Accuracy Via Banach Algebras and the FFT

  2018cites this paper
• Computer-assisted proofs in PDE: a survey

  2018cites this paper
• Validated Chebyshev-based Computations for Ordinary and Partial Differential Equations

  2018cites this paper
• Multi-hump solutions with small oscillations at infinity for stationary Swift–Hohenberg equation

  2017cites this paper
• Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity

  2017cites this paper
• Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model

  2017cites this paper
• Rigorous Computation of Non-uniform Patterns for the 2-Dimensional Gray-Scott Reaction-Diffusion Equation

  2017cites this paper
• Numerical verification for solutions to partial differential equations

  2017cites this paper
• Rigorous Numerics for ill-posed PDEs: Periodic Orbits in the Boussinesq Equation

  2017cites this paper
• Rigorous Computation of Non-uniform Patterns for the 2-Dimensional Gray-Scott Reaction-Diffusion Equation

  2017cites this paper
• Periodic solutions and homoclinic solutions for a Swift-Hohenberg equation with dispersion

  2016cites this paper
• Bifurcation in the Swift–Hohenberg Equation

  2016cites this paper
• A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations

  2016influential citation
• Automatic differentiation for Fourier series and the radii polynomial approach

  2016cites this paper
• Computation of Smooth Manifolds Via Rigorous Multi-parameter Continuation in Infinite Dimensions

  2015cites this paper
• Applications of Mathematics

  2015cites this paper
• Rigorous Numerics for ill-posed PDEs: Periodic Orbits in the Boussinesq Equation

  2015influential citation
• Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits

  2015cites this paper
• On verified computations of solutions for nonlinear parabolic problems

  2014cites this paper
• Computer Assisted Proof of Transverse Saddle-to-Saddle Connecting Orbits for First Order Vector Fields

  2014cites this paper
• Optimal Variational Asymptotic Method for Nonlinear Fractional Partial Differential Equations

  2014cites this paper
• Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series

  2014cites this paper
• Numerical verification method of solutions for nonlinear elliptic and evolutional problems (Mathematical Analysis of Viscous Incompressible Fluid : RIMS研究集会報告集)

  2014cites this paper
• Efficient and Generic Algorithm for Rigorous Integration Forward in Time of dPDEs: Part I

  2013cites this paper
• Lattice Structures for Attractors II

  2013cites this paper
• Rigorous numerics for stationary solutions of dissipative PDEs - Existence and local dynamics -

  2013cites this paper
• Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates

  2013cites this paper
• Existence of globally attracting fixed points of viscous Burgers equation with constant forcing. A computer assisted proof

  2013cites this paper
• Dynamical bifurcation of the two dimensional Swift-Hohenberg equation with odd periodic condition

  2012cites this paper
• Principles of Homotopy Analysis

  2012cites this paper
• Combinatorial-topological framework for the analysis of global dynamics.

  2012cites this paper
• CONNECTING ORBITS IN NONLINEAR SYSTEMS VICI GRANT PROPOSAL

  2012cites this paper
• Computational Proofs in Dynamics

  2012cites this paper
• Rigorous computation of smooth branches of equilibria for the three dimensional Cahn–Hilliard equation

  2011cites this paper
• Analytical and numerical results for the Swift-Hohenberg equation

  2010cites this paper
• Global smooth solution curves using rigorous branch following

  2010cites this paper
• Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs

  2010cites this paper
• Computer-assisted proofs for semilinear elliptic boundary value problems

  2009cites this paper
• On Characterization of the Solution Set in Case of Generalized Semiflow

  2009cites this paper
• Bifurcation Analysis of the swift-Hohenberg equation with quintic Nonlinearity

  2009cites this paper
• Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift-Hohenberg Equation

  2008influential citation
• トポロジー・計算・ダイナミクス

  2008cites this paper
• Validated continuation over large parameter ranges for equilibria of PDEs

  2008cites this paper
• Rigorous Numerics for the Cahn-Hilliard Equation on the Unit Square

  2008cites this paper
• Validated Continuation for Infinite Dimensional Problems

  2007cites this paper
• Structure of the Attractor of the Cahn-hilliard equation on a Square

  2007cites this paper
• An efficient estimate based on FFT in topological verification method

  2007cites this paper
• A Hermite spectral method for the computation of homoclinic orbits and associated functionals

  2007cites this paper
• Validated Continuation for Equilibria of PDEs

  2007cites this paper
• A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam

  2006cites this paper
• Mathematik Rigorous Numerics for the Cahn-Hilliard Equation on the Unit Square by Stanislaus Maier-Paape

  2006cites this paper
• Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation

  2005cites this paper
• Cahn-Hilliard Equation on a Square

  2005cites this paper
• RHEINISCH-WESTFÄLISCHE TECHNISCHE HOCHSCHULE AACHEN

  2005cites this paper
• Formally Verifying an Algorithm Based on Interval Arithmetic for Checking Transversality

  2004cites this paper
• CONLEY INDEX AND NUMERICAL VERIFICATION

  2004cites this paper
• Efficient rigorous numerics for high-dimensional PDEs via one-dimensional estimates

  year unknowncites this paper