Rigorous numerics for nonlinear operators with tridiagonal dominant linear part

Maxime Breden, Laurent Desvillettes, Jean-Philippe Lessard

We present a method designed for computing solutions of infinite dimensional non linear operators $f(x)=0$ with a tridiagonal dominant linear part. We recast the operator equatio…