Ramezanadeh et al. Advances in Difference Equations (2015) 2015:338 DOI 10.1186/s13662-015-0671-8

0 Advances in Difference Equations

a SpringerOpen Journal

RESEARCH

Open Access

On the interval differential equation: novel solution methodology

Mohadeseh Ramezanadeh*, Mohammad Heidari, Omid Solaymani Fard and Akbar Hashemi Borzabadi

CrossMark

"Correspondence: ramezanzadeh2@ymail.com Schoolof Mathematics and Computer Science, Damghan University, Damghan, Iran

Abstract

In this study, by a parametric representation of interval numbers, two parametric representations for interval-valued functions are presented. Then, using these representations, the calculus of interval-valued functions and interval differential equations are investigated with two different approaches. In the first approach, the interval differential is transformed into a crisp problem. In the second approach, two solutions are obtained with the characterization of the solutions of two ordinary differential equation systems.

Keywords: interval arithmetic; interval-valued function; interval differential equation

ft Spri

ringer

1 Introduction

The interval-valued analysis and interval differential equations are specific cases of set-valued analysis and set differential equations, respectively [1-3]. Interval analysis is introduced as an attempt to handle interval uncertainty, while interval differential equations are natural models for describing dynamic systems under uncertainty, and this approach is useful in many applications areas, such as physics and engineering [4, 5]. As in classical real analysis, the importance of the derivative of an interval-valued function in the study of interval differential equations is well known. On the other hand, the inversions of addition and multiplication are fundamental in interval arithmetic, interval analysis, and the concept of interval differentiability.

In interval arithmetic, standard Minkowski addition and multiplication are not invert-ible operations, and the idea of finding some inverse operations has been a field that has long been of interest [6-8]. The Hukuhara difference, which was introduced by Hukuhara in [8], has been a starting point for this purpose, which exists under restrictive conditions; for more details, see [6]. To overcome this shortcoming, Stefanini and Bede [6] proposed the generalized Hukuhara difference of two interval numbers, which has a large advantage over the peer concept, namely, that it always exists. In a similar discussion, the concept of Hukuhara derivative is extended to the generalized Hukuhara derivative. The same remark holds if the concept of differentiability for differential equations in the interval setting is regarded. The diameter of the solution of an interval differential equation with a Hukuhara derivative is a nondecreasing function with respect to (w.r.t.) time [9]. The generalized Hukuhara differentiability for an interval-valued function allows us to obtain the solutions to interval differential equations with a decreasing diameter [6, 7].

© 2015 Ramezanadeh et a l. This article is distributed under the terms of the Creative Commons Attribution 4.0 InternationalLicense (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use,distribution, and reproduction in any medium, provided you give appropriate credit to the originalauthor(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Recently, several studies [6,10] have been performed on generalized Hukuhara differentiability.

A key point in our investigation is the parametric representations for interval numbers. By this notation, interval arithmetic operations are defined, and two parametric representations for interval-valued functions are expressed. The results are applied to introduce the concepts of the derivative and integral of interval-valued functions. Additionally, several properties of the new concepts are investigated and compared with other recently presented results. Moreover, the relationship between the new interval derivative and the interval integral is studied, and Newton-Leibniz type formulas are nontrivially extended to the interval case. Finally, an application to solve interval differential equations is shown in two different aspects: in the first approach, the interval problem has a unique solution, which is obtained by solving an ordinary differential equation, and the results in the second approach are equivalent to the obtained results using the gH-differentiability concept. Furthermore, the existence and uniqueness of the solutions are discussed.

This paper is organized in five sections. In Section 2, the parametric representations of interval numbers are defined, and interval arithmetic operations are presented. The interval-valued functions in the parametric form and their properties, derivatives, integrals and the relations between them are studied in Section 3. Section 4 describes an application of the new results to interval differential equations, and the paper ends with conclusions in Section 5.

2 Arithmetic of intervals

In this section, some basic definitions and existing arithmetic operations between intervals in the parametric form are presented. Let Kc be the space of nonempty compact and convex sets of R, i.e.,

Kc = {[a, b] | a, b e R and a < b}.

Suppose A = [a, a] e Kc, where a and a mean the lower and upper bounds of A, respectively. Obviously, two parametric representations for any A e Kc can be considered:

i. A = {a(t) | a(t) = a + t(a - a), t e [0,1]} (increasing representation or IR),

ii. A = {a(t) | a(t) = a + t(a - a), t e [0,1]} (decreasing representation or DR).

Definition 2.1 Let {a(t) 11 e [0,1]} and {b(t) 11 e [0,1]} be the IRs (DRs) of A = [a, a] and B = [b, b], respectively, and X be a real number. The parametric arithmetics in Kc can be defined as

1. A 0B = {a(t1) + b(t2) 111, t2 e [0,1]},

2. A <g>B = {a(t1)b(t2) 111, t2 e [0,1]},

3. A 0B = {a(t1)/b(t2) | b(t2) =0,t1, t2 e [0,1]},

4. X © A = {Xa(t) 11 e [0,1]},

5. A QPB = {a(t)-b(t) 11 e [0,1]},

6. A = B ^ {a(t) 11 e [0,1]} = {b(t) 11 e [0,1]}.

Remark 2.2 Note that if A has IR (DR) and X > 0, then X © A has IR (DR), and if A has IR (DR) and X < 0, then X © A has DR (IR). Moreover, if a(t) - b(t) is an increasing (a decreasing) function, then A QpB has IR (DR).

Remark 2.3 By Definition 2.1, two intervals A and B are equal if and only if a(t) = b(t), for all t e [0,1].

Example 2.1 Assume that A = [-1,2] and B = [1,5]. According to IR

A = {-1 + 3t 11 e [0,1]}, B = {1 + 4t 11 e [0,1]}, and thus

1. A 0B = {(-1 + 3ti) + (1 + 4t2) | ti, t2 e [0,1]} = {3ti + 4t2 | ti, t2 e [0,1]}, because 3ti + 4t2 is a continuous function w.r.t. t1, t2,

A 0 B = [mint1,t2 3ti + 4t2, maxt1,t2 3ti + 4t2] = [0,7],

2. A < B = {(-1 + 3ti)(1 + 4t2) | ti, t2 e [0,1]} = [-5,10], because of continuity of the function -1 - 4t2 + 3t1 + 12t1t2 w.r.t. t1, t2,

3. A 0 B = {(-1 + 3ti)/(1 + 4t2) | ti, t2 e [0,1]} = [-1,2],

4. -2 © A = {-2(-1 + 3t) 11 e [0,1]} = {2 - 6t 11 e [0,]}, due to the decreasing function 2 - 6t and DR, -2 © A = [-4,2],

5. A QPB = {(-1 + 3t) - (1 + 4t) 11 e [0,1]} = {-2-111 e [0,1]} = [-3,-2],fromDR,

6. B QPA = {(1 + 4t) - (-1 + 3t) 11 e [0,1]} = {2 + 111 e [0,1]} = [2,3], from IR.

If X = -1, then the interval (-i)A gives the additive inverse of A, which is denoted by -A, where -A = {-a(t) | t e [0,1]}. Note that, generally, A 0 (-i)A = {0}. Therefore, another difference, A - B = A 0 (-1)B, which is constructed with the following parametric form, can be defined:

A - B = {a(ti)-b(t2) | a(ti) = a + ti(a - a), bfe) = b + t2(b - b), ti, t2 e [0,1]}. Because a(t1) - b(t2) is a continuous function w.r.t. t1 and t2, we have A - B = min (a(t1)-b(t2)), max (a(t1)-b(t2))

Ltbt2e[0,1]v ' ti,t2e[0,1] '.

If A = [a, a] andB = [b, b], then a(t1) - b(t2) =a - b + ti(a - a)-t2(b - b), thus

min (a(tl) - b(t2)) = a - b -(b - b) = a - b ti,t2e[0,l]v 7

max (a(tl) - b(t2)) = a - b + (a - a) = a - b.

ti,t2e[0,l]v 7

Hence, A - B = [a - b, a - b], which is the same as the Minkowski difference [ll]. Note that, in general, (A ® B)-B = A, while this equality is valid for the parametric difference.

Remark 2.4 Obviously, A QpB = A - B and B QpA = B - A, whenever A e R and B e Kc.

Proposition 2.5 The parametric difference Qp has the following properties:

(i) A QpA = {0},

(ii) A QpB = -(BQpA),

(iii) (A 0 B) QpB = A, A Qp (A 0 B) = -B, A Qp (A - B)=B,

(iv) A QpB = B QpA if and only if C = -C and A QpB = C, and particulary C = {0} if and only if A = B,

(v) A e (B QpA) =B or B-(B QpA) = A,

(vi) if A Qp B has IR (DR) and A QpB = C, then A Qp C = B (A - C = B),

(vii) if A - B = C, then A Qp C = B.

Proof Suppose A = [a, a] = {a(t) | a(t) = a + t(a - a)} and B = [b, b] = {b(t) | b(t) = b + t(b - b)}. Property (i) is an immediate consequence of Definition 2.1. To prove (ii), one has to show that

{a(t) - b(t) 11 e [0,1]} = {-(b(t) - a(t)) 11 e [0,1]},

which can be obtained as

{«(t)-b(t) 11 e [0,1]} = {a + t(a - a)-b - t(b - b) 11 e [0,1]}

= {-(b - a - t(a - a) + t(b - b)) 11 e [0,1]} = {-(b + t(b - b)-(a + t(a - a))) 11 e [0,1]}

= {-(b(t)-a(t)) 11 e [0,1]}.

The first part of (iii) is evidently proved by

(A0B)QpB = {a + b + t((a+b)-(«+b))-b-t(b-b) 11 e [0,1]} = {«(t) 11 e [0,1]} = A.

The second part of (iii) follows from a similar argument. To prove the third part, it is sufficient to note that A - B = [a - b, a - b]. To denote the first part of (vi), suppose A QpB = B Qp A; then by Definition 2.1

{a(t) - b(t) 11 e [0,1]} = {b(t) - a(t) 11 e [0,1]}.

On the other hand, A QpB = C, and thus it follows that {c(t) | t e [0,1]} = {-c(t) | t e [0,1]}. This gives C = -C, which proves our assertion, and because of property (ii) the reverse holds true. For the second part of (vi), from C = {0} and A Qp B = C, it can be concluded that {a(t) - b(t) 11 e [0,1]} = {0}, and thus, by Remark 2.3, it can be deduced that a(t) - b(t) = 0 and a(t) = b(t), for all t e [0,1]. Hence,

{a(t) 11 e [0,1]} = {b(t) 11 e [0,1]},

which shows A = B. Conversely, let A = B; thus by property 1, C = A QpB = {0}.To deduce (v), if B QpA has IR then A 0 (B Qp A)= B, and if it has DR, then B -(B QpA)= A. Next, let us to prove (vi). First, consider that A QpB = C has IR thus C = A QpB = {c(t) | c(t) = a(t) - b(t) =a - b + t(a - a - b - b)}, where a - a - b - b is positive. Therefore,

A Qp C = {a(t) - c(t) 11 e [0,1]}

= {a + t(a - a)- a - b + t(a - a - b - b)) 11 e [0,1]} = {b + t(b-b) 11 e [0,1]} = B.

With a similar argument as above, one can prove the second case. To see (vii), assume that A - B = C. Thus, C = [a - b, a - b], and by Definition 2.1

A QPC = {a(t) - c(t) 11 e [0,1]}

= {a + t(a - a) - (a - b + t(a - b - a + b)) 11 e [0,1]} = {b + t(b - b) 11 e [0,1]} = B.

The last equality follows from DR of B. □

Stefanini [11] proposed a generalization of the Hukuhara difference for interval numbers, namely gH-difference. In the next preposition, it will be shown that the concepts of gH-difference and parametric difference are equivalent. So the parametric difference is equivalent with the concept of difference defined by Markov [12] and with n-difference [13].

Proposition 2.6 The parametric difference is equivalent to the gH-difference.

Proof Let A = [a,a], B = [b, b], and C = [c,c] = A Qp B. It is sufficient to show that c = min{a - b, a - b} and c = max{a - b, a - b}. There are two cases, which are dependent on whether the function a(t)-b(t) = a - b + t(a - a - b - b) is increasing or decreasing w.r.t. t.

1. In the increasing case, we have a - b > a - b and by IR, and thus

c = a - b = min{a - b, a - b},

c - c = a - a - b + b ^ c = a - b = max{a - b, a - b}.

2. In the decreasing case, we have a - b < a - b and by DR, it can be concluded that

c = a - b = max{a - b, a - b},

c - c = a - a - b + b ^ c = a - b = min{a - b, a - b}, which is the desired conclusion. □

Proposition 2.7 For any two intervals A,B e Kc, the parametric difference A QpB = C always exists and is unique.

Proof Clearly, from the definition of a parametric difference

C = {a(t)-b(t) | a(t)-b(t) = a - b + t(a - b-(a - b)), t e [0,1]}.

First, suppose that a(t) - b(t) be an increasing function. Then a - b > a - b and by Remark 2.2 the interval number C has IR and C = [a - b, a - b], which is a unique interval in Kc. Secondly, suppose a(t) - b(t) be a decreasing function then the assertion can be proved in a similar way. □

For arbitrary intervals A,B e Kc, the metric D: Kc x Kc ^ R+ U {0} is defined as

D(A,B) = ma^min|a(t) - b(t)|,max|a(t) - b(t)^, (1)

where A = {a(t) | a(t)=a + t(a - a), t e [0,1]} and B = {b(t) | b(t) = b + t(b - b), t e [0,1]}.

Proposition 2.8 (Kc, D) is a complete metric space that have following properties:

1. D(A 0 C,B 0 C)=D(A,B),

2. D(XA,XB) = |X|D(A,B),

3. D(A 0 B, C 0 E) < D(A, C) + D(B,E),

4. D(A,B)=D(A QpB, {0}).

Proof We prove only the final part; the other parts are trivial. Suppose

D(A Qp B, {0}) = maxjmin|c(t)|,max|c(t)|},

where C = A QpB and c(t) is IR of C. If a(t) - b(t) is an increasing function, then c(t) = a(t) - b(t) and D(A Qp B, {0}) = D(A,B). If a(t) - b(t) is a decreasing function, then

max | c(t) | = min |a(t) - b(t) |, min | c(t) | = max | a(t)- b(t) |,

andD(A QpB, {0})=D(A,B). □

The Hausdorff distance between two intervals A = [a, a], B = [b, b] is defined as follows (see [6]):

dh(a,b) = {|a - bi a - b^

Proposition 2.9 The Hausdorff distance is equivalent to the metric D in (1).

Proof The proof is clearly depending on whether a(t)- b(t) is an increasing or a decreasing function. □

3 Parametric representation of interval-valued function

Let F: T c R ^ Kc be an interval-valued function with lower bound f and upper bound f, i.e., F(x) = f (x),f (x)]. Then it is trivial to see that a parametric representation of F(x) is

An interval-valued function with real independent variable and interval coefficients is special case of F: T c R ^ Kc. Using IRs of coefficients, it is possible to write this function as a set of classical functions. As an example, consider F(x) = [-2,3] O x 0 [-3, -1] O x2 <g> e[1,4]0x 0 sin([3,6] O x). If C4 = ([-2,3], [-3,-1], [1,4], [3,6])T is a column vector in (Kc)4, whose elements are intervals which, respectively, appear in the function F, then by IRs

C4 = {(-2 + 5t1, -3 + 2t2,1 + 3t3,3 + 3t4)T 11 = (t1, t2, t3, t4) e [0,1]4}. Hence, F(x) can be redefined as

f (x) + tf (x)-f (x)) 11 e [0,1^.

Fc4(x) = {/c(t)(x) |fc(t)(x) = (-2 + 5t1)x + (-3 + 2t2)x2e(1+3t3)x + sin((3 + 3t4)x); c(t) e C4}.

In the light of the concept of this example, if Ckv e (Kc)k denotes the intervals that are presented in an interval-valued function, then another parametric representation for this class of function, i.e., Frv: T c R ^ Kc, can be written as

FCv(x) = |/c(t)(x) |/c(t): T c R ^ R; c(t) e <}, (3)

where Ckv = {c(t) | c(t) = (ci(ii),c2(t2),...,cv(tv))T;jtj) = Cj + tj(cj - Cj),t = (ti,t2,...,tv) e [0, l]v}. Clearly,/c(t)(x) is a continuous function in t for every fixed x.

Note that the parametric variables tj, j = 1,2,..., k in (3) are real numbers in the interval [0,1]; however, the parameter t in (2) is a function of x, i.e., t: R ^ [0,1]. For more precise look, consider the interval-valued function FC2 (x) = [1,2] O x ® [2,4] © x2, 0 < x <2. By (2) and (3), two parametric representations can be considered:

FC2 (x) = {x + 2x2 + t(x + 2x2) 11 e [0,1]}, (4)

Fc2 (x) = {(1 + t1)x + (2 + 2t2)x2 11 = (t1, t2) e [0,1]2}, (5)

respectively. By putting t1 = 0 and t2 = 1 in (5), the function x + 3x2 is obtained, while this

function can be acquired by setting t = xxxi in the representation (4).

Next, by the parametric representations (2) and (3), some concepts such as limit, continuity, derivative, and integral for interval-valued functions will be defined in a parametric form. Using these concepts, interval differential equations will be studied by two approaches. Considering the parametric representation (2), the results in [6,10] are obtained, as we expected.

Definition 3.1 Let F: T c R ^ Kc be an interval-valued function and x0 e T. L e Kc is the limit of F at x0, if for every e >0, there exists S >0 such that D(F(x), L) < e, whenever |x - x01 < S and it is denoted by limx^x0 F(x) = L.

Proposition 3.2 For an interval-valued/unction F: T c R ^ Kc, lim F(x) = L ^ lim (F(x) ©„ L) = {0}.

Proof It can be proved from Definition 3.1 and Proposition 2.8. □

From the definition of limit for interval-valued functions, it is clear that F: T c R ^ Kc is continuous at point x0 e T, if limx^x0 F(x) = F(x0). Furthermore, F is continuous on T if it is continuous at any point in T.

Proposition 3.3 Suppose FCv: T c R ^ Kc be an interval-valued/unction and

Fck (x) = {/c(t)(x) |/c(t): T c R ^ R, c(t) e Ck}. I/ limx^x0 /c(t) (x) exists/or every c(t) e Ck, then limx^x0 FCv (x) exists and

lim FCv (x) = {lim /c(t)(x) I /c№ : T c R ^ R, c(t) e C^}.

v 1x^x0 J

Moreover, FCk (x) is continuous at x0, if for every c(t) e Ckv the function fC(t) is continuous atx0.

Proof Assume that limx—x0fc(t)(x) = a(t) for every c(t) e CV. Thus, for every t e [0,1]k, it can be concluded that

Ve >0,35 > 0, 0 < |x - xo| < S ^ |fC(t)(x) - a(t) | < e. (6)

Because of continuity offc(t) and a(t) in t, there exist t', t" e [0,1]k such that

mtinfc(t)(x) -a(t)| = fc(t')(x)-a(t')|, max^c(t)(x) -a(t)| = fc(t")(x)-a(t")|.

By (6), for all e >0, there exist Si, S2 > 0, such that

0 < |x - x01 < S1 ^ [fC(t')(x) - a(t/)| < e, 0 < |x - x01 < S1 ^ fc(t")(x)-a(t'')| < e.

Next, by choosing S = min{S1, S2},

D(FCk (x), A = max|min|/C(t)(x)-«(t)|, maxfc(t)(x)-a(t)|J < e,

whenever 0 < |x - x0| < S and A = [mint a(t), maxt a(t)]. Because e is arbitrary, this means that limx—x0 FCk (x) = A, which is due to Definition 3.1. In the same manner, it can be proved that the interval-valued function FCk is continuous at x0, when for every c(t) e C the functionfc(t) is continuous at x0. □

Proposition 3.4 If FCk (x) is continuous at x0 e T and FCk (x) = yC(t)(x) | fc(t) : T c R — R, c(t) e CV}, then for all t e [0,1]k, fc(t)(x) is continuous atx0.

Proof Let FCk (x) be continuous at x0. By the definition of continuity and Proposition 3.2 lim Frk (x) = Frk (x0)

x—>x0 Cv Cv

^ lim (FCk (x) ©„ FCk (x0)) = {0}

xixo Cv Cv '

^ {lim (/c(t)(x) -fc(t)(xo)) ft) : T ç R i R,c(t) e Cj} = {0}.

lx >xo j

Hence, for every c(t) e Ckv,

xlim fc(t)(x) -fc(t)(xo)) = 0, and finally

lim fc(t)(x) =fc(t)(xo),

which is the desired conclusion. □

Remark 3.5 Let F(x) = {/(x) + t(/(x) -/(x)) | t e [0,1]} be a continuous function at xo. Then, similar to Proposition 3.4, one can prove that/(x) and/(x) are continuous functions at x0.

Markov defined the differential calculus for interval-valued function F(x) including differentiability [12,14]. In these forms an interval-valued function is expressed as its boundary function/(x) and/(x). So the existence of its derivative depends upon the existence of the derivative of the boundary functions. In the following definition, the concept of p-derivative for an interval-valued function will be defined, which depends upon the existence of the derivative of/c(t)(x) for every value t.

Definition 3.6 The p-derivative of an interval-valued function F : (a, b) ^ Kc at x0 e (a, b) is denoted by F'(x0) and is defined as

F'(x0) = lim 1 [F(x0 + h) ©p FCv (x0)l, (7)

where h is such that x0 + h e (a, b). In this case, F is called p-differentiable at x0.

Proposition 3.7 The interval-valued/unction FCv : (a, b) ^ Kc with the parametric representation FCv (x) = {/c(t)(x) | /c(t): (a, b) ^ R, c(t) e Ck} is p-differentiable atx0 e (a, b) i/ /or every t e [0,1]k,/c(t) is differentiable atx0 and additionally

FCk(x0) = ^(x0) |/c(t): (a, b) ^ R;c(t) e Ck}.

Proo/ By Definition 2.1

FCk (x0 + h) ©pFCv(x0) = /c(t)(x0 + h) -/c(t)(x0) |/c(t): (a, b) ^ R; c(t) e C^}.

Because/c(t)(x) is differentiable at x0, limh^0 /c(t)(x0+h;)'/"c(t)(x0) exists. Hence, by Proposi-

FCk (*0+h)©pFCk (x0)

tion 3.3, limh^0 —-h-v— exists and using Definition 3.6

FCk (x0 + h) ©pFCk (x0) FCk (x0) = lim -—^-

CV h^0 h

/c(t)(x0+ h)^_fc(t)(x0) f r TO, (tx r'k

m--- /c(t): (a, b) ^ R; c(t) e Ck

| h^0 h

= {/c'(t)(x0) |/c(t):(a, b) ^ R; c(t) e Ck}, which proves the proposition. □

The converse ofProposition 3.7 is not true, i.e., itis possible that FCk (x) is p-differentiable at given point x0 whenever for every t e [0,1]k, the function/c(t) is not differentiable at x0. For example, assume that FCi(x) = [-2,2] Og(x), where g: R ^ R is a real-valued function such that

. | x, x > 0,

g(x) = n

-x, x < 0.

Obviously, FCi (x) is p-differentiable at x0 = 0 and due to Definition 3.6

FC i(0) = lim

. Fci(h) ©pFci(0)

I lim fcitW-um I h^0 h

(-2 + 4t)(x), x > 0, fc(t)(x)= (-2 + 4t)(-x), x <0; t 6 [0,1]

= I fc(t)(x) fc(t)(x) =

-2 + 4t, x > 0, 2 - 4t, x <0;

t 6 [0,1] = [-2,2].

fc(t) =

(-2 + 4t)(x), x > 0, (-2 + 4t)(-x), x <0,

is not differentiable at 0 for every 16 [0,1].

In the next proposition, the relationship between gH-differentiability concept [6] and p-differentiability is expressed.

Proposition 3.8 If functions f andf are differentiable at x0, then the interval-valued function F : (a, b) ^ Kc with F(x) = f (x) + t(f (x) -f (x)) | t 6 [0,1]} is p-differentiable at x0, and F'(x) = f'(x) + t(f(x) -f(x)) | t 6 [0,1]}. Moreover, in this case, the concepts of p-differentiability and gH-differentiability are equivalent.

Proof It can be deduced that

f (x0 + h) + t(f (x0 + h) -f (x0+ h))-f (xa)-t(f (x0)-f (x0)) F (x0) = lim =-=---=-=-

I h^0 h

f (x0 + h)-f (x0) f (x0 + h)-f (x0)

= {lim =--—=-+ t lim---

|h^0 h h^0 h

16 [0,1]

f (x0 + h) -f (x0) - t lim =--—=-

16 [0,1]

= f '(x0) + tf W-/'M 116 [0,1]}.

Next, iff (x0) -f'(x0) > 0, then by IR

F'(x0) = |f'(x0),/(x0)],

that is consistent with (i)-gH-differentiability. Iff (x0) -f'(x0) < 0, then by DR

F'(x0) = f (x0),/(x0)], which is in accordance with (ii)-gH-differentiability.

Remark 3.9 Due to the definition of the interval derivative (7) and two parametric representations (2) and (3) for interval-valued functions, in general, it cannot be expected

that the derivative of an interval-valued function be equal based on these representations. This outcome occurs because the derivative for representation (3) is calculated regardless of the sign of the independent variable x, while the derivative for representation (2) depends on the sign of x. For example, consider the interval-valued function Fc2 (x) = [-1,2] © x © [2,4] ex, x e [-2,5]. By the parametric representation (3), FC2 (x) can be written as FC2 (x) = {(-1 + 3t1)x + (2 + 2t2)ex 111, t2 e [0,1]}, and it is possible to calculate its p-derivative from Proposition 3.7 as

FC2 (x) = {(-1 + 3t1) + (2 + 2t2)ex 111, t2 e [0,1]}

= [-1,2] © [2,4] © ex = [-1 + 2ex, 2 + 4ex]. (8)

Next, by the parametric representation (2), it follows that

-2 < x < 0, 0 < x < 5,

-2 < x < 0, 0 < x < 5

which is different from (8).

According to Proposition 3.8, two cases corresponding to increasing and decreasing representations are distinguished for the definition of p-differentiability.

Definition 3.10 Suppose that F: (a, b) ^ Kc is an interval-valued function with parametric representation F = {/(x) + t(/(x) -/(x)) 11 e [0,1]}. Then F is (i)-p-differentiable at x0 if " "

F'(x0) = {/>0) + t(/'(x0) -f(x0)) 11 e [0,1]}, (9)

and it is (d)-p-differentiable at x0 if

F'(x0) = j/^) + t/'fo)-J'(x0)) 11 e [0,1]}. (0)

The concept of a switching point can be extended by the above definition.

Definition 3.11 A point x0 e (a, b) is said to be a switching point for the differentiability of interval-valued function F, if in any neighborhood N of x0 there exist points x1 < x0 < x2 such that

(type I) at x1 (9) holds, while (10) does not hold and at x2 (10) holds and (9) does not hold, or

{2x + 2e* + t(2ex -3x) 11 e [0,1]},

FC2 (x) = <

C2 {-x + 2ex + t(2ex + 3x) 11 e [0,1]},

and its derivative is given by

F, \ {2 + 2ex + t(2ex-3)| t e [0,1]}, C2(x) [ {-1 + 2e* + t(2ex + 3) 11 e [0,1]},

= J [-1 + 4ex, 2 + 2ex], -2 < x < 0, = | [-1 + 2ex,2 + 4ex], 0< x < 5,

(type II) at (10) holds, while (9) does not hold and at x2 (9) holds and (10) does not hold.

Remark 3.12 Using Definition 3.11 and Proposition 3.8, it is easy to find switching points. For this purpose, it is sufficient to determine the sign off - f in the parametric representation ofF'. More precisely, iff(x) -f'(x) is positive for x < xo and negative for x > x0, then xo is a switching point of type I; and xo is a switching point of type II, if f(x) -f'(x) is negative for x < xo and positive for x > xo.

Example 3.1 Let us consider the interval-valued function FCi : (-10,10) ^ Kc defined by (see Figure 1(a))

Fcl (x) = [2,4] © ( cos(x) - |A

Clearly,

f (x) =

f (x) =

4 cos(x) - x2 8 , -10 < x <-1.5004,

2 cos(x) - x2 16 , -1.5004 < x <1.5004,

4 cos(x) - x2 8 , 1.5004 < x <-10,

2 cos(x) - x2 16 , -10 < x <-1.5004,

4 cos(x) - x2 8 , -1.5004 < x <1.5004,

2 cos(x) - x2 16 , 1.5004 < x <-10.

By Remark 3.12 and determining the sign of

f (x)-f(x) =

2 sin(x) + |, -2 sin(x) - §, 2 sin(x) + |,

-10 < x < -1.5004, -1.5004 < x <1.5004, 1.5004 < x <-10,

which is represented in Figure 1(b), it can be deduced that x1 = -1.5004, x2 = 1.5004, x3 = -5.9052, x4 = 5.9052 are switching points of type II; and x5 = 0, x6 = -3.3527, x-] = 3.3527 are switching points of type I.

Finally, the concept of integral for an interval-valued function in terms of its parameters is introduced as follows.

Definition 3.13 For a given interval-valued function FCk : T c R ^ Kc with FCk (x) = {/c(t)(x} | /c(t) : T c R ^ R; c(t) e Ck} and an interval [a, p] c T, the definite integral fa FCk (x) dx is defined as

j FCk (x) dx /C(t) (x) dx /c(t) (x) is integrable w.r.t. x for every c(t) e CV |.

The mentioned issue in Remark 3.9 holds for the concept of a definite integral for interval-valued functions. See the following example.

Example 3.2 Consider FCj(x) = [-1,2] O (1 - x) 0 [-2,4] © (3 - x) and the interval of integration [0,4]. Then, by Definition 3.13,

/ [-1,2] © (1-x) 0 [-2,4] © (3-x)dx Jo

(-1 + 3ii)(l -x) + (-2 + 6t2)(3 - x) dx

ti, t2 e [0,1]

= {-4 - 12t1 + 24t2 111, t2 e [0,1]} = [-16,20], while by considering the parametric representation (2) for FC2 (x), it follows that

/ [-1,2] © (1-x) © [-2,4] © (3-x)dx

■■ J ((3x - 7) + t(21 - 9x)) dx + J (-4 + t(15 - 3x)) dx

f4 Í-41 90

+ J (14-6x + t(-21 + 9x^ dx =l — + — t t e [0

-41 49'

Proposition 3.14 A continuous interval-valued function F (x) is integrable. Proof The proof is an immediate consequence of Proposition 3.4 and Remark 3.5. □ The concept of definite integral satisfies following properties:

Proposition 3.15 Let F (x) and G(x) be two integrable interval-valued functions. Then:

1. ff F(x) dx = ¡Y F(x) dx + /jf F(x) dx; a < y < p,

2. /ap (aF(x) + bG(x)) dx = a /ap F(x) dx + b fp G(x) dx; a, b e R.

Proposition 3.16 LetFCk : T ç R ^ Kc be continuous. Then:

1. the function GDn (x) = /J FCk (z) dz ¿s p-differentiable, and G'Dn (x) = FCk (x),

2. the function HEm (x) = jxP FCk (z) dz is p-differentiable, and HE m (x) = -FCk (x).

Proof First, assume that

Gd« (x) = jf FcV (z) dz -{[ fc(t) (z) dz |fc(t) : T ^ R; c(t) e CkJ,

because of the continuity of Fck and Proposition 3.4, the function f^fc(t) (z) dz is differen-tiable for every t e [0, 1]k. Hence, according to Proposition 3.7, GDn (x) is p-differentiable, and

G'di (x) = fc(t)(x) | c(t) e Ck} = Fck (*)•

The second part is proved in the same way as the first one. □

In addition, Proposition 3.16 holds for the interval-valued function F (x) = f (x)+ tf (x)-f (x)) 11 e [0,1]}, by using Remark 3.5 and Proposition 3.8.

Proposition 3.17 If F (x) = f (x) + tf (x) - f (x)) | t e [0,1]} is p-differentiable with no switching point in the interval [a, i ], then

i F'(x) dx = F(i ) QpF(ct).

Proof By Definition 3.10, because there is no switching point, F is (i)-p-differentiable or (d)-p-differentiable in the interval [a, i]. Let F be (i)-p-differentiable (the proof for the (d)-p-differentiable case being similar), then

t e [0,1]

i F'(x) dx = J i f (x) + t(f (x) -f'(x))) dx

J a IJ a

= f OS) -f(a) + tf (fi)-f(a)-f (fi) +f(a)) | t e [0,1]} = F(S) Qp F(a),

which completes the proof. □

Theorem 3.18 Let F (x) = {f (x) + tf (x) -f (x))|t e [0,1]} be p-differentiable with n switching point at yi, i = 1,2,..., n, a = y0 < yi < y2 < ••• < yn < yn+i = S and exactly at these points. Then

n r /-y; /■ Ki+1

F (i ) ©p F (a) = / F'(x) dx ©p (-1W F'(x) dx

^ L Jyi-1 Jyi

Moreover,

rp n+1

/ F'(x) dx ^(F(Yi) ©pF(Yi-1^,

•/c i=1

and if F (y; ) is a real number for i = 1,2,..., n then F'(x) dx = F (i ) - F (a).

Proof To prove this, consider only one switching point, the case of a finite number of switching points follows similarly. Let F be (i)-p-differentiable on [a, y] and (d)-p-differentiable on [y,3]. Then, by Proposition 3.17,

r Y Ç 3

I F'(x) dx ©p (-1) / F'(x) dx

J a J y

= (f (y ) ©p F (a)) ©p (-!)( F (3 ) ©p F(Y) = (f (y ) ©p F (a)) ©p (F (Y ) ©p F (3 )) = {(f(Y) -f (a) + t(f(Y)-f (a) -f (y) +f(a)))

- (f (Y) -f_(3) + t((y ) -f (3) -f (y) +f (3))) 11 e [0,1]} = {(f(3) + t(f(3) -f(3))) - (f(a) + tf (a) -f(a))) 11 e [0,1]} = F(3) ©pF(a).

Additionally, by Proposition 3.15 and Proposition 3.17,

r 3 r Y r 3

I F'(x) dx = I F'(x) dx + / F'(x) dx

J a J a J y

= (F(y) ©pF(a)) + (F(3) ©p F(Y) .

If the values F(y;) at all the switching points yi, i = 1,2,...,« are real numbers, then by Remark 2.4

F\x) dx ^(F(Yt) QpF(y,_i)) i=l

= (F(P) - F(yk)) + (F(yK)-F(yK-i)) + •••

+ (F(y2)-F(yi)) + (F(yi) - F(a)) = F(P) -F(a). □

4 Interval differential equation

In this section, two approaches are proposed to find the solution of the interval differential equation. In the first approach, by using the parametric representation (3) and its corresponding definitions of the p-derivative and integral, the interval differential equation is converted to a crisp problem. The second follows from the notation of the p-derivative based on the parametric representation (2). It is noteworthy that the solutions obtained by the two approaches are distinctive.

4.1 The first approach

In this approach, the following interval differential equation is considered:

Y>K (x) = Fck (x, Ydk (x)), (ll)

Ydk (x0) = Yo,

where Y0 e Kc, Fck: [a, b] x Kc ^ Kc and Ydk : [a, b] ^ Kc.

Let {ya(t)(x) | ym : [a,b] ^ R;d(t) e D^}, {fcW(x,ydW(x)) | fcW) :[a,b] x R ^ R;c(t') e Ck} and {yQ + t"(y0 - yQ) | f e [0, l]} be parametric representations of YD; : [a, b] ^ Kc, Fck (x, Ydk (x)), and Y0, respectively. From definition of equality given in Definition 2.l, the differential equation (ll) can be considered as

{yd(t) (x) I yd(t): [a, b] ^ R; d(t) e DK}

= [/C(t')(x,yd(t) (x)) |fC(t'): [a, b] x R ^ R; c(t') e Ck}, {yd(t)(xo) |yd(t): [a,b] ^ R;d(t) e D^} = [yo + fy -yo) 1t" e [0,l]}.

By Remark 2.3, it follows that

yd(t) (x) =_/C(t;^ x, yd(t)(x^, (2)

yd(t)(x0) =y0 + i"(yo- y0).

Theorem 4.1 Letf: [x0, x0 + p] x B([yQ, y0], r) x B([0,l]k, q) ^ R be Lipschitz in its second and third variables; i.e.,

3Ll s.t. ||f (x,y, t') -f (x, w, t') | < Ll ||y - w||, 3L2 s.t. ||f(x,y,f) — f (x,y,s)|| < L2||t' -s||,

respectively. Then the initial valued problem

y (x) =f (x,y(x), t7), y(xo)=yo + i/'(yo- y0)

has a unique solution. Moreover, iff is continuous in t' then the solution y(x, t', t") is continuous in t and t".

Proof See [l5], Theorem 9.6, for the first part. The second part follows immediately from the continuity off and y(x0) w.r.t. t' and t", respectively. □

Let Ydk (x) and Fck (x, Ydk (x)) be interval-valued functions with parametric representations {yd(t)(x) | yd(t) : [a,b] ^ R;d(t) e DK} and fC(t')(x,yd(t)(x)) |fc(t') : [a,b] x R ^ R;c(t') e Ckv}, respectively. Suppose that/c(t)(x,yd(t)(x)) is Lipschitz in y and t/, because fc(t')(x,yd(t)(x)) andyd(t'')(x0) =yQ + t"(y0 -yQ) are continuous functions in t and t", respectively, by Theorem 4.l, problem (l2) has a unique solution yd(t)(x) =y(x, t', t"), which is a continuous function in t' and t". Therefore, mint',t« y(x, t', t") and maxt',t« y(x, t', t") exist, and

Ydk (x) = miny(x, t', t"), maxy(x, t', t") . (l3)

v Lt',t" t',t''

Example 4.1 Consider the following interval differential equation:

| YDn (x) = - Yd;; (x) © [l, 2] © sin(x), YdK(0) = [l,3], x e [0,6].

Its corresponding ordinary differential equation is

yd(t) (x) = -yd(t) (x) + (1 + f) sin(x), (15)

yd(t)(0) = 1 + 2t", t', t" e [0,1], x e [0,6].

The general solution (15) is provided by '- cos(x) + sin(x)N

, , (- C0s(x) + sin(x)\ -x

yd(t)(x) =1 + t ) I-2-) + cex,

and so the particular solution would be

a/- cos(x) + sin(x) + e x i , .rt x yd(t)(x) =1 + t') i-2-J + (1 + 2t")e .

Hence, the unique solution of interval differential equation (14) is obtained as

. , r„ /-cos(x) +sin(x)+e-x\ n x rD2 (x) = [1,2] © i- 2-) ® [1,3] ° e .

Moreover, by (13),

j [ -cosM+2in(x)+e-x + e - cos(x) + sin(x) + 4e-x], x e [0,3.941], Dn(x) [ [ -cos(x) + sin(x) + 4e-cos(x)+2in(x)+e-x + 3e -x], x e [3.941,6],

which is illustrated in Figure 2.

4.2 The second approach

Now, consider the interval differential equation

Y'(x)=F (x, Y (x)), (6)

Y (x0) = Y0,

where Y0 e Kc, F: [a, b] x Kc ^ Kc, and Y: [a, b] ^ Kc. By the parametric representation (2) and rewriting (16), two following systems are obtained from (9) and (10):

I. {y (x) + t(y'(x) - y'(x)) 11 e [0,1]} = f (x,y,y) + t(f(x,y,y) -f (x,y,y)) 11 e [0,1]}, {y(x0) + t(y(x0) -y(x0)) 11 e [0,1]} = {y0 + t(y0 -y0) 11 e [0,1]},

II. {y (x) + t(y(x) -y (x)) 11 e [0,1]} = f (x,y,y) + t(f(x,y,y) -f (x,y,y)) 11 e [0,1]}, {y(x0) + t(y(x0) -y(x0)) 11 e [0,1]} = {y0 + ty -y0) 11 e [0,1]}.

Hence, for fixed x, two systems can be deduced as follows:

y'(x) =f(x, y(x), y(x)), y'(x) =f (x, y(x), y(x)),

y'(x) =f (x, y(x), y(x)), y (x) =f (x, y(x), y(x)),

Theorem 4.2 LetF : [x0, x0+ p] x B(Y0, r) ^ Kc be nontrivial and continuous. If F satisfies the Lipschitz condition D(F (x, Y), F (x, Z)) < LD(Y, Z) for all (x, Y), (x, Z) e [x0, x0 + p] x B( Y0, r), then the interval differential equation

Y'(x) = F (x, Y (x)), (9)

Y (xo) = Yo,

y(x0)=y0, y(xo) = yo,

y(xo) = y(xo) = yo.

is equivalent to the union of the systems (17) and (18) on some interval [x0, x0 + p]. Here, the equivalence means that Y = [y, y] : [x0, x0 + p] ^ Kc is a solution of (19) if and only if (y, y) : [x0, x0 + p] ^ R2 is a solution of one of the problems (17) or (18).

Proof See [6].

Example 4.2 Consider interval differential equation (l4), for x e [0,6]. The corresponding systems are

-y(x) +sin(x), 0 < x < n, -y(x) + 2 sin(x), n < x < 6, -y(x) + 2 sin(x), 0 < x < n,

-y(x) + sin(x), n < x < 6, y(o) = 1, y(o) = 3,

y'(x) = y'(x) =

-y(x) +sin(x), o < x < n, -y(x) + 2 sin(x), n < x < 6, -y(x) + 2 sin(x), o < x < n,

-y(x) + sin(x), n < x < 6, y(o) = 1, " y(o) = 3.

y'(x) = y'(x) =

By considering (i)-p-differentiability the following solution is obtained for the interval differential equation (!4):

Y1(x) =

[11 e x - 2 cos(x) - 4ex + sin(x), 11 ex - cos(x) + 4ex +2 sin(x)], o < x < n, [2 sin(x) - cos(x) + o.1188en- 29.4259e;

sin(x) - 2 cos(x) + o.1188en+ 29.4259e^

n-x -29.4259ex-n,

n-x , OQ A.omvx-nl

n < x < 6,

which has no switching point. The second solution is achieved by starting with (d)-p-differentiability, which has a switching point at 1.36o7 for x e [o, n] and

Yî(x) =

[2e x - cos(x) + sin(x), 7e x - 2 cos(x) + 2 sin(x)], x e [o, 1.36o7],

[11 e-x + sin(x) - 2 cos(x) + o.o761ex, He-x + 2 sin(x) - cos(x) + o.o761ex],

x e [1.36o7,n].

Furthermore,

Y2(x) =

[2 sin(x) - 2 cos(x) - 1.6418en-x,

sin(x) - cos(x) + 1.8795en-x], x e [n,4.9225], [2 sin(x) - cos(x) + 2.7500e-x + 0.0014ex, sin(x) - i cos(x) + 2.7500e-x + 0.0014ex], x e [4.9225,6],

for x e [n, 6] and has one switching point at 4.9225. The solutions are shown in Figure 3.

The two proposed approaches are applied to the following examples.

Example 4.3 Consider the interval differential equation

J YDn (x) = -Ydv (x) © [1,2] © x, (rDn(0) = [0,1], x e [0,4].

By the first approach, the corresponding ordinary differential equation is obtained as

yd(t) (x) = -yd(t) (x) + (1 + 0 x, (1)

yd(t)(0) = t", t', f e [0,1], x e [0,4].

The particular solution would be

yd(t)(x) =1 + t')x - (1 + if) + (1 + t + t") e- = (1 + t') (x -1 + e~x) + t"e-x.

Hence, the unique solution of interval equation (20) is concluded as

YD2 (x) = [1,2]© (x -1 + e-x) © [0,1] © e-x,

which is represented in Figure 4(a). Next, let us to use the second approach for the interval differential equation (20). Thus, the systems (17) and (18) are

y'(x) = -y(x) + x, y\x) = -y(x) + 2x,

y'(x) = -y(x) + 2x, y'(x) = -y(x) + x,

y(0) = 0, y(0) = 1

y(0) = 0,

y(o) = 1,

Figure 5 A tank of brine with a mixture.

respectively. As stated previously, (20) has exactly two solutions; one of them is

Y1(x) = {y + t(y - y) = 2x + 2e-x - ex-1 + t(2ex - x-l), 11 e [0,1]} = [2x + 2e-x - ex - 1,x + ex + 2e-x - 2],

which starts with (i)-p-differentiability and there is no switching point on its trajectory. The second one starts with (d)-p-differentiability and has a switching point at x = 1 so it has to switch to the case (i)-p-differentiability. Therefore

Y2(x)= {y + t(y - y) = 2x + 2e-x-2 + t(1-x) 11 e [0,1]} = [2x + 2e-x - 2,x + 2e-x -1],

for 0 < x < 1 and

Y2(x) = {y + t(y-y) = 2x- ex-1 + 2e-x-1 + t(2ex-1-x-1) 11 e [0,1]} = [2x - ex-1 + 2e-x - 1,x + ex-1 + 2e-x - 2],

when 1 < x < 4. The solutions are presented in Figure 4(b).

Example 4.4 As an application in engineering, assume the following problem. A tank initially contains 30 gal of brine with c lb of salt. Brine that contains k lb of salt per gallon enters the tank at the rate of 3 gal/min, and the well-mixed brine in the tank flows out at the rate of 3 gal/min (see Figure 5). The problem is the amount of salt that will be present

in the tank at a time in the future; in other words, we would like to determinate a function y(x) that gives us the amount of salt in the tank at time x > 0. We have

y'(x) + 10 y(x) = 3 k,

y(0) = c, x e [0,3].

According to uncertainty in measurements, the coefficients c, k are considered as interval numbers c = [1,3], k = [1,4]. Then

Ydn(x) = -î0 Yoi!(x) © [3,12], (24)

YVv(0) = [1,3], x e [0,3].

Using the first approach and without having to calculate the switching points, we obtain a solution that is responsive to the nature of the problem. More precisely, the corresponding ordinary differential equation is obtained as

yd(t)(x) = -¡0 yd(t)(x) + (3 + 9t'),

yd(t)(0) = 1 + 2t", t', t" e [0,1], x e [0,3].

Hence, the solution of interval equation (24) is Yd2 (x) = [30,120] © (1 - ew) © [1,3] O (e^)

and its upper bound and lower bounds are shown in Figure 6(a). In the second approach, two systems (17), (18) are

y'(x) = -10 y(x) + 3, y(0) = 1, y'(x) = -¿y(x) + 12, y(0) = 3,

y'(x) = -10 y(x) + 3, y(0) = 1, y'(x) = -10 y(x) +12, y(0) = 3.

First, by starting with (i)-p-differentiability the following solution for interval differential equation (24) is obtained:

Y1(x) = [120 - 46e 10 - 73eS,46e 10 - 73eS +30],

which has no switching point. The second solution is achieved by considering (d)-p-differentiability, that has a switching point at 0.2198 and

[120 - 119eS,30 - 27e3], x e [0,0.2198],

2(x) [ [120 - 44.0217ex - 73e3,44.0217e 10 - 73e3 +30], x e [0.2198,3].

The solutions are shown in Figure 6(b).

5 Conclusion

In this study, two different new parametric representations for interval numbers were investigated. The representations had the advantage of following flexible and easy to control shapes of the interval numbers, and they were applicable in practice. Additionally, computational procedures to determine the derivatives and integrals of interval-valued functions were presented.

An interesting line of work is the study of interval differential equations with two approaches. In the first approach, a unique solution with a decreasing length of support was obtained. This interpretation presented an advantage that allowed us to characterize the main properties of ordinary differential equations in a natural way. In the second approach, the solution of an interval differential equation might have decreasing length of support, and more than one solution exists. The existence of several solutions can be an advantage when a decision-maker search is performed for solutions that have specific properties, such as periodic, almost periodic, or asymptotically stable.

Competing interests

The authors declare that they have no competing interests. Authors' contributions

All authors read and approved the final version of the manuscript. Acknowledgements

The authors would like to express their gratitude to the anonymous referees for their helpful comments and suggestions, which have greatly improved the paper.

Received: 19 June 2015 Accepted: 13 October 2015 Published online: 29 October 2015 References

1. Moore, RE: Interval Analysis. Prentice Hall, Englewood Cliffs (1966)

2. Aubin, JP, Franskowska, H: Set-Valued Analysis. Birkhäuser, Boston (1990)

3. Gnana Bhaskar, T, Lakshmikantham, V: Set differential equations and flow invariance. Appl. Anal. 82, 357-368 (2003)

4. Alefeld, G, Mayer, G: Interval analysis: theory and applications. J. Comput. Appl. Math. 121,421-464 (2000)

5. Baker Kearfott, R, Kreinovich, V: Applications of Interval Computations. Kluwer Academic, Dordrecht (1996)

6. Stefanini, L, Bede, B: Generalized Hukuhara differentiability of interval valued functions and interval differential equations. Nonlinear Anal. 71,1311-1328 (2009)

7. Stefanini, L: A generalization of Hukuhara difference and division for interval and fuzzy arithmetic. Fuzzy Sets Syst. 161, 1564-1584 (2010)

8. Hukuhara, M: Integration des applications measurables dont la valeurest un compact convexe. Funkc. Ekvacioj10, 205-223 (1967)

9. Lakshmikantham, V, Gnana Bhaskar, T, Vasundhara Devi, J: Theory of Set Differential Equations in a Metric Space. Cambridge Scientific Publishers, Cambridge (2006)

10. Chalco-Cano, Y, Rufián-Lizana, A, Román-Flores, H, Jiménez-Gamero, MD: Calculus for interval valued functions using generalized Hukuhara derivative and applications. Fuzzy Sets Syst. 219,49-67 (2013)

11. Stefanini, L: A generalization of Hukuhara difference for intervaland fuzzy arithmetic. WP-EMS (2008)

12. Markov, S: Calculus for intervalfunctions of a realvariable. Computing 22, 325-337 (1979)

13. Chalco-Cano, Y, Román-Flores, H, Jiménez-Gamero, MD: Generalized derivative and n-derivative for set-valued functions. Inf. Sci. 181(11), 2177-2188 (2011)

14. Markov, S: Existence and uniqueness of solutions of the intervaldifferentialequation X = f (t, X). C. R. Acad. Bulgare Sci. 31(12), 1519-1522 (1978)

15. Bede, B: Mathematics of Fuzzy Sets and Fuzzy Logic. Springer, Berlin (2013)

Submit your manuscript to a SpringerOpen journal and benefit from:

► Convenient online submission

► Rigorous peer review

► Immediate publication on acceptance

► Open access: articles freely available online

► High visibility within the field

► Retaining the copyright to your article

Submit your next manuscript at ► springeropen.com