Existence of strong coupled fixed points for cyclic coupled Ciric-type mappings (Q2351962)

Let \(A\) and \(B\) be two nonempty closed subsets of a complete metric space \((X,d)\) with \(A\cap B\neq\emptyset\) and let \(F: X\times X\to X\) be a mapping such that \(F(A\times B)\subset B\), \(F(B\times A)\subset A\) and, for some \(q\in(0,1)\) and all \(x,y,u,v\in X\), \[ d(F(x,y),F(u,v))\leq q\max\left\{d(x,u),\frac12d(u,F(x,y)),\frac12d(x,F(u,v)), \frac12[d(x,F(x,y))+d(u,F(u,v))]\right\}. \] The author proves that \(F\) has a coupled fixed point in \(A\cap B\). No example is given.