Skip to content

Advertisement

  • Research
  • Open Access

On four-point fractional q-integrodifference boundary value problems involving separate nonlinearity and arbitrary fractional order

Boundary Value Problems20182018:41

https://doi.org/10.1186/s13661-018-0962-6

  • Received: 16 August 2017
  • Accepted: 20 March 2018
  • Published:

Abstract

In this paper, we study a sequential Caputo fractional q-integrodifference equation with fractional q-integral and Riemann–Liouville fractional q-derivative boundary value conditions. Our problem contains \(2(M+N+1)\) different orders and six different numbers of q in derivatives and integrals. The problem contains separate nonlinear functions. To examine existence and uniqueness results of the problem, Banach’s contraction principle and the Leray–Schauder nonlinear alternative are employed. An illustrative example is also provided.

Keywords

  • Existence
  • q-derivative
  • q-integral
  • q-integrodifference equation

MSC

  • 39A05
  • 39A13

1 Introduction

In the 20th century, q-difference calculus and fractional q-difference calculus play an important role in the areas of mathematics and applications [13] such as the applications to orthogonal polynomials and mathematical control theories. Essentially, for q-difference calculus, basic definitions and properties have been presented in Ref. [4]. For the fractional q-difference calculus proposed by Al-Salam [5] and Agarwal [6], see [7]. Recently, many researchers have extensively studied in q-difference equations and fractional q-difference equations (see [834]). However, there is a lack of research in boundary value problem of nonlinear q-difference equations. In what follows, we fill up this gap.

In 2014, Ahmad et al. [15] studied the existence of solutions for the Caputo fractional q-difference integral equation with nonlocal boundary conditions,
$$ \textstyle\begin{cases} {^{C}}D^{\beta}_{q} ( {^{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} $$
(1.1)
where \(\beta,\gamma,\xi\in(0,1)\), \(f,g\) are given continuous functions, \(\lambda,p,k\) are real constants and \(\alpha_{i},\beta _{i},\sigma_{i} \in{\mathbb{R}}, \eta_{i} \in(0,1),i=1,2\).
In 2016, Sitthiwirattham [31] examined 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}$$
(1.2)
$$\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}$$
(1.3)
with nonlocal three-point fractional p-integral boundary conditions of the form
$$x(\eta)=\rho(x),\qquad I_{p}^{\beta}g(T) x(T)=0, $$
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\).
Recently, Patanarapeelert et al. [33] considered a sequential q-integrodifference boundary value problem involving two different 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_{\nu}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} $$
(1.4)
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}}, \nu=\frac{\nu_{1}}{\nu_{2}}\), and \(\alpha=\frac{1}{\mathrm{LCM}(p_{2}, q_{2}, o_{2}, r_{2}, w_{2}, \nu_{2})}\) are proper fractions with \(w\leq o\), LCM is the lest 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.
In this paper, we aim to develop an understanding of nonlinear q-integrodifference equations. Particulary, our attention is to analyze existence and uniqueness for a four-point Riemann–Liouville fractional q-integrodifference boundary value problem for a sequential Caputo fractional q-integrodifference equation of the form
$$\begin{aligned} &{^{C}}D_{q}^{\alpha}{^{C}}D_{p}^{\beta}u(t) = \lambda_{1} F\bigl( t,u(t),D_{r}^{\gamma}u(t),D_{r}^{\gamma-1} u(t),\ldots,D_{r}^{\gamma-M+1} u(t)\bigr) \\ &\phantom{{^{C}}D_{q}^{\alpha}{^{C}}D_{p}^{\beta}u(t)=}{} +\lambda_{2}H\bigl( t,u(t),\Psi_{w}^{\theta}u(t),\Psi _{w}^{\theta-1} u(t),\ldots,\Psi_{w}^{\theta-N+1} u(t)\bigr),\quad t \in I_{\chi}^{T}, \end{aligned}$$
(1.5)
$$\begin{aligned} &\textstyle\begin{cases} D_{p}^{k} u(0) =D_{p}^{\beta+j} u(0) =0,\quad k\in{\mathbb {N}}_{0,N-2}, j\in{\mathbb{N}}_{0,M-2}, \\ D_{m}^{\nu}u(0) = \mu D_{m}^{\nu}u(T),\\ u(\xi)=\tau {I}_{n}^{\vartheta} g(\eta) u(\eta), \end{cases}\displaystyle \end{aligned}$$
(1.6)
where \(I_{\chi}^{T}:=\{\chi^{k}T:k \in{\mathbb{N}}\}\cup\{ 0,T\}\); \(M,N\in{\mathbb{N}}_{2}:=\{2,3,\ldots\}; \alpha\in(M-1,M)\); \(\beta\in(N-1,N)\); \(\gamma\in(M-2,M-1)\); \(\theta\in(N-2,N-1)\); \(\nu,\vartheta\in(0,1)\); \(\lambda_{1},\lambda_{2},\mu,\tau>0\); \(\xi ,\eta\in I_{\chi}^{T}-\{0,T\}, \xi>\eta\); \(p=\frac {p_{1}}{p_{2}},q=\frac{q_{1}}{q_{2}},r=\frac{r_{1}}{r_{2}},w=\frac {w_{1}}{w_{2}},m=\frac{m_{1}}{m_{2}},n=\frac{n_{1}}{n_{2}}\) are simplest form of proper fractions and \(\chi=\frac{1}{\mathrm{LCM} (p_{2},q_{2},r_{2},w_{2},m_{2},n_{2})}\), LCM is the least common multiple; \(g\in C(I_{\chi}^{T},\mathbb{R}^{+})\), \(F \in C(I_{\chi }^{T}\times{\mathbb{R}}^{M+2},{\mathbb{R}})\), \(H \in C (I_{\chi}^{T}\times{\mathbb{R}}^{N+2},{\mathbb{R}})\) are given functions; and, for \(\varphi\in C(I_{\chi}^{T}\times I_{\chi }^{T},[0,\infty) )\), define \(\Psi^{\theta}_{w} u(t):=(I_{w}^{\theta}\varphi u)(t)=\frac{1}{\Gamma _{w}(\theta)} \int_{0}^{t} (t-ws)^{(\theta-1)}\varphi(t,s) u(s) \,d_{w}s\).

As is clear from our fractional q-integrodifference equation, there are \(2(M+N+1)\) different orders in derivatives and integral, and there are six different values of the q numbers consisting of \(q,p,r,m\)-derivatives and \(w,n\)-integrals. The rest of paper is organized as follows. Section 2 describes some basis definitions, some properties of the q-difference and fractional q-difference operators and lemma that are used to evaluate the results. In Sect. 3, we employ Banach’s contraction mapping principle and the Leray–Schauder nonlinear alternative to prove an existence and uniqueness of solution of the problem (1.5)–(1.6). Finally, using our main results, we provide an example in Sect. 4.

2 Preliminaries

In this section, we provide some notations, definitions, and lemmas which are used in the main results. Let \(q\in(0,1)\) and define
$$\begin{aligned}{} [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}. \end{aligned}$$
The q-analogue of the power function \((a-b)^{(n)}\) with \(n\in\mathbb{N}_{0}:=[0,1,\ldots]\) is defined by
$$(a-b)^{(0)}:=1, \qquad (a-b)^{(n)}:= \prod _{k=0}^{n-1} \bigl(a-bq^{k}\bigr),\quad a,b\in \mathbb{R}. $$
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. $$
Specifically, if \(b = 0\) then \(a^{(\alpha)} = a^{\alpha}\). In addition, \(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

([6])

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). $$
The higher order q-derivatives of f is defined by
$$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). $$
For function f 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), $$
where the infinite series is convergent.

Definition 2.2

([6])

For \(\alpha\geq0\) and f defined on \([0, T]\), the fractional q-integral 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-xq^{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}$$
We note that \((I^{0}_{q} f)(x) = f(x)\).

Definition 2.3

([8])

For \(\alpha\geq0\), m is the smallest integer such that \(m\geq \alpha\) and f defined on \([0, T]\), the fractional q-derivative of the Riemann–Liouville type of order α is defined by
$$\begin{aligned} \bigl(D_{q}^{\alpha}f\bigr) (x):= \bigl(D_{q}^{m} I_{q}^{m-\alpha} f\bigr) (x)=\frac{1}{\Gamma _{q}(-\alpha)} \int_{0}^{x} (x-qt)^{(-\alpha-1)}f(t) \,d_{q}t,\quad \alpha>0, \end{aligned}$$
and
$$\bigl(D^{0}_{q}f\bigr) (x) = f(x), $$
the fractional q-derivative of the Caputo type of order α is defined by
$$\begin{aligned} \bigl({^{C}}D_{q}^{\alpha}f\bigr) (x):= \bigl( I_{q}^{m-\alpha} D_{q}^{m} f\bigr) (x)=\frac{1}{\Gamma _{q}(m-\alpha)} \int_{0}^{x} (x-qt)^{(m-\alpha-1)} D_{q}^{m}f(t) \,d_{q}t, \quad\alpha>0 \end{aligned}$$
and
$$\bigl({^{C}}D^{0}_{q}f\bigr) (x) = f(x). $$

Lemma 2.1

([6])

Let \(\alpha,\beta\geq0\) and f be a function defined on \([0, T]\). Then the following properties 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

([8])

Let \(N-1<\alpha\leq N\) and \(N\in{\mathbb{N}}\). Then the following equality holds:
$$\begin{aligned} \bigl(I_{q}^{\alpha}D_{q}^{\alpha}f\bigr) (x)=f(x)- \sum_{k=0}^{N-1} \frac {x^{\alpha-N+k}}{\Gamma_{q}(\alpha+k-N+1)}\bigl(D_{q}^{\alpha-N+k} f\bigr) (0). \end{aligned}$$

Lemma 2.3

([19])

Let \(N-1<\alpha\leq N\) and \(N\in{\mathbb{N}}\). Then the following equality holds:
$$\begin{aligned} \bigl(I_{q}^{\alpha}{^{C}}D_{q}^{\alpha}f\bigr) (x)= {}&f(x)- \sum_{k=0}^{N-1} \frac{x^{k}}{\Gamma_{q}(k+1)}\bigl(D_{q}^{k} f\bigr) (0), \\ \bigl({^{C}}D_{q}^{\alpha}I_{q}^{\alpha}f\bigr) (x)={} &f(x). \end{aligned}$$

Lemma 2.4

([17])

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), \\ &\mathrm{(iii}) \quad \int_{0}^{\eta}\int_{0}^{s} \int_{0}^{t}(\eta-ps)^{(\alpha -1)}(s-qt)^{(\beta-1)}(t-rv)^{(\gamma-1)} \,d_{r}v\,d_{q}t\,d_{p}s \\ &\phantom{\textit{(iii}) \quad}\quad=\frac{\eta^{\alpha+\beta+\gamma}}{[\gamma]_{r}}B_{q}(\beta,\gamma +1)B_{p}(\alpha, \beta+\gamma+1). \end{aligned}$$

We next provided a lemma dealing with a linear variant of the boundary value problem. This lemma is used to define the solution of the boundary value problem (1.5)–(1.6).

Lemma 2.5

Let \(M,N\in{\mathbb{N}}_{2}, \alpha\in(M-1,M)\), \(\beta\in(N-1,N)\), \(\gamma\in(M-2,M-1)\), \(\theta\in(N-2,N-1)\), \(p=\frac {p_{1}}{p_{2}}, q=\frac{q_{1}}{q_{2}}, m=\frac{m_{1}}{m_{2}}, n=\frac{n_{1}}{n_{2}}\) be simplest proper fractions and \(\phi=\frac{1}{\mathrm{LCM} (p_{2},q_{2},m_{2},n_{2})}\); \(\lambda_{1},\lambda_{2},\mu,\tau>0\). For \(f,h \in C(I_{\phi}^{T},{\mathbb{R}})\) and \(g \in C(I_{\phi}^{T},{\mathbb {R}}^{+})\), the solution for the boundary value problem
$$\begin{aligned} &D_{q}^{\alpha}D_{p}^{\beta}u(t) = \lambda_{1} f(t)+\lambda_{2}h(t),\quad t\in I_{\phi}^{T} \end{aligned}$$
(2.1)
$$\begin{aligned} &\textstyle\begin{cases} D_{p}^{k} u(0) =D_{p}^{\beta+j} u(0) =0, \quad k\in{\mathbb {N}}_{0,N-2}, j\in{\mathbb{N}}_{0,M-2}, \\ D_{m}^{\nu}u(0) = \mu D_{m}^{\nu}u(T),\\ u(\xi)=\tau I_{n}^{\vartheta} g(\eta) u(\eta), \end{cases}\displaystyle \end{aligned}$$
(2.2)
is represented by
$$\begin{aligned} u(t) ={}& \frac{{\mathcal{P}}[f+g]}{\Lambda}t^{N-1}-\frac{{\mathcal {Q}}[f+g]}{\Lambda} \int_{0}^{t}\frac{(t-ps)^{(\beta-1)}}{\Gamma _{p}(\beta)}s^{M-1} \,d_{p}s \\ &{}+ \int_{0}^{t} \int_{0}^{s}(t-ps)^{(\beta-1)}\frac{(s-qv)^{(\alpha -1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)} \bigl[\lambda_{1} f(t)+\lambda_{2}h(t)\bigr] \,d_{q}v\,d_{p}s, \end{aligned}$$
(2.3)
where the functionals \({\mathcal{P}}[f+g]\) and \({\mathcal {Q}}[f+g]\) are defined by
$$\begin{aligned} &{\mathcal{P}}[f+g] \\ &\quad= \mu \int_{0}^{T} \int_{0}^{s}\frac{(T-ms)^{(-\nu -1)}(s-pv)^{(\beta-1)}}{\Gamma_{p}(\beta)\Gamma_{m}(-\nu)} v^{M-1} \,d_{p}v\,d_{m}s \\ &\qquad{}\times\biggl[\tau \int_{0}^{\eta}\int_{0}^{s} \int_{0}^{v}\frac{(\eta -ns)^{(\vartheta-1)}(s-pv)^{(\beta-1)}(v-qx)^{(\alpha-1)}}{\Gamma _{p}(\beta)\Gamma_{q}(\alpha)\Gamma_{n}(\vartheta)} \\ &\qquad{}\times g(\eta) \bigl[ \lambda_{1} f(x)+\lambda_{2}h(x)\bigr] \,d_{q}x\,d_{p}v\,dns \\ &\qquad{}- \int_{0}^{\xi}\int_{0}^{s}\frac{(\xi-ps)^{(\beta -1)}(s-qv)^{(\alpha-1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)} \bigl[ \lambda_{1} f(v)+\lambda_{2}h(v)\bigr] \,d_{q}v\,d_{p}s \biggr] \\ &\qquad{}+\biggl[ \int_{0}^{\xi}\frac{(\xi-ps)^{(\beta-1)}}{\Gamma _{p}(\beta)} s^{M-1} \,d_{p}s \\ &\qquad{}-\tau \int_{0}^{\eta}\int_{0}^{s}\frac{(\eta-ns)^{(\vartheta -1)}(s-pv)^{(\beta-1)}}{\Gamma_{p}(\beta)\Gamma_{n}(\vartheta)}g(\eta ) v^{M-1} \,d_{p}v\,d_{n}s\biggr] \\ &\qquad{}\times\mu \int_{0}^{T} \int_{0}^{s} \int_{0}^{v}\frac{(T-ms)^{(-\nu-1)}(s-pv)^{(\beta -1)}(v-qx)^{(\alpha-1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)\Gamma _{m}(-\nu)} \\ &\qquad{}\times \bigl[ \lambda_{1} f(x)+\lambda_{2}h(x)\bigr] \,d_{q}x\,d_{p}v\,d_{m}s, \end{aligned}$$
(2.4)
$$\begin{aligned} &{\mathcal{Q}}[f+g] \\ &\quad= \mu \int_{0}^{T} \frac{(T-ms)^{(-\nu-1)}}{\Gamma _{m}(-\nu)} s^{M-1} \,d_{m}s \\ &\qquad{}\times\biggl[ \tau \int_{0}^{\eta}\int_{0}^{s} \int_{0}^{v}\frac{(\eta -ns)^{(\vartheta-1)}(s-pv)^{(\beta-1)}(v-qx)^{(\alpha-1)}}{\Gamma _{p}(\beta)\Gamma_{q}(\alpha)\Gamma_{n}(\vartheta)} \\ &\qquad{}\times g(\eta) \bigl[ \lambda_{1} f(x)+\lambda_{2}h(x)\bigr] \,d_{q}x\,d_{p}v\,d_{n}s \\ &\qquad{}- \int_{0}^{\xi}\int_{0}^{s}\frac{(\xi-ps)^{(\beta -1)}(s-qv)^{(\alpha-1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)} \bigl[ \lambda_{1} f(v)+\lambda_{2}h(v)\bigr] \,d_{q}v\,d_{p}s \biggr] \\ &\qquad{}+\biggl[\xi^{N-1}-\tau \int_{0}^{\eta}\frac{(\eta-ns)^{(\vartheta-1)}}{\Gamma _{n}(\vartheta)}g(\eta) s^{N-1} \,d_{n}s \biggr] \\ &\qquad{}\times\mu \int_{0}^{T} \int_{0}^{s} \int_{0}^{v}\frac{(T-ms)^{(-\nu-1)}(s-pv)^{(\beta -1)}(v-qx)^{(\alpha-1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)\Gamma _{m}(-\nu)} \\ &\qquad{}\times \bigl[ \lambda_{1} f(x)+\lambda_{2}h(x)\bigr] \,d_{q}x\,d_{p}v\,d_{m}s, \end{aligned}$$
(2.5)
and the constant
$$\begin{aligned} \Lambda = {}& \mu \int_{0}^{T} \int_{0}^{s}\frac{(T-ms)^{(-\nu -1)}(s-px)^{(\beta-1)}}{\Gamma_{p}(\beta)\Gamma_{m}(-\nu)} v^{M-1} \,d_{p}x\,d_{m}s \\ &{} \times\biggl[\xi^{N-1}-\tau \int_{0}^{\eta}\frac{(\eta-ns)^{(\vartheta-1)}}{\Gamma _{n}(\vartheta)} g( \eta)s^{N-1} \,d_{n}s \biggr] \\ &{}-\biggl[ \int_{0}^{\xi}\frac{(\xi-ps)^{(\beta-1)}}{\Gamma _{p}(\beta)} s^{M-1} \,d_{p}s \\ &{}-\tau \int_{0}^{\eta}\int_{0}^{s}\frac{(\eta-ns)^{(\vartheta -1)}(s-pv)^{(\beta-1)}}{\Gamma_{p}(\beta)\Gamma_{n}(\vartheta)} g(\eta ) v^{M-1} \,d_{p}v\,d_{n}s\biggr] \\ &{}\times\mu \int_{0}^{T} \frac{(T-ms)^{(-\nu-1)}}{\Gamma_{m}(-\nu)} s^{M-1} \,d_{m}s. \end{aligned}$$
(2.6)

Proof

Using the q-integral of order α for (2.1), we obtain
$$\begin{aligned} D_{p}^{\beta}u(t) = & \sum _{i=0}^{M-1}C_{i}t^{i}+ \int_{0}^{t}\frac {(t-qs)^{(\alpha-1)}}{\Gamma_{q}(\alpha)} \bigl[\lambda _{1}f(s)+\lambda_{2}h(s) \bigr] \,d_{q}s. \end{aligned}$$
(2.7)
Then we take the p-integral of order β for (2.7). We have
$$\begin{aligned} u(t) = {}&\sum_{i=0}^{N-1}C_{M+i}t^{i}+ \sum_{i=0}^{M-1}C_{i} \int_{0}^{t}\frac {(t-ps)^{(\beta-1)}}{\Gamma_{p}(\beta)}s^{i} d_{p}s \\ &{}+ \int_{0}^{t} \int_{0}^{s}\frac{(t-ps)^{(\beta-1)}(s-qv)^{(\alpha -1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha) }\bigl[\lambda _{1}f(v)+\lambda_{2}h(v) \bigr] \,d_{q}v\,d_{p}s \\ = {}&\sum_{i=0}^{N-1}C_{M+i}t^{i}+ \frac{ 1}{\Gamma_{p}(\beta)} \sum_{i=0}^{M-1}C_{i} B(i+1,\beta) t^{\beta+i} \\ &{}+ \int_{0}^{t} \int_{0}^{s}\frac{(t-ps)^{(\beta-1)}(s-qv)^{(\alpha -1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha) }\bigl[\lambda _{1}f(v)+\lambda_{2}h(v) \bigr] \,d_{q}v\,d_{p}s. \end{aligned}$$
(2.8)
Next, taking the p-derivative of order \(k\in{\mathbb {N}}_{0,N-2}\) for (2.8) where \(t\in I_{\phi}^{T}\), we get
$$\begin{aligned} D_{p}^{k}u(t) = {}&\sum _{i=0}^{N-1}C_{M+i} \int_{0}^{t}\frac{(t-ps)^{(-k-1)}}{\Gamma _{p}(-k)} s^{i} d_{p}s \\ &{}+\frac{ 1}{\Gamma_{p}(\beta)} \sum_{i=0}^{M-1}C_{i} B(i+1,\beta) \int_{0}^{t}\frac {(t-ps)^{(-k-1)}}{\Gamma_{p}(-k)} s^{\beta+i} \,d_{p}s \\ &{}+ \int_{0}^{t} \int_{0}^{s} \int_{0}^{x}\frac{(t-ps)^{(-k-1)}(s-px)^{(\beta -1)}(x-qv)^{(\alpha-1)}}{\Gamma_{p}(-k)\Gamma_{p}(\beta)\Gamma _{q}(\alpha) } \\ &{}\times \bigl[ \lambda_{1}f(v)+\lambda_{2}h(v) \bigr] \,d_{q}v\,d_{p}x\,d_{p}s \\ = {}&\sum_{i=0}^{N-1}C_{M+i} \frac{\Gamma_{p}(i+1)}{\Gamma_{p}(i+1-k)} t^{i-k} +\sum_{i=0}^{M-1}C_{i} \frac{\Gamma_{p}(i+1)}{\Gamma_{p}(\beta+i+1-k)} t^{\beta+i-k} \\ &{}+ \int_{0}^{t} \int_{0}^{s} \int_{0}^{x}\frac{(t-ps)^{(-k-1)}(s-px)^{(\beta -1)}(x-qv)^{(\alpha-1)}}{\Gamma_{p}(-k)\Gamma_{p}(\beta)\Gamma _{q}(\alpha) } \\ &\quad{}\times \bigl[ \lambda_{1}f(v)+\lambda_{2}h(v) \bigr] \,d_{q}v\,d_{p}x\,d_{p}s. \end{aligned}$$
(2.9)
Letting \(t=0\) in (2.9), and by the first conditions of (2.2) for \(k\in{\mathbb{N}}_{0,N-2}\), we get
$$C_{M}=C_{M+1}=C_{M+2}=\cdots=C_{M+N-2}=0 \quad\mbox{for } k\in{\mathbb{N}}_{0,N-2}, \mbox{ respectively}. $$
Substituting the constants \(C_{i}, i\in{\mathbb {N}}_{M,M+N-2}\) into (2.8), we obtain
$$\begin{aligned} u(t) = {}&C_{M+N-1}t^{N-1}+\frac{ 1}{\Gamma_{p}(\beta)} \sum _{i=0}^{M-1}C_{i} B(i+1,\beta) t^{\beta+i} \\ &{}+ \int_{0}^{t} \int_{0}^{s}\frac{(t-ps)^{(\beta-1)}(s-qv)^{(\alpha -1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha) }\bigl[\lambda _{1}f(v)+\lambda_{2}h(v) \bigr] \,d_{q}v\,d_{p}s. \end{aligned}$$
(2.10)
Next, taking the p-derivative of order \(\beta+j, j\in {\mathbb{N}}_{0,M-2}\) for (2.10), we get
$$\begin{aligned} D_{p}^{\beta+j}u(t) ={} &C_{M+N-1} \int_{0}^{t}\frac{(t-ps)^{(-\beta-j-1)}}{\Gamma_{p}(-\beta -j)} s^{N-1} \,d_{p}s \\ &{}+\frac{ 1}{\Gamma_{p}(\beta)} \sum_{i=0}^{M-1}C_{i} B(i+1,\beta) \int_{0}^{t}\frac{(t-ps)^{(-\beta -j-1)}}{\Gamma_{p}(-\beta-j)} s^{\beta+i} \,d_{p}s \\ &{}+ \int_{0}^{t} \int_{0}^{s} \int_{0}^{x}\frac{(t-ps)^{(-\beta -j-1)}(s-px)^{(\beta-1)}(x-qv)^{(\alpha-1)}}{\Gamma_{p}(-\beta -j)\Gamma_{p}(\beta)\Gamma_{q}(\alpha) } \\ &{}\times \bigl[ \lambda_{1}f(v)+\lambda _{2}h(v) \bigr] \,d_{q}v\,d_{p}x\,d_{p}s \\ ={} &C_{M+N-1} \frac{\Gamma_{p}(N)}{\Gamma_{p}(N-\beta-j)} t^{N-\beta-j-1} +\sum _{i=0}^{M-1}C_{i} \frac{\Gamma_{p}(i+1)}{\Gamma_{p}(i+1-j)} t^{i-j} \\ &{}+ \int_{0}^{t} \int_{0}^{s} \int_{0}^{x}\frac{(t-ps)^{(-\beta -j-1)}(s-px)^{(\beta-1)}(x-qv)^{(\alpha-1)}}{\Gamma_{p}(-\beta -j)\Gamma_{p}(\beta)\Gamma_{q}(\alpha) } \\ &{}\times\bigl[ \lambda_{1}f(v)+\lambda _{2}h(v) \bigr] \,d_{q}v\,d_{p}x\,d_{p}s. \end{aligned}$$
(2.11)
Letting \(t=0\) in (2.11), and by the first conditions of (2.2) for \(j\in{\mathbb{N}}_{0,M-2}\), we get
$$C_{0}=C_{1}=C_{2}=\cdots=C_{M-2}=0 \quad\mbox{for } j\in{\mathbb{N}}_{0,M-2}, \mbox{ respectively}. $$
Substituting the constants \(C_{i}, i\in{\mathbb{N}}_{0,M-2}\) into (2.10), we obtain
$$\begin{aligned} u(t) = {}&C_{M+N-1}t^{N-1}+C_{M-1} \int_{0}^{t}\frac{(t-ps)^{(\beta -1)}}{\Gamma_{p}(\beta)} s^{M-1}\,d_{p}s \\ &{}+ \int_{0}^{t} \int_{0}^{s}\frac{(t-ps)^{(\beta-1)}(s-qv)^{(\alpha -1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha) }\bigl[\lambda _{1}f(v)+\lambda_{2}h(v) \bigr] \,d_{q}v\,d_{p}s. \end{aligned}$$
(2.12)
Next, taking the m-derivative of order ν for \(u(t) \) where \(t\in I_{\phi}^{T}\), we get
$$\begin{aligned} & D_{m}^{\nu}u(t) \\ &\quad= C_{M+N-1} \int_{0}^{t}\frac{(t-ms)^{(-\nu-1)}}{\Gamma_{m}(-\nu) } s^{N-1} \,d_{m}s \\ &\qquad{}+C_{M-1} \int_{0}^{t} \int_{0}^{s}\frac{(t-ms)^{(-\nu-1)}(s-pv)^{(\beta -1)}}{\Gamma_{m}(-\nu)\Gamma_{p}(\beta)}v^{M-1} \,d_{p}v\,d_{m}s \\ &\qquad{}+ \int_{0}^{t} \int_{0}^{s} \int_{0}^{v}\frac{(t-ms)^{(-\nu-1)}(s-pv)^{(\beta -1)}(v-qx)^{(\alpha-1)}}{\Gamma_{m}(-\nu)\Gamma_{p}(\beta)\Gamma _{q}(\alpha) } \\ &\qquad{}\times \bigl[ \lambda_{1}f(x)+\lambda_{2}h(x) \bigr] \,d_{q}x\,d_{p}v\,d_{m}s. \end{aligned}$$
(2.13)
Letting \(t=0,T\) in (2.9), and by the second conditions of (2.2), we get
$$\begin{aligned} &C_{M+N-1}\mu \int_{0}^{T}\frac{(T-ms)^{(-\nu-1)}}{\Gamma_{m}(-\nu) } s^{N-1} \,d_{m}s \\ &\qquad{}+ C_{M-1}\mu \int_{0}^{T} \int_{0}^{s}\frac{(T-ms)^{(-\nu-1)}(s-pv)^{(\beta -1)}}{\Gamma_{m}(-\nu)\Gamma_{p}(\beta)}v^{M-1} \,d_{p}v\,d_{m}s \\ &\quad =-\mu \int_{0}^{T} \int_{0}^{s} \int_{0}^{v}\frac{(T-ms)^{(-\nu -1)}(s-pv)^{(\beta-1)}(v-qx)^{(\alpha-1)}}{\Gamma_{m}(-\nu)\Gamma _{p}(\beta)\Gamma_{q}(\alpha) } \\ &\qquad{}\times\bigl[ \lambda_{1}f(x)+\lambda_{2}h(x) \bigr] \,d_{q}x\,d_{p}v\,d_{m}s. \end{aligned}$$
(2.14)
Taking the n-integral of order ϑ for (2.12) where \(t\in I_{\phi}^{T}\), we have
$$\begin{aligned} I_{n}^{\vartheta}u(t) ={}& C_{M+N-1} \int_{0}^{t}\frac{(t-ns)^{(\vartheta-1)}}{\Gamma_{n}(\vartheta ) } s^{N-1} \,d_{n}s \\ &{}+C_{M-1} \int_{0}^{t} \int_{0}^{s}\frac{(t-ns)^{(\vartheta -1)}(s-pv)^{(\beta-1)}}{\Gamma_{n}(\vartheta)\Gamma_{p}(\beta )}v^{M-1} \,d_{p}v\,d_{n}s \\ &{}+ \int_{0}^{t} \int_{0}^{s} \int_{0}^{v}\frac{(t-ns)^{(\vartheta -1)}(s-pv)^{(\beta-1)}(v-qx)^{(\alpha-1)}}{\Gamma_{n}(\vartheta )\Gamma_{p}(\beta)\Gamma_{q}(\alpha) } \\ &{}\times \bigl[ \lambda_{1}f(x)+\lambda _{2}h(x) \bigr] \,d_{q}x\,d_{p}v\,d_{n}s. \end{aligned}$$
(2.15)
Letting \(t=\xi\) in (2.11), and by the third conditions of (2.2), we get
$$\begin{aligned} & C_{M+N-1} \biggl[\xi^{N-1}-\tau \int_{0}^{\eta}\int_{0}^{s}\frac{(\eta -ns)^{(\vartheta-1)}}{\Gamma_{n}(\vartheta) } g( \eta)s^{N-1} \,d_{n}s\biggr] \\ &\qquad{}+C_{M-1}\biggl[ \int_{0}^{\xi}\frac{(\xi-ps)^{(\beta-1)}}{\Gamma _{p}(\beta)}s^{M-1} \,d_{p}s \\ &\qquad{} -\tau \int_{0}^{\eta}\int_{0}^{s}\frac{(\eta -ns)^{(\vartheta-1)}(s-pv)^{(\beta-1)}}{\Gamma_{n}(\vartheta)\Gamma _{p}(\beta)}g( \eta)v^{M-1} \,d_{p}v\,d_{n}s\biggr] \\ &\quad=\biggl[\tau \int_{0}^{\eta}\int_{0}^{s} \int_{0}^{v}\frac{(\eta -ns)^{(\vartheta-1)}(s-pv)^{(\beta-1)}(v-qx)^{(\alpha-1)}}{\Gamma _{n}(\vartheta)\Gamma_{p}(\beta)\Gamma_{q}(\alpha) } \\ &\qquad{}\times\bigl[\lambda _{1}f(x)+\lambda_{2}h(x) \bigr]g(\eta) \,d_{q}x\,d_{p}v\,d_{n}s \\ &\qquad{}- \int_{0}^{\xi}\int_{0}^{s}\frac{(\xi-ps)^{(\beta-1)}(s-qv)^{(\alpha -1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha) }\bigl[\lambda _{1}f(v)+\lambda_{2}h(v) \bigr] \,d_{q}v\,d_{p}s \biggr]. \end{aligned}$$
(2.16)
Finally, solving the system of equations (2.14) and (2.12), we obtain
$$C_{M-1}=-\frac{{\mathcal{Q}}[f+h]}{\Lambda}\quad\text{and}\quad C_{M+N-1}= \frac{{\mathcal{P}}[f+h]}{\Lambda}, $$
where \({\mathcal{P}}[f+g]\), \({\mathcal{Q}}[f+g]\) and Λ are defined by (2.4)–(2.6), respectively.

After substituting the constants \(C_{M-1},C_{M+N-1}\) into (2.12), we obtain (2.3). The proof is complete. □

3 Main results

In order to obtain the main results, we first transform the boundary value problem (1.5)–(1.6) into a fixed point problem. Let \(\mathcal{C} = C(I_{\chi}^{T},\mathbb{R})\) be a Banach space of all continuous functions from \(I_{\chi}^{T}\) to \(\mathbb{R}\) such that \(D_{r}^{\gamma-i}u(t)\) exists for \(i\in{\mathbb{N}}_{0,M-1}, \gamma \in(M-2,M-1)\). Define a norm by
$$\Vert u \Vert _{\mathcal{C}}=\max_{i\in{\mathbb{N}}_{0,M-1}}\bigl\{ \Vert u \Vert , \bigl\Vert D_{r}^{\gamma-i} u \bigr\Vert \bigr\} , $$
where \(\Vert u \Vert = \sup_{t\in I_{\chi}^{T}} \vert u(t) \vert \) and \(\Vert D_{r}^{\gamma-i}u \Vert = \sup_{t\in I_{\chi}^{T}} \vert D_{r}^{\gamma -i} u(t) \vert \). Denote
$$\begin{aligned} &F\bigl( t,u(t),D_{r}^{\gamma}u(t),D_{r}^{\gamma-1} u(t),\ldots,D_{r}^{\gamma -M+1} u(t)\bigr):= F\bigl[ t,u(t),D_{r}^{\gamma-i} u(t) \bigr], \\ &H\bigl( t,u(t),\Psi_{w}^{\theta}u(t), \Psi_{w}^{\theta-1} u(t),\ldots,\Psi _{w}^{\theta-N+1} u(t)\bigr):= H\bigl[ t,u(t),\Psi_{w}^{\theta-j} u(t) \bigr], \end{aligned}$$
for \(i\in{\mathbb{N}}_{0,M-1}\) and \(j\in{\mathbb{N}}_{0,N-1}\). Define the operator \(\mathcal{A}:\mathcal{C}\rightarrow\mathcal{C}\) by
$$\begin{aligned} & ({\mathcal{A}}u) (t) \\ &\quad = \frac{{\mathcal{P}}[F(u)+G(u)]}{\Lambda}t^{N-1}-\frac {{\mathcal{Q}}[F(u)+G(u)]}{\Lambda} \int_{0}^{t}\frac{(t-ps)^{(\beta -1)}}{\Gamma_{p}(\beta)}s^{M-1} \,d_{p}s \\ &\qquad{}+ \int_{0}^{t} \int_{0}^{s}(t-ps)^{(\beta-1)}\frac{(s-qv)^{(\alpha -1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)} \bigl(\lambda_{1} F\bigl[ t,u(t),D_{r}^{\gamma-i} u(t) \bigr] \\ &\qquad{}+\lambda_{2}H\bigl[ t,u(t),\Psi _{w}^{\theta-j} u(t)\bigr]\bigr) \,d_{q}v\,d_{p}s, \end{aligned}$$
(3.1)
where the functionals \({\mathcal{P}}[F(u)+G(u)]\) and \({\mathcal{Q}}[F(u)+G(u)]\) are defined by
$$\begin{aligned} &{\mathcal{P}}\bigl[F(u)+H(u)\bigr] \\ &\quad = \mu \int_{0}^{T} \int_{0}^{s}\frac{(T-ms)^{(-\nu -1)}(s-px)^{(\beta-1)}}{\Gamma_{p}(\beta)\Gamma_{m}(-\nu)} x^{M-1} \,d_{p}x\,d_{m}s \\ &\qquad{}\times\biggl[\tau \int_{0}^{\eta}\int_{0}^{s} \int_{0}^{y}\frac{(\eta -ns)^{(\vartheta-1)}(s-py)^{(\beta-1)}(y-qx)^{(\alpha-1)}}{\Gamma _{p}(\beta)\Gamma_{q}(\alpha)\Gamma_{n}(\vartheta)}g(\eta) \\ &\qquad{}\times\bigl(\lambda_{1} F\bigl[ t,u(t),D_{r}^{\gamma-i} u(t)\bigr]+\lambda _{2}H\bigl[ t,u(t),\Psi_{w}^{\theta-j} u(t)\bigr]\bigr) \,d_{q}x\,d_{p}y\,dns \\ &\qquad{}- \int_{0}^{\xi}\int_{0}^{s}\frac{(\xi-ps)^{(\beta -1)}(s-qx)^{(\alpha-1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)} \bigl( \lambda_{1} F\bigl[ t,u(t),D_{r}^{\gamma-i} u(t)\bigr] \\ &\qquad{}+ \lambda_{2}H\bigl[ t,u(t),\Psi_{w}^{\theta-j} u(t) \bigr]\bigr) \,d_{q}x\,d_{p}s \biggr] \\ &\qquad{}+\biggl[ \int_{0}^{\xi}\frac{(\xi-ps)^{(\beta-1)}}{\Gamma _{p}(\beta)} s^{M-1} \,d_{p}s \\ &\qquad{}-\tau \int_{0}^{\eta}\int_{0}^{s}\frac{(\eta-ns)^{(\vartheta -1)}(s-px)^{(\beta-1)}}{\Gamma_{p}(\beta)\Gamma_{n}(\vartheta)} g(\eta )x^{M-1} \,d_{p}x\,d_{n}s\biggr] \\ &\qquad{}\times\mu \int_{0}^{T} \int_{0}^{s} \int_{0}^{y}\frac{(T-ms)^{(-\nu-1)}(s-py)^{(\beta -1)}(y-qx)^{(\alpha-1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)\Gamma _{m}(-\nu)} \\ &\qquad{}\times\bigl(\lambda_{1} F\bigl[ t,u(t),D_{r}^{\gamma-i} u(t)\bigr]+\lambda _{2}H\bigl[ t,u(t),\Psi_{w}^{\theta-j} u(t)\bigr]\bigr) \,d_{q}x\,d_{p}y\,d_{m}s \end{aligned}$$
(3.2)
and
$$\begin{aligned} & {\mathcal{Q}}\bigl[F(u)+H(u)\bigr] \\ &\quad = \mu \int_{0}^{T} \frac{(T-ms)^{(-\nu-1)}}{\Gamma _{m}(-\nu)} s^{M-1} \,d_{m}s\biggl[ \tau \int_{0}^{\eta}\int_{0}^{s} \int _{0}^{y}\frac{(\eta-ns)^{(\vartheta-1)}(s-py)^{(\beta -1)}(y-qx)^{(\alpha-1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)\Gamma _{n}(\vartheta)} \\ &\qquad\times g(\eta) \bigl(\lambda_{1} F\bigl[ t,u(t),D_{r}^{\gamma-i} u(t) \bigr]+\lambda_{2}H\bigl[ t,u(t),\Psi_{w}^{\theta-j} u(t)\bigr]\bigr) \,d_{q}x\,d_{p}y\,d_{n}s \\ &\qquad{}- \int_{0}^{\xi}\int_{0}^{s}\frac{(\xi-ps)^{(\beta -1)}(s-qx)^{(\alpha-1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)} \bigl( \lambda_{1} F\bigl[ t,u(t),D_{r}^{\gamma-i} u(t)\bigr] \\ &\qquad{}+ \lambda_{2}H\bigl[ t,u(t),\Psi_{w}^{\theta-j} u(t) \bigr]\bigr) \,d_{q}x\,d_{p}s \biggr] \\ &\qquad{}+\biggl[\xi^{N-1}-\tau \int_{0}^{\eta}\frac{(\eta-ns)^{(\vartheta-1)}}{\Gamma _{n}(\vartheta)} g( \eta)s^{N-1} \,d_{n}s \biggr] \\ &\qquad{}\times\mu \int_{0}^{T} \int_{0}^{s} \int_{0}^{y}\frac{(T-ms)^{(-\nu-1)}(s-py)^{(\beta -1)}(y-qx)^{(\alpha-1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)\Gamma _{m}(-\nu)} \\ &\qquad{}\times\bigl(\lambda_{1} F\bigl[ t,u(t),D_{r}^{\gamma-i} u(t)\bigr]+\lambda _{2}H\bigl[ t,u(t),\Psi_{w}^{\theta-j} u(t)\bigr]\bigr) \,d_{q}x\,d_{p}y\,d_{m}s, \end{aligned}$$
(3.3)
where Λ is defined by (2.6).

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

Theorem 3.1

Assume \(F:I_{\chi}^{T}\times{\mathbb{R}}^{M+2} \rightarrow\mathbb {R}, H:I_{\chi}^{T}\times{\mathbb{R}}^{N+2} \rightarrow\mathbb{R}\), \(g:I_{\chi}^{T}\rightarrow\mathbb{R}^{+}\) and \(\varphi:I_{\chi}^{T}\times I_{\chi}^{T}\rightarrow[0,\infty)\) are continuous, let \(\varphi _{0}:= \sup_{(t,s)\in I_{\chi}^{T}\times I_{\chi}^{T}}\{\varphi (t,s)\}\). In addition, \(F,H\) and g satisfy the following conditions:
\((H_{1})\)
there exist positive constants \(L_{i}, i\in{\mathbb {N}}_{0,M-1}\) such that, for all \(t\in I_{\chi}^{T}\) and \(u,v\in{\mathbb{R}}\)
$$\begin{aligned} \bigl\vert F\bigl[ t,u,D_{r}^{\gamma-i} u\bigr]-F\bigl[ t,v,D_{r}^{\gamma-i} v\bigr] \bigr\vert \leq L_{M} \vert u-v \vert + \sum_{i=0}^{M-1}L_{i} \bigl\vert D_{r}^{\gamma -i} u-D_{r}^{\gamma-i} v \bigr\vert , \end{aligned}$$
\((H_{2})\)
there exist positive constants \(\ell_{j}, j\in{\mathbb {N}}_{0,N-1}\) such that, for all \(t\in I_{\chi}^{T}\) and \(u,v\in{\mathbb{R}}\)
$$\begin{aligned} \bigl\vert H\bigl[ t,u,\Psi_{w}^{\theta-j }u\bigr]-H\bigl[ t,v,\Psi _{w}^{\theta-j} v\bigr] \bigr\vert \leq \ell_{N} \vert u-v \vert + \sum_{j=0}^{N-1} \ell _{j} \bigl\vert \Psi_{w}^{\theta-j} u- \Psi_{w}^{\theta-j} v \bigr\vert , \end{aligned}$$
\((H_{3})\)

\(0< g(t)< G \) for all \(t\in I_{\chi}^{T}\),

\((H_{4})\)

\(\Theta:=[\lambda_{1}( L_{M}+L )+\lambda_{2}( \ell_{N}+\ell\frac{\varphi_{0}T^{\theta}}{\Gamma _{w}(\theta+1)}) ]\times \{ \frac{\Omega_{1}}{ \vert \Lambda \vert }T^{\beta -1}+\frac{\Omega_{2}}{ \vert \Lambda \vert }\frac{T^{\alpha+\beta-1}\Gamma _{p}(\alpha)}{\Gamma_{p}(\alpha+\beta)}+\frac{T^{\alpha+\beta}\Gamma _{p}(\alpha+1)}{\Gamma_{p}(\alpha+\beta+1)\Gamma_{q}(\beta+1)}\} < 1\).

Then the given boundary value problem (1.5)(1.6) has a unique solution, where
$$\begin{aligned} \begin{aligned}& L=\sum_{i=0}^{M-1}L_{i},\qquad \ell=\sum_{j=0}^{N-1}\ell_{j}, \\ & \Omega_{1}=\frac{\mu T^{M+\beta-\nu}\Gamma_{p}(M)\Gamma _{m}(M+\beta+1)\Gamma_{p}(\alpha+1)}{\Gamma_{p}(M+\beta)\Gamma _{m}(M+\beta-\nu)\Gamma_{p}(\alpha+\beta+1)\Gamma_{q}(\beta+1)}\\ &\phantom{\Omega_{1}=}{}\times \biggl\{ \biggl\vert \xi^{\alpha+\beta} -\frac{\tau G \eta^{\alpha+\beta +\vartheta}\Gamma_{n}(\alpha+\beta+1)}{\Gamma_{n}(\alpha+\beta +\vartheta+1)} \biggr\vert \\ &\phantom{\Omega_{1}=}{} + \biggl\vert \xi^{M+\beta-1}-\frac{\tau G \eta^{M+\beta+\vartheta -1}\Gamma_{n}(M+\beta)}{\Gamma_{n}(M+\beta+\vartheta)} \biggr\vert \biggr\} , \\ &\Omega_{2}= \mu T^{M-\nu-1} \biggl\{ \biggl\vert \xi^{\alpha +\beta} -\frac{\tau G \eta^{\alpha+\beta+\vartheta}\Gamma _{n}(\alpha+\beta+1)}{\Gamma_{n}(\alpha+\beta+\vartheta+1)} \biggr\vert \frac{\Gamma_{m}(\alpha)}{\Gamma_{m}(\alpha-\nu)} \\ &\phantom{\Omega_{2}=}{}+ \biggl\vert \xi^{N-1}-\frac{\tau G \eta^{N+\vartheta-1}\Gamma _{n}(N)}{\Gamma_{n}(N+\vartheta)} \biggr\vert \\ &\phantom{\Omega_{2}=}{}\times \frac{ T^{\beta+1}\Gamma _{p}(\alpha)\Gamma_{m}(\alpha+\beta+1)\Gamma_{p}(\alpha+1)}{\Gamma _{p}(\alpha+\beta)\Gamma_{m}(\alpha+\beta-\nu+1)\Gamma_{p}(\alpha +\beta+1)\Gamma_{q}(\beta+1)} \biggr\} . \end{aligned} \end{aligned}$$
(3.4)

Proof

We transform the boundary value problem (1.5)–(1.6) into a fixed point problem \(u={\mathcal{A}}u\), where \({\mathcal{A}}:\mathcal{C}\rightarrow \mathcal{C}\) is defined by (3.1). For \(t\in I_{\chi}^{T}\), letting
$$\begin{aligned} \bigl\vert {\mathcal{F}}\bigl[t,u,v,D_{r}^{\gamma-i}\bigr] \bigr\vert := \bigl\vert F\bigl[ t,u(t),D_{r}^{\gamma-i} u(t) \bigr]-F\bigl[ t,v(t),D_{r}^{\gamma -i} v(t)\bigr] \bigr\vert ,\quad i \in{\mathbb{N}}_{0,M-1} \end{aligned}$$
and
$$\begin{aligned} \bigl\vert {\mathcal{H}}\bigl[t,u,v,\Psi_{w}^{\theta-j} \bigr] \bigr\vert := \bigl\vert H\bigl[ t,u(t),\Psi_{w}^{\theta-j} u(t)\bigr]-H\bigl[ t,v(t),\Psi_{w}^{\theta-j} v(t)\bigr] \bigr\vert , \quad j\in{\mathbb{N}}_{0,N-1}, \end{aligned}$$
we find that
$$\begin{aligned} &\bigl\vert {\mathcal{P}}\bigl[F(u)+H(u)\bigr]-{\mathcal{P}} \bigl[F(v)+H(v)\bigr] \bigr\vert \\ &\quad \leq \mu \int_{0}^{T} \int_{0}^{s}\frac{(T-ms)^{(-\nu -1)}(s-px)^{(\beta-1)}}{\Gamma_{p}(\beta)\Gamma_{m}(-\nu)} x^{M-1} \,d_{p}x\,d_{m}s \\ &\qquad{} \times\biggl\vert \tau \int_{0}^{\eta}\int_{0}^{s} \int_{0}^{v}\frac{(\eta -ns)^{(\vartheta-1)}(s-py)^{(\beta-1)}(y-qx)^{(\alpha-1)}}{\Gamma _{p}(\beta)\Gamma_{q}(\alpha)\Gamma_{n}(\vartheta)}g(\eta) \\ &\qquad{}\times\bigl[\lambda_{1} \bigl\vert {\mathcal{F}} \bigl[x,u,v,D_{r}^{\gamma-i} \bigr] \bigr\vert + \lambda_{2} \bigl\vert {\mathcal{H}}\bigl[x,u,v,\Psi_{w}^{\theta -j} \bigr] \bigr\vert \bigr] \,d_{q}x\,d_{p}y\,d_{n}s \\ &\qquad {}- \int_{0}^{\xi}\int_{0}^{s}\frac{(\xi-ps)^{(\beta -1)}(s-qx)^{(\alpha-1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)} \bigl[ \lambda_{1} \bigl\vert {\mathcal{F}}\bigl[x,u,v,D_{r}^{\gamma-i} \bigr] \bigr\vert \\ &\qquad{}+\lambda_{2} \bigl\vert {\mathcal{H}}\bigl[x,u,v, \Psi_{w}^{\theta-j} \bigr] \bigr\vert \bigr] \,d_{q}x\,d_{p}s\biggr\vert \\ &\qquad{}+ \biggl\vert \int_{0}^{\xi}\frac{(\xi-ps)^{(\beta-1)}}{\Gamma _{p}(\beta)} s^{M-1} \,d_{p}s \\ &\qquad{}-\tau \int_{0}^{\eta}\int_{0}^{s}\frac{(\eta-ns)^{(\vartheta -1)}(s-px)^{(\beta-1)}}{\Gamma_{p}(\beta)\Gamma_{n}(\vartheta)} x^{\alpha-1}g( \eta) \,d_{p}x\,d_{n}Ms \biggr\vert \\ &\qquad{}\times\mu \int_{0}^{T} \int_{0}^{s} \int_{0}^{y}\frac{(T-ms)^{(-\nu-1)}(s-py)^{(\beta -1)}(y-qx)^{(\alpha-1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)\Gamma _{m}(-\nu)} \\ &\qquad{}\times\bigl[\lambda_{1} \bigl\vert {\mathcal{F}} \bigl[x,u,v,D_{r}^{\gamma}\bigr] \bigr\vert + \lambda_{2} \bigl\vert {\mathcal{H}}\bigl[x,u,v,\Psi_{w}^{\theta}\bigr] \bigr\vert \bigr] \,d_{q}x\,d_{p}y\,d_{m}s \\ &\quad \leq\Biggl[\lambda_{1}\Biggl( L_{M} \vert u-v \vert +\sum_{i=0}^{M-1}L_{i} \bigl\vert D_{r}^{\gamma-i} u-D_{r}^{\gamma-i} v \bigr\vert \Biggr) \\ &\qquad{}+\lambda_{2} \Biggl(\ell_{N} \vert u-v \vert +\sum_{j=0}^{N-1} \ell_{j} \bigl\vert \Psi_{w}^{\theta-j} u-\Psi _{w}^{\theta-j} v \bigr\vert \Biggr)\Biggr] \\ & \qquad{}\times\biggl\vert \frac{\xi^{\alpha+\beta}\Gamma_{p}(\alpha+1)}{\Gamma _{p}(\alpha+\beta+1)\Gamma_{q}(\beta+1)} -\frac{\tau G \eta^{\alpha +\beta+\vartheta}\Gamma_{p}(\alpha+1)\Gamma_{n}(\alpha+\beta +1)}{\Gamma_{p}(\alpha+\beta+1)\Gamma_{n}(\alpha+\beta+\vartheta +1)\Gamma_{q}(\beta+1)} \biggr\vert \\ & \qquad{}\times\frac{\mu T^{M+\beta-\nu-1}\Gamma_{p}(M)\Gamma _{m}(M+\beta)}{\Gamma_{p}(M+\beta)\Gamma_{m}(M+\beta-\nu)} \\ &\qquad{}+\Biggl[\lambda_{1}\Biggl( L_{M} \vert u-v \vert +\sum_{i=0}^{M-1}L_{i} \bigl\vert D_{r}^{\gamma-i} u-D_{r}^{\gamma-i} v \bigr\vert \Biggr) \\ &\qquad{} +\lambda_{2} \Biggl(\ell_{N} \vert u-v \vert +\sum_{j=0}^{N-1} \ell_{j} \bigl\vert \Psi_{w}^{\theta-j} u-\Psi _{w}^{\theta-j} v \bigr\vert \Biggr)\Biggr] \\ & \qquad{}\times\biggl\vert \frac{\xi^{M+\beta-1}\Gamma_{p}(M)}{\Gamma_{p}(M+\beta )}-\frac{\tau G \eta^{M+\beta+\vartheta-1}\Gamma_{p}(M)\Gamma _{n}(M+\beta)}{\Gamma_{p}(M+\beta)\Gamma_{n}(M+\beta+\vartheta)} \biggr\vert \frac{\mu T^{\alpha+\beta-\nu-1}\Gamma_{p}(\alpha)\Gamma_{m}(\alpha +\beta)}{\Gamma_{p}(\alpha+\beta)\Gamma_{m}(\alpha+\beta-\nu )} \\ &\quad \leq\biggl[\lambda_{1}(L_{M}+L) \Vert u-v \Vert _{\mathcal{C}}+\lambda_{2} \biggl( \ell_{N}+\ell\max_{j\in{\mathbb{N}}_{0,N-1}}\biggl\lbrace \frac {\varphi_{0}T^{\theta-j}}{\Gamma_{w}(\theta-j+1)} \biggr\rbrace \biggr) \Vert u- v \Vert \biggr] \\ & \qquad{}\times\biggl\vert \xi^{\alpha+\beta} -\frac{\tau G \eta^{\alpha+\beta +\vartheta}\Gamma_{n}(\alpha+\beta+1)}{\Gamma_{n}(\alpha+\beta +\vartheta+1)} \biggr\vert \\ &\qquad{}\times \frac{\mu T^{M+\beta-\nu-1}\Gamma_{p}(M)\Gamma _{m}(M+\beta)\Gamma_{p}(\alpha+1)}{\Gamma_{p}(M+\beta)\Gamma_{m}(M+\beta -\nu)\Gamma_{p}(\alpha+\beta+1)\Gamma_{q}(\beta+1)} \\ &\qquad{}+\biggl[\lambda_{1}(L_{M}+L) \Vert u-v \Vert _{\mathcal{C}}+\lambda_{2}\biggl(\ell _{N}+\ell \max_{j\in{\mathbb{N}}_{0,N-1}}\biggl\lbrace \frac{\varphi _{0}T^{\theta-j}}{\Gamma_{w}(\theta-j+1)} \biggr\rbrace \biggr) \Vert u- v \Vert \biggr] \\ & \qquad{}\times\biggl\vert \xi^{M+\beta-1}-\frac{\tau G \eta^{M+\beta+\vartheta -1}\Gamma_{n}(M+\beta)}{\Gamma_{n}(M+\beta+\vartheta)} \biggr\vert \\ &\qquad{}\times\frac {\mu T^{\alpha+\beta-\nu}\Gamma_{p}(M)\Gamma_{m}(\alpha+\beta +1)\Gamma_{p}(\alpha+1)}{\Gamma_{p}(M+\beta)\Gamma_{m}(\alpha+\beta -\nu+1)\Gamma_{q}(\beta+1)\Gamma_{p}(\alpha+\beta+1)} \\ &\quad < \Vert u-v \Vert _{{\mathcal{C}}}\biggl[\lambda_{1}(L_{M}+L)+ \lambda_{2} \biggl(\ell_{N}+\ell\frac{\varphi_{0}T^{\theta}}{\Gamma_{w}(\theta+1)} \biggr) \biggr] \\ &\qquad{} \times\frac{\mu T^{M+\beta-\nu}\Gamma_{p}(M)\Gamma_{m}(M+\beta+1)\Gamma _{p}(\alpha+1)}{\Gamma_{p}(M+\beta)\Gamma_{m}(M+\beta-\nu)\Gamma _{p}(\alpha+\beta+1)\Gamma_{q}(\beta+1)} \\ & \qquad{}\times\biggl\{ \biggl\vert \xi^{\alpha+\beta} -\frac{\tau G \eta^{\alpha +\beta+\vartheta}\Gamma_{n}(\alpha+\beta+1)}{\Gamma_{n}(\alpha+\beta +\vartheta+1)} \biggr\vert + \biggl\vert \xi^{M+\beta-1}-\frac{\tau G \eta ^{M+\beta+\vartheta-1}\Gamma_{n}(M+\beta)}{\Gamma_{n}(M+\beta +\vartheta)} \biggr\vert \biggr\} \\ &\quad = \Vert u-v \Vert _{{\mathcal{C}}}\biggl[\lambda_{1}(L_{M}+L)+ \lambda_{2} \biggl(\ell_{N}+\ell\frac{\varphi_{0}T^{\theta}}{\Gamma_{w}(\theta+1)} \biggr) \biggr]\Omega_{1}. \end{aligned}$$
(3.5)
Similarly to above, we have
$$\begin{aligned} & \bigl\vert {\mathcal{Q}}\bigl[F(u)+H(u)\bigr]-{\mathcal{Q}} \bigl[F(v)+H(v)\bigr] \bigr\vert \\ &\quad \leq\biggl\vert \mu \int_{0}^{T} \frac{(T-ms)^{(-\nu -1)}}{\Gamma_{m}(-\nu)} s^{M-1} \,d_{m}s\biggl[ \tau \int_{0}^{\eta}\int _{0}^{s} \int_{0}^{y}\frac{(\eta-ns)^{(\vartheta-1)}(s-py)^{(\beta -1)}(y-qx)^{(\alpha-1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)\Gamma _{n}(\vartheta)} \\ &\qquad{}\times g(\eta)\bigl[\lambda_{1} \bigl\vert {\mathcal{F}} \bigl[x,u,v,D_{r}^{\gamma -i}\bigr] \bigr\vert + \lambda_{2} \bigl\vert {\mathcal{H}}\bigl[x,u,v,\Psi _{w}^{\theta-j}\bigr] \bigr\vert \bigr] \,d_{q}x\,d_{p}y\,d_{n}s \\ &\qquad{}- \int_{0}^{\xi}\int_{0}^{s}\frac{(\xi-ps)^{(\beta -1)}(s-qx)^{(\alpha-1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)} \bigl[ \lambda_{1} \bigl\vert {\mathcal{F}}\bigl[x,u,v,D_{r}^{\gamma-i} \bigr] \bigr\vert \\ &\qquad{}+\lambda_{2} \bigl\vert {\mathcal{H}}\bigl[x,u,v, \Psi_{w}^{\theta-j} \bigr] \bigr\vert \bigr] \,d_{q}x\,d_{p}s \biggr] \\ &\qquad{}+\biggl[\xi^{N-1}-\tau \int_{0}^{\eta}\frac{(\eta-ns)^{(\vartheta-1)}}{\Gamma _{n}(\vartheta)} s^{N-1}g( \eta) \,d_{n}s \biggr] \\ &\qquad{}\times\mu \int_{0}^{T} \int_{0}^{s} \int_{0}^{y}\frac{(T-ms)^{(-\nu-1)}(s-py)^{(\beta -1)}(y-qx)^{(\alpha-1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)\Gamma _{m}(-\nu)} \\ &\qquad{}\times\bigl[\lambda_{1} \bigl\vert {\mathcal{F}} \bigl[x,u,v,D_{r}^{\gamma-i} \bigr] \bigr\vert + \lambda_{2} \bigl\vert {\mathcal{H}}\bigl[x,u,v,\Psi_{w}^{\theta -j} \bigr] \bigr\vert \bigr] \,d_{q}x\,d_{p}y\,d_{m}s \biggr\vert \\ &\quad\leq \Vert u-v \Vert _{{\mathcal{C}}}\biggl[ \lambda_{1}(L_{M}+L)+\lambda _{2}\biggl( \ell_{N}+\ell\max_{j\in{\mathbb{N}}_{0,N-1}}\biggl\lbrace \frac{\varphi_{0}T^{\theta-j}}{\Gamma_{w}(\theta-j+1)} \biggr\rbrace \biggr)\biggr]\mu T^{M-\nu-1} \\ & \qquad{}\times\biggl\{ \biggl\vert \xi^{\alpha+\beta} -\frac{\tau G \eta^{\alpha +\beta+\vartheta}\Gamma_{n}(\alpha+\beta+1)}{\Gamma_{n}(\alpha+\beta +\vartheta+1)} \biggr\vert \frac{\Gamma_{m}(M)}{\Gamma_{m}(M-\nu)} \\ &\qquad{}+ \biggl\vert \xi^{N-1}-\frac{\tau G \eta^{N+\vartheta-1}\Gamma _{n}(N)}{\Gamma_{n}(N+\vartheta)} \biggr\vert \frac{ T^{\beta+1}\Gamma _{p}(\alpha)\Gamma_{m}(\alpha+\beta+1)\Gamma_{p}(\alpha+1)}{\Gamma _{p}(\alpha+\beta)\Gamma_{m}(\alpha+\beta-\nu+1)\Gamma_{p}(\alpha +\beta+1)\Gamma_{q}(\beta+1)} \biggr\} \\ &\quad < \Vert u-v \Vert _{{\mathcal{C}}}\biggl[\lambda_{1}(L_{M}+L)+ \lambda_{2} \biggl(\ell_{N}+\ell\frac{\varphi_{0}T^{\theta}}{\Gamma_{w}(\theta+1)} \biggr) \biggr]\Omega_{2}. \end{aligned}$$
(3.6)
Therefore, we find that
$$\begin{aligned} & \bigl\vert ({\mathcal{A}}u) (t)-({\mathcal{A}}v) (t) \bigr\vert \\ &\quad\leq\biggl\vert \frac{t^{N-1}}{\Lambda}\bigl[{\mathcal {P}}\bigl[F(u)+H(u)\bigr]-{ \mathcal{P}}\bigl[F(v)+H(v)\bigr]\bigr] \\ &\qquad{} -\frac{1}{\Lambda} \bigl[{\mathcal{Q}} \bigl[F(u)+H(u)\bigr]-{\mathcal{Q}}\bigl[F(v)+H(v)\bigr]\bigr] \\ &\qquad{}\times \int_{0}^{t}\frac{(t-ps)^{(\beta-1)}}{\Gamma_{p}(\beta)}s^{M-1} \,d_{p}s+ \int_{0}^{t} \int_{0}^{s}(t-ps)^{(\beta-1)}\frac{(s-qx)^{(\alpha -1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)} \\ &\qquad{}\times \bigl(\lambda_{1} F\bigl[ x,u(x),D_{r}^{\gamma-i} u(x)\bigr]+\lambda _{2}H\bigl[ x,u(x),\Psi_{w}^{\theta-j} u(x)\bigr]\bigr) \,d_{q}x\,d_{p}s\biggr\vert \\ &\quad< \Vert u-v \Vert _{{\mathcal{C}}}\biggl[\lambda_{1}(L_{M}+L)+ \lambda_{2} \biggl(\ell_{N}+\ell\frac{\varphi_{0}T^{\theta}}{\Gamma_{w}(\theta+1)} \biggr) \biggr] \\ &\qquad{}\times\biggl\{ \frac{\Omega_{1}}{ \vert \Lambda \vert } T^{\beta-1} + \frac{\Omega _{2}}{ \vert \Lambda \vert } \frac{T^{\alpha+\beta-1}\Gamma_{p}(\alpha)}{\Gamma _{p}(\alpha+\beta)} +\frac{T^{\alpha+\beta}\Gamma_{p}(\alpha+1)}{\Gamma_{p}(\alpha+\beta +1)\Gamma_{q}(\beta+1)}\biggr\} \\ &\quad= \Vert u-v \Vert _{{\mathcal{C}}} \Theta. \end{aligned}$$
(3.7)
Next, taking r-derivative of order γ for (3.1), we have
$$\begin{aligned} \bigl(D_{r}^{\gamma-i}{\mathcal{A}}u\bigr) (t) = {}& \frac{{\mathcal{P}}[F(u)+H(u)]}{\Lambda} \int_{0}^{t}\frac {(t-rs)^{(i-\gamma-1)}}{\Gamma_{r}(i-\gamma)}s^{N-1} \,d_{r}s \\ &{}-\frac{{\mathcal{Q}}[F(u)+H(u)]}{\Lambda} \int_{0}^{t} \int_{0}^{s}\frac {(t-rs)^{(i-\gamma-1)}}{\Gamma_{r}(i-\gamma)}\frac{(s-px)^{(\beta -1)}}{\Gamma_{p}(\beta)}x^{M-1} \,d_{p}x\,d_{r}s \\ &{}+ \int_{0}^{t} \int_{0}^{s} \int_{0}^{y}\frac{(t-rs)^{(i-\gamma-1)}}{\Gamma _{r}(i-\gamma)}\frac{(s-py)^{(\beta-1)}(y-qx)^{(\alpha-1)}}{\Gamma _{p}(\beta)\Gamma_{q}(\alpha)} \\ &{}\times\bigl(\lambda_{1} F\bigl[ x,u(x),D_{r}^{\gamma-i} u(x)\bigr]+\lambda _{2}H\bigl[ x,u(x),\Psi_{w}^{\theta-j} u(x)\bigr]\bigr) \,d_{q}x\,d_{p}y\,d_{r}s. \end{aligned}$$
(3.8)
Further, for any \(u,v\in\mathcal{C}\) and \(t\in I_{\chi}^{T}\), we obtain
$$\begin{aligned} & \bigl\vert \bigl(D_{r}^{\gamma-i}{ \mathcal{A}}u\bigr) (t)-\bigl(D_{r}^{\gamma-i}{\mathcal {A}}v \bigr) (t) \bigr\vert \\ &\quad\leq\biggl\vert \frac{1}{\Lambda}\bigl[{\mathcal {P}}\bigl[F(u)+H(u)\bigr]-{ \mathcal{P}}\bigl[F(v)+H(v)\bigr]\bigr] \int_{0}^{t}\frac {(t-rs)^{(i-\gamma-1)}}{\Gamma_{r}(i-\gamma)}s^{N-1} \,d_{r}s \\ &\qquad{}-\frac{1}{\Lambda}\bigl[{\mathcal{Q}}\bigl[F(u)+G(u)\bigr]-{ \mathcal {Q}}\bigl[F(v)+G(v)\bigr]\bigr] \\ &\qquad{}\times\int_{0}^{t} \int_{0}^{s}\frac{(t-rs)^{(i-\gamma -1)}}{\Gamma_{r}(i-\gamma)}\frac{(s-px)^{(\beta-1)}}{\Gamma_{p}(\beta )}x^{M-1} \,d_{p}x\,d_{r}s \\ & \qquad{}+ \int_{0}^{t} \int_{0}^{s} \int_{0}^{y}\frac{(t-rs)^{(i-\gamma-1)}}{\Gamma _{r}(i-\gamma)}\frac{(s-py)^{(\beta-1)}(y-qx)^{(\alpha-1)}}{\Gamma _{p}(\beta)\Gamma_{q}(\alpha)} \\ &\qquad{}\times\bigl(\lambda_{1} F\bigl[ x,u(x),D_{r}^{\gamma-i} u(x)\bigr]+\lambda _{2}H\bigl[ x,u(x),\Psi_{w}^{\theta-j} u(x)\bigr]\bigr) \,d_{q}x\,d_{p}y\,d_{r}s\biggr\vert \\ &\quad < \Vert u-v \Vert _{{\mathcal{C}}}\biggl[\lambda_{1}(L_{M}+L)+ \lambda_{2} \biggl(\ell_{N}+\ell\frac{\varphi_{0}T^{\theta}}{\Gamma_{w}(\theta+1)} \biggr) \biggr]\biggl\{ \frac{\Omega_{1}}{ \vert \Lambda \vert } \frac {T^{N-\gamma-1}\Gamma_{r}(N)}{\Gamma_{r}(N-\gamma)} \\ &\qquad{} +\frac{\Omega_{2}}{ \vert \Lambda \vert }\frac{T^{M+\beta-\gamma-1}\Gamma _{p}(M)\Gamma_{r}(M+\beta)}{\Gamma_{p}(M+\beta)\Gamma_{r}(M+\beta-\gamma)} +\frac{T^{\alpha+\beta-\gamma}\Gamma_{p}(\alpha+1)\Gamma_{r}(\alpha +\beta+1)}{\Gamma_{p}(\alpha+\beta+1)\Gamma_{q}(\beta+1)\Gamma _{r}(\alpha+\beta-\gamma+1)}\biggr\} \\ &\quad < \Vert u-v \Vert _{{\mathcal{C}}} \Theta. \end{aligned}$$
(3.9)
Hence, we obtain
$$\begin{aligned} \Vert {\mathcal{A}}u-{\mathcal{A}}v \Vert _{\mathcal{C}} \leq & \Vert u-v \Vert _{\mathcal{C}} \Theta. \end{aligned}$$
(3.10)

We can conclude from \((H_{4})\) that \({\mathcal{A}}\) is a contraction. The 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.6) by employing the Leray–Schauder nonlinear alternative.

Theorem 3.2

(Nonlinear alternative for single valued maps [35])

Let E be a Banach space, C a closed, convex subset of E, U an open subset of C and \(0\in U\). Suppose that \(F:\overline{U}\to C\) is a continuous, compact [that is, \(F(\overline{U})\) is a relatively compact subset of C] map. Then either
  1. (i)

    F has a fixed point in , or

     
  2. (ii)

    there is a \(u\in\partial U\) (the boundary of U in C) and \(\sigma\in(0,1)\) with \(u=\sigma F(u)\).

     

Theorem 3.3

Assume that \((H_{3})\) holds and the functions \(F,H\) satisfy the following conditions:
\((H_{5})\)
for \(i=1,2\) there exist continuous nondecreasing functions \(\psi,\phi_{i}: [0,\infty) \to(0,\infty)\) and functions \(z_{i} \in L^{1}(I_{\chi}^{T},\mathbb{R}^{+})\), such that for all \((t,u) \in I_{\chi}^{T} \times\mathbb{R}\)
$$\begin{aligned} & \bigl\vert F\bigl[ t,u(t),D_{r}^{\gamma-i} u(t)\bigr] \bigr\vert \leq z_{1}(t)\psi_{1}\bigl( \Vert u \Vert \bigr),\quad i\in{\mathbb{N}}_{0,M-1} \quad\textit{and} \\ & \bigl\vert H\bigl[ t,u(t),\Psi_{w}^{\theta-j} u(t)\bigr] \bigr\vert \leq z_{2}(t)\psi_{2}\bigl( \Vert u \Vert \bigr), \quad j\in{\mathbb{N}}_{0,N-1}, \end{aligned}$$
\((H_{6})\)
there exists a constant \(K>0\) such that
$$\frac{K}{(\lambda_{1} \psi_{1}(K) \Vert z_{1} \Vert _{L^{1}}+ \lambda_{2} \psi_{2}(K) \Vert z_{2} \Vert _{L^{1}}) \Theta} > 1. $$
Then the boundary value problem (1.5)(1.6) has at least one solution on \(I_{\chi}^{T}\).

Proof

To show that \({\mathcal{A}}\) maps bounded sets (balls) into bounded sets in \(\mathcal{C}\), the constructive proof is as follows. For a positive number ρ, let \(B_{\rho}= \{u \in C(I_{\chi}^{T}, \mathbb{R}): \Vert u \Vert _{\mathcal{C}} \le\rho \}\) be a bounded ball in \(C(I_{\chi}^{T}, \mathbb{R})\). Then for \(t\in I_{\chi}^{T}\) we have
$$\begin{aligned} &\bigl\vert {\mathcal{P}}\bigl[F(u)+H(u)\bigr] \bigr\vert \\ &\quad \leq \mu \int_{0}^{T} \int_{0}^{s}\frac{(T-ms)^{(-\nu -1)}(s-py)^{(\beta-1)}}{\Gamma_{p}(\beta)\Gamma_{m}(-\nu)} y^{\alpha -1} \,d_{p}y\,d_{m}s \\ &\qquad{} \times\biggl\vert \tau \int_{0}^{\eta}\int_{0}^{s} \int_{0}^{y}\frac{(\eta -ns)^{(\vartheta-1)}(s-py)^{(\beta-1)}(y-qx)^{(\alpha-1)}}{\Gamma _{p}(\beta)\Gamma_{q}(\alpha)\Gamma_{n}(\vartheta)}g(\eta) \\ &\qquad{}\times\bigl(\lambda_{1} \psi_{1}\bigl( \Vert u \Vert \bigr) \bigl\vert z_{1}(x) \bigr\vert + \lambda_{2} \psi_{2}\bigl( \Vert u \Vert \bigr) \bigl\vert z_{2}(x) \bigr\vert \bigr) \,d_{q}x\,d_{p}y\,d_{n}s \\ &\qquad{}- \int_{0}^{\xi}\int_{0}^{s}\frac{(\xi-ps)^{(\beta -1)}(s-qy)^{(\alpha-1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)} \bigl( \lambda_{1} \psi_{1}\bigl( \Vert u \Vert \bigr) \bigl\vert z_{1}(y) \bigr\vert + \lambda_{2} \psi_{2}\bigl( \Vert u \Vert \bigr) \bigl\vert z_{2}(y) \bigr\vert \bigr) \,d_{q}y\,d_{p}s \biggr\vert \\ &\qquad{}+ \biggl\vert \int_{0}^{\xi}\frac{(\xi-ps)^{(\beta-1)}}{\Gamma _{p}(\beta)} s^{\alpha-1} \,d_{p}s -\tau \int_{0}^{\eta}\int_{0}^{s}\frac{(\eta-ns)^{(\vartheta -1)}(s-py)^{(\beta-1)}}{\Gamma_{p}(\beta)\Gamma_{n}(\vartheta)} g(\eta )y^{\alpha-1} \,d_{p}y\,d_{n}s \biggr\vert \\ &\qquad{}\times\mu \int_{0}^{T} \int_{0}^{s} \int_{0}^{y}\frac{(T-ms)^{(-\nu-1)}(s-py)^{(\beta -1)}(y-qx)^{(\alpha-1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)\Gamma _{m}(-\nu)} \\ &\qquad{}\times\bigl(\lambda_{1} \psi_{1}\bigl( \Vert u \Vert \bigr) \bigl\vert z_{1}(x) \bigr\vert + \lambda_{2} \psi_{2}\bigl( \Vert u \Vert \bigr) \bigl\vert z_{2}(x) \bigr\vert \bigr) \,d_{q}x\,d_{p}y\,d_{m}s \\ &\quad\leq \bigl(\lambda_{1} \psi_{1}\bigl( \Vert u \Vert \bigr) \Vert z_{1} \Vert _{L^{1}}+ \lambda_{2} \psi _{2}\bigl( \Vert u \Vert \bigr) \Vert z_{2} \Vert _{L^{1}}\bigr) \\ &\qquad{}\times \frac{\mu T^{M+\beta-\nu}\Gamma _{p}(M)\Gamma_{m}(M+\beta)\Gamma_{p}(\alpha+1)}{\Gamma_{p}(M+\beta)\Gamma _{m}(M+\beta-\nu)\Gamma_{p}(\alpha+\beta+1)\Gamma_{q}(\beta+1)} \\ &\qquad{}\times \biggl\{ \biggl\vert \xi^{\alpha+\beta} -\frac{\tau G \eta^{\alpha +\beta+\vartheta}\Gamma_{n}(\alpha+\beta+1)}{\Gamma_{n}(\alpha+\beta +\vartheta+1)} \biggr\vert \\ &\qquad{}+ \biggl\vert \xi^{M+\beta-1}-\frac{\tau G \eta ^{M+\beta+\vartheta-1}\Gamma_{n}(M+\beta)}{\Gamma_{n}(M+\beta +\vartheta)} \biggr\vert \biggr\} \\ &\quad =\bigl(\lambda_{1} \psi_{1}\bigl( \Vert u \Vert \bigr) \Vert z_{1} \Vert _{L^{1}}+ \lambda_{2} \psi_{2}\bigl( \Vert u \Vert \bigr) \Vert z_{2} \Vert _{L^{1}}\bigr)\Omega_{1}. \end{aligned}$$
(3.11)
Using the same argument as above, we have
$$\begin{aligned} & \bigl\vert {\mathcal{Q}}\bigl[F(u)+H(u)\bigr]-{\mathcal{Q}} \bigl[F(v)+H(v)\bigr] \bigr\vert \\ &\quad \leq \bigl(\lambda_{1} \psi_{1}\bigl( \Vert u \Vert \bigr) \Vert z_{1} \Vert _{L^{1}}+ \lambda_{2} \psi _{2}\bigl( \Vert u \Vert \bigr) \Vert z_{2} \Vert _{L^{1}}\bigr)\mu T^{M-\nu-1} \\ &\qquad{}\times \biggl\{ \biggl\vert \xi^{\alpha+\beta} -\frac{\tau G \eta^{\alpha +\beta+\vartheta}\Gamma_{n}(\alpha+\beta+1)}{\Gamma_{n}(\alpha+\beta +\vartheta+1)} \biggr\vert \frac{\Gamma_{m}(M)}{\Gamma_{m}(M-\nu)} + \biggl\vert \xi^{N-1}- \frac{\tau G \eta^{N+\vartheta-1}\Gamma _{n}(N)}{\Gamma_{n}(N+\vartheta)} \biggr\vert \\ &\qquad{} \times\frac{ T^{\beta+1}\Gamma_{p}(\alpha)\Gamma_{m}(\alpha+\beta +1)\Gamma_{p}(\alpha+1)}{\Gamma_{p}(\alpha+\beta)\Gamma_{m}(\alpha +\beta-\nu+1)\Gamma_{p}(\alpha+\beta+1)\Gamma_{q}(\beta+1)} \biggr\} \\ &\quad =\bigl(\lambda_{1} \psi_{1}\bigl( \Vert u \Vert \bigr) \Vert z_{1} \Vert _{L^{1}}+ \lambda_{2} \psi_{2}\bigl( \Vert u \Vert \bigr) \Vert z_{2} \Vert _{L^{1}}\bigr)\Omega_{2}. \end{aligned}$$
(3.12)
Hence, we have
$$\begin{aligned} \bigl\vert ({\mathcal{A}}u) (t) \bigr\vert \leq{} &\bigl( \lambda_{1} \psi_{1}\bigl( \Vert u \Vert \bigr) \Vert z_{1} \Vert _{L^{1}}+ \lambda_{2} \psi _{2}\bigl( \Vert u \Vert \bigr) \Vert z_{2} \Vert _{L^{1}}\bigr) \\ &{}\times\biggl\{ \frac{\Omega_{1}}{ \vert \Lambda \vert } T^{\beta-1} +\frac{\Omega _{2}}{ \vert \Lambda \vert } \frac{T^{\alpha+\beta-1}\Gamma_{p}(\alpha)}{\Gamma _{p}(\alpha+\beta)} +\frac{T^{\alpha+\beta}\Gamma_{p}(\alpha+1)}{\Gamma_{p}(\alpha+\beta +1)\Gamma_{q}(\beta+1)}\biggr\} \\ := {}&\bigl(\lambda_{1} \psi_{1}\bigl( \Vert u \Vert \bigr) \Vert z_{1} \Vert _{L^{1}}+ \lambda_{2} \psi _{2}\bigl( \Vert u \Vert \bigr) \Vert z_{2} \Vert _{L^{1}}\bigr) \Theta, \end{aligned}$$
(3.13)
and, for \(i\in{\mathbb{N}}_{0,M-1}\),
$$\begin{aligned} & \bigl\vert \bigl(D_{r}^{\gamma-i}{ \mathcal{A}}u\bigr) (t) \bigr\vert \\ &\quad \leq\bigl(\lambda_{1} \psi_{1}\bigl( \Vert u \Vert \bigr) \Vert z_{1} \Vert _{L^{1}}+ \lambda_{2} \psi _{2}\bigl( \Vert u \Vert \bigr) \Vert z_{2} \Vert _{L^{1}}\bigr)\biggl\{ \frac{\Omega_{1}}{ \vert \Lambda \vert } \frac{T^{N-\gamma-1}\Gamma_{r}(N)}{\Gamma_{r}(N-\gamma)} \\ &\qquad{} +\frac{\Omega_{2}}{ \vert \Lambda \vert } \frac{T^{M+\beta-\gamma-1}\Gamma _{p}(M)\Gamma_{r}(M+\beta)}{\Gamma_{p}(M+\beta)\Gamma_{r}(M+\beta-\gamma)} +\frac{T^{\alpha+\beta-\gamma}\Gamma_{p}(\alpha+1)\Gamma_{r}(\alpha +\beta+1)}{\Gamma_{p}(\alpha+\beta+1)\Gamma_{q}(\beta+1)\Gamma _{r}(\alpha+\beta-\gamma+1)}\biggr\} \\ &\quad \leq\bigl(\lambda_{1} \psi_{1}\bigl( \Vert u \Vert \bigr) \Vert z_{1} \Vert _{L^{1}}+ \lambda_{2} \psi _{2}\bigl( \Vert u \Vert \bigr) \Vert z_{2} \Vert _{L^{1}}\bigr) \Theta. \end{aligned}$$
(3.14)

Consequently, \(\Vert {\mathcal{A}}u \Vert _{\mathcal{C}}\leq (\lambda_{1} \psi_{1}( \Vert u \Vert ) \Vert z_{1} \Vert _{L^{1}}+ \lambda_{2} \psi_{2}( \Vert u \Vert ) \Vert z_{2} \Vert _{L^{1}})\Theta\).

Further, we will show that \({\mathcal{A}}\) maps bounded sets into equicontinuous sets of \(C(I_{\chi}^{T}, \mathbb{R})\). Letting \(t_{1}, t_{2} \in I_{\chi}^{T}\) with \(t_{1}\leq t_{2}\) and \(u \in B_{\rho}\), we have
$$\begin{aligned} & \bigl\vert ({\mathcal{A}}u) (t_{2})-({ \mathcal{A}}u) (t_{1}) \bigr\vert \\ &\quad \leq \frac{1}{ \vert \Lambda \vert }{\mathcal{P}}\bigl[F(u)+G(u)\bigr] \bigl\vert t_{2}^{N-1}-t_{1}^{N-1} \bigr\vert \\ &\qquad{}+\frac{1}{ \vert \Lambda \vert }{\mathcal{Q}}\bigl[F(u)+G(u)\bigr] \biggl\vert \int _{0}^{t_{2}}\frac{(t_{2}-ps)^{(\beta-1)}}{\Gamma_{p}(\beta)}s^{M-1} \,d_{p}s - \int_{0}^{t_{1}}\frac{(t_{1}-ps)^{(\beta-1)}}{\Gamma_{p}(\beta)}s^{M-1} \,d_{p}s \biggr\vert \\ &\qquad{}+\bigl(\lambda_{1} \psi_{1}\bigl( \Vert u \Vert \bigr) \Vert z_{1} \Vert _{L^{1}}+ \lambda_{2} \psi_{2}\bigl( \Vert u \Vert \bigr) \Vert z_{2} \Vert _{L^{1}}\bigr) \\ & \qquad{}\times\biggl\vert \int_{0}^{t_{2}} \int_{0}^{s}(t_{2}-ps)^{(\beta-1)} \frac {(s-qy)^{(\alpha-1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)} \,d_{q}y\,d_{p}s \\ &\qquad{}- \int_{0}^{t_{1}} \int_{0}^{s}(t_{1}-ps)^{(\beta-1)} \frac {(s-qx)^{(\alpha-1)}}{\Gamma_{p}(\beta)\Gamma_{q}(\alpha)} \,d_{q}x\,d_{p}s \biggr\vert \\ &\quad\leq\bigl(\lambda_{1} \psi_{1}\bigl( \Vert u \Vert \bigr) \Vert z_{1} \Vert _{L^{1}}+ \lambda_{2} \psi _{2}\bigl( \Vert u \Vert \bigr) \Vert z_{2} \Vert _{L^{1}}\bigr)\biggl\{ \frac{\Omega_{1}}{ \vert \Lambda \vert } \bigl\vert t_{2}^{N-1}-t_{1}^{N-1} \bigr\vert \\ & \qquad{}+\frac{\Omega_{2}}{ \vert \Lambda \vert } \frac{\Gamma_{p}(M)}{\Gamma_{p}(M+\beta )} \bigl\vert t_{1}^{M+\beta-1}-t_{2}^{M+\beta-1} \bigr\vert \\ &\qquad{}+ \frac{\Gamma_{p}(\alpha+1)}{\Gamma_{p}(\alpha+\beta+1)\Gamma _{q}(\beta+1)} \bigl\vert t_{2}^{\alpha+\beta}-t_{1}^{\alpha+\beta} \bigr\vert \biggr\} , \end{aligned}$$
(3.15)
and, for \(i\in{\mathbb{N}}_{0,M-1}\),
$$\begin{aligned} & \bigl\vert \bigl(D_{r}^{\gamma-i}{ \mathcal{A}}u\bigr) (t_{2})-\bigl(D_{r}^{\gamma-i}{ \mathcal {A}}u\bigr) (t_{1}) \bigr\vert \\ &\quad \leq\bigl(\lambda_{1} \psi_{1}\bigl( \Vert u \Vert \bigr) \Vert z_{1} \Vert _{L^{1}}+ \lambda_{2} \psi _{2}\bigl( \Vert u \Vert \bigr) \Vert z_{2} \Vert _{L^{1}}\bigr) \\ &\qquad{}\times\biggl\{ \frac{\Omega_{1}}{ \vert \Lambda \vert } \frac{\Gamma_{r}(N)}{\Gamma _{r}(N-\gamma)} \bigl\vert t_{2}^{N-\gamma-1}-t_{1}^{N-\gamma-1} \bigr\vert \\ &\qquad{}+ \frac{\Omega_{2}}{ \vert \Lambda \vert } \frac{\Gamma_{p}(M)\Gamma_{r}(M+\beta )}{\Gamma_{p}(M+\beta)\Gamma_{r}(M+\beta-\gamma)} \bigl\vert t_{1}^{M+\beta -\gamma-1}-t_{2}^{M+\beta-\gamma-1} \bigr\vert \\ &\qquad{} +\frac{\Gamma_{p}(\alpha+1)\Gamma_{r}(\alpha+\beta+1)}{\Gamma _{p}(\alpha+\beta+1)\Gamma_{q}(\beta+1)\Gamma_{r}(\alpha+\beta-\gamma +1)} \bigl\vert t_{2}^{\alpha+\beta-\gamma}-t_{1}^{\alpha+\beta-\gamma} \bigr\vert \biggr\} . \end{aligned}$$
(3.16)

As \(t_{2}- t_{1} \to0\), the right hand side of (3.16) tends to zero independently of \(u \in B_{\rho}\). As \({\mathcal{A}}\) satisfies the above assumptions, it follows by the Arzelá–Ascoli theorem that \({\mathcal{A}}: C(I_{\chi}^{T}, \mathbb{R}) \to C(I_{\chi}^{T}, \mathbb{R})\) is completely continuous.

Let u be a solution. Proceeding by similar computations to the first step for \(t\in I_{\chi}^{T}\), we have
$$\begin{aligned} \bigl\vert u(t) \bigr\vert \le\bigl(\lambda_{1} \psi_{1}\bigl( \Vert u \Vert \bigr) \Vert z_{1} \Vert _{L^{1}}+ \lambda_{2} \psi_{2}\bigl( \Vert u \Vert \bigr) \Vert z_{2} \Vert _{L^{1}}\bigr) \Theta. \end{aligned}$$
Hence,
$$\frac{ \Vert u \Vert _{\mathcal{C}}}{(\lambda_{1} \psi_{1}( \Vert u \Vert ) \Vert z_{1} \Vert _{L^{1}}+ \lambda_{2} \psi_{2}( \Vert u \Vert ) \Vert z_{2} \Vert _{L^{1}}) \Theta}\leq1. $$
Under \((H_{6})\), there exists K such that \(\Vert u \Vert _{\mathcal{C}} \ne K\). We set
$$U = \bigl\{ u \in C\bigl(I_{\chi}^{T}, \mathbb{R}\bigr): \Vert u \Vert _{\mathcal{C}} < K\bigr\} . $$
Note that the operator \({\mathcal{A}} :\overline{U} \to C(I_{\chi}^{T}, \mathbb{R})\) is continuous and completely continuous. We find that there is no \(u \in\partial U\) such that \(u=\sigma{\mathcal{A}}u\) for some \(\sigma\in(0,1)\). Consequently, by the nonlinear alternative of Leray–Schauder type (Theorem 3.2), we can conclude that \({\mathcal{A}}\) has a fixed point \(u \in\overline{U}\) which is a solution of the problem (1.5)–(1.6). This completes the proof. □

4 Example

The following boundary value problem is an example illustrating our main result. Consider the second-order q-difference equation with q-integral boundary conditions
$$\begin{aligned} \begin{aligned} & {^{C}}D_{\frac{1}{2}}^{\frac{5}{2}} {^{C}}D_{\frac{1}{3}}^{\frac{4}{3}}u(t) =\frac{e^{-\sin ^{2}(2\pi t+ 5)}}{200+e^{\cos^{2}(2\pi t)}}\cdot \frac{ \vert u(t) \vert + \vert D_{\frac{3}{4}}^{\frac{4}{3}}u (t) \vert + \vert D_{\frac{3}{4}}^{\frac{1}{3}}u(t ) \vert }{[ 1+ \vert u(t) \vert ] } \\ &\phantom{{^{C}}D_{\frac{1}{2}}^{\frac{5}{2}} {^{C}}D_{\frac{1}{3}}^{\frac{4}{3}}u(t) =}{} +\frac{e^{-\cos^{2}(2\pi t)} \vert u(t) \vert + \vert \Psi _{\frac{2}{5}}^{\frac{1}{4}}u(t) \vert }{( t+ 10)^{2} [ 1+ \vert u(t) \vert ] }, \\ &u(0)=D_{\frac{1}{3}}u(0)=D_{\frac{1}{3}}^{\frac{4}{3}}u(0)=D_{\frac {1}{3}}^{\frac{7}{3}}u(0)=D_{\frac{1}{3}}^{\frac {10}{3}}u(0)=0, \\ &D_{\frac{2}{3}}^{\frac{1}{5}}u(0)=10D_{\frac {2}{3}}^{\frac{1}{5}}u(6),\qquad u\biggl( \frac {1}{10}\biggr) =2I_{\frac{1}{4}}^{\frac{3}{4}}e^{ \cos(\frac {\pi}{36{,}000})}u \biggl(\frac{\pi}{36{,}000}\biggr), \end{aligned} \end{aligned}$$
(4.1)
where \(t\in I_{\frac{1}{60}}^{6}=\{6(\frac{1}{60})^{n}:n \in {\mathbb{N}}\}\cup\{0,3\}\) and \(\Psi_{\frac{2}{5}}^{\frac {1}{4}}u(t)=\frac{1}{\Gamma_{\frac{2}{3}}( \frac{1}{4} ) } \int_{0}^{t}\frac{e^{-s}}{(t+20)^{2}}\cdot u(s) \,d_{\frac {2}{3}}s\).

We apply Theorem 3.1 when \(q={\frac{1}{2}}\), \(p={\frac {1}{3}}\), \(r=\frac{3}{4}\), \(w={\frac{2}{5}}\), \(m={\frac{2}{3}}\), \(n={\frac{1}{4}}\), \(M=3, N=2\), \(\alpha=\frac{5}{2}, \beta=\gamma =\frac{4}{3}, \theta=\frac{1}{4}, \nu=\frac{1}{5}, \vartheta =\frac{3}{4}, T=6\), \(\lambda_{1}=e^{-5}, \lambda_{2}=1, \mu=10, \tau =2\), \(\chi=\frac{1}{60}, \xi=\frac{1}{10}, \eta=\frac{1}{36{,}000}\) and \(\varphi_{0}=\sup\{\varphi(t,s)\}=\frac{1}{400}\).

Since
$$\begin{aligned} &\bigl\vert F\bigl(t,u,D_{r}^{\gamma}u\bigr) -F \bigl(t,v,D_{r}^{\gamma}v\bigr) \bigr\vert \leq \frac{1}{201e} \bigl[ \vert u-v \vert + \bigl\vert D_{r}^{\gamma}u -D_{r}^{\gamma}v \bigr\vert + \bigl\vert D_{r}^{\gamma-1 }u -D_{r}^{\gamma-1} v \bigr\vert \bigr], \\ & \bigl\vert H\bigl(t,u,\Psi_{w}^{\theta}u\bigr) -H\bigl(t,v,\Psi_{w}^{\theta}v\bigr) \bigr\vert \leq \frac{1}{100e} \vert u-v \vert +\frac{1}{100} \bigl\vert \Psi _{w}^{\theta}u -\Psi_{w}^{\theta}v \bigr\vert , \end{aligned}$$
so \((H_{1})\)\((H_{2})\) are satisfied with \(L_{1}=L_{2}=L_{3}=\frac{1}{201e}, L=\frac{2}{201e} \) and \(\ell_{2}=\frac{1}{100e}, \ell_{1}= \frac{1}{100}=\ell\).
In addition, since \(\frac{1}{e}\leq g(t)\leq e\), then \((H_{3})\) is satisfied with \(G=e\). Moreover, we can show that
$$\vert \Lambda \vert =22.0923, \qquad \Omega_{1}=10.3252\quad\text{and}\quad \Omega_{2}= 28.9938. $$
We obtain
$$\Theta\approx0.0329 < 1. $$
It implies that \((H_{4})\) holds. From Theorem 3.1, we can conclude that the assigned problem (4.1) has a unique solution on \(I_{\frac{1}{60}}^{6}\).

5 Conclusion

We have proved the existence results of the four-point fractional q-integral and Riemann–Liouville fractional q-derivative boundary value problem for a sequential Caputo fractional q-integrodifference equation involving separate nonlinearity (1.5)–(1.6), by using the Banach contraction mapping principle as regards the existence and uniqueness of a solution, and the Leray–Schauder nonlinear alternative for the existence of at least a solution. Our problem contains \(2(M+N+1)\) different orders and six different numbers of q in derivatives and integral, which is a new idea.

Declarations

Funding

This research was funded by King Mongkut’s University of Technology North Bangkok. Contract no. KMUTNB-GOV-59-38.

Authors’ contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

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)
Department of Mathematics, Faculty of Applied Science, King Mongkut’s University of Technology North Bangkok, Bangkok, Thailand
(2)
Mathematics Department, Faculty of Science and Technology, Suan Dusit University, Bangkok, Thailand

References

  1. Jackson, F.H.: On q-difference equations. Am. J. Math. 32, 305–314 (1910) View ArticleMATHGoogle Scholar
  2. Carmichael, R.D.: The general theory of linear q-difference equations. Am. J. Math. 34, 147–168 (1912) MathSciNetView ArticleMATHGoogle Scholar
  3. Mason, T.E.: 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 (2002) View ArticleMATHGoogle Scholar
  5. Al-Salam, W.A.: Some fractional q-integrals and q-derivatives. Proc. Edinb. Math. Soc. 15(2), 135–140 (1966) MathSciNetView ArticleMATHGoogle Scholar
  6. Agarwal, R.P.: Certain fractional q-integrals and q-derivatives. Proc. Camb. Philos. Soc. 66, 365–370 (1969) MathSciNetView ArticleMATHGoogle Scholar
  7. Annaby, M.H., Mansour, Z.S.: 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. Atici, F.M., Eloe, P.W.: Fractional q-calculus on a time scale. J. Nonlinear Math. Phys. 14(3), 333–344 (2007) MathSciNetView ArticleMATHGoogle Scholar
  10. El-Shahed, M., Hassan, H.A.: Positive solutions of q-difference equation. Proc. Am. Math. Soc. 138, 1733–1738 (2010) MathSciNetView ArticleMATHGoogle Scholar
  11. Ahmad, B., Ntouyas, S.K.: Boundary value problems for q-difference inclusions. Abstr. Appl. Anal. 2011, Article ID 292860 (2011) MathSciNetMATHGoogle Scholar
  12. Ahmad, B., Nieto, J.J.: On nonlocal boundary value problems of nonlinear q-difference equations. Adv. Differ. Equ. 2012, 81 (2012) MathSciNetView ArticleMATHGoogle Scholar
  13. Ahmad, B., Ntouyas, S.K.: Existence of solutions for nonlinear fractional q-difference inclusions with nonlocal Robin (separated) conditions. Mediterr. J. Math. 10, 1333–1351 (2013) MathSciNetView ArticleMATHGoogle Scholar
  14. Agarwal, R.P., 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) MathSciNetView ArticleMATHGoogle Scholar
  15. Ahmad, B., Nieto, J.J., 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 ArticleMATHGoogle Scholar
  16. Almeida, R., Martins, N.: Existence results for fractional q-difference equations of order \(\alpha\in\mathopen{]}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, S.K.: Multi-strip fractional q-integral boundary value problems for nonlinear fractional q-difference equations. Adv. Differ. Equ. 2014, 13 (2014) MathSciNetView ArticleGoogle Scholar
  18. Ma, J., Yang, J.: Existence of solutions for multi-point boundary value problem of fractional q-difference equation. Electron. J. Qual. Theory Differ. Equ. 92, 1 (2011) MathSciNetView ArticleGoogle Scholar
  19. Abdeljawad, T., Benli, B., Baleanu, D.: Generalized q-Mittag–Leffler function by q-Caputo fractional linear equations. Abstr. Appl. Anal. 2012, Article ID 546062 (2012) MATHGoogle Scholar
  20. Baleanu, D., Agarwal, P.: Certain inequalities involving the fractional-integral operators. Abstr. Appl. Anal. 2014, Article ID 371274 (2014) MathSciNetGoogle Scholar
  21. Abdeljawad, T., Baleanu, D., Jarad, F., Agarwal, R.P.: Fractional sums and differences with binomial coefficients. Discrete Dyn. Nat. Soc. 2013, Article ID 104173 (2013) MathSciNetMATHGoogle Scholar
  22. Abdeljawad, T., Baleanu, D.: Caputo q-fractional initial value problems and a q-analogue Mittag–Leffler function. Commun. Nonlinear Sci. Numer. Simul. 16(12), 4682–4688 (2011) MathSciNetView ArticleMATHGoogle Scholar
  23. Shammakh, W., Al-Yami, M.: Positive solutions for nonlinear q-fractional difference eigenvalue problem with nonlocal conditions. Abstr. Appl. Anal. 2015, Article ID 759378 (2015) MathSciNetView ArticleGoogle Scholar
  24. Zhao, Y., Chen, H., Zhang, Q.: Existence results for fractional q-difference equations with nonlocal q-integral boundary conditions. Adv. Differ. Equ. 2013, 48 (2013) MathSciNetView ArticleMATHGoogle Scholar
  25. Ferreira, R.A.: Nontrivial solutions for fractional q-difference boundary value problems. Electron. J. Qual. Theory Differ. Equ. 70, 1 (2010) MathSciNetView ArticleGoogle Scholar
  26. Ferreira, R.A.: Positive solutions of a nonlinear q-fractional difference equation with integral boundary conditions. Int. J. Difference Equ. 9(2), 135–145 (2014) MathSciNetGoogle Scholar
  27. Yuan, Q., Yang, W.: Positive solutions of nonlinear boundary value problems for delayed fractional q-difference systems. Adv. Differ. Equ. 2014, 51 (2014) View ArticleMATHGoogle Scholar
  28. Yang, W.: Positive solutions for nonlinear semipositone fractional q-difference system with coupled integral boundary conditions. Appl. Math. Comput. 244, 702–725 (2014) MathSciNetMATHGoogle Scholar
  29. Sitthiwirattham, T., Tariboon, J., Ntouyas, S.K.: 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
  30. 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
  31. 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
  32. Patanaraprrlert, N., Sitthiwirattham, T.: Existence results of sequential derivatives of nonlinear quantum difference equations with a new class of three-point boundary value problems conditions. J. Comput. Anal. Appl. 18, 844–856 (2015) MathSciNetMATHGoogle Scholar
  33. Patanarapeelert, N., Sriphanomwan, U., Sitthiwirattham, T.: On a class of sequential fractional q-integrodifference boundary value problems involving different numbers of q in derivatives and integrals. Adv. Differ. Equ. 2016, 148 (2016) MathSciNetView ArticleGoogle Scholar
  34. Sriphanomwan, U., Tariboon, J., Patanarapeelert, N., Sitthiwirattham, T.: Existence results of nonlocal boundary value problems for nonlinear fractional q-integrodifference equations. J. Nonlinear Funct. Anal. 2017, 28 (2017) Google Scholar
  35. Granas, A., Dugundji, J.: Fixed Point Theory. Springer, New York (2003) View ArticleMATHGoogle Scholar

Copyright

Advertisement