Existence and Uniqueness Solutions of Fuzzy Integration- Differential Mathematical Problem by Using the Concept of Generalized Differentiability

In this study, we demonstrate studies on two type o f solutions linear fuzzy functional integration and differential equation un der two kinds Hukuhara derivative byusing the concept of generalized differentiabilit y. Various types of solutions to are generated by applying of two separate concepts of F uzzy derivative in formulation of differential problem. Some patterns are presented t o describe these results. Keywords: Existence and uniqueness solutions, integration-dif ferential mathematical problem, generalized differentiability AMS Mathematics Subject Classification (2010): 34A07 1. Introduction The theory of calculus, which deals with the invest igation and applications of derivatives and integrals of arbitrary order has a long history . The theory of calculus developed mainly as a pure theoretical field of mathematics, in the last decades it has been used in various fields as rheology, viscoelasticity, electr o hemistry, diffusion processes, etc [32, 33].calculus have undergone expanded study in recen t years as a considerable interest both in mathematics and in applications. One of the recently influential works on the subject of calculus is the monograph of Podlubny [4 9] and the other is the monograph of Kilbas et al. [33]. The differential equations have gr at application potential in modeling a variety of real world physical problems, which de serves further investigations. Among these we might include the modeling of earthquakes, the fluid dynamic traffic model with derivatives, the measurement of viscoelastic materi al properties, etc. Consequently, several research papers were done to investigate th e theory and solutions of differential equations (see [18, 21, 35, 37] and references ther ein). The concept of solution for differential equation s with uncertainty was introduced by Agarwal, Lakshmikantham and Nieto [1] . They considered RiemannLiouville differentiability concept based on the Hu kuhara differentiability to solve fuzzy differential equations. Arshad and Lupulescu in [12 ] proved some results on the existence and uniqueness of solution to fuzzy differential eq uation under Hukuhara RiemannM.R.Nourizadeh, N.Mikaeilvand and Toffigh Allahvira nloo 22 Liouville differentiability. Some existence results for nonlinear fuzzy differential equations of order involving the Riemann-Liouville d rivative have been proposed in [30]. The solutions of fuzzy differential equations are investigated by using the fuzzy Laplace transforms in [51]. Recently, the concepts of derivatives for a fuzzy function are either based on the notion of Hukuhara derivative [ 25] or on the notion of strongly generalized derivative. The concept of Hukuhara der ivative is old and well known, but the concept of strongly generalized derivative was recently introduced by Bede and Gal [13]. Using this new concept of derivative, the cla sses of fuzzy differential equations have been extend and studied in some papers such as : A mad et al. [4], Allahviranloo et al. [9]-[11], Bede et al. [14]-[17], Gasilov [20], Khastan et al. [27]-[29], Malinowski [41][43] and Nieto [46]. Furthermore, by using this new concept of derivative, Allahviranloo et al. in [7, 8] have studied the concepts about ge neralized Hukuhara Riemann-Liouville and Caputo differentiability of fuzzy valued functi ons. Later, authors have proved the existence and uniqueness of solution for fuzzy diff erential equation by using different methods. Alikhani et al. in [6] have proved the exi stence and uniqueness results for nonlinear fuzzy integral and integration and differ ential equations by using the method of upper and lower solutions. Mazandarani et al. [4 4] studied the solution to fuzzy initial value problem under Caputo-type fuzzy derivatives b y a modified Euler method. Besides, authors studied some results on the existence and u niqueness of solution to fuzzy differential equation under Caputo type-2 fuzzy der ivative and the definition of Laplace transform of type-2 fuzzy number-valued functions [ 45]. Salahshour et al. [50] proposed some new results toward existence and uniqueness of solution of fuzzy differential equation. According to the concept of Caputo-type f uzzy derivative in the sense of the generalized fuzzy differentiability, Fard et al. [1 9] extended and established some definitions on fuzzy calculus of variation and prov ide some necessary conditions to obtain the fuzzy Euler-Lagrange equation for both c onstrained and unconstrained fuzzy variational problems. Ahmad et al. [5] proposed ane w interpretation of fuzzy differential equations and present their solutions analytically and numerically. The proposed idea is a generalization of the interpretation given in [3, 4 ] where the authors used Zadeh’s extension principle to interpret fuzzy differential equations. In real world systems, delays can be recognized e v rywhere and there has been widespread interest in the study of delay different ial equations for many years. Therefore, delay differential equations (or, as they are calle d, functional differential equations) play an important role in an increasing number of system models in biology, engineering, physics and other sciences. There exists an extensi ve amount of literature dealing with delay differential equations and their applications ; the reader is referred to the monographs [22, 34], and the references therein. Th e study of fuzzy delay differential equations is expanding as a new branch of fuzzy mat hematics. Both theory and applications have been actively discussed over the last few years. In the literature, the study of fuzzy delay differential equations has sev eral interpretations. The first one is based on the notion of Hukuhara derivative. Under t his interpretation, Lupulescu established the local and global existence and uniq ue ess results for fuzzy delay differential equations. The second interpretation w as suggested by Khastan et al. [29] and Hoa et al. [24]. In this setting, Khastanetal proved the existence of two fuzzy solutions for fuzzy delay differential equations using the concept of g eneralized differentiability. Hoa et al. Existence and Uniqueness Solutions of Fuzzy Mathema tical Problem 23 established the global existence and uniqueness res ults for fuzzy delay differential equations using the concept of generalized differen tiability. Moreover, authors have extended and generalized some comparison theorems a nd st bility theorem for fuzzy delays differential equations with definition a new Lyapunov-like function. Besides that, some very important extensions of the fuzzy delay d ifferential equations In [21, 28, 35, 53], the authors considered the fuzzy differential equation with initial value = . . = . 1.1 where f : [0, ∞) × E→ E and the symbol ′denotes the first type Hukuhara derivative (classic Hukuhara derivative). O. Kaleva also discu s ed the properties of differentiable fuzzy mappings in [28] and showed that if f is continuous and f (t, x) satisfies the Lipschitz condition with respect to x, then there exists a unique local solution for the fuzzy initial value problem (1.1). Lupulescu proved several theorems stating the existence, uniqueness and boundedness of solutions to fuzzy differential equations with the concept of inner product on the fuzzy space und er classic Hukuhara derivative in [35]. In [34], Lupulescu considered the fuzzy functiona l differential equation = . . ≥ = − ∈ . ≥ ≥ − (1.2) where f : [0, ∞) × Cσ→ E d and the symbol ′denotes the first type Hukuhara derivative (classic Hukuhara derivative). Author studied the l ocal and global existence and uniqueness results for (1.2) by using the method of successive approximations and contraction principle. In this paper, we consider fuzzy functional integ ration and differential equations under form D = . + . !. "# $%. & ≥ = − = ∈ '( . ≥ ≥ − (1.3) We establish the local and global existence and uni queness results for (1.3) by using the method of successive approximations and contraction pri ciple. This direction of research is motivated by the results of Bede and Ga l [17], Chalco-Cano and RomanFlores [23], Malinowski [37-40], Ahmad, Sivasundara m [1], Allahviranloo et al. [5-7]. The paper is organized as follows. In Section 2, we collect the fundamental notions and facts about fuzzy set space, fuzzy diff erentiation and integration. In Section 3, we discuss the FFIDEs with a two kinds of fuzzy derivative. Some examples of this class having two different solutions were presented in Section 4. 2. Preliminaries and notation In this section, we give some notations and propert ies related to fuzzy set space, and summarize the major results for integration and dif ferentiation of fuzzy set-valued mappings. We recall some notations and concepts pre sent d in detail in recent series works of Lakshmikantham et al. [32, 33]. Let Kc(R ) denote the collection of all nonempty compact and convex subsets of R and scalar multiplication in K c(R ) as usual, i.e. for A, B ∈Kc(Rd) and λ ∈ R. A + B = {a + b | a ∈A, b ∈B} , λA= {λa| a ∈A} . The Hausdorff distance $ in Kc(R) is defined as follows $ ), + = max / %01 2 ∈ ) 34 5 ∈ + ∥ 2 − 5 ∥ 78 . %01 2 ∈ ) 34 5 ∈ + ∥ 2 − 5 ∥ 78 M.R.Nourizadeh, N.Mikaeilvand and Toffigh Allahvira nloo 24 where A, B ∈(Kc,Rd), ‖. ‖:;denotes the Euclidean norm in R . It is known that (Kc,R), $ is a complete metric space. Denote E= {ω : R→ [0, 1] such that ω(z) satisfies (i)-(iv) stated below} i. ω is normal, that is, there exists z0∈ Rsuch that ω(z0) = 1; ii. ω is fuzzy convex, that is, for 0 ≤ λ ≤ 1 ω(λz1 + (1 λ)z2) ≥ min{ω(z1), ω(z2)}, for any z1, z2 ∈ R; iii. ω is upper semi continuous; iv. [ω]= cl{z ∈ R: ω(z) >0} is compact, where cl denotes the closure in (R , ‖. ‖). Although elements of Eare often called the fuzzy numbers, we shall just c all them the fuzzy sets. For α ∈(0, 1], denote [ ω]= {z ∈Rd| ω(z) ≥ α} . Wewill call this set an α-cut ( αlevel set) of the fuzzy set ω. For ω ∈Ed one has that [ ω]α∈Kc(Rd)for every α ∈[0, 1]. For two fuzzy ω1, ω2 ∈Ed, we denote ω1 ≤ ω2 if and only if [ω1]α⊂[ω2]α. If g : R× R→ R is a function then, according to Zadeh’s extension pri ciple, one can extend g to E × E → E by the formula g(ω1, ω2)(z) =supz=g(z1,z2)min {ω1(z1), ω2(z2)} . It is well known that if g is continuous then [ g(ω1, ω2)]= g([ω1], [ω2])for all ω1, ω2 ∈Ed, α ∈ [0, 1]. Especially, for addition and scalar multiplication in fuzzy set space Ed, we have [ω1 + ω2]= [ω1]+ [ω2], [λω1]=λ[ω1]. The notation [ ω]= [ω(α), ω(α)]. We refer to ω and ω as the lower and upper branches of ω, respectively. For ω ∈Ed, we define the length of ω as len(ω) =ω(α) ω(α)In the case d = 1, we have len(ω) = ω(α) ω(α). Let us denote = [ω1, ω2] = sup{dH([ω1]α, [ω2]) : 0 ≤ α ≤ 1} the distance between ω1 and ω2 in E, where dH([ω1] , [ω2]) is Hausdorff distance between two set[ ω1], [ω2] of (Kc,R ). Then (E, dH) is a complete space. Some properties of metric D are as follows. = [ω1 + ω3, ω2 + ω3] = = [ω1, ω2],= [λω1, λω2] = |λ|= [ω1, ω2],= [ω1, ω2] ≤ = [ω1, ω3] + = [ω3, ω2], for all ω1, ω2, ω3 ∈Ed and λ ∈R. Let ω1, ω2 ∈Ed. If there exists ω3 ∈Ed such that ω1 = ω2 + ω3 then ω3 is called the difference of ω1, ω2 and it is denoted ω1Өω2. Let us remark that ω1 Өω2 ≠ ω1 + (-1)ω2. Remark 2.1. If for fuzzy numbers ω1, ω2, ω3 ∈Ed there exist Hukuhara difference ω1Өω2, ω1 Өω3 then= [ω1Өω2, 0] = = [ω1, ω2] and = [ω1 ω2, ω1Өω3] = = [ω2, ω3]. The strongly generalized differentiability was in troduced in [17] and studied in [18, 23, 42]. Definition 2.1. (See [17]) Let x: (a, b) → E and t ∈(a, b). We say that x is strongly generalized differentiable at t, if there exists DH gx(t)∈Ed, such that either (i) for all h >0 sufficiently small, the differences x (t + h) Өx(t), x(t) Өx(t h) exist and the limits (in the metric = ) ?3@ h ↘ 0D + h ⊖ h = ?3@ h ↘ 0D + h ⊖ h = D or (ii) for all h >0 sufficiently small, the difference x (t) Өx(t + h), x(t h) Өx(t) exist and the limits Existence and Uniqueness Solutions of Fuzzy Mathema tical Problem 25 ?3@ h ↘ 0D ⊖ + h −h = ?3@ h ↘ 0D − h ⊖ −h = D or (iii) for all h >0 sufficiently small, the difference x (t + h) Өx(t),∃x(t h) Өx(t) exist and the limits ?3@ h ↘ 0D + h ⊖ h = ?3@ h ↘ 0D − h ⊖ −h = D (iv) for all h >0 sufficiently small, the difference x (t) Өx(t + h), ∃x(t) Өx(t h) exist and the limits ?3@ h ↘ 0D ⊖ + h −h = ?3@ h ↘ 0D ⊖ − h h = D . In this definition, case (i) ((i)-differentiability for short) corresponds to the classic derivative, so this differentiability concept is a generalization of the Hukuhara derivative. In Ref. [17], Bede and Gal consider four cases for derivative. In this paper we consider only the two first of Definition 2.1. In the other cases, the derivative is trivial because it is reduced to a crisp element. Lemma 2.1. (Bede and Gal [17]) If x(t) =(z1(t), z2(t), z3(t)) is triangular number valued function, then (i) if x is (i)-differentiable (i.e. Hukuhara diffe r ntiable) then DH g x(t) = (z ́ 1(t), z ́2(t), z ́3(t)); (ii) if x is (ii)-differentiable then DH g x(t) = ( z ́ 3(t),z ́ 2(t), z ́1(t)). Lemma 2.2. (see [23]) Let x ∈E1and put [x(t)] α =[x(t, α), x(t, α)] for each α ∈ [0, 1]. (i) If x is (i)-differentiable then x(t, α), x(t, α) are differentiable functions and we have [D ]I = J . K . . K L ∙ (2.4) (ii) If x is (ii)-differentiable then x(t, α), x(t, α) are differentiable functions and we have: (iii) [D ]I = J . K . . K L (2.5) Definition 2.2. [52] A point t ∈ (a, b), is a switching for the differentiability of x, if in any neighborhood V of t there exist points t1 < t < t2 such that (type I) at t1 (2.4) holds while (2.5) does not hold and at t2 (2.5) holds and (2.4) not hold, or (type II) at t1 (2.5) holds while (2.4) does not hold and at t2 (2.4) holds and (2.5) not hold. Lemma 2.3. Let a(t),b(t) and c(t) be real valued nonnegative c ontinuous functions defined on R+, d ≥ 0 is a constant for which the inequality a t ≤ $ + P Q5 ! 2 ! + 5 ! P R S 2 S $S T $% hold for all t ∈R+. Then M.R.Nourizadeh, N.Mikaeilvand and Toffigh Allahvira nloo 26 a t ≤ $ + Q1 +P 5 % U 1 VP 5 S + R S $S W X$% ∙T 3. Main results For σ >0 let Cσ= C([-σ, 0], Ed) denote the space of continuous mappings from [σ, 0] to Ed. Define a metric Dσ in Cσ by =([ . Y] = %01 ∈ [−Z. 0 = [ . Y ] ∙ Let p >0. Denote I = [t0, t0+ p], J =[t0σ, t0] ∪I = [t0σ, t0+ p]. For any t ∈I denote by the element of Cσ defined by xt(s)= x(t + s) for s ∈[-σ, 0]. Let us consider the fuzzy functional integration an d differential equations (FFIDEs) with generalized Hukuhara derivative under form D = . + . %. W $%. ≥ & = − = ∈ '( . ≥ ≥ − (3.1) where f :I × Cσ→ E, g : I × I × Cσ→ E, φ ∈Cσ and the symbol DH denotes the generalized Hukuhara derivative from Definition (2. 1). By a solution to equation (3.1) we mean a fuzzy mapping x ∈C(J, E), that satisfies: X(t) = (t t0) for t ∈[t0-σ, t0], x is differentiable on [ t0, t0+ p] and = = . + . %. W $%. \S ∈ ] & Lemma 3.1. Assume that f ∈C(I × Cσ, E), g ∈C(I × I × Cσ, E) and x ∈C(J, E). Then the fuzzy mapping → . + P . %. W $% & Belongs to C(I, E). Remark 3.1. Under assumptions of the lemma above we have the ma pping → . + P . %. W $% & Is integrable over the interval I. Remark 3.2. If f: I × Cσ→ E, g : I × I × Cσ→E are jointly continuous functions and x ∈C(J, Ed), then the mapping → . + P . %. W $% & Is bounded on each compact interval I. Also, the function → . + P . %. W $% & is bounded on I. Lemma 3.2. A fuzzy mapping x : J → E is called to be a local solution to the problem (3.1) on J if and only if x is a continuous fuzzy m apping and it satisfies to one of the following fuzzy integral equations Existence and Uniqueness Solutions of Fuzzy Mathema tical Problem 27 _ = . \S ∈ [ − . ] = 0 ` %. W + . %. W $% & a & $% ∈ ]. (3.4) if x is (i)-differentiable or (iii)-differentiable. b = − \S ∈ [ − . ] = 0 ⊖ −1 × ` %. W + . %. W $% & a & $% ∈ ]. (3.5) if x is (ii)-differentiable or (iv)-differentiable. Let us remark that in (3.5) it is hidden the following statement: there exists Hukuhara differen ce φ(0)Ɵ −1 P V %. W + P . %. W $% & X & $% Definition 3.1. Let x :J → E be a fuzzy function such that (i)-differentiable. I f x and its derivative satisfy problem (3.1), we say that x is a (i)-solution of problem(3.1). Definition 3.2. Let x :J → E be a fuzzy function such that (ii)-differentiable. If x and its derivative satisfy problem (3.1), we say that x is a (ii)-solution of problem (3.1). Definition 3.3. A solution x :J → E is unique if it holds D0[x(t), y(t)] = 0, for any y : J → E which is a solution of (3.1). Theorem 3.1. Let (t t0) ∈Cσ and suppose that f ∈C(I × Cσ, E),g ∈C(I × I × Cσ, E) satisfy the condition: there exists a constant L > 0 such that for every ξ, ψ ∈Cσ it holds maxd= [ . e . . f ]. = [ . %. e . . %. f ]g ≤ h [e. f] Moreover, there exists a M > 0 such that max{D0[f(t,ξ),0], D0[g(t,s,ξ),0}<=M Assume that the sequence { xn} n=0, x: J → E given by = − . ∈ [ − . ] 0 . ∈ ]. and for n = 1, 2, ... 8Di = _ − . ∈ [ − . ] 0 ⊖ −1 ` %. W8 + %. Z. j8 $Z & a & $% ∈ ]. (3.4) is well defined, i.e. the foregoing Hukuhara differ ence do exist. Then the FFIDE (3.1) has a unique for each case ((i)-differentiable or (ii)differentiable). Proof: From assumptions of this Theorem we have D0[x (t), x0(t)]= = [ i . ] = = [ 0 ⊖ −1 × ` %. W + %. Z. j $Z W & a & $%. 0 ] ≤ `= J %. W . 0kL + = J %. Z. j . 0kL$Z W & a & $% ≤ l − + l − m 2! . For t∈I. Further for every n ≥ 2 and t ∈I we get D0[x(t), x(t)] M.R.Nourizadeh, N.Mikaeilvand and Toffigh Allahvira nloo 28 = = [⊖ −1 P V %. W8 + P %. Z. j $Z W & X & $%. ⊖ −1 ` %. W8pi + %. Z. j8pi $Z W & a & $%] ≤ hP V=([ W8. W8pi] + P =([ j8. j8pi]$Z W & X & $%. ≤ hP ` %01 q ∈ [− . 0] & = [ 8 % + q . 8pi % + q ] +P %01 q ∈ [− . 0] W & = [ 8 Z + q . 8pi Z + q ]$Z $% = hP ` %01 S ∈ [% − . %] & = [ 8 S . 8pi S ] +P %01 r ∈ [Z − . Z] W & = [ 8 r . 8pi r ]$r $S In particular, from (3.4), we get = [ m . i ] ≤ hl V − m 2! + 2 − s 3! + − u 4! X Therefore, by mathematical induction, for every n ∈N and t ∈I = [ 8Di . 8 ] ≤ hl8 V − 8Di 4 + 1 ! +8wi − 8Dm 4 + 2 ! + ⋯+8w8 − m8Di 24 + 1 ! + − m8Dm 24 + 2 ! X In the inequality (3.5), λ1, . . . ,λn are balancing constants. We observe that for every n∈ {0, 1, 2, . . .}, the function xn(·) : J → E are continuous. Indeed, since ∈Cσ, x(t) is continuous on t∈[-σ, t0+ p]. We see that = [ i + h . i ] = = yz zz zz { 0 ⊖ −1 × P V %. W + P %. Z. j $Z W & X$%. 0 ⊖ −1 × P %. & W + P %. Z. j $Z W & $% D| & }~ ~~ ~~  Thus, by mathematical induction, for every n ≥ 2, we deduce that D0[x (t + h), x(t)] → 0 as h → 0. A similar inequality is obtained for D0[x (t h), x(t)] → 0 as h → 0. In the sequel we shall show that for the { x(t)} the Cauchy convergence condition is satisfied uniformly in t, and as a consequence{ x(·)} is uniformly convergent. For n > m >0, from (3.5) we obtain %01 ∈ ]= [ 8 .  ] = %01 ∈ = [ 8 .  ] ≤  %01 ∈  8pi  = [ Di .  ] Existence and Uniqueness Solutions of Fuzzy Mathema tical Problem 29 ≤ l  V − Di  + 1 ! +8wi − Dm  + 2 ! + ⋯+w − mDi 2 + 1 ! + − mDm 2 + 2 ! X 8pi  The convergence of this series implies that for any ε >0we find n0∈N large enough such that for n, m > n0 = [ 8 .  ] <  3.6 Since (E, = ) is a complete metric space and (3.6)holds, the se quence { x(·)} is uniformly convergent to a mapping x ∈C(J, E). We shall that x is a solution to (3.1). Since x(t) = (t t0) for every n = 0, 1, 2, ...and every t ∈[t0σ, t0], we easily have x(t) = (t -t0). For s ∈I and n ∈N = QP %. & W8 $%.P %. W $% & T ≤ hP %01 q ∈ [% − . %] & = [ 8 q . q ]$q → 0 And = [P P %. Z. j8 . $Z $% W & & . P P %. Z. j . $Z $% W & & ] ≤ h P P %01 q ∈ [Z − . Z] & & = [ 8  .  ]$ $% → 0 As n→ ∞ for any t ∈I. Consequently, we have = [ 0 . + −1 P %. W + & P . %. W $% $% & ] ≤ = [ 8 . ] + P = [ %. W8pi + %. W ] & + P = [ %. Z. j8pi . %. Z. j $Z] & $% We infer that =  0 . + −1 P %. W + & P . %. W $% $% &  = 0 for every t ∈I. Therefore x is the solution of (3.3), due to Lemma (3.2) we hav e that x is a (ii)-solution of (3.1). For the uniqueness of the s olution x let us assume that x, y ∈C(J, E) are two solution of (3.3). By definition of the sol ution we have x(t) = y(t) if t ∈[t0σ, t0]. Note that for t∈I = [ . Y ] M.R.Nourizadeh, N.Mikaeilvand and Toffigh Allahvira nloo 30 ≤ h P %01 q ∈ [% − . %]= [ q . Y q ] & + P` %01 r ∈ [Z − . Z]= [ r . Y r ]$Za$% & If we let a(s) = sup r∈[s-σ,s]D0 [x(r), y(r)] , s ∈ [t0, t] ⊂[t0, t0+ p], then we have 2 ≤ h P2 % + P2 Z $Z W & $% & and by Lemma 2.3 we obtain that a( ) = 0 on I. This prove the uniqueness of the solution for (3.1). Remark 3.3. The existence and uniqueness theorem for the proble m (3.1) can be obtained using the contraction principle. Now, we shall prove existence and uniqueness result s for (3.1) by using the contraction principle, which studied in [34]. In the following, for a given k >0, we consider the set Sk of all continuous fuzzy functions x ∈C([t0σ, ∞), E) such that x(t) = (t t0) =x0 on [t0σ, t0] and supt≥t0-σ{ D0[x(t, ω), 0] exp( ˆ -kt) <∞. On Sk we can define the following metric =[ . Y] = %01 ≥ − d= [ . Y ] exp − g 3.7 Where k>0 is chosen suitably later. We easily prove that th e space [ Sk, Dk] of continuous fuzzy functions x: [t0, ∞) → E d is a complete metric space with distance (3.7). Theorem 3.2. Assume that (i) f ∈C([t0, ∞) × Cσ, E), g ∈C([t0, ∞) ×[t0, ∞) × Cσ, E) and there exists a constant L >0 such that (ii) @2 d= [ . e . . f ]. d= [ . %. e . . %. f ] ≤ h=([e. f] for all ξ, ψ ∈Cσ and t, s ≥ t0; (iii) there exists constants M > 0 and b >0 such that @2 d= [ . 0k . 0k]. = . %. 0k . 0k]g ≤ l exp 5 for all t ≥ t0, where b < k. Then the FFIDE (3.1) has a unique so luti n for each case on [t0, ∞). Proof: Since the way of the proof is similar for all four cases, we only consider case (ii)differential for x. In this case, we consider the complete metric spa e (Sk, Dk), and define an operator T : Sk→ Sk x → Tx given by  =   d − 3 ∈ [ − . ] 0 ⊖ −1 × P %. W + & P %. Z. W $Z $% & Existence and Uniqueness Solutions of Fuzzy Mathema tical Problem 31 We can choose a big enough value for k such that T is a contraction, so the Banach fixed point theorem provides the existence of a unique fi x d point for T, that is, a unique solution for (3.1). Step 1: We shall prove that T( Sk)⊂Sk with assumption k > b. Indeed, let x ∈Sk. For each t ≥ t0, we get = [  . 0k] = %01 ≥ d= [ 0 ⊖ −1 P %. W & + P %. Z. j $Z $%. W & 0k] U%1 − g ≤ %01 ≥ d = [ 0 . 0k + Pd= [ %. W . %. 0k ] & += [ %. 0k . 0k]g$% + P Pd= [ %. Z. j . %. Z. 0k ] W & & + = [ %. Z. 0k . 0k]g $Z $% exp − g ≤ %01 ≥ d = [ 0 . 0k + h Pd=(J W. 0kL$% & +l5 exp 5 + h PP=(J j. 0kL$Z W & $% & + l 5m exp 5 exp − g Since x ∈Sk, there exists ρ such that sup t≥t0-σ{D0[x(t), 0] exp(-kt)} < ρ <∞. Therefore, for all t ≥ t0, we obtain = [  . 0] ≤ %01 ≥ d = [ 0 . 0k + 1 + 1 1h  exp  +1 + 15l5 exp 5 exp − g ≤ = [ 0 . 0k] + 1 + 15 15 l + 1h ≤  + 1 + 15 15 l + 1h < ∞ We infer that Tx⊂Sk. • Step 2: The following steps, we shall prove that T is a contraction by metric Dk. The first, we consider Let x, y ∈Sk. Then for σ ≤ s ≤ 0, D0[(Tx)(t0+s), (Ty)(t0+ s)] = 0. For each t ≥ t0, we have= [  . Y ] ≤ %01 ≥ d= [  . Y ] exp − ≤ %01 d= [ 0 ⊖ −1 P %. W & + P %. Z. j $Z $%. W


Introduction
The theory of calculus, which deals with the investigation and applications of derivatives and integrals of arbitrary order has a long history. The theory of calculus developed mainly as a pure theoretical field of mathematics, in the last decades it has been used in various fields as rheology, viscoelasticity, electrochemistry, diffusion processes, etc [32,33].calculus have undergone expanded study in recent years as a considerable interest both in mathematics and in applications. One of the recently influential works on the subject of calculus is the monograph of Podlubny [49] and the other is the monograph of Kilbas et al. [33]. The differential equations have great application potential in modeling a variety of real world physical problems, which deserves further investigations. Among these we might include the modeling of earthquakes, the fluid dynamic traffic model with derivatives, the measurement of viscoelastic material properties, etc. Consequently, several research papers were done to investigate the theory and solutions of differential equations (see [18,21,35,37] and references therein).
The concept of solution for differential equations with uncertainty was introduced by Agarwal, Lakshmikantham and Nieto [1]. They considered Riemann-Liouville differentiability concept based on the Hukuhara differentiability to solve fuzzy differential equations. Arshad and Lupulescu in [12] proved some results on the existence and uniqueness of solution to fuzzy differential equation under Hukuhara Riemann-Liouville differentiability. Some existence results for nonlinear fuzzy differential equations of order involving the Riemann-Liouville derivative have been proposed in [30]. The solutions of fuzzy differential equations are investigated by using the fuzzy Laplace transforms in [51]. Recently, the concepts of derivatives for a fuzzy function are either based on the notion of Hukuhara derivative [25] or on the notion of strongly generalized derivative. The concept of Hukuhara derivative is old and well known, but the concept of strongly generalized derivative was recently introduced by Bede and Gal [13]. Using this new concept of derivative, the classes of fuzzy differential equations have been extend and studied in some papers such as: Ahmad et al. [4], Allahviranloo et al. [9]- [11], Bede et al. [14]- [17], Gasilov [20], Khastan et al. [27]- [29], Malinowski [41]- [43] and Nieto [46]. Furthermore, by using this new concept of derivative, Allahviranloo et al. in [7,8] have studied the concepts about generalized Hukuhara Riemann-Liouville and Caputo differentiability of fuzzy valued functions. Later, authors have proved the existence and uniqueness of solution for fuzzy differential equation by using different methods. Alikhani et al. in [6] have proved the existence and uniqueness results for nonlinear fuzzy integral and integration and differential equations by using the method of upper and lower solutions. Mazandarani et al. [44] studied the solution to fuzzy initial value problem under Caputo-type fuzzy derivatives by a modified Euler method. Besides, authors studied some results on the existence and uniqueness of solution to fuzzy differential equation under Caputo type-2 fuzzy derivative and the definition of Laplace transform of type-2 fuzzy number-valued functions [45]. Salahshour et al. [50] proposed some new results toward existence and uniqueness of solution of fuzzy differential equation. According to the concept of Caputo-type fuzzy derivative in the sense of the generalized fuzzy differentiability, Fard et al. [19] extended and established some definitions on fuzzy calculus of variation and provide some necessary conditions to obtain the fuzzy Euler-Lagrange equation for both constrained and unconstrained fuzzy variational problems. Ahmad et al. [5] proposed anew interpretation of fuzzy differential equations and present their solutions analytically and numerically. The proposed idea is a generalization of the interpretation given in [3,4], where the authors used Zadeh's extension principle to interpret fuzzy differential equations.
In real world systems, delays can be recognized everywhere and there has been widespread interest in the study of delay differential equations for many years. Therefore, delay differential equations (or, as they are called, functional differential equations) play an important role in an increasing number of system models in biology, engineering, physics and other sciences. There exists an extensive amount of literature dealing with delay differential equations and their applications; the reader is referred to the monographs [22,34], and the references therein. The study of fuzzy delay differential equations is expanding as a new branch of fuzzy mathematics. Both theory and applications have been actively discussed over the last few years. In the literature, the study of fuzzy delay differential equations has several interpretations. The first one is based on the notion of Hukuhara derivative. Under this interpretation, Lupulescu established the local and global existence and uniqueness results for fuzzy delay differential equations. The second interpretation was suggested by Khastan et al. [29] and Hoa et al. [24].
In this setting, Khastanetal proved the existence of two fuzzy solutions for fuzzy delay differential equations using the concept of generalized differentiability. Hoa et al.
Existence and Uniqueness Solutions of Fuzzy Mathematical Problem 23 established the global existence and uniqueness results for fuzzy delay differential equations using the concept of generalized differentiability. Moreover, authors have extended and generalized some comparison theorems and stability theorem for fuzzy delays differential equations with definition a new Lyapunov-like function. Besides that, some very important extensions of the fuzzy delay differential equations In [21,28,35,53], the authors considered the fuzzy differential equation with initial value and the symbol ′denotes the first type Hukuhara derivative (classic Hukuhara derivative). O. Kaleva also discussed the properties of differentiable fuzzy mappings in [28] and showed that if f is continuous and f (t, x) satisfies the Lipschitz condition with respect to x, then there exists a unique local solution for the fuzzy initial value problem (1.1). Lupulescu proved several theorems stating the existence, uniqueness and boundedness of solutions to fuzzy differential equations with the concept of inner product on the fuzzy space under classic Hukuhara derivative in [35].
In [34], Lupulescu considered the fuzzy functional differential equation where f : [0, ∞) × C σ → E d and the symbol ′denotes the first type Hukuhara derivative (classic Hukuhara derivative). Author studied the local and global existence and uniqueness results for (1.2) by using the method of successive approximations and contraction principle.
In this paper, we consider fuzzy functional integration and differential equations under form We establish the local and global existence and uniqueness results for (1.3) by using the method of successive approximations and contraction principle. This direction of research is motivated by the results of Bede and Gal [17], Chalco-Cano and Roman-Flores [23], Malinowski [37][38][39][40], Ahmad, Sivasundaram [1], Allahviranloo et al. [5][6][7]. The paper is organized as follows. In Section 2, we collect the fundamental notions and facts about fuzzy set space, fuzzy differentiation and integration. In Section 3, we discuss the FFIDEs with a two kinds of fuzzy derivative. Some examples of this class having two different solutions were presented in Section 4.

Preliminaries and notation
In this section, we give some notations and properties related to fuzzy set space, and summarize the major results for integration and differentiation of fuzzy set-valued mappings. We recall some notations and concepts presented in detail in recent series works of Lakshmikantham et al. [32,33].
Let K c (R d ) denote the collection of all nonempty compact and convex subsets of R d and scalar multiplication in K c (R d ) as usual, i.e. for A, B ∈K c (R d ) and λ ∈ R.
Although elements of E d are often called the fuzzy numbers, we shall just call them the fuzzy sets.
Especially, for addition and scalar multiplication in fuzzy set space Ed, we We refer to ω and ω as the lower and upper branches of ω, respectively.
In this definition, case (i) ((i)-differentiability for short) corresponds to the classic derivative, so this differentiability concept is a generalization of the Hukuhara derivative. In Ref. [17], Bede and Gal consider four cases for derivative. In this paper we consider only the two first of Definition 2.1. In the other cases, the derivative is trivial because it is reduced to a crisp element.

Lemma 2.2.
(see [23]) Let x ∈E 1 and put [ For any t ∈I denote by the element of Cσ defined by x t (s)= x(t + s) for s ∈[-σ, 0]. Let us consider the fuzzy functional integration and differential equations (FFIDEs) with generalized Hukuhara derivative under form where f :I × Cσ→ E d , g : I × I × Cσ→ E d , ϕ ∈Cσ and the symbol D H g denotes the generalized Hukuhara derivative from Definition (2.1). By a solution to equation (3.1) we mean a fuzzy mapping x ∈C(J, E d ), that satisfies: Let us remark that in (3.5) it is hidden the following statement: there exists Hukuhara difference ϕ(0)Ɵ

‫ݏ݀‬
Definition 3.1. Let x :J → E d be a fuzzy function such that (i)-differentiable. If x and its derivative satisfy problem (3.1), we say that x is a (i)-solution of problem(3.1).

Definition 3.2.
Let x :J → E d be a fuzzy function such that (ii)-differentiable. If x and its derivative satisfy problem (3.1), we say that x is a (ii)-solution of problem (3.1).

Definition 3.3. A solution x :J → E d is unique if it holds D0[x(t), y(t)]
= 0, for any y : J → E d which is a solution of (3.1).

is well defined, i.e. the foregoing Hukuhara difference do exist. Then the FFIDE (3.1) has a unique for each case ((i)-differentiable or (ii)-differentiable).
Proof: From assumptions of this Theorem we have For t∈I. Further for every n ≥ 2 and t ∈I we get D 0 [x n+1 (t), x n (t)] In particular, from (3.4), we get The convergence of this series implies that for any ε >0we find n 0 ∈N large enough such that for n, m > n 0 ‫ܦ‬ ‫ݔ[‬ ሺ‫ݐ‬ሻ. ‫ݔ‬ ሺ‫ݐ‬ሻ] < ߝ ሺ3.6ሻ Since (E d , ‫ܦ‬ ) is a complete metric space and (3.6)holds, the sequence {x n (·)} is uniformly convergent to a mapping x ∈C(J, E d ). We shall that x is a solution to (3.1). Since x n (t) = ߮(t -t 0 ) for every n = 0, 1, 2, ...and every t ∈[t 0 -σ, t 0 ], we easily have x(t) = ߮(t -t 0 ). For s ∈I and n ∈N and by Lemma 2.3 we obtain that a(t) = 0 on I. This prove the uniqueness of the solution for (3.1).

Remark 3.3.
The existence and uniqueness theorem for the problem (3.1) can be obtained using the contraction principle. Now, we shall prove existence and uniqueness results for (3.1) by using the contraction principle, which studied in [34]. In the following, for a given k >0, we consider the set S k of all continuous fuzzy functions On S k we can define the following metric  Proof: Since the way of the proof is similar for all four cases, we only consider case (ii)differential for x. In this case, we consider the complete metric space (S k , D k ), and define an operator T :Sk→ Sk x → Tx given by We can choose a big enough value for k such that T is a contraction, so the Banach fixed point theorem provides the existence of a unique fixed point for T, that is, a unique solution for (3.1).
Step 1: We shall prove that T(S k )⊂S k with assumption k > b.
ݕ‬ ݇ ଶ Choosing k > b and (1 + k) L/k2 <1, we have the operator T on S k is a contraction by using Banach fixed point theorem provides the existence of a unique fixed point for T and the unique fixed of T is in the space S k , that is a unique solution for (3.1) in case (ii)differentiable and for each case.

Illustrations
In this section, we shall present some examples being simple illustrations of the theory of FFIDE. We will consider the FFIDE (3.1) with (i) and (ii) derivative, respectively. Let us start the illustrations with considering the following fuzzy functional integration and differential equation:  1) is translated into the following delay integration and differential system: ), x´(t, α)] and (4.1) is translated into the following delay integration and differential system: where α∈[0, 1]. By solving delay integration and differential systems (4.5), we obtain (i)solution  Fig. 1.From (4.3), we obtain By solving delay integration and differential systems (4.6), we obtain (ii)-solution

Conclusions
In this paper, we have obtained a global existence and uniqueness result for a solution to fuzzy functional integration and differential equations. Also, we have proved a local existence and uniqueness results using the method of successive approximation. Results here might be used in further research on fuzzy functional integration and differential equations. Other possible directions of research could be an approach for fuzzy differential equations using other concepts of calculus for fuzzy functions and derivative for fuzzy functions (see [3,8]).