Oscillatory Properties of Fourth-Order Advanced Differential Equations

: This paper presents a study on the oscillatory behavior of solutions to fourth-order advanced differential equations involving p -Laplacian-like operator. We obtain oscillation criteria using techniques from ﬁrst and second-order delay differential equations. The results of this work contribute to a deeper understanding of fourth-order differential equations and their connections to various branches of mathematics and practical sciences. The ﬁndings emphasize the importance of continued research in this area.

Advanced differential equations include several applications in optimization, dynamical systems, and simulation techniques of engineering problems, including power systems, control mechanisms, networking, and nanomaterials (see Hale's book [19]).The importance of p-Laplace equations appears in several applications in the theory of elasticity as well as in the theory of continuum mechanics, see [20][21][22].We recommend the publications of Li-Baculikova-Dzurina-Zhang [23] for some findings on the oscillatory behavior of equations resulting from a p-Laplace differential operator as well as the papers of Liu-Zhang-Yu [24], and Zhang-Agarwal-Li [25].
Therefore, the purpose of this study is to supplement previous work by focusing on the results in [4,26,27].Using the integral averaging technique (see, for example, Xu-Xia [28]), together with the Riccati transformation technique (see, for example, Zhang-Li-Saker [29]) and comparison method with second-order differential equations, we obtain new criteria for the oscillation of Equation (1).We point out that when all the solutions of (1) are oscillatory, then the equation itself is called oscillatory; otherwise (1) is said non-oscillatory.

Auxiliary Results-Hypotheses
In this section, we summarize significant information and supplementary results from the literature that will be useful for the remainder of the paper.Additionally, we establish the notation used.
The definition below pertains to the non-oscillatory behavior of a second-order differential equation.We will utilize this definition in the technique of comparing with second-order differential equations to prove our second theorem.Now, we take into account the following sets: ) is said to be of class , if the following conditions hold: (i) H i (t, t) = 0 for t ≥ t 0 , and H i (t, s) > 0 for (t, s) ∈ D 0 , with i = 1, 2; (ii) there exist η, ϑ ∈ C 1 ([t 0 , ∞), (0, ∞)) and (h 1 , h 2 ) ∈ C(D, R) × C(D, R) such that: whenever the partial derivatives ∂H i ∂s , i = 1, 2, are continuous and nonpositive on D 0 .
Our goal here, as stated in the introduction, is to supplement findings in [4,26,27].Therefore, we discuss in detail all these findings.
We point out that Li-Baculikova-Dzurina-Zhang [23], applied the Riccati transformation along with the integral averaging method, and concentrated on the way how the following equations oscillate In Park-Moaaz-Bazighifan [30], the Riccati method leads to important and sufficient conditions for the oscillation of In Zhang-Agarwal-Bohner-Li [5] and C. Zhang-Li-Sun-Thandapani [6], the method of comparison was applied along with first order equations in order to establish that all the solutions u of are oscillating or that lim t→∞ u(t) = 0 holds whenever δ(t) ≤ t, α ≤ β (with α, β being ratios of odd positive integers), and ω is even.
For the special case when β = α, Zhang-Li-Saker [29] obtained several results illustrating the findings on the asymptotic behavior of (4), with ω = 4. Agarwal-Grace [26] and Agarwal-Grace-O'Regan [27] considered the canonical even-order nonlinear advanced differential equation using Riccati transformation method, where they provided several oscillatory results for (5) where δ(t) ≥ t, ω is even and β is the ratio of odd non-negative integers.
For β = 1, Equation ( 5) becomes Now, Grace-Lalli [4] proved oscillatory theorems for (6) in the case where ω is even and under the condition We point out that applying the above-mentioned theorems to in the case where ω = 4 and ρ = 2, then the hypotheses in [4,26,27] on (7) lead to show that the results in [27] improve the corresponding ones in [4].Furthermore, the results in [26] refine the results in [4,27].Finally, we mention a few tools that will come in handy as the paper progresses.
The following lemma encapsulates the scenarios to be examined in the demonstrations of our results.

Main Results
The first result of the paper introduces a theorem that employs the integral averaging technique to apply Philos-type oscillation criteria to Equation (1).
Proof.Arguing by contradiction, we suppose that u ∈ C 3 ([t u , ∞), R) is a positive solution of (1).So, we assume that u(t) and u(δ(t)) are positive for all t ≥ t 1 large enough.Now, we distinguish the following three cases (see Lemma 3): Case 1.If (S 1 ) holds, then by Lemma 1, we have , for all θ ∈ (0, 1), t large enough. Putting we note that ϕ(t) > 0 for t ≥ t 1 and we have By (11) and ( 12), we deduce that The equation in (1), and (13) give Since u (t) > 0 and δ(t) ≥ t, we get Next, we multiply both sides of ( 14) by H 1 (t, s), then we integrate each side over the interval [t 1 , t], So, we have Using (2) (that is, the first equation of Definition 1 (ii)), we deduce that If we apply the inequality given in Remark 1 for , we obtain that (H 1 (t, s)kη(s)q(s) − π(s))ds ≤ ϕ(t 1 ), a contradiction to (8).Case 2. If (S 2 ) holds, for t ≥ t 1 , we have > 0 (with ϑ given as in (H3)), If we integrate the equation in (1) over the interval [t, m] and use u (t) > 0, then Since u (t) > 0 and δ(t) ≥ t, we obtain that ∞ t q(s)ds (passing to the limit as m → ∞), . Now, we integrate over the interval [t, ∞), so that we have Next, we multiply both sides of ( 17) (with v = s) by H 2 (t, s), then we integrate each side over the interval [t 1 , t], So, we have Using (3) (that is, the second equation of Definition 1 (ii)), we deduce that Now, we multiply both sides by [a 1/(p−1) (s)] −1 , then we integrate each side over the interval [t, m].Thus, we get ⇒ u (t) For t ≥ t 1 , we have Using the equation in (1), then (18) gives Using (19) we get . Then, we obtain that From ( 18) and ( 20), we deduce that Now, we multiply both sides of ( 22) (with v = s) by ζ p−1 (s), then we integrate over the interval [t 1 , t].So, we obtain that It follows that If we apply the inequality given in Remark 1 for we obtain that )φ(t 1 ) + 1, (by ( 23)).
The next finding of the work is a theorem that establishes oscillation criteria to Equation (1).For this purpose, we apply the technique of comparison with second-order differential equations.
Proof.Arguing by contradiction, we suppose that u ∈ C 3 ([t u , ∞), R) is a positive solution of (1).So, we assume that u(t) and u(δ(t)) are positive for all t ≥ t 1 large enough.Now, we distinguish the following three cases (see Lemma 3): Case 1.If (S 1 ) holds, then using the same arguments as in the proof of Theorem 1 (Case 1), we get that the inequality ( 14) is true.Putting η(t) = k = 1, from ( 14) we deduce that is non-oscillatory, a contradiction to hypothesis (H5).Case 2. If (S 2 ) holds, then proceeding with a similar statement as in the proof of Theorem 1 (Case 2), we get that the inequality ( 17) is true.From (17), with ϑ(t) = k = 1, we deduce that ψ (t) + ψ 2 (t) + (s)ς ≤ 0 ⇒ (25) is non-oscillatory, a contradiction to hypothesis (H5).Case 3. If (S 3 ) holds and lim t→∞ u(t) = 0, then proceeding with a similar statement as in the proof of Theorem 1 (Case 3), we get that the inequality ( 22) is true.So, we have a contradiction to hypothesis (H5).We conclude that u ∈ C 3 ([t u , ∞), R) can not be a positive solution.It follows that every solution u ∈ C 3 ([t u , ∞), R) of ( 1) is either oscillatory or satisfies lim t→∞ u(t) = 0.
It is worth mentioning that the existence and regularity of the solution in Theorem 1 and Theorem 2 have been proven by Philos in [2].
Next, we provide a simple illustrative example.
Remark 2. There is an interesting open problem concerning the above equation:

•
Is it possible to have similar results in the case p 2 > p 1 ?

Conclusions
In conclusion, this study aimed at investigating the oscillatory properties of solutions to fourth-order differential equations with a p-Laplacian.The findings of this paper contribute to the understanding of the asymptotic and oscillatory behavior of such equations and provide new oscillation criteria through the use of comparison methods with first and second-order differential equations.This work highlights the relevance of the theory of fourth-order differential equations to various fields of mathematics and practical sciences, emphasizing the importance of continued research in this area.