Minimizing sequences of Sobolev inequalities revisited

We give a new proof of the compactness of minimizing sequences of the Sobolev inequalities in the critical case. Our approach relies on a simplified version of the concentration-compactness principle, which does not require any refinement of the Sobolev embedding theorem.