Multiple positive solutions of fractional differential equations with improper integral boundary conditions on the half-line

This paper investigates the existence of positive solutions for a class of fractional boundary value problems involving an improper integral and the infinite-point on the half-line by making use of properties of the Green function and Avery–Peterson fixed point theorem. In addition, an example is presented to illustrate the applicability of our main result.


Introduction
Fractional differential equations describe various phenomena in diverse areas of natural science such as physics, polymer rheology, biology, mechanics, epidemiology, and other fields, see [1][2][3][4][5][6].Over the last few decades, the study of fractional calculus and fractional differential equations had been gaining more and more attention because researchers have found that fractional-order models are more suitable than integer-order models for some realistic problems due to their excellent description of the memory and hereditary properties of numerous materials and processes.Compared with classical integer-order models, the main advantage of fractional differential equations is the accuracy of description of the real world.
Recently, lots of papers on fractional differential equations with finite domain have appeared [7][8][9][10][11][12].By means of many methods, such as the variational method, the upper and lower solution technique, Legett-Williams fixed point theorem, and so on, the existence results of solutions for boundary value problems of fractional differential equations have been obtained.While much of the work on fractional calculus deals with finite domain, there is a considerable development on the topics involving an unbounded domain [13][14][15][16][17][18][19].
In [21], the authors considered the fractional differential equation with integral boundary value condition on the half line: where They got the existence of at least three positive solutions from the generalized Avery-Henderson fixed point theorem.
Through the discussions of (1.1) and (1.2), an interesting question is proposed: whether the positive solution still exists and what kind of properties it has for a fractional boundary value problem with f (t, x(t), x (t)) and the infinite-point?As far as we know, there is no answer to this question, which inspired us to study the following problem on an infinite interval: where 2 < β ≤ 3, 0 ≤ γ ≤ β -1, and In this paper, we make the following assumptions: In the study of radially symmetric solutions of nonlinear elliptic equations and gas pressure models in semiinfinite porous media, the problem of boundary values on the half-line arises naturally.It is well known that there are not many studies of fractional differential systems on an infinite interval, although it is necessary to do so.
In this paper, we aim to obtain the existence of positive solutions for system (1.3) on an infinite interval.In contrast to the existing research, we study the system with an improper integral and infinite-point boundary value conditions on the half-line, which is more general than those of multipoint boundary value conditions in the known papers.What is more, the method which we use in this paper is Avery-Peterson fixed point theorem, and multiple positive solutions are obtained for the system (1.3).
The remainder of the paper is arranged as follows.In Sect.2, we introduce and derive several key definitions, lemmas, and properties.In Sect.3, we investigate the existence and multiplicity of positive solutions to boundary value problem (1.3).In Sect.4, an example is displayed to demonstrate the applicability of our main results.Finally, we conclude this paper.

Preliminaries
For the convenience of the reader, we introduce here some indispensable definitions and properties which will play an important role in the following sections.

Lemma 5 If (H 3 ) holds, the function G(t, s) in Lemma 3 satisfies the following properties:
(1) For 0 ≤ t ≤ s < +∞, it is easy to show that G(t, s) ≥ 0.
In the same way as for G(t, s), we obtain ∂ ∂t G(t, s) ≥ 0 for all t, s ∈ [0, +∞).
(4) For 0 ≤ s < 1 k , combining with the increasingness of z(s), we have By simple analysis, we find and . Thus , that is, .
For s > k, .
In conclusion, The proof is completed.Now, we consider the space E defined by The set U is relatively compact in E if U(t) and U (t) are both equicontinuous on any finite subinterval of R + and equiconvergent at ∞, that is, for any > 0, there exists δ = δ( ) > 0 such that x(t 1 ) Lemma 7 ([24]) Let K be a cone in a real Banach space E. Let ω and μ be nonnegative continuous convex functionals on K , θ be a nonnegative continuous concave functional on K , and φ be a nonnegative continuous functional on K satisfying φ( x) ≤ φ(x) for all 0 ≤ ≤ 1, such that for some numbers N > 0 and C > 0, for all x ∈ K(ω, C).Let l, b, r > 0 and define the following convex sets: and a closed set Then T has at least three fixed points x l , x 2 ,

Main results
Define a cone K = {x ∈ E, x(t) ≥ 0, x (t) ≥ 0, t ∈ [0, +∞)} and the operator T : K → E as follows: We can deduce that the fixed point of the operator T is a solution of the boundary value problem (1.3) from Lemma 3.
Proof To complete the proof, we divide it into the following five steps: Step 1.We will show that T : K → K .Clearly, Due to the continuity and nonnegativity of G(t, s), ∂ ∂t G(t, s), a(t), and f (t, x, y), we know that T x(t) ≥ 0 and T x (t) ≥ 0 are continuous with respect to t ∈ [0, +∞).Applying (3) of Lemma 5 and (H 1 ), (H 2 ), for any fixed x ∈ K , we get ), and then there exists α x > 0 such that As a result, T (K) ⊂ K .
Step 2. We will check the continuity of T .Let {x n } ⊂ E with x n → x, x n → x as n → +∞.Hence, there exists a positive constant r 0 such that With the help of Lemma 5, the continuity of f , and Lebesgue dominated convergence theorem, we have and Therefore which implies that T is continuous.
Step 3. Let P ⊂ K be a bounded set, then there exists a positive constant k 1 such that x ≤ k 1 for any x ∈ P. By (H 1 ), let Next, we will prove T (P) is bounded.For all x ∈ P, from Lemma 5, we get In a similar manner, we establish for all x ∈ P. It follows that T (P) is uniformly bounded.
Step 5. We will prove that the sets For all x ∈ U, Moreover, we get Accordingly, { T x(t) 1+t β-1 , x ∈ P} and { T x (t) 1+t β-1 , x ∈ P} are equiconvergent at t → +∞.As a result, T : K → K is completely continuous by Lemma 6.The proof is completed.
Next, we will prove the existence of at least three positive solutions by making use of Avery-Peterson theorem.For convenience, we denote and define where x ∈ K .

Conclusions
This paper is devoted to the study of a class of fractional boundary value problems which involve an improper integral and the infinite-point on the half-line.Thanks to Avery-Peterson fixed point theorem, we have presented sufficient conditions that demonstrate the existence of at least three positive solutions.The new results generalize some existing results in the literature.From the discussion and results in this paper, we conclude that Avery-Peterson fixed point theorem is an effective method to deal with the multiplicity of positive solutions of fractional boundary value problems on the half-line.