In this paper, we apply to (almost) all the “named”
polynomials of the Askey scheme, as defined by their standard
three-term recursion relations, the machinery developed in
previous papers. For each of these polynomials we identify at
least one additional recursion relation involving a shift in some
of the parameters they feature, and for several of these
polynomials characterized by special values of their parameters,
factorizations are identified yielding some or all of their
zeros—generally given by simple expressions in terms of
integers (Diophantine
relations). The factorization findings generally are applicable
for values of the Askey polynomials that extend beyond those for
which the standard orthogonality relations hold. Most of these
results are not (yet) reported in the standard compilations.
1. Introduction
Recently Diophantine findings and conjectures
concerning the eigenvalues of certain tridiagonal matrices, and correspondingly
the zeros of the polynomials associated with their secular equations, were arrived at via the
study of the behavior of certain isochronous many-body problems of Toda
type in the neighborhood of their equilibria [1, 2] (for a review of these and
other analogous results, see [3, Appendix C]). To prove (some of) these conjectures a theoretical
framework was then developed [4–6], involving polynomials defined by three-term recursion
relations—hence being, at least for appropriate ranges of the parameters they
feature, orthogonal. (This result is generally referred to as “Favard
theorem,” on the basis of [7]; however, as noted by Ismail, a more
appropriate name is “spectral theorem for orthogonal polynomials”
[8]). Specific
conditions were identified—to be satisfied by the coefficients, featuring a
parameter ν, of these recursion relations—sufficient to
guarantee that the corresponding polynomials also satisfy a second three-term recursion relation involving shifts in that parameter ν;
and via this second recursion relation, Diophantine results of
the kind indicated above were obtained [5]. In Section 2, in order to make this paper essentially
self-contained, these developments are tersely reviewed—and also marginally
extended, with the corresponding proofs relegated to an appendix to avoid
interrupting the flow of the presentation. We then apply, in Section 3, this
theoretical machinery to the “named” polynomials of the Askey scheme
[9], as defined by
the basic three-term recursion relation they satisfy: this entails the identification
of the parameter ν—which can often be done in more than one
way, especially for the named polynomials involving several parameters—and
yields the identification of additional recursion relations satisfied by (most
of) these polynomials. Presumably such results (especially after they
have been discovered) could also be obtained by other routes—for instance, by
exploiting the relations of these polynomials with hypergeometric functions: we
did not find them (except in some very classical cases) in the standard
compilations [9–13], where they in our opinion deserve to be eventually
recorded. Moreover, our machinery yields factorizations of certain of these
polynomials entailing the identification of some or all of their zeros, as well
as factorizations relating some of these polynomials (with different
parameters) to each other. Again, most of these results seem new and
deserving to be eventually recorded in the standard
compilations although they generally require that the parameters of the named
polynomials do not satisfy the standard restrictions required for the
orthogonality property. To clarify this restriction let us remark that an
elementary example of such factorizations—which might be considered the prototype of formulas reported below for many of the polynomials of the Askey
scheme—reads as follows:
Ln(−n)(x)=(−x)nn!,n=0,1,2,…,where Ln(α)(x) is the standard (generalized) Laguerre
polynomial of order n,
for whose orthogonality,∫0∞dxxαexp(−x)Ln(α)(x)Lm(α)(x)=δnmΓ(n+α+1)n!,it is, however, generally
required that Reα>−1. This formula, (1.1a), is well known and it is
indeed displayed in some of the standard compilations reporting results for
classical orthogonal polynomials (see, e.g., page 109 of the classical book by
Magnus and Oberhettinger [14] or [11, Equation 8.973.4]). And this remark applies as well to the following
neat generalization of this formula, readingLn(−m)(x)=(−1)m(n−m)!n!xmLn−m(m)(x),m=0,1,…,n,n=0,1,2,…,
which qualifies as
well as the prototype of formulas reported
below for many of the polynomials of the Askey scheme. (Note,
incidentally, that this formula can be inserted without difficulty in the
standard orthogonality relation for generalized Laguerre polynomials, (1.1b),
reproducing the standard relation: the singularity of the weight function gets
indeed neatly compensated by the term xm appearing in the right-hand side of (1.1c).
Presumably, this property—and the analogous version for Jacobi
polynomials—is well known to most experts on orthogonal polynomials; e.g., a referee of this paper wrote “Although I have known of (1.1c) for
a long time, I have neither written it down nor saw it stated explicitly. It is
clear from reading [15, Paragraph 6.72] that Szëgo was aware of (1.1c) and the more general case
of Jacobi polynomials.”) Most of the formulas (analogous to (1.1c) and (1.1a))
for the named polynomials of the Askey scheme that are reported below
are instead, to the best of our knowledge, new: they do not appear in
the standard compilations where we suggest they should be eventually recorded,
in view of their neatness and their Diophantine character. They could of
course be as well obtained by other routes than those we followed to identify
and prove them (it is indeed generally the case that formulas involving special
functions, after they have been discovered, are easily proven via
several different routes). Let us however emphasize that although the results
reported below have been obtained by a rather systematic application
of our approach to all the polynomials of the Askey scheme, we do not claim
that the results reported exhaust all those of this kind featured by these
polynomials. And let us also note that, as it is generally done in the standard
treatments of “named” polynomials [9–13], we have treated separately each of the
differently “named” classes of these polynomials, even though
“in principle” it would be sufficient to only treat the most general
class of them—Wilson polynomials—that encompasses all the other classes
via appropriate assignments (including limiting ones) of the 4 parameters it
features. Section 4 mentions tersely
possible future developments.
2. Preliminaries and Notation
In this section we report tersely the key points of
our approach, mainly in order to make this paper self-contained—as indicated
above—and also to establish its notation: previously known results are of
course reported without their proofs, except for an extension of these findings
whose proof is relegated to Appendix A.
Hereafter we consider classes of monic polynomials pn(ν)(x), of degree n in their argument x and depending on a parameter ν,
defined by the three-term recursion relation:
pn+1(ν)(x)=(x+an(ν))pn(ν)(x)+bn(ν)pn−1(ν)(x)with the “initial”
assignmentsp−1(ν)(x)=0,p0(ν)(x)=1,clearly entailingp1(ν)(x)=x+a0(ν),p2(ν)(x)=(x+a1(ν))(x+a0(ν))+b1(ν),
and so on. (In some cases the
left-hand side of the first (2.1b) might preferably be replaced by b0(ν)p−1(ν)(x), to take account of possible indeterminacies of b0(ν).)
Notation.
Here and hereafter the index n is a nonnegative integer (but some of
the formulas written below might make little sense for n=0,
requiring a—generally quite obvious—special interpretation), and an(ν),bn(ν) are functions of this index n and of the parameter ν.
They might—indeed they often do—also depend on other parameters besides ν (see below); but this parameter ν plays a crucial role, indeed the results
reported below emerge from the identification of special values of it
(generally simply related to the index n).
Let us recall that the theorem which guarantees that
these polynomials, being defined by the three-term recursion relation
(2.1), are
orthogonal (with a positive definite, albeit a priori unknown, weight
function), requires that the coefficients an(ν) and bn(ν) be real and that the latter be negative, bn(ν)<0 (see, e.g., [16]).
If the quantities An(ν) and ω(ν) satisfy the nonlinear recursion relation
[An−1(ν)−An−1(ν−1)][An(ν)−An−1(ν−1)+ω(ν)]=[An−1(ν−1)−An−1(ν−2)][An−1(ν−1)−An−2(ν−2)+ω(ν−1)] with the boundary conditionA0(ν)=0
(where, without significant loss
of generality, this constant is set to zero rather than to an arbitrary ν-independent value A:
see [5, Equation (4a)]; and we also replaced, for notational convenience, the quantity α(ν) previously used [5] with ω(ν)), and if the coefficients an(ν) and bn(ν) are defined in terms of these quantities by the following formulas:
an(ν)=An+1(ν)−An(ν),bn(ν)=[An(ν)−An(ν−1)][An(ν)−An−1(ν−1)+ω(ν)],
then the polynomials pn(ν)(x) identified by the recursion relation
(2.1) satisfy the following additional recursion relation (involving a shift
both in the order n of the polynomials and in the parameter ν):
pn(ν)(x)=pn(ν−1)(x)+gn(ν)pn−1(ν−1)(x)with
gn(ν)=An(ν)−An(ν−1).
This proposition corresponds to [5, Proposition 2.3]. (As suggested
by a referee, let us also mention that recursions in a parameter—albeit of a
very special type and different from that reported above—were also presented
long ago in a paper by Dickinson et al. [17].)
Alternative conditions sufficient for the validity of Proposition
2.1 and characterizing directly the coefficients an(ν),bn(ν),
and gn(ν) read as follows (see [5, Appendix B]):
an(ν)−an(ν−1)=gn+1(ν)−gn(ν),bn−1(ν−1)gn(ν)−bn(ν)gn−1(ν)=0,withgn(ν)=−bn(ν)−bn(ν−1)an(ν)−an−1(ν−1),and the “initial”
conditiong1(ν)=a0(ν)−a0(ν−1),entailing via (2.5c) (with n=1)b1(ν)−b1(ν−1)+(a0(ν)−a0(ν−1))(a1(ν)−a0(ν−1))=0 and via (2.5a) (with n=0)
g0(ν)=0.
Proposition 2.2.
Assume that the class of (monic, orthogonal) polynomials pn(ν)(x) defined by the recursion (2.1) satisfies Proposition
2.1, hence that they also obey the (“second”) recursion
relation (2.4). Then, there also holds the relations:
pn(ν)(x)=[x−xn(1,ν)]pn−1(ν−1)(x)+bn−1(ν−1)pn−2(ν−1)(x),xn(1,ν)=−[an−1(ν−1)+gn(ν)],
in addition to
pn(ν)(x)=[x−xn(2,ν)]pn−1(ν−2)(x)+cn(ν)pn−2(ν−2)(x),xn(2,ν)=−[an−1(ν−2)+gn(ν)+gn(ν−1)],cn(ν)=bn−1(ν−2)+gn(ν)gn−1(ν−1),
as well as
pn(ν)(x)=[x−xn(3,ν)]pn−1(ν−3)(x)+dn(ν)pn−2(ν−3)(x)+en(ν)pn−3(ν−3)(x),xn(3,ν)=−[an−1(ν−3)+gn(ν)+gn(ν−1)+gn(ν−2)],dn(ν)=bn−1(ν−3)+gn(ν)gn−1(ν−2)+gn(ν−1)gn−1(ν−2)+gn(ν)gn−1(ν−1),en(ν)=gn(ν)gn−1(ν−1)gn−2(ν−2).
These findings correspond to [6, Proposition 1].
2.2. Factorizations
In the following we introduce a second parameter μ, but for notational simplicity we do not emphasize explicitly the dependence of the various quantities on this
parameter.
Proposition 2.3.
If the (monic, orthogonal) polynomials pn(ν)(x) are defined by the recursion relation
(2.1) and
the coefficients bn(ν) satisfy the relationbn(n+μ)=0,entailing that for ν=n+μ, the recursion relation (2.1a)
readspn+1(n+μ)(x)=(x+an(n+μ))pn(n+μ)(x),then there holds the factorizationpn(m+μ)(x)=p˜n−m(−m)(x)pm(m+μ)(x),m=0,1,…,n,with the
“complementary” polynomials p˜n(−m)(x) (of course of degree n) defined by the following three-term recursion
relation analogous (but not identical) to (2.1):
p˜n+1(−m)(x)=(x+an+m(m+μ))p˜n(−m)(x)+bn+m(m+μ)p˜n−1(−m)(x),p˜−1(−m)(x)=0,p˜0(−m)(x)=1,
entailing
p˜1(−m)(x)=x+am(m+μ),p˜2(−m)(x)=(x+am+1(m+μ))(x+am(m+μ))+bm+1(m+μ)=(x−xm(+))(x−xm(−))
with
xm(±)=12{−am(m+μ)−am+1(m+μ)±[(am(m+μ)−am+1(m+μ))2−4bm+1(m+μ)]1/2},
and so on.
This is a slight generalization (proven below, in Appendix A) of [5, Proposition 2.4]. Note incidentally that also the complementary
polynomials p˜n(−m)(x), being defined by three-terms recursion
relations, see (2.12a), may belong to orthogonal families, hence they should have to be
eventually investigated in such a context, perhaps applying also to them the
kind of findings reported in this paper.
The following two results are immediate consequences
of Proposition 2.3.
Corollary 2.4.
If (2.9) holds—entailing (2.10)
and (2.11) with (2.12)—the polynomial pn(n−1)(x) has the zero −an−1(n−1),pn(n−1+μ)(−an−1(n−1+μ))=0,and the polynomial pn(n−2+μ)(x) has the two zeros xn−2(±) (see (2.12e)),
pn(n−2+μ)(xn−2(±))=0.
The first of these results is a
trivial consequence of (2.10); the second is evident from (2.11) and (2.12d). Note,
moreover, that from the factorization formula (2.11), one can likewise find explicitly 3 zeros of pn(n−3+μ)(x) and 4 zeros of pn(n−4+μ)(x), by evaluation from (2.12) p˜3(−m)(x) and p˜4(−m)(x) and by taking advantage of the explicit solvability of algebraic equations of degrees 3 and 4.
These findings often have a Diophantine connotation, due to the neat expressions of the zeros −an−1(n−1+μ) and xn−2(±) in terms of integers.
Corollary 2.5.
If (2.9) holds—entailing (2.10) and (2.11) with (2.12)—and moreover the
quantities an(m) and bn(m) satisfy the propertiesan−m(−m+μ)(ρ¯)=an(m+μ˜)(ρ˜¯),bn−m(−m+μ)(ρ¯)=bn(m+μ˜)(ρ˜¯),then clearlyp˜n(m)(x;ρ¯)=pn(m+μ˜)(x;ρ˜¯),entailing that the factorization (2.11) takes the neat formpn(m+μ)(x;ρ¯)=pn−m(−m+μ˜)(x;ρ˜¯)pm(m+μ)(x;ρ¯),m=0,1,…,n.Note that—for future
convenience, see below—one has emphasized explicitly the possibility
that the polynomials depend on additional parameters (indicated with the vector
variables ρ¯,
resp., ρ˜¯;
these additional parameters must of course be independent of n,
but they might depend on m).
The following remark is relevant when both Propositions
2.1 and 2.2 hold.
Remark 2.6.
As implied by (2.3b), the condition (2.9) can be enforced via the
assignmentω(ν)=Aν−1(ν−1+μ)−Aν(ν+μ),entailing that the nonlinear recursion
relation (2.3a) reads[An−1(ν)−An−1(ν−1)][An(ν)−An−1(ν−1)+Aν−1(ν−1+μ)−Aν(ν+μ)]=[An−1(ν−1)−An−1(ν−2)][An−1(ν−1)−An−2(ν−2)+Aν−2(ν−2+μ)−Aν−1(ν−1+μ)].
Corollaries 2.4 and 2.5 and Remark 2.6 are analogous to [5, Corollaries 2.5 and 2.6 and Remark 2.7].
2.3. Complete Factorizations and Diophantine Findings
The Diophantine character of the findings
reported below is due to the generally neat expressions of the
following zeros in terms of integers (see in particular the examples in
Section 3).
Proposition 2.7.
If the (monic, orthogonal) polynomials pn(ν)(x) are defined by the three-term recursion
relations (2.1) with coefficients an(ν) and bn(ν) satisfying the requirements sufficient for the
validity of both Propositions 2.1 and 2.2 (namely (2.3), with (2.2) and (2.9), or just with (2.18)), then
pn(n+μ)(x)=∏m=1n[x−xm(1,m+μ)],with the expressions (2.6b) of the
zeros xm(1,ν) and the standard convention according to which
a product equals unity when its lower limit exceeds its upper limit. Note that
these n zeros are n-independent (except for their number). In particular,
p0(μ)(x)=1,p1(1+μ)(x)=x−x1(1,1+μ),p2(2+μ)(x)=[x−x1(1,2+μ)][x−x2(1,2+μ)],
and so on.
These findings correspond to [6, Proposition
2.2 (first part)].
The following results are immediate consequences of Proposition
2.7 and of Corollary 2.4.
Corollary 2.8.
If Proposition 2.7 holds, then also the polynomials pn(n−1+μ)(x) and pn(n−2+μ)(x) (in addition to pn(n+μ)(x),
see (2.19)) can be written in the following completely factorized form (see (2.6b)
and (2.12e)):
pn(n−1+μ)(x)=[x+an−1(n−1)]∏m=1n−1[x−xm(1,m+μ)],pn(n−2+μ)(x)=[x−xm(+)][x−xm(−)]∏m=1n−2[x−xm(1,m+μ)].
Analogously, complete factorizations can clearly be
written for the polynomials pn(n−3+μ)(x) and pn(n−4+μ)(x),
see the last part of Corollary 2.4.
And of course the factorization (2.11) together
with (2.19a) entails the (generally Diophantine) finding that the
polynomial pn(m+μ)(x) with m=1,…,n features the m zeros xℓ(1,ℓ+μ), ℓ=1,…,m, see (2.6b):pn(m+μ)(xℓ(1,ℓ+μ))=0,ℓ=1,…,m,m=1,…,n.
Proposition 2.9.
Assume that, for the class of polynomials pn(ν)(x),
there hold the preceding Proposition 2.1, and moreover that, for some
value of the parameter μ (and of course for all nonnegativeinteger values of n), the coefficients cn(2n+μ) vanish (see (2.7a) and (2.7c)),
cn(2n+μ)=bn−1(2n+μ−2)+gn(2n+μ)gn−1(2n+μ−1)=0,then the polynomials pn(2n+μ)(x) factorize as follows:
pn(2n+μ)(x)=∏m=1n[x−xm(2,2m+μ)],
entailing
p0(μ)(x)=1,p1(2+μ)(x)=x−x1(2,2+μ),p2(4+μ)(x)=[x−x1(2,2+μ)][x−x2(2,4+μ)],
and so on.
Likewise, if for all nonnegativeinteger values of n, the following two properties hold (see
(2.8a), (2.8c), and (2.8d)):
dn(3n+μ)=bn−1(3n+μ−3)+gn(3n+μ)gn−1(3n+μ−2)+gn(3n+μ−1)gn−1(3n+μ−2)+gn(3n+μ)gn−1(3n+μ−1)=0,en(3n+μ)=0,thatis,gn(3n+μ)=0orgn−1(3n+μ−1)=0orgn−2(3n+μ−2)=0,then the polynomials pn(3n+μ)(x) factorize as follows:
pn(3n+μ)(x)=∏m=1n[x−xm(3,3m+μ)],entailing
p0(μ)(x)=1,p1(3+μ)(x)=x−x1(3,3+μ),p2(6+μ)(x)=[x−x1(3,3+μ)][x−x2(3,6+μ)],
and so on.
Here of course the n(n-independent!) zeros xm(2,2m+μ),
respectively, xm(3,3m+μ) are defined by (2.7b), respectively, (2.8b).
These findings correspond to
[6, Proposition 2].
3. Results for the Polynomials of the
Askey Scheme
In this section, we apply to the polynomials of the
Askey scheme [9] the
results reviewed in the previous section. This class of polynomials (including
the classical polynomials) may be introduced in various manners: via generating
functions, Rodriguez-type formulas, their connections with hypergeometric
formulas, and so forth. In order to apply our machinery, as outlined in the
preceding section, we introduce them via the three-term recursion relation they
satisfy:
pn+1(x;η¯)=[x+an(η¯)]pn(x;η¯)+bn(η¯)pn−1(x;η¯)with the “initial”
assignments
p−1(x;η¯)=0,p0(x;η¯)=1,clearly entailing
p1(x;η¯)=x+a0(η¯),p2(x;η¯)=[x+a1(η¯)][x+a0(η¯)]+b1(η¯),
and so on. Here the components
of the vector η¯ denote the additional parameters generally featured by these polynomials.
Let us emphasize that in this manner we introduced the monic (or “normalized” [9]) version of these polynomials; below we
generally also report the relation of this version to the more standard version
[9].
To apply our machinery we must identify, among the
parameters characterizing these polynomials, the single parameter ν playing a special role in our approach. This
can be generally done in several ways (even for the same class of polynomials,
see below). Once this identification (i.e., the assignment η¯≡η¯(ν)) has been made, the recursion relations (3.1) coincide with the relations (2.1) via the self-evident notational identification:pn(ν)(x)≡pn(x;η¯(ν)),an(ν)≡an(η¯(ν)),bn(ν)≡bn(η¯(ν)).
Before proceeding with the report of our results, let
us also emphasize that when the polynomials considered below feature symmetries
regarding the dependence on their parameters—for instance, they are invariant
under exchanges of some of them—obviously all the properties of these
polynomials reported below can be duplicated via such symmetry
properties; but it would be a waste of space to report explicitly the
corresponding formulas, hence such duplications are hereafter omitted (except
that sometimes results arrived at by different routes
can be recognized as trivially related via such symmetries: when this happens
this fact is explicitly noted). We will use systematically the notation of
[9]—up to obvious
changes made whenever necessary in order to avoid interferences with our
previous notation. When we obtain a result that we deem interesting but is not reported
in the standard compilations [9–13], we identify it as new (although given the
very large literature on orthogonal polynomials, we cannot be certain that such
a result has not been already published; indeed we will be grateful to any
reader who were to discover that this is indeed the case and will let us know).
And let us reiterate that even though we performed an extensive search
for such results, this investigation cannot be considered
“exhaustive”: additional results might perhaps be discovered via
assignments of the ν-dependence η¯(ν) different from those considered below.
3.1. Wilson
The monic Wilson polynomials (see [9], and note the notational
replacement of the 4 parameters a,b,c,d used there with α,β,γ,δ)
pn(x;α,β,γ,δ)≡pn(x;η¯)are defined by the three-term
recursion relations (3.1) with
an(η¯)=α2−A˜n−C˜n,bn(η¯)=−A˜n−1C˜n,
where
A˜n=(n+α+β)(n+α+γ)(n+α+δ)(n−1+α+σ)(2n−1+α+σ)(2n+α+σ),C˜n=n(n−1+β+γ)(n−1+β+δ)(n−1+γ+δ)(2n−2+α+σ)(2n−1+α+σ),σ≡β+γ+δ,ρ≡βγ+βδ+γδ,τ≡βγδ.
The standard version of these polynomials reads (see
[9]):Wn(x;α,β,γ,δ)=(−1)n(n−1+α+β+γ+δ)npn(x;α,β,γ,δ).
Let us also recall that these polynomials pn(x;α,β,γ,δ) are invariant under any permutation of the 4
parameters α,β,γ,δ.
As for the identification of the parameter ν (see (3.2)), two possibilities are listed in
the following subsections.
3.1.1. First Assignment
α=−ν.
With this assignment, one can set, consistently with
our previous treatment,
An(ν)=[6(2n−2−ν+σ)]−1n{4−5σ+6ρ−6τ+(5−6σ+6ρ)ν+[−10+9σ−6ρ+(−9+6σ)ν]n+(8−4σ+4ν)n2−2n3},ω(ν)=−ν2, implying, via (2.2), (2.3), that
the polynomials pn(ν)(x) defined by the three-term recurrence relations
(2.1) coincide with the normalized Wilson polynomials (3.3):pn(ν)(x)=pn(x;−ν,β,γ,δ).Hence, with this identification, Proposition
2.1 becomes applicable, entailing (new finding) that these
normalized Wilson polynomials satisfy the second recursion relation (2.4a)
withgn(ν)=n(n−1+β+γ)(n−1+β+δ)(n−1+γ+δ)(2n−2−ν+σ)(2n−1−ν+σ).Note that this finding is
obtained without requiring any limitation on the 4 parameters of the Wilson
polynomials pn(x;α,β,γ,δ).
It is, moreover, plain that with the assignmentν=n−1+β,namely,α=−n+1−β,the factorizations implied by Proposition
2.3, and the properties implied by Corollary 2.4, become applicable
with μ=β−1. These are new findings. As for the
additional findings entailed by Corollary 2.5, they are reported in
Section 3.1.3. And Proposition 2.7 becomes as well applicable,
entailing (new finding) the Diophantine factorizationpn(x;−n+1−β,β,γ,δ)=∏m=1n[x+(m−1+β)2],while Corollary 2.8 entails even more general properties, such as (new finding)pn[−(ℓ−1+β)2;−m+1−β,β,γ,δ]=0,ℓ=1,…,m,m=1,…,n.
Remark 3.1.
A look at the formulas (3.3) suggests other possible assignments of the parameter ν satisfying (2.9), such as ν=n−2+σ,
namely, α=2−n−σ.
However, these assignments actually fail to satisfy (2.9) for all values
of n,
because for this to happen, it is not sufficient that the numerator in
the expression of bn(ν+μ) vanish, it is, moreover, required that the
denominator in that expression never vanish. In the following, we will
consider only assignments of the parameter ν in terms of n that satisfy these requirements.
3.1.2. Second Assignment
α=−ν2,β=1−ν2.
With this assignment, one can set, consistently with
our previous treatment,
An(ν)=[6(4n−3−2ν+2γ+2δ)]−1n{3−4γ−4δ+6γδ+(7−9γ−9δ+12γδ)ν+3(1−γ−δ)ν2−[11−12γ−12δ+12γδ+3(5−4γ−4δ)ν+3ν2]n+4(3+2ν−2γ−2δ)n2−4n3},ω(ν)=−ν24, implying, via (2.2), (2.3), that
the polynomials pn(ν)(x) defined by the three-term recurrence relations
(2.1) coincide with the normalized Wilson polynomials (3.3):pn(ν)(x)=pn(x;−ν2,1−ν2,γ,δ).Hence, with this identification, Proposition
2.1 becomes applicable, entailing (new finding) that these
normalized Wilson polynomials satisfy the second recursion relation (2.4a)
withgn(ν)=n(n−1+γ+δ)(2n−1−ν+2γ)(2n−1−ν+2δ)(4n−3−2ν+2γ+2δ)(4n−1−2ν+2γ+2δ). Note that this assignment entails
now the (single) restriction β=α+1/2 on the 4 parameters of the Wilson polynomials pn(x;α,β,γ,δ).
It is, moreover, plain that with the assignments
ν=n−12,henceα=−n2+14,β=−n2+34,ν=n−2+2δ,γ=δ−12,α=−n2+1−δ,β=−n2+32−δ,
respectively,
ν=n−1+2δ,γ=δ+12,α=−n2+12−δ,β=−n2+1−δ,
the factorizations implied by Proposition
2.3 and the properties implied by Corollary 2.4 become applicable
with μ=−1/2,μ=−2+2δ,
respectively, μ=−1+2δ.
These are new findings. As for the additional findings entailed by Corollary
2.5, they are reported in Section 3.1.3. And Proposition 2.7 becomes as well applicable, entailing the Diophantine factorizations
pn(x;−n2+14,−n2+34,γ,δ)=∏m=1n[x+(2m−14)2],pn(x;−n2+1−δ,−n2+32−δ,δ−12,δ)=∏m=1n[x+(m−2+2δ2)2],
respectively,
pn(x;−n2+12−δ,−n2+1−δ,δ+12,δ)=∏m=1n[x+(m−1+2δ2)2].
(A referee pointed out that (3.17a) is not new, as one can evaluate
explicitly pn(x;α,β,γ,δ) when n+α+β+1=0, which is indeed the case in (3.17a); and,
moreover, that the two formulas (3.17b) and (3.17c) coincide, since their left-hand
sides are identical as a consequence of the symmetry property of Wilson
polynomials under the transformation δ⇒δ+1/2.)
And Corollary 2.8 entails even more
general properties, such as (new finding)
pn[−(2ℓ−14)2;−m2+14,−m2+34,γ,δ]=0,ℓ=1,…,m,m=1,…,n,pn[−(ℓ−2+2δ2)2;−m2+1−δ,−m2+32−δ,δ−12,δ]=0,ℓ=1,…,m,m=1,…,n,
respectively,
pn[−(ℓ−1+2δ2)2;−m2+12−δ,−m2+1−δ,δ+12,δ]=0,ℓ=1,…,m,m=1,…,n.
Moreover, with the assignments
ν=2n−2+2δ,α=−n+1−δ,β=−n+32−δ,
respectively,
ν=2n−1+2δ,α=−n+12−δ,β=−n+1−δ,
Proposition 2.9 becomes
applicable, entailing (new findings) the Diophantine factorizations
pn(x;−n+1−δ,−n+32−δ,γ,δ)=∏m=1n[x+(m−1+δ)2],
respectively,
pn(x;−n+12−δ,−n+1−δ,γ,δ)=∏m=1n[x+(m−1+δ)2],
obviously implying the relation
pn(x;−n+1−δ,−n+32−δ,γ,δ)=pn(x;−n+12−δ,−n+1−δ,γ,δ).
3.1.3. Factorizations
The following new relations among monic Wilson
polynomials are implied by Proposition 2.3 with Corollary 2.5:
pn(x;−m+1−β,β,γ,δ)=pn−m(x;m+β,γ,1−β,δ)pm(x;−m+1−β,β,γ,δ),m=0,1,…,n,pn(x;−m2+1−δ,−m2+32−δ,δ−12,δ)=pn−m(x;m2−12+δ,m2+δ,1−δ,−δ+32)pm(x;−m2+1−δ,−m2+32−δ,δ−12,δ),m=0,1,…,n.
Note that the polynomials
appearing as second factors in the right-hand side of these formulas are
completely factorizable, see (3.10) and (3.17b) (we will not repeat this remark in
the case of analogous formulas below).
3.2. Racah
The monic Racah polynomials (see [9])
pn(x;α,β,γ,δ)≡pn(x;η¯)are defined by the three-term
recursion relations (3.1) with
an(η¯)=A˜n+C˜n,bn(η¯)=−A˜n−1C˜n,
where
A˜n=(n+1+α)(n+1+α+β)(n+1+β+δ)(n+1+γ)(2n+1+α+β)(2n+2+α+β),C˜n=n(n+α+β−γ)(n+α−δ)(n+β)(2n+α+β)(2n+1+α+β).
The standard version of these
polynomials reads (see [9])
Rn(x;α,β,γ,δ)=(n+α+β+1)n(α+1)n(β+δ+1)n(γ+1)npn(x;α,β,γ,δ).Note, however, that in the
following we do not require the parameters of these polynomials to
satisfy one of the restrictions α=−N,β+δ=−N,
or γ=−N, with N a positive integer and n=0,1,…,N, whose validity is instead required for the
standard Racah polynomials [9].
Let us recall that these polynomials are invariant
under various reshufflings of their parameters:
pn(x;α,β,γ,δ)=pn(x;α,β,β+δ,γ−β)=pn(x;β+δ,α−δ,γ,δ)=pn(x;γ,α+β−γ,α,−α+γ+δ).
Let us now identify the parameter ν as follows (see (3.2)):α=−ν.
With this assignment, one can set, consistently with
our previous treatment,
An(ν)=[6(2n−ν+β)]−1n{β(2+3γ+3δ)−[2+3(γ+δ)+6γ(β+δ)]ν+[4+6(γ+δ)+3(βγ−βδ+2γδ)−3(2β+γ+δ)ν]n+4(−ν+β)n2+2n3},ω(ν)=(ν−1)(ν+γ+δ),
implying, via (2.2), (2.3), that
the polynomials pn(ν)(x) defined by the three-term recurrence relations
(2.1) coincide with the normalized Racah polynomials (3.22):pn(ν)(x)=pn(x;−ν,β,γ,δ).Hence, with this identification, Proposition
2.1 becomes applicable, entailing (new finding) that these
normalized Racah polynomials satisfy the second recursion relation (2.4a)
withgn(ν)=−n(n+β)(n+β+δ)(n+γ)(2n−ν+β)(2n+1−ν+β).Note that this finding is
obtained without requiring any limitation on the 4 parameters of the Racah
polynomials pn(x;α,β,γ,δ).
It is, moreover, plain that with the assignments
ν=n,henceα=−n,ν=n−δ,henceα=−n+δ,respectively,
ν=n+β−γ,henceα=−n−β+γ,
the factorizations implied by Proposition
2.3 and the properties implied by Corollary 2.4 become applicable
with μ=0,μ=−δ, respectively, μ=β−γ.
These are new findings. As for the additional findings entailed by Corollary
2.5, they are reported in Section 3.2.1. And Proposition 2.7 becomes as well applicable, entailing (new findings) the Diophantine factorizations
pn(x;−n,β,γ,δ)=∏m=1n[x−(m−1)(m+γ+δ)],pn(x;−n+δ,β,γ,δ)=∏m=1n[x−(m+γ)(m−δ−1)],
respectively,
pn(x;−n−β+γ,β,γ,δ)=∏m=1n[x−(m−1+β−γ)(m+β+δ)].
And Corollary 2.8 entails even more general properties, such as (new findings)
pn[(ℓ−1)(ℓ+γ+δ);−m,β,γ,δ]=0,ℓ=1,…,m,m=1,…,n,pn[(ℓ+γ)(ℓ−δ−1);−m+δ,β,γ,δ]=0,ℓ=1,…,m,m=1,…,n, respectively,
pn[(ℓ−1+β−γ)(ℓ+β+δ);−m−β+γ,β,γ,δ]=0,ℓ=1,…,m,m=1,…,n.
3.2.1. Factorizations
The following new relations among Racah
polynomials are implied by Proposition 2.3 with Corollary 2.5:
pn(x;−m,β,−1,1)=pn−m(x;m,β,−1,1)pm(x;−m,β,−1,1),m=0,1,…,n,pn(x;−m+δ,β,−δ,δ)=pn−m(x;m−δ,2δ+β,δ,−δ)pm(x;−m+δ,β,−δ,δ),m=0,1,…,n,pn(x;−m−β+γ,β,γ,c−γ)=pn−m(x;m+β−γ+c,−β+2γ−c,γ,c−γ)pm(x;v−m−β+γ,β,γ,c−γ),m=0,1,…,n,pn(x;α,−m,γ,δ)=pn−m(x;α,m,δ,γ)pm(x;α,−m,γ,δ),m=0,1,…,n,pn(x,α,−m−α+η,η,δ)=pn−m(x,η,m,η+δ−α,α)pm(x,α,−m−α+η,η,δ),m=0,1,…,n.
3.3. Continuous Dual Hahn (CDH)
In this section (some results of which were already
reported in [5]) we
focus on the monic continuous dual Hahn (CDH) polynomials pn(x;α,β,γ) (see [9], and note the notational replacement of the 3
parameters a,b,c used there with α,β,γ),
pn(x;α,β,γ)≡pn(x;η¯),defined by the three-term
recursion relations (3.1) with
an(η¯)=α2−(n+α+β)(n+α+γ)−n(n−1+β+γ),bn(η¯)=−n(n−1+α+β)(n−1+α+γ)(n−1+β+γ).
The standard version of these
polynomials reads (see [9])Sn(x;α,β,γ)=(−1)npn(x;α,β,γ).
Let us recall that these polynomials pn(x;α,β,γ) are invariant under any permutation of the
three parameters α,β,γ.
Let us now proceed and provide two identifications of
the parameter ν, see (3.2).
3.3.1. First Assignment
α=−ν.
With this assignment, one can set, consistently with
our previous treatment,
An(ν)=n[−56+β+γ−βγ+(β+γ−1)ν+(32−β−γ+ν)n−23n2],ω(ν)=−ν2,implying, via (2.2), (2.3), that
the polynomials pn(ν)(x) defined by the three-term recurrence relations
(2.1) coincide with the normalized CDH polynomials (3.32):pn(ν)(x)=pn(x;−ν,β,γ).Hence, with this identification, Proposition
2.1 becomes applicable, entailing (new finding) that these
normalized CDH polynomials satisfy the second recursion relation (2.4a)
withgn(ν)=n(n−1+β+γ).Note that this finding is
obtained without requiring any limitation on the 3 parameters of the CDH
polynomials pn(x;α,β,γ).
It is, moreover, plain that with the
assignmentν=n−1+β,henceα=−n+1−β,the factorizations implied by Proposition
2.3 and the properties implied by Corollary 2.4 become applicable
with μ=−1+β.
These are new findings. As for the additional findings entailed by Corollary
2.5, they are reported in Section 3.3.3. And Proposition 2.7 becomes as well applicable, entailing (new findings) the Diophantine factorizationpn(x;−n+1−β,β,γ)=∏m=1n[x+(m−1+β)2].And Corollary 2.8 entails even more general properties, such as (new finding)pn[−(ℓ−1+β)2;−m+1−β,β,γ]=0,ℓ=1,…,m,m=1,…,n.
Likewise, with the assignmentν=2n+β,α=−2n−β,γ=12, Proposition 2.9 becomes
applicable, entailing (new finding) the Diophantine factorizationpn(x;−2n−β,β,12)=∏m=1n[x+(2m−1+β)2].
3.3.2. Second Assignment
α=−12ν+c,β=−12(ν+1)+cwhere c is an a priori arbitrary parameter.
With this assignment, one can set, consistently with
our previous treatment,
An(ν)=n[−43+32γ+52c−c2−2γc+(−54+γ+c)ν−14ν2+(2−γ−2c+ν)n−23n2],ω(ν)=−14(1−2c+ν)2, implying, via (2.2), (2.3), that
the polynomials pn(ν)(x) defined by the three-term recurrence relations
(2.1) coincide with the normalized CDH polynomials (3.32):pn(ν)(x)=pn(x;c−ν2,c−ν2−12,γ).Hence, with this identification, Proposition
2.1 becomes applicable, entailing (new finding) that these
normalized CDH polynomials satisfy the second recursion relation (2.4a)
withgn(ν)=n(n−1−ν2+γ+c).Note that this assignment entails
the (single) limitation β=α−1/2 on the parameters of the CDH polynomials.
It is, moreover, plain that with the
assignmentν=n+2c−32,henceα=−n2+34,β=−n2+14,the factorizations implied by Proposition
2.3 and the properties implied by Corollary 2.4 become applicable
with μ=2c−3/2.
These are new findings. As for the additional findings entailed by Corollary
2.5, they are reported in Section 3.3.3. And Proposition 2.7 becomes as well applicable, entailing (new findings) the Diophantine factorizationpn(x;−n2+34,−n2+14,γ)=∏m=1n[x+(2m−14)2].And Corollary 2.8 entails even more general properties, such as (new finding)pn[−(2ℓ−14)2;−m2+34,−m2+14,γ]=0,ℓ=1,…,m,m=1,…,n.
Likewise with the assignments
ν=2(n−1+c+γ),henceα=−n+1−γ,β=−n+12−γ,
respectively,
ν=2(n−32+c+γ),henceα=−n+32−γ,β=−n+1−γ,
Proposition 2.9 becomes
applicable, entailing (new findings) the Diophantine factorizations
pn(x;−n+1−γ,−n+12−γ,γ)=∏m=1n[x+(m−1+γ)2],
respectively,
pn(x;−n+32−γ,−n+1−γ,γ)=∏m=1n[x+(m−1+γ)2].
Note that the right-hand sides of the last two
formulas coincide; this implies (new finding) that the left-hand sides
coincide as well.
3.3.3. Factorizations
The following new relations among continuous
dual Hahn polynomials are implied by Proposition 2.3 with Corollary
2.5:pn(x;−m+1−β,β,γ)=pn−m(x;m+β,1−β,γ)pm(x;−m+1−β,β,γ),m=0,1,…,n.
3.4. Continuous Hahn (CH)
The monic continuous Hahn (CDH) polynomials pn(x;α,β,γ,δ) (see [9], and note the notational replacement of the 4
parameters a,b,c,d used there with α,β,γ,δ),
pn(x;α,β,γ,δ)≡pn(x;η¯),are defined by the three-term
recursion relations (3.1) with
an(η¯)=−i(α+A˜n+C˜n),bn(η¯)=A˜n−1C˜n,
where
A˜n=−(n−1+α+β+γ+δ)(n+α+γ)(n+α+δ)(2n−1+α+β+γ+δ)(2n+α+β+γ+δ),C˜n=n(n−1+β+γ)(n−1+β+δ)(2n+α+β+γ+δ−1)(2n+α+β+γ+δ−2).
The standard version of these
polynomials reads (see [9])
Sn(x;α,β,γ,δ)=(−1)npn(x;α,β,γ,δ).
Let us recall that these polynomials are symmetrical
under the exchange of the first two and last two parameters:
pn(x;α,β,γ,δ)=pn(x;β,α,γ,δ)=pn(x;α,β,δ,γ)=pn(x;β,α,δ,γ).
Let us now proceed and provide two identifications of
the parameter ν, see (3.2).
3.4.1. First Assignment
α=−ν.
With this assignment, one can set, consistently with
our previous treatment,
An(ν)=in−β+γ+δ−2γδ+(1−2β)ν+(β−γ−δ−ν)n2(2−β−γ−δ+ν−2n),ω(ν)=−iν,implying, via (2.2), (2.3), that
the polynomials pn(ν)(x) defined by the three-term recurrence relations
(2.1) coincide with the normalized CH polynomials (3.53):pn(ν)(x)=pn(x;−ν,β,γ,δ).Hence, with this identification, Proposition
2.1 becomes applicable, entailing (new finding) that these
normalized CH polynomials satisfy the second recursion relation (2.4a)
withgn(ν)=in(n−1+β+γ)(n−1+β+δ)(2n−2−ν+β+γ+δ)(2n−1−ν+β+γ+δ).Note that this assignment entails
no restriction on the 4 parameters of the CH polynomials pn(x;α,β,γ,δ).
It is, moreover, plain that with the
assignmentν=n−1+γ,henceα=−n+1−γ,the factorizations implied by Proposition
2.3 and the properties implied by Corollary 2.4 become applicable
with μ=−1+γ.
These are new findings. And Proposition 2.7 becomes as well
applicable, entailing (new findings) the Diophantine factorizationpn(x;−n+1−γ,β,γ,δ)=∏m=1n[x+i(m−1+γ)].And Corollary 2.8 entails even more general properties, such as (new findings)pn[−i(ℓ−1+γ);−m+1−γ,β,γ,δ]=0,ℓ=1,…,m,m=1,…,n.
3.4.2. Second Assignment
Analogous results also obtain from the
assignmentγ=−ν.
With this assignment, one can set, consistently with
our previous treatment,
An(ν)=−in[n(α+β−δ+ν)+(2δ−1)ν+α(2β−1)−β+δ]2(2n−2+α+β+δ−ν),ω(ν)=iν,implying, via (2.2), (2.3), that
the polynomials pn(ν)(x) defined by the three-term recurrence relations
(2.1) coincide with the normalized CH polynomials (3.53):pn(ν)(x)=pn(x;α,β,−ν,δ).Hence, with this identification, Proposition
2.1 becomes applicable, entailing (new finding) that these
normalized CH polynomials satisfy the second recursion relation (2.4a)
withgn(ν)=in(n−1+α+β)(n−1+β+δ)(2n−2−ν+α+β+δ)(2n−1−ν+α+β+δ).Note that this assignment entails
no restriction on the 4 parameters of the CH polynomials pn(x;α,β,γ,δ).
It is, moreover, plain that with the
assignmentν=n−1+α,henceγ=−n+1−α,the factorizations implied by Proposition
2.3, and the properties implied by Corollary 2.4, become applicable
with μ=−1+α.
These are new findings. And Proposition 2.7 becomes as well
applicable, entailing (new finding) the Diophantine factorizationpn(x;α,β,−n+1−α,δ)=∏m=1n[x−i(m−1+α)].And Corollary 2.8 entails even more general properties, such as (new finding)pn[i(ℓ−1+α);α,β,−m+1−α,δ]=0,ℓ=1,…,m,m=1,…,n.
3.5. Hahn
In this subsection, we introduce a somewhat
generalized version of the standard (monic) Hahn polynomials. These
(generalized) monic Hahn polynomials pn(x;α,β,γ) (see [9], and note the replacement of the integer parameter N with the arbitrary parameter γ:
hence the standard Hahn polynomials are only obtained for γ=N with N a positive integer and n=1,2,…,N),
pn(x;α,β,γ)≡pn(x;η¯),are defined by the three-term
recursion relations (3.1) with
an(η¯)=−(A˜n+C˜n),bn(η¯)=−A˜n−1C˜n,
where
A˜n=(n+1+α)(n+1+α+β)(−n+γ)(2n+1+α+β)(2n+2+α+β),C˜n=n(n+1+α+β+γ)(n+β)(2n+α+β)(2n+1+α+β).
The standard version of these
polynomials reads (see [9])Qn(x;α,β,γ)=(n+1+α+β)n(1+α)n(−γ)npn(x;α,β,γ).
Let us now proceed and provide three identifications
of the parameter ν, see (3.2).
3.5.1. First Assignment
α=−ν.
With this assignment, one can set, consistently with
our previous treatment,
An(ν)=n[β+(1+2γ)ν−(β+2γ+ν)n]2(2n−ν+β),ω(ν)=ν−1,implying, via (2.2), (2.3), that
the polynomials pn(ν)(x) defined by the three-term recurrence relations
(2.1) coincide with the normalized Hahn polynomials (3.69):pn(ν)(x)=pn(x;−ν,β,γ).Hence, with this identification, Proposition
2.1 becomes applicable, entailing (new finding) that these
normalized Hahn polynomials satisfy the second recursion relation (2.4a)
withgn(ν)=−n(n+β)(n−1−γ)(2n−ν+β)(2n+1−ν+β).Note that this assignment entails
no restriction on the 3 parameters of the Hahn polynomials pn(x;α,β,γ).
It is, moreover, plain that with the assignments
ν=n
respectively,
ν=n+1+β+γ,
the factorizations implied by Proposition
2.3 and the properties implied by Corollary 2.4 become applicable
with μ=1+β+γ.
These are new findings. And Proposition 2.7 becomes as
well applicable, entailing (new findings) the Diophantine factorizations
pn(x;n,β,γ)=∏m=1n(x−m+1),
respectively,
pn(x;n+1+β+γ,β,γ)=∏m=1n(x−m−β−γ).
And Corollary 2.8 entails even more general properties, such as (new findings)
pn(ℓ−1;m,β,γ)=0,ℓ=1,…,m,m=1,…,n,
respectively,
pn(ℓ+β+γ;m+1+β+γ,β,γ)=0,ℓ=1,…,m,m=1,…,n.
3.5.2. Second Assignment
β=−ν+γ+c,where c is an arbitrary parameter.
With this assignment, one can set, consistently with
our previous treatment,
An(ν)=−nα−γ−c+ν+2αγ+(−α+c−ν+3γ)n2(α+γ+c−ν+2n),ω(ν)=1−ν+2γ+c,implying, via (2.2), (2.3), that
the polynomials pn(ν)(x) defined by the three-term recurrence relations
(2.1) coincide with the normalized Hahn polynomials (3.69):pn(ν)(x)=pn(x;α,−ν+γ+c,γ).Hence, with this identification, Proposition
2.1 becomes applicable, entailing (new finding) that these
normalized Hahn polynomials satisfy the second recursion relation (2.4a)
withgn(ν)=n(n+α)(n−1−γ)(2n−ν+α+γ+c)(2n+1−ν+α+γ+c).Note that this assignment entails
no restriction on the 3 parameters of the Hahn polynomials pn(x;α,β,γ).
It is, moreover, plain that with the assignments
ν=n+γ+c,henceβ=−n,
respectively,
ν=n+1+α+2γ+c,henceβ=−(n+1+α+γ),
the factorizations implied by Proposition
2.3 and the properties implied by Corollary 2.4 become applicable
with μ=γ+c,
respectively, μ=1+α+2γ+c.
These are new findings. And Proposition 2.7 becomes as well
applicable, entailing (new findings) the Diophantine factorizations
pn(x;α,−n,γ)=∏m=1n(x+m−1−γ),
respectively,
pn(x;α,−n−1−α−γ,γ)=∏m=1n(x+m+α).
And Corollary 2.8 entails even more general properties, such as (new findings)
pn(−ℓ+1+γ;α,−m,γ)=0,ℓ=1,…,m,m=1,…,n,
respectively,
pn(−ℓ−α;α,−m−1−α−γ,γ)=0,ℓ=1,…,m,m=1,…,n.
3.5.3. Third Assignment
β=−ν+c,γ=ν,where c is an arbitrary parameter.
With this assignment, one can set, consistently with
our previous treatment,
An(ν)=−n[ν+α−c+2αν+(ν−α+c)n]2(2n−ν+α+c),ω(ν)=ν,implying, via (2.2), (2.3), that
the polynomials pn(ν)(x) defined by the three-term recurrence relations
(2.1) coincide with the normalized Hahn polynomials (3.69):pn(ν)(x)=pn(x;α,−ν+c,ν).Hence, with this identification, Proposition
2.1 becomes applicable, entailing (new finding) that these
normalized Hahn polynomials satisfy the second recursion relation (2.4a)
withgn(ν)=−n(n+α)(n+1+α+c)(2n−ν+α+c)(2n+1−ν+α+c).Note that this assignment entails
no restriction on the 4 parameters of the Hahn polynomials pn(x;α,β,γ).
It is, moreover, plain that with the
assignmentν=n+c,β=−n,γ=n+c,the factorizations implied by Proposition
2.3 and the properties implied by Corollary 2.4 become applicable
with μ=c.
These are new findings. And Proposition 2.7 becomes as well
applicable, entailing (new finding) the Diophantine factorizationpn(x;α,−n,n+c)=∏m=1n(x−m−c).And Corollary 2.8 entails even more general properties, such as (new finding)pn(ℓ+c;α,−m,m+c)=0,ℓ=1,…,m,m=1,…,n.
3.6. Dual Hahn
In this subsection, we introduce a somewhat
generalized version of the standard (monic) dual Hahn polynomials. These (generalized)
monic dual Hahn polynomials pn(x;γ,δ,η) (see [9], and note the replacement of the integer parameter N with the arbitrary parameter η:
hence the standard Hahn polynomials are only obtained for η=N with N a positive integer and n=1,2,…,N),
pn(x;γ,δ,η)≡pn(x;η¯),are defined by the three-term
recursion relations (3.1) with
an(η¯)=A˜n+C˜n,bn(η¯)=−A˜n−1C˜n,
where
A˜n=(n+1+γ)(n−η),C˜n=n(n−1−δ−η).
The standard version of these
polynomials reads (see [9])Rn(x;γ,δ,η)=1(1+γ)n(−η)npn(x;γ,δ,η).
Let us now proceed and provide two identifications of
the parameter ν.
3.6.1. First Assignment
η=ν.
With this assignment, one can set, consistently with
our previous treatment,
An(ν)=n[13+−γ+δ2−γν−(1+ν+−γ+δ2)n+23n2],ω(ν)=ν(1+ν+γ+δ),implying, via (2.2), (2.3), that
the polynomials pn(ν)(x) defined by the three-term recurrence relations
(2.1) coincide with the normalized dual Hahn polynomials (3.92):pn(ν)(x)=pn(x;γ,δ,ν).Hence, with this identification, Proposition
2.1 becomes applicable, entailing (new finding) that these
normalized dual Hahn polynomials satisfy the second recursion relation (2.4a) withgn(ν)=−n(n+γ).Note that this assignment entails
no restriction on the 3 parameters of the dual Hahn polynomials pn(x;γ,δ,η).
It is, moreover, plain that with the assignments
ν=n−1,henceη=n−1,(which is, however, incompatible
with the requirement characterizing the standard dual Hahn polynomials: η=N with N a positive integer and n=1,2,…,N), respectively,
ν=n−1−δ,henceη=n−1−δ,
the factorizations implied by Proposition
2.3 and the properties implied by Corollary 2.4 become applicable
with μ=−1,
respectively, μ=−1−δ.
These are new findings. As for the additional findings entailed by Corollary
2.5, they are reported in Section 3.6.3. And Proposition 2.7 becomes as well applicable, entailing (new findings) the Diophantine factorizations
pn(x;γ,δ,n−1)=∏m=1n[x−(m−1)(m+γ+δ)],
respectively,
pn(x;γ,δ,n−1−δ)=∏m=1n[x−(m+γ)(m−1−δ)].
And Corollary 2.8 entails even more general properties, such as (new findings)
pn[(ℓ−1)(ℓ+γ+δ);γ,δ,m−1]=0,ℓ=1,…,m,m=1,…,n,
respectively,
pn[(ℓ+γ)(ℓ−1−δ);γ,δ,m−1−δ]=0,ℓ=1,…,m,m=1,…,n.
While for
ν=2n,henceη=2n,andmoreoverδ=γ,
respectively,
ν=2n−δ,henceη=2n−δ,andmoreoverδ=−γ,
Proposition 2.9 becomes
applicable, entailing (new findings) the Diophantine factorizations
pn(x;γ,γ,2n)=∏m=1n[x−2(2m−1)(m+γ)],
respectively,
pn(x;γ,−γ,2n+γ)=∏m=1n[x−(2m−1+γ)(2m+γ)].
3.6.2. Second Assignment
γ=−ν,δ=ν+c.
With this assignment, one can set, consistently with
our previous treatment,
An(ν)=n[13+(1+η)ν+12c−(1+ν+η+12c)n+23n2],ω(ν)=(ν−1)(ν+c),implying, via (2.2), (2.3), that
the polynomials pn(ν)(x) defined by the three-term recurrence relations
(2.1) coincide with the normalized Dual Hahn polynomials (3.92):pn(ν)(x)=pn(x;−ν,ν+c,η).Hence, with this identification, Proposition
2.1 becomes applicable, entailing (new finding) that these
normalized dual Hahn polynomials satisfy the second recursion relation (2.4a) withgn(ν)=−n(n−1−η).Note that this assignment
entails no restriction on the 3 parameters of the dual Hahn polynomials pn(x;γ,δ,η).
It is, moreover, plain that with the assignments
ν=n,henceγ=−n,δ=n+c,
respectively,
ν=n−1−η−c,henceγ=−n+1+η+c,δ=n−1−η,
the factorizations implied by Proposition
2.3 and the properties implied by Corollary 2.4 become applicable
with μ=0,
respectively, μ=−1−η−c.
These are new findings. As for the additional findings entailed by Corollary
2.5, they are reported in Section 3.6.3. And Proposition 2.7 becomes as well applicable, entailing (new findings) the Diophantine factorizations
pn(x;−n,n+c,η)=∏m=1n[x−(m−1)(m+c)],
respectively,
pn(x;−n+1+η+c,n−1−η,η)=∏m=1n[x−(m−1−η)(m−2−η−c)].
And Corollary 2.8 entails even more general properties, such as (new findings)
pn[(ℓ−1)(ℓ+c);−m,m+c,η]=0,ℓ=1,…,m,m=1,…,n,
respectively,
pn[(ℓ−1−η)(ℓ−2−η−c);−m+1+η+c,−m−1−η,η]=0,ℓ=1,…,m,m=1,…,n.
While for
ν=2n−η,henceγ=−2n+η,andmoreoverc=0,henceδ=2n−η,
respectively,
ν=2n+1,henceγ=−2n−1,andmoreoverc=−2(η+1),henceδ=2n−1−2η,
Proposition 2.9 becomes
applicable, entailing (new findings) the Diophantine factorizations
pn(x;−2n+η,2n−η,η)=∏m=1n[x−(2m−2−η)(2m−1−η)],
respectively,
pn(x;−2n−1,2n−1−2η,η)=∏m=1n[x−2(2m−1)(m−1−η)].
3.6.3. Factorizations
The following new relations among dual Hahn
polynomials are implied by Proposition 2.3 with Corollary 2.5:
pn(x;γ,−γ,m−1)=pn−m(x;γ,−γ,−m−1)pm(x;γ,−γ,m−1),m=0,1,…,n,pn(x;γ,δ,m−1−δ)=pn−m(x;δ,γ,−m−1−γ)pm(x;γ,δ,m−1−δ),m=0,1,…,n,pn(x;−m,m,η)=pn−m(x;m,−m,η)pm(x;−m,m,η),m=0,1,…,n,pn(x;−m+1+η+c,m−1−η,η)=pn−m(x;m−1−η,−m+1+η+c,−η−c−2)pm(x;−m+1+η+c,m−1−η,η),m=0,1,…,n.
3.7. Shifted Meixner-Pollaczek (SMP)
In this subsection, we introduce and treat a modified
version of the standard (monic) Meixner-Pollaczek polynomials. The standard
(monic) Meixner-Pollaczek (MP) polynomials pn(x;α,λ) (see [9]),
pn(x;α,λ)≡pn(x;η¯),are defined by the three-term
recursion relations (3.1) with
an(η¯)=α(n+λ)=n+λtanϕ,bn(η¯)=−14(1+α2)n(n−1+2λ)=−n(n−1+2λ)4sin2ϕ.
The standard version of these
polynomials reads (see [9])
Pn(λ)(x;tanϕ)=(2sinϕ)nn!pn(x;α,λ),α≡1tanϕ.
However, we have not found any assignment of the
parameters α and λ in terms of ν allowing the application of our machinery. We,
therefore, consider the (monic) “shifted Meixner-Pollaczek” (sMP) polynomialspn(x;α,λ,β)=pn(x+β;α,λ),defined of course via the
three-term recursion relation
(3.1) withan(η¯)=α(n+λ)+β=n+λtanϕ+β,bn(η¯)=−14(1+α2)n(n−1+2λ)=−n(n−1+2λ)4sin2ϕ.Then, with the assignmentλ=−12(ν+c),β=−12i(ν+C)(entailing no restriction on the parameters α,λ,β, in as much as the two parameters c and C are arbitrary), one can set, consistently with
our previous treatment,An(ν)=12n(αn−αν−iν−iC−αc−α),ω(ν)=12i(2ν+c+C),implying, via (2.2), (2.3), that
the polynomials pn(ν)(x) defined by the three-term recurrence relations
(2.1) coincide with the normalized shifted Meixner-Pollaczek
polynomials:pn(ν)(x)=pn(x;α,−12(ν+c),−12i(ν+C)).Hence, with this identification, Proposition
2.1 becomes applicable, entailing (new finding) that these
(normalized) shifted Meixner-Pollaczek polynomials satisfy the second recursion
relation (2.4a) withgn(ν)=−12n(α+i).
It is, moreover, plain that with the
assignmentν=n−1−chence,λ=−12(n−1),β=−12i(n−1−c+C),the factorizations implied by Proposition
2.3, and the properties implied by Corollary 2.4, become applicable
with μ=−1−c.
And Proposition 2.7 becomes as well applicable, entailing (new finding)
the Diophantine factorizationpn(x;α,−12(n−1),−12i(n−1−c+C))=∏m=1n[x−i(m−1+C−c2)].And Corollary 2.8 entails even more general properties, such as (new finding)pn(i(l−1+C−c2);α,−12(m−1),−12i(m−1−c+C))=0,ℓ=1,…,m,m=1,…,n.
3.8. Meixner
In this section (some results of which were already
reported in [5]), we
focus on the monic Meixner polynomials pn(x;β,c) (see [9]),
pn(x;β,c)≡pn(x;η¯),defined by the three-term
recursion relations (3.1) with
an(η¯)=βc+(1+c)nc−1,bn(η¯)=−cn(n−1+β)(c−1)2.
The standard version of these
polynomials reads (see [9]):Mn(x;β,c)=1(β)n(c−1c)npn(x;β,c).
We now identify the parameter ν via the assignmentβ=−ν.One can then set, consistently
with our previous treatment,An(ν)=n[1+c+2cν−(1+c)n]2(1−c),ω(ν)=ν,implying, via (2.2), (2.3), that
the polynomials pn(ν)(x) defined by the three-term recurrence relations
(2.1) coincide with the normalized Meixner polynomials (3.25):pn(ν)(x)=pn(x;−ν,c).Hence, with this identification, Proposition
2.1 becomes applicable, entailing (new finding) that these
normalized Meixner polynomials satisfy the second recursion relation (2.4a)
withgn(ν)=cn1−c.Note that this assignment entails
no restriction on the 2 parameters of the Meixner polynomials pn(x;β,c).
It is, moreover, plain that with the
assignmentν=n−1,henceβ=1−n,the factorizations implied by Proposition
2.3, and the properties implied by Corollary 2.4, become applicable
with μ=−1.
These are new findings. And Proposition 2.7 becomes as well
applicable, entailing (new finding) the Diophantine factorizationpn(x;1−n,c)=∏m=1n(x−m+1).And Corollary 2.8 entails even more general properties, such as (new finding)pn(ℓ−1;1−m,c)=0,ℓ=1,…,m,m=1,…,n.
Likewise forν=2nhenceβ=−2nandmoreoverc=−1, Proposition 2.9 becomes
applicable, entailing (new finding) the Diophantine factorizationpn(x;−2n,−1)=∏m=1n(x−2m+1).
3.9. Krawtchouk
The monic Krawtchouk polynomials pn(x;α,β) (see [9]: and note the notational replacement of the
parameters p and N used there with the parameters α and β used here, implying that only when β=N and n=1,2,…,N with N a positive integer these polynomials pn(x;α,β) coincide with the standard Krawtchouk
polynomials),
pn(x;α,β)≡pn(x;η¯),are defined by the three-term
recursion relations (3.1) with
an(η¯)=−αβ+n(2α−1),bn(η¯)=α(1−α)n(n−1−β).
The standard version of these
polynomials reads (see [9])Kn(x;α,β)=1αn(−β)npn(x;α,β).
We now identify the parameter ν via the assignmentβ=ν.One can then set, consistently
with our previous treatment,An(ν)=n[12−α−αν+(−12+α)n],ω(ν)=ν,implying, via (2.2), (2.3), that
the polynomials pn(ν)(x) defined by the three-term recurrence relations
(2.1) coincide with the normalized Krawtchouk polynomials (3.135):pn(ν)(x)=pn(x;α,ν).Hence, with this identification, Proposition
2.1 becomes applicable, entailing (new finding) that these
normalized Krawtchouk polynomials satisfy the second recursion relation (2.4a)
withgn(ν)=−αn.Note that this assignment entails
no restriction on the 2 parameters of the Krawtchouk polynomials pn(x;α,β).
It is, moreover, plain that with the
assignmentν=n−1,henceβ=n−1(which is, however, incompatible
with the definition of the standard Krawtchouk polynomials: β=N and n=1,2,…,N with N a positive integer), the factorizations
implied by Proposition 2.3, and the properties implied by Corollary
2.4, become applicable with μ=−1.
These are new findings. And Proposition 2.7 becomes as well
applicable, entailing (new finding) the Diophantine factorizationpn(x;α,n−1)=∏m=1n(x−m+1).And Corollary 2.8 entails even more general properties, such as (new findings)pn(ℓ−1;α,m−1)=0,ℓ=1,…,m,m=1,…,n.
Likewise forν=2nhenceβ=2nandmoreoverα=12(which is also incompatible with
the definition of the standard Krawtchouk polynomials: β=N and n=1,2,…,N with N a positive integer), Proposition 2.9 becomes applicable, entailing (new finding) the Diophantine factorizationpn(x;−2n,−1)=∏m=1n(x−2m+1).
3.10. Jacobi
In this section (most results of which were already
reported in [5]), we
focus on the monic Jacobi polynomials pn(x;α,β) (see [9]),
pn(x;α,β)≡pn(x;η¯),defined by the three-term
recursion relations (3.1) with
an(η¯)=(α+β)(α−β)(2n+α+β)(2n+α+β+2),bn(η¯)=−4n(n+α)(n+β)(n+α+β)(2n+α+β−1)(2n+α+β+1)(2n+α+β)2.
The standard version of these
polynomials reads (see [9])
Pn(α,β)(x)=(n+α+β+1)n2nn!pn(x;α,β).
Let us recall that for the Jacobi polynomials there
holds the symmetry relation
pn(−x;β,α)=pn(x;α,β).
We now identify the parameter ν as follows:α=−ν.With this assignment one can
set, consistently with our previous treatment,An(ν)=−n(ν+β)2n−ν+β,ω(ν)=1,implying, via (2.2), (2.3), that
the polynomials pn(ν)(x) defined by the three-term recurrence relations
(2.1) coincide with the normalized Jacobi polynomials (3.146):pn(ν)(x)=pn(x;−ν,β).Hence, with this identification, Proposition
2.1 becomes applicable, entailing (well-known result) that these
normalized Jacobi polynomials satisfy the second recursion relation (2.4a)
withgn(ν)=−2n(n+β)(2n−ν+β)(2n−ν+β+1).
It is, moreover, plain that with the
assignmentν=n,henceα=−n,the factorizations implied by Proposition
2.3, and the properties implied by Corollary 2.4, become applicable
with μ=0.
These seem new findings. As for the additional findings entailed by Corollary
2.5, they are reported in Section 3.10.1. And Proposition 2.7 becomes as well applicable, entailing (well-known result) the Diophantine factorizationpn(x;−n,β)=(x−1)n.And Corollary 2.8 entails even more general properties, such as the fact that the m Jacobi polynomials pn(x;−m,β),m=1,…,n,
feature x=1 as a zero of order m.
3.10.1. Factorizations
The following (not new) relations among Jacobi
polynomials are implied by Proposition 2.3 with Corollary 2.5 (and
see (3.153), of which the following formula is a generalization, just as
(1.1c) is a generalization of (1.1a)):pn(x;−m,β)=pn−m(x;m,β)pm(x;−m,β)=(x−1)mpn−m(x;m,β),m=0,1,…,n.
3.11. Laguerre
In this section (most results of which were already
reported in [5]), we
focus on the monic Laguerre polynomials pn(x;α) (see [9]),
pn(x;α)≡pn(x;η¯),defined by the three-term
recursion relations (3.1) with
an(η¯)=−(2n+1+α),bn(η¯)=−n(n+α).
The standard version of these
polynomials reads (see [9])
Ln(α)(x)=(−1)nn!pn(x;α).
We now identify the parameter ν as follows:α=−ν.With this assignment, one can
set, consistently with our previous treatment,An(ν)=−n(n−ν),ω(ν)=0,implying, via (2.2), (2.3), that
the polynomials pn(ν)(x) defined by the three-term recurrence relations
(2.1) coincide with the normalized Laguerre polynomials (3.155):pn(ν)(x)=pn(x;−ν).Hence, with this identification, Proposition
2.1 becomes applicable, entailing (well-known result) that the
normalized Laguerre polynomials satisfy the second recursion relation (2.4a)
withgn(ν)=n.
It is, moreover, plain that with the
assignmentν=n,henceα=−n,the factorizations implied by Proposition
2.3, and the properties implied by Corollary 2.4, become applicable
with μ=0.
These seem new findings. As for the additional findings entailed by Corollary
2.5, they are reported in Section 3.11.1. And Proposition 2.7 becomes as well applicable, entailing (well-known result) the formula
(see (1.1a))pn(x;−n)=xn.And Corollary 2.8 entails even more general properties, such as the fact that the m Laguerre polynomials pn(x;−m),m=1,…,n,
feature x=0 as a zero of order m,
see (1.1c) or, equivalently, the next formula.
3.11.1. Factorizations
The following (not new) relations among
Laguerre polynomials are implied by Proposition 2.3 with Corollary
2.5 (and see (3.162), of which the following formula—already reported
above, see (1.1c)—is a generalization):pn(x;−m)=pn−m(x;m)pm(x;−m)=xmpn−m(x;m),m=0,1,…,n.
3.12. Modified Charlier
In this subsection, we introduce and treat a modified
version of the standard (monic) Charlier polynomials. The standard (monic)
Charlier polynomials pn(x;α) (see [9]),
pn(x;α,λ)≡pn(x;η¯),are defined by the three-term
recursion relations (3.1) with
an(η¯)=−n−α,bn(η¯)=−nα.
The standard version of these polynomials reads (see
[9])
Cn(x;α)=(−α)−npn(x;α).
However, we have not found any assignment of the parameters α in terms of ν allowing the application of our machinery. To
nevertheless proceed, we introduce the class of (monic) “modified
Charlier” polynomials pn(x;α,β,γ) characterized by the three-term recursion relation
(3.1) withan(η¯)=−γ(n+α)+β,bn(η¯)=−γ2nα,that obviously reduce to the
monic Charlier polynomials for β=0,γ=1.
Assigning insteadβ=−ν,γ=−1,one can set, consistently with
our previous treatment,An(ν)=12n(n−1−2ν+2α),ω(ν)=ν,implying, via (2.2), (2.3), that
the polynomials pn(ν)(x) defined by the three-term recurrence relations
(2.1) coincide with these (monic) modified Charlier polynomials:pn(ν)(x)=pn(x;α,−ν,−1).Hence, with this identification, Proposition
2.1 becomes applicable, entailing (new finding) that these (monic)
modified Charlier polynomials satisfy the second recursion relation (2.4a)
withgn(ν)=−n.
There does not seem to be any interesting results for
the zeros of these polynomials.
4. Outlook
Other classes of orthogonal polynomials to which our
machinery is applicable, partly overlapping with those reported in this paper,
have been identified by finding explicit classes of coefficients an(ν) and bn(ν) (defining these classes of orthogonal polynomials
via the three-term recursion relations (2.1)) that do satisfy the nonlinear
relations entailing the validity of the various propositions reported
above. Hence, for these classes of orthogonal polynomials analogous results to
those reported above hold, namely an additional three-term recursion relation
involving shifts in the parameter ν,
and possibly as well factorizations identifying Diophantine zeros. These
findings will be reported, hopefully soon, in a subsequent paper, where we also
elucidate and exploit the connection about the machinery reported above and the
wealth of known results on discrete integrable systems [18]. Other developments
connected with the machinery reported above are as well under investigation,
including inter alia other types of additional recursion
relations satisfied by the classes of orthogonal polynomials defined by the
three-term recursion relations (2.1) (for appropriate choices of the coefficients an(ν) and bn(ν)) and the investigation of other properties of
such polynomials—possibly including the identification of ODEs satisfied by
them.
AppendixA. A proof
In this Appendix, for completeness, we provide a proof
of the factorization (2.11) with (2.12a) (see Proposition 2.3) although this
proof is actually quite analogous to that provided (for the special case with μ=0) in [5, Section 4]. We proceed by induction,
assuming that (2.11) holds up to n, and then showing that it holds for n+1.
Indeed, by using it in the right-hand side of the relation (2.1a) with ν=m,
we getpn+1(m+μ)(x)=[(x+an(m+μ))p˜n−m(−m)(x)+bn(m+μ)p˜n−1−m(−m)(x)]pm(m+μ)(x),m=0,1,…,n−1, and clearly by using the
recursion relation (2.12a) the square bracket in the right-hand side of this
equation can be replaced by p˜n+1−m(−m)(x), yieldingpn+1(m+μ)(x)=p˜n+1−m(−m)(x)pm(m+μ)(x),m=0,1,…,n+1.Note that for m=n+1,
this formula is an identity, since p˜0(−m)(x)=1, see (2.12b); likewise, this formula clearly also
holds for m=n,
provided that (2.9) holds, see (2.1a) with m=n and (2.12c).
But this is just the formula (2.11) with n replaced by n+1.
Q. E. D.
Remark A .1.
The hypothesis (2.9) has been used above, in this proof of Proposition 2.3, only to prove the validity of the final
formula, (A.2), for m=n.
Hence one might wonder whether this hypothesis, (2.9), was redundant, since the
validity of the final formula (A.2) for m=n seems to be implied by (A.1) with (2.12c) and
(2.12b), without the need to invoke (2.9). But in fact, by setting m=n in the basic recurrence relation (2.1a), it is clear that (2.12c) and (2.12b) only hold provided (2.9) also holds.
Acknowledgments
It is a pleasure to acknowledge useful discussions
with H. W. Capel, Frank Nijhoff, Peter van der Kampf and, last but not least,
Paul Edward Spicer who provided us with a copy of his Ph.D. thesis entitled
“On Orthogonal Polynomials and Related Discrete Integrable Systems.”
These interactions occurred mainly in July 2007 during the XIV Workshop on
Nonlinear Evolution Equations and Dynamical Systems (NEEDS 2007), the
organizers of which—David Gómez Ullate, Andy Hone, Sara Lombardo, and Joachim
Puig—we also like to thank for the
excellent organization and the pleasant working atmosphere of that meeting.
CalogeroF.Di CerboL.DrogheiR.On isochronous Bruschi-Ragnisco-Ruijsenaars-Toda lattices: equilibrium configurations, behaviour in their neighbourhood, Diophantine relations and conjectures2006392313325MR219896210.1088/0305-4470/39/2/003ZBL1084.37050CalogeroF.Di CerboL.DrogheiR.On isochronous Shabat-Yamilov-Toda lattices: equilibrium configurations, behavior in their neighborhood, Diophantine relations and conjectures20063554-5262270MR223083810.1016/j.physleta.2006.03.004CalogeroF.2008Oxford, UKOxford University Pressx+250MR2383111BruschiM.CalogeroF.DrogheiR.Proof of certain Diophantine conjectures and identification of remarkable classes of orthogonal polynomials2007401438153829MR232507810.1088/1751-8113/40/14/005BruschiM.CalogeroF.DrogheiR.Tridiagonal matrices, orthogonal polynomials and Diophantine relations: I2007403297939817MR237054410.1088/1751-8113/40/32/006BruschiM.CalogeroF.DrogheiR.Tridiagonal matrices, orthogonal polynomials and Diophantine relations: II200740491475914772MR244187310.1088/1751-8113/40/49/010FavardJ.Sur les polynômes de Tchebicheff193520020522053ZBL0012.06205IsmailM. E. H.200598Cambridge, UKCambridge University Pressxviii+706Encyclopedia of Mathematics and Its ApplicationsMR2191786ZBL1082.42016KoekoekR.SwarttouwR. F.The Askey-scheme of hypergeometric orthogonal polynomials and its q-analogue199494-05Delft, The NetherlandsDelft University of Technologyhttp://aw.twi.tudelft.nl/~koekoek/askey.htmlErdélyiA.1953New York, NY, USAMcGraw-HillGradshteynI. S.RyzhikI. M.19945thBoston, Mass, USAAcademic Pressxlviii+1204MR1243179ZBL0918.65002AbramowitzM.StegunI. A.196855Washington, DC, USAU.S. Government Printing OfficeNational Bureau of Standards, Applied Mathematics Serieshttp://mathworld.wolfram.com/OrthogonalPolynomials.htmlMagnusW.OberhettingerF.19482ndBerlin, GermanySpringerMR0025629ZBL0039.29701SzëgoG.193923Providence, RI, USAAmerican Mathematical SocietyAMS Colloquium PublicationsMR0000077ZBL0023.21505MarcellánF.Álvarez-NodarseR.On the “Favard theorem” and its extensions20011271-2231254MR180857610.1016/S0377-0427(00)00497-0ZBL0970.33008DickinsonD. J.PollakH. O.WannierG. H.On a class of polynomials orthogonal over a denumerable set19566239247MR0080190ZBL0072.06601BruschiM.CalogeroF.DrogheiR.Polynomials defined by three-term recursion relations and satisfying a second recursion relation: connection with discrete integrability, remarkable (often Diophantine) factorizationsIn preparation