Some necessary and sufficient conditions for the convergence of sequences of unilateral convex sets

Potentials and capacities on other spaces (31C15) Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35) Variational inequalities (49J40) Convex sets in topological vector spaces (aspects of convex geometry) (52A07) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20)

Review text

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.

Recommendations

Cites work

Cited in

(22)

This page was built for publication: Some necessary and sufficient conditions for the convergence of sequences of unilateral convex sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1068352)