Rigorous computation of solutions of semi-linear PDEs on unbounded domains via spectral methods