Nothing Special   »   [go: up one dir, main page]
Next Article in Journal
Mathematical Modeling of the Limiting Current Density from Diffusion-Reaction Systems
Next Article in Special Issue
Positive Numerical Approximation of Integro-Differential Epidemic Model
Previous Article in Journal
Logarithm of a Non-Singular Complex Matrix via the Dunford–Taylor Integral
Previous Article in Special Issue
A Probabilistic Approach for Solutions of Deterministic PDE’s as Well as Their Finite Element Approximations
You seem to have javascript disabled. Please note that many of the page functionalities won't work as expected without javascript enabled.
 
 
Search for Articles:
Title / Keyword
Author / Affiliation / Email
Journal
Article Type
 
 
Advanced Search
 
Section
Special Issue
Volume
Issue
Number
Page
 
Journals
Axioms
Volume 11
Issue 2
10.3390/axioms11020052
axioms-logo
Submit to this Journal Review for this Journal Propose a Special Issue
► Article Menu

Article Menu

share Share announcement Help format_quote Cite question_answer Discuss in SciProfiles thumb_up
...
Endorse textsms
...
Comment
first_page
settings
Order Article Reprints
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Neutral Differential Equations of Fourth-Order: New Asymptotic Properties of Solutions

by
Ali Muhib
1,2,
Osama Moaaz
1,3,*,
Clemente Cesarano
3,
Sameh Askar
4 and
Elmetwally M. Elabbasy
1
1
Department of Mathematics, Faculty of Science, Mansoura University, Mansoura 35516, Egypt
2
Department of Mathematics, Faculty of Education—Al-Nadirah, Ibb University, Ibb 70270, Yemen
3
Section of Mathematics, International Telematic University Uninettuno, Corso Vittorio Emanuele II, 39, 00186 Roma, Italy
4
Department of Statistics and Operations Research, College of Science, King Saud University, P.O. Box 2455, Riyadh 11451, Saudi Arabia
*
Author to whom correspondence should be addressed.
Axioms 2022, 11(2), 52; https://doi.org/10.3390/axioms11020052
Submission received: 12 November 2021 / Revised: 4 January 2022 / Accepted: 18 January 2022 / Published: 28 January 2022
(This article belongs to the Special Issue Differential Equations: Theories, Methods and Modern Applications)
Versions Notes

Abstract

:
In this work, we will derive new asymptotic properties of the positive solutions of the fourth-order neutral differential equation with the non-canonical factor. We follow an improved approach that enables us to create oscillation criteria of an iterative nature that can be applied more than once to test oscillation. In light of this, we will use these properties to obtain new criteria for the oscillation of the solutions of the studied equation. An example is given to show the applicability of the main results.

1. Introduction

In this work, we study the oscillatory behavior of solutions of the differential equations of the form
( r ϱ ϕ ‴ ϱ ) ′ + f ( ϱ , u ( θ ( ϱ ) ) ) = 0 .
where ϱ ≥ ϱ 0 and ϕ ϱ   = u ϱ + p ϱ u η ϱ . During this study, we will assume the following conditions are satisfied:
(H1) r ∈ C 1 I 0 ,   R + , r ′ ϱ ≥ 0 , θ ∈ C I 0 , R + , θ ϱ ≤ ϱ , lim ϱ → ∞ θ ϱ = ∞ , I 0 : = ϱ 0 , ∞ and φ 0 ϱ 0 < ∞ , where
φ 0 ϱ : = ∫ ϱ ∞ 1 r ( ϰ ) d ϰ .
(H2) f ∈ C I 0 × R , R and there exists a function h ∈ C I 0 , 0 , ∞ such that f ϱ , u ≥ h ϱ u .
(H3) p , η ∈ C I 0 , R + , η ϱ ≤ ϱ , lim ϱ → ∞ η ϱ = ∞ and φ 2 θ ϱ / φ 2 η θ ϱ > p θ ϱ ≥ 0 .
We say that a real-valued function u ∈ C 3 I u , ϱ u ≥ ϱ 0 , is a solution of (1) if r ( ϕ ‴ ) ∈ C 1 I u , u satisfies (1) on I u , and sup u ϱ : ϱ 1 ≤ ϱ 0 > 0 for every ϱ 1 ∈ I u . A solution of (1) is called oscillatory if it has arbitrarily large zeros on I u ; otherwise, it is called nonoscillatory. The equation itself is called oscillatory if all its solutions oscillate.
Remark 1.
As usual, all occurring functional inequalities are assumed to hold finally, that is, they are satisfied for all ϱ large enough. Moreover, we evaluate some integrals on the extended real line.
Fourth-order differential equations are quite often encountered in mathematical models of various physical, biological, and chemical phenomena. Applications include, for instance, problems of elasticity, deformation of structures, or soil settlement; see [1]. Questions related to the existence of oscillatory and nonoscillatory solutions play an important role in mechanical and engineering problems. In natural science and technology, neutral differential equations have a wide range of applications. They are often employed, for example, in the study of distributed networks with lossless transmission lines (see Hale [2]).
Many investigations on the oscillation and non oscillation of solutions of various types of neutral functional differential equations have been conducted in recent years. Because there is such a wide collection of relevant work on this topic, the reader is recommended to monographs [3,4,5,6,7,8,9,10,11,12,13,14,15,16,17] for a summary of numerous significant oscillation results.
In the following, we show some previous results in the literature.
Many authors in [7,8,9] studied the asymptotic properties of the solutions of equation
r ϱ u n − 1 ϱ α ′ + q ϱ u β θ ϱ = 0 ,
where r ′ ϱ > 0 and
∫ ϱ 0 ∞ r − 1 / α s d s = ∞ .
In [10,11], Zhang et al. studied the oscillation of (3) under the assumption that
∫ ϱ 0 ∞ r − 1 / α s d s < ∞ .
El-Nabulsi et al. [12] investigated the oscillation properties of solutions to the fourth-order nonlinear differential equations
r ϱ u ‴ ϱ α ′ + q ϱ f u θ ϱ = 0 ,
where f ϕ / ϕ α ≥ k > 0 , for ϕ ≠ 0 and (4) holds Zhang et al. [13] and Moaaz et al. [14] studied the oscillation of (6) under the condition (5). By using the technique of comparison with first order delay equations, Xing et al. [15] established some oscillation theorems for equation
r ϱ ϕ n − 1 ϱ α ′ + q ϱ u α θ ϱ = 0 ,
under the condition (4). Chatzarakis et al. [16] established some oscillation criteria for neutral differential equation
r ϱ ϕ ‴ ϱ α ′ + ∫ a b q ϱ , s f u θ ϱ , s d s = 0 ,
under the assumption (4). Very recently, By using Riccati transform, Dassios and Bazighifan [17] proved that the fourth-order nonlinear differential equation
r ϱ ϕ ‴ ϱ α ′ + q ϱ u α θ ϱ = 0
is almost oscillatory, under the condition (5).
On the other hand, there are other techniques for studying the oscillatory behavior of differential equations by analysis of the characteristic equation and its roots. For example very recently Pedro in [18] obtains sufficient conditions under which the system has at least a nonoscillatory solution, based on the form of the system matrices, are obtained via the analysis of the characteristic equation. Also in [19] the numerical controllability of an integro-differential equation is briefly discussed. Additionally, the authors consider as key-tools: the Laplace transform, the Mittag-Leffler matrix function and the iterative scheme.
Our results here is based on creating new comparison theorems that compare the 4th-order equation with first-order delay differential equations. We establish new oscillation criteria for a class of fourth-order neutral differential equations. This new results improves a number of results reported in the literature. Example is provided to illustrate the main results.
Lemma 1
([5]). Assume that w ∈ C n I 0 , R + , w n is of one sign, eventually. Then, there exist a ϰ w ∈ I 0 and κ ∈ 0 , n is integer, with − 1 n + κ w n ϰ ≥ 0 such that
κ > 0 give w k ϰ > 0 , for k = 0 , 1 , … , κ − 1
and
κ ≤ n − 1 give − 1 κ + k w k ϰ > 0 for k = κ , κ + 1 , … , n − 1 ,
for all ϰ ∈ I w .

2. Main Results

For brevity, we define the operators φ κ by
φ 0 ρ : = ∫ ρ ∞ r − 1 ϰ d ϰ , φ κ ρ : = ∫ ρ ∞ φ κ − 1 ϰ d ϰ , for κ = 1 , 2 .
Lemma 2.
Assume that u ( ϱ ) ∈ C ϱ 0 , ∞ , 0 , ∞ is a solution of (1). Then ϕ ϱ > 0 , r ϱ ϕ ‴ ϱ ′ ≤ 0 , and one of the following cases holds, for ϱ ∈ ϱ 1 , ∞ , ϱ 1 ≥ ϱ 0 :
A ϕ ′ ( ϱ ) , ϕ ‴ ( ϱ ) are positive and ϕ 4 ( ϱ ) is negative ; B ϕ ′ ( ϱ ) , ϕ ″ ( ϱ ) are positive and ϕ ‴ ( ϱ ) is negative;
C − 1 α ϕ α ϱ are positive for all α = 1 , 2 , 3 .
Proof. 
Assume that u is an eventually positive solution of (1). Then, there exists ϱ 1 ≥ ϱ 0 such that u ϱ , u η ϱ and u θ ϱ are positive for all ϱ ≥ ϱ 1 .Hence, we see that ϕ ϱ > 0 for ϱ ≥ ϱ 1 . It follows from (1) that r ϱ ϕ ‴ ϱ ′ ≤ 0 . Now, using Lemma 1 with n = 4 , we readily get the cases ( A ) – ( C ) . □
Lemma 3.
Assume that u is a positive solution of (1) and ϕ satisfies case ( C ) , then
ϕ ϱ φ 2 ϱ ′ ≥ 0 .
Proof. 
Assume that u is a positive solution of (1) and ϕ satisfies case ( C ) . From (1) and H 2 , we have that r ϱ ϕ ‴ ϱ is nonincreasing, and hence
r ϱ ϕ ‴ ϱ ∫ ϱ ∞ 1 r ϰ d ϰ ≥ ∫ ϱ ∞ 1 r ϰ r ϰ ϕ ‴ ϰ d ϰ = lim ϰ → ∞ ϕ ″ ϰ − ϕ ″ ϱ .
Since ϕ ″ ϱ is a positive decreasing function, we have that ϕ ″ ϱ converges to a nonnegative constant when ϱ → ∞ . Thus, (8) becomes
− ϕ ″ ϱ ≤ r ϱ ϕ ‴ ϱ φ 0 ϱ ,
from (9), we get
ϕ ″ ϱ φ 0 ϱ ′ = 1 φ 0 2 ϱ ϕ ‴ ϱ φ 0 ϱ + ϕ ″ ϱ r − 1 ϱ ≥ 0 ,
which leads to
− ϕ ′ ϱ ≥ ∫ ϱ ∞ ϕ ″ ϰ φ 0 ϰ φ 0 ϰ d ϰ ≥ ϕ ″ ϱ φ 0 ϱ φ 1 ϱ .
This implies
ϕ ′ ϱ φ 1 ϱ ′ = 1 φ 1 2 ϱ ϕ ″ ϱ φ 1 ϱ + ϕ ′ ϱ φ 0 ϱ ≤ 0 .
Now
− ϕ ϱ ≤ ∫ ϱ ∞ ϕ ′ ϰ φ 1 ϰ φ 1 ϰ d ϰ ≤ ϕ ′ ϱ φ 1 ϱ φ 2 ϱ .
This implies
ϕ ϱ φ 2 ϱ ′ ≥ 0 .
Thus, the proof is complete. □
Theorem 1.
Assume that u is a positive solution of (1) and ϕ satisfies case ( C ) in Lemma 1. If
∫ ϱ 0 ∞ 1 r ρ ∫ ϱ 2 ρ h ϰ 1 − p θ ϰ φ 2 η θ ϰ φ 2 θ ϰ d ϰ d ρ = ∞
and there exists a δ 0 ∈ 0 , 1 such that
h ϱ φ 2 2 ϱ φ 1 − 1 ϱ 1 − p θ ϱ φ 2 η θ ϱ φ 2 θ ϱ ≥ δ 0 ,
then
B 1 − 1 κ + 1 ϕ 2 − κ ϱ ≤ r ϱ ϕ ‴ ϱ φ κ ϱ for κ = 0 , 1 , 2 ; B 2 lim ϱ → ∞ ϕ ϱ = 0 ; B 3 ϕ / φ 2 δ 0 is decreasing ; B 4 lim ϱ → ∞ ϕ ϱ / φ 2 δ 0 ϱ = 0 .
Proof. 
Assume that u is a positive solution of (1) and ϕ satisfies case ( C ) for ϱ ≥ ϱ 1 for some ϱ 1 ∈ I 0 . Then, there is a ϱ 2 ≥ ϱ 1 with ϕ θ ϱ > 0 for all ϱ 2 , and hence, from (1),
( r ϱ ϕ ‴ ϱ ) ′ ≤ − h ϱ u ( θ ( ϱ ) ) ≤ 0 .
B 1 : Using case ( C ) , we have that
r ϱ ϕ ‴ ϱ φ 0 ϱ ≥ ∫ ϱ ∞ r ϰ ϕ ‴ ϰ r ϰ d ϰ ≥ − ϕ ″ ϱ
or equivalently
ϕ ″ ϱ ≥ − r ϱ ϕ ‴ ϱ φ 0 ϱ .
Integrating this relationship twice over ϱ , ∞ , and taking into account the behavior of derivatives in case ( C ) , we arrive at B 1 .
B 2 : Since
u ϱ = ϕ ϱ − p ϱ u η ϱ ≥ ϕ ϱ − p ϱ ϕ η ϱ ,
from (7), we have
u ϱ ≥ 1 − p ϱ φ 2 η ϱ φ 2 ϱ ϕ ϱ .
Now, from (1), we get
r ϱ ϕ ‴ ϱ ′ ≤ − h ϱ 1 − p θ ϱ φ 2 η θ ϱ φ 2 θ ϱ ϕ θ ϱ .
Since ϕ is positive decreasing, we get that lim ϱ → ∞ ϕ ϱ = k ≥ 0 . Assume the contrary that k > 0 . Then, there is a ϱ 2 ≥ ϱ 1 with ϕ ϱ ≥ k for ϱ ≥ ϱ 2 . Thus (12) becomes
r ϱ ϕ ‴ ϱ ′ ≤ − k h ϱ 1 − p θ ϱ φ 2 η θ ϱ φ 2 θ ϱ .
Integrating this inequality twice over ϱ 2 , ϱ , we obtain
r ϱ ϕ ‴ ϱ − r ϱ 2 ϕ ‴ ϱ 2 ≤ − k ∫ ϱ 2 ϱ h ϰ 1 − p θ ϰ φ 2 η θ ϰ φ 2 θ ϰ d ϰ .
Using case ( C ) , we have ϕ ‴ ϱ < 0 for ϱ ≥ ϱ 1 . Then, r ϱ 2 ϕ ‴ ϱ 2 < 0 , and so
ϕ ‴ ϱ ≤ − k r ϱ ∫ ϱ 2 ϱ h ϰ 1 − p θ ϰ φ 2 η θ ϰ φ 2 θ ϰ d ϰ ,
and then
ϕ ″ ϱ ≤ ϕ ″ ϱ 2 − k ∫ ϱ 2 ϱ 1 r ρ ∫ ϱ 2 ρ h ϰ 1 − p θ ϰ φ 2 η θ ϰ φ 2 θ ϰ d ϰ d ρ ,
which with (10) gives lim ϱ → ∞ ϕ ″ ϱ = − ∞ , a contradiction with the positivity of ϕ ″ ϱ . Therefore, ϕ ϱ converges to ϕ e r o .
B 3 : Integrating (12) over ϱ 2 , ϱ , and using (11), we find
r ϱ ϕ ‴ ϱ ≤ r ϱ 2 ϕ ‴ ϱ 2 − ∫ ϱ 2 ϱ h ϰ 1 − p θ ϰ φ 2 η θ ϰ φ 2 θ ϰ ϕ θ ϰ d ϰ ≤ r ϱ 2 ϕ ‴ ϱ 2 − ϕ ϱ ∫ ϱ 2 ϱ h ϰ 1 − p θ ϰ φ 2 η θ ϰ φ 2 θ ϰ d ϰ ≤ r ϱ 2 ϕ ‴ ϱ 2 − δ 0 ϕ ϱ ∫ ϱ 2 ϱ φ 1 ϰ φ 2 2 ϰ d ϰ ≤ r ϱ 2 ϕ ‴ ϱ 2 + δ 0 ϕ ϱ φ 2 ϱ 2 − δ 0 ϕ ϱ φ 2 ϱ ,
which, with B 2 , gives
r ϱ ϕ ‴ ϱ ≤ − δ 0 ϕ ϱ φ 2 ϱ .
Thus, from B 1 at κ = 1 , we obtain
ϕ ′ ϱ φ 1 ϱ ≤ − δ 0 ϕ ϱ φ 2 ϱ .
Consequently,
d d ϱ ϕ ϱ φ 2 δ 0 ϱ = 1 φ 2 δ 0 + 1 ϱ φ 2 ϱ ϕ ′ ϱ + δ 0 φ 1 ϱ ϕ ϱ ≤ 0 .
B 4 : Now, since ϕ / φ 2 δ 0 is a positive decreasing function, we see that lim ϱ → ∞ ϕ ϱ / φ 2 δ 0 ϱ = k 1 ≥ 0 . Assume the contrary that k 1 > 0 . Then, there is a ϱ 2 ≥ ϱ 1 with ϕ ϱ / φ 2 δ 0 ϱ ≥ k 1 for ϱ ≥ ϱ 2 . Next, we define
G ϱ : = ϕ ϱ + r ϱ ϕ ‴ ϱ φ 2 ϱ φ 2 δ 0 ϱ .
Then, from B 1 , G ϱ > 0 for ϱ ≥ ϱ 2 . Differentiating G ϱ and using (11) and B 1 , we get
G ′ ϱ = 1 φ 2 2 δ 0 ϱ φ 2 δ 0 ϱ ϕ ′ ϱ − r ϱ ϕ ‴ ϱ φ 1 ϱ + r ϱ ϕ ‴ ϱ ′ φ 2 ϱ + δ 0 φ 2 δ 0 − 1 ϱ φ 1 ϱ ϕ ϱ + r ϱ ϕ ‴ ϱ φ 2 ϱ ≤ 1 φ 2 δ 0 + 1 ϱ − φ 2 2 ϱ h ϱ u θ ϱ + δ 0 φ 1 ϱ ϕ ϱ + r ϱ ϕ ‴ ϱ φ 2 ϱ ≤ 1 φ 2 δ 0 + 1 ϱ − δ 0 φ 1 ϱ ϕ ϱ + δ 0 φ 1 ϱ ϕ ϱ + δ 0 φ 1 ϱ r ϱ ϕ ‴ ϱ φ 2 ϱ ≤ δ 0 φ 2 δ 0 ϱ φ 1 ϱ r ϱ ϕ ‴ ϱ .
Using the fact that ϕ ϱ / φ 2 δ 0 ϱ ≥ k 1 with (13), we obtain
r ϱ ϕ ‴ ϱ ≤ − δ 0 ϕ ϱ φ 2 ϱ ≤ − δ 0 k 1 φ 2 δ 0 − 1 ϱ .
Combining (14) and (15), we get
G ′ ϱ ≤ − δ 0 2 k 1 φ 1 ϱ φ 2 ϱ < 0 .
Integrating this inequality over ϱ 2 , ϱ , we find
− G ϱ 2 ≤ − δ 0 2 k 1 ln φ 2 ϱ 2 φ 2 ϱ → ∞ as ϱ → ∞ .
Then, we arrive at a contradiction, and so k 1 = 0 .
Therefore, the proof is complete. □
Theorem 2.
Assume that u is a positive solution of (1) and ϕ satisfies case ( C ) in Lemma 1, and that (10) and (11) hold for some δ 0 ∈ 0 , 1 . If δ i − 1 ≤ δ i < 1 for all i = 1 , 2 , … , m − 1 , then
B 1 , m ϕ / φ 2 δ m is decreasing ; B 2 , m lim ϱ → ∞ ϕ ϱ / φ 2 δ m ϱ = 0 ,
where
δ j = δ 0 λ δ j − 1 1 − δ j − 1 , j = 1 , 2 , … , m
and
φ 2 θ ϱ φ 2 ϱ ≥ λ , for all ϱ ≥ ϱ 0 ,
for some λ ≥ 1 .
Proof. 
Assume that u is a positive solution of (1) and ϕ satisfies case ( C ) for ϱ ≥ ϱ 1 for some ϱ 1 ∈ I 0 . Then, from Theorem 1, we have that B 1 − B 4 hold. Using induction, we have from Theorem 1 that B 1 , 0 and B 2 , 0 hold. Now, we assume that B 1 , m − 1 and B 2 , m − 1 hold. Integrating (12) over ϱ 2 , ϱ , we find
r ϱ ϕ ‴ ϱ ≤ r ϱ 2 ϕ ‴ ϱ 2 − ∫ ϱ 2 ϱ h ϰ 1 − p θ ϰ φ 2 η θ ϰ φ 2 θ ϰ ϕ θ ϰ d ϰ .
Using B 1 , m − 1 , we have that
ϕ θ ϱ ≥ φ 2 δ m − 1 θ ϱ ϕ ϱ φ 2 δ m − 1 ϱ .
Then, (17) becomes
r ϱ ϕ ‴ ϱ ≤ r ϱ 2 ϕ ‴ ϱ 2 − ∫ ϱ 2 ϱ h ϰ 1 − p θ ϰ φ 2 η θ ϰ φ 2 θ ϰ φ 2 δ m − 1 θ ϰ ϕ ϰ φ 2 δ m − 1 ϰ d ϰ ,
which, with the fact that ϕ / φ n − 2 δ m − 1 is a decreasing function, gives
r ϱ ϕ ‴ ϱ ≤ r ϱ 2 ϕ ‴ ϱ 2 − ϕ ϱ φ 2 δ m − 1 ϱ ∫ ϱ 2 ϱ h ϰ 1 − p θ ϰ φ 2 η θ ϰ φ 2 θ ϰ φ 2 δ m − 1 ϰ φ 2 δ m − 1 θ ϰ φ 2 δ m − 1 ϰ d ϰ .
Hence, from (11) and (16), we obtain
r ϱ ϕ ‴ ϱ ≤ r ϱ 2 ϕ ‴ ϱ 2 − δ 0 λ δ m − 1 ϕ ϱ φ 2 δ m − 1 ϱ ∫ ϱ 2 ϱ φ 1 ϰ φ 2 2 − δ m − 1 ϰ d ϰ = r ϱ 2 ϕ ‴ ϱ 2 − δ 0 λ δ m − 1 1 − δ m − 1 ϕ ϱ φ 2 δ m − 1 ϱ 1 φ 2 1 − δ m − 1 ϱ − 1 φ 2 1 − δ m − 1 ϱ 2 = r ϱ 2 ϕ ‴ ϱ 2 + δ m ϕ ϱ φ 2 δ m − 1 ϱ 1 φ 2 1 − δ m − 1 ϱ 2 − δ m ϕ ϱ φ 2 ϱ ,
which, with the fact that lim ϱ → ∞ ϕ ϱ / φ 2 δ m − 1 ϱ = 0 , gives
r ϱ ϕ ‴ ϱ ≤ − δ m ϕ ϱ φ 2 ϱ .
Thus, from B 1 at κ = 1 , we obtain
ϕ ′ ϱ φ 1 ϱ ≤ − δ m ϕ ϱ φ 2 ϱ .
Consequently,
d d ϱ ϕ ϱ φ 2 δ m ϱ = 1 φ 2 δ m + 1 ϱ φ 2 ϱ ϕ ′ ϱ + δ m φ 1 ϱ ϕ ϱ ≤ 0 .
Proceeding as in the proof of B 4 in Theorem 1, we can prove that lim ϱ → ∞ ϕ ϱ / φ 2 δ m ϱ = 0 .
Therefore, the proof is complete. □
Theorem 3.
Assume that u is a positive solution of (1) and ϕ satisfies case ( C ) in Lemma 1, and that (10) and (11) hold for some δ 0 ∈ 0 , 1 . If δ i − 1 ≤ δ i < 1 for all i = 1 , 2 , … , m − 1 , then the DDE
H ′ ϱ + 1 1 − δ m h ϱ φ 2 ϱ 1 − p θ ϱ φ 2 η θ ϱ φ 2 θ ϱ H θ ϱ = 0 ,
has a positive solution, where δ j and λ are defined as in Theorem 2.
Proof. 
Assume that u is a positive solution of (1) and ϕ satisfies case ( C ) for ϱ ≥ ϱ 1 for some ϱ 1 ∈ I 0 . Then, from Theorem 2, we have that B 1 , m and B 2 , m hold.
Now, we define
H ϱ : = r ϱ ϕ ‴ ϱ φ 2 ϱ + ϕ ϱ .
Then, from B 1 at κ = 2 , H ϱ > 0 for ϱ ≥ ϱ 2 , and
H ′ ϱ = r ϱ ϕ ‴ ϱ ′ φ 2 ϱ − r ϱ ϕ ‴ ϱ φ 1 ϱ + ϕ ′ ϱ ,
which, with B 1 at κ = 1 , leads to
H ′ ϱ ≤ r ϱ ϕ ‴ ϱ ′ φ 2 ϱ ≤ − h ϱ φ 2 ϱ 1 − p θ ϱ φ 2 η θ ϱ φ 2 θ ϱ ϕ θ ϱ .
As in the proof of Theorem 2, we arrive at (18). From (20) and (18), we get
H ϱ ≤ 1 − δ m ϕ ϱ .
Thus, (21) becomes
H ′ ϱ + 1 1 − δ m h ϱ φ 2 ϱ 1 − p θ ϱ φ 2 η θ ϱ φ 2 θ ϱ H θ ϱ ≤ 0 .
Hence, H is a positive solution of the differential inequality (22). Using [20] (Theorem 1]), the Equation (19) has also a positive solution, and this completes the proof. □

3. Applications in the Oscillation Theory

In the following, we use our results in the previous section to obtain the criteria of oscillation for the solutions of (1).
Theorem 4.
Assume that (10) and (11) hold for some δ 0 ∈ 0 , 1 , and that δ j , λ are defined as in Theorem 2. If, δ i − 1 ≤ δ i < 1 for all i = 1 , 2 , … , m − 1 and the first-order differential Equations (19) and
y ′ ϱ + h ϱ λ 0 1 − p θ ϱ θ 3 ϱ 3 ! r θ ϱ y θ ϱ = 0
is oscillatory for some λ 0 , δ m ∈ 0 , 1 and that
lim sup ϱ → ∞ ∫ ϱ 0 ϱ h ϰ 1 − p θ ϰ λ 1 θ 2 ϰ 2 ! φ 0 ϰ − r − 1 ϰ 4 φ 0 ϰ d ϰ = ∞
holds for some λ 1 ∈ 0 , 1 , then, every solution of (1) is oscillatory.
Proof. 
Assume that u is a positive solution of (1). Then from Lemma 2, we get the cases ( A ) – ( C ) . In view of [21], the fact that the solutions of Equation (23) oscillate and the condition (24) is fulfilled, rules out the cases A and B , respectively. Then, we have C hold. Using Theorem 3, we get that Equation (19) has a positive solution, a contradiction. Therefore, the proof is complete. □
Corollary 1.
Assume that (10) and (11) hold for some δ 0 ∈ 0 , 1 , and that δ j , λ are defined as in Theorem 2. If δ i − 1 ≤ δ i < 1 for all i = 1 , 2 , … , m − 1 , (24),
lim inf ϱ → ∞ ∫ θ ϱ ϱ h ϰ λ 0 1 − p θ ϰ θ 3 ϰ r θ ϰ d ϰ > 3 ! e
and
lim inf ϱ → ∞ ∫ θ ϱ ϱ h ϰ φ 2 ϰ 1 − p θ ϰ φ 2 η θ ϰ φ 2 θ ϰ d ϰ > 1 − δ m e ,
hold for some λ 0 , δ m ∈ 0 , 1 , then every solution of (1) is oscillatory.
Proof. 
In view of [22, Corollary 2.1], Conditions (25) and (26) imply oscillation of the solutions of (23) and (19) respectively, thus rules out the cases A and C . Now, since the condition (24) is fulfilled, rules out the case B . Therefore, from Theorem 4, every solution of (1) is oscillatory. □
Example 1.
Consider the differential equation
e ϱ u ϱ + p 0 u ϱ − η 0 ‴ ′ + h 0 e ϱ u ϱ − θ 0 = 0 ,
where ϱ ≥ 1 , h 0 < 1 / 1 − p 0 e η 0 , p 0 ∈ 0 , e − η 0 and θ 0 , η 0 > 0 . It is easy to verify that φ i ϱ = e − ϱ , i = 0 , 1 , 2 , and then
∫ ϱ 0 ∞ 1 r ρ ∫ ϱ 2 ρ h ϰ 1 − p θ ϰ φ 2 η θ ϰ φ 2 θ ϰ d ϰ d ρ = ∫ ϱ 0 ∞ 1 e ρ ∫ ϱ 2 ρ h 0 e ϰ 1 − p 0 e η 0 d ϰ d ρ = ∞ .
By choosing δ 0 = h 0 1 − p 0 e η 0 , we find that (11) holds. Moreover, by a simple computation, we have that (25) and (24) are satisfied.
Now, we note that (26) reduces to
lim inf ϱ → ∞ ∫ θ ϱ ϱ h ϰ φ 2 ϰ 1 − p θ ϰ φ 2 η θ ϰ φ 2 θ ϰ d ϰ = lim inf ϱ → ∞ ∫ ϱ − θ 0 ϱ h 0 1 − p 0 e η 0 d ϰ > 1 − δ m e ,
which is satisfied if
h 0 1 − p 0 e η 0 θ 0 > 1 − δ m e .
Thus, using Corollary 1, every solution of (27) is oscillatory if (28) holds.
Remark 2.
By reviewing the results in [23] and by choosing η 0 = 2 and p 0 = 0.12 we have that (27) is oscillatory if h 0 >   2 . 206 3 . It is easy to note that this condition essentially neglects the influence of delay argument θ t . However, our criterion (28) takes into account the influence of θ 0 . Furthermore, using (28) and m = 0 , every solution of the differential equation:
e ϱ u ϱ + 0.12 u ϱ − 2 ‴ ′ + 2 e ϱ u ϱ − 3 = 0
is oscillatory, despite the failure of the results in [23].
Remark 3.
Consider the differential equation
e ϱ u ϱ + 0.12 u ϱ − 2 ‴ ′ + 0.9 e ϱ u ϱ − 3 = 0 ,
Note that, the condition (28), with m = 0 , reduces to
0.9 1 − 0.12 e 2 3 > 1 − 0.9 1 − 0.12 e 2 e ,
which is not satisfied, and thus, the oscillatory behavior of (29) cannot be verified. However, using the iterative nature of (28), we find that
φ 2 θ ϱ φ 2 ϱ = e − ϱ − θ 0 e − ϱ = e θ 0 > e θ 0 = λ
and δ 3 = 0.169 53 . Now, the condition (28) with m = 3 reduces to
0.9 1 − 0.12 e 2 3 > 1 − 0.169 53 e ,
which is satisfied. Hence, every solution of (29) is oscillatory.
Remark 4.
In the non-neutral case, that is, p 0 = 0 , the oscillation condition of the Equation (27) becomes:
h 0 θ 0 > 1 − δ m e ,
(1) If m = 0 and θ 0 = 1 . 103 66 , then we have the same condition obtained in [6,10].
(2) If m = 0 and θ 0 > 1 . 103 66 , then our results improve results in [6,10].

4. Conclusions

In this work, we studied the oscillatory behavior of a class of fourth-order neutral differential equations were presented. In the noncanonical case, we obtained new criteria based on comparison principles that ensure the oscillation of all solutions of the studied equation. By comparing with previous results, we found that our results are easy to apply and do not require unknown functions. Moreover, the new criteria have an iterative nature. An interesting problem is to extend our results to even-order neutral differential equations.

Author Contributions

All authors contributed equally to this manuscript. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

Research Supporting Project number (RSP-2022/167), King Saud University, Riyadh, Saudi Arabia.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Bartušek, M.; Cecchi, M.; Došlá, Z.; Marini, M. Fourth-order differential equation with deviating argument. Abstr. Appl. Anal. 2012, 2012, 185242. [Google Scholar] [CrossRef] [Green Version]
  2. Hale, J.K. Functional differential equations. In Analytic Theory of Differential Equations; Springer: Berlin/Heidelberg, Germany, 1971; pp. 9–22. [Google Scholar]
  3. Elias, U. Oscillation Theory of Two-Term Differential Equations, Mathematics and Its Applications; Kluwer Academic Publishers Group: Dordrecht, The Netherlands, 1997; Volume 396. [Google Scholar]
  4. Ladde, G.S.; Lakshmikantham, V.; Zhang, B.G. Oscillation Theory of Differential Equations with Deviating Arguments, Monographs and Textbooks in Pure and Applied Mathematics; Marcel Dekker: New York, NY, USA, 1987; Volume 110. [Google Scholar]
  5. Kiguradze, I.; Chanturia, T. Asymptotic properties of solutions of nonautonomous ordinary differential equations. In Mathematics and Its Applications (Soviet Series); Kluwer Academic Publishers Group: Dordrecht, The Netherlands, 1993; Volume 89, Translated from the 1985 Russian Original. [Google Scholar]
  6. Moaaz, O.; Muhib, A. New oscillation criteria for nonlinear delay differential equations of fourth-order. Appl. Math. Comput. 2020, 377, 125192. [Google Scholar] [CrossRef]
  7. Agarwal, R.; Grace, S.; Manojlovic, J. Oscillation criteria for certain fourth order nonlinear functional differential equations. Math. Comput. Model. 2006, 44, 163–187. [Google Scholar] [CrossRef]
  8. Agarwal, R.; Grace, S.; O’Regan, D. Oscillation criteria for certain nth order differential equations with deviating arguments. J. Math. Appl. Anal. 2001, 262, 601–622. [Google Scholar] [CrossRef] [Green Version]
  9. Zhang, B. Oscillation of even order delay differential equations. J. Math. Appl. Anal. 1987, 127, 140–150. [Google Scholar] [CrossRef] [Green Version]
  10. Zhang, C.; Agarwal, R.P.; Bohner, M.; Li, T. New results for oscillatory behavior of even-order half-linear delay differential equations. Appl. Math. Lett. 2013, 26, 179–183. [Google Scholar] [CrossRef] [Green Version]
  11. Zhang, C.; Li, T.; Suna, B.; Thandapani, E. On the oscillation of higher-order half-linear delay differential equations. Appl. Math. Lett. 2011, 24, 1618–1621. [Google Scholar] [CrossRef] [Green Version]
  12. El-Nabulsi, R.A.; Moaaz, O.; Bazighifan, O. New Results for Oscillatory Behavior of Fourth-Order Differential Equations. Symmetry 2020, 12, 136. [Google Scholar] [CrossRef] [Green Version]
  13. Zhang, C.; Li, T.; Saker, S. Oscillation of fourth-order delay differential equations. J. Math. Sci. 2014, 201, 296–308. [Google Scholar] [CrossRef]
  14. Moaaz, O.; Muhib, A.; Zakarya, M.; Abdel-Aty, A. Delay differential equation of fourth-order: Asymptotic analysis and oscillatory behavior. Alex. Eng. J. 2022, 61, 2919–2924. [Google Scholar] [CrossRef]
  15. Xing, G.; Li, T.; Zhang, C. Oscillation of higher-order quasi-linear neutral differential equations. Adv. Differ. Equ. 2011, 2011, 45. [Google Scholar] [CrossRef] [Green Version]
  16. Chatzarakis, G.E.; Elabbasy, E.M.; Bazighifan, O. An oscillation criterion in 4th-order neutral differential equations with a continuously distributed delay. Adv. Differ. Equ. 2019, 336, 1–9. [Google Scholar]
  17. Dassios, I.; Bazighifan, O. Oscillation Conditions for Certain Fourth-Order Non-Linear Neutral Differential Equation. Symmetry 2020, 12, 1096. [Google Scholar] [CrossRef]
  18. Pedro, A.M. Oscillatory behaviour of linear mixed-type systems. Rend. Circ. Mat. Palermo Ser. 2 2021, 1–15. [Google Scholar] [CrossRef]
  19. Kumar, A.; Vats, R.K.; Kumar, A.; Chalishajar, D.N. Numerical approach to the controllability of fractional order impulsive differential equations. Demonstr. Math. 2020, 53, 193–207. [Google Scholar] [CrossRef]
  20. Philos, C.G. On the existence of nonoscillatory solutions tending to zero at ∞ for differential equations with positive delays. Arch. Math. 1981, 36, 168–178. [Google Scholar] [CrossRef]
  21. Elabbasy, E.M.; Moaaz, O.; Ramos, H.; Muhib, A. Improved criteria for oscillation of noncanonical neutral differential equations of even order. Adv. Differ. Equ. 2021, 2021, 412. [Google Scholar] [CrossRef]
  22. Kitamura, Y.; Kusano, T. Oscillation of first-order nonlinear differential equations with deviating arguments. Proc. Am. Math. Soc. 1980, 78, 64–68. [Google Scholar] [CrossRef]
  23. Ramos, H.; Moaaz, O.; Muhib, A.; Awrejcewicz, J. More Effective Results for Testing Oscillation of Non-Canonical Neutral Delay Differential Equations. Mathematics 2021, 9, 1114. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Muhib, A.; Moaaz, O.; Cesarano, C.; Askar, S.; Elabbasy, E.M. Neutral Differential Equations of Fourth-Order: New Asymptotic Properties of Solutions. Axioms 2022, 11, 52. https://doi.org/10.3390/axioms11020052

AMA Style

Muhib A, Moaaz O, Cesarano C, Askar S, Elabbasy EM. Neutral Differential Equations of Fourth-Order: New Asymptotic Properties of Solutions. Axioms. 2022; 11(2):52. https://doi.org/10.3390/axioms11020052

Chicago/Turabian Style

Muhib, Ali, Osama Moaaz, Clemente Cesarano, Sameh Askar, and Elmetwally M. Elabbasy. 2022. "Neutral Differential Equations of Fourth-Order: New Asymptotic Properties of Solutions" Axioms 11, no. 2: 52. https://doi.org/10.3390/axioms11020052

APA Style

Muhib, A., Moaaz, O., Cesarano, C., Askar, S., & Elabbasy, E. M. (2022). Neutral Differential Equations of Fourth-Order: New Asymptotic Properties of Solutions. Axioms, 11(2), 52. https://doi.org/10.3390/axioms11020052

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop