A ''Continuous'' Limit of the Complementary Bannai-Ito Polynomials: Chihara Polynomials
A novel family of −1 orthogonal polynomials called the Chihara polynomials is characterized. The polynomials are obtained from a ''continuous'' limit of the complementary Bannai-Ito polynomials, which are the kernel partners of the Bannai-Ito polynomials. The three-term recurrenc...
Gespeichert in:
| Veröffentlicht in: | Symmetry, Integrability and Geometry: Methods and Applications |
|---|---|
| Datum: | 2014 |
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | English |
| Veröffentlicht: |
Інститут математики НАН України
2014
|
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/146825 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | A ''Continuous'' Limit of the Complementary Bannai-Ito Polynomials: Chihara Polynomials / V.X. Genest, L. Vinet, A. Zhedanov // Symmetry, Integrability and Geometry: Methods and Applications. — 2014. — Т. 10. — Бібліогр.: 25 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-146825 |
|---|---|
| record_format |
dspace |
| spelling |
Genest, V.X. Vinet, L. Zhedanov, A. 2019-02-11T16:34:49Z 2019-02-11T16:34:49Z 2014 A ''Continuous'' Limit of the Complementary Bannai-Ito Polynomials: Chihara Polynomials / V.X. Genest, L. Vinet, A. Zhedanov // Symmetry, Integrability and Geometry: Methods and Applications. — 2014. — Т. 10. — Бібліогр.: 25 назв. — англ. 1815-0659 2010 Mathematics Subject Classification: 33C45 DOI:10.3842/SIGMA.2014.038 https://nasplib.isofts.kiev.ua/handle/123456789/146825 A novel family of −1 orthogonal polynomials called the Chihara polynomials is characterized. The polynomials are obtained from a ''continuous'' limit of the complementary Bannai-Ito polynomials, which are the kernel partners of the Bannai-Ito polynomials. The three-term recurrence relation and the explicit expression in terms of Gauss hypergeometric functions are obtained through a limit process. A one-parameter family of second-order differential Dunkl operators having these polynomials as eigenfunctions is also exhibited. The quadratic algebra with involution encoding this bispectrality is obtained. The orthogonality measure is derived in two different ways: by using Chihara's method for kernel polynomials and, by obtaining the symmetry factor for the one-parameter family of Dunkl operators. It is shown that the polynomials are related to the big −1 Jacobi polynomials by a Christoffel transformation and that they can be obtained from the big q-Jacobi by a q→−1 limit. The generalized Gegenbauer/Hermite polynomials are respectively seen to be special/limiting cases of the Chihara polynomials. A one-parameter extension of the generalized Hermite polynomials is proposed. V.X.G. holds a fellowship from the Natural Sciences and Engineering Research Council of Canada (NSERC). The research of L.V. is supported in part by NSERC. en Інститут математики НАН України Symmetry, Integrability and Geometry: Methods and Applications A ''Continuous'' Limit of the Complementary Bannai-Ito Polynomials: Chihara Polynomials Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
A ''Continuous'' Limit of the Complementary Bannai-Ito Polynomials: Chihara Polynomials |
| spellingShingle |
A ''Continuous'' Limit of the Complementary Bannai-Ito Polynomials: Chihara Polynomials Genest, V.X. Vinet, L. Zhedanov, A. |
| title_short |
A ''Continuous'' Limit of the Complementary Bannai-Ito Polynomials: Chihara Polynomials |
| title_full |
A ''Continuous'' Limit of the Complementary Bannai-Ito Polynomials: Chihara Polynomials |
| title_fullStr |
A ''Continuous'' Limit of the Complementary Bannai-Ito Polynomials: Chihara Polynomials |
| title_full_unstemmed |
A ''Continuous'' Limit of the Complementary Bannai-Ito Polynomials: Chihara Polynomials |
| title_sort |
''continuous'' limit of the complementary bannai-ito polynomials: chihara polynomials |
| author |
Genest, V.X. Vinet, L. Zhedanov, A. |
| author_facet |
Genest, V.X. Vinet, L. Zhedanov, A. |
| publishDate |
2014 |
| language |
English |
| container_title |
Symmetry, Integrability and Geometry: Methods and Applications |
| publisher |
Інститут математики НАН України |
| format |
Article |
| description |
A novel family of −1 orthogonal polynomials called the Chihara polynomials is characterized. The polynomials are obtained from a ''continuous'' limit of the complementary Bannai-Ito polynomials, which are the kernel partners of the Bannai-Ito polynomials. The three-term recurrence relation and the explicit expression in terms of Gauss hypergeometric functions are obtained through a limit process. A one-parameter family of second-order differential Dunkl operators having these polynomials as eigenfunctions is also exhibited. The quadratic algebra with involution encoding this bispectrality is obtained. The orthogonality measure is derived in two different ways: by using Chihara's method for kernel polynomials and, by obtaining the symmetry factor for the one-parameter family of Dunkl operators. It is shown that the polynomials are related to the big −1 Jacobi polynomials by a Christoffel transformation and that they can be obtained from the big q-Jacobi by a q→−1 limit. The generalized Gegenbauer/Hermite polynomials are respectively seen to be special/limiting cases of the Chihara polynomials. A one-parameter extension of the generalized Hermite polynomials is proposed.
|
| issn |
1815-0659 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/146825 |
| citation_txt |
A ''Continuous'' Limit of the Complementary Bannai-Ito Polynomials: Chihara Polynomials / V.X. Genest, L. Vinet, A. Zhedanov // Symmetry, Integrability and Geometry: Methods and Applications. — 2014. — Т. 10. — Бібліогр.: 25 назв. — англ. |
| work_keys_str_mv |
AT genestvx acontinuouslimitofthecomplementarybannaiitopolynomialschiharapolynomials AT vinetl acontinuouslimitofthecomplementarybannaiitopolynomialschiharapolynomials AT zhedanova acontinuouslimitofthecomplementarybannaiitopolynomialschiharapolynomials AT genestvx continuouslimitofthecomplementarybannaiitopolynomialschiharapolynomials AT vinetl continuouslimitofthecomplementarybannaiitopolynomialschiharapolynomials AT zhedanova continuouslimitofthecomplementarybannaiitopolynomialschiharapolynomials |
| first_indexed |
2025-11-24T18:45:31Z |
| last_indexed |
2025-11-24T18:45:31Z |
| _version_ |
1850492900543037440 |
| fulltext |
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 10 (2014), 038, 18 pages
A “Continuous” Limit of the Complementary
Bannai–Ito Polynomials: Chihara Polynomials
Vincent X. GENEST †, Luc VINET † and Alexei ZHEDANOV ‡
† Centre de Recherches Mathématiques, Université de Montréal,
C.P. 6128, Succ. Centre-Ville, Montréal, QC, Canada, H3C 3J7
E-mail: genestvi@crm.umontreal.ca, vinetl@crm.umontreal.ca
‡ Donetsk Institute for Physics and Technology, Donetsk 83114, Ukraine
E-mail: zhedanov@yahoo.com
Received December 23, 2013, in final form March 24, 2014; Published online March 30, 2014
http://dx.doi.org/10.3842/SIGMA.2014.038
Abstract. A novel family of −1 orthogonal polynomials called the Chihara polynomials
is characterized. The polynomials are obtained from a “continuous” limit of the comple-
mentary Bannai–Ito polynomials, which are the kernel partners of the Bannai–Ito polyno-
mials. The three-term recurrence relation and the explicit expression in terms of Gauss
hypergeometric functions are obtained through a limit process. A one-parameter family of
second-order differential Dunkl operators having these polynomials as eigenfunctions is also
exhibited. The quadratic algebra with involution encoding this bispectrality is obtained.
The orthogonality measure is derived in two different ways: by using Chihara’s method for
kernel polynomials and, by obtaining the symmetry factor for the one-parameter family of
Dunkl operators. It is shown that the polynomials are related to the big −1 Jacobi polyno-
mials by a Christoffel transformation and that they can be obtained from the big q-Jacobi
by a q → −1 limit. The generalized Gegenbauer/Hermite polynomials are respectively seen
to be special/limiting cases of the Chihara polynomials. A one-parameter extension of the
generalized Hermite polynomials is proposed.
Key words: Bannai–Ito polynomials; Dunkl operators; orthogonal polynomials; quadratic
algebras
2010 Mathematics Subject Classification: 33C45
1 Introduction
One of the recent advances in the theory of orthogonal polynomials is the characterization of −1
orthogonal polynomials [11, 13, 21, 22, 23, 24, 25]. The distinguishing property of these poly-
nomials is that they are eigenfunctions of Dunkl-type operators which involve reflections. They
also correspond to q → −1 limits of certain q-polynomials of the Askey tableau. The −1 polyno-
mials should be organized in a tableau complementing the latter. Sitting atop this −1 tableau
would be the Bannai–Ito polynomials (BI) and their kernel partners, the complementary Bannai–
Ito polynomials (CBI). Both families depend on four real parameters, satisfy a discrete/finite
orthogonality relation and correspond to a (different) q → −1 limit of the Askey–Wilson poly-
nomials [1]. The BI polynomials are eigenfunctions of a first-order Dunkl difference operator
whereas the CBI polynomials are eigenfunctions of a second-order Dunkl difference operator.
It should be noted that the polynomials of the −1 scheme do not all have the same type of
bispectral properties in distinction with what is observed when q → 1 because the second-order
q-difference equations of the basic polynomials of the Askey scheme do not always exist in
certain q → −1 limits. In this paper, a novel family of −1 orthogonal polynomials stemming
from a “continuous” limit of the complementary Bannai–Ito polynomials will be studied and
characterized. Its members will be called Chihara polynomials.
mailto:genestvi@crm.umontreal.ca
mailto:vinetl@crm.umontreal.ca
mailto:zhedanov@yahoo.com
http://dx.doi.org/10.3842/SIGMA.2014.038
2 V.X. Genest, L. Vinet and A. Zhedanov
The Bannai–Ito polynomials, written Bn(x; ρ1, ρ2, r1, r2) in the notation of [11], were first
identified by Bannai and Ito themselves in their classification [2] of orthogonal polynomials
satisfying the Leonard duality property [18]; they were also seen to correspond to a q → −1 limit
of the q-Racah polynomials [2]. A significant step in the characterization of the BI polynomials
was made in [21] where it was recognized that the polynomials Bn(x) are eigenfunctions of
the most general (self-adjoint) first-order Dunkl shift operator which stabilizes polynomials of
a given degree, i.e.
L =
[
(x− ρ1)(x− ρ2)
2x
]
(I−R) +
[
(x− r1 + 1/2)(x− r2 + 1/2)
2x+ 1
]
(T+R− I), (1.1)
where T+f(x) = f(x + 1) is the shift operator, Rf(x) = f(−x) is the reflection operator and
where I stands for the identity. In the same paper [21], it was also shown that the BI polynomials
correspond to a q → −1 limit of the Askey–Wilson polynomials and that the operator (1.1) can
be obtained from the Askey–Wilson operator in this limit. An important limiting case of the
BI polynomials is found by considering the “continuous” limit, which is obtained upon writing
x→ x
h
, ρ1 =
a1
h
+ b1, ρ2 =
a2
h
+ b2, r1 =
a1
h
, r2 =
a2
h
, (1.2)
and taking h→ 0. In this limit, the operator (1.1) becomes, after a rescaling of the variable x,
the most general (self-adjoint) first-order differential Dunkl operator which preserves the space
of polynomials of a given degree, i.e.
M =
[
(a+ b+ 1)x2 + (ac− b)x+ c
x2
]
(R− I) +
[
2(x− 1)(x+ c)
x
]
∂xR. (1.3)
The polynomial eigenfunctions of (1.3) have been identified in [23, 25] as the big −1 Jacobi
polynomials Jn(x; a, b, c) introduced in [25]. Alternatively, one can obtain the polynomials
Jn(x; a, b, c) by directly applying the limit (1.2) to the BI polynomials. The big −1 Jacobi
polynomials satisfy a continuous orthogonality relation on the interval [−1,−c] ∪ [1, c]. They
also correspond to a q → −1 limit of the big q-Jacobi polynomials, an observation which was
first used to derive their properties in [25]. It is known moreover (see for example [16]) that the
big q-Jacobi polynomials can be obtained from the Askey–Wilson polynomials using a limiting
procedure similar to (1.2). Hence the relationships between the Askey–Wilson, big q-Jacobi,
Bannai–Ito and big −1 Jacobi polynomials can be expressed diagrammatically as follows
Askey–Wilson
pn(x; a, b, c, d | q)
q→−1
//
a→0x→x/2a
��
Bannai–Ito
Bn(x; ρ1, ρ2, r1, r2)
h→0x→x/h
��
big q-Jacobi
Pn(x;α, β, γ | q)
q→−1
//
big −1 Jacobi
Jn(x; a, b, c)
(1.4)
where the notation of [16] was used for the Askey–Wilson pn(x; a, b, c, d | q) and the big q-Jacobi
polynomials Pn(x;α, β, γ | q).
In this paper, we shall be concerned with the continuous limit (1.2) of the complementary
Bannai–Ito polynomials In(x; ρ1, ρ2, r1, r2) [11, 21]. The polynomials Cn(x;α, β, γ) arising in this
limit shall be referred to as Chihara polynomials since they have been introduced by T. Chihara
in [5] (up to a parameter redefinition). They depend on three real parameters. Using the limit,
A “Continuous” Limit of the Complementary Bannai–Ito Polynomials 3
the recurrence relation and the explicit expression for the polynomials Cn(x;α, β, γ) in terms
of Gauss hypergeometric functions will be obtained from that of the CBI polynomials. The
second-order differential Dunkl operator having the Chihara polynomials as eigenfunctions will
also be given. The corresponding bispectrality property will be used to construct the algebraic
structure behind the Chihara polynomials: a quadratic Jacobi algebra [15] supplemented with
an involution. The weight function for the Chihara polynomials will be constructed in two
different ways: on the one hand using Chihara’s method for kernel polynomials [5] and on the
other hand by solving a Pearson-type equation [16]. This measure will be defined on the union
of two disjoint intervals. The Chihara polynomials Cn(x;α, β, γ) will also be seen to correspond
to a q → −1 limit of the big q-Jacobi polynomials that is different from the one leading to the
big −1 Jacobi. In analogy with (1.4), the following relationships shall be established:
Askey–Wilson
pn(x; a, b, c, d | q)
q→−1
//
a→0x→x/2a
��
complementary BI
In(x; ρ1, ρ2, r1, r2)
h→0x→x/h
��
big q-Jacobi
Pn(x;α, β, γ | q)
q→−1
//
Chihara
Cn(x;α, β, γ)
Since the CBI polynomials are obtained from the BI polynomials by the Christoffel transform [6]
(and vice-versa using the Geronimus transform [14]), it will be shown that the following relations
relating the Chihara to the big −1 Jacobi polynomials hold:
Bannai–Ito
Bn(x; ρ1, ρ2, r1, r2)
Christoffel //
h→0x→x/h
��
complementary BI
In(x; ρ1, ρ2, r1, r2)Geronimus
oo
h→0x→x/h
��
big −1 Jacobi
Jn(x; a, b, c)
Christoffel // Chihara
Cn(x;α, β, γ)Geronimus
oo
Finally, it will be observed that for γ = 0, the Chihara polynomials Cn(x;α, β, γ) reduce to
the generalized Gegenbauer polynomials and that upon taking the limit β → ∞ with γ = 0,
the polynomials Cn(x;α, β, γ) go to the generalized Hermite polynomials [6]. A one-parameter
extension of the generalized Hermite polynomials will also be presented.
The remainder of the paper is organized straightforwardly. In Section 2, the main features
of the CBI polynomials are reviewed. In Section 3, the “continuous” limit is used to define
the Chihara polynomials and establish their basic properties. In Section 4, the operator having
the Chihara polynomials as eigenfunctions is obtained and the algebraic structure behind their
bispectrality is exhibited. In Section 5, the weight function is derived and the orthogonality
relation is given. In Section 6, the polynomials are related to the big −1 Jacobi and big q-Jacobi
polynomials. In Section 7, limits and special cases are examined.
2 Complementary Bannai–Ito polynomials
In this section, the main properties of the complementary Bannai–Ito polynomials, which have
been obtained in [11, 21], are reviewed. Let ρ1, ρ2, r1, r2 be real parameters, the monic CBI
4 V.X. Genest, L. Vinet and A. Zhedanov
polynomial In(x; ρ1, ρ2, r1, r2), denoted In(x) for notational ease, are defined by
I2n(x) = η2n4F3
[
−n, n+ g + 1, ρ2 + x, ρ2 − x
ρ1 + ρ2 + 1, ρ2 − r1 + 1/2, ρ2 − r2 + 1/2
; 1
]
,
I2n+1(x) = η2n+1(x− ρ2)4F3
[
−n, n+ g + 2, ρ2 + x+ 1, ρ2 − x+ 1
ρ1 + ρ2 + 2, ρ2 − r1 + 3/2, ρ2 − r2 + 3/2
; 1
]
, (2.1)
where g = ρ1 + ρ2 − r1 − r2 and where pFq denotes the generalized hypergeometric series [8]. It
is directly seen from (2.1) that In(x) is a polynomial of degree n in x and that it is symmetric
with respect to the exchange of the two parameters r1, r2. The coefficients ηn, which ensure
that the polynomials are monic (i.e. In(x) = xn +O(xn−1)), are given by
η2n =
(ρ1 + ρ2 + 1)n(ρ2 − r1 + 1/2)n(ρ2 − r2 + 1/2)n
(n+ g + 1)n
,
η2n+1 =
(ρ1 + ρ2 + 2)n(ρ2 − r1 + 3/2)n(ρ2 − r2 + 3/2)n
(n+ g + 2)n
,
where (a)n = a(a + 1) · · · (a + n − 1), (a)0 ≡ 1, stands for the Pochhammer symbol. The CBI
polynomials satisfy the three-term recurrence relation
xIn(x) = In+1(x) + (−1)nρ2In(x) + τnIn−1(x), (2.2)
subject to the initial conditions I−1(x) = 0, I0(x) = 1 and with the recurrence coefficients
τ2n = −n(n+ ρ1 − r1 + 1/2)(n+ ρ1 − r2 + 1/2)(n− r1 − r2)
(2n+ g)(2n+ g + 1)
,
τ2n+1 = −(n+ g + 1)(n+ ρ1 + ρ2 + 1)(n+ ρ2 − r1 + 1/2)(n+ ρ2 − r2 + 1/2)
(2n+ g + 1)(2n+ g + 2)
. (2.3)
The CBI polynomials form a finite set {In(x)}Nn=0 of positive-definite orthogonal polynomials
provided that the truncation and positivity conditions τN+1 = 0 and τn > 0 hold for n =
1, . . . , N , where N is a positive integer. Under these conditions, the CBI polynomials obey the
orthogonality relation
N∑
i=0
ωiIn(xi)Im(xi) = h(N)
n δnm,
where the grid points xi are of the general form
xi = (−1)i(a+ 1/4 + i/2)− 1/4, or xi = (−1)i(b− 1/4− i/2)− 1/4.
The expressions for the grid points xi and for the weight function ωi depend on the truncation
condition τN+1 = 0, which can be realized in six different ways (three for each possible parity
of N). The explicit formulas for each case shall not be needed here and can be found in [11].
One of the most important properties of the complementary Bannai–Ito polynomials is their
bispectrality. Recall that a family of orthogonal polynomials {Pn(x)} is bispectral if one has an
eigenvalue equation of the form
APn(x) = λnPn(x),
where A is an operator acting on the argument x of the polynomials. For the CBI polynomials,
there is a one-parameter family of eigenvalue equations [11]
K(α)In(x) = Λ(α)
n In(x), (2.4)
A “Continuous” Limit of the Complementary Bannai–Ito Polynomials 5
with eigenvalues Λ
(α)
n
Λ
(α)
2n = n(n+ g + 1), Λ
(α)
2n+1 = n(n+ g + 2) + ω + α, (2.5)
where
ω = ρ1(1− r1 − r2) + r1r2 − 3(r1 + r2)/2 + 5/4, (2.6)
and where α is an arbitrary parameter. The operator K(α) is the second-order Dunkl shift
operator1
K(α) = Ax(T+ − I) +Bx(T− −R) + Cx(I−R) +Dx(T+R− I), (2.7)
where T±f(x) = f(x± 1), Rf(x) = f(−x) and where the coefficients read
Ax =
(x+ ρ1 + 1)(x+ ρ2 + 1)(x− r1 + 1/2)(x− r2 + 1/2)
2(x+ 1)(2x+ 1)
,
Bx =
(x− ρ1 − 1)(x− ρ2)(x+ r1 − 1/2)(x+ r2 − 1/2)
2x(2x− 1)
,
Cx =
(x+ ρ1 + 1)(x− ρ2)(x− r1 + 1/2)(x− r2 + 1/2)
2x(2x+ 1)
+
(α− x2)(x− ρ2)
2x
,
Dx =
ρ2(x+ ρ1 + 1)(x− r1 + 1/2)(x− r2 + 1/2)
2x(x+ 1)(2x+ 1)
. (2.8)
The complementary Bannai–Ito correspond to a q → −1 limit of the Askey–Wilson polyno-
mials [21]. Consider the Askey–Wilson polynomials [1]
pn(z; a, b, c, d | q) = a−n(ab, ac, ad; q)n4φ3
(
q−n, abcdqn−1, az, az−1
ab, ac, ad
∣∣∣q; q), (2.9)
where pφq is the generalized q-hypergeometric function [8]. Upon considering
a = ieε(2ρ1+3/2), b = −ieε(2ρ2+1/2), c = ieε(−2r2+1/2), d = ieε(−2r1+1/2),
q = −eε, z = ie−2ε(x+1/4),
and taking the limit ε→ 0, one finds that the polynomials (2.9) converge, up to a normalization
factor, to the CBI polynomials In(x; ρ1, ρ2, r1, r2).
3 A “continuous” limit to Chihara polynomials
In this section, the “continuous” limit of the complementary Bannai–Ito polynomials will be
used to define the Chihara polynomials and obtain the three-term recurrence relation that they
satisfy. Let ρ1, ρ2, r1, r2 be parametrized as follows
ρ1 =
a1
h
+ b1, ρ2 =
a2
h
+ b2, r1 =
a1
h
, r2 =
a2
h
, (3.1)
and denote by
F (h)
n (x) = hnIn(x/h) (3.2)
1One should take α→ ω + α in the operator obtained in [11] to find the expression (2.7).
6 V.X. Genest, L. Vinet and A. Zhedanov
the monic polynomials obtained by replacing x → x/h in the CBI polynomials. Upon taking
h→ 0 in the definition (2.1) of the CBI polynomials, where (3.1) has been used, one finds that
the limit exists and that it yields
lim
h→0
F
(h)
2n =
(a2
2 − a2
1)n(b2 + 1/2)n
(n+ b1 + b2 + 1)n
2F1
[
−n, n+ b1 + b2 + 1
b2 + 1/2
;
a2
2 − x2
a2
2 − a2
1
]
,
lim
h→0
F
(h)
2n+1 =
(a2
2 − a2
1)n(b2 + 3/2)n
(n+ b1 + b2 + 2)n
(x− a2)2F1
[
−n, n+ b1 + b2 + 2
b2 + 3/2
;
a2
2 − x2
a2
2 − a2
1
]
. (3.3)
It is directly seen that the variable x in (3.3) can be rescaled and consequently, that there is
only three independent parameters. Assuming that a2
1 6= a2
2, we can take
x→ x
√
a2
1 − a2
2, α = b2 − 1/2, β = b1 + 1/2, γ = a2/
√
a2
1 − a2
2, (3.4)
to rewrite the polynomials (3.3) in terms of the three parameters α, β and γ. We shall moreover
assume that γ is real. This construction motivates the following definition.
Definition 3.1. Let α, β and γ be real parameters. The Chihara polynomials Cn(x;α, β, γ),
denoted Cn(x) for simplicity, are the monic polynomials of degree n in the variable x defined by
C2n(x) = (−1)n
(α+ 1)n
(n+ α+ β + 1)n
2F1
[
−n, n+ α+ β + 1
α+ 1
;x2 − γ2
]
,
C2n+1(x) = (−1)n
(α+ 2)n
(n+ α+ β + 2)n
(x− γ)2F1
[
−n, n+ α+ β + 2
α+ 2
;x2 − γ2
]
. (3.5)
The polynomials Cn(x;α, β, γ) (up to redefinition of the parameters) have been considered
by Chihara in [5] in a completely different context (see Section 5). We shall henceforth refer to
the polynomials Cn(x;α, β, γ) as the Chihara polynomials. They correspond to the continuous
limit (3.1), (3.2) as h→ 0 of the CBI polynomials with the scaling and reparametrization (3.4).
Using the same limit on (2.2) and (2.3), the recurrence relation satisfied by the Chihara
polynomials (3.5) can readily be obtained.
Proposition 3.2 ([5]). The Chihara polynomials Cn(x) defined by (3.5) satisfy the recurrence
relation
xCn(x) = Cn+1(x) + (−1)nγCn(x) + σnCn−1(x), (3.6)
where
σ2n =
n(n+ β)
(2n+ α+ β)(2n+ α+ β + 1)
, σ2n+1 =
(n+ α+ 1)(n+ α+ β + 1)
(2n+ α+ β + 1)(2n+ α+ β + 2)
.(3.7)
Proof. By taking the limit (3.1), (3.2) and reparametrization (3.4) on (2.2), (2.3). �
As is directly checked from the recurrence coefficients (3.7), the positivity condition σn > 0
for n > 1 is satisfied if the parameters α and β are such that
α > −1, β > −1.
By Favard’s theorem [6], it follows that the system of polynomials {Cn(x;α, β, γ)}∞n=0 defined
by (3.5) is orthogonal with respect to some positive measure on the real line. This measure shall
be constructed in Section 5.
A “Continuous” Limit of the Complementary Bannai–Ito Polynomials 7
4 Bispectrality of the Chihara polynomials
In this section, the operator having the Chihara polynomials as eigenfunctions is derived and the
algebraic structure behind this bispectrality, a quadratic algebra with an involution, is exhibited.
4.1 Bispectrality
Consider the family of eigenvalue equations (2.5) satisfied by the CBI polynomials. Upon chan-
ging the variable x→ x/h, the action of the operator (2.7) becomes
K(α)f(x) = Ax/h (f(x+ h)− f(x)) +Bx/h(f(x− h)− f(−x))
+ Cx/h(f(x)− f(−x)) +Dx/h(f(−x− h)− f(x)).
Using the above expression and the parametrization (3.1), the limit as h → 0 can be taken
in (2.5) to obtain the family of eigenvalue equations satisfied by the Chihara polynomials.
Proposition 4.1. Let ε be an arbitrary parameter. The Chihara polynomials Cn(x;α, β, γ)
satisfy the one-parameter family of eigenvalue equations
D(ε)Cn(x;α, β, γ) = λ(ε)
n Cn(x;α, β, γ), (4.1)
where the eigenvalues are given by
λ
(ε)
2n = n(n+ α+ β + 1), λ
(ε)
2n+1 = n(n+ α+ β + 2) + ε, (4.2)
for n = 0, 1, . . .. The second-order differential Dunkl operator D(ε) having the Chihara polyno-
mials as eigenfunctions has the expression
D(ε) = Sx∂
2
x + Tx∂xR+ Ux∂x + Vx(I−R), (4.3)
where the coefficients are
Sx =
(x2 − γ2)(x2 − γ2 − 1)
4x2
, Tx =
γ(x− γ)(x2 − γ2 − 1)
4x3
,
Ux =
γ(x2 − γ2 − 1)(2γ − x)
4x3
+
(x2 − γ2)(α+ β + 3/2)
2x
− α+ 1/2
2x
,
Vx =
γ(x2 − γ2 − 1)(x− 3γ/2)
4x4
− (x2 − γ2)(α+ β + 3/2)
4x2
+
α+ 1/2
4x2
+ ε
x− γ
2x
. (4.4)
Proof. We obtain D(0) first. Consider the operator K(−ω). Upon taking x → x/h, the action
of this operator on functions of argument x can be cast in the form
K(−ω)f(x) = Ax/h [f(x+ h)− f(x)] +Bx/h [f(x− h)− f(x)]
+
[
Bx/h + Cx/h −Dx/h
]
f(x) +Dx/hf(−x− h)−
[
Bx/h + Cx/h
]
f(−x). (4.5)
Assuming that f(x) is an analytic function, the first term of (4.5) yields
lim
h→0
(
Ax/h [f(x+ h)− f(x)] +Bx/h [f(x− h)− f(x)]
)
=
[
(x2 − a2
1)(x2 − a2
2)
4x2
]
f ′′(x)
+
1
4
[
x(2b1 + 2b2 + 3) +
−a2x− a2
2(1 + 2b1)− 2a2
1b2
x
+
a2
1a2
x2
− 2a2
1a
2
2
x3
]
f ′(x),
8 V.X. Genest, L. Vinet and A. Zhedanov
where (3.1) has been used and where f ′(x) stands for the derivative with respect to the argu-
ment x. With (3.4) this gives the term Sx∂
2
x + Ux∂x in D(0). Similarly, using (3.1), the second
term of (4.5) produces
lim
h→0
(
Bx/h + Cx/h −Dx/h
)
f(x)
=
[
3a2
1a
2
2
8x4
− a2
1a2
4x3
+
a2
2b1 + a2
1b2
4x2
+
a2
4x
− 2b1 + 2b2 + 3
8
]
f(x).
With the parametrization (3.4), this gives the term VxI in D(0). The third term of (4.5) gives
lim
h→0
(
Dx/hf(−x− h)−
[
Bx/h + Cx/h
]
f(−x)
)
=
a2(x2 − a2
1)(a2 − x)
4x3
f ′(−x)
−
[
3a2
1a
2
2
8x4
− a2
1a2
4x3
+
a2
2b1 + a2
1b2
4x2
+
a2
4x
− 2b1 + 2b2 + 3
8
]
f(−x).
Using (3.4), this gives the term −VxR+Tx∂xR in D(0). The arbitrary parameter ε can be added
to the odd part of the spectrum since the Chihara polynomials satisfy the eigenvalue equation
(x− γ)
2x
(I−R)Cn(x) = ρnCn(x) with ρn =
{
0 if n is even,
1 if n is odd,
as can be seen directly from the explicit expression (3.5). This concludes the proof. �
4.2 Algebraic structure
The bispectrality property of the Chihara polynomials can be encoded algebraically. Let κ1, κ2
and P be defined as follows
κ1 = D(ε), κ2 = x, P = R+
γ
x
(I−R),
where D(ε) is given by (4.3), R is the reflection operator and where κ2 corresponds to multipli-
cation by x. It is directly checked that P is an involution, which means that
P 2 = I.
Upon defining a third generator
κ3 = [κ1, κ2],
with [a, b] = ab− ba, a direct computation shows that one has the commutation relations
[κ3, κ2] =
1
2
κ2
2 + δ2κ
2
2P + 2δ3κ3P − δ5P − δ4,
[κ1, κ3] =
1
2
{κ1, κ2} − δ2κ3P − δ3κ1P + δ1κ2 − δ1δ3P, (4.6)
where {a, b} = ab+ ba stands for the anticommutator. The commutation relations involving the
involution P are given by
[κ1, P ] = 0, {κ2, P} = 2δ3, {κ3, P} = 0, (4.7)
and the structure constants δi, i = 1, . . . , 5 are expressed as follows
δ1 = ε(α+ β + 1− ε), δ2 = (α+ β + 3/2− 2ε), δ3 = γ,
δ4 = (γ2 + 1)/2, δ5 = γ2(α+ β + 3/2− 2ε) + α+ 1/2.
The algebra defined by (4.6) and (4.7) corresponds to a Jacobi algebra [15] supplemented with
involutions and can be seen as a contraction of the complementary Bannai–Ito algebra [11].
A “Continuous” Limit of the Complementary Bannai–Ito Polynomials 9
5 Orthogonality of the Chihara polynomials
In this section, we derive the orthogonality relation satisfied by the Chihara polynomials in
two different ways. First, the weight function will be constructed directly, following a method
proposed by Chihara in [5]. Second, a Pearson-type equation will be solved for the operator (4.3).
It is worth noting here that the weight function cannot be obtained from the limit process (3.1)
as h → 0. Indeed, while the complementary Bannai–Ito polynomials F
(h)
n (x) = hnIn(x/h)
approach this limit, they no longer form a (finite) system of orthogonal polynomials. A similar
situation occurs in the standard limit from the q-Racah to the big q-Jacobi polynomials [16] and
is discussed by Koornwinder in [17].
5.1 Weight function and Chihara’s method
Our first approach to the construction of the weight function is based on the method developed
by Chihara in [5] to construct systems of orthogonal polynomials from a given a set of ortho-
gonal polynomials and their kernel partners (see also [19]). Since the present context is rather
different, the analysis will be taken from the start. The main observation is that the Chihara
polynomials (3.5) can be expressed in terms of the Jacobi polynomials P
(α,β)
n (x) as follows
C2n(x;α, β, γ) =
(−1)nn!
(n+ α+ β + 1)n
P (α,β)
n (y(x)),
C2n+1(x;α, β, γ) =
(−1)nn!(x− γ)
(n+ α+ β + 2)n
P (α+1,β)
n (y(x)), (5.1)
where
y(x) = 1− 2x2 + 2γ2.
The Jacobi polynomials P
(α,β)
n (z) are known [16] to satisfy the orthogonality relation∫ 1
−1
P (α,β)
n (z)P (α,β)
m (z)dψ(α,β)(z) = χ(α,β)
n δnm, (5.2)
with
χ(α,β)
n =
2α+β+1
2n+ α+ β + 1
Γ(n+ α+ 1)Γ(n+ β + 1)
Γ(n+ α+ β + 1)n!
, (5.3)
where Γ(z) is the gamma function and where
dψ(α,β)(z) = (1− z)α(1 + z)βdz. (5.4)
The relation (5.2) is valid provided that α > −1, β > −1. Since the Chihara polynomials
are orthogonal (by proposition 3.2 and Favard’s theorem) and given the relation (5.1) and
orthogonality relation (5.2), we consider the integral
IMN =
∫
F
CM (x)CN (x)dφ(x),
where the interval F =
[
−
√
1 + γ2,−|γ|
]
∪
[
|γ|,
√
1 + γ2
]
corresponds to the inverse mapping
of the interval [−1, 1] for y(x) and where φ(x) is a distribution function. Upon taking M = 2m
and using (5.1), one directly has (up to normalization)
I2m,2n =
∫ √1+γ2
|γ|
P (α,β)
m
(
y(x)
)
P (α,β)
n
(
y(x)
)[
dφ(x)− dφ(−x)
]
,
I2m,2n+1 =
∫ √1+γ2
|γ|
P (α,β)
m
(
y(x)
)
P (α+1,β)
n
(
y(x)
)[
(x− γ)dφ(x) + (x+ γ)dφ(−x)
]
.
10 V.X. Genest, L. Vinet and A. Zhedanov
In order that I2n,2m = I2n,2m+1 = 0 for n 6= m, one must have for |γ| 6 x 6
√
1 + γ2
dφ(x)− dφ(−x) = dψ(α,β)
(
y(x)
)
, (x− γ)dφ(x) + (x+ γ)dφ(−x) = 0, (5.5)
where ψ(α,β)
(
y(x)
)
is the distribution appearing in (5.4) with z = y(x). The common solution
to the equations (5.5) is seen to be given by
dφ(x) =
(x+ γ)
2|x|
dψ(α,β)
(
1− 2x2 + 2γ2
)
. (5.6)
It is easily verified that the condition I2n+1,2m+1 = 0 for n 6= m holds. Indeed, upon using (5.6)
one finds (up to normalization)
I2n+1,2m+1 =
∫ √1+γ2
|γ|
P (α+1,β)
n
(
y(x)
)
P (α+1,β)
m
(
y(x)
)[
(x− γ)2dφ(x)− (x+ γ)2dφ(−x)
]
=
∫ √1+γ2
|γ|
P (α+1,β)
n
(
y(x)
)
P (α+1,β)
m
(
y(x)
)
dψ(α+1,β)
(
y(x)
)
= χ(α+1,β)
n δnm,
which follows from (5.2). The following result has thus been established.
Proposition 5.1 ([5]). Let α, β and γ be real parameters such that α, β > −1. The Chihara
polynomials Cn(x;α, β, γ) satisfy the orthogonality relation∫
E
Cn(x)Cm(x)ω(x)dx = knδnm, (5.7)
on the interval E =
[
−
√
1 + γ2,−|γ|
]
∪
[
|γ|,
√
1 + γ2
]
. The weight function has the expression
ω(x) = θ(x)(x+ γ)(x2 − γ2)α(1 + γ2 − x2)β, (5.8)
where θ(x) is the sign function. The normalization factor kn is given by
k2n =
Γ(n+ α+ 1)Γ(n+ β + 1)
Γ(n+ α+ β + 1)
n!
(2n+ α+ β + 1) [(n+ α+ β + 1)n]2
,
k2n+1 =
Γ(n+ α+ 2)Γ(n+ β + 1)
Γ(n+ α+ β + 2)
n!
(2n+ α+ β + 2) [(n+ α+ β + 2)n]2
. (5.9)
Proof. The proof of the orthogonality relation follows from the above considerations. The
normalization factor is obtained by comparison with that of the Jacobi polynomials (5.3). �
5.2 A Pearson-type equation
The weight function for the Chihara polynomials Cn(x) can also be derived from their bispectral
property (4.1) by solving a Pearson-type equation. A similar approach was adopted in [23]
and led to the weight function for the big −1 Jacobi polynomials. In view of the recurrence
relation (3.6) satisfied by the Chihara polynomials Cn(x), it follows from Favard’s theorem that
there exists a linear functional σ such that
〈σ,Cn(x)Cm(x)〉 = hnδnm, (5.10)
with non-zero constants hn. Moreover, it follows from (4.1) and from the completeness of the
system of polynomials {Cn(x)} that the operator D(ε) defined by (4.3) and (4.4) is symmetric
with respect to the functional σ, which means that〈
σ, {D(ε)V (x)}W (x)
〉
=
〈
σ, V (x){D(ε)W (x)}
〉
,
A “Continuous” Limit of the Complementary Bannai–Ito Polynomials 11
where V (x) and W (x) are arbitrary polynomials. In the positive-definite case α > −1, β > −1,
one has hn > 0 and there is a realization of (5.10) in terms of an integral
〈σ,Cn(x)Cm(x)〉 =
∫ b
a
Cn(x)Cm(x)dσ(x),
where σ(x) is a distribution function and where a, b can be infinite. Let us consider the case
where ω(x) = dσ(x)/dx > 0 inside the interval [a, b]. In this case, the following condition must
hold: (
ω(x)D(ε)
)∗
= ω(x)D(ε), (5.11)
where A∗ denotes the Lagrange adjoint operator with respect to A. Recall that for a generic
Dunkl differential operator
A =
N∑
k=0
Ak(x)∂kx +
N∑
`=0
Bk(x)∂kxR,
where Ak(x) and Bk(x) are real functions, the Lagrange adjoint operator reads [23]
A∗ =
N∑
k=0
(−1)k∂kxAk(x) +
N∑
`=0
∂kxBk(−x)R.
These formulas assume that the interval of orthogonality is necessarily symmetric. Let us now
derive directly the expression for the weight function ω(x) from the condition (5.11). Assuming
ε ∈ R, the Lagrange adjoint of D(ε) reads[
D(ε)
]∗
= ∂2
xSx + ∂xT−xR− ∂xUx − V−xR+ VxI,
where the coefficients are given by (4.4). Upon imposing the condition (5.11), one finds the
following equations for the terms in ∂xR and ∂x:
(x+ γ)ω(−x) + (−x+ γ)ω(x) = 0,
ω′(x) =
[
α
x− γ
+
α+ 1
x+ γ
− 2xβ
γ2 + 1− x2
]
ω(x). (5.12)
It is easily seen that the common solution to (5.12) is given by
ω(x) = θ(x)(x+ γ)
(
x2 − γ2
)α(
1 + γ2 − x2
)β
, (5.13)
which corresponds to the weight function (5.8) derived above. It is directly checked that
with (5.13), the equations for the terms in ∂2
x, R and I arising from the symmetry condi-
tion (5.11) are identically satisfied. The orthogonality relation (5.7) can be recovered by the
requirements that ω(x) > 0 on a symmetric interval.
6 Chihara polynomials and big q and −1 Jacobi polynomials
In this section, the connexion between the Chihara polynomials and the big q-Jacobi and big −1
Jacobi polynomials is established. In particular, it is shown that the Chihara polynomials are
related to the former by a q → −1 limit and to the latter by a Christoffel transformation.
12 V.X. Genest, L. Vinet and A. Zhedanov
6.1 Chihara polynomials and big −1 Jacobi polynomials
The big −1 Jacobi polynomials Jn(x; a, b, c) were introduced in [25] as a q → −1 limit of the big
q-Jacobi polynomials. In [23], they were seen to be the polynomials that diagonalize the most
general first order differential Dunkl operator preserving the space of polynomials of a given
degree (see (1.3)). The big −1 Jacobi polynomials can be defined by their recurrence relation
xJn(x) = Jn+1(x) + (1−An − Cn)Jn(x) +An−1CnJn−1, (6.1)
subject to the initial conditions J−1(x) = 0, J0(x) = 1 and where the recurrence coefficients
read
An =
(1 + c)(a+ n+ 1)
2n+ a+ b+ 2
n even,
(1− c)(n+ a+ b+ 1)
2n+ a+ b+ 2
n odd,
Cn =
(1− c)n
2n+ a+ b
n even,
(1 + c)(n+ b)
2n+ a+ b
n odd,
(6.2)
for 0 < c < 1. Consider the monic polynomials Kn(x) obtained from the big −1 Jacobi polyno-
mials Jn(x) by the Christoffel transformation [6]
Kn(x) =
1
(x− 1)
[
Jn+1(x)− Jn+1(1)
Jn(1)
Jn(x)
]
= (x− 1)−1[Jn+1(x)−AnJn(x)], (6.3)
where we have used the fact that
Jn+1(1)/Jn(1) = An,
which easily follows from (6.1) by induction. As is seen from (6.3), the polynomials Kn(x)
are kernel partners of the big −1 Jacobi polynomials with kernel parameter 1. The inverse
transformation, called the Geronimus transformation [14], is here given by
Jn(x) = Kn(x)− CnKn−1(x). (6.4)
Indeed, it is directly verified that upon substituting (6.3) in (6.4), one recovers the recurrence
relation (6.1) satisfied by the big −1 Jacobi polynomials. In the reverse, upon substituting (6.4)
in (6.3), one finds that the kernel polynomials Kn(x) satisfy the recurrence relation
xKn(x) = Kn+1(x) + (1−An − Cn+1)Kn(x) +AnCnKn−1(x).
Using the expressions (6.2) for the recurrence coefficients, this recurrence relation can be cast
in the form
xKn(x) = Kn+1(x) + (−1)n+1cKn(x) + fnKn−1(x), (6.5)
where
fn =
(1− c2)n(n+ a+ 1)
(2n+ a+ b)(2n+ a+ b+ 2)
n even,
(1− c2)(n+ b)(n+ a+ b+ 1)
(2n+ a+ b)(2n+ a+ b+ 2)
n odd.
(6.6)
It follows from the above recurrence relation that the kernel polynomials Kn(x) of the big −1
Jacobi polynomials correspond to the Chihara polynomials. Indeed, taking x → x
√
1− c2 and
defining
α = b/2− 1/2, β = a/2 + 1/2,
c√
1− c2
= −γ,
A “Continuous” Limit of the Complementary Bannai–Ito Polynomials 13
it is directly checked that the recurrence relation (6.5) with coefficients (6.6) corresponds to the
recurrence relation (3.6) satisfied by the Chihara polynomials. We have thus established that
the Chihara polynomials are the kernel partners of the big −1 Jacobi polynomials with kernel
parameter 1. In view of the fact that the complementary Bannai–Ito polynomials are the kernel
partners of the Bannai–Ito polynomials, we have
Bannai–Ito
Bn(x; ρ1, ρ2, r1, r2)
Christoffel //
h→0x→x/h
��
complementary BI
In(x; ρ1, ρ2, r1, r2)Geronimus
oo
h→0x→x/h
��
big −1 Jacobi
Jn(x; a, b, c)
Christoffel // Chihara
Cn(x;α, β, γ)Geronimus
oo
The precise limit process from the Bannai–Ito polynomials to the big q-Jacobi polynomials can
be found in [21].
6.2 Chihara polynomials and big q-Jacobi polynomials
The Chihara polynomials also correspond to a q → −1 limit of the big q-Jacobi polynomials,
different from the one leading to the big −1 Jacobi polynomials. Recall that the monic big
q-Jacobi polynomials Pn(x;α, β, γ|q) obey the recurrence relation [16]
xPn(x) = Pn+1(x) + (1− υn − νn)Pn(x) + υn−1νnPn−1(x), (6.7)
with P−1(x) = 0, P0(x) = 1 and where
υn =
(1− αqn+1)(1− αβqn+1)(1− γqn+1)
(1− αβq2n+1)(1− αβq2n+2)
,
νn = −αγqn+1 (1− q)n(1− αβγ−1qn)(1− βqn)
(1− αβq2n)(1− αβq2n+1)
.
Upon writing
q = −eε, α = e2εβ, β = −eε(2α+1), γ = −γ, (6.8)
and taking the limit as ε → 0, the recurrence relation (6.7) is directly seen to converge, up to
the redefinition of the variable x → x
√
1− γ2, to that of the Chihara polynomials (3.6). In
view of the well known limit of the Askey–Wilson polynomials to the big q-Jacobi polynomials,
which can be found in [16], we can thus write
Askey–Wilson
pn(x; a, b, c, d | q)
q→−1
//
a→0x→x/2a
��
complementary BI
In(x; ρ1, ρ2, r1, r2)
h→0x→x/h
��
big q-Jacobi
Pn(x;α, β, γ | q)
q→−1
//
Chihara
Cn(x;α, β, γ)
It is worth mentioning here that the limit process (6.8) cannot be used to derive the bispectrality
property of the Chihara polynomials from the one of the big q-Jacobi polynomials. Indeed, it
can be checked that the q-difference operator diagonalized by the big q-Jacobi polynomials does
not exist in the limit (6.8). A similar situation occurs for the q → −1 limit of the Askey–Wilson
polynomials to the complementary Bannai–Ito polynomials and is discussed in [11].
14 V.X. Genest, L. Vinet and A. Zhedanov
7 Special cases and limits of Chihara polynomials
In this section, three special/limit cases of the Chihara polynomials Cn(x;α, β, γ) are considered.
One special case and one limit case correspond respectively to the generalized Gegenbauer and
generalized Hermite polynomials, which are well-known from the theory of symmetric orthogonal
polynomials [6]. The third limit case leads to a new bispectral family of −1 orthogonal polyno-
mials which depend on two parameters and which can be seen as a one-parameter extension of
the generalized Hermite polynomials.
7.1 Generalized Gegenbauer polynomials
It is easy to see from the explicit expression (3.5) that if one takes γ = 0, the Chihara polyno-
mials Cn(x;α, β, γ) become symmetric, i.e. Cn(−x) = (−1)nCn(x). Denoting by Gn(x;α, β) the
polynomials obtained by specializing the Chihara polynomials to γ = 0, one directly has
G2n(x) =
(−1)n(α+ 1)n
(n+ α+ β + 1)n
2F1
[
−n, n+ α+ β + 1
α+ 1
;x2
]
,
G2n+1(x) =
(−1)n(α+ 2)n
(n+ α+ β + 2)n
x2F1
[
−n, n+ α+ β + 2
α+ 2
;x2
]
.
The polynomials Gn(x) are directly identified to the generalized Gegenbauer polynomials (see
for example [3, 7]). In view of proposition (3.2), the polynomials Gn(x) satisfy the recurrence
relation
xGn(x) = Gn+1(x) + σnGn−1(x),
with G−1(x) = 0, G0(x) = 1 and where σn is given by (3.7). It follows from proposition (4.1)
that the polynomials Gn(x) satisfy the family of eigenvalue equations
W(ε)Gn(x) = λ(ε)
n Gn(x), (7.1)
where the eigenvalues are given by (4.2) and where the operator W(ε) has the expression
W(ε) = Sx∂
2
x + Ux∂x + Vx(I−R),
with the coefficients
Sx =
x2 − 1
4
, Ux =
x2(α+ β + 3/2)− α− 1/2
2x
,
Vx =
α+ 1/2
4x2
− α+ β + 3/2
4
+ ε/2.
Upon taking
ε→ (α+ 1)(µ+ 1/2), β → α, α→ µ− 1/2,
the eigenvalue equation (7.1) can be rewritten as
QGn(x) = ΥnGn(x), (7.2)
where
Q = (1− x2)[Dµ
x ]2 − 2(α+ 1)xDµ
x , (7.3)
A “Continuous” Limit of the Complementary Bannai–Ito Polynomials 15
where Dµ
x stands for the Dunkl derivative operator
Dµ
x = ∂x +
µ
x
(I−R), (7.4)
and where the eigenvalues Υn are of the form
Υ2n = −2n(2n+ 2α+ 2µ+ 1), Υ2n+1 = −(2n+ 2µ+ 1)(2n+ 2α+ 2). (7.5)
The eigenvalue equation (7.2) with the operator (7.3) and eigenvalues (7.5) corresponds to the
one obtained by Ben Cheikh and Gaied in their characterization of Dunkl-classical symmetric
orthogonal polynomials [4]. The third proposition leads to the orthogonality relation∫ 1
−1
Gn(x)Gm(x)ω(x)dx = knδnm,
where the normalization factor kn is given by (5.9) and where the weight function reads
ω(x) = |x|2α+1
(
1− x2
)β
.
We have thus established that the generalized Gegenbauer polynomials are −1 orthogonal poly-
nomials which are descendants of the complementary Bannai–Ito polynomials.
7.2 A one-parameter extension of the generalized Hermite polynomials
Another set of bispectral −1 orthogonal polynomials can be obtained upon letting
x→ β−1/2x, α→ µ− 1/2, γ → β−1/2γ,
and taking the limit as β →∞. This limit is analogous to the one taking the Jacobi polynomials
into the Laguerre polynomials [16]. Let Yn(x;µ, γ) denote the monic polynomials obtained from
the Chihara polynomials in this limit. The following properties of these polynomials can be
derived by straightforward computations. The polynomials Yn(x; γ) have the hypergeometric
expression
Y2n(x) = (−1)n(µ+ 1/2)n1F1
[
−n
µ+ 1/2
;x2 − γ2
]
,
Y2n+1(x) = (−1)n(µ+ 3/2)n(x− γ)1F1
[
−n
µ+ 3/2
;x2 − γ2
]
.
They satisfy the recurrence relation
xYn(x) = Yn+1(x) + (−1)nγYn(x) + ϑnYn−1(x),
with the coefficients
ϑ2n = n, ϑ2n+1 = n+ µ+ 1/2.
The polynomials Yn(x; γ) obey the one-parameter family of eigenvalue equations
Z(ε)Yn(x) = λ(ε)
n Yn(x),
where the spectrum has the form
λ
(ε)
2n = n, λ
(ε)
2n+1 = n+ ε.
16 V.X. Genest, L. Vinet and A. Zhedanov
The explicit expression for the second-order differential Dunkl operator Z(ε) is
Z(ε) = Sx∂
2
x − Tx∂xR+ Ux∂x + Vx(I−R),
with
Sx =
γ2 − x2
4x2
, Tx =
γ(x− γ)
4x3
,
Ux =
x
2
+
γ
4x2
− γ2
2x3
− µ+ γ2
2x
, Vx =
3γ2
8x4
− γ
4x3
+
µ+ γ2
4x2
+ ε
x− γ
2x
− 1
4
.
The algebra encoding this bispectrality of the polynomials Yn(x) is obtained by taking
K1 = Z(ε), K2 = x, P = R+
γ
x
(I−R),
and defining K3 = [K1,K2]. One then has the commutation relations
[K1, P ] = 0, {K2, P} = 2γ, {K3, P} = 0,
[K2,K3] = (2ε− 1)K2
2P − 2γK3P + (γ2 − 2γε+ µ)P + 1/2,
[K3,K1] = (1− 2ε)K3P + ε(ε− 1)K2 + γε(ε− 1)P.
The orthogonality relation reads∫
S
Yn(x)Ym(x)w(x)dx = lnδnm
with S = (−∞,−|γ|] ∪ [|γ|,∞) and with the weight function
w(x) = θ(x)(x+ γ)
(
x2 − γ2
)µ−1/2
e−x
2
.
The normalization factors
l2n = n!e−γ
2
Γ(n+ µ+ 1/2), l2n+1 = n!e−γ
2
Γ(n+ µ+ 3/2)
are obtained using the observation that the polynomials Yn(x; γ) can be expressed in terms of
the standard Laguerre polynomials [16].
7.3 Generalized Hermite polynomials
The polynomials Yn(x;µ, γ) can be can be considered as a one-parameter extension of the ge-
neralized Hermite polynomials. Indeed, upon denoting by Hµ
n (x) the polynomials obtained by
taking γ = 0 in Yn(x;µ, γ), one finds that
Hµ
2n(x) = (−1)n(µ+ 1/2)n1F1
[
−n
µ+ 1/2
;x2
]
,
Hµ
2n+1(x) = (−1)n(µ+ 3/2)nx1F1
[
−n
µ+ 3/2
;x2
]
,
which corresponds to the generalized Hermite polynomials [6]. It is thus seen that the gene-
ralized Hermite polynomials are also −1 orthogonal polynomials that can be obtained from the
complementary Bannai–Ito polynomials. For this special case, the eigenvalue equations can be
written (taking ε→ ε/2) as
Ω(ε)Hµ
n (x) = λ(ε)
n Hn(x), with λ
(ε)
2n = 2n, λ
(ε)
2n+1 = 2n+ ε
A “Continuous” Limit of the Complementary Bannai–Ito Polynomials 17
and where the operator Ω(ε) reads
Ω(ε) = −1
2
∂2
x +
(
x− µ
x
)
∂x +
(
µ
2x2
+
ε− 1
2
)
(I−R).
The orthogonality relation then reduces to∫ ∞
−∞
Hµ
n (x)Hµ
m(x)|x|µe−x2dx = lnδnm.
Upon taking Ω̃(ε) = e−x
2/2Ω(ε)ex
2/2, the eigenvalue equations can be written as
Ω̃(ε)ψn(x) = λ(ε)
n ψn(x),
with ψn = e−x
2/2Hµ
n (x) and with the eigenvalues
λ
(ε)
2n = 2n+ µ+ 1/2, λ
(ε)
2n+1 = 2n+ µ+ 3/2 + ε.
The operator Ω̃(ε) can be cast in the form
Ω̃(ε) = −1
2
(Dµ
x)2 +
1
2
x2 +
ε
2
(I−R),
where Dµ
x is the Dunkl derivative (7.4). The operator Ω̃(ε) corresponds to the Hamiltonian of
the one-dimensional Dunkl oscillator [20]. Two-dimensional versions of this oscillator models
have been considered recently [9, 10, 12].
8 Conclusion
In this paper, we have characterized a novel family of −1 orthogonal polynomials in a con-
tinuous variable which are obtained from the complementary Bannai–Ito polynomials by a limit
process. These polynomials have been called the Chihara polynomials and it was shown that
they diagonalize a second-order differential Dunkl operator with a quadratic spectrum. The
orthogonality weight, the recurrence relation and the explicit expression in terms of Gauss
hypergeometric function have also been obtained. Moreover, special cases and descendants of
these Chihara polynomials have been examined. From these considerations, it was observed
that the well-known generalized Gegenbauer/Hermite polynomials are in fact −1 polynomials.
In addition, a new class of bispectral −1 orthogonal polynomials which can be interpreted as
a one-parameter extension of the generalized Hermite polynomials has been defined.
With the results presented here, the polynomials in the higher portion of the emerging tableau
of −1 orthogonal polynomials are now identified and characterized. At the top level of the
tableau sit the Bannai–Ito polynomials and their kernel partners, the complementary Bannai–
Ito polynomials. Both sets depend on four parameters. At the next level of this −1 tableau,
with three parameters, one has the big −1 Jacobi polynomials, which are descendants of the BI
polynomials, as well as the dual −1 Hahn polynomials (see [22]) and the Chihara polynomials
which are descendants of the CBI polynomials. The complete tableau of −1 polynomials with
arrows relating them shall be presented in an upcoming review.
Acknowledgements
V.X.G. holds a fellowship from the Natural Sciences and Engineering Research Council of Canada
(NSERC). The research of L.V. is supported in part by NSERC.
18 V.X. Genest, L. Vinet and A. Zhedanov
References
[1] Askey R., Wilson J., Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials,
Mem. Amer. Math. Soc. 54 (1985), no. 319, iv+55 pages.
[2] Bannai E., Ito T., Algebraic combinatorics. I. Association schemes, The Benjamin/Cummings Publishing
Co., Inc., Menlo Park, CA, 1984.
[3] Belmehdi S., Generalized Gegenbauer orthogonal polynomials, J. Comput. Appl. Math. 133 (2001), 195–205.
[4] Ben Cheikh Y., Gaied M., Characterization of the Dunkl-classical symmetric orthogonal polynomials, Appl.
Math. Comput. 187 (2007), 105–114.
[5] Chihara T.S., On kernel polynomials and related systems, Boll. Un. Mat. Ital. 19 (1964), 451–459.
[6] Chihara T.S., An introduction to orthogonal polynomials, Dover Books on Mathematics, Dover Publications,
New York, 2011.
[7] Dunkl C.F., Xu Y., Orthogonal polynomials of several variables, Encyclopedia of Mathematics and its
Applications, Vol. 81, Cambridge University Press, Cambridge, 2001.
[8] Gasper G., Rahman M., Basic hypergeometric series, Encyclopedia of Mathematics and its Applications,
Vol. 96, 2nd ed., Cambridge University Press, Cambridge, 2004.
[9] Genest V.X., Ismail M.E.H., Vinet L., Zhedanov A., The Dunkl oscillator in the plane: I. Superintegrability,
separated wavefunctions and overlap coefficients, J. Phys. A: Math. Theor. 46 (2013), 145201, 21 pages,
arXiv:1212.4459.
[10] Genest V.X., Ismail M.E.H., Vinet L., Zhedanov A., The Dunkl oscillator in the plane: II. Representations
of the symmetry algebra, Comm. Math. Phys., to appear, arXiv:1302.6142.
[11] Genest V.X., Vinet L., Zhedanov A., Bispectrality of the complementary Bannai–Ito polynomials, SIGMA
9 (2013), 018, 20 pages, arXiv:1211.2461.
[12] Genest V.X., Vinet L., Zhedanov A., The singular and the 2 : 1 anisotropic Dunkl oscillators in the plane,
J. Phys. A: Math. Theor. 46 (2013), 325201, 17 pages, arXiv:1305.2126.
[13] Genest V.X., Vinet L., Zhedanov A., The Bannai–Ito polynomials as Racah coefficients of the sl−1(2)
algebra, Proc. Amer. Math. Soc. 142 (2014), 1545–1560, arXiv:1205.4215.
[14] Geronimus J., The orthogonality of some systems of polynomials, Duke Math. J. 14 (1947), 503–510.
[15] Granovskii Y.I., Lutzenko I.M., Zhedanov A.S., Mutual integrability, quadratic algebras, and dynamical
symmetry, Ann. Physics 217 (1992), 1–20.
[16] Koekoek R., Lesky P.A., Swarttouw R.F., Hypergeometric orthogonal polynomials and their q-analogues,
Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2010.
[17] Koornwinder T.H., On the limit from q-Racah polynomials to big q-Jacobi polynomials, SIGMA 7 (2011),
040, 8 pages, arXiv:1011.5585.
[18] Leonard D.A., Orthogonal polynomials, duality and association schemes, SIAM J. Math. Anal. 13 (1982),
656–663.
[19] Marcellán F., Petronilho J., Eigenproblems for tridiagonal 2-Toeplitz matrices and quadratic polynomial
mappings, Linear Algebra Appl. 260 (1997), 169–208.
[20] Rosenblum M., Generalized Hermite polynomials and the Bose-like oscillator calculus, in Nonselfadjoint
Operators and Related Topics (Beer Sheva, 1992), Oper. Theory Adv. Appl., Vol. 73, Birkhäuser, Basel,
1994, 369–396.
[21] Tsujimoto S., Vinet L., Zhedanov A., Dunkl shift operators and Bannai–Ito polynomials, Adv. Math. 229
(2012), 2123–2158, arXiv:1106.3512.
[22] Tsujimoto S., Vinet L., Zhedanov A., Dual −1 Hahn polynomials: “classical” polynomials beyond the
Leonard duality, Proc. Amer. Math. Soc. 141 (2013), 959–970, arXiv:1108.0132.
[23] Vinet L., Zhedanov A., A Bochner theorem for Dunkl polynomials, SIGMA 7 (2011), 020, 9 pages,
arXiv:1011.1457.
[24] Vinet L., Zhedanov A., A ‘missing’ family of classical orthogonal polynomials, J. Phys. A: Math. Theor. 44
(2011), 085201, 16 pages, arXiv:1011.1669.
[25] Vinet L., Zhedanov A., A limit q = −1 for the big q-Jacobi polynomials, Trans. Amer. Math. Soc. 364
(2012), 5491–5507, arXiv:1011.1429.
http://dx.doi.org/10.1090/memo/0319
http://dx.doi.org/10.1016/S0377-0427(00)00643-9
http://dx.doi.org/10.1016/j.amc.2006.08.108
http://dx.doi.org/10.1016/j.amc.2006.08.108
http://dx.doi.org/10.1017/CBO9780511565717
http://dx.doi.org/10.1017/CBO9780511565717
http://dx.doi.org/10.1017/CBO9780511526251
http://dx.doi.org/10.1088/1751-8113/46/14/145201
http://arxiv.org/abs/1212.4459
http://dx.doi.org/10.1007/s00220-014-1915-2
http://arxiv.org/abs/1302.6142
http://dx.doi.org/10.3842/SIGMA.2013.018
http://arxiv.org/abs/1211.2461
http://dx.doi.org/10.1088/1751-8113/46/32/325201
http://arxiv.org/abs/1305.2126
http://dx.doi.org/10.1090/S0002-9939-2014-11970-8
http://arxiv.org/abs/1205.4215
http://dx.doi.org/10.1215/S0012-7094-47-01441-5
http://dx.doi.org/10.1016/0003-4916(92)90336-K
http://dx.doi.org/10.1007/978-3-642-05014-5
http://dx.doi.org/10.3842/SIGMA.2011.040
http://arxiv.org/abs/1011.5585
http://dx.doi.org/10.1137/0513044
http://dx.doi.org/10.1016/S0024-3795(97)80009-2
http://dx.doi.org/10.1016/j.aim.2011.12.020
http://arxiv.org/abs/1106.3512
http://dx.doi.org/10.1090/S0002-9939-2012-11469-8
http://arxiv.org/abs/1108.0132
http://dx.doi.org/10.3842/SIGMA.2011.020
http://arxiv.org/abs/1011.1457
http://dx.doi.org/10.1088/1751-8113/44/8/085201
http://arxiv.org/abs/1011.1669
http://dx.doi.org/10.1090/S0002-9947-2012-05539-5
http://arxiv.org/abs/1011.1429
1 Introduction
2 Complementary Bannai–Ito polynomials
3 A ``continuous'' limit to Chihara polynomials
4 Bispectrality of the Chihara polynomials
4.1 Bispectrality
4.2 Algebraic structure
5 Orthogonality of the Chihara polynomials
5.1 Weight function and Chihara's method
5.2 A Pearson-type equation
6 Chihara polynomials and big q and -1 Jacobi polynomials
6.1 Chihara polynomials and big -1 Jacobi polynomials
6.2 Chihara polynomials and big q-Jacobi polynomials
7 Special cases and limits of Chihara polynomials
7.1 Generalized Gegenbauer polynomials
7.2 A one-parameter extension of the generalized Hermite polynomials
7.3 Generalized Hermite polynomials
8 Conclusion
References
|