*Article* **Generalized Nabla Differentiability and Integrability for Fuzzy Functions on Time Scales**

#### **R. Leelavathi 1, G. Suresh Kumar 1, Ravi P. Agarwal 2,\*, Chao Wang <sup>3</sup> and M.S.N. Murty 4,†**


Received: 9 April 2020; Accepted: 2 June 2020; Published: 8 June 2020

**Abstract:** This paper mainly deals with introducing and studying the properties of generalized nabla differentiability for fuzzy functions on time scales via Hukuhara difference. Further, we obtain embedding results on E*<sup>n</sup>* for generalized nabla differentiable fuzzy functions. Finally, we prove a fundamental theorem of a nabla integral calculus for fuzzy functions on time scales under generalized nabla differentiability. The obtained results are illustrated with suitable examples.

**Keywords:** fuzzy functions time scales; Hukuhara difference; generalized nabla Hukuhara derivative; fuzzy nabla integral

#### **1. Introduction**

The theory of dynamic equations on time scales is a genuinely new subject and the research related to this area is developing rapidly. Time scale theory has been developed to unify continuous and discrete structures, and it allows solutions for both differential and difference equations at a time and extends those results to dynamic equations. Basic results in time scales and dynamic equations on time scales are found in [1–6]. In [7], the author illustrated an example where delta derivative needs more assumptions than nabla derivative. Some recent studies in economics [8], production, inventory models [9], adaptive control [10], neural networks [11], and neural cellular networks [12] suggest nabla derivative is also preferable and it has fewer restrictions than delta derivative on time scales.

On the other hand, when we expect to investigate a real world phenomenon absolutely, it is important to think about a number of unsure factors too. To specify these vague or imprecise notions, Zadeh [13] established fuzzy set theory. The theory of fuzzy differential equations (FDEs) and its applications was developed and studied by Kaleva [14], Lakshmikantham and Mohapatra [15]. The concept based on Hukuhara differentiability has a shortcoming that the solution to a FDEs exists only for increasing length of support. To overcome this shortcoming, Bede and Gal [16] studied generalized Hukuhara differentiability for fuzzy functions. In light of this preferred advantage, many authors [17–19] tend their enthusiasm to the generalized Hukuhara differentiability for fuzzy set valued functions.

The calculus of fuzzy functions on time scales was studied by Fard and Bidgoli [20]. Vasavi et al. [21–24] introduced Hukuhara delta derivative, second-type Hukuhara delta derivative, and generalized Hukuhara delta derivatives by using Hukuhara difference, and they studied fuzzy dynamic equations on time scales. Wang et al. [25] introduced and studied almost periodic fuzzy vector-valued functions on time scales. Deng et al. [26] studied fractional nabla-Hukuhara

derivative on time scales. Recently, Leelavathi et al. [27] introduced and studied properties of nabla Hukuhara derivative for fuzzy functions on time scales. However, this derivative has the disadvantage that it exists only for the fuzzy functions on time scales which have a diameter with an increasing length. For the fuzzy functions with decreasing length of diameter on time scales, Leelavathi et al. [28] introduced the second-type nabla Hukuhara derivative and studied its properties. Later, they continued to study fuzzy nabla dynamic equations under the first and second-type nabla Hukuhara derivatives in [29] under generalized differentiability by using generalized Hukuhara difference in [30]. Consider a simple fuzzy function *F*(*s*) = *s* ! *c*, *s* ∈ T ∩ [−2, 2], where *c* = (1, 2, 3) is a triangular fuzzy number. Clearly, *F*(*s*) has decreasing length of diameter in T ∩ [−2, 0] and increasing length of diameter in T ∩ [0, 2]. Therefore, the fuzzy function *F*(*s*) is neither a nabla Hukuhara differentiable (as defined in [27]) nor a second-type nabla Hukuhara differentiable (as defined in [28]) on T ∩ [−2, 2]. In this context, it is required to define a nabla Hukuhara derivative for a fuzzy function which may have both increasing and decreasing length of diameter on a time scale. To address this issue, in the present work, we define a new derivative called generalized nabla derivative for fuzzy functions on time scales via Hukuhara difference and study their properties. In [31], the authors introduced a nabla integral for fuzzy functions on time scales and obtained fundamental properties. In the present work, we continue to study nabla integral for fuzzy functions on time scales and prove a fundamental theorem of nabla integral calculus for generalized nabla differentiable functions.

The rest of this paper is arranged as follows. In Section 2, we present some basic definitions, properties, and results relating to the calculus of fuzzy functions on time scales. In Section 3, we establish the nabla Hukuhara generalized derivative for fuzzy functions on time scales and obtain its fundamental properties. The results are highlighted with suitable examples. In Section 4, we prove an embedding theorem on E*<sup>n</sup>* and obtain the results connecting to generalized nabla differentiability on time scales. Using these results, we finally prove the fundamental theorem of nabla integral calculus for fuzzy functions on time scales under generalized nabla differentiability and a numerical example is provided to verify the validity of the theorem.

#### **2. Preliminaries**

Let *k*( *<sup>n</sup>*) be the family of all nonempty convex compact subsets of *<sup>n</sup>*. Define the set addition and scalar multiplication in *k*( *<sup>n</sup>*) as usual. Then, by [14], *k*( *<sup>n</sup>*) is a commutative semi-group under addition with cancellation laws. Further, if *β*, *γ* ∈ and *U*, *V* ∈ *k*( *<sup>n</sup>*), then

$$
\beta \odot (\mathcal{U} \oplus \mathcal{V}) = (\beta \odot \mathcal{U}) \oplus (\beta \odot \mathcal{V}), \quad \beta(\gamma \odot \mathcal{U}) = (\beta \gamma) \odot \mathcal{U}, \ 1 \odot \mathcal{U} = \mathcal{U}, \ \text{and if}
$$

$$
\beta, \gamma \ge 0 \text{ then} \\
(\beta \oplus \gamma)\mathcal{U} = \beta \odot \mathcal{U} \oplus \gamma \odot \mathcal{U}.
$$

Let *P* and *Q* be two bounded nonempty subsets of *<sup>n</sup>*. By using the Pampeiu–Hausdorff metric, we define the distance between *P* and *Q* as follows:

$$d\_H(P,Q) = \max\_{p \in P} \{ \sup\_{q \in Q} \inf\_{\substack{q \in Q \\ q \in Q}} ||p - q||\_{\prime} \sup\_{p \in P} \inf\_{q \in P} ||p - q||\_{\prime} \}$$

where . is the Euclidean norm in *<sup>n</sup>*. Then, ( *k*( *<sup>n</sup>*), *dH*) becomes a separable and complete metric space [14].

Define:

E*<sup>n</sup>* = {*u* : *<sup>n</sup>* <sup>→</sup> [0, 1]|*<sup>u</sup>* satisfies(a)–(d) below}, where


For 0 ≤ *λ* ≤ 1, denote [*u*] *<sup>λ</sup>* <sup>=</sup> {*<sup>t</sup>* <sup>∈</sup>*<sup>n</sup>* : *<sup>u</sup>*(*t*) <sup>≥</sup> *<sup>λ</sup>*}; then, from the above conditions, we have that the *λ*-level set [*u*] *<sup>λ</sup>* <sup>∈</sup>*k*( *<sup>n</sup>*). By Zadeh's extension principle, a mapping *<sup>h</sup>* : <sup>R</sup>*<sup>n</sup>* <sup>×</sup> <sup>R</sup>*<sup>n</sup>* <sup>→</sup> <sup>R</sup>*<sup>n</sup>* can br extended to *<sup>g</sup>* : <sup>E</sup>*<sup>n</sup>* <sup>×</sup> <sup>E</sup>*<sup>n</sup>* <sup>→</sup> <sup>E</sup>*<sup>n</sup>* by

$$\lg(s, t)(z) = \sup\_{z = \wp(x, y)} \min\{s(x), t(y)\}.$$

We have [*h*(*p*, *q*)]*<sup>λ</sup>* = *h*([*p*] *<sup>λ</sup>*, [*q*] *<sup>λ</sup>*), for all *<sup>p</sup>*, *<sup>q</sup>* <sup>∈</sup> <sup>E</sup>*<sup>n</sup>* and *<sup>h</sup>* is continuous. The scalar multiplication ! and addition ⊕ of *p*, *q* ∈ E*<sup>n</sup>* is defined as [*p* ⊕ *q*] *<sup>λ</sup>* = [*p*] *<sup>λ</sup>* + [*q*] *<sup>λ</sup>*, [*<sup>c</sup>* ! *<sup>p</sup>*] *<sup>λ</sup>* = *c*[*p*] *<sup>λ</sup>*, where *<sup>p</sup>*, *<sup>q</sup>* <sup>∈</sup> E*n*, *c* ∈ , 0 ≤ *λ* ≤ 1.

Define *DH* : E*<sup>n</sup>* × E*<sup>n</sup>* → [0, ∞) by the equation

$$D\_H(s,t) = \sup\_{0 \le \lambda \le 1} d\_H([s]^\lambda, [t]^\lambda),$$

where *dH* is the Pampeiu–Hausdorff metric defined in *k*( *<sup>n</sup>*). Then, (E*n*, *DH*) is a complete metric space [14]. The following theorem extends the properties of addition and scalar multiplication of fuzzy number valued functions ( *<sup>F</sup>* = E1) to E*<sup>n</sup>* [14].

The properties of addition and scalar multiplication of fuzzy number valued functions ( *<sup>F</sup>* = E1) are easily extended to E*n*.

#### **Theorem 1** ([32])**.**


**Definition 1** ([14])**.** *Let K*, *L* ∈ E*n. If there exists M* ∈ E*<sup>n</sup> such that K* = *L* ⊕ *M, then we say that M is the Hukuhara difference of K and L and is denoted by K* #*<sup>h</sup> L.*

For any *K*, *L*, *M*, *N* ∈ E*<sup>n</sup>* and *β* ∈ , the following hold:


provided the Hukuhara differences exists.

A triangular fuzzy number is denoted by three points as *t* = (*t*1, *t*2, *t*3). This representation is denoted as membership function

$$\mu\_t(\mathbf{x}) = \begin{cases} 0, & \mathbf{x} < t\_1 \\ \frac{\mathbf{x} - t\_1}{t\_2 - t\_1}, & t\_1 \le x \le t\_2 \\ \frac{t\_3 - \mathbf{x}}{t\_3 - t\_2}, & t\_2 \le x \le t\_3 \\ 0, & \mathbf{x} > t\_3 \end{cases}$$

In addition, *λ*-level sets of triangular fuzzy number *t* is an interval defined by *λ*-cut operation, *t<sup>λ</sup>* = [(*t*<sup>2</sup> − *t*1)*λ* + *t*1, *t*<sup>3</sup> − (*t*<sup>3</sup> − *t*2)*λ*], for all *λ* ∈ [0, 1]. Clearly, the triangular fuzzy number is in E1.

Let *T* = (*t*1, *t*2, *t*3), *S* = (*s*1,*s*2, 33) be two triangular fuzzy numbers in E1. The addition and scalar multiplication are defined as:

$$S \oplus T = (t\_1 + s\_1, t\_2 + s\_2, t\_3 + s\_3),$$

$$k \odot T = \begin{cases}(kt\_1, kt\_2, kt\_3) & if \ k > 0, \\(kt\_3, kt\_2, kt\_1) & if \ k < 0, \\\hat{0} & if \ k = 0 \end{cases}$$

**Remark 1.** *From Theorem 1(c), we can deduce that, for any β*, *γ* ∈ *and s* ∈ E*n.*


#### **Proof.**


Now, we discuss the differentiability and integrability of fuzzy functions on *I* = [*a*, *b*] ⊂ (where *I* is a compact interval).

**Definition 2** ([14])**.** *A mapping* Φ : *I* → E*<sup>n</sup> is said to be strongly measurable if, for each λ* ∈ [0, 1]*, the fuzzy function* Φ*<sup>λ</sup>* : *I* → *k*( *<sup>n</sup>*) *defined by* Φ*λ*(*s*)=[Φ(*s*)]*<sup>λ</sup> is measurable.*

**Remark 2** ([14])**.** *A mapping* Φ : *I* → E*<sup>n</sup> is said to be integrably bounded if there exists an integrable function h such that x* ≤ *h*(*s*)*, for all x* ∈ Φ0(*s*)*.*

**Definition 3** ([14])**.** *Let* <sup>Φ</sup> : *<sup>I</sup>* → E*n. The integral of* <sup>Φ</sup> *over I is denoted by <sup>I</sup>* <sup>Φ</sup>(*s*)*ds or <sup>y</sup> <sup>x</sup>* Φ(*s*)*ds,*

$$\begin{aligned} \left[\int\_I \Phi(\mathbf{s})d\mathbf{s}\right]^\lambda &= \int\_I \Phi\_\lambda(\mathbf{s})d\mathbf{s} \\ &= \left\{\int\_I \mathbf{g}(\mathbf{s})ds \quad /\Phi : I \to \mathfrak{R}^n\right\}, \end{aligned}$$

*where g is a level wise selection of measurable functions of* Φ*<sup>λ</sup> for* 0 < *λ* ≤ 1*.*

*;*

A mapping Φ : *I* → E*<sup>n</sup>* is said to be integrable over *I* if Φ is integrably bounded and strongly measurable function and also *<sup>I</sup>* Φ(*s*)*ds* ∈ E*n*.

**Theorem 2** ([14])**.** *Let* Φ, Ψ : *I* → E*<sup>n</sup> be integrable. Then,*


**Definition 4** ([18])**.** *A fuzzy function* Φ : *I* → E*<sup>n</sup> is said to be differentiable from left at s*<sup>0</sup> *if for δ* > 0*, there exists P* ∈ E*n, such that the following holds:*

$$\Phi(a) \quad \text{for } 0 < \hbar < \delta,\\ \Phi(\mathbf{s}\_0) \ominus\_{\hbar} \Phi(\mathbf{s}\_0 - \hbar) \text{ exist and} \\ \lim\_{\hbar \to 0^+} \frac{1}{\hbar} \ominus \left(\Phi(\mathbf{s}\_0) \ominus\_{\hbar} \Phi(\mathbf{s}\_0 - \hbar)\right) = P;$$

$$\Phi(b) \quad \text{for } 0 < \hbar < \delta,\\ \Phi(\mathbf{s}\_0 - \hbar) \big) \ominus\_{\hbar} \Phi(\mathbf{s}\_0) \text{ exist and } \lim\_{\hbar \to 0^+} \frac{-1}{\hbar} \bigcirc \left(\Phi(\mathbf{s}\_0 - \hbar)\right) \ominus\_{\hbar} \Phi(\mathbf{s}\_0) = P.$$
 
$$\text{Here, } \mathbf{P} \text{ is the derivative of } \Phi \text{ from left at } \mathbf{s}\_0 \text{ and is denoted as } \Phi\_-^{'}(\mathbf{s}\_0).$$

**Definition 5** ([18])**.** *A fuzzy function* Φ : *I* → E*<sup>n</sup> is said to be differentiable from right at s*<sup>0</sup> *if, for δ* > <sup>0</sup>*, there exists P* ∈ E*n, such that the following holds:*

*or*

*or*

$$\Phi(\mathsf{a}) \quad \text{for } 0 < \mathsf{h} < \delta,\\ \Phi(\mathsf{s}\_0 + \mathsf{h}) \ominus\_{\mathsf{h}} \Phi(\mathsf{s}\_0) \text{ exist and}\\ \lim\_{\mathsf{h} \to 0^+} \frac{1}{\mathsf{h}} \ominus \left(\Phi(\mathsf{s}\_0 + \mathsf{h}) \ominus\_{\mathsf{h}} \Phi(\mathsf{s}\_0)\right) = P;$$

*(b) for* <sup>0</sup> < *<sup>h</sup>*¯ < *<sup>δ</sup>,* <sup>Φ</sup>(*s*0) #*<sup>h</sup>* <sup>Φ</sup>(*s*<sup>0</sup> + *<sup>h</sup>*¯) *exist and* lim*h*¯→0<sup>+</sup> −1 *<sup>h</sup>*¯ ! (Φ(*s*0) #*<sup>h</sup>* <sup>Φ</sup>(*s*<sup>0</sup> <sup>+</sup> *<sup>h</sup>*¯)) = *<sup>P</sup>*.

*Here, P is the derivative of* Φ *from right at s*<sup>0</sup> *and is denoted as* Φ +(*s*0)*. The limits are taken over* (E*n*, *DH*)*.*

**Definition 6** ([18])**.** *If* Φ *is both left-differentiable and right-differentiable at s*0*, then* Φ *is said to be differentiable at s*<sup>0</sup> *and* Φ <sup>−</sup>(*s*0) = <sup>Φ</sup> +(*s*0) = *P . Here, P is called the derivative of* Φ *at s*<sup>0</sup> *and we consider one-sided derivative at the end points of I.*

**Remark 3** ([18])**.** *If* Φ *is differentiable at s*0*, then there exists a δ* > 0*, such that:*

*(a) For* 0 < *h*¯ < *δ,* Φ(*s*<sup>0</sup> − *h*¯) #*<sup>h</sup>* Φ(*s*0) *or* Φ(*s*0) #*<sup>h</sup>* Φ(*s*<sup>0</sup> − *h*¯) *exists.*

*(b) For* 0 < *h*¯ < *δ,* Φ(*s*<sup>0</sup> + *h*¯) #*<sup>h</sup>* Φ(*s*0) *or* Φ(*s*0) #*<sup>h</sup>* Φ(*s*<sup>0</sup> + *h*¯) *exists.*

#### **3. Generalized Nabla Hukuhara Differentiability on Time Scales**

This section is concerned with defining and studying the properties of <sup>∇</sup>*<sup>g</sup>* derivative for fuzzy functions on time scales. In addition, we illustrate the results with suitable examples.

**Definition 7** ([21])**.** *For any given* <sup>&</sup>gt; <sup>0</sup>*, there exists a <sup>δ</sup>* <sup>&</sup>gt; <sup>0</sup>*, such that the fuzzy function* <sup>Φ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>E</sup>*<sup>n</sup> has a unique* <sup>T</sup>*-limit <sup>P</sup>* <sup>∈</sup> <sup>E</sup>*<sup>n</sup> at <sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *if DH*(Φ(*s*) #*<sup>h</sup> <sup>P</sup>*, 0ˆ) <sup>≤</sup> *, for all <sup>s</sup>* <sup>∈</sup> *<sup>N</sup>*T[*a*,*b*](*s*, *<sup>δ</sup>*) *and it is denoted by* <sup>T</sup> <sup>−</sup> lim*s*→*s*<sup>0</sup> Φ(*s*)*.*

Here, T-limit denotes the limit on time scale in the metric space (E*n*, *DH*).

**Remark 4.** *From the above definition, we have*

$$\mathbb{T} - \lim\_{s \to \epsilon\_0} \Phi(s) = P \in \mathbb{E}\_{\mathfrak{u}} \Longleftrightarrow \mathbb{T} - \lim\_{s \to \epsilon\_0} (\Phi(s) \ominus\_h P) = \bullet\_\prec$$

*where the zero element in* E*<sup>n</sup> is given by* 0ˆ*.*

**Definition 8.** *A fuzzy mapping* <sup>Φ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>E</sup>*<sup>n</sup> is continuous at <sup>s</sup>*<sup>0</sup> <sup>∈</sup> <sup>T</sup>*, if* <sup>T</sup> <sup>−</sup> lim*s*→*s*<sup>0</sup> Φ(*s*) ∈ E*<sup>n</sup> exists and* <sup>T</sup> <sup>−</sup> lim*s*→*s*<sup>0</sup> Φ(*s*) = Φ(*s*0)*, i.e.,*

$$\operatorname{T} - \lim\_{s \to s\_0} (\Phi(s) \ominus\_h \Phi(s\_0)) = \hat{0}.$$

**Remark 5.** *If* <sup>Φ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>E</sup>*<sup>n</sup> is continuous at <sup>s</sup>*<sup>0</sup> <sup>∈</sup> <sup>T</sup>[*a*,*b*] *, then, for every* > 0*, there exists a δ* > 0*, such that*

$$D\_H(\Phi(\mathbf{s}) \ominus\_h \Phi(\mathbf{s}\_0), \mathbf{\bullet}) \le \epsilon, \text{ for all } \mathbf{s} \in \mathsf{N}\_{\mathbb{T}^{[a,b]}}.$$

**Remark 6.** *Let* <sup>Φ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>E</sup>*<sup>n</sup> and s*<sup>0</sup> <sup>∈</sup> <sup>T</sup>[*a*,*b*] *.*


**Definition 9.** *A fuzzy function* <sup>Φ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>E</sup>*<sup>n</sup> is said to be* <sup>∇</sup>*<sup>g</sup> left-differentiable at <sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup> , if there exists an element* Φ∇*<sup>g</sup>* <sup>−</sup> (*s*) <sup>∈</sup> <sup>E</sup>*<sup>n</sup> with the property that, for any given* <sup>&</sup>gt; <sup>0</sup>*, there exists a <sup>N</sup>*T[*a*,*b*] *of <sup>s</sup> for some <sup>δ</sup>* <sup>&</sup>gt; <sup>0</sup> *and* 0 ≤ *h*¯ ≤ *δ,*

$$D\_H[\Phi(\varrho(\mathbf{s})) \odot\_{\hbar} \Phi(\mathbf{s} - \hbar), (\hbar - \nu(\mathbf{s})) \odot \Phi\_{-}^{\nabla t}(\mathbf{s})] \leq \varepsilon |\hbar - \nu(\mathbf{s})| \tag{1}$$

*or*

$$D\_H[\Phi(\mathbf{s} - \hbar) \ominus\_{\hbar} \Phi(\varrho(\mathbf{s})), -(\hbar - \nu(\mathbf{s})) \ominus \Phi\_-^{\nabla t}(\mathbf{s})] \le \mathfrak{e} |- (\hbar - \nu(\mathbf{s}))|\,\tag{2}$$

*for all s* <sup>−</sup> *<sup>h</sup>*¯ <sup>∈</sup> *<sup>N</sup>*T[*a*,*b*] *, where <sup>ν</sup>*(*s*) = *<sup>s</sup>* <sup>−</sup> (*s*)*,* <sup>Φ</sup>∇*<sup>g</sup>* <sup>−</sup> (*s*) *is the generalized nabla left-derivative of* <sup>Φ</sup> *at s.*

**Definition 10.** *A fuzzy function* <sup>Φ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>E</sup>*<sup>n</sup> is said to be* <sup>∇</sup>*<sup>g</sup> right-differentiable at <sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup> , if there exists an element* Φ∇*<sup>g</sup>* <sup>+</sup> (*s*) ∈ E*<sup>n</sup> with the property that, for every given* > <sup>0</sup>*, there exists a neighborhood N*T[*a*,*b*] *of s for some δ* > 0 *and* 0 ≤ *h*¯ ≤ *δ,*

$$D\_H[\Phi(s+\hbar)\ominus\_h \Phi(\varrho(s)), (\hbar + \nu(s)) \ominus \Phi\_+^{\nabla \varepsilon}(s)] \le \varepsilon |\hbar + \nu(s)|\tag{3}$$

*or*

$$D\_H[\Phi(\varrho(s)) \ominus\_\hbar \Phi(s+\hbar), -(\hbar + \nu(s)) \ominus \Phi\_+^{\nabla s}(s)] \le \mathfrak{e}|- (\hbar + \nu(s))|\,\prime}\tag{4}$$

*for all s* <sup>+</sup> *<sup>h</sup>*¯ <sup>∈</sup> *<sup>N</sup>*[*a*,*b*] <sup>T</sup> *, where <sup>ν</sup>*(*s*) = *<sup>s</sup>* <sup>−</sup> (*s*)*,* <sup>Φ</sup>∇*<sup>g</sup>* <sup>+</sup> (*s*) *is the generalized nabla right-derivative of* Φ *at s.*

**Definition 11.** *A fuzzy function* <sup>Φ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>E</sup>*<sup>n</sup> is said to be* <sup>∇</sup>*<sup>g</sup> differentiable at <sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup> , if* Φ *is both rightand left-differentiable at s* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup> and*

$$
\Phi\_+^{\nabla^{\mathcal{S}}}(s) = \Phi\_-^{\nabla^{\mathcal{S}}}(s) = \Phi^{\nabla^{\mathcal{S}}}(s).
$$

*Here,* Φ∇*<sup>g</sup>* <sup>+</sup> (*s*) *or* <sup>Φ</sup>∇*<sup>g</sup>* <sup>−</sup> (*s*) *is called* <sup>∇</sup>*g-derivative of* <sup>Φ</sup> *at <sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup> and it is denoted by* <sup>Φ</sup>∇*<sup>g</sup>* (*s*)*. Moreover, if* <sup>∇</sup>*<sup>g</sup> derivative exists at each s* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup> , then* <sup>Φ</sup> *is* <sup>∇</sup>*<sup>g</sup> differentiable on* <sup>T</sup>[*a*,*b*] *<sup>k</sup> .*

**Theorem 3.** *Let* <sup>Φ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>E</sup>*<sup>n</sup> be a fuzzy function and s* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup> , then:*


$$\lim\_{\hbar \to 0^+} \frac{1}{\hbar} \odot (\Phi(s) \ominus\_{\hbar} \Phi(s-\hbar)) \\
or \\
\lim\_{\hbar \to 0^+} \frac{-1}{\hbar} \odot (\Phi(s-\hbar) \ominus\_{\hbar} \Phi(s))$$

$$\lim\_{\hbar \to 0^+} \frac{1}{\hbar} \odot (\Phi(s+\hbar) \ominus\_{\hbar} \Phi(s)) \\
or \\
\lim\_{\hbar \to 0^+} \frac{-1}{\hbar} \odot (\Phi(s) \ominus\_{\hbar} \Phi(s+\hbar)).$$

*exist as a finite number and holds any one of the following:*

$$(i)\lim\_{\hbar \to 0^{+}} \frac{1}{\hbar} \odot (\Phi(s) \ominus\_{\hbar} \Phi(s - \hbar)) = \Phi^{\nabla^{\sharp}}(s) = \lim\_{\hbar \to 0^{+}} \frac{1}{\hbar} \odot (\Phi(s + \hbar) \ominus\_{\hbar} \Phi(s));$$

$$\begin{aligned} (ii) \lim\_{\hbar \to 0^{+}} \frac{1}{\hbar} \odot (\Phi(s) \ominus\_{\hbar} \Phi(s-\hbar)) &= \Phi^{\nabla t}(s) = \lim\_{\hbar \to 0^{+}} \frac{-1}{\hbar} \odot (\Phi(s) \ominus\_{\hbar} \Phi(s+\hbar)); \\\\ (iii) \lim\_{\hbar \to 0^{+}} \frac{-1}{\hbar} \odot (\Phi(s-\hbar) \ominus\_{\hbar} \Phi(s)) &= \Phi^{\nabla t}(s) = \lim\_{\hbar \to 0^{+}} \frac{1}{\hbar} \odot (\Phi(s+\hbar) \ominus\_{\hbar} \Phi(s)); \\\\ (iv) \lim\_{\hbar \to 0^{+}} \frac{-1}{\hbar} \odot (\Phi(s-\hbar) \ominus\_{\hbar} \Phi(s)) &= \Phi^{\nabla t}(s) = \lim\_{\hbar \to 0^{+}} \frac{-1}{\hbar} \odot (\Phi(s) \ominus\_{\hbar} \Phi(s+\hbar)). \end{aligned}$$

**Proof.** (**a**) Suppose that <sup>Φ</sup> is <sup>∇</sup>*<sup>g</sup>* differentiable at *<sup>s</sup>*. Let <sup>∈</sup> (0, 1). Choose <sup>1</sup> <sup>=</sup> [<sup>1</sup> <sup>+</sup> *<sup>K</sup>* <sup>+</sup> <sup>2</sup>*ν*(*s*)]−1, where *<sup>K</sup>* = *DH*[Φ∇*<sup>g</sup>* <sup>−</sup> (*s*), 0ˆ]. Clearly, <sup>1</sup> <sup>∈</sup> (0, 1). Since <sup>Φ</sup> is <sup>∇</sup>*<sup>g</sup>* left-differentiable, there exists *<sup>N</sup>*T[*a*,*b*] <sup>a</sup> neighborhood of *s* such that, for all ¯*h* ≥ 0 with *s* − *h*¯ ∈ *N*T[*a*,*b*] ,

$$D\_H[\Phi(\varrho(s)) \ominus\_\hbar \Phi(s-\hbar), (\hbar - \nu(s)) \ominus \Phi\_-^{\nabla^{\mathcal{S}}}(s)] \le \epsilon |\hbar - \nu(s)|\_{\prime}$$

or

$$D\_H[\Phi(\mathbf{s} - \hbar) \ominus\_h \Phi(\varrho(\mathbf{s})), -(\hbar - \nu(\mathbf{s})) \ominus \Phi\_-^{\nabla \varepsilon}(\mathbf{s})] \le \varepsilon |- (\hbar - \nu(\mathbf{s}))|.$$

For 0 <sup>≤</sup> *<sup>h</sup>*¯ <sup>&</sup>lt; <sup>1</sup> and for all ¯*<sup>h</sup>* <sup>≥</sup> 0, to each *<sup>s</sup>* <sup>−</sup> *<sup>h</sup>*¯ <sup>∈</sup> *<sup>N</sup>*T[*a*,*b*] <sup>∩</sup> (*<sup>s</sup>* <sup>−</sup> *<sup>h</sup>*¯,*<sup>s</sup>* <sup>+</sup> *<sup>h</sup>*¯), we have,

$$\begin{split} D\_{H}[\Phi(s),\Phi(s-\hbar)] &= D\_{H}[\Phi(s)\ominus\_{\hbar}\Phi(s-\hbar),\hat{0}] \\ &= D\_{H}[\Phi(s)\ominus\_{\hbar}\Phi(\varrho(s))\ominus\Phi(\varrho(s))\ominus\_{\hbar}\Phi(s-\hbar), \\ & (\hbar-\nu(s))\ominus\Phi^{\nabla^{s}}(s)\oplus\nu(s)\ominus\Phi^{\nabla^{s}}(s) \\ &\oplus(-\hbar)\odot\Phi^{\nabla^{s}}(s)] \\ &\leq D\_{H}[\Phi(\varrho(s))\ominus\_{\hbar}\Phi(s-\hbar),(\hbar-\nu(s))\ominus\Phi^{\nabla^{s}}(s)] \\ &+ D\_{H}[\Phi(s)\ominus\_{\hbar}\Phi(\varrho(s)),\nu(s)\ominus\Phi^{\nabla^{s}}(s)] \\ &+ hD\_{H}[\Phi^{\nabla^{s}}(s),\hat{0}] \\ &\leq \epsilon^{1}[\hbar-\nu(s)]+\epsilon^{1}\nu(s)+\hbar K \\ &= \epsilon^{1}\hbar+\hbar K+2\epsilon^{1}\nu(s) \\ &< \epsilon^{1}(1+K+2\upsilon(s))=\epsilon. \end{split}$$

Similarly, we can prove <sup>Φ</sup> is continuous at *<sup>s</sup>*, if <sup>∇</sup>*<sup>g</sup>* is right-differentiable at *<sup>s</sup>*.

(**b**) Suppose that <sup>Φ</sup> is <sup>∇</sup>*<sup>g</sup>* differentiable at *<sup>s</sup>* and *<sup>s</sup>* is left dense. To each <sup>≥</sup> 0, there exists a neighborhood *N*T[*a*,*b*] of *s* such that

$$D\_H\left[\Phi(\varrho(\mathbf{s})) \ominus\_h \Phi(\mathbf{s} - \hbar), (\hbar - \nu(\mathbf{s})) \ominus \Phi\_-^{\nabla^{\xi}}(\mathbf{s})\right] \le \mathfrak{e} |\hbar - \nu(\mathbf{s})|^2$$

or

$$D\_H\left[\Phi(\mathbf{s}-\hbar)\ominus\_{\hbar}\Phi(\varrho(\mathbf{s})), (\nu(\mathbf{s})-\hbar)\ominus\Phi\_{-}^{\nabla^{\mathbf{s}}}(\mathbf{s})\right] \leq \mathfrak{e}|-(\hbar-\nu(\mathbf{s}))|\_{\prime}$$

and

$$D\_H\left[\Phi(\mathbf{s}+\hbar)\ominus\_h \Phi(\varrho(\mathbf{s})), (\hbar+\nu(\mathbf{s})) \ominus \Phi\_+^{\nabla^{\xi}}(\mathbf{s})\right] \le \mathfrak{e}|\hbar+\nu(\mathbf{s})|$$

or

$$D\_H\left[\Phi(\varrho(s)) \ominus\_{\mathbb{H}} \Phi(s+\hbar), -(\hbar + \nu(s)) \ominus \Phi\_+^{\nabla \ell}(s)\right] \le \epsilon |- (\hbar + \nu(s))|\nu$$

for all *s* − *h*¯,*s* + *h*¯ ∈ *N*T[*a*,*b*] , 0 ≤ *h*¯ ≤ *δ*. Since *s* is left dense, (*s*) = *s*, *ν*(*s*) = 0, we have

$$D\_H\left[\frac{1}{\hbar}[\Phi(s)\ominus\_h\Phi(s-\hbar)],\Phi\_-^{\nabla^{\sharp}}(s)\right]\le\epsilon$$

or

$$D\_H\left[\frac{-1}{\hbar}[\Phi(s-\hbar)\ominus\_\hbar \Phi(s)], \Phi\_-^{\nabla^t}(s)\right] \le \epsilon^2$$
 
$$\text{and}$$

$$\_{and}$$

$$\begin{aligned} D\_H \left[ \frac{1}{\hbar} [\Phi(\mathbf{s} + \hbar) \ominus\_{\hbar} \Phi(\mathbf{s})], \Phi\_+^{\nabla^{\mathbf{s}}}(\mathbf{s}) \right] &\leq \varepsilon \\\\ D\_H \left[ \frac{-1}{\hbar} [\Phi(\mathbf{s}) \ominus\_{\hbar} \Phi(\mathbf{s} + \hbar)], \Phi\_+^{\nabla^{\mathbf{s}}}(\mathbf{s}) \right] &\leq \varepsilon\_{\prime} \end{aligned}$$

or

for *s* − *h*¯,*s* + *h*¯ ∈ *N*T[*a*,*b*] , 0 ≤ *h*¯ ≤ *δ*. Since is arbitrary, we get any one of (i)–(iv).

The converse proposition of Theorem 3(a) may not be true. That is a fuzzy function which is continuous may not be differentiable.

**Example 1.** *Let* <sup>Φ</sup> : <sup>T</sup>[0,4*π*] <sup>→</sup> <sup>E</sup><sup>1</sup> *be a fuzzy function defined as follows:*

$$\Phi(s) = \begin{cases} \sin(s) \odot c, \text{if } \quad m\pi \le s \le (4m+1)\frac{\pi}{4} \\ \cos(s) \odot c, \text{if } \quad (4m+1)\frac{\pi}{4} \le s \le (4m+1)\frac{\pi}{2} \end{cases}$$

*where m* = 0, 1, 2, 3*,* T = *P<sup>π</sup>* <sup>2</sup> , *<sup>π</sup>* <sup>2</sup> = ; ∞ *k*=0 *<sup>k</sup>π*, *<sup>k</sup><sup>π</sup>* <sup>+</sup> *<sup>π</sup>* 2 . *and c* = (2, 4, 6) *is a triangular fuzzy number. Since*

$$\mathbb{T} - \lim\_{s \to \frac{\pi}{4}^-} \Phi(s) = \sin(\frac{\pi}{4}) \odot c = \frac{1}{\sqrt{2}} \odot c$$

*and*

$$\mathbb{T}-\lim\_{s\to\frac{\pi}{4}^+}\Phi(s)=\cos(\frac{\pi}{4})\odot c=\frac{1}{\sqrt{2}}\odot c.$$

*In addition,* T − lim *<sup>s</sup>*<sup>→</sup> *<sup>π</sup>* 4 Φ(*s*)) = Φ( *<sup>π</sup>* <sup>4</sup> ) = <sup>1</sup> √2 ! *c. Then, from Remark 6(c),* <sup>Φ</sup> *is continuous at <sup>s</sup>* <sup>=</sup> *<sup>π</sup>* 4 *(See Figure 1). Since s* = *<sup>π</sup>* <sup>4</sup> *is dense,* sin *<sup>π</sup>* <sup>4</sup> <sup>&</sup>gt; sin( *<sup>π</sup>* <sup>4</sup> − *h*) > 0*, for h sufficiently small, and, from Remark 1(a), we have*

$$\begin{split} \Phi\_{-}^{\nabla^{\xi}}(s) &= \lim\_{\hbar \to 0} \frac{1}{\hbar} \odot \left( \Phi(\frac{\pi}{4}) \odot\_{\hbar} \Phi(\frac{\pi}{4} - \hbar) \right) \\ &= \lim\_{\hbar \to 0} \frac{1}{\hbar} \odot \left( \left( \sin \frac{\pi}{4} \odot c \right) \odot\_{\hbar} \left( \sin(\frac{\pi}{4} - \hbar) \odot c \right) \right) \\ &= \lim\_{\hbar \to 0} \frac{\left( \sin(\frac{\pi}{4}) - \sin(\frac{\pi}{4} - \hbar) \right)}{\hbar} \odot c \\ &= \frac{1}{\sqrt{2}} \odot c. \end{split}$$

*In a similarly way,*

$$\begin{split} \Phi\_{+}^{\nabla t}(s) &= \lim\_{\hbar \to 0} \frac{1}{-\hbar} \odot \left( \Phi(\frac{\pi}{4} \odot c) \odot\_{\hbar} \Phi(\frac{\pi}{4} + \hbar) \odot c \right) \\ &= \lim\_{\hbar \to 0} \frac{\left( \cos(\frac{\pi}{4}) - \cos(\frac{\pi}{4} + \hbar) \right)}{-\hbar} \odot c \\ &= \frac{-1}{\sqrt{2}} \odot c. \end{split}$$

*Therefore,* Φ∇*<sup>g</sup>* <sup>−</sup> (*s*) <sup>=</sup> <sup>Φ</sup>∇*<sup>g</sup>* <sup>+</sup> (*s*)*. Hence,* <sup>Φ</sup> *is not* <sup>∇</sup>*<sup>g</sup> differentiable at s* <sup>=</sup> *<sup>π</sup>* 4 *.*

**Figure 1.** Graphical Representation of Φ(*s*) in Example 1.

Definition 11 can equivalently be written as follows:

**Remark 7.** *If* <sup>Φ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>E</sup>*<sup>n</sup> is* <sup>∇</sup>*<sup>g</sup> differentiable at <sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup> if and only if there exists an element* Φ∇*<sup>g</sup>* (*s*) ∈ E*n, such that any one of the following holds:*

*(GH1) for* 0 < *h*¯ < *δ, provided the Hukuhara difference* Φ((*s*)) #*<sup>h</sup>* Φ(*s* − *h*¯)*,* Φ(*s* + *h*¯) #*<sup>h</sup>* Φ((*s*)) *and the limits exist*

$$\begin{aligned} &\mathbb{T}-\lim\_{\hbar\to 0} \frac{1}{\hbar-\nu(s)} \odot \left(\Phi(\varrho(s)) \ominus\_{\hbar} \Phi(s-\hbar)\right) \\ &= \mathbb{T}-\lim\_{\hbar\to 0} \frac{1}{\hbar+\nu(s)} \odot \left(\Phi(s+\hbar) \ominus\_{\hbar} \Phi(\varrho(s))\right) \\ &= \Phi^{\nabla^{\sharp}}(s) \end{aligned}$$

*or*

*(GH2) for* 0 < *h*¯ < *δ, provided the Hukuhara difference* Φ(*s* − *h*¯) #*<sup>h</sup>* Φ((*s*)*,* Φ((*s*) #*<sup>h</sup>* Φ(*s* + *h*¯) *and the limits exist*

$$\begin{aligned} &\mathbb{T}-\lim\_{\hbar\to 0} \frac{-1}{\hbar-\nu(s)} \odot \left(\Phi(s-\hbar)\ominus\_{\hbar} \Phi(\varrho(s))\right) \\ &= \mathbb{T}-\lim\_{\hbar\to 0} \frac{-1}{\hbar+\nu(s)} \odot \left(\Phi(\varrho(s)\ominus\_{\hbar} \Phi(s+\hbar))\right) \\ &= \Phi^{\nabla^{\sharp}}(s) \end{aligned}$$

*or*

*(GH3) for* 0 < *h*¯ < *δ, provided the Hukuhara difference* Φ((*s*)) #*<sup>h</sup>* Φ(*s* − *h*¯)*,* Φ((*s*)) #*<sup>h</sup>* Φ(*s* + *h*¯) *and the limits exist*

$$\begin{aligned} &\mathbb{T}-\lim\_{\hbar\to 0} \frac{1}{\hbar-\nu(s)} \odot \left(\Phi(\varrho(s)) \ominus\_{\hbar} \Phi(s-\hbar)\right) \\ &= \mathbb{T}-\lim\_{\hbar\to 0} \frac{-1}{\hbar+\nu(s)} \odot \left(\Phi(\varrho(s)) \ominus\_{\hbar} \Phi(s+\hbar)\right) \\ &= \Phi^{\nabla^{\sharp}}(s) \end{aligned}$$

*or*

*(GH4) for* 0 < *h*¯ < *δ, provided the Hukuhara difference* Φ(*s* − *h*¯) #*<sup>h</sup>* Φ((*s*))*,* Φ(*s* + *h*¯) #*<sup>h</sup>* Φ((*s*)) *and the limits exist*

$$\begin{aligned} &\mathbb{T}-\lim\_{\hbar\to 0} \frac{-1}{\hbar-\nu(s)} \odot \left(\Phi(s-\hbar)\ominus\_{\hbar} \Phi(\varrho(s))\right) \\ &= \mathbb{T}-\lim\_{\hbar\to 0} \frac{1}{\hbar+\nu(s)} \odot \left(\Phi(s+\hbar)\ominus\_{\hbar} \Phi(\varrho(s))\right) \\ &= \Phi^{\nabla^{\sharp}}(s). \end{aligned}$$

*Thus,* Φ∇*<sup>g</sup>* : T[*a*,*b*] *<sup>k</sup>* <sup>→</sup> <sup>E</sup>*<sup>n</sup> is called the* <sup>∇</sup>*<sup>g</sup> derivative of* <sup>Φ</sup> *on* <sup>T</sup>[*a*,*b*] *<sup>k</sup> .*

**Remark 8.** *Let* <sup>Φ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>E</sup>*<sup>n</sup> be* <sup>∇</sup>*<sup>g</sup> differentiable.*

*(a) If* <sup>Φ</sup> *is* (*GH*1)*-nabla differentiable at <sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup> , then there exists a δ* > 0*, such that, for* 0 ≤ *λ* ≤ 1*, we have*

$$\begin{aligned} \operatorname{diam}[\Phi(\mathbf{s} - \hbar)]^\lambda &\leq \operatorname{diam}[\Phi(\varrho(\mathbf{s}))]^\lambda \\ &\leq \operatorname{diam}[\Phi(\mathbf{s} + \hbar)]^\lambda, \operatorname{for} \quad 0 < \hbar < \delta. \end{aligned}$$

*.*

*Thus, if* Φ *is* (*GH*1)*-nabla differentiable on* T[*a*,*b*] *, then diam*[Φ(*s*)]*<sup>λ</sup> is non-decreasing on* T[*a*,*b*]

*(b) If* <sup>Φ</sup> *is* (*GH*2)*-nabla differentiable at <sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup> , then there exists a δ* > 0*, such that, for* 0 ≤ *λ* ≤ 1*, we have*

$$\begin{aligned} \operatorname{diam}[\Phi(s-\hbar)]^\lambda &\geq \operatorname{diam}[\Phi(\varrho(s))]^\lambda \\ &\geq \operatorname{diam}[\Phi(s+\hbar)]^\lambda, \quad \operatorname{for} \quad 0 < \hbar < \delta. \end{aligned}$$

*Thus, if* Φ *is* (*GH*2)*-nabla differentiable on* T[*a*,*b*] *, then diam*[Φ(*s*)]*<sup>λ</sup> is non-increasing on* T[*a*,*b*] *.*

*(c) If* <sup>Φ</sup> *is* (*GH*3)*-nabla differentiable at <sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup> , then there exists a δ* > 0*, such that, for* 0 ≤ *λ* ≤ 1*, we have*

$$\begin{aligned} \operatorname{diam}[\Phi(\mathbf{s} - \hbar)]^\lambda &\le \operatorname{diam}[\Phi(\varrho(\mathbf{s}))]^\lambda \operatorname{and} \\\operatorname{diam}[\Phi(\mathbf{s} + \hbar)]^\lambda &\le \operatorname{diam}[\Phi(\varrho(\mathbf{s}))]^\lambda, \quad \operatorname{for} \quad 0 < \hbar < \delta. \end{aligned}$$

*Therefore, diam*[Φ(*s*)]*<sup>λ</sup> is non-decreasing in the left neighborhood and non-increasing in the right neighborhood of s. Thus, monotonicity of diam*[Φ(*s*)]*<sup>λ</sup> fails at s.*

*(d) If* <sup>Φ</sup> *is* (*GH*4)*-nabla differentiable at s* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup> , then there exists a δ* > 0 *such that, for* 0 ≤ *λ* ≤ 1*,*

$$\begin{aligned} \operatorname{diam}[\Phi(\varrho(s))]^\lambda &\le \operatorname{diam}[\Phi(s-\hbar)]^\lambda \operatorname{and} \\ \operatorname{diam}[\Phi(\varrho(s))]^\lambda &\le \operatorname{diam}[\Phi(s+\hbar)]^\lambda, \quad \operatorname{for} \quad 0 < \hbar < \delta. \end{aligned}$$

*Therefore, diam*[Φ(*s*)]*<sup>λ</sup> is non-increasing in the left neighborhood and non-decreasing in the right neighborhood of s. Thus, monotonicity of diam*[Φ(*s*)]*<sup>λ</sup> fails at s.*

**Example 2.** *Let* <sup>Φ</sup> : <sup>T</sup>[0,3*π*] <sup>→</sup> <sup>E</sup><sup>1</sup> *be a fuzzy function defined as* <sup>Φ</sup>(*s*) = sin(*s*) ! *c, where <sup>c</sup>* = (2, 4, 6) *is a triangular fuzzy number. Let* T = *Pπ*,*<sup>π</sup>* = ; ∞ *k*=0 [2*kπ*,(2*k* + 1)*π*]*.*

*In Figure 2, it is easily seen that* <sup>Φ</sup>(*s*) *is* (*GH*1)*-nabla differentiable on* T[0, *<sup>π</sup>* <sup>2</sup> )∪(2*π*, <sup>5</sup>*<sup>π</sup>* <sup>2</sup> )*,* <sup>Φ</sup>(*s*) *is* (*GH*2)*-nabla differentiable on* T( *<sup>π</sup>* <sup>2</sup> ,*π*,]∪( <sup>5</sup>*<sup>π</sup>* <sup>2</sup> ,3*π*] *. Now, we check the* <sup>∇</sup>*<sup>g</sup> differentiability at <sup>s</sup>* <sup>=</sup> *<sup>π</sup>* <sup>2</sup> *. Since s* = *<sup>π</sup>* <sup>2</sup> *is dense, <sup>ν</sup>*(*s*) = <sup>0</sup>*. In addition,* sin( *<sup>π</sup>* <sup>2</sup> ) <sup>&</sup>gt; sin( *<sup>π</sup>* <sup>2</sup> + *h*¯) > 0*, and, from Remark 1(a), we have* (sin( *<sup>π</sup>* <sup>2</sup> ) ! *<sup>c</sup>*) #*<sup>h</sup>* (sin( *<sup>π</sup>* <sup>2</sup> <sup>+</sup> *<sup>h</sup>*¯) ! *<sup>c</sup>*)=(sin( *<sup>π</sup>* <sup>2</sup> ) <sup>−</sup> sin( *<sup>π</sup>* <sup>2</sup> + *h*¯)) ! *c. Consider*

$$\begin{split} \Phi\_{+}^{\nabla^{\mathbb{X}}}(\frac{\pi}{2}) &= \lim\_{\hbar \to 0^{+}} \frac{-1}{\hbar} \odot \left( \Phi(\frac{\pi}{2}) \odot\_{\hbar} \Phi(\frac{\pi}{2} + \hbar) \right) \\ &= \lim\_{\hbar \to 0} \frac{-1}{\hbar} \odot \left( \left( \sin \frac{\pi}{2} \odot c \right) \odot\_{\hbar} \left( \sin(\frac{\pi}{2} + \hbar) \odot c \right) \right) \\ &= \lim\_{\hbar \to 0} \frac{\left( \sin(\frac{\pi}{2}) - \sin(\frac{\pi}{2} + \hbar) \right)}{-\hbar} \odot c \\ &= 0 \odot c = 0. \end{split}$$

*In a similar way, we get* Φ∇*<sup>g</sup>* <sup>−</sup> ( *<sup>π</sup>* <sup>2</sup> ) = 0ˆ*. Hence,* <sup>Φ</sup> *is* (*GH*3)*-nabla differentiable at <sup>s</sup>* <sup>=</sup> *<sup>π</sup>* <sup>2</sup> *. Similarly, we can show that* Φ *is also* (*GH*3)*-nabla differentiable at s* = <sup>5</sup>*<sup>π</sup>* 2 *.*

**Figure 2.** Graphical Representation of Φ(*s*) in Example 2.

**Theorem 4.** *If* <sup>Φ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>E</sup>*<sup>n</sup> is continuous at s and s is left scattered, then:*

*(a)* <sup>Φ</sup> *is* <sup>∇</sup>*<sup>g</sup> differentiable at s as in* (*GH*1) *or* (*GH*2) *with*

$$\begin{aligned} \Phi^{\nabla^{\mathbb{X}}}(s) &= \frac{1}{\nu(s)} \odot \left(\Phi(s) \ominus\_{\mathbb{h}} \Phi(\varrho(s))\right), \\ &= \frac{-1}{\nu(s)} \odot \left(\Phi(\varrho(s)) \ominus\_{\mathbb{h}} \Phi(s)\right). \end{aligned}$$

*and* Φ∇*<sup>g</sup>* (*s*) = 0ˆ *(or)* Φ∇*<sup>g</sup>* (*s*) ∈ *n*;

$$\Phi(\mathbf{b}) \quad \Phi \text{ is } \nabla^{\mathbf{g}} \text{ differential} \\ \text{let } \mathbf{s} \text{ as in (} GH\mathbf{3} \text{) with } \Phi^{\nabla^{\mathbf{g}}}(\mathbf{s}) = \frac{-1}{\nu(\mathbf{s})} \odot (\Phi(\varrho(\mathbf{s})) \odot\_{\mathcal{U}} \Phi(\mathbf{s}));$$

*(c)* <sup>Φ</sup> *is* <sup>∇</sup>*<sup>g</sup> differentiable at s as in* (*GH*4) *with* <sup>Φ</sup>∇*<sup>g</sup>* (*s*) = <sup>1</sup> *<sup>ν</sup>*(*s*) ! (Φ(*s*) #*<sup>h</sup>* <sup>Φ</sup>((*s*))).

**Proof.** (**a**) Suppose *<sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup>* and Φ is continuous at left scattered point *s*. Then, from (*GH*1) or (*GH*2), we have

*or*

$$\mathbb{T} - \lim\_{\hbar \to 0} \frac{1}{\hbar - \nu(s)} \odot \left(\Phi(\varrho(s)) \ominus\_{\hbar} \Phi(s - \hbar)\right) = \frac{-1}{\nu(s)} \odot \left(\Phi(\varrho(s)) \ominus\_{\hbar} \Phi(s)\right),$$

$$\operatorname{T}\operatorname{T}-\lim\_{\hbar\to 0}\frac{1}{\hbar+\nu(s)}\odot\left(\Phi(s+\hbar)\ominus\_{\operatorname{l}l}\Phi(\varrho(s))\right)=\frac{1}{\nu(s)}\odot\left(\Phi(s)\ominus\_{\operatorname{l}l}\Phi(\varrho(s))\right).$$

Since the Hukuhara differences (Φ((*s*)) #*<sup>h</sup>* Φ(*s*)),(Φ(*s*) # Φ((*s*))) exists, then

$$
\Phi(\varrho(s)) = \Phi(s) \oplus \mathfrak{u}(s) \quad \text{and} \quad \Phi(s) = \Phi(\varrho(s)) \oplus \mathfrak{v}(s),
$$

where *<sup>u</sup>*(*s*), *<sup>v</sup>*(*s*) are in <sup>E</sup>*n*. By adding the above equations, we get *<sup>u</sup>*(*s*) <sup>⊕</sup> *<sup>v</sup>*(*s*) = 0ˆ. Then, *<sup>u</sup>*(*s*) = 0ˆ <sup>=</sup> *v*(*s*) or *u*(*s*), *v*(*s*) are in *<sup>n</sup>* and hence the result is obvious.

(**b**) Suppose *<sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup>* and Φ is continuous at left scattered point *s*. Then, from (GH3), we have

$$\begin{aligned} \text{T}-\lim\_{\hbar \to 0} \frac{1}{\hbar - \nu(s)} &\odot \left(\Phi(\varrho(s)) \ominus\_{\hbar} \Phi(s - \hbar)\right) = \frac{-1}{\nu(s)} \odot \left(\Phi(\varrho(s)) \ominus\_{\hbar} \Phi(s)\right) \\\\ \text{T}-\lim\_{\hbar \to 0} \frac{-1}{\hbar + \nu(s)} &\odot \left(\Phi(\varrho(s)) \ominus\_{\hbar} \Phi(s + \hbar)\right) = \frac{-1}{\nu(s)} \odot \left(\Phi(\varrho(s)) \ominus\_{\hbar} \Phi(s)\right) \end{aligned}$$

Hence, Φ∇*<sup>g</sup>* (*s*) = <sup>−</sup><sup>1</sup> *<sup>ν</sup>*(*s*) ! (Φ((*s*)) #*<sup>h</sup>* <sup>Φ</sup>(*s*)).

*h*¯→0

(**c**) Suppose *<sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup>* and Φ is continuous at left scattered point *s*. Then, from (GH4), we have

$$\begin{aligned} \mathbb{T}-\lim\_{\hbar\to 0} \frac{-1}{\hbar-\nu(s)} \odot \left(\varPhi(s-\hbar)\ominus\_{\hbar}\varPhi(\varrho(s))\right) &= \frac{1}{\nu(s)} \odot \left(\varPhi(s)\ominus\_{\hbar}\varPhi(\varrho(s))\right), \\\\ \mathbb{T}-\lim\_{\hbar\to 0} \frac{1}{\hbar+\nu(s)} \odot \left(\varPhi(s+\hbar)\ominus\_{\hbar}\varPhi(\varrho(s))\right) &= \frac{1}{\nu(s)} \odot \left(\varPhi(s)\ominus\_{\hbar}\varPhi(\varrho(s))\right). \\\\ \mathbb{T}-\mathbb{T} &\end{aligned}$$

Hence, Φ∇*<sup>g</sup>* (*s*) = <sup>1</sup> *<sup>ν</sup>*(*s*) ! (Φ(*s*) #*<sup>h</sup>* <sup>Φ</sup>((*s*))).

**Remark 9.** *A fuzzy function* <sup>Φ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>E</sup><sup>1</sup> *is defined as* <sup>Φ</sup>(*s*)=(*φ*1(*s*), *<sup>φ</sup>*2(*s*), *<sup>φ</sup>*3(*s*))*, where <sup>φ</sup><sup>k</sup>* : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>R</sup>*, k* <sup>=</sup> 1, 2, 3 *are nabla differentiable such that <sup>φ</sup>*1(*s*) <sup>&</sup>lt; *<sup>φ</sup>*2(*s*) <sup>&</sup>lt; *<sup>φ</sup>*3(*s*)*, for all s* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *.*


**Theorem 5.** *Let* <sup>Φ</sup>, <sup>Ψ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>E</sup>*<sup>n</sup> be* <sup>∇</sup>*<sup>g</sup> differentiable at s* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup> .*

	- *(a)* (<sup>Φ</sup> <sup>⊕</sup> <sup>Ψ</sup>) : <sup>T</sup>[*a*,*b*] *<sup>k</sup>* <sup>→</sup> <sup>E</sup>*<sup>n</sup> is also* <sup>∇</sup>*<sup>g</sup> differentiable of same kind at s with*

$$(\Phi \oplus \Psi)^{\nabla^{\mathfrak{s}}}(\mathfrak{s}) = \Phi^{\nabla^{\mathfrak{s}}}(\mathfrak{s}) \oplus \Psi^{\nabla^{\mathfrak{s}}}(\mathfrak{s}).$$

*(b)* (<sup>Φ</sup> #*<sup>h</sup>* <sup>Ψ</sup>) : <sup>T</sup>[*a*,*b*] *<sup>k</sup>* <sup>→</sup> <sup>E</sup>*<sup>n</sup> also* <sup>∇</sup>*<sup>g</sup> differentiable of same kind at s, provided* (<sup>Φ</sup> #*<sup>h</sup>* <sup>Ψ</sup>) *exists and*

$$(\Phi \ominus\_h \Psi)^{\nabla^t}(s) = \Phi^{\nabla^t}(s) \ominus\_h \Psi^{\nabla^t}(s).$$

*(2) If* <sup>Φ</sup> *and* <sup>Ψ</sup> *are different kinds of* <sup>∇</sup>*<sup>g</sup> differentiable at s, and* (<sup>Φ</sup> #*<sup>h</sup>* <sup>Ψ</sup>) *exists for <sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup> , then* (Φ #*<sup>h</sup>* Ψ) *is* <sup>∇</sup>*<sup>g</sup> differentiable at s with* (<sup>Φ</sup> #*<sup>h</sup>* <sup>Ψ</sup>)∇*<sup>g</sup>* (*s*) = Φ∇*<sup>g</sup>* (*s*) <sup>⊕</sup> (−1) ! <sup>Ψ</sup>∇*<sup>g</sup>* (*s*)*.*

**Proof.** If *s* is ld-point, then (*s*) = *s*, *ν*(*s*) = 0. The proof of this theorem is similar to the proof of Lemma 4 and Theorem 4 in [17].

**<sup>1</sup>**(**a**). Suppose that <sup>Φ</sup> and <sup>Ψ</sup> are both (*GH*3)-nabla differentiable at left scattered point *<sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup>* . Then, Φ((*s*)) #*<sup>h</sup>* Φ(*s*) exists with Φ((*s*)) = Φ(*s*) ⊕ *u*(*s*) and Ψ((*s*)) #*<sup>h</sup>* Ψ(*s*) exists with Ψ((*s*)) = Ψ(*s*) ⊕ *v*(*s*). Now,

$$(\Phi(\varrho(s)) \ominus\_h \Phi(s)) \oplus (\Psi(\varrho(s)) \ominus\_h \Psi(s)) = \mathfrak{u}(s) \oplus \mathfrak{v}(s).$$

Multiplying the above equation with <sup>−</sup><sup>1</sup> *ν*(*s*) , we get

$$\begin{aligned} \frac{-1}{\nu(s)} &\odot \left( \left( \Phi(\varrho(s)) \oplus \Psi(\varrho(s)) \right) \ominus\_h \left( \Phi(s) \oplus \Psi(s) \right) \right), \\\ &= \frac{-1}{\nu(s)} \odot \left( u(s) \oplus v(s) \right), \end{aligned}$$

and it follows that

$$\frac{(\Phi \ominus \Psi)(\emptyset(s)) \ominus\_{\mathbb{H}} (\Phi \ominus \Psi)(s)}{-\nu(s)} = \frac{\mu(s)}{-\nu(s)} \ominus \frac{\nu(s)}{-\nu(s)}.$$

Hence, (<sup>Φ</sup> <sup>⊕</sup> <sup>Ψ</sup>) is <sup>∇</sup>*<sup>g</sup>* differentiable as in (*GH*3) with

$$(\Phi \oplus \Psi)^{\nabla^{\mathfrak{s}}}(\mathfrak{s}) = \Phi^{\nabla^{\mathfrak{s}}}(\mathfrak{s}) \oplus \Psi^{\nabla^{\mathfrak{s}}}(\mathfrak{s}).$$

The case when <sup>Φ</sup> and <sup>Ψ</sup> are <sup>∇</sup>*<sup>g</sup>* differentiable as in (*GH*4) is similar to the previous one.

**<sup>1</sup>**(**b**). Suppose <sup>Φ</sup> and <sup>Ψ</sup> are both (*GH*3)-nabla differentiable at left scattered points *<sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup>* , similar to 1(a), we have Φ((*s*)) = Φ(*s*) ⊕ *u*(*s*) and Ψ((*s*)) = Ψ(*s*) ⊕ *v*(*s*). Consider

$$\begin{aligned} (\Phi \ominus\_{\mathbb{H}} \Psi)(\varrho(\mathsf{s})) &= \Phi(\varrho(\mathsf{s})) \ominus\_{\mathbb{H}} \Psi(\varrho(\mathsf{s})) \\ &= (\Phi(\mathsf{s}) \oplus \mathfrak{u}(\mathsf{s})) \ominus\_{\mathbb{H}} (\Psi(\mathsf{s}) \oplus \mathfrak{v}(\mathsf{s})) \\ &= (\Phi(\mathsf{s}) \ominus\_{\mathbb{H}} \Psi(\mathsf{s})) \oplus (\mathfrak{u}(\mathsf{s}) \ominus\_{\mathbb{H}} \mathfrak{v}(\mathsf{s})) .\end{aligned}$$

It implies that

$$(\Phi \ominus\_{\mathbb{H}} \Psi)(\varrho(\mathbf{s})) \ominus\_{\mathbb{H}} (\Phi \ominus\_{\mathbb{H}} \Psi)(\mathbf{s}) = \mathfrak{u}(\mathbf{s}) \ominus\_{\mathbb{H}} \mathfrak{v}(\mathbf{s}).$$

Multiplying the above equation with <sup>−</sup><sup>1</sup> *ν*(*s*) , we get the desired result. In a similar way, we can easily prove the other case.

(**2**). Suppose that <sup>Φ</sup> is <sup>∇</sup>*<sup>g</sup>* differentiable as in (*GH*3) and <sup>Ψ</sup> is <sup>∇</sup>*<sup>g</sup>* differentiable as in (*GH*4) at left scattered points *<sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup>* , then the Hukuhara difference Φ((*s*)) #*<sup>h</sup>* Φ(*s*) exists with Φ((*s*)) =

Φ(*s*) ⊕ *u*(*s*) and Ψ(*s*) #*<sup>h</sup>* Ψ((*s*)) exists with Ψ(*s*) = Ψ((*s*)) ⊕ *v*(*s*). Now, by adding these equations, we get

$$
\Phi(\varrho(s)) \oplus \Psi(s) = \Phi(s) \oplus \mathfrak{u}(s) \oplus \Psi(\varrho(s)) \oplus \mathfrak{v}(s).
$$

Since the Hukuhara difference of Φ((*s*)) #*<sup>h</sup>* Ψ((*s*)) and Φ(*s*) #*<sup>h</sup>* Ψ(*s*) exist, we have

$$\Psi(\Phi(\varrho(s)) \ominus\_{\mathbb{H}} \Psi(\varrho(s)) \ominus\_{\mathbb{H}} (\Phi(s) \ominus\_{\mathbb{H}} \Psi(s)) = \mathfrak{u}(s) \oplus \mathfrak{v}(s). \tag{5}$$

Now, by multiplying (5) with <sup>1</sup> −*ν*(*s*) , we get Φ # Ψ is (*GH*3)-nabla differentiable.

In a similar way, if <sup>Φ</sup> is <sup>∇</sup>*<sup>g</sup>* differentiable as in (*GH*4) and <sup>Ψ</sup> is <sup>∇</sup>*<sup>g</sup>* differentiable as in (*GH*3) at left scattered points *<sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup>* , then we can easily prove that

$$\Psi(\Phi(s)\ominus\_h \Psi(s)) \ominus\_h (\Phi(\varrho(s)) \ominus\_h \Psi(\varrho(s))) = \tilde{u}(s) + \tilde{v}(s). \tag{6}$$

Now, by multiplying (6) with <sup>1</sup> *ν*(*s*) , we get Φ # Ψ is (*GH*4)-nabla differentiable. Therefore,

$$(\Phi \ominus\_h \Psi)^{\nabla^t}(\mathbf{s}) = \Phi^{\nabla^t}(\mathbf{s}) \oplus (-1) \ominus \Psi^{\nabla^t}(\mathbf{s}).$$

The following example illustrates the feasibility of Theorem 5.

**Example 3.** *Let* <sup>Ω</sup>, <sup>Ψ</sup> : <sup>T</sup>[0,3*π*] <sup>→</sup> <sup>E</sup><sup>1</sup> *be fuzzy functions defined as follows:*

$$\Omega(s) = \begin{cases} \left(\frac{\pi}{2} - s\right) \odot c, & 0 \le s \le \pi \\ \left(s - \frac{5\pi}{2}\right) \odot c, & 2\pi \le s \le 3\pi \end{cases}$$

*and*

$$\Psi(s) = \begin{cases} \cos(s) \odot c, & 0 \le s \le \pi \\ -\cos(s) \odot c, & 2\pi \le s \le 3\pi \end{cases}$$

*where* T = *Pπ*,*π, c* = (2, 4, 6) *is a triangular fuzzy number.*

*IN Figures 3 and 4, it is easily seen that* Ω *and* Ψ *are* (*GH*2)*-nabla differentiable on* T[0, *<sup>π</sup>* <sup>2</sup> )∪(2*π*, <sup>5</sup>*<sup>π</sup>* 2 ) *,* (*GH*1)*-nabla differentiable on* T( *<sup>π</sup>* <sup>2</sup> ,*π*]∪( <sup>5</sup>*<sup>π</sup>* <sup>2</sup> ,3*π*] *, and* (*GH*4)*-nabla differentiable at s* = *<sup>π</sup>* <sup>2</sup> , <sup>5</sup>*<sup>π</sup>* <sup>2</sup> *. Thus,* Ω ⊕ Ψ*,* <sup>Ω</sup> #*<sup>h</sup>* <sup>Ψ</sup> *are* <sup>∇</sup>*<sup>g</sup> differentiable at left scattered point s* <sup>=</sup> <sup>2</sup>*π. Now, from Remark 1, we have*

$$(\Omega \oplus \Psi)(s) = \begin{cases} (\frac{\pi}{2} - s + \cos(s)) \odot c, & s \in [0, \pi] \\ (s - \frac{5\pi}{2} - \cos(s)) \odot c, & s \in [2\pi, 3\pi]. \end{cases}$$

*and*

$$(\Omega \ominus\_{\mathbb{H}} \Psi)(\mathbf{s}) = \begin{cases} (\frac{\pi}{2} - \mathbf{s} - \cos(\mathbf{s})) \odot \mathbf{c}, & \in [0, \pi] \\ (\mathbf{s} - \frac{5\pi}{2} + \cos(\mathbf{s})) \odot \mathbf{c}, & \in [2\pi, 3\pi] \end{cases}$$

**Figure 3.** Graphical Representation of Ω(*s*) in Example 3.

**Figure 4.** Graphical Representation of Ψ(*s*) in Example 3.

*In Figure 5,* (<sup>Ω</sup> <sup>⊕</sup> <sup>Ψ</sup>) *is* (*GH*2)*-nabla differentiable on* <sup>T</sup>[0, *<sup>π</sup>* <sup>2</sup> )∪[2*π*, <sup>5</sup>*<sup>π</sup>* 2 ) *,* (*GH*1)*-nabla differentiable on* T( *<sup>π</sup>* <sup>2</sup> ,*π*]∪( <sup>5</sup>*<sup>π</sup>* <sup>2</sup> ,3*π*] *. At s* = *<sup>π</sup>* <sup>2</sup> *,* <sup>Ω</sup> *and* <sup>Ψ</sup> *are* (*GH*4)*-nabla differentiable with* <sup>Ω</sup>∇*<sup>g</sup>* ( *π* <sup>2</sup> )=(−1) ! *c, and* <sup>Ψ</sup>∇*<sup>g</sup>* ( *π* <sup>2</sup> ) = (−1) ! *c. Now,*

$$\begin{split} (\Omega \ominus \Psi)^{\nabla^{\xi}\_{+}} (\frac{\pi}{2}) &= \lim\_{\hbar \to 0} \frac{1}{\hbar} \left( \frac{\pi}{2} - (\frac{\pi}{2} + \hbar) + \cos(\frac{\pi}{2} + \hbar) \right) \odot c \ominus\_{\hbar} \left( \frac{\pi}{2} - (\frac{\pi}{2}) + \cos(\frac{\pi}{2}) \right) \odot c \ominus\_{\hbar} \\ &= \left( \lim\_{\hbar \to 0} \frac{-\hbar + \cos(\frac{\pi}{2} + \hbar)}{\hbar} \right) \odot c \\ &= \left( -1 + (-1) \lim\_{\hbar \to 0} \frac{\sin \hbar}{\hbar} \right) \odot c = -2 \odot c. \end{split}$$

*Similarly, we can show that* (<sup>Ω</sup> <sup>⊕</sup> <sup>Ψ</sup>)∇*<sup>g</sup>* <sup>−</sup> ( *<sup>π</sup>* <sup>2</sup> ) = <sup>−</sup><sup>2</sup> ! *c. Thus,* (<sup>Ω</sup> <sup>⊕</sup> <sup>Ψ</sup>) *is* (*GH*4)*-nabla differentiable at <sup>π</sup>* <sup>2</sup> *and Theorem 5 1(a) is verified.*

*In Figure 6, it is easily seen that* (<sup>Ω</sup> #*<sup>h</sup>* <sup>Ψ</sup>) *is* (*GH*2)*-nabla differentiable on* <sup>T</sup>[0, *<sup>π</sup>* <sup>2</sup> )∪[2*π*, <sup>5</sup>*<sup>π</sup>* <sup>2</sup> ) *and* (*GH*1)*-nabla differentiable on* T( *<sup>π</sup>* <sup>2</sup> ,*π*]∪( <sup>5</sup>*<sup>π</sup>* <sup>2</sup> ,3*π*] *. Again, from Remark 1, we have*

$$\begin{split} (\Omega \odot\_{\hbar} \Psi)^{\nabla^{\sharp}\_{+}} (\frac{\pi}{2}) &= \lim\_{\hbar \to 0} \frac{1}{\hbar} \left( \frac{\pi}{2} - (\frac{\pi}{2} + \hbar) - \cos(\frac{\pi}{2} + \hbar) \right) \odot c \odot\_{\hbar} \left( \frac{\pi}{2} - \frac{\pi}{2} - \cos(\frac{\pi}{2}) \right) \odot c \odot \pi \\ &= \left( \lim\_{\hbar \to 0} \frac{-\hbar - \cos(\frac{\pi}{2} + \hbar)}{\hbar} \right) \odot c \\ &= (-1 + \lim\_{\hbar \to 0} \frac{\sin \hbar}{\hbar}) \odot c = 0 \odot c = 0. \end{split}$$

*Similarly, we can show that* (<sup>Ω</sup> # <sup>Ψ</sup>)∇*<sup>g</sup>* <sup>−</sup> ( *<sup>π</sup>* <sup>2</sup> ) = 0ˆ*. Thus,* (<sup>Ω</sup> # <sup>Ψ</sup>) *is* (*GH*4)*-nabla differentiable at <sup>π</sup>* <sup>2</sup> *and Theorem 5 1(b) is verified.*

**Figure 5.** Graphical Representation of (Ω ⊕ Ψ)(*s*) in Example 3.

**Figure 6.** Graphical Representation of (Ω #*<sup>h</sup>* Ψ)(*s*) in Example 3.

*Consider* Φ(*s*) *as in Example 2,* Φ *is* (*GH*3)*-nabla differentiability at s* = *<sup>π</sup>* <sup>2</sup> *and* Ψ *is* (*GH*4)*-nabla differentiability at s* = *<sup>π</sup>* <sup>2</sup> *. Hence,* <sup>Φ</sup> *and* <sup>Ψ</sup> *are different kinds of* <sup>∇</sup>*<sup>g</sup> differentiable at <sup>s</sup>* <sup>=</sup> *<sup>π</sup>* <sup>2</sup> *, and* (Φ #*<sup>h</sup>* Ψ) *exists at s* = *<sup>π</sup>* <sup>2</sup> *. Now, from Theorem 5(2), we have*

$$\begin{split} \left( (\Phi \ominus\_{\hbar} \Psi)^{\nabla^{\sharp}} (\frac{\pi}{2}) = \lim\_{\hbar \to 0} \frac{1}{\hbar} \odot (\sin(\frac{\pi}{2}) - \cos(\frac{\pi}{2}) \odot c) \odot\_{\hbar} ((\sin(\frac{\pi}{2} - \hbar) - \cos(\frac{\pi}{2} - \hbar) \odot c) \odot c) \right) \\ = \left( \lim\_{\hbar \to 0} \frac{1 - \cos \hbar}{\hbar} + \lim\_{\hbar \to 0} \frac{\sin \hbar}{\hbar} \right) \odot c = c. \end{split}$$

*Similarly, we can show that* (<sup>Φ</sup> #*<sup>h</sup>* <sup>Ψ</sup>)∇*<sup>g</sup>* <sup>+</sup> ( *<sup>π</sup>* <sup>2</sup> ) = *c. Hence, Theorem 5(2) is verified.*

*Now, we check the* <sup>∇</sup>*g-differentiable at <sup>s</sup>* <sup>=</sup> <sup>2</sup>*π. It is left scattered and* (2*π*) = *<sup>π</sup>, <sup>ν</sup>*(2*π*) = *<sup>π</sup>. Clearly,* Ω*,* Φ*, and* Ψ *are* (*GH*3)*- and* (*GH*4)*-nabla differentiable at s* = 2*π. We get* Ω∇*<sup>g</sup>* (2*π*) = 0ˆ*,* Φ∇*<sup>g</sup>* (2*π*) = 0ˆ *and* Ψ∇*<sup>g</sup>* (2*π*) = 0ˆ*. In addition, the results of Theorem 5 hold at left scattered point s* = 2*π.*

#### **4. Integration of Fuzzy Functions on Time Scales**

In this section, we prove fundamental theorem of nabla integral calculus for fuzzy functions on time scales under generalized fuzzy nabla differentiable functions on time scales.

First, we prove an embedding theorem on E*<sup>n</sup>* and obtain some results which are useful to prove the main theorem. To prove the these results, we make use of Definitions 1–3 and Theorem 4 in [31].

Let C[0, 1] be the set of all functions F : [0, 1] → *<sup>n</sup>*, <sup>F</sup> is bounded on [0, 1], left-continuous for each *x* ∈ (0, 1], right-continuous on 0, and F has right limit for each *x* ∈ [0, 1). Endowed with the norm ||F||C <sup>=</sup> sup {|F(*λ*)| *<sup>n</sup>* ; *x* ∈ [0, 1]}, C[0, 1] is a Banach space. It is known that the following result which embeds E*<sup>n</sup>* into *X* = C[0, 1] × C[0, 1] isometrically and isomorphically.

**Theorem 6.** *If we define <sup>i</sup>* : E*<sup>n</sup>* → *<sup>X</sup> by <sup>i</sup>*(*u*)=(*u*−, *<sup>u</sup>*+)*, where <sup>u</sup>*−, *<sup>u</sup>*<sup>+</sup> : [0, 1] → *<sup>n</sup>*, *<sup>u</sup>*−(*λ*) = *<sup>u</sup><sup>λ</sup>* −*, u*+(*λ*) = *u<sup>λ</sup>* <sup>+</sup>*, then i*(E*n*) *is a closed convex cone with vertex 0 in X (here X is a Banach space with the norm* ||(*<sup>f</sup>* , *<sup>g</sup>*)|| = max(|| *<sup>f</sup>* ||C , ||*g*||C )*).*

**Proof.** First, we show that *X* = C[0, 1] × C[0, 1] is a Banach space. Consider a cauchy sequence *ln*<sup>0</sup> = (*fn*<sup>0</sup> , *gn*<sup>0</sup> ) and for <sup>∗</sup> > 0, there exists *N* > 0, *n*<sup>0</sup> > *N* such that *n*0, *m*<sup>0</sup> > *N* implies *lm*<sup>0</sup> − *ln*<sup>0</sup> < ∗, that is

$$\begin{aligned} ||l\_{\mathfrak{m}\_0} - l\_{\mathfrak{n}\_0}|| &= ||(f\_{\mathfrak{m}\_{0'}} \mathfrak{g}\_{\mathfrak{m}\_0}) - (f\_{\mathfrak{m}\_{0'}} \mathfrak{g}\_{\mathfrak{n}\_0})||, \\ &= ||(f\_{\mathfrak{m}\_0} - f\_{\mathfrak{n}\_{0'}} \mathfrak{g}\_{\mathfrak{m}\_0} - \mathfrak{g}\_{\mathfrak{n}\_0})||, \\ &= \max(||f||\_{\mathcal{C}'}||\mathfrak{g}||\_{\mathcal{C}}). \end{aligned}$$

which yields the result that *fn*<sup>0</sup> (*λ*) → *<sup>f</sup>* and *gn*<sup>0</sup> (*λ*) → *<sup>g</sup>* as *<sup>n</sup>*<sup>0</sup> → <sup>∞</sup> where ||F||C = sup{|F(*x*)|; *<sup>x</sup>* ∈ [0, 1]}, C[0, 1] is a Banach space. Hence, *X* = C[0, 1] × C[0, 1] is a Banach space. To obtain *i* embeds E*<sup>n</sup>* into *X* = C[0, 1] × C[0, 1] isometrically and isomorphically, we need to prove the following:

(a) *i*(*p* ! *u* ⊕ *q* ! *v*) = *pi*(*u*) + *qi*(*v*), for any *u*, *v* ∈ E*<sup>n</sup>* and *p*, *q* ≥ 0; and

$$\text{(b)}\qquad D\_H(\mathfrak{u}, \mathfrak{v}) = \|i(\mathfrak{u}) - i(\mathfrak{v})\|.$$

Let *<sup>i</sup>*(*u*)=(*u*−, *<sup>u</sup>*+). The *<sup>λ</sup>*-level set of *<sup>u</sup>* ∈ E*<sup>n</sup>* can be written as

$$[\mu]^\lambda = \beta \mu\_-^\lambda + (1 - \beta)\mu\_+^\lambda \quad \text{for all} \quad 0 \le \beta \le 1.$$

Now,

$$\begin{aligned} \left[p \odot \iota \oplus q \odot v\right]^\lambda &= p[\iota]^\lambda + q[v]^\lambda\\ &= p[\beta \iota\_-^\lambda + (1-\beta)\iota\_+^\lambda] \\ &+ q[\beta v\_-^\lambda + (1-\beta)v\_+^\lambda] \\ &= \beta \left(\iota\_-^\lambda + v\_-^\lambda\right) + (1-\beta)\left(\iota\_+^\lambda + v\_+^\lambda\right). \end{aligned}$$

Therefore,

$$\begin{aligned} i(p \odot \iota \oplus q \odot \upsilon) &= \left( p\iota\_{-}^{\lambda} + q\upsilon\_{-}^{\lambda}, p\iota\_{+}^{\lambda} + q\upsilon\_{+}^{\lambda} \right) \\ &= p(\iota\_{-}^{\lambda}, \iota\_{+}^{\lambda}) + q(\upsilon\_{-}^{\lambda}, \upsilon\_{+}^{\lambda}) \\ &= p i(\iota) + q i(\upsilon). \end{aligned}$$

Thus, (a) is proved. Now, consider

$$\begin{split} \left\| i(\boldsymbol{u}) - i(\boldsymbol{v}) \right\| &= \left\| (\boldsymbol{u}\_{-}, \boldsymbol{u}\_{+}) - (\boldsymbol{v}\_{-}, \boldsymbol{v}\_{+}) \right\| \\ &= \left\| (\boldsymbol{u}\_{-} - \boldsymbol{v}\_{-}), (\boldsymbol{u}\_{+} - \boldsymbol{v}\_{+}) \right\| \\ &= \max \{ \left\| \boldsymbol{u}\_{-} - \boldsymbol{v}\_{-} \right\| \left\| \boldsymbol{u}\_{+} - \boldsymbol{v}\_{+} \right\| \big|\_{\mathcal{C}} \} \\ &= \max \{ \sup\_{\boldsymbol{\lambda}} \left\| \boldsymbol{u}\_{-}^{\lambda} - \boldsymbol{v}\_{-}^{\lambda} \right\| \left\| \boldsymbol{u}\_{+} \right\| \sup\_{\boldsymbol{\lambda}} \left\| \boldsymbol{u}\_{+}^{\lambda} - \boldsymbol{v}\_{+}^{\lambda} \right\| \left\| \boldsymbol{\varrho}\_{n} \right\| \\ &= \sup\_{\boldsymbol{\lambda}} \{ \max \{ \left\| \boldsymbol{u}\_{-}^{\lambda} - \boldsymbol{v}\_{-}^{\lambda} \right\| \left\| \boldsymbol{u}\_{+}^{\lambda} - \boldsymbol{v}\_{+}^{\lambda} \right\| \left\| \boldsymbol{u}\_{+} \right\| \} \}, \\ &= \sup\_{\boldsymbol{\lambda}} d\_{H}([\boldsymbol{u}]^{\lambda}, [\boldsymbol{v}]^{\lambda}) \\ &= D\_{H}(\boldsymbol{u}, \boldsymbol{v}) . \end{split}$$

We make use the Proposition 3.1 and Remark 3.4 in [18] to prove the following results.

**Theorem 7.** *Suppose* <sup>Φ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>E</sup>*<sup>n</sup> is* <sup>∇</sup>*<sup>g</sup> left-differentiable at s*0*; then,* (*<sup>i</sup>* ◦ <sup>Φ</sup>)(*s*) = *<sup>i</sup>*(Φ(*s*)) *is nabla-differentiable at s*<sup>0</sup> <sup>∈</sup> <sup>T</sup>[*a*,*b*] *. Moreover,*


**Proof.** Let <sup>Φ</sup> be <sup>∇</sup>*<sup>g</sup>* left-differentiable at *<sup>s</sup>*<sup>0</sup> <sup>∈</sup> <sup>T</sup>[*a*,*b*] .

(**a**) If there exists a *δ* > 0 such that Φ(*s*<sup>0</sup> − *h*¯) #*<sup>h</sup>* Φ((*s*0)) exists for 0 < *h*¯ < *δ*, then

$$\begin{split} \left\lVert \frac{-1}{(\hbar - \nu(s\_{0}))} \left[ (i \circ \Phi)(s\_{0} - \hbar) - (i \circ \Phi)(\varrho(s\_{0})) \right] - \left[ -i^{\*} (\Phi\_{-}^{\nabla t}(s\_{0})) \right] \right\rVert \\ &= \left\lVert \frac{-1}{(\hbar - \nu(s\_{0}))} \left[ (i \circ \Phi)(s\_{0} - \hbar) - (i \circ \Phi)(\varrho(s\_{0})) \right] + \left[ i^{\*} (\Phi\_{-}^{\nabla t}(s\_{0})) \right] \right\rVert \\ &\leq \left\lVert \frac{1}{(\hbar - \nu(s\_{0}))} \left[ i (\Phi(\varrho(s\_{0})) - \Phi(s\_{0} - \hbar)) \right] \\ &\quad + i^{\*} \left[ \frac{1}{(\hbar - \nu(s\_{0}))} \odot \left[ \Phi(\varrho(s\_{0})) \odot\_{\hbar} \Phi(s\_{0} - \hbar) \right] \right] \right\rVert \\ &\quad + \left\lVert \frac{1}{\hbar - \nu(s\_{0})} \odot \left[ \Phi(\varrho(s\_{0})) \odot\_{\hbar} \Phi(s\_{0} - \hbar) \right] \right\rVert i^{\*} (\Phi^{\nabla t}(s\_{0})) \big\rVert . \end{split}$$

From Remark 3.4.1 in [18], we have

$$\begin{split} \left\| i^\* \left[ \frac{1}{(\hbar - \nu(s\_0))} \odot \left( \Phi(\varrho(\mathbf{s}\_0)) \odot\_h \Phi(\mathbf{s}\_0 - \hbar) \right) \right] - i^\* \left( \Phi\_-^{\nabla t}(\mathbf{s}\_0) \right) \right\| \\ &= D\_H \left[ \frac{1}{(\hbar - \nu(s\_0))} \odot \left( \Phi(\varrho(\mathbf{s}\_0)) \odot\_h \Phi(\mathbf{s}\_0 - \hbar) \right), \Phi\_-^{\nabla t}(\mathbf{s}\_0) \right] \to 0, \text{as } \hbar \to 0. \end{split}$$

Consider

$$\begin{split} i^\* \left[ \frac{1}{\left( \hbar - \nu(s\_0) \right)} \odot \left( \Phi(\varrho(s\_0)) \odot\_{\hbar} \Phi(s\_0 - \hbar) \right) \right] &= -i \left[ \frac{1}{\left( \hbar - \nu(s\_0) \right)} \odot \left( \Phi(\varrho(s\_0)) \odot\_{\hbar} \Phi(s\_0 - \hbar) \right) \right] \\ &= \frac{-1}{\left( \hbar - \nu(s\_0) \right)} \left[ i \left( \Phi(\varrho(s\_0)) - \Phi(s\_0 - \hbar) \right) \right] , \end{split}$$

we have

$$\left\| \left| \frac{(\boldsymbol{i}\circ\Phi)(\mathbf{s}\_{0}-\boldsymbol{\hbar})-(\boldsymbol{i}\circ\Phi)(\boldsymbol{\varrho}(\mathbf{s}\_{0}))}{-(\boldsymbol{\hbar}-\nu(\mathbf{s}\_{0}))}-\left[-\boldsymbol{i}^{\*}(\Phi\_{-}^{\nabla t}(\mathbf{s}\_{0}))\right] \right| \right\|\to 0, \mathbf{as} \,\boldsymbol{\hbar}\to 0.$$

Thus, (*i* ◦ Φ)∇(*s*0) = −*i* <sup>∗</sup>(Φ∇*<sup>g</sup>* <sup>−</sup> (*s*0)). Similarly, we can prove (b).

**Theorem 8.** *Suppose* <sup>Φ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> *En is* <sup>∇</sup>*<sup>g</sup> right-differentiable <sup>s</sup>*0*; then,* (*<sup>i</sup>* ◦ <sup>Φ</sup>)(*s*) = *<sup>i</sup>*(Φ(*s*)) *is nabla-differentiable at s*<sup>0</sup> <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup> . Moreover,*

*(a) If there exists a δ* > 0 \$ (Φ(*s*<sup>0</sup> + *h*¯) #*<sup>h</sup>* Φ((*s*0))) *exists for* 0 < *h*¯ < *δ, then*

$$(i \circ \Phi)^{\nabla}(s\_0) = i(\Phi\_+^{\nabla^s}(s\_0)).$$

*(b) If there exists a δ* > 0 \$ (Φ((*s*0) #*<sup>h</sup>* Φ((*s*<sup>0</sup> + *h*¯)) *exists for* 0 < *h*¯ < *δ, then*

$$(i \circ \Phi)^{\nabla}(s\_0) = -i^\*(\Phi\_+^{\nabla^t}(s\_0)).$$

**Proof.** The proof of this theorem is similar to that of Theorem 7.

**Theorem 9.** *If* <sup>Φ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>E</sup>*<sup>n</sup> is* <sup>∇</sup>*<sup>g</sup> differentiable at s, then <sup>i</sup>* ◦ <sup>Φ</sup>(*s*) *is nabla-differentiable and* (*<sup>i</sup>* ◦ <sup>Φ</sup>)∇(*s*) <sup>∈</sup> *<sup>i</sup>*(E*n*)*. In this case, either* (*<sup>i</sup>* ◦ <sup>Φ</sup>)∇(*s*) = *<sup>i</sup>*(Φ∇*<sup>g</sup>* (*s*)) *or* (*i* ◦ Φ)∇(*s*) = −*i* <sup>∗</sup>(Φ∇*<sup>g</sup>* (*s*)),*<sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup>* .

**Proof.** Let <sup>Φ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>E</sup>*<sup>n</sup>* be <sup>∇</sup>*<sup>g</sup>* differentiable at *<sup>s</sup>* <sup>∈</sup> <sup>T</sup>[*a*,*b*] *<sup>k</sup>* and *s* is left dense; then, the proof is similar to the proof of Theorem 8 [16]. Now, for *s* being left scattered, we have

$$\frac{1}{\nu(s)} \left[ i(\Phi(s)) - \Phi(\varrho(s)) \right] = \begin{cases} \frac{1}{\nu(s)} \left[ i \circ \Phi(s) - i \circ \Phi(\varrho(s)) \right] & \text{or} \\\frac{-1}{\nu(s)} \left[ i \circ \Phi(\varrho(s)) - i \circ \Phi(s) \right] . \end{cases}$$

Consider

$$\begin{split} \left\| \frac{1}{\nu(\mathbf{s})} \left[ (\dot{\mathbf{i}} \circ \Phi)(\mathbf{s}) - (\dot{\mathbf{i}} \circ \Phi)(\varrho(\mathbf{s})) \right] - i (\Phi^{\nabla^{\mathbf{s}}}(\mathbf{s})) \right\| \\ &= \left\| \frac{-1}{\nu(\mathbf{s})} \left[ (\dot{\mathbf{i}} \circ \Phi)(\varrho(\mathbf{s})) - (\dot{\mathbf{i}} \circ \Phi)(\mathbf{s}) \right] - i (\Phi^{\nabla^{\mathbf{s}}}(\mathbf{s})) \right\| \\ &= \left\| i \left( \frac{1}{\nu(\mathbf{s})} \odot \left[ \Phi(\mathbf{s}) \odot\_{\hbar} \Phi(\varrho(\mathbf{s})) \right] \right) - i (\Phi^{\nabla^{\mathbf{s}}}(\mathbf{s})) \right\| \\ &= D\_{H} \left[ \frac{1}{\nu(\mathbf{s})} \odot \left[ \Phi(\mathbf{s}) \odot\_{\hbar} \Phi(\varrho(\mathbf{s})) \right], \Phi^{\nabla^{\mathbf{s}}}(\mathbf{s}) \right]. \end{split}$$

Then, (*<sup>i</sup>* ◦ <sup>Φ</sup>)∇(*s*) = *<sup>i</sup>*(Φ∇*<sup>g</sup>* (*s*)). Again, in the same way,

$$\begin{split} \left\| \frac{1}{\nu(\boldsymbol{s})} \left[ (\boldsymbol{i} \circ \Phi)(\boldsymbol{s}) - (\boldsymbol{i} \circ \Phi)(\boldsymbol{\varrho}(\boldsymbol{s})) \right] - \left[ -\boldsymbol{i}^\*(\Phi^{\nabla^t}(\boldsymbol{s})) \right] \right\| \\ &= \left\| \frac{-1}{\nu(\boldsymbol{s})} \left[ (\boldsymbol{i} \circ \Phi)(\boldsymbol{\varrho}(\boldsymbol{s})) - (\boldsymbol{i} \circ \Phi)(\boldsymbol{s}) \right] + \left[ \boldsymbol{i}^\*(\Phi^{\nabla^t}(\boldsymbol{s})) \right] \right\| \\ &\leq \left\| \frac{-1}{\nu(\boldsymbol{s})} \left[ (\boldsymbol{i} \circ \Phi)(\boldsymbol{\varrho}(\boldsymbol{s})) - (\boldsymbol{i} \circ \Phi)(\boldsymbol{s}) \right] \\ &\quad + \boldsymbol{i}^\* \left[ \frac{1}{\nu(\boldsymbol{s})} \odot \left[ \Phi(\boldsymbol{s}) \odot\_{\boldsymbol{h}} \Phi(\boldsymbol{\varrho}(\boldsymbol{s})) \right] \right] \right\| \\ &\quad + \left\| \frac{1}{\nu(\boldsymbol{s})} \odot \left[ \Phi(\boldsymbol{s}) \odot\_{\boldsymbol{h}} \Phi(\boldsymbol{\varrho}(\boldsymbol{s})) \right] \right\| - \boldsymbol{i}^\*(\Phi^{\nabla^t}(\boldsymbol{s})) \Big\| \, . \end{split}$$

However,

$$\begin{aligned} \left\| i^\* \left( \frac{1}{\nu(s)} \odot \left[ \Phi(s) \ominus\_h \Phi(\varrho(s)) \right] \right) - i^\* (\Phi^{\nabla t}(s)) \right\| \\ &= D\_H \left( \frac{1}{\nu(s)} \odot (\Phi(s) \ominus\_h \Phi(\varrho(s))), \Phi^{\nabla t}(s) \right) = 0. \end{aligned}$$

Since *i*((−1) ! *u*˜) = *i* ∗(*u*˜), we have

$$\begin{aligned} \left\| \frac{-1}{\nu(s)} \left[ (i \circ \Phi)(\varrho(s)) - (i \circ \Phi)(s) \right] - i^\* \left[ \frac{\Phi(s) \ominus\_h \Phi(\varrho(s))}{-\nu(s)} \right] \right\| \\ &= \left\| \frac{-1}{\nu(s)} \left[ (i \circ \Phi)(\varrho(s)) - (i \circ \Phi)(s) \right] - \left[ -i^\* (\Phi^{\nabla t}(s)) \right] \right\| = 0. \end{aligned}$$

Thus, ' ' ' ' (*i* ◦ Φ)(*s*) − (*i* ◦ Φ)((*s*)) *ν*(*s*) − - −*i* <sup>∗</sup>(Φ∇*<sup>g</sup>* (*s*)).' ' ' ' <sup>=</sup> 0. Therefore, (*<sup>i</sup>* ◦ <sup>Φ</sup>)∇(*s*) = <sup>−</sup>*<sup>i</sup>* <sup>∗</sup>(Φ∇*<sup>g</sup>* (*s*)). Finally, (*<sup>i</sup>* ◦ <sup>Φ</sup>)∇(*s*) = *<sup>i</sup>*(Φ∇*<sup>g</sup>* (*s*)) = −*i* <sup>∗</sup>(Φ∇*<sup>g</sup>* (*s*)).

From Remark 8, it is clear that, the fuzzy function Φ(*s*) is (*GH*3)- or (*GH*4)-nabla differentiable at discrete points. For example, if <sup>Φ</sup>(*s*) is <sup>∇</sup>*g*-differentiable on <sup>T</sup>[*a*,*b*] , *a* < *c* < *d* < *b* and Φ is only (*GH*3)-nabla differentiable at *s* = *c*, (*GH*4)-nabla differentiable at *s* = *d*, then Φ is (*GH*1)-nabla differentiable on T[*a*,*c*)∪(*d*,*b*] and (*GH*2)-nabla differentiable on T(*c*,*d*). Therefore, if Φ(*s*) is <sup>∇</sup>*g*-differentiable on <sup>T</sup>[*a*,*b*] , then it is possible to partition the T[*a*,*b*] into sub-intervals such that in each sub-interval Φ(*s*) is either (*GH*1)- or (*GH*2)-nabla differentiable.

Now, we prove the main theorem of this section fundamental theorem of nabla integral calculus of fuzzy functions on time scales.

**Theorem 10.** *Let* <sup>Φ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>E</sup>*<sup>n</sup> and <sup>a</sup>* <sup>=</sup> *<sup>a</sup>*<sup>0</sup> <sup>&</sup>lt; *<sup>a</sup>*<sup>1</sup> <sup>&</sup>lt; *<sup>a</sup>*<sup>2</sup> <sup>&</sup>lt; ... <sup>&</sup>lt; *ak* <sup>=</sup> *<sup>b</sup> be a division of the interval* [*a*, *<sup>b</sup>*] *such that* Φ *is* (*GH*1) *or* (*GH*2)*-nabla differentiable on each of the interval* T[*am*−1,*am*] , *m* = 1, 2, ... , *k with same kind of differentiability on each sub-interval. Then,*

$$\int\_{a}^{b} \Phi^{\nabla^{g}}(\tau) \nabla \tau = \sum\_{m \in M} \left( \Phi(a\_{m} \ominus\_{h} \Phi(a\_{m-1})) \oplus (-1) \ominus \sum\_{n \in N} (\Phi(a\_{n-1}) \ominus\_{h} \Phi(a\_{n})) \right)$$

*where <sup>M</sup>* <sup>=</sup> {*<sup>m</sup>* ∈ {1, 2, ... , *<sup>k</sup>*} *such that* <sup>Φ</sup> *is* (*GH*1)*-nabla differentiable on* <sup>T</sup>(*am*−1,*am*) } *and <sup>N</sup>* <sup>=</sup> {*<sup>n</sup>* <sup>∈</sup> {1, 2, . . . , *<sup>k</sup>*} *such that* <sup>Φ</sup> *is* (*GH*2)*-nabla differentiable on* <sup>T</sup>(*an*−1,*an*) }

**Proof.** Let <sup>Φ</sup> : <sup>T</sup>[*a*,*b*] <sup>→</sup> <sup>E</sup>*<sup>n</sup>* is <sup>∇</sup>*<sup>g</sup>* differentiable on <sup>T</sup>[*a*,*b*] *<sup>k</sup>* . Suppose Φ is (*GH*1)-nabla differentiable on (*ai*−1, *ai*). Then, for *<sup>m</sup>* ∈ *<sup>M</sup>*, we have

$$\int\_{a\_{m-1}}^{a\_m} \Phi^{\nabla \ell}(\tau) \nabla \tau = \Phi(a\_m) \ominus\_h \Phi(a\_{m-1}) \text{ for all } m \in M. \tag{7}$$

Let *n* ∈ *N*; using Cauchy formula for functions with values in Banach space, we have

$$(\dot{\imath} \circ \Phi)(a\_n) = (\dot{\imath} \circ \Phi)(a\_{n-1}) + \int\_{a\_{n-1}}^{a\_n} (\dot{\imath} \circ \Phi)^{\nabla^{\sharp}}(\tau) \nabla \tau.$$

By Theorem 9, there exists (*i* ◦ Φ)∇(*s*) and we get (*i* ◦ Φ)(*an*)=(*i* ◦ Φ)(*an*−1) + *an an*−<sup>1</sup> (−*i* <sup>∗</sup>(Φ∇*<sup>g</sup>* )(*τ*)∇*τ*.

Since the embedding *i* commutes with the integral, we obtain

$$(i \circ \Phi)(a\_n) = (i \circ \Phi)(a\_{n-1}) - i^\* \left( \int\_{a\_{n-1}}^{a\_n} \Phi^{\nabla^{\xi}}(\tau) \nabla \tau \right) .$$

Then, it follows that

$$i^\* \left( \int\_{a\_{n-1}}^{a\_n} \Phi^{\nabla^g}(s) \nabla s \right) + (i \circ \Phi)(a\_n) = (i \circ \Phi)(a\_{n-1}).$$

By the definition of *i*∗, we obtain

$$i\left((-1)\odot \int\_{a\_{n-1}}^{a\_n} \Phi^{\nabla^{\xi}}(\tau) \nabla \tau \right) + i(\Phi(a\_n)) = i(\Phi)(a\_{n-1}).$$

By the additive property of the embedding *i*, we have

$$(-1) \odot \int\_{a\_{n-1}}^{a\_n} \Phi^{\nabla^{\sharp}}(\tau) \nabla \tau = \Phi(a\_{n-1}) \odot\_h \Phi(a\_n).$$

Finally,

$$\int\_{a\_{n-1}}^{a\_n} \Phi^{\nabla^{\xi}}(\tau) \nabla \tau = (-1) \odot \Phi(a\_{n-1}) \odot\_{\mathbb{H}} \Phi(a\_{\mathbb{H}}),\tag{8}$$

for all *n* ∈ *N*. Adding Equations (7) and (8), we get the desired result

$$\int\_{a}^{b} \Phi^{\nabla^{\mathcal{S}}}(\tau) \nabla \tau = \sum\_{m \in M} \left( \Phi(a\_m \ominus\_{\mathcal{h}} \Phi(a\_{m-1})) \oplus (-1) \ominus \sum\_{n \in \mathcal{N}} \left( \Phi(a\_{n-1}) \ominus\_{\mathcal{h}} \Phi(a\_n) \right) \right)$$

**Example 4.** *Consider* Φ(*s*) *as in Example 2. We partition* [0, 3*π*] *as a*<sup>0</sup> = 0 < *a*<sup>1</sup> = *<sup>π</sup>* <sup>2</sup> < *a*<sup>2</sup> = *π* < *a*<sup>3</sup> = 2*π* < *a*<sup>4</sup> = <sup>5</sup>*<sup>π</sup>* <sup>2</sup> <sup>&</sup>lt; *<sup>a</sup>*<sup>5</sup> <sup>=</sup> <sup>3</sup>*<sup>π</sup> such that* <sup>Φ</sup>(*s*) *is* (*GH*1)*-nabla differentiable on* <sup>T</sup>[*am*−1,*am*] *, m* ∈ *M* = {1, 3} *and* (*GH*2)*-nabla differentiable on* T[*an*−1,*an*] *, n* ∈ *N* = {2, 5}*. Thus, from Theorem 10, we have*

$$\begin{split} \int\_{a}^{b} \Phi \nabla^{\sharp t} (\pi) \nabla \pi &= \sum\_{m \in M} \left( \Phi(a\_m \ominus\_{h} \Phi(a\_{m-1})) \oplus (-1) \ominus \sum\_{n \in N} (\Phi(a\_{n-1}) \ominus\_{h} \Phi(a\_n)) \right) \\ &= (\Phi(\frac{\pi}{2}) \ominus\_{h} \Phi(0)) \oplus (\Phi(\frac{5\pi}{2}) \ominus\_{h} \Phi(2\pi)) \\ &\oplus (-1) \circ (\Phi(\frac{\pi}{2}) \ominus\_{h} \Phi(\pi)) \oplus (-1) (\Phi(\frac{5\pi}{2}) \ominus\_{h} \Phi(3\pi)) \\ &= 2 \odot c \oplus (-2) \odot c \\ &= (4, 8, 12) \oplus (-12, -8, -4) = (-8, 0, 8). \end{split}$$

#### **5. Conclusions**

This paper is concerned with investigating a new derivative called generalized nabla derivative for fuzzy functions on time scales and studies some basic properties of <sup>∇</sup>*<sup>g</sup>* derivative. In addition, we prove a fundamental theorem of nabla integral calculus for fuzzy functions on time scales under generalized differentiability on time scales. The advantage of <sup>∇</sup>*<sup>g</sup>* derivative is that it is exists even for a fuzzy function having increasing and decreasing length of diameter on a time scale. The results obtained in this paper include results of Leelavathi et al. [27], when the function having only increasing length of diameter, and the results of Leelavathi et al. [28], when the function having only decreasing length of diameter. The obtained results are illustrated with numerical examples. In the future, we propose to study fuzzy nabla dynamic equations on time scales under generalized nabla derivative and their applications.

**Author Contributions:** All authors contributed equally and significantly to writing this article. All authors have read and agreed to the published version of the manuscript.

**Funding:** This research received no external funding.

**Conflicts of Interest:** he authors declare no conflict of interest.

#### **References**


c 2020 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).
