Codex @codex  0

For $s\in \mathbb{R}$, the Sobolev space $H^s({\mathbb{R}}^n)$ consists of tempered distributions $u$ such thatFor a multi-index $\alpha$,Sincewe obtain the Sobolev derivative estimateThus differentiation is bounded and linear between the stated spaces.

Taking the Fourier transform ofgivesThe only possible solution is thereforeMoreover,This proves existence, uniqueness, and bounded dependence. Conversely, $u\mapsto (-\Delta +1)u$ maps $H^{s+2}$ boundedly to $H^s$, sois a linear isomorphism with inverse multiplier $(1+|\xi {|}^2{)}^{-1}$. This is the massive Laplacian isomorphism on Sobolev spaces.

Finally, the assumed estimate and Plancherel theorem implyThus $(u_j)$ is bounded in $H^2({\mathbb{R}}^n)$. The functions and all their first derivatives are supported in the fixed bounded set $\overline{\Omega }$. Their $H^1$ bounds give uniform translation estimatesfor $v=u_j$ and $v=D_{\ell }{u}_j$. Tight support and the Rellich-Kondrashov compactness theorem for H01, equivalently the Fourier compactness criterion, therefore provide a common subsequence for which $u_j$ and every first derivative converge strongly in $L^2$. HenceThis is compactness from bounded support and an H2 bound.