Well-posedness and stability for fuzzy fractional differential equations*
Well-posedness and stability for fuzzy fractional differential equations*
Nonlinear Analysis: Modelling and Control, vol. 27, núm. 5, pp. 980-993, 2022
Vilniaus Universitetas

Recepción: 11 Diciembre 2021
Revisado: 16 Mayo 2022
Publicación: 06 Julio 2022
Abstract: In this article, we consider the existence and uniqueness of solutions for a class of initial value problems of fuzzy Caputo–Katugampola fractional differential equations and the stability of the corresponding fuzzy fractional differential equations. The discussions are based on the hyperbolic function, the Banach fixed point theorem and an inequality property. Two examples are given to illustrate the feasibility of our theoretical results.
Keywords: fuzzy fractional differential equations, hyperbolic function, Banach fixed point theorem.
1 Introduction
In this paper, we are concerned with the existence, uniqueness and stability of solutions for a class of initial value problems of fuzzy fractional differential equations (FFDE) of the following form:
(1)where
is the fuzzy Caputo–Katugampola fractional generalized Hukuhara derivative of order
, is a fixed real number,
is a continuous fuzzy nonlinear mapping, and
is the space of fuzzy numbers.
Fractional-order differential equation can be regarded as a generalization of ordinary integer-order differential equation, and we refer the reader to [13,17,24,26]. However, due to errors caused by observations, experiments and maintenance, the variables and parameters that we get are usually fuzzy, incomplete and inaccurate. These uncertainties are introduced into fractional differential equations called fractional fuzzy differential equations.
In recent years, there has been some research on fractional fuzzy differential equations. Except for various numerical solutions, most of the methods transform fractional fuzzy differential equations into fractional fuzzy integral equations and then use nonlinear analysis methods to discuss the qualitative properties of the solutions. In 2010, Agarwal et al. obtained the solution of the initial value problem by studying the corresponding fuzzy integral equation of the initial value problem in [2]. In 2012, Allahviranloo et al. [5] studied the analytical solution to the initial value problem for a class of Riemann– Liouville-type fractional differential equations under the strong generalized Hukuhara differentiability introduced in [8]. Then Allahviranloo et al. studied the initial value problem of the Volterra–Fredholm-type fuzzy integro–differential equation, and established the existence and uniqueness of the solution by using a compact mapping theorem and an iterative method [3]. Recently, Ngo presented results on the existence and uniqueness of solutions for two kinds of fractional fuzzy functional integral equations and fuzzy functional differential equations using the contraction mapping principle and the successive approximation method [11,12]. For research on solutions of initial boundary value problems for fractional fuzzy differential equations, more information can be found in [1, 4, 6, 13, 22, 27, 32, 35] and the references therein.
The study of Ulam stability can provide an important theoretical basis for the existence and even uniqueness of the solution of the differential equation and it can also provide a reliable theoretical basis for the approximate solution of the corresponding equation. In 1993, Obloza studied the stability of the differential equation in [23]. Miura and others established Ulam stability theory of differential equations in different abstract spaces [18, 19, 31]. In 2013, Rezaei et al. [29] established Hyers–Ulam stability of .th-order linear differential equations with constant coefficients using the Laplace transform method. Mortici et al. [20] studied the general solution of the inhomogeneous Euler equation and the Hyers–Ulam stability on a bounded domain using the integral method. In 2016, Bahyrycz et al. discussed Ulam stability of the generalized Frechet equation in a Banach space using a fixed point theorem in [7]. In 2018, Onitsuka [25] established the Ulam stability of first-order nonhomogeneous linear difference equations.
The purpose of this paper is to introduce fuzzy Caputo–Katugampola fractional differential equations, and discuss the existence, uniqueness and stability of solutions of fuzzy fractional differential equations (1). The structure of the paper is as follows: some preliminaries are given in Section 2. In Section 3, we establish the existence and uniqueness of solutions to problem (1). In Section 4, we discuss the stability of the solution. In Section 5, some examples are given to illustrate the feasibility of the results.
2 Preliminaries
In this section, we briefly introduce some definitions, notations and results related to fuzzy functions, which will be referred to throughout this paper.
We denote the set of all real numbers by
and the set of all fuzzy numbers on
is indicated by
. A fuzzy number is a mapping
with the following properties:
is upper semicontinuous;
is fuzzy convex, i.e.,
for all
,
;
is normal, i.e., there exists
for which
;
supp
is the support of the u, and its closure cl(supp
) is compact.
For
denote
and
. Then it is well known that the
-level set of
, is a closed interval for all
, where
and
represent the upper and lower branches of the fuzzy set
, respectively. A fuzzy number function defined on the real set
and valued in
is called a fuzzy-valued function, that is,
. Let the
-level representation of the fuzzy-valued function
. be expressed by 

For
, we define the diameter of the
-level set of
as
. Let
. If there exists
such that
, then
is called the
-difference of
and
, and it is denoted by
. In this paper, the sign
always stands for the
-difference.
The Hausdorff distance between fuzzy numbers is given by
,

Then it is easy to see that
is a metric in
and the following properties of the metric
are valid (see [28]):
for all
;


for all 
is a complete metric space
For the fuzzy-valued function
defined on
, we introduce measure 
. We say that the fuzzy-valued function
is integrable on
if the function
is continuous in the metric
and its definite integral exist, and we have

Definition 1. (See [20].) The generalized Hukuhara difference of two fuzzy numbers
(
-difference for short) is defined as follows:

A function
is called
-increasing (
-decreasing) on
if for every
, the function
is nondecreasing (nonincreasing) on
. If
is
-increasing or
-decreasing on
, then we say that
is
-monotone on
.
Definition 2. (See [9].) Let
and
. The fuzzy function
is said to be generalized Hukuhara differentiable (
-differentiable) at
if there exists an element
such that

Denote by
the set of all continuous fuzzy functions,
the set of all absolutely continuous fuzzy functions on the interval
with values in
.
Theorem 1. (See [21].) If
) is a d-monotone fuzzy function and 
, then

Now, we consider the fractional hyperbolic functions and their properties that will be used in the next section. The Mittag-Leffler function frequently used in the solution of fractional-order systems (see [15]), is defined as follows:

Lemma 1. (See [10].) Set
. Now
and
have the following properties:
Let
. Then
and
. Moreover,
and
;
Let
and
. Then
and
are nonnegative. Additionally,
. Then
and
;

Theorem 2. (See [21].) For
and
is
-increasing, or
and
is
-decreasing, (by applying the definition of the Mittag-Leffler function) the solution of problem (1)is expressed by

where
(for the case of
and
is
-increasing), whereas if
and
is
-decreasing,
, then we obtain the solution of problem (1)is

3 Existence and uniqueness results
Let
be the space of all continuous fuzzy-valued functions on
. Consider the following assumptions:
(H1)
is continuous;
(H2) there exists
such that
and
;
(H3) 
Theorem 3. Assume that
,
is
-increasing, and conditions (H1), (H2) and (H3) are satisfied. Then the initial value problem (1)has a unique solution in
.
Proof. Consider the operator
given by

where
, and it is easy to see that
is a solution to the initial value problem (1) if and only if
. From Lemma 1 we have


for
and for each
, which implies that

Therefore, the Banach contraction mapping principle guarantees that
. has a unique fixed point
, so there is a unique solution to problem (1). The proof is completed.
Theorem 4. Assume that
, u is
-decreasing, conditions (H1).(H3) and the following condition are satisfied:
(H4) for any 

is nonincreasing in
,

is nonincreasing in
, for any
and 

Then the initial value problem (1)has a unique solution in
.
Proof. Consider the operator
given by

where
It is easy to see that
is a solution to the initial value problem (1) if and only if
. From Lemma 1 we have

for
and for each
, which implies that

Therefore, the Banach contraction mapping principle guarantees that
has a unique fixed point
, so there is a unique solution to problem (1).The proof is completed.
4 Stability results
Motivated by
-Ulam-type stability concepts of fractional differential equations (see [33]) and Ulam-type stability concepts of fuzzy differential equations (see [34]), we introduce some new
-Ulam-type stability concepts of fuzzy fractional differential equations.
Let
and
. be a continuous function. We consider the equation
(2)and the associated three inequalities
(3)
(4)
(5)
Definition 3. Equation (2) is
-Ulam–Hyers stable if there exists
such that for each
and for each solution
to inequality (3), there exists a solution
to Eq. (2) with

Definition 4. Equation (2) is generalized
-Ulam–Hyers stable if there exists a continuous function
with
such that for each solution
to inequality (3), there exists a solution
to Eq. (2) with

Definition 5. Equation (2) is
-Ulam–Hyers–Rassias stable with respect to
if there exists
such that for each
and for each solution
to inequality (5) there exists a solution
to Eq. (2) with

Definition 6. Equation (2) is generalized
-Ulam–Hyers–Rassias stable with respect to
if there exists
such that for each solution
to inequality (4) there exists a solution
to Eq. (2) with

Lemma 2. A function
is a solution of inequality (5)with
(H5)
exists in
for all
if and only if there exists a function
(which depends on
) such that:


Note one can have similar results for inequations (3)and (4)and we omit them here.
Proof. The sufficiency is obvious and we only prove the necessity. Let

Then we get (ii). Additionally, due to

and inequality (5), we can see (i) holds. The proof is completed.
Lemma 3. Let y be a solution of inequality (5)with
. Assume that condition (H5) is satisfied. Then y satisfies the integral inequality

if
and y is
-increasing, where
and

Proof. From Lemma 2 we see
satisfies
(6)if
and
is
-increasing, noticing
is a solution to problem (6), we have

Let

Then

From this it follows that

Lemma 4. Let y be a solution of inequality (5)with
. Assume that condition (H5) is satisfied. Then y satisfies integral inequality

if
and y is d-decreasing, where
and

Proof. The proof of Lemma 4 is similar to Lemma 3, so we omit it here.
Remark 1. One can have similar results to Lemmas 3, 4 inequalities (3) and (4)
Theorem 5. Assume that
and
is
-increasing, conditions (H1)-(H3) and
(H6) there exists a nonnegative, nondecreasing and continuous function
such that holds.

holds.
Suppose also that a function
satisfies inequality (5)and condition (H5) holds. Then Eq. (2)is
-Ulam–Hyers–Rassias stable.
Proof. Let
be a solution to problem (1), and denote
as a solution to inequality (5) with
. According to Lemma 3, we have

where
, From condition (H6) it follows that

by the generalized Gröwall inequality (see [30, 34]), and we obtain

Therefore Eq. (2) is
-Ulam–Hyers–Rassias stable according to Definition 5. The proof is completed.
Remark 2. Under the assumptions of Theorem 5, we consider Eq. (2) and inequality (4). One can verify that Eq. (2) is generalized
-Ulam–Hyers–Rassias stable according to Definition 6. Under the assumptions except (H6) of Theorem 5, we consider Eq. (2) and inequality (3). One can show that Eq. (2) is
-Ulam–Hyers stable and generalized
-Ulam–Hyers stable according to Definitions 3 and 4, respectively.
Theorem 6. Assume that
and u is d-decreasing, conditions (H1)-(H3) are satisfied. Suppose also that a function
satisfies inequality (5)and (H5), (H6) hold. Then Eq. (2)is
-Ulam–Hyers–Rassias stable.
Proof. The proof of is similar to Theorem 5, so we omit it here.
Remark 3. Under the assumptions of Theorem 6, we consider Eq. (2) and inequality (4). One can verify that Eq. (2) is generalized
-Ulam–Hyers–Rassias stable according to Definition 6. Under the assumptions except (H6) of Theorem 5, we consider Eq. (2) and inequality (3). One can show that Eq. (2) is
-Ulam–Hyers stable and generalized
-Ulam–Hyers stable according to Definitions 3 and 4, respectively.
5 Examples
Example 1. Consider the following initial value problem for the fuzzy fractional differential equation
(7)where
, and
is a symmetric triangular fuzzy number. Take
, clearly, conditions (H1)–(H3) hold, then according to Theorem 3, problem (7) has a unique solution.
Assume that a fuzzy-valued function
satisfies

Take
and
. Then we have

which means condition (H6) holds. Thus Eq. (7) is
-Ulam–Hyers–Rassias stable according to Theorem 5.
Example 2. Consider the following initial value problem for fuzzy fractional differential equation:
(8)where
, and
is a symmetric triangular fuzzy number. Take
, obviously, conditions (H1)–(H3) holds, then according to Theorem 4, problem (8) has a unique solution.
Assume that a fuzzy-valued function
satisfies

Take
and
. Then we have

which means condition (H5) holds, thus Eq. (8) is
-Ulam–Hyers–Rassias stable according to Theorem 6.
Acknowledgments
The authors thank the referees for valuable comments and sugges- tions, which improved the presentation of this manuscript.
References
1. R. Agarwal, D. Baleanu, J.J. Nieto, D.F.M. Torres, Y. Zhou, A survey on fuzzy fractional differential and optimal control nonlocal evolution equations, J. Comput. Appl. Math., 339: 3–29, 2018, https://doi.org/doi:10.1016/j.cam.2017.09.039.
2. R. Agarwal, V. Lakshmikantham, J.J. Nieto, On the concept of solution for fractional differential equations with uncertainty, Nonlinear Anal., Theory Methods Appl., 72(6):2859–2862, 2010, https://doi.org/10.1016/j.na.2009.11.029.
3. T. Allahviranloo, A. Armand, Z. Gouyandeh, H. Ghadiri, Existence and uniqueness of solutions for fuzzy fractional Volterra-Fredholm integro-differential equations, J. Fuzzy Set Valued Anal., 2013:00163, 2013.
4. T. Allahviranloo, Z. Noeiaghdam, S. Noeiaghdam, J.J. Nieto, A fuzzy method for solving fuzzy fractional differential equations based on the generalized fuzzy taylor expansion, Mathematics, .(12):2166, 2020, https://doi.org/doi:10.3390/math8122166.
5. T. Allahviranloo, S. Salahshour, S. Abbasbandy, Explicit solutions of fractional differential equations with uncertainty, Soft Comput., 16(2):297–302, 2012, https://doi.org/10.1007/s00500-011-0743-y.
6. N. Azhar, S. Iqbal, Solution of fuzzy fractional order differential equations by fractional Mellin transform method, J. Comput. Appl. Math., 400:113727, 2022, https://doi.org/doi:10.1016/j.cam.2021.113727.
7. A. Bahycycz, J. Brzdek, E. Jablonska, R. Malejki, Ulam’s stability of a generalization of Fréchet functional equation, J. Math. Anal. Appl., 442:537–553, 2016, https://doi.org/doi:10.1016/j.jmaa.2016.04.074.
8. B. Bede, S. Gal, Generalizations of the differentiability of fuzzy-number-valued functions with applications to fuzzy differential equations, Fuzzy Sets Syst., 151(3):581–599, 2005, https://doi.org/10.1016/j.fss.2004.08.001.
9. B. Bede, L. Stefanini, Generalized differentiability of fuzzy-valued functions, Fuzzy Sets Syst., 230:119–141, 2013, https://doi.org/doi:10.1016/j.fss.2012.10.003.
10. R. Gorenflo, A. Kilbas, F. Mainardif, S. Rogosin, Mittag-Leffler Functions, Springer, Berlin, Heidelberg, 2014.
11. N. Hoa, Fuzzy fractional functional differential equations under Caputo gH-differentiability, Commun. Nonlinear Sci. Numer. Simul., 22(1–3):1134–1157, 2015, https://doi.org/10.1016/j.cnsns.2014.08.006.
12. N. Hoa, Fuzzy fractional functional integral and differential equations, Fuzzy Sets Syst.,208:58–90, 2015, https://doi.org/10.1016/j.fss.2015.01.009.
13. E. Khodadadi, E. Çelik, The variational iteration method for fuzzy fractional differential equations with uncertainty, Fixed Point Theory Appl., 2013(4):13, 2013, https://doi.org/10.1186/1687-1812-2013-13.
14. A.A. Kilbas, H.M. Srivastava, J.J. Trujillo, Theory and Applications of Fractional Differential Equations, Elsevier, Amsterdam, 2006, https://doi.org/10.1016/S0304-0208(06)80001-0.
15. V. Kiryakova, The multi-index Mittag-Leffler functions as an important class of special functions of fractional calculus, Comput. Math. Appl., 59(5):1885–1895, 2010, https://doi.org/doi:10.1016/j.camwa.2009.08.025.
16. V. Lakshmikantham, S. Leela, D. Vasundhara, Theory of Fractional Dynamic Systems, CSP, Cambridge, 2009.
17. K. Miller, B. Ross, An introduction to the Fractional Calculus and Differential Equations, John Wiley, New York, 1993.
18. T. Miura, On the Hyers-Ulam stability of a differentiable map, Sci. Math. Jpn., .:1–8, 2001, https://www.jams.jp/scm/contents/Vol-5-1/5-1.pdf.
19. T. Miura, S. Takahasi, H. Choda On the Hyers-Ulam stability of real continuous function valued differentiable map, Tokyo J. Math., 24(2):467–476, 2001, https://doi.org/doi: 10.3836/tjm/1255958187.
20. C. Mortici, T. Rassias, S. Jung, The inhomogeneous Euler equation and its Hyers–Ulam stability, Appl. Math. Lett., 40:23–28, 2015, https://doi.org/doi:10.1016/j.aml. 2014.09.006.
21. V. Ngo, V. Ho, M. Tran, Fuzzy fractional differential equations under Caputo–Katugampola fractional derivative approach, Fuzzy Sets Syst., 375:70–99, 2019, https://doi.org/doi:10.1016/j.fss.2018.08.001.
22. H. Ngo, V. Lupulescu, D. O’Regan, A note on initial value problems for fractional fuzzy differential equations, Fuzzy Sets Syst., 347:54–69, 2018, https://doi.org/10.1016/j.fss.2017.10.002.
23. M. Obloza, Hyers stability of the linear differential equation, Rocznik Nauk.-Dydakt., Pr. Mat., 13:259–270, 1993, https://rep.up.krakow.pl/xmlui/bitstream/handle/11716/7688/.
24. K. Oldham, J. Spanier, The Fractional Calculus, Academic Press, New York, 1974, https://doi.org/10.1017/S0308210500019648.
25. M. Onitsuka, Hyers–Ulam stability of first-order nonhomogeneous linear difference equations with a constant stepsize, Appl. Math. Comput., 330:143–151, 2018, https://doi.org/doi:10.1016/j.amc.2018.02.036.
26. I. Podlubny, Fractional Differential Equations, Academic Press, San Diego, CA, 1999.
27. P. Prakash, J.J. Nieto, S. Senthilvelavan, G.S. Priya, Fuzzy fractional initial value problem, J. Intell. Fuzzy Systems, 28(6):2691-2704, 2015, https://doi.org/doi:10.3233/ ifs-151547.
28. M.L. Puri, D.A. Ralescu, Fuzzy random variables, J. Math. Anal. Appl., 114():409–422, 1986,https://doi.org/doi:10.1016/0022-247X(86)90093-4.
29. H. Rezaei, S. Jung, T. Rassias Laplace transform and Hyers–Ulam stability of linear differential equations, J. Math. Anal. Appl., 403(1):244–251, 2013, https://doi.org/doi:10.1016/j.jmaa.2013.02.034.
30. Y. Shen, On the Ulam stability of first order linear fuzzy differential equations under generalized differentiability, Fuzzy Sets Syst., 280:27–57, 2015, https://doi.org/doi:10.1016/j.fss.2015.01.002.
31. S. Takahasi, T. Miura, S. Miyajima On the Hyers-Ulam stability of the Banach space-valued differential equation y. = λy, Bull. Korean Math. Soc., 39(2):309–315, 2002, https://doi.org/doi:10.4134/BKMS.2002.39.2.309.
32. A. Truong, V. Ho, H. Ngo, The existence of solutions for an initial value problem of Caputo- Hadamard-type fuzzy fractional differential equations of order α (1, 2), J. Intell. Fuzzy Syst., 36(6):5821–5834, 2019, https://doi.org/10.3233/jifs-181657.
33. J. Wang, X. Li, Eα-Ulam type stability of fractional order ordinary differential equations, J. Appl. Math. Comput., 45(1):449–459, 2014, https://doi.org/doi:10.1007/s12190-013-0731-8.
34. H. Ye, J. Gao, Y. Ding, A generalized Gronwall inequality and its application to a fractional differential equation, J. Math. Anal. Appl., 328(2):1075–1081, 2007, https://doi.org/doi:10.1016/j.jmaa.2006.05.061.
35. X. Zhang, P. Chen, D. O’Regan, Continuous dependence of fuzzy mild solutions on parameters for IVP of fractional fuzzy evolution equations, Fract. Calc. Appl. Anal., 24(6):1758–1776, 2021, https://doi.org/10.1515/fca-2021-0076.
Notes
Notas de autor