Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation

zbMath0984.65101arXivmath/0005247MaRDI QIDQ5945647

Konstantin Mischaikow, Piotr Zgliczyński

Publication date: 12 May 2002

Published in: Foundations of Computational Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0005247

zbMATH Keywords

Kuramoto-Sivashinsky equationConley indexsmall perturbationcomputer-assisted proofdynamics of dissipative partial differential equationsGalerkin projections

Mathematics Subject Classification ID

Related Items (45)

Microscopic patterns in the 2D phase-field-crystal model ⋮ On computer-assisted proving the existence of periodic and bounded orbits ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations ⋮ An efficient estimate based on FFT in topological verification method ⋮ Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model ⋮ Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation ⋮ A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory ⋮ Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd ⋮ Rigorous numerics for fast-slow systems ⋮ A computer assisted study of uniqueness of ground state solutions ⋮ Validated numerical approximation of stable manifolds for parabolic partial differential equations ⋮ Families of Periodic Solutions for Some Hamiltonian PDEs ⋮ Smooth self-similar imploding profiles to 3D compressible Euler ⋮ A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity ⋮ Nonlinear two-point boundary value problems: applications to a cholera epidemic model ⋮ Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ On smooth dependence on initial conditions for dissipative PDEs, an ODE-type approach. ⋮ Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I ⋮ Computer-assisted proofs for radially symmetric solutions of PDEs ⋮ An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs ⋮ Fixed points of a destabilized Kuramoto-Sivashinsky equation ⋮ Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof ⋮ Computer-assisted equilibrium validation for the diblock copolymer model ⋮ Analysis and computations of a non-local thin-film model for two-fluid shear driven flows ⋮ Structure of crossed products by strictly proper actions on continuous-trace algebras ⋮ A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE ⋮ Global smooth solution curves using rigorous branch following ⋮ Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs ⋮ Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation ⋮ Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation ⋮ A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition ⋮ An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator ⋮ Rigorous numerical computations for 1D advection equations with variable coefficients ⋮ Computer-assisted proofs in PDE: a survey ⋮ Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE ⋮ A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line ⋮ Global dynamics in nonconservative nonlinear Schrödinger equations ⋮ Orbital stability investigations for travelling waves in a nonlinearly supported beam ⋮ Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof ⋮ Rigorous FEM for One-Dimensional Burgers Equation ⋮ Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation ⋮ Rigorous numerics for nonlinear operators with tridiagonal dominant linear part

This page was built for publication: Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation