Abstract
In this paper, we study the existence and uniqueness of solutions for the boundary value problem where is continuous, and nonnegative for is a given function. We give a representation for the solution to this problem, and we prove the existence and uniqueness of solution to this problem by contraction mapping theorem and Brouwer theorem.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Background
Gottfried Leibniz and Guilliaume L’Höpital sparked initial curiosity into the theory of fractional calculus during a 1695 correspondence on the possible value and meaning of non-integer-order derivatives. By the late nineteenth century, the combined efforts of a number of mathematicians most notably Liouville, Grünwald, Letnikov, and Riemann produced a fairly solid theory of fractional calculus for functions of a real variable. Though several viable fractional derivatives were proposed, the so-called Riemann-Liouville and Caputo derivatives are the two most commonly used today. Mathematicians have employed this fractional calculus in recent years to model and solve a variety of applied problems. Indeed, as Podlubney outlines in[1], fractional calculus aids significantly in the fields of viscoelasticity, capacitor theory, electrical circuits, electro-analytical chemistry, neurology, diffusion, control theory, and statistics.
The continuous fractional calculus has seen tremendous growth within the last 10 years or so. Some of the recent progress in the continuous fractional calculus has included a paper in which the authors explored a continuous fractional boundary value problem of conjugate type, using cone theory, they then deduced the existence of one or more positive solutions[2]. Of particular interest, with regard to the present paper, is the recent work by Benchohra et al.[3]. In that paper, the authors considered a continuous fractional differential equation with nonlocal conditions. Other recent work in the direction of those articles may be found, for example, in[4–14].
A recent interest in discrete fractional calculus has been shown by many scholars, such as Atici and Eloe, who in[15] discuss properties of the generalized falling function, a corresponding power rule for fractional delta-operators and the commutivity of fractional sums. They present in[16] more rules for composing fractional sums and differences. At the same time, a number of papers have appeared, and these have begun to build up the theoretical foundations of the discrete fractional calculus; for example, a recent paper by Atici and Eloe[17] explores some of the theories of a discrete conjugate fractional boundary value problem. Discrete fractional initial value problems were considered in a paper by Atici and Eloe[18] and a paper by the present author[19]. The other recent work may be found in[20–33].
Goodrich in[20] considered a discrete fractional boundary value problem of the form
where is a continuous function, is a given function, and 1 < ν ≤ 2. He also established the existence and uniqueness of solution to this problem by the contraction mapping theorem, the Brouwer theorem, and the Guo-Krasnosel’kii theorem.
Holm[21] examined the fractional boundary value problem
where
-
(1)
ν ≥ 2, with ℕ chosen so that N − 1 < ν≤N.
-
(2)
1≤μ < ν, with chosen so that M − 1 < ν ≤ M.
-
(3)
.
-
(4)
f is is continuous and nonnegative for y ≥ 0.
Motivated by all the works above, in this paper, we discuss the existence and uniqueness of solutions to a discrete fractional boundary value problem
where
-
(1)
ν ≥ 2, with chosen so that N − 1 < ν ≤ N.
-
(2)
1 ≤ μ < ν, with chosen so that M − 1 <ν ≤M.
-
(3)
.
-
(4)
f is is continuous and nonnegtive for y ≥ 0.
-
(5)
y is .
-
(6)
g is is a given function.
First, we will give the form of solutions of problem 1, and then we will prove the existence and uniqueness of solution to this problem by the contraction mapping theorem and the Brouwer theorem. Lastly, we give some examples to illustrate the main results.
Preliminaries
For the convenience of the reader, we give some background materials from fractional difference theory to facilitate analysis of problem 1. These and other related results and their proof can be found in[15–18].
Definition 1
We define, for any t and ν for which the right-hand side is defined. We also appeal to the convention that if t + 1 − ν is a pole of the Gamma function and t + 1 is not a pole, then.
Definition 2
The νth fractional sum of a function f, for ν > 0, is defined by
for. We also define the νth fractional difference for ν> 0 by Δνf(t) = ΔNΔν − Nf(t), where and is chosen so that 0 ≤ N − 1 <ν ≤N.
Lemma 1
Let ν be any positive real number and a b be two real numbers such that ν < a ≤ b[17]. Then the following are valid.
-
(1)
is a decreasing function for .
-
(2)
is a decreasing function for .
Lemma 2
If x < y < t + 1, then.
Proof
By definition, we get
in view of x < y, then
thus
□
Lemma 3
Let and ν > 0 be given with N −1 <ν ≤ N[21]. Consider the νth-order fractional difference equation
and the corresponding ν th-order fractional initial value problem
.
The general solution to equation 2 is
where are N real constants. Moreover, the unique solution to Equation 3 is Equation 4 with particular constants
for i ∈{0,1,…,N−1}.
Lemma 4
Let and μ>0 be given[21]. Then
for any t, for which both sides, are well-defined. Furthermore, for ν> 0,
and
Lemma 5
Let be given[21]. For any ν > 0, μ > 0 with M< μ < M + 1 we have
Lemma 6
For t and s, for which both and are defined[19], we find that
Lemma 7
A function y is a solution of problem 1 if and only if y(t),, has the form
where
Proof
From Lemma 3, we get
where □
By the boundary conditions
we have
for each k∈{0,1,···,N−3}, we conclude that
Solving the system of N−2 equations for, we obtain
Hence, the general solution to the problem 1 simplifies nicely to
From y(ν−2)=g(y),we get
Since
then
thus, we obtain
From Lemma 4 and Lemma 5, we get
In view of
we get
then, we get
thus,
Then, we obtain
Let
We get
This show that if problem 1 has a solution, then it can be represented by Equation 6 and that every function of form Equation 6 is a solution of problem 1, which completes the proof.
Results and discussion
In this section, we wish to show that under certain conditions, problem 1 have at least one solution. We notice that problem 1 may be recast an equivalent summation equation. In particular, y is a solution of problem 1 if and only if y is a fixed point of the operator, where
for, where this observation follows from Lemma 7. We now use this fact to prove our first existence theorem.
Theorem 1
Define. Suppose that f(t,y) and g(y) are Lipschitz in y. That is, there exist α,β>0 such that |f(t,y1)−f(t,y2)|≤α|y1−y2|, |g(y1)−g(y2)|≤β|y1−y2| whenever y1,y2∈R. Then it follows that problem 1 has a unique solution provided that the condition
holds.
Proof
We will show that T is a contraction mapping. To this end, we notice that for given y1 and y2, □
We now analyze each of the three terms on the right-hand side of proof 9.
Firstly, by an application of Lemma 6, we get
Secondly, by Lemma 1,
Finally, from another application of Lemma 1, we obtain
So, putting inequalities 10,11,12 in Equation 9, we conclude that
Therefore, by requiring condition 8 to hold, we find that problem 1 has a unique solution. And this completes the proof.
By weakening the conditions imposed on f(t,y) and g(y), we can still deduce the existence of a solution to problem 1. We will apply the Brouwer theorem to accomplish this.
Theorem 2
Suppose that there exists a constant such that f(t,y) satisfies the inequality
and g(y) satisfies the inequality
where
,,, δ is defined as in 5.
Then problem 1 has at least one solution, y0, satisfying |y0|≤K, for all.
Consider the Banach space. Let T be the operator defined in Equation 7. It is clear that T is a continuous operator. Therefore, the main objective in establishing this result is to show that. That is, whenever ∥y∥≤K, it follows that ∥Ty∥≤K. Once this is established, the Brouwer theorem will be invoked to deduce the conclusion.
To this end, assume that inequalities in 13 and 14 hold for given f and g. For convenience, we let
which is a strictly positive constant. Using the notation introduced in 15, we have
Now, much as in the proof of Theorem 1, we can simplify the expression on the right-hand side of inequality 16. Indeed, we know that
We now put inequalities in 18,19,20 together, we get
Thus, from Equation 20 we deduce that, as desired. Consequently, it follows at once by the Brouwer theorem that there exists a fixed point of the map T, say T y0=y0, with. So this function y0 is a solution of problem 1. Moreover, y0satisfies the bound |y0(t)|≤K for each. Thereby, this completes the proof of the theorem.
Example
In this section, we will present some examples to illustrate the main results.
Example 1.
Suppose that, b=1, M=2, and N=3. Let and. Then problem 1 becomes
In this case, inequality 8 is
In addition, f and g are with Lipschitz constant. So, for these choices α and β, problem 22 is satisfied. Therefore, from Theorem 1 we deduce that problem 21 has a unique solution.
Example 2.
Suppose that, b=8, M=2,, N=3 and K=1,000. Let and,. Then problem 1 is
so, the Banach space.
For
thus
It is clear that. And if we require
then from 25, for, so that f and g satisfy the conditions. Thus, by Theorem 2, we deduce that problem 23 has at least one solutions.
Endnotes
This research is supported by the Natural Science Foundation of China (11071143, 60904024, 61174217), Natural Science Outstanding Youth Foundation of Shandong Province (JQ201119) and supported by Shandong Provincial Natural Science Foundation (ZR2010AL002, ZR2009AL003), also supported by Natural Science Foundation of Educational Department of Shandong Province (J11LA01).
References
Podlubny I: Fractional differential equations, mathematics in science and engineering. Academic Press, New York/London/Toronto; 1999.
Bai Z, Lü H: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl 2005, 311: 495. 10.1016/j.jmaa.2005.02.052
Benchohra M, Hamani S, Ntouyas SK: Boundary value problems for differential equations with fractional order and nonlocal conditions. Nonlinear Anal. TMA 2009, 71: 2391. 10.1016/j.na.2009.01.073
Diethelm K, Ford N: Analysis of fractional differential equations. J. Math. Anal. Appl 2002, 265: 229. 10.1006/jmaa.2000.7194
Xu X, Jiang D, Yuan C: Multiple positive solutions for the boundary value problem of a nonlinear fractional differential equation. Nonlinear Anal. TMA 2009, 71: 4676. 10.1016/j.na.2009.03.030
Zhao Y, Sun S, Han Z, Li Q: The existence of multiple positive solutions for boundary value problems of nonlinear fractional differential equations. Comm. Nonlinear Sci. Numer. Simul 2011, 16: 2086. 10.1016/j.cnsns.2010.08.017
Zhao Y, Sun S, Han Z, Li Q: Positive solutions to boundary value problems of nonlinear fractional differential equations. Abstr. Appl. Anal 2011, 2011: 1.
Zhao Y, Sun S, Han Z, Li Q: Theory of fractional hybrid differential equations. Comput. Math. Appl 2011, 62: 1312. 10.1016/j.camwa.2011.03.041
Zhao Y, Sun S, Han Z, Zhang M: Positive solutions for boundary value problems of nonlinear fractional differential equations. Appl. Math. Comput 2011, 217: 6950. 10.1016/j.amc.2011.01.103
Zhao Y, Sun S, Han Z, Feng W: Positive solutions for a coupled system of nonlinear differential equations of mixed fractional orders. Adv. Differ. Equ 2011, 10: 1.
Zhou Y, Jiao F, Li J: Existence and uniqueness for p-type fractional neutral differential equations. Nonlinear Anal 2009, 71(7–8):2724. 10.1016/j.na.2009.01.105
Zhou Y, Jiao F, Li J: Existence and uniqueness for fractional neutral differential equations with infinite delay. Nonlinear Anal 2009, 71(7–8):3249. 10.1016/j.na.2009.01.202
Zhou Y, Jiao F: Nonlocal cauchy problem for fractional evolution equations. Nonlinear Anal 2010, 11: 4465. 10.1016/j.nonrwa.2010.05.029
Bastos NRO, Mozyrska D, Torres DFM: Fractional derivatives and integrals on time scales via the inverse generalized Laplace transform. Int. J. Math. Comput 2011, 11: 1.
Atici FM, Eloe FM: A transform method in discrete fractional calculus. Int. J. Difference Equ 2007, 2: 165.
Atici FM, Sengül S: Modeling with fractional difference equations. J. Math. Anal. Appl 2010, 369: 1. 10.1016/j.jmaa.2010.02.009
Atici FM, Eloe PW: Two-point boundary value problems for finite fractional difference equations. J. Difference Equ. Appl 2011, 17: 445. 10.1080/10236190903029241
Atici FM, Eloe PW: Initial value problems in discrete fractional calculus. Proc. Amer. Math. Soc 2009, 137(3):981.
Goodrich CS: Continuity of solutions to discrete fractional initial value problems. Comput. Math. Appl 2010, 59: 3489. 10.1016/j.camwa.2010.03.040
Goodrich CS: Existence and uniqueness of solutions to a fractional difference equation with nonlocal conditions. Comput. Math. Appl 2011, 61: 191. 10.1016/j.camwa.2010.10.041
Holm MT: The Theory of Discrete Fractional Calculus: Development and Application. University of Nebraska–Lincoln, Nebraska; 2011.
Agarwal RP, Meehan M, ORegan D: Fixed Point Theory and Applications. Cambridge University Press, Cambridge, UK; 2001.
Pan Y, Han Z: Existence of solutions for a coupled system of boundary value problem of nonlinear fractional differential equations. Proceedings of the 5th International Congress on Mathematical Biology, Nanjing University of Information Science & Technology, Nanjing City, 3–5 June 2011. 2011., 1:
Goodrich CS: Solutions to a discrete right-focal fractional boundary value problem. Int. J. Difference Equ 2010, 5: 195.
Goodrich CS: Existence of a positive solution to a system of discrete fractional boundary value problems. Appl. Math. Comput 2011, 217: 4740. 10.1016/j.amc.2010.11.029
Henderson J, Ntouyas SK, Purnaras IK: Positive solutions for systems of nonlinear discrete boundary value problems. J. Difference Equ. Appl 2009, 15: 895. 10.1080/10236190802350649
Dunninger DR, Wang H: Existence and multiplicity of positive solutions for elliptic systems. Nonlinear Anal 1997, 29: 1051. 10.1016/S0362-546X(96)00092-2
Goodrich CS: On positive solutions to nonlocal fractional and integer-order difference equations. Appl. Anal. Discrete Math 2011, 5: 122. 10.2298/AADM110111001G
Goodrich CS: On discrete sequential fractional boundary value problems. J. Math. Anal. Appl 2012, 385: 111. 10.1016/j.jmaa.2011.06.022
Ferreira RAC: Positive solutions for a class of boundary value problems with fractional q-differences. Comput. Math. Appl 2011, 61: 367. 10.1016/j.camwa.2010.11.012
Bastos NRO, Ferreira RAC, Torres DFM: Discrete-time fractional variational problems. Signal Processing 2011, 91: 513. 10.1016/j.sigpro.2010.05.001
Pan Y, Han Z, Sun S, Zhao Y: The existence of solutions to a system of discrete fractional boundary value problems. Abstr. Appl. Anal 2012, 2012: 1.
Goodrich CS: Existence of a positive solution to a class of fractional differential equations. Appl. Math. Lett 2010, 23: 1050. 10.1016/j.aml.2010.04.035
Acknowledgements
The authors sincerely thank the reviewers for their valuable suggestions and useful comments that have lead to the present improved version of the original manuscript.
Author information
Authors and Affiliations
Corresponding author
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
Pan, Y., Han, Z., Sun, S. et al. The existence and uniqueness of solutions to boundary value problems of fractional difference equations. Math Sci 6, 7 (2012). https://doi.org/10.1186/2251-7456-6-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/2251-7456-6-7