Compactness from bounded support and an H2 bound
= Compactness from bounded support and an H2 bound
A sequence bounded in $H^2(\mathbb R^n)$ whose members are supported in one bounded set has a subsequence converging strongly in $H^1(\mathbb R^n)$. Apply Rellich compactness simultaneously to the functions and their first derivatives.