Abstract and Applied Analysis

Volume 2015, Article ID 205452, 10 pages

http://dx.doi.org/10.1155/2015/205452

## New Existence Results for Fractional Integrodifferential Equations with Nonlocal Integral Boundary Conditions

^{1}Nonlinear Analysis and Applied Mathematics (NAAM) Research Group, Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia^{2}Department of Mathematics, University of Ioannina, 451 10 Ioannina, Greece

Received 15 June 2014; Accepted 14 October 2014

Academic Editor: Erdal Karapinar

Copyright © 2015 Ahmed Alsaedi et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We consider a boundary value problem of fractional integrodifferential equations with new nonlocal integral boundary conditions of the form: , and . According to these conditions, the value of the unknown function at the left end point is proportional to its value at a nonlocal point while the value at an arbitrary (local) point is proportional to the contribution due to a substrip of arbitrary length . These conditions appear in the mathematical modelling of physical problems when different parts (nonlocal points and substrips of arbitrary length) of the domain are involved in the input data for the process under consideration. We discuss the existence of solutions for the given problem by means of the Sadovski fixed point theorem for condensing maps and a fixed point theorem due to O’Regan. Some illustrative examples are also presented.

#### 1. Introduction

We consider a boundary value problem of fractional differential equations with nonlocal integral boundary conditions given bywhere denotes the Caputo fractional derivative of order , is a given continuous function, , , and , , , are real constants.

Here we remark that the boundary conditions introduced in the problem (1) are of nonlocal strip type and describe the situation when the receptors at the end points of the boundary are influenced by the nonlocal contributions due to interior points and strips of the domain for the problem. For practical examples, see [1, 2]. The problem (1) can also be termed as a five-point nonlocal fractional boundary value problem.

In recent years, several aspects of fractional boundary value problems, ranging from theoretical analysis to numerical simulation, have been investigated. The nonlocal nature of fractional order differential operators has significantly contributed to the popularity and development of the subject. As a matter of fact, this characteristic of such operators help to understand the memory and hereditary properties of many useful materials and processes. For details and applications of fractional differential equations in physical and technical sciences such as biology, physics, biophysics, chemistry, statistics, economics, blood flow phenomena, control theory, and signal and image processing, see [3–6]. For some recent works on nonlocal fractional boundary value problems, we refer the reader to the papers [7–11], while the results based on monotone method for such problems can be found in [12, 13]. In [14], the limit properties of positive solutions of fractional boundary value problems have been discussed. Fractional differential inclusions supplemented with different kinds of boundary conditions have also been studied by several researchers, for instance, see [15–20].

The paper is organized as follows. In Section 2, we recall some basic definitions from fractional calculus and establish an auxiliary lemma which plays a pivotal role in the sequel. Section 3.1 contains an existence result for the problem (1) which is established by applying Sadovskii’s fixed point theorem for condensing maps. In Section 3.2, we show the existence of solutions for the problem (1) by means of a fixed point theorem due to O’Regan.

#### 2. Preliminaries

In this section, some basic definitions on fractional calculus and an auxiliary lemma are presented [3, 4].

*Definition 1. *The Riemann-Liouville fractional integral of order for a continuous function is defined asprovided the integral exists.

*Definition 2. *For at least -times continuously differentiable function , the Caputo derivative of fractional order is defined aswhere denotes the integer part of the real number .

Lemma 3. *For any the unique solution of the linear fractional boundary value problem**is**where*

*Proof. *It is well known that the general solution of the fractional differential equation in (4) can be written aswhere are arbitrary constants.

Applying the given boundary conditions, we obtain the following systemfrom which we getSubstituting the values of in (7), we get (5). This completes the proof.

*3. Existence Results*

*We denote by the Banach space of all continuous functions from endowed with the norm defined by . Also by we denote the Banach space of measurable functions which are Lebesgue integrable and normed by .*

*In the following we will give two existence results for the problem (1), one with the help of Sadovskii’s fixed point theorem and the other based on a fixed point theorem due to O’Regan in [21].*

*3.1. Existence Results via Sadovskii’s Fixed Point Theorem*

*Definition 4. *Let be a bounded set in metric space ; then Kuratowskii measure of noncompactness, , is defined as covered by finitely many sets such that the diameter of each set .

*Definition 5 (see [22]). *Let be a bounded and continuous operator on Banach space . Then is called a condensing map if for all bounded sets , where denotes the Kuratowski measure of noncompactness.

*Lemma 6 (see [23, Example 11.7]). The map is a -set contraction with and is thus condensing, if(i) are operators on the Banach space ;(ii) is -contractive; that is,for all and fixed ;(iii) is compact.*

*Theorem 7 (see [24]). Let be a convex, bounded, and closed subset of a Banach space and let be a condensing map. Then has a fixed point.*

*In view of Lemma 3, we define an operator bywhere*

*Theorem 8. Let be continuous functions satisfying the following conditions.(H_{1}) satisfies the Lipschitz condition:(H_{2})there exist a function and a nondecreasing function such thatThen the boundary value problem (1) has at least one solution provided that*

*Proof. *Let be a closed bounded and convex subset of , where will be fixed later. We define a map aswhere and are defined by (12) and (13), respectively. Notice that the problem (1) is equivalent to a fixed point problem .*Step 1 *. For that, we set and select , whereUsing , for , we getwhere we have used the following relations:Consequentlywhich implies that .*Step 2 (** is continuous and **-contractive).* To show the continuity of for , let us consider a sequence converging to . Then, by the assumption , we haveNext, we show that is -contractive. For , we getBy the given assumptionit follows that is -contractive.*Step 3 (** is compact).* In Step 1, it has been shown that is uniformly bounded. Now we show that maps bounded sets into equicontinuous sets of . Let with and . Then we obtainObviously the right hand side of the above inequality tends to zero independently of as . Therefore it follows by the Arzelá-Ascoli theorem that is completely continuous. Thus is compact on .*Step 4 (** is condensing).* Since is continuous, -contractive and is compact, by Lemma 6, with is a condensing map on .

Consequently, by Theorem 7, the map has a fixed point which, in turn, implies that the problem (1) has a solution.

*Example 9. *Consider a nonlocal integral boundary value problem of fractional integrodifferential equations given bywhere , and .

*Clearly as , and with and . Furthermore , and the condition (16) yields . Thus all the conditions of Theorem 8 are satisfied and consequently the problem (26) has a solution.*

*3.2. Existence Results via O’Regan’s Fixed Point Theorem*

*3.2. Existence Results via O’Regan’s Fixed Point Theorem*

*Our next existence result relies on a fixed point theorem due to O’Regan in [21].*

*Lemma 10. Denote by an open set in a closed, convex set of a Banach space . Assume . Also assume that is bounded and that is given by , in which is continuous and completely continuous and is a nonlinear contraction (i.e., there exists a nonnegative nondecreasing function satisfying for , such that for all ). Then, either(C1) has a fixed point , or(C2)there exist a point and with , where and , respectively, represent the closure and boundary of .*

*For convenience we set*

*Letand denote the maximum number by*

*Theorem 11. Let be continuous functions. Assume that(A_{1})there exist a nonnegative function and a nondecreasing function such that(A_{2})there exist a positive constant and a continuous function such that and for all and ;(A_{3}), where .Then the boundary value problem (1) has at least one solution on .*

*Proof. *By the assumption (A_{3}), there exists a number such thatWe will show that the operators and defined by (12) and (13), respectively, satisfy all the conditions of Lemma 10. The proof consists of a series of steps.*Step 1 (the operator ** is continuous and completely continuous).* We first show that is bounded. For any , we haveThus the operator is uniformly bounded. For any , we havewhich is independent of and tends to zero as . Thus, is equicontinuous. Hence, by the Arzelá-Ascoli theorem, is a relatively compact set. Now, let with . Then the limit is uniformly valid on . From the uniform continuity of on the compact set , it follows that is uniformly valid on . Hence as . This shows the continuity of .*Step 2 (the operator ** is contractive).* ConsiderThis, together with (A_{2}), implies thatso is a nonlinear contraction.*Step 3 (the set ** is bounded).* Using the inequalitywe havefor any . This, with the boundedness of the set , implies that the set is bounded.*Step 4 (finally, it will be shown that the case (C2) in Lemma 10 does not hold).* On the contrary, we suppose that (C2) holds. Then, we have that there exist and such that . So, we have andUsing the assumptions (A_{1}) and (A_{2}), we getwhich leads to a contradiction:Thus the operators and satisfy all the conditions of Lemma 10. Hence, the operator has at least one fixed point , which is the solution of the problem (1). This completes the proof.

*Example 12. *Consider a nonlocal integral boundary value problem of fractional integrodifferential equations given bywhere , and .

*Observe that , and . Further, we set , and . With the given data, it is found that , andClearly, all the conditions of Theorem 11 are satisfied and hence there exists a solution for the problem (41).*

*Conflict of Interests*

*Conflict of Interests*

*The authors declare that there is no conflict of interests regarding the publication of this paper.*

*Acknowledgment*

*Acknowledgment*

*This article was funded by Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia. The authors, therefore, acknowledge technical and financial support of KAU.*

*References*

*References*

- G. S. Wang and A. F. Blom, “A strip model for fatigue crack growth predictions under general load conditions,”
*Engineering Fracture Mechanics*, vol. 40, no. 3, pp. 507–533, 1991. View at Publisher · View at Google Scholar · View at Scopus - B. Ahmad, T. Hayat, and S. Asghar, “Diffraction of a plane wave by an elastic knife-edge adjacent to a strip,”
*The Canadian Applied Mathematics Quarterly*, vol. 9, pp. 303–316, 2001. View at Google Scholar - I. Podlubny,
*Fractional Differential Equations*, Academic Press, San Diego, Calif, USA, 1999. View at MathSciNet - A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo,
*Theory and Applications of Fractional Differential Equations*, North-Holland Mathematics Studies, Elsevier Science, Amsterdam, The Netherlands, 2006. View at MathSciNet - J. Sabatier, O. P. Agrawal, and J. A. T. Machado, Eds.,
*Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering*, Springer, Dordrecht, The Netherlands, 2007. - D. Baleanu, K. Diethelm, E. Scalas, and J. J. Trujillo,
*Fractional Calculus Models and Numerical Methods*, Series on Complexity, Nonlinearity and Chaos, World Scientific, Boston, Mass, USA, 2012. - M. Benchohra, S. Hamani, and S. K. Ntouyas, “Boundary value problems for differential equations with fractional order and nonlocal conditions,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 71, no. 7-8, pp. 2391–2396, 2009. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - W. Zhong and W. Lin, “Nonlocal and multiple-point boundary value problem for fractional differential equations,”
*Computers & Mathematics with Applications*, vol. 59, no. 3, pp. 1345–1351, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - B. Ahmad and S. Sivasundaram, “On four-point nonlocal boundary value problems of nonlinear integro-differential equations of fractional order,”
*Applied Mathematics and Computation*, vol. 217, no. 2, pp. 480–487, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - B. Ahmad, “On nonlocal boundary value problems for nonlinear integro-differential equations of arbitrary fractional order,”
*Results in Mathematics*, vol. 63, no. 1-2, pp. 183–194, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - B. Ahmad and J. J. Nieto, “Sequential fractional differential equations with three-point boundary conditions,”
*Computers & Mathematics with Applications*, vol. 64, no. 10, pp. 3046–3052, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - J. R. Graef, L. Kong, and Q. Kong, “Application of the mixed monotone operator method to fractional boundary value problems,”
*Fractional Differential Calculus*, vol. 2, no. 1, pp. 87–98, 2012. View at Publisher · View at Google Scholar - C. Hu, B. Liu, and S. Xie, “Monotone iterative solutions for nonlinear boundary value problems of fractional differential equation with deviating arguments,”
*Applied Mathematics and Computation*, vol. 222, pp. 72–81, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - S. Staněk, “Limit properties of positive solutions of fractional boundary value problems,”
*Applied Mathematics and Computation*, vol. 219, no. 5, pp. 2361–2370, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - B. Ahmad and S. K. Ntouyas, “Existence results for nonlocal boundary value problems of fractional differential equations and inclusions with strip conditions,”
*Boundary Value Problems*, vol. 2012, 2012. View at Google Scholar · View at MathSciNet - P. Zhang and Y. Gong, “Existence and multiplicity results for a class of fractional differential inclusions with boundary conditions,”
*Boundary Value Problems*, vol. 2012, article 82, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - A. Alsaedi, S. K. Ntouyas, and B. Ahmad, “Existence results for Langevin fractional differential inclusions involving two fractional orders with four-point multiterm fractional integral boundary conditions,”
*Abstract and Applied Analysis*, vol. 2013, Article ID 869837, 17 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - R. Kamocki and C. Obczynski, “On fractional differential inclusions with the Jumarie derivative,”
*Journal of Mathematical Physics*, vol. 55, no. 2, Article ID 2902, 10 pages, 2014. View at Publisher · View at Google Scholar · View at MathSciNet - J. Tariboon, T. Sitthiwirattham, and S. K. Ntouyas, “Existence results for fractional differential inclusions with multi-point and fractional integral boundary conditions,”
*Journal of Computational Analysis and Applications*, vol. 17, no. 2, pp. 343–360, 2014. View at Google Scholar · View at MathSciNet - B. Ahmad and S. K. Ntouyas, “An existence theorem for fractional hybrid differential inclusions of Hadamard type with Dirichlet boundary conditions,”
*Abstract and Applied Analysis*, vol. 2014, Article ID 705809, 7 pages, 2014. View at Publisher · View at Google Scholar · View at MathSciNet - D. O'Regan, “Fixed-point theory for the sum of two operators,”
*Applied Mathematics Letters*, vol. 9, no. 1, pp. 1–8, 1996. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - A. Granas and J. Dugundji,
*Fixed Point Theory*, Springer, New York, NY, USA, 2005. View at MathSciNet - E. Zeidler,
*Nonlinear Functional Analysis and Its Application: Fixed Point-Theorems*, vol. 1, Springer, New York, NY, USA, 1986. View at MathSciNet - B. N. Sadovskii, “On a fixed point principle,”
*Functional Analysis and Its Applications*, vol. 1, pp. 74–76, 1967. View at Google Scholar

*
*