Abstract and Applied Analysis

Volume 2014 (2014), Article ID 207547, 12 pages

http://dx.doi.org/10.1155/2014/207547

## Existence Theory for -Antiperiodic Boundary Value Problems of Sequential -Fractional Integrodifferential Equations

^{1}Department of Mathematics, Texas A&M University, Kingsville, TX 78363-8202, USA^{2}Nonlinear Analysis and Applied Mathematics Research Group (NAAM), King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia

Received 21 February 2014; Accepted 3 April 2014; Published 30 April 2014

Academic Editor: Erdal Karapinar

Copyright © 2014 Ravi P. Agarwal 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 discuss the existence and uniqueness of solutions for a new class of sequential -fractional integrodifferential equations with -antiperiodic boundary conditions. Our results rely on the standard tools of fixed-point theory such as Krasnoselskii's fixed-point theorem, Leray-Schauder nonlinear alternative, and Banach's contraction principle. An illustrative example is also presented.

#### 1. Introduction

We consider a-antiperiodic boundary value problem of sequential-fractional integrodifferential equations given by where and denote the fractional-derivative of the Caputo type, , denotes Riemann-Liouville integral withbeing given continuous functions, andbeing real constants.

The aim of the present study is to establish some existence and uniqueness results for the problem (1) by means of Krasnoselskii’s fixed-point theorem, Leray-Schauder nonlinear alternative, and Banach’s contraction principle. Though the tools employed in this work are standard, yet their exposition in the framework of the given problem is new.

Fractional calculus has developed into a popular mathematical modelling tool for many real world phenomena occurring in physical and technical sciences, see, for example, [1–4]. A fractional-order differential operator distinguishes itself from an integer-order differential operator in the sense that it is nonlocal in nature and can describe the memory and hereditary properties of some important and useful materials and processes. This feature has fascinated many researchers and several results ranging from theoretical analysis to asymptotic behavior and numerical methods for fractional differential equations have been established. For some recent work on the topic, see [5–12] and references therein.

The mathematical modeling of linear control systems, concerning the controllability of systems consisting of a set of well-defined interconnected objects, is based on the linear systems of divided difference functional equations. The controllability in mathematical control theory studies the concepts such as controllability of the state, controllability of the output, controllability at the origin, and complete controllability. The-difference equations play a key role in the control theory as these equations are always completely controllable and appear in the-optimal control problem [13]. The variational-calculus is known as a generalization of the continuous variational calculus due to the presence of an extra-parameterwhose nature may be physical or economical. The study of the-uniform lattice rely on the-Euler equations. In other words, it suffices to solve the-Euler-Lagrange equation for finding the extremum of the functional involved instead of solving the Euler-Lagrange equation [14]. One can find more details in a series of papers [15–21].

The subject of fractional-difference (-fractional) equations is regarded as fractional analogue of-difference equations and has recently gained a considerable attention. For examples and details, we refer the reader to the works [22–33] and references therein while some earlier work on the subject can be found in [34–36]. The present work is motivated by recent interest in the study of fractional-order differential equations.

#### 2. Preliminaries on Fractional -Calculus

Let us describe the notations and terminology for-fractional calculus [35].

For a real parameter, a-real number denoted byis defined by

The-analogue of the Pochhammer symbol (-shifted factorial) is defined as

The-analogue of the exponent is

The-gamma functionis defined as where . Observe that .

*Definition 1 (see [35]). *Letbe a function defined onThe fractional -integral of the Riemann-Liouville type of orderisand

Observe that the above-integral reduces to the following one for. Further details of-integrals and fractional-integrals can be found respectively in Section 1.3 and Section 4.2 of the text [35].

*Remark 2. *The semigroup property holds for-fractional integration (Proposition 4.3 [35]):
Further, it has been shown in Lemma 6 of [37] that

Before giving the definition of fractional-derivative, we recall the concept of-derivative.

Letbe a real valued function defined on a-geometric set(). Then the-derivative of a function is defined as For, the-derivative at zero is defined forby Provided that the limit exists and does not depend on.

Furthermore,

*Definition 3 (see [35]). *The Caputo fractional-derivative of orderis defined by
where is the smallest integer greater than or equal to

Next we enlist some properties involving Riemann-Liouville-fractional integral and Caputo fractional-derivative (Theorem 5.2 [35]):

Now we establish a lemma that plays a key role in the sequel.

Lemma 4. *For a given, the boundary value problem
**
is equivalent to the-integral equation
*

*Proof. *It is well known that the solution of-fractional equation in (15) can be written as
Differentiating (17), we obtain

Using the boundary conditions (15) in (17) and (18) and solving the resulting expressions forand , we get

Substituting the values ofandin (17) yields the solution (16). The converse follows in a straightforward manner. This completes the proof.

*Let denote the Banach space of all continuous functions frominto endowed with the usual norm defined by.*

*In view of Lemma 4, we define an operator as
*

*
Observe that the problem (1) has solutions only if the operator equationhas fixed points.*

*3. Main Results*

*For the forthcoming analysis, the following conditions are assumed. are continuous functions such thatand, for all .There existwith, for all , where. For computational convenience, we set
*

*
Our first existence result is based on Krasnoselskii’s fixed point theorem.*

*Lemma 5 (see, Krasnoselskii [38]). Letbe a closed, convex, bounded, and nonempty subset of a Banach spaceLetbe the operators such that (i)whenever; (ii)is compact and continuous; and (iii)is a contraction mapping. Then there existssuch that*

*Theorem 6. Let be continuous functions satisfying .Furthermore, whereis given by (22) andThen the problem (1) has at least one solution on.*

*Proof. *Consider the set, whereis given by

Define operatorsandonas
For, we find that

Thus,Continuity ofandimply that the operator is continuous. Also,is uniformly bounded onas

Now, we prove the compactness of the operatorIn view of , we define
Consequently, for, we have
which is independent ofand tends to zero as. Thus,is relatively compact on. Hence, by the Arzelá-Ascoli Theorem,is compact onNow, we shall show thatis a contraction.

From and for, we have
where we have used (22). In view of the assumption, the operatoris a contraction. Thus, all the conditions of Lemma 5 are satisfied. Hence, by the conclusion of Lemma 5, the problem (1) has at least one solution on.

*Our next result is based on Leray-Schauder nonlinear alternative.*

*Lemma 7 (nonlinear alternative for single valued maps, see [39]). Letbe a Banach space,a closed, convex subset of an open subset of, andSuppose that is a continuous, compact is a relatively compact subset of) map. Then either (i) has a fixed point in , or(ii)there is a(the boundary ofin) andwith*

*Theorem 8. Let be continuous functions and the following assumptions hold: there exist functions, and nondecreasing functionssuch that for all there exists a constantsuch that
*

Then the boundary value problem (1) has at least one solution on

*Proof. *Consider the operator defined by (20). The proof consists of several steps. (i)It is easy to show that is continuous.(ii) maps bounded sets into bounded sets in .

For a positive number, let be a bounded set in and. Then, we have

This shows that .(iii) maps bounded sets into equicontinuous sets of .

Let with and , where is a bounded set of . Then, we obtain

Obviously the right-hand side of the above inequality tends to zero independently of as Therefore, it follows by the Arzelá-Ascoli theorem that is completely continuous.(iv)Letbe a solution of the given problem such thatforThen, for, it follows by the procedure used to establish (ii) that
Consequently, we have
In view of, there existssuch that. Let us set
Note that the operator is continuous and completely continuous. From the choice of, there is nosuch thatfor some. In consequence, by the nonlinear alternative of Leray-Schauder type (Lemma 7), we deduce that has a fixed pointwhich is a solution of the problem (1). This completes the proof.

*Finally we show the existence of a unique solution of the given problem by applying Banach’s contraction mapping principle (Banach fixed-point theorem).*

*Theorem 9. Suppose that the assumption holds and
where, andare given by (21) and. Then the boundary value problem (1) has a unique solution.*

*Proof. *Fix , where are finite numbers given by. Selecting , we show that , where . For , we have

This shows that For , we obtain
Sinceby the given assumption, therefore is a contraction. Hence, it follows by Banach’s contraction principle that the problem (1) has a unique solution.

*Example 10. *Consider a-fractional integrodifferential equation with-antiperiodic boundary conditions given by
where , +, With the given data,and

Clearly,, and the condition implies that . Thus all the assumptions of Theorem 8 are satisfied. Hence, the conclusion of Theorem 8 applies to the problem (39).

*Example 11. *Consider the following-fractional-antiperiodic boundary value problem:
where , With the given data, it is found thatas , Clearly . Moreover, and . Using the given values, it is found that. Thus all the assumptions of Theorem 9 are satisfied. Hence, by the conclusion of Theorem 9, there exists a unique solution for the problem (41).

*Conflict of Interests*

*Conflict of Interests*

*The authors declare that there is no conflict of interests regarding the publication of this paper.*

*Acknowledgment*

*Acknowledgment*

*This work was partially supported by Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia.*

*References*

*References*

- S. G. Samko, A. A. Kilbas, and O. I. Marichev,
*Fractional Integrals and Derivatives*, Gordon and Breach Science, Yverdon, Switzerland, 1993. View at MathSciNet - I. Podlubny,
*Fractional Differential Equations*, vol. 198 of*Mathematics in Science and Engineering*, Academic Press, San Diego, Calif, USA, 1999. View at MathSciNet - 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 MathSciNet - D. Baleanu, K. Diethelm, E. Scalas, and J. J. Trujillo,
*Fractional Calculus*, vol. 3 of*Series on Complexity, Nonlinearity and Chaos*, World Scientific, Boston, Mass, USA, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - D. Băleanu, O. G. Mustafa, and R. P. Agarwal, “On ${L}^{p}$-solutions for a class of sequential fractional differential equations,”
*Applied Mathematics and Computation*, vol. 218, no. 5, pp. 2074–2081, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - X. Liu, M. Jia, and W. Ge, “Multiple solutions of a $p$-Laplacian model involving a fractional derivative,”
*Advances in Difference Equations*, vol. 2013, article 126, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - 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 · View at MathSciNet - N. J. Ford and M. L. Morgado, “Fractional boundary value problems: analysis and numerical methods,”
*Fractional Calculus and Applied Analysis*, vol. 14, no. 4, pp. 554–567, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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 · View at Zentralblatt MATH · View at MathSciNet - D. O'Regan and S. Staněk, “Fractional boundary value problems with singularities in space variables,”
*Nonlinear Dynamics*, vol. 71, no. 4, pp. 641–652, 2013. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Ahmad and J. J. Nieto, “Boundary value problems for a class of sequential integrodifferential equations of fractional order,”
*Journal of Function Spaces and Applications*, vol. 2013, Article ID 149659, 8 pages, 2013. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - L. Zhang, B. Ahmad, G. Wang, and R. P. Agarwal, “Nonlinear fractional integro-differential equations on unbounded domains in a Banach space,”
*Journal of Computational and Applied Mathematics*, vol. 249, pp. 51–56, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - G. Bangerezako, “$q$-difference linear control systems,”
*Journal of Difference Equations and Applications*, vol. 17, no. 9, pp. 1229–1249, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - G. Bangerezako, “Variational $q$-calculus,”
*Journal of Mathematical Analysis and Applications*, vol. 289, no. 2, pp. 650–665, 2004. View at Publisher · View at Google Scholar · View at MathSciNet - J. D. Logan, “First integrals in the discrete variational calculus,”
*Aequationes Mathematicae*, vol. 9, pp. 210–220, 1973. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - O. P. Agrawal, “Some generalized fractional calculus operators and their applications in integral equations,”
*Fractional Calculus and Applied Analysis*, vol. 15, no. 4, pp. 700–711, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - S. Guermah, S. Djennoune, and M. Bettayeb, “Controllability and observability of linear discrete-time fractional-order systems,”
*International Journal of Applied Mathematics and Computer Science*, vol. 18, no. 2, pp. 213–222, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Bartosiewicz and E. Pawłuszewicz, “Realizations of linear control systems on time scales,”
*Control and Cybernetics*, vol. 35, no. 4, pp. 769–786, 2006. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - D. Mozyrska and Z. Bartosiewicz, “On observability concepts for nonlinear discrete-time fractional order control systems,”
*New Trends in Nanotechnology and Fractional Calculus Applications*, vol. 4, pp. 305–312, 2010. View at Google Scholar - T. Abdeljawad, F. Jarad, and D. Baleanu, “Variational optimal-control problems with delayed arguments on time scales,”
*Advances in Difference Equations*, vol. 2009, Article ID 840386, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - F. Mainardi, “Fractional calculus: some basic problems in continuum and statistical mechanics,” in
*Fractals and Fractional Calculus in Continuum Mechanics*, A. Carpinteri and F. Mainardi, Eds., pp. 291–348, Springer, New York, NY, USA, 1997. View at Google Scholar - R. A. C. Ferreira, “Nontrivial solutions for fractional $q$-difference boundary value problems,”
*Electronic Journal of Qualitative Theory of Differential Equations*, vol. 70, pp. 1–10, 2010. View at Google Scholar · View at MathSciNet - B. Ahmad, J. J. Nieto, A. Alsaedi, and H. Al-Hutami, “Existence of solutions for nonlinear fractional q-difference integral equations with two fractional orders and nonlocal four-point boundary conditions,”
*Journal of the Franklin Institute*, vol. 351, no. 5, pp. 2890-2909, 2014. View at Publisher · View at Google Scholar - C. S. Goodrich, “Existence and uniqueness of solutions to a fractional difference equation with nonlocal conditions,”
*Computers & Mathematics with Applications*, vol. 61, no. 2, pp. 191–202, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Ma and J. Yang, “Existence of solutions for multi-point boundary value problem of fractional $q$-difference equation,”
*Electronic Journal of Qualitative Theory of Differential Equations*, vol. 92, pp. 1–10, 2011. View at Google Scholar · View at MathSciNet - J. R. Graef and L. Kong, “Positive solutions for a class of higher order boundary value problems with fractional $q$-derivatives,”
*Applied Mathematics and Computation*, vol. 218, no. 19, pp. 9682–9689, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - B. Ahmad and S. K. Ntouyas, “Existence of solutions for nonlinear fractional $q$-difference inclusions with nonlocal Robin (separated) conditions,”
*Mediterranean Journal of Mathematics*, vol. 10, no. 3, pp. 1333–1351, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - X. Li, Z. Han, and S. Sun, “Existence of positive solutions of nonlinear fractional $q$-difference equation with parameter,”
*Advances in Difference Equations*, vol. 2013, article 260, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - A. Alsaedi, B. Ahmad, and H. Al-Hutami, “A study of nonlinear fractional $q$-difference equations with nonlocal integral boundary conditions,”
*Abstract and Applied Analysis*, vol. 2013, Article ID 410505, 8 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - F. Jarad, T. Abdeljawad, and D. Baleanu, “Stability of $q$-fractional non-autonomous systems,”
*Nonlinear Analysis: Real World Applications*, vol. 14, no. 1, pp. 780–784, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - T. Abdeljawad, D. Baleanu, F. Jarad, and R. P. Agarwal, “Fractional sums and differences with binomial coefficients,”
*Discrete Dynamics in Nature and Society*, vol. 2013, Article ID 104173, 6 pages, 2013. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. A. C. Ferreira, “Positive solutions for a class of boundary value problems with fractional $q$-differences,”
*Computers & Mathematics with Applications*, vol. 61, no. 2, pp. 367–373, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - A. Ashyralyev, N. Nalbant, and Y. Szen, “Structure of fractional spaces generated by second order difference operators,”
*Journal of the Franklin Institute*, vol. 351, no. 2, pp. 713–731, 2014. View at Publisher · View at Google Scholar - W. A. Al-Salam, “Some fractional $q$-integrals and $q$-derivatives,”
*Proceedings of the Edinburgh Mathematical Society. Series II*, vol. 15, pp. 135–140, 1967. View at Publisher · View at Google Scholar · View at MathSciNet - M. H. Annaby and Z. S. Mansour,
*q-Fractional Calculus and Equations*, vol. 2056 of*Lecture Notes in Mathematics*, Springer, Berlin, Germany, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - R. P. Agarwal, “Certain fractional $q$-integrals and $q$-derivatives,” vol. 66, pp. 365–370, 1969. View at Google Scholar · View at MathSciNet
- P. M. Rajković, S. D. Marinković, and M. S. Stanković, “On $q$-analogues of Caputo derivative and Mittag-Leffler function,”
*Fractional Calculus & Applied Analysis*, vol. 10, no. 4, pp. 359–373, 2007. View at Google Scholar · View at MathSciNet - D. R. Smart,
*Fixed Point Theorems*, Cambridge University Press, 1974. View at MathSciNet - A. Granas and J. Dugundji,
*Fixed Point Theory*, Springer Monographs in Mathematics, Springer, New York, NY, USA, 2003. View at MathSciNet

*
*