1 Introduction and preliminaries
In a broad range of mathematical, computing, economic, and engineering problems, the existence of a theoretical or practical solution can be compared to the occurrence of a fixed point (abbreviated as F\(\mathscr{P}\)). F\(\mathscr{P}\) theory is a mixture of several branches of mathematics, such as mathematical analysis, general topology, and functional analysis. These branches provide numerous applications in pure and practical mathematics, including computer science, engineering, fuzzy theory, and game theory. Scientists widely use F\(\mathscr{P}\) theory techniques to demonstrate the presence of solutions to problems in science that involve integral equations or differential equations. In 1922, Banach [10] proved a significant result in metric F\(\mathscr{P}\) theory, which is now famously known as the Banach contraction principle. Due to its profound significance, well-known authors have presented various formulations and interpretations of his seminal result.
One of most important generalization of metric space is the concept of multiplicative metric spaces established by Ozavsar and Cevikel [27]. They proved some new F\(\mathscr{P}\) results fulfilling contractive mappings in such spaces and a few related topological settings. In 2017, Ali et al. [3] introduced the conception of b-multiplicative metric space (bMMS) and achieved some new F\(\mathscr{P}\) results with graph structure and also use their main theorem to achieve unique solution of Fredholm type multiplicative nonlinear integral equations. Recently, Rasham et al. [34] introduced novel F\(\mathscr{P}\) theorems on bMMS with applications to non-linear integral and functional equations.
Anzeige
Wardowski [43] established an extension of Banach’s contraction result and named F-contraction. After this, Acar et al. [1], Aydi et al. [8], Hussain et al. [14], Karapinar et al. [18], Padcharoen et al. [28] and Piri et al. [29] introduced novel extensions of F-contraction with significant applications. Weiss [44] and Butnariu [11] introduced the notion of fuzzy mappings and proved many important results in the field theory of F\(\mathscr{P}\).
Heilpern [13] demonstrated a significant F\(\mathscr{P}\) hypothesis for fuzzy contractions that become broader then Nadler’s result [24]. Motivated from Heilpern’s outcomes, F\(\mathscr{P}\) theory for fuzzy contractive mappings by using the Hausdorff distance spaces has become more significant in different fields by a large number of authors [30, 35, 40]. In addition, Rasham et al. [32] established F\(\mathscr{P}\) problems for families of fuzzy-dominated local contractions in b-metric-like spaces and use their main hypothesis to obtain the solution of integral equations. Further results in this direction can be found in [6, 16, 36, 37].
This article presents several generalized F\(\mathscr{P}\) theorems for two separate families of fuzzy-dominated maps that satisfy a novel generalized locally contraction on a closed ball in complete bMMS. Additionally, we demonstrate new F\(\mathscr{P}\) theorems for families of fuzzy-dominated mappings on a closed ball in ordered complete bMMS. Furthermore, we introduce a new concept for two families of fuzzy graph-dominated mappings on a closed ball in these spaces and present novel findings for graphic contraction endowed with graphic structure. Finally, we provide evidence of the originality and impact of our new findings by demonstrating applications to obtain the common solution of integral and fractional differential equations.
Let us begin by presenting our main result.
Anzeige
Definition 1.1
[3] Let \(\mathcal{K}\) be a nonempty set and suppose that \(\mathfrak{m} \geq 1\). If the following properties are satisfied, a function \(\mathcal{d}: \mathcal{K} \times \mathcal{K} \rightarrow [1,\infty )\) is referred to as a bMMS with coefficient \(\mathfrak{m}\): The triplet (\(\mathcal{K}\), \(\mathcal{d}\), \(\mathfrak{m} \)) is called a b-multiplicative metric space shortly as bMMS. Let \(c\in \mathcal{K}\) and \(\mathcal{r} >0\), \(\overline{B_{\mathcal{d} \mathfrak{m}} (\mathfrak{m}_{0},\mathcal{r} )} = \{ \mathrm{g} \in \mathcal{K}: \mathcal{d} ( \mathcal{e},\mathcal{z} ) \leq \mathcal{r} \}\) be a closed ball in bMMS.
i.
\(\mathcal{d} ( \mathcal{e},\mathcal{f} ) >1 \) for all \(\mathcal{e},\mathcal{f}\in \mathcal{K}\) with \(\mathcal{e}\neq \mathcal{f}\) and \(\mathcal{d} ( \mathcal{e},\mathcal{f} ) =1 \), iff \(\mathcal{e}=\mathcal{f}\);
ii.
\(\mathcal{d} ( \mathcal{e},\mathcal{f} ) =\mathcal{d} ( \mathcal{f},\mathcal{e} ) \) for all \(\mathcal{e},\mathcal{f}\in \mathcal{K}\);
iii.
\(\mathcal{d} ( \mathcal{e},\mathcal{z} ) \leq [ \mathcal{d} ( \mathcal{e},\mathcal{f} ) \boldsymbol{\cdot}d(f,z ) ]^{\mathfrak{m}}\) for all \(\mathcal{e},\mathcal{f},\mathcal{z}\in \mathcal{K}\);
Example 1.2
[3] Let \(\mathcal{K} = [0,\infty )\) and a function \(\mathcal{d}: \mathcal{K} \times \mathcal{K} \rightarrow [ 1,\infty ) \). where \(a>1\). Then, \(\mathcal{d}\) is a bMMS on \(\mathcal{K}\) with \(\mathfrak{m} =2\). It is noted here that \(\mathcal{d}\) is certainly not a multiplicative metric on \(\mathcal{K}\). Taking \(a=3\), \(\mathcal{r}= 3^{4}\) and \(t=1\), then \(\overline{B_{\mathcal{d} \mathfrak{m}} (\mathfrak{m}_{0},\mathcal{r} )} =[0,3]\) is the closed ball in \(\mathcal{K}\).
$$ \mathcal{d} ( s,t ) = a^{(s- t )^{2}}, $$
Definition 1.3
[3] Let \(( \mathcal{K}, \mathcal{d})\) be a bMMS.
i.
A sequence \(\{ s_{n} \}\) in \(\mathcal{K}\) is convergent if a point \(s\in \mathcal{K} \) exist such that \(\mathcal{d} ( s_{n},s ) \rightarrow 1 \) as \(n\rightarrow +\infty \).
ii.
A sequence \(\{ s_{n} \}\) is said b-multiplicative Cauchy iff \(\mathcal{d} ( s_{m}, s_{n} ) \rightarrow 1\) as \(m, n\rightarrow +\infty \).
iii.
Every multiplicative Cauchy sequence in \(\mathcal{K}\) converges to some \(s\in \mathcal{K}\), then \((\mathcal{K}, \mathcal{d})\) is said to be complete.
Definition 1.4
[34] Let \(\mathcal{B}\) be a non-empty subset of \(\mathcal{K}\) and \(a\in \mathcal{K} \). Then, \(f_{0} \in \mathcal{B}\) is a best approximation in \(\mathcal{B}\) if Here \(\mathcal{P}( \mathcal{K} )\) represents the set of all compact subsets of \(\mathcal{K}\).
$$ \mathcal{d} ( a, \mathcal{B} ) = \mathcal{d} ( a, f_{0} ), \quad \text{where } \mathcal{d} ( a, \mathcal{B} ) = \inf_{f_{0} \in \mathcal{B}} \mathcal{d} ( a,f ). $$
Definition 1.5
[34] Suppose \(H_{\mathcal{d}}:\mathcal{P}( \mathcal{K} )\times \mathcal{P}( \mathcal{K} )\rightarrow R^{+}\) be a function, defined by Then, \(H_{\mathcal{d}}\) is said as Hausdorff b-multiplicative metric on \(\mathcal{P}( \mathcal{K} )\).
$$ H_{\mathcal{d}} ( \mathcal{L},\mathcal{Z} ) = \max \Bigl\{ \sup _{\delta \in \mathcal{L}} \mathcal{d} ( \delta , \mathcal{Z} ), \sup _{\mathcal{k}\in \mathcal{Z}} \mathcal{d} ( \mathcal{L},\mathcal{k} ) \Bigr\} . $$
Definition 1.6
[35] Let \(\mathcal{K} \neq \{ \phi \}\) and take \(\mathcal{Q}: \mathcal{K} \rightarrow \mathcal{P}( \mathcal{K} )\) as a mapping, \(\mathcal{T} \subseteq \mathcal{K}\) and \(\varphi : \mathcal{K} \times \mathcal{K} \rightarrow [0,+\infty )\), and \(\mathcal{Q}\) is considered as \(\varphi _{*}\)-admissible on \(\mathcal{T}\), if
$$ \varphi _{*} ( \mathcal{Q} x, \mathcal{Q} y ) = \inf \bigl\{ \varphi ( x,y ):x\in \mathcal{Q} x,y\in \mathcal{Q} y \bigr\} \geq 1. $$
Definition 1.7
[35] Suppose \(\mathcal{K} \neq \{ \phi \}\) and \(\xi :\mathcal{K} \rightarrow \mathcal{P}( \mathcal{K} )\) is a mapping, \(\mathcal{N}\subseteq A\), and \(\varphi :\mathcal{K} \times \mathcal{K} \rightarrow [ 0,+\infty )\) is a function. If for each \(\mathfrak{e}\in \mathcal{O}\), then ξ is referred as \(\varphi _{*}\)-dominated mapping on \(\mathcal{N}\) if satisfies
$$ \varphi _{*} ( \mathfrak{e}, \xi \mathfrak{e} ) = \inf \bigl\{ \varphi ( \mathfrak{e}, m ):m\in \xi \mathfrak{e} \bigr\} \geq 1. $$
Definition 1.8
[43] Let \((\mathcal{K}, d)\) be a metric space. A map \(L: \mathcal{K}\rightarrow \mathcal{K}\) is known as an \(\mathcal{F}\)- contraction if there exists \(\tau >0\) so that for all \(\mathcal{d},\mathcal{e}\in \mathcal{K}\) with \(d(L \mathcal{d}, L \mathcal{e})> 0\), satisfying the inequality given as: where \(\mathcal{F}: \mathbb{R}_{+} \mathbb{\rightarrow R}\) fulfills the given assumptions:
$$ \tau + \mathcal{F} \bigl( d(L \mathcal{d}, L \mathcal{e}) \bigr) \leq \mathcal{F} \bigl( d ( \mathcal{d},\mathcal{e} ) \bigr), $$
i.
\(\mathcal{F} \) is strictly increasing function;
ii.
For each sequence \(\{ \gamma _{n} \}\) in \(\mathbb{R}_{+}\), so that \(\lim_{n\rightarrow +\infty} \gamma _{n} =0\), iff \(\lim_{n\rightarrow +\infty} \gamma _{n} =-\infty \);
iii.
\(\lim_{n\rightarrow +\infty} \gamma ^{\mathcal{b}} \mathcal{F} ( \gamma ) =0\), if there exists \(\mathcal{b} \in (0,1)\).
Example 1.9
[35] The function \(\varphi _{*}:A\times A\rightarrow [0,\infty )\) is given by Consider the mappings \(\mathrm{G},R:A\rightarrow \mathcal{P} ( A ) \) defined by respectively. Then G and R are \(\varphi _{*} \)-dominated, but they are not \(\varphi _{*} \)-admissible.
$$ \varphi _{*} ( p,q ) = \textstyle\begin{cases} 1& \text{if } p>q, \\ \frac{1}{4} & \text{if } p\leq q. \end{cases} $$
$$ \mathrm{G} s=[-4+s,-3+s]\quad \text{and}\quad Rm= [ -2+m,-1+m ], $$
Lemma 1.10
[34] Let \(( \mathcal{K}, \mathcal{d})\) be a bMMS and \(( \mathcal{P} ( \mathcal{K} ), H_{\mathcal{d}} )\) a dislocated Hausdorff bMMS on \(\mathcal{K}\). For each \(\mathrm{E}, \Gamma \in \mathcal{P} ( \mathcal{K} )\) for all \(\mathcal{g}\in \mathrm{E}\), and \(h_{\mathcal{g}} \in \Gamma \) such that \(\mathcal{d} ( \mathcal{g}, \Gamma ) =\mathcal{d} ( \mathcal{g}, h_{\mathcal{g}} )\), then, \(H_{\mathcal{d}} ( \mathrm{E}, \Gamma ) \geq \mathcal{d} ( \mathcal{g}, h_{\mathcal{g}} ) \) holds.
Definition 1.11
[45] \(F( \mathcal{K})\) represents the class of all fuzzy sets in \(\mathcal{K}\) and a fuzzy set H is the function from \(\mathcal{K}\) to \([0,1]\). If \(f\in \mathcal{K}\), then \(H(f)\) is called the grade of membership of the element f in H. Then, \([H]_{\gamma} \) denotes the γ-level set of H and is given as Now, we chose a subset from the family \(F( \mathcal{K})\) of all fuzzy sets, a sub family with finer restrictions, i.e., the class of subfamily of the approximate quantities, signified by \(W( \mathcal{K})\).
$$\begin{aligned}& [H]_{\gamma} = \bigl\{ f:H(f)\geq \gamma \bigr\} \quad \text{where } 0< \gamma \leq 1,\\& [H]_{0} = \overline{ \bigl\{ f:H (f )>0 \bigr\} }. \end{aligned}$$
Definition 1.12
[41] A subset H of fuzzy set \(\mathcal{K}\) is an approximate quantity iff its γ− level set is convex subset of \(\mathcal{K} \) for each \(\gamma \in [ 0,1 ]\) and \(\sup_{f\in \mathcal{K}} H ( f ) =1\).
Definition 1.13
[41] Let \(\mathcal{K}\) be a metric space and V an arbitrary set. A mapping from V to \(W ( \mathcal{K} )\) is said to be a fuzzy map. Then, the mapping \(Z:V\rightarrow W( \mathcal{K})\) is a fuzzy subset of \(V\times \mathcal{K}, Z:V\times \mathcal{K}\rightarrow [ 0,1 ]\), in reference to \(Z ( e,f ) =Z ( e ) ( f ) \).
Definition 1.14
[41] Let \(Z: \mathcal{K}\rightarrow W( \mathcal{K})\) be a fuzzy mapping. A point \(c\in \mathcal{K}\) is called a fuzzy F\(\mathscr{P}\) of Z if there exists \(0<\gamma \leq 1\) such that \(c\in [Zc]_{\gamma} \).
Example 1.15
[32] Let \(\mathcal{K} =\{0,1,2\}\). A fuzzy mapping \(Z: \mathcal{K}\rightarrow W( \mathcal{K})\) defined as For \(\gamma \in ( 0, \frac{2}{3} ]\), we have \([Zc]_{\gamma} =\{2\}\) for all \(c\in \mathcal{K}\). Here, \(2\in \mathcal{K}\) is a fuzzy F\(\mathscr{P}\) of the mapping Z.
$$ Z ( 0 ) ( c ) =Z ( 1 ) ( c ) =Z ( 2 ) ( c ) = \textstyle\begin{cases} \frac{2}{3},& \text{if } c=2, \\ 0,& \text{if } c=0,1. \end{cases} $$
Definition 1.16
[35] Let B be a non- empty set, \(R:A\rightarrow W ( A )\) a fuzzy mapping, \(V\subseteq B\) and \(\alpha :B\times B\rightarrow [ 0,+\infty ) \). Then R is called \(\alpha _{*} \)-dominated fuzzy mapping on V, if for each \(e\in V\) and \(0<\gamma \leq 1 \),
$$ \alpha _{*} \bigl( e, [ Re ]_{\gamma} \bigr) = \inf \bigl\{ \alpha ( e,l ):l\in [ Re ]_{\gamma} \bigr\} \geq 1. $$
We are now starting to present our main findings.
2 Main results
Let (\(\mathcal{K}\), \(\mathcal{d}\)) be a bMMS, \(\mathfrak{m}_{0} \in \mathcal{K}\) and \(\{ \mathcal{P}_{o}:o\in \mathbb{N}^{o} \}\) and \(\{ \mathcal{Q}_{e}:e\in \mathbb{N}^{e} \}\) are two families of fuzzy mappings on \(W( \mathcal{K}) \). Moreover, let \(\gamma ,\delta : \mathcal{K} \rightarrow [ 0,1 ]\) are two real functions. Let \(\mathfrak{m}_{1} \in [ \mathcal{P}_{1} \mathfrak{m}_{0} ]_{\gamma ( \mathfrak{m}_{0} )}\) be an element such that \(\mathcal{d} ( \mathfrak{m}_{0}, [ \mathcal{P}_{1} \mathfrak{m}_{0} ]_{ \gamma ( \mathfrak{m}_{0} )} ) =\mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} ) \). Let \(\mathfrak{m}_{2} \in [ \mathcal{Q}_{2} \mathfrak{m}_{1} ]_{\delta ( \mathfrak{m}_{1} )}\) be such that \(\mathcal{d} ( \mathfrak{m}_{1}, [ \mathcal{Q}_{2} \mathfrak{m}_{1} ]_{\delta ( \mathfrak{m}_{1} )} ) =\mathcal{d} ( \mathfrak{m}_{1}, \mathfrak{m}_{2} )\), where \(1\in \mathbb{N}^{o}\) and \(2\in \mathbb{N}^{e}\). Let \(\mathfrak{m}_{3} \in [ \mathcal{P}_{3} \mathfrak{m}_{2} ]_{\gamma ( \mathfrak{m}_{2} )}\) be such that \(\mathcal{d} ( \mathfrak{m}_{2}, [ \mathcal{P}_{3} \mathfrak{m}_{2} ]_{\gamma ( \mathfrak{m}_{2} )} ) = \mathcal{d} ( \mathfrak{m}_{2}, \mathfrak{m}_{3} )\) and \(\mathfrak{m}_{4} \in [ \mathcal{Q}_{4} \mathfrak{m}_{3} ]_{\delta ( \mathfrak{m}_{1} )}\) be such that \(\mathcal{d} ( \mathfrak{m}_{3}, [ \mathcal{Q}_{4} \mathfrak{m}_{4} ]_{\delta ( \mathfrak{m}_{4} )} ) =\mathcal{d} ( \mathfrak{m}_{3}, \mathfrak{m}_{4} )\), where \(3\in \mathbb{N}^{o}\) and \(4\in \mathbb{N}^{e}\). Proceeding with this cycle, we find a sequence \(\{ \mathfrak{m}_{n} \}\) of points in \(\mathcal{K}\) such that Also, \(\{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{n} ) \}\) be the representation of above sequence. We say that \(\{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{n} ) \}\) is a sequence in \(\mathcal{K}\) generated by \(\mathfrak{m}_{0}\). We define \(\mathcal{D} ( \mathcal{u},\mathcal{v} )\) as
$$\begin{aligned}& \mathfrak{m}_{2n+1} \in [ \mathcal{P}_{i} \mathfrak{m}_{2n} ]_{\gamma ( \mathfrak{m}_{2n} )}\quad \text{and}\quad \mathfrak{m}_{2n+2} \in [ \mathcal{Q}_{j} \mathfrak{m}_{2n+1} ]_{\delta ( \mathfrak{m}_{2n+1} )}, \\& \quad i\in \mathbb{N}^{o}\ ( \mathrm{odd}\ \mathrm{natuarals} ), {j}\in \mathbb{N}^{e} \ ( \mathrm{even}\ \mathrm{naturals} ) \text{ for } n = 0,1,2,\dots . \end{aligned}$$
$$\begin{aligned}& \mathcal{d} \bigl( \mathfrak{m}_{2n}, [ \mathcal{P}_{i} \mathfrak{m}_{2n} ]_{\gamma ( \mathfrak{m}_{2n} )} \bigr) = \mathcal{d} ( \mathfrak{m}_{2n}, \mathfrak{m}_{2n+1} ), \\& \mathcal{d} \bigl( \mathfrak{m}_{2n+1}, [ \mathcal{Q}_{j} \mathfrak{m}_{2n+1} ]_{\delta ( \mathfrak{m}_{2n+1} )} \bigr) = \mathcal{d} ( \mathfrak{m}_{2n+1}, \mathfrak{m}_{2n+2} ). \end{aligned}$$
$$ \mathcal{D}_{( o,e)} ( \mathcal{u},\mathcal{v} ) = \max \begin{Bmatrix} \mathcal{d} ( \mathcal{u},\mathcal{v} ),\mathcal{d} \bigl( \mathcal{u}, [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )} \bigr), \mathcal{d} \bigl( \mathcal{v}, [ \mathcal{Q}_{e} \mathcal{v} ]_{\delta ( \mathcal{v} )} \bigr) \\ \mathcal{d} \bigl( \mathcal{u}, [ \mathcal{Q}_{e} \mathcal{v} ]_{\delta ( \mathcal{v} )} \bigr),\mathcal{d} \bigl( \mathcal{v}, [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )} \bigr) \end{Bmatrix}^{\mathcal{k}}. $$
Theorem 2.1
Let \(( \mathcal{K}, \mathcal{d})\) be a complete bMMS. Suppose there exists a function \(\varphi : \mathcal{K} \times \mathcal{K} \rightarrow [0,+\infty )\). Let \(\mathfrak{m}_{0} \in \overline{B_{\mathcal{d} \mathfrak{m}} (\mathfrak{m}_{0},\mathcal{r} )} \subseteq \mathcal{K}\), \(\mathcal{r} >0\), and \(\{ \mathcal{P}_{o}:o\in \mathbb{N}^{o} \}\) and \(\{ \mathcal{Q}_{e}:e \in \mathbb{N}^{e} \}\) be two families \(\varphi _{*}\)-dominated fuzzy mappings from \(\mathcal{K}\) to \(W( \mathcal{K}) \) on \(\overline{B_{\mathcal{d} \mathfrak{m}} (\mathfrak{m}_{0},\mathcal{r} )}\). Suppose \(\tau >0\) there exists \(\mathcal{k}\in ( 0, \frac{1}{s} )\) with \(s>1\) and \(\mathcal{F}\) is a strictly increasing function satisfying: where \(\gamma ( \mathcal{u} ),\delta ( \mathcal{v} )\in (0,1]\) for each, \(\mathcal{u},\mathcal{v}\in \overline{B_{\mathcal{d} \mathfrak{m}} (\mathfrak{m}_{0},\mathcal{r} )} \cap \{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{n} ) \}\), \(\varphi ( \mathcal{u},\mathcal{v} ) \geq 1\), \(H_{\mathcal{d}} ( [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )},[ \mathcal{Q}_{e} \mathcal{v} ]_{\delta ( \mathcal{v})} ) >0\), such that Then, \(\{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{n} ) \}\) is a sequence in \(\overline{B_{\mathcal{d} \mathfrak{m}} (\mathfrak{m}_{0},\mathcal{r} )}\), \(\varphi ( m_{\mathfrak{n}}, m_{\mathfrak{n} +1} ) \geq 1 \) for all \(\mathfrak{n}\in \mathbb{N} \cup \{ 0 \}\) and \(\{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{n} ) \} \rightarrow \mathfrak{m}^{*} \in \overline{B_{\mathcal{d} \mathfrak{m}} (\mathfrak{m}_{0},\mathcal{r} )} \). Again, if inequality (2.1) holds for \(\mathfrak{m}^{*}\) in \(\overline{B_{\mathcal{d} \mathfrak{m}} (\mathfrak{m}_{0},\mathcal{r} )}\) with \(\varphi ( \mathfrak{m}_{\mathfrak{n}}, \mathfrak{m}^{*} ) \geq 1 \) or \(\varphi ( \mathfrak{m}^{*}, \mathfrak{m}_{\mathfrak{n}} ) \geq 1 \) for all naturals. Then, \(\mathcal{P}_{o}\) and \(\mathcal{Q}_{e}\) have common F\(\mathscr{P}\) \(\mathfrak{m}^{*}\) in \(\overline{B_{\mathcal{d} \mathfrak{m}} (\mathfrak{m}_{0},\mathcal{r} )}\) for all \(o\in \mathbb{N}^{o}\) and \(e\in \mathbb{N}^{e}\).
$$ \tau + \bigl( H_{\mathcal{d}} \bigl( [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )}, [ \mathcal{Q}_{e} \mathcal{v} ]_{\delta ( \mathcal{v} )} \bigr) \bigr) \leq \mathcal{F} \bigl( \mathcal{D}_{( o,e)} ( \mathcal{u},\mathcal{v} ) \bigr), $$
(2.1)
$$ \mathcal{d}\bigl( \mathfrak{m}_{0,} [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )} \bigr)\leq \mathcal{r}^{\frac{1-sh}{s}}. $$
(2.2)
Proof
Consider the sequence \(\{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{n} ) \}\). From (2.2), we obtain It follows that, Let \(\mathfrak{m}_{2} \cdots \mathfrak{m}_{\mathfrak{j}} \in \overline{B_{\mathcal{d} \mathfrak{m}} (\mathfrak{m}_{0},\mathcal{r} )}\) for some \(\mathfrak{j}\in \mathbb{N} \). Suppose \(\mathfrak{j} =2 \mathcal{l}+ 1\), where \(\mathcal{l}= 1,2,\ldots \mathfrak{j}- \frac{1}{2} \). Since \(\{ \mathcal{P}_{o}:o\in \mathbb{N}^{o} \}\) and \(\{ \mathcal{Q}_{e}:e\in \mathbb{N}^{e} \}\) are two families \(\varphi _{*}\)-dominated fuzzy mapping. So, \(\varphi _{*} ( \mathfrak{m}_{2 \mathcal{l}}, [ \mathcal{P}_{o} \mathfrak{m}_{2 \mathcal{l}} ]_{\gamma ( b_{2l} )} ) \geq 1\) and \(\varphi _{*} ( \mathfrak{m}_{2 \mathcal{l}+ 1}, [ \mathcal{Q}_{e} \mathfrak{m}_{2 \mathcal{l}+ 1} ]_{\delta ( b_{2 \mathcal{l}+ 1} )} ) \geq 1\). As \(\varphi _{*} ( \mathfrak{m}_{2 \mathcal{l}}, [ \mathcal{P}_{o} \mathfrak{m}_{2 \mathcal{l}} ]_{\gamma ( b_{2 \mathcal{l}} )} ) \geq 1\), for all \(o\in \mathbb{N}^{o}\) and \(e\in \mathbb{N}^{e}\) this implies that \(\inf \{ \varphi ( \mathfrak{m}_{2 \mathcal{l}},b ):b\in [ \mathcal{P}_{o} \mathfrak{m}_{2 \mathcal{l}} ]_{\gamma _{(b_{2 \mathcal{l}} )}} \} \geq 1\).
$$ \mathcal{d} ( \mathfrak{m}_{o}, \mathfrak{m}_{1} ) = \mathcal{d}\bigl( \mathfrak{m}_{0,} [ \mathcal{P}_{1} \mathfrak{m}_{0} ]_{ \gamma ( \mathfrak{m}_{0} )} \bigr)\leq \mathcal{r}^{\frac{1-sh}{s}} < \mathcal{r}. $$
$$ \mathfrak{m}_{1} \in \overline{B_{d \mathfrak{m}} ( \mathfrak{m}_{0},\mathcal{r} )}. $$
Also, \(m_{2 \mathcal{l}+ 1} \in [ \mathcal{P}_{c} \mathfrak{m}_{2 \mathcal{l}} ]_{\gamma _{(b_{2 \mathcal{l}} )}}\) for some \(c\in \mathbb{N}^{o}\), so \(\varphi ( \mathfrak{m}_{2 \mathcal{l}}, \mathfrak{m}_{2 \mathcal{l}+ 1} ) \geq 1\) and \(m_{2 \mathcal{l}+ 2} \in [ \mathcal{Q}_{v} \mathfrak{m}_{2 \mathcal{l}+ 1} ]_{\delta ( b_{2 \mathcal{l}+ 1} )}\) for some \(v\in \mathbb{N}^{e}\). Now, by using Lemma 1.10 and inequality (2.1), we have Thus, for each \(\mathcal{l}\in \mathbb{N}\), where \(\mu = \frac{1-s \mathcal{k}}{ s}\). As \(\mathcal{F}\) is a strictly increasing function, then Similarly, if \(\mathfrak{j}\) is even, we have We have, Therefore, Now, Then, we have This shows that \(\mathfrak{m}_{\mathfrak{j} +1} \in \overline{B_{\mathcal{d} \mathfrak{m}} (\mathfrak{m}_{0},\mathcal{r} )} \). It follows that for all \(\mathfrak{n}\in \mathbb{N}\), by induction, \(\mathfrak{m}_{\mathfrak{n}} \in \overline{B_{\mathcal{d} \mathfrak{m}} (\mathfrak{m}_{0},\mathcal{r} )}\). Also, \(\varphi ( \mathfrak{m}_{\mathfrak{n}}, \mathfrak{m}_{\mathfrak{n} +1} ) \geq 1\), for any \(\mathfrak{n}\in \mathbb{N} \cup \{ 0 \} \). Now, we deduce Now, \(\mathcal{e},\mathcal{g}(\mathcal{g}>\mathcal{e})\) be the positive integer, then As \(\mathcal{e},\mathcal{g}\rightarrow +\infty \), then \(\mathcal{d} ( m_{\mathcal{e}}, m_{\mathcal{g}} ) \rightarrow 1\). Therefore, \(\{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{g} ) \} \) is a Cauchy sequence in \(\overline{B_{\mathcal{d} \mathfrak{m}} (\mathfrak{m}_{0},\mathcal{r} )}\). So, there is a \(\mathfrak{m}^{*} \in \overline{B_{\mathcal{d} \mathfrak{m}} (\mathfrak{m}_{0},\mathcal{r} )}\) and \(\{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{g} ) \} \rightarrow \mathfrak{m}^{*}\) such that \(\mathcal{g}\rightarrow +\infty \). Then, Now, by using the inequality, we have Using Lemma 1.10 and inequality (2.1), we obtain By supposition \(\varphi ( \mathfrak{m}_{\mathcal{g}}, \mathfrak{m}^{*} ) \geq 1\). Suppose that \(\mathcal{d} ( \mathfrak{m}^{*}, [ \mathcal{Q}_{e} \mathfrak{m}^{*} ]_{\delta ( \mathfrak{m}^{*} )} ) >0\) and p is a non-negative integer that exists, such that \(\mathcal{d} ( \mathfrak{m}_{\mathfrak{n}}, [ \mathcal{Q}_{e} \mathfrak{m}^{*} ]_{\delta ( \mathfrak{m}^{*} )} ) >0\), for all \(\mathcal{g}\geq p\), we have By taking \(\lim\mathfrak{n}\rightarrow +\infty \) and inequality (2.8) from both sides of (2.9), we have a result that is not generally true, \(\mathcal{d} ( \mathfrak{m}^{*},[ \mathcal{Q}_{e} \mathfrak{m}^{*} ]_{\gamma ( \mathfrak{m}^{*} )} ) <\mathcal{d} ( \mathfrak{m}^{*}, [ \mathcal{Q}_{e} \mathfrak{m}^{*} ]_{\gamma ( \mathfrak{m}^{*} )} )^{ps}\). Our assumption is not true because \(ps<1\). Therefore, \(\mathcal{d} ( \mathfrak{m}^{*},[ \mathcal{Q}_{e} \mathfrak{m}^{*} ]_{\gamma ( \mathfrak{m}^{*} )} ) = 1\) or \(\mathfrak{m}^{*} \in [ \mathcal{Q}_{e} \mathfrak{m}^{*} ]_{\gamma ( \mathfrak{m}^{*} )}\). Similarly, using Lemma 1.10 and inequality (2.8), we can obtain either \(\mathcal{d} ( \mathfrak{m}^{*}, [ \mathcal{P}_{o} \mathfrak{m}^{*} ]_{\gamma ( \mathfrak{m}^{*} )} ) = 1\) or \(\mathfrak{m}^{*} \in [ \mathcal{P}_{o} \mathfrak{m}^{*} ]_{\gamma ( \mathfrak{m}^{*} )}\). Therefore, in \(\overline{B_{\mathcal{d} \mathfrak{m}} (\mathfrak{m}_{0},\mathcal{r} )}\), \(\mathcal{P}_{o}\) and \(\mathcal{Q}_{e}\) admit a fuzzy F\(\mathscr{P}\) that is \(\mathfrak{m}^{*}\). Now, using the above multiplicative triangular inequality, we get This indicate that \(\mathcal{d} ( \mathfrak{m}^{*}, \mathfrak{m}^{*} ) =1\). □
$$\begin{aligned}& \tau +\mathcal{F} \bigl( \mathcal{d} ( \mathfrak{m}_{2 \mathcal{l}+ 1}, \mathfrak{m}_{2 \mathcal{l}+ 2} ) \bigr) \\& \quad \leq \tau +\mathcal{F}\bigl( H_{\mathcal{d}} \bigl([ \mathcal{P}_{c} \mathfrak{m}_{2 \mathcal{l}} ]_{\gamma _{(b_{2 \mathcal{l}} )}},[ \mathcal{Q}_{v} \mathfrak{m}_{2 \mathcal{l}+ 1} ]_{\delta _{(b_{2 \mathcal{l}+ 1} )}}\bigr)\bigr)\leq \mathcal{F} \bigl( \mathcal{D} ( \mathfrak{m}_{2 \mathcal{l}}, \mathfrak{m}_{2 \mathcal{l}+ 1} ) \bigr)\\& \quad \leq \mathcal{F} \left( \max \begin{Bmatrix} \mathcal{d} ( \mathfrak{m}_{2 \mathcal{l},} \mathfrak{m}_{2 \mathcal{l}+ 1} ),\mathcal{d} ( \mathfrak{m}_{2 \mathcal{l}}, \mathfrak{m}_{2 \mathcal{l}+ 1} ),\mathcal{d} ( \mathfrak{m}_{2 \mathcal{l}+ 1}, \mathfrak{m}_{2 \mathcal{l}+ 2} ) \\ \mathcal{d} ( \mathfrak{m}_{2 \mathcal{l}}, \mathfrak{m}_{2 \mathcal{l}+ 2} )^{\frac{1}{2s}},\mathcal{d} ( \mathfrak{m}_{2 \mathcal{l}+ 1}, \mathfrak{m}_{2 \mathcal{l}+ 1} ) \end{Bmatrix} \right)^{\mathcal{k}}\\& \quad \leq \mathcal{F} \bigl( \max \bigl\{ \mathcal{d} ( \mathfrak{m}_{2 \mathcal{l},} \mathfrak{m}_{2 \mathcal{l}+ 1} ),\mathcal{d} ( \mathfrak{m}_{2 \mathcal{l}+ 1}, \mathfrak{m}_{2 \mathcal{l}+ 2} ) \bigr\} \bigr)^{\mathcal{k}}. \end{aligned}$$
$$ \tau +\mathcal{Fd} ( \mathfrak{m}_{2 \mathcal{l}+ 1}, \mathfrak{m}_{2 \mathcal{l}+ 2} ) \leq \mathcal{F} \bigl( \mathcal{d} ( \mathfrak{m}_{2 \mathcal{l}}, \mathfrak{m}_{2 \mathcal{l}+ 1} ) \bigr)^{\mu}, $$
$$ \mathcal{d} ( \mathfrak{m}_{2 \mathcal{l}+ 1}, \mathfrak{m}_{2 \mathcal{l}+ 2} ) < \mathcal{d} ( m_{2 \mathcal{l}}, m_{2 \mathcal{l}+ 1} )^{\mu}. $$
(2.3)
$$ \mathcal{d} ( \mathrm{m}_{2 \mathcal{l}+ 2}, \mathrm{m}_{2 \mathcal{l}+ 3} ) < \mathcal{d} ( \mathrm{m}_{2 \mathcal{l}+ 1}, \mathrm{m}_{2 \mathcal{l}+ 2} )^{\mu}. $$
(2.4)
$$ ( \mathfrak{m}_{j}, \mathfrak{m}_{\mathfrak{j} +1} ) < d ( \mathfrak{m}_{\mathfrak{j} -1}, \mathfrak{m}_{\mathfrak{j}} )^{\mu} \quad \text{for all }\mathfrak{j}\in N. $$
(2.5)
$$ \mathcal{d} ( \mathfrak{m}_{j}, \mathfrak{m}_{\mathfrak{j} +1} ) < \mathcal{d} ( \mathfrak{m}_{\mathfrak{j} -1}, \mathfrak{m}_{\mathfrak{j}} )^{\mu} < \mathcal{d} ( \mathfrak{m}_{\mathfrak{j} -2}, \mathfrak{m}_{\mathfrak{j} -1} )^{\mu ^{2}} < \cdots < \mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} )^{\mathfrak{j}}. $$
(2.6)
$$\begin{aligned} \mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{\mathfrak{j} +1} ) &\leq \mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} )^{s}. \mathcal{d} ( \mathfrak{m}_{1}, \mathfrak{m}_{2} )^{s^{2}}. \mathcal{d} ( \mathfrak{m}_{1}, \mathfrak{m}_{2} )^{s^{3}}. \cdots .\mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} )^{s^{\mathfrak{j} +1}}\\ &\leq \mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} )^{s} .\mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} )^{\mu s^{2}} .\mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} )^{\mu ^{2} s^{3}} . \mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} )^{\mu ^{3} s^{4}}\\ &\quad \mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} )^{\mu ^{4} s^{5}} .\cdots .\mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} )^{\mu ^{\mathfrak{j}} s^{\mathfrak{j} +1}}\\ &\leq \mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} )^{s( \mu ^{0} + s\mu ^{1} + s^{2} \mu ^{2} + s^{2} \mu ^{2} + s^{3} \mu ^{3} +\cdots + s^{\mathfrak{j}} \mu ^{\mathfrak{j}} )}\\ &\leq \mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} )^{s ( \frac{1}{1-s\mu} )}. \end{aligned}$$
$$ \mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{\mathfrak{j} +1} ) \leq \mathcal{r}^{\frac{ ( 1-s ( \mu ) ) \times s}{s\times ( 1-s ( \mu ) )}} \leq \mathcal{r}. $$
$$ \mathcal{d} ( \mathfrak{m}_{\mathfrak{n}}, \mathfrak{m}_{\mathfrak{n} +1} ) < \mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} )^{\mu ^{\mathfrak{n}}},\quad \text{for all } \mathfrak{n}\in \mathbb{N} $$
(2.7)
$$\begin{aligned}& \begin{aligned} \mathcal{d} ( \mathfrak{m}_{\mathcal{e}}, \mathfrak{m}_{\mathcal{g}} ) &\leq \mathcal{d} ( \mathfrak{m}_{\mathcal{e}}, \mathfrak{m}_{\mathcal{e}+ 1} )^{s} .\mathcal{d} ( \mathfrak{m}_{\mathcal{e}+ 1}, \mathfrak{m}_{\mathcal{e}+ 2} )^{s^{2}} .\cdots .\mathcal{d} ( \mathfrak{m}_{\mathcal{g}- 1}, \mathfrak{m}_{\mathcal{g}} )^{s^{\mathcal{g}} \mu ^{\mathcal{g}- 1}}\\ &\leq \mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} )^{s \mu ^{\mathcal{e}}} .\mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} )^{\mu ^{\mathcal{e}+ 1} s^{2}} .\cdots .\mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} )^{s^{z} \mu ^{\mathcal{g}- 1}} \quad \text{(by (2.7))} \\ &\leq \mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} )^{(s \mu ^{\mathcal{e}} + s^{2} \mu ^{\mathcal{e}+ 1} + s^{3} \mu ^{\mathcal{e}+ 2} + s^{4} \mu ^{\mathcal{e}+ 3} +\cdots + s^{\mathcal{g}} \mu ^{\mathcal{g}- 1} )} \\ & < \mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} )^{(s \mu ^{\mathcal{e}} + s^{2} \mu ^{\mathcal{e}+ 1} + s^{3} \mu ^{\mathcal{e}+ 2} +\cdots )}, \end{aligned} \\& \mathcal{d} ( m_{\mathcal{e}}, m_{\mathcal{g}} ) < \mathcal{d} ( \mathfrak{m}_{0}, \mathfrak{m}_{1} )^{ ( \frac{s \mu ^{\mathcal{e}}}{1-s\mu} )}. \end{aligned}$$
$$ \lim_{\mathcal{g}\rightarrow +\infty} \bigl( \mathfrak{m}_{\mathcal{g}}, \mathfrak{m}^{*} \bigr) =1. $$
(2.8)
$$ \mathcal{d} \bigl( \mathfrak{m}^{*},\bigl[ \mathcal{Q}_{e} \mathfrak{m}^{*} \bigr]_{\delta ( \mathfrak{m}^{*} )} \bigr) \leq \mathcal{d} \bigl( \mathfrak{m}^{*}, \mathfrak{m}_{2z+1} \bigr)^{s}. \mathcal{d} \bigl( \mathfrak{m}_{2z+1},\bigl[ \mathcal{Q}_{e} \mathfrak{m}^{*} \bigr]_{\delta ( \mathfrak{m}^{*} )} \bigr)^{s}. $$
$$ \mathcal{d} \bigl( \mathfrak{m}^{*},\bigl[ \mathcal{Q}_{e} \mathfrak{m}^{*} \bigr]_{\gamma ( \mathfrak{m}^{*} )} \bigr) \leq \mathcal{d} \bigl( \mathfrak{m}^{*}, \mathfrak{m}_{2 \mathcal{g}+ 1} \bigr)^{s}. H_{\mathcal{d}} \bigl( [ \mathcal{P}_{o} \mathfrak{m}_{2 \mathcal{g}} ]_{\gamma (2 \mathcal{g})}, \bigl[ \mathcal{Q}_{e} \mathfrak{m}^{*} \bigr]_{\delta ( \mathfrak{m}^{*} )} \bigr)^{s}. $$
(2.9)
$$\begin{aligned}& \mathcal{d} \bigl( \mathfrak{m}^{*},[ \mathcal{Q}_{e} \mathfrak{m}^{*} ]_{\gamma ( \mathfrak{m}^{*} )} \bigr) \\& \quad < \mathcal{d} ( \mathfrak{m}^{*}, \mathfrak{m}_{2 \mathcal{g}+ 1} )^{s}. \left( \max \begin{Bmatrix} \mathcal{d} ( \mathfrak{m}_{2 \mathcal{g},} \mathfrak{m}^{*} ),\mathcal{d} ( \mathfrak{m}_{2 \mathcal{g}}, [ \mathcal{Q}_{e} \mathfrak{m}^{*} ]_{\delta ( \mathfrak{m}^{*} )} ),\mathcal{d} ( \mathfrak{m}_{2 \mathcal{g}+ 1}, [ \mathcal{Q}_{e} \mathfrak{m}^{*} ]_{\delta ( \mathfrak{m}^{*} )} )\\ \mathcal{d} ( \mathfrak{m}_{2z}, \mathfrak{m}_{2 \mathcal{g}+ 1} )^{\frac{1}{2s}},\mathcal{d} ( \mathfrak{m}_{2 \mathcal{g}+ 1}, \mathfrak{m}_{2 \mathcal{g}+ 2} ) \end{Bmatrix}^{p} \right)^{s} . \end{aligned}$$
(2.10)
$$ \mathcal{d} \bigl( \mathfrak{m}^{*}, \mathfrak{m}^{*} \bigr) \leq \bigl[ \mathcal{d} \bigl( \mathfrak{m}^{*}, \bigl[ \mathcal{Q}_{e} \mathfrak{m}^{*} \bigr]_{\delta ( \mathfrak{m}^{*} )} \bigr) .\mathcal{d} \bigl( \bigl[ \mathcal{Q}_{e} \mathfrak{m}^{*} \bigr]_{\delta ( \mathfrak{m}^{*} )}, \mathfrak{m}^{*} \bigr) \bigr]^{s}. $$
Ran and Reuring [31] established the conception of ordered metric spaces and achieved well-known F\(\mathscr{P}\) hypothesis in these spaces. Lateral, Arshad et al. [6], Rasham et al. [35], Shatanawi et al. [39] and Nieto et al. [26] showed F\(\mathscr{P}\) results for the setting of ordered complete distance spaces.
Definition 2.2
[35] Let \(\mathcal{L}\) be a non-empty set, ≼ be a partial order on \(B\subseteq \mathcal{K}\). We say that \(a\preccurlyeq B\) whenever for all \(b\in B\), we have \(a\preccurlyeq b\). A family of mapping \(\{ \mathcal{P}_{o}:o\in \mathbb{N}^{o} \} \) from \(\mathcal{K}\) to \(W( \mathcal{K})\) is said to be fuzzy ≼-dominated on B, if \(a\preccurlyeq [ \mathcal{P}_{o} a ]_{\gamma (a)}\) for each \(a\in \mathcal{K}\) and \(\gamma \in ( 0,1 ] \).
Now we prove upcoming theorem for fuzzy ≼-dominated maps on \(\{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{n} ) \}\) in an ordered complete bMMS.
Theorem 2.3
Let \(( \mathcal{K}, \preccurlyeq , \mathcal{d} )\) be an ordered complete bMMS. Assume that there exists a function \(\varphi : \mathcal{K} \times \mathcal{K} \rightarrow [0,+\infty )\). Let \(\mathfrak{m}_{0} \in \overline{B_{\mathcal{d} \mathfrak{m}} (\mathfrak{m}_{0},\mathcal{r} )} \subseteq \mathcal{K}\), \(\mathcal{r} >0\), and \(\{ \mathcal{P}_{o}:o\in \mathbb{N}^{o} \}\) and \(\{ \mathcal{Q}_{e}:o\in \mathbb{N}^{e} \}\) be two families of \(\varphi _{*}\)-dominated fuzzy maps from \(\mathcal{K}\) to \(W( \mathcal{K}) \) on \(\overline{B_{\mathcal{d} \mathfrak{m}} (\mathfrak{m}_{0},\mathcal{r} )}\). Suppose there exist \(\tau >0, \gamma ( \mathcal{u} )\), \(\delta ( \mathcal{v} ) \in (0,1]\) and \(\mathcal{F}\) is a function of strictly increasing such that the following holds: whenever \(, \mathcal{v} \in \{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{n} ) \}\), with either \(\mathcal{u} \preccurlyeq \mathcal{v}\) or \(\mathcal{v} \preccurlyeq \mathcal{u}\), and \(H_{\mathcal{d}} ( [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )}, [ \mathcal{Q}_{e} \mathcal{v} ]_{\delta ( \mathcal{v} )} ) >0 \). Then \(\{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{n} ) \} \rightarrow \mathfrak{m}^{*} \in \mathcal{K}\). Also, if (2.11) holds for \(\mathfrak{m}^{*}\), \(\mathcal{u}_{n} \preccurlyeq \mathfrak{m}^{*}\) and \(\mathfrak{m}^{*} \preccurlyeq \mathcal{u}_{n}\) for all \(n\in \{ 0,1,2,\ldots \} \), then \(\mathfrak{m}^{*}\) belongs to both \([ \mathcal{Q}_{e} \mathcal{v} ]_{\delta ( \mathcal{v} )}\) and [\([ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )}\) for all \(o\in \mathbb{N}^{o}\) and \(e\in \mathbb{N}^{e} \).
$$\begin{aligned}& \tau + \bigl( H_{\mathcal{d}} \bigl( [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )}, [ \mathcal{Q}_{e} \mathcal{v} ]_{\delta ( \mathcal{v} )} \bigr) \bigr) \\& \quad \leq \mathcal{F} \left( \max \begin{Bmatrix} \mathcal{d} ( \mathcal{u},\mathcal{v} ),\mathcal{d} \bigl( \mathcal{u}, [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )} \bigr),\mathcal{d} \bigl( \mathcal{v}, [ \mathcal{Q}_{e} \mathcal{v} ]_{\delta ( \mathcal{v} )} \bigr) \\ \mathcal{d} \bigl( \mathcal{u}, [ \mathcal{Q}_{e} \mathcal{v} ]_{\delta ( \mathcal{v} )} \bigr),\mathcal{d} \bigl( \mathcal{v}, [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )} \bigr) \end{Bmatrix} \right)^{\mathcal{k}}, \end{aligned}$$
(2.11)
Proof
Let \(\varphi : \mathcal{K}\times \mathcal{K} \rightarrow [0,+\infty )\) be a mapping defined by \(\varphi ( \mathcal{u}, \mathcal{v} ) =1\) for all \(\mathcal{u} \in \mathcal{K}\) with \(\preccurlyeq \mathcal{v}\), and \(\varphi ( \mathcal{u}, \mathcal{v} ) =0\) for all elements \(\mathcal{u}, \mathcal{v} \in \mathcal{K}\). As \(\mathcal{P}_{o}\) and \(\mathcal{Q}_{e}\) are the fuzzy-dominated mappings on \(\mathcal{K}\), so \(\mathcal{u} \preccurlyeq [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )}\) and \(\mathcal{u} \preccurlyeq [ \mathcal{Q}_{e} \mathcal{u} ]_{\delta ( \mathcal{u} )}\) for all \(\mathcal{u} \in \mathcal{K}\). This implies that \(\mathcal{u} \preccurlyeq b\) for all \(b\in [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )}\) and \(\mathcal{u}\preccurlyeq e\) for all \(\mathcal{u} \in [ \mathcal{Q}_{e} \mathcal{u} ]_{\beta ( \mathcal{u} )}\). So, \(\varphi ( \mathcal{u},b ) =1\) for all \(b\in [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )}\) and \(\alpha ( \mathcal{u},e ) =1\) for each \(\mathcal{u} \in [ \mathcal{Q}_{e} \mathcal{u} ]_{\delta ( \mathcal{u} )}\). This implies that Hence, \(\varphi _{*} ( \mathcal{u}, [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )} )=1\), \(\varphi _{*} ( \mathcal{u}, [ \mathcal{Q}_{e} \mathcal{u} ]_{\delta ( \mathcal{u} )} )=1\) for all \(\mathcal{u} \in \mathcal{K}\). So, \(\mathcal{P}_{o}, \mathcal{Q}_{e}:\mathcal{K}\rightarrow W( \mathcal{K})\) are two families of \(\varphi _{*}\)-dominated fuzzy mappings. Furthermore, (2.11) exists and it can be expressed as for all elements \(\mathcal{u}\), \(\mathcal{v}\) in \(\{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{n} ) \}\) with either \(\varphi ( \mathcal{u}, \mathcal{v} ) \geq 1\) or \(\varphi ( \mathcal{v}, \mathcal{u} ) \geq 1\). Then, by Theorem 2.1, \(\{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{n} ) \}\) is a sequence in \(\mathcal{K}\) and \(\{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{n} ) \} \rightarrow \mathfrak{m}^{*} \in \mathcal{K}\). Now, \(\mathfrak{m}_{n}, \mathfrak{m}^{*} \in \mathcal{K}\) and either \(\mathfrak{m}_{n} \preccurlyeq \mathfrak{m}^{*}\), or \(\mathfrak{m}^{*} \preccurlyeq \mathfrak{m}_{n}\) implies that either \(\varphi ( \mathfrak{m}_{n}, \mathfrak{m}^{*} )\), or \(\varphi ( \mathfrak{m}^{*},\mathfrak{m}_{n} )\geq 1\). So, all requirements of Theorem 2.5 hold. Hence, by Theorem 2.5, \(\mathfrak{m}^{*}\) is the common fuzzy F\(\mathscr{P}\) of both \(\mathcal{P}_{o}\) and \(\mathcal{Q}_{e}\) in \(\mathcal{K}\) and \(\mathcal{d} ( \mathfrak{m}^{*},\mathfrak{m}^{*} ) =0\). □
$$ \inf \bigl\{ \varphi ( \mathcal{u}, \mathcal{v} ): \mathcal{v} \in [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )} \bigr\} =1,\quad \text{and}\quad \inf \{ \varphi ( \mathcal{u}, \mathcal{v} ): \mathcal{v} \in [ \mathcal{Q}_{e} \mathcal{u} ]_{\delta ( \mathcal{u} )} =1. $$
$$ \tau + \mathcal{F} \bigl( H_{\mathcal{d}} \bigl( [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )},[ \mathcal{Q}_{e} g]_{\delta ( \mathcal{v} )} \bigr)\bigr)\leq \mathcal{F} \bigl( \mathcal{D}_{ ( o,e )} ( \mathcal{u}, \mathcal{v}) \bigr)_{,} $$
Example 2.4
Take \(\mathcal{K} =[0,+\infty )\) and the mapping \(\mathcal{d}:\mathcal{K}\times \mathcal{K}\rightarrow \mathcal{K}\) defined by Now for \(\mathcal{u},\mathcal{v}\in \mathcal{K}, \eta ,\mu \in [ 0,1 ] \). Define \(\mathcal{P}_{o}, \mathcal{Q}_{e}:\mathcal{K}\rightarrow W ( \mathcal{K} )\) as two distinct families of fuzzy mappings for \(\mathcal{P}_{o}, \mathcal{Q}_{e} \in W ( \mathcal{K} )\), defined as and Now, we consider Consider, \(\mathcal{u}_{0} = \frac{1}{2}\), \(\mathcal{r} =36\). Thus, \(\overline{B_{\mathcal{dm}} (\mathcal{u}_{0},\mathcal{r} )} = [ 0,5.5 ]\). So, we have As, So, \(\mathcal{u}_{3} = \frac{1}{96}\).
$$ \mathcal{d}(\mathcal{u},\mathcal{v})= e^{\mid \mathcal{u}-\mathcal{v}\mid ^{2}}\quad \text{for all } \mathcal{u},\mathcal{v}\in \mathcal{K}. $$
$$ ( \mathcal{P}_{o} \mathcal{u} ) ( \mathcal{t} ) = \textstyle\begin{cases} \eta &\text{if } 0\leq \mathcal{t}< \frac{\mathcal{u}}{2l}, \\ \frac{\eta}{2} &\text{if } \frac{\mathcal{u}}{2l} \leq \mathcal{t}\leq \frac{3 \mathcal{u}}{4l}, \\ \frac{\eta}{4} & \text{if } \frac{3 \mathcal{u}}{4l} < \mathcal{t}\leq \mathcal{u}, \\ 0 & \text{if } \mathcal{u}< \mathcal{t} \leq 1, \end{cases} $$
$$ ( \mathcal{Q}_{e} \mathcal{u} ) ( \mathcal{t} ) = \textstyle\begin{cases} \mu &\text{if } 0\leq \mathcal{t}< \frac{\mathcal{u}}{3z}, \\ \frac{\mu}{4} & \text{if } \frac{\mathcal{u}}{3z} \leq \mathcal{t}\leq \frac{2 \mathcal{u}}{3z} , \\ \frac{\mu}{6} & \text{if } \frac{2 \mathcal{u}}{3z} < \mathcal{t}\leq \mathcal{u}, \\ 0 & \text{if } \mathcal{u}< \mathcal{t} \leq 1. \end{cases} $$
$$ ( \mathcal{P}_{o} \mathcal{u} )_{\frac{\eta}{2}} = \biggl[ \frac{\mathcal{u}}{2l}, \frac{3 \mathcal{u}}{4l} \biggr]\quad \text{and}\quad ( \mathcal{Q}_{e} \mathcal{u} )_{\frac{\mu}{4}} = \biggl[ \frac{\mathcal{u}}{3z}, \frac{2 \mathcal{u}}{3z} \biggr]. $$
$$\begin{aligned}& \mathcal{d} \bigl( \mathcal{u}_{0}, [ \mathcal{P}_{1} \mathcal{u}_{0} ]_{\frac{\eta}{2}} \bigr) =\mathcal{d} \biggl( \frac{1}{2}, \biggl[ \mathcal{P}_{1} \frac{1}{2} \biggr]_{\frac{\eta}{2}} \biggr) =\mathcal{d} \biggl( \frac{1}{2}, \frac{1}{8} \biggr) = \mathrm{So}, \qquad \mathcal{u}_{1} = \frac{1}{8}, \\& \mathcal{d} \bigl( \mathcal{u}_{1}, [ \mathcal{Q}_{2} \mathcal{u}_{1} ]_{\frac{\mu}{4}} \bigr) =\mathcal{d} \biggl( \frac{1}{8}, \biggl[ \mathcal{Q}_{2} \frac{1}{8} \biggr]_{\frac{\eta}{2}} \biggr) =\mathcal{d} \biggl( \frac{1}{8}, \biggl( \frac{1}{3} \biggr) \biggl( \frac{1}{8} \biggr) \biggr) =\mathcal{d} \biggl( \frac{1}{2}, \frac{1}{24} \biggr). \end{aligned}$$
$$\begin{aligned} \mathcal{u}_{2} &= \frac{1}{24} \mathcal{d} \bigl( \mathcal{u}_{2}, [ \mathcal{P}_{3} \mathcal{u}_{2} ]_{\frac{\eta}{2}} \bigr) =\mathcal{d} \biggl( \frac{1}{24}, \biggl[ \mathcal{P}_{3} \frac{1}{24} \biggr]_{\frac{\eta}{2}} \biggr) \\ &=\mathcal{d} \biggl( \frac{1}{24}, \biggl( \frac{1}{4} \biggr) \biggl( \frac{1}{24} \biggr) \biggr) =\mathcal{d} \biggl( \frac{1}{24}, \frac{1}{ 96} \biggr). \end{aligned}$$
So, we achieved a sequence of the form \(\{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathcal{u}_{n} ) \} = \{ \frac{1}{ 2},\frac{1}{8},\frac{1}{24},\frac{1}{96},\ldots \}\) in \(\mathcal{K}\) generated by \(\mathcal{u}_{0}\). Let the function \(\varphi : \mathcal{K}\times \mathcal{K}\rightarrow [ 0,\infty )\) be defined by So, \(\mathcal{u},\mathcal{v}\in \overline{B_{\mathcal{dm}} (\mathcal{u}_{0},\mathcal{r} )} \cap \{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathcal{u}_{n} ) \}\) with \(\varphi ( \mathcal{u},\mathcal{v} ) \geq 1\), we have
$$ \varphi ( \mathcal{u},\mathcal{v} ) = \textstyle\begin{cases} 1& \text{if } \mathcal{u}> \mathcal{v}, \\ \frac{1}{2} & \text{otherwise}. \end{cases} $$
$$\begin{aligned}& H \mathcal{d} \bigl( [ \mathcal{P}_{o} \mathcal{u} ]_{\frac{\eta}{2}}, [ \mathcal{Q}_{e} \mathcal{v} ]_{\frac{\mu}{4}} \bigr) \\& \quad = \max \Bigl\{ \sup_{c\in [ \mathcal{P}_{o} \mathcal{u} ]_{\frac{\eta}{2}}} \mathcal{d} \bigl( c, [ \mathcal{Q}_{e} \mathcal{v} ]_{\frac{\mu}{4}} \bigr), \sup_{d\in [ \mathcal{Q} e ]_{\frac{\mu}{4}}} \mathcal{d} \bigl( [ \mathcal{P}_{o} \mathcal{u} ]_{\frac{\eta}{2}},d \bigr) \Bigr\} \\& \quad = \max \biggl\{ \mathcal{d} \biggl( \frac{3 \mathcal{u}}{4l}, \biggl[ \frac{\mathcal{v}}{3m}, \frac{2 \mathcal{v}}{3m} \biggr] \biggr),\mathcal{d} \biggl( \biggl[ \frac{\mathcal{u}}{2l}, \frac{3 \mathcal{u}}{4l} \biggr], \frac{2 \mathcal{v}}{3m} \biggr) \biggr\} \\& \quad = \max \biggl\{ \mathcal{d} \biggl( \frac{3 \mathcal{u}}{4l}, \frac{\mathcal{v}}{3m} \biggr),\mathcal{d} \biggl( \frac{\mathcal{u}}{2l}, \frac{2 \mathcal{v}}{3m} \biggr) \biggr\} \\& \quad = \max \bigl\{ e^{ \vert \frac{3 \mathcal{u}}{4l} - \frac{\mathcal{v}}{3m} \vert ^{2}}, e^{ \vert \frac{\mathcal{u}}{2l} - \frac{2 \mathcal{v}}{3m} \vert ^{2}} \bigr\} \\& \quad < \max \begin{pmatrix} \mathcal{d} ( \mathcal{u},\mathcal{v} ),\mathcal{d} ( \mathcal{u}, \frac{\mathcal{u}}{2l} ),\mathcal{d} ( \mathcal{v}, \frac{\mathcal{v}}{3m} )\\ \mathcal{d} ( \mathcal{u}, \frac{\mathcal{v}}{3m} )^{\frac{1}{2s}},\mathcal{d} ( \mathcal{v}, \frac{\mathcal{u}}{2l} ) \end{pmatrix}^{\mathcal{h}}\\& \quad < \max \begin{pmatrix} e^{ \vert \mathcal{u}-\mathcal{v} \vert ^{2}}, e^{ \vert \mathcal{u}- \frac{\mathcal{u}}{2l} \vert ^{2}}, e^{ \vert \mathcal{v}- \frac{\mathcal{v}}{3m} \vert ^{2}}\\ e^{ ( \vert \mathcal{u}- \frac{\mathcal{v}}{3m} \vert ^{2} )^{\frac{1}{2s}}}, e^{ \vert \mathcal{v}- \frac{\mathcal{u}}{2l} \vert ^{2}} \end{pmatrix}^{\mathcal{h}}. \end{aligned}$$
Thus, this implies that, for any \(\tau \in ( 0,\frac{12}{95} ) \) and the logarithm function \(\mathcal{F}(\mathcal{t})= \ln (\mathcal{t})\), that is strictly increasing, we obtain Now, we take \(6,11\in \mathcal{K} \), then \(\varphi (6,11)\geq 1\). But we have So, our assumption is not satisfied on \(\mathcal{K}\). Thus, the consequences of Theorem 2.1 exist by maps \(\mathcal{P}_{o}\) and \(\mathcal{Q}_{e}\) for \(\mathcal{u},\mathcal{v}\in \overline{B_{\mathcal{dm}} (\mathcal{u}_{0},\mathcal{r} )} \cap \{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathcal{u}_{n} ) \}\) with \(\varphi ( \mathcal{u},\mathcal{v} )\geq 1\). As a result, \(\mathcal{P}_{o}\) and \(\mathcal{Q}_{e}\) admit a fuzzy F\(\mathscr{P}\) for all \(o\in \mathbb{N}^{o}\) and \(e\in \mathbb{N}^{e}\).
$$ H \mathcal{d} \bigl( [ \mathcal{P}_{o} \mathcal{u} ]_{\frac{\eta}{2}}, [ \mathcal{Q}_{e} \mathcal{v} ]_{\frac{\mu}{4}} \bigr) < \mathcal{D}_{ ( o,e )} ( \mathcal{u}, \mathcal{v} ), $$
$$ {\tau} +\mathcal{F} \bigl(_{H \mathcal{d}} \bigl( [ \mathcal{P}_{o} \mathcal{u} ]_{\frac{\eta}{2},} [ \mathcal{Q}_{e} \mathcal{v} ]_{\frac{\mu}{4}} \bigr) \bigr) \leq \mathcal{F} \bigl( \mathcal{D}_{ ( o,e )} ( \mathcal{u},\mathcal{v} ) \bigr). $$
$$ {\tau} +\mathcal{F} \bigl(_{H \mathcal{d}} \bigl( [ \mathcal{P}_{o 6} ]_{\frac{\eta}{2},} [ \mathcal{Q}_{e 11} ]_{\frac{\mu}{4}} \bigr) \bigr) \geq \mathcal{F} \bigl( \mathcal{D}_{ ( o,e )} ({6,11} ) \bigr). $$
3 Application to graph theory
In 2007, Jachymski [17] appeared the notion of graph contraction and investigated some novel F\(\mathscr{P}\) theorems. Afterward, Asl et al. [7], Hussain et al. [15], and Shazad et al. [41] discussed concerning F\(\mathscr{P}\) results endowed with graph theory.
Definition 3.1
[44] Let \(\mathcal{W}=(\mathcal{X}(\mathcal{W}),\mathcal{Y}(\mathcal{W}))\) be a graph such that \(\mathcal{X}(\mathcal{W})=\mathcal{Z}\), \(\mathcal{H}\subseteq \mathcal{K}\), and let \(\mathcal{K}\) be a not-empty set. It is referred to as fuzzy graph dominated on \(\mathcal{H}\) for a family of fuzzy mapping \(\{ \mathcal{P}_{o}:o\in \mathbb{N}^{o} \}:\mathcal{K}\rightarrow \mathcal{M}(\mathcal{K})\). When it turns out that (\(\mathcal{u}\), \(\mathcal{v}\)) is an edge that belongs to \(\mathcal{Y} ( \mathcal{W} )\) for each \(\mathcal{u} \) that belongs to \(\mathcal{H} \) and each \(\mathcal{v}\) that belongs to \(\mathcal{P}_{o} u\).
Theorem 3.2
Let \((\mathcal{K}, \mathcal{d})\) be a complete bMMS endowed with a graph \(\mathcal{W}\). Let \(\mathcal{r} \geq 0\), \(\mathcal{m}_{0} \in \overline{\mathcal{B}_{\mathcal{dm}} (\mathcal{m}_{0},\mathcal{r} )}\), and \(\{ \mathcal{P}_{o}:o\in \mathbb{N}^{o} \}\), \(\{ \mathcal{Q}_{e}:e\in \mathbb{N}^{e} \}:\mathcal{K}\rightarrow \mathcal{M} ( \mathcal{K} )\). Suppose that, for some \(\gamma ( \mathcal{u} ),\delta ( \mathcal{v} ) \in ( 0,1 ]\), the following criteria are fulfilled: Then \(\{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathcal{m}_{\mathcal{n}} ) \}\) is a sequence in \(\overline{\mathcal{B}_{\mathcal{dm}} (\mathcal{m}_{0},\mathcal{r} )}, ( \mathcal{m}_{n}, \mathcal{m}_{n+1} ) \in \mathcal{Y} ( \mathcal{W} )\) and \(\{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{n} ) \} \rightarrow \mathcal{c}^{*}\). Furthermore, we assume that inequality (3.1) holds for \(\mathcal{c}^{*}\) and \(( \mathcal{m}_{\mathcal{n}}, \mathcal{c}^{*} ) \in \mathcal{Y} ( \mathcal{W} )\) or \(( \mathcal{c}^{*}, \mathcal{m}_{\mathcal{n}} ) \in \mathcal{Y} ( \mathcal{W} )\) for all \(\mathcal{n}\in \mathbb{N} \cup \{ 0 \} \). Then, in \(\overline{\mathcal{B}_{\mathcal{dm}} (\mathcal{m}_{0},\mathcal{r} )}\) both the maps \(\mathcal{P}_{o}\) and \(\mathcal{Q}_{e}\) have a fuzzy F\(\mathscr{P}\) in \(\mathcal{c}^{*}\) for all \(o\in \mathbb{N}^{o}\) and \(e\in \mathbb{N}^{e}\).
i.
Let \(\mathcal{P}_{o}\) and \(\mathcal{Q}_{e}\) be fuzzy graph dominated on \(\overline{\mathcal{B}_{\mathcal{dm}} (\mathcal{m}_{0},\mathcal{r} )} \cap \{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{n} ) \}\).
ii.
The contractive requirements are satisfied by a strictly increasing function \(\mathcal{F}\) and \(\tau >0\), whenever \(\mathcal{m}_{0} \in \overline{\mathcal{B}_{\mathcal{dm}} (\mathcal{m}_{0},\mathcal{r} )} \cap \{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{n} ) \}\), \((\mathcal{u},\mathcal{v})\in \mathcal{Y}(\mathcal{W})\) and \(\mathcal{H}_{\mathcal{d}} ( [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )},[ \mathcal{Q}_{e} \mathcal{v} ]_{\delta ( \mathcal{v} )} ) >0\).
$$ \tau + \bigl( \mathcal{H}_{\mathcal{d}} \bigl( [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )},[ \mathcal{Q}_{e} \mathcal{v} ]_{\delta ( \mathcal{v} )} \bigr) \bigr) \leq \mathcal{F} \bigl( \mathcal{D}_{ ( o,e )} ( \mathcal{u},\mathcal{v} ) \bigr), $$
(3.1)
iii.
\(\mathcal{d}( \mathcal{m}_{0}, [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )} )\leq \mathcal{r}^{\frac{1- \mathcal{sk}}{\mathcal{s}}} \), where \(\mathcal{k}\in ( 0, \frac{1}{ \mathcal{s}} ) \) with \(s>1\).
Proof
Define \(\gamma : \mathcal{K} \times \mathcal{K}\rightarrow [ 0,+\infty )\) by If (ii) gives the guarantees that \(\mathcal{P}_{o} \) and \(\mathcal{Q}_{e}\) are two separate families of fuzzy graph-dominated maps on \(\overline{\mathcal{B}_{\mathcal{dm}} (\mathcal{m}_{0},\mathcal{r} )}\), then for \(\mathcal{u}\in \overline{\mathcal{B}_{\mathcal{dm}} (\mathcal{m}_{0},\mathcal{r} )}\), \(( \mathcal{u},\mathcal{h} ) \in \mathcal{Y} ( \mathcal{W} ) \) for each \(\mathcal{h}\in [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )}\) and \(( \mathcal{u},\mathcal{h} ) \in \mathcal{Y} ( \mathcal{W} ) \) for every \(\mathcal{h}\in [ \mathcal{Q}_{e} \mathcal{v} ]_{\delta ( \mathcal{v} )}\). So, \(\gamma ( \mathcal{u},\mathcal{h} ) =1\) for all \(\mathcal{h}\in [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )}\) and \(\gamma ( \mathcal{u},\mathcal{h} ) =1 \) for each \(\mathcal{h}\in [ \mathcal{Q}_{e} \mathcal{v} ]_{\delta ( \mathcal{v} )}\). It follows that \(\inf \{ \gamma ( \mathcal{u},\mathcal{h} ):\mathcal{h}\in [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )} \} =1\) and \(\inf \{ \gamma ( \mathcal{u},\mathcal{h} ):\mathcal{h}\in [ \mathcal{Q}_{e} \mathcal{v} ]_{\delta ( \mathcal{v} )} \} =1\). Therefore, \(\varphi _{*} ( \mathcal{u}, [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )} ) =1\), and \(\varphi _{*} ( \mathcal{u}, [ \mathcal{Q}_{e} \mathcal{v} ]_{\delta ( \mathcal{v} )} ) =1\) for all \(\mathcal{h}\in \overline{\mathcal{B}_{\mathcal{dm}} (\mathcal{m}_{0},\mathcal{r} )}\). So, \(\mathcal{P}_{o}, \mathcal{Q}_{e}:\mathcal{K}\rightarrow \mathcal{W} ( \mathcal{K} )\) are semi \(\varphi _{*}\)-dominated, fuzzy-dominated mappings on \(\overline{\mathcal{B}_{\mathcal{dm}} (\mathcal{m}_{0},\mathcal{r} )} \). Inequality (3.1) can also be written as: where \(\mathcal{u},\mathcal{h}\in \overline{\mathcal{B}_{\mathcal{dm}} (\mathcal{m}_{0},\mathcal{r} )} \cap \{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{n} ) \}\), \(\gamma ( \mathcal{u},\mathcal{h} ) \geq 1\) and \(\mathcal{H}_{\mathcal{d}} ( [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )},[ \mathcal{Q}_{e} \mathcal{h} ]_{\delta ( \mathcal{h} )} ) >0\). In addition, condition (iii) allows Theorem 2.1 to state that \(\{ \mathcal{Q}_{\pi} \mathcal{P}_{\emptyset} ( \mathfrak{m}_{n} ) \}\) is a sequence in \(\overline{\mathcal{B}_{\mathcal{dm}} (\mathcal{m}_{0},\mathcal{r} )}\) and that \(\{ \mathcal{Q}_{e} \mathcal{P}_{o} ( \mathfrak{m}_{n} ) \} \rightarrow \mathcal{c}^{*} \in \overline{\mathcal{B}_{\mathcal{dm}} (\mathcal{m}_{0},\mathcal{r} )} \). Finally, \(\mathcal{m}_{\mathcal{n}}, \mathcal{c}^{*} \in \overline{\mathcal{B}_{\mathcal{dm}} (\mathcal{m}_{0},\mathcal{r} )} \) and either \(( \mathcal{m}_{\mathcal{n}}, \mathcal{c}^{*} ) \in \mathcal{Y} ( \mathcal{W} )\) or \(( \mathcal{c}^{*}, \mathcal{m}_{\mathcal{n}} ) \in \mathcal{Y} ( \mathcal{W} )\) indicates that either \(\gamma ( \mathcal{m}_{\mathcal{n}}, \mathcal{c}^{*} ) \geq 1\) or \(\gamma ( \mathcal{c}^{*}, \mathcal{m}_{\mathcal{n}} ) \geq 1\). Therefore, Theorem 2.1 verifies all conditions. Therefore, according to Theorem 3.2, \(\mathcal{P}_{o}\) and \(\mathcal{Q}_{e}\) share a fuzzy F\(\mathscr{P}\) called \(\mathcal{c}^{*}\) in \(\overline{\mathcal{B}_{\mathcal{dm}} (\mathcal{m}_{0},\mathcal{r} )}\) with \(\mathcal{d} ( \mathcal{c}^{*}, \mathcal{c}^{*} ) =0\). □
$$ \gamma ( \mathcal{u},\mathcal{h} ) = \textstyle\begin{cases} 1,& \text{if } \mathcal{h}\in \overline{\mathcal{Bd}_{\mathcal{l}} (\mathcal{m}_{0},\mathcal{r} )}, ( \mathcal{u},\mathcal{h} ) \in \mathcal{Y} ( \mathcal{W} ), \\ 0,& \text{otherwise}. \end{cases} $$
$$ \tau + \bigl( \mathcal{H}_{\mathcal{d}} \bigl( [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )},[ \mathcal{Q}_{e} \mathcal{h} ]_{\delta ( \mathcal{h} )} \bigr) \bigr) \leq \mathcal{F} \bigl( \mathcal{D}_{ ( o,e )} ( \mathcal{u},\mathcal{v} ) \bigr), $$
4 Application to the integral equations
In the setting of different abstract spaces using generalized contractions, a specified number of well-known authors observed sufficient and compulsory conditions for the solution of linear and nonlinear first and second type of both (Fredholm and Volterra) type integrals in the field of F\(\mathscr{P}\) theory. Rasham et al., [37] showed some new F\(\mathscr{P}\) results for a couple of multifunction, and they utilized their fundamental outcome to analyze the important circumstances for solving integral equations. More great recent results with fundamental integral applications can be found here [2, 4, 5, 8, 33, 38].
Theorem 4.1
Let \(( \mathcal{K}, d ) \) be a bMMS and \(\mathcal{P}_{o}, \mathcal{Q}_{e}:\mathcal{K}\rightarrow \mathcal{K}\) be two mappings. Suppose that there are \(\tau >0\) and a strictly increasing function \(\mathcal{F}\) satisfying the following: for each \(\mathcal{u},\mathcal{v}\in \{ \mathcal{b}_{\mathcal{n}} \}\) and \(\mathcal{d}( \mathcal{P}_{o} \mathcal{u}, \mathcal{Q}_{e} \mathcal{v} )>0\). Then \(\{ \mathcal{b}_{\mathcal{n}} \} \rightarrow \mathcal{q}\in \mathcal{K}\). Also, inequality (4.1) holds for \(\mathcal{q}\), therefore \(\mathcal{P}_{o}\), \(\mathcal{Q}_{e}\) have a F\(\mathscr{P}\) \(\mathcal{q} \) in \(\mathcal{K}\).
$$ \tau +\mathcal{F} \bigl( \mathcal{d} \bigl( [ \mathcal{P}_{o} \mathcal{u} ]_{\gamma ( \mathcal{u} )},[ \mathcal{Q}_{e} \mathcal{v} ]_{\delta ( \mathcal{v} )} \bigr) \bigr) \leq \bigl( \mathcal{D}_{ ( o,e )} ( \mathcal{u},\mathcal{v} ) \bigr), $$
(4.1)
Proof
In this part, we prove an application of F\(\mathscr{P}\) Theorem 4.1 to obtain unique solution of given Volterra-type integral equations presented as; for all \(\mathcal{i}\in [ 0,1 ]\) and \(\mathcal{M}\), \(\mathcal{N}\) are the mappings from \([ 0,1 ]\times [ 0,1 ] \times \hat{C} ( [ 0,1 ], R_{+} )\) to \(R_{+}\). We investigate solution of (4.2) and (4.3). Let \(\hat{C} ( [ 0,1 ], R_{+} )\) be the space of all continuous function on \([ 0,1 ]\). For \(\mathcal{g}\in \hat{C} ( [ 0,1 ], R_{+} )\), a norm defined as: \(\Vert \mathcal{g} \Vert _{\tau}^{2} = \sup_{\mathcal{i}\in [ 0,1 ]} \{ \mathcal{e}^{ \vert \mathcal{g} ( \mathcal{i} ) \vert ^{2}} \mathcal{e}^{-\tau \mathcal{i}} \} \), where \(\tau >0\). Then define for each \(\mathcal{g},\mathcal{o}\in \hat{C} ( [ 0,1 ], R_{+} )\), with these conditions \(\hat{C} ( [ 0,1 ], R_{+}, d_{\tau} )\) turns into a complete bMMS. □
$$\begin{aligned}& \mathcal{g}(\mathcal{i})= \int _{o}^{\mathcal{i}} \mathcal{M} \bigl( \mathcal{i}, \mathcal{c},\mathcal{g} ( \mathcal{c} ) \bigr) \, \mathcal{dc}, \end{aligned}$$
(4.2)
$$\begin{aligned}& \mathcal{o}(\mathcal{i})= \int _{o}^{\mathcal{i}} \mathcal{N} \bigl( \mathcal{l}, \mathcal{c},\mathcal{o} ( \mathcal{c} ) \bigr) \, \mathcal{dc} \end{aligned}$$
(4.3)
$$ \mathcal{d}_{\tau} ( \mathcal{g},\mathcal{o} ) = \Bigl[ \sup _{\mathcal{i}\in [ 0,1 ]} \bigl\{ e^{ \vert \mathcal{g} ( \mathcal{i} ) -\mathcal{o}(\mathcal{i}) \vert } e^{-\tau \mathcal{i}} \bigr\} \Bigr]^{2} =_{e}^{ \Vert \mathcal{g}-\mathcal{o} \Vert _{\tau}^{{2}}}{,} $$
We now demonstrate an important hypothesis to examine the arrangement for solving two non-linear integral equations.
Theorem
Suppose that (4.1) and (4.2) are satisfied; Assume that for \(\tau >0\) such that for each \(\mathcal{i},\mathcal{c}\in [ 0,1 ]\) and \(\mathcal{g}\), \(\mathcal{o}\in \hat{C} ( [ 0,1 ], R_{+} )\), where Then, (4.2) and (4.3) have a unique solution in \(\hat{C} ( [ 0,1 ], R_{+} )\).
i.
\(\mathcal{M},\mathcal{N}: [ 0,1 ] \times [ 0,1 ] \times \hat{C} ( [ 0,1 ], R_{+} ) \rightarrow R\);
ii.
Define \(\mathcal{P}_{o}, \mathcal{Q}_{e}: \hat{C} ( [ 0,1 ], R_{+} ) \rightarrow \hat{C} ( [ 0,1 ], R_{+} )\) by
$$\begin{aligned}& ( \mathcal{P}_{o} \mathcal{g}) (\mathcal{i})= \int _{o}^{\mathcal{i}} \mathcal{M} \bigl( \mathcal{i}, \mathcal{c},\mathcal{g} ( \mathcal{c} ) \bigr) \mathcal{dc},\\& ( \mathcal{Q}_{e} \mathcal{o} ) ( \mathcal{i} ) = \int _{o}^{\mathcal{i}} \mathcal{N} \bigl( \mathcal{i}, \mathcal{c},\mathcal{o} ( \mathcal{c} ) \bigr) \mathcal{dc}. \end{aligned}$$
$$ \mathcal{e}^{ \vert \mathcal{M} ( \mathcal{i},\mathcal{c},\mathcal{g} ( \mathcal{c} ) ) - \mathcal{N} ( \mathcal{i},\mathcal{c},\mathcal{o} ( \mathcal{c} ) ) \vert ^{2} } \leq \frac{_{\tau} \mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} ) (e^{\mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} )_{- e}^{\mathcal{e}^{ \Vert ( \mathcal{P}_{o} \mathcal{g} ) ( \mathcal{i} )- ( \mathcal{Q}_{e} \mathcal{o} ) ( \mathcal{i} ) \Vert _{\tau}^{{2}}}}})}{ e^{\tau (1- \mathcal{b})}} $$
$$ \mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} ) = \max \begin{Bmatrix} \mathcal{e}^{ \vert \mathcal{g} ( \mathcal{i} ) -\mathcal{o} ( \mathcal{i} ) \vert ^{2}}, \mathcal{e}^{ \vert \mathcal{g} ( \mathcal{i} ) - ( \mathcal{P}_{o} \mathcal{g} ( \mathcal{i} ) ) \vert ^{2}}, \mathcal{e}^{ \vert \mathcal{g} ( \mathcal{i} ) - ( \mathcal{Q}_{e} \mathcal{o} ( \mathcal{i} ) ) \vert ^{2}} \\ \bigl( \mathcal{e}^{ \vert \mathcal{g} ( \mathcal{i} ) - ( \mathcal{Q}_{e} \mathcal{o} ( \mathcal{i} ) ) \vert ^{2}} \bigr)^{\frac{1}{2 \mathcal{s}}}, \mathcal{e}^{ \vert \mathcal{o} ( \mathcal{i} ) - ( \mathcal{P}_{o} \mathcal{g} ( \mathcal{i} ) ) \vert ^{2}} \end{Bmatrix}^{\mathcal{k}}. $$
Proof
By condition (ii) this implies, Taking ln of both sides, we get This implies that Hence, all conditions of Theorem 4.1 are true for \(\mathcal{F} ( \mathcal{o} ) = \ln ( \mathcal{o}^{2} +\mathcal{o})\); \(\mathcal{o}> 0\), and \(d_{\tau} ( \mathcal{g},\mathcal{o} ) =_{e}^{ \Vert \mathcal{g}-\mathcal{o} \Vert _{\tau}^{{2}}}\). So, (4.2) and (4.3) have common solution. □
$$\begin{aligned} \mathcal{e}^{ \vert ( \mathcal{P}_{o} \mathcal{g} ( \mathcal{i} ) ) - ( \mathcal{Q}_{e} \mathcal{o} ( \mathcal{i} ) ) \vert ^{2}} &= \int _{0}^{\mathcal{i}} \mathcal{e}^{ \vert \mathcal{M} ( \mathcal{i},\mathcal{c},\mathcal{o} ( \mathcal{c} ) ) - \mathcal{N} ( \mathcal{i},\mathcal{c},\mathcal{o} ( \mathcal{c} ) ) \vert ^{2} } \, \mathcal{db}\\ &\leq \int _{0}^{\mathcal{i}} \frac{_{\tau} \mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} ) (e^{\mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} )- e^{\mathcal{e}^{ \Vert ( \mathcal{P}_{o} \mathcal{g} ) ( \mathcal{i} )- ( \mathcal{Q}_{e} \mathcal{o} ) ( \mathcal{i} ) \Vert _{\tau}^{{2}}}}})}{e^{\tau (1- \mathcal{b})}} \, \mathcal{db} \\ & \leq \frac{_{\tau} \mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} ) (e^{\mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} )- e^{\mathcal{e}^{ \Vert ( \mathcal{P}_{o} \mathcal{g} ) ( \mathcal{i} )- ( \mathcal{Q}_{e} \mathcal{o} ) ( \mathcal{i} ) \Vert _{\tau}^{{2}}}}})}{e^{\tau}} \int _{0}^{\mathcal{i}} e^{\tau \mathcal{b}} \, \mathcal{db}\\ &\leq \frac{\mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} ) (e^{\mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} )_{- e}^{\mathcal{e}^{ \Vert ( \mathcal{P}_{o} \mathcal{g} ) ( \mathcal{i} )- ( \mathcal{Q}_{e} \mathcal{o} ) ( \mathcal{i} ) \Vert _{\tau}^{{2}}}}})}{ e^{\tau}} e^{\tau \mathcal{i}} \end{aligned}$$
$$\begin{aligned}& \frac{\mathcal{e}^{ \vert ( \mathcal{P}_{o} \mathcal{g} ) ( \mathcal{i} )- ( \mathcal{Q}_{e} \mathcal{o} ) ( \mathcal{i} ) \vert ^{{2}}}{e}^{{-\tau} \mathcal{i}}}{ \mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} )} \leq \frac{e^{\mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} )- e^{\mathcal{e}^{ \Vert ( \mathcal{P}_{o} \mathcal{g} ) ( \mathcal{i} )- ( \mathcal{Q}_{e} \mathcal{o} ) ( \mathcal{i} ) \Vert _{\tau}^{{2}}}}}}{e^{\tau}}, \\& \frac{\mathcal{e}^{ \Vert ( \mathcal{P}_{o} \mathcal{g} ) ( \mathcal{i} )- ( \mathcal{Q}_{e} \mathcal{o} ) ( \mathcal{i} ) \Vert _{\tau}^{{2}}}}{\mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} )} \leq \frac{e^{\mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} )- e^{\mathcal{e}^{ \Vert ( \mathcal{P}_{o} \mathcal{g} ) ( \mathcal{i} )- ( \mathcal{Q}_{e} \mathcal{o} ) ( \mathcal{i} ) \Vert _{\tau}^{{2}}}}}}{ e^{\tau}}, \\& \frac{\mathcal{e}^{ \Vert ( \mathcal{P}_{o} \mathcal{g} ) ( \mathcal{i} )- ( \mathcal{Q}_{e} \mathcal{o} ) ( \mathcal{i} ) \Vert _{\tau}^{{2}}}}{e^{\mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} )- e^{\mathcal{e}^{ \Vert ( \mathcal{P}_{o} \mathcal{g} ) ( \mathcal{i} )- ( \mathcal{Q}_{e} \mathcal{o} ) ( \mathcal{i} ) \Vert _{\tau}^{{2}}}}}} \leq \frac{\mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} )}{e^{\tau}}. \end{aligned}$$
$$ \ln (\mathcal{e}^{ \Vert ( \mathcal{P}_{o} \mathcal{g} ) ( \mathcal{i} )- ( \mathcal{Q}_{e} \mathcal{o} ) ( \mathcal{i} ) \Vert _{\tau}^{{2}}}_{)+} \mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} ) +\mathcal{e}^{ \Vert ( \mathcal{P}_{o} \mathcal{g} ) ( \mathcal{i} )- ( \mathcal{Q}_{e} \mathcal{o} ) ( \mathcal{i} ) \Vert _{\tau}^{{2}}}_{\leq} \ln \bigl( \mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} ) \bigr)_{+} \ln \mathcal{e}^{{-\tau}}. $$
$$ \tau + \ln \bigl(\mathcal{e}^{ \Vert ( \mathcal{P}_{o} \mathcal{g} ) ( \mathcal{i} )- ( \mathcal{Q}_{e} \mathcal{o} ) ( \mathcal{i} ) \Vert _{\tau}^{{2}}} \bigr)+ \mathcal{e}^{ \Vert ( \mathcal{P}_{o} \mathcal{g} ) ( \mathcal{i} )- ( \mathcal{Q}_{e} \mathcal{o} ) ( \mathcal{i} ) \Vert _{\tau}^{{2}}} \leq \ln \bigl( \mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} ) \bigr)_{+} \mathcal{D}_{ ( o,e )} ( \mathcal{g},\mathcal{o} ). $$
5 Application to fractional differential equations
We apply our new findings to solve the fractional differential equations. Recently, many researchers used F\(\mathscr{P}\) techniques to investigate the solution of fractional differential equations, considered in [5, 9, 25, 42].
Consider the space of continuous function \(\hat{C} [ 0,1 ]\). Let \(\mathcal{d} ( \mathcal{j},\mathcal{p} ) = e^{\mid \mathcal{j}-\mathcal{p}\mid ^{2}} \) for all \(\mathcal{j},\mathcal{p}\in \hat{C} [ 0,1 ]\). The space (\(\hat{C} [ 0,1 ]\), \(\mathcal{d}\))is a complete bMMS. Let \(\mathcal{P}_{1}, \mathcal{P}_{2}:[0,1]\times \mathrm{R} \rightarrow \mathrm{R}\) be the continuous mappings. The equations of Caputo fractional derivatives of order μ will be examined. with integral boundary condition \(\mathcal{r} ( 0 ) =0\), \(I \mathcal{r} ( 1 ) = \mathcal{r} ' ( 0 )\), and with integral boundary condition \(\mathcal{g} ( 0 ) =0\), \(I \mathcal{g} ( 1 ) = \mathcal{g} ' (0) \).
$$ \mathcal{D}^{\mu} \mathcal{r} ( \mathcal{q} ) = \mathcal{P}_{1} \bigl( \mathcal{q},\mathcal{r} ( \mathcal{q} ) \bigr) $$
(5.1)
$$ \mathcal{D}^{\mu} \mathcal{g} ( \mathcal{y} ) = \mathcal{P}_{2} \bigl( \mathcal{y},\mathcal{g} ( \mathcal{y} ) \bigr) $$
(5.2)
Then, Caputo derivative of fractional order μ can be written as follows where \(\mathcal{n}- 1<\mu < \mathcal{n}\) and \(n= [ \mu ] +1 \) and \(I^{\mu} \mathcal{P}_{1}\) is given as
$$ \mathcal{D}^{\mu} \mathcal{P}_{1} (\mathcal{q}))= \frac{1}{{\Upgamma } ( \mathcal{n}- \mu )} \int _{0}^{\mathcal{q}} ( \mathcal{q}-\mathcal{n} )^{\mathcal{n}- \mu -1} \mathcal{P}_{1}^{\mathcal{n}} (\mathcal{q}) \, \mathcal{dq} $$
$$ I^{\mu} \mathcal{P}_{1} (\mathcal{q})= \frac{1}{{\Upgamma } ( \mu )} \int _{0}^{\mathcal{q}} ( \mathcal{q}-\mathcal{n} )^{\mu -1} \mathcal{P}_{1} ( \mathcal{q} ) \, \mathcal{dq} \quad \text{with } \mu >0. $$
The equation (5.1) can be written as and (5.2) can be modified as
$$\begin{aligned} \mathcal{r} ( \mathcal{q} )& = \frac{1}{{\Upgamma } ( \mu )} \int _{0}^{\mathcal{q}} ( \mathcal{q}-\mathcal{n} )^{\mu -1} \mathcal{P}_{1} \bigl(\mathcal{j},\mathcal{r} ( \mathcal{j} ) \bigr)\, \mathcal{dj} \\ &\quad {} + \frac{2 \mathcal{q}}{{\Upgamma } ( \mu )} \int _{0}^{1} \int _{0}^{\mathcal{j}} ( \mathcal{n}- y )^{\mu -1} \mathcal{P}_{1} \bigl(\mathcal{y},\mathcal{r} ( \mathcal{y} ) \bigr)\, \mathcal{dy}\, \mathcal{dj} \end{aligned}$$
$$\begin{aligned} \mathcal{g} ( \mathcal{l} ) &= \frac{1}{{\Upgamma } ( \mu )} \int _{0}^{\mathcal{l}} ( \mathcal{l}-\mathcal{n} )^{\mu -1} \mathcal{P}_{2} \bigl(\mathcal{j},\mathcal{r} ( \mathcal{j} ) \bigr)\, \mathcal{dj} \\ &\quad {}+ \frac{2 \mathcal{l}}{{\Upgamma } ( \mu )} \int _{0}^{1} \int _{0}^{\mathcal{j}} ( \mathcal{n}-\mathcal{p} )^{\mu -1} \mathcal{P}_{2} \bigl(\mathcal{y},\mathcal{r} ( \mathcal{y} ) \bigr)\, \mathcal{dp}\, \mathcal{dj}. \end{aligned}$$
Theorem 5.1
Assume that: Then, equations (5.1) and (5.2) have a unique solution in \(\hat{C} [ 0,1 ]\).
i.
For all \(\mathcal{c}, g\in \hat{C} [ 0,1 ]\), there exist \(\tau >0\) and \(e^{3\tau} <1\),
$$ \bigl\vert \mathcal{P}_{1} \bigl( \mathcal{y},\mathcal{c} ( \mathcal{y} ) \bigr) \mathcal{dy}- \mathcal{P}_{2} \bigl( \mathcal{y}, g ( \mathcal{y} ) \bigr) \bigr\vert \leq \frac{\tau {\Upgamma } ( \mu +1 )}{4} \bigl\vert \mathcal{c} ( \mathcal{y} ) -g ( \mathcal{y} ) \bigr\vert ; $$
ii.
There exist \(\mathcal{h},\mathcal{p}\in \hat{C} [ 0,1 ]\) and for all \(\mathcal{x},\mathcal{z}\in \hat{C} [ 0,1 ]\), and
$$\begin{aligned} \mathcal{h}(\mathcal{x})&= \frac{1}{{\Upgamma } ( \mu )} \int _{0}^{\mathcal{q}} ( \mathcal{q}-\mathcal{n} )^{\mu -1} \mathcal{P}_{1} \bigl(\mathcal{j},\mathcal{r} ( \mathcal{j} ) \bigr)\, \mathcal{dj} \\ &\quad {} + \frac{2 \mathcal{q}}{{\Upgamma } ( \mu )} \int _{0}^{1} \int _{0}^{\mathcal{j}} ( \mathcal{n}- y )^{\mu -1} \mathcal{P}_{1} \bigl(\mathcal{y},\mathcal{r} ( \mathcal{y} ) \bigr) \, \mathcal{dy}\, \mathcal{dj} \end{aligned}$$
$$\begin{aligned} \mathcal{p} ( \mathcal{z} ) &= \frac{1}{{\Upgamma } ( \mu )} \int _{0}^{\mathcal{l}} ( \mathcal{l}-\mathcal{n} )^{\mu -1} \mathcal{P}_{2} \bigl(\mathcal{j},\mathcal{r} ( \mathcal{j} ) \bigr)\, \mathcal{dj} \\ &\quad {}+ \frac{2 \mathcal{l}}{{\Upgamma } ( \mu )} \int _{0}^{1} \int _{0}^{\mathcal{j}} ( \mathcal{n}-\mathcal{p} )^{\mu -1} \mathcal{P}_{2} \bigl(\mathcal{y},\mathcal{r} ( \mathcal{y} ) \bigr) \, \mathcal{dp}\, \mathcal{dj}. \end{aligned}$$
Proof
The mappings \(\mathcal{P}_{o}, \mathcal{Q}_{e}:\hat{C} [ 0,1 ] \rightarrow \hat{C} [ 0,1 ]\) defined by and By (ii), it can be shown that there are \(\mathcal{h},\mathcal{p}\in \hat{C} [ 0,1 ]\) so that \(\mathcal{h}_{\mathcal{n}} =\mathcal{P}_{\mathrm{on}} ( \mathcal{h} )\) and \(\mathcal{p}_{\mathcal{n}} = \mathcal{Q}_{\mathrm{en}} ( \mathcal{p} )\). The continuity of \(\mathcal{P}_{1}\) and \(\mathcal{P}_{2}\) leads the continuity of mappings \(\mathcal{P}_{o}\) and \(\mathcal{Q}_{e}\) on \(\hat{C} [ 0,1 ]\). All the hypothesis of Theorem 5.1 are satisfied. For this, we have By using the result \(e^{x} = e^{y}\) iff \({x}={y}\), we deduce that Taking square root of both sides, we have Implies that where \(\mathcal{B}\) is a beta function. Again, using the inequality if \(x< y\), then \(e^{x} < e^{y}\), we have Squaring both sides, we get For any \(\tau >0\) and \(e^{3\tau} <1 \), it implies that \(e^{2\tau} < e^{-\tau} \), then we deduce that The expression for the inequality (5.3) can be written as for all \(\mathcal{j},\mathcal{p}\in \hat{C} [ 0,1 ]\) and define \(\mathcal{F} ( \mathcal{q} ) =\ln \mathcal{q}\), then the inequality (5.4) can be expressed as, All assumptions of Theorem 2.1 hold. So, the maps \(\mathcal{P}_{o}\) and \(\mathcal{Q}_{e}\) have admitted a common fuzzy F\(\mathscr{P}\). Hence, (5.1) and (5.2) have a common solution. □
$$\begin{aligned} \mathcal{P}_{o} \bigl( \mathcal{r} ( \mathcal{q} ) \bigr) &= \biggl( \frac{1}{{\Upgamma } ( \mu )} \int _{0}^{\mathcal{q}} ( \mathcal{q}-\mathcal{n} )^{\mu -1} \mathcal{P}_{1} (\mathcal{j},\mathcal{r} ( \mathcal{j} ) )\, \mathcal{dj} \\ &\quad {}+ \frac{2 \mathcal{q}}{{\Upgamma } ( \mu )} \int _{0}^{1} \int _{0}^{\mathcal{j}} ( \mathcal{n}- y )^{\mu -1} \mathcal{P}_{1} (\mathcal{y},\mathcal{r} ( \mathcal{y} ) ) \, \mathcal{dy}\, \mathcal{dj}\biggr) \end{aligned}$$
$$\begin{aligned} \mathcal{N} \bigl( \mathcal{p} ( \mathcal{z} ) \bigr) &=\biggl( \frac{1}{{\Upgamma } ( \mu )} \int _{0}^{\mathcal{q}} ( \mathcal{q}-\mathcal{n} )^{\mu -1} \mathcal{P}_{2} (\mathcal{j},\mathcal{r} ( \mathcal{j} ) )\, \mathcal{dj} \\ &\quad {}+ \frac{2 \mathcal{q}}{{\Upgamma } ( \mu )} \int _{0}^{1} \int _{0}^{\mathcal{j}} ( \mathcal{n}- y )^{\mu -1} \mathcal{P}_{2} (\mathcal{y},\mathcal{r} ( \mathcal{y} ) ) \, \mathcal{dy}\, \mathcal{dj} \biggr). \end{aligned}$$
$$\begin{aligned} \mathcal{e}^{ \vert \mathcal{P}_{o} ( \mathcal{r} ( \mathcal{q} ) ) - \mathcal{Q}_{e} ( \mathcal{p} ( \mathcal{z} ) ) \vert ^{2}} = e^{ \left \vert \textstyle\begin{array}{l} \frac{1}{{\Upgamma } ( \mu )} \int _{0}^{\mathcal{q}} ( \mathcal{q}-\mathcal{n} )^{\mu -1} \mathcal{P}_{1} (\mathcal{j},\mathcal{r} ( \mathcal{j} ) )\,\mathcal{dj} \\ \quad {}- \frac{1}{{\Upgamma } ( \mu )} \int _{0}^{\mathcal{q}} ( \mathcal{q}-\mathcal{n} )^{\mu -1} \mathcal{P}_{2} (\mathcal{j},\mathcal{r} ( \mathcal{j} ) )\,\mathcal{dj} \\ \quad {}+ \frac{2 \mathcal{q}}{{\Upgamma } ( \mu )} \int _{0}^{1} \int _{0}^{\mathcal{j}} ( \mathcal{n}- y )^{\mu -1} \mathcal{P}_{1} (\mathcal{y},\mathcal{r} ( \mathcal{y} ) ) \,\mathcal{dy}\,\mathcal{dj} \\ \quad {}- \frac{2 \mathcal{q}}{{\Upgamma } ( \mu )} \int _{0}^{1} \int _{0}^{\mathcal{j}} ( \mathcal{n}- y )^{\mu -1} \mathcal{P}_{2} (\mathcal{y},\mathcal{r} ( \mathcal{y} ) ) \,\mathcal{dy}\,\mathcal{dj} \end{array}\displaystyle \right \vert ^{2}}. \end{aligned}$$
$$\begin{aligned} \bigl\vert \mathcal{P}_{o} \bigl( \mathcal{r} ( \mathcal{q} ) \bigr) - \mathcal{Q}_{e} \bigl( \mathcal{p} ( \mathcal{z} ) \bigr) \bigr\vert ^{2} &= \biggl\vert \frac{1}{{\Upgamma } ( \mu )} \int _{0}^{\mathcal{q}} ( \mathcal{q}-\mathcal{n} )^{\mu -1} \mathcal{P}_{1} \bigl(\mathcal{j},\mathcal{r} ( \mathcal{j} ) \bigr)\,\mathcal{dj} \\ &\quad {}- \frac{1}{{\Upgamma } ( \mu )} \int _{0}^{\mathcal{q}} ( \mathcal{q}-\mathcal{n} )^{\mu -1} \mathcal{P}_{2} \bigl(\mathcal{j},\mathcal{r} ( \mathcal{j} ) \bigr)\,\mathcal{dj} \\ &\quad {}+ \frac{2 \mathcal{q}}{{\Upgamma } ( \mu )} \int _{0}^{1} \int _{0}^{\mathcal{j}} ( \mathcal{n}- y )^{\mu -1} \mathcal{P}_{1} \bigl(\mathcal{y},\mathcal{r} ( \mathcal{y} ) \bigr) \,\mathcal{dy}\,\mathcal{dj} \\ &\quad {}- \frac{2 \mathcal{q}}{{\Upgamma } ( \mu )} \int _{0}^{1} \int _{0}^{\mathcal{j}} ( \mathcal{n}- y )^{\mu -1} \mathcal{P}_{2} \bigl(\mathcal{y},\mathcal{r} ( \mathcal{y} ) \bigr) \,\mathcal{dy}\,\mathcal{dj} \biggr\vert ^{2}. \end{aligned}$$
$$\begin{aligned} \bigl\vert \mathcal{P}_{o} \bigl( \mathcal{r} ( \mathcal{q} ) \bigr) - \mathcal{Q}_{e} \bigl( \mathcal{p} ( \mathcal{z} ) \bigr) \bigr\vert &= \biggl\vert \frac{1}{{\Upgamma } ( \mu )} \int _{0}^{\mathcal{q}} ( \mathcal{q}-\mathcal{n} )^{\mu -1} \mathcal{P}_{1} \bigl(\mathcal{j},\mathcal{r} ( \mathcal{j} ) \bigr)\,\mathcal{dj} \\ &\quad {}- \frac{1}{{\Upgamma } ( \mu )} \int _{0}^{\mathcal{q}} ( \mathcal{q}-\mathcal{n} )^{\mu -1} \mathcal{P}_{2} \bigl(\mathcal{j},\mathcal{r} ( \mathcal{j} ) \bigr)\,\mathcal{dj} \\ &\quad {}+ \frac{2 \mathcal{q}}{{\Upgamma } ( \mu )} \int _{0}^{1} \int _{0}^{\mathcal{j}} ( \mathcal{n}- y )^{\mu -1} \mathcal{P}_{1} \bigl(\mathcal{y},\mathcal{r} ( \mathcal{y} ) \bigr) \,\mathcal{dy}\,\mathcal{dj} \\ &\quad {}- \frac{2 \mathcal{q}}{{\Upgamma } ( \mu )} \int _{0}^{1} \int _{0}^{\mathcal{j}} ( \mathcal{n}- y )^{\mu -1} \mathcal{P}_{2} \bigl(\mathcal{y},\mathcal{r} ( \mathcal{y} ) \bigr) \,\mathcal{dy}\,\mathcal{dj} \biggr\vert . \end{aligned}$$
$$\begin{aligned}& \leq \biggl\vert \int _{0}^{\mathcal{q}} \biggl( \frac{1}{{\Upgamma } ( \mu )} ( \mathcal{q}-\mathcal{n} )^{\mu -1} \mathcal{P}_{1} \bigl( \mathcal{j},\mathcal{r} ( \mathcal{j} ) \bigr)- \frac{1}{{\Upgamma } ( \mu )} ( \mathcal{q}-\mathcal{n} )^{\mu -1} \mathcal{P}_{2} \bigl( \mathcal{j},\mathcal{r} ( \mathcal{j} ) \bigr) \biggr) \,\mathcal{dj} \biggr\vert \\& \quad {}+ \biggl\vert \int _{0}^{1} \int _{0}^{\mathcal{j}} \biggl( \frac{2 \mathcal{q}}{ {\Upgamma } ( \mu )} ( \mathcal{n}-\mathcal{y} )^{\mu -1} \mathcal{P}_{1} \bigl( \mathcal{y},\mathcal{r} ( \mathcal{y} ) \bigr) - \frac{2 \mathcal{q}}{{\Upgamma } ( \mu )} ( \mathcal{n}-\mathcal{y} )^{\mu -1} \mathcal{P}_{2} \bigl( \mathcal{y},\mathcal{r} ( \mathcal{y} ) \bigr) \biggr) \,\mathcal{dy}\,\mathcal{dj} \biggr\vert \\& \leq \frac{1}{{\Upgamma } ( \mu )}. \frac{\tau .{\Upgamma } ( \mu +1 )}{4} \int _{0}^{\mathcal{q}} ( \mathcal{q}-\mathcal{n} )^{\mu -1} \bigl( \mathcal{h} ( \mathcal{z} ) -\mathcal{p} ( \mathcal{z} ) \bigr) \,\mathcal{dz}\\& \quad {}+ \frac{2}{{\Upgamma } ( \mu )}. \frac{\tau .{\Upgamma } ( \mu +1 )}{4} \int _{o}^{1} \int _{0}^{\mathcal{j}} ( \mathcal{n}-\mathcal{y} )^{\mu -1} \bigl( \mathcal{h} ( \mathcal{y} ) - \mathcal{p} ( \mathcal{y} ) \bigr) \,\mathcal{dy}\,\mathcal{dj}\\& \leq \frac{1}{{\Upgamma } ( \mu )}. \frac{\tau .{\Upgamma } ( \mu +1 )}{4}. \vert \mathcal{j}- \mathcal{p} \vert \int _{0}^{\mathcal{q}} ( \mathcal{q}-\mathcal{n} )^{\mu -1} \,\mathcal{dz}\\& \quad {}+ \frac{2}{{\Upgamma } ( \mu )}. \frac{\tau .{\Upgamma } ( \mu ) .{\Upgamma } ( \mu +1 )}{4{\Upgamma } ( \mu ) .{\Upgamma } ( \mu +1 )}. \vert \mathcal{j}-\mathcal{p} \vert \int _{o}^{1} \int _{0}^{\mathcal{j}} ( \mathcal{n}-\mathcal{y} )^{\mu -1} \,\mathcal{dy}\,\mathcal{dj}\\& \leq \frac{\tau .{\Upgamma } ( \mu ) .{\Upgamma } ( \mu +1 )}{4{\Upgamma } ( \mu ) .{\Upgamma } ( \mu +1 )}. \vert \mathcal{j}-\mathcal{p} \vert +2\tau \mathcal{B} ( \mu +1,1 ) \frac{{\Upgamma } ( \mu ) .{\Upgamma } ( \mu +1 )}{4{\Upgamma } ( \mu ) .{\Upgamma } ( \mu +1 )}. \vert \mathcal{j}-\mathcal{p} \vert , \\& \bigl\vert \mathcal{P}_{o} \bigl( \mathcal{r} ( \mathcal{q} ) \bigr) - \mathcal{Q}_{e} \bigl( \mathcal{p} ( \mathcal{z} ) \bigr) \bigr\vert \leq \frac{\tau}{4} \vert \mathcal{j}-\mathcal{p} \vert + \frac{\tau}{2} \vert \mathcal{j}-\mathcal{p} \vert < \tau . \vert \mathcal{j}-\mathcal{p} \vert , \\& \bigl\vert \mathcal{P}_{o} \bigl( \mathcal{r} ( \mathcal{q} ) \bigr) - \mathcal{Q}_{e} \bigl( \mathcal{p} ( \mathcal{z} ) \bigr) \bigr\vert < \tau \vert \mathcal{j}-\mathcal{p} \vert , \end{aligned}$$
$$ e^{ \vert \mathcal{P}_{o} ( \mathcal{r} ( \mathcal{q} ) ) - \mathcal{Q}_{e} ( \mathcal{p} ( \mathcal{z} ) ) \vert } < e^{\tau \vert \mathcal{j}-\mathcal{p} \vert }. $$
$$ e^{ \vert \mathcal{P}_{o} ( \mathcal{r} ( \mathcal{q} ) ) - \mathcal{Q}_{e} ( \mathcal{p} ( \mathcal{z} ) ) \vert ^{2}} < e^{2\tau}. e^{ \vert \mathcal{j}-\mathcal{p} \vert ^{2}}. $$
$$ e^{ \vert \mathcal{M}_{\emptyset} ( \mathcal{r} ( \mathcal{q} ) ) - \mathcal{Q}_{e} ( \mathcal{p} ( \mathcal{z} ) ) \vert ^{2}} < e^{-\tau}. e^{ \vert \mathcal{j}-\mathcal{p} \vert ^{2}}. $$
(5.3)
$$\begin{aligned}& \mathcal{d} \bigl( \mathcal{P}_{o} \bigl(\mathcal{r} ( \mathcal{q} ) \bigr), \mathcal{N}_{\pi} \bigl(\mathcal{p} ( \mathcal{z} ) \bigr) \bigr) < \mathcal{e}^{-\tau} \mathcal{D}_{ ( o,e )} ( \mathcal{u},\mathcal{v} ), \\& \mathcal{e}^{\tau} \mathcal{d} \bigl( \mathcal{P}_{o} \bigl(\mathcal{r} ( \mathcal{q} ) \bigr), \mathcal{Q}_{e} \bigl( \mathcal{p} ( \mathcal{z} ) \bigr) \bigr) < \mathcal{D}_{ ( o,e )} ( \mathcal{u},\mathcal{v} ), \end{aligned}$$
(5.4)
$$\begin{aligned}& \ln \bigl( \mathcal{e}^{\tau} \mathcal{d} \bigl( \mathcal{P}_{o} \bigl(\mathcal{r} ( \mathcal{q} ) \bigr), \mathcal{Q}_{e} \bigl( \mathcal{p} ( \mathcal{z} ) \bigr) \bigr) \bigr) \leq \ln \bigl( \mathcal{D}_{ ( o,e )} ( \mathcal{u},\mathcal{v} ) \bigr), \\& \ln \mathcal{e}^{\tau} +\ln \bigl( \mathcal{d} \bigl( \mathcal{P}_{o} \bigl(\mathcal{r} ( \mathcal{q} ) \bigr), \mathcal{Q}_{e} \bigl(\mathcal{p} ( \mathcal{z} ) \bigr) \bigr) \bigr) \leq \ln \bigl( \mathcal{D}_{ ( o,e )} ( \mathcal{u},\mathcal{v} ) \bigr), \\& \tau +\mathcal{F} \bigl( \mathcal{d} \bigl( \mathcal{P}_{o} \bigl( \mathcal{r} ( \mathcal{q} ) \bigr), \mathcal{Q}_{e} \bigl(\mathcal{p} ( \mathcal{z} ) \bigr) \bigr) \bigr) \leq \mathcal{F} \bigl( \mathcal{D}_{ ( o,e )} ( \mathcal{u},\mathcal{v} ) \bigr). \end{aligned}$$
6 Conclusion
In this manuscript, we prove some new F\(\mathscr{P}\) results for two distinct families of fuzzy-dominated mappings verifying a novel generalized locally contraction on a closed ball in complete bMMS. New F\(\mathscr{P}\) results for families of ordered fuzzy-dominated mappings are also introduced for ordered complete bMMS. Also, a new concept for two families of fuzzy graph-dominated mappings is demonstrated on closed ball in such spaces and some novel findings for graphic contraction endowed with graphic structure presented. Finally, to show the originality of our new findings, we prove applications to obtain the common solution of integral and fractional differential equations. Furthermore, this article expands upon and enhances the findings of Rasham et al. [32, 34, 35], Karapinar et al. [18], Piri et al. [29], Moussaoui et al. [21‐23] and other related research (click here for more details [2, 12, 19, 20, 26, 30, 37, 40, 41, 43]). Our work can be further improved in the future by investigating intuitionistic fuzzy maps, L-fuzzy maps, and bipolar fuzzy maps.
Acknowledgements
The authors would like to thank the editors and reviewers for their valuable comments and suggestions to refine and improve our paper. The third and fifth authors thank Prince Sultan University for supporting this paper.
Declarations
Competing interests
The authors declare no competing interests.
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/.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.