Abstract
In this paper, we discuss the existence and uniqueness of solutions for a RiemannLiouville type fractional differential equation with nonlocal fourpoint RiemannLiouville fractionalintegral boundary conditions by means of classical fixed point theorems. An illustration of main results is also presented with the aid of some examples.
MSC: 34A08, 34B10, 34B15.
Keywords:
fractional differential equations; nonlocal fractionalintegral boundary conditions; existence; fixed point1 Introduction
In recent years, boundary value problems of nonlinear fractional differential equations with a variety of boundary conditions have been investigated by many researchers. Fractional differential equations appear naturally in various fields of science and engineering and constitute an important field of research [14]. As a matter of fact, fractional derivatives provide an excellent tool for the description of memory and hereditary properties of various materials and processes. This is one of the characteristics of fractionalorder differential operators that contributes to the popularity of the subject and has motivated many researchers and modelers to shift their focus from classical models to fractional order models. In consequence, there has been a significant progress in the theoretical analysis like periodicity, asymptotic behavior and numerical methods for fractional differential equations. Some recent work on the topic can be found in [520] and the references therein.
Fractional boundary conditions (FBC) involving fractional derivative of order describe an intermediate boundary between the perfect electric conductor (PEC) and the perfect magnetic conductor (PMC), whereas and in FBC correspond to PEC and PMC, respectively. Fractional boundary conditions (FBC) are also matched with impedance boundary conditions (IBC) in the sense that the fractional order and in FBC correspond to the value of impedance and . Recall that the value of the impedance Z varies from 0 for PEC to i∞ for PMC. For more details, see [21].
In [22], the authors recently studied a problem of RiemannLiouville fractional differential equations with fractional boundary conditions:
where denotes the RiemannLiouville fractional derivative of order α and and .
In this paper, motivated by [22], we study a fully RiemannLiouville fractional nonlocal integral boundary value problem given by
where denotes the RiemannLiouville fractional derivative of order α, f is a given continuous function, denotes the RiemannLiouville integral of order β, and a, A, b, and B are real constants.
The paper is organized as follows. In Section 2, we establish an auxiliary lemma which is needed to define the solutions of the given problem. Section 3 contains main results. In Section 4, we discuss some examples for the illustration of the main results.
2 Preliminaries
Let us recall some basic definitions of fractional theory.
Definition 2.1 The RiemannLiouville fractional integral of order α for a continuous function is defined as
provided the integral exists.
Definition 2.2 For a continuous function , the RiemannLiouville derivative of fractional order is defined as
, where denotes the integer part of the real number α.
Lemma 2.1For, the solution of, subject to the boundary conditions given by (1.1) is
where
Proof For arbitrary constants , it is well known that the general solution of the equation , , can be written as
From (2.3), we have
where ϱ denotes ξ or η. Applying the given boundary conditions, we get
Solving the system of equations (2.6) for , , we find that
Substituting these values in (2.3), we get
where , , , and δ are given by (2.2). This completes the proof. □
3 Existence results
Let denote the Banach space of all continuous realvalued functions defined on with the norm . For , define , , and let be the space of all functions such that which turns out to be a Banach space when endowed with the norm .
Observe that problem (1.1) has solutions only if the operator has fixed points.
To establish the first existence result, we need the following fixed point theorem.
Theorem 3.1 ([23])
LetEbe a Banach space. Letbe a completely continuous operator, and let the setbe bounded. Then the operatorThas a fixed point inE.
Theorem 3.2Assume that there exists a constantsuch that, , . Then problem (1.1) has at least one solution in the space.
Proof As a first step, we show that the operator is completely continuous. The continuity of follows from the continuity of f. Let ℋ be a bounded set in . Hence ℋ is bounded on . Then, , , we have
which implies that . Hence is uniformly bounded. Also, for , , we have
Thus and hence is equicontinuous. So, by the ArzelaAscoli theorem, is completely continuous. Next, we consider the set
and show that V is bounded. For , we have
This implies that the set V is bounded independently of . Therefore, Theorem 3.1 applies and problem (1.1) has at least one solution on . This completes the proof. □
Theorem 3.3Assume that there exists a constantsuch that
then problem (1.1) has a unique solution inif, where
By the definition of , we obtain
It follows that is a contraction. Hence, by the Banach contraction theorem, problem (1.1) has a unique solution in . This completes the proof. □
Our next existence result is based on LeraySchauder nonlinear alternative [24].
Lemma 3.1 (LeraySchauder’s nonlinear alternative type)
LetEbe a Banach space, Mbe a closed, convex subset ofE, Ube an open subset ofCand. Suppose thatis a continuous, compact (that is, is a relatively compact subset ofC) map. Then either (i) Fhas a fixed point inor (ii) there areandwith.
Theorem 3.4Letbe a continuous function. Furthermore, assume that:
(A_{1}) There exist a functionand a nondecreasing functionsuch that, ;
(A_{2}) There exists a constantsuch that
whereνis given by (3.2).
Then boundary value problem (1.1) has at least one solution.
Proof First we shall show that the operator defined by (3.1) maps bounded sets into bounded ones in . For , let be a bounded set in . Then, for , we have
where ν is given by (3.2).
Next, we shall show that the operator maps bounded sets into equicontinuous sets. Let with and . Then we have
which tends to zero independently of as . Thus is completely continuous. Now let u be a solution of problem (1.1), then for and , we have
which can be rewritten as
By assumption (A_{2}), there exists M such that . Let us set
Note that the operator is completely continuous and by the definition of , there is no such that for some . In consequence, by Lemma 3.1, we conclude that has at least one fixed point , which is a solution of problem (1.1). □
4 Examples
Example 4.1 Consider the following fractional integral boundary value problem:
Since
therefore, Theorem 3.2 applies and problem (4.1) has at least one solution on .
Example 4.2 Consider the problem
(ν is given by (3.2)) and in consequence, . Thus, all the assumptions of Theorem 3.3 are satisfied. Therefore, by the conclusion of Theorem 3.3, there exists a unique solution for problem (4.2).
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Each of the authors, BA, AA, AAS and RPA contributed to each part of this work equally and read and approved the final version of the manuscript.
Acknowledgements
This research was partially supported by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia.
References

Podlubny, I: Fractional Differential Equations, Academic Press, San Diego (1999)

Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations, Elsevier, Amsterdam (2006)

Sabatier J, Agrawal OP, Machado JAT (eds.): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering, Springer, Dordrecht (2007)

Baleanu, D, Diethelm, K, Scalas, E, Trujillo, JJ: Fractional Calculus Models and Numerical Methods, World Scientific, Boston (2012)

Ahmad, B, Nieto, JJ: RiemannLiouville fractional integrodifferential equations with fractional nonlocal integral boundary conditions. Bound. Value Probl.. 2011, (2011) Article ID 36

Ahmad, B, Ntouyas, SK: A fourpoint nonlocal integral boundary value problem for fractional differential equations of arbitrary order. Electron. J. Qual. Theory Differ. Equ.. 2011, (2011) Article ID 22

Zhang, X, Wang, L: Nontrivial solutions for a class of fractional differential equations with integral boundary conditions and a parameter in a Banach space with lattice. Abstr. Appl. Anal.. 2012, (2012) Article ID 391609

GuezaneLakoud, A, Khaldi, R: Solvability of a fractional boundary value problem with fractional integral condition. Nonlinear Anal.. 75, 2692–2700 (2012). Publisher Full Text

Sudsutad, W, Tariboon, J: Boundary value problems for fractional differential equations with threepoint fractional integral boundary conditions. Adv. Differ. Equ.. 2012, (2012) Article ID 93

Ahmad, B, Ntouyas, SK, Alsaedi, A: On fractional differential inclusions with antiperiodic type integral boundary conditions. Bound. Value Probl.. 2013, (2013) Article ID 82

Fu, D, Ding, W: Existence of positive solutions of thirdorder boundary value problems with integral boundary conditions in Banach spaces. Adv. Differ. Equ.. 2013, (2013) Article ID 65

Vong, S: Positive solutions of singular fractional differential equations with integral boundary conditions. Math. Comput. Model.. 57, 1053–1059 (2013). Publisher Full Text

Alsaedi, A, Ntouyas, SK, Ahmad, B: Existence results for Langevin fractional differential inclusions involving two fractional orders with fourpoint multiterm fractional integral boundary conditions. Abstr. Appl. Anal.. 2013, (2013) Article ID 869837

Baleanu, D, Rezapour, S, Mohammadi, H: Some existence results on nonlinear fractional differential equations. Philos. Trans. R. Soc. A, Math. Phys. Eng. Sci.. 371(1990), (2013) Article ID 20120144

Baleanu, D, Mustafa, OG, O’Regan, D: A uniqueness criterion for fractional differential equations with Caputo derivative. Nonlinear Dyn.. 71, 635–640 (2013). Publisher Full Text

Darzi, R, Mohammadzadeh, B, Neamaty, A, Baleanu, D: Lower and upper solutions method for positive solutions of fractional boundary value problems. Abstr. Appl. Anal.. 2013, (2013) Article ID 847184

Zhou, WX, Chu, YD, Baleanu, D: Uniqueness and existence of positive solutions for a multipoint boundary value problem of singular fractional differential equations. Adv. Differ. Equ.. 2013, (2013) Article ID 114

Wang, G, Ahmad, B, Zhang, L, Agarwal, RP: Nonlinear fractional integrodifferential equations on unbounded domains in a Banach space. J. Comput. Appl. Math.. 249, 51–56 (2013)

Ahmad, B, Ntouyas, SK, Alsaedi, A: A study of nonlinear fractional differential equations of arbitrary order with RiemannLiouville type multistrip boundary conditions. Math. Probl. Eng.. 2013, (2013) Article ID 320415

Liu, Y, He, T, Shi, H: Three positive solutions of SturmLiouville boundary value problems for fractional differential equations. Differ. Equ. Appl.. 5, 127–152 (2013)

Eldar, V, Turab, A, Maksym, I: Fractional operators approach and fractional boundary conditions. In: Zhurbenko V (ed.) Electromagnetic Waves (2011) InTech

Ahmad, B, Nieto, JJ: RiemannLiouville fractional differential equations with fractional boundary conditions. Fixed Point Theory. 13, 329–336 (2012)

Smart, DR: Fixed Point Theorems, Cambridge University Press, Cambridge (1980)

Granas, A, Dugundji, J: Fixed Point Theory, Springer, New York (2005)