Abstract
By using fixed-point index theory, we consider the existence of multiple positive solutions for a system of nonlinear Caputo-type fractional differential equations with the Riemann-Stieltjes boundary conditions.
1. Introduction
Fractional order calculus is more widely used than integer order calculus (see [1]). Based on it, many researchers have been focused on the study of the existence of positive solutions for various fractional differential equations with some boundary conditions. We can refer to [2–35] for some recent works about fractional boundary value problems.
In [14], Ma and Cui discussed the following fractional boundary value problem: where , is the Caputo fractional derivative, is a parameter. By using the Guo-Krasnosel’skii fixed-point theorem, they proved that the fractional differential equation has at least a positive solution when satisfies some conditions.
A few researchers have studied the existence of solutions for the systems of nonlinear fractional differential equations (see [23–35]). For example, in [24], by monotone iterative technique and cone theory, Zhang et al. have studied the uniqueness of a solution for fractional systems with the Riemann-Stieltjes integral boundary condition. Hao et al. [32] have studied a system of fractional boundary value problems with two parameters; by using the Guo-Krasnosel’skii fixed-point theorem, they obtained the existence of positive solutions for the system in terms of different values of parameters. Meanwhile, a few researchers have been considering the systems for nonlinear integer order boundary value problems, such as in [33], where the researchers considered the existence of multiple positive solutions for a system of nonlinear third-order differential equations. In [34], by Banach’s contraction principle, the researchers considered the existence of a unique solution for a system of second order differential equations with coupled integral boundary conditions.
Inspired by [14, 23–35], in this paper, we want to study the following system of fractional differential equations: where is continuous; is the Caputo fractional derivative; is a bounded variation function with positive measure with .
The main purpose of this paper is that we prove that system (2) has one and multiple positive solutions by the fixed-point index theory.
2. Preliminaries
In this section, we only give the definition of Caputo’s fractional derivative. For some of the other definitions and properties of Caputo’s fractional derivative, we can refer to [2]. We mainly give the relevant Green functions and the used lemmas.
Definition 1 (see [2, 14]). For a function , we define Caputo’s fractional derivative of order as follows:
where is the smallest integer greater than or equal to .
From [14], we have the following lemmas.
Lemma 2 (see [14]). Let and . Then is the solution of the linear Caputo fractional differential equation if and only if is the solution of the integral equation where and .
Lemma 3 (see [14]). The above Green’s function has the following properties: (i)(ii)where
Lemma 4 (see [36]). Let be a Banach space and be a cone. Define , where . Suppose that is completely continuous, and , for . (i)(ii)
3. Main Results
Let be a Banach space with the norm on , where
Define the cone where
and are defined by (7), and the nonlinear operators , , and are defined by where is defined by (6).
It is known that fixed points of the operator in are positive solutions of the system (2).
Lemma 5. The operator is completely continuous.
Proof. For , when , we have .
When
by Lemma 3, we obtain
Similar to the proof of (12), for
we have
By (12) and (14), we get
By (15), . Similar to the proof of Lemma 6 in [14], we know that are completely continuous. So is completely continuous.
For convenience, some marks and assumptions are given.
Some of the marks are as follows: where is defined by (9).
Some of the assumptions are as follows:
S1. There exist and such that (i)(ii)where also satisfies , and are defined by (17).
S2. There exists such that where is defined by (9) and is defined by (17).
Theorem 6. Suppose that and uniformly on . Then, system (2) has a positive solution.
Proof. By , we know that there exist and such that
and , .
Set . By Lemma 3 and (19), for , we have
Similar to the proof of (20), we have
So by (20) and (21), we have
By Lemma 4 and (22), we have
From , we know that there exist and such that
and . In this part, we divide two cases. One case is that and are bounded. Namely, there exists such that
Take . Set . For and , we get
The other case is that and are unbounded. By the continuity of , there exists such that
Hence, set . For and we get
So in either case, there always exists such that
Similarly, we have
So by (29) and (30), we have
By Lemma 4 and (31), we have
From (23) and (32), we obtain
So has a fixed point in . It is obvious that is a positive solution of system (2).
Theorem 7. Suppose that S1 holds and . Then, the system (2) has two positive solutions.
Proof. Set . By Lemma 3 and S1 (i), for and , we get
So
Similar to the proof of (35), we have
So by (35) and (36), we have
By Lemma 4 and (37), we have
Set . By Lemma 3 and S1 (ii), for and , we get
So
Similarly,
So by (40) and (41), we have
By Lemma 4 and (42), we have
By there exist and such that
and .
Choose . Set . For Then, by (44) and Lemma 3, we get
So
Similarly,
So by (47) and (48), we have
By Lemma 4 and (49), we have
Since by (38), (43), and (50), we get
From (51), we know that has a fixed point . From (52), we know that has another fixed point. So the system (2) has two positive solutions and , with .
Theorem 8. Let and . In addition, suppose that S2 holds. Then, system (2) has two positive solutions.
Proof. By , we know that there exist and such that
and . Set .
By Lemma 3 and (53), for and , we get
So
Similarly,
So by (55) and (56), we have
By Lemma 4 and (57), we have
From , we know that there exist and such that
and . In this part, we divide two cases. One case is that and are bounded. Namely, there exists such that
Take . Set . For and , we get
Another case is that and are unbounded. By the continuity of , there exists such that
Hence, set . For , we get
So in either case, there always exists such that
Similarly, we have
Thus
So by Lemma 4 and (66), we get
Set . For Then, by S2 and Lemma 3, we get
So
Similarly,
So by (70) and (71), we have
By Lemma 4 and (72), we have
Since , by (58), (67), and (73), we get . So has a fixed point .. So has another fixed point . Therefore, system (2) has at least two positive solutions.
4. Applications
Example 9. We study the following Caputo-type fractional system: where , , , , and . Obviously, and . From Theorem 6, system (74) has a positive solution.
Example 10. We study the following Caputo-type fractional system:
where , , and .
Take
and
By simple computation, we get , , and .
Choose , , and , then .
When , ,
(1); (2); When , ,
(1); (2); (3); Obviously, . So by Theorem 7, system (74) has at least two positive solutions.
Example 11. We study the following Caputo-type fractional system:
where , , and .
Take
and
Take , then , . When , . Obviously, and . So, by Theorem 8, system (78) has at least two positive solutions.
Data Availability
The data set supporting the conclusions is included within this article.
Conflicts of Interest
The authors declare that they have no competing interests regarding the publication of this paper.
Acknowledgments
The project is supported by the National Natural Science Foundation of China (11801322) and Shandong Natural Science Foundation (ZR2018MA011).