Struwe's Global Compactness and energy approximation of the critical Sobolev embedding in the Heisenberg group

We investigate some of the effects of the lack of compactness in the critical Folland-Stein-Sobolev embedding in very general (possible non-smooth) domains, by proving via De Giorgi’s $\mathrm{\Gamma }$-convergence techniques that optimal functions for a natural subcritical approximations of the Sobolev quotient concentrate energy at one point. In the second part of the paper, we try to restore the compactness by extending the celebrated Global Compactness result to the Heisenberg group via a completely different approach with respect to the original one by Struwe [37].