 Research
 Open Access
 Published:
A discrete Gronwall–Halanaytype inequality with infinite delay and its applications to difference equations
Journal of Inequalities and Applications volume 2023, Article number: 78 (2023)
Abstract
We establish a discrete Gronwall–Halanaytype inequality with infinite delay, which is not covered in the existing literature. As an application, a new criterion is obtained for the asymptotic stability of the zero solutions for a class of Volterra difference equations. A concrete example is also given to illustrate the efficiency of the general results.
1 Introduction
As can be seen in the literature, retarded differential or integral inequalities play a crucial role in the study of the qualitative behavior of delay differential equations. The first result in this direction was given in the earlier work of Hanalay [1] (see also [2, pp. 378]), which is now called Halanay’s inequality. This inequality can be seen as a retarded version of the classical Gronwall inequality. Since then, there have appeared various retarded inequalities, generalizing Halanay’s inequality to different cases; see, e.g., [3–11].
Very recently, Li et al. [6] established a new integral inequality involving finite (bounded) time delay, which can be seen as a more general extension of the Gronwall–Bellman inequality. It allows us to obtain necessary estimates for solutions of retarded differential equations in the same manner as in the situation of nonretarded equations; see [6, 12].
In applications, many problems from different areas such as sampleddata control, neural networks, economics, and biology are described by difference equations [13–18]. (The numerical computation of continuoustime systems also give rise to numerous difference equations.) As in the case of continuoustime systems, in many cases we have to fall back on difference inequalities while studying the dynamical behavior of difference equations. The interested reader is referred to [8, 13, 19, 20] etc., where one can find many nice results in this area.
In this note, we are basically interested in delay difference inequalities. As far as we know, the first result concerning this topic was given in Liz [21], which is actually a discretization of Hanalay’s inequality. Later, there appeared many such inequalities, most of which were focused on finite time delay [3, 4, 7, 18, 20–24]. In contrast to that of finite delay, the situation in the case of unbounded or infinite time delay seems to be much more complicated, in fact, even if the phase space for dealing with a problem involving infinite delay needs to be carefully constructed. Inspired by the work in [6], we establish a difference inequality parallel to the one in [6] in a more general setting of infinite delay, which is one of our main innovations. As the argument involved in the proof of the corresponding result in [6] depends heavily on the continuity of the inequality, such an extension is not trivial even in the special case of finite delay. We also mention that [6] only concerns finite time delay. Since the inequalities in this present work involve infinite delay, we need to put them into suitable phase spaces that are different from the usual ones used in [6] and overcome some new technical difficulties brought about by the delay, although the basic ideas used here are borrowed directly from [6].
As an application, we consider the asymptotic stability of the zero solution for the nonlinear Volterra difference system
where \(A(n)\) is an \(N\times N\) matrix for each \(n\in \mathbb{Z}\), and \(G\in C (\mathbb{Z}\times \mathbb{Z}\times \mathbb{R}^{N}; \mathbb{R}^{N} )\). Equation (1.1) is actually the discretization of the Volterra integrodifferential equation
(This type of equation arise in various fields such as the viscoelasticity theory and the processes of biomechanics; see, e.g., [25, 26] and references therein.) In the past two decades, there have appeared many nice works on the asymptotic behavior of such equations; see [16, 27–31], etc. In particular, in [31] Ngoc and Hieu studied the asymptotic stability of difference equations like (1.1) extensively by using the Perron–Frobenius theory and some comparison principles. Here, we give a new criteria for the asymptotic stability of the null solution of the equation by applying the delay difference inequality established here, which is not covered by the general results in [31].
This paper is organized as follows. Section 2 consists of some preliminary work. Specifically, we recall the notions of some suitable Banach spaces introduced in Matsunage and Murakami [32] and the notion of asymptotic stability. Section 3 is devoted to the main results mentioned above. In Sect. 4 we discuss the asymptotic stability of the Volterra difference equation (1.1). A concrete example will also be presented.
2 Preliminaries
This section consists of some preliminary work.

Notations and notions
Let \({\mathbb{Z}}\) and \({\mathbb{R}}\) denote the sets of integers and real numbers, respectively.
A subset \({\mathcal {I}}\) of \({\mathbb{Z}}\) is called an interval in \({\mathbb{Z}}\), if there is an interval \(J\subset {\mathbb{R}}\) such that \({\mathcal {I}}=J\cap {\mathbb{Z}}\). Clearly, both the sets \({\mathbb{Z}}^{+}\) of nonnegative integers and \({\mathbb{Z}}^{}\) of nonpositive integers are intervals in \({\mathbb{Z}}\). For an interval \(J\subset {\mathbb{R}}\), we denote by \(J_{{\mathbb{Z}}}\) the interval \(J\cap {\mathbb{Z}}\) in \({\mathbb{Z}}\).
A mapping y from an interval \({\mathcal {I}}\) in \({\mathbb{Z}}\) to a set X will be referred to as a sequence in X, usually written as \(y=y(n)\) or \(y=y_{n}\) (\(n\in {\mathcal {I}}\)).
Given an interval \({\mathcal {I}}\) in \({\mathbb{Z}}\), denote by \({\mathcal {S}} ({\mathcal {I}}; {\mathbb{R}}^{N} )\) the set of sequences \(y=y(n)\) (\(n\in {\mathcal {I}}\)) taking values in \({\mathbb{R}}^{N}\). If \(N=1\), we will simply write \({\mathcal {S}} ({\mathcal {I}}; {\mathbb{R}} )={\mathcal {S}} ({\mathcal {I}} )\).
Let \({\mathcal {S}}_{0}:={\mathcal {S}} ({\mathbb{Z}}^{}; {\mathbb{R}}^{N} )\).
Definition 2.1
Let \({\mathcal {I}}^{}=(\infty ,a]_{{\mathbb{Z}}}\), where \(\infty < a\leq \infty \). (Here, we identify \((\infty ,a]_{{\mathbb{Z}}}\) with \({\mathbb{Z}}\) if \(a=\infty \).) For each sequence \(y\in {\mathcal {S}} ({\mathcal {I}}^{}; {\mathbb{R}}^{N} )\), define the lift of y in \({\mathcal {S}}_{0}\) to be the sequence \(\hat{y}=y_{n}\) (\({n\in {\mathcal {I}}^{}}\)) given by

Admissible spaces
To deal with problems with infinite delay, we need to introduce the notion of an admissible space.
Definition 2.2
An admissible space \(\mathfrak{B}=(\mathfrak{B}, \\cdot \)\) is a Banach space consisting of sequences in \({\mathcal {S}}_{0}\) satisfying the following axiom (see [32]):

(A0)
There exists \(N_{0}>0\) and \(K,M\in {\mathcal {S}} ({\mathbb{Z}}^{+};{\mathbb{R}}^{+} )\) such that if \(x\in {\mathcal {S}} ({\mathbb{Z}}; {\mathbb{R}}^{N} )\) and \(x_{m}\in \mathfrak{B}\) for some \(m\in {\mathbb{Z}}\), then we have \(x_{n}\in \mathfrak{B}\) for all \(n\geq m\); furthermore,
$$ N_{0} \bigl\vert x(n) \bigr\vert \leq \Vert x_{n} \Vert \leq K(nm)\sup_{k\in [m,n]_{{\mathbb{Z}}}} \bigl\vert x(k) \bigr\vert +M(nm) \Vert x_{m} \Vert .$$(2.1)
As in the continuous case (see Hale and Kato [33, §3]), for an admissible space \(\mathfrak{B}\), we also assume that the functions \(K(n)\) and \(M(n)\) in axiom (A0) satisfy

(A1)
there exist constants \(K^{*}\) and \(M^{*}\) such that
$$ {K(n)\leq K^{*}}, \qquad M(n)\leq M^{*}, \quad n\in {\mathbb{Z}}^{+} $$(2.2)and
$$ M(n)\rightarrow 0 \ \text{as } n\rightarrow \infty . $$(2.3)
Remark 2.3
The requirement “if \(x\in {\mathcal {S}} ({\mathbb{Z}}; {\mathbb{R}}^{N} )\) and \(x_{m}\in \mathfrak{B}\) for some \(m\in {\mathbb{Z}}\), then we have \(x_{n}\in \mathfrak{B}\) for all \(n\geq m\)” in axiom (A0) is actually an expression of a fundamental completeness requirement on \(\mathfrak{B}\): if \(y\in \mathfrak{B}\), then the “expansion” ỹ of y by adding in y a finite number of elements \(a_{1},a_{2},\ldots ,a_{k}\in {\mathbb{R}}^{N}\) as below belongs to \(\mathfrak{B}\):
In fact, in the definition of \(\mathfrak{B}\), it is also natural to ask that if \(y\in \mathfrak{B}\), then the sequence obtained by simply deleting a finite number of elements from y belongs to \(\mathfrak{B}\). However, this latter requirement does not seem to be quite necessary in applications, hence, it is removed.
By (2.3) we see that if \(nm\) is large enough then the term \(M(nm)\x_{m}\\) in (2.1) can be very small. Hence, the second inequality in (2.1) indicates that the norm \(\x\\) of a sequence \(x\in \mathfrak{B}\) mainly concentrates on a finite segment of x. In applications, this corresponds to the principle of fading memory in areas such as continuum mechanics, etc.

Asymptotic stability
Let \(\mathfrak{B}\) be an admissible space. Given \(\phi \in \mathfrak{B}\), denote by \(y(n;m,\phi )\) the solution \(y = y(n)\) of equation (1.1) with initial data \(y_{m}=\phi \).
Suppose \(G(n,s,0)=0\) for all \(n\in {\mathbb{Z}}\) and \(s\leq n\), and hence \(y(n)\equiv 0\) is a trivial solution of equation (1.1).
The null solution 0 is called stable, if for every \(m\in { \mathbb{Z}}\) and \(\varepsilon >0\), there is \(\delta >0\) such that for every solution \(y=y(n;m,\phi )\) with \(\\phi \ \leq \delta \),
The null solution is said to be globally asymptotically stable (GAS in brief), if it is stable; furthermore, for every solution \(y=y(n;m,\phi )\) of (1.1), we have
It is said to be globally exponentially asymptotically stable (GEAS in brief), if for every \(m\in {\mathbb{Z}}\), there exist \(K,\sigma >0\) with \(\sigma <1\) such that
for every solution \(y=y(n;m,\phi )\).
Remark 2.4
By definition it is obvious that GEAS automatically implies GAS.
Remark 2.5
For a nonautonomous dynamical system, one can actually introduce different notions to describe the asymptotic behavior of the system, according to different stability and attracting properties. For instance, if we require the constants K and σ in the definition of GEAS to be independent of the initial time \(m\in {\mathbb{Z}}\), then we give a stronger notion of asymptotic stability, called the uniform global asymptotic stability.

Convention
Throughout this paper, we always assign the values of an empty sum and an empty product to be 0 and 1, respectively. For instance, if \(\{x(n)\}_{n\in {\mathbb{Z}}}\) is a sequence and \(n>m\), then we put
3 A discrete Gronwall–Halanaytype inequality with infinite delay
Denote by \(\mathscr{S}^{+}(Q)\) the family of nonnegative functions on \(Q:=({\mathbb{Z}}^{+})^{2}\), and define the families \(\mathscr{F}\) and \(\mathscr{G}\) of functions on Q as follows:
For every \(f\in {\mathscr{F}}\) and \(g\in \mathscr{G}\), we write
Let \((\mathfrak{B},\\cdot \)\) be an admissible space consisting of sequences in \({\mathcal {S}}({\mathbb{Z}}^{})\), and let
Given \(f\in {\mathscr{F}}\), \(g\in \mathscr{G}\) and \(\rho \geq 0\), consider the following inequality:
where \(y\in {\mathcal {S}}^{+}_{\mathfrak{B}}({\mathbb{Z}})\). For convenience in statement, set
Our main result is summarized in the following theorem.
Theorem 3.1
Let \(K^{*}\) and \(M^{*}\) be the constants in axiom (A1). Then, the following assertions hold:

(1)
If \(\kappa (g) K^{*}<1\), then for every \(y\in {\mathscr{L}}(f; g; \rho )\),
$$ \limsup_{n\rightarrow \infty} \Vert y_{n} \Vert \leq \mu \rho , \quad \textit{where } \mu =\frac{K^{*}}{1\kappa (g) K^{*}}. $$(3.2) 
(2)
If \(\kappa (g) K^{*}<1/(1+M^{*}+\vartheta (f)K^{*})\), then there exist \(B,\sigma >0\) with \(\sigma <1\) such that
$$ \Vert y_{n} \Vert \leq B \Vert y_{0} \Vert \sigma ^{n}+\gamma \rho , \quad n \in {\mathbb{Z}}^{+} $$(3.3)for all \(y\in {\mathscr{L}}(f; g; \rho )\), where
$$ \gamma =\frac{1+\mu }{1\kappa (g) K^{*}c},\qquad c=\max \biggl\{ \frac{K^{*}\vartheta (f)+M^{*}}{1\kappa (g) K^{*}},1 \biggr\} . $$(3.4)
Remark 3.2
Under the hypothesis in assertion (2), one trivially verifies that \(\kappa (g) K^{*}c <1\). Hence, the constant γ in (3.4) is well defined.
Note also that the definition of μ in (3.2) implies that
Remark 3.3
Theorem 3.1 can be seen as a generalization of the inequalities in [32, Lemma A.3] and [20, Theorem 3]. We mention that [32, Lemma A.3] only concerns finite delay, and [20, Theorem 3] focuses on unbounded delay. Note also that our inequality given here takes a quite different form from the two in the literature mentioned above. It is in fact a discrete version of some integral Halanaytype inequalities with infinite delay in the literature.
To simplify the notation, in what follows we will write
To prove Theorem 3.1, let us first give an estimate for \(\y_{n}\\):
Lemma 3.4
Suppose that \(\kappa K^{*}< 1\). Let \(y\in {\mathscr{L}}(f; g; \rho )\), then
where μ and c are the constants defined in (3.2) and (3.4), respectively.
Proof
To prove (3.6), it suffices to check that for any \(\varepsilon >0\),
For clarity, we write \(A_{\varepsilon }:=\y_{0}\+\varepsilon \). We argue by contradiction and suppose that (3.7) was false. Then, there would exist \(\ell \in {\mathbb{Z}}\) with \(\ell \geq 1\) such that
Combining (2.1), (3.1), and (3.9) we derive that
where
and j is the nonnegative integer such that the following equality is fulfilled:
\(\delta _{j\ell}\) is the Kronecker symbol, i.e., \(\delta _{\ell \ell}=1\) and \(\delta _{j\ell}=0\) with \(j\neq \ell \). Hence,
Noting that \(1K^{*}g(\ell ,\ell )\delta _{j\ell}\geq 1\kappa K^{*}>0\), it follows from (3.8) that
Observing that
by (3.10) and the assumption \(\sup_{k\in [0,\ell ]_{{\mathbb{Z}}}}\sum_{i = 0}^{k}{g(k,i)}\leq \kappa \), we deduce that
Since \(A_{\varepsilon }>0\), (3.11) implies \(c < (K^{*}\vartheta +M^{*})/(1\kappa K^{*}) \leq c\), which is a contradiction. □
Remark 3.5
Let \(y \in {\mathscr{L}}(f;g;\rho )\). For \(\ell \in {\mathbb{Z}}^{+}\), if we set \(\tilde{y}(n)=y(n+\ell )\), and define
for \(n,m \in {\mathbb{Z}}^{+}\), then one easily checks that \(\tilde{y} \in {\mathscr{L}}(f;g;\rho )\) with
Thus, by Lemma 3.4 we see that
Proof of Theorem 3.1.
(1) We check the validity of the conclusion in (3.2).
Suppose the contrary. Then, since y is bounded (see Lemma 3.4), we would have
for some \(\delta >0\). Take a nondecreasing sequence \(\tau _{n}\in {\mathbb{Z}}^{+}\) with \(\tau _{n}\rightarrow \infty \) such that \(\lim_{n\rightarrow \infty} \y_{\tau _{n}}\=\mu \rho +\delta \).
Let \(\varepsilon >0\) be arbitrary. Take a \(T>0\) sufficiently large such that
Then, for each \(\tau _{n}>T\) and \(j\in {\mathbb{Z}}^{+}\) sufficiently large, by axiom (A0), we deduce that \(y_{\tau _{n}}, y_{\tau _{n+j}}\in \mathfrak{B}\), and
Setting \(j\rightarrow \infty \) in the above inequality, it follows from (2.3) that
Since \(f\in \mathscr{F}\) and therefore \(\sup_{k\in [\tau _{n},\infty )_{{\mathbb{Z}}}}f(k,T)\rightarrow 0\) as \(\tau _{n}\rightarrow \infty \), setting \(n\rightarrow \infty \) in the above inequality this yields
As ε is arbitrary, we finally obtain that
This and (3.5) imply that \(\delta \leq \kappa K^{*}\delta \), i.e., \(\kappa K^{*}\geq 1\), which leads to a contradiction and completes the proof of (3.2).
(2) Now, we assume that \(\kappa K^{*}<1/(1+M^{*}+K^{*}\vartheta )\). To derive the exponential decay estimate in (3.3), let us first prove a temporary result:
There exists a positive number \(\sigma < 1\) and an integer \(N>0\) such that if \(\y_{0}\ \leq C+\gamma \rho \) with \(C>0\), then
For this purpose, we take a real number λ as
where μ is the number given in (3.2). (Here and below \([p]\) denotes the integer part of a real number p.) By Remark 3.2, it is easy to see that \(\lambda < 1\). Define
Since \(\gamma > \mu \) (see (3.4)) and \(C >0\), by (3.2) it is clear that \(\eta < \infty \). Therefore, we necessarily have
In what follows let us give an estimate for the upper bound of η.
By (2.3), there exists a positive integer \(n_{0}\) such that
As \(f\in {\mathscr{F}}\), we can also take a number \(n_{1}\in [0, \infty )_{{\mathbb{Z}}}\) with \(n_{0}< n_{1}\) such that
Let \(\tau =[\eta /2]\), and set
In what follows we show that
It then follows that
which is precisely what we desired.
We argue by contradiction and suppose \(\tau >n_{1}\). Then, by (3.18) it can be easily seen that
On the other hand, by (2.1) we have
Noting that \(\eta \tau \geq \tau >n_{1}>n_{0}\), it follows from (3.17) that
Since \(\y_{0}\ \leq C+\gamma \rho \), we infer from the above estimate that
By the definitions of γ and r (see (3.4) and (3.14)) one easily verifies that
Therefore, by (3.16) and (3.20), we deduce that
The definition of γ and (3.19) also imply that
by which we find that the second term in the righthand side in (3.21) is less than γρ. Combining this with (3.21) yields
Hence,
which contradicts (3.19).
By the definition of η in (3.15), we have proved that if \(\y_{0}\\leq C+\gamma \rho \) then
Note that the constants λ, γ, and η are independent of C.
Define
Then, ỹ satisfies a similar inequality as y does. Since \(\\tilde{y}_{0}\ \leq \lambda C+\gamma \rho \), the same argument as above applies to show that
i.e.,
Repeating the above procedure we finally obtain that
Setting \(\sigma =\exp \{\ln \lambda /(2N)\}\), one has
The estimate (3.13) then follows from (3.22).
We are now in a position to accomplish the proof of the theorem.
Note that (3.12) implies that if \(\y_{0}\=0\), then
and therefore the conclusion trivially holds true. Thus, we assume \(\y_{0}\>0\).
Take \(C=\y_{0}\\). Clearly \(\y_{0}\=C \leq C+\gamma \rho \). Therefore, by (3.13) we have
On the other hand, by (3.6) we deduce that
Set \(B=c\sigma ^{N}\). Then,
Combining this with (3.23) we immediately arrive at the estimate (3.3). □
4 Asymptotic stability of nonautonomous difference equations with infinite delay
As an application for Theorem 3.1, we now consider the asymptotic stability of the null solution of system (1.1). Assume that the mapping G in (1.1) satisfies the following hypotheses:

(G1)
There is a mapping \(c:{{\mathbb{Z}}}\times {\mathbb{Z}}\rightarrow {\mathbb{R}}^{+}\) such that
$$ \bigl\vert G(n,s,y) \bigr\vert \leq c(n,s) \vert y \vert , \quad (n,s,y)\in {{\mathbb{Z}}}\times {\mathbb{Z}}\times {\mathbb{R}}^{N}, {s \leq n}.$$(4.1) 
(G2)
There is \(p>0\) such that
$$ \beta (n):=\sum^{n}_{s=\infty }c(n,s)e^{p(n s)}< \infty , \quad \forall n\in {{\mathbb{Z}}}. $$
Note that (4.1) implies \(G(n,s,0)=0\) for all \(n,s\in { \mathbb{Z}}\), \(s\leq n\), hence \(y(n)\equiv 0\) is a solution of (1.1).
Define
It is easy to check that \((\mathfrak{B}^{p} ,\\cdot \)\) is an admissible phase space for equation (1.1) with the corresponding constants in axioms (A0) and (A1) to be taken as
(In what follows we will also use the notation \(\\cdot \\) to denote the operator norm of a matrix, hoping that this will cause no confusion.)
Given \(m\in {\mathbb{Z}}\), denote by \(y(n;m,\phi )\) the solution \(y = y(n)\) of equation (1.1) with initial value \(y_{m}=\phi \in \mathfrak{B}^{p}\). Write
where I denotes the identity matrix. (By the convention in Sect. 2, if \(n1< m\) then we assign \(E(n,m)=1\).) Set
Theorem 4.1
Suppose that \(\I+A(n)\\neq 0\) for all \(n\in {\mathbb{Z}}\), and that

(1)
If \(\kappa < 1\), then the null solution 0 of equation (1.1) is GAS.

(2)
If \(\kappa <1/(2+\vartheta )\), then it is GEAS.
Proof
We first show that for any solution \(y=y(n,m;\phi )\) of equation (1.1),
where \(c>0\) is a constant that is defined as in (3.4) and is therefore independent of \(m\in {\mathbb{Z}}\). Hence, the zero solution is stable.
For simplicity, we may put \(m=0\). Solving (1.1) by variation of constants formula for difference equations (see, e.g., [13, §2.5.]) we find that
where \(h(n,y_{n})=\sum^{n}_{s=\infty }G(n,s,y(s))\). By (G1) and (G2) we have
Making use of the property of the norm \(\\cdot \\) of \(\mathfrak{B}^{p}\) as stated in (2.1) and the above estimate, we easily derive that
Since \(\kappa < 1\), by Lemma 3.4 one immediately concludes the validity of (4.2).
To prove assertion (1), it remains to check that for any solution \(y=y(n,m;\phi )\) of equation (1.1),
As above, once again we can put \(m=0\). Then, y satisfies the inequality (4.3). The asymptotic property in (4.4) then directly follows from Theorem 3.1(1).
Assertion (2) can be obtained by making use of the inequality in (4.3) and applying Theorem 3.1(2). We omit the details. □
Remark 4.2
The global exponential stability of the null solution for difference equations like (1.1) was extensively studied in Ngoc and Hieu [31] by using the Perron–Frobenius theory. We mention that our result and method here are different from those in [31] in some aspects.
Example 4.3
Consider the difference equation:
where \(\Delta y(n)=y(n+1)y(n)\), g is a globally Lipschitz continuous function with Lipschitz constant L and \(g(0)=0\).
We observe that \(G(n,s,y)=\frac{1}{3^{ns}}g(y)\) satisfies (G1) and (G2) with \(p=\ln 2\) and \(\beta (n)\equiv 3L\). Since \(\sin \frac{2\pi n}{3}\) is a periodic function with period 3, for each \(k\in {\mathbb{Z}}^{+}\), we have
Thus, \(E(m+n,m)\rightarrow 0\) as \(n\rightarrow +\infty \) uniformly with respect to \(m\in {\mathbb{Z}}\). It is also easy to check that \({\vartheta }=1+\frac{\sqrt{3}}{2}\), and
According to Theorem 4.1, we deduce the following results.
Proposition 4.4
If \(L <1/ (12+2\sqrt{3} ) {\approx 0.064665}\), then the null solution of equation (4.5) is GAS in \(\mathfrak{B}^{\ln 2}\); and if \(L <1/ (39+12\sqrt{3} ) {\approx 0.016726}\), then it is GEAS in \(\mathfrak{B}^{\ln 2}\).
We now give the numerical simulation of equation (4.5) via Matlab to verify the correctness of our results. For simplicity, we assume that \(g(x)=Lx\) and
Thus, \(y_{0}\in \mathfrak{B}^{\ln 2}\). Indeed,
Taking \(L=0.0645\) and \(L=0.0165\), our PC produces Fig. 1 and Fig. 2 as follows.
Remark 4.5
We remark that the global exponential stability of the null solution of equation (4.5) can not be derived by applying [31, Theorem 3.2 or Corollary 3.5]. Indeed, if we take \(n=3k1\) (\(k=0,1,\cdots \)) in this example, then
which indicates that the conditions required in [31, Theorem 3.2 or Corollary 3.5] are not satisfied.
Availability of data and materials
Available.
References
Halanay, A.: Inégalités différentielles à retardement et une application à un problème de la théorie de la stabilité des systèmes à retardement. Com. Acad. R. P. Romîne 11, 1305–1309 (1961)
Halanay, A.: Differential Equations: Stability, Oscillations, Time Lags. Academic Press, New York (1966)
Baker, C.T.H.: Development and application of Halanaytype theory: evolutionary differential and difference equations with time lag. J. Comput. Appl. Math. 234, 2663–2682 (2010)
Baker, C.T.H., Tang, A.: Generalized Halanay inequalities for Volterra functional differential equations and discretized versions. In: Corduneanu, C., Sandberg, I.W. (eds.) Volterra Equations and Applications, pp. 39–55. Gordon & Breach, Amsterdam (2000)
ElDeeb, A.A., Baleanu, D.: Some new dynamic GronwallBellmanPachpatte type inequalities with delay on time scales and certain applications. J. Inequal. Appl. 2022, 45 (2022)
Li, D.S., Liu, Q., Ju, X.W.: Uniform decay estimates for solutions of a class of retarded integral inequalities. J. Differ. Equ. 271, 1–38 (2021)
Mohamad, S., Gopalsamy, K.: Continuous and discrete Halanaytype inequalities. Bull. Aust. Math. Soc. 61, 371–385 (2000)
Pachpatte, B.G.: Integral and Finite Difference Inequalities and Applications. NorthHolland Mathematics Studies, vol. 205. Elsevier, Amsterdam (2006)
Wang, Y.Q., Lu, J.Q., Lou, Y.J.: Halanaytype inequality with delayed impulses and its applications. Sci. China Inf. Sci. 62(9), 192206 (2019)
Wang, W.S.: A generalized Halanay inequality for stability of nonlinear neutral functional differential equations. J. Inequal. Appl. 2010, 475019 (2010)
Wen, L.P., Yu, Y.X., Wang, W.S.: Generalized Halanay inequalities for dissipativity of Volterra functional differential equations. J. Math. Anal. Appl. 347(1), 169–178 (2008)
Li, D.S., Wang, R.J., Wang, J.T., Yang, X.G.: Global existence, regularity, and dissipativity of retarded reactiondiffusion equations with supercritical nonlinearities. Preprint
Agarwal, R.P.: Difference Equations and Inequalities. Theory, Methods and Applications, 2nd edn. Monographs and Textbooks in Pure and Applied Mathematics, vol. 288. Dekker, New York (2000)
Brunner, H., Houwen, P.J.: The Numerical Solution of Volterra Equations. CWI Monographs, vol. 3. NorthHolland, Amsterdam (1986)
Cheban, D.N., Mammana, C., Michetti, E.: Nonautonomous difference equations: global attractor in a businesscycle model with endogenous population growth. Dyn. Syst. Appl. 24(1–2), 17–33 (2015)
Elaydi, S.: An Introduction to Difference Equations, 3rd edn. Undergraduate Texts in Mathematics. Springer, New York (2005)
Lakshmikantham, V., Trigiante, D.: Theory of Difference Equations: Numerical Methods and Applications. Dekker, New York (2002)
Liu, X.G., Wang, F.X., Tang, F.X., Qiu, S.B.: Stability and synchronization analysis of neural networks via Halanaytype inequality. J. Comput. Appl. Math. 319, 14–23 (2017)
Qin, Y.M.: Integral and Discrete Inequalities and Their Applications. Vol. I. Linear Inequalities. Birkhäuser, Berlin (2016)
Song, Y.F., Shen, Y., Yin, Q.: New discrete Halanaytype inequalities and applications. Appl. Math. Lett. 26(2), 258–263 (2013)
Liz, E., Ferreiro, J.B.: A note on the global stability of generalized difference equations. Appl. Math. Lett. 15, 655–659 (2002)
Agarwal, R.P., Kim, Y.H., Sen, S.K.: New discrete Halanay inequalities: stability of difference equations. Commun. Appl. Anal. 12(1), 83–90 (2008)
Liz, E., Ivanov, A.F., Ferreiro, J.B.: Discrete Halanaytype inequalities and applications. Nonlinear Anal. 55, 669–678 (2003)
Udpin, S., Niamsup, P.: New discrete type inequalities and global stability of nonlinear difference equations. Appl. Math. Lett. 22(6), 856–859 (2009)
Burton, T.A.: Volterra Integral and Differential Equations, 2nd edn. Mathematics in Science and Engineering, vol. 202. Elsevier, Amsterdam (2005)
Corduneanu, C., Lakshmikantham, V.: Equations with unbounded delay: a survey. Nonlinear Anal. 4(5), 831–877 (1980)
Agarwal, R.P., Cuevas, C., Frasson, M.V.S.: Semilinear functional difference equations with infinite delay. Math. Comput. Model. 55, 1083–1105 (2012)
Braverman, E., Karabash, I.M.: BohlPerrontype stability theorems for linear difference equations with infinite delay. J. Differ. Equ. Appl. 18, 909–939 (2012)
Elaydi, S.: Stability and asymptoticity of Volterra difference equations: a progress report. J. Comput. Appl. Math. 228, 504–513 (2009)
Kolmanovskii, V.B., CastellanosVelasco, E., TorresMunoz, J.A.: A survey: stability and boundedness of Volterra difference equations. Nonlinear Anal. 53(7–8), 861–928 (2003)
Ngoc, P.H.A., Hieu, L.T.: On exponential stability of nonlinear Volterra difference equations in phase spaces. Math. Nachr. 288(4), 443–451 (2015)
Matsunaga, H., Murakami, S.: Some invariant manifolds for functional difference equations with infinite delay. J. Differ. Equ. Appl. 10(7), 661–689 (2004)
Hale, J.K., Kato, J.J.: Phase space for retarded equations with infinite delay. Funkc. Ekvacioj 21(1), 11–44 (1978)
Acknowledgements
The authors would like to thank the anonymous referees for their valuable comments and constructive suggestions that helped them greatly improve the quality of the paper.
Funding
This work was supported by the NNSF of China (Nos.: 12271399, 11871368).
Author information
Authors and Affiliations
Contributions
The authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chen, F., Li, D. A discrete Gronwall–Halanaytype inequality with infinite delay and its applications to difference equations. J Inequal Appl 2023, 78 (2023). https://doi.org/10.1186/s13660023029791
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660023029791
MSC
 26D15
 39A30
 39B62
Keywords
 Discrete Gronwall–Halanaytype inequality
 Infinite delay
 Volterra difference equation
 Asymptotic stability