Skip to main content

On fractional Hahn calculus

Abstract

In this paper, the new concepts of Hahn difference operators are introduced. The properties of fractional Hahn calculus in the sense of a forward Hahn difference operator are introduced and developed.

Introduction

The quantum calculus, known as calculus without the consideration of limits, involves sets of non-differentiable functions. There are many types of quantum difference operators such as the Jackson q-difference operator, the forward (delta) difference operator, the backward (nabla) difference operator, and so on. These operators are employed in many applications, for example, combinatorics, orthogonal polynomials, basic hypergeometric functions, hypergeometric series, complex analysis, the calculus of variations, the theory of relativity, quantum mechanics, and particle physics [19].

In 1949, Hahn [10] introduced the Hahn difference operator \(D_{q,\omega}\) as follows:

$$D_{q,\omega}f(t):=\frac{f(qt+\omega)-f(t)}{t(q-1)+\omega},\quad t\neq \frac{\omega}{1-q}. $$

This operator is created with a combination of two well-known operators, the forward difference operator and the Jackson q-difference operator. We observe that

$$\begin{aligned}& D_{q,\omega}f(t)= \Delta_{\omega}f(t) \quad \text{whenever }q= 1, \\& D_{q,\omega}f(t)= D_{q}f(t) \quad \text{whenever }\omega= 0, \quad \mbox{and} \\& D_{q,\omega}f(t)= f'(t) \quad \text{whenever }q= 1,\omega \rightarrow0. \end{aligned}$$

Particularly, the Hahn difference operator has been employed to construct families of orthogonal polynomials as well as to examine some approximation problems (see [1113] and the references therein).

In 2009 Aldwoah [14, 15] (PhD thesis supervised by Annaby and Hamza) defined the right inverse of \(D_{q,\omega}\) in terms of both the Jackson q-integral containing the right inverse of \(D_{q}\) [16] and the Nörlund sum involving the right inverse of \(\Delta_{\omega}\) [16].

Malinowska and Torres [17, 18] studied the Hahn quantum variational calculus in 2010. Moreover, in 2013, Malinowska and Martins [19] studied the generalized transversality conditions for the Hahn quantum variational calculus. In the same year, Hamza et al. [2022] studied the theory of linear Hahn difference equations. They established the existence and uniqueness results for the initial value problems for Hahn difference equations by using the method of successive approximations. In addition, they proved Gronwall’s and Bernoulli’s inequalities with respect to the Hahn difference operator and investigated the mean value theorems, Leibniz’s rule and Fubini’s theorem for this calculus. For the boundary value problems, in 2016, Sitthiwirattham [23] considered a nonlinear Hahn difference equation with nonlocal boundary value conditions

$$\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 continuous function, and \(\varphi : C ([\omega_{0},T]_{q,\omega},{\mathbb{R}} )\rightarrow {\mathbb{R}}\) is a given functional. Moreover, in this year 2017, Sriphanomwan et al. [24] studied a nonlocal boundary value problem for second-order nonlinear Hahn integro-difference equation with integral boundary condition

$$\begin{aligned}& D^{2}_{q,\omega} x(t)=f \bigl(t,x(t),D_{p,\theta}x(pt+\theta), \Psi _{p,\theta}x(pt+\theta) \bigr), \quad t\in[\omega_{0},T]_{q,\omega }, \\& x(\omega_{0})=x(T), \\& 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}$$
(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}}\rightarrow{\mathbb{R}} )\), and \(g\in C ([\omega_{0},T]_{q,\omega}\times{\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. $$
(1.3)

In particular, the fractional Hahn difference equations have not been studied. We observe that in 2010, Čermák and Nechvátal [25] introduced the fractional \((q,h)\)-difference operator and the fractional \((q,h)\)-integral for \(q>1\). Čermák et al. [26] studied discrete Mittag-Leffler functions in linear fractional difference equations for \(q>1\) in 2011. In the same year Rahmat [27, 28] investigated the \((q,h)\)-Laplace transform and some \((q,h)\)-analogues of integral inequalities on discrete time scales for \(q>1\). Recently Du et al. [29] studied the monotonicity and convexity for nabla fractional \((q,h)\)-difference for \(q>0, q\neq1\) in 2016. However, these operators are not satisfied with fractional Hahn operators because fractional Hahn operators require the condition \(0< q<1\).

The gap mentioned above is the motivation for this research. The aim of this paper is to introduce new concepts of Hahn difference operator, the fractional Hahn integral, the fractional Hahn difference operators of Riemann-Liouville and Caputo types. We organize this paper as follows. In Section 2, some basic formulas of the Hahn difference operator and the associated Jackson-Nörlund integral calculus are briefly reviewed. In Section 3, we present the fractional Hahn integral and develop some fundamental properties. The fractional Hahn difference operators are presented in Sections 4 and 5.

Preliminary definitions and properties

The following notations, definitions, and lemmas will be used in proving the main results. Let \(q\in(0,1)\), \(\omega>0\), \(\omega_{0}=\frac{\omega}{1-q}\), and define

$$ [n]_{q,\omega}=[n]_{q}:=\frac{1-q^{n}}{1-q}=q^{n-1}+ \cdots+q+1\quad \text{and}\quad [n]_{q,\omega}!=[n]_{q}!:=\prod _{k=1}^{n}\frac{1-q^{k}}{1-q}. $$

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 use the notation \((0)_{q}^{\underline{\alpha }}={(\omega_{0})}_{q,\omega}^{\underline{\alpha}}=0\) for \(\alpha>0\). For \(\alpha,\beta,\gamma,\lambda\in{\mathbb{R}}\), we have

  1. (A1)

    \((\lambda\beta-\gamma\lambda)_{q}^{\underline {\alpha}}=\gamma^{\alpha}(\beta-\lambda)_{q}^{\underline{\alpha}}\),

  2. (A2)

    \((\beta-\gamma)_{q,\omega}^{\underline{\alpha +\gamma}}=(\beta-\gamma)_{q,\omega}^{\underline{\alpha}}(\beta -q^{\alpha\omega}\lambda)_{q,\omega}^{\underline{\gamma}}\),

  3. (A3)

    \((t-s)_{q,\omega}^{\underline{\alpha}}=0\), \(t\geq s\), \(\alpha\notin{\mathbb{N}}_{0}\), for \(t,s\in I_{q,\omega}^{T}:= \{q^{k} T+\omega[k]_{q} : k\in{\mathbb{N}}_{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 \\& \hphantom{B_{q}(x,s)} = (1-q) q^{n}\sum_{n=0}^{\infty}\bigl( q^{n} \bigr)^{\alpha-1} \bigl( 1-q^{n+1} \bigr)_{q}^{\underline{\beta-1}} =\frac{\Gamma_{q}(x)\Gamma_{q}(s)}{\Gamma_{q}(x+s)}, \end{aligned}$$

respectively.

The \(q,\omega\)-forward jump operator, \(q,\omega\)-backward jump operator, and \(q,\omega\)-forward graininess function are defined by

$$\begin{aligned}& \sigma_{q,\omega}(t):=qt+\omega, \qquad \rho_{q,\omega}(t):= \frac {t-\omega}{q},\quad \text{and} \\ & \mu_{q,\omega}(t):=t(q-1)+\omega, \quad \text{respectively}. \end{aligned}$$

Definition 2.1

For \(q\in(0,1)\), \(\omega >0\), and f defined on an interval \(I_{q,\omega}^{T}\subseteq{\mathbb {R}}\) containing \(\omega_{0}:=\frac{\omega}{1-q}\), the Hahn difference of f is defined by

$$ D_{q,\omega}f(t):=\frac{f(\sigma_{q,\omega}(t) )-f(t)}{\mu _{q,\omega}(t)}\quad \text{for } t\in I_{q,\omega}^{T} \{\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_{q,\omega}^{T}\).

Lemma 2.1

([15])

Let \(f,g\) be \(q,\omega \)-differentiable on \(I_{q,\omega}^{T}\). The Hahn difference operator has the following properties:

  1. (a)

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

  2. (b)

    \(D_{q,\omega}[\alpha f(t)]=\alpha D_{q,\omega}f(t) \) for \(\alpha\in{\mathbb{R}}\);

  3. (c)

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

  4. (d)

    \(D_{q,\omega} [ \frac{f(t)}{g(t)} ] =\frac {g(t)D_{q,\omega}f(t)-f(t)D_{q,\omega}g(t)}{g(t)g(\sigma_{q,\omega })} \) for \(g(t)g(\sigma_{q,\omega})\neq0\).

Lemma 2.2

Let \(t\in I_{q,\omega}^{T}\), \(q\in (0,1)\), \(\omega>0\), and \({\alpha,\beta\in\mathbb{R}}\). Then the following statements are true:

  1. (a)

    \(D_{q,\omega}(t-\beta)_{q,\omega}^{\underline {\alpha}}=[\alpha]_{q} ( \rho_{q,\omega}(t)-\beta ) _{q,\omega}^{\underline{\alpha-1}}\);

  2. (b)

    \(D_{q,\omega}(\beta-t)_{q,\omega}^{\underline {\alpha}}=-[\alpha]_{q} ( \beta-t ) _{q,\omega}^{\underline {\alpha-1}}\).

Proof

Let \(\hat{t}:=t(1-q)-\omega\), \(\hat{\beta }:=\beta(1-q)-\omega\). Since

$$D_{q,\omega}f(t)=\frac{f(\sigma_{q,\omega}(t))-f(t)}{\mu_{q,\omega }(t)}=\frac{f(\rho_{q,\omega}(t))-f(t)}{ ( \frac{1}{q}-1 ) t-\frac{\omega}{q}}, $$

we have

$$\begin{aligned} D_{q,\omega}(t-\beta)_{q,\omega}^{\underline{\alpha}} &=D_{q,\omega} \biggl[ (t-\omega_{0})^{\alpha}\frac{\prod_{k=0}^{\infty} ( 1- \frac {\beta-\omega_{0}}{t-\omega_{0}}q^{k} ) }{ \prod_{k=0}^{\infty} ( 1- \frac{\beta-\omega_{0}}{t-\omega _{0}}q^{k+\alpha} ) } \biggr] \\ &=\frac{q}{\hat{t}} \biggl(\frac{ \hat{t} }{1-q} \biggr)^{\alpha}\biggl[ \frac{\prod_{k=0}^{\infty} ( 1- \frac{\hat{\beta}}{\hat {t}}q^{k+1} ) }{q^{\alpha}\prod_{k=0}^{\infty} ( 1- \frac{\hat{\beta}}{\hat {t}}q^{k+\alpha+1} ) } -\frac{\prod_{k=0}^{\infty} ( 1- \frac{\hat{\beta}}{\hat {t}}q^{k} ) }{ \prod_{k=0}^{\infty} ( 1- \frac{\hat{\beta}}{\hat {t}}q^{k+\alpha} ) } \biggr] \\ &=q \biggl( \frac{\hat{t}}{1-q} \biggr) ^{\alpha}\frac{\prod_{k=0}^{\infty} ( 1- \frac{\hat{\beta}}{\hat {t}}q^{k+1} ) }{ \prod_{k=0}^{\infty} ( 1- \frac{\hat{\beta}}{\hat {t}}q^{k+\alpha} ) } \biggl[ \frac{ (1- \frac{\hat{\beta}}{\hat{t}}q^{\alpha}) -q^{\alpha}( 1-\frac{\hat{\beta}}{\hat{t}} ) }{ \hat{t} } \biggr] \\ &= \biggl( \frac{\hat{t}}{q(1-q)} \biggr) ^{\alpha-1} \frac{\prod_{k=0}^{\infty} ( 1- \frac{\hat{\beta}}{\hat {t}}q^{k+1} ) }{ \prod_{k=0}^{\infty} ( 1- \frac{\hat{\beta}}{\hat {t}}q^{k+\alpha} ) } \biggl[ \frac{1-q^{\alpha}}{1-q} \biggr] \\ &= \bigl( \rho_{q,\omega}(t)-\omega_{0} \bigr) ^{\alpha-1} \frac{\prod_{k=0}^{\infty} ( 1- \frac{\beta-\omega_{0}}{\rho _{q,\omega}(t)-\omega_{0}}q^{k} ) }{ \prod_{k=0}^{\infty} ( 1- \frac{\beta-\omega_{0}}{\rho _{q,\omega}(t)-\omega_{0}}q^{k+\alpha-1} )} \biggl[ \frac{1-q^{\alpha}}{1-q} \biggr] \\ &=[\alpha]_{q} \bigl( \rho_{q,\omega}(t)-\beta \bigr) _{q,\omega }^{\underline{\alpha-1}}. \end{aligned}$$

So, (a) holds. Proceeding similarly as above, we find that (b) holds. □

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 \} = {\bigl[a,b)}_{q,\omega} \cup \{b \} = {(a,b\bigr]}_{q,\omega} \cup \{a \}. \end{aligned}$$

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

Also 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}\) containing \(a,b\), and \(\omega_{0}\). Assuming that \(f:I\rightarrow\mathbb{R}\) is 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

$$\begin{aligned} \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, \end{aligned}$$

provided that the series converges at \(x=a\) and \(x=b\). f is called \(q,\omega\)-integrable on \([a,b]\), and the sum to the right-hand side of the above equation will be called the Jackson-Nörlund sum.

We note that:

  1. (i)

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

  2. (ii)

    For each \(x\in[a,b]_{q,\omega}\), we have \(\lim_{k\rightarrow\infty} \sigma_{q,\omega }^{k}(x)=\omega_{0}\). It implies that

    $$\int_{\omega_{0}}^{x} f(t)\,d_{q,\omega}t= \sum _{s=x}^{\rho_{q,\omega}(\omega_{0})} \bigl[s(1-q)-\omega \bigr] f (s ). $$

Lemma 2.3

([15])

Let \(q\in(0,1)\), \(\omega >0\), \(a,b \in I_{q,\omega}^{T}\), and f, g be \(q,\omega\)-integrable on \(I_{q,\omega}^{T}\). Then the following formulas hold:

  1. (a)

    \(\int_{a}^{a} f(t)\,d_{q,\omega}t=0\);

  2. (b)

    \(\int_{a}^{b} \alpha f(t)\,d_{q,\omega}t=\alpha\int _{a}^{b} f(t)\,d_{q,\omega}t\), \(\alpha\in{\mathbb{R}}\);

  3. (c)

    \(\int_{a}^{b} f(t)\,d_{q,\omega}t=-\int_{b}^{a} f(t)\,d_{q,\omega}t\);

  4. (d)

    \(\int_{a}^{b} f(t)\,d_{q,\omega}t=\int_{c}^{b} f(t)\,d_{q,\omega}t+\int_{a}^{c} f(t)\,d_{q,\omega}t\), \(c\in I_{q,\omega }^{T}\), \(a< c< b\);

  5. (e)

    \(\int_{a}^{b} [ f(t)+g(t) ] \,d_{q,\omega }t=\int_{a}^{b} f(t)\,d_{q,\omega}t+\int_{a}^{b} g(t)\,d_{q,\omega}t\);

  6. (f)

    \(\int_{a}^{b} [ f(t)D_{q,\omega}g(t) ] \,d_{q,\omega}t= [ f(t)g(t) ] _{a}^{b}-\int_{a}^{b} [g ( \sigma _{q,\omega}(t) )D_{q,\omega}f(t) ] \,d_{q,\omega}t\).

We next introduce the fundamental theorem and Leibniz formula of Hahn calculus.

Lemma 2.4

(Fundamental theorem of Hahn calculus [14])

Let \(f:I\rightarrow\mathbb{R}\) be continuous at \(\omega_{0}\). Define

$$F(x):= \int_{\omega_{0}}^{x} f(t)\,d_{q,\omega}t, \quad x\in I. $$

Then F is continuous at \(\omega_{0}\). Furthermore, \(D_{q,\omega}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.5

(Leibniz formula of Hahn calculus [22])

Let \(f:I_{q,\omega}^{T}\times I_{q,\omega }^{T}\rightarrow\mathbb{R}\). Then

$$D_{q,\omega} \biggl[ \int_{\omega_{0}}^{t} f(t,s) \,d_{q,\omega}s \biggr] = \int_{\omega_{0}}^{t} {_{t}}D_{q,\omega}f(t,s) \,d_{q,\omega}s+f \bigl( \sigma_{q,\omega}(t),t \bigr), $$

where \({_{t}}D_{q,\omega}\) is Hahn difference with respect to t.

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

Lemma 2.6

([23])

Let \(q\in(0,1)\), \(\omega >0\) and \(f:I\rightarrow\mathbb{R}\) be continuous at \(\omega_{0}\). Then

$$ \int_{\omega_{0}}^{t} \int_{\omega_{0}}^{r} f(s) \,d_{q,\omega}s \,d_{q,\omega}r = \int_{\omega_{0}}^{t} \int_{qs+\omega}^{t} f(s) \,d_{q,\omega}r \,d_{q,\omega}s. $$

Lemma 2.7

([23])

Let \(q\in(0,1)\) and \(\omega>0\). Then

$$ \int_{\omega_{0}}^{t} \,d_{q,\omega}s=t- \omega_{0}\quad \textit{and}\quad \int_{\omega_{0}}^{t} \bigl[t-(qs+\omega)\bigr] \,d_{q,\omega}s= \frac{ (t-\omega_{0} )^{2}}{1+q}. $$

Fractional Hahn integral

Now, we introduce fractional Hahn integral.

Definition 3.1

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

Since \((1-q)t-\omega=(1-q)(t-\omega_{0})\), associated with (A1), we have

$$\begin{aligned} \bigl(t-\sigma^{n+1}_{q,\omega}(t) \bigr)_{q,\omega}^{\underline {\alpha-1}} =& \bigl( (t-\omega_{0}) - \bigl( \sigma^{n+1}_{q,\omega}(t) -\omega_{0} \bigr) \bigr)_{q}^{\underline{\alpha-1}} \\ =& \bigl( (t-\omega_{0}) - q^{n+1} ( t - \omega_{0} ) \bigr)_{q}^{\underline{\alpha-1}} \\ =& (t- \omega_{0})^{\alpha-1} \bigl( 1-q^{n+1} \bigr) _{q}^{\underline{\alpha-1}}. \end{aligned}$$

It implies that

$${\mathcal{I}}_{q,\omega}^{\alpha}f(t) =\frac{(1-q)(t-\omega_{0})^{\alpha}}{\Gamma_{q}(\alpha)} \sum _{n=0}^{\infty}q^{n} \bigl(1-q^{n+1} \bigr)_{q}^{\underline{\alpha -1}} f \bigl( \sigma_{q,\omega}^{n}(t) \bigr). $$

Next, we provide some auxiliary lemmas for simplifying calculations.

Lemma 3.1

Let \(\alpha,\beta>0\), \(p,q\in(0,1)\), and \(\omega>0\). Then

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

Proof

From the definition of \(q,\omega\)-analogue of the power function and Definition 3.1, we obtain

$$\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 \\& \quad = (t-\omega_{0})^{\alpha}(1-q) \sum _{n=0}^{\infty}q^{n} \bigl(1-q^{n+1} \bigr)_{q}^{\underline{\alpha-1}} \bigl( q^{n}(t- \omega_{0}) \bigr)^{\beta} \\& \quad = ( t-\omega_{0} )^{\alpha+\beta} (1-q) \sum _{n=0}^{\infty}q^{n} \bigl(1-q^{n+1} \bigr)^{\underline{\alpha-1}}_{q} \bigl(q^{n} \bigr)^{\beta} \\& \quad = ( t-\omega_{0} )^{\alpha+\beta}B_{q}(\beta+1,\alpha),\quad \end{aligned}$$

and

$$\begin{aligned}& \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 \\& \quad = \int_{\omega_{0}}^{t} \bigl( t-\sigma_{p,\omega}(x) \bigr)_{p,\omega }^{\underline{\alpha-1}} \biggl[ \int_{\omega_{0}}^{x} \bigl( x-\sigma _{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\beta-1}} \,d_{q,\omega }s \biggr] \,d_{p,\omega}x \\& \quad = \frac{1}{[\beta]_{q}} \int_{\omega_{0}}^{t} \bigl( t-\sigma_{p,\omega }(x) \bigr)_{p,\omega}^{\underline{\alpha-1}} (x-\omega_{0})^{\beta} \,d_{p,\omega}x \\& \quad = \frac{(t-\omega_{0})^{\alpha+\beta}}{[\beta ]_{q}}B_{p}(\beta+1,\alpha). \end{aligned}$$

 □

In the next theorems we introduce the properties of fractional Hahn integral as the following theorem.

Theorem 3.1

For \(f:I_{q,\omega}^{T}\rightarrow {\mathbb{R}}\), \(\alpha>0,q\in(0,1)\), \(\omega>0\), and \(a\in I_{q,\omega}^{T}\),

$$ {\mathcal{I}}_{q,\omega}^{\alpha}f(t)={\mathcal{I}}_{q,\omega }^{\alpha+1} \bigl[ D_{q,\omega}f(t) \bigr] +\frac{f(\omega_{0})}{\Gamma_{q}(\alpha+1)} ( t-\omega_{0} )^{\alpha}. $$

Proof

Using Lemma 2.2(b) and Lemma 2.4, we obtain

$$\begin{aligned} {\mathcal{I}}_{q,\omega}^{\alpha}f(t) =&-\frac{1}{[\alpha]_{q}\Gamma _{q}(\alpha)} \int_{a}^{t} D_{q,\omega}(t-s)_{q,\omega}^{\underline {\alpha}}f(s) \,d_{q,\omega}s \\ =&\frac{1}{\Gamma_{q}(\alpha+1)} \biggl[ (t-\omega_{0})_{q,\omega }^{\underline{\alpha}}f( \omega_{0})+ \int_{a}^{t} ( t-\sigma_{q,\omega} ) _{q,\omega }^{\underline{\alpha}}D_{q,\omega}f(s) \,d_{q,\omega}s \biggr] \\ =&{\mathcal{I}}_{q,\omega}^{\alpha+1} \bigl[ D_{q,\omega }f(t) \bigr] +\frac{f(\omega_{0})}{\Gamma_{q}(\alpha+1)} ( t-\omega_{0} )_{q,\omega}^{\underline{\alpha}} \\ =&{\mathcal{I}}_{q,\omega}^{\alpha+1} \bigl[ D_{q,\omega }f(t) \bigr] +\frac{f(\omega_{0})}{\Gamma_{q}(\alpha+1)} ( t-\omega_{0} )^{\alpha}. \end{aligned}$$

 □

Theorem 3.2

For \(f:I_{q,\omega}^{T}\rightarrow {\mathbb{R}}\), \(\alpha,\beta>0\), \(q\in(0,1)\), \(\omega>0\), and \(a\in I_{q,\omega}^{T}\),

$$ \int_{\omega_{0}}^{a} \bigl( t-\sigma_{q,\omega}(s) \bigr)_{q,\omega }^{\underline{\beta-1}} {\mathcal{I}}_{q,\omega}^{\alpha}f(t) \,d_{q,\omega}s=0. $$

Proof

For \(n \in{\mathbb{N}}_{0}\),

$$\begin{aligned} {\mathcal{I}}_{q,\omega}^{\alpha}f \bigl( \sigma_{q,\omega }^{n}(a) \bigr) =&\frac{1}{\Gamma_{q}(\alpha)} \int _{\omega_{0}}^{\sigma_{q,\omega}^{n}(a)} \bigl(\sigma_{q,\omega }^{n}(a)- \sigma_{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\alpha -1}}f(s) \,d_{q,\omega}s \\ =&\frac{[\sigma_{q,\omega}^{n}(a)(1-q)-\omega]}{\Gamma_{q}(\alpha)} \sum_{k=0}^{\infty}q^{k} \bigl(\sigma_{q,\omega}^{n}(a)-\sigma ^{n+k}_{q,\omega}(a) \bigr)_{q,\omega}^{\underline{\alpha-1}}f \bigl( \sigma_{q,\omega}^{n+k}(a) \bigr). \end{aligned}$$

Employing (A3) implies that \((\sigma_{q,\omega}^{n}(a)-\sigma ^{n+k}_{q,\omega}(a) )_{q,\omega}^{\underline{\alpha-1}}=0\). Thus,

$$ {\mathcal{I}}_{q,\omega}^{\alpha}f \bigl( \sigma_{q,\omega }^{n}(a) \bigr) =0. $$
(3.1)

Finally, using Definition 3.1, we have

$$\begin{aligned}& \int_{\omega_{0}}^{a} \bigl(t-\sigma_{q,\omega }(s) \bigr)_{q,\omega}^{\underline{\beta-1}} {\mathcal{I}}_{q,\omega}^{\alpha}f(t) \,d_{q,\omega}s \\ & \quad = \bigl[(1-q)a-\omega\bigr] \sum_{k=0}^{\infty}q^{k} \bigl(t-\sigma ^{k+1}_{q,\omega}(a) \bigr)_{q,\omega}^{\underline{\beta-1}} \bigl[ {\mathcal{I}}_{q,\omega}^{\alpha}f \bigl( \sigma_{q,\omega }^{k}(a) \bigr) \bigr]= 0. \end{aligned}$$

 □

Theorem 3.3

For \(f:I_{q,\omega}^{T}\rightarrow {\mathbb{R}}\), \(\alpha,\beta>0\), \(q\in(0,1)\), \(\omega>0\), and \(a\in I_{q,\omega}^{T}\),

$$ {\mathcal{I}}_{q,\omega}^{\alpha}\bigl[ {\mathcal{I}}_{q,\omega }^{\beta}f(t) \bigr] = {\mathcal{I}}_{q,\omega}^{\beta}\bigl[ { \mathcal{I}}_{q,\omega }^{\alpha}f(t) \bigr] = {\mathcal{I}}_{q,\omega}^{\alpha+\beta}f(t). $$

Proof

For \(t\in I_{q,\omega}^{T}\),

$$\begin{aligned} \begin{aligned} {\mathcal{I}}_{q,\omega}^{\alpha}{\mathcal{I}}_{q,\omega}^{\beta}f(t) ={}&\frac{1}{\Gamma_{q}(\alpha)\Gamma_{q}(\beta)} \int _{\omega_{0}}^{t} \bigl(t-\sigma_{q,\omega}(s) \bigr)_{q,\omega }^{\underline{\alpha-1}} {\mathcal{I}}_{q,\omega}^{\beta}f(s) \,d_{q,\omega}s \\ ={}&\frac{1}{\Gamma_{q}(\alpha)\Gamma_{q}(\beta)} \int _{\omega_{0}}^{t} \int_{\omega_{0}}^{s} \bigl(t-\sigma_{q,\omega }(s) \bigr)_{q,\omega}^{\underline{\alpha-1}} \bigl(s-\sigma_{q,\omega}(x) \bigr)_{q,\omega}^{\underline{\beta -1}}f(x) \,d_{q,\omega}x \,d_{q,\omega}s \\ ={}&\frac{1}{\Gamma_{q}(\alpha)\Gamma_{q}(\beta)} \int _{\omega_{0}}^{t} \biggl[ \int_{\sigma_{q,\omega}(x)}^{t} \bigl(t-\sigma_{q,\omega }(s) \bigr)_{q,\omega}^{\underline{\alpha-1}} \bigl(s-\sigma_{q,\omega}(x) \bigr)_{q,\omega}^{\underline{\beta -1}} \,d_{q,\omega}s \biggr] f(x) \,d_{q,\omega}x \\ ={}&\frac{1}{\Gamma_{q}(\alpha)\Gamma_{q}(\beta)} \biggl\{ \int_{\omega_{0}}^{t} \int_{\omega_{0}}^{t} \bigl(t-\sigma_{q,\omega}(s) \bigr)_{q,\omega }^{\underline{\alpha-1}} \bigl(s-\sigma_{q,\omega}(x) \bigr)_{q,\omega}^{\underline{\beta -1}}f(x) \,d_{q,\omega}s \,d_{q,\omega}x \\ &{}- \int_{\omega_{0}}^{t} \int_{\omega_{0}}^{\sigma _{q,\omega}(x)} \bigl(t-\sigma_{q,\omega}(s) \bigr)_{q,\omega }^{\underline{\alpha-1}} \bigl(s-\sigma_{q,\omega}(x) \bigr)_{q,\omega}^{\underline{\beta -1}}f(x) \,d_{q,\omega}s \,d_{q,\omega}x \biggr\} . \end{aligned} \end{aligned}$$

From Theorem 3.2, we have

$$\int_{\omega_{0}}^{t} \int_{\omega_{0}}^{\sigma _{q,\omega}(x)} \bigl(t-\sigma_{q,\omega}(s) \bigr)_{q,\omega }^{\underline{\alpha-1}} \bigl(s-\sigma_{q,\omega}(x) \bigr)_{q,\omega}^{\underline{\beta -1}}f(x) \,d_{q,\omega}s \,d_{q,\omega}x =0. $$

Therefore,

$$ {\mathcal{I}}_{q,\omega}^{\alpha}{\mathcal{I}}_{q,\omega}^{\beta}f(t) = \frac{1}{\Gamma_{q}(\alpha)\Gamma_{q}(\beta)} \int_{\omega_{0}}^{t} \int_{\omega_{0}}^{t} \bigl(t-\sigma_{q,\omega}(s) \bigr)_{q,\omega }^{\underline{\alpha-1}} \bigl(s-\sigma_{q,\omega}(x) \bigr)_{q,\omega}^{\underline{\beta -1}}f(x) \,d_{q,\omega}s \,d_{q,\omega}x. $$

Similarly, we have \({\mathcal{I}}_{q,\omega}^{\alpha}{\mathcal {I}}_{q,\omega}^{\beta}f(t)={\mathcal{I}}_{q,\omega}^{\beta}{\mathcal {I}}_{q,\omega}^{\alpha}f(t)\).

Next, we show that \({\mathcal{I}}_{q,\omega}^{\alpha}{\mathcal {I}}_{q,\omega}^{\beta}f(t)={\mathcal{I}}_{q,\omega}^{\alpha+\beta} f(t)\),

$$\begin{aligned} {\mathcal{I}}_{q,\omega}^{\alpha}{\mathcal{I}}_{q,\omega}^{\beta}f(t) =&\frac{1}{\Gamma_{q}(\alpha)\Gamma_{q}(\beta)} \int _{\omega_{0}}^{t} \biggl[ \int_{\sigma_{q,\omega}(x)}^{t} \bigl(t-\sigma_{q,\omega }(s) \bigr)_{q,\omega}^{\underline{\alpha-1}} \bigl(s-\sigma_{q,\omega}(x) \bigr)_{q,\omega}^{\underline{\beta -1}} \,d_{q,\omega}s \biggr] f(x) \,d_{q,\omega}x \\ =&\frac{1}{\Gamma_{q}(\alpha)\Gamma_{q}(\beta)} \int _{\omega_{0}}^{t} \bigl[ {\mathcal{I}}_{q,\omega}^{\alpha}\bigl(t-\sigma_{q,\omega }(x) \bigr)_{q,\omega}^{\underline{\beta-1}} \bigr] f(x) \,d_{q,\omega}x \\ =&\frac{1}{\Gamma_{q}(\beta)} \int_{\omega_{0}}^{t} \frac{\Gamma_{q}(\beta)}{\Gamma_{q}(\alpha+\beta)} \bigl(t- \sigma_{q,\omega}(x) \bigr)_{q,\omega}^{\underline{\alpha +\beta-1}} f(x) \,d_{q,\omega}x = {\mathcal{I}}_{q,\omega}^{\alpha +\beta} f(t). \end{aligned}$$

 □

Theorem 3.4

For \(f:I_{q,\omega}^{T}\rightarrow {\mathbb{R}}\), \(\alpha,\omega>0\), and \(q\in(0,1)\),

$$ {\mathcal{I}}_{q,\omega}^{\alpha}\bigl[ D_{q,\omega} f(t) \bigr] =D_{q,\omega} \bigl[ {\mathcal{I}}_{q,\omega}^{\alpha}f(t) \bigr] - \frac {(t-\omega_{0})^{\alpha-1}}{\Gamma_{q}(\alpha)}f(\omega_{0}). $$

Proof

Using Lemma 2.1(c) and Lemma 2.2(b), we have

$$\bigl(t-\sigma_{q,\omega} (s) \bigr)_{q,\omega}^{\underline {\alpha-1}} D_{q,\omega}f(s) = [\alpha-1]_{q} \bigl(t-\sigma_{q,\omega} (s) \bigr)_{q,\omega }^{\underline{\alpha-2}}f(s) +{_{s}}D_{q,\omega} \bigl[ (t-s )_{q,\omega}^{\underline {\alpha-1}}f(s) \bigr]. $$

So, we obtain

$$\begin{aligned} {\mathcal{I}}_{q,\omega}^{\alpha}D_{q,\omega}f(t) =& \frac{1}{\Gamma _{q}(\alpha)} \int_{\omega_{0}}^{t} \bigl(t-\sigma _{q,\omega}(s) \bigr)_{q,\omega}^{\underline{\alpha-1}} \bigl[ D_{q,\omega} f(s) \bigr] \,d_{q,\omega}s \\ =&\frac{[\alpha-1]_{q}}{\Gamma_{q}(\alpha)} \int_{\omega _{0}}^{t} \bigl(t-\sigma_{q,\omega}(s) \bigr)_{q,\omega}^{\underline {\alpha-2}} f(s) \,d_{q,\omega}s+ \frac{1}{\Gamma_{q}(\alpha)} \bigl[ (t-s)_{q,\omega}^{\underline{\alpha-1}}f(s) \bigr]_{s=\omega _{0}}^{s=t} \\ =&D_{q,\omega} \bigl[ {\mathcal{I}}_{q,\omega}^{\alpha}f(t) \bigr] - \frac {(t-\omega_{0})_{q,\omega}^{\underline{\alpha-1}}}{\Gamma_{q}(\alpha )}f(\omega_{0}) \\ =&D_{q,\omega} \bigl[ {\mathcal{I}}_{q,\omega}^{\alpha}f(t) \bigr] - \frac {(t-\omega_{0})^{\alpha-1}}{\Gamma_{q}(\alpha)}f(\omega_{0}). \end{aligned}$$

 □

Theorem 3.5

For \(f:I_{q,\omega}^{T}\rightarrow {\mathbb{R}}\), \(\alpha,\omega>0\), \(q\in(0,1)\), and \(p\in{\mathbb{N}}\),

$$ {\mathcal{I}}_{q,\omega}^{\alpha}\bigl[ D^{p}_{q,\omega} f(t) \bigr] =D^{p}_{q,\omega} \bigl[ {\mathcal{I}}_{q,\omega}^{\alpha}f(t) \bigr] - \sum_{k=0}^{p-1} \frac{(t-\omega_{0})^{\alpha-p+k}}{\Gamma_{q}(\alpha -p+k+1)} \bigl[ D_{q,\omega}^{k}f(\omega_{0}) \bigr]. $$

Proof

Substituting f as \(D_{q,\omega}f\) into Theorem 3.4, we have

$$\begin{aligned} {\mathcal{I}}_{q,\omega}^{\alpha}\bigl[ D^{2}_{q,\omega} f(t) \bigr] =&D_{q,\omega} \bigl[ {\mathcal{I}}_{q,\omega}^{\alpha}D_{q,\omega} f(t) \bigr] - \frac{(t-\omega_{0})^{\alpha-1}}{\Gamma_{q}(\alpha)} \bigl[ D_{q,\omega} f( \omega_{0}) \bigr] \\ =&D_{q,\omega} \biggl[ D_{q,\omega} \bigl[ {\mathcal{I}}_{q,\omega}^{\alpha}f(t) \bigr] - \frac {(t-\omega_{0})^{\alpha-1}}{\Gamma_{q}(\alpha)} f(\omega_{0}) \biggr] \\ &{}- \frac{(t-\omega_{0})^{\alpha-1}}{\Gamma_{q}(\alpha)} \bigl[ D_{q,\omega} f(\omega_{0}) \bigr] \\ =&D^{2}_{q,\omega} \bigl[ {\mathcal{I}}_{q,\omega}^{\alpha}f(t) \bigr] - \sum_{k=0}^{1} \frac{(t-\omega_{0})^{\alpha-2+k}}{\Gamma_{q}(\alpha +k-1)} \bigl[ D_{q,\omega}^{k}f(\omega_{0}) \bigr]. \end{aligned}$$

Repeating the same procedure as above \(p-1\) times, we obtain

$$ {\mathcal{I}}_{q,\omega}^{\alpha}\bigl[ D^{p}_{q,\omega} f(t) \bigr] =D^{p}_{q,\omega} \bigl[ {\mathcal{I}}_{q,\omega}^{\alpha}f(t) \bigr] - \sum_{k=0}^{p-1} \frac{(t-\omega_{0})^{\alpha-p+k}}{\Gamma_{q}(\alpha -p+k+1)} \bigl[ D_{q,\omega}^{k}f(\omega_{0}) \bigr]. $$

 □

Fractional Hahn difference operator of Riemann-Liouville type

In this section, we introduce a fractional Hahn difference operator of Riemann-Liouville type.

Definition 4.1

For \(\alpha,\omega>0\), \(q\in(0,1)\), and f defined on \([\omega _{0},T]_{q,\omega}\), the fractional Hahn difference operator of 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-1<\alpha< N\), \(N\in{\mathbb{N}}\).

Theorem 4.1

For \(\alpha>0\), \(q\in(0,1)\), \(\omega>0\), and \(f:I_{q,\omega}^{T}\rightarrow{\mathbb{R}}\),

$$\begin{aligned} D_{q,\omega}^{\alpha}f(t) =&\frac{[(1-q)t-\omega]}{\Gamma_{q}(-\alpha )} \sum _{k=0}^{\infty} q^{k} \bigl(t- \sigma_{q,\omega}^{k+1}(t) \bigr)_{q,\omega}^{\underline{-\alpha-1}} f \bigl( \sigma _{q,\omega}^{k}(t) \bigr) \\ =&\frac{(1-q)(t-\omega_{0})^{-\alpha}}{\Gamma_{q}(-\alpha)} \sum_{k=0}^{\infty} q^{k} \bigl(1-q^{k+1} \bigr)_{q,\omega}^{\underline {-\alpha-1}} f \bigl( \sigma_{q,\omega}^{k}(t) \bigr). \end{aligned}$$

Proof

For some \(N-1<\alpha< N\), \(N\in{\mathbb{N}}\), by using Definition 4.1 and Lemma 2.5, we have

$$\begin{aligned} D_{q,\omega}^{\alpha}f(t) =&D_{q,\omega}^{N} { \mathcal{I}}_{q,\omega }^{N-\alpha} f(t) = D_{q,\omega}^{N-1} D_{q,\omega} {\mathcal{I}}_{q,\omega}^{N-\alpha } f(t) \\ =& D_{q,\omega}^{N-1} \biggl\{ D_{q,\omega} \biggl[ \frac{1}{\Gamma_{q}(N-\alpha)} \int_{\omega_{0}}^{t} \bigl(t-\sigma_{q,\omega}(s) \bigr)_{q,\omega}^{\underline{N-\alpha -1}}f(s) \,d_{q,\omega}s \biggr] \biggr\} \\ =& D_{q,\omega}^{N-1} \biggl\{ \frac{1}{\Gamma_{q}(N-\alpha-1)} \int_{\omega_{0}}^{t} \bigl(t-\sigma_{q,\omega}(s) \bigr)_{q,\omega}^{\underline{N-\alpha -2}}f(s) \,d_{q,\omega}s \\ &{}+\frac{1}{\Gamma_{q}(N-\alpha)} \bigl(\sigma_{q,\omega }(t)-\sigma_{q,\omega}(t) \bigr)_{q,\omega}^{\underline{N-\alpha-1}}f(t) \biggr\} \\ =& D_{q,\omega}^{N-1} \biggl\{ \frac{1}{\Gamma_{q}(N-\alpha-1)} \int_{\omega_{0}}^{t} \bigl(t-\sigma_{q,\omega}(s) \bigr)_{q,\omega}^{\underline{N-\alpha -2}}f(s) \,d_{q,\omega}s \biggr\} . \end{aligned}$$

Repeating \(N-1\) times, we obtain

$$\begin{aligned} D_{q,\omega}^{\alpha}f(t) =&D_{q,\omega}^{N-N} \biggl\{ \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{1}{\Gamma_{q}(1-\alpha)} (-\alpha-1 )_{q,\omega}^{\underline{-\alpha}} f (t+\alpha+1 ) \biggr\} \\ =&\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{[(1-q)t-\omega]}{\Gamma_{q}(-\alpha)} \sum_{k=0}^{\infty} q^{k} \bigl(t-\sigma_{q,\omega}^{k+1}(t) \bigr)_{q,\omega }^{\underline{-\alpha-1}} f \bigl( \sigma_{q,\omega}^{k}(t) \bigr) \\ =&\frac{(1-q)(t-\omega_{0})^{-\alpha}}{\Gamma_{q}(-\alpha)} \sum_{k=0}^{\infty} q^{k} \bigl(1-q^{k+1} \bigr)_{q,\omega}^{\underline {-\alpha-1}} f \bigl( \sigma_{q,\omega}^{k}(t) \bigr). \end{aligned}$$

 □

In the following theorem, we introduce the properties of fractional Hahn difference operator of Riemann-Liouville type.

Theorem 4.2

For \(\alpha>0\), \(q\in(0,1)\), \(\omega>0\), and \(f:I_{q,\omega}^{T}\rightarrow{\mathbb{R}}\),

$$ D_{q,\omega}^{\alpha}{\mathcal{I}}_{q,\omega}^{\alpha}f(t) =f(t). $$

Proof

For some \(N-1<\alpha< N\), \(N\in{\mathbb{N}}\),

$$\begin{aligned} D_{q,\omega}^{\alpha}{\mathcal{I}}_{q,\omega}^{\alpha}f(t) =&D_{q,\omega}^{N} {\mathcal{I}}_{q,\omega}^{N-\alpha} { \mathcal {I}}_{q,\omega}^{\alpha} f(t) \\ =& \bigl[ D_{q,\omega}^{N} {\mathcal{I}}_{q,\omega}^{\alpha} \bigr] \bigl( {\mathcal{I}}_{q,\omega}^{N-\alpha} f(t) \bigr) = D_{q,\omega}^{N} {\mathcal{I}}_{q,\omega}^{N}f(t) = f(t). \end{aligned}$$

 □

Theorem 4.3

For \(\alpha>0\), \(q\in(0,1)\), \(\omega>0\), and \(f:I_{q,\omega}^{T}\rightarrow{\mathbb{R}}\),

$$ {\mathcal{I}}_{q,\omega}^{\alpha}D_{q,\omega}^{\alpha}f(t) =f(t)-\sum_{k=0}^{N-1} \frac{(t-\omega_{0})^{\alpha-N+k}}{\Gamma _{q}(\alpha-N+k+1)} \bigl[ D_{q,\omega}^{\alpha-N+k}f(\omega_{0}) \bigr], $$

where \(N-1<\alpha< N\), \(N\in{\mathbb{N}}\).

Proof

From Definition 4.1, we have

$${\mathcal{I}}_{q,\omega}^{\alpha}D_{q,\omega}^{\alpha}f(t)= {\mathcal{I}}_{q,\omega}^{\alpha}\bigl[ D_{q,\omega}^{N} {\mathcal {I}}_{q,\omega}^{N-\alpha} f(t) \bigr] = {\mathcal{I}}_{q,\omega }^{\alpha}D_{q,\omega}^{N} \bigl[ {\mathcal{I}}_{q,\omega}^{N-\alpha} f(t) \bigr]. $$

Using Theorem 3.5, we obtain

$$\begin{aligned} {\mathcal{I}}_{q,\omega}^{\alpha}D^{\alpha}_{q,\omega} f(t) =&D^{N}_{q,\omega} \bigl[ {\mathcal{I}}_{q,\omega}^{\alpha}{\mathcal{I}}_{q,\omega }^{N-\alpha} f(t) \bigr] - \sum _{k=0}^{N-1} \frac{(t-\omega_{0})^{\alpha-N+k}}{\Gamma_{q}(\alpha -N+k+1)} D_{q,\omega}^{k} \bigl[ {\mathcal{I}}_{q,\omega}^{N-\alpha} f(\omega_{0}) \bigr] \\ =&D^{N}_{q,\omega} \bigl[ {\mathcal{I}}_{q,\omega}^{N} f(t) \bigr] - \sum_{k=0}^{N-1} \frac{(t-\omega_{0})^{\alpha-N+k}}{\Gamma_{q}(\alpha-N+k+1)} \bigl[ D_{q,\omega}^{k-(N-\alpha)} f(\omega_{0}) \bigr] \\ =&f(t)-\sum_{k=0}^{N-1} \frac{(t-\omega_{0})^{\alpha-N+k}}{\Gamma _{q}(\alpha-N+k+1)} \bigl[ D_{q,\omega}^{\alpha-N+k}f(\omega_{0}) \bigr]. \end{aligned}$$

 □

Corollary 4.1

Let \(\alpha>0\), \(q\in(0,1)\), \(\omega >0\), and \(f:I_{q,\omega}^{T}\rightarrow{\mathbb{R}}\),

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

for some \(C_{i}\in{\mathbb{R}}\), \(i={\mathbb{N}}_{1,N} \) and \(N-1<\alpha< N\), \(N\in{\mathbb{N}}\).

Fractional Hahn difference operator of Caputo type

Now, we introduce a fractional Hahn difference operator of Caputo type.

Definition 5.1

For \(\alpha,\omega>0\), \(q\in(0,1)\), and f defined on \([\omega _{0},T]_{q,\omega}\), the fractional Hahn difference operator of Caputo type of order α is defined by

$$\begin{aligned} {{}^{\mathrm{C}}}D_{q,\omega}^{\alpha}f(t) :=&\bigl({ \mathcal{I}}_{q,\omega}^{N-\alpha } D_{q,\omega}^{N} f\bigr) (t) \\ =&\frac{1}{\Gamma_{q}(N-\alpha)} \int_{\omega_{0}}^{t} \bigl(t-\sigma_{q,\omega}(s) \bigr)_{q,\omega}^{\underline{N-\alpha -1}} D_{q,\omega}^{N}f(s) \,d_{q,\omega}s, \end{aligned}$$

and \({{}^{\mathrm{C}}}D^{0}_{q,\omega}f(t) = f(t)\), where \(N-1<\alpha< N\), \(N\in {\mathbb{N}}\).

Theorem 5.1

For \(\alpha>0\), \(q\in(0,1)\), \(\omega>0\), and \(f:I_{q,\omega}^{T}\rightarrow{\mathbb{R}}\),

$$\begin{aligned} {{}^{\mathrm{C}}}D_{q,\omega}^{\alpha}f(t) =&\frac{[(1-q)t-\omega]}{\Gamma _{q}(N-\alpha)} \sum_{k=0}^{\infty} q^{k} \bigl(t- \sigma_{q,\omega }^{k+1}(t) \bigr)_{q,\omega}^{\underline{N-\alpha-1}} D_{q,\omega }^{N}f \bigl( \sigma_{q,\omega}^{k}(t) \bigr) \\ =&\frac{(1-q)(t-\omega_{0})^{N-\alpha}}{\Gamma_{q}(N-\alpha)} \sum_{k=0}^{\infty} q^{k} \bigl(1-q^{k+1} \bigr)_{q,\omega}^{\underline {N-\alpha-1}} D_{q,\omega}^{N}f \bigl( \sigma_{q,\omega}^{k}(t) \bigr), \end{aligned}$$

where \(N-1<\alpha< N\), \(N\in{\mathbb{N}}\).

Proof

For \(t \in I_{q,\omega}^{T}\), by Definition 5.1, we have

$$\begin{aligned} \begin{aligned} {{}^{\mathrm{C}}}D_{q,\omega}^{\alpha}f(t)&= { \mathcal{I}}_{q,\omega}^{N-\alpha }D^{N}_{q,\omega} f(t) = \frac{1}{\Gamma_{q}(N-\alpha)} \int_{\omega_{0}}^{t} \bigl(t-\sigma _{q,\omega}(s) \bigr)_{q,\omega}^{\underline{N-\alpha-1}} D_{q,\omega}^{N}f(s) \,d_{q,\omega}s \\ &=\frac{[(1-q)t-\omega]}{\Gamma_{q}(N-\alpha)} \sum_{k=0}^{\infty} q^{k} \bigl(t-\sigma_{q,\omega}^{k+1}(t) \bigr)_{q,\omega }^{\underline{N-\alpha-1}} D_{q,\omega}^{N}f \bigl( \sigma_{q,\omega }^{k}(t) \bigr) \\ &=\frac{(1-q)(t-\omega_{0})^{N-\alpha}}{\Gamma_{q}(N-\alpha)} \sum_{k=0}^{\infty} q^{k} \bigl(1-q^{k+1} \bigr)_{q,\omega}^{\underline {N-\alpha-1}} D_{q,\omega}^{N}f \bigl( \sigma_{q,\omega}^{k}(t) \bigr). \end{aligned} \end{aligned}$$

 □

In the following theorem, we introduce the properties of fractional Hahn difference operator of Caputo type.

Theorem 5.2

For \(\alpha>0\), \(q\in(0,1)\), \(\omega>0\), and \(f:I_{q,\omega}^{T}\rightarrow{\mathbb{R}}\),

$$ {{}^{\mathrm{C}}}D_{q,\omega}^{\alpha}{\mathcal{I}}_{q,\omega}^{\alpha}f(t) =f(t). $$

Proof

For some \(N-1<\alpha< N\), \(N\in{\mathbb{N}}\), under Definition 5.1 and Theorem 4.3, we have

$$\begin{aligned} {{}^{\mathrm{C}}}D_{q,\omega}^{\alpha}{\mathcal{I}}_{q,\omega}^{\alpha}f(t) =& {\mathcal{I}}_{q,\omega}^{N-\alpha} D_{q,\omega}^{N} {\mathcal {I}}_{q,\omega}^{\alpha}f(t) = {\mathcal{I}}_{q,\omega}^{N-\alpha} D_{q,\omega}^{N-\alpha} f(t) \\ =&f(t)-\sum_{k=0}^{N-1} \frac{(t-\omega_{0})^{k-\alpha}}{\Gamma _{q}(k-\alpha+1)} \bigl[ D^{k}_{q,\omega} {\mathcal{I}}_{q,\omega}^{\alpha}f(\omega_{0}) \bigr] . \end{aligned}$$

From (3.1), we have

$$\sum_{k=0}^{N-1} \frac{(t-\omega_{0})^{k-\alpha}}{\Gamma_{q}(k-\alpha+1)} \bigl[ D^{k}_{q,\omega} {\mathcal{I}}_{q,\omega}^{\alpha}f( \omega_{0}) \bigr] =0. $$

It implies that

$${{}^{\mathrm{C}}}D_{q,\omega}^{\alpha}{\mathcal{I}}_{q,\omega}^{\alpha}f(t) =f(t). $$

 □

Theorem 5.3

For \(\alpha>0\), \(q\in(0,1)\), \(\omega>0\), and \(f:I_{q,\omega}^{T}\rightarrow{\mathbb{R}}\),

$$ {\mathcal{I}}_{q,\omega}^{\alpha}{{}^{\mathrm{C}}}D_{q,\omega}^{\alpha}f(t) =f(t)-\sum_{k=0}^{N-1} \frac{(t-\omega_{0})^{k}}{\Gamma _{q}(k+1)} \bigl[ D_{q,\omega}^{k}f(\omega_{0}) \bigr], $$

where \(N-1<\alpha< N\), \(N\in{\mathbb{N}}\).

Proof

From Definition 5.1 and Theorem 5.1, we have

$$\begin{aligned} {\mathcal{I}}_{q,\omega}^{\alpha}{{}^{\mathrm{C}}}D_{q,\omega}^{\alpha}f(t) =& {\mathcal{I}}_{q,\omega}^{\alpha}\bigl[ { \mathcal{I}}_{q,\omega }^{N-\alpha} D_{q,\omega}^{N} f(t) \bigr] = {\mathcal {I}}_{q,\omega}^{N} D_{q,\omega}^{N} f(t) \\ =&f(t)-\sum_{k=0}^{N-1} \frac{(t-\omega_{0})^{k}}{\Gamma _{q}(k+1)} \bigl[ D_{q,\omega}^{k}f(\omega_{0}) \bigr]. \end{aligned}$$

 □

Corollary 5.1

Let \(\alpha>0\), \(q\in(0,1)\), \(\omega >0\), and \(f:I_{q,\omega}^{T}\rightarrow{\mathbb{R}}\),

$$ {\mathcal{I}}_{q,\omega}^{\alpha}{{}^{\mathrm{C}}}D_{q,\omega}^{\alpha}f(t) =f(t)+C_{0}+C_{1}(t-\omega_{0})+ \cdots+C_{N-1}(t-\omega_{0})^{N-1} $$

for some \(C_{i}\in{\mathbb{R}}\), \(i={\mathbb{N}}_{0,N-1} \), and \(N-1<\alpha< N\), \(N\in{\mathbb{N}}\).

Conclusions

In this paper, we have introduced a fractional Hahn integral, Riemann-Liouville and Caputo fractional Hahn difference operators. Many properties of these fractional Hahn operators have been proved. This work is certainly not complete and should be a starting point of many other works. For example, in future works, one could define the Laplace transform for Hahn calculus. Also, another work will be to find the Hahn-convolution product and compute its Hahn-Laplace transform, so we could be able to solve many more Hahn difference equations.

References

  1. 1.

    Annaby, MH, Mansour, ZS: q-Fractional Calculus and Equations. Springer, Berlin (2012)

    Google Scholar 

  2. 2.

    Kac, V, Cheung, P: Quantum Calculus. Springer, New York (2002)

    Google Scholar 

  3. 3.

    Jagerman, DL: Difference Equations with Applications to Queues. Dekker, New York (2000)

    Google Scholar 

  4. 4.

    Aldowah, KA, Malinowska, AB, Torres, DFM: The power quantum calculus and variational problems. Dyn. Contin. Discrete Impuls. Syst., Ser. B, Appl. Algorithms 19, 93-116 (2012)

    MATH  MathSciNet  Google Scholar 

  5. 5.

    Birto da Cruz, AMC, Martins, N, Torres, DFM: Symmetric differentiation on time scales. Appl. Math. Lett. 26(2), 264-269 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  6. 6.

    Cruz, B, Artur, MC: Symmetric quantum calculus. PhD thesis, Aveiro University (2012)

  7. 7.

    Wu, GC, Baleanu, D: New applications of the variational iteration method from differential equations to q-fractional difference equations. Adv. Differ. Equ. 2013, 21 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  8. 8.

    Tariboon, J, Ntouyas, SK: Quantum calculus on finite intervals and applications to impulsive difference equations. Adv. Differ. Equ. 2013, 282 (2013)

    Article  MathSciNet  Google Scholar 

  9. 9.

    Álvarez-Nodarse, R: On characterization of classical polynomials. J. Comput. Appl. Math. 196, 320-337 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  10. 10.

    Hahn, W: Über Orthogonalpolynome, die q-Differenzenlgleichungen genügen. Math. Nachr. 2, 4-34 (1949)

    Article  MATH  MathSciNet  Google Scholar 

  11. 11.

    Costas-Santos, RS, Marcellán, F: Second structure relation for q-semiclassical polynomials of the Hahn tableau. J. Math. Anal. Appl. 329, 206-228 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  12. 12.

    Kwon, KH, Lee, DW, Park, SB, Yoo, BH: Hahn class orthogonal polynomials. Kyungpook Math. J. 38, 259-281 (1998)

    MATH  MathSciNet  Google Scholar 

  13. 13.

    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. PhD thesis, Université Nationale du Bénin, Bénin (1998)

  14. 14.

    Aldwoah, KA: Generalized time scales and associated difference equations. PhD thesis, Cairo University (2009)

  15. 15.

    Annaby, MH, Hamza, AE, Aldwoah, KA: Hahn difference operator and associated Jackson-Nörlund integrals. J. Optim. Theory Appl. 154, 133-153 (2012)

    Article  MATH  MathSciNet  Google Scholar 

  16. 16.

    Jackson, FH: Basic integration. Q. J. Math. 2, 1-16 (1951)

    Article  MATH  MathSciNet  Google Scholar 

  17. 17.

    Malinowska, AB, Torres, DFM: The Hahn quantum variational calculus. J. Optim. Theory Appl. 147, 419-442 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  18. 18.

    Malinowska, AB, Torres, DFM: Quantum Variational Calculus. Springer Briefs in Electrical and Computer Engineering - Control, Automation and Robotics. Springer, Berlin (2014)

    Google Scholar 

  19. 19.

    Malinowska, AB, Martins, N: Generalized transversality conditions for the Hahn quantum variational calculus. Optimization 62(3), 323-344 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  20. 20.

    Hamza, AE, Ahmed, SM: Theory of linear Hahn difference equations. J. Adv. Math. 4(2), 441-461 (2013)

    Google Scholar 

  21. 21.

    Hamza, AE, Ahmed, SM: Existence and uniqueness of solutions of Hahn difference equations. Adv. Differ. Equ. 2013, 316 (2013)

    Article  MathSciNet  Google Scholar 

  22. 22.

    Hamza, AE, Makharesh, SD: Leibniz’s rule and Fubini’s theorem associated with Hahn difference operator. J. Adv. Math. 12(6), 6335-6345 (2016)

    Google Scholar 

  23. 23.

    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)

    Article  MathSciNet  Google Scholar 

  24. 24.

    Sriphanomwan, U, Tariboon, J, Patanarapeelert, N, Ntouyas, SK, Sitthiwirattham, T: Nonlocal boundary value problems for second-order nonlinear Hahn integro-difference equations with integral boundary conditions. Adv. Differ. Equ. 2017, 170 (2017)

    Article  MathSciNet  Google Scholar 

  25. 25.

    Čermák, J, Nechvátal, L: On \((q,h)\)-analogue of fractional calculus. J. Nonlinear Math. Phys. 17(1), 51-68 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  26. 26.

    Č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)

    MATH  MathSciNet  Google Scholar 

  27. 27.

    Rahmat, MRS: The \((q,h)\)-Laplace transform on discrete time scales. Comput. Math. Appl. 62, 272-281 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  28. 28.

    Rahmat, MRS: On some \((q,h)\)-analogues of integral inequalities on discrete time scales. Comput. Math. Appl. 62, 1790-1797 (2011)

    Article  MATH  MathSciNet  Google Scholar 

  29. 29.

    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)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Acknowledgements

This research is supported by Suan Dusit University, Thailand.

Author information

Affiliations

Authors

Contributions

TS and TB worked together in the derivation of the mathematical results. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Thanin Sitthiwirattham.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

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.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Brikshavana, T., Sitthiwirattham, T. On fractional Hahn calculus. Adv Differ Equ 2017, 354 (2017). https://doi.org/10.1186/s13662-017-1412-y

Download citation

MSC

  • 39A10
  • 39A13
  • 39A70

Keywords

  • fractional Hahn integral
  • fractional Hahn difference operator
  • Jackson-Nörlund integral