Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
This work provides a rigorous numerical framework for proving existence of periodic orbits in ill-posed PDEs, which is a challenging problem for mathematicians studying nonlinear wave equations.
The authors developed computer-assisted techniques to rigorously prove the existence of periodic orbits in ill-posed PDEs, specifically the Boussinesq equation, using a Newton-Kantorovich argument. They provided several computer-assisted proofs at different parameter values.
In this paper, we develop 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 proofs of existence of the periodic orbits in a weighted $\ell^1$ 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.