Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
From MaRDI portal
Publication:717163
DOI10.1007/s00205-010-0309-7zbMath1231.35016MaRDI QIDQ717163
Publication date: 27 September 2011
Published in: Archive for Rational Mechanics and Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00205-010-0309-7
35K55: Nonlinear parabolic equations
70K50: Bifurcations and instability for nonlinear problems in mechanics
35B32: Bifurcations in context of PDEs
37M20: Computational methods for bifurcation problems in dynamical systems
Related Items
Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos, Computer-assisted bifurcation diagram validation and applications in materials science, Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof, Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds, Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem, Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation, A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations, Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem, A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE, Rigorous verification of saddle-node bifurcations in ODEs, Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra, Optimization of the forcing term for the solution of two-point boundary value problems, A computer assisted study of uniqueness of ground state solutions, Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation, Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof, A new branch of mountain pass solutions for the choreographical 3-body problem, Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation, Rigorous continuation of bifurcation points in the diblock copolymer equation, Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds, Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation, Computer-assisted proofs for radially symmetric solutions of PDEs, An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces, Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems, Families of Periodic Solutions for Some Hamiltonian PDEs, Validated Computation of Heteroclinic Sets
Cites Work
- Unnamed Item
- A smooth center manifold theorem which applies to some ill-posed partial differential equations with unbounded nonlinearities
- Approximate inertial manifolds for the Kuramoto-Sivashinsky equation: Analysis and computations
- Semigroups of linear operators and applications to partial differential equations
- Global analysis of the phase portrait for the Kuramoto-Sivashinsky equation
- A global attracting set for the Kuramoto-Sivashinsky equation
- Spatial analyticity on the global attractor for the Kuramoto-Sivashinsky equation
- Two novel methods and multi-mode periodic solutions for the Fermi-Pasta-Ulam model
- Back in the Saddle Again: A Computer Assisted Study of the Kuramoto–Sivashinsky Equation
- Nonlinear analysis of hydrodynamic instability in laminar flames—I. Derivation of basic equations
- Existence and persistence of invariant manifolds for semiflows in Banach space
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
