- Research
- Open Access

# Fixed point theorems for integral *G*-contractions

- Maria Samreen
^{1}and - Tayyab Kamran
^{2}Email author

**2013**:149

https://doi.org/10.1186/1687-1812-2013-149

© Samreen and Kamran; licensee Springer. 2013

**Received: **23 March 2013

**Accepted: **2 May 2013

**Published: **6 June 2013

## Abstract

We define the notion of an integral *G*-contraction for mappings on metric spaces and establish some fixed point theorems for such mappings. Our results generalize and unify some recent results by Jachymski, Branciari and those contained therein. As an application, we obtain a result for cyclic operators. Moreover, we provide an example to show that our results are substantial improvements of some known results in literature.

**MSC:**47H10, 54H25.

## Keywords

## 1 Introduction

Branciari [1] generalized the Banach contraction principle by proving the existence of a unique fixed point of a mapping on a complete metric space satisfying a general contractive condition of integral type. Afterwards, many authors undertook further investigations in this direction (see, *e.g.*, [2–6]). Ran and Reurings [7] initiated the study of fixed points of mappings on partially ordered metric spaces. A number of interesting fixed point theorems have been obtained by different authors for this setting; see, for example, [7–11]. Jachymski [12] used the platform of graph theory instead of partial ordering and unified the results given by authors [7, 8, 11]. He showed that a mapping on a complete metric space still has a fixed point provided the mapping satisfies the contraction condition for pairs of points which form edges in the graph. Subsequently, Beg *et al.* [13] established a multivalued version of the main result of Jachymski [12]. Aydi *et al.* [14] studied fixed point theorems for weakly *G*-contraction mappings in *G*-metric spaces. Later on, Bojor [15] obtained some results in such settings by weakening the condition of Banach *G*-contractivity and introducing some new type of connectivity of a graph.

In this paper, motivated by the work of Jachymski [12] and Branciari [1], we introduce two new contraction conditions for mappings on complete metric spaces and, using these contractive conditions, obtain some fixed point theorems. Our results generalize and unify some results by the above mentioned authors.

## 2 Preliminaries

Let $(X,\u2aaf)$ be a partially ordered set. A mapping $f:X\to X$ is said to be nonincreasing if $x,y\in X$, $x\u2aafy\Rightarrow f(x)\u2ab0f(y)$. A mapping *f* is said to be nondecreasing if $x,y\in X$, $x\u2aafy\Rightarrow f(x)\u2aaff(y)$. A mapping *f* from a metric space $(X,d)$ into $(X,d)$ is called a Picard operator (PO) [11] if *f* has a unique fixed point $t\in X$ and ${lim}_{n\to \mathrm{\infty}}{f}^{n}x=t$ for all $x\in X$. Two sequences $\{{x}_{n}\}$ and $\{{y}_{n}\}$ in a metric space $(X,d)$ are said to be equivalent if $d({x}_{n},{y}_{n})\to 0$. Moreover, if each of them is Cauchy, then these are called Cauchy equivalent. A mapping from a metric space $(X,d)$ into $(X,d)$ is called orbitally continuous if for all $x,y\in X$ and any sequence $\{{k}_{n}\}$ of positive integers, ${f}^{{k}_{n}}x\to y$ implies $f({f}^{{k}_{n}}x)\to fy$ as $n\to \mathrm{\infty}$.

Let $G=(V(G),E(G))$ be a directed graph. By ${G}^{-1}$ we denote the graph obtained from *G* by reversing the direction of edges, and by letter $\tilde{G}$ we denote the undirected graph obtained from *G* by ignoring the direction of edges. It will be more convenient to treat $\tilde{G}$ as a directed graph for which the set of its edges is symmetric, *i.e.*, $E(\tilde{G})=E(G)\cup E({G}^{-1})$. If *x* and *y* are vertices in a graph *G*, then a path in *G* from *x* to *y* of length *l* is a sequence ${({x}_{i})}_{i=0}^{l}$ of $l+1$ vertices such that ${x}_{0}=x$, ${x}_{l}=y$ and $({x}_{i-1},{x}_{i})\in E(G)$ for $i=1,\dots ,l$. A graph *G* is called connected if there is a path between any two vertices. *G* is weakly connected if $\tilde{G}$ is connected. For a graph *G* such that $E(G)$ is symmetric and *x* is a vertex in *G*, the subgraph ${G}_{x}$ consisting of all edges and vertices which are contained in some path beginning at *x* is called component of *G* containing *x*. In this case $V({G}_{x})={[x]}_{\tilde{G}}$, where ${[x]}_{\tilde{G}}$ is the equivalence class of a relation *R* defined on $V(G)$ by the rule: $yRz$ if there is a path in *G* from *y* to *z*. Clearly, ${G}_{x}$ is connected. A graph *G* is known as a $(C)$-graph in *X* [16] if for any sequence $\{{x}_{n}\}$ in *X* with ${x}_{n}\u27f6x$ and $({x}_{n},{x}_{n+1})\in E(G)$ for $n\in \mathbb{N}$, there exists a subsequence $\{{x}_{{n}_{k}}\}$ of $\{{x}_{n}\}$ such that $({x}_{{n}_{k}},x)\in E(G)$ for $k\in \mathbb{N}$.

Subsequently, in this paper, *X* is a complete metric space with metric *d*, and Δ is the diagonal of the Cartesian product $X\times X$. *G* is a directed graph such that the set $V(G)$ of its vertices coincides with *X*, and the set $E(G)$ of its edges contains all loops, *i.e.*, $E(G)\supseteq \mathrm{\Delta}$. Assume that *G* has no parallel edges. We may treat *G* as a weighted graph by assigning to each edge the distance between its vertices. A mapping $f:X\to X$ is called orbitally *G*-continuous [12] if for all $x,y\in X$ and any sequence ${({k}_{n})}_{n\in \mathbb{N}}$ of positive integers, ${f}^{{k}_{n}}x\to y$ and $({f}^{{k}_{n}}x,{f}^{{k}_{n+1}}x)\in E(G)$, $\mathrm{\forall}n\in \mathbb{N}$ imply $f({f}^{{k}_{n}}x)\to fy$.

We state, for convenience, the following definition and result.

**Definition 2.1** [[12], Definition 2.1]

*G*-contraction or simply a

*G*-contraction if

*f*preserves edges of

*G*,

*i.e.*,

*f*decreases weights of edges of

*G*in the following way:

Let Φ denote the class of all mappings $\varphi :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ which are Lebesgue integrable, summable on each compact subset of $[0,+\mathrm{\infty})$, nonnegative and for each $\u03f5>0$, ${\int}_{0}^{\u03f5}\varphi (s)\phantom{\rule{0.2em}{0ex}}ds>0$.

**Theorem 2.2** [[1], Theorem 2.1]

*Let*$(X,d)$

*be a complete metric space*, $c\in (0,1)$,

*and let*$f:X\to X$

*be a mapping such that for each*$x,y\in X$,

*where* $\varphi \in \mathrm{\Phi}$. *Then* *f* *has a unique fixed point* $t\in X$ *such that for each* $x\in X$, ${lim}_{n\to \mathrm{\infty}}{f}^{n}x=t$.

## 3 Main results

We begin this section, motivated by Jachymski [12] and Branciari [1], by introducing the following definition.

**Definition 3.1**A mapping $f:X\to X$ is called an integral

*G*-contraction if

*f*preserves edges (see (2.1)) and

for some $c\in (0,1)$ and $\varphi \in \mathrm{\Phi}$.

**Remark 3.2** Note that if $f:X\to X$ satisfies (2.3), then *f* is an integral ${G}_{1}$-contraction where ${G}_{1}=(X,X\times X)$. Moreover, every Banach *G*-contraction is an integral *G*-contraction (take $\varphi (x)=1$), but the converse may not hold.

**Proposition 3.3**

*Let*$f:X\to X$

*be an integral*

*G*-

*contraction with contraction constant*$c\in (0,1)$

*and*$\varphi \in \mathrm{\Phi}$,

*then*:

- (i)
*f**is both an integral*${G}^{-1}$-*contraction and an integral*$\tilde{G}$-*contraction with the same contraction constant*$c\in (0,1)$*and**ϕ*. - (ii)
${[{x}_{0}]}_{\tilde{G}}$

*is**f*-*invariant and*$f{|}_{{[{x}_{0}]}_{\tilde{G}}}$*is an integral*${\tilde{G}}_{{x}_{0}}$-*contraction provided that there exists some*${x}_{0}\in X$*such that*$f{x}_{0}\in {[{x}_{0}]}_{\tilde{G}}$.

*Proof* (i) is a consequence of symmetry of *d*.

(ii) Let $x\in {[{x}_{0}]}_{\tilde{G}}$. Then there is a path $x={z}_{0},{z}_{1},\dots ,{z}_{m}={x}_{0}$ between *x* and ${x}_{0}$ in $\tilde{G}$. Since *f* is an integral *G*-contraction, then $(f{z}_{i-1},f{z}_{i})\in E(\tilde{G})$, $\mathrm{\forall}i=1,2,\dots ,l$. Thus $fx\in {[f{x}_{0}]}_{\tilde{G}}={[{x}_{0}]}_{\tilde{G}}$.

Suppose that $(x,y)\in E({\tilde{G}}_{{x}_{0}})$, then $(fx,fy)\in E(G)$ as *f* is an integral *G*-contraction. But ${[{x}_{0}]}_{\tilde{G}}$ is *f* invariant, so we conclude that $(fx,fy)\in E({\tilde{G}}_{{x}_{0}})$. Furthermore, (3.1) is satisfied automatically because ${\tilde{G}}_{{x}_{0}}$ is a subgraph of *G*. □

**Lemma 3.4**

*Let*$f:X\to X$

*be an integral*

*G*-

*contraction and*$y\in {[x]}_{\tilde{G}}$,

*then*

*Proof*Let $x\in X$ and $y\in {[x]}_{\tilde{G}}$, then there exists $N\in \mathbb{N}$ such that ${x}_{0}=x$, ${x}_{N}=y$ and $({x}_{i-1},{x}_{i})\in E(\tilde{G})$ for all $i=1,2,\dots ,N$. By Proposition 3.3 it follows that $({f}^{n}{x}_{i-1},{f}^{n}{x}_{i})\in E(\tilde{G})$ and

*ϕ*, it follows from (3.3) that

which implies $(1-c){\int}_{0}^{r}\varphi (s)\phantom{\rule{0.2em}{0ex}}ds\le 0$ and it further implies that ${\int}_{0}^{r}\varphi (s)\phantom{\rule{0.2em}{0ex}}ds=0$, a contradiction. Thus, ${lim}_{n\to \mathrm{\infty}}{d}_{n}={lim}_{n\to \mathrm{\infty}}d({f}^{n}{x}_{i-1},{f}^{n}{x}_{i})=0$, $\mathrm{\forall}i=1,2,\dots ,N$, in both cases. From the triangular inequality, we have $d({f}^{n}x,{f}^{n}y)\le {\sum}_{i=1}^{N}d({f}^{n}{x}_{i-1},{f}^{n}{x}_{i})$, and letting $n\to \mathrm{\infty}$ gives ${lim}_{n\to \mathrm{\infty}}d({f}^{n}x,{f}^{n}y)=0$. □

*G*-contractions. We call this a class of sub-integral

*G*-contractions. Let us denote by Ω the class of all mappings $\varphi \in \mathrm{\Phi}$ satisfying following:

for every $\alpha ,\beta \ge 0$. Note that every constant function $\varphi (x)=k>0$ belongs to the class Ω.

**Example 3.5**Define ${\varphi}_{1},{\varphi}_{2}:[0,\mathrm{\infty})\to [0,\mathrm{\infty})$ by

It is easy to see that ${\varphi}_{1}$, ${\varphi}_{2}$ satisfy (3.5) and thus belong to the class Ω.

**Definition 3.6** We say that an integral *G*-contraction is a sub-integral *G*-contraction if $\varphi \in \mathrm{\Omega}$.

**Lemma 3.7**

*Let*$f:X\to X$

*be a sub*-

*integral*

*G*-

*contraction and*$y\in {[x]}_{\tilde{G}}$.

*Then there exists*$p(x,y)\ge 0$

*such that*

*Proof*Let $x\in X$ and $y\in {[x]}_{\tilde{G}}$, then there exists $N\in \mathbb{N}$ such that ${x}_{0}=x$, ${x}_{N}=y$ and $({x}_{i-1},{x}_{i})\in E(\tilde{G})$ for all $i=1,2,\dots ,N$. Since $\varphi \in \mathrm{\Omega}$, using the triangular inequality, it follows that

where $p(x,y)={\sum}_{i=0}^{N}{\int}_{0}^{d({x}_{i-1},{x}_{i})}\varphi (s)\phantom{\rule{0.2em}{0ex}}ds$. □

**Definition 3.8** Let $f:X\to X$, $y\in X$ and the sequence $\{{f}^{n}y\}$ in *X* be such that ${f}^{n}y\to {x}^{\ast}\in X$ with $({f}^{n}y,{f}^{n+1}y)\in E(G)$ for $n\in \mathbb{N}$. We say that the graph *G* is a $({C}_{f})$-graph if there exists a subsequence $\{{f}^{{n}_{k}}y\}$ such that $({f}^{{n}_{k}}y,{x}^{\ast})\in E(G)$ for $k\in \mathbb{N}$.

Obviously, every $(C)$-graph is a $({C}_{f})$-graph for any self-mapping *f* on *X*, but the converse may not hold as shown in the following.

**Example 3.9** Let $X:=[0,1]$ with respect to the usual metric $d(x,y)=|x-y|$. Consider the graph *G* consisting of $V(G):=X$ and $E(G):=\{(\frac{n}{n+1},\frac{n+1}{n+2}):n\in \mathbb{N}\}\cup \{(\frac{x}{{2}^{n}},\frac{x}{{2}^{n+1}}):n\in \mathbb{N},x\in [0,1]\}\cup \{(\frac{x}{{2}^{2n}},0):n\in \mathbb{N},x\in [0,1]\}$. Note that *G* is not a $(C)$-graph as $\frac{n}{n+1}\to 1$. Define $f:X\to X$ as $fx=\frac{x}{2}$. Then *G* is a $({C}_{f})$-graph since ${f}^{n}x=\frac{x}{{2}^{n}}\to 0$ for each $x\in [0,1]$.

**Theorem 3.10**

*Let*$f:X\to X$

*be a sub*-

*integral*

*G*-

*contraction*.

*Assume that*

- (i)
${X}_{f}:=\{x\in X:(x,fx)\in E(G)\}\ne \mathrm{\varnothing}$,

- (ii)
*G**is a*$({C}_{f})$-*graph*.

*Then*, *for any* ${z}_{0}\in {X}_{f}$, $f{|}_{{[{z}_{0}]}_{\tilde{G}}}$ *is a Picard operator*. *Further*, *if* *G* *is weakly connected*, *then* *f* *is a Picard operator*.

*Proof*Let ${z}_{0}\in {X}_{f}$, then $f{z}_{0}\in {[{z}_{0}]}_{\tilde{G}}$. Let $m>n\ge 1$, using Lemma 3.7, we have

*X*. Therefore, ${f}^{n}{z}_{0}\to t\in X$. Let

*y*be another element in ${[{z}_{0}]}_{\tilde{G}}$, then it follows from Lemma 3.4 that ${f}^{n}y\to t$, too. Next, we show that

*t*is a fixed point of

*f*. Since ${f}^{n}{z}_{0}\to t\in X$ and $({f}^{n}{z}_{0},{f}^{n+1}{z}_{0})\in E(G)$ for all $n\in \mathbb{N}$ and

*G*is a $({C}_{f})$-graph, then there exists a subsequence $\{{f}^{{n}_{k}}{z}_{0}\}$ of $\{{f}^{n}{z}_{0}\}$ such that $({f}^{{n}_{k}}{z}_{0},t)\in E(G)$ for all $k\in \mathbb{N}$. Therefore, $({z}_{0},f{z}_{0},{f}^{2}{z}_{0},\dots ,{f}^{{n}_{1}}{z}_{0},t)$ is a path in

*G*and so in $\tilde{G}$ from ${z}_{0}$ to

*t*, thus $t\in {[{z}_{0}]}_{\tilde{G}}$. From (3.1), we get

letting $k\to \mathrm{\infty}$, we have ${\int}_{0}^{d(t,ft)}\varphi (s)\phantom{\rule{0.2em}{0ex}}ds=0$, which implies that $d(t,ft)=0$. This shows that $f{|}_{{[{z}_{0}]}_{\tilde{G}}}$ is a Picard operator. Moreover, if *G* is weakly connected, then *f* is a Picard operator since ${[{z}_{0}]}_{\tilde{G}}=X$. □

**Corollary 3.11**

*Let*$(X,d)$

*be a complete metric space endowed with a graph*

*G*

*such that*

*G*

*is*$({C}_{f})$-

*graph*.

*Then the following statements are equivalent*:

- (1)
*G**is weakly connected*. - (2)
*Every sub*-*integral**G*-*contraction**f**on**X**is a Picard operator provided that*${X}_{f}\ne \mathrm{\varnothing}$.

*Proof* $(1)\Rightarrow (2)$: It is immediate from Theorem 3.10.

*G*is not weakly connected, then $\tilde{G}$ is disconnected,

*i.e.*, there exists ${x}_{\circ}\in X$ such that ${[{x}_{\circ}]}_{\tilde{G}}\ne \mathrm{\varnothing}$ and $X\setminus {[{x}_{\circ}]}_{\tilde{G}}\ne \mathrm{\varnothing}$. Let ${y}_{\circ}\in X\setminus {[{x}_{\circ}]}_{\tilde{G}}$, we construct a self-mapping

*f*by (as in [[12], Theorem 3.1]):

Let $(x,y)\in E(G)$, then ${[x]}_{\tilde{G}}:={[y]}_{\tilde{G}}$, which implies $fx=fy$ hence $(fx,fy)\in E(G)$, since *G* contains all loops and further (3.1) is trivially satisfied (take $\varphi (s)=1$). But ${x}_{\circ}$ and ${y}_{\circ}$ are two fixed points of *f* contradicting the fact that *f* has a unique fixed point. □

**Theorem 3.12** *Let* $f:X\to X$ *be a sub*-*integral* *G*-*contraction*. *Assume that* *f* *is orbitally* *G*-*continuous and* ${X}_{f}:=\{x\in X:(x,fx)\in E(G)\}\ne \mathrm{\varnothing}$. *Then*, *for any* ${z}_{0}\in {X}_{f}$ *and* $y\in {[{z}_{0}]}_{\tilde{G}}$, ${lim}_{n\to \mathrm{\infty}}{f}^{n}y=t\in X$ *where* *t* *is a fixed point of* *f*. *Further*, *if* *G* *is weakly connected*, *then* *f* *is a Picard operator*.

*Proof* Let ${z}_{0}\in {X}_{f}$, then the arguments used in the proof of Theorem 3.10 imply that $\{{f}^{n}{z}_{0}\}$ is a Cauchy sequence. Therefore, ${f}^{n}{z}_{0}\to t\in X$. Since $({f}^{n}{z}_{0},{f}^{n+1}{z}_{0})\in E(G)$ for all $n\in \mathbb{N}$ and *f* is orbitally *G*-continuous, therefore $t={lim}_{n\to \mathrm{\infty}}f{f}^{n}{z}_{0}=ft$. Note that if *y* is another element from ${[{z}_{0}]}_{\tilde{G}}$, then it follows from Lemma 3.4 that ${lim}_{n\to \mathrm{\infty}}{f}^{n}y=t$. Finally, if *G* is weakly connected, then ${[{z}_{0}]}_{\tilde{G}}:=X$, which yields that *f* is a Picard operator. □

**Remark 3.13** Theorem 3.12 generalizes claims 2^{0} & 3^{0} of [[12], Theorem 3.3].

**Theorem 3.14** *Let* $f:X\to X$ *be a sub*-*integral* *G*-*contraction*. *Assume that* *f* *is orbitally continuous and if there exists some* ${z}_{0}\in X$ *such that* $f{z}_{0}\in {[{z}_{0}]}_{\tilde{G}}$, *then*, *for* $y\in {[{z}_{0}]}_{\tilde{G}}$, ${lim}_{n\to \mathrm{\infty}}{f}^{n}y=t\in X$, *where* *t* *is a fixed point of* *f*. *Further*, *if* *G* *is weakly connected*, *then* *f* *is a Picard operator*.

*Proof* Let ${z}_{0}\in X$ be such that $f{z}_{0}\in {[{z}_{0}]}_{\tilde{G}}$, then using the same arguments as in the proof of Theorem 3.10, $\{{f}^{n}{z}_{0}\}$ is Cauchy and thus ${lim}_{n\to \mathrm{\infty}}{f}^{n}{z}_{0}=t\in X$. Moreover, $t={lim}_{n\to \mathrm{\infty}}f{f}^{n}{z}_{0}=ft$, since *f* is orbitally continuous. Note that if *y* is another element from ${[{z}_{0}]}_{\tilde{G}}$, then it follows from Lemma 3.4 that ${lim}_{n\to \mathrm{\infty}}{f}^{n}y=t$. If *G* is weakly connected, then ${[{z}_{0}]}_{\tilde{G}}:=X$. This yields that *f* is a Picard operator. □

**Remark 3.15** Theorem 3.14 generalizes claims 2^{0} & 3^{0} of [[12], Theorem 3.4] and thus generalizes and extends the results of Nieto and Rodrýguez-López [[8], Theorems 2.1 and 2.3], Petrusel and Rus [[11], Theorem 4.3] and Ran and Reurings [[7], Theorem 2.1].

**Corollary 3.16**

*Let*$(X,d)$

*be a complete metric space endowed with a graph*

*G*.

*Then the following statements are equivalent*:

- (1)
*G**is weakly connected*. - (2)
*Every sub*-*integral**G*-*contraction**f**on**X**is a Picard operator provided that**f**is orbitally continuous*.

*Proof* (1) ⇒(2) is obvious from Theorem 3.14. Note that the example constructed in Corollary 3.11 is orbitally continuous. Hence, (2) ⇒ (1). □

**Remark 3.17** Corollary 3.16 generalizes claims 2^{0} & 3^{0} of [[12], Corollary 3.3].

*et al.*[17] introduced cyclic representations and cyclic contractions and they have been further investigated by many authors (see,

*e.g.*, [18–20]). Let

*X*be a nonempty set,

*m*be a positive integer and ${\{{A}_{i}\}}_{i=1}^{m}$ be nonempty closed subsets of

*X*and $f:{\bigcup}_{i=1}^{m}{A}_{i}\to {\bigcup}_{i=1}^{m}{A}_{i}$ be an operator. Then $X:={\bigcup}_{i=1}^{m}{A}_{i}$ is known as a cyclic representation of

*X*w.r.t.

*f*if

and the operator *f* is known as a cyclic operator.

**Theorem 3.18**

*Let*$(X,d)$

*be a complete metric space*.

*Let*

*m*

*be a positive integer*, ${\{{A}_{i}\}}_{i=1}^{m}$

*be nonempty closed subsets of*$X,Y:={\bigcup}_{i=1}^{m}{A}_{i}$

*and*$f:Y\to Y$.

*Assume that*

- (i)
${\bigcup}_{i=1}^{m}{A}_{i}$

*is a cyclic representation of**Y**w*.*r*.*t*.*f*; - (ii)
*there exists*$\varphi \in \mathrm{\Omega}$*such that*${\int}_{0}^{d(fx,fy)}\varphi (s)\phantom{\rule{0.2em}{0ex}}ds\le c{\int}_{0}^{(d(x,y))}\varphi (s)\phantom{\rule{0.2em}{0ex}}ds$*whenever*, $x\in {A}_{i}$, $y\in {A}_{i+1}$,*where*${A}_{m+1}={A}_{1}$.

*Then* *f* *has a unique fixed point* $t\in {\bigcap}_{i=1}^{m}{A}_{i}$ *and* ${f}^{n}y\to t$ *for any* $y\in {\bigcup}_{i=1}^{m}{A}_{i}$.

*Proof* We note that $(Y,d)$ is a complete metric space. Let us consider a graph *G* consisting of $V(G):=Y$ and $E(G):=\mathrm{\Delta}\cup \{(x,y)\in Y\times Y:x\in {A}_{i},y\in {A}_{i+1};i=1,\dots ,m\}$. By (i) and (ii) it follows that *f* is a sub-integral *G*-contraction. Now let ${f}^{n}x\to {x}^{\ast}$ in *Y* such that $({f}^{n}x,{f}^{n+1}x)\in E(G)$ for all $n\ge 1$. Then in view of (3.10), the sequence $\{{f}^{n}x\}$ has infinitely many terms in each ${A}_{i}$ so that one can easily extract a subsequence of $\{{f}^{n}x\}$ converging to ${x}^{\ast}$ in each ${A}_{i}$. Since ${A}_{i}$’s are closed, then ${x}^{\ast}\in {\bigcap}_{i=1}^{m}{A}_{i}$. Now it is easy to form a subsequence $\{{f}^{{n}_{k}}x\}$ in some ${A}_{j}$, $j\in \{1,\dots ,m\}$ such that $({f}^{{n}_{k}}x,{x}^{\ast})\in E(G)$ for $k\ge 1$, it vindicates *G* is a weakly connected $({C}_{f})$-graph and thus conclusion follows from Theorem 3.10. □

**Remark 3.19** Taking $\varphi (s)=1$, Theorem 3.18 subsumes the main result of [17].

**Theorem 3.20**

*Let*$f:X\to X$

*be an integral*

*G*-

*contraction*.

*Assume that the following assertions hold*:

- (i)
*there exists*${z}_{0}\in {X}_{f}$*such that*${\int}_{0}^{d(fx,fy)}\varphi (s)\phantom{\rule{0.2em}{0ex}}ds\le c{\int}_{0}^{d(x,y)}\varphi (s)\phantom{\rule{0.2em}{0ex}}ds,\phantom{\rule{1em}{0ex}}\mathrm{\forall}x,y\in \mathcal{O}({z}_{0})\subset {[{z}_{0}]}_{\tilde{G}},$(3.11)*where*$\mathcal{O}({z}_{0})=\{{z}_{0},f{z}_{0},{f}^{2}{z}_{0},\dots \}$. - (ii)
*G**is a*$({C}_{f})$-*graph*.

*Then*, *for any* ${z}_{0}\in {X}_{f}$, $f{|}_{{[{z}_{0}]}_{\tilde{G}}}$ *is a Picard operator*. *Furthermore*, *if* *G* *is weakly connected then* *f* *is a Picard operator*.

*Proof*Let ${z}_{0}\in {X}_{f}$, then $f{z}_{0}\in {[{z}_{0}]}_{\tilde{G}}$. Now, it follows from Proposition 3.3(ii) that $\mathcal{O}({z}_{0})\subset {[{z}_{0}]}_{\tilde{G}}$. Moreover, from Lemma 3.4 we get

Letting $k\to \mathrm{\infty}$ and using (3.14), (3.15), we get $(1-c){\int}_{0}^{\u03f5}\varphi (s)\phantom{\rule{0.2em}{0ex}}ds\le 0$. As $0<c<1$, this implies that $\u03f5=0$. Therefore, $\{{f}^{n}{z}_{0}\}$ is a Cauchy sequence in *X*. The rest of the proof runs on the same lines as the proof of Theorem 3.10. □

**Remark 3.21** Theorem 3.20 generalizes [[1], Theorem 2.1].

**Remark 3.22** The conclusion of Theorem 3.20 that *f* is a Picard operator remains valid if we replace assertion (ii) by (ii)′ *f* is orbital *G*-continuous or (ii)″ *f* is orbitally continuous.

**Example 3.23**Let $X:=[0,1]$ be equipped with the usual metric

*d*. Define $f:X\to X$, $\varphi :[0,+\mathrm{\infty})\to [0,+\mathrm{\infty})$ by

*G*such that $V(G):=X$ and $E(G):=\mathrm{\Delta}\cup \{(0,x):x\in X\}\cup \{(\frac{1}{n+1},\frac{1}{n}):n\in \mathbb{N}\}$. We observe that (2.1) holds. Moreover, ${\int}_{0}^{\tau}\varphi (s)\phantom{\rule{0.2em}{0ex}}ds={\tau}^{\frac{1}{\tau}}$, so that (3.1) is equivalent to

Next we show that (3.17) is satisfied for $c=\frac{1}{1+p}<1$.

Case i. Let $(x,x)\in E(G)$, then (3.1) is trivially satisfied.

Since $\frac{1}{{(n+p)}^{p}}\le \frac{1}{(n+p)}<\frac{1}{(1+p)}$ for all $n\in \mathbb{N}$ and $\frac{n}{n+p}<1$, thus inequality (3.20) is satisfied.

*f*is an integral

*G*-contraction with contraction constant $c=\frac{1}{1+p}$. Note that

*G*is a weakly connected $(C)$-graph and (3.11) also holds for $\mathcal{O}(0)$. Thus all the conditions of Theorem 3.20 are satisfied and

*f*is a Picard operator with fixed point 0. Note that

*f*is not a Banach

*G*-contraction since, for $(\frac{1}{n+1},\frac{1}{n})\in E(G)$,

Therefore one cannot apply Theorem 2.2 [1].

## Conclusion

The notion of an integral *G*-contraction not only generalizes/extends the notion of a Banach *G*-contraction, but it also improves the integral inequality (2.3). Whereas, the notion of a sub-integral *G*-contraction generalizes the notion of a Banach *G*-contraction, but it partially generalizes the integral inequality (2.3). Therefore, Theorem 3.10 generalizes/extends some results of Jachymski [12] and provides partial improvement to the main result of Branciari [1]. A very natural question is bound to be posed: Are the conclusions of Theorems 3.10, 3.12, 3.14 still valid for integral *G*-contractions? In Theorem 3.20, we have provided a partial answer to this question by imposing condition (3.11). But it remains open to investigate an affirmative answer without the crucial condition of (3.11). Furthermore, Example 3.23 invokes the generality of Theorem 3.20.

## Declarations

### Acknowledgements

Authors are grateful to referees for their suggestions.

## Authors’ Affiliations

## References

- Branciari A: A fixed point theorem for mappings satisfying a general contractive condition of integral type.
*Int. J. Math. Math. Sci.*2002, 29: 531–536. 10.1155/S0161171202007524MathSciNetView ArticleGoogle Scholar - Aliouche A: A common fixed point theorem for weakly compatible mappings in symmetric spaces satisfying a contractive condition of integral type.
*J. Math. Anal. Appl.*2006, 322: 796–802. 10.1016/j.jmaa.2005.09.068MathSciNetView ArticleGoogle Scholar - Djoudi A, Aliouche A: Common fixed point theorems of Gregus type for weakly compatible mappings satisfying contractive conditions of integral type.
*J. Math. Anal. Appl.*2007, 329: 31–45. 10.1016/j.jmaa.2006.06.037MathSciNetView ArticleGoogle Scholar - Rhoades BE: Two fixed-point theorems for mappings satisfying a general contractive condition of integral type.
*Int. J. Math. Math. Sci.*2003, 63: 4007–4013.MathSciNetView ArticleGoogle Scholar - Suzuki T: Meir-Keeler contractions of integral type are still Meir-Keeler contractions.
*Int. J. Math. Math. Sci.*2007., 2007: Article ID 39281Google Scholar - Vijayaraju P, Rhoades BE, Mohanraj R: A fixed point theorem for a pair of maps satisfying a general contractive condition of integral type.
*Int. J. Math. Math. Sci.*2005, 15: 2359–2364.MathSciNetView ArticleGoogle Scholar - Ran ACM, Reurings MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations.
*Proc. Am. Math. Soc.*2004, 132: 1435–1443. 10.1090/S0002-9939-03-07220-4MathSciNetView ArticleGoogle Scholar - Nieto JJ, Rodríguez-López R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations.
*Order*2005, 22: 223–239. 10.1007/s11083-005-9018-5MathSciNetView ArticleGoogle Scholar - Nieto JJ, Pouso RL, Rodríguez-López R: Fixed point theorems in ordered abstract spaces.
*Proc. Am. Math. Soc.*2007, 135: 2505–2517. 10.1090/S0002-9939-07-08729-1View ArticleGoogle Scholar - Pathak HK, Tiwari S:Common fixed point and best simultaneous approximations for Ciric type $(f,g)$-weak contraction and weak asymptotic contraction.
*Int. J. Pure Appl. Math.*2010, 62: 291–304.MathSciNetGoogle Scholar - Petrusel A, Rus IA: Fixed point theorems in ordered
*L*-spaces.*Proc. Am. Math. Soc.*2006, 134: 411–418.MathSciNetView ArticleGoogle Scholar - Jachymski J: The contraction principle for mappings on a metric space with a graph.
*Proc. Am. Math. Soc.*2007, 136: 1359–1373. 10.1090/S0002-9939-07-09110-1MathSciNetView ArticleGoogle Scholar - Beg I, Butt AR, Radojević S: The contraction principle for set valued mappings on a metric space with a graph.
*Comput. Math. Appl.*2010, 60: 1214–1219. 10.1016/j.camwa.2010.06.003MathSciNetView ArticleGoogle Scholar - Aydi H, Shatanawi W, Vetro C: On generalized weakly
*G*-contraction mapping in*G*-metric spaces.*Comput. Math. Appl.*2011, 62: 4222–4229. 10.1016/j.camwa.2011.10.007MathSciNetView ArticleGoogle Scholar - Bojor F: Fixed point theorems for Reich type contractions on metric spaces with a graph.
*Nonlinear Anal.*2012, 75: 3895–3901. 10.1016/j.na.2012.02.009MathSciNetView ArticleGoogle Scholar - Aleomraninejad SMA, Rezapour S, Shahzad N: Some fixed point results on a metric space with a graph.
*Topol. Appl.*2012, 159: 659–663. 10.1016/j.topol.2011.10.013MathSciNetView ArticleGoogle Scholar - Kirk WA, Srinivasan PS, Veeranmani P: Fixed points for mappings satisfying cyclical contractive condition.
*Fixed Point Theory*2003, 4(1):79–89.MathSciNetGoogle Scholar - Karapinar E, Sadarangani K:Fixed point theory for cyclic $(\phi -\psi )$-contractions.
*Fixed Point Theory Appl.*2011., 2011: Article ID 69Google Scholar - Alghamdi MA, Petrusel A, Shahzad N: A fixed point theorem for cyclic generalized contractions in metric spaces.
*Fixed Point Theory Appl.*2012., 2012: Article ID 122Google Scholar - Petric MA: Some remarks concerning C̀iric̀-Reich-Rus operators.
*Creat. Math. Inf.*2009, 18: 188–193.MathSciNetGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.