Skip to content


  • Research
  • Open Access

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

  • 1,
  • 1 and
  • 1Email author
Advances in Difference Equations20162016:148

  • Received: 9 March 2016
  • Accepted: 25 May 2016
  • Published:


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.


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


  • 39A05
  • 39A13

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



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.

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.

Authors’ Affiliations

Nonlinear Dynamic Analysis Research Center, Department of Mathematics, Faculty of Applied Science, King Mongkut’s University of Technology North Bangkok, Bangkok, Thailand


  1. Jackson, FH: q-Difference equations. Am. J. Math. 32, 305-314 (1970) View ArticleMATHGoogle Scholar
  2. Carmichael, RD: The general theory of linear q-difference equations. Am. J. Math. 34, 147-168 (1912) MathSciNetView ArticleMATHGoogle 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) MathSciNetMATHGoogle Scholar
  4. Kac, V, Cheung, P: Quantum Calculus. Springer, New York (2000) MATHGoogle Scholar
  5. Al-Salam, WA: Some fractional q-integrals and q-derivatives. Proc. Edinb. Math. Soc. 15(2), 135-140 (1966/1967) Google Scholar
  6. Agarwal, RP: Certain fractional q-integrals and q-derivatives. Proc. Camb. Philos. Soc. 66, 365-370 (1969) MathSciNetView ArticleMATHGoogle Scholar
  7. Annaby, MH, Mansour, ZS: q-Fractional Calculus and Equations. Lecture Notes in Mathematics, vol. 2056. Springer, Berlin (2012) MATHGoogle Scholar
  8. Rajković, P, Marinković, S, Stanković, M: Fractional integrals and derivatives in q-calculus. Appl. Anal. Discrete Math. 1(1), 311-323 (2007) MathSciNetView ArticleMATHGoogle Scholar
  9. El-Shahed, M, Hassan, HA: Positive solutions of q-difference equation. Proc. Am. Math. Soc. 138, 1733-1738 (2010) MathSciNetView ArticleMATHGoogle Scholar
  10. Ahmad, B, Ntouyas, SK: Boundary value problems for q-difference inclusions. Abstr. Appl. Anal. 2011, Article ID 292860 (2011) MathSciNetMATHGoogle 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) MathSciNetMATHGoogle Scholar
  12. Ahmad, B, Nieto, JJ: On nonlocal boundary value problems of nonlinear q-difference equations. Adv. Differ. Equ. 2012, 81 (2012) MathSciNetView ArticleMATHGoogle 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) MathSciNetView ArticleMATHGoogle 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) MathSciNetView ArticleMATHGoogle 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) MathSciNetView ArticleGoogle 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) MathSciNetView ArticleGoogle 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) MathSciNetView ArticleGoogle 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) MathSciNetView ArticleMATHGoogle 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) MathSciNetMATHGoogle 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) MathSciNetView ArticleMATHGoogle 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) MathSciNetView ArticleGoogle 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) MathSciNetMATHGoogle 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) MathSciNetMATHGoogle Scholar
  24. Krasnoselskii, MA: Two remarks on the method of successive approximations. Usp. Mat. Nauk 10, 123-127 (1955) MathSciNetGoogle Scholar


© Patanarapeelert et al. 2016