On Caputo–Riemann–Liouville Type Fractional Integro-Differential Equations with Multi-Point Sub-Strip Boundary Conditions

: In this paper, we derive existence and uniqueness results for a nonlinear Caputo–Riemann–Liouville type fractional integro-differential boundary value problem with multi-point sub-strip boundary conditions, via Banach and Krasnosel’ski˘i’s ﬁxed point theorems. Examples are included for the illustration of the obtained results.

Integro-differential equations constitute an important area of investigation due to their occurrence in several applied fields, such as heat transfer phenomena [18,19], fractional power law [20], etc. Fractional integro-differential equations complemented with different kinds of boundary conditions have also been studied by many researchers, for example, [21][22][23][24][25][26][27][28]. In a recent paper [29], a nonlocal boundary value problem containing left Caputo and right Riemann-Liouville fractional derivatives, and both left and right Riemann-Liouville fractional integral operators was discussed.
We emphasize that the problem considered in this paper is novel in the sense that the fractional integro-differential equation involves many finitely Riemann-Liouville fractional integral type nonlinearities together with a non-integral nonlinearity. In the literature, one can find results on linear integro-differential equations [30], fractional integro-differential equations with nonlinearity depending on the linear integral terms [31,32], and initial value problems involving two nonlinear integral terms [33]. In contrast to the aforementioned work, our problem contains many finitely nonlinear integral terms of fractional order, which reduce to the nonlinear integral terms by fixing p i = 1, ∀i = 1, . . . , k. For specific applications of integral-differential equations in the mathematical modeling of physical problems such as the spreading of disease by the dispersal of infectious individuals, and reaction--diffusion models in ecology, see [1,2]. In particular, one can find more details on the topic in [34] and the references cited therein. For some recent work on fractional integro-differential equations, see [35,36]. In a more recent work [37], the authors studied the existence of solutions for a fractional integro-differential equation supplemented with dual anti-periodic boundary conditions. Concerning the boundary condition at the terminal position t = 1, the linear combination of the unknown function and its derivative is associated with the contribution due to two sub-strips (0, ζ) and (ξ, 1) and finitely many nonlocal positions between them within the domain [0, 1]. This boundary condition covers many interesting situations, for example, it corresponds to the two-strip aperture condition for all α j = 0, j = 1, . . . , p. By taking γ 1 = 0 = γ 2 , this condition takes the form of a multi-point nonlocal boundary condition. It is interesting to note that the role of integral boundary conditions in studying practical problems such as blood flow problems [38] and bacterial self-regularization [39], etc., is crucial. For the application of strip conditions in engineering and real world problems, see [40,41]. On the other hand, the concept of nonlocal boundary conditions plays a significant role when physical, chemical or other processes depend on the interior positions (non-fixed points or segments) of the domain, for instance, see [42][43][44][45] and the references therein.
The rest of the paper is arranged as follows. Section 2 contains some related concepts of fractional calculus and an auxiliary result concerning a linear version of the problem (1). We prove the existence and uniqueness of solutions for the problem (1) by applying Banach and Krasnosel'skiȋ's fixed point theorems in Section 3. Finally, examples illustrating the main results are demonstrated in Section 4.

Preliminaries
Let us first outline some preliminary concepts of fractional calculus [5]. Definition 1. The Caputo derivative for a function h ∈ AC n [a, b] of fractional order q ∈ (n − 1, n], n ∈ N, existing almost everywhere on [a, b], is defined by Definition 2. The Riemann-Liouville fractional integral for a function h ∈ L 1 [a, b] of order r > 0, which exists almost everywhere on [a, b], is defined by Lemma 1. For m − 1 < r ≤ m, the general solution of the fractional differential equation c D r x(t) = 0 can be written as where b i ∈ R, i = 0, 1, 2, . . . , m − 1.
The following lemma deals with the linear version of the problem (1).
Using Lemma 2, we can transform problem (1) into a fixed point problem as Here C, represents the Banach space of all continuous functions x : By a solution of (1), we mean a function x ∈ C of class C m [0, 1] satisfying the nonlocal integro-multipoint boundary value problem (1).
For computational convenience, we set

Existence and Uniqueness Results
In the following theorem, we make use of Banach's fixed point theorem.
Proof. The proof will be given in two steps.
Step | f (t, 0)| and For x ∈ B r and t ∈ [0, 1], it follows by (A 1 ) that In a similar manner, we have |g i (t, which shows that F B r ⊂ B r .
Step 2. We show that F is a contraction. For x, y ∈ C and for each t ∈ [0, 1], we obtain which, by the condition (15), implies that F is a contraction. Thus the conclusion of the Banach contraction mapping principle applies and hence the operator F has a unique fixed point. Therefore, there exists a unique solution for the boundary value problem (1) on [0, 1].
Next, we prove an existence result for the boundary value problem (1), which relies on Krasnosel'skiȋ's fixed point theorem [46].
Then, we define the operators Φ and Ψ on B ρ as We complete the proof in three steps.
Step 1. We show that Φx + Ψy ∈ B ρ . For x, y ∈ B ρ , we find that (1 − s) q+p i −2 Γ(q + p i − 1) |g i (s, y(s))| ds Step 2. We show that Ψ is a contraction mapping. For that, let x, y ∈ C. Then, for each t ∈ [0, 1], we have which is a contraction by the condition (17).
Step 3. We show that Φ is compact and continuous.
(i) Observe that the continuity of the operator Φ follows from that of f and g i , i = 1, . . . , k.
Let us set max which tends to zero, independent of x, as t 1 − t 2 → 0. So, Φ is equicontinuous. Hence, we deduce by the Arzelá-Ascoli Theorem that Φ is compact on B r . So, the hypothesis (Steps 1-3) of Krasnosel'skiȋ's fixed point theorem [46] holds true. Consequently, there exists at least one solution for the boundary value problem (1) on [0, 1]. The proof is completed.

Examples
Here, we illustrate the applicability of our results by constructing numerical examples.
As the hypothesis of Theorem 2 holds true, so there exists least one solution for problem (18) with the functions given by (19).

Conclusions
We have studied a nonlinear fractional integro-differential equation involving many finitely Riemann-Liouville fractional integral type nonlinearities together with a non-integral nonlinearity complemented by multi-point sub-strip boundary conditions. In fact, we considered a more general situation by considering the fractional order nonlinear integral terms in the integro-differential equation at hand, which reduce to the usual nonlinear integral terms for p i = 1, ∀i = 1, . . . , k. Under appropriate assumptions, the existence and uniqueness results for the given problem are proved by applying the standard tools of the fixed point theory. The results obtained in this paper are not only new, but they also lead to some new results associated with the particular choices of the parameters involved in the problem. For example, our results correspond to the two-strip aperture (ζ, ξ) boundary value problem when α j = 0, ∀j = 1, . . . , p. On the other hand, by letting γ 1 = 0 = γ 2 in the the results of this paper, we obtain the ones for a nonlinear Caputo-Riemann-Liouville type fractional integro-differential equation with multi-point boundary conditions. Thus, the work presented in this paper significantly contributes to the existing literature on the topic.