Consideremos el espacio de Hilbert
$$X(\mathbb{R}^{N})=\left\{u\in H^{1}(\mathbb{R}^{N}); \;\int_{\mathbb{R}^{N}}\left|x\right|^{2}\left|u\right|^{2}dx<\infty\right\}$$ equipado con la norma $$\|u\|^{2}_{X}=\int_{\mathbb{R}^{N}}\left(\left|\nabla u\right|^{2}+\left|x\right|^{2}\left|u\right|^{2}\right)dx.$$ Para $N=1$ es fácil demostrar que $X(\mathbb{R}^{})\hookrightarrow L^{1}(\mathbb{R})$ . Si $N\geq2$ ¿es cierto que $X(\mathbb{R}^{N})\hookrightarrow L^{1}(\mathbb{R}^{N})$ ? Gracias por sus comentarios.
Respuesta
¿Demasiados anuncios?
La afirmación es falsa. En primer lugar, veamos la $\mathbb{R}^2$ caso. Consideremos la función \begin{align} u(x) = \begin{cases} e^{-2} & \text{ if } |x|<e, \\ \frac{1}{|x|^2\log|x|} & \text{ if } |x|\geq e. \end{cases} \end{align} Observe $u \notin L^1(\mathbb{R}^2)$ y $u \in L^2(\mathbb{R}^2)$ desde \begin{align} \int_{\mathbb{R}^2} |u(x)|\ dx = \pi+ \int_{|x|\geq e} \frac{dx}{|x|^2\log |x|} = \pi+ 2\pi\int^\infty_e \frac{dr}{r \log r} = \infty \end{align} y \begin{align} \int_{\mathbb{R}^2} |u(x)|^2\ dx = \frac{\pi}{e^2}+2\pi \int^\infty_e \frac{dr}{r^3(\log r)^2}<\infty \end{align} Ahora, mostremos $u \in X(\mathbb{R}^2)$ . Observe \begin{align} |\nabla u| = \begin{cases} 0 & \text{ if } |x|<e,\\ \frac{2\log |x|+1}{|x|^3(\log |x|)^2} & \text{ if } |x|\geq e. \end{cases} \end{align}
lo que significa \begin{align} \int_{\mathbb{R}^2} |\nabla u|^2 \leq 9\int_{|x|\geq e} \frac{dx}{|x|^6(\log |x|)^2}<\infty. \end{align} Por último, tenemos \begin{align} \int_{\mathbb{R}^2} |x|^2|u(x)|^2\ dx = C + \int_{|x|\geq e} \frac{dx}{(|x|\log |x|)^2} = C + 2\pi \int ^\infty_e \frac{dr}{r (\log r)^2}<\infty. \end{align} En efecto, $u \in X(\mathbb{R}^2)$ pero $u \notin L^1(\mathbb{R}^2)$ .
Para el caso $N>2$ basta con considerar la función \begin{align} u(x) = \begin{cases} 1 & \text{ if } |x|<1,\\ |x|^{-N} & \text{ if } |x|\geq 1 \end{cases} . \.
Edición: Para el caso $N=2$ y $0<\epsilon<1$ vemos por la desigualdad de Holder \begin{align} \int_{\mathbb{R}^2} |u|^{2-\epsilon}\ dx =& \int_{|x|\leq 1} |u|^{2-\epsilon}\ dx + \int_{|x|>1} |x|^{2-\epsilon}\frac{|u|^{2-\epsilon}}{|x|^{2-\epsilon}}\ dx \\ \leq&\ \left(\pi\right)^{\epsilon/2}\left( \int_{|x|\leq 1} |u|^2\right)^{(2-\epsilon)/2}+ \left(\int_{|x|>1} |x|^2|u|^2 \right)^{(2-\epsilon)/2}\left(\int_{|x|>1} \frac{1}{|x|^{(4-2\epsilon)/\epsilon}} \right)^{\epsilon/2}<\infty \end{align} desde $\frac{4-2\epsilon}{\epsilon}>2$ . Para $N>2$ podríamos adaptar fácilmente la misma prueba pero tendremos un rango menor para $\epsilon$ .
