Miskolc Mathematical Notes HU e-issn 787-243 Vol. 5 (24), No, pp. 5-6 DOI:.854/MMN.24.5 Existence results for rst order boundary value problems for fractional dierential equations with four-point integral boundary conditions Mohamed Abdalla Darwish and Sotiris K. Ntouyas
Miskolc Mathematical Notes HU e-issn 787-243 Vol. 5 (24), No., pp. 5 6 EXISTENE RESULTS FOR FIRST ORDER BOUNDARY VALUE PROBLEMS FOR FRATIONAL DIFFERENTIAL EQUATIONS WITH FOUR-POINT INTEGRAL BOUNDARY ONDITIONS MOHAMED ABDALLA DARWISH AND SOTIRIS K. NTOUYAS Received 9 March, 22 Abstract. In this paper, we study the existence of solutions for boundary value problems of fractional differential equations of order q 2.; with four-point integral boundary conditions. Existence and uniqueness results are obtained by using well known fixed point theorems. Some illustrative examples are also discussed. 2 Mathematics Subject lassification: 34A8; 34B; 34B5 Keywords: fractional differential equations, four-point integral boundary conditions, existence, contraction principle, Krasnoselskii s fixed point theorem, Leray-Schauder nonlinear alternative. INTRODUTION In recent years, boundary value problems for nonlinear fractional differential equations have been addressed by several researchers. Fractional derivatives provide an excellent tool for the description of memory and hereditary properties of various materials and processes, see [5]. These characteristics of the fractional derivatives make the fractional-order models more realistic and practical than the classical integer-order models. As a matter of fact, fractional differential equations arise in many engineering and scientific disciplines such as physics, chemistry, biology, economics, control theory, signal and image processing, biophysics, blood flow phenomena, aerodynamics, fitting of experimental data, etc. [3, 5 7]. For some recent development on the topic, see [ ] and the references therein. In this paper, we discuss the existence and uniqueness of solutions for a boundary value problem of nonlinear fractional differential equations of order q 2.; with four-point integral boundary conditions given by 8 ˆ< c D q x.t/ D f.t;x.t//; < t < ; < q ; (.) ˆ: x./ x.s/ds D x./; < < <. /; c 24 Miskolc University Press
52 MOHAMED ABDALLA DARWISH AND SOTIRIS K. NTOUYAS where c D q denotes the aputo fractional derivative of order q, f W Œ; R! R is continuous and 2 R n fg: We denote by D.Œ; ;R/ the Banach space of all continuous functions from Œ;! R endowed with a topology of uniform convergence with the norm denoted by k k: The boundary condition in the problem (.) can be regarded as four-point nonlocal boundary condition, which reduces to the typical integral boundary condition in the limit! ;! : We prove some new existence and uniqueness results by using a variety of fixed point theorems. In Theorem we prove an existence and uniqueness result by using Banach s contraction principle, in Theorem 2 we prove the existence of a solution by using Krasnoselskii s fixed point theorem, while in Theorem 3 we prove the existence of a solution via Leray-Schauder nonlinear alternative. It is worth mention that the methods used in this paper are standard, however their exposition in the framework of problem (.) is new. 2. PRELIMINARIES ON FRATIONAL ALULUS Let us recall some basic definitions of fractional calculus [3, 7]. Definition. For a continuous function g W Œ;/! R; the aputo derivative of fractional order q is defined as c D q g.t/ D.n q/ t.t s/ n q g.n/.s/ds; n < q < n;n D Œq ; where Œq denotes the integer part of the real number q: Definition 2. The Riemann-Liouville fractional integral of order q is defined as I q g.t/ D provided the integral exists. t g.s/ ds; q > ;.t s/ q Definition 3. The Riemann-Liouville fractional derivative of order q for a continuous function g.t/ is defined by D q d n t g.s/ g.t/ D ds; n D Œq ;.n q/ dt.t s/ q n provided the right hand side is pointwise defined on.;/: Lemma ([3]). For q > ; the general solution of the fractional differential equation c D q x.t/ D is given by x.t/ D c c t c 2 t 2 ::: c n t n ; where c i 2 R; i D ;;2;:::;n (n D Œq ).
In view of Lemma, it follows that BVP FOR FRATIONAL DIFFERENTIAL EQUATIONS 53 I q c D q x.t/ D x.t/ c c t c 2 t 2 ::: c n t n ; (2.) for some c i 2 R; i D ;;2;:::;n (n D Œq ). Lemma 2. For a given g 2.Œ; ;R/ the unique solution of the boundary value problem 8 ˆ< c D q x.t/ D g.t/; < t < ; < q ; is given by ˆ: x./ x.s/ds D x./; < < ; x.t/ D t. /.t s/ q g.s/ds. s/ q g.s/ds. / s.s m/ q g.m/dm ds; t 2 Œ; : (2.2) Proof. For some constant c 2 R; we have x.t/ D I q g.t/ t c D.t s/ q g.s/ds c : (2.3) We have x./ D c ; and x.s/ds D D s.s m/ q g.m/dm c ds s.s m/ q x./ D g.m/d m ds c. /;. s/ q g.s/ds c ; which imply that c D s.s m/ q g.m/d m ds. / Substituting the value of c in (2.3) we obtain the solution (2.2).. s/ q g.s/ds:
54 MOHAMED ABDALLA DARWISH AND SOTIRIS K. NTOUYAS 3. EXISTENE RESULTS In view of Lemma 2, we define an operator F W! by t.fx/.t/ D.t s/ q f.s;x.s//ds. s/ q f.s;x.s//ds. / s.s m/ q f.m;x.m//dm ds; t 2 Œ; :. / (3.) In the following we use the norm kxk D sup t2œ; jx.t/j and for convenience, we set D ı Œq j j. q q / ; ı D.q / j j.q / j j : (3.2) Our first result is based on Banach s contraction principle. Theorem. Assume that f W Œ; R! R is a continuous function and satisfies the assumption.a / jf.t;x/ f.t;y/j Ljx yj;8t 2 Œ; ; L > ; x;y 2 R; with L < =; where is given by (3.2). Then the boundary value problem (.) has a unique solution. Proof. Setting sup t2œ; jf.t;/j D M and choosing r M ; we show that L FB r B r ; where B r D fx 2 W kxk rg: For x 2 B r ; we have k.fx/.t/k sup t2œ; sup t2œ; t.t s/ q jf.s;x.s//jds. s/ q jf.s;x.s//jds j. /j s.s m/ q jf.m;x.m//jdm j j ( t j. /j j j ds.t s/ q.jf.s;x.s// f.s;/j jf.s;/j/kds. s/ q.jf.s;x.s// f.s;/j jf.s;/j/ds s.s m/ q.jf.m;x.m// f.m;/j
) jf.m;/j/dm ds BVP FOR FRATIONAL DIFFERENTIAL EQUATIONS 55 t.lr M / sup.t s/ q ds t2œ; j. /j s.s m/ q dm ds j j.lr M / ı Œq j j. q q /.q / j j.q / D.Lr M / r: Now, for x;y 2 and for each t 2 Œ; ; we obtain k.fx/.t/ sup t2œ;.fy/.t/k t.t s/ q jf.s;x.s// f.s;y.s//jds. s/ q ds. s/ q jf.s;x.s// f.s;y.s//jds j. /j s.s m/ q jf.m;x.m// f.m;y.m//jdm ds j j t Lkx yk sup.t s/ q ds. s/ q ds t2œ; j. /j s.s m/ q dm ds j j L ı Œq j j. q q / kx yk D Lkx yk;.q / j j.q / where is given by (3.2). Observe that depends only on the parameters involved in the problem. As L < =; therefore F is a contraction. Thus, the conclusion of the theorem follows by the contraction mapping principle (Banach fixed point theorem). Now, we prove the existence of solution of (.) by applying Krasnoselskii s fixed point theorem. Lemma 3 ([4], Krasnoselskii s fixed point theorem). Let M be a closed, bounded, convex and nonempty subset of a Banach space X: Let A;B be the operators such that: (i) Ax By 2 M whenever x;y 2 M ; (ii) A is compact and continuous;
56 MOHAMED ABDALLA DARWISH AND SOTIRIS K. NTOUYAS (iii) B is a contraction mapping. Then there exists 2 M such that D A B : Theorem 2. Let f W Œ; R! R be a continuous function satisfying assumption.a /: Moreover we assume that.a 2 / jf.t;x/j.t/; 8.t;x/ 2 Œ; R; and 2.Œ; ;R /: If L ı Œq j j. q q / < ; (3.3).q / j j.q / then the boundary value problem (.) has at least one solution on Œ; : Proof. Letting sup t2œ; j.t/j D kk, we fix r kk.q / ı Œq j j. q q / j j.q / and consider B r D fx 2 W kxk rg: We define the operators P and Q on B r as.p x/.t/ D t.qx/.t/ D. /. / For x;y 2 B r ; we find that kp x Qyk.t s/ q f.s;u.s//ds; t 2 Œ; kk.q / ;. s/ q f.s;x.s/ds s.s m/ q f.m;x.m//dm ds; t 2 Œ; : ı Œq j j. q q / j j.q / r: Thus, P x Qy 2 B r : It follows from the assumption.a / together with (3.3) that Q is a contraction mapping. ontinuity of f implies that the operator P is continuous. Also, P is uniformly bounded on B r as kp xk kk.q / : Now we prove the compactness of the operator P : In view of.a /; we define sup.t;x/2œ; Br jf.t;x/j D f ; and consequently we have k.p x/.t /.P x/.t 2 /k D sup ˇ.t;x/2Œ; B r t Œ.t 2 s/ q.t s/ q f.s;x.s//ds
BVP FOR FRATIONAL DIFFERENTIAL EQUATIONS 57 t2.t 2 s/ q f.s;x.s//ds ˇ t f.q / j2.t 2 t / q t q t q 2 j; which is independent of x and tends to zero as t 2 t! : Thus, P is equicontinuous. Hence, by the Arzelá-Ascoli Theorem, P is compact on B r : Thus all the assumptions of Lemma 3 are satisfied. So the conclusion of Lemma 3 implies that the boundary value problem (.) has at least one solution on Œ;. Our next result is based on Leray-Schauder Nonlinear Alternative. Lemma 4 ([2], Nonlinear alternative for single valued maps).. Let E be a Banach space, a closed, convex subset of E; U an open subset of and 2 U: Suppose that F W U! is a continuous, compact (that is, F.U / is a relatively compact subset of ) map. Then either (i) F has a fixed point in U ; or (ii) there is a u 2 @U (the boundary of U in ) and 2.;/ with u D F.u/: Theorem 3. Let f W Œ; R! R be a continuous function. Assume that:.a 3 / There exist a function p 2 L.Œ; ;R /; and W R! R nondecreasing such that jf.t;x/j p.t/.kxk/; 8.t;x/ 2 Œ; R:.A 4 / There exists a constant M > such that M.M / ı s > ;. s/ q p.s/ds ı.s m/ q p.s/ds ds j j where ı is given by (3.2). Then the boundary value problem (.) has at least one solution on Œ; : Proof. onsider the operator ± W! given by (3.). We prove that the operator ± is completely continuous. First we prove that ±x maps bounded sets into bounded sets in.œ; ;R/. Indeed, it is enough to show that there exists a positive constant ` such that, for each x 2 B r D fx 2.Œ; ;R/ W kxk rg; we have k±xk `: From.A 3 / we have j.±x/.t/j D t.t s/ q jf.s;x.s//jds. s/ q jf.s;x.s//jds j. /j s.s m/ q jf.m;x.m//jdm ds j j
58 MOHAMED ABDALLA DARWISH AND SOTIRIS K. NTOUYAS Thus, t.kxk/.t s/ q.kxk/ p.s/ds j. /j.kxk/ s.s m/ q p.s/ds ds j j.kxk/ ı. s/ q p.s/ds j j s ı.s m/ q p.s/ds ds : k.±x/k.r/ ı j j s ı. s/ q p.s/ds.s m/ q p.s/ds. s/ q p.s/ds ds WD `: Next we show that ±x maps bounded sets into equicontinuous sets of.œ; ;R/. Let t ;t 2 Œ; with t < t and x 2 B r, where B r is a bounded set of.œ; ;R/. Then j.±x/.t /.±x/.t t /j D.t s/ q f.s;x.s//ds ˇ ˇ ˇ.r/.r/ t.t s/ q f.s;x.s//ds ˇ Œ.t s/ q.t s/ q p.s/ds ˇ.t s/ q p.s/dsˇ t ˇ: t t Obviously the right hand side of the above inequality tends to zero independently of x 2 B r as t t! : Therefore it follows by the Arzelá-Ascoli theorem that ± W.Œ; ;R/!.Œ; ;R/ is completely continuous. Now let 2.;/ and let x D ±x. Then for x 2 Œ; ; using the previous computations in proving that ±x is bounded, we have jx.t/j D j.±x/.t/j t j. /j.t s/ q jf.s;x.s//jds. s/ q jf.s;x.s//jds
and consequently BVP FOR FRATIONAL DIFFERENTIAL EQUATIONS 59 s.s m/ q jf.m;x.m//jdm j j.kxk/ ı. s/ q p.s/ds j j s ı.s m/ q p.s/ds ds : kxk.kxk/ ı s :. s/ q p.s/ds ı.s m/ q p.s/ds ds j j In view of.a 4 /, there exists M such that kxk M. Let us set U D fx 2.Œ; ;X/ W kxk < M g: Note that the operator ± W U!.Œ; ;R/ is continuous and completely continuous. From the choice of U, there is no x 2 @U such that x D ±.x/ for some 2.;/. onsequently, by the nonlinear alternative of Leray-Schauder type (Lemma 4), we deduce that ± has a fixed point x 2 U which is a solution of the problem (.). This completes the proof. In the special case when p.t/ D and.jxj/ D kjxj N we have the following corollary. orollary. Let f W Œ; R! R: Assume that:.a 5 / there exist constants < ; where is given by (3.2) and M > such that jf.t;x/j jxj M; for all t 2 Œ; ;x 2 Œ; : Then the boundary value problem (.) has at least one solution. ds 4. EXAMPLES Example. onsider the following four-point integral fractional boundary value problem 8 ˆ< c D =2 jxj x.t/ D.t 9/ 2 jxj ; t 2 Œ; ; 3=4 (4.) ˆ: x./ x.s/ds D x./: =4
6 MOHAMED ABDALLA DARWISH AND SOTIRIS K. NTOUYAS Here, q D =2; D ; D =4; D 3=4; and f.t;x/ D.t 9/ 2 jxj jxj : As jf.t;x/ f.t;y/j 8 jx yj; therefore,.a / is satisfied with L D 8 : Further, L D L.q / ı Œq j j. q q / j j.q / D 7 3p 3 729 p < : Thus, by the conclusion of Theorem, the boundary value problem (4.) has a unique solution on Œ;. Example 2. We consider the following boundary value problem 8 ˆ< c D =2 x.t/ D.6/ sin.2x/ jxj jxj ; t 2 Œ; ; ˆ: x./ 3=4 =4 x.s/ds D x./: Here, q D =2; D ; D =4; D 3=4; and ˇ ˇf.t;x/ ˇ D ˇ.6/ sin.2x/ jxj jxjˇ jxj : 8 (4.2) learly M D and D 8 < D 9p 7 3 p 3 : Thus, all the conditions of orollary are satisfied and consequently the problem (4.2) has at least one solution. REFERENES [] B. Ahmad, Existence of solutions for fractional differential equations of order q 2.2;3 with anti-periodic boundary conditions, J. Appl. Math. omput., vol. 34, no. -2, pp. 385 39, 2. [2] B. Ahmad, Existence of solutions for irregular boundary value problems of nonlinear fractional differential equations, Appl. Math. Lett., vol. 23, no. 4, pp. 39 394, 2. [3] B. Ahmad and R. P. Agarwal, On nonlocal fractional boundary value problems, Dyn. ontin. Discrete Impuls. Syst., Ser. A, Math. Anal., vol. 8, no. 4, pp. 535 544, 2. [4] B. Ahmad and A. Alsaedi, Existence and uniqueness of solutions for coupled systems of higherorder nonlinear fractional differential equations, Fixed Point Theory Appl., vol. 2, p. 7, 2. [5] B. Ahmad and J. J. Nieto, Existence of solutions for nonlocal boundary value problems of higherorder nonlinear fractional differential equations, Abstr. Appl. Anal., vol. 29, p. 9, 29. [6] B. Ahmad and J. J. Nieto, Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions, omput. Math. Appl., vol. 58, no. 9, pp. 838 843, 29. [7] B. Ahmad and J. J. Nieto, Existence results for nonlinear boundary value problems of fractional integrodifferential equations with integral boundary conditions, Bound. Value Probl., vol. 29, p., 29.
BVP FOR FRATIONAL DIFFERENTIAL EQUATIONS 6 [8] B. Ahmad and S. Sivasundaram, On four-point nonlocal boundary value problems of nonlinear integro-differential equations of fractional order, Appl. Math. omput., vol. 27, no. 2, pp. 48 487, 2. [9]. Bai, On positive solutions of a nonlocal fractional boundary value problem, Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods, vol. 72, no. 2, pp. 96 924, 2. [] K. Balachandran and J. J. Trujillo, The nonlocal auchy problem for nonlinear fractional integrodifferential equations in Banach spaces, Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods, vol. 72, no. 2, pp. 4587 4593, 2. [] M. Benchohra, S. Hamani, and S. Ntouyas, Boundary value problems for differential equations with fractional order and nonlocal conditions, Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods, vol. 7, no. 7-8, pp. 239 2396, 29. [2] A. Granas and J. Dugundji, Fixed point theory, ser. Springer Monographs in Mathematics. New York, NY: Springer, 23. [3] A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo, Theory and applications of fractional differential equations., ser. North-Holland Mathematics Studies. Amsterdam: Elsevier, 26, vol. 24. [4] M. A. Krasnoselskii, Two remarks on the method of successive approximations, Uspekhi Mat. Nauk, vol., pp. 23 27, 955. [5] I. Podlubny, Fractional differential equations. An introduction to fractional derivatives, fractional differential equations, to methods of their solution and some of their applications, ser. Mathematics in Science and Engineering. San Diego, A: Academic Press, 999, vol. 98. [6] J. Sabatier, O. P. Agrawal, and J. A. T. Machado, Eds., Advances in Fractional alculus, ser. Theoretical Developments and Applications in Physics and Engineering. Dordrecht: Springer, 27. [7] S. G. Samko, A. A. Kilbas, and O. I. Marichev, Fractional integrals and derivatives: theory and applications. Transl. from the Russian. New York, NY: Gordon and Breach, 993. Authors addresses Mohamed Abdalla Darwish Department of Mathematics, Sciences Faculty for Girls, King Abdulaziz University, Jeddah, Saudi Arabia, and Department of Mathematics, Faculty of Science, Damanhour University, Damanhour, Egypt E-mail address: dr.madarwish@gmail.com Sotiris K. Ntouyas Department of Mathematics, University of Ioannina, 45 Ioannina, Greece E-mail address: sntouyas@uoi.gr