Common coupled fixed point theorems for \(w^*\)-compatible mappings without mixed monotone property (Q1928219)

Let \((X,\leq_P,d)\) be a cone metric space in the sense of [\textit{L.-G. Huang} and \textit{X. Zhang}, J. Math. Anal. Appl. 332, No. 2, 1468--1476 (2007; Zbl 1118.54022)] over a solid cone~\(P\) and let \(F:X\times X\to X\) and \(g:X\to X\). Suppose that a set \(M\subseteq X^4\) satisfies the following: \((F_1)\)~\((gx,gy,gz,gw)\in M\iff (gw,gz,gy,gx)\in M\) and \((F_2)\)~\((gx,gy,gz,gw)\in M\iff (F(x,y),F(y,x),F(z,w),F(w,z))\in M\). The authors prove that \(F\) and \(g\) have a coupled coincidence point \((\bar x,\bar y)\in X\times X\) if the following conditions are satisfied: (a)~\(F(X\times X)\subseteq g(X)\); (b)~\(g(X)\) is a complete subset of~\(X\); (c)~if two sequences \(\{x_n\}\), \(\{y_n\}\) with \((x_{n+1},y_{n+1},x_n,y_n)\in M\) for \(n\in{\mathbb{N}}\) converge to \(x, y\), respectively, then \((x,y,x_n,y_n)\in M\) for \(n\in{\mathbb{N}}\); (d)~there exists \(x_0,y_0\in X\) with \((F(x_0,y_0),F(y_0,x_0),gx_0,gy_0)\in M\), and (e)~\(d(F(x,y),F(u,v))\leq_P a_1d(gx,gu)+a_2d(F(x,y),gx)+a_3d(gy,gv)+a_4d(F(u,v),gu)+a_5d(F(x,y),gu)+a_6d(F(u,v),gx)\) for some constants \(a_i\geq0\) with \(\sum_{i=1}^6a_i<1\) and all \((x,y),(u,v)\in X\times X\) with \((gx,gy,gu,gv)\in M\) or \((gu,gv,gx,gy)\in M\), or (e')~there is some \(h\in[0,1/2)\) such that for all \((x,y),(u,v)\in X\times X\) with \((gx,gy,gu,gv)\in M\) or \((gu,gv,gx,gy)\in M\) there exists \(\Theta\in\{d(gx,gu),d(gy,gv),d(F(x,y),gu)\}\) satisfying \(d(F(x,y),F(u,v))\leq_P h\Theta\). They also give additional conditions to conclude that the point \((\bar x,\bar y)\) is a unique common coupled fixed point of \(F\) and~\(g\). An example is provided to show that these results are more general than some others obtained recently.