Failure of Rellich compactness on an unbounded domain
= Failure of Rellich compactness on an unbounded domain
Translations of one nonzero compactly supported smooth function have equal $W^{1,p}$ norms. On an unbounded domain they can have pairwise disjoint supports, so their mutual $L^p$ distances stay fixed and no subsequence converges in $L^p$.