Skip to main content

A novel study for hybrid pair of multivalued dominated mappings in b-multiplicative metric space with applications


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.

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 [131]).

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


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:

  1. (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 \);

  2. (ii)

    \(\sigma (\vartheta ,\upsilon )=\sigma (\upsilon ,\vartheta )\) for all \(\vartheta ,\upsilon \in \Lambda \);

  3. (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


Let \(\Lambda =[0,\infty )\). Define the mapping \(\sigma :\Lambda \times \Lambda \rightarrow {}[ 1,\infty )\) by

$$ \sigma (t,\upsilon )=v^{ \vert t-\upsilon \vert ^{2}}, $$

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


If \(p\in (0,1)\), then l p (R)={{ x n }R: n = 1 | x n | p <} endowed with the functional

σ e : l p (R)× l p (R)[1,), σ e ( { x n } , { y n } ) = e ( n = 1 | x n y n | p ) 1 p ,

for each { x n },{ y n } l p (R), 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


Let \((\Lambda ,\sigma )\) be a BMMS.

  1. (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 \).

  2. (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 \).

  3. (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


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:

  1. (i)

    \(\rho (\vartheta ,\upsilon )=0\) if and only if \(\vartheta =\upsilon \);

  2. (ii)

    \(\rho (\vartheta ,\upsilon )=\rho (\upsilon ,\vartheta )\);

  3. (iii)

    \(\rho (\vartheta ,\varrho )\leq \ell {}[ \rho (\vartheta , \upsilon )+\rho (\upsilon ,\varrho )]\).

The pair \((\Lambda ,\rho )\) is a b-metric space.

Remark 1.6


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

$$ \sigma (\ell ,Y)=\sigma (\ell ,c_{0}),\quad \text{where }\sigma (\ell ,Y)=\inf_{c\in Y}\sigma (\ell ,c). $$

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 }(Q,E)=\max \Bigl\{ \sup_{l\in Q}\sigma (l,E), \sup_{f\in E}\sigma (Q,f) \Bigr\} . $$

\(H_{\sigma }\) is said to be a Hausdorff multiplicative metric on \(\wp (\Lambda )\).

Definition 1.9


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 \),

$$ \beta (g,h)\geq 1\quad \Rightarrow\quad \beta _{\star }(Zg,Eh)\geq 1, \quad \text{and}\quad \beta _{\star }(Eh,Zg)\geq 1, $$

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


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


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

$$ \tau +\mathcal{F} \bigl( d(Bu,B\ell ) \bigr) \leq \mathcal{F} \bigl( d(u, \ell ) \bigr), $$

where F: R + R is such that:

  1. (F1)

    For each \(c,d>0\) so that \(c< d\), \(\mathcal{F}(c)<\) \(\mathcal{F}(d)\);

  2. (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 }\);

  3. (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 Λ=R. We define \(\alpha :\Lambda \times \Lambda \rightarrow {}[ 0,+\infty )\) by

$$ \alpha (y,h)=\left \{ \textstyle\begin{array}{@{}l@{\quad}l@{}} 1&\text{if }y>h \\ \frac{1}{2}&\text{otherwise} \end{array}\displaystyle \right \}. $$

Define \(L,M:\Lambda \rightarrow P(\Lambda )\) by

$$ Lj=[j-2,j-1]\quad \text{and}\quad Mq=[q-5,q-4]. $$

This means L and M are \(\alpha _{\ast }\)-dominated but not \(\alpha _{\ast }\)-admissible.

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}\), nN. 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

$$ \nabla (e,y)= \left( \max \begin{Bmatrix} \sigma (e,y),\sigma (e,{\check{S}}e), \sigma (y,\mathcal{H}y), \\ \frac{\sigma ^{2}(e,{\check{S}}e).\sigma (y,\mathcal{H}y)}{1+\sigma ^{2}(e,y)}\end{Bmatrix} \right) ^{\kappa }. $$

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:

$$ \tau +\mathcal{F}\bigl(H_{\sigma }({\check{S}}e,\mathcal{H}y)\bigr)\leq \mathcal{F}\bigl(\nabla (e,y)\bigr), $$

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,

$$ \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)}\), \(\alpha (\hslash _{n},\hslash _{n+1})\geq 1\) for all nN 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)}\).


Consider a sequence \(\{\mathcal{H}{\check{S}}(\hslash _{n})\} \). From (2.2), we get

$$ \sigma (\hslash _{0},\hslash _{1})=\sigma (\hslash _{0},{\check{S}} \hslash _{0})\leq r^{\frac{1-\ell \eta }{\ell }}< r. $$

It follows that,

$$ \hslash _{1}\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}. $$

Let \(\hslash _{2},\ldots ,\hslash _{j}\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\) for some jN. If j is odd, then \(j=2\grave{\imath}+1\) for some ı ` N. 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

$$\begin{aligned} \tau +\mathcal{F}\bigl(\sigma (\hslash _{2\grave{\imath}+1},\hslash _{2 \grave{\imath}+2})\bigr) \leq &\tau +\mathcal{F}\bigl(H_{\sigma }({ \check{S}}\hslash _{2\grave{\imath}},\mathcal{H}\hslash _{2\grave{\imath}+1})\bigr) \leq \mathcal{F}\bigl(\nabla (\hslash _{2\grave{\imath}},\hslash _{2\grave{\imath}+1})\bigr) \\ \leq &\mathcal{F} \left( \max \begin{Bmatrix} \sigma (\hslash _{2\grave{\imath}},\hslash _{2\grave{\imath}+1}), \sigma (\hslash _{2\grave{\imath}},\hslash _{2\grave{\imath}+1}), \\ \sigma (\hslash _{2\grave{\imath}+1},\hslash _{2\grave{\imath}+2}), \frac{\sigma ( \hslash _{2\grave{\imath}},\hslash _{2\grave{\imath}+1} ) .\sigma ( \hslash _{2\grave{\imath}+1},\hslash _{2\grave{\imath}+2} ) }{1+\sigma ( \hslash _{2i},\hslash _{2i+1} ) }\end{Bmatrix} ^{\kappa } \right) \\ \leq &\mathcal{F}\bigl(\max \bigl\{ \sigma (\hslash _{2\grave{\imath}},\hslash _{2\grave{\imath}+1}),\sigma (\hslash _{2\grave{\imath}+1},\hslash _{2 \grave{\imath}+2})\bigr\} ^{\kappa }\bigr). \end{aligned}$$


$$ \tau +\mathcal{F}\bigl(\sigma (\hslash _{2\grave{\imath}+1},\hslash _{2 \grave{\imath}+2})\bigr)\leq \mathcal{F}\bigl(\sigma (\hslash _{2\grave{\imath}}, \hslash _{2i+1})\bigr)^{\eta }, $$

for all \(i\in N\), where \(\eta =\frac{\kappa }{1-\kappa }\). As F: R + R is a strictly increasing function then

$$ \sigma (\hslash _{2\grave{\imath}+1},\hslash _{2\grave{\imath}+2})< \sigma (\hslash _{2\grave{\imath}},\hslash _{2i+1})^{\eta }. $$

Similarly, if j is even, we have

$$ \sigma (\hslash _{2\grave{\imath}+2},\hslash _{2\grave{\imath}+3})< \sigma (\hslash _{2\grave{\imath}+1},\hslash _{2i+2})^{\eta }. $$

Now, we have

σ( j , j + 1 )<σ ( j 1 , j ) η for all jN.


$$\begin{aligned} \sigma (\hslash _{j},\hslash _{j+1}) < &\sigma ( \hslash _{j-1}, \hslash _{j} ) ^{\eta }< \sigma ( \hslash _{j-2},\hslash _{j-1} ) ^{\eta ^{2}}< \sigma ( \hslash _{j-3},\hslash _{j-2} ) ^{\eta ^{3}} \\ < &\sigma ( \hslash _{j-4},\hslash _{j-3} ) ^{\eta ^{4}}< \cdot \ldots \cdot < \sigma ( \hslash _{0}, \hslash _{1} ) ^{j}. \end{aligned}$$


$$\begin{aligned} \sigma (\hslash _{0},\hslash _{j+1}) \leq &\sigma ( \hslash _{0}, \hslash _{1})^{\ell }\cdot \sigma (\hslash _{1},\hslash _{2})^{\ell ^{2}} \cdot \sigma (\hslash _{2},\hslash _{3})^{\ell ^{3}} \cdot \ldots \cdot \sigma (\hslash _{j},\hslash _{j+1})^{\ell ^{j+1}} \\ \leq &\sigma (\hslash _{0},\hslash _{1})^{\ell } \cdot \sigma ( \hslash _{0},\hslash _{1})^{\eta \ell ^{2}} \cdot \sigma (\hslash _{0}, \hslash _{1})^{\ell ^{3}\eta ^{2}} \cdot \sigma (\hslash _{0},\hslash _{1})^{ \ell ^{4}\eta ^{3}} \\ &{}\cdot \sigma (\hslash _{0},\hslash _{1})^{\ell ^{5}\eta ^{4}} \cdot \ldots \cdot \sigma (\hslash _{0},\hslash _{1})^{\ell ^{j+1}\eta ^{j}} \\ \leq &\sigma (\hslash _{0},\hslash _{1})^{\ell (\eta ^{0}+\ell \eta + \ell ^{2}\eta ^{2}+\ell ^{3}\eta ^{3}+\cdots +\ell ^{j}\eta ^{j})} \\ \leq &\sigma (\hslash _{0},\hslash _{1})^{\ell ( \frac{1}{1-\ell \eta })}. \end{aligned}$$

Then, we have

$$ \sigma (\hslash _{0},\hslash _{j+1})\leq r^{ \frac{1-l(\eta )\times l}{l\times 1-l(\eta )}}\leq r, $$

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 nN. Also, \(\alpha (\hslash _{n},\hslash _{n+1})\geq 1\) for all nN{0}. Now,

σ( n , n + 1 )<σ ( 0 , 1 ) η n for all nN.

Now, for any positive integers m, n (\(n>m\)), we have

$$\begin{aligned}& \begin{aligned} \sigma (\hslash _{m},\hslash _{n}) & \leq \sigma (\hslash _{m}, \hslash _{m+1})^{\ell } \cdot \sigma (\hslash _{m+1},\hslash _{m+2})^{ \ell ^{2}} \cdot \sigma (\hslash _{m+2},\hslash _{m+3})^{\ell ^{3}} \\ &\quad {}\cdot \ldots \cdot \sigma (\hslash _{n-1},\hslash _{n})^{\ell ^{n}} \\ &\leq \sigma (\hslash _{0},\hslash _{1})^{\ell \eta ^{m}} \cdot \sigma (\hslash _{0},\hslash _{1})^{\ell ^{2}\eta ^{m+1}} \cdot \ldots \\ &\quad {}\cdot\sigma (\hslash _{0},\hslash _{1})^{\ell ^{n}\eta ^{n-1}} \quad \text{(by (2.7))} \\ &\leq \sigma (\hslash _{0},\hslash _{1})^{(\ell \eta ^{m}+\ell ^{2} \eta ^{m+1}+\ell ^{3}\eta ^{m+2}+\cdots +\ell ^{n}\eta ^{n-1})} \\ &< \sigma (\hslash _{0},\hslash _{1})^{(\ell \eta ^{m}+\ell ^{2}\eta ^{m+1}+ \ell ^{3}\eta ^{m+2}+\cdots )}, \end{aligned} \\& \sigma (\hslash _{m},\hslash _{n}) < \sigma (\hslash _{0},\hslash _{1})^{(\frac{\ell \eta ^{m}}{1-\ell \eta })}. \end{aligned}$$

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

$$ \lim_{n\rightarrow \infty }\sigma (\hslash _{n},{ \mu})=1. $$


$$ \sigma ({\mu},\mathcal{H}{\mu})\leq \sigma ({\mu},\hslash _{2n+1})^{\ell } \cdot \sigma (\hslash _{2n+1},\mathcal{H}{ \mu})^{\ell }. $$

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

$$ \sigma ({\mu},\mathcal{H}{\mu})\leq \sigma ({\mu},\hslash _{2n+1})^{\ell } \cdot H_{\sigma }({\check{S}}\hslash _{2n}, \mathcal{H}{\mu})^{\ell } $$

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

$$\begin{aligned} \sigma ({\mu},\mathcal{H}{\mu}) < & \sigma ({\mu},\hslash _{2n+1})^{\ell }. \left( \max \begin{Bmatrix} \sigma (\hslash _{2n},{ \mu}),\sigma (\hslash _{2n},\mathcal{H}{ \mu}), \\ \sigma (\hslash _{2n+1},\mathcal{H}{\mu}), \\ \frac{\sigma ( \hslash _{2n},\hslash _{2n+1} ) .\sigma ( \hslash _{2n+1},\mathcal{H}{\mu} ) }{1+\sigma ( \hslash _{2n},\hslash _{2n+1} ) }\end{Bmatrix} ^{\kappa } \right) ^{\ell } \\ < &\sigma ({\mu},\hslash _{2n+1})^{\ell } \cdot \bigl(\max \bigl\{ \sigma (\hslash _{2n},{ \mu}),\sigma (\hslash _{2n+1},\mathcal{H}{ \mu})\bigr\} \bigr)^{\ell \kappa }. \end{aligned}$$

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,

$$ \sigma ({\mu},{\mu})\leq {}\bigl[ \sigma ({\mu},{\check{S}}{\mu}).\sigma ({\check{S}}{\mu},{\mu}) \bigr]^{\ell }. $$

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

$$ \sigma (\grave{\imath},j)=e^{ \vert i-j \vert ^{2}}\quad \text{for all }i,j \in \Lambda . $$

Define the mappings \({\check{S}},\mathcal{H}:\Lambda \times \Lambda \rightarrow \wp ( \Lambda )\) by

$$ {\check{S}}\hslash =\textstyle\begin{cases} {}[ \frac {\hslash }{5},\frac {2}{5}\hslash ]&\text{if }\hslash \in {}[ 0,15]\cap \Lambda, \\ {}[ 2\hslash ,3\hslash ]&\text{if }\hslash \in (15,\infty )\cap \Lambda \end{cases} $$


$$ \mathcal{H}\hslash =\textstyle\begin{cases} {}[ \frac {\hslash }{7},\frac {3}{7}\hslash ]&\text{if }\hslash \in {}[ 0,15]\cap \Lambda, \\ {}[ 4\hslash ,5\hslash ]&\text{if }\hslash \in (15,\infty )\cap \Lambda .\end{cases} $$

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

$$ \sigma (\hslash _{0},{\check{S}}\hslash _{0})=e^{ \vert 1- \frac{1}{5} \vert ^{2}}< 81^{\frac{9}{46}}. $$

Consider the mapping \(\alpha :\Lambda \times \Lambda \rightarrow {}[ 0,\infty )\) by

$$ \alpha (a,b)=\left \{\textstyle\begin{array}{@{}l@{\quad}l@{}} 1&\text{if }a>b \\ \frac{1}{2}&\text{otherwise}\end{array}\displaystyle \right \}. $$

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

$$\begin{aligned} H_{\sigma }({\check{S}}\hslash ,\mathcal{H}v) =&\max \Bigl\{ \sup _{a\in { \check{S}}\hslash }\sigma (a,\mathcal{H}v),\sup_{b\in \mathcal{H}v} \sigma ({ \check{S}}\hslash ,b)\Bigr\} \\ =&\max \biggl\{ \sup_{a\in S\hslash }\sigma \biggl(a,\biggl[ \frac{v}{7},\frac{3v}{7}\biggr]\biggr),\sup _{b\in Tv}\sigma \biggl(\biggl[\frac{\hslash }{5}, \frac{2\hslash }{5}\biggr],b\biggr) \biggr\} \\ =&\max \biggl\{ \sigma \biggl(\frac{2\hslash }{5},\biggl[\frac{v}{7}, \frac{3v}{7}\biggr]\biggr), \sigma \biggl(\biggl[\frac{\hslash }{5},\frac{2\hslash }{5}\biggr],\frac{3v}{7}\biggr) \biggr\} \\ =&\max \biggl\{ \sigma \biggl(\frac{2\hslash }{5},\frac{v}{7} \biggr),\sigma \biggl( \frac{\hslash }{5},\frac{3v}{7} \biggr)\biggr\} \\ =&\max \bigl\{ e^{ \vert \frac{2\hslash }{5}-\frac{v}{7} \vert ^{2}},e^{ \vert \frac{\hslash }{5}-\frac{3v}{7} \vert ^{2}} \bigr\} \\ < &\max \begin{pmatrix} e^{ \vert \hslash -v \vert ^{2}},e^{ \vert \hslash - \frac{\hslash }{5} \vert ^{2}},e^{ \vert v-\frac{v}{7} \vert ^{2}}, \\ \frac{e^{ \vert \hslash -\frac{\hslash }{5} \vert ^{2}\cdot }e^{ \vert v-\frac{v}{7} \vert ^{2}}}{1+e^{ \vert \hslash -\frac{\hslash }{5} \vert ^{2}}}\end{pmatrix} ^{\kappa } \\ < &\max \begin{pmatrix} \sigma (\hslash ,v), \frac{\sigma (\hslash ,[\frac{\hslash }{5},\frac{2}{5}\hslash ]).\sigma (v,[\frac{v}{7},\frac{3}{7}v])}{1+\sigma (\hslash ,v)}, \\ \sigma (\hslash ,[\frac{\hslash }{5},\frac{2}{5}\hslash ]),\sigma ( \hslash ,[\frac{v}{7},\frac{3}{7}v])\end{pmatrix} ^{\kappa }. \end{aligned}$$


$$ H_{\sigma }({\check{S}}\hslash ,\mathcal{H}v))< \bigl(\nabla (\hslash ,v) \bigr), $$

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

$$\begin{aligned}& H_{\sigma }({\check{S}}\hslash ,\mathcal{H}v)e^{H_{\sigma }({ \check{S}}\hslash ,\mathcal{H}v)-\nabla (\hslash ,v)+\tau } \leq \nabla ( \hslash ,v), \\& \ln \bigl(H_{\sigma }({\check{S}}\hslash ,\mathcal{H}v) \bigr)+H_{\sigma }({ \check{S}}\hslash ,\mathcal{H}v)+\tau \leq \ln \bigl(\nabla (\hslash ,v)\bigr)+\nabla ( \hslash ,v)), \\& \tau +\mathcal{F}\bigl(H_{\sigma }({\check{S}}\hslash ,\mathcal{H}v) \bigr)+H_{ \sigma }({\check{S}}\hslash ,\mathcal{H}v) \leq \mathcal{F}\bigl(\nabla (\hslash ,v)\bigr)+ \nabla (\hslash ,v). \end{aligned}$$

Note that, taking 17, \(18\in \Lambda \), then \(\alpha (17,18)\geq 1\). Now, we have

$$ \tau +\mathcal{F}\bigl(H_{\sigma }({\check{S}}18,\mathcal{H}17) \bigr)+H_{ \sigma }({\check{S}}18,\mathcal{H}17)>\mathcal{F} \bigl(\nabla (18,17)\bigr))+\nabla (18,17). $$

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:

$$ \tau +\mathcal{F}\bigl(\sigma ({\check{S}}e,\mathcal{H}y)\bigr)\leq \mathcal{F} \bigl( \nabla (e,y)\bigr), $$

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,

$$ \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)}\), \(\alpha (\hslash _{n},\hslash _{n+1})\geq 1\) for all nN 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:

$$ \tau +\mathcal{F}\bigl(H_{\sigma }({\check{S}}e,{\check{S}}y)\bigr)\leq \mathcal{F}\bigl(\nabla (e,y)\bigr), $$

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,

$$ \sigma (\hslash _{0},{\check{S}}\hslash _{0})\leq r^{ \frac{1-\ell \eta }{\ell }}. $$

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 nN 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)}\).

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:

  1. (i)

    Š, \(\mathcal{H}\) are dominated on \(\overline{\beta _{\sigma _{m}}(\hslash _{0},r)}\cap \{\mathcal{H}{ \check{S}}(\hslash _{n})\}\).

  2. (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), $$

    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\).

  3. (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)}\).


Define the function \(\alpha :\Lambda \times \Lambda \rightarrow {}[ 0,\infty )\) by

$$ \alpha (x,q)=\textstyle\begin{cases} 1,&\text{if }x\in \overline{\beta _{\sigma _{m}}(\hslash _{0},r)}, (x,q)\in \Xi (\zeta ), \\ 0,& \text{otherwise}. \end{cases} $$

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

$$ \tau +\mathcal{F}\bigl(H_{\sigma }({\check{S}}x,\mathcal{H}q)\bigr)\leq \mathcal{F}\bigl(\nabla (x,q)\bigr) $$

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\). □

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 F: R + R strictly increasing so that satisfying the following condition:

$$ \tau +\mathcal{F}\bigl(\sigma ({\check{S}}x,\mathcal{H}q)\bigr)\leq \mathcal{F} \bigl( \nabla (x,q)\bigr), $$

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 Λ.


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:

$$\begin{aligned}& f(k)= \int _{0}^{k}H(k,h,f)\,dh , \end{aligned}$$
$$\begin{aligned}& \varkappa (k)= \int _{0}^{k}G(k,h,\varkappa ))\,dh \end{aligned}$$

for all \(k\in {}[ 0,1]\) and H, G are mappings from [0,1]×[0,1]×£([0,1], R + ) to R. We find the solution of (4.2) and (4.3). Let Λ=£([0,1], R + ) be the set of all continuous functions on \([0,1]\). For f£([0,1], R + ), 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

$$ \sigma _{\tau }(f,\varkappa )= \Bigl[ \sup_{k\in {}[ 0,1]} \bigl\{ e^{ \vert f(k)-\varkappa (k) \vert }e^{-\tau k}\bigr\} \Bigr] ^{2}=e^{\Vert f-\varkappa \Vert _{\tau }^{2}} $$

for all f,ϰ£([0,1], R + ), with these settings, (£([0,1], R + ), σ τ ) 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:

  1. (i)

    H,G:[0,1]×[0,1]×£([0,1], R + )R;

  2. (ii)


    $$\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 f,ϰ£([0,1],R), 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 £([0,1], R + ).


By assumption (ii)

$$\begin{aligned} e^{ \vert {\check{S}}f-\mathcal{H}\varkappa \vert ^{2}} =& \int _{0}^{k}e^{ \vert H(k,h,f)-G(k,h,\varkappa ) \vert ^{2}}\,dh \\ \leq & \int _{0}^{k} \frac{\tau \nabla (f,\varkappa )(e^{\nabla (f,\varkappa )-e^{ \Vert {\check{S}}f-\mathcal{H}x \Vert _{\tau }^{2}}})}{e^{\tau (1-h)}}\,dh \\ \leq & \frac{\tau \nabla (f,\varkappa )(e^{\nabla (f,\varkappa )-e^{ \Vert {\check{S}}f-\mathcal{H}x \Vert _{\tau }^{2}}})}{e^{\tau }} \int _{0}^{k}e^{\tau h}\,dh \\ \leq & \frac{\nabla (f,\varkappa )(e^{\nabla (f,\varkappa )-e^{ \Vert {\check{S}}f-\mathcal{H}x \Vert _{\tau }^{2}}})}{e^{\tau }}e^{ \tau k}. \end{aligned}$$

This implies

$$\begin{aligned}& e^{ \vert {\check{S}}f-\mathcal{H}\varkappa \vert ^{2}}e^{- \tau k}\leq \frac{e^{\nabla (f,\varkappa )-e^{ \Vert {\check{S}}f-\mathcal{H}x \Vert _{\tau }^{2}}}}{e^{\tau }}, \\& \frac{e^{ \Vert {\check{S}}f-\mathcal{H}\varkappa \Vert _{\tau }^{2}}}{\nabla (f,\varkappa )} \leq \frac{e^{\nabla (f,\varkappa )-e^{ \Vert {\check{S}}f-\mathcal{H}x \Vert _{\tau }^{2}}}}{e^{\tau }}, \\& \frac{e^{ \Vert {\check{S}}f-\mathcal{H}\varkappa \Vert _{\tau }^{2}}}{e^{\nabla (f,\varkappa )-e^{ \Vert {\check{S}}f-\mathcal{H}x \Vert _{\tau }^{2}}}}\leq \frac{\nabla (f,\varkappa )}{e^{\tau }}. \end{aligned}$$

Taking ln both sides, we have

$$ \ln \bigl(e^{ \Vert {\check{S}}f-\mathcal{H}\varkappa \Vert _{ \tau }^{2}}\bigr)-\nabla (f,\varkappa )+e^{ \Vert {\check{S}}f- \mathcal{H}\varkappa \Vert _{\tau }^{2}}\leq \ln \bigl(\nabla (f,\varkappa )\bigr)+ \ln e^{-\tau }, $$

which further implies

$$ \tau +\ln \bigl(e^{ \Vert {\check{S}}f-\mathcal{H}\varkappa \Vert _{\tau }^{2}}\bigr)+e^{ \Vert {\check{S}}f-\mathcal{H} \varkappa \Vert _{\tau }^{2}}\leq \ln \bigl(\nabla (f,\varkappa )\bigr)+ \nabla (f,\varkappa ). $$

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. □

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, £ A ˆ , \(\Omega \subseteq \Gamma \) and

σ : £ × Ω £ , , ϖ : £ × Ω R , L , M : £ × Ω × R R .

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:

$$\begin{aligned}& p(\vartheta )=\sup_{\vartheta \in \Omega }\bigl\{ \hslash (\vartheta , \Theta )+L\bigl(\vartheta ,\Theta ,p\bigl(\sigma (\vartheta ,\Theta )\bigr)\bigr)\bigr\} , \end{aligned}$$
$$\begin{aligned}& q(\vartheta )=\sup_{\Theta \in \Omega }\bigl\{ \varpi (\vartheta ,\Theta )+M\bigl( \vartheta ,\Theta ,q\bigl(\sigma (\vartheta ,\Theta )\bigr)\bigr)\bigr\} , \end{aligned}$$

for ϑ£. We want to show that equations (5.1) and (5.2) unique solution. Suppose R(£) represents the class of all positive valued functions on £. Consider,

$$ \sigma (\upsilon ,w)= \bigl\Vert e^{\upsilon -w} \bigr\Vert _{ \infty }^{2}=\sup_{\vartheta \in N}e^{ \vert \upsilon ( \vartheta ) -w ( \vartheta ) \vert ^{2}} $$

for all υ,wR(£), (R(£),σ) becomes a complete BMMS. Assume that:


L, M, , and ϖ are bounded.


For ϑ£, υR(£), let P, A ˆ :R(£)R(£) 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}$$
$$\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}$$

Furthermore, for each (ϑ,Θ)£×Ω, υ,wR(£), t£ 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) $$


$$ \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 R(£).


Take any \(c>0\). From (5.4) and (5.5), there are υ 1 , υ 2 R(£), and \(\Theta _{1},\Theta _{2}\in \Omega \) such that

$$\begin{aligned}& (P\upsilon _{1})< \hslash (\vartheta ,\Theta _{1})+L \bigl(\vartheta , \Theta _{1},\upsilon _{1}\bigl( \sigma (\vartheta ,\Theta _{1})\bigr)\bigr)+c, \end{aligned}$$
$$\begin{aligned}& ({\hat{A}}\upsilon _{2})< \hslash (\vartheta ,\Theta _{2})+M\bigl( \vartheta ,\Theta _{2},\upsilon _{2}\bigl(\sigma (\vartheta ,\Theta _{2})\bigr) \bigr)+c. \end{aligned}$$

Using the definition of supremum, we get

$$\begin{aligned}& (P\upsilon _{1})\geq \hslash (\vartheta ,\Theta _{2})+L\bigl(\vartheta , \Theta _{2},\upsilon _{1}\bigl(\sigma (\vartheta ,\Theta _{2})\bigr)\bigr), \end{aligned}$$
$$\begin{aligned}& ({\hat{A}}\upsilon _{2})\geq \hslash (\vartheta ,\Theta _{1})+M\bigl( \vartheta ,\Theta _{1},\upsilon _{2}\bigl(\sigma (\vartheta ,\Theta _{1})\bigr)\bigr). \end{aligned}$$

Then, from (5.6), (5.7), and (5.10), we have

$$\begin{aligned}& e^{ \vert (P\upsilon _{1})(\vartheta )-({\hat{A}}\upsilon _{2})( \vartheta ) \vert ^{2}} \\& \quad \leq e^{ \vert L(\vartheta ,\Theta _{1},\upsilon _{1}(\sigma ( \vartheta ,\Theta _{1})))-M(\vartheta ,\Theta _{1},\upsilon _{2}( \sigma (\vartheta ,\Theta _{1}))) \vert }+c \\& \quad \leq e^{ \vert L(\vartheta ,\Theta _{1},\upsilon _{1}(\sigma ( \vartheta ,\Theta _{1})))-M(\vartheta ,\Theta _{1},\upsilon _{2}( \sigma (\vartheta ,\Theta _{1}))) \vert ^{2}}+c \\& \quad \leq \nabla (\upsilon ,w) \bigl(e^{\nabla (\upsilon ,w)-e^{{ \vert (P \upsilon _{1})(\vartheta )-({\hat{A}}\upsilon _{2})(\vartheta ) \vert ^{2}-\tau }}}\bigr) \\& \quad \leq \nabla (\upsilon ,w)e^{-\tau }\bigl(e^{\nabla (\upsilon ,w)-e^{{ \vert (P\upsilon _{1})(\vartheta )-({\hat{A}}\upsilon _{2})( \vartheta ) \vert ^{2}}}} \bigr)+c. \end{aligned}$$

Since, \(c>0\) is arbitrary, we obtain

$$\begin{aligned}& e^{ \vert P\upsilon _{1}(\vartheta )-{\hat{A}}\upsilon _{2}( \vartheta ) \vert ^{2}} \leq \nabla (\upsilon ,w)e^{-\tau } \bigl(e^{ \nabla (\upsilon ,w)-e^{{ \vert (P\upsilon _{1})(\vartheta )-({ \hat{A}}\upsilon _{2})(\vartheta ) \vert ^{2}}}}\bigr), \\& e^{\tau }e^{ \vert P\upsilon _{1}(\vartheta )-{\hat{A}}\upsilon _{2}( \vartheta ) \vert ^{2}} \leq \nabla (\upsilon ,w)e^{\nabla ( \upsilon ,w)-e^{{ \vert (P\upsilon _{1})(\vartheta )-({\hat{A}}\upsilon _{2})(\vartheta ) \vert ^{2}}}}. \end{aligned}$$

It implies that,

$$ \tau +\ln \bigl(e^{ \vert P\upsilon _{1}(\vartheta )-{\hat{A}} \upsilon _{2}(\vartheta ) \vert ^{2}}\bigr)+e^{ \vert P \upsilon _{1}(\vartheta )-{\hat{A}}\upsilon _{2}(\vartheta ) \vert ^{2}}\leq \ln \bigl( \nabla ( \upsilon ,w)\bigr)+\nabla (\upsilon ,w)). $$

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). □


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. [2325], 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.


  1. 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)

    MathSciNet  Article  Google Scholar 

  2. Acar, Ö., Durmaz, G., Minak, G.: Generalized multivalued F-contractions on complete metric spaces. Bull. Iranian Math. Soc. 40, 1469–1478 (2014)

    MathSciNet  MATH  Google Scholar 

  3. Ali, U., Kamran, T., Kurdi, A.: Fixed point in b-multiplicative metric spaces. UPB Sci. Bull., Ser. A 79(3), 15–20 (2017)

    MathSciNet  MATH  Google Scholar 

  4. 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)

    MathSciNet  Article  Google Scholar 

  5. Asl, J.H., Rezapour, S., Shahzad, N.: On fixed points of αψ contractive multifunctions. Fixed Point Theory Appl. 2012, Paper No. 212 (2012)

    MathSciNet  Article  Google Scholar 

  6. Banach, S.: Sur les opérations dans les ensembles abstraits et leur application aux equations itegrales. Fundam. Math. 3, 133–181 (1922)

    Article  Google Scholar 

  7. Bellman, R., Lee, E.S.: Functional equations in dynamic programming. Aequ. Math. 17, 1–18 (1978)

    MathSciNet  Article  Google Scholar 

  8. Bhakta, T.C., Mitra, S.: Some existence theorems for functional equations arising in dynamic programming. J. Math. Anal. Appl. 98, 348–362 (1984)

    MathSciNet  Article  Google Scholar 

  9. Bojor, F.: Fixed point theorems for Reich type contraction on metric spaces with a graph. Nonlinear Anal. 75, 3895–3901 (2012)

    MathSciNet  Article  Google Scholar 

  10. 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)

    MathSciNet  MATH  Google Scholar 

  11. 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)

    MathSciNet  Article  Google Scholar 

  12. Florack, L., Assen, H.V.: Multiplicative calculus in biomedical image analysis. J. Math. Imaging Vis. 42, 64–75 (2012)

    MathSciNet  Article  Google Scholar 

  13. 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)

    MathSciNet  MATH  Google Scholar 

  14. 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)

    MathSciNet  Article  Google Scholar 

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

    MathSciNet  Article  Google Scholar 

  16. 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)

    MathSciNet  Article  Google Scholar 

  17. 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)

    Article  Google Scholar 

  18. 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)

    MathSciNet  Article  Google Scholar 

  19. Mustafa, Z., Jaradat, M.M.M.: Some remarks concerning \(D^{\ast } \)-metric spaces. J. Math. Comput. Sci. 22(2), 128–130 (2021)

    Article  Google Scholar 

  20. Nadler, S.B.: Multivalued contraction mappings. Pac. J. Math. 30, 475–488 (1969)

    Article  Google Scholar 

  21. Ozavsar, M., Cervikel, A.C.: Fixed points of multiplicative contraction mappings on multiplicative metric spaces (2012). arXiv:1205.5131 [math.GM]

  22. 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)

    MathSciNet  MATH  Google Scholar 

  23. 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)

    MathSciNet  Article  Google Scholar 

  24. 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)

    Article  Google Scholar 

  25. 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)

    MathSciNet  Article  Google Scholar 

  26. 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)

    MATH  Google Scholar 

  27. Senapati, T., Dey, L.K.: Common fixed point theorems for multivalued \(\beta _{\ast }\)ψ-contractive mappings. Thai J. Math. 15(3), 747–759 (2017)

    MathSciNet  MATH  Google Scholar 

  28. Sgroi, M., Vetro, C.: Multi-valued F-contractions and the solution of certain functional and integral equations. Filomat 27(7), 1259–1268 (2013)

    MathSciNet  Article  Google Scholar 

  29. Shoaib, A., Saleemullah, M.: Some fixed point results in b-multiplicative metric space. TWMS J. Appl. Eng. Math. 10(4), 846–856 (2020)

    Google Scholar 

  30. Tiammee, J., Suantai, S.: Coincidence point theorems for graph-preserving multi-valued mappings. Fixed Point Theory Appl. 2014, Paper No. 70 (2014)

    MathSciNet  Article  Google Scholar 

  31. 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)

    Article  Google Scholar 

Download references


The authors are grateful to the Basque Government for its support of this work through grant IT1207-19.


Basque Government through grant IT1207-19.

Author information

Authors and Affiliations



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

Correspondence to Tahair Rasham.

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

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).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


  • 46Txx
  • 47H04
  • 47H10
  • 54H25


  • Fixed point
  • Generalized F-contraction
  • Closed ball
  • \(\alpha _{\ast }\)-dominated multivalued mappings
  • Graph contraction
  • Integral equations
  • Functional equations