Applied functional analysis - Aubin, Jean-Pierre (Pure and Applied Mathematics, 2000)