- Research
- Open Access
- Published:
A new technique to solve the initial value problems for fractional fuzzy delay differential equations
Advances in Difference Equations volume 2017, Article number: 181 (2017)
Abstract
Using some recent results of fixed point of weakly contractive mappings on the partially ordered space, the existence and uniqueness of solution for interval fractional delay differential equations (IFDDEs) in the setting of the Caputo generalized Hukuhara fractional differentiability are studied. The dependence of the solution on the order and the initial condition of IFDDE is shown. A new technique is proposed to find the exact solutions of IFDDE by using the solutions of interval integer order delay differential equation. Finally, some examples are given to illustrate the applications of our results.
1 Introduction
Fractional calculus and fractional differential equations are a field of increasing interest due to their applicability to the analysis of phenomena, and they play an important role in a variety of fields such as rheology, viscoelasticity, electrochemistry, diffusion processes, etc. Usually applications of fractional calculus amount to replacing the time derivative in a given evolution equation by a derivative of fractional order. One can find applications of fractional differential equations in signal processing and in the complex dynamic in biological tissues (see [1–3]). To observe some basic information and results of various type of fractional differential equations, one can see the papers and monographs of Samko et al. [4], Podlubny [5] and Kilbas et al. [6].
Interval analysis and interval differential equation were proposed as an attempt to handle interval uncertainty that appears in many mathematical or computer models of some deterministic real-world phenomena in which uncertainties or vagueness pervade. In the recent time this theory has been developed in theoretical directions, and a wide number of applications of this theory have been considered (see, for instance, [7–12]). Recently, the issue of fuzzy fractional calculus and fuzzy fractional differential equations has emerged as the significant subject, and this new theory has become very attractive to many scientists. The concept of fuzzy type Riemann-Liouville differentiability based on the Hukuhara differentiability was initiated by Agarwal et al. in [13, 14] with some applications to fractional order initial value problem of fuzzy differential equation. By using the Hausdorff measure of non-compactness and under compactness type conditions, authors proved the existence of solution of fuzzy fractional integral equation. Following this direction, the concepts of fuzzy fractional differentiability have been developed and extended in some papers to investigate some results on the existence and uniqueness of solutions to fuzzy differential equations, and have been considered in a wide number of applications of this theory (see, for instance, [15–28]).
It is well known that the Banach fixed point theorem is a useful tool in mathematics and plays an important role in finding solutions to nonlinear, differential and integral equations, among others. In the recent time this theorem has been extended and generalized by several authors in various ways, for instance, the results on the existence of a fixed point in partially ordered sets for first order ordinary differential equations, Fredholm and Volterra type integral equations, among others, have been studied. In particular, some applications of fixed points in partially ordered sets to resolution of matrix equation were presented by Ran and Reurings in [29], and the applicability of the existence of a unique fixed point for mappings defined in partially ordered sets to the study of the existence of a unique solution for periodic boundary condition problems for integer order ordinary differential equations was shown by Nieto and RodrÃguez-López in [30, 31]. In [32] Harjani and Sadarangani presented some fixed point generalized theorems involving altering distance functions in the ordered metric spaces, and this result was used to investigate the existence problem of solution to first and second order ordinary differential equations. Besides, Villamizar-Roa et al. [33] used some more generalized fixed point results of weakly contractive mappings in a partial order metric space of fuzzy-valued functions to investigate the existence and uniqueness of fuzzy solutions of the initial-valued problem for integer order fuzzy differential equation in the setting of generalized Hukuhara derivatives. By employing the weakly contractive mapping in the partially ordered space of fuzzy functions, Long et al. [34–37] studied the existence and uniqueness of weak solution for some classes of fuzzy fractional partially differential equations under Caputo gH-differentiability without the Lipschitzian right-hand side. Briefly in this paper some recent results of fixed point of weakly contractive mappings on the partially ordered space are used to investigate the existence and uniqueness of solution for interval fractional delay differential equations in the setting of the Caputo generalized Hukuhara fractional differentiability. We focus on the following initial value problem for an interval-valued delay differential equations with Caputo generalized Hukuhara fractional differentiability under the form
where \({^{C}}\mathcal{D}_{a^{+}}^{\alpha}\) is the Caputo derivative of order \(\alpha\in(0,1]\), F is a continuous interval function on \([a,b]\), and the initial function φ is continuous on \([a-\sigma ,a]\). Our aims are to
-
give the existence and uniqueness theorem of solution for a general form of the interval fractional integral equation by using some recent results of fixed point of weakly contractive mappings on partially ordered sets, and use these results in order to investigate the existence and uniqueness result of solution for problem (1.1).
-
show that the solutions of the initial value problem (1.1) depend continuously on the initial condition, the order and the right-hand side of equation.
-
propose a new technique to find the exact solutions of problem (1.1) by using the solutions of interval integer order delay differential equation.
This paper is organized as follows. In Section 2, some basic concepts and notations about fractional derivative for interval functions are introduced. Besides, some properties concerning the partially ordered space of interval functions and a fixed point theorem in partial metric spaces are presented. In Section 3, we prove the existence and uniqueness of solution for a general form of the interval fractional integral equation and use this result to investigate the existence and uniqueness results of solutions for problem (1.1). Finally, a new technique to find the exact solutions of problem (1.1) is provided and two examples are given to illustrate this technique.
2 Preliminaries
In this section, we present basic notations and necessary preliminaries used throughout the paper. Some of them were detailed further in [8–10, 20, 38–40] and the references therein. In the following, we denote the space of all nonempty compact intervals of the real line \(\mathbb{R}\) by \(K_{C}(\mathbb {R})\). Let \(A=[\underline{A},\overline{A}]\), \(B=[\underline{B},\overline{B}]\in K_{C}(\mathbb {R})\), then the usual interval operations, i.e., Minkowski addition, Minkowski difference and scalar multiplication, are defined by \(A+B=[\underline{A}+\underline{B},\overline{A}+\overline{B}], A-B=A+(-1)B=[\underline{A}-\overline{B},\overline{A}-\underline{B}] \) and
It is well known that with respect to the above operations, \(K_{C}(\mathbb {R})\) is a quasilinear space (Markov [41]). Let \(A=[\underline{A},\overline{A}],B=[\underline{B},\overline{B}]\in K_{C}(\mathbb {R})\), then the generalized Hukuhara difference (or gH-difference for short) of two intervals \(A,B\) is defined as follows [10, 41]:
The width of \(A\in K_{C}(\mathbb {R})\) is defined by \(w(A)=\overline{A}-\underline{A}\). Then it is easy to see that \(w(-A)=w(A), w(A+B)=w(A)+w(B)\) and \(w(A\ominus_{g}B)= \vert w(A)-w(B) \vert \). The Hausdorff-Pompeiu metric H in \(K_{C}(\mathbb {R})\) is defined as follows:
It is well known that \((K_{C}(\mathbb {R}),H)\) is a complete, separable and locally compact metric space. Some properties of the Pompeiu-Hausdorff metric are well known in (see [42]). As \((K_{C}(\mathbb {R}),+,\cdot,H)\) is a quasilinear metric space, then the concepts of continuity and limit for interval-valued functions are understood in the sense of the metric H. Next, for \(X, Y \in K_{C}(\mathbb {R})\) with \(X=[\underline{X}, \overline{X}], Y=[\underline{Y}, \overline{Y}]\), we can define the partial orders ⪯ and ⪰ as \(X \preceq Y\) (\(X \succeq Y\)) if and only if \(\underline{X} \le \underline{Y}\) and \(\overline{X} \le\overline{Y}\) (\(\underline{X} \ge \underline{Y}\) and \(\overline{X} \ge\overline{Y}\)). Some interesting properties on the partial orderings ⪯ and ⪰ are presented in [40].
Lemma 2.1
On \(K_{C}(\mathbb {R})\) the following properties hold:
-
(i)
If \((X)_{n \in\mathbb {N}} \subset K_{C}(\mathbb {R})\) is a nondecreasing sequence such that \(X_{n} \to X\) in \(K_{C}(\mathbb {R})\), then \(X_{n} \preceq X\) for all \(n \in\mathbb {N}\).
-
(ii)
Every pair of elements of \(K_{C}(\mathbb {R})\) has a lower bound or an upper bound.
The partial ordering ⪯ and ⪰ can be extended to the space of interval functions as follows:
In this paper we call \(C([a,b],K_{C}(\mathbb {R}))\) the set of continuous interval functions on \([a,b]\). It is well known that \(C([a,b],K_{C}(\mathbb {R}))\) is a complete metric space with respect to the metric \({H}_{C}[X,Y]= \Vert X\ominus_{g}Y \Vert _{C}\), where \(\Vert X \Vert _{C}:=\underset{a\leq t\leq b}{\sup }H[X(t),\mathbf{0}]\).
Lemma 2.2
Let \((K_{C}(\mathbb {R}), \preceq)\) be a partial ordered space, then we have the following properties:
-
(i)
\((C([a,b],K_{C}(\mathbb {R})), \preceq )\) is a partial ordered space.
-
(ii)
If \((X)_{n \in\mathbb {N}} \subset C([a,b],K_{C}(\mathbb {R}))\) is a nondecreasing sequence such that \(X_{n} \to X\) in \(C([a,b],K_{C}(\mathbb {R}))\), then \(X_{n} \preceq X\) for all \(n \in\mathbb {N}\).
-
(iii)
Every pair of elements of \(C([a,b],K_{C}(\mathbb {R}))\) has a lower bound or an upper bound.
Let an interval function \(X:[a,b]\rightarrow K_{C}(\mathbb {R})\), then X is called w-increasing (w-decreasing) on \([a,b]\) if \(t\mapsto w(X(t))\) is nondecreasing (nonincreasing) on \([a,b]\). We say that X is w-monotone on \([a,b]\) if X is w-increasing or w-decreasing on \([a,b]\).
Generalized Hukuhara fractional derivative. [10] Let \(t_{0} \in[a,b]\), then the generalized Hukuhara derivative (gH-derivative for short) of an interval mapping \(X: [a,b]\rightarrow K_{C}(\mathbb {R})\) at \(t_{0}\) is the function \(X^{\prime}(t_{0}) \in K_{C}(\mathbb {R})\) given by
We recall some definitions of Riemann-Liouville and Caputo derivatives for interval-valued functions and some necessary results are given to use in the next section. Some of them were detailed further in [38, 39] and the references therein.
Let \(L([a,b],K_{C}(\mathbb {R}))\) denote the space of all Lebesgue integrable interval-valued functions on the bounded interval \([a,b]\). Let \(\alpha\in(0,1]\), then the interval-valued Riemann-Liouville integral of interval-valued function \(X\in L ([a,b],{K_{C}(\mathbb {R})} ) \) is defined by
and the Riemann-Liouville gH-fractional derivative of X is defined by
Remark 2.1
[16]
Let \(X, Y \in C([a,b], K_{C}(\mathbb {R}))\) and \(A\in K_{C}(\mathbb {R})\) and also \(X \preceq Y\), then for every \(\alpha\in(0,1]\), we have
-
(i)
\((\Im_{a^{+}}^{\alpha}X ) (t) \preceq ( \Im_{a^{+}}^{\alpha}Y ) (t), \forall t \in[a,b]\).
-
(ii)
\(A \ominus(-1) ( \Im_{a^{+}}^{\alpha}X ) (t) \preceq A \ominus(-1) ( \Im_{a^{+}}^{\alpha}Y ) (t), \forall t \in[a,b]\), provided \(A \ominus(-1) ( \Im _{a^{+}}^{\alpha}X ) (t) \) and \(A \ominus(-1) ( \Im _{a^{+}}^{\alpha}Y ) (t)\) are well defined.
Let \(X\in L([a,b],K_{C}(\mathbb {R}))\) be an interval-valued function such that the Riemann-Liouville gH-fractional derivative \({}^{RL} \mathcal{D}_{a^{+}}^{\alpha}X\), \(\alpha\in(0,1]\) exists on \([a,b]\). In this case the interval-valued Caputo fractional derivative (or Caputo gH-fractional derivative) of order \(\alpha\in(0,1]\) of X is defined as follows:
Generalized fixed point theorems. In the sequel we recall some generalized fixed point theorem in partially ordered space (see [32]) that will be used in the next section to analyze the existence of solutions for a general form of the interval fractional integral equation.
Let \(C(\mathbb {R}^{+}, \mathbb {R}^{+})\) denote the space of all continuously nonnegative functions \(\psi: \mathbb {R}^{+} \to\mathbb {R}^{+}\), then a real-valued function \(\psi\in C(\mathbb {R}^{+}, \mathbb {R}^{+})\) is called an altering distance function on \([0,\infty)\) if ψ is nondecreasing and satisfies the following property: \(\psi(t)=0 \) if and only if \(t=0\). Some examples for altering distance functions on \([0,\infty)\) are \(t^{2}, \ln(1+t)\) and \(t^{2} - \ln(1+t^{2})\). Let \((\mathbb {X}, \le)\) be a partially ordered set and \(f: \mathbb {X} \to\mathbb {X}\). The function f is said to be monotone nonincreasing (or nondecreasing) if \(u \le v\) for \(u,v \in\mathbb {X}\), then \(f(v) \le f(u)\) or (\(f(u) \le f(v)\)), respectively.
Theorem 2.1
[32]
Assume that \((\mathbb {X}, \le)\) is a partially ordered set such that every pair of elements of X has a lower bound or an upper bound, and there exists a metric d on \(\mathbb {X}\) such that \((\mathbb {X}, \le)\) is a complete metric space. Let \(f: \mathbb {X} \to\mathbb {X} \) be a monotone nondecreasing function satisfying the weakly contractive condition
for all \(u \ge v\) and for some altering distance functions ψ and ξ. In addition, suppose that \(\mathbb {X}\) satisfies the following property:
-
(i)
if a nondecreasing sequence \((u_{n})_{n \in\mathbb {N}} \subset\mathbb {X} \) converges to u in \(\mathbb {X}\), then \(u_{n} \le u\) for all \(n \in\mathbb {N}\), or
-
(ii)
if a nonincreasing sequence \((u_{n})_{n \in\mathbb {N}} \subset\mathbb {X} \) converges to u in \(\mathbb {X}\), then \(u \le u_{n}\) for all \(n \in\mathbb {N}\).
Then, if there exists \(u_{0} \in\mathbb {X}\) satisfying case (i) such that \(u_{0} \le f(u_{0})\) or there exists \(u_{0} \in\mathbb {X}\) satisfying case (ii) such that \(u_{0} \ge f(u_{0})\), then f has a unique fixed point. Moreover, if \(u^{*}\) is the fixed point of f, then it holds \(\lim_{n \to\infty}f^{n}(u) = u^{*}\) for all \(u \in\mathbb {X}\).
3 Main results
In this section, our aim is to give existence and uniqueness theorems of solutions for a general form of the interval-valued delay fractional integral equation by using some recent results of fixed point of weakly contractive mappings on partially ordered sets, and in the next section, we use these results in order to investigate the existence and uniqueness results of solutions for an interval-valued delay fractional differential equation. For a positive number σ, we denote by \(C_{\sigma}\) the space \(C([-\sigma, 0], K_{C}(\mathbb {R}))\) equipped with the metric defined by
Define \(I = [a, b], J=[a - \sigma, a] \cup I = [a - \sigma, b]\). Then, for each \(t \in I\), we denote by \(X_{t}\) the element of \(C_{\sigma}\) defined by \(X_{t}(s)=X(t+s)\), \(s \in[-\sigma,0]\).
Interval-valued delay fractional integral equation: Consider the following interval-valued delay fractional integral equation:
where \(F: [a,b] \times K_{C}(\mathbb {R}) \times C_{\sigma} \to K_{C}(\mathbb {R}), \varphi(t-a) \in K_{C}(\mathbb {R})\). We say that a continuous interval function \(X: [a,b] \to K_{C}(\mathbb {R})\) is a solution to the interval fractional integral equation (3.1) if it satisfies equation (3.1). Let us suppose that \(X \in C([a,b],K_{C}(\mathbb {R}))\) is w-monotone on \([a,b]\) and satisfies (3.1). As X is w-monotone on \([a,b]\), then it follows that \(X(t)\ominus_{g} X(a)\) is w-increasing on \([a,b]\). Hence, from (3.1) it follows that the right-hand side of (3.1) must be w-increasing on \([a,b]\) (see [38]). Furthermore, we observe that if a continuous interval function X is a unique w-monotone solution of (3.1) on \([a,b]\), then the function \(Y(t):=X(t) \ominus_{g}X(a)\) is w-increasing on \([a,b]\). In addition, the function Y may create two solutions of (3.1): a unique w-increasing solution of (3.1) and a unique w-decreasing solution of (3.1) on \([a,b]\).
Remark 3.1
If \(X \in C([a,b], K_{C}(\mathbb {R}))\) is such that \(w(X(t))\geq w(X(a))\) for all \(t\in{}[ a,b]\), then (3.1) can be rewritten as
If \(X \in C([a,b], K_{C}(\mathbb {R}))\) is such that \(w(X(t))\le w(X(a))\) for all \(t\in{}[ a,b]\), then (3.1) can be rewritten as
Definition 3.1
A w-monotone interval function \(X^{L} \in C([a,b], K_{C}(\mathbb {R}))\) is a lower solution for (3.1) if
A w-monotone interval-valued function \(X^{U}\in C([a,b],K_{C}(\mathbb {R}))\) is an upper solution for (3.1) if it satisfies the reverse inequalities of (3.2).
In the following, for given \(k>0\), we consider the set \(\mathbb {B}_{k}\) of all continuous interval functions \(X \in C([a-\sigma, b], K_{C}(\mathbb {R}))\) such that \(\sup_{t \in[a-\sigma, b]}\{H[X(t),\mathbf{0}] \exp (-k(t+\sigma)) \}< \infty\). On \(\mathbb {B}_{k}\) we can define the following metric:
where \(k>0\) is large enough such that \(k> 2^{1/\alpha}\). It is well known that \((C([a, b], K_{C}(\mathbb {R})), H_{k})\) is a complete metric space.
Theorem 3.1
Let \(F \in C([a,b] \times K_{C}(\mathbb {R}) \times C_{\sigma}, K_{C}(\mathbb {R}))\) and suppose that \(F(t,A,B)\) is nondecreasing in A and B for each \(t \in[a,b]\), that is, if \(A \succeq C\) and \(B \succeq D\), then \(F(t,A,B)\succeq F(t,C,D)\). Moreover, assume that the following conditions are satisfied:
-
(A1)
there exists a w-monotone lower solution \(X^{L} \in C([a,b], K_{C}(\mathbb {R}))\) for problem (3.1);
-
(A2)
\(F (t,A,B)\) is weakly contractive for comparable elements, that is, for some altering distance functions \(\mathbb {T}_{1}\) and \(\mathbb {T}_{2}\), it holds
$$\begin{aligned} &\mathbb {T}_{1} \bigl( H \bigl[ F (t,A,B), F (t,C,D) \bigr] \bigr)\\ &\quad \le \bigl[ \mathbb {T}_{1} \bigl(H[ A, B] \bigr) - \mathbb {T}_{2} \bigl(H[ A, B] \bigr) \bigr] + \bigl[ \mathbb {T}_{1} \bigl(H_{\sigma}[ A, B] \bigr) - \mathbb {T}_{2} \bigl(H_{\sigma}[ A, B] \bigr) \bigr], \end{aligned}$$
if \(A \succeq C, B \succeq D\) and \(t \in[a,b]\). Then there exists a unique w-monotone solution X for problem (3.1) in some intervals \([a, \mathbb {T}]\), with \(\mathbb {T} \le b\).
Proof
Let \(\mathcal {X}(t):= X(t) \ominus_{g} X(a), t \in[a-\sigma ,b]\). We define the operator \(\mathbb {Q}: C([a-\sigma,b], K_{C}(\mathbb {R})) \to C([a-\sigma,b], K_{C}(\mathbb {R}))\) by
We check that the conditions in Theorem 2.1 are satisfied. Indeed, let \(X\succeq Y\) and \(X_{t} \succeq Y_{t}\) on \([a,b]\), then we have \((\mathbb {Q} \mathcal {X}) (a) = (\mathbb {Q} \mathcal {Y}) (a), t \in[a-\sigma,a]\), and for \(t \in[a,b]\)
From the result of Remark 2.1-(i), we obtain
Then \(\mathbb {Q} \mathcal {X} \succeq\mathbb {Q} \mathcal {Y}\) whenever \(X\succeq Y, X_{t} \succeq Y_{t}\) on \([a,b]\), and consequently, the operator \(\mathbb {Q}\) is nondecreasing. Now, condition (A2) shows that
for all \(X \succeq Y, X_{t} \succeq Y_{t}\) for \(t \in[a,b]\). Indeed, from (A2) we get
for all \(X \succeq Y, X_{t} \succeq Y_{t}\). If inequality (3.4) is not true, then for all \(X \succeq Y, X_{t} \succeq Y_{t}\) we have
Then, since \(\mathbb {T}_{1}\) is nondecreasing, for all \(X \succeq Y, X_{t} \succeq Y_{t}\) it holds
Therefore, from (3.5),
for all \(X \succeq Y, X_{t} \succeq Y_{t}\). From (A2) it follows that \(0 \le- ( \mathbb {T}_{2}(H[ X(t), Y(t)]) +\mathbb {T}_{2}(H_{\sigma }[ X_{t}, Y_{t}]) )\), and therefore,
As \(\mathbb {T}_{2}\) is an altering distance function, we have that \(H[ X(t), Y(t)] =0, H_{\sigma}[ X_{t}, Y_{t}] =0\) for all \(X \succeq Y, X_{t} \succeq Y_{t}\). This infers a contradiction, that is, \(H[F(t,X(t),X_{t}), F(t,Y(t),Y_{t})] =0\). Thus, inequality (3.4) is true. Next, for \(X \succeq Y, X_{t} \succeq Y_{t}\) and \(t \in[a,b]\), we get
By the definition of metric (3.3), it follows that \(H[X(s),Y(s)] \le H_{k}[X,Y] e^{k(s+\sigma)}\) for all \(t \ge a -\sigma\) and \(\mathop{\sup} _{\theta\in[s-\sigma,s]} H[X(\theta), Y(\theta )]\) \(\le H_{k}[X,Y] e^{k(s+\sigma)}\) for all \(s \ge a\). Then, for all \(t \ge a\), we obtain
and so
Therefore, it holds that
Then, if \(\mathbb {T}_{2} (t) = \mathbb {T}_{1}(t) - \mathbb {T}_{1} ( 2t /k^{\alpha } )\), it follows that
for all \(X \succeq Y\). Finally, using the existence of the lower solution, we check that \(\mathcal {X}\) is such that \(\mathcal {X}^{L} \preceq \mathbb {Q} \mathcal {X}^{L}\). Indeed, since \(X^{L}(t) =\xi(t-a) \preceq\varphi(t-a)\) for \(t \in[a-\sigma,a]\) and for \(t \in[a,a+p]\),
it follows that
As the operator \(\mathbb {Q}\) satisfies all hypotheses of Theorem 2.1, \(\mathbb {Q}\) has a fixed point in \(C([a-\sigma,b], K_{C}(\mathbb {R}))\). Moreover, since every pair of interval-valued functions in \(C([a-\sigma,b], K_{C}(\mathbb {R}))\) has an upper bound (see Lemma 2.2), the operator \(\mathbb {Q}\) has a unique fixed point \(\mathcal {X}\) and \(\mathcal {X}\) is the unique solution to (3.1). □
Remark 3.2
The conclusion of Theorem 3.1 is still valid if the existence of a w-monotone lower solution for problem (3.1) is replaced by the existence of a w-monotone upper solution for problem (3.1).
Interval-valued delay fractional differential equation: Let us consider again the interval-valued delay fractional differential equation with Caputo generalized Hukuhara fractional differentiability under the form
Denote by \(C^{1,F}([a,b], K_{C}(\mathbb {R}))\) the space of interval-valued functions which are continuous Caputo gH-fractional differentiable on \([a,b]\). A solution \(X\in C([a-\sigma ,b],K_{C}(\mathbb {R}) ) \cap C^{1,F}([a,b], K_{C}(\mathbb {R})) \) of (3.6) is said to be w-monotone if it is w-increasing or w-decreasing on \([a,b]\).
Lemma 3.1
Let F be interval functions such that \(F \in C([a,b],K_{C}(\mathbb {R}))\) for any \(X \in K_{C}(\mathbb {R})\). Then a w-monotone interval function \(X\in C([a-\sigma,b],K_{C}(\mathbb {R}))\) is a solution of initial value problem (3.6) if and only if X satisfies the interval fractional integral equation (3.1) and the interval-valued function \(t\mapsto\Im^{\alpha}_{a^{+}}{\mathbb {F}(t) }\) is w-increasing on \([a,b]\), where
Proof
The proof of this lemma is similar to the proof of Lemma 3.1 in [38]. □
Corollary 3.1
If a w-monotone interval function X is a solution of (3.1) such that the function \(t\mapsto\Im^{\alpha}_{a^{+}}{\mathbb {F}(t) }\) is w-increasing on \([a,b]\), then X is a w-monotone solution of (3.6).
Definition 3.2
A w-monotone interval function \(X^{U} \in X\in C([a-\sigma ,b],K_{C}(\mathbb {R}))\cap C^{1,F}([a,b], K_{C}(\mathbb {R}))\) is an upper solution for (3.6) if
A w-monotone interval-valued function \(X^{L}\in C([a-\sigma ,b],K_{C}(\mathbb {R}))\cap C^{1,F}([a,b], K_{C}(\mathbb {R}))\) is a lower solution for (3.6) if it satisfies the reverse inequalities of (3.8).
Corollary 3.2
Let \(F \in C([a,b], K_{C}(\mathbb {R}))\) and suppose that \(F(t,A,B)\) is nondecreasing in \(A, B\) for each \(t \in[a,b]\), that is, if \(A \succeq C, B \succeq D\), then \(F(t,A,B)\succeq F(t,C,D)\). Moreover, assume that the following conditions are satisfied:
-
(A3)
there exists a w-monotone upper solution \(X^{U} \in C([a-\sigma,b], K_{C}(\mathbb {R}))\cap C^{1,F}([a,b], K_{C}(\mathbb {R}))\) for problem (3.6);
-
(A4)
for an altering distance function \(\mathbb {T}_{3}\), it holds
$$\begin{aligned} &H \bigl[ F (t,A,B), F (t,C,D) \bigr] \\ &\quad\le \bigl( H[ A, B] + H_{\sigma}[B,D] \bigr) - \bigl(\mathbb {T}_{3} \bigl(H[ A, B] \bigr)+\mathbb {T}_{3} \bigl(H_{\sigma}[ B, D] \bigr) \bigr) \end{aligned}$$
if \(A \succeq C, B \succeq D\) and \(t \in[a,b]\). Then there exists a unique w-monotone solution X for problem (3.6) in some intervals \([a, \mathbb {T}]\), with \(\mathbb {T} \le b\).
Proof
In the same way as the proof of Theorem 3.1, let \(\mathcal {X}: = X(t) \ominus_{g} X(a), t \in[a-\sigma,b]\), and we define the operator \(\mathbb {P}: C([a-\sigma,b], K_{C}(\mathbb {R})) \to C([a-\sigma,b], K_{C}(\mathbb {R})) \) by \((\mathbb {P} \mathcal {X})(t) = \varphi(t-a) \ominus_{g} \varphi(0), t \in[a-\sigma,a]\) and
From the proof of Theorem 3.1 it is easy to see that from hypothesis of the nondecreasing property of F with respect to the second and third variables, the operator \(\mathbb {P}\) is nondecreasing, that is, \(\mathbb {P} \mathcal {X} \succeq\mathbb {P} \mathcal {Y}\) whenever \(X\succeq Y\). On the other hand, hypothesis (A4) is implied from hypothesis (A2) with considering \(\mathbb {T}_{1} (u) = u\). Therefore, we can easily infer that the operator \(\mathbb {P}\) is contractive-like. Finally, hypothesis (A3) infers that \(\mathcal {X}^{U} \succeq\mathbb {P} \mathcal {X}^{U}\). Indeed, since \(\mathcal {X}^{U}\) is an upper solution and \(X^{U}(t) \succeq X(t), t \in[a-\sigma,a]\), from Lemma 3.1 for \(t \in[a,b]\) we get
Thus \(\mathcal {X}^{U} \succeq\mathbb {P} \mathcal {X}^{U}\). We see that the operator \(\mathbb {P}\) verifies all the hypotheses of Theorem 2.1. In consequence, \(\mathbb {P}\) has a fixed point in \(C([a-\sigma,b], K_{C}(\mathbb {R}))\). Furthermore, the space \(C([a-\sigma ,b], K_{C}(\mathbb {R}))\) satisfies that every pair of elements of \(C([a-\sigma,b], K_{C}(\mathbb {R}))\) has an upper bound (see Lemma 2.2). It follows that \(\mathbb {P}\) has a unique fixed point. The proof is complete. □
In the following corollary, we analyze the dependence of the solution on the order and the initial condition for problem (3.6).
Theorem 3.2
Let F satisfy the assumptions of Corollary 3.2, and let \(\alpha\in(0,1)\), \(\delta>0\) such that \(0 < \alpha- \delta< \alpha <1\). For \(t \in[a,\mathbb {T}]\), assume that X and Z are the solutions of the initial value problem (3.6) and
respectively. Then the following holds:
where
Proof
From Lemma 3.1, the solutions of the initial value problems (3.6) and (3.9) are given by
and
respectively. Observe that for \(t \in \mathbb {T}\),
Putting \(k(s) = \sup_{\theta\in[s-\sigma, s] } H[ X(\theta), Z(\theta )] \) for any \(s \in[a,\mathbb {T}]\), we have, by generalized Gronwall’s inequality (see Theorem 1 in [44]), that
 □
Remark 3.3
Under the hypothesis of Corollary 3.2, if \(\delta=0\), then we get the following estimate:
In the sequel, we show that the solutions of initial value problem (3.6) depend continuously on the initial condition, the order and the right-hand side of equation.
Theorem 3.3
Let \(F, G\) satisfy the assumptions of Corollary 3.2, and let \(\alpha\in(0,1)\), \(\delta>0\) such that \(0 < \alpha- \delta< \alpha<1\). For \(t \in[a,\mathbb {T}]\), assume that X and Z are the solutions of initial value problem (3.6) and
respectively. Assume also that there exists a positive constant ε such that
Then the following holds:
where
Proof
Let \(X, Z\) denote the solutions of problems (3.6) and (3.10), respectively. For \(t \in[a,\mathbb {T}]\), we get
Therefore, we obtain the following estimate:
Putting \(k(s) = \sup_{\theta\in[s-\sigma, s] } H[ X(\theta), Z(\theta )] \) for any \(s \in[a,\mathbb {T}]\) we obtain, by generalized Gronwall’s inequality (see Theorem 1 in [44]), that
 □
The following corollary shows a new technique to find the exact solutions of interval-valued delay fractional differential equation by using the solutions of interval-valued delay integer order differential equation.
Corollary 3.3
Assume that the conditions of Corollary 3.2 hold. Then a solution of (3.6), \(X_{FO}\), is given by
where \(X_{IO}( v )\) is a solution of IVP of the interval-valued delay integer order differential equation
where \(F^{*}(v, X_{IO}(v),X_{IO,v}) = F( k(t,v),X_{FO}(k(t,v)), X_{FO,k(t,v)})\), and \(k(t,v): =t - ( [t-a]^{\alpha}-v \Gamma(\alpha +1))^{1/\alpha}\).
Proof
From Corollary 3.2, we infer that the solution of problem (3.6), \(X_{FO}\), exists and is given by
Let \(s = t - [ (t-a)^{\alpha} - v \Gamma(\alpha+1)]^{1/\alpha}, t \in [a,b]\). Then the interval delay fractional integral equation (3.12) can be written as
On the other hand, from the interval differential equation (3.11) we obtain
where \(v \in[0, (b-a)^{\alpha}/\Gamma(\alpha+1)]\). From (3.13), (3.14), \(X_{FO}(a) = X_{IO}(0)=\varphi(0)\) and as \(0 \le(t-a)^{\alpha}/\Gamma(\alpha+1) \le (b-a)^{\alpha }/\Gamma(\alpha+1)\), we get
The proof is completed. □
Example 3.4
Consider the fractional order initial value problem for interval-valued delay differential equation given by
where \(\lambda_{1}, \lambda_{2} \in\mathbb {R} \backslash\{0\}\). Using the result of Corollary 3.3 for this example, we get
The corresponding differential equation of this fractional initial value problem (3.15) is
where \(k(t,v) = ( 2 \sqrt{t}\Gamma(3/2) v - v^{2} \Gamma^{2}(3/2) )\). Then, by using the method of steps, we get the following problem:
Case 1. \(\lambda_{1}, \lambda_{2} \in\mathbb {R}^{+}\) and \(X_{IO}\) is w-increasing. Then we obtain the solution \(X_{IO}(v) = [ \underline{X}_{IO}(v), \overline{X}_{IO}(v)]\), where
From the result of Corollary 3.3, the solution of the given fractional order (3.17) is \(X_{FO}(t) = X_{IO} ( \frac {t^{0.5}}{\Gamma(1.5)} ) = [\underline{X}_{FO}(t), \overline{X}_{FO}(t)]\), where
Case 2. \(\lambda_{1}, \lambda_{2} \in\mathbb {R}^{-}\) and \(X_{IO}\) is w-decreasing. Similar to Case 1, we obtain
In the sequel we consider an example which corresponds to the interval version of the problem of the fish population size over time, and the propositional harvesting model in uncertain environment is presented to show the efficiency of the approach. First of all, we recall the framework of the fish population growth model in the situation where quantity of fish is precisely described. Under simplified conditions such as a constant environment (and with no migration), it can be shown that the change in population size p through time t (the time horizon is from zero to \(b>0\)) will depend on three factors including birth rate, death rate and harvest rate, and given by
where \(\beta p(t)\) is the birth rate, \((m +c p(t))p(t)\) is the death rate (here, the natural mortality coefficient m is augmented by the term \(cp(t)\) which accounts for overcrowding), \(h(t)\) is the harvest rate which depends on time t, and \(\beta, m, c\) are negative proportionality constants. The symbol \(p_{0}\) denotes the initial population size and p denotes the current population size. If the partial information in the classical population model (3.16) may be known or in the parameters used in the above model may be uncertainty, then model (3.16) can be appropriate by interval or fuzzy theory. Therefore, the corresponding to (3.16) model incorporating uncertainty could be the interval fish population growth model by using the concept of interval Caputo fractional derivative. Furthermore, in the classical population model (3.16), it is considered that the birth rate changes immediately as soon as a change in the number of individuals is produced. However, the members of the population must reach a certain degree of development to give birth to new individuals and this suggests an introduction of a delay term into the problem.
Example 3.5
From the crisp problem (3.16), in this example we choose a form (representation) for the corresponding interval fractional order initial value problem with delay as follows:
where \((\beta-m) \in\mathbb {R} \backslash\{0\}\) and \(H(t): = [0,h t^{2}] \in K_{C}(\mathbb {R})\) is the harvest rate, for \(h >0\), and there is no overcrowding, i.e., \(c=0\). Using the result of Corollary 3.3 for this example, we get
where \(\lambda_{1}:=\beta- m\). The corresponding differential equation of this fractional initial value problem (3.17) is
where \(k(t,v) = ( 2 \sqrt{t}\Gamma(3/2) v - v^{2} \Gamma^{2}(3/2) )\). Then, by using the method of steps, we get the following problem:
Case 1. \(\lambda_{1} \in\mathbb {R}^{+}\) and \(P_{IO}\) is w-increasing. Then we obtain the solution \(P_{IO}(v) = [ \underline{P}_{IO}(v), \overline{P}_{IO}(v)]\), where
From the result of Corollary 3.3, the solution of the given fractional order (3.17) is \(P_{FO}(t) = P_{IO} ( \frac {t^{0.5}}{\Gamma(1.5)} ) = [\underline{P}_{FO}(t), \overline{P}_{FO}(t)]\), where
In our numerical simulations, we use the value of parameters \(\lambda_{1} = 1\) and \(h=0.1\). The w-increasing solution of (3.17) is shown in Figure 1.
The w -increasing solution of Example 3.5 in Case 1.
Case 2. \(\lambda_{1} \in\mathbb {R}^{-}\) and \(P_{IO}\) is w-decreasing. Similar to Case 1, from the result of Corollary 3.3, the solution of the given fractional order (3.17) is \(P_{FO}(t) = P_{IO} ( \frac{t^{0.5}}{\Gamma (1.5)} ) = [\underline{P}_{FO}(t), \overline{P}_{FO}(t)]\), where
In our numerical simulations, we use the value of parameters \(\lambda_{1} =-2\) and \(h = 0.4\). The w-decreasing solution of (3.17) is shown in Figure 2.
The w -decreasing solution of Example 3.5 in Case 2.
References
Magin, R: Fractional calculus models of complex dynamics in biological tissues. Comput. Math. Appl. 59, 1586-1593 (2010)
Magin, R, Ortigueira, M, Podlubny, I, Trujillo, JJ: On the fractional signals and systems. Signal Process. 91, 350-371 (2011)
Merala, FC, Roystona, TJ, Magin, R: Fractional calculus in viscoelasticity: an experimental study. Commun. Nonlinear Sci. Numer. Simul. 15, 939-945 (2010)
Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, Switzerland (1993)
Podlubny, I: Fractional Differential Equation. Academic Press, San Diego (1999)
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amesterdam (2006)
Lupulescu, V: Hukuhara differentiability of interval-valued functions and interval differential equations on time scales. Inf. Sci. 248, 50-67 (2013)
Malinowski, MT: Interval differential equations with a second type Hukuhara derivative. Appl. Math. Lett. 24, 2118-2123 (2011)
Malinowski, MT: Interval Cauchy problem with a second type Hukuhara derivative. Inf. Sci. 213, 94-105 (2012)
Stefanini, L, Bede, B: Generalized Hukuhara differentiability of interval-valued functions and interval differential equations. Nonlinear Anal., Theory Methods Appl. 71, 1311-1328 (2009)
Stefanini, L: A generalization of Hukuhara difference and division for interval and fuzzy arithmetic. Fuzzy Sets Syst. 161, 1564-1584 (2010)
Chalco-Cano, Y, Rufián-Lizana, A, Román-Flores, H, Jiménez-Gamero, MD: Calculus for interval-valued functions using generalized Hukuhara derivative and applications. Fuzzy Sets Syst. 219, 49-67 (2013)
Agarwal, RP, Lakshmikantham, V, Nieto, JJ: On the concept of solution for fractional differential equations with uncertainty. Nonlinear Anal., Theory Methods Appl. 72, 2859-2862 (2010)
Agarwal, RP, Arshad, S, O’Regan, D, Lupulescu, V: Fuzzy fractional integral equations under compactness type condition. Fract. Calc. Appl. Anal. 15, 572-590 (2012)
Allahviranloo, T, Salahshour, S, Abbasbandy, S: Explicit solutions of fractional differential equations with uncertainty. Soft Comput. 16, 297-302 (2012)
Alikhani, R, Bahrami, F: Global solutions for nonlinear fuzzy fractional integral and integro-differential equations. Commun. Nonlinear Sci. Numer. Simul. 18, 2007-2017 (2013)
Arshad, S, Lupulescu, V: On the fractional differential equations with uncertainty. Nonlinear Anal., Theory Methods Appl. 7, 85-93 (2011)
Hoa, NV: Fuzzy fractional functional integral and differential equations. Fuzzy Sets Syst. 280, 58-90 (2015)
Hoa, NV: The initial value problem for interval-valued second-order differential equations under generalized H-differentiability. Inf. Sci. 311, 119-148 (2015)
Hoa, NV, Phu, ND, Tung, TT, Quang, LT: Interval-valued functional integro-differential equations. Adv. Differ. Equ. 2014, 177 (2014). doi:10.1186/1687-1847-2014-177
Hoa, NV: Fuzzy fractional functional differential equations under Caputo gH-differentiability. Commun. Nonlinear Sci. Numer. Simul. 22(1), 1134-1157 (2015)
Fard, OS, Salehi, M: A survey on fuzzy fractional variational problems. J. Comput. Appl. Math. 271, 71-82 (2014)
Malinowski, MT: Random fuzzy fractional integral equations-theoretical foundations. Fuzzy Sets Syst. 265, 39-62 (2015)
Salahshour, S, Allahviranloo, T, Abbasbandy, S: Solving fuzzy fractional differential equations by fuzzy Laplace transforms. Commun. Nonlinear Sci. Numer. Simul. 17, 1372-1381 (2012)
Salahshour, S, Ahmadian, A, Senu, N, Baleanu, D, Agarwal, P: On analytical solutions of the fractional differential equation with uncertainty: application to the Basset problem. Entropy 17, 885-902 (2015)
Mazandarani, M, Kamyad, AV: Modified fractional Euler method for solving fuzzy fractional initial value problem. Commun. Nonlinear Sci. Numer. Simul. 18, 12-21 (2013)
Mazandarani, M, Najariyan, M: Type-2 fuzzy fractional derivatives. Commun. Nonlinear Sci. Numer. Simul. 19, 2354-2372 (2014)
Mazandarani, M, Pariz, N, Kamyad, AV: Granular differentiability of fuzzy-number-valued functions. IEEE Trans. Fuzzy Syst. 99 (2017). doi:10.1109/TFUZZ.2017.2659731
Ran, ACM, Reurings, MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 132, 1435-1443 (2004)
Nieto, JJ, RodrÃguez-López, R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 22, 223-239 (2005)
Nieto, JJ, RodrÃguez-López, R: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math. Sin. 23, 2205-2212 (2007)
Harjani, J, Sadarangani, K: Generalized contractions in partially ordered metric spaces and applications to ordinary differential equations. Nonlinear Anal. 72, 1188-1197 (2010)
Villamizar-Roa, EJ, Angulo-Castillo, V, Chalco-Cano, Y: Existence of solutions to fuzzy differential equations with generalized Hukuhara derivative via contractive-like mapping principles. Fuzzy Sets Syst. 265, 24-38 (2015)
Long, HV, Son, NTK, Hoa, NV: Fuzzy fractional partial differential equations in partially ordered metric spaces. Iran. J. Fuzzy Syst. 14, 107-126 (2017)
Long, HV, Son, NTK, Tam, HTT: The solvability of fuzzy fractional partial differential equations under Caputo gH-differentiability. Fuzzy Sets Syst. 309 35-63 (2017)
Long, HV, Nieto, JJ, Son, NTK: New approach for studying nonlocal problems related to differential systems and partial differential equations in generalized fuzzy metric spaces. In: Fuzzy Sets and Systems (2016) https://doi.org/10.1016/j.fss.2016.11.008
Long, HV, Son, NTK, Tam, HTT, Yao, JC: Ulam stability for fractional partial integro-differential equation with uncertainty. Acta Math. Vietnam. (2017). doi:10.1007/s40306-017-0207-2
Hoa, NV, Lupulescu, V, O’Regan, D: Solving interval-valued fractional initial value problem under Caputo gH-fractional differentiability. Fuzzy Sets Syst. 309, 1-34 (2017)
Lupulescu, V: Fractional calculus for interval-valued functions. Fuzzy Sets Syst. 265, 63-85 (2015)
Quang, LTQ, Hoa, NV, Phu, ND, Tung, TT: Existence of extremal solutions for interval-valued functional integro-differential equations. J. Intell. Fuzzy Syst. 30, 3495-3512 (2016)
Markov, S: Calculus for interval functions of a real variables. Computing 22, 325-337 (1979)
Lakshmikantham, V, Bhaskar, TG, Devi, JV: Theory of Set Differential Equations in Metric Spaces. Cambridge Scientific Publisher, United Kingdom (2006)
RodrÃguez-López, R: Monotone method for fuzzy differential equations. Fuzzy Sets Syst. 159, 2047-2076 (2008)
Ye, H, Gao, J, Ding, Y: A generalized Gronwall inequality and its application to a fractional differential equation. J. Math. Anal. Appl. 328, 1075-1081 (2010)
Acknowledgements
The authors would like to express their gratitude to the anonymous referees for their helpful comments and suggestions, which have greatly improved the paper. The first named author would like to thank the University of Technical Education, Ho Chi Minh City, Vietnam.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
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
Vinh An, T., Vu, H. & Van Hoa, N. A new technique to solve the initial value problems for fractional fuzzy delay differential equations. Adv Differ Equ 2017, 181 (2017). https://doi.org/10.1186/s13662-017-1233-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-017-1233-z
Keywords
- fractional interval-valued differential equations
- fractional interval-valued delay differential equations
- weakly contractive mapping