Density results and trace operator in weighted Sobolev spaces defined on the half-line, equipped with power weights

We study properties of $W_0^{1,p}(R_{+},t^{\beta })$ — the completion of $C_0^{\infty }\left(R_{+}\right)$ in the power-weighted Sobolev spaces $W^{1,p}(R_{+},t^{\beta })$, where $\beta \in R$. Among other results, we obtain the analytic characterization of $W_0^{1,p}(R_{+},t^{\beta })$ for all $\beta \in R$. Our analysis is based on the precise study of the two trace operators: $T{r}^0\left(u\right)≔{lim}_{t\to 0}u\left(t\right)$ and $T{r}^{\infty }\left(u\right)≔{lim}_{t\to \infty }u\left(t\right)$, which leads to the analysis of the asymptotic behavior of functions from $W_0^{1,p}(R_{+},t^{\beta })$ near zero or infinity. The obtained statements can contribute to the proper formulation of Boundary Value Problems in ODEs, or PDEs with the radial symmetries. We can also apply our results to some questions in the complex interpolation theory, raised by Cwikel and Einav (2019), which we discuss within the particular case of Sobolev spaces $W^{1,p}(R_{+},t^{\beta })$.