Advanced
OSCILLATION OF HIGHER ORDER STRONGLY SUPERLINEAR AND STRONGLY SUBLINEAR DIFFERENCE EQUATIONS†
OSCILLATION OF HIGHER ORDER STRONGLY SUPERLINEAR AND STRONGLY SUBLINEAR DIFFERENCE EQUATIONS†
Journal of Applied Mathematics & Informatics. 2014. Sep, 32(3_4): 455-464
Copyright © 2014, Korean Society of Computational and Applied Mathematics
  • Received : April 23, 2013
  • Accepted : July 22, 2013
  • Published : September 28, 2014
Download
PDF
e-PUB
PubReader
PPT
Export by style
Share
Article
Author
Metrics
Cited by
TagCloud
About the Authors
SAID R. GRACE
ZHENLAI HAN
XINHUI LI

Abstract
We establish some new criteria for the oscillation of m th order nonlinear difference equations. We study the case of strongly superlinear and the case of strongly sublinear equations subject to various conditions. We also present a sufficient condition for every solution to be asymptotic at ∞ to a factorial expression ( t ) (m-1) . AMS Mathematics Subject Classification: 39A10, 39A21.
Keywords
1. Introduction
In what follows, we shall denote ℕ = {0, 1, ...}, ℕ( a ) = { a , a +1, ...} where a ∈ ℕ and ℕ( a, b ) = { a , a +1, ..., b }, b ∈ ℕ( a ).
Consider the m th order nonlinear difference equation
PPT Slide
Lager Image
where △ is the forward difference operator defined by △ x ( t ) = x ( t + 1) − x ( t ), m is a positive even integer. We shall assume that
PPT Slide
Lager Image
By a solution of equation (1), we mean a nontrivial sequence { x ( t )} satisfying equation (1) for all t ∈ ℕ( t 0 ), where t 0 ∈ ℕ. A solution { x ( t )} is said to be oscillatory if it is neither eventually positive nor eventually negative and it is nonoscillatory otherwise. An equation is said to be oscillatory if all its solutions are oscillatory.
Equation (1) (or the function ƒ ) is said to be strongly superlinear if there exists a constant β > 1 such that
PPT Slide
Lager Image
and it is said to be strongly sublinear if there exists a constant γ ∈ (0, 1) such that
PPT Slide
Lager Image
(3) holds with β = 1, then equation (1) is called superlinear and (4) holds with γ = 1 is called sublinear.
The literature on oscillation of solutions of difference equantions is almost devoted to study of equation (1) when m = 1 and 2 and for recent contribution we refer to Agarwal et.al. [1 , 2 , 3] . Only few results are available for the oscillation of equation (1) when m > 2, see Agarwal et.al. [2 , 4 , 5] .
Therefore, the purpose of this paper is to establish some new results for the oscillation of strongly superlinear and strongly sublinear difference equations. We also provide conditions, which guarantee that every solution defined for all large t ∈ ℕ( t 0 ) is asymptotic at ∞ to ( t ) (m-1) .
The obtained results improve and unify these which have appeared in the recent literature.
2. Preliminaries
We shall need the following lemmas given in [2] .
Lemma 2.1. (Discrete Toylors Formula) Let x(t) be defined on ℕ( t 0 ). Then for all t ∈ ℕ( t 0 ) and 0 ≤ n j − 1
PPT Slide
Lager Image
Further, for all t ∈ ℕ( t 0 , z ), where z t ∈ ℕ( t 0 ) and 0 ≤ n j − 1
PPT Slide
Lager Image
Lemma 2.2. (Discrete Kneser’s Theorem) Let x(t) be defined on ℕ( t 0 ), x ( t ) > 0 and Δ mx ( t ) be eventually of one sign on ℕ( t 0 ). Then there exists an integer k, 0 ≤ k m with m + k odd for Δ mx ( t ) ≤ 0 and ( m + k ) even for Δ mx ( t ) ≥ 0 such that
PPT Slide
Lager Image
Lemma 2.3. Let x ( t ) be defined on ℕ( t 0 ) and x ( t ) > 0 with Δ mx ( t ) ≤ 0 for t ∈ ℕ( t 0 ) and not identically zero. Then there exists large t 1 ∈ ℕ( t 0 ) such that
PPT Slide
Lager Image
where k is as in Lemma 2.2. Furthermore, if x ( t ) is increasing, then
PPT Slide
Lager Image
Lemma 2.4. (Gronwal Inequality) Let for all t ∈ ℕ( t 0 ) the following inequality be satisfied
PPT Slide
Lager Image
where { p ( t )}, { q ( t )}, { ƒ ( t )} and { x ( t )} are non-negative real-valued sequence de-fined on ℕ( t 0 ). Then for all t ∈ ℕ( t 0 ),
PPT Slide
Lager Image
3. Oscillation Criteria
We shall study the oscillatory behavior of all solutions of equation (1) when it is either strongly superlinear or strongly sublinear.
We begin with strongly superlinear case of equation(1).
Theorem 3.1. Suppose that equation (1) is strongly superlinear. If
PPT Slide
Lager Image
for some c ≠ 0 and k ∈ {1, 3, ..., m − 1}, then equation (1) is oscillatory .
Proof . Let { x ( t )} be a non-oscillatory solution of equation (1), say x ( t ) > 0 for t t 0 ∈ ℕ( t 0 ). By Lemma 2.2, there exists an integer k ∈ {1, 3, ..., m − 1} such that (7) holds for t t 1 t 0 .
Clearly, Δ k−1 x ( t ) is positive and increasing for t t 1 . Thus from (5), we find for s t t 0
PPT Slide
Lager Image
On the other hand, there exists a constant c > 0 such that
PPT Slide
Lager Image
From (6) with n = k and j = m , and equation (1), we have
PPT Slide
Lager Image
Using the strong superlinearity of ƒ we obtain
PPT Slide
Lager Image
Using (13) in (16) and the fact that m − 1 ≥ k , we have
PPT Slide
Lager Image
for t t 1 . Or
PPT Slide
Lager Image
where
PPT Slide
Lager Image
Now, since Δ kx ( t ) is positive and decreasing for t t 1 + 1, we find
PPT Slide
Lager Image
Summing this inequality from t 1 + 1 to T t 1 + 1 we get
PPT Slide
Lager Image
which contradicts condition (12). This completes the proof.
When k = 1, condition (12) is reduced to
PPT Slide
Lager Image
For the case when m = 2, we obtain
Corollary 3.2. Suppose that equation (1) with m = 2 is strongly superlinear. If
PPT Slide
Lager Image
then equation (1) with m = 2 is oscillatory .
For strongly sublinear equation (1), we have
Theorem 3.3. Let equation (1) be strongly sublinear. If
PPT Slide
Lager Image
for some constant c ≠ 0, then equation (1) is oscillatory .
Proof . Let { x ( t )} be a non-oscillatory solution of equation (1), say x ( t ) > 0 for t ∈ ℕ( t 0 ). By Lemma 2.2, these exists a t 1 t 0 and constants c 1 and c 2 such that
PPT Slide
Lager Image
PPT Slide
Lager Image
and by Lemma 2.3, we find
PPT Slide
Lager Image
Summing equation (1) from t t 2 to u t and letting u → ∞, we get
PPT Slide
Lager Image
Using the strong sublinearity of ƒ in the above inequality, we obtain
PPT Slide
Lager Image
By applying (23) in the (24), we find
PPT Slide
Lager Image
Denoting the right-hand side of (25) by z ( t ), we find
PPT Slide
Lager Image
or
PPT Slide
Lager Image
Summing this inequality from t 2 + 1 to T t 2 + 1, we get
PPT Slide
Lager Image
which contradicts condition (20). This completes the proof.
Remark 3.1 . One can easily see that equation (1) is oscillatory if
PPT Slide
Lager Image
for some constants c ≠ 0.
Remark 3.2. The results of this section are presented in a form which is essentially new. It extend and improve many of the existing results appeared in the literature, see [1 , 2 , 3 , 4 , 5] .
Remark 3.3. When m = 2, the results obtained include many of the known oscillation results for related second order nonlinear difference equations, see [1 , 2 , 3] .
Remark 3.4. The results of this section can be extended to m th order nonlinear difference equation with deviating arguments of the form
PPT Slide
Lager Image
where ƒ is as in equation (1) and g
PPT Slide
Lager Image
{ g : ℕ( t ) → ℕ for some t ∈ ℕ : g ( t ) ≤ t , lim t →∞ g ( t ) = 0}, { g ( t )} is a nondecreasing sequence.
In fact, we may replace s in conditions (12) and (20) by g(s). The details are left to the reader.
4. Asymptotic Behavior
In this section we give a sufficient condition for every solution x defined for all large t ∈ ℕ( t 0 ) of equation (1) to satisfy
PPT Slide
Lager Image
where c is some real number (depending on solution { x ( t )}.
We assume that
PPT Slide
Lager Image
where γ ∈ (0, 1], { a ( t )} and { b ( t )} are nonnegative real-valued sequences.
Theorem 4.1. If
PPT Slide
Lager Image
then every solution { x ( t )}, t ∈ ℕ( t 0 ) of equation (1) satisfies
PPT Slide
Lager Image
and
PPT Slide
Lager Image
where c is some constant (depending on solution { x ( t )}.
Proof . Let { x ( t )} be a solution for t t 0 ∈ ℕ( t 0 ) of equation (1). Then (1) gives
PPT Slide
Lager Image
Thus, by (29), we obtain for t t 0 ,
PPT Slide
Lager Image
or
PPT Slide
Lager Image
Using the elementary inequality
PPT Slide
Lager Image
we find
PPT Slide
Lager Image
By the assumption (29), these exists constat C > 0 such that
PPT Slide
Lager Image
Applying Lemma 2.4 and using condition (29) we can conclude that there exists a positive constant M such that
PPT Slide
Lager Image
Now, by using (28) and (32), we derive
PPT Slide
Lager Image
Thus, because of (29), it follows that
PPT Slide
Lager Image
But, (1) gives
PPT Slide
Lager Image
Therefore,
PPT Slide
Lager Image
i.e. (30) holds. Finally, by L’Hospital rule, we obtain
PPT Slide
Lager Image
and consequently the solution { x ( t )} satisfies (31). This completes the proof.
Of course, Theorem 4.1 remains valid for the equations of the form
PPT Slide
Lager Image
where ƒ satisfies conditions (28) and (29).
We may note that the second part of the condition (29) can be replaced by
PPT Slide
Lager Image
and also the conclusion (31) can be replace by
PPT Slide
Lager Image
As illustrative example, we consider the equation
PPT Slide
Lager Image
where the { p ( t )} and { q ( t )} are non negative real sequence and γ ∈ (0, 1] is a constant. Now, if
PPT Slide
Lager Image
then by Theorem 4.1, we conclude that every solution of equation (36) satisfies
PPT Slide
Lager Image
where C is some real number depending on the solution { x ( t )} .
5. General Remarks
1. We many note that conditions (12) and (18) can be replaced by the stronger condition
PPT Slide
Lager Image
while condition (20) takes the form
PPT Slide
Lager Image
2. Theorem 4.1 when m = 2 is a discrete analog of the results in [6 , 7 , 8 , 9] . Moreover, it improve and unify some of them.
6. Example
Consider the following mth order nonlinear difference equation
PPT Slide
Lager Image
Let m > 4 is a positive even integer,
PPT Slide
Lager Image
we have
PPT Slide
Lager Image
so ƒ ( t,x ( t )) is strong sublinear.
Since c ≠ 0,
PPT Slide
Lager Image
Then,
PPT Slide
Lager Image
Because m > 4 is a positive even integer,
PPT Slide
Lager Image
let t 0 = m − 2, so
PPT Slide
Lager Image
and
PPT Slide
Lager Image
then (40) is divergence, so
PPT Slide
Lager Image
Theorem 3.3, the solution of function (39) is oscillatory.
BIO
Said R. Grace
Department of Engineering Mathematics, Faculty of Engineering Cairo University, Orman, Giza 12221, Egypt.
e-mail: saidgrace@yahoo.com
Zhenlai Han
School of Mathematical Sciences, University of Jinan, Jinan, Shandong 250022, P R China.
e-mail: hanzhenlai@163.com
Xinhui Li
School of Mathematical Sciences, University of Jinan, Jinan, Shandong 250022, P R China.
e-mail: lixinhui1011@163.com
References
Agarwal R. P. , Bohner M. , Grace S. R. , O’ Regan D. 2005 Discrete Oscillation Theory Hindawi publisher New York
Agarwal R. P. 2000 Difference Equations and Inequalities Second Edition Marcel Dekker New York Revised and extended
Agarwal R. P. , Wong P. J. Y. 1997 Advanced Topices in Difference Equations Kluwer Dordrecht
Agarwal R. P. , Grace S. R. (2002) Oscillation criteria for certain higher order difference equations Math. Sci. Res. J. 6 (1) 60 - 64
Agarwal R. P. , Grace S.R. , O’ Regan D. (2005) On the Oscillation of higher order difference equations Soochow J. Math. 31 245 - 259
Rogovchenko S. P. , Rogovchenko Y.V. (2001) Asymptotic behavior of certain second order nonlinear differential equations Dynam. System Appl. 10 185 - 200
Tong J. (1982) The asymptotic behavior of a class of nonlinear differential equations of second order Proc. Amer. Math. Soc. 84 235 - 236    DOI : 10.1090/S0002-9939-1982-0637175-4
Yin Z. (2003) Monotone positve solutions of second order nonlinear differential equtions Nonlinear Anal. 54 391 - 403    DOI : 10.1016/S0362-546X(03)00089-0
Zhao Z. (1994) Positive solutions of nonlinear second order ocdinary differencial equations Proc. Amer. Math. Soc. 121 465 - 469    DOI : 10.1090/S0002-9939-1994-1185276-5