Profile decomposition modulo translations

Every bounded sequence $(u_n)$ in $H^1({\mathbb{R}}^d)$ has, after passage to a subsequence, a decompositionwhere $|x_n^j-x_n^k|\to \infty$ for $j\ne k$, the $L^2$ and gradient norms decouple asymptotically, andfor every $2<p<2^{\ast }$.