Common fixed point theorems for a pair of multivalued mappings under weak contractive conditions in ordered metric spaces (Q1932149)

The authors present some common fixed point theorems for pairs of weakly isotone increasing nonempty-bounded-valued mappings \(S,T:X\multimap X\) (this notion was introduced in [\textit{B. C. Dhage} et al., J. Appl. Math. Stochastic Anal. 16, No. 3, 243--248 (2003; Zbl 1068.47071)]) in an ordered complete metric space \((X,\preceq)\). Two contractivity type assumptions are considered: (1) the general weak contractive condition \[ F(\delta(Tx,Sy))\leq F(M(x,y))-\psi(F(\max\{d(x,y),\delta(x,Tx),\delta(y,Sy)\})) \] for all comparable \(x,y\in X\), where \(\delta(A,B)=\sup\{d(a,b): a\in A,\;b\in B\}\), \(D(A,B)=\inf\{d(a,b): a\in A,\;b\in B\}\), \(F:[0,\infty)\to [0,\infty)\) is an altering distance function, i.e., \(F\) is nondecreasing and continuous with \(F(t)=0 \Leftrightarrow t=0\), \(\psi:[0,\infty)\to [0,\infty)\) is nondecreasing right-continuous, \(\psi(t)>0\) for \(t>0\), and \[ M(x,y)= \max\left\{d(x,y),D(x,Tx),D(y,Sy),\frac{1}{2}[D(x,Sy)+D(y,Tx)]\right\}; \] (2) the almost contractive condition \[ \delta(Tx,Sy)\leq M(x,y)+ L\min\{\varphi(D(x,Tx)), \varphi(D(y,Sy)),\varphi(D(x,Sy)),\varphi(D(y,Tx))\}, \] for all comparable \(x,y\in X\), where \(L\geq 0\), \(\varphi:[0,\infty)\to [0,\infty)\) is continuous with \(\varphi(t)<t\) for each \(t>0\), \(\varphi(0)=0\), and \[ M(x,y)=\max\left\{\varphi(d(x,y), \varphi(D(x,Tx)), \varphi(D(y,Sy)), \varphi\left(\frac{D(x,Sy)+D(y,Tx)}{2}\right)\right\}. \] The existence of a starting point of an iteration sequence \(x_0\in X\) with \(x_0\preceq y\) for some \(y\in Sx_0\) is assumed together with the condition \[ (\forall n \;x_n\preceq x_{n+1}, x_n\to z) \Longrightarrow (\forall n \;x_n\preceq z). \] Two examples for \(X=\{A,B,C\}\subset \mathbb R^2\) and \(X=[0,\infty)\) are added as illustrations of the abstract results.