Dejemos que $\{u_n\} \subset W_0^{1,p}(\Omega)$ , donde $\Omega \subset \mathbb{R}^N$ es un dominio acotado y $p>1$ . Supongamos que existe $C \in (0,\infty)$ tal que $$ \tag{1} \int_\Omega |\nabla u_n|^p \,dx < C, \quad \forall n \in \mathbb{N}, $$ es decir, $\{u_n\}$ está acotado en $W_0^{1,p}(\Omega)$ . Entonces $u_n \to u$ débilmente en $W_0^{1,p}(\Omega)$ a algunos $u \in W_0^{1,p}(\Omega)$ hasta una subsecuencia.
La acotación (1) también puede interpretarse como la acotación de $\{|\nabla u_n|^\frac{p-2}{2}\nabla u_n\}$ en $(L^2(\Omega))^N$ . (O, de forma más general, como la delimitación de $\{|\nabla u_n|^q\nabla u_n\}$ en $(L^\frac{p}{q+1}(\Omega))^N$ ). Así, $|\nabla u_n|^\frac{p-2}{2}\nabla u_n \to z$ débilmente en $(L^2(\Omega))^N$ a algunos $z \in (L^2(\Omega))^N$ hasta una subsecuencia.
¿Es cierto que $z = |\nabla u|^\frac{p-2}{2}\nabla u$ ?
Esta pregunta apareció en el debate de la pregunta relacionada .