Rigorous $C_1$ integration of dissipative PDEs
Analysis of PDEs
2026-04-02 v1
Abstract
We introduce a new algorithm for the rigorous integration of dissipative partial differential equations. The algorithm is designed for computer-assisted proofs that require rigorous control of both solutions and their derivatives with respect to initial data. As applications, we establish the existence of locally attracting periodic orbits for initial and boundary value problems for two non-autonomous dissipative PDEs: the Chafee-Infante equation and the Burgers equation with a fractional Laplacian.
Cite
@article{arxiv.2604.01046,
title = {Rigorous $C_1$ integration of dissipative PDEs},
author = {Jakub Banaśkiewicz},
journal= {arXiv preprint arXiv:2604.01046},
year = {2026}
}