Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs

zbMath1230.65113MaRDI QIDQ647561

Piotr Zgliczyński

Publication date: 23 November 2011

Published in: Topological Methods in Nonlinear Analysis (Search for Journal in Brave)

zbMATH Keywords

periodic orbitsnumerical examplesrigorous numericsGalerkin projectioncomputer assisted proofdissipative PDEsKuramoto-Sivashinsky PDE

Mathematics Subject Classification ID

Related Items (24)

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation ⋮ A general method for computer-assisted proofs of periodic solutions in delay differential problems ⋮ Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Numerical validation of blow-up solutions of ordinary differential equations ⋮ Numerical verification for solutions to partial differential equations ⋮ Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory ⋮ Families of Periodic Solutions for Some Hamiltonian PDEs ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I ⋮ Fixed points of a destabilized Kuramoto-Sivashinsky equation ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE ⋮ Constructive error estimates for full discrete approximation of periodic solution for heat equation ⋮ A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line ⋮ Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model ⋮ 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 ⋮ Rigorous numerical verification of uniqueness and smoothness in a surface growth model ⋮ Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation

This page was built for publication: Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs