Next Article in Journal
A Target Domain-Specific Classifier Weight Partial Transfer Adversarial Network for Bearing Fault Diagnosis
Previous Article in Journal
On Priority in Multi-Issue Bankruptcy Problems with Crossed Claims
Previous Article in Special Issue
Analysis of Nonlinear Vibration Characteristics and Whirl Behavior of Dual-Rotor Systems with Inter-Shaft Rub Impact
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Oscillation Solutions for Nonlinear Second-Order Neutral Differential Equations

by
Omar Bazighifan
1,2,*,
Nawa Alshammari
3,
Faten Aldosari
4 and
Loredana Florentina Iambor
5,*
1
Department of Mathematics, Faculty of Science, Seiyun University, Hadhramout 50512, Yemen
2
Jadara Research Center, Jadara University, Irbid 21110, Jordan
3
Department of Basic Sciences, College of Science and Theoretical Studies, Saudi Electronic University, Riyadh 11673, Saudi Arabia
4
Department of Mathematics, College of Science, Shaqra University, P.O. Box 15572, Shaqra 11961, Saudi Arabia
5
Department of Mathematics and Computer Science, University of Oradea, University Street, 410087 Oradea, Romania
*
Authors to whom correspondence should be addressed.
Mathematics 2025, 13(2), 247; https://doi.org/10.3390/math13020247
Submission received: 31 October 2024 / Revised: 31 December 2024 / Accepted: 11 January 2025 / Published: 13 January 2025
(This article belongs to the Special Issue Nonlinear Vibration Theory and Mechanical Dynamics)

Abstract

:
This research investigates the oscillation criteria of nonlinear second-order neutral differential equations with multiple delays, focusing on their noncanonical forms. By leveraging an innovative iterative technique, new relationships are established to enhance the monotonic properties of positive solutions. These advancements lead to the derivation of novel oscillation criteria that significantly extend and refine the existing body of knowledge in this domain. The proposed criteria address gaps in the literature, providing a robust framework for analyzing such differential equations. To demonstrate their practical implications, three illustrative examples are presented, showcasing the applicability and effectiveness of the results in solving real-world problems involving delay differential equations.

1. Introduction

Recently, the incorporation of neutral equations into biological models has gained attention, as it allows for a more nuanced depiction of memory and hereditary properties inherent in biological systems. The time-fractional derivatives provide a flexible framework that can capture the long-term dependencies and anomalous diffusion processes observed in ecological contexts. As a result, delay equations and time-fractional models have proven to be more effective in describing real-world biological phenomena compared to traditional integer-order models [1].
In this paper, we investigate second-order neutral differential equations (NDEs) of the form:
b ( s ) ϰ s + h s ϰ r s α + i = 1 n g i ( s ) ϰ β ( y i ( s ) ) = 0 ,
Throughout the paper we assume that:
(H1)
0 < α 1 ,   α > β are ratios of odd positive integers;
(H2)
h , g C s 0 , , R + , 0 h s < 1 , g > 0 , r ( s ) , y ( s ) C 1 ( [ s 0 , ) , R ) satisfies y ( s ) s , r ( s ) s , y ( s ) > 0 and lim s r ( s ) = lim s y ( s ) = ;
(H3)
b C s 0 , , R + satisfies μ s 0 < , where:
μ ( s ) : = s 1 b 1 / α ς d ς ;
(H4)
h ( s ) < μ ( s ) / μ ( r ( s ) ) .
A function ϰ s C ( [ s ϰ , ) , R ) , s ϰ s 0 , is said to be a solution of (1) if which has the property b s ( κ s ) α C 1 [ s ϰ , ) , and
sup { | ϰ ( s ) | : s S } > 0 , for all S s ϰ .
A solution of (1) is called oscillatory if it is neither eventually positive nor eventually negative. Otherwise, it is said to be nonoscillatory. Equation (1) is said to be oscillatory if all of its solutions are oscillatory.
Functional differential equations (FDEs) are a type of differential equation in which the derivative of an unknown function depends on the present and past values of the function, introducing the effect of memory into these systems. These equations are an essential tool for modeling dynamical systems whose behavior is influenced by the past and have wide applications in fields such as physics, biology, and engineering, where they explain phenomena such as population dynamics and delayed feedback systems. Among their types, NDEs stand out, in which the derivatives depend on the past values of the function and its past derivatives, distinguishing them by introducing a neutral term that affects the dynamic behavior of the system. NDEs play an important role in fields such as population dynamics, control theory, and electrical circuits, where time and memory effects play a crucial role. By understanding and solving these equations, deeper insights into the behavior of systems with memory can be gained, enhancing the ability to model complex phenomena more accurately, see [2,3,4,5,6,7,8,9].
Oscillation theorems form the basis for know the solutions to differential equations and their behavior and defining oscillation criteria. They play a vital role in fields such as engineering and physics, with practical applications in the design of control systems and signal processing, helping researchers build accurate models of periodic systems; see [10,11,12,13,14,15,16,17].
The study of neutral differential equations has witnessed significant development due to the contributions of many researchers. Hale [18] dealt with the basics of functional equations and the effect of time delays, while Agarwal et al. [19,20,21] contributed to added new oscillation criteria for neutral equations of the second order. Later, the authors in [22,23] provided precise oscillation criteria for equations with a delay term. The author in [24] focused on the oscillatory behavior of nonclassical equations. Finally, Bazighifan et al. [25,26] added new conditions sufficient for the oscillation of these complex mathematical systems.
Baculíková [27] explored the oscillations conditions of delay differential equations:
b ( s ) ϰ s + g ( s ) ϰ ( y ( s ) ) = 0 .
in the noncanonical case:
μ ( s ) : = s 1 b 1 / α ς d ς .
Grammatikopoulos et al. [28] established conditions under which the NDE is oscillatory:
ϰ s + h s ϰ s r + g s ϰ s y = 0 ,
provided that:
0 < h s 1 , g s 0 ,
and
s 0 g ς 1 h ς y d ς = ,
then (3) is oscillatory. Subsequent studies by Xu and Xia [29] generalized this result to include:
ϰ s + h s ϰ s r + g s f ϰ s y = 0 ,
under conditions
0 h s < , g s M > 0 .
Grace and Lalli [30] extended the analysis to the equation:
b s ϰ s + h s ϰ s r + g s f ϰ s y = 0 ,
in the canonical case:
s 0 1 b ς d ς = ,
where
f ϰ ϰ k > 0 .
Džurina and Stavroulakis [31] noted analogous properties between the nonlinear NDEs:
b s ϰ s α 1 ϰ s + g s ϰ y s α 1 ϰ y s = 0 ,
and its corresponding linear form:
b s ϰ s + g s ϰ s = 0 .
Sun [32] established oscillation criteria for NDEs, utilizing a novel inequality of the form:
b s ϰ s + h s ϰ r s α 1 ϰ s + h s ϰ r s + g s f s , ϰ y s = 0 ,
Bohner et al. [33] and Grace et al. [34] investigated the oscillation of the second-order half-linear NDEs:
b s ϰ s + h s ϰ r s α + g s ϰ α y s = 0 ,
in the noncanonical case:
s 0 1 b 1 / α ς d ς < .
Bohner et al. [35] expanded on their previous research into the oscillation of (4), offering new oscillation criteria that significantly refine and improve upon existing results in the literature.
Moaaz et al. [36] analyzed the oscillatory behavior of the neutral differential equation:
b s ϰ s + h s ϰ r s α + i = 1 n g i ( s ) ϰ β ( y i ( s ) ) = 0 .
They proposed monotonic properties for the solutions and established oscillation conditions, guaranteeing that all solutions exhibit oscillatory behavior.
Despite the importance of these studies in the field of neutral differential equations, they largely focus on the study of linear and semilinear equations, leaving a clear gap in the analysis of nonlinear equations that are characterized by their complexity and importance in developing the theoretical understanding of oscillatory behavior.
This paper seeks to address this gap in the scientific literature and to make a fundamental and distinctive contribution by expanding the scope of the study of the oscillatory behavior of second-order nonlinear neutral differential equations. Based on the pioneering work presented by Bakulikova [27], which dealt with the asymptotic and oscillatory behavior of second-order delay differential Equation (2), we show that the special case in which the values ( α = β = 1 , n = 1 , and h s = 0 ) match her results, making it a special case within the broader framework of our general equation. Furthermore, Moaz et al. [36] studied Equation (4), which represents a special case of Equation (5) when the values ( α = β ). Based on those studies, this paper takes a broader step by extending the scope of analysis using similar techniques, while incorporating innovative improvements that enhance the analytical value of the results and contribute to deepening the theoretical understanding of nonlinear equations. This paper makes a qualitative contribution that enriches the current understanding of the oscillatory behavior of this class of equations, opening new horizons for theoretical development and enhancing the power of analytical tools used to study the complex dynamics governing them.

2. Preliminary Results

Let us define:
κ s = ϰ s + h s ϰ r s
y ˜ ( s ) : = max y i ( s ) , i = 1 , 2 , . . . , n .
g ˜ s : = i = 1 n g i ( s ) 1 h y i s μ r y i s μ y i s β ,
for s 1 [ s 0 , ) .
Lemma 1. 
([37] Assume that ϰ ( s ) is an eventually positive solution of (1), then the corresponding function κ ( s ) satisfies one of two cases eventually:
Case ( 1 ) : κ > 0 , b κ α > 0 , b κ α < 0 , Case ( 2 ) : κ > 0 , b κ α < 0 , b κ α < 0 ,
for s s 1 s 0 .
The following considerations aim to demonstrate that Case ( 2 ) is the fundamental one.
Lemma 2. 
If
s 0 1 b ( u ) s 0 u g ˜ ς d ς 1 / α d u = ,
then, the positive solution ϰ ( s ) of (1) satisfies ( C 2 ) in Lemma 1 and, moreover:
  • B 1 , 1 b 1 / α ( s ) κ ( s ) μ ( s ) + κ ( s ) 0 ;
  • B 1 , 2 κ ( s ) / μ ( s ) is increasing;
  • B 1 , 3 b ( s ) κ ( s ) α g ˜ s κ β y s ;
  • B 1 , 4 lim s κ ( s ) = 0 .
Proof. 
Suppose on the contrary that ϰ is an eventually positive solution of (1) satisfying case(1) in Lemma 1 for s s 1 s 0 . Then there exists a constant c 0 > 0 such that κ ( s ) c 0 and κ y ( s ) c 0 eventually. In view of the definition of κ , we have:
ϰ ( s ) = κ s h s ϰ r s κ s h s κ r s 1 h s κ s .
Then (1) become
b ( s ) κ ( s ) α = i = 1 n g i ( s ) ϰ β ( y i ( s ) ) i = 1 n g i ( s ) 1 h y i s β κ β y i s κ β y ˜ s i = 1 n g i ( s ) 1 h y i s β .
Since
μ r y i s μ y i s 1 ,
then
1 h y i s 1 μ r y i s μ y i s h y i s .
Combining (7), (8), and integrating the resulting inequality from s 1 to s , we have
b ( s 2 ) κ ( s 2 ) α s 1 s κ β y ˜ ς i = 1 n g i ( ς ) 1 h y i ς μ r y i ς μ y i ς β d ς c 0 β s 1 s i = 1 n g i ( ς ) 1 h y i ς μ r y i ς μ y i ς β d ς c 0 β s 1 s g ˜ ς d ς ,
It follows from (6) and H 3 that s 1 s g ˜ ς μ β ( y ˜ ς ) d ς must be unbounded. Furthermore, since μ s < 0 , we deduce that
s 1 s g ˜ ς d ς as s .
which with (9) gives a contradiction.
B 1 , 1 From case(2) of Lemma 1, we note that κ s is positive and decreasing for all s s 1 s 0 . By the definition of κ s , we have κ s ϰ s and
ϰ s κ s h s κ r s , s s 1 s 0 .
Since b s κ s α is decreasing, we get
b 1 / α s κ s b 1 / α ς κ ς for ς s .
Dividing the last inequality by b 1 / α ς and integrating the resulting inequality from s to , we have
b 1 / α ( s ) κ ( s ) μ ( s ) + κ ( s ) 0 .
B 1 , 2 From (12), we obtain
κ ( s ) μ ( s ) = b 1 / α ( s ) κ ( s ) μ ( s ) + κ ( s ) b 1 / α ( s ) μ 2 ( s ) 0 .
( B 1 , 3 ) Since κ ( s ) / μ ( s ) is increasing, we get
κ ( r s ) μ ( r s ) μ ( s ) κ ( s ) .
In view of the definition of κ , we get
ϰ ( s ) = κ s h s ϰ r s κ s h s κ r s κ s 1 h s μ r s μ s .
Thus, (1) becomes
b ( s ) κ s α = i = 1 n g i ( s ) ϰ β ( y i ( s ) ) i = 1 n g i ( s ) 1 h y i s μ r y i s μ y i s β κ β y s κ β y ˜ s i = 1 n g i ( s ) 1 h y i s μ r y i s μ y i s β = g ˜ s κ β y ˜ s .
That is,
b ( s ) κ ( s ) α g ˜ s κ β y ˜ s .
( B 1 , 4 ) Since κ s > 0 , κ s < 0 , then lim s κ ( s ) = c 0 . We claim that c = 0 . If not, then κ ( s ) c > 0 for s s 2 s 1 . Then, integrating (1) from s 1 to s , we arrive at
b ( s ) κ ( s ) α b ( s 1 ) κ ( s 1 ) α s 1 s g ˜ ς κ β y ˜ ς d ς c β s 1 s g ˜ ς d ς .
By integrating the final inequality from s 1 to , we deduce that
κ s 1 c β / α s 1 1 b u s 1 u g ˜ ς d ς 1 / α d u as s ,
which leads to a contradiction with (6). Therefore, c = 0 . This concludes the proof of the lemma. □

3. Main Results

In this section, we shall show new monotonic properties for solutions of (1).
Lemma 3. 
Suppose that ϰ ( s ) is a positive solution of (1). If δ 0 0 , 1 with
1 α b 1 / α s g ˜ s μ α + 1 ( s ) δ 0 α , ρ 0 = c 1 δ 0 ,
then
  • ( B 2 , 1 ) κ ( s ) / μ ρ 0 ( s ) is decreasing;
  • ( B 2 , 2 ) lim s κ ( s ) / μ ρ 0 ( s ) = 0 ;
  • ( B 2 , 3 ) κ ( s ) / μ 1 ρ 0 ( s ) is increasing,
where c 1 : = κ β / α 1 s l 1 β / α 1 , if α = β l 1 β / α 1 , if α > β .
Proof. 
Assume that ϰ ( s ) is an eventually positive solution of (1). From (14) we find that
s 0 1 b ( u ) s 1 u g ˜ ς d ς 1 / α d ς α 1 / α δ 0 s 0 1 b ( u ) s 1 u 1 b 1 / α ς μ α + 1 ( ς ) d ς 1 / α d u = α 1 / α δ 0 s 0 1 b 1 / α ( u ) s 1 u 1 b 1 / α ς μ α + 1 ( ς ) d ς 1 / α d u = δ 0 s 0 1 b 1 / α ( u ) μ α ( u ) μ α ( s 1 ) 1 / α d u .
From the fact lim s κ s = 0 , there exists a s 1 s 0 such that μ α ( s ) μ α ( s 1 ) ϵ μ α ( s ) for ϵ 0 , 1 . Thus
s 0 1 b ( u ) s 1 u g ˜ ς d ς 1 / α d u ϵ 1 / α δ 0 s 0 1 b 1 / α ( u ) μ u d u = ϵ 1 / α δ 0 lim s ln μ s 0 μ s .
Hence, From Lemma 2, we have ( B 1 , 1 )–( B 1 , 4 ) hold.
( B 2 , 1 ) Integrating (1) from s 1 to s , we obtain
b ( s ) κ ( s ) α = b ( s 1 ) κ ( s 1 ) α + i = 1 n g i ( s ) ϰ β ( y i ( s ) ) ) d ς b ( s 1 ) κ ( s 1 ) α + s 1 s g ˜ ς κ β y ˜ ς d ς b ( s 1 ) κ ( s 1 ) α + κ β y ˜ s s 1 s g ˜ ς d ς .
By using (14), we get
b ( s ) κ ( s ) α b ( s 1 ) κ ( s 1 ) α + κ β ( s ) s 1 s α δ 0 α b 1 / α ς μ α + 1 ς d ς = b ( s 1 ) κ ( s 1 ) α + δ 0 α κ β ( s ) μ α ( s ) δ 0 α κ β ( s ) μ α ( s 1 )
Since lim s κ s , there is a s 2 s 1 , such that
b ( s 1 ) κ ( s 1 ) α δ 0 α κ β ( s ) μ α ( s 1 ) 0 ,
and so, (15) becomes
b 1 / α ( s ) κ ( s ) δ 0 κ β / α ( s ) μ ( s ) , s s 2 ,
and so,
b 1 / α ( s ) μ ( s ) κ ( s ) + δ 0 κ β / α ( s ) 0 .
If α = β , the result is straightforward. Now, consider the case where α > β . Since κ ( s ) is a nonincreasing positive function, there exists l 1 > 0 such that κ ( s ) l 1 , which implies that
κ β α s l 1 β α ,
and
κ β / α 1 s l 1 β / α 1 = c 1 ,
then
κ β / α s c 1 κ s .
Using (17), we find
b 1 / α ( s ) μ ( s ) κ ( s ) + c 1 δ 0 κ ( s ) b 1 / α ( s ) μ ( s ) κ ( s ) + δ 0 κ β / α ( s ) 0 ,
which leads to
b 1 / α ( s ) μ ( s ) κ ( s ) + ρ 0 κ ( s ) 0 .
Consequently,
κ ( s ) μ ρ 0 ( s ) = b 1 / α ( s ) μ ( s ) κ ( s ) + ρ 0 κ ( s ) b 1 / α ( s ) μ 1 + ρ 0 ( s ) 0 .
( B 2 , 2 ) Since κ s / μ ρ 0 ( s ) is positive and decreasing, lim s κ s / μ ρ 0 ( s ) = c 1 0 . We claim that c 1 = 0 . If not, then κ s / μ ρ 0 ( s ) c 1 > 0 eventually. Now, we introduce the function
w ( s ) = b 1 / α ( s ) κ ( s ) μ ( s ) + κ ( s ) μ ρ 0 ( s ) .
In view of B 1 , 1 in Lemma 2, we note that w ( s ) > 0 and
w ( ϰ ) = b 1 / α ( s ) κ ( s ) μ 1 ρ 0 ( s ) 1 ρ 0 κ ( s ) μ ρ 0 s + κ ( s ) μ ρ 0 ( s ) + ρ 0 κ ( s ) μ 1 ρ 0 ( s ) b 1 / α ( s ) = 1 α b ( s ) κ ( s ) α b 1 / α ( s ) κ ( s ) 1 α μ 1 ρ 0 ( s ) + ρ 0 κ ( s ) μ ρ 0 s + ρ 0 κ ( s ) μ 1 ρ 0 ( s ) b 1 / α ( s ) = 1 α b 1 / α ( s ) κ ( s ) 1 α μ 1 ρ 0 ( s ) g ( s ) ϰ β ( y ( s ) ) + ρ 0 κ ( s ) μ ρ s + ρ 0 κ ( s ) μ 1 ρ 0 ( s ) b 1 / α ( s ) 1 α b 1 / α ( s ) κ ( s ) 1 α μ 1 ρ 0 ( s ) g ˜ s κ β y ˜ s + ρ 0 κ ( s ) μ ρ 0 + ρ 0 κ ( s ) μ 1 ρ 0 ( s ) b 1 / α ( s ) .
By using (14), (16), (17), and (18), we find
w ( s ) δ 0 κ β / α ( s ) μ ( s ) 1 α μ 1 ρ 0 ( s ) δ 0 α b 1 / α ( s ) μ α + 1 ( s ) κ β s + ρ 0 κ ( s ) μ ρ 0 + ρ 0 κ ( s ) μ 1 ρ 0 ( s ) b 1 / α ( s ) δ 0 κ β / α ( s ) μ 1 ρ 0 ( s ) b 1 / α ( s ) + ρ 0 κ ( s ) μ ρ 0 s + ρ 0 κ ( s ) μ 1 ρ 0 ( s ) b 1 / α ( s ) c 1 δ 0 κ ( s ) μ 1 ρ 0 ( s ) b 1 / α ( s ) + ρ 0 κ ( s ) μ ρ 0 s + ρ 0 κ ( s ) μ 1 ρ 0 ( s ) b 1 / α ( s ) ρ 0 κ ( s ) μ 1 ρ 0 ( s ) b 1 / α ( s ) + ρ 0 κ ( s ) μ ρ 0 s + ρ 0 κ ( s ) μ 1 ρ 0 ( s ) b 1 / α ( s ) ρ 0 κ ( s ) μ ρ 0 s ρ 0 μ ρ 0 s ρ 0 κ ( s ) b 1 / α ( s ) μ ( s ) ρ 0 2 b 1 / α ( s ) μ ( s ) κ ( s ) μ ρ 0 s .
Using the fact that κ s / μ ρ 0 ( s ) l 2 , we get
w ( s ) ρ 0 2 l 2 b 1 / α ( s ) μ ( s ) < 0 .
By integrating the last inequality from s 1 to s , we have
w ( s 1 ) ρ 0 2 l 2 ln μ ( s 1 ) μ ( s ) as s ,
which is a contradiction. Thus, l 2 = 0 .
B 2 , 3 Finally, we have
b 1 / α ( s ) κ s μ s + κ s = b 1 / α ( s ) κ s μ s κ s + κ s = b 1 / α ( s ) κ s μ s = 1 α b s κ s α b 1 / α s κ s 1 α μ s 1 α g ˜ ( s ) κ β s b 1 / α s κ s 1 α μ s δ 0 α 1 b 1 / α s μ 1 + α s κ β s δ 0 κ β / α s μ s 1 α μ s δ 0 α 1 b 1 / α s μ α s κ β s δ 0 κ β / α s μ s 1 α δ 0 b 1 / α s μ s κ β / α s c 1 δ 0 b 1 / α s μ s κ s ρ 0 b 1 / α s μ s κ s .
By integrating the final inequality from s to , we deduce that
b 1 / α ( s ) κ s μ s + κ s ρ 0 s 1 b 1 / α ς κ ς μ ς d ς ρ 0 κ s μ s s 1 b 1 / α ς d ς ρ 0 κ s .
Thus
b 1 / α ( s ) κ s μ s + 1 ρ 0 κ s 0 ,
and hence
κ ( s ) μ 1 ρ 0 ( s ) = b 1 / α ( s ) μ ( s ) κ ( s ) + ( 1 ρ 0 ) κ ( s ) b 1 / α ( s ) μ 2 ρ 0 ( s ) 0 .
Hence, the proof is complete. □
Theorem 1. 
Suppose that there is a ρ 0 ( 0 , 1 ) such that (14) holds.
ρ 0 > 1 2 ,
then, (1) is oscillatory.
Proof. 
Assume, for the sake of contradiction, that κ is an eventually positive solution of (1). Using Lemma 3, we obtain that the functions κ s / μ ρ 0 s and κ s / μ 1 ρ 0 s are decreasing and increasing for s s 1 , respectively. In other words, we obtain
b 1 / α ( s ) κ s μ s + ρ 0 κ s 0 ,
and
b 1 / α ( s ) κ s μ s + 1 ρ 0 κ s 0 .
Combining (20) and (21), we get
0 b 1 / α ( s ) κ s μ s + 1 ρ 0 κ s = b 1 / α ( s ) κ s μ s + ρ 0 κ s + 1 2 ρ 0 κ s 1 2 β 0 κ s .
Since κ s > 0 , we have 1 2 β 0 0 , which mean that
β 0 1 / 2 ,
which is a contradiction. The proof is complete. □
If ρ 0 1 2 , then we can improve the results given in Lemma 3. Since μ ( s ) is decreasing, there exists a constant λ 1 such that
μ ( y ˜ ( s ) ) μ ( s ) λ .
We introduce the constant ρ 1 > ρ 0 as follows
ρ 1 = ρ 0 λ β ρ 0 1 β α ρ 0 α .
Lemma 4. 
Assume ϰ ( s ) is a positive solution of (1) and (14) holds. If (22) holds, then
  • B 3 , 1 κ ( s ) / μ ρ 1 ( s ) is decreasing;
  • B 3 , 2 lim s κ ( s ) / μ ρ 1 ( s ) = 0 ;
  • B 3 , 3 κ ( s ) / μ 1 ρ 1 ( s ) is increasing.
Proof. 
Suppose that ϰ is an eventually positive solution of (1) satisfying condition Case(2) in Lemma 1 for s s 1 s 0 . From Lemma 2, we have ( B 1 , 1 )–( B 1 , 4 ) hold. Furthermore, it follows from Lemma 3 that ( B 2 , 1 )–( B 2 , 3 ) hold.
B 3 , 1 Integrating (1) from s 1 to s , we get
b ( s ) κ ( s ) α b ( s 1 ) κ ( s 1 ) α + s 1 s i = 1 n g i ( ς ) ϰ β ( y i ( ς ) ) d ς b ( s 1 ) κ ( s 1 ) α + s 1 s g ˜ ς κ β y ˜ ς d ς ,
by using the fact κ ( s ) / μ ρ 0 ( s ) is decreasing, we have
b ( s ) κ ( s ) α b ( s 1 ) κ ( s 1 ) α + s 1 s κ ( ς ) μ ρ 0 ( ς ) β μ β ρ 0 ( y ˜ ς ) g ˜ ( ς ) d ς b ( s 1 ) κ ( s 1 ) α + κ ( s ) μ ρ 0 ( s ) β s 1 s μ β ρ 0 ( y ˜ ς ) g ˜ ( ς ) d ς .
By using (14) and (22), we get
b ( s ) κ ( s ) α b ( s 1 ) κ ( s 1 ) α + κ ( s ) μ ρ 0 ( s ) β s 1 s α δ 0 α λ β ρ 0 b 1 / α ( ς ) μ α + 1 ( ς ) μ β ρ 0 ( ς ) d ς b ( s 1 ) κ ( s 1 ) α + α δ 0 α λ β ρ 0 κ ( s ) μ ρ 0 ( s ) β s 1 s μ 1 α + β ρ 0 ( ς ) b 1 / α ( ς ) d ς b ( s 1 ) κ ( s 1 ) α + δ 0 α λ β ρ 0 ( 1 β α ρ 0 ) κ ( s ) μ ρ 0 ( s ) β μ β ρ 0 α ( s ) μ β ρ 0 α ( s 1 ) b ( s 1 ) κ ( s 1 ) α δ 0 α λ β ρ 0 ( 1 β α ρ 0 ) μ β ρ 0 α ( s 1 ) κ ( s ) μ ρ 0 ( s ) β + δ 0 α λ β ρ 0 ( 1 β α ρ 0 ) κ β ( s ) μ α s .
Using ( B 2 , 2 ), there is s 2 s 1 , , such that
b ( s 1 ) κ ( s 1 ) α δ 0 α λ β ρ 0 ( 1 β α ρ 0 ) μ β ρ 0 α ( s 1 ) κ ( s ) μ ρ 0 ( s ) β 0 ,
for s s 2 , and so
b ( s ) κ ( s ) α δ 0 α λ β ρ 0 ( 1 β α ρ 0 ) κ β ( s ) μ α s ,
and so
κ ( s ) δ 0 λ β ρ 0 1 β α ρ 0 1 / α 1 μ s b 1 / α ( s ) κ β / α ( s ) c 1 δ 0 λ β ρ 0 1 β α ρ 0 1 / α 1 μ s b 1 / α ( s ) κ ( s ) = ρ 0 λ β ρ 0 1 β α ρ 0 1 / α 1 μ s b 1 / α ( s ) κ ( s ) = ρ 1 1 μ s b 1 / α ( s ) κ ( s ) ,
or equivalently
b 1 / α ( s ) μ ( s ) κ ( s ) + ρ 1 κ ( s ) 0 .
Consequently,
κ ( s ) μ ρ 1 ( s ) = b 1 / α ( s ) μ ( s ) κ ( s ) + ρ 1 κ ( s ) b 1 / α ( s ) μ 1 + ρ 1 ( s ) 0 .
so κ ( s ) / μ ρ 1 ( s ) is decreasing.
Following the same steps as in the proof of Lemma 3, we can confirm that conditions ( B 3 , 2 ) and ( B 3 , 3 ) are satisfied. □
If ρ 1 < 1 / 2 , we can apply the same procedure to show that δ 2 > δ 1 , as demonstrated below:
ρ 2 = ρ 0 λ β ρ 1 1 β α ρ 1 α .
In general, if ρ i < 1 / 2 for i = 1 , 2 , . . . , m 1 , we can define
ρ m = ρ 0 λ β ρ m 1 1 β α ρ m 1 α ,
Additionally, following the same approach as in the proof of Lemma 4, we can confirm that
  • ( B m , 1 ) κ ( s ) / μ ρ m ( s ) is decreasing;
  • ( B m , 2 ) lim s κ ( s ) / μ ρ m ( s ) = 0 ;
  • ( B m , 3 ) κ ( s ) / μ 1 ρ m ( s ) is increasing.
Theorem 2. 
Suppose there exists a ρ 0 ( 0 , 1 ) such that condition (14) is satisfied. If there is some n N such that
ρ m > 1 2 ,
then (1) is oscillatory.
Theorem 3. 
Assume that (6), (14), and (22) hold. If there exists m N such that
lim inf s y ˜ s s μ ς g ˜ ς μ 1 α y ˜ ς d ς > α c 1 α ρ m α 1 1 ρ m e ,
then (1) is oscillatory.
Proof. 
Assume on the contrary that (1) possesses an eventually positive solution ϰ s . Condition (6) guarantees that ϰ ( s ) satisfies ( C 2 ). From Lemma 2, we have that ( B 1 , 1 )–( B 1 , 4 ) hold. We construct sequence ρ m by (25).
Now, we define the function
u s = b 1 / α ( s ) κ s μ s + κ s .
In view of B 1 , 1 in Lemma 2, we note that u ( s ) > 0 and from (b n , 1 ) we can obtain
b 1 / α ( s ) κ s μ s + ρ m κ s 0 .
Then, from the definition of u s , we have
u s = b 1 / α ( s ) κ s μ s + ρ m κ s ρ m κ s + κ s 1 ρ n κ s .
From B 1 , 3 and (18), we obtain
u s = b 1 / α ( s ) κ s μ s 1 α b s κ s α b 1 / α s κ s 1 α μ s 1 α g ˜ s κ β y ˜ s b 1 / α s κ s 1 α μ s 1 α g ˜ s κ β y ˜ s ρ m κ s μ s 1 α μ s 1 α ρ m 1 α g ˜ s μ s κ β y ˜ s κ s μ s 1 α .
from B 1 , 2 in Lemma 2, we note that κ s / μ s is increasing, then
κ y ˜ s μ y ˜ s κ s μ s .
Since 0 < α 1 , then
κ y ˜ s μ y ˜ s 1 α κ s μ s 1 α .
From this (29) becomes
u s 1 α ρ m 1 α g ˜ s μ s κ β y ˜ s κ y ˜ s μ y ˜ s 1 α 1 α ρ m 1 α g ˜ s μ s μ 1 α y ˜ s κ β α y ˜ s κ y ˜ s .
From (17), we know that κ β α y ˜ s c 1 α . Therefore the above inequality leads to
u s c 1 α α ρ m 1 α g ˜ s μ s μ 1 α y ˜ s κ y ˜ s .
By applying (28), we observe that u s is a positive solution of the inequality
u s + c 1 α α ρ m 1 α 1 ρ m μ s g ˜ s μ 1 α y ˜ s u y ˜ s 0 .
which leads to a contradiction, as Theorem 2.1.1 in [38] confirms that condition (27) ensures the nonexistence of any positive solution for (30) has no positive solution. Therefore, the proof of the theorem is complete. □
Remark 1. 
Theorem 3.5 in [27] gave the same result in Theorem 3 when we let α = β = 1 ,   n = 1 , and h s = 0 .
We use illustrative examples to show the importance of the obtained results.
Example 1. 
Consider the NDE
s 2 α ϰ s + h 0 ϰ r 0 s α + i = 1 n g 0 s α 1 ϰ β y i s = 0 , s 1 ,
where 0 h 0 < 1 , r 0 , y i 0 , 1 and g 0 > 0 . By comparing (1) and (31) we note that b s = s 2 α , g i s = g 0 s α 1 , h s = h 0 , y i s = y i s , y ˜ s = y ˜ s = max y i s , i = 1 , 2 , . . . , n , and r s = r 0 s . It is easy to find that
μ s = 1 s , μ r y ˜ s μ y ˜ s = 1 r 0 ,
and
g ˜ s = n g 0 s α 1 1 1 r 0 h 0 β .
For (14), we set
δ 0 = n g 0 1 1 r 0 h 0 β α α .
From (22), we have λ = 1 y ˜ . Now, we define the sequence β b b = 1 m as
ρ n = ρ 0 1 1 β α ρ n 1 1 y ˜ β ρ n 1 α ,
with
ρ 0 = n c 1 g 0 1 1 r 0 h 0 β α α .
Then, condition (19) reduces to
g 0 > α 2 n c 1 α 1 1 r 0 h 0 β .
Condition (27) leads to
lim inf s y ˜ s s 1 ς y ˜ 1 α ς 1 α n g 0 ς α 1 1 1 r 0 h 0 β d ς = lim inf s y ˜ s s n ς y ˜ 1 α g 0 1 1 r 0 h 0 β d ς = n y ˜ 1 α g 0 1 1 r 0 h 0 β lim inf s y ˜ s s 1 ς d ς = n y ˜ 1 α g 0 1 1 r 0 h 0 β ln 1 y ˜ ,
which holds when
g 0 > α c 1 α ρ n α 1 1 ρ n n y ˜ 1 α 1 1 r 0 h 0 β ln 1 y ˜ 1 e .
Using Theorems 1 and 3, we note that the solution of (31) is oscillatory if either (32) or (33) holds.
Example 2. 
Consider the NDE
s 2 / 3 ϰ s + 1 4 ϰ 1 2 s 1 / 3 + g 0 s 2 ϰ 1 / 5 1 3 s + ϰ 1 / 5 1 4 s + ϰ 1 / 5 1 5 s = 0 , s 1 ,
Clearly: n = 3 ,   α = 1 / 3 ,   β = 1 / 5 ,   b s = s 2 / 3 ,   g s = g 0 s 2 / 3 ,   h s = 1 4 ,   y ˜ s = 1 3 s , and r s = 1 2 s . It is easy to find that
μ s = 1 s , μ r y ˜ s μ y ˜ s = 2 ,
and
g ˜ s = 3 g 0 2 1 / 5 s 2 / 3 .
For (14), we set
δ 0 = 53.44 g 0 3 .
From (22), we have λ = 3 . Now, we define the sequence β b b = 1 m as:
ρ n = ρ 0 1 1 3 5 ρ n 1 3 3 3 ρ n 1 5 ,
with
ρ 0 = 17.8 g 0 3 c 1 , γ 1 > 0 .
Then, condition (26) reduces to
g 0 > 0.3 c 1 3 ,
and condition (27) leads to
lim inf s 1 / 3 s s 1 ς 1 3 2 / 3 3 g 0 1 2 1 / 5 d ς = 3 2 1 / 5 1 3 2 / 3 g 0 lim inf s 1 / 3 s s 1 ς d ς = 3 2 1 / 5 1 3 2 / 3 ln 3 g 0 = 1.4 g 0 ,
which holds when
g 0 > ρ n 2 / 3 γ 1 1 / 3 1 ρ n 4.2 e , γ 1 > 0 .
Using Theorems 1 and 3, we note that the solution of (34) is oscillatory if either (35) or (36) holds.
Notation 1. 
From the previous example we get
ρ 0 = 17.8 g 0 3 c 1 , c 1 > 0 .
Then condition (19) in Theorem 1 is satisfied if
17.8 g 0 3 c 1 > 1 2 ,
or
g 0 3 c 1 > 0.028 09 .
If we choose c 1 = 0.5 , then
g 0 > 0.383 .
Example 3. 
Consider the NDE
s 2 ϰ s + 1 4 ϰ 1 3 s + g 0 ϰ 1 2 s + ϰ 1 3 s + ϰ 1 4 s = 0 , s 1 ,
with g 0 > 0 . Clearly:
μ s = 1 s , μ r y ˜ s μ y ˜ s = 3 , λ = 2 and ρ 0 = 3 4 g 0 .
By setting g 0 = 0.7 , we have
ρ 0 = 0.525 ,
and it is verified that condition (19) is satisfied, which implies that (37) oscillates.
Furthermore, for g 0 = 0.5 , we obtain
ρ 1 = 0.7781 ,
and condition (26) holds for m = 1 , ensuring the oscillatory behavior of (37).
Finally, for g 0 = 0.27 , we find
ρ 6 = 0.56315 ,
and condition (26) is satisfied with m = 6 , again guaranteeing the oscillation of (37).

4. Conclusions

This research has comprehensively studied nonlinear neutral differential equations of the second order with multiple delays. New criteria were derived that ensure the oscillation of all solutions of the equation under study. The study relied on the effective application of the iterative technique, which highlighted its efficiency and accuracy in analyzing the oscillatory behavior of this class of equations. The results represent a qualitative expansion compared to previous studies, which focused mainly on linear and semi-linear equations, by expanding the scope of analysis to include nonlinear equations, representing important progress in this field. In addition, the research has strengthened the analytical framework for studying this class of equations, which contributed to enriching the scientific literature related to oscillatory behavior. With respect to future directions, it is recommended to explore the cases in which β > α as a step to expand the comprehensiveness of the current criteria. It is also suggested that the iterative technique be employed to analyze higher-order differential equations, with the aim of developing more general and comprehensive criteria. The results obtained in this research form a solid theoretical basis for future studies that contribute to deepening the theoretical understanding of the oscillatory behavior of nonlinear neutral differential equations, which enhances their academic value in the scientific literature.

Author Contributions

Methodology, N.A., O.B. and F.A.; investigation, O.B. and L.F.I.; writing— original draft, N.A., O.B. and L.F.I.; writing—review and editing, O.B. and N.A. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the University of Oradea.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Uddin, M.; Ali, H.; Taufiq, M. On the Approximation of a Nonlinear Biological Population Model Using Localized Radial Basis Function Method. Math. Comput. Appl. 2019, 24, 54. [Google Scholar] [CrossRef]
  2. Bellman, R.; Cooke, K.L. Differential-Difference Equations; Academic Press: New York, NY, USA, 1963. [Google Scholar]
  3. Kolmanovskii, V.B.; Myshkis, A.D. Applied Theory of Functional Differential Equations; Springer: Dordrecht, The Netherlands, 1992. [Google Scholar]
  4. Hale, J.K.; Lunel, S.M.V. Introduction to Functional Differential Equations; Springer: New York, NY, USA, 1993. [Google Scholar]
  5. Yan, L.; Yao, X.; Zhang, Q. Recent Developments in the Stability Analysis of Functional Differential Equations. Mathematics 2023, 11, 234–256. [Google Scholar]
  6. Zhang, C.; Agarwal, R.P.; Bohner, M.; Li, T. New oscillation results for second-order neutral delay dynamic equations. Adv. Differ. Equ. 2012, 2012, 1–14. [Google Scholar] [CrossRef]
  7. Baculíková, B.; Džurina, J. Oscillation theorems for second order neutral differential equations. Comput. Math. Appl. 2011, 61, 94–99. [Google Scholar] [CrossRef]
  8. Masood, F.; Moaaz, O.; Santra, S.S.; Fernandez-Gamiz, U.; El-Metwally, H. On the monotonic properties and oscillatory behavior of solutions of neutral differential equations. Demonstr. Math. 2023, 56, 20230123. [Google Scholar] [CrossRef]
  9. Masood, F.; Albalawi, W.; Moaaz, O.; El-Metwally, H. Oscillatory Features of Fourth-Order Emden–Fowler Differential Equations with Sublinear Neutral Terms. Symmetry 2024, 16, 933. [Google Scholar] [CrossRef]
  10. Koplatadze, R.I.; Khmaladze, E.G. Oscillation theorems for differential equations with deviating arguments. Differ. Equ. 1980, 16, 377–383. [Google Scholar]
  11. Alqahtani, Z.; Qaraad, B.; Almuneef, A.; Ramos, H. Asymptotic and Oscillatory Analysis of Second-Order Differential Equations with Distributed Deviating Arguments. Mathematics 2024, 12, 3542. [Google Scholar] [CrossRef]
  12. Gyori, I.; Ladas, G. Oscillation Theory of Delay Differential Equations with Applications; Clarendon Press: Oxford, UK, 1991. [Google Scholar]
  13. Agarwal, R.P. Oscillation Theory for Differential Equations; Springer: New York, NY, USA, 1992. [Google Scholar]
  14. Kiguradze, I.T. On the Oscillation of Solutions of Nonlinear Differential Equations. J. Math. Anal. Appl. 1993, 176, 430–451. [Google Scholar]
  15. Masood, F.; Moaaz, O.; Santra, S.S.; Fernandez-Gamiz, U.; El-Metwally, H.A. Oscillation theorems for fourth-order quasi-linear delay differential equations. AIMS Math. 2023, 8, 16291–16307. [Google Scholar] [CrossRef]
  16. Masood, F.; Cesarano, C.; Moaaz, O.; Askar, S.S.; Alshamrani, A.M.; El-Metwally, H. Kneser-Type Oscillation Criteria for Half-Linear Delay Differential Equations of Third Order. Symmetry 2023, 15, 1994. [Google Scholar] [CrossRef]
  17. Almarri, B.; Masood, F.; Muhib, A.; Moaaz, O. New Comparison Results for Oscillation of Even-Order Delay Differential Equations. Symmetry 2022, 14, 946. [Google Scholar] [CrossRef]
  18. Hale, J.K. Functional Differential Equations; Springer: New York, NY, USA, 1971. [Google Scholar]
  19. Agarwal, R.P.; Bohner, M.; Li, W.-T. Nonoscillation and Oscillation: Theory for Functional Differential Equations; Marcel Dekker, Inc.: New York, NY, USA, 2004. [Google Scholar]
  20. Agarwal, R.P.; Bohner, M.; Li, T.; Zhang, C. Oscillation of second-order Emden–Fowler neutral delay differential equations. Ann. Mat. Pura Appl. 2014, 193, 1861–1875. [Google Scholar] [CrossRef]
  21. Agarwal, R.P.; Grace, S.R.; O’Regan, D. Oscillation Theory for Second Order Linear, Half-Linear, Superlinear and Sublinear Dynamic Equations; Kluwer Academic Publishers: Dordrecht, The Netherlands, 2002. [Google Scholar]
  22. Bazighifan, O. On the Oscillation of Certain Fourth-Order Differential Equations with p-Laplacian Like Operator. Appl. Math. Comput. 2020, 386, 125475. [Google Scholar] [CrossRef]
  23. Bohner, M.; Grace, S.R.; Jadlovská, I. Sharp oscillation criteria for second-order neutral delay differential equations. Math. Methods Appl. Sci. 2020, 43, 10041–10053. [Google Scholar] [CrossRef]
  24. Bazighifan, O.; Abdeljawad, T. Improved Approach for Studying Oscillatory Properties of Fourth-Order Advanced Differential Equations with p-Laplacian Like Operator. Mathematics 2020, 8, 656. [Google Scholar] [CrossRef]
  25. Bazighifan, O.; Santra, S.S. Second-Order Differential Equations: Asymptotic Behavior of the Solutions. Miskolc Math. Notes 2022, 23, 105–115. [Google Scholar] [CrossRef]
  26. Bazighifan, O.; Santra, S.S.; Postolache, M. New Conditions for the Oscillation of Second-Order Differential Equations with Sublinear Neutral Terms. Mathematics 2021, 9, 1159. [Google Scholar] [CrossRef]
  27. Baculíková, B. Oscillatory behavior of the second order noncanonical differential equations. Electron. J. Qual. Differ. Equ. 2019, 89, 1–11. [Google Scholar] [CrossRef]
  28. Grammatikopoulos, M.K.; Ladas, G.; Meimaridou, A. Oscillation of second order neutral delay differential equation. Rad. Mat. 1985, 1, 267–274. [Google Scholar]
  29. Xu, R.; Xia, Y. A note on the oscillation of second-order nonlinear neutral functional differential equations. Int. J. Contemp. Math. Sci. 2008, 3, 1441–1450. [Google Scholar]
  30. Grace, S.R.; Lalli, B.S. Oscillation of nonlinear second order neutral delay differential equations. Rad. Math. 1987, 3, 77–84. [Google Scholar]
  31. Džurina, J.; Stavroulakis, I.P. Oscillation criteria for second-order delay differential equations. Appl. Math. Comput. 2003, 140, 445–453. [Google Scholar] [CrossRef]
  32. Sun, S.; Li, T.; Han, Z.; Li, H. Oscillation Theorems for Second-Order Quasilinear Neutral Functional Differential Equations. Abstr. Appl. Anal. 2012, 2012, 819342. [Google Scholar] [CrossRef]
  33. Bohner, M.; Grace, S.R.; Jadlovská, I. Oscillation criteria for second-order neutral delay differential equations. Electron. J. Qual. Theory Differ. Equ. 2017, 2017, 60. [Google Scholar] [CrossRef]
  34. Grace, S.R.; Jadlovska, I.; Zafer, A. On Oscillation of Second Order Delay Differential Equations with a Sublinear Neutral Term. Mediterr. J. Math. 2020, 17, 116. [Google Scholar] [CrossRef]
  35. Bohner, M.; Grace, S.; Jadlovská, I. Sharp results for oscillation of second-order neutral delay differential equations. Electron. Qual. Theory Differ. Equ. 2023, 2023, 1–23. [Google Scholar] [CrossRef]
  36. Moaaz, O.; Masood, F.; Cesarano, C.; Alsallami, S.A.M.; Khalil, E.M.; Bouazizi, M.L. Neutral Differential Equations of Second-Order: Iterative Monotonic Properties. Mathematics 2022, 10, 1356. [Google Scholar] [CrossRef]
  37. Alemam, A.; Al-Jaser, A.; Moaaz, O.; Masood, F.; El-Metwally, H. Second-Order Neutral Differential Equations with a Sublinear Neutral Term: Examining the Oscillatory Behavior. Axioms 2024, 13, 681. [Google Scholar] [CrossRef]
  38. Ladde, G.S.; Lakshmikantham, V.; Zhang, B.G. Oscillation Theory of Differential Equations with Deviating Arguments; Marcel Dekker: New York, NY, USA, 1987. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Bazighifan, O.; Alshammari, N.; Aldosari, F.; Iambor, L.F. Oscillation Solutions for Nonlinear Second-Order Neutral Differential Equations. Mathematics 2025, 13, 247. https://doi.org/10.3390/math13020247

AMA Style

Bazighifan O, Alshammari N, Aldosari F, Iambor LF. Oscillation Solutions for Nonlinear Second-Order Neutral Differential Equations. Mathematics. 2025; 13(2):247. https://doi.org/10.3390/math13020247

Chicago/Turabian Style

Bazighifan, Omar, Nawa Alshammari, Faten Aldosari, and Loredana Florentina Iambor. 2025. "Oscillation Solutions for Nonlinear Second-Order Neutral Differential Equations" Mathematics 13, no. 2: 247. https://doi.org/10.3390/math13020247

APA Style

Bazighifan, O., Alshammari, N., Aldosari, F., & Iambor, L. F. (2025). Oscillation Solutions for Nonlinear Second-Order Neutral Differential Equations. Mathematics, 13(2), 247. https://doi.org/10.3390/math13020247

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