Attracting Fixed Points for the Kuramoto--Sivashinsky Equation: A Computer Assisted Proof
From MaRDI portal
Publication:4785604
DOI10.1137/S111111110240176XzbMath1004.35017MaRDI QIDQ4785604
Publication date: 5 January 2003
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
Stability in context of PDEs (35B35) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30) A priori estimates in context of PDEs (35B45) Special approximation methods (nonlinear Galerkin, etc.) for infinite-dimensional dissipative dynamical systems (37L65) Algorithms with automatic result verification (65G20)
Related Items (13)
Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Continuation of solutions and studying delay differential equations via rigorous numerics ⋮ Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model ⋮ Nonlinear two-point boundary value problems: applications to a cholera epidemic model ⋮ Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I ⋮ Fixed points of a destabilized Kuramoto-Sivashinsky equation ⋮ Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof ⋮ Analysis and computations of a non-local thin-film model for two-fluid shear driven flows ⋮ A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition ⋮ A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line ⋮ Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof ⋮ Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation ⋮ Fredholm transform and local rapid stabilization for a Kuramoto-Sivashinsky equation
This page was built for publication: Attracting Fixed Points for the Kuramoto--Sivashinsky Equation: A Computer Assisted Proof
