Variational Methods in Nonlinear Analysis