In this paper, we study a coupled system of Hilfer type sequential fractional differential equations supplemented with Riemann–Stieltjes integral multistrip boundary conditions. The standard tools of the fixed point theory are employed to prove the existence and uniqueness results for the considered problem. Examples are constructed for the illustration of the obtained results.

1. Introduction

Fractional calculus is a generalization of the classical calculus. Fractional differential equations become another necessary tool in solving real-life problems in different research areas such as physics, biology, engineering, and mechanics, see for example the monographs and papers [111].

Boundary value problems of fractional differential equations represent an important and interesting branch of applied analysis. Usually, the researchers have given attention in studying fractional differential equations involving Caputo or Riemann–Liouville fractional derivative. But, Caputo or Riemann–Liouville derivative was not considered appropriate in studying some new models in engineering for example. To avoid the difficulties, some new type fractional order derivative operators were introduced in the literature such as Hadamard, Erdeyl-Kober, and Katugampola. Hilfer in [12] introduced a new derivative, which generalizes both Riemann–Liouville and Caputo derivatives. For some applications involving Hilfer fractional derivative, the interested reader is referred to [1316] and references cited therein.

In [17], Nuchpong et al. investigated a new class of boundary value problems for fractional differential equations for involving sequential Hilfer type fractional derivative and subject to Riemann–Stieltjes integral multistrip boundary conditions of the formwhere denotes the Hilfer fractional derivative operator of order , , and parameter , , is a continuous function; is the Riemann–Stieltjes integral with respect to the function , , . Existence and uniqueness results are established by using basic tools from fixed point theory.

The study of system of Hilfer type was initiated by Wongcharoen et al. [18], by presenting the following system of fractional differential equations:in which and indicate the Hilfer fractional derivatives of orders and , , and parameters , , are continuous functions, , , and are the Riemann–Liouville fractional integrals of order , , .

Inspired by the forenamed studies, this article considers the existence and uniqueness of solutions for the following coupled system of Hilfer type fractional differential equations with Riemann–Stieltjes integral multistrip boundary conditions of the formin which and are the Hilfer fractional derivatives of orders and parameters , , are continuous functions, , are the Riemann–Stieltjes integrals with respect to the functions , , , , , , , .

The remaining of this article has been regulated as follows: In section 2 some concepts, lemmas and theorems are recalled which will be applied throughout this paper. In Section 3, an auxiliary lemma has been proved which concerns a linear variant of system (3) and it is used to convert the coupled system (3) into a fixed point problem. The classical fixed point theorems have been applied in order to obtain the results regarding the existence/uniqueness in Section 4. Thus, the classical Banach fixed point theorem is applied to obtain uniqueness result, while Leray-Schauder alternative and Krasnosel’skiĭ’s fixed point theorems are applied to present existence results. Examples are also constructed to illustrate the obtained results.

2. Preliminaries

Now, the following items are reminded which will be applied to fulfil the main results in the next steps.

Throughout the paper, the Banach space of all continuous mappings from to are denoted by which is equipped with the norm . It is clear that the space , equipped with norm defined by , is a Banach space.

Also, is the -times absolutely continuous functions defined as

For a real valued function , the Riemann–Liouville fractional integral of order is defined by , in which the right-hand side is defined point-wise on , see [2]. Besides, for the function , the Riemann–Liouville fractional derivative of order is defined by , in which , where denotes the integer part of a real number , see [2], while the Caputo fractional derivative is defined by , provided that the right-hand side exists.

Also, the Hilfer fractional derivative of order and parameter of a function is defined bywhere , see [12]. Note that if and , the Hilfer derivative is reduced to the Riemann–Liouville and Caputo fractional derivatives, respectively.

The following lemma will be applied to prove a lemma in the next section which presents a pattern of existence of solutions for system (1.3).

Lemma 1 (see [13]). Let , , , . Then, we have the following relation:

Finally, we collect the fixed point theorems applied to prove the main results in this paper.

Lemma 2 (Banach fixed point theorem, [19]). Let be a closed set in and satisfies

Then T admits a unique fixed point in .

Lemma 3 (Leray–Schauder alternative [20]). Let the set be closed bounded convex in and an open set contained in with . Then, for the continuous and compact , either(1) admits a fixed point in , or(2) there exists and with .

Lemma 4 (Krasnosel’skiĭ fixed point theorem, [21]). Let indicate a closed, bounded, convex, and nonempty subset of a Banach space and be operators such that (i) where , (ii) is compact and continuous, and (iii) is a contraction mapping. Then, there exists such that .

3. An Auxiliary Result

Lemma 5. Let , , , , , and . Then, the solution of the systemis given bywhere

Proof . Let be a solution of system (5). By Lemma 2, we havewhere are the arbitrary constants, since and . Applying and , we deduce that . Thus, the previous equations becomeNow, applying the boundary conditions and , we getConsequently, we have the systemwhereBy solving the above system, we haveSubstituting the values of and into (10) and (14), respectively, we obtain the solutions (9) and (10). We can obtain the converse by direct computation. The proof is finished.

4. Existence and Uniqueness Result

Due to Lemma 5, we define an operator bywhere

For convenience, we set

Now, Banach’s fixed point theorem is applied to present the following uniqueness result.

Theorem 1. Let and be two continuous functions such that for all and , we havewhere are positive constants and . Then, there exists a unique solution of system (3) on provided that

Proof . It suffices to display that the operator has a unique fixed point. For this aim, Banach’s theorem will be applied. Put and . Now, we locate , in whichFirst, we indicate that . Assume that and . Due to (), we haveSimilarly, we haveHence, we infer thatConsequently,In the same way, we haveHence,which yields that .
Now, it is proved is a contraction. Applying condition (25), for any and for each , we haveand henceFurthermore, we deduce thatUsing (25) and (33), we concluded thatAs , so the operator is a contraction and by applying Lemma 2, the operator has a unique solution which is the solution of the problem (3). The proof is finished.

5. Existence Results

Two existence results are proved in this section.

5.1. Existence Result via Leray–Schauder Alternative

The Leray–Schauder alternative (Lemma 3) is used in the proof of our first existence result.

Theorem 2. Let and , be continuous functions. Assume that There exist real constants for and such that for all , we have

If and , where , for are given by (23) and (24), respectively, then system (1.3) admits at least one solution on .

Proof . The functions are continuous on . Thus, the operator is continuous. Now, we will show that the operator is completely continuous. Let be a bounded set, where . Then, for any , there exist positive real numbers and such that and .
Thus, for each , we have