Skip to main content

Set-valued G-Prešić operators on metric spaces endowed with a graph and fixed point theorems

Abstract

In this paper, we consider the set-valued contractions defined on product spaces when the underlying space is a complete metric space endowed with a graph. Some fixed point results for the so-called set-valued G-Prešić operators are established. Our theorems extend and generalize some known results in product spaces of the recent literature. As an application of our main result, fixed point results for various types of set-valued contractions on product spaces are derived, and a sufficient condition for the existence of a weakly asymptotically stable and global attractor equilibrium point of a kth order nonlinear difference inclusion is established.

1 Introduction

In 1965, Prešić [1, 2] extended the famous Banach contraction principle to the product spaces and obtained some convergence results for some particular sequences. Prešić proved the following theorem.

Theorem 1.1

(Prešić)

Let \((X,d)\) be a complete metric space, k be a positive integer and \(T\colon X^{k}\rightarrow X\) be a mapping satisfying the following contractive type condition:

$$ d\bigl(T(x_{1},x_{2},\ldots,x_{k}),T(x_{2},x_{3}, \ldots,x_{k+1})\bigr)\leq\sum_{i=1}^{k}q_{i}d(x_{i},x_{i+1}) $$
(1.1)

for every \(x_{1},x_{2},\ldots,x_{k},x_{k+1}\in X\), where \(q_{1},q_{2},\ldots,q_{k}\) are nonnegative constants such that \(q_{1}+q_{2}+\cdots+q_{k}<1\). Then there exists a unique point \(x\in X\) such that \(T(x,x,\ldots,x)=x\). Moreover, if \(x_{1},x_{2},\ldots,x_{k}\) are arbitrary points in X and for \(n\in\mathbb{N}\),

$$ x_{n+k}=T(x_{n},x_{n+1}, \ldots,x_{n+k-1}), $$
(1.2)

then the sequence \(\{x_{n}\}\) is convergent and \(\lim x_{n}=T(\lim x_{n},\lim x_{n},\ldots,\lim x_{n})\).

A point \(x\in X\) such that \(T(x,x,\ldots,x)=x\) is called a fixed point of T. A mapping T satisfying condition (1.1) is called a Prešić type operator. Note that (1.2) represents a nonlinear difference equation of order k and the fixed point of T is an equilibrium point of (1.2) (see [3]). Therefore the Prešić’s theorem ensures the existence and uniqueness of an equilibrium point of difference equation (1.2). Prešić type operators have applications in solving nonlinear difference equations, cyclic systems and in the study of convergence of sequences; for example, see [16]. This interesting result of Prešić has been further extended and generalized by several authors in different directions; see, for instance, [720].

Let A be any nonempty subset of a metric space \((X,d)\). For \(x\in X\), we define the distance between the point x and the set A by

$$ d(x,A)=\inf\bigl\{ d(x,y)\colon y\in A\bigr\} . $$

Let \(\operatorname{CB}(X)\) denote the set of all nonempty closed bounded subsets of X. For \(A,B\in \operatorname{CB}(X)\), define

$$\begin{aligned}& \delta(A,B)=\sup\bigl\{ d(x,B)\colon x\in A\bigr\} , \\& H(A,B)=\max\bigl\{ \delta(A,B),\delta(B,A)\bigr\} . \end{aligned}$$

Then H is a metric on \(\operatorname{CB}(X)\) and is called Pompeiu-Hausdorff metric. The following remark is a consequence of the definition of Pompeiu-Hausdorff metric.

Remark 1.2

Let \(A,B\in \operatorname{CB}(X)\) and \(h\in(1,\infty)\) be given. Then, for \(a\in A\), there exists \(b\in B\) such that \(d(a,b)\leq hH(A,B)\).

Nadler [21] extended the Banach contraction principle for the set-valued mappings, that is, for the mappings defined from the space X into the set \(\operatorname{CB}(X)\). Nadler [21] proved the following fixed point theorem.

Theorem 1.3

(Nadler)

Let \((X,d)\) be a complete metric space, and let T be a mapping from X into \(\operatorname{CB}(X)\) such that for all \(x,y\in X\),

$$ H\bigl(T(x),T(y)\bigr)\leq\lambda d(x,y), $$

where \(\lambda\in[0,1)\). Then T has a fixed point, that is, there exists a point \(x\in X\) such that \(x\in Tx\).

Shukla et al. [22] unified the results of Prešić and Nadler and studied the fixed point results for set-valued Prešić type mappings. The results of Shukla et al. [22] are generalized in the recent papers [13, 15, 18].

In 2004, Ran and Reurings [23] initiated the fixed point theory in complete metric spaces endowed with a partial order. Luong and Thuan [20] and Shukla and Radenović [16] considered the Prešić type mappings in partially ordered sets and proved the ordered version of Prešić theorem. These results generalize the result of Ran and Reurings [23] in product spaces.

In 2008, Jachymski [24] presented a nice unification of most of the previous results on a fixed point in metric spaces endowed with a graph. Very recently, Shukla and Shahzad [14] extended, generalized and unified the result of Jachymski [24], Prešić [1, 2], Luong and Thuan [20] by proving fixed point results for G-Prešić type operators in the spaces endowed with a graph. Related results can also be found in [2532].

In this paper, we introduce the notion of set-valued G-Prešić operators on the product spaces when the underlying space is endowed with a graph and prove some fixed point results for these operators which extend the result of Shukla et al. [22] in spaces endowed with a graph. An example which shows that this extension is proper is given. Our results generalize and unify the results of Jachymski [24], Prešić [1, 2], Luong and Thuan [20], Shukla and Shahzad [14] and several other existing results in the literature. By applying our main results, we derive several fixed point results for various set-valued Prešić type operators. A sufficient condition for the existence of a weakly asymptotically stable and global attractor equilibrium point of a kth order nonlinear difference inclusion is provided.

2 Preliminaries

In this section we recall some definitions and facts about the graphs which will be useful in the sequel.

Let \((X,d)\) be a metric space. Let Δ denote the diagonal of the Cartesian product \(X\times X\). Consider a directed graph G such that the set \(V(G)\) of its vertices coincides with X, and the set \(E(G)\) of its edges contains all loops, that is, \(E(G)\supseteq\Delta\). We assume that G has no parallel edges, so we can identify G with the pair \((V(G),E(G))\). Moreover, we may treat G as a weighted graph by assigning to each edge the distance between its vertices.

By \(G^{-1}\) we denote the conversion of a graph G, that is, the graph obtained from G by reversing the direction of edges. Thus we have

$$E\bigl(G^{-1}\bigr)=\bigl\{ (x,y)\in X\times X\colon(y,x)\in E(G)\bigr\} . $$

The letter \(\widetilde{G}\) denotes the undirected graph obtained from G by ignoring the direction of edges. Actually, it will be more convenient for us to treat \(\widetilde{G}\) as a directed graph for which the set of its edges is symmetric. Under this convention,

$$E(\widetilde{G})=E(G)\cup E\bigl(G^{-1}\bigr). $$

Now we recall a few basic notions concerning connectivity of graphs (see [33]). If x and y are vertices in a graph G, then a path in G from x to y of length \(N\in\mathbb{N}\cup\{0\}\) is a sequence \(\{x_{i}\}_{i=0}^{N}\) of \(N+1\) vertices such that \(x_{0}=x\), \(x_{N}=y\) and \((x_{i-1},x_{i})\in E(G)\) for \(i=1,\ldots,N\). A graph G is called connected if there is a path between any two vertices of G. G is weakly connected if \(\widetilde{G}\) is connected. A sequence \(\{x_{n}\}\) in X is called a termwise connected sequence if \((x_{n},x_{n+1})\in E(G)\) for all \(n\in\mathbb{N}\).

Throughout this paper, we assume that X is a nonempty set, G is a directed graph such that \(V(G)=X\) and \(E(G)\supseteq\Delta\). For the mapping \(T\colon X^{k}\to \operatorname{CB}(X)\), a point \(x\in X\) is called a fixed point of T if \(x\in T(x,\ldots,x)\). We denote the set of all fixed points of T by \(\operatorname{Fix}(T)\).

3 Main results

First we define the set-valued G-Prešić operators on the metric spaces endowed with a graph.

Definition 3.1

Let \((X,d)\) be a metric space, k be a positive integer and \(T\colon X^{k}\to \operatorname{CB}(X)\) be a mapping. Suppose, for every path \(\{x_{i}\} _{i=1}^{k+1}\) of \(k+1\) vertices in G, that the following conditions are satisfied:

  1. (GP1)

    There exist nonnegative constants \(\alpha_{i}\)’s such that \(\sum_{i=1}^{k}\alpha_{i}<1\) and

    $$H\bigl(T(x_{1},x_{2},\ldots,x_{k}),T(x_{2},x_{3}, \ldots,x_{k+1})\bigr)\leq\sum_{i=1}^{k} \alpha_{i}d(x_{i},x_{i+1}). $$
  2. (GP2)

    If \(x_{k+1}\in T(x_{1},x_{2},\ldots,x_{k})\) and \(x_{k+2}\in T(x_{2},x_{3},\ldots,x_{k+1})\) are such that \(d(x_{k+1},x_{k+2})<\max\{ d(x_{i},x_{i+1})\colon i=1,2,\ldots,k\}\), then \((x_{k+1},x_{k+2})\in E(G)\).

Then the mapping T is called a set-valued G-Prešić operator.

Remark 3.2

For \(E(G)=X\times X\), a set-valued G-Prešić operator reduces into a set-valued Prešić type contraction (see Shukla et al. [22]).

Definition 3.3

Let \((X,d)\) be a metric space, k be a positive integer and \(T\colon X^{k}\to \operatorname{CB}(X)\) be a mapping. Define a mapping \(\mathcal{T}\colon X\to \operatorname{CB}(X)\) by \(\mathcal{T}(x)=T(x,x,\ldots,x)\) for all \(x\in X\). Then the mapping \(\mathcal{T}\) is called the associate operator of T.

The following remark will be useful in proving some consequences of our main result.

Remark 3.4

Let the mapping T satisfy (GP1). If \((x,y)\in E(\widetilde{G})\) then

$$H\bigl(\mathcal{T}(x),\mathcal{T}(y)\bigr)\leq \Biggl[\sum _{i=1}^{k}\alpha_{i} \Biggr]d(x,y). $$

Proof

Let \((x,y)\in E(\widetilde{G})=E(G)\cup E(G^{-1})\). If \((x,y)\in E(G)\) then, since \(E(G)\supseteq \Delta \), by (GP1) we have

$$\begin{aligned} H\bigl(\mathcal{T}(x),\mathcal{T}(y)\bigr) \leq&H\bigl(T(x,\ldots,x),T(x, \ldots,x,y)\bigr) \\ &{}+H\bigl(T(x,\ldots,x,y),T(x,\ldots,x,y,y)\bigr)+\cdots \\ &{}+H\bigl(T(x,y,\ldots,y),T(y,\ldots,y)\bigr) \\ \leq&\alpha_{k}d(x,y)+\alpha_{k-1}d(x,y)+\cdots+ \alpha_{1}d(x,y) \\ =& \Biggl[\sum_{i=1}^{k} \alpha_{i} \Biggr]d(x,y). \end{aligned}$$

Similarly, if \((x,y)\in E(G^{-1})\) we obtain the same result. □

Now we prove an existence theorem for a set-valued G-Prešić operator.

Theorem 3.5

Let \((X,d)\) be a complete metric space, k be a positive integer and \(T\colon X^{k}\to \operatorname{CB}(X)\) be a set-valued G-Prešić operator. Suppose that the following conditions hold:

  1. (a)

    There exists a path \(\{x_{i}\}_{i=1}^{k+1}\) of \(k+1\) vertices in G such that \(x_{k+1}\in T(x_{1},x_{2},\ldots,x_{k})\).

  2. (b)

    For any termwise connected sequence \(\{x_{n}\}\) in X if \(x_{n}\to x\) and \(x_{n+k}\in T(x_{n},x_{n+1},\ldots,x_{n+k-1})\) for all \(n\in \mathbb{N}\), then there exists a subsequence \(\{x_{n_{j}}\}\) such that \((x_{n_{j}},x)\in E(G)\) for all \(j\in\mathbb{N}\).

Then T has a fixed point in X. Moreover, there exists a termwise connected sequence \(\{x_{n}\}\) in X such that \(x_{n+k}\in T(x_{n},x_{n+1},\ldots,x_{n+k-1})\) for all \(n\in\mathbb{N}\) and \(\{x_{n}\} \) converges to a fixed point of T.

Proof

Let \(\lambda=\sum_{i=1}^{k}\alpha_{i}<1\). Suppose that there is a path \(\{ x_{i}\}_{i=1}^{k+1}\) of \(k+1\) vertices in G such that \(x_{k+1}\in T(x_{1},x_{2},\ldots,x_{k})\). Then, since \(T(x_{2},x_{3},\ldots,x_{k+1})\in \operatorname{CB}(X)\) and \(\lambda<1\), by Remark 1.2 there exists \(x_{k+2}\in T(x_{2},x_{3},\ldots,x_{k+1})\) such that

$$d(x_{k+1},x_{k+2})\leq\frac{1}{\sqrt{\lambda}}H\bigl(T(x_{1},x_{2}, \ldots ,x_{k}),T(x_{2},x_{3},\ldots,x_{k+1}) \bigr). $$

As \(\{x_{i}\}_{i=1}^{k+1}\) is a path of \(k+1\) vertices in G and T is a set-valued G-Prešić operator, it follows from (GP1) and the above inequality that

$$\begin{aligned} d(x_{k+1},x_{k+2}) \leq&\frac{1}{\sqrt{\lambda}}\sum _{i=1}^{k}\alpha _{i}d(x_{i},x_{i+1}) \\ \leq&\frac{1}{\sqrt{\lambda}} \Biggl(\sum_{i=1}^{k} \alpha_{i} \Biggr)\max\bigl\{ d(x_{j},x_{j+1})\colon j=1,2,\ldots,k\bigr\} \\ =&\sqrt{\lambda}\max\bigl\{ d(x_{j},x_{j+1})\colon j=1,2, \ldots,k\bigr\} \\ < &\max\bigl\{ d(x_{j},x_{j+1})\colon j=1,2,\ldots,k\bigr\} . \end{aligned}$$

By (GP2) and the above inequality, we have \((x_{k+1},x_{k+2})\in E(G)\). Thus, \(\{x_{i}\}_{i=2}^{k+2}\) is a path of \(k+1\) vertices in G. Again, since \(T(x_{3},x_{4},\ldots,x_{k+3})\in \operatorname{CB}(X)\) by Remark 1.2, there exists \(x_{k+3}\in T(x_{3},x_{4},\ldots,x_{k+2})\) such that

$$d(x_{k+2},x_{k+3})\leq\frac{1}{\sqrt{\lambda}}H\bigl(T(x_{2},x_{3}, \ldots ,x_{k+1}),T(x_{3},x_{4}, \ldots,x_{k+2})\bigr) $$

and by (GP1) we have

$$\begin{aligned} d(x_{k+2},x_{k+3}) \leq&\frac{1}{\sqrt{\lambda}}\sum _{i=1}^{k}\alpha _{i}d(x_{i+1},x_{i+2}) \\ \leq&\frac{1}{\sqrt{\lambda}} \Biggl(\sum_{i=1}^{k} \alpha_{i} \Biggr)\max\bigl\{ d(x_{j+1},x_{j+2})\colon j=1,2,\ldots,k\bigr\} \\ =&\sqrt{\lambda}\max\bigl\{ d(x_{j+1},x_{j+2})\colon j=1,2, \ldots,k\bigr\} \\ < &\max\bigl\{ d(x_{j+1},x_{j+2})\colon j=1,2,\ldots,k\bigr\} . \end{aligned}$$

By (GP2) and the above inequality, we have \((x_{k+2},x_{k+3})\in E(G)\). Proceeding in this manner, we obtain a sequence \(\{x_{n}\}\) such that \((x_{n},x_{n+1})\in E(G)\), \(x_{n+k}\in T(x_{n},x_{n+1},\ldots,x_{n+k-1})\) for all \(n\in\mathbb{N}\) and

$$ d(x_{n+k},x_{n+k+1})\leq\sqrt{\lambda}\max\bigl\{ d(x_{j+n-1},x_{j+n})\colon j=1,2,\ldots,k\bigr\} \quad \mbox{for all } n\in\mathbb{N}. $$
(3.1)

We shall show that the sequence \(\{x_{n}\}\) is a Cauchy sequence.

Let

$$\mu=\max \biggl\{ \frac{d(x_{i},x_{i+1})}{\vartheta^{i}}\colon i=1,2,\ldots ,k \biggr\} , $$

where \(\vartheta=\lambda^{1/2k}\). By the method of mathematical induction we shall prove that

$$ d(x_{n},x_{n+1})\leq\mu\vartheta^{n} \quad \mbox{for all } n\in\mathbb{N}. $$
(3.2)

Then, by the definition of μ, it is clear that inequality (3.2) is true for \(n=1,2,\ldots,k\). Let the k inequalities \(d(x_{n},x_{n+1})\leq\mu\vartheta^{n}\), \(d(x_{n+1},x_{n+2})\leq\mu\vartheta ^{n+1},\ldots,d(x_{n+k-1},x_{n+k})\leq\mu\vartheta^{n+k-1}\) be the induction hypothesis. For every \(n\in\mathbb{N}\), it follows from (3.1) that

$$\begin{aligned} d(x_{n+k},x_{n+k+1}) \leq& \sqrt{\lambda}\max\bigl\{ d(x_{j+n-1},x_{j+n})\colon j=1,2,\ldots,k\bigr\} \\ \leq&\sqrt{\lambda}\max\bigl\{ \mu\vartheta^{j+n-1}\colon j=1,2,\ldots,k \bigr\} \\ \leq&\sqrt{\lambda}\mu\vartheta^{n} \quad \bigl(\mbox{as } \vartheta=\lambda ^{1/2k}< 1\bigr) \\ =&\mu\vartheta^{n+k}. \end{aligned}$$

Thus, the inductive proof of (3.2) is complete. Now, for \(n,m\in \mathbb{N}\), \(m>n\), using (3.2) we obtain

$$\begin{aligned} d(x_{n},x_{m}) \leq& d(x_{n},x_{n+1})+d(x_{n+1},x_{n+2})+ \cdots +d(x_{m-1},x_{m}) \\ \leq&\mu\vartheta^{n}+\mu\vartheta^{n+1}+\cdots+\mu \vartheta^{m-1} \\ \leq&\mu\vartheta^{n}\bigl[1+\vartheta+\vartheta^{2}+\cdots \bigr] \\ =&\frac{\mu\vartheta^{n}}{1-\vartheta}. \end{aligned}$$

Since \(\vartheta=\lambda^{1/2k}<1\), it follows from the above inequality that

$$\lim_{n,m\to\infty}d(x_{n},x_{m})=0. $$

Therefore, \(\{x_{n}\}\) is a Cauchy sequence in X. By completeness of X, there exists \(u\in X\) such that

$$\lim_{n\to\infty}d(x_{n},u)=0. $$

We shall show that u is a fixed point of T. By (b) there exists a subsequence \(\{x_{n_{j}}\}\) such that \((x_{n_{j}},u)\in E(G)\) for all \(j\in \mathbb{\mathbb{N}}\). Since for each \(n\in\mathbb{N}\) we have \((x_{n},x_{n+1})\in E(G)\) and \(x_{n+k}\in T(x_{n},x_{n+1},\ldots ,x_{n+k-1})\), therefore, for any \(j\in\mathbb{N}\), we have

$$\begin{aligned} \begin{aligned} d\bigl(u,T(u,\ldots,u)\bigr)\leq{}& d(u,x_{n_{j}+k})+d\bigl(x_{n_{j}+k},T(u, \ldots,u)\bigr) \\ \leq{}&d(u,x_{n_{j}+k})+H\bigl(T(x_{n_{j}},x_{n_{j}+1},\ldots ,x_{n_{j}+k-1}),T(u,\ldots,u)\bigr) \\ \leq{}&d(u,x_{n_{j}+k})+H\bigl(T(x_{n_{j}},x_{n_{j}+1},\ldots ,x_{n_{j}+k-1}),T(x_{n_{j}+1},\ldots,x_{n_{j}+k-1},u)\bigr) \\ &{}+H\bigl(T(x_{n_{j}+1},\ldots,x_{n_{j}+k-1},u),T(x_{n_{j}+2}, \ldots ,x_{n_{j}+k-1},u,u)\bigr) \\ &{}+\cdots+H\bigl(T(x_{n_{j}+k-1},u,\ldots,u),T(u,\ldots,u)\bigr) \\ \leq{}&d(u,x_{n_{j}+k})+ \bigl\{ \alpha_{1}d(x_{n_{j}},x_{n_{j}+1})+ \cdots+\alpha _{k-1}d(x_{n_{j}+k-2},x_{n_{j}+k-1}) \\ &{}+\alpha_{k}d(x_{n_{j}+k-1},u) \bigr\} + \bigl\{ \alpha _{1}d(x_{n_{j}+1},x_{n_{j}+2})+\cdots+\alpha_{k-2}d(x_{n_{j}+k-2},x_{n_{j}+k-1}) \\ &{}+\alpha_{k-1}d(x_{n_{j}+k-1},u) \bigr\} +\cdots+ \alpha_{1}d(x_{n_{j}+k-1},u). \end{aligned} \end{aligned}$$

Letting \(j\to\infty\) in the above inequality, we obtain \(d(u,T(u,\ldots ,u))=0\), that is, \(u\in T(u,\ldots,u)\). Thus, u is a fixed point of T. □

The next example illustrates the above theorem; also, it shows the case when similar results from Shukla et al. [22] are not applicable but the new results are applicable.

Example 3.6

Let \(\mathbb{N}_{0}=\mathbb{N}\cup\{0\}\), \(X= \{0,\frac{1}{2^{n}}\colon n\in\mathbb{N}_{0} \}\) and define a graph G by \(V(G)=X\), \(E(G)=\Delta \cup \{ (\frac{1}{2^{n}},\frac{1}{2^{n+1}} ), (\frac{1}{2^{n}},0 )\colon n\in\mathbb{N} \}\). Then \((X,d)\) is a complete metric space. For \(k=2\), define a mapping \(T\colon X^{2}\to \operatorname{CB}(X)\) by

$$T(x,y)=\left \{ \begin{array}{l@{\quad}l} \{x\} & \mbox{if }x=y\in\{0,1\}; \\ \{\frac{1}{2^{n+3}},\frac{1}{2^{n+4}} \} & \mbox{if }x=\frac {1}{2^{n}},y=\frac{1}{2^{n+1}},n\in\mathbb{N}_{0}; \\ \{0\}, & \mbox{otherwise}. \end{array} \right . $$

Then T is a set-valued G-Prešić operator with \(\alpha _{1}=\alpha_{2}=\frac{1}{4}\). All the conditions of Theorem 3.5 are satisfied and \(\operatorname{Fix}(T)= \{0,1 \}\). On the other hand, T is not a set-valued Prešić type contraction in the sense of Shukla et al. [22]. Indeed, for \(x_{1}=x_{2}=1\), \(x_{3}=0\), we have

$$H\bigl(T(x_{1},x_{2}),T(x_{2},x_{3}) \bigr)=H \bigl( \{1 \}, \{0 \} \bigr)=1 $$

and \(d(x_{1},x_{2})=0\), \(d(x_{2},x_{3})=1\). Therefore, we cannot find nonnegative constants \(\alpha_{1}\), \(\alpha_{2}\) such that \(\alpha_{1}+\alpha_{2}<1\) and

$$H\bigl(T(x_{1},x_{2}),T(x_{2},x_{3}) \bigr)\leq\alpha_{1}d(x_{1},x_{2})+ \alpha_{2}d(x_{2},x_{3}). $$

If we define the graph G by \(V(G)=X\) and \(E(G)=X\times X\) in Theorem 3.5, then \(E(G)\supseteq \Delta \) and G has no parallel edges, and so we obtain the following corollary, which is an existence theorem for the set-valued Prešić type contraction (for the related definitions and results, see [22]).

Corollary 3.7

Let \((X,d)\) be a complete metric space, k be a positive integer and \(T\colon X^{k}\rightarrow \operatorname{CB}(X)\) be a set-valued Prešić type contraction, that is, the following condition holds:

$$ H\bigl(T(x_{1},x_{2},\ldots,x_{k}),T(x_{2},x_{3}, \ldots,x_{k+1})\bigr)\leq\sum_{i=1}^{k} \alpha_{i}d(x_{i},x_{i+1}) $$

for all \(x_{1},x_{2},\ldots,x_{k+1}\in X\), where \(\alpha_{i}\) are nonnegative constants such that \(\sum_{i=1}^{k}\alpha_{i}<1\). Then T has a fixed point in X. Moreover, for arbitrary \(x_{1},x_{2},\ldots,x_{k}\in X\), there exists a sequence \(\{x_{n}\}\) in X such that \(x_{n+k}\in T(x_{n},x_{n+1},\ldots,x_{n+k-1})\) for all \(n\in \mathbb{N}\) and \(\{x_{n}\}\) converges to a fixed point of T.

4 Applications to some fixed point results in product spaces

In this section, we apply the results of the previous section and establish some fixed point results for Prešić type operators in various settings.

First, we give the following theorem for set-valued Prešić type operators in ε-chainable spaces (for related definitions, see [34]) which is new even for a single-valued case.

Theorem 4.1

Let \((X,d)\) be a complete ε-chainable space, k be a positive integer and \(T\colon X^{k}\to \operatorname{CB}(X)\) be a mapping. Suppose that the following condition holds:

$$ H\bigl(T(x_{1},x_{2},\ldots,x_{k}),T(x_{2},x_{3}, \ldots,x_{k+1})\bigr)\leq\sum_{i=1}^{k} \alpha _{i}d(x_{i},x_{i+1}) $$
(4.1)

for all \(x_{1},x_{2},\ldots,x_{k},x_{k+1}\in X\) with \(\max\{ d(x_{i},x_{i+1})\colon1\leq i\leq k\}<\varepsilon\), where \(\alpha_{i}\)s are nonnegative constants such that \(\sum_{i=1}^{k}\alpha_{i}<1\). Suppose that there exist points \(x_{1},\ldots,x_{k},x_{k+1}\) such that \(\max\{ d(x_{i},x_{i+1})\colon1\leq i\leq k\}<\varepsilon\) and \(x_{k+1}\in T(x_{1},x_{2},\ldots,x_{k})\). Then T has a fixed point in X. Moreover, there exists a sequence \(\{x_{n}\}\) in X such that \(x_{n+k}\in T(x_{n},x_{n+1},\ldots,x_{n+k-1})\), \(d(x_{n},x_{n+1})<\varepsilon\) for all \(n\in\mathbb{N}\) and \(\{x_{n}\}\) converges to a fixed point of T.

Proof

Consider the graph G with \(V(G)=X\) and

$$E(G)=\bigl\{ (x,y)\in X\times X\colon d(x,y)< \varepsilon\bigr\} . $$

Obviously, \(E(G)\supseteq \Delta \) and G has no parallel edges. By some easy calculations one can see that T is a set-valued G-Prešić operator. By assumption, condition (a) of Theorem 3.5 is satisfied. Also, if \(\{x_{n}\}\) is a sequence in X such that \(x_{n}\to x\in X\), then there exists \(n_{0}\in\mathbb{N}\) such that \(d(x_{n},x)<\varepsilon\) for all \(n>n_{0}\). Therefore, we can construct a subsequence \(\{x_{n_{j}}\}\) such that \((x_{n_{j}},x)\in E(G)\) for all \(j\in\mathbb{N}\). Thus, all the conditions of Theorem 3.5 are satisfied, and so the result follows. □

The following corollary is an extension and generalization of the result of Prešić [1, 2] on ε-chainable spaces, and it extends the result of Edelstein [34] in product spaces.

Corollary 4.2

Let \((X,d)\) be a complete ε-chainable space, k be a positive integer and \(T\colon X^{k}\to X\) be a mapping. Suppose that the following condition holds:

$$ d\bigl(T(x_{1},x_{2},\ldots,x_{k}),T(x_{2},x_{3}, \ldots,x_{k+1})\bigr)\leq\sum_{i=1}^{k} \alpha _{i}d(x_{i},x_{i+1}) $$
(4.2)

for all \(x_{1},x_{2},\ldots,x_{k},x_{k+1}\in X\) with \(\max\{ d(x_{i},x_{i+1})\colon1\leq i\leq k\}<\varepsilon\), where \(\alpha_{i}\)s are nonnegative constants such that \(\sum_{i=1}^{k}\alpha_{i}<1\). Suppose that there exist points \(x_{1},\ldots,x_{k},x_{k+1}\) such that \(\max\{ d(x_{i},x_{i+1})\colon1\leq i\leq k\}<\varepsilon\) and \(x_{k+1}=T(x_{1},x_{2},\ldots,x_{k})\). Then T has a unique fixed point in X. Moreover, there exists a sequence \(\{x_{n}\}\) in X such that \(x_{n+k}=T(x_{n},x_{n+1},\ldots,x_{n+k-1})\), \(d(x_{n},x_{n+1})<\varepsilon \) for all \(n\in\mathbb{N}\) and \(\{x_{n}\}\) converges to the fixed point of T.

Proof

Consider the graph G with \(V(G)=X\) and

$$E(G)=\bigl\{ (x,y)\in X\times X\colon d(x,y)< \varepsilon\bigr\} . $$

Obviously, \(E(G)\supseteq \Delta \) and G has no parallel edges. The existence of a fixed point is obvious. For uniqueness, let \(u,v\in \operatorname{Fix}(T)\), \(u\neq v\), then by ε-chainability of \((X,d)\), there exists a sequence \(\{x_{i}\}_{i=0}^{N}\), \(x_{0}=u\), \(x_{N}=v\) and \(d(x_{i-1},x_{i})<\varepsilon\) for \(i=1,2,\ldots,N\). Define \(\mathcal {T}\colon X\to X\), the associate operator of T, by \(\mathcal {T}(x)=T(x,x,\ldots,x)\) for all \(x\in X\). Then it is clear that \(u\in X\) is a fixed point of T if and only if it is a fixed point of \(\mathcal{T}\). Note that, for any \(x,y\in X\) with \(d(x,y)<\varepsilon\), by Remark 3.4 we have

$$ d\bigl(\mathcal{T}(x),\mathcal{T}(y)\bigr)= d\bigl(T(x,\ldots,x),T(y,\ldots,y) \bigr)\leq \Biggl[\sum_{i=1}^{k} \alpha_{i} \Biggr]d(x,y)< \varepsilon. $$

Therefore, by repetition of this process, for all \(x,y\in X\) with \(d(x,y)<\varepsilon\), we have

$$d\bigl(\mathcal{T}^{m}(x),\mathcal{T}^{m}(y)\bigr)\leq \Biggl[\sum_{i=1}^{k}\alpha _{i} \Biggr]^{m}d(x,y) \quad \mbox{for all } m\in\mathbb{N}. $$

Now,

$$ d(u,v)=\sum_{i=1}^{N}d\bigl( \mathcal{T}^{m}(x_{i-1}),\mathcal {T}^{m}(x_{i}) \bigr)\leq \Biggl[\sum_{i=1}^{k} \alpha_{i} \Biggr]^{m}\sum_{i=1}^{N} d(x_{i-1},x_{i}). $$

As \(\sum_{i=1}^{k}\alpha_{i}<1\), letting \(m\to\infty\) we obtain \(d(u,v)=0\), i.e., \(u=v\). This contradiction shows that the fixed point of T is unique. □

Let \((X,\sqsubseteq)\) be a partially ordered set such that d is a metric on X, then the triple \((X,\sqsubseteq,d)\) is called an ordered metric space. A subset \(A\subseteq X\) is called well-ordered if, for all \(x,y\in X\), either \(x\sqsubseteq y\) or \(y\sqsubseteq x\). A sequence \(\{x_{i}\}_{i=1}^{n}\) is called nondecreasing with respect to if \(x_{i}\sqsubseteq x_{i+1}\), \(i=1,2,\ldots,n-1\). Next, we define set-valued ordered Prešić operators on an ordered metric space.

Definition 4.3

Let \((X,\sqsubseteq,d)\) be an ordered metric space, k be a positive integer and \(T\colon X^{k}\to \operatorname{CB}(X)\) be a mapping. Then the mapping T is called a set-valued ordered Prešić operator if:

  1. (OP1)

    for a nondecreasing sequence \(\{x_{i}\}_{i=1}^{k+1}\) with respect to , we have

    $$H\bigl(T(x_{1},x_{2},\ldots,x_{k}),T(x_{2},x_{3}, \ldots,x_{k+1})\bigr)\leq\sum_{i=1}^{k} \alpha_{i}d(x_{i},x_{i+1}), $$

    where \(\alpha_{i}\)’s are nonnegative constants such that \(\sum_{i=1}^{k}\alpha_{i}<1\);

  2. (OP2)

    if \(\{x_{i}\}_{i=1}^{k+1}\) is a nondecreasing sequence with respect to , \(x_{k+1}\in T(x_{1},\ldots,x_{k})\) and \(x_{k+2}\in T(x_{2},\ldots,x_{k+1})\) are such that \(d(x_{k+1},x_{k+2})<\max\{ d(x_{i},x_{i+1})\colon i=1,2,\ldots,k\}\), then \(x_{k+1}\sqsubseteq x_{k+2}\).

The following theorem is a fixed point result for a set-valued ordered Prešić operator on an ordered metric space and it extends the results of Malhotra et al. [9] and Luong and Thuan [20] for set-valued mappings.

Theorem 4.4

Let \((X,\sqsubseteq,d)\) be a complete, ordered metric space, k be a positive integer and \(T\colon X^{k}\to \operatorname{CB}(X)\) be a set-valued ordered Prešić operator. Suppose that the following conditions hold:

  1. (a)

    There exists a nondecreasing sequence \(\{x_{i}\}_{i=1}^{k+1}\) such that \(x_{k+1}\in T(x_{1},\ldots,x_{k})\).

  2. (b)

    For any sequence \(\{x_{n}\}\) in X, if \(x_{n}\to x\), \(x_{n}\sqsubseteq x_{n+1}\) and \(x_{n+k}\in T(x_{n},x_{n+1},\ldots,x_{n+k-1})\) for all \(n\in\mathbb{N}\), then there exists a subsequence \(\{x_{n_{j}}\}\) such that \(x_{n_{j}}\sqsubseteq x\) for all \(j\in\mathbb{N}\).

Then T has a fixed point in X. Moreover, there exists a sequence \(\{ x_{n}\}\) in X such that \(x_{n+k}\in T(x_{n},x_{n+1},\ldots,x_{n+k-1})\), \(x_{n}\sqsubseteq x_{n+1}\) for all \(n\in\mathbb{N}\), and \(\{x_{n}\}\) converges to a fixed point of T.

Proof

Consider the graph G with \(V(G)=X\) and

$$E(G)=\bigl\{ (x,y)\in X\times X\colon x\sqsubseteq y\bigr\} . $$

Obviously, \(E(G)\supseteq \Delta \) and G has no parallel edges. Now it is easy to see that T is a set-valued G-Prešić operator. Conditions (a) and (b) of Theorem 3.5 are satisfied trivially. Therefore, by Theorem 3.5, T has a fixed point in X. □

5 Weak stability and weak asymptotic stability

In this section, we consider the weak stability and attractivity of the equilibrium point of a kth order nonlinear difference inclusion.

In the further discussion, we assume that \(\mathfrak{B}\) is a Banach space with the norm \(\|\cdot\|\) and A, a nonempty subset of \(\mathfrak{B}\).

Let \(T\colon A^{k}\to2^{A}\) be a set-valued mapping with nonempty values at arbitrary points \(x_{1},x_{2},\ldots,x_{k}\in A\), and consider the kth order nonlinear difference inclusion on A:

$$ x_{n+k}\in T(x_{n},x_{n+1}, \ldots,x_{n+k-1}), \quad n=1,2,\ldots. $$
(5.1)

Solution to (5.1) is the functions \(\psi\colon\mathbb{N}\to A\) such that for every \(n\in\mathbb{N}\), \(\psi(n+k)=\psi_{n+k}\in T(\psi _{n},\psi_{n+1},\ldots,\psi_{n+k-1})\). A point \(u\in A\) is called an equilibrium point of kth order nonlinear difference inclusion (5.1) if \(u\in T(u,u,\ldots,u)\), that is, u is a fixed point of the mapping T. An equilibrium point \(u\in A\) of (5.1) is called weakly stable if, given \(\varepsilon>0\), there exists \(\delta>0\) such that for at least one solution of (5.1) with initial values \(x_{1},x_{2},\ldots,x_{k}\) and \(\|x_{1}-u\|+\|x_{2}-u\|+\cdots+\|x_{k}-u\|<\delta \) implies \(\|x_{n}-u\|<\varepsilon\) for all \(n\in\mathbb{N}\). The equilibrium point \(u\in A\) is called weakly asymptotically stable if, in addition to being weakly stable, \(\lim_{n\to\infty}x_{n}=u\). The equilibrium point \(u\in A\) is called a global attractor if, for arbitrary \(x_{1},x_{2},\ldots,x_{k}\in A\), we have \(\lim_{n\to\infty}x_{n}=u\).

Theorem 5.1

Let A be a closed subset of the Banach space \(\mathfrak{B}\) and \(T\colon A^{k}\to \operatorname{CB}(A)\) be a set-valued Prešić type contraction, then for every set of initial conditions \(x_{1},x_{2},\ldots,x_{k}\in A\) the difference inclusion (5.1) has an equilibrium point \(u\in A\). Furthermore, the equilibrium point u is weakly asymptotically stable and a global attractor.

Proof

Define the graph G by \(V(G)=A\) and \(E(G)=A\times A\). Then, by Corollary 3.7, T has a fixed point in A, and this fixed point is an equilibrium point of the kth order nonlinear difference inclusion (5.1). Furthermore, since \(E(G)=A\times A\), for arbitrary \(x_{1},x_{2},\ldots,x_{k}\in A\), the sequence \(\{x_{n}\}\) defined by \(x_{n+k}\in T(x_{n},x_{n+1},\ldots,x_{n+k-1})\) for all \(n\in\mathbb{N}\) converges to u, therefore, u is weakly asymptotically stable and a global attractor. □

References

  1. Prešić, SB: Sur la convergence des suites. C. R. Acad. Sci. Paris 260, 3828-3830 (1965)

    MATH  MathSciNet  Google Scholar 

  2. Prešić, SB: Sur une classe d’inéquations aux différences finite et sur la convergence de certaines suites. Publ. Inst. Math. (Belgr.) 5(19), 75-78 (1965)

    MATH  Google Scholar 

  3. Shukla, S, Radenović, S: Some generalizations of Prešić type mappings and applications. An. Ştiinţ. Univ. ‘Al.I. Cuza’ Iaşi, Mat. (2014, accepted)

  4. Khan, MS, Berzig, M, Samet, B: Some convergence results for iterative sequences of Prešić type and applications. Adv. Differ. Equ. (2012). doi:10.1186/1687-1847-2012-38

    MathSciNet  MATH  Google Scholar 

  5. Chen, YZ: A Prešić type contractive condition and its applications. Nonlinear Anal. 71(12), 2012-2017 (2009)

    Article  MathSciNet  Google Scholar 

  6. Berinde, V, Pǎcurar, M: Two elementary applications of some Prešić type fixed point theorems. Creative Math. Inform. 20(1), 32-42 (2011)

    Google Scholar 

  7. Ćirić, LB, Prešić, SB: On Prešić type generalisation of Banach contraction principle. Acta Math. Univ. Comen. LXXVI(2), 143-147 (2007)

    MATH  Google Scholar 

  8. George, R, Reshma, KP, Rajagopalan, R: A generalised fixed point theorem of Prešić type in cone metric spaces and application to Morkov process. Fixed Point Theory Appl. 2011, 85 (2011). doi:10.1186/1687-1812-2011-85

    Article  MathSciNet  MATH  Google Scholar 

  9. Malhotra, SK, Shukla, S, Sen, R: Some coincidence and common fixed point theorems for Prešić-Reich type mappings in cone metric spaces. Rend. Semin. Mat. (Torino) 70(3), 247-260 (2012)

    MathSciNet  MATH  Google Scholar 

  10. Pǎcurar, M: A multi-step iterative method for approximating common fixed points of Prešić-Rus type operators on metric spaces. Stud. Univ. Babeş-Bolyai, Math. LV(1), 149-162 (2010)

    MATH  Google Scholar 

  11. Pǎcurar, M: Approximating common fixed points of Prešić-Kannan type operators by a multi-step iterative method. An. Ştiinţ. Univ. ‘Ovidius’ Constanţa 17(1), 153-168 (2009)

    MATH  Google Scholar 

  12. Pǎcurar, M: Common fixed points for almost Prešić type operators. Carpath. J. Math. 28(1), 117-126 (2012)

    MATH  Google Scholar 

  13. Shukla, S: Some stability results and Assad-Kirk type fixed point theorems for set-valued Prešić type mappings. J. Nonlinear Convex Anal. 16(3), 509-520 (2015)

    MathSciNet  MATH  Google Scholar 

  14. Shukla, S, Shahzad, N: G-Prešić operators on metric spaces endowed with a graph and fixed point theorems. Fixed Point Theory Appl. 2014, 127 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  15. Shukla, S, Sen, R: Set-valued Prešić-Reich type mappings in metric spaces. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. (2012). doi:10.1007/s13398-012-0114-2

    MATH  Google Scholar 

  16. Shukla, S, Radenović, S: A generalization of Prešić type mappings in 0-complete ordered partial metric spaces. Chin. J. Math. 2013, Article ID 859531 (2013)

    MATH  Google Scholar 

  17. Shukla, S, Radojević, S, Veljković, ZA, Radenović, S: Some coincidence and common fixed point theorems for ordered Prešić-Reich type contractions. J. Inequal. Appl. 2013, 520 (2013). doi:10.1186/1029-242X-2013-520

    Article  MATH  Google Scholar 

  18. Shukla, S: Set-valued Prešić-Ćirić type contraction in 0-complete partial metric spaces. Mat. Vesn. 66(2), 178-189 (2014)

    Google Scholar 

  19. Shukla, S, Abbas, M: Fixed point results of cyclic contractions in product spaces. Carpath. J. Math. 31(1) (2015, in press)

  20. Luong, NV, Thuan, NX: Some fixed point theorems of Prešić-Ćirić type. Acta Univ. Apulensis 30, 237-249 (2012)

    MATH  MathSciNet  Google Scholar 

  21. Nadler, SB Jr.: Multi-valued contraction mappings. Pac. J. Math. 30, 475-488 (1969)

    Article  MATH  MathSciNet  Google Scholar 

  22. Shukla, S, Sen, R, Radenović, S: Set-valued Prešić type contraction in metric spaces. An. Ştiinţ. Univ. ‘Al.I. Cuza’ Iaşi, Mat. (2014, in press)

  23. Ran, ACM, Reurings, MCB: A fixed point theorem in partially ordered sets and some application to matrix equations. Proc. Am. Math. Soc. 132, 1435-1443 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  24. Jachymski, J: The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 136, 1359-1373 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  25. Haghi, RH, Rezapour, S, Shahzad, N: Fixed points of G-type quasi-contractions on graphs. Abstr. Appl. Anal. 2013, Article ID 167530 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  26. Aleomraninejad, SMA, Rezapour, S, Shahzad, N: Some fixed point results on a metric space with a graph. Topol. Appl. 159, 659-663 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  27. Samreen, M, Kamran, T, Shahzad, N: Some fixed point theorems in b-metric space endowed with graph. Abstr. Appl. Anal. 2013, Article ID 967132 (2013)

    Article  MathSciNet  Google Scholar 

  28. Kamran, T, Samreen, M, Shahzad, N: Probabilistic G-contractions. Fixed Point Theory Appl. 2013, 223 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  29. Kirk, WA, Shahzad, N: Fixed Point Theory in Distance Spaces. Springer, New York (2014)

    Book  MATH  Google Scholar 

  30. Nicolae, A, O’Regan, D, Petrusel, A: Fixed point theorems for singlevalued and multivalued generalized contractions in metric spaces endowed with a graph. Georgian Math. J. 18, 307-327 (2011)

    MATH  MathSciNet  Google Scholar 

  31. Chifu, C, Petrusel, A: Ciric-type delta-contractions in metric spaces endowed with a graph. J. Inequal. Appl. 2014, 77 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  32. Eshaghi Gordji, M, Pirbavafa, S, Ramezani, M, Park, C, Shin, DY: Prešić-Kannan-Rus fixed point theorem on partially order metric spaces. Fixed Point Theory 15(2), 463-474 (2014)

    MATH  MathSciNet  Google Scholar 

  33. Johnsonbaugh, R: Discrete Mathematics. Prentice Hall, New York (1997)

    MATH  Google Scholar 

  34. Edelstein, M: An extension of Banach’s contraction principle. Proc. Am. Math. Soc. 12, 7-10 (1961)

    MATH  MathSciNet  Google Scholar 

Download references

Acknowledgements

This article was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah. The first author acknowledges with thanks DSR for financial support. The authors would like to thank the reviewers for their valuable suggestions.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Naseer Shahzad.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Rights and permissions

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Shahzad, N., Shukla, S. Set-valued G-Prešić operators on metric spaces endowed with a graph and fixed point theorems. Fixed Point Theory Appl 2015, 24 (2015). https://doi.org/10.1186/s13663-015-0262-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13663-015-0262-0

MSC

Keywords