Fourier proof of Rellich compactness
= Fourier proof of Rellich compactness
{c}
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.