Skip to main content

Theory and Modern Applications

Existence and uniqueness results for fractional differential equations with uncertainty

Abstract

In this paper, we study the existence, uniqueness and approximate solutions of fuzzy fractional differential equations (FFDEs) under Caputo’s H-differentiability. To this end, the concept of Riemann-Liouville’s H-differentiability is introduced, and subsequently, the Caputo’s H-differentiability is proposed. Moreover, the related fuzzy Volterra integral forms of FFDEs are obtained which are applied to construct two converge consequences of fuzzy-valued functions as approximated solutions of FFDEs.

1 Introduction

Recently, the theory of fractional differential equations has gained considerable popularity and importance, and as a result, several research papers and monographs have been published in this field (see, for example, [111] and the references therein).

As it is known, often the modeling of natural phenomena states using mathematical tools (mathematical arithmetic, mathematical logics and etc.). However, obtaining a deterministic model of such problems is not easy and always has some error and vagueness. So, investigating a popular way to interpret such vagueness is important. Since 1965 with Zadeh’s well-known paper on introducing fuzzy sets [12], the applications of a fuzzy concept have appeared more visibly instead of deterministic-stochastic cases. As a result, we need some extensions of mathematical models (e.g., in this contribution, we investigate fractional differential equation) to fuzzy field such that these extensions have natural relationship between crisp and fuzzy cases and even have a natural relation between fuzzy fractional and fuzzy non-fractional cases.

We note that recently Agarwal et al. [13] have proposed the concept of solutions for fractional differential equations with uncertainty. They have considered the Riemann-Liouville’s differentiability with a fuzzy initial condition to solve FFDEs. However, the differentiability of fuzzy-valued functions in the fractional case was not discussed.

Hence, we will extend the definitions of generalized H-differentiability [14] to the fractional case. To this end, we shall introduce the definition of Riemann-Liouville’s H-differentiability and Caputo’s H-differentiability which are better known than the other types of differentiability in crisp sense [2, 3]. Moreover, we will indicate some properties of the mentioned fractional H-differentiability. Consequently, we derive an equivalent integral form of FFDE which allows us to investigate the approximate solutions (for each type of fractional H-differentiability) convergence to the two unique solutions. Note that some related subjects have been discussed in [15, 16].

This paper is organized as follows. In Section 2, we review briefly some basic concepts. In Sections 3 and 4, the Riemann-Liouville’s H-differentiability and the Caputo’s H-differentiability are presented for fuzzy-valued functions, respectively. In Section 5, the approximate solutions of fuzzy fractional differential equations under Caputo’s H-differentiability are obtained using related equivalent integral forms of original FFDE. Finally, this contribution ends with conclusions.

2 Basic concepts

The basic definition of fuzzy numbers is mentioned in [1719]. We denote the set of all real numbers by R. A fuzzy number represents a mapping u:R[0,1] fulfilling the following properties:

  1. (a)

    u is upper semi-continuous,

  2. (b)

    u is fuzzy convex, i.e., u(λx+(1λ)y)min{u(x),u(y)} for all x,yR, λ[0,1],

  3. (c)

    u is normal, i.e., x 0 R for which u( x 0 )=1,

  4. (d)

    suppu={xRu(x)>0} is the support of the u, and its closure cl(suppu) is compact.

Let E be the set of all fuzzy numbers on R. The r-level set of a fuzzy number uE0r1, denoted by [ u ] r , is defined as

[ u ] r ={ { x R u ( x ) r } if 0 < r 1 , cl ( supp u ) if r = 0 .

We notice that the r-level set of a fuzzy number is a closed and bounded interval [ u ̲ (r), u ¯ (r)], where u ̲ (r) is the left-hand endpoint of [ u ] r and u ¯ (r) represents the right-hand endpoint of [ u ] r .

An equivalent parametric definition was presented in [20] as

Definition 2.1 A fuzzy number u in a parametric form is a pair ( u ̲ , u ¯ ) of functions u ̲ (r), u ¯ (r), 0r1, which satisfy the following requirements:

  1. 1.

    u ̲ (r) is a bounded non-decreasing left continuous function in (0,1], and right continuous at 0,

  2. 2.

    u ¯ (r) is a bounded non-increasing left continuous function in (0,1], and right continuous at 0,

  3. 3.

    u ̲ (r) u ¯ (r), 0r1.

The Hausdorff distance between fuzzy numbers is given by d:E×E[0,]

d(u,v)= sup r [ 0 , 1 ] max { | u ̲ ( r ) v ̲ ( r ) | , | u ¯ ( r ) v ¯ ( r ) | } ,

where u=( u ̲ (r), u ¯ (r))v=( v ̲ (r), v ¯ (r))R is utilized in [14]. Then, it is easy to see that d is a metric in E and has the following properties (see, for example, [21]):

  1. (i)

    d(u+w,v+w)=d(u,v), u,v,wE,

  2. (ii)

    d(ku,kv)=|k|d(u,v), kR, u,vE,

  3. (iii)

    d(u+v,w+e)d(u,w)+d(v,e), u,v,w,eE,

  4. (iv)

    (d,E) is a complete metric space.

Theorem 2.1 ([22])

Letf(x)be a fuzzy-valued function on[a,)represented by( f ̲ (x;r), f ¯ (x;r)). For any fixedr[0,1], assume f ̲ (x;r)and f ¯ (x;r)are Riemann-integrable on[a,b]for everyba, and assume there are two positive functions M ̲ (r)and M ¯ (r)such that a b | f ̲ (x;r)|dx M ̲ (r)and a b | f ¯ (x;r)|dx M ¯ (r)for everyba. Then, f(x)is improper fuzzy Riemann-integrable on[a,)and the improper fuzzy Riemann-integral is a fuzzy number. Furthermore, we have

a f(x;r)dx= [ a f ̲ ( x ; r ) d x , a f ¯ ( x ; r ) d x ] .

It is known that the H-derivative (differentiability in the sense of Hukuhara) for fuzzy mappings was initially introduced by Puri and Ralescu in [23], and it is based in the H-difference of sets as follows.

Definition 2.2 Let x,yE. If there exists zE such that x=y+z, then z is called the H-difference of x and y, and it is denoted by xy.

We stress the fact that in this manuscript, the sign “” always stands for H-difference, and also note that xyx+(1)y.

Let us recall the definition of strongly generalized differentiability introduced in [14].

Definition 2.3 Let f:(a,b)E and x 0 (a,b). We say that f is a strongly generalized differential at x 0 , if there exists an element f ( x 0 )E such that

  1. (i)

    for all h>0 sufficiently small, f( x 0 +h)f( x 0 ), f( x 0 )hf( x 0 h) and the limits (in the metric d)

    lim h 0 f ( x 0 + h ) f ( x 0 ) h = lim h 0 f ( x 0 ) f ( x 0 h ) h = f ( x 0 )

or

  1. (ii)

    for all h>0 sufficiently small, f( x 0 )f( x 0 +h), f( x 0 h)f( x 0 ) and the limits (in the metric d)

    lim h 0 f ( x 0 ) f ( x 0 + h ) h = lim h 0 f ( x 0 h ) f ( x 0 ) h = f ( x 0 )

or

  1. (iii)

    for all h>0 sufficiently small, f( x 0 +h)f( x 0 ), f( x 0 h)f( x 0 ) and the limits (in the metric d)

    lim h 0 f ( x 0 + h ) f ( x 0 ) h = lim h 0 f ( x 0 h ) f ( x 0 ) h = f ( x 0 )

or

  1. (iv)

    for all h>0 sufficiently small, f( x 0 )f( x 0 +h), f( x 0 )f( x 0 h) and the limits (in the metric d)

    lim h 0 f ( x 0 ) f ( x 0 + h ) h = lim h 0 f ( x 0 ) f ( x 0 h ) h = f ( x 0 ).

Now, we state the definition of a fractional derivative of a real-valued function in the Caputo sense as follows (C[a,b] is a space of real-valued functions which are continuous on [a,b] and L[a,b] is the set of all real-valued measurable functions on [a,b]):

Definition 2.4 Let fC[a,b]L[a,b], f is integrable, then the Caputo derivative of f for 0<β<1 and x[a,b] is denoted by ( C D a + β f)(x)R and defined by

( C D a + β f)(x)= 1 Γ ( 1 β ) a x ( x t ) β f (t)dt.

3 Riemann-Liouville’s H-differentiability

In the following, we introduce the definitions of fuzzy Riemann-Liouville integrals and derivatives. We are going to produce such definitions and statements similar to the non-fractional fuzzy cases [14].

Firstly, we define some notations which are used throughout the manuscript.

  • L E (a,b), is the set of all fuzzy-valued measurable functions f on [a,b].

  • C E [a,b] is the space of fuzzy-valued functions which are continuous on [a,b].

  • A C E [a,b] denotes the set of all fuzzy-valued functions which are absolutely continuous.

Notice that one can easily see why we choose such spaces for this contribution in [3] and references therein.

The next step is to define the fuzzy Riemann-Liouville integral of fuzzy-valued function as

Definition 3.1 Let f: L E C E , the Riemann-Liouville integral of fuzzy-valued function f is as follows:

( I a + β f ) (x)= 1 Γ ( β ) a x f ( t ) d t ( x t ) 1 β ,x>a.
(1)

Since, f(x;r)=[ f ̲ (x;r), f ¯ (x;r)], for all 0r1, then we can indicate the fuzzy Riemann-Liouville integral of fuzzy-valued function f based on the lower and upper functions as follows.

Definition 3.2 Let f: L E C E , Riemann-Liouville integral of fuzzy-valued function f in the parametric form is

( I a + β f ) (x;r)= [ 1 Γ ( β ) a x f ̲ ( t ; r ) d t ( x t ) 1 β , 1 Γ ( β ) a x f ¯ ( t ; r ) d t ( x t ) 1 β ] ,x>a,0r1.
(2)

As a result, we define fuzzy Riemann-Liouville fractional differential of order β for fuzzy-valued function f as follows.

Definition 3.3 Let f: L E C E and x 0 (a,b) and Φ(x)= 1 Γ ( 1 β ) a x f ( t ) d t ( x t ) β . We say that f(x) is fuzzy Riemann-Liouville fractional differentiable of order 0<β<1 at x 0 , if there exists an element ( R L D a + β f)( x 0 ) C E such that for all 0r1, h>0

( i ) ( R L D a + β f)( x 0 )= lim h 0 + Φ ( x 0 + h ) Φ ( x 0 ) h = lim h 0 + Φ ( x 0 ) Φ ( x 0 h ) h ,
(3)

or

( i i ) ( R L D a + β f)( x 0 )= lim h 0 + Φ ( x 0 ) Φ ( x 0 + h ) h = lim h 0 + Φ ( x 0 h ) Φ ( x 0 ) h .
(4)

For the sake of simplicity, we say that a fuzzy-valued function f is [ R L ( i ) β]-differentiable if it is differentiable as in the Definition 3.3 case (i), and is [ R L ( i i ) β]-differentiable if it is differentiable as in the Definition 3.3 case (ii).

Theorem 3.1 Letf: L E C E and x 0 (a,b), 0<β<1such that for all0r1,

  1. (i)

    if f is [ R L (i)β]-differentiable, then f ̲ and f ¯ are Riemann-Liouville differentiable functions and

    ( R L D a + β f)( x 0 ;r)= [ R L D a + β f ̲ ( x 0 ,r) , R L D a + β f ¯ ( x 0 ,r)].
    (5)
  2. (ii)

    if f is [ R L (ii)β]-differentiable, then f ̲ and f ¯ are Riemann-Liouville differentiable functions and

( D a + β f ) ( x 0 ;r)= [ R L D a + β f ¯ ( x 0 ;r) , R L D a + β f ̲ ( x 0 ,r)],
(6)

where

D a + β R L f ̲ ( x 0 ;r)= [ 1 Γ ( 1 β ) d d x a x f ̲ ( t ; r ) d t ( x t ) β ] x = x 0 ,
(7)

and

D a + β R L f ¯ ( x 0 ;r)= [ 1 Γ ( 1 β ) d d x a x f ¯ ( t , r ) d t ( x t ) 1 β ] x = x 0 .
(8)

Proof It is easy to prove by using Definition 3.2 and 3.3. □

4 Caputo’s H-differentiability

Now, we present the definitions and some properties of fractional Caputo’s H-differentiability. Let [a,b] be a finite interval of the real line R, and let D a + β R L be the Riemann-Liouville H-derivative of order β introduced by Definition 3.3.

Definition 4.1 Let f: L E C E be a fuzzy-valued function. Then f is said to be Caputo’s H-differentiable at x when

( C D a + β f)(x)= 1 Γ ( 1 β ) a x ( x t ) β f (t)dt.
(9)

Also, we adopt the same procedure to present Caputo’s H-differentiability, we say f is [ C ( i ) β]-differentiable if Eq. (9) holds while f is (i)-differentiable, and f is [ C ( i i ) β]-differentiable if Eq. (9) holds while f is (ii)-differentiable.

Theorem 4.1 Let0<β<1andfA C E [a,b], then the fuzzy Caputo fractional derivative exists almost everywhere on(a,b)and for all0r1we have

( C D a + β f ) ( x ; r ) = [ 1 Γ ( 1 β ) a x f ̲ ( t ; r ) d t ( x t ) β , 1 Γ ( 1 β ) a x f ¯ ( t ; r ) d t ( x t ) β ] = [ ( I a + 1 β D f ̲ ) ( x ; r ) , ( I a + 1 β D f ¯ ) ( x ; r ) ] ,

when f is (i)-differentiable, and

( C D a + β f ) ( x ; r ) = [ 1 Γ ( 1 β ) a x f ¯ ( t ; r ) d t ( x t ) β , 1 Γ ( 1 β ) a x f ̲ ( t ; r ) d t ( x t ) β ] = [ ( I a + 1 β D f ¯ ) ( x ; r ) , ( I a + 1 β D f ̲ ) ( x ; r ) ] ,

when f is (ii)-differentiable.

Proof It is straightforward. □

Theorem 4.2 Let us considerf C E [a,b], then we have the following:

( I a + β C D a + β f ) (x)=f(x)f(a),0<β<1,
(10)

when f is [ C (i)β]-differentiable and

( I a + β C D a + β f ) (x)=f(a) ( f ( x ) ) ,0<β<1,
(11)

when f is [ C (ii)β]-differentiable.

Proof Firstly, we recall that [2, 3]

( I a + β C D a + β f ̲ ) ( x ; r ) = f ̲ ( x ; r ) f ̲ ( a ; r ) , ( I a + β C D a + β f ¯ ) ( x ) = f ¯ ( x ; r ) f ¯ ( a ; r ) ,

for the real-valued functions f ̲ and f ¯ . So, in the case of [ C (i)β]-differentiability, we have

( I a + β C D a + β f ) ( x ; r ) = [ ( I a + β C D a + β f ̲ ) ( x ; r ) , ( I a + β C D a + β f ¯ ) ( x ) ] = [ f ̲ ( x ; r ) f ̲ ( a ; r ) , f ¯ ( x ; r ) f ¯ ( a ; r ) ] .

Also, for case [ C ( i i ) β]-differentiability, we have

( I a + β C D a + β f ) ( x ; r ) = [ ( I a + β C D a + β f ¯ ) ( x ; r ) , ( I a + β C D a + β f ̲ ) ( x ; r ) ] = [ f ¯ ( x ; r ) f ¯ ( a ; r ) , f ̲ ( x ; r ) f ̲ ( a ; r ) ] ,

which completes the proof. □

5 Approximate solutions

Now, we investigate the approximate solutions of fuzzy fractional differential equations under Caputo’s H-differentiability by using a corresponding equivalent Volterra integral form of original FFDE.

Firstly, we propose the following fuzzy fractional differential equation of order 0<β<1 with the fuzzy initial condition:

{ ( C D a + β y ) ( x ) = f ( x , y ( x ) ) , y ( a ) E .
(12)

Lemma 5.1 ([24])

Assume thatgC[Ω,R]where Ω is an open set, included ordered pairs(x,u)belong to R 2 , and( x 0 , u 0 )Ω. Suppose that[ x 0 , x 0 +η]is the largest interval of existence of the maximal solutionr(x)of ( c D a + β u)(x)=g(x,u), u 0 (x)= u 0 . Let[ x 0 , x 1 ]be a compact interval of[ x 0 , x 0 +η]. Then, there is an ϵ 0 >0such that for0<ϵ< ϵ 0 , the maximal solutionr(x,ϵ)of ( c D a + β u)(x)=g(x,u)+ϵ, u 0 (x)= u 0 +ϵexists on[ x 0 , x 1 ]and lim ϵ r(x,ϵ)=r(x)uniformly on[ x 0 , x 1 ].

Lemma 5.2 ([24])

Assume thatm:[ x 0 , x 0 +η][0,]is locally Hölder continuous, gC[[ x 0 , x 0 +η]×[0,],[0,]]and for x 0 x x 0 +η,

D β m(x)g ( x , m ( x ) ) .

Let r(x) be the maximal solution of

D β u=g(x,u), u 0 0,

existing on[ x 0 , x 0 +η]. Then, we have

m(x)r(x), x 0 x x 0 +η.

The following lemma transforms the fuzzy fractional differential equations to the corresponding fuzzy Volterra integral equations.

Lemma 5.3 Let0<β<1andaR, the fuzzy fractional differential equation (12) is equivalent to one of the following integral equations:

y(x)=y(a)+ 1 Γ ( β ) a x f ( t , y ( t ) ) d t ( x t ) 1 β ,x[a,b],
(13)

if y is [ C (i)β]-differentiable, and

y(x)=y(a) 1 Γ ( β ) a x f ( t , y ( t ) ) d t ( x t ) 1 β ,x[a,b],
(14)

if y is [ C (ii)β]-differentiable, provided that the H-difference exists.

Here the equivalence between two equations means that any solution of an equation is a solution for the other one too.

Proof It is obtained immediately by using Theorem 4.2. □

Now, we extend Theorem 22 in [14] and Theorem 4.1 in [25] for fuzzy fractional differential equations under [ C ( i ) β]- and [ C ( i i ) β]-differentiability.

Theorem 5.1 Suppose that the following conditions hold: (a) Let R 0 =[ x 0 , x 0 +p]× B ¯ ( y 0 ,q), p,q>0, y 0 E, where B ¯ ( y 0 ,q)={yE:d(y, y 0 )q}denote a closed ball inEand letf: R 0 Ebe a continuous function such thatd( 0 ˜ ,f(x,y))=f(x,y)M ( 0 ˜ is fuzzy zero such that it is a singleton) for all(x,y) R 0 . (b) Letg:[ x 0 , x 0 +p]×[0,q]E, such thatg(x,0)0and0g(x,u) M 1 , x[ x 0 , x 0 +p], 0uq, such thatg(x,u)is non-decreasing in u and g is such that the initial-value problem ( C D a + β u)(x)=g(x,u(x)), u( x 0 )=0has only the solutionu(x)0on[ x 0 , x 0 +p]. (c) We haved( f ( x , y ) ( x 1 s ) 1 β , f ( x , z ) ( x 2 s ) 1 β )| ( x 1 s ) β 1 ( x 2 s ) β 1 |g(x,d(y,z)), (x,y), (x,z) R 0 , x 1 , x 2 ,s[ x 0 , x 0 +p]andd(y,z)q. (d) There existsd>0such that forx[ x 0 , x 0 +d]the sequence y ˆ n :[ x 0 , x 0 +d]Egiven by y ˆ 0 (x)= y 0 , y ˆ n + 1 (x)= y 0 ( 1 ) Γ ( β ) . x 0 x f ( t , y ˆ n ) d t ( x t ) 1 β is defined for anynN.

Then, the following FFDE

{ ( C D a + β y ) ( x ) = f ( x , y ( x ) ) , y ( x 0 ) = y 0 E
(15)

has two solutions (one [ C (i)β]-differentiable and the other one [ C (ii)β]-differentiable) y, y ˆ :[ x 0 , x 0 +r]B( y 0 ,q)wherer=min{p, ( q Γ ( β + 1 ) M ) 1 β , ( q Γ ( β + 1 ) M 1 ) 1 β ,d}and the successive iterations

y 0 (x)= y 0 , y n + 1 (x)= y 0 + 1 Γ ( β ) x 0 x f ( t , y n ( t ) ) ( x t ) 1 β dt,0<β1,
(16)

and

y ˆ 0 (x)= y 0 , y ˆ n + 1 (x)= y 0 ( 1 ) Γ ( β ) x 0 x f ( t , y ˆ n ( t ) ) ( x t ) 1 β dt,0<β1,
(17)

converge to these two solutions respectively provided that the H-difference exists.

Proof Without loss of generality, we prove for case [ C ( i ) β]-differentiability. The proof of the second case is completely similar to previous one and so it is omitted.

For x 0 x 1 x 2 x 0 +r and M 2 =max{M, M 1 }, we have

d ( y 1 ( x 1 ) , y 1 ( x 2 ) ) d ( y 0 ( x 1 ) , y 0 ( x 2 ) ) + 1 Γ ( β ) x 0 x 1 d ( f ( s , y n 1 ( s ) ) ( x 1 s ) 1 β , f ( s , y n 1 ( s ) ) ( x 2 s ) 1 β ) d s + 1 Γ ( β ) x 1 x 2 d ( f ( s , y n 1 ( s ) ) ( x 2 s ) 1 β , 0 ˜ ) d s d ( y 0 ( x 1 ) , y 0 ( x 2 ) ) + M 2 Γ ( β ) x 0 x 1 | ( x 1 s ) β 1 ( x 2 s ) β 1 | d s + M 2 Γ ( β ) x 1 x 2 d s ( x 2 s ) 1 β d ( y 0 ( x 1 ) , y 0 ( x 2 ) ) + M 2 Γ ( β + 1 ) [ | x 1 x 2 | β | x 1 β x 2 β | ] + M 2 Γ ( β + 1 ) | x 1 x 2 | β d ( y 0 ( x 1 ) , y 0 ( x 2 ) ) + M 2 Γ ( β + 1 ) [ 2 | x 1 x 2 | β | x 1 β x 2 β | ] d ( y 0 ( x 1 ) , y 0 ( x 2 ) ) + 2 M 2 Γ ( β + 1 ) | x 1 x 2 | β < ϵ

provided | x 1 x 2 |<δ, where δ= [ ϵ Γ ( β + 1 ) 4 M 2 ] 1 β and under assumption d( y 0 ( x 1 ), y 0 ( x 2 ))< ϵ 2 , proving that y 1 (x) is continuous on [ x 0 , x 0 +r].

Similarly,

d ( y 1 ( x ) , y 0 ( x ) ) 1 Γ ( β ) x 0 x ( x s ) β 1 d ( f ( s , y 0 ) , 0 ˜ ) d s M 2 ( x x 0 ) β Γ ( β + 1 ) M 2 r β Γ ( β + 1 ) q .

Thus, it is easily obtained that the successive approximations are continuous and satisfy the following relation:

d ( y n + 1 ( x ) , y 0 ( x ) ) q,x[ x 0 , x 0 +r],n=0,1,2,3,.

Hence, y n + 1 C[[ x 0 , x 0 +r],B( x 0 ,q)] and

( C D a + β y n + 1 )(x)=f ( x , y n ( x ) ) , y n ( x 0 )= y 0 ,n=0,1,2,3,.
(18)

Now, we define the following successive approximations for r=min{p, [ q Γ ( β + 1 ) M 2 ] 1 β }:

u 0 (x)= M 2 ( x x 0 ) β Γ ( β + 1 ) ,x[ x 0 , x 0 +r],
(19)
u n + 1 (x)= 1 Γ ( β ) x 0 x ( x s ) β 1 g ( s , u n ( s ) ) ds,x[ x 0 , x 0 +r].
(20)

Then, we get immediately

u 1 ( x ) = 1 Γ ( β ) x 0 x ( x s ) β 1 g ( s , u 0 ( s ) ) d s M 1 ( x x 0 ) u 0 ( x ) q , x [ x 0 , x 0 + r ] .

Hence, by the inductive method and in view that g(x,u) is nondecreasing on u, we get

0 u n + 1 (x) u n (x)q,x[ x 0 , x 0 +r],n=0,1,2,3,.

Moreover, | ( C D a + β u n + 1 )(x)|=|g(x, u n (x))| M 1 ; and therefore, we can conclude by Ascoli-Arzela theorem and the monotonicity of the sequence { u n (x)} that lim n u n (x)=u(x) uniformly on [ x 0 , x 0 +r] and

u(x)= 1 Γ ( β ) x 0 x g ( s , u ( s ) ) d s ( x s ) 1 β .

Thus, uC[[ x 0 , x 0 +r],[0,q]] and u(x) is the solution of the initial value problem (20).

From assumption (b), we get u(x)0. Moreover, we have

d ( y 1 ( x ) , y 0 ( x ) ) = d ( x 0 x f ( s , y 0 ( s ) ) d s ( x s ) 1 β , 0 ˜ ) x 0 x d ( f ( s , y 0 ( s ) ) d s ( x s ) 1 β , 0 ˜ ) M 2 ( x x 0 ) β Γ ( β + 1 ) = u 0 ( x ) .

Suppose that d( y k (x), y k 1 (x)) u k 1 (x), then using assumption (c), we have

d ( y k + 1 ( x ) , y k ( x ) ) = 1 Γ ( β ) d ( x 0 x f ( s , y k ( s ) d s ( x s ) 1 β , f ( s , y k 1 ( s ) d s ( x s ) 1 β ) 1 Γ ( β ) x 0 x d ( f ( s , y k ( s ) ( x s ) 1 β , f ( s , y k 1 ( s ) ( x s ) 1 β ) d s 1 Γ ( β ) x 0 x g ( s , d ( y k ( s ) , y k 1 ( s ) ) ) ( x s ) 1 β d s 1 Γ ( β ) x 0 x g ( s , u k 1 ( s ) ) ( x s ) 1 β d s = u k ( x ) .

Thus, by the inductive method, we know

d ( y n + 1 ( x ) , y n ( x ) ) u n (x),x[ x 0 , x 0 +r],n=0,1,2,3,.
(21)

So, we have

d ( ( C D a + β y n + 1 ) ( x ) , ( C D a + β y n ) ( x ) ) = d ( f ( x , y n ( x ) ) , f ( x , y n 1 ( x ) ) ) g ( x , d ( y n ( x ) , y n 1 ( x ) ) ) g ( x , u n 1 ( x ) ) .

Assume mn, then one can easily obtain

D a + + β C ( d ( y n ( x ) , y m ( x ) ) ) d ( ( C D a + β y n ) ( x ) , ( C D a + β y m ) ( x ) ) g ( x , u n 1 ( x ) ) + g ( x , u m 1 ( x ) ) + g ( x , d ( y n ( x ) , y m ( x ) ) ) .

Since, u n + 1 u n (x) for all n, it follows that:

D a + + β C ( d ( y n ( x ) , y m ( x ) ) ) 2g ( x , u n 1 ( x ) ) +g ( x , d ( y n ( x ) , y m ( x ) ) ) ,

where D a + + β C denotes the corresponding Dini derivative to D + [24].

Since g(x, u n 1 (x)) uniformly converges to 0, then for arbitrary ϵ>0, there exists a natural number N such that

D a + + β C ( d ( y n ( x ) , y m ( x ) ) ) g ( x , d ( y n ( x ) , y m ( x ) ) ) +ϵ,mn>N.

From the fact that D( y n ( x 0 ), y m ( x 0 ))=0 and by using Lemma 5.2, we have

d ( y n ( x ) , y m ( x ) ) r(x,ϵ),x[ x 0 , x 0 +r],mn>N,
(22)

where r(x,ϵ) is the maximal solution to the following initial value problem for each n:

( C D a + β v)(x)=g(x,v)+2g ( x , u n 1 ( x ) ) ,v( x 0 )=0.

Since, as n, 2g(x, u n 1 (x))0 uniformly on [ x 0 , x 0 +r], it follows by Lemma 5.1 that r n (x)0 uniformly on [ x 0 , x 0 +r].

Hence, according to (22) and the fact that (E,d) is complete, we conclude that there exists a fuzzy-valued function y:[ x 0 , x 0 +r]E such that d( y n (x), y m (x)) uniformly converges to 0 as n. Applying (18) and Lemma 5.3 we have yC[[ x 0 , x 0 +r],B( x 0 ,q)] and y(x) is the solution of FFDE (15).

Now, we show the uniqueness of solution of Eq. (15). Let us consider w(x) is another solution of Eq. (15) on [ x 0 , x 0 +r]. Also, define m(x)=d(y(x),w(x)), then m( x 0 )=0 and

( C D a + + β m ) ( x ) d ( ( C D a + β y ) ( x ) , ( C D a + β w ) ( x ) ) = d ( f ( x , y ( x ) ) , f ( x , w ( x ) ) ) g ( x , m ( x ) ) .

Hence, from Lemma 5.2, we have d(y(x),w(x))u(x)0 for all r[ x 0 , x 0 +r], where u(x)0 is the maximal solution of

( C D a + β u)(x)=g ( x , u ( x ) ) ,u( x 0 )=0.

Therefore, y(x)=w(x), which completes the proof. □

The following Peano-type theorem is given to derive solutions of fuzzy fractional differential equations with order 0<β<1 under Caputo’s differentiability.

Theorem 5.2 Let R 0 =[ x 0 , x 0 +p]× B ¯ ( y 0 ,q), p,q>0, y 0 E, where B ¯ ( y 0 ,q)={yE:d(y, y 0 )q}denote a closed ball inEand letf: R 0 Ebe a continuous function such thatd( 0 ˜ ,f(x,y))=f(x,y)Mfor all(x,y) R 0 and f satisfies the Lipschitz conditiond( ( x 1 s ) β 1 f(x,y), ( x 2 s ) β 1 f(x,z))| ( x 1 s ) β 1 ( x 2 s ) β 1 |Ld(y,z)(x,y), (x,z) R 0 , x 1 , x 2 ,s[ x 0 , x 0 +p]andd(y,z)q. If there existsd>0such that forx[ x 0 , x 0 +d]the sequence given by y ˆ 0 (x)= y 0 , y ˆ n + 1 (x)= y 0 ( 1 ) Γ ( β ) . x 0 x f ( t , y ˆ n ) ( x t ) 1 β dtis defined for anynN. Then, the following fuzzy fractional initial-value problem:

{ ( C D a + β y ) ( x ) = f ( x , y ( x ) ) , y ( x 0 ) = y 0

has two solutionsy, y ˆ :[ x 0 , x 0 +r]B( y 0 ,q)wherer=min{p, ( q Γ ( β + 1 ) M ) 1 β , ( q Γ ( β + 1 ) M 1 ) 1 β ,d}and the successive iterations in Theorem 5.1 converge to these two solutions.

Proof The proof is obtained immediately by taking in Theorem 5.1, g(x,u)=LΔu. □

6 Conclusion

In this manuscript, we have studied the approximate solutions of fuzzy fractional differential equations under Riemann-Liouville and Caputo’s H-differentiability. To this end, some results in each case of differentiability were derived which led to transform the original FFDE to the corresponding fuzzy Volterra integral equations. Then, we have constructed two successive iterations that converge to the solutions of original FFDE under each type of Caputo’s H-differentiability.

References

  1. Samko SG, Kilbas A, Marichev OI: Fractional Integrals Derivatives - Theory and Applications. Gordon and Breach, New York; 1993.

    Google Scholar 

  2. Podlubny I: Fractional Differential Equation. Academic Press, San Diego; 1999.

    Google Scholar 

  3. Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.

    Google Scholar 

  4. Miller KS, Ross B: An Introduction to the Fractional Calculus and Differential Equations. Wiley, New York; 1993.

    Google Scholar 

  5. West BJ, Bologna M, Grogolini P: Physics of Fractal Operators. Springer, New York; 2003.

    Book  Google Scholar 

  6. Magin RL: Fractional Calculus in Bioengineering. Begell House Publisher, Inc., West Redding; 2006.

    Google Scholar 

  7. Baleanu D, Diethelm K, Scalas E, Trujillo JJ: Fractional Calculus Models and Numerical Methods. World Scientific, Singapore; 2012.

    Google Scholar 

  8. Lakshmikantham V, Leela S, Vasundhara Devi J: Theory of Fractional Dynamic Systems. Cambridge Scientific Pub., Cambridge, UK; 2009.

    Google Scholar 

  9. Ahmad B, Nieto JJ: Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions. Comput. Math. Appl. 2009, 58: 1838–1843. 10.1016/j.camwa.2009.07.091

    Article  MathSciNet  Google Scholar 

  10. Diethelm K, Ford NJ: Analysis of fractional differential equations. J. Math. Anal. Appl. 2002, 265: 229–248. 10.1006/jmaa.2000.7194

    Article  MathSciNet  Google Scholar 

  11. Abbasbandy S: An approximation solution of a nonlinear equation with Riemann-Liouville’s fractional derivatives by He’s variational iteration method. J. Comput. Appl. Math. 2007, 207: 53–58. 10.1016/j.cam.2006.07.011

    Article  MathSciNet  Google Scholar 

  12. Zadeh LA: Fuzzy sets. Inf. Control 1965, 8: 338–353. 10.1016/S0019-9958(65)90241-X

    Article  MathSciNet  Google Scholar 

  13. Agarwal RP, Lakshmikantham V, Nieto JJ: On the concept of solution for fractional differential equations with uncertainty. Nonlinear Anal. 2010, 72: 2859–2862. 10.1016/j.na.2009.11.029

    Article  MathSciNet  Google Scholar 

  14. Bede B, Gal SG: Generalizations of the differentiability of fuzzy-number-valued functions with applications to fuzzy differential equations. Fuzzy Sets Syst. 2005, 151: 581–599. 10.1016/j.fss.2004.08.001

    Article  MathSciNet  Google Scholar 

  15. Allahviranloo T, Salahshour S, Abbasbandy S: Explicit solutions of fractional differential equations with uncertainty. Soft Comput. 2012, 16: 297–302. 10.1007/s00500-011-0743-y

    Article  Google Scholar 

  16. Salahshour S, Allahviranloo T, Abbasbandy S: Solving fuzzy fractional differential equations by fuzzy Laplace transforms. Commun. Nonlinear Sci. Numer. Simul. 2012, 17: 1372–1381. 10.1016/j.cnsns.2011.07.005

    Article  MathSciNet  Google Scholar 

  17. Diamond P, Kloeden PE: Metric Spaces of Fuzzy Sets. World Scientific, Singapore; 1994.

    Book  Google Scholar 

  18. Dubios D, Prade H: Towards fuzzy differential calculus. Fuzzy Sets Syst. 1982, 8: 225–233. 10.1016/S0165-0114(82)80001-8

    Article  Google Scholar 

  19. Lakshmikantham V, Mohapatra RN: Theory of Fuzzy Differential Equations and Applications. Taylor & Francis, London; 2003.

    Google Scholar 

  20. Friedman M, Ming M, Kandel A: Numerical solution of fuzzy differential and integral equations. Fuzzy Sets Syst. 1999, 106: 35–48. 10.1016/S0165-0114(98)00355-8

    Article  Google Scholar 

  21. Puri ML, Ralescu D: Fuzzy random variables. J. Math. Anal. Appl. 1986, 114: 409–422. 10.1016/0022-247X(86)90093-4

    Article  MathSciNet  Google Scholar 

  22. Wu HC: The improper fuzzy Riemann integral and its numerical integration. Inf. Sci. 1999, 111: 109–137.

    Article  Google Scholar 

  23. Puri ML, Ralescu D: Differential for fuzzy function. J. Math. Anal. Appl. 1983, 91: 552–558. 10.1016/0022-247X(83)90169-5

    Article  MathSciNet  Google Scholar 

  24. Lakshmikantham V, Vasundhara Devi J: Theory of fractional differential equations in a Banach space. Eur. J. Pure Appl. Math. 2008, 1: 38–45.

    MathSciNet  Google Scholar 

  25. Wu C, Song S, Lee ES: Approximate solutions, existence, and uniqueness of the Cauchy problem of fuzzy differential equations. J. Math. Anal. Appl. 1996, 202: 629–644. 10.1006/jmaa.1996.0338

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgement

The authors thank the referee for careful reading and helpful suggestions on the improvement of the manuscript.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to S Salahshour.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

SS wrote the first draft, TA and SA corrected and improved it and DB prepared the final version.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Salahshour, S., Allahviranloo, T., Abbasbandy, S. et al. Existence and uniqueness results for fractional differential equations with uncertainty. Adv Differ Equ 2012, 112 (2012). https://doi.org/10.1186/1687-1847-2012-112

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2012-112

Keywords