Next Article in Journal
Lightweight Implicit Approximation of the Minkowski Sum of an N-Dimensional Ellipsoid and Hyperrectangle
Previous Article in Journal
Interior Bubbling Solutions with Residual Mass for a Neumann Problem with Slightly Subcritical Exponent
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Oscillation Criteria for Delay Difference Equations with Continuous Time, Piecewise Linear Delay Functions, and Oscillatory Coefficients

by
George E. Chatzarakis
1,*,
Hajnalka Péics
2 and
Andrea Rožnjik
2
1
Department of Electrical and Electronic Engineering Educators, School of Pedagogical and Technological Education (ASPETE), 15122 Marousi, Athens, Greece
2
Faculty of Civil Engineering, University of Novi Sad, Kozaračka 2/A, 24000 Subotica, Serbia
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(8), 1325; https://doi.org/10.3390/math13081325
Submission received: 9 March 2025 / Revised: 12 April 2025 / Accepted: 16 April 2025 / Published: 18 April 2025
(This article belongs to the Section C1: Difference and Differential Equations)

Abstract

:
This paper considers difference equations with continuous time, piecewise linear delay functions, and oscillatory coefficients. We present new conditions on the coefficients that provide the oscillatory property of the solutions of the considered difference equations. The given criteria are compared to the existing oscillatory conditions in the literature using examples.

1. Introduction

Applications of delay difference equations with continuous time, and evidence of their importance, can be found in mechanical and electrical systems, as is stated in [1], as well as in modeling distributed chaos, as is pointed out in [2,3]. Analyses of the oscillatory properties of solutions of delay difference equations with continuous time were the subject of the papers [4,5,6,7,8] and also the papers [9,10,11], but in the form of special cases of iterative functional equations. The literature on the oscillatory properties of solutions of differential and discrete difference equations can be divided into two groups: one with nonnegative or positive coefficients and the other with oscillatory coefficients. Studies on the oscillatory properties of solutions of differential equations with nonnegative coefficients can be found, for example, in the papers [12,13,14], while those with oscillating coefficients are found in [15,16]. For example, the papers [13,17,18,19,20,21] are devoted to discrete difference equations with positive coefficients and oscillatory coefficients, respectively. Since many papers dealing with difference equations with continuous time have analyzed equations with positive or nonnegative coefficients (all of those mentioned above) but only (to the best of our knowledge) the paper [22] has considered oscillatory coefficients, our aim is to expand the set of known oscillatory conditions for solutions of delay difference equations with continuous time and oscillatory coefficients.
In this paper, we continue the research from our paper [22], so we analyze the oscillatory property of the solutions of the delay difference equation
Δ x ( t ) + i = 1 m p i ( t ) x ( τ i ( t ) ) = 0 , t t 0 ,
where Δ x ( t ) = x ( t + 1 ) x ( t ) , m N , and t 0 R . For i = 1 , 2 , , m , p i : [ t 0 , ) R is a piecewise continuous and oscillatory function, but the delay argument τ i is in the form
τ i ( t ) = t k i ( t ) ,
where the function k i : [ t 0 , ) N is piecewise constant. Also, the delay arguments have the following properties:
τ i ( t ) < t for all t t 0 and i = 1 , 2 , , m ,
and
lim t τ i ( t ) = , i = 1 , 2 , , m .
We present two oscillatory criteria and compare them to the oscillatory conditions in [22]. The comparison, using the presented examples, shows that there is a set of difference equations for which our new oscillatory criteria prove that their solutions oscillate, while the known criteria are not applicable to them. This confirms that we have extended the set of difference equations in form (1) for which conditions verifying their oscillatory properties exist.
A solution of delay difference Equation (1) is a real-valued function x defined on the interval [ t 1 , ) , with
t 1 = min 1 i m inf { τ i ( s ) : s t 0 } ,
that satisfies Equation (1). If a solution of (1) changes the sign on the interval ( s , ) for any s, it is oscillatory. Otherwise, it is nonoscillatory. As in [7], for any bounded real-valued function φ defined on the interval [ t 1 , t 0 + 1 ) , there exists a unique solution x of (1) that satisfies the initial condition x ( t ) = φ ( t ) , t [ t 1 , t 0 + 1 ) since it can be represented by
x ( t ) = φ ( t ) , t 1 t < t 0 + 1 , x ( t ) = x ( t 1 ) i = 1 m p i ( t 1 ) x ( τ i ( t 1 ) ) , t t 0 + 1 .
As a standard, for any a R , n N 0 , and a real-valued function f,
q = a a 1 f ( q ) = 0 and q = a a + n f ( q ) = f ( a ) + f ( a + 1 ) + + f ( a + n )
and
f n ( t ) = f ( f n 1 ( t ) ) , with f 0 ( t ) = t .

2. The New Oscillation Criteria

We define a real-valued function
τ ( t ) = t inf t 0 s t min 1 i m k i ( s )
and
τ ̲ ( t ) = inf s t min 1 i m τ i ( s ) .
These functions have the following properties:
t τ ( t ) N for t t 0 , i = 1 , 2 , , m ,
τ ( t ) τ i ( t ) N 0 for t t 0 , i = 1 , 2 , , m ,
τ ( t + n ) τ ( t ) N for t t 0 and any n N ,
if t [ a , b ] [ t 0 , ) , then t , τ ( t ) , τ 1 ( t ) , , τ m ( t ) [ τ ̲ ( a ) , b ] ,
τ ( t ) τ ̲ ( t ) for t [ t 0 , ) .
For more details and illustrations with examples, see [22].
First, we give the following lemma.
Lemma 1.
If there exists a sequence of disjoint intervals { [ a j , b j ] } j N with the properties b j a j N for every j N ,
p i ( t ) 0 f o r t j N [ a j , b j ] , i = 1 , 2 , , m ,
and for some c > 0 ,
q = a j b j i = 1 m p i ( q ) c for j N ,
then there exists a sequence { η j } j N such that η j { a j , a j + 1 , , b j } and
q = a j η j 1 i = 1 m p i ( q ) < c 2
but
q = a j η j i = 1 m p i ( q ) c 2 .
Proof. 
For any j N , if
i = 1 m p i ( a j ) c 2 ,
then
q = a j a j 1 i = 1 m p i ( q ) = 0 < c 2 and q = a j a j i = 1 m p i ( q ) = i = 1 m p i ( a j ) c 2 ,
so (15) and (16) hold for η j = a j .
For a j = b j , (14) gives
q = a j b j i = 1 m p i ( q ) = i = 1 m p i ( a j ) c c 2 ,
that is, (15) and (16) hold for η j = a j . Besides this, if
i = 1 m p i ( a j ) < c 2 ,
then a j < b j , and there exists η j { a j + 1 , a j + 2 , , b j } such that (15) and (16) hold.
Consequently, for every j N , there exists η j { a j , a j + 1 , , b j } such that (15) and (16) hold. □
Now, we prove an auxiliary lemma.
Lemma 2.
Let t 1 , τ, and τ ̲ be defined by (5), (6), and (7), respectively. Assume that the function x : [ t 1 , ) R is a nonoscillatory solution of (1). If there exists a sequence of real numbers { ξ j } j N such that
lim j ξ j = ,
τ ̲ ( τ ( τ ( ξ j ) 1 ) ) , ξ j 1 [ t 0 , ) are nonempty and disjoint for j N ,
p i ( t ) 0 f o r t j N τ ̲ ( τ ( τ ( ξ j ) 1 ) ) , ξ j 1 , i = 1 , 2 , , m ,
and
α = lim inf j min s { τ ( ξ j ) , , ξ j } q = τ ( s ) s 1 i = 1 m p i ( q ) such that 0 < α < 2 ,
then
lim inf j x ( τ ( ξ j ) ) x ( τ ( τ ( ξ j ) 1 ) ) α 2 2 ( 2 α ) .
Proof. 
Let I j and I ̲ j , for j N , denote τ ( τ ( ξ j ) 1 ) , ξ j 1 and τ ̲ ( τ ( τ ( ξ j ) 1 ) ) , ξ j 1 , respectively. Note that the properties (10) and (8) give
τ ( τ ( ξ j ) 1 ) < τ ( τ ( ξ j ) ) < τ ( ξ j ) ξ j 1 ,
so { τ ( τ ( ξ j ) ) , , τ ( ξ j ) , τ ( ξ j ) + 1 , , ξ j 1 } I j I ̲ j .
Due to the definition of limit inferior and (20), for an arbitrary ε > 0 , so for 0 < ε < α ,
min s { τ ( ξ j ) , , ξ j } q = τ ( s ) s 1 i = 1 m p i ( q ) α ε for j N .
Hence,
q = τ ( s ) s 1 i = 1 m p i ( q ) α ε for s { τ ( ξ j ) , , ξ j } , j N
and consequently,
q = τ ( ξ j ) ξ j 1 i = 1 m p i ( q ) α ε for j N .
Since { τ ( ξ j ) , τ ( ξ j ) + 1 , , ξ j 1 } I ̲ j , condition (19) ensures that p i ( q ) 0 for every q { τ ( ξ j ) , τ ( ξ j ) + 1 , , ξ j 1 } and i = 1 , 2 , , m . Besides this, (18), (19), and (23) ensure that the sequence of intervals { [ τ ( ξ j ) , ξ j 1 ] } j N satisfies the conditions of Lemma 1 with c = α ε . Therefore, there exists a sequence { η j } j N such that η j { τ ( ξ j ) , τ ( ξ j ) + 1 , , ξ j 1 } ,
q = τ ( ξ j ) η j 1 i = 1 m p i ( q ) < α ε 2 ,
q = τ ( ξ j ) η j i = 1 m p i ( q ) α ε 2 .
According to (22),
q = τ ( η j ) η j 1 i = 1 m p i ( q ) α ε for j N ,
so using (24), we obtain
q = τ ( η j ) τ ( ξ j ) 1 i = 1 m p i ( q ) = q = τ ( η j ) η j 1 i = 1 m p i ( q ) q = τ ( ξ j ) η j 1 i = 1 m p i ( q ) > α ε 2 .
Property (10) secures that τ ( η j ) τ ( ξ j ) 1 .
Since x is a nonoscillatory solution of (1), without loss of generality, we can assume that
x ( t ) > 0 for every t t 1 , where t 0 t 1 τ ̲ 2 ( τ ( τ ( ξ 1 ) 1 ) ) .
For every t I ̲ j , property (11) ensures that for every i = 1 , 2 , , m , τ i ( t ) τ ̲ 2 ( τ ( τ ( ξ j ) 1 ) ) , ξ j 1 ; thus, τ i ( t ) t 1 , so (1), (19), and (27) provide
x ( t + 1 ) x ( t ) = i = 1 m p i ( t ) x ( τ i ( t ) ) 0 for t I ̲ j ,
i.e.,
x ( t + 1 ) x ( t ) for t I ̲ j .
Consequently,
if t , t + n I ̲ j for some n N , then x ( t ) x ( t + n ) .
Also, (11) ensures that τ 1 ( t ) , τ 2 ( t ) , , τ m ( t ) , τ ( t ) I ̲ j for every t I j . Therefore, (9) and (28) provide that
x ( τ i ( t ) ) x ( τ ( t ) ) for every t I j .
Summing up (1) from t = τ ( ξ j ) to t = η j , we obtain
x ( τ ( ξ j ) ) = x ( η j + 1 ) + q = τ ( ξ j ) η j i = 1 m p i ( q ) x ( τ i ( q ) ) q [ τ ( ξ j ) , η j ] [ τ ( ξ j ) , ξ j 1 ] I j , so according to ( 29 ) and ( 19 ) , x ( η j + 1 ) + q = τ ( ξ j ) η j i = 1 m p i ( q ) x ( τ ( q ) ) ( τ ( η j ) τ ( q ) N 0 according to ( 10 ) and τ ( q ) I ̲ j according to ( 11 ) , and thus ( 28 ) gives x ( τ ( q ) ) x ( τ ( η j ) ) , so according to ( 19 ) , ) x ( η j + 1 ) + x ( τ ( η j ) ) q = τ ( ξ j ) η j i = 1 m p i ( q ) .
Hence, according to (25),
x ( τ ( ξ j ) ) x ( η j + 1 ) + x ( τ ( η j ) ) α ε 2 .
Similarly, summing up (1) from t = τ ( η j ) to t = τ ( ξ j ) 1 , we obtain
x ( τ ( η j ) ) = x ( τ ( ξ j ) ) + q = τ ( η j ) τ ( ξ j ) 1 i = 1 m p i ( q ) x ( τ i ( q ) ) q [ τ ( η j ) , τ ( ξ j ) 1 ] [ τ ( τ ( ξ j ) ) , τ ( ξ j ) 1 ] I j x ( τ ( ξ j ) ) + q = τ ( η j ) τ ( ξ j ) 1 i = 1 m p i ( q ) x ( τ ( q ) ) τ ( τ ( ξ j ) 1 ) τ ( q ) N 0 and τ ( q ) I ̲ j x ( τ ( ξ j ) ) + x ( τ ( τ ( ξ j ) 1 ) ) q = τ ( η j ) τ ( ξ j ) 1 i = 1 m p i ( q ) .
Therefore, (26) implies
x ( τ ( η j ) ) x ( τ ( ξ j ) ) + x ( τ ( τ ( ξ j ) 1 ) ) α ε 2 .
Combining the inequalities (30) and (31), we obtain
x ( τ ( ξ j ) ) x ( η j + 1 ) + x ( τ ( ξ j ) ) α ε 2 + x ( τ ( τ ( ξ j ) 1 ) ) α ε 2 2 ,
i.e.,
x ( τ ( ξ j ) ) 1 α ε 2 x ( η j + 1 ) + x ( τ ( τ ( ξ j ) 1 ) ) α ε 2 4 .
Since x ( η j + 1 ) > 0 ,
x ( τ ( ξ j ) ) 2 α ε 2 x ( τ ( τ ( ξ j ) 1 ) ) α ε 2 4 .
Given that α < 2 and ε > 0 , we have
x ( τ ( ξ j ) ) x ( τ ( τ ( ξ j ) 1 ) ) α ε 2 2 2 α ε .
Consequently,
lim inf j x ( τ ( ξ j ) ) x ( τ ( τ ( ξ j ) 1 ) ) α ε 2 2 2 α ε .
Since (32) holds for an arbitrarily small ε , this implies (21). The proof of the lemma is complete. □
Now, we are ready to formulate and prove a new criterion that shows that all of the solutions of the observed difference equation are oscillatory.
Theorem 1.
For t 1 , τ, and τ ̲ , defined by (5), (6), and (7), respectively, assume that there exists a sequence of real numbers { ξ j } j N such that conditions (17)–(20) are satisfied. If
lim sup j q = τ ( τ ( ξ j ) 1 ) τ ( ξ j ) 1 i = 1 m p i ( q ) > 1 α 2 2 2 α ,
then all of the solutions of (1) are oscillatory.
Proof. 
As in the proof of the previous lemma, for j N , I j and I ̲ j denote the intervals τ ( τ ( ξ j ) 1 ) , ξ j 1 and τ ̲ ( τ ( τ ( ξ j ) 1 ) ) , ξ j 1 , respectively.
Supposing the opposite, let the function x : [ t 1 , ) R be a nonoscillatory solution of (1). Without loss of generality, we can assume that
x ( t ) > 0 for every t t 1 , where t 0 t 1 τ ̲ 2 ( τ ( τ ( ξ 1 ) 1 ) ) .
Therefore, (11), (1), (19), and (34) imply
x ( t + 1 ) x ( t ) = i = 1 m p i ( t ) x ( τ i ( t ) ) 0 for t I ̲ j .
Consequently, for every j N ,
if t , t + n I ̲ j for some n N , then x ( t ) x ( t + n ) .
Since (11) ensures that τ 1 ( t ) , τ 2 ( t ) , , τ m ( t ) , τ ( t ) I ̲ j for every t I j , (9) and (35) provide
x ( τ i ( t ) ) x ( τ ( t ) ) for t I j .
For any j N , summing up (1) from t = τ ( τ ( ξ j ) 1 ) to t = τ ( ξ j ) 1 , then given that τ ( τ ( ξ j ) 1 ) , , τ ( ξ j ) 1 I j and applying (19) and (36), afterwards, according to (19), (10), and (35), we have
x ( τ ( τ ( ξ j ) 1 ) ) = x ( τ ( ξ j ) ) + q = τ ( τ ( ξ j ) 1 ) τ ( ξ j ) 1 i = 1 m p i ( q ) x ( τ i ( q ) ) x ( τ ( ξ j ) ) + q = τ ( τ ( ξ j ) 1 ) τ ( ξ j ) 1 i = 1 m p i ( q ) x ( τ ( q ) ) x ( τ ( ξ j ) ) + x ( τ ( τ ( ξ j ) 1 ) ) q = τ ( τ ( ξ j ) 1 ) τ ( ξ j ) 1 i = 1 m p i ( q ) .
Dividing the obtained inequality by x ( τ ( τ ( ξ j ) 1 ) ) , which is positive, we obtain
1 x ( τ ( ξ j ) ) x ( τ ( τ ( ξ j ) 1 ) ) + q = τ ( τ ( ξ j ) 1 ) τ ( ξ j ) 1 i = 1 m p i ( q ) ,
i.e.,
q = τ ( τ ( ξ j ) 1 ) τ ( ξ j ) 1 i = 1 m p i ( q ) 1 x ( τ ( ξ j ) ) x ( τ ( τ ( ξ j ) 1 ) ) .
Hence,
lim sup j q = τ ( τ ( ξ j ) 1 ) τ ( ξ j ) 1 i = 1 m p i ( q ) 1 lim inf j x ( τ ( ξ j ) ) x ( τ ( τ ( ξ j ) 1 ) ) .
Applying (21) from Lemma 2, we have
lim sup j q = τ ( τ ( ξ j ) 1 ) τ ( ξ j ) 1 i = 1 m p i ( q ) 1 α 2 2 ( 2 α ) ,
which is a contradiction to condition (33). The proof of the theorem is complete. □
Due to the following corollary, the nonnegativity of the coefficients in the definition of α and the coefficients in condition (33), combined with property (10), yield the conclusion that for α > 3 5 , there is no need to check the condition (33).
Corollary 1.
For t 1 , τ, and τ ̲ as defined by (5), (6), and (7), respectively, assume that there exists a sequence of real numbers { ξ j } j N such that conditions (17)–(20) are satisfied. If α > 3 5 , then all of the solutions of (1) are oscillatory.
Proof. 
Since τ ( τ ( ξ j ) 1 ) τ ( τ ( ξ j ) ) , condition (19) and definition (20) give
α lim inf j q = τ ( τ ( ξ j ) ) τ ( ξ j ) 1 i = 1 m p i ( q ) lim sup j q = τ ( τ ( ξ j ) 1 ) τ ( ξ j ) 1 i = 1 m p i ( q ) .
For 2 > α > 3 5 , the inequality
α > 1 α 2 2 ( 2 α )
holds, so (38) ensures that condition (33) is satisfied, and based on Theorem 1, it implies that all of the solutions of (1) are oscillatory. □
Notice that the oscillatory conditions in Theorem 1 and Corollary 1 require nonnegativity of the coefficients in the disjoint intervals and do not use the intervals where the coefficients are negative. Therefore, the presented oscillatory conditions can be applied to establishing the oscillatory property of solutions of the difference equations in form (1) with oscillating coefficients, but they also apply to equations with positive coefficients.

3. Examples and Comparisons

The following examples illustrate the presented conditions for oscillatory solutions of the observed difference equation. For the first two examples, the oscillatory conditions from Theorem 1 are satisfied, but the oscillatory conditions from Corollary 1 and the oscillatory conditions from [22] are not fulfilled. The last example shows the application of the oscillatory conditions from Corollary 1 to a delay difference equation with unbounded delays. Moreover, the oscillatory conditions from [22] are not satisfied for that example either.
Theorem 2
([22] (Theorem 2.2)). For the functions τ and τ ̲ defined by (6) and (7), respectively, assume that there exists a sequence of real numbers { ξ j } j N such that condition (17) holds and the intervals of the sequence τ ̲ ( τ ( ξ j ) ) , ξ j j N are nonempty, disjoint, and contained in [ t 0 , ) . If, in addition,
p i ( t ) 0 for t j N τ ̲ ( τ ( ξ j ) ) , ξ j , i = 1 , 2 , , m ,
and
lim sup j q = τ ( ξ j ) ξ j i = 1 m p i ( q ) > 1 ,
then all of the solutions of (1) are oscillatory.
Theorem 3
([22] (Theorem 2.3)). For the functions τ and τ ̲ defined by (6) and (7), respectively, assume that there exists a sequence of real numbers { ξ j } j N such that condition (17) holds and the intervals of the sequence τ ̲ ( τ j ( ξ j ) ) , ξ j j N are nonempty, disjoint, and contained in [ t 0 , ) . If, moreover,
p i ( t ) 0 f o r t j N τ ̲ ( τ j ( ξ j ) ) , ξ j , i = 1 , 2 , , m ,
and there exists a real number c > 1 / e such that
lim j inf t I j j 1 q = τ ( t ) t 1 i = 1 m p i ( q ) > c , where I j j 1 = [ τ j 1 ( ξ j ) , ξ j ] ,
then all of the solutions of (1) are oscillatory.
Example 1.
Consider the difference equation
Δ x ( t ) + p 1 ( t ) x ( t 2 ) + p 2 ( t ) x ( t 3 ) = 0 , t 0 ,
where the functions p 1 and p 2 are periodic, with the basic period 10, such that
p 1 ( t ) = 2 5 · 7 10 t , t [ 0 , 7 ] , 1 5 · 7 10 10 t , t ( 7 , 10 ) ,
p 2 ( t ) = 1 3 , t [ 0 , 1.5 ) ( 2.5 , 4.5 ) ( 5.5 , 7.5 ) , 0 , t [ 1.5 , 2.5 ] [ 4.5 , 5.5 ] , 1 6 , t [ 7.5 , 10 ) .
Here, τ 1 ( t ) = t 2 , and τ 2 ( t ) = t 3 ; thus, τ ( t ) = t 2 , and τ ̲ ( t ) = t 3 . Therefore, τ ( τ ( t ) 1 ) = t 5 , and τ ̲ ( τ ( τ ( t ) 1 ) ) = t 8 . For the sequence of real numbers { ξ j } j N 0 such that ξ j = 10 j + 8 ,
τ ( ξ j ) = 10 j + 6 , τ ( τ ( ξ j ) 1 ) = 10 j + 3 , τ ̲ ( τ ( τ ( ξ j ) 1 ) ) = 10 j , j N 0 ,
so, for every j N 0 ,
I j = τ ( τ ( ξ j ) 1 ) , ξ j 1 = [ 10 j + 3 , 10 j + 7 ] , I ̲ j = τ ̲ ( τ ( τ ( ξ j ) 1 ) ) , ξ j 1 = [ 10 j , 10 j + 7 ] .
This means that conditions (17)–(19) are satisfied with
α = lim inf j min s { τ ( ξ j ) , , ξ j } q = τ ( s ) s 1 i = 1 2 p i ( q ) = lim inf j min s { 10 j + 6 , , 10 j + 8 } q = τ ( s ) s 1 i = 1 2 p i ( q ) = lim inf j min q = 10 j + 4 10 j + 5 i = 1 2 p i ( q ) , q = 10 j + 5 10 j + 6 i = 1 2 p i ( q ) , q = 10 j + 6 10 j + 7 i = 1 2 p i ( q ) min 0.496601 , 0.447621 , 0.746668 = 0.447621 .
Due to 1 α 2 2 ( 2 α ) 0.935465 and
lim sup j q = τ ( τ ( ξ j ) 1 ) τ ( ξ j ) 1 i = 1 2 p i ( q ) = lim sup j q = 10 j + 3 10 j + 5 i = 1 2 p i ( q ) 0.967135 > 0.935465 ,
condition (33) is also fulfilled; thus, all of the conditions of Theorem 1 are satisfied, and therefore all of the solutions of Equation (43) are oscillatory.
The graphs of the functions p 1 and p 2 , the intervals I ̲ j , and the relevant points from conditions (20) and (33) are presented in Figure 1. Figure 2 shows the graphs of some of the solutions of Equation (43).
The conditions of Theorem 3 cannot be fulfilled since the length of the intervals of condition (41) are expanding as j increases, but the functions p 1 and p 2 are nonnegative only at the interval with a length of 7. Therefore, the oscillatory conditions of Theorem 3 cannot be satisfied.
The oscillatory conditions of Theorem 2 also cannot be satisfied. Namely, for any sequence of real numbers { ζ j } j N 0 such that condition (39) is fulfilled,
τ ̲ ( τ ( ζ j ) ) , ζ j = ζ j 5 , ζ j .
Besides this, p 1 ( t ) 0 and p 2 ( t ) 0 are for t [ 10 j , 10 j + 7 ] with j N 0 , so ζ j [ 10 j + 5 , 10 j + 7 ] . Therefore,
lim sup j q = τ ( ζ j ) ζ j i = 1 2 p i ( q ) = lim sup j q = ζ j 2 ζ j i = 1 2 p i ( q ) lim sup j max ζ j [ 10 j + 5 , 10 j + 7 ] q = ζ j 2 ζ j p 1 ( q ) + p 2 ( q ) = q = 10 j + 3 10 j + 5 p 1 ( q ) + p 2 ( q ) 0.967135 < 1 .
Consequently, condition (40) cannot be fulfilled.
Example 2.
The conditions of Theorem 1 are satisfied for equation
Δ x ( t ) + p 1 ( t ) x ( t 1 ) + p 2 ( t ) x ( t 2 ) = 0 , t 1 ,
with
p 1 ( t ) = 1 5 j t 4 j 5 , t 4 j 2 4 , 4 j 2 + 2 j 2 5 , t 4 j 2 + 2 j , 4 j 2 + 2 j + 1 ( 2 j + 1 ) 2 5 j 1 5 j t , t 4 j 2 + 2 j + 1 , 4 ( j + 1 ) 2 4 for j N ,
and
p 2 ( t ) = ( 2 j + 1 ) 2 20 j + 30 1 20 j + 30 t for t 4 j 2 + 2 j 2 , 4 ( j + 1 ) 2 + 2 j , j N ,
so all of the solutions of Equation (44) are oscillatory.
Namely, τ 1 ( t ) = t 1 , and τ 2 ( t ) = t 2 ; thus, τ ( t ) = t 1 , and τ ̲ ( t ) = t 2 . Therefore, τ ( τ ( t ) 1 ) = t 3 , and τ ̲ ( τ ( τ ( t ) 1 ) ) = t 5 . For every j N ,
p 1 ( t ) 0 , p 2 ( t ) 0 for t 4 j 2 + 2 j 2 , ( 2 j + 1 ) 2 .
For the sequence of real numbers { ξ j } j N such that ξ j = 4 j 2 + 2 j + 3 ,
τ ( ξ j ) = 4 j 2 + 2 j + 2 , τ ( τ ( ξ j ) 1 ) = 4 j 2 + 2 j , τ ̲ ( τ ( τ ( ξ j ) 1 ) ) = 4 j 2 + 2 j 2 ,
so for j N ,
I j = τ ( τ ( ξ j ) 1 ) , ξ j 1 = [ 4 j 2 + 2 j , 4 j 2 + 2 j + 2 ] , I ̲ j = τ ̲ ( τ ( τ ( ξ j ) 1 ) ) , ξ j 1 = [ 4 j 2 + 2 j 2 , 4 j 2 + 2 j + 2 ] .
Hence, conditions (17)–(19) are satisfied, and
α = lim inf j min s { τ ( ξ j ) , , ξ j } q = τ ( s ) s 1 i = 1 2 p i ( q ) = lim inf j min s { ξ j 1 , ξ j } i = 1 2 p i ( s 1 ) = lim inf j min i = 1 2 p i ( 4 j 2 + 2 j + 1 ) , i = 1 2 p i ( 4 j 2 + 2 j + 2 ) = lim inf j min 2 5 + j 10 j + 15 , 2 5 1 5 j + 2 j 1 20 j + 30 = 2 5 + 1 10 = 1 2 .
Since 1 α 2 2 ( 2 α ) = 11 12 0.916667 and
lim sup j q = τ ( τ ( ξ j ) 1 ) τ ( ξ j ) 1 i = 1 2 p i ( q ) = lim sup j q = ξ j 3 ξ j 2 i = 1 2 p i ( q ) = lim sup j i = 1 2 p i ( 4 j 2 + 2 j ) + i = 1 2 p i ( 4 j 2 + 2 j + 1 ) = lim sup j 2 5 + 2 j + 1 20 j + 30 + 2 5 + j 10 j + 15 = 1 > 11 12 ,
condition (33) also holds, so all of the conditions of Theorem 1 are fulfilled.
The graphs of the functions p 1 and p 2 , the intervals I ̲ j , and the relevant points from conditions (20) and (33) are presented in Figure 3. Figure 4 shows graphs of some of the solutions of Equation (44).
Now, we show that the oscillatory conditions of Theorem 2 cannot be fulfilled. For any sequence of real numbers { ζ j } j N such that condition (39) holds,
τ ̲ ( τ ( ζ j ) ) , ζ j = ζ j 3 , ζ j 4 j 2 + 2 j 2 , ( 2 j + 1 ) 2 ,
so ζ j 4 j 2 + 2 j + 1 , ( 2 j + 1 ) 2 . Therefore, given that the functions p 1 and p 2 are nonincreasing on 4 j 2 + 2 j , ( 2 j + 1 ) 2 ,
lim sup j q = τ ( ζ j ) ζ j i = 1 2 p i ( q ) = lim sup j q = ζ j 1 ζ j i = 1 2 p i ( q ) lim sup j max ζ j 4 j 2 + 2 j + 1 , ( 2 j + 1 ) 2 q = ζ j 1 ζ j i = 1 2 p i ( q ) lim sup j i = 1 2 p i ( 4 j 2 + 2 j ) + i = 1 2 p i ( 4 j 2 + 2 j + 1 ) = 1 .
Consequently, condition (40) cannot be satisfied.
Finally, we show that the oscillatory conditions of Theorem 3 cannot be fulfilled. For any sequence of real numbers { ζ j } j N such that condition (41) holds,
τ ̲ ( τ j ( ζ j ) ) , ζ j = ζ j j 2 , ζ j 4 j 2 + 2 j 2 , ( 2 j + 1 ) 2 ,
so ζ j 4 j 2 + 3 j , ( 2 j + 1 ) 2 . Hence,
I j j 1 = τ j 1 ( ζ j ) , ζ j = ζ j j + 1 , ζ j 4 j 2 + 2 j + 1 , ( 2 j + 1 ) 2 .
Given that the functions p 1 and p 2 are nonincreasing on 4 j 2 + 2 j , ( 2 j + 1 ) 2 and the fact that 4 j 2 + 3 j 1 4 j 2 + 2 j + 1 for j > 2 ,
lim j inf t I j j 1 q = τ ( t ) t 1 i = 1 2 p i ( q ) = lim j inf t I j j 1 i = 1 2 p i ( t 1 ) lim j inf t 4 j 2 + 2 j + 1 , 4 j 2 + 3 j i = 1 2 p i ( t 1 ) = lim j i = 1 2 p i ( 4 j 2 + 3 j 1 ) = lim j j + 2 5 j + j + 2 20 j + 30 = 1 4 < 1 e .
Consequently, condition (42) cannot be fulfilled.
Example 3.
Consider the difference equation
Δ x ( t ) + p 1 ( t ) x t t + p 2 ( t ) x t 2 t = 0 , t 2 ,
with
p 1 ( t ) = 3 14 j , t ( 3 j 2 ) 2 1 , ( 3 j ) 2 1 0.1 , t ( 3 j ) 2 1 , ( 3 j + 1 ) 2 1 for j N ,
and
p 2 ( t ) = 1 14 j , t ( 3 j 2 ) 2 1 , ( 3 j ) 2 1 0.05 , t ( 3 j ) 2 1 , ( 3 j + 1 ) 2 1 for j N ,
where [ · ] denotes the integer part.
The delay functions, τ 1 ( t ) = t t and τ 2 ( t ) = t 2 t , are unbounded but satisfy conditions (3) and (4). τ ( t ) = t t and τ ̲ ( t ) = t 2 t ; thus, for the sequence of real numbers { ξ j } j N such that ξ j = ( 3 j ) 2 ,
τ ( ξ j ) = ( 3 j ) 2 3 j , τ ( τ ( ξ j ) ) = ( 3 j ) 2 3 j ( 3 j 1 ) = ( 3 j ) 2 6 j + 1 = ( 3 j 1 ) 2 , τ ( τ ( ξ j ) 1 ) = ( 3 j ) 2 3 j 1 ( 3 j 1 ) = ( 3 j ) 2 6 j , τ ̲ ( τ ( τ ( ξ j ) 1 ) ) = ( 3 j ) 2 6 j 2 ( 3 j 2 ) = ( 3 j ) 2 12 j + 4 = ( 3 j 2 ) 2 .
Therefore,
I ̲ j = τ ̲ ( τ ( τ ( ξ j ) 1 ) ) , ξ j 1 = [ ( 3 j 2 ) 2 , ( 3 j ) 2 1 ] ,
so conditions (17)–(19) are satisfied. Equally,
[ τ ( τ ( ξ j ) ) , ξ j 1 ] I ̲ j for j N ,
implying that
p 1 ( t ) + p 2 ( t ) = 2 7 j for t [ τ ( τ ( ξ j ) ) , ξ j 1 ] .
Hence,
α = lim inf j min s { τ ( ξ j ) , , ξ j } q = τ ( s ) s 1 i = 1 2 p i ( q ) = lim inf j min s { τ ( ξ j ) , , ξ j } q = τ ( s ) s 1 2 7 j = lim inf j 2 7 j · min s { τ ( ξ j ) , , ξ j } s τ ( s ) = lim inf j 2 7 j · min s { τ ( ξ j ) , , ξ j } s = lim inf j 2 7 j · τ ( ξ j ) = lim inf j 2 7 j · 3 j 1 = 6 7 > 3 5 .
Consequently, the conditions of Corollary 1 are satisfied, so all of the solutions of Equation (45) are oscillatory.
The graphs of the functions p 1 and p 2 , the intervals I ̲ j , and the relevant points from condition (20) are presented in Figure 5. Figure 6 shows graphs of some of the solutions of Equation (45).
The oscillatory conditions of Theorem 2 cannot be satisfied since for any sequence of real numbers { ζ n } n N such that condition (39) is fulfilled, τ ̲ ( τ ( ζ n ) ) , ζ n ( 3 j 2 ) 2 1 , ( 3 j ) 2 1 for some j N , so
p 1 ( t ) + p 2 ( t ) = 2 7 j for t τ ̲ ( τ ( ζ n ) ) , ζ n .
Hence,
q = τ ( ζ n ) ζ n i = 1 2 p i ( q ) = 2 7 j ζ n τ ( ζ n ) + 1 = 2 7 j ζ n + 1 .
Given that ζ n ( 3 j 2 ) 2 1 , ( 3 j ) 2 1 ,
3 j 3 < ζ n < 3 j
and therefore
2 ( 3 j 2 ) 7 j < q = τ ( ζ n ) ζ n i = 1 2 p i ( q ) < 2 ( 3 j + 1 ) 7 j .
Since the intervals of sequence { τ ̲ ( τ ( ζ n ) ) , ζ n } are disjoint, n implies that j , so inequality (46) gives
lim sup n q = τ ( ζ n ) ζ n i = 1 2 p i ( q ) = 6 7 < 1 .
Consequently, condition (40) cannot be fulfilled.
The conditions of Theorem 3 also cannot be fulfilled since there is no sequence of real numbers { ζ n } n N such that condition (41) is satisfied. Namely, according to condition (41), there is a sequence of real numbers { ζ n } n N such that
τ ̲ ( τ n ( ζ n ) ) , ζ n ( 3 j 2 ) 2 1 , ( 3 j ) 2 1 ,
for some j N . The length of the interval τ ̲ ( τ n ( ζ n ) ) , ζ n is expanding as n increases, and the length of the interval ( 3 j 2 ) 2 1 , ( 3 j ) 2 1 is 12 j 4 . Even for ζ 3 = ( 3 j ) 2 1 ,
τ ( ζ 3 ) = ( 3 j ) 2 3 j , τ 2 ( ζ 3 ) = ( 3 j 1 ) 2 , τ 3 ( ζ 3 ) = ( 3 j 1 ) ( 3 j 2 ) , τ ̲ ( τ 3 ( ζ 3 ) ) = ( 3 j 2 ) ( 3 j 3 ) ,
so the length of the interval τ ̲ ( τ 3 ( ζ 3 ) ) , ζ 3 is 15 j 7 . Since 12 j 4 < 15 j 7 for every j > 1 , the condition (47) cannot be fulfilled for any integer j > 1 and n 3 . Hence, the oscillatory conditions of Theorem 3 cannot be satisfied.

4. Conclusions

Our study of the oscillatory properties of the solutions of first-order difference equations with continuous time, piecewise linear delay functions, and oscillatory coefficients has led us to a new condition that ensures the oscillatory solutions. According to the proposed results, the oscillatory property of all solutions of the considered difference equation is ensured with sufficiently positive coefficients in the equation in the sense that the sum of the values of the coefficients defined by α in (20) is in the interval ( 3 5 , 2 ) . For α 0 , 3 5 , the oscillatory property of all solutions is ensured when condition (33) is fulfilled.
We have shown, using examples, that there are difference equations for which the previously known oscillatory conditions for the same types of difference equations are not applicable, but the proposed criteria are satisfied. Therefore, we have extended the set of difference equations with oscillatory coefficients for which conditions verifying their oscillatory properties exist.

Author Contributions

Conceptualization: G.E.C. and H.P. Methodology: H.P. and A.R. Investigation: H.P. and A.R. Writing—original draft preparation: A.R. Writing—review and editing: G.E.C., H.P., and A.R. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Acknowledgments

We thank our anonymous referees for their valuable comments and help.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Sharkovsky, A.N.; Maistrenko, Y.L.T.; Romanenko, E.Y. Difference Equations and Their Applications; Ser. Mathematics and Its Applications 250; Springer: Dordrecht, The Netherlands, 1993. [Google Scholar] [CrossRef]
  2. Romanenko, O. Continuous-time difference equations and distributed chaos modelling. Math. Lett. 2022, 8, 11–21. [Google Scholar] [CrossRef]
  3. Sharkovsky, A.N. Chaos from a time-delayed Chua’s circuit. IEEE Trans. Circuits Syst. I Fund. Theory Appl. 1993, 40, 781–783. [Google Scholar] [CrossRef]
  4. Braverman, E.; Johnson, W.T. On oscillation of difference equations with continuous time and variable delays. Appl. Math. Comput. 2019, 355, 449–457. [Google Scholar] [CrossRef]
  5. Chatzarakis, G.E.; Péics, H.; Rožnjik, A. Oscillations in difference equations with continuous time caused by several deviating arguments. Filomat 2020, 34, 2693–2704. [Google Scholar] [CrossRef]
  6. Karpuz, B.; Öcalan, Ö. Discrete approach on oscillation of difference equations with continuous variable. Adv. Dyn. Syst. Appl. 2008, 3, 283–290. [Google Scholar]
  7. Ladas, G.; Pakula, L.; Wang, Z. Necessary and sufficient conditions for the oscillation of difference equations. Panam. Math. J. 1992, 2, 17–26. [Google Scholar]
  8. Zhang, B.G.; Yan, J.; Choi, S.K. Oscillation for difference equations with continuous variable. Comput. Math. Appl. 1998, 36, 11–18. [Google Scholar] [CrossRef]
  9. Nowakowska, W.; Werbowski, J. Conditions for the oscillation of solutions of iterative equations. Abstr. Appl. Anal. 2004, 2004, 543–550. [Google Scholar] [CrossRef]
  10. Shen, J.; Stavroulakis, I.P. An oscillation criteria for second order functional equations. Acta Math. Sci. Ser. B Eng. Ed. 2002, 22, 56–62. [Google Scholar] [CrossRef]
  11. Zhang, B.G.; Choi, S.K. Oscillation and nonoscillation of a class of functional equations. Math. Nachr. 2001, 227, 159–169. [Google Scholar] [CrossRef]
  12. Attia, E.; El-Matary, B. New explicit oscillation criteria for first-order differential equations with several non-monotone delays. Mathematics 2023, 11, 64. [Google Scholar] [CrossRef]
  13. Braverman, E.; Karpuz, B. On oscillation of differential and difference equations with non-monotone delays. Appl. Math. Comput. 2011, 218, 3880–3887. [Google Scholar] [CrossRef]
  14. Kiliç, N.; Öcalan, Ö. A new oscillation result for nonlinear differential equations with nonmonotone delay. Miskolc Math. Notes 2023, 24, 841–851. [Google Scholar] [CrossRef]
  15. Fukagai, N.; Kusano, T. Oscillation theory of first order functional differential equations with deviating arguments. Ann. Mat. Pura Appl. 1984, 136, 95–117. [Google Scholar] [CrossRef]
  16. Tang, X. Oscillation of first order delay differential equations with oscillating coefficients. Appl. Math. J. Chin. Univ. Ser. B 2000, 15, 252–258. [Google Scholar] [CrossRef]
  17. Attia, E.R.; Alotaibi, S.M.; Chatzarakis, G.E. New oscillation criteria for first-order difference equations with several not necessarily monotonic delays. J. Appl. Math. Comput. 2024, 70, 1915–1936. [Google Scholar] [CrossRef]
  18. Koplatadze, R.; Khachidze, N. Oscillation criteria for difference equations with several retarded arguments. J. Math. Sci. 2020, 246, 384–393. [Google Scholar] [CrossRef]
  19. Berezansky, L.; Chatzarakis, G.E.; Domoshnitsky, A.; Stavroulakis, I.P. Oscillations of difference equations with several oscillating coefficients. Abstr. Appl. Anal. 2014, 2014, 392097. [Google Scholar] [CrossRef]
  20. Yan, W.; Yan, J. Comparison and oscillation results for delay difference equations with oscillating coefficients. Int. J. Math. Math. Sci. 1996, 19, 171–176. [Google Scholar] [CrossRef]
  21. Yu, J.S.; Tang, X.H. Sufficient conditions for the oscillation of linear delay difference equations with oscillating coefficients. J. Math. Anal. Appl. 2000, 250, 735–742. [Google Scholar] [CrossRef]
  22. Chatzarakis, G.E.; Péics, H.; Rožnjik, A. Oscillations of deviating difference equations with continuous time and oscillatory coefficients. J. Differ. Equ. Appl. 2023, 29, 682–700. [Google Scholar] [CrossRef]
Figure 1. The graphs of the functions p 1 and p 2 , the intervals I ̲ j , and the points τ ( τ ( ξ j ) 1 ) , , ξ j from Example 1. The green and dotted lines represent the values in sums from conditions (20) and (33), respectively.
Figure 1. The graphs of the functions p 1 and p 2 , the intervals I ̲ j , and the points τ ( τ ( ξ j ) 1 ) , , ξ j from Example 1. The green and dotted lines represent the values in sums from conditions (20) and (33), respectively.
Mathematics 13 01325 g001
Figure 2. The graphs of solutions of Equation (43) with initial functions φ 1 ( t ) = t 2 / 10 (black curve) and φ 2 ( t ) = 0.2 (red curve), t [ 3 , 1 ] .
Figure 2. The graphs of solutions of Equation (43) with initial functions φ 1 ( t ) = t 2 / 10 (black curve) and φ 2 ( t ) = 0.2 (red curve), t [ 3 , 1 ] .
Mathematics 13 01325 g002
Figure 3. The graphs of the functions p 1 and p 2 , the intervals I ̲ j , and the points τ ( τ ( ξ j ) 1 ) , , ξ j from Example 2. The green and dotted lines represent the values in sums from conditions (20) and (33), respectively.
Figure 3. The graphs of the functions p 1 and p 2 , the intervals I ̲ j , and the points τ ( τ ( ξ j ) 1 ) , , ξ j from Example 2. The green and dotted lines represent the values in sums from conditions (20) and (33), respectively.
Mathematics 13 01325 g003
Figure 4. The graphs of solutions of Equation (44) with initial functions φ 1 ( t ) = t 2 / 10 (black curve) and φ 2 ( t ) = 0.2 (red curve), t [ 1 , 2 ] .
Figure 4. The graphs of solutions of Equation (44) with initial functions φ 1 ( t ) = t 2 / 10 (black curve) and φ 2 ( t ) = 0.2 (red curve), t [ 1 , 2 ] .
Mathematics 13 01325 g004
Figure 5. The graphs of the functions p 1 and p 2 , the intervals I ̲ j , and the points τ ( τ ( ξ j ) 1 ) , , ξ j from Example 3. The green lines represent the values in sums from condition (20).
Figure 5. The graphs of the functions p 1 and p 2 , the intervals I ̲ j , and the points τ ( τ ( ξ j ) 1 ) , , ξ j from Example 3. The green lines represent the values in sums from condition (20).
Mathematics 13 01325 g005
Figure 6. The graphs of solutions of Equation (43) with initial functions φ 1 ( t ) = t / 10 (black curve) and φ 2 ( t ) = 0.1 (red curve), t [ 0 , 3 ] .
Figure 6. The graphs of solutions of Equation (43) with initial functions φ 1 ( t ) = t / 10 (black curve) and φ 2 ( t ) = 0.1 (red curve), t [ 0 , 3 ] .
Mathematics 13 01325 g006
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.

Share and Cite

MDPI and ACS Style

Chatzarakis, G.E.; Péics, H.; Rožnjik, A. Oscillation Criteria for Delay Difference Equations with Continuous Time, Piecewise Linear Delay Functions, and Oscillatory Coefficients. Mathematics 2025, 13, 1325. https://doi.org/10.3390/math13081325

AMA Style

Chatzarakis GE, Péics H, Rožnjik A. Oscillation Criteria for Delay Difference Equations with Continuous Time, Piecewise Linear Delay Functions, and Oscillatory Coefficients. Mathematics. 2025; 13(8):1325. https://doi.org/10.3390/math13081325

Chicago/Turabian Style

Chatzarakis, George E., Hajnalka Péics, and Andrea Rožnjik. 2025. "Oscillation Criteria for Delay Difference Equations with Continuous Time, Piecewise Linear Delay Functions, and Oscillatory Coefficients" Mathematics 13, no. 8: 1325. https://doi.org/10.3390/math13081325

APA Style

Chatzarakis, G. E., Péics, H., & Rožnjik, A. (2025). Oscillation Criteria for Delay Difference Equations with Continuous Time, Piecewise Linear Delay Functions, and Oscillatory Coefficients. Mathematics, 13(8), 1325. https://doi.org/10.3390/math13081325

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop