Next Article in Journal
The Impact of Regulatory Reforms on Demand Weighted Average Prices
Next Article in Special Issue
More Effective Results for Testing Oscillation of Non-Canonical Neutral Delay Differential Equations
Previous Article in Journal
Definition and Utilization of the Null Controllable Region for Model Predictive Control of Multi-Input Linear Systems
Previous Article in Special Issue
Fractional System of Korteweg-De Vries Equations via Elzaki Transform
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

New Oscillation Theorems for Second-Order Differential Equations with Canonical and Non-Canonical Operator via Riccati Transformation

1
Department of Mathematics, JIS College of Engineering, Kalyani, West Bengal 741235, India
2
Department of Mathematics, Sambalpur University, Sambalpur 768019, India
3
Department of Mathematics, Faculty of Science, Mansoura University, 35516 Mansoura, Egypt
4
Department of Civil Engineering, College of Engineering, King Khalid University, Abha 61421, Saudi Arabia
5
Department of Civil Engineering, High Institute of Technological Studies, Mrezgua University Campus, Nabeul 8000, Tunisia
6
School of Mathematics and Information Science, Henan Polytechnic University, Jiaozuo 454000, China
*
Author to whom correspondence should be addressed.
Mathematics 2021, 9(10), 1111; https://doi.org/10.3390/math9101111
Submission received: 14 April 2021 / Revised: 2 May 2021 / Accepted: 8 May 2021 / Published: 14 May 2021

Abstract

:
In this work, we prove some new oscillation theorems for second-order neutral delay differential equations of the form ( a ( ξ ) ( ( v ( ξ ) + b ( ξ ) v ( ϑ ( ξ ) ) ) ) ) + c ( ξ ) G 1 ( v ( κ ( ξ ) ) ) + d ( ξ ) G 2 ( v ( ς ( ξ ) ) ) = 0 under canonical and non-canonical operators, that is, ξ 0 d ξ a ( ξ ) = and ξ 0 d ξ a ( ξ ) < . We use the Riccati transformation to prove our main results. Furthermore, some examples are provided to show the effectiveness and feasibility of the main results.

1. Introduction

It is well known that differential equations have many applications in research, for example, population growth, decay, Newton’s law of cooling, glucose absorption by the body, spread of epidemics, Newton’s second law of motion, and interacting species competition. They appear in the study of many real-world problems (see [1,2,3]).
Here, we mention some recent developments of oscillation theory to neutral differential equations.
In [4], Santra et al. have studied explicit criteria for the oscillation of second-order differential equations with several sub-linear positive neutral coefficients of the form
a ( ξ ) ( v ( ξ ) + i = 1 m b i ( ξ ) v α i ( ϑ i ( ξ ) ) ) + c ( ξ ) v β ( κ ( ξ ) ) = 0
and obtained some new sufficient conditions for the oscillation of (1). Santra et al. [5] have studied asymptotic behavior of a class of second-order nonlinear neutral differential equations with multiple delays of the form
a ( ξ ) v ( ξ ) + b ( ξ ) v ( ξ ϑ ) ) + i = 1 m c i ( ξ ) G i ( v ( ξ κ i ) ) = 0
and obtained some new sufficient conditions for the oscillation of solution of (2) under a non-canonical operator with various ranges of the neutral coefficient b. In another paper [6], Santra et al. have established some new oscillation theorems to neutral differential equations with mixed delays under a canonical operator with 0 b < 1 . In [7], Bazighifan et al. have studied oscillatory properties of even-order ordinary differential equations with variable coefficients.
For more details on the oscillation theory of neutral delay differential equations, we refer the reader to the papers [8,9,10,11,12,13,14,15,16,17,18,19,20,21,22]. In particular, the study of oscillation of half-linear/Emden–Fowler (neutral) differential equations with deviating arguments (delayed or advanced arguments or mixed arguments) has numerous applications in physics and engineering (e.g., half-linear/Emden–Fowler differential equations arise in a variety of real-world problems, such as in the study of p-Laplace equations and chemotaxis models); see, e.g., the papers [23,24,25,26,27,28,29,30,31,32,33,34] for more details. In particular, by using different methods, the following papers were concerned with the oscillation of various classes of half-linear/Emden–Fowler differential equations and half-linear/Emden–Fowler differential equations with different neutral coefficients: the paper [24] was concerned with neutral differential equations assuming that 0 b ( ξ ) < 1 and b ( ξ ) > 1 , where b is the neutral coefficient; the paper [25] was concerned with neutral differential equations assuming that 0 b ( ξ ) < 1 ; the paper [27] was concerned with neutral differential equations assuming that b ( ξ ) is nonpositive; the papers [28,32] were concerned with neutral differential equations in the case where b ( ξ ) > 1 ; the paper [31] was concerned with neutral differential equations assuming that 0 b ( ξ ) b 0 < and b ( ξ ) > 1 ; the paper [33] was concerned with neutral differential equations in the case where 0 b ( ξ ) b 0 < ; the paper [34] was concerned with neutral differential equations in the case when 0 b ( ξ ) = b 0 1 ; whereas the paper [30] was concerned with differential equations with a nonlinear neutral term assuming that 0 b ( ξ ) b < 1 . These examples have the same research topic as that of this paper.
Motivated by the above studies, in this article, we obtain sufficient conditions for the oscillation of the following second-order nonlinear differential equations
( a ( ξ ) ( ( v ( ξ ) + b ( ξ ) v ( ϑ ( ξ ) ) ) ) ) + c ( ξ ) G 1 ( v ( κ ( ξ ) ) ) + d ( ξ ) G 2 ( v ( ς ( ξ ) ) ) = 0 ,
where a C 1 ( [ ξ 0 , ) , R ) , b , c , d C ( [ ξ 0 , ) , R ) , G 1 , G 2 C ( R , R ) are continuous functions such that
(i)
a ( ξ ) > 0 , 0 b ( ξ ) p 0 < , c ( ξ ) , d ( ξ ) 0 , c ( ξ ) , d ( ξ ) is not identically zero on any interval of the form [ ξ * , ) for any ξ * ξ 0 .
(ii)
G 1 ( u ) u k > 0 , G 2 ( v ) v k > 0 for u , v 0 , k is a constant.
(iii)
ϑ C 1 ( [ ξ 0 , ) , R ) , κ , ς ( [ ξ 0 , ) , R ) , ϑ ϑ 0 > 0 , ϑ ( ξ ) ξ , κ ( ξ ) ξ , ς ( ξ ) ξ with lim ξ ϑ ( ξ ) = = lim ξ κ ( ξ ) = = lim ξ ς ( ξ ) .
The objective of our work is to establish the oscillation character of all solutions of (3) under the following canonical and non-canonical conditions:
(C1)
ξ 0 d ξ a ( ξ ) =
and
(C2)
ξ 0 d ξ a ( ξ ) < .
By a solution of (3), we mean a continuously differentiable function v ( ξ ) , which is defined for ξ Y * = min { ϑ ( ξ 0 ) , κ ( ξ 0 ) , ς ( ξ 0 ) } such that v ( ξ ) satisfies (3) for all ξ ξ 0 . In the sequel, it will always be assumed that the solutions of (3) exist on some half line [ ξ 1 , ) , ξ 1 ξ 0 . A solution of (3) is said to be oscillatory if it has arbitrarily large zeros; otherwise, it is called non-oscillatory. Equation (3) is called oscillatory when all its solutions are oscillatory.

2. Oscillation Results under (C1)

In this section, we are proving some new oscillation results for (3) under the assumption (C1). In the whole paper, we assume that
z ( ξ ) = v ( ξ ) + b ( ξ ) v ( ϑ ( ξ ) ) .
Theorem 1.
Assume that (C1) holds, and κ ( ξ ) > 0 for ξ ξ 0 , ς ( ξ ) κ ( ξ ) , ϑ ( κ ( ξ ) ) = κ ( ϑ ( ξ ) ) and ϑ ( ς ( ξ ) ) = ς ( ϑ ( ξ ) ) hold for ξ [ ξ 0 , ) . If
(A1) 
ξ 0 δ ( ζ ) C ( ζ ) + D ( ζ ) 1 + p 0 ϑ 0 a ( κ ( ζ ) ) ( ( δ ( ζ ) ) + ) 2 4 δ ( ζ ) κ ( ζ ) d ζ = ,
where C ( ξ ) = min { c ( ξ ) , c ( ϑ ( ξ ) ) } , D ( ξ ) = min { d ( ξ ) , d ( ϑ ( ξ ) ) } and ( δ ( ξ ) ) + = max { δ ( ξ ) , 0 } , and δ ( ξ ) is a positive differentiable function, then every solution of (3) is oscillatory.
Proof. 
Let v ( ξ ) be a non-oscillatory solution of (3) and which is v ( ξ ) > 0 for ξ ξ 0 . Hence, there exists ξ 1 > ξ 0 such that v ( ξ ) > 0 , v ( ϑ ( ξ ) ) > 0 , v ( κ ( ξ ) ) > 0 and v ( ς ( ξ ) ) > 0 for ξ ξ 1 . Using (4), (3) becomes
( a ( ξ ) ( z ( ξ ) ) ) = c ( ξ ) v ( κ ( ξ ) ) d ( ξ ) v ( ς ( ξ ) 0 , 0 f o r ξ ξ 1 .
Therefore, a ( ξ ) ( z ( ξ ) ) is non-increasing on [ ξ 1 , ) , that is, either z ( ξ ) > 0 or z ( ξ ) < 0 for ξ ξ 2 > ξ 1 . We claim that z ( ξ ) > 0 for ξ ξ 2 . If not, there exists ξ 3 > ξ 2 such that z ( ξ 2 ) < 0 . Then from (5), we obtain that
a ( ξ ) z ( ξ ) a ( ξ 3 ) z ( ξ 3 ) , ξ ξ 3 .
Hence
z ( ξ ) z ( ξ 3 ) + a ( ξ 3 ) z ( ξ 3 ) ξ 3 ξ d ζ a ( ζ ) .
Letting ξ , we obtain z ( ξ ) as ξ , which is a contradiction to the fact that z ( ξ ) > 0 for ξ ξ 3 . From (3), it is easy to see that
( a ( ξ ) ( z ( ξ ) ) ) + c ( ξ ) v ( κ ( ξ ) ) + d ( ξ ) v ( ς ( ξ ) ) + p 0 ϑ ( ξ ) ( a ( ϑ ( ξ ) ) ( z ( ϑ ( ξ ) ) ) + p 0 c ( ϑ ( ξ ) ) v ( κ ( ϑ ( ξ ) ) + p 0 d ( ϑ ( ξ ) ) v γ ( ς ( ϑ ( ξ ) ) = 0
for ξ ξ 3 , the above relation yields that
( a ( ξ ) ( z ( ξ ) ) ) + p 0 ϑ ( ξ ) ( a ( ϑ ( ξ ) ) ( z ( ϑ ( ξ ) ) ) + C ( ξ ) z ( κ ( ξ ) ) + D ( ξ ) z ( ς ( ξ ) ) 0 .
We have ϑ ( ξ ) ϑ 0 > 0 and ϑ o κ = κ o ϑ and ϑ o ς = ς o ϑ . Then from (5), we obtain
( a ( ξ ) ( z ( ξ ) ) ) + p 0 ϑ 0 ( a ( ϑ ( ξ ) ) ( z ( ϑ ( ξ ) ) ) + C ( ξ ) z ( κ ( ξ ) ) + D ( ξ ) z ( ς ( ξ ) ) 0 .
Now, we use the general Riccati substitution
w ( ξ ) = δ ( ξ ) a ( ξ ) z ( ξ ) z ( κ ( ξ ) )
and
u ( ξ ) = δ ( ξ ) a ( ϑ ( ξ ) ) z ( ϑ ( ξ ) ) z ( κ ( ξ ) ) ,
where δ ( ξ ) is a positive differentiable function. Clearly, w ( ξ ) > 0 and v ( ξ ) > 0 on [ ξ 2 , ) . Now, differentiating (7) and from (5) we have z ( κ ( ξ ) ) a ( ξ ) z ( ξ ) a ( κ ( ξ ) ) , and
w ( ξ ) δ ( ξ ) ( a ( ξ ) z ( ξ ) ) z ( κ ( ξ ) ) + δ ( ξ ) δ ( ξ ) w ( ξ ) κ ( ξ ) w 2 ( ξ ) δ ( ξ ) a ( κ ( ξ ) ) δ ( ξ ) ( a ( ξ ) z ( ξ ) ) z ( κ ( ξ ) ) + ( δ ( ξ ) ) + δ ( ξ ) w ( ξ ) κ ( ξ ) w 2 ( ξ ) δ ( ξ ) a ( κ ( ξ ) ) .
Similarly, differentiating (8), by (5) and κ ( ξ ) ϑ ( ξ ) , we find z ( κ ( ξ ) ) a ( ϑ ( ξ ) ) z ( ϑ ( ξ ) ) a ( κ ( ξ ) ) and
u ( ξ ) δ ( ξ ) ( a ( ϑ ( ξ ) ) z ( ϑ ( ξ ) ) ) z ( κ ( ξ ) ) + δ ( ξ ) δ ( ξ ) u ( ξ ) κ ( ξ ) u 2 ( ξ ) δ ( ξ ) a ( κ ( ξ ) ) δ ( ξ ) ( a ( ϑ ( ξ ) ) z ( ϑ ( ξ ) ) ) z ( κ ( ξ ) ) + ( δ ( ξ ) ) + δ ( ξ ) u ( ξ ) κ ( ξ ) u 2 ( ξ ) δ ( ξ ) a ( κ ( ξ ) ) .
From (9) and (10),
w ( ξ ) + p 0 ϑ 0 u ( ξ ) δ ( ξ ) ( a ( ξ ) z ( ξ ) ) z ( κ ( ξ ) ) + p 0 ϑ 0 δ ( ξ ) ( a ( ϑ ( ξ ) ) z ( ϑ ( ξ ) ) ) z ( κ ( ξ ) ) + ( δ ( ξ ) ) + δ ( ξ ) w ( ξ ) κ ( ξ ) w 2 ( ξ ) δ ( ξ ) a ( κ ( ξ ) ) + p 0 ϑ 0 ( δ ( ξ ) ) + δ ( ξ ) u ( ξ ) p 0 ϑ 0 κ ( ξ ) u 2 ( ξ ) δ ( ξ ) a ( κ ( ξ ) ) .
From (6) and the above inequality, it becomes
w ( ξ ) + p 0 ϑ 0 u ( ξ ) δ ( ξ ) [ C ( ξ ) + D ( ξ ) ] + ( δ ( ξ ) ) + δ ( ξ ) w ( ξ ) κ ( ξ ) w 2 ( ξ ) δ ( ξ ) a ( κ ( ξ ) ) + p 0 ϑ 0 ( δ ( ξ ) ) + δ ( ξ ) u ( ξ ) p 0 ϑ 0 κ ( ξ ) v 2 ( ξ ) δ ( ξ ) a ( κ ( ξ ) ) δ ( ξ ) [ C ( ξ ) + D ( ξ ) ] + ( 1 + p 0 ϑ 0 ) a ( κ ( ξ ) ) ( ( δ ( ξ ) ) + ) 2 4 δ ( ξ ) κ ( ξ ) .
Integrating the above inequality from ξ 3 to ξ , we get
w ( ξ ) + p 0 ϑ 0 u ( ξ ) w ( ξ 3 ) + p 0 ϑ 0 u ( ξ 3 ) ξ 3 ξ δ ( ζ ) [ { C ( ζ ) + D ( ζ ) } ( 1 + p 0 ϑ 0 ) a ( κ ( ζ ) ) ( ( δ ( ζ ) ) + ) 2 4 δ ( ζ ) κ ( ζ ) ] d ζ .
that is,
ξ 3 ξ δ ( ζ ) { C ( ζ ) + D ( ζ ) } ( 1 + p 0 ϑ 0 ) a ( κ ( ζ ) ) ( ( δ ( ζ ) ) + ) 2 4 δ ( ζ ) κ ( ζ ) d ζ w ( ξ 3 ) + p 0 ϑ 0 u ( ξ 3 )
which contradicts (A1). This completes the proof of the theorem. □
Choosing δ ( ξ ) = a ( κ ( ξ ) ) , by Theorem 1, we have the following results:
Corollary 1.
Assume that (C1) holds, κ ( ξ ) > 0 , ς ( ξ ) κ ( ξ ) and κ ( ξ ) ϑ ( ξ ) for ξ ξ 0 . If
(A2) 
lim sup ξ ξ 0 ξ { a ( κ ( ζ ) C ( ζ ) + a ( κ ( ζ ) D ( ζ ) ) } ( 1 + p 0 ϑ 0 ) κ ( ζ ) 4 a ( κ ( ζ ) ) a ( κ ( ζ ) d ζ = ,
then every solution of (3) oscillates.
Corollary 2.
Assume that (C1) holds, κ ( ξ ) > 0 , ς ( ξ ) κ ( ξ ) and κ ( ξ ) ϑ ( ξ ) for ξ ξ 0 . If
(A3) 
lim inf ξ 1 l n ( a κ ( ξ ) ) ξ 0 ξ a ( κ ( ζ ) C ( ζ ) + a ( κ ( ζ ) D ( ζ ) ) d ζ > 1 + p 0 ϑ 0 4 ,
then every solution of (3) oscillates.
Corollary 3.
Assume that (C1) holds, κ ( ξ ) > 0 , ς ( ξ ) κ ( ξ ) and κ ( ξ ) ϑ ( ξ ) for ξ ξ 0 . If
(A4) 
lim inf ξ ξ 0 ξ { R 2 ( κ ( ζ ) C ( ζ ) a ( κ ( ζ ) ) + R 2 ( κ ( ζ ) D ( ζ ) ) a ( κ ( ζ ) ) } κ ( ζ ) > 1 + p 0 ϑ 0 4 ,
then every solution of (3) oscillates.
Next, choosing δ ( ξ ) = ξ , by Theorem 1, we have the following results.
Corollary 4.
Assume that (C1) holds, κ ( ξ ) > 0 , ς ( ξ ) κ ( ξ ) and κ ( ξ ) ϑ ( ξ ) ς ( ξ ) for ξ ξ 0 . If
(A5) 
lim sup ξ ζ C ( ζ ) + ζ D ( ζ ) ( 1 + p 0 ϑ 0 ) a ( κ ( ζ ) ) s κ ( ζ ) d ζ = ,
then every solution of (3) oscillates.
Theorem 2.
Assume that (C1) holds, κ ( ξ ) > 0 for ξ ξ 0 , ς ( ξ ) κ ( ξ ) , ϑ ( κ ( ξ ) ) = κ ( ϑ ( ξ ) ) and ϑ ( ς ( ξ ) ) = ς ( ϑ ( ξ ) ) be held for ξ [ ξ 0 , ) . If
(A6) 
lim sup ξ ξ 0 δ ( ζ ) { C ( ζ ) + D ( ζ ) } ( 1 + p 0 ϑ 0 ) a ( ϑ ( ζ ) ) ( ( δ ( ζ ) ) + ) 2 4 δ ( ζ ) ϑ 0 d ζ = ,
where C ( ξ ) , D ( ξ ) , ( δ ( ξ ) ) + and δ ( ξ ) defined in Theorem 1, then every solution of (3) oscillates.
Proof. 
Proof is similar to that in Theorem 1, only we have to choose
w ( ξ ) = δ ( ξ ) a ( ξ ) z ( ξ ) z ( ϑ ( ξ ) ) f o r ξ ξ 2 .
for the current theorem. □
Corollary 5.
Assume that (C1) holds, κ ( ξ ) > 0 , ς ( ξ ) κ ( ξ ) and κ ( ξ ) ϑ ( ξ ) for ξ ξ 0 . If
(A7) 
lim sup ξ ξ 0 ξ a ( ϑ ( ζ ) ) C ( ζ ) + a ( ϑ ( ζ ) ) D ( ζ ) ( 1 + p 0 ϑ 0 ) ϑ 0 4 ϑ ( ζ ) a ( ϑ ( ζ ) ) d ζ = ,
then every solution of (3) oscillates.
Corollary 6.
Assume that (C1) holds, κ ( ξ ) > 0 , ς ( ξ ) κ ( ξ ) and κ ( ξ ) ϑ ( ξ ) for ξ ξ 0 . If
(A8) 
lim inf ξ 1 l n a ( ϑ ( ξ ) ) ξ 0 ξ a ( ϑ ( ζ ) ) C ( ζ ) + a ( ϑ ( ζ ) ) D ( ζ ) d ζ > ( 1 + p 0 ϑ 0 ) ϑ 0 4 ,
then every solution of (3) oscillates.
Next, choosing δ ( ξ ) = ξ , from Theorem 1, we have the following result:
Corollary 7.
Assume that (C1) holds, κ ( ξ ) > 0 , ς ( ξ ) κ ( ξ ) and κ ( ξ ) ϑ ( ξ ) ς ( ξ ) for ξ ξ 0 . If
(A9) 
lim ξ ζ C ( ζ ) + ζ D ( ζ ) ( 1 + p 0 ϑ 0 ) a ( ϑ ( ζ ) ) 4 s ϑ 0 d ζ = ,
then every solution of (3) oscillates.

3. Oscillation Results under (C2)

In this section, we will prove some new oscillation results for (3) under the assumption (C2).
Theorem 3.
Assume that (C2) and (A1) hold with κ ( ξ ) > 0 , κ ( ξ ) ϑ ( ξ ) for ξ ξ 0 , ς ( ξ ) κ ( ξ ) , ϑ ( κ ( ξ ) ) = κ ( ϑ ( ξ ) ) and ϑ ( ς ( ξ ) ) = ς ( ϑ ( ξ ) ) holds for ξ [ ξ 0 , ) . If
(A10) 
lim sup ξ ξ 0 ξ δ ( ζ ) { C ( ζ ) + D ( ζ ) } ( 1 + p 0 ϑ 0 ) ϑ 0 4 ϑ ( ζ ) ( δ ( ζ ) ) d ζ = ,
where C ( ξ ) , D ( ξ ) , ( δ ( ξ ) ) + and δ ( ξ ) are defined in Theorem 1, then every solution of (3) oscillates.
Proof. 
Suppose that v ( ξ ) is a non-oscillatory solution of (3). Without loss of generality, we may assume that there exists ξ 1 ξ 0 such that v ( ξ ) > 0 , v ( ϑ ( ξ ) ) > 0 , v ( κ ( ξ ) ) > 0 and v ( ς ( ξ ) ) > 0 , for all ξ ξ 1 . Setting z ( ξ ) as in Theorem 1. From (5), a ( ξ ) z ( ξ ) is nonincreasing. Consequently, z ( ξ ) > 0 or z ( ξ ) < 0 for ξ ξ 2 ξ 1 . If z ( ξ ) > 0 , then as in Theorem 1, we get a contradiction to (A1). If z ( ξ ) < 0 , then we define
w ( ξ ) = a ( ξ ) z ( ξ ) z ( ξ ) f o r ξ ξ 2 .
Clearly, w ( ξ ) < 0 . Noting that a ( ξ ) z ( ξ ) is nonincreasing, we get
a ( ζ ) z ( ζ ) a ( ξ ) z ( ξ ) f o r s ξ ξ 2 .
Dividing the above by a ( ζ ) and integrating it from ξ to l, we obtain
z ( l ) z ( ξ ) + a ( ξ ) z ( ξ ) ξ l d ζ a ( ζ ) f o r ξ ξ ξ 2 .
Letting l in the above inequality, we have
0 z ( ξ ) + a ( ξ ) z ( ξ ) δ ( ξ ) f o r ξ ξ 2 .
Therefore,
a ( ξ ) z ( ξ ) z ( ξ ) δ ( ξ ) 1 f o r ξ ξ 2 .
From (6), we obtain
1 w ( ξ ) δ ( ξ ) 0 f o r ξ ξ 2 .
Similarly, we define another function
u ( ξ ) = a ( ϑ ( ξ ) ) z ( ϑ ( ξ ) ) z ( ξ ) f o r ξ ξ 2 ,
obviously, v ( ξ ) < 0 . Noting that a ( ξ ) z ( ξ ) is nonincreasing, we have
a ( ϑ ( ξ ) ) z ( ϑ ( ξ ) ) a ( ξ ) z ( ξ ) .
Then v ( ξ ) w ( ξ ) . From (12), we obtain
1 v ( ξ ) δ ( ξ ) 0 f o r ξ ξ 2 .
Differentiating (11) and (13), we get
w ( ξ ) = ( a ( ξ ) z ( ξ ) ) z ( ξ ) w 2 ( ξ ) a ( ξ )
and
u ( ξ ) a ( ϑ ( ξ ) ) z ( ϑ ( ξ ) ) z ( ξ ) u 2 ( ξ ) a ( ξ ) .
From (15) and (16), we obtain
w ( ξ ) + p 0 ϑ 0 u ( ξ ) ( a ( ξ ) z ( ξ ) ) z ( ξ ) + p 0 ϑ 0 ( a ( ϑ ( ξ ) ) z ( ϑ ( ξ ) ) ) z ( ξ ) w 2 ( ξ ) a ( ξ ) p 0 ϑ 0 u 2 ( ξ ) a ( ξ ) .
Proceeding as in Theorem 1, (6) holds. From (6), (17) can be written as
w ( ξ ) + p 0 ϑ 0 u ( ξ ) { C ( ξ ) + D ( ξ ) } w 2 ( ξ ) a ( ξ ) p 0 ϑ 0 u 2 ( ξ ) a ( ξ ) .
Multiplying (18) by δ ( ξ ) , and integrating on [ ξ 2 , ξ ] implies that
δ ( ξ ) w ( ξ ) δ ( ξ 2 ) w ( ξ 2 ) + ξ 2 ξ w ( ζ ) a ( ζ ) d ζ + ξ 2 ξ w 2 ( ζ ) δ ( ζ ) a ( ζ ) d ζ + p 0 ϑ 0 δ ( ξ ) u ( ξ ) p 0 ϑ 0 δ ( ξ 2 ) u ( ξ 2 ) + p 0 ϑ 0 ξ 2 ξ u ( ζ ) a ( ζ ) d ζ + p 0 ϑ 0 ξ 2 ξ u 2 ( ζ ) δ ( ζ ) a ( ζ ) d ζ + ξ 2 ξ δ ( ζ ) { C ( ζ ) + D ( ζ ) } d ζ 0 .
From the above inequality, we obtain
δ ( ξ ) w ( ξ ) δ ( ξ 2 ) w ( ξ 2 ) + p 0 ϑ 0 δ ( ξ ) u ( ξ ) p 0 ϑ 0 δ ( ξ 2 ) u ( ξ 2 ) + ξ 2 ξ δ ( ζ ) { C ( ζ ) + D ( ζ ) } d ζ 0 .
Thus, it follows from the above inequality that
δ ( ξ ) w ( ξ ) + p 0 ϑ 0 δ ( ξ ) u ( ξ ) + ξ 2 ξ δ ( ζ ) { C ( ζ ) + D ( ζ ) } ( 1 + p 0 ϑ 0 ) ϑ 0 4 a ( ζ ) δ ( ζ ) d ζ δ ( ξ 2 ) w ( ξ 2 ) + p 0 ϑ 0 δ ( ξ 2 ) u ( ξ 2 ) .
By (12) and (14), we obtain a contradiction to (A10). This completes the proof of the theorem. □
Theorem 4.
Assume that (C2) holds, κ ( ξ ) > 0 , κ ( ξ ) ϑ ( ξ ) for ξ ξ 0 , ς ( ξ ) κ ( ξ ) , ϑ ( κ ( ξ ) ) = κ ( ϑ ( ξ ) ) and ϑ ( ς ( ξ ) ) = ς ( ϑ ( ξ ) ) holds for ξ [ ξ 0 , ) . If (A1) holds and
(A11) 
lim sup ξ ξ 0 ξ δ 2 ( ζ ) C ( ζ ) + D ( ζ ) d ζ = ,
where C ( ξ ) , D ( ξ ) , ( δ ( ξ ) ) + and δ ( ξ ) are defined in Theorem 1, then every solution of (3) oscillates.
Proof. 
Suppose that v ( ξ ) is a non-oscillatory solution of (3). Without loss of generality, we may assume that there exists ξ 1 ξ 0 such that v ( ξ ) > 0 , v ( ϑ ( ξ ) ) > 0 , v ( κ ( ξ ) ) > 0 and v ( ς ( ξ ) ) > 0 , for all ξ ξ 1 . Setting z ( ξ ) as in Theorem 1. From (5), a ( ξ ) z ( ξ ) is nonincreasing. Consequently z ( ξ ) > 0 or z ( ξ ) < 0 for ξ ξ 2 ξ 1 . If z ( ξ ) > 0 , then as in Theorem 1, we get a contradiction to (A1). If z ( ξ ) < 0 , then we define w ( ξ ) and v ( ξ ) as in Theorem 3, we obtain (12), (14) and (18). Multiplying (18) by δ 2 ( ξ ) , and integrating on [ ξ 2 , ξ ]
δ 2 ( ξ ) w ( ξ ) δ 2 ( ξ 2 ) w ( ξ 2 ) + ξ 2 ξ 2 w ( ζ ) δ ( ζ ) a ( ζ ) d ζ + ξ 2 ξ w 2 ( ζ ) δ 2 ( ζ ) a ( ζ ) d ζ + p 0 ϑ 0 δ 2 ( ξ ) u ( ξ ) p 0 ϑ 0 δ ( ξ 2 ) u ( ξ 2 ) + 2 p 0 ϑ 0 ξ 2 ξ u ( ζ ) δ ( ζ ) a ( ζ ) d ζ + p 0 ϑ 0 ξ 2 ξ u 2 ( ζ ) δ 2 ( ζ ) a ( ζ ) d ζ + ξ 2 ξ δ 2 ( ζ ) { C ( ζ ) + D ( ζ ) } d ζ 0 .
It follows from (C2) and (12) that
δ 2 ( ξ ) w ( ξ ) δ 2 ( ξ 2 ) w ( ξ 2 ) + ξ 2 ξ 2 w ( ζ ) δ ( ζ ) a ( ζ ) d ζ + ξ 2 ξ w 2 ( ζ ) δ 2 ( ζ ) a ( ζ ) d ζ + p 0 ϑ 0 δ 2 ( ξ ) u ( ξ ) p 0 ϑ 0 δ ( ξ 2 ) u ( ξ 2 ) + 2 p 0 ϑ 0 ξ 2 ξ u ( ζ ) δ ( ζ ) a ( ζ ) d ζ + p 0 ϑ 0 ξ 2 ξ u 2 ( ζ ) δ 2 ( ζ ) a ( ζ ) d ζ + ξ 2 ξ δ 2 ( ζ ) { C ( ζ ) + D ( ζ ) } d ζ 0 .
From (12), we have
| ξ 2 w ( ζ ) δ ( ζ ) a ( ζ ) d ζ | ξ 2 | w ( ζ ) δ ( ζ ) | a ( ζ ) d ζ ξ 2 d ζ a ( ζ ) < , ξ 2 ξ w 2 ( ζ ) δ 2 ( ζ ) a ( ζ ) d ζ ξ 2 d ζ a ( ζ ) < .
From (14), we have
| ξ 2 u ( ζ ) δ ( ζ ) a ( ζ ) d ζ | ξ 2 | u ( ζ ) δ ( ζ ) | a ( ζ ) d ζ ξ 2 d ζ a ( ζ ) < , ξ 2 ξ u 2 ( ζ ) δ 2 ( ζ ) a ( ζ ) d ζ ξ 2 d ζ a ( ζ ) < .
From (19), we get
lim sup ξ ξ 0 ξ δ 2 ( ζ ) { C ( ζ ) + D ( ζ ) } d ζ < ,
which contradicts (A11), and hence, the theorem is proved. □
Corollary 8.
Assume that (C2) holds, κ ( ξ ) > 0 , κ ( ξ ) ϑ ( ξ ) ς ( ξ ) ξ , for ξ ξ 0 . If (A4), (A5), (A6), (A7) and (A10) holds, then every solution of (3) oscillates.

4. Examples

In this section, we will give two examples to illustrate our main results.
Example 1.
Let us consider the following equation
[ ξ ( v ( ξ ) + b ( ξ ) v ( λ 1 ( ξ ) ) ] + c ( ξ ) G 1 ( v ( λ 2 ( ξ ) ) + d ( ξ ) G 2 ( v ( λ 3 ( ξ ) ) = 0 , ξ 1
where a ( ξ ) = ξ , ϑ ( ξ ) = λ 1 ( ξ ) , G 1 ( v ) = v ( 1 + v 2 ) = G 2 ( v ) , 0 b ( ξ ) p 0 < , δ ( ξ ) = 1 , c ( ξ ) = γ ξ = d ( ξ ) , κ ( ξ ) = λ 2 ( ξ ) , ς ( ξ ) = λ 3 ( ξ ) and γ > 0 , ϑ 0 = λ 1 , λ 1 λ 2 λ 3 ,
lim sup ξ ξ 0 ξ { ζ C ( ζ ) + ζ D ( ζ ) } 1 + p 0 ϑ 0 a ( ϑ ( ζ ) ) 4 s ϑ 0 d ζ
= lim sup ξ 1 ξ 2 γ 1 + p 0 λ 1 4 d ζ = ,
where 2 γ > 1 + p 0 λ 1 4 . Therefore, by Corollary 7, all solutions of (20) oscillate.
Example 2.
Let us consider the following equation
[ ξ 2 ( v ( ξ ) + b ( ξ ) v ( ξ ϑ ) ) ] + ξ G 1 ( v ( ξ κ ) ) + ξ G 2 ( v ( ξ ς ) ) = 0 , ξ 1
where a ( ξ ) = ξ 2 , G 1 ( v ) = v ( 1 + v 2 ) = G 2 ( v ) , 0 b ( ξ ) p 0 < , δ ( ξ ) = 1 ξ , c ( ξ ) = ξ = d ( ξ ) , ϑ ( ξ ) = ξ ϑ , κ ( ξ ) = ξ κ = ς ( ξ ) and κ ( ξ ) = 1 = ϑ ( ξ ) , ϑ 0 = 1 , c ( ξ ) = ξ ϑ = d ( ξ ) , a ( ξ ) = 1 1 1 ξ
lim sup ξ ξ 0 ξ { R ( κ ( ζ ) ) C ( ζ ) + R ( ς ( ζ ) ) D ( ζ ) } 1 + p 0 ϑ 0 κ ( ζ ) 4 a ( κ ( ζ ) ) a ( κ ( ζ ) ) d ζ
= lim sup ξ 1 ξ 2 ( s ϑ ) 1 1 s κ 1 + p 0 4 ( s κ ) 2 1 1 s κ d ζ = ,
= lim sup ξ ξ 0 ξ δ ( ζ ) c ( ζ ) + δ ( ζ ) d ( ζ ) 1 + p 0 ϑ 0 4 a ( ζ ) δ ( ζ ) d ζ .
= lim sup ξ 1 ξ 2 1 ϑ s 1 + p 0 4 s d ζ = .
Therefore, by Corollary 8, all solutions of (21) oscillate.

5. Conclusions

In this paper, we defined some new general Riccati transformations to study the oscillation of second-order differential equations of neutral type with two nonlinear functions G 1 and G 2 and proved new oscillation theorems under canonical and non-canonical operators with the help of the general Riccati transformation. It would be of attentiveness to analyze the oscillation of (3) for sub-linear, super-linear and integral neutral coefficients; for more details, we refer the reader to the papers [24,27,28,30,31,32,33,34].

Author Contributions

Conceptualization, S.S.S., A.K.S., O.M., K.M.K., S.-W.Y.; methodology, S.S.S., A.K.S., O.M., K.M.K., S.-W.Y.; validation, S.S.S., A.K.S., O.M., K.M.K., S.-W.Y.; formal analysis, S.S.S., A.K.S., O.M., K.M.K., S.-W.Y.; investigation, S.S.S., A.K.S., O.M., K.M.K., S.-W.Y.; writing—review and editing, S.S.S., A.K.S., O.M., K.M.K., S.-W.Y.; supervision, S.S.S., A.K.S., O.M., K.M.K., S.-W.Y.; funding acquisition, K.M.K., and S.-W.Y.; All authors have read and agreed to the published version of the manuscript.

Funding

National Natural Science Foundation of China (No. 71601072), Key Scientific Research Project of Higher Education Institutions in Henan Province of China (No. 20B110006), the Fundamental Research Funds for the Universities of Henan Province (No. NSFRF210314) and Deanship of Scientific Research at King Khalid University funded this work through the large research groups under grant number RGP. 2/173/42.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

This work is supported by the National Natural Science Foundation of China (No. 71601072), Key Scientific Research Project of Higher Education Institutions in Henan Province of China (No. 20B110006) and the Fundamental Research Funds for the Universities of Henan Province (No. NSFRF210314). Additionally, the authors extend their thanks to the Deanship of Scientific Research at King Khalid University for funding this research through the large research groups under grant number RGP. 2/173/42. Furthermore, we would like to thank reviewers for their careful reading and valuable comments that helped in correcting and improving the paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Bainov, D.D.; Simeonov, P.S. Impulsive Differential Equations: Asymptotic Properties of the Solutions; Series on Advances in Mathematics for Applied Sciences; World Scientific: Singapore, 1995; Volume 28. [Google Scholar]
  2. Lakshmikantham, V.; Bainov, D.D.; Simeonov, P.S. Oscillation Theory of Impulsive Differential Equations; World Scientific: Singapore, 1989. [Google Scholar]
  3. Agarwal, R.P.; O’Regan, D.; Saker, S.H. Oscillation and Stability of Delay Models in Biology; Springer International Publishing: New York, NY, USA, 2014. [Google Scholar]
  4. Santra, S.S.; Ghosh, T.; Bazighifan, O. Explicit Criteria for the Oscillation of Second-Order Differential Equations with Several Sub-linear Neutral Coefficients. Adv. Differ. Equ. 2020, 2020, 643. [Google Scholar] [CrossRef]
  5. Santra, S.S.; Dassios, I.; Ghosh, T. On the asymptotic behavior of a class of second-order non-linear neutral differential Equations with multiple delays. Axioms 2020, 9, 134. [Google Scholar] [CrossRef]
  6. Santra, S.S.; Majumder, D.; Bhattacharjee, R.; Bazighifan, O.; Khedher, K.M.; Marin, M. New Theorems for Oscillations to the Differential Equations with Mixed Delays. Symmetry 2021, 13, 367. [Google Scholar] [CrossRef]
  7. Bazighifan, O.; Scapellato, A. Oscillatory properties of even-order ordinary differential equations with variable coefficients. Miskolc Math. Notes 2020, 21, 641–652. [Google Scholar] [CrossRef]
  8. Santra, S.S.; Bazighifan, O.; Ahmad, H.; Chu, Y.-M. Second-Order Differential Equation: Oscillation Theorems and Applications. Math. Probl. Eng. 2020, 2020, 8820066. [Google Scholar] [CrossRef]
  9. Santra, S.S.; Bazighifan, O.; Ahmad, H.; Yao, S.-W. Second-Order Differential Equation with Multiple Delays: Oscillation Theorems and Applications. Complexity 2020, 2020, 8853745. [Google Scholar] [CrossRef]
  10. Tripathy, A.K.; Santra, S.S. Characterization of a class of second-order neutral impulsive systems via pulsatile constant. Differ. Equ. Appl. 2017, 9, 87–98. [Google Scholar] [CrossRef] [Green Version]
  11. Tripathy, A.K.; Santra, S.S. Necessary and Sufficient Conditions for Oscillation of a Class of second-order Impulsive Systems. Differ. Equ. Dyn. Syst. 2018. [Google Scholar] [CrossRef]
  12. Santra, S.S.; Tripathy, A.K. On oscillatory first order nonlinear neutral differential equations with nonlinear impulses. J. Appl. Math. Comput. 2019, 59, 257–270. [Google Scholar] [CrossRef]
  13. Santra, S.S.; Khedher, K.M.; Moaaz, O.; Muhib, A.; Yao, S.W. Second-order Impulsive Delay Differential Systems: Necessary and Sufficient Conditions for Oscillatory or Asymptotic Behavior. Symmetry 2021, 13, 722. [Google Scholar] [CrossRef]
  14. Santra, S.S.; Khedher, K.M.; Yao, S.W. New Aspects for Oscillation of Differential Systems with Mixed Delays and Impulses. Symmetry 2021, 13, 780. [Google Scholar] [CrossRef]
  15. Tripathy, A.K.; Santra, S.S. Necessary and sufficient conditions for oscillations to a second-order neutral differential equations with impulses. Kragujev. J. Math. 2021, 47, 81–93. [Google Scholar]
  16. Bazighifan, O.; Ruggieri, M.; Scapellato, A. An Improved Criterion for the Oscillation of Fourth-Order Differential Equations. Mathematics 2020, 8, 610. [Google Scholar] [CrossRef]
  17. Bazighifan, O.; Ruggieri, M.; Santra, S.S.; Scapellato, A. Qualitative Properties of Solutions of Second-Order Neutral Differential Equations. Symmetry 2020, 12, 1520. [Google Scholar] [CrossRef]
  18. Berezansky, L.; Braverman, E. Oscillation of a linear delay impulsive differential equations. Commun. Appl. Nonlinear Anal. 1996, 3, 61–77. [Google Scholar]
  19. Diblik, J.; Svoboda, Z.; Smarda, Z. Retract principle for neutral functional differential equation. Nonlinear Anal. Theory Methods Appl. 2009, 71, 1393–1400. [Google Scholar] [CrossRef]
  20. Santra, S.S.; Alotaibi, H.; Bazighifan, O. On the qualitative behavior of the solutions to second-order neutral delay differential equations. J. Ineq. Appl. 2020, 2020, 256. [Google Scholar] [CrossRef]
  21. Tripathy, A.K. Oscillation criteria for a class of first order neutral impulsive differential-difference equations. J. Appl. Anal. Comput. 2014, 4, 89–101. [Google Scholar]
  22. Berezansky, L.; Domoshnitsky, A.; Koplatadze, R. Oscillation, Nonoscillation, Stability and Asymptotic Properties for Second and Higher Order Functional Differential Equations; Chapman & Hall/CRC Press: Boca Raton, FL, USA, 2020. [Google Scholar]
  23. Li, T.; Pintus, N.; Viglialoro, G. Properties of solutions to porous medium problems with different sources and boundary conditions. Z. Angew. Math. Phys. 2019, 70, 1–18. [Google Scholar] [CrossRef] [Green Version]
  24. Agarwal, R.P.; Bohner, M.; Li, T.; Zhang, C. A new approach in the study of oscillatory behavior of even-order neutral delay differential equations. Appl. Math. Comput. 2013, 225, 787–794. [Google Scholar]
  25. Agarwal, R.P.; Zhang, C.; Li, T. Some remarks on oscillation of second order neutral differential equations. Appl. Math. Comput. 2016, 274, 178–181. [Google Scholar] [CrossRef]
  26. Bohner, M.; Hassan, T.S.; Li, T. Fite-Hille-Wintner-type oscillation criteria for second-order half-linear dynamic equations with deviating arguments. Indag. Math. 2018, 29, 548–560. [Google Scholar] [CrossRef]
  27. Bohner, M.; Li, T. Oscillation of second-order p-Laplace dynamic equations with a nonpositive neutral coefficient. Appl. Math. Lett. 2014, 37, 72–76. [Google Scholar] [CrossRef]
  28. Chatzarakis, G.E.; Grace, S.R.; Jadlovská, I.; Li, T.; Tunç, E. Oscillation criteria for third-order Emden-Fowler differential equations with unbounded neutral coefficients. Complexity 2019, 2019, 5691758. [Google Scholar] [CrossRef]
  29. Chiu, K.-S.; Li, T. Oscillatory and periodic solutions of differential equations with piecewise constant generalized mixed arguments. Math. Nachr. 2019, 292, 2153–2164. [Google Scholar] [CrossRef]
  30. Džurina, J.; Grace, S.R.; Jadlovská, I.; Li, T. Oscillation criteria for second-order Emden-Fowler delay differential equations with a sublinear neutral term. Math. Nachr. 2020, 293, 910–922. [Google Scholar] [CrossRef]
  31. Li, T.; Rogovchenko, Y.V. Oscillation of second-order neutral differential equations. Math. Nachr. 2015, 288, 1150–1162. [Google Scholar] [CrossRef] [Green Version]
  32. Li, T.; Rogovchenko, Y.V. Oscillation criteria for even-order neutral differential equations. Appl. Math. Lett. 2016, 61, 35–41. [Google Scholar] [CrossRef]
  33. Li, T.; Rogovchenko, Y.V. Oscillation criteria for second-order superlinear Emden-Fowler neutral differential equations. Monatsh. Math. 2017, 184, 489–500. [Google Scholar] [CrossRef]
  34. Li, T.; Rogovchenko, Y.V. On the asymptotic behavior of solutions to a class of third-order nonlinear neutral differential equations. Appl. Math. Lett. 2020, 105, 106293. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Santra, S.S.; Sethi, A.K.; Moaaz, O.; Khedher, K.M.; Yao, S.-W. New Oscillation Theorems for Second-Order Differential Equations with Canonical and Non-Canonical Operator via Riccati Transformation. Mathematics 2021, 9, 1111. https://doi.org/10.3390/math9101111

AMA Style

Santra SS, Sethi AK, Moaaz O, Khedher KM, Yao S-W. New Oscillation Theorems for Second-Order Differential Equations with Canonical and Non-Canonical Operator via Riccati Transformation. Mathematics. 2021; 9(10):1111. https://doi.org/10.3390/math9101111

Chicago/Turabian Style

Santra, Shyam Sundar, Abhay Kumar Sethi, Osama Moaaz, Khaled Mohamed Khedher, and Shao-Wen Yao. 2021. "New Oscillation Theorems for Second-Order Differential Equations with Canonical and Non-Canonical Operator via Riccati Transformation" Mathematics 9, no. 10: 1111. https://doi.org/10.3390/math9101111

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