Rigorous numerics for ill-posed PDEs:
periodic orbits in the Boussinesq equation

Roberto Castelli, Marcio Gameiro and Jean-Philippe Lessard

In this paper, we develop some computer-assisted techniques for the analysis of periodic orbits of ill-posed partial differential equations. As a case study, our proposed method is applied to the Boussinesq equation, which has been investigated extensively because of its role in the theory of shallow water waves. The idea is to use the symmetry of the solutions and a Newton-Kantorovich type argument (the radii polynomial approach), to obtain rigorous proof of existence of periodic orbits in a weighted ell-one Banach space of space-time Fourier coefficients with geometric decay. We present several computer-assisted proofs of existence of periodic orbits at different parameter values.


The paper in its pdf form can be found here.

Here are the MATLAB codes to perform the computer-assisted proofs of Theorems 4.1, 4.2, 4.3 and 4.4.
The codes require installing and starting the interval arithmetic package INTLAB.