- Research
- Open access
- Published:
New coincidence point results for generalized graph-preserving multivalued mappings with applications
Advances in Difference Equations volume 2021, Article number: 334 (2021)
Abstract
This research aims to investigate a novel coincidence point (cp) of generalized multivalued contraction (gmc) mapping involved a directed graph in b-metric spaces (b-ms). An example and some corollaries are derived to strengthen our main theoretical results. We end the manuscript with two important applications, one of them is interested in finding a solution to the system of nonlinear integral equations (nie) and the other one relies on the existence of a solution to fractional integral equations (fie).
1 Introduction and preliminaries
Fractional calculus is the official modeling tool to represent the conduct of nanofluids, the dynamics of ions over the membrane and many more. In past years, this branch [1, 2] has attracted great interest. There exist many kinds of proposed fractional operators, for instance, we have the well-known Caputo, Riemann–Liouville, and Grunwald–Letnikov derivatives. Among all the papers dealing with fractional derivatives, fractional differential equations, as an important research field, have attained a great deal of attention from many researchers; see [3–8].
Differential equations of fractional order have been the focus of many studies due to their frequent appearance in various applications in fluid mechanics, viscoelasticity, physics, engineering and biology. Recently, a large amount of literature developed concerning the application of fractional differential equations in nonlinear dynamics [9, 10].
Metric fixed point theory has enormous applications in distinct sciences, one of them on graphs was shown by Echenique [11]. After that, a lot of papers concerning the concept of graph contractions, techniques of fixed points on the graph theory and generalizations of the Banach contraction principle in the directed graph were discussed in various spaces [11–15].
The idea of a metric was expanded by the problem of the convergence with respect to a measure of the measurable functions. So by this notion, the concept of b-ms was introduced by Czerwik [16] and Bakhtin [17]. Interesting results under the mentioned space are obtained. For expansion, we recommend to refer to [18–20].
Under the mentioned space, this manuscript is interested in studying some of cp for gmc mapping involved a directed graph. After that, we used the theoretical results obtained in studying the solution of nie and fde [21–27].
We consider here all sets and subsets are non-empty and Ω is a directed graph with vertex set \(\Im (\Omega )\) which is coincided with a b-ms β and edge set \(\Upsilon (\Omega )\) which contains Ξ, where Ξ is the diagonal of \(\beta \times \beta \). Also, we suppose that Ω has no parallel edges. We say that a mapping \(\zeta :\beta \rightarrow \beta \) is an Ω-contraction if
-
for all \(c,e\in \beta \), \((c,e)\in \Upsilon (\Omega )\) implies \((\zeta c,\zeta e)\in \Upsilon (\Omega )\), i.e., ζ preserves edges of Ω,
-
for \(c,e\in \beta \), there is \(0<\varrho <1\), so that \((c,e)\in \Upsilon (\Omega )\) implies \(\xi (\zeta (c),\zeta (e))\leq \varrho \xi (c,e) \).
Definition 1.1
([16])
Let \(\beta \neq \emptyset \) be a set and \(s\geq 1\) be a given real number. A function \(\xi :\beta \times \beta \rightarrow [ 0,+\infty )\) is a b-metric iff, for all \(c,e,f\in \Upsilon \), the following stipulations are realized:
-
\(\xi (c,e)=0\Rightarrow e=c\);
-
\(\xi (c,e)=\xi (e,c)\);
-
\(\xi (c,f)\leq s ( \xi (c,e)+\xi (e,f) ) \).
The triplet \((\beta ,\xi ,s)\) is called a b-ms with coefficient s.
For more details about topological properties of this space see [16, 17].
Let \((\beta ,\xi ,s)\) be a b-ms. Denote by \(\chi _{b,cl}(\beta )\) the set of all non-empty bounded closed set in β. Define the function \(\daleth :\chi _{b,cl}(\beta )\times \chi _{b,cl}(\beta ) \rightarrow \mathbb{R} ^{+}\) as
where \(\xi (\varkappa ,M_{1})=\inf \{\varpi (\varkappa ,\varphi ):\varphi \in M_{1}\}\), for \(M_{1},M_{2}\in \chi _{b,cl}(\beta )\). ℸ is the famous Hausdorff metric.
Consider
and
The properties below can be deduced from the definition of δ, for \(M_{1},M_{2},M_{3}\in \chi _{b,cl}(\beta )\),
-
\(\delta (M_{1},M_{2})=\delta (M_{2},M_{1})\);
-
\(\delta (M_{1},M_{2})=0\) iff \(M_{1}=M_{2}=\{\varphi \}\);
-
\(\delta (M_{1},M_{3})\leq \delta (M_{1},M_{2})+\delta (M_{2},M_{3})\);
-
\(\delta (M_{1},M_{1})=\operatorname{diam} M_{1}\).
Lemma 1.2
([16])
Let \((\beta ,\xi ,s)\) be a b-ms with a coefficient \(s\geq 1\). For any \(M_{1},M_{2},M_{3}\in \chi _{b,cl}(\beta )\) and \(c,e\in \beta \), the following assertions are valid:
-
\(\xi (c,M_{2})\leq \xi (c,e)\) for \(e\in M_{2}\);
-
\(\delta (M_{1},M_{2})\leq \daleth (M_{1},M_{2})\);
-
\(\xi (c,M_{2})\leq \daleth (M_{1},M_{2})\);
-
\(\daleth (M_{1},M_{1})=0\);
-
\(\daleth (M_{1},M_{2})=\daleth (M_{2},M_{1})\);
-
\(\daleth (M_{1},M_{3})\leq s[\daleth (M_{1},M_{2})+\daleth (M_{2},M_{3})]\);
-
\(\xi (c,M_{1})\leq s[\xi (c,e)+\xi (e,M_{1})]\).
Lemma 1.3
([28])
Let a trio \((\beta ,\xi ,s)\) be a b-metric space and \(\varpi _{1},\varpi _{2}\in \chi _{b,cl}(\beta )\). then, for \(\hslash _{1}\geq 1\), \(c\in \varpi _{1}\) there exists \(e(c)\in \varpi _{2}\) such that \(\xi (c,e)\leq \hslash _{1}\daleth ( \varpi _{1},\varpi _{2} ) \).
Definition 1.4
([29])
For a set β, assume that \(\Omega =(\Im (\Omega ),\Upsilon (\Omega ))\) is a graph with \(\Im (\Omega )=\beta \), then:
-
A multivalued map \(\wp :\beta \rightarrow \chi _{b,cl}(\beta )\) is called graph preserving if for all \(\theta \in \wp (c)\), \(\vartheta \in \wp (e) \) we have if \((c,e)\in \Upsilon (\Omega )\), then \((\theta ,\vartheta )\in \Upsilon (\Omega )\), i.e., it preserves the edges.
-
Two multivalued maps \(\wp _{1},\wp _{2}:\beta \rightarrow \chi _{b,cl}(\beta )\) are called mixed graph preserving respect to \(a_{1}\) and \(a_{2}\) if \(( a_{1}(c),a_{2}(e) ) \in \Upsilon (\Omega )\), then \((\sigma _{1},\sigma _{2})\in \Upsilon (\Omega )\) for all \(\sigma _{1}\in \wp _{1}(c)\) and \(\sigma _{2}\in \wp _{2}(e)\) and if \(( a_{2}(e),a_{1}(c) ) \in \Upsilon (\Omega )\), then \((\mu _{1},\mu _{2})\in \Upsilon (\Omega )\) for all \(\mu _{1}\in \wp _{2}(c)\) and \(\mu _{2}\in \wp _{1}(e)\).
In this manuscript, some coincidence points for generalized multivalued contraction mappings implicating a directed graph in the setting of b-metric spaces are established. Also, to support our theoretical results, we present an example and some consequences. Ultimately, the existence solution of the system of nonlinear integral and fractional integral equations are derived.
2 Main results
We will start this part by defining the concept of the generalized Ω-multivalued mapping.
Definition 2.1
Assume that \(\Omega =(\Im (\Omega ),\Upsilon (\Omega ))\) is a graph with vertex set \(\Im (\Omega )=\beta \) and edges set \(\Upsilon (\Omega )\) such that \(\Xi \subseteq \Upsilon (\Omega )\) on a b-ms \((\beta ,\xi ,s)\). For \(a_{1},a_{2}:\beta \rightarrow \beta \) and \(\wp _{1},\wp _{2}:\beta \rightarrow \chi _{b,cl}(\beta )\); \(\wp _{1}\), \(\wp _{2}\) are called generalized \((a_{1},a_{2})-\Omega \)-multivalued mappings if the following assumptions hold:
-
with respect to \(a_{1}\), \(a_{2}\), \(\wp _{1}\), \(\wp _{2}\) are mixed graph preserving;
-
for \(c,e\in \beta \) with \(( a_{1}(c),a_{2}(e) ) \in \Upsilon (\Omega )\), there is \(\ell \geq 0\) such that, for
$$ \Re \bigl(a_{1}(c),a_{2}(e)\bigr)=\max \biggl\{ \xi \bigl( a_{1}(c),a_{2}(e) \bigr) ,\frac{\Delta ( a_{1}(c),\wp _{2}c ) .\Delta ( a_{2}(e),\wp _{1}e ) }{1+\xi ( a_{1}(c),a_{2}(e) ) } \biggr\} $$and
$$ \Re ^{\ast }\bigl(b_{1}(c),b_{2}(e)\bigr)=\min \left \{ \textstyle\begin{array}{c} \xi ( a_{1}(c),a_{2}(e) ) ,\Delta ( a_{1}(c),\wp _{2}c ) ,\Delta ( a_{2}(e),\wp _{1}e ) , \\ \Delta ( a_{1}(c),\wp _{1}e ) ,\Delta ( a_{2}(e), \wp _{2}c ) \end{array}\displaystyle \right \} , $$we get
$$ \Theta \bigl( s\daleth (\wp _{1}c,\wp _{2}e) \bigr) \leq \lambda \bigl( \Theta \bigl( \Re \bigl(a_{1}(c),a_{2}(e) \bigr) \bigr) \bigr) \Theta \bigl( \Re \bigl(a_{1}(c),a_{2}(e) \bigr) \bigr) +\ell \bigl( \Re ^{ \ast }\bigl(a_{1}(c),a_{2}(e) \bigr) \bigr) , $$and if \(( a_{2}(c),a_{1}(e) ) \in \Upsilon (\Omega )\), then we get
$$ \Theta \bigl( s\daleth (\wp _{1}c,\wp _{2}e) \bigr) \leq \lambda \bigl( \Theta \bigl( \Re \bigl(a_{2}(c),a_{1}(e) \bigr) \bigr) \bigr) \Theta \bigl( \Re \bigl(a_{2}(c),a_{1}(e) \bigr) \bigr) +\ell \bigl( \Re ^{ \ast }\bigl(a_{2}(c),a_{1}(e) \bigr) \bigr) , $$where
-
\(\Theta :[0,\infty )\rightarrow [ 0,\infty )\) is a non-decreasing and continuous function with \(\Theta (\alpha \varkappa )\leq \alpha \Theta (\varkappa )\) for all \(\alpha >1\) and \(\Theta (0)=0\),
-
\(\lambda :[0,\infty )\rightarrow [ 0,1)\) is an increasing function with \(\lambda (0)=0\).
Theorem 2.2
Suppose that \((\beta ,\xi ,s)\) is a complete b-ms with \(s\geq 1\) involved with a graph \(\Omega =(\Im (\Omega ),\Upsilon (\Omega ))\), \(\wp _{1},\wp _{2}:\beta \rightarrow \chi _{b,cl}(\beta )\) generalized \((a_{1},a_{2})-\Omega \)-multivalued mappings with surjective mappings \(a_{1},a_{2}:\beta \rightarrow \beta \). Then there are \(\theta ,\vartheta \in \beta \) such that \(a_{1}(\theta )\in \wp _{1}(\theta )\) or \(a_{2}(\vartheta )\in \wp _{2}(\vartheta )\), provided that
- \((\dagger _{i})\):
-
for some \(\theta \in \wp _{1}(c_{\circ })\), there is \(c_{\circ }\in \beta \) such that \((a_{1}(c_{\circ }),\theta )\in \Upsilon (\Omega )\),
- \((\dagger _{\mathit{ii}})\):
-
if \(( a_{1}(c),a_{2}(e) ) \in \Upsilon (\Omega )\), then \((\sigma _{1},\sigma _{2})\in \Upsilon (\Omega )\) for all \(\sigma _{1}\in \wp _{1}(c)\) and \(\sigma _{2}\in \wp _{2}(e)\) and if \(( a_{2}(e),a_{1}(c) ) \in \Upsilon (\Omega )\), then \((\mu _{1},\mu _{2})\in \Upsilon (\Omega )\) for all \(\mu _{1}\in \wp _{2}(e)\) and \(\mu _{2}\in \wp _{1}(e)\),
- \((\dagger _{\mathit{iii}})\):
-
for \(\{c_{n}\}_{n\in \mathbb{N} }\in \beta \), if \(\lim_{n\rightarrow \infty }c_{n}=c\) and \(( c_{n},c_{n+1} ) \in \Upsilon (\Omega )\), for \(n\in \mathbb{N} \), then there exists a subsequence \(\{c_{n_{j}}\}_{n_{j}\in \mathbb{N} }\) so that \(( c_{n_{j}},c ) \in \Upsilon (\Omega )\) for \(n_{j}\in \mathbb{N} \).
Proof
Since \(a_{2}\) is surjective, there is \(c_{1}\in \beta \) so that \(a_{2}(c_{1})\in \wp _{2}c_{\circ }\) and \(( a_{1}(c_{\circ }),a_{2}(c_{1}) ) \in \Upsilon (\Omega )\). Put \(\zeta = \frac{1}{\sqrt{\lambda ( \Theta ( \xi ( a_{1}(c_{\circ }),a_{2}(c_{1}) ) ) ) }}\), then \(\zeta >1\), so that
It follows from Lemma 1.3, \((\dagger _{\mathit{ii}})\) and \(a_{1}\) being surjective that there is \(c_{2}\in \beta \) with \(a_{1}(c_{2})\in \wp _{1}(c_{1})\) and \(( a_{2}(c_{1}),a_{1}(c_{2}) ) \in \Upsilon (\Omega )\), thus
where
and
Now, if \(\xi ( a_{1}(c_{\circ }),a_{2}(c_{1}) ) <\xi ( a_{2}(c_{1}),a_{1}(c_{2}) ) \), then, by (2.1), one can write
If we take \(\zeta = \frac{1}{\sqrt{\lambda ( \Theta ( \xi (a_{2}(c_{1}),a_{1}(c_{2})) ) ) }}\), by the definition of Θ and since \(\lambda <1\), we can write
this leads \(s<1\) or \(\Theta ( \xi ( a_{2}(c_{1}),a_{1}(c_{2}) ) ) <0\). In both cases we get a contradiction, hence we have \(\max \{ \xi ( a_{1}(c_{\circ }),a_{2}(c_{1}) ) , \xi ( a_{2}(c_{1}),a_{1}(c_{2}) ) \} =\xi ( a_{1}(c_{ \circ }),a_{2}(c_{1}) ) \). Substituting in (2.1), we have
Since Θ is non-decreasing, we get
Once again \(a_{1}(c_{2})\in \wp _{1}(c_{1})\) and \(a_{2}(c_{1})\in \wp _{2}(c_{\circ })\). Take
By (2.2), we observe that \(\zeta _{1}>1\). If \(a_{1}(c_{2})\in \wp _{2}(c_{2})\), then \(c_{2}\) is a cp for \(a_{1}\) and \(\wp _{2}\). Assume that \(a_{1}(c_{2})\notin \wp _{2}(c_{2})\), we have
Thus, there is \(a_{2}(c_{3})\in \wp _{2}(c_{2})\) so that \(( a_{1}(c_{2}),a_{2}(c_{3}) ) \in \Upsilon (\Omega )\) and
In the same manner, we have \(\Re (a_{1}(c_{1}),a_{2}(c_{2}))\leq \xi ( a_{1}(c_{1}),a_{2}(c_{2}) ) \) and \(\Re ^{\ast }(a_{1}(c_{1}),a_{2}(c_{2}))=0\). By property of \(( \lambda ) \) and (2.2), we get
Since \(\sqrt{\Theta ( \xi ( a_{1}(c_{\circ }),a_{2}(c_{1}) ) ) }<1\), by (2.2), we have
Since \(( \lambda ) \) is increasing, by (2.4) and (2.5), we can write
Again by (2.3), we have
Manifestly \(a_{1}(c_{2})\) is distinct from \(a_{2}(c_{3})\) since \(a_{1}(c_{\circ })\neq a_{2}(c_{1})\). Set
Then \(\zeta _{2}>1\).
If \(a_{2}(c_{3})\in \wp _{1}(c_{3})\) then \(c_{3}\) is a cp for \(a_{2}\) and \(\wp _{1}\). Let \(a_{2}(c_{3})\neq \wp _{1}(c_{3})\). Hence
Thus, there is \(a_{1}(c_{4})\in \wp _{1}(c_{3})\) so that \(( a_{2}(c_{3}),a_{1}(c_{4}) ) \in \Upsilon (\Omega )\) and
In the same scenario, we get \(\Re (a_{1}(c_{2}),a_{2}(c_{3}))\leq \xi (a_{1}(c_{2}),a_{2}(c_{3}))\) and \(\Re ^{\ast }(a_{1}(c_{2}),a_{2}(c_{3}))=0\). Consequently by (2.7), one can get
Since \(( \sqrt{\lambda ( \Theta ( \xi ( a_{1}(c_{ \circ }),a_{2}(c_{1}) ) ) ) } ) ^{2}<1\), by (2.6), we get
Again, \((\lambda )\) is increasing and by (2.8), we have
It is obvious that \(a_{2}(c_{3})\neq a_{1}(c_{4})\). Consider
Certainly \(\zeta _{3}>1\). By continuing in the same manner we can construct a sequence \(\{a(c_{n})\}\) in β as follows:
and \(( a_{1}(c_{2n}),a_{2}(c_{2n-1}) ) , ( a_{2}(c_{2n-1}),a_{1}(c_{2n}) ) \in \Upsilon (\Omega )\). Let the sequence \(\{a(c_{n})\}\) be defined as
Set \(\theta =\sqrt{\lambda ( \Theta ( \xi ( a_{1}(c_{ \circ }),a_{2}(c_{1}) ) ) ) }\), then \(\theta \in (0,1)\). Take \(\kappa =\frac{\theta }{\sqrt{s}}\), \(s>1\), we have
Since \(\kappa \in (0,1)\), it follows that
This implies that \(\{a(c_{n})\}\) is a Cauchy sequence in β. The completeness of β leads to there being a point \(\tau \in \beta \) so that the sequence \(\{a(c_{n})\}\) converges to it. Suppose that \(\theta ,\vartheta \in \beta \) with \(a_{1}(\theta )=\tau =a_{2}(\vartheta )\). Using \((\dagger _{\mathit{iii}})\), there is \(\{a(c_{n_{j}})\}\) so that \(( a(c_{n_{j}}),a_{1}(\theta ) ) \in \Upsilon (\Omega )\), for each \(n\in \mathbb{N} \). Now, we claim that \(a_{1}(\theta )\in \wp _{2}(\theta )\) or \(a_{2}(\vartheta )\in \wp _{1}(\vartheta )\).
Assume that \(\Omega ^{\ast }=\{n_{j}:n_{j}\text{ is even}\}\) and \(\Omega =\{n_{j}:n_{j}\text{ is odd}\}\). It is clear that \(\Omega \cup \Omega ^{\ast }\) has infinitely many elements (we call it infinite, for simplicity). So at least Ω or \(\Omega ^{\ast }\) must be infinite. Let us consider \(\Omega ^{\ast }\) to be infinite, for each \(a_{2}(c_{n_{j}+1})\), \(n_{j}\in \Omega \), one can write, by Lemma 1.2,
where
and
Letting \(n\rightarrow \infty \) in (2.10) and (2.11), we get
Letting \(n\rightarrow \infty \) in (2.9), \(\Theta (0)=0\), and applying (2.12), we have
Because of the distance is non-negative and \(\wp _{1}(\vartheta )\) is closed, this concludes the proof. In a similar way, we can show that \(a_{1}(\theta )\in \wp _{2}(\theta )\) when Ω is infinite. This completes the proof. Note, if Ω and \(\Omega ^{\ast }\) are infinite, then we have the same result. □
The following example supports Definition 2.1 and Theorem 2.2.
Example 2.3
Let \(\beta =[0,1]\). Define \(\xi :\beta \times \beta \rightarrow \mathbb{R} ^{+}\) by
It is obvious that a trio \((\beta ,\xi ,s)\) is a b-ms with \(s=2\). Assume that \(\Omega =(\Im (\Omega ),\Upsilon (\Omega ))\) is a directed graph with \(\Im (\Omega )=\beta \) and
Define \(\wp _{1},\wp _{2}:\beta \rightarrow \chi _{b,cl}(\beta )\) by
and \(a_{1},a_{2}:\beta \rightarrow \beta \) by \(a_{1}(c)=c^{3}\) and \(a_{2}(c)=c\). Let \(\Theta (\omega )=\omega \) and \(\lambda (\omega )=\frac{\omega }{2}\), for \(\omega \in [ 0,\infty )\). Because of for every \(c,e\in \{0,\frac{1}{2},\frac{1}{8}\}\), we have \(\daleth (\wp _{1}(c),\wp _{2}(e))=0\) and \(( a_{1}(c),a_{2}(e) ) , ( a_{1}(e), a_{2}(c) ) \in \Upsilon (\Omega )\). Thus \(\wp _{1}\), \(\wp _{2}\) are generalized Ω-multivalued respect to \(a_{1}\) and \(a_{2}\). Now, we discuss the case when \(c=e=1\), then \(( a_{1}(c),a_{2}(e) ) =(1,1)\in \Upsilon (\Omega )\) and \(\daleth (\wp _{1}(c),\wp _{2}(e))=\daleth (\wp _{1}1,\wp _{2}1)= \frac{1}{64}\). Consider
and
Then we can write
Also, \(\wp _{1}\), \(\wp _{2}\) are generalized Ω-multivalued with respect to \(a_{1}\) and \(a_{2}\). Also, the same results can be obtained if \(( a_{1}(c),a_{2}(e) ) \in \Upsilon (\Omega )\), for \(c,e\in \beta \). Note that the stipulations \((\dagger _{i})\)–\((\dagger _{\mathit{iii}})\) of Theorem 2.2 hold. So, there are \(\theta ,\vartheta \in \beta \) such that \(a_{1}(\theta )\in \wp _{1}(\theta )\) or \(a_{2}(\vartheta )\in \wp _{2}(\vartheta )\). Here \(\theta =\frac{1}{2}\) or \(\vartheta =\frac{1}{8}\).
Theorem 2.2 reduces to the following corollary, if we set \(a_{1}=a_{2}=a\), \(\ell =0\), and \(\Re (a_{1}(c),a_{2}(e))=\xi (a(c),a(e))\).
Corollary 2.4
Let \((\beta ,\xi ,s)\) be a complete b-ms with \(s\geq 1\) involving a directed graph Ω, \(a:\beta \rightarrow \beta \) being a surjective map and \(\wp _{1},\wp _{2}:\beta \rightarrow \chi _{b,cl}(\beta )\) being a-graph preserving with
for each \(c,e\in \beta \) with \(( a(c),a(e) ) \in \Upsilon (\Omega )\). Assume that
- \((\ddagger _{1})\):
-
for some \(\theta \in \wp _{1}c_{\circ }\), there is \(c_{\circ }\in \beta \) such that \((a(c_{\circ }),\theta )\in \Upsilon (\Omega )\),
- \((\ddagger _{2})\):
-
for \(\{c_{n}\}_{n\in \mathbb{N} }\in \beta \), if \(\lim_{n\rightarrow \infty }c_{n}=c\) and \(( c_{n},c_{n+1} ) \in \Upsilon (\Omega )\), for \(n\in \mathbb{N} \), then there exists a subsequence \(\{c_{n_{j}}\}_{n_{j}\in \mathbb{N} }\) so that \(( c_{n_{j}},c ) \in \Upsilon (\Omega )\) for \(n_{j}\in \mathbb{N} \).
Then there are \(\theta ,\vartheta \in \beta \) such that \(a(\theta )\in \wp _{1}(\theta )\) or \(a(\vartheta )\in \wp _{2}(\vartheta )\).
We believe that studying the uniqueness in the current situation is very complicated, so we will reduce Corollary 2.4 to one multivalued mapping and define a partially order set as follows.
Definition 2.5
Suppose that \((\beta ,\xi )\) is a b-metric space with \(s>1\) and a partially ordered set ≤. Assume that, for all \(\beta _{1},\beta _{2}\in \beta \), \(\beta _{1}\leq \beta _{2}\) if \(m_{1}\leq m_{2}\) for any \(m_{1}\in \beta _{1}\) and \(m_{2}\in \beta _{2}\). Let \(a:\beta \rightarrow \beta \) be a surjective map, and \(\wp _{1}:\beta \rightarrow \chi _{b,cl}(\beta )\). \(\wp _{1}\) is called a-increasing if \(a(c)\leq a(e)\) implies \(\wp _{1}(c)\leq \wp _{1}(e)\) for any \(c,e\in \beta \).
Theorem 2.6
Let \((\beta ,\xi ,s)\) be a complete b-ms with \(s\geq 1\) and ≤ be partially order set, \(a:\beta \rightarrow \beta \) be a surjective map, and \(\wp _{1}:\beta \rightarrow \chi _{b,cl}(\beta )\) be a multivalued mapping. Then there is \(\theta \in \beta \) such that \(a(\theta )\in \wp _{1}(\theta )\) if the following hypotheses are fulfilled:
- \((h_{1})\):
-
\(\wp _{1}\) is a-increasing;
- \((h_{2})\):
-
there are \(c_{\circ }\in \beta \) and \(\theta \in \wp _{1}(c_{\circ })\) such that \((a(c_{\circ }),\theta )\in \Upsilon (\Omega )\);
- \((h_{3})\):
-
for some \(c\in \beta \) and for each sequence \({c_{i}}\) such that \(a(c_{i})\) converges to \(a(c)\) and \(a(c_{i})\leq a(c_{i+1})\), \(i\in \mathbb{N} \), then \(a(c_{i})\leq a(c)\);
- \((h_{4})\):
-
for \(c,e\in \beta \) with \(a(c)\leq a(e)\), we get
$$ \Theta \bigl( s\daleth \bigl(\wp _{1}(c),\wp _{1}(e)\bigr) \bigr) \leq \lambda \bigl( \Theta \bigl( \xi \bigl(a(c),a(e)\bigr) \bigr) \bigr) \Theta \bigl( \xi \bigl(a(c),a(e)\bigr) \bigr) , $$where Θ and λ are defined in Definition 2.1.
In addition, if \(a:\beta \rightarrow \beta \) is injective then θ is unique.
Proof
Suppose that \(\Omega =(\Im (\Omega ),\Upsilon (\Omega ))\) is a graph with vertex set \(\Im (\Omega )=\beta \), and \(\Upsilon (\Omega )=\{(c,e):c\leq e\} \). For \((a(c),a(e))\in \Upsilon (\Omega )\), we have \(a(c)\leq a(e)\) and by \((h_{1})\), we get \(\wp _{1}(c)\leq \wp _{1}e\). For all \(\theta \in \wp _{1}(c) \), \(\vartheta \in \wp _{1}(e)\), we can find \(\theta \leq \vartheta \), thus \((\theta ,\vartheta )\in \Upsilon (\Omega )\). This illustrates that \(\wp _{1}\) is a-graph preserving. Hypothesis \((h_{1})\) leads to there being \(c_{\circ }\in \beta \) and \(\theta \in \wp _{1}(c_{\circ })\) such that \(a(c_{\circ })\leq \theta \). Thus \((a(c),\theta )\in \Upsilon (\Omega )\), this fulfills the property \((\ddagger _{1})\) of Corollary 2.4. Also the property \((\ddagger _{2})\) follows immediately by hypothesis \((h_{3})\). Take \(\wp _{1}=\wp _{2}\), then \(\wp _{1}\), \(\wp _{2}\) are a-graph-preserving maps and verify
for \(c,e\in \beta \) with \(( a(c),a(e) ) \in \Upsilon (\Omega )\). Thus all properties of Corollary 2.4 are fulfilled, so there is \(\theta \in \beta \) so that \(a(\theta )\in \wp _{1}(\theta )\). Ultimately, let \(\theta ,\vartheta \in \beta \) so that \(a(\theta )\in \wp _{1}(\theta )\) or \(a(\vartheta )\in \wp _{1}(\vartheta )\), by contradiction, suppose that \(\wp _{1}(\theta )\neq \wp _{1}(\vartheta )\) and \(\wp _{1}(\theta )<\wp _{1}(\vartheta )\) without loss of generality. Since \(a(\theta )\in \wp _{1}(\theta )\) or \(a(\vartheta )\in \wp _{1}(\vartheta )\), it yields \(\Delta ( a(\theta ),\wp _{1}\theta ) =\Delta ( a( \vartheta ),\wp _{1}(\vartheta ) ) \) and
a contradiction, thus \(a(\theta )=a(\vartheta )\). Since a is injective, \(\theta =\vartheta \). This finishes the required proof. □
The following result is very important in the next section.
Corollary 2.7
Let \((\beta ,\xi ,s)\) be a complete b-ms with \(s\geq 1\) and graph \(\Omega ,\wp _{1},\wp _{2}:\beta \rightarrow \beta \) be a generalized mapping so that
where Θ and λ are defined in Theorem 2.2. Assume that, for \(c,e\in \beta \), the following assumptions are fulfilled:
- \((a_{1})\):
-
there are \(c_{\circ }\in \beta \) and \(\theta \in \wp _{1}(c_{\circ })\) such that \((c_{\circ },\theta )\in \Upsilon (\Omega )\);
- \((a_{2})\):
-
if \(( c,e ) \in \Upsilon (\Omega )\), then \((\sigma _{1},\sigma _{2})\in \Upsilon (\Omega )\) for all \(\sigma _{1}\in \wp _{1}(c)\) and \(\sigma _{2}\in \wp _{2}(e)\) and if \(( e,c ) \in \Upsilon (\Omega )\), then \((\mu _{1},\mu _{2})\in \Upsilon (\Omega )\) for all \(\mu _{1}\in \wp _{2}(c)\) and \(\mu _{2}\in \wp _{1}(e)\);
- \((a_{3})\):
-
for \(\{c_{n}\}_{n\in \mathbb{N} }\in \beta \), if \(\lim_{n\rightarrow \infty }c_{n}=c\) and \(( c_{n},c_{n+1} ) \in \Upsilon (\Omega )\), for \(n\in \mathbb{N} \), then there exists a subsequence \(\{c_{n_{j}}\}_{n_{j}\in \mathbb{N} }\) so that \(( c_{n_{j}},c ) \in \Upsilon (\Omega )\) for \(n_{j}\in \mathbb{N} \).
Then there are \(\theta ,\vartheta \in \beta \) so that \(\theta \in \wp _{1}(\theta )\) or \(\vartheta \in \wp _{2}(\vartheta )\).
3 Supportive applications
This section is divided into two parts, the first part discusses the existence and uniqueness of solutions to Fredholm integral equations of the second kind are discussed and in the second one, the existence of solution to the system of (fie) is showed.
First part: Consider the following system:
Let \(\nabla =C[r_{1},r_{2}]\) be the set of all continuous function defined on \([r_{1},r_{2}]\). For \(c,e\in \nabla \) and \(q>1\), define \(\xi :\nabla \times \nabla \rightarrow \mathbb{R} ^{+}\) by
Then \(( \xi ,\beta ,s ) \) is a complete b-ms on ∇ with \(s=2^{q-1}\).
Let Ω be a graph defined by \(\Im (\Omega )=\nabla \) and
To proceed we consider the following theorem.
Theorem 3.1
Consider Problem (3.1) with the following hypotheses:
- \((\heartsuit _{1})\):
-
\(\Pi :[r_{1},r_{2}]\times [ r_{1},r_{2}]\times \mathbb{R} \rightarrow \mathbb{R} \), \(\Lambda (\omega ,\nu ):[r_{1},r_{2}]\times [ r_{1},r_{2}] \rightarrow \mathbb{R} \) are continuous functions so that
$$ \sup_{\omega \in [ r_{1},r_{2}]} \int _{r_{1}}^{r_{2}} \Lambda (\omega ,\nu )\,d\nu \leq \frac{1}{\sqrt[q]{2}}, \quad q>1, $$ - \((\heartsuit _{2})\):
-
for all \(q>1\), consider
$$ \bigl\vert \Pi \bigl( \omega ,\nu ,c(\nu ) \bigr) -\Pi \bigl( \omega ,\nu ,e( \nu ) \bigr) \bigr\vert \leq \frac{ \vert c(\nu )-e(\nu ) \vert ^{2}}{\sqrt[q]{ ( 1+ \vert c(\nu )-e(\nu ) \vert ^{q} ) }}, \quad q>1, $$ - \((\heartsuit _{3})\):
-
there is a function \(c_{\circ }\in \nabla \) such that
$$ c_{\circ }(\omega )\leq \Xi (\omega )+ \int _{r_{1}}^{r_{2}} \Lambda (\omega ,\nu )\Pi \bigl( \omega ,\nu ,\wp _{2}c_{\circ }( \nu ) \bigr) \,d\nu , \quad \omega \in [ r_{1},r_{2}], $$ - \((\heartsuit _{4})\):
-
\(\wp _{2}c(\nu )\leq \wp _{1}e(\nu )\) and \(\wp _{1}c(\nu )\leq \wp _{2}e(\nu )\), provided that \(c(\nu )\leq e(\nu )\), \(\wp _{1}\) and \(\wp _{2}\) are defined in the proof below,
- \((\heartsuit _{5})\):
-
for \(\{c_{n}\}_{n\in \mathbb{N} }\in \beta \), if \(\lim_{n\rightarrow \infty }c_{n}=c\) and \(c_{n}(\omega )\leq c_{n+1}(\omega )\in \Upsilon (\Omega )\), then there is a subsequence \(\{c_{n_{j}}\}_{n_{j}\in \mathbb{N} }\) so that \(c_{n_{j}}(\omega )\leq c(\omega )\) for \(n_{j}\in \mathbb{N} \), \(\omega \in [ r_{1},r_{2}]\).
Then there are \(\theta ,\vartheta \in \nabla \) so that
or
Proof
Define \(\wp _{1},\wp _{2}:C[r_{1},r_{2}]\rightarrow C[r_{1},r_{2}]\) by
for each \(\omega \in [ r_{1},r_{2}]\) and \(c,e\in \nabla \). By hypotheses \((\heartsuit _{1})\) and \((\heartsuit _{2})\), we can write
Thus, Condition (2.13) of Corollary 2.7 holds by taking \(\lambda (\omega )=\frac{1}{2}\frac{\omega }{1+\omega }\) and \(\Theta (\omega )=\omega \). It follows that by hypotheses \((\heartsuit _{3})\), \((\heartsuit _{4})\) and the definition of the graph Ω that the stipulations \((a_{1})\) and \((a_{2})\) of Corollary 2.7 are fulfilled. Also hypothesis \((\heartsuit _{5})\) immediately fulfills stipulation \((a_{3})\) of Corollary 2.7. So, we get
or
Second part: Consider the problem below:
where α and \(\alpha ^{\ast }\) are constants, \(\phi ,\psi :[0,1]\times \mathbb{R} ^{+}\rightarrow \mathbb{R} ^{+}\) and \({}^{c}\mathrm{D}^{\iota }\) is the famous Caputo derivative of order ι. □
The equivalent form of the Problem (3.2) is given by
Here the Green’s function \(\Upsilon (\omega ,\kappa )\) on \([0,1]\times [ 0,1]\) is continuous and is defined as
Now, put \(\Pi ( \omega ,\nu ,\theta (\nu ) ) =\phi (\vartheta ( \kappa ))\) and \(\Pi ( \omega ,\nu ,\vartheta (\nu ) ) =\psi (\theta ( \kappa ))\), then the System (3.3) turns into
System (3.4) is equivalent to the System (3.1) when \(r_{1}=0\) and \(r_{2}=1\). So by using Theorem 3.1, there are \(\theta ,\vartheta \in \nabla \) so that
or
i.e., Problem (3.2) has a solution, and by this we have finished this section.
4 Conclusion
The fixed point technique is considered an essential branch and a good tool in the field of nonlinear analysis, and due to its multiple applications in various fields of the mathematical and engineering sciences, it has received great interest from researchers. To be clear, we found in this work the solution to a system of nonlinear equations and fractional differential equations in the framework of the Caputo fractional derivative via new coincidence points of generalized multivalued contraction mappings involving a directed graph in b-metric spaces. The main benefit of our paper is to provide a solution to such types of equations as ones that serve numerical analysis scholars in finding a numeric solution, in addition to the new contributions made by the manuscript in the field of fixed point theory that serve many researchers in this field.
Availability of data and materials
Not applicable.
References
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives. Gordon & Breach, Yverdon (1993). Translated from the 1987 Russian original
Wang, G., Liu, S., Agarwal, R.P., Zhang, L.: Positive solutions of integral boundary value problem involving Riemann–Liouville fractional derivative. J. Fract. Calc. Appl. 4(2), 312–321 (2013)
Watanabe, Y.: Notes on the generalized derivative of Riemann–Liouville and its application to Leibnitz’s formula, II. Tohoku Math. J. 34, 8–41 (1931)
Hammad, H.A., Aydi, H., Mlaiki, N.: Contributions of the fixed point technique to solve the 2D Volterra integral equations, Riemann–Liouville fractional integrals, and Atangana–Baleanu integral operators. Adv. Differ. Equ. 2021, 97 (2021)
Samet, B., Aydi, H.: On some inequalities involving Caputo fractional derivatives and applications to special means of real numbers. Mathematics 6(10), 193 (2018)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Amsterdam (1993)
Lavoie, J.L., Osler, T.J., Tremblay, R.: Fractional derivatives and special functions. SIAM Rev. 18(2), 240–268 (1976)
Gao, X., Yu, J.: Synchronization of two coupled fractional-order chaotic oscillators. Chaos Solitons Fractals 26(1), 141–145 (2005)
Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1999)
Echenique, F.: A short and constructive proof of Tarski’s fixed point theorem. Int. J. Game Theory 33, 215–218 (2005)
Espinola, R., Kirk, W.A.: Fixed point theorems in R-trees with applications to graph theory. Topol. Appl. 153, 1046–1055 (2006)
Jachymsk, J.: The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 136(4), 1359–1373 (2008)
Hammad, H.A., De la Sen, M.: AÂ solution of Fredholm integral equation by using the cyclic \(\eta _{s}^{q}\)-rational contractive mappings technique in b-metric-like spaces. Symmetry 11, 1184 (2019)
Hammad, H.A., De la Sen, M.: Solution of nonlinear integral equation via fixed point of cyclic \(\alpha _{s}^{q}\)-rational contraction mappings in metric-like spaces. Bull. Braz. Math. Soc. 51, 81–105 (2020)
Czerwik, S.: Nonlinear set-valued contraction mappings in b-metric spaces. Atti Semin. Mat. Fis. Univ. Modena 46(2), 263–276 (1998)
Bakhtin, I.A.: The contraction mapping principle in quasimetric spaces. Funct. Anal., Gos. Ped. Inst. Ulyanovsk 30, 26–37 (1989)
Azam, A., Mehmood, N., Ahmad, J., Radenović, S.: Multivalued fixed point theorems in cone b-metric spaces. J. Inequal. Appl. 2013, 582 (2013)
Popovi, B., Radenović, S., Shukla, S.: Fixed point results to TVS-cone b-metric spaces. Gulf J. Math. 1, 51–64 (2013)
Piri, H., Kumam, P.: Fixed point theorems for generalized F-Suzuki contraction mappings in complete b-metric spaces. Fixed Point Theory Appl. 2016, 90 (2016)
Fredholm, E.I.: Sur une classe d’equations fonctionnelles. Acta Math. 27, 365–390 (1903)
Rus, M.D.: A note on the existence of positive solution of Fredholm integral equations. Fixed Point Theory 5, 369–377 (2004)
Hammad, H.A., De la Sen, M.: AÂ coupled fixed point technique for solving coupled systems of functional and nonlinear integral equations. Mathematics 7, 634 (2019)
Abdeljawad, T., Agarwal, R.P., Karapinar, E., Kumari, P.S.: Solutions of the nonlinear integral equation and fractional differential equation using the technique of a fixed point with a numerical experiment in extended b-metric space. Symmetry 11, 686 (2019)
Adiguzel, R.S., Aksoy, U., Karapinar, E., Erhan, I.M.: On the solution of a boundary value problem associated with a fractional differential equation. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.6652
Atangana, A.: Blind in a commutative world: simple illustrations with functions and chaotic attractors. Chaos Solitons Fractals 114, 347–363 (2018)
Atangana, A., Qureshi, S.: Modeling attractors of chaotic dynamical systems with fractal fractional operators. Chaos Solitons Fractals 123, 320–337 (2019)
Murthy, P.P., Pathak, H.K.: Some fixed point theorems without continuity. Bull. Calcutta Math. Soc. 82, 212–215 (1990)
Tiammee, J.S., Suantai, S.: Coincidence point theorems for graph-preserving multi-valued mappings. Fixed Point Theory Appl. 2014(1), 70 (2014)
Acknowledgements
The authors thank the Basque Government for Grant IT1207-19.
Funding
This work was supported in part by the Basque Government under Grant IT1207-19.
Author information
Authors and Affiliations
Contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Hammad, H.A., De la Sen, M. & Agarwal, P. New coincidence point results for generalized graph-preserving multivalued mappings with applications. Adv Differ Equ 2021, 334 (2021). https://doi.org/10.1186/s13662-021-03489-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03489-4