Abstract
In this paper, we study a kind of fuzzy differential equation with Hilfer–Katugampola fractional derivative and nonlocal condition. By using successive approximation method, we obtain some sufficient conditions to ensure the existence and uniqueness of solution. An illustrative example is given to show the practical usefulness of the analytical results.
Similar content being viewed by others
1 Introduction
In recent years, the definition of fractional calculus has been more suitable for describing historical dependence processes than the local limit definitions of integer ordinary differential equations or partial differential equations, and has received more and more attention in many fields. Fractional order differential equations are more accurate than integral order differential equations in describing objective laws and the nature of things. In 1695, Leibnitz discovered fractional derivatives, and after that, more and more scholars have devoted themselves to the study of fractional calculus. Riemann–Liouville calculus definition, Caputo differential definition, and Grunwald–Letnikov differential definition are the most commonly used fractional calculus definitions in basic mathematical research and engineering application research [15]. In 2011, a new fractional integration was proposed by Katugampola, which generalized the Riemann–Liouville and Hadamard integral into a single form. When a parameter was fixed at different values, it produced the above integrals as special cases [13]. In 2014, Katugampola presented the representation of the generalized derivative called Katugampola derivative [14]. In addition, Oliveira proposed a new fractional derivative, i.e., the Hilfer–Katugampola fractional derivative [18].
Recently, fuzzy analysis and fuzzy differential equations have been put forward to solve the uncertainty caused by incomplete information in some mathematical or computer models that determine real-world phenomena [2, 4–8, 10, 17, 19–21]. In [3] and [1], the concept of fuzzy type Riemann–Liouville differentiability based on Hukuhara differentiability was came up with, and by using the Hausdorff measure of noncompactness the authors studied the existence of solution for some fuzzy integral equations. In [7], based on Hukuhara differentiability or generalized Hukuhara differentiability, Bede and Stefanini introduced and studied new generalized differentiability concepts for fuzzy-valued functions.
In [11], Hoa, Lupulescu, and O’Regan considered the following fuzzy fractional differential equation with order \(\alpha \in (0,1)\):
where \(f:[a,b]\times E\rightarrow E\) is a fuzzy function and \(x_{0}\in E\) is a nontrivial fuzzy constant. The paper presented some remarks on solutions of fractional fuzzy differential equation and proved that a fractional fuzzy differential equation and a fractional fuzzy integral equation are not equivalent generally. An appropriate condition was given so that this equivalence is valid.
In [12], Hoa, Vu, and Duc considered the Caputo–Katugampola (CK) fractional differential equations fuzzy set with the initial condition:
where \(0< a< t\leq b\), \({}^{C} D_{a+}^{\alpha , \rho }\) is the fuzzy CK fractional generalized Hukuhara derivative, \(f:[a,b]\times E\rightarrow E\) is a fuzzy function. An idea of successive approximations under generalized Lipschitz condition was used to prove the existence and uniqueness of solution.
In [9], Hoa studied the existence results for extremal solutions of interval fractional functional integro-differential equations by using the monotone iterative technique combined with the method of upper and lower solutions.
Inspired by the above discussion, in this paper, we initiate the study of the existence and uniqueness of solution for fuzzy fractional differential equation with Hilfer–Katugampola fractional derivative and nonlocal condition as follows:
where \(x\in \mathbb{R}\), \(0<\alpha <1\), \(0\leq \beta \leq 1\), \(\gamma =\alpha +\beta (1-\alpha )\) and \(\rho >0\), \(f:[a,b]\times E\to E\) is a fuzzy function. Moreover, \({}^{\rho} I_{a+}^{1-\gamma }\), \({}^{\rho} D_{a+}^{\alpha ,\beta }\) are the Hilfer–Katugampola fractional integral and derivative, which will be given in the next section. \(t_{i}\) (\(i=1,\ldots ,m\)) satisfies \(a< t_{1}\leq t_{2}\leq \cdots \leq t_{m}< b\) and \(c_{i}\) is a real number, \(x_{0}\in \mathbb{R}\). Here nonlocal conditions are more effective than the initial conditions \(({}^{\rho} I_{a+}^{1-\gamma } x)(0)=x_{0}\) in terms of physical problems. x is said to be a solution of (1.1).
The rest of the paper is organized as follows. In Sect. 2, we give some preliminary facts that we need in what follows. In Sect. 3, we present our main results on the existence and uniqueness of solution by using successive approximation method. An illustrative example is given to show the practical usefulness of the analytical results. Conclusion is given in Sect. 4.
2 Preliminaries
We denote by E the space of all fuzzy numbers on \(\mathbb{R}\).
For \(c\in \mathbb{R}\), \(1\leq p\leq \infty \), let \(X_{c}^{p}{(a,b)}\) denote the space of all complex-valued Lebesgue measurable functions f on a finite interval [a,b] for which
with the norm
Definition 2.1
(see [12])
A fuzzy number is a fuzzy set \(x:\mathbb{R}\rightarrow [0,1]\) which satisfies the following conditions (i)–(iv):
- (i)
x is normal, that is, there exists \(t_{0}\in \mathbb{R}\) such that \(x(t_{0})=1\);
- (ii)
x is fuzzy convex in \(\mathbb{R}\), that is, for \(0\leq \lambda \leq 1\),
$$ x\bigl(\lambda t_{1}+(1-\lambda )t_{2}\bigr)\geq \min \bigl\{ x(t_{1}),x(t_{2})\bigr\} \quad \text{for any } t_{1},t_{2}\in \mathbb{R}; $$ - (iii)
x is upper semicontinuous on \(\mathbb{R}\);
- (iv)
\([x]^{0}=\operatorname{cl}\{z\in \mathbb{R}\mid x(z)>0\}\) is compact.
Denote by \(C([a,b],E)\) the set of all continuous fuzzy functions and by \(\operatorname{AC}([a,b],E)\) the set of all absolutely continuous fuzzy functions on the interval \([a,b]\) with values in E. Let \(\gamma \in (0,1)\), by \(C_{\gamma }[a,b]\) we denote the space of continuous functions defined by \(C_{\gamma }[a,b]=\{f:(a,b]\rightarrow E:(\frac{t^{\rho }-a^{\rho }}{\rho })^{1- \gamma }f(t)\in C[a,b]\}\). Let \(L([a,b],E)\) be the set of all fuzzy functions \(x:[a,b]\rightarrow E\) such that the functions \(t\mapsto D_{0}[x(t),\widehat{0}]\) belong to \(L^{1}[a,b]\).
If x is a fuzzy number on \(\mathbb{R}\), we define \([x]^{r}=\{z\in \mathbb{R}\mid x(z)\geq r\}\) the r-level of x, with \(r\in (0,1]\). From conditions (i) to (iv), it follows that the r-level set of \(x\in E\), \([x]^{r}\), is a nonempty compact interval for any \(r\in [0,1]\). We denote by \([\underline{x}(r),\overline{x}(r)]\) the r-level of a fuzzy number x. For \(x_{1},x_{2}\in E\), and \(\lambda \in \mathbb{R}\), the sum \(x_{1}+x_{2}\) and the product \(\lambda \cdot x_{1}\) are defined by \([x_{1}+x_{2}]^{r}=[x_{1}]^{r}+[x_{2}]^{r}\), \([\lambda \cdot x_{1}]^{r}=\lambda [x_{1}]^{r}\), \(\forall r\in [0,1]\), where \([x_{1}]^{r}+[x_{2}]^{r}\) means the usual addition of two intervals of \(\mathbb{R}\) and \(\lambda [x_{1}]^{r}\) means the usual scalar product between λ and an real interval. For \(x\in E\), we define the diameter of the r-level set of x as \(\operatorname{diam}[u]^{r} = \overline{u}(r)-\underline{u}(r)\).
Definition 2.2
(see [16])
Let \(x_{1},x_{2}\in E\). If there exists \(x_{3}\in E\) such that \(x_{1}=x_{2}+x_{3}\), then \(x_{3}\) is called the Hukuhara difference of \(x_{1}\) and \(x_{2}\) and it is denoted by \(x_{1}\ominus x_{2}\). We note that \(x_{1}\ominus x_{2}\neq x_{1}+(-)x_{2}\).
Definition 2.3
(see [16])
The distance \(D_{0}[x_{1}, x_{2}]\) between two fuzzy numbers is defined as
where \(H([x_{1}]^{r},[x_{2}]^{r})=\max \{| \underline{u}_{1}(r)- \underline{u}_{1}(r)| ,|\overline{u}_{1}(r)-\overline{u}_{1}(r)|\}\) is the Hausdorff distance between \([x_{1}]^{r}\) and \([x_{2}]^{r}\).
Triangular fuzzy numbers are defined as a fuzzy set in E that is specified by an ordered triple \(x=(a,b,c)\in \mathbb{R}^{3}\) with \(a\leq b\leq c\) such that \([x]^{r}=[\underline{x}(r),\overline{x}(r)]\) are the endpoints of r-level sets for all \(r\in [0,1]\), where \(\underline{x}(r)=a+(b-a)r\) and \(\overline{x}(r)=c-(c-b)r\). In general, the parametric form of a fuzzy number x is a pair \([x]^{r}=[\underline{x}(r),\overline{x}(r)]\) of functions \(\underline{x}(r)\), \(\overline{x}(r)\), \(r\in [0,1]\), which satisfy the following conditions: \(\underline{u}(r)\) is a monotonically increasing left-continuous function, \(\overline{u}(r)\) is a monotonically decreasing left-continuous function, and \(\underline{u}(r)\leq \overline{u}(r)\), \(r\in [0,1]\).
Definition 2.4
(see [6])
The generalized Hukuhara difference of two fuzzy numbers \(x,y\in E\) (gH-difference for short) is defined as follows:
A function \(x:[a,b]\rightarrow E\) is called d-increasing (d-decreasing) on \([a,b]\) if for every \(r\in [0,1]\) the function \(t\mapsto \operatorname{diam}[x(t)]^{r}\) is nondecreasing (nonincreasing) on \([a,b]\). If x is d-increasing or d-decreasing on \([a,b]\), then we say that x is d-monotone on \([a,b]\).
Definition 2.5
(see [13])
The Katugampola left-sided fractional integral of order \(\alpha >0\), \(\rho >0\) of \(x\in X_{c}^{p}{(a,b)}\) for \(-\infty < a< t<\infty \) is defined by
Definition 2.6
(see [14])
The Katugampola fractional derivative associated with the generalized fractional integrals (2.1) are defined, for \(0\leq a< t<\infty \), \(n=[\alpha ]+1\), by
Let \(x\in L([a,b],E)\), then the Katugampola fractional integral of order α of the fuzzy function x is defined as follows:
Since \([x(t)]^{r}=[\underline{x}(r,t),\overline{x}(r,t)]\) and \(0<\alpha <1\), we can consider the fuzzy Katugampola fractional integral of the fuzzy function x based on lower and upper functions, that is,
where
and
In addition, it follows that the operator \(x_{\alpha ,\rho }(t)\) is linear and bounded from \(C([a,b],E)\) to \(C([a,b],E)\). Indeed, we have
where \(\|z\|_{0}=\sup_{t\in [a,b]}D_{0}[z(t),\widehat{0}]\).
Definition 2.7
(see [18])
Let order α and type β satisfy \(n-1<\alpha \leq n\) and \(0\leq \beta \leq 1\), with \(n\in \mathbb{N}\). The fuzzy Hilfer–Katugampola generalized Hukuhara fractional derivative(or Hilfer–Katugampola gH-fractional derivative) (left-sided/right-sided), with respect to t, with \(\rho >0\) of a function \(t\in C_{1-\gamma ,\rho }[a,b]\), is defined by
if the gH-derivative \(x'_{(1-\alpha ),\rho }(t)\) exists for \(t\in [a,b]\), where
Lemma 2.8
(see [18])
Let\({}^{\rho} I_{a+}^{\alpha }\)according to Eqs. (2.1). Then
Lemma 2.9
(see [18])
Let\(\alpha >0\), \(0\leq \gamma <1\). If\(x\in C_{\gamma }[a,b]\)and\({}^{\rho} I_{a+}^{1-\alpha }x\in C^{1}_{\gamma }[a,b]\), then
Lemma 2.10
(see [18])
Let\(x\in L^{1}(a,b)\). If\({}^{\rho} D_{a+}^{\beta (1-\alpha )}x\)exists on\(L^{1}(a,b)\), then
for all\(t(a,b]\).
Lemma 2.11
If\(x\in \operatorname{AC}([a,b],E)\)is a d-monotone fuzzy function, where\([x(t)]^{r}=[\underline{x}(r,t), \overline{x}(r,t)]\)for\(0\leq r\leq 1\), \(a\leq t\leq b\), then for\(0<\alpha <1\)and\(\rho >0\)we have that
- (i)
\([({}^{\rho}D_{a^{+}}^{\alpha ,\beta } x)(t)]^{r}=[{}^{\rho}D_{a^{+}}^{ \alpha ,\beta } \underline{x}(r,t), {}^{\rho}D_{a^{+}}^{\alpha ,\beta } \overline{x}(r,t)]\)for\(a\leq t\leq b\), ifxis d-increasing;
- (ii)
\([({}^{\rho}D_{a^{+}}^{\alpha ,\beta } x)(t)]^{r}=[{}^{\rho}D_{a^{+}}^{ \alpha ,\beta } \overline{x}(r,t), {}^{\rho}D_{a^{+}}^{\alpha ,\beta } \underline{x}(r,t)]\)for\(a\leq t\leq b\), ifxis d-decreasing.
Proof
It is well known that if x is d-increasing, then \([x'(t)]^{r}= [\frac{d}{dt}\underline{x}(r,t), \frac{d}{dt} \overline{x}(r,t) ]\). Therefore, from Definition 2.7 we have
If x is d-decreasing, then \([x'(t)]^{r}= [\frac{d}{dt}\overline{x}(r,t), \frac{d}{dt} \underline{x}(r,t) ]\), and therefore we get
The proof is complete. □
Lemma 2.12
If\(x\in \operatorname{AC}([a,b],E)\)is a d-monotone fuzzy function, \(t\in (a,b]\), and\(\alpha \in (0,1)\), we set\(z(t):={}^{\rho} I_{a+}^{\alpha }\)and\(z_{(1-\alpha ),\rho }(t)\)is d-increasing on\((a,b]\), then
and
Proof
If \(z(t)\) is d-increasing on \([a,b]\) or \(z(t)\) is d-decreasing on \([a,b]\) and \(z_{(1-\alpha ),\rho }(t)\) is d-increasing on \((a,b]\).
By using the Definition 2.6, Definition 2.7, Lemma 2.9, and the initial condition \(({}^{\rho} I_{a+}^{1-\gamma } x)(a)=c\), we have that
Now, by Lemma 2.8, Lemma 2.9, and Lemma 2.10, we get
On the other hand, since \(x\in \operatorname{AC}([a,b],E)\), there exists a constant K such that \(K=\sup_{t\in [a,b]}D_{0}[x(t),\widehat{0}]\). Then
and \({}^{\rho} I_{a+}^{\alpha }x(t)=0\) at \(t=a\). The proof is complete. □
Lemma 2.13
Let\(\psi :[a,b]\rightarrow \mathbb{R}^{+}\)be a continuous function on the interval\([a,b]\)and satisfy\({}^{\rho} D_{a+}^{\alpha ,\beta }\psi (t)\leq g(t,\psi (t))\), \(t\geq a\), where\(g\in C([a,b]\times \mathbb{R}^{+},\mathbb{R}^{+})\). Assume that\(m(t)=m(t,a,\xi _{0})\)is the maximal solution of the initial value problem
on\([a,b]\). Then, if\(\psi (a)\leq \xi _{0}\), we have\(\psi (t)\leq m(t)\), \(t\in [a,b]\).
Proof
We omit the proof of this theorem as it is similar to that of Theorem 2.2 in [12]. □
Lemma 2.14
Consider the initial value problem as follows:
Let\(\eta >0\)be a given constant and\(B(\psi _{0},\eta )=\{\psi \in \mathbb{R}:|\psi -\psi _{0}|\leq \eta \}\). Assume that the real-valued function\(g:[a,b]\times [0,\eta ]\rightarrow \mathbb{R}^{+}\)satisfies the following conditions:
- (i)
\(g\in C([a,b]\times [0,\eta ],\mathbb{R}^{+})\), \(g(t,0)\equiv 0\), \(0\leq g(t,\psi )\leq M_{g}\)for all\((t,\psi )\in [a.b]\times [0,\eta ]\);
- (ii)
\(g(t,\psi )\)is nondecreasing inψfor every\(t\in [a,b]\). Then problem (2.4) has at least one solution defined on\([a,b]\)and\(\psi (t)\in B(\psi _{0},\eta )\).
Proof
We omit the proof of this theorem as it is similar to that of Theorem 2.3 in [12]. □
3 Main results
In this section, the existence and uniqueness of solution to problem (1.1) are investigated by using successive approximations method under generalized Lipschitz condition of the right-hand side.
Lemma 3.1
Let\(\gamma =\alpha +\beta (1-\alpha )\), where\(0<\alpha <1\), \(0\leq \beta \leq 1\), and\(\rho >0\), let\(f:(a,b]\times E\to E\)be a fuzzy function such that\(t\longmapsto f(t,x)\)belongs to\(C_{\gamma ,\rho }([a,b],E)\)for any\(x\in E\). Then a d-monotone fuzzy function\(x\in C([a,b],E)\)is a solution of initial value problem (1.1) if and only ifxsatisfies the integral equation
and the fuzzy function\(t\mapsto {}^{\rho} I_{a+}^{1-\gamma }f(t,x)\)is d-increasing on\((a,b]\).
Proof
First, we prove the necessity condition. Let \(x\in C([a,b],E)\) be a d-monotone solution of (1.1), and let \(z(t):=x(t)\ominus _{gH}( {}^{\rho} I_{a+}^{1-\gamma }x)(a)\), \(t\in (a,b]\). Because x is d-monotone on \([a,b]\), it follows that \(t\mapsto z(t)\) is d-increasing on \([a,b]\) (see [11]). From (1.1) and Lemma 2.12 we have that
for \(t\in [a,b]\). Since \(f(t,x)\in C_{\gamma }([a,b],E)\) for any \(x\in E\), and from (1.1), it follows that
for \(t\in [a,b]\). In addition, since \(z(t)\) is d-increasing on \((a,b]\), it follows that \(t\mapsto f_{\alpha ,\rho }(t,x)\) is also d-increasing on \((a,b]\). Consequently, combining (3.2) and (3.3) proves the necessity condition.
Next, we prove the sufficiency. Let \(x\in C([a,b],E)\) be a d-monotone fuzzy function satisfying (3.1) and such that \(t\mapsto f_{\alpha ,\rho }(t,x)\) is d-increasing on \((a,b]\). Because of the continuity of the fuzzy function f, the fuzzy function \(t\mapsto f_{\alpha ,\rho }(t,x)\) is continuous on \((a,b]\) and \(f_{\alpha ,\rho }(a,x(a))=\lim_{t\rightarrow a^{+}}f_{ \alpha ,\rho }(t,x)=0\). Then
and
In addition, since \(t\mapsto f_{\alpha ,\rho }(t,x)\) is d-increasing on \((a,b]\), acting on the two sides of (3.1) by the operator \({}^{\rho} D_{a+}^{\alpha ,\beta }\), we obtain
The proof is complete. □
Let \(h>0\) be a given constant, and let \(\mathbb{B}(x_{0}, h)=\{x\in E: D_{0}[x,x_{0}]\leq h\}\).
Theorem 3.2
Let\(f\in C([a,b]\times \mathbb{B}(x_{0}, h),E)\)and assume that the following conditions hold:
- (i)
There exists a positive constant\(M_{f}\)such that\(D_{0}[f(t,z),\widehat{0}]\leq M_{f}\), \(\forall (t,z)\in [a,b]\times \mathbb{B}(x_{0}, h)\);
- (ii)
For every\(t\in [a,b]\)and every\(z,\omega \in \mathbb{B}(x_{0}, h)\),
$$ D_{0}\bigl[f(t,z), f(t,\omega )\bigr]\leq g\bigl(t,D_{0}[z, \omega ]\bigr), $$where\(g(t,\cdot )\in C([a,b]\times [0,\rho ],\mathbb{R}^{+})\)satisfies the conditions in Lemma 2.14provided that problem (2.4) has only the solution\(\psi (t)\equiv 0\)on\([a,b]\). Then, the following successive approximations given by\(x^{0}(t)=x_{0}\)and for\(n=1,2,\ldots \) ,
$$ \begin{aligned}[b] &x^{n}(t)\ominus _{gH} \frac{\sum_{i=1}^{m}{C_{i}{x(t_{i})}}}{\varGamma (\gamma )} \biggl( \frac{t^{\rho }-a^{\rho }}{\rho } \biggr)^{\gamma -1}\\ &\quad = \frac{\rho ^{1-\alpha }}{\varGamma (\alpha )} \int _{a}^{t} \frac{\tau ^{\rho -1}}{(t^{\rho }-\tau ^{\rho })^{1-\alpha }}f\bigl(\tau ,x^{n-1}( \tau )\bigr)\,d\tau \end{aligned} $$(3.4)converge uniformly to a unique solution of problem (1.1) on some intervals\([a,T]\)for some\(T\in (a,b]\)provided that the function\(t\mapsto {}^{\rho} I_{a+}^{\alpha }f(t,x^{n}(t))\)is d-increasing on\([a,T]\).
Proof
Choose \(t^{\ast }>a\) such that \(t^{\ast }\leq [ (\frac{h\varGamma (1+\alpha )}{M}\rho ^{\alpha } )^{\frac{1}{\alpha }}+a^{\rho } ]^{\frac{1}{\rho }}\), where \(M=\max \{M_{g},M_{f}\}\), and put \(T:=\min \{t^{\ast },b\}\). Let \(\mathbb{S}\) be a set of continuous fuzzy functions x such that \(\omega (a)=x_{0}\) and \(\omega (t)\in \mathbb{B}(x_{0},h)\) for all \(t\in [a,T]\). Next, we consider the sequence of continuous fuzzy function \(\{x^{n}\}^{\infty }_{n=0}\) given by: \(x^{0}(t)=x_{0}\), \(\forall t\in [a,T]\), and for \(n=1,2,\ldots \) ,
Step 1: First of all, we prove that \(x^{n}(t)\in C([a,T],B(x_{0}, h))\). For \(n\geq 1\) and for any \(t_{1}, t_{2}\in [a,T]\) with \(t_{1}< t_{2}\), we have
The second integral on the right-hand side of the last inequality has the value \(\frac{\rho ^{1-\alpha }}{\varGamma (\alpha +1)}(t_{2}^{\rho }-t_{1}^{\rho })^{\alpha }\). For the first integral, it has value \(\frac{\rho ^{1-\alpha }}{\varGamma (\alpha +1)}[(t_{1}^{\rho }-a^{\rho })^{\alpha }-(t_{2}^{\rho }-a^{\rho })^{\alpha }]\). Hence, we get
and it follows that the last expression converges to 0 as \(t_{1}\rightarrow t_{2}\), which proves that \(x^{n}\) is a continuous function on \([a,T]\) for all \(n\geq 1\). In addition, it follows that \(x^{n}(t)\in \mathbb{B}(x_{0},h)\) for all \(t\in [a,T]\) and for all \(n\geq 0\) if and only if \(x^{n}(t)\ominus _{gH} \frac{\sum_{i=1}^{m}{C_{i}{x(t_{i})}}}{\varGamma (\gamma )} (\frac{t^{\rho }-a^{\rho }}{\rho } )^{\gamma -1}\in \mathbb{B}(0,h)\) for all \(t\in [a,T]\) and for all \(n\geq 0\). Indeed, if we suppose that \(x^{n-1}(t)\in \mathbb{S}\) for all \(t\in [a,T]\) and for a given \(n\geq 2\), then from
it follows that \(x^{n}(t)\in \mathbb{S}\) for all \(t\in [a,T]\). Hence, by mathematical induction, we have that \(x^{n}(t)\in \mathbb{S}\) for all \(t\in [a,T]\) and for all \(n\geq 1\). Next, we prove that the sequence \(x^{n}(t)\) converges uniformly to a continuous function \(x\in C([a,T],\mathbb{B}(x_{0},h))\). By assumption (ii) and mathematical induction, we have for \(t\in [a,T]\)
where \(\psi ^{n}(t)\) is defined as follows:
and \(\psi ^{0}(t)= \frac{M(t^{\rho }-a^{\rho })^{\alpha }}{\rho ^{\alpha }\varGamma (\alpha +1)}\). Thus, we have, for \(t\in [a,T]\) and for \(n=0,1,2,\ldots \) ,
Let \(m\geq n\) and \(t\in [a,T]\), then we can obtain
From (ii), because we have that the solution \(\psi (t)=0\) is a unique solution of problem (2.4) and \(g(\cdot ,\psi ^{n-1}(\cdot )):[a,T]\rightarrow [0,M_{g}]\) uniformly converges to 0, for every \(\varepsilon >0\), there exists a natural number \(n_{0}\) such that
From the fact that \(D_{0}[x^{n}(a),x^{m}(a)]=0<\varepsilon \) and by using Lemma 2.13, we have for \(t\in [a,T]\)
where \(\lambda _{\varepsilon }(t)\) is the maximal solution to the following IVP:
Due to Lemma 2.13 one can infer that \(\{\psi _{\varepsilon }(\cdot ,\omega )\}\) converges uniformly to the maximal solution \(\psi (t)\equiv 0\) of (2.4) on \([a,T]\) as \(\varepsilon \rightarrow 0\). Hence, by virtue of (3.7), we can find \(n_{0}\in \mathbb{N}\) large enough such that, for \(n,m > n_{0}\),
Since \((E,D_{0})\) is a complete metric space and (3.8) holds, it follows that \(\{x^{n}(t)\}\) converges uniformly to \(x\in C([a,b],\mathbb{B}(x_{0},h))\). Hence, we obtain
Due to Lemma 3.1 the function \(x(t)\) is the solution to (1.1) on \([a,T]\).
Step 2: To show that x is the unique solution, assume that \(y:[a,T]\rightarrow E\) is another solution of problem (1.1) on \([a,T]\). Denote \(k(t)=D_{0}[x(t),y(t)]\). Then \(k(a)=0\) and for every \(t\in [a,T]\) we have
Again applying the comparison Lemma 2.13, we obtain \(k(t)\leq m(t)\), where m is a maximal solution of the IVP \({}^{\rho} D_{a+}^{\alpha ,\beta }m(t)\leq g(t,m(t))\), \(({}^{\rho} I_{a+}^{1- \gamma }m)(a)=0\). By assumption (ii), we have \(m(t)= 0\) and therefore \(x(t)=y(t)\), \(\forall t\in [a,T]\). The proof is complete. □
Corollary 3.3
Let\(f\in C([a,b],E)\). Assume that there exist positive constantsL, \(M_{f}\)such that, for every\(z,\omega \in E\),
Then the following successive approximations given by\(u^{0}(t)=u_{0}\)and for\(n=1,2,\ldots \)
converge uniformly to a unique solution of problem (1.1) on some intervals\([a,T]\)for some\(T\in (a,b]\)provided that the function\(t\mapsto {}^{\rho} I_{a+}^{\alpha }f(t,x^{n}(t))\)is d-increasing on\([a,T]\).
Example 3.4
Let \(\gamma =\alpha +\beta (1-\alpha )\), where \(0<\alpha <1\), \(0\leq \beta \leq 1\), \(\rho >0\), and \(\lambda \in \mathbb{R}\). We consider the linear fuzzy fractional differential equation under Hilfer–Katugampola fractional derivative and assume that the following conditions hold:
Applying Lemma 3.1, we see that
where \(p\in C((a,b],E)\), and we also assume that the diameter of the right-hand side of the above equation is increasing. We observe that \(f(t,x):=\lambda x+p\) satisfies the assumptions of Corollary 3.3. To obtain an explicit solution of (3.9), we apply the method of successive approximations. Set \(u^{0}(t)=u_{0}\) and
For \(n=1\) and \(\lambda >0\), if we assume that x is d-increasing, then it follows that
On the other hand, if we assume that \(\lambda <0\) and x is d-decreasing, then it follows that
For \(n=2\), we also see that
if \(\lambda >0\) and x is d-increasing, and
if \(\lambda <0\) and x is d-decreasing. If we proceed inductively and let \(n\rightarrow \infty \), we obtain the solution
for each case of \(\lambda >0\) and x is d-increasing, or \(\lambda <0\) and x is d-decreasing, respectively. Then, by applying definition of Mittag-Leffler function \(E_{\alpha ,\beta }(x)={\sum_{j=1}^{\infty }{ \frac{x^{k}}{\varGamma (j\alpha +\beta )}}}\), \(\alpha ,\beta >0\), the solution of problem (3.9) is expressed by
for the case of \(\lambda >0\) and x is d-increasing. On the other hand, if \(\lambda <0\) and x is d-decreasing, then we obtain the solution of problem (3.9)
Remark 3.5
In problem (3.9), suppose that \(\lambda >0\) and the solution of (3.9) is d-increasing. We observe that the solutions of problem (3.9) admit particular cases as follows: if \(\beta =0\), then we obtain the solution of problem (3.9) with the Caputo–Katugampola fractional derivative as follows:
If the value of ρ tends to 1 and \(\beta =0\), then we obtain the solution of problem (3.9) with the Caputo fractional derivative as follows:
In addition, if the value of ρ tends to 0+ and \(\beta =0\), then we obtain the following solution of problem (3.9) with the Caputo–Hadamard fractional derivative:
Remark 3.6
In problem (3.9), suppose that \(\lambda <0\) and the solution of (3.9) is d-decreasing. We observe that the solutions of problem (3.9) admit particular cases as follows: if \(\beta =0\), then we obtain the solution of problem (3.9) with the Caputo–Katugampola fractional derivative as follows:
If the value of ρ tends to 1 and \(\beta =0\), then we obtain the solution of problem (3.9) with the Caputo fractional derivative as follows:
In addition, if the value of ρ tends to 0+ and \(\beta =0\), then we obtain the following solution of problem (3.9) with the Caputo–Hadamard fractional derivative:
4 Conclusion
In this paper, the existence and uniqueness results of solution of a kind of fuzzy differential equation with Hilfer–Katugampola fractional derivative and nonlocal condition were investigated. To obtain our main result, we established some necessary comparison theorems. By using the method of successive approximations under generalized Lipschitz condition, we obtained some sufficient conditions to ensure the existence and uniqueness of solution. An illustrative example is given to show the practical usefulness of the analytical results.
References
Agarwal, R.P., Arshad, S., O’Regan, D., Lupulescu, V.: Fuzzy fractional integral equations under compactness type condition. Fract. Calc. Appl. Anal. 15, 572–590 (2012)
Agarwal, R.P., Baleanu, D., Nieto, J.J., Torres, D.F.M., Zhou, Y.: A survey on fuzzy fractional differential and optimal control nonlocal evolution equations. J. Comput. Appl. Math. 339, 3–29 (2018)
Agarwal, R.P., Lakshmikantham, V., Nieto, J.J.: On the concept of solution for fractional differential equations with uncertainty. Nonlinear Anal. 72, 2859–2862 (2010)
Ahmad, M.Z., Hasan, M.K., De Baets, B.: Analytical and numerical solutions of fuzzy differential equations. Inf. Sci. 236, 156–167 (2013)
Alijani, Z., Baleanu, D., Shiri, B., Wu, G.C.: Spline collocation methods for systems of fuzzy fractional differential equations. Chaos Solitons Fractals 131, 109510 (2020)
Bede, B., Gal, S.G.: Generalizations of the differentiability of fuzzy-number-valued functions with applications to fuzzy differential equations. Fuzzy Sets Syst. 151, 581–599 (2005)
Bede, B., Stefanini, L.: Generalized differentiability of fuzzy-valued functions. Fuzzy Sets Syst. 230, 119–141 (2013)
Fard, O.S., Salehi, M.: A survey on fuzzy fractional variational problems. J. Comput. Appl. Math. 271, 71–82 (2014)
Hoa, N.V.: Existence results for extremal solutions of interval fractional functional integro-differential equations. Fuzzy Sets Syst. 347, 29–53 (2018)
Hoa, N.V.: On the initial value problem for fuzzy differential equations of non-integer order \(\alpha \in (1,2)\). Soft Comput. 24, 935–954 (2020)
Hoa, N.V., Lupulescu, V., O’Regan, D.: A note on initial value problems for fractional fuzzy differential equations. Fuzzy Sets Syst. 347, 54–69 (2018)
Hoa, N.V., Vu, H., Duc, T.M.: Fuzzy fractional differential equations under Caputo–Katugampola fractional derivative approach. Fuzzy Sets Syst. 375, 70–99 (2019)
Katugampola, U.N.: New approach to a generalized fractional integral. Appl. Math. Comput. 218, 860–865 (2011)
Katugampola, U.N.: A new approach to generalized fractional derivatives. Bull. Math. Anal. Appl. 6, 1–15 (2014)
Lakshmikantham, V., Leela, S., Devi, J.V.: Theory of Fractional Dynamic Systems. Cambridge Scientific Publishers (2009)
Lakshmikantham, V., Mohapatra, R.N.: Theory of Fuzzy Differential Equations and Applications. Taylor & Francis, London (2003)
Mazandarani, M., Najariyan, M.: Type-2 fuzzy fractional derivatives. Commun. Nonlinear Sci. Numer. Simul. 19, 2354–2372 (2014)
Oliveira, D.S., Capelas de Oliveira, E.: Hilfer–Katugampola fractional derivative. Comput. Appl. Math. 37, 3672–3690 (2018)
Stefanini, L.: A generalization of Hukuhara difference and division for interval and fuzzy arithmetic. Fuzzy Sets Syst. 161, 1564–1584 (2010)
Stefanini, L., Bede, B.: Generalized Hukuhara differentiability of interval-valued functions and interval differential equations. Nonlinear Anal. 71, 1311–1328 (2009)
Vinothkumar, C., Nieto, J.J., Deiveegan, A., Prakash, P.: Invariant solutions of hyperbolic fuzzy fractional differential equations. Mod. Phys. Lett. B 34, 2050015 (2020)
Acknowledgements
The authors would like to thank the editor and anonymous reviewers for their helpful comments and suggestions which helped to improve the quality of our present paper.
Availability of data and materials
Not applicable.
Funding
This work is supported by the Natural Science Foundation of Xinjiang (2019D01A71), Scientific Research Programs of Colleges in Xinjiang (XJEDU2018Y033), National Natural Science Foundation of China (11961069), Xinjiang graduate research innovation project.
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interest.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chen, X., Gu, H. & Wang, X. Existence and uniqueness for fuzzy differential equation with Hilfer–Katugampola fractional derivative. Adv Differ Equ 2020, 241 (2020). https://doi.org/10.1186/s13662-020-02696-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02696-9