Criteria for Oscillation of Half-Linear Functional Differential Equations of Second-Order

: The present article aims to establish more effective criteria for testing the oscillation of a class of functional differential equations with delay arguments. In the non-canonical case, we deduce some improved monotonic and asymptotic properties of the class of decreasing positive solutions of the studied equation. Depending on both the new properties and the linear representation of the studied equation, we obtain new oscillation criteria. Moreover, we test the effectiveness of the new criteria by applying them to some special cases of the studied equation.


Introduction
It is known that the study of the oscillatory behavior of solutions of differential equations is one of the issues of qualitative theory, which is generally concerned with studying the qualitative properties of solutions of differential equations. In the last decade, there has been a great development in the study of the oscillatory properties of differential equations, see [1][2][3][4][5]. This is because studying the oscillatory and asymptotic behavior of mathematical models facilitates the understanding of these models and helps to study the phenomena described by these models, see [6][7][8][9][10]. In addition, the oscillation theory is rich in interesting theoretical problems that need the tools of mathematical analysis.
Delay differential equations are a type of functional differential equations that take into account the memory of phenomena. Delay differential equations have many physical and engineering applications, for examples of these applications, electrical networks containing lossless transmission lines include soil settlement, elasticity issues, and structure deflection, see [11,12]. Developing a study of the oscillatory behavior of solutions of delay differential equations contributes to understanding and interpreting the behavior of these solutions. In the study of p-Laplace equations, non-Newtonian fluid theory, porous media, and other fields, half-linear equations have many uses, see [13][14][15].
One of the main goals of oscillation theory is to find sufficient conditions to ensure that all solutions of the differential equation oscillate. One of the first monographs dealing with oscillation theory was Ladas et al. [16], which covered the results until 1984. The primary focus of this book is on how deviating arguments affect the oscillation of solutions, but it has not touched upon equations with neutral delay. Among the important works in the theory of oscillation is the book of Gyori and Ladas [17], which made great contributions to the development of linearized oscillation theory and the connection between the oscillation of all solutions and the distribution of the roots of characteristic equations.
Finding criteria for the existence of solutions with specific asymptotic features and estimating the distance between the zeros of oscillatory solutions are additional subjects of importance to the theory of oscillation, and are discussed in [18]. For more results, techniques, and references, monographs [19][20][21][22][23][24] covered and summarized many of the results known in the literature up to the past decade.
In recent years, the development of oscillation theory has emerged significantly through many interesting works. Drábek et al. [25] and Džurina and Jadlovská [26,27] discussed improved criteria for testing the oscillation of delay equations. By introducing a generalized Riccati substitution, Agarwal et al. [28] and Bohner et al. [29] provided criteria for oscillation of neutral equations in the non-canonical case. Grace et al. [30] created the test criteria for oscillation, similar to [29], but in the canonical case. Their method was based on establishing sharper estimates associating a non-oscillatory solution with its derivatives. Moreover, Hindi [31] and Moaaz et al. [32,33] introduced some improved conditions to ensure that all solutions of neutral equations oscillate.
Many problems in the real world where the rate of development depends on both the present and the future can be modeled using advanced differential equations. Hassan [34] investigated the oscillation properties of second-order advanced dynamic equations on time scales. Later, by obtaining the results of the Kamenev type without needing additional conditions, Agarwal et al. [35] improved the results of Hassan [34]. In [36,37], Chatzarakis et al. used a different approach from used in [34,35] and established verifiable and efficient criteria for oscillation of the advanced equation.
In this article, we consider the half-linear delay differential equation where ∈ [ 0 , ∞), κ is a ratio of odd natural numbers, r, q, and g are continuous real functions on [ 0 , ∞), r is a positive and differentiable function, q is non-negative, g is a delay function, i.e., g( ) ≤ , and lim →∞ g( ) = ∞. By a solution of Equation (1), we mean a real function u ∈ C 1 ([ x , ∞)) for some x ≥ 0 , which has the property r · (u ) κ ∈ C 1 ([ x , ∞)) and u satisfies Equation (1) on [ x , ∞). Only solutions that satisfy the condition sup{|u( )| : ≥ * } > 0, for all * ≥ x , will receive our attention. A solution of Equation (1) is called non-oscillatory if it is eventually positive or eventually negative; otherwise, it is called oscillatory.
In this article, we begin by deducing some monotonic properties of the decreasing positive solutions of (1). Next, we use these new properties to pair the behavior of Equation (1) with a linear inequality. Based on this linear inequality, we introduce a new criterion for testing the oscillation of all solutions of Equation (1). The new criterion improves (5) and takes into account the impact of both κ and the delay argument g.

Preliminary Lemmas
In the first lemma, we classify the positive solutions of Equation (1) based on the sign of the derivatives. Then, we put a condition that ensures that the positive solutions are decreasing and also converge to zero. After that, we deduce a set of new monotonically properties for the positive solutions of Equation (1). During the results, we will need the following notations and operators: Moreover, we use Ω + to represent the set of all eventually positive solutions of (1). Finaly, we need the following hypothesis to prove the main results: (H) There is a positive constant c such that φ( ) ≥ κc κ .

Lemma 1.
Eventually, positive solutions to Equation (1) are monotonic, meaning that they are either increasing or decreasing.
We recast Equation (1) as a linear inequality in the next lemma.

Lemma 4. If u ∈ Ω + and (H) holds, then
where Proof. Assume that u ∈ Ω + . By using Lemma 2 we have that u is decreasing and converges to zero. It is easy to notice that First, suppose that κ ≤ 1. By using Lemma 3, we have that (u/A) ≥ 0, and so which implies Combining (1), (11), and (12), we get By a simple computation, we get that (10) holds. Next, we assume that κ > 1. From Lemma 3, we get that (u/A) ≥ 0 and (u/A c ) ≤ 0. Hence, Combining (1), (11), and (13), we get By a simple computation, we get that (10) holds.

Oscillation Theorems
Now, we use our results in the previous section to obtain the criteria of the oscillation for the solutions of (1).

Theorem 1. Assume that (H) holds. Every solution of Equation (1) is oscillatory if
Proof. Assume the contrary that u ∈ Ω + . By using Lemma 4, we have which is equivalent to Applying L[ · ; 1 , ] on inequality (15), we get On the other hand, from Lemma 3, we obtain u/A is increasing, and so A u ≥ −r −1/κ u. Then, the function Ar 1/κ u + u is positive. Moreover, from (16), we note that Ar 1/κ u + u is decreasing. Applying L[ · ; , ∞] on inequality (16), we have From (17) and (18), we find Therefore, which is equivalent to Using the facts that u/A and u are increasing and decreasing, respectively, we conclude that u(g(s)) ≥ u(g( )) for s ≤ g( ) ≤ ,

Theorem 2. Assume that (H) holds. Every solution of Equation (1) is oscillatory if
L[A · Q · (A c • g); g( ), ] Proof. Proceeding as in the proof of Theorem 1, we arrive at (19). Using the facts that u/A and u/A c are increasing and decreasing, respectively, we conclude that Taking lim sup →∞ of (22), we have a contradiction with (21).

Conclusions
It is easy to note the great development in the study of oscillatory behavior and asymptotic properties of solutions of differential equations. This development and interest is due not only to the importance of such studies in many applications in different sciences, but also to the theoretical and analytical importance. In this article, we introduce new oscillation criteria that guarantee the oscillation of all solutions of a class of second-order half-linear delay differential equations. The focus of the study was on the non-canonical case. We obtained new monotonic properties and then used these properties to obtain improved oscillation criteria. It would be interesting to extend the results of this article to the neutral case.