# Coincidence and common fixed point results for *β*-quasi contractive mappings on metric spaces endowed with binary relation

- 909 Downloads
- 6 Citations

## Abstract

Coincidence and common fixed point theorems for \(\beta\)-quasi contractive mappings on metric spaces endowed with binary relations and involving suitable comparison functions are presented. Our results generalize, improve, and extend several recent results. As an application, we study the existence of solutions for some class of integral equations.

## Keywords

Fixed point theory Transitive binary relation Ordered metric spaces## Mathematics Subject Classification

47H10 54H25## Introduction

*X*,

*d*), the principle is restricted to mappings that satisfy a contraction given by \(d(Tx,Ty)\le\, q\, d(x,y)\) where \(q\in (0,1)\) and \(x,y\in X\). In order to generalize the Banach contraction principle, Ćirić in [2] shows that

*T*still admits a unique fixed point if

*T*satisfies a quasi contractive condition of the form:

*X*. Several known results from literature can be derived from their main theorem, for instance we cite those of Kannan [4], Chatterjea [5], Hardy and Rogers [6], Ran and Reurings [7], Nieto and López [8], Ćirić [9] and Kirk et al. [10]. More recently, there have been some attempts to generalize the fixed point results for metric spaces endowed with binary relation. For more details, we refer the reader to [11, 12, 13, 14, 15, 16, 17, 18, 19].

In this paper, some coincidence point results in complete metric spaces endowed with transitive binary relations are first highlighted. Subsequently, the existence and uniqueness of common fixed point theorem for two mappings are established under some suitable conditions. Moreover, some coincidence and common fixed point theorems involving amorphous binary relation are proven. Finally, as an application, existence study of solutions to some integral equation is presented. The paper is divided into five sections. Section introduces the notation used herein, presents a number of definitions and recalls some useful results. Coincidence and common fixed point theorems are stated in Sect. 1, while their proofs are the subject of Sect. 2. Several consequences are subsequently derived in Sect. 3. Finally, the existence of solutions for some class of Urysohn integral equation is shown in Sect. 4.

## Preliminaries

*X*,

*d*) be a metric space, \(\mathcal {R}\) be a binary relation on

*X*and \(g,T:\,X\rightarrow X\) be two mappings. Denote by

*g*and

*T*. Let \(x_0\in X\), and suppose that \(T(X)\subseteq g(X)\). Hence, we can choose \(x_1\in X\) satisfying \(gx_{1}=Tx_{0}\). Again from \(T(X)\subseteq g(X),\) we can choose \(x_2\in X\) satisfying \(gx_{2}=Tx_{1}.\) Continuing this process, we construct a sequence \(\{x_n\}\) satisfying

*g*-orbit set, at \(s=\{x_k\}_{k\in \mathbb {N}_{0}}\in \mathcal {O}(x_0)\), from

*p*to

*q*with \(q>p>0\), by \(O_{p,q}(g,s)=\{gx_p,gx_{p+1},\dots ,gx_q\}\). Similarly, define the infinite

*g*-orbit set at

*s*from

*p*by \(O_{p,\infty }(g,s)=\{gx_p,gx_{p+1},gx_{p+2},\dots \}\).

### **Definition 1.1**

We say that (*X*, *d*) is *g*-orbitally complete if and only if for all \(x_0\in X\) and \(s\in \mathcal {O}(x_0).\) every Cauchy sequence in \(O_{0,\infty }(g,s)\) converges in *X*.

### **Definition 1.2**

([11]) A subset *D* of *X* is called \(\mathcal {R}\)-*g*-directed if for every \(x, y \in D\), there exists \(z \in X\) such that \(gx\mathcal {R}gz\) and \(gy\mathcal {R}gz\).

### **Definition 1.3**

([3]) We say that \((X,d,\mathcal {R})\) is regular if for a sequence \(\{x_{n}\}\) in *X*, if we have \(x_{n}\mathcal {R}x_{n+1}\) for all \(n\in \mathbb {N}_{0}\) and \(\lim \nolimits _{n\rightarrow \infty }d(x_{n},x)=0\) for some \(x\in X,\) then there exists a subsequence \(\{x_{n(k)}\}\) of \(\{x_{n}\}\) such that \(x_{n(k)}\mathcal {R}x\) for all \(k\in \mathbb {N}_{0}\).

### **Definition 1.4**

*X*be a non empty set, \(g,T:X\rightarrow X\) be two mappings and \(\mathcal R\) be a binary relation. We say that

*T*is

*g*-comparative if

### **Definition 1.5**

- (P1)
\(\varphi\) is nondecreasing;

- (P2)
\(\lim \nolimits _{n\rightarrow \infty }\varphi _{\beta }^{n}(t)=0\) for all \(t>0\), where \(\varphi _{\beta }^n\) denote the

*n*-th iterate of \(\varphi _\beta\) and \(\varphi _\beta (t)=\varphi (\beta \, t);\) - (P3)
there exists \(s\in (0,+\infty )\) such that \(\sum \nolimits _{n=1}^{\infty }\varphi _{\beta }^{n}(s) < \infty ;\)

- (P4)
\((id - \varphi _{\beta })\circ \varphi _{\beta } (t) \le \varphi _{\beta }\circ (id -\varphi _{\beta }) (t)\text { for all }t\ge 0,\) where \(id:[0,+\infty )\rightarrow [0,+\infty )\) is the identity function.

### *Example 1.1*

Let \(\varphi :[0,+\infty )\rightarrow [0,+\infty )\) be a function given by \(\varphi (t)=at\) where \(a\in (0,\beta ^{-1})\) and \(\beta >0,\) then \(\varphi \in \Phi _{\beta }.\) Note that, if \(a>1\) then \(\varphi (t)>t\) and so \(\sum \nolimits _{n=1}^{\infty }\varphi ^{n}(t) = \infty.\)

### **Lemma 1.1**

*Let*\(\beta \in (0,+\infty )\)

*and*\(\varphi \in \Phi _{\beta }.\)

*Then*

- (i)
\(\varphi _{\beta }\)

*is nondecreasing;* - (ii)
\(\varphi _{\beta } (t) < t\)

*for all*\(t > 0;\) - (iii)
\(\sum \nolimits _{n=1}^{\infty }\varphi _{\beta }^{n}(t) < \infty\)

*for all*\(t > 0 ;\) - (iv)
\((id-\varphi _{\beta })\circ \varphi _{\beta }^n(t) \le \varphi _{\beta }^n\circ (id-\varphi _{\beta }) (t)\)

*for all*\(t\ge 0\)*and*\(n\in \mathbb N_{0}.\)

### *Proof*

*n*.\(\quad \square\)

### *Remark 1.1*

Let \(\alpha ,\beta \in (0,+\infty ).\) If \(\alpha <\beta,\) then \(\Phi _{\beta }\subset \Phi _{\alpha }.\)

### **Definition 1.6**

*X*be a non empty set and \(g:X\rightarrow X\) be a mapping. A mapping \(T:X\rightarrow X\) is called \(\beta\)-quasi contractive (with respect to

*g*) if there exist \(\beta >0\) and \(\varphi \in \Phi _{\beta }\) such that

## Main results

The basic definitions about coincidence points, *g*-orbital completeness of metric binary spaces, *g*-comparative mappings, directed subsets and regular spaces endowed with relations, were stated in the previous section. In addition, we introduced concepts of \(\beta\)-comparison functions and \(\beta\)-quasi contractive with respect to *g*. In the current section, we state the main results of coincidence points for mappings in complete metric spaces endowed with binary relations. The proofs supporting these results will be the subject of the next section. We start with the first result on the existence of coincidence points.

### **Theorem 2.1**

*Let*(

*X*,

*d*) be a

*g*-

*orbitally complete space endowed with a transitive binary relation*\({\mathcal R}\)

*such that*\((X,d,\mathcal R)\)

*is regular. Let*\(g,T:\,X\rightarrow X\)

*be two mappings satisfying the following conditions:*

- (A1)
*there exists*\(x_0\in X\)*such that*\(gx_0\mathcal R Tx_0;\) - (A2)
*g*(*X*)*is closed and*\(T(X)\subset g(X);\) - (A3)
*T*is*g*-*comparative*; - (A4)
*there exists*\(\beta \ge \max \nolimits _{0\le k\le 4}\{\alpha _k\}\)*such that**T**is*\(\beta\)-*quasi contractive*(*w.r.t.**g*);

*Moreover, assume that one of the following conditions holds:*

- (A5.a)
\(\varphi\)

*is continuous*; - (A5.b)
\(\beta >\max \{\alpha _2,\alpha _3\};\)

- (A5.c)
*T**and**g**are continuous and commute on*\(O_{\infty }(g,s)\)*for some*\(s\in \mathcal {O}(x_0).\)

*Then,*

*T*

*and*

*g*

*have a coincidence point in*

*X*.

In the following theorem, some supplementary conditions to those of Theorem 2.1 have been added, in order to show existence and uniqueness of common fixed point.

### **Theorem 2.2**

*In addition to the hypotheses of Theorem*2.1,

*assume that the following conditions hold:*

- (B1)
\(\mathcal {R}\)

*is symmetric or*\(\beta \ge \max \nolimits _{0\le k \le 4 }\{\alpha _k,2 \alpha _{1}\}\); - (B2)
*C*(*g*,*T*)*is*\(\mathcal {R}\)-*g*-*directed*; - (B3)
*T**and**g**commute at their coincidence points*.

*Then*,

*T*

*and*

*g*

*have a unique common fixed point*.

*Next, we use an amorphous binary relation instead of transitive binary relation. However, the results are obtained in the framework of complete metric spaces.*

### **Theorem 2.3**

*Let*(

*X*,

*d*)

*be a complete metric space endowed with a binary relation*\(\mathcal {R}\)

*such that*\((X,d,\mathcal R)\)

*is regular. Let*\(g,T:\,X\rightarrow X\)

*be two mappings satisfying the following conditions:*

- (C1)
*There exists*\(x_0\in X\)*such that*\(gx_0\mathcal R Tx_0\); - (C2)
*g*(*X*)*is closed and*\(T(X)\subset g(X)\); - (C3)
*T**is**g*-*comparative*; - (C4)
*There exists*\(\beta \ge \max \nolimits _{0\le k \le 4 }\{\alpha _k,2 \alpha _{4}\}\)*such**T**is*\(\beta\)-*quasi contractive*(*w.r.t.**g*);

*Moreover, assume that one of the following conditions holds:*

- (C5.a)
\(\varphi\)

*is continuous;* - (C5.b)
\(\beta > \max \{\alpha _2,\alpha _{3}\}\).

*Then T and g have a coincidence point in X.*

*Proceeding as before, the existence and uniqueness of a common fixed points can be shown under some supplementary conditions, as stated in the following theorem.*

### **Theorem 2.4**

*In addition to the hypotheses of*Theorem 2.3

*, suppose that,*

- (D1)
*C*(*g*,*T*) is \(\mathcal {R}\)-*g*-*directed*; - (D2)
*T*and*g**commute at their coincidence points*; - (D3)
\(\beta \ge \max \{\alpha _0,2\alpha _1,2\alpha _3, 2\alpha _4\}\).

*Then*,

*T*

*and*

*g*

*have a unique common fixed point*.

## Proofs

The proof of the main results are postponed after several preliminary lemmas.

### **Lemma 3.1**

*Let*(

*X*,

*d*)

*be a metric space endowed with binary relation*\(\mathcal R\) and \(g,T:\,X\rightarrow X\)

*be two mappings satisfying:*

- (a1)
*there exists*\(x_0\in X\)*such that*\(gx_0\mathcal R Tx_0\); - (a2)
\(T(X)\subset g(X)\);

- (a3)
*T is**g-comparative;* - (a4)
*T is*\(\beta\)*-quasi contractive (w.r.t. g*).

*Then, for any*\(s=\{x_n\}_{n\in \mathbb {N}}\in \mathcal O (x_0)\)

*, we have*

*Furthermore, if*\(\mathcal R\)

*is transitive then for all*\(i,j\in \mathbb {N}\)

*, we have*

### *Proof*

*i*. For \(i=1\), we have from (a1), \(gx_0\mathcal {R}Tx_0\) and since \(gx_1=Tx_0\), then \(gx_0 \mathcal {R}gx_1\). We assume then that (4) holds for \(i=k\), that is, \(gx_{k-1}\mathcal {R}gx_{k}\) and prove that (4) is true for \(i = k + 1\) . Since

*T*is

*g*-comparative, then from \(gx_{k-1}\mathcal {R}gx_{k}\) it follows \(Tx_{k-1}\mathcal {R}Tx_{k}\). Therefore, by (2), we obtain \(gx_{k}\mathcal {R}gx_{k+1}\).\(\quad \square\)

### **Lemma 3.2**

*In addition to the hypotheses of Lemma*3.1,

*suppose that*\(\beta \ge \max \nolimits _{k=0..4 }\{\alpha _k\}\)

*and*\(\mathcal R\)

*is transitive. Then, for*\(s=\{x_n\}_{n\in \mathbb {N}_{0}} \in \mathcal {O}(x_0)\),

*we*

*have*

*where*\(D(O_{0,n}(g,s))=\max \{d(gx_i,gx_j): \, \, 0\le i,j\le n\}\).

*Further, there exists* \(1\le k\le n\) * such that* \(D(O_{0,n}(g,s))=d(gx_0,gx_k)\).

### *Proof*

### **Lemma 3.3**

*Under the same hypotheses of Lemma*3.2

*,*

*we have*

*where*\(D(O_{0,\infty }(g,s)):=\sup \{d(gx_i,gx_j), \, i,j\ge 0\}\).

### *Proof*

### **Lemma 3.4**

*Under the hypotheses of Lemma*3.2.

*For all*\(m,n\in \mathbb {N}\)

*such that*\(m>n>0\)

*, we have*

*Furthermore,*\(\{gx_k\}_{k\in \mathbb {N}}\) is a Cauchy sequence.

### *Proof*

*k*with \(n-\ell <k\le m\) such that

### **Lemma 3.5**

*Let (X*,

*d) be a*

*g-orbitally complete space endowed with a binary relation*\({\mathcal R}\)

*such that*\((X,d,\mathcal R)\)

*is regular. Assume that:*

- (b1)
\(T(X)\subset g(X)\);

- (b2)
*There exists*\(x_0\in X\)*such that*\(gx_0\mathcal {R} Tx_0\); - (b3)
*There exists*\(\{x_n\}_{n\in \mathbb {N}_{0}}\in \mathcal {O}(x_0)\)*such that*\(gx_n\)*converges to*\(y_*=gx_*\); - (b4)
*There exists*\(\beta >0\)*such that**T**is a*\(\beta\)-*quasi contractive mapping*; - (b5)
\(\varphi\)

*is continuous or*\(\beta >\max \{\alpha _2,\alpha _3\}\).

*Then,*\(x_*\in C(g,T)\).

### *Proof*

*k*we have

Now, we are ready to furnish the proof of the first main result of the previous section.

### **Proof of Theorem 2.1**

*X*,

*d*) is

*g*-orbitally complete there exists \(y_*\) such that \(\lim \nolimits _{n\rightarrow \infty }gx_n=y_*\). Since

*g*(

*X*) is closed, there exits \(x_*\) satisfying \(y_*=gx_*\). Suppose that either (A5.a) or (A5.b) holds, then using Lemma 3.5, we deduce that \(Tx_*=gx_*\). Now, suppose that (A5.c) holds. Let \(s=\{x_n\}_{n\in \mathbb {N}_0}\in \mathcal {O}(x_0)\) such that

*T*and

*g*commute at the orbit \(O_{\infty }(g,s)\). Since the sequence \(\{gx_n\}\) is a Cauchy sequence, let \(y_{*}=\lim \nolimits _{n \rightarrow \infty }gx_n\). Since

*T*and

*g*commute at the orbit, for all \(n\ge 2\), we have \(g^{2}x_{n}=T^{2}x_{n-2}\), then \(\lim \nolimits _{n\rightarrow \infty }g^2x_n=\lim \nolimits _{n\rightarrow \infty }T^2x_{n-2}\). Using the continuity of

*T*and

*g*, we get

In order to prove Theorem 2.2, we will first need the following two lemmas:

### **Lemma 3.6**

*In addition to the hypotheses of* Theorem 2.2, *suppose that* \(x_*,y_*\in C(g,T)\), *then* \(gx_*=gy_*.\)

### *Proof*

*C*(

*g*,

*T*) is \(\mathcal {R}\)-

*g*-directed, there exists \(x_0\in X\) such that \(gx_*\mathcal {R} gx_0\) and \(gy_*\mathcal {R} gx_0\). We consider a sequence \(s=\{x_n\}_{n\in \mathbb {N}_0}\in \mathcal {O}(x_0)\). First, lets assume that \(\mathcal {R}\) is symmetric, then \(gx_0\mathcal {R}Tx_0\). Hence, by Lemma 3.4, the sequence \(\{gx_n\}\) is a Cauchy sequence. Since (

*X*,

*d*) is

*g*-orbitally complete, there exists \(z_*\) such that \({\lim\nolimits _{n\rightarrow +\infty } gx_n=z_*}\). As the relation \(\mathcal R\) is transitive we have \(gx_n\mathcal R gx_*\). Using the fact that

*T*is \(\beta\)-quasi contractive we obtain

*n*(

*k*) such that (6) is true, then there exists \(N>0\) such that for all \(n>N\), we have\(d(gx_n,gx_{*})\) \(>d(gx_n,gx_{n+1})\), and it follows

*n*tends to infinity. Hence, \(\lim \nolimits _{n\rightarrow \infty }d(gx_{n(k)},gx_{*})=0\) and then \(z_{*}=gy_{*}\). Similarly, we prove that \(z_{*}=gy_{*}\) which implies that \(gx_{*}=gy_{*}\).

*T*is a

*g*-comparative mapping, for all \(n\ge 0,\) we have \(gx_{*}\mathcal {R}gx_n\) and \(gy_{*}\mathcal {R}gx_n.\) Since

*T*is \(\beta\)-quasi contractive, we have

*n*we have \(d(gx_n,gx_*)\le d(gx_{n+1},gx_*)\). It follows that

### **Lemma 3.7**

*Let*

*X*

*be a non empty set and*\(T, \,g:X\rightarrow X\)

*be two mappings such that*:

- (c1)
*C*(*g*,*T*)*is non empty*. - (c2)
*T**and**g**commute at any coincidence point*. - (c3)
\(gx_*=gy_*\)

*for all*\(x_*\), \(y_*\) in*C*(*g*,*T*).

*Then*

*T*

*and*

*g*

*have a unique common fixed point*.

### *Proof*

*T*and

*g*commute at their coincidence points, then

*z*is a coincidence point. By (c3), we have \(gz=gx_*=z=Tz\), that is,

*z*is a common fixed point of

*T*and

*g*. This common fixed point is unique; assuming \(\omega\) is another common fixed point of

*T*and

*g*, then again by (c3) we have \(\omega =g\omega =gz=z.\) \(\quad \square\)

### **Proof of Theorem 2.2**

By Theorem 2.1 *C*(*g*, *T*) is non empty. Then by Lemma 3.6, the hypotheses of Lemma 3.7 are satisfied. Therefore *T* and *g* have a unique common fixed point.\(\quad \square\)

### **Proof of Theorem 2.3**

*n*we have \(d(gx_{n},gx_{n-1})>d(gx_{n},gx_{n+1})\). By (8) we have

*X*. Now, since (

*X*,

*d*) is complete and

*g*(

*X*) is closed, then there exists \(x_*\in X\) such that \(gx_*=\lim \nolimits _{n\rightarrow \infty }gx_{n}\). And finally, using Lemma 3.5 we conclude that \(gx^*=Tx^*\). That is \(x^*\) is a coincidence point.\(\quad \square\)

### **Proof of Theorem 2.4**

*C*(

*g*,

*T*) is \(\mathcal {R}\)-

*g*-directed, then there exists \(x_0\in X\) such that \(gx_*\mathcal {R} gx_0\) and \(gy_*\mathcal {R}gx_0\). Let \(s=\{x_n\}_{n\in \mathbb {N}_0}\in \mathcal O (x_0)\), as

*T*is a

*g*-comparative mapping, for all \(n\ge 0,\) we have \(gx_*\mathcal {R}gx_n\) and \(gy_*\mathcal {R}gx_n\) and then

*n*, we have \(d(gx_n,gx_*)\le d(gx_{n+1},gx_*).\) We have from (10)

*n*. By induction we obtain

*T*and

*g*have a unique common fixed point.\(\quad \square\)

## Consequences

Several consequences of the main results are established in this section.

### **Corollary 4.1**

*Let*(

*X*,

*d*)

*be a complete space endowed with a transitive binary relation*\({\mathcal R}\)

*such that*\((X,d,\mathcal R)\)

*is regular. Let*\(T:\,X\rightarrow X\)

*be a mapping satisfying the following conditions:*

- (A1)
*there exists*\(x_0\in X\)*such that*\(x_0\mathcal R Tx_0\); - (A2)
*T**is id-comparative*; - (A3)
*there exists*\(\varphi \in \Phi _2\)*such that*$$\begin{aligned} d(Tx,Ty)\le \varphi \left(\max \{d(x,y),\dfrac{d(x,Tx)+d(y,Ty)}{2},\dfrac{d(x,Ty)+d(y,Tx)}{2}\}\right) \end{aligned}$$

*Then, T has a a fixed point*\(x_*\in X\)

*. Moreover, if in addition, C*(

*id*,

*T*) is \(\mathcal {R}\)-id-directed , then \(x_*\)

*is the unique fixed point of T in*

*X*.

### *Proof*

This result follows immediately from Theorem 2.1 and Theorem 2.2 by taking \(g=id\).\(\quad \square\)

### *Remark 4.1*

Noting that Samet and Turinici in [3] proved the previous result for \(\varphi \in \Phi _1\) and without condition (P4). However, the existence of the fixed point can be proved for a transitive binary relation but not necessarily symmetric.

### **Corollary 4.2**

*Let*(

*X*,

*d*)

*a complete metric space endowed with a partial order*\(\le\)

*such that*\((X,d,\le )\)

*is regular. Let*\(g,T:\,X\rightarrow X\)

*two mappings satisfying the following conditions:*

- (1)
*there exists*\(x_0\in X\)*such that*\(gx_0\le Tx_0;\) - (2)
*g*(*X*)*is closed and*\(T(X)\subset g(X);\) - (3)
\(gx\le gy\)

*implies*\(Tx\le Ty\)*for all*\(x,y\in X\); - (4)
*there exists*\(\beta >0\)*and a continuous function*\(\varphi \in \Phi _\beta\)*such that*$$\begin{aligned} x,y\in X: gx \le gy\Longrightarrow d(Tx,Ty)\le \varphi (M_{g,T}(x,y)), \end{aligned}$$*where*\(M_{g,T}(x,y)\)*is given by*Definition 1.6.

*T*and

*g*

*have a coincidence point in*

*X*.

### *Proof*

### **Corollary 4.3**

*Let*(

*X*,

*d*)

*be a complete metric space endowed with a partial order*\(\le\)

*such that*\((X,d,\le )\)

*is regular. Let*\(T:X\rightarrow X\)

*be a mapping satisfying the following conditions:*

- (1)
There exists \(x_0\in X\)

*such that*\(x_0\le Tx_0;\) - (2)
*T**is non decreasing;* - (3)
*There exists a continuous function*\(\varphi \in \Phi _1\) such that$$\begin{aligned} d(Tx,Ty)\le \varphi (\max \big \{d(x,y), d(x,Tx),d(y,Ty),d(x,Ty),d(y,Tx)\big \}), \end{aligned}$$

*Then, T has a fixed point in*

*X*.

### *Proof*

The fixed point result comes as an immediate consequence of Corollary 4.2 when \(g=id\).\(\quad \square\)

### **Corollary 4.4**

*Let*(

*X*,

*d*)

*be a complete metric space,*\(T, g:X\rightarrow X\)

*be a pair of commuting continuous mappings, such that*

*g*(

*X*)

*is closed and*\(T(X)\subset g(X).\)

*Assume that there exists*\(\varphi \in \Phi _1\)

*satisfying*

*T*

*and g have a unique common fixed point.*

### *Proof*

All hypotheses of Theorem 2.1 are satisfied by taking \(\mathcal {R}= X\times X.\) In addition hypothesis (A5.c) is also satistied, and therefore we have shown the existence of a coincidence point. Furthermore, all hypotheses of Theorem 2.2 are satisfied, which implies that *T* and *g* have a unique common fixed point.\(\quad \square\)

### **Corollary 4.5**

*Let*(

*X*,

*d*)

*be a complete metric space and*\(T,g:X\rightarrow X\)

*be two commuting mappings such that*

*g*(

*X*)

*is closed and*\(T(X)\subset g(X).\)

*Suppose there exists*\(q\in (0,1)\)

*satisfying*

*T*

*and g have a unique common fixed point.*

### *Proof*

It is an immediate consequence of the previous corollary where \(\varphi (t)=qt\).\(\quad \square\)

### **Corollary 4.6**

*Let*(

*X*,

*d*)

*be a complete metric space and*\(T:X\rightarrow X\)

*be continuous mapping. Suppose there exists*\(\varphi \in \Phi _1\)

*such that*

*for all*\(x,y\in X\).

*Then,*

*T*

*has a unique fixed point in*

*X*.

### *Proof*

The result is an immediate consequence of Corollary 4.4 when \(g=Id\).\(\quad \square\)

### *Remark 4.2*

The condition (P4) from Definition 1.5 is not introduced in [16]. However, it is required to prove [Lemma 2, [16]].

### **Corollary 4.7**

([2]) *Let* (*X*, *d*)* be a complete metric space and * \(T:X\rightarrow X\) * be continuous mapping. Suppose that *(1) *holds. Then, T has a unique fixed point in* *X*.

### *Proof*

This result is an immediate consequence of Corollary 4.5 with \(g=id\).\(\quad \square\)

### *Remark 4.3*

Further consequences may be derived once we specify the binary relation \(\mathcal {R}\).

## Applications

- (H1)
for all \(u,v,w\in \mathbb {R}^n\), if \(\xi (u,v)\ge 0\) and \(\xi (v,w)\ge 0\), then \(\xi (u,w)\ge 0\);

- (H2)for all \(x,y\in X\) such that\(\xi (gx(s),gv(s))\ge 0\) for all \(s\in [0,\tau ]\) we havewhere \(\varphi \in \Phi _{2}\) and \(\varphi (\alpha t) \le \alpha \varphi (t)\) for all \(t\in [0,\tau ]\) and for all \(\alpha \ge 1\).$$\begin{aligned} |F(t,s,x(s))-F(t,s,y(s))|\le \varphi \left( 2|gx(s)-gy(s)| \right) ,\quad \text {for\,all }\, s\in [0,\tau ], \end{aligned}$$
- (H3)there exists \(x_0\in X\) such that for all \(t\in [0,\tau ]\),$$\begin{aligned} \xi \left( gx_0(t),\int _{0}^{t} \, F(t,s,x_0(s)) \, ds + \lambda (t)\right) \ge 0. \end{aligned}$$
- (H4)for all \(x,y\in X\) and for all \(t\in [0,\tau ]\), if \(\xi \left( gx(t),gy(t)\right) \ge 0\), then$$\begin{aligned} \xi \left( \int _{0}^{t} \, F(t,s,x(s)) \, ds + \lambda (t),\int _{0}^{t} \, F(t,s,y(s)) \, ds + \lambda (t)\right) \ge 0. \end{aligned}$$
- (H5)
if \(\{x_{n}\}\) is a sequence in

*X*such that \(\lim \nolimits _{n\rightarrow \infty }d_{\kappa ,\tau }(x_{n},x)=0\) and \(\xi (x_{n}(t),\) \(x_{n+1}(t))\) \(\ge 0\) for all \(n\in \mathbb {N}_{0}\) and \(t\in [0,\tau ]\) then \(\xi (x_{n}(t),x(t))\ge 0\) for all \(n\in \mathbb {N}_{0}\) and for all \(t\in [0,\tau ]\).

### **Theorem 5.1**

*Under hypotheses (H1)–(H5), the integral equation* (12)* has at least one solution* \(x_{*}\) * in* *X*.

### *Proof*

*T*by

*T*and

*g*have at least a coincidence point in

*X*, that is, \(Tx_{*}=gx_{*}\). Consequently, the integral equation (12) has at least one solution \(x_{*}\) in

*X*.\(\quad \square\)

## Conclusion

Improvements to some coincidence and common fixed point theorems are proposed. In particular, the result due to Ćirić in [2] for quasi-contractive mapping is generalized. Furthermore, the fixed point theorem due to Samet and Turinici in [3] for spaces endowed with binary relation has been extended. This has been achieved by introducing the \(\beta\)-quasi contractive mappings on metric spaces endowed with binary relations involving \(\beta\)-comparison functions. As an application, the existence of solutions to a generalized class of Urysohn integral equations has been shown. The approach used in the current contribution may be extended for different types of metric spaces.

## References

- 1.Banach, S.: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fund. Math.
**3**(1), 133–181 (1922)zbMATHGoogle Scholar - 2.Ćirić, L.B.: A generalization of Banach’s contraction principle. Proc. Am. Math. Soc.
**45**(2), 267–273 (1974)zbMATHGoogle Scholar - 3.Samet, B., Turinci, M.: Fixed points theorems on a metric space endowed with an arbitrary binary relation and applications. Commun. Math. Anal.
**13**, 82–97 (2012)MathSciNetzbMATHGoogle Scholar - 4.Kannan, R.: On certain sets and fixed point theorems. Roum. Math. Pure. Appl.
**14**, 51–54 (1969)MathSciNetzbMATHGoogle Scholar - 5.Chatterjea, S. K.: Fixed-point theorems. C.R. Acad. Bulgare Sci. 25, pp 727–730 (1972)Google Scholar
- 6.Hardy, G.E., Rogers, T.D.: A generalization of a fixed point theorem of Reich. Canad. Math. Bull.
**16**, 201–206 (1973)MathSciNetCrossRefzbMATHGoogle Scholar - 7.Ran, A.C.M., Reurings, M.C.B.: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc.
**132**, 1435–1443 (2003)MathSciNetCrossRefzbMATHGoogle Scholar - 8.Nieto, J. J., López, R. R.: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math. Sin. (Engl. Ser.)
**23**, 2205–2212 (2007)Google Scholar - 9.Ćirić, L.B.: Generalized contractions and fixed point theorems. Publ. Inst. Math.
**12**, 19–26 (1971)MathSciNetzbMATHGoogle Scholar - 10.Kirk, W.A., Srinivasan, P.S., Veeramani, P.: Fixed points for mappings satisfying cyclical contractive conditions. Fixed Point Theory.
**4**(1), 79–89 (2003)MathSciNetzbMATHGoogle Scholar - 11.Berzig, M.: Coincidence and common fixed point results on metric spaces endowed with an arbitrary binary relation and applications. J. Fixed Point Theory Appl.
**12**(1–2), 221–238 (2012)MathSciNetCrossRefzbMATHGoogle Scholar - 12.Shahzad, N., Karapınar, E., Roldán, A.: On some fixed point theorems under \((\alpha,\psi,\phi )\)-contractivity conditions in metric spaces endowed with transitive binary relations. Fixed Point Theory Appl.
**2015**(104), 1–24 (2015)MathSciNetzbMATHGoogle Scholar - 13.Berzig, M., Karapınar, E., Roldán, A.: Discussion on generalized-\((\alpha \psi ,\beta \varphi )\)-contractive mappings via generalized altering distance function and related fixed point theorems, Abstract and Applied Analysis, Article Id: 259768 (2013)Google Scholar
- 14.Berzig, M., Karapınar, E.: Fixed point results for \((\alpha \psi ,\beta \varphi )\)-contractive mappings for a generalized altering distance. Fixed Point Theory Appl.
**1**, 1–18 (2013)Google Scholar - 15.Berzig, M., Rus, M.-D.: Fixed point theorems for \(\alpha\)-contractive mappings of Meir-Keeler type and applications. Nonlinear Anal. Model. Control
**19**(2), 178–198 (2014)MathSciNetzbMATHGoogle Scholar - 16.Khan, M.S., Berzig, M., Chandok, S.: Fixed point theorems in bimetric space endowed with binary relation And Applications. Miskolc Math. Notes
**16**(2), 939–951 (2015)MathSciNetCrossRefzbMATHGoogle Scholar - 17.Aydi, H., Berzig, M.: Coincidence point theorems in higher dimension for nonlinear contractions. J. Nonlinear Anal. Optim
**4**(1), 53–64 (2012)Google Scholar - 18.Alam, A., Imdad, M.: Nonlinear contractions in metric spaces under locally \(T\)-transitive binary relations. arXiv:1512.00348 (2016)
- 19.Turinici, M.: Contractive operators in relational metric spaces. In handbook of functional equations. Springer, New York (2014)zbMATHGoogle Scholar
- 20.Agarwal, R.P., O’Regan, D., Wong, P.J.: Positive solutions of differential. Difference and integral equations. Dordrecht, The Netherlands (1999)CrossRefzbMATHGoogle Scholar
- 21.O’Regan, D., Meehan, M.M.: Existence Theory for nonlinear integral and integrodifferential equations. Kluwer Academic Publishers, Dordrecht (1998)CrossRefzbMATHGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.