SpringerOpen Newsletter

Receive periodic news and updates relating to SpringerOpen.

This article is part of the series Singular Boundary Value Problems for Ordinary Differential Equations.

Open Access Research Article

An Existence Result for Nonlinear Fractional Differential Equations on Banach Spaces

Mouffak Benchohra1*, Alberto Cabada2 and Djamila Seba3

Author Affiliations

1 Laboratoire de Mathématiques, Université de Sidi Bel-Abbès, BP 89, 22000 Sidi Bel-Abbès, Algeria

2 Departamento de Analisis Matematico, Facultad de Matematicas, Universidad de Santiago de Compostela,15782, Santiago de Compostela, Spain

3 Département de Mathématiques, Université de Boumerdès, Avenue de l'Indépendance, 35000 Boumerdès, Algeria

For all author emails, please log on.

Boundary Value Problems 2009, 2009:628916  doi:10.1155/2009/628916

The electronic version of this article is the complete one and can be found online at: http://www.boundaryvalueproblems.com/content/2009/1/628916


Received:30 January 2009
Revisions received:23 March 2009
Accepted:15 May 2009
Published:22 June 2009

© 2009 The Author(s)

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.

The aim of this paper is to investigate a class of boundary value problem for fractional differential equations involving nonlinear integral conditions. The main tool used in our considerations is the technique associated with measures of noncompactness.

1. Introduction

The theory of fractional differential equations has been emerging as an important area of investigation in recent years. Let us mention that this theory has many applications in describing numerous events and problems of the real world. For example, fractional differential equations are often applicable in engineering, physics, chemistry, and biology. See Hilfer[1], Glockle and Nonnenmacher [2], Metzler et al. [3], Podlubny [4], Gaul et al. [5], among others. Fractionaldifferential equations are also often an object of mathematical investigations; see the papers of Agarwal et al. [6], Ahmad and Nieto [7], Ahmad and Otero-Espinar [8], Belarbi et al. [9], Belmekki et al [10], Benchohra et al. [1113], Chang and Nieto [14], Daftardar-Gejji and Bhalekar [15], Figueiredo Camargo et al. [16], and the monographs of Kilbas et al. [17] and Podlubny [4].

Applied problems require definitions of fractional derivatives allowing the utilization of physically interpretable initial conditions, which contain , and so forth. the same requirements of boundary conditions. Caputo's fractional derivative satisfies these demands. For more details on the geometric and physical interpretation for fractional derivatives of both the Riemann-Liouville and Caputo types, see [18, 19].

In this paper we investigate the existence of solutions for boundary value problems with fractional order differential equations and nonlinear integral conditions of the form

(11)

where is the Caputo fractional derivative, , , and are given functions satisfying some assumptions that will be specified later, and is a Banach space with norm .

Boundary value problems with integral boundary conditions constitute a very interesting and important class of problems. They include two, three, multipoint, and nonlocal boundary value problems as special cases. Integral boundary conditions are often encountered in various applications; it is worthwhile mentioning the applications of those conditions in the study of population dynamics [20] and cellular systems [21].

Moreover, boundary value problems with integral boundary conditions have been studied by a number of authors such as, for instance, Arara and Benchohra [22], Benchohra et al. [23, 24], Infante [25], Peciulyte et al. [26], and the references therein.

In our investigation we apply the method associated with the technique of measures of noncompactness and the fixed point theorem of Mönch type. This technique was mainly initiated in the monograph of Bana and Goebel [27] and subsequently developed and used in many papers; see, for example, Bana and Sadarangoni [28], Guo et al. [29], Lakshmikantham and Leela [30], Mönch [31], and Szufla [32].

2. Preliminaries

In this section, we present some definitions and auxiliary results which will be needed in the sequel.

Denote by the Banach space of continuous functions , with the usual supremum norm

(21)

Let be the Banach space of measurable functions which are Bochner integrable, equipped with the norm

(22)

Let be the Banachspace of measurable functions which are bounded, equipped with the norm

(23)

Let be the space of functions , whose first derivative is absolutely continuous.

Moreover, for a given set of functions let us denote by

(24)

Now let us recall some fundamental facts of the notion of Kuratowski measure of noncompactness.

Definition 2.1 (see [27]).

Let be a Banach space and the bounded subsets of . The Kuratowski measure of noncompactness is the map defined by

(25)

Properties

The Kuratowski measure of noncompactness satisfies some properties (for more details see [27]).

(a) is compact ( is relatively compact).

(b).

(c).

(d)

(e)

(f).

Here and denote the closure and the convex hull of the bounded set , respectively.

For completeness we recall the definition of Caputo derivative of fractional order.

Definition 2.2 (see [17]).

The fractional order integral of the function of order is defined by

(26)

where is the gamma function. When , we write where

(27)

for , and as .

Here is the delta function.

Definition 2.3 (see [17]).

For a function given on the interval , the Caputo fractional-order derivative of , of order is defined by

(28)

Here and denotes the integer part of .

Definition 2.4.

A map is said to be Carathéodory if

(i) is measurable for each

(ii) is continuous for almost each

For our purpose we will only need the following fixed point theorem and the important Lemma.

Theorem 2.5 (see [31, 33]).

Let be a bounded, closed and convex subset of a Banach space such that , and let be a continuous mapping of into itself. If the implication

(29)

holds for every subset of , then has a fixed point.

Lemma 2.6 (see [32]).

Let be a bounded, closed, and convex subset of the Banach space , G a continuous function on and a function satisfies the Carathéodory conditions, and there exists such that for each and each bounded set one has

(210)

If is an equicontinuous subset of , then

(211)

3. Existence of Solutions

Let us start by defining what we mean by a solution of the problem (1.1).

Definition 3.1.

A function is said to be a solution of (1.1) if it satisfies (1.1).

Let be continuous functions and consider the linear boundary value problem

(31)

Lemma 3.2 (see [11]).

Let and let be continuous. A function is a solution of the fractional integral equation

(32)

with

(33)

(34)

if and only if is a solution of the fractional boundary value problem (3.1).

Remark 3.3.

It is clear that the function is continuous on , and hence is bounded. Let

(35)

For the forthcoming analysis, we introduce the following assumptions

(H1)The functions satisfy the Carathéodory conditions.

(H2)There exist , such that

(36)

(H3)For almost each and each bounded set we have

(37)

Theorem 3.4.

Assume that assumptions hold. If

(38)

then the boundary value problem (1.1) has at least one solution.

Proof.

We transform the problem (1.1) into a fixed point problem by defining an operator as

(39)

where

(310)

and the function is given by (3.4). Clearly, the fixed points of the operator are solution of the problem (1.1). Let and consider the set

(311)

Clearly, the subset is closed, bounded, and convex. We will show that satisfies the assumptions of Theorem 2.5. The proof will be given in three steps.

Step 1.

is continuous.

Let be a sequence such that in . Then, for each ,

(312)

Let be such that

(313)

By (H2) we have

(314)

Since and are Carathéodory functions, the Lebesgue dominated convergence theorem implies that

(315)

Step 2.

maps into itself.

For each , by and (3.8) we have for each

(316)

Step 3.

is bounded and equicontinuous.

By Step 2, it is obvious that is bounded.

For the equicontinuity of . Let , and . Then

(317)

As , the right-hand side of the above inequality tends to zero.

Now let be a subset of such that .

is bounded and equicontinuous, and therefore the function is continuous on . By (H3), Lemma 2.6, and the properties of the measure we have for each

(318)

This means that

(319)

By (3.8) it follows that , that is, for each , and then is relatively compact in . In view of the Ascoli-Arzelà theorem, is relatively compact in . Applying now Theorem 2.5 we conclude that has a fixed point which is a solution of the problem (1.1).

4. An Example

In this section we give an example to illustrate the usefulness of our main results. Let us consider the following fractional boundary value problem:

(41)

Set

(42)

Clearly, conditions (H1),(H2) hold with

(43)

From (3.4) the function is given by

(44)

From (4.4), we have

(45)

A simple computation gives

(46)

Condition (3.8) is satisfied with . Indeed

(47)

which is satisfied for each . Then by Theorem 3.4 the problem (4.1) has a solution on .

Acknowledgments

The authors thank the referees for their remarks. The research of A. Cabada has been partially supported by Ministerio de Educacion y Ciencia and FEDER, project MTM2007-61724, and by Xunta de Galicia and FEDER, project PGIDIT05PXIC20702PN.

References

  1. Hilfer R (ed.): Applications of Fractional Calculus in Physics,p. viii+463. World Scientific, River Edge, NJ, USA (2000)

  2. Glockle, WG, Nonnenmacher, TF: A fractional calculus approach to self-similar protein dynamics. Biophysical Journal. 68(1), 46–53 (1995). PubMed Abstract | Publisher Full Text | PubMed Central Full Text OpenURL

  3. Metzler, R, Schick, W, Kilian, H-G, Nonnenmacher, TF: Relaxation in filled polymers: a fractional calculus approach. The Journal of Chemical Physics. 103(16), 7180–7186 (1995). Publisher Full Text OpenURL

  4. Podlubny, I: Fractional Differential Equations, Mathematics in Science and Engineering,p. xxiv+340. Academic Press, San Diego, Calif, USA (1999)

  5. Gaul, L, Klein, P, Kemple, S: Damping description involving fractional operators. Mechanical Systems and Signal Processing. 5(2), 81–88 (1991). Publisher Full Text OpenURL

  6. Agarwal, RP, Benchohra, M, Hamani, S: Boundary value problems for differential inclusions with fractional order. Advanced Studies in Contemporary Mathematics. 16(2), 181–196 (2008)

  7. Ahmad, B, Nieto, JJ: Existence results for nonlinear boundary value problems of fractional integrodifferential equations with integral boundary conditions. Boundary Value Problems. 2009, (2009)

  8. Ahmad, B, Otero-Espinar, V: Existence of solutions for fractional differential inclusions with anti-periodic boundary conditions. Boundary Value Problems. 2009, (2009)

  9. Belarbi, A, Benchohra, M, Ouahab, A: Uniqueness results for fractional functional differential equations with infinite delay in Fréchet spaces. Applicable Analysis. 85(12), 1459–1470 (2006). Publisher Full Text OpenURL

  10. Belmekki, M, Nieto, JJ, Rodriguez-Lopez, RR: Existence of periodic solution for a nonlinear fractional differential equation.

  11. Benchohra, M, Graef, JR, Hamani, S: Existence results for boundary value problems with non-linear fractional differential equations. Applicable Analysis. 87(7), 851–863 (2008). Publisher Full Text OpenURL

  12. Benchohra, M, Hamani, S, Ntouyas, SK: Boundary value problems for differential equations with fractional order. Surveys in Mathematics and Its Applications. 3, 1–12 (2008)

  13. Benchohra, M, Henderson, J, Ntouyas, SK, Ouahab, A: Existence results for fractional order functional differential equations with infinite delay. Journal of Mathematical Analysis and Applications. 338(2), 1340–1350 (2008). Publisher Full Text OpenURL

  14. Chang, Y-K, Nieto, JJ: Some new existence results for fractional differential inclusions with boundary conditions. Mathematical and Computer Modelling. 49(3-4), 605–609 (2009). Publisher Full Text OpenURL

  15. Daftardar-Gejji, V, Bhalekar, S: Boundary value problems for multi-term fractional differential equations. Journal of Mathematical Analysis and Applications. 345(2), 754–765 (2008). Publisher Full Text OpenURL

  16. Figueiredo Camargo, R, Chiacchio, AO, Capelas de Oliveira, E: Differentiation to fractional orders and the fractional telegraph equation. Journal of Mathematical Physics. 49(3), (2008)

  17. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations, North-Holland Mathematics Studies,p. xvi+523. Elsevier Science B.V., Amsterdam, The Netherlands (2006)

  18. Heymans, N, Podlubny, I: Physical interpretation of initial conditions for fractional differential equations with Riemann-Liouville fractional derivatives. Rheologica Acta. 45(5), 765–771 (2006). Publisher Full Text OpenURL

  19. Podlubny, I: Geometric and physical interpretation of fractional integration and fractional differentiation. Fractional Calculus & Applied Analysis for Theory and Applications. 5(4), 367–386 (2002). PubMed Abstract | Publisher Full Text | PubMed Central Full Text OpenURL

  20. Blayneh, KW: Analysis of age-structured host-parasitoid model. Far East Journal of Dynamical Systems. 4(2), 125–145 (2002)

  21. Adomian, G, Adomian, GE: Cellular systems and aging models. Computers & Mathematics with Applications. 11(1–3), 283–291 (1985). PubMed Abstract | Publisher Full Text OpenURL

  22. Arara, A, Benchohra, M: Fuzzy solutions for boundary value problems with integral boundary conditions. Acta Mathematica Universitatis Comenianae. 75(1), 119–126 (2006)

  23. Benchohra, M, Hamani, S, Henderson, J: Functional differential inclusions with integral boundary conditions. Electronic Journal of Qualitative Theory of Differential Equations. 2007(15), 1–13 (2007)

  24. Benchohra, M, Hamani, S, Nieto, JJ: The method of upper and lower solutions for second order differential inclusions with integral boundary conditions.

  25. Infante, G: Eigenvalues and positive solutions of ODEs involving integral boundary conditions. Discrete and Continuous Dynamical Systems. 436–442 (2005)

  26. Peciulyte, S, Stikoniene, O, Stikonas, A: Sturm-Liouville problem for stationary differential operator with nonlocal integral boundary condition. Mathematical Modelling and Analysis. 10(4), 377–392 (2005)

  27. Banaś, J, Goebel, K: Measures of Noncompactness in Banach Spaces, Lecture Notes in Pure and Applied Mathematics,p. vi+97. Marcel Dekker, New York, NY, USA (1980)

  28. Banaś, J, Sadarangani, K: On some measures of noncompactness in the space of continuous functions. Nonlinear Analysis: Theory, Methods & Applications. 68(2), 377–383 (2008). PubMed Abstract | Publisher Full Text OpenURL

  29. Guo, D, Lakshmikantham, V, Liu, X: Nonlinear Integral Equations in Abstract Spaces, Mathematics and Its Applications,p. viii+341. Kluwer Academic Publishers, Dordrecht, The Netherlands (1996)

  30. Lakshmikantham, V, Leela, S: Nonlinear Differential Equations in Abstract Spaces, International Series in Nonlinear Mathematics: Theory, Methods and Applications,p. x+258. Pergamon Press, Oxford, UK (1981)

  31. Mönch, H: Boundary value problems for nonlinear ordinary differential equations of second order in Banach spaces. Nonlinear Analysis: Theory, Methods & Applications. 4(5), 985–999 (1980). PubMed Abstract | Publisher Full Text OpenURL

  32. Szufla, S: On the application of measure of noncompactness to existence theorems. Rendiconti del Seminario Matematico della Università di Padova. 75, 1–14 (1986)

  33. Agarwal, RP, Meehan, M, O'Regan, D: Fixed Point Theory and Applications, Cambridge Tracts in Mathematics,p. x+170. Cambridge University Press, Cambridge, UK (2001)