A global compactness result with applications to a Hardy-Sobolev critical elliptic system involving coupled perturbation terms

In this article, we study a Hardy-Sobolev critical elliptic system involving coupled perturbation terms: {-Delta u + V-1(x)u = eta(1)/eta(1) + eta(2) vertical bar u vertical bar(eta 1-2) u vertical bar v vertical bar(eta 2)/vertical bar x'vertical bar + alpha/alpha + beta Q(x)vertical bar u vertical bar(alpha-2) u vertical bar v vertical bar(beta), {-Delta v + V-2(x)v = eta(2)/eta(1) + eta(2) vertical bar v vertical bar(eta 2-2) v vertical bar u vertical bar(eta 1)/vertical bar x'vertical bar + beta/alpha + beta Q(x)vertical bar v vertical bar(beta-2) v vertical bar u vertical bar(alpha), (0.1) where n >= 3, 2 <= m < n, x := (x', x '') is an element of R(m )x Rn-m, eta(1), eta(2) > 1, and eta(1) + eta(2) = 2(n - 1)/n - 2, alpha, beta > 1 and alpha + beta 2n/n - 2, and V-1(x), V-2(x), Q(x) is an element of C(R-n). Observing that (0.1) is doubly coupled, we first develop two efficient tools (i.e., a refined Sobolev inequality and a variant of the "Vanishing" lemma). On the previous tools, we will establish a global compactness result (i.e., a complete description for the Palais-Smale sequences of the corresponding energy functional) and some existence result for (0.1) via variational method. Our strategy turns out to be very concise because we avoid the use of Levy concentration functions and truncation techniques.