In determining some of the spectral properties of the p(X)-Laplace operator, one can use variational methods. So i need to be be guided on the most appropriate technique or principle or theorem applied to prove that the set of all eigenvalues of such operators is discrete.