AAAAbstract and Applied Analysis1687-04091085-3375Hindawi Publishing Corporation49472010.1155/2009/494720494720Research ArticleExistence of Solutions for Nonlocal Boundary Value Problems of Higher-Order Nonlinear Fractional Differential EquationsAhmadBashir1NietoJuan J.2EloePaul1Department of MathematicsFaculty of ScienceKing Abdulaziz UniversityP.O. Box 80203Jeddah 21589Saudi Arabiakau.edu.sa2Departamento de Análisis MatemáticoFacultad de MatemáticasUniversidad de Santiago de Compostela15782 Santiago de CompostelaSpainusc.es200908062009200919022009270420092009Copyright © 2009This 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.

We study some existence results in a Banach space for a nonlocal boundary value problem involving a nonlinear differential equation of fractional order q given by cDqx(t)=f(t,x(t)), 0<t<1, q(m1,m], m, m2, x(0)=0, x(0)=0, x′′(0)=0,,x(m2)(0)=0, x(1)=αx(η). Our results are based on the contraction mapping principle and Krasnoselskii's fixed point theorem.

1. Introduction

Fractional differential equations involve derivatives of fractional order. They arise in many engineering and scientific disciplines such as the mathematical modeling of systems and processes in the fields of physics, chemistry, aerodynamics, electro-dynamics of complex medium, and polymer rheology. In consequence, the subject of fractional differential equations is gaining much importance and attention. For examples and details, see  and the references therein. However, the theory of boundary value problems for nonlinear fractional differential equations is still in the initial stages and many aspects of this theory need to be explored.

The subject of multipoint nonlocal boundary value problems, initiated by Ilin and Moiseev [18, 19], has been addressed by many authors, for instance, . The multipoint boundary conditions appear in certain problems of thermodynamics, elasticity, and wave propagation, see  and the references therein. The multipoint boundary conditions may be understood in the sense that the controllers at the end points dissipate or add energy according to censors located at intermediate positions.

For m,m2, and q(m-1,m], we consider the following nonlinear fractional differential equation of order q with nonlocal boundary conditions: Dqx(t)=f(t,(t)),0<t<1,cx(0)=0,x(0)=0,x(0)=0,,x(m-2)(0)=0,x(1)=αx(η),0<η<1,αηm-11,α, where cD is the Caputo fractional derivative and f:[0,1]×XX is continuous. Here, (X,·) is a Banach space and 𝒞=C([0,1],X) denotes the Banach space of all continuous functions from [0,1]X endowed with a topology of uniform convergence with the norm denoted by ·.

By a solution of (1.1), we mean a function x𝒞 of class Cm[0,1] which satisfies the nonlocal fractional boundary value problem (1.1).

2. Preliminaries

Let us recall some basic definitions [12, 15, 17] on fractional calculus. Definition 2.1.

For a function g:[0,), the Caputo derivative of fractional order q is defined as cDqg(t)=1Γ(n-q)0t(t-s)n-q-1g(n)(s)ds,n-1<q<n,n=[q]+1, where [q] denotes the integer part of the real number q.

Definition 2.2.

The Riemann-Liouville fractional integral of order q is defined as Iqg(t)=1Γ(q)0tg(s)(t-s)1-qds,q>0, provided that the integral exists.

Definition 2.3.

The Riemann-Liouville fractional derivative of order q for a function g(t) is defined by Dqg(t)=1Γ(n-q)(ddt)n0tg(s)(t-s)q-n+1ds,n=[q]+1, provided the right hand side is pointwise defined on (0,).

We remark that the Caputo derivative becomes the conventional nth derivative of the function as qn and the initial conditions for fractional differential equations retain the same form as that of ordinary differential equations with integer-order derivatives. On the other hand, the Riemann-Liouville fractional derivative could hardly produce the physical interpretation of the initial conditions required for the initial value problems involving fractional differential equations (the same applies to the boundary value problems of fractional differential equations). Moreover, the Caputo derivative for a constant is zero while the Riemann-Liouville fractional derivative of a constant is nonzero. For more details, see .

Lemma 2.4 (see [<xref ref-type="bibr" rid="B22">28</xref>]).

For q>0, the general solution of the fractional differential equation cDqx(t)=0 is given by x(t)=c0+c1t+c2t2++cn-1tn-1, where ci,i=0,1,2,,n-1 (n=[q]+1).

In view of Lemma 2.4, it follows that

IqcDqx(t)=x(t)+c0+c1t+c2t2++cn-1tn-1, for some ci,i=0,1,2,,n-1 (n=[q]+1).

Now, we state a known result due to Krasnoselskii  which is needed to prove the existence of at least one solution of (1.1).

Theorem 2.5.

Let M be a closed convex and nonempty subset of a Banach space X. Let A,B be the operators such that

Ax+ByM whenever x,yM,

A is compact and continuous,

B is a contraction mapping.

Then there exists zM such that z=Az+Bz.

To study the nonlinear problem (1.1), we first consider the associated linear problem and obtain its solution.

Lemma 2.6.

For a given σC[0,1], the unique solution of the boundary value problem, Dqx(t)=σ(t),0<t<1,q(m-1,m],m,m2,cx(0)=0,x(0)=0,x(0)=0,,x(m-2)(0)=0,x(1)=αx(η),0<η<1,αηm-11,α, is given by x(t)=0t(t-s)q-1Γ(q)σ(s)ds-tm-1(1-αηm-1)[01(1-s)q-1Γ(q)σ(s)ds-α0η(η-s)q-1Γ(q)σ(s)ds].

Proof.

Using (2.5), we have x(t)=0t(t-s)q-1Γ(q)σ(s)ds-c0-c1t-c2t2--cm-1tm-1, where c0,c1,c2,,cm-1 are arbitrary constants. In view of the relations cDqIqx(t)=x(t) and IqIpx(t)=Iq+px(t) for q,p>0,xL(0,1), we obtain x(t)=0t(t-s)q-2Γ(q-1)σ(s)ds-c1-2c2t--(m-1)cm-1tm-2,x(t)=0t(t-s)q-3Γ(q-2)σ(s)ds-2c2--(m-1)(m-2)cm-1tm-3,. Applying the boundary conditions for (2.6), we find that c0=0,c1=0,,cm-2=0, and cm-1=1(1-αηm-1)[01(1-s)q-1Γ(q)σ(s)ds-α0η(η-s)q-1Γ(q)σ(s)ds]. Substituting the values of c0,c1,,cm-1 in (2.8), we obtain x(t)=0t(t-s)q-1Γ(q)σ(s)ds-tm-1(1-αηm-1)[01(1-s)q-1Γ(q)σ(s)ds-α0η(η-s)q-1Γ(q)σ(s)ds]. This completes the proof.

3. Main Results

For the forthcoming analysis, we need the following assumptions:

f(t,x)-f(t,y)Lx-y,forall  t[0,1],x,yX;

f(t,x)μ(t),forall  (t,x)[0,1]×X,μL1([0,1],R+).

In relation to the nonlocal problem (1.1), we define the constants: Λ=LΓ(q+1)+λ,λ=L(1+|α|ηq)Γ(q+1)|1-αηm-1|.Theorem 3.1.

Assume that f:[0,1]×XX is a jointly continuous function and satisfies the assumption (A1). Then the boundary value problem (1.1) has a unique solution provided Λ<1, where Λ is given by (3.1).

Proof.

Define ϝ:𝒞𝒞 by (ϝx)(t)=0t(t-s)q-1Γ(q)f(s,x(s))ds-tm-1(1-αηm-1)×[01(1-s)q-1Γ(q)f(s,x(s))ds-α0η(η-s)q-1Γ(q)f(s,x(s))ds],t[0,1]. Let us set supt[0,1]f(t,0)=M, and choose rM(1-β)Γ(q+1)(1+1+|α|ηq|1-αηm-1|), where β is such that Λβ<1. Now we show that ϝBrBr, where Br={x𝒞:xr}. For xBr, we have (ϝx)(t)0t(t-s)q-1Γ(q)f(s,x(s))ds+tm-1|1-αηm-1|[01(1-s)q-1Γ(q)f(s,x(s))ds+|α|0η(η-s)q-1Γ(q)f(s,x(s))ds]0t(t-s)q-1Γ(q)(f(s,x(s))-f(s,0)+f(s,0))ds+tm-1|1-αηm-1|[01(1-s)q-1Γ(q)(f(s,x(s))-f(s,0)+f(s,0))ds+|α|0η(η-s)q-1Γ(q)(f(s,x(s))-f(s,0)+f(s,0))ds](Lr+M)(0t(t-s)q-1Γ(q)ds+tm-1|1-αηm-1|[01(1-s)q-1Γ(q)ds+|α|0η(η-s)q-1Γ(q)ds])(LΓ(q+1)+L(1+|α|ηq)Γ(q+1)|1-αηm-1|)r+MΓ(q+1)(1+1+|α|ηq|1-αηm-1|)=Λr+MΓ(q+1)(1+1+|α|ηq|1-αηm-1|)(Λ+1-β)rr. Now, for x,y𝒞 and for each t[0,1], we obtain (ϝx)(t)-(ϝy)(t)0t(t-s)q-1Γ(q)f(s,x(s))-f(s,y(s))ds+tm-1|1-αηm-1|[01(1-s)q-1Γ(q)f(s,x(s))-f(s,y(s))ds+|α|0η(η-s)q-1Γ(q)f(s,x(s))-f(s,y(s))ds]Lx-y(0t(t-s)q-1Γ(q)ds+tm-1|1-αηm-1|[01(1-s)q-1Γ(q)ds+|α|0η(η-s)q-1Γ(q)ds])=Lx-y(tqΓ(q+1)+tm-1|1-αηm-1|(1+|α|ηqΓ(q+1)))Lx-y1Γ(q+1)(1+1+|α|ηq|1-αηm-1|)=Λx-y. Clearly Λ depends on the parameters (q,m,α,η,L) involved in the problem. As Λ<1, therefore, ϝ is a contraction. Thus, the conclusion of the theorem follows by the contraction mapping principle.

Theorem 3.2.

Let f:[0,1]×XX be a jointly continuous function mapping bounded subsets of [0,1]×X into relatively compact subsets of X. Further, the assumptions (A1)-(A2) hold with λ<1, where λ is given by (3.1). Then the boundary value problem (1.1) has at least one solution on [0,1].

Proof.

Let us fix rμL1Γ(q)(1+1+|α|ηq-1|1-αηm-1|), and consider Br={x𝒞:xr}. We define the operators Φ and Ψ on Br as (Φx)(t)=1Γ(q)0t(t-s)q-1f(s,x(s))ds,(Ψx)(t)=-tm-1(1-αηm-1)[01(1-s)q-1Γ(q)f(s,x(s))ds-α0η(η-s)q-1Γ(q)f(s,x(s))ds]. For x,yBr, we find that Φx+ΨyμL1Γ(q)(1+1+|α|ηq-1|1-αηm-1|)r. Thus, Φx+ΨyBr. It follows from the assumption (A1) that Ψ is a contraction mapping for λ<1. Continuity of f implies that the operator Φ is continuous. Also, Φ is uniformly bounded on Br as ΦxμL1Γ(q). To show that the operator Φ is compact, we use the classical Arzela-Ascoli theorem. Let 𝒜 be a bounded subset of 𝒞. We have to show that Φ(𝒜) is equicontinuous and for each t, the set Φ(𝒜)(t) is relatively compact in X. In view of (A1),(A2), we define sup(t,x)[0,1]×Brf(t,x)=fmax, and consequently we have (Φx)(t1)-(Φx)(t2)=1Γ(q)0t1((t2-s)q-1-(t1-s)q-1)f(s,x(s))ds+t1t2(t2-s)q-1f(s,x(s))dsfmaxΓ(q+1)|2(t2-t1)q+t1q-t2q|, which is independent of x. Thus, Φ is equicontinuous. Using the fact that f maps bounded subsets into relatively compact subsets, we have that Φ(𝒜)(t) is relatively compact in X for every t. Therefore, Φ is relatively compact on Br. Hence, By Arzela-Ascoli theorem, Φ is compact on Br. Thus all the assumptions of Theorem 2.5 are satisfied and the conclusion of Theorem 2.5 implies that the boundary value problem (1.1) has at least one solution on [0,1].

Example 3.3.

Consider the following boundary value problem: Dqx(t)c=1(t+7)2x1+x,2<q3,t[0,1],x(0)=0,x(0)=0,x(1)=x(12). Here, m=3,f(t,x(t))=(1/(t+7)2)(x/(1+x)),α=1,η=1/2. As f(t,x)-f(t,y)(1/49)x-y, therefore, (A1) is satisfied with L=1/49. Further, Λ=LΓ(q+1)(1+1+|α|ηq|1ηm1|)=149Γ(q+1)(1+43(1+(12)q))<1,2<q3. Thus, by Theorem 3.1, the boundary value problem (3.11) has a unique solution on [0,1].

Acknowledgments

The authors thank the reviewers for their useful comments. The research of J. J. Nieto has been partially supported by Ministerio de Educacion y Ciencia and FEDER, project MTM2007-61724, and by Xunta de Galicia and FEDER, project PGIDIT06PXIB207023PR.

AhmadB.NietoJ. J.Existence results for a coupled system of nonlinear functional differential equation with three-point boundary value problempreprintAhmadB.bashir_qau@yahoo.comNietoJ. J.Existence results for nonlinear boundary value problems of fractional integrodifferential equations with integral boundary conditionsBoundary Value Problems200920091170857610.1155/2009/708576AhmadB.Otero-EspinarV.Existence of solutions for fractional differential inclusions with anti-periodic boundary conditionsBoundary Value Problems. In press625347AhmadB.SivasundaramS.Existence and uniqueness results for nonlinear boundary value problems of fractional differential equations with separated boundary conditionsCommunications in Applied Analysis200913121228AllisonJ.KosmatovN.Multi-point boundary value problems of fractional orderCommunications in Applied Analysis200812451458ArayaD.LizamaC.Almost automorphic mild solutions to fractional differential equationsNonlinear Analysis: Theory, Methods & Applications200869113692370510.1016/j.na.2007.10.004MR2463325BonillaB.RiveroM.Rodríguez-GermáL.TrujilloJ. J.Fractional differential equations as alternative models to nonlinear differential equationsApplied Mathematics and Computation200718717988MR232355710.1016/j.amc.2006.08.105ZBL1120.34323ChangY.-K.NietoJ. J.Some new existence results for fractional differential inclusions with boundary conditionsMathematical and Computer Modelling2009493-4605609MR248366510.1016/j.mcm.2008.03.014GafiychukV.DatskoB.MeleshkoV.Mathematical modeling of time fractional reaction-diffusion systemsJournal of Computational and Applied Mathematics20082201-2215225MR244416610.1016/j.cam.2007.08.011ZBL1152.45008Daftardar-GejjiV.BhalekarS.Boundary value problems for multi-term fractional differential equationsJournal of Mathematical Analysis and Applications20083452754765MR242917510.1016/j.jmaa.2008.04.065ZBL1151.26004IbrahimR. W.DarusM.Subordination and superordination for univalent solutions for fractional differential equationsJournal of Mathematical Analysis and Applications20083452871879MR242918610.1016/j.jmaa.2008.05.017ZBL1147.30009KilbasA. A.SrivastavaH. M.TrujilloJ. J.Theory and Applications of Fractional Differential Equations2006204Amsterdam, The NetherlandsElsevier Sciencexvi+523North-Holland Mathematics StudiesMR2218073LadaciS.LoiseauJ. J.CharefA.Fractional order adaptive high-gain controllers for a class of linear systemsCommunications in Nonlinear Science and Numerical Simulation2008134707714MR238149610.1016/j.cnsns.2006.06.009LazarevićM. P.Finite time stability analysis of PDα fractional control of robotic time-delay systemsMechanics Research Communications2006332269279MR218357110.1016/j.mechrescom.2005.08.010PodlubnyI.Fractional Differential Equations1999198San Diego, Calif, USAAcademic Pressxxiv+340Mathematics in Science and EngineeringMR1658022RidaS. Z.El-SherbinyH. M.ArafaA. A. M.On the solution of the fractional nonlinear Schrödinger equationPhysics Letters A20083725553558MR237872310.1016/j.physleta.2007.06.071SamkoS. G.KilbasA. A.MarichevO. I.Fractional Integrals and Derivatives: Theory and Applications1993Yverdon, SwitzerlandGordon and Breach Sciencexxxvi+976MR1347689IlinV. A.MoiseevE. I.Nonlocal boundary value problem of the first kind for a Sturm Liouville operator in its differential and finite difference aspectsDifferential Equations198723803810IlinV. A.MoiseevE. I.Nonlocal boundary value problem of the second kind for a Sturm Liouville operatorDifferential Equations198723979987AhmadB.Approximation of solutions of the forced Duffing equation with m-point boundary conditionsCommunications in Applied Analysis2009131120ChangY.-K.NietoJ. J.LiW.-S.On impulsive hyperbolic differential inclusions with nonlocal initial conditionsJournal of Optimization Theory and Applications20091403431442MR248160810.1007/s10957-008-9468-1ZBL1159.49042ChangY.-K.lzchangyk@163.comNietoJ. J.juanjose.nieto.roig@usc.esLiW. S.Controllability of semi-linear differential systems with nonlocal initial conditions in Banach spacesinpress Journal of Optimization Theory and Applications10.1007/s10957-009-9535-2EloeP. W.AhmadB.Positive solutions of a nonlinear nth order boundary value problem with nonlocal conditionsApplied Mathematics Letters2005185521527MR2127815ZBL1074.34022GraefJ. R.John-Graef@utc.eduWebbJ. R. L.J.Webb@maths.gla.ac.ukThird order boundary value problems with nonlocal boundary conditionsNonlinear Analysis: Theory, Methods & Applications2009715-61542155110.1016/j.na.2008.12.047GurevichP.Smoothness of generalized solutions for higher-order elliptic equations with nonlocal boundary conditionsJournal of Differential Equations2008245513231355MR243683210.1016/j.jde.2008.06.001MaR.Positive solutions of a nonlinear m-point boundary value problemComputers & Mathematics with Applications2001426-7755765MR1846184MaR.Multiple positive solutions for nonlinear m-point boundary value problemsApplied Mathematics and Computation20041481249262MR201463810.1016/S0096-3003(02)00843-3LakshmikanthamV.LeelaS.DeviJ. V.Theory of Fractional Dynamic Systems2009Cambridge, UKCambridge AcademicSmartD. R.Fixed Point Theorems1980Cambridge, UKCambridge University Press