Next Article in Journal
Neutral Delayed Fractional Models in Financial Time Series: Insights into Borsa Istanbul Sectors Affected by the Kahramanmaraş Earthquake
Next Article in Special Issue
On the Pseudospectral Method for Solving the Fractional Klein–Gordon Equation Using Legendre Cardinal Functions
Previous Article in Journal
Existence of Solutions to the Variable Order Caputo Fractional Thermistor Problem
Previous Article in Special Issue
Theoretical Results on the pth Moment of ϕ-Hilfer Stochastic Fractional Differential Equations with a Pantograph Term
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Existence and Hyers–Ulam Stability Analysis of Nonlinear Multi-Term Ψ-Caputo Fractional Differential Equations Incorporating Infinite Delay

1
School of Mathematical Sciences, Yangzhou University, Yangzhou 225002, China
2
School of Information Engineering, Yangzhou University, Yangzhou 225003, China
3
Department of Mathematics, University of Khartoum, Omdurman, 406, Khartoum 11115, Sudan
*
Author to whom correspondence should be addressed.
Fractal Fract. 2025, 9(3), 140; https://doi.org/10.3390/fractalfract9030140
Submission received: 17 January 2025 / Revised: 19 February 2025 / Accepted: 20 February 2025 / Published: 22 February 2025

Abstract

The aim of the paper is to prove the existence results and Hyers–Ulam stability to nonlinear multi-term Ψ -Caputo fractional differential equations with infinite delay. Some specified assumptions are supposed to be satisfied by the nonlinear item and the delayed term. The Leray–Schauder alternative theorem and the Banach contraction principle are utilized to analyze the existence and uniqueness of solutions for infinite delay problems. Some new inequalities are presented in this paper for delayed fractional differential equations as auxiliary results, which are convenient for analyzing Hyers–Ulam stability. Some examples are discussed to illustrate the obtained results.

1. Introduction

Fractional differential equations (Fra-Diff-Equs) [1,2,3,4,5] are powerful tools for describing complex systems. In the early years, research was mainly focused on mathematical theoretical explorations, with less attention to time delays. They gained attention in the late 20th century and began to combine fractional calculus with time delays. Nowadays, fractional time delays have been applied in the fields of physics [6,7], solid mechanics [8], electromechanics [9], and finance [10], and chemistry [11], which help accurately describe the system dynamics, optimize the performance, improve the accuracy of the models, and assist in the decision-making process in these fields.
In order to ensure the solvability of the equations and to provide a prerequisite for numerical calculations, in recent years, scholars have devoted themselves to studying the properties of solutions of Fra-Diff-Equs [12,13,14]. Benchohra M et al. [15] explored the existence of solutions to Caputo Fra-Diff-Equs; Bao et al. [16] explored the existence results of solutions to neutral stochastic Fra-Diff-Equs in Lp ( Ω , C h ) .
However, due to the constraints of the time-delay conditions, the study of the stability of Fra-Diff-Equs [17,18,19,20,21,22] is extremely difficult. It requires scholars attempt to prove new inequalities according to the requirements of the conditions. Over the past years, numerous articles have been dedicated to studying the Hyers–Ulam stability (Hs-Um-St) of Fra-Diff-Equs.
In [23], Dong et al. investigated a type of Riemann–Liouville Fra-Diff-Equs with time delay
D Θ y ( v ) = f ( v , y v ^ ) , v ( 0 , ] , y 0 ^ = B ˘ ,
where y ^ ( v ) = v 1 Θ y ( v ) , 0 < Θ 1 , B ˘ represents the phase space. For Fra-Diff-Equs with non-zero initial values, the weighted-delay method was employed to investigate the properties of the solutions. Dong et al. proved new Gronwall inequalities, which laid the foundation for the proof of Hs-Um-St.
In [24], Chen et al. investigated the existence, uniqueness, and Hs-Um-St of solutions for Fra-Diff-Equs with infinite delay
D Θ c y ( v ) a D ϱ c y ( v ) = f ( v , y v ) , v J = [ 0 , ] , y ( v ) = ( v ) , v ( , 0 ] ,
where y v ( s ) = y ( v + s ) , s ( , 0 ] ,   v J , D Θ c and D ϱ c are a Caputo fractional derivative (Fr-De) with 0 < ϱ < Θ 1 , f : J × B ˘ R is given that satisfies certain assumptions, the function B ˘ .
Inspired by the works in the discussions above, in this paper, we conduct an in-depth study on a class of nonlinear Fra-Diff-Equs with infinite delay and featuring the Ψ -Caputo Fr-De
D Θ ; Ψ c y ( v ) a D ϱ ; Ψ c y ( v ) = f ( v , y v ) , v J = [ 0 , ] , y ( v ) = ( v ) , v ( , 0 ] ,
where D Θ ; Ψ c and D ϱ ; Ψ c stand for Ψ -Caputo Fr-Des with 0 < ϱ < Θ 1 , a R is a constant, and the function f : J × B ˘ R satisfies the specified hypotheses, B ˘ , and B ˘ is a phase space. y v is a function defined on ( , ] as
y v ( s ) = y ( v + s ) , s ( , 0 ] , v J .
Our approach mainly focuses on transforming delayed differential equations into integral equations. Subsequently, these integral equations are properly extended within the phase space. We use the Leray–Schauder alternative and Banach fixed-point theorems to examine the existence and uniqueness of solutions. Furthermore, we initiate an exploration of the Hs-Um-St of the solution. It is worth noting that this exploration is faced with substantial challenges. These challenges mainly originate from the specific constraints caused by the delay conditions, which increase the complexity of analyzing the stability of the solution. Specifically, the difficulty lies in the fact that the original Gronwall inequality is inapplicable. To overcome this difficulty, we need to extend new inequalities.
In Section 2, a comprehensive review of some basic definitions and lemmas will be carried out. Section 3 is devoted to investigating the existence and uniqueness of the solutions. In Section 4, we discuss Hs-Um-St in detail. At the end of the article, two examples are provided to illustrate the conclusions.

2. Preliminaries and Lemmas

We first list several basic definitions and theorems. Subsequently, we proceed to prove a series of inequalities that are used to verify the Hs-Um-St. It should be emphasized that the function Ψ ( [ a , ] R + ) is increasing, positive, uniformly integrable, and Ψ ( v ) 0 . This makes the subsequent proofs more rigorous.
Definition 1
([25]). Let Θ > 0 and n N with n = [ Θ ] + 1 . The Riemann–Liouville Fr-De with respect to Ψ with the order Θ of y is defined by
D a + Θ ; Ψ R L y ( v ) : = ( 1 Ψ ( v ) d d v ) n J a + n Θ ; Ψ y ( v ) ,
where J a + Θ ; Ψ y ( v ) is defined by
J a + Θ ; Ψ y ( v ) : = 1 Γ ( Θ ) a v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 y ( s ) d s .
Definition 2
([26]). Let Θ > 0 and n N . The Caputo-type Fr-De with respect to Ψ with the order Θ of y is defined by
D a + Θ ; Ψ c y ( v ) : = D a + Θ ; Ψ R L [ y ( v ) i = 0 n 1 y Ψ [ i ] ( a ) i ! ( Ψ ( v ) Ψ ( a ) ) i ] ,
where y C n 1 ( [ a , ] , R ) ,   D a + Θ ; Ψ R L y ( v ) exists and
y Ψ [ i ] ( v ) : = ( 1 Ψ ( v ) d d v ) i y ( v ) .
Theorem 1
([27]). Let Θ > 0 .
(i) If the function y : [ a , ] R is continuous, then
D a + Θ ; Ψ c J a + Θ ; Ψ y ( v ) = y ( v ) .
(ii) If y C n 1 ( [ a , ] , R ) and D a + Θ ; Ψ R L y ( v ) exists, then
J a + Θ ; Ψ D a + Θ ; Ψ c y ( v ) = y ( v ) i = 0 n 1 y Ψ [ i ] ( a ) i ! ( Ψ ( v ) Ψ ( a ) ) i .
Definition 3
([28]). Let X be a Banach space. A linear topological space of functions from ( , 0 ] into X , with the seminorm · B ˘ , is said to be an admissible phase space if B ˘ has the following properties:
(A1) There exists a constant H > 0 and functions K ( · ) , M ( · ) : [ 0 , + ) [ 0 , + ) , such that K is a continuous function and M is locally bounded, such that for any constant a , R with > a , if the function k : ( , ] X , k a B ˘ and function k ( · ) is continuous on [ a , ] , then for every v [ a , ] , the following conditions (i)-(iii) hold:
(i) k v B ˘ ;
(ii) k ( v ) H k v B ˘ ;
(iii) k v B ˘ K ( v a ) sup a s v k ( s ) + M ( v a ) k a B ˘ .
(A2) For the function k ( · ) in (A1), v k v is a B ˘ -valued continuous function for v [ a , ] .
(B1) The space B ˘ is complete.
Definition 4
([29]). The problem (1) is said to be Hs-Um-St if there exists a real number x > 0, such that for each ε > 0 and for every solution ( · ) of the inequalities
D Θ ; Ψ c ( v ) a D ϱ ; Ψ c ( v ) f ( v , v ) ε , v J = [ 0 , ] , ( v ) = ( v ) , v ( , 0 ] ,
there exists a solution ( · ) of the problem (1) with
( v ) ( v ) x ε , v J = [ 0 , ] .
Lemma 1
([30]). (Leray–Schauder alternative) Let X be a Banach space, O is a subset of X , and O is a closed and convex subset. Moreover, assume that V is an open subset of O with 0 V . Suppose τ : V ¯ O is a continuous and compact map. Then, either τ has a fixed point in V , or there is a s V and ( 0 , 1 ) with s = ν ( s ) .
Next, for conveniently proving Theorem 5, we will extend certain properties of the Caputo derivative to the Ψ -Caputo derivative and introduce some integral inequalities that can be regarded as an extended version of the Gronwall inequality.
Lemma 2.
Suppose Θ > 0 , a function f C [ 0 , ] , which is nonnegative and nondecreasing, and Ψ is an increasing function. Then, the function
F ( v ) = J 0 + Θ ; Ψ f ( v ) = 1 Γ ( Θ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 f ( s ) d s
is nondecreasing on [ 0 , ] .
Proof. 
Assuming that the function f satisfies the conditions mentioned above, we can obtain that f ( v ) 0 for all v [ 0 , ] . Let Ψ ( v ) Ψ ( s ) = ν . Then s = Ψ 1 ( Ψ ( v ) ν ) . It follows that
F ( v ) = f ( 0 ) Γ ( Θ ) Ψ ( v ) ( Ψ ( v ) Ψ ( 0 ) ) Θ 1 + 1 Γ ( Θ ) 0 Ψ ( v ) Ψ ( 0 ) ν Θ 1 f ( Ψ 1 ( Ψ ( v ) ν ) ) d ( Ψ 1 ( Ψ ( v ) ν ) ) d v d ν .
Let θ ( v ) = f ( 0 ) Γ ( Θ ) Ψ ( v ) ( Ψ ( v ) Ψ ( 0 ) ) Θ 1 , μ ( v ) = Ψ 1 ( Ψ ( v ) ν ) . Then, θ ( v ) > 0 because Ψ is increasing, and d μ ( v ) d v > 0 due to μ ( · ) is nondecreasing. So, we have
F ( v ) = θ ( v ) + 1 Γ ( Θ ) 0 Ψ ( v ) Ψ ( 0 ) ν Θ 1 f ( μ ( v ) ) d μ ( v ) d v d ν > 0
for all v [ 0 , ] and, hence, F ( · ) is nondecreasing on [ 0 , ] . □
To study the problem of infinite delay, we extend Lemma 5 in [24] and prove the following inequality.
Lemma 3.
For any function ω 0 belonging to the space C [ a , ] and any v [ a , ] , the following integral inequality
sup 0 ν v 0 ν Ψ ( s ) ( Ψ ( ν ) Ψ ( s ) ) Θ 1 ω ( s ) d s 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 sup 0 σ s ω ( σ ) d s ,
can be obtained.
Proof. 
Fix v [ a , ] . Given the function ω ( · ) , which is nonnegative, and sup 0 σ s ω ( σ ) , which is nondecreasing, this results in F ( v ) = 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 sup 0 σ s ω ( σ ) d s also being nondecreasing according to Lemma 2. Then, for any ν [ 0 , v ] , we have
0 ν Ψ ( s ) ( Ψ ( ν ) Ψ ( s ) ) Θ 1 ω ( s ) d s 0 ν Ψ ( s ) ( Ψ ( ν ) Ψ ( s ) ) Θ 1 sup 0 σ s ω ( σ ) d s 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 sup 0 σ s ω ( σ ) d s ,
therefore,
sup 0 ν v 0 ν Ψ ( s ) ( Ψ ( ν ) Ψ ( s ) ) Θ 1 ω ( s ) d s 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 sup 0 σ s ω ( σ ) d s .
Thus, the proof is completed. □
Next, we extend the Lemma 2.6 in [1] to Ψ -Caputo calculus.
Lemma 4.
Let Θ > 0 , / a > 0 . Consider g ( v , s ) as a non-negative continuous function that is defined on the domain [ 0 , T ] × [ 0 , T ] , where g ( v , s ) M . The function g ( v , s ) has the property of being non-decreasing in v and non-increasing in s. Let Ψ be an increasing and uniformly integrable function. Assume that the function ϖ ( t ) is non-negative and integrable on the interval [ 0 , T ] with
ϖ ( v ) / a + 0 v g ( v , s ) Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 ϖ ( s ) d s , v [ 0 , T ] .
Then, we have
ϖ ( v ) / a + / a 0 v n = 1 ( g ( v , s ) Γ ( Θ ) ) n Γ ( n Θ ) ( Ψ ( v ) Ψ ( s ) ) n Θ 1 Ψ ( s ) d s .
Proof. 
Let P ϖ ( v ) = 0 v g ( v , s ) Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 ϖ ( s ) d s , it follows that ϖ ( v ) / a + P ϖ ( v ) , which implies
ϖ ( v ) k = 0 n 1 P k / a + P n ϖ ( v ) ( P 0 / a = / a ) .
We now prove that
P n ϖ ( v ) 0 v ( g ( v , s ) Γ ( Θ ) ) n Γ ( n Θ ) ( Ψ ( v ) Ψ ( s ) ) n Θ 1 Ψ ( s ) ϖ ( s ) d s .
For n = 1 , the demonstration is straightforward. Assume that Equation (11) is valid when ( n = k ). Then, when ( n = k + 1 ), we obtain
P k + 1 ϖ ( v ) = P ( P k ϖ ( v ) ) = 0 v g ( v , s ) Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 P k ϖ ( s ) d s 0 v g ( v , s ) Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 0 s ( g ( s , ν ) Γ ( Θ ) ) k Γ ( k Θ ) ( Ψ ( s ) Ψ ( ν ) ) k Θ 1 Ψ ( ν ) ϖ ( ν ) d ν d s 0 v g ( v , ν ) Ψ ( s ) 0 s ( g ( v , ν ) Γ ( Θ ) ) k Γ ( k Θ ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 ( Ψ ( s ) Ψ ( ν ) ) k Θ 1 Ψ ( ν ) ϖ ( ν ) d ν d s = 0 v g ( v , ν ) k + 1 [ ν v Γ ( Θ ) k Γ ( k Θ ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 ( Ψ ( s ) Ψ ( ν ) ) k Θ 1 Ψ ( s ) d s ] Ψ ( ν ) ϖ ( ν ) d ν = 0 v ( g ( v , ν ) Γ ( Θ ) ) k + 1 Γ ( ( k + 1 ) Θ ) ( Ψ ( v ) Ψ ( ν ) ) ( k + 1 ) Θ 1 Ψ ( ν ) ϖ ( ν ) d ν = 0 v ( g ( v , s ) Γ ( Θ ) ) k + 1 Γ ( ( k + 1 ) Θ ) ( Ψ ( v ) Ψ ( s ) ) ( k + 1 ) Θ 1 Ψ ( s ) ϖ ( s ) d s .
Through the method of mathematical induction, inequality (11) holds for all n N . Replacing ϖ ( v ) with / a in (11), we deduce that P k / a / a 0 v ( g ( v , s ) Γ ( Θ ) ) k Γ ( k Θ ) ( Ψ ( v ) Ψ ( s ) ) k Θ 1 Ψ ( s ) d s , k = 1 , 2 , . Analogous to the proof process of Lemma 3.4 in [23], we are able to confirm that
P n ϖ ( v ) 0 v ( M Γ ( Θ ) ) n Γ ( n Θ ) ( Ψ ( v ) Ψ ( s ) ) n Θ 1 Ψ ( s ) ϖ ( s ) d s 0
as n approaches infinity, uniformly in v [ 0 , T ] . Finally, letting n approach infinity in (10), we obtain
ϖ ( v ) n = 0 P n / a / a + / a 0 v n = 1 ( g ( v , s ) Γ ( Θ ) ) n Γ ( n Θ ) ( Ψ ( v ) Ψ ( s ) ) n Θ 1 Ψ ( s ) d s .
The lemma is proved. □
Lemma 5.
The solution of Equation (1) is
y ( v ) = a J Θ ϱ ; Ψ y ( v ) + J Θ ; Ψ f ( v , y v ) + ϑ ( v ) , v J = [ 0 , ] ,
where ϑ ( v ) = y ( 0 ) ( 1 a ( Ψ ( v ) Ψ ( 0 ) ) Θ ϱ Γ ( 1 + Θ ϱ ) ) is a function.
Proof. 
The proof is evident from Definition 1 and Theorem 1. □

3. Existence Results

In this part, we mainly use Lemma 1 and the Banach contraction principle to prove the existence results of solutions.
We list the following four assumptions.
(D1) The continuous function f : [ 0 , ] × B ˘ R has a bounded subset W 0 B ˘ , such that f : [ 0 , ] × W 0 , on which it is uniformly continuous.
(D2) There exists a constant L , such that f ( v , ) f ( v , ð ) L ð B ˘ for each v J and every , ð B ˘ .
(D3) There exist functions g , l C ( J , R + ) , such that f ( v , ) g ( v ) + l ( v ) B ˘ for each v J and every B ˘ .
(D4) There exists a nonnegative function η ˜ L p [ 0 , ] with p > 1 Θ and a continuously non-decreasing function Ω : [ 0 , + ) [ 0 , + ) , such that f ( v , ) η ˜ ( v ) Ω ( B ˘ ) for all v J and every B ˘ .
Before the proof of the main result, let us initiate our analysis by transforming the problem of solutions into a fixed-point problem. According to Lemma 5, it is known that y is a solution to (1), precisely when y satisfies
y ( v ) = a J Θ ϱ ; Ψ y ( v ) + J Θ ; Ψ f ( v , y v ) + ϑ ( v ) , v [ 0 , ] , ( v ) , v ( , 0 ] .
For any B ˘ , define the function ^ as
^ ( v ) = ( 0 ) , v [ 0 , ] , ( v ) , v ( , 0 ] .
For Ξ C ( [ 0 , ] , R ) , we define the function Ξ ^ as
Ξ ^ ( v ) = Ξ ( v ) ( 0 ) , v [ 0 , ] , 0 , v ( , 0 ] .
We can decompose y ( · ) into the sum of two functions. For v [ 0 , ] , we have y ( v ) = ^ ( v ) + Ξ ^ ( v ) . Moreover, for all v [ 0 , ] , we can easily obtain that y v = ^ v + Ξ ^ v , and note that Ξ ( · ) satisfies
Ξ ( v ) = a J Θ ϱ ; Ψ Ξ ( v ) + J Θ ; Ψ f ( v , ^ v + Ξ ^ v ) + ϑ ( v ) .
Now, we define a set C 0 = Ξ C ( [ 0 , ] , R ) : Ξ ( 0 ) = ( 0 ) . It is not difficult to see that the set C 0 is closed and, thus, completed. Based on this, we define an operator T : C 0 C 0 by
( T Ξ ) ( v ) = a J Θ ϱ ; Ψ Ξ ( v ) + J Θ ; Ψ f ( v , ^ v + Ξ ^ v ) + ϑ ( v ) .
Theorem 2.
Suppose that (D1) and (D2) are satisfied. If
0 < a ( Ψ ( ) Ψ ( 0 ) ) Θ ϱ Γ ( Θ ϱ + 1 ) + L K m ( Ψ ( ) Ψ ( 0 ) ) Θ Γ ( Θ + 1 ) < 1 ,
then Equation (1) has a unique solution on ( , ] .
Proof. 
Let T : C 0 C 0 be given as (13). For any , ð C 0 and each v [ 0 , ] , we have
( T ) ( v ) ( T ð ) ( v ) a Γ ( Θ ϱ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ ϱ 1 ( s ) ð ( s ) d s + 1 Γ ( Θ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 f ( s , ^ s + ^ s ) f ( s , ^ s + ð ^ s ) d s a ( Ψ ( ) Ψ ( 0 ) ) Θ ϱ Γ ( Θ ϱ + 1 ) ð + L Γ ( Θ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 ^ s ð ^ s B ˘ d s .
As
^ s ð ^ s B ˘ K ( s ) s u p 0 ν s ^ ( ν ) ð ^ ( ν ) + M ( s ) ^ 0 ð ^ 0 B ˘ K m s u p 0 ν s ( ν ) ( 0 ) ð ( ν ) + ( 0 ) K m ð ,
where K m = s u p K ( v ) : v [ a , ] , we get
T T ð ( a ( Ψ ( ) Ψ ( 0 ) ) Θ ϱ Γ ( Θ ϱ + 1 ) + L K m ( Ψ ( ) Ψ ( 0 ) ) Θ Γ ( Θ + 1 ) ) ð .
Assumption (14) shows that T is a contraction. Applying the Banach contraction principle, we conclude that T has a unique fixed point. Then Equation (1) has a unique solution on ( , ] . □
Theorem 3.
Suppose that (D1) and (D3) hold. Further, suppose that
a ( Ψ ( ) Ψ ( 0 ) ) Θ ϱ Γ ( Θ ϱ + 1 ) + K m ( Ψ ( ) Ψ ( 0 ) ) Θ Γ ( Θ + 1 ) l < 1
holds. Then, Equation (1) has at least one solution on ( , ] .
Proof. 
To apply Lemma 1, we will demonstrate, through the subsequent steps, that the operator T is completely continuous.
Let Ξ n be a sequence, such that Ξ n Ξ in C 0 . Then, for each v [ 0 , ] , we have
T Ξ n ( v ) T Ξ ( v ) a Γ ( Θ ϱ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ ϱ 1 Ξ n ( s ) Ξ ( s ) d s + 1 Γ ( Θ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 f ( s , ^ s + ( Ξ n ) ^ s ) f ( s , ^ s + Ξ ^ s ) d s .
Set W 0 = ( Ξ n ) s : s [ 0 , ] , n 1 B ˘ . From (D1), it can be observed that the function f is uniformly continuous with respect to s [ 0 , v ] . This means that for each ε > 0 , there exists δ > 0 , such that for each Ξ 1 , Ξ 2 W 0 with Ξ 1 Ξ 2 < δ , we have f ( s , Ξ 1 ) f ( s , Ξ 2 ) < ε . As Ξ n Ξ , N > 0 , such that for each n > N , we have Ξ n Ξ < δ . Hence, f ( s , Ξ n ) f ( s , Ξ ) < ε for all s [ 0 , v ] . Based on the previously introduced definition Ξ v = Ξ ^ v + ^ v , it follows that f ( s , ^ s + ( Ξ n ) ^ s ) f ( s , ^ s + Ξ ^ s ) < ε , so we get
T Ξ n ( v ) T Ξ ( v ) a ( Ψ ( ) Ψ ( 0 ) ) Θ ϱ Γ ( Θ ϱ + 1 ) Ξ n Ξ + ( Ψ ( ) Ψ ( 0 ) ) Θ ε Γ ( Θ + 1 ) .
Hence, Ξ n Ξ 0 as Ξ n Ξ . Due to the arbitrariness of ε , we obtain that T Ξ n ( v ) T Ξ ( v ) 0 , which implies that T is continuous.
We now show that T maps bounded subsets into bounded subsets in C 0 . In fact, it is enough to prove that for any r > 0 , there exists a positive constant ζ , such that for each Ξ B r = Ξ C 0 : Ξ r , we have T Ξ ( v ) ζ . Let Ξ B r . As f is a continuous function, for each v [ 0 , ] , we have
T Ξ ( v ) a Γ ( Θ ϱ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ ϱ 1 Ξ ( s ) d s + 1 Γ ( Θ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 f ( s , Ξ ^ s + ^ s ) d s + ϑ ( ) a ( Ψ ( ) Ψ ( 0 ) ) Θ ϱ Γ ( Θ ϱ + 1 ) Ξ + 1 Γ ( Θ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 ( g ( s ) + l ( s ) Ξ ^ s + ^ s B ˘ ) d s + ϑ ( ) .
As
Ξ ^ s + ^ s B ˘ Ξ ^ s B ˘ + ^ s B ˘ K ( s ) sup 0 ν s Ξ ^ ( ν ) + M ( s ) Ξ ^ 0 B ˘ + K ( s ) sup 0 ν s ^ ( ν ) + M ( s ) ^ 0 B ˘ K m sup 0 ν s Ξ ( ν ) ( 0 ) + K m ( 0 ) + M m B ˘ K m r + 2 K m ( 0 ) + M m B ˘ K m r + 2 K m H B ˘ + M m B ˘ K m r + ( 2 K m H + M m ) B ˘ : = r 0 ,
where H > 0 , M m = sup M ( v ) : v [ a , ] , K m = sup K ( v ) : v [ a , ] , we have
T Ξ ( v ) a ( Ψ ( ) Ψ ( 0 ) ) Θ ϱ Γ ( Θ ϱ + 1 ) r + ( Ψ ( ) Ψ ( 0 ) ) Θ Γ ( Θ + 1 ) ( g + l r 0 ) + ϑ ( ) : = ζ .
This can be proven.
Next, we prove that T maps bounded subsets into equicontinuous subsets of C 0 . For all Ξ B r and v 1 , v 2 [ 0 , ] , v 1 < v 2 , we have
( T Ξ ) ( v 2 ) ( T Ξ ) ( v 1 ) a Ξ Γ ( Θ ϱ ) | 0 v 1 ( ( Ψ ( v 2 ) Ψ ( s ) ) Θ ϱ 1 ( Ψ ( v 1 ) Ψ ( s ) ) Θ ϱ 1 ) d Ψ ( s ) + v 1 v 2 ( Ψ ( v 2 ) Ψ ( s ) ) Θ ϱ 1 d Ψ ( s ) | + 1 Γ ( Θ ) | 0 v 1 ( ( Ψ ( v 2 ) Ψ ( s ) ) Θ 1 ( Ψ ( v 1 ) Ψ ( s ) ) Θ 1 ) f ( s , Ξ ^ s + ^ s ) d Ψ ( s ) + v 1 v 2 ( Ψ ( v 2 ) Ψ ( s ) ) Θ 1 f ( s , Ξ ^ s + ^ s ) d Ψ ( s ) | + ϑ ( v 2 ) ϑ ( v 1 ) a Ξ Γ ( Θ ϱ + 1 ) ( ( Ψ ( v 2 ) Ψ ( 0 ) ) Θ ϱ ( Ψ ( v 1 ) Ψ ( 0 ) ) Θ ϱ + 2 ( Ψ ( v 2 ) Ψ ( v 1 ) ) Θ ϱ ) + g + l r 0 Γ ( Θ + 1 ) ( ( Ψ ( v 2 ) Ψ ( 0 ) ) Θ ( Ψ ( v 1 ) Ψ ( 0 ) ) Θ + 2 ( Ψ ( v 2 ) Ψ ( v 1 ) ) Θ ) + ϑ ( v 2 ) ϑ ( v 1 ) .
As Θ ϱ > 0 , Θ > 0 , it is easy to see that ( T Ξ ) ( v 2 ) ( T Ξ ) ( v 1 ) 0 as v 1 v 2 0 . As a consequence, T ( B r ) is equicontinuous. According to the Arzela-Ascolli theorem, we can conclude that T : C 0 C 0 is a completely continuous mapping.
Now, we have to verify that there exists at least one fixed point Ξ of T. We assume that there exists an open set V C 0 , such that for every Ξ V and for each ( 0 , 1 ) , the inequality Ξ T ( Ξ ) holds. Define the set χ = Ξ C 0 : Ξ < N . So, the operator T : χ ¯ C 0 satisfies the complete continuity. Assume
Ξ = T Ξ
holds for some Ξ χ ¯ and ( 0 , 1 ) . Then, we obtain
Ξ ( v ) = T Ξ ( v ) T Ξ ( v ) a ( Ψ ( ) Ψ ( 0 ) ) Θ ϱ Γ ( Θ ϱ + 1 ) Ξ + ( Ψ ( ) Ψ ( 0 ) ) Θ Γ ( Θ + 1 ) ( g + l ( K m Ξ + ( 2 K m H + M m ) B ˘ ) ) + ϑ ( ) .
Hence, the following inequalities can be obtained based on the conditions (15).
Ξ a ( Ψ ( ) Ψ ( 0 ) ) Θ ϱ Γ ( Θ ϱ + 1 ) Ξ + ( Ψ ( ) Ψ ( 0 ) ) Θ Γ ( Θ + 1 ) K m l Ξ + ( Ψ ( ) Ψ ( 0 ) ) Θ Γ ( Θ + 1 ) ( g + l ( 2 K m H + M m ) B ˘ ) + ϑ ( ) < N
holds, which contradicts with the fact that N = Ξ . Thus, we obtain
Ξ T Ξ
for any Ξ χ ¯ and ( 0 , 1 ) .
Utilizing Lemma 1, we infer that there exists at least one fixed point Ξ of T. This completes the proof. □
Theorem 4.
Suppose that (D1) and (D4) hold. Additionally, suppose that
a ( Ψ ( ) Ψ ( 0 ) ) Θ ϱ Γ ( Θ ϱ + 1 ) + ( Ψ ( ) Ψ ( 0 ) ) r 1 η ˜ p K m Γ ( Θ ) r 2 lim sup r Ω ( r ) r < 1
holds, where r 1 = [ ( Θ 1 ) q + 1 ] / q , r 2 = ( 1 + ( Θ 1 ) q ) 1 q . Then, the Equation (1) has at least one solution on ( , ] .
Proof. 
With the aid of the Lebesgue dominated convergence theorem, it is straightforward to confirm that T is continuous.
We now show that T maps bounded subsets into bounded subsets in C 0 . Let B r = Ξ C 0 : Ξ r . Then, for any Ξ B r and v [ 0 , ] , we have
T Ξ ( v ) a Γ ( Θ ϱ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ ϱ 1 Ξ ( s ) d s + 1 Γ ( Θ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 f ( s , Ξ ^ s + ^ s ) d s + ϑ ( ) a ( Ψ ( v ) Ψ ( 0 ) ) Θ ϱ Γ ( Θ ϱ + 1 ) Ξ + 1 Γ ( Θ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 × η ˜ ( s ) Ω ( Ξ ^ s + ^ s B ˘ ) d s + ϑ ( ) .
As
Ξ ^ s + ^ s B ˘ K m r + ( 2 K m H + M m ) B ˘ : = r 0 ,
where M m = sup M ( v ) : v [ a , ] , K m = sup K ( v ) : v [ a , ] and H > 0 is a constant. By Hölder inequality, we have
T Ξ ( v ) a ( Ψ ( ) Ψ ( 0 ) ) Θ ϱ Γ ( Θ ϱ + 1 ) Ξ + Ω ( r 0 ) Γ ( Θ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 η ˜ ( s ) d s + ϑ ( ) a ( Ψ ( ) Ψ ( 0 ) ) Θ ϱ Γ ( Θ ϱ + 1 ) Ξ + Ω ( r 0 ) Γ ( Θ ) ( 0 v ( Ψ ( v ) Ψ ( s ) ) ( Θ 1 ) q d Ψ ( s ) ) 1 q × ( 0 η ˜ p ( Ψ ( s ) ) d Ψ ( s ) ) 1 p + ϑ ( ) a ( Ψ ( ) Ψ ( 0 ) ) Θ ϱ Γ ( Θ ϱ + 1 ) r + Ω ( r 0 ) ( Ψ ( ) Ψ ( 0 ) ) r 1 Γ ( Θ ) r 2 η ˜ p + ϑ ( ) = ζ .
where r 1 = [ ( Θ 1 ) q + 1 ] / q , r 2 = ( 1 + ( Θ 1 ) q ) 1 q , η ˜ p = ( 0 η ˜ ( s ) p ) 1 p , 1 p + 1 q = 1 and ( Θ 1 ) > 1 .
Next, we prove that T maps bounded subsets into equicontinuous subsets of C 0 . Consider the set B r = Ξ C 0 : Ξ r and take an arbitrary Ξ B r . Then, for v 1 , v 2 [ 0 , ] with v 1 < v 2 , we have
( T Ξ ) ( v 2 ) ( T Ξ ) ( v 1 ) a Ξ Γ ( Θ ϱ ) [ 0 v 1 ( ( Ψ ( v 2 ) Ψ ( s ) ) Θ ϱ 1 ( Ψ ( v 1 ) Ψ ( s ) ) Θ ϱ 1 ) d Ψ ( s ) + v 1 v 2 ( Ψ ( v 2 ) Ψ ( s ) ) Θ ϱ 1 d Ψ ( s ) ] + 1 Γ ( Θ ) 0 v 1 ( ( Ψ ( v 2 ) Ψ ( s ) ) Θ 1 ( Ψ ( v 1 ) Ψ ( s ) ) Θ 1 ) f ( s , Ξ ^ s + ^ s ) d Ψ ( s ) + v 1 v 2 ( Ψ ( v 2 ) Ψ ( s ) ) Θ 1 f ( s , Ξ ^ s + ^ s ) d Ψ ( s ) + ϑ ( v 2 ) ϑ ( v 1 ) a Ξ Γ ( Θ ϱ + 1 ) ( ( Ψ ( v 2 ) Ψ ( 0 ) ) Θ ϱ ( Ψ ( v 1 ) Ψ ( 0 ) ) Θ ϱ + 2 ( Ψ ( v 2 ) Ψ ( v 1 ) ) Θ ϱ ) + Ω ( r 0 ) Γ ( Θ ) ( 0 v 1 [ ( Ψ ( v 2 ) Ψ ( s ) ) Θ 1 ( Ψ ( v 1 ) Ψ ( s ) ) Θ 1 ] q d Ψ ( s ) ) 1 q ( 0 v 1 η ˜ p ( Ψ ( s ) ) d Ψ ( s ) ) 1 p + Ω ( r 0 ) Γ ( Θ ) ( v 1 v 2 ( Ψ ( v 2 ) Ψ ( s ) ) ( Θ 1 ) q d Ψ ( s ) ) 1 q ( v 1 v 2 η ˜ p ( Ψ ( s ) ) d Ψ ( s ) ) 1 p + ϑ ( v 2 ) ϑ ( v 1 ) .
As n > 1 , a > b , ( a b ) n < a n b n , we can obtain
( T Ξ ) ( v 2 ) ( T Ξ ) ( v 1 ) a Ξ Γ ( Θ ϱ + 1 ) ( ( Ψ ( v 2 ) Ψ ( 0 ) ) Θ ϱ ( Ψ ( v 1 ) Ψ ( 0 ) ) Θ ϱ + 2 ( Ψ ( v 2 ) Ψ ( v 1 ) ) Θ ϱ ) + Ω ( r 0 ) Γ ( Θ ) ( 0 v 1 ( ( Ψ ( v 2 ) Ψ ( s ) ) ( Θ 1 ) q ( Ψ ( v 1 ) Ψ ( s ) ) ( Θ 1 ) q ) d Ψ ( s ) ) 1 q η ˜ p + ( Ψ ( v 2 ) Ψ ( v 1 ) ) r 1 r 2 η ˜ p + ϑ ( v 2 ) ϑ ( v 1 ) a Ξ Γ ( Θ ϱ + 1 ) ( ( Ψ ( v 2 ) Ψ ( 0 ) ) Θ ϱ ( Ψ ( v 1 ) Ψ ( 0 ) ) Θ ϱ + 2 ( Ψ ( v 2 ) Ψ ( v 1 ) ) Θ ϱ ) + Ω ( r 0 ) η ˜ p Γ ( Θ ) r 2 ( ( Ψ ( v 2 ) Ψ ( 0 ) ) r 1 ( Ψ ( v 1 ) Ψ ( 0 ) ) r 1 + 2 ( Ψ ( v 2 ) Ψ ( v 1 ) ) r 1 ) + ϑ ( v 2 ) ϑ ( v 1 ) ,
where r 1 = [ ( Θ 1 ) q + 1 ] / q , r 2 = ( 1 + ( Θ 1 ) q ) 1 q , r 0 = K m r + ( 2 K m H + M m ) B ˘ . As Θ ϱ > 0 , r 1 > 0 , it is easy to see that ( T Ξ ) ( v 2 ) ( T Ξ ) ( v 1 ) 0 as v 1 v 2 0 . By the Arzela–Ascolli theorem, we can conclude that T : C 0 C 0 is a completely continuous mapping.
Now, we have to verify that there exists at least one fixed point Ξ of T. We assume that there exists an open set V C 0 , such that for every Ξ V and for each ( 0 , 1 ) , the inequality Ξ T ( Ξ ) holds. Define the set χ = Ξ C 0 : Ξ < N . So, the operator T : χ ¯ C 0 satisfies the complete continuity. Assume
Ξ = T Ξ
holds for some Ξ χ ¯ and ( 0 , 1 ) . Then, we obtain
Ξ ( v ) = T Ξ ( v ) T Ξ ( v ) a ( Ψ ( ) Ψ ( 0 ) ) Θ ϱ Γ ( Θ ϱ + 1 ) Ξ + Ω ( K m r + ( 2 K m H + M m ) B ˘ ) ( Ψ ( ) Ψ ( 0 ) ) r 1 Γ ( Θ ) r 2 η ˜ p + ϑ ( ) .
Hence, the following inequalities can be obtained based on the conditions (16).
Ξ < N
holds, which contradicts N = Ξ . Thus,
Ξ T Ξ
for any Ξ χ ¯ and ( 0 , 1 ) .
As a consequence of Lemma 1, we deduce that there exists at least one fixed point Ξ of T. The proof is complete. □

4. Stability Analysis

In this section, we conduct an analysis of the Hs-Um-St of the Fra-Diff-Equs (1) with infinite delay.
Theorem 5.
Assume that all the conditions stated in Theorem 2 are met, and inequality (6) admits at least one solution. Under such circumstances, the problem (1) exhibits Hs-Um-St.
Proof. 
For each ε > 0 , and each function ℷ that satisfies the following inequalities
D Θ ; Ψ c ( v ) a D ϱ ; Ψ c ( v ) f ( v , v ) ε , v [ 0 , ] ,
let g ( v ) = D Θ ; Ψ c ( v ) a D ϱ ; Ψ c ( v ) f ( v , v ) . Then we have
( v ) = a J Θ ϱ ; Ψ ( v ) + J Θ ; Ψ f ( v , v ) + J Θ ; Ψ g ( v ) + ϑ ( v ) .
According to Theorem 2, there is a unique solution ( v ) of problem (1), and the function ℸ can be expressed as
( v ) = a J Θ ϱ ; Ψ ( v ) + J Θ ; Ψ f ( v , v ) + ϑ ( v ) .
So, we have
( v ) ( v ) a Γ ( Θ ϱ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ ϱ 1 ( v ) ( v ) d s + 1 Γ ( Θ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 f ( s , s ) f ( s , s ) d s + 1 Γ ( Θ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 g ( s ) d s .
As
f ( s , s ) f ( s , s ) L s s B ˘ ,
together with Definition 3, we obtain
s s B ˘ = ( ^ s + ^ s ) ( ^ s + ^ s ) B ˘ = ^ s ^ s B ˘ K ( s ) sup 0 ν s ^ ( ν ) ^ ( ν ) + M ( s ) ^ 0 ^ 0 B ˘ K m sup 0 ν s ( ν ) ( 0 ) ( ν ) + ( 0 ) = K m sup 0 ν s ( ν ) ( ν ) ,
which indicates that
( v ) ( v ) a Γ ( Θ ϱ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ ϱ 1 ( s ) ( s ) d s + L K m Γ ( Θ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 sup 0 σ s ( σ ) ( σ ) d s + ( Ψ ( ) Ψ ( 0 ) ) Θ Γ ( Θ + 1 ) ε .
According to Lemma 3,
sup 0 ν v ( ν ) ( ν ) a Γ ( Θ ϱ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ ϱ 1 sup 0 σ s ( σ ) ( σ ) d s + L K m Γ ( Θ ) 0 v Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 sup 0 σ s ( σ ) ( σ ) d s + ( Ψ ( ) Ψ ( 0 ) ) Θ Γ ( Θ + 1 ) ε = 0 v a Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ ϱ 1 Γ ( Θ ϱ ) + L K m Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ 1 Γ ( Θ ) sup 0 σ s ( σ ) ( σ ) d s + ( Ψ ( ) Ψ ( 0 ) ) Θ Γ ( Θ + 1 ) ε .
Let φ ( v ) : = sup 0 ν v ( ν ) ( ν ) , M = ( Ψ ( b ) Ψ ( 0 ) ) Θ Γ ( Θ + 1 ) , and g ( v , s ) = a Γ ( Θ ϱ ) + L K b ( Ψ ( v ) Ψ ( s ) ) ϱ Γ ( Θ ) M 0 . We can obtain
φ ( v ) M ε + 0 v g ( v , s ) Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ ϱ 1 φ ( s ) d s .
It is not difficult to show that
φ ( v ) M ε + M ε 0 v n = 1 ( M 0 Γ ( Θ ϱ ) ) n Γ ( n ( Θ ϱ ) ) ( Ψ ( v ) Ψ ( s ) ) n ( Θ ϱ ) 1 Ψ ( s ) d s M ε + M ε n = 1 ( M 0 Γ ( Θ ϱ ) ) n Γ ( n ( Θ ϱ ) + 1 ) ( Ψ ( b ) Ψ ( 0 ) ) n ( Θ ϱ ) = ε M ( 1 + n = 1 ( M 0 Γ ( Θ ϱ ) ) n Γ ( n ( Θ ϱ ) + 1 ) ( Ψ ( b ) Ψ ( 0 ) ) n ( Θ ϱ ) ) = ε M E Θ ϱ ( M 0 Γ ( Θ ϱ ) ( Ψ ( b ) Ψ ( 0 ) ) Θ ϱ ) .
Then, the inequality
φ ( v ) x ε
holds for x = M E Θ ϱ ( M 0 Γ ( Θ ϱ ) ( Ψ ( b ) Ψ ( 0 ) ) Θ ϱ ) , which implies that the Hs-Um-St of problem (1) is proved. □

5. Examples

For any real constant Y > 0 , we set
U Y = y C ( ( , 0 ] , R ) : lim θ e Y θ y ( θ ) e x i s t i n R ,
and set
y Y = sup e Y θ y ( θ ) : < θ 0 .
By [31], U Y satisfies the conditions K = M = H = 1 , and, hence, U Y is a phase space.
Example 1.
Consider the following nonlinear Ψ-Caputo-type Fra-Diff-Equs with infinite delay of the form
D 0.7 ; Ψ c y ( v ) 1 4 D 0.4 ; Ψ c y ( v ) = e γ v ( y v + c o s v ) , v J = [ 0 , 1 ] , y ( v ) = ( v ) U γ , v ( , 0 ] ,
where Ψ ( v ) = 1 + v .
In this case, it is readily observable that (D1) and (D3) are satisfied with the function l ( v ) = e Y v . Due to
a ( Ψ ( ) Ψ ( 0 ) ) Θ ϱ Γ ( Θ ϱ + 1 ) + K m ( Ψ ( ) Ψ ( 0 ) ) Θ Γ ( Θ + 1 ) l < ( 2 1 ) 0.3 4 Γ ( 1.3 ) + ( 2 1 ) 0.7 Γ ( 1.7 ) 0.7658 < 1 .
Thus, all the conditions of Theorem 3 hold. Therefore, the problem (17) has at least one solution on ( , 1 ] .
Example 2.
Consider the following problem
D 0.8 ; Ψ c y ( v ) 1 5 D 0.4 ; Ψ c y ( v ) = c e Y v + v y Y 1 + y Y , v J = [ 0 , 1 ] , y ( v ) = ( v ) U Y , v ( , 0 ] ,
where Ψ ( v ) = 2 v , c > 0 . Set
f ( v , x ) = c e Y v + v x 1 + x , ( v , x ) [ 0 , 1 ] × R + .
Then, for any x, y U Y , we have
f ( v , x ) f ( v , y ) = c e Y v + v x 1 + x y 1 + y c e Y v + v x y ( 1 + x ) ( 1 + y ) c e v x y c e x y .
Hence, 0 < c < Γ ( 1.8 ) ( 5 Γ ( 1.4 ) 1 ) 5 e Γ ( 1.4 ) 0.2674 , condition (D2) holds. Thus, problem (18) has a unique solution to ( , 1 ] by applying Theorem 2.
Next, we discuss the Hs-Um-St of problem (18). For any ε > 0 , and each function y that satisfies the following inequalities
D 0.8 ; Ψ c y ( v ) 1 5 D 0.4 ; Ψ c y ( v ) c e Y v + v y Y 1 + y Y ε , v J = [ 0 , 1 ] ,
let g ( v ) represent the left side of the inequality above and let ( t ) be the unique solution of problem (18); then, we have
sup 0 ν v y ( ν ) ( ν ) 0 v 2 s ln 2 ( 2 v 2 s ) 0.6 5 Γ ( 0.4 ) + c 2 s ln 2 ( 2 v 2 s ) 0.2 Γ ( 0.8 ) sup 0 σ s y ( σ ) ( σ ) d s + ε Γ ( 1.8 )
let φ ( v ) : = sup 0 ν v y ( ν ) ( ν ) , M = 1 Γ ( 1.8 ) , and g ( v , s ) = 1 5 Γ ( 0.4 ) + c ( 2 v 2 s ) 0.4 Γ ( 0.8 ) 1 5 Γ ( 0.4 ) + c Γ ( 0.8 ) = M 0 . By Lemma 4,
φ ( v ) M ε + 0 v g ( v , s ) Ψ ( s ) ( Ψ ( v ) Ψ ( s ) ) Θ ϱ 1 φ ( s ) d s M ε + M ε n = 1 ( M 0 Γ ( 0.4 ) ) n Γ ( 0.4 n + 1 ) M ε E 0.4 ( M 0 Γ ( 0.4 ) ) ,
let x = M E 0.4 ( M 0 Γ ( 0.4 ) ) = 1 Γ ( 1.8 ) E 0.4 ( 1 5 + c Γ ( 0.4 ) Γ ( 0.8 ) ) , it follows that φ ( v ) x ε , which implies that the problem (18) is Hs-Um-St.

6. Conclusions

In this paper, we mainly discuss a class of nonlinear Fra-Diff-Equs with finite time delay. We first use the Leray–Schauder alternation theorem and the Banach fixed-point theorem to study the existence and uniqueness of solutions for this class of Ψ -Caputo Fra-Diff-Equs. Then, we study the Hs-Um-St of the Fra-Diff-Equs (1). With the aim of overcoming the difficulty in proving Hs-Um-St, some inequalities are obtained for delayed Fra-Diff-Equs. In addition, there are two examples listed to illustrate the conclusions. The findings of our study enhance and extend the results presented in [23,24].

Author Contributions

Conceptualization, Y.X.; Methodology, Q.D.; Formal analysis, A.B.E. and Q.D.; Investigation, Y.X.; Resources, A.B.E.; Data curation, Q.D.; Writing—original draft, Y.X.; writing—review and editing, Y.X., A.B.E. and Q.D. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported by the National Natural Science Foundations of China [Grant No. 12271469 and 12371140] and Jiangsu Students’ Innovation and Entrepreneurship Training Program [202411117164Y].

Data Availability Statement

The data presented in this study are openly available in [WOS] at [10.3390/math10071013].

Acknowledgments

We sincerely express my gratitude to every editor and reviewer for their dedication. Wish you all a happy life.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Xu, L.; Dong, Q.; Li, G. Existence and Hyers–Ulam stability for three-point boundary value problems with Riemann–Liouville fractional derivatives and integrals. Adv. Differ. Equ. 2018, 2018, 458. [Google Scholar] [CrossRef]
  2. Diethelm, K.; Ford, N.J. Analysis of fractional differential equations. J. Math. Anal. Appl. 2002, 265, 229–248. [Google Scholar] [CrossRef]
  3. Plekhanova, M.V. Nonlinear equations with degenerate operator at fractional Caputo derivative. Math. Methods Appl. Sci. 2017, 40, 6138–6146. [Google Scholar] [CrossRef]
  4. Fedorov, V.E.; Nagumanova, A.V.; Avilovich, A.S. A class of inverse problems for evolution equations with the Riemann-Liouville derivative in the sectorial case. Math. Methods Appl. Sci. 2021, 44, 11961–11969. [Google Scholar] [CrossRef]
  5. Li, C.; Sarwar, S. Existence and continuation of solutions for Caputo type fractional differential equations. Electron. J. Differ. Equ. 2016, 2016, 1–14. [Google Scholar] [CrossRef]
  6. Alzaidy, J. Fractional sub-equation method and its applications to the space-time fractional differential equations in mathematical physics. Br. J. Math. Comput. Sci. 2013, 3, 153–163. [Google Scholar] [CrossRef] [PubMed]
  7. Sun, H.; Chang, A.; Zhang, Y.; Chen, W. A review on variable-order fractional differential equations: Mathematical foundations, physical models, numerical methods and applications. Fract. Calc. Appl. Anal. 2019, 22, 27–59. [Google Scholar] [CrossRef]
  8. Rossikhin, Y.A.; Shitikova, M.V. Application of fractional calculus for dynamic problems of solid mechanics: Novel trends and recent results. Appl. Mech. Rev. 2010, 63, 010801. [Google Scholar] [CrossRef]
  9. Abro, K.A.; Atangana, A. A comparative analysis of electromechanical model of piezoelectric actuator through Caputo–Fabrizio and Atangana–Baleanu fractional derivatives. Math. Methods Appl. Sci. 2020, 43, 9681–9691. [Google Scholar] [CrossRef]
  10. Ali, I.; Khan, S.U. A dynamic competition analysis of stochastic fractional differential equation arising in finance via pseudospectral method. Mathematics 2023, 11, 1328. [Google Scholar] [CrossRef]
  11. Maleknejad, K.; Hashemizadeh, E. Numerical solution of the dynamic model of a chemical reactor by hybrid functions. Procedia Comput. Sci. 2011, 3, 908–912. [Google Scholar] [CrossRef]
  12. Gou, H.; Li, B. Existence of mild solutions for Sobolev-type Hilfer fractional evolution equations with boundary conditions. Bound. Value Probl. 2018, 2018, 1–25. [Google Scholar] [CrossRef]
  13. Zhu, B.; Han, B.y.; Yu, W.G. Existence of mild solutions for a class of fractional non-autonomous evolution equations with delay. Acta Math. Appl. Sin. Engl. Ser. 2020, 36, 870–878. [Google Scholar] [CrossRef]
  14. Wang, X.; Zhu, B. Existence Results for Fractional Semilinear Integrodifferential Equations of Mixed Type with Delay. J. Funct. Spaces 2021, 2021, 5519992. [Google Scholar] [CrossRef]
  15. Benchohra, M.; Graef, J.R.; Hamani, S. Existence results for boundary value problems with non-linear fractional differential equations. Appl. Anal. 2008, 87, 851–863. [Google Scholar] [CrossRef]
  16. Bao, H. Existence and uniqueness of solutions to neutral stochastic functional differential equations with infinite delay in L^p (∖Omega, C_h). Turk. J. Math. 2010, 34, 45–58. [Google Scholar]
  17. Yao, H.; Dong, Q. Hyers-Ulam-Rassias Stability of Ψ -Caputo Fractional Differential Equations. J. Appl. Anal. Comput. 2024, 14, 2903–2921. [Google Scholar]
  18. Baleanu, D.; Ranjbar, A.; Sadati, S.; Delavari, R.; Abdeljawad, T. Lyapunov-Krasovskii stability theorem for fractional systems with delay. Rom. J. Phys. 2011, 56, 636–643. [Google Scholar]
  19. Baleanu, D.; Sadati, S.; Ghaderi, R.; Ranjbar, A.; Abdeljawad, T.; Jarad, F. Razumikhin stability theorem for fractional systems with delay. In Abstract and Applied Analysis; Wiley Online Library: Hoboken, NJ, USA, 2010; Volume 2010, p. 124812. [Google Scholar]
  20. Podlubny, I. Fractional Differential Equations, Mathematics in Science and Engineering; Science Direct: Amsterdam, The Netherlands, 1999. [Google Scholar]
  21. Agarwal, R.P.; Hristova, S. Ulam-type stability for a boundary-value problem for multi-term delay fractional differential equations of Caputo type. Axioms 2022, 11, 742. [Google Scholar] [CrossRef]
  22. Zada, A.; Shah, S.O. Hyers-Ulam stability of first-order non-linear delay differential equations with fractional integrable impulses. Hacet. J. Math. Stat. 2018, 47, 1196–1205. [Google Scholar] [CrossRef]
  23. Dong, Q.; Liu, C.; Fan, Z. Weighted fractional differential equations with infinite delay in Banach spaces. Open Math. 2016, 14, 370–383. [Google Scholar] [CrossRef]
  24. Chen, C.; Dong, Q. Existence and Hyers–Ulam stability for a multi-term fractional differential equation with infinite delay. Mathematics 2022, 10, 1013. [Google Scholar] [CrossRef]
  25. Almeida, R. Fractional differential equations with mixed boundary conditions. Bull. Malays. Math. Sci. Soc. 2019, 42, 1687–1697. [Google Scholar] [CrossRef]
  26. Almeida, R. A Caputo fractional derivative of a function with respect to another function. Commun. Nonlinear Sci. Numer. Simul. 2017, 44, 460–481. [Google Scholar] [CrossRef]
  27. Sousa, J.V.d.C.; De Oliveira, E.C. On the ψ-Hilfer fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 2018, 60, 72–91. [Google Scholar] [CrossRef]
  28. Hino, Y.; Murakami, S.; Naito, T. Functional Differential Equations with Infinite Delay; Springer: Berlin/Heidelberg, Germany, 2006. [Google Scholar]
  29. Sousa, J.V.d.C.; De Oliveira, E.C. Ulam–Hyers stability of a nonlinear fractional Volterra integro-differential equation. Appl. Math. Lett. 2018, 81, 50–56. [Google Scholar] [CrossRef]
  30. Smart, D. Fixed Point Theorems; Cambridge University Press: Cambridge, UK, 1980. [Google Scholar]
  31. Benchohra, M.; Henderson, J.; Ntouyas, S.; Ouahab, A. Existence results for fractional order functional differential equations with infinite delay. J. Math. Anal. Appl. 2008, 338, 1340–1350. [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

Xiong, Y.; Elbukhari, A.B.; Dong, Q. Existence and Hyers–Ulam Stability Analysis of Nonlinear Multi-Term Ψ-Caputo Fractional Differential Equations Incorporating Infinite Delay. Fractal Fract. 2025, 9, 140. https://doi.org/10.3390/fractalfract9030140

AMA Style

Xiong Y, Elbukhari AB, Dong Q. Existence and Hyers–Ulam Stability Analysis of Nonlinear Multi-Term Ψ-Caputo Fractional Differential Equations Incorporating Infinite Delay. Fractal and Fractional. 2025; 9(3):140. https://doi.org/10.3390/fractalfract9030140

Chicago/Turabian Style

Xiong, Yating, Abu Bakr Elbukhari, and Qixiang Dong. 2025. "Existence and Hyers–Ulam Stability Analysis of Nonlinear Multi-Term Ψ-Caputo Fractional Differential Equations Incorporating Infinite Delay" Fractal and Fractional 9, no. 3: 140. https://doi.org/10.3390/fractalfract9030140

APA Style

Xiong, Y., Elbukhari, A. B., & Dong, Q. (2025). Existence and Hyers–Ulam Stability Analysis of Nonlinear Multi-Term Ψ-Caputo Fractional Differential Equations Incorporating Infinite Delay. Fractal and Fractional, 9(3), 140. https://doi.org/10.3390/fractalfract9030140

Article Metrics

Back to TopTop