Fourth-Order Neutral Differential Equation: A Modiﬁed Approach to Optimizing Monotonic Properties

: In this article, we investigate some qualitative properties of solutions to a class of functional differential equations with multi-delay. Using a modiﬁed approach, we ﬁrst derive a number of optimized relations and inequalities that relate the solution x ( s ) to its corresponding function z ( s ) and its derivatives. After classifying the positive solutions, we follow the Riccati approach and principle of comparison, where fourth-order differential equations are compared with ﬁrst-order differential equations to obtain conditions that exclude the positive solutions. Then, we introduce new oscillation conditions. With regard to previous relevant results, our results are an extension and complement to them. This work has theoretical signiﬁcance in that it uncovers some new relationships that aid in developing the oscillation theory of higher-order equations in addition to the applied relevance of neutral differential equations.


Introduction
Diverse areas of pure and applied mathematics, physics, and engineering all involve the study of differential equations (DEs); these disciplines are all interested in the characteristics of various forms of DEs.Applied and pure mathematics emphasize the existence and uniqueness of solutions, as well as the precise justification of the methods for approximate solutions.Nearly every physical, technological, or biological process, including celestial motion, bridge design, and neuron interactions, is modeled in large part using DEs.DEs that are intended to address real-world issues may not always be directly solved; for instance, they may lack closed-form solutions.Alternative methods to this include approximating the results using numerical techniques [1].
Understanding these problems and events requires knowing how these equations are solved.However, DEs used to address real-world issues may not always be directly solvable, that is, they may not have closed-form solutions (see [2,3]).For this reason, the study of the qualitative theory, which is concerned with differential equation behavior through methods other than finding solutions, has been highly utilized.It evolved from Henri Poincaré's and Alexandre Lyapunov's works.Although there are relatively few DEs that can be solved directly, one can "solve" them in a qualitative sense by employing techniques from analysis and topology to learn more about their characteristics [4].
Fourth-order delay DEs are used to numerically depict biological, chemical, and physical phenomena.Problems of elasticity, the deformation of structures, or soil settlement are a few examples of these applications.A fourth-order oscillatory equation with delay can be used to simulate the oscillatory traction of a muscle, which occurs when the muscle is subjected to an inertial force [5].
In the theory of linear DEs, the oscillation theory has numerous significant applications.It can be used, for instance, to examine the stability of solutions to linear DEs.The theorem can be used, in particular, to demonstrate the lack of nontrivial solutions that converge to zero as time reaches infinity.In order to analyze eigenvalue problems, the oscillation theorem is very useful.The Schrodinger equation in quantum physics is one example of a DE whose eigenvalues and eigenfunctions can be studied using the theorem.The oscillation theorem can be used to estimate the number of eigenvalues present in a particular interval and to learn more about how eigenfunctions behave [6,7].
As a solution to (1), we represent a real-valued function x that is four times differentiable and satisfies (1) for all sufficiently large s.Our attention is restricted to those solutions of (1) that satisfy the condition sup{|x(s)| : s ≥ U} > 0, for all U ≥ s 0 .A solution x to (1) is referred to as oscillatory or non-oscillatory depending on whether it is essentially positive or negative.If all of the solutions to an equation oscillate, the equation is said to be oscillatory.
In order to understand the asymptotic and oscillatory behavior of solutions to neutral DEs, it is crucial to understand the relationship between the solution x and its associated function z.The authors were able to determine a number of additional criteria that simplified and enhanced their previous research findings as a result of this relationship.
We now list some of the relationships that have been inferred in the literature.
For the second order, in the canonical case, the usual relationship is typically employed, and in the noncanonical case, the relationship is usually used (see [21,22]).Moaaz et al. [23] took into account the oscillatory behavior of r(s) z (s) where β is a quotient of odd positive integers and ∈ Z + .As an improvement to (3), they offered the following relationships: , for p > 1 and n ∈ Z + is even, and , for p < 1, and n ∈ Z + is odd, where τ [h] (s) = τ τ [h−1] (s) , for h = 1, 2, . . ., 2m.
In their study of the equation (r(s)(z (s)) γ ) + q(s)x γ (σ(s)) = 0, Bohner et al. [25] created the new relation where where τ [0] (s) = s and τ [j] (s) = τ τ j−1 (s) for all j ∈ N, which is an improvement of (4).Also, they added additional oscillation criteria that, in essence, improve a number of pertinent criteria from the literature.In order to oscillate for the solutions to neutral nonlinear even-order DEs with variable coefficients of the form where f (x) is a continuous function, several sufficient conditions are found by Zhang et al. [26].Agarwal et al. [27] studied the oscillatory behavior of the equation and created criteria that improve the results published in the literature.Moaaz et al. [28] tested the oscillation of (r(s)(z (s)) γ ) + q(s)x γ (σ(s)) = 0.
Using an iterative method, they were able to develop a new criterion for the nonexistence of the so-called Kneser solutions.Also, they employed a variety of techniques to find various criteria.Using the relation they improved (3).By using some inequalities and the Riccati transformation method, Muhib et al. [29] established some improved criteria for the equation without necessitating the existence of unknown functions; where β is a quotient of odd positive integers. and where dv, Q := min q j (s) for j = 1, 2, . . ., , . Then, (8) is oscillatory.
They found new properties that enable them to use more effective terms.To obtain criteria that excluded the positive decreasing solutions, they used the general form of Riccati and the comparison approach.
Lemma 1 ([31]).Assume that φ ∈ C n ([s 0 , ∞), (0, ∞)).If the derivative φ (n) (s) is eventually of one sign for all large s, then there exists an s x such that s x ≥ s 0 and an integer l, 0 ≤ l ≤ n, with n + l even for φ (n) (s) ≥ 0, or n + l odd for φ Lemma 2 ([32]).Let γ be a ratio of two odd positive integers.Then For multi-delay functional DEs, we refer to some qualitative aspects of solutions.We begin by deriving a set of optimized relations and inequalities that connect the solution x(s) to its corresponding function z(s) and its derivatives using a modified methodology.Once the positive solutions have been categorized, we use the Riccati technique and the comparison, where fourth-order DEs are compared with first-order DEs to create criteria that exclude the positive solutions.Then, we provide new oscillation conditions.The new results add to and complete the previous relevant results.In addition to the practical value of neutral DEs, this study has theoretical value in that it uncovers some novel relationships that help advance the oscillation theory of higher-order equations.
In order to obtain the cases (1) and ( 2) for the function z(s) and its derivatives, we use Lemma 2.2.1 in [33].
Remark 1.By using the notation B 1 , we can identify the class of all eventually positive solutions whose corresponding functions satisfy Case (1).
This implies z (s) Applying this information, we determine that Hence, This completes the proof.
Proof.Assume that x ∈ B 1 and that p 0 < 1.We determine that As a result, (13) becomes which, when combined with (1), yields (19).Conversely, suppose that p 0 > 1.The definition of z(s) implies that , and so on.As a result, we arrive at Thus, are the result of the fact that s ≤ τ [−2i+1] (s), z (s) > 0 and (z(s)/π 2 (s)) ≤ 0. Inequality (20) then changes to as a result, which, when combined with (1), yields (19).This completes the proof.Now, using the Riccati approach, we obtain the following theorem: then B 1 = ∅.
Integrating the aforementioned inequality from s 0 to s, we obtain Using Equation ( 21), we encounter a contradiction.This completes the proof.
In the results that follow, the monotonic features of the solutions in class B 1 are enhanced, and better criteria are then reached to support the claim that B 1 = ∅, for which the following notations will be used: Lemma 7. Assume that x ∈ B 1 .Then, eventually, z (s) Proof.Assume that x ∈ B 1 .From (19), we obtain where ω(s) = r 1/γ (s)z (s).By integrating the aforementioned inequality from s 0 to s, we obtain From (18), we obtain Combining ( 26) and ( 27), we obtain Multiplying this inequality by we obtain z (s) Using this fact, we obtain This implies z (s) Hence, Now, the connection (13) becomes x(s) > p(σ(s), m)z(s).
The proof is therefore complete.
Now, using a comparison principle, we obtain the following theorem: for any m ≥ 0, then B 1 = ∅.
Proof.Assume that x ∈ B 1 .From Lemma 7, we arrive at where ω(s) = r 1/γ (s)z (s), just as we had in the proof of Lemma 7. By integrating (31)  twice from s 0 to s, we obtain By changing (32) into (25), we arrive to the conclusion that By setting Ω = r(s)(z (s)) γ , we can show that Ω is a positive solution to the inequality However, condition (30) confirms the oscillation of all solutions to (33), which is in disagreement with [35] (Theorem 2.1.1).The proof is therefore complete.

Application in Oscillation Theory and Discussion
Finding conditions that individually rule out each case of the derivatives of the solution is necessary to determine the oscillation criterion.In this theorem, the criterion for testing oscillation for (1) will be formed by combining the conditions that are obtained to rule out the existence of solutions that satisfy Case (1) with the conditions that are acquired in the literature to rule out Case (2) of the derivatives of the solution.
Proof.Assume that x(s) is to be an eventually positive solution to (1).Lemma 3 has a solution that satisfies either of the possibilities of Case (1) or Case (2).B 1 = ∅ is obtained by applying Theorems 2-4.Case (2) is thus valid.We finally come to a contradiction with (10) in the exact same way as [29] (Theorem 2).This completes the proof.

We define p
It is easy to confirm that p(σ(s), m) = φ.Also, Using Theorem 2 and choosing λ(s) = s 4 , we have Then, B 1 = ∅ if Equation ( 35) is satisfied.Once again, applying Theorem 3, we find that Then, B 1 = ∅ if Equation ( 36) is satisfied.In addition to Theorem 4, we find that B Finally, by applying condition (10) of Theorem 1, we find that Thus, if the conditions ( 35) and (38) are satisfied, then (34) is oscillatory.
On the other hand, using Corollary 2.1 in [36], Equation (39) is oscillatory if q 0 > 109.74.Therefore, our results provide a better criterion for oscillation.With regard to previous relevant results, our results are an improvement and a complement to them.

Conclusions
The classification of positive solutions according to the sign of their derivatives always comes first when examining oscillations for neutral delay DEs.The constraints that disallow each case of derivatives of the solution determine the oscillation criterion.In the oscillation theory of neutral DEs, the relationships between the solution and the corresponding function are crucial.By using the modified monotonic features of positive solutions, we strengthen these relationships.We then developed criteria to demonstrate that Category B 1 has no solutions based on these relationships.Then, to create a set of oscillation criteria, we brought together results from previous studies that had been published in the literature with new relationships and features.Finally, we provided an example and a comparison with previous work to emphasize the importance of the results.This comparison showed how our findings enhance and add to those in [36].Recent scientific work has focused heavily on the characteristics of the solution to fractional DEs.Applying our results to fractional DEs might thus be interesting.