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

Abstract

Let $(T,\mathcal{F},\hat{I}¼)$ be a $\ddot{I}ƒ$-finite measure space, $E$ a separable real Banach space and $p\ge 1$. Given a sequence of functions $f,f_1,f_2,...$ from $T\times E$ to $\mathbf{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 sequence $\{\hat{I}{»}_n\}$ converging to ${\int }_{T}f(t,u(t))d\hat{I}¼$, there exists a sequence $\{u_n\}$ in $V$ converging to $u$ and such that ${\int }_T{f}_n(t,u_n(t))d\hat{I}¼=\hat{I}{»}_n$ for all $n$ large enough.