Next Article in Journal
Fractional Analysis of Nonlinear Boussinesq Equation under Atangana–Baleanu–Caputo Operator
Next Article in Special Issue
Freelance Model with Atangana–Baleanu Caputo Fractional Derivative
Previous Article in Journal
The Shadows of Regular Black Holes with Asymptotic Minkowski Cores
Previous Article in Special Issue
Coefficient-Related Studies and Fekete-Szegö Type Inequalities for New Classes of Bi-Starlike and Bi-Convex Functions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

New Conditions for Testing the Oscillation of Third-Order Differential Equations with Distributed Arguments

1
Department of Mathematical Sciences, College of Science, Princess Nourah bint Abdulrahman University, P.O. Box 84428, Riyadh 11671, Saudi Arabia
2
Department of Mathematics, Faculty of Science, Mansoura University, Mansoura 35516, Egypt
3
Section of Mathematics, International Telematic University Uninettuno, Corso Vittorio Emanuele II, 39, 00186 Roma, Italy
4
Department of Mathematics, Faculty of Science, Khon Kaen University, Khon Kaen 40002, Thailand
*
Author to whom correspondence should be addressed.
Symmetry 2022, 14(11), 2416; https://doi.org/10.3390/sym14112416
Submission received: 9 October 2022 / Revised: 28 October 2022 / Accepted: 10 November 2022 / Published: 15 November 2022
(This article belongs to the Special Issue Symmetry in Nonlinear and Convex Analysis)

Abstract

:
In this paper, we consider a certain class of third-order nonlinear delay differential equations with distributed arguments. By the principle of comparison, we obtain the conditions for the nonexistence of positive decreasing solutions as well as, and by using the Riccati transformation technique, we obtain the conditions for the nonexistence of increasing solutions. Therefore, we get new sufficient criteria that ensure that every solution of the studied equation oscillates. Asymmetry plays an important role in describing the properties of solutions of differential equations. An example is given to illustrate the importance of our results.

1. Introduction

The first kernel of differential equations and their associated asymmetric properties began to appear in the middle of the seventeenth century and continued to develop until it became an effective and indispensable tool for solving and explaining the various phenomena of life. Differential equations have become an integral part of most sciences because of their great impact on the progress of science and the support of its outputs. The qualitative theory is one of the most important theories that has been associated with the study of differential equations on a large scale, and one of its most important branches is the study of the qualitative properties of solutions to differential equations.
Lately, the study of the oscillation of solutions to differential equations has received great attention from scientists due to its multiple applications in various sciences, such as engineering, economics, and physics. Especially the medical field, for example, the red blood cell preservation model and the lung expansion model in patients with COVID-19, in addition to a model for diagnosing diabetes patients [1].
In recent decades, many studies have appeared interested in obtaining sufficient conditions to ensure the oscillation or non-oscillation of solutions of second-order (nonlinear and linear) neutral delay differential equations; see [2,3,4]. In addition to the references therein, few of these results were with distributed deviating arguments; for example, Sahiner and Wang in [5,6] established some Philos-type oscillation criteria for the equation
ȷ ı ϑ ı + g ı ϑ ı ς + m n Ω ı , ξ ϑ ε ı , ξ d ξ = 0 ,
in canonical form. After a while, Xu et al. [7] were concerned with the oscillation problem for the following neutral delay.
Equation with continuous distributed
ȷ ı ϖ ϑ ı ϑ ı + g ı ϑ ı ς d ξ + m n Ω ı , ξ ϑ ε ı , ξ d ξ = 0 .
While the study of the oscillation of third-order differential equations is comparatively less if any, they exist, and most of them revolve around delay differential equations, for example, [8,9,10,11,12,13]. Over the previous few years, a number of results have appeared related to the study and development of the oscillation of solutions of third-order neutral differential equations with a continuously distributed delay [14,15,16,17,18].
Zhang et al. [19], by using different techniques, established some results that discuss the oscillation of solutions to the equation
ȷ ı ϑ ı + c d g ı , ξ ϑ ς ı , ξ d ξ + m n Ω ı , ξ f ϑ ε ı , ξ d ξ = 0 ,
with canonical form and with hypothesis
0 p t c d p t d s p < 1
On the other hand, Candan in [20] studied the following equation
ȷ 1 ı ȷ 2 ı ϖ ı + m n Ω 1 ı , ξ ϑ ı ξ d ξ + m n Ω 2 ı , ξ ϑ ı + ξ d ξ = 0 ,
where
ϖ ı = g 1 ı ϑ ı ς 1 + g 2 ı ϑ ı + ς 2
and used the condition 1 to ensure that the solutions of the Equation (3) are either oscillatory or converge to zero. Fu et al. [21] studied oscillation and asymptotic behavior of solutions to equation
ȷ ı ϑ ı + c d g ı , ξ ϑ ς ı , ξ d ξ + m n Ω ı , ξ f ϑ ε ı , ξ d ξ = 0 ,
with canonical form and under conditions from (2) 0 < < 1 holds. Wanga et al. [22] investigated a general third-order neutral delay differential equation
ȷ 1 ı ȷ 2 ı ϑ ı + g ı , ξ ϑ ς ı , ξ + m n Ω ı , ξ f ϑ ε ı , ξ d ξ = 0 ,
and assumed that
0 g ı g 0 < 1
and
ı 0 ȷ 1 1 ı d ξ = and ı 0 ȷ 2 1 ı d ξ = .
They presented some conditions that ensure that the solutions to the equation are either oscillatory or converge to zero. Further, Gaoa et al. [23] obtained some oscillation criteria for Equation (1), but in the case of noncanonical equations under condition (2). For more results for similar equations, see, for example, [24,25,26,27,28,29,30,31,32,33,34].
In this paper, we establish the oscillatory behavior of the solution of the following third-order neutral differential equation with a continuously distributed delay
ȷ ı ϑ ı + g ı ϑ ς ı + m n Ω ı , ξ ϑ ε ı , ξ d ξ = 0 ,
For ı ı 0 , where > 0 is the ratio of odd positive integers. Throughout this paper, the following hypotheses are assumed to hold:
(I1)
ȷ , g , ς C T ı 0 , Ω ı , ξ , ε ı , ξ C T ı 0 × ( m , n ) , R , where ı 0 , = T ı 0 and ȷ > 0 , g ı g 0 < , Ω ı , ξ 0 does not vanish identically such that
ȷ 1 / ξ d ξ = ;
(I2)
ς ı < ı , ε ı , ξ < ı , ς ı ς 0 > 0 , lim ı ς ı = , lim ı ε ı , ξ = and ς ε = ε ς .
A solution to (4) means ϑ C [ ı ϑ , ) , T 0 (where T 0 = [ 0 , ) ) with ı ϑ ı 0 , which satisfies the properties ϖ ı C 2 [ ı ϑ , ) , T 0 , ȷ ϖ C 1 [ ı ϑ , ) , T 0 and satisfies (4) on [ ı ϑ , ) . We consider the nontrivial solutions of (4) existing on some half-line [ ı ϑ , ) and satisfying the condition sup { ϑ ı : ı ϑ ı } > 0 for all ı ϑ ı ϑ . Moreover, solution ϑ is called an oscillatory solution when it is neither positive nor negative eventually. Otherwise, it is called a nonoscillatory solution.
The purpose of this paper is to derive some new results on the oscillation of all solutions to (4). In contrast to the published results, which provide some almost oscillation criteria for Equation (4) (See, for example [19,20,21,22]). The results obtained can be applied in the case where ε ı , ξ ı and g ı g 0 < . Therefore, the current results continue and extend the results mentioned in the previous literature.
Remark 1.
In this paper:
a We consider every inequality satisfied eventually. Thus, they are satisfied ı large enough;
b Without loss of generality, we only deal with a solution ϑ > 0 of (4) (a solution ϑ < 0 is similar);
c We set
ϖ ı = ϑ ı + g ı ϑ ς ı .
Definition 1.
Let ϖ ı > 0 and ϖ ı > 0 and ȷ ı ϖ ı be nonpositive functions. Then
(i)
class Y 1 means the set of all solutions ϑ of Equation (4) that satisfy ϖ ı > 0 ;
(ii)
class Y 2 means the set of all solutions ϑ of Equation (4) that satisfy ϖ ı < 0 .
We present the following Lemma that will help us to prove our next results
Lemma 1
([35]). Let U and V be nonnegative functions. Then
U + V γ K U γ + V γ ,
where
K = 1 i f γ ( 0 , 1 ] a n d K = 2 γ 1 i f γ ( 1 , ) .
Lemma 2
([36]). Assume that ϑ > 0 is a solution of
ȷ ı ϑ ı + g ı ϑ ς ı + Ω ı ϑ ε ı = 0 .
If
ı 0 ξ 1 ȷ ς u u Ω ˜ ı , ξ d u d ξ = ,
then ϑ Y 2 and lim ı ϑ ı = 0 .
For conciseness, we provide the notes below:
η ı , ı 1 = ı 1 ı 1 ȷ 1 / ξ , η 1 ı , ı 1 = ı 1 ı η ı , ξ d ξ , Ω ˜ ı : = min Ω ı , ξ , Ω ς ı , ξ , Ω ˜ 1 ı , ξ : = m n Ω ˜ ı , ξ d ξ .

2. Nonexistence of Decreasing Solutions

In this section, we present conditions that ensure the nonexistence of positive decreasing solutions of (4).
Theorem 1.
If a function ζ ı C T ı 0 , T 0 satisfying ε ı , n < ζ ı and ς 1 ζ ı < ı , such that the equation
υ ı + k ς 0 K ς 0 + g 0 η 1 ζ ı , ε ı , n Ω ˜ 1 ı υ ς 1 ζ ı = 0
is oscillatory, then Y 2 = .
Proof. 
Assume ϑ > 0 is a solution of (4). It is easy to see that
m n Ω ı , ξ ϑ ε ı , ξ d ξ + m n Ω ς ı , ξ ϑ β ε ς ı , ξ d ξ m n Ω ˜ ı , ξ ϑ ε ı , ξ + ϑ ε ς ı , ξ d ξ .
From Lemma 1, we note that
1 K ϖ ε ı , ξ ϑ ε ı , ξ + g 0 ϑ ς ε ı , ξ .
In (8), we get
m n Ω ˜ ı , ξ ϑ ε ı , ξ + ϑ ε ς ı , ξ d ξ 1 K m n Ω ˜ ı , ξ ϖ ε ı , ξ d ξ .
Now, from (4), we obtain
1 ς ı ȷ ς ı ϖ ς ı + m n Ω ς ı , ξ ϑ β ε ς ı , ξ d ξ 0 .
Combining (4) with (10), then using inequality (9), we have
0 ȷ ı ϖ ı + m n Ω ı , ξ ϑ ε ı , ξ d ξ + g 0 ς 0 ȷ ς ı ϖ ς ı + g 0 m n Ω ς ı , ξ ϑ ε ς ı , ξ d ξ .
That is
ȷ ı ϖ ı + g 0 ς 0 ȷ ς ı ϖ ς ı + 1 K m n Ω ˜ ı , ξ ϖ ε ı , ξ d ξ 0 .
Thus
ȷ ı ϖ ı + g 0 ς 0 ȷ ς ı ϖ ς ı + 1 K ϖ ε ı , n Ω ˜ 1 ı 0 .
Since ȷ ı ϖ ı 0 , we find
ȷ ı ϖ ı ȷ ς ı ϖ ς ı ,
and hence
ȷ ı ϖ ı + g 0 ς 0 ȷ ς ı ϖ ς ı 1 + g 0 ς 0 ȷ ς ı ϖ ς ı .
Now, set
υ ı : = ȷ ı ϖ ı + g 0 ς 0 ȷ ς ı ϖ ς ı .
That is
ς 0 ς 0 + g 0 υ ı ȷ ς ı ϖ ς ı
or
ς 0 ς 0 + g 0 υ ς 1 ζ ı ȷ ζ ı ϖ ζ ı .
On the other hand, since ȷ ı ϖ ı is nonincreasing, we note that
ϖ u u v 1 ȷ 1 / ξ ȷ 1 / ξ ϖ ξ d ξ η v , u ȷ 1 / v ϖ v
and
ϖ u ȷ 1 / v ϖ v η 1 v , u .
Thus,
ϖ ε ı , n ȷ 1 / ζ ı ϖ ζ ı η 1 ζ ı , ε ı , n .
Using (14) and (15) in (12), it is easy to note that υ is a positive solution of
υ ı + ς 0 η 1 ζ ı , ε ı , n K ς 0 + g 0 Ω ˜ 1 ı υ ς 1 ζ ı 0 .
From (Theorem 1 in [2]), the associated Equation (7) also has a positive solution. The proof is complete. □
Corollary 1.
If a function ζ ı C T ı 0 , T 0 and ε ı , n < ζ ı and ς 1 ζ ı < ı , such that
lim ı inf ς 1 ζ ı ı η 1 ζ ξ , ε ı , n Ω ˜ 1 ξ d ξ > K ς 0 + g 0 ς 0 e
or
ı ı + ς 1 ζ ı η 1 ζ ξ , ε ı , n Ω ˜ 1 ξ d ξ > 0 , f o r ı ı 0
and
ı 0 η 1 ζ ı , ε ı , n Ω ˜ ı ln e ı ı + ς 1 ζ ı ς 0 K ς 0 + g 0 η 1 ζ ξ , ε ı , n Ω ˜ 1 ξ d ξ d ı = ,
then Y 2 = .
Proof. 
In view of [13,37], condition (16) or conditions (17) and (16) imply the oscillation of (7). □

3. Nonexistence of Increasing Solutions

Now in this section, we present conditions that ensure the nonexistence of positive increasing solutions of (4).
Theorem 2.
Assume that a function C 1 T ı 0 , 0 , and ε ı ς ı , such that
lim sup ı ı 2 ı 1 K ı Ω ˜ 1 ı ς 0 + g 0 4 ς 0 ı 2 ı η 1 ε ı , ı 1 1 η ε ı , m , ı 1 ε ı , m d ξ = ,
for ı 1 ı 0 , ı 2 ı 1 . Then Y 1 = .
Proof. 
Assume that ϑ is a positive solution to (4) and ϖ Y 1 . From (11), and since ȷ ı ϖ ı 0 , we obtain
ȷ ı ϖ ı + g 0 ς 0 ȷ ı ϖ ς ı 1 K ϖ ε ı , m Ω ˜ ı .
and
ϖ ı ı 1 ı 1 ȷ 1 / ξ ȷ 1 / ξ ϖ ξ d ξ η ı , ı 1 ȷ 1 / ı ϖ ı .
Further,
ϖ ı ȷ 1 / ı ϖ ı η 1 ı , ı 1 .
From (21) and (22), we have
ϖ ε ı ϖ 1 ε ı ȷ ı ϖ ı ȷ ε ı ϖ ε ı ϖ ı ȷ ı η ε ı , ı 1 η 1 ε ı , ı 1 1 η ε ı , ı 1 η 1 ε ı , ı 1 1 .
Since ε ı ς ı , we get
ϖ 1 ε ı ϖ ε ı ȷ ς ı ϖ ς ı ȷ ε ı ϖ ε ı ȷ ς ı ϖ ε η ε ı , ı 1 η 1 ε ı , ı 1 1 η ε ı , ı 1 η 1 ε ı , ı 1 1 .
We define the two functions
ω ı = ı ȷ ı ϖ ı ϖ ε ı , m > 0
and
v ı = ı ȷ ς ı ϖ ς ı ϖ ε ı , m > 0 .
Differentiating (25) and (26), respectively, then using (23) and (24), we obtain
ω ı = ı ȷ ı ϖ ı ϖ ε ı , m + ı ȷ ı ϖ ı ϖ ε ı , m
ı ȷ ı ϖ ı ϖ 1 ε ı , m ϖ ε ı , m ε ı ϖ 2 ε ı , m ı ı ω ı + ı ȷ ı ϖ ı ϖ ε ı , m
ε ı ı η ε ı , m , ı 1 η 1 ε ı , m , ı 1 1 ω 2 ı .
and
v ı = ı ȷ ς ı ϖ ς ı ϖ ε ı , m + ı ȷ ς ı ϖ ς ı ϖ ε ı , m
ı ȷ ς ı ϖ ς ı ϖ 1 ε ı , m ϖ ε ı , m ε ı ϖ 2 ε ı , m ı v ı ı + ı ȷ ς ı ϖ ς ı ϖ ε ı , m
ε ı ı η ε ı , m , ı 1 η 1 ε ı , m , ı 1 1 v 2 ı .
Using inequalities (28) and (30), implies
ω ı + 0 v ı ς 0 ı ϖ ı ȷ ı + 0 ς 0 ȷ ς ı ϖ ς ı ϖ ε ı , m + ı ı ω ı ε ı ı η ε ı , m , ı 1 η 1 ε ı , m , ı 1 1 ω 2 ı + 0 ς 0 ı ı v ı ε ı ı η ε ı , m , ı 1 η 1 ε ı , m , ı 1 1 v 2 ı .
Applying (20), (31), and
B u A u 2 n 2 4 A , m > 0 ,
we have
ω ı + 0 ς 0 v ı ı K Ω ˜ 1 ı + 1 + g 0 ς 0 4 ı 2 ı η 1 ε ı , m , ı 1 1 η ε ı , m , ı 1 ε ı .
Integrating (32) from ı 2 to ı, we get
ı 2 ı ı K Ω ˜ 1 ı 1 + g 0 ς 0 4 ı 2 ı η 1 ε ı , m , ı 1 1 η ε ı , m , ı 1 ε ı d ξ ω ı 2 + 0 ς 0 v ı 2 .
This contradicts (19). The proof is complete. □
Theorem 3.
Assume that a function C 1 T ı 0 , 0 , and ε ı ς ı , such that
lim sup ı ı 2 ı ξ K Ω ˜ 1 ξ ς 0 + g 0 ς 0 + 1 + 1 ξ + 1 ξ η ς ı , m , ı 1 ς ı , m d ξ = ,
for ı 1 ı 0 , ı 2 ı 1 . Then Y 1 = .
Proof. 
Let ϑ > 0 be a solution of (4) and ϖ Y 1 . By (21), we obtain
ϖ ς ı , m η ς ı , m , ı 1 ȷ 1 / ς ı , m ϖ ς ı , m
or
ϖ ς ı , m η ς ı , m , ı 1 ȷ 1 / ı ϖ ı .
We define the two positive functions
ω ı = ı ȷ ı ϖ ı ϖ ς ı , m
and
v ı = ı ȷ ς ı ϖ ς ı ϖ ς ı , m .
From (36) and by using (35), we have
ω ı = ı ȷ ı ϖ ı ϖ ς ı , m + ı ȷ ı ϖ ı ϖ ς ı , m
ı ȷ ı ϖ ı ϖ 1 ς ı , m ϖ ς ı , m ς ı , m ϖ 2 ς ı , m ı ı ω ı + ı ȷ ı ϖ ı ϖ ς ı , m
ς ı , m 1 ı η ς ı , m , ı 1 ω + 1 ı .
Further, using (37) and (34) yields
v ı = ı ȷ ς ı ϖ ς ı ϖ ς ı , m + ı ȷ ς ı ϖ ς ı ϖ ς ı , m
θ ı ȷ ς ı ϖ ς ı ϖ 1 ς ı , m ϖ ς ı , m ς ı , m ϖ 2 ς ı , m ı ı v ı + ı ȷ ς ı ϖ ς ı ϖ ς ı , m
α ς ı , m 1 ı η ς ı , m , ı 1 v + 1 ı .
Using (39) and (41) and taking into account (11) and ε ı , m ς ı , m , we find
ω ı + 0 v ı ς 0 ı ȷ ı ϖ ı + 0 ς 0 ȷ ς ı ϖ ς ı ϖ ς ı , m + ı ı ω ı ς ı , m 1 ı η ς ı , m , ı 1 ω + 1 ı + 0 ς 0 ı ı v ı ς ı , m 1 ı η ς ı , m , ı 1 v + 1 ı ı K Ω ˜ 1 ı + ı ı ω ı ς ı , m 1 ı η ς ı , m , ı 1 ω + 1 ı + 0 ς 0 ı ı v ı ς ı , m 1 ı η ς ı , m , ı 1 v + 1 ı .
Applying the inequality
B u A u + 1 + 1 + 1 B + 1 A , m > 0 .
Hence, we have
ω ı + 0 v ı ς 0 ı K Ω ˜ 1 ı + 1 + 1 + 1 ı 1 + ı η ς ı , m , ı 1 ς ı , m + 0 ς 0 + 1 + 1 ı 1 + ı η ς ı , m , ı 1 ς ı , m .
Integrating (44) from ı 2 to ı, this leads us to
ı 2 ı ı K Ω ˜ 1 ı ς 0 + g 0 + 1 + 1 ς 0 ı 1 + ı η ς ı , m , ı 1 ς ı , m d ξ ω ı 2 + 0 ς 0 v ı 2 .
This contradicts (33). The proof is complete. □
Theorem 4.
Assume that a function C 1 T ı 0 , 0 , and ε ı ς ı , such that
lim sup ı ı 2 ı ξ K Ω ˜ 1 ξ 1 + g 0 ς 0 4 ξ 2 ξ η 1 ς ı , m , ı 1 1 η ς ı , m , ı 1 ς ı , m d ξ = ,
for ı 1 ı 0 , ı 2 ı 1 . Then Y 1 = .
Proof. 
By using (38) and (40), in a similar way as in proof of Theorem 2, we get condition (45). □

4. Philos-Type

Let
O 0 = { ( ı , ξ ) : ı > ξ ı 0 } and O = { ( ı , ξ ) : ı ξ ı 0 } .
Moreover, the function L C ( O , R ) . If
L ( ı , ı ) = 0 , ı ı 0 ; L ( ı , ξ ) > 0 , ( ı , ξ ) O 0 ;
and L has a nonpositive continuous partial derivative with respect to the second variable in O 0 . Then L is said to belong to the class P. For brevity, let us assume that
W 1 ı , ξ : = 1 K L ı , ξ ı Ω ˜ 1 ı 1 + g 0 ς 0 + 1 + 1 h ı , ξ + 1 ξ η ε ı , m , ı 1 ε ı , m , W 2 ı , ξ : = 1 K L ı , ξ ı Ω ˜ 1 ı 1 + g 0 ς 0 + 1 1 h ı , ξ 2 ı η 1 ε ı , ı 1 1 η ε ı , ı 1 ς ı , W 3 ı , ξ : = 1 K L ı , ξ ı Ω ˜ 1 ı 1 + g 0 ς 0 1 + 1 + h ı , ξ + 1 ı η ς ı , ı 1 ς ı
and
W 4 ı , ξ : = 1 K L ı , ξ ı Ω ˜ 1 ı 1 + g 0 ς 0 4 h ı , ξ 2 ı η 1 ς ı , ı 1 1 η ς ı , ı 1 ς ı .
Theorem 5.
Let ε ı ς ı and ε ı > 0 . Moreover, suppose that a function C 1 [ ı 0 , , 0 , ) , for all sufficiently large ı 1 ı 0 , a ı 2 > ı 1 and L P such that
ξ L ı , ξ L ı , ξ ξ ξ = h ı , ξ L ı , ξ + 1 1 ξ , ı , ξ O 0 ,
and
lim sup ı 1 L ı , ı 2 ı 2 ı W 1 ı , ξ d ξ = .
Then Y 1 = .
Proof. 
Suppose that ϑ is a positive solution of (4). By (21), we obtain
ϖ ε ı η ε ı , ı 1 ȷ 1 / ε ı ϖ ε ı η ε ı , ı 1 ȷ 1 / ı ϖ ı
and by ε ı ς ı , we get
ϖ ε ı η ς ı , ı 1 ȷ 1 / ς ı ϖ ς ı .
We define ω and v as in Theorem 2 to get (27) and (29) then by (48), we get
w ı = ı w ı ı + ı ȷ ı ϖ ı ϖ ε ı , m ε ı , m 1 ı η ε ı , m , ı 1 w + 1 ı .
By (49), we get
v ı ı v ı ı + ı ȷ ς ı ϖ ς ı ϖ ε ı , m ε ı 1 ı η ε ı , ı 1 v + 1 ı .
Using inequalities (50) and (51), we get
ω ı + 0 ς 0 v ı ı ȷ ı ϖ ı + 0 ς 0 ȷ ς ı ϖ ς ı ϖ ε ı , m + ı ı ω ı ε ı , m 1 ı η ε ı , m , ı 1 w + 1 ı + 0 ς 0 ı ı v ı α ε ı , m 1 ı η ε ı , m , ı 1 v + 1 ı ı K Ω ˜ 1 ı + ı ı ω ı ε ı , m 1 ı η ε ı , m , ı 1 w + 1 ı + 0 ς 0 ı ı v ı ε ı , m 1 ı η ε ı , m , ı 1 v + 1 ı .
or
ı K Ω ˜ ı ω ı 0 v ı ς 0 + ı ω ı ı ε ı 1 ı η ε ı , ı 1 w + 1 ı + 0 ς 0 ı ı v ı ε ı 1 ı η ε ı , ı 1 v + 1 ı .
It follows that
ı 2 ı L ı , ξ ξ K Ω ˜ 1 ξ d ξ ı 2 ı L ı , ξ ω ξ d ξ ı 2 ı L ı , ξ 0 ς 0 v ξ d ξ + ı 2 ı L ı , ξ ξ ξ ω ξ d ξ ı 2 ı L ı , ξ ε ı , m 1 ξ η ε ı , m , ı 1 w + 1 ξ d ξ + 0 ς 0 ı 2 ı L ı , ξ ξ ξ v ξ d ξ 0 ς 0 ı 2 ı L ı , ξ ε ı , m 1 ξ η ε ı , m , ı 1 v + 1 ξ d ξ .
This implies
ı 2 ı L ı , ξ ξ K Ω ˜ 1 ξ d ξ L ı , ξ ω ı 2 d ξ ı 2 ı ξ L ı , ξ L ı , ξ ξ ξ ω ξ d ξ ı 2 ı L ı , ξ ε ı , m 1 ξ η ε ı , m , ı 1 w + 1 ξ d ξ + L ı , ξ 0 ς 0 v ı 2 0 ς 0 ı 2 ı ξ L ı , ξ L ı , ξ ξ ξ v ξ d ξ 0 ς 0 ı 2 ı L ı , ξ ε ı , m 1 ξ η ε ı , m , ı 1 v + 1 ξ d ξ .
Thus,
ı 2 ı L ı , ξ ξ K Ω ˜ 1 ξ d ξ L ı , ξ ω ı 2 d ξ + L ı , ξ 0 ς 0 v ı 2 ı 2 ı h ı , ξ L ı , ξ + 1 ω ξ ξ ε ı , m η ε ı , m , ı 1 L ı , ξ w + 1 ξ 1 ξ d ξ 0 ς 0 ı 2 ı h ı , ξ L ı , ξ + 1 v ξ ξ ε ı , m η ε ı , m , ı 1 L ı , ξ v + 1 ξ 1 ξ d ξ .
Using (43), we have
1 L ı , ξ ı 2 ı L ı , ξ ξ K Ω ˜ 1 ξ 1 + 0 ς 0 + 1 + 1 h ı , ξ + 1 ξ η ε ı , m , ı 1 ε ı , m d ξ ω ı 2 d ξ + 0 ς 0 v ı 2 .
The proof is complete. □
Theorem 6.
Let ε ı ς ı and ε ı > 0 . Moreover, assume that a function C 1 [ ı 0 , 0 , ) and L P , for all sufficiently large ı 1 ı 0 , a ı 2 > ı 1 such that
ξ L ı , ξ L ı , ξ ξ ξ = h ı , ξ L ı , ξ 1 2 1 ξ , ı , ξ O 0 ,
and
lim sup ı 1 L ı , ı 2 ı 2 ı W 2 ı , ξ d ξ = .
Then Y 1 = .
Proof. 
By using (31) in Theorem 2, in a similar way to the proof of Theorem 5, we get condition (53). □
Theorem 7.
Let ε ı ς ı and ε ı > 0 . Moreover, assume that L P and a function C 1 [ ı 0 , , 0 , ) , for all sufficiently large ı 1 ı 0 , a ı 2 > ı 1 such that (46) hold and
lim sup ı 1 L ı , ı 2 ı 2 ı W 3 ı , ξ d ξ = .
Then Y 1 = .
Proof. 
By using (46) in Theorem 3, similar to the proof of Theorem 5, we get condition (54). □
Theorem 8.
Let ε ı ς ı and ε ı > 0 . Moreover, assume that L P and a function C 1 [ ı 0 , , 0 , ) , for all sufficiently large ı 1 ı 0 , a ı 2 > ı 1 such that (52) hold and
lim sup ı 1 L ı , ı 2 ı 2 ı W 4 ı , ξ d ξ = .
Then Y 1 = .
Proof. 
By using Theorem 4, similar to the proof of Theorem 5, we conclude (54). □

5. Oscillation Criteria

Now, combining Corollary 1 with Theorems 2–4 and combining Corollary 1 with Theorems 5–8, respectively, it is easy to get new oscillation criteria for (4).
Theorem 9.
Assume that a functions ζ ı C T ı 0 , T 0 and C 1 T ı 0 , 0 , , and ε ı , n < ζ ı , ς 1 ζ ı < ı and ε ı ς ı such that (16) or (17) and (18) hold, if (19) is satisfied, then (4) is oscillatory.
Theorem 10.
Assume that a functions ζ ı C T ı 0 , T 0 and C 1 T ı 0 , 0 , , and ε ı , n < ζ ı , ς 1 ζ ı < ı and ε ı ς ı , such that (16) or (17) and (18) hold, if (33) is satisfied, then (4) is oscillatory.
Theorem 11.
Assume that a function ζ ı C T ı 0 , T 0 and C 1 T ı 0 , 0 , , and ε ı , n < ζ ı , ς 1 ζ ı < ı and ε ı ς ı such that (16) or (17) and (18) hold, if (45) is satisfied, then (4) is oscillatory.
Moreover, combining Corollary 1 with Theorems 5–8, respectively, we present the following Theorems:
Theorem 12.
Assume that a functions ζ ı C T ı 0 , T 0 and C 1 [ ı 0 , , 0 , ) and ε ı , n < ζ ı and ı > ς 1 ζ ı , ε ı ς ı , ε ı > 0 such that (16) or (17) and (18) hold, if and L P such that (46) and (47) is satisfied, then (4) is oscillatory.
Theorem 13.
Assume that a functions ζ ı C T ı 0 , T 0 and C 1 [ ı 0 , , 0 , ) and ε ı , n < ζ ı and ı > ς 1 ζ ı , ε ı ς ı , ε ı > 0 such that (16) or (17) and (18) hold, if L P such that (52) and (53) is satisfied, then (4) is oscillatory.
Theorem 14.
Assume that a functions ζ ı C T ı 0 , T 0 and C 1 [ ı 0 , , 0 , ) and ε ı , n < ζ ı and ı > ς 1 ζ ı , ε ı ς ı , ε ı > 0 such that (16) or (17) and (18) hold, if L P such that (46) and (54) is satisfied, then (4) is oscillatory.
Theorem 15.
Assume that a functions ζ ı C T ı 0 , T 0 and C 1 [ ı 0 , , 0 , ) and ε ı , n < ζ ı and ı > ς 1 ζ ı , ε ı ς ı , ε ı > 0 such that (16) or (17) and (18) hold, if L P such that (52) and (55) is satisfied, then (4) is oscillatory.
Example 1.
Consider the third-order neutral differential equation
ı ϑ ı + g 0 ı ϑ ı 2 3 + λ ı 6 ϑ 3 ε ı 2 = 0 , λ > 0 .
Setting = ı 5 , by Theorem 4, we obtain
λ > 25 2 2 2 5 3 1 + 2 0 3
or by Theorem 3, we obtain
λ > 5 4 2 5 4 3 1 + 2 0 3 .
Thus, by condition (6) in Lemma 2, we see that (56) is almost oscillatory if (57) or (58) hold.
For this example, condition (58) is better than condition (57).

6. Conclusions

This paper presents new criteria for the oscillation behavior of third-order neutral differential Equation (4) with continuously distributed delay in a form that is essentially new and of a high degree of generality. We obtained different conditions that guarantee the nonexistence of positive decreasing solutions by using the comparison technique with first-order delay equations. We also obtained conditions that guarantee the nonexistence of positive increasing solutions by using the Riccati transformation and integral averaging method. Therefore, we concluded with criteria that ensure the oscillation of all solutions to Equation (4).
It would be interesting to study (4) without restriction ς ε = ε ς and in cases where p ı is an oscillatory function.

Author Contributions

Formal analysis, A.A.T., B.Q. and K.N.; Data curation, A.A.T., O.B. and K.N.; Funding acquisition, K.N.; Methodology, B.Q. and O.B.; Project administration, K.N.; Resources, A.A.T. and O.B.; Software, O.B.; Supervision, B.Q. and O.B.; Validation, A.A.T. and O.B.; Visualization, A.A.T.; Writing—review and editing, A.A.T. and K.N. All authors read and agreed to the published version of the manuscript.

Funding

Funding for this manuscript was provided by Princess Nourah bint Abdulrahman University Researchers Supporting Project number (PNURSP2022R295).

Data Availability Statement

No data were used to support this study.

Acknowledgments

Authors would like to thank Princess Nourah bint Abdulrahman University Researchers Supporting Project number (PNURSP2022R295), Princess Nourah bint Abdulrahman University, Riyadh, Saudi Arabia.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Gatewood, L.C.; Ackerman, E.; Rosevear, J.W.; Molnar, G.D. Modeling Blood Glucose Dynamics. Behav. Sci. 1970, 15, 72–87. [Google Scholar] [CrossRef] [PubMed]
  2. Philos, C. On the existence of nonoscillatory solutions tending to zero at ∞ for differential equations with positive delay. Arch. Math. 1981, 36, 168–178. [Google Scholar] [CrossRef]
  3. Moaaz, O.; Elabbasy, E.M.; Qaraad, B. An improved approach for studying oscillation of generalized Emden–Fowler neutral differential equation. J. Inequal. Appl. 2020, 69, 2020. [Google Scholar] [CrossRef]
  4. Chatzarakis, G.E.; Moaaz, O.; Li, T.; Qaraad, B. Some oscillation theorems for nonlinear second-order differential equations with an advanced argument. Adv. Differ. Equ. 2020, 160, 2020. [Google Scholar] [CrossRef]
  5. Sahiner, Y. On oscillation of second order neutral type delay differential equations. Comput. Math. Appl. 2004, 150, 697–706. [Google Scholar]
  6. Wang, P. Oscillation criteria for second-order neutra equations with distributed deviating arguments. Comput. Math. Appl. 2004, 47, 1935–1946. [Google Scholar] [CrossRef] [Green Version]
  7. Xu, Z.; Weng, P. Oscillation of second order neutral equations with distributed deviating argument. J. Comput. Appl. Math. 2007, 202, 460–477. [Google Scholar] [CrossRef] [Green Version]
  8. 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]
  9. Grace, S.R.; Agarwal, R.P.; Pavani, R.; Thandapani, E. On the oscillation of certain third order nonlinear functional differential equations. Appl. Math. Comput. 2008, 202, 102–112. [Google Scholar] [CrossRef]
  10. Xing, G.; Li, T.; Zhang, C. Oscillation of higher-order quasi-linear neutral differential equations. Adv. Differ. Equ. 2011, 45, 1–10. [Google Scholar] [CrossRef] [Green Version]
  11. Graef, J.R.; Tunc, E.; Grace, S.R. Oscillatory and asymptotic behavior of a third-order nonlinear neutral differential equation. Opusc. Math. 2017, 37, 839–852. [Google Scholar] [CrossRef]
  12. Elabbasy, E.M.; Qaraad, B.; Abdeljawad, T.; Moaaz, O. Oscillation Criteria for a Class of Third-Order Damped Neutral Differential Equations. Symmetry 2020, 12, 1988. [Google Scholar] [CrossRef]
  13. Tang, X.H. Oscillation for first order superlinear delay differential equations. J. London Math. Soc. 2002, 65, 115–122. [Google Scholar] [CrossRef]
  14. Baculikova, B.; Dzurina, J. Oscillation of third-order neutral differential equations. Math. Comput. Model. 2010, 52, 215–226. [Google Scholar] [CrossRef]
  15. Candan, T. Oscillation criteria and asymptotic properties of solutions of third-order nonlinear neutral differential equations. Math. Methods Appl. Sci. 2015, 38, 1379–1392. [Google Scholar] [CrossRef]
  16. Candan, T. Asymptotic properties of solutions of third-order nonlinear neutral dynamic equations. Adv. Differ. Equ. 2014, 2014, 35. [Google Scholar] [CrossRef] [Green Version]
  17. Thandapani, E.; Tamilvanan, S.; Jambulingam, E.; Tech, V.T.M. Oscillation of third order half linear neutral delay differential equations. Int. J. Pure Appl. Math. 2012, 77, 359–368. [Google Scholar]
  18. Jiang, Y.; Li, T. Asymptotic behavior of a third-order nonlinear neutral delay differential equation. J. Inequal. Appl. 2014, 512, 1–7. [Google Scholar] [CrossRef] [Green Version]
  19. Zhang, Q.; Gao, L.; Yu, Y. Oscillation criteria for third-order neutral differential equations with continuously distributed delay. Appl. Math. Lett. 2012, 25, 1514–1519. [Google Scholar] [CrossRef] [Green Version]
  20. Bazighifan, O.; Postolache, M. Improved Conditions for Oscillation of Functional Nonlinear Differential Equations. Mathematics 2020, 8, 552. [Google Scholar] [CrossRef] [Green Version]
  21. Fu, Y.; Tian, Y.; Jiang, C.; Li, T. On the Asymptotic properties of nonlinear, third-order neutral delay differential equations with distributed deviating arguments. J. Funct. Spaces 2016, 1–5. [Google Scholar] [CrossRef] [Green Version]
  22. Wanga, H.; Chen, G.; Jiang, Y.; Jiang, C.; Li, T. Asymptotic behavior of third-order neutral differential equations with distributed deviating arguments. Math. Computer Sci. 2017, 17, 194–199. [Google Scholar] [CrossRef] [Green Version]
  23. Gao, S.; Chen, Z.; Shi, W. New oscillation criteria for third-order neutral differential equations with continuously distributed delay. Appl. Math. Lett. 2018, 77, 64–71. [Google Scholar] [CrossRef]
  24. Senel, M.T.; Utku, N. Oscillation criteria for third-order neutral dynamic equations with continuously distributed delay. Adv. Differ. Equ. 2014, 2014, 1–15. [Google Scholar] [CrossRef] [Green Version]
  25. Tian, Y.Z.; Cai, Y.L.; Fu, Y.L.; Li, T.X. Oscillation and asymptotic behavior of third-order neutral differential equations with distributed deviating arguments. Adv. Differ. Equ. 2015, 267, 1–14. [Google Scholar] [CrossRef] [Green Version]
  26. Jiang, C.M.; Jiang, Y.; Li, T.X. Asymptotic behavior of third-order differential equations with nonpositive neutral coefficients and distributed deviating arguments. Adv. Differ. Equ. 2016, 105, 1–14. [Google Scholar] [CrossRef] [Green Version]
  27. Almarri, B.; Ali, A.H.; Al-Ghafri, K.S.; Almutairi, A.; Bazighifan, O.; Awrejcewicz, J. Symmetric and Non-Oscillatory Characteristics of the Neutral Differential Equations Solutions Related to p-Laplacian Operators. Symmetry 2022, 14, 566. [Google Scholar] [CrossRef]
  28. Almarri, B.; Ali, A.H.; Lopes, A.M.; Bazighifan, O. Nonlinear Differential Equations with Distributed Delay: Some New Oscillatory Solutions. Mathematics 2022, 10, 995. [Google Scholar] [CrossRef]
  29. Almarri, B.; Janaki, S.; Ganesan, V.; Ali, A.H.; Nonlaopon, K.; Bazighifan, O. Novel Oscillation Theorems and Symmetric Properties of Nonlinear Delay Differential Equations of Fourth-Order with a Middle Term. Symmetry 2022, 14, 585. [Google Scholar] [CrossRef]
  30. Bazighifan, O.; Ali, A.H.; Mofarreh, F.; Raffoul, Y.N. Extended Approach to the Asymptotic Behavior and Symmetric Solutions of Advanced Differential Equations. Symmetry 2022, 14, 686. [Google Scholar] [CrossRef]
  31. Ali, A.H.; Meften, G.; Bazighifan, O.; Iqbal, M.; Elaskar, S.; Awrejcewicz, J. A Study of Continuous Dependence and Symmetric Properties of Double Diffusive Convection: Forchheimer Model. Symmetry 2022, 14, 682. [Google Scholar] [CrossRef]
  32. Abed Meften, G.; Ali, A.H.; Al-Ghafri, K.; Awrejcewicz, J.; Bazighifan, O. Nonlinear Stability and Linear Instability of Double-Diffusive Convection in a Rotating with LTNE Effects and Symmetric Properties: Brinkmann-Forchheimer Model. Symmetry 2022, 14, 565. [Google Scholar] [CrossRef]
  33. Rasheed, M.; Ali, A.H.; Alabdali, O.; Shihab, S.; Rashid, A.; Rashid, T.; Hamad, S.H.A. The Effectiveness of the Finite Differences Method on Physical and Medical Images Based on a Heat Diffusion Equation. J. Phys. Conf. Ser. 2021, 1999, 012080. [Google Scholar] [CrossRef]
  34. Qaraad, B.; Bazighifan, O.; Nofal, T.A.; Ali, A.H. Neutral differential equations with distribution deviating arguments: Oscillation conditions. J. Ocean Eng. Sci. 2022. [Google Scholar] [CrossRef]
  35. Moaaz, O.; Dassios, I.; Bazighifan, O. Oscillation Criteria of Higher-order Neutral Differential Equations with Several Deviating Arguments. Mathematics 2020, 8, 412. [Google Scholar] [CrossRef] [Green Version]
  36. Thandapani, E.; Li, T. On The Oscillation of Third-Order Quasi-Linear Neutral Functional Differential Equations. Archivum Mathematicum. 2011, 47, 181–199. [Google Scholar]
  37. Li, B. Oscillation of first order delay differential equations. Am. Math. Soc. 1996, 124, 3729–3737. [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

Al Themairi, A.; Qaraad, B.; Bazighifan, O.; Nonlaopon, K. New Conditions for Testing the Oscillation of Third-Order Differential Equations with Distributed Arguments. Symmetry 2022, 14, 2416. https://doi.org/10.3390/sym14112416

AMA Style

Al Themairi A, Qaraad B, Bazighifan O, Nonlaopon K. New Conditions for Testing the Oscillation of Third-Order Differential Equations with Distributed Arguments. Symmetry. 2022; 14(11):2416. https://doi.org/10.3390/sym14112416

Chicago/Turabian Style

Al Themairi, A., Belgees Qaraad, Omar Bazighifan, and Kamsing Nonlaopon. 2022. "New Conditions for Testing the Oscillation of Third-Order Differential Equations with Distributed Arguments" Symmetry 14, no. 11: 2416. https://doi.org/10.3390/sym14112416

APA Style

Al Themairi, A., Qaraad, B., Bazighifan, O., & Nonlaopon, K. (2022). New Conditions for Testing the Oscillation of Third-Order Differential Equations with Distributed Arguments. Symmetry, 14(11), 2416. https://doi.org/10.3390/sym14112416

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