Next Article in Journal
Fibonacci and Lucas Numbers of the Form 2a + 3b + 5c + 7d
Next Article in Special Issue
On the Existence of the Solutions of a Fredholm Integral Equation with a Modified Argument in Hölder Spaces
Previous Article in Journal
A Low Rank Channel Estimation Scheme in Massive Multiple-Input Multiple-Output
Previous Article in Special Issue
Third-Order Hankel Determinant for Certain Class of Analytic Functions Related with Exponential Function
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

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

by
Hari M. Srivastava
1,2,*,
Ahmed M. A. El-Sayed
3 and
Fatma M. Gaafar
4
1
Department of Mathematics and Statistics, University of Victoria, Victoria, BC V8W 3R4, Canada
2
Department of Medical Research, China Medical University Hospital, China Medical University, Taichung 40402, Taiwan
3
Department of Mathematics, Faculty of Science, Alexandria University, Alexandria 21500, Egypt
4
Department of Mathematics, Faculty of Science, Damanhour University, Damanhour 22516, Egypt
*
Author to whom correspondence should be addressed.
Symmetry 2018, 10(10), 508; https://doi.org/10.3390/sym10100508
Submission received: 7 September 2018 / Revised: 12 October 2018 / Accepted: 14 October 2018 / Published: 16 October 2018
(This article belongs to the Special Issue Integral Transforms and Operational Calculus)

Abstract

:
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.

1. 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:
d x d t = f t , D α x ( t ) a . e . ( 0 < t < 1 ; 0 < α 1 ) ,
together with either the Riemann-Stieltjes functional integral boundary condition (with the advanced or deviated argument ϕ ) given by
0 1 x ϕ ( s ) d g ( s ) = x 0 g : [ 0 , 1 ] [ 0 , 1 ] ; g ( s ) 0
or the infinite-point boundary conditions given by
k = 1 a k x ϕ ( τ k ) = x 0 a k > 0 ; τ k ( 0 , 1 ) ; ϕ ( τ k ) τ k ,
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
d x d t = f t , d x d t a . e . ( 0 < t < 1 )
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).
BVPs with integral BCs arise naturally in semiconductor problems [10], thermal conduction problems [11], hydrodynamic problems [12], population dynamics model [13], and so on (see also [14]). Recently, these BVPs were extensively studied by (among others) Akcan and Çetin [15], Boucherif [16], Benchohra et al. [17], Chalishajar and Kumar [18], Dou et al. [19], Li and Zhang [20], Liu et al. [21], Song et al. [22], Tokmagambetov and Torebek [23], Wang et al. [24] and Yang and Qin [25] (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
k = 1 m a k x ϕ ( τ k ) = x 0 a k 0 ; 0 < τ k < 1 ,
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.

2. Preliminaries

Let C ( I ) be the space of continuous functions defined on I with the norm given by
| | x | | = sup t I | x ( t ) | ,
and A C [ 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
| | y | | L 1 = 0 1 y ( ξ ) d ξ .
Definition 1.
The Riemann-Liouville fractional integral of the function f L 1 [ 0 , T ] of order β > 0 is defined by (see [34,35])
I β f ( t ) = 1 Γ ( β ) 0 t ( t s ) β 1 f ( s ) d s .
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])
D α f ( t ) = I 1 α d d t f ( t ) = 1 Γ ( 1 α ) 0 t ( t s ) α d d s f ( s ) d s .

3. Existence of Solutions to (1) with the m -Point BCs (4)

Definition 3.
A function x is called a solution of problem ( 1 ) with the m-point BCs ( 4 ) if x A C [ 0 , 1 ] and satisfies ( 1 ) and ( 4 ) .
We make several assumptions as detailed below:
(i)
The function f : [ 0 , 1 ] × R R is a Carathéodory function, that is, it possesses the following properties:
(a)
For each t [ 0 , 1 ] , f ( t , · ) is continuous;
(b)
For each u R , f ( · , u ) is measurable.
(ii)
The function ϕ : [ 0 , 1 ] [ 0 , 1 ] is continuous and advanced, ϕ ( t ) t , or continuous and deviated, ϕ ( t ) t .
(iii)
There exists an integrable function a L 1 [ 0 , 1 ] and a constant b > 0 such that
| f ( t , u ) | a ( t ) + b | u | for each t [ 0 , 1 ] and u R
Lemma 1.
The boundary value problem given by ( 1 ) and ( 4 ) is equivalent to the following integral equation:
x ( t ) = A x 0 k = 1 m a k 0 ϕ ( τ k ) y ( ξ ) d ξ + 0 t y ( ξ ) d ξ ,
where y ( t ) is the solution of fractional-order integral equation given by
y ( t ) = f t , I 1 α y ( t ) t [ 0 , 1 ]
and
A = k = 1 m a k 1 .
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
y ( t ) = f t , I 1 α y ( t ) .
We also have
x ( t ) = x ( 0 ) + I 1 y ( t ) .
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
x ( ϕ ( τ k ) ) = 0 ϕ ( τ k ) y ( ξ ) d ξ + x ( 0 ) ,
so that we have
k = 1 m a k x ( ϕ ( τ k ) ) = k = 1 m a k 0 ϕ ( τ k ) y ( ξ ) d ξ + x ( 0 ) k = 1 m a k .
From Equation (4), we find that
x 0 = k = 1 m a k 0 ϕ ( τ k ) y ( ξ ) d ξ + x ( 0 ) k = 1 m a k ,
which yields
x ( 0 ) = A x 0 k = 1 m a k 0 ϕ ( τ k ) y ( ξ ) d ξ .
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
D α x ( t ) = I 1 α d d t { x ( t ) } = I 1 α y ( t ) .
In addition, upon differentiating (5) with respect to t, we have
d x d t = y ( t ) = f t , I 1 α y ( t ) = f t , D α x ( t ) .
Again, from (5), we have
k = 1 m a k x ϕ ( τ k ) = x 0 k = 1 m a k 0 ϕ ( τ k ) y ( ξ ) d ξ + k = 1 m a k 0 ϕ ( τ k ) y ( ξ ) d ξ = x 0 .
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.
Theorem 1.
Suppose that the assumptions (i) to (iii) are satisfied. If
b Γ ( 2 α ) < 1 ,
then the fractional-order integral equation ( 6 ) has a solution y L 1 [ 0 , 1 ] .
Suppose also that the coefficients a k satisfy the following inequality:
k = 1 m a k 0 .
Then the problem ( 1 ) together with the m-point BCs in ( 4 ) has at least one solution x A C [ 0 , 1 ] given by ( 5 ) .
Proof. 
Let us define the operator T associated with Equation (6) by
( T y ) ( t ) = f t , I 1 α y ( t ) .
In addition, for a positive number r, let
B r = { y : y L 1 ( I ) and | | y | | L 1 r } L 1 [ 0 , 1 ] ,
where
r | | a | | L 1 1 b Γ ( 2 α ) .
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 T B r r . Indeed, from (6) and the assumptions (i) and (iii), we get
| | T y | | L 1 = 0 1 | T y ( t ) | d t 0 1 | a ( t ) | d t + b 0 1 0 t ( t ξ ) α Γ ( 1 α ) | y ( ξ ) | d ξ d t | | a | | L 1 + b 0 1 ξ 1 ( t ξ ) α Γ ( 1 α ) d t | y ( ξ ) | d ξ | | a | | L 1 + b Γ ( 2 α ) y L 1 | | a | | L 1 + b Γ ( 2 α ) r r ,
which implies that T B 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
( T y ) h T y uniformly in L 1 [ 0 , 1 ] ( h 0 ) ,
where
( T y ) h ( t ) = 1 h t t + h ( T y ) ( ξ ) d ξ .
For each y Ω , we thus find that
| | ( T y ) h T y | | L 1 = 0 1 | ( T y ) h ( t ) ( T y ) ( t ) | d t = 0 1 | 1 h t t + h ( T y ) ( ξ ) d ξ ( T y ) ( t ) | d t 0 1 1 h t t + h | ( T y ) ( ξ ) ( T y ) ( t ) | d ξ d t 0 1 1 h t t + h | f ξ , I 1 α y ( ξ ) f t , I 1 α y ( t ) | d ξ d t .
By the assumptions (i) and (iii), y Ω implies that f L 1 [ 0 , 1 ] , so it follows that (see [36])
1 h t t + h | f ξ , I 1 α y ( ξ ) f t , I 1 α y ( t ) | d ξ 0 ( h 0 ) a . e . t [ 0 , 1 ] .
Then, by Kolmogorov’s Compactness Criterion (see [1]), we find that T ( Ω ) is relatively compact, that is, T is a compact operator.
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 A C ( 0 , 1 ) .
Now, from Equation (5), we have
x ( 0 ) = lim t 0 + x ( t ) = A x 0 A k = 1 m a k 0 ϕ ( τ k ) y ( ξ ) d ξ
and
x ( 1 ) = lim t 1 x ( t ) = A x 0 A k = 1 m a k 0 ϕ ( τ k ) y ( ξ ) d ξ + 0 1 y ( ξ ) d ξ ,
from which we deduce that Equation (5) has a solution x A C [ 0 , 1 ] .
Consequently, the nonlocal problem given by (1) and (4) has a solution x A C [ 0 , 1 ] given by (5). ☐

4. Riemann-Stieltjes Functional Integral BCs

Let x A C [ 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 ( i i i ) are satisfied. If
b Γ ( 2 α ) < 1
and g : [ 0 , 1 ] [ 0 , 1 ] is an increasing function, then there exists a solution x A C [ 0 , 1 ] of the following problem:
x ( t ) = f t , D α x ( t ) a . e . t ( 0 , 1 ) ; α ( 0 , 1 ] ,
together with the Riemann-Stieltjes functional integral condition:
0 1 x ϕ ( s ) d g ( s ) = x 0 ,
which is represented by
x ( t ) = [ g ( 1 ) g ( 0 ) ] 1 x 0 [ g ( 1 ) g ( 0 ) ] 1 · 0 1 0 ϕ ( s ) y ( ξ ) d ξ d g ( s ) + 0 t y ( ξ ) d ξ .
Proof. 
Let
a k = g ( t k ) g ( t k 1 ) τ k ( t k 1 , t k ) ; 0 t 0 < t 1 < t 2 , < t n 1 .
Then, the multi-point nonlocal condition (4) becomes
k = 1 m [ g ( t k ) g ( t k 1 ) ] x ϕ ( τ k ) = x 0 .
From the continuity of the solution x of the multi-point nonlocal problem given by (1) and (4), we can get
lim m k = 1 m g ( t k ) g ( t k 1 ) x ϕ ( τ k ) = 0 1 x ϕ ( s ) d g ( s ) .
Furthermore, the multi-point nonlocal boundary condition (4) can be transformed into the following Riemann-Stieltjes functional integral form:
0 1 x ϕ ( s ) d g ( s ) = x 0 .
In addition, from the functional integral Equation (5), we have
lim m x ( t ) = [ g ( 1 ) g ( 0 ) ] 1 x 0 [ g ( 1 ) g ( 0 ) ] 1 · lim m k = 1 m g ( t k ) g ( t k 1 ) 0 ϕ ( τ k ) y ( ξ ) d ξ + 0 t y ( ξ ) d ξ = [ g ( 1 ) g ( 0 ) ] 1 x 0 [ g ( 1 ) g ( 0 ) ] 1 · 0 1 0 ϕ ( s ) y ( ξ ) d ξ d g ( s ) + 0 t y ( ξ ) d ξ .
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.
Example 1.
Let the nonlinear function f ( t , u ) in ( 1 ) be given by
f ( t , u ) = cos 3 ( t + 1 ) + 1 5 t 3 sin u + e t u .
It is clear that the assumptions ( i ) and ( i i i ) of Theorem 2 are fulfilled with
a ( t ) = cos 3 ( t + 1 ) L 1 [ 0 , 1 ] a n d b = 2 5 .
Let the fractional order in ( 1 ) be α = 1 2 . Then
b Γ ( 2 α ) 0.4503338 < 1 .
In this case, the first-order BVP ( 1 ) has the following form:
d x d t = cos 3 ( t + 1 ) + 1 5 t 3 sin D 1 / 2 x ( t ) + e t D 1 / 2 x ( t ) .
Let the function g : [ 0 , 1 ] [ 0 , 1 ] be defined by the formula
g ( t ) = t ln 1 + t .
If β ( 0 , 1 ) , we consider the advanced function ϕ ( t ) = t β . Then, the integral condition ( 2 ) assumes the following form:
0 1 x t β d t ln ( 1 + t ) = x 0 .
Thus, clearly, one can obtain the existence of a solution of ( 9 ) and ( 10 ) .
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
0 1 x ( β t ) d t ln ( 1 + t ) = x 0 .
Therefore, we can obtain the existence of a solution of ( 9 ) and ( 10 ) .
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 A C [ 0 , 1 ] of the following problem:
x ( t ) = f t , D α x ( t ) a . e . t ( 0 , 1 ) ; α ( 0 , 1 ] ,
together with the Riemann-Stieltjes nonlocal integral condition given by
c d x ϕ ( s ) d g ( s ) = x 0 ( 0 < c < d < 1 ) ,
which is represented by
x ( t ) = [ g ( d ) g ( c ) ] 1 x 0 [ g ( d ) g ( c ) ] 1 · c d 0 ϕ ( s ) y ( ξ ) d ξ d g ( s ) + 0 t y ( ξ ) d ξ .
Proof. 
The proof of the above corollary is similar to that of Theorem 2. Here, in this case, we let
a k = g ( t k ) g ( t k 1 ) τ k ( t k 1 , t k ) ; 0 < c t 0 < t 1 < t 2 , < t n d < 1 .

5. Infinite-Point Boundary Conditions

Let x A C [ 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 ( i i i ) be satisfied and let
ϕ ( τ k ) τ k and b Γ ( 2 α ) < 1 .
Suppose also that the following series:
k = 1 a k = B 1
is convergent. Then there exists a solution x A C [ 0 , 1 ] of the nonlocal problem ( 1 ) and ( 3 ) given by the following integral equation:
x ( t ) = B x 0 B k = 1 a k 0 ϕ ( τ k ) y ( ξ ) d ξ + 0 t y ( ξ ) d ξ
for every solution y of the functional equation ( 6 ) .
Proof. 
Let x A C [ 0 , 1 ] be a solution of the infinite point BVP (1) and (4) given by (5). Since
| a k x ϕ ( τ k ) | a k | | x | | and a k 0 ϕ ( τ k ) y ( ξ ) d ξ a k | | y | | L 1 ,
by the comparison test, the series in (3) and
k = 1 a k 0 ϕ ( τ k ) y ( ξ ) d ξ
are convergent. Thus, by taking the limit as m in (5), we obtain
x ( t ) = B x 0 B k = 1 a k 0 ϕ ( τ k ) y ( ξ ) d ξ + 0 t y ( ξ ) d ξ ,
which, for every solution y of the functional Equation (6), satisfies the differential Equation (1). Furthermore, from (12), we have
k = 1 a k x ϕ ( τ k ) = B 1 B x 0 B 1 B k = 1 a k 0 ϕ ( τ k ) y ( ξ ) d ξ + k = 1 a k 0 ϕ ( τ k ) y ( ξ ) d ξ = x 0 .
This proves that the solution of the integral equation (12) satisfies the problem given by (1) under infinite-point BCs (3). ☐

6. 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:
d x d t = ln 1 + | D 2 / 3 x ( t ) | 2 + t 2 + t 3 e t 2 a . e . ( 0 < t < 1 )
together with
k = 1 1 k 3 x k 2 1 k 2 σ sin 2 k 2 1 k 2 ( 0 σ 1 ) .
If we set
f ( t , u ) = ln 1 + | u ( t ) | 2 + t 2 + t 3 e t 2 ,
then
| f ( t , u ) | t 3 e t 2 + 1 3 | u | .
We also set
a ( t ) = t 3 e t 2 L 1 [ 0 , 1 ] a n d b = 1 3 .
Thus, clearly, assumptions (i) and (iii) are satisfied.
On the other hand, we have
α = 2 3 s o t h a t b Γ ( 2 α ) 0.3731148 < 1 .
Now, if we let
ϕ ( τ k ) = τ k λ sin 2 τ k a n d τ k = k 2 1 k 2 ( 0 , 1 ) ,
then
ϕ ( τ k ) τ k .
In addition, the following series:
k = 1 a k = k = 1 1 k 3
is convergent. Therefore, by appealing to Theorem 3, the given infinite-point BVP has an absolute continuous solution.
Example 4.
Consider the following infinite-point implicit BVP:
d x d t = [ x ( t ) ] 3 2 ( 1 + | x ( t ) | 2 ) + 1 4 π sin π x ( t ) + cos t 3 + 3 a . e . 0 < t < 1 ; x ( t ) : = d x d t
together with
k = 1 10 3 4 k x 1 k 3 λ exp 1 k 3 ( 0 λ 1 ) .
If we set
f ( t , u ) = u 3 2 ( 1 + | u | 2 ) + 1 4 π sin π u + cos t 3 + 3 ,
then
| f ( t , u ) | cos t 3 + 3 + 3 4 | u | ,
Now, putting
a ( t ) = cos t 3 + 3 L 1 [ 0 , 1 ] and b = 3 4 ,
the assumptions (i) and (iii) hold true.
We have
α = 1 s o t h a t b Γ ( 2 α ) = 3 4 < 1 .
On the other hand, if we let
ϕ ( τ k ) = τ k λ exp τ k a n d τ k = 1 k 3 ( 0 , 1 ) ,
then
ϕ ( τ k ) τ k .
We also see that the following series:
k = 1 a k = 10 k = 1 2 3 k 1
is convergent. Therefore, by applying Theorem 3, the given infinite-point implicit BVP has an absolute continuous solution in [ 0 , 1 ] .

7. 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 d x d t 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
d 2 x d t 2 , d 3 x d t 3 , d 4 x d t 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.

Author Contributions

All authors contributed equally.

Funding

This research received no external funding.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Dugundji, J.; Granas, A. Fixed Point Theory; Monografie Mathematyczne: Warsaw, Poland, 1982. [Google Scholar]
  2. Deimling, K. Nonlinear Functional Analysis; Springer: Berlin/Heidelberg, Germany; New York, NY, USA, 1985. [Google Scholar]
  3. Alvan, M.; Darzi, R.; Mahmoodi, A. Existence results for a new class of boundary value problems of nonlinear fractional differential equations. Mathematics 2016, 4, 13. [Google Scholar] [CrossRef]
  4. Benchohra, M.; Hamani, S.; Ntouyas, S. Boundary value problems for differential equations with fractional order and nonlocal conditions. Nonlinear Anal. 2009, 71, 2391–2396. [Google Scholar] [CrossRef]
  5. Boucherif, A. First-order differential inclusions with nonlocal initial conditions. Appl. Math. Lett. 2002, 15, 409–414. [Google Scholar] [CrossRef]
  6. El-Sayed, A.M.A.; Bin-Taher, E.O. Positive solutions for a nonlocal multi-point boundary-value problem of fractional and second order. Electron. J. Differ. Equ. 2013, 2013, 64. [Google Scholar]
  7. Gao, H.; Han, X. Existence of positive solutions for fractional differential equation with nonlocal boundary condition. Int. J. Differ. Equ. 2011, 2011, 328394. [Google Scholar] [CrossRef]
  8. Hamani, S.; Benchora, M.; Graef, J.R. Existence results for boundary-value problems with nonlinear fractional differential inclusions and integral conditions. Electron. J. Q. Theory Differ. Equ. 2013, 20, 1–16. [Google Scholar]
  9. Nieto, J.J.; Ouahab, A.; Venktesh, V. Implicit fractional differential equations via the Liouville-Caputo derivative. Mathematics 2015, 3, 398–411. [Google Scholar] [CrossRef]
  10. Ionkin, N.I. Solution of a boundary value problem in heat conduction theory with nonlocal boundary conditions. Differ. Equ. 1977, 13, 294–304. [Google Scholar]
  11. Cannon, J.R. The solution of the heat equation subject to the specification of energy. Q. Appl. Math. 1963, 21, 155–160. [Google Scholar] [CrossRef] [Green Version]
  12. Chegis, R.Y. Numerical solution of a heat conduction problem with an integral boundary condition. Lietuvos Matematikos Rinkinys 1984, 24, 209–215. [Google Scholar]
  13. Wang, Y.; Liu, L.; Zhang, X.; Wu, Y. Positive solutions of an abstract fractional semipositone differential system model for bioprocesses of HIV infection. Appl. Math. Comput. 2015, 258, 312–324. [Google Scholar] [CrossRef]
  14. Cattani, C.; Srivastava, H.M.; Yang, X.-J. (Eds.) Fractional Dynamics; Emerging Science Publishers: Berlin, Germany; Warsaw, Poland, 2015. [Google Scholar]
  15. Akcan, U.; Çetin, E. The lower and upper solution method for three-point boundary value problems with integral boundary conditions on a half-line. Filomat 2018, 32, 341–353. [Google Scholar] [CrossRef]
  16. Boucherif, A. Second-order boundary value problems with integral boundary conditions. Nonlinear Anal. 2009, 70, 364–371. [Google Scholar] [CrossRef]
  17. Benchohra, M.; Nieto, J.J.; Ouahab, A. Second-order boundary value problem with integral boundary conditions. Bound. Value Prob. 2011, 2011, 260309. [Google Scholar] [CrossRef]
  18. Chalishajar, D.; Kumar, A. Existence, uniqueness and Ulam’s stability of solutions for a coupled system of fractional differential equations with integral boundary conditions. Mathematics 2018, 6, 96. [Google Scholar] [CrossRef]
  19. Dou, J.; Zhou, D.; Pang, H. Existence and multiplicity of positive solutions to a fourth-order impulsive integral boundary value problem with deviating argument. Bound. Value Prob. 2016, 2016, 166. [Google Scholar] [CrossRef]
  20. Li, Y.; Zhang, H. Solvability for system of nonlinear singular differential equations with integral boundary conditions. Bound. Value Prob. 2014, 2014, 158. [Google Scholar] [CrossRef] [Green Version]
  21. Liu, L.; Hao, X.; Wu, Y. Positive solutions for singular second order differential equations with integral boundary conditions. Math. Comput. Model. 2013, 57, 836–847. [Google Scholar] [CrossRef]
  22. Song, G.; Zhao, Y.; Sun, X. Integral boundary value problems for first order impulsive integro-differential equations of mixed type. J. Comput. Appl. Math. 2011, 235, 2928–2935. [Google Scholar] [CrossRef]
  23. Tokmagambetov, N.; Torebek, B.T. Well-posed problems for the fractional laplace equation with integral boundary conditions. Electron. J. Differ. Equ. 2018, 2018, 90. [Google Scholar]
  24. Wang, X.; Wang, L.; Zeng, Q. Fractional differential equations with integral boundary conditions. J. Nonlinear Sci. Appl. 2015, 8, 309–314. [Google Scholar] [CrossRef]
  25. Yang, W.; Qin, Y. Positive solutions for nonlinear Caputo type fractional q-difference equations with integral boundary conditions. Mathematics 2016, 4, 63. [Google Scholar] [CrossRef]
  26. Ge, F.; Zhou, H.; Kou, C. Existence of solutions for a coupled fractional differential equations with infinitely many points boundary conditions at resonance on an unbounded domain. Differ. Equ. Dyn. Syst. 2016, 24, 1–17. [Google Scholar] [CrossRef]
  27. Guo, L.; Liu, L.; Wu, Y. Existence of positive solutions for singular fractional differential equations with infinite-point boundary conditions. Nonlinear Anal. 2016, 21, 635–650. [Google Scholar] [CrossRef]
  28. Hu, L.; Zhang, S. Existence results for a coupled system of fractional differential equations with p-Laplacian operator and infinite-point boundary conditions. Bound. Value Prob. 2017, 2017, 88. [Google Scholar] [CrossRef]
  29. Li, B.; Sun, S.; Sun, Y. Existence of solutions for fractional Langevin equation with infinite-point boundary conditions. J. Appl. Math. Comput. 2017, 53, 683–692. [Google Scholar] [CrossRef]
  30. Liu, S.; Liu, J.; Dai, Q.; Li, H. Uniqueness results for nonlinear fractional differential equations with infinite-point integral boundary conditions. J. Nonlinear Sci. Appl. 2017, 10, 1281–1288. [Google Scholar] [CrossRef] [Green Version]
  31. Zhang, X. Positive solutions for a class of singular fractional differential equation with infinite-point boundary value conditions. Appl. Math. Lett. 2015, 39, 22–27. [Google Scholar] [CrossRef]
  32. Zhong, Q.; Zhang, X. Positive solution for higher-order singular infinite-point fractional differential equation with p-Laplacian. Adv. Differ. Equ. 2016, 2016, 11. [Google Scholar] [CrossRef]
  33. Xu, B.; Yang, Y. Eigenvalue intervals for infinite-point fractional boundary value problem and application in systems theory. Int. J. Circuits Syst. Signal Process. 2016, 10, 215–224. [Google Scholar]
  34. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; North-Holland Mathematical Studies; Elsevier (North-Holland) Science Publishers: Amsterdam, The Netherlands; London, UK; New York, NY, USA, 2006; Volume 204. [Google Scholar]
  35. Srivastava, H.M.; Saad, K.M. Some new models of the time-fractional gas dynamics equation. Adv. Math. Models Appl. 2018, 3, 5–17. [Google Scholar]
  36. Swartz, C. Measure, Integration and Functional Spaces; World Scientific Publishing Company: Singapore, 1994. [Google Scholar]

Share and Cite

MDPI and ACS Style

Srivastava, H.M.; El-Sayed, A.M.A.; Gaafar, F.M. 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. Symmetry 2018, 10, 508. https://doi.org/10.3390/sym10100508

AMA Style

Srivastava HM, El-Sayed AMA, Gaafar FM. 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. Symmetry. 2018; 10(10):508. https://doi.org/10.3390/sym10100508

Chicago/Turabian Style

Srivastava, Hari M., Ahmed M. A. El-Sayed, and Fatma M. Gaafar. 2018. "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" Symmetry 10, no. 10: 508. https://doi.org/10.3390/sym10100508

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop