Advances in Difference Equations

, 2018:180

# Existence of positive solutions for two-point boundary value problems of nonlinear fractional q-difference equation

• Caixia Guo
• Jianmin Guo
• Ying Gao
• Shugui Kang
Open Access
Research

## Abstract

This paper is concerned with the two-point boundary value problems of a nonlinear fractional q-difference equation with dependence on the first order q-derivative. We discuss some new properties of the Green function by using q-difference calculus. Furthermore, by means of Schauder’s fixed point theorem and an extension of Krasnoselskii’s fixed point theorem in a cone, the existence of one positive solution and of at least one positive solution for the boundary value problem is established.

## Keywords

Fractional q-difference calculus Two-point boundary value problem Fixed point theorem Positive solution

34A08 34K30

## 1 Introduction

The term “q-difference” actually refers to quantum difference. Quantum calculus, sometimes called calculus without limits, is equivalent to traditional infinitesimal calculus without the notion of limits. It defines “q-calculus” and “h-calculus”, where h ostensibly stands for Planck’s constant while q stands for quantum. The two parameters are related by the formula $$q=e^{ia}=e^{2\pi ih}$$, where $$h=\frac{a}{2\pi}$$ is the reduced Planck constant. The q-calculus, dating in a sense back to Euler and Jacobi [1, 2, 3], is only recently beginning to see more usefulness and a lot of applications in quantum mechanics, having an intimate connection with commutativity relations. Based on this, there have been published a lot of papers about fractional q-calculus and fractional q-differential equation theory. At the same time, the topic of the fractional quantum difference equation has also attracted the attention of many researchers in recent years (see [4, 5, 6] and the references therein). In recent years, some boundary value problems with fractional q-differences have aroused heated discussion among many authors [7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22]. They obtained many results as regards the existence and multiplicity of nontrivial solutions, positive solutions, negative solutions and extremal solutions by applying some well-known tools of fixed point theory such as the Banach contraction principle, the Guo–Krasnosel’skii fixed point theorem on cones, monotone iterative methods and Leray–Schauder degree theory.

But we find that the discussed nonlinear terms is only $$f(t,u(t))$$ in the literature above (see, e.g., [7]), and there is little literature treating nonlinear terms with a first order q-derivative, which is our focus in the study. Based on this, in this paper, we will be interested in the q-analog of the fractional differential problem given by
$$\textstyle\begin{cases} (D^{\alpha}_{q}y)(t)=-f(t,y(t),D_{q}y(t)),& 0< t< 1,\\ y(0)=(D_{q}y)(0)=(D_{q}y)(1)=0, \end{cases}$$
(1.1)
where $$2<\alpha\leqslant3, f:[0,1]\times[0,+\infty)\times{\mathbb{R}}\to[0,+\infty)$$ is continuous. In Sect. 2, we will give some necessary definitions of fractional q-calculus and deduce the new properties of the Green function. In Sect. 3, by means of Schauder’s fixed point theorem and Krasnoselskii fixed point theorem in a cone, some results on the existence of positive solutions of problem (1.1) are established. Finally, an example is given to illustrate the main results of this paper.

## 2 Preliminaries

For convenience, we collect here the necessary definitions from the theory of fractional q-calculus.

Let $$q\in(0,1)$$ and define
$$[a]_{q}=\frac{1-q^{a}}{1-q}, \quad a\in\mathbb{R}.$$
The q-analog of the power function $$(a-b)^{n}$$ with $$n\in{\mathbb{N}}_{0}$$ is
$$(a-b)^{0}=1, \qquad (a-b)^{n}=\prod _{k=0}^{n-1}\bigl(a-bq^{k}\bigr),\quad n\in \mathbb{N}, a, b\in{\mathbb{R}}.$$
More generally, if $$\alpha\in\mathbb{R}$$, then
$$(a-b)^{(\alpha)}=a^{\alpha}\prod_{n=0}^{\infty} \frac {a-bq^{n}}{a-bq^{\alpha+n}}.$$
If $$b=0$$, then $$(a-b)^{(\alpha)}=a^{(\alpha)}=a^{\alpha}$$. It is easy to see that $$[a(t-s)]^{(\alpha)}=a^{\alpha}(t-s)^{(\alpha)}$$ and $$(a-b)^{(\alpha)}=(a-bq^{\alpha-1})(a-b)^{(\alpha-1)}$$. There are two important results:
1. (1)

If $$\alpha>0, a\leqslant b\leqslant t$$, then $$(t-a)^{(\alpha)}\geqslant(t-b)^{(\alpha)}$$.

2. (2)

If $$\alpha<0, a\leqslant b\leqslant t$$, then $$(t-a)^{(\alpha)}\leqslant(t-b)^{(\alpha)}$$.

Result (1) comes from the Remark 2.1 of [8]. For result (2), since $$(t-a)^{(\alpha)}=t^{\alpha}\prod_{n=0}^{\infty}\frac {t-aq^{n}}{t-aq^{\alpha+n}}$$ and $$(t-b)^{(\alpha)}=t^{\alpha}\prod_{n=0}^{\infty}\frac {t-bq^{n}}{t-bq^{\alpha+n}}$$, it is sufficient to show that
\begin{aligned} &\bigl(t-aq^{n}\bigr) \bigl(t-bq^{\alpha+n}\bigr)\leqslant \bigl(t-bq^{n}\bigr) \bigl(t-aq^{\alpha+n}\bigr) \\ &\quad \Leftrightarrow\quad t^{2}-tbq^{\alpha+n}-taq^{n}+abq^{\alpha+2n} \leqslant t^{2}-taq^{\alpha+n}-taq^{n}+abq^{\alpha+2n} \\ &\quad \Leftrightarrow\quad q^{n}\bigl(a+bq^{\alpha}\bigr) \geqslant q^{n}\bigl(b+aq^{\alpha}\bigr) \\ &\quad \Leftrightarrow\quad a+bq^{\alpha}\geqslant b+aq^{\alpha} \\ &\quad \Leftrightarrow\quad (b-a)q^{\alpha}\geqslant b-a \\ &\quad \Leftrightarrow\quad q^{\alpha}\geqslant1. \end{aligned}
The final expression is obtained by $$\alpha<0$$, $$0< q<1$$. This completes the proof of the result (2).
The q-gamma function is defined by
$$\Gamma_{q}(x)=\frac{(1-q)^{(x-1)}}{(1-q)^{x-1}},\quad x\in{\mathbb {R}}\setminus\{0, -1, -2, \ldots\},$$
and satisfies $$\Gamma_{q}(x+1)=[x]_{q}\Gamma_{q}(x)$$.
The expression
$$D_{q}f(x)=\frac{f(qx)-f(x)}{(q-1)x}$$
is called the q-derivative of the function $$f(x)$$. $$D_{q}$$ has the following properties:
\begin{aligned} &D_{q}\bigl(af(x)+bg(x)\bigr)=aD_{q}f(x)+bD_{q}g(x), \\ &D_{q}\bigl(f(x)g(x)\bigr)=f(x)D_{q}g(x)+g(qx)D_{q}f(x); \\ &{}_{t}D_{q}(t-s)^{(\alpha)}=[\alpha]_{q}(t-s)^{(\alpha-1)}, \\ &\biggl({}_{x}D_{q} \int_{0}^{x}f(x,t)\,d_{q} t\biggr) (x)= \int_{0}^{x}{{} _{x}D_{q}} f(x,t)\,d_{q}t+f(qx,x). \end{aligned}
The q-integral of a function f defined on the interval $$[0,b]$$ is given by
$$I_{q}f(x)= \int_{0}^{x}f(t)\,d_{q} t=x(1-q)\sum _{n=0}^{\infty}f\bigl(xq^{n} \bigr)q^{n},\quad x\in[0,b].$$
If $$a\in[0,b]$$ and f is defined on the interval $$[0,b]$$, its integral from a to b is defined by
$$\int_{a}^{b}f(t)\,d_{q} t= \int_{0}^{b}f(t)\,d_{q} t- \int_{0}^{a}f(t)\,d_{q} t.$$
Basic properties of the two operators can be found in [23]:
$$D_{q}I_{q}f(x)=f(x),$$
and if f is continuous at $$x=0$$, then
$$I_{q}D_{q}f(x)=f(x)-f(0).$$

### Definition 2.1

([24])

Let $$\alpha\geqslant0$$ and f be a function defined on $$[0,1]$$. The fractional q-integral of the Riemann–Liouville type is $$(I^{0}_{q} f)(x)=f(x)$$ and
$$\bigl(I^{\alpha}_{q}f\bigr) (x)=\frac{1}{\Gamma_{q}(\alpha)} \int_{0}^{x}(x-qt)^{(\alpha -1)}f(t) \,d_{q} t,\quad \alpha>0, x\in[0,1].$$

### Definition 2.2

([25])

The fractional q-derivative of the Riemann–Liouville type of order $$\alpha\geqslant0$$ is defined by
$$\bigl(D_{q}^{\alpha}f\bigr) (x)=\bigl(D_{q}^{m}I_{q}^{m-\alpha}f \bigr) (x),\quad \alpha>0,$$
where m is the smallest integer greater than or equal to α.

### Lemma 2.1

([24])

Let$$\alpha,\gamma\geqslant0$$andfbe a function defined on$$[0,1]$$. Then the next formulas hold:
\begin{aligned} &\bigl(I_{q}^{\beta}I_{q}^{\alpha}f\bigr) (x)=\bigl(I_{q}^{\alpha+\beta}f\bigr) (x), \\ &\bigl(D_{q}^{\alpha}I_{q}^{\alpha}f\bigr) (x)=f(x). \end{aligned}

### Definition 2.3

([26])

Let $$\alpha>0$$ and p be a positive integer. Then the following equality holds:
$$\bigl(I_{q}^{\alpha}D_{q}^{p}f\bigr) (x)= \bigl(D_{q}^{p}I_{q}^{\alpha}f\bigr) (x)- \sum_{k=0}^{p}\frac {x^{\alpha-p+k}}{\Gamma_{q}(\alpha+k-p+1)} \bigl(D_{q}^{k}f\bigr) (0).$$

### Lemma 2.2

([7])

The unique solution of theq-analog of the fractional differential problem (1.1) is given by
$$y(t):= \int_{0}^{1}G(t,qs)f\bigl(s,y(s),D_{q}y(s) \bigr)\,d_{q}s,$$
where$$2<\alpha\leqslant3$$, $$G(t,qs)$$is the Green function for the problem (1.1), which is given by
$$G(t,qs)=\frac{1}{\Gamma_{q}(\alpha)} \textstyle\begin{cases} t^{\alpha-1}(1-qs)^{(\alpha-2)}-(t-qs)^{(\alpha-1)},& 0\leqslant qs\leqslant t\leqslant1,\\ t^{\alpha-1}(1-qs)^{(\alpha-2)}, & 0\leqslant t\leqslant qs\leqslant1. \end{cases}$$

### Lemma 2.3

The Green function$$G(t,qs)$$defined as in the statement of Lemma 2.2satisfies the following conditions:
1. (1)

$$G(t,qs)>0$$and$$G(t,qs)\leqslant G(1,qs)$$for each$$(t,s)\in[0,1]\times[0,1]$$;

2. (2)

$$G(t,qs)\geqslant g(t)G(1,qs)$$for each$$(t,s)\in[0,1]\times[0,1]$$with$$g(t)=t^{\alpha-1}$$;

3. (3)

For$$s\in[0,1]$$, $$\min_{t\in[\frac{1}{4},\frac{3}{4}]}G(t,qs)\geqslant(\frac {1}{4})^{\alpha-1}G(1,qs)$$.

### Proof

Proofs of (1) and (2) are given in [7].

(3) Let $$g_{1}(t,qs)=t^{\alpha-1}(1-qs)^{(\alpha-2)}-(t-qs)^{(\alpha-1)}$$, $$0\leqslant qs\leqslant t\leqslant1$$, $$g_{2}(t,qs)=t^{\alpha-1}(1-qs)^{(\alpha-2)}$$, $$0\leqslant t\leqslant qs\leqslant1$$. For $$0\leqslant qs\leqslant t\leqslant1$$,
\begin{aligned} _{t}D_{q}g_{1}(t,qs) =&[\alpha-1]_{q}t^{\alpha-2}(1-qs)^{(\alpha-2)}-[ \alpha -1]_{q}(t-qs)^{(\alpha-2)} \\ \geqslant&[\alpha-1]_{q}t^{\alpha-2}(1-qs)^{(\alpha-2)}-[ \alpha -1]_{q}(t-tqs)^{(\alpha-2)} \\ =&[\alpha-1]_{q}t^{\alpha-2}(1-qs)^{(\alpha-2)}-[ \alpha-1]_{q}t^{\alpha -2}(1-qs)^{(\alpha-2)} \\ =&0, \end{aligned}
so $$g_{1}(t,qs)$$ is increasing with respect to t. We have
\begin{aligned} \min_{\frac{1}{4}\leqslant t\leqslant\frac{3}{4}} g_{1}(t,qs) \geqslant &\frac{1}{\Gamma_{q}(\alpha)} \biggl[(1-qs)^{(\alpha-2)}\biggl(\frac{1}{4}\biggr)^{\alpha -1}- \biggl(\frac{1}{4}-qs\biggr)^{(\alpha-1)}\biggr] \\ \geqslant&\frac{1}{\Gamma_{q}(\alpha)}\biggl[(1-qs)^{(\alpha-2)}\biggl( \frac {1}{4}\biggr)^{\alpha-1}-\biggl(\frac{1}{4}- \frac{1}{4}qs\biggr)^{(\alpha-1)}\biggr] \\ =&\frac{1}{\Gamma_{q}(\alpha)4^{\alpha-1}}\bigl[(1-qs)^{(\alpha -2)}-(1-qs)^{(\alpha-1)}\bigr] \\ =&\frac{1}{\Gamma_{q}(\alpha)4^{\alpha-1}}\bigl[(1-qs)^{(\alpha -2)}-\bigl(1-qsq^{\alpha-2} \bigr) (1-qs)^{(\alpha-2)}\bigr] \\ =&\frac{1}{\Gamma_{q}(\alpha)4^{\alpha-1}}(1-qs)^{(\alpha-2)}sq^{\alpha -1} \\ =&\biggl(\frac{1}{4}\biggr)^{\alpha-1}G(1,qs). \end{aligned}
It is easy to see that $$g_{2}(t,qs)$$ is increasing with respect to t. We have
\begin{aligned} \min_{\frac{1}{4}\leqslant t\leqslant\frac{3}{4}} g_{2}(t,qs) \geqslant & \frac{1}{\Gamma_{q}(\alpha)}(1-qs)^{(\alpha-2)}\biggl(\frac{1}{4} \biggr)^{\alpha-1} \geqslant \biggl(\frac{1}{4}\biggr)^{\alpha-1}G(1,qs). \end{aligned}
Obviously, $$\min_{\frac{1}{4}\leqslant t\leqslant\frac{3}{4}} G(t,qs)\geqslant(\frac{1}{4})^{\alpha-1}G(1,qs)$$. □

### Definition 2.4

Let E be a real Banach space. A nonempty convex closed set P is called a cone provided that: (1) $$au\in P$$, for all $$u\in P; a\geqslant0$$; (2) $$u,-u\in P$$ implies $$u=0$$.

Let X be a Banach space and $$P\subset X$$ a cone. Suppose $$\alpha, \beta: X\to\mathbb{R}^{+}$$ are two continuous convex functions satisfying
$$\alpha(\lambda u)= \vert \lambda \vert \alpha(u), \qquad \beta(\lambda u)= \vert \lambda \vert \beta(u),$$
for $$u\in X, \lambda\in\mathbb{R}$$, and
$$\Vert u \Vert \leqslant\kappa\max\bigl\{ \alpha(u), \beta(u)\bigr\} ,$$
for $$u\in X$$, and $$\alpha(u_{1})\geqslant\alpha(u_{2})$$ for $$u_{1}, u_{2}\in P, u_{1}\leqslant u_{2}$$, where $$\kappa>0$$ is a constant.

### Lemma 2.4

([27])

Let$$r_{2}>r_{1}>0, L>0$$be constants and$$\Omega_{i}=\{u\in X: \alpha(u)< r_{i}, \beta(u)< L\}, i=1,2$$be two bounded open sets inX. Set$$D_{i}=\{u\in X: \alpha(u)=r_{i}\}$$. Assume$$T: P\to P$$is a completely continuous operator satisfying
(C1)

$$\alpha(Tu)< r_{1}, u\in D_{1}\cap P; \alpha(Tu)>r_{2}, u\in D_{2}\cap P$$;

(C2)

$$\beta(Tu)< L, u\in P$$;

(C3)

there is a$$p\in(\Omega_{2}\cap P)\setminus\{0\}$$such that$$\alpha(p)\neq0$$and$$\alpha(u+\lambda p)\geqslant\alpha(u)$$for all$$u\in P$$and$$\lambda\geqslant0$$.

ThenThas at least one fixed point in$$(\Omega_{2}\setminus\bar{\Omega}_{1})\cap P$$.

## 3 Main results and proofs

Consider the Banach space
$$X=\bigl\{ y: y(t)\in C[0,1]\cap C^{1}[0,1]\bigr\}$$
with the norm
$$\Vert y \Vert =\bigl[ \Vert y \Vert _{0}^{2}+ \Vert D_{q}y \Vert _{0}^{2} \bigr]^{\frac{1}{2}},$$
where $$\Vert y \Vert _{0}=\max_{0\leqslant t\leqslant1} \vert y(t) \vert , \Vert D_{q}y \Vert _{0}=\max_{0\leqslant t\leqslant1} \vert D_{q}y(t) \vert$$. Define the cone on X: $$P=\{y\in X:y(t)\geqslant0\}$$ and functionals $$\alpha(y)=\max_{0\leqslant t\leqslant1} \vert y(t) \vert , \beta(y)=\max_{0\leqslant t\leqslant1} \vert D_{q}y(t) \vert$$, then we obtain $$\alpha(\lambda y)= \vert \lambda \vert \alpha(y), \beta(\lambda y)= \vert \lambda \vert \beta(y)$$, for $$y\in X, \lambda\in\mathbb{R}$$, $$\alpha(y_{1})\geqslant\alpha(y_{2})$$ for $$y_{1}, y_{2}\in P, y_{1}\leqslant y_{2}$$. For all $$y(t)\in C[0,1]\cap C^{1}[0,1]$$, define
$$Ty(t):= \int_{0}^{1}G(t,qs)f\bigl(s,y(s),D_{q}y(s) \bigr)\,d_{q}s.$$
For convenience, we introduce the following notations:
\begin{aligned} &N= \int_{0}^{1}G(1,qs)\,d_{q}s,\qquad Q= \int_{0}^{1}G(1,qs)a(s)\,d_{q}s,\\ & R= \frac{1}{16} \int_{\frac{1}{4}}^{\frac{3}{4}}G(1,qs)\,d_{q}s, \qquad W=2 \int_{0}^{1}\frac{(1-qs)^{(\alpha-2)}}{\Gamma_{q}(\alpha-1)}\,d_{q}s, \\ & \begin{aligned} \tau={}&\max_{0\leqslant t\leqslant1}\biggl( \int_{0}^{t}\frac{(t-qs)^{(\alpha-2)}}{\Gamma_{q}(\alpha-1)}\,d_{q}s + \int_{0}^{t}\frac{(t-qs)^{(\alpha-2)}}{\Gamma_{q}(\alpha-1)}\,d_{q}s \biggr) + \int_{0}^{1}\frac{(1-qs)^{(\alpha-2)}t^{\alpha-2}}{\Gamma_{q}(\alpha-1)}a(s)\,d_{q}s\\ &{}+ \int_{0}^{1}\frac{(1-qs)^{(\alpha-2)}t^{\alpha-2}}{\Gamma_{q}(\alpha-1)}a(s) \,d_{q}s. \end{aligned} \end{aligned}
In this section, we will give the existence results of a positive solution to the boundary value problem (1.1) on the basis of Lemma 3.1 and make the following assumptions:
(H0)
There exists a nonnegative function $$a(t)\in L(0,1)\cap C[0,1]$$ such that
$$\bigl\vert f(t,u,v) \bigr\vert \leqslant a(t)+\kappa_{1} \vert u \vert ^{\sigma_{1}}+\kappa_{2} \vert v \vert ^{\sigma_{2}} , \quad \kappa_{i}>0,0< \sigma_{i}< 1, i=1,2.$$
We also suppose that there exist $$L>b>\frac{1}{16}b>c>0$$ such that $$f(t,u,v)$$ satisfies the following conditions:
(H1)

$$f(t,u,v)< c/N$$ for $$(t,u,v)\in[0,1]\times[0,c]\times[-L,L]$$;

(H2)

$$f(t,u,v)\geqslant b/R$$ for $$(t,u,v)\in[0,1]\times[\frac{1}{16}b,b]\times[-L,L]$$;

(H3)

$$f(t,u,v)< L/W$$ for $$(t,u,v)\in[0,1]\times[0,b]\times[-L,L]$$.

### Lemma 3.1

Suppose that$$f(t,y,D_{q}y)$$is continuous on$$[0,1]\times[0,+\infty)\times\mathbb{R}$$. Then the mapping$$T: P\to P$$is completely continuous.

### Proof

In view of the expression of $$G(t,qs)$$, it is clear that $$Ty\in C[0,1]\cap C^{1}[0,1], Ty(t)\geqslant0$$, and $$Ty(t)$$ is continuous. Hence $$T : P\to P$$.

Next, we show that T is uniformly bounded. Let $$D\subset P$$ be bounded, i.e. there exists a real number $$L>0$$ such that $$\Vert y \Vert \leqslant L$$, for all $$y\in D$$. Let $$M=\max_{0\leqslant t\leqslant1,0\leqslant y\leqslant L,0\leqslant D_{q}y\leqslant L} \vert f(t,y, D_{q}y) \vert +1$$, then, for $$y\in D$$, from Lemma 2.3, on the one hand, one has
\begin{aligned} \bigl\vert Ty(t) \bigr\vert \leqslant& \int_{0}^{1} \bigl\vert G(t,qs)f \bigl(s,y(s),D_{q}y(s)\bigr) \bigr\vert \,d_{q}s \\ \leqslant&M \int_{0}^{1}G(1,qs)\,d_{q}s \\ \leqslant&2M \int_{0}^{1}\frac{(1-qs)^{(\alpha-2)}}{\Gamma_{q}(\alpha-1)}\,d_{q}s. \end{aligned}
On the other hand,
\begin{aligned} \bigl\vert {}_{t}D_{q}(Ty) (t) \bigr\vert =& \biggl\vert \int_{0}^{1}\frac{(1-qs)^{(\alpha-2)}t^{\alpha-2}}{\Gamma _{q}(\alpha-1)}f\bigl(s,y(s),D_{q}y(s) \bigr)\,d_{q}s\\ &{} - \int_{0}^{t}\frac{(t-qs)^{(\alpha-2)}}{\Gamma_{q}(\alpha -1)}f\bigl(s,y(s),D_{q}y(s) \bigr)\,d_{q}s \biggr\vert \\ \leqslant&M\biggl[ \int_{0}^{1}\frac{(1-qs)^{(\alpha-2)}t^{\alpha-2}}{\Gamma _{q}(\alpha-1)}\,d_{q}s + \int_{0}^{t}\frac{(t-qs)^{(\alpha-2)}}{\Gamma_{q}(\alpha-1)}\,d_{q}s \biggr] \\ \leqslant&2M \int_{0}^{1}\frac{(1-qs)^{(\alpha-2)}}{\Gamma_{q}(\alpha-1)}\,d_{q}s. \end{aligned}
Then we see that $$T(D)$$ is bounded.
Finally, we show that T is equi-continuous. For all $$\varepsilon>0, \exists\delta=\min\{\frac{1}{2}, \frac{\varepsilon\Gamma(\alpha-1)}{2M}\}>0$$, let $$t_{1}, t_{2}\in[0,1], t_{1}< t_{2}, y\in D$$, for $$0< t_{2}-t_{1}<\delta$$, we have
\begin{aligned} \bigl\vert Ty(t_{2})-Ty(t_{1}) \bigr\vert \leqslant& \int _{0}^{1} \bigl\vert G(t_{2},qs)-G(t_{1},qs) \bigr\vert \bigl\vert f\bigl(s,y(s),D_{q}y(s)\bigr) \bigr\vert \,d_{q}s \\ \leqslant&M\biggl[ \int_{0}^{t_{1}}\frac{(1-qs)^{(\alpha-2)}(t_{2}^{\alpha -1}-t_{1}^{\alpha-1})+(t_{1}-qs)^{(\alpha-1)}-(t_{2}-qs)^{(\alpha-1)}}{\Gamma _{q}(\alpha)}\,d_{q}s \\ &{}+ \int_{t_{1}}^{t_{2}}\frac{(1-qs)^{(\alpha-2)}(t_{2}^{\alpha-1}-t_{1}^{\alpha -1})-(t_{2}-qs)^{(\alpha-1)}}{\Gamma_{q}(\alpha)}\,d_{q}s \\ &{}+ \int_{t_{2}}^{1}\frac{(1-qs)^{(\alpha-2)}(t_{1}^{\alpha-1}-t_{2}^{\alpha -1})}{\Gamma_{q}(\alpha)}\,d_{q}s \biggr] \\ \leqslant&M\biggl[\frac{t_{2}^{\alpha-1}-t_{1}^{\alpha-1}}{\Gamma_{q}(\alpha)} \int _{0}^{1}(1-qs)^{(\alpha-2)} \,d_{q}s- \int_{0}^{t_{2}}\frac{(t_{2}-qs)^{(\alpha-1)}}{\Gamma_{q}(\alpha)}\,d_{q}s\\ &{}+ \int _{0}^{t_{1}}\frac{(t_{1}-qs)^{(\alpha-1)}}{\Gamma_{q}(\alpha)}\,d_{q}s \biggr]. \end{aligned}
Let $$\varphi(t)=\int_{0}^{t}(t-qs)^{(\alpha-1)}\,d_{q}s$$, since $${}_{t}D_{q}\varphi(t)=\int_{0}^{t}[\alpha-1]_{q}(t-qs)^{(\alpha-2)}\,d_{q}s\geqslant0$$, we have $$\varphi(t_{1})\leqslant\varphi(t_{2})$$. So we have
\begin{aligned} \bigl\vert Ty(t_{2})-Ty(t_{1}) \bigr\vert \leqslant& \frac{M}{\Gamma_{q}(\alpha)}\bigl(t_{2}^{\alpha-1}-t_{1}^{\alpha-1} \bigr). \end{aligned}
Since
\begin{aligned} &{}_{t}D_{q}\bigl({}_{t}D_{q}\bigl(Ty(t) \bigr)\bigr) \\ &\quad ={}_{t}D_{q}\biggl( \int_{0}^{1}\frac{(1-qs)^{(\alpha -2)}t^{\alpha-2}}{\Gamma_{q}(\alpha-1)}f\bigl(s,y(s),D_{q}y(s) \bigr)\,d_{q}s \\ &\qquad {}- \int_{0}^{t}\frac{(t-qs)^{(\alpha-2)}}{\Gamma_{q}(\alpha -1)}f\bigl(s,y(s),D_{q}y(s) \bigr)\,d_{q}s\biggr) \\ &\quad = \int_{0}^{1}\frac{(1-qs)^{(\alpha-2)}t^{\alpha-3}}{\Gamma_{q}(\alpha -2)}f\bigl(s,y(s),D_{q}y(s) \bigr)\,d_{q}s - \int_{0}^{t}\frac{(t-qs)^{(\alpha-3)}}{\Gamma_{q}(\alpha -2)}f\bigl(s,y(s),D_{q}y(s) \bigr)\,d_{q}s \\ &\quad \leqslant \int_{0}^{1}\frac{(1-qs)^{(\alpha-2)}t^{\alpha-3}}{\Gamma _{q}(\alpha-2)}f\bigl(s,y(s),D_{q}y(s) \bigr)\,d_{q}s - \int_{0}^{t}\frac{(t-tqs)^{(\alpha-3)}}{\Gamma_{q}(\alpha -2)}f\bigl(s,y(s),D_{q}y(s) \bigr)\,d_{q}s \\ &\quad \leqslant 0, \end{aligned}
we have
\begin{aligned} & \bigl\vert {}_{t}D_{q}(Ty) (t_{2})-{}_{t}D_{q}(Ty) (t_{1}) \bigr\vert \\ &\quad = \int_{0}^{1}\frac{(1-qs)^{(\alpha -2)}t_{1}^{\alpha-2}}{\Gamma_{q}(\alpha-1)}f\bigl(s,y(s),D_{q}y(s) \bigr)\,d_{q}s - \int_{0}^{t_{1}}\frac{(t_{1}-qs)^{(\alpha-2)}}{\Gamma_{q}(\alpha -1)}f\bigl(s,y(s),D_{q}y(s) \bigr)\,d_{q}s \\ &\qquad {}- \int_{0}^{1}\frac{(1-qs)^{(\alpha-2)}t_{2}^{\alpha-2}}{\Gamma_{q}(\alpha -1)}f\bigl(s,y(s),D_{q}y(s) \bigr)\,d_{q}s \\ &\qquad {}+ \int_{0}^{t_{2}}\frac{(t_{2}-qs)^{(\alpha-2)}}{\Gamma_{q}(\alpha -1)}f\bigl(s,y(s),D_{q}y(s) \bigr)\,d_{q}s| \\ &\quad \leqslant M\biggl[\frac{t_{1}^{\alpha-2}-t_{2}^{\alpha-2}}{\Gamma_{q}(\alpha -1)} \int_{0}^{1}(1-qs)^{(\alpha-2)} \,d_{q}s- \int_{0}^{t_{1}}\frac{(t_{1}-qs)^{(\alpha-2)}}{\Gamma_{q}(\alpha-1)}\,d_{q}s \\ &\qquad {}+ \int _{0}^{t_{2}}\frac{(t_{2}-qs)^{(\alpha-2)}}{\Gamma_{q}(\alpha-1)}\,d_{q}s \biggr] \\ &\quad =\frac{M}{\Gamma_{q}(\alpha-1)}\Biggl[\bigl(t_{1}^{\alpha-2}-t_{2}^{\alpha-2} \bigr) (1-q)\sum_{n=0}^{\infty} \bigl(1-q^{n+1}\bigr)^{(\alpha-2)}q^{n} \\ &\qquad {}- t_{1}(1-q)\sum_{n=0}^{\infty} \bigl(t_{1}-t_{1}q^{n+1}\bigr)^{(\alpha-2)}q^{n} +t_{2}(1-q)\sum_{n=0}^{\infty} \bigl(t_{2}-t_{2}q^{n+1}\bigr)^{(\alpha-2)}q^{n} \Biggr] \\ &\quad =\frac{M}{\Gamma_{q}(\alpha-1)}\bigl[\bigl(t_{2}^{(\alpha-1)}-t_{1}^{(\alpha -1)} \bigr)-\bigl(t_{2}^{(\alpha-2)}-t_{1}^{(\alpha-2)}\bigr) \bigr](1-q)\sum_{n=0}^{\infty } \bigl(1-q^{n+1}\bigr)^{(\alpha-2)}q^{n} \\ &\quad \leqslant \frac{M}{\Gamma_{q}(\alpha-1)}\bigl[\bigl(t_{2}^{(\alpha-1)}-t_{1}^{(\alpha -1)} \bigr)-\bigl(t_{2}^{(\alpha-2)}-t_{1}^{(\alpha-2)}\bigr) \bigr] \\ &\quad \leqslant \frac{M}{\Gamma_{q}(\alpha-1)}\bigl(t_{2}^{(\alpha-1)}-t_{1}^{(\alpha-1)} \bigr). \end{aligned}

Case 1: for $$0\leqslant t_{1}<\delta, \delta\leqslant t_{2}<2\delta$$, $$t_{2}^{\alpha-1}-t_{1}^{\alpha-1}\leqslant t_{2}^{\alpha-1}< (2\delta)^{\alpha-1}<2\delta$$.

Case 2: for $$0\leqslant t_{1}< t_{2}\leqslant\delta$$, $$t_{2}^{\alpha-1}-t_{1}^{\alpha-1}\leqslant t_{2}^{\alpha-1}< \delta^{\alpha-1}=\delta\cdot\delta^{\alpha-2}<2\delta$$.

Case 3: for $$\delta\leqslant t_{1}< t_{2}\leqslant1$$, by means of differential mean value theorem, we get $$t_{2}^{\alpha-1}-t_{1}^{\alpha-1}\leqslant(\alpha-1)(t_{2}-t_{1}) \leqslant2\delta$$.

Hence, we obtain
\begin{aligned} & \bigl\vert Ty(t_{2})-Ty(t_{1}) \bigr\vert < \frac{2M\delta}{\Gamma_{q}(\alpha)}< \varepsilon, \\ & \bigl\vert {}_{t}D_{q}(Ty) (t_{2})-{}_{t}D_{q}(Ty) (t_{1}) \bigr\vert < \frac{2M\delta}{\Gamma_{q}(\alpha -1)}< \varepsilon. \end{aligned}
In view of the Arzela–Ascoli theorem, it is easy to see that $$T: P\to P$$ is completely continuous. □

### Theorem 3.1

Suppose$$f: [0,1]\times[0,+\infty)\times{\mathbb{R}}\to[0,+\infty)$$is continuous, andfsatisfies ($$\mathrm{H}_{0}$$). Then problem (1.1) has one positive solution.

### Proof

Let $$\overline{P_{a}}=\{u: u\in P, \Vert u \Vert \leqslant a\}$$, where $$a\geqslant\max\{(8\kappa_{1}\tau)^{\frac{1}{1-\sigma_{1}}}, (8\kappa_{1}N)^{\frac{1}{1-\sigma_{1}}}, (8\kappa_{2}\tau)^{\frac{1}{1-\sigma _{2}}}, (8\kappa_{2}N)^{\frac{1}{1-\sigma_{2}}}, 4\tau,4Q\}$$. In the following, we show that $$T: \overline{P_{a}}\to\overline{P_{a}}$$. If $$y\in\overline{P_{a}}$$, it follows that
\begin{aligned} &0\leqslant y(t)\leqslant\max_{0\leqslant t\leqslant1} \bigl\vert y(t) \bigr\vert \leqslant \Vert y \Vert \leqslant a, \\ &0\leqslant D_{q}y(t)\leqslant\max_{0\leqslant t\leqslant 1} \bigl\vert D_{q}y(t) \bigr\vert \leqslant \Vert y \Vert \leqslant a. \end{aligned}
Thus
$$\bigl\vert f(t,y,D_{q}y) \bigr\vert \leqslant a(t)+ \kappa_{1} \vert a \vert ^{\sigma_{1}}+\kappa_{2} \vert a \vert ^{\sigma_{2}} ,\quad \kappa_{i}>0,0< \sigma_{i}< 1, i=1,2.$$
Further, we have
\begin{aligned} \bigl\vert Ty(t) \bigr\vert \leqslant& \int_{0}^{1} \bigl\vert G(t,qs)f \bigl(s,y(s),D_{q}y(s)\bigr) \bigr\vert \,d_{q}s \\ \leqslant&\bigl(\kappa_{1} \vert a \vert ^{\sigma_{1}}+ \kappa_{2} \vert a \vert ^{\sigma_{2}}\bigr) \int_{0}^{1}G(1,qs)\,d_{q}s + \int_{0}^{1}G(1,qs)a(s)\,d_{q}s \end{aligned}
and
\begin{aligned} \bigl\vert {}_{t}D_{q}(Ty) (t) \bigr\vert =& \biggl\vert \int_{0}^{1}\frac{(1-qs)^{(\alpha-2)}t^{\alpha-2}}{\Gamma _{q}(\alpha-1)}f\bigl(s,y(s),D_{q}y(s) \bigr)\,d_{q}s\\ &{} - \int_{0}^{t}\frac{(t-qs)^{(\alpha-2)}}{\Gamma_{q}(\alpha -1)}f\bigl(s,y(s),D_{q}y(s) \bigr)\,d_{q}s \biggr\vert \\ \leqslant&\bigl(\kappa_{1} \vert a \vert ^{\sigma_{1}}+ \kappa_{2} \vert a \vert ^{\sigma_{2}}\bigr) \biggl( \int_{0}^{1}\frac {(1-qs)^{(\alpha-2)}t^{\alpha-2}}{\Gamma_{q}(\alpha-1)}\,d_{q}s+ \int_{0}^{t}\frac{(t-qs)^{(\alpha-2)}}{\Gamma_{q}(\alpha-1)}\,d_{q}s \biggr) \\ &{}+ \int_{0}^{1}\frac{(1-qs)^{(\alpha-2)}t^{\alpha-2}}{\Gamma_{q}(\alpha-1)}a(s) \,d_{q}s+ \int_{0}^{t}\frac{(t-qs)^{(\alpha-2)}}{\Gamma_{q}(\alpha-1)}a(s)\,d_{q}s . \end{aligned}
Furthermore,
\begin{aligned} \Vert Ty \Vert =&\bigl[ \Vert Ty \Vert _{0}^{2}+ \bigl\Vert D_{q}(Ty) \bigr\Vert _{0}^{2} \bigr]^{\frac {1}{2}}\leqslant\max_{0\leqslant t\leqslant1} \bigl\vert y(t) \bigr\vert +\max_{0\leqslant t\leqslant1} \bigl\vert D_{q}y(t) \bigr\vert \\ \leqslant&\bigl(\kappa_{1} \vert a \vert ^{\sigma_{1}}+\kappa _{2} \vert a \vert ^{\sigma_{2}}\bigr) (\tau+N)+\tau+Q \\ \leqslant&\frac{a}{2}+\frac{a}{4}+\frac{a}{4}=a. \end{aligned}

Therefore, $$T: \overline{P_{a}}\to\overline{P_{a}}$$. By Lemma 3.1, $$T: \overline{P_{a}}\to\overline{P_{a}}$$ is completely continuous. According to Schauder’s fixed point theorem, problem (1.1) has one solution.

In the following theorem, we need to note that
\begin{aligned} &\hat{f}(t,u,v)= \textstyle\begin{cases} f(t,u,v),& (t,u,v)\in[0,1]\times[0,b]\times(-\infty,\infty);\\ f(t,b,v),& (t,u,v)\in[0,1]\times(b,+\infty)\times(-\infty,\infty), \end{cases}\displaystyle \\ &f^{*}(t,u,v)= \textstyle\begin{cases} \hat{f}(t,u,v),& (t,u,v)\in[0,1]\times[0,+\infty)\times[-L,L];\\ \hat{f}(t,u,-L),& (t,u,v)\in[0,1]\times[0,+\infty)\times(-\infty ,-L]);\\ \hat{f}(t,u,L),& (t,u,v)\in[0,1]\times[0,+\infty)\times[L,+\infty). \end{cases}\displaystyle \end{aligned}
Then $$f^{*}\in C([0,1]\times[0,+\infty|\times\mathbb{R},\mathbb{R}^{+}))$$. Define
$$(Ty) (t)= \int_{0}^{1}G(t,qs)f^{*}\bigl(s,y(s), D_{q}u(s)\bigr)\,d_{q}s.$$
□

### Theorem 3.2

Supposefis continuous on$$[0,1]\times[0,+\infty)\times\mathbb{R}$$and satisfies ($$\mathrm{H}_{1}$$)($$\mathrm{H}_{3}$$). Then problem (1.1) has at least one positive solution$$y(t)$$satisfying
$$c< \alpha(y)< b,\quad \bigl\vert D_{q}y(t) \bigr\vert < L.$$

### Proof

Let $$\Omega_{1}=\{y\in X: |y(t)|< c, |D_{q}y(t)|< L\}, \Omega_{2}=\{y\in X: |y(t)|< b, |D_{q}y(t)|< L\}$$ and $$D_{1}=\{y\in X: \alpha(y)=c\}, D_{2}=\{y\in X: \alpha(y)=b\}$$. By Lemma 3.1, we have proved $$T: P\to P$$ is completely continuous. Furthermore, we will show ($$\mathrm{C}_{1}$$)–($$\mathrm{C}_{3}$$) of Lemma 2.4.

At first, by means of ($$\mathrm{H}_{1}$$) and $$y\in D_{1}\cap P$$, we obtain
$$\alpha(Ty)=\max_{0\leqslant t\leqslant1} \biggl\vert \int_{0}^{1}G(t,qs)f^{*}\bigl(s,y(s), D_{q}u(s)\bigr)\,d_{q}s \biggr\vert \leqslant \frac{c}{N} \int_{0}^{1}G(1,qs)\,d_{q}s=c;$$
by means of ($$\mathrm{H}_{2}$$) and $$y\in D_{1}\cap P$$, we obtain
\begin{aligned} \alpha(Ty) =&\max_{0\leqslant t\leqslant1} \biggl\vert \int_{0}^{1}G(t,qs)f^{*}\bigl(s,y(s), D_{q}u(s)\bigr)\,d_{q}s \biggr\vert \\ >&\max_{0\leqslant t\leqslant1} \biggl\vert \int_{\frac{1}{4}}^{\frac{3}{4}}G(t,qs)\frac{b}{R} \,d_{q}s \biggr\vert \\ \geqslant&\biggl(\frac{1}{4}\biggr)^{\alpha-1} \int_{\frac{1}{4}}^{\frac {3}{4}}G(1,qs)\frac{b}{R} \,d_{q}s \\ \geqslant&\frac{1}{16} \int_{\frac{1}{4}}^{\frac{3}{4}}G(1,qs)\frac{b}{R} \,d_{q}s=b. \end{aligned}
Secondly, by means of ($$\mathrm{H}_{3}$$) and $$y\in\Omega_{2}\cap P$$, we obtain
\begin{aligned} \beta(Ty) =&\max_{0\leqslant t\leqslant1} \biggl\vert \int_{0}^{1}\frac{(1-qs)^{(\alpha-2)}t^{\alpha-2}}{\Gamma _{q}(\alpha-1)}f^{*} \bigl(s,y(s),D_{q}y(s)\bigr)\,d_{q}s\\ &{} - \int_{0}^{t}\frac{(t-qs)^{(\alpha-2)}}{\Gamma_{q}(\alpha -1)}f^{*} \bigl(s,y(s),D_{q}y(s)\bigr)\,d_{q}s \biggr\vert \\ < &2 \int_{0}^{1}\frac{(1-qs)^{(\alpha-2)}}{\Gamma_{q}(\alpha-1)}\frac{L}{W} \,d_{q}s=L. \end{aligned}

Finally, it is easy to see that there exists a nonnegative function $$p\in(\Omega_{2}\cap P)\setminus\{0\}$$ such that $$\alpha(y+\lambda p)\geqslant\alpha(y)$$ for any $$y\in P$$ and $$\lambda\geqslant0$$.

As a result, by Lemma 2.4, we find that T has a fixed point y in $$(\Omega_{2}\setminus\bar{\Omega}_{1})\cap P$$, that is, problem (1.1) has at least one positive solution $$y(t)$$ satisfying
$$c< \alpha(y)< b,\qquad \bigl\vert D_{q}y(t) \bigr\vert < L.$$
□

## 4 Example

### Example 4.1

Consider the following boundary value problem:
$$\textstyle\begin{cases} -(D^{\frac{5}{2}}_{\frac{1}{4}}y)(t)=t^{2}+(y(t)+D_{\frac {1}{4}}y(t))^{\frac{1}{2}},& 0< t< 1,\\ y(0)=(D_{\frac{1}{4}}y)(0)=(D_{\frac{1}{4}}y)(1)=0. \end{cases}$$
(4.1)

By Theorem 3.1, it is easy to see that problem (4.1) has one positive solution.

### Example 4.2

Consider the following boundary value problem:
$$\textstyle\begin{cases} -(D^{\frac{5}{2}}_{\frac{1}{4}}y)(t)=\sin t+y(t)+(D_{\frac {1}{4}}y(t))^{\frac{1}{2}},& 0< t< 1,\\ y(0)=(D_{\frac{1}{4}}y)(0)=(D_{\frac{1}{4}}y)(1)=0. \end{cases}$$
(4.2)
Let $$f(t,y(t),D_{\frac{1}{4}}y(t))=\sin t+y(t)+(D_{\frac{1}{4}}y(t))^{\frac{1}{2}}$$. If $$f(t,y(t),D_{\frac{1}{4}}y(t))$$ satisfies the following conditions:
($$\mathrm{H}_{1}$$)

$$f(t,y(t),D_{\frac{1}{4}}y(t))<1/4N$$ for $$(t,y(t),D_{\frac{1}{4}}y(t))\in[0,1]\times[0,\frac{1}{4}]\times[-10^{3},10^{3}]$$;

($$\mathrm{H}_{2}$$)

$$f(t,y(t),D_{\frac{1}{4}}y(t))\geqslant160/R$$ for $$(t,y(t),D_{\frac{1}{4}}y(t))\in[0,1]\times[10,160]\times[-10^{3},10^{3}]$$;

($$\mathrm{H}_{3}$$)

$$f(t,y(t),D_{\frac{1}{4}}y(t))<10^{3}/W$$ for $$(t,y(t),D_{\frac{1}{4}}y(t))\in[0,1]\times[0,160]\times[-10^{3},10^{3}]$$,

where
\begin{aligned} &G\biggl(1,\frac{1}{4}s\biggr)=\frac{(1-\frac{1}{4}s)^{(\frac{1}{2})}-(1-\frac {1}{4}s)^{(\frac{3}{2})}}{\Gamma_{\frac{1}{4}}(\frac{5}{2})},\qquad N= \int_{0}^{1}G\biggl(1,\frac{1}{4}s \biggr)d_{\frac{1}{4}}s,\\ & R=\frac{1}{16} \int_{\frac{1}{4}}^{\frac{3}{4}}G\biggl(1,\frac{1}{4}s \biggr)d_{\frac{1}{4}}s, \qquad W=2 \int_{0}^{1}\frac{(1-\frac{1}{4}s)^{(\alpha-2)}}{\Gamma_{\frac {1}{4}}(\alpha-1)}d_{\frac{1}{4}}s, \end{aligned}
then problem (4.2) has one positive solutions $$y(t)$$ satisfying
$$\frac{1}{4}< \alpha(y)< 160,\qquad \bigl\vert D_{q}y(t) \bigr\vert < 10^{3}$$
by Theorem 3.2.

## Notes

### Acknowledgements

The authors are very grateful to the reviewers for their valuable suggestions and useful comments, which led to an improvement of this paper. The research was supported by a grant from of the National Natural Science Foundation of China (No. 11271235), the Foundation of Shanxi Datong University (2014Q10) and “131” talent project at Shanxi province (221).

### Authors’ contributions

All four authors read and approved the final manuscript.

### Competing interests

The authors declare that they have no competing interests.

## References

1. 1.
Jackson, F.H.: On q-functions and a certain difference operator. Trans. R. Soc. Edinb. 46, 253–281 (1908)
2. 2.
Guo, D.J., Lakshmikantham, V.: Nonlinear Problems in Abstract Cones. Academic Press, Boston (1988)
3. 3.
Al-Salam, W.A.: Some fractional q-integrals and q-derivatives. Proc. Edinb. Math. Soc. 15(2), 135–140 (1966/1967) Google Scholar
4. 4.
Bohner, M., Chieochan, R.: Floquet theory for q-difference equations. Sarajevo J. Math. 21(8), 355–366 (2012)
5. 5.
Tariboon, J., Ntouyas, S.K., Agarwal, P.: New concepts of fractional quantum calculus and applications to impulsive fractional q-difference equations. Adv. Differ. Equ. 2015, 18 (2015)
6. 6.
Ahmad, B., Ntouyas, S.K., Tariboon, J., Alsaedi, A., Alsulami, H.H.: Impulsive fractional q-integro-difference equations with separated boundary conditions. Appl. Math. Comput. 281, 199–213 (2016)
7. 7.
Ferreira, R.A.C.: Positive solutions for a class of boundary value problems with fractional q-differences. Appl. Math. Comput. 61, 367–373 (2011)
8. 8.
Ferreira, R.A.C.: Nontrivial solutions for fractional q-difference boundary value problems. Electron. J. Qual. Theory Differ. Equ. 2010, 70 (2010)
9. 9.
Liang, S., Zhang, J.H.: Existence and uniqueness of positive solutions for three-point boundary value problem with fractional q-differences. J. Appl. Math. Comput. 40, 277–288 (2012)
10. 10.
Ahmad, B., Ntouyas, S.K., Purnaras, I.K.: Existence results for nonlocal boundary value problems of nonlinear fractional q-difference equations. Adv. Differ. Equ. 2012, 140 (2012)
11. 11.
Ahmad, B., Ntouyas, S.K.: Existence of solutions for nonlinear fractional q-difference inclusions with nonlocal Robin (separated) conditions. Mediterr. J. Math. 10, 1333–1351 (2013)
12. 12.
Thiramanus, P., Tariboon, J.: Nonlinear second-order q-difference equations with three-point boundary conditions. Comput. Appl. Math. 33, 385–397 (2014)
13. 13.
Zhou, W.X., Liu, H.Z.: Existence solutions for boundary value problem of nonlinear fractional q-difference equations. Adv. Differ. Equ. 2013, 113 (2013)
14. 14.
Yu, C.L., Wang, J.F.: Existence of solutions for nonlinear second-order q-difference equations with first-order q-derivatives. Adv. Differ. Equ. 2013, 124 (2013)
15. 15.
Zhao, Y.L., Chen, H.B., Zhang, Q.M.: Existence and multiplicity of positive solutions for nonhomogeneous boundary value problems with fractional q-derivatives. Bound. Value Probl. 2013, 103 (2013)
16. 16.
Yu, C.L., Wang, J.F.: Eigenvalue of boundary value problem for nonlinear singular third-order q-difference equations. Adv. Differ. Equ. 2014, 21 (2014)
17. 17.
Li, X.H., Han, Z.L., Sun, S.R., Zhao, P.: Existence of solutions for fractional q-difference equation with mixed nonlinear boundary conditions. Adv. Differ. Equ. 2014, 326 (2014)
18. 18.
Zhao, Q.B., Yang, W.G.: Positive solutions for singular coupled integral boundary value problems of nonlinear higher-order fractional q-difference equations. Adv. Differ. Equ. 2015, 290 (2015)
19. 19.
Jiang, M., Zhong, S.M.: Existence of extremal solutions for a nonlinear fractional q-difference system. Mediterr. J. Math. 13, 279–299 (2016)
20. 20.
Zhai, C.B., Ren, J.: Positive and negative solutions of a boundary value problem for a fractional q-difference equation. Adv. Differ. Equ. 2017, 82 (2017)
21. 21.
Sitthiwirattham, T.: On a fractional q-integral boundary value problems for fractional q-difference equations and fractional q-integrodifference equations involving different numbers of order q. Bound. Value Probl. 2016, 12 (2016)
22. 22.
Patanarapeelert, N., Sriphanomwan, U., Sitthiwirattham, T.: On a class of sequential fractional q-integrodifference boundary value problems involving different numbers of q in derivatives and integrals. Adv. Differ. Equ. 2016, 148 (2016)
23. 23.
Kac, V., Cheung, P.: Quantum Calculus. Springer, New York (2002)
24. 24.
Agarwal, R.P.: Certain fractional q-integrals and q-derivatives. Proc. Camb. Philos. Soc. 66, 365–370 (1969)
25. 25.
Rajković, P.M., Marinković, S.D., Stanković, M.S.: Fractional integrals and derivatives in q-calculus. Appl. Anal. Discrete Math. 1(1), 311–323 (2007)
26. 26.
Ferreira, R.A.C.: Nontrivial solutions for fractional q-difference boundary value problems. Electron. J. Qual. Theory Differ. Equ. 70, 10 (2010)
27. 27.
Guo, Y., Ge, W.: Positive solutions for three-point boundary value problems with dependence on the first order derivative. J. Math. Anal. Appl. 290, 291–301 (2004)

© The Author(s) 2018

## Authors and Affiliations

• Caixia Guo
• 1
• Jianmin Guo
• 1
• Ying Gao
• 1
• Shugui Kang
• 1
1. 1.School of Mathematics and Computer SciencesShanxi Datong UniversityDatongPeople’s Republic of China