 Research
 Open Access
 Published:
Existenceuniqueness of solutions for fuzzy nabla initial value problems on time scales
Advances in Difference Equations volume 2019, Article number: 269 (2019)
Abstract
This paper is devoted to studying the existence and uniqueness of solutions of fuzzy nabla dynamic equations on time scales under Hukuhara differentiability. We apply the Banach contraction mapping principle to establish existence and uniqueness solution for fuzzy nabla initial value problems on time scales and also obtain existence result using Ascoli’s theorem and Schauder’s fixed point theorem.
Introduction
In modeling a real world phenomenon, some ambiguity or inaccuracy happens because of inadequate data about the parameters which cannot actually portray the idea of the problem. In order to manage this inaccuracy or ambiguity Zadeh [32], presented the theory called fuzzy sets. The fuzzy set theory is an excellent approach which helps us to deal with fuzzy dynamic models. Fuzzy set theory is the best source to study fuzzy differential equations (FDEs) or interval differential equations. FDEs play a vital role in applications of biology, economics, and many other engineering problems where uncertainty arises. Hukuhara [15] initiated the difference between two sets called Hukuhara difference and developed the theory of derivatives and integrals for setvalued mappings. Later, Puri and Ralescu [26] studied Hukuhara derivative for fuzzy functions using Hukuhara difference, and it is the primary approach for studying uncertainty of the dynamical systems. Further, Kaleva [17] studied FDEs under Hukuhara differentiability and also studied the existence and uniqueness of the solutions to FDEs using Hukuhara derivative which has a drawback that the solutions exist only when the functions have an increasing length of support. To overcome this circumstance, Bede and Gal [7] studied generalizations of the differentiability of fuzzy numbervalued functions. Later, Stefanini and Bede [27] studied generalized Hukuhara differentiability of intervalvalued functions and interval differential equations. Further, Malinowski [24, 25] studied the concept of second type Hukuhara derivative for interval differential equations and interval Cauchy problem with second type Hukuhara derivative. Furthermore, Zhang and Sun [36] studied the stability of FDEs under second type Hukuhara derivative.
The theory of time scales was initiated by the German mathematician Stefan Hilger [13]. The important features of time scales are extension, unification, and generalization. The fundamental theory and applications on time scales calculus and dynamic equations on time scales are found in [1, 10]. The theory of time scale calculus is applicable to any field in which a dynamic process incorporates both discrete or continuous time models. Alternative solutions of linear dynamic equations on time scales and boundary value problems for dynamic equations on time scales were studied in [4] and [11]. Oscillatory behavior of solutions to different classes of dynamic equations has been a subject of numerous studies; see, for instance, the papers [2, 8, 9, 20, 33, 35]. Existence of solutions and convergence results for dynamic initial value problems using lower and upper solutions were studied by [34].
Some recent studies and applications in economics [5], production, inventory models [6], adaptive control [16], neural networks [21], and cellular neural networks [12] suggested that nabla derivative is more preferable than delta derivative on time scales.
Hukuhara differentiability of intervalvalued functions and interval differential equations on time scales was studied in [23]. Hong et al. [14] studied differentiability for multivalued functions on time scales. Vasavi et al. [28,29,30,31] introduced and studied fuzzy dynamic equations on time scales. Recently, Leela et al. [18, 19] developed nabla Hukuhara differentiability and integrability on time scales. With the importance and advantages of nabla derivative, we propose to develop the theory of fuzzy nabla dynamic equations on time scales. In this context, we introduce and study fuzzy nabla initial value problems on time scales. The rest of this paper is organized as follows. In Sect. 2, we present some definitions, properties, basic results relating to fuzzy sets, calculus of fuzzy functions, and time scales calculus. In Sect. 3, we introduce first type and second type nabla Hukuhara derivative of fuzzy functions on time scales. We establish the existenceuniqueness result for FNIVP with the help of contraction mapping principle and also obtain the existence result for FNIVP using Ascoli’s and Schauder’s fixed point theorems in Sect. 4.
Preliminaries
It is important to recall some basic results and definitions related to fuzzy calculus. Let \({\Re }_{k}(\Re ^{n})\) be the family of all convex compact nonempty subsets of \({\Re }^{n}\). Denote the set addition and scalar multiplication in \({\Re }_{k}({\Re }^{n})\) as usual. Then \({\Re }_{k}({\Re }^{n})\) satisfies the properties of a commutative semigroup [17] with addition of cancelation laws. Further, if \(\alpha , \beta \in \Re \) and \(S , T \in \Re _{k}(\Re ^{n})\), then
and if \(\beta , \alpha \geq 0 \), then \(( \beta + \alpha )S = \beta S + \alpha S \). Let S and T be two bounded nonempty subsets of \(\Re ^{n}\). By using the Pompeiu–Hausdorff metric, we define the distance between S and T as follows:
Here, \(\\cdot \\) is the Euclidean norm in \(\Re ^{n}\). Then \((\Re _{k}(\Re ^{n}), d_{H})\) becomes a separable and complete metric space [17].
Define

(a)
if ∃ a \(t \in \Re ^{n}\) such that \(\mu (t)=1\), then μ is said to be normal,

(b)
μ is fuzzy convex,

(c)
μ is upper semicontinuous,

(d)
the closure of \(\lbrace t \in \Re ^{n}/ \mu (t)> 0\rbrace = [\mu ]^{0}\) is compact.
For \(0 < \lambda \leq 1\), denote \([\mu ]^{\lambda } =\lbrace t \in \Re ^{n} : \mu (t)\geq \lambda \rbrace \), then from the above conditions we have that the λlevel set \([\mu ]^{\lambda } \in \Re _{k}(\Re ^{n})\).
We know that \([g(s,t)]^{\lambda } = g([s]^{\lambda }, [t]^{\lambda })\) for all \(s, t \in \mathbb{E}_{n}\) and g is continuous. The scalar multiplication ⊙ and addition ⊕ of \(s, t \in \mathbb{E}_{n}\) is defined as
Define \(D_{H} : \mathbb{E}_{n}\times \mathbb{E}_{n} \to [0, \infty )\) by
here \(d_{H}\) is the Pompeiu–Hausdorff metric defined in \(\Re _{k}(\Re ^{n})\). Then \((\mathbb{E}_{n},D_{H})\) is a complete metric space [17].
The following theorem extends the properties of addition and scalar multiplication of fuzzy numbervalued functions (\(\Re _{F}= \mathbb{E} _{1}\)) to \(\mathbb{E}_{n}\).
Theorem 1
([3])

(a)
If \(\tilde{0}\) is the zero element in \(\Re _{F}\), then \(\hat{0} = ( \tilde{0}, \tilde{0}, \ldots , \tilde{0} ) \) is the zero element in \(\mathbb{E}_{n}\), i.e., \(s \oplus \hat{0} = \hat{0}\oplus s = s\) \(\forall s \in \mathbb{E}_{n}\);

(b)
For any \(s \in \mathbb{E}_{n}\) has no inverse with respect to `⊕′;

(c)
For any \(\beta , \gamma \in \Re \) with \(\beta , \gamma \geq 0\) or \(\beta , \gamma \leq 0\) and \(s \in \mathbb{E}_{n}\), then \((\beta + \gamma )\odot s = (\beta \odot s) \oplus (\gamma \odot s)\);

(d)
For any \(\beta \in \Re \) and \(s, t \in \mathbb{E}_{n}\), we have \(\beta \odot (s \oplus t) = (\beta \odot s) \oplus (\beta \odot t)\);

(e)
For any \(\beta , \gamma \in \Re \) and \(s \in \mathbb{E} _{n}\), we have \(\beta \odot ( \gamma \odot s)=(\beta \gamma ) \odot s\).
Let \(S, T\in \mathbb{E}_{n} \). If ∃ a \(R \in \mathbb{E}_{n}\) such that \(S = T \oplus R \), then we say that R is the Hdifference of S and T and is denoted by \(S\ominus _{h} T\). For any \(S, T, R, U \in \mathbb{E}_{n}\) and \(\alpha \in \Re \), the following hold:

(a)
\(D_{H}(S, T) = 0 \Leftrightarrow S = T\);

(b)
\(D_{H}(\alpha S, \alpha T)= \alpha  D_{H}(S, T)\);

(c)
\(D_{H}(S \oplus R, T \oplus R) = D_{H}(S, T)\);

(d)
\(D_{H}(S \ominus _{h} R, T \ominus _{h} R) = D_{H}(S, T)\);

(e)
\(D_{H}(S \oplus T, R \oplus U) \leq D_{H}(S, R)+ D_{H}(T, U)\);

(f)
\(D_{H}(S \ominus _{h} T, R \ominus _{h} U) \leq D_{H}(S, R)+ D_{H}(T, U)\)
provided the Hdifferences exist.
Now, we present some fundamental definitions and properties of Hukuhara derivative of fuzzy functions on the compact interval \(I=[a, b]\), \(a, b \in \Re \).
Remark 1
([17])
A function G is said to be differentiable if the multivalued mapping \(G_{\lambda }\) is Hukuhara differentiable for all \(\lambda \in [ 0, 1]\) and
where \([G_{\lambda }]^{\prime }\) is the Hderivative of \(G_{\lambda }\).
Definition 1
([17])
A mapping G is said to be strongly measurable if, for each \(\lambda \in [0, 1]\), the fuzzy function \(G : I \rightarrow \Re _{k}( \Re ^{n})\) defined by \(G_{\lambda }(\theta ) = [G(\theta )]^{\lambda }\) is measurable.
Now, we present some fundamental definitions and results of time scales.
Definition 2
([10])

(a)
Any nonempty closed subset of ℜ is defined as a time scale which is denoted by \(\mathbb{T}\).

(b)
\(\rho : \mathbb{T}\to \mathbb{T}\) is the backward jump operator and \(\nu : \mathbb{T} \to \mathbb{R^{+}}\), the graininess operator is defined by
$$\rho (\theta )=\sup \{\theta _{0} \in \mathbb{T} : \theta _{0} < \theta \}, \qquad \nu (\theta )= \theta \rho (\theta ) \quad \text{for } \theta \in \mathbb{T}. $$ 
(c)
If \(\theta > \inf (\mathbb{T})\) and \(\rho (\theta )=\theta \), then θ is called left dense otherwise left scattered.

(d)
\(\mathbb{T}_{k}=\mathbb{T}\{m\}\), if \(\mathbb{T}\) has a right scattered minimum m. Otherwise \(\mathbb{T}_{k}=\mathbb{T}\).

(e)
A mapping \(g^{\rho }: \mathbb{T} \rightarrow \Re \) is defined by
$$g^{\rho }(\theta ) = g\bigl(\rho (\theta )\bigr)\quad \text{for each } \theta \in \mathbb{T}, $$where \(g: \mathbb{T} \rightarrow \Re \) is a function.

(f)
The interval in time scale \(\mathbb{T}\) is defined by
$$\mathbb{T}^{[a, b]} = \lbrace \theta \in \mathbb{T} : a \leq \theta \leq b \rbrace = [a, b] \cap \mathbb{T}, $$and if ‘a’ is right dense, then
$$\mathbb{T}_{k}^{[a, b]} = \mathbb{T}^{[a, b]}, $$or if ‘a’ is right scattered, then
$$\mathbb{T}_{k}^{[a, b]} = \mathbb{T}^{[\sigma (a), b]}. $$
Definition 3
([10])
Let \(g: \mathbb{T} \to \Re \) be a function and \(\theta \in \mathbb{T}_{k}\). Then \(g^{\nabla }(\theta )\) exists as a number provided for any given \(\epsilon > 0\), ∃ a neighborhood \(N_{\delta }\) of θ (i.e., \(N_{\delta } =(\theta  \delta , \theta + \delta ) \cap \mathbb{T}\) for some \(\delta > 0\)) such that
Here, \(g^{\nabla }(\theta )\) is called the nabla derivative of g at θ. Moreover, g is said to be nabla (or Hilger) differentiable on \(\mathbb{T}_{k}\), if \(g^{\nabla }(\theta )\) exists \(\forall \ \theta \in \mathbb{T}_{k}\). The function \(g^{\nabla }: \mathbb{T}_{k} \rightarrow \Re \) is then called the nabla derivative of g on \(\mathbb{T}_{k}\).
Definition 4
([10])
A mapping \(g: \mathbb{T} \to \Re \) is said to be regulated if its left sided limits exist and are finite at all ldpoints (left dense points) in \(\mathbb{T}\) and its right sided limits exist and are finite at all rdpoints (right dense points) in \(\mathbb{T}\).
Definition 5
([10])
Let \(g: \mathbb{T} \to \Re \) be a function. g is said to be ldcontinuous if it is continuous at each ldpoint in \(\mathbb{T}\) and \(\lim_{\theta _{0}\rightarrow \theta ^{+}} g(\theta )\) exists as a finite number for all rdpoints in \(\mathbb{T}\).
Theorem 2
(Ascoli’s theorem on \(\mathbb{T}\) [34])
Assume \(Y \subseteq C_{ldf}(\mathbb{T}^{[a, b]}, \Re )\). Then Y is bounded and equicontinuous iff Y is relatively compact.
Theorem 3
(Schauder’s fixed point theorem [22])
Let V be a normed linear space and X be a bounded, closed, and convex subset of V. If \(G :V \rightarrow V \) is compact, then G has at least one fixed point.
Nabla Hukuhara differentiability and integrability
In this section, we present first and second type nabla Hukuhara derivatives, fuzzy nabla integral of fuzzy functions on time scales, and their properties.
Definition 6
([19])
Suppose that \(G : \mathbb{T}^{[a, b]} \rightarrow \mathbb{E}_{n}\) is a fuzzy function and \(\theta \in \mathbb{T}^{[a, b]} _{k}\). Let \(G^{\nabla ^{h}}(\theta )\) be an element of \(\mathbb{E}_{n}\). For any given \(\epsilon > 0\), ∃ a neighborhood \(N_{\mathbb{T}^{[a, b]}}\) of θ, and for some \(\delta > 0\) such that
for all \(\theta  \hbar , \theta + \hbar \in N_{\mathbb{T}^{[a, b]}}\) with \(0 < h < \delta \), where \(\nu (\theta ) = \theta  \rho (\theta )\). Then G is called nabla Hukuhara formI (nablah) differentiable at θ and is denoted by \(G^{\nabla ^{h}}(\theta )\).
The above definition does not exist if the fuzzy function has a decreasing diameter. So, in order to overcome this circumstance, we introduce and study the second type nabla Hukuhara derivative for fuzzy functions on time scales where the results exist for the functions which have a decreasing diameter.
Definition 7
([19])
Suppose that \(G : \mathbb{T}^{[a, b]} \rightarrow \mathbb{E}_{n}\) is a fuzzy function and \(\theta \in \mathbb{T}^{[a, b]} _{k}\). Let \(G^{\nabla ^{sh}}(\theta )\) be an element of \(\mathbb{E} _{n}\) for any given \(\epsilon > 0\), ∃ a neighborhood \(N_{\mathbb{T}^{[a, b]}}\) of θ, and for some \(\delta > 0\) such that
for all \(\theta  \hbar , \theta + \hbar \in N_{\mathbb{T}^{[a, b]}}\) with \(0 < h < \delta \), where \(\nu (\theta ) = \theta  \rho (\theta )\). Then G is called nabla Hukuhara formII differentiable or nablash (symbolically \(\nabla ^{sh}\)differentiable) at θ and is denoted by \(G^{\nabla ^{sh}}(\theta )\). We consider only right limit at left scattered points and onesided limit at the end points of \(\mathbb{T} _{k}^{[a, b]}\).
Lemma 1
([19])
Let \(G: \mathbb{T}^{[a, b]} \rightarrow \mathbb{E}_{n}\) be a fuzzy function. If \(G: \mathbb{T}^{[a, b]} \rightarrow \mathbb{E} _{n}\) is continuous at θ and θ is left scattered, then

(a)
\(G: \mathbb{T}^{[a, b]} \rightarrow \mathbb{E}_{n}\) is nablah differentiable at \(\theta \in \mathbb{T}^{[a, b]}_{k}\) with
$$G^{\nabla ^{h}}(\theta ) = \frac{1}{\nu (\theta )}\odot \bigl( G( \theta ) \ominus _{h} G\bigl(\rho (\theta )\bigr) \bigr) , $$provided \(G(\theta ) \ominus _{h} G(\rho (\theta ))\) exists.
or

(b)
\(G: \mathbb{T}^{[a, b]} \rightarrow \mathbb{E}_{n}\) is nablash differentiable at \(\theta \in \mathbb{T}^{[a, b]}_{k}\) with
$$G^{\nabla ^{sh}}(\theta ) = \frac{1}{\nu (\theta )} \odot \bigl( G\bigl( \rho (\theta )\bigr) \ominus _{h} G(\theta ) \bigr), $$provided \(G(\rho (\theta )) \ominus _{h} G(\theta )\) exists.
or

(c)
\(G: \mathbb{T}^{[a, b]} \rightarrow \mathbb{E}_{n}\) is nabla differentiable at \(\theta \in \mathbb{T}^{[a, b]}_{k}\) with
$$G^{\nabla }(\theta ) = \frac{1}{\nu (\theta )} \odot \bigl( G(\theta ) \ominus _{h} G\bigl(\rho (\theta )\bigr) \bigr) = \frac{1}{\nu (\theta )} \odot \bigl( G\bigl(\rho (\theta )\bigr) \ominus _{h} G(\theta ) \bigr) \in \Re ^{n}, $$provided \(G(\rho (\theta )) \ominus _{h} G(\theta )\) and \(G(\theta ) \ominus _{h} G(\rho (\theta ))\) both exist.
Theorem 4
([19])
If \(G, H : \mathbb{T}^{[a, b]} \rightarrow E^{n}\) are nabla integrable, then the following hold:

(a)
\(\int _{a}^{b} [G(\tau ) \oplus H(\tau )] \nabla \tau = \int _{a}^{b} G(\tau ) \nabla \tau \oplus \int _{a}^{b} H(\tau ) \nabla \tau \).

(b)
\(\int _{a}^{b} \alpha G(\tau ) \nabla \tau = \alpha \int _{a}^{b} G(\tau ) \nabla \tau \), \(\alpha \in \Re \).

(c)
\(\int _{a}^{b} G(\tau )\nabla \tau = \int _{a}^{c} G(\tau ) \nabla \tau \oplus \int _{c}^{b} G(\tau ) \nabla \tau \).

(d)
\(\int _{a}^{a} G(\tau )\nabla \tau = \hat{0}\).

(e)
If \(g \in S_{G}(\mathbb{T}^{[a, b]})\), then \(D_{H}(G(\cdot), \hat{0}) : \mathbb{T}^{[a, b]} \rightarrow \mathit{R}^{+}\) is nabla integrable and
$$D_{H} \biggl( \int _{a}^{b} G(\tau )\nabla \tau ,\hat{0} \biggr) \leq \int _{a}^{b} D_{H}\bigl( G(\tau ), \hat{0}\bigr) \nabla \tau . $$ 
(f)
If \(g \in S_{G}(\mathbb{T}^{[a, b]})\) and \(h \in S_{H}( \mathbb{T}^{[a, b]})\) imply that \(g, h \in C_{ldf}(\mathbb{T}^{[a, b]})\) respectively, then \(D_{H}(G(\cdot), H(\cdot)): \mathbb{T}^{[a, b]}\rightarrow \Re ^{+}\) is nabla integrable and
$$D_{H} \biggl( \int _{a}^{b} G(\tau ) \nabla \tau , \int _{a}^{b} H ( \tau )\nabla \tau \biggr) \leq \int _{a}^{b}D_{H} \bigl( G(\tau ),H( \tau ) \bigr) \nabla \tau , $$where the set of all fuzzy ldcontinuous functions is defined by
$$C_{ldf} = C_{ldf}\bigl(\mathbb{T}^{[a, b]}\bigr) = C_{ldf}\bigl(\mathbb{T}^{[a, b]}, \mathbb{E}_{n}\bigr). $$
Theorem 5
([19])
Suppose that \(G :\mathbb{T}^{[a, b]} \rightarrow \mathbb{E}_{n}\) is ldcontinuous and if \(\theta _{0} \in \mathbb{T} ^{[a, b]}\), then

(a)
\(\mathcal{G}\) defined by
$$\mathcal{G}(\theta )= X_{0} \oplus \int _{\theta _{0}}^{\theta } G( \tau )\nabla \tau \quad \textit{for } \theta \in \mathbb{T}^{[a, b]} \textit{ and } X_{0} \in \mathbb{E}_{n} $$is nablah differentiable and \(\mathcal{G}^{\nabla ^{h}}(\theta ) = G( \theta )\) a.e. on \(\mathbb{T}^{[a, b]}\).

(b)
\(\mathcal{G}\) defined by
$$\mathcal{G}(\theta )= X_{0} \ominus _{h} (1) \int _{\theta _{0}}^{ \theta } G(\tau )\nabla \tau \quad \textit{for } \theta \in \mathbb{T}^{[a, b]} \textit{ and } X_{0} \in \mathbb{E}_{n} $$is nablash differentiable and \(\mathcal{G}^{\nabla ^{sh}}(\theta ) = G( \theta )\) a.e. on \(\mathbb{T}^{[a, b]}\).
Main results
In this section, we introduce a fuzzy nabla initial value problem on time scales and obtain the solution under two types of Hukuhara differentiability. Let us consider the fuzzy nabla initial value problems (FNIVP) on time scales as
where \(G \in C_{ldf}(I_{\mathbb{T}}, \mathbb{E}_{n}) \), \(I_{\mathbb{T}} = \mathbb{T}^{[\theta _{0}, \theta _{0}+a]}\), \(a > 0\).
Lemma 2
A mapping \(u : I_{\mathbb{T}} \rightarrow \mathbb{E}_{n}\) is a solution of FNIVP (5) iff it is ldcontinuous and satisfies the fuzzy nabla integral equation
and u is a solution of FNIVP (5) iff it is ldcontinuous and satisfies the fuzzy nabla integral equation
Proof
Suppose that \(u(\theta )\) is a solution of FNIVP (5). Then
Taking fuzzy nabla integral on (5)
Conversely, suppose that u satisfies the fuzzy integral equation (7). Clearly, \(u(\theta _{0})= u_{0}\), and from Theorem ( 5)(a), we have \(u^{\nabla ^{h}}(\theta )= G (\theta , u( \theta ))\). Similarly, we prove the other part. □
Now, with the help of Banach contraction mapping principle, we will prove that if \(G(\theta , u)\) satisfies the Lipschitz condition, then FNIVPs (5) and (6) have a unique solution on \(I_{\mathbb{T}}\).
Theorem 6
Let \(G: I_{\mathbb{T}} \times \mathbb{E}_{n} \rightarrow \mathbb{E} _{n}\) be ldcontinuous and suppose that there exists \(M > 0\) such that
then FNIVPs (5) and (6) have a unique solution on \(I_{\mathbb{T}}\).
Proof
Let \(C_{ldf} ( I_{\mathbb{T}}, \mathbb{E}_{n} )\) be the set of all ldcontinuous functions from \(I_{\mathbb{T}}\) to \(\mathbb{E} _{n}\), where \(I_{\mathbb{T}} \in \mathbb{T}^{[a, b]}\). Define the metric
for all \(\psi , \phi \in C_{ldf}(I_{\mathbb{T}},\mathbb{E}_{n} )\). Since \((D_{H}, \mathbb{E}_{n})\) is a complete metric space, it is evident that \((C_{ldf}(I_{\mathbb{T}}, \mathbb{E}_{n}), \chi )\) is also a complete metric. For any \(\psi \in C_{ldf}(I_{\mathbb{T}}, \mathbb{E}_{n})\), define the operator F on \(I_{\mathbb{T}}\) as
Now, we show that \(F\psi \in C_{ldf}(I_{\mathbb{T}},\mathbb{E}_{n} )\) employing ldcontinuity and nabla integral properties. Let \(\theta , \theta _{0} \in I_{\mathbb{T}}\)
Since G satisfies the Lipschitz condition, G is bounded and
Hence, \(D_{H} ( F\psi (\theta ), F\psi (\theta _{0}) ) \leq M\vert \theta  \theta _{0}\vert \). Therefore, \(F\psi \in C_{ldf}(I _{\mathbb{T}},\mathbb{E}_{n} )\). Now, consider
Choose \(I_{\mathbb{T}} \) such that \(aM < 1\). Therefore, F is a contraction mapping. Thus, from the Banach contraction mapping principle there exists a unique fixed point of F, say ũ, and this fixed point is the unique solution of FNIVP (5) on \(I_{\mathbb{T}}\). Similarly, we can prove the existence and uniqueness solution for FNIVP (6) on \(I_{\mathbb{T}}\). □
In the following theorem, we establish the existence of solutions for FNIVPs (5) and (6) using Ascoli’s theorem and Schauder’s fixed point theorem.
Theorem 7
Suppose that \(G \in C_{ldf}(I_{\mathbb{T}} \times \mathbb{E}_{n}, \mathbb{E}_{n})\) and \(D_{H} ( G(\theta , u), \hat{0} ) \leq K\), \(\theta \in I_{\mathbb{T}}\), \(u \in \mathbb{E}_{n}\). Then FNIVPs (5) and (6) have at least one solution on \(I_{\mathbb{T}}\).
Proof
First, we consider FNIVP (5) and we prove that it has at least one solution. Let \(\mathcal{B}\) be a bounded set in \(C_{ldf}( I _{\mathbb{T}}, \mathbb{E}_{n})\). The set \(F\mathcal{B}= \{[Fu] : u \in \mathcal{B}\} \) is totally bounded iff it is equicontinuous, and for \(\theta \in I_{\mathbb{T}}\), the set
is a totally bounded subset of \(\mathbb{E}_{n}\), where \(Fu(\theta ) = u_{0} \oplus \int _{\theta _{0}}^{\theta } G(\tau , u(\tau )) \nabla \tau \). For any \(\theta _{1}, \theta _{2} \in I_{\mathbb{T}}\), \(\theta _{1} \leq \theta _{2}\) and \(u \in \mathcal{B}\), we have
Therefore, Fu is equicontinuous on \(I_{\mathbb{T}}\). For fixed \(\theta \in I_{\mathbb{T}} \), we have
Hence, the set \(\lbrace [[Fu](\theta ): u \in \mathcal{B}] \rbrace \) is totally bounded in \(\mathbb{E} _{n}\). From Theorem 2, we have \(F\mathcal{B}\) is a relatively compact subset of \(C_{ldf}(I_{\mathbb{T}} , \mathbb{E}_{n}) \). Define the ball \(\mathcal{B} = \lbrace u \in C_{ldf}(I_{ \mathbb{T}} , \mathbb{E}_{n}) \ni \chi (u, \hat{0}) \leq aK \rbrace \) in the metric space \(( C_{ldf}(I_{\mathbb{T}} , \mathbb{E}_{n}), \chi ) \). For \(u \in C_{ldf} ( I_{ \mathbb{T}} , \mathbb{E}_{n} ) \), consider
Defining \(\tilde{0}: I_{\mathbb{T}} \rightarrow \mathbb{E}_{n}\) such that \(\tilde{0}(\theta ) = \hat{0}\), \(\theta \in I_{\mathbb{T}}\), we get
Therefore, \(F\mathcal{B}\) is contained in \(\mathcal{B}\). Since F is compact and then from Theorem (3), F has a fixed point and this fixed point is a solution of (5). Hence, FNIVP (5) has at least one solution on \(\theta \in I_{\mathbb{T}} \). In a similar way, we can prove the existence of solution for FNIVP (6) by defining
□
Conclusions
In this paper, first we introduced fuzzy nabla initial value problems (FNIVP) on time scales under Hukuhara differentiability and represented their solutions as integral equations. Further, we established the existence and uniqueness of solution for FNIVP on time scales using the Banach contraction mapping principle and also obtained the existence result using Ascoli’s and Schauder’s fixed point theorems.
References
 1.
Agarwal, R.P., Bohner, M.: Basic calculus on time scales and some of its applications. Results Math. 35, 3–22 (1999)
 2.
Agarwal, R.P., Bohner, M., Li, T.: Oscillatory behavior of secondorder halflinear damped dynamic equations. Appl. Math. Comput. 254, 408–418 (2015)
 3.
Anastassiou, G.A., Gal, S.G.: On a fuzzy trigonometric approximation theorem of Weierstrasstype. J. Fuzzy Math. 9(3), 701–708 (2001)
 4.
Anderson, D.R., Tisdell, C.C.: Alternative solutions of inhomogeneous secondorder linear dynamic equations on time scales. J. Differ. Equ. Appl. 17(10), 1487–1498 (2011)
 5.
Atici, F.M., Daniel Biles, C., Lebedinsky, A.: An application of time scales to economics. Math. Comput. Model. 43, 718–726 (2006)
 6.
Atici, F.M., Uysal, F.: A productioninventory model of HMMS model on time scales. Appl. Math. Lett. 21(3), 236–243 (2008)
 7.
Bede, B., Gal, S.G.: Generalizations of the differentiability of fuzzynumbervalued functions with applications to fuzzy differential equations. Fuzzy Sets Syst. 151, 581–599 (2005)
 8.
Bohner, M., Hassan, T.S., Li, T.: Fite–Hille–Wintnertype oscillation criteria for secondorder halflinear dynamic equations with deviating arguments. Indag. Math. 29, 548–560 (2018)
 9.
Bohner, M., Li, T.: Kamenevtype criteria for nonlinear damped dynamic equations. Sci. China Math. 58(7), 1445–1452 (2015)
 10.
Bohner, M., Peterson, A.: Dynamic Equations on Time Scales: An Introduction with Applications. Springer, Birkhauser (2001)
 11.
Eloe, P.W., Henderson, J.: Boundary value problems for dynamic equations on time scales. In: Nonlinear Interpolation and Boundary Value Problems, pp. 181–224 (2016)
 12.
Gao, J., Wang, Q.R., Zhang, L.W.: Existence and stability of almostperiodic solutions for cellular neural networks with timevarying delays in leakage terms on time scales. Appl. Math. Comput. 237, 639–649 (2015)
 13.
Hilger, S.: Analysis on measure chains—a unified approach to continuous and discrete calculus. Results Math. 18, 18–56 (1990)
 14.
Hong, S.: Differentiability of multivalued functions on time scales and applications to multivalued dynamic equations. Nonlinear Anal. 71, 3622–3637 (2009)
 15.
Hukuhara, M.: Intégration des applications mesurables dont la valeur est un compact convexe. Funkc. Ekvacioj 10, 205–223 (1967)
 16.
Jackson, B.J.: Adaptive control in the nabla setting. Neural Parallel Sci. Comput. 16, 253–272 (2008)
 17.
Kaleva, O.: Fuzzy differential equations. Fuzzy Sets Syst. 24, 301–317 (1987)
 18.
Leelavathi, R., Suresh Kumar, G., Murty, M.S.N.: Nabla integral for fuzzy functions on time scales. Int. J. Appl. Math. 31(5), 669–678 (2018)
 19.
Leelavathi, R., Suresh Kumar, G., Murty, M.S.N.: Nabla Hukuhara differentiability for fuzzy functions on time scales. IAENG Int. J. Appl. Math. 49(1), 114–121 (2019)
 20.
Li, T., Saker, S.H.: A note on oscillation criteria for secondorder neutral dynamic equations on isolated time scales. Communications in Nonlinear Science and Numerical Simulation. 19, 4185–4188 (2014)
 21.
Liu, B., Do, Y., Batarfi, H.A., Alsaadi, F.E.: Almost periodic solution for a neutraltype neural networks with distributed leakage delays on time scales. Neurocomputing 173, 921–929 (2016)
 22.
Lloyd, N.G.: Degree Theory. Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge (1978)
 23.
Lupulescu, V.: Hukuhara differentiability of intervalvalued functions and interval differential equations on time scales. Inf. Sci. 248, 50–67 (2013)
 24.
Malinowski, M.T.: Interval differential equations with a second type Hukuhara derivative. Appl. Math. Lett. 24, 2118–2123 (2011)
 25.
Malinowski, M.T.: Interval Cauchy problem with a second type Hukuhara derivative. Inf. Sci. 213, 94–105 (2012)
 26.
Puri, M.L., Ralescu, D.A.: Differentials for fuzzy functions. J. Math. Anal. Appl. 91, 552–558 (1983)
 27.
Stefanini, L., Bede, B.: Generalized Hukuhara differentiability of intervalvalued functions and interval differential equations. Nonlinear Anal., Theory Methods Appl. 71, 1311–1328 (2009)
 28.
Vasavi, C.H., Suresh Kumar, G., Murty, M.S.N.: Fuzzy Hukuhara delta differential and applications to fuzzy dynamic equations on time scales. J. Uncertain Syst. 10(1), 163–180 (2016)
 29.
Vasavi, C.H., Suresh Kumar, G., Murty, M.S.N.: Fuzzy dynamic equations on time scales under second type Hukuhara delta derivative. Int. J. Chem. Sci. 14(1), 49–66 (2016)
 30.
Vasavi, C.H., Suresh Kumar, G., Murty, M.S.N.: Generalized differentiability and integrability for fuzzy setvalued functions on time scales. Soft Comput. 20, 1093–1104 (2016)
 31.
Vasavi, C.H., Suresh Kumar, G., Murty, M.S.N.: Fuzzy dynamic equations on time scales under generalized delta derivative via contractivelike mapping principles. Indian J. Sci. Technol. 9(25), 1–6 (2016)
 32.
Zadeh, L.A.: Fuzzy sets. Inf. Control 8, 338–353 (1965)
 33.
Zafer, A.: On oscillation and nonoscillation of secondorder dynamic equations. Appl. Math. Lett. 22(1), 136–141 (2009)
 34.
Zaidi, A.H.: Existence of solutions and convergence results for dynamic initial value problems using lower and upper solutions. Electron. J. Differ. Equ. 161, 1 (2009)
 35.
Zhang, C., Agarwal, R.P., Bohner, M., Li, T.: Oscillation of fourthorder delay dynamic equations. Sci. China Math. 58, 143–160 (2015)
 36.
Zhang, S., Sun, J.: Stability of fuzzy differential equations with the second type of Hukuhara derivative. IEEE Trans. Fuzzy Syst. 23(4), 1323–1328 (2015)
Availability of data and materials
Data sharing not applicable to this article as no data sets were generated or analyzed during the current study.
Funding
No funding
Author information
Affiliations
Contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Corresponding author
Correspondence to R. V. N. Srinivasa Rao.
Ethics declarations
Competing interests
The authors declare that they have no competing interest.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Leelavathi, R., Suresh Kumar, G., Murty, M.S.N. et al. Existenceuniqueness of solutions for fuzzy nabla initial value problems on time scales. Adv Differ Equ 2019, 269 (2019). https://doi.org/10.1186/s1366201922016
Received:
Accepted:
Published:
MSC
 03E72
 26E70
 34A07
Keywords
 Time scales
 Hukuhara difference
 Nabla Hukuhara derivative
 Fuzzy differential equations