- About this Journal
- Abstracting and Indexing
- 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
Discrete Dynamics in Nature and Society
Volume 2013 (2013), Article ID 943961, 9 pages
Solvability of Nonlocal Fractional Boundary Value Problems
Department of Mathematics, Yanbian University, Yanji 133002, China
Received 28 January 2013; Revised 30 March 2013; Accepted 11 April 2013
Academic Editor: Ferhan M. Atici
Copyright © 2013 Zhongmin Huang and Chengmin Hou. 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.
This paper is devoted to introduce a new approach to investigate the existence of solutions for a three-point boundary value problem of fractional difference equations as fllows: , , and = We present an existence result at resonance case. The proof relies on coincidence degree theory.
In this paper, we consider a discrete fractional boundary value problem, for , of the form subject to the conjugate boundary conditions where is a continuous function, , and , and satisfies both and .
The research into the boundary value problems for differential equation and fractional differential equation have been always very active subjects. Rich results has been obtained due to the various powerful devices such as coincidence degree theory and cone theory. For details, see [1–7] and the references therein. Discrete fractional calculus has generated interest in recent years. There are many literatures dealing with the discrete fractional difference equation subject to various boundary value conditions or initial value conditions. We refer to [8–18] and references therein. However, we note that these results were usually obtained by analytic techniques and various fixed point theorems. For example, in [13–16], authors investigated the existence to some boundary value problems by fixed point theorems on a cone. In , we given the existence of multiple solutions for a fractional difference boundary value problem with parameter by establishing the corresponding variational framework and using the mountain pass theorem, linking theorem, and Clark theorem in critical point theory. As we know, the coincidence degree theory has played an important role in dealing with the existence and multiple solutions for differential equations, which include the boundary value problems. To the best of our knowledge, it has not be used in discrete fractional boundary value problems. The aim of this paper is to establish the existence conditions for boundary value problem (1), (2). The proof relies on the coincidence degree theory.
Now, we will briefly recall some notations and an abstract existence result.
Let be real Banach space, let be a Fredholm map of index zero, and let , be continuous projectors such that , , and . It follows that is invertible. We denote the inverse of the map by . If is an open bounded subset of such that the map will be called L-compact on , if is bounded and is compact.
We need the following known result for the sequel.
Theorem 1 (Mawhin continuation theorem, see ). Let be a Fredholm operator of index zero, and let be on . Assume that the following conditions are satisfied:(i) for every ;(ii) for every ;(iii), where is a projection as above with , and is any isomorphism.
Then the equation has at least one solution in .
We first collect some basic lemmas for manipulating discrete fractional operators.
First, for any real number , we let . We define , for any and for which the right-hand side is defined. We also appeal to the convention that if is a pole of the Gamma function and is not a pole, then .
Definition 2 (see ). The fractional sum of defined on , for , is defined to be where . We also define the fractional difference, where and with , to be where .
Lemma 3 (see ). Let and be any numbers for which and are defined. Then
Lemma 4 (see ). Let . Then for some , with .
Lemma 5 (see ). For and all , for which the following is defined, we find that
Lemma 6 (see ). Let be a positive integer, and let . Then .
Lemma 7 (see ). A real symmetric matrix is positive definite if there exists a real nonsingular matrix such that , where is the transpose.
We define the Banach space with the norm and Banach space with the norm . For , since we can easily see that .
Define to be the linear operator from to with
Lemma 8. is a Fredholm operator of index zero.
Proof. By Lemma 4 and the condition , we have .
Let , and then and where
In fact, if , then there exists such that .
In view of Lemma 4, we have
By , we get . By Lemmas 5 and 6, we get then
By and , we have
Therefore, that is,
Next, we will show that , for all .
Obviously for . Suppose that , then
Since , we may imply that for , then .
Let , consider continuous linear mapping defined by where .
That is, the map is idempotent. In fact, is a continuous linear projector. Note that implies . Conversely, if , then . Therefore, .
Take in the form , so that and . Thus, . Let , and assume that . Then, since , we have , which is a contradiction. Hence, , thus .
Now, , and so is a Fredholm operator of index zero. The proof is accomplished.
Define a mapping by we see that
Next, we will show that .
In fact, for , there exists such that and , and then
That is, , and hence . Next, if , then there exists a such that ; therefore . Since and , we see that .
Note that the projectors and are exact. Define by
If , then
Also, if , then
We can easily see that ; then and ; in view of , we have , then , thus hence, .
Lemma 9. is completely continuous.
Proof. Since is continuous and is a finite sum for , is completely continuous.
3. Existence Results
Observe by Lemma 6 that for ,
We let and then
That is, , where .
By Lemma 7, is a positive definite matrix. Let and denote, respectively, the minimum and the maximum eigenvalues of .
Since , we may easyly see that furthermore,
Theorem 10. Let be a continuous function in the second and the third variables. Assume that andthere exist nonnegative constants and constants which satisfy such that for all , there exists such that for , if for any , then there exists such that for any , if , then either or else Then the boundary value problem (1), (2) has at least one solution in .
Proof. Set . Then for , thus , and hence
From , there exists such that .
Next, for , we have , and hence then we get then from (41), then we can get
Furthermore, since and for any , holds, and we may see that can be expressed by a linear combination with . Therefore, is bounded. Thus, is bounded.
Let . For ,, since , then , thus
From Lemma 5 and in view of , we see that , then from we get ; that is, . Hence, is bounded. Next, according to , for any , if , then either
If (53) holds, set where is the linear isomorphism given by . Since , then
If , then . Otherwise, if , in view of (53), one has which is a contradiction. Thus is bounded.
If (54) holds, then the set where is mentioned as above. By the analogous argument, we can show that is bounded too.
Now, we will prove that all the conditions of Theorem 1 are satisfied. Set to be bounded open set of such that . By Lemma 9, is compact; hence is on ; then by the above argument, we have (i) for every ,(ii) for every ,then the conditions of Theorem 1 are hold.
At last we will prove that the condition (iii) of Theorem 1 is satisfied. In fact, let for all , thus, by the homotopy property of degree as follows:
Then by Theorem 1, has at least one solution in ; therefore the boundary value problem (1), (2) has at least one solution in .
Remark 11. We may obtain similarly result when the third variable of is instead by fractional difference of with the order which satisfies
Example 12. Consider the boundary value problem where .
By calculating, . Choosing , we can get , furthermore, for all ,
Thus, for every ,, so holds, and if , then for , or
Furthermore, or so (53) or (54) holds; that is, of Theorem 10 holds. Then, all the assumptions of Theorem 10 hold. Thus, with Theorem 10, the boundary value problem (60) has at least one solution in .
This project was supported by the National Natural Science Foundation of China (11161049).
- H. Lian, H. Pang, and W. Ge, “Solvability for second-order three-point boundary value problems at resonance on a half-line,” Journal of Mathematical Analysis and Applications, vol. 337, no. 2, pp. 1171–1181, 2008.
- 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.
- F. Merdivenci Atici and G. Sh. Guseinov, “On the existence of positive solutions for nonlinear differential equations with periodic boundary conditions,” Journal of Computational and Applied Mathematics, vol. 132, no. 2, pp. 341–356, 2001.
- A. Capietto, J. Mawhin, and F. Zanolin, “Continuation theorems for periodic perturbations of autonomous systems,” Transactions of the American Mathematical Society, vol. 329, no. 1, pp. 41–72, 1992.
- P. Habets and L. Sanchez, “Periodic solutions of some linear equations with singularities,” Proceedings of the American Mathematical Society, vol. 109, no. 4, pp. 1035–1044, 1990.
- M. A. Krasnosel'skii, Positive Solutions of Operator Equations, Noordhoff, Groningen, The Netherlands, 1964.
- A. C. Lazer and S. Solimini, “On periodic solutions of nonlinear differential equations with singularities,” Proceedings of the American Mathematical Society, vol. 99, no. 1, pp. 109–114, 1987.
- C. S. Goodrich, “Continuity of solutions to discrete fractional initial value problems,” Computers & Mathematics with Applications, vol. 59, no. 11, pp. 3489–3499, 2010.
- C. S. Goodrich, “On a discrete fractional three-point boundary value problem,” Journal of Difference Equations and Applications, vol. 18, no. 3, pp. 397–415, 2012.
- F. M. Atici and P. W. Eloe, “Initial value problems in discrete fractional calculus,” Proceedings of the American Mathematical Society, vol. 137, no. 3, pp. 981–989, 2009.
- C. S. Goodrich, “On a fractional boundary value problem with fractional boundary conditions,” Applied Mathematics Letters, vol. 25, no. 8, pp. 1101–1105, 2012.
- F. M. Atici and P. W. Eloe, “A transform method in discrete fractional calculus,” International Journal of Difference Equations, vol. 2, no. 2, pp. 165–176, 2007.
- C. S. Goodrich, “Solutions to a discrete right-focal fractional boundary value problem,” International Journal of Difference Equations, vol. 5, no. 2, pp. 195–216, 2010.
- F. M. Atici and P. W. Eloe, “Two-point boundary value problems for finite fractional difference equations,” Journal of Difference Equations and Applications, vol. 17, no. 4, pp. 445–456, 2011.
- C. S. Goodrich, “On discrete sequential fractional boundary value problems,” Journal of Mathematical Analysis and Applications, vol. 385, no. 1, pp. 111–124, 2012.
- C. S. Goodrich, “Existence and uniqueness of solutions to a fractional difference equation with nonlocal conditions,” Computers & Mathematics with Applications, vol. 61, no. 2, pp. 191–202, 2011.
- Z. Xie, Y. Jin, and C. Hou, “Multiple solutions for a fractional difference boundary value problem via variational approach,” Abstract and Applied Analysis, vol. 2012, Article ID 143914, 16 pages, 2012.
- F. M. Atic and S. Şengül, “Modeling with fractional difference equations,” Journal of Mathematical Analysis and Applications, vol. 369, no. 1, pp. 1–9, 2010.