Research Article  Open Access
A Numerical Method for Fuzzy Differential Equations and Hybrid Fuzzy Differential Equations
Abstract
Numerical algorithms for solving firstorder fuzzy differential equations and hybrid fuzzy differential equations have been investigated. Sufficient conditions for stability and convergence of the proposed algorithms are given, and their applicability is illustrated with some examples.
1. Introduction
Hybrid systems are devoted to modeling, design, and validation of interactive systems of computer programs and continuous systems. That is, control systems that are capable of controlling complex systems which have discrete event dynamics as well as continuous time dynamics can be modeled by hybrid systems. The differential systems containing fuzzy valued functions and interaction with a discrete time controller are named hybrid fuzzy differential systems.
The Hukuhara derivative of a fuzzynumbervalued function was introduced in [1]. Under this setting, the existence and uniqueness of the solution of a fuzzy differential equation are studied by Kaleva [2, 3], Seikkala [4], and Kloeden [5]. This approach has the disadvantage that it leads to solutions which have an increasing length of their support [2]. A generalized differentiability was studied in [6–8]. This concept allows us to resolve the previously mentioned shortcoming. Indeed, the generalized derivative is defined for a larger class of fuzzynumbervalued functions than the Hukuhara derivative. Some applications of numerical methods in FDE and hybrid fuzzy differential equation (HFDE) are presented in [9–19]. Some other approaches to study FDE and fuzzy dynamical systems have been investigated in [20–22].
In engineering and physical problems, Trapezoidal rule is a simple and powerful method to solve numerically related ODEs. Trapezoidal rule has a higher convergence order in comparison to other one step methods, for instance, Euler method.
In this work, we concentrate on numerical procedure for solving FDEs and HFDEs, whenever these equations possess unique fuzzy solutions.
In Section 2, we briefly present the basic definitions. Trapezoidal rule for solving fuzzy differential equations is introduced in Section 3, and convergence and stability of the mentioned method are proved. The proposed algorithm is illustrated by solving two examples. In Section 4 we present Trapezoidal rule for solving hybrid fuzzy differential equations.
2. Preliminary Notes
In this section the most basic definition of ordinary differential equations (ODEs) and notation used in fuzzy calculus are introduced. See, for example, [23].
Consider the firstorder ordinary differential equation where and . A linear multistep method applied to (1) is with , , given starting values . In the case , the corresponding methods (2) are explicit and are implicit otherwise. The constant step size leads to time discretizations with respect to the grid points . The value is an approximation of the exact solution at . The special case of explicit methods, , , , , , and , corresponds to the Midpoint rule: and the especial case of implicit methods, , , , and , corresponds to the Trapezoidal rule: For an explicit method, (2) yields the current value directly in terms of , , , which, at this stage of the computation, have already been calculated. An implicit method will call for the solution, at each stage of computation, of the the equation where is a known function of previously calculated values , , . When the original differential equation in (1) is linear, then (5) is linear in , and there is no problem in solving it. When is nonlinear, for finding solution of (1), we can use the following iteration:
Definition 1. Associated with the multistep method (2), we define the first characteristic polynomial as follows:
Theorem 2. A multistep method is stable if the first characteristic polynomial satisfies the root condition, that is, the roots of lie on or within the unit circle, and further the roots on the unit circle are simple.
According to Theorem 2, we know the Midpoint rule and Trapezoidal rule are stable.
Definition 3. The difference operator and the associated linear multistep method (2) are said to be of order if for the following equation: we have , , where and , for .
According to Definition 3, Midpoint rule and Trapezoidal rule are secondorder methods.
We now recall some general concepts of fuzzy set theory; see, for example, [2, 24].
Definition 4. Let be a nonempty set. A fuzzy set in is characterized by its membership function , and is interpreted as the degree of membership of an element in fuzzy set for each .
Let us denote by the class of fuzzy subsets of the real axis, that is, satisfying the following properties: (i)is normal, that is, there exists such that ,(ii) is a convex fuzzy set (i.e., , ), (iii) is upper semicontinuous on , (iv) is compact, where denotes the closure of a subset. The space is called the space of fuzzy numbers. Obviously, . For , we denote Then from (i)–(iv), it follows that the level set is a nonempty compact interval for all . The notation denotes explicitly the level set of . The following remark shows when is a valid level set.
Remark 5. The sufficient conditions for to define the parametric form of a fuzzy number are as follows: (i) is a bounded monotonic increasing (nondecreasing) leftcontinuous function on and rightcontinuous for ,(ii) is a bounded monotonic decreasing (nonincreasing) leftcontinuous function on and rightcontinuous for .(iii), .
For and , the sum and the product are defined by , , , where means the usual addition of two intervals (subsets) of , and means the usual product between a scaler and a subset of .
The metric structure is given by the Hausdorff distance by The following properties are well known: , , , , , , ,and is complete metric spaces.
Let be a real interval. A mapping is called a fuzzy process and its level set is denoted by A triangular fuzzy number is defined by an ordered triple with , where the graph of is a triangle with base on the interval and vertex at . An level of is always a closed, bounded interval. We write ; then for any .
Definition 6. Let . If there exists such that , then is called the Hdifference of and , and it is denoted by .
In this paper the sign “” stands always for Hdifference, and let us remark that . Usually we denote by , while stands for the Hdifference.
Definition 7. Let be a fuzzy function. We say is Hukuhara differentiable at if there exists an element such that the limits exist and are equal to . Here the limits are taken in the metric space .
Definition 8. Let . The fuzzy integral is defined by provided the Lebesgue integrals on the right exist.
Remark 9. Let . If is Hukuhara differentiable and its Hukuhara derivative is integrable over , then for all values of , , where .
Theorem 10. Let , , be the observed data, and suppose that each of the is a triangular fuzzy number. Then for each , the fuzzy polynomial interpolation is a fuzzyvalue continuous function , where ,, and such that .
Proof. See [25].
3. Fuzzy Differential Equations
Consider the firstorder fuzzy differential equation , where is a fuzzy function of , is a fuzzy function of crisp variable and fuzzy variable , and is Hukuhara fuzzy derivative of . If an initial value is given, a fuzzy Cauchy problem of first order will be obtained as follows: By Theorem 5.2 in [11] we may replace (21) by equivalent system The parametric form of (22) is given by for . In some cases the system given by (23) can be solved analytically. In most cases analytical solutions may not be found, and a numerical approach must be considered. Some numerical methods such as the fuzzy Euler method, Nyström method, and predictorcorrector method presented in [7, 10, 11, 13, 15]. In the following, we present a new method to numerical solution of FDE.
3.1. Trapezoidal Rule for Fuzzy Differential Equations
In the interval we consider a set of discrete equally spaced grid points . The exact and approximate solutions at , , are denoted by and , respectively. The grid points at which the solution is calculated are Let , which is triangular fuzzy number. We have By fuzzy interpolation, Theorem 10, we get where , interpolates with the interpolation data given by the value , and , .
For we have From (16) and (25) it follows that where According to (25), if (26) and (27) are situated in (31), (27) and (28) in (32), we obtain By integration we have By (16) deduce Similarly we obtain Therefore, Trapezoidal rule is obtained as follows: for .
3.2. Convergence and Stability
Suppose the exact solution is approximated by some . The exact and approximate solutions at , are denoted by and , respectively. Our next result determines the pointwise convergence of the Trapezoidal approximates to the exact solution. The following lemma will be applied to show convergence of these approximates; that is,
Lemma 11. Let a sequence of numbers satisfy for some given positive constant and . Then
Proof. See [15].
Let and be the functions and of (22), where and are constants and . The domain where and are defined is therefore
Theorem 12. Let and belong to , and let the partial derivatives of , be bounded over . Then for arbitrary fixed , the Trapezoidal rule approximate of (37) converges to the exact solutions , uniformly in , for .
Proof. It is sufficient to show that By using Taylor’s theorem, we get where , . Consequently, Denote and . Then where and , and is a bound for partial derivatives of and in , . Thus, If we put and , then Then by Lemma 11 and , we have If , then , which concludes the proof.
Remark 13. According to Definition 3, Trapezoidal rule is a secondorder method. In fact we may consider the definition of convergence order given in Definition 3 for system of ODEs.
Theorem 14. Trapezoidal rule is stable.
Proof. For Trapezoidal rule exists only one characteristic polynomial , and it is clear that satisfies the root condition. Then by Theorem 2, the Trapezoidal rule is stable.
3.3. Numerical Results
In this section we apply Trapezoidal rule for numerical solution of two linear fuzzy differential equations. We compare our results with Midpoint rule. The authors in [13] have presented the Midpoint rule for numerical solution of FDEs as follows: The Midpoint rule is a secondorder and stable method [13].
In the following two examples, the implicit nature of Trapezoidal rule for solving linear fuzzy differential equation is implemented by solving a linear system at each stage of computation.
Example 15 (see [13]). Consider the initial value problem The exact solution at for is given by A comparison between the exact solution, , and the approximate solutions by Midpoint method [13], , and Trapezoidal method, , at with , is shown in Table 1 and Figure 1.

Example 16. Let us consider the firstorder fuzzy differential equation
where .
The exact solution at is given by
A comparison between the exact solution, , and the approximate solutions by Midpoint method, , and Trapezoidal method, , at with , is shown in Table 2 and Figure 2.

4. Hybrid Fuzzy Differential Equations
Consider the hybrid fuzzy differential equation where is strictly increasing and unbounded, denotes , is continuous, and each is a continuous function. A solution to (55) will be a function satisfying (55). For , let , where . The hybrid fuzzy differential equation in (55) can be written in expanded form as and a solution of (55) can be expressed as We note that the solution of (55) is continuous and piecewise differentiable over and differentiable on each interval for any fixed and .
Theorem 17. Suppose for that each is such that If for each there exists such that for all , then (55) and the hybrid system of ODEs are equivalent.
Proof. See [19].
4.1. Trapezoidal Rule for Hybrid Fuzzy Differential Equations
For each , to numerically solve (55) in , replace each interval , by a set of regularly spaced grid points (including the endpoints). The grid point on will be , , at which the exact solution will be approximated by some . We set , and , if .
According to Section 3, by similar computation we obtain the Trapezoidal rule for solving (60) as follows: for , .
Next, we give the algorithm to numerically solve (55) in .
First Step. will be a numerical solution generated by (61) for as follows: is a numerical solution of (60) over .
Second Step. For each , will be numerical solution generated by (61) for where , is a numerical solution of (60) over for each .
For arbitrary fixed and , we can prove that the numerical solution of (55) converges to the exact solution; that is, The Trapezoidal rule is a onestep method as the Euler method. Therefore, the proof of the convergence closely follows the idea of the proof of Theorem 3.2 in [18] and Theorem 4.1 in [19].
Theorem 18. Consider the system of (55). Suppose for some fixed and that , where is obtained by (61). Then
Proof. See [19].
Example 19. Consider the following hybrid fuzzy system:
where is a triangular fuzzy number having level sets ,
By [19, Example ], we know (66) has a unique solution and the exact solution on is given by
To numerically solve the hybrid fuzzy initial value problem (66) we apply the Trapezoidal rule for hybrid fuzzy differential equations.
A comparison between the exact solution and the approximate solutions by Midpoint method and Trapezoidal method at with is shown in Table 3 and Figure 3.

5. Conclusion
We have presented Trapezoidal rule for numerical solution of firstorder fuzzy differential equations and hybrid fuzzy differential equations. Also convergence and stability of the method are studied. To illustrate the efficiency of the new method, we have compared our method with the Midpoint rule in some examples. We have shown the global error in Trapezoidal rule is much less than in Midpoint rule.
For future research, we will apply Trapezoidal rule to fuzzy differential equations and hybrid fuzzy differential equations under generalized Hukuhara differentiability. Also one can apply Trapezoidal rule and Midpoint rule as a predictorcorrector method to solve FDE and HFDE.
Acknowledgments
The first author would like to thank the financial support of the Islamic Azad University, Shabestar Branch. The research of the third author has been partially supported by Ministerio de Economia y Competitividad (Spain), Project MTM201015314, and cofinanced by the European Community fund FEDER. This research was completed during the visit of the second author to the USC.
References
 M. L. Puri and D. A. Ralescu, “Differentials of fuzzy functions,” Journal of Mathematical Analysis and Applications, vol. 91, no. 2, pp. 552–558, 1983. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 O. Kaleva, “Fuzzy differential equations,” Fuzzy Sets and Systems, vol. 24, no. 3, pp. 301–317, 1987. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 O. Kaleva, “The Cauchy problem for fuzzy differential equations,” Fuzzy Sets and Systems, vol. 35, no. 3, pp. 389–396, 1990. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 S. Seikkala, “On the fuzzy initial value problem,” Fuzzy Sets and Systems, vol. 24, no. 3, pp. 319–330, 1987. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 P. E. Kloeden, “Remarks on Peanolike theorems for fuzzy differential equations,” Fuzzy Sets and Systems, vol. 44, no. 1, pp. 161–163, 1991. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 B. Bede, I. J. Rudas, and A. L. Bencsik, “First order linear fuzzy differential equations under generalized differentiability,” Information Sciences, vol. 177, no. 7, pp. 1648–1662, 2007. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 J. J. Nieto, A. Khastan, and K. Ivaz, “Numerical solution of fuzzy differential equations under generalized differentiability,” Nonlinear Analysis: Hybrid Systems, vol. 3, no. 4, pp. 700–707, 2009. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 A. Khastan, J. J. Nieto, and R. RodríguezLópez, “Variation of constant formula for first order fuzzy differential equations,” Fuzzy Sets and Systems, vol. 177, pp. 20–33, 2011. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 S. Abbasbandy, T. Allahviranloo, and P. Darabi, “Numerical soluion of nthorder fuzzy differential equations by RungeKutta method,” Journal of Mathematical and Computational Applications, vol. 16, no. 4, pp. 935–946, 2011. View at: Google Scholar
 T. Allahviranloo, N. Ahmady, and E. Ahmady, “Numerical solution of fuzzy differential equations by predictorcorrector method,” Information Sciences, vol. 177, no. 7, pp. 1633–1647, 2007. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 M. Friedman, M. Ma, and A. Kandel, “Numerical solutions of fuzzy differential and integral equations,” Fuzzy Sets and Systems, vol. 106, no. 1, pp. 35–48, 1999. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 B. Ghazanfari and A. Shakerami, “Numerical solutions of fuzzy differential equations by extended RungeKuttalike formulae of order 4,” Fuzzy Sets and Systems, vol. 189, pp. 74–91, 2012. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 A. Khastan and K. Ivaz, “Numerical solution of fuzzy differential equations by Nyström method,” Chaos, Solitons & Fractals, vol. 41, no. 2, pp. 859–868, 2009. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 H. Kim and R. Sakthivel, “Numerical solution of hybrid fuzzy differential equations using improved predictorcorrector method,” Communications in Nonlinear Science and Numerical Simulation, vol. 17, no. 10, pp. 3788–3794, 2012. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 M. Ma, M. Friedman, and A. Kandel, “Numerical solutions of fuzzy differential equations,” Fuzzy Sets and Systems, vol. 105, no. 1, pp. 133–138, 1999. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 N. Parandin, “Numerical solution of fuzzy differential equations of nthorderby RungeKutta method,” Neural Computing and Applications, vol. 21, no. 1, Supplement, pp. 347–355, 2012. View at: Publisher Site  Google Scholar
 P. Prakash and V. Kalaiselvi, “Numerical solution of hybrid fuzzy differential equations by predictorcorrector method,” International Journal of Computer Mathematics, vol. 86, no. 1, pp. 121–134, 2009. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 S. Pederson and M. Sambandham, “Numerical solution to hybrid fuzzy systems,” Mathematical and Computer Modelling, vol. 45, no. 910, pp. 1133–1144, 2007. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 S. Pederson and M. Sambandham, “Numerical solution of hybrid fuzzy differential equation IVPs by a characterization theorem,” Information Sciences, vol. 179, no. 3, pp. 319–328, 2009. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 J. Li, A. Zhao, and J. Yan, “The Cauchy problem of fuzzy differential equations under generalized differentiability,” Fuzzy Sets and Systems, vol. 200, pp. 1–24, 2012. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 M. T. Malinowski, “Random fuzzy differential equations under generalized Lipschitz condition,” Nonlinear Analysis: Real World Applications, vol. 13, no. 2, pp. 860–881, 2012. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 J. Xu, Z. Liao, and J. J. Nieto, “A class of linear differential dynamical systems with fuzzy matrices,” Journal of Mathematical Analysis and Applications, vol. 368, no. 1, pp. 54–68, 2010. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
 P. Henrici, Discrete Variable Methods in Ordinary Differential Equations, John Wiley & Sons, New York, NY, USA, 1962. View at: MathSciNet
 P. Diamond and P. Kloeden, Metric Spaces of Fuzzy Sets, World Scientific, Singapore, 1994.
 O. Kaleva, “Interpolation of fuzzy data,” Fuzzy Sets and Systems, vol. 61, no. 1, pp. 63–70, 1994. View at: Publisher Site  Google Scholar  Zentralblatt MATH  MathSciNet
Copyright
Copyright © 2013 K. Ivaz et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.