Investigation of the Oscillatory Properties of Solutions of Differential Equations Using Kneser-Type Criteria

: This study investigates the oscillatory properties of a fourth-order delay functional differential equation. This study’s methodology is built around two key tenets. First, we propose optimized relationships between the solution and its derivatives by making use of some improved monotonic features. By using a comparison technique to connect the oscillation of the studied equation with some second-order equations, the second aspect takes advantage of the signiﬁcant progress made in the study of the oscillation of second-order equations. Numerous applications of functional differential equations of the neutral type served as the inspiration for the study of a subclass of these equations.

The great development witnessed by various sciences has been accompanied by many nonlinear mathematical models.However, it is difficult to find solutions to these models using traditional methods.Therefore, researchers resort to obtaining approximate solutions through numerical methods, or studying the properties of the solutions of these equations.
Many biological, chemical, and physical phenomena have mathematical models that use differential equations of the fourth-order delay.Examples of these applications include soil settlement and elastic issues.The oscillatory traction of a muscle, which takes place when the muscle is subjected to an inertial force, is one model that can be modeled using a fourth-order oscillatory equation with delay.
The qualitative study of differential equations contributes significantly to understanding and analyzing phenomena and problems without obtaining solutions.Qualitative studies have been developed in many theoretical and numerical ways.The qualitative studies include the study of stability, control, oscillation, bifurcation, periodicity, boundedness, and others.
One type of differential equation in which oscillatory behavior is frequent is the class of FDEs.It is known that deviating arguments that express the phenomenon's prior and present times are present in equations of this type when they deal with the aftereffects of life phenomena, which increase the likelihood that oscillatory solutions will exist (see [7]).One of the fundamental subclasses of FDEs is the delayed functional differential equation, also known as the delay differential equation.This type is based on the past and present values of the temporal derivatives, which results in forecasts for the future that are more precise and successful.
Oscillation theory, as one of the branches of qualitative theory, is interested in investigating the asymptotic and oscillatory properties of the solutions of FDEs.Studies in oscillation theory began by relating the oscillatory behavior of the linear differential equation to complex solutions of the characteristic equation, see [8,9].Then, many methods and techniques have been developed that investigate the oscillatory behavior of different FDEs, which include delay, advanced, neutral, and mixed, as well as in canonical and noncanonical cases, see [10,11].
Here, we mention the basic definitions and some elementary previous results that we use to prove our results.Next, we review some of the previous results that contributed to the development of the oscillation theory for equations of the middle term and for equations of the fourth order.
In 1979, Onose [12] studied the oscillation of the FDEs under the condition In [13], Grace et al. presented some oscillation conditions for the FDE Wu [14] and Kamo and Usami [15] addressed the oscillatory properties of the equation where α, β ∈ R + .For even-order equations, Zhang et al. [16,17] and Baculikova et al. [18] studied the FDE d dt a 0 (t) where α > 0 is a quotient of odd integers.In [16,17], under the condition Zhang et al. used the Riccati approach, and provided some oscillation criteria for Equation (2) when f (x) = x β , β ≤ α, whereas Baculikova et al. [18] used the comparison technique to test the oscillation of FDE (1), and considered the two cases (3) and For equations with a middle term, Grace [19] inspected the oscillatory behavior of the FDE d dt In [20], Saker et al. obtained Kamenev-type criteria for FDE (4), and improved results in [19].Tunc and Kaymaz [21] studied the neutral FDE where z(t) = x(t) + a 3 (t)x(h(t)), and h(t) ≤ t.Graef et al. [22] studied the oscillation of the mixed neutral FDE under the condition where where : ∈ (0, 1)   and Using the comparison method with second-order equations, Elabbasy et al. [24] studied the oscillation of FDE (1) when φ(u) = u.
For convenience, we define

Monotonic Properties of Solutions in [C1]
In the following, we deduce some monotonic properties of the solutions in [C1] and their derivative.
Proof.Assume that x satisfies [C1] for t ≥ t 1 ∈ I. From FDE (1), we have d dt Thus, This leads to d dt Next, using this fact, we obtain which in turn gives d dt Similarly, we obtain d dt The proof is complete.

Comparison Theorem
The comparison technique is usually used to benefit from the development of oscillation criteria for solutions to first-and second-order equations.This is acheived by linking the oscillation of higher-order equations to one or more equations of the first or second order.This technique relies primarily on the relationships between the solution and the derivatives of the second and third orders, so improving these relationships is reflected in turn in improving the results derived from the use of the comparison technique.In the following theorem, we use a comparison approach to relate the oscillation of FDE (1) with a pair of equations of the second order.Theorem 3. Assume that p ≥ 2. FDE ( 1) is oscillatory if the second-order FDEs and are oscillatory.
Proof.Based on the converse hypothesis, we assume that FDE (1) has a nonoscillatory solution, which in turn inevitably leads to the existence of an eventually positive solution to this equation.Therefore, there is a From Lemma 2, we have Since x/A 2 is nonincreasing, we have that which, with (12), gives Thus, (11) becomes d dt a 0 (t) a(t) From Lemma 2, we obtain Combining ( 13) and ( 14), we arrive at d dt x (g(t)) ≤ 0. Now, if we set w := x > 0, then w is a positive solution of the inequality d dt a 0 (t) a(t) Using Corollary 1 in [26], the corresponding FDE ( 9) also has a positive solution; this is a contradiction.Next, suppose first that x satisfies [C2].Multiplying FDE (1) by 1/ a(t), we find d dt Integrating (15) from t to ∞, we obtain and then Then, x is a positive solution of this inequality.Using Corollary 1 in [26], the corresponding FDE (10) also has a positive solution; this is a contradiction.
The proof is complete.
Proof.Based on the converse hypothesis, we assume that FDE (1) has a nonoscillatory solution, which in turn inevitably leads to the existence of an eventually positive solution to this equation.Therefore, there is a As in the proof of Theorem 3, the second-order FDEs ( 9) and ( 10) have positive solutions.However, according to Theorem 1, conditions ( 16) and ( 17) confirm the oscillation of FDEs ( 9) and (10), respectively, which is a contradiction.The proof is complete.
The following corollary is obtained directly by setting p = 2 and a 0 (t) = 1.This corollary studies the oscillation of the linear state of FDE (1).
Thus, using Corollary 1, FDE ( 18) is oscillatory if To compare the two criteria ( 19) and ( 22), we consider different values of parameter λ and determine the most efficient criterion through the following table.
We notice from Table 1 that Criterion (19) provides wider intervals for the parameter c 0 , and this means that it is more efficient in testing the oscillation.

Conclusions
Based on the comparison principle with equations of the second order, we established a new criterion of the Kneser type that confirms the oscillation of all solutions of fourthorder half-linear differential equations.After classifying the positive solutions according to their derivatives, we excluded the existence of positive solutions in each case separately.Then, we obtained a criterion that ensures the oscillation of the solutions to DE (1).By applying the new results to some examples and special cases, we clarified the importance of the new results.Extending our results to the neutral case is a suggested research point.Also, improving the monotonic properties of the studied equation can improve the oscillation criteria.