On Orthogonality Relations for Dual Discrete q-Ultraspherical Polynomials
The dual discrete q-ultraspherical polynomials Dn(s)(μ(x;s)|q) correspond to indeterminate moment problem and, therefore, have one-parameter family of extremal orthogonality relations. It is shown that special cases of dual discrete q-ultraspherical polynomials Dn(s)(μ(x;s)|q), when s = q⁻¹ and s =...
Збережено в:
| Дата: | 2006 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут математики НАН України
2006
|
| Назва видання: | Symmetry, Integrability and Geometry: Methods and Applications |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/146429 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | On Orthogonality Relations for Dual Discrete q-Ultraspherical Polynomials / V.A. Groza, I.I. Kachuryk // Symmetry, Integrability and Geometry: Methods and Applications. — 2006. — Т. 2. — Бібліогр.: 11 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-146429 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1464292019-02-10T01:24:21Z On Orthogonality Relations for Dual Discrete q-Ultraspherical Polynomials Groza, V.A. Kachuryk, I.I. The dual discrete q-ultraspherical polynomials Dn(s)(μ(x;s)|q) correspond to indeterminate moment problem and, therefore, have one-parameter family of extremal orthogonality relations. It is shown that special cases of dual discrete q-ultraspherical polynomials Dn(s)(μ(x;s)|q), when s = q⁻¹ and s = q, are directly connected with q⁻¹-Hermite polynomials. These connections are given in an explicit form. Using these relations, all extremal orthogonality relations for these special cases of polynomials Dn(s)(μ(x;s)|q) are found. 2006 Article On Orthogonality Relations for Dual Discrete q-Ultraspherical Polynomials / V.A. Groza, I.I. Kachuryk // Symmetry, Integrability and Geometry: Methods and Applications. — 2006. — Т. 2. — Бібліогр.: 11 назв. — англ. 1815-0659 2000 Mathematics Subject Classification: 33D45; 81Q99 http://dspace.nbuv.gov.ua/handle/123456789/146429 en Symmetry, Integrability and Geometry: Methods and Applications Інститут математики НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
English |
| description |
The dual discrete q-ultraspherical polynomials Dn(s)(μ(x;s)|q) correspond to indeterminate moment problem and, therefore, have one-parameter family of extremal orthogonality relations. It is shown that special cases of dual discrete q-ultraspherical polynomials Dn(s)(μ(x;s)|q), when s = q⁻¹ and s = q, are directly connected with q⁻¹-Hermite polynomials. These connections are given in an explicit form. Using these relations, all extremal orthogonality relations for these special cases of polynomials Dn(s)(μ(x;s)|q) are found. |
| format |
Article |
| author |
Groza, V.A. Kachuryk, I.I. |
| spellingShingle |
Groza, V.A. Kachuryk, I.I. On Orthogonality Relations for Dual Discrete q-Ultraspherical Polynomials Symmetry, Integrability and Geometry: Methods and Applications |
| author_facet |
Groza, V.A. Kachuryk, I.I. |
| author_sort |
Groza, V.A. |
| title |
On Orthogonality Relations for Dual Discrete q-Ultraspherical Polynomials |
| title_short |
On Orthogonality Relations for Dual Discrete q-Ultraspherical Polynomials |
| title_full |
On Orthogonality Relations for Dual Discrete q-Ultraspherical Polynomials |
| title_fullStr |
On Orthogonality Relations for Dual Discrete q-Ultraspherical Polynomials |
| title_full_unstemmed |
On Orthogonality Relations for Dual Discrete q-Ultraspherical Polynomials |
| title_sort |
on orthogonality relations for dual discrete q-ultraspherical polynomials |
| publisher |
Інститут математики НАН України |
| publishDate |
2006 |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/146429 |
| citation_txt |
On Orthogonality Relations for Dual Discrete q-Ultraspherical Polynomials / V.A. Groza, I.I. Kachuryk // Symmetry, Integrability and Geometry: Methods and Applications. — 2006. — Т. 2. — Бібліогр.: 11 назв. — англ. |
| series |
Symmetry, Integrability and Geometry: Methods and Applications |
| work_keys_str_mv |
AT grozava onorthogonalityrelationsfordualdiscretequltrasphericalpolynomials AT kachurykii onorthogonalityrelationsfordualdiscretequltrasphericalpolynomials |
| first_indexed |
2025-07-10T23:32:43Z |
| last_indexed |
2025-07-10T23:32:43Z |
| _version_ |
1837304791771906048 |
| fulltext |
Symmetry, Integrability and Geometry: Methods and Applications Vol. 2 (2006), Paper 034, 8 pages
On Orthogonality Relations
for Dual Discrete q-Ultraspherical Polynomials
Valentyna A. GROZA † and Ivan I. KACHURYK ‡
† National Aviation University, 1 Komarov Ave., Kyiv, 03058 Ukraine
E-mail: groza@i.com.ua
‡ Khmel’nyts’kyi National University, Khmel’nyts’kyi, Ukraine
E-mail: kachuryk@ief.tup.km.ua
Received February 14, 2006, in final form February 28, 2006; Published online March 16, 2006
Original article is available at http://www.emis.de/journals/SIGMA/2006/Paper034/
Submitted by Anatoly Klimyk
Abstract. The dual discrete q-ultraspherical polynomials D
(s)
n (µ(x; s)|q) correspond to in-
determinate moment problem and, therefore, have one-parameter family of extremal ortho-
gonality relations. It is shown that special cases of dual discrete q-ultraspherical polynomials
D
(s)
n (µ(x; s)|q), when s = q−1 and s = q, are directly connected with q−1-Hermite polyno-
mials. These connections are given in an explicit form. Using these relations, all extremal
orthogonality relations for these special cases of polynomials D
(s)
n (µ(x; s)|q) are found.
Key words: q-orthogonal polynomials; dual discrete q-ultraspherical polynomials; q−1-Her-
mite polynomials; orthogonality relation
2000 Mathematics Subject Classification: 33D45; 81Q99
1 Introduction
Quantum groups and q-deformed variants of the quantum harmonic oscillator were introduced
approximately two decades ago. Representations of quantum groups and realizations of q-
oscillators are closely related to basic hypergeometric functions and q-orthogonal polynomials.
Instead of Jacobi, Gegenbauer (ultraspherical), Hermite polynomials, in the theory of quantum
groups and under studying q-oscillators we deal with different kinds of q-Jacobi polynomials, of
q-ultraspherical polynomials and of q-Hermite polynomials.
It is known that q-orthogonal polynomials are more complicated than classical orthogonal
polynomials. It is interesting that main development of the theory of q-orthogonal polynomials
in fact coincides in time with appearing of quantum groups (see, for example, [1] and [2]). Due
to great importance for contemporary mathematical and theoretical physics the theory of q-
orthogonal polynomials is under extensive development. A great attention is paid to those of
them, which are directly related to representations of quantum groups and to realizations of
q-oscillators.
In this paper we deal with the so-called q−1-Hermite polynomials (which are closely related
to the Biedenharn–Macfarlane oscillator; see [3]) and with the dual discrete q-ultraspherical
polynomials. The q−1-Hermite orthogonal polynomials were discovered by Askey [4] and the
discrete q-ultraspherical polynomials and their duals were introduced in [5].
The q−1-Hermite orthogonal polynomials correspond to indeterminate moment problem. This
means that they have a one-parameter family of orthogonality relations (these orthogonalities
mailto:groza@i.com.ua
mailto:kachuryk@ief.tup.km.ua
http://www.emis.de/journals/SIGMA/2006/Paper034/
2 V.A. Groza and I.I. Kachuryk
are important for studying the Biedenharn–Macfarlane oscillator when q > 1; see [3]). These or-
thogonality relations were explicitly derived in [6]. It was shown in [5] that dual q-ultraspherical
polynomials also correspond to indeterminate moment problem and, therefore, there exists a one-
parameter family of orthogonality relations for them. In [5], there were derived only two ortho-
gonality relations for these polynomials. Other orthogonality relations for them are not known.
As in the case of usual ultraspherical (Gegenbauer) polynomials, these orthogonality relations
are very important.
Let us remark that finding extremal orthogonality relations for orthogonal polynomials, which
correspond to indeterminate moment problems, is a very difficult task. In fact, at present only
one example of such measures is known; that is extremal orthogonality relations for the q−1-
Hermite polynomials.
In this paper we derive explicit formulas that connect the dual q-ultraspherical polynomials
D
(s)
n (µ(x; s)|q), when s = q−1 and s = q, with the q−1-Hermite polynomials, and this gives a pos-
sibility to obtain all extremal measures for these particular types of the the dual q-ultraspherical
polynomials.
Note that the dual q-ultraspherical polynomials D
(s)
n (µ(x; s)|q) are related to the discrete
series representations of the quantum Drinfeld–Jimbo algebra Uq(su1,1); see [7].
Below we use (without additional explanation) notations of the theory of q-special functions
(see [8]). In particular, the shifted q-factorials (a; q)n are defined as
(a; q)n = (1− a)(1− aq)
(
1− aq2
)
· · ·
(
1− aqn−1
)
.
The basic hypergeometric functions are given by the formula
rφr−1 (a1, a2, . . . , ar; b1, b2, . . . , bs; q, x) =
∞∑
n=0
(a1; q)n(a2; q)n . . . (ar; q)n
(b1; q)n(b2; q)n . . . (br−1; q)n
xn
(q; q)n
.
2 Dual discrete q-ultraspherical polynomials
and q−1-Hermite polynomials
The discrete q-ultraspherical polynomials C
(s)
n (x; q) are the polynomials
C(s)
n (x; q) = 3φ2
(
q−n,−sqn+1, x;
√
sq,−
√
sq; q, q
)
.
These polynomials are orthogonal on a countable set of points (see formula (4) in [5]).
In [9], the procedure of creation of dual sets of polynomials, orthogonal on a discrete set of
points, is being developed. The polynomials D
(s)
n (µ(x; s); q) dual to the discrete q-ultraspherical
polynomials C
(s)
n (x; q) are of particular case of the dual big J-Jacobi polynomials (see [10]).
They are given by the formula
D(s)
n (µ(x; s); q) = 3φ2
(
q−x, sqx+1, q−n;
√
sq,−
√
sq; q,−qn+1
)
,
where µ(x; s) = q−x + sqx+1. They are polynomials in µ(x; s). These polynomials satisfy the
three-term recurrence relation(
q−x + sqx+1
)
D(s)
n (µ(x; s)|q) = −q−2n−1
(
1− sq2n+2
)
D
(s)
n+1(µ(x; s)|q)
+ q−2n−1(1 + q)D(s)
n (µ(x; s)|q)− q−2n
(
1− q2n
)
D
(s)
n−1(µ(x; s)|q). (1)
They correspond to indeterminate moment problem and it means that they satisfy a one-
parameter family of orthogonality relations. Only two orthogonality relations were found in [5]:
∞∑
k=0
(1−sq4k+1)(sq; q)2k
(1−sq)(q; q)2k
qk(2k−1)D(s)
n (µ(2k)|q)D(s)
n′ (µ(2k)|q)
On Orthogonality Relations for Dual Discrete q-Ultraspherical Polynomials 3
=
(sq3; q2)∞
(q; q2)∞
(q2; q2)nq−n
(sq2; q2)n
δnn′ , (2)
∞∑
k=0
(1−sq4k+3)(sq; q)2k+1
(1−sq)(q; q)2k+1
qk(2k+1)D(s)
n (µ(2k + 1)|q)D(s)
n′ (µ(2k + 1)|q)
=
(sq3; q2)∞
(q; q2)∞
(q2; q2)nq−n
(sq2; q2)n
δnn′ , (3)
where µ(2k) ≡ µ(2k; s), µ(2k + 1) ≡ µ(2k + 1; s) and 0 < s < q−2.
We shall need also q−1-Hermite polynomials hn(x|q), which are given as
hn(sinhϕ|q) =
n∑
k=0
(−1)kqk(k−n)(q; q)n
(q; q)k(q; q)n−k
eϕ(n−2k).
They are defined as hn(x|q) = i−nHn(ix|q−1), where Hn(y|q) are well-known continuous q-
Hermite polynomials. The polynomials hn(x|q) satisfy the following recurrence relation
hn+1(x|q) + q−n
(
1− qn
)
hn−1(x|q)) = 2xhn(x|q). (4)
It follows from this relation that the polynomials h2k(x|q) are even:
h2k(−x|q) = h2k(x|q)
and the polynomials h2k+1(x|q) have the form
h2k+1(x|q) = xh̃2k(x|q),
where h̃2k(x|q) are even polynomials: h̃2k(−x|q) = h̃2k(x|q).
The q−1-Hermite polynomials hn(x|q) correspond to indeterminate moment problem and,
therefore, have one-parameter family of extremal orthogonality measures, which were given
in [6]. They are given by the parameter a, q ≤ a < 1, and have the form
∞∑
m=−∞
a4mqm(2m−1)(1 + a2q2m)
(−a2; q)∞(−q/a2; q)∞(q; q)∞
hn(xm|q)hn′(xm|q) = q−n(n+1)/2(q; q)nδnn′ , (5)
where
xm =
1
2
(
a−1q−m − aqm
)
.
The relations (5) were proved in [6] only for a from the interval q < a < 1. It is only said there
that the relation (5) is true also for a = q. Below we shall give a proof of (5) for a = q.
Proposition. The following expression for q−1-Hermite polynomials hn(x|q) hold:
h2k(sinhϕ|q) = (−1)kq−k2(
q; q2
)
k
D
(q−1)
k
(
e2ϕ + e−2ϕ|q
)
, (6)
h2k+1(sinhϕ|q) = (−1)kq−k(k+1)
(
q3; q2
)
k
(2 sinh ϕ)D(q)
k
(
qe2ϕ + qe−2ϕ|q
)
, (7)
where k are nonnegative integers and D
(s)
k (µ(m; s)|q) are dual discrete q-ultraspherical polyno-
mials.
4 V.A. Groza and I.I. Kachuryk
Proof. We take the recurrence relation (4) for n = 2k:
2xh2k(x|q) = h2k+1(x|q) + q−2k(1− q2k)h2k−1(x|q))
and substitute there the expressions for h2k+1(x|q) and h2k−1(x|q), obtained from (4). As
a result, we get the relation
(2x)2h2k(x|q) = h2k+2(x|q) +
[
q−2k
(
1 + q−1
)
− 2
]
h2k(x|q)
+ q−4k+1
(
1− q2k
)(
1− q2k−1
)
h2k−2(x|q)
which can be written in the form(
e2ϕ + e−2ϕ
)
h2k(sinhϕ|q) = h2k+2(sinhϕ|q) + q−2k
(
1 + q−1
)
h2k(sinhϕ|q)
+ q−4k+1
(
1− q2k
)(
1− q2k−1
)
h2k−2(sinhϕ|q). (8)
Now we take the recurrence relation (1) for s = q−1:
yD(q−1)
n (y|q) = −q−2n−1
(
1− q2n+1
)
D
(q−1)
n+1 (y|q) + q−2n−1(1 + q)D(q−1)
n (y|q)
− q−2n
(
1− q2n
)
D
(q−1)
n−1 (y|q)
and substitute there the expression
D(q−1)
n (y|q) = (−1)nqn2(
q; q2
)−1
n
D̃(q−1)
n (y|q)
(compare it with the first relation in the proposition), where D̃
(s)
n (y|q) are polynomials multiple
to the polynomials D
(s)
n (y|q). As a result, we obtain the relation
yD̃(q−1)
n (y|q) = D̃
(q−1)
n+1 (y|q) + q−2n−1(1 + q)D̃(q−1)
n (y|q)
+ q−4n+1
(
1− q2n
)(
1− q2n−1
)
D̃
(q−1)
n−1 (y|q). (9)
Setting here y = e2ϕ + e−2ϕ and then comparing the relations (8) and (9) we get
h2k(sinhϕ|q) = cD̃
(q−1)
k
(
e2ϕ + e−2ϕ|q
)
, (10)
where c is a constant. In order to find this constant we put k = 0 in (10). Since h0(x|q) = 1
and D̃
(q−1)
0 (y|q) = 1, we obtain that c = 1 and the first relation of the proposition is true.
The relation (7) is proved similarly. We take the recurrence relation (4) for n = 2k + 1:
2xh2k+1(x|q) = h2k+2(x|q) + q−2k−1
(
1− q2k+1
)
h2k(x|q)
and substitute there the expressions for h2k+2(x|q) and h2k(x|q), obtained from (4). As a result,
we get the relation which can be written in the form(
qe2ϕ + qe−2ϕ
)
h2k+(sinhϕ|q) = qh2k+3(sinhϕ|q)
+ q−2k
(
1 + q−1
)
h2k+1(sinhϕ|q) + q−4k
(
1− q2k
)(
1− q2k+1
)
h2k(sinhϕ|q). (11)
Now we take the recurrence relation (1) for s = q:
yD(q)
n (y|q) = −q−2n−1
(
1− q2n+3
)
D
(q)
n+1(x|q) + q−2n−1(1 + q)D(q)
n (y|q)
− q−2n
(
1− q2n
)
D
(q)
n−1(y|q)
On Orthogonality Relations for Dual Discrete q-Ultraspherical Polynomials 5
and substitute there the expression
D(q)
n (y|q) = (−1)nqn(+1)
(
q3; q2
)−1
n
D̃(q)
n (y|q)
(compare with the second relation in the proposition). As a result, we obtain the relation
yD̃(q−1)
n (y|q) = qD̃
(q−1)
n+1 (y|q) + q−2n−1(1 + q)D̃(q−1)
n (y|q)
+ q−4n
(
1− q2n
)
(1− q2n+1)D̃(q−1)
n−1 (y|q). (12)
Setting here y = qe2ϕ + qe−2ϕ and then comparing the relations (11) and (12) we get
h2k+1(sinhϕ|q) = cD̃
(q)
k
(
e2ϕ + e−2ϕ|q
)
, (13)
where c is a constant. Putting k = 0 in (13), we find that c = 1 and the second relation of the
proposition is true. The proposition is proved. �
3 Orthogonality relations for hn(x|q) when a = q
The aim of this section is to show that the orthogonality relations (2) and (3) are equivalent to to
the orthogonality relation (5) for a = q. Thus, we give a proof of the orthogonality relation (5)
for a = q, starting from the orthogonality relations (2) and (3).
It follows from relation (2) that the dual discrete q-ultraspherical polynomials D
(q−1)
n (x|q)
satisfy the orthogonality relation
∞∑
m=0
(
1 + q2m
)
qm(2m−1)D(q−1)
n (ym|q)D(q−1)
n′ (ym|q) =
(q2; q2)∞
(q; q2)∞
(q2; q2)nq−n
(q; q2)n
δnn′ , (14)
where ym = q2m+q−2m. By using Proposition, we express D
(q−1)
n (xm|q) in terms of h2n(1
2(q−m−
qm)|q) and substitute into (14). As a result, we obtain
∞∑
m=0
(
1 + q2m
)
qm(2m−1)h2n(xm|q)h2n′(xm|q) =
(q2; q2)∞
(q; q2)∞
q−n(2n+1)(q; q)2nδnn′ , (15)
where xm = 1
2(q−m − qm). Note that
(q2; q2)∞
(q; q2)∞
= (−q; q)2∞(q; q)∞ =
1
2
(−1; q)∞(−q; q)∞(q; q)∞
= 2q−1
(
− q2; q
)
∞
(
− q−1; q
)
∞(q; q)∞. (16)
The expression (1+q2m)qm(2m−1) on the right hand side of (15) does not change at replacing m
by −m. Since h2n(x|q) is an even function, then due to (16) the relation (15) can be written as
∞∑
m=−∞
(1 + q2m)q−1qm(2m−1)
(−q2; q)∞(−q−1; q)∞(q; q)∞
h2n(xm|q)h2n′(xm|q) = q−n(2n+1)(q; q)2nδnn′ . (17)
This relation is equivalent to the orthogonality relation (5) at a = q if n and n′ are replaced
there by 2n and 2n′, and m by −m− 1, respectively.
Now we use the relation (3) for the dual discrete q-ultraspherical polynomials D
(q)
n (x|q). Then
after shifting k to k − 1 we have
∞∑
m=1
(
1 + q2m
)(
1− q2m
)2
q(m−1)(2m−1)D(q)
n (ym|q)D(q)
n′ (ym|q)
6 V.A. Groza and I.I. Kachuryk
=
(q2; q2)∞
(q; q2)∞
(1− q)2(q2; q2)nq−n
(1− q2n+1)(q; q2)n
δnn′ , (18)
where ym = q2m+1 + q−2m+1. By using the above Proposition, we express D
(q)
n (ym|q) in terms
of h2n+1(1
2(qm − q−m)|q) and substitute into (18). We obtain
∞∑
m=1
(
1 + q2m
)
qm(2m−1)h2n+1(xm|q)h2n′+1(xm|q)
=
(q2; q2)∞
(q; q2)∞
q−(n+1)(2n+1)(q; q)2n+1δnn′ , (19)
where, as before, xm = 1
2(q−m − qm). Since h2n+1(0|q) = 0, then the summation
∞∑
m=1
here can
be replaced by
∞∑
m=0
, and then by 1
2
∞∑
m=−∞
(since h2n+1(x|q) is an odd function). As in the case
of (15), it is easy to show that the last relation is equivalent to the relation (5) if we replace m
by m− 1, and n and n′ by 2n + 1 and 2n′ + 1, respectively.
Since the polynomials h2n(xm|q) are even and the polynomials h2n+1(xm|q) are odd, then
∞∑
m=0
(
1 + q2m
)
qm(2m−1)h2n(xm|q)h2n′+1(xm|q)
= −
0∑
m=−∞
(
1 + q2m
)
qm(2m−1)h2n(xm|q)h2n′+1(xm|q).
Therefore,
∞∑
m=−∞
(
1 + q2m
)
qm(2m−1)h2n(xm|q)h2n′+1(xm|q) = 0. (20)
This gives the mutual orthogonality of the polynomials h2n(xm|q), n = 0, 1, 2, . . ., to the poly-
nomials h2n+1(xm|q), n = 0, 1, 2, . . .. Thus, we proved the relation (5) for a = q.
4 Orthogonality relations for the polynomials D(q−1)
n and D(q)
n
In this section we use the orthogonality relations for the q−1-Hermite polynomials in order to
find orthogonality relations for the dual discrete q-ultraspherical polynomials D
(q−1)
n and D
(q)
n .
We substitute the expression (6) for h2k(sinhϕ|q) into the orthogonality relation (5). After some
transformations we receive the orthogonality relations for D
(q−1)
n :
∞∑
m=−∞
a4m+1q2m2(
a−1q−m + aqm
)
D
(q−1)
k (ym|q)D(q−1)
k (ym|q)
=
(−a2; q)∞(−q/a; q)∞(q; q)∞
qk(q; q)−1
2k (q; q2)2k
δkk′ , (21)
where
ym = a−2q−2m + a2q2m.
These relations are parametrized by a, q ≤ a < 1. For different values of a the corresponding
orthogonality relations are not equivalent.
On Orthogonality Relations for Dual Discrete q-Ultraspherical Polynomials 7
Now we substitute into (5) the relation (7) for h2k+1(sinhϕ|q). After some transformation
we obtain
∞∑
m=−∞
a4mqm(2m−1)
(
a−2q−2m − a2q2m
)
D
(q)
k (ym|q)D(q)
k (ym|q)
=
(−a2; q)∞(−q/a; q)∞(q; q)∞
qk+1(q; q)−1
2k+1(q
3; q2)2k
δkk′ (22)
where
ym =
(
a−2q−2m + a2q2m
)
q.
These relations are also parametrized by a, q ≤ a < 1. Orthogonality relations, corresponding
to different values of a, are not equivalent.
The orthogonality relations (5) for the q−1-Hermite polynomials are extremal, that is, the set
of polynomials hn(xm|q), n = 0, 1, 2, . . ., is complete in the corresponding Hilbert space (see [11]).
Therefore, the orthogonality relations (21) and (22) for the polynomials D
(q−1)
k and D
(q)
k , respec-
tively, are extremal. Moreover, since the set of orthogonality relations (5) is a complete set of
extremal orthogonality relations for the q−1-Hermite polynomials, then the set of relations (21)
is a complete set of extremal orthogonality relations for the polynomials D
(q−1)
k and the set of
relations (22) is a complete set of extremal orthogonality relations for the polynomials D
(q)
k .
5 Concluding remarks
The dual discrete q-ultraspherical polynomials D
(s)
n (µ(x; s)|q) correspond to the indeterminate
moment problem, that is, there are infinitely many (one-parameter family) of orthogonality
relations for them. We have found these orthogonality relations for the cases when s = q
and s = q−1. Namely, we have reduced these cases to the q−1-Hermite polynomials for which
orthogonality relations are known. It leaves unsolved the problem of finding orthogonality
relations for other cases. We believe that the orthogonality relations (21) and (22) will help in
finding orthogonality relations for these other cases.
There exists another class of dual discrete q-ultraspherical polynomials (they are denoted
as D̃
(s)
n (µ(x;−s)|q); see [5, Section 1]). They also correspond to the indeterminate moment
problem. It is interesting to find orthogonality relations for them. However, they cannot be
reduced to the q−1-Hermite polynomials. It is shown in [5] that they are reduced to Berg–
Ismail polynomials. This connection gives an infinite number of orthogonality relations for
them. However, they are not extremal orthogonality relations. So, the problem of finding these
orthogonality relations are unsolved.
It is well-known (see [3]) that q−1-Hermite polynomials are closely related to the Biedenharn–
Macfarlane q-oscillator. Thus, the polynomials, considered in this paper, is also related to this
q-oscillator. Then the following question appears: Are the polynomials D̃
(s)
n (µ(x;−s)|q) related
to the q-oscillator? Probably, they correspond to some simple deformation of the q-oscillator.
8 V.A. Groza and I.I. Kachuryk
[1] Askey R., Wilson J., Some basic hypergeometric polynomials that generalize Jacobi polynomials, Memoirs
Amer. Math. Soc., 1985, V.319, 1–115.
[2] Askey R., Wilson J., A set of orthogonal polynomials that generalize the Racah coefficients or 6−j symbols,
SIAM J. Math. Anal., 1979, V.10, 1008–1016.
[3] Klimyk A., Spectra of observables in the q-oscillator and q-analogue of the Fourier transform, SIGMA, 2005,
V.1, Paper 008, 17 pages, math-ph/0508032.
[4] Askey R., Continuous q-Hermite polynomials when q > 1, in q-Series and Partitions, Editor D. Stanton,
Berlin, Springer, 1998, 151–158.
[5] Atakishiyev N.M., Klimyk A.U., On discrete q-ultraspherical polynomials and their duals, J. Math. Anal.
Appl., 2005, V.306, 637–645, math.CA/0403159.
[6] Ismail M.E.R., Masson D.R., q-Hermite polynomials, biorthogonal functions, and q-beta integrals, Trans.
Amer. Math. Soc., 1994, V.346, 63–116.
[7] Groza V., Representations of the quantum algebra suq(1, 1) and discrete q-ultraspherical polynomials,
SIGMA, 2005, V.1, Paper 016, 7 pages, math.QA/0511632.
[8] Gasper G., Rahman M., Basic hypergeometric functions, Cambridge, Cambridge University Press, 1990.
[9] Atakishiyev N.M., Klimyk A.U., Duality of q-polynomials, orthogonal on countable sets of points, Elect.
Trans. Numer. Anal., to appear, math.CA/0411249.
[10] Atakishiyev N.M., Klimyk A.U., On q-orthogonal polynomials, dual to little and big q-Jacobi polynomials,
J. Math. Anal. Appl., 2004, V.294, 246–257, math.CA/0307250.
[11] Shohat J., Tamarkin J.D., The problem of moments, Providence, R.I., American Mathematical Society,
1943.
1 Introduction
2 Dual discrete q-ultraspherical polynomials and q-1-Hermite polynomials
3 Orthogonality relations for hn(x|q) when a=q
4 Orthogonality relations for the polynomials D(q-1)n and D(q)n
5 Concluding remarks
|