Existence theorems of coupled fixed points (Q2640120)

Let D be a subset of a real partially ordered Banach space E. Let A: \(D\times D\to E\) be a mixed monotone operator (i.e. \(A(\cdot,y)\) is nondecreasing and \(A(x,\cdot)\) is nonincreasing). A point \((x^*,y^*)\in D\times D\) is called a coupled fixed point of A if \(x^*=A(x^*,y^*)\) and \(y^*=A(y^*,x^*)\). Let \(\tilde A:\) \(D\times D\to E\times E\) be given by \(\tilde A(u,v)=(A(u,v),A(v,u))\). Note that \(\tilde A\) is increasing and the fixed point of \(\tilde A\) is the coupled fixed point of A. By using this observation and known results on fixed points, the author gives several existence theorems for coupled fixed points.