Nonlinear functional analysis and its application 0.125 variational methods and optimization - Springer verlag 1985