The existence and uniqueness of solutions to boundary value problems of fractional difference equations

In this paper, we study the existence and uniqueness of solutions for the boundary value problem−Δν−μνy(t)=f(t,y(t+ν−1)),Δiy(ν−N)=0,i∈{0,…,N−3},ΔN−2y(ν−N)=g(y),Δν−Nμy(b+M+ν−μ)=0, whereν≥2,1≤μ<ν,f:{0,···,b+M}×R→R is continuous, and nonnegative fory≥0,g:C([ν−N,···,b+M+ν],R) 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.


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 *Correspondence: hanzhenlai@163.com School of Mathematical Sciences, University of Jinan, Jinan, Shandong 250022, People's Republic of China 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][5][6][7][8][9][10][11][12][13][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][21][22][23][24][25][26][27][28][29][30][31][32][33]. http://www.iaumath.com/content/6/1/7 Goodrich in [20] considered a discrete fractional boundary value problem of the form 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.
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 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][16][17][18].
, 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 t ν = 0.

Definition 2. The νth fractional sum of a function f , for
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.

the unique solution to Equation 3 is Equation 4 with particular constants
Lemma 4. Let a ∈ R and μ > 0 be given [21]. Then for any t, for which both sides, are well-defined. Furthermore, for Lemma 5. Let f : N a → R be given [21]. For any ν > 0,

Lemma 7. A function y is a solution of problem 1 if and
Proof. From Lemma 3, we get By the boundary conditions for each k ∈ {0, 1, · · ·, N − 3}, we conclude that Solving the system of N − 2 equations for {α i } N−3 i=0 , we obtain Hence, the general solution to the problem 1 simplifies nicely to From y(ν − 2) = g(y),we get thus, we obtain . http://www.iaumath.com/content/6/1/7 From Lemma 4 and Lemma 5, we get Then, we obtain 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 T : where this observation follows from Lemma 7. We now use this fact to prove our first existence theorem.
Proof. We will show that T is a contraction mapping. To this end, we notice that for given y 1 and y 2 , http://www.iaumath.com/content/6/1/7 We now analyze each of the three terms on the righthand 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 K > 2δ(b + M + ν) ν−1 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, y 0 , satisfying Proof. Consider the Banach space B := {y ∈ R b+M+N+1 : y ≤ K}. 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 T : B → B. 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 (t − σ (s)) ν−1 .
(16) http://www.iaumath.com/content/6/1/7 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 T : B → B, as desired. Consequently, it follows at once by the Brouwer theorem that there exists a fixed point of the map T, say Ty 0 = y 0 , with y 0 ∈ B. So this function y 0 is a solution of problem 1. Moreover, y 0 satisfies the bound |y 0 (t)| ≤ K for each t ∈[ ν − N, b+M+ ν] N ν−N . Thereby, this completes the proof of the theorem.

Example
In this section, we will present some examples to illustrate the main results.
In this case, inequality 8 is In addition, f and g are with Lipschitz constant α = β = 1 50 . So, for these choices α and β, problem 22 is satisfied. Therefore, from Theorem 1 we deduce that problem 21 has a unique solution.

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).