Research Article | Open Access

# Existence of Solutions of Fractional Differential Equation with -Laplacian Operator at Resonance

**Academic Editor:**D. Baleanu

#### Abstract

By using the extension of Mawhinâ€™s continuation theorem due to Ge, we consider boundary value problems for fractional -Laplacian equation. A new result on the existence of solutions for the fractional boundary value problem is obtained, which generalizes and enriches some known results to some extent from the literature.

#### 1. Introduction and Preliminaries

Recently, fractional differential equations have played an important role in many fields such as physics, electrical circuits, and control theory (see [1â€“9]). Many scholars have paid more attention to boundary value problems for fractional differential equations (see [10â€“25]).

By using a fixed point theorem on a cone, Agarwal et al. (see [10]) considered a two-point boundary value problem at nonresonance given by where , are real numbers, , and is the Riemann-Liouville fractional derivative.

By using the coincidence degree theory, Bai (see [20]) considered the following -point fractional boundary value problems: where is a real number, , are given constants such that , and are the Riemann-Liouville differentiation and integration.

The turbulent flow in a porous medium is a fundamental mechanics problem. For studying this type of problems, Leibenson (see [26]) introduced the -Laplacian equation as follows: where , . Obviously, is invertible and its inverse operator is , where is a constant such that .

In the past few decades, many important results relative to (3) with certain boundary value conditions have been obtained. We refer the reader to [27â€“31] and the references cited therein. However, to the best of our knowledge, there are relatively few results on boundary value problems for fractional -Laplacian equations.

Motivated by the work above, in this paper, we investigate the existence of solutions for boundary value problem (BVP for short) of fractional -Laplacian equation with the following form: where , , is Caputo fractional derivative, and is continuous.

BVP (4) happens to be at resonance in the sense that its associated linear homogeneous boundary value problem has a nontrivial solution , where .

For the convenience of the reader, we present here some necessary basic knowledge and definitions about fractional calculus theory, which can be found, for instance, in [32â€“35].

*Definition 1. *The Riemann-Liouville fractional integral operator of order of a function is given by
provided that the right side integral is pointwise defined on .

*Definition 2. *The Caputo fractional derivative of order of a continuous function is given by
where is the smallest integer greater than or equal to , provided that the right side integral is pointwise defined on .

Lemma 3. *Assume that , . Then
**
where , , and here is the smallest integer greater than or equal to .**Now, one briefly recalls some notations and an abstract existence result, which can be found in [36].*

*Definition 4. *Let and be two Banach spaces with norms and , respectively. A continuous operator
is said to be quasilinear if(i)Imâ€‰ is a closed subset of ,(ii)Kerâ€‰ is linearly homeomorphic to , .

*Definition 5. *Let be a real Banach space and let . The operator is said to be a projector provided that , for and . The operator is said to be a semiprojector provided .

*Definition 6 (see [36]). *Let and let be the complement space of in , and then . On the other hand, suppose that is a subspace of and is the complement space of in so that . Let be a projector, let be a semiprojector, and let be an open and bounded set with origin , where is the origin of a linear space.

Suppose that , , is a continuous operator. Denote by . Let . is said to be -compact in if there is with dim = dim and an operator continuous and compact such that, for ,

Lemma 7 (see [36] Ge-Mawhinâ€™s continuation theorem). *Let and be two Banach spaces with norms and , respectively. is an open and bounded nonempty set. Suppose that
**
is a quasilinear operator and
**
is -compact in . In addition, if*(C_{1})*, ,*(C_{2})*, for ,*(C_{3})*,
**where , then the equation has at least one solution in .*

In this paper, we take with the norm and with the norm . By means of the linear functional analysis theory, we can prove that is a Banach space.

Define the operator by where Define the operator by Then BVP (4) is equivalent to the operator equation. Consider

#### 2. Main Result

We will always assume that the nonlinearity will be retained:(H_{1})there exist nonnegative functions such that
(H_{2})there exists a constant such thateither
or
Moreover, we will always assume that is continuous and

Now, we begin with some lemmas below.

Lemma 8. *Let be defined by (16), and then
**
and is a quasilinear operator*

*Proof. *By Lemma 3, has solution:
which satisfies
Combining with the boundary value condition and , we can get that (24) holds.

If , then there exists a function such that . Based on Lemma 3, we have
From condition , one has . By the condition , we obtain that
Thus, we get (25).

Then we have dimâ€‰Kerâ€‰ and closed. Therefore, is a quasilinear operator.

Lemma 9. *Let be an open and bounded set; then is -compact in .*

*Proof. *Define the continuous projector and the semiprojector :
where and .

Obviously, and . It follows from that . By a simple calculation, we can get . Then we get

By the definition of , we can get
Let , where , . It follows from and that . Then, we have
Thus

Let be an open and bounded set with . For each , we can get . Thus, . Take any in the type . Since , we can get . So (10) holds. It is easy to verify (11).

Furthermore, define by

By the continuity of , it is easy to get that is continuous on . Moreover, for all , there exists a constant such that , so we can easily obtain that is uniformly bounded. By the ArzelĂ -Ascoli theorem, we just need to prove that is equicontinuous. Furthermore, for , , we have

By , we have
Since is uniformly continuous on , so is equicontinuous. Similarly, we can get that is equicontinuous, and considering that is uniformly continuous on , we get that is also equicontinuous. So we can obtain that is compact.

For each , we have . Thus,
which together with yields that
It is easy to verify that is the zero operator. So (12) holds.

On the other hand, consider
So (13) holds. Then we get that is -compact in . The proof is complete.

Lemma 10. *Suppose that , hold; then the set
**
is bounded.*

*Proof. *Take ; then , , and . By (25), we have
Then, by the integral mean value theorem, there exists a constant such that . So, from , we get . By , we get
Take ; we have
Then we have
So we get
That is,
By and , we get
So, from , we have
which together with and (47) yields that
In view of (23), we can see that there exists a constant such that
Thus, from (47), we get

Combining (51) with (52), we have
Therefore, is bounded. The proof is complete.

Lemma 11. *Suppose that holds; then the set
**
is bounded.*

*Proof. *For , we have , and . Then we get
which together with implies . Thus, we have
Hence, is bounded. The proof is complete.

Lemma 12. *Suppose that the first part of holds; then the set
**
is bounded.*

*Proof. *For , we have , , and
If , then because of the first part of . If , we can also obtain . Otherwise, if , in view of the first part of , one has
which contradicts (58). Therefore, is bounded. The proof is complete.

*Remark 13. *If the second part of holds, then the set
is bounded.

Theorem 14. *Let be continuous. Suppose that , hold. Then BVP (4) has at least one solution.*

*Proof. *Set . It follows from Lemmas 8 and 9 that is a quasilinear operator and is -compact on . By Lemmas 10 and 11, we get that the following two conditions are satisfied:(C_{1}),(C_{2}), for .Take
According to Lemma 12 (or Remark 13), we know that for . Therefore
So the condition of Lemma 7 is satisfied. By Lemma 7, we can get that has at least one solution in . Therefore BVP (4) has at least one solution. The proof is complete.

#### 3. Example

In this section, we will give an example to illustrate our main result.

*Example 1. *Consider the following BVP:
Corresponding to BVP (4), we get that , , , and
Choose , , , . By a simple calculation, we can get that and
Obviously, BVP (63) satisfies all conditions of Theorem 14. Hence, it has at least one solution.

#### 4. Conclusions

In this paper, the boundary value problem for -Laplacian equation at resonance is investigated. In view of the boundary value problem (4) is equivalent to the operator equation (19); we only need to find a fixed point of the operator equation (19). Firstly, we established the sufficient conditions of existence of boundary value problem for -Laplacian equation. Then, by using the extension of Mawhinâ€™s continuation theorem due to Ge, we got the fixed point of operator equation (19).

#### Conflict of Interests

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

#### Acknowledgments

This research was supported by the Fundamental Research Funds for the Central Universities (2013XK03) and the National Natural Science Foundation of China (11271364).

#### References

- R. Metzler and J. Klafter, â€śBoundary value problems for fractional diffusion equations,â€ť
*Physica A*, vol. 278, no. 1-2, pp. 107â€“125, 2000. View at: Publisher Site | Google Scholar | MathSciNet - H. Scher and E. W. Montroll, â€śAnomalous transit-time dispersion in amorphous solids,â€ť
*Physical Review B*, vol. 12, no. 6, pp. 2455â€“2477, 1975. View at: Publisher Site | Google Scholar - F. Mainardi, â€śFractional diffusive waves in viscoelastic solids,â€ť in
*Nonlinear Waves in Solids*, J. L. Wegner and F. R. Norwood, Eds., pp. 93â€“97, Fairfield, 1995. View at: Google Scholar - K. Diethelm and A. D. Freed, â€śOn the solution of nonlinear fractional order differential equations used in the modeling of viscoplasticity,â€ť in
*Scientific Computing in Chemical Engineering II-Computational Fluid Dynamics, Reaction Engineering and Molecular Properties*, F. Keil, W. Mackens, H. Voss, and J. Werther, Eds., pp. 217â€“224, Springer, Heidelberg, Germany, 1999. View at: Google Scholar - L. Gaul, P. Klein, and S. Kemple, â€śDamping description involving fractional operators,â€ť
*Mechanical Systems and Signal Processing*, vol. 5, no. 2, pp. 81â€“88, 1991. View at: Google Scholar - W. G. Glockle and T. F. Nonnenmacher, â€śA fractional calculus approach to self-similar protein dynamics,â€ť
*Biophysical Journal*, vol. 68, no. 1, pp. 46â€“53, 1995. View at: Google Scholar - F. Mainardi, â€śFractional calculus: some basic problems in continuum and statistical mechanics,â€ť in
*Fractals and Fractional Calculus in Continuum Mechanics*, vol. 378, pp. 291â€“348, Springer, Vienna, Austria, 1997. View at: Google Scholar | MathSciNet - R. Metzler, W. Schick, H.-G. Kilian, and T. F. Nonnenmacher, â€śRelaxation in filled polymers: a fractional calculus approach,â€ť
*The Journal of Chemical Physics*, vol. 103, no. 16, pp. 7180â€“7186, 1995. View at: Google Scholar - K. B. Oldham and J. Spanier,
*The Fractional Calculus*, Academic Press, NewYork, NY, USA, 1974. View at: MathSciNet - R. P. Agarwal, D. O'Regan, and S. Staněk, â€śPositive solutions for Dirichlet problems of singular nonlinear fractional differential equations,â€ť
*Journal of Mathematical Analysis and Applications*, vol. 371, no. 1, pp. 57â€“68, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Z. Bai and H. Lü, â€śPositive solutions for boundary value problem of nonlinear fractional differential equation,â€ť
*Journal of Mathematical Analysis and Applications*, vol. 311, no. 2, pp. 495â€“505, 2005. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - E. R. Kaufmann and E. Mboumi, â€śPositive solutions of a boundary value problem for a nonlinear fractional differential equation,â€ť
*Electronic Journal of Qualitative Theory of Differential Equations*, vol. 311, no. 2, pp. 495â€“505, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - H. Jafari and V. Daftardar-Gejji, â€śPositive solutions of nonlinear fractional boundary value problems using Adomian decomposition method,â€ť
*Applied Mathematics and Computation*, vol. 180, no. 2, pp. 700â€“706, 2006. View at: Publisher Site | Google Scholar | Zentralblatt MATH | 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 Site | Google Scholar | Zentralblatt MATH | MathSciNet - S. Liang and J. Zhang, â€śPositive solutions for boundary value problems of nonlinear fractional differential equation,â€ť
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 71, no. 11, pp. 5545â€“5550, 2009. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - S. Zhang, â€śPositive solutions for boundary-value problems of nonlinear fractional differential equations,â€ť
*Electronic Journal of Differential Equations*, vol. 36, pp. 1â€“12, 2006. View at: Google Scholar | Zentralblatt MATH | MathSciNet - N. Kosmatov, â€śA boundary value problem of fractional order at resonance,â€ť
*Electronic Journal of Differential Equations*, vol. 135, pp. 1â€“10, 2010. View at: Google Scholar | Zentralblatt MATH | MathSciNet - Z. Wei, W. Dong, and J. Che, â€śPeriodic boundary value problems for fractional differential equations involving a Riemann-Liouville fractional derivative,â€ť
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 73, no. 10, pp. 3232â€“3238, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Z. Bai and Y. Zhang, â€śSolvability of fractional three-point boundary value problems with nonlinear growth,â€ť
*Applied Mathematics and Computation*, vol. 218, no. 5, pp. 1719â€“1725, 2011. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Z. Bai, â€śSolvability for a class of fractional m-point boundary value problem at resonance,â€ť
*Computers & Mathematics with Applications*, vol. 62, no. 3, pp. 1292â€“1302, 2011. View at: Publisher Site | Google Scholar | MathSciNet - B. Ahmad and S. Sivasundaram, â€śOn four-point nonlocal boundary value problems of nonlinear integro-differential equations of fractional order,â€ť
*Applied Mathematics and Computation*, vol. 217, no. 2, pp. 480â€“487, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - 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 Site | Google Scholar | Zentralblatt MATH | MathSciNet - W. Zhong, X. Yang, and F. Gao, â€śA Cauchy problem for some local fractional abstract differential equation with fractal conditions,â€ť
*Journal of Applied Functional Analysis*, vol. 8, no. 1, pp. 92â€“99, 2013. View at: Google Scholar | Zentralblatt MATH | MathSciNet - Z. Hu and W. Liu, â€śSolvability for fractional order boundary value problems at resonance,â€ť
*Boundary Value Problems*, vol. 20, article 20, 2011. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - W. Jiang, â€śThe existence of solutions to boundary value problems of fractional differential equations at resonance,â€ť
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 74, no. 5, pp. 1987â€“1994, 2011. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - L. S. Leibenson, â€śGeneral problem of the movement of a compressible fluid in a porous medium,â€ť
*Izvestiia Akademii NaukKirgizsko*, vol. 9, pp. 7â€“10, 1945. View at: Google Scholar | MathSciNet - T. Chen, W. Liu, and Z. Hu, â€śA boundary value problem for fractional differential equation with p-Laplacian operator at resonance,â€ť
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 75, no. 6, pp. 3210â€“3217, 2012. View at: Publisher Site | Google Scholar | MathSciNet - D. Jiang and W. Gao, â€śUpper and lower solution method and a singular boundary value problem for the one-dimensional p-Laplacian,â€ť
*Journal of Mathematical Analysis and Applications*, vol. 252, no. 2, pp. 631â€“648, 2000. View at: Publisher Site | Google Scholar | MathSciNet - L. F. Lian and W. G. Ge, â€śThe existence of solutions of m-point p-Laplacian boundary value problems at resonance,â€ť
*Acta Mathematicae Applicatae Sinica*, vol. 28, no. 2, pp. 288â€“295, 2005. View at: Google Scholar | MathSciNet - B. Liu and J. S. Yu, â€śExistence of solutions for the periodic boundary value problems with p-Laplacian operator,â€ť
*Journal of Systems Science and Mathematical Sciences*, vol. 23, no. 1, pp. 76â€“85, 2003. View at: Google Scholar | MathSciNet - J. J. Zhang, W. B. Liu, J. B. Ni, and T. Y. Chen, â€śMultiple periodic solutions of p-Laplacian equation with one-side Nagumo condition,â€ť
*Journal of the Korean Mathematical Society*, vol. 45, no. 6, pp. 1549â€“1559, 2008. View at: Publisher Site | Google Scholar | MathSciNet - X. Yang,
*Local Fractional Functional Analysis and Its Applications*, Asian Academic Publisher Limited, Hong Kong, China, 2011. - I. Podlubny,
*Fractional Differential Equations*, vol. 198, Academic Press, San Diego, Calif, USA, 1999. View at: MathSciNet - S. G. Samko, A. A. Kilbas, and O. I. Marichev,
*Fractional Integrals and Derivatives (Theory and Applications)*, Gordon and Breach Science Publishers, Yverdon, Switzerland, 1993. View at: MathSciNet - A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo,
*Theory and Applications of Fractional Differential Equations*, Elsevier Science, Amsterdam, The Netherlands, 2006. View at: MathSciNet - W. Ge and J. Ren, â€śAn extension of Mawhin's continuation theorem and its application to boundary value problems with a p-Laplacian,â€ť
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 58, no. 3-4, pp. 477â€“488, 2004. View at: Publisher Site | Google Scholar | MathSciNet

#### Copyright

Copyright © 2014 Zhigang Hu 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.