Skip to main content

Asymptotic iteration method for solving Hahn difference equations


Hahn’s difference operator \(D_{q;w}f(x) =({f(qx+w)-f(x)})/({(q-1)x+w})\), \(q\in (0,1)\), \(w>0\), \(x\neq w/(1-q)\) is used to unify the recently established difference and q-asymptotic iteration methods (DAIM, qAIM). The technique is applied to solve the second-order linear Hahn difference equations. The necessary and sufficient conditions for polynomial solutions are derived and examined for the \((q;w)\)-hypergeometric equation.


Hahn [1, 2] introduced, for \(x\neq w/(1-q)\), the quantum difference operator

$$\begin{aligned}& D_{q;w}f(x) = \frac{f(q\, x+w)-f(x)}{(q-1)\,x+w},\quad q\in (0,1), w>0, \\& D_{q;w}^{0} f(x) =f(x),\qquad D_{q;w}^{n} f(x)= D_{q;w} \bigl\{ D_{q;w}^{n-1}f(x) \bigr\} ,\quad n=1,2,\ldots , \end{aligned}$$

where f is a function defined on an interval I of \(\mathbb{R}\) which contains \(w/(1-q)\). It is clear, using L’Hopital’s rule, that

$$ \lim_{x\to {w}/({1-q})}D_{q;w}f(x) =f^{\prime } \biggl( \frac{w}{1-q} \biggr) $$

provided that the function f is differentiable at \(w/(1-q)\) in the usual sense.

The Hahn difference operator \(D_{q;w}\) unifies (in the limit) and generalizes two well-known difference operators; namely, the quantum q-difference operator \(D_{q}\equiv D_{q;0}\) (see [37]) and the forward difference operator \(\Delta _{w}\equiv D_{1;w}\) (see [8, 9]). Included as a special case is the discrete forward difference operator \(\Delta =D_{1;1}\). In the limit, both \(D_{q}\) and \(\Delta _{w}\) generalize the derivative operator \(f'(x)=df/dx\). The generalization and the limit process to these important operators is illustrated by the following diagram:

A rigorous analysis of the calculus associated with the operator \(D_{q;w}\) along with the construction of a proper inverse of \(D_{q;w}\) and the associated integral calculus can be found in [1012].

The Hahn operator \(D_{q;w}\) is an important tool in the construction of families of orthogonal polynomials and several approximation problems (see, for example, [1319]).

In 2003, Çiftçi, Hall, and Saad introduced [20, 21] the asymptotic iteration method (AIM) to solve analytically and/or approximately the second-order linear homogeneous differential equation

$$ y^{\prime \prime }(x) = \lambda _{0}(x)\, y^{\prime }(x) + s_{0}(x)\, y(x),\quad {}'=d/dx, $$

where \(\lambda _{0}(x)\) and \(s_{0}(x)\) are continuously differentiable functions. They proved that, up to some multiplication constant, an analytic solution of this differential equation reads

$$\begin{aligned} y(x) =\exp \biggl(- \int ^{x}\frac{s_{n-1}(t)}{\lambda _{n-1}(t)}\,dt \biggr) \end{aligned}$$

provided that, for some \(n> 0\), (so-called terminating condition)

$$ \frac{s_{n}(x)}{\lambda _{n}(x)}= \frac{s_{n-1}(x)}{\lambda _{n-1}(x)}\quad \mbox{or} \quad \delta _{n}(x)= \lambda _{n}(x)s_{n-1}(x)-s_{n}(x) \lambda _{n-1}(x)\equiv 0, $$

given the AIM-sequences, for \(n=0,1,2,\ldots \) , as

$$\begin{aligned}& \lambda _{n}(x) = \lambda _{n-1}^{\prime }(x) + \lambda _{n-1}(x) \lambda _{0}(x) +s_{n-1}(x), \\& s_{n}(x) = s^{\prime }_{n-1}(x) + s_{0}(x)\lambda _{n-1}(x), \end{aligned}$$

initiated with \(\lambda _{-1}=1\) and \(s_{-1}=0\). This powerful and simple technique [22] proved to be very useful in studying the eigenvalue problems in quantum mechanics. Noting that if the analytic solutions of the linear differential equation (2) are not available, the terminating condition (4) plays a vital role in approximating the exact solutions with high (and almost controllable) precision [23, 24]. Ismail and Saad [25] recently shed further insight on the AIM mathematical foundation where the reasons for its success and the possible convergence failures of the iterative aspect of it were presented.

In another study by Ismail and Saad [26], a discrete version of the AIM was presented, \(dAIM\), along with applications to the classical difference equations [27]. Given the second-order linear difference equation

$$ \Delta ^{2}\, y(x)=\lambda _{0}(x)\, \Delta \, y(x)+s_{0}(x)\, y(x),\quad x\geq x_{0}, $$

a solution, up to some constant (periodic) function, is given by

$$ y(x)=\prod_{i=x_{0}}^{x-1} \biggl(1- \frac{s_{n-1}(i)}{\lambda _{n-1}(i) } \biggr) $$

provided that, for some \(n>0\),

$$ \frac{s_{n}(x)}{\lambda _{n}(x)} = \frac{s_{n-1}(x)}{\lambda _{n-1}(x)},\quad n=1,2, \ldots , $$


$$\begin{aligned}& \lambda _{n}(x) =\Delta \, \lambda _{n-1}(x)+\lambda _{n-1}(x+1) \lambda _{0}(x)+s_{n-1}(x+1), \\& s_{n}(x) =\Delta \, s_{n-1}(x)+ \lambda _{n-1}(x+1)s_{0}(x). \end{aligned}$$

Also, the quantum q-discrete version \(qAIM\) was introduced in [26]. Given a second-order q-difference equation

$$ D_{q}^{2}\, y(x)=\lambda _{0}(x)\,D_{q} y(x)+s_{0}(x)\, y(x),\quad 0< q< 1, $$

a solution, up to some constant periodic function, is given by

$$ y(x) ={\prod_{k=0}^{\infty } \biggl[1+(1-q)\, q^{k}\, x\, \frac{s_{n-1}(q^{k}\, x)}{\lambda _{n-1}(q^{k}\,x)} \biggr]^{-1}} $$

provided that

$$ \frac{s_{n}(x)}{\lambda _{n}(x)}=\frac{s_{n-1}(x)}{\lambda _{n-1}(x)},\quad n=1,2, \ldots , $$

where the functions \(\lambda _{n}(x)\) and \(s_{n}(x)\) are generated by

$$\begin{aligned}& \lambda _{n}(x) =D_{q}\, \lambda _{n-1}(x)+\lambda _{n-1}(q\, x)\, \lambda _{0}(x)+s_{n-1}(q\, x), \\& s_{n}(x) =D_{q}\,s_{n-1}(x)+\lambda _{n-1}(q\,x)\, s_{0}(x). \end{aligned}$$

For the proofs and detailed examples, we refer the reader to the recently published manuscript [26].

In the present work, we unify both the dAIM and qAIM using the Hahn operator (1). To achieve this goal, in Sect. 2 we summarize the relevant definitions and properties of the Hahn difference operator. Several novel properties of this operator are also introduced and proved in that section. In particular, the polynomials in the \((q;w)\)-space are introduced, and the associated Taylor polynomial expansions are derived. In Sect. 3, the solutions of the first- and second-order linear Hahn difference equations

$$ \textstyle\begin{cases} D_{q;w} y(x)=\alpha (x)\, y(x)+\beta (x), \\ D_{q:w}^{2}\, y(x) = \lambda _{0}(x)\, D_{q:w} y(x) + s_{0}(x)\, y(x), \end{cases} $$

are examined. The necessary and sufficient conditions for the existence of polynomial solutions of the second-order linear Hahn difference equation are derived and proved. In Sect. 4, the solutions of the hypergeometric equation [28]

$$ \bigl(e\, x^{2}+2\, f\, x+g \bigr)\, D_{q;w}^{2}\, y(x)+(2 \,\varepsilon \, x+ \gamma )\, D_{q;w}\, y(x)+\tau \,y(x)=0 $$

are deduced. The necessary and sufficient conditions of the polynomial solutions are established and applied to construct the first few solutions explicitly.

Preliminary definitions and properties of Hahn operator

To make this paper self-contained, we review the mathematical properties of the Hahn operator [1, 2, 10, 11, 18, 2932] in this section and provide the proofs for other new properties developed for the present work.

Theorem 1

If \(f,g:I\to \mathbb{R}\) and \(a,b\in \mathbb{R}\) are \(q;w\)-differentiable functions and \(x\in I\), then:

  1. 1.


    $$ D_{q;w} \bigl[a\, f(x) + b\, g(x) \bigr] = a \,D_{q;w}f(x) + b\, D_{q;w}g(x). $$
  2. 2.

    Product rule:

    $$\begin{aligned} D_{q;w} \bigl(f(x)\,g(x) \bigr) &= f(qx+w)D_{q;w}g(x) + g(x)D_{q;w}f(x) \\ &= g(qx+w)D_{q;w}f(x) + f(x)D_{q;w}g(x). \end{aligned}$$
  3. 3.

    Quotient rule:

    $$\begin{aligned} D_{q;w} \biggl(\frac{f(x)}{g(x)} \biggr) &= \frac{g(x)D_{q;w}f(x) - f(x)D_{q;w}g(x)}{g(qx+w)g(x)} \\ &=\frac{g(q\,x+w)D_{q;w}f(x) - f(q\,x+w)D_{q;w}g(x)}{g(qx+w)g(x)}, \end{aligned}$$

    provided that \(g(qx+w)\,g(x)\neq 0\) for all \(x\in I\).

Lemma 1

For \(q\ne 0\) and \(n=1,2,\ldots \) ,

$$\begin{aligned} f \Biggl(q^{n} x+w\sum _{j=0}^{n-1} q^{j} \Biggr)&=f(x) \\ &\quad {}+ \bigl((q-1) x+w \bigr) \sum_{j=0}^{n-1} q^{j} D_{q;w} f \Biggl(q^{j}x+w \sum _{i=0}^{j-1}q^{i} \Biggr). \end{aligned}$$


By definition

$$ \bigl[(q-1) x+w \bigr]D_{q;w} f ( x )=f(q x+w)-f(x) , $$

thus, replacing x with \(q\,x+w\), it follows that

$$ q \bigl[(q-1) x+w \bigr]D_{q;w} f (q x+w ) =f \Biggl(q^{2} x+\sum_{j=0}^{1}q^{j} w \Biggr)-f(qx+ w). $$

Repeating the process, we have recursively that

$$\begin{aligned} &q^{k} \bigl[(q-1) x+w \bigr]D_{q;w} f \Biggl(q^{k}x+\sum _{j=0}^{k-1}q^{j}w \Biggr) \\ &\quad =f \Biggl(q^{k+1} x+\sum_{j=0}^{k} q^{j} w \Biggr)-f \Biggl(q^{k}x+\sum _{j=0}^{k-1} q^{j} \, w \Biggr). \end{aligned}$$

The assertion then follows by sum of these equations for \(j=0\) to k. □

The following gives a generalization to Lemma 1.

Lemma 2

For \(x\neq w/(1-q)\),

$$\begin{aligned} &\sum_{j=0}^{n} q^{j} f \Biggl(q^{j}x+w\sum _{i=0}^{j-1}q^{i} \Biggr)D_{q;w} g \Biggl(q^{j}x+w\sum _{i=0}^{j-1}q^{i} \Biggr) \\ &\quad = \frac{f(q^{n+1} x+w\sum_{j=0}^{n} q^{j})\, g(q^{n+1} x+w\sum_{j=0}^{n} q^{j})-f(x)\, g(x)}{(q-1) x+w} \\ &\qquad {}-\sum_{j=0}^{n} q^{j} g \Biggl(q^{j}(qx+w)+w\sum_{i=0}^{j-1}q^{i} \Biggr)D_{q;w} f \Biggl(q^{j}x+w\sum _{i=0}^{j-1}q^{i} \Biggr), \end{aligned}$$

where identity (19) follows for \(g(x)\) or \(f(x)\) is a constant function.


We note

$$\begin{aligned} &\sum_{j=0}^{n} q^{j} D_{q;w} \Biggl[ f \Biggl(q^{j}x+w\sum _{i=0}^{j-1}q^{i} \Biggr)\,g \Biggl(q^{j}x+w\sum_{i=0}^{j-1}q^{i} \Biggr) \Biggr] \\ &\quad = \frac{f(q^{n+1} x+w\sum_{j=0}^{n} q^{j})g(q^{n+1} x+w\sum_{j=0}^{n} q^{j})-f(x)g(x)}{(q-1) x+w}. \end{aligned}$$

By the product rule of \(D_{q;w} [ f (q^{j}x+w\sum_{i=0}^{j-1}q^{i} )\,g (q^{j}x+w\sum_{i=0}^{j-1}q^{i} ) ]\), see (17), we have

$$\begin{aligned} &\sum_{j=0}^{n} q^{j} \Biggl[g \Biggl(q^{j}(qx+w)+w\sum_{i=0}^{j-1}q^{i} \Biggr)D_{q;w} f \Biggl(q^{j}x+w\sum _{i=0}^{j-1}q^{i} \Biggr) \\ &\qquad {}+ f \Biggl(q^{j}x+w\sum_{i=0}^{j-1}q^{i} \Biggr)D_{q;w} g \Biggl(q^{j}x+w\sum _{i=0}^{j-1}q^{i} \Biggr) \Biggr] \\ &\quad = \frac{f(q^{n+1} x+w\sum_{j=0}^{n} q^{j})g(q^{n+1} x+w\sum_{j=0}^{n} q^{j})-f(x)g(x)}{(q-1) x+w}, \end{aligned}$$

which completes the proof after some simple arrangements. □

Theorem 2

For a \(q;w\)-differentiable function f,

$$ f \Biggl(q^{n}x+w\sum_{k=0}^{n-1}q^{k} \Biggr)=\sum_{k=0}^{n} { \binom{n}{k}}_{q}\, q^{\frac{1}{2} k(k-1)}\, \bigl[(q-1)\, x+w \bigr]^{k}\, D_{q;w}^{k} f(x), $$

where \(\binom{n}{k}_{q}\) is the q-binomial coefficients [27, formula 12.1.4].


We prove this by induction on n. The result holds for \(n=1\) by the definition

$$ f (q\,x+w )=f(x)+ \bigl[(q-1)\, x+w \bigr] D_{q;w} f(x). $$

For the inductive step, assume that for some n the theorem is true. For \(n+1\), it follows using the well-know identity [33], for \(n\geq 1\) and \(1\le k\le n\),

$$ {\binom{n+1}{k}}_{q}= { \binom{n}{k}}_{q}+ q^{n+1-k}{\binom{n}{k-1}}_{q}, $$


$$\begin{aligned} &\sum_{k=0}^{n+1} {\binom{n+1}{k}}_{q} q^{k(k-1)/2} \bigl[(q-1)\, x+w \bigr]^{k} D_{q;w}^{k} f(x) \\ &\quad =\sum_{k=0}^{n+1} { \binom{n}{k}}_{q} q^{k(k-1)/2} \bigl[(q-1)\, x+w \bigr]^{k} D_{q;w}^{k} f(x) \\ &\qquad {}+\sum_{k=0}^{n+1} q^{n+1-k}{ \binom{n}{k-1}}_{q} q^{k(k-1)/2} \bigl[(q-1) \, x+w \bigr]^{k} D_{q;w}^{k} f(x). \end{aligned}$$

However, using the properties of the q-binomial coefficient \({\binom{n}{n+1}}_{q}=0\) and \({\binom{n}{0}}_{q}=1\), we have

$$\begin{aligned} &\sum_{k=0}^{n+1} {\binom{n+1}{k}}_{q} q^{k(k-1)/2} \bigl[(q-1)\, x+w \bigr]^{k} D_{q;w}^{k} f(x) \\ &\quad =\sum_{k=0}^{n} {\binom{n}{k}}_{q} q^{k(k-1)/2} \bigl[(q-1)\, x+w \bigr]^{k} D_{q;w}^{k} f(x) \\ &\qquad {}+\sum_{k=1}^{n+1} q^{n+1-k}{ \binom{n}{k-1}}_{q} q^{k(k-1)/2} \bigl[(q-1) \, x+w \bigr]^{k} D_{q;w}^{k} f(x). \end{aligned}$$

For \(1\le k\le n+1\), we have for \(j=k-1\), where \(0\leq j\le n\), that

$$\begin{aligned} &\sum_{k=0}^{n+1} {\binom{n+1}{k}}_{q} q^{k(k-1)/2} \bigl[(q-1)\, x+w \bigr]^{k} D_{q;w}^{k} f(x) \\ &\quad =\sum_{k=0}^{n} {\binom{n}{k}}_{q} q^{k(k-1)/2} \bigl[(q-1)\, x+w \bigr]^{k} D_{q;w}^{k} f(x) \\ &\qquad {}+\sum_{j=0}^{n} q^{n-j}{ \binom{n}{j}}_{q} q^{{(j+1)}j/2} \bigl[(q-1)\, x+w \bigr]^{j+1} D_{q;w}^{j+1} f(x) \\ &\quad =f \Biggl(q^{n} x+w\sum_{k=0}^{n-1}q^{k} \Biggr)+q^{n} \bigl[(q-1)\, x+w \bigr] \\ &\qquad {}\times \sum_{j=0}^{n}{ \binom{n}{j}}_{q} q^{{j(j-1)}/2} \bigl[(q-1)\, x+w \bigr]^{j} D_{q;w}^{j} \bigl(D_{q;w}f(x) \bigr), \end{aligned}$$

which, using (20), finally implies

$$\begin{aligned} &\sum_{k=0}^{n+1} { \binom{n+1}{k}}_{q} q^{k(k-1)/2} \bigl[(q-1)\, x+w \bigr]^{k} D_{q;w}^{k} f(x) \\ &\quad =f \Biggl(q^{n} x+w\sum_{k=0}^{n-1}q^{k} \Biggr)+q^{n} \bigl[(q-1)\, x+w \bigr]D_{q;w} f \Biggl(q^{n} x+w\sum_{k=0}^{n-1}q^{k} \Biggr) \\ &\quad = f \Biggl(q^{n+1} x+w\sum_{k=0}^{n}q^{k} \Biggr). \end{aligned}$$

This completes the proof. □

For example, if \(n=3\), then this lemma implies

$$\begin{aligned} &f \Biggl(q^{3}\,x+w\sum _{i=0}^{2} q^{i} \Biggr) \\ &\quad =f(x)+ \bigl(1+q+q^{2} \bigr) \bigl((q-1)x+w \bigr)D_{q;w}f(x) \\ &\qquad {}+q \bigl(q^{2}+q+1 \bigr) \bigl((q-1) x+w \bigr)^{2}D_{q;w}^{2}f(x)+q^{3} \bigl((q-1)x+w \bigr)^{3}D_{q;w}^{3}f(x). \end{aligned}$$

A slightly different form of the following theorem was given in [34, Lemma 2.1]; however, we give here a direct proof based on the method of mathematical induction.

Theorem 3

Let f be a \(q;w\) differentiable function on I. Then, for \(x\neq w/(1-q)\), the nth \(q;w\) derivative is evaluated using

$$\begin{aligned} D_{q;w}^{n} f(x)&=\frac{q^{-n(n-1)/2}}{((q-1)\, x+w)^{n}} \\ &\quad {}\times \sum_{k=0}^{n} (-1)^{n-k}\, q^{(n-k) (n-k-1)/2}\, \binom{n}{k}_{q} \, f \Biggl(q^{k}\,x+w \sum_{i=0}^{k-1} q^{i} \Biggr). \end{aligned}$$


Again, by induction on n, the result holds for \(n=1\) by

$$ D_{q;w} f(x) = \bigl((q-1) x+w \bigr)^{-1} \bigl[f(q \,x+w)-f(x) \bigr]. $$

Assume it is true for n. Then, for \(n+1\),

$$\begin{aligned} D_{q;w}^{n+1} f(x)&=D_{q;w}^{n} \bigl(D_{q;w} f(x) \bigr) \\ &= \frac{q^{-n(n-1)/2}}{((q-1) x+w)^{n}} \sum_{k=0}^{n} (-1)^{n-k} q^{(n-k) (n-k-1)/2} \binom{n}{k}_{q} D_{q;w} f \Biggl(q^{k}\,x+w \sum _{i=0}^{k-1} q^{i} \Biggr). \end{aligned}$$

However, by definition,

$$ D_{q;w} f \Biggl(q^{k}\,x+w \sum _{i=0}^{k-1} q^{i} \Biggr)= \frac{f(q^{k+1} x+w\sum_{j=0}^{k} q^{j} )-f(q^{k}x+w\sum_{j=0}^{k-1} q^{j})}{q^{k}[(q-1) x+w]}, $$

it follows that

$$\begin{aligned} D_{q;w}^{n+1} f(x)&=\frac{q^{-n(n-1)/2}}{((q-1) x+w)^{n+1}} \\ &\quad {}\times \sum_{k=0}^{n} (-1)^{n-k} q^{(n-k) (n-k-1)/2-k} \binom{n}{k}_{q} f \Biggl(q^{k+1}\,x+w \sum_{i=0}^{k} q^{i} \Biggr) \\ &\quad {}-\frac{q^{-n(n-1)/2}}{((q-1) x+w)^{n+1}} \\ &\quad {}\times \sum_{k=0}^{n} (-1)^{n-k} q^{(n-k) (n-k-1)/2-k} \binom{n}{k}_{q}f \Biggl(q^{k}\,x+w \sum_{i=0}^{k-1} q^{i} \Biggr). \end{aligned}$$

Shifting the index in the first sum, it follows that

$$\begin{aligned} D_{q;w}^{n+1} f(x)&={q^{-n(n-1)/2}} { \bigl((q-1) x+w \bigr)^{-n-1}} \\ &\quad {}\times \sum_{k=1}^{n+1} (-1)^{n-k+1} q^{(n-k+1) (n-k)/2-k+1} \binom{n}{k-1}_{q} f \Biggl(q^{k}\,x+w \sum_{i=0}^{k-1} q^{i} \Biggr) \\ &\quad {}-q^{-n(n-1)/2} \bigl((q-1) x+w \bigr)^{-n-1} \\ &\quad {}\times \sum_{k=0}^{n} (-1)^{n-k} q^{(n-k) (n-k-1)/2-k} \binom{n}{k}_{q}f \Biggl(q^{k}\,x+w \sum_{i=0}^{k-1} q^{i} \Biggr) \end{aligned}$$

and using \({\binom{n}{n+1}}_{q}= {\binom{n}{-1}}_{q}=0\), this expression can be written as

$$\begin{aligned} D_{q;w}^{n+1} f(x)&={q^{-n(n-1)/2}} { \bigl((q-1) x+w \bigr)^{-n-1}} \\ &\quad {}\times \sum_{k=0}^{n+1} (-1)^{n-k+1} q^{(n-k+1) (n-k)/2-k+1} \binom{n}{k-1}_{q} f \Biggl(q^{k}\,x+w \sum_{i=0}^{k-1} q^{i} \Biggr) \\ &\quad {}-{q^{-n(n-1)/2}} { \bigl((q-1) x+w \bigr)^{-n-1}} \\ &\quad {}\times \sum_{k=0}^{n+1} (-1)^{n-k} q^{(n-k) (n-k-1)/2-k} \binom{n}{k}_{q}f \Biggl(q^{k}\,x+w \sum_{i=0}^{k-1} q^{i} \Biggr). \end{aligned}$$

Further simplification yields

$$\begin{aligned} D_{q;w}^{n+1} f(x)&=\frac{q^{-n(n-1)/2}}{((q-1) x+w)^{n+1}} \sum _{k=0}^{n+1} (-1)^{n-k+1}q^{ (n-k-1)(n-k)/2-k} \\ &\quad {}\times \biggl[q^{n-k+1}\binom{n}{k-1}_{q}+ \binom{n}{k}_{q} \biggr]f \Biggl(q^{k}\,x+w \sum_{i=0}^{k-1} q^{i} \Biggr) \end{aligned}$$

or simply using (23)

$$\begin{aligned} D_{q;w}^{n+1} f(x)&= \frac{q^{-\frac{1}{2} n (n+1)}}{((q-1) x+w)^{n+1}} \\ &\quad {}\times \sum_{k=0}^{n+1} (-1)^{n-k+1}q^{\frac{1}{2} (n-k) (n+1-k)} \binom{n+1}{k}_{q} f \Biggl(q^{k}\,x+w \sum_{i=0}^{k-1} q^{i} \Biggr) \end{aligned}$$

as required. □

Remark 1

For arbitrary \(n=1,2,\ldots \) , the identity

$$ \sum_{k=0}^{n} (-1)^{k}\, q^{k\,(k-1)/2}\, \binom{n}{n-k}_{q}=0 $$

follows directly from Theorem 3 for the constant function \(f(x)\) and the fact that \(\sum_{k=0}^{n} A_{n-k}=\sum_{k=0}^{n} A_{k}\). Further, for \(0< m< n\),

$$ \sum_{k=0}^{n} (-1)^{k} q^{\frac{1}{2} (n-k) (n-k-1)} \binom{n}{k}_{q} \Biggl(q^{k}\,x +w \sum_{i=0}^{k-1} q^{i} \Biggr)^{m}=0. $$

Remark 2

For arbitrary \(n,m=1,2,\ldots \) ,

$$\begin{aligned} &D_{q;w}^{n}\, x^{m} \\ &\quad = \textstyle\begin{cases} 0, &\mbox{if }m< n, \\ \frac{q^{-n(n-1)/2} }{((1-q) x-w)^{n}}\sum_{k=0}^{n} (-1)^{k} q^{\frac{1}{2} (n-k) (n-k-1)} \binom{n}{k}_{q} (q^{k}\,x+w \sum_{i=0}^{k-1} q^{i} )^{m}, &\mbox{if }m\geq n, \end{cases}\displaystyle \end{aligned}$$

that follows directly from Theorem 3 for the function \(f(x)=x^{m}\).

Definition 1

We define the nth-degree polynomials in the \((q;w)\)-space as

$$ \mathcal{P}_{n}(x) = \prod _{j=0}^{n-1} \Biggl(x-w\sum _{i=0}^{j-1}q^{i} \Biggr) $$

recalling the empty product and sum: \(\prod_{k=0}^{-1} a_{k} = 1 \) and \(\sum_{k=0}^{-1} a_{k} = 0\).

The first few polynomials are given explicitly as follows:

$$ \textstyle\begin{cases} \mathcal{P}_{0}(x)=1, \\ \mathcal{P}_{1}(x)=x, \mathcal{P}_{2}(x)=x(x-w), \\ P_{3}(x)=x (x-w) (x-(q+1)\, w), \\ \mathcal{P}_{4}(x)=x (x-w) (x-(q+1)\, w) (x- (q^{2}+q+1 )\, w ), \\ \mathcal{P}_{5}(x)=x (x-w) (x-(q+1)\, w) (x- (q^{2}+q+1 )\, w ) (x- (q^{3}+q^{2}+q+1 )\, w ). \end{cases} $$

Theorem 4

The \(q;w\)-derivative of the nth-degree polynomial \(\mathcal{P}_{n}(x)\) is given by

$$ \mathcal{P}_{0}(x)=1,\qquad D_{q;w} \mathcal{P}_{n}(x) = \Biggl( \sum_{j=0}^{n-1} q^{j} \Biggr)\, \mathcal{P}_{n-1}(x),\quad n\geq 1. $$


For arbitrary n,

$$\begin{aligned} D_{q;w} \mathcal{P}_{n}(x)&= \frac{\prod_{j=0}^{n-1} (qx+w-w \sum_{i=0}^{j-1} q^{i} )-\prod_{j=0}^{n-1} (x-w \sum_{i=0}^{j-1} q^{i} )}{(q-1)x+w} \\ &= \frac{q^{n} ( x- \frac{w (q^{-1}-1 )}{q-1} )\prod_{j=1}^{n-1} ( x- \frac{w (q^{j-1}-1 )}{q-1} )-\prod_{j=0}^{n-1} (x-\frac{w (q^{j}-1 )}{q-1} )}{(q-1)x+w}. \end{aligned}$$

Since \(1\le j\le n-1\) implies \(0\le j-1\le n-2\), let \(i=j-1\), and it follows that \(j=i+1\). Thus

$$\begin{aligned} D_{q;w} \mathcal{P}_{n}(x)&= \frac{q^{n} ( x- \frac{w (q^{-1}-1 )}{q-1} )\prod_{j=0}^{n-2} ( x- \frac{w (q^{j}-1 )}{q-1} )-\prod_{j=0}^{n-1} (x-\frac{w (q^{j}-1 )}{q-1} )}{(q-1)x+w} \\ &=\prod_{j=0}^{n-2} \biggl( x- \frac{w (q^{j}-1 )}{q-1} \biggr) \frac{q^{n} ( x- \frac{w (q^{-1}-1 )}{q-1} )- (x-\frac{w (q^{n-1}-1 )}{q-1} )}{(q-1)x+w} \\ &=\prod_{j=0}^{n-2} \biggl( x- \frac{w (q^{j}-1 )}{q-1} \biggr)\frac{q^{n}-1}{q-1}= \Biggl(\sum _{j=0}^{n-1} q^{j} \Biggr) \prod _{j=0}^{n-2} \biggl( x- \frac{w (q^{j}-1 )}{q-1} \biggr) \\ &= \Biggl(\sum_{j=0}^{n-1} q^{j} \Biggr) \mathcal{P}_{n-1}(x) \end{aligned}$$

as required. □

Theorem 5

In terms of the polynomials \(\{ \mathcal{P}_{n}(x)\}_{n=0}\), an arbitrary r degree polynomial \(P_{r}(x)\) can be represented by the following expansion:

$$ P_{r}(x)=\sum_{k=0}^{r} \frac{D_{q;w}^{k} P_{r}(0)}{(1-q)^{-k}(q;q)_{k}} \mathcal{P}_{k}(x). $$


Let \(P_{r}(x)\) be the \(r^{th}\) degree polynomial of x that can be written as

$$ P_{r}(x)=\sum_{k=0}^{r}A_{k} \, \mathcal{P}_{k}(x), $$

where \(A_{k}\) are constants to be determined. Using the direct derivative for \(k=0,1,2,\ldots \) , followed by the substitution \(x=0\) to compute the corresponding \(A_{k}\), it is not difficult to prove that

$$\begin{aligned} A_{k}&= \frac{D_{q;w}^{k} P_{r}(0)}{(1+q)(1+q+q^{2})(1+q+q^{2}+q^{3})\cdots (1+q+q^{2}+\cdots +q^{k-1})} \\ &= \frac{D_{q;w}^{k} P_{r}(0)}{\prod_{j=0}^{k-1} (\sum_{i=0}^{j} q^{i} )}= \frac{D_{q;w}^{k} P_{r}(0)}{(1-q)^{-k}(q;q)_{k}}. \end{aligned}$$


$$ P_{r}(x)=\sum_{k=0}^{r} \frac{D_{q;w}^{k} P_{r}(0)}{(1-q)^{-k}(q;q)_{k}} \Biggl(\prod_{j=0}^{k-1} \Biggl(x-w\sum_{i=0}^{j-1}q^{j} \Biggr) \Biggr). $$


For example, the expansions of the polynomials \(x^{2}\), \(x^{3}\), \(x^{4}\) in terms of \(\{\mathcal{P}_{n}(x)\}\) are

$$\begin{aligned} &x^{2}= w\, x + x\, (x - w), \\ &x^{3}=w^{2}\,x +(q\,w+2w)\,x\,(x-w)+x (x-w) \bigl(x-(q+1) w \bigr), \\ &\begin{aligned}[b] x^{4}&=w^{3}\,x+ \bigl(q^{2}+3 q+3 \bigr) \, w^{2}\, x\, (x-w) \\ &\quad {}+ \bigl(q^{2}+2 q+3 \bigr)\, w\, x\, (x-w)\, \bigl(x-(1+q) w \bigr) \\ &\quad {}+ x\, (x-w) \, \bigl(x-(1+q)\, w \bigr)\, \bigl(x- \bigl(1+q+q^{2} \bigr)\, w \bigr). \end{aligned} \end{aligned}$$

Corollary 1

If \(P_{r}(x)\) is an r-degree polynomial, then

$$ D_{q;w}^{n} P_{r}(x)=0,\quad \textit{for all }n\geq r+1. $$

\({}_{q;w}\mbox{AIM}\) for Hahn difference equations

Several papers over the past few years have addressed the theory of the linear Hahn difference equations [17, 3540]. The existence and uniqueness theorems of solutions of linear Hahn difference equations are given in [35]. In [10], Annaby, Hamza, and Aldwoah solved the first order linear Hahn difference equations with constant coefficients.

First-order linear Hahn difference equations

We consider in this subsection the first-order Hahn difference equation with variable coefficients

$$ D_{q;w} y(x)=\alpha (x)\, y(x)+\beta (x), \quad 0< w, 0< q< 1, $$

where \(\alpha (x)\) and \(\beta (x)\) are arbitrary functions. Note that, using Hahn’s operator definition (1), equation (33) can be written as

$$ y(q\,x+w)= \bigl(1+ \bigl((q-1)\,x+w \bigr)\,\alpha (x) \bigr) \, y(x)+ \bigl((q-1)\,x+w \bigr)\,\beta (x) . $$

Theorem 6

For \(0< q<1\), the general solution of the \(q;w\)-difference equation of the first-order Hahn difference equation (33) or (34) is

$$\begin{aligned} y(x)&= \frac{c}{\prod_{k=0}^{\infty } (1+q^{k} ((q-1) x+w)\, \alpha (w \sum_{i=0}^{k-1} q^{i}+x\, q^{k} ) )} \\ &\quad {}-\sum_{k=0}^{\infty } \frac{q^{k} ((q-1) x+w)\, \beta (w \sum_{i=0}^{k-1} q^{i}+x q^{k} )}{\prod_{j=0}^{k} (1+q^{j} ((q-1) x+w)\, \alpha (w \sum_{i=0}^{j-1} q^{i}+x\, q^{j} ) )}, \end{aligned}$$

where \(c(qx+w)=c(x)\) is a periodic (constant) function.


We prove this theorem by direct substitution. By the given solution

$$\begin{aligned} y(q x+w) &= \frac{~c~}{\prod_{k=0}^{\infty } (1+q^{k+1} ((q-1)x+w) \alpha (w \sum_{i=0}^{k} q^{i}+q^{k+1}x )} \\ &\quad {}-\sum_{k=0}^{\infty } \frac{q^{k+1} ((q-1) x+w) \beta (w \sum_{i=0}^{k} q^{i}+q^{k+1}x )}{\prod_{j=0}^{k} (1+q^{j+1} ((q-1)x+w) \alpha (w \sum_{i=0}^{j} q^{i}+ q^{j+1}x ) )}, \end{aligned}$$

shift the indices of the finite products

$$\begin{aligned} y(q x+w)&= \frac{~c~}{\prod_{k=1}^{\infty } (1+q^{k} ((q-1)x+w) \alpha (w \sum_{i=0}^{k-1} q^{i}+q^{k}x )} \\ &\quad {}-\sum_{k=1}^{\infty } \frac{q^{k} ((q-1) x+w) \beta (w \sum_{i=0}^{k-1} q^{i}+q^{k}x )}{\prod_{j=0}^{k-1} (1+q^{j+1} ((q-1)x+w) \alpha (w \sum_{i=0}^{j} q^{i}+ q^{j+1}x ) )}, \end{aligned}$$

which can be written as

$$\begin{aligned} y(q x+w)&= \frac{(1+((q-1)x+w) \alpha (x))~c~}{\prod_{k=0}^{\infty } (1+q^{k} ((q-1)x+w) \alpha (w \sum_{i=0}^{k-1} q^{i}+q^{k}x )} \\ &\quad {}-\sum_{k=1}^{\infty } \frac{q^{k} ((q-1) x+w) \beta (w \sum_{i=0}^{k-1} q^{i}+q^{k}x )}{\prod_{j=0}^{k-1} (1+q^{j+1} ((q-1)x+w) \alpha (w \sum_{i=0}^{j} q^{i}+ q^{j+1}x ) )}. \end{aligned}$$

Using the given solution again, it follows that

$$\begin{aligned} y(q x+w)&= \bigl(1+ \bigl((q-1)x+w \bigr) \alpha (x) \bigr) \\ &\quad {}\times \Biggl(y(x)+\sum_{k=0}^{\infty } \frac{q^{k} ((q-1) x+w) \beta (w \sum_{i=0}^{k-1} q^{i}+q^{k}\,x )}{\prod_{j=0}^{k} (q^{j} ((q-1) x+w) \alpha (w \sum_{i=0}^{j-1} q^{i}+x q^{j} )+1 )} \Biggr) \\ &\quad {}-\sum_{k=1}^{\infty } \frac{q^{k} ((q-1) x+w)\, \beta (w \sum_{i=0}^{k-1} q^{i}+q^{k}x )}{\prod_{j=0}^{k-1} (1+q^{j+1} ((q-1)x+w)\, \alpha (w \sum_{i=0}^{j} q^{i}+ q^{j+1}x ) )}, \end{aligned}$$

which simplifies to

$$ y(q\, x+w)= \bigl(1+ \bigl((q-1)x+w \bigr)\, \alpha (x) \bigr)\, y(x)+ \bigl((q-1) x+w \bigr)\,\beta (x). $$


Remark 3

For \(0< q<1\), a solution of the homogeneous \(q;w\)-difference equation

$$ D_{q;w} y(x)= \alpha (x) \, y (x) $$

up to a multiplicative constant is

$$ y(x) ={\prod_{k=0}^{\infty } \Biggl(1+q^{k} \bigl((q-1) x+w \bigr)\, \alpha \Biggl(w \sum _{i=0}^{k-1} q^{i}+x\, q^{k} \Biggr) \Biggr)^{-1}}. $$

Remark 4

The exact solution of the limiting case \(w\to 0\) [26]

$$ D_{q} y(x)=\alpha (x)\, y(x)+\beta (x),\quad 0< q< 1, $$


$$ y(x)= \frac{c}{\prod_{k=0}^{\infty } (1-q^{k} (1-q)\,x\, \alpha (q^{k}\,x ) )}- \sum_{k=0}^{\infty } \frac{q^{k} (q-1)\, x\, \beta ( q^{k}\,x )}{\prod_{j=0}^{k} (1+q^{j} (q-1) x\, \alpha (q^{j}\,x ) )} $$

as developed earlier in [26].

Example 1

The solution of the first-order Hahn difference equation

$$ D_{q;w}\, y(x)=y(x),\quad 0< q< 1, $$

up to some multiplicative constant is

$$ y(x)= \frac{1}{\prod_{k=0}^{\infty } (1+q^{k} ((q-1) x+w) )}= \frac{1}{((1-q)\,x -w;q)_{\infty }}, $$

which is the \(q;w\)-exponential function [27, Theorem 12.2.6] as expected for this difference equation.

Example 2

The solution of the first-order Hahn difference equation

$$ D_{q;w}\, y(x)=a\, y(x)+b, \quad 0< q< 1, $$

where a and b are real constants, is

$$ y(x)=\frac{c}{(a ((1-q) x-w);q)_{\infty }}-\sum_{k=0}^{\infty } \frac{b\, q^{k} ((q-1) x+w)}{(a ((1-q) x-w);q)_{k+1}}. $$

\({}_{q;w}\mbox{AIM}\) for the second-order Hahn difference equations

In this section, we consider the second-order Hahn difference equation

$$ y \bigl(q^{2}\,x+(1+q)\, w \bigr)=\alpha (x) \, y(q \, x+w)+\beta (x)\, y(x),$$

where \(\alpha (x)\) and \(\beta (x)\) are \((q;w)\)-differentiable functions. Using the easily proved identity

$$ D_{q;w}^{2}f(x)= \frac{f(q^{2}\,x+(1+q)w)-(1+q)f(qx+w) +qf(x)}{q((q-1)x+w)^{2}}, $$

equation (38) can be written equivalently as

$$ D_{q;w}^{2} y(x)=\lambda _{0}(x)\, D_{q;w} y(x)+s_{0}(x)\, y(x), $$


$$ \lambda _{0}(x)=\frac{\alpha (x)-q-1}{q\, ((q-1)\, x+w)},\qquad s_{0}(x)= \frac{\alpha (x)+\beta (x)-1}{q\, ((q-1)\,x+w)^{2}}. $$

Although these two forms (38) and (40) are equivalent, we shall focus our attention on the form (40) to investigate the solutions of the second-order linear Hahn difference equation (40) with variable coefficients.

General solution

Acting by the Hahn difference operator \(D_{q;w}\) on equation (40) yields

$$ D_{q;w}^{3}\, y(x) =D_{q;w} \bigl(D_{q;w}^{2}\, y(x) \bigr)= D_{q;w} \bigl( \lambda _{0}(x)\, D_{q;w}\, y(x) \bigr)+D_{q;w} \bigl(s_{0}(x) \, y(x) \bigr). $$

However, by means of the product rule (17), it easily follows that

$$ D_{q;w}^{3}\, y(x)=\lambda _{1}(x)D_{q;w} y(x)+s_{1}(x)y(x), $$


$$ \textstyle\begin{cases} \lambda _{1}(x)= D_{q;w}\lambda _{0}(x)+\lambda _{0}(qx+w)\lambda _{0}(x)+s_{0}(qx+w), \\ s_{1}(x)= D_{q;w}s_{0}(x)+\lambda _{0}(qx+w)s_{0}(x). \end{cases} $$

Similarly, applying the Hahn difference once more yields

$$ D_{q;w}^{4}\, y(x)=\lambda _{2}(x) D_{q;w}y(x)+s_{2}(x)\, y(x), $$


$$ \textstyle\begin{cases} \lambda _{2}(x)= D_{q;w}\,\lambda _{1}(x)+\lambda _{1}(qx+w)\, \lambda _{0}(x)+s_{1}(qx+w), \\ s_{2}(x)=D_{q;w}\,s_{1}(x)+\lambda _{1}(qx+w)\,s_{0}(x). \end{cases} $$

In general, we may apply this process to obtain, for \(n=1,2,\ldots \) , that

$$\begin{aligned}& D_{q;w}^{n+1}\, y(x) =\lambda _{n-1}(x)\, D_{q;w}\, y(x)+s_{n-1}(x)\, y(x), \end{aligned}$$
$$\begin{aligned}& D_{q;w}^{n+2}\, y(x) =\lambda _{n}(x)\, D_{q;w}\, y(x)+s_{n}(x)\, y(x), \end{aligned}$$


$$ \textstyle\begin{cases} \lambda _{n}(x)= D_{q;w}\,\lambda _{n-1}(x)+\lambda _{n-1}(q\,x+w)\, \lambda _{0}(x)+s_{n-1}(q\, x+w), \\ s_{n}(x)= D_{q;w}\,s_{n-1}(x)+\lambda _{n-1}(q\,x+w)\,s_{0}(x). \end{cases} $$

The general form (43) can be proved by induction on n. For \(n=1\), the identity is true by construction. Assume it is true for \(n+1\), then for \(n+2\)

$$\begin{aligned} D_{q;w}^{n+2}\, y(x)&=D_{q;w} \bigl(D_{q;w}^{n+1}y(x) \bigr) \\ &=D_{q;w} \bigl(\lambda _{n-1}(x)\, D_{q;w}\, y(x)+s_{n-1}(x)\, y(x) \bigr), \end{aligned}$$

and by the product rule (17),

$$\begin{aligned} D_{q;w}^{n+2}\, y(x)&=\lambda _{n-1}(qx+w)\, D_{q;w}^{2}\, y(x)+D_{q;w} y(x)D_{q;w} \lambda _{n-1}(x) \\ &\quad {}+s_{n-1}(qx+w)D_{q;w} y(x)+y(x)D_{q;w} s_{n-1}(x). \end{aligned}$$

Using (40) and simplifying, we obtain

$$\begin{aligned} D_{q;w}^{n+2}\, y(x)&= \bigl(D_{q;w}\lambda _{n-1}(x) +\lambda _{n-1}(qx+w) \lambda _{0}(x)+s_{n-1}(qx+w) \bigr)D_{q;w}y(x) \\ &\quad {}+ \bigl(D_{q;w}s_{n-1}(x)+ \lambda _{n-1}(x)s_{0}(x) \bigr)y(x) \\ &=\lambda _{n}(x)D_{q;w}y(x)+s_{n}(x)y(x) \end{aligned}$$

as expected. Now dividing (42) and (41), we obtain

$$ \frac{D_{q;w}^{n+2}\, y(x)}{D_{q;w}^{n+1}\, y(x)}= \frac{\lambda _{n}(x) [D_{q;w}y(x)+\frac{s_{n}(x)}{\lambda _{n}(x) } y(x) ]}{\lambda _{n-1}(x) [D_{q;w}y(x)+\frac{s_{n-1}(x)}{\lambda _{n-1}(x)} y(x) ]}. $$

Thus, if for some \(n\geq 1\) the so-called terminating condition

$$ \frac{s_{n}(x)}{\lambda _{n}(x) } = \frac{s_{n-1}(x)}{\lambda _{n-1}(x) } $$

is satisfied, then it follows that

$$ \frac{D_{q;w}^{n+2}\, y(x)}{D_{q;w}^{n+1}\, y(x)}= \frac{\lambda _{n}(x)}{\lambda _{n-1}(x)}. $$

This is easily written as a first-order difference equation in \(D_{q;w}^{n+1}\, y(x)\)

$$ D_{q;w} \bigl[D_{q;w}^{n+1}\, y(x) \bigr]= \frac{\lambda _{n}(x)}{\lambda _{n-1}(x)} {D_{q;w}^{n+1}\, y(x)} $$

with a solution for \(0< q<1\) given by, see Theorem 6,

$$ D_{q;w}^{n+1} y(x) = \frac{c_{2}}{\prod_{k=0}^{\infty } [1+q^{k}({w+(q-1)\,x})\,\frac{\lambda _{n}(q^{k}x+w\sum_{i=0}^{k-1}q^{i})}{\lambda _{n-1}(q^{k}x+w\sum_{i=0}^{k-1}q^{i})} ]} $$

for some periodic (constant) function \(c_{2}\). Equation (41) reduces to

$$\begin{aligned} D_{q;w}y(x)&= -\frac{s_{n-1}(x)}{\lambda _{n-1}(x) }\, y(x) \\ &\quad {}+ \frac{1}{\lambda _{n-1}(x) } \frac{c_{2}}{\prod_{i=0}^{\infty } [1+q^{i}({w+(q-1)\,x})\frac{\lambda _{n}(q^{i}\, x+w\sum_{l=0}^{i-1}q^{l})}{\lambda _{n-1}(q^{i}x+w\sum_{l=0}^{i-1}q^{l})} ]}, \end{aligned}$$

with the general solution given by

$$\begin{aligned} y(x) &= \frac{c_{1}}{\prod_{k=0}^{\infty } [1+q^{k}({(1-q)\,x-w})\,\frac{s_{n-1}(x_{k})}{\lambda _{n-1}(x_{k})} ]} \\ &\quad {}-\sum_{i=0}^{\infty } \frac{\frac{q^{i}((q-1)x+w)}{\lambda _{n-1}(x_{i})}}{\prod_{j=0}^{i} [1+q^{j}((1-q)x-w)\frac{s_{n-1}(x_{j})}{\lambda _{n-1}(x_{j})}] } \\ &\quad {}\times \frac{c_{2}}{\prod_{j=0}^{\infty } [1+q^{i+j} ((q-1) x+w) \frac{\lambda _{n}(q^{i+j}\,x+w \sum_{l=0}^{i+j-1} q^{l})}{\lambda _{n-1}(q^{i+j}\,x+w \sum_{l=0}^{i+j-1} q^{l})} ]}, \end{aligned}$$

where \(x_{k}=q^{k}\,x+w\sum_{j=0}^{k-1} q^{j}\) and \(c_{i}\), \(i=1,2\), are periodic functions with the property that \(D_{q;w}\, c_{i}=0\), \(i=1,2\). It is a straightforward exercise to show that the two solutions are linearly independent by proving that the \((q;w)\)-Casorati determinant

$$ \begin{vmatrix} y_{1}(x) & y_{1}(q\,x+w) \\ y_{2}(x) & y_{2}(q\, x+w) \end{vmatrix} $$

does not vanish. We summarize this result in the following theorem.

Theorem 7

A solution of the second-order Hahn linear difference equation

$$ D_{q:w}^{2} y(x) = \lambda _{0}(x)\, D_{q:w} y(x) + s_{0}(x)\, y(x) $$

is given by

$$ y_{n}(x)={\prod_{k=0}^{\infty } \biggl[1+q^{k} \bigl({(1-q)\,x-w} \bigr)\, \frac{s_{n-1}(x_{k})}{\lambda _{n-1}(x_{k})} \biggr]^{-1}} $$

provided that, for some \(n>0\),

$$ \frac{s_{n}(x)}{\lambda _{n}(x) } = \frac{s_{n-1}(x)}{\lambda _{n-1}(x) } \quad \textit{or}\quad \delta _{n}(x) \equiv \lambda _{n}(x)s_{n-1}(x)- \lambda _{n-1}(x)s_{n}(x)=0, $$


$$ \textstyle\begin{cases} \lambda _{n}(x)= D_{q;w}\,\lambda _{n-1}(x)+\lambda _{n-1}(q\, x+w)\, \lambda _{0}(x)+s_{n-1}(q\, x+w), \\ s_{n}(x)= D_{q;w}\,s_{n-1}(x)+\lambda _{n-1}(q\,x+w)\,s_{0}(x). \end{cases} $$

Remark 5

In general, the terminating condition (45) is satisfied for \(n\to \infty \). As discussed and proved in the next section, the condition holds for finite n if the difference equation can be solved exactly by a polynomial of at most n degree. As far as we know, it is not possible to predict whether such a condition will hold for specific n without an experiment.

A criterion for polynomial solutions

We give in Theorems 8 and 9 below the necessary and sufficient conditions respectively for a second order linear Hahn difference equation (40) to have a polynomial solution.

Theorem 8

If a solution of the difference equation

$$ D_{q:w}^{2}\, y(x) = \lambda _{0}(x)\, D_{q:w} y(x) + s_{0}(x)\, y(x) $$

is a polynomial of at most of degree n, then \(\delta _{n}(x)=0\).


Multiplying equation (41) by \(\lambda _{n}(x)\) and (42) by \(\lambda _{n-1}(x)\) yields

$$\begin{aligned}& \lambda _{n}(x)D_{q;w}^{n+1}\, y(x) =\lambda _{n}(x)\lambda _{n-1}(x) D_{q;w}y(x)+ \lambda _{n}(x)s_{n-1}(x) y(x), \\& \lambda _{n-1}(x)D_{q;w}^{n+2}\, y(x) =\lambda _{n-1}(x)\lambda _{n}(x) D_{q;w}y(x)+\lambda _{n-1}(x)s_{n}(x) y(x). \end{aligned}$$

Subtracting these two equations, it follows that

$$\begin{aligned} \lambda _{n}(x)D_{q;w}^{n+1}y(x)-\lambda _{n-1}(x)D_{q;w}^{n+2}\, y(x)&= \bigl[ \lambda _{n}(x)s_{n-1}(x)-\lambda _{n-1}(x)s_{n}(x) \bigr] y(x) \\ &=\delta _{n}(x)y(x). \end{aligned}$$

Consequently, if \(y(x)\) is a polynomial of at most n, it follows by Corollary 1 that \(D_{q;w}^{n+2}y(x)=D_{q;w}^{n+1}y(x)=0\); and \(\delta _{n}(x)=0\). □

Lemma 3


$$ y(x)= \frac{1}{\prod_{k=0}^{\infty } [1+q^{k}({(1-q)\,x-w})\,\frac{s_{n-1}(q^{k}x+w\sum_{i=0}^{k-1}q^{i})}{\lambda _{n-1}(q^{k}x+w\sum_{i=0}^{k-1}q^{i})} ]}, $$


$$ D_{q;w}y(x)=- \frac{s_{n-1}(x)}{\lambda _{n-1}(x)}\times y(x). $$


It is not difficult to show, by shifting the indices of the product definitions of \(y(x)\) and \(y(q\,x+w)\), that the difference \(y(q\,x+w)-y(x)\) reduces to

$$\begin{aligned} y(qx+w)-y(x)&={\prod_{k=1}^{\infty } \biggl[1+q^{k} \bigl({(1-q) x-w} \bigr)\, \frac{s_{n-1}(q^{k}x+w\sum_{i=0}^{k-1}q^{i})}{\lambda _{n-1}(q^{k}x+w\sum_{i=0}^{k-1}q^{i})} \biggr]^{-1}} \\ &\quad {}- {\prod_{k=0}^{\infty } \biggl[1+q^{k} \bigl({(1-q)\,x-w} \bigr)\, \frac{s_{n-1}(q^{k}x+w\sum_{i=0}^{k-1}q^{i})}{\lambda _{n-1}(q^{k}x+w\sum_{i=0}^{k-1}q^{i})} \biggr]^{-1}}. \end{aligned}$$

Thus, by definition of the difference operator,

$$\begin{aligned} D_{q;w}y(x)&=\frac{y(qx+w)-y(x)}{(q-1)x+w} \\ &=y(x)\times \frac{{ [1+({(1-q) x-w})\,\frac{s_{n-1}(x)}{\lambda _{n-1}(x)} ]}- 1}{(q-1)x+w}=-y(x) \times \frac{s_{n-1}(x)}{\lambda _{n-1}(x)}. \end{aligned}$$


Theorem 9

If \(\delta _{n}=0\) and \(\lambda _{n-1}(x)\neq 0\), then the solution of the difference equation

$$ D_{q:w}^{2}\, y(x) = \lambda _{0}(x)\, D_{q:w}\, y(x) + s_{0}(x)\, y(x) $$

is a polynomial of at most degree n.


Given \(\delta _{n}(x)=0\), it follows by Theorem 6 that

$$ y(x)= \frac{1}{\prod_{k=0}^{\infty } [1+q^{k}({(1-q)\,x-w})\,\frac{s_{n-1}(q^{k}x+w\sum_{i=0}^{k-1}q^{i})}{\lambda _{n-1}(q^{k}x+w\sum_{i=0}^{k-1}q^{i})} ]}, $$

which allows one to evaluate \(D_{q;w} y(x)\) as, see Lemma 3,

$$ D_{q;w}y(x)=-y(x)\times \frac{s_{n-1}(x)}{\lambda _{n-1}(x)}. $$

Thus, using equation (41), we have

$$\begin{aligned} D_{q;w}^{n+1}\, y(x)&=\lambda _{n-1}(x) D_{q;w}y(x)+s_{n-1}(x) y(x) \\ &= \biggl(-\lambda _{n-1}(x) \frac{s_{n-1}(x)}{\lambda _{n-1}(x)}+s_{n-1}(x) \biggr)y(x)=0. \end{aligned}$$


Theorem 10

Let \(\lambda _{n}(x)\) and \(s_{n}(x)\) be as in (44), and set \(\delta _{n}(x) = \lambda _{n}(x)\,s_{n-1}(x)-\lambda _{n-1}(x)\,s_{n}(x)\). If \(\delta _{n}(x)=0\), then \(\delta _{n'}(x)=0\) for all \(n' \ge n+1\).


Note that, by the sequence relations of \(\lambda _{n}(x)\) and \(s_{n}(x)\), we have

$$\begin{aligned} \delta _{n+1}(x)&=\lambda _{n+1}(x)s_{n}(x)- \lambda _{n}(x)s_{n+1}(x) \\ &=s_{n}(x)D_{q;w}\,\lambda _{n}(x)+s_{n}(x) \lambda _{n}(qx+w)\, \lambda _{0}(x)+s_{n}(qx+w)s_{n}(x) \\ &\quad {}-\lambda _{n}(x)D_{q;w}\,s_{n}(x)-\lambda _{n}(x)\lambda _{n}(qx+w) \,s_{0}(x). \end{aligned}$$

This equation can be easily written as

$$\begin{aligned} \delta _{n+1}(x)&=s_{n}(qx+w)s_{n}(x) \biggl( \frac{s_{n}(x)D_{q;w}\,\lambda _{n}(x)-\lambda _{n}(x)D_{q;w}\,s_{n}(x)}{s_{n}(qx+w)s_{n}(x)} \biggr) \\ &\quad {}+s_{n}(qx+w)s_{n}(x)+s_{n}(x)\lambda _{n}(qx+w)\,\lambda _{0}(x)- \lambda _{n}(x) \lambda _{n}(qx+w)\,s_{0}(x), \end{aligned}$$

where the quotient rule yields

$$\begin{aligned} \delta _{n+1}(x)&=s_{n}(qx+w)s_{n}(x)D_{q;w} \biggl( \frac{\lambda _{n}(x)}{s_{n}(x)} \biggr) \\ &\quad {}+s_{n}(qx+w)s_{n}(x)+s_{n}(x)\lambda _{n}(qx+w)\,\lambda _{0}(x)- \lambda _{n}(x) \lambda _{n}(qx+w)\,s_{0}(x). \end{aligned}$$

Further simplification implies

$$\begin{aligned} \delta _{n+1}(x)&=s_{n}(qx+w)s_{n}(x) \\ &\quad {}\times \biggl[D_{q;w} \biggl(\frac{\lambda _{n}(x)}{s_{n}(x)} \biggr)+1+ \frac{\lambda _{n}(qx+w)}{s_{n}(qx+w)}\,\lambda _{0}(x)- \frac{\lambda _{n}(x)\lambda _{n}(qx+w)\,s_{0}(x)}{s_{n}(x)s_{n}(qx+w)} \biggr]. \end{aligned}$$

Using the terminating condition, it follows that

$$\begin{aligned} \delta _{n+1}(x)& =s_{n}(qx+w)s_{n}(x) \\ &\quad {}\times \biggl[D_{q;w} \biggl(\frac{\lambda _{n-1}(x)}{s_{n-1}(x)} \biggr)+1+ \frac{\lambda _{n-1}(qx+w)}{s_{n-1}(qx+w)}\,\lambda _{0}(x)- \frac{\lambda _{n-1}(x)\lambda _{n-1}(qx+w)\,s_{0}(x)}{s_{n-1}(x)s_{n-1}(qx+w)} \biggr], \end{aligned}$$

which implies

$$\begin{aligned} \delta _{n+1}(x)&=s_{n}(qx+w)s_{n}(x) \biggl[ \frac{s_{n-1}D_{q;w}\lambda _{n-1}(x)-\lambda _{n-1}(x)D_{n-1}s_{n-1}(x)}{s_{n-1}(x)s_{n-1}(qx+w)} \\ &\quad {}+1+\frac{\lambda _{n-1}(qx+w)}{s_{n-1}(qx+w)}\,\lambda _{0}(x)- \frac{\lambda _{n-1}(x)\lambda _{n-1}(qx+w)\,s_{0}(x)}{s_{n-1}(x)s_{n-1}(qx+w)} \biggr] \\ &=s_{n}(qx+w)s_{n}(x) \biggl[ \frac{s_{n-1}(x)D_{q;w}\lambda _{n-1}(x)-\lambda _{n-1}(x)D_{q;w}s_{n-1}(x)}{s_{n-1}(x)s_{n-1}(qx+w)} \\ &\quad {}+\frac{s_{n-1}(x)s_{n-1}(qx+w)}{s_{n-1}(x)s_{n-1}(qx+w)}+ \frac{s_{n-1}(x)\lambda _{n-1}(qx+w)}{s_{n-1}(x)s_{n-1}(qx+w)}\, \lambda _{0}(x) \\ &\quad {}- \frac{\lambda _{n-1}(x)\lambda _{n-1}(qx+w)\,s_{0}(x)}{s_{n-1}(x)s_{n-1}(qx+w)} \biggr]. \end{aligned}$$

Finally, we have

$$\begin{aligned} \delta _{n+1}(x) &=s_{n}(qx+w)s_{n}(x) \\ &\quad {}\times \biggl[ \frac{s_{n-1}(x) (D_{q;w}\lambda _{n-1}(x)+\lambda _{n-1}(qx+w)\lambda _{0}(x)+\lambda _{n-1}(qx+w) )}{s_{n-1}(x)s_{n-1}(qx+w)} \\ &\quad {} - \frac{\lambda _{n-1}(x) (D_{n-1}s_{n-1}(x)+\lambda _{n-1}(qx+w)\,s_{0}(x) )}{s_{n-1}(x)s_{n-1}(qx+w)} \biggr] \\ &=s_{n}(qx+w)s_{n}(x) \biggl[ \frac{s_{n-1}(x)\lambda _{n}(x)-\lambda _{n-1}(x)s_{n}(x)}{s_{n-1}(x)s_{n-1}(qx+w)} \biggr]=0 \end{aligned}$$

because by assumption \(\delta _{n}=0\). Since \(\delta _{n+1}=0\), \(\delta _{n+2}=0\), and so on. Therefore, \(\delta _{n'}=0\) for all \(n'\geq n+1\), which completes the proof. □


We consider first the Hahn difference equation with constant coefficients

$$ D_{q;w}^{2}y(x) = \lambda _{0} \, D_{q;w}y(x) + s_{0}\, y(x), $$

where a and b are real constants. Although it is clear, for all \(n\ge 1\), that \(D_{q;w} \lambda _{n-1}=D_{q;w}s_{n-1}=0\), the terminating condition \(\delta _{n}\) does not equal 0 for any fixed n. The \({}_{q;w}\mbox{AIM}\) sequences \(\lambda _{n} = \lambda _{n-1}\, \lambda _{0} + s_{n-1}\) and \(s_{n}= \lambda _{n-1}\,s_{0}\), however, yield

$$ \frac{s_{n}}{\lambda _{n}}= \frac{\lambda _{n-1}s_{0}}{ \lambda _{n-1}\lambda _{0} + s_{n-1}}. $$

Thus, as \(n\to \infty \), the terminating condition reads

$$ \frac{s_{\infty }}{\lambda _{\infty }}= \frac{s_{0}}{\lambda _{0} + \frac{s_{\infty }}{\lambda _{\infty }}}. $$

This is a quadratic equation with solution given by

$$ \frac{s_{\infty }}{\lambda _{\infty }} = \frac{-\lambda _{0} \pm \sqrt{\lambda _{0}^{2}+4s_{0}}}{2}. $$

The two linearly independent solutions are then

$$\begin{aligned} y_{\pm }(x) &= {\prod_{i=0}^{\infty } \biggl[1-q^{i} \bigl((q-1)x+w \bigr) \frac{-\lambda _{0} \pm \sqrt{\lambda _{0}^{2}+4s_{0}}}{2} \biggr]^{-1}} \\ & = \frac{1}{ (\frac{-2\lambda _{0}\pm \sqrt{\lambda _{0}^{2}+4 s_{0}}}{2} (w+(q-1) x);q )_{\infty }}. \end{aligned}$$

As a second example, we consider the \(q;w\)-hypergeometric equation [28]

$$ D_{q;w}^{2}\, y(x)= \underbrace{- \frac{2 \,\varepsilon \, x+\gamma }{e\, x^{2}+2\, f\, x+g}}_{ \lambda _{0}(x)}\, D_{q;w}\, y(x) \underbrace{- \frac{\tau }{e\, x^{2}+2\, f\, x+g}}_{s_{0}(x)}\,y(x), $$

with the constant coefficients ε, γ, e, f, g, and τ.

Considering the terminating condition for \(n=1\),

$$ \delta _{1}=\lambda _{1}s_{0}-s_{1} \lambda _{0}=\tau \, (2 \varepsilon +\tau )\equiv 0 \quad \text{if } \tau =0,-2\varepsilon . $$

Thus, for \(\tau =0\), the polynomial solution \(y(x)=P_{n}(x)\) is \(P_{0}(x)=1\).

For \(\tau =-2\varepsilon \), the exact polynomial solution, up to a multiplicative constant, is

$$ P_{1}(x) =\lim_{m\to \infty } \frac{1}{\prod_{k=0}^{m} [1+q^{k}({(1-q)\,x-w})\,\frac{s_{0}(q^{k}x+w\sum_{i=0}^{k-1}q^{i})}{\lambda _{0}(q^{k}x+w\sum_{i=0}^{k-1}q^{i})} ]}=x+ \frac{\gamma }{2\, \varepsilon }. $$

The second iteration \(n=2\) yields

$$ \delta _{2}=\lambda _{2}s_{1}-s_{2} \lambda _{1}=\tau \, (2\, \varepsilon +\tau ) \bigl((1+q) (e+2\, \varepsilon )+\tau \bigr), $$


$$\begin{aligned} \textstyle\begin{cases} \lambda _{1}(x)= \frac{2\varepsilon \gamma w+\gamma (2 f+\gamma +e\, w)-g (2\varepsilon +\tau )+((e+2\varepsilon ) (\gamma +\gamma q+2\varepsilon w)-2f\tau ) x+(2 \varepsilon (e+2\varepsilon ) q-e\tau ) x^{2}}{(g+x\, (2 f+e\, x)) (g+(w+q\, x) (2 f+e\, (w+q x)))}, \\ s_{1}(x)= \frac{\tau (2 f+\gamma +(e+2\varepsilon ) w)+((1+ q)e+2\varepsilon q) \tau \, x}{(g+x\, (2 f+e\, x)) (g+(w+q\, x) (2 f+e\, (w+q x)))}, \end{cases}\displaystyle \end{aligned}$$

then \(\delta _{2}=0\) if

$$ \tau =0, \qquad -2\varepsilon ,\qquad - (1+q) (e+2\varepsilon ). $$

For \(\tau =- (1+q)(e+2\varepsilon )\), the second-order polynomial solution is then

$$\begin{aligned} P_{2}(x)&=\lim_{m\to \infty } \frac{1}{\prod_{k=0}^{m} [1+q^{k}({(1-q)\,x-w})\,\frac{s_{1}(q^{k}x+w\sum_{i=0}^{k-1}q^{i})}{\lambda _{1}(q^{k}x+w\sum_{i=0}^{k-1}q^{i})} ]} \\ &=x^{2}+ \frac{(2\, f+\gamma ) (1+q)+2\, \varepsilon \, w}{(1+q)\, e+2\varepsilon \, q} \,x \\ &\quad {}+ \frac{2\,\varepsilon \, g\, q+\gamma \, (2 f+\gamma +2\, \varepsilon \, w)+e\, ((1+q)\,g+\gamma \,w)}{(e+2\,\varepsilon ) ((1+q)\,e+2\,\varepsilon \, q)}. \end{aligned}$$

Next, the third iteration \(n=3\) yields

$$ \delta _{3}=\tau (2\varepsilon +\tau ) \bigl((q+1) (e+2\varepsilon )+\tau \bigr) \bigl( \bigl(q^{2}+q+1 \bigr) \bigl((1+ q)\,e+2 \varepsilon \bigr)+\tau \bigr). $$

Thus, for

$$ \tau = - \bigl(1 + q + q^{2} \bigr) \bigl((1+q)e + 2 \varepsilon \bigr), $$

the third-order polynomial reads as follows:

$$\begin{aligned} P_{3}(x)&=x^{3}+ \frac{\tau _{2}}{q (2\,\varepsilon \, q+e\, (1+q)^{2} )} \,x^{2}+ \frac{\tau _{1}}{ (q (e (q+1)^{2}+2 \varepsilon q ) (e \sum_{i=0}^{2}q^{i} +2\varepsilon q ) )} \,x \\ &\quad {}+ \frac{\tau _{0}}{ (q ((1+q)\,e+2\varepsilon ) (2\varepsilon \, q+e (1+q)^{2} ) (2\varepsilon q+e (1+q+q^{2} ) ) )}, \end{aligned}$$


$$\begin{aligned} &\tau _{2}= \bigl(\gamma +2 f (1+q) \bigr)\sum _{i=0}^{2}q^{i} + \bigl(2(1+2q) \varepsilon +e (1+q) (2+q) \bigr) w, \\ &\begin{aligned} \tau _{1}&=\sum_{i=0}^{2}q^{i} \bigl(\gamma ^{2}+4\, f^{2} (1+q)+2 f \, \gamma \, (2+q)+g q \bigl(2\,\varepsilon \, q+e\, (1+q)^{2} \bigr) \bigr) \\ &\quad {}+2 \bigl((1+q)e+2\varepsilon \bigr) \sum_{i=0}^{2}q^{i} \bigl(\gamma +f (2+q) \bigr) w+2\varepsilon \bigl(2\varepsilon (1+q)+e \bigl(2+q (2+q) \bigr) \bigr) w^{2}, \end{aligned} \\ &\begin{aligned} \tau _{0}&=4\, f^{2}\, \gamma \, (1+q)+\gamma \, \bigl( \gamma ^{2}+2 \, \varepsilon \, g\, q\, (1+2 q) \bigr)+2\, \varepsilon \bigl(2\, \varepsilon \, g\, q\, (1+q)^{2}+\gamma ^{2} \, (2+q) \bigr) w \\ &\quad {}+4\,\varepsilon ^{2}\,\gamma \, (1+q)\, w^{2}+e^{2} \, (1+q)\, w\, \bigl(g\, (1+q)\, (2+q)\, \bigl(1+q+q^{2} \bigr)+ \gamma \bigl(2+q (2+q) \bigr) w \bigr) \\ &\quad {}+2 f \bigl(2\,\varepsilon \, g\, q\, (1+q)^{2}+\gamma ^{2} (2+q)+2 \varepsilon \,\gamma \bigl(2+q (2+q) \bigr) w \bigr) \\ &\quad {}+e\, \bigl(g (1+q) \bigl(\gamma +2 (1+q) \bigl(\gamma \, q+f \bigl(1+q+q^{2} \bigr) \bigr) \bigr) \\ &\quad {}+ \bigl(2\varepsilon \, g\, (1+q)^{3} (1+2 q)+\gamma \bigl(2 f (1+q) \bigl(3+q (2+q) \bigr) \\ &\quad {}+ \gamma \bigl(3+q (3+q) \bigr) \bigr) \bigr) w+2 \varepsilon \gamma \bigl(3+2 q (2+q) \bigr) w^{2} \bigr). \end{aligned} \end{aligned}$$

In general, it is not difficult to show that

$$ \delta _{n}=\prod_{k=0}^{n} \Biggl( \Biggl(\sum_{j=0}^{k-1} q^{j} \Biggr) \Biggl(2\, \varepsilon +e \sum _{j=0}^{k-2} q^{j} \Biggr)+ \tau \Biggr)\equiv 0, $$

and the necessary condition for the existence of the n-degree polynomial solution (see also [28, formula 10.1.1]) of the \((q;w)\)-hypergeometric equation (54), for \(n=1,2,\ldots \) , is that

$$ \tau _{n}=- \Biggl(\sum _{j=0}^{n-1} q^{j} \Biggr) \Biggl(2\, \varepsilon +e \sum_{j=0}^{n-2} q^{j} \Biggr). $$

With the \({}_{q;w}\mbox{AIM}\) technique under disposal, we hope it will be useful to study the analytic and approximate solutions of the q-difference equation. It will also be a practical tool in the construction of q-orthogonal polynomials and deepen our understanding of their mathematical properties.

Availability of data and materials

Not applicable.


  1. 1.

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

    MathSciNet  Article  Google Scholar 

  2. 2.

    Hahn, W.: Ein beitrag zur theorie der orthogonalpolynome. Monatshefte Math. 95, 19–24 (1983)

    MathSciNet  Article  Google Scholar 

  3. 3.

    Jackson, F.H.: q-Difference equations. Am. J. Math. 32, 305–314 (1910)

    Article  Google Scholar 

  4. 4.

    Gasper, G., Rahman, M.: Basic Hypergeometric Series, 2nd edn. Cambridge University Press, Cambridge (2004)

    Book  Google Scholar 

  5. 5.

    Annaby, M.H., Mansour, Z.S.: q-Taylor and interpolation series for Jackson q-difference operators. J. Math. Anal. Appl. 344, 472–483 (2008)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Andrews, G.E., Askey, R., Roy, R.: Special Functions. Cambridge University Press, Cambridge (1999)

    Book  Google Scholar 

  7. 7.

    Ismail, M.E.H., Stanton, D.: q-Series from a Contemporary Perspective. Contemp. Math., vol. 254. Am. Math. Soc, Providence (2000)

    Book  Google Scholar 

  8. 8.

    Bird, M.T.: On generalizations of sum formulas of the Euler–Maclaurin type. Am. J. Math. 58, 487–503 (1936)

    MathSciNet  Article  Google Scholar 

  9. 9.

    Jordan, C.: Calculus of Finite Differences, 3rd edn. Chelsea, New York (1965)

    MATH  Google Scholar 

  10. 10.

    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)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Aldwoah, K.A.: Generalized time scales and associated difference equations. Ph.D. thesis, Cairo University (2009)

  12. 12.

    Hamza, A.E., Sarhan, A.-S.M., Shehata, E.M., Aldwoah, K.A.: A general quantum difference calculus. Adv. Differ. Equ. 2015, 182 (2015)

    MathSciNet  Article  Google Scholar 

  13. 13.

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

    MathSciNet  Article  Google 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)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Dobrogowska, A., Odzijewicz, A.: Second order q-difference equations solvable by factorization method. J. Comput. Appl. Math. 193, 319–346 (2006)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Kwon, K.H., Lee, D.W., Park, S.B., Yoo, B.H.: Hahn class orthogonal polynomials. Kyungpook Math. J. 38, 259–281 (1998)

    MathSciNet  MATH  Google Scholar 

  17. 17.

    Petronilho, J.: Generic formulas for the values at the singular points of some special monic classical \(H_{q,w}\)-orthogonal polynomials. J. Comput. Appl. Math. 205, 314–324 (2007)

    MathSciNet  Article  Google Scholar 

  18. 18.

    Malinowskaa, A.B., Martins, N.: Generalized transversality conditions for the Hahn quantum variational calculus. Optimization 62, 323–344 (2013)

    MathSciNet  Article  Google Scholar 

  19. 19.

    Álvarez-Nodarse, R., Castillo, K., Mbouna, D., Petronilho, J.: On classical orthogonal polynomials related to Hahn’s operator. Integral Transforms Spec. Funct. 31, 487–505 (2020).

    MathSciNet  Article  MATH  Google Scholar 

  20. 20.

    Ciftci, H., Hall, R.L., Saad, N.: Asymptotic iteration method for eigenvalue problems. J. Phys. A 36, 11807–11816 (2003)

    MathSciNet  Article  Google Scholar 

  21. 21.

    Saad, N., Hall, R.L., Ciftci, H.: Criterion for polynomial solutions to a class of linear differential equations of second order. J. Phys. A 39, 13445–13454 (2006)

    MathSciNet  Article  Google Scholar 

  22. 22.

    Znojil, M.: A method of constructive quantum mechanics of remarkable hidden beauty. J. Phys. A, Math. Theor. 49, 451003 (2016)

    Article  Google Scholar 

  23. 23.

    Champion, B., Hall, R.L., Saad, N.: Asymptotic iteration method for singular potentials. Int. J. Mod. Phys. A 23, 1405–1415 (2008)

    Article  Google Scholar 

  24. 24.

    Hall, R.L., Saad, N.: Schrödinger spectrum generated by the Cornell potential. Open Phys. 13, 83–89 (2015)

    Article  Google Scholar 

  25. 25.

    Ismail, M.E.H., Saad, N.: The asymptotic iteration method revisited. J. Math. Phys. 61, 033501 (2020).

    MathSciNet  Article  MATH  Google Scholar 

  26. 26.

    Ismail, M.E.H., Saad, N.: A discrete and q asymptotic iteration method. J. Differ. Equ. Appl. 26(4), 488–509 (2020).

    MathSciNet  Article  MATH  Google Scholar 

  27. 27.

    Ismail, M.E.H.: Classical and Quantum Orthogonal Polynomials in One Variable. Cambridge University Press, Cambridge (2005)

    Book  Google Scholar 

  28. 28.

    Koekoek, R., Lesky, O.A., Swarttouw, R.F.: Hypergeometric Orthogonal Polynomials and Their q-Analogues. Springer Monographs in Mathematics. Springer, Berlin (2010)

    Book  Google Scholar 

  29. 29.

    Brikshavana, T., Sitthiwirattham, T.: On fractional Hahn calculus. Adv. Differ. Equ. 2017, 354 (2017)

    MathSciNet  Article  Google Scholar 

  30. 30.

    Patanarapeelert, N., Sitthiwirattham, T.: On nonlocal Robin boundary value problems for Riemann–Liouville fractional Hahn integrodifference equation. Bound. Value Probl. 2018, 46 (2018)

    MathSciNet  Article  Google Scholar 

  31. 31.

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

    MathSciNet  Article  Google Scholar 

  32. 32.

    Sitthiwirattham, T.: Nonlocal three-point boundary value problems for nonlinear second-order Hahn difference equations with two different \(q,w\)-derivatives. Adv. Differ. Equ. 2016, 116 (2016)

    Article  Google Scholar 

  33. 33.

    Gasper, G., Rahman, M.: Basic Hypergeometric Series. Cambridge University Press, Cambridge (2004)

    Book  Google Scholar 

  34. 34.

    Oraby, K., Hamza, A.: Taylor theory associated with Hahn difference operator. J. Inequal. Appl. 2020, 124 (2020)

    MathSciNet  Article  Google Scholar 

  35. 35.

    Hamza, A.E., Ahmed, S.M.: Existence and uniqueness of solutions of Hahn difference equations. Adv. Differ. Equ. 2013, 316 (2013).

    MathSciNet  Article  MATH  Google Scholar 

  36. 36.

    Hamza, A.E., Abdelkhaliq, M.M.: Hahn difference equations in Banach algebras. Adv. Differ. Equ. 2016, 161 (2016).

    MathSciNet  Article  MATH  Google Scholar 

  37. 37.

    Tariboon, J., Ntouyas, S.K., Sudsutad, W.: New concepts of Hahn calculus and impulsive Hahn difference equations. Adv. Differ. Equ. 2016, 255 (2016).

    MathSciNet  Article  MATH  Google Scholar 

  38. 38.

    Allahverdiev, B.P., Tuna, H.: Spectral theory of singular Hahn difference equation of the Sturm–Liouville type. Commun. Math. 28, 13–25 (2020).

    MathSciNet  Article  MATH  Google Scholar 

  39. 39.

    Hamza, A.E., Ahmed, S.M.: Theory of linear Hahn difference equations. J. Adv. Math. 4, 441–461 (2013)

    Google Scholar 

  40. 40.

    Abu-Risha, M.H., Annaby, M.H., Ismail, M.E.H., Mansour, Z.S.: Linear q-difference equations. Z. Anal. Anwend. 26, 481–494 (2007)

    MathSciNet  Article  Google Scholar 

Download references


Not applicable.


This work is supported by the Natural Sciences and Engineering Research Council of Canada (GP249507[NS] and RGPIN-2017-05321 [Md]).

Author information




The theory of the Hahn asymptotic iteration method was developed by NS and LM, the confirmation of the underling mathematics was done by MD. examples were discussed and presented by the three authors. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Nasser Saad.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

MacQuarrie, L., Saad, N. & Islam, M.S. Asymptotic iteration method for solving Hahn difference equations. Adv Differ Equ 2021, 354 (2021).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:


  • 39A05
  • 39A06
  • 39A13
  • 39A60
  • 47B39


  • Hahn operator
  • Linear difference equations
  • q-difference equations
  • Polynomial solutions
  • Eigenvalue problems