Next Article in Journal
Some Existence, Uniqueness, and Stability Results for a Class of ϑ-Fractional Stochastic Integral Equations
Next Article in Special Issue
AI-Based Data Analysis of Contaminant Transportation with Regression of Oxygen and Nutrients Measurement
Previous Article in Journal
Fractal-Based Robotic Trading Strategies Using Detrended Fluctuation Analysis and Fractional Derivatives: A Case Study in the Energy Market
Previous Article in Special Issue
New Multiplicity Results for a Boundary Value Problem Involving a ψ-Caputo Fractional Derivative of a Function with Respect to Another Function
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Forced-Perturbed Fractional Differential Equations of Higher Order: Asymptotic Properties of Non-Oscillatory Solutions

1
Faculty of Engineering, Cairo University, Orman, Giza 12221, Egypt
2
Department of Mathematics, Sambalpur University, Sambalpur 768019, India
3
Department of Mathematics and Statistics, Vignan’s Foundation for Science, Technology and Research (Deemed to be University), Guntur 522213, India
4
Department of Mathematics, Nallamuthu Gounder Mahalingam College, Coimbatore 642001, India
5
Department of Mathematics, College of Science, Qassim University, P.O. Box 6644, Buraydah 51452, Saudi Arabia
6
Department of Mathematics, Faculty of Science, Mansoura University, 35516 Mansoura, Egypt
*
Author to whom correspondence should be addressed.
Fractal Fract. 2025, 9(1), 6; https://doi.org/10.3390/fractalfract9010006
Submission received: 25 October 2024 / Revised: 3 December 2024 / Accepted: 6 December 2024 / Published: 27 December 2024

Abstract

:
This study investigates the asymptotic behavior of non-oscillatory solutions to forced-perturbed fractional differential equations with the Caputo fractional derivative. The main aim is to unify the Beta Integral Lemma (Lemma 2) and the Gamma Integral Lemma (Lemma 3) into a single framework. By combining these two powerful tools, we propose new criteria that effectively characterize the asymptotic behavior of non-oscillatory solutions to the given equations. The analysis of such solutions has significant implications in the fields of oscillation and stability theory. Notably, our findings extend prior work by exploring a wider range of equations with more general functions and coefficients, thereby broadening the applicability and deepening the understanding of both asymptotic and oscillatory behaviors. Moreover, the criteria we introduce offer improvements over previous approaches, as demonstrated by the example provided, which highlights the advantages of our results in comparison to earlier methods.

1. Introduction

Fractional differential equations have recently attracted attention due to their potential applications in a variety of domains, including as engineering, mechanics, physics, chemistry, aerodynamics, mathematical biology, electrodynamics, and others. We direct the reader to the monographs [1,2,3,4] for further information. For particular conclusions from mathematical biology and physics, see especially the works [5,6,7,8,9], where the models are developed using differential equations with forces idealized by nonlocal and/or taxis-driven factors. In the literature, oscillation and other asymptotic conclusions for solutions of these kinds of equations are comparatively rare. The importance of studying the asymptotic behavior of differential equations lies in the possibility of benefiting from this study in many branches of qualitative theories such as oscillation theory (see [10,11,12,13,14]), stability theory (see [15,16,17,18]), and Existence and Uniqueness theory (see [19,20,21,22,23]).
In the work, we consider the following forced fractional differential equation
D c α C ψ ( s ) f ( s , ϕ ( s ) ) = e ( s ) + h ( s , ϕ ( s ) ) , c > 1 , α ( 0 , 1 ) ,
where δ 1 is the ratio of positive odd integers, ψ ( s ) = ( a ( s ) ( ϕ ( s ) ) δ ) ( n 1 ) with n N and D c α C ψ ( s ) is the Caputo fractional derivative [24] of ψ ( s ) of order 0 < α < 1 defined as
D c α C ψ ( s ) : = 1 Γ ( 1 α ) c s ( s ν ) α ψ ( ν ) d ν , c > 1 ,
where
Γ ( ϕ ) = 0 ν ϕ 1 e ν d ν , ϕ > 0 .
By a solution of (1), we mean a function ϕ ( s ) C 1 ( [ c , ] , R ) with a ( ϕ ) δ C n 1 ( s ) ( [ c , ) , R ) and satisfies (1) for s s 1 > s 0 . A solution is said to be oscillatory if it is neither eventually positive nor eventually negative, and it is non-oscillatory otherwise.
Throughout, we always assume that
(A1)
e C [ c , ) , R and a C [ c , ) , ( 0 , ) such that
c a 1 δ ( ν ) d ν = ;
(A2)
f , h C [ c , ) × R , R and that there exist p * , q * C [ c , ) , ( 0 , ) and positive real numbers β , γ and τ such that
ϕ f ( ϕ , s ) p * ( s ) s τ 1 ϕ β + 1 and ϕ h ( s , ϕ ) q * ( s ) ϕ γ + 1 for ϕ 0 and s c .
Due to its numerous applications in fields including engineering, chemical processes, computational biology, electrodynamics, and more, differential equations of fractional order have garnered a lot of attention; see the references [5,25,26,27,28] for further details and in-depth discussions. In particular, Grace [29] investigated the forced differential equations of the form
D c α C ψ ( s ) = e ( s ) + h ( s , ϕ ( s ) ) , c > 1 , α ( 0 , 1 ) ,
where ψ ( s ) = ( a ( s ) ( ϕ ( s ) ) ) . In this direction, we refer the readers to some of the work [30]. Similarly, Grace [31] examined the forced fractional differential equations of the form
D c α C ψ ( s ) = e ( s ) + h ( s , ϕ ( s ) ) , c > 1 , α ( 0 , 1 ) ,
where δ 1 and ψ ( s ) = ( a ( s ) ( ϕ δ ) . Additional generalizations and enhancements of these findings are available in [32,33].
These works allow us to note the following:
  • If we let δ = 1 , h ( s , ϕ ( s ) ) = 0 and n = 2 , then (1) is the same as (2). We may also note that in [29], only Lemma 2 (below) is used to established two sufficient conditions for determining the asymptotic behavior of the solutions to (2).
  • If we let f ( s , ϕ ( s ) ) = 0 and n = 2 , then (1) is the same as (2). We may also note that in [31], only Lemma 3 (below) is used to established four sufficient conditions governing the asymptotic behavior of solutions to (3).
Previous studies have significantly advanced the understanding of the asymptotic and oscillatory behavior of fractional equations. Grace et al. [29,31] provided sufficient conditions to analyze the asymptotic properties of solutions for coercive equations. Additionally, works such as [32,33] extended these findings to the specific case of n = 2. However, these investigations were restricted to particular equation forms and developed their results independently for Lemma 2 or Lemma 3, leaving unresolved the challenge of formulating oscillatory criteria and asymptotic properties for equations involving higher-order derivatives. For more interesting work on the qualitative properties of solutions to fractional differential equations, see [34,35,36,37,38]
Inspired by the studies referenced above, the primary aim of this paper is to employ the two Lemmas 2 and 3 in a single result and develop new criteria that determine the asymptotic behavior of non-oscillatory solutions to Equation (1). It is important to note that Equation (1) can be equivalently expressed as a Volterra-type equation of the form
ψ ( s ) = c 0 + 1 Γ ( α ) c s ( s ν ) α 1 [ e ( ν ) + f ( ν , ϕ ( ν ) ) + h ( ν , ϕ ( ν ) ) ] d ν ,
where c > 1 , 0 < α < 1 and c 0 = ψ ( c ) is a real constant.
The reminder of this paper is organized as follows. Section 2 contains some lemmas that will play a crucial role in proving our main oscillation results. Section 3 contains our main theorems and one example to illustrate them. Finally, we conclude our findings and discuss future research directions.

2. Basic Lemmas

To obtain our main results, we need the following lemmas.
Lemma 1
([39]). Let ϕ, ψ be non-negative and m > 1 such that 1 m + 1 m * = 1 . Then
ϕ ψ 1 m ϕ m + 1 m * ψ m *
equality holds if and only if ψ = ϕ m 1 .
Lemma 2
([40]). Let β, γ and p be positive constants such that p ( β 1 ) + 1 > 0 and p ( γ 1 ) + 1 > 0 . Then
0 s ( s ν ) p ( β 1 ) ν p ( γ 1 ) d ν = s θ B , s 0 ,
where θ = p ( β + γ 2 ) + 1 , B : = B [ p ( γ 1 ) + 1 , p ( β 1 ) + 1 ] and B [ ξ , η ] is the beta function defined by
B [ ξ , η ] = 0 1 ν ξ 1 ( 1 ν ) η 1 d ν f o r ξ , η > 0 .
Lemma 3
([25]). Let α , p > 0 such that p ( α 1 ) + 1 > 0 . Then
0 s ( s ν ) p ( α 1 ) e p ν d ν Q e p s f o r s 0 ,
where Q = Γ ( 1 + p ( α 1 ) ) p 1 + p ( α 1 ) .

3. Main Results

In what follows, for b 1 , b 2 C [ c , ) , ( 0 , ) ] , we define
g 1 ( s ) = ( δ γ ) γ γ δ δ 1 δ γ q * ( s ) b 1 ( s ) δ δ γ and g 2 ( s ) = ( δ β ) β β δ δ 1 δ β p * ( s ) b 2 ( s ) δ δ β .
In view of ( A 1 ) and for s c > 1 , we use the following notation:
R ( s , c ) = c s a 1 δ ( ν ) d ν a s s .
The following first theorem provides sufficient conditions under which any non-oscillatory solution of Equation (1) will satisfy
| ϕ ( s ) | = O s ( n 1 ) δ R ( s , c ) as s .
Theorem 1.
Let ( A 1 ) and ( A 2 ) hold. Suppose that p > 1 , q = p p 1 , p ( α 1 ) + 1 > 0 with 0 < α < 1 and p ( τ 1 ) + 1 > 0 with τ = 2 α 1 p . If there exist b 1 , b 2 C [ c , ) , ( 0 , ) ] and two constants a 1 , a 2 > 0 such that
s 1 a 1 e q ( s ν ) b 1 q ( ν ) + a 2 b 2 q ( ν ) ν n 1 R δ ( ν , c ) q d ν < ,
lim s s 1 s ( s ν ) α 1 | e ( ν ) | d ν < ,
lim s c s ( s ν ) α 1 g 1 ( ν ) d ν < ,
s 1 s ( s ν ) α 1 ν τ 1 g 2 ( ν ) d ν < ,
then every non-oscillatory solution of Equation (1) satisfies
lim   sup s | ϕ ( s ) | s ( n 1 ) δ R ( s , c ) < .
Proof. 
Let ϕ be an eventually positive solution of Equation (1). We may assume that ϕ ( s ) > 0 for s s 1 for some s 1 c . In view of ( A 2 ) , we let F ( s , ϕ ( s ) ) = f ( s , ϕ ( s ) ) + h ( s , ϕ ( s ) ) , and then (4) may be written as
( a ( s ) ( ϕ ( s ) ) δ ) ( n 1 ) c 0 + 1 Γ ( α ) c s ( s ν ) α 1 [ e ( ν ) + F ( ν , ϕ ( ν ) ) ] d ν | c 0 | + 1 Γ ( α ) c s ( s ν ) α 1 | e ( ν ) | d ν + 1 Γ ( α ) c s ( s ν ) α 1 | F ( ν , ϕ ( ν ) ) | d ν | c 0 | + 1 Γ ( α ) [ c s 1 ( s ν ) α 1 | F ( ν , x ( ν ) ) | d ν + s 1 s ( s ν ) α 1 ν τ 1 [ p * ( ν ) x β ( ν ) b 2 ( ν ) x δ ( ν ) ] d ν + s 1 s ( s ν ) α 1 ν τ 1 b 2 ( ν ) x δ ( ν ) d ν + s 1 s ( s ν ) α 1 [ q * ( ν ) x γ ( ν ) b 1 ( ν ) x δ ( ν ) ] d ν + s 1 s ( s ν ) α 1 b 1 ( ν ) x δ ( ν ) d ν + c s ( s ν ) α 1 | e ( ν ) | d ν ] .
Applying (5) of Lemma 1 to [ q * ( ν ) ϕ γ ( ν ) b 1 ( ν ) ϕ δ ( ν ) ] with n = δ γ > 1 , ϕ = ϕ γ ( ν ) , ψ = γ δ q * ( ν ) b 1 ( ν ) , and m = δ δ γ , we obtain
q * ( ν ) ϕ γ ( ν ) b 1 ( ν ) ϕ δ ( ν ) = δ γ b 1 ( ν ) ϕ γ ( ν ) γ δ q * ( ν ) b 1 ( ν ) γ δ ( ϕ γ ( ν ) ) δ γ = δ γ b 1 ( ν ) ϕ ψ 1 n ϕ n δ γ b 1 ( ν ) 1 m ψ m = δ γ γ γ δ q * ( ν ) ) δ δ γ ( b 1 ( ν ) ) δ γ δ = ( δ γ ) γ γ δ δ 1 δ γ ( q * ( ν ) ) δ b 1 δ ( ν ) 1 δ γ = : g 1 ( ν ) .
Similarly, we see that
p * ( ν ) ϕ β ( ν ) b 2 ( ν ) ϕ δ ( ν ) δ β β β δ p * ( ν ) ) δ δ β ( b 2 ( ν ) ) δ β δ = ( δ β ) β β δ δ 1 δ β ( p * ( ν ) ) δ b 2 δ ( ν ) 1 δ β = : g 2 ( ν ) .
Thus, we have
a ( s ) ( ϕ ( s ) ) δ ( n 1 ) | c 0 | + 1 Γ ( α ) [ c s ( s ν ) α 1 | e ( ν ) | d ν + s 1 s ( s ν ) α 1 g 1 ( ν ) d ν + s 1 s ( s ν ) α 1 ν τ 1 g 2 ( ν ) d ν + c s 1 ( s ν ) α 1 | F ( ν , x ( ν ) ) | d ν + s 1 s ( s ν ) α 1 ν τ 1 b 2 ( ν ) x δ ( ν ) d ν + s 1 s ( s ν ) α 1 b 1 ( ν ) x δ ( ν ) d ν ] ,
that is,
a ( s ) ( ϕ ( s ) ) δ ( n 1 ) C * + 1 Γ ( α ) s 1 s ( s ν ) α 1 b 1 ( ν ) ϕ δ ( ν ) d ν + s 1 s ( s ν ) α 1 ν τ 1 b 2 ( ν ) ϕ δ ( ν ) d ν : = w ( s ) ,
where in view of (8), (9) and (10), C * is the upper bound of the function
| c 0 | + 1 Γ ( α ) c s ( s ν ) α 1 | e ( ν ) | d ν + s 1 s ( s ν ) α 1 g 1 ( ν ) d ν + s 1 s ( s ν ) α 1 ν τ 1 g 2 ( ν ) d ν + c s 1 ( s ν ) α 1 | F ( ν , ϕ ( ν ) ) | d ν .
Integrating ( n 1 ) times the inequality (12) from s 1 to s and then interchanging the order of integration, we have
a ( s ) ( ϕ ( s ) ) δ φ = 0 n 1 K φ ( s s 1 ) φ φ ! + 1 Γ ( α + n 1 ) s 1 s ( s ν ) α + n 2 b 1 ( ν ) ϕ δ ( ν ) d ν + 1 Γ ( α + n 1 ) s 1 s ( s ν ) α + n 2 ν τ 1 b 2 ( ν ) ϕ δ ( ν ) d ν ,
where K φ : | a ϕ δ ( φ ) ( s 1 ) | > 0 for all 0 φ < n 1 . As a result,
a ( s ) ( ϕ ( s ) ) δ s n 1 [ φ = 0 n 1 K φ s φ n + 1 φ ! + 1 Γ ( α + n 1 ) s 1 s ( s ν ) α 1 b 1 ( ν ) x δ ( ν ) d ν + s 1 s ( s ν ) α 1 ν τ 1 b 2 ( ν ) x δ ( ν ) d ν ] [ φ = 0 n 1 K φ s ϕ φ ! + s n 1 Γ ( α + n 1 ) s 1 s ( s ν ) α 1 b 1 ( ν ) x δ ( ν ) d ν + s 1 s ( s ν ) α 1 ν τ 1 b 2 ( ν ) x δ ( ν ) d ν ] .
Thus, we have
a ( s ) ( ϕ ( s ) ) δ C 1 + C 2 s n 1 w ( s ) : = W ( s ) ,
where C 1 = φ = 0 n 1 K φ 1 φ ! and C 2 = 1 Γ ( α + n 1 ) . Thus,
ϕ ( s ) W ( s ) a ( s ) 1 δ .
Integrating (13) from s 1 to s and noting that W ( s ) is an increasing function, we see that there exists a positive constant c ^ such that
ϕ ( s ) c ^ + c s W ( ν ) a ( ν ) 1 δ d ν c ^ + W 1 δ ( s ) c s a 1 δ ( ν ) d ν = : c ^ + R ( s , c ) W 1 δ ( s ) .
Using the assumption on R ( s , c ) , we have
ϕ ( s ) R ( s , c ) c ^ + W 1 δ ( s ) for c > 0 ,
or,
ϕ ( s ) R ( s , c ) c ^ + W 1 δ ( s ) for s c > 1 .
By using the inequality ( A + B ) α 2 α 1 ( A α + B α ) for A , B > 0 , we find
ϕ ( s ) R ( s , c ) δ 2 δ 1 c ^ δ + 2 δ 1 W ( s ) 2 δ 1 c ^ δ + 2 δ 1 ( C 1 + C 2 s n 1 w ( s ) )
and so, we obtain
ϕ ( s ) s ( n 1 ) δ R ( s , c ) δ 2 δ 1 c ^ δ s n 1 + 2 δ 1 C 1 s n 1 + C 2 w ( s ) c * + 2 δ 1 C 2 w ( s ) ,
where c * is the upper bound for the function 2 δ 1 c ^ δ s n 1 + C 1 2 δ 1 s n 1 . Also,
ϕ ( s ) s ( n 1 ) δ R ( s , c ) δ c * + 2 δ 1 C 2 ( C * + 1 Γ ( α ) ( t 1 t ( t s ) α 1 b 1 ( s ) x δ ( s ) d s + t 1 t ( t s ) α 1 s τ 1 b 2 ( s ) x δ ( s ) d s ) ) ,
or,
ϕ ( s ) s ( n 1 ) δ R ( s , c ) δ c 1 * + c 2 * s 1 s ( s ν ) α 1 b 1 ( ν ) ϕ δ ( ν ) d ν + s 1 s ( s ν ) α 1 ν τ 1 b 2 ( ν ) ϕ δ ( ν ) d ν ,
where c 1 * = c * + 2 δ 1 C 2 C * and c 2 * = 1 Γ ( α ) 2 δ 1 C 2 .
An application of Holder’s inequality and Lemma 3 to s 1 s ( s ν ) α 1 b 1 ( ν ) ϕ δ ( ν ) d ν yields
s 1 s ( s ν ) α 1 b 1 ( ν ) ϕ δ ( ν ) d ν = s 1 s ( ( s ν ) α 1 e ν ) ( e ν b 1 ( ν ) ϕ δ ( ν ) ) d ν s 1 s ( s ν ) p ( α 1 ) e p ν ) d ν 1 p s 1 s e q ν b 1 q ( ν ) ϕ δ q ( ν ) d ν 1 q ( Q e p s ) 1 p s 1 s e q ν b 1 q ( ν ) ϕ δ q ( ν ) d ν 1 q = Q 1 p e s s 1 s e q ν b 1 q ( ν ) ϕ δ q ( ν ) d ν 1 q ,
where Q > 0 is given in Lemma 3. Similarly, an application of Holder’s inequality and Lemma 2 to s 1 s ( s ν ) α 1 ν τ 1 b 2 ( ν ) ϕ δ ( ν ) d ν yields
s 1 s ( s ν ) α 1 ν τ 1 b 2 ( ν ) ϕ δ ( ν ) d ν s 1 s ( s ν ) p ( α 1 ) ν p ( τ 1 ) d ν 1 p s 1 s b 2 q ( ν ) ϕ δ q ( ν ) d ν 1 q ( B s θ ) 1 p s 1 s b 2 q ( ν ) ϕ δ q ( ν ) d ν 1 q ,
where B = B [ p ( τ 1 ) + 1 , p ( α 1 ) + 1 ] and θ = p ( α + τ 2 ) + 1 = 0 . As a result,
s 1 s ( s ν ) α 1 ν τ 1 b 2 ( ν ) ϕ δ ( ν ) d ν B 1 p s 1 s b 2 q ( ν ) ϕ δ q ( ν ) d ν 1 q .
Using (17) and (18) in (16), it follows that
z ( s ) : = ϕ ( s ) s ( n 1 ) δ R ( s , c ) δ 1 + c 1 * + c 2 * Q 1 p e s s 1 s e q ν b 1 q ( ν ) ϕ δ q ( ν ) d ν 1 q + B 1 p s 1 s b 2 q ( ν ) ϕ δ q ( ν ) d ν 1 q ,
that is,
z ( s ) ( 1 + c 1 * ) + c 2 * × [ Q 1 p e t t 1 t e q s b 1 q ( s ) s n 1 R δ ( s , c ) q z q ( s ) d s 1 q + B 1 p t 1 t b 2 q ( s ) s n 1 R δ ( s , c ) q z q ( s ) d s 1 q ] .
Using the Jensen’s inequality for ϕ , ψ , w 0 , that is, ( ϕ + ψ + w ) q 3 q 1 ( ϕ q + ψ q + w q ) and q > 1 to (19), we obtain
z q ( s ) 3 q 1 [ ( 1 + c 1 * ) q + c 2 * Q 1 p e t q t 1 t e q s b 1 q ( s ) s n 1 R δ ( s , c ) q z q ( s ) d s + ( c 2 * ) q B q p t 1 t b 2 q ( s ) s n 1 R δ ( s , c ) q z q ( s ) d s ] ,
or,
z q ( s ) 3 q 1 1 + c 1 * q + s 1 s Q q p e q ( ν s ) b 1 q ( ν ) + B q p b 2 q ( ν ) c 2 * ν n 1 R δ ( ν , c ) q z q ( ν ) d ν .
Setting Q ^ ( s ) = Q q p e q ( ν s ) b 1 q ( ν ) + B q p b 2 q ( ν ) ν n 1 R δ ( ν , c ) q , u ( s ) = z q ( s ) , i.e., z ( s ) = u 1 q ( s ) , P = 3 q 1 ( 1 + c 1 * ) q and P 1 = 3 q 1 ( c 2 * ) q in (20), we have
u ( s ) P + P 1 s 1 s Q ^ ( ν ) u ( ν ) d ν for s s 1 c .
The conclusion follows from Gronwall’s inequality and (7) that
lim sup s | ϕ ( s ) | s ( n 1 ) δ R ( s , c ) < .
This completes the proof. □
Next, we give sufficient conditions under which any non-oscillatory solution of (1) satisfying
| ϕ ( s ) | = O s ( n 1 ) δ R ( s , c ) e s δ as s .
Theorem 2.
Let condition (7) in Theorem 1 be replaced by
s 1 a 2 b 2 q ( ν ) + a 1 b 1 q ( ν ) ν n 1 R δ ( ν , c ) q d ν < for s s 1 c ,
where a 1 and a 2 are positive constants. Then, every non-oscillatory solution of Equation (1) satisfies
lim   sup s e s δ | ϕ ( s ) | s ( n 1 ) δ R ( s , c ) < .
Proof. 
We proceed as in the proof of Theorem 1 to obtain (20) and which will take the form
z ( s ) : = e s δ ϕ ( s ) s n 1 δ R ( s , c ) δ : = 1 + c 1 * e s [ c 2 * Q 1 p t 1 t e q s b 1 q ( s ) t 1 t e s s n 1 R δ ( s , c ) q z q ( s ) d s 1 q + B 1 p t 1 t e q s b 2 q ( s ) t 1 t e s s n 1 R δ ( s , c ) q z q ( s ) d s 1 q ] .
The rest of the proof is the same and hence is omitted. □
The following example is illustrative.
Example 1.
Consider the nth order integro-differential equation
s ( ϕ ( s ) ) 3 ( n 1 ) = c s ( s ν ) 1 2 e ν sin 3 ν d ν + c s ( s ν ) 1 2 e 4 ν ν 1 6 ϕ 5 3 ( ν ) d ν + c s ( s ν ) 1 2 e 4 ν ϕ 5 3 ( ν ) d ν ,
where c = 8 and n is a positive integer. Let p = 3 2 and q = 3 , α = 1 2 . Clearly, p ( α 1 ) + 1 = 1 4 > 0 , τ = 2 α 1 p = 5 6 and p ( τ 1 ) + 1 = 3 4 . Let a ( s ) = s , e ( s ) = e 4 s sin s and p * ( s ) = q * ( s ) = b 1 ( s ) = b 2 ( s ) = e 4 s . Now,
R ( s , c ) = R ( s , 8 ) = 8 s ν 1 3 d ν = 3 2 ( s 2 3 4 ) .
It is easy to check that the hypothesis of Theorem 1 or Theorem 2 is fulfilled. So, applying Theorem 1, we conclude that every non-oscillatory solution of Equation (23) satisfies
lim   sup s | ϕ ( s ) | s ( n 1 ) 3 ( s 2 3 4 ) 3 < .
Also, by applying Theorem 2, we conclude that
lim   sup s e s 3 | ϕ ( s ) | s ( n 1 ) 3 ( s 2 3 4 ) 3 < .
Remark 1.
We may note that our results in [31,33] do not apply to Equation (23), since they only applied for n = 2 .
In Equation (1), if h ( s , ϕ ) = 0 , one can easily obtain the following immediate result.
Theorem 3.
Let the hypotheses of Theorem 1 hold with h ( s , ϕ ) = 0 . Assume that condition (7) is replaced by
s 1 b 2 q ( ν ) ( ν n 1 R δ ( ν , c ) ) q d ν < .
Then, the conclusion of Theorem 1 holds.
Next, we let τ = 1 and give the following theorem as another sufficient condition under any non-oscillatory solution of (1) to satisfy
| ϕ ( s ) | = O s ( n 1 ) δ R ( s , c ) e s δ as s .
Theorem 4.
Let ( A 1 ) and ( A 2 ) with τ = 1 hold. Suppose that p > 1 , q = p p 1 and p ( α 1 ) + 1 > 0 with 0 < α < 1 . If conditions (10) and (11) hold, and for some positive constants a 1 and a 2
c e q ν b 1 ( ν ) + b 2 ( ν ) q ν n 1 R δ ( ν , c ) q d ν < ,
then every non-oscillatory solution of Equation (1) satisfies
lim sup s e s δ | ϕ ( s ) | s ( n 1 ) δ R ( s , c ) < .
Proof. 
Let ϕ be an eventually positive solution of equation (1). Proceeding exactly as in the proof of Theorem 1, we arrive at (16) with τ = 1 , namely
ϕ ( s ) s ( n 1 ) δ R ( s , c ) δ c 1 * + c 2 * s 1 s ( s ν ) α 1 b 1 ( ν ) + b 2 ( ν ) ϕ δ ( ν ) d ν .
By applying Holder’s inequality and Lemma 3 to the preceding right-hand side integral, we obtain
s 1 s ( s ν ) α 1 b 1 ( ν ) + b 2 ( ν ) ϕ δ ( ν ) d ν = s 1 s ( ( s ν ) α 1 e ν ) ( e ν b 1 ( ν ) + b 2 ( ν ) ϕ δ ( ν ) ) d ν s 1 s ( s ν ) p ( α 1 ) e p ν d ν 1 p s 1 s e q ν b 1 ( ν ) + b 2 ( ν ) q ϕ δ q ( ν ) d ν 1 q ( Q e p s ) 1 p s 1 s e q ν b 2 q ( ν ) ϕ δ q ( ν ) d ν 1 q = Q 1 p e s s 1 s e q ν b 1 ( ν ) + b 2 ( ν ) q ϕ δ q ( ν ) d ν 1 q ,
where Q > 0 is given in Lemma 3. As a result,
z ( s ) : = e s δ | ϕ ( s ) | s ( n 1 ) δ R ( s , c ) δ ( 1 + c 1 * ) + c 2 * 0 s b 1 ( ν ) + b 2 ( ν ) q e q ν R δ q ( ν , c ) z q ( ν ) d ν 1 q .
Next, following the line of proof of Theorem 1 and using the Jensen’s inequality for ϕ , ψ 0 and q > 1 , we obtain
z q ( s ) 2 q 1 ( 1 + c 1 * ) q + ( c 2 * ) q s 1 s e q ν b 1 ( ν ) + b 2 ( ν ) q ν n 1 R δ ( ν , c ) q z q ( ν ) d ν .
The rest of the proof is also similar to that of Theorem 1 and hence is omitted. □

4. Conclusions

The study of fractional differential equations has been a fertile and active field in recent times. The study of the properties of the solutions of these equations is one of the fields rich in interesting analytical and applied issues. This study uses the Caputo fractional derivative to analyze the asymptotic behavior of the non-oscillatory solutions of some forced-perturbed fractional differential equations. We obtain new results through which we can test the asymptotic behavior of the non-oscillatory solutions of the equation under study. The results are new, enhancing and expanding on a number of earlier findings in the literature. To illustrate the significance of our recent finding, one example is provided. Finally, we propose the following possible next directions for this research.
  • It will be interesting to investigate Equation (1) in the context of condition
    c a 1 δ ( ν ) d ν < ;
  • It will be interesting to extends these results to the more general equations of the following form under both conditions (6) and (26):
    D c α C ψ ( s ) f ( s , ϕ ( s ) ) = e ( s ) + g ( s ) ϕ β ( s ) + h ( s , ϕ ( s ) ) , c > 1 , α ( 0 , 1 ) ,
    where δ 1 and β > 0 represent the ratios of positive odd integers, ψ ( s ) = ( a ( s ) ( ϕ ( s ) ) δ ) ( n 1 ) with n N .

Author Contributions

Conceptualization, S.R.G., G.N.C., S.K., Y.A. and O.M.; Methodology, Y.A. and O.M.; Investigation, S.R.G., G.N.C. and S.K.; Writing—original draft, S.R.G., G.N.C. and S.K.; Writing—review & editing, S.R.G., G.N.C., S.K., Y.A. and O.M. All authors have read and agreed to the published version of the manuscript.

Funding

This paper is funded by Qassim University, Buraydah, Saudi Arabia.

Data Availability Statement

Data are contained within the article.

Acknowledgments

The Researchers would like to thank the Deanship of Graduate Studies and Scientific Research at Qassim University for financial support (QU-APC-2024).

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Diethelm, K. The Analysis of Fractional Differential Equations: An Application-Oriented Exposition Using Differential Operators of Caputo Type; Springer: Berlin/Heidelberg, Germany, 2010. [Google Scholar]
  2. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; Elsevier: Amsterdam, The Netherlands, 2006. [Google Scholar]
  3. Podlubny, I. Fractional Differential Equations: An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications; Elsevier: Amsterdam, The Netherlands, 1998. [Google Scholar]
  4. Miller, K.S.; Ross, B. An Introduction to the Fractional Calculus and Fractional Differential Equations; John Wiley Sons, Inc.: New York, NY, USA, 1993; A Wiley-Inter Science Publication. [Google Scholar]
  5. Frassu, S.; Van Der Mee, C.; Viglialoro, G. Boundedness in a nonlinear attraction-repulsion Keller–Segel system with production and consumption. J. Math. Anal. Appl. 2021, 504, 125428. [Google Scholar] [CrossRef]
  6. Li, T.; Pintus, N.; Viglialoro, G. Properties of solutions to porous medium problems with different sources and boundary conditions. Z. Angew. Math. Physik 2019, 70, 86. [Google Scholar] [CrossRef]
  7. Li, T.; Viglialoro, G. Boundedness for a nonlocal reaction chemotaxis model even in the attraction-dominated regime. Differ. Integr. Equ. 2021, 34, 315–336. [Google Scholar] [CrossRef]
  8. Botros, M.; Ziada, E.A.A.; El-Kalla, I.L. Semi-Analytic Solutions of Nonlinear Multidimensional Fractional Differential Equations. Math. Biosci. Eng. 2022, 19, 13306–13320. [Google Scholar] [CrossRef]
  9. Botros, M.; Ziada, E.A.A.; EL-Kalla, I.L. Solutions of Nonlinear Fractional Differential Equations with Nondifferentiable Terms. Statistics 2022, 10, 1014–1023. [Google Scholar] [CrossRef]
  10. Alsharidi, A.K.; Muhib, A. Investigating Oscillatory Behavior in Third-Order Neutral Differential Equations with Canonical Operators. Mathematics 2024, 12, 2488. [Google Scholar] [CrossRef]
  11. Alomair, M.A.; Muhib, A. On the Oscillation of Fourth-Order Canonical Differential Equation with Several Delays. AIMS Math. 2024, 9, 19997–20013. [Google Scholar] [CrossRef]
  12. Alsharidi, A.K.; Muhib, A. Oscillation Criteria for Mixed Neutral Differential Equations. AIMS Math. 2024, 9, 14473–14486. [Google Scholar] [CrossRef]
  13. Alsharidi, A.K.; Muhib, A.; Elagan, S.K. Neutral Differential Equations of Higher-Order in Canonical Form: Oscillation Criteria. Mathematics 2023, 11, 3300. [Google Scholar] [CrossRef]
  14. Chandrasekaran, E.; Chatzarakis, G.E.; Sakthivel, R.; Thandapani, E. Third-Order Nonlinear Semi-Canonical Functional Differential Equations: Oscillation via New Canonical Transform. Mathematics 2024, 12, 3113. [Google Scholar] [CrossRef]
  15. Murali, R.; Thandapani, E.; Selvan, A.P.; Henry, A. Ulam stability of a Particular Fredholm Integral equation with sine and cosine functions. Far East J. Math. Sci. (FJMS) 2017, 102, 2121–2131. [Google Scholar] [CrossRef]
  16. Mesmouli, M.B.; Iambor, L.F.; Menaem, A.A.; Hassan, T.S. Existence Results and Finite-Time Stability of a Fractional (p,q)-Integro-Difference System. Mathematics 2024, 12, 1399. [Google Scholar] [CrossRef]
  17. Graef, J.R.; Tunç, C.; Şengun, M.; Tunç, O. The stability of nonlinear delay integro-differential equations in the sense of Hyers-Ulam. Nonauton. Dyn. Syst. 2023, 10, 20220169. [Google Scholar] [CrossRef]
  18. Park, M.; Kwon, O.; Park, J.H.; Lee, S.; Cha, E. Stability of time-delay systems via Wirtinger-based double integral inequality. Automatica 2015, 55, 204–208. [Google Scholar] [CrossRef]
  19. Tunç, C.; Alshammari, F.S.; Akyildiz, F.T. Existence and Uniqueness of Solutions of Hammerstein-Type Functional Integral Equations. Symmetry 2023, 15, 2205. [Google Scholar] [CrossRef]
  20. Bouriah, S.; Foukrach, D.; Benchohra, M.; Graef, J. Existence and uniqueness of periodic solutions for some nonlinear fractional pantograph differential equations with ψ-Caputo derivative. Arab. J. Math. 2021, 10, 575–587. [Google Scholar] [CrossRef]
  21. Abdelhamid, O.; Graef, J.R.; Ouahab, A. Existence and uniqueness of solutions of nonlinear fractional stochastic differential systems with nonlocal functional boundary conditions. Stoch. Anal. Appl. 2022, 41, 713–733. [Google Scholar] [CrossRef]
  22. Saha, K.K.; Sukavanam, N.; Pan, S. Existence and uniqueness of solutions to fractional differential equations with fractional boundary conditions. Alex. Eng. J. 2023, 72, 147–155. [Google Scholar] [CrossRef]
  23. Shivanian, E. On the Existence and Uniqueness of the Solution of a Nonlinear Fractional Differential Equation with Integral Boundary Condition. J. Nonlinear Math. Phy. 2023, 30, 1345–1356. [Google Scholar] [CrossRef]
  24. Caputo, M. Linear models of dissipation whose Q is almost frequency independent II. Geophys. J. Roy. Astronom. Soc. 1967, 13, 529–535. [Google Scholar] [CrossRef]
  25. Brestovanska, E.; Medved, M. Asymptotic behavior of solutions to second-order differential equations with fractional derivative perturbations. Electron. J. Differ. Equ. 2014, 201, 1–10. [Google Scholar]
  26. Feng, L.; Han, Z. Oscillation behavior of solution of impulsive fractional differential equation. J. Appl. Anal. Comput. 2020, 10, 223–233. [Google Scholar] [CrossRef]
  27. Sun, L.Y.; Han, Z. Philos-type oscillation criteria for impulsive fractional differential equations. J. Appl. Math. Comput. 2020, 62, 361–376. [Google Scholar]
  28. Medved, M. Asymptotic integration of some classes of fractional differential equations. Tatra Mt. Math. Publ. 2013, 54, 119–132. [Google Scholar] [CrossRef]
  29. Grace, S.R. On the asymptotic behavior of positive solutions of certain fractional differential equations. Math. Probl. Eng. 2015, 2015, 945347. [Google Scholar] [CrossRef]
  30. Grace, S.R.; Graef, J.R.; Tunc, E. On the boundedness of non-oscillatory solutions of certain fractional differential equations with positive and negative terms. Appl. Math. Lett. 2019, 97, 114–120. [Google Scholar] [CrossRef]
  31. Grace, S.R. On the asymptotic behavior of nonoscillatory solutions of certain fractional differential equations. Mediterr. J. Math. 2018, 15, 76. [Google Scholar] [CrossRef]
  32. Bohner, M.; Grace, S.R.; Jadlovska, I.; Kilic, N. Non-oscillatory solutions of higher-order fractional differential equations. Mediterr. J. Math. 2022, 19, 142. [Google Scholar] [CrossRef]
  33. Graef, J.R.S.; Grace, R.; Tunc, E. On the asymptotic behavior of non-oscillatory solutions of certain fractional differential equations with positive and negative terms. Opuscula Math. 2020, 40, 227–239. [Google Scholar] [CrossRef]
  34. Deepalakshmi, R.; Saravanan, S.; Thandapani, E.; Tunc, E. Explicit Criteria for the Oscillation of Caputo Type Fractional-Order Delay Differential Equations. Mathematica 2024, 66, 98–104. [Google Scholar] [CrossRef]
  35. Mesmouli, M.B.; Akın, E.; Iambor, L.F.; Tunç, O.; Hassan, T.S. On the Fixed Point Theorem for Large Contraction Mappings with Applications to Delay Fractional Differential Equations. Fractal Fract. 2024, 8, 703. [Google Scholar] [CrossRef]
  36. Rezaiguia, A.; Hassan, T.S. Topological Structure and Existence of Solutions Set for Q-Fractional Differential Inclusion in Banach Space. Mathematics 2023, 11, 683. [Google Scholar] [CrossRef]
  37. Hassan, T.S.; Odinaev, I.; Shah, R.; Weera, W. Dynamical Analysis of Fractional Integro-Differential Equations. Mathematics 2022, 10, 2071. [Google Scholar] [CrossRef]
  38. Chen, F. Fixed points and asymptotic stability of nonlinear fractional difference equations. Electron. J. Qual. Theory Differ. Equ. 2011, 39, 18. [Google Scholar] [CrossRef]
  39. Grace, S.R.; Agarwal, R.P.; Wong, P.J.Y.; Zafer, A. On the oscillation of fractional differential equations. Fract. Calc. Appl. Anal. 2012, 15, 222–231. [Google Scholar] [CrossRef]
  40. Medved, M. Integral inequalities and global solutions of semilinear evolution equations. J. Math. Anal. Appl. 2002, 267, 643–650. [Google Scholar] [CrossRef]
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

Grace, S.R.; Chhatria, G.N.; Kaleeswari, S.; Alnafisah, Y.; Moaaz, O. Forced-Perturbed Fractional Differential Equations of Higher Order: Asymptotic Properties of Non-Oscillatory Solutions. Fractal Fract. 2025, 9, 6. https://doi.org/10.3390/fractalfract9010006

AMA Style

Grace SR, Chhatria GN, Kaleeswari S, Alnafisah Y, Moaaz O. Forced-Perturbed Fractional Differential Equations of Higher Order: Asymptotic Properties of Non-Oscillatory Solutions. Fractal and Fractional. 2025; 9(1):6. https://doi.org/10.3390/fractalfract9010006

Chicago/Turabian Style

Grace, Said R., Gokula N. Chhatria, S. Kaleeswari, Yousef Alnafisah, and Osama Moaaz. 2025. "Forced-Perturbed Fractional Differential Equations of Higher Order: Asymptotic Properties of Non-Oscillatory Solutions" Fractal and Fractional 9, no. 1: 6. https://doi.org/10.3390/fractalfract9010006

APA Style

Grace, S. R., Chhatria, G. N., Kaleeswari, S., Alnafisah, Y., & Moaaz, O. (2025). Forced-Perturbed Fractional Differential Equations of Higher Order: Asymptotic Properties of Non-Oscillatory Solutions. Fractal and Fractional, 9(1), 6. https://doi.org/10.3390/fractalfract9010006

Article Metrics

Back to TopTop