Preprint
Article

This version is not peer-reviewed.

Oscillation of Noncanonical Nonlinear Second-Order Neutral Difference Equations via One Condition

A peer-reviewed version of this preprint was published in:
Mathematics 2026, 14(10), 1735. https://doi.org/10.3390/math14101735

Submitted:

22 April 2026

Posted:

23 April 2026

You are already at the latest version

Abstract
This paper investigates the oscillation properties of solutions to a second-order nonlinear difference equation in noncanonical form with bounded and unbounded neutral terms. By employing the monotonicity of the neutral term together with a linearization technique, we establish new conditions that guarantee all solutions of the equation oscillate. Our results are applicable to various nonlinear forms of the equation, and, notably, the oscillation of all solutions is ensured through a single condition. Consequently, the proposed oscillation criteria are straightforward to apply and distinct from existing results on nonlinear difference equations. Four examples are presented to demonstrate the novelty and significance of the main findings.
Keywords: 
;  ;  ;  ;  ;  
The main objective of this paper is to analyze the oscillatory properties of solutions to the following second-order noncanonical neutral difference equation
Δ ( a ( υ ) ( Δ ( y ( υ ) + p ( υ ) y ( υ τ ) ) ) α ) + q ( υ ) y β ( υ σ ) = 0 ,
where υ υ 0 N ( υ 0 ) = { υ 0 , υ 0 + 1 , . . . } , υ 0 is a positive integer, both α and β are expressed as ratios of odd positive integers with α is greater than or equal to 1 . Also we assume that
(H1)
The sequences { a ( υ ) } , { p ( υ ) } and { q ( υ ) } are positive real-valued, and p ( υ ) satisfies p ( υ ) m > 1 ;
(H2)
Two positive integers τ and σ are given with τ < σ ;
(H3)
Equation (1) is in noncanonical form, that is,
υ = υ 0 a 1 / α ( υ ) < .
For the sake of brevity, we let z ( υ ) = y ( υ ) + p ( υ ) y ( υ τ ) . The solution of (1) is a real sequence { y ( υ ) } that is defined for υ υ 0 τ and satisfies (1) for all υ υ 0 . “A proper solution of (1) is called oscillatory if it is neither eventually positive nor eventually negative; otherwise we call it nonoscillatory. The equation (1) itself is called oscillatory if all its solutions are oscillatory”.
It follows from [24], that equation (1) is in canonical form if
A ( υ ) = s = υ 0 υ 1 a 1 / α ( s ) if υ
and is in the noncanonical form if
B ( υ 0 ) = υ = υ 0 a 1 / α ( υ ) < .
Neutral difference equations are a class of functional difference equations in which the highest-order difference of the unknown sequence appears both with and without deviating arguments. Noncanonical second-order neutral difference equations are particularly important for analyzing complex nonlinear discrete systems, where future states depend on both current and past rates of change. They capture memory effects in population biology, economics, and engineering, and can often be transformed into simpler canonical forms to study oscillation, asymptotic behavior, and stability. Such equations have attracted considerable interest among researchers not only for their theoretical significance but also for their wide-ranging applications across diverse fields. Applications of these equations can be found in [1,2,19,20] and the references cited therein.
Taking the neutral coefficient p ( υ ) > 1 in neutral difference equations is critical because it fundamentally alters stability and asymptotic behavior, often driving solutions toward instability, oscillation, or convergence, unlike the stable damping behavior associated with 0 < p ( υ ) < 1 . The condition p ( υ ) > 1 is essential for describing higher-order, nonlinear, or delayed feedback mechanisms in engineering and biological models. Similarly, the condition τ < σ is necessary to introduce a delay effect in the considered equation. Conversely, if τ σ , the equation may reduce to a non-delay or advanced type, thereby changing its qualitative behavior.
Oscillation in difference equations, where solutions alternate around an equilibrium, is critical for modeling, predicting, and controlling discrete dynamical systems. It reveals stability, periodicity, and chaotic tendencies in fields such as biology, economics, and engineering by identifying whether solutions diverge, converge, or fluctuate due to delayed feedback or discrete time steps. Understanding oscillation is essential to ensure that discrete, time-stepping models accurately capture the inherently fluctuating nature of real-world physical and biological systems. Therefore, oscillation theory remains one of the most important and continuously developing branches of the qualitative theory of difference equations.
Following the pioneering work of Hartman [7] on well-known results concerning the oscillation of second-order difference equations, considerable interest has arisen in establishing oscillation criteria for various classes of difference equations using diverse methods. Several techniques have been developed for this purpose; among the most widely employed are the Riccati transformation, summation averaging techniques, comparison theorems, and linearization methods. For further details, see the monographs [1,2], the papers [5,6,8,9,10,12,15,17,18,21,26,27], and the references cited therein.
In particular, Koplatadze [13] focus on the canonical form of a delay difference equation
Δ 2 y ( υ ) + q ( υ ) y ( υ σ ) = 0 ,
where σ is a positive integer, and proved equation (2) was oscillatory if
lim inf υ 1 υ s = υ 0 υ 1 s 2 q ( s ) > 1 4 .
Later in [4], the authors proved the following to guarantee the oscillation of the noncanonical equation
Δ ( a ( υ ) Δ y ( υ ) ) + q ( υ ) y ( υ σ ) = 0 ,
namely,
lim sup υ A ( υ σ ) s = υ 0 υ σ 1 q ( s ) + s = υ σ υ 1 A ( s + 1 ) q ( s ) + 1 A ( υ σ ) s = υ A ( s + 1 ) A ( s σ ) q ( s ) > 1 .
In [2], the authors extended the result obtained in [13] to equation (4) when it is in noncanonical form. In [11], the authors studied equation (1) or its particular cases with p ( υ ) 0 and in canonical form using linearization technique along with Koplatadze method.
In [14], the authors demonstrated that 0 p ( υ ) < 1 along with
υ = υ 0 q ( υ ) ( 1 p ( υ σ ) ) =
implies the oscillation of all solutions of the neutral difference equation
Δ 2 ( y ( υ ) + p ( υ ) y ( υ τ ) ) + q ( υ ) y ( υ σ ) = 0 .
In [22,23], the authors studied equation (1) or its particular cases when either 0 p ( υ ) p < or p ( υ ) > 1 and obtained criteria for the oscillation of all solutions of the studied equation.
Most existing results focus on canonical-type equations because these equations are easier to handle and possess only one set of nonoscillatory solutions. Consequently, a single condition is sufficient to obtain oscillation results. In contrast, noncanonical-type equations admit two sets of nonoscillatory solutions, and oscillation criteria for such equations are typically derived by employing comparison theorems and summation averaging techniques for different values of α and β .
Recently in [16], the authors consider the equation (1) with α = 1 and 0 p ( υ ) < p < 1 and obtained some oscillation criteria by applying comparison technique and Koplatadze method.
Motivated by the aforementioned studies, and using a combination of the linearization technique with the monotonic properties of the neutral term, our objective is to present new oscillation criteria for equation (1) for different values of α and β . Moreover, in contrast to the results reported in [22,23], an important aspect of our findings is that the oscillation of equation (1) is ensured through a single condition. Additionally, four numerical examples are provided to demonstrate the novelty and significance of our main results in the existing literature. The proof technique employed here is based in part on recent contributions [3,25] to the oscillation theory of functional differential equations.
In particular, we assume that { y ( υ ) } is a solution of (1). Under this assumption, { y ( υ ) } is also a solution of (1). When considering nonoscillatory solutions, it is sufficient to examine only the positive ones, since the proofs for negative solutions are analogous due to the structure of (1).

Oscillation Results

In this section, we present a single-condition criterion for the oscillation of equation (1). For convenience, we set
A ( υ ) = s = υ * υ 1 a 1 / α ( s ) , υ * υ 0 , B ( υ ) = s = υ a 1 / α ( s ) ,
Q ( υ ) = q ( υ ) p β ( υ + τ σ ) , k = ( m 1 ) β m β ,
and
z ( υ ) = y ( υ ) + p ( υ ) y ( υ τ ) .
Lemma 1. 
Let { y ( υ ) } be an eventually positive solution of (1) on N ( υ 0 ) . If
υ = υ 0 B α ( υ 1 ) q ( υ ) p β ( υ + τ σ ) = ,
then the corresponding sequence { z ( υ ) } belongs to the class S 0 eventually, where
z ( υ ) S 0 z ( υ ) > 0 , a 1 / α ( υ ) Δ z ( υ ) < 0 , Δ ( a 1 / α ( υ ) Δ z ( υ ) ) 0 .
Proof. 
Let { y ( υ ) } be an eventually positive solution of (1) on N ( υ 0 ) and there exists an υ 1 N ( υ 0 ) such that y ( υ ) > 0 , y ( υ τ ) > 0 and y ( υ σ ) > 0 for all υ υ 1 . Now, for υ υ 1 , z ( υ ) > 0 and
Δ ( a ( υ ) ( Δ z ( υ ) ) α ) = q ( υ ) y β ( υ σ ) 0 ,
which implies that Δ z ( υ ) is of one sign eventually, that is, Δ z ( υ ) > 0 or Δ z ( υ ) < 0 eventually. We claim that Δ z ( υ ) < 0 eventually. If this is not true, then there is an integer υ 2 υ 1 such that Δ z ( υ ) > 0 for υ υ 2 . It is easy to see that by Mean-Value Theorem, we find
Δ ( a ( υ ) ( Δ z ( υ ) ) α ) α ( a 1 / α ( υ ) Δ z ( υ ) ) α 1 Δ ( a 1 / α ( υ ) Δ z ( υ ) ) .
From (8), α is a ratio of odd positive integers, we conclude that from (7)
s g n Δ ( a 1 / α ( υ ) Δ z ( υ ) ) = s g n Δ ( a ( υ ) ( Δ z ( υ ) ) α ) .
Hence
z ( υ ) > 0 , a 1 / α ( υ ) Δ z ( υ ) > 0 , Δ ( a 1 / α ( υ ) Δ z ( υ ) ) 0 , υ υ 2 .
Now
z ( υ ) s = υ 2 υ 1 a 1 / α ( s ) Δ z ( s ) a 1 / α ( s ) A ( υ ) a 1 / α ( υ ) Δ z ( υ ) ,
which implies that
Δ z ( υ ) A ( υ ) = A ( υ ) a 1 / α ( υ ) Δ z ( υ ) z ( υ ) A ( υ ) A ( υ + 1 ) a 1 / α ( υ ) 0 ,
for υ υ 3 , for some integer υ 3 υ 2 , that is, z ( υ ) A ( υ ) is nonincreasing for υ υ 3 . From the definition of z ( υ ) , we have
y ( υ ) = 1 p ( υ + τ ) z ( υ + τ ) y ( υ + τ ) z ( υ + τ ) p ( υ + τ ) z ( υ + 2 τ ) p ( υ + τ ) p ( υ + 2 τ ) .
Since z ( υ ) A ( υ ) is nonincreasing, we see that
z ( υ + 2 τ ) A ( υ + 2 τ ) z ( υ + τ ) A ( υ + τ )
and using (10) in (9) yields
y ( υ ) z ( υ + τ ) p ( υ + τ ) 1 A ( υ + 2 τ ) A ( υ + τ ) 1 p ( υ + 2 τ ) for υ υ 3 .
By ( H 1 ) and the fact that
lim υ A ( υ + τ ) A ( υ ) = 1 ,
we see that there exists an integer υ 4 υ 3 such that for any ϵ ( 0 , m 1 ) and υ υ 4
A ( υ + 2 τ ) A ( υ + τ ) 1 p ( υ + 2 τ ) 1 + ϵ m .
Using this in (11) gives
y ( υ ) d z ( υ + τ ) p ( υ + τ ) for υ υ 4 ,
where d = 1 ( 1 + ϵ ) m > 0 . Inserting (12) into (1) yields
Δ ( a ( υ ) ( Δ z ( υ ) ) α ) + d β q ( υ ) p β ( υ + τ σ ) z β ( υ + τ σ ) 0 ,
for υ υ 5 υ 4 . By the monotonicity of z ( υ ) , we have z ( υ ) z ( υ 5 ) = c > 0 and so the inequality (13) becomes
Δ ( a ( υ ) ( Δ z ( υ ) ) α ) + d β c β q ( υ ) p β ( υ + τ σ ) 0 , υ υ 6 υ 5 .
Since B ( υ ) is positive, decreasing and lim υ B ( υ ) = 0 , we can choose a sufficiently large integer υ * N ( υ 0 ) such that
0 < B ( υ ) < 1 for υ υ * .
Let υ 7 = max { υ 6 , υ * } . Summing (14) from υ 6 to and taking (15) into account, we obtain
a ( υ 6 ) ( Δ z ( υ 6 ) ) α c β d β υ = υ 6 q ( υ ) p β ( υ + τ σ ) c β d β υ = υ 7 q ( υ ) p β ( υ + τ σ ) c β d β υ = υ 7 B α ( υ + 1 ) q ( υ ) p β ( υ + τ σ ) ,
which is a contradiction in view of (6) and so Δ z ( υ ) < 0 eventually and this ends the proof. □
Lemma 2. 
Let { y ( υ ) } be an eventually positive solution of (1) on N ( υ 0 ) . If (6) holds, then the following are satisfied eventually:
(i)
z ( υ ) + B ( υ ) a 1 / α ( υ ) Δ z ( υ ) 0 ;
(ii)
z ( υ ) B ( υ ) is nondecreasing;
(iii)
z ( υ + τ σ ) a 1 / α ( υ ) Δ z ( υ ) α 1 B α 1 ( υ ) ;
and
(iv)
lim υ z ( υ ) = 0 .
Proof. 
Choose υ 1 N ( υ 0 ) so that y ( υ ) > 0 , y ( υ τ ) > 0 and y ( υ σ ) > 0 for all υ υ 1 . Proceeding as in the proof of Lemma 1, we again see that the corresponding sequence z ( υ ) belongs to the class S 0 eventually, say, for υ υ 2 for some integer υ 2 υ 1 . Since a 1 / α Δ z ( υ ) is negative and decreasing,
z ( υ ) s = υ a 1 / α ( s ) Δ z ( s ) a 1 / α ( s ) B ( υ ) a 1 / α ( υ ) Δ z ( υ ) ,
which implies that part ( i ) holds.
From (16), we see that
Δ z ( υ ) B ( υ ) = B ( υ ) a 1 / α ( υ ) Δ z ( υ ) + z ( υ ) B ( υ ) B ( υ + 1 ) a 1 / α ( υ ) 0 ,
that is, part ( i i ) is fulfilled.
Since υ + τ σ < υ , we get z ( υ + τ σ ) z ( υ ) and using this in (16), we observe that
z ( υ + τ σ ) a 1 / α ( υ ) Δ z ( υ ) α 1 B α 1 ( υ ) ,
which proves ( i i i ) .
From the monotonic property of z ( υ ) for υ υ 2 , we can choose M 1 0 such that lim υ z ( υ ) = M 1 . We will show that M 1 = 0 . If M 1 > 0 , then there is an integer υ 3 υ 2 such that for any ϵ > 0 ,
M 1 < z ( υ ) < M 1 + ϵ for υ υ 3 .
Since z ( υ + τ ) z ( υ + 2 τ ) and using this in (9) yields
y ( υ ) 1 p ( υ + τ ) 1 1 p ( υ + 2 τ ) z ( υ + τ ) for υ υ 3 ,
which together with ( H 1 ) gives
y ( υ ) k 1 / β z ( υ + τ ) p ( υ + τ ) for υ υ 3 .
Combining (19) with (1) gives
Δ ( a ( υ ) ( Δ z ( υ ) ) α ) + k q ( υ ) p β ( υ + τ σ ) z β ( υ + τ σ ) 0 ,
for υ υ 4 for some υ 4 υ 3 . In view of (8), we can rewrite (20) as
Δ ( a 1 / α ( υ ) Δ z ( υ ) ) + k α z α 1 ( υ + τ σ ) ( a 1 / α ( υ ) Δ z ( υ ) ) α 1 q ( υ ) p β ( υ + τ σ ) z β α + 1 ( υ + τ σ ) 0 .
By virtue of (17) and (21), we obtain
Δ ( a 1 / α ( υ ) Δ z ( υ ) ) + k α B α 1 ( υ ) q ( υ ) p β ( υ + τ σ ) z β α + 1 ( υ + τ σ ) 0
for υ υ 4 . From (18) and (22), we see that
Δ ( a 1 / α ( υ ) Δ z ( υ ) ) + d B α 1 ( υ ) q ( υ ) p β ( υ + τ σ ) 0
for υ υ 5 υ 4 , where d = k M 1 1 + β α ( M 1 + ϵ ) α > 0 . Summing (23) two times yields
z ( υ 5 ) d υ = υ 5 1 a 1 / α ( υ ) s = υ 5 υ 1 B α 1 ( s ) q ( s ) p β ( s + τ σ ) d υ = υ 5 B α ( υ + 1 ) q ( υ ) p β ( υ + τ σ ) = ,
which is a contradiction. This contradiction proves that M 1 = 0 and the proof ends. □
Now, we are ready to derive oscillation conditions for (1) when β α .
Lemma 3. 
Let { y ( υ ) } be an eventually positive solution of (1) on N ( υ 0 ) . If (6) holds, then the corresponding sequence { z ( υ ) } satisfies the linear inequalities
Δ ( a 1 / α ( υ ) Δ z ( υ ) ) + k α B α 1 ( υ + 1 ) Q ( υ ) z ( υ + τ σ ) 0
and
Δ ( z ( υ ) + B ( υ ) a 1 / α ( υ ) Δ z ( υ ) ) + k α B α ( υ + 1 ) Q ( υ ) z ( υ + τ σ ) 0 ,
eventually.
Proof. 
Proceeding as in the proof of Lemma 2, we arrive at (22) for υ υ 4 . Since z ( υ ) is positive, decreasing and lim υ z ( υ ) = 0 , there exists a sufficiently large υ 5 υ 4 such that
0 < z ( υ ) < 1 for υ υ 5 .
In view of (26) and β α , we have
z β / α ( υ ) z ( υ ) for υ υ 5 .
From (26) and the fact that β α 0 , we have β α α ( β α ) and therefore obtain
z β α ( υ ) z ( β α ) / α ( υ ) for υ υ 5 .
Using (28) in (22)
Δ ( a 1 / α ( υ ) Δ z ( υ ) ) + k α B α 1 ( υ + 1 ) Q ( υ ) z β / α ( υ + τ σ ) 0
for υ υ 6 for some υ 6 υ 5 . Using (27) in (29) leads to
Δ ( a 1 / α ( υ ) Δ z ( υ ) ) + k α B α 1 ( υ + 1 ) Q ( υ ) z ( υ + τ σ ) 0
for υ υ 6 , which proves (26).
From (30) and the fact that
Δ ( z ( υ ) + B ( υ ) a 1 / α ( υ ) Δ z ( υ ) ) = B ( υ + 1 ) Δ ( a 1 / α ( υ ) Δ z ( υ ) ) ,
we find that
Δ ( z ( υ ) + B ( υ ) a 1 / α ( υ ) Δ z ( υ ) ) + k α B α ( υ + 1 ) Q ( υ ) z ( υ + τ σ ) 0
for υ υ 6 , that is, (25) holds. This ends the proof. □
Our first oscillation criterion is of Koplatadze type.
Theorem 1. 
If
lim sup υ Ω ( υ ) > α k ,
where
Ω ( υ ) = B ( υ + 1 ) s = υ 0 υ 1 B α 1 ( s + 1 ) Q ( s ) + 1 B ( υ + τ σ ) s = υ B α ( s ) Q ( s ) B ( s + τ σ ) ,
then equation (1) oscillates.
Proof. 
For the sake of contradiction, assume { y ( υ ) } is a nonoscillatory solution of (1), such that y ( υ ) > 0 , y ( υ τ ) > 0 and y ( υ σ ) > 0 for υ 1 N ( υ 0 ) , but condition (32) holds. Then from (32) there exists a positive constant c such that
lim sup υ Ω ( υ ) c .
We now prove that (33) implies (6). Indeed, if not, then
υ = υ 1 B α ( υ + 1 ) Q ( υ ) < .
Therefore, there exists a sufficiently large υ 2 N ( υ 1 ) such that
υ = υ 2 B α ( υ + 1 ) Q ( υ ) < c 4 .
Now, since B ( υ ) is positive, decreasing and lim υ B ( υ ) = 0 , we find that there exists a sufficiently large υ * N ( υ 0 ) such that (15) holds. Let υ 3 = max { υ 2 , υ * } . Then, for υ υ 3 , it follows from (15) and (34) that
B ( υ + 1 ) s = υ 1 υ 1 B α 1 ( s + 1 ) Q ( s ) = B ( υ + 1 ) s = υ 1 υ 3 1 B α 1 ( s + 1 ) Q ( s ) + B ( υ + 1 ) s = υ 3 υ 1 B α 1 ( s + 1 ) Q ( s ) B ( υ + 1 ) s = υ 1 υ 3 1 B α 1 ( s + 1 ) Q ( s ) + s = υ 3 υ 1 B α ( s + 1 ) Q ( s ) B ( υ + 1 ) s = υ 1 υ 3 1 B α 1 ( s + 1 ) Q ( s ) + c 4 .
Also, for υ υ 3
1 B ( υ + τ σ ) s = υ B α ( s + 1 ) Q ( s ) B ( s + τ σ ) s = υ B α ( s + 1 ) Q ( s ) s = υ 3 B α ( s + 1 ) Q ( s ) c 4 .
Hence, from (35) and (36), we deduce that
lim sup υ Ω ( υ ) c 2 ,
which contradicts (33) and this contradiction implies that (6) holds. Thus, all the results of Lemma 1-3 are satisfied. Proceeding exactly as in the proof of Lemma 3, we again arrive at (24) and (25) for υ υ 3 . Summing (25) from υ υ 3 to yields
z ( υ ) + B ( υ ) a 1 / α ( υ ) Δ z ( υ ) k α s = υ B α ( s + 1 ) Q ( s ) z ( s + τ σ ) .
Taking summation of (24) from υ 3 to υ 1 gives
B ( υ ) a 1 / α ( υ ) Δ z ( υ ) k α B ( υ + 1 ) s = υ 3 υ 1 B α 1 ( s + 1 ) Q ( s ) z ( s + τ σ ) .
Combining (37) and (38), one gets
z ( υ ) k α B ( υ + 1 ) s = υ 3 υ 1 B α 1 ( s + 1 ) Q ( s ) z ( s + τ σ ) + k α s = υ B α ( s + 1 ) Q ( s ) z ( s + τ σ ) .
Using the monotonicity properties of z ( υ ) and z ( υ ) B ( υ ) , we obtain
s = υ 3 υ 1 B α 1 ( s + 1 ) Q ( s ) z ( s + τ σ ) s = υ 3 υ 1 B α 1 ( s + 1 ) Q ( s ) z ( υ )
and
s = υ B α ( s + 1 ) Q ( s ) z ( s + τ σ ) z ( υ ) B ( υ + τ σ ) s = υ B α ( s + 1 ) Q ( s ) B ( s + τ σ ) .
Using (40), (41) in (39), we get
α k B ( υ + 1 ) s = υ 3 υ 1 B α 1 ( s + 1 ) Q ( s ) + 1 B ( s + τ σ ) s = υ B α ( s + 1 ) Q ( s ) B ( s + τ σ ) .
Taking lim sup as υ in the previous inequality, we get a contradiction with (32). This completes the proof. □
From the above theorem, we immediately obtain the following corollary.
Corollary 1. 
Let α = β . If
lim sup υ Ω ( υ ) > α ( m m 1 ) α ,
where
Ω ( υ ) = B ( υ + 1 ) s = υ 0 υ 1 B α 1 ( s + 1 ) Q ( s ) + 1 B ( υ + τ σ ) s = υ B α ( s ) Q ( s ) B ( s + τ σ ) ,
then equation (1) oscillates.
The following criterion is of Myshkis type and so different from the previous results.
Theorem 2. 
If
lim sup υ s = υ + τ σ υ 1 B α ( s + 1 ) Q ( s ) > α k ,
then equation (1) oscillates.
Proof. 
Let { y ( υ ) } be a nonoscillatory solution of (1), such that y ( υ ) > 0 , y ( υ τ ) > 0 and y ( υ σ ) > 0 for all υ N ( υ 1 ) . It is clear that (43) implies that (6). Hence all the results of Lemma 1-3 are satisfied. From Lemma 3, we have (25). Let
x ( υ ) = z ( υ ) + B ( υ ) a 1 / α ( υ ) Δ z ( υ ) ,
and taking 0 x ( υ ) z ( υ ) into account, we obtain from (25) that
Δ y ( υ ) + k α B α ( υ + 1 ) Q ( υ ) y ( υ + τ σ ) 0 .
Summing the last inequality from υ + τ σ to υ 1 gives
y ( υ + τ σ ) k α s = υ + τ σ υ 1 B α ( s + 1 ) Q ( s ) y ( s + τ σ ) k α s = υ + τ σ υ 1 B α ( s + 1 ) Q ( s ) y ( υ + τ σ ) ,
from which
α k s = υ + τ σ υ 1 B α ( s + 1 ) Q ( s ) .
Letting the lim sup as υ , we see a contradiction with (43). This ends the proof. □
Next, we derive the oscillation criteria for the case β > α . In our previous results, we have used the fact that z ( υ ) 0 as υ , but in our next results, we use z ( υ ) B ( υ ) as υ .
Lemma 4. 
Let { y ( υ ) } be an eventually positive solution of (1) on N ( υ 0 ) . If
υ = υ 0 B α ( υ + 1 ) Q ( υ ) = ,
then z ( υ ) S 0 and
lim υ z ( υ ) B ( υ ) = .
Proof. 
Once again from the monotonic properties of B ( υ ) , we see that there exists a sufficiently large υ * N ( υ 0 ) such that (15) holds. By (15) and β > α , we obtain
B β ( υ + 1 ) B α ( υ + 1 ) for υ υ * ,
from which,
B β ( υ + 1 ) Q ( υ ) B α ( υ + 1 ) Q ( υ ) .
On the other hand, in view of (46), we find that (44) implies (6). So all the conditions of Lemma 1 and 2 hold. The proofs followed from Lemma 2, we obtain (23) holds. Since B ( υ ) 0 as υ and z ( υ ) 0 as υ , by L’Hospital’s rule
lim υ z ( υ ) B ( υ ) = lim υ a 1 / α ( υ ) Δ z ( υ ) .
Now, we show that lim υ a 1 / α ( υ ) Δ z ( υ ) = . Indeed, if it is not true, then there is a constant c 1 > 0 such that
a 1 / α ( υ ) Δ z ( υ ) c 1 < .
This together with a summation of (23) from υ 3 to υ 1 , gives
c 1 α a ( υ ) ( Δ z ( υ ) ) α k s = υ 3 υ 1 Q ( s ) z β ( s + τ σ ) k s = υ 3 υ 1 B β ( s + 1 ) Q ( s ) z ( s + 1 ) B ( s + 1 ) β k z ( υ 3 ) B ( υ 3 ) β s = υ 3 υ 1 B β ( s + 1 ) Q ( s ) ,
which contradicts (44) and we deduce that
lim υ z ( υ ) B ( υ ) = lim υ a 1 / α ( υ ) Δ z ( υ ) = .
This ends the proof. □
Lemma 5. 
Let { y ( υ ) } be an eventually positive solution of (1) on N ( υ 0 ) . If (44) holds, then
Δ ( a 1 / α ( υ ) Δ z ( υ ) ) + k α B β ( υ + 1 ) Q ( υ ) z ( υ + τ σ ) B ( υ + τ σ ) 0
and
Δ ( z ( υ ) + B ( υ ) a 1 / α ( υ ) Δ z ( υ ) ) + k α B β + 1 ( υ + 1 ) Q ( υ ) z ( υ + τ σ ) B ( υ + τ σ ) 0 ,
eventually.
Proof. 
Since (44) implies (6), we see that all the conditions of Lemmas 1, 2 and 4 are satisfied. The proofs followed by Lemma 2, we see that (22) holds for all υ υ 4 . Since z ( υ ) B ( υ ) as υ , there exists a sufficiently large T 1 N ( υ 0 ) such that
z ( υ ) B ( υ ) 1 for υ T 1 .
By (49) and β > α ,
z ( υ ) B ( υ ) β / α z ( υ ) B ( υ ) for υ T
and
β α β α α .
Since υ + τ σ as υ , we can choose an integer T 2 T 1 such that υ + τ σ T 1 for υ T 2 and so from (51)
z ( υ + τ σ ) B ( υ + τ σ ) β α z ( υ ) B ( υ ) ( β α ) / α for υ T .
Let υ 5 = max { υ 4 , T 2 } . Using (52) in (22) yields
Δ ( a 1 / α ( υ ) Δ z ( υ ) ) + k α B α 1 ( υ + 1 ) Q ( υ ) z ( υ + τ σ ) B ( υ + τ σ ) β / α 0
for all υ υ 5 . Using that B ( υ ) is decreasing, β > α and τ < σ , it follows from (53) that
Δ ( a 1 / α ( υ ) Δ z ( υ ) ) + k α B β ( υ + 1 ) Q ( υ ) z ( υ + τ σ ) B ( υ + τ σ ) β / α 0
for υ υ 5 . Using (50) in (54) gives
Δ ( a 1 / α ( υ ) Δ z ( υ ) ) + k α B β ( υ + 1 ) Q ( υ ) z ( υ + τ σ ) B ( υ + τ σ ) 0
for υ υ 5 , which proves (47). Recalling (25) again, we can rewrite (55) in the form
Δ ( z ( υ ) + B ( υ ) a 1 / α ( υ ) Δ z ( υ ) ) + k α B β + 1 ( υ + 1 ) Q ( υ ) z ( υ + τ σ ) B ( υ + τ σ ) 0
for υ υ 4 , which proves (48). This ends the proof. □
Theorem 3. 
If
lim sup υ s = υ + τ σ υ 1 B β + 1 ( s + 1 ) Q ( s ) B 1 ( s + τ σ ) > α k ,
then (1) oscillates.
Proof. 
Choose υ 1 N ( υ 0 ) such that y ( υ ) > 0 , y ( υ τ ) > 0 and y ( υ σ ) > 0 for υ υ 1 . It is clear that (56) yields that
υ = υ 0 B β + 1 ( υ + 1 ) Q ( υ ) B 1 ( υ + τ σ ) = .
Using the monotonic property of B ( υ ) and τ < σ gives
s = υ + τ σ υ 1 B β + 1 ( s + 1 ) Q ( s ) B 1 ( s + τ σ ) s = υ + τ σ υ 1 B β ( s + 1 ) Q ( s ) .
In view of (57) and (58), we observe that (56) implies (44).
Hence, all the conditions of Lemma 4 and Lemma 5 are satisfied. The proofs followed by Lemma 5, we again lead to (48). Summing (19) from υ + τ σ to υ 1 , we obtain
z ( υ + τ σ ) + B ( ( υ + τ σ ) ) a 1 / α ( υ + τ σ ) Δ z ( υ + τ σ ) k α s = υ + τ σ υ 1 B β + 1 ( s + 1 ) Q ( s ) z ( s + τ σ ) B ( s + τ σ ) k α s = υ + τ σ υ 1 B β + 1 ( s + 1 ) Q ( s ) B ( s + τ σ ) z ( s + τ σ ) ,
which, together with Δ z ( υ ) < 0 , yields
z ( υ + τ σ ) k α s = υ + τ σ υ 1 B β + 1 ( s + 1 ) Q ( s ) B 1 ( s + τ σ ) z ( s + τ σ ) .
From the last inequality, we get
k α s = υ + τ σ υ 1 B β + 1 ( s ) Q ( s ) B 1 ( s + τ σ ) .
Taking lim sup as υ , we obtain a contradiction to (56) and this ends the proof. □
Remark 1. 
The conditions required to get oscillation in [22,23] compared with our results given in the following table.
Neutral Conditions Conditions Condition
Coefficient required required required
p ( υ ) in [22] in [23] here
0 < p ( υ ) < two Two one
p ( υ ) as υ - Two one
Therefore, it is easy to apply our results in applications than that in [22] and [23].
Remark 2. 
The results obtained in this paper can be easily extended to more general equation of the form
Δ ( a ( υ ) | z ( υ ) | α 1 z ( υ + q ( υ ) | y ( υ σ ) | β 1 y ( υ σ ) = 0 ,
where z ( υ ) = y ( υ ) + p ( υ ) y ( υ τ ) , α 1 and β > 0 , without any difficulty. This form of equation include α and β are any real numbers.

1. Examples

In this section, four examples are provided to illustrate the significance of the main results. First example may be used in population biology to model species growth and interaction. Second example may be used in signal processing in communication systems to model how signals decay with distance but still oscillate due to interference. Third example may be used in control systems and delayed feed back to model feed back loops in mechanical systems where oscillation persist. The last example serves as a counterexample. In all cases, we present at least one explicit solution.
Example 1. 
Consider the half-linear neutral difference equation
Δ ( υ 5 ( υ + 1 ) 5 ( Δ ( y ( υ ) + 2 y ( υ 1 ) ) ) 5 ) + q ( υ ) y 5 ( υ 2 ) = 0 , υ 2 ,
where q ( υ ) = 32 ( υ + 1 ) 5 ( υ 5 + ( υ + 2 ) 5 ) .
Here a ( υ ) = υ 5 ( υ + 1 ) 5 , p ( υ ) = 2 , q ( υ ) = 32 ( υ + 1 ) 5 ( υ 5 + ( υ + 2 ) 5 ) , α = β = 5 , τ = 1 and σ = 2 . It is easy to see that the hypotheses ( H 1 ) - ( H 3 ) are clearly satisfied. Further a simple calculation shows that B ( υ ) = 1 υ , m = 2 , k = ( m 1 ) β m β = 1 32 , α k = 160 and Q ( υ ) = ( υ + 1 ) 5 ( υ 5 + ( υ + 2 ) 5 ) . The condition (43) becomes
lim sup υ s = υ + τ σ υ 1 B α ( s + 1 ) Q ( s ) = lim υ ( ( υ 1 ) 5 + ( υ + 1 ) 5 ) = > 160 ,
By Theorem 2, the equation (59) is oscillatory and in fact { y ( υ ) } = { ( 1 ) υ } is one such oscillatory solution of equation (59).
Example 2. 
Consider the second-order nonlinear neutral difference equation
Δ ( 2 3 υ ( Δ ( y ( υ ) + 2 υ y ( υ 2 ) ) ) 3 ) + q ( υ ) y ( υ 3 ) = 0 , υ 1 ,
where q ( υ ) = 2 4 υ + 6 [ ( 2 + 3 2 υ + 4 ) 3 + ( 1 + 3 2 υ + 4 ) 3 ] .
Here a ( υ ) = 2 3 υ , τ = 2 , σ = 3 , α = 3 , β = 1 , and p ( υ ) = 2 υ . It is easy to see that the hypotheses ( H 1 ) - ( H 3 ) are clearly hold. By a simple calculation, we see that B ( υ ) = 1 2 υ , m = 2 , k = 1 2 , α k = 6 and Q ( υ ) 9 ( 2 3 υ + 7 ) . The condition (32) becomes
lim sup υ Ω ( υ ) = 2592 > 6 .
Now, by applying Theorem 1, the equation (60) is oscillatory and in fact { y ( υ ) } = { ( 1 / 2 ) υ } is one such oscillatory solution of equation (60).
Example 3. 
Consider the nonlinear second-order neutral delay difference equation
Δ ( υ 3 ( υ + 1 ) 3 ( Δ ( y ( υ ) + 2 υ y ( υ 1 ) ) ) 3 ) + q ( υ ) y 5 ( υ 2 ) = 0 , υ 2 ,
where q ( υ ) = 2 ( υ + 1 ) 3 ( υ 3 + ( υ + 2 ) 3 ) .
Here a ( υ ) = υ 3 ( υ + 1 ) 3 , τ = 1 , σ = 2 , α = 3 , β = 5 , p ( υ ) = 2 and q ( υ ) = 2 ( υ + 1 ) 3 ( υ 3 + ( υ + 2 ) 3 ) . It is easy to see that the hypotheses ( H 1 ) - ( H 3 ) are clearly hold. By a simple calculation, we find that B ( υ ) = 1 υ , m = 2 and k = 1 32 . The condition (56) becomes
lim sup υ s = υ 1 υ 1 2 ( s 1 ) ( ( s s + 1 ) 3 + ( s + 2 s + 1 ) 3 ) = > 1 32 ,
that is, condition (56) holds. Hence, by Theorem 3, equation (61) is oscillatory and in fact { y ( υ ) } = { ( 1 ) υ } is one such oscillatory solution of equation (61).
Next, we present a counterexample showing that if one condition is not satisfied, then the equation may fail to be oscillatory and instead admit a nonoscillatory solution.
Example 4. 
Consider the nonlinear second-order neutral delay difference equation
Δ ( υ ( υ + 1 ) ( υ + 2 ) ( Δ ( y ( υ ) + 2 υ y ( υ 1 ) ) ) 3 ) + q ( υ ) y 5 ( υ 2 ) = 0 , υ 2 ,
where q ( υ ) = 3 υ υ + 1 .
Here a ( υ ) = υ ( υ + 1 ) ( υ + 2 ) , τ = 1 , σ = 2 , α = 1 , β = 1 , p ( υ ) = 2 and q ( υ ) = 3 υ υ + 1 . The hypotheses ( H 1 ) - ( H 3 ) are clearly satisfied. A simple computation shows that B ( υ ) = 1 2 υ ( υ + 1 ) , m = 2 , k = 1 / 2 , α k = 2 and Q ( υ ) = 3 υ 2 ( υ + 1 ) . The condition (43) becomes
lim sup υ s = υ + τ σ υ 1 B ( s + 1 ) Q ( s ) = lim υ 3 ( υ 1 ) 4 υ 2 ( υ + 1 ) = 0 > 2 ,
that is, condition (43) is not satisfied. Hence, by Theorem2, equation(62) is not oscillatory and in fact equation(62) has a nonoscillatory solution { y ( υ ) } = { υ + 2 υ + 1 } .
Remark 3. 
From the four examples, we see that:
(i) If conditions are satisfied then oscillatory solutions appear (persistent cycle);
(ii) If one condition fails (as in Example 3.4) nonoscillatory solutions emerge, showing stable, monotone behavior;
(iii)This demonstrates how parameters α , β , τ , and σ , changes directly control whether a system oscillates or stabilizes.

2. Conclusion

In this paper, we have investigated the oscillatory properties of second-order noncanonical difference equations with bounded and unbounded neutral terms. The obtained oscillation criteria require only a single condition, in contrast to the two conditions used in [22,23]. This result is achieved through the application of the linearization method combined with the summation averaging technique. Four examples are presented to illustrate the importance and novelty of the main findings. Furthermore, our results are applicable to linear, half-linear, and nonlinear types of equations.
Next we present directions for future study:
(1) In the case of 0 < α < 1 , the same method cannot be used since the linearization technique fails to hold. So it is interesting to extend the results of this paper when 0 < α < 1 using other methods.
(2) Integrating the linearization techniques developed in this paper with fuzzy set theory, or extending them to higher-dimensional systems, may lead to more realistic and flexible models in fields such as engineering, economics, and biology. This represents a challenging yet promising direction for future investigation.
(3) Another interesting problem is to apply the method developed in this paper to study the oscillatory behavior of fractional-order difference equations.

Author Contributions

Conceptualization, N.P., K.S.V. and E.T.; Investigation, N.P., K.S.V., G.E.C.and E.T.; Methodology, N.P., K.S.V., G.E.C.and E.T.; Writing a original draft, N.P., KS.V. and E.T.; Writing review editing, G.E.C. and E.T.

Funding

This research received no external funding.

Data Availability Statement

The original contributions presented in the study are included in the article.Further inquiries can be directed to the corresponding author.

Acknowledgments

The authors sincerely thank the reviewers for their useful comments and suggestions that improved the content of the paper.

Conflicts of Interest

The authors declare that they have no conflict of interest.

References

  1. Agarwal, R.P. Difference Equations and Inequalities; Dekker, New York, 2005. [Google Scholar]
  2. Agarwal, R.P.; Bohner, M.; Grace, S.R.; Regan, D.O.’. Discrete Oscillation Theory; Hindawi: New York, 2005. [Google Scholar]
  3. Baculiková, B.; Dzurina, J. Oscillatory criteria via linearization of half-linear second-order delay differential equations. Opuscula Math. 2020, 40, 523–536. [Google Scholar] [CrossRef]
  4. Chatzarakis, G.E.; Grace, S.R. Oscillation of second-order nonlinear noncanonical difference equations with deviating argument. JNMA 2021, 2, 495–504. [Google Scholar]
  5. Cheng, J. Existence of a nonoscillatory solution of a second order linear neutral difference equation. Appl.Math.Lett. 2007, 20, 892–899. [Google Scholar] [CrossRef]
  6. Grace, S.R.; Alzabut, J. Oscillation results for nonlinear second order difference equations with mixed neutral terms. Adv. Difference Equ. 2020, 8, 12 pages. [Google Scholar] [CrossRef]
  7. Hartman, P. Difference equations: Disconjugacy, principal solutions, Green’s functions, complete monotonicity. Trans.Amer.Math.Soc. 1978, 246, 1–30. [Google Scholar]
  8. Jiang, J. Oscillation of second-order nonlinear neutral delay difference equations. Appl.Math.Comput. 2003, 146, 791–801. [Google Scholar] [CrossRef]
  9. Jiaowan, L. Oscillation criteria for second-order neutral difference equations. Ann. Differ.Equ. 1998, 14, 262–266. [Google Scholar]
  10. Kamaraj, B.; Vasuki, R. Oscillation of second order difference equations with several superlinear neutral terms. J.Adv.Math.Comput.Sci. 2017, 23, 1–10. [Google Scholar] [CrossRef]
  11. Kanagasabapathi, R.; Selvarangam, S.; Graef, J.R.; Thandapani, E. Oscillation results using linearization of quasilinear second-order delay difference equations. Mediterr.J.Math. 2022, 18, 248. [Google Scholar] [CrossRef]
  12. Karpuz, B.; Ocalan, O.; Yildiz, M.K. Oscillation of a class of difference equations of second order. Math.Comput. Model. 2009, 49, 912–917. [Google Scholar] [CrossRef]
  13. Koplatadze, R. Oscillation of linear difference equations with deviating arguments. Comput. Math. Appl. 2001, 42, 477–486. [Google Scholar] [CrossRef]
  14. Li, H.J.; Yeh, C.C. Oscillation criteria for second-order neutral difference equations. Comput. Math. Appl. 1998, 36, 123–132. [Google Scholar] [CrossRef]
  15. Li, W.T.; Saker, S.H. Oscillation of second order sublinear neutral delay difference equations. Appl.Math.Comput. 2003, 146, 543–551. [Google Scholar] [CrossRef]
  16. Madhan, M.; Alzabut, J.; Thandapani, E.; Kucukarslan, A. Nonlinear noncanonical second-order neutral difference equations: modified oscillation results. Jordan J.Math.Stat. 2025, 18, 487–495. [Google Scholar]
  17. Mehar Banu, S.; Nalini, S. Oscillation of second order difference equations with a superlinear neutral term. Adv.Difference Equ. 2018, 345, 1–10. [Google Scholar]
  18. Nithyakala, G.; Ayyappan, G. Oscillation theorems for second order nonlinear difference equations with advanced superlinear neutral term. J.Analysis 2022, 33, 1475–1484. [Google Scholar] [CrossRef]
  19. Peterson, A.C.; Kelley, W.G. Difference Equations: An Introduction with Applications; Academic Press: New York, 1991. [Google Scholar]
  20. Rudin, M.A. Difference Equations for Scientists and Engineering; World Scientific: New Jersey, 2011. [Google Scholar]
  21. Sun, Y.G.; Saker, S.H. Oscillation for second-order nonlinear neutral delay difference equations. Appl.Math.Comput. 2005, 163, 909–918. [Google Scholar] [CrossRef]
  22. Thandapani, E.; Balasubramanian, V. Some oscillation results for second-order neutral type difference equations. Differ.Equ.Appl. 2013, 5, 319–330. [Google Scholar] [CrossRef]
  23. Thandapani, E.; Selvarangam, S. Oscillation theorems for second-order quasilinear neutral difference equations. J.Math. Comput.Sci. 2012, 2, 866–879. [Google Scholar]
  24. Trench, W.F. Canonical forms and principal systems for general disconjugate equations. Trans. Amer. Math. Soc. 1977, 189, 319–327. [Google Scholar] [CrossRef]
  25. Tunc, E. A study on the oscillation of second-order neutral differential equations in noncanonical form. Electron.J.Qual.Theory Differ.Equ. 2025, 2025 43, 1–20. [Google Scholar] [CrossRef]
  26. Yildiz, M.K.; Ogunmez, H. Oscillation results of higher-order nonlinear delay difference equations with a nonlinear neutral term. Hacet.J.Math.Stat. 2014, 43, 809–814. [Google Scholar]
  27. Wang, D.M.; Xu, Z.T. Oscillation of second order quasilinear neutral delay difference equations. Acta Math.Appl.Sinica 2011, 27, 93–104. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2026 MDPI (Basel, Switzerland) unless otherwise stated

Accessibility

Disclaimer

Terms of Use

Privacy Policy

Privacy Settings