Boundary Value Problems

, 2018:46 | Cite as

On nonlocal Robin boundary value problems for Riemann–Liouville fractional Hahn integrodifference equation

  • Nichaphat Patanarapeelert
  • Thanin Sitthiwirattham
Open Access
Research
  • 138 Downloads

Abstract

In this paper, we study a nonlocal Robin boundary value problem for fractional Hahn integrodifference equation. Our problem contains three fractional Hahn difference operators and a fractional Hahn integral with different numbers of \(q, \omega\) and order. The existence and uniqueness result is proved by using the Banach fixed point theorem. In addition, the existence of at least one solution is obtained by using Schauder’s fixed point theorem.

Keywords

Fractional Hahn integral Riemann–Liouville fractional Hahn difference Boundary value problems Existence 

MSC

39A10 39A13 39A70 

1 Introduction

Recently, many researchers have extensively studied calculus without limit that deals with a set of non-differentiable functions, the so-called quantum calculus. Many types of quantum difference operators are employed in several applications of mathematical areas such as the calculus of variations, particle physics, quantum mechanics, and theory of relativity (see [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12] and the references therein for some applications and new results of the quantum calculus).

In this paper, we study the Hahn quantum calculus that is one type of quantum calculus. Hahn [13] introduced the Hahn difference operator \(D_{q,\omega}\) in 1949 as follows:
$$D_{q,\omega}f(t)=\frac{f(qt+\omega)-f(t)}{t(q-1)+\omega},\quad t\neq \omega_{0}:= \frac{\omega}{1-q}. $$
The Hahn difference operator is a combination of two well-known difference operators: the forward difference operator and the Jackson q-difference operator. Notice that
$$\begin{aligned} &D_{q,\omega}f(t)=\Delta_{\omega}f(t) \quad\text{whenever }q= 1, \qquad D_{q,\omega}f(t)=D_{q}f(t) \quad\text{whenever }\omega= 0\quad\text{and} \\ &D_{q,\omega}f(t)=f'(t)\quad \text{whenever }q= 1,\omega \rightarrow0. \end{aligned}$$
The Hahn difference operator has been employed to construct families of orthogonal polynomials and investigate some approximation problems (see [14, 15, 16] and the references therein).

In 2009, Aldwoah [17, 18] defined the right inverse of \(D_{q,\omega}\) in terms of both the Jackson q-integral containing the right inverse of \(D_{q}\) [19] and the Nörlund sum containing the right inverse of \(\Delta_{\omega}\) [19].

In 2010, Malinowska and Torres [20, 21] introduced the Hahn quantum variational calculus. In 2013, Malinowska and Martins [22] studied the generalized transversality conditions for the Hahn quantum variational calculus. Later, Hamza and Ahmed [23, 24] studied the theory of linear Hahn difference equations, and investigated the existence and uniqueness results for the initial value problems for Hahn difference equations by using the method of successive approximations. Moreover, they proved Gronwall’s and Bernoulli’s inequalities with respect to the Hahn difference operator and established the mean value theorems for this calculus. In 2016, Hamza and Makharesh [25] investigated the Leibnitz’s rule and Fubini’s theorem associated with Hahn difference operator. In the same year, Sitthiwirattham [26] considered a nonlinear Hahn difference equation with nonlocal boundary value conditions of the form
$$\begin{aligned} &D^{2}_{q,\omega} x(t)+f\bigl(t,x(t),D_{p,\theta}x(pt+\theta) \bigr)=0,\quad t\in [\omega_{0},T]_{q,\omega}, \\ &x(\omega_{0})=\varphi(x), \\ &x(T)=\lambda x(\eta),\quad \eta\in(\omega_{0},T)_{q,\omega}, \end{aligned}$$
(1.1)
where \(0< q<1\), \(0<\omega<T\), \(\omega_{0}:=\frac{\omega}{1-q}\), \(1\leq \lambda<\frac{T-\omega_{0}}{\eta-\omega_{0}}\), \(p=q^{m}, m\in {\mathbb{N}}, \theta=\omega(\frac{1-p}{1-q})\), \(f: [\omega_{0},T]_{q,\omega}\times{\mathbb{R}}\times{\mathbb {R}}\rightarrow{\mathbb{R}}\) is a given function, and \(\varphi: C([\omega_{0},T]_{q,\omega},{\mathbb{R}})\rightarrow {\mathbb{R}}\) is a given functional.
In 2017, Sriphanomwan et al. [27] considered a nonlocal boundary value problem for second-order nonlinear Hahn integrodifference equation with integral boundary condition of the form
$$\begin{aligned} \begin{aligned} &D^{2}_{q,\omega} x(t)=f\bigl(t,x(t),D_{p,\theta}x(pt+ \theta),\varPsi _{p,\theta}x(pt+\theta)\bigr),\quad t\in[\omega_{0},T]_{q,\omega}, \\ &x(\omega_{0})=x(T),\qquad x(\eta)=\mu \int_{\omega _{0}}^{T}g(s)x(s)\,d_{q,\omega}s,\quad \eta\in( \omega_{0},T)_{q,\omega}, \end{aligned} \end{aligned}$$
(1.2)
where \(0< q<1\), \(0<\omega<T\), \(\omega_{0}:=\frac{\omega}{1-q}\), \(\mu \int_{\omega_{0}}^{T} g(r) \,d_{q,\omega}r\neq1\), \(\mu\in\mathbb {R}\), \(p=q^{m}, m\in{\mathbb{N}}, \theta=\omega(\frac {1-p}{1-q})\), \(f\in C([\omega_{0},T]_{q,\omega}\times{\mathbb{R}}\times{\mathbb {R}}\times{\mathbb{R}},{\mathbb{R}})\), and \(g\in C([\omega _{0},T]_{q,\omega},{\mathbb{R}}^{+})\) are given functions, and for \(\varphi\in C([\omega_{0},T]_{q,\omega}\times[\omega_{0},T]_{q,\omega },[0,\infty))\),
$$ \varPsi_{p,\theta} x(t):= \int_{\omega_{0}}^{t}\varphi(t,ps+\theta )x(ps+ \theta)\,d_{p,\theta} s. $$

In 2010, Čermák and Nechvátal [28] proposed the fractional \((q,h)\)-difference operator and the fractional \((q,h)\)-integral for \(q>1\). In 2011, Čermák et al. [29] studied discrete Mittag–Leffler functions in linear fractional difference equations for \(q>1\), and Rahmat [30, 31] studied the \((q,h)\)-Laplace transform and some \((q,h)\)-analogues of integral inequalities on discrete time scales for \(q>1\). In 2016, Du et al. [32] presented the monotonicity and convexity for nabla fractional \((q,h)\)-difference for \(q>0, q\neq1\). However, we realize that Hahn difference operator requires the condition \(0< q<1\). Therefore, to fill the gap, Brikshavana and Sitthiwirattham [33] have introduced the fractional Hahn difference operators for \(0< q<1\).

In 2017, Patanarapeelert and Sitthiwirattham [34] considered a Riemann–Liouville fractional Hahn difference boundary value problem for a fractional Hahn integrodifference equation of the form
$$\begin{aligned} &D^{\alpha}_{q,\omega}u(t)=F\bigl( t,u(t),\Psi^{\gamma}_{r,\phi}u(t) \bigr),\quad t\in[\omega_{0},T]_{q,\omega}, \\ &u(\omega_{0})=u(T), \\ &D^{\beta}_{p,\theta}u(\omega_{0})=D^{\beta}_{p,\theta}u(pT+ \theta ), \end{aligned}$$
(1.3)
and a fractional Hahn integral boundary value problem for a Caputo fractional Hahn difference equation of the form
$$\begin{aligned} &{^{C}}D^{\alpha}_{q,\omega}u(t)=G\bigl( t,u(t),{^{C}}D^{\gamma}_{r,\phi }u(rt+\phi)\bigr),\quad t\in[ \omega_{0},T]_{q,\omega}, \\ &u(\omega_{0})={\mathcal{A}}(u), \\ &{\mathcal{I}}^{\beta}_{p,\theta}u(T)=\frac{1}{\Gamma_{p}(\beta )} \int_{\omega_{0}}^{T}\bigl(T-\sigma_{p,\omega}(s) \bigr)_{p,\theta }^{\underline{\beta-1}}u(s) \,d_{p,\theta}s={\mathcal {B}}(u), \end{aligned}$$
(1.4)
where \([\omega_{0},T]_{q,\omega}:=\{q^{k}T+\omega[k]_{q}:k \in{\mathbb {N}}_{0}\}\cup\{\omega_{0}\}\); \(\alpha\in(1,2], \beta,\gamma\in (0,1]\), \(\omega>0, p,q,r\in(0,1), p=q^{m}, r=q^{n}, m,n \in{\mathbb {N}}\), \(\theta=\omega(\frac{1-p}{1-q} ), \phi=\omega (\frac{1-r}{1-q} )\); \(F,G \in C([\omega_{0},T]_{q,\omega}\times{\mathbb{R}}\times {\mathbb{R}},{\mathbb{R}})\) is a given function; \({\mathcal {A}},{\mathcal{B}}: C([\omega_{0},T]_{q,\omega},\mathbb{R} )\rightarrow\mathbb{R}\) are given functionals; and for \(\varphi\in C([\omega_{0},T]_{q,\omega}\times[\omega_{0},T]_{q,\omega },[0,\infty) )\), define
$$\Psi^{\gamma}_{r,\phi} u(t):=\bigl({\mathcal{I}}_{r,\phi}^{\gamma}\varphi u\bigr) (t)=\frac{1}{\Gamma_{r}(\gamma)} \int_{\omega_{0}}^{t} \bigl( t-\sigma_{r,\phi}(s)\bigr) ^{\underline{\gamma-1}}_{r,\phi }\varphi(t,s) u(s) \,d_{r,\phi}s. $$
Presently, Patanarapeelert et al. [35] studied the boundary value problem for fractional Hahn difference equation containing a sequential Caputo fractional Hahn integrodifference equation with nonlocal Dirichlet boundary conditions
$$\begin{aligned} &{^{C}}D^{\alpha}_{q,\omega}{^{C}}D^{\beta}_{q,\omega} \biggl[\frac {E_{\sigma_{q,\omega}}}{\rho_{q,\omega}(t)}+qD_{q,\omega} \biggr] u(t)=F\bigl( t,u(t), \Psi^{\gamma}_{q,\omega}u(t)\bigr),\quad t\in [\omega_{0},T]_{q,\omega}, \\ &u(\omega_{0})=\phi(u), \\ &\rho_{q,\omega}(T)u(T)=\rho_{q,\omega}(\eta)u(\eta)=\psi(u), \quad \eta\in( \omega_{0},T)_{q,\omega}, \end{aligned}$$
(1.5)
where \([\omega_{0},T]_{q,\omega}=I^{T}_{q,\omega}:=\{q^{k}T+\omega [k]_{q}:k \in{\mathbb{N}}_{0}\}\cup\{\omega_{0}\}\); \(\omega>0, q\in (0,1)\); \(\alpha,\beta,\gamma\in(0,1]\); the shift operator \(E_{\sigma_{q,\omega}}u(t):=u( \sigma_{q,\omega}(t))\); \(F \in C(I_{q,\omega}^{T}\times\mathbb{R}\times\mathbb {R},\mathbb{R})\) is a given function; \(\phi,\psi: C (I_{q,\omega}^{T},\mathbb{R})\rightarrow\mathbb{R}\) are given functionals; and for \(\varphi\in C(I_{q,\omega}^{T}\times I_{q,\omega}^{T},[0,\infty) )\), we define
$$\begin{aligned} \Psi^{\gamma}_{q,\omega} u(t):=\bigl({ \mathcal{I}}_{q,\omega}^{\gamma}\varphi u\bigr) (t)=\frac{1}{\Gamma_{q,\omega}(\gamma)} \int _{\omega_{0}}^{t} \bigl( t-\sigma_{q,\omega}(s) \bigr) ^{\underline {\gamma-1}}_{q,\omega}\varphi(t,s) u(s) \,d_{q,\omega}s. \end{aligned}$$
(1.6)
In quantum calculus, there are apparently few research works related to boundary value problems of fractional Hahn difference equations (see [34, 35]). Therefore, in this paper, we devote ourselves to studying a boundary value problem for fractional Hahn difference equation. Our problem is a nonlocal Robin boundary value problem for a fractional Hahn integrodifference equation of the form
$$\begin{aligned} &D^{\alpha}_{q,\omega} u(t)=F\bigl( t,u(t), \Psi^{\gamma}_{r,\phi }u(t),D^{\nu}_{m,\chi}u(t)\bigr),\quad t\in I^{T}_{q,\omega}, \\ &\lambda_{1}u(\eta)+\lambda_{2}D_{p,\theta}^{\beta}u(\eta)=\phi_{1}(u),\quad \eta\in I^{T}_{q,\omega} - \{ \omega_{0},T\}, \\ &\mu_{1}u(T)+\mu_{2}D_{p,\theta}^{\beta}u(T)= \phi_{2}(u), \end{aligned}$$
(1.7)
where \(I^{T}_{q,\omega}:=\{q^{k}T+\omega[k]_{q}:k \in{\mathbb{N}}_{0}\} \cup\{\omega_{0}\}\); \(\alpha\in(1,2], \beta,\gamma,\nu\in(0,1]\), \(\omega>0, p,q,r\in(0,1), p=q^{a}, r=q^{b}, m=q^{c}, a,b,c \in{\mathbb {N}}\), \(\theta=\omega(\frac{1-p}{1-q} ), \phi=\omega (\frac{1-r}{1-q} ), \chi=\omega(\frac{1-m}{1-q} )\); \(\lambda_{1},\lambda_{2},\mu_{1},\mu_{2} \in{{\mathbb{R}}^{+}}\); \(F \in C(I_{q,\omega}^{T}\times{\mathbb{R}}\times{\mathbb {R}}\times{\mathbb{R}},{\mathbb{R}})\) is a given function; \(\phi_{1},\phi_{2}: C(I_{q,\omega}^{T},{\mathbb{R}})\rightarrow {\mathbb{R}}\) are given functionals, and \(\Psi^{\gamma}_{r,\phi} u(t)\) is defined as (1.6).

In the next section, we briefly recall some definitions and lemmas used in this research work. In Sect. 3, we prove the existence and uniqueness of a solution to problem (1.7) by using the Banach fixed point theorem. In Sect. 4, we show the existence of at least one solution to problem (1.7) by using Schauder’s fixed point theorem. Finally, an example is provided to illustrate our results in the last section.

2 Preliminaries

In this section, we present the notations, definitions, and lemmas used in the main results. Let \(q\in(0,1)\), \(\omega>0\) 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)_{q}^{\underline {n}}\) with \(n\in\mathbb{N}_{0}:=[0,1,2,\ldots]\) is
$$(a-b)_{q}^{\underline{0}}:=1, \qquad (a-b)_{q}^{\underline{n}}:= \prod_{k=0}^{n-1} \bigl(a-bq^{k} \bigr),\quad a,b\in\mathbb{R}. $$
The \(q,\omega\)-analogue of the power function \((a-b)_{q,\omega}^{\underline{n}}\) with \(n\in\mathbb {N}_{0}:=[0,1,2,\ldots]\) is
$$(a-b)_{q,\omega}^{\underline{0}}:=1, \qquad (a-b)_{q,\omega}^{\underline {n}}:= \prod_{k=0}^{n-1} \bigl[ a- \bigl(bq^{k}+\omega[k]_{q}\bigr)\bigr],\quad a,b\in \mathbb{R}. $$
More generally, if \(\alpha\in\mathbb{R}\), we have
$$\begin{aligned} &(a-b)_{q}^{\underline{\alpha}}= a^{\alpha}\prod _{n=0}^{\infty} \frac {1-(\frac{b}{a} )q^{n}}{1-(\frac{b}{a} )q^{\alpha+n}},\quad a\neq0, \\ &(a-b)_{q,\omega}^{\underline{\alpha}}= (a-\omega_{0})^{\alpha}\prod_{n=0}^{\infty} \frac{1-(\frac{b-\omega_{0}}{a-\omega_{0}} )q^{n}}{1-(\frac{b-\omega_{0}}{a-\omega_{0}} )q^{\alpha+n}}= \bigl((a-\omega_{0})-(b-\omega_{0})\bigr)_{q}^{\underline{\alpha}},\quad a\neq\omega_{0}. \end{aligned}$$
Note that \(a_{q}^{\underline{\alpha}} = a^{\alpha}\) and \((a-\omega_{0})_{q,\omega}^{\underline{\alpha}} = (a-\omega _{0})^{\alpha}\). We also use the notation \((0)_{q}^{\underline{\alpha }}=({\omega_{0}})_{q,\omega}^{\underline{\alpha}}=0\) for \(\alpha>0\). The q-gamma and q-beta functions are defined by
$$\begin{aligned} &\Gamma_{q}(x):=\frac{(1-q)_{q}^{\underline{x-1}}}{(1-q)^{x-1}},\quad x\in \mathbb{R}\setminus \{0,-1,-2,\ldots\}, \\ &B_{q}(x,s):= \int_{0}^{1} t^{x-1}(1-qt)_{q}^{\underline{s-1}}\,d_{q}t= \frac {\Gamma_{q}(x)\Gamma_{q}(s)}{\Gamma_{q}(x+s)}. \end{aligned}$$

Definition 2.1

For \(q\in(0,1)\), \(\omega >0\) and f defined on an interval \(I\subseteq{\mathbb{R}}\) which contains \(\omega_{0}:=\frac{\omega}{1-q}\), the Hahn difference of f is defined by
$$ D_{q,\omega}f(t)=\frac{f(qt+\omega)-f(t)}{t(q-1)+\omega} \quad\text{for } t\neq\omega_{0}, $$
and \(D_{q,\omega}f(\omega_{0})=f'(\omega_{0})\). Provided that f is differentiable at \(\omega_{0}\), we call \(D_{q,\omega}f\) the \(q,\omega \)-derivative of f, and say that f is \(q,\omega\)-differentiable on I.

Remarks

  1. (1)

    \(D_{q,\omega}[f(t)+g(t)]=D_{q,\omega}f(t)+D_{q,\omega}g(t)\).

     
  2. (2)

    \(D_{q,\omega}[\alpha f(t)]=\alpha D_{q,\omega}f(t)\).

     
  3. (3)

    \(D_{q,\omega}[f(t)g(t)]=f(t)D_{q,\omega}g(t)+g(qt+\omega )D_{q,\omega}f(t)\).

     
  4. (4)

    \(D_{q,\omega}[ \dfrac{f(t)}{g(t)}] =\dfrac {g(t)D_{q,\omega}f(t)-f(t)D_{q,\omega}g(t)}{g(t)g(qt+\omega)}\).

     
Letting \(a,b\in I \subseteq\mathbb{R} \) with \(a<\omega_{0}<b\) and \([k]_{q}=\frac{1-q^{k}}{1-q}, k\in{\mathbb{N}}_{0}:={\mathbb{N}}\cup\{0\} \), we define the \(q,\omega\)-interval by
$$\begin{aligned} {[a,b]}_{q,\omega}&:=\bigl\{ q^{k} a+\omega[k]_{q}: k \in{\mathbb {N}}_{0} \bigr\} \cup\bigl\{ q^{k} b+ \omega[k]_{q}: k\in{\mathbb{N}}_{0} \bigr\} \cup\{ \omega_{0}\} \\ &={[a,\omega_{0}]}_{q,\omega} \cup{[\omega_{0},b]}_{q,\omega} \\ &={(a,b)}_{q,\omega} \cup\{a,b\} = {[a,b)}_{q,\omega} \cup\{b\} = {(a,b]}_{q,\omega} \cup\{a\}. \end{aligned}$$
We observe that for each \(s\in[a,b]_{q,\omega}\), the sequence \(\{\sigma_{q,\omega}^{k}(s)\}_{k=0}^{\infty}=\{ q^{k} s+\omega[k]_{q}\}_{k=0}^{\infty}\) is uniformly convergent to \(\omega_{0}\).

In addition, we define the forward jump operator \(\sigma ^{k}_{q,\omega}(t):=q^{k}t+\omega[k]_{q} \) and the backward jump operator \(\rho^{k}_{q,\omega}(t):=\frac{t-\omega[k]_{q} }{q^{k}} \) for \(k\in {\mathbb{N}}\).

Definition 2.2

Let I be any closed interval of \(\mathbb{R}\) that contains \(a,b\), and \(\omega_{0}\). Letting \(f:I\rightarrow\mathbb{R}\) be a given function, we define \(q,\omega\)-integral of f from a to b by
$$ \int_{a}^{b} f(t)\,d_{q,\omega}t:= \int_{\omega_{0}}^{b} f(t)\,d_{q,\omega }t- \int_{\omega_{0}}^{a} f(t)\,d_{q,\omega}t, $$
where
$$\int_{\omega_{0}}^{x} f(t)\,d_{q,\omega}t:=\bigl[x(1-q)- \omega\bigr]\sum_{k=0}^{\infty} q^{k} f\bigl(xq^{k}+\omega[k]_{q}\bigr),\quad x\in I, $$
and the series converges at \(x=a\) and \(x=b\). We call f\(q,\omega\)-integrable on \([a,b]\), and the sum to the right-hand side of the above equation is called the Jackson–Nörlund sum.

Note that the actual domain of function f is defined on \([a,b]_{q,\omega}\subset I\).

We next introduce the fundamental theorem of Hahn calculus.

Lemma 2.1

([17])

Let\(f:I\rightarrow\mathbb {R}\)be continuous at\(\omega_{0}\)and define
$$F(x):= \int_{\omega_{0}}^{x} f(t)\,d_{q,\omega}t,\quad x\in I. $$
ThenFis continuous at\(\omega_{0}\). Furthermore, \(D_{q,\omega _{0}}F(x)\)exists for every\(x\in I\)and
$$D_{q,\omega}F(x)=f(x). $$
Conversely,
$$\int_{a}^{b} D_{q,\omega}F(t)\,d_{q,\omega}t=F(b)-F(a) \quad\textit{for all }a,b\in I. $$

Lemma 2.2

([26])

Let\(q\in(0,1)\), \(\omega >0\)and\(f:I\rightarrow\mathbb{R}\)be continuous at\(\omega_{0}\). Then
$$\begin{aligned} \int_{\omega_{0}}^{t} \int_{\omega_{0}}^{r} x(s) \,d_{q,\omega}s d_{q,\omega }r= \int_{\omega_{0}}^{t} \int_{qs+\omega}^{t} x(s) \,d_{q,\omega}r d_{q,\omega}s. \end{aligned}$$

Lemma 2.3

([26])

Let\(q\in(0,1)\)and\(\omega>0\). Then
$$\begin{aligned} \int_{\omega_{0}}^{t} \,d_{q,\omega}s=t- \omega_{0}\quad \textit{and}\quad \int_{\omega_{0}}^{t} \bigl[t-\sigma_{q,\omega}(s)\bigr] \,d_{q,\omega}s=\frac {(t-\omega_{0})^{2}}{1+q}. \end{aligned}$$

Particulary, we introduce fractional Hahn integral and fractional Hahn difference of Riemann–Liouville type as follows.

Definition 2.3

For \(\alpha,\omega>0, q\in(0,1)\) and f defined on \([\omega _{0},T]_{q,\omega}\), the fractional Hahn integral is defined by
$$\begin{aligned} {\mathcal{I}}_{q,\omega}^{\alpha}f(t)&:=\frac{1}{\Gamma_{q}(\alpha)} \int_{\omega_{0}}^{t} \bigl(t-\sigma_{q,\omega}(s) \bigr)_{q,\omega }^{\underline{\alpha-1}}f(s) \,d_{q,\omega}s \\ &=\frac{[t (1-q)-\omega]}{\Gamma_{q}(\alpha)} \sum_{n=0}^{\infty }q^{n} \bigl(t-\sigma_{q,\omega}^{n+1}(t)\bigr)_{q,\omega}^{\underline {\alpha-1}} f\bigl(\sigma_{q,\omega}^{n}(t)\bigr), \end{aligned}$$
and \(({\mathcal{I}}^{0}_{q,\omega} f)(t) = f(t)\).

Definition 2.4

For \(\alpha,\omega>0, q\in(0,1)\), and f defined on \([\omega _{0},T]_{q,\omega}\), the fractional Hahn difference of the Riemann–Liouville type of order α is defined by
$$\begin{aligned} D_{q,\omega}^{\alpha}f(t)&:=\bigl(D_{q,\omega}^{N} { \mathcal{I}}_{q,\omega }^{N-\alpha} f\bigr) (t) \\ &=\frac{1}{\Gamma_{q}(-\alpha)} \int_{\omega_{0}}^{t} \bigl(t-\sigma _{q,\omega}(s) \bigr)_{q,\omega}^{\underline{-\alpha-1}}f(s) \,d_{q,\omega}s, \end{aligned}$$
and \(D^{0}_{q,\omega}f(t) = f(t)\), where N is the smallest integer that is greater than or equal to α.

Lemma 2.4

([33])

Letting\(\alpha>0,q\in (0,1),\omega>0\), and\(f:I_{q,\omega}^{T}\rightarrow{\mathbb{R}}\), we get
$$\begin{aligned} {\mathcal{I}}_{q,\omega}^{\alpha}D_{q,\omega}^{\alpha}f(t) =f(t)+C_{1}(t-\omega_{0})^{\alpha-1}+ \cdots+C_{N}(t-\omega_{0})^{\alpha-N} \end{aligned}$$
for some\(C_{i}\in{\mathbb{R}},i={\mathbb{N}}_{1,N} \)and\(N-1<\alpha\leq N,N\in{\mathbb{N}}\).

Next, we give some auxiliary lemmas used for simplifying calculations.

Lemma 2.5

([33])

Letting\(\alpha,\beta >0, p,q\in(0,1)\), and\(\omega>0\), we have
$$\begin{aligned} &\int_{\omega_{0}}^{t}\bigl( t-\sigma_{q,\omega}(s) \bigr)_{q,\omega }^{\underline{\alpha-1}} (s-\omega_{0})_{q,\omega}^{\underline{\beta }} \,d_{q,\omega}s =(t-\omega_{0})^{\alpha+\beta}B_{q}( \beta+1,\alpha ), \\ &\int_{\omega_{0}}^{t} \int_{\omega_{0}}^{x}\bigl( t-\sigma_{p,\omega }(x) \bigr)_{p,\omega}^{\underline{\alpha-1}} \bigl( x-\sigma _{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\beta-1}} \,d_{q,\omega }s \,d_{p,\omega}x = \frac{(t-\omega_{0})^{\alpha+\beta}}{[\beta ]_{q}}B_{p}(\beta+1,\alpha). \end{aligned}$$

The following lemma deals with the linear variant of problem (1.7) and gives a representation of the solution.

Lemma 2.6

Let\(\alpha\in(1,2], \beta\in(0,1]\), \(\omega>0, p,q\in(0,1), p=q^{m}, m \in{\mathbb{N}}\), \(\theta=\omega(\frac{1-p}{1-q} )\); \(\lambda_{1},\lambda_{2},\mu_{1},\mu_{2} \in{{\mathbb{R}}^{+}}\); \(h \in C(I_{q,\omega}^{T},\mathbb{R})\)is a given function; \(\phi_{1},\phi_{2}: C(I_{q,\omega}^{T},\mathbb{R})\rightarrow \mathbb{R}\)are given functionals. Then the problem
$$\begin{aligned} &D^{\alpha}_{q,\omega} u(t)=h(t),\quad t\in I^{T}_{q,\omega}, \\ &\lambda_{1}u(\eta)+\lambda_{2}D_{p,\theta}^{\beta}u(\eta)=\phi_{1}(u),\quad \eta\in I^{T}_{q,\omega} - \{ \omega_{0},T\}, \\ &\mu_{1}u(T)+\mu_{2}D_{p,\theta}^{\beta}u(T)= \phi_{2}(u) \end{aligned}$$
(2.1)
has the unique solution
$$\begin{aligned} u(t) = {}&\frac{1}{\Gamma_{q}(\alpha)} \int_{\omega_{0}}^{t} \bigl(t-\sigma_{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\alpha-1}} h(s) \,d_{q,\omega}s \\ &{}-\frac{(t-\omega_{0})^{\alpha-1}}{\Omega} \bigl\{ \mathbf{B}_{T}{\Phi _{\eta}[\phi_{1},h]} -{\mathbf{B}}_{\eta}{ \Phi_{T}[\phi_{2},h]} \bigr\} \\ &{}+\frac{(t-\omega_{0})^{\alpha-2}}{\Omega} \bigl\{ \mathbf{A}_{T}{\Phi _{\eta}[\phi_{1},h]} -{\mathbf{A}}_{\eta}{ \Phi_{T}[\phi_{2},h]} \bigr\} , \end{aligned}$$
(2.2)
where the functionals\({\Phi_{\eta}[\phi_{1},h]}, {\Phi _{T}[\phi_{2},h]}\)are defined by
$$\begin{aligned} {\Phi_{\eta}[\phi_{1},h]}:= {}&\phi_{1}(u)- \frac{\lambda_{1}}{\Gamma_{q}(\alpha)} \int_{\omega_{0}}^{\eta} \bigl(\eta-\sigma_{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\alpha -1}} h(s) \,d_{q,\omega}s-\frac{\lambda_{2}}{\Gamma_{q}(\alpha)\Gamma _{p}(-\beta)} \\ &{}\times \int_{\omega_{0}}^{\eta} \int_{\omega_{0}}^{x}\bigl(\eta-\sigma _{p,\theta}(s) \bigr)_{p,\theta}^{\underline{-\beta-1}} \bigl(x-\sigma_{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\alpha-1}} h(s) \,d_{q,\omega}s \,d_{p,\theta}x, \end{aligned}$$
(2.3)
$$\begin{aligned} {\Phi_{T}[\phi_{2},h]}:= {}&\phi_{2}(u)- \frac{\mu_{1}}{\Gamma_{q}(\alpha)} \int_{\omega_{0}}^{T} \bigl(T-\sigma_{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\alpha-1}} h(s) \,d_{q,\omega}s-\frac{\mu_{2}}{\Gamma_{q}(\alpha)\Gamma_{p}(-\beta )} \\ &{}\times \int_{\omega_{0}}^{T} \int_{\omega_{0}}^{x}\bigl(T-\sigma_{p,\theta }(s) \bigr)_{p,\theta}^{\underline{-\beta-1}} \bigl(x-\sigma _{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\alpha-1}} h(s) \,d_{q,\omega}s \,d_{p,\theta}x, \end{aligned}$$
(2.4)
and the constants\(\mathbf{A}_{\eta},\mathbf{A}_{T},\mathbf{B}_{\eta },\mathbf{B}_{T}\), and Ω are defined by
$$\begin{aligned} &\mathbf{A}_{\eta}:=\lambda_{1}(\eta- \omega_{0})^{\alpha-1}+\frac {\lambda_{2}}{\Gamma_{p}(-\beta)} \int_{\omega_{0}}^{\eta}\bigl(\eta-\sigma_{p,\theta}(s) \bigr)_{p,\theta}^{\underline{-\beta-1}} (s-\omega_{0})^{\alpha-1} \,d_{p,\theta}s \\ &\phantom{\mathbf{A}_{\eta}}=(\eta-\omega_{0})^{\alpha-1} \biggl( \lambda_{1}+\frac{\lambda_{2}(\eta-\omega_{0})^{-\beta}\Gamma _{p}(\alpha)}{\Gamma_{p}(\alpha-\beta)}\biggr), \end{aligned}$$
(2.5)
$$\begin{aligned} &\mathbf{A}_{T}:= \mu_{1}(T- \omega_{0})^{\alpha-1}+\frac{\mu_{2}}{\Gamma _{p}(-\beta)} \int_{\omega_{0}}^{T}\bigl(T-\sigma_{p,\theta}(s) \bigr)_{p,\theta }^{\underline{-\beta-1}} (s-\omega_{0})^{\alpha-1} \,d_{p,\theta }s \\ &\phantom{\mathbf{A}_{\eta}}=(T-\omega_{0})^{\alpha-1} \biggl( \mu_{1}+\frac{\mu_{2}(T-\omega_{0})^{-\beta}\Gamma_{p}(\alpha)}{\Gamma _{p}(\alpha-\beta)}\biggr), \end{aligned}$$
(2.6)
$$\begin{aligned} &\mathbf{B}_{\eta}:= \lambda_{1}(\eta- \omega_{0})^{\alpha-2}+\frac {\lambda_{2}}{\Gamma_{p}(-\beta)} \int_{\omega_{0}}^{\eta}\bigl(\eta-\sigma_{p,\theta}(s) \bigr)_{p,\theta}^{\underline{-\beta-1}} (s-\omega_{0})^{\alpha-2} \,d_{p,\theta}s \\ &\phantom{\mathbf{A}_{\eta}}=(\eta-\omega_{0})^{\alpha-2} \biggl( \lambda_{1}+\frac{\lambda_{2}(\eta-\omega_{0})^{-\beta}\Gamma _{p}(\alpha-1)}{\Gamma_{p}(\alpha-\beta-1)}\biggr), \end{aligned}$$
(2.7)
$$\begin{aligned} &\mathbf{B}_{T}:= \mu_{1}(T- \omega_{0})^{\alpha-2}+\frac{\mu_{2}}{\Gamma _{p}(-\beta)} \int_{\omega_{0}}^{T}\bigl(T-\sigma_{p,\theta}(s) \bigr)_{p,\theta }^{\underline{-\beta-1}} (s-\omega_{0})^{\alpha-2} \,d_{p,\theta }s \\ &\phantom{\mathbf{A}_{\eta}}=(T-\omega_{0})^{\alpha-2} \biggl( \mu_{1}+\frac{\mu_{2}(T-\omega_{0})^{-\beta}\Gamma_{p}(\alpha -1)}{\Gamma_{p}(\alpha-\beta-1)}\biggr), \end{aligned}$$
(2.8)
$$\begin{aligned} &\Omega:= \mathbf{A}_{T}\mathbf{B}_{\eta}- \mathbf{A}_{\eta }\mathbf{B}_{T}. \end{aligned}$$
(2.9)

Proof

Taking fractional Hahn \(q,\omega\)-integral of order α for (2.1), we obtain
$$\begin{aligned} u(t)={} &C_{1}(t-\omega_{0})^{\alpha-1}+C_{2}(t- \omega_{0})^{\alpha -2}+{\mathcal{I}}^{\alpha}_{q,\omega}h(t) \\ = {}&C_{1}(t-\omega_{0})^{\alpha-1}+C_{2}(t- \omega_{0})^{\alpha-2}+\frac {1}{\Gamma_{q}(\alpha)} \int_{\omega_{0}}^{t}\bigl(t-\sigma_{q,\omega }(s) \bigr)_{q,\omega}^{\underline{\alpha-1}} h(x) \,d_{q,\omega }s. \end{aligned}$$
(2.10)
Then we take fractional Hahn \(p,\theta\)-difference of order β for (2.10) to get
$$\begin{aligned} &D_{p,\theta}^{\beta}u(t) \\ &\quad =\frac{1}{\Gamma_{q}(\alpha)} \int_{\omega _{0}}^{t}\bigl(t-\sigma_{q,\omega}(s) \bigr)_{q,\omega}^{\underline {\alpha-1}} \bigl[C_{1}(s- \omega_{0})^{\alpha-1}+C_{2}(s-\omega _{0})^{\alpha-2}\bigr] \,d_{q,\omega}s \\ &\qquad{}+\frac{1}{\Gamma_{q}(\alpha)\Gamma_{p}(-\beta)} \int_{\omega_{0}}^{t} \int_{\omega_{0}}^{x}\bigl(t-\sigma_{q,\omega }(x) \bigr)_{p,\theta}^{\underline{-\beta-1}}\bigl(x-\sigma _{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\alpha-1}} h(s) \,d_{q,\omega}s \,d_{p,\theta}x. \end{aligned}$$
(2.11)
Substituting \(t=\eta\) into (2.10) and (2.11) and employing the first condition of (2.1), we have
$$\begin{aligned} {\mathbf{A}}_{\eta}C_{1}+{\mathbf{B}}_{\eta}C_{2} = \Phi_{\eta}[\phi_{1},h]. \end{aligned}$$
(2.12)
Taking \(t=T\) into (2.10) and (2.11) and employing the second condition of (2.1), we have
$$\begin{aligned} {\mathbf{A}}_{T }C_{1}+{ \mathbf{B}}_{T }C_{2} = \Phi_{T}[ \phi_{2},h]. \end{aligned}$$
(2.13)
The constants \(C_{1}\) and \(C_{2}\) are revealed from solving the system of equations (2.12)–(2.13) as
$$\begin{aligned} C_{1}= \frac{{\mathbf{B}}_{\eta} {\Phi_{T} } - {\mathbf{B}}_{T } {\Phi}_{\eta} }{\Omega} \quad\text{and}\quad C_{2}= \frac{ {\mathbf{A}}_{T } {\Phi}_{\eta} - {\mathbf{A}}_{\eta} {\Phi_{T} } }{\Omega}. \end{aligned}$$

Substituting the constants \(C_{1},C_{2}\) into (2.10), we obtain (2.2).

On the other hand, it is easy to show that (2.2) is the solution of problem (2.1). By taking fractional Hahn \(q,\omega\)-difference of order α for (2.2), we obtain (2.1). This completes the proof. □

We next introduce Schauder’s fixed point theorem used to prove the existence of a solution of problem (1.7).

Lemma 2.7

([36] Arzelá–Ascoli theorem)

A set of functions in\(C[a,b]\)with the sup norm is relatively compact if and only if it is uniformly bounded and equicontinuous on\([a,b]\).

Lemma 2.8

([36])

If a set is closed and relatively compact, then it is compact.

Lemma 2.9

([37] Schauder’s fixed point theorem)

Let\((D,d)\)be a complete metric space, Ube a closed convex subset ofD, and\(T: D\rightarrow D\)be the map such that the set\(Tu:u\in U\)is relatively compact inD. Then the operatorThas at least one fixed point\(u^{*}\in U\): \(Tu^{*}=u^{*}\).

3 Existence and uniqueness result

In this section, we consider the existence and uniqueness result for problem (1.7). Let \({\mathcal{C}}=C(I_{q,\omega}^{T}, {\mathbb{R}})\) be a Banach space of all function u with the norm defined by
$$\Vert u \Vert _{\mathcal{C}}=\max_{t\in I_{q,\omega}^{T}}\bigl\{ \bigl\vert u(t) \bigr\vert , \bigl\vert D_{m,\chi}u(t) \bigr\vert \bigr\} , $$
where \(\alpha\in(1,2], \beta,\gamma\in(0,1]\), \(\omega>0, p,q,r\in(0,1), p=q^{a}, r=q^{b}, m=q^{c}, a,b,c \in{\mathbb{N}}\), \(\theta =\omega(\frac{1-p}{1-q} ), \phi=\omega(\frac {1-r}{1-q} ), \chi=\omega(\frac{1-m}{1-q} )\); \(\lambda_{1},\lambda_{2},\mu_{1},\mu_{2} \in{{\mathbb{R}}^{+}}\). Define an operator \({\mathcal{F}}:{\mathcal{C}}\rightarrow{\mathcal{C}}\) by
$$\begin{aligned} ({\mathcal{F}}u) (t):= {}&\frac{1}{\Gamma_{q}(\alpha)} \int_{\omega _{0}}^{t} \bigl(t-\sigma_{q,\omega}(s) \bigr)_{q,\omega }^{\underline{\alpha-1}} F\bigl( s,u(s),\Psi^{\gamma}_{r,\phi }u(s),D^{\nu}_{m,\chi}u(s) \bigr) \,d_{q,\omega}s \\ &{}-\frac{(t-\omega_{0})^{\alpha-1}}{\Omega} \bigl\{ \mathbf{B}_{T}{\Phi _{\eta}^{*}[\phi_{1},F_{u}]} -{\mathbf{B}}_{\eta}{ \Phi_{T}^{*}[\phi_{2},F_{u}]} \bigr\} \\ &{}+\frac{(t-\omega_{0})^{\alpha-2}}{\Omega} \bigl\{ \mathbf{A}_{T}{\Phi _{\eta}^{*}[\phi_{1},F_{u}]} -{\mathbf{A}}_{\eta}{ \Phi_{T}^{*}[\phi_{2},F_{u}]} \bigr\} , \end{aligned}$$
(3.1)
where the functionals \({\Phi_{\eta}^{*}[\phi_{1},F_{u}]}, {\Phi _{T}^{*}[\phi_{2},F_{u}]}\) are defined by
$$\begin{aligned} {\Phi_{\eta}^{*}[\phi_{1},F_{u}]}:= {}& \phi_{1}(u)- \frac{\lambda_{1}}{\Gamma_{q}(\alpha)} \int_{\omega_{0}}^{\eta} \bigl(\eta-\sigma_{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\alpha -1}} F\bigl( s,u(s),\Psi^{\gamma}_{r,\phi}u(s),D^{\nu}_{m,\chi }u(s) \bigr) \,d_{q,\omega}s \\ &{}-\frac{\lambda_{2}}{\Gamma_{q}(\alpha)\Gamma_{p}(-\beta)} \int_{\omega _{0}}^{\eta} \int_{\omega_{0}}^{x}\bigl(\eta-\sigma_{p,\theta}(s) \bigr)_{p,\theta}^{\underline{-\beta-1}} \bigl(x-\sigma _{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\alpha-1}} \\ &{}\times F\bigl( s,u(s),\Psi^{\gamma}_{r,\phi}u(s),D^{\nu}_{m,\chi }u(s) \bigr) \,d_{q,\omega}s \,d_{p,\theta}x, \end{aligned}$$
(3.2)
$$\begin{aligned} {\Phi_{T}^{*}[\phi_{2},F_{u}]}:= {}& \phi_{2}(u)- \frac{\mu_{1}}{\Gamma_{q}(\alpha)} \int_{\omega_{0}}^{T} \bigl(T-\sigma_{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\alpha-1}} F\bigl( s,u(s),\Psi^{\gamma}_{r,\phi}u(s),D^{\nu}_{m,\chi}u(s) \bigr) \,d_{q,\omega}s \\ &{}-\frac{\mu_{2}}{\Gamma_{q}(\alpha)\Gamma_{p}(-\beta)} \int_{\omega _{0}}^{T} \int_{\omega_{0}}^{x}\bigl(T-\sigma_{p,\theta}(s) \bigr)_{p,\theta}^{\underline{-\beta-1}} \bigl(x-\sigma_{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\alpha-1}} \\ &{} \times F\bigl( s,u(s),\Psi^{\gamma}_{r,\phi}u(s),D^{\nu}_{m,\chi }u(s) \bigr) \,d_{q,\omega}s \,d_{p,\theta}x, \end{aligned}$$
(3.3)
and the constants \(\mathbf{A}_{\eta},\mathbf{A}_{T},\mathbf{B}_{\eta },\mathbf{B}_{T},\Omega\) are defined by (2.5)–(2.9), respectively.

We find that problem (1.7) has a solution if and only if the operator \(\mathcal{F}\) has a fixed point.

Theorem 3.1

Assume that\(F:I_{q,\omega}^{T}\times{\mathbb{R}}\times{\mathbb {R}}\times{\mathbb{R}} \rightarrow{\mathbb{R}}\)is continuous, \(\varphi: I_{q,\omega}^{T}\times I_{q,\omega}^{T}\rightarrow[0,\infty )\)is continuous with\(\varphi_{0}=\max\{\varphi(t,s):(t,s)\in I_{q,\omega}^{T}\times I_{q,\omega}^{T}\}\). In addition, suppose that the following conditions hold:
\((H_{1})\)
There exist constants\(\ell_{1},\ell_{2},\ell_{3}>0\)such that, for each\(t\in I^{T}_{q,\omega}\)and\(u,v\in{\mathbb{R}}\),
$$\begin{aligned} &\bigl\vert F\bigl( t,u,\Psi^{\gamma}_{r,\phi}u,D^{\nu}_{m,\chi}u \bigr)-F\bigl( t,v,\Psi^{\gamma}_{r,\phi}v,D^{\nu}_{m,\chi}v \bigr) \bigr\vert \\ &\quad \leq\ell_{1} \vert u-v \vert +\ell_{2} \bigl\vert \Psi^{\gamma}_{r,\phi }u-\Psi^{\gamma}_{r,\phi} \bigr\vert +\ell_{3} \bigl\vert D^{\nu}_{m,\chi}u-D^{\nu}_{m,\chi}v \bigr\vert . \end{aligned}$$
\((H_{2})\)
There exist constants\(\vartheta_{1},\vartheta_{2}>0\)such that, for each\(u, v\in{\mathcal{C}}\),
$$\bigl\vert \phi_{1}(u)-\phi_{1}(v) \bigr\vert \leq \vartheta_{1} \Vert u-v \Vert _{\mathcal{C}}\quad \textit{and}\quad \bigl\vert \phi_{2}(u)-\phi_{2}(v) \bigr\vert \leq \vartheta_{2} \Vert u-v \Vert _{\mathcal{C}}. $$
\((H_{3})\)

\({\mathcal{O}} < 1\),

where
$$\begin{aligned} &{\mathcal{L}}:= \ell_{1}+\ell_{2}\varphi_{0} \frac{(T-\omega _{0})^{\gamma}}{\Gamma_{r}(\gamma+1)}, \end{aligned}$$
(3.4)
$$\begin{aligned} &\Theta_{1}:= \biggl\{ \frac{\lambda_{1}(\eta-\omega_{0})^{\alpha}}{\Gamma_{q}(\alpha+1)} + \frac{\lambda_{2}(\eta-\omega_{0})^{\alpha-\beta}\Gamma_{q}(-\beta )}{\Gamma_{q}(\alpha-\beta+1)\Gamma_{p}(-\beta)}\biggr\} , \end{aligned}$$
(3.5)
$$\begin{aligned} &\Theta_{2}:= \biggl\{ \frac{\mu_{1}(T-\omega_{0})^{\alpha}}{\Gamma_{q}(\alpha+1)} + \frac{\mu_{2}(T-\omega_{0})^{\alpha-\beta}\Gamma_{q}(-\beta)}{\Gamma _{q}(\alpha-\beta+1)\Gamma_{p}(-\beta)}\biggr\} , \end{aligned}$$
(3.6)
$$\begin{aligned} &{\mathcal{O}}:= \frac{({\mathcal{L}}+\ell_{3})(T-\omega_{0})^{\alpha}}{\Gamma_{q}(\alpha+1)}+\frac{[ \vartheta_{1}+ ( {\mathcal{L}}+\ell_{3}) \Theta_{1} ] }{ \vert \Omega \vert } \bigl\{ \vert \mathbf{B}_{T} \vert (T-\omega_{0})^{\alpha-1} + \vert {\mathbf {A}}_{T} \vert (T-\omega_{0})^{\alpha-2} \bigr\} \\ &\phantom{{\mathcal{O}}:=}{}+\frac{[ \vartheta_{2}+ ( {\mathcal{L}}+\ell_{3}) \Theta_{2} ] }{ \vert \Omega \vert } \bigl\{ \vert \mathbf{B}_{\eta} \vert (T-\omega_{0})^{\alpha-1} + \vert {\mathbf {A}}_{\eta} \vert (T-\omega_{0})^{\alpha-2} \bigr\} . \end{aligned}$$
(3.7)

Then problem (1.7) has a unique solution in\(I^{T}_{q,\omega}\).

Proof

To show that F is a contraction, we denote that
$${\mathcal{H}} \vert u-v \vert (t):= \bigl\vert F\bigl( t,u(t), \Psi^{\gamma}_{r,\phi }u(t),D^{\nu}_{m,\chi}u(t) \bigr)-F\bigl( t,v(t),\Psi^{\gamma}_{r,\phi}v(t),D^{\nu}_{m,\chi}v(t) \bigr) \bigr\vert $$
for each \(t\in I_{q,\omega}^{T}\) and \(u,v\in{\mathcal{C}}\). We find that
$$\begin{aligned} & \bigl\vert {\Phi_{\eta}^{*}[\phi_{1},F_{u}]} -{ \Phi_{\eta}^{*}[\phi_{1},F_{v}]} \bigr\vert \\ &\quad\leq \bigl\vert \phi_{1}(u)-\phi_{1}(v) \bigr\vert + \frac{\lambda_{1}}{\Gamma_{q}(\alpha)} \int_{\omega_{0}}^{\eta} \bigl(\eta-\sigma_{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\alpha -1}} {\mathcal{H}} \vert u-v \vert (s) \,d_{q,\omega}s \\ &\qquad{}+\frac{\lambda_{2}}{\Gamma_{q}(\alpha)\Gamma_{p}(-\beta)} \int_{\omega _{0}}^{\eta} \int_{\omega_{0}}^{x}\bigl(\eta-\sigma_{p,\theta}(s) \bigr)_{p,\theta}^{\underline{-\beta-1}} \bigl(x-\sigma _{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\alpha-1}}{\mathcal {H}} \vert u-v \vert (s) \,d_{q,\omega}s \,d_{p,\theta}x \\ &\quad\leq\vartheta_{1} \Vert u-v \Vert _{\mathcal{C}} + \bigl( \ell_{1} \vert u-v \vert +\ell_{2} \bigl\vert \Psi^{\gamma}_{r,\phi }u-\Psi^{\gamma}_{r,\phi} \bigr\vert +\ell_{3} \bigl\vert D^{\nu}_{m,\chi}u-D^{\nu}_{m,\chi}v \bigr\vert \bigr) \\ &\qquad{}\times \biggl\vert \frac{\lambda_{1}(\eta-\omega_{0})^{\alpha}}{\Gamma_{q}(\alpha+1)} + \frac{\lambda_{2}(\eta-\omega_{0})^{\alpha-\beta}\Gamma_{q}(-\beta )}{\Gamma_{q}(\alpha-\beta+1)\Gamma_{p}(-\beta)} \biggr\vert \\ &\quad \leq\vartheta_{1} \Vert u-v \Vert _{\mathcal{C}} + \biggl( \biggl[ \ell_{1}+\ell_{2}\varphi_{0} \frac{(T-\omega_{0})^{\gamma }}{\Gamma_{r}(\gamma+1)} \biggr] \vert u-v \vert +\ell_{3} \bigl\vert D^{\nu}_{m,\chi}u-D^{\nu}_{m,\chi}v \bigr\vert \biggr) \Theta _{1} \\ &\quad \leq\bigl[ \vartheta_{1}+ ( {\mathcal{L}}+ \ell_{3}) \Theta_{1} \bigr] \Vert u-v \Vert _{\mathcal{C}}. \end{aligned}$$
Similarly,
$$\begin{aligned} \bigl\vert {\Phi_{T}^{*}[\phi_{2},F_{u}]} -{ \Phi_{T}^{*}[\phi_{2},F_{v}]} \bigr\vert \leq \bigl[ \vartheta_{2}+ ( {\mathcal{L}}+\ell_{3}) \Theta_{2} \bigr] \Vert u-v \Vert _{\mathcal{C}}. \end{aligned}$$
Next, we have
$$\begin{aligned} & \bigl\vert ({\mathcal{F}}u) (t)-({\mathcal{F}}v) (t) \bigr\vert \\ &\quad \leq\frac{1}{\Gamma_{q}(\alpha)} \int_{\omega_{0}}^{T} \bigl(T-\sigma_{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\alpha-1}} {\mathcal{H}} \vert u-v \vert (s) \,d_{q,\omega}s \\ &\qquad{}+\frac{(T-\omega_{0})^{\alpha-1}}{ \vert \Omega \vert } \bigl\{ \vert \mathbf {B}_{T} \vert \bigl\vert {\Phi_{\eta}^{*}[\phi_{1},F_{u}]} -{\Phi_{\eta}^{*}[\phi _{1},F_{v}]} \bigr\vert + \vert {\mathbf{B}}_{\eta} \vert \bigl\vert {\Phi_{T}^{*}[ \phi _{2},F_{u}]} -{\Phi_{T}^{*}[ \phi_{2},F_{v}]} \bigr\vert \bigr\} \\ &\qquad{}+\frac{(T-\omega_{0})^{\alpha-2}}{ \vert \Omega \vert } \bigl\{ \vert \mathbf {A}_{T} \vert \bigl\vert {\Phi_{\eta}^{*}[\phi_{1},F_{u}]} -{\Phi_{\eta}^{*}[\phi _{1},F_{v}]} \bigr\vert + \vert {\mathbf{A}}_{\eta} \vert \bigl\vert {\Phi_{T}^{*}[ \phi _{2},F_{u}]} -{\Phi_{T}^{*}[ \phi_{2},F_{v}]} \bigr\vert \bigr\} \\ &\quad\leq\biggl[\frac{({\mathcal{L}}+\ell_{3})(T-\omega_{0})^{\alpha}}{\Gamma_{q}(\alpha+1)}+\frac{[ \vartheta_{1}+ ( {\mathcal{L}}+\ell_{3}) \Theta_{1} ] }{\Omega} \bigl\{ \vert \mathbf{B}_{T} \vert (T-\omega_{0})^{\alpha-1} + \vert {\mathbf {A}}_{T} \vert (T-\omega_{0})^{\alpha-2} \bigr\} \\ &\qquad{}+\frac{[ \vartheta_{2}+ ( {\mathcal{L}}+\ell_{3}) \Theta_{2} ] }{ \vert \Omega \vert } \bigl\{ \vert \mathbf{B}_{\eta} \vert (T-\omega_{0})^{\alpha-1} + \vert {\mathbf {A}}_{\eta} \vert (T-\omega_{0})^{\alpha-2} \bigr\} \biggr] \Vert u-v \Vert _{\mathcal {C}} \\ &\quad= {\mathcal{O}} \Vert u-v \Vert _{\mathcal{C}}. \end{aligned}$$
(3.8)
We take fractional Hahn \(m,\chi\)-difference of order γ for (3.1) to obtain
$$\begin{aligned} & \bigl(D_{m,\chi}^{\gamma}{\mathcal{F}}u\bigr) (t) \\ &\quad=\frac{1}{\Gamma_{m}(-\gamma)\Gamma_{q}(\alpha)} \int_{\omega _{0}}^{t} \int_{\omega_{0}}^{x} \bigl(t-\sigma_{m,\chi}(x) \bigr)_{m,\chi}^{\underline{-\gamma-1}} \bigl(x-\sigma_{q,\omega}(s) \bigr)_{q,\omega}^{\underline {\alpha-1}} \\ &\qquad{}\times F\bigl( s,u(s),\Psi^{\gamma}_{r,\phi}u(s),D^{\nu}_{m,\chi}u(s) \bigr) \,d_{q,\omega}s \,d_{m,\chi}x \\ &\qquad{}-\frac{1}{\Omega\Gamma_{m}(-\gamma)} \bigl\{ \mathbf{B}_{T}{\Phi _{\eta}^{*}[\phi_{1},F]} -{\mathbf{B}}_{\eta}{ \Phi_{T}^{*}[\phi_{2},F]} \bigr\} \int_{\omega_{0}}^{t} \bigl(t-\sigma_{m,\chi}(s) \bigr)_{m,\chi}^{\underline{-\gamma-1}} (s-\omega_{0})^{\alpha-1} \,d_{m,\chi}s \\ &\qquad{}+\frac{1}{\Omega\Gamma_{m}(-\gamma)} \bigl\{ \mathbf{A}_{T}{\Phi _{\eta}^{*}[\phi_{1},F]} -{\mathbf{A}}_{\eta}{ \Phi_{T}^{*}[\phi_{2},F]} \bigr\} \\ &\qquad{}\times\int_{\omega_{0}}^{t} \bigl(t-\sigma_{m,\chi}(s) \bigr)_{m,\chi}^{\underline{-\gamma-1}} (s-\omega_{0})^{\alpha-2} \,d_{m,\chi}s. \end{aligned}$$
(3.9)
Using the same argument as above, we have
$$\begin{aligned} \bigl\vert \bigl(D_{m,\chi}^{\gamma}{\mathcal{F}}u \bigr) (t) -\bigl(D_{m,\chi}^{\gamma}{\mathcal{F}}v\bigr) (t) \bigr\vert < {\mathcal{O}} \Vert u-v \Vert _{\mathcal{C}}. \end{aligned}$$
(3.10)
(3.8) and (3.10) imply that
$$\Vert {\mathcal{F}}u-{\mathcal{F}}v \Vert _{\mathcal{C}}\leq{\mathcal{O}} \Vert u-v \Vert _{\mathcal{C}}. $$

By \((H_{3})\) we can conclude that \({\mathcal{F}}\) is a contraction. Therefore, by using the Banach fixed point theorem, \({\mathcal{F}}\) has a fixed point which is a unique solution of problem (1.7) on \(I^{T}_{q,\omega}\). □

4 Existence of at least one solution

In this section, we present the existence of a solution to (1.7) by using Schauder’s fixed point theorem.

Theorem 4.1

Suppose that\((H_{1})\)and\((H_{3})\)hold. Then problem (1.7) has at least one solution on\(I^{T}_{q,\omega}\).

Proof

We divide the proof into three steps as follows.

Step I. Verify that \({\mathcal{F}}\) maps bounded sets into bounded sets in \(B_{R} = \{u \in \mathcal{C}: \Vert u \Vert _{\mathcal{C}} \leq R\}\). We consider \(B_{R}=\{u\in C(I^{T}_{q,\omega}): \Vert u \Vert _{\mathcal{C}}\leq R\}\). Set \(\max_{t\in I^{T}_{q,\omega}} \vert F(t,0,0,0) \vert =K\), \(\sup_{u\in {\mathcal{C}}} \vert \phi_{1}(u) \vert = M_{1}, \sup_{u\in{\mathcal{C}}} \vert \phi _{2}(u) \vert = M_{2}\) and choose a constant
$$ R\geq\frac{ M_{1}+M_{2}+\frac{K}{ \vert \Omega \vert } [ (T-\omega_{0})^{\alpha-1}( \vert \mathbf{B}_{T} \vert \Theta_{1}+ \vert \mathbf {B}_{\eta} \vert \Theta_{2} ) + (T-\omega_{0})^{\alpha-2}( \vert \mathbf{A}_{T} \vert \Theta_{1}+ \vert \mathbf{A}_{\eta} \vert \Theta_{2} ) ] }{1-{\mathcal{O}}}. $$
(4.1)
Denote that
$$\bigl\vert \mathcal{S}(t,u,0) \bigr\vert = \bigl\vert F\bigl(t,u(t), \Psi_{r,\phi }^{\gamma}u(t),D_{m,\chi}^{\gamma}u(t) \bigr)-F(t,0,0,0) \bigr\vert + \bigl\vert F(t,0,0,0) \bigr\vert . $$
For each \(t\in I_{q,\omega}^{T}\) and \(u\in B_{R}\), we obtain
$$\begin{aligned} & \bigl\vert {\Phi_{\eta}^{*}[\phi_{1},F_{u}]} \bigr\vert \\ &\quad \leq M_{1}+ \frac{\lambda_{1}}{\Gamma_{q}(\alpha)} \int_{\omega_{0}}^{\eta} \bigl(\eta-\sigma_{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\alpha -1}} \bigl\vert \mathcal{S}(s,u,0) \bigr\vert d_{q,\omega}s \\ &\qquad{}+\frac{\lambda_{2}}{\Gamma_{q}(\alpha)\Gamma_{p}(-\beta)} \int_{\omega _{0}}^{\eta} \int_{\omega_{0}}^{x}\bigl(\eta-\sigma_{p,\theta}(s) \bigr)_{p,\theta}^{\underline{-\beta-1}} \bigl(x-\sigma _{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\alpha-1}} \bigl\vert \mathcal{S}(s,u,0) \bigr\vert d_{q,\omega}s \,d_{p,\theta}x \\ &\quad \leq M_{1}+ \biggl( \biggl[ \ell_{1}+ \ell_{2}\varphi_{0}\frac{(T-\omega_{0})^{\gamma }}{\Gamma_{r}(\gamma+1)} \biggr] \vert u \vert +\ell_{3} \bigl\vert D^{\nu}_{m,\chi}u \bigr\vert +K\biggr) \Theta_{1} \\ &\quad \leq\vartheta_{1}+K\Theta_{1}+ ( { \mathcal{L}}+\ell_{3}) \Theta_{1} \Vert u \Vert _{\mathcal {C}} \\ &\quad \leq\vartheta_{1}+K\Theta_{1}+ ( { \mathcal{L}}+\ell_{3}) \Theta_{1} R. \end{aligned}$$
(4.2)
Similarly,
$$\begin{aligned} \bigl\vert {\Phi_{T}^{*}[\phi_{2},F_{u}]} \bigr\vert \leq M_{2}+K\Theta_{2}+ ( {\mathcal{L}}+ \ell_{3}) \Theta_{2} R. \end{aligned}$$
(4.3)
From (4.2)–(4.3), we find that
$$\begin{aligned} \bigl\vert ({\mathcal{F}}u) (t) \bigr\vert \leq {}&R+M_{1}+M_{2} +\frac{K}{ \vert \Omega \vert } \\ &{}\times\bigl[ (T-\omega_{0})^{\alpha-1}\bigl( \vert \mathbf{B}_{T} \vert \Theta_{1}+ \vert \mathbf {B}_{\eta} \vert \Theta_{2} \bigr)+ (T-\omega_{0})^{\alpha-2} \bigl( \vert \mathbf{A}_{T} \vert \Theta_{1}+ \vert \mathbf{A}_{\eta} \vert \Theta_{2} \bigr) \bigr] \\ \leq{}&R. \end{aligned}$$
(4.4)
In addition, we obtain
$$\begin{aligned} \bigl\vert \bigl( D^{\gamma}_{m,\chi}{\mathcal{F}}u \bigr) (t) \bigr\vert < R. \end{aligned}$$
(4.5)

Therefore, \(\Vert {\mathcal{F}}u \Vert _{\mathcal{C}}\leq R\), which implies that \({\mathcal{F}}\) is uniformly bounded.

Step II. We can conclude that the operator \({\mathcal{F}}\) is continuous on \(B_{R}\) by the continuity of F.

Step III. In this step, we examine that \({\mathcal {F}}\) is equicontinuous on \(B_{R}\). For any \(t_{1},t_{2}\in I^{T}_{q,\omega}\) with \(t_{1}< t_{2}\), we have
$$\begin{aligned} & \bigl\vert ({\mathcal{F}}u) (t_{2})- ({ \mathcal{F}}u) (t_{1}) \bigr\vert \\ &\quad \leq\frac{ \Vert F \Vert }{\Gamma_{q}(\alpha+1)} \bigl\vert (t_{2}- \omega_{0})^{\alpha}-(t_{1}-\omega_{0})^{\alpha}\bigr\vert \\ &\qquad{}+\frac{ \vert (t_{2}-\omega_{0})^{\alpha-1} -(t_{1}-\omega_{0})^{\alpha -1} \vert }{ \vert \Omega \vert } \bigl\{ \vert \mathbf{B}_{T} \vert {\Phi_{\eta}^{*}[\phi _{1},F]} + \vert {\mathbf{B}}_{\eta} \vert {\Phi_{T}^{*}[\phi_{2},F]} \bigr\} \\ &\qquad{}+\frac{ \vert (t_{2}-\omega_{0})^{\alpha-2} -(t_{1}-\omega_{0})^{\alpha -2} \vert }{ \vert \Omega \vert } \bigl\{ \vert \mathbf{A}_{T} \vert {\Phi_{\eta}^{*}[\phi _{1},F]} + \vert {\mathbf{A}}_{\eta} \vert {\Phi_{T}^{*}[\phi_{2},F]} \bigr\} \end{aligned}$$
(4.6)
and
$$\begin{aligned} & \bigl\vert \bigl(D_{m,\chi}^{\gamma}{ \mathcal{F}}u\bigr) (t_{1}) -\bigl(D_{m,\chi}^{\gamma}{ \mathcal{F}}u\bigr) (t_{2}) \bigr\vert \\ &\quad\leq\frac{ \Vert F \Vert \Gamma_{q}(-\gamma)}{\Gamma_{m}(-\gamma)\Gamma _{q}(\alpha-\gamma+1)} \bigl\vert (t_{2}- \omega_{0})^{\alpha-\gamma} -(t_{1}-\omega_{0})^{\alpha-\gamma} \bigr\vert \\ &\qquad{}+\frac{\Gamma_{q}(\alpha)\Gamma_{q}(-\gamma)}{ \vert \Omega \vert \Gamma _{m}(-\gamma)\Gamma_{q}(\alpha-\gamma)} \bigl\{ \vert \mathbf{B}_{T} \vert {\Phi _{\eta}^{*}[\phi_{1},F]} + \vert {\mathbf{B}}_{\eta} \vert {\Phi_{T}^{*}[\phi_{2},F]} \bigr\} \\ &\qquad{}\times\bigl\vert (t_{2}-\omega_{0})^{\alpha-\gamma-1}-(t_{1}-\omega _{0})^{\alpha-\gamma-1} \bigr\vert \\ &\qquad{}+\frac{\Gamma_{q}(\alpha-1)\Gamma_{q}(-\gamma)}{ \vert \Omega \vert \Gamma _{m}(-\gamma)\Gamma_{q}(\alpha-\gamma-1)} \bigl\{ \vert \mathbf{A}_{T} \vert {\Phi _{\eta}^{*}[\phi_{1},F]} + \vert {\mathbf{A}}_{\eta} \vert {\Phi_{T}^{*}[\phi_{2},F]} \bigr\} \\ &\qquad{}\times \bigl\vert (t_{2}-\omega_{0})^{\alpha-\gamma-2}-(t_{1}-\omega _{0})^{\alpha-\gamma-2} \bigr\vert . \end{aligned}$$
(4.7)

We observe that the right-hand side of (4.7) tends to be zero when \(\vert t_{2}-t_{1} \vert \rightarrow0\). So \({\mathcal{F}}\) is relatively compact on \(B_{R}\).

This implies that the set \({\mathcal{F}}(B_{R})\) is an equicontinuous set. As a consequence of Steps I to III together with the Arzelá–Ascoli theorem, we get that \(\mathcal{F}:{\mathcal{C}}\rightarrow{\mathcal {C}}\) is completely continuous. By Schauder’s fixed point theorem, we can conclude that problem (1.7) has at least one solution. □

5 Example

Consider the following boundary value problem for fractional Hahn difference equation:
$$\begin{aligned} & D^{\frac{4}{3}}_{\frac{1}{2},\frac{2}{3}}u(t)=\frac{1}{( 1000e^{3}+t^{2})(1+ \vert u(t) \vert )} \bigl[ e^{-3t}\bigl( u^{2}+2 \vert u \vert \bigr) + e^{-(\pi+\sin^{2}\pi t)} \bigl\vert \Psi _{\frac{1}{8},\frac{7}{6}}^{\frac{1}{2}}u(t) \bigr\vert \\ &\phantom{ D^{\frac{4}{3}}_{\frac{1}{2},\frac{2}{3}}u(t)=}{}+ e^{-(1+\cos^{2}\pi t)} \bigl\vert D^{\frac{2}{5}}_{\frac{1}{2},\frac {2}{3}}u(t) \bigr\vert \bigr], \quad t\in\biggl[\frac{4}{3},10 \biggr]_{\frac{1}{2},\frac{2}{3}}, \\ &\frac{1}{10e} u\biggl(\frac{15}{8}\biggr)+100e D_{\frac {1}{4},1}^{\frac{3}{4}}u \biggl(\frac{15}{8}\biggr)= \sum_{i=0}^{\infty} \frac{C_{i} \vert u(t_{i}) \vert }{1+ \vert u(t_{i}) \vert },\quad t_{i} \in10\biggl( \frac{1}{2} \biggr)^{i} + \frac{2}{3}[i]_{\frac{1}{2}}, \\ &200\pi u(10)+\frac{1}{10 \pi} D_{\frac{1}{4},1}^{\frac {3}{4}}u(10)= \sum_{i=0}^{\infty}\frac {D_{i} \vert u(t_{i}) \vert }{1+ \vert u(t_{i}) \vert },\quad t_{i} \in10\biggl( \frac{1}{2}\biggr)^{i} + \frac{2}{3}[i]_{\frac{1}{2}}, \end{aligned}$$
(5.1)
where \(\varphi(t,s)=\frac{e^{-2 \vert s-t \vert }}{(t+10)^{3}} \) and \(C_{i},D_{i}\) are given constants with \(\frac{1}{500t^{3}}\leq\sum_{i=0}^{\infty }C_{i}\leq\frac{\pi}{500t^{3}}\) and \(\frac{1}{1000t^{2}}\leq\sum_{i=0}^{\infty}D_{i}\leq\frac{\pi}{1000t^{2}}\).

We provide \(\alpha=\frac{4}{3}, \beta=\frac{3}{4}, \gamma=\frac {1}{2}, \nu=\frac{2}{5}\),\(q=\frac{1}{2}, p=\frac{1}{4}, r=\frac {1}{8}, m=\frac{1}{2}\), \(\omega=\frac{2}{3}, \theta=1, \phi=\frac {7}{6}, \chi=\frac{2}{3}, \omega_{0}=\frac{\omega}{1-q}=\frac {4}{3}, T=10, \eta=10(\frac{1}{2})^{4}+\frac{2}{3}[4]_{\frac {1}{2}}=\frac{15}{8}\), \(\lambda_{1}=\frac{1}{10e}, \lambda_{2}=100e, \mu_{1}=200\pi, \mu_{2}=\frac{1}{10 \pi}\), \(\phi_{1}(u)=\sum_{i=0}^{\infty}\frac{C_{i} \vert u(t_{i}) \vert }{1+ \vert u(t_{i}) \vert }, \phi_{2}=\sum_{i=0}^{\infty}\frac{D_{i} \vert u(t_{i}) \vert }{1+ \vert u(t_{i}) \vert } \), and \(F( t,u(t),\Psi^{\gamma}_{r,\phi}u(t),D^{\nu}_{m,\chi }u(t)) = \frac{1}{( 1000e^{3}+t^{2})(1+ \vert u(t) \vert )} \times [ e^{-3t}( u^{2}+2 \vert u \vert ) + e^{-(\pi+\sin^{2}\pi t)} \vert \Psi _{\frac{1}{8},\frac{7}{6}}^{\frac{1}{2}}u(t) \vert + e^{-(1+\cos ^{2}\pi t)} \vert D^{\frac{2}{5}}_{\frac{1}{2},\frac{2}{3}}u(t) \vert ]\).

We can find that
$$\begin{aligned} &\vert {\mathbf{A}}_{\eta} \vert =173.1815,\qquad \vert { \mathbf{A}}_{T} \vert =1290.6198, \qquad \vert {\mathbf{B}}_{\eta} \vert =1312.8836, \\ & \vert {\mathbf{B}}_{T} \vert =148.9158\quad \mbox{and}\quad \vert \Omega \vert =1.7202\times10^{6}. \end{aligned}$$
For all \(t\in[\frac{4}{3},10]_{\frac {1}{2},\frac{2}{3}} \) and \(u, v\in{\mathbb{R}}\), we have
$$\begin{aligned} & \bigl\vert F\bigl( t,u,\Psi^{\gamma}_{r,\phi}u,D^{\nu}_{m,\chi}u \bigr)- F\bigl( t,v,\Psi^{\gamma}_{r,\phi}v,D^{\nu}_{m,\chi}v \bigr) \bigr\vert \\ &\quad\leq \frac{1}{e^{4}( 1000e^{3}+\frac{16}{9}) } \vert u-v \vert +\frac{1}{e^{\pi}( 1000e^{3}+\frac{16}{9}) } \bigl\vert \Psi ^{\gamma}_{r,\phi}u-\Psi^{\gamma}_{r,\phi}v \bigr\vert \\ &\qquad{}+\frac{1}{e( 1000e^{3}+\frac{16}{9}) } \bigl\vert D^{\nu}_{m,\chi}u-D^{\nu}_{m,\chi}v \bigr\vert . \end{aligned}$$
Thus, \((H_{1})\) holds with \(\ell_{1}=9.118\times10^{-7}, \ell _{2}=2.1513\times10^{-6} \), and \(\ell_{3}=0.0000183\).
For all \(u, v\in{\mathcal{C}}\),
$$\begin{aligned} &\bigl\vert \phi_{1}(u)-\phi_{1}(v) \bigr\vert = \frac{\pi}{500t^{3}} \Vert u-v \Vert _{\mathcal{C}}, \\ & \bigl\vert \phi_{2}(u)-\phi_{2}(v) \bigr\vert = \frac{e}{1000t^{2}} \Vert u-v \Vert _{\mathcal{C}}. \end{aligned}$$
So, \((H_{2})\) holds with \(\vartheta_{1}= 0.00265 \) and \(\vartheta_{2}=0.00153\).
Also, we find that
$${\mathcal{L}} = 9.163\times10^{-7},\qquad \Theta_{1}=440.682,\qquad \Theta_{2}=248.882. $$
Therefore, \((H_{3})\) holds with
$${\mathcal{O}} \approx0.000307< 1. $$
Hence, by Theorem 3.1, problem (5.1) has a unique solution.

6 Conclusion

We have proved the existence and uniqueness result of the nonlocal Robin boundary problem for a fractional Hahn integrodifference equation (1.7) by using the Banach fixed point theorem, and the existence of at least one solution by Schauder’s fixed point theorem. Our problem contains three fractional Hahn difference operators and a fractional Hahn integral with different numbers of \(q, \omega\) and order, which is a new idea.

Notes

List of abbreviations

Not applicable.

Availability of data and materials

Not applicable.

Authors’ contributions

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

Ethics approval and consent to participate

Not applicable.

Competing interests

The authors declare that they have no competing interests.

Consent for publication

Not applicable.

References

  1. 1.
    Annaby, M.H., Mansour, Z.S.: q-Fractional Calculus and Equations. Springer, Berlin (2012) CrossRefMATHGoogle Scholar
  2. 2.
    Kac, V., Cheung, P.: Quantum Calculus. Springer, New York (2002) CrossRefMATHGoogle Scholar
  3. 3.
    Jagerman, D.L.: Difference Equations with Applications to Queues. Dekker, New York (2000) CrossRefMATHGoogle Scholar
  4. 4.
    Aldowah, K.A., Malinowska, A.B., Torres, D.F.M.: The power quantum calculus and variational problems. Dyn. Contin. Discrete Impuls. Syst., Ser. B, Appl. Algorithms 19, 93–116 (2012) MATHMathSciNetGoogle Scholar
  5. 5.
    Birto da Cruz, A.M.C., Martins, N., Torres, D.F.M.: Symmetric differentiation on time scales. Appl. Math. Lett. 26(2), 264–269 (2013) CrossRefMATHMathSciNetGoogle Scholar
  6. 6.
    Cruz, B., Artur, M.C.: Symmetric Quantum Calculus. Ph.D. thesis, Aveiro University (2012) Google Scholar
  7. 7.
    Wu, G.C., Baleanu, D.: New applications of the variational iteration method from differential equations to q-fractional difference equations. Adv. Differ. Equ. 2013, 21 (2013) CrossRefMATHMathSciNetGoogle Scholar
  8. 8.
    Tariboon, J., Ntouyas, S.K.: Quantum calculus on finite intervals and applications to impulsive difference equations. Adv. Differ. Equ. 2013, 282 (2013) CrossRefMathSciNetGoogle Scholar
  9. 9.
    Álvarez-Nodarse, R.: On characterization of classical polynomials. J. Comput. Appl. Math. 196, 320–337 (2006) CrossRefMATHMathSciNetGoogle Scholar
  10. 10.
    Agarwal, R.P., Baleanu, D., Hedayati, V., Rezapour, S.: Two fractional derivative inclusion problems via integral boundary condition. Appl. Math. Comput. 257, 205–212 (2015) MATHMathSciNetGoogle Scholar
  11. 11.
    Agarwal, R.P., Baleanu, D., Rezapour, S., Salehi, S.: The existence of solution for some fractional finite difference equations via sum boundary conditions. Adv. Differ. Equ. 2014, 282 (2014) CrossRefMathSciNetGoogle Scholar
  12. 12.
    Nyamoradi, N., Baleanu, D., Agarwal, R.P.: Existence and uniqueness of positive solutions to fractional boundary value problems with nonlinear boundary conditions. Adv. Differ. Equ. 2013, 266 (2013) CrossRefMATHMathSciNetGoogle Scholar
  13. 13.
    Hahn, W.: Über Orthogonalpolynome, die q-Differenzenlgleichungen genügen. Math. Nachr. 2, 4–34 (1949) CrossRefMATHMathSciNetGoogle Scholar
  14. 14.
    Costas-Santos, R.S., Marcellán, F.: Second structure relation for q-semiclassical polynomials of the Hahn tableau. J. Math. Anal. Appl. 329, 206–228 (2007) CrossRefMATHMathSciNetGoogle Scholar
  15. 15.
    Kwon, K.H., Lee, D.W., Park, S.B., Yoo, B.H.: Hahn class orthogonal polynomials. Kyungpook Math. J. 38, 259–281 (1998) MATHMathSciNetGoogle Scholar
  16. 16.
    Foupouagnigni, M.: Laguerre–Hahn orthogonal polynomials with respect to the Hahn operator: fourth-order difference equation for the rth associated and the Laguerre–Freud equations recurrence coefficients. Ph.D. thesis, Université Nationale du Bénin, Bénin (1998) Google Scholar
  17. 17.
    Aldwoah, K.A.: Generalized time scales and associated difference equations. Ph.D. thesis, Cairo University (2009) Google Scholar
  18. 18.
    Annaby, M.H., Hamza, A.E., Aldwoah, K.A.: Hahn difference operator and associated Jackson–Nörlund integrals. J. Optim. Theory Appl. 154, 133–153 (2012) CrossRefMATHMathSciNetGoogle Scholar
  19. 19.
    Jackson, F.H.: Basic integration. Q. J. Math. 2, 1–16 (1951) CrossRefMATHMathSciNetGoogle Scholar
  20. 20.
    Malinowska, A.B., Torres, D.F.M.: The Hahn quantum variational calculus. J. Optim. Theory Appl. 147, 419–442 (2010) CrossRefMATHMathSciNetGoogle Scholar
  21. 21.
    Malinowska, A.B., Torres, D.F.M.: Quantum Variational Calculus. Springer Briefs in Electrical and Computer Engineering-Control, Automation and Robotics. Springer, Berlin (2014) Google Scholar
  22. 22.
    Malinowska, A.B., Martins, N.: Generalized transversality conditions for the Hahn quantum variational calculus. Optimization 62(3), 323–344 (2013) CrossRefMATHMathSciNetGoogle Scholar
  23. 23.
    Hamza, A.E., Ahmed, S.M.: Theory of linear Hahn difference equations. J. Adv. Math. 4(2), 441–461 (2013) Google Scholar
  24. 24.
    Hamza, A.E., Ahmed, S.M.: Existence and uniqueness of solutions of Hahn difference equations. Adv. Differ. Equ. 2013, 316 (2013) CrossRefMathSciNetGoogle Scholar
  25. 25.
    Hamza, A.E., Makharesh, S.D.: Leibniz’ rule and Fubinis theorem associated with Hahn difference operator. J. Adv. Math. 12(6), 6335–6345 (2016) Google Scholar
  26. 26.
    Sitthiwirattham, T.: On a nonlocal boundary value problem for nonlinear second-order Hahn difference equation with two different \(q,\omega \)-derivatives. Adv. Differ. Equ. 2016, 116 (2016) CrossRefGoogle Scholar
  27. 27.
    Sriphanomwan, U., Tariboon, J., Patanarapeelert, N., Ntouyas, S.K., Sitthiwirattham, T.: Nonlocal boundary value problems for second-order nonlinear Hahn integro-difference equations with integral boundary conditions. Adv. Differ. Equ. 2017, 170 (2017) CrossRefMathSciNetGoogle Scholar
  28. 28.
    Čermák, J., Nechvátal, L.: On \((q,h)\)-analogue of fractional calculus. J. Nonlinear Math. Phys. 17(1), 51–68 (2010) CrossRefMATHGoogle Scholar
  29. 29.
    Čermák, J., Kisela, T., Nechvátal, L.: Discrete Mittag–Leffler functions in linear fractional difference equations. Abstr. Appl. Anal. 2011, Article ID 565067 (2011) MATHMathSciNetGoogle Scholar
  30. 30.
    Rahmat, M.R.S.: The \((q,h)\)-Laplace transform on discrete time scales. Comput. Math. Appl. 62, 272–281 (2011) CrossRefMATHGoogle Scholar
  31. 31.
    Rahmat, M.R.S.: On some \((q,h)\)-analogues of integral inequalities on discrete time scales. Comput. Math. Appl. 62, 1790–1797 (2011) CrossRefMATHGoogle Scholar
  32. 32.
    Du, F., Jai, B., Erbe, L., Peterson, A.: Monotonicity and convexity for nabla fractional \((q,h)\)-difference. J. Differ. Equ. Appl. 22(9), 1224–1243 (2016) CrossRefMATHGoogle Scholar
  33. 33.
    Brikshavana, T., Sitthiwirattham, T.: On fractional Hahn calculus with the delta operators. Adv. Differ. Equ. 2017, 354 (2017) CrossRefGoogle Scholar
  34. 34.
    Patanarapeelert, N., Sitthiwirattham, T.: Existence results for fractional Hahn difference and fractional Hahn integral boundary value problems. Discrete Dyn. Nat. Soc. 2017, Article ID 7895186 (2017) CrossRefMathSciNetGoogle Scholar
  35. 35.
    Patanarapeelert, N., Brikshavana, T., Sitthiwirattham, T.: On nonlocal Dirichlet boundary value problem for sequential Caputo fractional Hahn integrodifference equations. Bound. Value Probl. 2018, 6 (2018) CrossRefMATHMathSciNetGoogle Scholar
  36. 36.
    Griffel, D.H.: Applied Functional Analysis. Ellis Horwood, Chichester (1981) MATHGoogle Scholar
  37. 37.
    Guo, D., Lakshmikantham, V.: Nonlinear Problems in Abstract Cone. Academic Press, Orlando (1988) MATHGoogle Scholar

Copyright information

© The Author(s) 2018

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 and Affiliations

  1. 1.Department of Mathematics, Faculty of Applied ScienceKing Mongkut’s University of Technology North BangkokBangkokThailand
  2. 2.Mathematics Department, Faculty of Science and TechnologySuan Dusit UniversityBangkokThailand

Personalised recommendations