In this paper, we consider a multiterm semilinear fractional boundary value problem involving Caputo fractional derivatives and investigate the existence of positive solutions by terms of different given conditions. To do this, we first study the properties of Green’s function, and then by defining two lower and upper control functions and using the wellknown Schauder’s fixed-point theorem, we obtain the desired existence criteria. At the end of the paper, we provide a numerical example based on the given boundary value problem and obtain its upper and lower solutions, and finally, we compare these positive solutions with exact solution graphically.

1. Introduction

At a vast level, it is understood that the hereditary properties and the memory of most processes, phenomena, and materials are predictable with the help of different modelings under the fractional operators. In this regard, differential equations involving fractional derivatives have recently been confirmed to be a useful tool in modeling of a considerable variety of structures in miscellaneous branches of sciences. For the sake of the increasing acceleration and advancements of studies and researches in the field of fractional calculus, several works have been done; see [1, 2]. Since theoretical findings are used to achieve a deep understanding for the fractional models, a large number of mathematicians have also assigned their focus on studying the existence aspects of solutions for several structures of fractional equations by means of different techniques and methods. For instance, see [310].

In the next periods, a large number of researchers studied the notion of positive solutions for nonlinear fractional differential equations, and accordingly, many papers have been published in this direction. In 2003, Zhang [11] investigated the multiple and infinitely solvability of positive solutions for a nonlinear generalized fractional differential equation by relying on fixed point methods on cones. In 2007, El-Shahed [12] investigated the existence and nonexistence of positive solutions for a nonlinear fractional boundary value problem in the Riemann-Liouville settings. The author used Krasnoselskii’s fixed point theorem on cone preserving operators for deriving some required criteria. In [13], Guezane-Lakoud et al. presented a fourth-order mathematical model of elastic beam in three separate points of domain and studied the existence of positive solutions with the help of fixed point techniques.

In [14], Tian et al. turned to investigate positive solutions for a new class of fourpoint boundary value problem of fractional differential equations with -laplacian operator and used the Leggett-Williams fixed point theorem on a cone to prove the multiplicity results of such solutions. More recently, Seemab et al. [15] established the existence results of positive solutions for a boundary value problem defined within generalized Riemann-Liouville and Caputo fractional operators by studying the properties of Green functions in three different types. Along with these, some other researchers investigated numerical methods and nonsingular fractional operators for obtaining numerical solutions of different fractional differential equations such as [16, 17].

More specifically, in [18], Zhang studied the multiplicity and existence of positive solutions for the fractional nonlinear boundary value problem given by where stands for the Caputo fractional derivative. To obtain the existence conditions, Zhang applied a method based on cones. Bai and Lu [19] also employed some nonlinear methods to establish the multiplicity and existence of positive solutions of the given problem as where denotes the Riemann-Liouville fractional derivative and is a continuous function. Their method is based upon the reduction of the given boundary value problem to the equivalent Fredholm integral equation of the second kind.

Inspired by the above works, in this paper, we derive some sufficient conditions to establish our main results on the existence of positive solutions to multiterm semilinear fractional boundary value problem given by where , and is a continuous positive function on and denotes the Caputo fractional derivative. Note that the main method of this paper is to convert our multiterm semilinear boundary value problem (3) to an equivalent integral equation which allows us to convert it to a fixed point problem. In the following path, the criteria establishing the existence of positive solutions are guaranteed by imposing several sufficient conditions. In fact, we introduce two upper and lower control functions to achieve such aims, and after surveying some properties of the Green’s function, the fundamental theorems in relation to the existence results are derived. To prove the existence results, by applying lower and upper control functions, we use the standard Schauder’s fixed point theorem to obtain lower and upper solutions. In contrast to other works, we generalize and consider two terminal boundary conditions in the context of the Caputo fractional derivative of the unknown function and show our findings graphically. In other words, by plotting the graphs of lower and upper solutions, one can compare our results with the exact positive solution. It is notable that in the suggested problem (3), we have considered a multiterm semilinear boundary value problem, and in the future researches, one can implement this technique for the complicated boundary conditions and one can also cover other generalized nonlinear fractional boundary problems arising in real-world phenomena.

The structure of the article is presented as follows: Sect. 2 recall the auxiliary and preliminary notions in relation to the fractional calculus and also some basic lemmas are provided. Sect. 3 is assigned to derive sufficient conditions to obtain positive solutions of the multiterm semilinear boundary value problem (3). Finally, a special example is provided to validate our theoretical findings according to the method implemented in theorems.

2. Basic and Auxiliary Concepts

Before proving some preliminary lemmas, we need to present some definitions and properties on fractional calculus which are useful throughout our research work.

Definition 1 (see [20]). Let and be continuous. The integral is called the fractional integral in the Riemann-Liouville settings of order such that it has finite values.

Definition 2 (see [20]). Let with and belongs to . Then is called the Caputo fractional derivative of order such that it exists.

Remark 3. We have the following:
(RE1) For , the equality holds
(RE2) For with and for each , we have

Proposition 4 (see [21]). Suppose that is contained in the space and . Then such that .

The following proposition is important and specifies the structure of the equivalent solution of the integral equation arising in the multiterm semilinear boundary value problem (3).

Proposition 5. Consider and . Then, the solution of the linear problem is given by the following integral equation where

Proof. If is a solution of the linear boundary value problem (8), then from Proposition (7), it is followed that Then, the first boundary condition gives . By applying the operator to both sides of (11) and using (6), we find that which in view of the second boundary condition, gives By substituting and in (11), we get where is given by (10). In this case, we follow that will be a solution of (9). This completes the proof.☐

Remark 6. It is easy to show by a simple computation that the function satisfies

Lemma 7. The function is integrable for each .

Proof. We have Then, This completes the proof.☐

Remark 8. Consider the space . For and , define the norm of by

Then, clearly, is a Banach space.

3. Existence Criteria for Positive Solutions

In this section, several conditions are derived for which the existence of positive solutions to the multiterm semilinear boundary value problem (3) is guaranteed. Let and with and . The upper control function and the lower control function is defined by respectively. We clearly have

In addition to these, define the set which is used in the sequel. Here, we mean by a positive solution, each function satisfies and for each ; in other words, .

3.1. Required Assumptions

Now, for our main results, we need some assumptions given as follows:

(A1) There are which satisfy and along with

(A2) There exist and nonnegative function such that

(A3) There exists such that with

At this moment, we are ready to present the first existence theorem.

Theorem 9. Suppose that the assumptions (A1)−(A3) hold. Then, the multiterm semilinear boundary value problem (3) has at least a positive solution in such that all inequalities and hold for each .

Proof. For each , define the set as Obviously, is a convex, closed, and bounded set in . Consider the operator under the following rule To prove Theorem 9, we will show that the hypotheses of Schauder’s fixed point theorem hold. So, the process of proof will be done in several steps.

Step 1. is continuous in . To prove such a claim, we consider a sequence which converges to in . We have By tending and from the inequalities (29), (30), and (31), we follow that is continuous in .

Step 2. Now, we show that is a selfmap on . Let . By inequalities (15) and (17) along with the assumptions (A2) and (A3), we get By virtue of inequalities (32), (33), (34), and the assumption (A3), we get .
In the sequel, we investigate the inequalities and also for each . Since w belongs to , we obviously have . By using definitions of upper and lower control functions together with the assumption (A1), we get Hence, we obtain . Now, we need to show that . We have Similarly, we showed that . Therefore, .

Step 3. At the final step, we aim to prove that has the complete continuity property.
To see this, let and take . We have Thus, Hence, has the property of the uniform boundedness. Next, we show that is equicontinuous. To do this, for each and with , we have It is seen that the right-hand side of (39) does not depend on w and tends to zero whenever which leads to . Further, we have which tends to zero whenever . In addition, which tends to zero as . Therefore, inequalities (39), (40), and (41) imply that is equicontinuous. Knowing that it is uniformly bounded, we find that P is completely continuous. Schauder’s fixed point theorem implies that has a fixed point which is a solution for the multiterm semilinear boundary value problem (3) and the proof is completed.☐

Corollary 10. Let Ξ be continuous on and there exists such that

Then, a solution exists for the multiterm semilinear boundary value problem (3).

Proof. We choose and . So, the assumption (42) allows us to apply Theorem 9 which affirms the existence of a solution for the mentioned multiterm semilinear problem (3).☐

Corollary 11. Assume that there exist two real numbers such that Then, the multiterm semilinear boundary value problem (3) has at least a positive solution on , where

Proof. From definitions of the functions and , it is followed that Define So, we get and also Moreover, by some direct computations, we get Thus, This means that the assumption (A1) is satisfied. Finally, if (A2) holds, then we can choose such that Now, all hypotheses of Theorem 9 hold. Consequently, the multiterm semilinear boundary value problem (3) has at least a positive solution , where and for each and the corollary is proved.☐

To validate the theoretical findings, we provide a special example corresponding to the suggested multiterm semilinear boundary value problem (3).

Example 12. According to the multiterm semilinear boundary value problem (3), in the present example, we take , and By taking into account the definition of the function , we clearly have . Now, we choose upper and lower control functions and , respectively, and then, we get

Therefore, by some simple calculations, we obtain