Open Access

Coupled coincidence and coupled common fixed point theorems on a metric space with a graph

Fixed Point Theory and Applications20162016:37

https://doi.org/10.1186/s13663-016-0530-7

Received: 14 September 2015

Accepted: 9 March 2016

Published: 18 March 2016

Abstract

In this paper, our aim is to introduce the concept of G-g-contraction mapping and prove some coupled coincidence and coupled common fixed point theorems for nonlinear contraction mappings in the new set up of partially ordered complete metric spaces endowed with a directed graph. As an application, we apply our results to present an existence theorem for solution of some particular integral equations. Our paper is inspired by the work of Chifu and Petrusel (Fixed Point Theory Appl. 2014:151, 2014); the authors introduced the concept of a coupled fixed point. In the current paper, however, we have established the results by introducing the new notion of a coupled coincidence fixed point instead of the coupled fixed point in the setting of a partially ordered complete metric space with graph.

Keywords

coupled fixed point coupled coincidence point coupled common fixed point metric space with a graph

MSC

55M20 54H25 47H09

1 Introduction with preliminaries

The advent of the most celebrated fixed point result, the Banach contraction principle, initiated a new era of research in fixed point theory due to its immense applicability in major areas of mathematics like numerical analysis and differential/integral equations. The Banach contraction principle was used to study the fixed points of nonlinear contraction maps by Boyd and Wong [2].

Recently, fixed point results in partially ordered sets have drawn the attention of mathematicians around the world because of its ease of compatibility in modeling various problems. The first attempt in this direction was done by Ran and Reurings [3], which was a combination of the Banach contraction principle and the Knaster-Tarski fixed point theorem. They considered a class of mappings \(f:X\rightarrow X\), with \((X,d)\) being a complete metric space and a partial order ≤. The mappings they considered are continuous, monotone with respect to the partial order ≤. Those mappings also satisfy a Banach contraction inequality for every pair \((x,y)\in X\times X\) such that \(x\leq y\). When, for some \(x_{0}\in X\), the inequality \(x_{0}\leq f(x_{0})\) is satisfied, they proved that the Picard sequence \(\{f^{n}(x_{0})\}\) would converge to a fixed point of f. Ran and Reurings also combined this interesting result with the Schauder fixed point theorem and applied it to obtain some existence and uniqueness results to nonlinear matrix equations.

The results of Ran and Reurings were extended by Nieto and Rodríguez-López [4, 5] to the functions which are not necessarily continuous. As an application of their results, the authors also obtained a theorem on the existence of a unique solution for periodic boundary problems relative to ordinary differential equations.

Apart from the above, some very important work worth mentioning in this arena may be found in [614].

Some important works on fixed point theorems for set valued and multivalued contraction mappings were done by Nadler [15] and Assad and Kirk [16]. The concepts of fixed point theory and graph theory were combined by Espinola and Kirk [17] to prove some interesting fixed point theorems in R-trees. In 2008, Jachymski [18] came up with the interesting idea of using the language of graph theory in the study of fixed point results. He wanted to establish results that would eventually generalize the above mentioned results and also present some applications to the theory of linear operators. So, he studied the class of generalized Banach contractions on a metric space with a directed graph. The advantage of using graph theoretical concepts was that it helped him to describe the results in a unified way and also to weaken some conditions significantly. Some important work in this direction was carried out by Bojor [19, 20].

Very recently, some wonderful research on fixed point theory in a metric space endowed with a graph has been carried out by Alfuraidan [21, 22] and Alfuraidan and Khamsi [23].

Again, the study of coupled and common fixed point theorems remain a well motivated area of research in fixed point theory due to their applications in a wide variety of problems. For example, applications of coupled fixed points for binary mappings were studied by Bhaskar and Lakshmikantham [24]. They have used such fixed point results to prove the existence and uniqueness of solution for a periodic boundary value problem. Recently, Chifu and Petrusel [1] have developed some coupled fixed point results in metric space endowed with a directed graph to prove the existence of a continuous solution for a system of Fredholm and Volterra integral equations.

Following the same line, in the current paper, our aim is to extend some coupled coincidence and coupled common fixed point theorems for nonlinear contractions in partially ordered complete metric spaces endowed with a directed graph. Our results would bring about a more unified approach to the presentation of coupled coincidence and coupled common fixed point theorems. Also, as an application of our results, we aim to prove a theorem which can be used to test the existence of a solution for some particular integral equations.

Let \((X,d)\) be a metric space and Δ be the diagonal of the Cartesian product \(X \times X\). Consider a directed graph G such that the set \(V(G)\) coincides with X and \(\Delta\subseteq E(G)\), where \(E(G)\) is the set of edges of the graph G. Assume that G has no parallel edges and so G can be identified with the pair \((V(G),E(G))\). Also, denote by \(G^{-1}\) the graph obtained from G by reversing the direction of the edges in G. Thus,
$$ E\bigl(G^{-1}\bigr)=\bigl\{ (x,y) \in X \times X:(y,x)\in E(G)\bigr\} . $$

Definition 1.1

(cf. [11])

An element \((x,y) \in X \times X\) is called a coupled coincidence point of the functions \(F:X \times X \to X\) and \(g:X \to X\) if
$$ F(x,y)=gx \quad \mbox{and}\quad F(y,x)=gy. $$

Let us denote the set of all coupled coincidence points of F and g as \(\operatorname{CCoin}(Fg)\).

Definition 1.2

(cf. [11])

An element \((x,y) \in X \times X\) is called a coupled common fixed point of the functions \(F:X \times X \to X\) and \(g:X \to X\) if
$$ F(x,y)=g(x)=x \quad \mbox{and} \quad F(y,x)=g(y)=y. $$

Definition 1.3

(cf. [11])

Let X be a nonempty set. Then the functions \(F:X \times X \to X\) and \(g:X \to X\) are said to be commutative if
$$ g\bigl(F(x,y)\bigr)=F(gx,gy),\quad \forall x,y\in X. $$

Definition 1.4

(cf. [18])

A function \(g:X \to X\) is G-continuous if
  1. (i)

    for all \(x,x^{*} \in X\) and any sequence \({(n_{i})}_{i \in N}\) of positive integers, \((x_{n_{i}}) \to x^{*}\) and \(( x_{n_{i}} , x_{n_{i+1}}) \in E(G)\), for \(n \in N\), implies \(g(x_{n_{i}}) \to gx^{*}\);

     
  2. (ii)

    for all \(y,y^{*} \in X\) and any sequence \({(n_{i})}_{i \in N}\) of positive integers, \((y_{n_{i}}) \to y^{*}\) and \(( y_{n_{i}} , y_{n_{i+1}}) \in E(G^{-1})\), for \(n \in N\), implies \(g(y_{n_{i}}) \to gy^{*}\).

     

Definition 1.5

(cf. [1])

A function \(F:X \times X \to X\) is G-continuous if for all \((x,y), (x^{*},y^{*}) \in X \times X\) and any sequence \({\lbrace n_{i} \rbrace }_{i \in N}\) of positive integers, \(\lbrace x_{n_{i}} \rbrace\to x^{*}\), \(\lbrace y_{n_{i}} \rbrace\to y^{*}\), as \(i \to\infty\) and \(( x_{n_{i}} , x_{n_{i+1}}) \in E(G)\), \(( y_{n_{i}} , y_{n_{i+1}}) \in E(G^{-1})\), for \(n \in N\), implies \(F(x_{n_{i}},y_{n_{i}}) \to F(x^{*},y^{*})\) and \(F(y_{n_{i}},x_{n_{i}}) \to F(y^{*},x^{*})\).

Definition 1.6

(cf. [1])

Let \((X,d)\) be a complete metric space endowed with a directed graph G. Then the triple \((X,d,G)\) has the property \((A)\) if
  1. (i)

    for any sequence \({\lbrace x_{n} \rbrace}_{n \in N}\) in X such that \(\lbrace x_{n} \rbrace\to x^{*}\) and \(( x_{n} , x_{n+1}) \in E(G)\), \(( x_{n} , x^{*}) \in E(G)\);

     
  2. (ii)

    for any sequence \({\lbrace y_{n} \rbrace}_{n \in N}\) in X such that \(\lbrace y_{n} \rbrace\to y^{*}\) and \(( y_{n} , y_{n+1}) \in E(G^{-1})\), \(( y_{n} , y^{*}) \in E(G^{-1})\).

     

2 Main results

Now we are ready to discuss our main results. With the help of preliminaries and some definitions given below, first we establish some lemmas which will be useful later.

Suppose that \((X,d)\) be a metric space endowed with a directed graph G. Let us consider the mappings \(F:X \times X \to X\) and \(g:X \to X\).

Define the set \((X \times X)_{Fg}\) as
$$ (X \times X)_{Fg}=\bigl\{ (x,y) \in X \times X:\bigl(gx,F(x,y)\bigr) \in E(G) \mbox{ and } \bigl(gy,F(y,x)\bigr) \in E\bigl(G^{-1}\bigr)\bigr\} . $$

Definition 2.1

The mapping \(F:X \times X \to X\) is called a G-g-contraction if
  1. (i)

    g is edge preserving, i.e., \((gx,gu) \in E(G)\) and \((gy,gv) \in E(G^{-1}) \Longrightarrow(g(gx),g(gu)) \in E(G)\) and \((g(gy),g(gv)) \in E(G^{-1})\);

     
  2. (ii)

    F is g-edge preserving, i.e., \((gx,gu) \in E(G)\) and \((gy,gv) \in E(G^{-1}) \Longrightarrow(F(x,y),F(u,v)) \in E(G)\) and \((F(y,x),F(v,u)) \in E(G^{-1})\);

     
  3. (iii)

    for all \(x,y,u,v \in X\) such that \((gx,gu) \in E(G)\) and \((gy,gv) \in E(G^{-1})\), \(d(F(x,y),F(u,v)) \leq\frac{k}{2}[d(gx,gu) + d(gy,gv)]\), where \(k \in [0,1/2)\) is called the contraction constant of F.

     

Lemma 2.2

Suppose that \(F:X \times X \to X\) is g-edge preserving and \(F(X \times X) \subseteq g(X)\). Also let \(\{x_{n}\}\), \(\{y_{n}\}\), \(\{u_{n}\}\), \(\{v_{n}\}\) be sequences in the metric space \((X,d)\) endowed with a directed graph G. Then the following statements are true:
  1. (i)

    \((gx,gu) \in E(G)\) and \((gy,gv) \in E(G^{-1}) \Longrightarrow(F(x_{n},y_{n}),F(u_{n},v_{n})) \in E(G)\) and \((F(y_{n},x_{n}),F(v_{n},u_{n})) \in E(G^{-1})\), \(\forall n \in N\);

     
  2. (ii)

    \((x,y) \in(X\times X)_{Fg}\Longrightarrow (F(x_{n},y_{n}),F(x_{n+1},y_{n+1})) \in E(G)\) and \((F(y_{n},x_{n}),F(y_{n+1},x_{n+1})) \in E(G^{-1})\), \(\forall n \in N\);

     
  3. (iii)

    \((x,y) \in(X\times X)_{Fg}\Longrightarrow (F(x_{n},y_{n}),F(y_{n},x_{n})) \in(X\times X)_{Fg}\), \(\forall n \in N\).

     

Proof

We have \(F(X \times X) \subseteq g(X)\),
$$\begin{aligned}& \mbox{set}\quad F(x_{i},y_{i}) = g(x_{i+1}) \quad \mbox{and} \quad F(y_{i},x_{i}) = g(y_{i+1}), \end{aligned}$$
(2.1)
$$\begin{aligned}& x=x_{0} \quad \mbox{and} \quad y=y_{0}. \end{aligned}$$
(2.2)
(i) Let
$$ (gx,gu) \in E(G) \quad \mbox{and} \quad (gy,gv) \in E\bigl(G^{-1} \bigr). $$
Then, by the g-edge preserving property of F,
$$\begin{aligned}& \bigl(F(x,y),F(u,v)\bigr) \in E(G) \quad \mbox{and} \quad \bigl(F(y,x),F(v,u) \bigr) \in E\bigl(G^{-1}\bigr) \\& \quad \Longrightarrow \quad (gx_{1},gu_{1}) \in E(G) \quad \mbox{and}\quad (gy_{1},gv_{1}) \in E\bigl(G^{-1} \bigr) \quad (\mbox{by } (2.1)). \end{aligned}$$
Again, applying the g-edge preserving property of F,
$$ \bigl(F(x_{1},y_{1}),F(u_{1},v_{1}) \bigr) \in E(G) \quad \mbox{and}\quad \bigl(F(y_{1},x_{1}),F(v_{1},u_{1}) \bigr) \in E\bigl(G^{-1}\bigr). $$
Hence, using (2.1), (2.2) and g-edge preserving property of F repeatedly,
$$ \bigl(F(x_{n},y_{n}),F(u_{n},v_{n}) \bigr) \in E(G) \quad \mbox{and}\quad \bigl(F(y_{n},x_{n}),F(v_{n},u_{n}) \bigr) \in E\bigl(G^{-1}\bigr), \quad \forall n \in N. $$
(ii)
$$\begin{aligned}& (x,y) \in(X\times X)_{Fg} \\& \quad \Longrightarrow\quad (x_{0},y_{0}) \in(X\times X)_{Fg}\quad (\mbox{by }(2.2)) \\& \quad \Longrightarrow\quad \bigl(gx_{0},F(x_{0},y_{0}) \bigr) \in E(G) \quad \mbox{and}\quad \bigl(gy_{0},F(y_{0},x_{0}) \bigr) \in E\bigl(G^{-1}\bigr) \\& \quad \Longrightarrow\quad (gx_{0},gx_{1}) \in E(G) \quad \mbox{and}\quad (gy_{0},gy_{1}) \in E\bigl(G^{-1} \bigr) \quad (\mbox{by } (2.1)). \end{aligned}$$
Then, by the g-edge preserving property of F,
$$ \bigl(F(x_{0},y_{0}),F(x_{1},y_{1}) \bigr) \in E(G) \quad \mbox{and}\quad \bigl(F(y_{0},x_{0}),F(y_{1},x_{1}) \bigr) \in E\bigl(G^{-1}\bigr). $$
Thus, using (2.1) and g-edge preserving property of F repeatedly,
$$ \bigl(F(x_{n},y_{n}),F(x_{n+1},y_{n+1}) \bigr) \in E(G) \quad \mbox{and}\quad \bigl(F(y_{n},x_{n}),F(y_{n+1},x_{n+1}) \bigr) \in E\bigl(G^{-1}\bigr),\quad \forall n \in N. $$
(iii)
$$\begin{aligned}& (x,y) \in(X\times X)_{Fg} \\& \quad \Longrightarrow \quad \bigl(F(x_{n},y_{n}),F(x_{n+1},y_{n+1}) \bigr) \in E(G) \quad \mbox{and}\quad \bigl(F(y_{n},x_{n}),F(y_{n+1},x_{n+1}) \bigr) \in E\bigl(G^{-1}\bigr) \\& \quad \Longrightarrow\quad \bigl(gx_{n+1},F(x_{n+1},y_{n+1}) \bigr) \in E(G) \quad \mbox{and}\quad \bigl(gy_{n+1},F(y_{n+1},x_{n+1}) \bigr) \in E\bigl(G^{-1}\bigr)\quad (\mbox{by } (2.1)) \\& \quad \Longrightarrow \quad (x_{n+1},y_{n+1}) \in(X\times X)_{Fg}. \end{aligned}$$
 □

Lemma 2.3

Let \((X,d)\) be a metric space endowed with a directed graph G. Let \(F:X \times X \to X\) be a G-g-contraction with contraction constant \(k\in[0,1/2)\) and \(F(X \times X) \subseteq g(X)\). Also suppose that \(\{ x_{n}\}\), \(\{y_{n}\}\) be sequences in X. Then, for \((x,y) \in(X\times X)_{Fg}\), there exist \(r(x,y)\geq0\) and \(k\in[0,1/2)\) such that
$$d(gx_{n},gx_{n+1})\leq\frac{k^{n-1}}{2}r(x,y) \quad \textit{and}\quad d(gy_{n},gy_{n+1})\leq\frac{k^{n-1}}{2}r(x,y) . $$

Proof

$$\begin{aligned}& (x,y) \in(X\times X)_{Fg} \\& \quad \Longrightarrow \quad \bigl(gx,F(x,y)\bigr) \in E(G) \quad \mbox{and} \quad \bigl(gy,F(y,x)\bigr) \in E\bigl(G^{-1}\bigr) \\& \quad \Longrightarrow \quad (gx_{0},gx_{1}) \in E(G) \quad \mbox{and} \quad (gy_{0},gy_{1}) \in E\bigl(G^{-1} \bigr). \end{aligned}$$
Then, by Lemma 2.2,
$$\begin{aligned}& \bigl(F(x_{n},y_{n}),F(x_{n+1},y_{n+1}) \bigr) \in E(G) \quad \mbox{and}\quad \bigl(F(y_{n},x_{n}),F(y_{n+1},x_{n+1}) \bigr) \in E\bigl(G^{-1}\bigr),\quad \forall n\in N \\& \quad \Longrightarrow\quad (gx_{n},gx_{n+1}) \in E(G)\quad \mbox{and}\quad (gy_{n},gy_{n+1}) \in E\bigl(G^{-1} \bigr),\quad \forall n\in N. \end{aligned}$$
But F is a G-g-contraction, so
$$\begin{aligned} d(gx_{n},gx_{n+1}) =& d\bigl(F(x_{n-1},y_{n-1}),F(x_{n},y_{n}) \bigr) \\ \leq& \frac{k}{2}\bigl[d(gx_{n-1},gx_{n}) + d(gy_{n-1},gy_{n})\bigr] \\ =& \frac{k}{2}\bigl[d\bigl(F(x_{n-2},y_{n-2}),F(x_{n-1},y_{n-1}) \bigr) + d\bigl(F(y_{n-2},x_{n-2}),F(y_{n-1},x_{n-1}) \bigr)\bigr] \\ \leq& \frac{k^{2}}{2}\bigl[d(gx_{n-2},gx_{n-1}) + d(gy_{n-2},gy_{n-1})\bigr] \\ &\cdots \\ \leq& \frac{k^{n-1}}{2}\bigl[d(gx_{0},gx_{1}) + d(gy_{0},gy_{1})\bigr]. \end{aligned}$$

Then \(d(gx_{n},gx_{n+1}) \leq\frac{k^{n-1}}{2}r(x,y)\), where \(r(x,y):=d(gx_{0},gx_{1}) + d(gy_{0},gy_{1})\).

Similarly, \(d(gy_{n},gy_{n+1}) \leq\frac{k^{n-1}}{2}r(x,y)\). □

Lemma 2.4

Suppose that \((X,d)\) is a complete metric space endowed with a directed graph G. Let \(F:X \times X \to X\) be a G-g-contraction with contraction constant \(k\in[0,1/2)\) and \(F(X \times X) \subseteq g(X)\). Also let \(\{x_{n}\}\), \(\{y_{n}\}\) be sequences in X. Then, for each \((x,y) \in(X\times X)_{Fg}\), there exist \(x^{*},y^{*} \in X\) such that \(gx_{n} \to x^{*}\) and \(gy_{n} \to y^{*}\), as \(n \to\infty\).

Proof

Let \((x,y) \in(X\times X)_{Fg}\).

Then, using Lemma 2.3,
$$\begin{aligned}& d(gx_{n},gx_{n+1}) \leq\frac{k^{n-1}}{2}r(x,y),\quad \text{where }k\in [0,1/2), \\& d(gy_{n},gy_{n+1}) \leq\frac{k^{n-1}}{2}r(x,y), \quad \mbox{for all } n \in N. \end{aligned}$$
Let \(m>n\). We have
$$\begin{aligned}& d(gx_{n},gx_{m}) \leq d(gx_{n},gx_{n+1})+d(gx_{n+1},gx_{n+2})+ \cdots+d(gx_{m-1},gx_{m}) \\& \hphantom{d(gx_{n},gx_{m})} \leq \frac{k^{n-1}}{2}r(x,y) + \frac{k^{n}}{2}r(x,y) + \cdots + \frac {k^{m-2}}{2}r(x,y) \\& \hphantom{d(gx_{n},gx_{m})} = \frac{k^{n-1}}{2}r(x,y) \bigl(1+k+\cdots+k^{m-n-1}\bigr) \\& \hphantom{d(gx_{n},gx_{m})} = \frac{k^{n-1}}{2}r(x,y) \biggl(\frac{1-k^{m-n}}{1-k}\biggr) \\& \quad \Longrightarrow\quad d(gx_{n},gx_{m}) \to0, \quad \mbox{for large } m,n. \end{aligned}$$
Hence, \((gx_{n})_{n \in N}\) is a Cauchy sequence.

Similarly, \((gy_{n})_{n \in N}\) is also a Cauchy sequence.

Also, \((X,d)\) is complete. So, there exist, say, \(x^{*},y^{*} \in X\) such that
$$\lim_{n \to\infty}gx_{n}=x^{*}\quad \mbox{and} \quad \lim_{n \to \infty}gy_{n}=y^{*}. $$
 □

Now we discuss our main results.

Theorem 2.5

Suppose that \((X,d)\) is a complete metric space endowed with a directed graph G. Let \(F:X \times X \to X\) be a G-g-contraction with contraction constant \(k\in[0,1/2)\) and \(F(X \times X) \subseteq g(X)\). Let g be G-continuous and commutes with F. Also, we assume either
  1. (i)

    F is G-continuous, or

     
  2. (ii)

    the triple \((X,d,G)\) has the property \((A)\).

     
Then \(\operatorname{CCoin}(Fg) \ne\phi\) iff \((X \times X)_{Fg} \ne\phi\).

Proof

Suppose that \(\operatorname{CCoin}(Fg) \ne\phi\).

Then there exists some \((x^{*},y^{*}) \in \operatorname{CCoin}(Fg)\), i.e., \(gx^{*}= F(x^{*},y^{*})\) and \(gy^{*}= F(y^{*},x^{*})\).

So,
$$\begin{aligned}& \bigl(gx^{*},F\bigl(x^{*},y^{*}\bigr)\bigr)= \bigl(gx^{*},gx^{*}\bigr) \in \Delta \subseteq E(G)\quad \mbox{and} \\& \bigl(gy^{*},F\bigl(y^{*},x^{*}\bigr)\bigr)= \bigl(gy^{*},gy^{*}\bigr) \in \Delta \subseteq E \bigl(G^{-1}\bigr) \\& \quad \Longrightarrow\quad \bigl(x^{*},y^{*}\bigr) \in(X \times X)_{Fg} \\& \quad \Longrightarrow \quad (X \times X)_{Fg} \ne\phi. \end{aligned}$$

Next, let us assume that \((X \times X)_{Fg} \ne\phi\).

Then there exists \((x_{0},y_{0}) \in(X \times X)_{Fg}\), i.e., \((gx_{0},F(x_{0},y_{0})) \in E(G)\) and \((gy_{0},F(y_{0},x_{0})) \in E(G^{-1})\).

Then, by Lemma 2.2(ii), we have a sequence \((n_{i})_{i \in N}\) of positive integers such that
$$\bigl(F(x_{n_{i}},y_{n_{i}}),F(x_{{n_{i}}+1},y_{{n_{i}}+1}) \bigr) \in E(G)\quad \mbox{and}\quad \bigl(F(y_{n_{i}},x_{n_{i}}),F(y_{{n_{i}}+1},x_{{n_{i}}+1}) \bigr) \in E\bigl(G^{-1}\bigr). $$
Using (2.1) and (2.2),
$$ (gx_{{n_{i}}+1},gx_{{n_{i}}+2}) \in E(G) \quad \mbox{and}\quad (gy_{{n_{i}}+1},gy_{{n_{i}}+2}) \in E\bigl(G^{-1}\bigr). $$
(2.3)
Also, from Lemma 2.4,
$$ \lim_{n \to\infty}gx_{n_{i}}=x^{*} \quad \mbox{and} \quad \lim_{n \to\infty}gy_{n_{i}}=y^{*}. $$
(2.4)
But g is G-continuous
$$ \Longrightarrow\quad \lim_{n \to\infty}g(gx_{n_{i}})=gx^{*} \quad \mbox{and}\quad \lim_{n \to\infty}g(gy_{n_{i}})=gy^{*} . $$
(2.5)
Also, since F and g are commutative,
$$\begin{aligned}& g(gx_{n_{i+1}})=g\bigl(F(x_{n_{i}},y_{n_{i}})\bigr) \quad \mbox{and}\quad g(gy_{n_{i+1}})=g\bigl(F(y_{n_{i}},x_{n_{i}}) \bigr) \\& \quad \Longrightarrow\quad g(gx_{n_{i+1}})=F(gx_{n_{i}},gy_{n_{i}}) \quad \mbox{and}\quad g(gy_{n_{i+1}})=F(gy_{n_{i}},gx_{n_{i}}). \end{aligned}$$
(2.6)
Finally, we show that
$$gx^{*}=F\bigl(x^{*},y^{*}\bigr)\quad \mbox{and} \quad gy^{*}=F\bigl(y^{*},x^{*}\bigr). $$

Let F be G-continuous.

Then, from (2.6), we have
$$\begin{aligned}& \lim_{n \to\infty}g(gx_{{n_{i}}+1})=\lim_{n \to \infty}F(gx_{n_{i}},gy_{n_{i}}) \\& \quad \Longrightarrow\quad gx^{*}= F\bigl(x^{*},y^{*} \bigr)\quad \mbox{and} \\& \lim_{n \to\infty}g(gy_{{n_{i}}+1})=\lim_{n \to \infty}F(gy_{n_{i}},gx_{n_{i}}) \\& \quad \Longrightarrow\quad gy^{*}= F\bigl(y^{*},x^{*} \bigr) . \end{aligned}$$

Thus, \((x^{*},y^{*})\) is a coupled coincidence point of the mapping F and g, i.e., \(\operatorname{CCoin}(Fg) \ne\phi\).

Next, we assume that property \((A)\) holds.

From (2.3) and (2.4), we have
$$\begin{aligned}& gx_{n_{i}} \to x^{*}, \quad \mbox{as } i \to\infty \quad \mbox{and}\quad (gx_{n_{i}},gx_{{n_{i}}+1}) \in E(G)\quad \mbox{and} \\& gy_{n_{i}} \to y^{*}, \quad \mbox{as } i \to\infty\quad \mbox{and} \quad (gy_{n_{i}},gy_{{n_{i}}+1}) \in E\bigl(G^{-1} \bigr). \end{aligned}$$
Therefore, using property \((A)\),
$$ \bigl(gx_{n_{i}},x^{*}\bigr) \in E(G) \quad \mbox{and} \quad \bigl(gy_{n_{i}},y^{*}\bigr) \in E\bigl(G^{-1}\bigr). $$
So,
$$\begin{aligned} d\bigl(gx^{*},F\bigl(x^{*},y^{*}\bigr)\bigr) \leq& d\bigl(gx^{*},g(gx_{{n_{i}}+1})\bigr) + d\bigl(g(gx_{{n_{i}}+1}),F \bigl(x^{*},y^{*}\bigr)\bigr) \\ =& d\bigl(gx^{*},g(gx_{{n_{i}}+1})\bigr) + d\bigl(F(gx_{n_{i}},gy_{n_{i}}),F \bigl(x^{*},y^{*}\bigr)\bigr) \\ \leq& d\bigl(gx^{*},g(gx_{{n_{i}}+1})\bigr) + \frac{k}{2} \bigl[d\bigl(g(gx_{n_{i}}),gx^{*}\bigr) + d\bigl(g(gy_{n_{i}}),gy^{*} \bigr)\bigr]. \end{aligned}$$
Now, taking the limit as \(n \to\infty\),
$$ d\bigl(gx^{*},F\bigl(x^{*},y^{*}\bigr)\bigr)=0 \quad \Longrightarrow\quad gx^{*}=F\bigl(x^{*},y^{*} \bigr). $$
In a similar way we can obtain \(gy^{*}=F(y^{*},x^{*})\). □

Theorem 2.6

Suppose that the hypotheses of Theorem  2.5 hold. Besides, let for every \((x,y),(x^{*},y^{*}) \in X \times X\) there exist \((u,v) \in X \times X\) such that
$$\begin{aligned}& \bigl(F(x,y),F(u,v)\bigr) \in E(G), \qquad \bigl(F(y,x),F(v,u)\bigr) \in E \bigl(G^{-1}\bigr) \quad \textit{and} \\& \bigl(F\bigl(x^{*},y^{*}\bigr),F(u,v)\bigr) \in E(G),\qquad \bigl(F\bigl(y^{*},x^{*}\bigr),F(v,u)\bigr) \in E \bigl(G^{-1}\bigr). \end{aligned}$$
Then F and g have a unique coupled common fixed point.

Proof

Let \((x,y)\) and \((x^{*},y^{*})\) be coupled coincidence points, i.e.,
$$\begin{aligned}& gx=F(x,y), \qquad gy=F(y,x) \quad \mbox{and} \end{aligned}$$
(2.7)
$$\begin{aligned}& gx^{*}=F\bigl(x^{*},y^{*}\bigr), \qquad gy^{*}=F\bigl(y^{*},x^{*}\bigr). \end{aligned}$$
(2.8)
By hypothesis, we have
$$\begin{aligned}& \bigl(F(x,y),F(u,v)\bigr) \in E(G) \quad \mbox{and} \quad \bigl(F(y,x),F(v,u) \bigr) \in E\bigl(G^{-1}\bigr), \end{aligned}$$
(2.9)
$$\begin{aligned}& \bigl(F\bigl(x^{*},y^{*}\bigr),F(u,v)\bigr) \in E(G) \quad \mbox{and}\quad \bigl(F\bigl(y^{*},x^{*}\bigr),F(v,u)\bigr) \in E\bigl(G^{-1}\bigr). \end{aligned}$$
(2.10)
Set \(F(u_{n},v_{n})=gu_{n+1}\), \(u=u_{0}\), and \(F(v_{n},u_{n})=gv_{n+1}\), \(v=v_{0}\).
Then, using (2.7) and (2.8); (2.9) and (2.10) can be written as
$$\begin{aligned}& (gx,gu_{1}) \in E(G), \qquad (gy,gv_{1}) \in E \bigl(G^{-1}\bigr)\quad \mbox{and} \\& \bigl(gx^{*},gu_{1}\bigr) \in E(G),\qquad \bigl(gy^{*},gv_{1}\bigr) \in E\bigl(G^{-1}\bigr). \end{aligned}$$
But F is g-edge preserving, so
$$\begin{aligned}& \bigl(F(x,y),F(u_{1},v_{1})\bigr) \in E(G), \qquad \bigl(F(y,x),F(v_{1},u_{1})\bigr) \in E\bigl(G^{-1} \bigr) \quad \mbox{and} \\& \bigl(F\bigl(x^{*},y^{*}\bigr),F(u_{1},v_{1}) \bigr) \in E(G),\qquad \bigl(F\bigl(y^{*},x^{*} \bigr),F(v_{1},u_{1})\bigr) \in E\bigl(G^{-1}\bigr) \\& \quad \Longrightarrow \quad (gx,gu_{2}) \in E(G), \qquad (gy,gv_{2}) \in E\bigl(G^{-1}\bigr) \quad \mbox{and} \\& \hphantom{\quad \Longrightarrow \quad{}}\bigl(gx^{*},gu_{2}\bigr) \in E(G),\qquad \bigl(gy^{*},gv_{2}\bigr) \in E\bigl(G^{-1}\bigr). \end{aligned}$$
Using the g-edge preserving property of F repeatedly, \(\forall n \geq1\), we obtain
$$\begin{aligned}& (gx,gu_{n}) \in E(G), \qquad (gy,gv_{n}) \in E \bigl(G^{-1}\bigr)\quad \mbox{and} \\& \bigl(gx^{*},gu_{n}\bigr) \in E(G),\qquad \bigl(gy^{*},gv_{n}\bigr) \in E\bigl(G^{-1}\bigr). \end{aligned}$$
Therefore,
$$\begin{aligned}& d\bigl(gx,gx^{*}\bigr) \leq d(gx,gu_{n+1})+ d \bigl(gu_{n+1},gx^{*}\bigr) \\& \hphantom{d\bigl(gx,gx^{*}\bigr)} = d\bigl(F(x,y),F(u_{n},v_{n})\bigr) + d \bigl(F(u_{n},v_{n}),F\bigl(x^{*},y^{*} \bigr)\bigr) \\& \hphantom{d\bigl(gx,gx^{*}\bigr)} \leq \frac {k}{2}\bigl[d(gx,gu_{n})+d(gy,gv_{n})+d \bigl(gu_{n},gx^{*}\bigr)+d\bigl(gv_{n},gy^{*} \bigr)\bigr] \\& \hphantom{d\bigl(gx,gx^{*}\bigr)} = \frac{k}{2}\bigl[d\bigl(F(x,y),F(u_{n-1},v_{n-1}) \bigr) + d\bigl(F(y,x),F(v_{n-1},u_{n-1})\bigr) \\& \hphantom{d\bigl(gx,gx^{*}\bigr))\leq{}}{}+d\bigl(F(u_{n-1},v_{n-1}),F \bigl(x^{*},y^{*}\bigr)\bigr) + d \bigl(F(v_{n-1},u_{n-1}),F\bigl(y^{*},x^{*} \bigr)\bigr)\bigr] \\& \hphantom{d\bigl(gx,gx^{*}\bigr)}\leq \frac{k^{2}}{2}\bigl[d(gx,gu_{n-1}) + d(gy,gv_{n-1}) + d\bigl(gu_{n-1},gx^{*}\bigr) + d \bigl(gv_{n-1},gy^{*}\bigr)\bigr] \\& \hphantom{d\bigl(gx,gx^{*}\bigr))\leq{}}{}\cdots \\& \hphantom{d\bigl(gx,gx^{*}\bigr))\leq{}}{}\cdots \\& \hphantom{d\bigl(gx,gx^{*}\bigr)}\leq \frac{k^{n}}{2}\bigl[d(gx,gu_{0}) + d(gy,gv_{0}) + d\bigl(gu_{0},gx^{*}\bigr) + d \bigl(gv_{0},gy^{*}\bigr)\bigr] \\& \quad \Longrightarrow \quad d\bigl(gx,gx^{*}\bigr)=0 , \quad \mbox{as } n \to\infty \\& \quad \Longrightarrow\quad gx=gx^{*} . \end{aligned}$$
(2.11)
Similarly,
$$ gy=gy^{*}. $$
(2.12)
Let \(gx=gx^{*}=m\) and \(gy=gy^{*}=n\).
Then, using commutativity of F and g, (2.7) gives
$$\begin{aligned}& g(gx)=g\bigl(F(x,y)\bigr)= F(gx,gy) \quad \mbox{and} \quad g(gy)=g\bigl(F(y,x) \bigr)= F(gy,gx) \\& \quad \Longrightarrow\quad gm=F(m,n)\quad \mbox{and} \quad gn=F(n,m). \end{aligned}$$

Thus, \((m,n)\) is a coupled coincidence point.

So, repeating the earlier argument for \((x,y)\) and \((m,n)\),
$$\begin{aligned}& gx=gm \quad \mbox{and} \quad gy=gn \\& \quad \Longrightarrow\quad m=gm \quad \mbox{and} \quad n=gn. \end{aligned}$$
Thus,
$$ m=gm=F(m,n) \quad \mbox{and} \quad n=gn=F(n,m). $$
So, \((m,n)\) is a coupled common fixed point of F and g.

Finally, we prove that the coupled common fixed point of F and g is unique.

Let us suppose that \((p,q)\) is another coupled common fixed point of F and g.

Then
$$ p=gp=F(p,q) \quad \mbox{and} \quad q=gq=F(q,p). $$
(2.13)
But, from (2.11) and (2.12),
$$ gp=gm=m \quad \mbox{and}\quad gq=gn=n. $$
(2.14)
So, from (2.13) and (2.14),
$$ p=m \quad \mbox{and} \quad q=n. $$

Hence the coupled common fixed point of F and g is unique. □

Remark 2.7

As noted from Lemma 2.2, Lemma 2.3, and Lemma 2.4, we have proved our results under strong conditions, like F being g-invariant, i.e., \(F(X \times X) \subseteq g(X)\), and we restricted the contraction constant k in \([0,1/2)\). It would be a good subject to investigate whether the results can be extended to the case when \(k\in[0,1)\) and whether the invariant condition can be weakened, as the authors are unsure of these facts at present.

3 Application

In this section, to discuss the application of our main results we establish an existence theorem in a metric space with graph for the solution of the integral equations.

Let us consider the following integral equations:
$$ \left . \begin{aligned} x(t)= \int _{0}^{T}{f\bigl(t,x(s),y(s)\bigr)\, ds},\quad t \in[0,T], \\ y(t)= \int _{0}^{T}{f\bigl(t,y(s),x(s)\bigr)\, ds}, \quad t \in[0,T], \end{aligned} \right\} $$
(3.1)
where T is a positive real number and \(f: [0,T] \times\mathbb{R} \times\mathbb{R} \to\mathbb{R}\).
Let us consider \(X=C([0,T],\mathbb{R})\) with the metric \(d:X \times X \to\mathbb{R}\) defined by
$$d(x,y)= \sup_{t \in[0,T]}{ \bigl\lvert {x(t)-y(t)} \bigr\rvert },\quad \forall x,y \in X. $$

Further, define a graph G using a partial order relation, i.e., \(x,y \in X\), \(x \leq y \Longleftrightarrow x(t) \leq y(t)\), for any \(t \in [0,T]\).

So, we have
$$\begin{aligned}& E(G):=\bigl\lbrace {(x,y) \in X \times X : x \leq y} \bigr\rbrace , \\& E\bigl(G^{-1}\bigr):=\bigl\lbrace {(x,y) \in X \times X : y \leq x} \bigr\rbrace . \end{aligned}$$
Also, \(\Delta (X \times X) \subseteq E(G)\) and \((X,d,G)\) has property \((A)\).

It is a routine verification to check that \((X,d)\) is a complete metric space with a directed graph G.

Theorem 3.1

Suppose, for the integral equations (3.1),
  1. (i)

    \(f: [0,T] \times\mathbb{R} \times\mathbb{R} \to\mathbb{R}\) is continuous;

     
  2. (ii)

    for all \(t \in[0,T]\) and \(x,y,u,v \in\mathbb{R}\) with \(x \leq u, v \leq y\), \(f(t,x,y) \leq f(t,u,v)\);

     
  3. (iii)

    for each \(t \in[0,T]\) and \(x,y,u,v \in\mathbb{R}\) with \(x \leq u, v \leq y\), there exists \(k \in[0,1)\) such that \(\lvert{f(t,x,y)-f(t,u,v)}\rvert\leq\frac{k}{2T}(\lvert{x-u}\rvert +\lvert{y-v}\rvert)\);

     
  4. (iv)
    there exists \((x_{0},y_{0}) \in X \times X\) such that for all \(t \in [0,T]\),
    $$ x(t) \leq \int _{0}^{T}{f\bigl(t,x_{0}(s),y_{0}(s) \bigr)\, ds}\quad \textit{and}\quad \int _{0}^{T}{f\bigl(t,y_{0}(s),x_{0}(s) \bigr)\, ds} \leq y(t). $$
     
Then there exists at least one solution of (3.1).

Proof

Let \(F:X \times X \to X\) and \(g:X \to X\) be defined as
$$\begin{aligned}& F(x,y) (t)= \int _{0}^{T}{f\bigl(t,x(s),y(s)\bigr)\, ds}, \quad t \in[0,T]\quad \mbox{and} \\& g(x) (t)=x(t). \end{aligned}$$
Then (3.1) is equivalent to
$$\begin{aligned}& g(x)=F(x,y), \\& g(y)=F(y,x), \end{aligned}$$
i.e., the solution of (3.1) is a coupled coincidence point of the mappings F and g, provided we verify the conditions in Theorem 2.5.

To verify this, we use that g is edge preserving.

Suppose that \(x,y,u,v \in X\) such that \(g(x) \leq g(u)\) and \(g(v) \leq g(y)\).

Then, for each \(t \in[0,T]\),
$$\begin{aligned}& F(x,y) (t)= \int _{0}^{T}{f\bigl(t,x(s),y(s)\bigr)\,ds} \\& \hphantom{F(x,y)(t)}= \int _{0}^{T}{f\bigl(t,g(x) (s),g(y) (s)\bigr)\,ds} \\& \hphantom{F(x,y)(t)}\leq \int _{0}^{T}{f\bigl(t,g(u) (s),g(v) (s)\bigr)\,ds} \\& \hphantom{F(x,y)(t)}= \int _{0}^{T}{f\bigl(t,u(s),v(s)\bigr)\,ds} \\& \hphantom{F(x,y)(t)}= F(u,v) (t) \\& \quad \Longrightarrow\quad F(x,y) (t) \leq F(u,v) (t), \quad \mbox{for each } t \in [0,T] \\& \quad \Longrightarrow\quad \bigl(F(x,y), F( u,v)\bigr) \in E(G). \end{aligned}$$
Similarly,
$$F(v,u) (t) \leq F(y,x) (t),\quad \mbox{for each }t \in[0,T] \quad \Longrightarrow\quad \bigl(F(y,x),F(v,u)\bigr) \in E\bigl(G^{-1}\bigr). $$
Thus, F is g-edge preserving.
Next, we show that F is a G-g-contraction. We have
$$\begin{aligned} \bigl\lvert {F(x,y) (t)-F(u,v) (t)} \bigr\rvert \leq& \int _{0}^{T} { \bigl\lvert {f\bigl(t,x(s),y(s) \bigr)-f\bigl(t,u(s),v(s)\bigr)} \bigr\rvert }\,ds \\ \leq& \frac{k}{2T} \int _{0}^{T}\bigl( \bigl\lvert {x(s)-u(s)} \bigr\rvert + \bigl\lvert {y(s)-v(s)} \bigr\rvert \bigr)\,ds \\ \leq& \frac{k}{2T} \int _{0}^{T}\Bigl(\sup_{z \in [0,T]}{ \bigl\lvert {x(z)-u(z)} \bigr\rvert } + \sup_{z \in[0,T]}{ \bigl\lvert {y(z)-v(z)} \bigr\rvert }\Bigr)\,ds \\ =& \frac{k}{2}\Bigl[\sup_{z \in[0,T]}{ \bigl\lvert {x(z)-u(z)} \bigr\rvert } + \sup_{z \in[0,T]}{ \bigl\lvert {y(z)-v(z)} \bigr\rvert } \Bigr]. \end{aligned}$$
Therefore,
$$\begin{aligned}& \sup_{z \in[0,T]}{ \bigl\lvert {F(x,y) (t)-F(u,v) (t)} \bigr\rvert } \\& \quad \leq \frac{k}{2}\Bigl[\sup_{z \in[0,T]}{ \bigl\lvert {g(x) (z)-g(u) (z)} \bigr\rvert } + \sup_{z \in[0,T]}{ \bigl\lvert {g(y) (z)-g(v) (z)} \bigr\rvert }\Bigr]. \end{aligned}$$
This gives, \(\forall x,y,u,v \in X\) with \(gx \leq gu\) and \(gv \leq gy\),
$$ d\bigl(F(x,y),F(u,v)\bigr) \leq \frac{k}{2}\bigl[d(gx,gu)+d(gy,gv)\bigr]. $$
This implies that F is a G-g-contraction.
Next, condition (iv) in the hypothesis implies that there exists \((x_{0},y_{0}) \in X \times X\) such that
$$\begin{aligned}& x_{0}(t) \leq \int _{0}^{T}{f\bigl(t,x_{0}(s),y_{0}(s) \bigr)\,ds}\quad \mbox{and} \\& \int _{0}^{T}{f\bigl(t,y_{0}(s),x_{0}(s) \bigr)\,ds} \leq y_{0}(t). \end{aligned}$$
But \(x_{0}(t)=g(x_{0})(t)\) and \(y_{0}(t)=g(y_{0})(t)\).
Therefore,
$$\begin{aligned}& g(x_{0}) \leq F(x_{0},y_{0}) \quad \mbox{and} \quad F(y_{0},x_{0}) \leq g(y_{0}) \\& \quad \Longrightarrow \quad \bigl(g(x_{0}),F(x_{0},y_{0}) \bigr) \in E(G) \quad \mbox{and}\quad \bigl(g(y_{0}),F(y_{0},x_{0}) \bigr) \in E\bigl(G^{-1}\bigr) \\& \quad \Longrightarrow \quad (X \times X)_{Fg} \ne\phi. \end{aligned}$$
Also, F and g are commutative and \(F(X \times X) \subseteq g(X)\).

Further, condition (i) in the hypothesis implies that condition (i) of Theorem 2.5 is satisfied. Also, condition (ii) of Theorem 2.5 holds by the fact that \((X,d,G)\) has property \((A)\).

Thus, all conditions of Theorem 2.5 are fulfilled.

Hence, there exists a point \((x^{*},y^{*}) \in X \times X\) such that
$$\begin{aligned}& gx^{*}= F\bigl(x^{*},y^{*}\bigr)\quad \mbox{and} \\& gy^{*}= F\bigl(y^{*},x^{*}\bigr). \end{aligned}$$
Hence, by the definition of g,
$$\begin{aligned}& x^{*}=gx^{*}= F\bigl(x^{*},y^{*}\bigr) \quad \mbox{and} \\& y^{*}=gy^{*}= F\bigl(y^{*},x^{*}\bigr), \end{aligned}$$
i.e., \((x^{*},y^{*})\) is a solution of the system (3.1). □

4 Conclusion

In this article, we have proved the existence of a coupled coincidence and unique coupled common fixed point for a contraction mapping in a partially ordered complete metric space endowed with a directed graph. Our results bring about a more unified approach to the presentation of coupled coincidence and coupled common fixed point theorems because of the use of graph theoretical concepts instead of a partial order.

Declarations

Acknowledgements

The authors express their heartfelt gratitude to the reviewers for their excellent comments and suggestions which have immensely improved the quality and presentation of the paper. The research of the first author is partially supported by Department of Science and Technology, Govt. of India (No. DST/INSPIRE FELLOWSHIP/2012/444). The author gratefully acknowledges the support.

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.

Authors’ Affiliations

(1)
Department of Mathematics, North Eastern Regional Institute of Science and Technology

References

  1. Chifu, C, Petrusel, G: New results on coupled fixed point theory in metric spaces endowed with a directed graph. Fixed Point Theory Appl. 2014, 151 (2014) MathSciNetView ArticleGoogle Scholar
  2. Boyd, DW, Wong, JS: On nonlinear contractions. Proc. Am. Math. Soc. 20, 458-464 (1969) MathSciNetView ArticleMATHGoogle Scholar
  3. Ran, ACM, Reurings, MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 132(5), 1435-1443 (2004) MathSciNetView ArticleMATHGoogle Scholar
  4. Nieto, JJ, Rodríguez-López, R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 22(3), 223-239 (2005) MathSciNetView ArticleMATHGoogle Scholar
  5. Nieto, JJ, Rodríguez-López, R: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math. Sin. Engl. Ser. 23(12), 2205-2212 (2007) MathSciNetView ArticleMATHGoogle Scholar
  6. Agarwal, RP, O’Regan, D: Fixed point theory for generalized contractions on spaces with two metrics. J. Math. Anal. Appl. 248(2), 402-414 (2000) MathSciNetView ArticleMATHGoogle Scholar
  7. Aleomraninejad, SMA, Rezapour, S, Shahzad, N: Some fixed point results on a metric space with a graph. Topol. Appl. 159, 659-663 (2012) MathSciNetView ArticleMATHGoogle Scholar
  8. Beg, I, Butt, AR, Radojević, S: The contraction principle for set valued mappings on a metric space with a graph. Comput. Math. Appl. 60, 1214-1219 (2010) MathSciNetView ArticleMATHGoogle Scholar
  9. Debnath, P: Fixed points of contractive set valued mappings with set valued domains on a metric space with graph. TWMS J. Appl. Eng. Math. 4(2), 169-174 (2014) MathSciNetGoogle Scholar
  10. Gwozdz-Lukawska, G, Jachymski, J: IFS on a metric space with a graph structure and extensions of the Kelisky-Rivlin theorem. J. Math. Anal. Appl. 356, 453-463 (2009) MathSciNetView ArticleMATHGoogle Scholar
  11. Lakshmikantham, V, Ćirić, L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal., Theory Methods Appl. 70(12), 4341-4349 (2009) MathSciNetView ArticleMATHGoogle Scholar
  12. Nieto, JJ, Pouso, RL, Rodríguez-López, R: Fixed point theorems in ordered abstract spaces. Proc. Am. Math. Soc. 135, 2505-2517 (2007) MathSciNetView ArticleMATHGoogle Scholar
  13. Petruşel, A, Rus, IA: Fixed point theorems in ordered L-spaces. Proc. Am. Math. Soc. 134, 411-418 (2006) MathSciNetView ArticleMATHGoogle Scholar
  14. Sintunavarat, W, Radenović, S, Golubović, Z, Kumam, P: Coupled fixed point theorems for f-invariant set. Appl. Math. Inf. Sci. 7(1), 247-255 (2013) MathSciNetView ArticleGoogle Scholar
  15. Nadler, SB: Multi-valued contraction mappings. Pac. J. Math. 30(2), 475-488 (1969) MathSciNetView ArticleMATHGoogle Scholar
  16. Assad, NA, Kirk, WA: Fixed point theorems for set-valued mappings of contractive type. Pac. J. Math. 43(3), 553-561 (1972) MathSciNetView ArticleMATHGoogle Scholar
  17. Espinola, R, Kirk, WA: Fixed point theorems in \(\mathbb{R}\)-trees with applications to graph theory. Topol. Appl. 153, 1046-1055 (2006) MathSciNetView ArticleMATHGoogle Scholar
  18. Jachymski, J: The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 136(4), 1359-1373 (2008) MathSciNetView ArticleMATHGoogle Scholar
  19. Bojor, F: Fixed point theorems for Reich type contractions on metric spaces with a graph. Nonlinear Anal., Theory Methods Appl. 75(9), 3895-3901 (2012) MathSciNetView ArticleMATHGoogle Scholar
  20. Bojor, F: Fixed points of Kannan mappings in metric spaces endowed with a graph. An. Ştiinţ. Univ. ‘Ovidius’ Constanţa 20(1), 31-40 (2012) MathSciNetMATHGoogle Scholar
  21. Alfuraidan, MR: The contraction principle for multivalued mappings on a modular metric space with a graph. Can. Math. Bull. 59, 3-12 (2016). doi:10.4153/CMB-2015-029-x MathSciNetView ArticleMATHGoogle Scholar
  22. Alfuraidan, MR: Remarks on monotone multivalued mappings on a metric space with graph. J. Inequal. Appl. 2015, 202 (2015). doi:10.1186/s13660-015-0712-6 MathSciNetView ArticleGoogle Scholar
  23. Alfuraidan, MR, Khamsi, MA: Fixed points of monotone nonexpansive mappings on a hyperbolic metric space with a graph. Fixed Point Theory Appl. 2014, 44 (2015). doi:10.1186/s13663-015-0294-5 MathSciNetView ArticleMATHGoogle Scholar
  24. Bhaskar, TG, Lakshmikantham, V: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal., Theory Methods Appl. 65(7), 1379-1393 (2006) MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Eshi et al. 2016