Next Article in Journal
Computational Statistics and Machine Learning Techniques for Effective Decision Making on Student’s Employment for Real-Time
Next Article in Special Issue
The Cădariu-Radu Method for Existence, Uniqueness and Gauss Hypergeometric Stability of Ω-Hilfer Fractional Differential Equations
Previous Article in Journal
Selecting Correct Methods to Extract Fuzzy Rules from Artificial Neural Network
Previous Article in Special Issue
Existence of Absolutely Continuous Fundamental Matrix of Linear Fractional System with Distributed Delays
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Some Existence and Dependence Criteria of Solutions to a Fractional Integro-Differential Boundary Value Problem via the Generalized Gronwall Inequality

by
Shahram Rezapour
1,2,†,
Sotiris K. Ntouyas
3,4,†,
Abdelkader Amara
5,†,
Sina Etemad
2,† and
Jessada Tariboon
6,*,†
1
Department of Medical Research, China Medical University Hospital, China Medical University, Taichung 404, Taiwan
2
Department of Mathematics, Azarbaijan Shahid Madani University, Tabriz 51368, Iran
3
Department of Mathematics, University of Ioannina, 451 10 Ioannina, Greece
4
Nonlinear Analysis and Applied Mathematics (NAAM)-Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia
5
Laboratory of Applied Mathematics, University of Kasdi Merbah Ouargla, Ouargla 30000, Algeria
6
Intelligent and Nonlinear Dynamic Innovations Research Center, Department of Mathematics, Faculty of Applied Science, King Mongkut’s University of Technology North Bangkok, Bangkok 10800, Thailand
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Mathematics 2021, 9(11), 1165; https://doi.org/10.3390/math9111165
Submission received: 11 April 2021 / Revised: 8 May 2021 / Accepted: 19 May 2021 / Published: 21 May 2021
(This article belongs to the Special Issue Qualitative Theory of Fractional-Order Systems)

Abstract

:
The main intention of the present research study is focused on the analysis of a Caputo fractional integro-differential boundary problem (CFBVP) in which the right-hand side of supposed differential equation is represented as a sum of two nonlinear terms. Under the integro-derivative boundary conditions, we extract an equivalent integral equation and then define new operators based on it. With the help of three distinct fixed-point theorems attributed to Krasnosel’skiĭ, Leray–Schauder, and Banach, we investigate desired uniqueness and existence results. Additionally, the dependence criterion of solutions for this CFBVP is checked via the generalized version of the Gronwall inequality. Next, three simulative examples are designed to examine our findings based on the procedures applied in the theorems.

1. Introduction

On a large scale, it is specified that the hereditary aspects and the memory of different processes and materials are predictable with the help of some models under the fractional operators. In this regard, differential equations with arbitrary-order derivatives have recently proven to be an efficient tool in the modeling of a vast variety of phenomena in several branches of science [1,2,3,4]. To be more precise, one can view the deep effectiveness of this category of fractional equation in the modeling of some areas involving relaxation vibrations, viscoelasticity, electrochemistry, signal processing, diffusion procedures, etc. (see [5,6,7,8,9,10,11,12] and references therein). Since theoretical findings and outcomes can support the arrival at a profound understanding for the arbitrary-order models, a large number of mathematicians have tended to discuss the existence and dependence aspects of solutions of various structures of fractional equations (see [13,14,15,16,17,18,19,20,21,22,23,24,25]). In [26] a discrete Gronwall inequality was introduced to provide a stability bound. In addition to these, some formulations as integro-differential equations have recently been analyzed by researchers [27,28,29,30,31,32,33].
Zhao, Huang et al. [34] carried out a survey on the existence aspects of solutions for a multipoint nonlinear integro-differential boundary value problem (FBVP) as
R D 0 + σ ω ( s ) + ħ s , ω ( s ) , ω ( s ) , , ω ( k 2 ) ( s ) , A 1 ω ( s ) , A 2 ω ( s ) = 0 , ( 0 s 1 ) , ω ( 0 ) = ω ( 0 ) = = ω ( k 2 ) ( 0 ) = 0 , ω ( k 2 ) ( 1 ) = j = 1 m 2 K j ω ( k 2 ) ( ξ j ) , ( K j > 0 , 0 < ξ 1 < ξ 2 < < ξ m 2 < 1 ) ,
so that k 1 < σ < k , and for functions B 1 C ( M = { ( s , η ) [ 0 , 1 ] × [ 0 , 1 ] : s η } , R > 0 ) and B 2 C ( [ 0 , 1 ] × [ 0 , 1 ] , R > 0 ) , we have
A 1 ω ( s ) = 0 s B 1 ( s , η ) ω ( η ) d η , A 2 ω ( s ) = 0 1 B 2 ( s , η ) ω ( η ) d η .
In that work, they utilized strict-set contractions on the structures named cones to extract criteria of existence [34].
In 2016, Ahmad, Ntouyas, and Tariboon [35] implemented an analytical research study to check some required conditions for proving the existence of possible solutions of the hybrid integro-inclusion FBVP given by
C D 0 + σ ω ( s ) l = 1 k R I 0 + σ l ħ l ( s , ω ( s ) ) ϕ ( s , ω ( s ) ) P ( s , ω ( s ) ) , ( 0 s 1 ) ,
such that ω ( 0 ) = φ ( s ) and ω ( 1 ) = b R and C D 0 + σ and R I 0 + ι stand for the fractional Caputo and Riemann–Liouville operators of orders σ [ 1 , 2 ) and ι > 0 with ι { σ 1 , σ 2 , , σ k } . In 2018, Bazgir and Ghazanfari [36] proceeded to obtain some desired conditions for which the new category of nonlinear Caputo integro-differential FBVP
C D 0 + σ ω ( s ) = ħ s , ω ( s ) , C D 0 + σ 1 ω ( s ) , R I 0 + σ 2 ω ( s ) , ( 0 s 1 ) , C D 0 + σ 1 ω ( ξ 1 ) + C D 0 + σ 1 ω ( ξ 2 ) = k ω ( 1 ) , ( k R ) , ω ( 0 ) + ω ( 1 ) = m R I 0 + σ 2 ω ( ξ 3 ) , ( m R )
has at least one solution on the relevant domain; in this structure, it is supposed that σ ( 1 , 2 ) , σ 1 ( 0 , 1 ) with σ > σ 1 + 1 , σ 2 > 0 and ξ 1 , ξ 2 , ξ 3 ( 0 , 1 ) .
By taking the existing ideas of some of the above articles, we turn to discuss on a newly designed extended framework of the Caputo fractional mixed integro-differential equation with fractional integral conditions
K 1 C D 0 + σ + K 2 R I 0 + θ ω ( s ) = R I 0 + q 1 ħ 1 ( s , ω ( s ) ) + ħ 2 ( s , ω ( s ) ) , ( 0 s 1 ) , ω ( 0 ) = 0 , C D 0 + 1 ω ( 0 ) = 0 , 0 1 ω ( η ) d η + 0 1 C D 0 + 1 ω ( η ) d η = 0 1 ( 1 η ) q 2 1 Γ ( q 2 ) ω ( η ) d η ,
where σ ( 2 , 3 ) , θ , q 1 , q 2 0 and K 1 , K 2 R + with K 1 0 . Two symbols C D 0 + ( · ) and R I 0 + ( · ) denote the Caputo fractional derivative (CF-derivative) and the Riemann–Liouville fractional integral (RLF-integral) of different fractional orders. Additionally, both functions ħ 1 and ħ 2 are supposed to be continuous on [ 0 , 1 ] × R with real values. It is a considerable issue that the researchers concentrate on the fact that the proposed Caputo fractional integro-differential boundary problem (CFBVP) has both aspects of generality and uniqueness in its structure. In fact, the existing construction for the aforementioned integro-differential CFBVP (1) has two different derivatives in the Caputo settings along with three distinct integrals of the RLF-type. The right-hand side of this problem is as a sum of two nonlinear terms under functions ħ 1 and ħ 2 . This composition of the given FBVP involves several types of special case of the fractional differential equations. It is sufficient that we consider specific values for parameters of the given CFBVP to derive some new fractional models arising in real-life phenomena or processes. For instance, if we consider θ = q 1 = 0 , K 2 = 1 , and ħ 2 0 , then for 0 < μ < 1 we have the fractional pantograph differential equation C D 0 + σ ω ( s ) = 1 K 1 ω ( s ) + 1 K 1 ħ 1 ( s , ω ( μ s ) ) with integral boundary conditions given by (1). On the other side, by assuming θ = 0 and ħ 2 0 , the simple form of the fractional Langevin integro-differential equation is derived as K 1 C D 0 + σ + K 2 ω ( s ) = R I 0 + q 1 ħ 1 ( s , ω ( s ) ) . Therefore, we can extract other simple forms of well-known boundary value problems, and so all results, theorems, and examples of this manuscript are applicable for such special actual systems. Finally, we implicitly state that the aforementioned type of integro-differential CFBVP equipped with such conditions has not been discussed in the existing works, and it has an abstract and general format. In this direction, we use familiar and famous analytical methods to establish the required criteria which prove the existence theorems for the proposed integro-differential CFBVP (1). In the sequel, we analyze the dependence of solutions to a special case of integro-differential CFBVP (1).
The scheme of the current research is arranged as follows. In Section 2, some basic notions on fractional calculus (FC) are collected. Section 3 proves essential theorems which guarantee the existence of possible solutions for the suggested integro-differential CFBVP (1). Additionally, by considering the generalized version of the Gronwall inequality, the dependence of solutions to a special case of the integro-differential CFBVP (1) is analyzed. With the help of some special numerical examples in Section 4, we validate our theoretical outcomes according to methods implemented in theorems.

2. Auxiliary Preliminaries

This section is assigned to recall some basic notions and definitions in relation to fractional calculus.
Definition 1
([37,38]). Let σ > 0 . The Riemann–Liouville fractional integral (RLF-integral) for a real-valued continuous function ω on [ a , b ] is given by
R I 0 + σ ω ( s ) = 1 Γ ( σ ) 0 s ( s η ) σ 1 ω ( η ) d η
provided that the finite values exist for the right-hand side integral.
Definition 2
([37,38]). Let k 1 < σ < k or k = 1 + [ σ ] . The Caputo fractional derivative (CF-derivative) of an existing function ω C R ( k ) ( [ a , b ] ) is defined as follows:
C D 0 + σ ω ( s ) = 1 Γ ( k σ ) 0 s ( s η ) k σ 1 ω ( k ) ( η ) d η
such that the existing integral in the above equation involves finite values.
Lemma 1
([4]). Let σ 2 > σ 1 > 0 and ω L 1 ( [ a , b ] ) . Then, for all s [ a , b ] , we have
(i) 
R I 0 + σ 1 R I 0 + σ 2 ω ( s ) = R I 0 + σ 1 + σ 2 ω ( s ) ;
(ii) 
C D 0 + σ 1 R I 0 + σ 2 ω ( s ) = R I 0 + σ 2 σ 1 ω ( s ) .
In [39], we may observe that the general series solution about the given differential equation C D 0 + σ ω ( s ) = 0 equals to ω ( s ) = c 0 + c 1 s + c 2 s 2 + + c k 1 s k 1 and
R I 0 + σ ( C D 0 + σ ω ( s ) ) = ω ( s ) + m = 0 k 1 c m s m = ω ( s ) + c 0 + c 1 s + c 2 s 2 + + c k 1 s k 1
holds such that c 0 , , c k 1 R and k = 1 + [ σ ] .
To arrive at the main aims for proving the conditions of the existence of solutions of (1) here, three fixed-point results in relation to this purpose are recalled.
Theorem 1
([40]). By assuming Y as a closed, convex, and bounded set contained in the Banach space X, the following assertions hold for ħ 1 , ħ 2 : Y X :
(th1) 
ħ 1 ω 1 + ħ 2 ω 2 Y for ω 1 , ω 2 Y ;
(th2) 
ħ 1 is a contraction;
(th3) 
ħ 2 possesses both properties of continuity and compactness.
Then, a member ω Y exists such that ω = ħ 1 ω + ħ 2 ω .
Theorem 2
([41]). Consider X and Y as a Banach space and a convex closed subset of this space, respectively. Further, let V be an open set contained in Y with 0 V and ħ : V ¯ Y possesses both properties of continuity and compactness. In that case, either:
(th4) 
ħ involves a fixed point in V ¯ ; or
(th5) 
ω V and a ^ ( 0 , 1 ) exist subject to ω = a ^ ħ ( ω ) .
Theorem 3
([42]). The set X is considered as a Banach space and further ħ : Y Y is regarded as a contraction map on the closed set Y X . Then ħ contains a fixed point uniquely in Y.
Theorem 4
([43,44]). (The generalized Gronwall inequality) Let u : [ 0 , T ] R + be locally integrable for T and ψ : [ 0 , T ] R + be nondecreasing and continuous with ψ ( s ) M 0 and ω ^ : [ 0 , T ] R + be a locally integrable mapping with
ω ^ ( s ) u ( s ) + ψ ( s ) 0 s ( s η ) σ 1 ω ^ ( η ) d η
such that σ > 0 . Then
ω ^ ( s ) u ( s ) + 0 s m = 1 ( ψ ( s ) Γ ( σ ) ) m Γ ( m σ ) ( s η ) m σ 1 u ( η ) d η , ( s [ 0 , T ] ) .

3. Main Theorems

By X = C R ( [ 0 , 1 ] ) we mean the collection of all given continuous maps on [ 0 , 1 ] subject to real values. We can easily confirm that X will be a Banach space whenever we regard a sup norm on it as ω = sup s [ 0 , 1 ] | ω ( s ) | for ω X . Now, a structural proposition is provided to specify the formulation of the possible solutions of an integral equation arising from the proposed integro-differential CFBVP (1).
Proposition 1.
Let ħ X and regard constants σ ( 2 , 3 ) , q 2 , θ > 0 and K 1 , K 2 R with K 1 0 . In that case, the function ω is to be known as a solution for the CFBVP constructed by
K 1 C D 0 + σ + K 2 R I 0 + θ ω ( s ) = ħ ( s ) , ( 0 s 1 ) , ω ( 0 ) = 0 , C D 0 + 1 ω ( 0 ) = 0 , 0 1 ω ( η ) d η + 0 1 C D 0 + 1 ω ( η ) d η = 0 1 ( 1 η ) q 2 1 Γ ( q 2 ) ω ( η ) d η ,
given by the RLF-integral equation
ω ( s ) = 1 K 1 0 s ( s η ) σ 1 Γ ( σ ) ħ ( η ) d η K 2 K 1 0 s ( s η ) σ + θ 1 Γ ( σ + θ ) ω ( η ) d η + s 2 ξ K 1 [ 0 1 ( 1 η ) σ + q 2 1 Γ ( σ + q 2 ) ħ ( η ) d η 0 1 0 η ( η r ) σ 1 Γ ( σ ) ħ ( r ) d r d η 0 1 0 η ( η r ) σ 2 Γ ( σ 1 ) ħ ( r ) d r d η ] + s 2 K 2 ξ K 1 [ 0 1 ( 1 η ) σ + θ + q 2 1 Γ ( σ + θ + q 2 ) ω ( η ) d η + 0 1 0 η ( η r ) σ + θ 1 Γ ( σ + θ ) ω ( r ) d r d η + 0 1 0 η ( η r ) σ + θ 2 Γ ( σ + θ 1 ) ω ( r ) d r d η ]
in which it is assumed that
ξ : = | 4 Γ ( q 2 + 3 ) 6 3 Γ ( q 2 + 3 ) | 0 .
Proof. 
In the first stage, we proceed to assume that ω is a solution of the CFBVP (2). So, we get
K 1 C D 0 + σ + K 2 R I 0 + θ ω ( s ) = ħ ( s )
and hence
C D 0 + σ ω ( s ) = 1 K 1 ħ ( s ) K 2 K 1 R I 0 + θ ω ( s ) .
We take the RLF-integral of order σ on two sides of the above relation and we arrive at
ω ( s ) = 1 K 1 0 s ( s η ) σ 1 Γ ( σ ) ħ ( η ) d η K 2 K 1 0 s ( s η ) σ + θ 1 Γ ( σ + θ ) ω ( η ) d η + c 0 + c 1 s + c 2 s 2
in which c 0 , c 1 , c 2 R are real numbers that we have to find. It is quickly understood that c 0 = 0 by virtue of the condition ω ( 0 ) = 0 and (6). In addition, by regarding
C D 0 + 1 ω ( s ) = 1 K 1 0 s ( s η ) σ 2 Γ ( σ 1 ) ħ ( η ) d η K 2 K 1 0 s ( s η ) σ + θ 2 Γ ( σ + θ 1 ) ω ( η ) d η + c 1 + 2 c 2 s
and by virtue of the second condition C D 0 + 1 ω ( 0 ) = 0 , we get c 1 = 0 . On the other side, by keeping in mind the properties of the RLF-integral, we have
R I 0 + q 2 ω ( s ) = 1 K 1 0 s ( s η ) σ + q 2 1 Γ ( σ + q 2 ) ħ ( η ) d η K 2 K 1 0 s ( s η ) σ + θ + q 2 1 Γ ( σ + θ + q 2 ) ω ( η ) d η + 2 c 2 Γ ( q 2 + 3 ) s q 2 + 2 ,
for q 2 > 0 . Eventually, the mixed integral boundary condition
0 1 ω ( η ) d η + 0 1 C D 0 + 1 ω ( η ) d η = 0 1 ( 1 η ) q 2 1 Γ ( q 2 ) ω ( η ) d η
implies that we arrive at the following:
c 2 = 1 ξ K 1 [ 0 1 ( 1 η ) σ + q 2 1 Γ ( σ + q 2 ) ħ ( η ) d η 0 1 0 η ( η r ) σ 1 Γ ( σ ) ħ ( r ) d r d η 0 1 0 η ( η r ) σ 2 Γ ( σ 1 ) ħ ( r ) d r d η ] + K 2 ξ K 1 [ 0 1 ( 1 η ) σ + θ + q 2 1 Γ ( σ + θ + q 2 ) ω ( η ) d η + 0 1 0 η ( η r ) σ + θ 1 Γ ( σ + θ ) ω ( r ) d r d η + 0 1 0 η ( η r ) σ + θ 2 Γ ( σ + θ 1 ) ω ( r ) d r d η ] ,
so that ξ 0 is introduced as (4). Consequently, we insert all three obtained constants c 0 , c 1 , and c 2 into (6). The resulting relation shows that ω satisfies the RLF-integral Equation (3) and thus ω will be a solution for it. This finishes the argument. □
Considering Proposition 1 and the proposed nonlinear integro-differential CFBVP (1), we formulate the nonlinear operator T : X X as
( T ω ) ( s ) = 1 K 1 R I 0 + σ + q 1 ħ 1 ( s , ω ( s ) ) + 1 K 1 R I 0 + σ ħ 2 ( s , ω ( s ) ) K 2 K 1 0 s ( s η ) σ + θ 1 Γ ( σ + θ ) ω ( η ) d η + s 2 ξ K 1 [ R I 0 + σ + q 2 + q 1 ħ 1 ( 1 , ω ( 1 ) ) + R I 0 + σ + q 2 ħ 2 ( 1 , ω ( 1 ) ) 0 1 R I 0 + σ + q 1 ħ 1 ( η , ω ( η ) ) d η 0 1 R I 0 + σ ħ 2 ( η , ω ( η ) ) d η 0 1 R I 0 + σ + q 1 1 ħ 1 ( η , ω ( η ) ) d η 0 1 R I 0 + σ 1 ħ 2 ( η , ω ( η ) ) d η ] + s 2 K 2 ξ K 1 [ 0 1 ( 1 η ) σ + θ + q 2 1 Γ ( σ + θ + q 2 ) ω ( η ) d η + 0 1 0 η ( η r ) σ + θ 1 Γ ( σ + θ ) ω ( r ) d r d η + 0 1 0 η ( η r ) σ + θ 2 Γ ( σ + θ 1 ) ω ( r ) d r d η ] ,
for ω X and 0 s 1 . We give three constants which we shall employ later:
Δ ˜ ( 1 ) : = K 2 K 1 Γ ( σ + θ + 1 ) + K 2 ξ K 1 1 Γ ( σ + θ + q 2 + 1 ) + 1 Γ ( σ + θ + 2 ) + 1 Γ ( σ + θ + 1 ) , Δ ˜ ( 2 ) : = 1 K 1 Γ ( σ + 1 ) + 1 ξ K 1 1 Γ ( σ + q 2 + 1 ) + 1 Γ ( σ + 2 ) + 1 Γ ( σ + 1 ) , Δ ˜ ( 3 ) : = 1 K 1 Γ ( σ + q 1 + 1 ) + 1 ξ K 1 1 Γ ( σ + q 2 + q 1 + 1 ) + 1 Γ ( σ + q 1 + 2 ) + 1 Γ ( σ + q 1 + 1 ) .
At this moment, we can begin our argument for deriving existence factors for the existing nonlinear integro-differential CFBVP (1). To implement the procedure, we use the famous fixed-point result in the functional analysis due to Krasnosel’skiĭ.
Theorem 5.
Both single-valued maps ħ j : [ 0 , 1 ] × X X ( j = 1 , 2 ) are regarded to be continuous and further to possess the following specifications:
( C 1 )
A number L ^ > 0 exists provided that for all ω 1 , ω 2 X and 0 s 1 , the Lipschitz property | ħ 2 ( s , ω 1 ( s ) ) ħ 2 ( s , ω 2 ( s ) ) | L ^ | ω 1 ω 2 | is valid;
( C 2 )
A continuous function Φ on [ 0 , 1 ] with real values exists for which the boundedness property | ħ 1 ( s , ω ( s ) ) | Φ ( s ) holds for 0 s 1 and for each ω X .
Then the given nonlinear integro-differential CFBVP (1) includes at least one solution on [ 0 , 1 ] if Δ ˜ ( 1 ) + L ^ Δ ˜ ( 2 ) < 1 exists, where Δ ˜ ( j ) ( j = 1 , 2 ) are available in (8).
Proof. 
We introduce Φ = sup s [ 0 , 1 ] | Φ ( s ) | and B r ˜ : = { ω X : ω r ˜ } with
r ˜ Φ Δ ˜ ( 3 ) + H ^ Δ ˜ ( 2 ) 1 ( Δ ˜ ( 1 ) + L ^ Δ ˜ ( 2 ) ) ,
where H ^ : = sup s [ 0 , 1 ] | ħ 2 ( s , 0 ) | and Δ ˜ ( j ) ( j = 1 , 2 , 3 ) are represented in (8). According to the previous information, the above ball B r ˜ is a nonempty closed bounded convex set contained in the Banach space X. Along with this, we point out an operator T : X X as (7). By Proposition 1, it is apparent that the collection of the fixed points of T is the same as the possible solutions of the nonlinear integro-differential CFBVP (1). To proceed in proving this issue, we give two operators, namely, T 1 and T 2 , from B r ˜ to X which have the structures
T 1 ω ( s ) = 1 K 1 R I 0 + σ ħ 2 ( s , ω ( s ) ) K 2 K 1 0 s ( s η ) σ + θ 1 Γ ( σ + θ ) ω ( η ) d η + s 2 ξ K 1 R I 0 + σ + q 2 ħ 2 ( 1 , ω ( 1 ) ) 0 1 R I 0 + σ ħ 2 ( η , ω ( η ) ) d η 0 1 R I 0 + σ 1 ħ 2 ( η , ω ( η ) ) d η + s 2 K 2 ξ K 1 [ 0 1 ( 1 η ) σ + θ + q 2 1 Γ ( σ + θ + q 2 ) ω ( η ) d η + 0 1 0 η ( η r ) σ + θ 1 Γ ( σ + θ ) ω ( r ) d r d η + 0 1 0 η ( η r ) σ + θ 2 Γ ( σ + θ 1 ) ω ( r ) d r d η ]
and
T 2 ω ( s ) = 1 K 1 R I 0 + σ + q 1 ħ 1 ( s , ω ( s ) ) + s 2 ξ K 1 [ R I 0 + σ + q 2 + q 1 ħ 1 ( 1 , ω ( 1 ) ) 0 1 R I 0 + σ + q 1 ħ 1 ( η , ω ( η ) ) d η 0 1 R I 0 + σ + q 1 1 ħ 1 ( η , ω ( η ) ) d η ]
for 0 s 1 . Firstly, in the light of the given condition ( C 1 ) , it is definite that for each 0 s 1 ,
| ħ 2 ( s , ω ( s ) ) | | ħ 2 ( s , ω ( s ) ) ħ 2 ( s , 0 ) | + | ħ 2 ( s , 0 ) | L ^ | ω ( s ) | + H ^ .
Further, the second condition ( C 2 ) yields | ħ 1 ( s , ω ) | Φ ( s ) for 0 s 1 . In this case, for two arbitrary ω 1 , ω 2 B r ˜ , we may have
| T 1 ω 1 ( s ) + T 2 ω 2 ( s ) | 1 K 1 R I 0 + σ L ^ ω + H ^ + K 2 K 1 0 s ( s η ) σ + θ 1 Γ ( σ + θ ) ω d η + s 2 ξ K 1 R I 0 + σ + q 2 L ^ ω + H ^ + 0 1 R I 0 + σ L ^ ω + H ^ d η + 0 1 R I 0 + σ 1 L ^ ω + H ^ d η + s 2 K 2 ξ K 1 [ 0 1 ( 1 η ) σ + θ + q 2 1 Γ ( σ + θ + q 2 ) ω d η + 0 1 0 η ( η r ) σ + θ 1 Γ ( σ + θ ) ω d r d η + 0 1 0 η ( η r ) σ + θ 2 Γ ( σ + θ 1 ) ω d r d η ] + 1 K 1 R I 0 + σ + q 1 Φ + s 2 ξ K 1 R I 0 + σ + q 2 + q 1 Φ + 0 1 R I 0 + σ + q 1 Φ d η + 0 1 R I 0 + σ + q 1 1 Φ d η 1 K 1 Γ ( σ + 1 ) L ^ ω + H ^ + K 2 K 1 ( s ) σ + θ Γ ( σ + θ + 1 ) ω + 1 ξ K 1 1 Γ ( σ + q 2 + 1 ) L ^ ω + H ^ + 1 Γ ( σ + 2 ) L ^ ω + H ^ + 1 Γ ( σ + 1 ) L ^ ω + H ^ + K 2 ξ K 1 1 Γ ( σ + θ + q 2 + 1 ) ω + 1 Γ ( σ + θ + 2 ) ω + 1 Γ ( σ + θ + 1 ) ω + 1 K 1 Γ ( σ + q 1 + 1 ) Φ + 1 ξ K 1 1 Γ ( σ + q 2 + q 1 + 1 ) Φ + 1 Γ ( σ + q 1 + 2 ) Φ + 1 Γ ( σ + q 1 + 1 ) Φ = ( Δ ˜ ( 1 ) + L ^ Δ ˜ ( 2 ) ) ω 1 + Δ ˜ ( 3 ) Φ + Δ ˜ ( 2 ) H ^ ( Δ ˜ ( 1 ) + L ^ Δ ˜ ( 2 ) ) r ˜ + Δ ˜ ( 3 ) Φ + Δ ˜ ( 2 ) H ^ r ˜ .
The above obtained inequality certifies that T 1 ω 1 + T 2 ω 2 r ˜ and accordingly T 1 ω 1 + T 2 ω 2 B r ˜ for all ω 1 , ω 2 B r ˜ . The mentioned result also means that the hypothesis (th1) in Theorem 1 is valid about T 1 and T 2 . In the next stage, we confirm the contractivity of T 1 . For two arbitrary ω 1 , ω 2 B r ˜ and 0 s 1 and in the light of ( C 1 ) , we can write
| T 1 ω 1 ( s ) T 1 ω 2 ( s ) | 1 K 1 R I 0 + σ L ^ | ω 1 ( s ) ω 2 ( s ) | + K 2 K 1 0 s ( s η ) σ + θ 1 Γ ( σ + θ ) | ω 1 ( η ) ω 2 ( η ) | d η + s 2 ξ K 1 [ R I 0 + σ + q 2 L ^ | ω 1 ω 2 | + 0 1 R I 0 + σ L ^ | ω 1 ( η ) ω 2 ( η ) | d η + 0 1 R I 0 + σ 1 L ^ | ω 1 ( η ) ω 2 ( η ) | d η ] + s 2 K 2 ξ K 1 [ 0 1 ( 1 η ) σ + θ + q 2 1 Γ ( σ + θ + q 2 ) | ω 1 ( η ) ω 2 ( η ) | d η + 0 1 0 η ( η r ) σ + θ 1 Γ ( σ + θ ) | ω 1 ( r ) ω 2 ( r ) | d r d η + 0 1 0 η ( η r ) σ + θ 2 Γ ( σ + θ 1 ) | ω 1 ( r ) ω 2 ( r ) | d r d η ] = ( Δ ˜ ( 1 ) + L ^ Δ ˜ ( 2 ) ) ω 1 ω 2 .
By virtue of the hypothesis, it is apparent that Δ ˜ ( 1 ) + L ^ Δ ˜ ( 2 ) < 1 . Therefore we find that T 1 possesses the important property of contractivity and thus the second condition (th2) in Theorem 1 holds about T 1 .
Next, we focus on the continuity of T 2 . Toward this purpose, we regard { ω n } n 1 as a sequence contained in the defined ball B r ˜ so that ω n goes to ω . In this case, for 0 s 1 , we get that
| T 2 ω n ( s ) T 2 ω ( s ) | K 2 K 1 Γ ( σ + θ + 1 ) | ħ 1 ( s , ω n ( s ) ) ħ 1 ( s , ω ( s ) ) | + K 2 ξ K 1 [ 1 Γ ( σ + θ + q 2 + 1 ) | ħ 1 ( s , ω n ( s ) ) ħ 1 ( s , ω ( s ) ) | + 1 Γ ( σ + θ + 2 ) | ħ 1 ( s , ω n ( s ) ) ħ 1 ( s , ω ( s ) ) | + 1 Γ ( σ + θ + 1 ) | ħ 1 ( s , ω n ( s ) ) ħ 1 ( s , ω ( s ) ) | ] .
On the other side, note that the map ħ 1 is continuous on [ 0 , 1 ] × X . Hence we observe that T 2 ω n T 2 ω goes to 0 when ω n ω . Consequently, we perceive that T 2 is continuous on B r ˜ . Next, we survey the compactness of T 2 . To accomplish this purpose, we first have to survey the uniform boundedness of T 2 . For ω B r ˜ and 0 s 1 , we estimate
| T 2 ω ( s ) | 1 K 1 R I 0 + σ + q 1 | ħ 1 ( s , ω ( s ) ) | + s 2 ξ K 1 [ R I 0 + σ + q 2 + q 1 | ħ 1 ( 1 , ω ( 1 ) ) | + 0 1 R I 0 + σ + q 1 | ħ 1 ( η , ω ( η ) ) | d η + 0 1 R I 0 + σ + q 1 1 | ħ 1 ( η , ω ( η ) ) | d η ] Φ 1 K 1 Γ ( σ + q 1 + 1 ) + 1 ξ K 1 1 Γ ( σ + q 2 + q 1 + 1 ) + 1 Γ ( σ + q 1 + 2 ) + 1 Γ ( σ + q 1 + 1 ) = Δ ˜ ( 3 ) Φ ,
which displays that T 2 ω Δ ˜ ( 3 ) Φ and ergo T 2 includes the property of the uniform boundedness. Furthermore, we assert that T 2 is equi-continuous. To reach this goal, we select two arbitrary variables 0 s , x 1 subject to s < x . In fact, we assert that bounded sets are mapped to equi-continuous sets by T 2 . Thus, for any ω B r ˜ , we reach
| T 2 ω ( x ) T 2 ω ( s ) | 1 K 1 0 s ( x r ) σ + q 1 1 ( s r ) σ + q 1 1 Γ ( σ + q 1 ) ħ 1 ( r , ω ( r ) ) d r + s x ( x r ) σ + q 1 1 Γ ( σ + q 1 ) ħ 1 ( r , ω ( r ) ) d r + ( x 2 s 2 ) ξ K 1 R I 0 + σ + q 2 + q 1 ħ 1 ( 1 , ω ( 1 ) ) + 0 1 R I 0 + σ + q 1 ħ 1 ( η , ω ( η ) ) d η + 0 1 R I 0 + σ + q 1 1 ħ 1 ( η , ω ( η ) ) d η Φ K 1 0 s ( x r ) σ + q 1 1 ( s r ) σ + q 1 1 Γ ( σ + q 1 ) d r + s x ( x r ) σ + q 1 1 Γ ( σ + q 1 ) d r + ( x 2 s 2 ) Φ ξ K 1 R I 0 + σ + q 2 + q 1 ( 1 ) + 0 1 R I 0 + σ + q 1 ( 1 ) d η + 0 1 R I 0 + σ + q 1 1 ( 1 ) d η .
The R.H.S of the above is not dependent on ω B r ˜ and goes to zero by tending s to x. As a result, we find that T 2 is equi-continuous. Finally, it is perceived that T 2 involves the property of relative compactness on ω B r ˜ and thus the Arzelà–Ascoli result expresses that T 2 is completely continuous and finally is compact on the defined ball ω B r ˜ . Accordingly, the condition (th3) in Theorem 1 is met regarding the operator T 2 . Thereupon, all information for Theorem 1 is established for two existing single-valued maps T 1 and T 2 . Consequently, Theorem 1 guarantees that the formulated nonlinear integro-differential CFBVP (1) involves a solution on [ 0 , 1 ] and the argument is ended. □
The Leray–Schauder nonlinear alternative result is a further deductive tool for which we are able to extract desired criteria of existence for the aforementioned nonlinear integro-differential CFBVP (1).
Theorem 6.
Regard ħ j : [ 0 , 1 ] × X X ( j = 1 , 2 ) as two continuous maps equipped with the following clauses:
( C 3 )
Υ 1 , Υ 2 C ( [ 0 , 1 ] , R + ) along with two continuous nondecreasing maps N 1 , N 2 : [ 0 , ) ( 0 , ) exist provided for all ( s , ω ) [ 0 , 1 ] × X ,
| ħ 2 ( s , ω ) | Υ 1 ( s ) N 1 ( | ω | ) and | ħ 1 ( s , ω ) | Υ 2 ( s ) N 2 ( | ω | ) ;
( C 4 )
A number ε > 0 exists provided that Δ ˜ ( 1 ) < 1 and
( 1 Δ ˜ ( 1 ) ) ε Δ ˜ ( 2 ) Υ 1 N 1 ( ε ) + Δ ˜ ( 3 ) Υ 2 N 2 ( ε ) > 1 ,
where Δ ˜ ( k ) ( k = 1 , 2 , 3 ) are displayed in (8).
Then the nonlinear integro-differential CFBVP (1) involves a solution on [ 0 , 1 ] .
Proof. 
To arrive at required result, we establish all information of the Leray–Schauder nonlinear alternative (Theorem 2) in the steps ahead. First, we check that the operator T exhibited as (7) corresponds bounded sets (i.e., balls) into ones contained in X. For R ˜ R + , a bounded ball B R ˜ = { ω X : ω R ˜ } is constructed in X. In this phase, for any 0 s 1 and in the light of ( C 3 ) , we get that
| T ω ( s ) | 1 K 1 R I 0 + σ + q 1 Υ 2 N 2 ( ω ) + 1 K 1 R I 0 + σ Υ 1 N 1 ( ω ) + K 2 K 1 0 s ( s η ) σ + θ 1 Γ ( σ + θ ) ω d η + s 2 ξ K 1 [ R I 0 + σ + q 2 + q 1 Υ 2 N 2 ( ω ) + R I 0 + σ + q 2 Υ 1 N 1 ( ω ) + 0 1 R I 0 + σ + q 1 Υ 2 N 2 ( ω ) d η + 0 1 R I 0 + σ Υ 1 N 1 ( ω ) d η 0 1 R I 0 + σ + q 1 1 Υ 2 N 2 ( ω ) d η + 0 1 R I 0 + σ 1 Υ 1 N 1 ( ω ) d η ] + s 2 K 2 ξ K 1 [ 0 1 ( 1 η ) σ + θ + q 2 1 Γ ( σ + θ + q 2 ) ω d η + 0 1 0 η ( η r ) σ + θ 1 Γ ( σ + θ ) ω d r d η + 0 1 0 η ( η r ) σ + θ 2 Γ ( σ + θ 1 ) ω d r d η ] = Δ ˜ ( 1 ) ω + Δ ˜ ( 2 ) Υ 1 N 1 ( ω ) + Δ ˜ ( 3 ) Υ 2 N 2 ( ω ) .
Thus, from the above relations, we comprehend that
T ω Δ ˜ ( 1 ) R ˜ + Δ ˜ ( 2 ) Υ 1 N 1 ( R ˜ ) + Δ ˜ ( 3 ) Υ 2 N 2 ( R ˜ ) .
The obtained inequality states that the operator T involves the uniform boundedness specification. In the further stage, we implement an argument for verifying this issue where T maps bounded subsets (i.e., balls) into equi-continuous ones in X. To view this goal, select s , x [ 0 , 1 ] arbitrarily subject to s < x and ω B R ˜ . In that case, we can estimate
| T ω ( x ) T ω ( s ) | Υ 2 N 2 ( ω ) K 1 Γ ( σ + q 1 ) 0 s ( x r ) σ + q 1 1 ( s r ) σ + q 1 1 d r + s x ( x r ) σ + q 1 1 d r + Υ 1 N 1 ( ω ) K 1 Γ ( σ ) 0 s ( x r ) σ 1 ( s r ) σ 1 d r + s x ( x r ) σ 1 d r + K 2 R ˜ K 1 Γ ( σ + θ ) 0 s ( x r ) σ + θ 1 ( s r ) σ + θ 1 d r + s x ( x r ) σ + θ 1 d r + x 2 s 2 ξ K 1 [ R I 0 + σ + q 2 + q 1 Υ 2 N 2 ( ω ) + R I 0 + σ + q 2 Υ 1 N 1 ( ω ) + 0 1 R I 0 + σ + q 1 Υ 2 N 2 ( ω ) d η + 0 1 R I 0 + σ Υ 1 N 1 ( ω ) d η + 0 1 R I 0 + σ + q 1 1 Υ 2 N 2 ( ω ) d η + 0 1 R I 0 + σ 1 Υ 1 N 1 ( ω ) d η ] + ( x 2 s 2 ) K 2 ξ K 1 [ 0 1 ( 1 η ) σ + θ + q 2 1 Γ ( σ + θ + q 2 ) R ˜ d η + 0 1 0 η ( η r ) σ + θ 1 Γ ( σ + θ ) R ˜ d r d η + 0 1 0 η ( η r ) σ + θ 2 Γ ( σ + θ 1 ) R ˜ d r d η ] Υ 2 N 2 ( R ˜ ) K 1 Γ ( σ + q 1 ) 0 s ( x r ) σ + q 1 1 ( s r ) σ + q 1 1 d r + s x ( x r ) σ + q 1 1 d r + Υ 1 N 1 ( R ˜ ) K 1 Γ ( σ ) 0 s ( x r ) σ 1 ( s r ) σ 1 d r + s x ( x r ) σ 1 d r + K 2 R ˜ K 1 Γ ( σ + θ ) 0 s ( x r ) σ + θ 1 ( s r ) σ + θ 1 d r + s x ( x r ) σ + θ 1 d r + x 2 s 2 ξ K 1 [ R I 0 + σ + q 2 + q 1 Υ 2 N 2 ( R ˜ ) + R I 0 + σ + q 2 Υ 1 N 1 ( R ˜ ) + 0 1 R I 0 + σ + q 1 Υ 2 N 2 ( R ˜ ) d η + 0 1 R I 0 + σ Υ 1 N 1 ( R ˜ ) d η + 0 1 R I 0 + σ + q 1 1 Υ 2 N 2 ( R ˜ ) d η + 0 1 R I 0 + σ 1 Υ 1 N 1 ( R ˜ ) d η ] + ( x 2 s 2 ) K 2 ξ K 1 [ 0 1 ( 1 η ) σ + θ + q 2 1 Γ ( σ + θ + q 2 ) R ˜ d η + 0 1 0 η ( η r ) σ + θ 1 Γ ( σ + θ ) R ˜ d r d η + 0 1 0 η ( η r ) σ + θ 2 Γ ( σ + θ 1 ) R ˜ d r d η ] .
We discover that the R.H.S of the above is not dependent on ω B R ˜ and also goes to zero by tending s to x. As a result, T is equi-continuous and ergo the complete continuity of T : X X is validated with the help of the Arzelà–Ascoli result. Consequently, G is compact.
Finally, for the sake of holding all clauses of the Leray–Schauder nonlinear result (Theorem 2), we corroborate that the collection of all existing solutions of an equation ω = a ^ ( T ω ) is bounded for a ^ [ 0 , 1 ] . To view this, we regard ω as a solution for the equation ω = a ^ T ω for a ^ [ 0 , 1 ] . In that case, by employing the argument used in the first stage for all s [ 0 , 1 ] , we reach
ω Δ ˜ ( 1 ) ω + Δ ˜ ( 2 ) Υ 1 N 1 ( ω ) + Δ ˜ ( 3 ) Υ 2 N 2 ( ω ) .
In this phase, we have
( 1 Δ ˜ ( 1 ) ) ω Δ ˜ ( 2 ) Υ 1 N 1 ( ω ) + Δ ˜ ( 3 ) Υ 2 N 2 ( ω ) 1 .
With regard to the hypothesis ( C 4 ) , one can pick up a real number ε > 0 provided ω ε . On the other side, we introduce
W = { ω X : ω < ε } .
It is easy to see that T : W ¯ X possesses the properties of continuity and complete continuity. With regard to this selection of W , we cannot find ω W which satisfies ω = a ^ ( T ω ) for some a ^ ( 0 , 1 ) . Finally, by Theorem 2, we conclude that the operator T contains a fixed point attached to the ball W ¯ . Accordingly, there exists a solution leastwise on [ 0 , 1 ] for the nonlinear integro-differential CFBVP (1) and so our proof is ended. □
This portion of the current section aims to concentrate on the criterion of the uniqueness for possible solutions of the aforesaid nonlinear integro-differential CFBVP (1) with regard to the Banach principle (Theorem 3).
Theorem 7.
Suppose the function ħ 2 : [ 0 , 1 ] × X X satisfies ( C 1 ) and the following holds for ħ 1 : [ 0 , 1 ] × X X as:
( C 5 )
A number R R + exists so that for all ω 1 , ω 2 X , we have
| ħ 1 ( s , ω 1 ) ħ 1 ( s , ω 2 ) | R | ω 1 ω 2 | , ( s [ 0 , 1 ] ) .
In that case, a solution exists on [ 0 , 1 ] uniquely for the nonlinear integro-differential CFBVP (1) provided that Δ ˜ ( 1 ) + L ^ Δ ˜ ( 2 ) + R Δ ˜ ( 3 ) < 1 , where Δ ˜ ( j ) ( j = 1 , 2 , 3 ) are displayed in (8).
Proof. 
By invoking Theorem 3, we confirm that T : X X displayed by (7) possesses a fixed point uniquely which is equivalent to the existence of a solution unique for the aforementioned nonlinear integro-differential CFBVP (1). By adopting sup s [ 0 , 1 ] | ħ 2 ( s , 0 ) | = H ^ < and sup s [ 0 , 1 ] | ħ 1 ( s , 0 ) | = G ^ < and picking up d ˜ > 0 provided
d ˜ G ^ Δ ˜ ( 3 ) + H ^ Δ ˜ ( 2 ) 1 ( Δ ˜ ( 1 ) + L ^ Δ ˜ ( 2 ) + R Δ ˜ ( 3 ) )
along with a bounded ball B d ˜ = { ω X : ω d ˜ } , we assert that T ( B d ˜ ) B d ˜ . By choosing ω B d ˜ arbitrarily and with the help of ( C 1 ) and ( C 5 ) , we have
T ω 1 K 1 R I 0 + σ L ^ ω + H ^ + K 2 K 1 0 s ( s η ) σ + θ 1 Γ ( σ + θ ) ω d η + s 2 ξ K 1 R I 0 + σ + q 2 L ^ ω + H ^ + 0 1 R I 0 + σ L ^ ω + H ^ d η + 0 1 R I 0 + σ 1 L ^ ω + H ^ d η + s 2 K 2 ξ K 1 [ 0 1 ( 1 η ) σ + θ + q 2 1 Γ ( σ + θ + q 2 ) ω d η + 0 1 0 η ( η r ) σ + θ 1 Γ ( σ + θ ) ω d r d η + 0 1 0 η ( η r ) σ + θ 2 Γ ( σ + θ 1 ) ω d r d η ] + 1 K 1 R I 0 + σ + q 1 R ω + G ^ + s 2 ξ K 1 [ R I 0 + σ + q 2 + q 1 R ω + G ^ + 0 1 R I 0 + σ + q 1 R ω + G ^ d η + 0 1 R I 0 + σ + q 1 1 R ω + G ^ d η ] ( Δ ˜ ( 1 ) + L ^ Δ ˜ ( 2 ) + R Δ ˜ ( 3 ) ) d ˜ + Δ ˜ ( 3 ) G ^ + Δ ˜ ( 2 ) H ^ < d ˜ .
In the light of the above outcome, it can be seen that the aforementioned assertion holds, and so we get that T ( B d ˜ ) B d ˜ . To validate the fact that T : X X introduced by (7) is a contraction, take that 0 s 1 and ω 1 , ω 2 X are arbitrary. In the current place, with regard to some direct calculations, we can simply comprehend that
( T ω 1 ) ( T ω 2 ) ( Δ ˜ ( 1 ) + L ^ Δ ˜ ( 2 ) + R Δ ˜ ( 3 ) ) ω 1 ω 2 .
In conclusion, the hypothesis Δ ˜ ( 1 ) + L ^ Δ ˜ ( 2 ) + R Δ ˜ ( 3 ) < 1 indicates that T is a contraction. Therefore, the statement of Theorem 3 reveals that T involves a fixed point uniquely. Consequently, a solution exists uniquely for the nonlinear integro-differential CFBVP (1) and this completes our proof. □

Dependence of Solutions: A Special Case

Here, we consider the dependence of solutions for a particular case of the given integro-differential CFBVP (1). To do this, we apply the generalized version of the Gronwall inequality. In precise terms, we take K 2 = 0 and ħ 2 0 . In this phase, we arrive at a new standard integro-differential CFBVP which takes the format
C D 0 + σ ω ( s ) = 1 K 1 R I 0 + q 1 ħ 1 ( s , ω ( s ) ) , ( 0 s 1 ) , ω ( 0 ) = 0 , C D 0 + 1 ω ( 0 ) = 0 , 0 1 ω ( η ) d η + 0 1 C D 0 + 1 ω ( η ) d η = 0 1 ( 1 η ) q 2 1 Γ ( q 2 ) ω ( η ) d η .
By invoking Proposition 1, it is easy to find that the solution of (9) takes the form
ω ( s ) = 1 K 1 0 s ( s η ) σ + q 1 1 Γ ( σ + q 1 ) ħ 1 ( η , ω ( η ) ) d η + s 2 ξ K 1 [ 0 1 ( 1 η ) σ + q 2 + q 1 1 Γ ( σ + q 2 + q 1 ) ħ 1 ( η , ω ( η ) ) d η 0 1 0 η ( η r ) σ + q 1 1 Γ ( σ + q 1 ) ħ 1 ( r , ω ( r ) ) d r d η 0 1 0 η ( η r ) σ + q 1 2 Γ ( σ + q 1 1 ) ħ 1 ( r , ω ( r ) ) d r d η ] ,
in which it is assumed that
ξ : = | 4 Γ ( q 2 + 3 ) 6 3 Γ ( q 2 + 3 ) | 0 .
Corollary 1.
Suppose that the condition ( C 5 ) is fulfilled for ħ 1 : [ 0 , 1 ] × X X . Then, a solution exists on [ 0 , 1 ] uniquely for the nonlinear integro-differential CFBVP (9) subject to R Δ ˜ ( 3 ) < 1 , where Δ ˜ ( 3 ) is displayed in (8).
Proof. 
With due attention to Theorem 3, it is easy to check that T : X X illustrated by
( T ω ) ( s ) = 1 K 1 0 s ( s η ) σ + q 1 1 Γ ( σ + q 1 ) ħ 1 ( η , ω ( η ) ) d η + s 2 ξ K 1 [ 0 1 ( 1 η ) σ + q 2 + q 1 1 Γ ( σ + q 2 + q 1 ) ħ 1 ( η , ω ( η ) ) d η 0 1 0 η ( η r ) σ + q 1 1 Γ ( σ + q 1 ) ħ 1 ( r , ω ( r ) ) d r d η 0 1 0 η ( η r ) σ + q 1 2 Γ ( σ + q 1 1 ) ħ 1 ( r , ω ( r ) ) d r d η ]
admits one and exactly one fixed point which corresponds to a unique solution of (9). Adopt sup s [ 0 , 1 ] | ħ 1 ( s , 0 ) | = G ^ < and select d ˜ > 0 so that
d ˜ G ^ Δ ˜ ( 3 ) 1 R Δ ˜ ( 3 )
and build a bounded ball B d ˜ = { ω X : ω d ˜ } . By a similar argument as in the proof of Theorem 7, we get T ( B d ˜ ) B d ˜ , and for each ω 1 , ω 2 X , we obtain
( T ω 1 ) ( T ω 2 ) R Δ ˜ ( 3 ) ω 1 ω 2 ,
which confirms that T is a contraction because R Δ ˜ ( 3 ) < 1 . Therefore, Theorem 3 states that T involves one and exactly one fixed point on its domain. So, a solution exists uniquely for the nonlinear integro-differential CFBVP (9). □
Now, the dependence of solutions to the nonlinear integro-differential CFBVP (9) is studied by making a small change in the order σ . To reach this aim, we are helped by the generalized version of the Gronwall inequality. For more details, see [26,43].
Theorem 8.
Let δ > 0 so that 2 < σ δ < σ < 3 . Let ħ 1 : [ 0 , 1 ] × X X be continuous and let there be > 0 subject to
| ħ 1 s , ω ( s ) ħ 1 s , ω ( s ) | | ω ( s ) ω ( s ) |
for each ω , ω X and s [ 0 , 1 ] . Further, assume ω and ω ¯ are solutions of the nonlinear integro-differential CFBVP (9) and the integro-differential CFBVP
C D 0 + σ δ ω ¯ ( s ) = 1 K 1 R I 0 + q 1 ħ 1 ( s , ω ¯ ( s ) ) , ( 0 s 1 ) , ω ¯ ( 0 ) = 0 , C D 0 + 1 ω ¯ ( 0 ) = 0 , 0 1 ω ¯ ( η ) d η + 0 1 C D 0 + 1 ω ¯ ( η ) d η = 0 1 ( 1 η ) q 2 1 Γ ( q 2 ) ω ¯ ( η ) d η ,
respectively. Then, the following inequality is fulfilled:
ω ω ¯ X E + E m = 1 m K 1 m Γ ( m ( ( σ δ ) + q 1 ) + 1 ) 1 W W m = 1 m K 1 m Γ ( m ( ( σ δ ) + q 1 ) + 1 )
so that W + W m = 1 m K 1 m Γ ( m ( ( σ δ ) + q 1 ) + 1 ) < 1 , in which
E = ħ 1 X K 1 | 1 Γ ( σ + q 1 + 1 ) 1 Γ ( ( σ δ ) + q 1 + 1 ) | + ħ 1 X ξ K 1 [ | 1 Γ ( σ + q 2 + q 1 + 1 ) 1 Γ ( ( σ δ ) + q 2 + q 1 + 1 ) | + | 1 Γ ( σ + q 1 + 2 ) 1 Γ ( ( σ δ ) + q 1 + 2 ) | + | 1 Γ ( σ + q 1 + 1 ) 1 Γ ( ( σ δ ) + q 1 + 1 ) | ]
and
W = 1 ξ K 1 1 Γ ( ( σ δ ) + q 2 + q 1 + 1 ) + 1 Γ ( ( σ δ ) + q 1 + 2 ) + 1 Γ ( ( σ δ ) + q 1 + 1 )
and ħ 1 X = sup s [ 0 , 1 ] | ħ 1 s , ω ( s ) | .
Proof. 
First, obviously, Corollary 1 ensures the existence of solutions for two integro-differential CFBVPs (9) and (12), and these solutions are given in the formats (10) and
ω ¯ ( s ) = 1 K 1 0 s ( s η ) ( σ δ ) + q 1 1 Γ ( ( σ δ ) + q 1 ) ħ 1 ( η , ω ¯ ( η ) ) d η + s 2 ξ K 1 [ 0 1 ( 1 η ) ( σ δ ) + q 2 + q 1 1 Γ ( ( σ δ ) + q 2 + q 1 ) ħ 1 ( η , ω ¯ ( η ) ) d η 0 1 0 η ( η r ) ( σ δ ) + q 1 1 Γ ( ( σ δ ) + q 1 ) ħ 1 ( r , ω ¯ ( r ) ) d r d η 0 1 0 η ( η r ) ( σ δ ) + q 1 2 Γ ( ( σ δ ) + q 1 1 ) ħ 1 ( r , ω ¯ ( r ) ) d r d η ] ,
respectively. In this case, the following estimate for ω ω ¯ is computed as
| ω ( s ) ω ¯ ( s ) | | 1 K 1 0 s ( s η ) σ + q 1 1 Γ ( σ + q 1 ) ( s η ) ( σ δ ) + q 1 1 Γ ( ( σ δ ) + q 1 ) ħ 1 ( η , ω ( η ) ) d η | + 1 K 1 0 s ( s η ) ( σ δ ) + q 1 1 Γ ( ( σ δ ) + q 1 ) | ħ 1 ( η , ω ( η ) ) ħ 1 ( η , ω ¯ ( η ) ) | d η + s 2 ξ K 1 [ | 0 1 ( 1 η ) σ + q 2 + q 1 1 Γ ( σ + q 2 + q 1 ) ( 1 η ) ( σ δ ) + q 2 + q 1 1 Γ ( ( σ δ ) + q 2 + q 1 ) ħ 1 ( η , ω ( η ) ) d η | + 0 1 ( 1 η ) ( σ δ ) + q 2 + q 1 1 Γ ( ( σ δ ) + q 2 + q 1 ) | ħ 1 ( η , ω ( η ) ) ħ 1 ( η , ω ¯ ( η ) ) | d η + | 0 1 0 η ( η r ) σ + q 1 1 Γ ( σ + q 1 ) ( η r ) ( σ δ ) + q 1 1 Γ ( ( σ δ ) + q 1 ) ħ 1 ( r , ω ( r ) ) d r | + 0 1 0 η ( η r ) ( σ δ ) + q 1 1 Γ ( ( σ δ ) + q 1 ) | ħ 1 ( r , ω ( r ) ) ħ 1 ( r , ω ¯ ( r ) ) | d r + | 0 1 0 η ( η r ) σ + q 1 2 Γ ( σ + q 1 1 ) ( η r ) ( σ δ ) + q 1 2 Γ ( ( σ δ ) + q 1 1 ) ħ 1 ( r , ω ( r ) ) d r | + 0 1 0 η ( η r ) ( σ δ ) + q 1 2 Γ ( ( σ δ ) + q 1 1 ) | ħ 1 ( r , ω ( r ) ) ħ 1 ( r , ω ¯ ( r ) ) | d r ] E + W ω ω ¯ X + 0 s ( s η ) ( σ δ ) + q 1 1 K 1 Γ ( ( σ δ ) + q 1 ) | ω ( η ) ω ¯ ( η ) | d η ,
where E and W are illustrated by (13) and (14). Therefore, by the generalized version of the Gronwall inequality (Theorem 4) and by letting ω ^ ( s ) = | ω ( s ) ω ¯ ( s ) | , u ( s ) = E + W ω ω ¯ X and ψ ( s ) = K 1 Γ ( ( σ δ ) + q 1 ) , we reach
ω ^ ( s ) u ( s ) + ψ ( s ) 0 s ( s η ) ( σ δ ) + q 1 1 ω ^ ( η ) d η .
The generalized version of the Gronwall inequality yields
ω ^ ( s ) u ( s ) + 0 s m = 1 ψ ( s ) Γ ( ( σ δ ) + q 1 ) m Γ ( m ( ( σ δ ) + q 1 ) ) ( s η ) m ( ( σ δ ) + q 1 ) 1 u ( η ) d η ,
and so
| ω ( s ) ω ¯ ( s ) | E + W ω ω ¯ X + 0 s m = 1 m ( s η ) m ( ( σ δ ) + q 1 ) 1 K 1 m Γ ( m ( ( σ δ ) + q 1 ) ) E + W ω ω ¯ X d η .
Consequently, we get
ω ω ¯ X E + E m = 1 m K 1 m Γ ( m ( ( σ δ ) + q 1 ) + 1 ) 1 W W m = 1 m K 1 m Γ ( m ( ( σ δ ) + q 1 ) + 1 )
and this ends the argument. □

4. Some Examples for Simulation

Here we aim to collect three examples for the simulation of the conditions of the above three theorems. With the help of these special numerical examples, we validate theoretical outcomes according to the methods implemented in the theorems.
Example 1.
(For illustrating Theorem 5) With regard to the designed construction for the nonlinear integro-differential CFBVP (1), we here suggest the following special FBVP as
2020 2019 C D 0 + 2.88 + 2021 2022 R I 0 + 0.33 ω ( s ) = R I 0 + 0.44 sin ω ( s ) ( 2 + s 2 ) 4 + 2 | arctan ω ( s ) | 5 | arctan ω ( s ) | + 5 + 2023 s , ( 0 s 1 ) , ω ( 0 ) = 0 , C D 0 + 1 ω ( 0 ) = 0 , 0 1 ω ( η ) d η + 0 1 C D 0 + 1 ω ( η ) d η = 0 1 ( 1 η ) 0.45 Γ ( 0.55 ) ω ( η ) d η .
The parameters K 1 = 2020 2019 , K 2 = 2021 2020 , σ = 2.88 , q 1 = 0.44 , q 2 = 0.55 , and θ = 0.33 are supposed by considering the above suggested CFBVP. In addition to these, continuous functions ħ 1 , ħ 2 : [ 0 , 1 ] × R R are regarded as
ħ 1 ( s , ω ( s ) ) = sin ω ( s ) ( 4 + s ) 2 , ħ 2 ( s , ω ( s ) ) = 2 | arctan ω ( s ) | 5 | arctan ω ( s ) | + 5 + 2023 s .
It is considered that for any ω 1 , ω 2 R , we have
| ħ 2 ( s , ω 1 ) ħ 2 ( s , ω 2 ) | | 2 | arctan ω 1 ( s ) | 5 | arctan ω 1 ( s ) | + 5 2 | arctan ω 2 ( s ) | 5 | arctan ω 2 ( s ) | + 5 | 2 5 | arctan ω 1 ( s ) arctan ω 2 ( s ) | 2 5 | ω 1 ( s ) ω 2 ( s ) | .
Hence we get | ħ 2 ( s , ω 1 ) ħ 2 ( s , ω 2 ) | 2 5 | ω 1 ( s ) ω 2 ( s ) | and it is found out that L ^ = 2 5 > 0 . On the other side, a continuous function Φ ( s ) = 1 ( 2 + s 2 ) 4 exists on [ 0 , 1 ] provided that an inequality | ħ 1 ( s , ω ( s ) ) | | sin ω ( s ) ( 4 + s ) 2 | Φ ( s ) is valid for all ω R . In that phase, we obtain Φ = sup s [ 0 , 1 ] Φ ( s ) = 0.0625 . With regard to the above parameters, it can be quickly obtained that ξ 0.7641 , Δ ˜ ( 1 ) 0.4107 , Δ ˜ ( 2 ) 0.6353 , and Δ ˜ ( 3 ) 0.3532 . Accordingly,
Δ ˜ ( 1 ) + L ^ Δ ˜ ( 2 ) 0.6648 < 1 .
It can be concluded that all assertions of Theorem 5 hold for the suggested CFBVP (15). As a result, the statement of Theorem 5 reveals that the nonlinear integro-differential CFBVP (15) contains a solution on [ 0 , 1 ] .
Example 2.
(For illustrating Theorem 6) With regard to the designed construction for the nonlinear integro-differential CFBVP (1), we here suggest another special CFBVP as
2000 1979 C D 0 + 2.23 + 2020 2030 R I 0 + 1.33 ω ( s ) = R I 0 + 1.44 1 s 2 + 2 1 + | sin ω ( s ) | 1 + | sin ω ( s ) | + 1 16 + s 2 cos ω ( s ) + | ω ( s ) | 1 + | ω ( s ) | , ω ( 0 ) = 0 , C D 0 + 1 ω ( 0 ) = 0 , 0 1 ω ( η ) d η + 0 1 C D 0 + 1 ω ( η ) d η = 0 1 ( 1 η ) 0.55 Γ ( 1.55 ) ω ( η ) d η .
The parameters K 1 = 2020 1979 , K 2 = 2020 2030 , σ = 2.23 , q 1 = 1.44 , q 2 = 1.55 , and θ = 1.33 are supposed according to the above suggested CFBVP (16). Along with these, the functions ħ 1 , ħ 2 : [ 0 , 1 ] × R R illustrated as
ħ 1 ( s , ω ( s ) ) = 1 s 2 + 2 1 + | sin ω ( s ) | 1 + | sin ω ( s ) |
and
ħ 2 ( s , ω ( s ) ) = 1 16 + s 2 | ω ( s ) | 1 + | ω ( s ) | + cos ω ( s )
are continuous on [ 0 , 1 ] . Apparently, the following inequalities hold
| ħ 1 ( s , ω ( s ) ) | 1 s 2 + 2 ( 1 + ω ) , | ħ 2 ( s , ω ( s ) ) | 1 16 + s 2 ( 1 + ω ) .
Set Υ 1 ( s ) = 1 16 + s 2 and Υ 2 ( s ) = 1 s 2 + 2 and N 1 ( ω ) = N 2 ( ω ) = 1 + ω . Note that Υ 1 = 1 4 = 0.25 , Υ 2 = 1 2 = 0.5 and N 1 ( ε ) = N 2 ( ε ) = 1 + ε . By invoking the above parameters, we reach ξ 1.1730 , Δ ˜ ( 1 ) 0.1646 < 1 , Δ ˜ ( 2 ) 0.8870 , and Δ ˜ ( 3 ) 0.1410 . Therefore, in the light of ( C 4 ) , we arrive at ε > 2.3359 . We find that all statements of Theorem 6 are valid for the CFBVP (16). Consequently, with regard to Theorem 6, the nonlinear integro-differential CFBVP (16) contains a solution on [ 0 , 1 ] .
Example 3.
(For illustrating Theorem 7) With regard to the designed construction for the nonlinear integro-differential CFBVP (1), we prepare the third special CFBVP as
0.9 C D 0 + 2.44 + 0.5 R I 0 + 2.33 ω ( s ) = R I 0 + 3.44 exp ( s 2 ) + | ω ( s ) | 2 + 2 | ω ( s ) | + | sin ( s ) | | ω ( s ) | 4 | ω ( s ) | + 4 , ω ( 0 ) = 0 , C D 0 + 1 ω ( 0 ) = 0 , 0 1 ω ( η ) d η + 0 1 C D 0 + 1 ω ( η ) d η = 0 1 ( 1 η ) 1.55 Γ ( 2.55 ) ω ( η ) d η .
The parameters K 1 = 0.9 , K 2 = 0.5 , σ = 2.44 , q 1 = 3.44 , q 2 = 2.55 , and θ = 2.33 are supposed according to the above suggested CFBVP (17). Besides, functions ħ 1 , ħ 2 : [ 0 , 1 ] × R R displayed as
ħ 1 ( s , ω ( s ) ) = exp ( s 2 ) + | ω ( s ) | 2 + 2 | ω ( s ) | , ħ 2 ( s , ω ( s ) ) = | sin ( s ) | | ω ( s ) | 4 | ω ( s ) | + 4
are assumed to be continuous on the relevant domain [ 0 , 1 ] . Then we arrive at values L ^ = 0.25 and R = 0.5 , since we can easily compute that
| ħ 1 ( s , ω 1 ( 1 ) ) ħ 2 ( s , ω 2 ( s ) ) | 0.5 ( | ω 1 ( s ) ω 2 ( s ) | )
and
| ħ 2 ( s , ω 1 ( s ) ) ω 2 ( s , ω 2 ( s ) ) | 0.25 ( | ω 1 ( s ) ω 2 ( s ) | ) .
Finally, by taking into account the above constants, we find that ξ 1.2981 and
Δ ˜ ( 1 ) + L ^ Δ ˜ ( 2 ) + R Δ ˜ ( 3 ) 0.1848 < 1 .
Accordingly, we comprehend that all statements of Theorem 7 are satisfied for the aforesaid CFBVP (17). In conclusion, with regard to Theorem 7, the nonlinear integro-differential CFBVP (17) possesses a solution on the domain [ 0 , 1 ] .

5. Conclusions

In the current research, we designed a general boundary value problem in the Caputo fractional integro-differential setting (1) with two different orders θ and q 1 . In addition, we considered mixed integro-derivative boundary conditions which include general and new structures, and the right-hand side of the equation is considered a sum of two nonlinear terms. It is obvious that if we take K 2 = 0 and ħ 2 0 , then our problem is transformed into the standard integro-differential equation
C D 0 + σ ω ( s ) = 1 K 1 R I 0 + q 1 ħ 1 ( s , ω ( s ) ) , ( 0 s 1 ) , ω ( 0 ) = 0 , C D 0 + 1 ω ( 0 ) = 0 , 0 1 ω ( η ) d η + 0 1 C D 0 + 1 ω ( η ) d η = 0 1 ( 1 η ) q 2 1 Γ ( q 2 ) ω ( η ) d η .
To be more specific, if we take θ = q 1 = 0 , K 2 = 1 , and ħ 2 0 , then for 0 < μ < 1 , we have the fractional pantograph differential equation C D 0 + σ ω ( s ) = 1 K 1 ω ( s ) + 1 K 1 ħ 1 ( s , ω ( μ s ) ) with integral boundary conditions given by (1). On the other side, by assuming θ = 0 and ħ 2 0 , a simple form of the fractional Langevin integro-differential equation is derived as K 1 C D 0 + σ + K 2 ω ( s ) = R I 0 + q 1 ħ 1 ( s , ω ( s ) ) . By some direct computations, we derived an integral equation corresponding to the given CFBVP and investigated existence results for solutions of the given problem (1) in three distinct cases. Indeed, in the two first cases, we proved the existence results by means of the Krasnosel’skiĭ and Leray–Schauder fixed point theorems, and in the third case, we checked the uniqueness of solutions with the aid of the Banach contraction principle. Additionally, by considering the generalized version of the Gronwall inequality, the dependence of solutions for a special case of the integro-differential CFBVP (1) is investigated. In the final step, we prepared three simulation examples to guarantee the applicability of the theoretical outcomes.

Author Contributions

Conceptualization, S.R., S.K.N., S.E., and J.T.; methodology, S.R., S.K.N., A.A., S.E., and J.T.; formal analysis, S.R., S.K.N., A.A., S.E., and J.T.; funding acquisition, J.T. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by King Mongkut’s University of Technology North Bangkok. Contract no. KMUTNB-62-KNOW-28.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Debnath, L. Recent applications of fractional calculus to science and engineering. Int. J. Math. Math. Sci. 2003, 54, 3413–3442. [Google Scholar] [CrossRef] [Green Version]
  2. Hilfer, R. Applications of Fractional Calculus in Physics; World Scientific: Singapore, 2000. [Google Scholar]
  3. Kempfle, S.; Schafer, I.; Beyer, H. Fractional calculus via functional calculus: Theory and applications. Nonlinear Dyn. 2002, 29, 99–127. [Google Scholar] [CrossRef]
  4. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; North Holland Mathematics Studies: Amsterdam, The Netherlands, 2006; Volume 203. [Google Scholar]
  5. Baleanu, D.; Etemad, S.; Rezapour, S. A hybrid Caputo fractional modeling for thermostat with hybrid boundary value conditions. Bound. Value Probl. 2020, 1, 64. [Google Scholar] [CrossRef] [Green Version]
  6. Goswami, A.; Singh, J.; Kumar, D.; Sushila. An efficient analytical approach for fractional equal width equations describing hydro-magnetic waves in cold plasma. Phys. A Stat. Mech. Appl. 2019, 524, 563–575. [Google Scholar] [CrossRef]
  7. Magin, R. Fractional calculus models of complex dynamics in biological tissues. Comput. Math. Appl. 2010, 59, 1586–1593. [Google Scholar] [CrossRef] [Green Version]
  8. Merala, F.C.; Roystona, T.J.; Magin, R. Fractional calculus in viscoelasticity: An experimental study. Commun. Nonlinear Sci. Numer. Simul. 2010, 15, 939–945. [Google Scholar] [CrossRef]
  9. Oustaloup, A.; Pommier, V.; Lanusse, P. Design of a fractional control using performance contours: Application to an electromechanical system. Fract. Calc. Appl. Anal. 2003, 6, 1–24. [Google Scholar]
  10. Rezapour, S.; Mohammadi, H.; Jajarmi, A. A new mathematical model for Zika virus transmission. Adv. Differ. Equ. 2020, 2020, 589. [Google Scholar] [CrossRef]
  11. Ullah, S.; Khan, M.A.; Farooq, M.; Hammouch, Z.; Baleanu, D. A fractional model for the dynamics of tuberculosis infection using Caputo-Fabrizio derivative. Discret. Contin. Dyn. Syst. 2020, 13, 975–993. [Google Scholar] [CrossRef] [Green Version]
  12. Xu, H. Analytical approximations for a population growth model with fractional order. Commun. Nonlinear Sci. Numer. Simul. 2009, 4, 1978–1983. [Google Scholar] [CrossRef]
  13. Abdo, M.S.; Shah, K.; Panchal, S.K.; Wahash, H.A. Existence and Ulam stability results of a coupled system for terminal value problems involving ψ-Hilfer fractional operator. Adv. Differ. Equ. 2020, 2020, 316. [Google Scholar] [CrossRef]
  14. Abdo, M.S.; Thabet, S.T.M.; Ahmad, B. The existence and Ulam-Hyers stability results for ψ-Hilfer fractional integro-differential equations. J. Pseudo-Differ. Oper. Appl. 2020, 11, 1757–1780. [Google Scholar] [CrossRef]
  15. Alsaedi, A.; Ahmad, B.; Alghanmi, M.; Ntouyas, S.K. On a generalized Langevin type nonlocal fractional integral multivalued problem. Mathematics 2019, 7, 1015. [Google Scholar] [CrossRef] [Green Version]
  16. Amara, A. Existence results for hybrid fractional differential equations with three-point boundary conditions. AIMS Math. 2020, 5, 1074–1088. [Google Scholar] [CrossRef]
  17. Ben Chikh, S.; Amara, A.; Etemad, S.; Rezapour, S. On Hyers-Ulam stability of a multi-order boundary value problems via Riemann-Liouville derivatives and integrals. Adv. Differ. Equ. 2020, 2020, 547. [Google Scholar] [CrossRef]
  18. Ben Chikh, S.; Amara, A.; Etemad, S.; Rezapour, S. On Ulam-Hyers-Rassias stability of a generalized Caputo type multi-order boundary value problems with four-point mixed integro-derivative conditions. Adv. Differ. Equ. 2020, 2020, 680. [Google Scholar] [CrossRef]
  19. Cui, Y.; Ma, W.; Sun, Q.; Su, X. New uniqueness results for boundary value problem of fractional differential equation. Nonlinear Anal. Model. Control 2018, 23, 31–39. [Google Scholar] [CrossRef]
  20. Etemad, S.; Ntouyas, S.K.; Tariboon, J. Existence results for three-point boundary value problems for nonlinear fractional differential equations. J. Nonlinear Sci. Appl. 2016, 9, 2105–2116. [Google Scholar] [CrossRef] [Green Version]
  21. Kheiryan, A.; Rezapour, S. A multi-singular fractional equation and the Hyers-Ulam stability. Int. J. Appl. Comput. Math. 2020, 6, 155. [Google Scholar] [CrossRef]
  22. Mohammadi, H.; Rezapour, S.; Etemad, S. On a hybrid fractional Caputo-Hadamard boundary value problem with hybrid Hadamard integral boundary value conditions. Adv. Differ. Equ. 2020, 2020, 455. [Google Scholar] [CrossRef]
  23. Peng, L.; Zhou, Y. Bifurcation from interval and positive solutions of the three-point boundary value problem for fractional differential equations. Appl. Math. Comput. 2015, 257, 458–466. [Google Scholar] [CrossRef]
  24. Thabet, S.T.M.; Etemad, S.; Rezapour, S. On a new structure of the pantograph inclusion problem in the Caputo conformable setting. Bound. Value Probl. 2020, 2020, 171. [Google Scholar] [CrossRef]
  25. Wang, G.; Pei, K.; Agarwal, R.P.; Zhang, L.; Ahmad, B. Nonlocal Hadamard fractional boundary value problem with Hadamard integral and discrete boundary conditions on a half-line. J. Comput. Appl. Math. 2018, 343, 230–239. [Google Scholar] [CrossRef]
  26. Davies, P.J.; Duncan, D.B. Numerical approximation of first kind Volterra convolution integral equations with discontinuous kernels. J. Integral Equ. Appl. 2017, 29, 41–73. [Google Scholar] [CrossRef] [Green Version]
  27. Ahmad, B.; Broom, A.; Alsaedi, A.; Ntouyas, S.K. Nonlinear integro-differential equations involving mixed right and left fractional derivatives and integrals with nonlocal boundary data. Mathematics 2020, 8, 336. [Google Scholar] [CrossRef] [Green Version]
  28. Ahmad, B.; Luca, R. Existence of solutions for sequential fractional integro-differential equations and inclusions with nonlocal boundary conditions. Appl. Math. Comput. 2018, 339, 516–534. [Google Scholar] [CrossRef]
  29. Baleanu, D.; Etemad, S.; Rezapour, S. On a fractional hybrid integro-differential equation with mixed hybrid integral boundary value conditions by using three operators. Alex. Eng. J. 2020. [Google Scholar] [CrossRef]
  30. Etemad, S.; Ntouyas, S.K.; Ahmad, B. Existence theory for a fractional q-integro-difference equation with q-integral boundary conditions of different orders. Mathematics 2019, 7, 659. [Google Scholar] [CrossRef] [Green Version]
  31. Jamil, M.; Khan, R.A.; Shah, K. Existence theory to a class of boundary value problems of hybrid fractional sequential integro-differential equations. Bound. Value Probl. 2019, 2019, 77. [Google Scholar] [CrossRef] [Green Version]
  32. Phuong, N.D.; Sakar, F.M.; Etemad, S.; Rezapour, S. A novel fractional structure of a multi-order quantum multi-integro-differential problem. Adv. Differ. Equ. 2020, 2020, 633. [Google Scholar] [CrossRef]
  33. Yang, A.M.; Han, Y.; Zhang, Y.Z.; Wang, L.T.; Zhang, D.; Yang, X.J. On nonlocal fractional Volterra integro-differential equations in fractional steady heat transfer. Therm. Sci. 2016, 20, S789–S793. [Google Scholar] [CrossRef] [Green Version]
  34. Zhao, Y.; Huang, L.; Wang, X.; Zhu, X. Existence of solutions for fractional integro-differential equation with multipoint boundary value problem in Banach spaces. Abstr. Appl. Anal. 2012, 2012, 172963. [Google Scholar] [CrossRef]
  35. Ahmad, B.; Ntouyas, S.K.; Tariboon, J. On hybrid Caputo fractional integro-differential inclusions with nonlocal conditions. J. Nonlinear Sci. Appl. 2016, 9, 4235–4246. [Google Scholar] [CrossRef] [Green Version]
  36. Bazgir, H.; Ghazanfari, B. Existence of solutions for fractional integro-differential equations with non-local boundary conditions. Math. Comput. Appl. 2018, 23, 36. [Google Scholar] [CrossRef] [Green Version]
  37. Podlubny, I. Fractional Differential Equations; Academic Press: New York, NY, USA, 1999. [Google Scholar]
  38. Samko, S.G.; Kilbas, A.A.; Marichev, O. Fractional Integrals and Derivatives: Theory and Applications; Gordon and Breach: Amsterdam, The Netherlands, 1993. [Google Scholar]
  39. Miller, S.; Ross, B. An Introduction to the Fractional Calculus and Fractional Differential Equations; John Wiley: Hoboken, HJ, USA, 1993. [Google Scholar]
  40. Krasnoselskii, M.A. Two remarks on the method of successive approximations. Usp. Mat. Nauk. 1955, 10, 123–127. [Google Scholar]
  41. Granas, A.; Dugundji, J. Fixed Point Theory; Springer: New York, NY, USA, 2003. [Google Scholar]
  42. Deimling, K. Nonlinear Functional Analysis; Springer: New York, NY, USA, 1985. [Google Scholar]
  43. Ye, H.; Gao, J.; Ding, Y. A generalized Gronwall inequity and its application to a fractional differential equation. J. Math. Anal. Appl. 2007, 328, 1075–1081. [Google Scholar] [CrossRef] [Green Version]
  44. Apartsyn, A.S. Nonclassical Linear Volterra Equations of the First Kind; Inverse and Ill-Posed Problems, Series 39; De Gruyter: Berlin, Germany, 2003. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Rezapour, S.; Ntouyas, S.K.; Amara, A.; Etemad, S.; Tariboon, J. Some Existence and Dependence Criteria of Solutions to a Fractional Integro-Differential Boundary Value Problem via the Generalized Gronwall Inequality. Mathematics 2021, 9, 1165. https://doi.org/10.3390/math9111165

AMA Style

Rezapour S, Ntouyas SK, Amara A, Etemad S, Tariboon J. Some Existence and Dependence Criteria of Solutions to a Fractional Integro-Differential Boundary Value Problem via the Generalized Gronwall Inequality. Mathematics. 2021; 9(11):1165. https://doi.org/10.3390/math9111165

Chicago/Turabian Style

Rezapour, Shahram, Sotiris K. Ntouyas, Abdelkader Amara, Sina Etemad, and Jessada Tariboon. 2021. "Some Existence and Dependence Criteria of Solutions to a Fractional Integro-Differential Boundary Value Problem via the Generalized Gronwall Inequality" Mathematics 9, no. 11: 1165. https://doi.org/10.3390/math9111165

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop