 Fourier proof of Rellich compactness

Weak convergence on a bounded domain gives pointwise convergence of Fourier transforms and dominated convergence on bounded frequency balls. A uniform derivative bound controls the complementary high-frequency tails.