Abstract

This article concerns with the existence and uniqueness theory of solutions for sequential fractional differential system involving Caputo fractional derivatives of order 1<alpha, beta<2 with coupled nonseparated boundary conditions. The standard tools of the fixed point theory were used to establish the main results. Application is introduced to show the validity of our results.

1. Introduction

This article is devoted to the study of the following nonlinear sequential fractional differential equation.where is the fractional derivative of order in Caputo sense, and , and

The studied equation, equation (1), is subject to boundary conditions which are coupled but nonseparated. The main goal of the article is to prove the existence of solutions to the problem defined by equation (1).

The theory of fractional differential equation subject to boundary conditions has long been of the interest of researchers. Two-point boundary conditions are common in bibliography; however, special attention is given to more complex boundary conditions such as integral and nonlocal multiple points.

Differential equations with nonlocal boundary conditions are of high importance in applied sciences. They are useful in modeling some chemical processes and in general to model a process which is located inside a defined region. On the other hand, differential equations with integral boundary conditions are appropriate for modeling problems that involve flowing, such as blood flow problem (see [1, 2]). Other application examples are biology, finances, etc. (see [1820] for illustration). Some interesting general results on boundary value problems are found in [3, 1017] and [2123]. In references [49, 2426], the authors have investigated sequential fractional differential equations.

Although many articles have focused on the study of fractional differential equations with multiple boundary conditions, there is no or there are few works in the literature that studied problems with coupled nonseparated fractional boundary conditions. In this regard, we study the problem, equation (1), subject to nonseparated fractional boundary conditions.

To prove an existence and uniqueness of a solution to problem defined by equation (1), two main theorems are proposed in the work. Banach’s fixed point theorem is used to establish the first theorem in which uniqueness of a solution to problem (1) is proved. The second theorem establishes existence of the solution to problem (1), using Leray–Schauder’s alternative criterion. After this introductory section of this work, there are four other sections, which are organized following a hierarchical structure. The second section provides a brief review of fractional calculus definitions. The third section is dedicated to the main results of the work. The fourth section provides a numerical example to back up the theoretical results. Finally, conclusion and possible future works are discussed in the fifth section.

Notations:wherewith

Then,

In a like manner,

Lemma 1. Let , then the solution of the following system:is given by

Proof. Solving the sequential linear equationswe getNow, we need to find the constants and . Before finding these constants, we find,The first boundary conditions give,From the second boundary conditions , we get,A (15) and (17) implies,Next, we substitute (18) and (19) into (14) and (16) and solve the result system of the equations; this leads to,By finding the constants and and substituting them in (12), we get the solution, proof completed.

Lemma 2 (see [21]). For any , we have ,

2. Preliminaries

Some definitions of fractional are introduced in this section as they are required in sequel of this study.

Definition 1 (see [15]). Consider a real number ; the Mittag–Leffler function with one parameter is computed as where and is the gamma function .

Definition 2 (see [15]). Given demonstrating the order of the derivative, the Caputo fractional derivative of order of a function is given by

3. Main Results

Given and we set , it is known that is a Banach space, see [22].

Also, let and the norm , again is a Banach space.

It is well known that the product space is a Banach space with the norm,

Now, substituting by in Lemma 1 respectively. Then, we define allied to problem (1) as,where

Observe that,

For computational convenience, we set,where

To state the existence result for problem (1), we set the following assumptions:(A1)The functions are jointly continuous.(A2) such that(A3)There exist real numbers , such that (A4), , such thatwith

Theorem 1. If both assumptions (A1) and (A2) are satisfied, and , then the problem (1) has a unique solution on

Proof. Define a closed ball with , where .
First, we prove that , ; we have,But,Then,(34) and (35) implySimilarly,Combining (36) and (37) leads toThat is, .
Now, we show that the operator is a contraction. . We haveOne can easily showCombining (40) and (41) leads toSimilarly,By (42) and (43), we havewhich shows that the operator is a contraction and the proof is completed.

Theorem 2. Suppose the assumptions (A1) and (A3) are satisfied and assume that from (A4) that . Then, problem (1) has a solution on .

Proof. First, we show that the operator is completely continuous. is continuous as a result of the continuity of .
Define to be a bounded set in . Then, there exist positive constants such that .
Then, for any , it follows thatCombining (45) and (46), we obtainSimilarly,(47) and (48) implyBy equation (49), we showed the operator is uniformly bounded.
Next, we show that is equicontinuous; let with , then we have,Then, the R.H.S. of (50) approaches zero as and implies as .
In a like manner,Also, one can easily show that, and
Accordingly, is equicontinuous, and so is completely continuous.
Finally, we need to prove that the set is bounded,, and , thenHence, we have,which imply thatBut,Then, (55) becomes,which shows the boundedness of is bounded. So, by Leray–Schauder’s alternative, has a fixed point, implying the existence of a solution for the BVP given by (1).

4. Example

Given the problem,

Here,with

We have,

Clearly, the functions satisfy the hypotheses (A1) and (A2), from the inequalities,with

Observe that, ; Theorem 1 implies that our problem has unique solution.

5. Conclusion and Future Work

In this article, we investigate the existence result of the system of fractional differential equations given in problem (1). For the future work, the researcher may generalize our system by taking an system of sequential type and may apply another type of fractional derivatives such as Hadamard and Psi-Caputo fractional derivatives.

Data Availability

No data were used to support this study.

Conflicts of Interest

The author declares that he has no conflicts of interest.

Acknowledgments

This article was funded by the Deanship of Scientific Research (DSR), under NASHER track with a grant number (216043), King Faisal University (KFU), Ahsa, Saudi Arabia. The author, therefore, acknowledges technical and financial support of DSR at KFU.