Fractional Calculus and Related InequalitiesView this Special Issue
Research Article | Open Access
Athasit Wongcharoen, Sotiris K. Ntouyas, Jessada Tariboon, "On Coupled Systems for Hilfer Fractional Differential Equations with Nonlocal Integral Boundary Conditions", Journal of Mathematics, vol. 2020, Article ID 2875152, 12 pages, 2020. https://doi.org/10.1155/2020/2875152
On Coupled Systems for Hilfer Fractional Differential Equations with Nonlocal Integral Boundary Conditions
In this paper, we study a coupled system involving Hilfer fractional derivatives with nonlocal integral boundary conditions. Existence and uniqueness results are obtained by applying Leray-Schauder alternative, Krasnoselskii’s fixed point theorem, and Banach’s contraction mapping principle. Examples illustrating our results are also presented.
The theory of fractional differential equations has been widely used in pure mathematics and applications in the fields of physics, biology, and engineering. There are many interesting results for qualitative analysis and applications. We refer the interested reader, in fractional calculus, to the classical reference texts such as [1–7]. In the literature, there exist several different definitions of fractional integrals and derivatives, and the most popular of them are Riemann–Liouville, Caputo, and other less-known such as Hadamard fractional derivative and the Erdeyl–Kober fractional derivative. A generalization of derivatives of both Riemann–Liouville and Caputo was given by Hilfer in  aswhere , , , and .
He named it as generalized fractional derivative of order and a type . Many authors call it the Hilfer fractional derivative. We notice that when , the Hilfer fractional derivative corresponds to the Riemann–Liouville fractional derivative:
When , the Hilfer fractional derivative corresponds to the Caputo fractional derivative:
Initial value problems involving Hilfer fractional derivatives were studied by several authors, see, for example [11–16] and references therein. Nonlocal boundary value problems for Hilfer fractional derivative were studied in .
To the best of our knowledge, there is no work carried out on systems of boundary value problems with Hilfer fractional derivative in the literature. This paper come to fill this gap. Thus, the objective of the present work is to introduce a new class of coupled systems of Hilfer-type fractional differential equations with nonlocal integral boundary conditions and develop the existence and uniqueness of solutions. In precise terms, we consider the following coupled system:where and are the Hilfer fractional derivatives of orders and , , and parameters and , respectively, , and , are the Riemann–Liouville fractional integrals of order and , respectively, the points , , , are continuous functions and , , , are given real constants.
The paper is organized as follows. We present our main results in Section 3, by applying Leray–Schauder alternative, Krasnoselskii’s fixed point theorem, and Banach’s contraction mapping principle, while Section 2 contains some preliminary concepts related to our problem. Examples are constructed to illustrate the main results.
Definition 1. The Riemann–Liouville fractional integral of order of a continuous function is defined byprovided the right-hand side exists on .
Definition 2. The Riemann–Liouville fractional derivative of order of a continuous function is defined bywhere , denotes the integer part of real number , provided the right-hand side is pointwise defined on .
Definition 3. The Caputo fractional derivative of order of a continuous function is defined byprovided the right-hand side is pointwise defined on .
Lemma 2. Let , , , , , , , , , , , , , , and
Then, the systemis equivalent to the following integral equations:
Proof. Operating fractional integral on both sides of the first equation in (9) and using Lemma 1, we obtainThen, we have, since ,Then,whereBy a similar way, we obtainBy settingfrom the boundary conditions and , we obtain and . Then, we obtainFrom and , we haveSubstituting the values of and in (18), we obtain solutions (10) and (11). The converse follows by direct computation. This completes the proof.
3. Main Results
Let , , denote the Banach space of all continuous functions from to . The space endowed with the norm is a Banach space. Let with the norm . It is obvious that the product space is Banach space with the norm .
In view of Lemma 2, we define two operators bywherewhere
For computational convenience, we set
Banach’s contraction mapping principle is applied in the first result to prove existence and uniqueness of solutions of system (4).
Theorem 1. Suppose that are continuous functions. In addition, we assume that
There exist constants , such that, for all and ,
Then, system (4) has a unique solution on , if
Proof. Define and such that
Now, we will show that the set , where . For any , , we find that
For , we have
Similarly, we haveand hence
Consequently, it follows thatwhich implies . Next, we will show that the operator is a contraction mapping. For any , we obtain
Therefore, we obtain the following inequality:
In addition, we also obtain
As , therefore, is a contraction operator. By Banach’s fixed point theorem, the operator has a unique fixed point, which is the unique solution of (4) on . The proof is completed.
Now, we prove our second existence result via Leray–Schauder alternative.
Lemma 3 (Leray–Schauder alternative, see ). Let be a completely continuous operator. LetThen, either the set is unbounded, or has at least one fixed point.
Theorem 2. Assume that there exist real constants for and such that, for any , we have
Proof. By continuity of the functions on , the operator is continuous. We will show that the operator is completely continuous. Let be bounded. Then, there exist positive constants and such thatThen, for any , we havewhich yieldsSimilarly, we obtain thatHence, from the above inequalities, we obtain that the set is uniformly bounded. Next, we are going to prove that the set is equicontinuous. For any and such that , we haveTherefore, we obtainAnalogously, we can obtain the following inequality:Hence, the set is equicontinuous. By applying the Arzelá–Ascoli theorem, the set is relative compact which implies that the operator is completely continuous. Lastly, we shall show that the set