Abstract
In this paper, we introduce a new class of control functions, namely extended \(\mathcal{FZ}\)-simulation functions, and employ it to define a new contractive condition. We also prove some new fixed and best proximity point results in the context of an M-complete fuzzy metric space. The presented theorems unify, generalize, and improve several existing results in the literature.
Similar content being viewed by others
1 Introduction
Fixed point theory is one of the central parts of research in functional analysis that provides several mathematical concepts and fruitful tools for the resolution of many problems arising from different fields of engineering and sciences. Due to its potential applicability, the Banach contraction principle is one of the most crucial results, and it asserts that every self-contraction \(\mathcal{G}\) defined on a complete metric space X admits a unique fixed point. This influential result has been generalized and extended in different approaches and several abstract spaces (see [1–19]). In particular, Khojasteh et al. [2] proposed a new approach to the study of fixed point theory based on the notion of simulation functions which exhibit a significant unifying power over several known results. Roldán et al. [20] slightly revised the previous notion of simulation function by reformulating the definition given in [2]. In sequential study, Demma et al. [13] extended and generalized the concept of simulation functions on a b-metric framework by providing a new concept of b-simulation functions, and then in connection with existing fixed point results of [2], the authors addressed several new ones. Roldán and Samet [11] developed the family of extended simulation functions with respect to a lower semi-continuous mapping. The usefulness and applicability of these control functions have inspirited many authors to diversify it further in different metric spaces (see e.g. [4, 8, 9, 11, 13, 15, 20–23]).
On the other hand, the non-self-mapping \(\mathcal{G}:U\to V\) with \(U\cap V=\emptyset \) does not have a fixed point. In this case, it is of interest to find an element x in U such that \(d(x,\mathcal{G}x)\) is minimum. Since \(d(U,V)\leq d(x,\mathcal{G}x)\), for all \(x\in U\), the point x in U which satisfies the condition \(d(x,\mathcal{G}x)=d(U, V)\) is called best proximity point. A best proximity theorem enunciates sufficient conditions for the existence of a best proximity point of the mapping \(\mathcal{G}\). In fact, best proximity theorems are natural generalizations of fixed point theorems.
The concept of fuzzy metric space was introduced by Kramosil and Michalek [24] and further modified by George and Veeramani [25] with the purpose of obtaining a Hausdorff topology. Later on, Gregori and Sapena [26] introduced the concept of fuzzy contractive mappings and proved a fixed point result in the setting of fuzzy metric space. In [27], Mihet proposed the class of ψ-contractive mappings, which is larger than the class of fuzzy contractive mappings given in [26]. Following this direction, Wardowski [28] presented and studied the concept of \(\mathcal{H}\)-contractive mappings. Very recently, inspired by the approach in [2], Melliani and Moussaoui [3] (see also [4]) initiated the study of \(\mathcal{FZ}\)-contractions involving a new class of simulation functions which provides a unique and common point of view for several previously known concepts in the context of fuzzy metric spaces such as fuzzy contractive, fuzzy ψ-contractive, and \(\mathcal{H}\)-contractive mappings.
In the present paper, we introduce a new class of control functions, namely extended \(\mathcal{FZ}\)-simulation functions, we prove some fixed points results in the context of an M-complete fuzzy metric space by defining a new contractive condition via the same class. The presented theorems unify, generalize, and improve several existing results in the literature.
2 Preliminaries
Throughout this paper, \(\mathbb{N}\) and \(\mathbb{R}\) will stand for the set of all positive integer numbers and the set of all real numbers, respectively.
Definition 1
([29])
A binary operation \(\ast :[0,1]\times [0,1] \longrightarrow [0,1]\) is called a continuous triangular norm if it satisfies the following conditions:
- \((T_{1})\):
-
∗ is continuous;
- \((T_{2})\):
-
∗ is commutative and associative;
- \((T_{3})\):
-
\(a\ast 1 =a\) for all \(a\in [0,1]\);
- \((T_{4})\):
-
\(a\ast b \leq c\ast d \) whenever \(a\leq c\) and \(b\leq d \) for all \(a,b,c,d \in [0,1]\).
Example 1
The following instances are classical examples of continuous t-norm:
- 1.:
-
\(a\ast b = \min \{a,b\}\) for all \(a,b\in [0,1]\);
- 2.:
-
\(a\ast b = \max \{0,a+b-1\}\) for all \(a,b\in [0,1]\);
- 3.:
-
\(a\ast b= a\cdot b \) for all \(a,b\in [0,1]\).
Definition 2
([25])
The 3-tuple \((X,M,\ast )\) is said to be a fuzzy metric space (in the sense of George and Veeramani) if X is an arbitrary set, ∗ is a continuous t-norm, and M is a fuzzy set on \(X^{2}\times (0,\infty )\) satisfying the following conditions:
- \((\mathcal{FM}_{1})\):
-
\(M(x,y,t)>0 \);
- \((\mathcal{FM}_{2})\):
-
\(M(x,y,t)=1\) if and only if \(x=y \);
- \((\mathcal{FM}_{3})\):
-
\(M(x,y,t)= M (y,x,t)\);
- \((\mathcal{FM}_{4})\):
-
\(M (x,y,t) \ast M(y,z,s)\leq M(x,z,t+s)\);
- \((\mathcal{FM}_{5})\):
-
\(M(x,y,.): (0,\infty ) \rightarrow (0,1] \) is continuous;
for all \(x,y,z \in X\) and \(s,t > 0\).
An ordered triple \((X,M,\ast )\) is said to be a strong fuzzy metric space if the triangular inequality \((\mathcal{FM}_{4})\) of Definition 2 is replaced by the following one:
- \((\mathcal{FM}_{4})^{\prime } \)::
-
\(M(x,y,t) \ast M(y,z,t)\leq M(x,z,t)\) for all \(x,y,z \in X\) and \(t > 0\).
For further details and topological results, the reader is refereed to [24–26, 30].
Remark 1
In view of \((\mathcal{FM}_{1})\) and \((\mathcal{FM}_{2})\) we have \(0< M (x,y,t)<1\) for all \(x\neq y\) and \(t>0\) (see [31]).
Example 2
([25])
Let \((X,d)\) be a metric space. Define \(a\ast b=\min \{a,b\}\) for all \(a,b\in [0,1]\) and the function \(M_{d}:X\times X \times (0,\infty ) \rightarrow [0,1]\) by
Then \((X,M_{d},\ast )\) is a fuzzy metric space, \(M_{d}\) is called standard fuzzy metric induced by d.
Lemma 1
([32])
\(M(x, y, \cdot)\) is nondecreasing for all x, y in X.
Definition 3
Let \((X,M,\ast )\) be a fuzzy metric space.
-
1.
A sequence \(\{x_{n}\}\subseteq X\) is said to be convergent and converges to \(x\in X\) if and only if \(\lim_{n \to \infty }M(x_{n},x,t) =1\) for all \(t>0\).
-
2.
A sequence \(\{x_{n}\}\subseteq X\) is said to be an M-Cauchy sequence if and only if, for each \(\varepsilon \in (0,1)\) and \(t>0\), there exists \(n_{0}\in \mathbb{N}\) such that \(M(x_{n},x_{m},t)> 1-\varepsilon \) for all \(n,m \geq n_{0}\).
-
3.
A sequence \(\{x_{n}\}\subseteq X\) is said to be a G-Cauchy sequence if \(M(x_{n},x_{n+p},t)=1\) for all \(p\in \mathbb{N}\) and \(t>0\).
-
4.
A fuzzy metric space in which every M-Cauchy (G-Cauchy) sequence is convergent is called an M-complete (G-complete) fuzzy metric space.
Definition 4
([26])
Let \((X,M,\ast )\) be a fuzzy metric space. A mapping \(\mathcal{G} : X\rightarrow X \) is said to be fuzzy contractive mapping if there exists \(\lambda \in (0, 1)\) such that
for each \(x,y \in X\) and \(t >0\).
Let Ψ be the class of all functions \(\psi : (0, 1] \rightarrow (0, 1]\) such that ψ is continuous, nondecreasing and \(\psi (\ell ) > \ell \) for all \(\ell \in (0, 1)\).
Definition 5
([27])
Let \((X,M,\ast )\) be a fuzzy metric space. A mapping \(\mathcal{G} :X\to X \) is said to be a fuzzy ψ-contractive mapping if
Let \(\mathcal{H}\) be a family of the mappings \(\eta : (0,1]\longrightarrow [0,\infty )\) satisfying the following conditions:
- \(\mathcal{C}_{1}\)):
-
η transforms \((0,1]\) onto \([0,\infty )\);
- \(\mathcal{C}_{2}\)):
-
η is strictly decreasing.
Definition 6
([28])
Let \((X,M,\ast )\) be a fuzzy metric space. A mapping \(\mathcal{G} :X\rightarrow X\) is said to be fuzzy \(\mathcal{H}\)-contractive with respect to η∈ \(\mathcal{H}\) if there exists \(\lambda (0,1) \) such that
Definition 7
The function \(\zeta : (0,1]\times (0,1]\to \mathbb{R}\) is said to be an \(\mathcal{FZ}\)-simulation function if the following properties hold:
- \((\zeta 1)\):
-
\(\zeta (1,1)= 0\);
- \((\zeta 2)\):
-
\(\zeta (t,s)< \frac{1}{s} - \frac{1}{t} \) for all \(t,s \in (0,1)\);
- \((\zeta 3)\):
-
If \(\{{t_{n}} \}\), \(\{{s_{n}}\} \) are sequences in \((0,1]\) such that \(\lim_{n \to \infty}t_{n}=\lim_{n \to \infty}s_{n}<1 \), then \(\limsup_{n \to \infty}\zeta (t_{n},s_{n})<0\).
The collection of all \(\mathcal{FZ}\)-simulation functions is denoted by \(\mathcal{FZ}\).
Definition 8
Let \((X,M,\ast )\) be a fuzzy metric space, \(\mathcal{G}:X\longrightarrow X\) be a mapping, and \(\zeta \in \mathcal{FZ}\). Then \(\mathcal{G}\) is called an \(\mathcal{FZ}\)-contraction with respect to ζ if the following condition is satisfied:
Example 3
Each fuzzy contractive mapping is an \(\mathcal{FZ}\)-contraction with respect to the \(\mathcal{FZ}\)-simulation function given by
where \(\lambda \in (0,1)\).
Example 4
Each ψ-contractive mapping is an \(\mathcal{FZ}\)-contraction with respect to the \(\mathcal{FZ}\)-simulation function given by
The authors in [3] proved the following result.
Theorem 1
Let \((X,M,\ast )\) be an M-complete strong fuzzy metric space and \(\mathcal{G}: X\longrightarrow X\) be an \(\mathcal{FZ}\)-contraction with respect to \(\zeta \in \mathcal{FZ}\). Then \(\mathcal{G}\) has a unique fixed point.
Let \((X,M,\ast )\) be a fuzzy metric space, \(\varphi :X \rightarrow (0,1] \) be a given function, and \(\mathcal{G}: X \rightarrow X\) be a mapping. The set of all fixed points of T will be denoted by
The set of all ones of the function φ will be denoted by
Sezen et al. [33] presented the notion of fuzzy φ-fixed point as follows.
Definition 9
([33])
Let X be a nonempty set, \(\varphi :X\to (0,1]\) be a given function, and \(\mathcal{G}:X\to X\). An element \(z\in X\) is said to be a fuzzy φ-fixed point of the mapping \(\mathcal{G}\) if and only if \(z\in \operatorname{Fix}(\mathcal{G})\cap \mathcal{O}_{\varphi}\).
Let \(F : (0,1]^{3}\rightarrow (0,1] \) be a given function, and consider the following axioms:
- \((F_{1})\):
-
\(F(u,v,w)\leq \min \{u,v\}\) for all \(u,v,w \in (0,1]\);
- \((F_{2})\):
-
\(F(1,1,1)=1\);
- \((F_{2})^{\prime}\):
-
\(F(u,1,1)=u\) for all \(u\in (0,1]\);
- \((F_{3})\):
-
F is continuous.
We consider the following classes of functions:
and
Example 5
The following functions \(F:(0,1]^{3}\rightarrow (0,1]\) belong to \(\mathcal{F}\) and \(\mathcal{F}_{M}\):
- \((1)\):
-
\(F(u,v,w)=u\cdot v\cdot w \) for all \(u,v,w \in (0,1]\);
- \((2)\):
-
\(F(u,v,w)=\min \{u,v\}\cdot w\) for all \(u,v,w\in (0,1]\).
The main result of [33] is the following.
Theorem 2
Let \((X,M,\ast )\) be a G-complete fuzzy metric space, \(\mathcal{G} : X\to X\), and \(\varphi :X\to (0,1]\) be a lower semi-continuous function. Suppose that there exist two functions \(\psi \in \Psi \) and \(F\in \mathcal{F}_{M}\) such that, for all \(x,y\in X\), \(t>0\),
Then \(\mathcal{G}\) has a unique φ-fixed point.
3 A new class of control functions
In this section, we enlarge the class of \(\mathcal{FZ}\)-simulation functions by introducing the class of extended \(\mathcal{FZ}\)-simulation functions.
Definition 10
The function \(e: (0,1]\times (0,1]\to \mathbb{R}\) is said to be an extended \(\mathcal{FZ}\)-simulation function if the following properties hold:
- \((\mathcal{E}1)\):
-
\(e(t,s)< \frac{1}{s} - \frac{1}{t} \) for all \(t,s \in (0,1)\);
- \((\mathcal{E}2)\):
-
If \(\{{t_{n}} \}\), \(\{{s_{n}}\} \) are sequences in \((0,1)\) such that \(\lim_{n \to \infty}t_{n}=\lim_{n \to \infty}s_{n}=a<1\) and \(s_{n}< a\), then \(\limsup_{n \to \infty} e(t_{n},s_{n})<0\);
- \((\mathcal{E}3)\):
-
For any sequence \(\{{t_{n}} \}\) in \((0,1)\), we have
$$ \lim_{n \to \infty}t_{n}=a \in (0,1],\quad e(t_{n},a)\geq 0 \quad \Longrightarrow\quad a=1. $$
We denote the collection of all extended \(\mathcal{FZ}\)-simulation functions by \(\mathcal{FZ}_{e}\).
Proposition 3
Every \(\mathcal{FZ}\)-simulation function is an extended \(\mathcal{FZ}\)-simulation function.
Proof
Let \(\zeta : (0,1]\times (0,1]\to \mathbb{R}\) be an \(\mathcal{FZ}\)-simulation function. It is easy to show that ζ satisfies \((\mathcal{E}1)\) and \((\mathcal{E}2)\), we shall prove \((\mathcal{E}3)\). Reasoning by contradiction, let \(\{{t_{n}} \}\) be a sequence in \((0,1)\) such that \(\lim_{n \to \infty}t_{n}=a\leq 1\) and \(\zeta (t_{n},a)\geq 0\). Assume that \(a<1\), and applying \((\zeta 3)\) with \(s_{n}=a \in (0,1)\), we get
which yields a contradiction, hence \(a=1\). □
The converse inclusion is not true, we confirm this by the following example.
Example 6
Let \(e: (0,1]\times (0,1]\to \mathbb{R}\) be the function defined by
where \(\psi \in \Psi \). Clearly, e is not \(\mathcal{FZ}\)-simulation function, since \(e(1,1)\neq 0\) and \((\zeta 1)\) is not satisfied. Now, we show that e is an extended \(\mathcal{FZ}\)-simulation function. For all \(t,s \in (0,1)\), we have \(e(t,s)=\frac{1}{\psi (s)}-\frac{1}{t}<\frac{1}{s}-\frac{1}{t}\), which proves \((\mathcal{E}1)\). If \(\{{t_{n}} \}\), \(\{{s_{n}}\} \) are sequences in \((0,1)\) such that \(\lim_{n \to \infty}t_{n}=\lim_{n \to \infty}s_{n}=a<1\) and \(s_{n}< a\), using the fact that \(\psi (u)>u\) for all \(u\in (0,1)\), we have
Therefore, e satisfies \((\mathcal{E}2)\).
Let \(\{{t_{n}} \}\) be a sequence in \((0,1)\) such that \(\lim_{n \to \infty}t_{n}=a \in (0,1]\), \(e(t_{n},a)\geq 0\), we shall prove that \(a=1\). Suppose that \(a<1\), we have
Taking the limit as \(n\rightarrow \infty \), we get
Hence, \(\psi (a)\leq a\), which contradicts the fact that \(\psi (u)>u\) for all \(u\in (0,1)\). Therefore \(a=1\) and e is an extended \(\mathcal{FZ}\)-simulation function.
4 Main results
First we introduce the following concept of \((\mathcal{FZ}_{e}^{\varphi},F)\)-contraction.
Definition 11
Let \((X,M,\ast )\) be a fuzzy metric space, \(\varphi : X\rightarrow (0,1]\) be a given function, and \(F\in \mathcal{F}\). A mapping \(\mathcal{G}:X\to X\) is said to be an \((\mathcal{FZ}_{e}^{\varphi},F)\)-contraction, if there exists \(e \in \mathcal{FZ}_{e}\) such that
for all \(x,y\in X\) and all \(t>0\), where
Our first main result is the following theorem.
Theorem 4
Let \((X,M,\ast )\) be an M-complete fuzzy metric space, \(\varphi :X\rightarrow (0,1]\) be a given function, and \(F\in \mathcal{F}\). Suppose that the following conditions hold:
-
(i)
\(\mathcal{G}: X\to X \) is an \((\mathcal{FZ}_{e}^{\varphi},F)\)-contraction with respect to \(e \in \mathcal{FZ}_{e}\);
-
(ii)
φ is lower semi-continuous.
Then \(\operatorname{Fix}(\mathcal{G})\subseteq \mathcal{O}_{\varphi}\). Moreover, the mapping \(\mathcal{G}\) has a unique φ-fixed point.
Proof
First, we show that \(\operatorname{Fix}(\mathcal{G})\subseteq \mathcal{O}_{\varphi}\). Assume that \(u \in X\) is a fixed point of \(\mathcal{G}\). Applying (2) with \(x=y=u\), we obtain
where
We claim that \(F(1,\varphi (u),\varphi (u))=1\). Reasoning by contradiction, suppose that \(F(1,\varphi (u), \varphi (u))<1\). Regarding \((\mathcal{E}1)\), inequality (3) yields that
which is a contradiction. Then
From \((F_{1})\), we deduce that
which means that \(\varphi (u)=1\), and hence \(u\in \mathcal{O}_{\varphi}\), and so \(\operatorname{Fix}(\mathcal{G})\subseteq \mathcal{O}_{\varphi}\).
Next, let \(x_{0}\in X\) be an arbitrary point and \(\{x_{n}\}\) be the Picard sequence defined by \(x_{n}=\mathcal{G}^{n}x_{0}\), \(n\in \mathbb{N}\). If there exists some \(m\in \mathbb{N}\) such that \(x_{m}=x_{m+1}\), then \(x_{m}\) is a fixed point of \(\mathcal{G}\) and hence a fuzzy φ-fixed point of \(\mathcal{G}\) (as \(\operatorname{Fix}(\mathcal{G})\subseteq \mathcal{O}_{\varphi}\)), which completes the proof. For this reason, assume that \(x_{n}\neq x_{n+1}\) for all \(n\in \mathbb{N}\), which means that \(M(x_{n},x_{n+1},t)<1\) for all \(t>0\).
If there exists some \(k_{0}\in \mathbb{N}\) such that \(F(M(x_{k_{0}},x_{k_{0}+1}, t),\varphi (x_{k_{0}}),\varphi (x_{k_{0}+1}))=1\), then we could deduce from condition \((F_{1})\) that
which is a contradiction. As consequence,
Since \(\mathcal{G}\) is an \((\mathcal{FZ}_{e}^{\varphi},F)\)-contraction with respect to \(e \in \mathcal{FZ}_{e}\), we have
Now, we define \(\vartheta _{n}(t)=F(M(x_{n},x_{n+1}, t),\varphi (x_{n}),\varphi (x_{n+1}))<1\), \(n\in \mathbb{N}\), we have
Regarding \((\mathcal{E}1)\), inequality (4) yields that
which means that
Therefore \(\vartheta _{n}(t)<\vartheta _{n+1}(t)\). Then, it follows that \(\{\vartheta _{n}(t) \}\) is an increasing sequence of positive real numbers in \((0,1]\). Consequently, there exists \(l(t)\leq 1\) such that \(\lim_{n \to \infty}\vartheta _{n}(t) = l(t) \le 1\) for all \(t>0\). We shall prove that \(l(t)=1\). On the contrary, we assume that \(l(t)<1\) for some \(t>0\). Denote \(\tau _{n}(t)=\vartheta _{n+1}(t)\) and \(\delta _{n}(t)=\min \{\vartheta _{n}(t),\vartheta _{n+1}(t)\}= \vartheta _{n}(t)\), we have
Since \(\{\delta _{n}(t)\}\) is strictly increasing, we have \(\delta _{n}(t)< l(t)\). Regarding \((\mathcal{E}2)\), we get
which is in contradiction with \(e(\tau _{n}(t),\delta _{n}(t))\geq 0 \text{ for all } n\in \mathbb{N}\). Accordingly, we deduce that
Due to \((F_{1})\), we have
and
Taking \(n\rightarrow \infty \) and keeping (5) in mind, we obtain
Next, we show that \(\{x_{n}\}\) is an M-Cauchy sequence in X. Arguing by contradiction, we assume that \(\{x_{n}\}\) is not an M-Cauchy sequence. Then there exist \(\epsilon \in (0,1)\), \(t_{0}>0\) and two subsequences \(\{x_{n_{k}}\}\) and \(\{x_{m_{k}}\}\) of \(\{x_{n}\}\) with \(m_{k}>n_{k}\geq k\) for all \(k\in \mathbb{N}\) such that
Taking into account Lemma 1, we have
By choosing \(m_{k}\) as the smallest index satisfying (9), we get
On account of (8) and (10), the triangular inequality yields
Taking the limit of both sides as \(k\rightarrow \infty \), using (6) and \((T_{3})\), we derive that
Since \(\mathcal{G}\) is an \((\mathcal{FZ}_{e}^{\varphi},F)\)-contraction, we have that, for all \(k\in \mathbb{N}\),
which implies that
where
Passing to the limit as \(k\rightarrow \infty \) in the above equality, using (6), (7), \((F_{2})^{\prime}\) and taking into account the continuity of F, we obtain
Therefore, (12) gives rise to
By the triangular inequality, we have
Letting \(k\rightarrow \infty \) in the last inequality and using (6) and (10), we get
From (13) and (14), we derive that
On the other hand, by (6), (10) and regarding \((F_{2})^{\prime}\), we have
In particular, it follows from (12), \((F_{1})\), and (8) that
Take the sequences \(\alpha _{k}=F(M(x_{n_{k}},x_{m_{k}}, t_{0}),\varphi (x_{n_{k}}), \varphi (x_{m_{k}}))\), and \(\beta _{k}=\mathcal{N}_{F}^{\varphi}(x_{n_{k}-1}, x_{m_{k}-1}, t_{0}))\) for all \(k\in \mathbb{N}\). From the above observations, (11) and (15), we conclude that \(\lim_{k \to \infty }\alpha _{k}=\lim_{k \to \infty }\beta _{k}=1- \epsilon \) and \(\beta _{k}<1-\epsilon \). Thus, we can apply axiom \((\mathcal{E}2)\) to these sequences; as a consequence
which is a contradiction. Thus, we deduce that \(\{x_{n}\}\) is an M-Cauchy sequence. Since \((X,M,\ast )\) is an M-complete fuzzy metric space, there exists \(u\in X\) such that
Due to the lower semi-continuity of φ, (7) and (16), we derive that
Therefore, \(u\in \mathcal{O}_{\varphi}\). Next, we shall show that u is a fixed point of \(\mathcal{G}\) arguing by contradiction. Suppose that \(M(u,\mathcal{G}u,t)<1\) for some \(t>0\). Let us define
Using \((F_{1})\), we obtain
Taking the limit as \(n\rightarrow \infty \) and using the continuity of F
On the other hand,
As F is continuous, we have
Particulary, there exists \(n_{0}\in \mathbb{N}\) such that for all \(n\geq n_{0}\) we have
and \(\{\acute{\alpha _{n}}(t)\}_{n\geq n_{0}}\subset (0,1]\) is a sequence converging to \(\mu (t)<1\) such that, for all \(n\geq n_{0}\),
Regarding \((\mathcal{E}3)\), the last inequality yields that \(\mu (t)=1\), which contradicts (18). As a consequence, \(M(u,\mathcal{G}u,t)=1\), which together with (17) means that u is a fuzzy φ-fixed point of \(\mathcal{G}\).
As a final step, we shall show the uniqueness of a fuzzy φ-fixed point of \(\mathcal{G}\). We argue by contradiction. Suppose that there are two distinct φ-fixed points \(u,v\in X\) of the mapping \(\mathcal{G}\). Then \(M(u,v,t)<1\) for all \(t>0\). Since we have \(\operatorname{Fix}(\mathcal{G})\subseteq \mathcal{O}_{\varphi}\), it follows that \(\varphi (u)=\varphi (v)=1\). Now, using (2), we have
where
Regarding \((\mathcal{E}1)\), inequality (19) yields that
a contradiction, thus \(u=v\). Therefore, the fuzzy φ-fixed point of \(\mathcal{G}\) is unique. This completes the proof. □
To support our result, we provide an illustrative example. Precisely, we show that our result (Theorem 4) can be used to cover this example, while Theorem 2 is not applicable.
Example 7
Let \(X=[-2,2]\) endowed with the standard fuzzy metric \(M(x,y,t)=\frac{t}{t+d(x,y)}\), where \(d(x,y)\) is the usual metric \(d(x,y)= |x-y|\) for all \(x,y\in [-2,2]\). It is clear that \((X,M,\ast )\) is an M-complete fuzzy metric space. Consider the mapping \(\mathcal{G}:X\to X\) defined by
Now, we define two auxiliary functions \(F:(0,1]^{3}\to (0,1]\) and \(\varphi :X\to (0,1]\) by \(F(a,b,c)=a\cdot b\cdot c\) for all \(a,b,c\in (0,1]\) and \(\varphi (x)=1\) for all \(x\in X\). It is obvious that \(F\in \mathcal{F}\) and φ is a lower semi-continuous function. Now, consider the function \(e : (0,1]\times (0,1]\to \mathbb{R}\) defined by
In order to show that \(\mathcal{G}\) is an \((\mathcal{FZ}_{e}^{\varphi},F)\)-contraction mapping, we distinguish the following cases:
Case I: Let \(x=y=\frac{1}{2}\)
Case II: Let \(x,y\in X- \{\frac{1}{2}\}\)
Case III: Let \(x=\frac{1}{2}\) and \(y\in X- \{\frac{1}{2}\}\)
Hence, \(\mathcal{G}\) is an \((\mathcal{FZ}_{e}^{\varphi},F)\)-contraction mapping. Therefore, all the hypotheses of Theorem 4 are satisfied, and hence \(\mathcal{G}\) has a φ-fixed point (namely \(x=0\)).
Finally, we show that Theorem 2 is not applicable in this example. In fact, suppose that there is \(\psi \in \Psi \) such that the contraction condition (1) of Theorem 2 holds, that is, for all \(x, y\in X\), we have
Choose \(x=0\) and \(y=\frac{1}{2}\) and take into the account that \(\psi (t)>t\) for all \(t\in (0,1)\), we have
which is a contradiction. This shows that it is impossible to find a function \(\psi \in \Psi \) such that the contraction condition (1) holds. Therefore, Theorem 2 is not applicable.
Corollary 1
([34])
Let \((X,M,\ast )\) be an M-complete fuzzy metric space and \(\mathcal{G}: X\to X\) be a given mapping such that, for all \(x,y\in X\), \(t>0\) and for some \(\lambda \in (0,1)\),
Then \(\mathcal{G}\) has a unique fixed point.
Proof
The result follows by defining \(F(a,b,c)=a\cdot b\cdot c \) for all \(a,b,c \in (0,1]\), \(\varphi (x)=1\) for all \(x\in X\), and \(e(t,s)= \lambda ( \frac{1}{s}-1 )-\frac{1}{t}+1\) for all \(s,t \in (0,1]\) in Theorem 4. □
Corollary 2
Let \((X,M,\ast )\) be an M-complete fuzzy metric space and \(\mathcal{G} : X\to X\). Suppose that there exists some \(e\in \mathcal{FZ}_{e}\) such that, for all \(x,y\in X\), \(t>0\),
Then \(\mathcal{G}\) has a unique fixed point.
Proof
The result follows by defining \(F(a,b,c)=a\cdot b\cdot c\) for all \(a,b,c \in (0,1]\) and \(\varphi (x)=1\) for all \(x\in X\) in Theorem 4. □
Corollary 3
Let \((X,M,\ast )\) be an M-complete fuzzy metric space, and let \(\mathcal{G} : X\to X\) be a given mapping. Suppose that there exists some \(\psi \in \Psi \) such that, for all \(x,y\in X\), \(t>0\),
Then \(\mathcal{G}\) has a unique fixed point.
Proof
Define \(e : (0,1]\times (0,1]\to \mathbb{R}\) by \(e(t,s)= \frac{1}{\psi (s)} - \frac{1}{t} \text{ for all } s,t \in (0,1]\), \(F(a,b,c)=a\cdot b\cdot c\) for all \(a,b,c \in (0,1]\), and \(\varphi (x)=1\) for all \(x\in X\). By Proposition 3, one can see that e is an extended \(\mathcal{FZ}\)-simulation function. The result follows from Theorem 4. □
Corollary 4
Let \((X,M,\ast )\) be an M-complete fuzzy metric space, and let \(\mathcal{G} : X\to X\) be a given mapping and \(\eta \in \mathcal{H}\) such that, for all \(x,y\in X\), \(t>0\),
where \(k\in (0,1)\). Then \(\mathcal{G}\) has a unique φ-fixed point.
Proof
The result follows by defining \(e : (0,1]\times (0,1]\to \mathbb{R}\) by \(e(t,s)= \frac{1}{\eta ^{-1}(k\eta (s))} - \frac{1}{t} \) for all \(s,t \in (0,1]\) in Theorem 4. □
Corollary 5
Let \((X,M,\ast )\) be an M-complete fuzzy metric space and \(\mathcal{G}: X\to X\) be a given mapping. Assume that
for all \(x,y\in X\) and \(t>0\), where \(\phi : [0,\infty )\longrightarrow [0,\infty )\) is a right-continuous function with \(\phi (t)< t\) for all \(t>0\). Then \(\mathcal{G}\) has a unique fuzzy φ-fixed point.
Proof
In view of Theorem 4, where \(e(t,s)=\phi (\frac{1}{s}-1)-(\frac{1}{t}-1)\) for all \(t,s\in (0,1]\), the result follows. □
5 Best proximity point results
In this section, we obtain a sufficient condition to ensure the existence of a φ-best proximity point in the setting of fuzzy metric spaces. Our results can be viewed as an extension of some related results in the existing literature.
Let U and V be two nonempty subsets of a fuzzy metric space \((X,M,\ast )\) and \(\mathcal{G} : U\to V\) be a non-self-mapping. We will use the following notations:
The set of all best proximity points of the non-self-mapping \(\mathcal{G} : U \to V\) will be denoted by
Definition 12
([33])
Let X be a nonempty set, \(\varphi : X\rightarrow (0,1]\) be a given function, and \(\mathcal{G} : U \to V\) be a non-self-mapping. An element \(u^{*}\in U\) is said to be a fuzzy φ-best proximity point of \(\mathcal{G}\) if and only if \(u^{*}\) is a best proximity point of \(\mathcal{G}\) and \(\varphi (u^{*})=1\).
Definition 13
Let U and V be two nonempty closed subsets of a fuzzy metric space \((X,M,\ast )\). We say that the operator \(\mathcal{G} : U\rightarrow V\) is an \((\mathcal{FZ}_{e}^{\varphi},F)\)-fuzzy proximal contraction with respect to \(e \in \mathcal{FZ}_{e}\) if there exist a function \(\varphi : X\rightarrow (0,1]\) and \(F\in \mathcal{F}\) such that
for all \(u,v,x,y\in U\) and \(t>0\), where
Theorem 5
Let U and V be two nonempty subsets of an M-complete fuzzy metric space \((X,M,\ast )\) such that \(U_{0}(t)\) is nonempty and \(\varphi : X \rightarrow (0,1]\), \(F\in \mathcal{F}\). Suppose that \(\mathcal{G} : U\rightarrow V\) is an \((\mathcal{FZ}_{e}^{\varphi},F)\)-fuzzy proximal contraction with respect to \(e\in \mathcal{FZ}_{e}\). Suppose also
-
(i)
\(U_{0}(t)\) is closed with respect to the topology induced by M;
-
(ii)
\(\mathcal{G}(U_{0}(t))\subseteq V_{0}(t)\);
-
(iii)
φ is lower semi-continuous.
Then \(\mathcal{G}\) has a unique fuzzy φ-best proximity point, that is, there exists \(x^{*}\in U\) such that \(B_{\mathrm{est}}(\mathcal{G})\cap \mathcal{O}_{\varphi}=\{x^{*}\}\).
Proof
First, we show that \(B_{\mathrm{est}}(\mathcal{G})\subseteq \mathcal{O}_{\varphi}\). Assume that \(\sigma \in U\) is a best proximity point of \(\mathcal{G}\), which means that \(M(\sigma ,\mathcal{G}\sigma ,t)=M(U,V,t)\). Applying (20) with \(\sigma =u=v=x=y\), we have \(0\leq e(F(1,\varphi (\sigma ),\varphi (\sigma )),\mathcal{N}_{F}^{ \varphi}(\sigma , \sigma , t))\), where
We shall indicate that \(F(1,\varphi (\sigma ),\varphi (\sigma ))=1\). Reasoning by contradiction, suppose that \(F(1,\varphi (\sigma ),\varphi (\sigma ))<1\), and using \((\mathcal{E}1)\) we derive
which is a contradiction. Therefore, \(F(1,\varphi (\sigma ),\varphi (\sigma ))=1\).
By \((F_{1})\), we have
which yields \(\varphi (\sigma )=1\), and then \(B_{\mathrm{est}}(\mathcal{G})\subseteq \mathcal{O}_{\varphi}\).
Next, let \(x_{0}\in X\) be an element in \(U_{0}(t)\). Taking into account that \(\mathcal{G}x_{0}\in \mathcal{G}(U_{0}(t))\subseteq V_{0}(t)\), we can find \(x_{1}\in U_{0}(t)\) such that \(M(x_{1},\mathcal{G}x_{0},t)=M(U,V,t)\). Since \(\mathcal{G}x_{1}\in \mathcal{G}(U_{0}(t))\subseteq V_{0}(t)\), so that there exists \(x_{2}\in U_{0}(t)\) such that \(M(x_{2},\mathcal{G}x_{1},t)=M(U,V,t)\). Recursively, a sequence \(\{x_{n}\}\subset U_{0}(t)\) can be constructed as follows:
If \(x_{k}=x_{k+1}\) for some \(k\in \mathbb{N}\), then
Therefore, \(x_{k}\) is the required best proximity point and hence a fuzzy φ-best proximity point of \(\mathcal{G}\) (as \(B_{\mathrm{est}}(\mathcal{G})\subseteq \mathcal{O}_{\varphi}\)), which completes the proof. Due to this reason, for the rest of the proof, we assume that \(x_{n}\neq x_{n+1}\) for all \(n\in \mathbb{N}\), that is, \(M(x_{n},x_{n+1},t)<1\) for all \(t>0\). Now, if there exists some \(n_{0}\in \mathbb{N}\) such that \(F(M(x_{n_{0}},x_{n_{0}+1}, t),\varphi (x_{n_{0}}),\varphi (x_{n_{0}+1}))=1\), condition \((F_{1})\) yields that
a contradiction. Accordingly, we deduce that
Next, we denote \(\gamma _{n}(t)=F(M(x_{n},x_{n+1}, t),\varphi (x_{n}),\varphi (x_{n+1}))<1\), \(n\in \mathbb{N}\). By (20) and (21), we get
where
Using property \((\mathcal{E}1)\), we deduce that
which yields \(\gamma _{n}(t)<\gamma _{n+1}(t)\). Therefore, we deduce that \(\{\gamma _{n}(t) \}\) is an increasing sequence of real numbers in \((0,1]\). Thus, there exists \(h(t)\leq 1\) such that \(\lim_{n \to \infty}\gamma _{n}(t) = h(t) \le 1 \) for all \(n\in \mathbb{N}\). In particular, as \(\{\gamma _{n}(t) \}\) is strictly increasing, then \(h(t)>\gamma _{n}(t)\). We shall prove that \(h(t)=1\) for all \(t>0\). Suppose, on the contrary, that \(h(t)<1\) for some \(t>0\). If we choose the sequences \(\varpi _{n}(t)=\gamma _{n+1}(t)\) and \(\theta _{n}(t)=\min \{\gamma _{n}(t),\gamma _{n+1}(t)\}\), we have \(\lim_{n \to \infty}\varpi _{n}(t) = \lim_{n \to \infty}\theta _{n}(t)=h(t)\) and \(\theta _{n}(t)< h(t)\). By condition \((\mathcal{E}2)\), we derive that
which contradicts equation (22). Accordingly, we deduce that
Moreover, using \((F_{1})\) we get
and
which implies
As a next step, we shall prove that the sequence \(\{x_{n}\}\) is Cauchy. Reasoning by contradiction, assume that \(\{x_{n}\}\) is not an M-Cauchy sequence. Then there exists \(\epsilon \in (0,1)\), \(t_{0}>0\) and subsequences \(\{x_{n_{k}}\}\) and \(\{x_{m_{k}}\}\) of \(\{x_{n}\}\) so that, for \(m_{k}>n_{k}\geq k\), we have
By Lemma 1, we have
If we choose \(m_{k}\) as the least natural number satisfying (25), we have
Taking into account (24) and (26), we deduce that
Letting \(k\rightarrow \infty \) and using (23), we get
Denote \(r_{k}=F(M(x_{n_{k}},x_{m_{k}}, t_{0}),\varphi (x_{n_{k}}),\varphi (x_{m_{k}}))\) and \(s_{k}=\mathcal{N}_{F}^{\varphi}(x_{n_{k}-1}, x_{m_{k}-1}, t_{0})\) for all \(k\in \mathbb{N}\). Since \(\mathcal{G}\) is an \((\mathcal{FZ}_{e}^{\varphi},F)\)-fuzzy proximal contraction and
for all \(k\in \mathbb{N}\). So, by (20), we have
Hence
where
By following a similar reasoning to that in the proof of Theorem 4, one can show that
Particularly, it follows from (27), \((F_{1})\), and (24) that
On account of the above observations, we deduce that \(\lim_{k \to \infty }r_{k}=\lim_{k \to \infty }\) \(s_{k}=1-\epsilon \) and \(s_{k}<1-\epsilon \). Regarding axiom \((\mathcal{E}2)\), we obtain
which is a contradiction. This contradiction proves that \(\{x_{n}\}\) is an M-Cauchy sequence. Since \(U_{0}(t)\) is a closed subset of the M-complete fuzzy metric space \((X,M,\ast )\), there exists \(x^{*}\in U_{0}(t)\) such that
By the lower semi-continuity of φ, (23) and (28), we have
As \(\mathcal{G}(U_{0}(t))\subseteq V_{0}(t)\) and \(x^{*}\in U_{0}(t)\), there exists \(\omega \in U_{0}(t)\) such that
Now, we shall prove that \(x^{*}=w\), reasoning by contradiction. Suppose that \(M(x^{*},w,t)<1\) for some \(t>0\). Define
Using \((F_{1})\), we obtain
Taking the limit as \(n\rightarrow \infty \) and using the continuity of F, we have
On the other hand,
Due to the continuity of F, we have
As consequence, there exists \(n_{0}\in \mathbb{N}\) such that
In particular, \(\{\acute{r_{n}}(t)\}_{n\geq n_{0}}\subset (0,1]\) is a sequence converging to \(a(t)<1\) such that, for all \(n\geq n_{0}\),
By means of (20), the previous inequality with axiom \((\mathcal{E}3)\) ensures that \(a(t)=1\). This contradicts (31). Hence
Thus, \(x^{*}=w\), by considering (30), we derive that
By (29), we conclude that \(x^{*}\) is a fuzzy φ-best proximity point of \(\mathcal{G}\).
Finally, we shall show the uniqueness of the fuzzy φ-best proximity point of \(\mathcal{G}\), that is, \(B_{\mathrm{est}}(\mathcal{G})\cap \mathcal{O}_{\varphi}\) is singleton. We argue by contradiction. Suppose that \(x^{*},w^{*}\in X\) are two distinct fuzzy φ-best proximity fixed points of the mapping \(\mathcal{G}\). Then \(M(x^{*},w^{*},t)<1\) for all \(t>0\). Hence
As \(\mathcal{G}\) is an \((\mathcal{FZ}_{e}^{\varphi},F)\)-fuzzy proximal contraction, we have
where
Then, using property \((\mathcal{E}1)\), we get
which leads to a contradiction. Hence \(M(x^{*},w^{*},t)<1\), which implies \(x^{*}=w^{*}\). This completes the proof. □
Corollary 6
Let U and V be two nonempty subsets of an M-complete fuzzy metric space \((X,M,\ast )\) such that \(U_{0}(t)\) is nonempty. Assume that the mappings \(\mathcal{G}: X \rightarrow X\), \(\varphi : X \rightarrow (0,1]\), \(\psi \in \Psi \), and \(F\in \mathcal{F}\) satisfy the following conditions:
-
(i)
\(U_{0}(t)\) is closed with respect to the topology induced by M;
-
(ii)
\(\mathcal{G}(U_{0}(t))\subseteq V_{0}(t)\);
-
(iii)
φ is continuous.
Then \(\mathcal{G}\) has a unique fuzzy φ-best proximity point, that is, there exists \(x^{*}\in U\) such that \(B_{\mathrm{est}}(\mathcal{G})\cap \mathcal{O}_{\varphi}=\{x^{*}\}\).
6 Conclusion
In this study, we established the concept of extended \(\mathcal{FZ}\)-simulation functions with a view to consider a new class of fuzzy contractions, namely \((\mathcal{FZ}_{e}^{\varphi},F)\)-contractions. Such a family generalized, extended, and unified several results and enriched various classical types of fuzzy contractions in the literature. We must underline that by properly specifying the control function e, we can particularize and derive different consequences of our main results. Nevertheless, further research is needed in this regard, because it is plausible to explore the existence and uniqueness of a common fixed point or a coincidence point of two self-mappings in a more general setting, for example, partially ordered fuzzy metric spaces.
Availability of data and materials
Not applicable.
References
Boyd, D.W., Wong, J.S.: On nonlinear contractions. Proc. Am. Math. Soc. 20(2), 458–464 (1969)
Khojasteh, F., Shukla, F.S., Radenović, S.: A new approach to the study of fixed point theory for simulation functions. Filomat 29(6), 1189–1194 (2015)
Melliani, S., Moussaoui, A.: Fixed point theorem using a new class of fuzzy contractive mappings. J. Univers. Math. 1(2), 148–154 (2018)
Moussaoui, A., Hussain, N., Melliani, S.: Global optimal solutions for proximal fuzzy contractions involving control functions. J. Math. 10, p (2021)
Mishra, U., Vetro, C., Kumam, P.: On modified α-ϕ-fuzzy contractive mappings and an application to integral equations. J. Inequal. Appl. 2016, 67 (2016)
Gopal, D., Vetro, C.: Some new fixed point theorems in fuzzy metric spaces. Iran. J. Fuzzy Syst. 11(3), 95–107 (2014)
Sangurlu, M., Isik, H., Turkoglu, D.: A new method for some fixed point theorems in fuzzy metric spaces. Bangmod. Int. J. Math. Comp. Sci. 3, 10–15 (2017)
Iqbal, I., Hussain, N.: Ekeland-type variational principle with applications to nonconvex minimization and equilibrium problems. Nonlinear Anal., Model. Control 24(3), 407–432 (2019)
Karapinar, E.: Fixed points results via simulation functions. Filomat 30(8), 2343–2350 (2016)
Jleli, M., Samet, B., Vetro, C.: Fixed point theory in partial metric spaces via φ-fixed points concept in metric spaces. J. Inequal. Appl. 1 (2014)
Roldán-López de Hierro, A.F., Samet, B.: φ-admissibility results via extended simulation functions. J. Fixed Point Theory Appl. 19(3), 1997–2015 (2017)
Ashraf, M.S., Ali, H.N.: New fuzzy fixed point results in generalized fuzzy metric spaces with application to integral equations. IEEE Access 8, 91653–91660 (2020)
Demma, M., Saadati, R., Vetro, P.: Fixed point results on b-metric space via Picard sequences and b-simulation functions. Iran. J. Math. Sci. Inform. 11(1), 123–136 (2016)
Iqbal, I., Hussain, N., Kutbi, M.A.: Existence of the solution to variational inequality, optimization problem, and elliptic boundary value problem through revisited best proximity point results. J. Comput. Appl. Math. 375, 112804 (2020)
Hayel, N.S., Khan, I.A., Imdad, M., Alfaqih, W.M.: New fuzzy φ-fixed point results employing a new class of fuzzy contractive mappings. J. Intell. Fuzzy Syst. 37(4), 5391–5402 (2019)
Melliani, S., Moussaoui, A., Chadli, L.S.: Admissible almost type \(\mathcal{Z}\)-contractions and fixed point results. Int. J. Math. Math. Sci. 2020, 9104909 (2020)
Roldán-López de Hierro, A.F., Fulga, A., Karapınar, E., Shahzad, N.: Proinov-type fixed point results in non-Archimedean fuzzy metric spaces. Mathematics 9, 1594 (2021)
Hussain, N., Hezarjaribi, M., Salimi, P.: Suzuki type theorems in triangular and non-Archimedean fuzzy metric spaces with application. Fixed Point Theory Appl. 2015, 134 (2015)
Vetro, C., Salimi, P.: Best proximity point results in non-Archimedean fuzzy metric spaces. Fuzzy Inf. Eng. 5, 417–429 (2013)
Roldán-López de Hierro, A.F., Karapinar, E., Roldán-López de Hierro, C., Martínez-Moreno, J.: Coincidence point theorems on metric spaces via simulation functions. J. Comput. Appl. Math. 275, 345–355 (2015)
Moussaoui, A., Saleem, N., Melliani, S., Zhou, M.: Fixed point results for new types of fuzzy contractions via admissible functions and \(\mathcal{FZ}\)-simulation functions. Axioms 11, 87 (2022)
Yamaod, O., Sintunavarat, W.: An approach to the existence and uniqueness of fixed point results in b-metric spaces via s-simulation functions. J. Fixed Point Theory Appl. 19(4), 2819–2830 (2017)
Yamaod, O., Sintunavarat, W.: On new homotopy results via a generalize extended simulation function in b-metric spaces. J. Nonlinear Convex Anal. 20(10), 2225–2238 (2019)
Kramosil, I., Michalek, J.: Fuzzy metrics and statistical metric spaces. Kybernetika 11(5), 336–344 (1975)
George, A., Veeramani, P.: On some results in fuzzy metric spaces. Fuzzy Sets Syst. 64(3), 395–399 (1994)
Gregori, V., Sapena, A.: On fixed-point theorems in fuzzy metric spaces. Fuzzy Sets Syst. 125(2), 245–252 (2002)
Mihet, D.: Fuzzy ψ-contractive mappings in non-Archimedean fuzzy metric spaces. Fuzzy Sets Syst. 159(6), 739–744 (2008)
Wardowki, D.: Fuzzy contractive mappings and fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 222, 108–114 (2013)
Schweizer, B., Sklar, A.: Statistical metric spaces. Pac. J. Math. 10(1), 313–334 (1960)
Istratescu, V.: An Introduction to Theory of Probabilistic Metric Spaces with Applications. Tehnica, Bucuresti (1974) (in Romanian)
Miheţ, D.: Fixed point theorems in fuzzy metric spaces using property EA. Nonlinear Anal., Theory Methods Appl. 73(7), 2184–2188 (2010)
Grabiec, M.: Fixed points in fuzzy metric spaces. Fuzzy Sets Syst. 27(3), 385–389 (1988)
Sezen, M.S., Türkoğlu, D.: Some fixed point theorems of \((F,\varphi )\)-fuzzy contractions in fuzzy metric spaces. J. Inequal. Spec. Funct. 8(4) (2017)
Hayel, N.S., Imdad, M., Khan, I.A., Hasanuzzaman, M.D.: Fuzzy \(\Theta _{f}\)-contractive mappings and their fixed points with applications. J. Intell. Fuzzy Syst. 39(5), 7097–7106 (2020)
Acknowledgements
The authors thank the editor and the referees for their valuable comments and suggestions which improved greatly the quality of this paper.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
AM: conceptualization, investigation, writing-original draft, review and editing. NH,SM, and MI: conceptualization, methodology, supervision. HN: conceptualization, writing-original draft, review, and editing. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Moussaoui, A., Hussain, N., Melliani, S. et al. Fixed point results via extended \(\mathcal{FZ}\)-simulation functions in fuzzy metric spaces. J Inequal Appl 2022, 69 (2022). https://doi.org/10.1186/s13660-022-02806-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-022-02806-z