Nonlinear functional analysis and applications