The spectral analysis of the compressible Euler equations is a key for a rigorous proof of the validity of sound-proof models for atmospheric models. Starting from an orthogonality result for the compressible eigenfunctions of a nonlinear Sturm-Liouville problem we prove Sobolev regularity of the eigenfunctions corresponding to internal waves and sound waves.