Concentration Compactness: Functional-analytic Grounds And Applications