Abstract
In this article, we establish a new class of mixed integral fractional delay dynamic systems with impulsive effects on time scales. We investigate the qualitative properties of the considered systems. In fact, the article contains three segments, and the first segment is devoted to investigating the existence and uniqueness results. In the second segment, we study the stability analysis, while the third segment is devoted to investigating the controllability criterion. We use the Leray–Schauder and Banach fixed point theorems to prove our results. Moreover, the obtained results are examined with the help of an example.
Similar content being viewed by others
1 Introduction
The notion of fractional differential equations (FDEs) has been a field of intense research for the last few decades. In 1695, the notion of FDEs was initiated with a coincidence between Leibniz and L’Hospital. Nowadays, FDEs play an important role in establishing mathematical modeling of many problems occurring in control theory, bioengineering, mathematical networks, aerodynamics, blood flows, engineering, physics, signal processing, etc. [1, 2].
We can analyze from different experiments that FDEs have innumerable prominent status than integer-order derivatives. Consequently, fractional calculus got incredible interest and received more attention from many specialists and researchers. It also set up a better sketch over hereditary properties of processes and various materials, consequently many monographs and research papers have been reported in this field [3–22].
Recently, the theory of stability analysis, like Lyapunov, exponential, Mittag-Leffler function, and finite time stability for various kinds of functional equations, has been investigated. Ulam and Hyers introduced most important and interesting kind of stability called Hyers–Ulam stability [23] in 1940. Ulam during his talk at Wisconsin University asked a question about the stability of homomorphisms between groups. In 1941, Hyers [24] replied to Ulam’s problem positively under the hypothesis that groups are considered as Banach spaces \((\mathbb{BS})\), and such a stability was called Ulam–Hyers stability. For more information, see [25–30]. Impulsive differential equations are best tools to model a physical situation that contains abrupt changes at certain instants. These equations describe medicine, biotechnology process, population dynamics, biological systems, chemical energy, mathematical economy, pharmacokinetics, etc. [31–43].
In the past few decades, because of these applications in various fields of interest, impulsive differential equations got considerable attention. In order to unify the difference and differential calculus, Hilger [44] provided the idea of time scales at the end of the twentieth century, which is now a well-known subject. For more details, see [45–51]. Lupulescu and Zada [49] provided the basics and fundamental notions of linear impulsive systems on time scales in 2010.
In 1960, Kalman presented the notion of controllability, which is the principal notion in mathematical control theory. In general, controllability provides steering the state of a control dynamical equation to the desired terminal state from an arbitrary initial state by utilizing a suitable control function. Numerous researchers examined the controllability results of dynamical systems [52, 53]. Moreover, controllability results on time scales is a new area, and few results have been achieved [54, 55]. Especially, there are a few articles that examined the existence, controllability, and Ulam type stability regarding a mixed structure of the impulsive fractional dynamical system on time scales.
Inspired by the research conducted in [56], we study the following mixed integral fractional dynamic systems on the time scale \(\mathbb{T}\):
and
Also, we discuss the controllability of the following systems:
and
where \({{}^{c,\mathbb{T}}}{\mathrm{D}^{\sigma }}\) represents the classical Caputo derivative [1] of fractional order σ on time scales \(\mathbb{T}\). The regressive square matrix \(A(\varsigma )\) is piecewise continuous, and \(\mathcal{H}:\mathbb{T}\rightarrow \mathbb{T}\) is a bounded linear operator. By assuming \(\mathbb{R}\) as the real number, \(\zeta \in \mathcal{L}^{2}(I,\mathbb{R})\) is a control map, \(\mathbb{T}^{0}:=[\varsigma _{0},\varsigma _{f}]_{\mathbb{T}}\), the pre-fixed numbers are \(\varsigma _{0}=s_{0}<\varsigma _{1}< s_{1}< \varsigma _{2}< \cdots < \varsigma _{m}< s_{m}< \varsigma _{m+1}=\varsigma _{f}\), and \(\mathcal{F}:{\mathbb{T}}^{0}\times \mathbb{R}^{n} \rightarrow \mathbb{R}^{n}\), \(\mathcal{F}_{1}, \mathcal{F}_{2}:{\mathbb{T}}^{0}\times {\mathbb{T}}^{0} \times \mathbb{R}^{n} \rightarrow \mathbb{R}^{n}\), \({G}:{\mathbb{T}}^{0}\times \mathbb{R}^{n}\times \mathbb{R}^{n} \times \mathbb{R}^{n}\rightarrow \mathbb{R}^{n}\), \(\hbar _{i}:(\varsigma _{i}, s_{i}]\cap \mathbb{T}\times \mathbb{R}^{n} \rightarrow \mathbb{R}^{n}\), \(i = 1,\dots , m\), \(\mathbb{F}:(s_{i}, \varsigma _{i+1}]\cap \mathbb{T}\times \mathbb{R}^{n} \rightarrow \mathbb{R}^{n}\), \(i = 0,\dots , m\), \(\mathcal{G}:(s_{i}, \varsigma _{i+1}]\cap \mathbb{T}\times \mathbb{R}^{n}\times \mathbb{R}^{n}\times \mathbb{R}^{n}\rightarrow \mathbb{R}^{n}\), \(i = 1,\dots , m\), \(\Xi _{k}:\mathbb{R}^{n}\rightarrow \mathbb{R}^{n}\), \(\Phi _{k}:{\mathbb{T}}^{0}\times \mathbb{R}^{n}\rightarrow \mathbb{R}^{n}\) are continuous mappings. In addition, we define the right limit and the left limit of \(\omega (\varsigma )\) at \(\varsigma _{k}\) as \(\omega (\varsigma ^{+}_{k})=\lim_{\tau \rightarrow 0^{+}}\omega ( \varsigma _{k}+\tau )\) and \(\omega (\varsigma ^{-}_{k})=\lim_{\tau \rightarrow 0^{-}}\omega ( \varsigma _{k}-\tau )\), respectively.
2 Auxiliary definitions and lemmas
Here, we provide definitions, basic notions, and preliminaries for this manuscript.
We define \(\mathrm{C}(\mathrm{I}, \mathbb{R})\) as a \(\mathbb{BS}\) of all continuous mappings endowed with the norm \(\|\omega \|_{\mathrm{C}}=\sup_{\varsigma \in \mathbb{T}}\|\omega ( \varsigma )\|\). \(\mathrm{PS}=\mathrm{C}(\mathrm{I}, \mathbb{R})\times \mathrm{C}( \mathrm{I}, \mathbb{R})\times \mathrm{C}(\mathrm{I}, \mathbb{R})\) is the product space which is a \(\mathbb{BS}\) furnished with the norm \(\|(\omega , \zeta ,\xi )\|_{\mathrm{C}}=\|\omega \|_{\mathcal{C}}+\| \zeta \|_{\mathcal{C}}+\|\xi \|_{\mathcal{C}}\). Also, we define a \(\mathbb{BS}\) \(\mathrm{C}^{1}(\mathrm{I}, \mathbb{R})=\{\omega \in \mathrm{C}( \mathrm{I}, \mathbb{R}): \omega ^{\Delta }\in \mathrm{C}^{1}( \mathrm{I}, \mathbb{R})\}\) with the norm \(\|\omega \|_{\mathrm{C}^{1}}=\max \{\|\omega \|_{\mathcal{C}},\| \omega ^{\Delta }\|_{\mathcal{C}^{1}} \}\). Moreover, \(\mathrm{PS}^{1}=\mathrm{C}^{1}(\mathrm{I}, \mathbb{R})\times \mathrm{C}^{1}(\mathrm{I}, \mathbb{R})\times \mathrm{C}^{1}( \mathrm{I}, \mathbb{R})\) is the product space via \(\|(\omega , \zeta ,\xi )\|_{\mathrm{C}^{1}}=\|\omega \|_{\mathcal{C}^{1}}+ \|\zeta \|_{\mathcal{C}^{1}}+\|\xi \|_{\mathcal{C}^{1}}\).
A nonempty closed subset of \(\mathbb{R}\) is known as a time scale (\(\mathbb{T}\)). We define a time scale interval as \([c,d]_{\mathbb{T}}=\{\varsigma \in \mathbb{T}: c\leq \varsigma \leq d \}\). Similarly, we can define \((c,d)_{\mathbb{T}}\), \([c,d)_{\mathbb{T}}\).
The forward and backward jump operators \(\sigma :\mathbb{T}\rightarrow \mathbb{T}\), \(\rho :\mathbb{T}\rightarrow \mathbb{T}\) are introduced as
respectively. The operator \(\eta :\mathbb{T}\rightarrow [0,\infty )\) formulated by \(\eta (\varsigma )=\sigma (\varsigma )-\varsigma \) is applied to obtain the existing distance between two consecutive points. Along this, the derived version \({\mathbb{T}}^{k}\) of \(\mathbb{T}\) is
The regressive (respectively positively regressive) function \(\mathfrak{H}:\mathbb{T}\rightarrow \mathbb{R}\) is defined as \(1+\eta (\varsigma )\mathfrak{H}(\varsigma )\neq 0\) (respectively \(1+\eta (\varsigma )\mathfrak{H}(\varsigma )>0 \)) for all \(\varsigma \in \mathbb{T}^{k}\).
Definition 2.1
([57])
At a point \(\varsigma \in \mathbb{T}^{k}\), the delta derivative \(g^{\Delta }(\varsigma )\) of a mapping \(g:\mathbb{T}\rightarrow \mathbb{R}\) is a number (provided it exists) if, for \(\epsilon >0\), a neighborhood U of ς exists provided that
Theorem 2.2
([57])
Let \(c,d\in \mathbb{T}\) and \(f\in \mathcal{C}_{\mathrm{rd}}(\mathbb{T},\mathbb{R})\), then
-
1.
\(\mathbb{T}=\mathbb{R}\) implies
$$ \int _{c}^{d}f(\varsigma )\Delta \varsigma = \int _{c}^{d}f(\varsigma )\,d \varsigma . $$ -
2.
If \([c,d)\) consists of only isolated points, then
$$ \int _{c}^{d}f(\varsigma )\Delta \varsigma = \textstyle\begin{cases} \sum_{\varsigma \in [c,d)}\mu (\varsigma )f( \varsigma ), &\textit{if } c< d, \\ 0, &\textit{if } c=d, \\ -\sum_{\varsigma \in [c,d)}\mu (\varsigma )f(\varsigma ), &\textit{if } c>d. \end{cases} $$ -
3.
\(\mathbb{T}=h\mathbb{Z}=\{hk: k\in \mathbb{Z}\}\), \(h>0\), implies
$$ \int _{c}^{d}f(\varsigma )\Delta \varsigma = \textstyle\begin{cases} \sum_{k=\frac{a}{h}}^{\frac{b}{h}-1}hf(kh), &\textit{if } c< d, \\ 0, &\textit{if } c=d, \\ -\sum_{k=\frac{a}{h}}^{\frac{b}{h}-1}hf(kh), &\textit{if } c>d. \end{cases} $$
Theorem 2.3
([58])
If \(f:\mathbb{R}\rightarrow \mathbb{R}\) is nondecreasing continuous and \(c,d\in \mathbb{T}\), then
Definition 2.4
([58])
Let \(\phi :[c,d]_{\mathbb{T}}\rightarrow \mathbb{R}\) be an integrable mapping, then delta fractional integral is
Definition 2.5
([58])
The fractional Caputo derivative of a mapping \(f:\mathbb{T}\rightarrow \mathbb{R}\) on the time scale is
where \(n=[\sigma ]+1\) and the delta nth derivative of f is denoted by \(f^{\Delta ^{n}}\).
-
When \(\mathbb{T}=\bigcup_{i=0}^{\infty }[2i, 2i+1]\). Then we get
$$\begin{aligned} {{}^{c,\mathbb{T}}} {\mathrm{D}^{\sigma }_{a^{+}}}f(\varsigma )&= \int _{a}^{ \varsigma }\frac{(\varsigma -s)^{n-\sigma -1}}{\Gamma (n-\sigma )}f^{ \Delta ^{n}}( \varsigma )\Delta \varsigma \\ &=\frac{1}{\Gamma (n-\sigma )} \Biggl[\sum_{k=0}^{i-1} \int _{2k}^{2k+1}( \varsigma -s)^{n-\sigma -1}f^{\Delta ^{n}} \Delta s+ \int _{2i}^{2i+1}( \varsigma -s)^{n-\sigma -1}f^{\Delta ^{n}} \Delta s \Biggr] \end{aligned}$$for \(\varsigma \in [2i,2i+1]\), \(i=0,1,\dots \).
-
When \(\mathbb{T}=h\mathbb{Z}\), \(h>0\), we have
$$\begin{aligned} {{}^{c,\mathbb{T}}} {\mathrm{D}^{\sigma }_{a^{+}}}f(\varsigma )&= \int _{a}^{ \varsigma }\frac{(\varsigma -s)^{n-\sigma -1}}{\Gamma (n-\sigma )}f^{ \Delta ^{n}}( \varsigma )\Delta \varsigma \\ &=\frac{1}{\Gamma (n-\sigma )}\sum_{k=0}^{\frac{\varsigma }{h}-1}h( \varsigma -ih)^{n-\sigma -1}f^{\Delta ^{n}}(h),\quad \varsigma \in \mathbb{T}. \end{aligned}$$ -
When \(\mathbb{T}=\{p^{n}: p>1, n\in \mathbb{Z}\}\cup \mathbb{Z}\), then
$$\begin{aligned} {{}^{c,\mathbb{T}}} {\mathrm{D}^{\sigma }_{a^{+}}}f(\varsigma )&= \int _{a}^{ \varsigma }\frac{(\varsigma -s)^{n-\sigma -1}}{\Gamma (n-\sigma )}f^{ \Delta ^{n}}( \varsigma )\Delta \varsigma \\ &=\frac{1}{\Gamma (n-\sigma )}\sum_{\varsigma \in \mathbb{T}}\mu (s) ( \varsigma -s)^{n-\sigma -1}f^{\Delta ^{n}}(s). \end{aligned}$$
Regard the Mittag-Leffler function as
For \(\beta =1\),
has the interesting property \({{}^{c}}{\mathrm{D}_{0+}^{\sigma }}E_{\sigma }(\lambda \varsigma ^{ \sigma })=\lambda E_{\sigma }(\lambda \varsigma ^{\sigma })\).
Remark 2.1
([59])
The solution of system (1) is of the form
where \(E_{\sigma }(A\varsigma ^{\sigma })\) is the matrix representation of the aforesaid Mittag-Leffler function given by
To achieve our results, we consider the following:
- \(\mathbf{(A)}\)::
-
The mappings \({G}, \mathcal{G}:{\mathbb{T}}^{0}\times \mathbb{R}^{n}\times \mathbb{R}^{n}\times \mathbb{R}^{n}\rightarrow \mathbb{R}^{n}\) are continuous, and there exist \({L}_{\hbar _{i}}\), \(\mathcal{L}_{\hbar _{i}}\), \(i=1,2,3\), as the positive constants such that (\(i=1,2,3\))
$$\begin{aligned}& \bigl\vert G(\varsigma , q_{1}, q_{2},q_{3})-G( \varsigma , p_{1}, p_{2},p_{3}) \bigr\vert \leq \sum_{i=1}^{3}{L}_{\hbar _{i}} \vert q_{i}-p_{i} \vert \quad \text{for all } \varsigma \in \mathrm{I}, q_{i},p_{i}\in \mathbb{R}^{n}, \\& \bigl\vert \mathcal{G}(\varsigma , q_{1}, q_{2},q_{3})- \mathcal{G}(\varsigma , p_{1}, p_{2},p_{3}) \bigr\vert \leq \sum_{i=1}^{3}{ \mathcal{L}}_{\mathcal{G}_{i}} \vert q_{i}-p_{i} \vert \quad \text{for all } \varsigma \in \mathrm{I}, q_{i},p_{i}\in \mathbb{R}^{n}. \end{aligned}$$ - \(\mathbf{(B)}\)::
-
The mappings \({G}, \mathcal{G}:{\mathbb{T}}^{0}\times \mathbb{R}^{n}\times \mathbb{R}^{n}\times \mathbb{R}^{n}\rightarrow \mathbb{R}^{n}\) are continuous, and there exist \({l}_{i}\), \({m}_{i}\), \(i=1,2,3\), positive constants such that
$$\begin{aligned}& \bigl\vert G(\varsigma , u, v, w) \bigr\vert \leq l_{0}+{l}_{1} \vert u \vert +{l}_{2} \vert v \vert +{l}_{3} \vert w \vert \quad\text{for all } \varsigma \in \mathrm{I}, u,v,w \in \mathbb{R}^{n}, \\& \bigl\vert \mathcal{G}(\varsigma , u, v, w) \bigr\vert \leq m_{0}+{m}_{1} \vert u \vert +{m}_{2} \vert v \vert +{n}_{3} \vert w \vert \quad\text{for all } \varsigma \in \mathrm{I}, u,v,w\in \mathbb{R}^{n}. \end{aligned}$$ - \(\mathbf{(W)}\)::
-
The linear operator \(({{}^{\sigma }}{\mathcal{W}^{T}_{\varsigma _{0}}}):L^{2}(I, \mathbb{R}) \rightarrow \mathbb{R}\), defined by
$$ {{}^{\sigma }} {\mathcal{W}^{T}_{\varsigma _{0}}} \zeta = \int _{\varsigma _{0}}^{ \varsigma _{f}}(T-s)^{\sigma -1}E_{\sigma ,\sigma } \bigl(A(\varsigma -s)^{ \sigma } \bigr)\mathcal{H}\zeta (s)\Delta s, $$(8)possesses a bounded invertible operator \(({{}^{\sigma }}{\mathcal{W}^{T}_{\varsigma _{0}}})^{-1}\), and these operators admit values in \(L^{2}(I, \mathbb{R})\backslash \ker ({{}^{\sigma }}{\mathcal{W}^{T}_{ \varsigma _{0}}})\). Also, there exists a positive constant provided that \(\|({{}^{\sigma }}{\mathcal{W}^{T}_{\varsigma _{0}}})^{-1}\|\leq M_{ \mathcal{W}}^{\sigma }\). Also, \(\mathcal{H}:\mathbb{T}\rightarrow \mathbb{T}\) is a continuous operator, and there exists a positive constant \(M_{\mathcal{H}}\) provided that \(\|\mathcal{H}\|\leq M_{\mathcal{H}}\).
Using Theorem 2.2, equation (8) can be calculated for different \(\mathbb{T}\).
-
When \(\mathbb{T}=h\mathbb{Z}\), \(h>0\):
$$ {{}^{\sigma }} {\mathcal{W}^{T}_{\varsigma _{0}}}\zeta = \int _{\varsigma _{0}}^{ \varsigma _{f}}(T-s)^{\sigma -1}E_{\sigma ,\sigma } \bigl(A(\varsigma -s)^{ \sigma } \bigr)\mathcal{H}\zeta (s)\Delta s=\sum _{k=0}^{ \frac{\varsigma }{h}-1}h(T-sh)^{\sigma -1} \mathcal{H}\zeta (sh). $$ -
When \(\mathbb{T}=\bigcup_{i=0}^{\infty }[2i,2i+1]\). Let \(\varsigma \in [4,5]\), then we have
$$\begin{aligned} {{}^{\sigma }} {\mathcal{W}^{T}_{\varsigma _{0}}}\zeta &= \int _{ \varsigma _{0}}^{\varsigma _{f}}(T-s)^{\sigma -1}E_{\sigma ,\sigma } \bigl(A(\varsigma -s)^{\sigma } \bigr)\mathcal{H}\zeta (s)\Delta s \\ &= \int _{0}^{1}(T-s)^{\sigma -1}E_{\sigma ,\sigma } \bigl(A(\varsigma -s)^{ \sigma } \bigr)\mathcal{H}\zeta (s)\Delta s \\ &\quad {}+ \int _{2}^{3}(T-s)^{\sigma -1}E_{\sigma ,\sigma } \bigl(A(\varsigma -s)^{ \sigma } \bigr)\mathcal{H}\zeta (s)\Delta s \\ &\quad {}+ \int _{4}^{T}(T-s)^{\sigma -1}E_{\sigma ,\sigma } \bigl(A(\varsigma -s)^{ \sigma } \bigr)\mathcal{H}\zeta (s)\Delta s. \end{aligned}$$ -
When \(\mathbb{T}=\{q^{m}:q>1,m\in \mathbb{Z}\}\cup \mathbb{Z}\), then
$$ {{}^{\sigma }} {\mathcal{W}^{T}_{\varsigma _{0}}}\zeta = \int _{\varsigma _{0}}^{ \varsigma _{f}}(T-s)^{\sigma -1}E_{\sigma ,\sigma } \bigl(A(\varsigma -s)^{ \sigma } \bigr)\mathcal{H}\zeta (s)\Delta s=\sum _{\varsigma \in [0,T]} \mu (T-\varsigma )^{\sigma -1}\mathcal{H} \zeta (\varsigma ). $$
Throughout the manuscript, we set
3 Existence of solution
Existence criteria are investigated here.
Theorem 3.1
The mixed impulsive system (1) admits a unique solution if assertion \(\mathbf{(A)}\) holds and
Proof
Let \(\Omega \subseteq \mathrm{PS}\) and \(\Omega =\{(\mathbb{X},\mathbb{Y},\mathbb{Z})\in \mathrm{PS}:\|( \mathbb{X},\mathbb{Y},\mathbb{Z})\|_{C}\leq \delta _{2}\}\) also \(\delta _{2}=\max \{\delta ,\delta _{1}\}\) and \(\delta ,\delta _{1}\in (0,1)\) provided that
and the remaining constants are introduced in the sequel. Now, we define \(\Lambda _{\sigma }:\Omega \rightarrow \Omega \) as
Assume that
and
where \(M_{\mathcal{F}}=\sup_{\varsigma \in \mathbb{T}}\|\mathcal{F}(s,0)\|\), \(M_{G}=\sup_{\varsigma \in \mathbb{T}}\|G(\varsigma ,0,0,0)\|\), and \(\widehat{M}_{G}=M_{\mathcal{F}}+M_{G}\). In addition, \(\mathbb{X}=\omega (s)\), \(\mathbb{Y}=\int _{s_{0}}^{s_{f}} \mathcal{F}_{1}(s,u, \omega (u))\Delta u\), and \(\mathbb{Z}=\int _{s_{0}}^{s_{f}} \mathcal{F}_{2}(s,u, \omega (u))\Delta u\).
Now, we prove that \(\Lambda _{\sigma }:\Omega \rightarrow \Omega \) is a self-mapping.
For \(\varsigma \in (\varsigma _{i},\varsigma _{i+1}]\), \(i = 1,\dots , m\), one has
So
where \(\delta _{1}=\delta +\delta Q_{1}\). Hence
Therefore, from (11), \(\Lambda (\Omega ) \subseteq \Omega \). Also, for \(\varsigma \in (\varsigma _{i},\varsigma _{i+1}]\), \(i = 1,\dots , m\), with \(\omega _{0}=\widehat{\omega }_{0}\), one has
It implies
Hence
Therefore, from inequality (12) and (9), the operator \(\Lambda _{\sigma }\) is strictly contractive. Consequently, the mixed impulsive system (1) admits a unique solution via the Banach principle. □
Now, regarding the mixed impulsive system (2), we have the following result.
Theorem 3.2
The mixed impulsive system (2) involves a unique solution if assertion \(\mathbf{(A)}\) holds and
Proof
Let \(\Omega \subseteq \mathrm{PS}\) and \(\Omega =\{(\mathbb{X},\mathbb{Y},\mathbb{Z})\in \mathrm{PS}:\|( \mathbb{X},\mathbb{Y},\mathbb{Z})\|_{C}\leq \delta _{2}\}\), also \(\delta _{2}=\max \{\delta ,\delta _{1}\}\) and \(\delta ,\delta _{1}\in (0,1)\) provided that
Now, we define \(\Psi _{\sigma }:\Omega \rightarrow \Omega \) as
Also, note that
and
where \(M_{{F}}=\sup_{\varsigma \in \mathbb{T}}\|{F}(s,0)\|\), \(M_{ \mathcal{G}}=\sup_{\varsigma \in \mathbb{T}}\|\mathcal{G}(\varsigma ,0,0,0) \|\), and \(\widehat{M}_{\mathcal{G}}=M_{{F}}+M_{\mathcal{G}}\). In addition, \(\mathbb{X}=\omega (s)\), \(\mathbb{Y}=\int _{s_{0}}^{s_{f}} {F}_{1}(s,u,\omega (u)) \Delta u\), and \(\mathbb{Z}=\int _{s_{0}}^{s_{f}} {F}_{2}(s,u,\omega (u)) \Delta u\).
Now, we prove that \(\Psi _{\sigma }:\Omega \rightarrow \Omega \) is a self-mapping.
For \(\varsigma \in (s_{i}, \varsigma _{i+1}]\cap \mathbb{{T}}\), \(i = 1, \dots , m\), one has
Thus
where \(\delta _{1}=\delta +\delta Q^{*}_{1}\). Hence
Therefore, from (15), \(\Psi _{\sigma }(\Omega )\subseteq \Omega \). Also, for \(\varsigma \in (s_{i}, \varsigma _{i+1}]\cap \mathbb{{T}}\), \(i = 1, \dots , m\), with \(\omega _{0}=\widehat{\omega }_{0}\), we have
It implies
Hence
Therefore, from (16) and (13), the operator \(\Psi _{\sigma }\) is strictly contractive. Consequently, the second impulsive system (2) admits a unique solution via the Banach principle. □
Next, for both mixed impulsive systems (1) and (2), we investigate the existence of at least one solution via the weaker condition \((\mathbf{B})\) and the Leray–Schauder alternative fixed point method.
Theorem 3.3
The mixed impulsive system (1) has at least one solution provided assumption \((\mathbf{B})\) holds and \(\mathcal{K}>0\) exists so that
Proof
Firstly, we prove that \(\Lambda _{\sigma }\) defined by (10) is a completely continuous operator. We see that the continuity of the mappings Ξ, Φ, \(\mathcal{F}\), and G provides that \(\Lambda _{\sigma }\) is a continuous operator. Also, assume that \(\Omega _{1}{\subseteq }PS\) along with the fact that the operators Ξ, Φ, \(\mathcal{F}\), and G are bounded. Then there exist \(L_{1}\), \(L_{2}\), \(M_{1}\), and \(M_{2}\) (positive constants) such that \(\sum_{j=1}^{i}\Xi _{j}(\omega )\leq L_{1}\), \(\sum_{j=1}^{i}\Phi _{j}(\omega )\leq L_{2}\), \(\mathcal{F} (\varsigma , \omega (\varsigma ) )\leq M_{1}\), and \(G(\varsigma ,\mathbb{X},\mathbb{Y},\mathbb{Z})\leq M_{2}\), where \(p=\omega (s)\),
and
Note that we take \(\mathcal{L}=L_{4}+L_{5}+a_{1}\), \(\mathcal{M}=M_{1}+M_{2}\), \(\|(\varsigma -s)^{\sigma -1}\|\leq \mathcal{L}_{1}\), and \(\mathcal{L}+\mathcal{L}_{1}a_{2}\mathcal{M}({\varsigma _{f}}-{ \varsigma _{0}})=\mathfrak{G}\).
Then, for any \(\omega \in \Omega _{1}\) and \(\varsigma \in (\varsigma _{i},\varsigma _{i+1}]\), \(i = 1,\dots , m\), we have
It implies
Thus, from (18), we conclude that Λ is uniformly bounded.
Now, we prove that \(\Lambda _{\sigma }\) is completely continuous. For this, we discuss the following possibilities.
Case 1: Assume that all points on \(\mathbb{T}\) are isolated, i.e., time scales consist of discrete points. Using Theorem 2.2, \(\Lambda _{\sigma }\) becomes
Clearly, on a discrete finite set, (19) is a collection of summation operators. Further, the continuity of \(\Xi _{j}\), \(\Phi _{j}\), \(\mathcal{F}\), and G implies that \(\Lambda _{\sigma }\) is completely continuous.
Case 2: Assume that all the points of \(\mathbb{T}\) are dense, i.e., \(\mathbb{T}\) is continuous. Now, let \(\varsigma _{{f}_{1}}, \varsigma _{{f}_{2}}\in (\varsigma _{i}, \varsigma _{i+1}]\), \(i = 1,\dots , m\), such that \(\varsigma _{{f}_{1}}<\varsigma _{{f}_{2}}\), then
Clearly, we observe from the above that it approaches 0 as \(\varsigma _{f_{2}}\rightarrow \varsigma _{f_{1}}\). Hence, the operator \(\Lambda _{\sigma }\) is equicontinuous. Finally, using the Arzela–Ascoli theorem, we conclude that \(\Lambda _{\sigma }\) is completely continuous.
Case 3: Assume that \(\mathbb{T}\) involves isolated points along with dense ones, i.e., continuous and discrete. Now, utilizing Theorem 2.2 for the isolated points, we can write \(\Lambda _{\sigma }\) as the summation operator which is completely continuous (discussed in case 1). For the dense points, one can prove that \(\Lambda _{\sigma }\) is a completely continuous operator (discussed in case 2). Consequently, \(\Lambda _{\sigma }\) can be written as a sum of two operators for isolated and dense points. As a result, we know that the sum of two operators which are completely continuous is also completely continuous. Thus, the operator \(\Lambda _{\sigma }\) is a completely continuous operator. Hence, by summarizing the above three possibilities, we arrive at the conclusion that \(\Lambda _{\sigma }\) is a completely continuous operator.
Finally, let \(\beta \in [0,1]\), and there exists ω provided that \(\omega (\varsigma )=\beta (\Lambda _{\sigma }(\omega )(\varsigma ) )\). Then, for \(\varsigma \in (\varsigma _{i},\varsigma _{i+1}]\), \(i = 1,\dots , m\), one obtains
Hence
Now, from (17), we get \(\mathcal{K}>0\) such that \(\|\omega \|_{\infty }\neq \mathcal{K}\). Let us assume that
Then the operator \(\Lambda _{\sigma }:\Re \rightarrow \mathbb{T}\) is continuous as well as completely continuous. Thus, from the choice of ℜ, there is no \(\omega \in \chi (\Re )\) provided that \(\omega =\beta (\Lambda _{\sigma } ((\omega )(\varsigma ) ) )\), \(\beta \in [0,1]\).
Therefore in the light of fixed point criterion due to nonlinear alternative of Leray–Schauder, \(\Lambda _{\sigma }\) admits a fixed point which is the solution of the mixed impulsive system (1). □
We have a similar conclusion for the mixed impulsive system (2).
Theorem 3.4
The mixed impulsive system (2) admits at least one solution if assumption \((\mathbf{B})\) is satisfied and \(\mathcal{K}^{*}> 0\) exists such that
Proof
It is similar to the previous argument for \(\Psi _{\sigma }\) in Theorem 3.3. □
4 Stability analysis
Now, to start this section, we first consider the following inequalities:
and
for each \(\epsilon >0\).
Definition 4.1
The mixed impulsive system (1) is said to be UH stable on \({{\mathbb{T}}}\) if, for any \(\omega \in {P}{C}^{1}({{\mathbb{T}}},\mathbb{R}^{n})\) fulfilling (21), there exists \(\widehat{\omega }\in P{C}^{1}({{\mathbb{T}}},\mathbb{R}^{n})\) as a solution of (1) such that \(\|\widehat{\omega }(s)-\omega (s)\|\leq {C}\epsilon \) for \({C}>0\), \(s\in {{\mathbb{T}}}\).
Definition 4.2
The mixed impulsive system (2) is termed as UH stable if, for any \(\epsilon >0\) and \(\omega \in {P}{C}^{1}({D}, \mathbb{R}^{n})\) that fulfills (22), there exists, \(\widehat{\omega }\in {P}{C}^{1}({D}, \mathbb{R}^{n})\) as a solution of (2) provided \(\|\widehat{\omega }(\varsigma )-\omega (\varsigma )\|\leq {\varrho } \epsilon \) for all \(\varsigma \in D\). Here, \({\varrho }>0\), and its value depends upon ϵ.
Remark 4.1
The solution \(\omega \in P{C}^{1}({{\mathbb{T}}},\mathbb{R}^{n})\) satisfies (21) iff ∃ \({f}\in P{C}({{\mathbb{T}}},\mathbb{R}^{n})\) together with the sequence \({f_{k}}\) provided \(\|{f_{k}}\|\leq \epsilon \) so that
Lemma 4.3
Each function \(\omega \in P{C}^{1}({{\mathbb{T}}},\mathbb{R}^{n})\) that fulfills (21) also satisfies the following inequality:
for \(\varsigma \in (\varsigma _{k},\varsigma _{k+1}]\subset {{\mathbb{T}}}\), where \(\|E_{\sigma ,\sigma } (A(\varsigma -s)^{\sigma } )\|\leq a_{2}\) and \(\delta = (m+a_{3}a_{2}(\varsigma _{f}-\varsigma _{0}) )\).
Proof
If \(\omega \in P{C}^{1}({{\mathbb{T}}},\mathbb{R}^{n})\) satisfies (21), then via Remark 4.1
implies
So,
and the argument is finished. □
Remark 4.2
The map \(\omega \in {PC}^{1}({D}, \mathbb{R}^{n})\) fulfills inequality (22) iff there are \({f} \in {P}{C}^{1}({D}, \mathbb{R}^{n})\) as a map and bounded sequences \(\{{f_{i}}:i = 1,\dots , m\}\subset \mathbb{R}^{n}\) (depending upon ω) provided that \(\|{f}(\varsigma )\|\leq \epsilon \) for each \(\varsigma \in D\) and \(\|{f_{i}}\|\leq \epsilon \) \(\forall i = 1,\dots , m\) such that
Lemma 4.4
Each map \(\omega \in {PC}^{1}({D} ,\mathbb{R}^{n})\) that fulfills (22) also satisfies the inequalities given below:
and
in which \(\|E_{\sigma ,\sigma } (A(\varsigma -s)^{\sigma } )\|\leq a_{2}\).
Proof
If \(\omega \in {P}{C}^{1}({D}, \mathbb{R}^{n})\) satisfies (22), in this case, by virtue of Remark 4.2,
Clearly, equation (23) implies that
For \(\varsigma \in (s_{i}, \varsigma _{i+1}]\cap {\mathbb{T}}\), \(i = 1, \dots , m\), one has
Using a similar method, we get
and this ends the argument. □
Now, we provide a sufficient condition for the UH stability of mixed impulsive systems (1) and (2).
Theorem 4.5
The mixed impulsive system (1) is UH stable provided assumption (A) and inequality (9) are satisfied.
Proof
Let ω be the solution of the mixed impulsive system (1) and ω̃ be the solution of inequality (21). Therefore, from Theorem 3.1, we have
where \(E_{\sigma }(A\varsigma ^{\sigma })\) stands for the matrix representation of the Mittag-Leffler function. Using a similar approach as that in Theorem 3.1, we get
which implies that
Hence
where \(\mathcal{H}_{(a_{3},a_{2},L_{\mathcal{F}},L_{{G}_{1}},L_{{G}_{2}}L_{{ \mathcal{F}_{1}}},L_{{G}_{3}},L_{{\mathcal{F}}_{2}},L_{\Xi },L_{\Phi })}= \frac{a_{3}a_{2}(\varsigma _{f}-\varsigma _{i})}{1-Q_{3}}\). Hence, the mixed impulsive system (1) is UH stable. Furthermore, if
then our impulsive system (1) becomes generalized UH stable. □
Theorem 4.6
The mixed impulsive system (2) is UH stable provided that assumption (A) and inequality (13) are satisfied.
Proof
Let ω be the solution of the mixed impulsive system (2) and ω̃ be the solution of inequality (22). Therefore, from Theorem 3.2, we have
where \(E_{\sigma }(A\varsigma ^{\sigma })\) stands for the matrix representation of the Mittag-Leffler function. Using the similar approach as in Theorem 3.2, we get
which implies
Hence
where \(\mathcal{H}_{(a_{3},a_{2},L_{{F}},L_{{\mathcal{G}}_{1}},L_{{ \mathcal{G}}_{2}}L_{{{F}_{1}}}, L_{{\mathcal{G}}_{3}},L_{{{F}}_{2}},L_{g})}= \frac{a_{3}a_{2}(\varsigma _{f}-\varsigma _{i})}{1-Q^{*}_{3}}\). Hence, the mixed impulsive system (2) is UH stable. Furthermore, if we take
then the mentioned system (2) is generalized UH stable. □
5 Controllability analysis
In the sequel, controllability analysis of given impulsive systems is conducted. At first, we have some definitions in this direction.
Definition 5.1
The function \(\omega \in \mathbb{T}\) is said to be the solution of (3) if ω satisfies \(\omega (0)=\omega _{0}\) and ω is the solution of the following integral equations:
where \(E_{\sigma }(A\varsigma ^{\sigma })\) stands for the matrix representation of the Mittag-Leffler function.
Definition 5.2
The mixed impulsive system (3) is controllable on \(\mathbb{T}\) if, for every \(\omega _{0},\omega _{T}\in \mathbb{T}\) where \(\varsigma _{i+1}=T\), there exists an rd-continuous function \(\zeta \in \mathcal{L}^{2}(I, \mathbb{R})\) such that the corresponding solution of (3) satisfies \(\omega (0)=\omega _{0}\) and \(\zeta (T)=\zeta _{T}\).
We set the following for simplicity:
Lemma 5.3
If assertions \((\mathbf{A})\) and \((\mathbf{W})\) hold and \(\omega _{T}\in \mathbb{T}\), where \(\varsigma _{i+1}=T\) is any arbitrary point, then ω is a solution of (3) on \(\mathbb{T}\) defined by (24) along with the control function
where \(E_{\sigma }(A\varsigma ^{\sigma })\) stands for the matrix representation of the Mittag-Leffler function, and \(\omega (T)=\omega _{T}\) holds in which \(\varsigma _{i+1}=T\). Also, the control function \(\zeta (\varsigma )\) has the estimate \(\|\zeta (\varsigma )\|\leq \aleph _{\zeta }\), where for \(\varsigma \in (\varsigma _{i},\varsigma _{i+1}]\), \(i = 1,\dots , m\), we define
Proof
Let ω be the solution of (3) on \(\varsigma \in (\varsigma _{i},\varsigma _{i+1}]\), \(i = 1,\dots , m\), defined by (24). Then, for \(\varsigma =T\), we have
Also, for \(\varsigma \in (\varsigma _{i},\varsigma _{i+1}]\), \(i = 1,\dots , m\), the estimation
implies that
and the argument is completed. □
Definition 5.4
The function \(\omega \in \mathbb{T}\) is said to be the solution of the mixed impulsive system (4) if ω satisfies \(\omega (0)=\omega _{0}\) and ω is the solution of the following integral equations:
where \(E_{\sigma }(A\varsigma ^{\sigma })\) stands for the matrix representation of the Mittag-Leffler function.
Definition 5.5
The mixed impulsive system (4) is named as a controllable system on \(\mathbb{T}\) if, for every \(\omega _{0},\omega _{T}\in \mathbb{T}\), where \(\varsigma _{i+1}=T\), there exists an rd-continuous function \(\zeta \in \mathcal{L}^{2}(I,\mathbb{R})\) such that the corresponding solution of (4) satisfies \(\omega (0)=\omega _{0}\) and \(\omega (T)=\omega _{T}\).
Lemma 5.6
If assertions \((\mathbf{A})\) and \((\mathbf{W})\) hold and \(\omega _{T}\in \mathbb{T}\), where \(\varsigma _{i+1}=T\) is any arbitrary point, then ω is the solution of (4) on \(\varsigma \in (s_{i}, \varsigma _{i+1}]\cap \mathbb{{T}}\), \(i = 1, \dots , m\), defined by (26) along with the control function
where \(E_{\sigma }(A\varsigma ^{\sigma })\) stands for the matrix representation of the Mittag-Leffler function and \(\omega (T)=\omega _{T} \) holds, where \(\varsigma _{i+1}=T\). Also, the control function \(\zeta (\varsigma )\) has the estimate \(\|\zeta (\varsigma )\|\leq \aleph ^{*}_{\zeta }\), where for \(\varsigma \in (s_{i}, \varsigma _{i+1}]\cap \mathbb{{T}}\), \(i = 1, \dots , m\), we define
Proof
The proof is similar to that of Lemma 5.3. □
Theorem 5.7
The mixed impulsive system (3) is controllable on \(\mathbb{T}\) such that hypotheses \(\mathbf{(A)}\) and \(\mathbf{(W)}\) are satisfied and the following inequality holds:
Proof
Let \(\Omega ^{\prime \prime }\subseteq \mathrm{PS}\), provided that \(\Omega ^{\prime \prime }=\{(\mathbb{X},\mathbb{Y},\mathbb{Z})\in \mathrm{PS}:\|( \mathbb{X},\mathbb{Y},\mathbb{Z})\|_{C}\leq \delta ^{\prime \prime }_{2}\}\), where \(\delta ^{\prime \prime }_{2}=\max \{\delta ^{\prime \prime },\delta ^{\prime \prime }_{1}\}\) such that \(\delta {''},\delta ^{\prime \prime }_{1}\in (0,1)\), and also \(\delta ^{\prime \prime }>N_{5}\). Now, we define \(\Lambda _{\sigma }^{\prime \prime }:\Omega ^{\prime \prime }\rightarrow \Omega ^{\prime \prime }\) as
Now, we prove \(\Lambda _{\sigma }^{\prime \prime }:\Omega ^{\prime \prime }\rightarrow \Omega ^{\prime \prime }\) is a self-mapping.
For \(\varsigma \in (\varsigma _{i},\varsigma _{i+1}]\), \(i = 1,\dots , m\), we get
Hence,
Therefore, from (30), \(\Lambda _{\sigma }^{\prime \prime } (\Omega ^{\prime \prime }) \subseteq \Omega ^{\prime \prime }\), also when \(\varsigma \in (\varsigma _{i},\varsigma _{i+1}]\), \(i = 1,\dots , m\), with \(\omega _{0}=\widehat{\omega }_{0}\), we have
Hence
Therefore, the operator \(\Lambda _{\sigma }^{\prime \prime }\) is strictly contractive. Therefore, by using the Banach fixed point theorem method, \(\Lambda _{\sigma }^{\prime \prime }\) has only one fixed point, i.e., the mixed impulsive system (3) has a unique solution. Also, using Lemma 5.3, we conclude that \(\omega (\varsigma )\) fulfills \(\omega (T)=\omega _{T}\). Consequently, we conclude that the mixed impulsive system (3) is controllable. □
One can indicate a similar theorem for the mixed impulsive system (4).
Theorem 5.8
The mixed impulsive system (4) is controllable on \(\mathbb{T}\) such that hypotheses \(\mathbf{(A)}\) and \(\mathbf{(W)}\) are satisfied and the following inequality holds:
Proof
Let \(\Omega ^{\prime \prime }\subseteq \mathrm{PS}\), provided that \(\Omega ^{\prime \prime }=\{(\mathbb{X},\mathbb{Y},\mathbb{Z})\in \mathrm{PS}:\|( \mathbb{X},\mathbb{Y},\mathbb{Z})\|_{C}\leq \delta ^{\prime \prime }_{2}\}\), where \(\delta ^{\prime \prime }_{2}=\max \{\delta ^{\prime \prime },\delta ^{\prime \prime }_{1}\}\) such that \(\delta {''},\delta ^{\prime \prime }_{1}\in (0,1)\), and also \(\delta ^{\prime \prime }>\{N_{6}\}\). Now, we define \(\Lambda _{\sigma }^{**}:\Omega ^{**}\rightarrow \Omega ^{**}\) as
where \(E_{\sigma }(A\varsigma ^{\sigma })\) stands for the matrix representation of the Mittag-Leffler function. Now, we prove \(\Lambda _{\sigma }^{**}:\Omega ^{**}\rightarrow \Omega ^{**}\) is a self-mapping.
For \(\varsigma \in (s_{i}, \varsigma _{i+1}]\cap \mathbb{{T}}\), \(i = 1, \dots , m\), we have
Hence,
Therefore, from (34), \(\Lambda _{\sigma }^{**}(\Omega ^{**})\subseteq \Omega ^{**}\). Also, for \(\varsigma \in (s_{i}, \varsigma _{i+1}]\cap \mathbb{{T}}\), \(i = 1, \dots , m\), with \(\omega _{0}=\widehat{\omega }_{0}\), we have
Hence
Therefore, the operator \(\Lambda _{\sigma }^{**}\) is strictly contractive. Thus, using the Banach fixed point theorem method, \(\Lambda _{\sigma }^{**}\) has a unique fixed point, which is the unique solution of the mixed impulsive system (4). Also, using Lemma 5.6, we conclude that \(\omega (\varsigma )\) fulfills \(\omega (T)=\omega _{T}\). Consequently, the mixed impulsive system (4) is controllable. □
6 Illustrative example
The last part of the manuscript is devoted to examining our results established in the previous steps.
Example 6.1
Consider the following mixed impulsive system:
and its relevant inequality
We set \({{\mathbb{T}}}^{k}={[0, 3]}_{\mathbb{T}}\backslash \{1,1.2\}\), \(\varsigma _{1}=1\), \(\varsigma _{2}=1.2\), \(\mathbb{X}(\varsigma )=\frac{2}{\varsigma -1}\), and \(\mathbb{Y}(\varsigma )=\frac{2}{\varsigma -1.2}\), \(E_{\sigma ,\beta }( \omega )=\sum_{k=0}^{\infty } \frac{\omega ^{k}}{\Gamma (k\sigma +\beta )}\text{for}\sigma \), \(\beta >0 \). In addition, we set
where \(J_{\omega }(\varsigma )=\int _{0}^{t}E_{\sigma ,\beta }( \omega ) \Delta \mathrm{s}\) and \(\mathbb{U}(\varsigma )\) is a control map for \(\varsigma \in {{\mathbb{T}}}^{k}\) and substitute \(\epsilon =1\). Let \(\widetilde{\omega }\in PC^{1}([0,2]_{{{\mathbb{T}}}}, \mathbb{R})\) fulfill (37), then there exists \(\hbar \in PC^{1}([0,2]_{{{\mathbb{T}}}^{k}}, \mathbb{R})\) with \(\hbar _{0}\in \mathbb{R}\) such that \(|\hbar (\varsigma )|\leq 1\) ∀ \(\varsigma \in {{\mathbb{T}}}^{k}\) and \(|\hbar _{0}|\leq 1\), and so (37) implies that
So the solution of (36) is
By our obtained results, the mixed impulsive system (36) has only one solution in \(PC^{1}([0,2]_{{{\mathbb{T}}}}, \mathbb{R})\) and is UH stable on \({{\mathbb{T}}}^{k}\).
7 Conclusion
In this article, we conducted our research on some mixed integral dynamic systems with impulsive effects on times scales in the fractional settings. We studied the existence and uniqueness successfully using a fixed point method for the considered systems. We established our results by using the Leray–Schauder and Banach fixed point theorems in this regard. In the next step, Ulam–Hyers stability and a generalized version of it were proved for the mentioned mixed impulsive systems. After that, we investigated the controllability property for the aforesaid systems. Lastly, an illustrative example was proposed to examine the results established in the previous sections. For future projects, the main aim of the authors is that these qualitative specifications can be checked and established on some real-world impulsive systems arising in mathematical models of brain.
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., Machado, J.A.T., Luo, A.C.J.: Fractional Dynamics and Control. Springer, New York (2012). https://doi.org/10.1007/978-1-4614-0457-6
Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1999)
Rizwan, R., Zada, A.: Nonlinear impulsive Langevin equation with mixed derivatives. Math. Methods Appl. Sci. 43(1), 427–442 (2020). https://doi.org/10.1002/mma.5902
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
Hamani, S., Benhamid, W., Henderson, J.: Boundary value problems for Caputo–Hadamard fractional differential equations. Adv. Theory Nonlinear Anal. Appl. 2(3), 138–145 (2018). https://doi.org/10.31197/atnaa.419517
Matar, M.M., Abbas, M.I., Alzabut, J., Kaabar, M.K.A., Etemad, S., Rezapour, S.: Investigation of the p-Laplacian nonperiodic nonlinear boundary value problem via generalized Caputo fractional derivatives. Adv. Differ. Equ. 2021, 68 (2021). https://doi.org/10.1186/s13662-021-03228-9
Thabet, S.T.M., Etemad, S., Rezapour, S.: On a coupled Caputo conformable system of pantograph problems. Turk. J. Math. 45, 496–519 (2021). https://doi.org/10.3906/mat-2010-70
Rezapour, S., Imran, A., Hussain, A., Martinez, F., Etemad, S., Kaabar, M.K.A.: Condensing functions and approximate endpoint criterion for the existence analysis of quantum integro-difference FBVPs. Symmetry 13(3), 469 (2021). https://doi.org/10.3390/sym13030469
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
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
Rezapour, S., Ahmad, B., Etemad, S.: On the new fractional configurations of integro-differential Langevin boundary value problems. Alex. Eng. J. 60, 4865–4873 (2021). https://doi.org/10.1016/j.aej.2021.03.070
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
Aydogan, M.S., 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
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
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
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
Afshari, H., Kalantari, S., Karapinar, E.: Solution of fractional differential equations via coupled fixed point. Electron. J. Differ. Equ. 2015, 286 (2015)
Abdeljawad, T., Agarwal, R.P., Karapinar, E., Kumari, P.S.: Solutions of the nonlinear integral equation and fractional differential equation using the technique of a fixed point with a numerical experiment in extended b-metric space. Symmetry 11(5), 686 (2019). https://doi.org/10.3390/sym11050686
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
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
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
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
Ulam, S.M.: A Collection of Mathematical Problems. Interscience, New York (1968)
Hyers, D.H.: On the stability of the linear functional equation. Proc. Natl. Acad. Sci. USA 27(4), 222–224 (1941). https://doi.org/10.1073/pnas.27.4.222
Rizwan, R.: Existence theory and stability analysis of fractional Langevin equation. Int. J. Nonlinear Sci. Numer. Simul. 20(7–8), 833–848 (2019). https://doi.org/10.1515/ijnsns-2019-0053
Zada, A., Ali, W., Park, C.: Ulam’s type stability of higher order nonlinear delay differential equations via integral inequality of Gronwall–Bellman–Bihari’s type. Appl. Math. Comput. 350, 60–65 (2019). https://doi.org/10.1016/j.amc.2019.01.014
Wang, J., Shah, K., Ali, A.: Existence and Hyers–Ulam stability of fractional nonlinear impulsive switched coupled evolution equations. Math. Methods Appl. Sci. 41(6), 2392–2402 (2018). https://doi.org/10.1002/mma.4748
Wang, X., Arif, M., Zada, A.: β-Hyers–Ulam–Rassias stability of semilinear nonautonomous impulsive system. Symmetry 11(2), 231 (2019). https://doi.org/10.3390/sym11020231
Ali, Z., Kumam, P., Shah, K., Zada, A.: Investigation of Ulam stability results of a coupled system of nonlinear implicit fractional differential equations. Mathematics 7(4), 341 (2019). https://doi.org/10.3390/math7040341
Zada, A., Shaleena, S., Li, T.: Stability analysis of higher order nonlinear differential equations in β-normed spaces. Math. Methods Appl. Sci. 42(4), 1151–1166 (2019). https://doi.org/10.1002/mma.5419
Bainov, D.D., Dishliev, A.B.: Population dynamics control in regard to minimizing the time necessary for the regeneration of a biomass taken away from the population. ESAIM: Math. Model. Numer. Anal. 24(6), 681–691 (1990)
Bainov, D.D., Simenov, P.S.: Systems with Impulse Effect. Stability, Theory and Applications. Ellis Horwood, Chichester (1989)
Nenov, S.I.: Impulsive controllability and optimization problems in population dynamics. Nonlinear Anal., Theory Methods Appl. 36(7), 881–890 (1999). https://doi.org/10.1016/S0362-546X(99)00627-6
Afshari, H., Shojaat, H., Moradi, M.S.: Existence of the positive solutions for a tripled system of fractional differential equations via integral boundary conditions. Results Nonlinear Anal. 4, 186–199 (2021). https://doi.org/10.53006/rna.938851
Afshari, H., Kalantari, S., Karapinar, E.: Solution of fractional differential equations via coupled fixed point. Electron. J. Differ. Equ. 2015, 286 (2015)
Shojaat, H., Afshari, H., Asgari, M.S.: A new class of mixed monotone operators with concavity and applications to fractional differential equation. TWMS J. Appl. Eng. Math. 11, 122–133 (2021)
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. Int. J. 20(2), 313–333 (2021)
Alsulami, H.H., Gulyaz, S., Karapinar, E., Erhan, I.M.: An Ulam stability result on quasi-b-metric-like spaces. Open Math. 14(1), 1087–1103 (2016). https://doi.org/10.1515/math-2016-0097
Hassan, A.M., Karapinar, E., Alsulami, H.H.: Ulam–Hyers stability for MKC mappings via fixed point theory. J. Funct. Spaces 2016, 9623597 (2016). https://doi.org/10.1155/2016/9623597
Bota, M.F., Karapinar, E., Mlesnite, O.: Ulam-Hyers stability results for fixed point problems via α-ψ-contractive mapping in \((b)\)-metric space. Abstr. Appl. Anal. 2013, 825293 (2013). https://doi.org/10.1155/2013/825293
Karapinar, E., Fulga, A.: An admissible hybrid contraction with an Ulam type stability. Demonstr. Math. 52(1), 428–436 (2019). https://doi.org/10.1515/dema-2019-0037
Brzdek, J., Karapinar, E., Petrusel, A.: A fixed point theorem and the Ulam stability in generalized \(d_{q}\)-metric spaces. J. Math. Anal. Appl. 467(1), 501–520 (2018). https://doi.org/10.1016/j.jmaa.2018.07.022
Hilger, S.: Analysis on measure chains: a unified approach to continuous and discrete calculus. Results Math. 18, 18–56 (1990). https://doi.org/10.1007/BF03323153
Andras, S., Meszaros, A.R.: Ulam–Hyers stability of dynamic equations on time scales via Picard operators. Appl. Math. Comput. 219(9), 4853–4864 (2013). https://doi.org/10.1016/j.amc.2012.10.115
Dachunha, J.J.: Stability for time varying linear dynamic systems on time scales. J. Comput. Appl. Math. 176(2), 381–410 (2005). https://doi.org/10.1016/j.cam.2004.07.026
Shah, S.O., Zada, A., Hamza, A.E.: Stability analysis of the first order non-linear impulsive time varying delay dynamic system on time scales. Qual. Theory Dyn. Syst. 18, 825–840 (2019). https://doi.org/10.1007/s12346-019-00315-x
Shah, S.O., Zada, A.: Existence, uniqueness and stability of solution to mixed integral dynamic systems with instantaneous and noninstantaneous impulses on time scales. Appl. Math. Comput. 359, 202–213 (2019). https://doi.org/10.1016/j.amc.2019.04.044
Lupulescu, V., Zada, A.: Linear impulsive dynamic systems on time scales. Electron. J. Qual. Theory Differ. Equ. 2010, 11 (2010). https://doi.org/10.14232/ejqtde.2010.1.11
Younus, A., O’Regan, D., Yasmin, N., Mirza, S.: Stability criteria for nonlinear Volterra integro-dynamic systems. Appl. Math. Inf. Sci. 11(5), 1509–1517 (2017). https://doi.org/10.18576/amis/110530
Zada, A., Shah, S.O., Li, Y.: Hyers–Ulam stability of nonlinear impulsive Volterra integro-delay dynamic system on time scales. J. Nonlinear Sci. Appl. 10(11), 5701–5711 (2017). https://doi.org/10.22436/jnsa.010.11.08
Kumar, A., Muslim, M., Sakthivel, R.: Controllability of second-order nonlinear differential equations with non-instantaneous impulses. J. Dyn. Control Syst. 24, 325–342 (2018). https://doi.org/10.1007/s10883-017-9376-5
Muslim, M., Kumar, A., Sakthivel, R.: Exact and trajectory controllability of second-order evolution systems with impulses and deviated arguments. Math. Methods Appl. Sci. 41(11), 4259–4272 (2018). https://doi.org/10.1002/mma.4888
Bohner, M., Wintz, N.: Controllability and observability of time-invariant linear dynamic systems. Math. Bohem. 137(2), 149–163 (2012). https://doi.org/10.21136/MB.2012.142861
Davis, J.M., Gravangne, I.A., Jackson, B.J., Marks II, R.J.: Controllability, observability, realizability, and stability of dynamic linear systems. Electron. J. Differ. Equ. 2009, 37 (2009)
Zada, A., Pervaiz, B., Shah, S.O., Xu, J.: Stability analysis of first-order impulsive nonautonomous system on timescales. Math. Methods Appl. Sci. 43(8), 5097–5113 (2020). https://doi.org/10.1002/mma.6253
Bohner, M., Peterson, A.: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston (2001)
Ahmadkhanlu, A., Jahanshahi, M.: On the existence and uniqueness of solution of initial value problem for fractional order differential equations on time scales. Bull. Iran. Math. Soc. 38(1), 241–252 (2012)
Balachandran, K., Park, J.Y., Trujillo, J.J.: Controllability of nonlinear fractional dynamical systems. Nonlinear Anal., Theory Methods Appl. 75(4), 1919–1926 (2012). https://doi.org/10.1016/j.na.2011.09.042
Acknowledgements
The third and fourth authors were supported by Azarbaijan Shahid Madani University. We would like to thank the dear reviewers for giving constructive and useful comments to improve the final version of this paper.
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
Pervaiz, B., Zada, A., Etemad, S. et al. An analysis on the controllability and stability to some fractional delay dynamical systems on time scales with impulsive effects. Adv Differ Equ 2021, 491 (2021). https://doi.org/10.1186/s13662-021-03646-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03646-9