- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

International Journal of Differential Equations

Volume 2011 (2011), Article ID 304570, 15 pages

http://dx.doi.org/10.1155/2011/304570

## Existence and Uniqueness Theorem of Fractional Mixed Volterra-Fredholm Integrodifferential Equation with Integral Boundary Conditions

^{1}Department of Mathematics, Faculty of Science, Dohuk University, Kurdistan, Iraq^{2}Department of Mathematics, Faculty of Science, Zakho University, Kurdistan, Iraq^{3}Department of Mathematics and Science, College of Education and Basic Sciences, Ajman University of Science and Technology, UAE

Received 7 May 2011; Accepted 24 May 2011

Academic Editor: Shaher Momani

Copyright © 2011 Shayma Adil Murad 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 study the existence and uniqueness of the solutions of mixed Volterra-Fredholm type integral equations with integral boundary condition in Banach space. Our analysis is based on an application of the Krasnosel'skii fixed-point theorem.

#### 1. Introduction

In the last century, notable contributions have been made to both the theory and applications of the fractional differential equations. For the theory part, Momani and Hadid have investigated the local and global existence theorem of both fractional differential equation and fractional integrodifferential equations; see [1–6]. Fractional-order differential equations have recently proved to be valuable tools in the modeling of many phenomena in various fields of science and engineering.

Integrodifferential equations with integral boundary conditions are often encountered in various applications; it is worthwhile mentioning the applications of those conditions in the study of population dynamics and cellular systems. For a detailed description of the integral boundary conditions, we refer the reader to a recent paper [7]. In [8], Tidke studied the problem of existence of global solutions to nonlinear mixed Volttera-Fredholm integrodifferential equations with nonlocal condition.

Ahmad and Nieto [9] studied some existence results for boundary value problem involving a nonlinear integrodifferential equation of fractional order with integral equation.

Very recently N^{’}Guérékata [10] discussed the existence of solutions of fractional abstract differential equations with nonlocal initial condition. Anguraj et al. [11] studied the existence and uniqueness theorem for the nonlinear fractional mixed Volterra-Fredholm integrodifferential equation with nonlocal initial condition.

Motivated by these works, we study in this paper the existence of solution of boundary value problem for fractional integrodifferential equations ( in the case ) in Banach spaces by using Banach and Krasnosel'skii fixed-point theorems.

#### 2. Preliminaries

First of all, we recall some basic definitions; see [12–15].

*Definition 2.1. *For a function given on the interval , the Caputo fractional order derivative of is defined by
where and denotes the integer part of .

Lemma 2.2. *Let , then
**
for some , .*

*Definition 2.3. *Let be a function which is defined almost everywhere (a.e) on , for , we define
provided that the integral (Lebesgue) exists.

Theorem 2.4 (Krasnosel’skii fixed point theorem). * Let be a closed-convex bounded nonempty subset of a Banach space . Let and be two operators such that **, whenever ,** is compact and continuous;** is a contraction mapping,**then there exists such that . **Let be a Banach space with the norm . Let be Banach space of all continuous functions , with supermum norm . Consider the fractional mixed Volttera-Fredholm integrodifferential equation with boundary conditions, which has the form
**
where , is the Caputo fractional derivative and the nonlinear functions , and satisfy the following hypotheses: **there exists constants such that , for ,**there exists constants such that and
**There exists continuous functions and such that and , for every and ,**there exists continuous functions and such that and **there exists continuous function , and is positive constant such that and , for every and , where is continuous nondecreasing function satisfying , where is a continuous function .*

Lemma 2.5. *Let and , where , be a continuous function, then the solution of fractional differential equation (2.4) with the boundary condition (2.5) is
*

*Proof. *By Lemma 2.2, we reduce the problem (2.4)-(2.5) to an equivalent integral equation
In view of the relations and , for , we obtain
Applying the boundary condition (2.5), we find that
that is,
Therefore the solution of (2.4)-(2.5) is
which completes the proof.

#### 3. The Main Result

Theorem 3.1. *If the hypotheses (H1)–(H5) are satisfied, then the fractional integrodifferential equation (2.4)-(2.5) has a unique solution on .*

*Proof. *Define by
We show that has a fixed point on Br. This fixed point is then a solution of (2.4)-(2.5). Firstly, we show that , where . For , we have
Since we have , and , we get
where .

Now, take and for each , we obtain
by using (H1)–(H5), we get
Since we have , , and, Let , , then
where .

As , therefore is a contraction. Thus, the conclusion of the theorem is followed by the contraction mapping principle.

Theorem 3.2. *Assume that (H1)–(H5) hold with
**Then the boundary value problem (2.4)-(2.5) has at least one element on .*

*Proof. *Consider . We define the operators and as
Let us observe that if , then ,
where .

Now we prove that is contraction mapping,
Let , we obtain
It is clear that is contraction mapping, since is continuous, then is continuous
Hence, is uniformly bounded on . Now, let us prove that is equicontinuous, let and . Using the fact that is bounded on the compact set , thus ,we get

So is relatively compact. By Arzela-Ascoli theorem, is compact. Now we conclude the result of the theorem of Krasnosel’skii theorem.

*Example 3.3. *Consider the following fractional mixed Volterra-Fredholm integrodifferential equation:
with integral boundary conditions
Here,
Hence, the conditions (H1)–(H5) hold with , , , *, *, , , and , thus
We conclude from the above example that the integrodifferential equation has unique solution.

#### References

- M. Amairi, M. Aoun, S. Najar, and M. N. Abdelkrim, “A constant enclosure method for validating existence and uniqueness of the solution of an initial value problem for a fractional differential equation,”
*Applied Mathematics and Computation*, vol. 217, no. 5, pp. 2162–2168, 2010. View at Publisher · View at Google Scholar - Z. Drici, F. A. McRae, and J. V. Devi, “Fractional differential equations involving causal operators,”
*Communications in Applied Analysis.*, vol. 14, no. 1, pp. 81–88, 2010. View at Google Scholar - S. B. Hadid, “Local and global existence theorems on differential equations of non-integer order,”
*Journal of Fractional Calculus*, vol. 7, pp. 101–105, 1995. View at Google Scholar · View at Zentralblatt MATH - R. W. Ibrahim, “Existence results for fractional boundary value problem,”
*International Journal of Contemporary Mathematical Sciences*, vol. 3, no. 33-36, pp. 1767–1774, 2008. View at Google Scholar · View at Zentralblatt MATH - S. M. Momani, “Local and global existence theorems on fractional integro-differential equations,”
*Journal of Fractional Calculus*, vol. 18, pp. 81–86, 2000. View at Google Scholar · View at Zentralblatt MATH - S. M. Momani and S. B. Hadid, “On the inequalities of integro-differential fractional equations,”
*International Journal of Applied Mathematics*, vol. 12, no. 1, pp. 29–37, 2003. View at Google Scholar · View at Zentralblatt MATH - B. Ahmad, A. Alsaedi, and B. S. Alghamdi, “Analytic approximation of solutions of the forced Duffing equation with integral boundary conditions,”
*Nonlinear Analysis Real world Applications*, vol. 9, no. 4, pp. 1727–1740, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H L. Tidke, “Existence of global solutions to nonlinear mixed Volterra-Fredholm integrodifferential equations with nonlocal conditions,”
*Electronic Journal of Differential Equations*, vol. 2009, pp. No. 55–7, 2009. View at Google Scholar · View at Zentralblatt MATH - B. Ahmad and J. J. Nieto, “Existence results for nonlinear boundary value problems of fractional integrodifferential equations with integral boundary conditions,”
*Boundary Value Problems*, vol. 2009, Article ID 708576, 11 pages, 2009. View at Google Scholar · View at Zentralblatt MATH - G. M. N'Guérékata, “A Cauchy problem for some fractional abstract differential equation with non local conditions,”
*Nonlinear Analysis: Theory , Method and Applications*, vol. 70, no. 5, pp. 1873–1876, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Anguraj, P. Karthikeyan, and J. J. Trujillo, “Existence of solutions to fractional mixed integrodifferential equations with nonlocal initial condition,”
*Advances in Difference Equations*, vol. 2011, Article ID 690653, 12 pages, 2011. View at Publisher · View at Google Scholar - A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo,
*Theory and Applications of Fractional Differential Equations*, vol. 204 of*North-Holland Mathematics Studies*, Elsevier Science, Amsterdam, The Netherlands, 2006. - M. A. Krasnosel'skiĭ, “Two remarks on the method of successive approximations,”
*Uspekhi Matematicheskikh Nauk*, vol. 10, no. 1(63), pp. 123–127, 1955. View at Google Scholar - I. Podlubny,
*Fractional Differential Equations*, vol. 198 of*Mathematics in Science and Engineering*, Academic Press, San Diego, Calif, USA, 1999. - S. G. Samko, A. A. Kilbas, and O. I. Marichev,
*Fractional Integrals and Derivatives*, Gordon and Breach Science, Yverdon, Switzerland, 1993.