On nonlocal fractional q -integral boundary value problems of fractional q -difference and fractional q -integrodifference equations involving different numbers of order and q

Thanin Sitthiwirattham

doi:10.1186/s13661-016-0522-x

Research
Open Access

On nonlocal fractional q-integral boundary value problems of fractional q-difference and fractional q-integrodifference equations involving different numbers of order and q

Thanin Sitthiwirattham¹Email author

Boundary Value Problems20162016:12

https://doi.org/10.1186/s13661-016-0522-x

Received: 17 July 2015
Accepted: 4 January 2016
Published: 13 January 2016

Abstract

In this paper, we study some new class of nonlocal three-point fractional q-integral boundary value problems of a nonlinear fractional q-difference equation and a nonlinear fractional q-integrodifference equation. Our problems contain different numbers of order and q in derivatives and integrals. The existence and uniqueness results are based on Banach’s contraction mapping principle and Krasnoselskii’s fixed point theorem. In addition, some examples are presented to illustrate the importance of these results.

Keywords

existence
fractional q-derivative
fractional q-integral
fractional q-difference equation
fractional q-integrodifference equation

MSC

34A08
34B18
39A13

1 Introduction

Jackson [1] initiated quantum calculus or q-difference calculus that can describe many phenomena in various fields of science and engineering. Basic definitions and properties of q-difference calculus can be found in the book [2]. For the fractional q-difference calculus originating with Al-Salam [3] and Agarwal [4], we refer to the book of Annaby and Mansour [5].

A class of integral boundary value problems appeared in different areas of applied mathematics and physics. For instance, blood flow problems, population dynamics, heat conduction, underground water flow, thermo-elasticity, plasma physics, chemical engineering and so on can be reduced to nonlocal integral boundary problems. For comments on the importance of integral boundary problems, we refer the reader to the papers by Webb and Infante [6, 7], Gallardo [8], Karakostas and Tsamatos [9], Lomtatidze and Malaguti [10], and the references therein. For information as regards the theory of integral equations and their applications to integral boundary value problems, we refer to the books of Agarwal and O’Regan [11] and Corduneanu [12].

For some recent works on q-integral boundary value problems, we refer to [13–29] and the references cited therein. For example, Ahmad et al. [21] considered the following boundary value problem of nonlinear fractional q-difference equation with nonlocal and sub-strip type boundary conditions:

$$ \textstyle\begin{cases} {}^{C}D_{q}^{\nu}x(t)=f(t,x(t)),\quad t\in[0,1],\\ x(0)=x_{0}+g(x), \qquad x(\xi)=b\int_{\eta}^{1} x(s)\,d_{q}s, \end{cases} $$

(1.1)

where $1<\nu\leq2$, $0< q<1$, $0<\xi<\eta<1$, $^{C}D_{q}^{\nu}$ is the Caputo fractional q-derivative of order ν, $f\in C([0,1]\times\mathbb {R},\mathbb{R})$, and $g\in C([0,1],\mathbb{R})$ are given functions. The existence results for the problem (1.1) are shown by applying Banach’s contraction mapping principle and a fixed point theorem due to O’Regan.

Almeida and Martins [26] proposed the following fractional q-difference equation with three-point integral boundary conditions:

$$ \textstyle\begin{cases} {}^{C}D_{q}^{\alpha}[x](t) = g(t,x(t)), \quad t\in[0,1],\\ x(0)=\gamma_{0}, \qquad D_{q}[x](0)=\gamma_{2},\qquad x(1)=\gamma_{2}\int_{0}^{\eta}x(s)\,d_{q}s, \end{cases} $$

(1.2)

where $2<\alpha<3$, $0<\eta\leq1$, $^{C}D_{q}^{\alpha}$ is the Caputo fractional q-derivative of order α, $g\in C([0, 1]\times \mathbb{R}, \mathbb{R})$. They presented the existence and uniqueness results for the problem (1.2) by employing Banach’s contraction mapping principle, Krasnoselskii fixed point theorem and Leray-Schauder alternative.

Presently, there is a development of boundary value problems for fractional q-difference equations showing an operation of the investigative function. The study may also have another function, related to our interest. These creations are incorporating nonlocal conditions that are both extensive and more complex.

The results mentioned above are the motivation for this research. In this article, we discuss the existence and uniqueness results of solutions to a nonlinear fractional q-difference equation with nonlocal three-point fractional q-integral boundary conditions of the form

$$ \textstyle\begin{cases} D_{q}^{\alpha}x(t) = f(t,x(t),D_{w}^{\nu}x(t)), \quad t\in[0,T], \\ 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} $$

(1.3)

and a nonlinear fractional q-integrodifference equation with nonlocal three-point fractional q-integral boundary conditions of the form

$$ \textstyle\begin{cases} D_{q}^{\alpha}x(t) = f(t,x(t),\Psi^{\gamma}_{w} x(t)), \quad t\in [0,T], \\ 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} $$

(1.4)

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, $D_{q}^{\alpha}$ and $D_{w}^{\nu}$ are the Riemann-Liouville fractional q-derivative of order α and w-derivative of order ν, respectively, $f\in C([0,T]\times \mathbb{R}\times\mathbb{R},\mathbb{R})$ and $g \in C([0, T],\mathbb {R^{+}})$ are given functions, $\rho\in C([0,T],{\mathbb{R}})\rightarrow {\mathbb{R}}$ is a given functional, and for $\varphi\in C([0, T]\times [0, T],[0,\infty))$,

$$\Psi^{\gamma}_{w} x(t):=\bigl(I_{w}^{\gamma}\varphi x\bigr) (t)=\frac{1}{\Gamma_{w}(\gamma )} \int_{0}^{t} (t-ws)^{(\gamma-1)}\varphi(t,s) x(s) \,d_{w}s. $$

The plan of this paper is as follows. In Section 2, we recall some definitions and basic lemmas. In Sections 3 and 4, we prove the existence and uniqueness results for the boundary value problems (1.3) and (1.4) by employing Banach’s contraction mapping principle and Krasnoselskii’s fixed point theorem. Some illustrative examples are presented in the last section.

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

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

The q-analog of the power function $(a-b)^{(n)}$ with $n\in\mathbb {N}_{0}:=[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 {a-bq^{n}}{a-bq^{\alpha+n}}. $$

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

Remark

[13]

We note that if $\alpha>0$ and $a\leq b\leq t$, then $(t-a)^{(\alpha)}\geq(t-b)^{(\alpha)}$.

Definition 2.1

[4]

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

[15]

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, $$

and $(D^{0} _{q}f)(x) = f(x)$, where m is the smallest integer that is greater than or equal to α.

Definition 2.3

[2]

For any $x,s>0$,

$$\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}$$

is called the q-beta function.

Lemma 2.1

[4]

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

[15]

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

[16]

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 problems (1.3) and (1.4), we need the following lemma, which deals with a linear variant of the boundary value problems (1.3) and (1.4) and gives a representation of the solution.

Lemma 2.4

Let $p,q\in(0,1)$, $\alpha\in(1,2 ]$, $\beta>0$, $\eta\in(0,T)$, functions $y \in C([0,T],\mathbb{R})$ and $g \in C([0,T],\mathbb {R}^{+})$, and a functional $\rho: C([0,T],\mathbb{R})\rightarrow\mathbb {R}$. Then the boundary value problem

$$\begin{aligned}& D_{q}^{\alpha}x(t) = y(t), \quad t\in[0,T], \end{aligned}$$

(2.1)

$$\begin{aligned}& x(\eta)= \rho(x), \qquad I_{p}^{\beta}g(T) x(T) = 0, \end{aligned}$$

(2.2)

is equivalent to the integral equation

$$\begin{aligned} x(t) =&\frac{1}{\Gamma_{q}(\alpha)} \int_{0}^{t}(t-qs)^{(\alpha-1)}y(s)\,d_{q}s \\ &{}-\frac{t^{\alpha-2}(t-\eta)}{\Gamma_{q}(\alpha) \int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2} (s-\eta) \,d_{p}s} \\ &{}\times \int_{0}^{T} \int_{0}^{s}g(r) (T-ps)^{(\beta-1)}(s-qr)^{(\alpha -1)}y(r)\,d_{q}r\,d_{p}s \\ &+ \frac{ t^{\alpha-2} \int_{0}^{T}g(s) (T-ps)^{(\beta-1)}s^{\alpha -2}(t-s) \,d_{p}s}{\eta^{\alpha-2} \Gamma_{q}(\alpha)\int_{0}^{T}g(s) (T-ps)^{(\beta-1)} s^{\alpha-2} (s-\eta) \,d_{p}s} \\ &{}\times \biggl[ \int_{0}^{\eta}(\eta-qs)^{(\alpha-1)}y(s)\,d_{q}s- \Gamma_{q}(\alpha ) \rho(x) \biggr]. \end{aligned}$$

(2.3)

Proof

Consider $m=2$. By Definition 2.2 and Lemma 2.1, we obtain

$$\begin{aligned} \bigl(I_{q}^{\alpha}D_{q}^{2} I_{q}^{2-\alpha}x\bigr) (t)=\bigl(I_{q}^{\alpha}y\bigr) (t) \end{aligned}$$

(2.4)

and

$$ x(t)=C_{1}t^{\alpha-1}+C_{2}t^{\alpha-2}+ \frac{1}{\Gamma_{q}(\alpha)} \int _{0}^{t}(t-qs)^{(\alpha-1)}y(s)\,d_{q}s. $$

(2.5)

The first condition of (2.2) implies

$$ C_{1}\eta^{\alpha-1}+C_{2} \eta^{\alpha-2}=\rho(x)-\frac{1}{\Gamma_{q}(\alpha )} \int_{0}^{\eta}(\eta-qs)^{(\alpha-1)}y(s)\,d_{q}s. $$

(2.6)

Taking the fractional p-integral of order $\beta>0$ for (2.6) and the second condition of (2.2), we get

$$\begin{aligned} &\frac{C_{1}}{\Gamma_{p}(\beta)} \int _{0}^{T}g(s) (T-ps)^{(\beta-1)}s^{\alpha-1}\,d_{p}s+ \frac{C_{2}}{\Gamma_{p}(\beta )} \int_{0}^{T}g(s) (T-ps)^{(\beta-1)}s^{\alpha-2}\,d_{p}s \\ &\quad=-\frac{1}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)} \int_{0}^{T} \int _{0}^{s}g(r) (T-ps)^{(\beta-1)}(s-qr)^{(\alpha-1)}y(r)\,d_{q}r\,d_{p}s. \end{aligned}$$

(2.7)

Solving the system of linear equations (2.6) and (2.7), for the unknown constants $C_{1}$ and $C_{2}$, we have

$$\begin{aligned}& \begin{aligned}[b] C_{1}={}&{-}\frac{1}{\eta^{\alpha-2}\Gamma_{q}(\alpha) \int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2} (s-\eta) \,d_{p}s} \\ &{}\times \biggl[\eta^{\alpha-2} \int_{0}^{T} \int_{0}^{s}g(r) (T-ps)^{(\beta -1)}(s-qr)^{(\alpha-1)}y(r)\,d_{q}r\,d_{p}s \\ &{}- \int _{0}^{T}g(s) (T-ps)^{(\beta-1)} s^{\alpha-2}\,d_{p}s \biggl( \int_{0}^{\eta}(\eta -qs)^{(\alpha-1)}y(s)\,d_{q}s- \Gamma_{q}(\alpha) \rho(x) \biggr) \biggr], \end{aligned} \\& \begin{aligned}[b] C_{2}={}&\frac{1}{\eta^{\alpha-2}\Gamma_{q}(\alpha) \int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2} (s-\eta) \,d_{p}s} \\ &{}\times \biggl[\eta^{\alpha-1} \int_{0}^{T} \int_{0}^{s}g(r) (T-ps)^{(\beta -1)}(s-qr)^{(\alpha-1)}y(r)\,d_{q}r\,d_{p}s \\ &{}- \int_{0}^{T}g(s) (T-ps)^{(\beta-1)} s^{\alpha-1}\,d_{p}s \biggl( \int _{0}^{\eta}(\eta-qs)^{(\alpha-1)}y(s)\,d_{q}s- \Gamma_{q}(\alpha) \rho(x) \biggr) \biggr]. \end{aligned} \end{aligned}$$

Substituting the constants $C_{1}$ and $C_{2}$ into (2.5), we obtain (2.3).

This completes the proof. □

3 Existence results of the problem (1.3)

Let $\mathcal{C}_{\mathcal{A}} = C([0,T],\mathbb{R})$ be a Banach space of all continuous functions from $[0,T]$ to $\mathbb{R}$, endowed with the norm defined by

$$\|x\|_{\mathcal{C_{A}}}=\max\bigl\{ \|x\|,\bigl\| D_{\omega}^{\nu}x\bigr\| \bigr\} , $$

where $\|x\|= \sup_{t\in[0,T]} |x(t)|$ and $\|D_{\omega}^{\nu}x\|= \sup_{t\in[0,T]} |D_{\omega}^{\nu}x(t)|$. Define the operator $\mathcal{A}:\mathcal{C}_{\mathcal{A}}\rightarrow\mathcal {C}_{\mathcal{A}}$ by

$$\begin{aligned} (\mathcal{A}x) (t) :=&\frac{1}{\Gamma_{q}(\alpha)} \int_{0}^{t}(t-qs)^{(\alpha -1)}f \bigl(s,x(s),D_{w}^{\nu}x(s)\bigr)\,d_{q}s \\ &{}-\frac{t^{\alpha-2}(t-\eta)}{\Gamma_{q}(\alpha)\int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \\ &{}\times \int_{0}^{T} \int_{0}^{s}g(r) (T-ps)^{(\beta-1)}(s-qr)^{(\alpha -1)}f \bigl(r,x(r),D_{w}^{\nu}x(r)\bigr)\,d_{q}r\,d_{p}s \\ &{}+ \frac{ t^{\alpha-2} \int_{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha -2}(t-s) \,d_{p}s }{\eta^{\alpha-2}\Gamma_{q}(\alpha) \int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \\ &{}\times \biggl[ \int_{0}^{\eta}(\eta-qs)^{(\alpha-1)}f \bigl(s,x(s),D_{w}^{\nu}x(s)\bigr)\,d_{q}s- \Gamma_{q}(\alpha) \rho(x) \biggr]. \end{aligned}$$

(3.1)

Observe that the problem (1.3) has solutions if and only if the operator $\mathcal{A}$ has fixed points.

Now, we are in the position to establish the main results. Our first result is based on Banach’s fixed point theorem.

Theorem 3.1

Assume that a functional $\rho\in C([0,T],\mathbb{R})\rightarrow \mathbb{R}$, $f:[0,T]\times\mathbb{R}\times\mathbb{R}\rightarrow\mathbb {R}$ and $g:[0,T]\rightarrow\mathbb{R}$ are continuous functions satisfying the following conditions:

(H₁):: There exist positive numbers $L_{1}$, $L_{2}$ such that, for each $t\in[0,T]$ and $x,y\in{\mathcal{C}}_{\mathcal{A}}$,
$$\bigl|f\bigl(t,x,D_{w}^{\nu}x\bigr)-f\bigl(t,y,D_{w}^{\nu}y\bigr)\bigr|\leq L_{1}|x-y|+L_{2}\bigl|D_{w}^{\nu}x-D_{w}^{\nu}y\bigr|. $$

(H₂):: There exists a positive number τ such that, for each $x,y\in{\mathcal{C}}_{\mathcal{A}}$,
$$\bigl|\rho(x)-\rho(y)\bigr|\leq\tau\|x-y\|_{\mathcal{C_{A}}}. $$

(H₃):: For each $t\in[0,T]$, $0< n< g(t)< N$.

(H₄):: $\Theta:=\lambda (\Omega+\Lambda )+\frac{\tau\Gamma _{q}(\alpha+1)}{\eta^{2}}\Lambda<1$,

where

$$\begin{aligned} &\lambda=\max \{L_{1}+L_{2}\}, \\ &\Omega=\frac{T^{\alpha}}{\Gamma_{q}(\alpha+1)}+\frac{N |T-\eta| T^{\alpha}\Gamma_{p}(\alpha+1)}{ n\vert T[\alpha-1]_{p}-\eta[\alpha+\beta-1]_{p}\vert [\alpha+\beta ]_{p}\Gamma_{q}(\alpha+1) \Gamma_{p}(\alpha-1)}, \\ &\Lambda=\frac{N T^{\alpha-1} \eta^{2} \vert [\alpha-1]_{p}-[\alpha +\beta-1]_{p} \vert }{n \vert T [\alpha-1]_{p}-\eta[\alpha+\beta -1]_{p}\vert \Gamma_{q}(\alpha+1)}. \end{aligned}$$

(3.2)

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

Proof

We transform the boundary value problem (1.3) into a fixed point problem $x=\mathcal{A}x$, where $\mathcal{A}:\mathcal{C}_{\mathcal{A}}\rightarrow\mathcal{C}_{\mathcal {A}}$ is defined by (3.1). Assuming that $\sup_{t\in[0,T]}{|f(t,0,0)|} = M$ and $\sup_{x\in{\mathcal{C}}_{\mathcal{A}}}{|\rho(x)|} = K$, we choose a constant R satisfied with

$$ R\geq\frac{M (\Omega+\Lambda )+\frac{\Gamma_{q}(\alpha+1)}{\eta ^{2}}K \Lambda}{1-\Theta}. $$

(3.3)

Now, we will show that $\mathcal{A}B_{R}\subset B_{R}$, where $B_{R} = \{x \in \mathcal{C}_{\mathcal{A}}: \|x\|_{\mathcal{C_{A}}} \leq R\}$. For all $x, y\in\mathcal{C}_{\mathcal{A}}$ and for each $t\in[0,T]$, we have

$$\begin{aligned} &|\mathcal{A}x| \\ &\quad\leq \frac{1}{\Gamma_{q}(\alpha)} \int_{0}^{t}(t-qs)^{(\alpha-1)}\bigl(\bigl|f \bigl(s,x(s),D_{w}^{\nu}x(s)\bigr)-f(s,0,0)\bigr|+\bigl|f(s,0,0)\bigr| \bigr)\,d_{q}s \\ &\qquad{}+ \frac{t^{\alpha-2}(t-\eta)}{\Gamma_{q}(\alpha) \int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \int _{0}^{T} \int_{0}^{s}g(r) (T-ps)^{(\beta-1)} \\ &\qquad{}\times(s-qr)^{(\alpha-1)}\bigl(\bigl|f\bigl(r,x(r),D_{w}^{\nu}x(r)\bigr)-f(r,0,0)\bigr|+\bigl|f(r,0,0)\bigr|\bigr)\,d_{q}r\,d_{p}s \\ &\qquad{}+ \frac{ t^{\alpha-2} \int_{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha -2}(t-s) \,d_{p}s }{\eta^{\alpha-2}\Gamma_{q}(\alpha) \int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \biggl[\Gamma _{q}(\alpha) \bigl(\bigl| \rho(x)-\rho(0)\bigr|+\bigl|\rho(0)\bigr| \bigr) \\ &\qquad{}+ \int_{0}^{\eta}(\eta-qs)^{(\alpha-1)}\bigl(\bigl|f \bigl(s,x(s),D_{w}^{\nu}x(s)\bigr)-f(s,0,0)\bigr|+\bigl|f(s,0,0)\bigr| \bigr)\,d_{q}s \biggr] \\ &\quad\leq \bigl(L_{1}\|x\|+L_{2}\bigl\| D_{\omega}^{\nu}x\bigr\| +M\bigr) \biggl[\frac{t^{\alpha }}{\Gamma_{q}(\alpha+1)} \biggr] +\bigl(L_{1}\|x \|+L_{2}\bigl\| D_{\omega}^{\nu}x\bigr\| +M\bigr) \\ &\qquad{}\times \biggl[\frac{N t^{\alpha-2} T^{2} |t-\eta|\Gamma_{p}(\alpha+1)}{ n \Gamma_{p}(\alpha-1)\Gamma_{q}(\alpha+1)[\alpha+\beta]_{p} |T [\alpha -1]_{p}-\eta[\alpha+\beta-1]_{p}|} \biggr] \\ &\qquad{}+\bigl(L_{1}\|x\|+L_{2}\bigl\| D_{\omega}^{\nu}x\bigr\| +M\bigr) \biggl[\frac{ N \eta^{2} t^{\alpha -2} | t [\alpha+\beta-1]_{p}- T [\alpha-1]_{p}| }{n \Gamma_{q}(\alpha +1) |T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}|} \biggr] \\ &\qquad{}+\bigl(\tau\|x\|_{\mathcal{C_{A}}}+K\bigr) \biggl[\frac{ N t^{\alpha-2} | t [\alpha+\beta-1]_{p}- T [\alpha-1]_{p}| }{n |T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}|} \biggr] \\ &\quad\leq \bigl(\lambda \|x\|_{\mathcal{C_{A}}}+M\bigr) \biggl\{ \frac{N T^{\alpha} |T-\eta|\Gamma_{p}(\alpha+1)}{ n \Gamma_{p}(\alpha-1)\Gamma_{q}(\alpha+1)[\alpha+\beta]_{p} \vert T [\alpha-1]_{p}-\eta[\alpha+\beta-1]_{p}\vert } \\ &\qquad{} + \frac{T^{\alpha}}{\Gamma_{q}(\alpha+1)}+\frac{ N \eta^{2} T^{\alpha -1} |[\alpha+\beta-1]_{p}- [\alpha-1]_{p}| }{n \Gamma_{q}(\alpha+1) \vert T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}\vert } \biggr\} \\ &\qquad{}+\bigl(\tau\|x\|_{\mathcal{C_{A}}}+K\bigr) \biggl\{ \frac{ N T^{\alpha-1} |[\alpha+\beta-1]_{p}- [\alpha-1]_{p}| }{n \vert T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}\vert } \biggr\} \\ &\quad= R\Theta+M (\Omega+\Lambda ) +\frac{\Gamma_{q}(\alpha+1)}{\eta ^{2}} K\Lambda \end{aligned}$$

and

$$\begin{aligned} &\bigl|D_{w}^{\nu}\mathcal{A}x\bigr|\\ &\quad= \bigl|D_{w} I_{w}^{1-\nu}\mathcal{A}x\bigr| \\ &\quad= \biggl| D_{w} \biggl\{ -\frac{\int_{0}^{T}\int_{0}^{s}g(r)(T-ps)^{(\beta-1)} (s-qr)^{\alpha-1} f(r,x(r),D_{w}^{\nu} x(r)) \,d_{q}r\,d_{p}s}{\Gamma_{w}(1-\nu )\Gamma_{q}(\alpha) \int_{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s} \\ &\qquad{}\times \int_{0}^{t}(t-ws)^{(-\nu)} s^{\alpha-2}(s-\eta) \,d_{w}s \\ &\qquad{}\times \frac{\int_{0}^{\eta}(\eta-qs)^{\alpha-1} f(s,x(s),D_{w}^{\nu} x(s)) \,d_{w}s-\Gamma_{q}(\alpha) \rho(x)}{ \eta^{\alpha-2} \Gamma_{w}(1-\nu) \Gamma _{q}(\alpha) \int_{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \\ &\qquad{}\times \biggl[ \int_{0}^{t}(t-ws)^{(-\nu)}s^{\alpha-1} \,d_{w} \int _{0}^{T}g(s) (T-ps)^{(\beta-1)}s^{\alpha-2} \,d_{p}s \\ &\qquad{}- \int_{0}^{t}(t-ws)^{(-\nu)}s^{\alpha-2} \,d_{w}s \int _{0}^{T}g(s) (T-ps)^{(\beta-1)}s^{\alpha-1} \,d_{p}s \biggr] \\ &\qquad{}+\frac{1}{\Gamma_{q}(\alpha)\Gamma_{w}(1-\nu)} \int_{0}^{t} \int _{0}^{s}(t-ws)^{(-\nu)} (s-qr)^{\alpha-1}f\bigl(r,x(r),D_{w}^{\nu} x(r)\bigr) \,d_{q}r\,d_{w}s \biggr\} \biggr| \\ &\quad=\frac{ [\int_{0}^{wt}(wt-ws)^{(-\nu)} s^{\alpha-2}(s-\eta) \,d_{w}s - \int_{0}^{t}(t-ws)^{(-\nu)} s^{\alpha-2}(s-\eta) \,d_{w}s ]}{ (1-w) t \Gamma_{w}(1-\nu)\Gamma_{q}(\alpha) \int_{0}^{T}g(s)(T-ps)^{(\beta -1)} s^{\alpha-2}(s-\eta) \,d_{p}s} \\ &\qquad{}\times \biggl[ \int_{0}^{T} \int_{0}^{s}g(r) (T-ps)^{(\beta-1)} (s-qr)^{\alpha-1} \bigl(|f\bigl(r,x,D_{w}^{\nu}x \bigr)-f(r,0,0)|+|f(r,0,0)|\bigr) \,d_{q}r\,d_{p}s \biggr] \\ &\qquad{}+ \frac{\int_{0}^{\eta}(\eta-qs)^{\alpha-1} (|f(s,x,D_{w}^{\nu}x)-f(s,0,0)|+|f(s,0,0)|) \,d_{w}s+\Gamma_{q}(\alpha) (|\rho(x)-\rho (0)|+|\rho(0)| )}{ (1-w) t \eta^{\alpha-2} \Gamma_{w}(1-\nu) \Gamma_{q}(\alpha) \int_{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \\ &\qquad{}\times \biggl[ \biggl| \int_{0}^{wt}(wt-ws)^{(-\nu)}s^{\alpha-1} \,d_{w} - \int _{0}^{t}(t-ws)^{(-\nu)}s^{\alpha-1} \,d_{w} \biggr| \\ &\qquad{}\times \int_{0}^{T}g(s) (T-ps)^{\beta-1}s^{\alpha-2} \,d_{p}s + \biggl| \int _{0}^{wt}(wt-ws)^{(-\nu)}s^{\alpha-2} \,d_{w} \\ &\qquad{}- \int_{0}^{t}(t-ws)^{(-\nu)}s^{\alpha-2} \,d_{w} \biggr| \int _{0}^{T}g(s) (T-ps)^{\beta-1}s^{\alpha-1} \,d_{p}s \biggr] \\ &\qquad{}+\frac{1}{(1-w) t \Gamma_{q}(\alpha)\Gamma_{w}(1-\nu)} \biggl| \int _{0}^{wt} \int_{0}^{s}(wt-ws)^{(-\nu)} (s-qr)^{\alpha-1} \\ &\qquad{}\times \bigl(\bigl|f\bigl(r,x,D_{w}^{\nu}x \bigr)-f(r,0,0)\bigr|+\bigl|f(r,0,0)\bigr|\bigr) \,d_{q}r\,d_{w}s \\ &\qquad{}- \int_{0}^{t} \int_{0}^{s}(t-ws)^{(-\nu)} (s-qr)^{\alpha-1}\bigl(\bigl|f\bigl(r,x,D_{w}^{\nu}x \bigr)-f(r,0,0)\bigr|+\bigl|f(r,0,0)\bigr|\bigr) \,d_{q}r\,d_{w}s \biggr| \\ &\quad\leq \bigl(L_{1}\|x\|+L_{2} \|D_{\omega}^{\nu}x\|+M\bigr) \\ &\qquad{}\times \biggl[ \frac{N T t^{\alpha-\nu-2}\Gamma_{p}(\alpha+1)}{ n \Gamma_{q}(\alpha+1)[\alpha+\beta]_{p} \Gamma_{p}(\alpha-1) |[\alpha -1]_{p}-T [\alpha+\beta-1]_{p}|} \biggr] \\ &\qquad{}\times \biggl| \frac{t \Gamma_{w}(\alpha) (1-w^{\alpha-\nu})}{(1-w)\Gamma _{w}(\alpha-\nu+1)} -\frac{\Gamma_{w}(\alpha-1) (1-w^{\alpha-\nu-1})}{(1-w)\Gamma_{w}(\alpha -\nu)} \biggr| \\ &\qquad{}+ \biggl[\bigl(L_{1}\|x\|+L_{2}\|D_{\omega}^{\nu}x\|+M\bigr) \\ &\qquad{}\times \biggl(\frac{N \eta^{2} t^{\alpha-\nu-2}}{ nT \Gamma_{q}(\alpha+1) \Gamma_{p}(\alpha-1) \bigl|[\alpha-1]_{p}-T [\alpha +\beta-1]_{p}\bigr|} \biggr) \\ &\qquad{}+\bigl(\tau\|x\|_{\mathcal{C_{A}}}+K\bigr) \biggl(\frac{N t^{\alpha-\nu-2}}{ nT \Gamma_{p}(\alpha-1) |[\alpha-1]_{p}-T [\alpha+\beta-1]_{p}|} \biggr) \biggr] \\ &\qquad{}\times \biggl| \frac{t \Gamma_{w}(\alpha) (1-w^{\alpha-\nu}) [\alpha+\beta -1]_{p}}{(1-w)\Gamma_{w}(\alpha-\nu+1)} -\frac{\Gamma_{w}(\alpha-1) (1-w^{\alpha-\nu-1}) T [\alpha -1]_{p}}{(1-w)\Gamma_{w}(\alpha-\nu)} \biggr| \\ &\qquad{}+\bigl(L_{1}\|x\|+L_{2}\|D_{\omega}^{\nu}x\|+M\bigr) \biggl[\frac{t^{\alpha-\nu} \Gamma_{w}(\alpha+1)}{\Gamma_{q}(\alpha+1)\Gamma_{w}(\alpha-\nu+2)} \biggr] \biggl\vert \frac{1-w^{\alpha-\nu+1}}{1-w} \biggr\vert \\ &\quad\leq \bigl(\lambda \|x\|_{\mathcal{C_{A}}}+M\bigr) \biggl\{ \biggl[ \frac{N T^{\alpha-\nu-1}\Gamma_{p}(\alpha+1)}{ n \Gamma_{q}(\alpha+1)[\alpha+\beta]_{p} \Gamma_{p}(\alpha-1) |[\alpha -1]_{p}-T [\alpha+\beta-1]_{p}|} \biggr] \\ &\qquad{}\times \biggl| \frac{T \Gamma_{w}(\alpha) (1-w^{\alpha-\nu})}{(1-w)\Gamma _{w}(\alpha-\nu+1)} -\frac{\Gamma_{w}(\alpha-1) (1-w^{\alpha-\nu-1})}{(1-w)\Gamma_{w}(\alpha -\nu)} \biggr| \\ &\qquad{}+ \biggl[\frac{N \eta^{2} T^{\alpha-\nu-1}}{ n \Gamma_{q}(\alpha+1) \Gamma_{p}(\alpha-1) |[\alpha-1]_{p}-T [\alpha +\beta-1]_{p}|} \biggr] \\ &\qquad{}\times \biggl| \frac{\Gamma_{w}(\alpha) (1-w^{\alpha-\nu}) [\alpha+\beta -1]_{p}}{(1-w)\Gamma_{w}(\alpha-\nu+1)} -\frac{\Gamma_{w}(\alpha-1) (1-w^{\alpha-\nu-1}) [\alpha -1]_{p}}{(1-w)\Gamma_{w}(\alpha-\nu)} \biggr| \\ &\qquad{}+ \biggl[\frac{T^{\alpha-\nu} \Gamma_{w}(\alpha+1)}{\Gamma_{q}(\alpha +1)\Gamma_{w}(\alpha-\nu+2)} \biggr]\biggl\vert \frac{1-w^{\alpha-\nu +1}}{1-w}\biggr\vert \biggr\} \\ &\qquad{}+\bigl(\tau\|x\|_{\mathcal{C_{A}}}+K\bigr) \biggl[\frac{N T^{\alpha-\nu-1}}{ n \Gamma_{p}(\alpha-1) |[\alpha-1]_{p}-T [\alpha+\beta-1]_{p}|} \biggr] \\ &\qquad{}\times \biggl| \frac{\Gamma_{w}(\alpha) (1-w^{\alpha-\nu}) [\alpha+\beta -1]_{p}}{(1-w)\Gamma_{w}(\alpha-\nu+1)} -\frac{\Gamma_{w}(\alpha-1) (1-w^{\alpha-\nu-1}) [\alpha -1]_{p}}{(1-w)\Gamma_{w}(\alpha-\nu)} \biggr| \\ &\quad= (\lambda R+M) \biggl\{ \biggl(\frac{T^{\alpha}}{\Gamma_{q}(\alpha +1)} \biggr) \biggl[ \frac{1}{T^{\nu}}\cdot\frac{\Gamma_{w}(\alpha+1)}{\Gamma_{w}(\alpha-\nu +2)}\cdot\biggl\vert \frac{1-w^{\alpha-\nu+1}}{1-w} \biggr\vert \biggr] \\ &\qquad{}+ \biggl(\frac{N T^{\alpha} |T-\eta|\Gamma_{p}(\alpha+1)}{ n \Gamma_{p}(\alpha-1)\Gamma_{q}(\alpha+1)[\alpha+\beta]_{p} \vert T [\alpha-1]_{p}-\eta[\alpha+\beta-1]_{p}\vert } \biggr) \\ &\qquad{}\times \biggl[ \frac{1}{T^{\nu+1}} \cdot\frac{\vert T [\alpha-1]_{p}-\eta [\alpha+\beta-1]_{p}\vert }{|T [\alpha+\beta-1]_{p}-[\alpha-1]_{p}|} \\ &\qquad{}\times\frac{1}{|T-\eta|} \biggl| T \frac{\Gamma_{w}(\alpha)}{\Gamma_{w}(\alpha -\nu+1)}\cdot\frac{(1-w^{\alpha-\nu})}{(1-w)} - \frac{\Gamma_{w}(\alpha-1)}{\Gamma_{w}(\alpha-\nu)}\cdot\frac{(1-w^{\alpha -\nu-1})}{(1-w)} \biggr| \biggr] \\ &\qquad{} + \biggl(\frac{ N \eta^{2} T^{\alpha-1} |[\alpha-1]_{p}-[\alpha+\beta -1]_{p}| }{n \Gamma_{q}(\alpha+1) \vert T [\alpha-1]_{p}- \eta [\alpha +\beta-1]_{p}\vert } \biggr) \\ &\qquad{}\times \biggl[\frac{1}{T^{\nu}} \cdot\frac{\vert T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}\vert }{|T [\alpha+\beta-1]_{p}-[\alpha-1]_{p}|}\cdot \frac{1}{|[\alpha+\beta-1]_{p}- [\alpha-1]_{p}|} \\ &\qquad{}\times \biggl| \frac{\Gamma_{w}(\alpha)}{\Gamma_{w}(\alpha-\nu+1)}\cdot\frac {(1-w^{\alpha-\nu})}{(1-w)} [\alpha+ \beta-1]_{p}-\frac{\Gamma_{w}(\alpha -1)}{\Gamma_{w}(\alpha-\nu)}\cdot\frac{(1-w^{\alpha-\nu-1})}{(1-w)} [ \alpha-1]_{p} \biggr| \biggr] \biggr\} \\ &\qquad{} +(\tau R+K) \biggl\{ \biggl(\frac{ N T^{\alpha-1} |[\alpha-1]_{p}-[\alpha+\beta-1]_{p}| }{n \vert T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}\vert } \biggr) \\ &\qquad{}\times \biggl[\frac{1}{T^{\nu}} \cdot\frac{\vert T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}\vert }{|T [\alpha+\beta-1]_{p}-[\alpha-1]_{p}|}\cdot \frac{1}{|[\alpha+\beta-1]_{p}- [\alpha-1]_{p}|} \\ &\qquad{}\times \biggl| \frac{\Gamma_{w}(\alpha)}{\Gamma_{w}(\alpha-\nu+1)}\cdot\frac {(1-w^{\alpha-\nu})}{(1-w)} [\alpha+ \beta-1]_{p}-\frac{\Gamma_{w}(\alpha -1)}{\Gamma_{w}(\alpha-\nu)}\cdot\frac{(1-w^{\alpha-\nu-1})}{(1-w)} [ \alpha-1]_{p} \biggr| \biggr] \biggr\} \\ &\quad< R\Theta+M\Omega+ \biggl(M+\frac{\Gamma_{q}(\alpha+1)}{\eta^{2}} \biggr)\Lambda. \end{aligned}$$

Therefore, we obtain $\|{\mathcal{A}}x\|_{\mathcal{C_{A}}}\leq R$ and hence $\mathcal{A}B_{R}\subset B_{R}$.

Next, we will show that $\mathcal{A}$ is a contraction. Denote

$${\mathcal{S}}\bigl[t,x,y,D_{w}^{\nu}x,D_{w}^{\nu}y\bigr]= \bigl|f\bigl(t,x(t),D_{w}^{\nu}x(t)\bigr)-f \bigl(t,y(t),D_{w}^{\nu}y(t)\bigr) \bigr|. $$

For all $x, y\in\mathcal{C}_{\mathcal{A}}$ and for each $t\in[0,T]$, we have

$$\begin{aligned} &|\mathcal{A}x-\mathcal{A}y| \\ &\quad\leq \biggl|\frac{1}{\Gamma_{q}(\alpha)} \int_{0}^{t}(t-qs)^{(\alpha-1)}{\mathcal{S}} \bigl[s,x,y,D_{w}^{\nu}x,D_{w}^{\nu}y \bigr] \,d_{q}s \\ &\qquad{}-\frac{t^{\alpha-2}(t-\eta)}{\Gamma_{q}(\alpha) \int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \int _{0}^{T} \int_{0}^{s} g(r) (T-ps)^{(\beta-1)} \\ &\qquad{}\times(s-qr)^{(\alpha-1)} {\mathcal{S}}\bigl[r,x,y,D_{w}^{\nu}x,D_{w}^{\nu}y\bigr] \,d_{q}r\,d_{p}s \\ &\qquad{}+ \frac{ t^{\alpha-2} \int_{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha -2}(t-s) \,d_{p}s }{\eta^{\alpha-2}\Gamma_{q}(\alpha) \int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \\ &\qquad{}\times \biggl( \int_{0}^{\eta}(\eta-qs)^{(\alpha-1)} {\mathcal {S}} \bigl[s,x,y,D_{w}^{\nu}x,D_{w}^{\nu}y \bigr] \,d_{q}s-\Gamma_{q}(\alpha) \bigl| \rho(x)-\rho (y)\bigr| \biggr) \biggr| \\ &\quad\leq \lambda\|x-y\|_{\mathcal{C_{A}}} \biggl\{ \frac{T^{\alpha}}{\Gamma _{q}(\alpha+1)}+ \frac{N T^{\alpha} |T-\eta|\Gamma_{p}(\alpha+1)}{ n \Gamma_{p}(\alpha-1)\Gamma_{q}(\alpha+1)[\alpha+\beta]_{p} \vert T [\alpha-1]_{p}-\eta[\alpha+\beta-1]_{p}\vert } \\ &\qquad{} + \frac{ N \eta^{2} T^{\alpha-1} |[\alpha+\beta-1]_{p}- [\alpha-1]_{p}| }{n \Gamma_{q}(\alpha+1) \vert T [\alpha-1]_{p}- \eta [\alpha+\beta -1]_{p}\vert } \biggr\} \\ &\qquad{} + \tau\|x-y\|_{\mathcal{C_{A}}} \biggl\{ \frac{ N T^{\alpha-1} |[\alpha+\beta-1]_{p}- [\alpha-1]_{p}| }{n \vert T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}\vert } \biggr\} \\ &\quad=\|x-y\|_{\mathcal{C_{A}}}\Theta \end{aligned}$$

and

$$\begin{aligned} &\bigl|D_{w}^{\nu}\mathcal{A}x-D_{w}^{\nu} \mathcal{A}y\bigr| \\ &\quad= \bigl|D_{w} \bigl(I_{w}^{1-\nu } \mathcal{A}x-I_{w}^{1-\nu}\mathcal{A}y\bigr)\bigr| \\ &\quad= \biggl| D_{w} \biggl\{ -\frac{\int_{0}^{T}\int_{0}^{s}g(r)(T-ps)^{(\beta-1)} (s-qr)^{\alpha-1} {\mathcal{S}}[r,x,y,D_{w}^{\nu}x,D_{w}^{\nu}y] \,d_{q}r\,d_{p}s}{ \Gamma_{w}(1-\nu)\Gamma_{q}(\alpha) \int_{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s} \\ &\qquad{}\times \int_{0}^{t}(t-ws)^{(-\nu)} s^{\alpha-2}(s-\eta) \,d_{w}s \\ &\qquad+ \frac{\int_{0}^{\eta}(\eta-qs)^{\alpha-1} {\mathcal {S}}[s,x,y,D_{w}^{\nu}x,D_{w}^{\nu}y] \,d_{w}s-\Gamma_{q}(\alpha) | \rho(x)-\rho (y)|}{ \eta^{\alpha-2} \Gamma_{w}(1-\nu) \Gamma_{q}(\alpha) \int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \\ &\qquad{}\times \biggl[ \int_{0}^{t}(t-ws)^{(-\nu)}s^{\alpha-1} \,d_{w} \int _{0}^{T}g(s) (T-ps)^{(\beta-1)}s^{\alpha-2} \,d_{p}s \\ &\qquad{}- \int_{0}^{t}(t-ws)^{(-\nu)}s^{\alpha-2} \,d_{w}s \int _{0}^{T}g(s) (T-ps)^{(\beta-1)}s^{\alpha-1} \,d_{p}s \biggr] \\ &\qquad{}+\frac{1}{\Gamma_{q}(\alpha)\Gamma_{w}(1-\nu)} \int_{0}^{t} \int _{0}^{s}(t-ws)^{(-\nu)} (s-qr)^{\alpha-1} {\mathcal{S}}\bigl[r,x,y,D_{w}^{\nu}x,D_{w}^{\nu}y\bigr] \,d_{q}r\,d_{w}s \biggr\} \biggr| \\ & \quad\leq \lambda\|x-y\|_{\mathcal{C_{A}}} \biggl\{ \frac{T^{\alpha}}{\Gamma _{q}(\alpha+1)}+ \frac{N T^{\alpha} |T-\eta|\Gamma_{p}(\alpha+1)}{ n \Gamma_{p}(\alpha-1)\Gamma_{q}(\alpha+1)[\alpha+\beta]_{p} \vert T [\alpha-1]_{p}-\eta[\alpha+\beta-1]_{p}\vert } \\ &\qquad{} + \frac{ N \eta^{2} T^{\alpha-1} |[\alpha+\beta-1]_{p}- [\alpha-1]_{p}| }{n \Gamma_{q}(\alpha+1) \vert T [\alpha-1]_{p}- \eta [\alpha+\beta -1]_{p}\vert } \biggr\} \\ &\qquad{} + \tau\|x-y\|_{\mathcal{C_{A}}} \biggl\{ \frac{ N T^{\alpha-1} |[\alpha+\beta-1]_{p}- [\alpha-1]_{p}| }{n \vert T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}\vert } \biggr\} \\ &\quad=\|x-y\|_{\mathcal{C_{A}}}\Theta. \end{aligned}$$

Thus, $\|{\mathcal{A}}x-{\mathcal{A}}y\|_{\mathcal{C_{A}}}\leq \Theta\|x-y\|_{\mathcal{C_{A}}}$. From (H₄), we see that $\mathcal{A}$ is a contraction.

Hence, the conclusion of the theorem follows by Banach’s contraction mapping principle. This completes the proof. □

Our second result is based on the following Krasnoselskii fixed point theorem.

Theorem 3.2

(Krasnoselskii fixed point theorem) [30]

Let K be a bounded closed convex and nonempty subset of a Banach space X. Let A, B be operators such that

(i)

$Ax+By \in K$ whenever $x,y \in K$,
(ii)

A is compact and continuous,
(iii)

B is a contraction mapping.

Then there exists $z \in K$ such that $z = Az+Bz$.

Theorem 3.3

(Arzela-Ascoli theorem) [30]

Let $D\subseteq\mathbb{R}^{n}$ be a bounded domain, $K\subseteq C(\overline{D},\mathbb{R})$ be bounded and the following property of equicontinuity holds. For every $\epsilon>0$, there exists $\delta>0$, so that

$$\|x-y\|< \delta\quad\Rightarrow\quad\bigl|u(x)-u(y)\bigr|< \epsilon,\quad \forall x,y \in \overline{D}, \forall u\in K. $$

Then K̅ is compact.

Theorem 3.4

Assume that (H₂)-(H₃) hold. In addition, $f:[0,T]\times\mathbb {R}\times\mathbb{R}\rightarrow\mathbb{R}$ is a continuous function satisfying the following condition:

(H₅):: For all $(t,x,D_{w}^{\nu}x)\in[0,T]\times \mathbb{R}\times \mathbb{R}$, with $\mu\in C([0,T], \mathbb{R}^{+})$,
$$\bigl|f\bigl(t,x,D_{w}^{\nu}x\bigr)\bigr|\leq\mu(t). $$

If

$$\begin{aligned} \Phi:=\|\mu\|(\Omega+\Lambda)+\frac{\alpha\tau}{\eta^{2}}\Lambda < 1, \end{aligned}$$

(3.4)

then the boundary value problem (1.3) has at least one solution on $[0,T]$.

Proof

Set $\sup_{t\in[0,T]}|\mu(t)|=\| \mu\|$, and choose a constant

$$ R\geq\Phi. $$

(3.5)

In view of Lemma 2.4, we define the operators $\mathcal{A}_{1}$ and $\mathcal{A}_{2}$ on the ball $B_{R}=\{x\in\mathcal {C}_{\mathcal{A}}:\|x\|_{\mathcal{C_{A}}}\leq R\}$ by

$$\begin{aligned}& \begin{aligned}[b] (\mathcal{A}_{1}x) (t) ={}&{-}\frac{t^{\alpha-2}(t-\eta)}{\Gamma_{q}(\alpha)\int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \\ &{}\times \int_{0}^{T} \int_{0}^{s}g(r) (T-ps)^{(\beta-1)}(s-qr)^{(\alpha -1)}f \bigl(r,x(r),D_{w}^{\nu}x(r)\bigr)\,d_{q}r\,d_{p}s \\ &{}+ \frac{ t^{\alpha-2} \int_{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha -2}(t-s) \,d_{p}s }{\eta^{\alpha-2}\Gamma_{q}(\alpha) \int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \\ &{}\times \biggl( \int_{0}^{\eta}(\eta-qs)^{(\alpha-1)}f \bigl(s,x(s),D_{w}^{\nu}x(s)\bigr)\,d_{q}s- \Gamma_{q}(\alpha) \rho(x) \biggr), \end{aligned} \end{aligned}$$

(3.6)

$$\begin{aligned}& (\mathcal{A}_{2}x) (t) =\frac{1}{\Gamma_{q}(\alpha)} \int_{0}^{t}(t-qs)^{(\alpha -1)}f \bigl(s,x(s),D_{w}^{\nu}x(s)\bigr)\,d_{q}s. \end{aligned}$$

(3.7)

For all $x, y \in B_{R}$, by computing directly, we have

$$\begin{aligned} &|\mathcal{A}_{1}x+\mathcal{A}_{2}y| \\ &\quad\leq\|\mu\| \biggl\{ \frac{T^{\alpha}}{\Gamma_{q}(\alpha+1)}+\frac{N T^{\alpha} |T-\eta|\Gamma_{p}(\alpha+1)}{ n \Gamma_{p}(\alpha-1)\Gamma_{q}(\alpha+1)[\alpha+\beta]_{p} \vert T [\alpha-1]_{p}-\eta[\alpha+\beta-1]_{p}\vert } \\ &\qquad{} + \frac{ N \eta^{2} T^{\alpha-1} |[\alpha+\beta-1]_{p}- [\alpha-1]_{p}| }{n \Gamma_{q}(\alpha+1) \vert T [\alpha-1]_{p}- \eta [\alpha+\beta -1]_{p}\vert } \biggr\} + \tau \biggl\{ \frac{ N T^{\alpha-1} |[\alpha+\beta-1]_{p}- [\alpha -1]_{p}| }{n \vert T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}\vert } \biggr\} \\ &\quad= \|\mu\|(\Omega+\Lambda)+\frac{\alpha\tau}{\eta^{2}}\Lambda \\ &\quad=\Phi \leqslant R. \end{aligned}$$

Similarly to the proof above and Theorem 3.1, we obtain $\|D_{w}^{\nu}\mathcal{A}_{1}x+D_{w}^{\nu}\mathcal{A}_{2}y \|< R$, and hence $\|\mathcal{A}_{1}x+\mathcal{A}_{2}y\|_{\mathcal{C_{A}}}< R$. Therefore,

$$\mathcal{A}_{1}x+\mathcal{A}_{2}y\in B_{R}. $$

The condition (3.3) implies that $\mathcal{A}_{2}$ is a contraction mapping.

Next, we will show that $\mathcal{A}_{1}$ is compact and continuous. Continuity of f coupled with the assumption (H₄) implies that the operator $\mathcal{A}_{1}$ is continuous and uniformly bounded on $B_{R}$. For $t_{1}, t_{2} \in[0,T]$ with $t_{1}< t_{2}$, we have

$$\begin{aligned} &\bigl|\mathcal{A}_{1}x(t_{2})-\mathcal{A}_{1}x(t_{1})\bigr| \\ &\quad\leq \bigl( \bigl|t_{2}^{\alpha-2}-t_{1}^{\alpha-2}\bigr|+ \eta \bigl|t_{2}^{\alpha -1}-t_{1}^{\alpha-1}\bigr| \bigr) \\ &\qquad{}\times \frac{\int_{0}^{T}\int_{0}^{s}g(r)(T-ps)^{(\beta-1)}(s-qr)^{(\alpha -1)}f(r,x(r),D_{w}^{\nu}x(r))\,d_{q}r\,d_{p}s}{\Gamma_{q}(\alpha)\int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \\ &\qquad{}+ \bigl|t_{2}^{\alpha-2}-t_{1}^{\alpha-2} \bigr| \biggl( \int_{0}^{\eta}(\eta -qs)^{(\alpha-1)}f \bigl(s,x(s),D_{w}^{\nu}x(s)\bigr)\,d_{q}s+ \Gamma_{q}(\alpha) \rho (x) \biggr) \\ &\qquad{}\times \frac{ \int_{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(t-s) \,d_{p}s }{\eta^{\alpha-2}\Gamma_{q}(\alpha) \int_{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \\ &\quad\leq\|\mu\| \biggl\{ \frac{ ( |t_{2}^{\alpha-2}-t_{1}^{\alpha-2}|+\eta |t_{2}^{\alpha-1}-t_{1}^{\alpha-1}| ) N T^{2} \Gamma_{p}(\alpha+1)}{ n \Gamma_{p}(\alpha-1)\Gamma_{q}(\alpha+1)[\alpha+\beta]_{p} \vert T [\alpha-1]_{p}-\eta[\alpha+\beta-1]_{p}\vert } \\ &\qquad{} + \frac{ N \eta^{2} T \vert t_{2}^{\alpha-2}-t_{1}^{\alpha-2} \vert \vert [\alpha+\beta-1]_{p}- [\alpha-1]_{p}\vert }{n \Gamma_{q}(\alpha+1) \vert T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}\vert } \biggr\} \\ &\qquad{} + \tau \biggl\{ \frac{ N T \vert t_{2}^{\alpha-2}-t_{1}^{\alpha-2} \vert \vert [\alpha+\beta-1]_{p}- [\alpha-1]_{p}\vert }{n \vert T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}\vert } \biggr\} . \end{aligned}$$

Similarly to the proof above and Theorem 3.1, we obtain

$$\begin{aligned} & \bigl|D_{w}^{\mu}\mathcal{A}_{1}x(t_{2})-D_{w}^{\mu}\mathcal{A}_{1}x(t_{1}) \bigr| \\ &\quad< \bigl|\mathcal{A}_{1}x(t_{2})-\mathcal{A}_{1}x(t_{1})\bigr| \\ &\quad\leq\|\mu\| \biggl\{ \frac{ ( |t_{2}^{\alpha-2}-t_{1}^{\alpha-2}|+\eta |t_{2}^{\alpha-1}-t_{1}^{\alpha-1}| ) N T^{2} \Gamma_{p}(\alpha+1)}{ n \Gamma_{p}(\alpha-1)\Gamma_{q}(\alpha+1)[\alpha+\beta]_{p} \vert T [\alpha-1]_{p}-\eta[\alpha+\beta-1]_{p}\vert } \\ &\qquad{} + \frac{ N \eta^{2} T \vert t_{2}^{\alpha-2}-t_{1}^{\alpha-2} \vert \vert [\alpha+\beta-1]_{p}- [\alpha-1]_{p}\vert }{n \Gamma_{q}(\alpha+1) \vert T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}\vert } \biggr\} \\ &\qquad{}+ \tau \biggl\{ \frac{ N T \vert t_{2}^{\alpha-2}-t_{1}^{\alpha-2} \vert \vert [\alpha+\beta-1]_{p}- [\alpha-1]_{p}\vert }{n \vert T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}\vert } \biggr\} . \end{aligned}$$

Actually, as $|t_{2}-t_{1}|\rightarrow0$, the right-hand side of the above inequality tends to be zero. So $\mathcal{A}_{1}$ is relatively compact on $B_{R}$. Hence, by the Arzela-Ascoli theorem, $\mathcal{A}_{1}$ is compact on $B_{R}$.

Therefore, all the assumptions of Theorem (3.2) are satisfied and the conclusion of Theorem 3.2 implies that the boundary value problem (1.3) has at least one solution on $[0,T]$. This completes the proof. □

4 Existence results of the problem (1.4)

Let $\mathcal{C} = C([0,T],\mathbb{R})$ be a Banach space of all continuous functions from $[0,T]$ to $\mathbb{R}$ endowed with the norm $\|x\|= \sup_{t\in[0,T]} |x(t)|$. Define the operator $\mathcal{B}:\mathcal{C}\rightarrow\mathcal{C}$ as follows:

$$\begin{aligned} (\mathcal{B}x) (t) =&\frac{1}{\Gamma_{q}(\alpha)} \int_{0}^{t}(t-qs)^{(\alpha-1)}f\bigl(s,x(s),\Psi _{w}^{\gamma}x(s)\bigr)\,d_{q}s \\ &{}-\frac{t^{\alpha-2}(t-\eta)}{\Gamma_{q}(\alpha)\int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \\ &{}\times \int_{0}^{T} \int_{0}^{s}g(r) (T-ps)^{(\beta-1)}(s-qr)^{(\alpha -1)}f \bigl(r,x(r),\Psi_{w}^{\gamma}x(r)\bigr)\,d_{q}r\,d_{p}s \\ &{}+ \frac{ t^{\alpha-2} \int_{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha -2}(t-s) \,d_{p}s }{\eta^{\alpha-2}\Gamma_{q}(\alpha) \int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \\ &{}\times \biggl[ \int_{0}^{\eta}(\eta-qs)^{(\alpha-1)}f\bigl(s,x(s), \Psi_{w}^{\gamma}x(s)\bigr)\,d_{q}s- \Gamma_{q}(\alpha) \rho(x) \biggr]. \end{aligned}$$

(4.1)

Observe that the problem (1.4) has solutions if and only if the operator $\mathcal{B}$ has fixed points.

Our first result is based on Banach’s fixed point theorem.

Theorem 4.1

Assume that a functional $\rho: C([0,T],\mathbb{R})\rightarrow\mathbb {R}$ is continuous, $f:[0,T]\times\mathbb{R}\times\mathbb{R}\rightarrow \mathbb{R}$ is continuous and maps bounded subsets of $[0,T]\times\mathbb{R}\times\mathbb{R}$ into relatively compact subsets of $\mathbb{R}$, $g:[0,T]\rightarrow\mathbb{R^{+}}$, and $\varphi: [0, T]\times[0, T]\rightarrow[0,\infty)$ are continuous functions. Let $\varphi_{0}=\sup_{(t,s)\in[0, T]\times[0, T]}\{\varphi(t,s)\}$ and (H₃) hold. In addition, ρ and f satisfy the following conditions:

(H₆):: There exists a positive number τ such that, for all $x,y\in{\mathcal{C}}$,
$$\bigl|\rho(x)-\rho(y)\bigr|\leq\tau\|x-y\|. $$

(H₇):: There exist positive numbers $l_{1}$, $l_{2}$ such that, for each $t\in[0,T]$ and $x,y\in{\mathcal{C}}$,
$$\bigl|f\bigl(t,x,\Psi_{w}^{\gamma}x\bigr)-f\bigl(t,y, \Psi_{w}^{\gamma}y\bigr)\bigr|\leq l_{1}|x-y|+l_{2}\bigl| \Psi _{w}^{\gamma}x-\Psi_{w}^{\gamma}y\bigr|. $$

(H₈):: $\Upsilon:= (l_{1}+l_{2} \frac{\varphi_{0} T^{\gamma}}{\Gamma_{w}(\gamma+1)} ) \Omega+\frac{\tau\Gamma_{q}(\alpha+1)}{\eta ^{2}}\Lambda<1$, where Ω, Λ are defined as (3.2).

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

Proof

We transform the boundary value problem (1.4) into a fixed point problem $x=\mathcal{B}x$, where $\mathcal{B}:\mathcal{C}\rightarrow\mathcal{C}$ is defined by (4.1). Assuming that $\sup_{t\in[0,T]}{|f(t,0,0)|} = M$ and $\sup_{x\in{\mathcal{C}}}{\rho(x)} = K$, we choose a constant ρ satisfied with

$$ \rho\geq\frac{M (\Omega+\Lambda )+\frac{\Gamma_{q}(\alpha +1)}{\eta^{2}} K\Lambda}{1-\Upsilon}. $$

(4.2)

Now, we will show that $\mathcal{B}B_{\rho}\subset B_{\rho}$, where $B_{\rho}= \{x \in \mathcal{C}: \|x\| \leq\rho\}$. For all $x\in B_{\rho}$, we have

$$\begin{aligned} &|\mathcal{B}x| \\ &\quad\leq \frac{1}{\Gamma_{q}(\alpha)} \int_{0}^{t}(t-qs)^{(\alpha-1)}\bigl(\bigl|f \bigl(s,x(s),\Psi_{w}^{\gamma}x(s)\bigr)-f(s,0,0)\bigr|+\bigl|f(s,0,0)\bigr| \bigr)\,d_{q}s \\ &\qquad{}+ \frac{t^{\alpha-2}(t-\eta)}{\Gamma_{q}(\alpha) \int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \int _{0}^{T} \int_{0}^{s}g(r) (T-ps)^{(\beta-1)} \\ &\qquad{}\times (s-qr)^{(\alpha-1)}\bigl(\bigl|f\bigl(r,x(r),\Psi_{w}^{\gamma}x(r)\bigr)-f(r,0,0)\bigr|+\bigl|f(r,0,0)\bigr|\bigr)\,d_{q}r\,d_{p}s \\ &\qquad{}+ \frac{ t^{\alpha-2} \int_{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha -2}(t-s) \,d_{p}s }{\eta^{\alpha-2}\Gamma_{q}(\alpha) \int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \biggl(\Gamma _{q}(\alpha) \bigl(\bigl| \rho(x)-\rho(0)\bigr|+\bigl|\rho(0)\bigr|\bigr) \\ &\qquad{}+ \int_{0}^{\eta}(\eta-qs)^{(\alpha-1)}\bigl(\bigl|f \bigl(s,x(s),\Psi_{w}^{\gamma}x(s)\bigr)-f(s,0,0)\bigr|+\bigl|f(s,0,0)\bigr| \bigr)\,d_{q}s \biggr) \\ &\quad\leq \biggl[ \biggl(l_{1}+l_{2} \frac{\varphi_{0} T^{\gamma}}{\Gamma_{w}(\gamma +1)} \biggr) \|x\|+M \biggr] \\ &\qquad{}\times \biggl\{ \frac{T^{\alpha}}{\Gamma_{q}(\alpha+1)}+\frac{N T^{\alpha} |T-\eta|\Gamma_{p}(\alpha+1)}{ n \Gamma_{p}(\alpha-1)\Gamma_{q}(\alpha+1)[\alpha+\beta]_{p} \vert T [\alpha-1]_{p}-\eta[\alpha+\beta-1]_{p}\vert } \\ &\qquad{} + \frac{ N \eta^{2} T^{\alpha-1} |[\alpha+\beta-1]_{p}- [\alpha-1]_{p}| }{n \Gamma_{q}(\alpha+1) \vert T [\alpha-1]_{p}- \eta [\alpha+\beta -1]_{p}\vert } \biggr\} \\ &\qquad{} + \bigl(\tau \|x\|+K\bigr) \biggl\{ \frac{ N T^{\alpha-1} |[\alpha+\beta-1]_{p}- [\alpha-1]_{p}| }{n \vert T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}\vert } \biggr\} \\ &\quad= \rho \Upsilon+M (\Omega+\Lambda )+\frac{\Gamma_{q}(\alpha +1)}{\eta^{2}} K\Lambda \\ &\quad\leq \rho. \end{aligned}$$

Therefore, ${\mathcal{B}}B_{\rho}\subset B_{\rho}$.

Next, we will show that $\mathcal{B}$ is a contraction. For all $x, y\in \mathcal{C}$ and for each $t\in[0,T]$, we have

$$\begin{aligned} &|{\mathcal{B}}x-{\mathcal{B}}y| \\ &\quad\leq \biggl|\frac{1}{\Gamma_{q}(\alpha)} \int_{0}^{t} (t-qs)^{(\alpha-1)}\bigl|f\bigl(s,x(s), \Psi_{w}^{\gamma}x(s)\bigr)-f\bigl(s,y(s),\Psi _{w}^{\gamma}y(s)\bigr)\bigr|\,d_{q}s \\ &\qquad{}-\frac{t^{\alpha-2}(t-\eta)}{\Gamma_{q}(\alpha) \int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \int _{0}^{T} \int_{0}^{s} g(r) (T-ps)^{(\beta-1)} \\ &\qquad{}\times (s-qr)^{(\alpha-1)} \bigl|f\bigl(r,x(r),\Psi_{w}^{\gamma}x(r)\bigr)-f\bigl(r,y(r),\Psi _{w}^{\gamma}y(s)\bigr)\bigr| \,d_{q}r\,d_{p}s \\ &\qquad{}+ \frac{ t^{\alpha-2} \int_{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha -2}(t-s) \,d_{p}s }{\eta^{\alpha-2}\Gamma_{q}(\alpha) \int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \\ &\qquad{}\times \biggl( \int_{0}^{\eta}(\eta-qs)^{(\alpha-1)}\bigl|f\bigl(s,x(s), \Psi_{w}^{\gamma}x(s)\bigr)-f\bigl(s,y(s),\Psi_{w}^{\gamma}y(s)\bigr)\bigr|\,d_{q}s\\ &\qquad{}-\Gamma_{q}(\alpha) \bigl(\rho(x)-\rho (y) \bigr) \biggr) \biggr| \\ &\quad\leq \biggl[ \biggl(l_{1}+l_{2} \frac{\varphi_{0} T^{\gamma}}{\Gamma_{w}(\gamma +1)} \biggr) \|x-y\| \biggr] \\ &\qquad{}\times \biggl\{ \frac{T^{\alpha}}{\Gamma_{q}(\alpha+1)}+\frac{N T^{\alpha} |T-\eta|\Gamma_{p}(\alpha+1)}{ n \Gamma_{p}(\alpha-1)\Gamma_{q}(\alpha+1)[\alpha+\beta]_{p} \vert T [\alpha-1]_{p}-\eta[\alpha+\beta-1]_{p}\vert } \\ &\qquad{} + \frac{ N \eta^{2} T^{\alpha-1} |[\alpha+\beta-1]_{p}- [\alpha-1]_{p}| }{n \Gamma_{q}(\alpha+1) \vert T [\alpha-1]_{p}- \eta [\alpha+\beta -1]_{p}\vert } \biggr\} \\ &\qquad{} + \tau \biggl\{ \frac{ N T^{\alpha-1} |[\alpha+\beta-1]_{p}- [\alpha -1]_{p}| }{n \vert T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}\vert } \biggr\} \\ &\quad=\Upsilon \|x-y\|. \end{aligned}$$

By (H₈), we have $\mathcal{B}$ is a contraction. Thus, the conclusion of the theorem follows by Banach’s contraction mapping principle. This completes the proof. □

Our second result is based on the following Krasnoselskii’s fixed point theorem.

Theorem 4.2

Assume that (H₃) and (H₆) hold. In addition, $f:[0,T]\times\mathbb {R}\times\mathbb{R}\rightarrow\mathbb{R}$ is a continuous function satisfying the following condition:

(H₉):: For all $(t,x,\Psi_{w}^{\gamma}x)\in[0,T]\times \mathbb{R}\times\mathbb{R}$, with $\sigma\in C([0,T], \mathbb{R}^{+})$,
$$\bigl|f\bigl(t,x,\Psi_{w}^{\gamma}x\bigr)\bigr|\leq\sigma(t). $$

If

$$\begin{aligned} \chi:=\|\sigma\|(\Omega+\Lambda)+\frac{\alpha\tau}{\eta^{2}}\Lambda < 1, \end{aligned}$$

(4.3)

then the boundary value problem (1.4) has at least one solution on $[0,T]$.

Proof

Set $\sup_{t\in[0,T]}|\sigma (t)|=\|\sigma\|$ and choose a constant

$$ \rho\geq\chi. $$

(4.4)

In view of Lemma 2.4, we define the operators ${\mathcal{B}}_{1}$ and ${\mathcal{B}}_{2}$ on the ball $B_{\rho}=\{x\in \mathcal{C}:\|x\|\leq\rho\}$ by

$$\begin{aligned}& \begin{aligned}[b] (\mathcal{B}_{1}x) (t) ={}&{-}\frac{t^{\alpha-2}(t-\eta)}{\Gamma_{q}(\alpha)\int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \\ &{}\times \int_{0}^{T} \int_{0}^{s}g(r) (T-ps)^{(\beta-1)}(s-qr)^{(\alpha -1)}f \bigl(r,x(r),\Psi_{w}^{\gamma}x(r)\bigr)\,d_{q}r\,d_{p}s \\ &{}+ \frac{ t^{\alpha-2} \int_{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha -2}(t-s) \,d_{p}s }{\eta^{\alpha-2}\Gamma_{q}(\alpha) (\int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \\ &{}\times \biggl( \int_{0}^{\eta}(\eta-qs)^{(\alpha-1)}f\bigl(s,x(s), \Psi_{w}^{\gamma}x(s)\bigr)\,d_{q}s- \Gamma_{q}(\alpha) \rho(x) \biggr), \end{aligned} \end{aligned}$$

(4.5)

$$\begin{aligned}& (\mathcal{B}_{2}x) (t) =\frac{1}{\Gamma_{q}(\alpha)} \int_{0}^{t}(t-qs)^{(\alpha-1)}f\bigl(s,x(s),\Psi _{w}^{\gamma}x(s)\bigr)\,d_{q}s. \end{aligned}$$

(4.6)

For $x, y \in B_{\rho}$, by computing directly, we have

$$\begin{aligned} &|\mathcal{B}_{1}x+\mathcal{B}_{2}y| \\ &\quad\leq\|\sigma\| \biggl\{ \frac{T^{\alpha}}{\Gamma_{q}(\alpha+1)}+\frac{N T^{\alpha} |T-\eta|\Gamma_{p}(\alpha+1)}{ n \Gamma_{p}(\alpha-1)\Gamma_{q}(\alpha+1)[\alpha+\beta]_{p} \vert T [\alpha-1]_{p}-\eta[\alpha+\beta-1]_{p}\vert } \\ &\qquad{}+ \frac{ N \eta^{2} T^{\alpha-1} |[\alpha+\beta-1]_{p}- [\alpha-1]_{p}| }{n \Gamma_{q}(\alpha+1) \vert T [\alpha-1]_{p}- \eta [\alpha+\beta -1]_{p}\vert } \biggr\} \\ &\qquad{} +\tau \biggl\{ \frac{ N T^{\alpha-1} |[\alpha+\beta-1]_{p}- [\alpha -1]_{p}| }{n \vert T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}\vert } \biggr\} \\ &\quad= \|\sigma\|(\Omega+\Lambda)+\frac{\alpha\tau}{\eta^{2}}\Lambda \\ &\quad=\chi\leq\rho. \end{aligned}$$

Therefore $\mathcal{B}_{1}x+\mathcal{B}_{2}y\in B_{\rho}$. The condition (4.3) implies that $\mathcal{B}_{2}$ is a contraction mapping.

Next, we will show that $\mathcal{B}_{1}$ is compact and continuous. Continuity of f coupled with the assumption (H₇) implies that the operator $\mathcal{B}_{1}$ is continuous and uniformly bounded on $B_{\rho}$. For $t_{1}, t_{2} \in[0,T]$ with $t_{1}< t_{2}$, we have

$$\begin{aligned} &\bigl|\mathcal{B}_{1}x(t_{2})-\mathcal{B}_{1}x(t_{1})\bigr| \\ &\quad\leq \bigl( \bigl|t_{2}^{\alpha-2}-t_{1}^{\alpha-2}\bigr|+ \eta \bigl|t_{2}^{\alpha -1}-t_{1}^{\alpha-1}\bigr| \bigr) \\ &\qquad{}\times\frac{\int_{0}^{T}\int_{0}^{s}g(r)(T-ps)^{(\beta-1)}(s-qr)^{(\alpha -1)}f(r,x(r),\Psi_{w}^{\gamma}x(r))\,d_{q}r\,d_{p}s}{\Gamma_{q}(\alpha)\int _{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \\ &\qquad{}+ \bigl|t_{2}^{\alpha-2}-t_{1}^{\alpha-2} \bigr| \biggl( \int_{0}^{\eta}(\eta -qs)^{(\alpha-1)}f\bigl(s,x(s), \Psi_{w}^{\gamma}x(s)\bigr)\,d_{q}s+ \Gamma_{q}(\alpha) \rho (x) \biggr) \\ &\qquad{}\times \frac{ \int_{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(t-s) \,d_{p}s }{\eta^{\alpha-2}\Gamma_{q}(\alpha) \int_{0}^{T}g(s)(T-ps)^{(\beta-1)} s^{\alpha-2}(s-\eta) \,d_{p}s } \\ &\quad\leq\|\sigma\| \biggl\{ \frac{ ( |t_{2}^{\alpha-2}-t_{1}^{\alpha -2}|+\eta |t_{2}^{\alpha-1}-t_{1}^{\alpha-1}| ) N T^{2} \Gamma _{p}(\alpha+1)}{ n \Gamma_{p}(\alpha-1)\Gamma_{q}(\alpha+1)[\alpha+\beta]_{p} \vert T [\alpha-1]_{p}-\eta[\alpha+\beta-1]_{p}\vert } \\ &\qquad{} + \frac{ N \eta^{2} T \vert t_{2}^{\alpha-2}-t_{1}^{\alpha-2} \vert \vert [\alpha+\beta-1]_{p}- [\alpha-1]_{p}\vert }{n \Gamma _{q}(\alpha+1) \vert T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}\vert } \biggr\} \\ &\qquad{} + \tau \biggl\{ \frac{ N T \vert t_{2}^{\alpha-2}-t_{1}^{\alpha-2} \vert \vert [\alpha+\beta-1]_{p}- [\alpha-1]_{p}\vert }{n \vert T [\alpha-1]_{p}- \eta [\alpha+\beta-1]_{p}\vert } \biggr\} . \end{aligned}$$

Actually, as $|t_{2}-t_{1}|\rightarrow0$, the right-hand side of the above inequality tends to be zero. So $\mathcal{B}_{1}$ is relatively compact on $B_{\rho}$. Hence, by the Arzela-Ascoli theorem, $\mathcal{B}_{1}$ is compact on $B_{\rho}$.

Therefore, all the assumptions of Theorem 4.2 are satisfied and the conclusion of Theorem 4.2 implies that the boundary value problem (1.4) has at least one solution on $[0,T]$. This completes the proof. □

5 Examples

In this section, we give some examples to illustrate our results.

Example 5.1

Consider the following fractional q-integral boundary value problem:

$$ \textstyle\begin{cases} D_{\frac{1}{2}}^{\frac{4}{3}} x(t) = \frac{e^{-\cos ^{2}(2\pi t)}}{100+e^{\sin^{2}(2\pi t)}}\cdot\frac{|x(t)|+|D_{\frac {1}{4}}^{\frac{2}{3}} x(t)|}{1+|x(t)|}, \quad t\in[0,1], \\ x (\frac{1}{4} )=1+\sum_{i=1}^{n}C_{i} x(t_{i}),\qquad I_{\frac{1}{3}}^{\frac{5}{2}} e^{\sin(2\pi t)} x(1)=0, \end{cases} $$

(5.1)

where $0< t_{1},t_{2},\ldots,t_{n}<1$ and $C_{i}$ are given positive constants with $\sum_{i=1}^{n}C_{i}<\frac{1}{400}$.

Here $\alpha=\frac{4}{3}$, $\beta=\frac{5}{2}$, $\eta=\frac{1}{4}$, $\nu =\frac{2}{3}$, $q=\frac{1}{2}$, $p=\frac{1}{3}$, $w=\frac{1}{4}$, $T=1$, $g(t)=e^{\sin(2\pi t)}$, and $f(t,x)=\frac{e^{-\cos^{2}(2\pi t)}}{20+e^{\sin^{2}(2\pi t)}}\cdot\frac{|x(t)|+|D_{\frac{1}{4}}^{\frac {2}{3}} x(t)|}{1+|x(t)|}$.

Since $|f(t,x,D_{\frac{1}{2}}^{\frac{4}{3}} x)-f(t,y,D_{\frac {1}{2}}^{\frac{4}{3}} y)|\leq\frac{1}{101}|x-y|+\frac{1}{101}|D_{\frac {1}{2}}^{\frac{4}{3}} x-D_{\frac{1}{2}}^{\frac{4}{3}} y|$, (H₁) is satisfied with $L_{1}=L_{2}=\frac{1}{101}$, so $\lambda=\frac{2}{101}$.

Also, we get $|\rho(x)-\rho(y)|=\vert \sum_{i=1}^{n}C_{i}x(t_{i})-\sum_{i=1}^{n}C_{i}y(t_{i})\vert \leq\sum_{i=1}^{n}C_{i}|x-y|$. So, (H₂) holds with $\tau=\sum_{i=1}^{n}C_{i}<\frac{1}{400}$.

Since $\frac{1}{e}< g(t)< e$, (H₃) is satisfied with $N=e$, $n=\frac {1}{e}$.

We can show that

$$\begin{aligned}& \Omega=\frac{1}{\Gamma_{\frac{1}{2}}(\frac{7}{3})}+\frac{e |1-\frac {1}{4}| \Gamma_{\frac{1}{3}}(\frac{7}{3})}{\frac{1}{e} \vert [\frac {1}{3}]_{\frac{1}{3}}-\frac{1}{4}[\frac{17}{6}]_{\frac{1}{3}}\vert [\frac{23}{6}]_{\frac{1}{3}}\Gamma_{\frac{1}{2}}(\frac{7}{3}) \Gamma _{\frac{1}{3}}(\frac{1}{3}) } \approx2.2358, \\& \Lambda=\frac{\frac{e}{16} \vert [\frac{1}{3}]_{\frac{1}{3}}-[\frac {17}{6}]_{\frac{1}{3}}\vert }{\frac{1}{e} \vert [\frac{1}{3}]_{\frac{1}{3}}-\frac{1}{4}[\frac{17}{6}]_{\frac {1}{3}}\vert \Gamma_{\frac{1}{2}}(\frac{7}{3})}\approx5.0088. \end{aligned}$$

Therefore, we get

$$\Theta=\lambda (\Omega+\Lambda )+\frac{\tau\Gamma_{q}(\alpha +1)}{\eta^{2}} \Lambda\approx0.3668< 1. $$

Hence, by Theorem 3.1, problem (5.1) has a unique solution on $[0,1]$.

Example 5.2

Consider the following fractional q-integral boundary value problem:

$$ \textstyle\begin{cases} D_{\frac{1}{2}}^{\frac{4}{3}} x(t) = \frac{e^{-\cos ^{2}(2\pi t)}}{20+e^{\sin^{2}(2\pi t)}}\cdot\frac{|x(t)|+|\psi_{\frac {1}{4}}^{\frac{8}{3}} x(t)|}{1+|x(t)|}, \quad t\in[0,1], \\ x(\frac{1}{4})=1+\sum_{i=1}^{n}C_{i} x(t_{i}),\qquad I_{\frac{1}{3}}^{\frac{5}{2}} e^{\sin(2\pi t)} x(T)=0. \end{cases} $$

(5.2)

where $0< t_{1},t_{2},\ldots,t_{n}<1$ and $C_{i}$ are given positive constants with $\sum_{i=1}^{n}C_{i}<\frac{1}{500}$.

Here $\alpha=\frac{4}{3}$, $\beta=\frac{5}{2}$, $\eta=\frac{1}{4}$, $\gamma=\frac{8}{3}$, $q=\frac{1}{2}$, $p=\frac{1}{3}$, $w=\frac {1}{4}$, $T=1$, $g(t)=e^{\sin(2\pi t)}$, $f(t,x)=\frac{e^{-\cos^{2}(2\pi t)}}{20+e^{\sin^{2}(2\pi t)}}\cdot\frac {|x(t)|+|\Psi_{\frac{1}{4}}^{\frac{8}{3}} x(t)|}{1+|x(t)|}$, $\Psi _{\frac{1}{4}}^{\frac{8}{3}} x(t)=\frac{1}{\Gamma_{\frac{1}{4}}(\frac {8}{3})} \int_{0}^{t} (t-\frac{s}{4} )^{(\frac {5}{3})}\frac{e^{-(s-t)}}{10} x(s) \,d_{w}s $ and $\varphi(t,s)=\frac{e^{-(s-t)}}{10}$.

Also, we get $|\rho(x)-\rho(y)|=\vert \sum_{i=1}^{n}C_{i}x(t_{i})-\sum_{i=1}^{n}C_{i}y(t_{i})\vert \leq\sum_{i=1}^{n}C_{i}|x-y|$. So, (H₂) holds with $\tau=\sum_{i=1}^{n}C_{i}<\frac{1}{500}$.

Since $|f(t,x,\Psi_{\frac{1}{4}}^{\frac{8}{3}} x)-f(t,y,\Psi_{\frac {1}{4}}^{\frac{8}{3}} y)|\leq\frac{1}{21}|x-y|+\frac{1}{21}|\Psi _{\frac{1}{4}}^{\frac{8}{3}} x-\Psi_{\frac{1}{4}}^{\frac{8}{3}} y| $ and $\varphi_{0}=\frac{e}{10}$, (H₅) is satisfied with $l_{1}=l_{2}=\frac {1}{21}$. So $l_{1}+\frac{e l_{2}}{10 (\frac{8}{3}+1)}=0.0977$.

By Example 5.1, we get $\Omega\approx 2.2358 $ and $\Lambda \approx5.0088$. Therefore, we have

$$\Upsilon= \biggl(l_{1}+\frac{e l_{2}}{10 (\frac{8}{3}+1)} \biggr)\Omega+ \frac {\tau\Gamma_{q}(\alpha)}{\eta^{2}}\Lambda \approx0.4059< 1. $$

Hence, by Theorem 4.1, problem (5.2) has a unique solution on $[0,1]$.

Declarations

Acknowledgements

The author is highly grateful to the editors and the referees for their valuable suggestions, which improved the article. This research was funded by King Mongkut’s University of Technology North Bangkok. Contract no. KMUTNB-GEN-58-13.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), 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

(1)

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

References

Jackson, FH: q-Difference equations. Am. J. Math. 32, 305-314 (1970) View ArticleGoogle Scholar
Kac, V, Cheung, P: Quantum Calculus. Springer, New York (2000) Google Scholar
Al-Salam, WA: Some fractional q-integrals and q-derivatives. Proc. Edinb. Math. Soc. 15(2), 135-140 (1966/1967) Google Scholar
Agarwal, RP: Certain fractional q-integrals and q-derivatives. Proc. Camb. Philos. Soc. 66, 365-370 (1969) View ArticleMATHGoogle Scholar
Annaby, MH, Mansour, ZS: q-Fractional Calculus and Equations. Lecture Notes in Mathematics, vol. 2056. Springer, Berlin (2012) MATHGoogle Scholar
Webb, JRL: Positive solutions of some higher order nonlocal boundary value problems. Electron. J. Qual. Theory Differ. Equ. 2009, 29 (2009) Google Scholar
Webb, JRL, Infante, G: Nonlocal boundary value problems of arbitrary order. J. Lond. Math. Soc. 79(2), 238-258 (2009) MathSciNetMATHGoogle Scholar
Gallardo, JM: Second order differential operators with integral boundary conditions and generation of semigroups. Rocky Mt. J. Math. 30, 1265-1292 (2000) MathSciNetView ArticleMATHGoogle Scholar
Karakostas, GL, Tsamatos, PC: Multiple positive solutions of some Fredholm integral equations arisen from nonlocal boundary-value problems. Electron. J. Differ. Equ. 2002, 30 (2002) MathSciNetGoogle Scholar
Lomtatidze, A, Malaguti, L: On a nonlocal boundary-value problems for second order nonlinear singular differential equations. Georgian Math. J. 7, 133-154 (2000) MathSciNetMATHGoogle Scholar
Agarwal, RP, O’Regan, D: Infinite Interval Problems for Differential, Difference and Integral Equations. Kluwer Academic, Dordrecht (2001) View ArticleMATHGoogle Scholar
Corduneanu, C: Integral Equations and Applications. Cambridge University Press, Cambridge (1991) View ArticleMATHGoogle Scholar
Ferreira, R: Nontrivial solutions for fractional q-difference boundary value problems. Electron. J. Qual. Theory Differ. Equ. 2010, 70 (2010) Google Scholar
Ferreira, R: Positive solutions for a class of boundary value problems with fractional q-differences. Comput. Math. Appl. 61, 367-373 (2011) MathSciNetView ArticleMATHGoogle Scholar
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
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, 13 (2014) View ArticleGoogle Scholar
Ma, J, Yang, J: Existence of solutions for multi-point boundary value problem of fractional q-difference equation. Electron. J. Qual. Theory Differ. Equ. 2011, 92 (2011) MathSciNetGoogle Scholar
Graef, JR, Kong, L: Positive solutions for a class of higher order boundary value problems with fractional q-derivatives. Appl. Math. Comput. 218, 9682-9689 (2012) MathSciNetView ArticleMATHGoogle Scholar
Ahmad, B, Ntouyas, SK, Purnaras, IK: Existence results for nonlocal boundary value problems of nonlinear fractional q-difference equations. Adv. Differ. Equ. 2012, 140 (2012) MathSciNetView ArticleGoogle Scholar
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
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 ArticleGoogle Scholar
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
Alsaedi, A, Ahmad, B, Al-Hutami, H: A study of nonlinear fractional q-difference equations with nonlocal integral boundary conditions. Abstr. Appl. Anal. 2013, 410505 (2013) MathSciNetGoogle Scholar
Li, X, Han, Z, Sun, S: Existence of positive solutions of nonlinear fractional q-difference equation with parameter. Adv. Differ. Equ. 2013, 260 (2013) MathSciNetView ArticleGoogle Scholar
Zhou, WX, Liu, HZ: Existence solutions for boundary value problem of nonlinear fractional q-difference. Adv. Differ. Equ. 2013, 113 (2013) View ArticleGoogle Scholar
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
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, 763786 (2013) MathSciNetView ArticleGoogle Scholar
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) MathSciNetGoogle Scholar
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) MathSciNetGoogle Scholar
Granas, A, Dugundji, J: Fixed Point Theory. Springer, New York (2005) Google Scholar