$\newcommand{\R}{\mathbb{R}}$ Deje $(f_n)_n \subset L^1(\R^N)$. Supongamos que para cualquier función no negativa $\phi \in C_c^{\infty}(\R^N)$, tenemos:
$$ 0 \leq \liminf_{n \rightarrow \infty} \int f_n \, \phi $$
Podemos concluir que el $0 \leq \liminf_{n \rightarrow \infty} f_n(x)$ para casi todas las $x \in \R^N$?
Mi primera idea es utilizar la definición de $\liminf$ para obtener una estimación de $\inf_{m \geq N} \int f_m \, \phi \geq -\epsilon$ donde $N$ depende de $\epsilon$. Sin embargo, no estoy seguro de dónde ir de allí.
Otro hecho que puede ser útil es que si $\int f \, \phi \geq 0$ por cada positivo $\phi \in C_c^{\infty}(\R^N)$,$f \geq 0$.e. (esto se demuestra de manera similar a corolario 4.24 en Brezis' Análisis Funcional). Podríamos ser capaces de usar esto para $f = \liminf f_n$, pero no he sido capaz de llegar al trabajo.