The existence of solutions for nonlinear fractional multipoint boundary value problems at resonance
© Xu et al.; licensee Springer 2012
Received: 17 January 2012
Accepted: 18 May 2012
Published: 28 June 2012
A class of nonlinear fractional multipoint boundary value problems at resonance is considered in this article. The existence results are obtained by the method of the coincidence degree theory of Mawhin. An example is given to illustrate the results.
Keywordscoincidence degree fractional differential equation resonance multipoint boundary conditions
The subject of fractional calculus has gained considerable popularity during the past decades, due mainly to its frequent appearance in a variety of different areas such as physics, aerodynamics, polymer rheology, etc. (see [1–3]). Many methods have been introduced for solving fractional differential equations (FDEs for short in the remaining), such as the Laplace transform method, the iteration method, the Fourier transform method, etc. (see ).
Recently, there have been many works related to the existence of solutions for multipoint boundary value problems (BVPs for short in the remaining) at nonresonance of FDEs (see [5–11]). Motivated by the above articles and recent studies on FDEs (see [12–19]), we consider the existence of solutions for a nonlinear fractional multipoint BVPs at resonance in this article.
where is a natural number; is a real number; and are the standard Riemann-Liouville derivative and integral respectively; is continuous; ; are given constants such that . In their article, they made the operator and got . In , Bai discussed fractional m-point boundary value problems at resonance with the case of .
is referred to as a condition in . We will show that the assumption like above is not necessary.
where ; ; ; ; with satisfying Carathéodory conditions; and are the standard Riemann-Liouville fractional derivative and fractional integral respectively.
BVPs (1.1)-(1.2) being at resonance means that the associated linear homogeneous equation with boundary conditions (1.2) has as a nontrivial solution, where , .
The rest of this article is organized as follows: In Section 2, we give some definitions, lemmas and notations. In Section 3, we establish theorems of existence result for BVPs (1.1)-(1.2). In Section 4, we give an example to illustrate our result.
where is the Gamma function, provided the right side is pointwise defined on .
where , provided the right side is pointwise defined on .
Definition 2.3 ()
for each , the mapping is Lebesgue measurable;
for almost every , the mapping is continuous on ;
for each , there exists a such that, for a.e. and every , we have .
Lemma 2.4 ()
Lemma 2.5 ()
It follows that is invertible. We denote the inverse by . If Ω is an open bounded subset of Y such that , the map will be called L-compact on Ω if is bounded and is compact.
Lemma 2.6 ()
for each ;
for each ;
whereis a projection such thatandis a any isomorphism.
In this article, we use the Banach space with the norm .
Lemma 2.7 ()
with the norm defined by.
Lemma 2.8 ()
Thus, BVP (1.1) can be written as for each .
3 Main results
Then, let us make some assumptions which will be used throughout the article.
Theorem 3.1 If conditions (C), (H 1)-(H 3) hold, then BVPs (1.1)-(1.2) have at least one solution provided that.
Combining with the condition (1.2), we get .
Lemma 3.3 If condition (C) holds, then there exist two constantsandwithsuch that.
Proof From , we obtain that for any nonnegative integer l, there exists such that . If else, we obtain that , , .
Since the determinant of coefficients is not equal to zero, we have that (), which is a contradiction to condition (C).
Similarly, we can deduce that the determinant of coefficients is not equal to zero, so we have that (), which is a contradiction to condition (C). Thus, there exists such that .
which is a contradiction to (3.2). Therefore, there exists two constants and with such that . □
Furthermore, Q is a continuous linear projector.
then we have (), i.e., . Thus, .
we can deduce that . Hence, . Furthermore, we get . Therefore, , which means that L is a Fredholm operator of index zero.
It is clear that .
By the definition of the norm in space Y, we get . □
Lemma 3.5 Assumeis an open bounded subset such that, and N is defined by (2.2), then N is L-compact on.
Proof In order to prove N is L-compact, we only need to prove that is bounded and is compact. Since the function f satisfies Carathéodory conditions and , for each , there exists a such that, for a.e. and every , we have . By the definition of operators Q and on the interval , it is easy to get that and are bounded. Thus, there exists a constant with each , such that .
Since is uniformly continuous on and , so and are equicontinuous. By Lemma 2.8, we get that is completely continuous. □
Lemma 3.6 Suppose (H 1)-(H 3) hold, then the setis bounded.
Therefore, is bounded. □
Lemma 3.7 Suppose (H 2) and (H 3) hold, then the setis bounded.
Proof For any and , then and . By (H2), we get that , then we have . By (H3), we have that , thus . Therefore, is bounded. □
Lemma 3.8 If the first parts of (H 2) and (H 3) hold, then the setis bounded.
Therefore, is bounded.
If , we have .
If , we get that and , similar to the proof of Lemma 3.7, is bounded. If else, we have that and . It contradicts (3.10), thus is bounded. □
Remark 3.9 If the other parts of (H2) and (H3) hold, then the set is bounded.
Now with Lemmas 3.2-3.8 in hands, we can begin to prove our main result - Theorem 3.1.
for every ;
for every .
so (iii) of Lemma 2.6 is satisfied.
Consequently, by Lemma 2.6, the equation has at least one solution in . Namely, BVPs (1.1)-(1.2) have at least one solution in the space Y. □
According to Theorem 3.1, we have the following corollary.
Corollary 3.10 Suppose that (H 1) is replaced by the following condition,
(H4) there exist functionsand a constantsuch that for all, ,
and the others in Theorem 3.1 are not changed, then BVPs (1.1)-(1.2) have at least one solution.
4 An example
By Corollary 3.10, the BVP (4.1) has at least one solution in .
NX designed all the steps of proof in this research and also wrote the article. WBL suggested many good ideas in this article. LSX helped to draft the first manuscript and gave an example to illustrate our result. All authors read and approved the final manuscript.
The authors would like to acknowledge the anonymous referee for many helpful comments and valuable suggestions on this article. This work is sponsored by Fundamental Research Funds for the Central Universities (2012LWB44).
- Sabatier J, Agrawal O, Machado J: Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Berlin; 2007.View Article
- Samko S, Kilbas A, Marichev O: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, New York; 1993.
- Kilbas A, Srivastava H, Trujillo J: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.
- Momani S, Odibat Z: Numerical comparison of methods for solving linear differential equations of fractional order. Chaos Solitons Fractals 2007, 31(5):1248-1255. 10.1016/j.chaos.2005.10.068MathSciNetView Article
- Bai Z, Lü H: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 2005, 311(2):495-505. 10.1016/j.jmaa.2005.02.052MathSciNetView Article
- Xu X, Jiang D, Yuan C: Multiple positive solutions for the boundary value problem of a nonlinear fractional differential equation. Nonlinear Anal. 2009, 71(10):4676-4688. 10.1016/j.na.2009.03.030MathSciNetView Article
- Kaufmann E, Mboumi E: Positive solutions of a boundary value problem for a nonlinear fractional differential equation. Electron. J. Qual. Theory Differ. Equ. 2008, 3: 1-11.MathSciNetView Article
- Zhang S: Positive solutions for boundary-value problems of nonlinear fractional differential equations. Electron. J. Differ. Equ. 2006, 2006(36):1-12.View Article
- Benchohra M, Hamani S, Ntouyas S: Boundary value problems for differential equations with fractional order and nonlocal conditions. Nonlinear Anal. 2009, 71(7-8):2391-2396. 10.1016/j.na.2009.01.073MathSciNetView Article
- Liang S, Zhang J: Positive solutions for boundary value problems of nonlinear fractional differential equation. Nonlinear Anal. 2009, 71(11):5545-5550. 10.1016/j.na.2009.04.045MathSciNetView Article
- El-Sayed A: Nonlinear functional differential equations of arbitrary orders. Nonlinear Anal. 1998, 33(2):181-186. 10.1016/S0362-546X(97)00525-7MathSciNetView Article
- Agarwal R, Lakshmikantham V, Nieto J: On the concept of solution for fractional differential equations with uncertainty. Nonlinear Anal. 2010, 72(6):2859-2862. 10.1016/j.na.2009.11.029MathSciNetView Article
- Chang Y, Nieto J: Some new existence results for fractional differential inclusions with boundary conditions. Math. Comput. Model. 2009, 49(3-4):605-609. 10.1016/j.mcm.2008.03.014MathSciNetView Article
- Zhang Y, Bai Z, Feng T: Existence results for a coupled system of nonlinear fractional three-point boundary value problems at resonance. Comput. Math. Appl. 2011, 61(4):1032-1047. 10.1016/j.camwa.2010.12.053MathSciNetView Article
- Kosmatov N: A boundary value problem of fractional order at resonance. Electron. J. Differ. Equ. 2010, 135: 1-10.MathSciNet
- Zhang Y, Bai Z: Existence of solutions for nonlinear fractional three-point boundary value problems at resonance. J. Appl. Math. Comput. 2011, 36: 417-440. 10.1007/s12190-010-0411-xMathSciNetView Article
- Bai Z: On solutions of some fractional m -point boundary value problems at resonance. Electron. J. Qual. Theory Differ. Equ. 2010, 37: 1-15.
- Bai Z, Zhang Y: The existence of solutions for a fractional multi-point boundary value problem. Comput. Math. Appl. 2010, 60(8):2364-2372. 10.1016/j.camwa.2010.08.030MathSciNetView Article
- Jiang W: The existence of solutions to boundary value problems of fractional differential equations at resonance. Nonlinear Anal. 2011, 74(5):1987-1994. 10.1016/j.na.2010.11.005MathSciNetView Article
- Mawhin J: Topological degree and boundary value problems for nonlinear differential equations. In Topological Methods for Ordinary Differential Equations. Edited by: Furi M, Zecca P. Springer, Berlin; 1993:74-142.View Article
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.