Un enfoque diferente para 2:
Tome $(u_n)$ sur $D(A)$ tal que $u_n\to u$ y $Au_n\to v$ , ambas convergencias en $E$ .
Hecho 1. $u\in W^{1,p}(0,1)$ con $u'=v$ .
Prueba: Toma $\varphi\in C_c^\infty(0,1)$ . Desde $L^p(0,1)$ está continuamente incrustado en $L^1(0,1)$ existe una constante $c_0$ tal que $$0\leq \left|\int_0^1u_n\varphi'-\int_0^1u\varphi'\right|\leq (\max |\varphi'| )\int_0^1|u_n-u|\leq c_0(\max |\varphi'| )\|u_n-u\|_{L^p},\quad\forall \ n \in\mathbb{N}.$$ y $$0\leq \left|\int_0^1Au_n\varphi-\int_0^1v\varphi\right|\leq (\max |\varphi |)\int_0^1|Au_n-v|\leq c_0(\max \varphi )\|Au_n-v\|_{L^p},\quad\forall \ n \in\mathbb{N}.$$ Así, $$\int_0^1u\varphi'=\lim_{n\to\infty}\int_0^1u_n\varphi'=\lim_{n\to\infty}\left(-\int_0^1Au_n\varphi\right)=-\int_0^1v\varphi.$$ Como $\varphi$ es arbitraria, obtenemos el hecho deseado.
Hecho 2. $u(0)=0$ .
Prueba: Desde $W^{1,p}(0,1)$ está continuamente incrustado en $C([0,1])$ existe una constante $c_1$ tal que $$0\leq |u(0)|=|u_n(0)-u(0)|\leq \sup_{x\in[0,1]}|u_n(x)-u(x)|\leq c_1\|u_n-u\|_{W^{1,p}},\quad\forall\ n\in\mathbb N.$$ Tomando el límite como $n\to\infty$ , obtenemos el hecho deseado.
Conclusión: $u\in D(A)$ y $v=Au$ . Así que, $G(A)$ está cerrado en $E$ (véase el teorema 4.13-3 en El libro de Kreyszig ou esta página de Wikipedia ).
1 votos
Para (1): ¿Puede pensar en un subconjunto de $L^p(0,1)$ es decir seguramente contenida en $D(A)$ ?