Skip to main content

Theory and Modern Applications

Stability criteria for nonlinear Volterra integro-dynamic matrix Sylvester systems on measure chains

Abstract

In this paper, we establish sufficient conditions for various stability aspects of a nonlinear Volterra integro-dynamic matrix Sylvester system on time scales. We convert the nonlinear Volterra integro-dynamic matrix Sylvester system on time scale to an equivalent nonlinear Volterra integro-dynamic system on time scale using vectorization operator. Sufficient conditions are obtained to this system for stability, asymptotic stability, exponential stability, and strong stability. The obtained results include various stability aspects of the matrix Sylvester systems in continuous and discrete models.

1 Introduction

The applications of differential equations in science and engineering problems are well known. Difference equations are the discrete counterpart of differential equations. The applicability of difference equations is gaining an important role in computer science, control theory, image processing, digital filter design, numerical analysis, and finite element techniques. Agarwal [1] presented several theoretical methods and applications of difference equations. The Ψ-stability for difference equations is studied in [2].

In real life, applications are simple and efficient for integral equations. The existence of solutions for nonlinear quadratic integral equations was obtained in [3]. The solution of Fredholm integral equations via fixed point on extending b-metric spaces was introduced in [4]. The solutions of Volterra integral equations were obtained using numerical scheme in d-metric spaces [5], fixed point theory [6], and hybrid contractions [7]. Recently, fractional differential equations have been applied in many areas of science and engineering. Many authors [811] studied different types of factional differential equations. Kim [12] studied semi-linear problems with a non-symmetric linear part and a nonlinear part of monotone type in real Hilbert spaces. Nguyen Duc Phuonga [13] proved that the regularized solution satisfies the conditions of a well-posed problem in the sense of Hadamard and also used the modified quasi-boundary method to deal with the inverse source problem, a well-posed method.

Time scales theory was introduced by Hilger [14, 15] to unify discrete and continuous cases in a well-organized structure. For an excellent introduction to the calculus and dynamic equations on time scales, one can refer to [1, 1618]. In [19], the authors presented basic qualitative and quantitative results for solutions to nonlinear dynamic equations on time scales with applications to economic modeling. The authors [20, 21] studied stability of dynamic equations on time scales. The solution of Volterra integro-dynamic equations on time scales using variation of parameter was obtained in [22] and the qualitative and quantitative results were obtained in [23]. In [24], authors established the existence of Ψ-bounded solutions for a system of linear dynamic equations on time scales. Recently, Agarwal [25] described the connection between the F-contraction mappings on metric-like spaces to integral equations on time scales.

The matrix differential systems are generalizations of a system of differential equations. The fundamental matrix of a system consists of linearly independent solutions. The transition matrix of a system is obtained from fundamental matrix. Dacunha [26] studied transition matrix and generalized matrix exponential via the Peano–Baker series. Murty et al. [2730] studied matrix Lyapunov systems. The controllability for a fuzzy dynamical matrix Lyapunov system was studied in [31]. In [32], authors established the necessary and sufficient conditions for controllability and observability of the Sylvester matrix dynamical system on time scales. In this paper, we deal with a nonlinear Volterra integro-dynamic matrix Sylvester system on time scales and establish the conditions for stability, asymptotic stability, exponential stability, and strong stability.

$$\begin{aligned} \textstyle\begin{cases} X^{\Delta }(t)=A(t)X(t)+X(t)B(t)+\mu (t)A(t)X(t)B(t) \\ \phantom{X^{\Delta }(t)=}{}+\int _{t_{0}}^{t}(L_{1}(t,X(s))X(s)+X(s)L_{2}(t,X(s)))\Delta s, \\ X(t_{0})=X_{0}, \end{cases}\displaystyle \end{aligned}$$
(1)

where X(t) is an \(n\times n\) matrix, Here, \(A(t),B(t),L_{1}(t)\), and \(L_{2}(t)\) are \(n\times n\), \(n\times n\). \(n\times n\) and \(n\times m\) are rd-continuous matrices respectively, \(X^{\Delta }(t)\) is the generalized delta derivative of X, and \(\mu (t)\) is a graininess function.

2 Preliminaries

Definition 2.1

([16])

A time scale \(\mathbb{T}\) is a closed subset of \(\mathbb{R}\). By an interval we mean the intersection of the given interval with a time scale. For \(t<\sup \mathbb{T}\) and \(r>\inf \mathbb{T}\), define the forward jump operator σ and backward jump operator ρ respectively by \(\sigma (t)=\inf \{s\in T:s>t\}\in \mathbb{T}\), \(\rho (t)=\sup \{s\in T:s< r\}\in \mathbb{T}\), \(\forall t,r\in \mathbb{T}\) if \(\sigma (t)=t\), t is said to be right-dense (otherwise t is said to be right-scattered) and \(\rho (r)=r\), r is said to be left-dense (otherwise r is said to be left-scattered). The graininess function \(\mu (t):\mathbb{T}\to [0,\infty )\) is defined by \(\mu (t)=\sigma (t)-t\).

Definition 2.2

([16])

For \(x:\mathbb{T} \to \mathbb{R}\) and \(t\in T\) (if \(t=\sup \mathbb{T}\), assume that t is not left-scattered), define the delta derivative of x(t), represented by \(x^{\Delta }\) (τ), to be a number, with the property that, for any \(\epsilon >0,\exists \) in the neighborhood U of t such that

$$\begin{aligned} \bigl\vert \bigl[x\bigl(\sigma (t)\bigr)-x(s)\bigr]-x^{\Delta }(t)\bigl[ \sigma (\tau )-s\bigr] \bigr\vert \leq \varepsilon \bigl\vert \sigma (t)-s \bigr\vert ,\quad\forall s \in U. \end{aligned}$$

If x is delta differentiable for every \(t\in T\), we say that \(x:\mathbb{T} \to \mathbb{R}\) is delta differentiable on T.

Definition 2.3

([16])

A function h is known as rd-continuous provided that it is continuous at right-dense points in T, and finite limit at left-dense points, and the set of rd-continuous functions is denoted by \(C_{rd} (\mathbb{T},\mathbb{R})\). The set of functions \(C_{rd}^{1} (\mathbb{T},\mathbb{R})\) includes the functions h whose derivative is in \(C_{rd} (\mathbb{T},\mathbb{R})\).

Definition 2.4

([16])

For \(a,t\in \mathbb{T}\) and a function \(h\in C_{rd} (\mathbb{T},\mathbb{R})\), delta-integral is defined to be

$$\begin{aligned} \int _{a}^{t}h(s)\Delta {s}=H(t)-H(a), \end{aligned}$$

where \(H\in C_{rd}^{1} (\mathbb{T},\mathbb{R})\) is anti-derivative of h, i.e., \(H^{\Delta }(t)=h\).

Theorem 2.1

([16])

Assume that \(h:\mathbb{T}\to \mathbb{R}\) is a function, and let \(t\in \mathbb{T}^{k}\). Then we have the following:

  1. i.

    If t is right-dense, then h is differentiable at t iff the limit \(\lim_{t\to s}\frac{h(t)-h(s)}{t-s}\) exists as a finite number. In this case \(h^{\Delta }(t) = \lim_{t\to s}\frac{h(t)-h(s)}{t-s}\).

  2. ii.

    If h is differentiable at t, then \(h(\sigma (t))=h(t)+\mu h^{\Delta }(t)\).

  3. iii.

    If h is continuous at t and t is right-scattered, then f is differentiable at t with \(h^{\Delta }(t) = \frac{h(t)-h(s)}{\mu (t)}\).

  4. iv.

    If h is continuous at t, then f is differentiable at t.

Definition 2.5

([32])

Let two right-dense continuous matrices be \(A_{1}\) and \(A_{2}\) on \(\mathbb{T}\), on time scales \(\mathbb{T}\). Therefore,

$$\begin{aligned} A_{1}^{\Delta }(t)\otimes A_{2}(t)+A_{1}\bigl( \sigma (t)\bigr) \otimes A_{2}^{\Delta }(t)=(A_{1}\otimes A_{2})^{\Delta }(t). \end{aligned}$$

Now, we are applying the Vec operator to the delta-differentiable Volterra integro-dynamic matrix Sylvester system (1) by using Kronecker product (KP) properties, we obtain

$$\begin{aligned} \textstyle\begin{cases} z^{\Delta }(t)=P(t)z(t)+\int _{0}^{t}G(t,s,z(s))\Delta s, \\ z(t_{0})=z_{0}, \end{cases}\displaystyle \end{aligned}$$
(2)

which is piecewise continuous on \(\Omega:=\{(t,s)\in \mathbb{T}_{0}\times \mathbb{T}_{0}:t_{0}\leq s \leq t<\infty \}\), and \(P(t)=[(B^{*}\otimes I)+(I\otimes A)+\mu (t)(B^{*}\times A)]\) of order \(n^{2}\times n^{2}\), \(G(t,s,z(s))=[(L_{2}^{*}\otimes I)+(I\otimes L_{1})]\) is an \(n^{2}\times n^{2}\) matrix function. \(z(t)=\operatorname{Vec} X(t)\).

Definition 2.6

([16])

For \(P\in \mathcal{R}\), the generalized exponential function is defined as

$$\begin{aligned} e_{P}(t,s)=\exp \biggl( \int _{s}^{t}\xi _{\mu }(t) \bigl(P(\tau ) \bigr)\Delta \tau \biggr),\quad t,s \in \mathbb{T}, \end{aligned}$$

where \(\xi _{\mu }(t)(P(\tau ))\) is the cylinder transformation given by

$$\begin{aligned} \xi _{\mu }(t) \bigl(P(\tau )\bigr)=\textstyle\begin{cases} \frac{\log (1+\mu (\tau )P)}{\mu (\tau )}& \text{if }\mu (\tau )\ne 0, \\ P& \text{if }\mu (\tau )\ne 0. \end{cases}\displaystyle \end{aligned}$$

Let the complete metric space with the distance (metric) d be defined by \(d ((u_{1},v_{1}), (u_{2},v_{2}) )=\sqrt{(v_{1}-v_{2})^{2}+(u_{1}-u_{2})^{2}}, \forall (u_{1},v_{1}),(u_{2},v_{2})\in \mathbb{T}_{1}\times \mathbb{T}_{2}\).

Here, \(\mathbb{T}_{1}\times \mathbb{T}_{2}=\{(u,v):u\in \mathbb{T}_{1},v \in \mathbb{T}_{2}\}\) are two given time scales.

A function \(f:\mathbb{T}_{1}\times \mathbb{T}_{2}\to \mathbb{R}\) is called continuous at \((u,v)\in \mathbb{T}_{1}\times \mathbb{T}_{2}, \forall \epsilon >0, \exists \delta >0\) such that \(\Vert f(u,v)-f(u_{0},v_{0}) \Vert <\epsilon,\forall (u_{0},v_{0})\in \mathbb{T}_{1}\times \mathbb{T}_{2}\) satisfying \(d ((u,v),(u_{0},v_{0})<\delta )\).

Lemma 2.1

([18])

  1. i.

    If ψ is rd-continuous and nonnegative, thus

    $$\begin{aligned} 1+ \int _{s}^{t}\psi (u)\Delta u\leq e_{\psi }(t,s)\leq \exp \biggl( \int _{s}^{t} \psi (u)\Delta u \biggr)\quad\forall t\geq s. \end{aligned}$$
  2. ii.

    For a nonnegative ψ with \(-\psi \in \mathcal{R}^{+}\), it becomes

    $$\begin{aligned} 1- \int _{s}^{t}\psi (u)\Delta u\leq e_{-\psi }(t,s)\leq \exp \biggl(- \int _{s}^{t}\psi (u)\Delta u \biggr)\quad\forall t\geq s. \end{aligned}$$

Theorem 2.2

([26])

Let f(u,v) be a real finite-valued function whose domain is the cartesian product \(S_{1}\times S_{2}\). Suppose that f(u,v)is continuous in u at u=a for all v in \(S_{2}\), and continuous in v at v=b uniformly for u in \(S_{1}\), then f(u,v) is continuous in (u,v) at (a,b).

Let rd-continuous functions f(u,v) on \(\mathbb{T}_{1}\times \mathbb{T}_{2}\) have the following properties:

  1. i.

    f is rd-continuous in v for fixed u;

  2. ii.

    f is rd-continuous in u for fixed v;

  3. iii.

    If \(u_{0}\) and \(v_{0}\) are both left-dense, thus the limit of f(u,v) exists (finite) as (u,v) approaches \((u_{0},v_{0})\) along any path in \({(u,v)\mathbb{T}_{1}\times \mathbb{T}_{2}:u< u_{0},v< v_{0} }\);

  4. iv.

    If \((u_{0},v_{0})\in \mathbb{T}_{1}\times \mathbb{T}_{2}\) with \(u_{0}\) maximal or right-dense and \(v_{0}\) maximal or right-dense. Thus, f is continuous at \((u_{0},v_{0})\).

3 Stability

In this section, when we say the zero solution of (2) we mean the zero solution of (2) with \(z_{0}=0\).

Definition 3.1

The zero solution of (2) is stable. If for every \(\epsilon >0\) there exists \(\delta >0\) such that, for any solution z(t) of (2), the inequality \(\Vert z_{0} \Vert <\delta \implies \Vert z \Vert <\epsilon \ \forall t\in \mathtt{T}_{0}\).

We assume that the zero solution of the following system

$$\begin{aligned} \textstyle\begin{cases} x^{\Delta }(t)=P(t)x(t), \\ x(t_{0})=x_{0} \end{cases}\displaystyle \end{aligned}$$
(3)

is stable. From Theorem 2.1 [20] we suppose that there exists \(\eta >0\) such that

$$\begin{aligned} \bigl\Vert \psi _{p}(t.s) \bigr\Vert \leq \eta,\quad \forall s\in [t_{0},t]_{\mathbb{T}}, \end{aligned}$$
(4)

where \(\psi _{p}(t.s)\) is a fundamental matrix of (3).

Next, we impose a condition on \(G(t,s,z)\) for proving that the zero solution of (2) is stable.

We assume the following condition:

H1: \(\alpha >0\) so that \(\Vert G(t,s,z) \Vert \leq Q(t,s) \Vert z \Vert \) with \(Q(t,s)\) rd-continuous for \(s\in [t_{0},t]_{\mathbb{T}}\) and \(\Vert z \Vert <\alpha \).

Theorem 3.1

Assume that equation (4) and (H1) are satisfied, and there exists a positive constant \(L>0\) such that

$$\begin{aligned} \int _{t_{0}}^{\infty } \int _{t_{0}}^{s}Q(s,u)\Delta s\Delta u< L. \end{aligned}$$
(5)

Then the zero solution of (2) is stable.

Proof

. For any \(0<\epsilon <\alpha \), let \(\delta (\epsilon )<\frac{\epsilon }{\eta e^{\eta L}}\) and \(\Vert z(t) \Vert <\delta (\epsilon )\).

Assume that there exists \(t_{1}\in \mathbb{T}_{0}\) such that \(\Vert z(t_{0}) \Vert =\epsilon \) and \(\Vert z(t_{0}) \Vert <\epsilon \) on \([t_{0},t_{1})_{\mathbb{T}}\). By using the variation of parameters formula, we get

$$\begin{aligned} \bigl\Vert z(t) \bigr\Vert & < \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert \Vert z_{0} \Vert + \int _{t_{0}}^{t} \bigl\Vert \psi _{P} \bigl(t, \sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s}Q(s,u) \bigl\Vert z(u) \bigr\Vert \Delta u \Delta s \\ &\leq \eta \delta (\epsilon )+\eta \int _{t_{0}}^{t} \int _{t_{0}}^{s}Q(s,u) \bigl\Vert z(u) \bigr\Vert \Delta u\Delta s \end{aligned}$$

for \(t\in [t_{0},t_{1})_{\mathbb{T}}\).

Let \(r(t)=\sup_{s\in [t_{0},t_{1})_{\mathbb{T}}} \Vert z(s) \Vert \), and according to

$$\begin{aligned} r(t)\leq \eta \delta (\epsilon )+\eta \int _{t_{0}}^{t} \int _{t_{0}}^{s}Q(s,u)r(u) \Delta u\Delta, \end{aligned}$$

from Gronwal’s inequality ([17], Theorem 6.4) and Lemma 2.1, we get

$$\begin{aligned} \bigl\Vert z(t) \bigr\Vert &\leq r(t) \\ &\leq \eta \delta (\epsilon )\exp \biggl( \int _{t_{0}}^{t}\log \biggl( \frac{1+\mu (s)\eta \int _{t_{0}}^{s}Q(s,u)\Delta u}{\mu (s)} \biggr) \Delta s \biggr) \\ &\leq \eta \delta (\epsilon )\exp \biggl( \int _{t_{0}}^{t} \int _{t_{0}}^{s} \eta Q(s,u)\Delta u\Delta s \biggr) \\ &\leq \eta \delta (\epsilon )e^{\eta L}< \epsilon,\quad \forall t\in [t_{0},t_{1})_{\mathbb{T}}. \end{aligned}$$

Thus, \(\Vert z(t_{1}) \Vert <\epsilon \). Therefore, it is a contradiction. Then the zero solution of (2) is stable. □

In place of (H1) assume that

Ĥ1::

\(\Vert G(t,s,z) \Vert \leq Q(t,s) \Vert z \Vert \) with \(Q(t,s)\) rd-continuous for \(s\in [t_{0},t]_{\mathbb{T}}\) and \(\Vert z \Vert \in \mathbb{R}^{n^{2}}\).

Corollary. If equations (4), (5) and (Ĥ1) are satisfied, then the solutions of system (3) are bounded.

4 Asymptotic stability

Suppose that there exists a constant \(\beta >0\) such that

$$\begin{aligned} \int _{t_{0}}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \Delta s< \beta \end{aligned}$$
(6)

for all \(t\in \mathbb{T}_{0}\) with \(t\geq \sigma (t_{0})\) (which is similar to the results of [20]).

The fundamental matrix \(\psi _{P}\) has the following property:

$$\begin{aligned} \psi _{P}\bigl(t,\sigma (s)\bigr)\to 0\quad \text{as }t\to \infty. \end{aligned}$$
(7)

Definition 4.1

The zero solution of (2) is asymptotically stable. If it is stable and attractive (i.e., if for any solution z(t) of (3) there exists \(\delta _{0}\geq 0\) such that \(\Vert z_{0} \Vert <\delta _{0}\implies \Vert z \Vert \to 0\) as \(t \to \infty \)).

Theorem 4.1

Assume that condition (H1) and (6) are satisfied and

$$\begin{aligned} \sup_{t\in \mathtt{T}_{0}} \int _{t_{0}}^{t}Q(t,s)\Delta s < \frac{1}{\beta }. \end{aligned}$$
(8)

Moreover, assume that

$$\begin{aligned} \lim_{s\to \infty } \int _{t_{0}}^{t}Q(t,s)\Delta s =0, \quad\forall t\in \mathbb{T}_{0}. \end{aligned}$$
(9)

Then the zero solution of (2) is asymptotically stable.

Proof

. First, we have to prove the stability of the zero solution of (2). From (8), there exists a positive constant γ such that

$$\begin{aligned} 0< \gamma < \frac{1}{\beta } \quad\text{and}\quad \sup_{t\in \mathbb{T}_{0}} \int _{t_{0}}^{t}Q(t,s) \Delta s \leq \gamma. \end{aligned}$$
(10)

From (7), there exists a positive constant M such that

$$\begin{aligned} \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert \leq M,\quad \forall t\in \mathbb{T}_{0}. \end{aligned}$$
(11)

For any \(0<\epsilon <\alpha \) and \(t_{0}\), let \(\delta (\epsilon )<\min \{\frac{(1-\gamma \beta )\epsilon }{M}, \epsilon \}\).

Consider the solution z(t) of (2) such that \(\Vert z_{0} \Vert <\delta \). Assume that there exists \(t_{1}\in \mathbb{T}_{0}\) such that \(\Vert z(t_{1}) \Vert =\epsilon \) and \(\Vert z(t) \Vert <\epsilon \) on \([t_{0},t]_{\mathbb{T}_{0}}\). By using the variation of parameters formula [17], we get

$$\begin{aligned} \bigl\Vert z(t) \bigr\Vert &\leq \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert \Vert z_{0} \Vert + \int _{t_{0}}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s}Q(s,u) \bigl\Vert z(u) \bigr\Vert \Delta u \Delta s \\ &< N\delta +\epsilon \int _{t_{0}}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s}Q(s,u) \Delta u\Delta s \\ &< (1-\gamma \beta )\epsilon +\epsilon \beta \gamma =\epsilon,\quad\forall t \in [t_{0},t]_{\mathbb{T}}. \end{aligned}$$

Therefore, \(\Vert z(t_{1}) \Vert <\epsilon \), hence, it is a contradiction. Thus, the zero solution of (2) is stable.

Next, we prove that the zero solution of (2) is attractive. Let \(\epsilon =1,\exists \delta _{0}<\delta (1)<1\) such that \(\Vert z_{0} \Vert <\delta _{0}\) indicates that

$$\begin{aligned} \bigl\Vert z(t) \bigr\Vert < \min (\alpha,1),\quad \forall t\in \mathbb{T}_{0}. \end{aligned}$$
(12)

Assume that there exists \(z_{0}\) with \(\Vert z_{0} \Vert <\delta _{0}\) such that the solution z(t) of (2) satisfies

$$\begin{aligned} \limsup_{t\to \infty } \bigl\Vert z(t) \bigr\Vert = \lambda >0. \end{aligned}$$
(13)

From (10), \(\gamma \beta <1\), and there exists a constant θ such that \(\gamma \beta <\theta <1\). From (13) there exists \(t_{1}\in \mathbb{T}_{0}\) such that

$$\begin{aligned} \bigl\Vert z(u) \bigr\Vert \leq \frac{\lambda }{\theta },\quad\forall u \in [t_{1},\infty )_{\mathbb{T}}, \end{aligned}$$
(14)

and from (9) there exists \(T\in [t_{1},\infty )_{\mathbb{T}}\) such that

$$\begin{aligned} \int _{t_{0}}^{t_{1}}Q(s,u)\Delta u< \frac{(\theta -\gamma \beta )\lambda }{2\theta \beta },\quad \forall s\in [T, \infty )_{\mathbb{T}}. \end{aligned}$$
(15)

Then

$$\begin{aligned} \bigl\Vert z(t) \bigr\Vert \leq{}& \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert \delta _{0}+ \int _{t_{0}}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s}Q(s,u) \bigl\Vert z(u) \bigr\Vert \Delta u \Delta s \\ \leq{}& \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert \delta _{0}+ \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert \int _{t_{0}}^{T} \bigl\Vert \psi _{P} \bigl(t_{0},\sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s}Q(s,u) \bigl\Vert z(u) \bigr\Vert \Delta u \Delta s \\ &{}+ \int _{T}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{t_{1}}Q(s,u) \bigl\Vert z(u) \bigr\Vert \Delta u \Delta s \\ &{}+ \int _{T}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{1}}^{s}Q(s,u) \bigl\Vert z(u) \bigr\Vert \Delta u \Delta s. \end{aligned}$$

From (6), (12), and (15), we get

$$\begin{aligned} \int _{T}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{t_{1}}Q(s,u) \bigl\Vert z(u) \bigr\Vert \Delta u \Delta s\leq \frac{(\theta -\gamma \beta )\lambda }{2\theta \beta }. \end{aligned}$$

Furthermore, using (6), (10), and (14), according to

$$\begin{aligned} \int _{T}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{1}}^{s}Q(s,u) \bigl\Vert z(u) \bigr\Vert \Delta u \Delta s \leq \frac{\gamma \beta \lambda }{\theta }. \end{aligned}$$

Then

$$\begin{aligned} \bigl\Vert z(t) \bigr\Vert \leq{}& \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert \delta _{0}+ \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert \int _{t_{0}}^{T} \bigl\Vert \psi _{P} \bigl(t_{0},\sigma (s)\bigr) \bigr\Vert \\ &{}\times \int _{t_{0}}^{s}Q(s,u) \bigl\Vert z(u) \bigr\Vert \Delta u \Delta s+ \frac{(\theta +\gamma \beta )\lambda }{2\theta }. \end{aligned}$$

Since \(\Vert \psi _{P}(t,t_{0}) \Vert \to 0\) as \(t \to \infty \), by (7) we get \(\lambda +\frac{(\theta +\gamma \beta )\lambda }{2\theta }\), and then \(\lambda <\lambda \). Therefore, it is a contradiction. Thus, the zero solution of (2) is attractive. Hence, the zero solution of (2) is asymptotically stable. □

5 Exponential asymptotic stability

Definition 5.1

The zero solution of (2) is exponentially asymptotically stable, then there exists \(\eta >0\), and for every \(\epsilon >0\) there exists \(\delta >0\) such that, for any solution z(t) of (2), \(\Vert z_{0} \Vert <\delta \implies \Vert z \Vert <\epsilon e_{-\eta }(t,t_{0}),\forall t \in \mathbb{T}_{0}\).

Suppose that there exists \(L,\eta >0\) with \(-\eta \in \mathcal{R}^{+}(\mathbb{T},\mathbb{R})\) such that

$$\begin{aligned} \bigl\Vert \psi _{P}(t,s) \bigr\Vert \leq Me_{-v}(t,s), \quad\forall s\in [t_{0},t]_{\mathbb{T}}. \end{aligned}$$
(16)

(This result is useful for proving that the zero solution of (3) is exponentially asymptotically stable.)

Theorem 5.1

Let conditions (H1) and (16) be satisfied, and there exists a positive constant v such that

$$\begin{aligned} \sup_{t\in \mathbb{T}_{0}} \int _{t_{0}}^{t}e_{-v}\bigl(s,\sigma (t) \bigr)Q(t,s) \Delta s< \frac{\eta }{L}. \end{aligned}$$
(17)

Then the zero solution of (2) is exponentially asymptotically stable.

Proof

By using (16) \(\forall t\in \mathbb{T}_{0}\) and \(\Vert z_{0} \Vert <\frac{\alpha }{L}\), we get

$$\begin{aligned} \bigl\Vert z(t) \bigr\Vert \leq{}& \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert \Vert z_{0} \Vert + \int _{t_{0}}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s}Q(s,u) \bigl\Vert z(u) \bigr\Vert \Delta u \Delta s \\ \leq{}& Le_{-\eta }(t,t_{0}) \Vert z_{0} \Vert +L \int _{t_{0}}^{t}e_{-\eta }\bigl(t, \sigma (s) \bigr) \int _{t_{0}}^{s}Q(s,u) \bigl\Vert z(u) \bigr\Vert \Delta u \Delta s. \end{aligned}$$
(18)

There exists a positive constant \(a< b\) and ϵ with \(-a,-\epsilon \in \mathcal{R}^{+}(\mathbb{T},\mathbb{R})\) such that \(-\eta =-a\oplus -\epsilon \), and

$$\begin{aligned} \sup_{t\in \mathbb{T}_{0}} \int _{t_{0}}^{t}e_{-a}\bigl(s,\sigma (t) \bigr)Q(t,s) \Delta s< \frac{\epsilon }{L}. \end{aligned}$$

Multiplying by \(e_{-a}(s,\sigma (t))\) on both sides of (18), we get

$$\begin{aligned} e_{-a}(t_{0},t) \bigl\Vert z(t) \bigr\Vert \leq{}& Le_{-\epsilon }(t,t_{0}) \Vert z_{0} \Vert +L \int _{t_{0}}^{t}e_{-a}\bigl(t_{0}, \sigma (s)\bigr)e_{-\epsilon }\bigl(t,\sigma (s)\bigr) \\ &{}\times \int _{t_{0}}^{s}Q(s,u) \bigl\Vert z(u) \bigr\Vert \Delta u \Delta s \\ ={}&Le_{-\epsilon }(t,t_{0}) \Vert z_{0} \Vert +L \int _{t_{0}}^{t}e_{-\epsilon }\bigl(t, \sigma (s) \bigr) \\ &{}\times \int _{t_{0}}^{s}e_{-a}\bigl(u,\sigma (s) \bigr)Q(s,u)e_{-a}(t_{0},u) \bigl\Vert z(u) \bigr\Vert \Delta u \Delta s. \end{aligned}$$

If we define \(r(t)=\sup_{s\in [t_{0},t]_{\mathbb{T}}}e_{-a}(t_{0},t) \Vert z(t) \Vert \), consequently

$$\begin{aligned} e_{-a}(t_{0},t) \bigl\Vert z(t) \bigr\Vert \leq{}& Le_{-\epsilon }(t,t_{0}) \Vert z_{0} \Vert +Lr(t) \int _{t_{0}}^{t}e_{-\epsilon }\bigl(t,\sigma (s) \bigr) \\ &{}\times \int _{t_{0}}^{s}e_{-a}\bigl(u,\sigma (s) \bigr)Q(s,u)\Delta u \Delta s \\ \leq{}& Le_{-\epsilon }(t,t_{0}) \Vert z_{0} \Vert + \epsilon r(t) \int _{t_{0}}^{t}e_{- \epsilon }\bigl(t,\sigma (s) \bigr)\Delta s. \end{aligned}$$

By using [Theorem 2.39, [17]], we have

$$\begin{aligned} e_{-a}(t_{0},t) \bigl\Vert z(t) \bigr\Vert \leq Le_{-\epsilon }(t,t_{0}) \Vert z_{0} \Vert +\bigl\{ 1-e_{- \epsilon }(t,t_{0})\bigr\} r(t). \end{aligned}$$
(19)

Now we consider two cases:

Case (i): If \(e_{-a}(t_{0},s) \Vert z(s) \Vert \leq e_{-a}(t_{0},t) \Vert z(t) \Vert \) for any \(s\in [t_{0},t]_{\mathbb{T}}\). So, we get \(r(t)= e_{-a}(t_{0},t) \Vert z(t) \Vert \). Then from (19) we get

$$\begin{aligned} r(t)\leq Le_{-\epsilon }(t_{0},t) \Vert z_{0} \Vert \bigl\{ 1-e_{-\epsilon }(t,t_{0}) \bigr\} r(t). \end{aligned}$$

Then \(r(t)\leq L \Vert z_{0} \Vert ,\forall t\in \mathbb{T}_{0}\). Thus, \(r(t)=e_{-a}(t_{0},t) \Vert z(t) \Vert \implies \Vert z(t) \Vert \leq Le_{-a}(t_{0},t) \Vert z_{0} \Vert , \forall t\in \mathbb{T}_{0}\).

Case (ii): There exists \(s\in [t_{0},t]_{\mathbb{T}}\) such that \(e_{-a}(t_{0},s) \Vert z(s) \Vert > e_{-a}(t_{0},t) \Vert z(t) \Vert \). Then there exists \(t_{1}\in [t_{0},t]_{\mathbb{T}}\) such that \(r(t)=e_{-a}(t_{0},t) \Vert z(t_{1}) \Vert \). Then from (19) we get

$$\begin{aligned} r(t_{1})= e_{-a}(t_{0},t_{1}) \bigl\Vert z(t_{1}) \bigr\Vert \leq Le_{-\epsilon }(t_{1},t_{0}) \Vert z_{0} \Vert \bigl\{ 1-e_{-\epsilon }(t_{0},t_{1}) \bigr\} r(t_{1}). \end{aligned}$$

Then \(r(t_{1})\leq L \Vert z_{0} \Vert ,\forall t_{1}\in \mathbb{T}_{0}\). Thus, \(r(t_{1})\geq e_{-a}(t_{0},t) \Vert z(t) \Vert \implies \Vert z(t) \Vert \leq Le_{-a}(t,t_{0}) \Vert z_{0} \Vert , \forall t\in \mathbb{T}_{0}\).

Therefore, from case (i) and case (ii), the zero solution of (2) is exponentially asymptotically stable. □

6 Strong stability

Definition 6.1

The zero solution of (2) is known as strongly stable if for all \(\epsilon >0 \ \exists \delta >0\) such that, for any solution z(t) of (2), the inequality \(t_{1}\in \mathbb{T}_{0}\) and \(\Vert z(t_{0}) \Vert <\delta \implies \Vert z(t) \Vert <\epsilon, \forall t\leq t_{0} \in \mathbb{T}_{0}\).

Theorem 6.1

([21], Theorem 4.3)

Let \(\psi _{P}(t,s)\) be a fundamental matrix for (3). Then the zero solution of (3) is strongly stable on \(\mathtt{T}_{0}\) if and only if there exists a positive constant G such that

$$\begin{aligned} \bigl\Vert \psi _{P}(t,t_{0})\psi _{P}^{-1}(s,t_{0}) \bigr\Vert \leq G, \quad\forall t_{0} \leq s\leq t < \infty, \end{aligned}$$

or equivalently,

$$\begin{aligned} \bigl\Vert \psi _{P}(t,t_{0})\bigr\Vert \leq G\quad \textit{and}\quad \bigl\Vert \psi _{P}^{-1}(s,t_{0}) \bigr\Vert \leq G, \quad\forall t\in \mathbb{T}_{0}. \end{aligned}$$

We need the following assumptions:

\(K_{1}\)::

There exist a continuous function \(\varphi:\mathbb{T}_{0}\to (0,\infty )\) and constants \(q_{1}\geq 1,G_{1}>0\) such that

$$\begin{aligned} \int _{t_{0}}^{t} \bigl(\varphi (s) \bigl\Vert \psi _{P}(t,t_{0})\psi _{P}^{-1}(s,t_{0}) \bigr\Vert \bigr)^{q_{1}}\Delta s\leq G_{1},\quad \forall t\in \mathbb{T}_{0}. \end{aligned}$$
\(K_{2}\)::

There exist a continuous function \(\varphi:\mathbb{T}_{0}\to (0,\infty )\) and constants \(q_{2}\geq 1,G_{2}>0\) such that

$$\begin{aligned} \int _{t_{0}}^{t} \bigl(\varphi (s) \bigl\Vert \psi _{P}(t,t_{0})\psi _{P}^{-1}(s,t_{0}) \bigr\Vert \bigr)^{q_{2}}\Delta s\leq G_{2}, \quad\forall t\in \mathbb{T}_{0}. \end{aligned}$$
\(K_{3}\)::

There exist a continuous function \(\varphi:\mathbb{T}_{0}\to (0,\infty )\) and constants \(q_{3}\geq 1,G_{3}>0\) such that

$$\begin{aligned} \int _{t_{0}}^{t} \bigl(\varphi (s) \bigl\Vert \psi _{P}(t,t_{0})\psi _{P}^{-1}(s,t_{0}) \bigr\Vert \bigr)^{q_{3}}\Delta s\leq G_{3},\quad \forall t\in \mathbb{T}_{0}. \end{aligned}$$
\(K_{4}\)::

There exist a continuous function \(\varphi:\mathbb{T}_{0}\to (0,\infty )\) and constants \(q_{4}\geq 1,G_{4}>0\) such that

$$\begin{aligned} \int _{t_{0}}^{t} \bigl(\varphi (s) \bigl\Vert \psi _{P}(t,t_{0})\psi _{P}^{-1}(s,t_{0}) \bigr\Vert \bigr)^{q_{4}}\Delta s\leq G_{4},\quad \forall t\in \mathbb{T}_{0}. \end{aligned}$$

Theorem 6.2

Assume that the fundamental matrix \(\psi _{P}(t,t_{0})\) satisfies one of the following assumptions:

\(Q_{1}\)::

\(K_{1}\) and \(K_{2}\) are true;

\(Q_{2}\)::

\(K_{1}\) and \(K_{4}\) are true;

\(Q_{3}\)::

\(K_{2}\) and \(K_{3}\) are true;

\(Q_{4}\)::

\(K_{3}\) and \(K_{4}\) are true.

Thus, the zero solution of (3) is strongly stable on \(\mathbb{T}_{0}\).

Proof

. We show that \(\psi _{P}(t,t_{0})\) and \(\psi _{P}^{-1}(t,t_{0})\) are bounded on \(\mathbb{T}_{0}\). First, we consider case \(Q_{2}\). For this we show that \(\psi _{P}(t,t_{0})\) is bounded on \(\mathbb{T}_{0}\).

Consider

$$\begin{aligned} r(t)=\varphi ^{q_{1}}(t) \bigl(\psi _{P}(t,t_{0}) \bigr)^{-q_{1}},\quad \forall t\in \mathbb{T}_{0}. \end{aligned}$$

From the identity

$$\begin{aligned} \biggl( \int _{t_{0}}^{t}r(s)\Delta s \biggr)\psi _{P}(t,t_{0})={}& \int _{t_{0}}^{t} \bigl(\varphi (s)\psi _{P}(t,t_{0})\psi _{P}^{-1}(s,t_{0}) \bigr) \\ &{}\times \bigl(r(s) \bigl(\varphi (s)\bigr)^{-1}\psi _{P}(s,t_{0}) \bigr)\Delta s,\quad \forall t\in \mathbb{T}_{0}. \end{aligned}$$

Consequently,

$$\begin{aligned} \biggl( \int _{t_{0}}^{t}r(s)\Delta s \biggr) \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert \leq{}& \int _{t_{0}}^{t} \bigl(\varphi (s) \bigl\Vert \psi _{P}(t,t_{0})\psi _{P}^{-1}(s,t_{0}) \bigr\Vert \bigr) \\ &{} \times \bigl(r(s) \bigl(\varphi (s)\bigr)^{-1} \bigl\Vert \psi _{P}(s,t_{0}) \bigr\Vert \bigr) \Delta s,\quad \forall t\in \mathbb{T}_{0}. \end{aligned}$$
(20)

If \(q_{1}=1\), we get \(r(s)(\varphi (s))^{-1} \Vert \psi _{P}(s,t_{0}) \Vert =1\). From (20) and hypothesis \(K_{1}\), we have

$$\begin{aligned} \biggl( \int _{t_{0}}^{t}r(s)\Delta s \biggr) \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert \leq \int _{t_{0}}^{t} \bigl(\varphi (s) \bigl\Vert \psi _{P}(t,t_{0})\psi _{P}^{-1}(s,t_{0}) \bigr\Vert \bigr)\Delta s, \quad\forall t\in \mathbb{T}_{0}. \end{aligned}$$

If \(q_{1}>1\), set \(r_{1}=\frac{q_{1}}{q_{1}-1}\) such that \(r(s)(\varphi (s))^{-1} \Vert \psi _{P}(s,t_{0}) \Vert =(r(s))^{\frac{1}{r_{1}}}\). From (20), we obtain

$$\begin{aligned} \biggl( \int _{t_{0}}^{t}r(s)\Delta s \biggr)\varphi (t) \bigl(r(t)\bigr)^{ \frac{1}{q_{1}}}\leq \int _{t_{0}}^{t} \bigl(\varphi (s) \bigl\Vert \psi _{P}(t,t_{0}) \psi _{P}^{-1}(s,t_{0}) \bigr\Vert \bigr) \bigl(r(s)\bigr)^{\frac{1}{r_{1}}}\Delta s,\quad \forall t\in \mathbb{T}_{0}. \end{aligned}$$

Using Holder’s inequality [17], we obtain

$$\begin{aligned} \biggl( \int _{t_{0}}^{t}r(s)\Delta s \biggr)\varphi (t) \bigl(r(t)\bigr)^{ \frac{1}{q_{1}}}\leq {}&\biggl( \int _{t_{0}}^{t} \bigl(\varphi (s) \bigl\Vert \psi _{P}(t,t_{0})\psi _{P}^{-1}(s,t_{0}) \bigr\Vert \bigr)^{q_{1}}\Delta s \biggr)^{\frac{1}{q_{1}}} \\ &{}\times \biggl( \int _{t_{0}}^{t}\bigl(r(s)\bigr)\Delta s \biggr)^{ \frac{1}{r_{1}}}, \quad\forall t\in \mathbb{T}_{0}. \end{aligned}$$

Next, by using assumptions \(K_{1}\), we have

$$\begin{aligned} &\biggl( \int _{t_{0}}^{t}r(s)\Delta s \biggr)^{\frac{1}{q_{1}}} \varphi (t) \bigl(r(t)\bigr)^{\frac{1}{p_{1}}}\leq G_{1}^{\frac{1}{q_{1}}},\quad \forall t\in \mathbb{T}_{0}. \\ &\int _{t_{0}}^{t}r(s)\Delta s \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert ^{q_{1}}\leq G_{1},\quad \forall t\in \mathbb{T}_{0}. \end{aligned}$$

Then, for \(q_{1}\geq 1\), the function \(\Vert \psi _{P}(t,t_{0}) \Vert \) satisfies the inequality

$$\begin{aligned} \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert ^{q_{1}}\leq G_{1}^{\frac{1}{q_{1}}} \biggl( \int _{t_{0}}^{t}r(s)\Delta s \biggr)^{\frac{-1}{q_{1}}},\quad \forall t \in \mathbb{T}_{0}. \end{aligned}$$

Let \(R(t)=\int _{t_{0}}^{t}r(s)\Delta s,\forall t\in \mathbb{T}_{0}\), so we obtain

$$\begin{aligned} \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert ^{q_{1}}\leq G_{1}^{\frac{1}{q_{1}}} \bigl(R(t) \bigr)^{\frac{-1}{q_{1}}}\quad \forall t\in \mathbb{T}_{0}. \end{aligned}$$

Note \(R^{\Delta }(t)=r(t)\geq G_{1}^{-1}(\varphi (t))^{q_{1}}R(t), \forall t \in \mathbb{T}_{0}\).

Consequently, there exists a constant \(L_{1}\) such that

$$\begin{aligned} \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert \leq L_{1},\quad \forall t\in \mathbb{T}_{0}. \end{aligned}$$

Next, we prove that \(\psi _{P}^{-1}(t,t_{0})\) is bounded on \(\mathbb{T}_{0}\).

Consider

$$\begin{aligned} r(t)=\varphi ^{p4}(t) \bigl\Vert \psi _{P}^{-1}(t,t_{0}) \bigr\Vert ^{q4}, \quad t\in \mathbb{T}_{0}. \end{aligned}$$

From the identity

$$\begin{aligned} \biggl( \int _{t_{0}}^{t}r(s)\Delta s \biggr)\psi _{P}^{-1}(t,t_{0})={}& \int _{t_{0}}^{t} \bigl(r(s) \bigl(\varphi (t) \bigr)^{-1}\psi _{P}^{-1}(s,t_{0}) \bigr) \\ &{}\times \bigl( \varphi (s)\psi _{P}(s,t_{0})\psi _{P}^{-1}(t,t_{0}) \bigr)\Delta s,\quad \forall t\in \mathbb{T}_{0}. \end{aligned}$$

Consequently,

$$\begin{aligned} \biggl( \int _{t_{0}}^{t}r(s)\Delta s \biggr) \bigl\Vert \psi _{P}^{-1}(t,t_{0}) \bigr\Vert \leq{}& \int _{t_{0}}^{t} \bigl(r(s) \bigl(\varphi (t) \bigr)^{-1} \bigl\Vert \psi _{P}^{-1}(s,t_{0}) \bigr\Vert \bigr) \\ &{}\times \bigl( \varphi (s) \bigl\Vert \psi _{P}(s,t_{0}) \psi _{P}^{-1}(t,t_{0}) \bigr\Vert \bigr)\Delta s, \quad\forall t\in \mathbb{T}_{0}. \end{aligned}$$

If \(q_{4}=1\), we get \(r(s)(\varphi (t))^{-1} \Vert \psi _{P}^{-1}(s,t_{0}) \Vert =1\). Using assumptions \(G_{4}\), we get

$$\begin{aligned} \biggl( \int _{t_{0}}^{t}r(s)\Delta s \biggr) \bigl\Vert \psi _{P}^{-1}(t,t_{0}) \bigr\Vert \leq \int _{t_{0}}^{t} \bigl( \varphi (s) \bigl\Vert \psi _{P}(s,t_{0})\psi _{P}^{-1}(t,t_{0}) \bigr\Vert \bigr)\Delta s, \quad\forall t\in \mathbb{T}_{0}. \end{aligned}$$

If \(q_{4}>1\), set \(r_{4}=\frac{q_{4}}{q_{4}-1}\) such that \(r(s)(\varphi (t))^{-1} \Vert \psi _{P}^{-1}(s,t_{0}) \Vert =(r(s))^{ \frac{1}{r_{4}}}\). Consequently,

$$\begin{aligned} \biggl( \int _{t_{0}}^{t}r(s)\Delta s \biggr) \bigl\Vert \psi _{P}^{-1}(t,t_{0}) \bigr\Vert \leq \int _{t_{0}}^{t} \bigl( \varphi (s) \bigl\Vert \psi _{P}(s,t_{0})\psi _{P}^{-1}(t,t_{0}) \bigr\Vert \bigr) \bigl(r(s)\bigr)^{\frac{1}{r_{4}}}\Delta s,\quad \forall t\in \mathbb{T}_{0}. \end{aligned}$$

Using Holder’s inequality leads to

$$\begin{aligned} &\biggl( \int _{t_{0}}^{t}r(s)\Delta s \biggr) \bigl\Vert \psi _{P}^{-1}(t,t_{0}) \bigr\Vert \\ &\quad \leq \biggl( \int _{t_{0}}^{t} \bigl( \varphi (s) \bigl\Vert \psi _{P}(s,t_{0}) \psi _{P}^{-1}(t,t_{0}) \bigr\Vert \bigr)^{q_{4}}\Delta s \biggr)^{ \frac{1}{q_{4}}}\bigl(r(s) \bigr)^{\frac{1}{r_{4}}}, \quad\forall t\in \mathbb{T}_{0}. \end{aligned}$$

Now, by using assumption \(K_{4}\), we obtain

$$\begin{aligned} \biggl( \int _{t_{0}}^{t}r(s)\Delta s \biggr) \bigl\Vert \psi _{P}^{-1}(t,t_{0}) \bigr\Vert \leq \biggl( \int _{t_{0}}^{t}r(s)\Delta s \biggr)^{\frac{1}{r_{4}}}(K_{4})^{ \frac{1}{q_{4}}},\quad \forall t\in \mathbb{T}_{0}. \end{aligned}$$

or

$$\begin{aligned} \biggl( \int _{t_{0}}^{t}r(s)\Delta s \biggr)^{\frac{1}{q_{4}}} \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert \leq (K_{4})^{\frac{1}{q_{4}}},\quad\forall t\in \mathbb{T}_{0}. \end{aligned}$$

Then, for \(q_{4}\geq 1\), the function \(\Vert \psi _{P}^{-1}(t,t_{0}) \Vert \) satisfies the inequality

$$\begin{aligned} \bigl\Vert \psi _{P}^{-1}(t,t_{0}) \bigr\Vert \leq (K_{4})^{\frac{1}{q_{4}}} \biggl( \int _{t_{0}}^{t}r(s) \Delta s \biggr)^{\frac{-1}{q_{4}}},\quad \forall t\in \mathbb{T}_{0}. \end{aligned}$$

Let \(R(t)=\int _{t_{0}}^{t}r(s)\Delta s, \forall t\in \mathbb{T}_{0}\), we obtain

$$\begin{aligned} \bigl\Vert \psi _{P}^{-1}(t,t_{0}) \bigr\Vert \leq (G_{4})^{\frac{1}{q_{4}}} \bigl(R(t) \bigr)^{\frac{-1}{q_{4}}},\quad \forall t\in \mathbb{T}_{0}. \end{aligned}$$

Note \(R^{\Delta }(t)=r(t)\geq G_{4}^{-1}(\varphi (t))^{q_{4}}R(t),\forall t \in \mathbb{T}_{0}\). Then there exists a constant \(L_{2}\) such that

$$\begin{aligned} \bigl\Vert \psi _{P}^{-1}(t,t_{0}) \bigr\Vert \leq L_{2},\quad\forall t\in \mathbb{T}_{0}. \end{aligned}$$

Hence, the result holds by using Theorem 6.1. Similarly, the theorem is valid for remaining cases \(Q_{1},Q_{3}\), or \(Q_{4}\). □

Theorem 6.3

Suppose that the function G is continuous and satisfies the following assumption:

$$\begin{aligned} \bigl\Vert G(t,s,z)-G(t,s,x) \bigr\Vert \leq h(t,s) \Vert z-x \Vert . \end{aligned}$$
(21)

For \(t_{0}\leq s\leq t<\infty \) and \(\forall z,x\in \mathbb{R}^{n^{2}}\), there exists a function \(\beta \in \mathcal{R}^{+}(\mathbb{T}_{0},\mathbb{R})\) such that

$$\begin{aligned} \sup_{t\in \mathbb{T}_{0}}\frac{1}{e_{\beta }(t,t_{0})} \int _{t_{0}}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s}h(s,u)e_{\beta }(u,t_{0}) \Delta u \Delta s< 1 \end{aligned}$$
(22)

and

$$\begin{aligned} \sup_{t\in \mathbb{T}_{0}}\frac{1}{e_{\beta }(t,t_{0})} \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert < \infty, \end{aligned}$$
(23)

where h is an rd-continuous nonnegative function on \(C=\{(t,s):t_{0}\leq s \leq t <\infty \}\). Then there exists a unique solution of (2).

Proof

We consider the space of continuous function \(Q(\mathbb{T}_{0};\mathbb{R}^{n^{2}})\) with

$$\begin{aligned} \sup_{t\in \mathbb{T}_{0}}\frac{ \Vert z(t) \Vert }{e_{\beta }(t,t_{0})}< \infty, \end{aligned}$$

and we denote this space by \(Q_{\beta }(\mathbb{T}_{0};\mathbb{R}^{n^{2}})\). We couple the linear space \(Q_{\beta }(\mathbb{T}_{0};\mathbb{R}^{n^{2}})\) with a metric, namely

$$\begin{aligned} C_{\beta }^{\infty }= \sup_{t\in \mathtt{T}_{0}} \frac{ \Vert z(t)-x(t) \Vert }{e_{\beta }(t,t_{0})}. \end{aligned}$$

It is easy to understand that \(Q(\mathbb{T}_{0};\mathbb{R}^{n^{2}})\)(coupled with the norm \(( \Vert z \Vert _{\beta }^{\infty }= \sup_{t\in \mathbb{T}_{0}} \frac{ \Vert z(t) \Vert }{e_{\beta }(t,t_{0})} )\) is a Banach space ([15], Lemma 4.1).

Consider the operator T from \(Q_{\beta }(\mathbb{T}_{0};\mathbb{R}^{n^{2}})\) to \(Q_{\beta }(\mathbb{T}_{0};\mathbb{R}^{n^{2}})\), given by

$$\begin{aligned} Tz(t)=\psi _{P}(t,t_{0})z(t_{0})+ \int _{t_{0}}^{t} \bigl\Vert \psi _{P} \bigl(t, \sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s}G(s,u,z)\Delta u\Delta s, \end{aligned}$$
(24)

and note

$$\begin{aligned} \Vert Tz \Vert _{\beta }^{\infty }={}&\sup_{t\in \mathbb{T}} \frac{1}{e_{\beta }(t,t_{0})} \biggl\Vert \psi _{P}(t,t_{0})z(t_{0})+ \int _{t_{0}}^{t}\psi _{P}\bigl(t,\sigma (s) \bigr) \int _{t_{0}}^{s}G(s,u,z) \Delta u\Delta s \biggr\Vert \\ \leq{}& \sup_{t\in \mathbb{T}}\frac{1}{e_{\beta }(t,t_{0})} \biggl( \bigl\Vert \psi _{P}(t,t_{0})z(t_{0}) \bigr\Vert + \int _{t_{0}}^{t} \biggl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \int _{t_{0}}^{s}G(s,u,z) \biggr\Vert \Delta u\Delta s \biggr) \\ \leq{}& \sup_{t\in \mathbb{T}}\frac{1}{e_{\beta }(t,t_{0})} \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert \bigl\Vert z(t_{0}) \bigr\Vert +\sup_{t\in \mathbb{T}}\frac{1}{e_{\beta }(t,t_{0})} \\ &{}\times \int _{t_{0}}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s} \bigl\Vert G(s,u,z) \bigr\Vert \Delta u\Delta s. \end{aligned}$$

By using (21), (22), and (23), we have

$$\begin{aligned} \Vert Tz \Vert _{\beta }^{\infty }\leq{}& \sup_{t\in \mathbb{T}} \frac{1}{e_{\beta }(t,t_{0})} \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert \bigl\Vert z(t_{0}) \bigr\Vert \\ &{}+\sup_{t\in \mathbb{T}}\frac{1}{e_{\beta }(t,t_{0})} \int _{t_{0}}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s}h(s,u) \bigl\Vert z(u) \bigr\Vert \Delta u \Delta s \\ \leq {}&\sup_{t\in \mathbb{T}}\frac{1}{e_{\beta }(t,t_{0})} \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert \bigl\Vert z(t_{0}) \bigr\Vert +\sup_{t\in \mathbb{T}}\frac{1}{e_{\beta }(t,t_{0})} \\ &{}\times \int _{t_{0}}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s}h(s,u)e_{\beta }(u,t_{0}) \frac{ \Vert z(u) \Vert }{e_{\beta }(u,t_{0})}\Delta u\Delta s \\ \leq{}& \sup_{t\in \mathbb{T}}\frac{1}{e_{\beta }(t,t_{0})} \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert \bigl\Vert z(t_{0}) \bigr\Vert + \Vert z \Vert _{\beta }^{\infty }\sup _{t\in \mathtt{T}} \frac{1}{e_{\beta }(t,t_{0})} \\ &{}\times \int _{t_{0}}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s}h(s,u)e_{\beta }(u,t_{0}) \Delta u\Delta s. \end{aligned}$$

Also,

$$\begin{aligned} \Vert Tz-Tx \Vert _{\beta }^{\infty }&\leq \sup _{t\in \mathbb{T}} \frac{1}{e_{\beta }(t,t_{0})} \biggl\Vert \int _{t_{0}}^{t}\psi _{P}\bigl(t, \sigma (s) \bigr) \int _{t_{0}}^{s}G(s,u,z)-G(s,u,x)\Delta u\Delta s \biggr\Vert \\ &\leq \sup_{t\in \mathbb{T}}\frac{1}{e_{\beta }(t,t_{0})} \int _{t_{0}}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s} \bigl\Vert G(s,u,z)-G(s,u,x) \bigr\Vert \Delta u\Delta s \\ &\leq \sup_{t\in \mathbb{T}}\frac{1}{e_{\beta }(t,t_{0})} \int _{t_{0}}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s}h(s,u) \bigl\Vert z(u)-x(u) \bigr\Vert \Delta u \Delta s \\ &\leq \Vert z-x \Vert _{\beta }^{\infty }\sup_{t\in \mathbb{T}} \frac{1}{e_{\beta }(t,t_{0})} \int _{t_{0}}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s}h(s,u)e_{\beta }(u,t_{0}) \Delta u\Delta s. \end{aligned}$$

Hence, T is a contraction. Then there exists a unique solution of system (2) by the Banach fixed points theorem (22), (23). □

Theorem 6.4

Suppose that the function G is continuous and satisfies the following assumption:

$$\begin{aligned} \bigl\Vert G(t,s,z)-G(t,s,x) \bigr\Vert \leq h(t,s) \Vert z-x \Vert \end{aligned}$$
(25)

for \(t_{0}\leq s\leq t<\infty \) and \(\forall z,x\in \mathbb{R}^{n^{2}}\) such that

$$\begin{aligned} \sup_{t\in \mathbb{T}_{0}}\frac{1}{e_{\beta }(t,t_{0})} \int _{t_{0}}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s}h(s,u)\Delta u \Delta s< 1 \end{aligned}$$
(26)

and

$$\begin{aligned} N=\sup_{t\in \mathtt{T}_{0}} \bigl\Vert \psi _{P}(t,t_{0}) \bigr\Vert < \infty, \end{aligned}$$
(27)

where h is an rd-continuous nonnegative function on \(C=\{(t,s):t_{0}\leq s \leq t <\infty \}\). Thus, the zero unique solution of (2) is strongly stable on \(\mathbb{T}_{0}\).

Proof

For \(t_{0}\in \mathbb{T}_{0}\), equation (24) becomes

$$\begin{aligned} Tz(t)={}&\psi _{P}(t,t_{0})z(t_{0})+ \int _{t_{0}}^{t}\psi _{P}\bigl(t,\sigma (s) \bigr) \int _{t_{0}}^{s}G(s,u,z)\Delta u \Delta s \\ ={}&\psi _{P}(t,t_{1})\psi _{P}(t_{1},t_{0})z(t_{0})+ \int _{t_{0}}^{t_{1}} \psi _{P}\bigl(t,\sigma (s)\bigr) \int _{t_{0}}^{s}G(s,u,z)\Delta u \Delta s \\ &{}+ \int _{t_{1}}^{t}\psi _{P}\bigl(t,\sigma (s) \bigr) \int _{t_{0}}^{s}G(s,u,z) \Delta u \Delta s \\ ={}&\psi _{P}(t,t_{1})\psi _{P}(t_{1},t_{0})z(t_{0})+ \int _{t_{0}}^{t_{1}} \psi _{P}(t,t_{1}) \psi _{P}\bigl(t_{1},\sigma (s)\bigr) \int _{t_{0}}^{s}G(s,u,z) \Delta u \Delta s \\ &{}+ \int _{t_{1}}^{t}\psi _{P}\bigl(t,\sigma (s) \bigr) \int _{t_{0}}^{s}G(s,u,z) \Delta u \Delta s \\ ={}&\psi _{P}(t,t_{1})Tz(t_{1})+ \int _{t_{1}}^{t}\psi _{P}\bigl(t,\sigma (s) \bigr) \int _{t_{0}}^{s}G(s,u,z)\Delta u \Delta s. \end{aligned}$$

By applying Theorem (6.3), we deduce that there exists a unique solution z(t) of (2) on \(\mathbb{T}_{0}\) such that

$$\begin{aligned} \bigl\Vert z(t) \bigr\Vert ={}& \bigl\Vert \psi _{P}(t,t_{1}) \bigr\Vert \bigl\Vert z(t_{1}) \bigr\Vert + \int _{t_{1}}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s} \bigl\Vert G(s,u,z) \bigr\Vert \Delta u \Delta s \\ \leq{}& \sup_{t\in [t_{1},\infty )_{\mathbb{T}}} \int _{t_{1}}^{t} \bigl\Vert \psi _{P} \bigl(t, \sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s} \bigl\Vert G(s,u,z) \bigr\Vert \Delta u \Delta s \\ &{}+\sup_{t\in [t_{1},\infty )_{\mathbb{T}}} \bigl\Vert \psi _{P}(t,t_{1}) \bigr\Vert \bigl\Vert z(t_{1}) \bigr\Vert . \end{aligned}$$

Now, by using (25), we get

$$\begin{aligned} \bigl\Vert z(t) \bigr\Vert =\sup_{t\in \mathbb{T}_{0}} \bigl\Vert z(t) \bigr\Vert \leq{}& \bigl\Vert z(t_{1}) \bigr\Vert \sup _{t\in [t_{1}, \infty )_{\mathbb{T}}} \bigl\Vert \psi _{P}(t,t_{1}) \bigr\Vert \\ &{} +\sup_{w\in [t_{1},\infty )_{\mathbb{T}}} \bigl\Vert z(w) \bigr\Vert \sup _{t\in [t_{1}, \infty )_{\mathbb{T}}} \int _{t_{1}}^{t} \bigl\Vert \psi _{P} \bigl(t,\sigma (s)\bigr) \bigr\Vert \int _{t_{0}}^{s}h(s,u)\Delta u \Delta s \end{aligned}$$
(28)

for \(t\leq t_{0}\in \mathbb{T}_{0}\). Let \(\epsilon >0\) be an arbitrary constant, and let \(\delta (\epsilon )=\frac{\epsilon (1-A)}{M}\) such that

$$\begin{aligned} \bigl\Vert z(t_{1}) \bigr\Vert < \delta (\epsilon ), \end{aligned}$$
(29)

where \(A=\sup_{t\in \mathbb{T}_{0}}\int _{t_{1}}^{t} \Vert \psi _{P}(t,\sigma (s)) \Vert \int _{t_{0}}^{s}h(s,u)\Delta u \Delta s\).

Now (28), it becomes

$$\begin{aligned} &\sup_{t\in [t_{1},\infty )_{\mathbb{T}}} \bigl\Vert z(t) \bigr\Vert (1-A)\leq M \bigl\Vert z(t_{1}) \bigr\Vert , \\ &\sup_{t\in [t_{1},\infty )_{\mathbb{T}}} \bigl\Vert z(t) \bigr\Vert \leq \epsilon. \end{aligned}$$

Hence we proved the zero solution of (2) is strongly stable on \(\mathbb{T}_{0}\). □

7 Conclusion

The matrix Sylvester type systems that appear in mathematical physics and Volterra integro dynamical systems play an important role in many optimization and engineering problems. Recently, times scale calculus and dynamic equations on time scales have attracted much interest of many researchers due to their main feature of generalization and unification of continuous and discrete models. In this paper, we focus our attention on establishing the stability criteria for a nonlinear Volterra integro-dynamic matrix Sylvester system on time scales. The properties of Kronecker product of matrices are used to obtain the results. First, we convert the nonlinear Volterra integro-dynamic matrix Sylvester system on time scales into its equivalent vector dynamic system on time scales with the help of vectorization operator. Later, we obtain sufficient conditions for the stability, asymptotic stability, exponential stability, and strong stability for this system. The proposed results are valid for both continuous and discrete versions of Volterra integro-dynamic matrix Sylvester systems.

Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.

References

  1. Agarwal, R.P.: Difference Equations and Inequalities Theory Methods and Applications. Marcel Bekar, New York (1992)

    MATH  Google Scholar 

  2. Rao, T.S., Suresh Kumar, G., Murty, M.S.N.: ψ-stability for nonlinear difference equations. Thai J. Math. 16, 801–815 (2018)

    MathSciNet  MATH  Google Scholar 

  3. Hazarika, B., Karapinar, E., Rabbani, M.: Metric like spaces to prove existence of solution for nonlinear quadratic integral equations and numerical methods to solve it. J. Comput. Appl. Math. 328, 302–313 (2018)

    Article  MathSciNet  Google Scholar 

  4. Karapinar, E., Kumari Panda, S., Lateef, D.: A new approach to the solution of Fredholm integral equations via fixed point on extending b-metric spaces symmetry. Symmetry 10, 512 (2018)

    Article  Google Scholar 

  5. Kumari, S., Karapinar, E., Atagana, A.: A numerical schemes and comparisons for fixed point results with applications to solution of Volterra integral equations in d-metric spaces. Alex. Eng. J. 59(2), 815–827 (2020)

    Article  Google Scholar 

  6. Sevinik Adiguzel, R., Karapinar, E., Erthan, I.M.: A solution to nonlinear Volterra integro dynamic equations via fixed point theory. Filomat 33(16), 5333–5345 (2019)

    Article  MathSciNet  Google Scholar 

  7. Alqahtani, B., Aydi, K.E., Rakocevic, V.: A solution for Volterra fractional integral equations by hybrid contractions. Mathematics 7, 694 (2019)

    Article  Google Scholar 

  8. 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)

    Google Scholar 

  9. 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

    Article  MATH  Google Scholar 

  10. 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. RACSAM 115, Article ID 155 (2021)

    Article  MathSciNet  Google Scholar 

  11. Lazreg, J.E., Abbas, S., Benchohra, M., Karapınar, E.: Impulsive Caputo–Fabrizio fractional differential equations in b-metric spaces. Open Math. 19, 363–372 (2021)

    Article  MathSciNet  Google Scholar 

  12. Kim, I.-S.: Semilinear problems involving nonlinear operators of monotone type. Res. Nonlinear Anal. 2, 25–35 (2019)

    Google Scholar 

  13. Duc Phuong, N., Hoang Luc, N., Long, L.D.: Modified quasi boundary value method for inverse source problem of the bi-parabolic equation. Adv. Theory Nonlinear Anal. Appl. 4(3), 132–142 (2020)

    Google Scholar 

  14. Ein, H.S.: Maßkettenkalkul mit anwendung auf zentrmsmannigfaltingkeiten. PhD thesis, Univ. Wurzburg (1998)

  15. Hilger, S.: Analysis on measure chains a unified approach to continuous and discrete calculus. Results Math. 18, 18–56 (1990)

    Article  MathSciNet  Google Scholar 

  16. Bohner, M., Peterson, A.: Dynamic Equations on Time Scales an Introduction with Applications. Birkhäuser, Boston (2001)

    Book  Google Scholar 

  17. Bohner, M., Peterson, A.: Advances in Dynamic Equation on Time Scales. Birkhäuser, Boston (2003)

    Book  Google Scholar 

  18. Bohner, M.: Some oscillation criteria for first order delay dynamic equations. Far East J. Appl. Math. 18(3), 289–304 (2005)

    MathSciNet  MATH  Google Scholar 

  19. Tisdell, C.C., Zaidi, A.H.: Basic qualitative and quantitative results for solutions to nonlinear dynamic equations on time scales with an application to economic modelling. Nonlinear Anal. 68(11), 3504–3524 (2008)

    Article  MathSciNet  Google Scholar 

  20. Dacunha, J.J.: Stability for time varying linear dynamical systems on time scales. J. Comput. Appl. Math. 17, 381–410 (2005)

    Article  Google Scholar 

  21. Choi, S., Im, D.M., Koo, N.: Stability of linear dynamic systems on time scales. J. Differ. Equ. Appl. 15, 167–183 (2009)

    Article  MathSciNet  Google Scholar 

  22. Adivar, M.: Principal matrix solutions variations of parameter for Volterra integro-dynamic equations on time scales. Glasg. Math. J. 53, 468–480 (2011)

    Article  MathSciNet  Google Scholar 

  23. Kulik, T., Tisdell, C.C.: Volterra integral equations on time scale qualitative and quantitative results with applications to initial value problem on unbounded domains. Int. J. Differ. Equ. 3(1), 103–133 (2008)

    MathSciNet  Google Scholar 

  24. Appa Rao, B.V., Prasad, K.A.S.N.V.: Existence of ψ-bounded solutions for Sylvester matrix dynamical systems on time scales. Filomat 32(12), 4209–4219 (2018)

    Article  MathSciNet  Google Scholar 

  25. Agarwal, R.P., Aksoy, U., Karapinar, E., Erthan, I.M.: F-contraction mappings on metric like spaces in connection with integral equations on time scales. RACSAM 114), Article ID 147 (2020)

    Article  MathSciNet  Google Scholar 

  26. Dacunha, J.J.: Transition matrix and generalized matrix exponential via the Peano–Baker series. J. Differ. Equ. Appl. 11, 1245–1264 (2005)

    Article  MathSciNet  Google Scholar 

  27. Murty, M.S.N., Anjaneyulu, D., Suresh Kumar, G.: Conditioning of three-point boundary value problems associated with first order matrix Lyapunov systems. J. Nonlinear Sci. Appl. 4(2), 115–125 (2011)

    Article  MathSciNet  Google Scholar 

  28. Murty, M.S.N., Suresh Kumar, G.: On ψ-bounded solutions for non-homogeneous matrix Lyapunov systems on r. Electron. J. Qual. Theory Differ. Equ. 62, 1 (2009)

    Article  MathSciNet  Google Scholar 

  29. Murty, M.S.N., Suresh Kumar, G., Lakshmi, P.N., Anjaneyulu, D.: On ψ-instability of non-linear matrix Lyapunov systems. J. Korean Math. Soc. 45(5), 1361–1378 (2008)

    Article  MathSciNet  Google Scholar 

  30. Murty, M.S.N., Suresh Kumar, G.: On dichotomy and conditioning for two-point boundary value problems associated with first order matrix Lyapunov systems. Demonstr. Math. 42(4), 731–743 (2009)

    Google Scholar 

  31. Murty, M.S.N., Suresh Kumar, G., Appa Rao, B.V., Prasad, K.A.S.N.V.: On controllability of fuzzy dynamical matrix Lyapunov systems. Ann. West Univ. Timisoara Math. Comput. Sci. 2, 73–87 (2013)

    MathSciNet  MATH  Google Scholar 

  32. Appa Rao, B.V., Prasad, K.A.S.N.V.: Controllability and observability of Sylvester matrix dynamical systems on time scales. Kyungpook Math. J. 56, 529–539 (2016)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors would like to express their sincere thanks to the editor and anonymous reviewers for constructive comments and suggestions to improve the quality of this paper.

Funding

Not applicable.

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally to this article. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Sreenivasulu Ayyalappagari.

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/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ayyalappagari, S., Bhogapurapu, V.A.R. Stability criteria for nonlinear Volterra integro-dynamic matrix Sylvester systems on measure chains. Adv Differ Equ 2021, 514 (2021). https://doi.org/10.1186/s13662-021-03665-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-021-03665-6

Keywords