 Research
 Open Access
 Published:
A relationtheoretic setvalued version of PrešićĆirić theorem and applications
Boundary Value Problems volume 2023, Article number: 59 (2023)
Abstract
In this paper, we establish a relationtheoretic setvalued version of the fixed point result of Ćirić and Prešić (Acta Math. Univ. Comen. LXXVI(2):143–147, 2007) on metric spaces endowed with an arbitrary binary relation. The results of this paper, generalize and unify the fixed point results of Ćirić and Prešić (Acta Math. Univ. Comen. LXXVI(2):143–147, 2007), Shukla and López (Quaest. Math. 45(3):1–16, 2019), and Shukla and Radenović (An. Ştiinţ. Univ. ‘Al.I. Cuza’ Iaşi, Mat. 63(2):339–350, 2017) in product spaces. Some examples are provided that justify and establish the importance of our results. As applications of our main result, we have established the existence of solutions to differential inclusion problems and the weak asymptotical stability and a global attractivity of the equilibrium point of a difference inclusion problem. The use of arbitrary binary relations in our results permits us to apply the results to the differential inclusion problems and difference inclusion problems with weaker assumptions than those used in the papers mentioned above.
1 Introduction
Throughout the paper, ℵ and ℜ will stand for the set of natural numbers and real numbers, respectively, while k will stand for a fixed natural number. For a nonempty set ß, by \(\mathcal{P}(\text{{\ss }})\) we will denote the collection of all nonempty subsets of ß.
Let \((\text{{\ss }},d)\) be a metric space and \(\Upsilon \colon \text{{\ss }}^{k}\to \text{{\ss }}\) be a mapping. A point \(\flat \in \text{{\ss }}\) is said to be a fixed point of ϒ if \(\Upsilon (\flat ,\flat ,\ldots ,\flat )=\flat \). Consider the following nonlinear difference equation of \(k^{\text{th}}\) order:
A point \(\flat \in \text{{\ss }}\) is called an equilibrium point of (1) if it is a fixed point of ϒ (see, [3]).
In 1965, when considering the problem of convergence of the sequence \(\{\flat _{n}\}\) defined by (1), Prešić [4, 5] generalized the famous Banach contraction principle on product spaces by proving a fixed point result for the mapping \(\Upsilon \colon \text{{\ss }}^{k}\to \text{{\ss }}\) and proved the convergence of the sequence \(\{\flat _{n}\}\). He established that if the mapping ϒ satisfies some particular conditions and ß is complete, then such a sequence is convergent and its limit is a fixed point of ϒ.
The mapping ϒ is called a Prešić operator if there exist constants \(\varsigma _{i}\in [0,1)\) such that \(\sum_{i=1}^{k}\varsigma _{i}<1\) and
for all \(\flat _{i}\in \text{{\ss }}\), \(i=1,2,\ldots ,k+1\). If ß is complete, then ϒ has a unique fixed point which is an equilibrium point of difference equation (1) (see, [4, 5]).
The mapping ϒ is called a PrešićĆirić operator if there exists a constant \(\varrho \in [0,1)\) such that \(\varrho <1\) and
for all \(\flat _{i}\in \text{{\ss }}\), \(i=1,2,\ldots ,k+1\). Ćirić and Prešić [1] showed that every PrešićĆirić operator on a complete metric space has at least one fixed point. The result of Prešić is a generalization of famous Banach contraction principle in product spaces and has theoretical importance as well as several applications (see, e.g., [3, 6–9] and the references therein).
On the other hand, Nadler [10] considered the setvalued mappings and gave a setvalued version of Banach contraction principle. Shukla et al. [11] generalized and unified the results of Prešić and Nadler and proved some common fixed point results. The study of fixed point theorems on metric spaces equipped with binary relations was introduced by Alam and Imdad [12]. They established a relationtheoretic version of Banach contraction principle. Shukla and López [2] extended the result of Alam and Imdad for setvalued mappings and proved a relationtheoretic version of the result of Nadler [10].
Initial and boundary value problems are an essential part of the study of physical systems, e.g., in the study of solid mechanics, thermoelasticity, exponential decay, theory of elastic bodies etc. (see, e.g., [13–18] and the references therein). On the other hand, differential inclusion problems are considered as an interpretation of discontinuous initial and boundary value problems which occurs in the study of mechanical systems, power electronics, and in the theory of heat conduction in metals, etc. (see, e.g., [19, 20] and the references therein). The fixed point results in the spaces equipped with binary relations are very useful in solving a verity of initial value and boundary value problems. While, the relationtheoretic version of result of Nadler may be useful in solving the differential inclusion problems and not investigated yet in the product spaces, which is the motivation for the work presented here. In addition, the relationtheoretic version of result of Nadler makes us able to find the equilibrium point of a difference inclusion as well.
The purpose of this work is to prove a relationtheoretic setvalued version of the result of Ćirić and Prešić [1], which generalizes and extends the results of Ćirić and Prešić [1], Shukla and López [2], Shukla and Radenović [3], Nadler [10], Shukla et al. [11], Alam and Imdad [12] and several other fixed point results in metric spaces equipped with an arbitrary binary relation. The existence of solution of a differential inclusion problem is considered and with relation theoretic approach the existence of solution is established. The new approach provides freedom to use Shukla and López’s method with a weaker contractive condition. Another application of the main result to the existence of equilibrium point of difference inclusions has been established and the nature of the equilibrium point has been determined. Specifically, the results proved here can be used in the problems where the solutions are in form of the fixed point of a mapping, which satisfies the contractive condition governed by the relational structure associated with a suitable space. The contractive condition we have used is different and weaker than that used by Shukla and Radenović [3]. We point out that the results of [2] are applicable in establishing the existence of differential inclusion problems, while the results of [3] establish the equilibrium point and its globally asymptotically stability of a difference equation, and the results proved here can be used for both such problems with weaker conditions. In particular, our results are a unification of both these results. For illustration and justification of new results and concepts some examples are presented.
2 Preliminaries
We first state some known definitions and results, which will be used throughout the paper.
Let \((\text{\ss},d)\) be a metric space and \(CB(\text{\ss})\) denotes the set of all nonempty closed and bounded subsets of ß. The distance between a point \(\flat \in \text{\ss}\) and a set \(P\subseteq \text{\ss}\) is defined by \(d(\flat ,P)=\inf \{d(\flat ,p)\colon p\in P\}\). A function \(H\colon CB(\text{\ss})\times CB(\text{\ss})\to [0,\infty )\) defined by \(H(P,Q)=\max \{D(P,Q),D(Q,P) \}\), where \(D(P,Q)=\sup_{p\in P}d(p,Q)\), \(D(Q,P)=\sup_{q\in Q}d(q,P)\) for all \(P,Q\in CB(\text{\ss})\) is called the PompeiuHausdorff metric on \(CB(\text{\ss})\). Note that H is indeed a metric on \(CB(\text{\ss})\).
Remark 1
(Ali and Kamran [21])
Let \(P,Q\in CB(\text{{\ss }})\) and \(h\in (1,\infty )\) be given. Then for \(p\in P\) there exists \(q\in Q\) such that \(d(p,q)\leq hH(P,Q)\).
Definition 2.1
(See, [22])
Let ß be a nonempty set. A subset \(\mathcal{R}\) of \(\text{\ss} \times \text{\ss}\) is called a binary relation on ß. Notice that, for each pair \(\flat _{1}, \flat _{2} \in \text{\ss}\), one of the following conditions holds:

(i)
\((\flat _{1}, \flat _{2}) \in \mathcal{R}\), which amounts to saying that “\(\flat _{1}\) is \(\mathcal{R}\)related to \(\flat _{2}\)” or “\(\flat _{1}\) relates to \(\flat _{2}\) under \(\mathcal{R}\)”. Sometimes we write \(\flat _{1}\mathcal{R}\flat _{2}\) instead of \((\flat _{1}, \flat _{2}) \in \mathcal{R}\).

(ii)
\((\flat _{1}, \flat _{2}) \notin \mathcal{R}\), which means that “\(\flat _{1}\) is not \(\mathcal{R}\)related to \(\flat _{2}\)” or “\(\flat _{1}\) does not relate to \(\flat _{2}\) under \(\mathcal{R}\)”.
Trivially, \(\text{\ss} \times \text{\ss}\) and ∅, being subsets of \(\text{\ss}\times \text{\ss}\), are binary relations on ß, which are respectively called the universal relation (or full relation) and the empty relation. Another important relation of this kind is the relation \(\triangle _{\text{\ss}} = \{(\flat ,\flat ) : \flat \in \text{\ss}\}\) called the identity relation or the diagonal relation on ß.
Throughout this paper, \(\mathcal{R}\) stands for a nonempty binary relation, but for the sake of simplicity we write only “binary relation” instead of “nonempty binary relation.”
Definition 2.2
Let ß be a nonempty set and \(\mathcal{R}\) be a binary relation on ß. A sequence \(\{\flat _{n}\}\) in ß is called termwise related (\(\mathcal{R}\)preserving) if \((\flat _{n},\flat _{n+1} )\in \mathcal{R}\) for all \(n\in \aleph \).
Definition 2.3
(Alam and Imdad [12])
Let ß be a nonempty set, \(\mathcal{R}\) be a binary relation on ß, \(l \in \aleph \) and \(\flat _{1},\flat _{2}\in \text{\ss}\). We say that there is a path \(\{\nu ^{i}\}_{i=1}^{l+1}\) of length l from \(\flat _{1}\) to \(\flat _{2}\) if there exist \(\nu ^{i} \in \text{\ss}\), \(i=1,2,\ldots ,l+1\) such that \(\nu ^{1}=\flat _{1}\), \(\nu ^{l+1}=\flat _{2}\) and \((\nu ^{i},\nu ^{i+1}) \in \mathcal{R}\), \(i=1,2,\ldots ,l\). The element \(\flat _{2} \in \text{\ss}\) is called lconnected to \(\flat _{1} \in \text{\ss}\), if there exists a path of length l from \(\flat _{1}\) to \(\flat _{2}\). Denote by \(P(\flat _{1}, l)\) the set of all \(\flat _{2} \in \text{\ss}\) such that there exists a path of length l from \(\flat _{1}\) to \(\flat _{2}\), i.e.
We now discuss our main results.
3 Main results
We first establish concepts and some definitions and results, which will be needed in further discussion.
Definition 3.1
Let ß be a nonempty set and \(\Upsilon \colon \text{{\ss }}^{k}\to \mathcal{P}(\text{{\ss }})\) be a mapping. A sequence \(\{\flat _{n}\}\) in ß is called a trajectory of ϒ with initial points \(\flat _{i}\), \(i=1,2,\ldots ,k\), if \(\flat _{n+k}\in \Upsilon (\flat _{n},\flat _{n+1},\ldots ,\flat _{n+k1})\) for all \(n\in \aleph \).
Definition 3.2
Consider a metric space \((\text{{\ss }},d)\), a mapping \(\Upsilon \colon \text{{\ss }}^{k}\to \mathcal{P}(\text{{\ss }})\) and a binary relation \(\mathcal{R}\) on ß. The set of all Cauchy sequences in ß is denoted by \(\ell _{C}\) and the set of all termwise related sequences in ß is denoted by \(\ell _{\mathcal{R}}\), while the set of all trajectories of ϒ with initial points in ß is denoted by \(\ell _{\Upsilon }\). Then, ß is complete if every sequence in \(\ell _{C}\) is convergent to some point in ß. We say that ß is \(\mathcal{R}\)complete if every sequence in \(\ell _{C}\cap \ell _{\mathcal{R}}\) is convergent to some point in ß. While, ß is said to be \(\mathcal{R}\)ϒcomplete if every sequence in \(\ell _{C}\cap \ell _{\mathcal{R}}\cap \ell _{\Upsilon }\) is convergent to some point in ß.
We denote the set of all fixed points of ϒ by \(\text{Fix}(\Upsilon )\), i.e., \(\text{Fix}(\Upsilon )=\{\flat \in \text{{\ss }}\colon \flat \in \Upsilon (\flat ,\flat ,\ldots ,\flat )\}\).
Definition 3.3
Let \(\mathcal{R}\) be a binary relation on a nonempty set ß, d be a metric on ß and \(\Upsilon \colon \text{{\ss }}^{k}\rightarrow CB(\text{{\ss }})\) be a setvalued mapping then the mapping ϒ is called a setvalued relationtheoretic PrešićĆirić operator (setvalued \(\mathcal{R}PC\)operator) if for every path \(\{\flat _{i}\}_{i=1}^{k+1}\) in \(\mathcal{R}\) the following conditions hold:
 (\(\mathcal{R}PC1\)):

there exists \(\varrho \in [0,1)\) such that
$$ H \bigl(\Upsilon (\flat _{1},\flat _{2},\ldots ,\flat _{k}),\Upsilon ( \flat _{2},\flat _{3},\ldots , \flat _{k+1}) \bigr)\leq \varrho \max_{1\leq i\leq k} \bigl\{ d( \flat _{i},\flat _{i+1}) \bigr\} ; $$  (\(\mathcal{R}PC2\)):

if \(\flat _{k+1}\in \Upsilon (\flat _{1},\flat _{2},\ldots ,\flat _{k})\) and \(\flat _{k+2}\in \Upsilon (\flat _{2},\flat _{3},\ldots ,\flat _{k+1})\) are such that \(d(\flat _{k+1},\flat _{k+2})< \max_{1\leq i\leq k}\{d( \flat _{i},\flat _{i+1})\}\), then \((\flat _{k+1},\flat _{k+2})\in \mathcal{R}\).
The constant ϱ is called the contractive constant of ϒ.
Theorem 3.1
Consider a metric space \((\textit{{\ss }},d)\) equipped with a binary relation \(\mathcal{R}\) and a mapping \(\Upsilon \colon \textit{{\ss }}^{k}\to CB(\textit{{\ss }})\) such that \((\textit{{\ss }},d)\) is \(\mathcal{R}\)ϒcomplete. If ϒ is an \(\mathcal{R}PC\)operator with contractive constant ϱ and the following assertions hold:

(A)
there exist \(\flat _{i}\in \textit{{\ss }}\), \(i=1,2,\ldots ,k+1\) such that \((\flat _{i},\flat _{i+1})\in \mathcal{R}\) for all \(i=1,2,\ldots ,k\) and \(\flat _{k+1}\in \Upsilon (\flat _{1},\flat _{2},\ldots ,\flat _{k})\);

(B)
if a termwise related trajectory \(\{\flat _{n}\}\subseteq \textit{{\ss }}\) of ϒ converges to \(\flat \in \textit{{\ss }}\), then \((\flat _{n},\flat )\in \mathcal{R}\) for all \(n\in \aleph \).
Then, there exists a termwise related trajectory \(\{\flat _{n}\}\subseteq \textit{{\ss }}\) of ϒ such that \(\lim_{n\to \infty}\flat _{n}=\flat ^{\ast}\in \textit{{\ss }}\) and \(\flat ^{\ast}\in \Upsilon (\flat ^{\ast},\flat ^{\ast},\ldots , \flat ^{\ast})\).
Proof
Suppose, \(\flat _{i}\in \text{{\ss }}\), \(i=1,2,\ldots ,k+1\) such that \((\flat _{i},\flat _{i+1})\in \mathcal{R}\) for all \(i=1,2,\ldots ,k\) and \(\flat _{k+1}\in \Upsilon (\flat _{1},\flat _{2},\ldots ,\flat _{k})\). As, \(\Upsilon \colon \text{{\ss }}^{k}\to CB(\text{{\ss }})\), we have \(\Upsilon (\flat _{2},\flat _{3},\ldots ,\flat _{k+1})\in CB( \text{{\ss }})\) and by Remark 1, for \(h=\frac{1}{\sqrt{\varrho}}>1\) there exists \(\flat _{k+2}\in \Upsilon (\flat _{2},\flat _{3},\ldots ,\flat _{k+1})\) such that
As \((\flat _{i},\flat _{i+1})\in \mathcal{R}\) for \(i=1,2,\ldots ,k\) and ϒ is a setvalued \(\mathcal{R}PC\)operator with contractive constant ϱ, it follows from (\(\mathcal{R}PC1\)) and the above inequality that
As \(\varrho <1\), it follows from the above inequality that
By (\(\mathcal{R}PC2\)) and the above inequality we have \((\flat _{k+1},\flat _{k+2})\in \mathcal{R}\). Thus, \((\flat _{i},\flat _{i+1})\in \mathcal{R}\) for all \(i=1,2,\ldots ,k,k+1\). Again, since \(\Upsilon (\flat _{3},\flat _{4},\ldots ,\flat _{k+2})\in CB( \text{{\ss }})\) by Remark 1, for \(h=\frac{1}{\sqrt{\varrho}}>1\) there exists \(\flat _{k+3}\in \Upsilon (\flat _{3},\flat _{4},\ldots ,\flat _{k+2})\) such that
As \((\flat _{i},\flat _{i+1})\in \mathcal{R}\) for all \(i=1,2,\ldots ,k,k+1\) and ϒ is a setvalued \(\mathcal{R}PC\)operator with contractive constant ϱ, it follows from (\(\mathcal{R}PC1\)) and the above inequality that
As \(\varrho <1\), it follows from the above inequality that
By (\(\mathcal{R}PC2\)) and the above inequality we have \((\flat _{k+2},\flat _{k+3})\in \mathcal{R}\).
The above process yields a termwise related trajectory \(\{\flat _{n}\}\) of ϒ with initial points \(\flat _{1},\flat _{2},\ldots ,\flat _{k}\in \text{{\ss }}\) such that
We now prove that the trajectory \(\{\flat _{n}\}\) of ϒ with initial points \(\flat _{1},\flat _{2},\ldots ,\flat _{k}\in \text{{\ss }}\), is a Cauchy sequence.
We define a number ℘ as follows:
where \(\jmath =\varrho ^{1/2k}\). By using the mathematical induction we prove the following inequality:
Then, by the definition of ℘ it is clear that the inequality (5) is true for \(n=1,2,\ldots ,k\). Let the k inequalities \(d(\flat _{n},\flat _{n+1})\leq \wp \jmath ^{n}\), \(d(\flat _{n+1},\flat _{n+2})\leq \wp \jmath ^{n+1},\ldots ,d( \flat _{n+k1},\flat _{n+k})\leq \wp \jmath ^{n+k1}\) be the induction hypothesis. For every \(n\in \aleph \), it follows from (4) that
Hence, the mathematical induction is complete. Now, for \(n,m\in \aleph \), \(m>n\), using (5), we obtain
As \(\jmath =\varrho ^{1/2k}<1\), the above inequality yields that
Therefore, the trajectory \(\{\flat _{n}\}\) of ϒ is termwise related Cauchy sequence in ß. Thus, \(\{\flat _{n}\}\in \ell _{C}\cap \ell _{\mathcal{R}}\cap \ell _{ \Upsilon }\).
By \(\mathcal{R}\)ϒcompleteness of ß, there exists \(\flat ^{\ast}\in \text{{\ss }}\) such that
Thus, we have obtain the termwise related trajectory \(\{\flat _{n}\}\subseteq \text{{\ss }}\) of ϒ such that \(\lim_{n\to \infty}\flat _{n}=\flat ^{\ast}\in \text{{\ss }}\). We shall show that \(\flat ^{\ast}\in \Upsilon (\flat ^{\ast},\flat ^{\ast},\ldots , \flat ^{\ast})\), i.e. \(\flat ^{\ast}\) is a fixed point of ϒ.
Since (B) holds, we have \((\flat _{n},\flat ^{\ast})\in \mathcal{R}\) for all \(j\in \aleph \). Because, for each \(n\in \aleph \) we have \((\flat _{n},\flat _{n+1})\in \mathcal{R}\) and \(\flat _{n+k}\in \Upsilon (\flat _{n},\flat _{n+1},\ldots ,\flat _{n+k1})\), hence
Letting \(n\to \infty \) in the above inequality and using the fact that \(\lim_{n\to \infty}\flat _{n}=\flat ^{\ast}\), we obtain \(d(\flat ^{\ast},\Upsilon (\flat ^{\ast},\ldots ,\flat ^{\ast}))=0\), that is, \(\flat ^{\ast}\in \Upsilon (\flat ^{\ast},\ldots ,\flat ^{\ast})\). Thus, \(\flat ^{\ast}\) is a fixed point of ϒ. □
Remark 2
In the case \(k=1\), condition (B) of Theorem 3.1 can be replaced by the following weaker condition:
 (B′):

if a termwise related trajectory \(\{\flat _{n}\}\subseteq \text{{\ss }}\) of ϒ converges to \(\flat \in \text{{\ss }}\), then there exist a subsequence \(\{\flat _{n_{j}}\}\) and \(j_{0}\in \aleph \) such that \((\flat _{n_{j}},\flat )\in \mathcal{R}\) for all \(j>j_{0}\).
Example 1
Consider \(\text{{\ss }}=[0,\infty )\) with the usual metric \(d(\flat _{1},\flat _{2})=\flat _{1}\flat _{2}\) for all \(\flat _{1},\flat _{2}\in \text{{\ss }}\). Denote by \(\mathbb{Q}^{+}\) the set of all nonnegative rational numbers and \(\mathfrak{L}_{0}^{\mathbb{Q}^{+}}\) the class of all nonincreasing sequences of nonnegative rational numbers converging to zero, i.e.,
Obviously \(\mathfrak{L}_{0}^{\mathbb{Q}^{+}}\neq \emptyset \). Let \(\mathcal{R}\) be the binary relation defined on ß by
Then, it is clear that \(\mathcal{R}\) is nonempty. For a fixed \(a>1\) define a mapping \(\Upsilon \colon \text{{\ss }}^{2}\to CB(\text{{\ss }})\) by
Then, we observe that for \(k=2\) all the conditions of Theorem 3.1 are satisfied. We have the following:
(I) (\(\mathcal{R}PC\)1) is satisfied with \(\frac {1}{a^{2}}\leq \varrho <1\). Let \(\flat _{1},\flat _{2},\flat _{3}\in \text{{\ss }}\) are such that \((\flat _{1},\flat _{2}),(\flat _{2},\flat _{3})\in \mathcal{R}\). Then, the following cases are possible:
Case (i): Suppose \(\flat _{1},\flat _{2},\flat _{3}\in \mathbb{Q}^{+}\) and \(\flat _{1}\geq \flat _{2}\geq \flat _{3}\geq 0\), then:
where \(\frac {1}{a^{2}}\leq \varrho <1\).
Case (ii): If \(\flat _{1},\flat _{2},\flat _{3}\in \mathbb{Q}^{+}\) and \(\flat _{2}=0\), then:
where \(\frac {1}{a^{2}}\leq \varrho <1\).
Case (iii): If \(\flat _{1},\flat _{2},\flat _{3}\in \mathbb{Q}^{+}\) and \(\flat _{2}\neq 0\), then two subcases are possible: (a) \(\flat _{1}=0\), \(\flat _{2}\geq b_{3}>0\); (b) \(\flat _{1}=0\), \(\flat _{2}\geq b_{3}=0\). In both subcases, the lefthand side of desired inequality becomes zero, hence the inequalities hold trivially.
Hence, (\(\mathcal{R}PC1\)) is satisfied.
(II) (\(\mathcal{R}PC\)2) is satisfied. Suppose that \((\flat _{1},\flat _{2}),(\flat _{2},\flat _{3})\in \mathcal{R}\), \(\flat _{3}\in \Upsilon (\flat _{1},\flat _{2})= \{0, \frac {\max \{\flat _{1},\flat _{2}\}}{a^{2}} \}\) and \(\flat _{4}\in \Upsilon (\flat _{2},\flat _{3})= \{0, \frac {\max \{\flat _{2},\flat _{3}\}}{a^{2}} \}\). Then, we consider the following cases:

(a)
if \(\flat _{3}=\flat _{4}=0\); or \(\flat _{3}=\frac {\max \{\flat _{1},\flat _{2}\}}{a^{2}}\), \(\flat _{4}=0\), then, since for every nonincreasing sequence \(\{\flat _{n}\}\) which is eventually constant and has limit 0, we have \((\flat _{n},\flat _{n+1})\in \mathcal{R}\) for all \(n\in \aleph \), hence we have \((\flat _{3},\flat _{4})\in \mathcal{R}\).

(b)
If \(\flat _{3}=0\), \(\flat _{4}= \frac {\max \{\flat _{2},\flat _{3}\}}{a^{2}}\), then by definition of \(\mathcal{R}\) we have \((\flat _{3},\flat _{4})\in \mathcal{R}\).

(c)
If \(\flat _{3}=\frac {\max \{\flat _{1},\flat _{2}\}}{a^{2}}\), \(\flat _{4}= \frac {\max \{\flat _{2},\flat _{3}\}}{a^{2}}\), then if \(\flat _{2}=0\) we must have \(\flat _{1}\geq \flat _{3}\), while if \(\flat _{2}\neq 0\), then by the definition of \(\mathcal{R}\) we must have \(\flat _{1}\geq \flat _{2}\geq \flat _{3}>0\). In both the cases there exists a nonincreasing sequence of nonnegative rational numbers which converges to zero and has two successive terms \(\flat _{3}\), \(\flat _{4}\), and so, \((\flat _{3},\flat _{4})\in \mathcal{R}\).
Hence, ϒ is a setvalued \(\mathcal{R}PC\)operator with contractive constant ϱ such that \(\frac {1}{a^{2}}\leq \varrho <1\).
(III) Condition (A) of Theorem 3.1is satisfied. For every \(\flat \in \mathbb{Q}^{+}\), we have \(\{\flat _{n}\}\in \mathfrak{L}_{0}^{\mathbb{Q}^{+}}\), where \(\flat _{1}=\flat _{2}=\flat \) and \(\flat _{n+2}=\frac {\max \{\flat _{n},\flat _{n+1}\}}{a^{2}}\) for all \(n\in \aleph \). Hence, we have \(\flat _{n+2}\in \Upsilon (\flat _{n},\flat _{n+1})\) and \((\flat _{n},\flat _{n+1})\in \mathcal{R}\) for all \(n\in \aleph \).
(IV) Condition (B) of Remark 2is satisfied. Suppose that \(\{\flat _{n}\}\) is a termwise related trajectory of ϒ converging to \(\flat \in \text{{\ss }}\). As, \(\{\flat _{n}\}\) is a termwise related trajectory of ϒ we must have \(\flat _{3}\in \Upsilon (\flat _{1},\flat _{2})\), and so, the sequence \(\{\flat _{n}\}\) is either an eventually constant sequence converging to 0, or it is given by: \(\flat _{2n+1}=\max \{\frac {\flat _{1}}{a^{2n}}, \frac {\flat _{2}}{a^{2n}} \}\) and \(\flat _{2n+2}=\max \{\frac {\flat _{1}}{a^{2n+2}}, \frac {\flat _{2}}{a^{2n}} \}\) for all \(n\in \aleph \). In each case, the sequence \(\{\flat _{n}\}\) converges to 0 and \((\flat _{n},0)\in \mathcal{R}\) for all \(n\in \aleph \).
Thus, all the conditions of Theorem 3.1 are satisfied, hence ϒ must possess a fixed point. Indeed, the set of all fixed points of ϒ, i.e., \(\operatorname{Fix}(\Upsilon )=\{0,\sqrt{2}\}\).
We next consider a generalization of the closedness of setvalued mappings in product spaces and a weaker version of this generalized closedness, which provides an alternate of the condition (B) of Theorem 3.1.
Definition 3.4
Let \((\text{{\ss }},d)\) be a metric space equipped with a binary relation \(\mathcal{R}\) and \(\Upsilon \colon \text{{\ss }}^{k}\to \mathcal{P}(\text{{\ss }})\) be a setvalued mapping. Then the set \(\mathfrak{G}(\Upsilon )\) is called the graph of ϒ and
We say that ϒ is a closed mapping if for every collection of convergent sequences \(\{\flat _{n}^{i}\}\), \(i=0,1\ldots ,k\) in ß such that \((\flat _{n}^{0},\flat _{n}^{1},\ldots ,\flat _{n}^{k})\in \mathfrak{G}(\Upsilon )\) for all \(n\in \aleph \) we have \((\flat ^{0},\flat ^{1},\ldots ,\flat ^{k})\in \mathfrak{G}(\Upsilon )\), where \(\flat ^{i}\in \text{{\ss }}\), \(i=0,1,\ldots ,k\) are the limits of the sequences \(\{\flat _{n}^{i}\}\), \(i=0,1,\ldots ,k\) respectively. It is obvious that ϒ is closed if and only if \(\mathfrak{G}(\Upsilon )\) is a closed subset of \(\text{{\ss }}^{k+1}\). We say that ϒ is \(\mathcal{R}\)closed if for every convergent sequence \(\{\flat _{n}\}\in \ell _{\mathcal{R}}\) such that \((\flat _{n},\flat _{n+1},\ldots ,\flat _{n+k})\in \mathfrak{G}( \Upsilon )\) for all \(n\in \aleph \) we have \((\flat ,\flat ,\ldots ,\flat )\in \mathfrak{G}(\Upsilon )\), where \(\flat \in \text{{\ss }}\) is the limit of the sequence \(\{\flat _{n}\}\).
Remark 3
Suppose that \(\{\flat _{n}\}\in \ell _{\mathcal{R}}\) is a convergent sequence with limit ♭ in ß such that \((\flat _{n},\flat _{n+1},\ldots ,\flat _{n+k})\in \mathfrak{G}( \Upsilon )\) for all \(n\in \aleph \). Define the sequences \(\{\flat _{n}^{i}\}\), \(i=0,1,\ldots ,k\) by \(\{\flat _{n}^{i}\}=\{\flat _{n+i}\}\), \(i=0,1,\ldots ,k\), then each \(\{\flat _{n}^{i}\}\) is convergent to ♭ and we have \((\flat _{n}^{1},\flat _{n}^{2},\ldots ,\flat _{n}^{k+1})\in \mathfrak{G}(\Upsilon )\) for all \(n\in \aleph \), hence the implication “\(\Upsilon \text{ is closed}\implies \Upsilon \text{ is $\mathcal{R}$closed}\)” holds. The reverse implication of the above does not hold (see the example below).
Example 2
Let \(\text{{\ss }}=\Re \), d is the usual metric on ß and \(\mathfrak{L}_{0}^{\mathbb{Q}^{+}}\) be the class of all nonincreasing sequences of nonnegative rational numbers converging to 0. Consider the relation \(\mathcal{R}\) on ß defined by \(\mathcal{R}=\{(\flat _{n},\flat _{n+1})\in \text{{\ss }}^{2}\colon \{ \flat _{n}\}\in \mathfrak{L}_{0}^{\mathbb{Q}^{+}}\}\) and a mapping \(\Upsilon \colon \text{{\ss }}^{2}\to \mathcal{P}(\text{{\ss }})\) defined by
Note that if \(\{\flat _{n}\}\) is a sequence of irrational numbers converging to 0, then \((\flat _{n},\flat _{n+1},\flat _{n}^{1})\in \mathfrak{G}(\Upsilon )\) for all \(n\in \aleph \), where \(\flat _{n}^{1}=\flat _{n}+\flat _{n+1}+1\) for all \(n\in \aleph \) and \((\flat _{n},\flat _{n+1},\flat _{n}^{1})\to (0,0,1)\) as \(n\to \infty \). While \(1\notin \Upsilon (0,0)(=\{0\})\), and so ϒ is not a closed mapping. On the other hand, if \(\{\flat _{n}\}\in \ell _{\mathcal{R}}\) such that \((\flat _{n},\flat _{n+1},\flat _{n+2})\in \mathfrak{G}(\Upsilon )\) for all \(n\in \aleph \), then we must have \(\{\flat _{n}\}\in \mathfrak{L}_{0}^{\mathbb{Q}^{+}}\), and so, if the sequence \(\{\flat _{n}\}\) converges, it must converge to 0. As \(0\in \Upsilon (0,0)\), i.e., \((0,0,0)\in \mathfrak{G}(\Upsilon )\), hence ϒ is \(\mathcal{R}\)closed.
Proposition 1
If \((\textit{{\ss }},d)\) is a metric space, \(\mathcal{R}\) is a binary relation on ß and \(\Upsilon \colon \textit{{\ss }}^{k}\to CB(\textit{{\ss }})\) is an \(\mathcal{R}\)closed mapping. If there exists a termwise related convergent trajectory of ϒ, then ϒ has a fixed point.
Proof
Let \(\{\flat _{n}\}\) be a termwise related convergent trajectory of ϒ and \(\flat _{n}\to \flat \) as \(n\to \infty \). Then, by definition, we have \(\{\flat _{n}\}\in \ell _{\mathcal{R}}\), \((\flat _{n},\flat _{n+1},\ldots ,\flat _{n+k})\in \mathfrak{G}( \Upsilon )\) for all \(n\in \aleph \). Since \(\flat _{n}\to \flat \) as \(n\to \infty \) by \(\mathcal{R}\)closedness of ϒ we have \((\flat ,\flat ,\ldots ,\flat )\in \mathfrak{G}(\Upsilon )\), i.e., \(\flat \in \Upsilon (\flat ,\flat ,\ldots ,\flat )\). Hence, ϒ has a fixed point ♭. □
In the next theorem, the condition (B) of Theorem 3.1 is replaced by the \(\mathcal{R}\)closedness of ϒ.
Theorem 3.2
Consider a metric space \((\textit{{\ss }},d)\) equipped with a binary relation \(\mathcal{R}\) and a mapping \(\Upsilon \colon \textit{{\ss }}^{k}\to CB(\textit{{\ss }})\) such that \((\textit{{\ss }},d)\) is \(\mathcal{R}\)ϒcomplete. If ϒ is an \(\mathcal{R}PC\)operator with contractive constant ϱ and the following assertions hold:

(A)
there exist \(\flat _{i}\in \textit{{\ss }}\), \(i=1,2,\ldots ,k+1\) such that \((\flat _{i},\flat _{i+1})\in \mathcal{R}\) for all \(i=1,2,\ldots ,k\) and \(\flat _{k+1}\in \Upsilon (\flat _{1},\flat _{2},\ldots ,\flat _{k})\);

(B)
ϒ is \(\mathcal{R}\)closed.
Then, there exists a termwise related trajectory \(\{\flat _{n}\}\subseteq \textit{{\ss }}\) of ϒ such that \(\lim_{n\to \infty}\flat _{n}=\flat ^{\ast}\in \textit{{\ss }}\) and \(\flat ^{\ast}\in \Upsilon (\flat ^{\ast},\flat ^{\ast},\ldots , \flat ^{\ast})\).
Proof
Similar to the proof of Theorem 3.1, we obtain a termwise related trajectory \(\{\flat _{n}\}\) of ϒ with initial values \(\flat _{1},\flat _{2},\ldots ,\flat _{k}\) such that the sequence \(\{\flat _{n}\}\) converges to some \(\flat ^{\ast}\in \text{{\ss }}\). Now, using Proposition 1, we obtain that \(\flat ^{\ast}\) is a fixed point of ϒ. □
Corollary 3.3
Consider a metric space \((\textit{{\ss }},d)\) equipped with a binary relation \(\mathcal{R}\) and a mapping \(\Upsilon \colon \textit{{\ss }}^{k}\to CB(\textit{{\ss }})\) such that \((\textit{{\ss }},d)\) is \(\mathcal{R}\)ϒcomplete. If ϒ is an \(\mathcal{R}PC\)operator with contractive constant ϱ and the following assertions hold:

(A)
there exist \(\flat _{i}\in \textit{{\ss }}\), \(i=1,2,\ldots ,k+1\) such that \((\flat _{i},\flat _{i+1})\in \mathcal{R}\) for all \(i=1,2,\ldots ,k\) and \(\flat _{k+1}\in \Upsilon (\flat _{1},\flat _{2},\ldots ,\flat _{k})\);

(B)
ϒ is closed.
Then, there exists a termwise related trajectory \(\{\flat _{n}\}\subseteq \textit{{\ss }}\) of ϒ such that \(\lim_{n\to \infty}\flat _{n}=\flat ^{\ast}\in \textit{{\ss }}\) and \(\flat ^{\ast}\in \Upsilon (\flat ^{\ast},\flat ^{\ast},\ldots , \flat ^{\ast})\).
Proof
The proof follows by using Remark 3 and Theorem 3.2. □
In the next section, we present several consequences of our main results.
4 Consequences
We derive several fixed point results as corollaries of Theorem 3.1 and Theorem 3.2.
Let \((\text{{\ss }},\sqsubseteq )\) be a partially ordered set. A pair \((\flat _{1},\flat _{2})\) of elements of ß is called comparable if \(\flat _{1}\sqsubseteq \flat _{2}\) or \(\flat _{2}\sqsubseteq \flat _{1}\). Define a binary relation \(\mathcal{R}_{\sqsubseteq}\) by:
Replacing the relation \(\mathcal{R}\) by \(\mathcal{R}_{\sqsubseteq}\) in Theorems 3.1 and 3.2, we obtain the following generalized and unified setvalued version of results of Ran and Reurings [23] and Nieto and López [24] in product spaces.
Corollary 4.1
Let \((\textit{{\ss }},\sqsubseteq )\) be a partially ordered set, d a metric on ß and \(\Upsilon \colon \textit{{\ss }}^{k}\to CB(\textit{{\ss }})\) be such that \((\textit{{\ss }},d)\) is \(\mathcal{R}_{\sqsubseteq}\)ϒcomplete. Suppose that ϒ is an \(\mathcal{R}_{\sqsubseteq}PC\)operator with contractive constant ϱ and the following assertions hold:

(i)
there exist \(\flat _{i}\in \textit{{\ss }}\), \(i=1,2,\ldots ,k+1\) such that \((\flat _{i},\flat _{i+1})\in \mathcal{R}_{\sqsubseteq}\) for all \(i=1,2,\ldots ,k\) and \(\flat _{k+1}\in \Upsilon (\flat _{1},\flat _{2},\ldots ,\flat _{k})\);

(ii)
at least one of the following conditions is satisfied:

(a)
ϒ is \(\mathcal{R}_{\sqsubseteq}\)closed;

(b)
if a termwise related trajectory \(\{\flat _{n}\}\subseteq \textit{{\ss }}\) of ϒ converges to \(\flat \in \textit{{\ss }}\), then \(\flat _{n}\sqsubseteq \flat \) for all \(n\in \aleph \).

(a)
Then, there exists a trajectory \(\{\flat _{n}\}\subseteq \textit{{\ss }}\) of ϒ such that \(\flat _{n}\sqsubseteq \flat _{n+1}\) for all \(n\in \aleph \) and \(\lim_{n\to \infty}\flat _{n}=\flat ^{\ast}\in \textit{{\ss }}\) and \(\flat ^{\ast}\in \Upsilon (\flat ^{\ast},\flat ^{\ast},\ldots , \flat ^{\ast})\).
Remark 4
Define:
Then, similar to the above corollary, we can deduce the corresponding fixed point results for \(\mathcal{R}_{\sqsupseteq}PC\)operators and \(\mathcal{R}_{\asymp}PC\)operators.
The following corollary is a setvalued version of the result of Ćirić and Prešić [1].
Corollary 4.2
Let \((\textit{{\ss }},d)\) be a complete metric space and \(\Upsilon \colon \textit{{\ss }}^{k}\rightarrow CB(\textit{{\ss }})\) be a setvalued PrešićĆirić type contraction, i.e., the following condition holds:
for all \(\flat _{1},\flat _{2},\ldots ,\flat _{k+1}\in \textit{{\ss }}\), where \(0\leq \varrho <1\). Then, ϒ has a fixed point in ß. Moreover, for arbitrary \(\flat _{1},\flat _{2},\ldots ,\flat _{k}\in \textit{{\ss }}\), there exists a sequence \(\{\flat _{n}\}\) in ß such that \(\flat _{n+k}\in \Upsilon (\flat _{n},\flat _{n+1},\ldots ,\flat _{n+k1})\) for all \(n\in \aleph \) and \(\{\flat _{n}\}\) converges to a fixed point of ϒ.
Proof
Consider the universal relation \(\mathcal{R}=\text{{\ss }}^{2}\). Then, it is easy to see that all the conditions of Theorem 3.1 are satisfied, hence the conclusion follows from Theorem 3.1. □
A mapping \(\Upsilon \colon \text{{\ss }}^{k}\rightarrow \text{{\ss }}\) is called a relation theoretic PrešićĆirić operator (\(\mathcal{R}PC\)operator) if for every path \(\{\flat _{i}\}_{i=1}^{k+1}\) in \(\mathcal{R}\) the following hold:
 (\(\mathcal{R}PC1'\)):

there exist \(\varrho \in [0,1)\) such that
$$ d \bigl(\Upsilon (\flat _{1},\flat _{2},\ldots ,\flat _{k}),\Upsilon ( \flat _{2},\flat _{3},\ldots , \flat _{k+1}) \bigr)\leq \varrho \max_{1\leq i\leq k} \bigl\{ d( \flat _{i},\flat _{i+1}) \bigr\} ; $$  (\(\mathcal{R}PC2'\)):

if \(\flat _{k+1}=\Upsilon (\flat _{1},\flat _{2},\ldots ,\flat _{k})\) and \(\flat _{k+2}=\Upsilon (\flat _{2},\flat _{3},\ldots ,\flat _{k+1})\) are such that \(d(\flat _{k+1},\flat _{k+2})< \max_{1\leq i\leq k}\{d( \flat _{i},\flat _{i+1})\}\), then \((\flat _{k+1},\flat _{k+2})\in \mathcal{R}\).
The constant ϱ is called the contractive constant of ϒ. A sequence \(\{\flat _{n}\}\) in ß is called a PPsequence of ϒ with initial values \(\flat _{1},\flat _{2},\ldots ,\flat _{k}\in \text{{\ss }}\) if \(\flat _{n+k}=\Upsilon (\flat _{n},\flat _{n+1},\ldots ,\flat _{n+k1})\) for all \(n\in \aleph \) (see, [25]). The mapping ϒ is called P\(\mathcal{R}\)continuous at \(\flat \in \text{{\ss }}\) if for every PPsequence \(\{\flat _{n}\}\) in \(\ell _{\mathcal{R}}\) such that \(\flat _{n}\to \flat \) as \(n\to \infty \) we have \(\Upsilon (\flat _{n},\flat _{n+1},\ldots ,\flat _{n+k1})\to \Upsilon (\flat ,\flat ,\ldots ,\flat )\) as \(n\to \infty \). The mapping ϒ is called P\(\mathcal{R}\)continuous on ß if it is P\(\mathcal{R}\)continuous at every point of ß.
Remark 5
For a given singlevalued mapping \(\Upsilon \colon \text{{\ss }}^{k}\to \text{{\ss }}\) we define its corresponding setvalued mapping \(\Upsilon _{s}\colon \text{{\ss }}^{k}\to \mathcal{P}(\text{{\ss }})\) by \(\Upsilon _{s}(\flat _{1},\flat _{2},\ldots ,\flat _{k})=\{\Upsilon ( \flat _{1},\flat _{2},\ldots ,\flat _{k})\}\) for all \(\flat _{1},\flat _{2},\ldots , \flat _{k}\in \text{{\ss }}\). Since \(H(\{\flat _{1}\},\{\flat _{2}\})=d(\flat _{1},\flat _{2})\), hence we observe the following:

(a)
If ϒ is an \(\mathcal{R}PC\)operator with contractive constant ϱ, then \(\Upsilon _{s}\) is a setvalued \(\mathcal{R}PC\)operator with contractive constant ϱ and viceversa.

(b)
A termwise related PPsequence of ϒ is a termwise related trajectory of \(\Upsilon _{s}\) and viceversa.

(c)
If ϒ is P\(\mathcal{R}\)continuous, then \(\Upsilon _{s}\) is \(\mathcal{R}\)closed and viceversa.
The following corollary is a relation theoretic version of the main result of Ćirić and Prešić [1].
Corollary 4.3
Let \((\textit{{\ss }},d)\) be a complete metric space, \(\mathcal{R}\) a binary relation on ß and \(\Upsilon \colon \textit{{\ss }}^{k}\to \textit{{\ss }}\) be an \(\mathcal{R}PC\)operator with contractive constant ϱ. Suppose that the following assertions hold:

(i)
there exist \(\flat _{i}\in \textit{{\ss }}\), \(i=1,2,\ldots ,k+1\) such that \((\flat _{i},\flat _{i+1})\in \mathcal{R}\) for all \(i=1,2,\ldots ,k\) and \(\flat _{k+1}=\Upsilon (\flat _{1},\flat _{2},\ldots ,\flat _{k})\);

(ii)
at least one of the following conditions is satisfied:
 (a′):

for any PPsequence \(\{\flat _{n}\}\subseteq \textit{{\ss }}\) of ϒ which converges to \(\flat \in \textit{{\ss }}\), then \((\flat _{n},\flat )\in \mathcal{R}\) for all \(n\in \aleph \);
 (b′):

ϒ is a P\(\mathcal{R}\)continuous mapping.
Then, there exists a PPsequence \(\{\flat _{n}\} \subset \textit{{\ss }}\) of ϒ such that \(\lim_{n\to \infty}\flat _{n}=\flat ^{\ast}\in \textit{{\ss }}\) and \(\flat ^{\ast}=\Upsilon (\flat ^{\ast},\flat ^{\ast},\ldots ,\flat ^{ \ast})\).
Proof
We consider the corresponding setvalued mapping \(\Upsilon _{s}\) of ϒ. Then, by using Remark 5, one can easily verify that: (i) \(\Upsilon _{s}\) is a setvalued \(\mathcal{R}PC\)operator with contractive constant ϱ; (ii) condition (i) implies condition (A) of Theorem 3.1; (iii) condition (a′) implies condition (B) of Theorem 3.1 (iv) condition (b′) implies condition (B) of Theorem 3.2. Hence, the result follows from Theorem 3.1 and Theorem 3.2. □
Let \((\text{{\ss }},d)\) be a metric space and \(\Delta =\{(\flat ,\flat )\colon \flat \in \text{{\ss }}\}\). Let Ξ be a directed graph (see [9] and the reference therein) with \(V(\Xi )=\text{{\ss }}\) and \(E(\Xi )\subseteq \text{{\ss }}^{2}\) and Ξ has no parallel edges. Then, we say that ß is endowed with the graph Ξ. For \(\flat ^{1},\flat ^{2}\in \text{{\ss }}\), a path in Ξ from \(\flat ^{1}\) to \(\flat ^{2}\) of length \(N\in \aleph \cup \{0\}\) is a finite sequence \(\{\flat _{i}\}_{i=0}^{N}\) of \(N+1\) points (vertices) such that \(\flat _{0}=\flat ^{1}\), \(\flat _{N}=\flat ^{2}\) and \((\flat _{i1},\flat _{i})\in E(\Xi )\) for \(i=1,\ldots ,N\). A sequence \(\{\flat _{n}\}\) in ß is called a termwise connected sequence if \((\flat _{n},\flat _{n+1})\in E(\Xi )\) for all \(n\in \aleph \).
The following corollary is the main result of Shahzad and Shukla [9].
Corollary 4.4
Let \((\textit{{\ss }},d)\) be a complete metric space endowed with a graph Ξ and \(\Upsilon \colon \textit{{\ss }}^{k}\to CB(\textit{{\ss }})\) be a setvalued ΞPrešić operator, i.e., for every path \(\{\flat _{i}\}_{i=1}^{k+1}\) of \(k+1\) vertices in Ξ the following conditions are satisfied:
 (ΞP1):

there exist nonnegative numbers \(\varsigma _{i}\)’s such that \(0\leq \sum_{i=1}^{k}\varsigma _{i}<1\) and
$$ H \bigl(\Upsilon (\flat _{1},\flat _{2},\ldots ,\flat _{k}),\Upsilon ( \flat _{2},\flat _{3},\ldots , \flat _{k+1}) \bigr)\leq \sum_{i=1}^{k} \varsigma _{i}d(\flat _{i},\flat _{i+1}); $$  (ΞP2):

if \(\flat _{k+1}\in \Upsilon (\flat _{1},\flat _{2},\ldots ,\flat _{k})\) and \(\flat _{k+2}\in \Upsilon (\flat _{2},\flat _{3},\ldots ,\flat _{k+1})\) are such that \(d(\flat _{k+1},\flat _{k+2})< \max_{1\leq i\leq k}\{d( \flat _{i},\flat _{i+1})\}\), then \((\flat _{k+1},\flat _{k+2})\in E(\Xi )\).
Suppose, the following conditions hold:
 (a″):

there exists a path \(\{\flat _{i}\}_{i=1}^{k+1}\) of \(k+1\) vertices in Ξ, such that \(\flat _{k+1}\in \Upsilon (\flat _{1},\flat _{2},\ldots ,\flat _{k})\);
 (b″):

for any termwise connected sequence \(\{\flat _{n}\}\) converges to \(\flat \in \textit{{\ss }}\), and \(\flat _{n+k}\in \Upsilon (\flat _{n},\flat _{n+1},\ldots , \flat _{n+k1})\) for all \(n\in \aleph \), then \((\flat _{n},\flat )\in E(\Xi )\) for all \(n\in \aleph \).
Then, ϒ has a fixed point in ß. Moreover, there exists a termwise connected sequence \(\{\flat _{n}\}\) in ß such that \(\flat _{n+k}\in \Upsilon (\flat _{n},\flat _{n+1},\ldots ,\flat _{n+k1})\) for all \(n\in \aleph \) and \(\{\flat _{n}\}\) converges to a fixed point of ϒ.
Proof
Consider the binary relation \(\mathcal{R}_{\Xi}\) on ß defined by \(\mathcal{R}_{\Xi}=\{(\flat _{1},\flat _{2})\in \text{{\ss }}^{2} \colon (\flat _{1},\flat _{2})\in E(\Xi )\}\). First, note that \(\sum_{i=1}^{k}\varsigma _{i}d(\flat _{i}, \flat _{i+1})\leq [\sum_{i=1}^{k}\varsigma _{i} ] \max_{1\leq i\leq k}\{d(\flat _{i},\flat _{i+1})\}\), and so condition (ΞP1) implies condition (\(\mathcal{R}_{\Xi}PC1\)). Also, it is easy to see that condition (ΞP2) implies condition (\(\mathcal{R}_{\Xi}PC2\)). By definition of \(\mathcal{R}_{\Xi ,}\) the conditions (a″) and (b″) imply the conditions (A) and (B) of Theorem 3.1. Hence, the existence of sequence \(\{\flat _{n}\}\) with desired properties follows from Theorem 3.1. □
Remark 6
The existence results for setvalued Prešić type operators in εchainable spaces (see, [26] and [9]) and the existence results for a singlevalued cyclicPrešić operator (see, [25] and the references therein) can be derived in a similar way, here we are omitting the detailed proof.
5 Applications
In this section, as applications of our main results, we establish existence of solution of a particular differential inclusion problem and prove the existence and stability of equilibrium point of a difference inclusion.
5.1 Application to the solution of a differential inclusion
We first consider a differential inclusion problem for a solution under some suitable conditions.
Suppose that \(\varpi >0\) and \(I=[0,\varpi ]\). By \(C(I,\Re )\) we denote the space of all continuous realvalued functions on I under the supremum norm \(\\cdot \_{\infty}\), while \(AC(I,\Re )\) denotes the space of all absolutely continuous realvalued functions on I with same norm. For \(r>0\) and \(\flat \in C(I,\Re )\) we define a subset \(B[\flat ,r]\) of \(C(I,\Re )\) by: \(B[\flat ,r]=\{\flat _{1}\in C(I,\Re )\colon \\flat \flat _{1}\_{ \infty}\leq r\}\).
Consider the timedependent differential inclusion problem of the following form:
in which \(\Lambda \colon I\times \Re \to \mathcal{P}(\Re )\) is a setvalued mapping considered with some suitable conditions, and \(g\colon I\to \Re \) is a continuous function.
Suppose that \(\Omega _{\Lambda}^{1}(\flat )\) represents the set of all Lebesgue integrable selections of \(\Lambda (\cdot ,\flat (\cdot ))\), i.e.,
We assume that \(\Omega _{\Lambda}^{1}(\flat )\) is nonempty and closed.
Definition 5.1
A function \(\flat \in AC(I,\Re )\) is called a solution to (6) if there is \(v\in \Omega _{\Lambda}^{1}(\flat )\) such that \(\flat '(t)=v(t)+g(t)\) for a.e. \(t\in I\) and \(\flat (0)=\alpha \). On the other hand:

(i)
a function \(\flat _{\text{L}}\in AC(I,\Re )\) is said to be a lower solution of (6) if there is a \(v_{\text{L}}\in \Omega _{\Lambda}^{1}(\flat _{\text{L}})\) such that \(\flat _{\text{L}}'(t)\leq v_{\text{L}}(t)+g(t)\) for a.e. \(t\in I\) and \(\flat _{\text{L}}(0)\leq \alpha \);

(ii)
a function \(\flat _{\text{ U}}\in AC(I,\Re )\) is said to be an upper solution of (6) if there is a \(v_{\text{ U}}\in \Omega _{\Lambda}^{1}(\flat _{\text{ U}})\) such that \(\flat _{\text{ U}}'(t)\geq v_{\text{ U}}(t)+g(t)\) for a.e. \(t\in I\) and \(\flat _{\text{ U}}(0)\geq \alpha \).
Theorem 5.1
Suppose that the following conditions are satisfied:

(a)
\(\Omega _{\Lambda}^{1}(\flat )\neq \emptyset \) for all \(\flat \in C(I,\Re )\);

(b)
if \(\flat \in C(I,\Re )\) is fixed and \(\{v_{n}\}\) is a sequence in \(\Omega _{\Lambda}^{1}(\flat )\), then there exists a subsequence \(\{v_{n_{i}}\}\) of \(\{v_{n}\}\), which converges at almost every point \(t\in I\) to a \(v\in L^{1}(I,\Re )\) such that \(\int _{0}^{t} v_{n_{i}}(s)\,ds \to \int _{0}^{t} v(s)\,ds\), as \(i\to \infty \) for every \(t\in I\);

(c)
\(\Lambda (t,\flat )\) is closed for all \((t,\flat )\in I\times \Re \) and for each fixed \(\flat \in C(I,\Re )\) we have \(\Lambda (\cdot ,\flat (\cdot ))\) is bounded on I;

(d)
there exist \(0\leq \mu <1\) and \(r>0\) such that, if \(\flat _{1}\in C(I,\Re )\), \(\flat _{2}\in B[\flat _{1},r]\) with \(\flat _{1}(t)\leq \flat _{2}(t)\) for all \(t\in I\), then
$$ \bigl\vert v_{\flat _{1}}(t)v_{\flat _{2}}(t) \bigr\vert \leq \frac{\mu}{\varpi} \bigl[\flat _{2}(t)\flat _{1}(t) \bigr], \quad \textit{for a.e. }t\in I $$(7)for all \(v_{\flat _{1}}\in \Omega _{\Lambda}^{1}(\flat _{1})\), \(v_{\flat _{2}} \in \Omega _{\Lambda}^{1}(\flat _{2})\);

(e)
if \(\flat _{1}\in C(I,\Re )\), \(\flat _{2}\in B[\flat _{1},r]\) with \(\flat _{1}(t)\leq \flat _{2}(t)\) for all \(t\in I\), then
$$ v_{\flat _{2}}(t)v_{\flat _{1}}(t)\geq 0, \quad \textit{for a.e. }t \in I, $$(8)for all \(v_{\flat _{1}}\in \Omega _{\Lambda}^{1}(\flat _{1})\), \(v_{\flat _{2}} \in \Omega _{\Lambda}^{1}(\flat _{2})\) with \(d (\int _{0}^{t} v_{\flat _{1}}(s)\,ds,\int _{0}^{t} v_{\flat _{2}}(s)\,ds )\leq d(\flat _{1},\flat _{2})\).
If there exists a lower solution (or an upper solution) \(\flat _{\textit{L}}\) (or \(\flat _{\textit{ U}}\)) of the differential inclusion (6) such that \(d(\flat _{\textit{L}},u)\leq r\) whenever \(u=\alpha +\int _{0}^{t}[v(s)+g(s)]\,ds\), \(t \in I\), \(v\in \Omega _{\Lambda}^{1}(\flat _{\textit{L}})\) (or \(d(\flat _{\textit{ U}},u)\leq r\) whenever \(u=\alpha +\int _{0}^{t}[v(s)+g(s)]\,ds\), \(t \in I\), \(v\in \Omega _{\Lambda}^{1}(\flat _{\textit{ U}})\)), then there exists a solution of (6).
Proof
Let \(\text{{\ss }}=C(I,\Re )\) (complete metric space with the supremum norm) and define a set3valued operator ϒ on ß by
Then, ϒ is welldefined, since \(\Omega _{\Lambda}^{1}(\flat )\neq \emptyset \) for all \(\flat \in \text{{\ss }}\). Now, it is obvious that the differential inclusion (6) is equivalent to the following inclusion:
i.e., \(\flat \in \Upsilon (\flat )\). Therefore, the solutions to the differential inclusion (6) are the fixed points of the operator ϒ. Define a binary relation \(\mathcal{R}\) on ß by:
where \(\flat _{1}\leq \flat _{2}\) means \(\flat _{1}(t)\leq \flat _{2}(t)\) for all \(t\in I\).
We observe that ß, ϒ and \(\mathcal{R}\) meet all the conditions of Theorem 3.1 with \(k=1\). In fact:

(I)
\(\Upsilon \colon \text{{\ss }}\to CB(\text{{\ss }})\).
Note that, \(\Omega _{\Lambda}^{1}(\flat )\neq \emptyset \) for all \(\flat \in \text{{\ss }}\), this shows that \(\Upsilon (\flat )\neq \emptyset \) for all \(\flat \in \text{{\ss }}\). We show that \(\Upsilon (\flat )\) is closed and bounded in ß for each \(\flat \in \text{{\ss }}\). Suppose that \(\flat \in \text{{\ss }}\) is fixed \(\{u_{n}\}\) be a sequence in \(\Upsilon (\flat )\) and \(u_{n}\to u\in \text{{\ss }}\). We show that \(u\in \Upsilon (\flat )\). Then, by definition, there is a sequence \(\{v_{n}\}\) in \(\Omega _{\Lambda}^{1}(\flat )\) with
$$ u_{n}(t)=\alpha + \int _{0}^{t} \bigl[v_{n}(s)+g(s) \bigr] \,ds,\quad t \in I. $$By (b) there is a subsequence \(\{v_{n_{i}}\}\) of \(\{v_{n}\}\) such that \(\{v_{n_{i}}\}\) converges at almost every point \(t\in I\) towards \(v\in L^{1}(I,\Re )\) as \(i\to \infty \) and \(\int _{0}^{t} [v_{n_{i}}(s)+g(s)]\,ds \to \int _{0}^{t} [v(s)+g(s)]\,ds\), as \(i\to \infty \) for every \(t\in I\).
Since each \(v_{n_{i}}\) is in \(\Lambda (t,\flat (t))\) which is closed for all \(t\in I\), hence \(v(t)\in \Lambda (t,\flat (t))\) for a.e. \(t \in I\) which with the fact \(v\in L^{1}(I,\Re )\) shows that \(v\in \Omega _{\Lambda}^{1}(\flat )\). Moreover,
$$ u(t)=\lim_{i\to \infty}u_{n_{i}}(t)=\alpha + \int _{0}^{t} \bigl[v(s)+g(s) \bigr]\,ds, \quad \text{for all }t\in I. $$This shows that \(u\in \Upsilon (\flat )\) and so \(\Upsilon (\flat )\) is closed in ß.
Further, since \(\Lambda (\cdot ,\flat (\cdot ))\) is bounded on I for each fixed \(\flat \in \text{{\ss }}\), there exists a number \(M>0\) such that \(\vert v(t)\vert \leq M\) for a.e. \(t\in I\). Since \(g\colon I\to \Re \) is continuous, hence for all \(u\in \Upsilon (\flat )\) we have
$$\begin{aligned} \sup_{t\in I} \bigl\vert u(t) \bigr\vert \leq & \vert \alpha \vert +\sup_{t \in I} \int _{0}^{t} \bigl\vert v(s)+g(s) \bigr\vert \,ds \\ \leq& \vert \alpha \vert + \int _{0}^{t} [M+g_{\sup}]\,ds \\ \leq & \vert \alpha \vert +[M+g_{\sup}]\varpi, \end{aligned}$$where \(g_{\sup}=\sup_{t\in I}g(t)\). Therefore, ϒ has bounded values in ß.

(II)
ϒ is a setvalued \(\mathcal{R}PC\)operator.
Let \(\flat _{1},\flat _{2}\in \text{{\ss }}\) with \((\flat _{1},\flat _{2})\in \mathcal{R}\), then we have \(\flat _{2}\in B[\flat _{1},r]\) and \(\flat _{1}(t)\leq \flat _{2}(t)\) for all \(t\in I\). Then, we have
$$\begin{aligned} D \bigl(\Upsilon (\flat _{1}),\Upsilon (\flat _{2}) \bigr) =& \sup_{u_{\flat _{1}} \in \Upsilon (\flat _{1})}\,d \bigl(u_{\flat _{1}},\Upsilon (\flat _{2}) \bigr) \\ =& \sup_{u_{\flat _{1}}\in \Upsilon (\flat _{1})}\inf_{u_{\flat _{2}} \in \Upsilon (\flat _{2})}d(u_{\flat _{1}},u_{\flat _{2}}) \\ =&\sup_{u_{\flat _{1}}\in \Upsilon (\flat _{1})}\inf_{u_{\flat _{2}} \in \Upsilon (\flat _{2})}\sup _{t\in I} \bigl\vert u_{\flat _{1}}(t)u_{ \flat _{2}}(t) \bigr\vert \\ \leq &\sup_{u_{\flat _{1}}\in \Upsilon (\flat _{1})}\inf_{u_{ \flat _{2}}\in \Upsilon (\flat _{2})}\sup _{t\in I} \int _{0}^{t} \bigl\vert v_{\flat _{1}}(s)v_{\flat _{2}}(s) \bigr\vert \,ds, \end{aligned}$$for some \(v_{\flat _{1}}\in \Omega _{\Lambda}^{1}(\flat _{1})\), \(v_{\flat _{2}} \in \Omega _{\Lambda}^{1}(\flat _{2})\). By use of (7) the above inequality yields:
$$\begin{aligned} D \bigl(\Upsilon (\flat _{1}),\Upsilon (\flat _{2}) \bigr) \leq & \frac{\mu}{\varpi}\sup_{u_{\flat _{1}}\in \Upsilon (\flat _{1})} \inf_{u_{\flat _{2}}\in \Upsilon (\flat _{2})} \sup_{t\in I} \int _{0}^{t} \bigl\vert \flat _{1}(s) \flat _{2}(s) \bigr\vert \,ds \\ \leq &\frac{\mu}{\varpi}d(\flat _{1},\flat _{2})\sup _{u_{\flat _{1}} \in \Upsilon (\flat _{1})}\inf_{u_{\flat _{2}}\in \Upsilon (\flat _{2})} \sup_{t\in I} \int _{0}^{t}\,ds \\ =&\mu d(\flat _{1},\flat _{2}). \end{aligned}$$By a similar calculation, one can obtain \(D(\Upsilon (\flat _{2}),\Upsilon (\flat _{1}))\leq \mu d(\flat _{1}, \flat _{2})\). Hence,
$$\begin{aligned} H \bigl(\Upsilon (\flat _{1}),\Upsilon (\flat _{2}) \bigr) =&\max \bigl\{ D \bigl( \Upsilon (\flat _{1}),\Upsilon (\flat _{2}) \bigr),D \bigl(\Upsilon (\flat _{2}), \Upsilon (\flat _{1}) \bigr) \bigr\} \\ \leq &\mu d(\flat _{1},\flat _{2}). \end{aligned}$$Hence, (\(\mathcal{R}PC1\)) is satisfied. Now suppose that \((\flat _{1},\flat _{2})\in \mathcal{R}\), \(\flat _{2}\in \Upsilon (\flat _{1})\) and \(\flat _{3}\in \Upsilon (\flat _{2})\). Then, we have \(\flat _{2}\in B[\flat _{1},r]\) and \(\flat _{1}(t)\leq \flat _{2}(t)\) for all \(t\in I\). Hence, by definition, there exist \(v_{\flat _{1}}\in \Omega _{\Lambda}^{1}(\flat _{1})\) and \(v_{\flat _{2}}\in \Omega _{\Lambda}^{1}(\flat _{2})\) such that
$$ {\flat _{2}}(t)=\alpha + \int _{0}^{t} \bigl[v_{\flat _{1}}(s)+g(s) \bigr] \,ds \quad \text{and}\quad {\flat _{3}}(t)=\alpha + \int _{0}^{t} \bigl[v_{ \flat _{2}}(s)+g(s) \bigr] \,ds, \quad t \in I. $$Therefore, using (d), we obtain:
$$\begin{aligned} d({\flat _{2}},{\flat _{3}}) =& d \biggl(\alpha + \int _{0}^{t} \bigl[v_{\flat _{1}}(s)+g(s) \bigr] \,ds,\alpha + \int _{0}^{t} \bigl[v_{\flat _{2}}(s)+g(s) \bigr] \,ds \biggr) \\ =&d \biggl( \int _{0}^{t}v_{\flat _{1}}(s)\,ds, \int _{0}^{t}v_{\flat _{2}}(s)\,ds \biggr) \\ \leq & \sup_{t\in I} \int _{0}^{t} \bigl\vert v_{\flat _{2}}(s)v_{ \flat _{1}}(s) \bigr\vert \,ds \\ \leq & \frac {\mu}{\varpi} \sup_{t\in I} \int _{0}^{t} \bigl[\flat _{2}(s)\flat _{1}(s) \bigr]\,ds \\ \leq & \frac {\mu}{\varpi}d(\flat _{1},\flat _{2}) \int _{0}^{t}\,ds \\ \leq & \mu d(\flat _{1},\flat _{2}) \\ < &d(\flat _{1},\flat _{2})\leq r. \end{aligned}$$Hence, we have \({\flat _{3}}\in B[{\flat _{2}},r]\) and with the help of property (e) we obtain:
$$\begin{aligned} {\flat _{3}}(t){\flat _{2}}(t) =& \int _{0}^{t} \bigl[v_{\flat _{2}}(s)v_{ \flat _{1}}(s) \bigr]\,ds \geq 0,\quad t\in I. \end{aligned}$$Hence, \(({\flat _{2}},{\flat _{3}})\in \mathcal{R}\), and so, (\(\mathcal{R}PC2\)) is satisfied.

(III)
Condition (A) of Theorem 3.1is satisfied. By hypothesis, there exists a lower solution \(\flat _{\text{L}}\) of the differential inclusion (6) such that \(d(\flat _{\text{L}},u)\leq r\) for all \(u\in \Upsilon (\flat _{\text{L}})\). Hence, there exists \(v_{\text{L}}\in \Omega _{\Lambda}^{1}(\flat _{\text{L}})\) such that \(\flat _{{\text{L}}}'(t)\leq v_{\text{L}}(t)+g(t)\) for a.e. \(t\in I\), \(\flat _{\text{L}}(0)\leq \alpha \). This shows that
$$ \begin{aligned}\flat _{\text{L}}(t)&\leq \flat _{\text{L}}(0)+ \int _{0}^{t} \bigl[v_{ \text{L}}(s)+g(s) \bigr] \,ds \\ &\leq \alpha + \int _{0}^{t} \bigl[v_{\text{L}}(s)+g(s) \bigr] \,ds=:u_{ \text{L}}(t),\quad t\in I, \end{aligned} $$and \(u_{\text{L}}\in \Upsilon (\flat _{\text{L}})\). Further, since \(u_{\text{L}}\in \Upsilon (\flat _{\text{L}})\) by hypothesis we have \(d(\flat _{\text{L}},u_{\text{L}})\leq r\), i.e., \(u_{\text{L}}\in B[\flat _{\text{L}},r]\). Hence, \((\flat _{\text{L}},u_{\text{L}})\in \mathcal{R}\) and \(u_{\text{L}}\in \Upsilon (\flat _{\text{L}})\). So, the condition (A) of Theorem 3.1 is satisfied.

(IV)
Condition (B’) of Remark 2is satisfied. Suppose that \(\{\flat _{n}\}\) is a termwise related trajectory of ϒ that converges to \(\flat \in \text{{\ss }}\), then \(\flat _{n+1}\in \Upsilon (\flat _{n})\) and \(\flat _{n}\leq \flat _{n+1}\) for all \(n\in \aleph \). By definition of \(\Upsilon (\flat _{n})\), there exists a sequence \(\{v_{n}\}\) in \(\Omega _{\Lambda}^{1}(\flat _{n})\) such that
$$ \flat _{n+1}=\alpha + \int _{0}^{t} \bigl[v_{n}(s)+g(s) \bigr] \,ds $$and by condition (b) there exists a subsequence \(\{\flat _{n_{i}}\}\) that converges to some \(v\in L^{1}(I,\Re )\) with \(\int _{0}^{t}v_{n_{i}}(s)\,ds\to \int _{0}^{t}v(s)\,ds\), as \(i\to \infty \) for every \(t\in I\). Therefore, \(\flat =\alpha +\int _{0}^{t}[v(s)+g(s)]\,ds\) and we can find \(i_{0}\in \aleph \) such that \(d(v_{n_{i}},v)\leq \frac {r}{\varpi}\) for all \(i>i_{0}\). Also, since \(\flat _{n}\leq \flat _{n+1}\) for all \(n\in \aleph \), we must have \(\flat _{v_{i}}\leq \flat \) for all \(i\in \aleph \). Finally, for all \(i>i_{0}\) we have:
$$\begin{aligned} d(\flat _{n_{i}},\flat ) =&\sup_{t\in I} \bigl\vert \flat _{n_{i}}(t)\flat (t) \bigr\vert \\ \leq& \sup_{t\in I} \int _{0}^{t} \bigl\vert v_{n_{i}}(t)v(t) \bigr\vert \,ds \\ \leq &d(v_{n_{i}},v)\sup_{t\in I} \int _{0}^{t}\,ds \\ \leq & r \end{aligned}$$Hence, \((\flat _{n_{i}},\flat )\in \mathcal{R}\) for all \(i>i_{0}\), and so, the condition (B’) of Remark 2 is also satisfied for \(k=1\).
Therefore, the existence of a fixed point of ϒ, i.e., a solution to the differential inclusion (6) follows by Theorem 3.1 and Remark 2.
On the other hand, it is easy to see that a similar conclusion can be drawn in case of existence of upper solution of (6) by choosing the relation \(\mathcal{R}\) accordingly. □
The next example validate and illustrate the above theorem.
Example 3
Consider the following differential inclusion problem:
where \(\Lambda \colon I\times \Re \to \mathcal{P}(\Re )\) is given by
and \(0< x<1\), \(y\in \Re \) are fixed real numbers. Then, all the conditions of Theorem 5.1 are satisfied with \(\varpi =1\), \(g(t)=\sin t\), \(t\in I\), \(r=e^{x}\) and \(\mu =x\). In fact, we have:

(a)
If \(v(t) = x\flat \) for all \(t\in I\), then v is a Lebesgue integrable selection of \(\Lambda (\cdot ,\flat (\cdot ))\). Therefore, \(\Omega _{\Lambda}^{1}(\flat )\neq \emptyset \) for all \(\flat \in C(I,\Re )\).

(b)
For any fixed \(\flat \in C(I,\Re )\) if \(\{v_{n}\}\) is a sequence in \(\Omega _{\Lambda}^{1}(\flat )\), then by definition of \(\Omega _{\Lambda}^{1}(\flat )\) there exists a subsequence \(\{v_{n_{i}}\}= \{x\flat \}\) of \(\{v_{n}\}\) which converges at almost every point \(t\in I\) to \(v=x\flat \in L^{1}(I,\Re )\) such that \(\int _{0}^{t} v_{n_{i}}(s)\,ds \to \int _{0}^{t} v(s)\,ds\), as \(i\to \infty \) for every \(t\in I\).

(c)
By definition, \(\Lambda (t,\flat )\) is closed for all \((t,\flat )\in I\times \Re \) and for each fixed \(\flat \in C(I,\Re )\) we have \(\Lambda (\cdot ,\flat (\cdot ))\) is bounded on I;

(d)
Here, \(\varpi =1\). If \(\flat _{1},\flat _{2}\in C(I,\Re )\), \(\flat _{2}\in B[\flat _{1},e^{x}]\) with \(\flat _{1}(t)\leq \flat _{2}(t)\) for all \(t\in I\) and \(v_{\flat _{1}}\in \Omega _{\Lambda}^{1}(\flat _{1})\), \(v_{\flat _{2}} \in \Omega _{\Lambda}^{1}(\flat _{2})\), then for \(0<\mu =x<1\) and \(r=e^{x}>0\) we have
$$ \bigl\vert v_{\flat _{1}}(t)v_{\flat _{2}}(t) \bigr\vert \leq \frac{\mu}{\varpi} \bigl[\flat _{2}(t)\flat _{1}(t) \bigr], \quad \text{for a.e. }t\in I. $$ 
(e)
If \(\flat _{1}\in C(I,\Re )\), \(\flat _{2}\in B[\flat _{1},e^{x}]\) with \(\flat _{1}(t)\leq \flat _{2}(t)\) for all \(t\in I\), then
$$ v_{\flat _{2}}(t)v_{\flat _{1}}(t)=x\flat _{2}x\flat _{1}\geq 0, \quad \text{for a.e. }t \in I, $$for all \(v_{\flat _{1}}\in \Omega _{\Lambda}^{1}(\flat _{1})\), \(v_{\flat _{2}} \in \Omega _{\Lambda}^{1}(\flat _{2})\) with \(d (\int _{0}^{t} v_{\flat _{1}}(s)\,ds,\int _{0}^{t} v_{\flat _{2}}(s)\,ds )\leq d(\flat _{1},\flat _{2})\).
Observe that \(\flat _{L}(t)=e^{xt}\) for all \(t\in [0,1]\) is a lower solution of inclusion problem (9), as \(\flat _{L}'(t)=xe^{xt}\leq e^{xt}+\sin t\) for a.e. \(t\in [0,1]\) and \(\flat _{L}(0)=1\). Also \(d(\flat _{L},u)\leq r=e^{x}\) whenever \(u=1+\int _{0}^{t}[v(s)+\sin s]\,ds\), \(t \in I\), \(v\in \Omega _{ \Lambda}^{1}(\flat _{\text{L}})\). Hence, by Theorem 5.1, there exists a solution of (9).
5.2 Application to equilibrium point of a difference inclusion
We now consider the problem of obtaining an equilibrium point of kth order nonlinear difference inclusions and its weak stability and global attractivity.
Suppose that Θ is a subset of a real Banach space ß and \(\\cdot \\) denotes the norm on ß. Let \(\Upsilon \colon \Theta ^{k}\to \mathcal{P}(\Theta )\) be a mapping, with nonempty values. Let \(\flat _{1},\flat _{2},\ldots ,\flat _{k}\in \Theta \) and consider the kth order nonlinear difference inclusion on Θ:
A function \(\tau \colon \aleph \to \Theta \) is called a solution of (10) (see, [9]) if for every \(n\in \aleph \), \(\tau (n+k)=\tau _{n+k}\in \Upsilon (\tau _{n},\tau _{n+1},\ldots , \tau _{n+k1})\). We say that \(\flat \in \Theta \) is an equilibrium point of (10) if, \(\flat \in \Upsilon (\flat ,\flat ,\ldots ,\flat )\). Obviously, an equilibrium point of (10) is a fixed point of ϒ and viceversa. An equilibrium point \(\flat \in \Theta \) of (10) is said to be weakly stable if, given \(\varepsilon >0\), there exists \(\delta >0\) such that for at least one solution of (10) with initial values \(\flat _{1},\flat _{2},\ldots ,\flat _{k}\) and \(\\flat _{1}\flat \+\\flat _{2}\flat \+\cdots +\\flat _{k} \flat \<\delta \) implies \(\\flat _{n}\flat \<\varepsilon \) for all \(n\in \aleph \). While the equilibrium point ♭ is said to be weakly asymptotically stable if it is weakly stable and \(\lim_{n\to \infty}\flat _{n}=\flat \), and ♭ is said to be global attractor if for every \(\flat _{1},\flat _{2},\ldots ,\flat _{k}\in \Theta \) we have \(\lim_{n\to \infty}\flat _{n}=\flat \).
Theorem 5.2
If Θ is a closed subset of ß and \(\Upsilon \colon \Theta ^{k}\to CB(\Theta )\) satisfies the following condition:
for all \(\flat _{1},\flat _{2},\ldots ,\flat _{k+1}\in \textit{{\ss }}\), where \(0\leq \varrho <1\). Then for every set of initial conditions \(\flat _{1},\flat _{2},\ldots , \flat _{k}\in \Theta \) the difference inclusion (10) has an equilibrium point \(\flat \in \Theta \). Furthermore, the equilibrium point ♭ is weakly asymptotically stable and a global attractor.
Proof
By Corollary 4.2, the setvalued mapping ϒ has a fixed point in Θ, which is an equilibrium point of (10). Also, by the method used in the proof of Corollary 4.2, we observe that for all \(\flat _{1},\flat _{2},\ldots ,\flat _{k}\in \Theta \) the trajectory \(\{\flat _{n}\}\) converges to ♭, therefore, ♭ is weakly asymptotically stable and a global attractor. □
Example 4
Consider the real Banach space ℜ with usual norm, and the following nonlinear difference inclusion of order 2:
where \(0\leq \sigma \leq \varsigma \) and \(\varsigma >2\). Then the difference inclusion (11) has an equilibrium point in \(\flat \in [0,1/2]\). Furthermore, the equilibrium point ♭ is weakly asymptotically stable and a global attractor.
Proof
Let \(\text{{\ss }}=\Re \) with the usual distance and \(\Theta =I=[0,1/2]\) and define a setvalued mapping \(\Upsilon \colon I^{2}\to CB(I)\) by:
We show that ϒ satisfies the contractive condition of Theorem 5.2. Then, for all \(\flat _{1},\flat _{2},\flat _{3}\in I\) we have:
where \(\varrho \leq \frac {2}{\varsigma}<1\). Hence, ϒ satisfies the contractive condition of Theorem 5.2. Therefore, by Theorem 5.2, the difference inclusion (11) has an equilibrium point \(\flat _{\sigma ,\varsigma}\in I\) which is weakly asymptotically stable and a global attractor. Indeed, the global attractor \(\flat _{\sigma ,\varsigma}\) will depend on σ and ς and \(\inf_{\sigma \in [0,\varsigma ]}\flat _{\sigma , \varsigma}=0\). □
6 Conclusion
In this paper, we have considered a relationtheoretic setvalued generalization of the result of Prešić and established the existence of fixed point of mappings under suitable assumptions. The main result of this paper is a unification and generalization of the results of [2, 3, 10, 12]. More importantly, this unification permits us to use the techniques of [2] and [3] with weaker contractive conditions. The results have been successfully applied to the differential inclusion problems and to obtain the equilibrium points of difference inclusions. The result proved here can be further generalized and extended, e.g., more weaker types of contractive conditions can be used, more than one mapping can be involved in the contractive conditions, so that the scope and applicability of the results can be broaden. We point out that the contractive condition and the method of proof used here may not be compatible with the structure of a graphical metric spaces (see, [27]). It is worth investigating under which assumption(s) the result of this paper can be further generalized in the generalized setting of graphical metric spaces.
Availability of data and materials
Not applicable.
References
Ćirić, L.B., Prešić, S.B.: Prešić type generalisation of Banach contraction principle. Acta Math. Univ. Comen. LXXVI(2), 143–147 (2007)
Shukla, S., Loṕez, R.: Fixed point of multivalued relationtheoretic contraction in metric space and application. Quaest. Math. 45(3), 1–16 (2019). https://doi.org/10.2989/16073606.2019.1578293
Shukla, S., Radenović, S.: Some generalizations of Prešić type mappings and applications. An. Ştiinţ. Univ. ‘Al.I. Cuza’ Iaşi, Mat. 63(2), 339–350 (2017). https://doi.org/10.1515/aicu20150026
Prešić, S.B.: Sur une classe d’inéquations aux différences finite et sur la convergence de certaines suites. Publ. Inst. Math. (Belgr.) 19(5), 75–78 (1965)
Prešić, S.B.: Sur la convergence des suites. C. R. Acad. Sci. Paris 260, 3828–3830 (1965)
Khan, M.S., Berzig, M., Samet, B.: Some convergence results for iterative sequences of Prešić type and applications. Adv. Differ. Equ. 2012, 38 (2012). https://doi.org/10.1186/16871847201238
Chen, Y.Z.: A Prešić type contractive condition and its applications. Nonlinear Anal. 71, 2012–2017 (2009). https://doi.org/10.1016/j.na.2009.03.006
Shukla, S., Gopal, D., RodríguezLópez, R.: FuzzyPrešićĆirić operators and applications to certain nonlinear differential equations. Math. Model. Anal. 45, 815–829 (2016). https://doi.org/10.3846/13926292.2016.1247303
Shahzad, N., Shukla, S.: Setvalued gPrešić operators on metric spaces endowed with a graph and fixed point theorems. Fixed Point Theory Algorithms Sci. Eng. 2015(14), 1–13 (2015). https://doi.org/10.1186/168718122014127
Nadler, S.B.: Multivalued contraction mappings. Pac. J. Math. 30, 475–478 (1969). https://doi.org/10.2140/pjm.1969.30.475
Shukla, S., Sen, R., Radenović, S.: Setvalued Prešić type contraction in metric spaces. An. Ştiinţ. Univ. ‘Al.I. Cuza’ Iaşi, Mat. 61, 391–399 (2015). https://doi.org/10.2478/aicu20140011
Alam, A., Imdad, M.: Relationtheoretic contraction principle. J. Fixed Point Theory Appl. 17(4), 693–702 (2015). https://doi.org/10.1007/s117840150247y
Marin, M., Öchsner, A., Craciun, E.M.: A generalization of the Gurtin’s variational principle in thermoelasticity without energy dissipation of dipolar bodies. Contin. Mech. Thermodyn. 32, 1685–1694 (2020). https://doi.org/10.1007/s00161020008735
Marin, M., Ellahi, R., Vlase, S., Bhatti, M.M.: On the decay of exponential type for the solutions in a dipolar elastic body. J. Taibah Univ. Sci. 14(1), 534–540 (2021)
Alzahrani, F., Hobiny, A., Abbas, I., Marin, M.: An eigenvalues approach for a twodimensional porous medium based upon weak, normal and strong thermal conductivities. Symmetry 12(5), 848 (2020)
Hobiny, A., Abbas, I.: A gn model on photothermal interactions in a twodimensions semiconductor half space. Results Phys. 15, 102588 (2019). https://doi.org/10.1016/j.rinp.2019.102588
Marin, M., Carrera, E., Vlase, S.: Some results on stability and continuous dependence in GreenNaghdi thermoelasticity of cosserat bodies. Bound. Value Probl. 2022, 28 (2022). https://doi.org/10.1186/s13661022016104
Marin, M., Bhatti, M.M.: Headon collision between capillary–gravity solitary waves. Bound. Value Probl. 2020, 12 (2020). https://doi.org/10.1186/s13661019013213
Kiseleva, M., Kuznetsov, N., Leonov, G.: Theory of differential inclusions and its application in mechanics. In: New Perspectives and Applications of Modern Control Theory, pp. 219–239. Springer, Cham (2018)
Rashid, M., Mehmood, N.: Application of fixed points in differential inclusions of heat conduction. Punjab Univ. J. Math. 52, 93–110 (2020)
Ali, M.U., Kamran, T.: On \(\alpha _{\star}\)ψcontractive multivalued mappings. Fixed Point Theory Appl. 2013, 137 (2013)
Lipschutz, S.: Schaum’s Outlines of Theory and Problems of Set Theory and Related Topics. McGrawHill, New York (1964)
Ran, A.C.M., Reurings, M.C.B.: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 132(5), 1435–1443 (2004). https://doi.org/10.1090/S0002993903072204
Nieto, J.J., RodríguezLópez, R.: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 22, 223–229 (2005). https://doi.org/10.1007/s1108300590185
Shukla, S., Shahzad, N.: gPrešić operators on metric spaces endowed with a graph and fixed point theorems. Fixed Point Theory Appl. 2014, 127 (2014). https://doi.org/10.1186/168718122014127
Edelstein, M.: An extension of banachs contraction principle. Proc. Am. Math. Soc. 12, 7–10 (1961)
Shukla, S., Radenovic, S., Vetro, C.: Graphical metric space: a generalized setting in fixed point theory. Fixed Point Theory Appl. 111(3), 641–655 (2016)
Acknowledgements
All the authors are thankful to Editor and Reviewers for their valuable suggestions on the manuscript. The first author is thankful to Science and Engineering Research Board (SERB), TAR/2022/000131, New Delhi, India for support. First author is grateful to Professor M.K. Dube for his regular encouragement and motivation for research.
Authors’ information
None.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
Conceptualization of the article was carried out by SS, and SR, methodology by SS and SR. Investigation and writing the original draft were done by SS, SR, and RS. Writing, reviewing and editing were done by SS, SR, and RS. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Consent for publication
Not applicable.
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Shukla, S., Rai, S. & Shukla, R. A relationtheoretic setvalued version of PrešićĆirić theorem and applications. Bound Value Probl 2023, 59 (2023). https://doi.org/10.1186/s13661023017489
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661023017489
Keywords
 Binary relation
 PrešićĆirić operator
 Fixed point
 Differential inclusion
 Difference inclusion