Fuzzy Conformable Fractional Differential Equations
Abstract
In this study, fuzzy conformable fractional differential equations are investigated. We study conformable fractional differentiability, and we define fractional integrability properties of such functions and give an existence and uniqueness theorem for a solution to a fuzzy fractional differential equation by using the concept of conformable differentiability. This concept is based on the enlargement of the class of differentiable fuzzy mappings; for this, we consider the lateral Hukuhara derivatives of order q ∈ (0,1].
1. Introduction
- (i)
It satisfies all concepts and rules of an ordinary derivative such as quotient, product, and chain rules while the other fractional definitions fail to meet these rules
- (ii)
It can be extended to solve exactly and numerically fractional differential equations and systems easily and efficiently
And it was introduced and developed in [16, 17]. The objective of this study is to present some results for fuzzy conformable differentiability and fuzzy fractional integrability of such functions; we study the fuzzy fractional differential equations (FFDEs) by using this derivative and give an existence and uniqueness theorem for a solution of FFDEs.
2. Preliminaries
- (i)
u is normal, i.e, there exists x0 ∈ ℝ such that u(x0) = 1
- (ii)
u is fuzzy convex, i.e, for x, y ∈ ℝ and 0 < λ ≤ 1,
(1) - (iii)
u is upper semicontinuous
- (iv)
[u]0 = cl{x ∈ ℝ|u(x) > 0} is compact
Then, ℝℱ is called the space of fuzzy numbers. Obviously, ℝ ⊂ ℝℱ. For 0 < α ≤ 1, denote [u]α = {x ∈ ℝ|u(x) ≥ α}; then, from (i) to (iv), it follows that the α-level set [u]α ∈ PK(ℝ) for all 0 ≤ α ≤ 1 is a closed bounded interval which is denoted by . By PK(ℝ), we denote the family of all nonempty compact convex subsets of ℝ and define the addition and scalar multiplication in PK(ℝ) as usual.
Theorem 1 (see [7].)If u ∈ ℝℱ, then
- (i)
[u]α ∈ PK(ℝ) for all 0 ≤ α ≤ 1
- (ii)
for all 0 ≤ α1 ≤ α2 ≤ 1
- (iii)
{αk} ⊂ [0,1] is a nondecreasing sequence which converges to α, and then,
Conversely, if is a family of closed real intervals verifying (i) and (ii), then {Aα} defined a fuzzy number u ∈ ℝℱ such that [u]α = Aα for 0 < α ≤ 1 and .
Lemma 1 (see [18].)Let u, v : ℝℱ⟶[0,1] be the fuzzy sets. Then, u = v if and only if [u]α = [v]α for all α ∈ [0,1].
Definition 1 (see [19], [20].)Let u, v ∈ ℝℱ. If there exists w ∈ ℝℱ such as u = v + w, then w is called the H-difference of u, v, and it is denoted as u⊖v.
Definition 2 (see [21].)Let we denote
Define d : ℝℱ × ℝℱ⟶ℝ+ ∪ {0} by the equation
It is well known that (ℝℱ, d) is a complete metric space. We list the following properties of d(u, v):
Let (Ak) be a sequence in PK(ℝ) converging to A. Then, theorem in [2] gives us an expression for the limit.
Theorem 2 (see[2]). If d(Ak, A)⟶0 as k⟶∞, then
3. Fuzzy Conformable Fractional Differentiability and Fuzzy Fractional Integral
3.1. Fuzzy Conformable Fractional Differentiability
Now, we present our new definition, which is the simplest and most natural and efficient definition of fractional derivative of order q ∈ (0,1].
Definition 3 (see[17]). Let F : (0, a)⟶ℝℱ be a fuzzy function, and qth order fuzzy conformable fractional derivative of F is defined by
If F is q-differentiable in some (0, a) and exists, then
Remark 1. From the definition, it directly follows that if F is q-differentiable, then the multivalued mapping Fα is q-differentiable for all α ∈ [0,1] and
Theorem 3 (see[17]). Let F : (0, a)⟶ℝℱ be q-differentiable. Denote . Then, and are q-differentiable and
Theorem 4. Let F : (0, a)⟶ℝℱ is q-differentiable on (0, a). If t1, t2 ∈ (0, a) with t1 ≤ t2, then there exists λ ∈ ℝℱ such that F(t2) = F(t1) + λ.
Proof. For each s ∈ [t1, t2], there exists δ(s) > 0 such that the H-differences F(s + εs1−q)⊖F(s) and F(s)⊖F(s − εs1−q) exist for all 0 ≤ ε < δ(s). Then, we can find a finite sequence t1 = s1 < s2 < ⋯<sn = t2 such that the family covers [t1, t2] and . Pick , such that si < xi < si+1. Then,
Theorem 5. If F : (0, a)⟶ℝℱ is q-differentiable, then it is continuous.
Proof. Let t, t + t1−qε ∈ (0, a) with ε > 0. Then, by properties of equation (7) and the triangle inequality, we have
Theorem 6. Let q ∈ (0,1]. If F is differentiable and F is q-differentiable, then
The proof is similar to the proof of Theorem 8 case (i) in [17] and is omitted.
Theorem 7. Let q ∈ (0,1], and if F, G : (0, a)⟶ℝℱ are q-differentiable and λ ∈ ℝ, then
-
Tq(F + G)(t) = Tq(F) + Tq(G) and
-
Tq(λF)(t) = λTq(F)(t)
Proof. Since F is q-differentiable, it follows that F(t + εt1−q)⊖F(t) exists, i.e., there exists u1(t, εt1−q) such that
Analogously, since G is q-differentiable, there exists v1(t, εt1−q) such that
By similar reasoning, we get that there exist u2(t, εt1−q) and v2(t, εt1−q) such that
We observe that
Finally, by multiplying (21) and (24) with 1/ε and passing to limit with , we get that F + G is q-differentiable and Tq(F + G)(t) = TqF(t) + TqG(t). The case (ii) is similar to the previous one.
3.2. Fuzzy Fractional Integral
Lemma 2. The family {Aα; α ∈ [0,1]}, given by equation (26), defined a fuzzy number F ∈ ℝℱ such that [F]α = Aα.
Proof. For α < β, we have and . It follows Aα⊇Aβ. Since , we have
From Theorem 1, the proof is complete.
Definition 4. Let F ∈ C((0, a), ℝℱ)∩L1((0, a), ℝℱ) define the fuzzy fractional integral for q ∈ (0,1],
Lemma 3. Let q ∈ (0,1] and F, G : (0, a)⟶ℝℱ be fractional integrable and λ ∈ ℝ. Then,
- (i)
IqλF(t) = λIqF(t)
- (ii)
Iq(F + G)(t) = IqF(t) + IqG(t)
Proof. The proof is similar to the proof of Theorem 4.3 cases (i) and (ii) in [2] and is omitted.
Theorem 8. TqIq(F)(t) = F(t), for t ≥ 0, where F is any continuous function in the domain of Iq
Proof. Since F is continuous, then Iq(F)(t) is clearly q-differentiable because
Theorem 9. Let q ∈ (0,1] and F be q-differentiable in (0, a), and assume that the conformable derivative F(q) is integrable over (0, a). Then, for each s ∈ (0, a), we have
Proof. Let q ∈ (0,1] and α ∈ [0,1] be fixed. We shall prove that
So,
4. Fuzzy Comformable Fractional Differential Equations
Theorem 10. A mapping x : (0, a)⟶ℝℱ is a solution to problem (38) if and only if it is continuous and satisfies the integral equation:
Theorem 11. Let F : (0, a) × ℝℱ⟶ℝℱ be continuous, and assume that there exists k > 0 such that
Proof. If in problem (38) we consider the conformable derivative x(q) for all q ∈ (0,1] Theorem 3, then from Theorem 6.1 in [2] and using Definition 4 and Lemma 1,(0, a) we can prove that there exists an unique solution on (0, a), and the proof is now complete.
Remark 2. In [15], it is observed that if we fuzzify the equivalent ordinary differential equation x(q) + x = 0, then we will get fuzzy differential equations (the equation was fuzzified by adding a forcing term σ(t) in the right-hand side). That is, if we consider fuzzy differential equation x(q) + x = σ(t) with the same initial condition x(t0) = x0, we get the result.
Consider the following linear fractional equation:
Theorem 12. Equation (41) has a unique solution in (0, a), and for given initial x0 ∈ ℝℱ, it is given by
Proof. Equation (41) can be written, levelwise, as
Thus, for t ∈ (0, a),
This proves that, for α ∈ [0,1],
So,
5. Conclusion
In this study, for developing and proving some results for fuzzy conformable differentiability and fuzzy fractional integrability of such functions, we provided existence and uniqueness solutions to fuzzy fractional problems for order q ∈ (0,1] FFDEs, which is interpreted by using the generalized conformable fractional derivatives concept.
For future research, we will solve the fractional fuzzy conformable partial differential equations [22, 23] and a class of linear differential dynamical systems [24] by using the proposed method.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Open Research
Data Availability
The data used to support the findings of this study are available from the corresponding author upon request.