Abstract and Applied Analysis

Volume 2012 (2012), Article ID 325984, 15 pages

http://dx.doi.org/10.1155/2012/325984

## On Antiperiodic Boundary Value Problems for Higher-Order Fractional Differential Equations

Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia

Received 18 May 2012; Accepted 1 July 2012

Academic Editor: Dumitru Baleanu

Copyright © 2012 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 study an antiperiodic boundary value problem of nonlinear fractional differential equations of order . Some existence results are obtained by applying some standard tools of fixed-point theory. We show that solutions for lower-order anti-periodic fractional boundary value problems follow from the solution of the problem at hand. Our results are new and generalize the existing results on anti-periodic fractional boundary value problems. The paper concludes with some illustrating examples.

#### 1. Introduction

In the preceding years, there has been a great advancement in the study of fractional calculus. A variety of results on initial and boundary value problems of fractional order, ranging from the theoretical aspects of existence and uniqueness of solutions to the analytic and numerical methods for finding solutions, have appeared in the literature. It is mainly due to the extensive application of fractional differential equations in many engineering and scientific disciplines such as physics, chemistry, biology, economics, control theory, signal and image processing, biophysics, blood flow phenomena, aerodynamics, and fitting of experimental data [1–5]. For an updated account of mathematical tools for fractional models and methods of solutions for fractional differential equations, we refer the reader to a recent text [6] by Baleanu et al. Fractional derivatives are also regarded as an excellent tool for the description of memory and hereditary properties of various materials and processes [7]. These characteristics of the fractional derivatives make the fractional-order models more realistic and practical than the classical integer-order models. For more details and examples, see [8–20].

Antiperiodic boundary value problems occur in the mathematical modeling of a variety of physical processes and have received a considerable attention. Examples include antiperiodic trigonometric polynomials in the study of interpolation problems, antiperiodic wavelets, antiperiodic boundary conditions in physics, and so forth (for details, see [21] and the references therein). Some recent work on antiperiodic boundary value problems of fractional-order can be found in [21–27] and references therein.

In this paper, we consider an antiperiodic boundary value problems of fractional differential equations of order given by where denotes the Caputo fractional derivative of order and is a given continuous function.

The main objective of the present work is to develop the existence theory for problem (1.1) and relate problem (1.1) with lower-order fractional antiperiodic boundary value problems. Our results are new and give further insight into the characteristics of fractional-order antiperiodic boundary value problems.

#### 2. Preliminaries

*Definition 2.1 2.1 (see [4]). *The Riemann-Liouville fractional integral of order for a continuous function is defined as
provided the integral exists.

*Definition 2.2 2.2 (see [4]). *For at least -times continuously differentiable function , the Caputo derivative of fractional order is defined as
where denotes the integer part of the real number .

To study the nonlinear problem (1.1), we need the following lemma, which deals with a linear variant of problem (1.1).

Lemma 2.3. *For any , the unique solution of the boundary value problem:
**
is
**
where is the Green’s function given by
*

* Proof. *It is well known [4] that the solution of can be written as
where are arbitrary constants. Using the boundary conditions for problem (2.3) in (2.6), we find that

Substituting the values of , and in (2.6), we obtain
where is given by (2.5). This completes the proof.

##### 2.1. Relationship with Lower-Order Problems

We observe that the first term in expressions for given by (2.5) corresponds to the Green’s function for the problem: the first two terms in (2.5) form Green’s function for the problem [21]: the first three terms in (2.5) give the Green’s function for the problem [22]: while the first four terms in (2.5) yield the Green’s function for the antiperiodic problem [23]:

From the above deductions, it can easily be concluded that Green’s function (2.5) for an antiperiodic boundary value problem of fractional order contains Green’s function (or solution) for lower-order fractional antiperiodic problems. We can further interpret that the last term in expressions for Green’s function (2.5) arises due to consideration of the order , whereas the remaining terms correspond to the lower-order problems. This observation gives a useful insight into the study of antiperiodic fractional boundary value problems that a unit-increase in the fractional order of the problem gives rise to a new term in expressions for Green’s function, preserving the terms corresponding to lower-order antiperiodic problems. In other words, one can say that Green’s function (or solution) for a higher-order antiperiodic fractional boundary value problem inherits all the characteristics of lower-order fractional antiperiodic problems. Hence, our results generalize the existing results on antiperiodic fractional boundary value problems ([21–23]).

#### 3. Existence Results

Let denotes the Banach space of all continuous functions defined on endowed with a topology of uniform convergence with the norm .

To prove the existence results for problem (1.1), we need the following known results [28].

Theorem 3.1. *Let be a Banach space. Assume that is completely continuous operator and the set
**
is bounded. Then has a fixed point in .*

Theorem 3.2. *Let be a Banach space. Assume that is an open-bounded subset of with and let be a completely continuous operator such that
**
Then has a fixed point in .*

By Lemma 2.3, we define an operator as

Observe that the problem (1.1) has a solution if and only if the operator equation has a fixed point.

Theorem 3.3. *Assume that there exists a positive constant such that for . Then the problem (1.1) has at least one solution. *

* Proof. *First of all, we show that the operator is completely continuous. Note that the operator is continuous in view of the continuity of . Let be a bounded set. By the assumption that , for , we have
which implies that . Further, we find that
Hence, for , we have
This implies that is equicontinuous on . Thus, by the Arzela-Ascoli theorem, the operator is completely continuous.

Next, we consider the set
and show that the set is bounded. Let , then . For any , we have
Thus, for any . So, the set is bounded. Thus, by the conclusion of Theorem 3.1, the operator has at least one fixed point, which implies that (1.1) has at least one solution.

Theorem 3.4. *Let there exist a small positive number such that for , where satisfies the condition
**
Then the problem (1.1) has at least one solution.*

* Proof. *Let us define and take such that , that is, . As before, it can be shown that is completely continuous and
which in view of (3.10) yields . Therefore, by Theorem 3.2, the operator has at least one fixed point, which in turn implies that the problem (1.1) has at least one solution.

Our next existence result is based on Krasnoselskii’s fixed point theorem [29].

Theorem 3.5. *Let be a closed convex and nonempty subset of a Banach space . Let and be the operators such that (i) whenever ; (ii) is compact and continuous; (iii) is a contraction mapping. Then there exists such that .*

Theorem 3.6. *Let be a jointly continuous function. Further, we assume that *(A_{1})*; *(A_{2})*. **
Then the problem (1.1) has at least one solution on if
*

* Proof. *Letting , we fix
and consider . We define the operators and on as
For , we find that
Thus, . It follows from the assumption that is a contraction mapping for
Continuity of implies that the operator is continuous. Also, is uniformly bounded on as

Now we prove the compactness of the operator . In view of , we define
and consequently, for with , we have
which is independent of and tends to zero as . So is relatively compact on . Hence, By the Arzela-Ascoli theorem, is compact on . Thus all the assumptions of Theorem 3.5 are satisfied. Therefore, the conclusion of Theorem 3.5 applies and the antiperiodic fractional boundary value problem (1.1) has at least one solution on . This completes the proof.

Theorem 3.7. *Assume that is a jointly continuous function satisfying the condition
**
with
**
Then the antiperiodic boundary value problem (1.1) has a unique solution. *

* Proof. * Let us define and select where . Then we show that , where . For , we have
where (3.22) is used. Now, for , we obtain
where we have used (3.22). It follows by the condition (3.21) that is a contraction. So, by Banach’s contraction mapping principle, problem (1.1) has a unique solution.

*Example 3.8. * Consider the following antiperiodic fractional boundary value problem:
where and .

Clearly, , and the hypothesis of Theorem 3.3 holds. Therefore, the conclusion of Theorem 3.3 applies to problem (3.25).

*Example 3.9. * Consider the following problem:
where , and .

For sufficiently small (ignoring and higher powers of ), we have
where , and (3.10) takes the form
(in particular, for ). Thus all the assumptions of Theorem 3.4 hold. Consequently, the conclusion of Theorem 3.4 implies that the problem (3.26) has at least one solution

*Example 3.10. *Consider the following antiperiodic fractional boundary value problem:
where , and . Clearly, as . Further,
Thus, all the assumptions of by Theorem 3.7 are satisfied. Hence, the fractional boundary value problem (3.30) has a unique solution on .

#### References

- I. Podlubny,
*Fractional Differential Equations*, Academic Press, San Diego, Calif, USA, 1999. View at Zentralblatt MATH - G. M. Zaslavsky,
*Hamiltonian Chaos and Fractional Dynamics*, Oxford University Press, Oxford, UK, 2005. - R. L. Magin,
*Fractional Calculus in Bioengineering*, Begell House Publisher, Connecticut, Conn, USA, 2006. - 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 B.V., Amsterdam, The Netherlands, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Sabatier, O. P. Agrawal, and J. A. T. Machado,
*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 Publishing Co. Pte. Ltd., Hackensack, NJ, USA, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - M. P. Lazarevic and A. M. Spasic, “Finite-time stability analysis of fractional order time-delay systems: Gronwall's approach,”
*Mathematical and Computer Modelling*, vol. 49, no. 3-4, pp. 475–481, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - B. Ahmad and J. J. Nieto, “Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions,”
*Computers & Mathematics with Applications*, vol. 58, no. 9, pp. 1838–1843, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - R. P. Agarwal, M. Belmekki, and M. Benchohra, “A survey on semilinear differential equations and inclusions involving Riemann-Liouville fractional derivative,”
*Advances in Difference Equations*, vol. 2009, Article ID 981728, 47 pages, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - V. Gafiychuk and B. Datsko, “Mathematical modeling of different types of instabilities in time fractional reaction-diffusion systems,”
*Computers & Mathematics with Applications*, vol. 59, no. 3, pp. 1101–1107, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - R. P. Agarwal, V. Lakshmikantham, and J. J. Nieto, “On the concept of solution for fractional differential equations with uncertainty,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 72, no. 6, pp. 2859–2862, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - B. Ahmad, “Existence of solutions for irregular boundary value problems of nonlinear fractional differential equations,”
*Applied Mathematics Letters*, vol. 23, no. 4, pp. 390–394, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. J. Nieto, “Maximum principles for fractional differential equations derived from Mittag-Leffler functions,”
*Applied Mathematics Letters*, vol. 23, no. 10, pp. 1248–1251, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - D. Baleanu, O. G. Mustafa, and R. P. Agarwal, “An existence result for a superlinear fractional differential equation,”
*Applied Mathematics Letters*, vol. 23, no. 9, pp. 1129–1132, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - E. Hernandez, D. O'Regan, and K. Balachandran, “On recent developments in the theory of abstract differential equations with fractional derivatives,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 73, no. 10, pp. 3462–3471, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - D. Baleanu, O. G. Mustafa, and D. O'Regan, “A Nagumo-like uniqueness theorem for fractional differential equations,”
*Journal of Physics A*, vol. 44, no. 39, Article ID 392003, 6 pages, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - B. Ahmad and J. J. Nieto, “Riemann-Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions,”
*Boundary Value Problems*, vol. 2011, p. 36, 2011. View at Publisher · View at Google Scholar - B. Ahmad, J. J. Nieto, A. Alsaedi, and M. El-Shahed, “A study of nonlinear Langevin equation involving two fractional orders in different intervals,”
*Nonlinear Analysis. Real World Applications*, vol. 13, no. 2, pp. 599–606, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - G. Wang, D. Baleanu, and L. Zhang, “Monotone iterative method for a class of nonlinear fractional differential equations,”
*Fractional Calculus and Applied Analysis*, vol. 15, no. 2, pp. 244–252, 2012. View at Publisher · View at Google Scholar - A. Aghajani, Y. Jalilian, and J. J. Trujillo, “On the existence of solutions of fractional integro-differential equations,”
*Fractional Calculus and Applied Analysis*, vol. 15, no. 1, pp. 44–69, 2012. View at Publisher · View at Google Scholar - B. Ahmad and J. J. Nieto, “Existence of solutions for anti-periodic boundary value problems involving fractional differential equations via Leray-Schauder degree theory,”
*Topological Methods in Nonlinear Analysis*, vol. 35, no. 2, pp. 295–304, 2010. View at Google Scholar - B. Ahmad, “Existence of solutions for fractional differential equations of order $q\in (2,3]$ with anti-periodic boundary conditions,”
*Journal of Applied Mathematics and Computing*, vol. 34, no. 1-2, pp. 385–391, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - R. P. Agarwal and B. Ahmad, “Existence theory for anti-periodic boundary value problems of fractional differential equations and inclusions,”
*Computers & Mathematics with Applications*, vol. 62, no. 3, pp. 1200–1214, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - B. Ahmad and J. J. Nieto, “Anti-periodic fractional boundary value problems,”
*Computers & Mathematics with Applications*, vol. 62, no. 3, pp. 1150–1156, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - G. Wang, B. Ahmad, and L. Zhang, “Impulsive anti-periodic boundary value problem for nonlinear differential equations of fractional order,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 74, no. 3, pp. 792–804, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Cao, Q. Yang, and Z. Huang, “Existence of anti-periodic mild solutions for a class of semilinear fractional differential equations,”
*Communications in Nonlinear Science and Numerical Simulation*, vol. 17, no. 1, pp. 277–283, 2012. View at Publisher · View at Google Scholar - B. Ahmad and J. J. Nieto, “Anti-periodic fractional boundary value problems with nonlinear term depending on lower order derivative,”
*Fractional Calculus and Applied Analysis*, vol. 15, no. 3, pp. 451–462, 2012. View at Publisher · View at Google Scholar - J. X. Sun,
*Nonlinear Functional Analysis and its Application*, Science Press, Beijing, China, 2008. - D. R. Smart,
*Fixed Point Theorems*, Cambridge University Press, London, UK, 1980.