Volume 2023, Issue 1 6154626
Research Article
Open Access

On Multiple Positive Solutions for Singular Fractional Boundary Value Problems with Riemann-Stieltjes Integrals

Lufeng Gu

Lufeng Gu

School of Medical Information Engineering, Jining Medical University, Rizhao, Shandong 276826, China jnmc.edu.cn

Search for more papers by this author
Qiuyan Zhong

Corresponding Author

Qiuyan Zhong

Center for Information Technology, Jining Medical University, Jining, Shandong 272067, China jnmc.edu.cn

Search for more papers by this author
Zhuyan Shao

Zhuyan Shao

School of Medical Information Engineering, Jining Medical University, Rizhao, Shandong 276826, China jnmc.edu.cn

Search for more papers by this author
First published: 03 February 2023
Academic Editor: Mohamed A. Taoudi

Abstract

In this paper, the existence result of at least two positive solutions is obtained for a nonlinear Riemann-Liouville fractional differential equation subject to nonlocal boundary conditions, where fractional derivatives and Riemann-Stieltjes integrals are involved. The nonlinearity possesses singularities on both its time and space variables. The discussion is based on the fixed point index theory on cones.

1. Introduction

We consider the existence of at least two positive solutions for the following nonlinear fractional differential equation with integral boundary value conditions
(1)

where α, α ∈ (n − 1, n], n, m, n ≥ 3, βi for all i = 0, 1, ⋯, m, 0 ≤ β1 < β2 < ⋯<βmβ0 < α − 1, β0 ≥ 1, fC((0, 1) × (0, +∞), [0, +∞)). represents the Riemann-Liouville derivative of order μ (for μ = α, β0, β1, ⋯, βm). The integrals involved in the boundary conditions are Riemann-Stieltjes integrals; here, Hi(i = 1, 2, ⋯, m) are functions of bounded variation. For more general integral conditions, see [1] and the references therein. The nonlinearity f permits singularities at both t = 0, 1 and u = 0.

In recent years, there has been a gradual increase in the investigation of fractional differential equations and systems of fractional differential equations with nonlocal boundary value conditions owing to their better descriptions in very important phenomena in science and technology than in integers. For fractional calculus and its applications in nonlocal problems, see monographs [26] and papers [725] and the references therein. Very recently, by means of the fixed point theory, principal characteristic value, and fixed point theorems together with height functions, Tudorache et al. [7, 9] investigated the existence of one, two, or three positive solutions for BVP (1). Existence results can be found in [1519] for the system of fractional differential equations with boundary conditions related to BVP (1).

As is well known, Riemann-Stieltjes integral boundary conditions are more general, and they include many special cases such as two-point, three-point, and other classical integral conditions or a combination of them. As a consequence, boundary conditions in BVP (1) are generalizations of those adopted in the literature [1014], which can be listed below:
(2)

We make an effort in this paper to investigate the existence of multiple positive solutions for BVP (1). By a positive solution of BVP (1), we mean a function uC[0, 1] satisfying BVP (1) with u(t) > 0 for all t ∈ (0, 1]. This paper admits the following features. Firstly, compared with [1618], the nonlinearity f in this paper possesses singularities not only on the time but also on the space variables. Secondly, compared with [79], super linear conditions on the nonlinearity at 0 and ∞ are imposed to obtain the existence of at least two positive solutions. Thirdly, conditions given in this paper are shown to be easy to verify by an example. The main tools employed in this paper are the cone theory and fixed point index theorems on cones.

2. Preliminaries and Several Lemmas

First, we introduce some useful lemmas from [7, 9] which will be used in the latter. For notational convenience, denote
(3)
Consider the fractional differential equation
(4)
where xC(0, 1)∩L1(0, 1).

Lemma 1 (see [7], [9].)If Δ ≠ 0, then the unique solution uC[0, 1] of problems (4) is given by

(5)
where
(6)
(7)
(8)
for all (t, s) ∈ [0, 1] × [0, 1], i = 1, 2, ⋯, m.

Lemma 2 (see [7], [9].)We suppose that Δ > 0. Then, the Green function given by (6) is a continuous function on [0, 1] × [0, 1] and satisfies the following inequalities:

  • (i)

    for all t, s ∈ [0, 1], where

(9)
  • (ii)

    for all t, s ∈ [0, 1]

  • (iii)

    for all t, s ∈ [0, 1], where

(10)

We make the following assumptions:

(H1) α, α ∈ (n − 1, n], n, m, n ≥ 3, βi for all i = 0, 1, ⋯, m, 0 ≤ β1 < β2 < ⋯<βmβ0 < α − 1, β0 ≥ 1, Hi : [0, 1]⟶(i = 1, 2, ⋯, m) are nondecreasing functions and Δ > 0.

(H2) fC((0, 1) × (0, +∞), [0, +∞)).

(H3) There exist a, bC((0, 1), [0, +∞))∩L1[0, 1], gC((0, +∞), [0, +∞)) such that

(11)
for any qp > 0, where
(12)

(H4) There exists cC((0, 1), [0, +∞)) such that

(13)
uniformly for t ∈ (0, 1), and
(14)

(H5) There exists dC((0, 1), [0, +∞)) such that

(15)
uniformly for t ∈ (0, 1), and
(16)

In addition, considering the boundedness of , it is easy to know that

(17)
where
(18)

Let E = C[0, 1] be the traditional Banach space of all continuous functions defined on [0, 1] with the maximum norm and P the cone

(19)

Denote Ppq = {uP : p ≤ ‖u‖ ≤ q}, Pr = {uP : ‖u‖ ≤ r}, Pr = {uP : ‖u‖ = r} for q > p > 0, r > 0.

Define the operator T as follows:

(20)
Clearly, T : P\{0}⟶C[0, 1].

Lemma 3. Suppose that (H1)–(H3) hold; then, for any q > p > 0, T : PpqP is completely continuous.

Proof. For any uPpq, we have p ≤ ‖u‖ ≤ q. It follows from the definition of cone P that

(21)

By (H2), (H3), and Lemma 2, we get that

(22)
(23)
which means that T is well defined. For any t ∈ [0, 1], we have from (23) that
(24)

Therefore,

(25)

On the other hand, it follows from Lemma 2 and (25) that

(26)

Thus, we have proven that T maps Ppq into P.

In the following, we are in the position to show that T is completely continuous. First, we prove that T is continuous. For with , we have . By (H1), we know

(27)

Similar to (22), for , we have

(28)

Thus,

(29)

It follows from (27), (29), (H3), and the Lebesgue-dominated convergence theorem that

(30)
which means that T is continuous.

Next, we will show that T is a compact operator. Let V be a bounded set in Ppq. For any uV, we have p ≤ ‖u‖ ≤ q. Similar to (23), we know

(31)
which means that T(V) is bounded uniformly. In the following, we shall prove that T(V) is equicontinuous. To this end, we estimate (Tu) for uV.
(32)

Thus, for any 0 ≤ t1t2 ≤ 1 and uV, one has

(33)

Thus, T(V) is equicontinuous. It follows from the Arzelà-Ascoli theorem that T(V) is relatively compact, and then, T is a compact operator. Hence, T : PpqP is completely continuous.

Lemma 4 (see [26].)Let E be a Banach space and PE a cone in E. Assume that T : PrP is a compact map such that Tuu for uPr,

  • (i)

    If ‖u‖ ≤ ‖Tu‖, ∀uPr, then

(34)
  • (ii)

    If ‖u‖ ≥ ‖Tu‖, ∀uPr, then

(35)

3. Main Result

Theorem 5. Assume that (H1)–(H5) hold. In addition, there exists R0 > 0 such that

(36)

Then, the BVP (1) has at least two positive solutions u and u∗∗ with 0 < ‖u‖ < R0 < ‖u∗∗‖.

Proof. It follows from Lemma 3 that for any q > p > 0, the operator T : PpqP is completely continuous. In the following, we shall prove that T has two different fixed points u and u∗∗ in P satisfying 0 < ‖u‖ < R0 < ‖u∗∗‖.

Choose θ ∈ (0, 1/2). We know from (H4) that there exists r1 > 0 such that

(37)

Let

(38)

For , we have, by the construction of cone P, that

(39)

It follows from (37) to (39) that

(40)

Thus,

(41)

Hence, by Lemma 4,

(42)

By condition (H4), there exists r2 > 0 such that

(43)

Choose

(44)

For , we have

(45)

Consequently, we have from (43) to (45) and (H5) that

(46)

Thus,

(47)

As a consequence, we get

(48)

On the other hand, for , by (H3), Lemma 2, and (36), we get

(49)

i.e.,

(50)

Then, Lemma 4 guarantees that

(51)

It follows from (42), (48), (51) and the additivity of the fixed point index that

(52)

Hence, T has two distinct fixed points u and u∗∗ belonging to and , respectively, with 0 < R2 < ‖u‖ < R0 < ‖u∗∗‖ ≤ R1.

4. An Example

Example 1. Consider the following fractional differential equations with nonlocal boundary value problems

(53)

Conclusion: BVP (53) has at least two positive solutions u and u∗∗ with 0 < ‖u‖ < 5 < ‖u∗∗‖.

Proof. In this problem, α = 11/3, n = 4, m = 2, β0 = 13/6, β1 = 2/3, β2 = 5/3, H1(t) = t for all t ∈ [0, 1], H2(t) = {0 for t ∈ [0, 1/2); 1 for t ∈ [1/2, 1]}. By simple computation, we have Δ = 1.852483495372207 > 0. It is clear that (H1) and (H2) are satisfied. Furthermore,

(54)
(55)
(56)
(57)

For any r > 0, (H3) holds for and

(58)

Thus, (H3) is verified. Obviously, (H4) and (H5) are valid for

Next, we focus on checking (36). Take R0 = 5. By (57), we know that

(59)

Hence,

(60)
which implies that (36) holds. Consequently, our conclusion follows from Theorem 5.

5. Conclusions

In this paper, we focus on the existence and multiplicity of positive solutions for a class of a higher-order Riemann-Liouville fractional differential equation with Riemann-Stieltjes integrals. The nonlinearity possesses singularities on both its time and space variables. By means of the fixed point index theory on cones, the existence result of at least two positive solutions is obtained. Conditions imposed on the nonlinearity are shown to be easy to verify by an example.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Authors’ Contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

Acknowledgments

The project is supported financially by the Project of Shandong Province Higher Educational Science and Technology Program (J18KA217), Supporting Fund for Teachers’ Research of Jining Medical University (JYFC2018KJ015), National Natural Science Foundation of China (11571296, 11571197, and 11871302), Foundation for NSFC Cultivation Project of Jining Medical University (2016-05), and Natural Science Foundation of Jining Medical University (JY2015BS07 and 2017JYQD22).

    Data Availability

    No data were used to support this study.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.