Análise Não-linear em Variedades