Convergencia en el espacio de Bochner.

Question

Dejemos que $\Omega \subset \mathbb{R}^n$ sea un conjunto acotado y $\{f_n\}_{n \in \mathbb{N}}$ sea una secuencia que converge a $f$ sur $C([0,T];L^2(\Omega))$ . Tengo que demostrar que $\int_\Omega f_n^2 \phi \,dx \to \int_\Omega f^2\phi\,dx$ sur $L^\infty([0,T])$ comme $n \to \infty$ para cualquier $\phi \in C^\infty_c(\Omega)$ . ¿Y realmente importa la delimitación, podemos elegir $\Omega =\mathbb{R}^n$ ¿también?

Tenemos $\lim_{n \to \infty} \sup_{[0,T]} \int_\Omega |f_n(t)-f(t)|^2\,dx = 0$ . Por lo tanto, consideramos $\left| \int \left(f^2_n\phi-f^2\phi\right) \,dx \right|\le \int \left|f^2_n-f^2\right| \phi\,dx \le \|\phi\|_\infty \int |f^2_n-f^2|\,dx $ . Pero no entiendo cómo esta parte dominante tiende a cero.

Answer 1

Sigamos con tu argumento. Hasta ahora has demostrado \begin{align} &\left|\int_{\Omega}(f_n^2 -f^2)\phi\, \mathrm{d}x\right| \\ \leq &\lVert\phi\rVert_{L^\infty(\Omega)}\int_{\Omega}|f_n^2-f^2|\, \mathrm{d}x \\ = & \lVert\phi\rVert_{L^\infty(\Omega)} \int_{\Omega}(f-f_n)(f+f_n)\, \mathrm{d}x \\ \leq & \lVert\phi\rVert_{L^\infty(\Omega)} \left(\lVert f_n\rVert_{L^2(\Omega)} + \lVert f\rVert_{L^2(\Omega)}\right) \lVert f_n- f\rVert_{L^2(\Omega)} \, . \end{align} Tomando el límite, el resultado es el siguiente