A Class of Nonlinear Boundary Value Problems for an Arbitrary Fractional-Order Differential Equation with the Riemann-Stieltjes Functional Integral and Infinite-Point Boundary Conditions

In this paper, we investigate the existence of an absolute continuous solution to a class of first-order nonlinear differential equation with integral boundary conditions (BCs) or with infinite-point BCs. The Liouville-Caputo fractional derivative is involved in the nonlinear function. We first consider the existence of a solution for the first-order nonlinear differential equation with m-point nonlocal BCs. The existence of solutions of our problems is investigated by applying the properties of the Riemann sum for continuous functions. Several examples are given in order to illustrate our results.


Introduction
Our objective in this article is to investigate the existence of absolute continuous solutions of the nonlocal first-order boundary value problem (BVP) with the nonlinear function involving the Liouville-Caputo fractional derivative: together with either the Riemann-Stieltjes functional integral boundary condition (with the advanced or deviated argument φ) given by 1 0 x φ(s) dg(s) = x 0 g : [0, 1] → [0, 1]; g(s) 0 Symmetry 2018, 10, 508 2 of 13 or the infinite-point boundary conditions given by where g : [0, 1] → [0, 1] is an increasing function, α ∈ (0, 1] and D α denotes the Liouville-Caputo fractional derivative of order α.The integral in (2) is the Riemann-Stieltjes type with respect to g(s).
In the case when g(s) = s, the Riemann-Stieltjes integral in the boundary condition given by (2) reduces to the relatively more familiar Riemann integral.
In the case when α = 1, the BVP (1) becomes the implicit differential problem given by under the Riemann-Stieltjes functional integral BC (2) or infinite-point BCs (3).
Our results in this article are based upon Kolmogorov's Compactness Criterion (see [1]) and upon Schauder's Fixed Point Theorem (see [2]).
Nonlinear BVPs with nonlocal multi-point BCs have received a lot of attention in recent years.In fact, various conditions are obtained for the existence of solutions by (for example) Alvan et al. [3], Benchohra et al. [4], Boucherif [5], El-Sayed and Bin-Taher [6], Gao and Han [7], Hamani et al. [8] and Nieto et al. [9] (see also the references to the related earlier works which are cited in each of these investigations).
The study of BVPs involving infinite-point BCs has become attractive recently.In the year 2011, Gao and Han [7] firstly studied the solutions to thefractional-order differential equation problem with infinite-point BCs.Ever since then, many significant and interesting cases of BVPs of fractional order were considered with infinite-point BCs by (for example) Ge et al. [26], Guo et al. [27], Hu and Zhang [28], Li et al. [29], Liu et al. [30], Zhang and Zhong [31] and Zhang [32] (see also to the references cited therein).In the year 2016, Xu and Yang [33] proposed a generalization of the PID controller and studied two kinds of fractional-order differential equations arising in control theory together with the infinite point boundary conditions.Their results can describe the corresponding control system accurately and also provide a platform for the understanding of our environment.However, investigations on the infinite-point BVPs for differential equations of fractional or integer order have gradually aroused people's attentions and interests, but such investigations are still not too many.
Motivated by the above-mentioned developments and results, we consider the BVP given by ( 1) and (2) or by (1) and (3).In each case, we determine sufficient conditions on f guaranteeing that the problem (1) under the Riemann-Stieltjes functional integral BC (2) or the problem (1) under infinite-point BC (3) has a solution.We first find the solutions of the problem (1) with the m-point BCs given by and then, by using the properties of the Riemann sum for continuous functions, we investigate the solutions of the BVP given by ( 1) and (2) as well as the BVP given by Equations ( 1) and (3).The solutions of our problems in the Carathéodory sense are given under some weak conditions on f , which are sufficiently general and easy to check.
Our work has the following salient features.Firstly, a unified investigation involving both the Riemann-Stieltjes integral as well as infinite points is presented here in the BCs of the BVP (1).Secondly, to the best of our knowledge, most (if not all) of the earlier works dealt with the Riemann-Stieltjes integral BCs or infinite-point BCs as separate cases.Here, if we have a way of getting the continuous solution of the m-point BVP, we can (in a simple way) get a solution to the BVP with the Riemann-Stieltjes integral or infinite points in the BCs.

Preliminaries
Let C(I) be the space of continuous functions defined on I with the norm given by and AC[0, 1] be the space of all absolutely continuous functions on [0, 1].
In addition, let L 1 (I) denote the class of the Lebesgue-integrable functions on the interval I = [0, 1] with the norm given by Definition 1.The Riemann-Liouville fractional integral of the function f ∈ L 1 [0, T] of order β > 0 is defined by (see [34,35]) Definition 2. The Caputo (or, more precisely, the Liouville-Caputo) fractional derivative of f (t) of order α (0 < α 1) is defined as follows (see [34,35]) We make several assumptions as detailed below: t, or continuous and deviated, φ(t) t.

(iii) There exists an integrable function
The boundary value problem given by (1) and ( 4) is equivalent to the following integral equation: where y(t) is the solution of fractional-order integral equation given by and Proof.We begin by considering the problem (1) with the m-point BCs in (4).If we put y(t) = x (t) in (1), then Definition 2 implies that We also have We now use the nonlocal condition (4) in order to compute the constant x(0).Indeed, upon setting t = φ(τ k ) ∈ (0, 1) in Equation ( 7), we get From Equation (4), we find that Substituting this last evaluation in Equation (7), we obtain formula (5).Finally, in order to complete the proof of the above Lemma, we show that Equation (5) satisfies problem (1) together with the m-point BCs in (4).In fact, from (5), we obtain In addition, upon differentiating (5) with respect to t, we have Again, from (5), we have This proves the equivalence between the nonlocal problem given by ( 1) and ( 2) and the integral Equation (5).
For the problem (1) with the m-point BCs (4), we prove Theorem 1 below.Then the problem (1) together with the m-point BCs in (4) has at least one solution x ∈ AC[0, 1] given by (5).
Proof.Let us define the operator T associated with Equation ( 6) by (Ty)(t) = f t, I 1−α y(t) .
In addition, for a positive number r, let .
Clearly, B r is nonempty, closed, convex and bounded.
From the assumption (i), we can deduce that the operator T is continuous.Suppose that y is an arbitrary element in B r .We will show that TB r ⊂ r.Indeed, from (6) and the assumptions (i) and (iii), we get which implies that TB r ⊂ B r .
We will now show that T is a compact operator.In fact, if we let Ω be a bounded subset of B r , then T(Ω) is clearly seen to be bounded in L 1 [0, 1], that is, the first condition of Kolmogorov's Compactness Criterion (see [1]) is satisfied.
We next prove that For each y ∈ Ω, we thus find that
As a consequence of Schauder's Fixed Point Theorem (see [2]), the operator T has a fixed point in B r .This proves the existence of the solution y ∈ L 1 [0, 1] of Equation ( 6).Consequently, based on the above Lemma, problem (1) together with the m-point BCs (4) possess a solution x ∈ AC(0, 1).Now, from Equation ( 5), we have Consequently, the nonlocal problem given by ( 1) and (4) has a solution x ∈ AC[0, 1] given by (5).

Riemann-Stieltjes Functional Integral BCs
Let x ∈ AC[0, 1] be a solution of the problem (1) with the m-point BCs in (4).Then, we have the following theorem.
Theorem 2. Suppose that the assumptions (i) to (iii is an increasing function, then there exists a solution x ∈ AC[0, 1] of the following problem: together with the Riemann-Stieltjes functional integral condition: Proof.Let Then, the multi-point nonlocal condition (4) becomes From the continuity of the solution x of the multi-point nonlocal problem given by ( 1) and ( 4), we can get Furthermore, the multi-point nonlocal boundary condition ( 4) can be transformed into the following Riemann-Stieltjes functional integral form: In addition, from the functional integral Equation ( 5), we have Hence, the continuous solution of the first-order nonlinear differential Equation ( 1) with the Riemann-Stieltjes functional integral condition (2) is given by (8).
We would like to provide two examples of the first order BVP (1) with the Riemann-Stieltjes functional integral boundary condition (2) (with the advanced or deviated argument φ) whose solutions are ensured by Theorem 2.
It is clear that the assumptions (i) and (iii) of Theorem 2 are fulfilled with Let the fractional order in (1 In this case, the first-order BVP (1) has the following form: Let the function g : [0, 1] → [0, 1] be defined by the formula g(t) = t ln (1 + t) .
Example 2. Let f (t, u), g(t), α and β be as in Example (1) and consider the deviated function φ(t) = βt.Then the functional integral condition (2) becomes Therefore, we can obtain the existence of a solution of ( 9) and (11).
We now consider another Riemann-Stieltjes nonlocal integral boundary condition.
Corollary 1.Let the assumptions of Theorem 2 be satisfied.Then there exists a solution x ∈ AC[0, 1] of the following problem: Proof.The proof of the above corollary is similar to that of Theorem 2. Here, in this case, we let

Infinite-Point Boundary Conditions
Let x ∈ AC[0, 1] be the solution of the nonlocal problem given by ( 1) and (4).Then, we have the following theorem.Theorem 3. Let the assumptions (i) and (iii) be satisfied and let Suppose also that the following series: is convergent.Then there exists a solution x ∈ AC[0, 1] of the nonlocal problem (1) and (3) given by the following integral equation: for every solution y of the functional equation (6).
Proof.Let x ∈ AC[0, 1] be a solution of the infinite point BVP ( 1) and (4) given by ( 5).Since by the comparison test, the series in (3) and are convergent.Thus, by taking the limit as m → ∞ in (5), we obtain which, for every solution y of the functional Equation ( 6), satisfies the differential Equation (1).Furthermore, from (12), we have This proves that the solution of the integral equation ( 12) satisfies the problem given by (1) under infinite-point BCs (3).

Further Illustrative Examples
In this section, we consider the following examples with a view to illustrating some of our main results.Example 3. Consider the following infinite-point BVP: We also set a Thus, clearly, assumptions (i) and (iii) are satisfied.
On the other hand, we have In addition, the following series:  On the other hand, if we let We also see that the following series:

Conclusions
In our present investigation, we have considered the existence of an absolute continuous solution to a class of first-order nonlinear differential equation with integral boundary conditions (BCs) or with infinite-point BCs (see Theorems 2 and 3 and the above Corollary).We have demonstrated that, if we can get the continuous solutions to BVPs with m-point BCs, we can easily get the solutions to these problems with integral BCs or with infinite-point BCs.Several examples have also been given in order to illustrate some of our main results.We note that the fractional differential Equation (1) involves the ordinary derivative dx dt of order 1 on its left-hand side.In the foreseeable future, we propose to investigate the possibility of extending our results to such other higher-order derivatives as

4 ,
• • • , occurring on the left-hand side of the fractional differential Equation (1), involving the Liouville-Caputo fractional derivatives together with integral BCs and/or the infinite-point BCs.
by appealing to Theorem 3, the given infinite-point BVP has an absolute continuous solution.