Applied functional analysis - Aubin, Jean Pierre (Pure and applied mathematics series, 1995)