- Open Access
Nontrivial solutions for a higher fractional differential equation with fractional multi-point boundary conditions
© Jia et al.; licensee Springer 2012
- Received: 7 April 2012
- Accepted: 15 June 2012
- Published: 3 July 2012
This paper investigates the existence and uniqueness of nontrivial solutions to a class of fractional nonlocal multi-point boundary value problems of higher order fractional differential equation, this kind of problems arise from viscoelasticity, electrochemistry control, porous media, electromagnetic and signal processing of wireless communication system. Some sufficient conditions for the existence and uniqueness of nontrivial solutions are established under certain suitable growth conditions, our proof is based on Leray-Schauder nonlinear alternative and Schauder fixed point theorem.
- fractional differential equation
- nontrivial solution
- Green function
- Leray-Schauder nonlinear alternative
where , , , , for , and , , , , , , is the standard Riemann-Liouville derivative, and is continuous.
Differential equations of fractional order occur more frequently in different research areas such as engineering, physics, chemistry, economics, etc. Indeed, we can find numerous applications in viscoelasticity, electrochemistry control, porous media, electromagnetic and signal processing of wireless communication system, etc. [1–6].
For an extensive collection of results about this type of equations, we refer the reader to the monograph by Kilbas et al. , Miller and Ross , Podlubny , the papers [10–24] and the references therein.
where x takes values in a reflexive Banach space E and with . denotes the k th Pseudo-derivative of x and denotes the Pseudo fractional differential operator of order α. By means of the fixed point theorem attributed to O’Regan, a criterion was established for the existence of at least one Pseudo solution for the problem (1.2).
The author derived the Green’s function for the problem (1.4) and showed that it satisfies certain properties. Then, by using cone theoretic techniques, a general existence theorem for (1.4) was obtained when satisfies some growth conditions.
where with . By using the Schauder fixed point theorem and the contraction mapping principle, the authors established the existence and uniqueness of nontrivial solutions for BVP (1.5) provided that the nonlinear function is continuous and satisfies certain growth conditions. However, Rehman and Khan only considered the case and the case of the nonlinear term f was not considered comprehensively.
Notice that the results dealing with the existence and uniqueness of solution for multi-point boundary value problems of fractional order differential equations are relatively scarce when the nonlinear term f and the boundary conditions all involve fractional derivatives of unknown functions. Thus, the aim of this paper is to establish the existence and uniqueness of nontrivial solutions for the higher nonlocal fractional differential equations (1.1) where nonlinear term f and the boundary conditions all involve fractional derivatives of unknown functions. In our study, the proof is based on the reduced order method as in  and the main tool is the Leray-Schauder nonlinear alternative and the Schauder fixed point theorem.
Definition 2.1 A function x is said to be a solution of BVP (1.1) if and satisfies BVP (1.1). In addition, x is said to be a nontrivial solution if for and x is solution of BVP (1.1).
For the convenience of the reader, we present some definitions, lemmas, and basic results that will be used later. These and other related results and their proofs can be found, for example, in [6–9].
Definition 2.2 (see )
where is the unique positive integer satisfying and .
Lemma 2.1 (see )
- (1)If , , then
- (2)If , , then
Lemma 2.2 (see )
Assume thatwith a fractional derivative of order, then, where, (). Herestands for the standard Riemann-Liouville fractional integral of orderanddenotes the Riemann-Liouville fractional derivative as Definition 2.1.
The proof is completed. □
This completes the proof. □
Lemma 2.5 Let, . Then (2.9) can be transformed into (1.1). Moreover, ifis a solution of the problem (2.9), then the functionis a solution of the problem (1.1).
and also . It follows from that . Using , , (2.9) is transformed into (1.1).
Consequently, is a solution of the problem (1.1). □
Clearly, the fixed point of the operator T is a solution of BVP (2.9); and consequently is also a solution of BVP (1.1) from Lemma 2.5.
Lemma 2.6is a completely continuous operator.
Proof Noticing that is continuous, by using the Ascoli-Arzela theorem and standard arguments, the result can easily be shown. □
Lemma 2.7 (see )
Let X be a real Banach space, Ω be a bounded open subset of X, where, is a completely continuous operator. Then, either there exists, such that, or there exists a fixed point.
For the convenience of expression in rest of the paper, we let .
where M is defined by (2.8). Then BVP (1.1) has at least one nontrivial solution.
This contradicts . By Lemma 2.7, T has a fixed point , since ; so then, by Lemma 2.5, BVP (1.1) has a nontrivial solution . This completes the proof. □
whereare nonnegative constants. Then BVP (1.1) has at least one nontrivial solution.
Proof By Lemma 2.6, we know is a completely continuous operator.
Therefore, . Thus we have . Hence the Schauder fixed point theorem implies the existence of a solution in for BVP (2.9). Since , then by Lemma 2.5, BVP (1.1) has a nontrivial solution . This completes the proof. □
whereare nonnegative constants. Then BVP (1.1) has at least one nontrivial solution.
Proof The proof is similar to that of Theorem 3.2, so it is omitted. □
and (3.2) holds. Then BVP (1.1) has a unique nontrivial solution.
From Theorem 3.1, we know BVP (1.1) has a nontrivial solution.
Then (3.2) implies that T is indeed a contraction. Finally, we use the Banach fixed point theorem to deduce the existence of a unique nontrivial solution to BVP (1.1). □
- (1)There exists a constant such that(3.8)
- (2)There exists a constant such that(3.9)
- (3)There exists a constant such that(3.10)
- (4)() satisfy(3.11)
- (1)If (3.8) holds, let , and by using Hlder inequality,
- (2)In this case, it follows from (3.9) that
- (3)In this case, it follows from (3.10) that
- (4)If (3.11) is satisfied, we have
This completes the proof of Corollary 3.1. □
Then BVP (1.1) has at least one nontrivial solution.
Then it follows from Theorem 3.1 that BVP (1.1) has at least one nontrivial solution. □
Thus the condition (3.2) in Theorem 3.1 is satisfied, and from Theorem 3.1, BVP (4.1) has a nontrivial solution. □
Thus Theorem 3.4 guarantees a nontrivial solution for BVP (4.2). □
The authors thank the referee for helpful comments and suggestions which led to an improvement of the paper. The authors were supported financially by the National Natural Science Foundation of China (11071141) and the Natural Science Foundation of Shandong Province of China (ZR2010AM017) and the Fundamental Research Funds for the Central Universities (Grant No. HIT. NSRIF. 2010091), the National Science Foundation for Post-doctoral Scientists of China (Grant No. 2012M510956).
- Diethelm K, Freed AD: On the solutions of nonlinear fractional order differential equations used in the modelling of viscoplasticity. In Scientific Computing in Chemical Engineering II - Computational Fluid Dynamics, Reaction Engineering and Molecular Properties. Edited by: Keil F, Mackens W, Voss H, Werthers J. Springer, Heidelberg; 1999.Google Scholar
- Gaul L, Klein P, Kempffe S: Damping description involving fractional operators. Mech. Syst. Signal Process. 1991, 5: 81-88. 10.1016/0888-3270(91)90016-XView ArticleGoogle Scholar
- Glockle WG, Nonnenmacher TF: A fractional calculus approach of self-similar protein dynamics. Biophys. J. 1995, 68: 46-53. 10.1016/S0006-3495(95)80157-8View ArticleGoogle Scholar
- Mainardi F: Fractional calculus: some basic problems in continuum and statistical mechanics. In Fractal and Fractional Calculus in Continuum Mechanics. Edited by: Carpinteri CA, Mainardi F. Springer, Vienna; 1997.Google Scholar
- Metzler F, Schick W, Kilian HG, Nonnenmache TF: Relaxation in filled polymers: a fractional calculus approach. J. Chem. Phys. 1995, 103: 7180-7186. 10.1063/1.470346View ArticleGoogle Scholar
- Oldham KB, Spanier J: The Fractional Calculus. Academic Press, New York; 1974.Google Scholar
- Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.Google Scholar
- Miller KS, Ross B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York; 1993.Google Scholar
- Podlubny I: Fractional Differential Equations. Academic Press, New York; 1999.Google Scholar
- Salem AH: On the fractional m -point boundary value problem in reflexive Banach space and the weak topologies. J. Comput. Appl. Math. 2009, 224: 565-572. 10.1016/j.cam.2008.05.033MathSciNetView ArticleGoogle Scholar
- Zhang S: Positive solutions to singular boundary value problem for nonlinear fractional differential equation. Comput. Math. Appl. 2010, 59: 1300-1309. 10.1016/j.camwa.2009.06.034MathSciNetView ArticleGoogle Scholar
- Goodrich CS: Existence of a positive solution to a class of fractional differential equations. Appl. Math. Lett. 2010, 23: 1050-1055. 10.1016/j.aml.2010.04.035MathSciNetView ArticleGoogle Scholar
- Rehman M, Khan R: Existence and uniqueness of solutions for multi-point boundary value problems for fractional differential equations. Appl. Math. Lett. 2010, 23: 1038-1044. 10.1016/j.aml.2010.04.033MathSciNetView ArticleGoogle Scholar
- Zhang X, Liu L, Wu Y: Multiple positive solutions of a singular fractional differential equation with negatively perturbed term. Math. Comput. Model. 2012, 55: 1263-1274. 10.1016/j.mcm.2011.10.006MathSciNetView ArticleGoogle Scholar
- Bai Z: On positive solutions of a nonlocal fractional boundary value problem. Nonlinear Anal. 2010, 72: 916-924. 10.1016/j.na.2009.07.033MathSciNetView ArticleGoogle Scholar
- Ahmad B, Nieto JJ: Riemann-Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions. Bound. Value Probl. 2011., 2011:Google Scholar
- Goodrich CS: Existence of a positive solution to systems of differential equations of fractional order. Comput. Math. Appl. 2011, 62: 1251-1268. 10.1016/j.camwa.2011.02.039MathSciNetView ArticleGoogle Scholar
- Goodrich CS: Existence and uniqueness of solutions to a fractional difference equation with nonlocal conditions. Comput. Math. Appl. 2011, 61: 191-202. 10.1016/j.camwa.2010.10.041MathSciNetView ArticleGoogle Scholar
- Goodrich CS: Positive solutions to boundary value problems with nonlinear boundary conditions. Nonlinear Anal. 2012, 75: 417-432. 10.1016/j.na.2011.08.044MathSciNetView ArticleGoogle Scholar
- Zhang X, Han Y: Existence and uniqueness of positive solutions for higher order nonlocal fractional differential equations. Appl. Math. Lett. 2012, 25: 555-560. 10.1016/j.aml.2011.09.058MathSciNetView ArticleGoogle Scholar
- Wu J, Zhang X, Liu L, Wu Y: Positive solutions of higher order nonlinear fractional differential equations with changing-sign measure. Adv. Differ. Equ. 2012., 2012:Google Scholar
- Zhang X, Liu L, Wiwatanapataphee B, Wu Y: Solutions of eigenvalue problems for a class of fractional differential equations with derivatives. Abstr. Appl. Anal. 2012., 2012:Google Scholar
- Wu T, Zhang X: Solutions of sign-changing fractional differential equation with the fractional. Abstr. Appl. Anal. 2012., 2012:Google Scholar
- Zhang X, Liu L, Wu Y: The eigenvalue problem for a singular higher order fractional differential equation involving fractional derivatives. Appl. Math. Comput. 2012, 218: 8526-8536. 10.1016/j.amc.2012.02.014MathSciNetView ArticleGoogle Scholar
- Deimling K: Nonlinear Functional Analysis. Springer, Berlin; 1985.View ArticleGoogle Scholar
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.