A constrained approximation theorem for integral functionals on $L^p$

Let $(T,{\cal F},μ)$ be a $σ$-finite measure space, $E$ a separable real Banach space and $p\geq 1$. Given a sequence of functions $f, f_1, f_2,...$ from $T\times E$ to ${\bf R}$, under general assumptions, we prove that, for each closed hyperplane $V$ of $L^p(T,E)$, for each $u\in V$, and for each