Some necessary and sufficient conditions for the convergence of sequences of unilateral convex sets (Q1068352): Difference between revisions

This paper studies the convergence (in the sense of \textit{U. Mosco} [see Adv. Math. 3, 510-585 (1969; Zbl 0192.491)], i.e. weak-strong convergence) of convex sets in \(W_ 0^{1,p}(\Omega)\) (\(\Omega\) open in \({\mathbb{R}}^ n\), \(1<p<+\infty)\) of the form \[ K(f)=\{u\in W_ 0^{1,p}(\Omega): \tilde u\geq f\quad C_ p-a.e.\quad on\quad \Omega \}, \] where \(f: \Omega\) \(\to {\bar {\mathbb{R}}}\) is an arbitrary function and \(\tilde u\) denotes the quasi-continuous representative of u with respect to the capacity \(C_ p\) defined by \[ C_ p(E)=\inf \{\| u\|^ p_{1,p}: u\in W_ 0^{1,p}(\Omega),\quad u\geq 1\quad a.e.\quad on\quad a\quad neighbourhood\quad of\quad E\}. \] The norm \(\| u\|_{1,p}\) is defined by \(\| u\|^ p_{1,p}=\int_{\Omega}| Du|^ pdx+\int_{\Omega}| u|^ pdx.\) An easy and meaningful consequence of the main theorem of the paper is the following result. Let f, \(f_ h\) (h\(\in {\mathbb{N}})\) be functions from \(\Omega\) into \({\bar {\mathbb{R}}}\). Suppose, for simplicity, that there exists a constant \(M\in {\mathbb{R}}\) and a compact set \(H\subseteq \Omega\) such that \(f_ h\leq M\) on H and \(f_ h=-\infty\) on \(\Omega\)-H for every \(h\in {\mathbb{N}}\). Then \(K(f_ h)\) converges to K(f) as \(h\to +\infty\) if and only if there exists a dense set \(D\subseteq {\mathbb{R}}\) such that \[ \lim_{h\to \infty}C_ p(\{f_ h>t\})=\lim_{h\to \infty}C_ p(\{f\vee f_ h>t\})=C_ p(\{f>t\})\quad for\quad every\quad t\in D. \] Other necessary and sufficient conditions for the convergence of \(K(f_ h)\) to K(f) are proved for the general case of a sequence \((f_ h)\) which is not bounded from above.