Abstract
The aim of this paper is to prove some new fixed point results for a pair of multivalued dominated locally contractive mappings in b-multiplicative metric space. Further, fixed point theorems for multigraph-dominated mappings are also established. Some new fixed point results on a closed ball are obtained for a pair of multigraph-dominated mappings endowed with graphic structure in b-multiplicative metric space. An illustrative example is given to show the validity of the hypothesis of our obtained result. Moreover, applications for a coupled system of nonlinear Volterra-type integral equations and functional equations in dynamic programming are presented to show the novelty of our results.
Similar content being viewed by others
1 Introduction and preliminaries
Fixed point theory is the mixture of modern mathematical analysis with broad applications in the study of various significant fields of mathematics. It has numerous applications in different areas of the mathematical sciences, such as modern optimization, theories of control, functional analysis, topology, geometry, and economic modeling in both pure and applied mathematics. In fixed point theorem, we deal with the self-mappings T from set X to itself has more than one or unique fixed points and the fundamental equation is \(Tx=x\) has many solutions. Contractive conditions play a significant role in solving fixed point problems in the field of metric fixed point theory. In 1922 [6] Banach proved a fixed point result called the Banach contraction principle. Because of its significance, many authors demonstrated various generalizations of his result (see [1–31]).
Ozavsar and Cevikel [21] introduced the notion of multiplicative metric spaces and showed some new fixed point results satisfying contraction mappings in multiplicative metric space and some related topological properties. Mongkolkeha et al. [18] proved the best proximity fixed point results for multiplicative proximal contraction in such spaces. In 2017, Ali et al. [3] established the concept of b-multiplicative metric space and proved some new fixed point theorems endowed with graph and also applied their main result to solve a Fredholm type nonlinear multiplicative integral equations. As an application, they established an existence theorem for solving a system of Fredholm multiplicative integral equations. Shoaib et al. [29] investigated fixed point theorems for self-mappings fulfilling contractions on the closed ball in complete b-multiplicative metric space.
Wardowski [31] introduced the notion of F-contraction, which is the most important generalization of the Banach contraction. Lateral, a huge number of researchers proved different variants of F-contraction and introduced various important fixed point results that can be seen in [2, 11, 24, 25, 28]. Recently, Rasham et al. [23] established fixed point results for a pair of dominated fuzzy contractions on closed balls in b-metric like spaces. They also presented applications to find the unique solution of nonlinear integral equations and functional equations in dynamics programming. In this paper, we prove some new fixed point results for multivalued generalized rational type F-contractive dominated mappings on closed balls in b-multiplicative metric space. Furthermore, we demonstrate applications for a coupled system of nonlinear integral and functional equations. Let us state the following preliminary concepts.
Definition 1.1
([3])
Let Λ be a nonempty set, and let \(\ell \geq 1\) be a given real number. A mapping \(\sigma :\Lambda \times \Lambda \rightarrow {}[ 1,\infty )\) is called a b-multiplicative metric with coefficient ℓ if the following conditions hold:
-
(i)
\(\sigma (\vartheta ,\upsilon )>1\) for all \(\vartheta ,\upsilon \in \Lambda \) with \(\vartheta \neq \upsilon \) and \(\sigma (\vartheta ,\upsilon )=1\) if and only if \(\vartheta =\upsilon \);
-
(ii)
\(\sigma (\vartheta ,\upsilon )=\sigma (\upsilon ,\vartheta )\) for all \(\vartheta ,\upsilon \in \Lambda \);
-
(iii)
\(\sigma (\vartheta ,\varrho )\leq {}[ \sigma (\vartheta , \upsilon ).\sigma (\upsilon ,\varrho )]^{\ell }\) for all \(\vartheta ,\upsilon ,\varrho \in \Lambda \).
The triplet \((\Lambda ,\sigma ,\ell )\) is a b-multiplicative metric space or shortly BMMS. For \(e\in \Lambda \) and \(r>0\), \(\overline{\beta _{\sigma _{m}}(e,r)}=\{v\in \Lambda :\sigma (e,v) \leq r\}\) is a closed ball in BMMS.
Example 1.2
([3])
Let \(\Lambda =[0,\infty )\). Define the mapping \(\sigma :\Lambda \times \Lambda \rightarrow {}[ 1,\infty )\) by
where \(v>1\) is any fixed real number. Then, σ is a b-multiplicative metric on Λ with \(\ell =2\). Note that σ is not a multiplicative metric on Λ. Taking \(v=3\), \(r=3^{4}\), and \(t=1\), then \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}=[0,3]\) is a closed ball in Λ.
Example 1.3
([3])
If \(p\in (0,1)\), then endowed with the functional
for each , is a b-multiplicative metric space with \(s=2^{\frac{1}{p}-1}\). Note that \(\sigma _{e}\) is neither a metric nor a b-metric on Λ.
Definition 1.4
([29])
Let \((\Lambda ,\sigma )\) be a BMMS.
-
(i)
A sequence \(\{p_{n}\}\) is convergent if there exists a point \(p\in \Lambda \) such that \(\sigma (p_{n},p)\rightarrow 1\) as \(n\rightarrow +\infty \).
-
(ii)
A sequence \(\{p_{n}\}\) is said to be b-multiplicative Cauchy in Λ iff \(\sigma (p_{n},p_{m})\rightarrow 1\) as \(m,n\rightarrow +\infty \).
-
(iii)
A b-multiplicative metric space \((\Lambda , \sigma )\) is said to be complete if every multiplicative Cauchy sequence in Λ is convergent to some p ∈Λ.
Definition 1.5
([26])
Let Λ be a nonempty set and \(\ell \geq 1\) be a real number. A mapping \(\rho :\Lambda \times \Lambda \rightarrow R+\cup \{0\}\) is said to be b-metric with coefficient ‘ℓ’ if for all \(\vartheta ,\upsilon ,\varrho \in \Lambda \), the following conditions hold:
-
(i)
\(\rho (\vartheta ,\upsilon )=0\) if and only if \(\vartheta =\upsilon \);
-
(ii)
\(\rho (\vartheta ,\upsilon )=\rho (\upsilon ,\vartheta )\);
-
(iii)
\(\rho (\vartheta ,\varrho )\leq \ell {}[ \rho (\vartheta , \upsilon )+\rho (\upsilon ,\varrho )]\).
The pair \((\Lambda ,\rho )\) is a b-metric space.
Remark 1.6
([3])
Every b-metric space \((\Lambda ,\rho )\) generates a b-multiplicative metric space \((\Lambda ,\sigma )\) defined as \(\sigma (x,\upsilon )=e^{\rho (x,\upsilon )}\).
Definition 1.7
Let Y is not an empty subset of a BMMS, and let \(\ell \in \Lambda \). A point \(c_{0}\in Y\) is the best approximation of ℓ in Y if
We say that Y is a closed compact set if for any ℓ in Λ, there exists a point of the best approximation in Y.
Definition 1.8
Define the mapping \(H_{\sigma }:\wp (\Lambda )\times \wp (\Lambda )\rightarrow R^{+}\) by
\(H_{\sigma }\) is said to be a Hausdorff multiplicative metric on \(\wp (\Lambda )\).
Definition 1.9
([27])
Let \(Z,E:\Lambda \rightarrow \wp (\Lambda )\) are set-valued mappings and \(\beta :\Lambda \times \Lambda \rightarrow {}[ 0,+\infty )\) be a function of positive real valued. Then both Z and R are called \(\beta _{\star }\)-admissible if for each \(g,h\in \Lambda \),
where \(\beta _{\star }(Zg,Ee)=\inf \{\beta (a,s):a\in Zg, s\in Ee\}\). When Z intersect with E, in this instance, we get the definition of \(\alpha _{\ast }\)-admissible mapping shown by [5].
Definition 1.10
([23])
Let \((\Lambda ,d_{b})\) be a b-metric space. Let \(B:\Lambda \rightarrow \wp (\Lambda )\) be a multi-valued mapping, and \(\alpha :\Lambda \times \Lambda \rightarrow {}[ 0,+\infty )\) is a function, and \(U\subseteq \Lambda \). Then, B is said to be \(\alpha _{\ast }\)-dominated on U if for all \(w\in U\), \(\alpha _{\ast }(w,Bw)=\inf \{\alpha (w,y):y\in Bw\}>1\).
Definition 1.11
([31])
Let \((\Lambda ,d)\) be a metric and \(B:\Lambda \rightarrow \Lambda \) be a self-mapping. It is said to be an \(\mathcal{F}\)-contraction if for each \(u,\ell \in \Lambda \), there is a \(\tau >0\) so that \(d(Bu,B\ell )>0\) implies
where is such that:
-
(F1)
For each \(c,d>0\) so that \(c< d\), \(\mathcal{F}(c)<\) \(\mathcal{F}(d)\);
-
(F2)
\(\lim_{n\rightarrow +\infty }f_{n}=0\) if and only if \(\lim_{n\rightarrow +\infty }\mathcal{F}(f_{n})=-\infty \), for every positive sequence \(\{f_{n}\}_{n=1}^{\infty }\);
-
(F3)
For some \(r\in (0,1)\) then \(\lim_{f\rightarrow 0^{+}}f^{r}\mathcal{F}(f)=0\).
Let \(\mathcal{F}\) denotes the set of mappings so that (F1)–(F3) hold.
Lemma 1.12
Let \((\Lambda ,\sigma )\) be a BMMS. Let \((\wp (\Lambda ),H_{\sigma })\) be a Hausdorff b-multiplicative metric space. If for all \(u\in M\) and for each \(M,N\in \wp (\Lambda )\), there is \(h_{l}\in N\) such that \(\sigma (u,N)=\sigma (u,h_{l})\), then \(H_{\sigma }(M,N)\geq \sigma (u,h_{l})\) holds.
Example 1.13
Let . We define \(\alpha :\Lambda \times \Lambda \rightarrow {}[ 0,+\infty )\) by
Define \(L,M:\Lambda \rightarrow P(\Lambda )\) by
This means L and M are \(\alpha _{\ast }\)-dominated but not \(\alpha _{\ast }\)-admissible.
2 Main results
Let \((\Lambda ,\sigma )\) be a BMMS, \(\hslash _{0}\in \Lambda \), and let \({\check{S}},\mathcal{H} :\Lambda \rightarrow \wp (\Lambda )\) be multivalued mappings on Λ. Let \(\hslash _{1}\in {\check{S}}\hslash _{0}\) be an element such that \(\sigma (\hslash _{0},{\check{S}}\hslash _{0})=\sigma (\hslash _{0}, \hslash _{1})\). Let \(\hslash _{2}\in \mathcal{H} \hslash _{1}\) be such that \(\sigma (\hslash _{1},\mathcal{H} \hslash _{1})=\sigma (\hslash _{1}, \hslash _{2})\). Let \(\hslash _{3}\in {\check{S}}\hslash _{2}\) be such that \(\sigma (\hslash _{2},{\check{S}}\hslash _{2})=\sigma (\hslash _{2}, \hslash _{3})\). In this way, we get a sequence \(\{ \mathcal{H} {\check{S}}(\hslash _{n})\}\) in Λ, where \(\hslash _{2n+1}\in {\check{S}}\hslash _{2n}\), \(\hslash _{2n+2}\in \mathcal{H} \hslash _{2n+1}\), . Also \(\sigma (\hslash _{2n},{\check{S}}\hslash _{2n})=\sigma (\hslash _{2n}, \hslash _{2n+1})\), \(\sigma (\hslash _{2n+1},\mathcal{H} \hslash _{2n+1})=\sigma ( \hslash _{2n+1},\hslash _{2n+2})\). Then, \(\{ \mathcal{H} {\check{S}}(\hslash _{n})\}\) is said to be a sequence in Λ generated by \(\hslash _{0}\). If \({\check{S}}=\mathcal{H} \), then we say \(\{ \Lambda {\check{S}}(\hslash _{n})\}\) instead of \(\{ \mathcal{H} {\check{S}}(\hslash _{n})\}\). For \(e,v\in \Lambda \), \(\kappa \in (0,\frac{1}{2})\), we define \(\nabla (e,y)\) as
Theorem 2.1
Let \((\Lambda ,\sigma )\) be a complete BMMS. Suppose there exists a function \(\alpha :\Lambda \times \Lambda \rightarrow {}[ 0,\infty )\). Let \(r>0\), \(\hslash _{0}\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)} \subseteq \Lambda \), and \({\check{S}},\mathcal{H}:\Lambda \rightarrow \wp (\Lambda )\) be \(\alpha _{\ast }\)-dominated mappings on \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\). Assume that \(\tau >0\), and there exists \(\kappa \in (0,\frac{1}{\ell })\) with \(\eta =\frac{\kappa }{1-\kappa }\), and \(\mathcal{F}\) is a strictly increasing function satisfying:
for all \(e,y\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\cap \{\mathcal{H}{\check{S}}(\hslash _{n})\}\), \(\alpha (e,y)\geq 1\), and \(H_{\sigma }({\check{S}}e,\mathcal{H}y)>0\) such that,
Then, \(\{\mathcal{H}{\check{S}}(\hslash _{n})\}\) is a sequence in \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\), \(\alpha (\hslash _{n},\hslash _{n+1})\geq 1\) for all and \(\{\mathcal{H}{\check{S}}(\hslash _{n})\}\rightarrow {\mu}\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\). Also, if μ satisfies (2.1), \(\alpha (\hslash _{n}, {\mu})\geq 1\), and \(\alpha ({\mu} ,\hslash _{n})\geq 1\) for all integers \(n\geq 0\), then Š and \(\mathcal{H}\) have a common fixed point μ in \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\).
Proof
Consider a sequence \(\{\mathcal{H}{\check{S}}(\hslash _{n})\} \). From (2.2), we get
It follows that,
Let \(\hslash _{2},\ldots ,\hslash _{j}\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\) for some . If j is odd, then \(j=2\grave{\imath}+1\) for some . Since \({\check{S}},\mathcal{H}:\Lambda \rightarrow \wp (\Lambda )\) are \(\alpha _{\ast }\)-dominated mappings on \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\), so \(\alpha _{\ast }(\hslash _{2\grave{\imath}},{\check{S}}\hslash _{2\grave{\imath}})\geq 1\) and \(\alpha _{\ast }(\hslash _{2\grave{\imath}+1},\mathcal{H}\hslash _{2\grave{\imath}+1})\geq 1\). As \(\alpha _{\ast }(\hslash _{2\grave{\imath}},{\check{S}}\hslash _{2 \grave{\imath}})\geq 1\), this implies \(\inf \{\alpha (\hslash _{2\grave{\imath} },b):b\in {\check{S}}\hslash _{2\grave{\imath}}\}\geq 1\). Also \(\hslash _{2\grave{\imath}+1}\in {\check{S}}\hslash _{2\grave{\imath}}\), so \(\alpha (\hslash _{2\grave{\imath}},\hslash _{2\grave{\imath}+1}) \geq 1\) and \(\hslash _{2\grave{\imath}+2}\in \mathcal{H}\hslash _{2\grave{\imath}+1}\). Now using Lemma 1.12, we have
Thus,
for all \(i\in N\), where \(\eta =\frac{\kappa }{1-\kappa }\). As is a strictly increasing function then
Similarly, if j is even, we have
Now, we have
Therefore,
Now,
Then, we have
which implies \(\hslash _{j+1}\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\). Hence, by induction \(\hslash _{n}\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\) for all . Also, \(\alpha (\hslash _{n},\hslash _{n+1})\geq 1\) for all . Now,
Now, for any positive integers m, n (\(n>m\)), we have
Clearly, \(\sigma (\hslash _{m},\hslash _{n})\rightarrow 1\) as \(m,n\rightarrow \infty \). Hence, \(\{\mathcal{H}{\check{S}}(\hslash _{n})\}\) is a Cauchy sequence in a complete multiplicative metric space \((\overline{\beta _{\sigma _{m}}(\hslash _{0},r)},\sigma )\). So, there is a \({\mu} \in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\) and \(\{\mathcal{H}{\check{S}}(\hslash _{n})\}\rightarrow {\mu}\) such that \(n\rightarrow \infty \). Then
Now
So, there exists \(\hslash _{2n+1}\in {\check{S}}\hslash _{2n}\) and \(\sigma (\hslash _{2n},{\check{S}}\hslash _{2n})=\sigma (\hslash _{2n}, \hslash _{2n+1})\). Using Lemma 1.12 and (2.1), we obtain
By assumption, \(\alpha (\hslash _{n},{\mu})\geq 1\). Suppose that \(\sigma ({\mu},\mathcal{H}{\mu})>0\), there exists a positive integer k such that \(\sigma (\hslash _{n},\mathcal{H}{\mu})>0\) for all \(n\geq k\). For \(n\geq k\), we have
Taking limit \(n\rightarrow \infty \) and inequality (2.8) from both sides of (2.9), we get \(\sigma ({\mu},\mathcal{H}{\mu})<\sigma ({\mu},\mathcal{H}{\mu})^{\ell \kappa }\) that is not true in general. Our supposition is wrong because \(\ell \kappa <1\). Hence, \(\sigma ({\mu},\mathcal{H}{\mu})=1\) or \({\mu}\in \mathcal{H}{\mu}\). Similarly, adopting the similar way and using Lemma 1.12 and inequality (2.8), we can get \(\sigma ({\mu},{\check{S}}{\mu})=1\) or \({\mu}\in {\check{S}}{\mu}\). So, Š and \(\mathcal{H}\) have a common fixed point μ in \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\). Now,
This implies that \(\sigma ({\mu},{\mu})=1\). □
Example 2.2
Let \(\Lambda =R^{+}\cup \{0\}\) and the function \(\sigma :\Lambda \times \Lambda \rightarrow \Lambda \) defined by
Define the mappings \({\check{S}},\mathcal{H}:\Lambda \times \Lambda \rightarrow \wp ( \Lambda )\) by
and,
Suppose that, \(\hslash _{0}=1\), \(\ell =2\), \(r=81\), \(\overline{B_{\sigma }(\hslash _{0},r)}=[0,15]\cap \Lambda \). Now, \(\sigma (\hslash _{0},{\check{S}}\hslash _{0})=\sigma (1,{\check{S}}1)=\sigma (1,\frac{1}{5})\). So \(\hslash _{1}=\frac{1}{5}\). Now, \(\sigma (\hslash _{1},\mathcal{H}\hslash _{1})=\sigma (\frac{1}{5}, \mathcal{H}\frac{1}{5})=\sigma (\frac{1}{5},\frac{1}{35})\). So \(\hslash _{2}=\frac{1}{35}\). Now, \(\sigma (\hslash _{2},{\check{S}}\hslash _{2})=\sigma (\frac{1}{35},{\check{S}}\frac{1}{35})=\sigma ( \frac{1}{35},\frac{1}{175})\). So \(\hslash _{3}=\frac{1}{175}\). Continuing in this way, we have \(\{\mathcal{H}{\check{S}}(\hslash _{n})\}=\{1,\frac{1}{5}, \frac{1}{35}, \frac{1}{175},\ldots\}\). Moreover, taking \(\kappa =\frac{7}{23}\in (0,\frac{1}{2})\) and \(\eta =\frac{7}{17}\in (0,1)\). From (2.2), we also have
Consider the mapping \(\alpha :\Lambda \times \Lambda \rightarrow {}[ 0,\infty )\) by
Now, if \(\hslash ,v\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\cap \{\mathcal{H}{\check{S}}(\hslash _{n})\}\) with \(\alpha (\hslash ,v)\geq 1\), we have
Thus,
this implies that if there is \(\tau \in (0,\frac{11}{91}]\), and \(\mathcal{F}\) is a strictly increasing function defined as \(\mathcal{F}(\ell )=\ln \ell +\ell \), we have
Note that, taking 17, \(18\in \Lambda \), then \(\alpha (17,18)\geq 1\). Now, we have
So, the condition (2.1) is not satisfied on Λ. Hence, Š and \(\mathcal{H}\) are satisfied all conditions of Theorem 2.1 for all \(\hslash ,v\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\cap \{ \mathcal{H}{\check{S}}(\hslash _{n})\}\) with \(\alpha (\hslash ,v)\geq 1\). Hence, Š and \(\mathcal{H}\) admit a common fixed point.
Corollary 2.3
Let \((\Lambda ,\sigma )\) be a complete BMMS. Suppose there exists a function \(\alpha :\Lambda \times \Lambda \rightarrow {}[ 0,\infty )\). Let \(r>0\), \(\hslash _{0}\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)} \subseteq \Lambda \), and \({\check{S}},\mathcal{H}:\Lambda \rightarrow \wp (\Lambda )\) are \(\alpha _{\ast }\)-dominated multifunctions on \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\). Assume that \(\tau >0\), and there exists \(\kappa \in (0,\frac{1}{\ell })\) with \(\eta =\frac{\kappa }{1-\kappa }\), and \(\mathcal{F}\) be a strictly increasing function satisfying:
for all \(e,y\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\cap \{ \hslash _{n}\}\), \(\alpha (e,y)\geq 1\), and \(\sigma ({\check{S}}e,\mathcal{H}y)>0\) such that,
Then, \(\{\mathcal{H}{\check{S}}(\hslash _{n})\}\) is a sequence in \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\), \(\alpha (\hslash _{n},\hslash _{n+1})\geq 1\) for all and \(\{\mathcal{H}{\check{S}}(\hslash _{n})\}\rightarrow {\mu}\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\). Also, if μ satisfies (2.11) \(\alpha (\hslash _{n},{\mu})\geq 1\) and \(\alpha ({\mu},\hslash _{n})\geq 1\) for all naturals \(n\geq 0\), then Š and \(\mathcal{H}\) admit a common fixed point μ in \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\).
Corollary 2.4
Let \((\Lambda ,\sigma )\) be a complete BMMS. Suppose there exists a function \(\alpha :\Lambda \times \Lambda \rightarrow {}[ 0,\infty )\). Let \(r>0\), \(\hslash _{0}\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)} \subseteq \Lambda \) and \({\check{S}}:\Lambda \rightarrow \wp (\Lambda )\) be a \(\alpha _{\ast }\)-dominated multifunction on \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\). Assume that \(\tau >0\), and there exists \(\kappa \in (0,\frac{1}{\ell })\) with \(\eta =\frac{\kappa }{1-\kappa }\), and \(\mathcal{F}\) be a strictly increasing function satisfying:
for all \(e,y\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\cap \{ \Lambda {\check{S}}(\hslash _{n})\}\), \(\alpha (e,y)\geq 1\), and \(H_{\sigma }({\check{S}}e,\mathcal{H}y)>0\), such that,
Then, \(\{\Lambda {\check{S}}(\hslash _{n})\}\) is a sequence in \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\), \(\alpha (\hslash _{n},\hslash _{n+1})\geq 1\) for all and \(\{\Lambda {\check{S}}(\hslash _{n})\}\rightarrow {\mu}\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\). Also, if μ satisfies (2.12), \(\alpha (\hslash _{n},{\mu})\geq 1\) and \(\alpha ({\mu},\hslash _{n})\geq 1\) for all natural \(n\geq 0\), then Š and \(\mathcal{H}\) admit a fixed point μ in \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\).
3 Results for multigraph dominated mappings
In this section, we will prove an application of Theorem 2.1 in graph theory. Jachymski [15] established a significant result related to the contraction mappings in a metric space endowed with a graph. Hussain et al. [13] showed fixed point results for graphic contractions and presented an application. For more results on graphical fixed point theory, see ([9, 30]).
Definition 3.1
Let \(Y \neq \Phi \) and \(\zeta =(V(\zeta ),\Xi (\zeta ))\) be a graph such that \(V(\zeta )=X\), \(D\subseteq R\). A function \(F:R\rightarrow \wp (R)\) is said to be a multigraph dominated on D if \((\delta ,\gamma )\in \Xi (\zeta )\), for each \(\gamma \in F\delta \) and \(\gamma \in D\).
Theorem 3.2
Let \((\Lambda ,\sigma )\) be a complete BMMS endowed with a graph ζ. Let \(r>0\), \(\hslash _{0}\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r),}\) and \({\check{S}},\mathcal{H}:\Lambda \rightarrow \wp (\Lambda )\), and \(\{\mathcal{H}{\check{S}}(\hslash _{n})\}\) be a sequence in \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\) generated by \(\hslash _{0}\). Assume that the following satisfy:
-
(i)
Š, \(\mathcal{H}\) are dominated on \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\cap \{\mathcal{H}{ \check{S}}(\hslash _{n})\}\).
-
(ii)
There exists \(\tau >0\) and \(\mathcal{F}\) is a strictly increasing function satisfying
$$ \tau +\mathcal{F}\bigl(H_{\sigma }({\check{S}}x,\mathcal{H}q)\bigr)\leq \mathcal{F}\bigl(\nabla (x,q)\bigr), $$(3.1)for all \(x,q\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\cap \{\mathcal{H}{\check{S}}(\hslash _{n})\}\), \((x, q)\in \Xi (\zeta )\) and \(H_{\sigma }({\check{S}}x,\mathcal{H}q)>0\).
-
(iii)
\(\sigma (\hslash _{0},{\check{S}}\hslash _{0})\leq r^{ \frac{1-\ell \eta }{\ell }}\).
Then, \(\{\mathcal{H}{\check{S}}(\hslash _{n})\}\) is a sequence in \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\), \((\hslash _{n},\hslash _{n+1})\in \Xi (\zeta )\) and \(\{\mathcal{H}{\check{S}}(\hslash _{n})\}\rightarrow \mu \). Also, if μ satisfies (3.1) and \((\hslash _{n},\mu )\in \Xi (\zeta )\) or \((\mu ,\hslash _{n})\in \Xi (\zeta )\) for all naturals \(n=1,2,3,\ldots \) , then Š and \(\mathcal{H}\) have a common fixed point μ in \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\).
Proof
Define the function \(\alpha :\Lambda \times \Lambda \rightarrow {}[ 0,\infty )\) by
Since Š and \(\mathcal{H}\) are graph dominated on \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\), then for all \(e\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\), \((x,q)\in \Xi (\zeta )\) for each \(q\in {\check{S}}x\) and \((x,q)\in \Xi (\zeta )\) for every \(q\in \mathcal{H}x\). So, \(\alpha (x,q)=1\) for each \(q\in {\check{S}}x\) and \(\alpha (x,q)=1\) for each \(q\in \mathcal{H}x\). This implies that \(\inf \{\alpha (x,q):q\in {\check{S}}x\}=1\) and \(\inf \{\alpha (x,q):q\in \mathcal{H}x\}=1\). Hence, \(\alpha _{\ast }(x,{\check{S}}x)=1\), \(\alpha _{\ast }(x,\mathcal{H}x)=1\) for each \(x\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\). So, \({\check{S}},\mathcal{H}:\Lambda \rightarrow \wp (\Lambda )\) are \(\alpha _{\ast }\)-dominated multifunctions on \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\). Furthermore, inequality (3.1) can be rewritten as
for all \(x,q\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\cap \{\mathcal{H}{\check{S}}(\hslash _{n})\}\), \(\alpha (x,q)\geq 1\) and \(H_{\sigma }({\check{S}}x,\mathcal{H}q)>0\). Also, (iii) holds. Then, from Theorem 2.1, we have \(\{\mathcal{H}{\check{S}}(\hslash _{n})\}\) is a sequence in \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\) and \(\{\mathcal{H}{\check{S}}(\hslash _{n})\}\rightarrow \mu \in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\). Now, \(\hslash _{n},\mu \in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\) and either \((\hslash _{n},\mu )\in \Xi (\zeta )\) or \((\mu ,\hslash _{n})\in \Xi (\zeta )\) implies that either \(\alpha (\hslash _{n},\mu )\geq 1\) or \(\alpha (\mu ,\hslash _{n})\geq 1\). Hence, all the conditions of Theorem 2.1 are satisfied. Hence, by Theorem 2.1, Š and \(\mathcal{H}\) have a common fixed point μ in \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\) and \(\sigma (\mu ,\mu )=0\). □
4 Application to integral equations
Theorem 4.1
Let \((\Lambda ,\sigma )\) be a complete BMMS. Let \(\hslash _{0}\in \Lambda \) and \({\check{S}},\mathcal{H}:\Lambda {\rightarrow }\Lambda \) be the self-mappings. Assume that there are \(\tau >0\) and a function strictly increasing so that satisfying the following condition:
whenever \(x,q\in \{\hslash _{n}\}\) and \(\sigma ({\check{S}}x,\mathcal{H}q)>0 \). Then \(\{\hslash _{n}\}\rightarrow f\in \Lambda \). Also, if (4.1) holds for \(x,q\in \{ f \} \), then Š and \(\mathcal{H}\) have a unique common fixed point f in Λ.
Proof
The proof of this theorem is similar to that of Theorem 2.1. □
In this section, we discuss the application of fixed point Theorem 4.1 in form of unique solution of two operator of Volterra-type integral equations given below:
for all \(k\in {}[ 0,1]\) and H, G are mappings from to . We find the solution of (4.2) and (4.3). Let be the set of all continuous functions on \([0,1]\). For , define a norm as: \(\Vert f\Vert _{\tau }^{2}=\sup_{k\in {}[ 0,1]}\{e^{ \vert f(k) \vert ^{2}}e^{-\tau k}\}\), where \(\tau >0\). Then define
for all , with these settings, becomes a complete BMMS.
Now, we are proving an existence theorem to investigate the solution of a coupled system of nonlinear integral equations.
Theorem 4.2
Assume that the following are satisfied:
-
(i)
;
-
(ii)
Define
$$\begin{aligned}& ({\check{S}}f) (k) = \int _{0}^{k}H(k,h,f)\,dh , \\& (\mathcal{H}\varkappa ) (k) = \int _{0}^{k}G(k,h,\varkappa )\,dh . \end{aligned}$$Suppose that there exist \(\tau >0\) such that
$$ e^{ \vert H(k,h,f)-G(k,h,c) \vert ^{2}}\leq \frac{\tau \nabla (f,\varkappa )(e^{\nabla (f,\varkappa )-e^{ \Vert {\check{S}}f-\mathcal{H}x \Vert _{\tau }^{2}}})}{e^{\tau (1-h)}} $$for all \(k,h\in {}[ 0,1]\) and , where
$$ \nabla (f,\varkappa )=\max \begin{Bmatrix} e^{ \Vert f-\varkappa \Vert _{\tau }^{2}},e^{ \Vert f-{ \check{S}}f) \Vert _{\tau }^{2}},e^{ \Vert \varkappa -\mathcal{H} \varkappa ) \Vert _{\tau }^{2}}, \\ \frac{e^{ \Vert f-{\check{S}}f) \Vert _{\tau }^{4}}.e^{ \Vert \varkappa -\mathcal{H}\varkappa ) \Vert _{\tau }^{2}}}{1+e^{ \Vert f(h)-\varkappa (h) \Vert _{\tau }^{4}}}\end{Bmatrix} . $$
Then, integral equations (4.2) and (4.3) have a common solution in .
Proof
By assumption (ii)
This implies
Taking ln both sides, we have
which further implies
So, all the requirements of Theorem 4.1 are satisfied for \(\mathcal{F}(\varkappa )=\ln \varkappa +\varkappa \); \(\varkappa >0\) and \(d_{\tau }(f,\varkappa )=e^{\Vert f-\varkappa \Vert _{\tau }^{2}}\). Hence, integral equations in (4.2) and (4.3) have a common solution. □
5 Application to functional equations
Here, we present an application for the solution of a functional equation in dynamic programming. Let  and Γ be two Banach spaces, , \(\Omega \subseteq \Gamma \) and
Further useful results relevant to dynamic programming are shown in [7, 8, 22]. We can assume that £ and Ω appear for the decisions spaces. The problem related to dynamic programming is to find the solution of the given equations:
for . We want to show that equations (5.1) and (5.2) unique solution. Suppose represents the class of all positive valued functions on £. Consider,
for all , becomes a complete BMMS. Assume that:
- (Ĉ1)::
-
L, M, ℏ, and ϖ are bounded.
- (Ĉ2)::
-
For , , let be multivalued mappings, so that
$$\begin{aligned}& P\upsilon (\vartheta )=\sup_{\Theta \in \Omega }\bigl\{ \hslash ( \vartheta ,\Theta )+L\bigl(\vartheta ,\Theta ,\upsilon \bigl(\sigma (\vartheta , \Theta ) \bigr)\bigr)\bigr\} , \end{aligned}$$(5.4)$$\begin{aligned}& {\hat{A}}\upsilon (\vartheta )=\sup_{\Theta \in \Omega }\bigl\{ \varpi ( \vartheta ,\Theta )+M\bigl(\vartheta ,\Theta ,\upsilon \bigl(\sigma (\vartheta , \Theta )\bigr)\bigr)\bigr\} . \end{aligned}$$(5.5)Furthermore, for each , , and for a \(\tau >0\),
$$ e^{ \vert L(\vartheta ,\Theta ,\upsilon (t))-M(\vartheta , \Theta ,w(t) \vert ^{2}}\leq \nabla (\upsilon ,w) \bigl(e^{\nabla ( \upsilon ,w)-e^{{ \vert (\Upsilon \upsilon _{1})(\vartheta )-({ \hat{A}}\upsilon _{2})(\vartheta ) \vert ^{2}-\tau }}}\bigr) $$(5.6)where
$$ \nabla (\upsilon ,w)=\sup \left \{ \begin{pmatrix} e^{ \vert \upsilon (t)-w(t) \vert ^{2}}, \\ e^{ \vert \upsilon (t)-\Upsilon \upsilon (t) \vert ^{2}},e^{ \vert \upsilon (t)-{\hat{A}}w(t) \vert ^{2}} \\ \frac{e^{ \vert \upsilon (t)-\Upsilon \upsilon (t) \vert ^{4}}.e^{ \vert \upsilon (t)-{\hat{A}}w(t) \vert ^{2}}}{1+e^{ \vert \upsilon (t)-w(t) \vert ^{4}}},\end{pmatrix} ^{\kappa }\right \} . $$
Theorem 5.1
Assume that (Ĉ1), (Ĉ2), and (5.6) hold. Then, the equations (5.1) and (5.2) have a unique common and bounded solution in .
Proof
Take any \(c>0\). From (5.4) and (5.5), there are , and \(\Theta _{1},\Theta _{2}\in \Omega \) such that
Using the definition of supremum, we get
Then, from (5.6), (5.7), and (5.10), we have
Since, \(c>0\) is arbitrary, we obtain
It implies that,
Hence, all the conditions of Theorem 4.1 are satisfied for \(\mathcal{F}(\varpi )=\ln \varpi +\varpi \); \(\varpi >0\) and \(\sigma _{\tau }(\upsilon ,w)=e^{\Vert \upsilon -w\Vert _{\tau }^{2}}\). Thus, P and  both have a unique common bounded solution of the equations (5.1) and (5.2). □
6 Conclusion
In this research, we have achieved some new fixed point results for a pair of multifunctions satisfying a generalized contractive conditions only on a closed ball with an intersection of an iterative sequence in complete b-multiplicative metric space. We have used a strictly increasing mapping \(\mathcal{F}\) instead of the class of mappings used by Wardowski [31]. The notion of multigraph-dominated mappings is introduced. Furthermore, some new fixed point results are obtained for graphic contraction in a b-multiplicative metric space. Applications are given to approximate the unique common bounded solution for a coupled system of nonlinear integral equations and functional equations in dynamical programming. Our results extended and generalized many results appearing in the literature, such as Rasham et al. [23–25], Wordowski’s result [31], Acar et al. [2], and many more classical results [11, 28, 29].
Availability of data and materials
Data sharing not applicable to this article as no data sets were generated or analyzed during the current study.
References
Abbas, M., Ali, B., Romaguera, S.: Fixed and periodic points of generalized contractions in metric spaces. Fixed Point Theory Appl. 2013, Paper No. 243 (2013)
Acar, Ö., Durmaz, G., Minak, G.: Generalized multivalued F-contractions on complete metric spaces. Bull. Iranian Math. Soc. 40, 1469–1478 (2014)
Ali, U., Kamran, T., Kurdi, A.: Fixed point in b-multiplicative metric spaces. UPB Sci. Bull., Ser. A 79(3), 15–20 (2017)
Alofi, A.S.M., Al-Mazrooei, A.E., Leyew, B.T., Abbas, M.: Common fixed points of α-dominated multivalued mappings on closed balls in a dislocated quasi b-metric space. J. Nonlinear Sci. Appl. 10(7), 3456–3476 (2017)
Asl, J.H., Rezapour, S., Shahzad, N.: On fixed points of α–ψ contractive multifunctions. Fixed Point Theory Appl. 2012, Paper No. 212 (2012)
Banach, S.: Sur les opérations dans les ensembles abstraits et leur application aux equations itegrales. Fundam. Math. 3, 133–181 (1922)
Bellman, R., Lee, E.S.: Functional equations in dynamic programming. Aequ. Math. 17, 1–18 (1978)
Bhakta, T.C., Mitra, S.: Some existence theorems for functional equations arising in dynamic programming. J. Math. Anal. Appl. 98, 348–362 (1984)
Bojor, F.: Fixed point theorems for Reich type contraction on metric spaces with a graph. Nonlinear Anal. 75, 3895–3901 (2012)
Boriceanu, M.: Fixed point theory for multivalued generalized contraction on a set with two b-metrics. Stud. Univ. Babeş–Bolyai, Math. 3, 1–14 (2009)
Chen, C., Wen, L., Dong, J., Gu, Y.: Fixed point theorems for generalized F-contractions in b-metric-like spaces. J. Nonlinear Sci. Appl. 9, 2161–2174 (2016)
Florack, L., Assen, H.V.: Multiplicative calculus in biomedical image analysis. J. Math. Imaging Vis. 42, 64–75 (2012)
Hussain, N., Al-Mezel, S., Salimi, P.: Fixed points for ψ-graphic contractions with application to integral equations. Abstr. Appl. Anal. 2013, Article ID 575869 (2013)
Hussain, N., Roshan, J.R., Paravench, V., Abbas, M.: Common fixed point results for weak contractive mappings in ordered dislocated b-metric space with applications. J. Inequal. Appl. 2013, Paper No. 486 (2013)
Jachymski, J.: The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 136, 1359–1373 (2008)
Latifa, A., Parvaneh, V., Salimi, P., Al-Mazrooei, A.E.: Various Suzuki type theorems in b-metric spaces. J. Nonlinear Sci. Appl. 8, 363–377 (2015)
Mishra, N.L., Dewangan, V., Mishra, N.V., Karateke, S.: Best proximity points of admissible almost generalised weakly contractive mappings with rational expressions on b-metric spaces. J. Math. Comput. Sci. 22(2), 97–109 (2021)
Mongkolkeha, C., Sintunavarat, W.: Best proximity points for multipliative proximal contraction mapping on multiplicative metric spaces. J. Nonlinear Sci. Appl. 8(6), 1134–1140 (2015)
Mustafa, Z., Jaradat, M.M.M.: Some remarks concerning \(D^{\ast } \)-metric spaces. J. Math. Comput. Sci. 22(2), 128–130 (2021)
Nadler, S.B.: Multivalued contraction mappings. Pac. J. Math. 30, 475–488 (1969)
Ozavsar, M., Cervikel, A.C.: Fixed points of multiplicative contraction mappings on multiplicative metric spaces (2012). arXiv:1205.5131 [math.GM]
Pathak, H.K., Cho, Y.J., Kang, S.M., Lee, B.S.: Fixed point theorems for compatible mappings of type (P) and applications to dynamic programming. Matematiche 50, 15–33 (1995)
Rasham, T., Marino, G., Shahzad, A., Park, C., Shoaib, A.: Fixed point results for a pair of fuzzy mappings and related applications in b-metric like spaces. Adv. Differ. Equ. 2021, Paper No. 259 (2021)
Rasham, T., Shoaib, A., Hussain, N., Alamri, B.A.S., Arshad, M.: Multivalued fixed point results in dislocated b-metric spaces with application to the system of nonlinear integral equations. Symmetry 11, Paper No. 40 (2019)
Rasham, T., Shoaib, A., Hussain, N., Arshad, M., Khan, S.U.: Common fixed point results for new Ciric-type rational multivalued F-contraction with an application. J. Fixed Point Theory Appl. 20, Paper No. 45 (2018)
Sarwar, M., Rahman, M.: Fixed point theorems for Ciric’s and generalized contractions in b-metric spaces. Int. J. Anal. Appl. 7(1), 70–78 (2015)
Senapati, T., Dey, L.K.: Common fixed point theorems for multivalued \(\beta _{\ast }\)–ψ-contractive mappings. Thai J. Math. 15(3), 747–759 (2017)
Sgroi, M., Vetro, C.: Multi-valued F-contractions and the solution of certain functional and integral equations. Filomat 27(7), 1259–1268 (2013)
Shoaib, A., Saleemullah, M.: Some fixed point results in b-multiplicative metric space. TWMS J. Appl. Eng. Math. 10(4), 846–856 (2020)
Tiammee, J., Suantai, S.: Coincidence point theorems for graph-preserving multi-valued mappings. Fixed Point Theory Appl. 2014, Paper No. 70 (2014)
Wardowski, D.: Fixed point theory of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, Paper No. 94 (2012)
Acknowledgements
The authors are grateful to the Basque Government for its support of this work through grant IT1207-19.
Funding
Basque Government through grant IT1207-19.
Author information
Authors and Affiliations
Contributions
TR and MDLS together discussed the problem and prepared this research article. MDLS analyzed all multivalued hybrid pair results for dominated mappings and made necessary improvements in applications section. TR is the major contributor in writing the paper. 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
Rasham, T., De La Sen, M. A novel study for hybrid pair of multivalued dominated mappings in b-multiplicative metric space with applications. J Inequal Appl 2022, 107 (2022). https://doi.org/10.1186/s13660-022-02845-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-022-02845-6