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 Sitthiwirattham1Email author
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 equationMSC
34A08 34B18 39A131 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: 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.
$$ \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)
Almeida and Martins [26] proposed the following fractional q-difference equation with three-point integral boundary conditions: 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.
$$ \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)
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 and a nonlinear fractional q-integrodifference equation with nonlocal three-point fractional q-integral boundary conditions of the form 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))\),
$$ \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)
$$ \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)
$$\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 The q-analog of the power function \((a-b)^{(n)}\) with \(n\in\mathbb {N}_{0}:=[0,1,2,\ldots]\) is More generally, if \(\alpha\in\mathbb{R}\), then 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 and satisfies \(\Gamma_{q}(x+1)=[x]_{q}\Gamma_{q}(x)\).
$$[a]_{q}:=\frac{1-q^{a}}{1-q},\quad a\in\mathbb{R}. $$
$$(a-b)^{(0)}:=1,\qquad (a-b)^{(n)}:= \prod _{k=0}^{n-1} \bigl(a-bq^{k}\bigr),\quad a,b \in\mathbb{R}. $$
$$(a-b)^{(\alpha)}:=a^{\alpha}\prod_{n=0}^{\infty} \frac {a-bq^{n}}{a-bq^{\alpha+n}}. $$
$$\Gamma_{q}(x):=\frac{(1-q)^{(x-1)}}{(1-q)^{x-1}},\quad x\in\mathbb {R}\setminus \{0,-1,-2,\ldots\}, $$
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 and \((I^{0}_{q} f)(x) = f(x)\).
$$\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}$$
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 and \((D^{0} _{q}f)(x) = f(x)\), where m is the smallest integer that is greater than or equal to α.
$$\bigl(D_{q}^{\alpha}f\bigr) (x):=\bigl(D_{q}^{m} I_{q}^{m-\alpha} f\bigr) (x),\quad \alpha>0, $$
Definition 2.3
[2]
For any \(x,s>0\), is called the q-beta function.
$$\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}$$
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
is equivalent to the integral equation
$$\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)
$$\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 and The first condition of (2.2) implies Taking the fractional p-integral of order \(\beta>0\) for (2.6) and the second condition of (2.2), we get Solving the system of linear equations (2.6) and (2.7), for the unknown constants \(C_{1}\) and \(C_{2}\), we have Substituting the constants \(C_{1}\) and \(C_{2}\) into (2.5), we obtain (2.3).
$$\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)
$$ 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)
$$ 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)
$$\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)
$$\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}$$
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 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
$$\|x\|_{\mathcal{C_{A}}}=\max\bigl\{ \|x\|,\bigl\| D_{\omega}^{\nu}x\bigr\| \bigr\} , $$
$$\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:
where
Then the boundary value problem (1.3) has a unique solution.
- (H1):
-
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|. $$
- (H2):
-
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}}}. $$
- (H3):
-
For each \(t\in[0,T]\), \(0< n< g(t)< N\).
- (H4):
-
\(\Theta:=\lambda (\Omega+\Lambda )+\frac{\tau\Gamma _{q}(\alpha+1)}{\eta^{2}}\Lambda<1\),
$$\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)
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 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 and Therefore, we obtain \(\|{\mathcal{A}}x\|_{\mathcal{C_{A}}}\leq R\) and hence \(\mathcal{A}B_{R}\subset B_{R}\).
$$ R\geq\frac{M (\Omega+\Lambda )+\frac{\Gamma_{q}(\alpha+1)}{\eta ^{2}}K \Lambda}{1-\Theta}. $$
(3.3)
$$\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}$$
$$\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}$$
Next, we will show that \(\mathcal{A}\) is a contraction. Denote For all \(x, y\in\mathcal{C}_{\mathcal{A}}\) and for each \(t\in[0,T]\), we have and Thus, \(\|{\mathcal{A}}x-{\mathcal{A}}y\|_{\mathcal{C_{A}}}\leq \Theta\|x-y\|_{\mathcal{C_{A}}}\). From (H4), we see that \(\mathcal{A}\) is a contraction.
$${\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|. $$
$$\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}$$
$$\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}$$
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.
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
Then
K̅
is compact.
$$\|x-y\|< \delta\quad\Rightarrow\quad\bigl|u(x)-u(y)\bigr|< \epsilon,\quad \forall x,y \in \overline{D}, \forall u\in K. $$
Theorem 3.4
Assume that (H2)-(H3) hold. In addition, \(f:[0,T]\times\mathbb {R}\times\mathbb{R}\rightarrow\mathbb{R}\)
is a continuous function satisfying the following condition:
If
then the boundary value problem (1.3) has at least one solution on
\([0,T]\).
- (H5):
-
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). $$
$$\begin{aligned} \Phi:=\|\mu\|(\Omega+\Lambda)+\frac{\alpha\tau}{\eta^{2}}\Lambda < 1, \end{aligned}$$
(3.4)
Proof
Set \(\sup_{t\in[0,T]}|\mu(t)|=\| \mu\|\), and choose a constant 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
For all \(x, y \in B_{R}\), by computing directly, we have 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, The condition (3.3) implies that \(\mathcal{A}_{2}\) is a contraction mapping.
$$ R\geq\Phi. $$
(3.5)
$$\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)
$$\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}$$
$$\mathcal{A}_{1}x+\mathcal{A}_{2}y\in B_{R}. $$
Next, we will show that \(\mathcal{A}_{1}\) is compact and continuous. Continuity of f coupled with the assumption (H4) 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 Similarly to the proof above and Theorem 3.1, we obtain 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}\).
$$\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}$$
$$\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}$$
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: Observe that the problem (1.4) has solutions if and only if the operator \(\mathcal{B}\) has fixed points.
$$\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)
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 (H3) hold. In addition, ρ
and
f
satisfy the following conditions:
Then the boundary value problem (1.4) has a unique solution.
- (H6):
-
There exists a positive number τ such that, for all \(x,y\in{\mathcal{C}}\),$$\bigl|\rho(x)-\rho(y)\bigr|\leq\tau\|x-y\|. $$
- (H7):
-
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|. $$
- (H8):
-
\(\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).
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 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 Therefore, \({\mathcal{B}}B_{\rho}\subset B_{\rho}\).
$$ \rho\geq\frac{M (\Omega+\Lambda )+\frac{\Gamma_{q}(\alpha +1)}{\eta^{2}} K\Lambda}{1-\Upsilon}. $$
(4.2)
$$\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}$$
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 By (H8), we have \(\mathcal{B}\) is a contraction. Thus, the conclusion of the theorem follows by Banach’s contraction mapping principle. This completes the proof. □
$$\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}$$
Our second result is based on the following Krasnoselskii’s fixed point theorem.
Theorem 4.2
Assume that (H3) and (H6) hold. In addition, \(f:[0,T]\times\mathbb {R}\times\mathbb{R}\rightarrow\mathbb{R}\)
is a continuous function satisfying the following condition:
If
then the boundary value problem (1.4) has at least one solution on
\([0,T]\).
- (H9):
-
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). $$
$$\begin{aligned} \chi:=\|\sigma\|(\Omega+\Lambda)+\frac{\alpha\tau}{\eta^{2}}\Lambda < 1, \end{aligned}$$
(4.3)
Proof
Set \(\sup_{t\in[0,T]}|\sigma (t)|=\|\sigma\|\) and choose a constant 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
For \(x, y \in B_{\rho}\), by computing directly, we have 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.
$$ \rho\geq\chi. $$
(4.4)
$$\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)
$$\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}$$
Next, we will show that \(\mathcal{B}_{1}\) is compact and continuous. Continuity of f coupled with the assumption (H7) 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 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}\).
$$\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}$$
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: 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}\).
$$ \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)
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|\), (H1) 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, (H2) holds with \(\tau=\sum_{i=1}^{n}C_{i}<\frac{1}{400}\).
Since \(\frac{1}{e}< g(t)< e\), (H3) is satisfied with \(N=e\), \(n=\frac {1}{e}\).
We can show that Therefore, we get Hence, by Theorem 3.1, problem (5.1) has a unique solution on \([0,1]\).
$$\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}$$
$$\Theta=\lambda (\Omega+\Lambda )+\frac{\tau\Gamma_{q}(\alpha +1)}{\eta^{2}} \Lambda\approx0.3668< 1. $$
Example 5.2
Consider the following fractional q-integral boundary value problem: 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}\).
$$ \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)
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, (H2) 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}\), (H5) 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 Hence, by Theorem 4.1, problem (5.2) has a unique solution on \([0,1]\).
$$\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. $$
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
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
Copyright
© Sitthiwirattham 2016
