Coupled fixed point theorems with new implicit relations and an application (Q2351963)

Several fixed point theorems and common fixed point theorems in metric spaces have been unified considering a general condition by an implicit relation by the reviewer [Demonstr. Math. 32, No. 1, 157--163 (1999; Zbl 0926.54030)]. \textit{I. Altun} and \textit{H. Simsek} [Fixed Point Theory Appl. 2010, Article ID 621469, 17 p. (2010; Zbl 1197.54053)] generalized this idea and introduced a new type of implicit relation using functions of Matkowski type in partial metric spaces. In the present paper the authors introduce two new types of implicit relations which generalize the notions of Altun and Simsek [loc. cit.]. In the main results of the present paper, Theorems 16 and 18, the authors use these new types of new implicit relations to prove the existence of coupled fixed points in partially ordered metric spaces which generalize the results of Altun and Simsek [loc. cit.] and the results by \textit{T. G. Bhaskar} and \textit{V. Lakshmikantham} [Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods 65, No. 7, 1379--1393 (2006; Zbl 1106.47047)]. As an application of Theorem 18, the authors establish the existence for an integral equation.