- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 432936, 12 pages
Oscillation and Nonoscillation of Asymptotically Almost Periodic Half-Linear Difference Equations
1Department of Mathematics and Statistics, Masaryk University, Kotlářská 2, 611 37 Brno, Czech Republic
2Department of Mathematics, Mendel University in Brno, Zemědělská 1, 613 00 Brno, Czech Republic
Received 18 March 2013; Accepted 20 May 2013
Academic Editor: Ondrej Dosly
Copyright © 2013 Michal Veselý and Petr Hasil. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
We analyse half-linear difference equations with asymptotically almost periodic coefficients. Using the adapted Riccati transformation, we prove that these equations are conditionally oscillatory. We explicitly find a constant, determined by the coefficients of a given equation, which is the borderline between the oscillation and the nonoscillation of the equation. We also mention corollaries of our result with several examples.
We intend to study the oscillation behaviour of the second-order half-linear difference equation where , , and for all considered . Throughout this paper, we consider integers for a sufficiently large . Concerning the oscillation and nonoscillation of these equations, many results have been obtained in the last years. The basic facts of the oscillation theory for (1) are established in . Several criteria for (non)oscillation of (1) are proved, for example, in [2–6] (for (1) with , see [7–9]; for the continuous case, see [10–12]). Oscillatory properties of slightly more general difference equations are investigated, for example, in [13, 14]. A detailed literature overview can be found in .
The oscillation theory of half-linear difference equations is motivated by the continuous case and by the linear case.
Equation (1) is the discretization of the half-linear differential equation The first occurrence of an equation of this form is dated back to 1961 (see ). But [17, 18] are regarded as the basic papers in this field. For a comprehensive overview of half-linear differential equations, we refer to  with references cited therein. Note that techniques needed in the discrete theory are often more complicated than their continuous counterparts. In this paper, we apply the Riccati method which is used in the continuous case as well. Comparing this paper with its continuous counterpart , one can see that the discrete method requires several nontrivial extra steps and is technically more exacting. Particularly, we cannot use the fact that the ranges of considered solutions are intervals.
Equation (1) is a generalization of the linear equation whose oscillation theory is well described in the literature (see [21, 22] and references therein). There are limitations of the tools known from the theory of linear equations (e.g., the transformation theory and the Casoratian identity). These limitations are more or less consequences of the fact that the solution space of half-linear equations is not additive. Nevertheless, it remains homogeneous (likewise in the linear case). This observation motivates the term “half-linear.”
Actually, we consider (1) in the form where , are positive sequences, , and stands for the so-called generalized power function. Our objective is to prove that (4) is conditionally oscillatory and to find the corresponding oscillation constant. We recall that (4) is conditionally oscillatory if there exists with the property that (4) is oscillatory for and nonoscillatory for . In this case, is called the oscillation constant of (4). Note that we consider the form with the generalized power function because we want to be consistent with previous results and our method is much more transparent in this case.
According to the best of our knowledge, the first result about the conditional oscillation of a second-order equation was proved by Kneser back in 1893 (see ). In , it is shown that the differential equation is conditionally oscillatory with the oscillation constant . The corresponding difference equation is conditionally oscillatory with the oscillation constant as well (see ). In , the previous Kneser result is generalized for the equation where are positive periodic continuous functions. We can also mention  and more generally [27, 28]. For the discrete linear equation we refer to , where the corresponding result is obtained. Nevertheless, the first discrete version of the result of  was proved in . The oscillation constant from  coincides with the one from  if the considered coefficients are asymptotically constant. In fact, the conditional oscillation of (8) with almost periodic coefficients is proved in . The oscillation constant for the periodic half-linear equation is derived in  (see also ) and the oscillation constant for (9) with asymptotically almost periodic coefficients is obtained in . Our aim is to prove the discrete counterpart of the main result of ; that is, we find the oscillation constant for (4) with asymptotically almost periodic coefficients. We add that this result is new in the periodic case and in the linear case as well.
The paper is organized as follows. In Section 2, we recall elements of the theory of almost periodic and asymptotically almost periodic sequences, which we will use later. In Section 3, we mention basic definitions from the oscillation theory and we derive the adapted Riccati equation. Using the prepared Riccati technique, we prove the announced result in Section 4. Then, we state its corollaries and we illustrate them by examples. We also show a way how the main result can be applied for equations with coefficients which change their signs.
Henceforth, let be arbitrarily given and let be such that Thus, for , we have . For the reader’s convenience, we recall the generalized power function (sometimes called the falling factorial power) where and the identities which we will often apply later. We also refer to [22, Chapter 2].
2. Asymptotic Almost Periodicity
We begin with the notion of almost periodicity. The fundamental results of the theory of almost periodic sequences can be found, for example, in [33, Section ].
Definition 1. A sequence is called almost periodic if, for every , there exists an integer with the property that any set consisting of consecutive integers contains at least one number for which
Definition 2. A continuous function is called almost periodic if, for every , there exists a number such that any interval of length of the real line contains at least one point satisfying
Theorem 3. A necessary and sufficient condition for a sequence to be almost periodic is the existence of an almost periodic function with the property that for all .
Proof. See [33, Theorem 1.27].
Theorem 4. Any almost periodic sequence is bounded.
Theorem 5. A sequence is almost periodic if and only if any sequence of the form , where , has a uniformly convergent subsequence with respect to .
Proof. See [33, Theorem 1.26].
Corollary 6. The sum and the product of two almost periodic sequences are almost periodic as well.
Theorem 7. If is almost periodic, then the limit is finite and exists uniformly with respect to .
Proof. See [33, Theorem 1.28].
Theorem 8. If is almost periodic and is a uniformly continuous function on the set , then the composition is almost periodic.
Proof. The theorem follows, for example, from [34, Theorem 2.4].
As a direct generalization of almost periodicity, we consider the asymptotic almost periodicity. We refer to , where asymptotically almost periodic sequences were introduced with their basic characteristics.
Definition 9. We say that a sequence is asymptotically almost periodic if it can be represented in the form , , where is almost periodic and has the property that . The sequence is called the almost periodic part of .
Considering Theorem 7, we immediately obtain the following.
Corollary 10. Let an asymptotically almost periodic sequence be given, and let be its almost periodic part. The limit is finite and exists uniformly with respect to .
Definition 11. The number introduced in (17) is called the mean value of an asymptotically almost periodic sequence .
Corollary 13. If is an asymptotically almost periodic sequence satisfying then the sequence , defined by the formula , is asymptotically almost periodic for arbitrarily given .
Proof. Let , , where is the almost periodic part of . Considering Definition 1, we have and therefore (see (18)) If we put , , then Theorems 4 and 8 imply the almost periodicity of . Since we know that can be expressed as the sum of the almost periodic sequence and the sequence vanishing at infinity. It means that is asymptotically almost periodic.
3. Half-Linear Riccati Equation
In this section, we recall the oscillation behaviour of half-linear difference equations and we introduce the (adapted) half-linear Riccati equation. For more details, we refer to [15, Chapter 3] or [19, Chapter 8] (with references cited therein). We remark that the (adapted) Riccati technique is an essential tool to prove the following given Theorem 17.
Let us consider the equation where for all considered and the sequence is bounded. We say that an interval , , contains the generalized zero of a solution of (22) if and . Equation (22) is said to be disconjugate on a set provided any solution of (22) has at most one generalized zero on and the solution given by the initial value has no generalized zero on . Otherwise, (22) is said to be conjugate on .
The Sturm type separation theorem is valid for (22) (see [1, Theorem 3]). Thus, the oscillation of an arbitrary solution of (22) implies the oscillation of all solutions of (22). It means that we can categorize (22) as oscillatory or nonoscillatory.
Now, we turn our attention to the half-linear Riccati equation. Using the substitution we transform (22) into According to [15, Lemma , (I8)], if , then where is between and ; that is, for , we can rewrite (24) in the following form:
Next, putting we obtain and then, applying (26), we obtain the adapted Riccati equation where is between and .
4. Conditional Oscillation
To prove the announced theorem, we need the following two lemmas.
Proof. Applying [1, Theorem 1] (see also [15, Theorem ]), we know that the nonoscillation of (22) implies the existence of a solution of (26) satisfying , . Considering [36, Lemma 1, (v) and Theorem 1], we obtain . Since the sequence is decreasing (see directly (26)), we have for all . Thus, there exists a negative solution of (29). Finally, (27) gives
Proof. The statement of the lemma follows from [1, Theorem 1].
Now we can formulate and prove the main result.
Theorem 17. Let be given, and let and be arbitrary positive asymptotically almost periodic sequences such that Let Consider the equation If , then (34) is oscillatory. If , then (34) is nonoscillatory.
Proof. We put (see Theorem 4)
For an arbitrarily given number , we will consider an integer such that
From Remark 12 and Corollaries 10 and 13, we know that such a number exists.
At first, we consider the oscillatory part of the theorem. By contradiction, we suppose that is given and that (34) is nonoscillatory. Lemma 15 says that there exists a negative solution of the equation where Note that (39) is the adapted Riccati equation associated with (34) and that (30) holds. Particularly, from (30), we know and (see (40)) Using (consider, e.g., the Stirling formula) we also obtain Combining (39), (41), (42), and (44), we can find an integer with the property that and that whenever . Let for some . In this case, we estimate and hence, by (45), we get . Thus, there exists satisfying Therefore (see (45) and (46)), we have where Particularly, (49) implies
We define From (48), we can see
For , we compute (see (39)) if , or if .
Since it holds which follows from the Young inequality.
Using (36), (37), and (38), we have That is,
It remains to estimate the following: Applying (41), (42), and (44), we can express where the sequence of has the property that . From (48), it follows and, from (51), we obtain Since the function is continuously differentiable on , there exists for which Now it suffices to consider (32), (48), (53), (61), (62), (63), and (64) which imply the existence of an integer such that
Altogether (see (54), (57), (59), and (65)), we have Summing (66) from to an integer , we obtain Thus (see also (53)), it is valid that Particularly (consider (52)), has to be positive for infinitely many . This contradiction proves that (34) is oscillatory if .
Let , and let be given. In this part of the proof, our objective is to show that there exists a negative solution of (39) for all , where Evidently, it is true that for all for which is negative. Thus (consider (41), (42), and (44)), we can assume that is so large that In addition, as in the first part of the proof (see (49)), we can estimate for some . From (72), it follows
If we denote then Again (see (54)), we estimate if , or if , where
If then it is valid that That is, For any , we can find with the property that Thus, for a given number , considering (73) and (79), we can assume that is so large that
It holds (see (36), (37), and (38)) That is,
As in the first part of the proof (compare (48) with (71) and (63) with (75)), we can show that Let be so large that
Finally (consider (77), (83), (85), and (87)), we have Hence, That is, Particularly, if then (71) and (90) give
Since (73) remains true if is replaced by an arbitrary integer , to complete the proof, it suffices to find a number such that implies Indeed, in this case, we have (92) and, consequently, we have that for all . Then, Lemma 16 says that (34) is nonoscillatory. Of course, such a number exists because the concrete initial value is not applied to obtain (77), (85), and (87) and because (83) can be proved for a sufficiently small perturbation of the initial value (the left side of (83) continuously depends on the initial value (69)).
Remark 19. We conjecture that, for in the general case, it is not possible to decide whether (34) is oscillatory or nonoscillatory. Our conjecture is based on the existence of positive almost periodic sequences , satisfying Such sequences can be constructed applying, for example, [34, Theorem 3.5].
Example 20. Let , , and . We can use Theorem 17 for the following equation: with asymptotically almost periodic coefficients (consider Definition 2, Theorem 3, and Corollaries 6 and 13). It holds (, i.e., ) Thus, the equation is oscillatory for and nonoscillatory for
Theorem 17 gives a new result also for (i.e., for the linear equations with asymptotically almost periodic coefficients). This situation is illustrated by the next example. Note that, in the below given corollaries, we explicitly mention two other new results which follow from Theorem 17.
Example 23. We apply Corollary 22 for the equation where is an odd integer. By the following computations: we get the oscillation constant
For the general nonzero sequence in (34), we have to use the full definition of the generalized zero. An interval , , contains the generalized zero of a solution of (34) if and . This definition is necessary for the correct formulation of Corollary 24.
Corollary 24. Consider (34), where and are nonzero asymptotically almost periodic sequences satisfying Let (i)If for all and , then (34) is nonoscillatory. (ii)If for all and , then (34) is oscillatory.
Example 25. For an arbitrarily given , Corollary 24 says that the equation is nonoscillatory if and that the equation is oscillatory if
The authors thank the referees for their remarks and suggestions which improved the final version of the paper. The first author is supported by the Programme of “Employment of Best Young Scientists for International Cooperation Empowerment” (grant number CZ.1.07/2.3.00/30.0037) co-financed from European Social Fund and the state budget of the Czech Republic. The second author is supported by the Czech Science Foundation under Grant P201/10/1032.
- P. Řehák, “Oscillatory properties of second order half-linear difference equations,” Czechoslovak Mathematical Journal, vol. 51, no. 2, pp. 303–321, 2001.
- O. Došlý and S. Fišnarová, “Linearized Riccati technique and (non-)oscillation criteria for half-linear difference equations,” Advances in Difference Equations, vol. 2008, Article ID 438130, 18 pages, 2008.
- O. Došlý and P. Řehák, “Nonoscillation criteria for half-linear second-order difference equations,” Computers & Mathematics with Applications, vol. 42, no. 3-5, pp. 453–464, 2001.
- H. A. El-Morshedy, “Oscillation and nonoscillation criteria for half-linear second order difference equations,” Dynamic Systems and Applications, vol. 15, no. 3-4, pp. 429–450, 2006.
- J. Jiang and X. Tang, “Oscillation of second order half-linear difference equations (II),” Applied Mathematics Letters of Rapid Publication, vol. 24, no. 9, pp. 1495–1501, 2011.
- P. Řehák, “Generalized discrete Riccati equation and oscillation of half-linear difference equations,” Mathematical and Computer Modelling, vol. 34, no. 3-4, pp. 257–269, 2001.
- P. Řehák, “Oscillation criteria for second order half-linear difference equations,” Journal of Difference Equations and Applications, vol. 7, no. 4, pp. 483–505, 2001.
- Y. G. Sun and F. W. Meng, “Nonoscillation and oscillation of second order half-linear difference equations,” Applied Mathematics and Computation, vol. 197, no. 1, pp. 121–127, 2008.
- E. Thandapani, K. Ravi, and J. R. Graef, “Oscillation and comparison theorems for half-linear second-order difference equations,” Computers & Mathematics with Applications, vol. 42, no. 6-7, pp. 953–960, 2001.
- O. Došlý and S. Fišnarová, “Two-parametric conditionally oscillatory half-linear differential equations,” Abstract and Applied Analysis, vol. 2011, Article ID 182827, 16 pages, 2011.
- O. Došlý and H. Funková, “Perturbations of half-linear Euler differential equation and transformations of modified Riccati equation,” Abstract and Applied Analysis, vol. 2012, Article ID 738472, 19 pages, 2012.
- S. Fišnarová and R. Mařík, “On constants in nonoscillation criteria for half-linear differential equations,” Abstract and Applied Analysis, vol. 2011, Article ID 638271, 15 pages, 2011.
- O. Došlý, J. R. Graef, and J. Jaroš, “Forced oscillation of second order linear and half-linear difference equations,” Proceedings of the American Mathematical Society, vol. 131, no. 9, pp. 2859–2867, 2003.
- P. J. Y. Wong and R. P. Agarwal, “Oscillations and nonoscillations of half-linear difference equations generated by deviating arguments,” Computers & Mathematics with Applications, vol. 36, no. 10-12, pp. 11–26, 1998.
- R. P. Agarwal, M. Bohner, S. R. Grace, and D. O'Regan, Discrete Oscillation Theory, Hindawi Publishing Corporation, New York, NY, USA, 2005.
- P. R. Beesack, “Hardy's inequality and its extensions,” Pacific Journal of Mathematics, vol. 11, pp. 39–61, 1961.
- Á. Elbert, “A half-linear second order differential equation,” in Qualitative Theory of Differential Equations, Vol. I, II (Szeged, 1979), vol. 30 of Colloquia Mathematica Societatis János Bolyai, pp. 153–180, North-Holland, Amsterdam, The Netherlands, 1981.
- J. D. Mirzov, “On some analogs of Sturm's and Kneser's theorems for nonlinear systems,” Journal of Mathematical Analysis and Applications, vol. 53, no. 2, pp. 418–425, 1976.
- O. Došlý and P. Řehák, Half-Linear Differential Equations, Elsevier, Amsterdam, The Netherlands, 2005.
- P. Hasil and M. Veselý, “Oscillation of half-linear differential equations with asymptotically almost periodic coefficients,” Advances in Difference Equations, vol. 2013, no. 122, pp. 1–15, 2013.
- R. P. Agarwal, Difference Equations and Inequalities: Theory, Methods, and Applications, Marcel Dekker, New York, NY, USA, 2000.
- W. G. Kelley and A. C. Peterson, Difference Equations: An Introduction with Applications, Academic Press, San Diego, Calif, USA, 2001.
- A. Kneser, “Untersuchungen über die reellen Nullstellen der Integrale linearer Differentialgleichungen,” Mathematische Annalen, vol. 42, no. 3, pp. 409–435, 1893.
- P. B. Naĭman, “The set of isolated points of increase of the spectral function pertaining to a limit-constant Jacobi matrix,” Izvestija Vysših Učebnyh Zavedeniĭ Matematika, vol. 1959, no. 1 (8), pp. 129–135, 1959 (Russian).
- F. Gesztesy and M. Ünal, “Perturbative oscillation criteria and Hardy-type inequalities,” Mathematische Nachrichten, vol. 189, pp. 121–144, 1998.
- K. M. Schmidt, “Critical coupling constants and eigenvalue asymptotics of perturbed periodic Sturm-Liouville operators,” Communications in Mathematical Physics, vol. 211, no. 2, pp. 465–485, 2000.
- H. Krüger, “On perturbations of quasiperiodic Schrödinger operators,” Journal of Differential Equations, vol. 249, no. 6, pp. 1305–1321, 2010.
- H. Krüger and G. Teschl, “Effective Prüfer angles and relative oscillation criteria,” Journal of Differential Equations, vol. 245, no. 12, pp. 3823–3848, 2008.
- P. Hasil and M. Veselý, “Critical oscillation constant for difference equations with almost periodic coefficients,” Abstract and Applied Analysis, vol. 2012, Article ID 471435, 19 pages, 2012.
- F. Luef and G. Teschl, “On the finiteness of the number of eigenvalues of Jacobi operators below the essential spectrum,” Journal of Difference Equations and Applications, vol. 10, no. 3, pp. 299–307, 2004.
- P. Hasil, “Conditional oscillation of half-linear differential equations with periodic coefficients,” Archivum Mathematicum, vol. 44, no. 2, pp. 119–131, 2008.
- O. Došlý and P. Hasil, “Critical oscillation constant for half-linear differential equations with periodic coefficients,” Annali di Matematica Pura ed Applicata IV, vol. 190, no. 3, pp. 395–408, 2011.
- C. Corduneanu, Almost Periodic Functions, John Wiley & Sons, New York, NY, USA, 1968.
- M. Veselý, “Construction of almost periodic sequences with given properties,” Electronic Journal of Differential Equations, vol. 2008, no. 126, pp. 1–22, 2008.
- K. Fan, “Les fonctions asymptotiquement presque-périodiques d'une variable entière et leur application à l'étude de l'itération des transformations continues,” Mathematische Zeitschrift, vol. 48, pp. 685–711, 1943.
- P. Řehák, “Hartman-Wintner type lemma, oscillation, and conjugacy criteria for half-linear difference equations,” Journal of Mathematical Analysis and Applications, vol. 252, no. 2, pp. 813–827, 2000.