Nonlinear analysis on manifolds