Solving Fuzzy Fractional Differential Equations Using Zadeh's Extension Principle

We study a fuzzy fractional differential equation (FFDE) and present its solution using Zadeh's extension principle. The proposed study extends the case of fuzzy differential equations of integer order. We also propose a numerical method to approximate the solution of FFDEs. To solve nonlinear problems, the proposed numerical method is then incorporated into an unconstrained optimisation technique. Several numerical examples are provided.


Introduction
Fractional calculus is an important branch in mathematical analysis. It is a generalisation of ordinary calculus that allows noninteger order. At the beginning, it was slowly established. However, after Leibniz and Newton invented differential calculus, it has been a subject of interest among mathematicians, physicists, and engineers. Consequently, the theory of fractional calculus has been extensively developed and influenced in many areas of discipline. The fractional integral and fractional derivative of Riemann-Liouville, for example, have been applied to solve many mathematical problems [1][2][3][4][5][6]. One of the particular interests is the case of solving fractional differential equations [7][8][9]. The fractional derivative of Riemann-Liouville, however, has a common characteristic. It requires a quantity of fractional derivative of unknown solution at initial point. In practice, we do not clearly know what the meaning of the fractional derivative at that point is. In other words, the required quantity cannot be measured and perhaps may not be available [10,11].
The well-known and popularly used method in solving fractional differential equations is the Caputo fractional derivative. It allows to specify a quantity of integer order derivatives at the initial point. This quantity typically is available and can be measured. It is therefore not surprising that there is a vast literature dealing with fractional differential equations involving the Caputo fractional derivative [12][13][14][15][16]. The theory and application of fractional differential equations under both types of fractional derivatives have been discussed by many authors [11,[17][18][19][20][21][22][23][24][25]. Some potential applications have been studied in [26][27][28].
In the context of mathematical modelling, developing an accurate fractional differential equation is not a simple task. It requires an understanding of real physical phenomena involved. The real physical phenomena, however, are always pervaded with uncertainty. This is obvious when dealing with "living" materials such as soil, water, and microbial populations [29]. When a real physical phenomenon is modelled by a fractional differential equation, namely, ( ) = ( , ( )) , 0 < ≤ 1, > , we cannot usually be sure that the model is perfect. For example, the initial value in (1) may not be known precisely. It may take any value in the form of "less than 0 , " "about 2 The Scientific World Journal exist for describing this situation and the most popular one is the fuzzy set theory [30].
In order to obtain a more realistic model than (1), Agarwal et al. [31] have taken an initiative to introduce the concept of solution for fuzzy fractional differential equations. This contribution has motivated several authors to establish some results on the existence and uniqueness of solution (see [32]). In [33], the authors derived the explicit solution of fuzzy fractional differential equations using the Riemann-Liouville H-derivative. Recently, Salahshour et al. [34] applied fuzzy Laplace transforms [35] to solve fuzzy fractional differential equations. Basically, the proposed ideas are a generalisation of the theory and solution of fuzzy differential equations [36][37][38][39][40][41]. However, the authors considered fuzzy fractional differential equations under the Riemann-Liouville H-derivative. Again, it requires a quantity of fractional H-derivative of an unknown solution at the fuzzy initial point. In this paper, we propose a new interpretation of fuzzy fractional differential equations and present their solutions analytically and numerically. The proposed idea is a generalisation of the interpretation given in [42][43][44][45][46][47][48][49], where the authors used Zadeh's extension principle to interpret fuzzy differential equations. According to Mizukoshi et al. [43], this interpretation requires neither the concept of derivatives of a fuzzy function nor the use of selection theory to obtain a solution to the fuzzy differential equation.
This paper is organised in the following sequence. In Section 2, we recall some basic definitions and theoretical backgrounds needed in this paper. In Section 3, we present the solution of fuzzy fractional differential equations analytically and numerically. In Section 4, some numerical examples are given. Finally in Section 5, we give conclusions.

Basic Concepts
In this section, we briefly elaborate some definitions and important concepts of fractional calculus and fuzzy set.

The Fractional Integral and Fractional
Derivative. The following definitions of fractional integral and fractional derivative are adopted from [11]. Definition 1. A real function ( ), > 0, is said to be in the space , ∈ R, if there exists a real number > , such that ( ) = 1 ( ), where 1 ( ) ∈ (0, ∞) and it is said to be in the space if and only if ∈ , ∈ N.
Definition 2. The Riemann-Liouville fractional integral of of order > 0 with ≥ 0 is defined as and for = 0, the Riemann-Liouville fractional integral of is defined as Here, Γ( ) is the well-known gamma function defined as Definition 3. The Caputo fractional derivative of of order > 0 with ≥ 0 is defined as for − 1 < ≤ , ∈ N, ≥ , ∈ −1 .
The following are two basic properties of the Caputo fractional derivative [50].
(2) Let − 1 < ≤ , ∈ N, and ∈ , ≥ −1. Then The Laplace transform of the Caputo fractional derivative is given by [51] 2.2. Fuzzy Set Theory. According to Zadeh [30], a fuzzy set is a generalisation of a classical set that allows a membership function to take any value in the unit interval [0, 1].
Definition 4 (see [30]). Let be a universal set. A fuzzy set in is defined by a membership function ( ) that maps every element in to the unit interval [0, 1].
Definition 5 (see [38]). Let be a fuzzy set defined in R. is called a fuzzy number if (i) is normal: there exists 0 ∈ R such that ( 0 ) = 1; (ii) is convex: for all , ∈ R and 0 ≤ ≤ 1, it holds that (iii) is upper semicontinuous: for any 0 ∈ R, it holds that Definition 6 (see [38]). Let be a fuzzy number defined in R.
The -cut of is the crisp set [ ] that contains all elements in R such that the membership value of is greater than or equal to ; that is, The Scientific World Journal 3 For a fuzzy number , its -cuts are closed intervals in R and we denote them by Definition 7 (see [52]). A fuzzy number is called a triangular fuzzy number if its membership function has the following form: and its -cuts are In this paper, we denote = ( , , ) as the triangular fuzzy number and F(R) as the set of all triangular fuzzy numbers.
Any crisp function can be extended to take fuzzy set as arguments by applying Zadeh's extension principle [30]. Let be a function from to . Given a fuzzy set in , we want to find a fuzzy set = ( ) in that is induced by . If is a strictly monotone, then we can extend to fuzzy set as follows: It is clear that (13) can be easily calculated by determining the membership at the endpoints of the -cuts of . However, in general, the process of finding the fuzzy set = ( ) is more complicated and cannot be gathered easily. For example, if is nonmonotone, then the problem can arise when two or more distinct points in are mapped to the same point in . If this is the case, then the above equation may take two or more different values. This requires a new extension of (13) as shown below: where Some computational methods to compute (14) can be found in [53,54].
Definition 9 (see [56]). If and are two fuzzy numbers, then the distance between and is defined as In [57], the authors have shown that (F(R), ) is a complete metric space and the following properties are well known:

Fuzzy Fractional Differential Equations
In this section, we present analytical and numerical solutions of fuzzy fractional differential equations.
In order to find the solution of (20), we first find the solution of (19). By taking the Laplace transform on both sides of (19), we get It follows that 4 The Scientific World Journal Assume that after simplifying (22), we get Then by taking the inverse Laplace transform to (23), we have for ∈ [ 0 , ] and 0 ∈ R. In order to find the solution of (20), we fuzzify (24) using Zadeh's extension principle. Hence, we have which is the solution of (20). This procedure can be shown precisely in the following theorem.

Theorem 10. Let be an open set in
. Suppose that is continuous and that for each ∈ (0, 1] and each 0 ∈ there exists a unique solution (⋅, , 0 ) of the problem (19) and that ( , , ⋅) is continuous in for each ∈ [ 0 , ] fixed. Then, there exists a unique fuzzy solution ( ) = ( , , 0 ) of the problem (20).
Proof. The proof of this theorem uses the basic idea found in [46]. Since is continuous, there exists a unique solution ( , , 0 ). This solution is well defined and continuous in , for each ∈ [ 0 , ] fixed. Then, from Theorem 8, we havê ( , , ⋅) : F( ) → F(R), which is continuous and well defined. Therefore, there exists a unique fuzzy solution of the form ( ) =̂( , , 0 ) for the problem (20).
In the following result, we will show that 1 ( ) and 2 ( ) do not interchange at all ∈ [ 0 , ∞). Proof. We know that ( ) is obtained by Zadeh's extension principle through Theorem 10; then its membership function has the following form: It follows that for ∈ [0, 1]. It is obvious that This holds for all ∈ [ 0 , ∞). This completes the proof.
In general, the solution of (20) may not be found analytically. Therefore, a numerical method must be proposed.

Numerical Solution of Fuzzy Fractional Differential Equations.
Fractional Euler method under the Caputo fractional derivative has been proposed in [59]. However, in order to approximate the solution of fuzzy fractional differential equations, the fractional Euler method has to be extended in the fuzzy setting. In this case, Zadeh's extension principle plays an important role.
In general, the computation of (34) is not an easy task. By using the concept of -cuts, (34) can be calculated as follows: The optimisation problems in (35) are performed as follows.

Numerical Examples
In this section, we present three examples for solving fuzzy fractional differential equations.
This problem is a generalisation of the following fractional differential equation: where ∈ (0, 1], > 0, and 0 is a real number. In order to find the solution of (36), we first find the solution of (37). By taking the Laplace transform on both sides of (37), we have We then obtain Simplifying (39), we get By taking the inverse Laplace transform to (40), we obtain which finally has the following solution: where ( * ) is the Mittag-Leffler function defined as By using Zadeh's extension principle to (42) in relation to 0 , we obtain which is the solution of (36).
Clearly, (45) are the valid -cuts of the solution of (36). For numerical approximation, we set ∈ [0, 2] and = 100. By using Algorithm 1, the results for different values of are plotted in Figure 1. From the graphs, we can see that if approaches 1, the approximate solutions will approach the approximate solution of fuzzy differential equation. Numerical values at = 2 for different values of are listed in Table 1.
The nonfuzzy problem associated with (46) is The Scientific World Journal 7  In order to find the solution of (46), we first find the solution of (47). By taking the Laplace transform on both sides of (47), we have It follows that After simplifying, we get By taking the inverse Laplace transform to (50), we obtain which finally has the following solution: where ( * ) is the Mittag-Leffler function. Using Zadeh's extension principle to (52) in relation to 0 , we obtain the solution of (46) as follows: Clearly, (54) are the valid -cuts of the solution of (46). By using Algorithm 1 with the same interval and interval as in Example 1, the numerical solutions of (46) for different values of are plotted in Figure 2. Again, we can see that the numerical solutions will approach the numerical solution of fuzzy differential equation as increases to 1. Numerical solutions at = 2 for different values of are listed in Table 2.
In the following example, we provide detailed procedures for solving a nonlinear fuzzy fractional differential equation.

Conclusions
In this paper, we have studied a fuzzy fractional differential equation and presented its solution using Zadeh's extension principle. The classical fractional Euler method has also been extended in the fuzzy setting in order to approximate the solutions of linear and nonlinear fuzzy fractional differential equations. Final results showed that the solution of fuzzy fractional differential equations approaches the solution of fuzzy differential equations as the fractional order approaches the integer order.