Iterative Technology in a Singular Fractional Boundary Value Problem with q -Difference ()
Received 19 December 2015; accepted 23 January 2016; published 26 January 2016
1. Introduction
This paper deals with the existence of solutions for the following fractional boundary value problem with q-difference
(1.1)
where, and may be singular at (and/or).
For problem (1.1), there have been paid attention to the existences of solutions. Rui [1] investigated the exi- stence of positive solutions by applying a fixed point theorem in cones. By fixed point theorem again, Li and Han [2] considered a similar fractional q-difference equations given as
subject to the boundary conditions. In this work, we will apply the iterative technology ( [9] [11] [14] ), and as far as we know, there are few papers to establish the existence of solutions by the iterative technology for the boundary value problem with q-difference.
Motivated by the work mentioned above, with the iterative technology and properties of, explicit iterative sequences are given to approximate the solutions and the error estimations are also given.
2. Preliminaries and Some Lemmas
In this section, we introduce some definitions and lemmas.
Definition 2.1 [1] . Let, and f be a function defined on. The fractional q-integral of the Riemann-Liouville type is defined by and
The q-integral of a function f defined in the interval is given by
and q-integral of higher order is defined by
Remark 1:,. The q-gamma function is defined by , , and satisfies, where,.
Definition 2.2 [1] . Let,. The fractional q-derivative of the Riemann-Liouville type of order
is defined by and
where m is the smallest integer greater than or equal to. The q-derivative of a function f is defined by
and q-derivatives of higher order by
Lemma 2.1 [1] . Suppose and is q-integrable on. Then the boundary value problem
has the unique solution
where
(2.1)
(2.2)
Lemma 2.2 [1] . Function G defined as (2.2). Then G satisfies the following properties:
(1), and for all.
(2) for all.
Lemma 2.3. Function G defined as (2.2). Then
Proof. Note that (2.2) and, it follows that for all. This, with Lemma 2.2, implies that
3. Main Result
First, for the existence results of problem (1.1), we need the following assumptions.
(A1) is continuous.
(A2) For, f is non-decreasing respect to x and for any, there exists a constant such that
(3.1)
Then, we let the Banach space, and
Clearly P is a normal cone and Q is a subset of P in the Banach space E.
In what follows, we define the operator
(3.2)
where are given by (2.1) and (2.2).
Now, we are in the position to give the main results of this work.
Theorem 3.1. Suppose (A1), (A2) hold. Then problem (1.1) has at least one positive solution in Q if
(3.3)
Proof. We shall prove the existence of solution in three steps.
Step 1. The operator T defined in (3.2) is.
For any, there exists a positive constant such that
Then from (A2): is non-decreasing respect to x and (3.1), we can imply that for
(3.4)
where
is implied by the equivalent form to (3.1): if,
From (3.4) and Lemma 2.3, we can have
and
where:
This implies T is.
Step 2. There exist iterative sequences, satisfying
Since for, there exists a constant such that
(3.5)
For defined in (3.5), there exist constants satisfying
(3.6)
Let
(3.7)
(3.8)
Then it follows that
In fact, from (3.6)-(3.8) , we have
(3.9)
(3.10)
(3.11)
Then, by (3.9)-(3.11), (A2) and induction, the iterative sequences, satisfy
Step 3. There exists such that
Note that. By induction it is easy to obtain
Thus, for we have
(3.12)
This yields that there exists such that
Moreover, from (3.12) and
we have
Letting in (3.8), is a fixed point of T. That is, is a positive solution of problem (1.1).
Theorem 3.2. Suppose the conditions hold in Theorem 3.1. Then for any initial, there exists a se- quence such that uniformly on as, where is the positive solu- tion of problem (1.1). And the error estimation for the sequence is
(3.13)
where k is a constant with and determined by.
Proof. Let be given. Then there exists a constant such that
(3.14)
For defined in (3.14), choose constants such that
Then define as (3.7), (3.8), and we can have converges uniformly to the positive solution of problem (1.1) on as.
For the error estimation (3.13), it can be obtained by letting in (3.12).
Example 3.3. Consider the function
satisfies (A2) and is singular at. Let,. Then
By Theorem 3.1, the following problem
has at least one positive solution.
Acknowledgements
The author is grateful to the referees for their valuable comments and suggestions.
Support
Project supported by Program for Scientific research innovation team in Colleges and universities of Shandong Province, the Doctoral Program Foundation of Education Ministry of China (20133705110003), the Natural Science Foundation of Shandong Province of China (ZR2014AM007), the Natural Science Foundation of China (11571197).
NOTES
*Corresponding author.