2016, Cyril Tintarev, “Four proofs of cocompacness for Sobolev embeddings”, in arXiv[1]:
This note is an exposition of different proofs of cocompactness for Sobolev-type embeddings, which employ methods of classical PDE, potential theory, and harmonic analysis.