New Sufﬁcient Conditions for Oscillation of Second-Order Neutral Delay Differential Equations

: In this work, new sufﬁcient conditions for the oscillation of all solutions of the second-order neutral delay differential equations with the non-canonical operator are established. Using a generalized Riccati substitution, we obtained criteria that complement and extend some previous results in the literature.


Introduction
Delay differential equation (DDE), as a branch of functional differential equations (FDEs), takes into account the system's past, allowing for more accurate and efficient future prediction while also describing certain qualitative phenomena. Accordingly, this was a major incentive to study the qualitative properties of the solutions of these equations. In 1964, El'sgol'c laid out many of the foundations for the study of the qualitative methods of DEs in the book [1], and the substantially expanded edition of this book by El'sgol'c and Norkin [2] in 1964. On the other hand, the oscillatory theory of FDEs is a part of the qualitative theory of FDEs, which is concerned with the oscillatory and non-oscillatory properties of solutions. The interesting book by Györi and Ladas [3] summarizes some important work in this area, especially the relation between the distribution of the roots of characteristic equations and the oscillation of all solutions. Erbe et al. [4] contributed significantly to the development of the theory of oscillation and also dealt with some important topics such as estimates of the distance between zeros, and oscillation of equations with nonlinear neutral terms.
A neutral DDE is a DDE in which the highest order derivative of the solution appears both with and without delay. This type of equation appears in many electronic applications and physical problems, see [5].
This work is concerned with studying the oscillatory properties of the second-order neutral DDE r(s) z (s) where s ≥ s 0 and z(s) := x(s) + p 0 x(θ(s)).
Throughout this paper, we will assume the following: (H1) α is a quotient of odd positive integers; (H2) r ∈ C([s 0 , ∞), (0, ∞)), p 0 ≥ 0, and ∞ s 0 For a proper solution of (1), we purpose a function x ∈ C([s x , ∞), R), s x ≥ s 0 , which satisfies (1) on [s x , ∞), has the property z(s) and r(z ) α are continuously differentiable for s ∈ [s x , ∞), and satisfies sup{|x(s)| : s * ≤ s} > 0 for every s * ≥ s x . If x is neither eventually positive nor eventually negative, then x is called an oscillatory solution, otherwise it is called a non-oscillatory solution. Equation (1) is said to be oscillatory if all its solutions oscillate.
By using the Riccati technique, Liu et al. [9] and Wu et al. [10] got the oscillation criteria for neutral DDE Baculiková and Džurina [11] and Moaaz et al. [12] considered the neutral DDE where β is a quotient of odd positive integers, obtaining the criteria for oscillation under the conditions (5) and (6). For the non-canonical case, which is (2) holds, Džurina and Jadlovská [13] established oscillation criteria for the DDE In [14,15], Chatzarakis et al. presented the oscillation results for the advanced case ϑ(s) ≥ s. By many different techniques and approaches, Agarwal et al. [16], Bohner et al. [17], and Moaaz et al. [18,19] established criteria for oscillation of (7), or special cases of it, in the non-canonical case. This development in the study of oscillation of second-order DDEs was followed by a great development in the study of even-order equations. The, works [20][21][22] extended the results of second-order equations on the even-order, especially fourth-order.
In this paper, we study the oscillatory behavior of solutions to a class of neutral DDEs. By finding a new relationship between the solution x and the corresponding function z, we obtain new oscillation criteria of an iterative nature.
To overcome the assumption p 0 < 1, we combine two forms of (1) and then use the inequalities in the following lemmas. The method used depends on the imposition of two Riccati substitutions, once in the traditional form and the other in the general form, and then obtaining from them the Riccati inequality. Thus, we find criteria that are applicable if p 0 > 1.
Below we present some lemmas that will be necessary to prove our main results.

Main Results
For simplicity, we will denote the set of all eventually positive solutions of (1) by X + . Moreover, assuming θ0 := s, θk := θ • θ k−1 , for k = 1, 2, . . . and The set of all solutions x whose corresponding function z satisfies z(s)z (s) < 0, is denoted by K. In the following theorems, we obtain new criteria for the non-existence of solutions in the class K.

Theorem 1. If there exist an odd integer n and a function
and lim sup then K = ∅.

Conclusions
Using a different approach, this paper deals with the problem of finding oscillation conditions for a class of neutral DDEs. We obtained criteria of an iterative nature that enable us to apply them to a wider area of equations. Then, using two Riccati substitutions, we get new criteria for oscillation of the studied equation, which can be used if condition (9) is not satisfied. It would be interesting to extend the obtained results to the more general superlinear equation r(s) (x(s) + p(s)x α (θ(s))) β + q(s)x γ (ϑ(s)) = 0, where β and γ are quotient of odd positive integers.