Common α -Fuzzy Fixed Point Results for F -Contractions with Applications

: F -contractions have inspired a branch of metric fixed point theory committed to the general-ization of the classical Banach contraction principle. The study of these contractions and α -fuzzy mappings in b -metric spaces was attempted timidly and was not successful. In this article, the main objective is to obtain common α -fuzzy fixed point results for F -contractions in b -metric spaces. Some multivalued fixed point results in the literature are derived as consequences of our main results. We also provide a non-trivial example to show the validity of our results. As applications, we investigate the solution for fuzzy initial value problems in the context of a generalized Hukuhara derivative. Our results generalize, improve and complement several developments from the existing literature. Author Contributions: Conceptualization, S.A.A.-M., J.A. and G.M.; formal analysis, S.A.A.-M. and G.M.; investigation, S.A.A.-M. and G.M.; methodology, S.A.A.-M., J.A. and G.M.; project administra-tion, S.A.A.-M. and G.M.; supervision, S.A.A.-M. and G.M.; writing—original draft, S.A.A.-M., J.A. G.M.; writing—review editing, J.A.


Introduction
Zadeh [1] introduced the notion of fuzzy set as a means of dealing with unpredictability that is induced due to inaccuracy or obscurity in preference to haphazardness in 1960. Heilpern [2] introduced a class of fuzzy mappings by using the notion of fuzzy sets. He obtained fixed point results for fuzzy mappings in metric linear space and generalized various results for multivalaued mappings. Estruch et al. [3] established the existence of a fuzzy fixed point for fuzzy contraction mappings in the context of complete metric space. Several mathematicians [4][5][6][7][8][9][10][11][12] extended the work of Estruch et al. [3] in different metric spaces under generalized contractions. In 2014, Rashid et al. [13] introduced the notion of β-admissible for a pair of fuzzy mappings by utilizing the concept of β-admissible, which was first given by Samet et al. [14] in 2012.
On the other hand, Czerwik [15] initiated the notion of b-metric space to generalize metric space in 1993. Later on, Czerwik [16,17] defined the Hausdorff b-metric induced by the b-metric and obtained fixed point theorems for multivalued mappings.
In 2012, Wardowski [18] initiated a new notion of F-contraction and established a generalized theorem regarding F-contractions in the context of complete metric spaces. Many researchers [19][20][21] established several types of fixed point results by using and extending the F-contraction. Recently, Cosentino et al. [22] utilized the concept of Fcontraction in the framework of b-metric space and proved fixed point theorems for multivalued mappings. Ali et al. [23,24] used the notion of β-admissible mappings and Fcontractions to obtain Feng and Liu type fixed point results in the context of b-metric space.
In this paper, we establish some common α-fuzzy fixed point theorems for β-admissible mappings and F-contractions in the setting of complete b-metric space to generalize the main results of Ahmad et al. [7], Wardowski [18] and Cosentino et al. [22] and some familiar theorems of the literature.

Background and Preliminaries
In this section, we collect some basic definitions, lemmas and notation which will be used throughout the paper (see [1,2,[13][14][15][16]18,[22][23][24] and the references therein). Let R + represent the set of all positive real numbers and R + 0 represent the set of nonnegative real numbers.
A fuzzy set in R is a function with domain R and values in [0, 1]. If L is a fuzzy set and ω ∈ R, then the function values L(ω) are called the grade of membership of ω in L. The α-level set of L is represented by [L] α and is given as follows: where L represents the closure of L. If V is a metric linear space, then a fuzzy set L in V is said to be an approximate quantity if and only if [L] α is compact and convex in V for each α ∈ [0, 1] and sup ω∈V L(ω) = 1. Let (R) be the collection of all fuzzy sets in R. Suppose Samet et al. [14] initiated the notion of β-admissible mapping in 2012.
On the other hand, Czerwik [15] introduced the notion of b-metric space to generalize metric space in 1993 in this way: for all ω, , υ ∈ R. Then (R, d b , s) is called a b-metric space.
Czerwik [16] defined the Hausdorff b-metric H b induced by the b-metric d b in this way. Let P cb (R) represent the class of all non-empty, closed and bounded subsets of R. For Ω 1 , Ω 2 ∈ P cb (R), Hausdorff b-metric H b : P cb (R) × P cb (R) → R + is defined as follows We remember these properties from [15][16][17].

Definition 5.
(see [18]) Let (R, d) be a metric space and O : R → R. Then O is called an F-contraction if there exists τ > 0 such that ; for ω, ∈ R, where F : R + → R satisfies the following assertions: Many researchers [19][20][21]25] established several types of fixed point results by using and extending the F-contraction. In the framework of b-metric space, Cosentino et al. [22] added a new condition (F 4 ) and opened a new area of research in this way: (F 4 ) For s ≥ 1 and each sequence {ω n } ⊆ R + such that τ + F(sω n ) ≤ F(ω n−1 ), ∀ n ∈ N and some τ > 0 , then τ + F(s n ω n ) ≤ F(s n−1 ω n−1 ), for all n ∈ N.
We represent by s the set of all functions continuous from the right, F : R + → R, satisfying (1) and (F 1 )-(F 4 ).

Example 1.
The following functions F : R + → R are the elements of s :

Results and Discussion
We present our main theorem as follows: There exist F ∈ s and τ > 0 such that (3) Next, as which implies by (2) that Consequently, we get By pursuing a solution in this way, we obtain a sequence and for all n ∈ N. From (7) and (8), we get for all n ∈ N. It follows by (9) and property (F 4 ) that Therefore by (10), we have Taking n → ∞, we get lim n→∞ F(s n d b (ω n , ω n+1 )) = −∞ that together with (F 2 ) gives lim n→∞ s n d b (ω n , ω n+1 ) = 0.
Now we derive some multivalued mappings fixed point results from our main result.
Theorem 4. Let G 1 , G 2 : R → P cb (R). If there exist F ∈ s and τ > 0 such that Thus by Theorem 2 there exist ω * ∈ R such that ω The main result of Cosentino et al. [22] can be derived by taking a single multivalued mapping in the above Corollary. Corollary 4. [22] Let G : R → P cb (R). If there exist F ∈ s and τ > 0 such that for all ω, ∈ R with H b (Gω, G ) > 0, then there exist ω * ∈ R such that ω * ∈ Gω * . Remark 1. If we put s = 1 in the above result and consider G : R → R, then we get the main result of Wardowski [7] . Now we state some fuzzy fixed point results in the context of metric spaces.
Assume that there exist F ∈ and τ > 0 such that For the single fuzzy mapping, we have the following result.
Assume that there exist F ∈ and τ > 0 such that

Applications
Fuzzy differential equations and fuzzy integral equations play significant roles in modeling dynamic systems in which uncertainties or vague notions of flourishing. These notions have been set up in distinct theoretical directions, and many applications [26][27][28][29][30] in practical problems have been investigated. Various frameworks for investigating fuzzy differential equations have been presented. The primary and most attractive approach is using the Hukuhara differntiability (H-differentiability) for fuzzy valued functions (see [31,32]). Consequently, the theory of fuzzy integral equations was introduced by Kaleva [33] and Seikkala [34]. In the study of existence and uniqueness conditions for solutions of fuzzy differential equations and fuzzy integral equations, numerous researchers have applied distinct fixed point results. Subrahmanyam et al. [35] established an existence and uniqueness theorem for some Volterra integral equations regarding fuzzy set-valued mappings by using the classical Banach's fixed point theorem. Villamizar-Roa et al. [36] studied the existence and uniqueness of solution of fuzzy initial value problem in the context of a generalized Hukuhara derivatives. For more details in this direction, we refer the readers to [32,33,37].
We represent K c (R) the set of all nonempty compact and convex subsets of R. The Hausdorff metric H in K c (R) is defined as follows: H) is a complete metric space (see [38]).

Definition 6.
A function x : R → [0, 1] is said to be a fuzzy number in R if it satisfies: (i) x is normal, i.e, ∃ t 0 ∈ R such that x(t 0 ) = 1.
(ii) x is fuzzy convex; i.e, for 0 ≤ λ ≤ 1, Consequently, the symbol E 1 will be used to represent the collection of fuzzy number in R satisfying the above properties. For ) is said to be the diameter of [x]. We represent the set of all continuous fuzzy functions defined on [0, Λ], for Λ > 0 as C([0, Λ], E 1 ).
From [39], it is well-known that C([0, Λ], E 1 ) is a complete metric space with respect to the metric Definition 7. ( [36]) Let E n denote the set of all fuzzy numbers in R n and x, y, z ∈ E n . A point z is said to be the Hukuhara difference of x and y, if the equation x = y + z holds. If the Hukuhara difference of x and y exists, then it is represented by x Θ H y (or x − y ). It is very simple to see that x Θ H x = {0}, and if x Θ H y exists, it is unique.
The function f is said to be strongly generalized differentiable (or GH-differentiable) at t 0 ∈ (0, Λ), if there exists an element f / G (t 0 ) ∈ E n such that there exist the Hukuhara differences: Consider the following fuzzy initial value problem where x / is taken as GH-differentiable and the fuzzy function f : J × E 1 → E 1 is continuous. The initial datum x 0 is assumed in E 1 . We represent the set of all continuous fuzzy functions f : J → E 1 with continuous derivatives as C 1 (J, E 1 ).

Lemma 3.
A function x ∈ C 1 (J, E 1 ) is a solution of the fuzzy initial value problem (19) if and only if it satisfies the fuzzy Volterra integral equation: Theorem 6. Let f : J × E 1 → E 1 be continuous such that (i) The function f is strictly increasing in the second variable; that is, if x < y,then f (t, x) < f (t, y), (ii) There exists τ ∈ [1, +∞) such that if x < y for each t ∈ J and x, y ∈ E 1 , where d ∞ (x, y) is the supremum on E 1 . Then the fuzzy initial valued problem (19) has a fuzzy solution in C 1 (J, E 1 ).
Proof. Let τ > 0. We consider the space C 1 (J, E 1 ) endowed with the weighted metric x, y ∈ C 1 (J, E 1 ). Let M, Q : X → (0, 1] be any two mappings. For x ∈ X, take Assume x < y. Then by hypothesis (i), Hence L x (t) = R y (t). Consider two fuzzy mappings O 1 , O 2 : X → E X defined by   This implies that or equivalently  (x, y)).
Now, we observe that the function F : R + → R defined by F(t) = ln t, for each t ∈ C 1 (J, E 1 ) is in s . Thus It follows that there exists x * ∈ C 1 (J, . Thus all the hypotheses of Theorem 5 are satisfied and consequently x * is a fuzzy solution of the fuzzy initial valued problem (19).

Conclusions
In this paper, we have obtained some generalized common α-fuzzy fixed point results for α-fuzzy mappings regarding F-contractions in the context of b-metric spaces. The results which we obtained improved and extended certain famous theorems in literature. As applications, we investigated the solution for fuzzy initial value problems in the context of a generalized Hukuhara derivative. Our results are up to date and contemporary contributions to the existing literature in the theory of fixed points. Some related extensions of these results for the L-fuzzy mappings O 1 , O 2 : R → L (R) would be a well defined subject for future work. One can use our theorems in the solution of fractional differential inclusions as a subsequent study.