- Research
- Open access
- Published:
The existence of solutions for nonlinear fractional multipoint boundary value problems at resonance
Boundary Value Problems volume 2012, Article number: 65 (2012)
Abstract
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.
MSC:34A08.
1 Introduction
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 [4]).
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.
In [16], Zhang and Bai considered the following fractional three-point boundary value problems at resonance:
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 [17], Bai discussed fractional m-point boundary value problems at resonance with the case of .
In 2010, Bai and Jiang studied the fractional differential equation of boundary value problems at resonance with the case of respectively (see [18, 19]), and we can see that they obtained the results by the assumption that a specific algebraic expression is not equal to zero; for example,
is referred to as a condition in [18]. We will show that the assumption like above is not necessary.
In this article, we will use the coincidence degree theory to study the existence of solutions for a nonlinear FDEs at resonance which is given by
with boundary conditions
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 , .
We will always suppose that the following conditions hold:
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.
2 Preliminaries
We present here some necessary basic knowledge and definitions of the fractional calculus theory, which can be found in [1–3].
Definition 2.1 The Riemann-Liouville fractional integral of order of a function is given by
where is the Gamma function, provided the right side is pointwise defined on .
Definition 2.2 The Riemann-Liouville fractional derivative of order of a function is given by
where , provided the right side is pointwise defined on .
Definition 2.3 ([18])
We say that the map satisfies Carathéodory conditions with respect to if the following conditions are satisfied:
-
(i)
for each , the mapping is Lebesgue measurable;
-
(ii)
for almost every , the mapping is continuous on ;
-
(iii)
for each , there exists a such that, for a.e. and every , we have .
Lemma 2.4 ([2])
Assume, , then. And, for all, , we have that
Lemma 2.5 ([2])
Let, and assume that, then the following equality holds almost everywhere on,
Now, we briefly recall some notations and an abstract existence result, which can be found in [20]. Let Y Z be real Banach spaces, be a Fredholm map of index zero, and be continuous projectors such that
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 ([20])
Let L be a Fredholm operator of index zero and N be L-compact on. The equationhas at least one solution inif the following conditions are satisfied:
-
(i)
for each ;
-
(ii)
for each ;
-
(iii)
,
whereis a projection such thatandis a any isomorphism.
In this article, we use the Banach space with the norm .
Lemma 2.7 ([16])
Givenand, for any, (), we can define a Banach space
with the norm defined by.
Lemma 2.8 ([16])
is a sequentially compact set if and only if E is uniformly bounded and equicontinuous. Here, a uniform bound means that there exists a constantwith each, such that
and equicontinuation means that there exists awithfor any, and, such that
In this article, let with the norm and with the norm . Define the operator by
where . Define the operator by
Thus, BVP (1.1) can be written as for each .
3 Main results
First, let us introduce the following notations for convenience, with setting and with ,
Then, let us make some assumptions which will be used throughout the article.
(H1) There exist functions and a constant such that for all , ,
(H2) For any , , there exists a constant such that if , then either
(H3) For any , , there exists a constant such that if , then either
Theorem 3.1 If conditions (C), (H 1)-(H 3) hold, then BVPs (1.1)-(1.2) have at least one solution provided that.
In order to obtain our main result, we first present and prove Lemmas 3.2-3.8. Now, let us define operators () as follows:
Lemma 3.2 If condition (C) holds and L is defined by (2.1), then
Proof By (2.1) and Lemma 2.5, has a solution
Combining with the condition (1.2), we get .
Suppose , then there exists such that , i.e., , . By Lemma 2.5, we have
Then in view of condition (C), (1.2) and Lemma 2.4, x satisfies
On the other hand, suppose and it satisfies (3.1), let , then , , i.e., . Therefore, we obtain that
□
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 , , .
If , we have
It is equal to
Since the determinant of coefficients is not equal to zero, we have that (), which is a contradiction to condition (C).
If , we get
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 .
Similarly, from , we have that there exists a constant such that
Let
we shall prove that S is a finite set. If else, there exists a strict increasing sequence such that
Since , we have . Thus,
which is a contradiction to (3.2). Therefore, there exists two constants and with such that . □
Lemma 3.4 If the condition (C) holds and L is defined by (2.1), then L is a Fredholm operator of index zero. Define the linear operatorwith, then it is the inverse of L. Furthermore, we have
Proof For each and with , define operator by
where
It is clear that . It follows from (3.4), the definition of and that
similarly, we can derive that
Hence, for each and , it follows from the (3.3)-(3.6) that
Furthermore, Q is a continuous linear projector.
For each , we have , i.e., . On the other hand, for each , we have that
However, the determinant of coefficients is as follows
then we have (), i.e., . Thus, .
Take any in the type , obviously, and , so . For any with , by Lemma 3.2, we have
That is,
but the determinant of coefficients is as follows
we can deduce that . Hence, . Furthermore, we get . Therefore, , which means that L is a Fredholm operator of index zero.
Let operator and
It is easy to calculate that ; furthermore, P is a continuous linear projector. Obviously
It is clear that .
For any , in view of the definition of operators Kp and L, we have . On the other hand, if , we have , . Therefore, by Lemma 2.5 and definitions of operators and L, we know that , which implies that . By the definition of , we have
It follows from Lemma 2.4 that
Then, we have
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 .
For all , , , we have
and
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.
Proof Taking any , then we have , which yields and , i.e., for all . It follows from (H2) and (H3) that there exists such that . Then we can get that
Furthermore, we have that, with setting ,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2012-65/MediaObjects/13661_2012_Article_165_Equ13_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1186%2F1687-2770-2012-65/MediaObjects/13661_2012_Article_165_Equ14_HTML.gif)
By (3.7)-(3.9) and Lemma 2.4, we have that
As before, for any , we have and . From Lemma 3.4 and for each , we can get
Furthermore, we have
By (H1) and the definition of N, we have
where . Since and hold true, we can get that
which yield that
Furthermore, from the previous inequalities, we know that
Since , there exist constants such that
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.
Proof Taking any and , we have . For all , we define the isomorphism by
By the definition of the set , we can get that
If , we have
By the first parts of (H2) and (H3), similar to the proof of Lemma 3.7, then
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.
Proof of Theorem 3.1 Assume that Ω is a bounded open set of Y with . By Lemma 3.5, N is L-compact on . Then by Lemmas 3.6 and 3.7, we have
-
(i)
for every ;
-
(ii)
for every .
Finally, we will prove that (iii) of Lemma 2.6 is satisfied. We let I as the identity operator in the Banach space Y and , according to Lemma 3.8 (or Remark 3.9) we know that for all , . By the homotopic property of degree, we have
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, ,
or
and the others in Theorem 3.1 are not changed, then BVPs (1.1)-(1.2) have at least one solution.
4 An example
Example Consider the following boundary value problem for all :
Let , and , , , , , , , . We can get that the condition (C) holds, i.e., , , . Moreover,
Thus, we have
Taking , , , , , , , , , , , , we can calculate that (H1)-(H3) hold. Furthermore, we can get
By Corollary 3.10, the BVP (4.1) has at least one solution in .
Author’s contributions
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.
References
Sabatier J, Agrawal O, Machado J: Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Berlin; 2007.
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.068
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.052
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.030
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.
Zhang S: Positive solutions for boundary-value problems of nonlinear fractional differential equations. Electron. J. Differ. Equ. 2006, 2006(36):1-12.
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.073
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.045
El-Sayed A: Nonlinear functional differential equations of arbitrary orders. Nonlinear Anal. 1998, 33(2):181-186. 10.1016/S0362-546X(97)00525-7
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.029
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.014
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.053
Kosmatov N: A boundary value problem of fractional order at resonance. Electron. J. Differ. Equ. 2010, 135: 1-10.
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-x
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.030
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.005
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.
Acknowledgement
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).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Xu, N., Liu, W. & Xiao, L. The existence of solutions for nonlinear fractional multipoint boundary value problems at resonance. Bound Value Probl 2012, 65 (2012). https://doi.org/10.1186/1687-2770-2012-65
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-2770-2012-65