Skip to main content

Existence and uniqueness of solutions for mixed fractional q-difference boundary value problems


In this paper, we investigate the existence and uniqueness of solutions for mixed fractional q-difference boundary value problems involving the Riemann–Liouville and the Caputo fractional derivative. By using the Guo–Krasnoselskii fixed point theorem and Banach contraction mapping principle as well as Schaefer’s fixed point theorem, we obtain the main results. In addition, several examples are given to illustrate the main results.

1 Introduction

In recent years, the theory of fractional differential equations has become an important aspect of differential equations; see [1,2,3,4,5,6,7,8]. Fractional differential equations can describe many phenomena in various fields of science and engineering, such as physics, mechanics, chemistry, control engineering, etc. For an extensive collection of such results, we refer to the monographs by Kilbas et al. [1], Podlubny [2] and Samko et al. [9].

In 2011, Zhao and Sun et al. [10] studied the existence of positive solutions for the nonlinear fractional differential equation boundary value problem

$$ \begin{aligned} &D_{0^{+}}^{\alpha} u(t)=\lambda f \bigl(u(t)\bigr), \quad0< t< 1, \\ & u(0)+u'(0)=0, \qquad u(1)+u'(1)=0, \end{aligned} $$

where \(1<\alpha\leq2\) is a real number, \(D_{0^{+}}^{\alpha}\) is the Caputo fractional derivative, \(\lambda>0\) and \(f:[0,+\infty)\rightarrow(0,+\infty)\) is continuous, by using the properties of the Green function and Guo–Krasnoselskii fixed point theorem on cones, the eigenvalue intervals of the nonlinear fractional differential equation boundary value problem are considered, some sufficient conditions for the nonexistence and existence of at least one or two positive solutions for the boundary value problems are established.

In 2011, Feng and Sun et al. [11] discussed the boundary value problem to the following system of fractional differential equations:

$$ \begin{aligned} &D_{0^{+}}^{\alpha} u(t)+f\bigl(t, v(t) \bigr)=0, \quad0< t< 1, \\ &D_{0^{+}}^{\beta} v(t)+f\bigl(t, u(t)\bigr)=0, \quad0< t< 1, \\ &u(0)=u(1)=u'(0)=v(0)=v(1)=v'(0)=0, \end{aligned} $$

where \(2<\alpha, \beta\leq3\) and \(f,g :[0,+\infty)\times\mathbb {R}\rightarrow\mathbb{R}\) are continuous functions, \(\lim _{t\rightarrow0^{+}}f(t,\cdot)=+\infty\), \(\lim _{t\rightarrow0^{+}}g(t,\cdot)=+\infty\) and \(D_{0^{+}}^{\alpha}\), \(D_{0^{+}}^{\beta}\) are both Riemann–Liouville type, by using Green’s function and its corresponding properties, the authors transform the derivative systems into equivalent integral systems. The existence is based on a nonlinear alternative of Leray–Schauder type and Krasnoseskii’s fixed point theorem in cones.

For more information about boundary value problems of fractional differential equations; see [12,13,14,15].

More recently, an attempt has been made to develop a discrete fractional calculus, and some results (in various directions) are already available in the literature; see [16,17,18,19,20,21].

The q-difference calculus or quantum calculus is an old subject that was initially developed by Jackson [22]. It is rich in history and applications as the reader can confirm in the work by Ernst [23].

In 2014, Li, Han, and Sun et al. [24] investigated the following boundary value problems for fractional q-difference equations with nonlocal conditions:

$$ \begin{aligned} &\bigl({}^{c} D_{q}^{\alpha} x\bigr) (t)+f\bigl(t,{}^{c} D_{q}^{\sigma} x(t)\bigr)=0, \quad 0< t< 1, \\ & x(0)=y(x), \quad \gamma(D_{q} x) (1)-\beta D_{q}^{2} x(1)=0, \end{aligned} $$

where \(0< q<1\), \(1<\alpha<2\), \(0<\sigma<1\), \(\beta, \gamma\geq0\), and \(\frac{(1-t)^{(\alpha-2)}}{(1-t)^{(\alpha-3)}}\geq\frac{[\alpha ]_{q}\beta}{\gamma}\), \(f: C((0,1)\times\mathbb{R})\) and y is a continuous functional.

In 2015, Li and Han et al. [25] considered the following fractional q-difference equation:

$$ \begin{aligned} \bigl(D_{q}^{\alpha} u\bigr) (t)+ \lambda h(t)f\bigl(u(t)\bigr)=0, \quad0< t< 1, \end{aligned} $$

subjected to

$$u(0)=D_{q} u(0)=D_{q} u(1)=0, $$

where \(0< q<1\), \(2<\alpha<3\), \(f:C([0,\infty),(0,\infty))\), \(h:C((0,1),(0,\infty))\), the author prove the existence of positive solutions for the above boundary value problems by utilizing a fixed point theorem in cone. Several existence results for positive solutions in terms of different values of the parameter λ are obtained. Motivated by the above papers, we study the following equations:

$$ \begin{aligned} D_{q}^{\alpha} u(t)+f \bigl(t,u(t)\bigr)=0, \quad0< t< 1, \end{aligned} $$

subject to the boundary conditions

$$ \begin{aligned} u(0)={{}^{c}} D_{q}^{\beta}u(0)={{}^{c}} D_{q}^{\beta}u(1)=0, \end{aligned} $$

where \(0<\beta\leq1\), \(2<\alpha\leq2+\beta\), \(D_{q}^{\alpha}\), \({{}^{c}}D_{q}^{\beta}\) are the Riemann–Liouville fractional q-derivative and Caputo fractional q-derivative of order α, β, and \(f:[0,1]\times\mathbb{R}\rightarrow\mathbb{R}\) is a continuous function.

As far as we know, most of the papers studied the fractional q-difference using a single-derivative (Riemann–Liouville or Caputo derivative), in this paper, we consider the existence and uniqueness of the solution to the fractional q-difference boundary value problem of mixed derivative (Riemann–Liouville and Caputo derivative), because of the Caputo derivative with respect to constant is zero, however, the Riemann–Liouville derivative with respect to constant is not zero, which adds to the difficulty of research, especially to the computational difficulties.

The paper is arranged as follows. In Sect. 2, we introduce some basic knowledge and a definition of q-fractional integral together with some basic lemmas, which are necessary for the main results. In Sect. 3, we derive some useful main results. In Sect. 4, we present several examples to illustrate our main results.

2 Basic definitions and preliminaries

In this section, we list some useful definitions and preliminaries, which are useful for the proof of the main results.

For \(q\in(0,1)\), we define

$$[a]_{q}=\frac{1-q^{a}}{1-q}, \quad a\in\mathbb{R}. $$

The q-analogue of the power function \((a-b)^{k}\) with \(k\in\mathbb {N}_{0}: =\{0,1,2,\ldots\}\) is

$$(a-b)^{0}=1, \qquad(a-b)^{(k)}=\prod _{i=0}^{k-1}\bigl(a-bq^{i}\bigr), \quad k\in \mathbb{N}, a,b\in\mathbb{R}. $$

More generally, if \(\gamma\in\mathbb{R}\), then

$$(a-b)^{(\gamma)}=a^{\gamma} \prod_{i=0}^{\infty} \frac {a-bq^{i}}{a-bq^{i+r}},\quad a\neq0. $$

Note if \(b=0\), then \(a^{(\gamma)}=a^{\gamma}\). We also use the notation \(0^{(\gamma)}=0\) for \(\gamma\geq0\).

The definition of the q-Gamma is

$$\varGamma_{q}(x)=\frac{(1-q)^{(x-1)}}{(1-q)^{x-1}}, \quad x\in\mathbb {R}\backslash \{0,-1,-2\cdots\}, $$

then \(\varGamma_{q}(x+1)=[x]_{q}\varGamma_{q}(x)\).

For \(\forall x, y>0\), \(B_{q}(x,y)=\int_{0}^{1} t^{x-1}(1-qt)^{(y-1)} \,d_{q}t\), especially, \(B_{q}(x,y)=\frac{\varGamma_{q}(x)\varGamma _{q}(y)}{\varGamma_{q}(x+y)}\). 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 q-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. $$

Definition 2.1


Let \(\alpha\geq0 \) and f be a real function defined on a certain interval \([a,b]\). The Riemann–Liouville fractional q-integral of order α is defined by

$$ \begin{aligned} &\bigl(I_{q}^{0} f\bigr) (t)=f(t), \\ &\bigl(I_{q}^{\alpha} f\bigr) (t)=\frac{1}{\varGamma_{q}{(\alpha)}} \int_{0}^{t} (t-qs)^{(\alpha-1)}f(s)\,d_{q}s, \quad\alpha>0, t\in[a,b]. \end{aligned} $$

Definition 2.2


The fractional q-derivative of the Riemann–Liouville type of order \(\alpha\geq0\) of a continuous and differential function f is given by

$$ \begin{aligned} &\bigl(D_{q}^{0} f \bigr) (t)=f(t), \quad t\in[a,b], \\ &\bigl(D_{q}^{\alpha} f\bigr) (t)=\bigl(D_{q}^{l} I_{q}^{l-\alpha} f\bigr) (t), \quad \alpha>0, t\in[a,b], \end{aligned} $$

where l is the smallest integer greater than or equal to α.

Definition 2.3


Let \(\alpha\geq0\), and the Caputo fractional q-derivatives of f be defined by

$$\bigl({}^{c}D_{q}^{\alpha} f\bigr) (x)= \bigl(I_{q}^{\lceil\alpha\rceil-\alpha }D_{q}^{\lceil\alpha\rceil} f\bigr) (x), $$

where \(\lceil \alpha\rceil\) is the smallest integer greater than or equal α.

If \(f(x)=x^{\beta-1}\), \(\beta\notin\mathbb{N}\). Then according to [27], we know that

$${}^{c}D_{q}^{\alpha} f(x)=\frac{\varGamma_{q}(\beta)}{\varGamma_{q}(\beta -\alpha)}x^{\beta-\alpha-1}. $$

Lemma 2.1


Let \(\alpha, \beta\geq0\) and \(f:[a,b]\rightarrow\mathbb{R}\) be a continuous function defined on [a,b] and its derivative exist. Then the following formulas hold:

$$ \begin{aligned} &D_{q}^{\alpha}\bigl(I_{q}^{\alpha} f\bigr) (t)=f(t), \\ &{I_{q}^{\alpha}} {I_{q}^{\beta}}f(t)= {I_{q}^{\alpha+\beta}} f(t). \end{aligned} $$

Lemma 2.2


Let \(f:[a,b]\rightarrow\mathbb {R}\) be differentiable, p be a positive integer. Then the following equality holds:

$$ \begin{aligned} &{I_{q}^{\alpha}} {D_{q}^{p}} f(t)={D_{q}^{p}} {I_{q}^{\alpha}} f(t)-\sum_{k=0}^{p-1} \frac{t^{\alpha-p+k}}{\varGamma_{q}(\alpha -p+k+1)}\bigl(D_{q}^{k}f\bigr) (0),\quad t\in[a,b]. \end{aligned} $$

Theorem 2.1


Let X be a Banach space and let \(P\subset X\) be a cone. Assume \(\varOmega_{1}\) and \(\varOmega_{2}\) are bounded open subsets of X with \(0\in\varOmega _{1}\subset\overline{\varOmega_{1}}\subset\varOmega_{2}\) and let \(T: P\cap(\overline{\varOmega_{2}}\setminus\varOmega _{1})\rightarrow P \) be a completely continuous operator such that

  1. (1)

    \(\Vert Tu \Vert\geq\Vert u \Vert\) for any \(u\in P\cap {\partial\varOmega_{1}}\) and \(\Vert Tu \Vert\leq \Vert u \Vert\) for any \(u\in P\cap {\partial\varOmega_{2}}\) or

  2. (2)

    \(\Vert Tu \Vert\leq \Vert u \Vert\) for any \(u\in P\cap {\partial\varOmega_{1}}\) and \(\Vert Tu \Vert\geq\Vert u \Vert\) for any \(u\in P\cap{\partial \varOmega_{2}}\).

Then T has a fixed point in \(P\cap(\overline{\varOmega_{2}}\setminus \varOmega_{1})\).

Lemma 2.3


Let B be a Banach space with \(C\subseteq B\) closed and convex. Assume U is a relatively open subset of C with \(0\in U\) and \(T: \overline{U}\rightarrow C \) is a continuous, compact map. Then either

  1. (1)

    T has a fixed point in ; or

  2. (2)

    there exist \(U\in\partial U\) and \(\lambda\in(0,1)\) with \(U=\lambda TU\).

3 Main results

Consider the following fractional q-difference equation:

$$ \begin{aligned} &D_{q}^{\alpha} u(t)+h(t)=0, \quad0< t< 1, \\ & u(0)={{}^{c}} D_{q}^{\beta}u(0)={{}^{c}} D_{q}^{\beta}u(1)=0, \end{aligned} $$

where h is a continuous function.

At first, we need an integral representation of the solution to problem (3.1).

Lemma 3.1

Function \(u\in[0,1]\) is a solution to (3.1) if and only if u is a solution to the integral equation

$$ \begin{aligned} &u(t)= \int_{0}^{1} G(t,qs)h(s)\,d_{q}s, \quad t \in[0,1], \end{aligned} $$

in which \(G(t,qs)\), the Green function linked to (3.1), is given by

$$ \begin{aligned} G(t,qs)=\frac{1}{\varGamma_{q} (\alpha)} \textstyle\begin{cases} (1-qs)^{(\alpha-\beta-1)} t^{\alpha-1}-(t-qs)^{(\alpha-1)}, & 0\leq qs\leq t\leq1, \\ (1-qs)^{(\alpha-\beta-1)} t^{\alpha-1}, & 0\leq t \leq qs \leq1. \end{cases}\displaystyle \end{aligned} $$


At first, we prove the necessity, from (3.1), we can see that

$$\bigl(D_{q}^{\alpha}u\bigr) (t)=- h(t). $$

Integrating the two sides of the equation, we obtain

$$\bigl(I_{q}^{\alpha}D_{q}^{\alpha} u\bigr) (t)=-I_{q}^{\alpha}h(t). $$

Then according to Definition 2.2, we know

$$\bigl(I_{q}^{\alpha}D_{q}^{3}I_{q}^{3-\alpha} u\bigr) (t)=-I_{q}^{\alpha}h(t). $$

Finally, by making use of Lemmas 2.1 and 2.2 with \(p=3\), we derive that

$$\bigl(D_{q}^{3}I_{q}^{\alpha}I_{q}^{3-\alpha}u \bigr) (t)=C_{1}t^{\alpha-1} +C_{2}t^{\alpha-2}+C_{3}t^{\alpha-3}-I_{q}^{\alpha}h(t), $$

i.e. the general solution to (3.1) is

$$ \begin{aligned} u(t)&=C_{1}t^{\alpha-1}+C_{2}t^{\alpha-2}+C_{3}t^{\alpha-3} -\frac{1}{\varGamma_{q}(\alpha)} \int_{0}^{t}(t-qs)^{(\alpha-1)} h(s)\,d_{q}s, \end{aligned} $$

in which \(C_{1}\), \(C_{2}\), \(C_{3}\) are real constants. According to the boundary value conditions \(u(0)=0\), we can know that \(C_{3}=0\). Taking the β-order of Caputo q-derivative of \(u(t)\), we get

$$ \begin{aligned} {}^{c}D_{q}^{\beta} u(t)&=- \frac{1}{\varGamma_{q}(\alpha-\beta)} \int _{0}^{t} (t-qs)^{(\alpha-\beta-1)}h(s)\,d_{q}s+ \frac{\varGamma_{q}(\alpha )}{\varGamma_{q}(\alpha-\beta)}C_{1}t^{\alpha-\beta-1} \\&\quad {}+\frac{\varGamma_{q}(\alpha-1)}{\varGamma_{q}(\alpha-\beta -1)}C_{2}t^{\alpha-\beta-2}. \end{aligned} $$

By the boundary condition \({}^{c}D_{q}^{\beta}u(0)=0\), we get

$$C_{2}=0. $$

Then the boundary condition (1.2) yields

$$-\frac{1}{\varGamma_{q}(\alpha-\beta)} \int_{0}^{1} (1-qs)^{(\alpha -\beta-1)}h(s)\,d_{q}s+ \frac{\varGamma_{q}(\alpha)}{\varGamma_{q} (\alpha-\beta)}C_{1}=0, $$


$$C_{1}=\frac{\int_{0}^{1}(1-qs)^{(\alpha-\beta-1)}h(s)\,d_{q}s}{\varGamma _{q}(\alpha)}. $$


$$ \begin{aligned} u(t)&=\frac{t^{\alpha-1}}{\varGamma_{q}(\alpha)} \int_{0}^{1} (1-qs)^{(\alpha-\beta-1)}h(s)\,d_{q}s- \frac{1}{\varGamma_{q}(\alpha )} \int_{0}^{t} (t-qs)^{(\alpha-1)}h(s)\,d_{q}s \\ &=\frac{t^{\alpha-1}}{\varGamma_{q}(\alpha)} \int_{0}^{t} (1-qs)^{(\alpha-\beta-1)}h(s)\,d_{q}s+ \frac{t^{\alpha-1}}{\varGamma _{q}(\alpha)} \int_{t}^{1} (1-qs)^{(\alpha-\beta-1)}h(s)\,d_{q}s\\ &\quad {}-\frac{1}{\varGamma_{q}(\alpha)} \int_{0}^{t} (t-qs)^{(\alpha -1)}h(s)\,d_{q}s \\ &=\frac{1}{\varGamma_{q}(\alpha)} \int_{0}^{t} \bigl[(1-qs)^{(\alpha-\beta -1)}t^{\alpha-1} -(t-qs)^{(\alpha-1)}\bigr]h(s)\,d_{q}s\\ &\quad {}+\frac{t^{\alpha-1}}{\varGamma _{q}(\alpha)} \int_{t}^{1} (1-qs)^{(\alpha-\beta-1)}h(s)\,d_{q}s \\ &= \int_{0}^{1} G(t,qs)h(s)\,d_{q}s. \end{aligned} $$

Next, we will prove the sufficiency.

Due to

$$u(t)=\frac{t^{\alpha-1}}{\varGamma_{q}(\alpha)} \int_{0}^{1} (1-qs)^{(\alpha-\beta-1)}h(s)\,d_{q}s -\frac{1}{\varGamma_{q}(\alpha)} \int_{0}^{t} (t-qs)^{(\alpha-1)}h(s)\,d_{q}s, $$

then according to Definitions 2.1 and 2.2 as well as the definition of the q-Gamma function, we can get \(D_{q}^{\alpha}t^{\alpha-1}=0\), hereafter, we derive that \(D_{q}^{\alpha} u(t)=-h(t)\), hence \(D_{q}^{\alpha} u(t)+h(t)=0\). On the basis of the expression of \(u(t)\), we know \(u(0)=0\). Taking the q-derivative of Caputo on both sides of this equation, we get

$${}^{c}D_{q}^{\beta} u(t) =\frac{t^{\alpha-\beta-1}}{\varGamma_{q}(\alpha-\beta)} \int_{0}^{1} (1-qs)^{(\alpha-\beta-1)}h(s)\,d_{q}s- \frac{1}{\varGamma _{q}(\alpha-\beta)} \int_{0}^{t} (t-qs)^{(\alpha-\beta-1)}h(s)\,d_{q}s, $$

in the light of the expression of \({{}^{c}}D_{q}^{\beta} u(t)\), we can obtain

$$\begin{aligned}& {{}^{c}}D_{q}^{\beta} u(0)=0, \\& \begin{aligned} {{}^{c}}D_{q}^{\beta} u(1) &=\frac{1}{\varGamma_{q}(\alpha-\beta)} \int_{0}^{1} (1-qs)^{(\alpha -\beta-1)}h(s)\,d_{q}s- \frac{1}{\varGamma_{q}(\alpha-\beta)} \int _{0}^{1} (1-qs)^{(\alpha-\beta-1)}h(s)\,d_{q}s\\ &=0. \end{aligned} \end{aligned}$$

Thus we complete the proof. □

The properties of the Green function play an important role in this paper.

Lemma 3.2

The Green function G defined by (3.2) satisfies the following requirements:

  1. (1)

    \(G(t,qs)\geq0\), \(0\leq t,qs\leq1\);

  2. (2)

    \(\beta qs(1-qs)^{(\alpha-1)}t^{\alpha-1}\leq\varGamma _{q}(\alpha)G(t,qs)\leq[\alpha-1]_{q}(1-qs)^{(\alpha-\beta -1)}t^{\alpha-2}qs\), \(\forall t, qs\in[0,1]\).


(1) Let

$$ \begin{aligned} &G_{1}(t,qs)=\frac{1}{\varGamma_{q}(\alpha)} \bigl[(1-qs)^{(\alpha-\beta -1)}t^{\alpha-1} -(t-qs)^{(\alpha-1)}\bigr], \quad 0 \leq qs\leq t\leq1, \\ &G_{2}(t,qs)=\frac{1}{\varGamma_{q}(\alpha)}(1-qs)^{(\alpha-\beta -1)}t^{\alpha-1}, \quad 0\leq t\leq qs\leq1. \end{aligned} $$

When \(0\leq t\leq qs\leq1\), it is clear that \(G_{2}(t,qs)>0\).

When \(0\leq qs \leq t\leq1\),

$$ \begin{aligned} G_{1}(t,qs)&=\frac{1}{\varGamma_{q}(\alpha)} \bigl[(1-qs)^{(\alpha-\beta -1)}t^{\alpha-1} -(t-qs)^{(\alpha-1)}\bigr] \\ &=\frac{1}{\varGamma_{q}(\alpha)}\biggl[(1-qs)^{(\alpha-\beta-1)}t^{\alpha -1}-t^{\alpha-1} \biggl(1-q\frac{s}{t}\biggr)^{(\alpha-1)}\biggr] \\ &=\frac{t^{\alpha-1}}{\varGamma_{q}(\alpha)}\biggl[(1-qs)^{(\alpha-\beta-1)} -\biggl(1-q\frac{s}{t} \biggr)^{(\alpha-1)}\biggr]. \end{aligned} $$

We use \((1-qs)^{(\alpha-\beta-1)}\geq(1-q\frac{s}{t})^{(\alpha -\beta-1)}\geq(1-q\frac{s}{t})^{(\alpha-1)}\), i.e., \(G_{1}(t,qs)>0\). All in all, we obtain \(G(t,qs)\geq0\).

(2) When \(0\leq qs \leq t\leq1\), we have

$$\begin{aligned} \int_{t-qs}^{t} x^{\alpha-2}\,d_{q}x&= \int_{0}^{t} x^{\alpha -2}\,d_{q}x- \int_{0}^{t-qs} x^{\alpha-2}\,d_{q}x \\ &=(1-q)\sum _{n=0}^{\infty} tq^{n} \bigl(tq^{n}\bigr)^{\alpha -2}-(1-q)\sum _{m=0}^{\infty}(t-qs)q^{m} \bigl[(t-qs)q^{m}\bigr]^{\alpha -2} \\ &=(1-q)t^{\alpha-1}\sum _{n=0}^{\infty} q^{n(\alpha -1)}-(1-q) (t-qs)^{\alpha-1}\sum _{m=0}^{\infty}q^{m(\alpha -1)} \\ &=(1-q)t^{\alpha-1}\frac{1}{1-q^{\alpha-1}}-(1-q) (t-qs)^{\alpha-1} \frac{1}{1-q^{\alpha-1}} \\ &=\frac{1-q}{1-q^{\alpha-1}}\bigl[t^{\alpha-1}-(t-qs)^{\alpha-1}\bigr], \end{aligned}$$


$$\begin{aligned}& \int_{t-qs}^{t} x^{\alpha-2}\,d_{q}x= \frac{1-q}{1-q^{\alpha -1}}\bigl[t^{\alpha-1}-(t-qs)^{\alpha-1}\bigr] = \frac{1}{[\alpha-1]_{q}}\bigl[t^{\alpha-1}-(t-qs)^{\alpha-1}\bigr], \\& \begin{aligned} \varGamma_{q}(\alpha)G(t,qs)&=(1-qs)^{(\alpha-\beta-1)}t^{\alpha -1}-(t-qs)^{(\alpha-1)} \\ &\leq(1-qs)^{(\alpha-\beta-1)}\bigl[t^{\alpha-1}-(t-qs)^{(\alpha-1)}\bigr] \\ &=(1-qs)^{(\alpha-\beta-1)}[\alpha-1]_{q} \int_{t-qs}^{t} x^{\alpha -2}\,d_{q}x. \end{aligned} \end{aligned}$$

Then, according to the monotonicity of \(x^{\alpha-2}\) and the property of the q-integral, we have

$$\varGamma_{q}(\alpha)G(t,qs)\leq[\alpha-1]_{q}(1-qs)^{(\alpha-\beta -1)}t^{\alpha-2}qs. $$

On the other hand, \(\frac{1}{(1-qs)^{\beta}}\geq1+\beta qs\).

In fact, \(g(x)\) is decreasing with respect to x, i.e. \(g'(x)<0\), \(g(x) \leq g(0)=1\), so \(\frac{1}{(1-qs)^{\beta}}\geq1+\beta qs\) holds. Hence,

$$ \begin{aligned} \varGamma_{q}(\alpha)G(t,qs)&=(1-qs)^{(\alpha-\beta-1)}t^{\alpha -1}-(t-qs)^{(\alpha-1)} \\ &\geq(1-qs)^{(\alpha-\beta-1)}t^{\alpha-1}-(t-qst)^{(\alpha-1)} \\ &=(1-qs)^{(\alpha-\beta-1)}t^{\alpha-1}-t^{\alpha-1}(1-qs)^{(\alpha -1)} \\ &=t^{\alpha-1}(1-qs)^{(\alpha-1)}\bigl[(1-qs)^{(-\beta)}-1\bigr] \\ &\geq\beta qs (1-qs)^{(\alpha-1)}t^{\alpha-1}, \end{aligned} $$

when \(qs=1\), we have \(t=1\), it is obvious that \(\varGamma_{q}(\alpha )G(t,qs)\geq\beta qs (1-qs)^{(\alpha-1)}t^{\alpha-1}\). When \(0\leq t\leq qs <1\),

$$\begin{aligned}& \begin{aligned} \varGamma_{q}(\alpha) G(t,qs)&=(1-qs)^{(\alpha-\beta-1)}t^{\alpha -1} \\ &\leq(1-qs)^{(\alpha-\beta-1)}t^{\alpha-2}qs \\ &\leq[\alpha-1]_{q}(1-qs)^{(\alpha-\beta-1)}t^{\alpha-2}qs, \end{aligned} \\& \begin{aligned} \varGamma_{q}(\alpha) G(t,qs)&=(1-qs)^{(\alpha-\beta-1)}t^{\alpha -1} \\ &=(1-qs)^{(-\beta)}(1-qs)^{(\alpha-1)}t^{\alpha-1} \\ & \geq(1+\beta qs) (1-qs)^{(\alpha-1)}t^{\alpha-1} \\ & \geq\beta qs (1-qs)^{(\alpha-1)}t^{\alpha-1}, \end{aligned} \end{aligned}$$

when \(qs=1\), it is obvious that \(\varGamma_{q}(\alpha) G(t,qs)\geq\beta qs (1-qs)^{(\alpha-1)}t^{\alpha-1}\). Thus we complete the proof. □

Let \(B=C([0,1],\mathbb{R})\). We use the Banach space of all continuous functions from \([0,1]\) into \(\mathbb{R}\) with the norm

$$\Vert x \Vert =\sup _{t\in[0,1]} \bigl\vert x(t) \bigr\vert . $$

Define the cone \(P\subset B=C[0,1]\) by \(P=\{x\in B| x(t)\geq0, \forall t\in[0,1]\}\).

Denote \(C_{1}=\frac{1}{\varGamma_{q}(\alpha)}\int_{0}^{1} (1-qs)^{(\alpha-\beta-1)}\,d_{q}s\), \(C_{2}=\frac{1}{\varGamma_{q}(\alpha)} \int_{0}^{1}(1-qs)^{(\alpha-1)}\,d_{q}s\), \(A=M(C_{1}+C_{2})\).

Theorem 3.1

Let \(0<\beta\leq1\), \(2<\alpha\leq2+\beta\), and \(f:[0,1]\times\mathbb{R}_{+}\rightarrow \mathbb{R}_{+}\) be a continuous function. Suppose there exist two positive constants \(r_{1}>r_{2}>0\) such that \(f(t,u)\leq N_{1}r_{1}\), \((t,u)\in[0,1]\times[0,r_{1}]\), \(f(t,u)\geq N_{2}r_{2}\), \((t,u)\in[0,1]\times[0,r_{2}]\), where \(N_{1}=\frac{\varGamma_{q}(\alpha)}{[\alpha-1]_{q}B_{q}(2, \alpha-\beta)}\), \(N_{2}=\frac{\varGamma_{q}(\alpha)2^{\alpha -1}}{\beta B_{q}(2,\alpha)}\). Then the boundary value problem (1.1)(1.2) has at least one solution with \(r_{2}\leq\Vert u\Vert\leq r_{1}\).


By making use of Lemma 3.1, we know that \(u\in C[0,1]\) is a solution of (1.1)–(1.2) if and only if u is a solution of the following integral equation:

$$u(t)= \int_{0}^{1} G(t,qs)f\bigl(s,u(s) \bigr)\,d_{q}s. $$

Let \(T: P\rightarrow B\) be the operator defined by

$$Tu(t)= \int_{0}^{1} G(t,qs)f\bigl(s,u(s) \bigr)\,d_{q}s. $$

It is easy to see that the operator T is continuous in view of the continuity of G and f. In order to apply the Arzela–Ascoli theorem, we need to prove that \(T:P\rightarrow P\) is a completely continuous.

In fact, suppose \(\varOmega\subset P\) is bounded, i.e., there exists a positive \(N>0\) such that \(\Vert u\Vert\leq N\) for all \(u\in\varOmega\). Let \(M=\max _{\Vert u\Vert\leq N}\vert f(u)\vert+1\). Then, for \(u\in\varOmega\), \(t\in[0,1] \), we have

$$ \begin{aligned} \bigl\vert (Tu) (t) \bigr\vert &= \biggl\vert \int_{0}^{1} \frac{1}{\varGamma _{q}(\alpha)}(1-qs)^{(\alpha-\beta-1)}t^{\alpha-1}f \bigl(s,u(s)\bigr)\,d_{q}s \\ &\quad {}- \int_{0}^{t}\frac{1}{\varGamma_{q}(\alpha)}(t-qs)^{(\alpha -1)}f \bigl(s,u(s)\bigr)\,d_{q}s \biggr\vert \\ &\leq \int_{0}^{1} \frac{1}{\varGamma_{q}(\alpha)}(1-qs)^{(\alpha -\beta-1)}t^{\alpha-1} \bigl\vert f\bigl(s,u(s)\bigr) \bigr\vert \,d_{q}s\\ &\quad {} + \int_{0}^{t}\frac{1}{\varGamma_{q}(\alpha)}(t-qs)^{(\alpha-1)} \bigl\vert f\bigl(s,u(s)\bigr) \bigr\vert \,d_{q}s \\ &< M(C_{1}+C_{2})=A. \end{aligned} $$

Therefore, \(T(\varOmega)\) is uniform bounded.

On the other hand, for any given \(\varepsilon>0\), setting \(\delta =\min \{\frac{1}{2}, \frac{\varepsilon}{2M(C_{1}+C_{2})} \}\), for each \(0\leq t_{1}\leq t_{2}\leq1\) and \(\vert t_{2}-t_{1}\vert<\delta\), \(u\in \varOmega\), we have \(\vert Tu(t_{2})-Tu(t_{1})\vert<\varepsilon\), that is to say, \(T(\varOmega)\) is equicontinuous. In fact,

$$ \begin{aligned} \bigl\vert Tu(t_{2})-Tu(t_{1}) \bigr\vert &= \biggl\vert \int_{0}^{1} G(t_{2},qs)f\bigl(s,u(s) \bigr)\,d_{q}s- \int_{0}^{1} G(t_{1},qs)f\bigl(s,u(s) \bigr)\,d_{q}s \biggr\vert \\ &= \biggl\vert \int_{0}^{1}\frac{1}{\varGamma_{q}(\alpha )}(1-qs)^{(\alpha-\beta-1)}t_{2}^{\alpha-1} f\bigl(s,u(s)\bigr)\,d_{q}s \\ &\quad {}- \int_{0}^{t_{2}}\frac{1}{\varGamma_{q}(\alpha)}(t_{2}-qs)^{(\alpha -1)}f \bigl(s,u(s)\bigr)\,d_{q}s \\ &\quad{}- \int_{0}^{1}\frac{1}{\varGamma_{q}(\alpha)}(1-qs)^{(\alpha-\beta -1)}t_{1}^{\alpha-1} f\bigl(s,u(s)\bigr)\,d_{q}s\\ &\quad {} + \int_{0}^{t_{1}}\frac{1}{\varGamma_{q}(\alpha)}(t_{1}-qs)^{(\alpha -1)}f \bigl(s,u(s)\bigr)\,d_{q}s \biggr\vert \\ &= \biggl\vert \int_{0}^{1}\frac{1}{\varGamma_{q}(\alpha )}(1-qs)^{(\alpha-\beta-1)}f \bigl(s,u(s)\bigr) \bigl(t_{2}^{\alpha-1}-t_{1}^{\alpha-1} \bigr)\,d_{q}s \biggr\vert \\ &\quad{}+ \biggl\vert \int_{0}^{t_{1}}\frac{1}{\varGamma_{q}(\alpha )}f\bigl(s,u(s)\bigr) \bigl[(t_{1}-qs)^{(\alpha-1)} -(t_{2}-qs)^{(\alpha-1)} \bigr]\,d_{q}s \biggr\vert \\ &\quad{}+ \biggl\vert \int_{t_{1}}^{t_{2}}\frac{1}{\varGamma_{q}(\alpha )}(t_{2}-qs)^{(\alpha-1)}f \bigl(s, u(s)\bigr)\,d_{q}s \biggr\vert \\ &\leq \biggl\vert \int_{0}^{1}\frac{1}{\varGamma_{q}(\alpha )}(1-qs)^{(\alpha-\beta-1)}f \bigl(s,u(s)\bigr) \bigl(t_{2}^{\alpha-1} -t_{1}^{\alpha-1} \bigr)\,d_{q}s \biggr\vert \\ &\quad{}+ \biggl\vert \int_{0}^{t_{1}}\frac{1}{\varGamma_{q}(\alpha )}f\bigl(s,u(s)\bigr) (1-qs)^{(\alpha-1)} \bigl(t_{2}^{\alpha-1}-t_{1}^{\alpha-1} \bigr)\,d_{q}s \biggr\vert \\ &\quad{}+ \biggl\vert \int_{t_{1}}^{t_{2}}\frac{1}{\varGamma_{q}(\alpha )}(t_{2}-qs)^{(\alpha-1)} f\bigl(s, u(s)\bigr)\,d_{q}s \biggr\vert . \end{aligned} $$

Now we discuss \(t_{2}^{\alpha-1}-t_{1}^{\alpha-1}\):

  1. (1)

    \(0\leq t_{1}<\delta\), \(\delta< t_{2}<2\delta\), \(t_{2}^{\alpha -1}-t_{1}^{\alpha-1}\leq t_{2}^{\alpha-1}\leq2\delta\),

  2. (2)

    \(0< t_{1}< t_{2}<\delta\), \(t_{2}^{\alpha-1}-t_{1}^{\alpha -1}< t_{2}^{\alpha-2}<\delta^{\alpha-2}<(\alpha-2)\delta<\delta< 2\delta\),

  3. (3)

    \(\delta\leq t_{1}< t_{2}<1\), \(t_{2}^{\alpha-1}-t_{1}^{\alpha -1}\leq[\alpha-1](t_{2}-t_{1})<2\delta\).

Thus, we have \(\vert Tu(t_{2})-Tu(t_{1})\vert<2M\delta (C_{1}+C_{2})<\varepsilon(t_{1}\rightarrow t_{2})\), by making use of the Arzela–Ascoli theorem, \(T(\varOmega)\) is a relatively compact in P, and the operator \(T:P\rightarrow P\) is completely continuous.

Next we define \(\varOmega_{i}=\{u\in P:\Vert u\Vert\leq r_{i},i=1,2 \}\).

For \(t\in[0,1]\) and \(u \in P\cap{\partial\varOmega_{1}}\), we know that

$$\begin{aligned} Tu(t)&=\max _{t\in[0,1]} \int_{0}^{1} G(t,qs)f\bigl(s,u(s) \bigr)\,d_{q}s \\ & \leq\frac{N_{1}r_{1}}{\varGamma_{q}(\alpha)} \int_{0}^{1} [\alpha -1]{_{q}}(1-qs)^{(\alpha-\beta-1)}t^{\alpha-2}qs \,d_{q}s \\ & \leq\frac{N_{1}r_{1} [\alpha-1]_{q}}{\varGamma_{q}(\alpha)} \int _{0}^{1}(1-qs)^{(\alpha-\beta-1)}qs \,d_{q}s \\ &=\frac{[\alpha-1]{_{q}}N_{1}r_{1}}{\varGamma_{q}(\alpha )}B_{q}(2,\alpha-\beta) \\ &= \Vert u \Vert , \end{aligned}$$

we have \(\Vert Tu\Vert\leq\Vert u\Vert\) for \(u \in P\cap{\partial \varOmega_{1}}\).

For \(t\in[\frac{1}{2},1]\) and \(u \in P\cap{\partial\varOmega_{2}}\), we derive that

$$ \begin{aligned} (Tu) (t)& \geq \int_{0}^{1} \min _{t\in[\frac{1}{2},1]} G(t,qs)f\bigl(s,u(s) \bigr)\,d_{q}s \\ &\geq\frac{1}{\varGamma_{q}(\alpha )}N_{2}r_{2} \int_{0}^{1} \beta qs (1-qs)^{(\alpha-1)}t^{\alpha-1}\,d_{q}s \\ &\geq\frac{1}{\varGamma_{q}(\alpha)} N_{2}r_{2} \int_{0}^{1} \beta qs (1-qs)^{(\alpha-1)}\biggl( \frac{1}{2}\biggr)^{\alpha-1}\,d_{q}s \\ &= \frac{1}{\varGamma_{q}(\alpha)}\frac{N_{2}r_{2}}{2^{\alpha-1}} \int _{0}^{1} \beta qs(1-qs)^{(\alpha-1)}\,d_{q}s \\ &=\frac{\beta}{\varGamma_{q}(\alpha)}\frac{N_{2}r_{2}}{2^{\alpha-1}} B_{q}(2, \alpha) \\ &= \Vert u \Vert , \end{aligned} $$

we have \(\Vert Tu\Vert\geq\Vert u\Vert\) for \(u \in P\cap{\partial \varOmega_{2}}\). By Theorem 2.1, we see that the operator T has a fixed point in \(u\in P\cap(\overline{\varOmega_{2}}\backslash\varOmega_{1})\) with \(r_{1}\leq \Vert u\Vert\leq r_{2}\). Thus we complete the proof. □

Theorem 3.2

Assume that \(0<\beta\leq1\), \(2<\alpha\leq 2+\beta\), \(0< q<1\), and the following condition holds:


there exists a constant \(L>0\), such that \(\vert f(t,u)-f(t,v)\vert\leq L \vert u-v\vert\), \(\forall t\in[0,1]\), \(u,v \in\mathbb{R}\). If

$$ \begin{aligned} 0< L< \frac{\varGamma_{q}(\alpha)}{B_{q}(2,\alpha-\beta)[\alpha-1]_{q}}, \end{aligned} $$

then the boundary value problem (1.1)(1.2) has a unique solution in \([0,1]\).


According to \((H_{1})\) and Lemma 3.2, we have

$$ \begin{aligned} \bigl\vert Tu(t)-Tv(t) \bigr\vert &= \biggl\vert \int_{0}^{1} G(t,qs)f\bigl(s,u(s) \bigr)\,d_{q}s- \int_{0}^{1} G(t,qs) f\bigl(s,v(s) \bigr)\,d_{q}s \biggr\vert \\ &\leq \int_{0}^{1} G(t,qs) \bigl\vert f\bigl(s,u(s) \bigr)-f\bigl(s,v(s)\bigr) \bigr\vert \,d_{q}s \\ & \leq L \int_{0}^{1} G(t,qs) \vert u-v \vert \,d_{q}s \\ & \leq L \int_{0}^{1} \frac{[\alpha-1]_{q}}{\varGamma_{q}(\alpha )}(1-qs)^{(\alpha-\beta-1)}t^{\alpha-2}qs \vert u-v \vert \,d_{q}s \\ &\leq L \int_{0}^{1} \frac{[\alpha-1]_{q}}{\varGamma_{q}(\alpha )}(1-qs)^{(\alpha-\beta-1)}qs \vert u-v \vert \,d_{q}s \\ &=\frac{[\alpha-1]_{q}}{\varGamma_{q}(\alpha)} L \vert u-v \vert B_{q}(2, \alpha-\beta)=K \vert u-v \vert , \end{aligned} $$

from the condition \(0< L<\frac{\varGamma_{q}(\alpha)}{B_{q}(2,\alpha -\beta)[\alpha-1]_{q}}\), we can draw the conclusion that \(0< K<1\). By the Banach contraction mapping principle, we see that T has a unique fixed point in E, that is to say, the boundary value problem (1.1)–(1.2) has a unique solution. Thus we complete the proof. □

Theorem 3.3

Assume \(f:[0,1]\times\mathbb {R}_{+}\rightarrow\mathbb{R}_{+}\) is continuous. Suppose the following conditions are satisfied:


there exists a continuous function \(\varphi: (0,+\infty)\rightarrow\mathbb{R}\) with \(f(t,z)\leq\varphi(z)\) on \([0,1]\times(0,+\infty)\);


there exists \(r>0\) so that \(\Vert\varphi\Vert\leq \frac{r}{C_{1}+C_{2}}\).

Then the boundary value problem (1.1)(1.2) has a solution.


We will prove the result by using Schaefer’s fixed point theorem. First of all, we define the closed set \(K\subset B\), \(K=\{x(t)\in C[0,1] | x(t)\geq0 \}\). Let \(U=\{x| x\in K, \Vert x\Vert< r \}\), \(\overline{U}=\{x|x\in K, \Vert x\Vert\leq r \}\). We will prove that \(T: \overline{U}\rightarrow K \) is continuous. Since f is continuous, choosing \(\{u_{n}\}\) to be a sequence such that \(u_{n}\rightarrow u\) (\(n\rightarrow\infty\)) in , for any \(t\in[0,1]\), then we have

$$ \begin{aligned} \bigl\vert (Tu_{n}) (t)-(Tu) (t) \bigr\vert &\leq \int_{0}^{1} \frac{(1-qs)^{(\alpha-\beta-1)}t^{\alpha -1}}{\varGamma_{q}(\alpha)} \bigl\vert f \bigl(s,u_{n}(s)\bigr)-f\bigl(s, u(s)\bigr) \bigr\vert \,d_{q}s \\ &\quad{}+ \int_{0}^{t} \frac{(t-qs)^{(\alpha-1)}}{\varGamma_{q}(\alpha)} \bigl\vert f \bigl(s,u_{n}(s)\bigr)-f\bigl(s, u(s)\bigr) \bigr\vert \,d_{q}s \\ &\leq \int_{0}^{1}\frac{(1-qs)^{(\alpha-\beta-1)}t^{\alpha -1}}{\varGamma_{q}(\alpha)} \max _{s\in[0,1]} \bigl\vert f\bigl(s,u_{n}(s)\bigr)-f\bigl(s, u(s)\bigr) \bigr\vert \,d_{q}s \\ &\quad{}+ \int_{0}^{t} \frac{(t-qs)^{(\alpha-1)}}{\varGamma_{q}(\alpha)}\max _{s\in[0,1]} \bigl\vert f\bigl(s,u_{n}(s)\bigr)-f\bigl(s, u(s)\bigr) \bigr\vert \,d_{q}s. \end{aligned} $$

Since f is continuous, we obtain \(\Vert T(u_{n})-T(u)\Vert \rightarrow0\) as \(n\rightarrow\infty\).

Next we will prove that \(T:\overline{U}\rightarrow K\) is a compact map, for any \(0<\eta\leq r\). Let \(E=\{x\in K| \Vert x\Vert\leq\eta \}\). According to Theorem 3.1, we see that \(T(E)\) is relatively compact in K, and the operator \(T: \overline{U}\rightarrow K\) is completely continuous.

At last, we suppose \(U\in\partial U\) is a solution of \(u(t)=\lambda Tu(t)\), for \(\lambda\in(0,1)\), we know that \(T :\overline {U}\rightarrow K\) is completely continuous. According to \((H_{2})\) and \((H_{3})\), we know

$$ \begin{aligned} u(t)&=\lambda T u(t)=\lambda \biggl[ \int_{0}^{1} \frac{1}{\varGamma _{q}(\alpha)}(1-qs)^{(\alpha-\beta-1)}t^{\alpha-1}f \bigl(s, u(s)\bigr)\,d_{q}s\\ &\quad {} - \int_{0}^{t} \frac{1}{\varGamma_{q}(\alpha)}(t-qs)^{(\alpha -1)}f \bigl(s,u(s)\bigr)\,d_{q}s \biggr] \\ &< \int_{0}^{1} \frac{1}{\varGamma_{q}(\alpha)}(1-qs)^{(\alpha-\beta -1)} f\bigl(s,u(s)\bigr)\,d_{q}s+ \int_{0}^{t} \frac{1}{\varGamma_{q}(\alpha )}(t-qs)^{(\alpha-1)}f \bigl(s,u(s)\bigr)\,d_{q}s \\ &\leq \int_{0}^{1} \frac{1}{\varGamma_{q}(\alpha)}(1-qs)^{(\alpha -\beta-1)} f\bigl(s,u(s)\bigr)\,d_{q}s+ \int_{0}^{1} \frac{1}{\varGamma_{q}(\alpha )}(1-qs)^{(\alpha-1)}f \bigl(s,u(s)\bigr)\,d_{q}s \\ & =(C_{1}+C_{2}) \Vert \varphi \Vert \leq r, \end{aligned} $$

where r is satisfied with \((H_{3})\), that is to say, there is no \(U\in\partial U \) such that \(u=\lambda Tu\) for \(\lambda\in (0,1)\), as a consequence of Lemma 2.3, T has a fixed point \(t\in\overline{U}\), which is a solution of the boundary value problem (1.1)–(1.2). Thus we complete the proof. □

4 Examples

Example 4.1

Consider the following fractional q-difference boundary value problem:

$$ \begin{aligned} \textstyle\begin{cases} D_{\frac{1}{2}}^{\frac{9}{4}} u(t)+(1+2t^{2})\arctan (\frac {1}{3}(u+1) )=0, \quad0< t< 1,\\ u(0)={{}^{c}}D_{\frac{1}{2}}^{\frac{1}{4}} u(0)={{}^{c}}D_{\frac {1}{2}}^{\frac{1}{4}} u(1)=0, \end{cases}\displaystyle \end{aligned} $$

where \(\alpha=\frac{9}{4}\), \(\beta=\frac{1}{4}\), \(q=\frac{1}{2}\), \(f(t,u(t))=(1+2t^{2})\arctan (\frac{1}{3}(u+1) )\), \(\forall(t,u)\in[0,1]\times\mathbb{R}\),

$$ \begin{aligned} \bigl\vert f(t,u(t)-f\bigl(t,v(t)\bigr) \bigr\vert &= \biggl\vert \bigl(1+2t^{2}\bigr)\arctan\biggl( \frac {1}{3}(u+1)\biggr)-\bigl(1+2t^{2}\bigr)\arctan\biggl( \frac{1}{3}(v+1)\biggr) \biggr\vert \\ &\leq\frac{1}{3}\bigl(1+2t^{2}\bigr) \vert u-v \vert \\ & < \vert u-v \vert ,\quad t\in[0,1], u,v\in\mathbb{R}. \end{aligned} $$

We use

$$\begin{gathered} B_{q}(2,\alpha-\beta)=B_{\frac{1}{2}}(2,2)= \int_{0}^{1} t\biggl(1-\frac{1}{2}t \biggr)\,d_{\frac{1}{2}}t, \\ \int_{0}^{1} t\biggl(1-\frac{1}{2}t \biggr)\,d_{\frac{1}{2}}t=1\cdot \biggl(1-\frac{1}{2}\biggr)\sum _{n=0}^{\infty}\frac{1}{2^{n}}\biggl(1- \frac {1}{2^{n+1}}\biggr)\cdot \frac{1}{2^{n}}=\frac{3}{7}. \end{gathered} $$

Set \(L=2\), we have \(0< L<\frac{\varGamma_{\frac{1}{2}}(\frac{9}{4})}{B_{q}(2,\alpha-\beta )[\alpha-1]_{q}}\), according to Theorem 3.2, we know (4.1) has a unique solution.

Example 4.2

Consider the following fractional q-difference boundary value problem:

$$ \begin{aligned} \textstyle\begin{cases} {}^{c}D_{q}^{\frac{5}{2}} u(t)+ \frac{\sin t \varGamma_{q}(\frac {5}{2})}{\int_{0}^{1}(1-qs)\,d_{q}s+\int_{0}^{1} (1-qs)^{(\frac {3}{2})}\,d_{q}s}=0,\\ u(0)={{}^{c}}D_{q}^{\beta} u(0)={{}^{c}}D_{q}^{\beta} u(1)=0, \end{cases}\displaystyle \end{aligned} $$


$$\begin{gathered} f\bigl(t,x(t)\bigr)=\frac{\sin t \varGamma_{q}(\frac{5}{2})}{\int _{0}^{1}(1-qs)\,d_{q}s+\int_{0}^{1} (1-qs)^{(\frac{3}{2})}\,d_{q}s}=0, \\ \alpha=\frac{5}{2},\qquad \beta=\frac{1}{2},\qquad C_{1}= \int_{0}^{1}(1-qs)\,d_{q}s,\qquad C_{2}= \int_{0}^{1} (1-qs)^{(\frac{3}{2})}\,d_{q}s, \\ \varphi(z) =\frac{ \varGamma_{q}(\frac{5}{2})}{\int_{0}^{1}(1-qs)\,d_{q}s+\int_{0}^{1} (1-qs)^{(\frac{3}{2})}\,d_{q}s}=\frac{1}{C_{1}+C_{2}}, \end{gathered} $$

we choose \(r=1\), according to Theorem 3.3, we can derive that \(f(t,z)\leq\varphi(z)\), \(\Vert\varphi\Vert\leq \frac{1}{C_{1}+C_{2}}\), the boundary value problem (4.2) has a solution.


  1. Kilbas, A.A., Srivastava, H.H., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  2. Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)

    MATH  Google Scholar 

  3. Podlubny, I., Marichev, O.I.: Fractional differential equations. In: Mathematics in Science and Engineering. Academic Press, New York (1999)

    Google Scholar 

  4. Wei, Y., Song, Q., Bai, Z.: Existence and iterative method for some fourth order nonlinear boundary value problems. Appl. Math. Lett. 87, 101–107 (2019)

    Article  MathSciNet  Google Scholar 

  5. Zhang, X., Zhong, Q.: Uniqueness of solution for higher-order fractional differential equations with conjugate type integral conditions. Fract. Calc. Appl. Anal. 20, 1471–1484 (2017)

    Article  MathSciNet  Google Scholar 

  6. Zhang, X., Zhong, Q.: Triple positive solutions for nonlocal fractional differential equations with singularities both on time and space variables. Appl. Math. Lett. 80, 12–19 (2018)

    Article  MathSciNet  Google Scholar 

  7. Cui, Y., Ma, W., Sun, Q., Su, X.: New uniqueness results for boundary value problem of fractional differential equation. Nonlinear Anal., Model. Control 23, 31–39 (2018)

    Article  MathSciNet  Google Scholar 

  8. Cui, Y., Sun, Q., Su, X.: Monotone iterative technique for nonlinear boundary value problems of fractional order \(p\in(2,3]\). Adv. Differ. Equ. 2017, 248 (2017)

    Article  Google Scholar 

  9. Samko, S.G., Killbas, A.A.: Fractional integrals and derivatives. In: Theory and Applications. Gordon & Breach, New York (1993)

    Google Scholar 

  10. Zhao, Y., Sun, S., Han, Z., Zhang, M.: Positive solutions for boundary value problems of nonlinear fractional differential equations. Appl. Math. Comput. 217, 6950–6958 (2011)

    MathSciNet  MATH  Google Scholar 

  11. Feng, W., Sun, S., Han, Z., Zhao, Y.: Existence of solutions for a singular system of nonlinear fractional differential equations. Comput. Math. Appl. 62, 1370–1378 (2011)

    Article  MathSciNet  Google Scholar 

  12. Song, Q., Bai, Z.: Positive solutions of fractional differential equations involving the Riemann–Stieltjes integral boundary condition. Adv. Differ. Equ. 2018, 183 (2018)

    Article  MathSciNet  Google Scholar 

  13. Bai, Z., Chen, H., Lian, Y., Sun, S.: On the existence of blow up solutions for a class of fractional differential equations. Fract. Calc. Appl. Anal. 17, 1175–1187 (2014)

    Article  MathSciNet  Google Scholar 

  14. Sheng, K., Zhang, W., Bai, Z.: Positive solutions to fractional boundary-value problems with p-Laplacian on time scales. Bound. Value Probl. 2018, 70 (2018)

    Article  MathSciNet  Google Scholar 

  15. Wei, Y., Bai, Z.: Solvability of some fractional boundary value problems with a convection term. Discrete Dyn. Nat. Soc. 2019, Article ID 1230502 (2019)

    Article  MathSciNet  Google Scholar 

  16. Atici, F.M., Eloe, P.W.: A transform method in discrete fractional calculus. Int. J. Difference Equ. 2, 165–176 (2007)

    MathSciNet  Google Scholar 

  17. Atici, F.M., Eloe, P.W.: Discrete fractional calculus with the nabla operator. Electron. J. Qual. Theory Differ. Equ. 2009, 3 (2009)

    MathSciNet  MATH  Google Scholar 

  18. Atici, F.M., Sengül, S.: Modeling with fractional difference equations. J. Math. Anal. Appl. 369, 1–10 (2010)

    Article  MathSciNet  Google Scholar 

  19. Bastos, N., Ferreira, R.A.C., Torres, D.F.M.: Necessary optimality conditions for fractional difference problems of the calculus of variations. Discrete Contin. Dyn. Syst. 29, 417–437 (2011)

    Article  MathSciNet  Google Scholar 

  20. Goodrich, C.S.: Continuity of solutions to discrete fractional initial value problems. Comput. Math. Appl. 59, 3489–3499 (2010)

    Article  MathSciNet  Google Scholar 

  21. Goodrich, C.S.: Solutions to a discrete right-focal boundary value problem. Int. J. Difference Equ. 5, 195–216 (2010)

    MathSciNet  Google Scholar 

  22. Jackson, F.H.: On q-definite integrals. Int. J. Pure Appl. Math. 41, 193–203 (1910)

    MATH  Google Scholar 

  23. Ernst, T.: The history of q-calculus and a new method. Uppsala University Department of Mathematics Report (2000)

  24. Li, X., Han, Z., Sun, S.: Boundary value problems for fractional q-difference equations with nonlocal conditions. Adv. Differ. Equ. 2014, 57 (2014)

    Article  MathSciNet  Google Scholar 

  25. Li, X., Han, Z.: Boundary value problems of fractional q-difference Schrödinger equations. Appl. Math. Lett. 46, 100–105 (2015)

    Article  MathSciNet  Google Scholar 

  26. Agrawal, R.P.: Certain fractional q-integrals and q-derivatives. Math. Proc. Camb. Philos. Soc. 66, 365–370 (1969)

    Article  MathSciNet  Google Scholar 

  27. Annaby, M.H., Mansour, Z.S.: q-Fractional Calculus and Equations. Springer, Berlin (2012)

    Book  Google Scholar 

  28. Rajkovic, P., Marinkovic, S., Stankovic, M.: Fractional integrals and derivatives in q-calculus. Appl. Anal. Discrete Math. 1, 311–323 (2007)

    Article  MathSciNet  Google Scholar 

  29. Guo, D., Lakshmikantham, V.: Nonlinear Problems in Abstract Cones. Notes and Reports in Mathematics in Science and Engineering. Academic Press, New York (1988)

    MATH  Google Scholar 

  30. Smart, D.R.: Fixed Point Theorems. Cambridge University Press, London (1974)

    MATH  Google Scholar 

Download references


The authors sincerely thank the reviewers for their valuable suggestions and useful comments that have led to the present improved version of the original manuscript.

Availability of data and materials

The authors declare that all data and material in the article are available and veritable.


This research is supported by Shandong Provincial Natural Science Foundation (ZR2016AM17).

Author information

Authors and Affiliations



The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Shurong Sun.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Zhang, L., Sun, S. Existence and uniqueness of solutions for mixed fractional q-difference boundary value problems. Bound Value Probl 2019, 100 (2019).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


  • 65L10
  • 26A33
  • 39A13
  • 34A12


  • Boundary value problem
  • Fractional q-difference equations
  • Existence and uniqueness