Compact embedding of the harmonic-oscillator energy space
= Compact embedding of the harmonic-oscillator energy space
The embedding $\Sigma\hookrightarrow L^2(\mathbb R^d)$ is compact. Rellich compactness controls a fixed ball, while
$$
\int_{|x|>R}|v|^2\leq R^{-2}\||x|v\|_2^2
$$
controls the tail uniformly.