- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- 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

Mathematical Problems in Engineering

Volume 2013 (2013), Article ID 320415, 9 pages

http://dx.doi.org/10.1155/2013/320415

## A Study of Nonlinear Fractional Differential Equations of Arbitrary Order with Riemann-Liouville Type Multistrip Boundary Conditions

^{1}Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia^{2}Department of Mathematics, University of Ioannina, 451 10 Ioannina, Greece

Received 28 November 2012; Accepted 19 January 2013

Academic Editor: José Tenreiro Machado

Copyright © 2013 Bashir Ahmad 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 develop the existence theory for nonlinear fractional differential equations of arbitrary order with Riemann-Liouville type boundary conditions involving nonintersecting finite many strips of arbitrary length. Our results are based on some standard tools of fixed point theory. For the illustration of the results, some examples are also discussed.

#### 1. Introduction

The subject of fractional calculus has recently developed into a hot topic for the researchers in view of its numerous applications in the field of physics, mechanics, chemistry, engineering, and so forth. One can find the systematic progress of the topic in the books ([1–6]). A significant characteristic of a fractional-order differential operator distinguishing it from the integer-order differential operator is that it is nonlocal in nature, that is, the future state of a dynamical system or process involving fractional derivative depends on its current state as well its past states. In fact, this feature of fractional-order operators has contributed towards the popularity of fractional-order models, which are recognized as more realistic and practical than the classical integer-order models. In other words, we can say that the memory and hereditary properties of various materials and processes can be described by differential equations of arbitrary order. There has been a rapid development in the theoretical aspects such as periodicity, asymptotic behavior, and numerical methods for fractional equations. For some recent work on the topic, see ([7–23]) and the references therein. In particular, Ahmad et al. [22] studied nonlinear fractional differential equations and inclusions of arbitrary order with multistrip boundary conditions.

In this paper, we continue the study initiated in [22] and consider a boundary value problem of fractional differential equations of arbitrary order , with finite many multistrip Riemann-Liouville type integral boundary conditions: where denotes the Caputo fractional derivative of order , is a given continuous function, is the Riemann-Liouville fractional integral of order , , , and are suitable chosen constants.

Regarding the motivation of the problem, we know that the strip conditions appear in the mathematical modeling of certain real world problems, for instance, see [24, 25]. In [22], the authors considered the nonlocal strip conditions of the form: In the problem (1), we have introduced Riemann-Liouville type multistrip integral boundary conditions which can be interpreted as the controller at the right-end of the interval under consideration is influenced by a discrete distribution of finite many nonintersecting sensors (strips) of arbitrary length expressed in terms of Riemann-Liouville type integral boundary conditions. For some engineering applications of strip conditions, see ([26–32]).

The main objective of the present study is to develop some existence results for the problem (1) by using standard techniques of fixed point theory. The paper is organized as follows. In Section 2 we discuss a linear variant of the problem (1), which plays a key role in developing the main results presented in Section 3. For the illustration of the theory, we have also included some examples.

#### 2. Preliminary Result

Let us begin this section with some basic definitions of fractional calculus [2–4].

*Definition 1. *If , then the Caputo derivative of fractional order is defined as
where denotes the integer part of the real number . For details, see Theorem 2.1 ([4, page 92]). Here denote the space of real valued functions which have continuous derivatives up to order on such that .

*Definition 2. *The Riemann-Liouville fractional integral of order is defined as
provided the integral exists.

The following result associated with a linear variant of problem (1) plays a pivotal role in establishing the main results.

Lemma 3. *For , the fractional boundary value problem
**
has a unique solution given by
**
where
*

*Proof. *The general solution of fractional differential equations in (5) can be written as
Using the given boundary conditions, it is found that , . Applying the Riemann-Liouville integral operator on (8), we get
Using the condition , together with the fact that
we obtain
which yields
where is given by (7). Substituting the values of in (8), we obtain (6). This completes the proof.

#### 3. Main Results

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

By Lemma 3, we define an operator as

Observe that the problem (1) has a solution if and only if the associated fixed point problem has a fixed point.

In the first result we prove an existence and uniqueness result by means of Banach’s contraction mapping principle. For the sake of convenience, we set

Theorem 4. *Suppose that is a continuous function and satisfies the following assumption:**Then the boundary value problem (1) has a unique solution provided
**
where is given by (14).*

*Proof. *With , we define , where and is given by (14). Then we show that . For , by means of the inequality , it can easily be shown that
Now, for and for each , we obtain
Note that depends only on the parameters involved in the problem. As , therefore is a contraction. Hence, by Banach’s contraction mapping principle, the problem (1) has a unique solution on .

*Example 5. *Let us consider the following -strip nonlocal boundary value problem:
where , , , , , , , , , , , , , , , , , .

With the given values of the parameters involved, we find that Let us choose Clearly as and , where . Therefore all the conditions of Theorem 4 hold and consequently there exists a unique solution for the problem (19) with given by (21).

In case of the following unbounded nonlinear function: we have and (). As before, the problem (19) with given by (22) has a unique solution.

In the second result we use the Leray-Schauder alternative.

Theorem 6 ((Leray-Schauder alternative) [33, page 4]). *Let be a Banach space. Assume that is completely continuous operator and the set
**
is bounded. Then has a fixed point in .*

Theorem 7. *Assume that there exists a positive constant such that for , . Then the problem (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 Arzelá-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 6, the operator has at least one fixed point, which implies that (1) has at least one solution.

*Example 8. *Consider the boundary value problem of Example 5 with
Observe that with . Thus the hypothesis of Theorem 7 is satisfied. Hence by the conclusion of Theorem 7, the problem (19) with given by (29) has at least one solution.

In the next we prove one more existence result for problem (1), based on the following known result.

Theorem 9 (see [34]). *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 .*

Theorem 10. *Let there exist a small positive number such that for , with , where is given by (14). Then the problem (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 the given condition , gives , . Therefore, by Theorem 9, the operator has at least one fixed point, which in turn implies that the problem (1) has at least one solution.

*Example 11. *Consider the boundary value problem of Example 5 and let us consider
For sufficiently small (ignoring and higher powers of ), we have
Choosing , all the assumptions of Theorem 10 hold. Therefore, the conclusion of Theorem 10 implies that the problem (19) with given by (32) has at least one solution.

Our final existence result is based on Leray-Schauder nonlinear alternative.

Lemma 12 ((Nonlinear alternative for single valued maps) [33, page 135]). *Let be a Banach space, a closed, convex subset of , an open subset of and . Suppose that is a continuous, compact (i.e., is a relatively compact subset of ) map. Then either*(i)*has a fixed point in , or*(ii)*there is a (the boundary of in ) and with .*

Theorem 13. *Assume that** there exist a function , and a nondecreasing function such that , for all ;** there exists a constant such that
*

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

*Proof. *Consider the operator defined by (13). We show that *maps bounded sets into bounded sets in *. For a positive number , let be a bounded set in . Then
Next we show that * 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 . As satisfies the above assumptions, therefore it follows by the Arzelá-Ascoli theorem that is completely continuous.

Let be a solution. Then, for , and following the similar computations as before, we find that
In consequence, we have
Thus, by , there exists such that . Let us set
Note that the operator is continuous and completely continuous. From the choice of , there is no such that for some . Consequently, by the nonlinear alternative of Leray-Schauder type (Lemma 12), we deduce that has a fixed point which is a solution of the problem (1). This completes the proof.

*Example 14. *Consider the boundary value problem of Example 5 with
Then and . Using , we find by the condition that . Thus all the assumptions of Theorem 13 are satisfied. Hence, it follows by Theorem 13 that the problem (19) with defined by (40) has at least one solution.

If we choose an unbounded nonlinearity as follows:
Then with and . Using the earlier arguments, with , , we find that , . Hence the problem (19) with given by (41) has at least one solution.

#### Acknowledgment

The authors are grateful to the anonymous referees for their valuable comments.

#### References

- K. S. Miller and B. Ross,
*An Introduction to the Fractional Calculus and Differential Equations*, A Wiley-Interscience Publication, John Wiley & Sons, New York, NY, USA, 1993. View at Zentralblatt MATH · View at MathSciNet - S. G. Samko, A. A. Kilbas, and O. I. Marichev,
*Fractional Integrals and Derivatives*, Gordon and Breach Science Publishers, Yverdon, Switzerland, 1993. View at Zentralblatt MATH · 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 Zentralblatt MATH · 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 Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - V. Lakshmikantham, S. Leela, and J. V. Devi,
*Theory of Fractional Dynamic Systems*, Cambridge Academic, Cambridge, UK, 2009. - D. Baleanu, K. Diethelm, E. Scalas, and J. J. Trujillo,
*Fractional Calculus Models and Numerical Methods*, vol. 3 of*Series on Complexity, Nonlinearity and Chaos*, World Scientific, Boston, Mass, USA, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Benchohra, S. Hamani, and S. K. Ntouyas, “Boundary value problems for differential equations with fractional order and nonlocal conditions,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 71, no. 7-8, pp. 2391–2396, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. P. Agarwal, M. Benchohra, and S. Hamani, “A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions,”
*Acta Applicandae Mathematicae*, vol. 109, no. 3, pp. 973–1033, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - K. Balachandran and J. J. Trujillo, “The nonlocal Cauchy problem for nonlinear fractional integrodifferential equations in Banach spaces,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 72, no. 12, pp. 4587–4593, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - D. Băleanu and O. G. Mustafa, “On the global existence of solutions to a class of fractional differential equations,”
*Computers & Mathematics with Applications*, vol. 59, no. 5, pp. 1835–1841, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W. Zhong and W. Lin, “Nonlocal and multiple-point boundary value problem for fractional differential equations,”
*Computers & Mathematics with Applications*, vol. 59, no. 3, pp. 1345–1351, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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 · View at MathSciNet - B. Ahmad and J. J. Nieto, “Riemann-Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions,”
*Boundary Value Problems*, vol. 2011, article 36, 9 pages, 2011. View at Google Scholar · View at MathSciNet - B. Ahmad and S. K. Ntouyas, “A four-point nonlocal integral boundary value problem for fractional differential equations of arbitrary order,”
*Electronic Journal of Qualitative Theory of Differential Equations*, vol. 2011, no. 22, 15 pages, 2011. View at Google Scholar · View at MathSciNet - C. Cuevas, H. Soto, and A. Sepúlveda, “Almost periodic and pseudo-almost periodic solutions to fractional differential and integro-differential equations,”
*Applied Mathematics and Computation*, vol. 218, no. 5, pp. 1735–1745, 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 MathSciNet - B. Ahmad and S. K. Ntouyas, “A note on fractional differential equations with fractional separated boundary conditions,”
*Abstract and Applied Analysis*, vol. 2012, Article ID 818703, 11 pages, 2012. 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 MathSciNet - W. Sudsutad and J. Tariboon, “Existence results of fractional integro-differential equations with m-point multi-term fractional order integral boundary conditions,”
*Boundary Value Problems*, vol. 2012, article 94, 2012. View at Publisher · View at Google Scholar - B. Ahmad and S. K. Ntouyas, “Existence results for nonlocal boundary value problems of fractional differential equations and inclusions with strip conditions,”
*Boundary Value Problems*, vol. 2012, article 55, 2012. View at Google Scholar · View at MathSciNet - B. Ahmad and J. J. Nieto, “Riemann-liouville fractional differential equations with fractional boundary conditions,”
*Fixed Point Theory*, vol. 13, pp. 329–336, 2012. 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 · View at MathSciNet - A. Cabada and G. Wang, “Positive solutions of nonlinear fractional differential equations with integral boundary value conditions,”
*Journal of Mathematical Analysis and Applications*, vol. 389, no. 1, pp. 403–411, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Ahmad, T. Hayat, and S. Asghar, “Diffraction of a plane wave by an elastic knife-edge adjacent to a rigid strip,”
*The Canadian Applied Mathematics Quarterly*, vol. 9, no. 4, pp. 303–316, 2001. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Asghar, B. Ahmad, and M. Ayub, “Diffraction from an absorbing half plane due to a finite cylindrical source,”
*Acustica-Acta Acustica*, vol. 82, pp. 365–367, 1996. View at Google Scholar - G. S. Wang and A. F. Blom, “A strip model for fatigue crack growth predictions under general load conditions,”
*Engineering Fracture Mechanics*, vol. 40, no. 3, pp. 507–533, 1991. View at Publisher · View at Google Scholar - H. Jiang, F. Liu, I. Turner, and K. Burrage, “Analytical solutions for the multi-term time-space Caputo-Riesz fractional advection-diffusion equations on a finite domain,”
*Journal of Mathematical Analysis and Applications*, vol. 389, no. 2, pp. 1117–1127, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - E. Yusufoglu and I. Turhan, “A mixed boundary value problem in orthotropic strip containing a crack,”
*Journal of the Franklin Institute*, vol. 349, no. 9, pp. 2750–2769, 2012. View at Publisher · View at Google Scholar - Dh. Chang and A. Kotousov, “A strip yield model for two collinear cracks,”
*Engineering Fracture Mechanics*, vol. 90, pp. 121–128, 2012. View at Publisher · View at Google Scholar - B. Lebental and F. Bourquin, “Visco-acoustic modelling of a vibrating plate interacting with water confined in a domain of micrometric size,”
*Journal of Sound and Vibration*, vol. 331, no. 8, pp. 1870–1886, 2012. View at Publisher · View at Google Scholar - T. V. Renterghem, D. Botteldooren, and K. Verheyen, “Road traffic noise shielding by vegetation belts of limited depth,”
*Journal of Sound and Vibration*, vol. 331, no. 10, pp. 2404–2425, 2012. View at Publisher · View at Google Scholar - J. Poblet-Puig and A. Rodrguez-Ferran, “Modal-based prediction of sound transmission through slits and openings between rooms,”
*Journal of Sound and Vibration*, vol. 332, pp. 1265–1287, 2012. View at Google Scholar - A. Granas and J. Dugundji,
*Fixed Point Theory*, Springer Monographs in Mathematics, Springer, New York, NY, USA, 2005. View at MathSciNet - D. R. Smart,
*Fixed Point Theorems*, Cambridge University Press, Cambridge, UK, 1980. View at MathSciNet