Weak semi-continuity of the duality product in Sobolev spaces (Q2497939)

Let \(\{u_n\}, \{v_n\}\in W_0^{1,p}(\Omega)\) be two weakly convergent sequences of non-negative functions. Assume that \(-\Delta_p u_n \geq 0\) in the distributional sense on \(\Omega\). The question of the validity of the following inequality \[ \liminf_{n\to\infty}\int\limits_\Omega |\nabla u_n|^{p-2}\nabla u_n \nabla v_n\,dx \geq \int\limits_\Omega |\nabla u|^{p-2}\nabla u \nabla v \,dx \] was investigated by\textit{M.\,Briane, G.\,Mokobodzki} and \textit{F.\,Murat} [J.~Funct.\ Anal.\ 227, No.\,1, 78--112 (2005; Zbl 1081.47049)]. In the paper under review, the author is interested in obtaining a characterization of all \(W_0^{1,p}(\Omega)\)-weakly convergent sequences \(\{v_n\}\) of non-negative functions for which the above inequality is valid for every \(W_0^{1,p}(\Omega)\)-weakly convergent sequence \(\{u_n\}\) of non-negative functions with \(-\Delta_p u_n \geq 0\). The main result reads as follows. A necessary and sufficient condition is that \(\{v_n\}\) has to converge in the so-called sense of obstacles (something intermediate between weak and strong convergence).