Large time behavior of a bipolar hydrodynamic model with large data andvacuum

1.   Introduction and preliminaries

An ongoing aspect of social existence is anonymity. In this area, accurate computations or hypotheses are not relevant. For human intelligence, this value error is particularly sticky. Many other mathematical ideas, like fuzzy sets (FS), soft sets, intuitionistic sets etc. have been developed as practical solutions to this problem. The fuzzy logics were created using a group structure with hazy knowledge. Due to fuzzy sets's adaptability in handling unreliability, it is even fantastically terrific for humanistic logic that is based on correct truth and limitless information. This idea is certainly a cornerstone of classical sets since it gives greater room for wrong knowledge to be used, which leads to better answers for a variety of problems. When faced with extremely constrained options like yes or no, these firms create favorable models. The ability to examine the benefits and drawbacks of false ideas is another important quality of this knowledge.

The branch of mathematics connected with fuzzy set theory is known as fuzzy mathematics. In 1965, Zadeh ^[1] is the first to mention the concept of fuzzy logic. The affiliation of an element to the set in the theory of fuzzy logic is given as a number from the interval $\left[\mathrm{0, 1}\right]$, unlike the theory of classical logic, where an element either belongs to the set or not. Zadeh has been studying the theory of FS to address the issue of indeterminacy because uncertainty is a crucial component of a genuine problem.

In the discipline of mathematical analysis, the fixed point (FP) principles offer excellent conditions for approximation the solutions of differential and integral equations with both linear and nonlinear. Analysis, geometry, and topology are remarkably linked in the framework of FP theory, making it a valuable and essential technique for analyzing non-linear phenomena. The FP paradigm is intensively used in both applied and pure mathematics. Across many numerous domains, encompassing biology, engineering, non-linear programming, economics, game theory, theory of differential equations, etc., FP techniques frequently prove to be advantageous.

Fuzzy logic is one of the many perspectives that may be used to understand theory of FP in fuzzy metric spaces (FMS). Heilpern ^[2] introduced the theory of fuzzy mapping (FM) and established a theorem on FP for FM in metric linear space, which serves as a fuzzy generalization of Banach's contraction principle ^[3]. This sparked the interest of numerous authors to investigate various contractions conditions using FM.

The subject of Hausdorff distance is essential to several areas of computer science and mathematics, such as fractals, image processing, and optimization theory. Lopez and Romaguern ^[4] applied the concept of Hausdorff metric space in fuzzy setting and introduced Hausdorff fuzzy metric spaces. This allowed researchers to investigate the "fixed point theory" of multivalued mappings in spaces with fuzzy metrics form.

Every metric, in a very normal and modest way, generates a FMS. The theory of FP is being evolved as a crucial area of interest in the core of non-linear analysis and FS theory within the framework of FMS.

In 1975, Kramosil and Michalek ^[5] developed the idea of FMS, opening the door for further development of analysis in such environments. George and Veeramani ^[6] improved fuzzy metric spaces to become Hausdorff spaces. However, it seems that Kramosil and Michhlek's analysis of fuzzy metric spaces offers a route for very smoothing machinery to produce FP theorems, especially for contractive type maps. Grabiec ^[7] was the next from among a number (at least four) of formulations of FMS. In fuzzy mathematics, fixed point theorems are emerging with fervent hope and firm confidence. Since then, numerous attempts to develop FP theorems in fuzzy mathematics have been made (see, for instance, ^{[7,8,9,10,11,12,13,14,15,16]}). Numerous fixed point and common fixed point results in FMS and Hausdorff metric spaces can be found in literature (see ^{[17,18,19,20,21]} and references therein). Literature shows that a lot of valuable and practical work is done in fuzzy set, rough set, soft set, intuitionistic set theories in several ways of decision making, decision models, pattern classifications and in other fields (see ^{[22,23,24,25,26,27,28,29]}).

The structure of paper is as follows:

First of all, some basic concepts are recalled, the motivation behind this action is to facilitate the readers to have comprehensive knowledge about the fundamental definitions, examples and lemmas that are necessary to understand our established results. All these essentials are collected from previous research articles exist in the literature.

In Section 2, existence theorems regarding fuzzy FPs of FMs satisfying $\stackrel{´}{C}iri\stackrel{´}{c}$ type contractions are obtained in the framework of complete metric spaces. The result is equipped with an interesting example and an application. Further, some previous results are given as corollaries of our results.

Section 3 deals with some theoretical results. In this study, we have established fuzzy FPs of set-valued FM by using a contraction in the setting of complete FMS. The obtained results are furnished an example and applications. Previous results are given in the form of corollaries of obtained results.

Note: ⅰ) $CB\left({{\Omega} }\right)$ denotes the family of all closed and bounded subsets of metric space $(\mathit{\Omega} , d)$;

ⅱ) $Ќ\left({\Omega} \right)$ denotes the family of all compact subsets of fuzzy metric space $\left(\mathit{\Omega} , F, *\right).$

Hausdorff Metric Space. (^[16]) Let $(\mathit{\Omega} , d)$ be a MS. Hausdorff metric H on $CB\left({{\Omega} }\right)$ induced by $d$ is defined as $H({ A}, { B}) = max\{\underset{\mathit{\mu ϵ{ A}}}{\mathit{sup}}\;d\left(\mu , { B}\right), \underset{\mathit{\nu ϵ{ B}}}{\mathit{sup}}\;d({ A}, \nu )\}$ for all ${ A}, { B}\in CB(\mathit{\Omega}$), where

Lemma 1. (^[13]) Let $G$, ${ K}\in CB\left({{\Omega} }\right)$. If $\mu \in G$ then, $d\left(\mu , { K}\right)\le H\left(G, { K}\right)$ for all $\mu \in G.$

Lemma 2. (^[13]) Let $P$, $Q\in$ $CB\left({{\Omega} }\right)$ and $0 < \sigma \in \mathbb{R}$. Then, for $i\in P$, there exists $\zeta \in Q$ such that

Lemma 3. (^[13]) If $P, Q\in CB\left(\mathit{\Omega} \right)$ with $H({ P}, Q) < \varepsilon ,$ then for all $\mu \in P$ there exists $\upsilon \in Q$ such that $d(\mu , \upsilon ) < \varepsilon .$

Lemma 4. (^[13]) For $\mu \in {{\Omega} }\;and\;P\in CB\left({{\Omega} }\right),$ $d(\mu , P)\le d(\mu , \nu )$ for all $\nu \in P.$

Fuzzy Set. (^[1]) In the fuzzy theory, fuzzy set A of universe X is defined by function μ_A: X → [0, 1] called the membership function of set A

This definition of set allows a continuum of possible choices. For any element x of universe X, membership function μ_A(x) equals the degree to which x is an element of set A. This degree, a value between 0 and 1, represents the degree of membership, also called membership value, of element x in set A.

The $\alpha$-cut of fuzzy set A is defined as:

Fuzzy Mapping. (^[16]) Let ${\mathrm{\Psi }}_{1}$ be any set and ${\mathrm{\Psi }}_{2}$ be a metric space. A function $g:{\mathrm{\Psi }}_{1}\to F\left({\mathrm{\Psi }}_{2}\right)$ is called a FM. A FM $g$ is a FS on ${\mathrm{\Psi }}_{1}\times {\mathrm{\Psi }}_{2}$ with membership function $g\left(x\right)\left(y\right).$ The image $g\left(x\right)\left(y\right)$ is the grade of membership of $y$ in $g\left(x\right)$.

Fuzzy Fixed Point. (^[13]) Suppose $(\mathrm{\Psi }, d)$ is a MS and $T:\mathrm{\Psi }\to F\left(\mathrm{\Psi }\right).$ A point $z\in \mathrm{\Psi }$ is a fuzzy FP of $T$ if $z\in {\left[Tz\right]}_{\alpha }$ for some $\alpha \in (0, 1]$.

Common Fuzzy Fixed Point. (^[16]) Consider a MS $(\mathrm{\Psi }, d)$ and ${T}_{1}, {T}_{2}:\mathrm{\Psi }\to F\left(\mathrm{\Psi }\right)$. A point $z\in \mathrm{\Psi }$ is a fuzzy common FP of ${T}_{1}$ $\mathrm{a}\mathrm{n}\mathrm{d}\;{T}_{2}$ if $z\in {\left[{T}_{1}z\right]}_{{\alpha }_{{T}_{1}}}\cap {\left[{T}_{2}z\right]}_{{\alpha }_{{T}_{2}}}$ for some ${\alpha }_{{T}_{1}}, {\alpha }_{{T}_{2}}\in (0, 1]$.

$\stackrel{´}{{\bf C}}{\bf i}{\bf r}{\bf i}\stackrel{´}{{\bf c}}$ Type Contraction for Fuzzy Mappings. Let $({{\Omega} }, d)$ be a complete MS and $G:{{\Omega} }\to F\left({{\Omega} }\right)$ be a fuzzy map. Let ${\left[G\right(u\left)\right]}_{\alpha }\;and\;{\left[G\right(v\left)\right]}_{\alpha }$ be non-empty closed and bounded subsets of ${{\Omega} }$, the condition

$\mathrm{w}\mathrm{h}\mathrm{e}\mathrm{r}\mathrm{e}\alpha , \beta , \gamma \ge 0\;\;\mathrm{a}\mathrm{n}\mathrm{d}\;\;\alpha +2\beta +2\gamma < 1$ is $\stackrel{´}{\mathrm{C}}\mathrm{i}\mathrm{r}\mathrm{i}\stackrel{´}{\mathrm{c}}$ type contraction for FM.

Triangular Norm. (^[17]) A map ${*}$ from $[0, 1] \times [0, 1]$ to $[0, 1]$ is called continuous triangular norm (t-norm) or a conjunction, if following conditions are fulfilled for all ${\varrho }, {\sigma }, {\varsigma }, {\tau }\in [0, 1]$:

(1) Symmetry: $\varrho *\sigma = \sigma *\varrho$;

(2) Monotonicity: $\varrho *\sigma \le \varsigma *\tau , if\varrho \le \varsigma \;and\; \sigma \le \tau ;$

(3) Associativity: $\left(\varrho *\left(\sigma *\varsigma \right)\right) = \left(\left(\varrho *\sigma \right)*\varsigma \right);$

(4) Boundary condition: $1 {*}{\varrho } = {\varrho }$.

The following are three basic t-norms:

$(1) \; \varrho *\sigma = min\left(\varrho , \sigma \right);$

$(2) \; \varrho *\sigma = \varrho \sigma ;$

$(3) \; \varrho *\sigma = max\left(\varrho +\sigma -1, 0\right).$

Fuzzy Metric Space. (^[6]) The triple $({{\Omega} }, M, *)$ is known as FMS if ${{\Omega} }$ is an arbitrary set, $*$ is t-norm and $M$ is a FS on ${{\Omega} }\times {{\Omega} }\times \left[0, \infty \right)$ s.t $\forall \xi , \eta , \zeta \in {{\Omega} }$ and $\mu , \nu \ge 0$ we have:

$\left(M1\right) \;M\left(\xi , \eta , 0\right) = 0;$

$\left(M2\right)\; M\left(\xi , \eta , \mu \right) = 1, \forall \mu > 0\;\mathrm{i}\mathrm{f}\mathrm{f}\;\mathrm{\xi } = {\rm{ \mathsf{ η} }};$

$\left(M3\right)\;M\left(\xi , \eta , \mu \right) = M(\eta , \xi , \mu )$

$\left(M4\right) \;M\left(\xi , \zeta , \mu +\nu \right)\ge M\left(\xi , \eta , \mu \right)*M\left(\eta , \zeta , \nu \right);$

$\left(M5\right) \;M\left(\xi , \eta , .\right):\left.(0, \infty \right)\to \left[0, 1\right]$ is continuous.

Example 1. Let $\left(\mathit{\Omega} , d\right)$ be a MS. Define $M:\mathit{\Omega} \times \mathit{\Omega} \times {\mathbb{R}}^{+}\cup \left\{0\right\}\to [0, 1]$ as

for all $\eta , \lambda \in \mathit{\Omega}$ and μ ≥ 0 is a fuzzy MS.

Example 2. Let $({\Omega} , d)$ be a bounded MS with $d(u, v) < \kappa$ (for all $u, v\in {\Omega} ,$ where $\kappa$ is fixed constant in $(0, \infty ))$ and $G:{\mathbb{R}}^{+}\to (\kappa , \infty )$ be an increasing continuous function. Define a function $M:{{{\Omega} }}^{2}\times (0, \infty )\to [0, 1]$ as

$M(u, v, \lambda ) = 1-\frac{d(u, v)}{G\left(\lambda \right)}$, for all $u, v\in {\Omega} ,$ and $\lambda > 0.$

Then $({\Omega} , M, *)$ is a FMS on ${\Omega}$ where $*$ is a Lukasiewicz t-norm.

Example 3. Let $({{\Omega} }, d)$ be a MS. Define $\mu *\nu = \mu \nu (or \;\mu *\nu = min\{\mu , \nu \left\}\right)$ for all $\mu , \nu \in \left[\mathrm{0, 1}\right]$. Then, one can define a fuzzy metric $F$ by $F(\xi , \eta , \sigma ) = \frac{\sigma }{\sigma +d(\xi , \eta )}$ for all $\xi , \eta \in {{\Omega} }\;\mathrm{a}\mathrm{n}\mathrm{d}\;\sigma \ge 0.$

Example 4. Let ${\Omega}$ be a non-empty set, $f:{\Omega} \to {\mathbb{R}}^{+}$ be a one-one function and $g:{\mathbb{R}}^{+}\to [0, \infty )$ be an increasing continuous function. For fixed $\alpha , \beta > 0,$ define M: ${{\Omega} }^{2}\times (0, \infty )\to [0, 1]$ as $M(u, v, \lambda ) = {\left(\frac{{min\{f\left(u\right), f\left(v\right)\}}^{\alpha }+g\left(\lambda \right)}{{max\{f\left(u\right), f\left(v\right)\}}^{\alpha }+g\left(\lambda \right)}\right)}^{\beta }$, for all $u, v\in {\Omega}$ and $\lambda > 0.$

Then $({\Omega} , M, *)$ is a FMS on ${\Omega}$ where $*$ is the product t-norm.

Convergent Sequence in Fuzzy Metric Space. (^[7]) Let $({{\Omega} }, M, *)$ be a FMS. A sequence $\left\{{\omega }_{n}\right\}$ in ${{\Omega} }$ is said to be convergent to a point $\omega \in {{\Omega} }$ if $\underset{n\to \infty }{\mathrm{lim}}M({\omega }_{n}, \omega , \mu ) = 1$ for all $\mu > 0.$

Cauchy Sequence in Fuzzy Metric Space. (^[7]) Let $({{\Omega} }, M, *)$ be a fuzzy MS. A sequence $\left\{{\omega }_{n}\right\}$ in a FMS $({{\Omega} }, M, *)$ is said to be Cauchy sequence if for every $\varepsilon \in \left(\mathrm{0, 1}\right)$ and ${\rm{ \mathsf{ μ}}} > 0$ there exists ${n}_{0}\in \mathbb{N}$ such that

Complete Fuzzy Metric Space. (^[7]) A FMS in which every Cauchy sequence is convergent is called complete.

Hausdorff Fuzzy Metric. (^[4]) Let $({{\Omega} }, F, *)$ be a FMS. Hausdorff FM ${H}_{F}$ on $Ќ\left({{\Omega} }\right) \times Ќ\left({{\Omega} }\right)\times (0, \infty )$ to $\left[\mathrm{0, 1}\right]$ is defined as: ${H}_{F}(A, B, \rho ) = min\{\underset{i\in A}{\mathrm{inf}}(\underset{j\in B}{\mathrm{sup}}\;F\left(i, j, \rho \right)), \underset{j\in B}{\mathrm{inf}}(\underset{i\in A}{\mathrm{sup}}\;F\left(i, j, \rho \right))\}$, for all $A, B\in Ќ \left({{\Omega} }\right)$ and $\rho > 0$, where $Ќ \left(X\right)$ is the collection of all non-empty compact subsets of ${{\Omega} }$.

Lemma 5. (^[4]) Let $({{\Omega} }, F, *)$ be a complete FMS, such that $\left(Ќ \right({{\Omega} }), {H}_{F}, *)$ is a Hausdorff fuzzy MS on $Ќ \left({{\Omega} }\right).$ Then for all $S, G\in Ќ \left(X\right),$ for all $u\in S$ and for $\lambda > 0,$ there exist ${v}_{u}\in G$ satisfies

Then, ${H}_{F}(S, G, \lambda )\le F(u, {v}_{u}, \lambda ).$

Lemma 6. (^[14]) Let $({{\Omega} }, F, *)$ be a complete FMS, if there exist $\sigma \in \left(\mathrm{0, 1}\right)$ such that $F(\xi , \eta , \sigma \lambda )\ge F(\xi , \eta , \lambda )$ for all $\xi , \eta , \in {{\Omega} }$ and $\lambda \in (0, \infty ),$ then $\eta = \xi$.

Lemma 7. (^[14]) Let $({{\Omega} }, F, *)$ be a FMS. Then, for each $i\in {{\Omega} }, B\in Ќ\left({{\Omega} }\right)$ and for $\tau > 0$ there exists ${j}_{0}\in B$ such that

Where $Ќ \left(X\right)$ is the collection of all non-empty compact subsets of ${{\Omega} }$.

Lemma 8. (^[14]) Let $B$ be any non-empty subset of a FMS $\left({{\Omega} }, F, *\right),$ for $\omega \in {{\Omega} }$ and $\tau > 0$ then,

2.   Fuzzy fixed points of fuzzy mappings in metric spaces

2.1.   Fuzzy fixed points for $\stackrel{´}{{\rm{C}}}{\rm{iri}}\stackrel{´}{{\rm{c}}}$ type contraction

In this section, we apply the Hasudorff metric for fuzzy sets to find the fuzzy fixed points of fuzzy mapping that meet a rational inequality. These results are free from the conditions of approximate quantity for $\mathrm{G}\left(\mathrm{x}\right)$ and linearity for ${{\Omega} }$.

Theorem 2.1. Let $\left({\Omega} , d\right)$ be a complete MS and $G: {\Omega} \to F\left({\Omega} \right)$ be a FM. Suppose for all $a, b\in {\Omega}$ there exists $\alpha \in \left(\mathrm{0, 1}\right]$ and ${\left[G\right(a\left)\right]}_{\alpha }$ and ${\left[G\right(b\left)\right]}_{\alpha }$) be non-empty closed and bounded subsets of Ω such that

$\mathrm{f}\mathrm{o}\mathrm{r}\;\rho , \beta , \gamma > 0\;\mathrm{a}\mathrm{n}\mathrm{d}\;\rho +2\beta +2\gamma < 1$. Then $G$ has a FP in Ω i.e there exists $u\in {\Omega}$ such that $u\in {\left[G\right(u\left)\right]}_{\alpha }$.

Proof. Since $\rho +2\beta +2\gamma < 1,$ so $\left(\frac{\rho +\beta +\gamma }{1-\beta -\gamma }\right) < 1.$ Consider $\lambda = \left(\frac{\rho +\beta +\gamma }{1-\beta -\gamma }\right).$

Let ${a}_{0}\in {\Omega}$ and ${\left[G\right({a}_{0}\left)\right]}_{\alpha }\ne 0$ be a closed and bounded subset of ${\Omega}$.

Let ${a}_{1}\in {\left[G\left({a}_{0}\right)\right]}_{\alpha }.Since \;G\left({a}_{1}\right)\ne \varnothing$ a closed and bounded subset of ${\Omega} ,$ using Lemma 2, there exists ${a}_{2}\in {\left[G\left({a}_{1}\right)\right]}_{\alpha }$ such that

Now ${\left[G\right({a}_{2}\left)\right]}_{\alpha }\ne \varnothing$ are also closed and bounded subset of ${\Omega}$. By using Lemma 2, there exist ${a}_{3}\in {\left[G\left({a}_{2}\right)\right]}_{\alpha }$ such that

Similarly, for ${a}_{n}\in {\left[G\left({a}_{n-1}\right)\right]}_{\alpha },$ we can choose ${a}_{n+1}\in {\left[G\right({a}_{n-1}\left)\right]}_{\alpha }$ such that

Now,

using (2.1) we get

Using triangular inequality we get

Thus,

Now,

using (2.1) we get

again using triangular inequality we get

Using (2.2) we get

Now,

applying (2.1) we get

Since $d\left({a}_{3}, {a}_{3}\right) = 0,$ this implies that

Again using triangular inequality we get

Using (2.3) we get

So,

Let $\mathrm{m}, \;\mathrm{n}\mathrm{ϵ}\mathbb{N}$ with $m > n$

applying (2.4) we get

When $m, n\to \infty$ then right hand side becomes zero. So,

Thus, {${a}_{n}\}$ is a Cauchy sequence in complete MS. Therefore, there exist $\mu \in {\Omega}$ such that ${a}_{n}\to \mu$. Now,

using (2.1) we get

As $n$ approaches to $\infty$ then,

Since $d\left(\mu , \mu \right) = 0.$ So, $(1-\beta -\gamma )d\left(\mu , {\left[G\left(\mu \right)\right]}_{\alpha }\right)\le 0.$

As $\rho +2\beta +2\gamma < 1,$ this implies that $\rho +\beta +\gamma < 1-\beta -\lambda ,$ therefore, $1-\beta -\lambda \ne 0$.

So only possibility is

This implies that $\mu \in {\left[G\left(\mu \right)\right]}_{\alpha }.$ Thus, $\mu$ is a FP of $G$.

Example 2.2. Let ${\Omega} = \left[0, 2\right]$ be a usual MS which is complete and $J:{\Omega} \to F\left({\Omega} \right)$ be a FM such that $J\left(w\right)\in F\left({\Omega} \right),$ where $w\in {\Omega}$ and $J\left(w\right): {\Omega} \to \left[\mathrm{0, 1}\right]$ is a function defined as

Taking $\alpha = \frac{1}{2}$ we define

Now,

Take $\rho = \frac{1}{10}, \beta = \frac{1}{4}$ and $\gamma = \frac{1}{4}$, we get

So, for all $w, v\in {{\Omega} }$ the conditions of Theorem 2.1, are satisfied. Hence $J$ has FP in ${{\Omega} }.$

Corollary 2.3. Let $\left({\Omega} , d\right)$ be a complete MS and $G: {\Omega} \to F\left({\Omega} \right)$ be an FM. Suppose for all $a, b\in {\Omega}$ there exists $\alpha \in \left(\mathrm{0, 1}\right]$ and ${\left[G\right(a\left)\right]}_{\alpha }$, ${\left[G\right(b\left)\right]}_{\alpha }$)) $\in CB\left({\Omega} \right)$ such that

$\mathrm{f}\mathrm{o}\mathrm{r}\rho , \beta > 0\;\mathrm{a}\mathrm{n}\mathrm{d}\;\rho +2\beta < 1$. Then $G$ has a FP in Ω.

Corollary 2.4. Let $\left({\Omega} , d\right)$ be a complete MS and $G: {\Omega} \to F\left({\Omega} \right)$ be an FM. Suppose for all $a, b\in {\Omega}$ there exists $\alpha \in \left(\mathrm{0, 1}\right]$ and ${\left[G\right(a\left)\right]}_{\alpha }$, ${\left[G\right(b\left)\right]}_{\alpha }$)$\in CB\left({\Omega} \right)$ such that

$\mathrm{f}\mathrm{o}\mathrm{r}\;\rho , \gamma > 0\;\mathrm{a}\mathrm{n}\mathrm{d}\;\rho +2\gamma < 1$. Then $G$ has an FP in Ω.

Corollary 2.5. Let $\left({\Omega} , d\right)$ be a complete MS and $G: {\Omega} \to F\left({\Omega} \right)$ be an FM. Suppose for all $a, b\in {\Omega}$ there exists $\alpha \in \left(\mathrm{0, 1}\right]$ and ${\left[G\right(a\left)\right]}_{\alpha }$, ${\left[G\right(b\left)\right]}_{\alpha }$)) $\in CB\left({\Omega} \right)$ such that

$\mathrm{f}\mathrm{o}\mathrm{r}\;0 < \rho < 1$. Then $G$ has an FP in Ω.

Corollary 2.6. Let $\left({\Omega} , d\right)$ be a complete MS and $G: {\Omega} \to F\left({\Omega} \right)$ be an FM. Suppose for all $a, b\in {\Omega}$ there exists $\alpha \in \left(\mathrm{0, 1}\right]$ and ${\left[G\right(a\left)\right]}_{\alpha }$, ${\left[G\right(b\left)\right]}_{\alpha }$)) $\in CB\left({\Omega} \right)$ such that

$\mathrm{f}\mathrm{o}\mathrm{r}\;0 < 2\beta < 1$. Then $G$ has an FP in Ω.

Corollary 2.7. Let $\left({\Omega} , d\right)$ be a complete MS and $G: {\Omega} \to F\left({\Omega} \right)$ be an FM. Suppose for all $a, b\in {\Omega}$ there exist $\alpha \in \left(\mathrm{0, 1}\right]$ and ${\left[G\right(a\left)\right]}_{\alpha }$, ${\left[G\right(b\left)\right]}_{\alpha }$)$\in CB\left({\Omega} \right)$ such that

$\mathrm{f}\mathrm{o}\mathrm{r}\;0 < 2\gamma < 1$. Then $G$ has an FP in Ω.

2.2.   Application

As an application of the fuzzy fixed point result of the previous section we obtain fixed points of multivalued mappings (see, ^[30]).

Theorem. Let $\left({\Omega} , d\right)$ be a complete MS and $A: {\Omega} \to CB\left({\Omega} \right)$ be a multi-valued mapping. Suppose for all $a, b\in {\Omega}$ $A\left(a\right)$ and $A\left(b\right)$ be non-empty closed and bounded subsets of Ω such that

$\mathrm{f}\mathrm{o}\mathrm{r}\;\rho , \beta , \gamma > 0\;\mathrm{a}\mathrm{n}\mathrm{d}\;\rho +2\beta +2\gamma < 1$. Then $G$ has a FP in Ω i.e., there exists $u\in {\Omega}$ such that $u\in A\left(u\right)$.

Proof. Consider an arbitrary mapping $S:{{\Omega} }⟶(0, 1]$ and a fuzzy mapping $G:{{\Omega} }\to F\left({{\Omega} }\right)$ defined by

Then for $x\in {{\Omega} },$

Therefore, Theorem 2.1 can be applied to obtain $u\in$ ${{\Omega} }$ such that $u\in$ ${\left[G{u}^{*}\right]}_{\alpha }$ = ${Au}^{*}$.

Corollary. (^[30]) Let $\left({\Omega} , d\right)$ be a complete MS and $A: {\Omega} \to CB\left({\Omega} \right)$ be a multi-valued mapping. Suppose for all $a, b\in {\Omega}$ $A\left(a\right)$ and $A\left(b\right)$ be non-empty closed and bounded subsets of Ω such that

$\mathrm{f}\mathrm{o}\mathrm{r}\;\rho > 0\;\mathrm{a}\mathrm{n}\mathrm{d}\;\rho < 1$. Then $G$ has an FP in Ω i.e., there exists $u\in {\Omega}$ such that $u\in A\left(u\right)$.

Proof. By setting $\beta = 0$ and $\gamma = 0$ in above theorem, we can find the required result.

3.   Fuzzy fixed points of fuzzy mappings in fuzzy metric spaces

This section deals with the existence theorems for fixed point of fuzzy mappings satisfying Nadler's type contractions in complete fuzzy metric space. An example and applications are incorporated to demonstrate the obtained results.

Theorem 3.1. Let $({{\Omega} }, F, *)$ be a complete FMS and $S:{{\Omega} }:\to F\left({{\Omega} }\right)$ be an FM satisfying these conditions:

where,

for all $\mathit{i}, \mathit{j}\in { {\Omega} }, {\alpha }\in (0, 1]$ and ${\kappa }\in (0, 1)$ such that $[{\mathit{S}\mathit{i}]}_{{\alpha }\left(\mathit{i}\right)}$ and $[{\mathit{S}\mathit{j}]}_{{\alpha }\left(\mathit{j}\right)}$ are compact subsets of ${ {\Omega} }$. Then, $\mathit{S}$ has an FP.

Proof. Let ${\mathit{i}}_{0}$ be any point in ${ {\Omega} }$. We construct a sequence $\left\{{\mathit{i}}_{\mathit{n}}\right\}$ of points in ${ {\Omega} }$ as follows:

For ${\mathit{i}}_{1}\in { {\Omega} },$ consider that ${\mathit{i}}_{1}\in [{{\mathit{S}\mathit{i}}_{0}]}_{{{\alpha }(\mathit{i}}_{0})}$, by using Lemma 5, we can choose ${\mathit{i}}_{2}\in [{{\mathit{S}\mathit{i}}_{1}]}_{{{\alpha }(\mathit{i}}_{1})}$ such that

By induction we can write ${\mathit{i}}_{\mathit{n}+1}\in [{{\mathit{S}\mathit{i}}_{\mathit{n}}]}_{{{\alpha }(\mathit{i}}_{\mathit{n}})}$, for all $\mathit{n}\in \mathbb{N}$, satisfying

Now,

By using inequality (3.2) we get

where,

If $\mathit{F}\left({\mathit{i}}_{1}, {\mathit{i}}_{2}, \frac{{\lambda }}{{\kappa }}\right)\ge \mathit{F}\left({\mathit{i}}_{2}, {\mathit{i}}_{3}, \frac{{\lambda }}{{\kappa }}\right)$ then, by (3.3), we have

So, by the Lemma 6 nothing left to prove. Now, if we have

then, again by Lemma 5, we have $\mathit{F}({\mathit{i}}_{2}, {\mathit{i}}_{3}, {\lambda })\ge \mathit{F}({\mathit{i}}_{1}, {\mathit{i}}_{2}, \frac{{\lambda }}{{\kappa }})$

where,

If,

then, again by Lemma 6, nothing left to prove. If,

then, by (3.4) we have

Consequently,

Now, for $m > n,$ that is $m = n+p$ we have

by using (3.5), we get

Now, taking $\underset{n\to \infty }{\mathit{lim}}\;\mathrm{a}\mathrm{n}\mathrm{d}\;$ using (3.1) we have,

Hence, $\left\{{i}_{n}\right\}$ is a Cauchy sequence in ${{\Omega} }$. So, by completeness there exists $z\in {{\Omega} }$ such that ${i}_{n}\to z$. Now, we claim that $z$ is an FP of $S$.

Consider,

where

Taking $\underset{n\to \infty }{lim}$ in above inequality, we get

If,

then, we get $z$ is the fuzzy fixed point for S. If

then, by using (3.6) we have,

Now, taking $\genfrac{}{}{0pt}{}{lim}{n\to \infty }$, we get $z\in [{Sz]}_{\alpha \left(z\right)}.$ Hence $z$ is a fuzzy FP of $S$.

Example. Let $({\Omega} , d)$ be a bounded MS with $d(i, j) < \lambda$ and ${\Omega} = \left[1, 3\right]$ (for all $i, j\in {\Omega} ,$ where $\lambda$ is fixed constant in $(0, \infty ))$ and $G:{\mathbb{R}}^{+}\to (\lambda , \infty )$ be an increasing continuous function defined as $G\left(\lambda \right) = \lambda +2$.

Define a function $F:{{{\Omega} }}^{2}\times (0, \infty )\to [0, 1]$ as

Then $({\Omega} , F, *)$ is a complete fuzzy metric space, where $*$ is a Lukasiewicz t-norm.

Define a fuzzy map $S:{\Omega} \to F\left({\Omega} \right)$ as

Now for $\alpha = \frac{1}{2},$

It is to be noted that

and

for all ${\left[Si\right]}_{\frac{1}{2}}, {\left[Sj\right]}_{\frac{1}{2}}\in Ќ\left({\Omega} \right),$ $k =$ $\frac{1}{2}$ and $\lambda > 0.$

We also find

Thus, all the conditions of Theorem 3.1 are satisfied. So $S$ has a fuzzy fixed point in fuzzy metric space.

Corollary 3.2. Let $({{\Omega} }, F, *)$ be a FMS and $S:{{\Omega} }:\to F\left({{\Omega} }\right)$ be an FM satisfying these conditions:

for all $\mathit{i}, \mathit{j}\in { {\Omega} }, {\alpha }\in (0, 1]$ and ${\kappa }\in (0, 1)$ such that $[{\mathit{S}\mathit{i}]}_{{\alpha }\left(\mathit{i}\right)}$ and $[{\mathit{S}\mathit{j}]}_{{\alpha }\left(\mathit{j}\right)}$ are compact subsets of ${ {\Omega} }$. Then, $\mathit{S}$ has an FP.

Definition 3.3. Let us define,

is a collection of all continuous function such that $\omega \left(1\right) = 1, \omega \left(0\right) = 0$, $\omega \left(\upsilon \right) > \upsilon$ for all $0 < \upsilon < 1.$

Theorem 3.4. Let $({{\Omega} }, F, *)$ be a complete FMS and $S:{{\Omega} }\to F\left({{\Omega} }\right)$ be an FM satisfying these conditions:

where,

for all $p, q\in {{\Omega} }, \alpha \in (0, 1], \kappa \in (0, 1)\;\mathrm{a}\mathrm{n}\mathrm{d}\;\omega \in \mathrm{\Gamma }$ such that ${\left[Sp\right]}_{\alpha \left(p\right)}$ and $[{Sq]}_{\alpha \left(q\right)}$ are compact subsets of ${{\Omega} }$. Then, $S$ has an FP.

Proof. Using Definition 3.3, we get $\omega \left(\upsilon \right) > \upsilon$ for all $0 < \upsilon < 1$.

Thus,

Now, using Theorem 3.1, we get the desired result.

Corollary 3.5. Let $({{\Omega} }, F, *)$ be a complete FMS and $S:{{\Omega} }\to F\left({{\Omega} }\right)$ be an FM satisfying these conditions:

for all $p, q\in {{\Omega} }, \alpha \in (0, 1], \kappa \in (0, 1)\;\mathrm{a}\mathrm{n}\mathrm{d}\;\omega \in \mathrm{\Gamma }$ such that ${\left[Sp\right]}_{\alpha \left(p\right)}$ and $[{Sq]}_{\alpha \left(q\right)}$ are compact subsets of ${{\Omega} }$. Then, $S$ has an FP.

Applications:

Let us define a function $\vartheta : \; [0, \infty )\to [0, \infty )$ as

be a non-decreasing and continuous function. Moreover for each $\delta > 0, \rho \left(\delta \right) > 0.$ Also $\rho \left(\lambda \right) = 0\;\mathrm{i}\mathrm{f}\;\mathrm{a}\mathrm{n}\mathrm{d}\;\mathrm{o}\mathrm{n}\mathrm{l}\mathrm{y}\;\mathrm{i}\mathrm{f}\;\lambda = 0$.

Theorem 3.6. Let $({{\Omega} }, F, *)$ be a complete FMS and $S:{{\Omega} }\to F\left({{\Omega} }\right)$ be an FM satisfying these conditions:

where,

for all $p, q\in {{\Omega} }, \rho \left(\lambda \right)\in [0, \infty ), \alpha \in (0, 1]\;\mathrm{a}\mathrm{n}\mathrm{d}\;\kappa \in (0, 1)$ such that ${\left[Sp\right]}_{\alpha \left(p\right)}$ and ${\left[Sq\right]}_{\alpha \left(q\right)}$ are compact subsets of ${{\Omega} }$. Then $S$ has an FP.

Proof. Let us take $\rho \left(\lambda \right) = 1$ and using Theorem 3.1, we get the desired result.

Theorem 3.7. Let $({{\Omega} }, F, *)$ be a complete FMS and $S:{{\Omega} }\to F\left({{\Omega} }\right)$ be an FM satisfying these conditions:

where,

for all $p, q\in {{\Omega} }, \rho \left(\lambda \right)\in [0, \infty ), \omega \in \mathrm{\Gamma }, \alpha \in (0, 1]$ and $k\in (0, 1)$ such that ${\left[Sx\right]}_{\alpha \left(x\right)}$ and ${\left[Sy\right]}_{\alpha \left(y\right)}$ are compact subsets of ${{\Omega} }$. Then $S$ has an FP.

Proof. Using Definition 3.3, we get $\omega \left(\upsilon \right) > \upsilon$ for all $0 < \upsilon < 1$.

Taking $\rho \left(\lambda \right) = 1$ and using Theorem 3.4, we get the desired result.

4.   Conclusions

In order to demonstrate the existence and uniqueness of solutions to distinct mathematical models, fixed point theorems are crucial tools. Results that identify fixed points of self and nonself nonlinear operators in a metric space are widely published in the last 40 years. Among various developments of fuzzy sets theory, a progressive development has been made to find the fuzzy analogues of fixed point results of the classical fixed point theorems. In this research, we employ two generalized contractive conditions, i.e., $\stackrel{´}{\mathrm{C}}\mathrm{i}\mathrm{r}\mathrm{i}\stackrel{´}{\mathrm{c}}$ type contraction and Nadler's type contraction incorporating rational expressions in the setting of metric and fuzzy metric spaces respectively to study fuzzy fixed point theorems for fuzzy set valued mappings. Completion is compulsory for both spaces in order to ensure the existence of fuzzy fixed points. Examples and applications that emphasis and support our obtained results are integrated. From the pertinent literature, there are additional previous conclusions that are provided as corollaries. Since Fuzzy mappings are generalized form of multi-valued mappings, so in this way many fixed point results exist in the relevant literature have been generalized by our obtained results.

5.   Possible future developments

We conclude this paper by indicating, in the form of open questions, some directions for further investigation and work.

(1) Can the condition of $\rho +2\beta +2\gamma < 1$ in Theorem 2.1 be relaxed?

(2) If the answer to 1 is yes, then what hypotheses is needed to guarantee the existence of fixed point of G?

(3) Whether the condition ${H}_{F}\left(\right[{Si]}_{\alpha \left(i\right)}, \left[{Sj]}_{\alpha \left(j\right)}, k\lambda \right)\le \mu \left(i, j, \lambda \right),$ in Theorem 3.1 can be applied to ensure the existence of fixed point.

(4) Can the concept offered in this article be extended to more than one mappings?

Acknowledgments

The research of Santos-Garcia was funded by the project ProCode-UCM (PID2019-108528RB-C22) from the Spanish Ministerio de Ciencia e Innovacion.

Conflict of interest

The authors declare the there is no conflict of interest regarding the publications.