Fixed point for set-valued mappings satisfying an implicit relation in partially ordered metric spaces (Q1029407)

Let \((X,d;\leq)\) be a complete partially ordered metric space and \(F,G:B(x_0,r)\to C(X)\) be two maps with bounded values, fulfilling {\parindent=8mm\begin{itemize}\item[(i)] \(T(D(Fx,Gy),d(x,y),d(x,Fx),d(y,Gy),d(x,Gy),d(y,Gx))\leq 0\) for all \(x,y\in B(x_0,r)\), where \(T:\mathbb{R}_+^6\to\mathbb{R}_+\) satisfies some mild conditions, \item[(ii)] for each \(x\in X\), there exists \(y\in Lx\) with \(x\leq y\) such that \(d(x,y)\leq d(x,Lx)+\varepsilon\), where \(L\in \{F,G\}\), \item[(iii)] if \((x_n)\subseteq B(x_0,r)\) fulfills \(x_n\leq x_{n+1}\) for all \(n\) and \(x_n\to x\) as \(n\to \infty\), then \(x_n\leq x\) for all \(n\). \end{itemize}}In addition, assume that there exists a continuous strictly increasing function \(\Phi:\mathbb{R}_+\to \mathbb{R}_+\) with \(\Phi(t)< t\) for all \(t> 0\), such that {\parindent=8mm\begin{itemize}\item[(iv)] \(d(x_0,x_1)< r-\Phi(r)\) for some \(x_1\in Fx_0\) with \(x_0\leq x_1\), \item[(v)] \(\sum_n \Phi^n(r-\Phi(r))\leq \Phi(r)\). \end{itemize}} Then there exists in \(B(x_0,r)\) a common fixed point for \(F\) and \(G\). Reviewer's remark: The seminal 2004 fixed point result of \textit{A.\,C.\,M. Ran} and \textit{M.\,C.\,B. Reurings} [Proc.\ Am.\ Math.\ Soc.\ 132, No.\,5, 1435--1443 (2004; Zbl 1060.47056)] was obtained in 1986 by the reviewer [J.~Math.\ Anal.\ Appl.\ 117, 100--127 (1986; Zbl 0613.47037)].