- Research
- Open access
- Published:
A sharp oscillation criterion for a difference equation with constant delay
Advances in Difference Equations volume 2020, Article number: 566 (2020)
Abstract
It is known that all solutions of the difference equation
where \(\{p(n)\}_{n=0}^{\infty}\) is a nonnegative sequence of reals and k is a natural number, oscillate if \(\liminf_{n\rightarrow\infty}\sum_{i=n-k}^{n-1}p(i)> ( \frac {k}{k+1} ) ^{k+1}\). In the case that \(\sum_{i=n-k}^{n-1}p(i)\) is slowly varying at infinity, it is proved that the above result can be essentially improved by replacing the above condition with \(\limsup_{n\rightarrow\infty}\sum_{i=n-k}^{n-1}p(i)> ( \frac{k}{k+1} ) ^{k+1}\). An example illustrating the applicability and importance of the result is presented.
1 Introduction and preliminaries
Consider the first-order linear difference equation
where Δ denotes the forward difference operator, i.e., \(\Delta x(n)=x(n+1)-x(n)\), \(\{p(n)\}_{n=0}^{\infty}\) is a nonnegative sequence of reals, and k is a natural number. By a solution of the difference equation (1) we mean a sequence of real numbers \(\{x(n)\} _{n=-k}^{\infty}\) which satisfies Eq. (1) for all \(n\geq0\). A solution \(\{x(n)\} _{n=-k}^{\infty}\) of the difference equation (1) is said to be oscillatory if the terms of the sequence \(\{x(n)\}_{n=-k}^{\infty}\) are neither eventually positive nor eventually negative. Otherwise, the solution \(\{x(n)\}_{n=-k}^{\infty}\) is said to be nonoscillatory.
In the last few decades, the oscillatory behavior of the solutions to difference equations has been extensively studied. See, for example, [3–9, 13, 14, 16, 18, 20, 21, 23–30] and the references cited therein. For the general theory of difference equations, the reader is referred to the monographs [1, 2, 13, 19]. In 1981, Domshlak [8] considered the case where \(k=1\). In 1989, Erbe and Zhang [9] proved that all solutions of Eq. (1) oscillate if
while Ladas, Philos, and Sficas [18] improved condition (3) as follows:
Note that this condition is sharp in the sense that the fraction on the right-hand side cannot be improved, since when \(p(n)\) is a constant, say \(p(n)=p\), then this condition reduces to
which is a necessary and sufficient condition [21] for the oscillation of all solutions to Eq. (1). Moreover, concerning the constant \(\frac{k^{k}}{(k+1)^{k+1}}\) in (3) it should be emphasized that, as it is shown in [9], if
then Eq. (1) has a nonoscillatory solution. In 1990, Ladas [16] conjectured that Eq. (1) has a nonoscillatory solution if
However, this conjecture is not correct, and a counter-example was given in 1994 by Yu, Zhang, and Wang [30]. Moreover, in 1999 Tang and Yu [28] showed that Eq. (1) has a nonoscillatory solution if the so-called “corrected Ladas conjecture”
is satisfied. In 2017, Karpuz [14] improved the above result by replacing condition (8) with
which is a weaker condition. In the case that the above mentioned conditions (4) and (5) are not satisfied, in 2004 Stavroulakis [25] and in 2006 Chatzarakis and Stavroulakis [6] derived the following sufficient oscillation conditions for Eq. (1):
where α is as in (5) and satisfies \(0<\alpha\leq ( \frac{k}{k+1} ) ^{k+1}\). Also Chen and Yu [7] derived the following oscillation condition:
In 2001, Shen and Stavroulakis [23] established several oscillation conditions which, in the case of the difference equation with \(k=1\)
reduce to the sufficient oscillation condition
Remark 1.1
([23])
Observe that when \(\alpha=1/4\), condition (15) reduces to
which cannot be improved in the sense that the lower bound \(1/4\) cannot be replaced with a smaller number. Indeed, by condition (7), we see that Eq. (14) has a nonoscillatory solution if \(\sup p(n)<1/4\). Note, however, that even in the critical state where \(\lim_{n\rightarrow\infty}p(n)=1/4\), Eq. (14) can be either oscillatory or nonoscillatory. For example, if \(p(n)=\frac{1}{4}+\frac{c}{n^{2}}\), then Eq. (14) will be oscillatory in case \(c>1/4\) and nonoscillatory in case \(c<1/4\) (the Kneser-like theorem [8]).
Recall that the difference equation (1) is the discrete analogue of the delay differential equation
where \(p:[t_{0},\infty)\rightarrow \mathbb{R}^{+}\) is a nonnegative continuous function andτis a positive constant. In 1972, Ladas, Lakshmikantham, and Papadakis [17] proved that all solutions of Eq. (17) oscillate if
while in 1982 Koplatadze and Canturija [15] established the following result: If
then all solutions of Eq. (17) oscillate. If
or more generally,
then Eq. (17) has a nonoscillatory solution. Observe that in the case that p is a positive constant the above condition (19) reduces to
which is a necessary and sufficient condition [13] for all solutions of the delay differential equation
to oscillate. Nevertheless, note that \(( \frac{k}{k+1} ) ^{k}= ( \frac{1}{1+\frac{1}{k}} ) ^{k}\downarrow\frac{1}{e}\) as \(k\rightarrow\infty\), and therefore conditions (5) and (6) can be interpreted as the discrete analogue of (19) and (20), respectively.
Very recently, Garab et al. [11] essentially improved the above condition (19) by replacing it with
under the additional assumptions that p is a bounded and uniformly continuous function such that
Our aim in this paper is to extend this result to the discrete case. To this end, assume that the sequence \(A(n)=\sum_{i=n-k}^{n-1}p(i)\) is slowly varying at infinity (see [11]), i.e., for every \(\lambda\in \mathbb{N} \), \(\lim_{n\rightarrow\infty}[A(n+\lambda)-A(n)]=0\). It should be mentioned that the idea how to obtain sharp oscillation conditions in the continuous time case by considering slowly varying coefficients originated from Pituk [22]. Moreover, the continuous-time result has been recently generalized in [10] and in [12] for variable delay and several variable delays, respectively. The next work of the present authors is to study discrete analogues of these problems.
2 Main result
Our main result is the following theorem.
Theorem 2.1
Assume that \(p(n)_{n\in \mathbb{N}}\) is nonnegative and bounded such that
Assume also that \(A(n)=\sum_{i=n-k}^{n-1}p(i)\) is slowly varying at infinity and
Then all solutions of Eq. (1) oscillate.
To prove this theorem, we need the following lemma.
Lemma 2.1
([6])
Assume that \(x(n) \) is an eventually positive solution of Eq. (1) and that \(A(n)=\sum_{i=n-k}^{n-1}p(i)\ge P>0 \) for large n. Then
Now we give a proof of Theorem 2.1.
Proof of Theorem 2.1
Suppose, for the sake of contradiction, that the assumptions of Theorem 2.1 hold and Eq. (1) has a nonoscillatory solution \(x(n)\). Without loss of generality, we may assume that \(x(n)\) is eventually positive (otherwise take the solution \(-x(n)\)) and since \(\Delta x(n)=x(n+1)-x(n)=-p(n)x(n-k)\leq0 \), the solution \(x(n)\) is nonincreasing. By the virtue of Lemma 2.1 there exists a positive number K such that
and by the monotonicity of \(x(n)\), we get
In view of (22), there exists a strictly increasing sequence \(\delta(n)_{n\in\mathbb{N}}\) of natural numbers such that
Introduce the sequence
Observe that \(y(n)^{(m)}\leq1\).
Furthermore, since \(x(n)\) is an eventually positive solution of Eq. (1), we have
and hence
From (24) and (26), for every \(n,m\in\mathbb{N}\), we obtain
where \(M:=\sup p(n)<\infty\). Setting \(L=MK^{2}\), the last inequality gives \(y(n)^{(m+1)}-y(n)^{(m)}\geq-Ly(n)^{(m+1)} \) or \((L+1)y(n)^{(m+1)}\geq y(n)^{(m)}\), which, by iteration, yields \((L+1)^{m-1}y(n)^{(m)}\geq1\), and therefore
Set \(q(n)^{(m)}=p(\delta(n)+m)\).
As it is shown above, for each \(m\in\mathbb{N} \), \(y(n)^{(m) }\) is a bounded sequence, and since p is bounded, \(q(n)^{(m) }\)is also bounded. In view of the above, by the Bolzano–Weierstrass theorem and Cantor’s diagonal argument, it follows that there exists a strictly increasing sequence \(s(n)_{n\in\mathbb{N}}\) of natural numbers such that, for all \(m\in \mathbb{N}\),
By virtue of (27), for every \(m,n\in\mathbb{N}\), we get \(y(s(n))^{(m+1)}-y(s(n))^{(m)}+q(s(n))^{(m)}y(s(n))^{(m-k)}=0\), and taking \(n\rightarrow\infty\), we have
That is, the positive sequence \(y(m)\) is a (nonoscillatory) solution of Eq. (29). Now, taking into account (25) and the fact that \(A(n)\) is slowly varying at infinity, for \(m\in\mathbb{N}\), we have
That is, \(\sum_{i=m-k}^{m-1}q(i)\) is equal to the constant B and therefore
By virtue of (5), the sequence \(y(m)\) (being a solution of Eq. (29)) is oscillatory, a contradiction. The proof is complete. □
Remark 2.2
Note that in the special case that \(k=1\), i.e., in the case of the difference equation
condition (22) reduces to \(\limsup_{n\rightarrow\infty }p(n)>1/4\), that is, to condition (16) which is sharp and cannot be further improved. Observe, however, that condition (16) is derived from condition (15) only in the case that \(\alpha=1/4 \). In general, that is, without the assumption that \(A(n) \) is slowly varying, \(\limsup_{n\rightarrow\infty}A(n)>1/4 \) does not seem to imply oscillation of all solutions, which points out that our main result improves oscillation condition (15) even in the case of \(k=1 \).
3 Example
In this section an example, which illustrates the significance of our result, is presented. It is to be pointed out that in this example all conditions of Theorem 2.1 are satisfied and therefore all solutions oscillate while none of the conditions presented in Sect. 1 is satisfied.
Example 3.1
Consider the difference equation
where \(p(n)=\frac{1}{9}+\sigma\cos^{2}(\frac{\pi}{2}\sqrt{n})\) with \(\sigma\in(\frac{1}{27},\frac{1}{9})\). It is clear that \(\frac{1}{9}\le p(n)<\frac{2}{9}\) and Eq. (30) is a special case of Eq. (1) with \(k=2\).
First we show that \(p(n)\) is slowly varying at infinity. It is sufficient to show that \(f:[0,+\infty)\rightarrow \mathbb{R}\) with \(f(x)=\frac{1}{9}+\sigma\cos^{2}(\frac{\pi}{2}\sqrt {x})\) is slowly varying at infinity. To this end, we follow [11, 22] stating that a continuous function \(f:[0,+\infty)\rightarrow \mathbb{R}\) is slowly varying at infinity if and only if there exists a natural number \(l_{1}\) such that on \([l_{1},+\infty)\) the function f can be decomposed into the sum of a continuous function which has a finite limit as \(x\rightarrow+\infty\) and a continuously differentiable function whose derivative vanishes at infinity. That is, there exist functions \(g,h:[l_{1},+\infty)\rightarrow \mathbb{R} \) such that \(f(x)=g(x)+h(x)\) on \([l_{1},+\infty)\), where g is continuous and \(\lim_{x\rightarrow+\infty}g(x)\) is a finite number, and h is a continuously differentiable function with \(\lim_{x\rightarrow+\infty}h^{ \prime}(x)=0\). It is clear that \(f(x)\) satisfies these conditions since \(\frac{1}{9}\) is constant and the derivative of \(\cos^{2}(\frac{\pi }{2}\sqrt{x})\) vanishes at infinity. Note that \(p(n)\) is slowly varying at infinity implies that \(A(n) \) is also slowly varying.
Furthermore, by the choice of σ, we have
That is, all conditions of Theorem 2.1 are satisfied and therefore all solutions of Eq. (30) oscillate.
Next we show that this conclusion cannot be derived from any of the known results mentioned in Sect. 1. First we compare our criterion with conditions (2), (3), and (4). Observe that
Moreover,
and also, by the choice of σ,
Therefore none of conditions (2), (3), and (4) is satisfied. Observe also that
and therefore condition (5) is not satisfied.
Further, we compare with conditions (10)–(13). As we have seen, \(\alpha =2/9<(2/3)^{3}\) and \(B=2/9+2\sigma<4/9\). Observe that
and
and therefore none of conditions (10), (11), (12), and (13) is satisfied.
References
Agarwal, P.: Difference Equations and Inequalities. Marcel Dekker, New York (1992)
Agarwal, R.P., Bohner, M., Grace, S.R., O’Regan, D.: Discrete Oscillation Theory. Hindawi Publishing Corporation, New York (2005)
Baštinec, J., Berezansky, L., Diblík, J., Šmarda, Z.: A final result on the oscillation of solutions of the linear discrete delayed equation \(\delta x(n) = -p(n)x(n-k) \) with a positive coefficient. Abstr. Appl. Anal. 2011, Article ID 586328 (2011)
Baštinec, J., Diblík, J., Šmarda, Z.: Oscillation of solutions of a linear second-order discrete-delayed equation. Adv. Differ. Equ. 2010, Article ID 693867 (2010)
Braverman, E., Karpuz, B.: On oscillation of differential and difference equations with non-monotone delays. Appl. Math. Comput. 218, 3880–3887 (2011)
Chatzarakis, G.E., Stavroulakis, I.P.: Oscillations of first order linear delay difference equations. Aust. J. Math. Anal. Appl. 3(1), Article ID 14 (2006)
Chen, M.P., Yu, Y.S.: Oscillations of delay difference equations with variable coefficients. In: Elaydi, S.N., et al.(eds.) Proc. First Intl. Conference on Difference Equations, pp. 105–114. Gordon & Breach, New York (1995)
Domshlak, Y.: Discrete version of Sturmian comparison theorem for non-symmetric equations. Dokl. Akad. Nauk Azerb. SSR 37, 12–15 (1981) (in Russian)
Erbe, L.H., Zhang, B.G.: Oscillation of discrete analogues of delay equations. Differ. Integral Equ. 2, 300–309 (1989)
Garab, Á.: A sharp oscillation criterion for a linear differential equation with variable delay. Symmetry 11(11), Article ID 1332 (2019)
Garab, Á., Pituk, M., Stavroulakis, I.P.: A sharp oscillation criterion for a linear delay differential equation. Appl. Math. Lett. 93, 58–65 (2019)
Garab, Á., Stavroulakis, I.P.: Oscillation criteria for first order linear delay differential equations with several variable delays. Appl. Math. Lett. 106, Article ID 106366 (2020)
Győri, I., Ladas, G.: Oscillation Theory of Delay Differential Equations with Applications. Clarendon Press, Oxford (1991)
Karpuz, B.: Sharp oscillation and nonoscillation tests for linear difference equations. J. Differ. Equ. Appl. 23(12), 1229–1242 (2017)
Koplatadze, R.G., Chanturija, T.A.: On the oscillatory and monotonic solutions of first order differential equations with deviating arguments. Differ. Uravn. 18, 1463–1465 (1982)
Ladas, G.: Recent developments in the oscillation of delay difference equations. In: International Conference on Differential Equations, Stability and Control. Marcel Dekker, New York (1990)
Ladas, G., Laskhmikantham, V., Papadakis, J.S.: Oscillations of higher-order retarded differential equations generated by retarded arguments. In: Delay and Functional Differential Equations and Their Applications, pp. 219–231. Academic Press, New York (1972)
Ladas, G., Philos, Ch.G., Sficas, Y.G.: Sharp conditions for the oscillation of delay difference equations. J. Appl. Math. Simul. 2, 101–112 (1989)
Lakshmikantham, V., Trigiante, D.: Theory of Difference Equations: Numerical Methods and Applications. Mathematics in Science and Engineering, vol. 181. Academic Press, Boston (1998)
Moremedi, G.M., Stavroulakis, I.P.: Oscillation conditions for difference equations with a monotone or non-monotone argument. Discrete Dyn. Nat. Soc. 2018, Article ID 9416319 (2018)
Moremedi, G.M., Stavroulakis, I.P., Zhunussova, Kh.Zh.: Necessary and sufficient conditions for oscillations of functional differential equations. J. Math. Mech. Comput. Sci. 99(3), 12–23 (2018)
Pituk, M.: Oscillation of a linear delay differential equation with slowly varying coefficient. Appl. Math. Lett. 73, 29–36 (2017)
Shen, J.H., Stavroulakis, I.P.: Oscillation criteria for delay difference equations. Electron. J. Differ. Equ. 2001, Article ID 10 (2001)
Stavroulakis, I.P.: Oscillations of delay difference equations. Comput. Math. Appl. 29, 83–88 (1995)
Stavroulakis, I.P.: Oscillation criteria for first order delay difference equations. Mediterr. J. Math. 1, 231–240 (2004)
Stavroulakis, I.P.: A survey on the oscillation of difference equations with constant delays. J. Math. Mech. Comput. Sci. 102(2), 3–11 (2019)
Tang, X.H., Deng, Y.B.: Oscillation of difference equations with several delays. Hunan Daxue Xuebao 25(2), 1–3 (1998)
Tang, X.H., Yu, J.S.: A further result on the oscillation of delay difference equations. Comput. Math. Appl. 38, 229–237 (1999)
Tang, X.H., Zhang, R.Y.: New oscillation criteria for delay difference equations. Comput. Math. Appl. 42(10–11), 1319–1330 (2001)
Yu, J.S., Zhang, B.G., Wang, Z.C.: Oscillation of delay difference equations. Appl. Anal. 53, 117–124 (1994)
Acknowledgements
The authors would like to thank the anonymous reviewers for their constructive comments that improved the manuscript.
Availability of data and materials
Not applicable.
Funding
The corresponding author (AK) was supported in part by Nazarbayev University Faculty Development Competitive Research Grants N 090118FD5353.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the manuscript. All authors read and approved the final version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Benekas, V., Kashkynbayev, A. & Stavroulakis, I.P. A sharp oscillation criterion for a difference equation with constant delay. Adv Differ Equ 2020, 566 (2020). https://doi.org/10.1186/s13662-020-03016-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-03016-x