Fixed point theory for weakly contractive maps with applications to operator inclusions in Banach spaces relative to the weak topology (Q1393091)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fixed point theory for weakly contractive maps with applications to operator inclusions in Banach spaces relative to the weak topology |
scientific article |
Statements
Fixed point theory for weakly contractive maps with applications to operator inclusions in Banach spaces relative to the weak topology (English)
0 references
4 May 1999
0 references
The author presents a new fixed point theory for weakly contractive multivalued maps between Banach spaces. Theorem 2.2. Let \(Q\) be a non-empty, bounded, convex, closed set in a Banach space \(E\). Assume \(F:Q\to C(Q)\) is weakly sequentially upper semicontinuous and \(\alpha\) \(W\)-contractive. Then \(F\) has a fixed point; here \(C(Q)\) denotes the family of non-empty, closed, convex subsets of \(Q\). Theorem 2.3. Let \(Q\) and \(C\) be closed bounded, convex subsets of a Banach space \(E\) and \(Q\subset C\). In addition, let \(U\) be a weakly open subset of \(Q\) with \(0\in U\), \(U^w\) a weakly compact subset of \(Q\) and \(F: U^w\to CK(Q)\) a weakly sequentially upper semicontinuous, \(\alpha\) \(w\)-contractive (here \(0\leq\alpha< 1\)) map, here \(CK(C)\) denotes the family of non-empty, convex, weakly compact subsets of \(C\) and \(\overline{U^w}\) the weak closure of \(U\) in \(E\). Then either: \((\text{A}_1)\) \(F\) has a fixed point; or \((\text{A}_2)\) there is a point \(u\in\partial_QU\) (the weak boundary of \(U\) in \(Q\)) and \(\lambda\in(0,1)\) with \(u\in\lambda Fu\). Theorem 2.4. Let \(E=(E,\|\cdot\|)\) be a separable and reflexive Banach space, \(C\) and \(Q\) are closed, bounded, convex subsets of \(E\) with \(Q\subset C\) and \(0\in Q\). Also, assume \(F: Q\to CK(Q)\) is a weakly sequentially upper semicontinuous (and weakly compact) map. In addition suppose the following: For any \(\Omega_\varepsilon= \{x\in E: d(x,Q)\leq \varepsilon\}\) \((\varepsilon>0)\), if \(\{(x_j,\lambda_j)\}^\infty_{j= 1}\) is a sequence in \(Q\times[0, 1)\) with \(x_j\rightharpoonup x\in\partial\Omega_\varepsilon Q\) and \(\lambda_j\to\lambda\) and if \(x\in\lambda F(x)\), \(0\leq\lambda< 1\), then \(\{\lambda_jF(x_j)\}\subset Q\) for \(j\) sufficiently large (\(\partial\Omega_\varepsilon Q\) is the weak boundary of \(Q\) relative to \(\Omega_\varepsilon\), \(d(x,y)=| x-y|\) and \(\rightharpoonup\) denotes weak convergence). Then \(F\) has a fixed point in \(Q\). The author uses Theorems 2.2 and 2.4 to establish some general existence principles for nonlinear abstract operator inclusion \[ y(t)\in Fy(t)\quad\text{on}\quad [0,T].\tag{1} \] Theorem 2.5. Let \(E_1\) be a Banach space and let \(E\) be either \(C([0,T],E_1)\) or \(L^p([0,T],E_1)\), \(1\leq p<\infty\). Let \(Q\) be a non-empty, bounded, convex, closed subset of \(E\) and assume \(F: Q\to C(Q)\) is a weakly sequentially upper semicontinuous and \(\alpha\) \(w\)-contractive \((0\leq \alpha<1)\) map. Then (1) has a solution in \(Q\). Theorem 2.6. Let \(E_1\) be a separable and reflexive Banach space and let \(Q\) and \(C\) be closed, bounded, convex subsets of \(L^p([0,T],E_1)\), \(1\leq p<\infty\), with \(Q\subset C\) and \(0\in Q\). Assume \(F:Q\to CK(Q)\) is a weakly sequentially upper semicontinuous map such that (2.4) holds. Then (1) has a solution in \(Q\). Theorem 2.9. Let \(E\) be a Banach space with \(Q\) a non-empty, closed, convex subset of \(C([0,T], E_w)\). Also, assume \(Q\) is a closed, bounded, subset of \(C([0,T], E)\), \(F: Q\to C_c(Q)\) is \(w\)-upper semicontinuous, and there exists \(\alpha\), \(0\leq\alpha< 1\), with \(w(F(X))\leq \alpha w(X)\) for all bounded subsets \(X\subset Q\). In addition, suppose the family \(F(Q)\) is weakly equicontinuous. Then (1) has a solution in \(Q\), here \(C_c(Q)\) denotes the family of non-empty, convex (subset of \(C([0,T]),E)\)), closed (in \(C([0,T],E)\)) subsets of \(Q\).
0 references
fixed point
0 references
weakly contractive multivalued maps
0 references
nonlinear abstract operator inclusion
0 references
0 references