Coupled fixed point theorems for \(\phi\)-contractive mixed monotone mappings in partially ordered metric spaces (Q765254)

The author proves the following result. Theorem. Let \((X,\leq)\) be a partially ordered set. Suppose that there is a metric \(d\) on \(X\) such that \((X,d)\) is a complete metric space. Let \(F: X\times X\to X\) be a mixed monotone map for which there are some functions \(\varphi,\psi:[0,\infty)\to [0,\infty)\) with special properties such that, for all \(x,y,u,v\in X\) with \(x\geq u\), \(y\leq v\) \[ \begin{multlined}\varphi\Biggl({d(F(x, y), F(u,v))+ d(F(y,x), F(v,u)\over 2}\Biggr)\leq \varphi\Biggl({d(x,u)+ d(y,v)\over 2}\Biggr)-\\ \psi\Biggl({d(x,u)+ d(y,v)\over 2}\Biggr)^2.\end{multlined} \] If \(F\) is either continuous or satisfies some alternative condition and there are \(x_0,y_0\in X\) such that \[ x_0\leq F(x_0,y_0)\quad\text{and}\quad y_0\geq F(y_0, x_0) \] or \[ x_0\geq F(x_0, y_0)\quad\text{and}\quad y_0\leq F(y_0, x_0), \] then there exists a coupled fixed point \((\overline x,\overline y)\in X\times X\), that is, \[ \overline x= F(\overline x,\overline y)\quad\text{and}\quad \overline y= F(\overline y,\overline x). \] Moreover, the author gives a condition for the existence of a unique coupled fixed point. Finally, he presents an application to a nonlinear Fredholm integral equation.