Dejemos que $I=(a,b)$ , $u\in L^2(I)$ y $\psi\in C^{\infty}(I)$ tal que $\psi=0$ en $(a,a+\epsilon)$ y $\psi=1$ en $(b-\epsilon , b)$ para un número suficiente de $\epsilon$ . Dejemos que $\varphi\in C_C^\infty (I)$ y considerar la función $\theta(x)=\int_{a}^{x}\varphi (y)dy - (\int_{a}^{b}\varphi(y)dy)\psi(x)$ , $\theta$ pertenece a $C^\infty_C(I) $ . Mis preguntas son: 1. ¿Por qué es $\theta'=\varphi$ y 2. ¿hay una $C>0$ tal que $\|\theta \|_{L^2}\le C\|\varphi \|_{L^2}$ ?
Sé que $\theta'(x)=\varphi(x)-(\int_{a}^{b}\varphi(y)dy)\psi'(x)$ pero ¿por qué debería $(\int_{a}^{b}\varphi(y)dy)\psi'(x)$ ¿es cero?