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
so that
, and for functions
and
, we have
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
such that
and
and
and
stand for the fractional Caputo and Riemann–Liouville operators of orders
and
with
. In 2018, Bazgir and Ghazanfari [
36] proceeded to obtain some desired conditions for which the new category of nonlinear Caputo integro-differential FBVP
has at least one solution on the relevant domain; in this structure, it is supposed that
,
with
,
and
.
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
where
,
and
with
. Two symbols
and
denote the Caputo fractional derivative (CF-derivative) and the Riemann–Liouville fractional integral (RLF-integral) of different fractional orders. Additionally, both functions
and
are supposed to be continuous on
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
and
. 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
,
, and
, then for
we have the fractional pantograph differential equation
with integral boundary conditions given by (1). On the other side, by assuming
and
, the simple form of the fractional Langevin integro-differential equation is derived as
. 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.
3. Main Theorems
By we mean the collection of all given continuous maps on subject to real values. We can easily confirm that X will be a Banach space whenever we regard a sup norm on it as for . 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 and regard constants , and with . In that case, the function is to be known as a solution for the CFBVP constructed bygiven by the RLF-integral equationin which it is assumed that Proof. In the first stage, we proceed to assume that
is a solution of the CFBVP (2). So, we get
and hence
We take the RLF-integral of order
on two sides of the above relation and we arrive at
in which
are real numbers that we have to find. It is quickly understood that
by virtue of the condition
and (6). In addition, by regarding
and by virtue of the second condition
, we get
. On the other side, by keeping in mind the properties of the RLF-integral, we have
for
. Eventually, the mixed integral boundary condition
implies that we arrive at the following:
so that
is introduced as (4). Consequently, we insert all three obtained constants
,
, and
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
as
for
and
. We give three constants which we shall employ later:
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 are regarded to be continuous and further to possess the following specifications:
A number exists provided that for all and , the Lipschitz property is valid;
A continuous function Φ on with real values exists for which the boundedness property holds for and for each .
Then the given nonlinear integro-differential CFBVP (1) includes at least one solution on if exists, where are available in (8).
Proof. We introduce
and
with
where
and
are represented in (8). According to the previous information, the above ball
is a nonempty closed bounded convex set contained in the Banach space
X. Along with this, we point out an operator
as (7). By Proposition 1, it is apparent that the collection of the fixed points of
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,
and
, from
to
X which have the structures
and
for
. Firstly, in the light of the given condition
, it is definite that for each
,
Further, the second condition
yields
for
. In this case, for two arbitrary
, we may have
The above obtained inequality certifies that
and accordingly
for all
. The mentioned result also means that the hypothesis (th1) in Theorem 1 is valid about
and
. In the next stage, we confirm the contractivity of
. For two arbitrary
and
and in the light of
, we can write
By virtue of the hypothesis, it is apparent that . Therefore we find that possesses the important property of contractivity and thus the second condition (th2) in Theorem 1 holds about .
Next, we focus on the continuity of
. Toward this purpose, we regard
as a sequence contained in the defined ball
so that
goes to
. In this case, for
, we get that
On the other side, note that the map
is continuous on
. Hence we observe that
goes to 0 when
. Consequently, we perceive that
is continuous on
. Next, we survey the compactness of
. To accomplish this purpose, we first have to survey the uniform boundedness of
. For
and
, we estimate
which displays that
and ergo
includes the property of the uniform boundedness. Furthermore, we assert that
is equi-continuous. To reach this goal, we select two arbitrary variables
subject to
. In fact, we assert that bounded sets are mapped to equi-continuous sets by
. Thus, for any
, we reach
The R.H.S of the above is not dependent on and goes to zero by tending s to x. As a result, we find that is equi-continuous. Finally, it is perceived that involves the property of relative compactness on and thus the Arzelà–Ascoli result expresses that is completely continuous and finally is compact on the defined ball . Accordingly, the condition (th3) in Theorem 1 is met regarding the operator . Thereupon, all information for Theorem 1 is established for two existing single-valued maps and . Consequently, Theorem 1 guarantees that the formulated nonlinear integro-differential CFBVP (1) involves a solution on 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 as two continuous maps equipped with the following clauses:
along with two continuous nondecreasing maps exist provided for all , A number exists provided that andwhere are displayed in (8).
Then the nonlinear integro-differential CFBVP (1) involves a solution on .
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
exhibited as (7) corresponds bounded sets (i.e., balls) into ones contained in
X. For
, a bounded ball
is constructed in
X. In this phase, for any
and in the light of
, we get that
Thus, from the above relations, we comprehend that
The obtained inequality states that the operator
involves the uniform boundedness specification. In the further stage, we implement an argument for verifying this issue where
maps bounded subsets (i.e., balls) into equi-continuous ones in
X. To view this goal, select
arbitrarily subject to
and
. In that case, we can estimate
We discover that the R.H.S of the above is not dependent on and also goes to zero by tending s to x. As a result, is equi-continuous and ergo the complete continuity of is validated with the help of the Arzelà–Ascoli result. Consequently, 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
is bounded for
. To view this, we regard
as a solution for the equation
for
. In that case, by employing the argument used in the first stage for all
, we reach
With regard to the hypothesis
, one can pick up a real number
provided
. On the other side, we introduce
It is easy to see that possesses the properties of continuity and complete continuity. With regard to this selection of , we cannot find which satisfies for some . Finally, by Theorem 2, we conclude that the operator contains a fixed point attached to the ball . Accordingly, there exists a solution leastwise on 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 satisfies and the following holds for as:
A number exists so that for all , we have
In that case, a solution exists on uniquely for the nonlinear integro-differential CFBVP (1) provided that , where are displayed in (8).
Proof. By invoking Theorem 3, we confirm that
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
and
and picking up
provided
along with a bounded ball
, we assert that
. By choosing
arbitrarily and with the help of
and
, we have
In the light of the above outcome, it can be seen that the aforementioned assertion holds, and so we get that
. To validate the fact that
introduced by (7) is a contraction, take that
and
are arbitrary. In the current place, with regard to some direct calculations, we can simply comprehend that
In conclusion, the hypothesis indicates that is a contraction. Therefore, the statement of Theorem 3 reveals that 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
and
. In this phase, we arrive at a new standard integro-differential CFBVP which takes the format
By invoking Proposition 1, it is easy to find that the solution of (9) takes the form
in which it is assumed that
Corollary 1. Suppose that the condition is fulfilled for . Then, a solution exists on uniquely for the nonlinear integro-differential CFBVP (9) subject to , where is displayed in (8).
Proof. With due attention to Theorem 3, it is easy to check that
illustrated by
admits one and exactly one fixed point which corresponds to a unique solution of (9). Adopt
and select
so that
and build a bounded ball
. By a similar argument as in the proof of Theorem 7, we get
, and for each
, we obtain
which confirms that
is a contraction because
. Therefore, Theorem 3 states that
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 so that . Let be continuous and let there be subject tofor each and . Further, assume ω and are solutions of the nonlinear integro-differential CFBVP (9) and the integro-differential CFBVPrespectively. Then, the following inequality is fulfilled:so that , in whichandand . 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
respectively. In this case, the following estimate for
is computed as
where
E and
W are illustrated by (13) and (14). Therefore, by the generalized version of the Gronwall inequality (Theorem 4) and by letting
,
and
, we reach
The generalized version of the Gronwall inequality yields
and so
Consequently, we get
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 The parameters , , , , , and are supposed by considering the above suggested CFBVP. In addition to these, continuous functions are regarded as It is considered that for any , we have Hence we get and it is found out that . On the other side, a continuous function exists on provided that an inequality is valid for all . In that phase, we obtain . With regard to the above parameters, it can be quickly obtained that , , , and . Accordingly, 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 .
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 The parameters , , , , , and are supposed according to the above suggested CFBVP (16). Along with these, the functions illustrated asandare continuous on . Apparently, the following inequalities hold Set and and . Note that , and . By invoking the above parameters, we reach , , , and . Therefore, in the light of , we arrive at . 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 .
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 The parameters , , , , , and are supposed according to the above suggested CFBVP (17). Besides, functions displayed asare assumed to be continuous on the relevant domain . Then we arrive at values and , since we can easily compute thatand Finally, by taking into account the above constants, we find that and 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 .
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
. 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
and
, then our problem is transformed into the standard integro-differential equation
To be more specific, if we take , , and , then for , we have the fractional pantograph differential equation with integral boundary conditions given by (1). On the other side, by assuming and , a simple form of the fractional Langevin integro-differential equation is derived as . 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.