Inclusions and Existence Proofs for Solutions of a Nonlinear Boundary Value Problem by Spectral Numerical Methods