Skip to main content

Theory and Modern Applications

On a class of sequential fractional q-integrodifference boundary value problems involving different numbers of q in derivatives and integrals


In this paper, we study a sequential fractional q-integrodifference equation with fractional q-integral and q-derivative boundary value conditions. Our problem contains two different fractional orders and six different numbers of q in derivatives and integrals. By using Banach’s contraction principle and Krasnoselskii’s fixed point theorem, some new existence and uniqueness results are obtained. An illustrative example is also presented.

1 Introduction

In the 20th century, the intensive works on q-difference equations have became interesting subject of research work [13] in the areas of mathematics and applications such as the applications to orthogonal polynomials and mathematical control theories. Basic definitions and properties of q-difference calculus can be found in the book [4]. For the fractional q-difference calculus originating with work by Al-Salam [5] and Agarwal [6], we refer to the book of Annaby and Mansour [7]. Many intensive works on q-difference equations and fractional q-difference equations have been conducted (see [823]). However, the study of the boundary value problem of nonlinear q-difference equations is in deficiency. Examples of such scant works are as follows.

In 2015, Agarwal et al. [19] proposed the nonlinear q-integrodifference equation with non-separated boundary condition given by

$$ \textstyle\begin{cases} D^{2}_{q}u(t) = f(t,u(t))+I_{q}g(t,u(t)), \quad t\in I_{q}, \\ u(0)=\eta u(T), \qquad D_{q}u(0)=\eta D_{q}u(T), \end{cases} $$

where \(f,g\in C(I_{q}\times\mathbb{R},\mathbb{R})\), \(I_{q}=[0,T]\cap q^{\bar{N}}\), \(q^{\bar{N}}:=\{q^{n} \mid n \in\mathbb{N}\}\cup\{0\}\), \(T \in q^{\bar{N}}\), and \(\eta\neq1\). They presented sufficient conditions for the existence and nonexistence results of problem (1.1).

In [15], Ahmad et al. investigated the existence of solutions for the Caputo fractional q-difference integral equation with two different fractional orders and nonlocal boundary conditions

$$ \textstyle\begin{cases} ^{\mathrm{c}}D^{\beta}_{q} ( ^{\mathrm{c}}D^{\gamma}_{q}+\lambda )x(t) = pf(t,x(t))+kI^{\xi}_{q}g(t,x(t)),\quad t\in[0,1), \\ \alpha_{1}x(0)-\beta_{1} (t^{(1-\gamma)}D_{q}x(0) )_{t=0} =\sigma_{1}x(\eta_{1}), \\ \alpha_{2}x(1)-\beta_{2}D_{q}(1) =\sigma_{2}x(\eta_{2}), \end{cases} $$

where \(\beta,\gamma,\xi\in(0,1)\), f, g are given continuous functions, λ, p, k are real constants and \(\alpha_{i},\beta _{i},\sigma_{i} \in{\mathbb{R}}\), \(\eta_{i} \in(0,1)\), \(i=1,2\).

Recently, Sitthiwirattham [20] discussed the existence results of solutions to a fractional q-difference equation and a fractional q-integrodifference equation,

$$\begin{aligned}& D_{q}^{\alpha}x(t) = f\bigl(t,x(t),D_{w}^{\nu}x(t)\bigr), \end{aligned}$$
$$\begin{aligned}& D_{q}^{\alpha}x(t) = f\bigl(t,x(t),\Psi^{\gamma}_{w} x(t)\bigr), \quad t\in[0,T], \end{aligned}$$

with nonlocal three-point fractional p-integral boundary conditions of the form

$$ \textstyle\begin{cases} x(\eta)=\rho(x), \\ I_{p}^{\beta}g(T) x(T)= \frac{1}{\Gamma_{p}(\beta)}\int _{0}^{T} g(s) (T-ps)^{(\beta-1)}x(s)\, d_{p}s=0, \end{cases} $$

where \(p,q,w \in(0,1)\), \(\alpha\in(1,2]\), \(\nu\in(0,1]\), \(\beta ,\gamma>0\), and \(\eta\in(0,T)\) are given constants, \(f\in C([0,T]\times\mathbb{R}\times\mathbb{R},\mathbb{R})\), \(g \in C([0, T],\mathbb{R^{+}})\) are given functions, and \(\rho\in C([0,T],{\mathbb {R}})\rightarrow{\mathbb{R}}\) is a given functional. For \(\varphi\in C([0, T]\times[0, T],[0,\infty))\), define \(\Psi^{\gamma}_{w} x(t):=(I_{w}^{\gamma}\varphi x)(t)=\frac{1}{\Gamma_{w}(\gamma)} \int_{0}^{t} (t-ws)^{(\gamma-1)}\varphi(t,s) x(s) \, d_{w}s\).

To gain further insight in nonlinear q-integrodifference equations, in this paper, we devote our attention to the study of the existence and uniqueness for a sequential q-integrodifference boundary value problem involving two different fractional orders and six different numbers of q in derivatives and integrals of the form

$$ \textstyle\begin{cases} D_{q} [ \rho(t)D_{p}^{\gamma}( \kappa+D_{o} ) ] x(t) = f ( t,x(t),D_{w} [e_{o}^{\kappa t} x(t) ],\Psi_{v}x(t) ), \\ x(0)=x(T), \\ ( D_{o} [ e_{o}^{\kappa t} x(t) ] ) _{t=0} = D_{o} [e_{o}^{\kappa T} x(T) ], \\ I_{r}^{\theta}\sigma(T) x(T)=0, \end{cases} $$

where \(t \in I_{\alpha}^{T}:=\{\alpha^{k}T:k \in{\mathbb{N}}\}\cup\{ 0,T\}\); \(\gamma,\theta\in(0,1]\), \(p=\frac{p_{1}}{p_{2}}\), \(q=\frac {q_{1}}{q_{2}}\), \(o=\frac{o_{1}}{o_{2}}\), \(r=\frac{r_{1}}{r_{2}}\), \(w=\frac {w_{1}}{w_{2}}\), \(v=\frac{v_{1}}{v_{2}} \), and \(\alpha=\frac{1}{\operatorname{LCM} (p_{2},q_{2},o_{2},r_{2},w_{2},v_{2} )}\) are proper fractions with \(w\leq o\), LCM is the least common multiple; \(\kappa\leq\frac{1}{T}\); \(\rho,\sigma\in C (I_{\alpha}^{T},\mathbb{R}^{+} )\) and \(f\in C (I_{\alpha}^{T}\times\mathbb{R}\times\mathbb{R}\times\mathbb {R},\mathbb{R} )\) are given functions; and for \(\varphi\in C (I_{\alpha}^{T}\times I_{\alpha}^{T},[0,\infty) )\), define \(\Psi_{v}x(t):= ( I_{v}\varphi x )(t)=\int_{0}^{t} \varphi(t,s)x(s)\, d_{v}s\).

From our problem, we see that there are six different values of the q numbers consisting of \(q,p,o,w\)-derivatives and \(v,r\)-integrals. This paper is organized as follows. We give some basis definitions, some properties of the q-difference operator and lemma as material used for this study in Section 2. To achieve proving the existence and uniqueness of solution of the given problem (1.5), we employ Banach’s contraction mapping principle and Krasnoselskii’s fixed point theorem in Section 3. Using our main results, we provide an example in Section 4.

2 Preliminaries

In the following, there are notations, definitions, and lemmas which are used in the main results. Let \(q\in(0,1)\) and define

$$ [n]_{q}:=\frac{1-q^{n}}{1-q}=q^{n-1}+\cdots+q+1\quad \text{and}\quad [n]_{q}!:=\prod_{k=1}^{n} \frac{1-q^{k}}{1-q}, \quad n\in\mathbb{R}. $$

The q-analog of the exponential function is

$$ e_{q}^{x}:= \sum_{k=0}^{\infty}\frac{x^{k}}{[k]_{q}!}. $$

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

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

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

$$(a-b)^{(\alpha)}:=a^{\alpha}\prod_{n=0}^{\infty} \frac {1- (\frac{b}{a} )q^{n}}{1- (\frac{b}{a} )q^{\alpha+n}}, \quad a\neq0. $$

Note that if \(b = 0\) then \(a^{(\alpha)} = a^{\alpha}\). We also use the notation \(0^{(\alpha)}=0\) for \(\alpha>0\). 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)\).

For any \(x,s>0\), the q-beta function is defined by

$$\begin{aligned} B_{q}(x,s) :=& \int_{0}^{1}t^{(x-1)}(1-qt)^{(s-1)}\, d_{q}t \\ =&(1-q) \sum_{n=0}^{\infty}q^{n} \bigl(1-q^{n+1}\bigr)^{(\alpha -1)} \bigl(q^{n} \bigr)^{(x-1)}=\frac{\Gamma_{q}(x)\Gamma_{q}(s)}{\Gamma _{q}(x+s)}. \end{aligned}$$

Definition 2.1


For \(q\in(0,1)\), the q-derivative of a real function f is defined by

$$D_{q}f(t) = \frac{f(t)-f(qt)}{(1-q)t}\quad \text{and}\quad D_{q}f(0)=\lim_{t \to0}D_{q}f(t). $$

For higher order q-derivatives of f, we define

$$ D^{n}_{q} f(t) = D_{q} D^{n-1}_{q} f(t) , \quad n \in\mathbb{N} \quad \mbox{and}\quad D^{0}_{q} f(t) = f(t) . $$

Next, if f is a function defined on the interval \([0,T]\), q-integral is defined as

$$I_{q}f ( t ) = \int_{0}^{t}f ( s ) \, d_{q}s=\sum _{n=0}^{\infty}t(1-q) q^{n}f \bigl( tq^{n} \bigr). $$

Note from the last term of the above definition that the infinite series is convergent.

Definition 2.2


For \(\alpha\geq0\) and f defined on \([0, T]\), the fractional q-integral of the Riemann-Liouville type is defined by

$$\begin{aligned} \bigl(I_{q}^{\alpha}f\bigr) (x) :=&\frac{1}{\Gamma_{q}(\alpha)} \int _{0}^{x} (x-qt)^{(\alpha-1)}f(t) \, d_{q}t \\ =&\frac{x (1-q)}{\Gamma_{q}(\alpha)} \sum_{n=0}^{\infty}q^{n} \bigl(x-x^{n+1}\bigr)^{(\alpha-1)} f\bigl(xq^{n}\bigr) \\ =&\frac{x^{\alpha}(1-q)}{\Gamma_{q}(\alpha)} \sum_{n=0}^{\infty}q^{n} \bigl(1-q^{n+1}\bigr)^{(\alpha-1)} f\bigl(xq^{n}\bigr) \end{aligned}$$

and \((I^{0}_{q} f)(x) = f(x)\).

Definition 2.3


For \(\alpha\geq0\) and f defined on \([0, T]\), the fractional q-derivative of the Riemann-Liouville type of order α is defined by

$$ \bigl(D_{q}^{\alpha}f\bigr) (x):=\bigl(D_{q}^{m} I_{q}^{m-\alpha} f\bigr) (x), \quad \alpha>0\quad \mbox{and}\quad \bigl(D^{0}_{q}f\bigr) (x) = f(x), $$

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

Lemma 2.1


Let \(\alpha,\beta\geq0\) and f be a function defined on \([0, T]\). Then the next formulas hold:

$$\begin{aligned} (\mathrm{i}) &\quad \bigl(I_{q}^{\beta}I_{q}^{\alpha}f\bigr) (x)=\bigl(I_{q}^{\alpha+\beta}f\bigr) (x), \\ (\mathrm{ii}) &\quad \bigl(D_{q}^{\alpha}I_{q}^{\alpha}f\bigr) (x)=f(x). \end{aligned}$$

Lemma 2.2


Let \(\alpha> 0\) and N be a positive integer. Then the following equality holds:

$$ \bigl(I_{q}^{\alpha}D_{q}^{N} f\bigr) (x)=\bigl(D_{q}^{N} I_{q}^{\alpha}f\bigr) (x)- \sum_{k=0}^{N-1}\frac{x^{\alpha-N+k}}{\Gamma_{q}(\alpha+k-N+1)} \bigl(D_{q}^{k} f\bigr) (0). $$

Lemma 2.3


Let \(\alpha,\beta\geq0\) and \(0< p,q<1\). Then the following formulas hold:

$$\begin{aligned} (\mathrm{i}) &\quad \int_{0}^{\eta}(\eta-qt)^{(\alpha-1)}t^{(\beta)} \, d_{q}t=\eta ^{\alpha+\beta}B_{q}(\alpha,\beta+1), \\ (\mathrm{ii}) &\quad \int_{0}^{\eta}\int_{0}^{s}(\eta-ps)^{(\alpha-1)}(s-qt)^{(\beta -1)} \, d_{q}t\, d_{p}s=\frac{\eta^{\alpha+\beta}}{[\beta]_{q}}B_{p}(\alpha ,\beta+1). \end{aligned}$$

To define the solution of the boundary value problem (1.5), we need the following lemma, which deals with a linear variant of the boundary value problem (1.5) and gives a representation of the solution.

Lemma 2.4

Let \(p=\frac{p_{1}}{p_{2}}\), \(q=\frac{q_{1}}{q_{2}}\), \(o=\frac {o_{1}}{o_{2}}\), \(r=\frac{r_{1}}{r_{2}}\), and \(\beta=\frac{1}{\operatorname{LCM} (p_{2},q_{2},o_{2},r_{2} )}\) be proper fractions, \(\kappa>0\). For \(h \in C(I_{\beta}^{T},{\mathbb{R}})\) and \(\rho,\sigma\in C(I_{\beta}^{T},{\mathbb{R}}^{+})\), the solution for the problem

$$\begin{aligned}& D_{q} \bigl[ \rho(t)D_{p}^{\gamma}( \kappa+D_{o} ) \bigr] x(t) = h(t), \quad t\in I_{\beta}^{T}, \end{aligned}$$
$$\begin{aligned}& \textstyle\begin{cases} x(0)=x(T), \\ ( D_{o} [e_{o}^{\kappa t} x(t) ] ) _{t=0} = D_{o} [e_{o}^{\kappa T}x(T) ], \\ I_{r}^{\theta}\sigma(T) x(T)=0, \end{cases}\displaystyle \end{aligned}$$

is of the form

$$\begin{aligned} e_{o}^{\kappa t}x(t) =& \frac{1}{\Gamma_{p}(\gamma)} \int_{0}^{t} \int_{0}^{s} \int_{0}^{z}\frac {e_{o}^{\kappa s}(s-pz)^{(\gamma-1)}}{\rho(z)}h(u) \, d_{q}u\, d_{p}z\, d_{o}s-\mathbf{O}_{1}(h) \\ &{}-\mathbf{O}_{2}(h) \biggl[ \frac{1}{\Gamma_{p}(\gamma )} \int_{0}^{t} \int_{0}^{s}\frac{e_{o}^{\kappa s}(s-pz)^{(\gamma-1)}}{\rho (z)} \, d_{p}z \, d_{o}s-\mathbf{A} \biggr] +\mathbf{O}_{3}(h) \bigl[ e_{o}^{\kappa t}+ {\mathbf{B}} \bigr], \end{aligned}$$

where the functionals \(\mathbf{O}_{i}(h)\), \(i=1,2,3\) are defined by

$$\begin{aligned}& \mathbf{O}_{1}(h)= \frac{1}{\Gamma_{p}(\gamma)\Gamma _{r}(\theta)\int_{0}^{T}\sigma(s) (T-rs)^{(\theta-1)} \, d_{r}s} \\& \hphantom{\mathbf{O}_{1}(h)={}}{}\times \int_{0}^{T} \int_{0}^{s} \int_{0}^{z} \int_{0}^{y} \frac{\sigma (s)e_{o}^{\kappa z} (T-rs)^{(\theta-1)}(z-py)^{(\gamma-1)}}{e_{o}^{\kappa T}\rho(y)}h(u)\, d_{q}u\, d_{p}y\, d_{o}z\, d_{r}s , \end{aligned}$$
$$\begin{aligned}& \mathbf{O}_{2}(h)= \frac{ e_{o}^{\kappa T}}{\Gamma_{p}(\gamma ) \int_{0}^{T}\frac{(T-ps)^{(\gamma-1)} }{\rho(s)}\, d_{p}s} \int_{0}^{T} \int _{0}^{s}\frac{(T-ps)^{(\gamma-1)}}{\rho(s)} h(u)\, d_{q}u\, d_{p}s , \end{aligned}$$
$$\begin{aligned}& \mathbf{O}_{3}(h)= \frac{1}{\Gamma_{p}(\gamma) (e_{o}^{\kappa T}-1 )} \biggl( \int_{0}^{T} \int_{0}^{s} \int_{0}^{z}e_{o}^{\kappa s} \frac{(s-pz)^{(\gamma -1)}}{\rho(z)} h(u)\, d_{q}u\, d_{p}z\, d_{o}s \\& \hphantom{\mathbf{O}_{3}(h)={}}{} +\frac{e_{o}^{\kappa T}\int_{0}^{T}\int_{0}^{s}e_{o}^{\kappa s}\frac {(T-pz)^{(\gamma-1)}}{\rho(z)}\, d_{p}z\, d_{o}s}{\int_{0}^{T}\frac {(T-ps)^{(\gamma-1)} }{\rho(s)}\, d_{p}s} \int_{0}^{T} \int_{0}^{s}\frac{(T-ps)^{(\gamma-1)}}{\rho(s)} h(u)\, d_{q}u\, d_{p}s \biggr), \end{aligned}$$

and the constants

$$\begin{aligned}& \mathbf{A}=\frac{1}{\Gamma_{p}(\gamma)\int_{0}^{T}\sigma(s) (T-rs)^{(\beta-1)}\, d_{r}s} \\& \hphantom{\mathbf{A}={}}{}\times \int_{0}^{T} \int_{0}^{s} \int_{0}^{z} \frac{\sigma(s)e_{o}^{\kappa z} (T-rs)^{(\beta-1)}(z-py)^{(\gamma-1)}}{e_{o}^{\kappa T}\rho(y)} \, d_{p}y \, d_{o}z\, d_{r}s , \end{aligned}$$
$$\begin{aligned}& \mathbf{B}=\frac{1}{\int_{0}^{T}\sigma(s) (T-rs)^{(\theta-1)}\, d_{r}s} \int_{0}^{T} \int_{0}^{s}\sigma(s)e_{o}^{\kappa z} (T-rs)^{(\theta-1)} \, d_{o}z\, d_{r}s. \end{aligned}$$


We first q-integrate (2.1) to obtain

$$ D_{p}^{\gamma}(\kappa+D_{o} )x(t) = \frac{1}{\rho (t)} \biggl( \int_{0}^{t}h(s)\, d_{q}s+C_{1} \biggr). $$

Then, taking the p-integral of order γ for (2.9), we have

$$\begin{aligned} (\kappa+D_{o} ) x(t) = &\frac{1}{\Gamma_{p}(\gamma)} \int_{0}^{t} \int_{0}^{s}\frac{(t-ps)^{(\gamma-1)}h(u)}{\rho (s)}\, d_{q}u\, d_{p}s \\ &{}+\frac{C_{1}}{\Gamma_{p}(\gamma)} \int_{0}^{t}\frac{(t-ps)^{(\gamma -1)}}{\rho(s)}\, d_{p}s+C_{2}, \end{aligned}$$

which can alternatively be written as

$$\begin{aligned} D_{o} \bigl( e_{o}^{\kappa t}x(t) \bigr) = & \bigl(\kappa e_{o}^{\kappa t}+e_{o}^{\kappa t}D_{o} \bigr) x(t) \\ = &\frac{e_{o}^{\kappa t }}{\Gamma_{p}(\gamma)} \int_{0}^{t} \int_{0}^{s}\frac {(t-ps)^{(\gamma-1)}h(u)}{\rho(s)}\, d_{q}u\, d_{p}s \\ &{}+\frac{C_{1}e_{o}^{\kappa t}}{\Gamma_{p}(\gamma)} \int_{0}^{t}\frac {(t-ps)^{(\gamma-1)}}{\rho(s)}\, d_{p}s+C_{2}e_{o}^{\kappa t}. \end{aligned}$$

Taking the o-integration of (2.11), we have

$$\begin{aligned} e_{o}^{\kappa t} x(t) = &\frac{1}{\Gamma_{p}(\gamma)} \int_{0}^{t} \int _{0}^{s} \int_{0}^{z}e_{o}^{\kappa s} \frac{(s-pz)^{(\gamma-1)}h(u)}{\rho (z)}\, d_{q}u\, d_{p}z\, d_{o}s \\ &{}+\frac{C_{1}}{\Gamma_{p}(\gamma)} \int_{0}^{t} \int_{0}^{s}e_{o}^{\kappa s} \frac {(s-pz)^{(\gamma-1)}}{\rho(z)}\, d_{p}z\, d_{o}s+C_{2} \int_{0}^{t}e_{o}^{\kappa s}\, d_{o}s+C_{3}. \end{aligned}$$

Letting \(t=0,T\) in (2.11) and (2.12), and employing the first and second conditions of (2.2), we get

$$\begin{aligned}& C_{1} =-\frac{e_{o}^{\kappa T}\int_{0}^{T}\int_{0}^{s}\frac{(T-ps)^{(\gamma -1)}}{\rho(s)}h(u)\, d_{q}u\, d_{p}s}{\int_{0}^{T}\frac{(T-ps)^{(\gamma-1)} }{\rho(s)}\, d_{p}s}, \end{aligned}$$
$$\begin{aligned}& C_{2}= \frac{1}{\Gamma_{p}(\gamma)\int_{0}^{T}e_{o}^{\kappa s}\, d_{o}s} \biggl( \int_{0}^{T} \int_{0}^{s} \int_{0}^{z}e_{o}^{\kappa s} \frac{(s-pz)^{(\gamma -1)}}{\rho(z)}h(u)\, d_{q}u\, d_{p}z\, d_{o}s \\& \hphantom{C_{2}={}}{}+\frac{e_{o}^{\kappa T}\int_{0}^{T}\int_{0}^{s}\frac{(T-ps)^{(\gamma -1)}}{\rho(s)}h(u)\, d_{q}u\, d_{p}s}{\int_{0}^{T}\frac{(T-ps)^{(\gamma-1)} }{\rho(s)}\, d_{p}s} \int_{0}^{T} \int_{0}^{s}e_{o}^{\kappa s} \frac{(T-pz)^{(\gamma-1)}}{\rho(z)}\, d_{p}z\, d_{o}s \biggr). \end{aligned}$$

Next, taking the r-integral of order θ for \(\sigma (t)x(t) \) where \(t\in I_{\beta}^{T}\), we have

$$\begin{aligned} I_{r}^{\theta}\sigma(t)x(t) = &\frac{1}{\Gamma _{p}(\gamma)\Gamma_{r}(\theta)} \int_{0}^{t} \int_{0}^{s} \int _{0}^{z} \int_{0}^{y} \frac{\sigma(s)e_{o}^{\kappa z} (t-rs)^{(\theta -1)}(z-py)^{(\gamma-1)}}{e_{o}^{\kappa t}\rho(y)} \\ &{}\times h(u) \, d_{q}u\, d_{p}y\, d_{o}z\, d_{r}s \\ &{}+\frac{C_{1}}{\Gamma_{p}(\gamma)\Gamma_{r}(\theta)} \int _{0}^{t} \int_{0}^{s} \int_{0}^{z} \frac{\sigma(s)e_{o}^{\kappa z} (t-rs)^{(\theta -1)}(z-py)^{(\gamma-1)}}{e_{o}^{\kappa t}\rho(y)} \, d_{p}y \, d_{o}z\, d_{r}s \\ &{}+\frac{C_{2}}{\Gamma_{r}(\theta)} \int_{0}^{t} \int_{0}^{s}\sigma (s)e_{o}^{\kappa z} (t-rs)^{(\theta-1)} \, d_{p}y\, d_{o}z\, d_{r}s \\ &{}+\frac{C_{3}}{\Gamma_{r}(\theta)} \int_{0}^{t}\sigma(s) (t-rs)^{(\theta-1)} d_{r}s. \end{aligned}$$

By substituting \(C_{1}\), \(C_{2}\) into (2.10) and employing the third condition of (2.2), we find that

$$\begin{aligned} C_{3} = &\frac{1}{\Gamma_{p}(\gamma)\Gamma_{r}(\theta) \int _{0}^{T}\sigma(s) (T-rs)^{(\beta-1)} \,d_{r}s} \biggl\{ \frac{e_{o}^{\kappa T}\int_{0}^{T}\int_{0}^{s}\frac{(T-ps)^{(\gamma-1)}}{\rho (s)}h(u)\,d_{q}u\,d_{p}s}{\int_{0}^{T}\frac{(T-ps)^{(\gamma-1)} }{\rho(s)}\,d_{p}s} \\ &{}\times \int_{0}^{T} \int_{0}^{s} \int_{0}^{z} \frac{\sigma(s)e_{o}^{\kappa z} (T-rs)^{(\beta-1)}(z-py)^{(\gamma-1)}}{e_{o}^{\kappa T}\rho (y)}h(u) \,d_{p}y\,d_{o}z\,d_{r}s \\ &{}- \frac{1}{\int_{0}^{T}e_{o}^{\kappa s} \,d_{o}s} \biggl( \int_{0}^{T} \int_{0}^{s} \int_{0}^{z}e_{o}^{\kappa s} \frac{(s-pz)^{(\gamma -1)}}{\rho(z)}h(u)\,d_{q}u\,d_{p}z\,d_{o}s \\ &{}+\frac{e_{o}^{\kappa T}\int_{0}^{T}\int_{0}^{s}\frac{(T-ps)^{(\gamma -1)}}{\rho(s)}h(u)\,d_{q}u\,d_{p}s}{\int_{0}^{T}\frac{(T-ps)^{(\gamma-1)} }{\rho(s)}\,d_{p}s} \int_{0}^{T} \int_{0}^{s}e_{o}^{\kappa s} \frac{(T-pz)^{(\gamma-1)}}{\rho(z)}\,d_{p}z\,d_{o}s \biggr) \\ &{}\times \int_{0}^{T} \int_{0}^{s}\sigma(s)e_{o}^{\kappa z} (T-rs)^{(\beta-1)} \,d_{p}y\,d_{o}z\,d_{r}s \\ &{}- \int_{0}^{T} \int_{0}^{s} \int_{0}^{z} \int_{0}^{y} \frac{\sigma (s)e_{o}^{\kappa z} (T-rs)^{(\beta-1)}(z-py)^{(\gamma-1)}}{e_{o}^{\kappa T}\rho(y)}h(u) \,d_{q}u\,d_{p}y\,d_{o}z\,d_{r}s \biggr\} . \end{aligned}$$

Substituting \(C_{1}\), \(C_{2}\), and \(C_{3}\) into (2.12), we obtain (2.3).

On the other hand, we shall show that (2.3) is the solution of problem (2.1)-(2.2). First of all, taking the o-derivative for (2.3), we obtain

$$\begin{aligned} D_{o} \bigl( e_{o}^{\kappa t}x(t) \bigr) = & \frac{e_{o}^{\kappa t}}{\Gamma_{p}(\gamma)} \int_{0}^{t} \int_{0}^{s}\frac {(t-ps)^{(\gamma-1)}h(u)}{\rho(s)}\,d_{q}u \,d_{p}s \\ &{}- \frac{e_{o}^{\kappa t}\mathbf{O}_{2}(h)}{\Gamma_{p}(\gamma )} \int_{0}^{t}\frac{(t-ps)^{(\gamma-1)}}{\rho(s)}\,d_{p}s+ \mathbf{O}_{3}(h) \kappa e_{o}^{\kappa t}, \end{aligned}$$

which can alternatively be written as

$$\begin{aligned} (\kappa+D_{o} ) x(t) = & \frac{1}{\Gamma_{p}(\gamma)} \int_{0}^{t} \int_{0}^{s}\frac{(t-ps)^{(\gamma-1)}h(u)}{\rho (s)}\,d_{q}u \,d_{p}s \\ &{}- \frac{\mathbf{O}_{2}(h)}{\Gamma_{p}(\gamma)} \int _{0}^{t}\frac{(t-ps)^{(\gamma-1)}}{\rho(s)}\,d_{p}s+ \mathbf{O}_{3}(h). \end{aligned}$$

Taking the p-derivative of order γ for (2.18), we have

$$ \rho(t) D_{p}^{\gamma}(\kappa+D_{o} )x(t) = \int _{0}^{t}h(s)\,d_{q}s+ \mathbf{O}_{2}(h). $$

Finally, taking the q-derivative for (2.19), we obtain (2.1). The proof is completed. □

3 Main results

In order to prove the main results, we need to transform the boundary value problem (1.5) into a fixed point problem. We employ Lemma 2.4 by letting \(P(t) = \frac{1}{\rho(t)}\), the Banach space \(\mathcal{C} = C(I_{\alpha}^{T},\mathbb{R})=\{x:I_{\alpha}^{T}\rightarrow\mathbb{R} \mid x \in C(I_{\alpha}^{T})\}\) equipped with a topology of uniform convergence with respect to the norm

$$\|x\|_{\mathcal{C}} = \|x\|+\bigl\Vert D_{w} \bigl[e_{o}^{\kappa t} x(t) \bigr]\bigr\Vert , $$

where \(\|x\|= \sup_{t\in I_{\alpha}^{T}}|x(t)| \) and \(\|D_{w} [e_{o}^{\kappa t} x(t) ] \|= \sup_{t\in I_{\alpha}^{T}} |D_{w} [e_{o}^{\kappa t} x(t) ] |\). Define an operator \(F:\mathcal{C}\rightarrow\mathcal{C}\) by

$$\begin{aligned} (Fx) (t) = & \frac{e_{o}^{-\kappa t}}{\Gamma_{p}(\gamma)} \int_{0}^{t} \int_{0}^{s} \int _{0}^{z}e_{o}^{\kappa s}(s-pz)^{(\gamma-1)}P(z) \\ &{}\times f \bigl( u,x(u),D_{w} \bigl[e_{o}^{\kappa u} x(u) \bigr],\Psi_{v}x(u) \bigr) \,d_{q}u\,d_{p}z \,d_{o}s \\ &{}-e_{o}^{-\kappa t} \mathbf{O}^{*}_{1}(f)-e_{o}^{-\kappa t} \mathbf{O}^{*}_{2}(f) \biggl[ \frac{1}{\Gamma_{p}(\gamma )} \int_{0}^{t} \int_{0}^{s}e_{o}^{\kappa s}(s-pz)^{(\gamma-1)}P(z) \,d_{p}z\,d_{o}s-\mathbf{A} \biggr] \\ &{}+e_{o}^{-\kappa t} \mathbf{O}^{*}_{3}(f) \biggl[ \int _{0}^{t}e_{o}^{\kappa s} \,d_{o}s-{\mathbf{B}} \biggr], \end{aligned}$$

where \(p=\frac{p_{1}}{p_{2}}\), \(q=\frac{q_{1}}{q_{2}}\), \(o=\frac {o_{1}}{o_{2}}\), \(r=\frac{r_{1}}{r_{2}}\), \(w=\frac{w_{1}}{w_{2}}\), \(v=\frac {v_{1}}{v_{2}}\), \(\alpha=\frac{1}{\operatorname{LCM} (p_{2},q_{2},o_{2},r_{2},w_{2},v_{2} )}\) are proper fractions, \(w\leq o\); \(\kappa\leq\frac{1}{T}\); and \(\mathbf{O}^{*}_{i}(f)\), \(i=1,2,3\), are defined by

$$\begin{aligned}& \mathbf{O}^{*}_{1}(f)= \frac{1}{\Gamma_{p}(\gamma)\int _{0}^{T}\sigma(s) (T-rs)^{(\theta-1)} \,d_{r}s} \int_{0}^{T} \int _{0}^{s} \int_{0}^{z} \int_{0}^{y} \sigma(s) e_{o}^{\kappa(z-T)} (T-rs)^{(\theta -1)} \\& \hphantom{\mathbf{O}^{*}_{1}(f)={}}{}\times(z-py)^{(\gamma-1)} P(y)f \bigl( u,x(u),D_{w} \bigl[e_{o}^{\kappa u} x(u) \bigr],\Psi_{v}x(u) \bigr) \,d_{q}u\,d_{p}y\,d_{o}z\,d_{r}s , \end{aligned}$$
$$\begin{aligned}& \mathbf{O}^{*}_{2}(f)= \frac{ e_{o}^{\kappa T}}{ \int _{0}^{T}(T-ps)^{(\gamma-1)} P(s) \,d_{p}s} \int_{0}^{T} \int_{0}^{s}(T-ps)^{(\gamma -1)}P(s) \\& \hphantom{\mathbf{O}^{*}_{2}(f)={}}{}\times f \bigl( u,x(u),D_{w} \bigl[e_{o}^{\kappa u} x(u) \bigr],\Psi_{v}x(u) \bigr) \,d_{q}u \,d_{p}s , \end{aligned}$$
$$\begin{aligned}& \mathbf{O}^{*}_{3}(f)= \frac{1}{\Gamma_{p}(\gamma) [e_{o}^{\kappa T}-1 ]} \\& \hphantom{\mathbf{O}^{*}_{3}(f)={}}{}\times \biggl\{ \int_{0}^{T} \int_{0}^{s} \int_{0}^{z}e_{o}^{\kappa s}(s-pz)^{(\gamma-1)} P(z)f \bigl( u,x(u),D_{w} \bigl[e_{o}^{\kappa u} x(u) \bigr],\Psi _{v}x(u) \bigr) \,d_{q}u\,d_{p}z \,d_{o}s \\& \hphantom{\mathbf{O}^{*}_{3}(f)={}}{}+\frac{e_{o}^{\kappa T}\int_{0}^{T}\int_{0}^{s}e_{o}^{\kappa s}(T-pz)^{(\gamma -1)}P(z) \,d_{p}z\,d_{o}s}{\int_{0}^{T}(T-ps)^{(\gamma-1)} P(s) \,d_{p}s} \\& \hphantom{\mathbf{O}^{*}_{3}(f)={}}{}\times \int_{0}^{T} \int_{0}^{s}(T-ps)^{(\gamma-1)} P(s)f \bigl( u,x(u),D_{w} \bigl[e_{o}^{\kappa u} x(u) \bigr], \Psi_{v}x(u) \bigr) \,d_{q}u\,d_{p}s \biggr\} , \end{aligned}$$

with the constants A, B defined as (2.7)-(2.8), respectively.

Clearly problem (1.5) has solutions if and only if the operator F has fixed points.

Theorem 3.1

Assume \(\sigma,P:I_{\alpha}^{T}\rightarrow\mathbb{R}^{+}\), \(f:I_{\alpha}^{T}\times\mathbb{R}\times\mathbb{R}\times\mathbb{R}\rightarrow \mathbb{R}\) and \(\varphi:I_{\alpha}^{T}\times I_{\alpha}^{T}\rightarrow [0,\infty)\) are continuous, let \(\varphi_{0}:= \sup_{(t,s)\in I_{\alpha}^{T}\times I_{\alpha}^{T}}\{\varphi(t,s)\}\). In addition, assume that f, σ, and P satisfy the following conditions:


there exist positive constants \(L_{1}\), \(L_{2}\), and \(L_{3}\) such that

$$\begin{aligned}& \bigl\vert f \bigl(t,x,D_{w}\bigl( e_{o}^{\kappa t}x \bigr) ,\Psi_{v}x \bigr)-f \bigl(t,y,D_{w}\bigl( e_{o}^{\kappa t}y\bigr) ,\Psi_{v}y \bigr)\bigr\vert \\& \quad \leq L_{1}|x-y| + L_{2}\bigl\vert D_{w} \bigl( e_{o}^{\kappa t}x\bigr)-D_{w}\bigl( e_{o}^{\kappa t}y\bigr)\bigr\vert +L_{3}| \Psi_{v}x-\Psi_{v}y|, \end{aligned}$$

for all \(t\in I_{\alpha}^{T}\) and \(x,y\in\mathbb{R}\),


\(0< m<\sigma(t)<M \) and \(0< n< P(t)< N\), for all \(t\in I_{\alpha}^{T}\),


\(\lambda(\Omega_{1}+\Omega_{2}) <1\),


$$\begin{aligned}& \lambda= \max \{L_{1}+ \varphi_{0}TL_{3}, L_{2} \}, \\& \Omega_{1}= \frac{T^{\gamma+2}N}{\Gamma_{p}(\gamma +2)[\gamma+2]_{o}} \bigl[1+ M[\theta]_{r}B_{r}( \theta,\gamma+3) \bigr]+ \biggl[ \frac{T}{[\gamma+1]_{o}}+ \frac{M[\theta]_{r}B_{r}(\theta,\gamma +2)}{m[r+1]_{p}} \biggr] \\& \hphantom{\Omega_{1}={}}{}\times \frac{N^{2}e_{o}^{\kappa T}T^{\gamma}}{n\Gamma_{p}(\gamma +2)} + \frac{Ne_{o}^{\kappa T}T^{\gamma+1}}{n\Gamma_{p}(\gamma+2)} \biggl[ \frac {T}{[\gamma+2]_{o}}+\frac{1}{[\gamma+1]_{o}} \biggr] \biggl[1+\frac {Me_{o}^{\kappa T}}{m[\theta+1]_{r}} \biggr] , \\& \Omega_{2}= \frac{T^{\gamma}N[\gamma+1]_{w}}{\Gamma _{p}(\gamma+2)} \biggl[ \frac{T}{[\gamma+2]_{o}}+ + \frac{N e_{o}^{\kappa T}}{n[\gamma+1]_{o}} \biggr] \\& \hphantom{\Omega_{2}={}}{}+ \frac{N\kappa ( e_{o}^{\kappa T} ) ^{2}T^{\gamma}}{\Gamma _{p}(\gamma+2)} \biggl[\frac{T}{[\gamma+2]_{o}}+ \frac{1}{[\gamma+1]_{o}} \biggr]. \end{aligned}$$

Then the given boundary value problem (1.5) has a unique solution.


As mentioned earlier, we need to transform the boundary value problem (1.5) into a fixed point problem \(x=Fx\), where \(F:\mathcal{C}\rightarrow\mathcal{C}\) is defined by (3.1). We assume that \(\sup_{t\in I_{\alpha}^{T}}{|f(t,0,0,0)|} = K\) and choose a constant R satisfying the inequality

$$ R\geq\frac{K (\Omega_{1}+\Omega_{2})}{1-\lambda(\Omega_{1}+\Omega_{2})}. $$

For \(x\in B_{R}\), the following is to prove that \(FB_{R}\subset B_{R}\), where \(B_{R} = \{x \in \mathcal{C}: \|x\| \leq R\}\). First we consider

$$\begin{aligned}& \bigl\vert \mathbf{O}^{*}_{1}(f)\bigr\vert \leq \sup _{t\in I_{\alpha}^{T}}\biggl\vert \frac{MN}{m\Gamma_{p}(\gamma)\int_{0}^{T} (T-rs)^{(\theta-1)} \,d_{r}s} \int_{0}^{T} \int_{0}^{s} \int _{0}^{z} \int_{0}^{y} (T-rs)^{(\theta-1)}(z-py)^{(\gamma-1)} \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{1}(f)\bigr\vert \leq{}} {}\times \bigl(\bigl\vert f \bigl(u,x(u),D_{w} \bigl[e_{o}^{\kappa u}x(u)\bigr],\Psi_{v}x(u) \bigr)-f(u,0,0,0)\bigr\vert \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{1}(f)\bigr\vert \leq{}} {}+ \bigl\vert f(u,0,0,0)\bigr\vert \bigr) \,d_{q}u\,d_{p}y\,d_{o}z\,d_{r}s\biggr\vert \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{1}(f)\bigr\vert }\leq \sup_{t\in I_{\alpha}^{T}}\biggl\vert \frac{MN ( (L_{1}+\varphi_{0}TL_{3})\vert x(u)\vert +L_{2} |D_{w}[e_{o}^{\kappa u}x(u)] |+K )}{m\Gamma_{p}(\gamma)\int_{0}^{T} (T-rs)^{(\theta-1)} \,d_{r}s} \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{1}(f)\bigr\vert \leq{}}{}\times \int_{0}^{T} \int_{0}^{s} \int_{0}^{z} \int_{0}^{y} (T-rs)^{(\theta -1)}(z-py)^{(\gamma-1)} \,d_{q}u\,d_{p}y\,d_{o}z\,d_{r}s \biggr\vert \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{1}(f)\bigr\vert } \leq \sup_{t\in I_{\alpha}^{T}} \biggl\{ \bigl(\lambda \Vert x \Vert _{\mathcal{C}}+K\bigr) \biggl( \frac{MN\Gamma_{r}(\theta+1)\Gamma_{r}(\gamma +3)T^{\gamma+2}}{n\Gamma_{p}(\gamma+2)\Gamma_{r}(\theta+\gamma +3)[\gamma+2]_{o}} \biggr) \biggr\} , \end{aligned}$$
$$\begin{aligned}& \bigl\vert \mathbf{O}^{*}_{2}(f)\bigr\vert \leq \sup _{t\in I_{\alpha}^{T}}\biggl\vert \frac{ Ne_{o}^{\kappa T}}{n \int _{0}^{T}(T-ps)^{(\gamma-1)} \,d_{p}s} \int_{0}^{T} \int_{0}^{s}(T-ps)^{(\gamma -1)} \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{2}(f)\bigr\vert \leq{}}{}\times \bigl(\bigl\vert f \bigl(u,x(u),D_{w} \bigl[e_{o}^{\kappa u}x(u)\bigr],\Psi_{v}x(u) \bigr)-f(u,0,0,0)\bigr\vert \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{2}(f)\bigr\vert \leq{}}{}+ \bigl\vert f(u,0,0,0)\bigr\vert \bigr) \,d_{q}u\,d_{p}s\biggr\vert \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{2}(f)\bigr\vert }\leq \sup_{t\in I_{\alpha}^{T}}\biggl\vert \frac{ Ne_{o}^{\kappa T} ( (L_{1}+\varphi_{0}TL_{3})|x(u)|+L_{2} |D_{w}[e_{o}^{\kappa u}x(u)] |+K )}{n\int_{0}^{T}(T-ps)^{(\gamma-1)} \,d_{p}s} \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{2}(f)\bigr\vert \leq{}}{}\times \int_{0}^{T} \int_{0}^{s}(T-ps)^{(\gamma-1)} \,d_{q}u\,d_{p}s\biggr\vert \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{2}(f)\bigr\vert }\leq \bigl(\lambda\|x\|_{\mathcal{C}}+K\bigr) \biggl( \frac {Ne_{o}^{\kappa T}}{n[\gamma+1]_{p}} \biggr), \end{aligned}$$
$$\begin{aligned}& \bigl\vert \mathbf{O}^{*}_{3}(f)\bigr\vert \leq \sup _{t\in I_{\alpha}^{T}}\biggl\vert \frac{Ne_{o}^{\kappa T}}{\Gamma_{p}(\gamma ) [e_{o}^{\kappa T}-1 ]} \biggl\{ \int_{0}^{T} \int_{0}^{s} \int_{0}^{z}(s-pz)^{(\gamma-1)} \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{3}(f)\bigr\vert \leq{}}{}\times \bigl(\bigl\vert f \bigl(u,x(u),D_{w} \bigl[e_{o}^{\kappa u}x(u)\bigr],\Psi_{v}x(u) \bigr)-f(u,0,0,0)\bigr\vert \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{3}(f)\bigr\vert \leq{}}{}+ \bigl\vert f(u,0,0,0)\bigr\vert \bigr) \,d_{q}u\,d_{p}z\,d_{o}s \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{3}(f)\bigr\vert \leq{}}{}+\frac{Ne_{o}^{\kappa T}\int_{0}^{T}\int_{0}^{s}(T-pz)^{(\gamma-1)} \,d_{p}z\,d_{o}s}{n\int_{0}^{T}(T-ps)^{(\gamma-1)} \,d_{p}s} \int_{0}^{T} \int _{0}^{s}(T-ps)^{(\gamma-1)} \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{3}(f)\bigr\vert \leq{}}{}\times \bigl(\bigl\vert f \bigl(u,x(u),D_{w} \bigl[e_{o}^{\kappa u}x(u)\bigr],\Psi_{v}x(u) \bigr)-f(u,0,0,0)\bigr\vert \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{3}(f)\bigr\vert \leq{}}{}+ \bigl\vert f(u,0,0,0)\bigr\vert \bigr) \,d_{q}u\,d_{p}s \biggr\} \biggr\vert \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{3}(f)\bigr\vert }\leq \sup_{t\in I_{\alpha}^{T}}\biggl\vert \frac{Ne_{o}^{\kappa T}}{\Gamma_{p}(\gamma) [e_{o}^{\kappa T}-1 ]} \bigl( (L_{1}+\varphi_{0}TL_{3}) \bigl\vert x(u)\bigr\vert +L_{2}\bigl\vert D_{w} \bigl[e_{o}^{\kappa u}x(u)\bigr]\bigr\vert +K \bigr) \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{3}(f)\bigr\vert \leq{}}{}\times \biggl\{ \int_{0}^{T} \int_{0}^{s} \int_{0}^{z}(s-pz)^{(\gamma-1)} \,d_{q}u\,d_{p}z\,d_{o}s+\frac {Ne_{o}^{\kappa T}\int_{0}^{T}\int_{0}^{s}(T-pz)^{(\gamma-1)} \,d_{p}z\,d_{o}s}{n\int _{0}^{T}(T-ps)^{(\gamma-1)} \,d_{p}s} \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{3}(f)\bigr\vert \leq{}}{}\times \int_{0}^{T} \int_{0}^{s}(T-ps)^{(\gamma-1)} \,d_{q}u\,d_{p}s \biggr\} \biggr\vert \\& \hphantom{\bigl\vert \mathbf{O}^{*}_{3}(f)\bigr\vert }\leq \bigl(\lambda \Vert x\Vert _{\mathcal{C}}+K\bigr) \biggl[ \frac {Ne_{o}^{\kappa T}T^{\gamma}}{n\Gamma_{p}(\gamma+2)} \biggl(\frac {T}{[\gamma+2]_{o}}+\frac{1}{[\gamma+1]_{o}} \biggr) \biggr], \end{aligned}$$


$$\begin{aligned}& |\mathbf{A} | \leq \frac{MN}{m\Gamma_{p}(\gamma)\int_{0}^{T} (T-rs)^{(\beta-1)} \,d_{r}s} \int_{0}^{T} \int_{0}^{s} \int_{0}^{z} (T-rs)^{(\beta-1)}(z-py)^{(\gamma-1)} \,d_{p}y\,d_{o}z\,d_{r}s \\& \hphantom{ |\mathbf{A} |}\leq \sup_{t\in I_{\alpha}^{T}} \biggl\{ \frac {MNT^{\gamma+1}\Gamma_{r}(\gamma+2)\Gamma_{r}(\theta+1)}{m\Gamma _{p}(\gamma+2)\Gamma_{r}(\theta+\gamma+2)} \biggr\} , \end{aligned}$$
$$\begin{aligned}& |\mathbf{B} | \leq \frac{Me_{o}^{\kappa T} }{m\int_{0}^{T} (T-rs)^{(\theta-1)} \,d_{r}s} \int_{0}^{T} \int_{0}^{s} (T-rs)^{(\theta-1)} \,d_{o}z\,d_{r}s \leq \frac{MTe_{o}^{\kappa T}}{m[\theta+1]_{r}}. \end{aligned}$$

Consequently, we have

$$\begin{aligned} \bigl\vert (Fx) (t)\bigr\vert \leq & \sup_{t\in I_{\alpha}^{T}} \biggl\{ \frac{N}{\Gamma _{p}(\gamma)}\bigl( (L_{1}+\varphi_{0}TL_{3}) \bigl\vert x(u)\bigr\vert +L_{2}\bigl\vert D_{w} \bigl[e_{o}^{\kappa u}x(u)\bigr]\bigr\vert +K\bigr) \\ &{}\times \int_{0}^{t} \int_{0}^{s} \int_{0}^{z}(s-pz)^{(\gamma-1)} \,d_{q}u\,d_{p}z\,d_{o}s+ e_{o}^{-\kappa t} \bigl\vert \mathbf{O}^{*}_{1}(f)\bigr\vert + \bigl\vert \mathbf{O}^{*}_{2}(f)\bigr\vert \\ &{}\times \biggl[ \frac{N}{\Gamma_{p}(\gamma)} \int_{0}^{t} \int_{0}^{s}(s-pz)^{(\gamma -1)} \,d_{p}z\,d_{o}s+e_{o}^{-\kappa t}\vert \mathbf{A}\vert \biggr] +\bigl\vert \mathbf{O}^{*}_{3}(f)\bigr\vert \bigl[1+e_{o}^{-\kappa t}\vert {\mathbf{B}}\vert \bigr] \biggr\} \\ \leq & \sup_{t\in I_{\alpha}^{T}} \biggl\{ \frac{t^{\gamma +2}N(\lambda\|x\|_{\mathcal{C}}+K)}{\Gamma_{p}(\gamma+2)[\gamma +2]_{o}} + e_{o}^{-\kappa t} \bigl\vert \mathbf{O}^{*}_{1}(f)\bigr\vert \\ &{}+\bigl\vert \mathbf{O}^{*}_{2}(f)\bigr\vert \biggl[ \frac{t^{\gamma +1}N}{\Gamma_{p}(\gamma+1)[\gamma+1]_{o}}+e_{o}^{-\kappa t}\vert \mathbf {A}\vert \biggr] +\bigl\vert \mathbf{O}^{*}_{3}(f)\bigr\vert \bigl[t+e_{o}^{-\kappa t}\vert {\mathbf{B}}\vert \bigr] \biggr\} \\ \leq & \bigl(\lambda \Vert x\Vert _{\mathcal{C}}+K\bigr) \biggl( \frac {T^{\gamma+2}N}{\Gamma_{p}(\gamma+2)[\gamma+2]_{o}} \bigl[1+ M[\theta ]_{r}B_{r}(\theta, \gamma+3) \bigr] \\ &{}+\frac{N^{2}e_{o}^{\kappa T}T^{\gamma}}{n\Gamma_{p}(\gamma+2)} \biggl[ \frac{T}{[\gamma+1]_{o}}+ \frac{M[\theta]_{r}B_{r}(\theta,\gamma +2)}{m[r+1]_{p}} \biggr] \\ &{}+ \frac{Ne_{o}^{\kappa T}T^{\gamma+1}}{n\Gamma_{p}(\gamma+2)} \biggl[\frac {T}{[\gamma+2]_{o}}+\frac{1}{[\gamma+1]_{o}} \biggr] \biggl[1+\frac {Me_{o}^{\kappa T}}{m[\theta+1]_{r}} \biggr] \biggr) \\ = & \bigl(\lambda \Vert x\Vert _{\mathcal{C}}+K\bigr) \Omega_{1} \end{aligned}$$


$$\begin{aligned}& \bigl\vert D_{w} \bigl[e_{o}^{\kappa t}(Fx) \bigr](t)\bigr\vert \\& \quad \leq \sup_{t\in I_{\alpha}^{T}} \biggl\{ \frac{N}{\Gamma_{p}(\gamma)(1-w) t}\biggl\vert \int_{0}^{t} \int_{0}^{s} \int _{0}^{z}e_{o}^{\kappa s}(s-pz)^{(\gamma-1)} \\& \qquad {}\times f\bigl( u,x(u),D_{w} \bigl[e_{o}^{\kappa u} x(u) \bigr],\Psi_{v}x(u)\bigr) \,d_{q}u\,d_{p}z \,d_{o}s \\& \qquad {}- \int_{0}^{wt} \int_{0}^{s} \int_{0}^{z}e_{o}^{\kappa s}(s-pz)^{(\gamma-1)} f\bigl( u,x(u),D_{w} \bigl[e_{o}^{\kappa u} x(u) \bigr],\Psi_{v}x(u)\bigr) \,d_{q}u\,d_{p}z \,d_{o}s \biggr\vert \\& \qquad {} + \frac{N\vert \mathbf{O}^{*}_{2}(f)\vert }{\Gamma _{p}(\gamma)(1-w) t}\biggl\vert \int_{0}^{t} \int_{0}^{s}e_{o}^{\kappa s}(s-pz)^{(\gamma-1)} \,d_{p}z\,d_{o}s - \int_{0}^{wt} \int_{0}^{s}e_{o}^{\kappa s}(s-pz)^{(\gamma-1)} \,d_{p}z\,d_{o}s \biggr\vert \\& \qquad {} + \bigl\vert \mathbf{O}^{*}_{3}(f)\bigr\vert \frac{\vert e_{o}^{\kappa t} - e_{o}^{\kappa wt} \vert }{(1-w) t} \biggr\} \\& \quad \leq \sup_{t\in I_{\alpha}^{T}} \Biggl\{ \frac{Ne_{o}^{\kappa T}( (L_{1}+\varphi_{0}TL_{3})\vert x(u)\vert +L_{2} \vert D_{w}[e_{o}^{\kappa u}x(u)]\vert +K)}{\Gamma_{p}(\gamma)(1-w) t} \\& \qquad {}\times \biggl\vert \int_{0}^{t} \int_{0}^{s} \int_{0}^{z}(s-pz)^{(\gamma-1)} \,d_{q}u\,d_{p}z\,d_{o}s - \int_{0}^{wt} \int_{0}^{s} \int_{0}^{z}(s-pz)^{(\gamma-1)} \,d_{q}u\,d_{p}z\,d_{o}s \biggr\vert \\& \qquad {}+ \frac{Ne_{o}^{\kappa T}\vert \mathbf{O}^{*}_{2}(f) \vert }{\Gamma_{p}(\gamma)(1-w) t}\biggl\vert \int_{0}^{t} \int_{0}^{s}(s-pz)^{(\gamma -1)} \,d_{p}z\,d_{o}s - \int_{0}^{wt} \int_{0}^{s}(s-pz)^{(\gamma-1)} \,d_{p}z\,d_{o}s \biggr\vert \\& \qquad {}+ \bigl\vert \mathbf{O}^{*}_{3}(f)\bigr\vert \Biggl( \kappa\sum_{n=0}^{\infty}\frac{[n]_{w}}{[n]_{o}!}( \kappa t)^{n-1} \Biggr) \Biggr\} \\& \quad \leq \bigl( \lambda \Vert x\Vert _{\mathcal{C}}+K\bigr) \frac{t^{\gamma+1} N [\gamma+2]_{w}}{\Gamma_{p}(\gamma+2)[\gamma+2]_{o}}+\bigl\vert \mathbf{O}^{*}_{2}(f)\bigr\vert \frac{t^{\gamma}N [\gamma+1]_{w}}{\Gamma _{p}(\gamma+1)[\gamma+1]_{o}} \\& \qquad {} +\bigl\vert \mathbf{O}^{*}_{3}(f)\bigr\vert \Biggl( \kappa\sum_{n-1=0}^{\infty}\frac{(\kappa t)^{n-1}}{[n-1]_{o}!} \Biggr) \\& \quad \leq \bigl(\lambda \Vert x\Vert _{\mathcal{C}}+K\bigr) \biggl( \frac{T^{\gamma}N[\gamma+1]_{w}}{\Gamma_{p}(\gamma+2)} \biggl[ \frac{T}{[\gamma+2]_{o}}+ +\frac{N e_{o}^{\kappa T}}{n[\gamma+1]_{o}} \biggr] \\& \qquad {}+ \frac{N\kappa ( e_{o}^{\kappa T} ) ^{2}T^{\gamma}}{\Gamma _{p}(\gamma+2)} \biggl[\frac{T}{[\gamma+2]_{o}}+\frac{1}{[\gamma+1]_{o}} \biggr] \biggr) \\& \quad = \bigl(\lambda \Vert x\Vert _{\mathcal{C}}+K\bigr) \Omega_{2}. \end{aligned}$$

Therefore, we obtain

$$ \|Fx\|_{\mathcal{C}} \leq \bigl(\lambda\|x\|_{\mathcal{C}}+K\bigr) ( \Omega_{1}+\Omega_{2} ) \leq (\lambda R+K) ( \Omega_{1}+\Omega _{2} ) \leq R. $$

Hence, we can conclude that \(FB_{R}\subset B_{R}\).

Further, considering for any \(x, y\in\mathcal{C}\) and \(t\in I_{\alpha}^{T}\), letting

$$\bigl\vert f\bigl[x(t)\bigr]-f\bigl[y(t)\bigr]\bigr\vert :=\bigl\vert f \bigl( t,x(t),D_{w} \bigl[e_{o}^{\kappa t} x(t) \bigr], \Psi_{v}x(t) \bigr)-f \bigl( t,y(t),D_{w} \bigl[e_{o}^{\kappa t} y(t) \bigr],\Psi_{v}y(t) \bigr) \bigr\vert , $$

we find that

$$\begin{aligned}& \bigl\vert (F x) (t)-(Fy) (t)\bigr\vert \\& \quad \leq \sup_{t\in I_{\alpha}^{T}} \biggl\{ \frac{e_{o}^{-\kappa t}}{\Gamma_{p}(\gamma)} \int_{0}^{t} \int_{0}^{s} \int _{0}^{z}e_{o}^{\kappa s}(s-pz)^{(\gamma-1)}P(z) \bigl|f\bigl[x(t)\bigr]-f\bigl[y(t)\bigr] \bigr| \,d_{q}u\,d_{p}z \,d_{o}s \\& \qquad {}+ \biggl[\frac{MNe_{o}^{-\kappa t}}{m\Gamma_{p}(\gamma)\int_{0}^{T} (T-rs)^{(\theta-1)} \,d_{r}s} \int_{0}^{T} \int_{0}^{s} \int _{0}^{z} \int_{0}^{y} (T-rs)^{(\theta-1)}(z-py)^{(\gamma-1)} \\& \qquad {}\times \bigl\vert f\bigl[x(t)\bigr]-f\bigl[y(t)\bigr]\bigr\vert \,d_{q}u\,d_{p}y\,d_{o}z\,d_{r}s \biggr] \biggl[\frac{ Ne_{o}^{\kappa(T-t)}}{n \int_{0}^{T}(T-ps)^{(\gamma-1)} \,d_{p}s} \int _{0}^{T} \int_{0}^{s}(T-ps)^{(\gamma-1)} \\& \qquad {}\times \bigl\vert f\bigl[x(t)\bigr]-f\bigl[y(t)\bigr]\bigr\vert \,d_{q}u\,d_{p}s \biggr] \biggl[ \frac{1}{\Gamma _{p}(\gamma)} \int_{0}^{t} \int_{0}^{s}e_{o}^{\kappa s}(s-pz)^{(\gamma-1)}P(z) \,d_{p}z\,d_{o}s-\mathbf{A} \biggr] \\& \qquad{}+ \frac{Ne_{o}^{\kappa T}}{\Gamma_{p}(\gamma) [e_{o}^{\kappa(T-t)}-1 ]} \biggl[ \int_{0}^{T} \int_{0}^{s} \int_{0}^{z}(s-pz)^{(\gamma-1)} \bigl\vert f \bigl[x(t)\bigr]-f\bigl[y(t)\bigr]\bigr\vert \,d_{q}u \,d_{p}z\,d_{o}s \\& \qquad{}+ \frac{Ne_{o}^{\kappa T}\int_{0}^{T}\int_{0}^{s}(T-pz)^{(\gamma-1)} \,d_{p}z\,d_{o}s}{n\int_{0}^{T}(T-ps)^{(\gamma-1)} \,d_{p}s} \int_{0}^{T} \int _{0}^{s}(T-ps)^{(\gamma-1)} \bigl|f\bigl[x(t) \bigr]-f\bigl[y(t)\bigr] \bigr| \,d_{q}u\,d_{p}s \biggr] \\& \qquad{} \times \biggl[ \int_{0}^{t}e_{o}^{\kappa s} \,d_{o}s-{\mathbf{B}} \biggr] \biggr\} \\& \quad \leq \lambda\|x-y\|_{\mathcal{C}} \Omega_{1}. \end{aligned}$$

Similarly, we have

$$ \bigl\vert D_{w}\bigl[e_{o}^{\kappa t}(Fx) \bigr](t)-D_{w}\bigl[e_{o}^{\kappa t}(Fy)\bigr](t)\bigr\vert \leq \lambda\|x-y\|_{\mathcal{C}} \Omega_{2}. $$

Consequently, we obtain

$$ \|Fx-Fy\|_{\mathcal{C}} \leq \lambda\|x-y\|_{\mathcal{C}} ( \Omega_{1}+\Omega_{2} ). $$

From (H3), we can conclude that F is a contraction. Therefore, our proof is completed by using Banach’s contraction mapping principle. □

The following theorems show the existence of at least one solution to the boundary value problem (1.5) by employing the Krasnoselskii fixed point theorem.

Theorem 3.2


Let E is a bounded closed convex and nonempty subset of a Banach space X. If A, B are operators such that:

  1. (i)

    \(Ax+By \in E\) whenever \(x,y \in E\),

  2. (ii)

    A is compact and continuous,

  3. (iii)

    B is a contraction mapping;

then there exists \(z \in E\) such that \(z = Az+Bz\).

Theorem 3.3

Assume that the condition (H1)-(H3) of Theorem  3.1 are assumed. In addition we suppose that:


\(|f (t,x,D_{w}[ e_{o}^{\kappa t}x(t)],\Psi_{v}x ) |\leq\mu(t)\), for all \((t,x,D_{w}[ e_{o}^{\kappa t}x(t)],\Psi _{v}x )\in I_{\alpha}^{T}\times\mathbb{R}\times\mathbb{R}\times\mathbb{R}\), with \(\mu\in C(I_{\alpha}^{T}, \mathbb{R}^{+})\).

Then the boundary value problem (1.5) has at least one solution on \(I_{\alpha}^{T}\) if

$$ \Omega_{1}+\Omega_{2}< 1, $$

where \(\Omega_{1}\) and \(\Omega_{2}\) are given by (3.5).


We set \(\sup_{t\in I_{\alpha}^{T}}|\mu(t)|=\|\mu\|\), choose a constant

$$ \ell\geq\|\mu\|(\Omega_{1}+\Omega_{2}), $$

and let \(B_{\ell}=\{x\in\mathcal{C}:\|x\|_{\mathcal{C}}\leq\ell\}\).

On the given ball \(B_{\ell}\), we define the operators \(\mathcal{F}_{1}\) and \(\mathcal{F}_{2}\) as

$$\begin{aligned}& (\mathcal{F}_{1}x) (t) = \frac{e_{o}^{-\kappa t}}{\Gamma_{p}(\gamma)} \int_{0}^{t} \int_{0}^{s} \int_{0}^{z}e_{o}^{\kappa s}(s-pz)^{(\gamma-1)}P(z) \\& \hphantom{(\mathcal{F}_{1}x)(t) ={}}{}\times f \bigl( u,x(u),D_{w} \bigl[e_{o}^{\kappa u} x(u) \bigr],\Psi_{v}x(u) \bigr) \,d_{q}u\,d_{p}z \,d_{o}s-e_{o}^{-\kappa t} \mathbf{O}^{*}_{1}(f), \end{aligned}$$
$$\begin{aligned}& (\mathcal{F}_{2}x) (t) = e_{o}^{-\kappa t} \mathbf{O}^{*}_{2}(f) \biggl[ \mathbf {A}-\frac{1}{\Gamma_{p}(\gamma)} \int_{0}^{t} \int_{0}^{s}e_{o}^{\kappa s}(s-pz)^{(\gamma-1)}P(z) \,d_{p}z\,d_{o}s \biggr] \\& \hphantom{(\mathcal{F}_{2}x)(t) ={}}{}+e_{o}^{-\kappa t} \mathbf{O}^{*}_{3}(f) \biggl[ \int _{0}^{t}e_{o}^{\kappa s} \,d_{o}s-{\mathbf{B}} \biggr]. \end{aligned}$$

For any \(x, y \in B_{\ell}\), since

$$\begin{aligned}& |\mathcal{F}_{1} x+\mathcal{F}_{2}y| \\& \quad \leq \sup_{t\in I_{\alpha}^{T}} \biggl\{ \frac{\|\mu\|Ne_{o}^{-\kappa t}}{\Gamma_{p}(\gamma)} \int_{0}^{t} \int _{0}^{s} \int_{0}^{z}e_{o}^{\kappa s}(s-pz)^{(\gamma-1)} \,d_{q}u\,d_{p}z\,d_{o}s \\& \qquad {}+ \biggl[\frac{\|\mu\|MNe_{o}^{-\kappa t}}{m\Gamma_{p}(\gamma)\int_{0}^{T} (T-rs)^{(\theta-1)} \,d_{r}s} \int_{0}^{T} \int_{0}^{s} \int _{0}^{z} \int_{0}^{y} (T-rs)^{(\theta-1)} \\& \qquad {}\times(z-py)^{(\gamma-1)} \,d_{q}u\,d_{p}y\,d_{o}z\,d_{r}s \biggr] \\& \qquad {}+ \biggl[\frac{ \|\mu\|Ne_{o}^{\kappa(T-t)}}{n \int _{0}^{T}(T-ps)^{(\gamma-1)} \,d_{p}s} \int_{0}^{T} \int_{0}^{s}(T-ps)^{(\gamma-1)} \,d_{q}u\,d_{p}s \biggr] \end{aligned}$$
$$\begin{aligned}& \qquad {}\times \biggl[ \frac{1}{\Gamma_{p}(\gamma)} \int_{0}^{t} \int_{0}^{s}e_{o}^{\kappa s}(s-pz)^{(\gamma-1)}P(z) \,d_{p}z\,d_{o}s+\mathbf{A} \biggr]+\frac{\|\mu\| Ne_{o}^{\kappa T}}{\Gamma_{p}(\gamma) [e_{o}^{\kappa(T-t)}-1 ]} \\& \qquad {}\times \biggl[ \int_{0}^{T} \int_{0}^{s} \int_{0}^{z}(s-pz)^{(\gamma-1)} \,d_{q}u\,d_{p}z\,d_{o}s+\frac {Ne_{o}^{\kappa T}\int_{0}^{T}\int_{0}^{s}(T-pz)^{(\gamma-1)} \,d_{p}z\,d_{o}s}{n\int _{0}^{T}(T-ps)^{(\gamma-1)} \,d_{p}s} \\& \qquad {} \times \int_{0}^{T} \int_{0}^{s}(T-ps)^{(\gamma-1)} \,d_{q}u\,d_{p}s \biggr] \biggl[ \int _{0}^{t}e_{o}^{\kappa s} \,d_{o}s-{\mathbf{B}} \biggr] \biggr\} \\& \quad \leq \|\mu\|\Omega_{1}, \end{aligned}$$

and by the same argument as above, we have

$$ \bigl\vert D_{w}\bigl[e_{o}^{\kappa t}(F_{1}x) \bigr](t)-D_{w}\bigl[e_{o}^{\kappa t}(F_{2}y) \bigr](t) \bigr\vert \leq \|\mu\|\Omega_{2}. $$

Consequently, we obtain

$$ \|F_{1}x-F_{2}y\|_{\mathcal{C}} \leq \|\mu\| ( \Omega_{1}+\Omega _{2} ). $$

We can conclude that \(\mathcal{F}_{1}x+\mathcal{F}_{2}y\in B_{\ell}\). By the condition (3.3), \(\mathcal{F}_{2}\) is a contraction mapping. From the continuity of f and P, with the condition (H4), the operator \(\mathcal{F}_{1}\) is continuous and uniformly bounded on \(B_{\ell}\). We next show that \(\mathcal{F}_{1}\) is compact. For \(t_{1}, t_{2} \in I_{\alpha}^{T}\) where \(t_{1}\leq t_{2}\) and \(x\in B_{\ell}\), we have

$$\begin{aligned}& \bigl\vert \mathcal{F}_{1}x(t_{2})-\mathcal{F}_{1}x(t_{1}) \bigr\vert \\& \quad \leq \biggl\vert \frac{e_{o}^{-\kappa t_{2}} N \|\mu\|}{\Gamma_{p}(\gamma )} \int_{0}^{t_{2}} \int_{0}^{s} \int_{0}^{z}e_{o}^{\kappa s}(s-pz)^{(\gamma-1)} \,d_{q}u\,d_{p}z\,d_{o}s \\& \qquad {}-\frac{e_{o}^{-\kappa t_{1}} N \|\mu\|}{\Gamma_{p}(\gamma)} \int _{0}^{t_{1}} \int_{0}^{s} \int_{0}^{z}e_{o}^{\kappa s}(s-pz)^{(\gamma-1)} \,d_{q}u\,d_{p}z\,d_{o}s\biggr\vert \\& \quad \leq \frac{ N \|\mu\|}{\Gamma_{p}(\gamma)} \int_{t_{1}}^{t_{2}} \int _{0}^{s} \int_{0}^{z}(s-pz)^{(\gamma-1)} \,d_{q}u\,d_{p}z\,d_{o}s \\& \quad \leq \frac{ N \|\mu\|}{\Gamma_{p}(\gamma+1)} \int _{t_{1}}^{t_{2}}s^{\gamma} \,d_{o}s = \frac{N \|\mu\| |t_{2}^{\gamma +1}-t_{1}^{\gamma+1} |}{\Gamma_{p}(\gamma+1)[\gamma+1]_{o}}. \end{aligned}$$

We see that the right-hand side of the latter inequality tends to zero if \(t_{2}\rightarrow t_{1}\). Therefore, \(\mathcal{F}_{1}\) is relatively compact on \(B_{\ell}\). Hence, by the Arzelá-Ascoli theorem, we can conclude that \(\mathcal{F}_{1}\) is compact on \(B_{\ell}\).

We find that all assumptions of Theorem 3.2 are satisfied. Therefore, we can reach the conclusion that the boundary value problem (1.5) has at least one solution on \(I_{\alpha}^{T}\). Our proof is completed. □

4 Example

To illustrate our main result, we provide an example of the boundary value problem of second-order q-difference equations with q-integral boundary conditions:

$$ \textstyle\begin{cases} D_{\frac{1}{2}} [ (2\pi+e^{10}\sin^{2} ( \frac{2\pi t}{3} ) ) D^{\frac{1}{2}}_{\frac{1}{3}} ( \frac{1}{3}+D_{\frac {1}{4}} ) ]x(t) \\ \quad = \frac{e^{-\sin^{2} ( \frac{2\pi t}{3} ) }}{100+e^{\cos^{2} ( \frac{2\pi t}{3} ) }}\cdot\frac {|x(t)|+ |D_{\frac{1}{4}} [ e_{\frac{1}{4}}^{\frac {t}{3}}x(t) ] |+|\Psi_{\frac{4}{5}}x(t)|}{1+|x(t)|}, \\ x (0 )=x (3 ), \\ D_{\frac{1}{4}} [ e_{\frac{1}{4}}^{\frac{t}{3}}x(t) ] |_{t=0}= D_{\frac{1}{4}} [ e_{\frac{1}{4}}^{\frac {T}{3}}x(T) ] , \\ I_{\frac{3}{4}}^{\frac{2}{5}}\sigma(3)x(3)=\frac {3}{\Gamma_{\frac{3}{4}}(\frac{2}{5})}\int_{0}^{3} (1-s )^{(-\frac{3}{5})} e^{\cos ( \frac{2\pi s}{3} ) } x(s)\,d_{\frac{3}{4}}s=0, \end{cases} $$

where \(t\in I_{\frac{1}{60}}^{3}= \{3(\frac{1}{60})^{n}:n \in {\mathbb{N}} \}\cup\{0,3\}\) and \(\Psi_{\frac {4}{5}}x(t)= \int_{0}^{t}\sqrt{ts}\cdot x(s) \,d_{\frac {4}{5}}s\).

Applying Theorem 3.1, when \(q={\frac{1}{2}}\), \(p={\frac {1}{3}}\), \(o=\frac{1}{4}\), \(r={\frac{3}{4}}\), \(w={\frac{1}{4}}\), \(v={\frac{4}{5}}\), \(\theta=\frac{2}{5}\), \(T=3\), \(f (t,x,D_{w} [ e_{o}^{\kappa t}x(t) ] ,\Psi_{v}x(t) )=\frac {e^{-\sin^{2} ( \frac{2\pi t}{3} ) }}{100+e^{\cos^{2} ( \frac{2\pi t}{3} ) }}\cdot\frac{|x(t)|+ |D_{\frac {1}{4}} [ e_{\frac{1}{4}}^{\frac{t}{3}}x(t) ] |+|\Psi _{\frac{4}{5}}x(t)|}{1+|x(t)|}\), \(\kappa=\frac{1}{3}\), \(P(t)=\frac {1}{2\pi+e^{10}\sin^{2} ( \frac{2\pi t}{3} )}\), \(\sigma (t)=e^{\cos ( \frac{2\pi t}{3} ) }\), and \(\varphi_{0}=\sup \{\varphi(t,s)\}=3\).


$$\begin{aligned}& \bigl\vert f \bigl( t,x,D_{w} \bigl[ e_{o}^{\kappa t}x(t) \bigr] ,\Psi _{v}x(t) \bigr) -f \bigl( t,y,D_{w} \bigl[ e_{o}^{\kappa t}y(t) \bigr] ,\Psi _{v}y(t) \bigr) \bigr\vert \\& \quad \leq \frac{(1+9)}{101}|x-y|+\frac{1}{101}\bigl\vert D_{\frac {1}{4}} \bigl[ e_{\frac{1}{4}}^{\frac{t}{3}}x(t) \bigr] -D_{\frac {1}{4}} \bigl[ e_{\frac{1}{4}}^{\frac{t}{3}}y(t) \bigr] \bigr\vert , \end{aligned}$$

so (H1) satisfies with \(\lambda= \max \{L_{1}+9L_{3}, L_{2} \}=\frac{10}{101}\).

Also, we have \(\frac{1}{e}\leq\sigma(t)\leq e\) and \(\frac {1}{2\pi}\leq P(t)\leq\frac{1}{2\pi+e^{10}}\), then (H2) is satisfied with \(M=e\), \(m=\frac{1}{e}\), \(N=\frac{1}{2\pi+e^{10}}\), and \(n=\frac{1}{2\pi}\). Moreover, we can show that

$$ \Omega_{1}=0.5544 \quad \mbox{and} \quad \Omega_{2}=0.0111 . $$

We obtain

$$\lambda ( \Omega_{1}+\Omega_{2} ) \approx0.0599 < 1, $$

which implies that (H3) holds. By Theorem 3.1, we can conclude that the above problem (4.1) has a unique solution on \(I_{\frac{1}{60}}^{3}\).


  1. Jackson, FH: q-Difference equations. Am. J. Math. 32, 305-314 (1970)

    Article  MATH  Google Scholar 

  2. Carmichael, RD: The general theory of linear q-difference equations. Am. J. Math. 34, 147-168 (1912)

    Article  MathSciNet  MATH  Google Scholar 

  3. Mason, TE: On properties of the solutions of linear q-difference equations with entire function coefficients. Am. J. Math. 37, 439-444 (1915)

    MathSciNet  MATH  Google Scholar 

  4. Kac, V, Cheung, P: Quantum Calculus. Springer, New York (2000)

    MATH  Google Scholar 

  5. Al-Salam, WA: Some fractional q-integrals and q-derivatives. Proc. Edinb. Math. Soc. 15(2), 135-140 (1966/1967)

  6. Agarwal, RP: Certain fractional q-integrals and q-derivatives. Proc. Camb. Philos. Soc. 66, 365-370 (1969)

    Article  MathSciNet  MATH  Google Scholar 

  7. Annaby, MH, Mansour, ZS: q-Fractional Calculus and Equations. Lecture Notes in Mathematics, vol. 2056. Springer, Berlin (2012)

    MATH  Google Scholar 

  8. Rajković, P, Marinković, S, Stanković, M: Fractional integrals and derivatives in q-calculus. Appl. Anal. Discrete Math. 1(1), 311-323 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  9. El-Shahed, M, Hassan, HA: Positive solutions of q-difference equation. Proc. Am. Math. Soc. 138, 1733-1738 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  10. Ahmad, B, Ntouyas, SK: Boundary value problems for q-difference inclusions. Abstr. Appl. Anal. 2011, Article ID 292860 (2011)

    MathSciNet  MATH  Google Scholar 

  11. Ahmad, B, Ntouyas, SK, Purnaras, IK: Existence results for nonlinear q-difference equations with nonlocal boundary conditions. Commun. Appl. Nonlinear Anal. 19, 59-72 (2012)

    MathSciNet  MATH  Google Scholar 

  12. Ahmad, B, Nieto, JJ: On nonlocal boundary value problems of nonlinear q-difference equations. Adv. Differ. Equ. 2012, 81 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  13. Ahmad, B, Ntouyas, SK: Existence of solutions for nonlinear fractional q-difference inclusions with nonlocal Robin (separated) conditions. Mediterr. J. Math. 10, 1333-1351 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  14. Ahmad, B, Ntouyas, SK, Alsaedi, A, Al-Hutami, H: Nonlinear q-fractional differential equations with nonlocal and sub-strip type boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2014, 26 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  15. Ahmad, B, Nieto, JJ, Alsaedi, A, Al-Hutami, H: Existence of solutions for nonlinear fractional q-difference integral equations with two fractional orders and nonlocal four-point boundary conditions. J. Franklin Inst. 351, 2890-2909 (2014)

    Article  MathSciNet  Google Scholar 

  16. Almeida, R, Martins, N: Existence results for fractional q-difference equations of order \(\alpha\in \, ]2,3[\) with three-point boundary conditions. Commun. Nonlinear Sci. Numer. Simul. 19, 1675-1685 (2014)

    Article  MathSciNet  Google Scholar 

  17. Pongarm, N, Asawasamrit, S, Tariboon, J, Ntoyas, SK: Multi-strip fractional q-integral boundary value problems for nonlinear fractional q-difference equations. Adv. Differ. Equ. 2014, 193 (2014)

    Article  MathSciNet  Google Scholar 

  18. Pongarm, N, Asawasamrit, S, Tariboon, J: Sequential derivatives of nonlinear q-difference equations with three-point q-integral boundary conditions. J. Appl. Math. 2013, Article ID 7605169 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  19. Agarwal, RP, Wang, G, Hobiny, A, Zhang, L, Ahmad, B: Existence and nonexistence of solutions for nonlinear second order q-integro-difference equations with non-separated boundary conditions. J. Nonlinear Sci. Appl. 8, 976-985 (2015)

    MathSciNet  MATH  Google Scholar 

  20. Sitthiwirattham, T: On nonlocal fractional q-integral boundary value problems of fractional q-difference and fractional q-integrodifference equations involving different numbers of order and q. Bound. Value Probl. 2016, 12 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  21. Sitthiwirattham, T, Tariboon, J, Ntouyas, SK: Three-point boundary value problems of nonlinear second-order q-difference equations involving different numbers of q. J. Appl. Math. 2013, Article ID 763786 (2013)

    Article  MathSciNet  Google Scholar 

  22. Patanarapeelert, N, Sitthiwirattham, T: Existence results of sequential derivatives of nonlinear q-difference equations with a new class of three-point boundary value problems conditions. J. Comput. Anal. Appl. 18(5), 844-856 (2015)

    MathSciNet  MATH  Google Scholar 

  23. Saengngammongkhol, T, Kaewwisetkul, B, Sitthiwirattham, T: Existence results for nonlinear second-order q-difference equations with q-integral boundary conditions. Differ. Equ. Appl. 7(3), 303-311 (2015)

    MathSciNet  MATH  Google Scholar 

  24. Krasnoselskii, MA: Two remarks on the method of successive approximations. Usp. Mat. Nauk 10, 123-127 (1955)

    MathSciNet  Google Scholar 

Download references


This research was funded by King Mongkut’s University of Technology North Bangkok. Contract no. KMUTNB-GOV-58-52. The authors would like to thank the anonymous referees for carefully reading the paper and for their comments, which have improved the manuscript.

Author information

Authors and Affiliations


Corresponding author

Correspondence to Thanin Sitthiwirattham.

Additional information

Competing interests

The authors declare that there are no competing interests.

Authors’ contributions

The authors declare that they carried out all the work in this manuscript and read and approved the final manuscript.

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

Verify currency and authenticity via CrossMark

Cite this article

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


  • 39A05
  • 39A13


  • existence
  • q-derivative
  • q-integral
  • q-integrodifference equation