- Research
- Open access
- Published:
Boundedness and stability of discrete Volterra equations
Advances in Difference Equations volume 2015, Article number: 47 (2015)
Abstract
In this paper, using the fixed point theorem, we investigate the boundedness and asymptotic stability of the zero solution of the discrete Volterra equation
Necessary conditions for the existence of a periodic solution of the above equation are also obtained.
1 Introduction
Let ℕ, ℤ, ℝ denote the set of nonnegative integers, the set of all integers and the set of real numbers, respectively, and \(\mathbb{N}_{0}=\{n_{0},n_{0} +1,\dots\}\), where \(n_{0}\in\mathbb{N}\).
In this paper we consider the linear discrete Volterra equation of non-convolution type of the form
where \(a, b\colon\mathbb{N}_{0} \rightarrow\mathbb{R}\), \(b(n)\neq0\) for \(n\geq n_{0}\), \(K\colon \mathbb{N}_{0}\times\mathbb{N}_{0} \rightarrow \mathbb{R}\). By a solution of equation (1) we mean a sequence \(x\colon\mathbb{N}_{0} \rightarrow\mathbb{R}\) satisfying equation (1) for all \(n\geq n_{0}\).
We introduce some notation and definitions that will be used in the paper. Hereafter, we denote the solution of equation (1) with the initial condition \(x(n_{0})=x_{0}\) by \(x(n,n_{0},x_{0})\).
Definition 1
Solutions of equation (1) are equi-bounded if for each constant \(M_{1} > 0\), there is \(M_{2} > 0\) such that \(\vert x_{0}\vert \leq M_{1}\) and \(n\geq n_{0}\) implies that \(\vert x(n, n_{0}, x_{0})\vert \leq M_{2}\).
If \(a(n)\equiv0\) in equation (1), then (1) takes the following form:
Definition 2
The zero solution of equation (2) is stable if for every \(\varepsilon>0\) there exists \(\delta>0\) such that \(\vert x_{0}\vert \leq \delta\) implies \(\vert x(n, n_{0}, x_{0})\vert \leq\varepsilon\) for \(n\geq n_{0}\).
Definition 3
The zero solution of equation (2) is asymptotically stable if there exists \(\mu>0\) such that \(\vert x_{0}\vert \leq\mu\) implies \(\lim_{n\rightarrow\infty} x(n)=0\).
Denote the Banach space of all bounded real sequences \(x\colon\mathbb {N}_{0}\to\mathbb{R}\) equipped with the supremum norm \(\Vert x \Vert =\sup_{n\geq n_{0}}\vert x(n)\vert \) by BS.
We will also adopt the customary notations
where k is an integer, s is a positive integer and u is a sequence of real numbers.
Volterra difference equations are widely used in modeling of processes in many branches of natural sciences, economics and engineering. Some important properties of their solutions are boundedness, stability and periodicity. Boundedness of solutions of linear discrete Volterra equations has been studied by many authors. For example, Kolmanovskii and Shaikhet [1] have established a necessary and sufficient condition for boundedness of all solutions of the linear Volterra equation
where \(A(j,i)\geq0\), \(j\geq i\geq0\).
Appleby et al. [2] found sufficient conditions in terms of the kernel H under which every solution of the system of linear Volterra equations
is convergent. The necessary and sufficient conditions for boundedness of all solutions of the above equation are given by Győri and Reynolds in [3].
In [4], Khandaker and Raffoul studied the stability properties of the zero solution of the nonlinear Volterra discrete system
by expressing the solution in terms of the resolvent matrix. Here, the authors assumed that \(\vert g(n, x(n))\vert \leq\lambda (n)\vert x(n) \vert \), where \(\lambda(n)\) is such that \(0\leq\lambda(n) \leq N < \infty\) for some constant N. A scalar case of the above equation is also considered in Section 4 of Raffoul [5].
Yankson, in [6], studied the asymptotic stability of the zero solution of the Volterra difference delay equation
Since the condition \(0\leq g(n)\leq g_{0}\) is assumed, then equation (1) cannot be obtained as a special case of this equation.
Boundedness of solutions of linear and nonlinear discrete Volterra equations was also studied by Crisci et al. [7], Diblík and Schmeidel [8], Gronek and Schmeidel [9], Győri and Awwad [10], Győri and Horváth [11], Kolmanovskii and Shaikhet [1], Medina [12], Migda and Migda [13] or Migda and Morchało [14]. A survey of the fundamental results on the stability of linear Volterra difference equations, of both convolution and non-convolution type, can be found in Elaydi [15], see also Crisci et al. [16] and [17]. The problem of finding periodic and asymptotically periodic solutions of linear discrete Volterra equations of type (1) was investigated, for example, by Diblik et al. [8, 18–21], Elaydi [22], Gajda et al. [23], Győri and Reynolds [24], Migda and Migda [13] or Song and Baker [25].
Motivated by the results obtained in the papers by Islam and Yankson [26] and Raffoul [27], in this paper, we derive explicit sufficient conditions for the equi-boundedness of solutions of equation (1) and the asymptotic stability of the zero solution of equation (2).
We prove our main results using the variation of constants formula and the contraction mapping principle. We study necessary conditions for the existence of periodic solutions. Our results generalize certain results obtained in [9] and [1]. Moreover, they can be applied to equations for which the results obtained in some of the above mentioned papers could not be used (see Examples 1-3).
2 Boundedness and stability
Let us note that by the variation of constants formula, the solution of equation (1) satisfies the following equation:
where \(x(n_{0})=x_{0}\). Using this fact we prove the following theorems.
Theorem 1
Suppose that
and there exists a nonnegative real constant B such that
Assume also that there exists \(\alpha\in(0,1)\) such that
Then the solutions of equation (1) are equi-bounded.
Proof
By (4), there exists a nonnegative real constant A such that \(\sum_{n=n_{0}}^{\infty} \vert a(n)\vert =A\). Let \(M_{1}>0\) be given. Choose a real number \(M_{2}\) such that \(\frac {(A+M_{1}) B}{1-\alpha} \leq M_{2}\). Let \(u_{0}\) be a real number such that \(\vert u_{0}\vert \leq M_{1}\). We define a subset S of BS by
Then S is a closed subset of BS. Now, we define the mapping \(T\colon S\rightarrow BS\) as follows:
We will prove that T has a fixed point in S.
Firstly, we show that \(T(S)\subset S\). Indeed, if \(x \in S\), then by (7), (6), (4) and (5), we get
Moreover, we have \((Tx)(n_{0})=u_{0}\). Hence, \(T(x) \in S\) and \(T(S)\subset S\).
Next, we prove that T is a contraction. Let \(y,z \in S\). Then, using (6) and (7), we get
Thus
Hence, T is a contraction. By the contraction mapping principle, T has a unique fixed point \(x^{*}\) in S. It means that \((Tx^{*})(n)=x^{*}(n)\). So, from (7) we have
By comparing the above equation and (3), we see that the unique fixed point \(x^{*}\) is also a solution of equation (1). Hence, by the definition of the set S, the solutions of equation (1) are equi-bounded. This completes the proof. □
Theorem 1 extends Theorem 2.1 in [1] and Theorem 1 in [9].
The following example illustrates the result presented in Theorem 1.
Example 1
Let us consider the linear Volterra difference equation
Here
Hence \(A=\sum_{n=1}^{\infty}\frac{1}{n(n+1)}= 1\), \(B =\prod_{j=1}^{\infty}b(j)=1\),
So, by Theorem 1 the solutions of (1) are equi-bounded. For example, for \(M_{1}=1\) we have \(M_{2}\geq\frac{(A+M_{1}) B}{1-\alpha}= 4\). Hence, all solutions with the initial condition \(\vert x(1)\vert \leq1\) have the property \(\Vert x\Vert \leq4\).
Note that for equation (8), Theorem 1 in [28] cannot be applied since the assumption given below of this theorem
where \(\alpha\in(0,1)\), \(\varphi(n)\geq0\), \(n\geq1\), is not satisfied.
In the next example we present a Volterra difference equation for which condition (24) from [2] does not hold. Hence, Theorem 5.1 [2] is not applicable for this example whereas our Theorem 1 is.
Example 2
Let us consider the linear Volterra difference equation
Here
It is easy to verify that conditions (5) and (6) are satisfied. So, by Theorem 1 the solutions of (9) are equi-bounded.
Remark 1
From Theorem 3.1 in [7] it follows that the boundedness of equation (2) is equivalent to the stability of its zero solution. Hence, and by Theorem 1, conditions (5) and (6) ensure the stability of the zero solution of equation (2).
Now, we provide conditions for the asymptotic stability of the zero solution of equation (2).
Theorem 2
If condition (6) holds and
then the zero solution of equation (2) is asymptotically stable.
Proof
By (10) there exists a constant \(B_{1}\) such that \(\vert \prod_{i=n_{0}}^{n-1}b(i)\vert \leq B_{1}\) for \(n\geq n_{0}\). Let \(M >0\) be given. Choose \(\mu>0\) such that
Let \(u_{0}\) be a real number such that \(\vert u_{0} \vert \leq\mu\). We define a subset \(S_{1}\) of BS by
Then \(S_{1}\) is a closed subset of BS. We define the mapping \(T_{1}\) for \(x\in S_{1}\) as follows:
We show that \(T_{1}(S_{1})\subset S_{1}\). Indeed, if \(x \in S_{1}\), then by (6) and (11) we have
Moreover, from (10) we immediately get that the first term on the right-hand side of (12) tends to zero. We show that
Let \(\varepsilon>0\). Since \(\lim_{n\to\infty} x(n)=0\), there exists \(n_{1}\geq n_{0}\) such that
By (10) there exists \(n_{2} \geq n_{1}\geq n_{0}\) such that
Then, for \(n\geq n_{2}\), we have
From the above, the definition of the set \(S_{1}\), (6), (13) and (14), we obtain
Thus, the second term of formula (12) tends to zero, too. So, we have \(\lim_{n\to\infty}(Tx)(n)=0\). Hence, \(T_{1}(x) \in S_{1}\) and \(T_{1}(S_{1})\subset S_{1}\).
Similarly as in the proof of Theorem 1, we get that T has a fixed point. This fixed point solves equation (1) and tends to zero. Hence, the zero solution of equation (2) is asymptotically stable. □
Example 3
Let us consider the linear Volterra difference equation
Here
It is easy to verify that conditions (5) and (6) are satisfied. So, by Theorem 1 the solutions of (15) are equi-bounded. Moreover, since condition (10) is also satisfied, by Theorem 2 the zero solution of equation (15) is asymptotically stable.
Note that the result about asymptotic stability of the zero solution obtained in the section Scalar Equation (see Example 3.1) of [4] is not applicable here because assumption vi) \(\sum_{n=1}^{\infty} \vert K(n,i)\vert \leq C\), where C is a positive constant, for (15) is not satisfied. Similarly, Theorem 2.7 of [7] could not be applied for (15) since the kernel \(K(n,i)= \frac{1}{2n}\) does not satisfy condition (2.28).
In Proposition 3.2 of [3], the necessary and sufficient conditions for boundedness of all solutions of equations of type (2) are given. It is easy to see that for (15), assumption (17) of [3] does not hold. But, as it was shown above, each solution of this equation is bounded. Corollary 3.7 of [3] is not applicable here, too.
3 Existence of periodic solutions
In this section we give necessary conditions for the existence of periodic solutions of equation (1) assuming the periodicity conditions
and
for some integer \(q \geq1\). If condition (17) is satisfied, then the sequence K is said to be doubly q-periodic sequence.
Denote \(P_{q}= \{x \in BS\colon x(n+q)=x(n) \}\). Let us consider the system of linear equations
where
and \(x(n_{0}), x(n_{0}+1), \dots, x(n_{0}+q-1)\) are the unknowns. Denote the fundamental matrix of system (18) by \(A_{q}\), i.e.,
In the next theorem we give necessary conditions for the existence of a periodic solution of equation (1).
Theorem 3
Let conditions (16) and (17) hold, and let \(A_{q}\) be the matrix defined by (19). If there exists a q-periodic solution of equation (1), then \(\det A_{q} =0\).
Proof
Let \(x \in P_{q}\) be a nontrivial solution of equation (1). Then, by (1), we have
Hence, using (16) and (17), we get
Thus, by the q-periodicity of x and K, we get
This means that the above system has a nontrivial solution for any \(n\geq n_{0}\). By the periodicity of the sequences x and K, system (20) is equivalent to system (18). Hence, system (18) has a nontrivial solution, too. Thus \(\det A_{q} =0\). This completes the proof. □
Remark 2
From the proof of Theorem 3 it follows that if x is a q-periodic solution of (1), then x has the following form
where \((c_{1}, c_{2}, \dots, c_{q})\) is a certain solution of system (18).
Example 4
Let us consider the linear Volterra difference equation of the form (1), where sequences a, b, K are 3-periodic, \(n_{0}=1\) and
and
The considered equation has a 3-periodic solution x of the form
It is easy to check that \(\det A_{3} =0\) and the triple \((1,0,-1)\) is a solution of system (18).
The next example shows that the condition \(\det A_{q} =0\) is not sufficient for the existence of a q-periodic solution of (1).
Example 5
Let us consider the linear Volterra difference equation of the form (1), where sequences a, b, K are 2-periodic, \(n_{0}=1\) and
Then \(\det A_{2} =0\), but it is easy to check that the considered equation does not have a 2-periodic solution.
For some periodic difference equations and systems, see also, for example, [29, 30] or [31].
References
Kolmanovskii, V, Shaikhet, L: Some conditions for boundedness of solutions of difference Volterra equations. Appl. Math. Lett. 16, 857-862 (2003)
Appleby, JAD, Győri, I, Reynolds, DW: On exact convergence rates for solutions of linear systems of Volterra difference equations. J. Differ. Equ. Appl. 12, 1257-1275 (2006)
Győri, I, Reynolds, DW: Sharp conditions for boundedness in linear discrete Volterra equations. J. Differ. Equ. Appl. 15, 1151-1164 (2009)
Khandaker, TM, Raffoul, YN: Stability properties of linear Volterra discrete systems with nonlinear perturbation. J. Differ. Equ. Appl. 8, 857-874 (2002)
Raffoul, YN: General theorems for stability and boundedness for nonlinear functional discrete systems. J. Math. Anal. Appl. 279(2), 639-650 (2003)
Yankson, E: Stability of Volterra difference delay equations. Electron. J. Qual. Theory Differ. Equ. 2006, Article ID 20 (2006)
Crisci, MR, Kolmanovskii, VB, Russo, E, Vecchio, A: Boundedness of discrete Volterra equation. J. Math. Anal. Appl. 211, 106-130 (1997)
Diblík, J, Schmeidel, E: On the existence of solutions of linear Volterra difference equations asymptotically equivalent to a given sequence. Appl. Math. Comput. 218(18), 9310-9320 (2012)
Gronek, T, Schmeidel, E: Existence of bounded solution of Volterra difference equations via Darbo’s fixed-point theorem. J. Differ. Equ. Appl. 19(10), 1645-1653 (2013)
Győri, I, Awwad, E: On the boundedness of the solutions in nonlinear discrete Volterra difference equations. Adv. Differ. Equ. 2012, Article ID 2 (2012). doi:10.1186/1687-1847-2012-2
Győri, I, Horváth, L: Asymptotic representation of the solutions of linear Volterra difference equations. Adv. Differ. Equ. 2008, Article ID 932831 (2008)
Medina, R: Asymptotic behavior of Volterra difference equations. Comput. Math. Appl. 41(5-6), 679-687 (2001)
Migda, M, Migda, J: Bounded solutions of nonlinear discrete Volterra equations. Math. Slovaca (in press)
Migda, M, Morchało, J: Asymptotic properties of solutions of difference equations with several delays and Volterra summation equations. Appl. Math. Comput. 220, 365-373 (2013)
Elaydi, S: Stability and asymptoticity of Volterra difference equations: a progress report. J. Comput. Appl. Math. 228(2), 504-513 (2009)
Crisci, MR, Jackiewicz, Z, Russo, E, Vecchio, A: Stability analysis of discrete recurrence equations of Volterra type with degenerate kernels. J. Math. Anal. Appl. 162, 49-62 (1991)
Crisci, MR, Kolmanovskii, VB, Russo, E, Vecchio, A: Stability of difference Volterra equations: direct Liapunov method and numerical procedure. Comput. Math. Appl. 36(10-12), 77-97 (1998)
Diblík, J, Růžičková, M, Schmeidel, E: Asymptotically periodic solutions of Volterra difference equations. Tatra Mt. Math. Publ. 43, 43-46 (2009)
Diblík, J, Růžičková, M, Schmeidel, E: Existence of asymptotically periodic solutions of Volterra system difference equations. J. Differ. Equ. Appl. 15(11-12), 1165-1177 (2009)
Diblík, J, Růžičková, M, Schmeidel, E: Asymptotically periodic solutions of Volterra systems of difference equations. Comput. Math. Appl. 59(8), 2854-2867 (2010)
Diblík, J, Růžičková, M, Schmeidel, E, Zbąszyniak, M: Weighted asymptotically periodic solutions of linear Volterra difference equations. Abstr. Appl. Anal. 2011, Article ID 37098 (2011). doi:10.1155/2011/370982
Elaydi, S: Periodicity and stability of linear Volterra difference systems. J. Math. Anal. Appl. 181, 483-492 (1994)
Gajda, K, Gronek, T, Schmeidel, E: On the existence of a weighted asymptotically constant solutions of Volterra difference equations of nonconvolution type. Discrete Contin. Dyn. Syst., Ser. B 19(8), 2681-2690 (2014)
Győri, I, Reynolds, DW: On asymptotically periodic solutions of linear discrete Volterra equations. Fasc. Math. 44, 53-67 (2010)
Song, Y, Baker, CTH: Perturbations of Volterra difference equations. J. Differ. Equ. Appl. 10, 379-397 (2004)
Islam, MN, Yankson, E: Boundedness and stability in nonlinear delay difference equations employing fixed point theory. Electron. J. Qual. Theory Differ. Equ. 2005, Article ID 26 (2005)
Raffoul, YN: Stability and periodicity in discrete delay equations. J. Math. Anal. Appl. 324, 1356-1362 (2006)
Raffoul, YN: Boundedness and periodicity of Volterra systems of difference equations. J. Differ. Equ. Appl. 4(4), 381-393 (1998)
Diblík, J, Hlavičková, I: Asymptotic behavior of solutions of delayed difference equations. Abstr. Appl. Anal. 2011, Article ID 671967 (2011). doi:10.1155/2011/671967
Stevič, S, Diblík, J, Iričanin, B, Šmarda, Z: On a periodic system of difference equations. Abstr. Appl. Anal. 2012, Article ID 258718 (2012)
Stevič, S, Diblík, J, Šmarda, Z: On periodic and solutions converging to zero of some systems of differential-difference equations. Appl. Math. Comput. 227, 43-49 (2014)
Acknowledgements
The first author was supported by the project PB-43-081/14DS of Ministry of Science and Higher Education of Poland.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Migda, M., Růžičková, M. & Schmeidel, E. Boundedness and stability of discrete Volterra equations. Adv Differ Equ 2015, 47 (2015). https://doi.org/10.1186/s13662-015-0361-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-015-0361-6