Next Article in Journal
Enhanced Intrusion Detection Using Conditional-Tabular-Generative-Adversarial-Network-Augmented Data and a Convolutional Neural Network: A Robust Approach to Addressing Imbalanced Cybersecurity Datasets
Previous Article in Journal
A Polyp Segmentation Algorithm Based on Local Enhancement and Attention Mechanism
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Study of Solutions for a Class of Third-Order Semilinear Nonhomogeneous Delay Differential Equations

1
School of Applied Mathematics, Jilin University of Finance and Economics, Changchun 130117, China
2
School of Mathematics, Jilin University, Changchun 130021, China
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(12), 1926; https://doi.org/10.3390/math13121926
Submission received: 14 May 2025 / Revised: 2 June 2025 / Accepted: 7 June 2025 / Published: 10 June 2025
(This article belongs to the Section C1: Difference and Differential Equations)

Abstract

:
This paper mainly investigates a class of third-order semilinear delay differential equations with a nonhomogeneous term ( [ x ( t ) ] α ) + q ( t ) x α ( σ ( t ) ) + f ( t ) = 0 , t t 0 . Under the oscillation criteria, we propose a sufficient condition to ensure that all solutions for the equation exhibit oscillatory behavior when α is the quotient of two positive odd integers, supported by concrete examples to verify the accuracy of these conditions. Furthermore, for the case α = 1 , a sufficient condition is established to guarantee that the solutions either oscillate or asymptotically converge to zero. Moreover, under these criteria, we demonstrate that the global oscillatory behavior of solutions remains unaffected by time-delay functions, nonhomogeneous terms, or nonlinear perturbations when α = 1 . Finally, numerical simulations are provided to validate the effectiveness of the derived conclusions.

1. Introduction

Delay differential equations form a category of mathematical frameworks that characterize systems whose current state depends on both present inputs and prior states of a distinct historical moment. This characteristic enables delay differential equations to more accurately describe the lag effects present in many practical problems. These equations demonstrate widespread utility across multiple disciplines, encompassing engineering control systems, biological processes, economic modeling, and physical phenomena research [1,2,3,4]. For example, in control systems, time delays model the latency between sensor responses and actuator actions [5]. In biology, the reproductive cycles of the dynamics of predator–prey populations can be modeled using delays [6]. In economics, the delays of investment decisions and policy implementation are often characterized by delay models [7]. However, the introduction of delays creates historical dependence and the complexity of nonlinear terms, posing significant challenges for both analytical solutions and numerical computations of delay differential equations. This inherent complexity and diversity has established delay differential equations as a critical research focus in mathematics, computer science, and engineering disciplines.
Third-order semilinear DDEs are a class of complex dynamical equations that combine higher-order derivatives, nonlinear terms, and time-delay characteristics. They are used to describe the interaction between the current state and past states in dynamic systems [8,9]. Due to the historical dependence introduced by higher-order nonlinear terms and delays, third-order semilinear delay differential equations exhibit rich dynamic behaviors, including oscillations, bifurcations, asymptotic stability, and divergence [10,11,12]. This mathematical complexity makes them a focal point of research in theoretical analysis and practical applications. In real-world scenarios, third-order delay differential equations are widely employed to model complex systems with delayed feedback [13]. Therefore, studying the solutions of third-order DDEs holds significant practical importance.
In recent years, researchers have achieved significant progress in advancing oscillation theory within differential equations and expanding its practical applications across scientific domains [14,15,16]. In 1993, Zafer and Dahiya [17] conducted a pioneering investigation into solutions of third-order delay differential equations with nonhomogeneous terms:
( a 2 ( t ) ( a 1 ( t ) x ( t ) ) ) + q ( t ) f ( x ( g ( t ) ) ) = h ( t ) ,
where, f , a 1 , a 2 , q , h 0 , g ( t ) is a delay function, lim t g ( t ) = . This study established a novel oscillation criterion for Equation (1) and further discussed the asymptotic behavior of solutions under condition r 1 ( t ) = r 2 ( t ) = 1 . Several key conclusions were derived, providing a theoretical foundation for subsequent research on the properties of solutions to third-order DDEs.
This paper primarily investigates third-order semilinear nonhomogeneous delay differential equations
( [ x ( t ) ] α ) + q ( t ) x α ( σ ( t ) ) + f ( t ) = 0 , t t 0 .
For Equation (2), we impose the following assumptions:
Hypothesis 1.
x ( t ) C 3 ( [ t 0 , ) , R ) is the unknown function, which satisfies the third-order differentiability condition.
Hypothesis 2.
σ ( t ) C 1 ( [ t 0 , ) , R ) is a delay function, which satisfies the constraint 0 < σ ( t ) t and σ ( t ) is differentiable.
Hypothesis 3.
α > 0 is the quotient of two positive odd numbers, that is α = p / q ( p , q N + and is an odd integer).
Hypothesis 4.
q ( t ) C 1 ( [ t 0 , ) , R + ) is a continuous positive definite function, q ( t ) > 0 .
Hypothesis 5.
f ( t ) C 1 ( [ t 0 , ) , R 0 ) is the nonhomogeneous term, f ( t ) 0 .
For a solution x ( t ) for Equation (2), the following definition is given:
(a) For any arbitrarily large T , a solution x ( t ) for Equation (2) is classified as oscillatory if x ( t ) = 0 occurs at some t > T ; otherwise, it is referred to as non-oscillatory.
(b) If Equation (2) has at least one oscillatory solution, it is termed an oscillatory equation.
(c) A solution x ( t ) for Equation (2) is termed eventually positive if there exists T , such that x ( t ) > 0 holds for all t > T ; A solution x ( t ) for Equation (2) is classified as eventually negative if there exists T , such that x ( t ) < 0 holds for all t > T .
Hanan [18] conducted in-depth research on third-order linear homogeneous differential equations.
x t + q t x t = 0 , t t 0
and the following oscillation criteria are presented.
Theorem 1
([18]). Let
l i m t i n f t 3 q t > 2 3 3 ,
then Equation (3) is oscillatory. If
l i m t i n f t 3 q t < 2 3 3 ,
then Equation (3) is non-oscillatory.
The following question arises: Is it feasible to generalize the oscillation criteria established for the third-order linear homogeneous Equation (3) to the semilinear nonhomogeneous delay differential Equation (2) of the same order? This paper provides an affirmative answer. In Theorem 1, establish a new oscillation criterion of Equation (2) to ensure that every solution oscillates. In Theorem 2, we discuss the nature of the solutions to equation x ( t ) + q ( t ) x ( σ ( t ) ) + f ( t ) = 0 , when α = 1 , and establish a sufficient condition under which the solutions of such equations exhibit oscillatory behavior or converge to zero. This conclusion remains valid even in cases where the nonhomogeneous term is zero or when time delays are absent. To illustrate the main results, numerical simulations were conducted.

2. Basic Lemmas

To examine the oscillation characteristics of Equation (2), it is necessary to prove several lemmas. If x ( t ) is a solution for Equation (2), then the function x ( t ) simultaneously satisfies the equation. Therefore, it suffices to consider only the eventually positive solutions for Equation (2). Here, we do not consider extreme special cases, such as the trivial solution represented by f ( t ) = x ( t ) = 0 .
Lemma 1.
If x ( t ) is an ultimately positive solution for Equation (2), then there exists t 1 t 0 , such that whenever the relation t t 1 holds, the following inequalities are satisfied.
d x t > 0 , x ( t ) > 0 , x t > 0 , e x t > 0 , x ( t ) < 0 , x t > 0 , f x t i s o s c i l l a t o r y .
Proof. 
Since x ( t ) constitutes an eventually positive solution for Equation (2), there exists a sufficiently large constant t 1 t 0 , such that under the condition t t 1 ,
x ( t ) > 0 , x ( σ ( t ) ) > 0 .
Moreover, Equation (2) yields:
( [ x ( t ) ] α ) + f ( t ) = q ( t ) x α ( σ ( t ) ) 0 , t t 1
Therefore, [ x ( t ) ] α is sign-definite and monotonically decreasing, meaning that when t t 1 occurs, either x ( t ) > 0 or x ( t ) < 0 holds. Now, we can confirm that x ( t ) > 0 holds universally.
Assume that x ( t ) < 0 holds. Because [ x ( t ) ] α is monotonically decreasing, there exists a positive constant m, such that
[ x ( t ) ] α m < 0 .
Integrate the above equation from t 1 to t, thus we obtain
x ( t ) x ( t 1 ) m 1 α ( t t 1 ) .
Let t , then x t . Given x ( t ) < 0 , there exists a positive constant m 1 such that x ( t ) < m 1 . Integrating from t 1 to t, we obtain
x ( t ) x ( t 1 ) + m 1 ( t t 1 ) .
Let t , then x t , which contradicts x t . Therefore, x t > 0 and x t are monotonically increasing and numbered. If x ( t ) is neither the eventually negative solution nor the eventually positive solution, then x ( t ) is obviously oscillatory. □
Lemma 2.
Assume that x ( t ) denotes an eventually positive solution to Equation (2) under condition (e). If
t 0 ν u [ q ( s ) + f ( s ) ] d s 1 α d u d v = ,
then x ( t ) is an oscillation. If f ( t ) = 0 , then x ( t ) is an oscillation or lim t x ( t ) = 0 .
Proof. 
Let x ( t ) be the ultimately uniformly positive solutions for Equation (2) satisfying (e), and lim t x ( t ) = η = 0 .
We now proceed to prove η = 0 . If η > 0 , then there exists a constant t 1 t 0 , such that
x σ t η , t t 1 .
Integrate Equation (2) over the interval from t to ∞
x ( s ) α | t t [ q ( s ) x α ( σ ( s ) ) + f ( s ) ] d s = 0
x ( t ) α = t q ( s ) x α ( σ ( s ) ) + f ( s ) d s = t q ( s ) x α ( σ ( s ) ) d s + t f ( s ) d s η α t q ( s ) d s + t f ( s ) d s .
Owing to f ( t ) being a nonhomogeneous term, η α f ( t ) does not affect the final result, so we obtain
x ( t ) η t [ q ( s ) + f ( s ) ] d s 1 α ,
The double integral of the above expression from t to ∞ and then from t 1 to ∞
x ( t ) | t | t 1 η t 1 ν u q ( s ) + f ( s ) d s 1 α d u d v ,
Simplifies to
x ( t 1 ) η t 1 ν u q ( s ) + f ( s ) d s 1 α d u d v .
This contradicts (9). Thus, when f ( t ) = 0 , η = 0 . If x ( t ) is neither the eventually negative solution nor the eventually positive solution, then x ( t ) is obviousily oscillatory. □
Lemma 3.
First-order nonhomogeneous delay differential equation
y ( t ) + W 1 ( t ) y ( σ ( t ) ) + g ( t ) = 0
is oscillatory, where y ( t ) is a delay function, g ( t ) 0 is a nonhomogeneous term,
W 1 ( t ) = t λ ( t ) s λ ( s ) q ( u ) d u 1 α d s ,
and λ ( t ) C 1 ( [ t 0 , + ) ) satisfies these three basic conditions: λ ( t ) > t , λ > 0 and σ ( λ ( t ) ) < t . Therefore, Equation (2) does not possess an eventual positive solution that satisfies condition (e) of Lemma 1.
Proof. 
Integrating Equation (2) from t to λ ( t ) , we obtain
x ( t ) α | t λ ( t ) + t λ ( t ) q ( s ) x α ( σ ( s ) ) + f ( s ) d s = 0 ,
owing to
t λ ( t ) f ( s ) d s 0 .
Therefore, we obtain
x ( t ) α t λ ( t ) q ( s ) x α ( σ ( s ) ) d s + t λ ( t ) f ( s ) d s t λ ( t ) q ( s ) x α ( σ ( s ) ) d s t λ ( t ) q ( s ) x α ( σ [ λ ( s ) ] ) d s = x α ( σ [ λ ( t ) ] ) t λ ( t ) q ( s ) d s .
Take the square root of both sides and ultimately obtain
x ( t ) x ( σ [ λ ( t ) ] ) t λ ( t ) q ( s ) d s 1 α .
Integrate the above expression from t to λ ( t ) and then take the double integral from t to ∞; thus we obtain
x ( s ) t λ ( s ) ) | t t t λ ( t ) x ( σ [ λ ( u ) ] ) t λ ( t ) q ( s ) d s 1 α d u t x ( σ ( ν ) ) s λ ( s ) v λ ( ν ) q ( u ) d u 1 α d ν d s .
Let y ( t ) denote the integral at the right end of the above equation, then y ( t ) > 0 . Moreover, it can be easily verified that y ( t ) is a solution to the following integral inequality.
y ( t ) + y ( λ ( t ) ) V λ ( v ) q ( s ) d s 1 α d v 0
The Philos theorem (The literature [19], Theorem 1) shows that y ( t ) is the positive solution of the corresponding differential Equation (10). This contradicts the hypothesis. □
Lemma 4.
Let x ( t ) be the final positive solution for Equation (2) that satisfies condition (d). Then, there exists T t 0 , such that
x ( t ) x ( t ) 1 2 ( t T ) , t T .
Proof. 
According to Lemmas 1 and 3, there exists T t 0 , such that
x ( σ ( t ) ) > 0 , x ( σ ( t ) ) x ( t ) > 0 , x ( t ) > 0 , t T .
Then, there exists ξ 0 , such that x ( t ) < ξ 0 . Next, we perform a Taylor expansion of x ( t ) at t = T to obtain
x ( t ) x ( T ) > ( t T ) x ( t ) + 1 2 ( t T ) 2 x ( t ) .
Let
y ( t ) = ( t T ) x ( t ) 1 2 ( t T ) 2 x ( t ) ,
Then, y ( T ) = 0 , and taking the derivative of y ( t ) , we obtain
y ( t ) = x ( t ) 1 2 ( t T ) 2 x ( t )
Substitute (12) into (13)
y ( t ) > x ( T ) + ( t T ) x ( t ) > 0 , t T ,
Furthermore, since y ( T ) = 0 , when t > T holds, y ( t ) > 0 follows; in other words
x ( t ) x ( t ) t T 2 .
Lemma 5
([20]). Let ν ( t ) > 0 , ν ( t ) > 0 , ν ( t ) < 0 , 0 < σ ( t ) t , t T , then for every constant k [ 0 , 1 ] , there exists T k T , such that
ν ( σ ( t ) ) k σ ( t ) t ν ( t ) , t T k .
Proof. 
By Lagrange’s mean value theorem and the monotonicity of ν ( t ) , when T σ ( t ) < t , there exists
ν ( t ) ν ( σ ( t ) ) ν ( σ ( t ) ) ( t σ ( t ) ) ,
Furthermore, ν ( σ ( t ) ) ν ( T ) + ν ( σ ( t ) ) ( σ ( t ) T ) ; therefore, for every k [ 0 , 1 ] , there exists T k T , such that
ν ( σ ( t ) ) ν ( σ ( t ) ) k σ ( t ) t T k .
By combining the two equations above, we can obtain
ν ( t ) ν ( σ ( t ) ) t + ( k 1 ) σ ( t ) k σ ( t ) t k σ ( t ) t T k ,
that is ν ( σ ( t ) ) k σ ( t ) t ν ( t ) .  □
Now, let us introduce the notation
Q 1 = lim t inf t α t Q ( s ) d s ,
Q 2 = lim t inf 1 t t 0 t s α + 1 Q ( s ) d s ,
where
Q ( t ) = q ( t ) k σ ( t ) t α σ ( t ) T 2 α .
Let x ( t ) be the solution of (2) satisfying (d). Due to the high complexity of directly analyzing higher-order derivatives ( [ x ( t ) ] α ) , to transform it into a ratio relationship between lower-order derivatives x ( t ) and x ( t ) for better quantification of the oscillatory or convergent behavior of the solution, we define:
P ( t ) = x ( t ) x ( t ) α ,
P 1 = lim t inf t α P ( t ) , P 2 = lim t sup t α P ( t ) .
Lemma 6.
Let x ( t ) be the ultimately positive definite solution of Equation (2) satisfying condition (d), then
Q 1 P 1 P 1 1 + 1 α ,
and
Q 2 α P 2 ( 1 P 1 1 α ) .
Proof. 
Let P ( t ) = x ( t ) x ( t ) α , from condition (d), we know that x ( t ) > 0 , x ( t ) > 0 , hence P ( t ) > 0 . By differentiating P ( t ) > 0 , we obtain
P ( t ) = α x ( t ) x ( t ) α 1 · x ( t ) x ( t ) ( x ( t ) ) 2 ( x ( t ) ) 2 .
Substituting into (2) and simplifying, we obtain
P ( t ) = q ( t ) x α ( σ ( t ) ) ( x ( t ) ) α α P 1 + 1 α ( t ) f ( t ) 1 ( x ( t ) ) α .
By Lemma 4 and Lemma 5, we have
x ( σ ( t ) ) 1 2 [ σ ( t ) T ] x ( σ ( t ) ) ,
and
x ( t ) α k σ ( t ) t x ( σ ( t ) ) α ,
Substituting the above inequality into the expression P ( t )
P ( t ) + Q ( t ) + α P 1 + 1 α ( t ) + f ( t ) [ x ( t ) ] α 0 ,
From f ( t ) 0 , x ( t ) > 0 , and Q ( t ) > 0 , we have
P ( t ) + Q ( t ) + α P 1 + 1 α ( t ) < 0 .
i.e.,
P ( t ) α P 1 + 1 α ( t ) = 1 P 1 α ( t ) < 1 , t T .
By integrating from T to t
( t T ) α P ( t ) < 1 .
Since P ( t ) > 0 , for any α , lim t ( t T ) α = . Therefore, lim t P ( t ) = 0 . Integrating Equation (20) from t to ∞
P ( t ) α t P 1 + 1 α ( s ) d s + t Q ( s ) d s .
Therefore,
P 1 = lim t inf t α P ( t ) Q 1 .
According to (17) and the definition of the lower limit, for any arbitrarily small ϵ > 0 , there exists T 1 T , such that
P 1 ε < inf t α P ( t ) t α P ( t ) , Q 1 ε inf t α t Q ( s ) d s , t T 1 .
In view of
α t α t P 1 + 1 α ( s ) d s = t α t α s α + 1 P 1 + 1 α ( s ) s α + 1 d s t α t α ( P 1 ε ) 1 + 1 α s α + 1 d s = ( P 1 ε ) 1 + 1 α t α t ( s α ) d s = ( P 1 ε ) 1 + 1 α .
Substitute into Equation (23)
t α P ( t ) ( P 1 ε ) 1 + 1 α + t α t Q ( s ) d s ( P 1 ε ) 1 + 1 α + ( Q 1 ε ) .
As ε is an arbitrarily small number, it follows that P 1 P 1 1 + 1 α + Q 1 . Consequently, Equation (18) holds.
The following proves that (19) holds. By multiplying t α + 1 with Equation (20) and performing the integration from T to t
T t s α + 1 d P ( s ) + T t s α + 1 Q ( s ) d s + α T t s α + 1 P 1 + 1 α ( s ) d s = s α + 1 P ( s ) | T t ( α + 1 ) T t s α P ( s ) d s + T t s α + 1 Q ( s ) d s + α T t s α + 1 P 1 + 1 α ( s ) d s = t α + 1 P ( t ) T α + 1 P ( T ) + T t s α + 1 Q ( s ) d s + T t [ α s P 1 α ( s ) α 1 ] [ s P 1 α ( s ) ] α d s 0 .
or
t α P ( t ) 1 t ( T α + 1 P ( T ) ) 1 t T t s α + 1 Q ( s ) d s + 1 t T t [ s α P ( s ) ] [ α + 1 α s P 1 α ( s ) ] d s .
Now, find the maximum value of T t [ s α P ( s ) ] [ α + 1 α s P 1 α ( s ) ] d s , let X = s α P ( s ) , then
[ s α P ( s ) ] [ α + 1 α s P α ( s ) ] = ( α + 1 ) X α X 1 + 1 α = F ( X ) .
Let F ( X ) = 0 . It is straightforward to verify that X = 1 is the maximum point of this function; therefore, F ( X ) max = 1 , i.e.,
T t [ s α P ( s ) ] [ α + 1 α s P 1 α ( s ) ] d s t T .
By jointly analyzing Equations (27) and (28) and computing the upper and lower limits on both sides of the inequality, we can obtain
lim t t α P ( t ) 1 + lim t ( T α 1 ) P ( T ) t lim t 1 t T t s α + 1 Q ( s ) d s .
Therefore,
P 2 1 Q 2 .
Furthermore, from (17) and the definition of the upper limit, for any arbitrarily small ϵ > 0 , there exists T 1 T , such that
t α P ( t ) sup t α P ( t ) < P 2 + ε ,
Q 2 ε inf 1 t T 1 t s α + 1 Q ( s ) d s inf 1 t T 1 t s α + 1 Q ( s ) d s , t T 1 .
Substitute into (27)
Q 2 P 2 + ε + ( P 2 + ε ) [ ( α + 1 ) α ( P 1 + ε ) α ] .
Since ε is an arbitrarily small number, it follows that Q 2 α P 2 ( 1 P 1 1 α ) . Consequently, Equation (19) holds. □
A new oscillation criterion for Equation (2) is presented below.

3. Main Results

Theorem 2.
Assume that (9) holds, and x ( t ) is a non-eventually negative solution for Equation (2), if
lim t t x ( t ) α 1 + α x ( t ) ,
then x ( t ) oscillation.
Proof. 
By Lemma 1, x ( t ) satisfies conditions (d), (e), and (f). First, assume that x ( t ) denotes an eventually positive solution to Equation (2) under condition (d). Then, by Lemma 6, we obtain
Q 1 P 1 P 1 1 + 1 α , Q 2 α P 2 α P 2 P 1 1 α α ( P 2 P 2 1 + 1 α )
Let G ( X ) = X X 1 + 1 α , and let G ( X ) = 1 ( 1 + 1 α ) 1 α = 0 . It is straightforward to verify that X = α 1 + α α is the maximum point of G ( X ) , and G ( X ) max = α α α + 1 α + 1 , that is, when P 1 = P 2 = α 1 + α α holds, the above two equations are valid. Where
P 1 = lim t inf t α P ( t ) = lim t t α x ( t ) x ( t ) α = α 1 + α α ,
P 2 = lim t sup t α P ( t ) = lim t sup t α x ( t ) x ( t ) α = α 1 + α α ,
i.e.,
lim t t α x ( t ) x ( t ) α = α α 1 + α α ,
contradicts Equation (30). □
Because x ( t ) and x ( t ) in Theorem 1 are unknown terms, direct verification of solution oscillations remains unattainable for this equation. Therefore, two corollaries of Theorem 1 are given below.
Corollary 1.
Let x ( t ) be a non-eventually negative solution of Equation (2), because the maximum value of G ( X ) is α α α + 1 α + 1 , the following holds when one of the two formulas below is satisfied
Q 1 > α α α + 1 α + 1 , Q 2 > α α + 1 α + 1 ,
x ( t ) oscillation.
Corollary 2.
Let
t 0 ν u f ( s ) + q ( s ) d s d u d ν =
If either of the following two conditions holds for T t 0
lim t inf t t q ( s ) [ s T 2 ] d s > 1 4 ,
lim t inf 1 t t s 2 q ( s ) [ s T 2 ] d s > 1 4 ,
then x ( t ) is an oscillation.
Example 1.
Consider the final positive solution for a third-order semilinear nonhomogeneous differential equation.
( [ x ( t ) ] 5 ) + 40 t 11 x 5 ( t ) + t = 0 , t 1
Under the condition  σ ( t ) = t , k = 1 , Lemma 5 implies that
lim t inf t 5 t q ( s ) σ ( s ) s 5 σ ( s ) T 2 5 d s = lim t inf t 5 t 40 s 11 s T 2 5 d s = lim t 5 4 k = 0 5 C 5 K ( T ) k t k 5 + k = 1 4 > 5 5 6 6 .
Therefore, it follows from Inference 1 that the equation possesses oscillatory solutions.
Now, consider (2) with α = 1 , let k = 1 in Lemma 5, i.e., third-order nonhomogeneous delay differential equations
x ( t ) + q ( t ) x ( σ ( t ) ) + f ( t ) = 0 , t t 0 .
Theorem 3.
Assume that (9) holds, and x ( t ) is a non-eventually negative solution for Equation (33), if
lim t inf σ 2 ( t ) t q ( t ) > 2 3 3 ,
then x ( t ) is an oscillation. If f ( t ) = 0 , then x ( t ) is an oscillation or lim t x ( t ) = 0 .
Proof. 
Assume that there exists a non-oscillatory solution x ( t ) to the Equation (33), then, by Lemma 1, we know x ( t ) > 0 and x ( t ) < 0 , t t 1 . However, x ( t ) can result in either x ( t ) > 0 or x ( t ) < 0 , the two situations. In fact, only x ( t ) < 0 holds, otherwise, assume that x ( t ) > 0 holds for any t t 1 . Let
u ( t ) = t x ( t ) x ( t ) > 0 .
From Equation (33), it can be derived that u ( t ) satisfies a second-order differential equation
3 2 u 2 + t u 4 u + 1 t t 3 f ( t ) + x ( q ( t ) σ ( t ) ) x ( t ) + u 3 3 u 2 + 2 u = 0 .
Define a function
h ( u ) = t 3 f ( t ) + x ( q ( t ) σ ( t ) ) x ( t ) + u 3 3 u 2 + 2 u
then, p ( u ) has a minimum value at u = 1 + 3 3 , and
h ( u ) t 3 q ( t ) x ( σ ( t ) ) x ( t ) + f ( t ) x ( t ) 2 3 3 .
Combining (36)–(38), we can obtain
3 2 u 2 + ( t u ) 4 u 1 t t 3 q ( t ) x ( σ ( t ) ) x ( t ) + f ( t ) x ( t ) 2 3 3 1 t t 3 q ( t ) x ( σ ( t ) ) x ( t ) 2 3 3 .
It is pointed out by the Kiguradze Lemma [21] that if x ( t ) satisfies x ( k ) ( t ) > 0 , k = 0 , 1 , · · · , n , x ( n + 1 ) < 0 , then
n ( n 1 ) t x ( t ) x ( t ) .
Let n = 2 , so we obtain
x ( t ) t x ( t ) 2 , t t 1 .
Integrate the above expression from σ ( t ) to t
ln x ( s ) | σ ( t ) t 2 ln s | σ ( t ) t σ 2 ( t ) t 2 x ( t ) x ( σ ( t ) ) .
Substitute (40) into (39), we obtain
3 2 u 2 + ( t u ) 4 u q ( t ) σ 2 ( t ) 2 3 3 t .
Integrate the above expression from t 1 to t
3 2 u 2 + ( t u ) 4 u M 0 t 1 t q ( t ) σ 2 ( t ) 2 3 3 t d s ,
where M 0 is constant. Note that 3 2 u 2 4 u 8 3 , then
( t u ) M 1 t 1 t q ( s ) σ 2 ( s ) 2 3 3 s d s ,
where M 1 = M 0 + 8 3 . Integrate the above expression from t 1 to t
t u M 2 + M 1 t t 1 t t 1 s q ( v ) σ 2 ( v ) 2 3 3 v d v d s
where M 2 is constant. From condition (34), it follows that when t is sufficiently large, we can obtain u ( t ) < 0 , which contradicts (35). Therefore, only x ( t ) < 0 holds. Because x ( t ) > 0 , x ( t ) < 0 , so x ( t ) is monotonically decreasing and has an infimum. If there exists a limit ξ > 0 , such that when t t 1 holds, then x ( σ ( t ) ) 1 2 occurs. By condition (34), we obtain
t 0 s 2 q ( s ) d s t 0 σ 2 ( s ) q ( s ) d s = .
Multiply the Equation (33) by t 2 and integrate the above expression from t 1 to t
t 2 x ( t ) 2 t x ( t ) + M t 1 t ξ 2 s 2 q ( s ) + f ( s ) d s
where M is constant. According to f ( t ) = 0 , x ( t ) < 0 , it follows that when t is sufficiently large, we can obtain u ( t ) < 0 , which contradicts (36). Thus, ξ = 0 .
In summary, if Equation (33) satisfies condition (34), then the solutions are oscillatory. Furthermore, when f ( t ) = 0 , the solution may either oscillate or converge to zero. □
Theorem 2 studies a third-order delay differential equation with nonlinear and nonhomogeneous terms. Nonlinear terms may induce oscillations, limit cycles, or chaos, which complicates the oscillatory behavior of solutions. The interaction between the time-delay and non-linearity could lead to bifurcation phenomena. The nonhomogeneous term might alter the asymptotic behavior of solutions or modify their oscillation frequency or amplitude. To effectively demonstrate this, under condition (34), the solutions for Equation (33) still exhibit an oscillatory behavior or converge to zero globally, and numerical simulations for the conclusions of Theorem 2 must be performed.

4. Numerical Simulations

This section mainly conducts four numerical simulations on the key conclusions of Theorem 2.
Case 1.
When the nonhomogeneous terms are f ( t ) 0 , σ ( t ) < t , let σ ( t ) = t 0.2 , q ( t ) = 8 3 3 , f ( t ) = 1 t 0 or f ( t ) = 1 + sin t 0 , where, the nonhomogeneous terms possess monotonicity and periodicity, respectively. Now, consider the following two equations
x ( t ) + 8 3 3 x ( t 0.2 ) + 1 t = 0 , t 1
x ( t ) + 8 3 3 x ( t 0.2 ) + 1 + sin t = 0 , t 1
Due to lim t inf 8 3 3 ( t 0.2 ) 2 t > 2 3 3 , both Equations (41) and (42) satisfy Theorem 2. Therefore, the solutions for these two equations exhibit an oscillatory behavior. The following plots the solutions of the two equations separately in different time intervals, as shown in Figure 1 and Figure 2.
Figure 1 and Figure 2 illustrate that as t gradually increases, the solutions x ( t ) for the two equations always exhibit the behavior of crossing the zero point. And, x ( t ) , x ( t ) satisfies condition (e); this indicates that the solutions exhibit oscillatory behavior, thus verifying Theorem 2. By comparing the vertical axes of the two images, we observe that when both the nonlinear term and the delay term are identical, different types of nonhomogeneous terms exert a certain influence on the oscillation frequency and amplitude of the equation solutions. However, they do not alter the global oscillatory nature of the solutions.
Case 2.
When the nonhomogeneous terms are f ( t ) = 0 , σ ( t ) < t , let σ ( t ) = t 0.1 , q ( t ) = 2 + sin t 0 . i.e.,
x ( t ) + ( 2 + sin t ) x ( t 0.1 ) = 0 , t 0
Due to lim t inf ( 2 + sin t ) ( t 0.1 ) 2 t > 2 3 3 , Equation (43) satisfies Theorem 2. The solutions of the equation over different time intervals will be plotted below, as shown in Figure 3.
Figure 3 illustrates that when t is sufficiently large, x ( t ) still exhibits the behavior of crossing zero. This indicates that the solution of the equation possesses an oscillatory nature. This case demonstrates that Theorem 2 remains valid even when the nonhomogeneous term is zero.
Case 3.
When the nonhomogeneous terms are f ( t ) 0 , σ ( t ) = t , let f ( t ) = e t , q ( t ) = 1 t . i.e.,
x ( t ) + 1 t x ( t ) + e t = 0 , t 0.1
Due to lim t inf 1 t t 3 > 2 3 3 , Equation (44) satisfies Theorem 2. When the equation does not include a delay term, it suffices to analyze the behavior of the solution for a sufficiently large t, as shown in Figure 4.
The three-dimensional phase diagram illustrates that the trajectory exhibits a spiraling upward trend. When t is sufficiently large, x ( t ) still exhibits the behavior of crossing zero, and x ( t ) < 0 , x ( t ) > 0 satisfies condition (e); therefore, the solutions for the equation are oscillatory. This case illustrates that Theorem 2 still holds when the delay term is absent.
Next, we present a counter example.
Case 4.
Let q ( t ) = 2 t 4 , f ( t ) = t 2 , i.e.,
x ( t ) + 2 t 4 x ( t ) + t 2 = 0 , t 0.1
Due to lim t inf 2 t 4 t 3 < 2 3 3 , the equation does not satisfy Theorem 2. Since condition (34) guarantees the oscillation of Equation (33) sufficiently but not necessarily, it cannot be determined whether the solutions of Equation (45) are oscillatory. Next, we plot the solutions for this equation as shown in Figure 5.
Figure 5 illustrates that x ( t ) is monotonically decreasing, x ( t ) , x ( t ) < 0 does not satisfy condition (e); therefore, this equation does not have oscillatory solutions. This case, to some extent, verifies Theorem 2.
Collectively, under the premise of α = 1 , the oscillation criterion of Equation (2) was verified through Case 1. This criterion remains valid when the nonhomogeneous term is zero or in the absence of time-delay, as demonstrated in Case 2 and Case 3. Finally, a counterexample is provided. These examples collectively validate the conclusions of Theorem 2.

Author Contributions

Conceptualization, W.L. and J.S.; methodology, W.L. and Y.P.; writing—original draft preparation, W.L. and J.S.; writing—review and editing, W.L. and J.S. All authors have read and agreed to the published version of the manuscript.

Funding

This research is supported by the Natural Science Foundation of Jilin Province under Grant No. 20240101311JC.

Data Availability Statement

The original contributions presented in this study are included in the article. Further inquiries can be directed to the corresponding author.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Glass, D.S.; Jin, X.; Riedel-Kruse, I.H. Nonlinear delay differential equations and their application to modeling biological network motifs. Nat. Commun. 2021, 1, 1788. [Google Scholar] [CrossRef] [PubMed]
  2. Ruzgas, T.; Jankauskienė, I.; Zajančkauskas, A.; Lukauskas, M.; Bazilevičius, M.; Kaluževičiūtė, R.; Arnastauskaitė, J. Solving Linear and Nonlinear Delayed Differential Equations Using the Lambert W Function for Economic and Biological Problems. Mathematics 2024, 17, 2760. [Google Scholar] [CrossRef]
  3. Alrebdi, R.; Al-Jeaid, H.K. Accurate solution for the Pantograph delay differential equation via Laplace transform. Mathematics 2023, 9, 2031. [Google Scholar] [CrossRef]
  4. Yan, J.; Yang, X.; Luo, X.; Guan, X. Dynamic gain control of teleoperating cyber-physical system with time-varying delay. Nonlinear. Dyn. 2019, 95, 3049–3062. [Google Scholar] [CrossRef]
  5. Fu, J.; Dai, Z.; Yang, Z.; Lai, J.; Yu, M. Time delay analysis and constant time-delay compensation control for MRE vibration control system with multiple-frequency excitation. Smart. Mater. Struct. 2019, 1, 014001. [Google Scholar] [CrossRef]
  6. Zhou, W.; Huang, C.; Xiao, M.; Cao, J. Hybrid tactics for bifurcation control in a fractional-order delayed predator–prey model. Phys. A 2019, 515, 183–191. [Google Scholar] [CrossRef]
  7. Guerrini, L.; Krawiec, A.; Szydłowski, M. Bifurcations in an economic growth model with a distributed time delay transformed to ODE. Nonlinear. Dyn. 2020, 2, 1263–1279. [Google Scholar] [CrossRef]
  8. Li, T.; Han, Z.; Sun, Y.; Zhao, Y. Asymptotic behavior of solutions for third-order half-linear delay dynamic equations on time scales. J. Appl. Math. Comput. 2011, 1, 333–346. [Google Scholar] [CrossRef]
  9. Chatzarakis, G.E.; Džurina, J.; Jadlovská, I. Oscillatory and asymptotic properties of third-order quasilinear delay differential equations. J. Inequal. Appl. 2019, 2019, 23. [Google Scholar] [CrossRef]
  10. Rakkiyappan, R.; Udhayakumar, K.; Velmurugan, G.; Cao, J.; Alsaedi, A. Stability and Hopf bifurcation analysis of fractional-order complex-valued neural networks with time delays. Adv. Differ. Equ.-Ny. 2017, 2017, 225. [Google Scholar] [CrossRef]
  11. Huang, X.; Deng, X.H. Properties of third-order nonlinear delay dynamic equations with positive and negative coefficients. Adv. Differ. Equ.-Ny. 2019, 2019, 292. [Google Scholar] [CrossRef]
  12. Shi, Y.; Han, Z.; Hou, C. Oscillation criteria for third order neutral Emden–Fowler delay dynamic equations on time scales. J. Appl. Math. Comput. 2017, 55, 175–190. [Google Scholar] [CrossRef]
  13. Domoshnitsky, A.; Shemesh, S.; Sitkin, A.; Yakovi, E.; Yavich, R. Stabilization of third-order differential equation by delay distributed feedback control. J. Inequal. Appl. 2018, 2018, 341. [Google Scholar] [CrossRef] [PubMed]
  14. Gao, L.; Zhang, Q.; Liu, S. Oscillatory behavior of third-order nonlinear delay dynamic equations on time scales. J. Comput. Appl. Math. 2014, 256, 104–113. [Google Scholar] [CrossRef]
  15. Yang, H.; Chen, Y. Positive periodic solutions for third-order ordinary differential equations with delay. Adv. Differ. Equ.-Ny. 2018, 2018, 270. [Google Scholar] [CrossRef]
  16. Zhang, Q.; Gao, L.; Yu, Y. Oscillation criteria for third-order neutral differential equations with continuously distributed delay. Appl. Math. Lett. 2012, 10, 1514–1519. [Google Scholar] [CrossRef]
  17. Zafer, A.; Dahiya, R.S. Oscillatory and asymptotic behavior of solutions of third order delay differential equations with forcing terms. Differ. Equ. Dyn. Syst. 1993, 2, 123–136. [Google Scholar]
  18. Hanan, M. Oscillation criteria for third order differential equations. Pacific J. Math. 1961, 11, 919–944. [Google Scholar] [CrossRef]
  19. Philos ch, G. On the existence of non-oscillatory solutions tending to zero at ∞ for differential equation with positive delay. Arch. Math. 1981, 1, 168–178. [Google Scholar] [CrossRef]
  20. Erbe, L. Oscillation criteria forbsecond order nonlinear delay equations. Canad. Math. Bull. 1973, 16, 49–56. [Google Scholar] [CrossRef]
  21. Kiguradze, I.T. On the oscilation of solutions of the equation d m u d t m + a ( t ) | u | m sgnu = 0 . Math. Sb. 1964, 2, 172–187. [Google Scholar]
Figure 1. Time series plot of the solution for Equation (41).
Figure 1. Time series plot of the solution for Equation (41).
Mathematics 13 01926 g001
Figure 2. Time series plot of the solution to Equation (42).
Figure 2. Time series plot of the solution to Equation (42).
Mathematics 13 01926 g002
Figure 3. Time series plot of the solution to Equation (43).
Figure 3. Time series plot of the solution to Equation (43).
Mathematics 13 01926 g003
Figure 4. Time series plot and phase portrait of the solution to Equation (44).
Figure 4. Time series plot and phase portrait of the solution to Equation (44).
Mathematics 13 01926 g004
Figure 5. Time series plot and phase portrait of the solution for Equation (45).
Figure 5. Time series plot and phase portrait of the solution for Equation (45).
Mathematics 13 01926 g005
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

Li, W.; Sun, J.; Pang, Y. On the Study of Solutions for a Class of Third-Order Semilinear Nonhomogeneous Delay Differential Equations. Mathematics 2025, 13, 1926. https://doi.org/10.3390/math13121926

AMA Style

Li W, Sun J, Pang Y. On the Study of Solutions for a Class of Third-Order Semilinear Nonhomogeneous Delay Differential Equations. Mathematics. 2025; 13(12):1926. https://doi.org/10.3390/math13121926

Chicago/Turabian Style

Li, Wenjin, Jiaxuan Sun, and Yanni Pang. 2025. "On the Study of Solutions for a Class of Third-Order Semilinear Nonhomogeneous Delay Differential Equations" Mathematics 13, no. 12: 1926. https://doi.org/10.3390/math13121926

APA Style

Li, W., Sun, J., & Pang, Y. (2025). On the Study of Solutions for a Class of Third-Order Semilinear Nonhomogeneous Delay Differential Equations. Mathematics, 13(12), 1926. https://doi.org/10.3390/math13121926

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