Theory and Modern Applications

# On the q-translation associated with the Askey-Wilson operator

## Abstract

In this article, we solve the open problem 24.5.6 given in the study of Ismail, which consists of extending the action of q-translation operators introduced by Ismail to some measurable functions by means of basic Fourier theory. Also, we prove that the q-exponential function is the only solution of the q-analogue of the Cauchy functional equation. As application we give an inversion formula for the q-Gauss Weierstrass transform.

2000 Mathematics Subject Classification: 33D45; 33D60.

## Introduction

The concept of the q-translation operators ${E}_{q}^{y}$ introduced by Ismail  was defined in polynomials through their action on the continuous q-Hermite polynomials H m (x | q) as follows

${E}_{q}^{y}{H}_{n}\left(x|q\right)=\sum _{m=0}^{n}\frac{{\left(q;q\right)}_{n}}{{\left(q;q\right)}_{m}{\left(q;q\right)}_{n-m}}{H}_{m}\left(x|q\right){g}_{n-m}\left(y\right){q}^{\left({m}^{2}-{n}^{2}\right)/4},$
(1)

where

${g}_{n}\left(cos\left(\theta \right)\right)={q}^{{n}^{2}/4}\left(1+{e}^{2i\theta }\right){e}^{-in\theta }{\left(-{q}^{2-n}{e}^{2i\theta };{q}^{2}\right)}_{n-1}.$

In others words

$\frac{{q}^{{n}^{2}/4}}{{\left(q;q\right)}_{n}}{E}_{q}^{y}{H}_{n}\left(x|q\right)=\sum _{0\le m,j,m+2j\le n}\frac{{q}^{j+\left({m}^{2}+{\left(n-m-2j\right)}^{2}\right)/4}}{{\left({q}^{2};{q}^{2}\right)}_{j}}\frac{{H}_{m}\left(x|q\right){H}_{n-m-2j}\left(y|q\right)}{{\left(q;q\right)}_{m}{\left(q;q\right)}_{n-m-2j}},$

where the polynomials H n (x | q) are defined by (see [2, 3])

${H}_{n}\left(\text{cos}\theta |q\right)=\sum _{k=0}^{n}\frac{{\left(q;q\right)}_{n}}{{\left(q;q\right)}_{n-k}{\left(q;q\right)}_{k}}{e}^{i\left(n-2k\right)\theta }.$
(2)

It was shown in  that the q-translation operators ${E}_{q}^{y}$ commute with the Askey-Wilson operator ${\mathcal{D}}_{q}$ on the space of all polynomials and by the use of the following expansion 

${\left(q{\alpha }^{2};{q}^{2}\right)}_{\infty }{\mathcal{E}}_{q}\left(x;\alpha \right)=\sum _{n=0}^{\infty }\frac{{\alpha }^{n}}{{\left(q;q\right)}_{n}}{q}^{{n}^{2}/4}{H}_{n}\left(x|q\right).$
(3)

In (, (2.21)), the author proved the following product formula for the q-exponential function

${E}_{q}^{y}{\mathcal{E}}_{q}\left(x;\alpha \right)={\mathcal{E}}_{q}\left(x;\alpha \right){\mathcal{E}}_{q}\left(y;\alpha \right).$
(4)

Furthermore, if y and z are two complex variables, then we have 

$\begin{array}{c}{E}_{q}^{y}{E}_{q}^{z}={E}_{q}^{z}{E}_{q}^{y},\\ {E}_{q}^{y}f\left(x\right)={E}_{q}^{x}f\left(y\right).\end{array}$

In  problem 24.5.6, Ismail proposed the extension of the action of ${E}_{q}^{y}$ to measurable functions and proving that the only measurable functional solution of the q-analogue of the Cauchy functional equation

${E}_{q}^{y}f\left(x\right)=f\left(x\right)f\left(y\right)$

is the q-exponential function. ${\mathcal{E}}_{q}\left(x;\alpha \right)$. The purpose of this paper is to define a new q-translation operator ${T}_{q}^{x}$ related to Askey-Wilson operator acting in some measurable functions by means of the basic Fourier series. We show that the new q-Translation coincides with ${E}_{q}^{y}$ on the set of continuous q-Hermite polynomials. In the same context, we establish many properties satisfied by the q-translation operator and generalizing the classical ones.

In the first section, we recall some results of basic Fourier series given in . In Section "Preliminaries", we define and study the q-translation operator ${T}_{q}^{x}$. Also we solve the following problem

$\left\{\begin{array}{c}\hfill {\mathcal{D}}_{q,x}u\left(x,\phantom{\rule{2.77695pt}{0ex}}y\right)={\mathcal{D}}_{q,y}u\left(x,\phantom{\rule{2.77695pt}{0ex}}y\right)\hfill \\ \hfill u\left(x,\phantom{\rule{2.77695pt}{0ex}}0\right)=f\left(x\right),\phantom{\rule{2.77695pt}{0ex}}f\in {H}_{\epsilon }.\hfill \end{array}\right\$
(5)

As a consequence of (5) we solve the basic analogue of the Cauchy functional equation

$f\left(x\oplus y\right):={T}_{q}^{x}f\left(y\right)=f\left(x\right)f\left(y\right),$
(6)

where the function f is in the same subspace of L2(w (x) dx). In addition, we prove the q-translation invariance of the measure w (x) dx over ( 1, 1). Some q-analogous of the Gauss Weierstrass transforms are studied in Section "q-Gauss Weierstrass transform".

## Preliminaries

Let 0 < q < 1 and a $ℂ$, the q-shift factorial is defined by (see )

$\begin{array}{c}{\left(a;q\right)}_{0}=1,\\ {\left(a;q\right)}_{n}={\prod }_{k=0}^{n-1}\left(1-a{q}^{k}\right),\phantom{\rule{1em}{0ex}}n=1,2,\dots ,\infty .\end{array}$

Given a function f (x) with x = cos θ, f (x) can be viewed as a function of e.

Let

$\stackrel{⌣}{f}\left({e}^{i\theta }\right):=f\left(\text{cos}\theta \right).$

The Askey-Wilson-divided difference operator ${\mathcal{D}}_{q}$ is defined by

$\left({\mathcal{D}}_{q}f\right)\left(x\right)=\frac{\stackrel{⌣}{f}\left({q}^{\frac{1}{2}}{e}^{i\theta }\right)-\stackrel{⌣}{f}\left({q}^{-\frac{1}{2}}{e}^{i\theta }\right)}{\left({q}^{\frac{1}{2}}-{q}^{{-}^{\frac{1}{2}}}\right)i\text{sin}\theta }.$
(7)

The q-exponential function is given by 

$\begin{array}{ll}\hfill {\mathcal{E}}_{q}\left(\text{cos}\theta ,\phantom{\rule{2.77695pt}{0ex}}\text{cos}\varphi ;\alpha \right)& =\frac{{\left({\alpha }^{2};{q}^{2}\right)}_{\infty }}{{\left(q{\alpha }^{2};{q}^{2}\right)}_{\infty }}\sum _{n=0}^{\infty }{\left(-{e}^{i\left(\theta +\varphi \right)}{q}^{\left(1-n\right)/2},\phantom{\rule{2.77695pt}{0ex}}-{e}^{i\left(\theta -\varphi \right)}{q}^{\left(1-n\right)/2};q\right)}_{n}\phantom{\rule{2em}{0ex}}\\ ×\frac{{\left(\alpha {e}^{-i\varphi }\right)}^{n}}{{\left(q;q\right)}_{n}}{q}^{{n}^{2}/4}.\phantom{\rule{2em}{0ex}}\end{array}$

The q-exponential function ${\mathcal{E}}_{q}\left(\text{cos}\theta ,\text{cos}\varphi ;\alpha \right)$ is a solution of the q-difference equation of first-order 

${\mathcal{D}}_{q}{\mathcal{E}}_{q}\left(\text{cos}\theta ,\phantom{\rule{2.77695pt}{0ex}}\text{cos}\varphi ;\alpha \right)=\frac{2\alpha {q}^{1/4}}{1-q}{\mathcal{E}}_{q}\left(\text{cos}\theta ,\phantom{\rule{2.77695pt}{0ex}}\text{cos}\varphi ;\alpha \right).$

Put

${\mathcal{E}}_{q}\left(x;\alpha \right)={\mathcal{E}}_{q}\left(x,\phantom{\rule{2.77695pt}{0ex}}0;\alpha \right),$

then, we have (see )

${\mathcal{E}}_{q}\left(x,\phantom{\rule{2.77695pt}{0ex}}y;\alpha \right)={\mathcal{E}}_{q}\left(x;\alpha \right){\mathcal{E}}_{q}\left(y;\alpha \right),$

and

$\underset{q\to 1}{\text{lim}}{\mathcal{E}}_{q}\left(x;\left(1-q\right)\alpha \right)=\text{exp}\left(2\alpha x\right).$

Ismail and Zhang [5, 3] defined the q-cosine and q-sine functions through their q-exponential function as in the standard way, i.e.,

${\mathcal{E}}_{q}\left(x;i\omega \right)={C}_{q}\left(x;\omega \right)+i{S}_{q}\left(x;\omega \right),$

and used transformation formulas to continue them analytically to entire functions in the variable ω. Bustoz and Suslov  have established the following orthogonality relations

${\int }_{-1}^{1}{\mathcal{E}}_{q}\left(x;i{\omega }_{n}\right)\overline{{\mathcal{E}}_{q}\left(x;i{\omega }_{m}\right)}w\left(x\right)dx=2k\left({\omega }_{n}\right){\delta }_{n,m},$
(8)

where

$\begin{array}{ll}\hfill w\left(\text{cos}\theta \right)& =\frac{{\left({e}^{2i\theta },{e}^{-2i\theta };q\right)}_{\infty }}{{\left({q}^{1/2}{e}^{2i\theta },{q}^{1/2}{e}^{-2i\theta };q\right)}_{\infty }},\phantom{\rule{2em}{0ex}}\\ \hfill k\left(\omega \right)& =\pi \frac{{\left({q}^{1/2};q\right)}_{\infty }^{2}}{{\left(q;q\right)}_{\infty }^{2}}\frac{{\left(-{\omega }^{2};{q}^{2}\right)}_{\infty }}{{\left(-q{\omega }^{2};{q}^{2}\right)}_{\infty }}\sum _{k=0}^{\infty }\frac{{q}^{k/2}}{1+{\omega }^{2}{q}^{k}},\phantom{\rule{2em}{0ex}}\end{array}$

ω0 = 0, ω1 < ω2 < ..., are zeros of the q-sine function S q ((q1/ 4+ q-1/ 4)/2); ω) and for n = 1, 2, . . . , ω -n = −ω n .

From , we have the following asymptotic estimates as n →

${\omega }_{n}~{q}^{1/4-n},\phantom{\rule{0.3em}{0ex}}\phantom{\rule{0.3em}{0ex}}and\phantom{\rule{0.3em}{0ex}}k\left({\omega }_{n}\right)~2\pi \frac{{\left(-q;{q}^{2}\right)}_{\infty }}{{\left(-{q}^{1/2};q\right)}_{\infty }^{2}},$
(9)

and for 0 < ε < 1/ 2 and |x| ≤ 1 < (qε + q-ε)/ 2, we have

$|{\mathcal{E}}_{q}\left(x;i{\omega }_{n}\right)|<\frac{{\left(-{q}^{1/4-\epsilon }|{\omega }_{n}|;{q}^{1/2}\right)}_{\infty }}{{\left(q,{q}^{2\epsilon },{q}^{1-2\epsilon };q\right)}_{\infty }{\left(-q{\omega }_{n}^{2};{q}^{2}\right)}_{\infty }}~C{q}^{-2\epsilon n},$
(10)

where C = 1/(−q1/ 2, q; q)(qε, q1/ 2-ε; q1/ 2).

## q-Translation

We define the q-Fourier transform ${\mathcal{F}}_{q}$ as

${\mathcal{F}}_{q}\left(f\right)\left(n\right)={\int }_{-1}^{1}{\mathcal{E}}_{q}\left(x;-i{\omega }_{n}\right)f\left(x\right)w\left(x\right)dx,\phantom{\rule{2.77695pt}{0ex}}n\in ℤ.$

Put

${l}^{2}\left(k\left({\omega }_{n}\right)\right)=\left\{{\left({z}_{n}\right)}_{n\in ℤ};\sum _{n=-\infty }^{\infty }\frac{1}{2k\left({\omega }_{n}\right)}|{z}_{n}{|}^{2}<\infty \right\}.$

Theorem 1. The transform${\mathcal{F}}_{q}$ is an isomorphism from L2(( 1, 1), w(x)dx) into l2 (k (ω n )) and its inverse is given by

$f\left(x\right)=\sum _{n=-\infty }^{\infty }\frac{1}{2k\left({\omega }_{n}\right)}{\mathcal{F}}_{q}\left(f\right)\left(n\right){\mathcal{E}}_{q}\left(x;i{\omega }_{n}\right).$

Proof. The result follows from the fact that the family ${\left\{{\mathcal{E}}_{q}\left(x;i{\omega }_{n}\right)\right\}}_{n=-\infty }^{\infty }$ is complete and orthogonal in L2 (( 1, 1), w(x)dx) (see , ). □

Next, we use the q-Fourier series to define the q-translation operators ${T}_{q}^{x}$. Let denote by H ε , (ε > 0), the space of functions in L2(( 1, 1), w(x)dx) such that

$\sum _{n=-\infty }^{\infty }\frac{{q}^{-4\epsilon |n|}}{2k\left({\omega }_{n}\right)}|\mathcal{F}\left(f\right)\left(n\right){|}^{2}<\infty .$

Definition 1. Let 0 < ε < 1/ 2 and f in H ε , we put

$\begin{array}{c}{T}_{q}^{y}f\left(x\right)=\sum _{n=-\infty }^{\infty }\frac{1}{2k\left({\omega }_{n}\right)}{\mathcal{F}}_{q}\left(f\right)\left(n\right){\mathcal{E}}_{q}\left(x;i{\omega }_{n}\right){\mathcal{E}}_{q}\left(y;i{\omega }_{n}\right),\\ =\sum _{n=-\infty }^{\infty }\frac{1}{2k\left({\omega }_{n}\right)}{\mathcal{F}}_{q}\left(f\right)\left(n\right){\mathcal{E}}_{q}\left(x,\phantom{\rule{2.77695pt}{0ex}}y;i{\omega }_{n}\right).\end{array}$

The operators ${T}_{q}^{y}$, are called q− translation operators associated to the Askey-Wilson operator.

Remark 1. (1) The q-translation operators are characterized by the formula

${\mathcal{F}}_{q}\left({T}_{q}^{y}f\right)\left(n\right)={\mathcal{E}}_{q}\left(y;i{\omega }_{n}\right){\mathcal{F}}_{q}\left(f\right)\left(n\right),n\in ℤ.$
1. (2)

The Askey-Wilson operator introduced in (7) can be defined on the space H 1/ 2via

${\mathcal{D}}_{q}f\left(x\right)=\frac{{q}^{1/4}}{1-q}i\sum _{n=-\infty }^{\infty }\frac{1}{k\left({\omega }_{n}\right)}{\omega }_{n}{\mathcal{F}}_{q}\left(f\right)\left(n\right){\mathcal{E}}_{q}\left(x;i{\omega }_{n}\right).$

Proposition 2. For 0 < ε < 1/ 2, we have

1. (1)

${T}_{q}^{0}=id$

2. (2)

${T}_{q}^{y}{\mathcal{E}}_{q}\left(x;i{\omega }_{n}\right)={\mathcal{E}}_{q}\left(x;i{\omega }_{n}\right){\mathcal{E}}_{q}\left(y;i{\omega }_{n}\right)$

3. (3)

${T}_{q}^{y}f\left(x\right)={T}_{q}^{x}f\left(y\right)$

4. (4)

${\mathcal{D}}_{q}{T}_{q}^{y}f={T}_{q}^{y}{\mathcal{D}}_{q}f,f\in {H}_{1}$,

where id denotes the identity operator.

Proof. The properties (1)-(3) are evident. To prove property (4), let

$f\left(x\right)=\sum _{n=-\infty }^{\infty }{\mathcal{F}}_{q}\left(f\right)\left(n\right){\mathcal{E}}_{q}\left(x;i{\omega }_{n}\right)\in {H}_{1}.$

From (9) and (10) we have

$\begin{array}{ll}\hfill {\mathcal{D}}_{q}{T}_{q}^{y}f& =\sum _{n=-\infty }^{\infty }\frac{2{q}^{1/4}}{1-q}i{\omega }_{m}{\mathcal{F}}_{q}\left(f\right)\left(n\right){\mathcal{E}}_{q}\left(x;i{\omega }_{n}\right){\mathcal{E}}_{q}\left(x;i{\omega }_{n}\right)\phantom{\rule{2em}{0ex}}\\ ={T}_{q}^{y}{\mathcal{D}}_{q}f.\phantom{\rule{2em}{0ex}}\end{array}$

Theorem 3. For 0 < ε < 1/ 2 and f in H ε , the function

$u\left(x,\phantom{\rule{2.77695pt}{0ex}}y\right)={T}_{q}^{y}f\left(x\right),$

is the unique solution of the system

$\left\{\begin{array}{c}\hfill {\mathcal{D}}_{q,x}u\left(x,\phantom{\rule{2.77695pt}{0ex}}y\right)={\mathcal{D}}_{q,y}u\left(x,\phantom{\rule{2.77695pt}{0ex}}y\right),\hfill \\ \hfill u\left(x,\phantom{\rule{2.77695pt}{0ex}}0\right)=f\left(x\right).\hfill \end{array}\right\$
(11)

Proof. It is clear that the function ${T}_{q}^{y}f\left(x\right)$ is a solution of the system (11). Applying the q-Fourier transform to each member of the system (11), we obtain for $n\in ℤ$,

$\left\{\begin{array}{c}\hfill {\mathcal{D}}_{q,y}{\mathcal{F}}_{q}\phantom{\rule{2.77695pt}{0ex}}\left(u\phantom{\rule{2.77695pt}{0ex}}\left(.;\phantom{\rule{2.77695pt}{0ex}}y\right)\right)\left(n\right)=\frac{2i{q}^{1/4}}{1-q}{\omega }_{n}{\mathcal{F}}_{q}\left(u\phantom{\rule{2.77695pt}{0ex}}\left(.;\phantom{\rule{2.77695pt}{0ex}}y\right)\right),\hfill \\ \hfill {\mathcal{F}}_{q}\phantom{\rule{2.77695pt}{0ex}}\left(u\phantom{\rule{2.77695pt}{0ex}}\left(.;\phantom{\rule{2.77695pt}{0ex}}0\right)\right)\left(n\right)={\mathcal{F}}_{q}\left(f\right)\left(n\right).\hfill \end{array}\right\$

Hence

${\mathcal{F}}_{q}\phantom{\rule{2.77695pt}{0ex}}\left(u\phantom{\rule{2.77695pt}{0ex}}\left(.;\phantom{\rule{2.77695pt}{0ex}}y\right)\right)\left(n\right)={\mathcal{F}}_{q}\left(f\right)\left(n\right){\mathcal{E}}_{q}\left(y;i{\omega }_{n}\right).$

So that

$\begin{array}{ll}\hfill u\left(x,\phantom{\rule{2.77695pt}{0ex}}y\right)& =\sum _{n=-\infty }^{\infty }{\mathcal{F}}_{q}\left(f\right)\left(n\right){\mathcal{E}}_{q}\left(y;i{\omega }_{n}\right){\mathcal{E}}_{q}\left(x;i{\omega }_{n}\right)\phantom{\rule{2em}{0ex}}\\ ={T}_{q}^{y}f\left(x\right).\phantom{\rule{2em}{0ex}}\end{array}$

Proposition 4. Let 0 < ε < 1/ 4, we have

${\mathcal{E}}_{q}\phantom{\rule{2.77695pt}{0ex}}\left(x;\phantom{\rule{2.77695pt}{0ex}}it\right)\in {H}_{\epsilon }.$

Proof. From the integral (3.13) in , we get

where

$\mathsf{\text{Sin}}{\mathsf{\text{c}}}_{q}\left(t,\phantom{\rule{2.77695pt}{0ex}}n\right)=\frac{{\left({q}^{1/2};q\right)}_{1/2}{\left(-q{\omega }_{n}^{2};{q}^{2}\right)}_{\infty }\mathsf{\text{Im}}\left({\left(it,-i{\omega }_{n};{q}^{1/2}\right)}_{\infty }\right)}{{\left(-q{t}^{2};{q}^{2}\right)}_{\infty }\left({\omega }_{n}+t\right)\frac{\partial }{\partial t}\mathsf{\text{Im}}\left({\left(it,-i{\omega }_{n};{q}^{1/2}\right)}_{\infty }\right){|}_{t=-{\omega }_{n}}}.$

By (9), we have the asymptotic estimates as n

$\begin{array}{ll}\hfill {\left(-q{\omega }_{n}^{2};{q}^{2}\right)}_{\infty }& ~{\left(-{q}^{1/2-2n};{q}^{2}\right)}_{\infty }\phantom{\rule{2em}{0ex}}\\ ~{\left(-\right)}^{n}{q}^{-{n}^{2}+1/2n}{\left(-{q}^{1/2};{q}^{2}\right)}_{n}{\left(-{q}^{3/2};{q}^{2}\right)}_{\infty },\phantom{\rule{2em}{0ex}}\end{array}$

and similarly

$\mathsf{\text{Im}}{\left(it,\phantom{\rule{2.77695pt}{0ex}}-i{\omega }_{n};{q}^{1/2}\right)}_{\infty }~{\left(-1\right)}^{n}{q}^{-{n}^{2}}\mathsf{\text{Im}}{\left(it,\phantom{\rule{2.77695pt}{0ex}}i{q}^{1/4};{q}^{1/2}\right)}_{\infty }.$

Then from (9) and relation ((3.15), ), we obtain as n → ∞

$\mathsf{\text{Sin}}{\mathsf{\text{c}}}_{q}\left(t,n\right)~\frac{{\left(q,{q}^{2}\right)}_{\infty }^{3}\mathsf{\text{Im}}{\left(it,i{q}^{1/4};{q}^{1/2}\right)}_{\infty }}{2{q}^{1/4}{\left(q,q\right)}_{\infty }^{2}{\left({q}^{-3/2},{q}^{1/2},q;{q}^{2}\right)}_{\infty }}{q}^{n/2},$
(12)

and

$\mathsf{\text{Sin}}{\mathsf{\text{c}}}_{q}\left(t,\phantom{\rule{2.77695pt}{0ex}}-n\right)~\frac{{\left(q,{q}^{2}\right)}_{\infty }^{3}\mathsf{\text{Im}}{\left(-it,i{q}^{1/4};{q}^{1/2}\right)}_{\infty }}{2{q}^{1/4}{\left(q,q\right)}_{\infty }^{2}{\left({q}^{-3/2},{q}^{1/2},q,{q}^{2}\right)}_{\infty }}{q}^{n/2}.$
(13)

So that

$\frac{{q}^{-4|n|}}{2k\left({\omega }_{n}\right)}|\mathcal{F}\left({\mathcal{E}}_{q}\left(.;it\right)\right)\left(n\right){|}^{2}~C{q}^{\left(1-4\epsilon \right)|n|}.$

Then the following series

$\sum _{n=-\infty }^{\infty }\frac{{q}^{-4\epsilon |n|}}{2k\left({\omega }_{n}\right)}|\mathcal{F}\left({\mathcal{E}}_{q}\left(.;it\right)\right)\left(n\right){|}^{2},$

converges iff ε < 1/ 4.

This show for 0 < ε < 1/ 4 we have

${\mathcal{E}}_{q}\phantom{\rule{2.77695pt}{0ex}}\left(x;\phantom{\rule{2.77695pt}{0ex}}it\right)\in {H}_{\epsilon },$

and

□

${\mathcal{E}}_{q}\left(x;it\right)=\sum _{n=-\infty }^{\infty }\mathsf{\text{Sin}}{\mathsf{\text{c}}}_{q}\left(t,n\right){\mathcal{E}}_{q}\left(x;i{\omega }_{n}\right).$
(14)

Proposition 5. For t−iq-1/ 2-n, n = 0, ± 1, ± 2, . . . we have

${T}_{q}^{y}{\mathcal{E}}_{q}\left(x;it\right)={\mathcal{E}}_{q}\left(x;it\right){\mathcal{E}}_{q}\left(y;it\right).$

Proof. From Proposition 2, we see that the following two functions

$\left(x,y\right)\to {\mathcal{E}}_{q}\left(x;it\right){\mathcal{E}}_{q}\left(y;it\right),$

and

$\left(x,y\right)\to {T}_{q}^{y}{\mathcal{E}}_{q}\left(x;it\right),$

are solutions of the system

$\left\{\begin{array}{c}\hfill {\mathcal{D}}_{q,x}u\left(x,y\right)={\mathcal{D}}_{q,y}u\left(x,y\right),\hfill \\ \hfill u\left(x,0\right)={\mathcal{E}}_{q}\left(x;\alpha \right).\hfill \end{array}\right\$

The result follows by Theorem 3. □

In the following proposition, we find the invariance of the measure w(x)dx over ( 1, 1) by the q-translation operators.

Proposition 6. Let 0 < ε < 1/ 2 and f H ε . Then

${\int }_{-1}^{1}{T}_{q}^{y}f\left(x\right)w\left(x\right)dx={\int }_{-1}^{1}f\left(x\right)w\left(x\right)dx.$

Proof. We have

${\int }_{-1}^{1}{T}_{q}^{y}f\left(x\right)w\left(x\right)dx={\int }_{-1}^{1}\sum _{n=-\infty }^{\infty }\frac{1}{2k\left({\omega }_{n}\right)}\mathcal{F}\left(f\right)\left(n\right){\mathcal{E}}_{q}\left(x;i{\omega }_{n}\right){\mathcal{E}}_{q}\left(y;i{\omega }_{n}\right)w\left(x\right)dx.$

Then, we get after interchangement of integral and sum

${\int }_{-1}^{1}{T}_{q}^{y}f\left(x\right)w\left(x\right)dx=\mathcal{F}\left(f\right)\left(0\right)={\int }_{-1}^{1}f\left(x\right)w\left(x\right)dx.$
(15)

To justify the interchangement of integral and summation, we put

$\sum _{n=-\infty }^{\infty }{\int }_{-1}^{1}|\frac{1}{2k\left({\omega }_{n}\right)}\mathcal{F}\left(f\right)\left(n\right){\mathcal{E}}_{q}\left(x;i{\omega }_{n}\right){\mathcal{E}}_{q}\left(y;i{\omega }_{n}\right)|w\left(x\right)dx=\sum _{-\infty }^{\infty }{c}_{n}.$
(16)

Let 0 < η < 1/ 4 and δ > 0 such that 2η + δ < 1/ 2, by (9) and (10), we have

$\begin{array}{ll}\hfill {c}_{n}& ~\frac{1}{2k\left({\omega }_{n}\right)}|\mathcal{F}\left(f\right)\left(n\right)|{q}^{-4\eta |n|},\phantom{\rule{2em}{0ex}}\\ ~\frac{1}{2k\left({\omega }_{n}\right)}|\mathcal{F}\left(f\right)\left(n\right)|{q}^{-2\left(2\eta +\delta \right)|n|}{q}^{2\delta |n|}.\phantom{\rule{2em}{0ex}}\end{array}$

The convergence of the series ${\sum }_{-\infty }^{\infty }{c}_{n}$ follows from the Cauchy inequality and the fact that f H ε .

In the following proposition, we show that the q-translation are self-adjoint operators.

Proposition 7. Let f and g H ε where 0 < ε < 1/ 2. Then

${\int }_{-1}^{1}{T}_{q}^{x}f\left(-y\right)g\left(y\right)w\left(y\right)dy={\int }_{-1}^{1}f\left(y\right){T}_{q}^{x}g\left(-y\right)w\left(y\right)dy.$

Ismail  proved that the q-exponential function ${\mathcal{E}}_{q}\left(x;\phantom{\rule{0.3em}{0ex}}\alpha \right)$ is the only solution of the functional equation

$f\left(x\oplus y\right)=f\left(x\right)f\left(y\right),$
(17)

where f (x) has the expansion $f\left(x\right)=\sum _{n=0}^{\infty }\frac{{f}_{n}}{{\left(q;q\right)}_{n}}{g}_{n}\left(x\right)$, which converges uniformly on compact subsets of a domain Ω.

For f L2 (( 1, 1), w(x)dx), we put

$\stackrel{^}{f}\left(t\right)={\int }_{-1}^{1}f\left(x\right){\mathcal{E}}_{q}\left(x;-it\right)w\left(x\right)dx.$

Proposition 8. Let f L2(( 1, 1) w(x)dx), then the function

$F\left(t\right)={\left(-q{t}^{2};{q}^{2}\right)}_{\infty }\stackrel{^}{f}\left(t\right),$

is an entire function such that

$\underset{r\to \infty }{\text{lim}}\frac{\text{ln}\left(M\left(r,F\right)\right)}{{\text{ln}}^{2}r}\le \frac{1}{\text{ln}q-1}.$

Furthermore, the function F is of order 0 and has infinitely many zeros.

Proof. The function f is in L2(( 1, 1) w(x)dx), then

${\int }_{-1}^{1}|f\left(x\right)|w\left(x\right)dx<\infty .$

From (2) we have the following estimate

$|{H}_{n}\left(x|q\right)|\le {H}_{n}\left(1|q\right),\phantom{\rule{2.77695pt}{0ex}}for\phantom{\rule{2.77695pt}{0ex}}|x|<1,$

and by (3) we can write for all t $ℂ$

$|F\left(t\right)|\le {\int }_{-1}^{1}|f\left(x\right)|w\left(x\right)dx{\left(-q|t{|}^{2};{q}^{2}\right)}_{\infty }{\mathcal{E}}_{q}\left(1;|t|\right).$

On the other hand

${\left(-q|t{|}^{2};{q}^{2}\right)}_{\infty }{\mathcal{E}}_{q}\left(1;|t|\right)=\sum _{n=0}^{\infty }\frac{{\alpha }^{n}}{{\left(q;q\right)}_{n}}{q}^{{n}^{2}/4}{H}_{n}\left(1|q\right).$

The result follows by a similar proof as in Lemma 14.1.4 and Corollary 14.1.5 in . □

Proposition 9. We have

$\stackrel{^}{{T}_{q}^{y}f}\left(t\right)={\mathcal{E}}_{q}\left(y;it\right)\stackrel{^}{f}\left(t\right).$

Proof. It is easy to see that the function w(x) is even and the q-exponential ${\mathcal{E}}_{q}\left(x;it\right)$ satisfies

${\mathcal{E}}_{q}\phantom{\rule{2.77695pt}{0ex}}\left(-x;\phantom{\rule{2.77695pt}{0ex}}it\phantom{\rule{2.77695pt}{0ex}}\right)\phantom{\rule{2.77695pt}{0ex}}={\mathcal{E}}_{q}\left(\phantom{\rule{2.77695pt}{0ex}}x;-it\right).$

Then from Propositions 4 and 7, we get

$\begin{array}{ll}\hfill \stackrel{^}{{T}_{q}^{y}f}\left(t\right)& ={\int }_{-1}^{1}{T}_{q}^{y}f\left(x\right){\mathcal{E}}_{q}\left(-x;it\right)w\left(x\right)dx\phantom{\rule{2em}{0ex}}\\ ={\int }_{-1}^{1}f\left(x\right){T}_{q}^{y}{\mathcal{E}}_{q}\left(-x;it\right)w\left(x\right)dx\phantom{\rule{2em}{0ex}}\\ ={\mathcal{E}}_{q}\left(y;it\right){\int }_{-1}^{1}f\left(x\right){\mathcal{E}}_{q}\left(-x;it\right)w\left(x\right)dx\phantom{\rule{2em}{0ex}}\\ ={\mathcal{E}}_{q}\left(y;it\right)\stackrel{^}{f}\left(t\right).\phantom{\rule{2em}{0ex}}\end{array}$

In the following Proposition, we show that the q-translation operator ${T}_{q}^{x}$ coincides with the q-Translation ${E}_{q}^{x}$ defined by Ismail on the set of q-Hermite polynomials (2).

Proposition 10. For n = 0, 1, 2, . . . , we have

${T}_{q}^{x}{H}_{n}\left(y|q\right)={E}_{q}^{x}{H}_{n}\left(y|q\right).$
(18)

Proof. By Proposition 5, we get

${\left(-q{t}^{2};{q}^{2}\right)}_{\infty }{T}_{q}^{x}\mathcal{E}\left(y;it\right)={\left(-q{t}^{2};{q}^{2}\right)}_{\infty }\mathcal{E}\left(x;it\right)\mathcal{E}\left(y;it\right).$

Then the formula ([3, 14.6.7]) and (3) lead to

$\sum _{n=0}^{\infty }\frac{{\left(it\right)}^{n}{q}^{{n}^{2}/4}}{{\left(q;q\right)}_{n}}{T}_{q}^{y}{H}_{n}\left(x|q\right)=\sum _{n=0}^{\infty }\frac{{g}_{n}\left(y\right)}{{\left(q;q\right)}_{n}}{\left(it\right)}^{n}\sum _{m=0}^{\infty }\frac{{\left(it\right)}^{m}{q}^{{m}^{2}/4}}{{\left(q;q\right)}_{m}}{H}_{m}\left(x|q\right).$

Hence,

${T}_{q}^{y}{H}_{n}\left(x|q\right)=\sum _{m=0}^{n}\frac{{\left(q;q\right)}_{n}}{{\left(q;q\right)}_{m}{\left(q;q\right)}_{n-m}}{H}_{m}\left(x|q\right){g}_{n-m}\left(y\right){q}^{\left({m}^{2}-{n}^{2}\right)/4}.$

Theorem 11. Let f be a function in L2(( 1, 1), w(x)dx) satisfying the following functional equation

${T}_{q}^{y}f\left(x\right)=f\left(x\right)f\left(y\right),$

and we denote by Z f the set of zeros of

$F\left(t\right)={\left(-q{t}^{2};{q}^{2}\right)}_{\infty }\stackrel{^}{f}\left(t\right).$

Then f is a function of two variables x and t equal to the q-exponential function${\mathcal{E}}_{q}\left(x;it\right)$, for |x| < 1 and t $ℂ$ − Z f

Proof. Let f be a function in L2 (( 1, 1), w(x)dx) satisfying

${T}_{q}^{y}f\left(x\right)=f\left(x\right)f\left(y\right).$

By Proposition 9, we have

${\mathcal{E}}_{q}\left(x;it\right)\stackrel{^}{f}\left(t\right)=f\left(x\right)\stackrel{^}{f}\left(t\right).$

Then for all complex numbers t such that $\stackrel{^}{f}\left(t\right)\ne 0$, we have

$f\left(x\right)\phantom{\rule{2.77695pt}{0ex}}:=f\left(x,\phantom{\rule{2.77695pt}{0ex}}t\right)={\mathcal{E}}_{q}\left(\phantom{\rule{2.77695pt}{0ex}}x;\phantom{\rule{2.77695pt}{0ex}}it\right),$

and f is a function of two variables x and t. □

### q-Gauss Weierstrass transform

We conclude this study by an application of the q-translation operators. We consider the q-analogue of the Gauss Weierstrass transform by (see ).

${F}_{W}\left(f\right)\left(y\right)=\frac{{\left(q;q\right)}_{\infty }}{2\pi }{\int }_{0}^{\pi }{T}_{q}^{y}f\left(x\right)W\left(x\right)dx,$
(19)

where

$W\left(x\right)={\left({e}^{2i\theta },\phantom{\rule{2.77695pt}{0ex}}{e}^{-2i\theta };q\right)}_{\infty }.$

In , the author proved that (19) can be inverted by the Askey-Wilson operator

$f\left(y\right)={\left(\frac{1}{4}{q}^{1/2}{\left(1-q\right)}^{2}{\mathcal{D}}_{q}^{2};{q}^{2}\right)}_{\infty }{F}_{W}\left(f\right)\left(y\right).$
(20)

where f is a polynomial.

In the following theorem we prove that the inversion formula (20) is still valid in the space

${H}_{\infty }=\bigcap _{\epsilon >0}{H}_{\epsilon }.$

Theorem 12. The q-Gauss Weierstrass transform has the inversion formula

$f\left(y\right)={\left(\frac{1}{4}{q}^{1/2}{\left(1-q\right)}^{2}{\mathcal{D}}_{q}^{2};{q}^{2}\right)}_{\infty }{F}_{W}\left(y\right),\phantom{\rule{2.77695pt}{0ex}}f\in {H}_{\infty }.$

Proof. Let f H, then by the formula

$\frac{1}{{\left(q{t}^{2};{q}^{2}\right)}_{\infty }}=\frac{{\left(q;q\right)}_{\infty }}{2\pi }{\int }_{0}^{\pi }{\mathcal{E}}_{q}\left(x;t\right)W\left(x\right)dx,$

we have

$\begin{array}{ll}\hfill {F}_{W}\left(y\right)& =\frac{{\left(q;q\right)}_{\infty }}{2\pi }\sum _{n=-\infty }^{\infty }\frac{1}{2k\left({\omega }_{n}\right)}{\mathcal{F}}_{q}\left(f\right)\left(n\right){\mathcal{E}}_{q}\left(y;i{\omega }_{n}\right){\int }_{-1}^{1}{\mathcal{E}}_{q}\left(x;i{\omega }_{n}\right)W\left(x\right)dx\phantom{\rule{2em}{0ex}}\\ =\sum _{n=-\infty }^{\infty }\frac{1}{2k\left({\omega }_{n}\right)}\frac{1}{{\left(-q{\omega }_{n}^{2};{q}^{2}\right)}_{\infty }}{\mathcal{F}}_{q}\left(f\right)\left(n\right){\mathcal{E}}_{q}\left(y;i{\omega }_{n}\right).\phantom{\rule{2em}{0ex}}\end{array}$

So that

$\begin{array}{c}{\left(\frac{1}{4}{q}^{1/2}{\left(1-q\right)}^{2}{\mathcal{D}}_{q}^{2};{q}^{2}\right)}_{\infty }{F}_{W}\left(x\right)\\ =\sum _{n=-\infty }^{\infty }\frac{1}{2k\left({\omega }_{n}\right)}{\mathcal{F}}_{q}\left(f\right)\left(n\right){\mathcal{E}}_{q}\left(y;i{\omega }_{n}\right)\\ =f\left(y\right)\end{array}$

Another q-analogue of Gauss Weierstrass transform can be defined by

${F}_{\gamma }\left(y\right)=\frac{{\left(q,{\gamma }^{2};q\right)}_{\infty }}{2\pi {\left(\gamma ,q{\gamma }^{2};q\right)}_{\infty }}{\int }_{-1}^{1}{T}_{q}^{y}f\left(x\right)w\left(x|\gamma ,\phantom{\rule{2.77695pt}{0ex}}q\right)dx,$

where

$w\left(\text{cos}\theta |\gamma ,\phantom{\rule{2.77695pt}{0ex}}q\right)=\frac{{\left({e}^{2i\theta },{e}^{-2i\theta };q\right)}_{\infty }}{{\left(\gamma {e}^{2i\theta },\gamma {e}^{-2i\theta };q\right)}_{\infty }}.$

In a similar way as in Theorem 12, we can prove the following inversion formula for the transform F γ .

Theorem 13. The transform Fγ has the inversion formula

$f\left(y\right)={\phi }_{\gamma }\left(\frac{1}{4}{q}^{1/2}{\left(1-q\right)}^{2}{\mathcal{D}}_{q}^{2}\right){F}_{\gamma }\left(y\right),\phantom{\rule{2.77695pt}{0ex}}f\in {H}_{\infty },$

where

${\phi }_{\gamma }\left(\alpha \right)=\frac{1}{{}_{0}{\varphi }_{1}\left(-;q\gamma ;q;q\gamma {\alpha }^{2}\right)}.$

## References

1. Ismail MEH: An operator calculus for the Askey-Wilson operator. Ann Combin 2001, 5: 333–348 1.

2. Gasper G, Rahman M: Basic Hypergeometric Series. Cambridge University Press, Cambridge; 1990:2.

3. Ismail MEH: Classical and Quantum Orthogonal Polynomials in One Variable. Cambridge University Press, Cambridge; 2005:3.

4. Bustoz J, Suslov SK: Basic analog of Fourier series on a q -quadratic grid. Methods Appl Anal 1998, 5(1):1–38. 4

5. Ismail MEH, Zhang R: Diagonalization of certain integral operators. Adv Math 1994, 109: 1–33 5. 10.1006/aima.1994.1077

6. Ismail MEH: Orthogonality and completeness of q -Fourier type systems. Zeitschrift für Analysis und Ihre Anwendungen 2001, 20: 761–775. 6

7. Ismail MEH, Zayed AI: A q -analogue of the Whittaker-Shannon-Kotel'nikov sampling theorem. Proc Am Math Soc 2003, 131: 3711–3719. 7 10.1090/S0002-9939-03-07208-3

## Acknowledgements

The author thank the referees for her careful reading of the manuscript and for helpful suggestions. This research was supported by the NPST Program of King Saud University, project number 10-MAT1293-02.

## Author information

Authors

### Corresponding author

Correspondence to Fethi Bouzaffour.

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions

Reprints and Permissions

Bouzaffour, F. On the q-translation associated with the Askey-Wilson operator. Adv Differ Equ 2012, 87 (2012). https://doi.org/10.1186/1687-1847-2012-87 