Existence results on best proximity pair for multifunction (Q2470920)

Let \(X\) be a normed linear space. A subset \(M\) of \(X\) is called approximatively weakly compact if any minimizing sequence in \(M\) of an arbitrary point \(y\in X\) has a subsequence which converges weakly to a point of \(M\). For two nonempty subsets \(A, B\) of \(X\), the following notations are used: \(\text{Prox}(A,B)=\{ (a,b)\in A\times B: d(a,b)=d(A,B)\}\), \(A_0=\{ a\in A: d(a,B)=d(A,B)\}\), \(B_0=\{ b\in B:d(A,b)=d(A,B)\}\). The following theorem is the main result of the paper. Let \(A\) be an approximatively weakly compact convex subset of \(X\) and \(B\) be a closed convex subset of \(X\) such that \(\text{Prox}(A,B)\neq \emptyset\) and \(A_0\) is compact. For a set-valued function \(F:A\rightarrow 2^B\) and a surjective function \(g:A\rightarrow A\), there exists an \(x_0\in A_0\) such that \(d(g(x_0), F(x_0))=d(A,B)\) whenever the following conditions are fulfilled: (i) for each \(x\in A_0\), \(F(x)\cap B_0\neq \emptyset\) and, for any \(y\in B_0\), \(F^-(y)\) is open; (ii) for every open subset \(U\) of \(A\), the set \(\bigcap_{u\in U} F(u)\) is open; (iii) for all \(x_1, x_2, y\in A\) and \(\lambda \in [0,1]\), \(d(g(\lambda x_1+ (1-\lambda)x_2), F(y))\leq \text{max}\{ d(g(x_1), F(y)), d(g(x_2), F(y))\}\); (iv) \(g\) is demicontinuous and, for every weakly compact set \(D\subseteq A,\; g^-(D)\) is weakly compact and \(g^-(A_0)\subseteq A_0\).