Discreteness and simplicity of the spectrum of a quasilinear Sturm-Liouville-type problem on an infinite interval

We present sufficient conditions on the coefficients to get the discreteness and simplicity of the spectrum of a quasilinear Sturm-Liouville-type problem on an infinite interval. This condition appears to be necessary and sufficient for the compact embedding of certain weighted spaces. Our result generalizes those which are known from linear theory.