Next Article in Journal
Structure and Fractal Characteristics of Organic Matter Pores in Wufeng–Lower Longmaxi Formations in Southern Sichuan Basin, China
Previous Article in Journal
Adsorption–Desorption at Anomalous Diffusion: Fractional Calculus Approach
Previous Article in Special Issue
Representation Formulas and Stability Analysis for Hilfer–Hadamard Proportional Fractional Differential Equations
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Existence of Solutions and Ulam-Type Stability for a Nonlinear ψ-Hilfer Fractional-Order Delay Integro-Differential Equation

by
Cemil Tunç
1,
Fehaid Salem Alshammari
2,* and
Fahir Talay Akyıldız
2
1
Department of Mathematics, Faculty of Sciences, Van Yuzuncu Yıl University, 65080 Van, Turkey
2
Department of Mathematics and Statistics, Faculty of Sciences, Imam Mohammad Ibn Saud Islamic University (IMSIU), Riyadh 11564, Saudi Arabia
*
Author to whom correspondence should be addressed.
Fractal Fract. 2025, 9(7), 409; https://doi.org/10.3390/fractalfract9070409
Submission received: 9 May 2025 / Revised: 9 June 2025 / Accepted: 20 June 2025 / Published: 24 June 2025

Abstract

In this work, we address a nonlinear ψ -Hilfer fractional-order Volterra integro-differential equation that incorporates n-multiple-variable time delays. Employing the ψ -Hilfer fractional derivative operator, we investigate the existence of a unique solution, as well as the Ulam–Hyers–Rassias stability, semi-Ulam–Hyers–Rassias stability, and Ulam–Hyers stability of the proposed ψ -Hilfer fractional-order Volterra integro-differential equation through the fixed-point approach. In this study, we enhance and generalize existing results in the literature on ψ -Hilfer fractional-order Volterra integro-differential equations, both including and excluding single delay, by establishing new findings for nonlinear ψ -Hilfer fractional-order Volterra integro-differential equations involving n-multiple-variable time delays. This study provides novel theoretical insights that deepen the qualitative understanding of fractional calculus.

1. Introduction

Fractional calculus is widely recognized as a natural extension of classical integral and differential calculus, allowing the order of integration and differentiation to take non-integer values. In recent decades, the field of fractional calculus has emerged as an effective analytical framework across various disciplines, including mathematics, physics, engineering, and medicine, due to its broad applicability and effectiveness in modeling complex phenomena, as evidenced by a substantial and growing body of research. For a detailed analysis of fractional differential equations, the reader is referred to [1,2,3]. Further discussions on fractional calculus and its applications to fractional differential equations can be found in [4,5,6,7,8]. In line with this increasing interest, numerous definitions of fractional derivatives, such as the Riemann–Liouville (RL) derivative, Caputo (C) derivative, Grünwald–Letnikov (GL) derivative, and ψ -Hilfer fractional derivative, along with various associated fractional integrals and some related results, have been proposed, highlighting the field’s ongoing theoretical development and expansion. In this regard, we refer the reader to [9] for the existence and Ulam stability of nonlinear implicit fractional differential equations with the Hadamard derivative; to [4] for applications of fractional calculus in physics; to [10] for definitions of fractional integrals and derivatives; to [11] for the definition of the ψ -Hilfer fractional derivative; and to [12] for recent developments in the stability theory of fractional differential equations.
Depending on these definitions, the qualitative analysis of mathematical models involving these fractional derivatives has become a central focus for researchers. In particular, considerable, although still limited, attention has been given to investigating conditions under which solutions exist uniquely, as well as various types of stability, such as UH stability, UHR stability, etc., in the context of ψ -Hilfer fractional-order Volterra integro-differential equations ( ψ -Hilfer-type FrOVI-DEs), both with and without delay, primarily using fixed-point techniques. Specifically, we refer the reader to [13,14] for the Ulam stability results of fractional differential equations of the Hilfer–Hadamard type; to [15] for the Ulam stability of Hilfer-type fractional differential inclusions; to [16,17,18,19] for the Ulam stability of Hilfer fractional differential equations; and to [20,21,22] for the Ulam stability of Hilfer fractional integro-differential equations. Although there are relatively few studies addressing the existence of solutions and the Ulam-type stability for ψ -Hilfer-type models, a substantial body of literature is available concerning similar qualitative properties in the context of other mathematical formulations.
In the following, we provide a brief summary of key studies addressing the existence, Ulam-type stability, and other qualitative characteristics of various mathematical models, including ψ -Hilfer FrOVI-DEs, with a focus on both delayed and non-delayed formulations.
Abbas et al. [23] conducted a study on the existence of solutions and established UH stability results for a specific class of Hadamard partial fractional integral inclusions by employing the theory of weakly Picard operators.
Abbas et al. [13] investigated the existence and UHR stability of a class of functional differential equations involving the Hilfer–Hadamard-FrD. The existence of solutions was established through the application of Schauder’s fixed-point theorem.
Abbas et al. [15] established results concerning the existence, data dependence, and Ulam stability for a class of differential inclusions involving the Hilfer-FDE. These findings were derived using the framework of the multivalued weakly Picard operator theory.
Abbas et al. [14] constructed suitable conditions under which solutions exist uniquely for certain coupled systems involving Hilfer and Hilfer–Hadamard FrODEs. Their approach utilized generalized forms of classical fixed-point theorems within the setting of generalized Banach spaces.
Brzdęk et al. [24] introduced a novel fixed-point result within the context of function spaces, offering a powerful and versatile framework for exploring operator inequalities, particularly those tied to Ulam-type stability. This result represents a substantial extension of the classical BCMP and integrates several known fixed-point theorems into a unified formulation.
Moroşanu and Petruşel [25] investigated a delay integro-differential equation within a Banach space framework. Using a fixed-point method alongside the properties of linear operator semigroups, they established the global existence and uniqueness of solutions for the equation, subject to specific initial conditions.
Petruşel and Rus [26] investigated the UH stability and generalized UH stability of the equation T ( x ) = 0 by introducing alternative criteria, thereby ensuring its stability. Their analysis relies on a fixed-point approach, specifically employing a theorem concerning mappings that exhibit contractive behavior when restricted to their graphs.
Zhang et al. [27] addressed a mixed-type nonlinear FrOVI-DE posed on a semi-infinite interval in the setting of a Banach space. The analysis, based on the application of the BCMP, led to the establishment of conditions under which solutions exist uniquely for the problem under consideration.
In their study, Sousa and de Oliveira [11] proposed a novel approach to fractional differentiation involving a function-dependent operator, now referred to as the ψ -Hilfer-FrD, and explored its foundational characteristics within the framework of fractional calculus.
Luo et al. [17] conducted a comprehensive analysis of ψ -Hilfer-type fractional integro-differential equations with time-dependent delays. By applying a generalized Gronwall inequality, they derived refined criteria for UH stability and established several complementary results pertinent to the dynamic behavior of the Hilfer FrOVI-DE under investigation.
Sousa and de Oliveira [22] explored the stability behavior, specifically the UH and UHR types, of a nonlinear ψ -Hilfer FrOVI-DE, utilizing fixed-point theory as the main analytical framework.
de Oliveira and Sousa [20] conducted a comprehensive study on a certain ψ -Hilfer-type FrOVI-DE with a time-dependent delay. By employing the ψ -Hilfer-FrD alongside the BCMP, they investigated the system’s dynamic behavior and established results concerning UH stability, UHR stability, and semi-UHR stability over both fine and general intervals.
In 2021, Zhou et al. [28] dealt with the ψ -Hilfer FrOVI-DE with the initial condition in a real Banach space Y:
D a + α , β ; ψ H x ( t ) = f t , x ( t ) , D a + u , v ; ψ H x ( t ) + a t K t , τ , x ( τ ) , x ( δ ( τ ) ) d τ , t [ a , b ] , I a + 1 γ ; ψ x ( a ) = 0 .
In [28], Zhou et al. first proved the existence of a unique solution to problem (1) using the BCMP. Then, the UH stability, UHR stability, and semi-UHR stability of the ψ -Hilfer FrOVI-DE in (1) were analyzed in a finite interval using the same fixed-point approach.
Zhou et al. [29] first inferred the conditions under which solutions exist uniquely for problem (1) using the BCMP under suitable growth conditions in an appropriate Banach space. Additionally, they established the UHR stability, UH stability, and semi-UHR stability for the initial value problem.
Recently, Graef et al. [30] and Tunç and Tunç [21] investigated a class of Hammerstein-type nonlinear ψ -Hilfer FrOVI-DEs characterized by multiple-variable time delays. Employing the ψ -Hilfer fractional derivative operator ( ψ -Hilfer-FrDO) in conjunction with the BCMP, the authors analyzed the Ulam-type stability properties of the proposed equations.
Additionally, several recent contributions have addressed topics such as Ulam-type stability (see [31,32,33]), Lyapunov stability, and related qualitative behavior in both fractional and classical mathematical models (see [34,35,36]).
The motivation for this study stems from the aforementioned papers, the references cited within this work, and in particular from the paper by Zhou et al. [28]. In this context, we examine the ψ -Hilfer FrOVI-DE with n-time-varying delays in a real Banach space Y, described as follows:
D 0 + α , β ; ψ H ν ( t ) = i = 1 n F i t , ν ( t ) , ν ( t τ i ( t ) ) , D 0 + u , ϑ ; ψ H ν ( t ) + 0 t i = 1 n K i t , s , ν ( s ) , ν ( s τ i ( s ) ) d s , t J = ( 0 , b ] , I 0 + 1 γ ; ψ ν ( 0 + ) = 0 , ν ( t ) = θ ( t ) , t [ τ , 0 ] ,
where D 0 + α , β ; ψ H ( . ) and D 0 + u , ϑ ; ψ H ( . ) are the ψ -Hilfer fractional derivatives of order 0 < α ,   u < 1 , ( u < α ) and type 0 β , ϑ 1 , I 0 + 1 γ ; ψ ( . ) is ψ -Riemann-Liouville fractional integral of order 1 γ , γ = α + β ( 1 α ) with respect to ψ , τ i C J , J , τ = max { τ i ( t ) } , θ C [ τ , 0 ] , F i C J × Y × Y × Y , Y and K i C J × J × Y × Y , Y are given functions.
The existing literature indicates a growing scholarly interest in the qualitative behavior of various types of fractional differential equations, particularly those involving multiple-variable delays, due to their broad applicability in modeling complex real-world phenomena. The principal objective of this ongoing study is to examine the existence of a unique solution, the UHR stability, the semi-UHR stability, and the UH stability of the ψ -Hilfer FrOVI-DE in (2), which involves multiple-variable delays on a finite interval, employing the fixed-point approach. While the ψ -Hilfer FrOVI-DE in (1) incorporates a single-variable delay, the formulation ψ -Hilfer FrOVI-DE in (2) represents a more general framework involving n-multiple-variable delays, thereby providing a broader perspective and enhancing and improving the existence of a unique solution and the Ulam-type stability results established for the ψ -Hilfer FrOVI-DE in (1). This constitutes the key novelty and original contribution of the present study. Furthermore, the existing literature predominantly focuses on the qualitative properties of ψ -Hilfer FrODEs, ψ -Hilfer FrODDEs, and ψ -Hilfer FrOVI-DEs, particularly concerning the UHR stability and UH stability for such classes of equations. However, there is a noticeable gap in research addressing the conditions under which solutions exist, as well as the concept of semi-UHR stability for these equations. In addition to addressing UHR stability and UH stability, the present study also aims to bridge this gap by examining both the existence of unique solutions and the semi-UHR stability for the general ψ -Hilfer FrOVI-DE in (2), thereby offering a novel and meaningful contribution to the field. Finally, it is evident that the ψ -Hilfer FrOVI-DE in (2), which incorporates multiple-variable delays, represents a significantly more general and distinct framework than existing models in the literature (see the aforementioned references and the relevant literature). This generalized formulation constitutes a novel contribution to the qualitative analysis of ψ -Hilfer FrOVI-DEs and enhances the current theoretical understanding of such types of equations.
The present article is structured in the following manner to facilitate a coherent exposition of the main results. In Section 2, we introduce key definitions, some lemmas with respect to the ψ -Hilfer-FrDO and integral, and a core result. In Section 3 and Section 4, we establish three original theorems concerning the existence and uniqueness of solutions, as well as UHR stability, semi-UHR stability, and UH stability. These results are supplemented with the necessary definitions and analytical remarks related to the ψ -Hilfer FrOVI-DE incorporating multiple-variable time delays. Section 5 presents an example that illustrates the application of the main results of this article. Finally, Section 6 provides the concluding remarks, summarizing the main outcomes and presenting potential directions for prospective studies.

2. Background

In this section, we summarize the essential properties of the ψ -Riemann–Liouville fractional integral I a + α ; ψ ( . ) and the ψ -Hilfer fractional derivative D a + α , β ; ψ H ( . ) , and provide some definitions and auxiliary results pertinent to the subsequent analysis in this work.
Definition 1
([11]). Let ( a , b ) , ( a < b ) , be a finite interval (or infinite interval) of R, and let α > 0 . Also, let ψ ( x ) be an increasing and positive monotone function on ( a , b ] with the property that ψ C 1 ( a , b ) holds. The left-sided and right-sided Riemann–Liouville fractional integral of a function f in terms of a function ψ on the interval [ a , b ] is described by
I a + α ; ψ f ( x ) = 1 Γ ( α ) a x ψ ( x ) ψ ( s ) α 1 ψ ( s ) f ( s ) d s
and
I b α ; ψ f ( x ) = 1 Γ ( α ) x b ψ ( s ) ψ ( x ) α 1 ψ ( s ) f ( s ) d s ,
respectively.
Definition 2
([11]). Let α n 1 , n , n N , I = [ a , b ] be an interval with the property that a < b and f , ψ C n [ a , b ] be two functions, which ensure that ψ is an increasing function with the property that ψ ( t ) 0 for each t I , where C n [ a , b ] is the space of n-times continuously differentiable functions on [ a , b ] . Then, the left-sided ψ-Hilfer-FrD of the function f, i.e., D a + α , β ; ψ H f ( x ) , of order α and type 0 β 1 , is described by
D a + α , β ; ψ H f ( x ) = I a + β ( n α ) ; ψ 1 ψ ( t ) d d t n I a + ( 1 β ) ( n α ) ; ψ f ( x ) .
The ψ-fractional integral D b α , β ; ψ H f ( x ) is defined in a similar manner.
Lemma 1
([11]). Let α > 0 and β > 0 . Then, we have the semigroup property described by
I a + α ; ψ I a + β ; ψ f ( x ) = I a + α + β ; ψ f ( x ) .
Lemma 2
([11]). If f C n [ a , b ] , n 1 < α < n , and 0 β 1 , then
I a + α ; ψ D a + α , β ; ψ H f ( x ) = f ( x ) k = 1 n ψ ( x ) ψ ( a ) γ k Γ ( γ k + 1 ) f ψ [ n k ] I a + ( 1 β ) ( n α ) ; ψ f ( a ) ,
with γ = α + β ( n α ) .
Notably, if f C 1 [ a , b ] , 0 < α < 1 , and 0 β 1 , then
I a + α ; ψ D a + α , β ; ψ H f ( x ) = f ( x ) ψ ( x ) ψ ( a ) γ 1 Γ ( γ ) I a + ( 1 β ) ( 1 α ) ; ψ f ( a )
with ( 1 α ) ( 1 β ) = ( 1 γ ) .
According to Lemma 2, we have the following notations ([28]):
f ψ + [ n k ] f ( x ) = 1 ψ ( x ) d d x n k f ( x )
and
f ψ [ n k ] f ( x ) = 1 ψ ( x ) d d x n k f ( x ) .
Lemma 3
([11]). If f C 1 [ a , b ] , 0 < α < 1 , and 0 β 1 , then
D a + α , β ; ψ H I a + α ; ψ f ( x ) = f ( x ) .
Theorem 1
([37]). Let X be a nonempty set, ( X , d ) be a complete generalized metric space, and T : X X be a strictly contractive operator with the Lipschitz constant L C < 1 . If there exists an n Z , n 0 , such that d ( T n + 1 x , T n x ) < for each x X , then the following properties hold:
(C1) 
The sequence T n converges to a fixed point x of T;
(C2) 
x is the unique fixed point of T in X * = y X : d ( T n x , y ) < ;
(C3) 
If y X * , then d y , x 1 L C 1 d ( T y , y ) .

3. Uniqueness of Solutions

In this section, we rigorously establish the uniqueness of solution to the ψ -Hilfer FrOVI-DE in (2) with n-time-varying delays, employing the BCMP.
Lemma 4.
Let X be a nonempty set and ν : J X be a function with continuous derivatives. Then, problem (2) is equivalent to the corresponding integral equation as follows:
ν ( t ) = I 0 + α ; ψ i = 1 n F i t , ν ( t ) , ν ( t τ i ( t ) ) , D 0 + u , ϑ ; ψ H ν ( t ) + I 0 + α ; ψ 0 t i = 1 n K i t , s , ν ( s ) , ν ( s τ i ( s ) ) d s , t ( 0 , b ] .
Proof. 
Upon applying the ψ -fractional integral operator I 0 + α ; ψ ( . ) to both sides of the ψ -Hilfer FrOVI-DE in (2) and making use of Lemma 2, we derive the relation as follows:
ν ( t ) = ψ ( t ) ψ ( 0 ) γ 1 Γ ( γ ) I 0 + ( 1 γ ) ; ψ ν ( 0 ) + I 0 + α ; ψ i = 1 n F i t , ν ( t ) , ν ( t τ i ( t ) ) , D 0 + u , ϑ ; ψ H ν ( t ) + I 0 + α ; ψ 0 t i = 1 n K i t , s , ν ( s ) , ν ( s τ i ( s ) ) d s , t ( 0 , b ] ,
where ( 1 α ) ( 1 β ) = 1 γ . Using the initial value condition I 0 + 1 γ ; ψ ν ( 0 + ) from the above formula, we get
ν ( t ) = I 0 + α ; ψ i = 1 n F i t , ν ( t ) , ν ( t τ i ( t ) ) , D 0 + u , ϑ ; ψ H ν ( t ) + I 0 + α ; ψ 0 t i = 1 n K i t , s , ν ( s ) , ν ( s τ i ( s ) ) d s , for each t ( 0 , b ] .
Conversely, if ν ( t ) is a solution of Equation (3), by applying the ψ -Hilfer fractional derivative operator D 0 + α , β ; ψ H ( . ) to both sides of (3) and invoking Lemma 3, we obtain the following expression:
D 0 + α , β ; ψ H ν ( t ) = i = 1 n F i t , ν ( t ) , ν ( t τ i ( t ) ) , D 0 + u , ϑ ; ψ H ν ( t ) + 0 t i = 1 n K i t , s , ν ( s ) , ν ( s τ i ( s ) ) d s , for each t ( 0 , b ] .
Thus, in light of the preceding analysis, a function with continuous derivatives satisfies the initial value problem (2) if and only if it satisfies the corresponding integral Equation (3). This concludes the proof of Lemma 4. □
Remark 1.
Let Y be a real Banach space. Throughout this study, inspired by the work of Zhou et al. [28] and the methodological distinctions among the approaches in [11,24,27,29,32,37], we construct a specialized functional framework denoted by
X = ν ν ( t ) C 1 ( J , Y ) , D 0 + u , ϑ ; ψ H ν ( t ) C 1 ( J , Y )
with the associated norm
ν X = max sup t J ν ( t ) , sup t J ν ( t τ i ( t ) ) , i = 1 , . . . , n , sup t J D 0 + u , ϑ ; ψ H ν ( t ) ,
where X , . X is a Banach space.
Theorem 2 below establishes the first principal result of this work concerning the uniqueness of the solution of the ψ-Hilfer FrOVI-DE in (2) with the present initial condition.
Theorem 2.
Let the conditions below be satisfied:
  • (Hp-1) Let L F i ( . ) , M F i ( . ) , N F i ( . ) , L ¯ K i ( . ) , and M ¯ K i ( . ) be nonnegative continuous functions and F i C 1 J × X × X × X , X , K i C J × J × X × X , X , i = 1 ,   2 ,   ,   n , such that
    F i t , ν , , ρ F i t , ν , , ρ L F i ( t ) ν ( t ) v ( t ) + M F i ( t ) ( t ) ( t )
    + N F i ( t ) ρ ( t ) ρ ( t ) , for each t J
    and
    K i t , s , ν , K i t , s , ν , L ¯ K i ( t ) ν ( t ) v ( t ) + M ¯ K i ( t ) ( t ) ( t ) ,
    for each t , s J .
  • (Hp-2) Let L > 0 , L R , and the functions L F i ( t ) , M F i ( t ) , N F i ( t ) , L ¯ K i ( t ) , and M ¯ K i ( t ) satisfy
    ψ ( b ) ψ ( 0 ) η Γ ( η + 1 ) max t ( 0 , b ] i = 1 n L F i ( t ) + M F i ( t ) + N F i ( t ) + b L ¯ K i ( t ) + M ¯ K i ( t ) L ,
    for each t J , L ( 0 , 1 ) , with η = α or η = α u . Then, the ψ-Hilfer FrOVI-DE in (2) with the present initial condition has a unique solution.
Proof. 
According to Lemma 4, the initial value problem (2) is equivalent to the integral Equation (3). Therefore, we transform the problem of solving the ψ -Hilfer FrOVI-DE in (2) into establishing a fixed-point problem for the operator T : X X , defined as follows:
T ν ( t ) = φ ( t ) , t [ τ , 0 ] I 0 + α ; ψ i = 1 n F i t , ν ( t ) , ν ( t τ i ( t ) ) , D 0 + u , ϑ ; ψ H ν ( t ) + I 0 + α ; ψ 0 t i = 1 n K i t , s , ν ( s ) , ν ( s τ i ( s ) ) d s , t ( 0 , b ] .
The uniqueness of the solution to the ψ -Hilfer FrOVI-DE in (2) is established through the application of the BCMP. To establish our main result, we define an operator T : X X such that T ( ν ) X for each ν X . We also have ν ( t ) C 1 ( J , Y ) and D 0 + u , ϑ ; ψ H ν ( t ) C 1 ( J , Y ) . According to the definitions of the ψ -Hilfer-FrDO and ψ -Riemann–Liouville fractional integral, it can be obtained that T ν ( t ) C 1 ( J , Y ) and D 0 + u , ϑ ; ψ H T ν ( t ) C 1 ( J , Y ) . Hence, the operator T : X X . Subsequently, we prove that the operator T is strictly contractive for each ν , w T . Using (Hp-1) and (Hp-2), and in view of (4), we deduce that
T ν ( t ) T w ( t ) = 0 , t [ τ , 0 ]
and
T ν ( t ) T w ( t ) 1 Γ ( α ) 0 t ψ ( t ) ψ ( ξ ) α 1 ψ ( ξ ) × i = 1 n F i ξ , ν ( ξ ) , ν i ( ξ τ ( ξ ) ) , D 0 + u , ϑ ; ψ H ν ( ξ ) F i t , w ( ξ ) , w i ( ξ τ ( ξ ) ) , D 0 + u , ϑ ; ψ H w ( ξ ) d ξ + 1 Γ ( α ) 0 t ψ ( t ) ψ ( ξ ) α 1 ψ ( ξ )
× 0 t i = 1 n K i t , s , ν ( s ) , ν ( s τ i ( s ) ) K i t , s , w ( s ) , w ( s τ i ( s ) ) d s d ξ 1 Γ ( α ) 0 t ψ ( t ) ψ ( ξ ) α 1 ψ ( ξ ) × i = 1 n L F i ( ξ ) ν ( ξ ) w ( ξ ) + i = 1 n M F i ( ξ ) ν ( ξ τ i ( ξ ) ) ω ( s τ i ( ξ ) ) + N F i ( ξ ) D 0 + u , ϑ ; ψ H ν ( ξ ) D 0 + u , ϑ ; ψ H w ( ξ ) d ξ + 1 Γ ( α ) 0 t ψ ( t ) ψ ( ξ ) α 1 ψ ( ξ ) × 0 ξ i = 1 n L ¯ K i ( ξ ) ν ( s ) w ( s ) + M ¯ K i ( s ) ν ( s τ i ( s ) ) w ( s τ i ( s ) ) d s d ξ ν w X Γ ( α ) 0 t ψ ( t ) ψ ( ξ ) α 1 ψ ( ξ ) × i = 1 n L F i ( ξ ) + M F i ( ξ ) + N F i ( ξ ) + 0 ξ L ¯ K i ( s ) + M ¯ K i ( s ) d s d ξ ψ ( b ) ψ ( a ) α Γ ( α + 1 ) max t [ a , b ] i = 1 n L F i ( t ) + M F i ( t ) + N F i ( t ) + b L ¯ K i ( t ) + M ¯ K i ( t ) ν w X L ν w X , L ( 0 , 1 ) .
It follows additionally that
D 0 + u , ϑ ; ψ H T ν ( t ) D 0 + u , ϑ ; ψ H T w ( t ) ν w X Γ ( α u ) 0 t ψ ( t ) ψ ( ξ ) α u 1 ψ ( ξ ) × i = 1 n L F i ( ξ ) + M F i ( ξ ) + N F i ( ξ ) + 0 ξ L ¯ K i ( s ) + M ¯ K i ( s ) d s d ξ L ν w X , L ( 0 , 1 ) .
Thus, for each ν , w X , we conclude that
T ν ( t ) T w ( t ) X L ν w X , for each t J , L ( 0 , 1 ) .
This result implies that T is a contraction mapping. Thus, T has a fixed point ν in the Banach space X, which leads to T ν = ν . Therefore, problem (2) has a unique solution. Accordingly, this concludes the proof of Theorem 2.

4. Ulam-Type Stability

In this subsection, we present the concepts related to UHR stability, UH stability, and semi-UHR stability on a finite interval. Additionally, we establish the relevant stability theorems for the ψ -Hilfer FrOVI-DE in (2).
A rigorous formulation of the stability results requires establishing adequate metrics on the Banach space X. The metric d 1 ( . ) on the Banach space X is defined by
d 1 ( x , y ) = inf C [ 0 , ) ν ( t ) w ( t ) C Φ ( t ) , ν ( t τ i ( t ) ) w ( t τ i ( t ) ) C Φ ( t ) ,
D 0 + u , ϑ ; ψ H T ν ( t ) D 0 + u , ϑ ; ψ H T w ( t ) C Φ ( t ) , i = 1 , . . . , n , t [ 0 , b ] ,
where C is a constant and Φ ( t ) is a positive, non-decreasing continuous function.
The metric d 2 ( . ) on the Banach space X is defined by
d 2 ( x , y ) = sup C [ 0 , ) ν ( t ) w ( t ) Φ ( t ) C , ν ( t τ i ( t ) ) w ( t τ i ( t ) ) Φ ( t ) C ,
D 0 + u , ϑ ; ψ H T ν ( t ) D 0 + u , ϑ ; ψ H T w ( t ) Φ ( t ) C , i = 1 , . . . , n , t [ 0 , b ] ,
where Φ ( t ) is a positive, nonincreasing continuous function on [ 0 , b ] . As discussed in [38] and related works, we can prove that d 1 ( . ) and d 2 ( . ) are metrics on the Banach space X.
In the subsequent result, we give the second result regarding the UHR stability of the ψ -Hilfer FrOVI-DE in (2) that incorporates n-multiple-variable time delays.
Definition 3
(UHR stability). For each continuously differentiable function ν : J X satisfying
ν ( t ) I 0 + α ; ψ i = 1 n F i t , ν ( t ) , ν i ( t τ ( t ) ) , D 0 + u , ϑ ; ψ H ν ( t )
I 0 + α ; ψ 0 t i = 1 n K i t , s , ν ( s ) , ν ( s τ i ( s ) ) d s I 0 + α ; ψ Φ ( t )
and
D 0 + u , ϑ ; ψ H ν ( t ) I 0 + α u ; ψ i = 1 n F i t , ν ( t ) , ν i ( t τ ( t ) ) , D 0 + u , ϑ ; ψ H ν ( t )
I 0 + α u ; ψ 0 t i = 1 n K i t , s , ν ( s ) , ν ( s τ i ( s ) ) d s I 0 + α u ; ψ Φ ( t ) , t J ,
where Φ ( t ) is a positive, nonincreasing continuous function on a finite interval [ 0 , b ] , there exists a solution ν 0 of the ψ-Hilfer FrOVI-DE in (2) and a constant C > 0 , which is independent of ν and ν 0 , such that
ν ( t ) ν 0 ( t ) C Φ ( t )
and
D 0 + u , ϑ ; ψ H ν ( t ) D 0 + u , ϑ ; ψ H ν 0 ( t ) C Φ ( t ) , t J .
Remark 2.
Under these circumstances, we can say that the ψ-Hilfer FrOVI-DE in (2) possesses UHR stability on ( 0 , b ] .
Remark 3
(UH stability). By replacing the nonnegative continuous function Φ with θ 0 , θ R in Definition 3, the ψ-Hilfer FrOVI-DE possesses UH stability on ( 0 , b ] .
Definition 4
(Semi-UHR stability). For each continuously differentiable function ν : J X satisfying
ν ( t ) I 0 + α ; ψ i = 1 n F i t , ν ( t ) , ν i ( t τ ( t ) ) , D 0 + u , ϑ ; ψ H ν ( t )
I 0 + α ; ψ 0 t i = 1 n K i t , s , ν ( s ) , ν ( s τ i ( s ) ) d s I 0 + α ; ψ θ
and
D 0 + u , ϑ ; ψ H ν ( t ) I 0 + α u ; ψ i = 1 n F i t , ν ( t ) , ν i ( t τ ( t ) ) , D 0 + u , ϑ ; ψ H ν ( t )
I 0 + α u ; ψ 0 t i = 1 n K i t , s , ν ( s ) , ν ( s τ i ( s ) ) d s I 0 + α u ; ψ θ , t J ,
where θ 0 , θ R , there exists a solution ν 0 of the ψ-Hilfer FrOVI-DE in (2) and a constant C > 0 , which is independent of ν , ν 0 , such that
ν ( t ) ν 0 ( t ) C Φ ( t )
and
D 0 + u , ϑ ; ψ H ν ( t ) D 0 + u , ϑ ; ψ H ν 0 ( t ) C Φ ( t ) , t J .
Remark 4.
Under these circumstances, we can say that the ψ-Hilfer FrOVI-DE in (2) possesses semi-UHR stability on ( 0 , b ] .
We now introduce the theorems and associated proofs related to the UHR stability, UH stability, and semi-UHR stability of the ψ -Hilfer FrOVI-DE in (2) on the finite interval [ 0 , b ] .
Theorem 3.
Let ( Hp-1) and (Hp-2) of Theorem 2 hold and Φ ( t ) be a positive, non-decreasing continuous function. Additionally, for each continuously differentiable function ν : J Y , the following conditions hold:
ν ( t ) I 0 + α ; ψ i = 1 n F i t , ν ( t ) , ν i ( t τ ( t ) ) , D 0 + u , ϑ ; ψ H ν ( t )
I 0 + α ; ψ 0 t i = 1 n K i t , s , ν ( s ) , ν ( s τ i ( s ) ) d s I 0 + α ; ψ Φ ( t )
and
D 0 + u , ϑ ; ψ H ν ( t ) I 0 + α u ; ψ i = 1 n F i t , ν ( t ) , ν i ( t τ ( t ) ) , D 0 + u , ϑ ; ψ H ν ( t )
I 0 + α u ; ψ 0 t i = 1 n K i t , s , ν ( s ) , ν ( s τ i ( s ) ) d s I 0 + α u ; ψ Φ ( t ) , t J .
Consequently, a unique solution ν 0 X exists with the properties that
ν ( t ) ν 0 ( t )
1 1 L min ψ ( b ) ψ ( a ) α Γ ( α + 1 ) , ψ ( b ) ψ ( a ) α u Γ ( α u + 1 ) Φ ( t )
and
D 0 + u , ϑ ; ψ H ν ( t ) D 0 + u , ϑ ; ψ H ν 0 ( t )
1 1 L min ψ ( b ) ψ ( a ) α Γ ( α + 1 ) , ψ ( b ) ψ ( a ) α u Γ ( α u + 1 ) Φ ( t ) , t J , L ( 0 , 1 ) .
Remark 5.
The result of this theorem means that the ψ-Hilfer FrOVI-DE in (2) possesses UHR stability on ( 0 , b ] .
Proof. 
Define an operator T : X X by
T ν ( t ) = ϕ ( t ) , t [ τ , 0 ] I 0 + α ; ψ i = 1 n F i t , ν ( t ) , ν ( t τ i ( t ) ) , D 0 + u , ϑ ; ψ H ν ( t ) + I 0 + α ; ψ 0 t i = 1 n K i t , s , ν ( s ) , ν ( s τ i ( s ) ) d s , t J .
We can derive from the metric d 1 ( . ) , the conditions (Hp-1) and (Hp-2) on the Banach space X, and (7) that
T ν ( t ) T w ( t ) = 0 , τ t 0 ,
and
T ν ( t ) T w ( t ) 1 Γ ( α ) 0 t ψ ( t ) ψ ( ξ ) α 1 ψ ( ξ ) × i = 1 n L F i ( ξ ) ν ( ξ ) w ( ξ ) + i = 1 n M F i ( ξ ) ν ( ξ τ i ( ξ ) ) ω ( s τ i ( ξ ) ) + N F i ( ξ ) D 0 + u , ϑ ; ψ H ν ( ξ ) D 0 + u , ϑ ; ψ H w ( ξ ) d ξ + C Γ ( α ) 0 t ψ ( t ) ψ ( ξ ) α 1 ψ ( ξ ) × 0 ξ i = 1 n L ¯ K i ( s ) ν ( s ) w ( s ) + M ¯ K i ( s ) ν ( s τ i ( s ) ) w ( s τ i ( s ) ) d s d ξ C Γ ( α ) 0 t ψ ( t ) ψ ( ξ ) α 1 ψ ( ξ ) i = 1 n L F i ( ξ ) Φ ( ξ ) + M F i ( ξ ) Φ ( ξ τ i ( ξ ) ) + N F i ( ξ ) Φ ( ξ ) d ξ + C Γ ( α ) 0 t ψ ( t ) ψ ( ξ ) α 1 ψ ( ξ ) i = 1 n 0 ξ L ¯ K i ( s ) Φ ( s ) + M ¯ K i ( s ) Φ ( s τ i ( s ) ) d s d ξ C Φ ( t ) Γ ( α ) 0 t ψ ( t ) ψ ( ξ ) α 1 ψ ( ξ ) i = 1 n L F i ( ξ ) + M F i ( ξ ) + N F i ( ξ ) d ξ + C Φ ( t ) Γ ( α ) 0 t ψ ( t ) ψ ( ξ ) α 1 ψ ( ξ ) i = 1 n 0 ξ L ¯ K i ( s ) + M ¯ K i ( s ) d s d ξ C L Φ ( t ) , L ( 0 , 1 ) , for each ν , w X .
Likewise, we derive
D 0 + u , ϑ ; ψ H T ν ( t ) D 0 + u , ϑ ; ψ H T w ( t )
C Φ ( t ) Γ ( α u ) 0 t ψ ( t ) ψ ( ξ ) α u 1 ψ ( ξ )
× i = 1 n L F i ( ξ ) + M F i ( ξ ) + N F i ( ξ ) + 0 ξ L ¯ K i ( s ) + M ¯ K i ( s ) d s d ξ
C L Φ ( t ) , L ( 0 , 1 ) .
Accordingly, for each ν , w X , we conclude that
d 1 ( T ν , T w ) C L = L d 1 ( ν , w ) , L ( 0 , 1 ) .
Consequently, using (5) and (6), we deduce that
ν ( t ) T ν ( t ) I 0 + α ; ψ Φ ( t ) ψ ( b ) ψ ( a ) α Γ ( α + 1 ) Φ ( t )
and
D 0 + u , ϑ ; ψ H ν ( t ) D 0 + u , ϑ ; ψ H T ν ( t ) I 0 + α u ; ψ Φ ( t ) ψ ( b ) ψ ( a ) α u Γ ( α u + 1 ) Φ ( t ) , for each t J .
Accordingly, we determine that
d 1 ( ν , T ν ) min ψ ( b ) ψ ( a ) α Γ ( α + 1 ) , ψ ( b ) ψ ( a ) α u Γ ( α u + 1 ) < .
Using (C1) and (C2) of Theorem 1, there exists a unique fixed point ν 0 with the property that T ν 0 = ν 0 . Subsequently, from (C3) of Theorem 1, we conclude that
d 1 ( ν , v 0 ) 1 1 L d 1 ( T ν , v ) 1 1 L min ψ ( b ) ψ ( a ) α Γ ( α + 1 ) , ψ ( b ) ψ ( a ) α u Γ ( α u + 1 ) , L ( 0 , 1 ) .
From the above analysis, we deduce that the ψ -Hilfer FrOVI-DE in (2) exhibits UHR stability, thereby completing the proof of the theorem. □
Remark 6.
Let Φ ( t ) = 1 in Theorem 3. Then, the ψ-Hilfer FrOVI-DE in (2) possesses UH stability on ( 0 , b ] .
Theorem 4.
Let (Hp-1) and (Hp-2) of Theorem 2 hold and Φ ( t ) be a positive, nonincreasing continuous function. Furthermore, let ν : J X be a continuously differentiable function satisfying
ν ( t ) I 0 + α ; ψ i = 1 n F i t , ν ( t ) , ν i ( t τ ( t ) ) , D 0 + u , ϑ ; ψ H ν ( t )
I 0 + α ; ψ 0 t i = 1 n K i t , s , ν ( s ) , ν ( s τ i ( s ) ) d s I 0 + α ; ψ θ
and
D 0 + u , ϑ ; ψ H ν ( t ) I 0 + α u ; ψ i = 1 n F i t , ν ( t ) , ν i ( t τ ( t ) ) , D 0 + u , ϑ ; ψ H ν ( t )
I 0 + α u ; ψ 0 t i = 1 n K i t , s , ν ( s ) , ν ( s τ i ( s ) ) d s I 0 + α u ; ψ θ , t J ,
where θ > 0 , θ R . Then, there exists a unique solution ν 0 X and an M R , M > 0 , with the property that
ν ( t ) ν 0 ( t ) max ψ ( b ) ψ ( a ) α Γ ( α + 1 ) , ψ ( b ) ψ ( a ) α u Γ ( α u + 1 ) θ M 1 L Φ ( t )
and
D 0 + u , ϑ ; ψ H ν ( t ) D 0 + u , ϑ ; ψ H ν 0 ( t )
max ψ ( b ) ψ ( a ) α Γ ( α + 1 ) , ψ ( b ) ψ ( a ) α u Γ ( α u + 1 ) θ M 1 L Φ ( t ) , t J , L ( 0 , 1 ) .
Remark 7.
The result of Theorem 4 implies that the ψ-Hilfer FrOVI-DE in (2) possesses semi-UH stability on ( 0 , b ] .
Proof. 
Define an operator T : X X by
T ν ( t ) = ϕ ( t ) , t [ τ , 0 ] I 0 + α ; ψ i = 1 n F i t , ν ( t ) , ν ( t τ i ( t ) ) , D 0 + α , β ; ψ H ν ( t ) + I 0 + α ; ψ 0 t i = 1 n K i t , s , ν ( s ) , ν ( s τ i ( s ) ) d s , t J .
Similar to the proofs of Theorems 2 and 3, using the conditions of Theorem 4 and the metric d 2 ( . ) on the Banach space X, we deduce from (10) that
T υ ( t ) T ω ( t ) = 0 , τ t 0
and
T ν ( t ) T w ( t ) Φ ( t ) 1 Γ ( α ) 0 t ψ ( t ) ψ ( ξ ) α 1 ψ ( ξ ) × i = 1 n L F i ( ξ ) ν ( ξ ) w ( ξ ) Φ ( ξ )
+ i = 1 n M F i ( ξ ) ν ( ξ τ i ( ξ ) ) ω ( s τ i ( ξ ) ) Φ ( ξ ) + N F i ( ξ ) D 0 + α , β ; ψ H ν ( ξ ) D 0 + α , β ; ψ H w ( ξ ) Φ ( ξ ) d ξ
+ C Γ ( α ) 0 t ψ ( t ) ψ ( ξ ) α 1 ψ ( ξ )
× 0 ξ i = 1 n L ¯ K i ( s ) ν ( s ) w ( s ) Φ ( s ) + M ¯ K i ( s ) ν ( s τ i ( s ) ) w ( s τ i ( s ) ) Φ ( s ) d s d ξ
C Γ ( α ) 0 t ψ ( t ) ψ ( ξ ) α 1 ψ ( ξ ) i = 1 n L F i ( ξ ) + M F i ( ξ ) + N F i ( ξ ) d ξ
+ C Γ ( α ) 0 t ψ ( t ) ψ ( ξ ) α 1 ψ ( ξ ) i = 1 n 0 ξ L ¯ K i ( s ) + M ¯ K i ( s ) d s d ξ
C L , L ( 0 , 1 ) .
Likewise, we obtain
D 0 + u , ϑ ; ψ H T ν ( t ) D 0 + u , ϑ ; ψ H T w ( t ) Φ ( t )
C Γ ( α u ) 0 t ψ ( t ) ψ ( ξ ) α u 1 ψ ( ξ )
× i = 1 n L F i ( ξ ) + M F i ( ξ ) + N F i ( ξ ) + 0 ξ L ¯ K i ( s ) + M ¯ K i ( s ) d s d ξ
C L , L ( 0 , 1 ) .
Since Φ ( t ) is a positive, nonincreasing continuous function, for each t J , we have
1 Φ ( t ) M , for each t [ 0 , b ] ,
where M R , M > 0 , is a positive constant. Subsequently, from (8) and (9), we infer that
ν ( t ) T ν ( t ) Φ ( t ) I 0 + α ; ψ θ Φ ( t ) θ ψ ( b ) ψ ( a ) α Φ ( t ) Γ ( α + 1 ) θ ψ ( b ) ψ ( a ) α M Γ ( α + 1 )
and
D 0 + u , ϑ ; ψ H ν ( t ) D 0 + u , ϑ ; ψ H T ν ( t ) Φ ( t ) I 0 + α u ; ψ θ Φ ( t ) θ ψ ( b ) ψ ( a ) α u Φ ( t ) Γ ( α u + 1 ) θ ψ ( b ) ψ ( a ) α u M Γ ( α u + 1 ) .
Considering (11) and (12), we also get
d 2 ( ν , T ν ) max θ M ψ ( b ) ψ ( a ) α Γ ( α + 1 ) , θ M ψ ( b ) ψ ( a ) α u Γ ( α u + 1 ) .
Using (C1) and (C2) of Theorem 1, there exists a unique fixed point ν 0 with the property that T ν 0 = ν 0 . Then from (C1) of Theorem 1, we deduce that
d 2 ( ν , v 0 ) 1 1 L d 2 ( ν ( t ) , T ν ( t ) ) 1 1 L max ψ ( b ) ψ ( a ) α Γ ( α + 1 ) , ψ ( b ) ψ ( a ) α u Γ ( α u + 1 ) θ M 1 L ,
L ( 0 , 1 ) .
Thus, the proof of the theorem is complete. □
Remark 8.
From the above analysis, we deduce that the ψ-Hilfer FrOVI-DE in (2) possesses semi-UH stability on ( 0 , b ] .

5. Application

In this section, we present a specific example of the ψ -Hilfer FrOVI-DE in (2) to substantiate the validity of the conditions stipulated in Theorems 2 and 3.
Example 1.
We consider the following ψ-Hilfer FrOVI-DE incorporating a variable delay:
D 0 + 1 4 , 1 4 ; t 2 H ν ( t ) = 1 300 ( 1 + t 4 ) arctan ν ( t ) + ν ( t ) 450 1 + t 2 1 + ν 2 2 1 t + 1 600 0 t sin ν ( s ) + sin ν 2 1 s 1 + s 4 + t 4 d s , t I = ( 0 , 1 ] , I 0 + 1 γ ν ( 0 ) = σ , ν ( t ) = 0 , t 2 1 , 0 .
According to the ψ-Hilfer FrOVI-DE in (13), we have α = β = 1 4 , ψ ( t ) = t 2 , and τ 1 ( t ) = t 2 . Moreover, γ = α + β ( 1 α ) = 7 16 , τ = max 2 1 t = 2 1 . By comparing the ψ-Hilfer FrOVI-DE (13) and the ψ-Hilfer FrOVI-DE in (2), the corresponding relations can be formulated as follows:
J = ( 0 , 1 ] , a = 0 , b = 1 ,
F 1 t , ν , ν ( t τ 1 ( t ) ) , D 0 + u , ϑ ; ψ H ν ( t ) = 1 300 ( 1 + t 4 ) arctan ν
+ ν 450 1 + t 2 1 + ν 2 2 1 t ,
K 1 t , s , ν ( s ) , ν ( s τ 1 ( s ) ) = sin ν ( s ) + sin ν 2 1 s 600 1 + s 4 + t 4 ,
F 1 C ( 0 , 1 ] × R × R × R , R ,
K 1 C ( 0 , 1 ] × ( 0 , 1 ] × R × R , R ,
F 1 t , ν , , ρ F 1 t , ν , , ρ 1 300 ( 1 + t 4 ) arctan ν arctan ν
+ 1 450 1 + t 2 1 + 2 2 1 t 1 + 2 2 1 t
1 300 ( 1 + t 4 ) ν ν + 1 450 ( 1 + t 2 ) ,
where
L F 1 ( t ) = 1 300 ( 1 + t 4 ) , M F 1 ( t ) = 1 450 ( 1 + t 2 ) , N F 1 ( t ) = 0 ,
K 1 t , s , ν , K 1 t , s , ν , 1 600 1 + s 4 + t 4 sin ν ( s ) sin ν ( s )
+ 1 600 1 + s 4 + t 4 sin 2 1 s sin 2 1 s
1 600 1 + s 4 sin ν ( s ) sin ν ( s )
+ 1 600 1 + s 4 sin 2 1 s sin 2 1 s
1 600 1 + s 4 ν ( s ) ν ( s ) + 1 600 1 + s 4 2 1 s 2 1 s ,
where
L ¯ K 1 ( s ) = 1 600 1 + s 4 , M ¯ K 1 ( s ) = 1 600 1 + s 4 .
In light of the above computations, the conditions (Hp-1) and (Hp-2) stipulated in Theorem 2 are satisfied. Furthermore, the inequality stated in Theorem 2 is likewise satisfied, as shown below:
ψ ( b ) ψ ( 0 ) η Γ ( η + 1 ) max t [ a , b ] i = 1 n L F i ( t ) + M F i ( t ) + N F i ( t ) + b L ¯ K i ( t ) + M ¯ K i ( t )
= ψ ( 1 ) ψ ( 0 ) 1 4 Γ 5 4 max t [ 0 , 1 ] L F 1 ( t ) + M F 1 ( t ) + N F 1 ( t ) + b L ¯ K 1 ( t ) + M ¯ K 1 ( t )
10000 9064 max t [ 0 , 1 ] 1 300 ( 1 + t 4 ) + 1 450 ( 1 + t 2 ) + 1 300 1 + t 4
10000 9064 × 4 450 = 100 10197 = L < 1 .
Then, the ψ-Hilfer FrOVI-DE in (13) with the present initial condition has a unique solution. Moreover, let the continuously differentiable function ν : J X satisfy the following inequalities:
ν ( t ) I 0 + 1 4 ; t 2 1 300 ( 1 + t 4 ) arctan ν ( t ) + ν ( t ) 450 1 + t 2 1 + ν 2 2 1 t
I 0 + 1 4 ; t 2 0 t sin ν ( s ) + sin ν 2 1 s 600 1 + s 4 + t 4 d s I 0 + 1 4 ; t 2 Φ ( t )
and
D 0 + u , ϑ ; ψ H ν ( t ) I 0 + 1 4 u ; t 2 1 300 ( 1 + t 4 ) arctan ν ( t ) + ν ( t ) 450 1 + t 2 1 + ν 2 2 1 t
I 0 + 1 4 u ; ψ 0 t sin ν ( s ) + sin ν 2 1 s 600 1 + s 4 + t 4 d s I 0 + 1 4 u ; t 2 Φ ( t ) , t ( 0 , 1 ] ,
where Φ ( t ) is a positive, nonincreasing continuous function on a finite interval ( 0 , 1 ] . Thus, it is concluded from the preceding results that the ψ-Hilfer FrOVI-DE in (13) possesses UHR stability. In a similar manner, one can verify that the conditions of Theorem 4 and the UH stability result stated in Remark 6 are also satisfied. For conciseness, the detailed verification is omitted.

6. Conclusions

In this work, we analyze the conditions under which unique solutions exist, as well as the UHR stability, UH stability, and semi-UH stability of a nonlinear ψ -Hilfer FrOVI-DE incorporating multiple-variable time delays with the initial condition. In order to establish the results presented in this study, we apply the BCMP with respect to a complete generalized metric, an appropriate norm, and other advanced techniques. In this study, we present three novel and original results pertaining to the qualitative concepts discussed. The results presented in this study are expected to make a substantial contribution to the advancement of future theoretical research and applications within the field of applied sciences. In future research endeavors, we plan to investigate the same qualitative properties of neutral ψ -Hilfer FrOVI-DEs and ψ -Hilfer FrOVI-DEs, including single- or multiple-variable advanced arguments, as open problems.

Author Contributions

Conceptualization, C.T., F.S.A., and F.T.A.; Data curation, F.S.A., F.T.A., and C.T.; Formal analysis, F.S.A., F.T.A., and C.T.; Funding acquisition, F.T.A.; Methodology, C.T. and F.T.A.; Project administration, F.T.A.; Supervision, C.T., F.S.A., and F.T.A.; Validation, C.T., F.S.A., and F.T.A.; Visualization, C.T., F.S.A., and F.T.A.; Writing—original draft, C.T., F.S.A., and F.T.A.; writing—review and editing, C.T. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported and funded by the Deanship of Scientific Research at Imam Mohammad Ibn Saud Islamic University (IMSIU) (grant number IMSIU-DDRSP2503).

Data Availability Statement

No data were used for the research described in this article.

Acknowledgments

The authors thank the anonymous referees for their constructive comments, which have improved the presentation of the results.

Conflicts of Interest

The authors declare no conflicts of interest.

Abbreviations

The abbreviations employed in this article are as follows:
ψ -Hilfer FrODE ψ -Hilfer fractional-order differential equation
ψ -Hilfer FrODEs ψ -Hilfer fractional-order differential equations
ψ -Hilfer FrOVI-DE ψ -Hilfer fractional-order Volterra integro-differential equation
ψ -Hilfer FrOVI-DEs ψ -Hilfer fractional-order Volterra integro-differential equations
ψ -Hilfer-FrDO ψ -Hilfer fractional derivative operator
UH stabilityUlam–Hyers stability
UHR stabilityUlam–Hyers–Rassias stability
semi-UHR stabilitysemi-Ulam–Hyers–Rassias stability
BCMPBanach contraction mapping principle

References

  1. Balachandran, K. An Introduction to Fractional Differential Equations. In Industrial and A4pplied Mathematics; Springer: Singapore, 2023. [Google Scholar]
  2. Diethelm, K. The analysis of fractional differential equations. An application-oriented exposition using differential operators of Caputo type. In Lecture Notes in Mathematics, 2004; Springer: Berlin, Germany, 2010. [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. In Mathematics in Science and Engineering, 198; Academic Press, Inc.: San Diego, CA, USA, 1999. [Google Scholar]
  4. Herrmann, R. Fractional calculus. In An Introduction for Physicists, 3rd ed.; World Scientific Publishing Co. Pte. Ltd.: Hackensack, NJ, USA, 2018. [Google Scholar]
  5. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations. In North-Holland Mathematics Studies, 204; Elsevier Science B.V.: Amsterdam, The Netherlands, 2006. [Google Scholar]
  6. Miller, K.S.; Ross, B. An introduction to the fractional calculus and fractional differential equations. In A Wiley-Interscience Publication; John Wiley & Sons, Inc.: New York, NY, USA, 1993. [Google Scholar]
  7. Oldham, K.B.; Spanier, J. The fractional calculus. Theory and applications of differentiation and integration to arbitrary order. With an annotated chronological bibliography by Bertram Ross. In Mathematics in Science and Engineering; Academic Press: New York, NY, USA; London, UK, 1974; Volume 111. [Google Scholar]
  8. Zhou, Y. Basic Theory of Fractional Differential Equations, 3rd ed.; World Scientific Publishing Co. Pte. Ltd.: Hackensack, NJ, USA, 2024. [Google Scholar]
  9. Benchohra, M.; Lazreg, J.E. Existence and Ulam stability for nonlinear implicit fractional differential equations with Hadamard derivative. Stud. Univ. Babeş-Bolyai Math. 2017, 62, 27–38. [Google Scholar] [CrossRef]
  10. Samko, s.G.; Kilbas, A.A.; Marichev, O.I. Fractional integrals and derivatives. In Theory and applications; Gordon and Breach Science Publishers: Yverdon, Switzerland, 1993. [Google Scholar]
  11. Sousa, J.V.d.; de Oliveira, E.C. On the ψ-Hilfer fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 2018, 60, 72–91. [Google Scholar] [CrossRef]
  12. Wang, J.R.; Lv, L.L.; Zhou, Y. New concepts and results in stability of fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 2012, 17, 2530–2538. [Google Scholar] [CrossRef]
  13. Abbas, S.; Benchohra, M.; Lagreg, J.E.; Alsaedi, A.; Zhou, Y. Existence and Ulam stability for fractional differential equations of Hilfer-Hadamard type. Adv. Differ. Equ. 2017, 1–14. [Google Scholar] [CrossRef]
  14. Abbas, S.; Benchohra, M.; Petruşel, A. Coupled Hilfer and Hadamard fractional differential systems in generalized Banach spaces. Fixed Point Theory 2022, 23, 21–34. [Google Scholar] [CrossRef]
  15. Abbas, S.; Benchohra, M.; Petruşel, A. Ulam stability for Hilfer type fractional differential inclusions via the weakly Picard operators theory. Fract. Calc. Appl. Anal. 2017, 20, 384–398. [Google Scholar] [CrossRef]
  16. Agarwal, R.P.; Assolami, A.; Alsaedi, A.; Ahmad, B. Existence results and Ulam-Hyers stability for a fully coupled system of nonlinear sequential Hilfer fractional differential equations and integro-multistrip-multipoint boundary conditions. Qual. Theory Dyn. Syst. 2022, 21, 33. [Google Scholar] [CrossRef]
  17. Luo, D.; Shah, K.; Luo, Z. On the novel Ulam-Hyers stability for a class of nonlinear Hilfer fractional differential equation with time-varying delays. Mediterr. J. Math. 2019, 16, 15. [Google Scholar] [CrossRef]
  18. Sousa, J.V.d.; de Oliveira, E.C. On the Ulam-Hyers-Rassias stability for nonlinear fractional differential equations using the ψ-Hilfer operator. J. Fixed Point Theory Appl. 2018, 20, 21. [Google Scholar] [CrossRef]
  19. Vivek, D.; Kanagarajan, K.; Elsayed, E.M. Some existence and stability results for Hilfer-fractional implicit differential equations with nonlocal conditions. Mediterr. J. Math. 2018, 15, 21. [Google Scholar] [CrossRef]
  20. de Oliveira, E.C.; Sousa, J.V.d. Ulam-Hyers-Rassias stability for a class of fractional integro-differential equations. Results Math. 2018, 73, 16. [Google Scholar] [CrossRef]
  21. Tunç, O.; Tunç, C. On Ulam stabilities of delay Hammerstein integral equation. Symmetry 2023, 15, 1736. [Google Scholar] [CrossRef]
  22. Sousa, J.V.d.; 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]
  23. Abbas, S.; Albarakati, W.; Benchohra, M.; Petruşel, A. Existence and Ulam stability results for Hadamard partial fractional integral inclusions via Picard operators. Stud. Univ. Babeş-Bolyai Math. 2016, 61, 409–420. [Google Scholar]
  24. Brzdęk, J.; Karapınar, E.; Petruşel, A. A fixed point theorem and the Ulam stability in generalized dq-metric spaces. J. Math. Anal. Appl. 2018, 467, 501–520. [Google Scholar] [CrossRef]
  25. Moroşanu, G.; Petruxsxel, A. On a delay integro-differential equation in Banach space. Discrete Contin. Dyn. Syst. Ser. S 2023, 16, 1596–1609. [Google Scholar]
  26. Petruşel, A.; Rus, I.A. Ulam stability of zero point equations. In Ulam Type Stability; Springer: Cham, Switzerland, 2019; pp. 345–364. [Google Scholar]
  27. Zhang, L.; Ahmad, B.; Wang, G.; Agarwal, R.P. Nonlinear fractional integro-differential equations on unbounded domains in a Banach space. J. Comput. Appl. Math. 2013, 249, 51–56. [Google Scholar] [CrossRef]
  28. Zhou, J.L.; Zhang, S.; He, Y. Existence and stability of solution for a nonlinear fractional differential equation. J. Math. Anal. Appl. 2021, 498, 13. [Google Scholar] [CrossRef]
  29. Zhou, J.L.; Zhang, S.; He, Y. Existence and stability of solution for nonlinear differential equations with Hilfer fractional derivative. Appl. Math. Lett. 2021, 121, 7. [Google Scholar] [CrossRef]
  30. Graef, J.R.; Tunç, O.; Tunç, C. Ulam-Hyers-Rassias stability of Hilfer Volterra integro-differential equations of fractional order containing multiple variable delays. Fractal Fract. 2025, 9, 304. [Google Scholar] [CrossRef]
  31. Benzarouala, C.; Tunç, C. Hyers–Ulam–Rassias stability of fractional delay differential equations with Caputo derivative. Math. Methods Appl. Sci. 2024, 47, 13499–13509. [Google Scholar] [CrossRef]
  32. Huang, J.; Li, Y. Hyers-Ulam stability of delay differential equations of first order. Math. Nachr. 2016, 289, 60–66. [Google Scholar] [CrossRef]
  33. Jung, S.M. A fixed point approach to the stability of a Volterra integral equation. Fixed Point Theory Appl. 2007, 2007, 57064. [Google Scholar] [CrossRef]
  34. Bhat, I.A.; Mishra, L.N.; Mishra, V.N.; Tunç, C.; Tunç, O. Precision and efficiency of an interpolation approach to weakly singular integral equations. Int. J. Numer. Methods Heat Fluid Flow 2024, 34, 1479–1499. [Google Scholar] [CrossRef]
  35. Tunç, O.; Tunç, C. Solution estimates to Caputo proportional fractional derivative delay integro-differential equations. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 2023, 117, 13. [Google Scholar] [CrossRef]
  36. Tunç, O.; Tunç, C.; Petruşel, G.; Yao, J.-C. On the Ulam stabilities of nonlinear integral equations and integro-differential equations. Math. Methods Appl. Sci. 2024, 47, 4014–4028. [Google Scholar] [CrossRef]
  37. Diaz, J.B.; Margolis, B. A fixed point theorem of the alternative, for contractions on a generalized complete metric space. Bull. Amer. Math. Soc. 1968, 74, 305–309. [Google Scholar] [CrossRef]
  38. Cadariu, L.; Gavruţa, L.; Gavruţa, P. Weighted space method for the stability of some nonlinear equations. Appl. Anal. Discrete Math. 2012, 6, 126–139. [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

Tunç, C.; Alshammari, F.S.; Akyıldız, F.T. On the Existence of Solutions and Ulam-Type Stability for a Nonlinear ψ-Hilfer Fractional-Order Delay Integro-Differential Equation. Fractal Fract. 2025, 9, 409. https://doi.org/10.3390/fractalfract9070409

AMA Style

Tunç C, Alshammari FS, Akyıldız FT. On the Existence of Solutions and Ulam-Type Stability for a Nonlinear ψ-Hilfer Fractional-Order Delay Integro-Differential Equation. Fractal and Fractional. 2025; 9(7):409. https://doi.org/10.3390/fractalfract9070409

Chicago/Turabian Style

Tunç, Cemil, Fehaid Salem Alshammari, and Fahir Talay Akyıldız. 2025. "On the Existence of Solutions and Ulam-Type Stability for a Nonlinear ψ-Hilfer Fractional-Order Delay Integro-Differential Equation" Fractal and Fractional 9, no. 7: 409. https://doi.org/10.3390/fractalfract9070409

APA Style

Tunç, C., Alshammari, F. S., & Akyıldız, F. T. (2025). On the Existence of Solutions and Ulam-Type Stability for a Nonlinear ψ-Hilfer Fractional-Order Delay Integro-Differential Equation. Fractal and Fractional, 9(7), 409. https://doi.org/10.3390/fractalfract9070409

Article Metrics

Back to TopTop