lp-solutions and stability analysis of difference equations using the Kummer’s test
Introduction
Difference equations are the appropriate representation for discrete processes which have special importance in such areas as population dynamics, control theory, economics and numerical analysis (see the monographs [1], [3] and the references in them).
The primary goal in this work is to give easily applicable explicit sufficient and some necessary conditions for the solutions to be p-summable.
Our results will be about the s-dimensional system of the first order linear difference equationsand the sth order scalar linear difference equationwhere , and . is the space of all s × s real matrices.
By a solution of Eqs. (1), (2) we mean a sequence which satisfies Eq. (1), (2) for all nonnegative integer n. We say that a solution x of (1) (a solution y of (2)) is p-summable with a p ⩾ 1, if , where the spaces and are defined in the following way: Definition 1 Let p ⩾ 1. The real Banach space consists of all sequences v ≔ (v(n))n⩾0 in for which with some norm ∥·∥ on . The real Banach space consists of all sequences u ≔ (u(n))n⩾0 in for which .
The p-summability results, especially about Eq. (2), are very scare in the nonautonomous case. Gordon [7] obtained criteria for p-summable solutions in terms of Lyapunov function, Petropoulou and Siafarikas [10] considered essentially the space of square summable sequences, and Ey and Pötzsche [5] used fixed point theorems for nonlinear one-step recursions. The summability property in Volterra difference equations was discussed by Gil’ and Medina [6] for nonlinear and by Elaydi [4] for linear equations. Also, Győri and Horváth [8] examined the p-summability properties of solutions of higher order difference equations with time dependent coefficients. The results in [8] are based on a newly invented transformation of the higher order system into a one-step recursion, where the companion matrices are well treatable. Examples show that the obtained conditions in [8] are sharp in some cases. However, these observations don’t provide a practical way of determining the p-summability of the solutions in the general case.
In this paper we provide explicit sufficient and also explicit necessary conditions for the p-summability of the solutions of Eqs. (1), (2).
The main tool in this study is the Kummer’s convergence test. Kummer’s test gives a very powerful necessary and sufficient condition for the convergence or the divergence of a positive series and it is the source of many other tests. For instance, D’Alambert’s test, Raabe’s test, Bertrand’s test and Gauss’ test are all special cases of Kummer’s test obtained by choosing special sequences pk’s. Theorem 2 Kummer’s test (see Tong [11]) Let be a positive series. is convergent if and only if there is a positive series and a real number c > 0, such that . is divergent if and only if there is a positive series , such that diverges and .
Section 2 is devoted to the main results and it is subdivided into three parts. Sub Section 2.1 contains very powerful sufficient conditions for the solutions of Eq. (1) to be or not to be p-summable with some given p ⩾ 1. The proofs of these results are based on the suitable application of Kummer’s test and one can find them in Section 4. The main statements of Sub Section 2.1 are utilized in Sub Sections 2.2 Main results for scalar linear difference equations of higher order via on specially constructed companion matrices, 2.3 Main results for scalar linear difference equations of higher order via the coefficients which contain summability results for Eq. (2) via its companion matrices and via the coefficient sequences, respectively. In Section 3 some illustrative examples are given to show the effectiveness of our method. Section 4 is devoted to the proofs of the results stated in Section 2.
The novelty of our method is that it provides p-summability and asymptotic stability results for difference equations with sign changing, unbounded and time varying coefficients. From that point of view our results are compared to some existing asymptotic stability theorems given by Berezansky and Braverman [2] and Wei and Shen [12].
We need the following definitions. Definition 3 and mean the zero matrix and the identity matrix in , respectively. The following norm on will be used: for
The spectral radius of a matrix is denoted by ρ(A), and tr(A) means the sum of the diagonal elements of A.
The elements of are considered as column vectors. is a lattice under the canonical ordering defined by: a ⩽ b means that ai ⩽ bi for every 1 ⩽ i ⩽ s, where a = (ai) and b = (bi).
If , then [a] denotes the largest integer that does not exceed a.
Section snippets
Main results
In the next three subsections we state our main results on the p-summability and asymptotic stability of Eqs. (1), (2), respectively. This statement will be proved in Section 4.
Discussion, applications and examples
To illustrate our results for scalar linear difference equations of higher order we consider the equationwith the initial conditionwhere , and . The Eq. (23) belongs to the family (20).
Considering (23), Lemma 20 insures thatThe sharpness of our results is illustrated by the next two examples. We construct difference equations whose every solution is p
Some lemmas and the proofs of the main results
To prove Theorem 6, we require a lemma. Lemma 33 Assume that the conditions of Theorem 6 are satisfied, and let k0 = 0. Let q−1 ≔ q0 + d, and we introduceThen For each 1 ⩽ i ⩽ s
Proof
- (a)
These are obvious.
- (b)
Let 1 ⩽ i ⩽ s be fixed. (a) implies thatBy (6)for some ei >
Acknowledgement
Supported by Hungarian National Foundations for Scientific Research Grant No. K73274.
References (12)
- et al.
On exponential dichotomy, Bohl–Perron type theorems and stability of difference equations
J. Math. Anal. Appl.
(2005) Stability and asymptoticity of Volterra difference equations: a progress report
J. Comput. Appl. Math.
(2009)- et al.
Asymptotic behaviour of recursions via fixed point theory
J. Math. Anal. Appl.
(2008) - et al.
A new view of the lp-theory for system of higher order difference equations
Comput. Math. Appl.
(2010) - et al.
Asymptotic behaviour of the solutions of a nonautonomous linear delay difference system
Appl. Math. Comput.
(2010) - et al.
Boundedness and asymptotic behaviour results for nonlinear difference equations with positive and negative coefficients
Comput. Math. Appl.
(2010)