Next Article in Journal
A New Class of Bayes Minimax Estimators of the Mean Matrix of a Matrix Variate Normal Distribution
Previous Article in Journal
Shrinkage Testimator for the Common Mean of Several Univariate Normal Populations
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Oscillatory Behavior of Solutions of Second-Order Non-Linear Differential Equations with Damping Term

by
Mohamed Mazen
1,*,
Mohamed M. A. El-Sheikh
2,
Samah Euat Tallah
3,* and
Gamal A. F. Ismail
1
1
Department of Mathematics, University College for Women, Ain Shams University, Cairo 11566, Egypt
2
Department of Mathematics and Computer Science, Faculty of Science, Menoufia University, Shebin El-Koom 32511, Egypt
3
Department of Basic Science, Higher Institute of Foreign Trade & Management Science, Cairo 11765, Egypt
*
Authors to whom correspondence should be addressed.
Mathematics 2024, 12(7), 1096; https://doi.org/10.3390/math12071096
Submission received: 4 March 2024 / Revised: 28 March 2024 / Accepted: 3 April 2024 / Published: 5 April 2024

Abstract

:
In this paper, we discuss the oscillatory behavior of solutions of two general classes of nonlinear second-order differential equations. New criteria are obtained using Riccati transformations and the integral averaging techniques. The obtained results improve and generalize some recent criteria in the literature. Moreover, a traditional condition is relaxed. Three examples are given to justify the results.

1. Introduction

The purpose of this paper is to discuss the oscillatory behavior of solutions of two general classes of nonlinear second-order differential equations of the forms
[ r ( ι ) U ( χ ( ι ) ) ( χ ( ι ) ) ] + P ( ι ) χ ( ι ) + Q ( ι ) z ( χ ( ι ) ) g ( χ ( ι ) ) = 0 ,
and
[ r ( ι ) U ( χ ( ι ) ) χ ( ι ) ] + P ( ι ) χ ( ι ) + Q ( ι ) z ( χ ( ι ) ) = 0 ,
where r ( ι ) , P ( ι ) , Q ( ι ) C ( [ ι 0 , ) , R ) and U ( χ ) , z ( χ ) , g ( χ ) C ( R , R ) .
In the last few decades, there has been a great interest in studying the oscillatory behavior of differential equations due to its great importance in describing many real applications in Physics, Biology, and Engineering; see [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29] and references therein. The most important tools in the study of oscillatory behavior of solutions of these equations are the averaging techniques and Riccati transformations. For the author of the papers concerned with particular cases of Equations (1) and (2), we mention here, for example, Yan [27], who studied the special case of U ( χ ( ι ) ) 1 , z ( χ ( ι ) ) = χ , g ( χ ) 1 and deduced the oscillation criterion without requiring that Q ( ι ) be integrable or bounded on [ ι 0 , ) . Rogovchenko [21] and Elabbasy, Hassan and Saker [4] discussed the special case of U ( χ ( ι ) ) 1 of Equation (2) using a Riccati transformation technique where the authors established some oscillation criteria of Kamanev and Philos type with no sign conditions on P ( ι ) and Q ( ι ) . Their results can be considered as affirmative answer to the question posed by Rogovechenko et al. [22].
Meanwhile, the undamped special case of Equation (2) was discussed by El-Sheikh [5], where the author considered function U ( χ ( ι ) ) to be bounded from above by function ξ ( ι ) .
In fact, several authors were concerned with the oscillation of Equation (2) itself. We mention here, as examples, Grace and Lalli [13], who studied the oscillatory behavior of Equation (2) using integral averaging techniques in the case r ( ι ) and Q ( ι ) are not assumed to be non-negative for all values of ι . In [14], Grace established new oscillation results in the spirit of those obtained by Kamenev, Philos, and Yan for a broad class of second-order nonlinear equations of Type (2). In [25], Tiryaki and Zafer made use of Philos’s technique [20] to establish new oscillation criteria for Equation (2) in the case where P ( ι ) and Q ( ι ) are allowed to change signs on [ ι 0 , ) . Their theorems improve and generalize some previous results of Grace [14] and Yan [27]. In [16], Kirane and Rogovchenko answered the questions addressed in [14] for the case of Equation (2) with non-monotonic nonlinearity, without any condition on the sign of the damping coefficient at all and z ( χ ( ι ) ) not needing to be non-decreasing. Their criteria cover new classes of equations discussed by the authors in [11,13,14,27]. In [22], S. Rogovchenko and Yuri Rogovchenko discussed the oscillatory behavior for different second-order equations like (2) and some equations more general than (2). Moreover, in [23], Rogovchenko and Tuncay used the averaging technique and strengthened the results of Kirane and Rogovchenko [16], Grace [14], Philos [20], and Yan [27]. They relaxed some of the restrictions introduced by Grace [11,12]. Also, Manojlovic [18] discussed the oscillation of (2) using a general class of parameter functions M ( ι , Θ ) in the averaging techniques. An essential feature of the results in [18] is that the assumption of positivity of function U ( χ ( ι ) ) is not required. Jiang et al. [15] discussed a class of equations more general than (1) and (2), where they employed the generalized Riccati transformation and a class of functions to establish several oscillation criteria for monotonic and non-monotonic functions to improve some results obtained in the literature. In [26], Wang and Song studied a class of second-order nonlinear differential equations with a damping term which is more general than (1) and (2). They established some new sufficient conditions by using the refined integral averaging technique. Zhang et al. [29] established two new oscillation criteria using a generalized Riccati technique and the integral averaging technique of the Philos type, where they considered the case when the sign of P ( ι ) and Q ( ι ) may change. It is notable (see [23]) that the importance of function U ( χ ( ι ) ) is closely related to the presence of a damping term in Equation (2), which makes reduction to simpler differential equations either very complicated or impossible. We note that in all of those papers, the authors assume that function U ( χ ( ι ) ) is bounded by constants as 0 < c U ( χ ( ι ) ) c 1 , even in papers [15,26], where the authors consider equations more general than (1) and (2), however, they also assumed constant bounds for the function U ( χ ( ι ) ) as well. Moreover, the authors in [22] claimed that most of oscillation criteria for Equation (2) require that function U ( χ ( ι ) ) must be bounded away from zero by positive constant c. In fact, our results in the present article show that this claim is not always necessary. In this article, we impose the more general condition on function 0 < ξ 1 ( ι ) U ( χ ( ι ) ) ξ 2 ( ι ) < . Unlike the trend of the preceding works, we think that our criteria may cover new classes of equations to which known results do not apply.
Nontrivial solution χ ( ι ) of each of these differential equations is called oscillatory if it has an infinite number of zeros; otherwise, it is called non-oscillatory. The differential equation is oscillatory if all its solutions are oscillatory.
The aim of this article is to establish new oscillation criteria of a Philos type for Equations (1) and (2) using the integral averaging technique. Our results improve and generalize some known results in the literature. To illustrate the obtained results, we offer three examples.
Now, we define the Philos-type function as follows. We let D = ( ι , Θ ) : ι 0 Θ ι < and D 0 = ( ι , Θ ) : ι 0 Θ < ι < .
Function M = M ( ι , Θ ) C ( D , [ 0 , ) ) is said to be belong to function class W if
(i)
M ( ι , ι ) = 0 for ι ι 0 ;   M ( ι , Θ ) 0 for ι > Θ and
(ii)
M has partial derivative M Θ = m ( ι , Θ ) M ( ι , Θ ) , where m is locally integrable with respect to Θ in D 0 .
Also, we use notation ϝ + ( ι ) = max { ϝ ( ι ) , 0 } . Throughout the paper, we assume the following conditions:
(A1)
0 < ξ 1 ( ι ) U ( χ ( ι ) ) ξ 2 ( ι ) < ;
(A2)
z ( χ ) exists, with z ( χ ) γ 1 > 0 ;
(A3)
g C 1 ( [ ι 0 , ) ) , g ( χ ) γ 2 > 0 ;
(A4)
The function M ( W , R ) satisfies 0 < inf Θ ι 0 lim ι i n f M ( ι , Θ ) M ( ι , ι 0 ) ;
(A5)
z ( χ ) χ γ 3 > 0 .

2. Main Results

We start with two new oscillation criteria for Equation (1). In the first result, we do not need any restriction on the sign of P ( ι ) or Q ( ι ) . The second result is dealing with Equation (2) in the case of monotonic and nonmonotonic function z ( χ ( ι ) ) .
Theorem 1. 
Supposethat conditions (A1)–(A3) hold. If for a continuously differentiable function ϱ ( ι ) : [ ι 0 , + ) ( 0 , + ) , we have
lim ι sup 1 M ( ι , ι 0 ) ι 0 ι ( M ( ι , Θ ) ϱ ( Θ ) Φ 1 ( Θ ) r ( Θ ) ξ 2 ( Θ ) M ( ι , Θ ) 4 γ 1 ϱ ( Θ ) × ϱ ( Θ ) P ( Θ ) r ( Θ ) ξ 2 ( Θ ) + ϱ ( Θ ) m ( ι , Θ ) M ( ι , s ) ϱ ( Θ ) 2 ) d Θ
= ,
where
Φ 1 ( ι ) = γ 2 Q ( ι ) + 1 ξ 2 ( ι ) 1 ξ 1 ( ι ) P 2 ( ι ) 4 γ 1 r ( ι ) ,
then Equation (1) is oscillatory.
Proof. 
We suppose the contrary, that χ ( ι ) 0 , ι ι 0 is a nonoscillatory solution of Equation (1). We define the following general Riccati transformation:
ϖ 1 ( ι ) = r ( ι ) U ( χ ( ι ) ) χ ( ι ) z ( χ ( ι ) ) .
Differentiating (5) and using (1), we obtain
ϖ 1 ( ι ) = [ r ( ι ) U ( χ ( ι ) ) χ ( ι ) ] z ( χ ( ι ) ) z ( χ ( ι ) ) χ ( ι ) [ r ( ι ) U ( χ ( ι ) ) χ ( ι ) ] z 2 ( χ ( ι ) ) = P ( ι ) χ ( ι ) z ( χ ( ι ) ) Q ( ι ) g ( χ ( ι ) ) z ( χ ( ι ) ) ϖ 1 2 ( ι ) r ( ι ) U ( χ ( ι ) ) P ( ι ) ϖ 1 ( ι ) r ( ι ) U ( χ ( ι ) ) Q ( ι ) g ( χ ( ι ) ) z ( χ ( ι ) ) ϖ 1 2 ( ι ) r ( ι ) U ( χ ( ι ) ) .
In view of (A3), we obtain
ϖ 1 ( ι ) P ( ι ) ϖ 1 ( ι ) r ( ι ) U ( χ ( ι ) ) γ 2 Q ( ι ) z ( χ ( ι ) ) ϖ 1 2 ( ι ) r ( ι ) U ( χ ( ι ) ) .
ϖ 1 ( ι ) γ 2 Q ( ι ) γ 1 r ( ι ) U ( χ ( ι ) ) ϖ 1 ( ι ) + P ( ι ) 2 γ 1 2 + P 2 ( ι ) 4 γ 1 r ( ι ) U ( χ ( ι ) ) .
Applying Condition (A1), we obtain
ϖ 1 ( ι ) γ 2 Q ( ι ) γ 1 r ( ι ) ξ 2 ( ι ) ϖ 1 ( ι ) + P ( ι ) 2 γ 1 2 + P 2 ( ι ) 4 γ 1 r ( ι ) ξ 1 ( ι ) γ 2 Q ( ι ) p 2 ( ι ) 4 γ 1 r ( ι ) 1 ξ 2 ( ι ) 1 ξ 1 ( ι ) γ 1 r ( ι ) ξ 2 ( ι ) ϖ 1 2 ( ι ) + ϖ 1 ( ι ) P ( ι ) γ 1 Φ 1 ( ι ) γ 1 r ( ι ) ξ 2 ( ι ) ϖ 1 2 ( ι ) + ϖ 1 ( ι ) P ( ι ) γ 1 ,
where Φ 1 ( ι ) is defined as in (4).
Now, multiplying by ϱ ( ι ) M ( ι , Θ ) and integrating from ι 0 to ι , we obtain
ι 0 ι M ( ι , Θ ) ϖ 1 ( Θ ) ϱ ( Θ ) M ( ι , Θ ) d Θ ι 0 ι Φ 1 ( Θ ) ϱ ( Θ ) M ( ι , Θ ) d Θ
ι 0 ι γ 1 r ( Θ ) ξ 2 ( Θ ) ϖ 1 2 ( Θ ) + ϖ 1 ( Θ ) P ( Θ ) γ 1 ϱ ( Θ ) M ( ι , Θ ) d Θ .
Applying (i) and (ii), we find
ϱ ( ι 0 ) M ( ι , ι 0 ) ϖ 1 ( ι 0 ) + ι 0 ι ϱ ( Θ ) + ϱ ( Θ ) m ( ι , Θ ) m ( ι , Θ ) M ( ι , Θ ) ϖ 1 ( Θ ) d Θ ι 0 ι Φ 1 ( Θ ) ϱ ( Θ ) M ( ι , Θ ) d Θ ι 0 ι ϱ ( Θ ) M ( ι , Θ ) γ 1 r ( Θ ) ξ 2 ( Θ ) ϖ 1 2 ( Θ ) + ϖ 1 ( Θ ) P ( Θ ) γ 1 d Θ .
Then,
ι 0 ι Φ 1 ( Θ ) ϱ ( Θ ) M ( ι , Θ ) d Θ ϱ ( ι 0 ) M ( ι , ι 0 ) ϖ 1 ( ι 0 ) ι 0 ι ϱ ( Θ ) M ( ι , Θ ) ϖ 1 2 ( Θ ) γ 1 r ( Θ ) ξ 2 ( Θ ) d Θ .
By completing the squares, we obtain
ι 0 ι Φ 1 ( Θ ) ϱ ( Θ ) M ( ι , Θ ) d Θ ϱ ( ι 0 ) M ( ι , ι 0 ) ϖ 1 ( ι 0 ) ι 0 ι ϖ 1 ( Θ ) γ 1 M ( ι , Θ ) ϱ ( Θ ) r ( Θ ) ξ 2 ( Θ ) + r ( Θ ) ξ 2 ( Θ ) M ( ι , Θ ) 4 γ 1 ϱ ( Θ ) ϱ ( Θ ) m ( ι , Θ ) P ( Θ ) ϱ ( Θ ) r ( Θ ) ξ 2 ( Θ ) ϱ ( Θ ) 2 d Θ + ι 0 ι r ( Θ ) ξ 2 ( Θ ) M ( ι , Θ ) 4 γ 1 ϱ ( Θ ) ϱ ( Θ ) P ( Θ ) r ( Θ ) ξ 2 ( Θ ) + ϱ ( Θ ) m ( ι , Θ ) M ( ι , Θ ) ϱ ( Θ ) 2 d Θ .
Then,
ι 0 ι Φ 1 ( Θ ) ϱ ( Θ ) M ( ι , Θ ) r ( Θ ) ξ 2 ( Θ ) M ( ι , Θ ) 4 γ 1 ϱ ( Θ ) × ϱ ( Θ ) P ( Θ ) r ( Θ ) ξ 2 ( Θ ) + ϱ ( Θ ) m ( ι , Θ ) M ( ι , Θ ) ϱ ( Θ ) 2 d Θ ϱ ( ι 0 ) M ( ι , ι 0 ) ϖ 1 ( ι 0 )
ι 0 ι ϖ 1 ( Θ ) γ 1 ϱ ( Θ ) M ( ι , Θ ) r ( Θ ) ξ 2 ( Θ ) + r ( Θ ) ξ 2 ( ι ) ( Θ ) M ( ι , Θ ) 4 γ 1 ϱ ( Θ ) × ϱ ( Θ ) P ( Θ ) r ( Θ ) ξ 2 ( Θ ) + ϱ ( Θ ) m ( ι , Θ ) M ( ι , Θ ) ϱ ( Θ ) 2 d Θ ϱ ( ι 0 ) M ( ι , ι 0 ) ϖ 1 ( ι 0 ) .
Dividing (9) by M ( ι , ι 0 ) and taking the limit as ι , we obtain
lim ι sup 1 M ( ι , ι 0 ) ι 0 ι M ( ι , Θ ) ϱ ( Θ ) Φ 1 ( Θ ) r ( Θ ) ξ 2 ( Θ ) H ( ι , Θ ) 4 γ 1 ϱ ( Θ ) × ϱ ( Θ ) P ( Θ ) r ( Θ ) ξ 2 ( Θ ) + ϱ ( Θ ) m ( ι , Θ ) M ( ι , Θ ) ϱ ( Θ ) 2 d Θ ϖ 1 ( ι 0 ) ϱ ( ι 0 ) ,
which contradicts (3). Then, (1) oscillates. □
Remark 1. 
In the special case of g ( χ ) 1 in Equation (1), Criterion (3) generalizes Criterion (5) of [29] in the special form of our Condition (A1) as 0 < c 1 U ( χ ( ι ) ) c 2 .
Theorem 2. 
Supposethat (A1)–(A4) hold. If, for some β > 1 , we have
lim ι sup 1 M ( ι , l ) l ι M ( ι , Θ ) Φ ( Θ ) β ξ 2 ( Θ ) ( Θ ) r ( Θ ) 4 γ 1 m 2 ( ι , Θ ) d Θ ϝ ( l ) ,
and
lim ι sup ι 0 ι ϝ + 2 ( Θ ) ξ 2 ( Θ ) r ( Θ ) ( Θ ) d Θ = ,
where
( ι ) = e x p 2 γ 1 ι 1 ξ 2 ( Θ ) η ( Θ ) r ( Θ ) P ( Θ ) 2 γ 1 r ( Θ ) d Θ ,
and
Φ ( ι ) = ( ι ) γ 2 q ( ι ) + γ η 2 ( ι ) ξ 2 ( ι ) r ( ι ) P ( ι ) η ( ι ) ξ 2 ( ι ) r ( ι ) η ( ι ) + 1 ξ 2 ( ι ) 1 ξ 1 ( ι ) P 2 ( ι ) 4 γ 1 r ( ι )
for all ι > l t 0 , then Equation (1) is oscillatory.
Proof. 
We let that χ ( ι ) be a nonoscillatory solution of Equation (1). Then, there exists l 0 ι 0 such that χ ( ι ) 0 for all ι l 0 . Without loss of generality, we may assume that χ ( ι ) > 0 for all ι l 0 . We define a generalized Riccati transformation as
ϖ 2 ( ι ) = ( ι ) r ( ι ) U ( χ ( ι ) ) χ ( ι ) z ( χ ( ι ) ) + η ( ι ) ,
where ( ι ) is given by (12). Differentiating (14) and using (1), we obtain
ϖ 2 ( ι ) = ( ι ) r ( ι ) U ( χ ( ι ) ) χ ( ι ) z ( χ ( ι ) ) + η ( ι ) + ( ι ) η ( ι ) + r ( ι ) U ( χ ( ι ) ) χ ( ι ) f ( χ ( ι ) ) r ( ι ) U ( χ ( ι ) ) z ( χ ( ι ) ) χ ( ι ) z ( χ ( ι ) ) 2 = ( ι ) P ( ι ) r ( ι ) U ( χ ( ι ) ) ϖ 2 ( ι ) ( ι ) η ( ι ) Q ( ι ) g ( χ ( ι ) ) + η ( ι ) z ( χ ( ι ) ) r ( ι ) U ( χ ( ι ) ) ϖ 2 ( ι ) ( ι ) η ( ι ) 2 + ( ι ) ( ι ) ϖ 2 ( ι ) ,
for all ι l 0 .
ϖ 2 ( ι ) ( ι ) P ( ι ) r ( ι ) U ( χ ( ι ) ) ϖ 2 ( ι ) ( ι ) η ( ι ) γ 2 Q ( ι ) + η ( ι ) γ 1 r ( ι ) U ( χ ( ι ) ) ϖ 2 ( ι ) ( ι ) η ( ι ) 2 + ( ι ) ( ι ) ϖ 2 ( ι ) .
This with (14) and (A3) leads to
ϖ 2 ( ι ) Φ ( ι ) γ 1 r ( ι ) ξ 2 ( ι ) ( ι ) ϖ 2 2 ( ι ) ,
for all ι l 0 . Applying ( i ) ( i i ) , multiplying (16) by M ( ι , Θ ) , and integrating from l to ι , we obtain, for every ι l l 0 ,
l ι M ( ι , Θ ) Φ ( Θ ) d Θ l ι M ( ι , Θ ) ϖ 2 ( Θ ) d Θ l ι M ( ι , Θ ) γ 1 ξ 2 ( Θ ) r ( Θ ) ( Θ ) ϖ 2 2 ( Θ ) d Θ
= M ( ι , Θ ) ϖ 2 ( Θ ) l ι l ι M ( ι , Θ ) Θ ϖ 2 ( Θ ) + M ( ι , Θ ) γ 1 ξ 2 ( Θ ) r ( Θ ) ( Θ ) ϖ 2 2 ( Θ ) d Θ
= M ( ι , l ) ϖ 2 ( l ) l ι m ( ι , Θ ) M ( ι , Θ ) ϖ 2 ( Θ ) + Y ( ι , Θ ) γ 1 ξ 2 ( Θ ) r ( Θ ) ( Θ ) ϖ 2 2 ( Θ ) d Θ .
For any β > 1 , we obtain
l ι M ( ι , Θ ) Φ ( Θ ) d Θ M ( ι , l ) ϖ 2 ( l ) l ι γ 1 M ( ι , Θ ) β ξ 2 ( Θ ) r ( Θ ) ( Θ ) u 2 ( Θ ) + β ξ 2 ( Θ ) r ( Θ ) ( Θ ) 4 γ 1 m ( ι , Θ ) 2 d Θ + β 4 γ 1 l ι ξ 2 ( Θ ) r ( Θ ) ( Θ ) m 2 ( ι , Θ ) d Θ l ι γ 1 β 1 M ( ι , Θ ) β ξ 2 ( Θ ) r ( Θ ) ( Θ ) ϖ 2 2 ( Θ ) d Θ ,
and for all ι l l 0 ,
l ι M ( ι , Θ ) Φ ( Θ ) β 4 γ 1 ξ 2 ( Θ ) r ( Θ ) ( Θ ) m 2 ( ι , Θ ) d Θ M ( ι , l ) ϖ 2 ( l ) l ι γ 1 M ( ι , Θ ) β ξ 2 ( Θ ) r ( Θ ) ( Θ ) ϖ 2 ( Θ ) + β ξ 2 ( Θ ) r ( Θ ) ( Θ ) 4 γ 1 m ( ι , Θ ) 2 d Θ l ι γ 1 β 1 M ( ι , Θ ) β ξ 2 ( Θ ) r ( Θ ) ( Θ ) ϖ 2 2 ( Θ ) d Θ ,
From (18), it follows that for any ι > l l 0 ,
1 M ( ι , l ) l ι M ( ι , Θ ) Φ ( Θ ) β 4 γ 1 ξ 2 ( Θ ) r ( Θ ) ( Θ ) m 2 ( ι , Θ ) d Θ ϖ 2 ( l ) 1 M ( ι , l ) l ι γ 1 β 1 M ( ι , Θ ) β ξ 2 ( Θ ) r ( Θ ) ( Θ ) ϖ 2 2 ( Θ ) d Θ ϖ 2 ( l ) 1 M ( ι , l ) l ι γ 1 M ( ι , Θ ) β ξ 2 ( Θ ) r ( Θ ) ( Θ ) ϖ 2 ( Θ ) + β ξ 2 ( Θ ) r ( Θ ) ( Θ ) 4 γ 1 m ( ι , Θ ) 2 d Θ 1 M ( ι , l ) l ι γ 1 β 1 M ( ι , Θ ) β ξ 2 ( Θ ) r ( Θ ) ( Θ ) ϖ 2 2 ( Θ ) d Θ ,
and
lim ι sup 1 M ( ι , l ) l ι M ( ι , Θ ) Φ ( Θ ) β 4 γ 1 ξ 2 ( Θ ) r ( Θ ) ( Θ ) m 2 ( ι , Θ ) d Θ ϖ 2 ( l ) lim l inf 1 M ( ι , l ) l ι γ 1 β 1 M ( ι , Θ ) β ξ 2 ( Θ ) r ( Θ ) ( Θ ) ϖ 2 2 ( Θ ) d Θ
In view of (19), for all l l 0 ,
ϖ 2 ( l ) ϝ ( l ) + lim l inf 1 M ( ι , l ) l ι γ 1 β 1 M ( ι , Θ ) β ξ 2 ( Θ ) r ( Θ ) ( Θ ) ϖ 2 2 ( Θ ) d Θ .
Consequently,
ϖ 2 ( l ) ϝ ( l ) , f o r a l l l l 0 ,
and
lim ι inf 1 M ( ι , l 0 ) l ι M ( ι , Θ ) ξ 2 ( Θ ) r ( Θ ) ( Θ ) ϖ 2 2 ( Θ ) d Θ β γ 1 β 1 ϖ 2 ( l 0 ) ϝ ( l 0 ) <
Now, to show that
l 0 ϖ 2 2 ( Θ ) ξ 2 ( Θ ) r ( Θ ) ( Θ ) d Θ < ,
we assume the contrary, that
l 0 ϖ 2 2 ( Θ ) ξ 2 ( Θ ) r ( Θ ) ( Θ ) d Θ = .
From (A4), it may be deduced that constant δ > 0 such that
inf Θ ι 0 lim ι i n f M ( ι , Θ ) M ( ι , ι 0 ) > δ .
Conversely, by considering (23), there is a l 1 > l 0 such that, for any positive number σ ,
l 0 ι ϖ 2 2 ( Θ ) ξ 2 ( Θ ) r ( Θ ) ( Θ ) d Θ σ δ , f o r a l l ι l 1 .
Thus, by the integration by parts, we obtain, for all ι l 1 ,
1 M ( ι , ι 0 ) l 0 ι M ( ι , Θ ) ϖ 2 2 ( Θ ) ξ 2 ( Θ ) r ( Θ ) ( Θ ) d Θ = 1 M ( ι , ι 0 ) l 0 ι M ( ι , Θ ) Θ l 0 Θ ϖ 2 2 ( ε ) ξ 2 ( ε ) r ( ε ) ( ε ) d ε d Θ 1 M ( ι , ι 0 ) l 1 ι M ( ι , Θ ) Θ l 0 Θ ϖ 2 2 ( ε ) ξ 2 ( ε ) r ( ε ) ( ε ) d ε d Θ
Thus,
1 M ( ι , ι 0 ) l 0 ι M ( ι , Θ ) ϖ 2 2 ( Θ ) ξ 2 ( Θ ) r ( Θ ) ( Θ ) d Θ σ δ 1 M ( ι , ι 0 ) l 1 ι M ( ι , Θ ) Θ d Θ = σ δ M ( ι , l 1 ) M ( ι , ι 0 ) .
From (24), it is obvious that
lim ι i n f M ( ι , Θ ) M ( ι , ι 0 ) > δ > 0 ,
and there exists l 2 l 1 such that
M ( ι , l 1 ) M ( ι , ι 0 ) δ , f o r a l l ι l 2 .
Thus, using (25),
1 M ( ι , l 0 ) l 0 ι M ( ι , Θ ) ϖ 2 2 ( Θ ) ξ 2 ( Θ ) r ( Θ ) ( Θ ) d Θ σ , f o r a l l ι l 2 .
For an arbitrary constant σ , we obtain
lim ι i n f 1 M ( ι , l 0 ) l 0 ι M ( ι , Θ ) ϖ 2 2 ( Θ ) ξ 2 ( Θ ) r ( Θ ) ( Θ ) d Θ = ,
which contradicts (21). Thus, (22) should hold, and in view of (20), we obtain
l 0 Ϝ + 2 ( Θ ) ξ 2 ( Θ ) r ( Θ ) ( Θ ) d Θ l 0 ϖ 2 2 ( Θ ) ξ 2 ( Θ ) r ( Θ ) ( Θ ) d Θ < ,
which contradicts (11) and completes the proof. □
Corollary 1. 
Assume that (A1)–(A2) and (A4) hold. If for any ι l ι 0 and for some β > 1 , we have
lim ι sup 1 M ( ι , l ) l ι M ( ι , Θ ) Φ ( Θ ) β ξ 2 ( Θ ) ( Θ ) r ( Θ ) 4 γ 1 m 2 ( ι , Θ ) d Θ ϝ ( l ) ,
and
lim ι sup ι 0 ι ϝ + 2 ( Θ ) ξ 2 ( Θ ) r ( Θ ) ( Θ ) d Θ = ,
where
( ι ) = e x p 2 γ 1 ι ι 1 ξ 2 ( Θ ) η ( Θ ) r ( Θ ) P ( Θ ) 2 γ 1 r ( Θ ) d Θ ,
and
Φ ( ι ) = ( ι ) Q ( ι ) + γ 1 η 2 ( ι ) ξ 2 ( ι ) r ( ι ) P ( ι ) η ( ι ) ξ 2 ( ι ) r ( ι ) η ( ι ) + 1 ξ 2 ( ι ) 1 ξ 1 ( ι ) P 2 ( ι ) 4 γ 1 r ( ι )
for some γ 1 > 0 , then (2) oscillates.
Remark 2. 
In the special case of ξ 1 ( ι ) = C 1 and ξ 2 ( ι ) = C 2 , the criteria of Corollary 1 include those of Theorem 2 in [5] and Theorem 3 in [23].
Now, we consider the case of non-monotonic function z ( x ( ι ) ) .
Theorem 3. 
Suppose that (A1), (A4), (A5) and (11) hold. Assume further that there exist functions M W , η ( ι ) C 1 ( [ ι 0 , ) , R ) , ϝ C ( [ ι 0 , ) ) , and Q ( ι ) > 0 . If for some β > 1 , and all ι > l ι 0 , we have
lim ι sup 1 M ( ι , l ) l ι M ( ι , Θ ) Φ ( Θ ) β ξ 2 ( Θ ) r ( Θ ) ( Θ ) 4 m 2 ( ι , Θ ) d Θ ϝ ( l ) ,
where
( ι ) = 2 ι 1 r ( Θ ) ξ 2 ( Θ ) η ( Θ ) 1 2 P ( Θ ) d Θ
and
Φ ( ι ) = ( ι ) γ 3 Q ( ι ) + η 2 ( ι ) ξ 2 ( ι ) r ( ι ) P ( ι ) η ( ι ) ξ 2 ( ι ) r ( ι ) η ( ι ) + 1 ξ 2 ( ι ) 1 ξ 1 ( ι ) P 2 ( ι ) 4 r ( ι ) ,
then Equation (2) is oscillatory.
Proof. 
The proof is similar to the proof of Theorem 2 and so it is omitted. □

3. Examples

In this section, we introduce three examples which numerically justify our analytic results.
Example 1. 
Consider the non-linear second-order differential equation
ι 2 2 + χ 4 ( ι ) 1 + χ 4 ( ι ) χ ( ι ) + 2 ( e ι + s i n ι ) χ ( ι ) + Q ( ι ) χ ( ι ) 1 χ ( ι ) 2 + 1 ( χ ( ι ) ) 2 = 0 , f o r ι > 0 .
Here, r ( ι ) = ι 2 , P ( ι ) = 2 ( e ι + s i n ι ) , g ( χ ( ι ) ) = 2 + 1 ( χ ( ι ) ) 2 and z ( χ ( ι ) ) = χ ( ι ) 1 χ ( ι ) . So, z ( χ ) = 1 + 1 χ 2 ( ι ) 1 = γ 1 and g ( χ ( ι ) ) = 2 + 1 ( χ ( ι ) ) 2 2 = γ 2 .
Moreover, ξ 1 ( ι ) = 1 1 + ι 2 U ( χ ( ι ) ) = 2 + χ 4 ( ι ) 1 + χ 4 ( ι ) = 1 + 1 1 + χ 4 ( ι ) 2 + 1 1 + ι 2 = ξ 2 ( ι ) .
Now, we let η ( ι ) = e ι + s i n ι ; then,
( ι ) = e x p 2 γ 1 ι 1 r ( Θ ) ξ 2 ( Θ ) η ( Θ ) P ( Θ ) 2 γ 1 d Θ = e x p ( 0 ) = 1
and
Φ ( ι ) = ( ι ) γ 2 Q ( ι ) + γ 1 η 2 ( ι ) ξ 2 ( ι ) r ( ι ) P ( ι ) η ( ι ) ξ 2 ( ι ) r ( ι ) η ( ι ) + 1 ξ 2 ( ι ) 1 ξ 1 ( ι ) P 2 ( ι ) 4 γ 1 r ( ι ) = 2 Q ( ι ) ( e ι + c o s ι ) + ( e ι + s i n ι ) 2 e ι ξ 2 ( ι ) 2 ( e ι + s i n ι ) 2 e ι ξ 2 ( ι ) + 1 ξ 2 ( ι ) 1 ξ 1 ( ι ) 4 ( e ι + s i n ι ) 2 4 e ι = 2 Q ( ι ) e ι c o s ι ( 1 + ι 2 ) e ι ( e ι + s i n ι ) 2 .
Choosing Q ( ι ) = 1 + 1 2 e ι + c o s ι + e ι ( 1 + ι 2 ) ( e ι + s i n ι ) 2 ; then, Φ ( ι ) = 2 .
Now, for β = 1 , we have
lim ι s u p ι 1 n l ι ( ι Θ ) n 1 Φ ( s ) β ξ 2 ( ι ) ( n 1 ) 2 4 γ 1 ( ι Θ ) n 3 ( Θ ) r ( Θ ) d Θ
= lim ι s u p 1 ι 2 l ι 2 ( ι Θ ) 2 Θ 2 2 + 1 1 + Θ 2 d Θ = 2 l .
Since
ϝ + 2 ( Θ ) ξ 2 ( Θ ) r ( Θ ) ( Θ ) d Θ = O ( ι 2 ) a s ι ,
then (11) is satisfied, and by Theorem 2, Equation (33) oscillates.
Example 2. 
Consider the non-linear second-order differential equation
( 1 + ι 2 ) 2 + χ 2 ( ι ) 1 + χ 2 ( ι ) χ ( ι ) + 2 ι ι 2 + 1 χ ( ι ) + Q ( ι ) [ χ ( ι ) + χ 3 ( ι ) ] = 0 , f o r ι > 0
Here, r ( ι ) = 1 + ι 2 , P ( ι ) = 2 ι ι 2 + 1 and z ( χ ( ι ) ) = χ ( ι ) + χ 3 ( ι ) . So, z ( χ ) = 1 + 3 χ 2 ( ι ) 1 = γ 1 .
Also, ξ 1 ( ι ) = 1 1 + ι 2 U ( χ ( ι ) ) = 2 + χ 2 ( ι ) 1 + χ 2 ( ι ) = 1 + 1 1 + χ 2 ( ι ) 2 + 1 1 + ι 2 = ξ 2 ( ι ) .
Now, we let η ( ι ) = ι ι 2 + 1 . Then,
( ι ) = e x p 2 γ 1 ι 1 r ( Θ ) ξ 2 ( Θ ) η ( Θ ) P ( Θ ) 2 γ 1 d Θ = e x p ( 0 ) = 1
and
Φ ( ι ) = ( ι ) Q ( ι ) + γ 1 η 2 ( ι ) ξ 2 ( ι ) r ( ι ) P ( ι ) η ( ι ) ξ 2 ( ι ) r ( ι ) η ( ι ) + 1 ξ 2 ( ι ) 1 ξ 1 ( ι ) P 2 ( ι ) 4 γ 1 r ( ι ) = Q ( ι ) + ι 2 ( ι 2 + 1 ) ξ 2 ( ι ) ( ι 2 + 1 ) 2 ι 2 ( ι 2 + 1 ) ξ 2 ( ι ) ( ι 2 + 1 ) ι 2 + 1 ι 2 ι 2 + 1 + 1 ξ 2 ( ι ) 1 ξ 1 ( ι ) 4 ι 2 ( ι 2 + 1 ) 4 ( ι 2 + 1 ) = Q ( ι ) ι 2 + 1 ι 2 ι 2 + 1 ι 2 ( ι 2 + 1 ) .
Choosing Q ( ι ) = 2 + ι 4 + ι 2 + ι 2 + 1 + ι 2 ι 2 + 1 ; then, Φ ( ι ) = 2 .
Now, for β = 1 , we have
lim ι s u p ι 1 n l ι ( ι Θ ) n 1 Φ ( Θ ) β ξ 2 ( ι ) ( n 1 ) 2 4 γ 1 ( ι Θ ) n 3 ( Θ ) r ( Θ ) d Θ
= lim ι s u p 1 ι 2 l ι 2 ( ι Θ ) 2 ( 1 + Θ 2 ) 2 + 1 1 + Θ 2 d Θ = lim ι s u p 1 ι 2 3 ι + 3 l + 2 3 ( ι l ) 3 2 3 ( ι 3 l 3 ) = 2 l = ϝ ( l ) .
Since
ϝ + 2 ( Θ ) ξ 2 ( Θ ) r ( Θ ) ( Θ ) d Θ = O ( ι 2 ) a s ι ,
then Condition (27) is satisfied, and so by Corollary 1, Equation (34) oscillates.
Example 3. 
Consider the non-linear second-order differential equation
ι 2 1 2 + e χ 2 χ ( ι ) + 2 ι 2 χ ( ι ) + Q ( ι ) χ ( ι ) 1 9 + 1 χ 2 + 1 = 0 , f o r ι > 0
From the given example, we have r ( ι ) = ι 2 , P ( ι ) = 2 ι 2 and z ( χ ( ι ) ) = χ ( ι ) 1 9 + 1 χ 2 + 1 . So, z ( χ ) χ = 1 9 + 1 χ 2 + 1 1 9 = γ 3 .
Also, ξ 1 ( ι ) = 2 4 + ι 2 U ( χ ( ι ) ) = 1 2 + e χ 2 1 + 1 4 + ι 2 = ξ 2 ( ι ) .
Now, we let η ( ι ) = ι 2 . Then,
( ι ) = e x p 2 ι 1 r ( Θ ) ξ 2 ( Θ ) η ( Θ ) P ( Θ ) 2 d Θ = e x p ( 0 ) = 1
and
Φ ( ι ) = ( ι ) γ 3 Q ( ι ) + γ 3 η 2 ( ι ) ξ 2 ( ι ) r ( ι ) P ( ι ) η ( ι ) ξ 2 ( ι ) r ( ι ) η ( ι ) + 1 ξ 2 ( ι ) 1 ξ 1 ( ι ) P 2 ( ι ) 4 r ( ι ) = γ 3 Q ( ι ) + ι 4 ι 2 ξ 2 ( ι ) 2 ι 4 ι 2 ξ 2 ( ι ) 2 ι + ι 2 1 ξ 2 ( ι ) 1 ξ 1 ( ι ) = γ 3 Q ( ι ) 2 ι ι 2 2 ( 4 + ι 2 ) .
Choosing Q ( ι ) = 9 2 ι 4 + 18 ι 2 + 18 ι + 9 , we obtain Φ ( ι ) = 1 .
Now, for β = 1
lim ι s u p ι 1 n l ι ( ι Θ ) n 1 Φ ( Θ ) β ξ 2 ( ι ) ( n 1 ) 2 4 ( ι Θ ) n 3 ( Θ ) r ( Θ ) d Θ
= lim ι s u p 1 ι 2 l ι ( ι Θ ) 2 Θ 2 1 + 1 4 + Θ 2 d Θ = lim ι s u p 1 ι 2 ι 2 l + ι l 2 ι + 2 t a n 1 ι 2 + l 2 t a n 1 l 2 = l = ϝ ( l ) .
It is clear that Conditions (27) and (35) are satisfied, and so by Theorem 3, Equation (36) is oscillatory.

4. Conclusions

In this article, we discussed the oscillation of two general classes of second-order nonlinear differential equations o types (1) and (2). New oscillation criteria are given using a new condition on function U ( χ ( ι ) ) in the case of monotonic and non-monotonic function z ( χ ) , which is more general than the traditional restriction used by other authors. Three examples were presented to justify our results of the article. In future work, we plan to consider the case of delayed differential equations by which we can produce richer results; see [3,6,19,24].

Author Contributions

Writing—review and editing, M.M., M.M.A.E.-S., S.E.T. and G.A.F.I. 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.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Abdullah, H.K. A note on the oscillation of the second order differential equations. Czech. Math. J. 2004, 54, 949–954. [Google Scholar] [CrossRef]
  2. Attia, E.R.; Benekas, V.; El-Morshedy, H.A.; Stavroulakis, I.P. Oscillation of first order linear differential equations with several non-monotone delays. Open Math. 2018, 16, 83–94. [Google Scholar] [CrossRef]
  3. Braverman, E.; Domoshnitsky, A.; Stavroulakis, J.I. Semicycles and correlated asymptotics of oscillatory solutions to second-order delay differential equations. J. Math. Anal. Appl. 2024, 531, 127875. [Google Scholar] [CrossRef]
  4. Elabbasy, E.M.; Hassan, T.S.; Saker, S.H. Oscillation of second-order nonlinear differential equations with a damping term. Electron. J. Differ. Equ. 2005, 76, 1–13. [Google Scholar] [CrossRef]
  5. El-Sheikh, M.M.A. Oscillation and nonoscillation criteria for second order nonlinear differential equations. J. Math. Anal. Appl. 1993, 179, 14–27. [Google Scholar] [CrossRef]
  6. El-Sheikh, M.M.A.; Sallam, R.A.; El-Saedy, E.I. On the oscillatory behavior of solutions of second order nonlinear neutral delay differential equations. WSEAS Trans. Math. 2018, 17, 51–57. [Google Scholar]
  7. Euat Tallah, S.; El-sheikh, M.M.A.; Ismail, G.A.F. On the oscillation and non-oscillation of solutions of forced second order differential equations. J. Math. Comput. Sci. 2023, 30, 101–115. [Google Scholar] [CrossRef]
  8. Grace, S.R.; Lalli, B.S. Oscillation and convergence to zero of solutions of damped second-order nonlinear differential equations. J. Math. Anal. Appl. 1984, 102, 539–548. [Google Scholar] [CrossRef]
  9. Grace, S.R.; Lalli, B.S. Oscillation theorems for second order nonlinear differential equations. J. Math. Anal. Appl. 1987, 124, 213–224. [Google Scholar] [CrossRef]
  10. Grace, S.R.; Lalli, B.S. Oscillations in second order differential equations with alternating coefficients. Period. Math. Hungar. 1988, 19, 69–78. [Google Scholar] [CrossRef]
  11. Grace, S.R. Oscillation theorems for second order nonlinear differential equations with damping. Math. Nachr. 1989, 141, 117–127. [Google Scholar] [CrossRef]
  12. Grace, S.R.; Lalli, B.S. Oscillation theorems for perturbed nonlinear second order differential equations with a damping term. Comment. Math. Univ. Carolin. 1989, 30, 691–697. [Google Scholar]
  13. Grace, S.R.; Lalli, B.S. Integral averaging technique for the oscillation of second order nonlinear differential equations. J. Math. Anal. Appl. 1990, 149, 277–311. [Google Scholar] [CrossRef]
  14. Grace, S.R. Oscillation theorems for nonlinear differential equations of second order. J. Math. Anal. Appl. 1992, 171, 220–241. [Google Scholar] [CrossRef]
  15. Jiang, C.; Tian, Y.; Jiang, Y.; Li, T. Some oscillation results for nonlinear second-order differential equations with damping. Adv. Differ. Equ. 2015, 354, 1–14. [Google Scholar] [CrossRef]
  16. Kirane, M.; Rogovchenko, Y.V. Oscillation results for a second order damped differential equation with nonmonotonous nonlinearity. J. Math. Anal. Appl. 2000, 250, 118–138. [Google Scholar] [CrossRef]
  17. Lalli, B.S.; Grace, S.R. Oscillations of Second Order General Nonlinear Differential Equations in Recent Trends in Differential Equations; Agarwal, R.P., Ed.; World Scientific: Singapore, 1992; pp. 413–429. [Google Scholar]
  18. Manojlovic, J.V. Oscillation criteria for sublinear differential equations with damping. Acta Math. Hungar. 2004, 104, 153–169. [Google Scholar] [CrossRef]
  19. Meng, Q.; Yan, J. Bounded oscillation for second order non-linear neutral delay differential equations in critical and non-critical cases. Nonlinear Anal. Theory Methods Appl. 2006, 64, 1543–1561. [Google Scholar] [CrossRef]
  20. Philos, C.G. Oscillation Theorems for Linear Differential Equations of Second Order. Arch. Math. 1989, 53, 482–492. [Google Scholar] [CrossRef]
  21. Rogovchenko, Y.V. Oscillation theorems for second-order equations with damping. Nonlinear Anal. 2000, 41, 1005–1028. [Google Scholar] [CrossRef]
  22. Rogovchenko, S.P.; Rogovchenko, Y.V. Oscillation of differential equations with damping. Dyn. Contin. Discret. Impuls. Syst. Ser. Math. Anal. 2003, 10, 447–461. [Google Scholar]
  23. Rogovchenko, Y.V.; Tuncay, F. Oscillation theorems for a class of second order nonlinear differential equations with damping. Taiwan. J. Math. 2009, 13, 1909–1928. [Google Scholar] [CrossRef]
  24. Temimi, H.; Ben-Romdhane, M.; El-Borgi, S.; Cha, Y.J. Time-delay effects on controlled seismically excited linear and nonlinear structures. Int. J. Struct. Stab. Dyn. 2016, 16, 1550031. [Google Scholar] [CrossRef]
  25. Tiryaki, A.; Zafer, A. Oscillation criteria for second order nonlinear differential equations with damping. Turk. J. Math. 2000, 24, 185–196. [Google Scholar]
  26. Wang, X.; Song, G. Oscillation theorems for a class of nonlinear second order differential equations with damping. Adv. Pure Math. 2013, 3, 226–233. [Google Scholar] [CrossRef]
  27. Yan, J. Oscillatory Theorems for Second Order Linear Differential Equations with Damping. Proc. Am. Math. Soc. 1986, 98, 276–282. [Google Scholar] [CrossRef]
  28. Zhang, Q.; Yan, J. Oscillatory Behavior of the Second Order Nonlinear Delay Differential Equation. Pure Appl. Math. 2008, 24, 646–653. [Google Scholar]
  29. Zhang, Q.; Song, X.; Liu, S. New Oscillation Criteria for the Second Order Nonlinear Differential Equations with Damping. J. Appl. Math. Phys. 2016, 4, 1179–1185. [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.

Share and Cite

MDPI and ACS Style

Mazen, M.; El-Sheikh, M.M.A.; Euat Tallah, S.; Ismail, G.A.F. On the Oscillatory Behavior of Solutions of Second-Order Non-Linear Differential Equations with Damping Term. Mathematics 2024, 12, 1096. https://doi.org/10.3390/math12071096

AMA Style

Mazen M, El-Sheikh MMA, Euat Tallah S, Ismail GAF. On the Oscillatory Behavior of Solutions of Second-Order Non-Linear Differential Equations with Damping Term. Mathematics. 2024; 12(7):1096. https://doi.org/10.3390/math12071096

Chicago/Turabian Style

Mazen, Mohamed, Mohamed M. A. El-Sheikh, Samah Euat Tallah, and Gamal A. F. Ismail. 2024. "On the Oscillatory Behavior of Solutions of Second-Order Non-Linear Differential Equations with Damping Term" Mathematics 12, no. 7: 1096. https://doi.org/10.3390/math12071096

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