Well-posedness and stability for fuzzy fractional differential equations*

Xuping Zhanga 1
Northwest Normal University, China
Yanli Xia
Northwest Normal University, China
Donal O’Regan
National University of Ireland, Irlanda

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:

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 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:

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:

  1. (H1) is continuous;

  2. (H2) there exists such that and ;

  3. (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:

  1. (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

  1. (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

  1. (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

* This research was supported by Natural Science Foundation of Gansu Province (No. 20JR5RA522) and project of NWNU-LKQN2019-13.

Notas de autor

1 Corresponding author.
HTML generado a partir de XML-JATS4R por