It is well known that $H^1(I)$ is compactly embedded in $C(I)$ where $I$ is bounded interval of $\mathbb{R}$, which is not correct for $I$ unbounded.
So, I search about a functional space $Y$ such that the Sobolev space $H^1(0,+\infty)$ is compactly embedded in $Y$.