I am trying to solve the simple Eigenvalue problem
$-\Delta{u}=\lambda u, \; u = 0$ on $\partial{\Omega}$
in Sobolev spaces on a smooth exterior (and thus unbounded) domain $\Omega \subset \mathbb{R}^{n}$. Unfortunately, the Rellich-Kondrachov compactness theorem cannot be used on $\Omega$.
I read something online about using weighted Sobolev Spaces, but didn´t find any concrete references and now tried to do it on my own.
I am trying to prove the compactness of the embedding of $H^{1}_{0}(\Omega,\omega)$ in $L^{2}(\Omega,\omega)$, where $H^{1}_{0}(\Omega,\omega)$ is the completion of $C^{\infty}_{c}(\Omega)$ in regards to the norm $||u||^{2}:=\int_{\Omega}|u|^{2}\omega + |Du|^{2}$, where $\omega(x)=1/|x|^{2+\delta}$ for some small $\delta > 0$.
My idea: Let $(u_{n}) \subset H^{1}_{0}(\Omega,\omega)$ be a bounded set. Using the Hardy inequality i get $\int_{\Omega/B_{R}(0)}|u_{n}|^{2}\omega \le 1/|R|^{\delta} \cdot C \cdot \int_{\Omega/B_{R}(0)}|Du_{n}|^{2}$, which can be made $< \epsilon$ for sufficiently large $R$.
On $B_{R}(0)\cap \Omega$ I use the classic Rellich-Kondrachov theorem to find a finite number of functions in $L^{2}(\Omega\cap B_{R}(0),\omega)$ which cover the $u_{n}$ up to $\epsilon$. Thus, the $u_{n}$ are totally bounded.
Does this make sense?