Applied functional analysis