- Research
- Open access
- Published:
A discussion concerning the existence results for the Sobolev-type Hilfer fractional delay integro-differential systems
Advances in Difference Equations volume 2021, Article number: 467 (2021)
Abstract
The goal of this study is to propose the existence results for the Sobolev-type Hilfer fractional integro-differential systems with infinite delay. We intend to implement the outcomes and realities of fractional theory to obtain the main results by Monch’s fixed point technique. Moreover, we show the existence and controllability of the thought about the fractional system with the nonlocal condition. In addition, an application to illustrate the outcomes is also included.
1 Introduction
In recent years, mathematical modeling has been upheld by fractional calculus, with a few outcomes, and fractional operators were demonstrated to be a fantastic instrument to depict the hereditary characteristics of different patterns. As of late, this blend has acquired a lot of significance, basically because fractional differential equations have become amazing assets for displaying a few complex wonders in various assorted and boundless fields of science and engineering; readers are referred to [1–20] and articles [21–37]. Hilfer [38] initiated another kind of derivative, along with Riemann–Liouville and Caputo fractional derivative. Motivated by the monograph, nowadays, several authors focus on these Hilfer fractional differential equations, and we refer to [24, 39–48]. Singh et al. [49] discussed the existence and Ulam stability of solutions for a class of boundary value problems for Hilfer-type nonlinear implicit fractional differential equations with instantaneous impulses in Banach spaces.
The differential system with Sobolev-type is frequently evident in the mathematical structure of several physical events similar to the flowing of fluids through fractured rocks, thermodynamics. The readers may refer to [50–56]. Many authors discussed the relations between the asymptotic stability of the zero solution for retarded differential equations and real parts of all characteristic roots of characteristic equations. In [57] the author investigated the asymptotic stability of the zero solution for Caputo–Hadamard fractional dynamic equations on a time scale. These equations guarantee the effectiveness of the zero solution, and several authors reported interesting fixed point results in the framework of complete b-metric spaces, recently, Lazreg et al. [58] established some impulsive Caputo–Fabrizio fractional differential equations in b-metric spaces.
Control hypothesis is a significant region of usage arranged in mathematics which deals with the design and assessment of control structures. The development of modern mathematical control theory is heavily influenced by controllability. The problem of controllability of dynamical systems is commonly employed in control system analysis and design. Fractional-order control systems defined by fractional-order differential equations have gotten a lot of interest in recent years, a wide list of these distributions can be found in [25, 26, 28, 29, 40, 43, 48, 51, 56, 59–62]. The controllability of impulsive fractional evolution inclusions with state-dependent delay is demonstrated in [63], which employs a fixed point theorem for condensing maps.
From the above literature survey, to our knowledge the existence and exact controllability of the fractional system have not been studied fully. Motivated by this fact, we consider the Sobolev-type Hilfer fractional integro-differential system of the form
and assume that the system with control has the following form:
where \(D^{\alpha ,\beta }_{0^{+}}\) stands for Hilfer fractional derivative of type \(\frac{1}{2}< \beta <1\), order \(0\leq \alpha \leq 1 \). The state \(z(\cdot )\) takes values in a Banach space along with the norm \(\Vert \cdot \Vert \), A is the infinitesimal generator of a \(C_{0}\)-semigroup. The control function \(u(\cdot ) \in L^{2}(\mathbb{N},\mathbb{U})\). The histories \(z_{t}:(-\infty ,0]\rightarrow \mathscr{B}_{l}\), \(z_{t}(s)=z(t+s)\), \(s \le 0\) are associated with phase space \(\mathscr{B}_{l}\). Additionally, a bounded linear operator \(B:\mathbb{U} \rightarrow Z\), \(\mathbb{U}\in Z\). \(f:\mathbb{N}\times \mathscr{B}_{l}\times Z\rightarrow Z\) and \(e:\mathbb{N}\times \mathbb{N}\times \mathscr{B}_{l}\rightarrow Z\) are given functions.
We organize the remaining part of our article as follows: Some new notations, important facts, lemmas, vital definitions, and theoretical results are recalled in Sect. 2. Section 3 provides the existence of fractional system (1.1)–(1.2) which is proven by Monch’s fixed point theorem. We extended the study to deal with the exact controllability for (1.3)–(1.4) in Sect. 4. In Sect. 5, we discuss the system with nonlocal conditions. Finally, we end with Sect. 6, which presents our conclusions.
2 Preliminaries
We review the essential hypothesis which is utilized all through the work in request to acquire new outcomes. Let \(v=\alpha +\beta -\alpha \beta \), we have \((1-v)=(1-\alpha )(1-\beta )\). We define \(\mathcal{C}_{1-v}(\mathbb{N},Z)=\{z:t^{1-v}z(t)\in \mathcal{C}( \mathbb{N},Z)\}\) with \(\Vert \cdot \Vert _{v}\) defined by \(\Vert z \Vert _{v}=\sup \{t^{1-v} \Vert z(t) \Vert , t \in \mathbb{N}\}\). Suppose \(\mathcal{C}(\mathbb{N},Z):\mathbb{N}\rightarrow Z\) with \(\Vert Z \Vert _{\mathcal{C}}:=\sup_{t\in \mathbb{N}} \Vert z(t) \Vert \) for \(z\in \mathcal{C}\), and we introduce \(A:D(A)\subset Z\rightarrow Z\), \(\mathcal{J}:D(A)\subset Z\rightarrow Z\) is satisfied, refer to [53].
- \(\mathbf{(F_{1})}\):
-
The linear operators A and \(\mathcal{J}\) are closed.
- \(\mathbf{(F_{2})}\):
-
\(D(\mathcal{J})\subset D(A)\), \(\mathcal{J}\) is bijective.
- \(\mathbf{(F_{3})}\):
-
\(\mathcal{J}^{-1}: Z\rightarrow D(\mathcal{J})\) is continuous.
In addition, from \(\mathbf{(F_{1})}\), \(\mathbf{(F_{2})}\), \(\mathcal{J}^{-1}\) is closed. Applying the closed graph theorem and \(\mathbf{(F_{3})}\), we obtain the boundedness of \({A}\mathcal{J}^{-1}: Z\rightarrow Z\). Designate \(\Vert \mathcal{J}^{-1} \Vert = \widetilde{\mathcal{J}}_{m}\) and \(\Vert \mathcal{J} \Vert = \mathcal{J}_{m}\).
Definition 2.1
The fractional integral of order \(\alpha \in (0,1)\) of \(f:[b,+\infty )\rightarrow \mathbb{R}\) is the function \(I_{b^{+}}^{\alpha } f\) of the form
Definition 2.2
The Riemann–Liouville derivative of order \(\alpha \in [m-1,m)\), \(m\in \mathbb{Z}^{+}\) for \(f:[b,+\infty )\rightarrow \mathbb{R}\), the function \({^{L}D^{\alpha }}_{b^{+}} f\) of the form
Definition 2.3
The Hilfer fractional derivative of order \(0\leq \alpha \leq 1\) and type \(0<\beta <1\) for \(f(t)\) of the form
Remark 2.4
- \(\mathbf{(i)}\) :
-
In case \(\alpha =0\), \(b=0\), the Hilfer fractional differential is identical to the classical Riemann–Liouville fractional derivative for f of the form
$$\begin{aligned} D^{0,\beta }_{0^{+}} f(t)&=\frac{d}{dt}\mathcal{I}^{1-\beta }_{0^{+}} f(t)={^{L}D^{\alpha }}_{0^{+}} f(t). \end{aligned}$$ - \(\mathbf{({ii})}\) :
-
In case \(\alpha =1\), \(0<\beta <1\), and \(b=0\), the Hilfer fractional derivative is identical to the classical Caputo derivative for f of the form
$$\begin{aligned} D^{1,\beta }_{0^{+}} f(t)&=\mathcal{I}^{1-\beta }_{0^{+}} \frac{d}{dt} f(t)={^{c}D^{\beta }}_{0^{+}} f(t). \end{aligned}$$
As of now, we characterize the abstract phase space \(\mathscr{B}_{l}\), which is introduced in [51]. Let \(g:(-\infty ,0] \rightarrow (0,+\infty )\) be a continuous function with \(j=\int _{-\infty }^{0} g(t) \,dt <+\infty \). For each \(i>0\), we define
and provide
Define
and
Hence \((\mathscr{B}_{l}, \Vert \cdot \Vert _{\mathscr{B}_{l}})\) is a Banach space. Suppose
fix \(\Vert \cdot \Vert _{b}\) in \(\mathscr{B}_{l}^{\prime }\), and it is characterized by
Lemma 2.5
([64])
If \(z\in \mathscr{B}'_{l}\), then for \(t \in \mathbb{N}\), \(z_{t} \in \mathscr{B}_{l}\). Also,
where \(j=\int _{-\infty }^{0} g(t)\,dt<+\infty \).
Definition 2.6
([65])
\(z: (-\infty ,b]\rightarrow Z\) is a mild solution of (1.1)–(1.2) only if \(z(0)=\phi \in \mathscr{B}_{l}\) on \((-\infty ,0]\) and satisfies
where
Remark 2.7
We define the mild solution of (1.1)–(1.2) as follows:
where \(M_{\beta }(\theta )\) is a Wright function and satisfies
Lemma 2.8
([65])
The operators \(\mathcal{S}_{\alpha ,\beta }(t)\) and \(Q_{\beta }(t)\) satisfy the following conditions:
-
For \(t\geq 0\), the operators \(\mathcal{S}_{\alpha ,\beta }(t)\) and \(Q_{\beta }(t)\) are linearly bounded, i.e., for every \(z\in Z\),
$$ \bigl\Vert \mathcal{S}_{\alpha ,\beta }(t)z \bigr\Vert \leq \frac{Mt^{\mu -1}}{\Gamma (\alpha (1-\beta )+\beta )} \Vert z \Vert ; \quad\quad \bigl\Vert Q_{\beta }(t)z \bigr\Vert \leq \frac{M}{\Gamma (\beta )} \Vert z \Vert , $$where \(\mathcal{S}_{\alpha ,\beta }(t)=I_{0^{+}}^{\alpha (1-\beta )}P_{\beta }(t)\).
-
The operators \(\{\mathcal{S}_{\alpha ,\beta }(t)\}_{t\geq 0}\) and \(\{Q_{\beta }(t)\}_{t\geq 0}\) are strongly continuous.
Lemma 2.9
The strongly continuous operators \(\{Q_{\beta }(t)\}_{t>0}\) and \(\{\mathcal{S}_{\alpha ,\beta }(t)\}_{t>0}\), \(0< t'< t''\leq b \) are defined by
Definition 2.10
([60])
Assume \(F^{+}\) of the Banach space \((F(\text{positive cone}),\leq )\). Define ϕ with values of \(F^{+} \), it is said to be a measure of noncompactness on Z iff \(\phi (\overline{\operatorname{co}}Y)=\phi (Y)\) for \(Y \subseteq Z\), where \(\overline{\operatorname{co}}Y\) is a closed convex hull of Y.
The measure of noncompactness of Ï• is called:
-
(1)
Monotone if and only if \((Y_{1}\subseteq Y_{2}) \Rightarrow (\phi (Y_{1}) \le \phi (Y_{2}))\), \(Y_{1}\), \(Y_{2}\) are bounded subsets of Z;
-
(2)
Nonsingular if and only if \(\phi (\{a\}\cup Y)=\phi (Y) \) for every \(a\in Z\), \(Y\subset Z\);
-
(3)
Regular if and only if \(\phi (Y)=0\), Y is relatively compact in Z.
The measure of noncompactness of Hausdorff μ̂ is defined by
To know more information about the properties of MNC, the readers can refer to [66]. Now, for every Y, \(Y_{1}\), \(Y_{2}\) of Z,
-
(4)
\(\widehat{\mu }(Y_{1}+Y_{2}) \le \widehat{\mu }(Y_{1})+\widehat{\mu }(Y_{2})\), where \(Y_{1} + Y_{2}=\{y_{1}+y_{2}:y_{1}\in Y_{1},y_{2}\in Y_{2}\}\);
-
(5)
\(\widehat{\mu }(Y_{1}\cup Y_{2})\le \max \{\widehat{\mu }(Y_{1}), \widehat{\mu }(Y_{2})\}\);
-
(6)
\(\widehat{\mu }(\alpha Y)\le \vert \alpha \vert \widehat{\mu }(Y) \) for any \(\alpha \in \mathbb{R}\);
-
(7)
If \(Q:D(Q)\subseteq Z \rightarrow Y\), then \(\widehat{\mu }_{Y} (QY)\le k\widehat{\mu }(Y)\), \(Y \subseteq D(Q)\), here Y is a Banach space and k is any constant.
Lemma 2.11
([66])
If \(\mathcal{K}\subset \mathcal{C}(\mathbb{N},Z)\) is bounded and equicontinuous, then \(\widehat{\mu }(\mathcal{K}(t))\) is a continuous function for all \(t\in \mathbb{N}\)
Theorem 2.12
If \(\{u_{n}:\mathbb{N}\rightarrow Z\}\) is Bochner’s integrable function with \(\Vert u_{n}(t) \Vert \leq \widehat{\mu }(t)\) a.e. for \(t\in \mathbb{N}\) and for every \(n\geq 1\), where \(\widehat{\mu }\in L^{1}(\mathbb{N},R)\), then \(Y(t)=\widehat{\mu }(\{u_{n}(t):n\geq 1\}) \in L^{1}(\mathbb{N},R)\) and satisfies \(\widehat{\mu }(\{\int _{0}^{t}u_{n}(s)\,ds:n\geq 1\})\leq 2\int _{0}^{t} \widehat{\mu }(s)\,ds\).
Lemma 2.13
([68])
Let K be a closed convex subset of Z and \(0\in K\). If \(F:K\rightarrow Z\) is a continuous map which satisfies Mönch’s condition (i.e., \(M\subseteq K\) is countable, \(M\subseteq \overline{\operatorname{co}}(\{0\}\cup F(M))\Rightarrow \overline{M}\) is compact), then F has a fixed point in K.
3 Existence
In this section, we mainly focus on the existence of (1.1)–(1.2), and in order to prove the main theorem, we have the following assumptions.
- (A0):
-
For all \(K \subset Z\), \(\theta \in (0,\infty ) \) and \(z\in K\),
$$ \bigl\Vert T \bigl(t_{2}^{\beta }\theta \bigr)z-T \bigl(t_{1}^{\beta }\theta \bigr)z \bigr\Vert \rightarrow 0, \quad \text{as } t_{2}\rightarrow t_{1}. $$ - (A1):
-
The function \(f:\mathbb{N}\times \mathscr{B}_{l} \times Z\rightarrow Z\) satisfies the following:
- \(\mathbf{(i)}\):
-
\(f(\cdot ,s,z)\) is measurable for every \((s,z)\in \mathscr{B}_{l}\times Z\) and \(f(t,\cdot ,\cdot )\) is continuous, \(t\in \mathbb{N}\) and \(z \in \mathscr{B}_{l}\), \(f(\cdot , \cdot ,z):(0,b]\rightarrow Z\) is strongly measurable.
- \(\mathbf{({ii})}\):
-
There exist \(\beta _{1}\in (0,\beta )\), \(m_{1}\in L^{\frac{1}{\beta _{1}}}(N, \mathbb{R}^{+})\) and \(\Omega :\mathbb{R}^{+}\rightarrow \mathbb{R}^{+}\) such that
$$ \bigl\Vert f(t,s,z) \bigr\Vert \leq m_{1}(t)\Omega \bigl(t^{1-v} \Vert s \Vert _{\mathscr{B}_{l}}+ \Vert z \Vert \bigr) $$for every \(t,s,z\in \mathbb{N}\times \mathscr{B}_{l}\times Z\), where μ̂ satisfies \(\lim \inf_{j\rightarrow \infty } \frac{\widehat{\mu }(j)}{j}=0\).
- \(\mathbf{({iii})}\):
-
There exists \(\beta _{2}\in (0,\beta )\), \(m_{2}\in L^{\frac{1}{\beta _{2}}}( \mathbb{N},\mathbb{R}^{+})\) such that, for any \(K_{1}\subset Z\) and \(F_{1}\subset \mathscr{B}_{l} \),
$$ \widehat{\mu } \bigl(f(t,F_{1}, K_{1}) \bigr)\leq m_{2}(t) \Bigl[ \sup_{- \infty < \xi \leq 0}\widehat{\mu } \bigl(F_{1}(\xi ) \bigr)+\widehat{\mu }(K_{1}) \Bigr] \quad \text{for almost all } t\in \mathbb{N}, $$where \(F_{1}{(\xi )}= \{\grave{w}(\xi ):\grave{w}\in K_{1}\}\), μ̂ is the Hausdorff measure of noncompactness.
For \(m_{i}\in L^{\frac{1}{\beta _{i}}}([0,b],\mathbb{R}^{+})\), \(\beta _{i}\in (0,\beta )\), \(i=1,2\).
- (A2):
-
The function \(e:\mathbb{N}\times \mathbb{N}\times \mathscr{B}_{l} \rightarrow Z\) satisfies the following:
- \(\mathbf{(i)}\):
-
\(e(\cdot ,s,z)\) is measurable for all \((s,z)\in \mathscr{B}_{l}\times Z\).
- \(\mathbf{({ii})}\):
-
There exists \(E_{0}>0 \) such that \(\Vert e(t,s,z) \Vert \le E_{0}(1+ \Vert z \Vert _{ \mathscr{B}_{l}})\) for every \(t, z\in Z\), \(s\in \mathscr{B}_{l}\).
- \(\mathbf{({iii})}\):
-
There exists \(m_{3}\in L^{1}(\mathbb{N},\mathbb{R}^{+})\) such that, for any \(K_{2}\subset Z\),
$$ \widehat{\mu } \bigl(f(t,s,z) \bigr)\leq m_{3}(t,s) \Bigl[ \sup _{- \infty < \xi \leq 0}\widehat{\mu } \bigl(K_{2}(\xi ) \bigr) \Bigr] \quad \text{for almost all } t\in \mathbb{N}, $$with \(m_{3}^{*}=\sup_{s\in \mathbb{N}}\int _{0}^{s} m_{3}(t,\tau )\,d\tau < \infty \).
For our convenience, we introduce
Theorem 3.1
Assume that (A0)–(A2) are satisfied, then (1.1)–(1.2) has at least one mild solution if
Proof
We define the operator \(\Upsilon :\mathscr{B}_{l}'\rightarrow \mathscr{B}_{l}'\) by
For \(\phi \in \mathscr{B}_{l}\), we define η̂ as follows:
then \(\hat{\eta }\in \mathscr{B}_{l}^{\prime }\). Let \(z(t)=g(t)+\hat{\eta } (t)\), \(-\infty < t\leq b\). Clearly, z satisfies (2.1) if and only if g satisfies \(g_{0}=0\) and
Let \(\mathscr{B}_{l}^{\prime \prime }=\{g\in \mathscr{B}_{l}^{\prime }:g_{0}=0 \in \mathscr{B}_{l}\}\). For any \(g\in \mathscr{B}_{l}^{\prime \prime }\),
Hence \((\mathscr{B}_{l}^{\prime \prime }, \Vert \cdot \Vert _{b})\) is a Banach space. Now \(\ell >0\), we fix \(F_{\ell }=\{g\in {\mathscr{B}_{l}^{\prime \prime }}: \Vert g \Vert _{b} \leq \ell \}\), then \(F_{\ell }\subseteq {\mathscr{B}_{l}^{\prime \prime }}\) is uniformly bounded, \(g\in F_{\ell }\), and referring to Lemma 2.5,
We define the operator \(\tilde{\Upsilon }:\mathscr{B}_{l}^{\prime \prime }\rightarrow \mathscr{B}_{l}^{\prime \prime }\) as follows:
To prove that ϒ̃ has a fixed point.
Now we divide the proof into a few steps for our benefit.
Step 1: For \(\ell >0\), \(\widetilde{\Upsilon }(F_{\ell })\subseteq F_{\ell }\). If it is false, then \(g^{\ell }(\cdot )\in F_{\ell }\) and \(t\in \mathbb{N}\) such that \(\Vert (\widetilde{\Upsilon }g^{\ell })(t) \Vert >\ell \). Suppose \(\ell >0\), and consider \(\{F_{\ell }=z\in \mathcal{C}_{1-v}: \Vert z \Vert _{v}\leq \ell \}\). It is understood that \(F_{\ell }\) is a closed, bounded, and convex set of C. Furthermore, from Lemma 2.8, (A1), and Hölder’s inequality, we have
We now divide (3.5) by â„“, and taking \(\ell \rightarrow \infty \), it contradicts with (3.1). Therefore, \(\widetilde{\Upsilon }(F_{\ell })\subseteq F_{\ell }\).
Step 2: ϒ̃ is continuous on \(F_{\ell }\).
For all \(g^{m},g\in F_{\ell }(\mathbb{N})\), \(m=0,1,2,\ldots \) , with \(\lim_{m\rightarrow \infty }g^{m}=g\), then we have \(\lim_{m\rightarrow \infty }g^{m}(t)=g(t)\) and
Consider \(f (t,t^{1-v}z^{m}(t),\int _{0}^{t} e (t,s,s^{1-v}z^{m}(s) )\,ds )\), and we take
Lebesgue’s dominated convergence theorem and hypotheses (A1), (A2) give
Now, by (A1), we have
therefore, ϒ̃ is continuous on \(F_{\ell }\).
Step 3: \(\widetilde{\Upsilon }(F_{\ell })\) is equicontinuous on \(\mathbb{N}\). Let \(\gamma \in \widetilde{\Upsilon }(F_{\ell })\).
For \(0< t_{1}< t_{2}< b\), we have
By Lemma 2.9 and Lebesgue’s integral dominance convergence theorem, we get \(\Vert \gamma (t_{2})-\gamma (t_{1}) \Vert \) becomes zero as \(t_{2}-t_{1}\rightarrow 0\).
Thus, \(\widetilde{\Upsilon }(F_{\ell })\) is equicontinuous on \(\mathbb{N}\).
Step 4: Mönch’s condition: Assume that \(\mathcal{K}\subseteq F_{\ell }\) is countable and \(\mathcal{K}\subseteq \operatorname{conv}(\{0\}\cup \widetilde{\Upsilon }( \mathcal{K}))\). To prove \(\widehat{\mu }(\mathcal{K})=0\), where μ̂ is the Hausdorff measure of noncompactness. If \(\mathcal{K}=\{g^{m}\}_{m=1}^{\infty }\), thus we show that \(\widetilde{\Upsilon }(\mathcal{K})(t)\) is relatively compact in Z for all \(t\in \mathbb{N}\). By using Theorem 2.12,
That is,
Therefore, by using Lemma 2.11,
where \(P^{*}\) is defined in (3.1), hence \(\widehat{\mu }(\mathcal{K})=0\).
Lemma 2.13 shows that ϒ̃ has a fixed point \(\mathcal{K} \in F_{\ell }\). Consequently, \(z=g+\hat{\eta }\) is a mild solution of (1.1)–(1.2). The proof is now completed. □
4 Controllability
In this section, we mainly focus on the controllability of (1.3)–(1.4). So, we now introduce the mild solution of (1.3)–(1.4) as follows.
Definition 4.1
A function \(z:(-\infty ,b]\rightarrow Z\) is said to be a mild solution of (1.1)–(1.2) if and only if \(z(0)=\phi \in \mathscr{B}_{l}\) on \((-\infty ,0]\) and z satisfies
Lemma 4.2
System (1.3)–(1.4) is said to be controllable on \(\mathbb{N}\) if, for every \(\phi \in \mathscr{B}_{l}\), \(z^{1}\in Z\), there exists \(u\in L^{2}(\mathbb{N},U)\) such that \(z(t)\) of (1.3)–(1.4) satisfies \(z(b)=z^{1}\).
Controllability results are proved in relation to the following hypotheses:
- (A3):
-
The operator \(B: L^{2}(\mathbb{N},\mathbb{U})\rightarrow L^{1}(\mathbb{N},Z)\) which is bounded, \(W:L^{2}(\mathbb{N},\mathbb{U})\rightarrow Z\) defined by
$$\begin{aligned} Wu= \int _{0}^{b}(b-s)^{\beta -1} \mathcal{J}^{-1}Q_{\beta }(t-s)Bu(s)\,ds, \end{aligned}$$satisfies:
- (i):
-
\(W^{-1}\) takes the value in \(L^{2}((0,b],\mathbb{U})/\operatorname{Ker} W\), there exist \(M_{b}>0\), \(M_{w}>0\) such that \(\Vert B \Vert \leq M_{b}\) and \(\Vert W^{-1} \Vert \leq M_{w}\).
- (ii):
-
There exists \(\beta _{4}\in (0,\beta )\), and for every \(K\in Z\), \(m_{4}\in L^{\frac{1}{\beta _{4}}}((0,b],\mathbb{R}^{+})\) such that \(\widehat{\mu }((W^{-1}K)(t))\leq m_{4}(t)\widehat{\mu }(K)\). Here, \(m_{i}\in L^{\frac{1}{\beta _{i}}}([0,b],\mathbb{R}^{+})\), \(\beta _{i}\in (0,\beta )\), \(i=1,2,3,4\).
For our convenience, we introduce
Theorem 4.3
Assume that (A0)–(A3) are satisfied, then (1.3)–(1.4) is controllable on \((0,b]\) if
Proof
By using (A3), we define \(u_{z}(t)\) by
Let \(\Upsilon :\mathscr{B}_{l}'\rightarrow \mathscr{B}_{l}'\) be defined by
For \(\phi \in \mathscr{B}_{l}\), we have
then \(\hat{\eta }\in \mathscr{B}_{l}^{\prime }\). Let \(z(t)=g(t)+\hat{\eta } (t)\), \(-\infty < t\leq b\). Now, we identified that z satisfies (4.1) if and only if g satisfies \(g_{0}=0\) and
where
We define the operator \(\tilde{\Upsilon }:\mathscr{B}_{h}^{\prime \prime }\rightarrow \mathscr{B}_{h}^{\prime \prime }\) by
Now, to show ϒ̃ has a fixed point. We divide the proof into the following steps for our convenience.
Step 1: To prove that there exists a constant \(\ell >0\) such that \(\widetilde{\Upsilon }(F_{\ell })\subseteq F_{\ell }\). If it fails, then \(g^{\ell }(\cdot )\in F_{\ell }\) and \(t\in \mathbb{N}\) such that \(\Vert \widetilde{\Upsilon }(g^{\ell })(t) \Vert >\ell \).
Take \(\ell >0\) and consider \(\{F_{\ell }=z\in \mathcal{C}_{1-v}: \Vert z \Vert _{v}\leq \ell \}\). Apparently, \(F_{\ell }\) is a closed, bounded, and convex set of C.
Using Lemma 2.8, (A1), (A3), and Holder’s inequality, we have
Take \(\rho =\ell '+bE_{0}(1+\ell ')\), note that \(\rho \rightarrow \infty \) as \(\ell \rightarrow \infty \).
Dividing (4.5) by â„“ and taking \(\ell \rightarrow \infty \), we have
then by (A1)\(({ii})\), (4.6) is a contradiction. Hence \(\widetilde{\Upsilon }(F_{\ell })\subseteq F_{\ell }\).
Step 2: Similar to Step 2 of Theorem 3.1.
Step 3: For \(g\in F_{\ell }\), assume \(g(t)=t^{v-1}\Upsilon z(t)\), ϒ̃ provides bounded sets into equicontinuous sets of C for all \(y\in F_{\ell }\), there exists \(\Upsilon \in \widetilde{\Upsilon }(z) \) such that \(\Vert \Upsilon z(t_{2})- \Upsilon z(t_{1}) \Vert \rightarrow 0\) as \(t_{2}\rightarrow t_{1}\).
Hereafter, we continue our proof as per Step 3 of Theorem 3.1, and hence \(\widetilde{\Upsilon }(F_{\ell })\) is equicontinuous.
Step 4: Mönch’s condition: Consider \(\mathcal{K}\subseteq F_{\ell }\) is countable and \(\mathcal{K}\subseteq \operatorname{conv}(\{0\}\cup \widetilde{\Upsilon }( \mathcal{K}))\). To prove \(\widehat{\mu }(\mathcal{K})=0\), here μ̂ is the Hausdorff measure of noncompactness. If \(\mathcal{K}=\{g^{m}\}_{m=1}^{\infty }\), then we show that \(\widetilde{\Upsilon }(\mathcal{K})(t)\) is relatively compact in Z for all \(t\in \mathbb{N}\). By Theorem 2.12, we obtain
where
That is, \(\widehat{\mu }(\widetilde{\Upsilon }\mathcal{K}(t))\leq \frac{2M\widetilde{\mathcal{J}}_{m}M_{2}b^{1-v}(1+2m_{3}^{*})}{\Gamma (\beta )} [1+ \frac{2MM_{b}M_{4}\widetilde{\mathcal{J}}_{m}}{\Gamma (\beta )} ]\widehat{\mu }(\mathcal{K}(\tau ))\). Therefore, using Mönch’s condition, we get \(\widehat{\mu }(\mathcal{K} )\leq \widehat{\mu } (\operatorname{conv} (\{0\} \cup (\widetilde{\Upsilon }(\mathcal{K})) )=\widehat{\mu }( \widetilde{\Upsilon }(\mathcal{K}))\leq P^{*}\widehat{\mu }( \mathcal{K})\), where \(P^{*}\) is defined in (4.2), and hence Lemma 2.13 shows that (1.1)–(1.2) has a fixed point \(\mathcal{K}\) in \(F_{\ell }\). Hence, \(z=g+\hat{\eta }\) is the mild solution of (1.1)–(1.2) satisfying \(z(b)=z^{1}\). Consequently (1.3)–(1.4) is controllable on \(\mathbb{N}\). □
5 Nonlocal conditions
The nonlocal Cauchy problem for differential equation was first studied by Byszewski [69]. Their research is driven by imaginative enthusiasm and the manner in which these types of problems usually occur when proving practical applications. For example, material science and life sciences can be depicted by techniques for the differential framework subject to nonlocal limit conditions, the readers can refer to [48, 60, 62, 69, 70]. We presently expect that the nonlocal Sobolev-type Hilfer fractional integro-differential equations with control are as follows:
The result is proved in relation to the following hypothesis:
- (A4):
-
Function \(\jmath :\mathscr{B}^{n}\rightarrow \mathscr{B}\) is continuous, there exists \(L_{i}(h)>0\) such that
$$\begin{aligned} \bigl\Vert \jmath (v_{1},v_{2},\ldots,v_{k})- \jmath (w_{1},w_{2},\ldots,w_{k}) \bigr\Vert \le \sum_{k=1}^{n} L_{k}(\jmath ) \Vert v_{k}-w_{k} \Vert _{\mathscr{B}_{l}} \end{aligned}$$for all \(v_{k},w_{k}\in \mathscr{B}_{l}\), and consider \(L_{k}=\sup \{ \Vert \jmath (v_{1},v_{2},\ldots,v_{k}) \Vert :v_{k}\in \mathscr{B}_{l}\}\).
Definition 5.1
A function \(z: (-\infty ,b]\rightarrow Z\) is a mild solution of (5.1)–(5.2) only if \(z_{0}=\phi +\jmath (t_{x_{1}},t_{x_{2}},\ldots,t_{x_{n}})\in \mathscr{B}_{l}\) on \((-\infty ,0]\) and
is satisfied.
Theorem 5.2
Assume that (A0)–(A4) are satisfied, then (5.1)–(5.2) is controllable on \((0,b]\) if
is satisfied.
6 Example
Assume that the fractional evolution system with control is as follows:
where \(D^{\alpha ,\frac{2}{3}}_{0^{+}}\) denotes the Hilfer fractional derivative of order \(\frac{2}{3}\), type α, \(g:\mathbb{N}\times [0,1]\times [0,1]\times \mathbb{R}\rightarrow \mathbb{R}\) is continuous.
To convert (6.1) into an abstract form, consider \(Z=L^{2}(0,\pi )\) and \(A:D(A)\subset Z\rightarrow Z\), let \(\mathcal{J}:D(\mathcal{J})\subset Z\rightarrow Z\) be defined as \(Av=v''\), and \(\mathcal{J}v=v-A\), \(D(A)\), \(D(\mathcal{J})\) are given by
Additionally, A and P are presented as \(Av=\sum_{m=1}^{\infty }n^{2}\langle v,z_{m}\rangle z_{m}\), \(v\in D(A)\) and
where \(z_{m}(t)=\sqrt{\frac{2}{\pi }}\sin (mt)\), \(m=1,2,\ldots \) . Also, for \(z\in Z\), we have
and \(Q_{\beta }(x)z=\sum_{m=1}^{\infty }\exp (\frac{m^{2}t}{1+m^{2}} )\langle z,z_{n}\rangle z_{n}\).
Now, from [62] \(z(t)z(s) = z(t+s)\) for \(z\in Z\), \(\widehat{\mu }(T(t)D) \le \widehat{\mu }(D)\), where \(T(t)\) is not compact and μ̂ is the Hausdorff measure. Moreover, \(\phi \rightarrow v(\phi ^{\frac{2}{3}} +\sigma )\) is equicontinuous for \(\phi \geq 0\). Define \(f:[0,\pi ]\times Z\rightarrow Z\) by
and \(D^{\alpha ,\frac{2}{3}}_{0^{+}}(u)(\phi )(\beta )= \frac{\partial ^{\frac{2}{3}}}{\partial \beta ^{\frac{2}{3}}}u(\phi , \beta )\), \(u(\phi )(\varsigma )=u(\phi ,\varsigma )\).
Let \(B:U\rightarrow Z\) be defined by \((Bw)(\phi )(\varsigma )=\mathscr{U}w(\phi ,\varsigma )\), \(0< \varsigma <1\). For \(\varsigma \in (0,\pi )\), W is given by
where
and for \(\Upsilon \in (0,\infty )\),
Here, \(\Upsilon _{\frac{2}{3}}\) is defined on \((0,\infty )\), that is,
f and \(\mathscr{U}\) fulfills (A1)–(A3). We conclude that (6.1) is controllable on \(\mathbb{N}\).
7 Conclusion
In this article, we have fundamentally focused on a class of Sobolev-type Hilfer fractional integro-differential framework with infinite delay, which generalized the Riemann–Liouville fractional derivative. At first, we dealt with the new existence result of a mild solution with the assumptions that the framework satisfies the initial condition and noncompactness measure condition. Later, we have presented the controllability results of the thought about the fractional framework. In the end, we introduced an example to show the procured hypothetical results. We will try to investigate the neutral differential equation and controllability of a similar problem in our future research work.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
References
Baleanu, D., Etemad, S., Rezapour, S.: On a fractional hybrid integro-differential equation with mixed hybrid integral boundary value conditions by using three operators. Alex. Eng. J. 59(5), 3019–3027 (2020). https://doi.org/10.1016/j.aej.2020.04.053
Thabet, S.T.M., Etemad, S., Rezapour, S.: On a coupled Caputo conformable system of pantograph problems. Turk. J. Math. 45(1), 496–519 (2021). https://doi.org/10.3906/mat-2010-70
Baleanu, D., Jajarmi, A., Mohammadi, H., Rezapour, S.: A new study on the mathematical modelling of human liver with Caputo–Fabrizio fractional derivative. Chaos Solitons Fractals 134, 109705 (2020). https://doi.org/10.1016/j.chaos.2020.109705
Adiguzel, R.S., Aksoy, U., Karapinar, E., Erhan, I.M.: Uniqueness of solution for higher-order nonlinear fractional differential equations with multi-point and integral boundary conditions. Rev. R. Acad. Cienc. Exactas FÃs. Nat., Ser. A Mat. 115, 155 (2021). https://doi.org/10.1007/s13398-021-01095-3
Adiguzel, R.S., Aksoy, U., Karapinar, E., Erhan, I.M.: On the solution of a boundary value problem associated with a fractional differential equation. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.6652
Adiguzel, R.S., Aksoy, U., Karapinar, E., Erhan, I.M.: On the solutions of fractional differential equations via Geraghty type hybrid contractions. Appl. Comput. Math. 20(2), 313–333 (2021)
Alqahtani, B., Aydi, H., Karapinar, E., Rakocevic, V.: AÂ solution for Volterra fractional integral equations by hybrid contractions. Mathematics 7(8), 694 (2019). https://doi.org/10.3390/math7080694
Baleanu, D., Rezapour, S., Saberpour, Z.: On fractional integro-differential inclusions via the extended fractional Caputo–Fabrizio derivation. Bound. Value Probl. 2019, 79 (2019). https://doi.org/10.1186/s13661-019-1194-0
Baleanu, D., Etemad, S., Rezapour, S.: AÂ hybrid Caputo fractional modeling for thermostat with hybrid boundary value conditions. Bound. Value Probl. 2020, 64 (2020). https://doi.org/10.1186/s13661-020-01361-0
Baleanu, D., Mousalou, A., Rezapour, S.: On the existence of solutions for some infinite coefficient-symmetric Caputo–Fabrizio fractional integro-differential equations. Bound. Value Probl. 2017, 145 (2017). https://doi.org/10.1186/s13661-017-0867-9
Samei, M.E., Rezapour, S.: On a system of fractional q-differential inclusions via sum of two multi-term functions on a time scale. Bound. Value Probl. 2020, 135 (2020). https://doi.org/10.1186/s13661-020-01433-1
Thabet, S.T.M., Etemad, S., Rezapour, S.: On a new structure of the pantograph inclusion problem in the Caputo conformable setting. Bound. Value Probl. 2020, 171 (2020). https://doi.org/10.1186/s13661-020-01468-4
Rezapour, S., Samei, M.E.: On the existence of solutions for a multi-singular pointwise defined fractional q-integro-differential equation. Bound. Value Probl. 2020, 38 (2020). https://doi.org/10.1186/s13661-020-01342-3
Tuan, N.H., Mohammadi, H., Rezapour, S.: AÂ mathematical model for COVID-19 transmission by using the Caputo fractional derivative. Chaos Solitons Fractals 140, 110107 (2020). https://doi.org/10.1016/j.chaos.2020.110107
Aydogan, S.M., Baleanu, D., Mousalou, A., Rezapour, S.: On high order fractional integro-differential equations including the Caputo–Fabrizio derivative. Bound. Value Probl. 2018, 90 (2018). https://doi.org/10.1186/s13661-018-1008-9
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Lakshmikantham, V., Leela, S., Vasundhara, D.J.: Theory of Fractional Dynamic Systems. Cambridge Academic Publishers, London (2009)
Deimling, K.: Multi-Valued Differential Equations. de Gruyter, Berlin (1992)
Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York (1983)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Baleanu, D., Mohammadi, H., Rezapour, S.: Analysis of the model of HIV-1 infection of CD4+ T-cell with a new approach of fractional derivative. Adv. Differ. Equ. 2020, 71 (2020). https://doi.org/10.1186/s13662-020-02544-w
Sabetghadam, F., Masiha, H.P., Altun, I.: Fixed-point theorems for integral-type contractions on partial metric spaces. Ukr. Math. J. 68, 940–949 (2016). https://doi.org/10.1007/s11253-016-1267-5
Sabetghadam, F., Masiha, H.P.: Fixed-point results for multi-valued operators in quasi-ordered metric spaces. Appl. Math. Lett. 25(11), 1856–1861 (2012). https://doi.org/10.1016/j.aml.2012.02.046
Dineshkumar, C., Udhayakumar, R., Vijayakumar, V., Nisar, K.S.: AÂ discussion on the approximate controllability of Hilfer fractional neutral stochastic integro-differential systems. Chaos Solitons Fractals 142, 110472 (2021). https://doi.org/10.1016/j.chaos.2020.110472
Mohan Raja, M., Vijayakumar, V., Udhayakumar, R.: Results on the existence and controllability of fractional integro-differential system of order \(1 < r < 2\) via measure of noncompactness. Chaos Solitons Fractals 139, 110299 (2020). https://doi.org/10.1016/j.chaos.2020.110299
Mohan Raja, M., Vijayakumar, V., Udhayakumar, R., Zhou, Y.: AÂ new approach on the approximate controllability of fractional differential evolution equations of order \(1 < r < 2\) in Hilbert spaces. Chaos Solitons Fractals 141, 110310 (2020). https://doi.org/10.1016/j.chaos.2020.110310
Rezapour, S., Azzaoui, B., Tellab, B., Etemad, S., Masiha, H.P.: An analysis on the positivesSolutions for a fractional configuration of the Caputo multiterm semilinear differential equation. J. Funct. Spaces 2021, Article ID 6022941 (2021). https://doi.org/10.1155/2021/6022941
Mohan Raja, M., Vijayakumar, V., Udhayakumar, R.: AÂ new approach on approximate controllability of fractional evolution inclusions of order \(1 < r < 2\) with infinite delay. Chaos Solitons Fractals 141, 110343 (2020). https://doi.org/10.1016/j.chaos.2020.110343
Mahmudov, N.I., Udhayakumar, R., Vijayakumar, V.: On the approximate controllability of second-order evolution hemivariational inequalities. Results Math. 75, 160 (2020). https://doi.org/10.1007/s00025-020-01293-2
Shukla, A., Sukavanam, N., Pandey, D.N.: Approximate controllability of fractional semilinear control system of order \(\alpha \in (1,2]\) in Hilbert spaces. Nonlinear Stud. 22(1), 131–138 (2015)
Shukla, A., Sukavanam, N., Pandey, D.N.: Approximate controllability of semilinear fractional control systems of order \(\alpha \in (1,2]\) with infinite delay. Mediterr. J. Math. 13, 2539–2550 (2016). https://doi.org/10.1007/s00009-015-0638-8
Shukla, A., Sukavanam, N., Pandey, D.N.: Approximate controllability of fractional semilinear stochastic system of order \(\alpha \in (1,2]\). J. Dyn. Control Syst. 23, 679–691 (2017). https://doi.org/10.1007/s10883-016-9350-7
Shukla, A., Sukavanam, N., Pandey, D.N.: Approximate controllability of semilinear fractional stochastic control system. Asian-Eur. J. Math. 11(6), 1850088 (2018). https://doi.org/10.1142/S1793557118500882
Singh, A., Shukla, A., Vijayakumar, V., Udhayakumar, R.: Asymptotic stability of fractional order \((1,2]\) stochastic delay differential equations in Banach spaces. Chaos Solitons Fractals 150, 111095 (2021). https://doi.org/10.1016/j.chaos.2021.111095
Vijayakumar, V., Udhayakumar, R., Kavitha, K.: On the approximate controllability of neutral integro-differential inclusions of Sobolev-type with infinite delay. Evol. Equ. Control Theory 10(2), 271–296 (2021). https://doi.org/10.3934/eect.2020066
Vijayakumar, V., Udhayakumar, R.: A new exploration on existence of Sobolev-type Hilfer fractional neutral integro-differential equations with infinite delay. Numer. Methods Partial Differ. Equ. 37, 750–766 (2021). https://doi.org/10.1002/num.22550
Williams, W.K., Vijayakumar, V., Udhayakumar, R., Nisar, K.S.: A new study on existence and uniqueness of nonlocal fractional delay differential systems of order \(1< r<2\) in Banach spaces. Numer. Methods Partial Differ. Equ. 37(2), 949–961 (2021). https://doi.org/10.1002/num.22560
Hilfer, R.: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
Gu, H., Trujillo, J.: Existence of mild solution for evolution equation with Hilfer fractional derivative. Appl. Math. Comput. 257, 344–354 (2015). https://doi.org/10.1016/j.amc.2014.10.083
Kavitha, K., Vijayakumar, V., Udhayakumar, R.: Results on controllability of Hilfer fractional neutral differential equations with infinite delay via measures of noncompactness. Chaos Solitons Fractals 139, 110035 (2020). https://doi.org/10.1016/j.chaos.2020.110035
Kavitha, K., Vijayakumar, V., Udhayakumar, R., Nisar, K.S.: Results on the existence of Hilfer fractional neutral evolution equations with infinite delay via measures of noncompactness. Math. Methods Appl. Sci. 44(2), 1438–1455 (2021). https://doi.org/10.1002/mma.6843
Kavitha, K., Vijayakumar, V., Udhayakumar, R., Sakthivel, N., Nisar, K.S.: A note on approximate controllability of the Hilfer fractional neutral differential inclusions with infinite delay. Math. Methods Appl. Sci. 44(6), 4428–4447 (2021). https://doi.org/10.1002/mma.7040
Kavitha, K., Vijayakumar, V., Shukla, A., Nisar, K.S., Udhayakumar, R.: Results on approximate controllability of Sobolev-type fractional neutral differential inclusions of Clarke subdifferential type. Chaos Solitons Fractals 151, 111264 (2021). https://doi.org/10.1016/j.chaos.2021.111264
Kavitha, K., Vijayakumar, V., Udhayakumar, R., Ravichandran, C.: Results on controllability of Hilfer fractional differential equations with infinite delay via measures of noncompactness. Asian J. Control (2021). https://doi.org/10.1002/asjc.2549
Subashini, R., Jothimani, K., Nisar, K.S., Ravichandran, C.: New results on nonlocal functional integro-differential equations via Hilfer fractional derivative. Alex. Eng. J. 59(5), 2891–2899 (2020). https://doi.org/10.1016/j.aej.2020.01.055
Vijayakumar, V., Henriquez, H.R.: Controllability results for a class of fractional semilinear integro-differential inclusions via resolvent operators. Numer. Funct. Anal. Optim. 39(6), 704–736 (2018). https://doi.org/10.1080/01630563.2017.1414060
Vijayakumar, V., Murugesu, R., Poongodi, R., Dhanalakshmi, S.: Controllability of second order impulsive nonlocal Cauchy problem via measure of noncompactness. Mediterr. J. Math. 14, 3 (2017). https://doi.org/10.1007/s00009-016-0813-6
Yang, M., Wang, Q.: Approximate controllability of Hilfer fractional differential inclusions with nonlocal conditions. Math. Methods Appl. Sci. 40(4), 1126–1138 (2017). https://doi.org/10.1002/mma.4040
Salim, A., Benchohra, M., Karapinar, E., Lazreg, J.E.: Existence and Ulam stability for impulsive generalized Hilfer-type fractional differential equations. Adv. Differ. Equ. 2020, 601 (2020). https://doi.org/10.1186/s13662-020-03063-4
Brill, H.: A semilinear Sobolev evolution equation in Banach space. J. Differ. Equ. 24(3), 412–425 (1997). https://doi.org/10.1016/0022-0396(77)90009-2
Chang, Y.K., Li, W.T.: Controllability of Sobolev type semilinear functional differential and integrodifferential inclusions with an unbounded delay. Georgian Math. J. 13(1), 11–24 (2006). https://doi.org/10.1515/GMJ.2006.11
Karapinar, E., Fulga, A., Rashid, M., Shahid, L., Aydi, H.: Large contractions on quasi-metric spaces with an application to nonlinear fractional differential equations. Mathematics 7(5), 444 (2019). https://doi.org/10.3390/math7050444
Lightbourne, J.H., Rankin, S.: A partial functional differential equation of Sobolev type. J. Math. Anal. Appl. 93(2), 328–337 (1983). https://doi.org/10.1016/0022-247X(83)90178-6
Mohammadi, H., Kumar, S., Rezapour, S., Etemad, S.: A theoretical study of the Caputo–Fabrizio fractional modeling for hearing loss due to mumps virus with optimal control. Chaos Solitons Fractals 144, 110668 (2021). https://doi.org/10.1016/j.chaos.2021.110668
Rezapour, S., Mohammadi, H., Jajarmi, A.: AÂ new mathematical model for Zika virus transmission. Adv. Differ. Equ. 2020, 589 (2020). https://doi.org/10.1186/s13662-020-03044-7
Wang, J., Feckan, M., Zhou, Y.: Controllability of Sobolev type fractional evolution systems. Dyn. Partial Differ. Equ. 11(1), 71–87 (2014). https://doi.org/10.4310/DPDE.2014.v11.n1.a4
Abdelouaheb, A.: Asymptotic stability in Caputo–Hadamard fractional dynamic equations. Results Nonlinear Anal. 4(2), 77–86 (2021)
Lazreg, J.E., Abbas, S., Benchohra, M., Karapinar, E.: Impulsive Caputo–Fabrizio fractional differential equations in b-metric spaces. Open Math. 19(1), 363–372 (2021). https://doi.org/10.1515/math-2021-0040
Dineshkumar, C., Udhayakumar, R., Vijayakumar, V., Nisar, K.S., Shukla, A.: A note on the approximate controllability of Sobolev type fractional stochastic integro-differential delay inclusions with order \(1< r < 2\). Math. Comput. Simul. 190, 1003–1026 (2021). https://doi.org/10.1016/j.matcom.2021.06.026
Ji, S., Li, G., Wang, M.: Controllability of impulsive differential systems with nonlocal conditions. Appl. Math. Comput. 217(16), 6981–6989 (2011). https://doi.org/10.1016/j.amc.2011.01.107
Nisar, K.S., Vijayakumar, V.: Results concerning to approximate controllability of non-densely defined Sobolev-type Hilfer fractional neutral delay differential system. Math. Methods Appl. Sci. (2021). https://doi.org/10.1002/mma.7647
Wang, J., Fan, Z., Zhou, Y.: Nonlocal controllability of semilinear dynamic systems with fractional derivative in Banach spaces. J. Optim. Theory Appl. 154, 292–302 (2012). https://doi.org/10.1007/s10957-012-9999-3
Benchora, M., Alssani, K., Nieto, J.: Controllability for impulsive fractional evolution inclusions with state-dependent delay. Adv. Theory Nonlinear Anal. Appl. 3(1), 18–34 (2019). https://doi.org/10.31197/atnaa.494662
Yan, B.: Boundary value problems on the half-line with impulses and infinite delay. J. Math. Anal. Appl. 259(1), 94–114 (2001). https://doi.org/10.1006/jmaa.2000.7392
Zhou, Y., Jiao, F.: Existence of mild solutions for fractional neutral evolution equations. Comput. Math. Appl. 59(3), 1063–1077 (2010). https://doi.org/10.1016/j.camwa.2009.06.026
Banas, J., Goebel, K.: Measure of Noncompactness in Banach Spaces. Dekker, New York (1980)
O’Regan, D., Precup, R.: Existence criteria for integral equations in Banach spaces. J. Inequal. Appl. 6(1), 77–97 (2001)
Monch, H.: Boundary value problems for nonlinear ordinary differential equations of second order in Banach spaces. Nonlinear Anal., Theory Methods Appl. 4(5), 985–999 (1980). https://doi.org/10.1016/0362-546X(80)90010-3
Byszewski, L.: Theorems about the existence and uniqueness of solutions of a semilinear evolution nonlocal Cauchy problem. J. Math. Anal. Appl. 162(2), 494–505 (1991). https://doi.org/10.1016/0022-247X(91)90164-U
Byszewski, L., Akca, H.: On a mild solution of a semilinear functional-differential evolution nonlocal problem. J. Appl. Math. Stoch. Anal. 10(3), 265–271 (1997). https://doi.org/10.1155/S1048953397000336
Acknowledgements
The fourth and fifth authors would like to thank Azarbaijan Shahid Madani University. The authors would like to thank dear reviewers for their constructive comments which improved final version of this work.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The authors declare that the study was realized in collaboration with equal responsibility. All authors read and approved the final manuscript.
Corresponding authors
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Consent for publication
Not applicable.
Competing interests
The authors declare that they have no competing interests.
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
Kavitha, K., Nisar, K.S., Shukla, A. et al. A discussion concerning the existence results for the Sobolev-type Hilfer fractional delay integro-differential systems. Adv Differ Equ 2021, 467 (2021). https://doi.org/10.1186/s13662-021-03624-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03624-1