This paper deals with the existence of solutions for the following fractional boundary value problem with q-difference

where, and may be singular at (and/or).

Fractional differential equations have been of great interest recently because of their intensive applications in economics, financial mathematics and other applied science (see [1] -[13] and the references therein). The q-difference calculus or quantum calculus is an old subject and is rich in history and in applications. In recent years, there have been papers investigating the existence and uniqueness of the positive solution for the frac- tional boundary value problem with q-difference (see [1] - [4] and the references therein).

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.

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

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

First, for the existence results of problem (1.1), we need the following assumptions.

(A₁) is continuous.

(A₂) For, f is non-decreasing respect to x and for any, there exists a constant such that

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

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 (A₁), (A₂) hold. Then problem (1.1) has at least one positive solution in Q if

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 (A₂): is non-decreasing respect to x and (3.1), we can imply that for

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

For defined in (3.5), there exist constants satisfying

Let

Then it follows that

In fact, from (3.6)-(3.8) , we have

Then, by (3.9)-(3.11), (A₂) 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

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

where k is a constant with and determined by.

Proof. Let be given. Then there exists a constant such that

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 (A₂) and is singular at. Let,. Then

By Theorem 3.1, the following problem

has at least one positive solution.

The author is grateful to the referees for their valuable comments and suggestions.

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

XiuliLin,ZengqinZhao,YongliangGuan, (2016) Iterative Technology in a Singular Fractional Boundary Value Problem with q -Difference. Applied Mathematics,07,91-97. doi: 10.4236/am.2016.71008