Skip to main content

Theory and Modern Applications

Basic theorems for fuzzy differential equations in the quotient space of fuzzy numbers

Abstract

In this paper, we study the fuzzy differential equations in the quotient space of fuzzy numbers. We solve the initial value problem for fuzzy differential equations provided that the involved mappings are continuous, of uniformly bounded variation, and are bounded functions. Then we establish a variety of comparison results for the solutions of fuzzy differential equations.

MSC:34A07, 46S40.

1 Introduction

Fuzzy sets were introduced in 1965 by Zadeh [1] with a view to reconcile mathematical modeling and human knowledge in the engineering science. Fuzzy set theory and its applications have been extensively developed since the 1970s and the industrial interest in fuzzy control has dramatically increased since then [211].

The fuzzy differential equation was first introduced by Kandel and Byatt [12]. Since then, it has been extensively investigated on the metric space ( E n ,D) of a normal fuzzy convex set with the distance D given by the maximum of the Hausdorff distance between the corresponding level sets. The fuzzy differential equation was studied by Kaleva [9, 13, 14] and Wu and Song [1517], for the fuzzy-valued function of a real variable whose values are normal, convex, upper semicontinuous, and are compactly supported fuzzy sets in R n . Many authors studied the existence and uniqueness of solutions of the initial value problems for fuzzy differential equations under various kinds of conditions and obtained many meaningful results in [13, 1825]. One found the local existence and uniqueness theorems for the Cauchy problem when the fuzzy-valued function f satisfies the generalized Lipschitz condition [16]. The existence theorems under compactness-type conditions were studied in [17]. Based on these works, the global existence of solutions of the Cauchy problem was investigated in [15].

The above results of the fuzzy differential equation were based on the well-known and widely used Hukuhara difference, proposed by [26], and the H-differentiability of Puri and Ralescu [25], which generalized the Hukuhara differentiability of a set-valued mapping. In [27, 28], Mareš presented a natural equivalence relation between fuzzy quantities. This equivalence relation can be used to partition the set of fuzzy quantities into equivalence classes having the desired group properties under the addition operation [2931]. Hong and Do [32] defined a more refined equivalence relation than Mareš [27] and improved Mareš’s results. In [33], Qiu et al. showed that the method of finding the inverse operation of fuzzy numbers in the sense of Mareš is very intuitive. The authors introduced a new concept of convergence under which the quotient space in complete. As an application of the main results, it is shown that if we identify every fuzzy number with the corresponding equivalence class, there would be more differentiable fuzzy functions than what is found in the literature. In [34] Qiu et al. further investigated the differentiability and integrability properties of such functions and gave an existence and uniqueness theorem for a solution to a fuzzy differential equation in the quotient space of fuzzy numbers.

In this paper, we will study the basic theory of fuzzy differential equations in the quotient space of fuzzy numbers. In Section 2, we recall some related concepts. In Section 3, we will solve the initial value problem for fuzzy differential equations. In Section 4, we will establish a variety of comparison results for the solutions of fuzzy differential equations, which form the essential tools for studying the fundamental theory of fuzzy differential equations. The comparison discussion shows how one can develop the theory of differential inequalities with the minimum linear structure.

2 Preliminaries

We start this section by recalling some pertinent concepts and key lemmas from the functions of bounded variation, fuzzy numbers, and fuzzy equivalence classes which we need for the discussion below.

Definition 2.1 [35]

Let f:[a,b]R. f is said be of bounded variation if there exists a C>0 such that

i = 1 n |f( x i 1 )f( x i )|C

for every partition a= x 0 < x 1 < x 2 << x n =b on [a,b]. The set of all functions of bounded variation on [a,b] is denoted by BV[a,b].

Definition 2.2 [35]

Let f:[a,b]R be a function of bounded variation. The total variation of f on [a,b] is defined by

V a b (f)= sup p i = 1 n |f( x i 1 )f( x i )|,

where p represents all partitions of [a,b].

Lemma 2.1 [35]

For any constants cR, if fBV[a,b], then so is cf and

V a b (cf)=|c| V a b (f).

Lemma 2.2 [35]

For any constants c,dR, if f,gBV[a,b], then so is cf+dg and

V a b (cf+dg)|c| V a b (f)+|d| V a b (g).

Lemma 2.3 [35]

Let f be a function of bounded variation on [a,b], and let V be a function defined by V(x)= V x b (f). Then if f is continuous from the left (or right) at a point x , so is V.

Lemma 2.4 [35]

If a<b<c, then

V a c (f)= V a b (f)+ V b c (f).

Lemma 2.5 [35]

Every monotonic function f is of bounded variation, and V a b (f)=|f(a)f(b)|.

Lemma 2.6 [35]

If f,gBV[a,b], then so is fg and

V a b (fg)c V a b (f)+d V a b (g),

where c=sup|g(x)|<, d=sup|f(x)|<.

A fuzzy set x ˜ of is characterized by a membership function μ x ˜ :R[0,1]. An α-level set of x ˜ is [ x ˜ ] α ={xR: μ x ˜ (x)α} for each α(0,1]. We define the set [ x ˜ ] 0 by [ x ˜ ] 0 = { x R : μ x ˜ ( x ) > 0 } ¯ , where A ¯ denotes the closure of a crisp set A. A fuzzy set x ˜ is said to be a fuzzy number if it satisfies the following conditions [36]:

  1. (1)

    x ˜ is normal, i.e., there exists an x 0 R such that μ x ˜ ( x 0 )=1;

  2. (2)

    x ˜ is convex, i.e., μ x ˜ (λ x 1 +(1λ) x 2 )min{ μ x ˜ ( x 1 ), μ x ˜ ( x 2 )}, for all x 1 , x 2 R and λ[0,1];

  3. (3)

    x ˜ is upper semicontinuous;

  4. (4)

    [ x ˜ ] 0 is compact.

Equivalently, a fuzzy number x ˜ is a fuzzy set with nonempty bounded level sets [ x ˜ ] α =[ x ˜ L (α), x ˜ R (α)] for all α[0,1], where [ x ˜ L (α), x ˜ R (α)] denotes a closed interval with the left end point x ˜ L (α) and the right end point x ˜ R (α). We denote the class of fuzzy numbers by . Notice that the real numbers can be embedded in by defining a fuzzy number a ˜ as

μ a ˜ (x)= { 1 , if  x = a , 0 , otherwise

for each aR. Thus we will represent the singleton {a} by a ˜ for any real number aR and in particular 0 ˜ is just the usual zero.

For any x ˜ , y ˜ F and aR, owing to Zadeh’s extension principle [3739], addition and scalar multiplication are defined for any xR by

μ x ˜ + y ˜ (x)= sup x 1 x 2 : x 1 + x 2 = x min { μ x ˜ ( x 1 ) , μ y ˜ ( x 2 ) }

and

μ a × x ˜ (x)= μ a x ˜ (x)= { μ ( x a ) , if  a 0 , 0 ˜ , if  a = 0 .

For any x ˜ F, we define the fuzzy number x ˜ F by x ˜ =(1)× x ˜ , i.e., μ x ˜ (x)= μ x ˜ (x), for all xR. It is well known that

[ x ˜ + y ˜ ] α = [ x ˜ ] α + [ y ˜ ] α = [ x ˜ L ( α ) + y ˜ L ( α ) , x ˜ R ( α ) + y ˜ R ( α ) ]

and

[ a x ˜ ] α =a [ x ˜ ] α = { [ a x ˜ L ( α ) , a x ˜ R ( α ) ] , if  a > 0 , { 0 } , if  a = 0 , [ a x ˜ R ( α ) , a x ˜ L ( α ) ] , if  a < 0

for all x ˜ , y ˜ F and aR. In particular, [ x ˜ ] α = [ x ˜ ] α =[ x ˜ L (α), x ˜ R (α)]=[ x ˜ R (α), x ˜ L (α)]. By the level set representations of the fuzzy numbers x ˜ , y ˜ , z ˜ , we can get

( [ x ˜ ] α + [ y ˜ ] α ) + [ z ˜ ] α = [ x ˜ ] α + ( [ y ˜ ] α + [ z ˜ ] α ) ( [ x ˜ ] α + [ y ˜ ] α ) + [ z ˜ ] α = [ x ˜ L ( α ) + y ˜ L ( α ) + z ˜ L ( α ) , x ˜ R ( α ) + y ˜ R ( α ) + z ˜ R ( α ) ] , [ x ˜ ] α + [ y ˜ ] α = [ y ˜ ] α + [ x ˜ ] α = [ x ˜ L ( α ) + y ˜ L ( α ) , x ˜ R ( α ) + y ˜ R ( α ) ] ,

which implies is a commutative semigroup under addition. We say that a fuzzy number s ˜ F is symmetric [27], if

μ s ˜ (x)= μ s ˜ (x)

for all xR, i.e., s ˜ = s ˜ . The set of all symmetric fuzzy numbers will be denoted by S.

Definition 2.3 [32]

Let x ˜ , y ˜ F. We say that x ˜ is equivalent to y ˜ and write x ˜ y ˜ if and only if there exist symmetric fuzzy numbers s ˜ 1 , s ˜ 2 S such that

x ˜ + s ˜ 1 = y ˜ + s ˜ 2 .

The equivalence relation defined above is reflexive, symmetric, and transitive [27]. Let x ˜ denote the equivalence class containing the element x ˜ and denote the set of equivalence classes by F/S.

Definition 2.4 [29]

For a fuzzy number x ˜ , we define a function x ˜ M :[0,1]R by assigning the midpoint of each α-level set to x ˜ M (α) for all α[0,1], i.e.,

x ˜ M (α)= x ˜ L ( α ) + x ˜ R ( α ) 2 .

Then the function x ˜ M :[0,1]R will be called the midpoint function of the fuzzy number  x ˜ .

Lemma 2.7 [33]

For any x ˜ F, the midpoint function x ˜ M is continuous from the right at 0 and continuous from the left on [0,1]. Furthermore it is a function of bounded variation on [0,1].

It is interesting to note that the midpoint function x ˜ M is actually a gradual number and all of the gradual numbers form a group structure under addition [40, 41]. Among applications of the decomposition of a fuzzy interval using a symmetric fuzzy number and a midpoint function is the study of the fuzzy variance of a fuzzy interval [42, 43].

Definition 2.5 [28]

Let x ˜ F and let x ˆ be a fuzzy number such that x ˜ = x ˆ + s ˜ for some s ˜ S, if x ˆ = y ˜ + s ˜ 1 for some y ˜ F and s ˜ 1 S, then s ˜ 1 = 0 ˜ . Then the fuzzy number x ˆ will be called the Mareš core of the fuzzy number x ˜ .

In [33], Qiu et al. not only pointed out that x ˜ is equivalent to y ˜ if and only if they have the same midpoint function, which implies that each equivalence class corresponding to each midpoint function, but they also pointed out that for each fuzzy number x ˜ has only one Mareš core, and x ˜ is equivalent to y ˜ if and only if they have the same Mareš core, which implies that all elements of an equivalence class x ˜ have the same Mareš core x ˆ . Hence, the Mareš core x ˆ of x ˜ is also called the Mareš core of the equivalence class x ˜ that contains the fuzzy number x ˜ . It is natural to define the midpoint function for an equivalence class as follows.

Definition 2.6 [34]

For an equivalence class x ˜ F/S, we define a midpoint function M x ˜ :[0,1]R by

M x ˜ (α)= x ˆ M (α)

for all α[0,1], where x ˆ is the Mareš core of x ˜ .

Definition 2.7 [34]

For any x ˜ , y ˜ F/S, we define x ˜ + y ˜ by

x ˜ + y ˜ = x ˜ + y ˜ .

It is obvious that M x ˜ + y ˜ (α)= M x ˜ + y ˜ (α)= M x ˜ (α)+ M y ˜ (α), for all α[0,1]. Moreover, it follows from Definitions 2.3 and 2.7 that

x ˜ + y ˜ { z ˜ = x ˜ + y ˜ : x ˜ x ˜ , y ˜ y ˜ }

for any x ˜ , y ˜ F/S. In [34] Qiu et al. have given an example to show that the above inclusion can become strict.

Remark 2.1 The addition operation defined by Definition 2.7 is a group operation over the set of equivalence classes F/S up to the equivalence relation in Definition 2.3. It means that

x ˜ + y ˜ = y ˜ + x ˜ , ( x ˜ + y ˜ ) + z ˜ = x ˜ + ( y ˜ + z ˜ ) , x ˜ + y ˜ = x ˜ if and only if y ˜ = 0 ˜ , x ˜ + y ˜ = 0 ˜ if and only if y ˜ = x ˜ = x ˜

for any x ˜ , y ˜ , z ˜ F/S. For the details of the discussion, please see [44, 45].

Lemma 2.8 [44, 45]

(F/S,+) is a group.

For any x ˜ , y ˜ F/S, the midpoint functions M x ˜ and M y ˜ are continuous from the right at 0 and continuous from the left on [0,1], and they are functions of bounded variation on [0,1] [33]. Then the function M x ˜ M y ˜ is also continuous from the right at 0 and continuous from the left on [0,1]. In addition, by Lemma 2.6, we know that M x ˜ M y ˜ is a function of bounded variation on [0,1]. Hence, M x ˜ M y ˜ is the midpoint function for some fuzzy number equivalence class.

Definition 2.8 [34]

Let x ˜ , y ˜ , z ˜ F/S. If

M z ˜ (α)= M x ˜ (α) M y ˜ (α)

for all α[0,1], then what we called z ˜ is the product of x ˜ and y ˜ , i.e., z ˜ = x ˜ y ˜ .

Definition 2.9 For any x ˜ F/S and λR, we define λ x ˜ =λ x ˜ by

λ x ˜ =λ x ˜ .

It is obvious that M λ x ˜ (α)= M λ x ˜ (α)=λ M x ˜ (α), for all α[0,1]. If x ˆ is the Mareš core of x ˜ , then λ x ˆ is the Mareš core of λ x ˜ . In fact, let y ˆ be the Mareš core of λ x ˜ . Then, by Theorems 3.10 and 3.13 in [33], and Lemma 2.1, we have

x ˆ L ( α ) = M x ˜ ( α ) V α 1 ( M x ˜ ) , x ˆ R ( α ) = M x ˜ ( α ) + V α 1 ( M x ˜ )

and

y ˆ L ( α ) = M λ x ˜ ( α ) V α 1 ( M λ x ˜ ) = λ M x ˜ ( α ) | λ | V α 1 ( M x ˜ ) , y ˆ R ( α ) = M λ x ˜ ( α ) + V α 1 ( M λ x ˜ ) = λ M x ˜ ( α ) + | λ | V α 1 ( M x ˜ )

for all α[0,1]. Hence, we get [ y ˆ ] α =λ [ x ˆ ] α = [ λ x ˆ ] α for all α[0,1], i.e., y ˆ =λ x ˆ .

Definition 2.10 Define d sup :F/S×F/S R + {0} by

d sup ( x ˜ , y ˜ ) = sup α [ 0 , 1 ] | M x ˜ (α) M y ˜ (α)|

for all x ˜ , y ˜ F/S.

(F/S, d sup ) is a metric space [33]. From Definition 2.10, we list here some simple properties of the metric d sup ( x ˜ , y ˜ ):

  1. (1)

    d sup ( x ˜ , z ˜ ) d sup ( x ˜ , y ˜ )+ d sup ( y ˜ , z ˜ );

  2. (2)

    d sup (λ x ˜ ,λ y ˜ )=|λ| d sup ( x ˜ , y ˜ );

  3. (3)

    d sup ( x ˜ + z ˜ , y ˜ + z ˜ )= d sup ( x ˜ , y ˜ )

for all x ˜ , y ˜ , z ˜ F/S and λR, where the addition and scalar multiplication on F/S are defined in Definitions 2.7 and 2.9, respectively.

3 Initial value problem

In this section, we will firstly give some definitions and basic results for the fuzzy differentials and fuzzy integrals. Then we will solve the initial value problem for fuzzy differential equations.

Definition 3.1 [34]

Let T=[a,b]. A mapping F:TF/S is differentiable at t 0 T if there exists an F ( t 0 )F/S such that

lim h 0 d sup ( F ( t 0 + h ) F ( t 0 ) h , F ( t 0 ) ) =0.

If t 0 =a (or t 0 =b), then we consider only h 0 + (or h 0 ). If F, G are differentiable at t, then we have ( F + G ) (t)= F (t)+ G (t) and ( λ F ) (t)=λ F (t), λR.

Lemma 3.1 [34]

If F:TF/S is differentiable, then it is continuous with respect to d sup .

Definition 3.2 [34]

A mapping F:TF/S is measurable if F is measurable with respect to d sup .

A mapping F:TF/S is called integrably bounded if there exists an integrable function h:T R + {0} such that | M F ( t ) (α)|h(t) for all tT and α[0,1]; a mapping F:TF/S is said to be of uniformly bounded variation with respect to α[0,1] (for short, uniformly bounded variation) if there exists a constant K>0 such that

V 0 1 ( M F ( t ) )K

for all tT [34].

Definition 3.3 [34]

Let F:TF/S be measurable. The integral of F over T, denoted T F(t)dt or a b F(t)dt, is a mapping M T F ( t ) d t :[0,1]R, which is defined by the equation

M T F ( t ) d t (α)= T M F ( t ) (α)dt

for all α[0,1]. The mapping F:TF/S is said to be integrable over T if there exists an x ˜ 0 F/S such that M T F ( t ) d t = M x ˜ 0 . In this case, we denote the integral by

T F(t)dt= x ˜ 0 .

If F:TF/S is a measurable, integrably bounded, and uniformly bounded variation of a mapping, then F is integrable on T and T F(t)dtF/S [34]. Also the following properties of the integral are valid. If F,G:TF/S are integrable on T and λR, then:

( 1 ) T ( F + G ) ( t ) d t = T F ( t ) d t + T G ( t ) d t , ( 2 ) T λ F ( t ) d t = λ T F ( t ) d t , ( 3 ) d sup ( F , G )  is integrable , ( 4 ) d sup ( T F ( t ) d t , T G ( t ) d t ) T d sup ( F ( t ) , G ( t ) ) d t , ( 5 ) a b F ( t ) d t = a c F ( t ) d t + c b F ( t ) d t , a c b .

Lemma 3.2 [34]

Let F:TF/S be continuous with respect to d sup and of uniformly bounded variation. Then the integral G(t)= a t F(s)ds is differentiable and G (t)=F(t) for all tT.

Lemma 3.3 [34]

Let F:TF/S be differentiable and the derivative F be integrable over T. Then for all tT, we have F(t)=F( t 0 )+ t 0 t F (s)ds, a t 0 tb.

Lemma 3.4 [34]

Let F:TF/S be continuous with respect to d sup and of uniformly bounded variation and G(t)= a t F(s)ds. Then for a t 1 t 2 b we have

d sup ( G ( t 1 ) , G ( t 2 ) ) ( t 2 t 1 ) sup t [ t 1 , t 2 ] sup α [ 0 , 1 ] | M F ( t ) (α)|=( t 2 t 1 ) sup t [ t 1 , t 2 ] d sup ( F ( t ) , 0 ˜ ) .

Assume that f:T×F/SF/S is continuous and of uniformly bounded variation. Consider the initial value problem

x (t)=f ( t , x ( t ) ) ,x(a)= 0 ˜ .
(1)

From Lemmas 3.1, 3.2, and 3.3, a lemma immediately follows.

Lemma 3.5 A mapping x:TF/S is a solution to the problem (1) if and only if it is continuous, uniformly bounded variation and satisfies the integral equation

x(t)= 0 ˜ + a t f ( s , x ( s ) ) ds= a t f ( s , x ( s ) ) ds

for all tT.

Theorem 3.1 Let f:T×F/SF/S be continuous with respect to d sup and of uniformly bounded variation on T. Suppose there exists an L>0 such that

d sup ( f ( t , x ˜ ) , 0 ˜ ) L

for all tT and x ˜ F/S. Then the problem (1) has a solution on T.

Proof Since f is of uniformly bounded variation, there exists a constant K 1 >0 such that

V 0 1 ( M f ( t , x ˜ ) ) K 1

for all tT and x ˜ F/S. Let K=(ba) K 1 . Denote by CBV(T,F/S) the set of all continuous and of uniformly bounded variation mappings φ from T to F/S and V 0 1 ( M φ ( t ) )K for all tT. We metricize CBV(T,F/S) by setting

D(ξ,ψ)= sup T d sup ( ξ ( t ) , ψ ( t ) )

for ξ,ψCBV(T,F/S). Since (F/S, d sup ) is a metric space, it is easy to show that also (CBV(T,F/S),D) is metric space. Next, we shall show that (CBV(T,F/S),D) is complete. By Definition 2.10, we have

D(ξ,ψ)= sup t T , α [ 0 , 1 ] | M ξ ( t ) (α) M ψ ( t ) (α)|.

Let { ξ n } n = 1 is a Cauchy sequence in CBV(T,F/S), i.e., for any ε>0, there exists a positive integer N such that

D( ξ m , ξ n )= sup t T , α [ 0 , 1 ] | M ξ m ( t ) (α) M ξ n ( t ) (α)|<ε

for all m,n>N. Denote by C 1 (T×[0,1],R) the set of all continuous function with respect to the first variable tT. Let

d(x,y)= sup t T , α [ 0 , 1 ] |x(t,α)y(t,α)|

for any x,y C 1 (T×[0,1],R). Then { M ξ n } is a Cauchy sequence in C 1 (T×[0,1],R), which implies that for any given tT and α[0,1], { M ξ n ( t ) (α)} is a Cauchy sequence. Thus, there exists an M ξ ( t ) (α) such that

lim n | M ξ n ( t ) (α) M ξ ( t ) (α)|=0.

Now we shall show that M ξ ( t ) (α) C 1 (T×[0,1]). Firstly, we have

| M ξ m ( t ) (α) M ξ ( t ) (α)|| M ξ m ( t ) (α) M ξ n ( t ) (α)|+| M ξ n ( t ) (α) M ξ ( t ) (α)|

for all tT and α[0,1]. Thus, letting n we have

sup t T , α [ 0 , 1 ] | M ξ m ( t ) (α) M ξ ( t ) (α)|ε,

whenever m>N, which implies that M ξ n ( t ) (α) converges uniformly to M ξ ( t ) (α) with respect to (t,α) on T×[0,1]. Thus, we find that M ξ ( t ) (α) is continuous with respect to tT, i.e., M ξ ( t ) (α) C 1 (T×[0,1],R). For any given α 0 [0,1], let { α n } n = 1 [0,1] be a nondecreasing sequence converging to α 0 . For any given tT, we have

| M ξ ( t ) ( α n ) M ξ ( t ) ( α 0 ) | | M ξ m ( t ) ( α n ) M ξ ( t ) ( α n ) | + | M ξ m ( t ) ( α n ) M ξ m ( t ) ( α 0 ) | + | M ξ m ( t ) ( α 0 ) M ξ ( t ) ( α 0 ) | .

Since M ξ m ( t ) is continuous from the left on [0,1] with respect to α and M ξ m ( t ) (α) converges uniformly to M ξ ( t ) (α) with respect to t, we see that the limit of the right-hand side of the above inequality is equal to 0 as n,m+. Hence M ξ ( t ) is continuous from the left on [0,1] with respect to α. Similarly, we can find that M ξ ( t ) is continuous from the right at 0. Since { M ξ n ( t ) ( α ) } n = 1 are of bounded variation on [0,1] and converge uniformly to M ξ ( t ) (α) with respect to α, by Theorem 4.8 in [33] we obtain

V 0 1 ( M ξ ( t ) ) lim n inf V 0 1 ( M ξ n ( t ) )K.

Hence, by Lemma 2.7, we know that M ξ ( t ) (α) is a midpoint function of some fuzzy number equivalence class, we still use ξ(t) to denote this fuzzy equivalence class for any tT. It is obvious that ξ(t) is a mapping of uniformly bounded variation from T to F/F and for arbitrary ε>0 there exists a positive integer N such that

D( ξ n ,ξ)= sup t T , α [ 0 , 1 ] | M ξ n ( t ) (α) M ξ ( t ) (α)|ε/3

for all n>N. Since ξ n (t) is continuous, for any given t 0 T and the same ε>0, there exists a δ>0 such that if |t t 0 |<δ, then

d sup ( ξ n ( t ) , ξ n ( t 0 ) ) = sup α [ 0 , 1 ] | M ξ n ( t ) (α) M ξ n ( t 0 ) (α)|<ε/3.

Thus, we have

| M ξ ( t ) ( α ) M ξ ( t 0 ) ( α ) | | M ξ n ( t ) ( α ) M ξ ( t ) ( α ) | + | M ξ n ( t 0 ) ( α ) M ξ n ( t 0 ) ( α ) | + | M ξ n ( t ) ( α ) M ξ n ( t 0 ) ( α ) | 2 D ( ξ n , ξ ) + d sup ( ξ n ( t ) , ξ n ( t 0 ) ) < 2 ε / 3 + ε / 3 = ε ,

which implies that

d sup ( ξ ( t ) , ξ ( t 0 ) ) = sup α [ 0 , 1 ] | M ξ ( t ) (α) M ξ ( t 0 ) (α)|ε.

Thus, we get ξCBV(T,F/S). Hence, (CBV(T,F/S),D) is complete.

For ξCBV(T,F/S) define on T by the relation

Gξ(t)= 0 ˜ + a t f ( s , ξ ( s ) ) ds= a t f ( s , ξ ( s ) ) ds.

Then for any α[0,1], we have

M G ξ ( t ) (α)= M a t f ( s , ξ ( s ) ) d s (α)= a t M f ( s , ξ ( s ) ) (α)ds.

By Lemma 2.2, we get

V 0 1 ( M G ξ ( t ) )= V 0 1 ( a t M f ( s , ξ ( s ) ) d s ) a t V 0 1 ( M f ( s , ξ ( s ) ) )dsK.

Thus, we see that is of uniformly bounded variation. Hence, by Corollaries 4.1 and 4.3 in [34], we have GξCBV(T,F/S). Let

B= { x CBV ( T , F / S ) : D ( x , 0 ˜ ) ( b a ) L } .

For any x,yB and λ[0,1]:

(1) For any given t 0 T, if t t 0 , then

d sup ( λ x ( t ) + ( 1 λ ) y ( t ) , λ x ( t 0 ) + ( 1 λ ) y ( t 0 ) ) d sup ( λ x ( t ) + ( 1 λ ) y ( t ) , λ x ( t 0 ) + ( 1 λ ) y ( t ) ) + d sup ( λ x ( t 0 ) + ( 1 λ ) y ( t ) , λ x ( t 0 ) + ( 1 λ ) y ( t 0 ) ) = d sup ( λ x ( t ) , λ x ( t 0 ) ) + d sup ( ( 1 λ ) y ( t ) , ( 1 λ ) y ( t 0 ) ) = λ d sup ( x ( t ) , x ( t 0 ) ) + ( 1 λ ) d sup ( y ( t ) , y ( t 0 ) ) 0 .

(2) By Lemma 2.2 and Definitions 2.7 and 2.9, we have

V 0 1 ( M λ x ( t ) + ( 1 λ ) y ( t ) ) = V 0 1 ( λ M x ( t ) + ( 1 λ ) M y ( t ) ) λ V 0 1 ( M x ( t ) ) + ( 1 λ ) V 0 1 ( M y ( t ) ) λ K + ( 1 λ ) K = K .

(3) By definition of D, we have

D ( λ x ( t ) + ( 1 λ ) y ( t ) , 0 ˜ ) D ( λ x ( t ) , 0 ˜ ) + D ( λ x ( t ) + ( 1 λ ) y ( t ) , λ x ( t ) ) = D ( λ x ( t ) , 0 ˜ ) + D ( ( 1 λ ) y ( t ) , 0 ˜ ) = λ D ( x ( t ) , 0 ˜ ) + ( 1 λ ) D ( y ( t ) , 0 ˜ ) λ ( b a ) L + ( 1 λ ) ( b a ) L = ( b a ) L .

Thus, λx(t)+(1λ)y(t)B, i.e., B is convex subset of CBV(T,F/S).

Let the set GB={Gx:xB} and the sequence { ξ n } n = 1 converge to ξ in B. Since f is continuous with respect to d sup , for any ε>0, there exists N>0 such that

d sup ( f ( t , ξ n ( t ) ) , f ( t , ξ ( t ) ) ) <ε

for all tT and n>N. Thus, we get

D ( G ξ n , G ξ ) = sup t T d sup ( G ξ n ( t ) , G ξ ( t ) ) = sup t T d sup ( a t f ( s , ξ n ( s ) ) d s , a t f ( s , ξ ( s ) ) d s ) a b d sup ( f ( s , ξ n ( s ) ) , f ( s , ξ ( s ) ) ) d s ( b a ) ε

for all n>N. By Lemma 3.4, we have

d sup ( ( G x ) ( t ) , 0 ˜ ) = d sup ( ( G x ) ( t ) , ( G x ) ( a ) ) ( t a ) sup T d sup ( f ( t , ( G x ) ( t ) ) , 0 ˜ ) ( b a ) L

for all xCBV(T,F/F). Thus we get

D ( G x , 0 ˜ ) = sup T d sup ( ( G x ) ( t ) , 0 ˜ ) (ba)L.

Hence, G is a continuous mapping of B into itself, i.e., GBB. For any t 1 , t 2 T, t 1 t 2 , and xB, by Lemma 3.4, we have

d sup ( ( G x ) ( t 1 ) , ( G x ) ( t 1 ) ) ( t 2 t 1 ) sup t [ t 1 , t 2 ] d sup ( f ( t , ( G x ) ( t ) ) , 0 ˜ ) ( t 2 t 1 )L,

which implies that GB is equicontinuous. Since GB is totally bounded if and only if it is equicontinuous, we see that GB is totally bounded. By Ascoli’s theorem, we conclude that GB is a relatively compact subset of CBV(T,F/F). By Schauder’s fixed point theorem, G has a fixed point, and by Lemma 3.5, we know that this fixed point is a solution of (1). □

Example 3.1 Define F:T=[a,b]F/S by the level sets of the fuzzy mapping

[ F ( t ) ˆ ] α = [ 0 , 2 e α ( t a ) ] ,α[0,1],

where F ( t ) ˆ is the Mareš core of F(t), for all t[a,b]. Thus, we have

M F ( t ) (α)= e α ( t a )

for all α[0,1] and t[a,b]. It is obvious that M F ( t ) (α) is continuous from the right at 0 and continuous from the left on [0,1] with respect to α. Since M F ( t ) (α) is increasing with respect to α and by Lemma 2.5, we get

V 0 1 ( M F ( t ) )= e ( t a ) 1 e b a 1.

Thus, we find that F(t) is of uniformly bounded variation. Since M F ( t ) (α) is uniformly continuous with respect to t[a,b], we see that F(t) is continuous with respect to d sup . Define f:[a,b]×F/SF/S by

f ( t , x ˜ ) =F(t).

It is obvious that f is continuous with respect to d sup . Since

M f ( t , x ˜ ) (α)= M F ( t ) (α)

for all α[0,1] and by Lemma 2.6, we get

V 0 1 ( M f ( t , x ˜ ) )= V 0 1 ( M F ( t ) )= e ( t a ) 1 e b a 1.

Thus, f is of uniformly bounded variation. Since

d sup ( f ( t , x ˜ ) , 0 ˜ ) = d sup ( F ( t ) , 0 ˜ ) = sup α [ 0 , 1 ] | M F ( t ) ( α ) 0 | = sup α [ 0 , 1 ] e α ( t a ) e b a

for all t[a,b] and x ˜ F/S. Then f(t, x ˜ ) satisfies the assumptions of Theorem 3.1 and hence the initial value problem

x (t)=f ( t , x ( t ) ) ,x(a)= 0 ˜ ,

has a unique solution on [a,b]. By the proof of Theorem 3.1, we know that the unique solution x(t) of the initial value problem is

x(t)= 0 ˜ + a t F(s)ds.

Then we get

M x ( t ) ( α ) = M 0 ˜ ( α ) + a t M F ( s ) ( α ) d s = 0 + a t e α ( s a ) d s = { t a , α = 0 , 1 α ( e α ( t a ) 1 ) , α ( 0 , 1 ] .

Thus, we have

V α 1 ( M x ( t ) )= e t a t+a1

for all α[0,1]. By Theorems 3.10 and 3.13 in [33], we see that the left end points and the right end points of level sets of the Mareš core x ( t ) ˆ for x(t), respectively, obey

x ( t ) ˆ L ( α ) = M x ( t ) ( α ) V α 1 ( M x ( t ) ) x ( t ) ˆ L ( α ) = { 2 ( t a ) e t a + 1 , α = 0 , 1 α ( e α ( t a ) 1 ) e t a + t a + 1 , α ( 0 , 1 ] , x ( t ) ˆ R ( α ) = M x ( t ) ( α ) + V α 1 ( M x ( t ) ) x ( t ) ˆ R ( α ) = { e t a 1 , α = 0 , 1 α ( e α ( t a ) 1 ) + e t a t + a 1 , α ( 0 , 1 ] .

4 Comparison theorems

Using the properties of d sup ( x ˜ , y ˜ ), integrals, and differential inequalities, we will establish the comparison principles in this section.

Definition 4.1 Define d + :C[T,R]R by

d + m(t)= lim h 0 + 1 h ( m ( t + h ) m ( t ) )

for all m(t)C[T,R].

Theorem 4.1 Let f:T×F/SF/S be continuous with respect to d sup and of uniformly bounded variation on T. Suppose

d sup ( f ( t , x ˜ ) , f ( t , y ˜ ) ) g ( t , d sup ( x ˜ , y ˜ ) )

for all tT and x ˜ , y ˜ F/S, where g C 1 [T× R + , R + ] and g(t,φ) is nondecreasing with respect to φ for all tT. Suppose the maximal solution r(t)=r(t;a, φ 0 ) of the scalar differential equation

d φ d t =g(t,φ),φ(a)= φ 0 0,
(2)

exists on T. Then, if x(t), y(t) are any two solutions of (1) through (a, x 0 ), (a, y 0 ) on T, respectively, and d sup ( x 0 , y 0 ) φ 0 we have

d sup ( x ( t ) , y ( t ) ) r(t)

for all tT.

Proof Let m(t)= d sup (x(t),y(t)). Then m( t 0 )= d sup ( x 0 , y 0 ) φ 0 . Thus, we get

m ( t ) = d sup ( x ( t ) , y ( t ) ) = d sup ( x 0 + a t f ( s , x ( s ) ) d s , y 0 + a t f ( s , y ( s ) ) d s ) d sup ( x 0 + a t f ( s , x ( s ) ) d s , x 0 + a t f ( s , y ( s ) ) d s ) + d sup ( x 0 + a t f ( s , y ( s ) ) d s , y 0 + a t f ( s , y ( s ) ) d s ) = d sup ( a t f ( s , x ( s ) ) d s , a t f ( s , y ( s ) ) d s ) + d sup ( x 0 , y 0 ) m ( t 0 ) + a t d sup ( f ( s , x ( s ) ) , f ( s , y ( s ) ) ) d s m ( t 0 ) + a t g ( s , d sup ( x ( s ) , y ( s ) ) ) d s = m ( t 0 ) + a t g ( s , m ( s ) ) d s

for all tT. By Theorem 1.9.2 in [46], we obtain d sup (x(t),y(t))=m(t)r(t) for all tT. □

Example 4.1 Define F:T=[a,b]F/S by the level sets of the fuzzy mapping

[ F ( t ) ˆ ] α = { [ 0 , 2 ( 1 α t + b 2 a b a ) ] , if  α ( 0 , 1 ) , [ 0 , 2 ] , if  α = 0 , { 0 } , if  α = 1 ,

where F ( t ) ˆ is the Mareš core of F(t), for all t[a,b]. Thus, we have

M F ( t ) (α)= { 1 α t + b 2 a b a , if  α ( 0 , 1 ) , 1 , if  α = 0 , 0 , if  α = 1 .

It is obvious that F is continuous with respect to d sup . Since

V 0 1 ( M F ( t ) )=1

for all t[a,b], we see that F is of uniformly bounded variation. Define f:[a,b]×F/SF/S by

f ( t , x ˜ ) =F(t) x ˜ ,

where the multiplication in F/S is defined by Definition 2.6. It is obvious that f is continuous with respect to d sup and of uniformly bounded variation. By Definition 2.10, we have

d sup ( f ( t , x ˜ ) , f ( t , y ˜ ) ) = d sup ( F ( t ) x ˜ , F ( t ) y ˜ ) = sup α [ 0 , 1 ] | M F ( t ) ( α ) M x ˜ ( α ) M F ( t ) ( α ) M y ˜ ( α ) | sup α [ 0 , 1 ] | M F ( t ) ( α ) | d sup ( x ˜ , y ˜ ) = d sup ( x ˜ , y ˜ )

for all t[a,b] and x ˜ , y ˜ F/S. Define the scalar differential equation

d φ d t =g(t,φ),φ(a)=1,

where the function g(t,φ)=γ(t)φ and γ(t)=2 e t a . It is obvious that γ(t)2 for all t[a,b], g C 1 [T× R + , R + ] and g(t,φ) is nondecreasing with respect to φ for all t[a,b]. Then

g ( t , d sup ( x ˜ , y ˜ ) ) =γ(t) d sup ( x ˜ , y ˜ ) 2 d sup ( x ˜ , y ˜ )

for all t[a,b] and x ˜ , y ˜ F/S. Hence, we obtain

d sup ( f ( t , x ˜ ) , f ( t , y ˜ ) ) g ( t , d sup ( x ˜ , y ˜ ) )

for all t[a,b] and x ˜ , y ˜ F/S. Let x(a)= x 0 and y(a)= y 0 , such that d sup ( x 0 , y 0 )1. By Theorem 4.1, we conclude that

d sup ( x ( t ) , y ( t ) ) e 2 ( e t a 1 )

for all t[a,b], where x(t), y(t) are two solutions of fuzzy differential equation

x (t)=f ( t , x ( t ) )

through (a, x 0 ), (a, y 0 ) on [a,b].

Corollary 4.1 Let f:T×F/SF/S be continuous with respect to d sup and of uniformly bounded variation on T. Suppose

d sup ( f ( t , x ˜ ) , 0 ˜ ) g ( t , d sup ( x ˜ , 0 ˜ ) )

for all tT and x ˜ F/S, where g satisfies the assumptions of Theorem  4.1. Then, if d sup ( x 0 , 0 ˜ ) φ 0 , we have

d sup ( x ( t ) , 0 ˜ ) r(t)

for all tT, where x(t) is any solution of (1) through (a, x 0 ) on T and r(t)=r(t,a, φ 0 ) is the maximal solution of the scalar differential equation (2) on T.

Proof In fact, we can show this corollary by a similar method to Theorem 4.1. □

Theorem 4.2 Let f:T×F/SF/S be continuous with respect to d sup and of uniformly bounded variation on T. Suppose

d sup ( f ( t , x ˜ ) , f ( t , y ˜ ) ) g ( t , d sup ( x ˜ , y ˜ ) )

for all tT and x ˜ , y ˜ F/S, where g C 1 [T× R + , R + ]. Suppose the maximal solution r(t)=r(t,a, φ 0 ) of the scalar differential equation (2) exists on T. Then, if x(t), y(t) are any two solutions of (1) through (a, x 0 ), (a, y 0 ) on T, respectively, and d sup ( x 0 , y 0 ) φ 0 we have

d sup ( x ( t ) , y ( t ) ) r(t)

for all tT.

Proof Let m(t)= d sup (x(t),y(t)). Then m( t 0 )= d sup ( x 0 , y 0 ) φ 0 and for any fixed tT and h0 with t+hT, we have

m(t+h)m(t)= d sup ( x ( t + h ) , y ( t + h ) ) d sup ( x ( t ) , y ( t ) ) .

Since

d sup ( x ( t + h ) , y ( t + h ) ) d sup ( x ( t + h ) , x ( t ) + h f ( t , x ( t ) ) ) d sup ( x ( t + h ) , y ( t + h ) ) + d sup ( x ( t ) + h f ( t , x ( t ) ) , y ( t + h ) ) , d sup ( x ( t ) + h f ( t , x ( t ) ) , y ( t + h ) ) d sup ( y ( t ) + h f ( t , y ( t ) ) , y ( t + h ) ) d sup ( x ( t ) + h f ( t , x ( t ) ) , y ( t + h ) ) + d sup ( x ( t ) + h f ( t , x ( t ) ) , y ( t ) + h f ( t , y ( t ) ) )

and

d sup ( x ( t ) + h f ( t , x ( t ) ) , y ( t ) + h f ( t , y ( t ) ) ) d sup ( x ( t ) + h f ( t , x ( t ) ) , x ( t ) + h f ( t , y ( t ) ) ) + d sup ( x ( t ) + h f ( t , y ( t ) ) , y ( t ) + h f ( t , y ( t ) ) ) = | h | d sup ( f ( t , x ( t ) ) , f ( t , y ( t ) ) ) + d sup ( x ( t ) , y ( t ) ) ,

we get

m ( t + h ) m ( t ) h 1 h d sup ( x ( t + h ) , x ( t ) + h f ( t , x ( t ) ) ) + 1 h d sup ( y ( t ) + h f ( t , y ( t ) ) , y ( t + h ) ) + | h | h d sup ( f ( t , x ( t ) ) , f ( t , y ( t ) ) ) .

Thus, by Definition 4.1, we get

d + m ( t ) = lim h 0 + 1 h ( m ( t + h ) m ( t ) ) lim h 0 + d sup ( x ( t + h ) x ( t ) h , f ( t , x ( t ) ) ) + lim h 0 + d sup ( f ( t , y ( t ) ) , y ( t + h ) y ( t ) h ) + d sup ( f ( t , x ( t ) ) , f ( t , y ( t ) ) ) = d sup ( f ( t , x ( t ) ) , f ( t , y ( t ) ) ) g ( t , d sup ( x ( t ) , y ( t ) ) ) = g ( t , m ( t ) ) .

By Theorem 1.4.1 in [46], we obtain d sup (x(t),y(t))=m(t)r(t), for all tT. □

Corollary 4.2 Let f:T×F/SF/S be continuous with respect to d sup and of uniformly bounded variation on T. If

d sup ( f ( t , x ˜ ) , 0 ˜ ) g ( t , d sup ( x ˜ , 0 ˜ ) )

for all tT and x ˜ F/S, where g satisfies the assumptions of Theorem  4.2, then, if d sup ( x 0 , 0 ˜ ) φ 0 , we have

d sup ( x ( t ) , 0 ˜ ) r(t)

for all tT, where x(t) is any solution of (1) through (a, x 0 ) on T and r(t)=r(t,a, φ 0 ) is the maximal solution of the scalar differential equation (2) on T.

Proof In fact, we can show this corollary by a similar method to Theorem 4.2. □

Theorem 4.3 Let f:T×F/SF/S be continuous with respect to d sup and of uniformly bounded variation on T. Suppose

lim h 0 + 1 h { d sup ( x ˜ + h f ( t , x ˜ ) , y ˜ + h f ( t , y ˜ ) ) d sup ( x ˜ , y ˜ ) } g ( t , d sup ( x ˜ , y ˜ ) )

for all tT and x ˜ , y ˜ F/S, where g C 1 [T× R + ,R]. Suppose the maximal solution r(t)=r(t,a, φ 0 ) of the scalar differential equation (2) exists on T. Then, if x(t), y(t) are any two solutions of (1) through (a, x 0 ), (a, y 0 ) on T, respectively, and d sup ( x 0 , y 0 ) φ 0 , we have

d sup ( x ( t ) , y ( t ) ) r(t)

for all tT.

Proof Let m(t)= d sup (x(t),y(t)). Then m( t 0 )= d sup ( x 0 , y 0 ) φ 0 and for any fixed tT and h0 with t+hT, from the proof of Theorem 4.2, we have

m ( t + h ) m ( t ) = d sup ( x ( t + h ) , y ( t + h ) ) d sup ( x ( t ) , y ( t ) ) d sup ( x ( t + h ) , x ( t ) + h f ( t , x ( t ) ) ) + d sup ( y ( t ) + h f ( t , y ( t ) ) , y ( t + h ) ) + d sup ( x ( t ) + h f ( t , x ( t ) ) , y ( t ) + h f ( t , y ( t ) ) ) d sup ( x ( t ) , y ( t ) ) ,

which implies that

d + m ( t ) = lim h 0 + 1 h ( m ( t + h ) m ( t ) ) lim h 0 + d sup ( x ( t + h ) x ( t ) h , f ( t , x ( t ) ) ) + lim h 0 + d sup ( f ( t , y ( t ) ) , y ( t + h ) y ( t ) h ) + lim h 0 + 1 h { d sup ( x ( t ) + h f ( t , x ( t ) ) , y ( t ) + h f ( t , y ( t ) ) ) d sup ( x ( t ) , y ( t ) ) } = lim h 0 + 1 h { d sup ( x ( t ) + h f ( t , x ( t ) ) , y ( t ) + h f ( t , y ( t ) ) ) d sup ( x ( t ) , y ( t ) ) } g ( t , d sup ( x ( t ) , y ( t ) ) ) = g ( t , m ( t ) ) .

By Theorem 1.4.1 in [46], we obtain d sup (x(t),y(t))=m(t)r(t), for all tT. □

Corollary 4.3 Let f:T×F/SF/S be continuous with respect to d sup and of uniformly bounded variation on T. Suppose

lim h 0 + 1 h { d sup ( x ˜ + h f ( t , x ˜ ) , 0 ˜ ) d sup ( x ˜ , 0 ˜ ) } g ( t , d sup ( x ˜ , 0 ˜ ) )

for all tT and x ˜ F/S, where g satisfies the assumptions of Theorem  4.3. Then, if d sup ( x 0 , 0 ˜ ) φ 0 , we have

d sup ( x ( t ) , 0 ˜ ) r(t)

for all tT, where x(t) is any solution of (1) through (a, x 0 ) on T and r(t)=r(t;a, φ 0 ) is the maximal solution of the scalar differential equation (2) on T.

Proof In fact, we can show this corollary by a similar method to Theorem 4.3. □

Example 4.2 Define two fuzzy mappings F,G:[a,b]F/S by the level sets

[ F ( t ) ˆ ] α = [ e 1 2 + α ( b a ) ( t a b a ) 2 + α , 0 ]

and

[ G ( t ) ˆ ] α = [ 0 , ( t a b a ) 1 + α ]

for all α[0,1], where F ( t ) ˆ and G ( t ) ˆ are the Mareš core of F(t) and G(t), respectively, for all t[a,b]. Thus, we have

M F ( t ) (α)= 1 2 e 1 2 + α ( b a ) ( t a b a ) 2 + α and M G ( t ) (α)= 1 2 ( t a b a ) 1 + α

for all α[0,1] and t[a,b]. It is obvious that M F ( t ) (α) and M G ( t ) (α) are continuous from the right at 0 and continuous from the left on [0,1] with respect to α. Since M F ( t ) (α) and M G ( t ) (α) are decreasing with respect to α and by Lemma 2.4, we get

V 0 1 ( M F ( t ) )= 1 2 ( e 1 2 ( b a ) ( t a b a ) 2 e 1 3 ( b a ) ( t a b a ) 3 ) 1 2 e 1 2 ( b a ) ( t a b a ) 2 1 2 e 1 2 ( b a )

and

V 0 1 ( M G ( t ) )= 1 2 ( ( t a b a ) 1 ( t a b a ) 2 ) = 1 2 ( t a b a 1 2 ) 2 + 1 8 1 8 .

Thus, we see that F(t) and G(t) are of uniformly bounded variation. Since M F ( t ) (α) and M G ( t ) (α) are uniformly continuous with respect to t[a,b], we see that F(t) and G(t) are continuous with respect to d sup . Define f:[a,b]×F/SF/S by

f ( t , x ˜ ) =F(t) x ˜ +G(t),

where the addition and multiplication in F/S are defined by Definitions 2.7 and 2.8, respectively. It is obvious that f is continuous with respect to d sup and of uniformly bounded variation. By Definition 2.10, we get

d sup ( x ˜ + h f ( t , x ˜ ) , y ˜ + h f ( t , y ˜ ) ) d sup ( x ˜ , y ˜ ) = d sup ( x ˜ + h ( F ( t ) x ˜ + G ( t ) ) , y ˜ + h ( F ( t ) y ˜ + G ( t ) ) ) d sup ( x ˜ , y ˜ ) = d sup ( x ˜ + h F ( t ) x ˜ , y ˜ + h F ( t ) y ˜ ) d sup ( x ˜ , y ˜ ) = sup α [ 0 , 1 ] | M x ˜ ( α ) + h M F ( t ) ( α ) M x ˜ ( α ) M y ˜ ( α ) h M F ( t ) ( α ) M y ˜ ( α ) | d sup ( x ˜ , y ˜ ) ( 1 + h sup α [ 0 , 1 ] M F ( t ) ( α ) ) d sup ( x ˜ , y ˜ ) d sup ( x ˜ , y ˜ ) = h sup α [ 0 , 1 ] M F ( t ) ( α ) d sup ( x ˜ , y ˜ ) = 1 2 h e 1 3 ( b a ) ( t a b a ) 3 d sup ( x ˜ , y ˜ ) 1 2 h d sup ( x ˜ , y ˜ )

for all h>0 sufficiently small. Hence

lim h 0 + 1 h { d sup ( x ˜ + h f ( t , x ˜ ) , y ˜ + h f ( t , y ˜ ) ) d sup ( x ˜ , y ˜ ) } 1 2 d sup ( x ˜ , y ˜ )

for all t[a,b] and x ˜ , y ˜ F/S. Define the scalar differential equation

d φ d t =g(t,φ),φ(a)=1,

where the function g(t,φ)=γ(t)φ and γ(t)=1/2 e a t . It is obvious that γ(t)1/2 for all t[a,b], g C 1 [[a,b]× R + ,R]. Then

g ( t , d sup ( x ˜ , y ˜ ) ) =γ(t) d sup ( x ˜ , y ˜ ) 1 2 d sup ( x ˜ , y ˜ )

for all t[a,b] and x ˜ , y ˜ F/S. Hence, we obtain

lim h 0 + 1 h { d sup ( x ˜ + h f ( t , x ˜ ) , y ˜ + h f ( t , y ˜ ) ) d sup ( x ˜ , y ˜ ) } g ( t , d sup ( x ˜ , y ˜ ) )

for all t[a,b] and x ˜ , y ˜ F/S. Let x(a)= x 0 and y(a)= y 0 , such that d sup ( x 0 , y 0 )1. By Theorem 4.3, we conclude that

d sup ( x ( t ) , y ( t ) ) e 1 2 ( e a t 1 )

for all t[a,b], where x(t), y(t) are two solutions of the fuzzy differential equation

x (t)=f ( t , x ( t ) )

through (a, x 0 ), (a, y 0 ) on [a,b].

5 Conclusions

In this paper, we have researched the basic theory of fuzzy differential equations in the quotient space of fuzzy numbers. We have solved the initial value problem for the fuzzy differential equations provided that f is a continuous with respect to d sup , of uniformly bounded variation on T, and is a bounded function, and then we have established a variety of comparison results for the solutions of fuzzy differential equations which form the essential tools for studying the fundamental theory of fuzzy differential equations. The comparison discussion shows how, with the minimum linear structure, one can develop the theory of differential inequalities that are important in comparison principles. We also hope that our results in this paper may lead to significant, new, and innovative results in related fields.

References

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

    Article  MathSciNet  Google Scholar 

  2. Chalco-Cano Y, Román-Flores H: Some remarks on fuzzy differential equations via differential inclusions. Fuzzy Sets Syst. 2013, 230: 3-20.

    Article  Google Scholar 

  3. Ding Z, Shen H, Kandel A: Hypergraph partitioning for the parallel computing of fuzzy differential equations. Fuzzy Sets Syst. 2013, 230: 142-161.

    Article  MathSciNet  Google Scholar 

  4. Dizicheh AK, Salahshour S, Ismail FB: A note on ‘Numerical solutions of fuzzy differential equations by extended Runge-Kutta-like formulae of order 4’. Fuzzy Sets Syst. 2013, 233: 96-100.

    Article  Google Scholar 

  5. Drainkov D, Hellendoom H, Reinfrank M: An Introduction to Fuzzy Control. Springer, Berlin; 1996.

    Book  Google Scholar 

  6. Dubois D, Prade H: Towards fuzzy differential calculus, part 1: integration of fuzzy mappings. Fuzzy Sets Syst. 1982, 8: 1-17. 10.1016/0165-0114(82)90025-2

    Article  MathSciNet  Google Scholar 

  7. Dubois D, Prade H: Towards fuzzy differential calculus, part 2: integration on fuzzy intervals. Fuzzy Sets Syst. 1982, 8: 105-116. 10.1016/0165-0114(82)90001-X

    Article  MathSciNet  Google Scholar 

  8. Dubois D, Prade H: Towards fuzzy differential calculus, part 3: differentiation. Fuzzy Sets Syst. 1982, 8: 225-234. 10.1016/S0165-0114(82)80001-8

    Article  MathSciNet  Google Scholar 

  9. Kaleva O: Fuzzy differential equation. Fuzzy Sets Syst. 1987, 24: 301-317. 10.1016/0165-0114(87)90029-7

    Article  MathSciNet  Google Scholar 

  10. Lakshmikantham V, Mohapatra RN: Theory of Fuzzy Differential Equations and Inclusions. Academic Press, New York; 2003.

    Book  Google Scholar 

  11. Novak V: Fuzzy Sets and Their Applications. Hilger, Bristol; 1988.

    Google Scholar 

  12. Kandel A, Byatt WJ: Fuzzy differential equations. Proceedings of International Conference on Cybernetics and Society 1978. Tokyo

    Google Scholar 

  13. Kaleva O: The Cauchy problem for fuzzy differential equations. Fuzzy Sets Syst. 1990, 35: 389-396. 10.1016/0165-0114(90)90010-4

    Article  MathSciNet  Google Scholar 

  14. Kaleva O: On the calculus of fuzzy valued mappings. Appl. Math. Lett. 1990, 3: 55-59.

    Article  MathSciNet  Google Scholar 

  15. Song SJ: Global existence of solutions to fuzzy differential equation. Fuzzy Sets Syst. 2000, 115: 371-376. 10.1016/S0165-0114(99)00046-9

    Article  Google Scholar 

  16. Wu CX, Song SJ, 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 

  17. Wu CX, Song SJ: Existence theorem of fuzzy differential equations under compactness-type condition. Inf. Sci. 1998, 108: 123-134. 10.1016/S0020-0255(97)10064-0

    Article  MathSciNet  Google Scholar 

  18. Buckley JJ, Feuring TH: Fuzzy differential equations. Fuzzy Sets Syst. 2000, 110: 43-54. 10.1016/S0165-0114(98)00141-9

    Article  MathSciNet  Google Scholar 

  19. Ding Z, Ming M, Kandel A: Existence of solutions of fuzzy differential equations. Inf. Sci. 1997, 99: 205-217. 10.1016/S0020-0255(96)00279-4

    Article  Google Scholar 

  20. Gasilov N, Amrahov SE, Fatullayev AG: Solution of linear differential equations with fuzzy boundary values. Fuzzy Sets Syst. 2014, 257: 169-183.

    Article  MathSciNet  Google Scholar 

  21. Karpenko D, Gorder RAV, Kandel A: The Cauchy problem for complex fuzzy differential equations. Fuzzy Sets Syst. 2014, 245: 18-29.

    Article  Google Scholar 

  22. Lakshmikantham V, Mohapatra RN: Basic properties of solutions of fuzzy differential equations. Nonlinear Stud. 2000, 8: 113-124.

    MathSciNet  Google Scholar 

  23. Li JX, Zhao AM, Yan JR: The Cauchy problem of fuzzy differential equations under generalized differentiability. Fuzzy Sets Syst. 2012, 200: 1-24.

    Article  MathSciNet  Google Scholar 

  24. Nieto JJ: The Cauchy problem for continuous fuzzy differential equations. Fuzzy Sets Syst. 1999, 102: 113-124. 10.1016/S0165-0114(98)00208-5

    Article  Google Scholar 

  25. Puri ML, Ralescu DA: Differentials of fuzzy functions. J. Math. Anal. Appl. 1983, 91: 552-558. 10.1016/0022-247X(83)90169-5

    Article  MathSciNet  Google Scholar 

  26. Hukuhara M: Intégration des applications mesurables dont la valeur est un compact convexe. Funkc. Ekvacioj 1967, 10: 205-223.

    MathSciNet  Google Scholar 

  27. Mareš M: Addition of fuzzy quantities: disjunction-conjunction approach. Kybernetika 1989, 25: 104-116.

    MathSciNet  Google Scholar 

  28. Mareš M: Additive decomposition of fuzzy quantities. Fuzzy Sets Syst. 1992, 47: 341-346. 10.1016/0165-0114(92)90299-J

    Article  Google Scholar 

  29. Jamison, KD: A normed space of fuzzy number equivalence classes. UCD/CCM Report No. 112, October (1997)

    Google Scholar 

  30. Panda G, Panigrahi M, Nanda S: Equivalence class in the set of fuzzy numbers and its application in decision-making problems. Int. J. Math. Math. Sci. 2006, 35: 741-765.

    MathSciNet  Google Scholar 

  31. Wu CX, Zhao Z:Some notes on the characterization of compact sets of fuzzy sets with L p metric. Fuzzy Sets Syst. 2008, 159: 2104-2115. 10.1016/j.fss.2007.11.010

    Article  MathSciNet  Google Scholar 

  32. Hong D, Do H: Additive decomposition of fuzzy quantities. Inf. Sci. 1996, 88: 201-207. 10.1016/0020-0255(95)00163-8

    Article  MathSciNet  Google Scholar 

  33. Qiu D, Lu CX, Zhang W, Lan YY: Algebraic properties and topological properties of the quotient space of fuzzy numbers based on Mareš equivalence relation. Fuzzy Sets Syst. 2014, 245: 63-82.

    Article  MathSciNet  Google Scholar 

  34. Qiu, D, Zhang, W, Lu, CX: On fuzzy differential equations in the quotient space of fuzzy numbers. Fuzzy Sets Syst. (2014, submitted)

    Google Scholar 

  35. Kolmogorov AN, Fomin SV: Introductory Real Analysis. Dover, New York; 1975.

    Google Scholar 

  36. Dubois D, Prade H: Fuzzy Sets and Systems. Academic Press, New York; 1980.

    Google Scholar 

  37. Zadeh LA: The concept of a linguistic variable and its application to approximate reasoning - I. Inf. Sci. 1975, 8: 199-251. 10.1016/0020-0255(75)90036-5

    Article  MathSciNet  Google Scholar 

  38. Zadeh LA: The concept of a linguistic variable and its application to approximate reasoning - II. Inf. Sci. 1975, 8: 301-357. 10.1016/0020-0255(75)90046-8

    Article  MathSciNet  Google Scholar 

  39. Zadeh LA: The concept of a linguistic variable and its application to approximate reasoning - III. Inf. Sci. 1975, 9: 43-80. 10.1016/0020-0255(75)90017-1

    Article  MathSciNet  Google Scholar 

  40. Dubois D, Prade H: Gradual elements in a fuzzy set. Soft Comput. 2008, 12: 165-175.

    Article  Google Scholar 

  41. Fortin J, Dubois D, Fargier H: Gradual numbers and their application to fuzzy interval analysis. IEEE Trans. Fuzzy Syst. 2008, 16: 388-402.

    Article  Google Scholar 

  42. Dubois D, Fargier H, Fortin J: The empirical variance of a set of fuzzy intervals. In Proc. of the 2005 IEEE Int. Conf. on Fuzzy Systems (FUZZ-IEEE 2005). IEEE Press, New York; 2005:885-890. Reno, Nevada, 22-25 May

    Chapter  Google Scholar 

  43. Dubois D, Kerre E, Mesiar R, Prade H: Fuzzy interval analysis. The Handbooks of Fuzzy Sets. In Fundamentals of Fuzzy Sets. Edited by: Dubois D, Prade H. Kluwer Academic, Boston; 2000:483-581.

    Chapter  Google Scholar 

  44. Jamison, KD: Modeling uncertainty using probabilistic based possibility theory with applications to optimization. Doctoral thesis, University of Colorado at Denver (1998)

    Google Scholar 

  45. Jamison KD: Possibility as cumulative probability and a normed space of congruence classes of fuzzy numbers motivated by an expected utility functional. Fuzzy Sets Syst. 2000, 111: 331-339. 10.1016/S0165-0114(98)00135-3

    Article  MathSciNet  Google Scholar 

  46. Lakshmikantham V, Leela S I. In Differential and Integral Inequalities. Academic Press, New York; 1996.

    Google Scholar 

Download references

Acknowledgements

This work was supported by The National Natural Science Foundations of China (Grant Nos. 11201512 and 61472056) and The Natural Science Foundation Project of CQ CSTC (cstc2012jjA00001).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Dong Qiu.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Qiu, D., Lu, C., Zhang, W. et al. Basic theorems for fuzzy differential equations in the quotient space of fuzzy numbers. Adv Differ Equ 2014, 303 (2014). https://doi.org/10.1186/1687-1847-2014-303

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2014-303

Keywords