Professional Documents
Culture Documents
Lecture Notes in Mathematics: 698 Emil Grosswald
Lecture Notes in Mathematics: 698 Emil Grosswald
Mathematics
Edited by A. Dold and B. Eckmann
698
Emil Grosswald
Bessel Polynomials
Springer-Verlag
Berlin Heidelberg New York 1978
Author
Emil Grosswald
Department of Mathematics
Temple University
Philadelphia, PA 19122/USA
1 6. JAN. 1979
This work is subject to copyright. All rights are reserved, whether the whole or
part of the material is concerned, specifically those of translation, reprinting.
re-use of illustrations, broadcasting, reproduction by photocopying machine or
similar means, and storage in data banks. Under § 54 of the German Copyright
Law where copies are made for other than private use. a fee is payable to the
publisher, the amount of the fee to be determined by agreement with the publisher.
(c-: by Springer-Verlag Berlin Heidelberg 1978
Printed in Germany
Printing and binding: Beltz Offsetdruck, Hemsbach/Bergstr.
2141/3140-543210
To
ELIZABETH
BLANCHE
and
VI VI AN
FOREWORD
The present book consists of an Introduction, 15 Chapters, an Appendix, two
Bibliographies and two Indexes.The chapters are numbered consecutively, from 1 to
iS and are grouped into four parts, as follows:
Part I - A short historic sketch (i Chapter) followed by the basic theory
(5 Chapters);
Part II - Analytic properties (5 Chapters);
Part I I I - Algebraic properties (4 Chapters);
Part IV - Applications and miscellanea (2 Chapters).
According to its subject matter, the chapter on asymptotic properties would fit
better into Part II; however, some of the proofs require results obtained only in
Chapter 10 [properties of zeros) and, for that reason, the chapter has been incorpo-
rated into Part Ill.
The Appendix contains a list of some 12 open problems.
In the first bibliography are listed all papers, monographs, etc., that could
be located and that discuss Bessel Polynomials. It is quite likely that, despite
all efforts made, absolute completeness has not been achieved. The present writer
takes this opportunity to apologize to all authors, whose work has been overlooked.
A second, separate bibliography lists books and papers quoted in the text, but
not directly related to Bessel Polynomials.
References to the bibliographies are enclosed in square brackets. Those refer-
ing to the second bibliography are distinguished by heavy print. So [i] refers to:
W.H. Abdi - A basic analog of the Bessel Polynomials; while ~] refers to: M. Abramo-
witz and l.E. Segun - Handbook of Mathematical Functions.
Within each chapter, the sections, theorems, lemmata, corollaries, drawings,
and formulae are numbered consecutively. If quoted, or referred to within the same
chapter, only their own number is mentioned. If, e.g., in Chapter 10 a reference
is made to formula (12), or to Section 2, this means formula (12), or Section 2 of
Chapter 10. The same formula, or section quoted in another chapter, would be refer-
red to as formula (I0.12), or Section (10.2), respectively. The same holds, mutatis
mutandis, for theorems, drawings, etc.
~%ile writing this book, the author has received invaluable help from many col-
leagues; to all of them he owes a great debt of gratitude. Of particular importance
was the great moral support received from Professors H.L. Krall and O. Frink, as
well as A.M. Krall. Professors Krall also read most of the manuscript and made valu-
able suggestions for improvements.
As already mentioned, there is no hope for an absolutely complete bibliography;
however, many more omissions would have occurred, were it not for the help received,
in addition to the mentioned colleagues, also from Professors R.P. Agarwal, W.A. AI-
Salam, H.W. Gould, M.E.H. Ismail, C. Underhill, and A. Wragg.
Last, but not least, thanks are due to Ms. Gerry Sizemore-Ballard, for her skill
VI
and infinite patience in typing the manuscript and to my daughter Vivian for her
help with the Indexes.
Part of the work on this book was done during the summer 1976, under a Summer
Research Grant offered by Temple University and for which the author herewith ex-
presses his gratitude.
INTRODUCTION . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . IX
PART I
CHAPTER 1 Historic Sketch ................................................
PART I I
CHAPTER S Relations of the BP to the classical orthonormal pol~nomials
and to other functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . , , . . ° . . ~l~
.,
PART llI
CHAPTER i0 - Properties of the zeros o f BP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
Location of zeros. Results of Burchnall, Grosswald, Dickinson,
Agarwal, Barnes, van Rossum, Nasif, Parodi, McCarthy, DoPey,
Wragg and Underhill, Saff and Varga. Olver's theorem. Laguerre's
Theorem. Results of Ismail and Kelker. Sums of powers of
the zeros.
VIII
PART IV
Following C.L. Siegel [$$] (who strea~dined an idea due to Hermite), one first deter-
mines two polynomials An(X ) and Bn(X), both of degree n, such that eX+An(X)/Bn(X)
the power series expansion of Rn(X) = Bn(X)e x + An(X) starts with the term of degree
2n+l 2n+2
2n + i, Rn(X) = ClX + c2x + ... say. By counting the number of conditions
and the number of available coefficients, it turns out that An(X ) and Bn(X) are uni-
%(x) = (n!)-ix 2n+l I 01 tn(l_t)netXdt The last assertions are proved by effective
construction of the polynomials involved (see Sections 14.2 and 14.3 for details).
that Rn(X) > 0 for x ~ 0. If now e r = e a/b were rational, also e a would be rational;
let q > 0 be its denominator. As already observed, Bn(a) and An(a ) are integers,
$o that
Using the bound on Rn(a), 0 < m < q.(n~)-la2n+le a and, by Stirling's formula,
= (-l)n+ 1 2 n + I :I tn(l-t)nsin zt dt
n! ~0
(the last equality depends on some computations and will be justified in Chapter 14).
The integrand is positive, so that Rn(ni) # 0. Let k = [~] where [x] stands for the
0 < In! < i for sufficiently large n. This is, of course impossible for integral m.
this proof permits one to show much more, namely that e r is actually transcendental
for real, rational r. In particular, for r = i, this implies the transcendency of
e itself.
Kn_i/2 (~xx)
function ~(x) = ~x Kn+i/2(~x) is completely monotonic on [0,~), which means that
(-l)k¢(k)(x) > 0 for 0 < x < = and all integral k ~ 0. Now, it is well-knowm (see,
e.g. ~], 10.2.17) that if the index of K (z) (the so called modified Hankel func-
Bernstein's theorem (see [68]); this asserts that ¢(x) is completely monotonic if,
and only if it is the Laplace transfarm of a function G(t), non-negative on
0 < t < ~. In the present case it is possible to study the pol)~omials Pn(X) and
compute G(t). It turns out that G(t) ~ 0 for small t > 0 and also for t sufficiently
large. This alone is not quite sufficient to settle the problem, but if we also
knew that G(t) is monotonic, then the conclusion immediately follows. In fact, by
playing around with G(t), one soon suspects that it is not only monotonic, but
actually completely monotonic. In order to prove this, one appeals once more to
Bernstein's theorem and finds that G(t) is the Laplace transform of ¢(x) =
(~2 x) -1/2{i n
÷ j=l
X ~j(x+ aj)
2 - i}, where ~l,a2 ..... an are the zeros of the polynomial
Pn(U). A detailed study of these zeros permits one to reduce the large bracket to
the form xn/q(x), where q(x) is a polynomial with real coefficients and such that
q(x) > 0 at least for x > - min l~jl 2. This shows that ¢(x) > 0 for
l<jsn
XI
0 < x < ~; hence, G(t) _> 0 on 0 < t < - and ¢(x) is indeed completely monotonic, as
we wanted to show.
1 32V
(1) AV = - ~ - - where A is the Laplacian,
c ~t 2
32 2 3 i 32 3 1 32
A = ~ 3 r + r Dr + -2-r (~-~ + cot 0 ~ ) + r2sin2 e 302
Here r, 0, and ¢ are the customary spherical coordinates, t stands for the time and
c represents dimensionwise a velocity.
Conditions (i) and (ii) are imposed only in order to simplify the problem and
can be omitted, but the added complexity can easily be handled by classical methods
and has nothing to do with the problem on hand.
Following the lead of Krall and Frink [68] we look, in particular, at solutions
of (1) of the form (obtained by separation of variables)
Here y and L are, so far, undetermined functions and we shall determine them precise-
ly hy the condition that u be a solution of (I), while k is a parameter related to
the frequency ~ by k = ~/c. On account of (ii), k is a well defined constant. The
(artificially looking) device of introducing complex elements into this physical
problem is useful for obtaining propagating, rather then stationary waves. The
real components v, w of u = v + iw will be real solutions of (I) and represent waves
traveling with the velocity c. For c = 0 and with x = i/ikr, one obtains, of course,
directly a real, stationary solution of (i). We now substitute u into (i), by taking
into account that 8u/3# = O, and obtain, with x = I/ikr and z = cos 8, that
or, equivalently,
These two functions, each of which depends on a different independent variable, can
be identically equal only if their common value reduces to a constant, say C. It
follows that L(z) satisfies an equation of the form
We immediately recognize here the classical equation of Legendre. If, but only if
C = n(n+l) with n an integer (it is clearly sufficient to consider only n { O,
because -n(-n+l) = n(n-l)) does this differential equation admit a polynomial solu-
tion, namely the Legendre polynomial of exact degree n; we shall denote it by Ln(Z).
Incidentally, if we would not require symmetry with respect to the polar axis, then
we would obtain here the associate Legendre nolynomials P(q)(z) instead of the sim-
n
pler Legendre polynomials, and this is the main reason for the present, more restric
tire formulation of the problem.
So far, everything has been fairly routine; now, however, it turns out rather
surprizingly that, with C = n(n+l) the equation
u n = Un(r,9,t ) = r-iLnfCOS,
- 3]Vn(I/irk)eik(ct-r),,
.
With each solution u n and for each constant an, also anU n is a solution of (i), and
stitution x = i/ikr,
I ane-i/Xyn(X ) = F(x).
n=O
From (2) it follows that, by taking as closed path of integration the unit circle,
XIII
Yn (Z)Ym(Z)e-2/Zdz = ~ 2(-l)n+l
mn 2n+l '
an = (-i)n+l (n+i/2)#F(z)yn(Z)e-I/zdz.
V(r,e,¢,t) = ~ n~ 0 ....
an,kP~(cos e) sznlm¢+¢0Je ik (ct-r) Yn(i/ikr)/r,
k m=0
with the outer sum extended over all values of k = e/c, corresponding to all frequen-
cies ~ that occur.
What do these problems have in common? All three depend on the study of cer-
tain sequences of polynomials, An(X ) (= -Bn(-X)) in Problem I, Pn(X) in Problem 2,
Yn(X) in Problem 3. In fact, the three problems have more in common than just that,
because actually, all three sequences of polynomials are essentially the same se-
quence. There are still many other problems, in which this particular sequence of
polynomials kno~m to-day as Bessel Polynomials plays a fundamental role. It also
turns out that these polynomials exhibit certain symmetries that are esthetically
appealing and have therefore been studied for their own sake. To-day there exists
a fairly extensive literature devoted to this specific subject. Nevertheless,
recently, when the present author needed some information concerning these polyno-
mials, it turned out that it required an inordinate amount of time to search through
a large number of papers and several books, in order to locate many a particular
fact needed. It is the purpose of the present monograph, to give a coherent account
of this interesting sequence of polynomials. It may be overly optimistic to hope
that everything known about them will be found here, but at least the more important
theorems will be stated and proved. Originally an attempt was made to obtain all
important properties in a unified way, but this attempt hm~ not always been success-
ful; in fact it could hardly have been expected to be. After all, it is not sur-
prizing that the structure of the Galois group of Pn(X) requires for its determina-
tion other methods than, say, the study of the domain of convergence of an expansion
in a series of these same polynomials.
The author has made himself a modest contribution to the subject matter, but
the aim of this work is primarily expository: to systematize and to make easily
XIV
accessible the work of all mathematicians active in this field. But mainly, unless
this book succeeds in relieving the future student of this subject o£ the need for
an exasperating, time consuming search for known items, deeply hidden in the litera
ture, it will have failed in its purpose.
PART I
CHAPTER 1
HISTORIC SKETCH
n-1 n
(-1) x Yn(2/x), ( x / 2 ) n y n ( 2 / x ) , and o t h e r s .
In t h e p r e s e n t monograph, we s h a l l adopt i n g e n e r a l t h e o r i g i n a l n o r m a l i z a t i o n
o f K r a l l and P r i n k and we s h a l l a b b r e v i a t e t h e d e s i g n a t i o n B e s s e l P o l y n o m i a l s , by BP
( r e g a r d l e s s o f t h e i r use i n t h e s i n g u l a r , o r p l u r a l ) .
K r a l l and F r i n k had been l e d t o t h e c o n s i d e r a t i o n o f t h e BP by a s t u d y o f t h e
wave e q u a t i o n ( e s s e n t i a l l y our Problem 3). They i n d i c a t e t h e d i f f e r e n t i a l equation,
recurrence relations, a pseudo g e n e r a t i n g f u n c t i o n and an o r t h o g o n a l i t y p r o p e r t y ;
t h e y a l s o g e n e r a l i z e t h e s e t Yn(X), by i n t r o d u c i n g two p a r a m e t e r s ( o n l y one r e a l l y
significant).
Shortly afterwards, and stimulated by Krall and Frink's work, two other papers
appeared almost simultaneously. J.L. Burchnall [17] pointed out that the BP Yn(X)
8n(X ) = xn Yn (i/x) By using the machinery developed there, Burchnall obtains several
made during these years, and quoted in the following pages but a few names and
papers come to mind: Carlitz [19]; AI-Salam and Carlitz [7], [8], Ai-Salam [3],
Rainville [89], Agarwal [2]; Toscano [109]; McCarthy [74], [75]; Nasif [81], Dick-
inson [47], Brafman [15], Ragab [88], Wimp [112] and others.
Some of this material was included in abbreviated form in the books by R.P. Boas
and R.C. Buck [13] and by E.D. Rainville [90].
In 1962 Do~ev [48] obtained what until recently was the best upper bound for
the absolute value of the zeros of BP. See Chapter 10 for more recent results by
01vet [84], [~6] and by Saff and Varga [98].
While the interest in BP never completely disappeared, there were a few years,
during which the efforts of mathematicians were apparently directed into other
channels. But recently, there seems to have arisen a renewed interest in BP. In
1969 the author [54] could settle (computer assisted - although in the proof itself
no computer work is invoked) a remaining problem concerning the Galois groups of
the BP of degrees 9, ii, and 12.
Parodi [85] r e p r e s e n t s t h e BP as d e t e r m i n a n t s and o b t a i n s new bounds f o r t h e
r e g i o n i n which one may f i n d z e r o s o f BP. I f one combines t h e s e w i t h some p r e v i o u s l y
known o n e s , one g e t s r a t h e r strong results.
Barnes [12] s t u d i e s a g a i n t h e z e r o s o f BP, as w e l l as t h e i r c o n n e c t i o n with
continued fractions and w i t h t h e e x p o n e n t i a l f u n c t i o n .
Wragg and U n d e r h i l l [113] r e l a t e t h e BP t o t h e d e n o m i n a t o r s o f t h e Pad~ a p p r o x i -
mants t o t h e e x p o n e n t i a l f u n c t i o n ; they also represent, f o l l o w i n g P a r o d i , t h e BP as
d e t e r m i n a n t s and, by u s e o f G e r s h g o r i n ' s and t h e B e n d i x s o n - H i r s c h t h e o r e m s , o b t a i n
r a t h e r s i m p l e p r o o f s f o r good bounds on t h e z e r o s o f t h e BP.
K e l k e r [65] and I s m a i l and K e l k e r [62] r e d u c e an i m p o r t a n t p r o b l e m o f p r o b a b i -
lity (the infinite divisibility of certain distributions - essentially our Problem
2) to the complete monotonicity of the function ¢(x) = Yn_l(X-I/2)/xl/2yn(X-i/2).
The proof that this property, in fact, holds, has been obtained by the present
wTiter [55], [56].
In the meantime, Thomson's contribution, ignored by mathematicians, became
rapidly common knowledge among electrical engineers. They discovered soon the iden-
tity of Thomson's polynomials with the BP and used systematically the properties
of these polynomials and of their zeros, as presented in [68], [17], and [53], in
order to perfect amplifiers, as well as filters. In 1954, L. Storch [106a,b] giving
full credit to Thomson, and quoting [108], [68], [17] and [53] treats the topic with
all the details needed for the understanding of the theory and also for the effec-
tive computation of the numerical values of the elements of the network.
Soon the use of BP in the synthesis of certain networks was treated in textbooks
like those of E. Guillemin [57] and D. Hazony [60]. More recently R.R. Shepard
[I01] indicated an almost mechanical method for the design of networks with certain
preassigned characteristics, by use (among others) of BP. For related work see
also [64], [115], and [116].
At present, the BP are accepted along with the classical orthogonal polynomials
among the "special functions" and are often mentioned in connection with either the
Bessel functions, or some other previously studied functions, to which they are re-
ducible (see Chapter 5). They are quoted, besides in [90], also in such well-known
collections as [71], [72], [20], [50] or [ll4](but not in [~]), and there does not
appear to exist in the mathematical literature any systematic discussion of their
properties. This fact, the author hopes, will be accepted as a sufficient justifica-
tion for the present monograph.
CHAPTER 2
BESSEL POLYNOMIALS AND BESSEL FUNCTIONS:
DIFFERENTIAL EQUATIONS AND THEIR SOLUTIONS.
I. The so called "modified" Bessel functions Iv(z) and Kv(z ) - sometimes improperly
designated as being of imaginary argument -, K (z) also known as the MacDonald func-
tion, satisfy the well-known (see e.g. [61] or [~]) differential equation
For fixed v with Re v > 0 the following asymptotic relations hold (see [I]):
For z -~ O,
These relations suggest that functions like ¢(z), or 8(z), defined by w = z-re, or
by w = z-Ve-Zs, with e = eZ¢, may exhibit a simpler behavior than the Bessel func-
tions themselves.
v 8'
w, = (- ~ - i + ~-)w
By the general theory of linear differential equations (e.g., [~]) the origin
is a regular singular point and there exist (in general) two independent particular
solutions of the form @ = z ~ ~ cmzm. Here ~ is any one of the two (in general
m=0
distinct) solutions of the indicial equation. Either by Frobenius' method, or by
general considerations one finds that the indicial equation is
The solutions of (4) are indeed distinct, except for v = O. In the latter case
the two solutions are, of course, proportional to e-ZIo(Z) and e-ZKo(Z), respectively
2u+l-2m (2u-1)(2u-3)...(2~-2m÷l)
cm - (2u-m)m Cm-1 ~ " ' " = (2~-l)(2~-2)...(2u-m)ml Co "
s o that
Similarly,
and
2 m
%(z,u) = c6z2~(l+z+ 2~+3 Z (2~+I)(2'~+3)...(2~+2m-I) z
29+2 2: + "'" + (2~+l)(2v+2)...(29+m) m--~ + "'') "
In a similar way one verifies that 8(z,~) = ~ zVeZl (z), with ~ = c62~r(~+1).
1
In the second case, with ~ = -n - ~ ,
m
(2n+4)(2n+6)...(2n+2m) z___+ ...)
e(z,-n-i/2) = e0(l+z+...+ (2n+3)(2n+4)...(2n+m+l) m~
and
m
e(z,-n-I/2) = c~z-2n-l(l+z+...+ (2n-2)(2n-4)...(2n-2m+2) z
_ _ +
nall [17] and Burchnall and Chaundy [18], we select c 0 = (2n)!/2nn2, so that the
leading coefficient becomes one. With this normalization we shall denote e(z,n+i/2)
simply by en[Z). One now easily verifies (see [17]) that
n n
(7) @n(Z) = [ an_mZm = [ amzn'm ,
m=O m=O
where all coefficients are integers (see Theorem 3•1) given by
2m-n(2n-m)! (n+m)!
(8) a =
n-m (n-m) .m.'' , am 2m(n-m) .m.'
'
So, e.g., we find that
2
e0(z) = i, el(Z) = z+l, e2(z) = z +3z+3, etc.
The coefficients that occur in (7) and (8) would then be denoted by a (n) and
n-m
a(n! respectively.
m
While the polynomials en(Z ) have been defined so far only for n > O, we observe
indeed, on account of the factor n-m in the numerator of a (n) the coefficient
m
a (n-l) vanishes.
n
e~(z) = nzn-lyn(1/z)-zn-2y~(1/z),
and
so that the polynomials yn(Z) are defined for negative subscripts by the particular-
ly simple relation (see [68] and [47])
We shall speak occasionally of both, 8n(Z) and yn(Z) as Bessel Polynomials (BP)
and it will be clear from the context, which one is meant. When confusion could
arise, then yn(Z) will be called the n-th BP, while 8n(Z) will be referred to
has polynomial solutions w = @n(Z ) . These are polynomials of exact degree n and
n
specifically On(Z) = ~ a(n)z n-m, with a (n) (n+m)!
m=O m m 2re(n-m)!m!
2z
If n = O, the general solution of the differential equation is cle + c2
and also in this case ~mong the solutions one finds the polynomial of degree zero
eo(Z ) = i, the same as one obtains formally by 8ettin~j n = 0 in above formulae.
The equation with n replaced by the negative integer -n, n > 0 has a rational
@n(Z) = z2n+ls_(n+l)(Z).
The equation
has polynomial solutions w = yn(Z) of exact degree n. Specifically, with the seQne
n
aCn)m as above, yn(Z) = a(n)z m is a solution, so t ~ t
m
yn(Z) = zn8 (l/z) and yn(Z)
n
m=O
and en(Z ) are polynomials reverse to each other.
For n = 0 the general solution of the equation i8 cle2/Z + c 2 and o~nong these
y_n_l(Z) = yn(Z).
3. We turn now to the function ~(z) = e-Z@(z). From @(z) = eZ~(z), by differentia-
tion, e' = eZ~ ' + eZ~, e" = eZ~ '' + 2eZ~ ' + eZ~ and if we substitute these in (3),
it follows that ~ satisfies the particularly simple differential equation
2 d2 d
Denote the linear differential operator z dz 2 - 2nz ~ by L; then the equation
L# = z2~
stays invariant under the transformation z -~ -z. Hence, with ~(z) = e-Ze(z), also
they are of independent interest, some of the (well known - see [17]) properties of
this operator will be developed here.
Clearly ~zn = nz n
and, more generally,
where S (m) are the Stifling numbers of the second kind. The general case follows by
n
induction on n, starting from n = i (which holds by the definition of 5), with the
help of the recurrence relation (see [~] p. 825) S (m) = mS (m) + S (m-l)
' n+l n n "
Next, by using (15) one verifies that the operators ~-a and ~-b commute. Con-
sequently, if P[n) is a polynomial with zeros Ul,U2, .... Um, one has
It follows that a factor z may be "moved across" the operator g-n, from right to
left, provided that n is replaced by n-l.
-bz
In particular, for f(z) = e , we h a v e
-bz
(18) ( 6 - n 1) ( 6 - n 2) . . . ( ~ - n r ) ze = z (~-nl+l) (6-n2+1)... ( ~ - n r + l ) e -bz .
consecutive integers.
Indeed,
and
( z - n e - b Z ) + z n+2 d 2 (z-ne-bZ),
~(~_n)e-bZ = (n+l)zn+l d _ _
dz 2
-bz n+m dm
(19) (~-n-m+l)(6-n-m+2)...(6-n)e = z (z-ne-bZ).
dz m
We observe in particular that for a twice differentiable function f(z),
and i f , in particular, a = 2n+l, then ~(~-2n-1)f = Lf. This yields the announced
factorization o f L. From (13) i t now f o l l o w s , that ¢(z) is a solution of
solution of (20).
= -zS(6-2)...(8-2n)e -z = -z(6-2)(8-4)...(8-2n)Te -z
Here the first and last equality are justified by the definition of ~n(Z), the
second and fifth one by the eommutativity of the operators 8-a, the third and sixth
one by the definition of 8, and the fourth and seventh by (18). Theorem 2 may also
be proved directly, as follows:
By using (16),
,o k ~ (_l)k
(21) CnCZ) : Qn(8)e -z : % ( 6 ) [ (-1)k k: - ~ k: Qn (8)zk
k=O k=O
(_l)k ~(k)z k
= X k,---~--
k=O
and
Next,
o~ (_l)k k
= ~ (k-3)(k-5)...(k-2n+l)z ,
(k-2) '
k=2
and similarly,
Hence,
(_l)k
(k-2)' Qn ( k - 2 ) z k = Z2¢n'
k=2 °
by (22).
For l a t e r use we s t a t e the f o l l o w i n g .
k
THEOREM 3. In the series expansion of ~ n ( Z ) , the coefficients of z vanish for
k = 1,3,5 ..... (2n-l).
12
Proof. Qn(k) = 0 for k = 1,3 ..... (2n-l), so that Theorem 3 follows from (21).
As already observed, (15) and, hence, (20), are satisfied not only by Cn(Z),
but also by ~n(-Z). This is evident also from (22) and (23), in both of which one
only has to suppress the factor (-i) k under the summation sign.
From ¢n(Z) = Qn(g)e "z and the relation between On(Z ) and Cn(Z) it follows that
-Z
On(Z) = eZQn(~)e ,
(24) [g(g-2n-l)-2z(g-n)]gn(Z ) = 0 ,
d
If one replaces g by z dK ' one immediately verifies that these are, indeed,
4. Equation (Ii) has been generalized in several ways. Krall and Frink [68] intro-
duce two new parameters and write the equation as
(26) z2y"+(az+b)y'-n(n+a-l)y = 0.
2z
z2Y"+(az+b)Y'-n(n+a-l)Y = (2z/b)2y"(2z/b)+(a--~ + 2)y'(2z/b)-n(n+a-l)y(2z/b)
This shows that if y(Z) is a solution of (26) with b = 2, then y(2z/b) is a solution
of the general equation (26). In other words, b is only a scale factor for the
independent variable and not an essential parameter. If we want to keep b = 2, but
let yn(Z) or 8n(Z ) depend also on the parameter a, we write yn(Z;a) and en(Z,a),
respectively.
By Frobenius' method or by direct verification through substitution, it may be
shown that
13
In (27) and hereafter we use the notation u (n) to mean u(u-l)...(u-n÷l). Similarly,
u will stand for u(u+1)...(u+n-l). No confusion should arise between these stand-
n
ard notations and sub, or s u p e r s c r i p t s , l i k e in d~ n) .
n
From these the coefficients f~n) of yn(Z;a,b) = ~ f~n)zk are obtained, by
k:O
Ck)
One verifies that, for a : b = 2, fEn)r : n.'( n + k ) ( n + k ) : -- =
(a~n) ,
yn(Z;a,b) = z n O n ( Z - 1 ; a , b ) .
Z0n-2(z+n) 0n + 2n0 n = 0,
~n(Z;a,b) for c = b/2; in addition also the case c = b will turn out to be of
interest.
If we differentiate (30) twice and use (29) we obtain the differential equation
satisfied by w = #n(Z;a,b,c), namely
(31) zw"-(2n+a-2÷(b-2c)z)w'+(c(c-b)z+(b-2c)n+c(2-a))w = O.
For a = b = 2, c = O, (31) reduces again to (3) with 2~-i = 2n, while for
b = 2c = 2, (31) becomes
(32) zw"-(2n+a-2)w'+(2-a-z)w = 0,
(33) zw"-(2n+a-2-bz)w'+b(2-a-n)w = 0,
tion of 6 follows
(34) z2(b-2c)w'+z{c(b-c)z+(2c-b)n+(a-2)c}w.
equation
8(~+l-a-2n)w = {z2(b/2)2+(a-2)(b/2)z}w.
In particular, if b = 2, this reduces to
~(6+l-a-2n)w = (z2÷(a-2)z)w,
the f-form of (32). If we set here also a = 2, we recover, of course, once more
(20).
15
verified by O n ( Z ; a , b , b ) = e=bZo ( z ; a , b ) .
n
By (191
We claim that for any constant C, W is a solution of the differential equation (36).
This can be proved directly, as in the second proof of Theorem i, but an easier
proof is by use of (181. On account of the homogeneity of (36), it is sufficient
to verify the claim for C = i. We obtain successively,
as claimed. Here the first equality follows from (38), the second from the commu-
tativity of the operators 6-c, the third from the definition of 6, the fourth from
(18), and the last two are obvious.
One can easily verify that not all solutions W of (36), or, equivalently, of
bz
(33), are such that e w = p(z), a polynomial.
It follows that at most one of any two linearly independent solutions of (33)
(or (361) can be of this form. However, we do know one such solution, namely (38).
dn (z-n-a+le -bz) comes from the term z -n-a+l dn (e -bz) and il equal to
dz n dz n
F o r b = 2, i n p a r t i c u l a r ,
en(z;a) = ( _ l ) n 2 - n e 2 Z z 2 n + a - 1 _ _d n ( z - n - a + l e - 2 Z )
n
dz
7. It is clear that all values of b # 0 are admissible and lead to BP. For b = O,
however, (26) reduces to z2y '' + azy' - n(n+a-l)y = 0. The solutions are of the form
r
y = z , where the r are solutions of the equation r(r-l)+ar-n(n+a-1) = 0. These
solutions are n and l-a-n so that the general solution of (26) for b = 0 becomes
n 1-a-n
y = ClZ +c2z For n > a+l, this is a polynomial only if c 2 = O, when it
The parameter a may take arbitrary values. This is clear from the form of
the coefficients dk(n) (see (27)) and fk(n) , which remain well defined for all complex
-1,-2,... lead to special difficulties and may have to be discussed separately. So,
e.g. if a = l-n, equation (26) becomes
y" _ n-I b
y' z Z
2
n
z
and has the general solution y = --~ + ClZ+C2+bz log z.
17
n
This is a polynomial only if b = 0, when it reduces to y = ClZ +c2, also of no
further interest.
Whenever such cases arise, we shall tacitly or explicitly assume that a is
not zero, or a negative integer.
CHAPTER 3
RECURRENCE RELATIONS
1. It is well known (see [I]) that the solutions K (z) of (2.1) satisfy recurrence
relations, such as
On account of @n(Z) = eZ~n(Z), the same recurrence relation holds also for the
functions Cn(Z):
-i n+l
If we replace in (5) z by z , multiply the result by z and recall that
zn@n(Z -I) = yn(Z), then we obtain (see [68]) the recurrence relation for the BP yn(Z):
The recurrence relations (5) and (7) allow us to compute successively the polynomials
8n(Z ) and yn(Z) with very little effort. We obtain as first few polynomials,
l$z3+lSz2+6z+l, etc. These results illustrate the relations znyn(Z -I) = @n(Z) and
znOn(Z-I ) = yn(Z).
19
From yO(z) = Co(Z) = i, yl(z) = Ol(Z ) = z+l, (S) and (7) also immediately
follows
~ K v! =
-vz-V-le-Ze(z,v)-z-Ve-Zo(z,.) + z-Ve-Zo'(z,.) we o b t a i n from (2) t h a t On,
Cn' and Yn s a t i s f y
and
respectively. For (8), see [17], for (i0) see [68]. One may remark the particular-
ly simple form of (9), which may be new.
Similarly, one obtains from (3) the following recurrence relations:
By combining above formulae, or by starting from any other among the numerous
recurrence relations known in the theory of Bessel functions, many other recurrence
relations for the polynomials 8n(Z ) and yn(Z), or for the functions Cn(Z) can be
obtained.
For future use we observe that (7) [and similarly (5) and (6)), can be &eneral-
ized to read
2O
= Pm+l(Z)Yn_m_l + Qm(Z)Yn_m_2.
Y-n-1 = Y - n + l - ( - 2 n + l ) z Y - n = Yn-2+(2n-1)ZYn-1 = Yn
as a d e t e r m i n a n t . Indeed, f o l l o w i n g [85] l e t us c o n s i d e r ( 7 ) , w i t h n r e p l a c e d by
n-l, as a homogeneous l i n e a r equation in the three "unknowns" Yn' Y n - l ' Y n - 2 '
Yn Yn-2
namely ~ U ] - - ZYn_1 - 2n_-----[ = 0. Next, we r e p l a c e n s u c c e s s i v e l y by n - l , n-2,...,
Y3 Yl
3,2, and I. For n = 3 the equation reads ~-- -zY2 - 7 = O. For n = 2 we write it
Y2 1 Yo
(inhomogeneously) in the form ~-- zy I = ~ (= fL). Finally, for n = 1 (the last
Yn' Yn-i .... 'Yl by Cramer's rule. The determinant of the system is
21
1 1
-z 0 0
2n-I 2n-I
1 1
0 -z 0
2n-3 2n-3
D =
1
0 0 0 0 0 -Z
0 0 0 0 0 • .• 0
and YnD = Dn, where D n is obtained by replacing the first column of D by the column
vector of second members of the equations. The entries of this vector are, as seen,
all zeros, except for the last two, which are 1/3 (from n = 2) and z+l (from n = i),
1
-z 0 ... 0 0
2n-i
1 1
0 0
2n-3 -z 2n-3 " ""
1
0 -z 0 0
2n-S " ""
D =
n
• . . . •
1 1
0 0 0 ... ~ -z
Y
z+l 0 0 0 ... 0 1
we shift the first column to last place, taking into account the sign change
(_l)n-l•
Next, we change the signs of the entries in the last column, so that
D = (-l)nMn , where
n
1
-Z
0 0 0 0
2n-i
1 1
-Z 0 0 0
2n-3 2n-3
1
0 0 0 0
2n-5 -z
M
n =
• ° . . :
0 0 0 1 -z 1__
~ -3
0 0 0 0 1 -z-1
22
The corresponding results for the generalized BP yn(Z;a,b) do not appear equally
useful, because they are rather complicated and lack symmetry (see, however [74])•
For On{Z ) on the other hand, we may start from (5) {with n replaced by n-l)
instead of (7) and obtain in exactly the same way that
DO n = Dn, where
2
I - (2n-l) -z 0 ... 0 0 0
2
0 1 - (2n-3) -z ... 0 0 0
D=
"2
0 0 0 0 ... 1 -5 -z -- i
0 0 0 0 ... 0 1 -3
0 0 0 0 ... 0 0 1
and
2
- (2n-l) -z 0 . .. 0 0 0
2
i - (2n-3) -z ... 0 0 0
0 1 -(2n-5) ... 0 0 0
D =(-i) n
n
2
0 0 0 ... -5 -z 0
2
0 0 0 ... 1 -3 -z
0 0 0 ... 0 i -(l+z)
with On[Z ) = D n.
3. From the recurrence relations for the BP, we obtain recurrence relations for
their coefficients We denote as before {see (2.8)) by a (n) the coefficient of z m
• m
I I for m = 0 ,
By substituting
a(n) =
I_In-l)
(2.10) into (i0) we obtain
~0 : 1
(n_m+l)a(n)+a (n-l)
for m = O,
1 ~ I I) ~ for m = O ,
(2n-l)a~nil) for m = n.
+ n (2n+a)Yn_l (z, a ) ,
+ n ( 2 n + a ) Z2en_l ( z , a ) ,
One sees from (25), that the surprizing simplicity of (91 was, in some sense,
rather accidental.
24
5. The reader may have been surprized that in Chapter 2 nothing was said concerning
generalized BP for negative subscripts. This was no simple omission. The recur-
rence relation (20) permits us to define y_n_l(z;a,b) recurs ively, if we know Y-n
and Yl-n" The first step, however, the determination of y l(z;a,b) fails because
in (20) the factor n(2n+a) of Yn-i vanishes for n = 0. This is not the case when
a = 2; in that case n (in fact 2n(n+l)) is a factor common to all terms and is
cancelled. Also the difficulty with y_n(Z;a,b) for arbitrary real a is not an
accident. Indeed, let us consider the differential equation (2.26) with n = -I,
(re+a-3) (m)
(26) Y(Z)(=Y-l(z;a'b)) = m=0~ Cm zm, with cm = (-l) m bm
of exact degree n. However, the theory for a = 1 has never been developed much
further, the suggestion of Krall and Frink ([68], bottom of page 109) notwithstand-
ing. See, however, [99] and [i00].
For the other cases when y_l(z;a,b) is a polynomial, that is, for a = 0, or
a equal to a negative integer, y_l(z;a,b) is given by (26) and once we know
y_l(z;a,b) all other y_n(Z;a,b) can then be obtained recursively from (20), and are
I. The theory of moments has a long history. Its modern phase may be said to have
started with Stieltjes [$4] and it was considerably advanced by the work of Tcheby-
cheff [ST] and Hamburger [26], [27]. It is intimately connected with the idea of
orthogonality.
In the classical setting, one starts with a function w(x), real and non-nega-
tive over an interval a ~ x ~ b of the real axis, and considers the "moments"
mn = f ab w (x) x n d x . Set
m0 mI ... mn_ 1
Next, we recall that the polynomials with real coefficients form a vector
space S over the reals. We define an inner product on S by setting
(f,g) = I ab w(x)f(x)g(x)dx.
these conditions, i.e. (pn,Pm) = 6nm, is called orthonormal. One may show (see [if6],
2.2.6) that
m0 ml "'" mn l
ml ?2 .mn+l
i
-1/2
Pn(X) = (An_ 1. An)
mn - 1 nln m2n- 1
1 x xn
rfa) b n n
n 0 r(a+n-1) (- ~) and l e t pn(Z) = ~ cmzm be an a r b i t r a r y polynomial of degree n.
= m=O
~Titten successively, as f o l l o w s :
n+k+l
[ (_l)rbr n! ( n + r - k + a - 3 ) . . . ( n + a - 1 ) r ( a )
r=k+l (r-k-1):(n-r+k+D~r-k-lr(a+r-1)
so that
(1) Mk(Yn,p ) =
r(a) r (k+l)
Mk(Yn;P) = (-b)k+l r(k+a+n)r(k+l-n)
Our claim concerning the sum may be well-known (see e.g. [68], p. 113); however,
as no reference appears to be readily available, a proof of the claim follows. It
is based on two lemmas, the first of which is indeed well-known.
t
k-n (k).
LEMMA i. (see (3.4) in [ZO]). ~. (n)(t_v) =
v=0
28
k n k-n
Proof. Z (k) xt = ( x + l ) k = ( x + l ) n ( x . l ) k - n = Z (n) xv Z ck-n)xWw
t=O v=O w=O
k k n
n k-n
Z xt Z (~) (k-n)w : Z xt Z (v) (t_v)
t=0 v+w=t t=0 v=0
O~v~n
O~wgk-n
and the lemma follows from the comparison of the coefficients of x t in the first and
last member.
r(k-s+l) n 1 v n (t-s)...C-s)
lim
s-~t
f(-n-s) = lim
S-~t
(t-s) (t-l-s).
""
(-s) r(-s) v=O
[ (-) (v) (k*v--~n-sS_::~-s)
t
7 V n t (t-l)... (t-v+l)
= r(k-t+l) lira ~ (-1) (v) (k+v-n-t)' '
S+ t v=O
because for t < v _< n , -s < t - s < v - s and t h e v a n i s h i n g factor of the numerator is
not cancelled by a c o r r e s p o n d i n g factor of the denominator. It follows that
t 1 v n t. w (k-t),t, t 1 r n k-n
lira f(-n-s) = r(k-t+l) Z (-) (v) (t-v)!(k+v-n-t), = (k-n) l Z (-) (v)(t-v)"
s ÷ t v=O v=O
Proof of Theorem i. In the sun in (I) set a-I = x. The sum becomes
n
(-l)V(~)(n+v+x-l)...(n+x).(k+v+x-l)...(k+n÷x)
v=0
n 1 v n (k+n+x)(k+n+x=l)...(k+v+x)...(n+v+x)...(n+x) _ k2
= [ (") (V) (k+v+x) (n+v+x) (k-n)!
v=0 "'"
COROLLARY i. (see (57) in [68]; also Lemma 16.1 in [80]). For 0 f k < n,
Mk(Yn(Z;a,b);p) = 0.
Formally, the corollary follows immediately from Theorem I. It can also be
verified directly. Indeed, now we obtain instead of (I):
n
~ (yn,p) (_b)k+l [ v n (n+v+a-2) . . . (n+a-l)
= (-i) (v) (k+v+a-l) (a+l)a
v=0 "'"
n . 1"v'n" n+v+x-i
This sun vanishes for k < n. Indeed, let F(y) = [- ) [vjy ; then
v=0
~n-k=l F n
8yn-k--------~= v=0[ (-l)V(~)(n+v+x-l)'''(k+v+x+l)yk+V+X"
The sun to be evaluated is the last one for y = i. On the other hand,
n+x-l-s.. .n-t
asy If-y) and vanishes for y = i, because n-t > n-(n-k-l) =
s+t=n-k-i
k+l > 1.
By taking for a a natural integer and, in particular a = 2, we obtain from
Theorem I the following corollaries:
(a-l) !k!
Mk(Yn(Z;a,b);p) = (_b)k+l
(k+n+a-l)' (k-n) ! "
k!
COROLLARY 3. (see [68]). For a = 2, Mk[Y n (z;2,b);p) = (-b)k+l (k+n+l) ~ [k-n) :
(_l)n(b/z) n e-b/z
REMARK. For a = 2, p[z;2,b) = n! = so, that Corollary 3 may be
n=0
rephrased as
1
zkyn(Z;2,b)e-b/Zdz = (_b)k+l k'
; the integral vanishes for
2~i $1z]=l (k+n+l) .'(k-n) '
k<n.
i
2~i I[zl=l Yk(Z;a'b)Yn (z;a'b)0(z;a'b)dz = 0.
k
Proof. Let k < n; then yk{z;a,b)__ = [ flkjzm,:
~ with 0 < m < n; hence, the result
m
m=0
follows from Corollary I.
1 ~ bn! r (a)
2~i IIzI=l y (z;a,b)p(z;a,b)dz = (-i)n+l 2n+a-i I" ( n + a - l ) "
1 2 2
COROLLARY 7. [see [68]) 2~1 IIzI=l Yn (z)e-2/zdz = (-l)n+l - -
2n+l "
(-bz) r -2 -bz
For a = 2, pl(Z;2,b) = z -2 [ r! = z e and we obtain
r=0
(_2) k+l k!
COROLLARY ii. For a = b = 2, Mk(@n,Z-2e -2z) (k+n+l) ~ (k-n) ' "
i ii z (z-kOk(Z;a,b))(z-nOn(Z;a,b))Pl(z'a,b)dz = 0
2~i I=i ' "
COROLLARY 14.
1
2--~/izl=l (z -n@n(Z)) 2z-2e-2Zdz = (-l)n+l 2
2n+]
ai3 (-bz) r
(-l)ab2-a(a-l) ! llzl= 1 z-a-k-nek(z;a,b) en(Z;a,b)(e-bZ- - - ) dz
r=O r~
= (_b)2-a(a_l)~ I I z l = 1 z-a-k-nOk(z;a,b)On(Z;a,b)e-bZdz.
1 Yl z i= 1 z
-a-k-n.. (_l)n+a+lba-1 n!
2~i Vk [z ;a,b)en(Z ;a,b)e-bZdz = (2n+a-l).(n+a-2)!'
COROLLARY 16.
1 ii -a -k -n = ( l)n+a+iba-i n!
2~i zi=l Z (z ¢k(z;a,b))(z %(z;a,b))dz - (2n+a-l]-(n+a-2)
if k = n, = 0 if k # n.
i 2
In particular, ~ /izl= I z-2(z-nCn(Z))2dz = (-I)n+l 2n+l "
33
Note added August 30, 1978. In the present chapter we discussed only the orthogona-
lity on the unit circle and the corresponding moments. In fact, it was known from
general considerations, going back to the work of Stieltjes, that a function ¢(x),
of bounded variation, ought to exist, such that f~
_~ Yn(X)Ym(X)d$(x) = 0 should hold
for all integers m ~ n, with the integral taken along the real axis. Unfortunately,
no such function ~(x) was known.
At the moment of shipping the present typescript to the publisher, the author
receives a (handwritten) manuscript by A.M. Krall, with the following important
results.
Define the function ~ (x) by
4. f-Z Yn(X)Ym (x)d~(x) = (-l)n+126mn/(2n+l), where 6ran stands for the Kronecker
delta.
5. For (a,b) # (2,2), these results generalize as follows:
i. In Chapter 2, the BP have been defined as the polynomial factors of the Bessel
functions K (z) of half-integral order. In fact, it follows from (2.5) with
so that
Many of the properties of BP can be obtained in the easiest way from (i), by using
known properties of the much studied functions Kn+I/2(z). This, however, is not
the only possible point of view. The BP may also be considered as particular cases
of hypergeometric functions, (see, e.g., [90], [2], [3]) of Laguerre polynomials [3],
of Whittaker functions [2], or as limiting cases of Jacobi polynomials [2]. They
also may be defined as partial quotients of certain continued fractions (see [83]),
or, as seen in Chapter 3, as determinants of some simple matrices (see [85]).
While the identity of all these definitions is easy to establish, some of them
are more convenient than others for the proof of specific properties of the BP.
In the following sections of the present chapter we shall present the connection
of the BP with hypergeometric functions, with Jacobi and Laguerre polynomials,with
Lommel Polynomials and with the ~ittaker functions. The connections with continued
fractions will be discussed in Chapter 8.
These connections with well studied functions have been used by many authors,
in order to prove specific properties of the BP in the most convenient way.
2. Let
(al)m(a2)m...(ap) m
® zn
p F q ( a l , a 2 . . . . . ap; b l , b 2 . . . . . bq;Z) = 1+ m~1 (bl)m(b2)m" (bq) m m--i- '
where ( a j ) m = a j ( a j + l ) ( a j + 2 ) . . . ( a j ÷ m - 1 ) , and b l b 2 . . . b q ~ 0.
(n+m) ! m
so that the general term of 2Fo(-n,l+n;-;-z/2) reads Z .
2m(n-m) .m.'
'
Just as the well-known theory of Bessel functions can be used to obtain proper-
ties of BP from (i) so the equally well-known theory of hypergeometric function can
be used for the same purpose, on account of (3).
This has indeed been done successfully (see, e.g. [3], [2], [112], [90], [15],
[47], [88], [89], [95]). In this context, it is convenient to recall also that
3. We recall that the Jacobi Polynomial Pn(a'B)(z) may be defined (see [90], p. 254)
by
(i+~) n
p ~ a , 6 ) (z) = n-----~ 2Fl(-n,l+a+B+n;l+e; (l-z)/2).
2Fl(-n,l+a+8+n;l+a;(1-z)/2) = 2Fl(-n,a+n-1;X;-X(y/b))
r(x)r(n) p(X-l,a-X-1) ( l + 2 X ( y / b ) ) .
= n r (n+X----------~ n
n (- 1)m(l+a)n xm
Ln(a) (x) = Z m~ (n-m)
m=O "! (l÷a)m °
n (-2n-a+2)n 2m -m
I t follows t h a t h(-2n-a+l)(2/Z)n = X ( - i ) m m!(n_m),,(_2n+2_a)m z
m=O
and
n
(-l)m+n2 m-n ( - 2 n - a + 2 ) ( - 2 n - a + 3 ) . . . ( - n - a + l ) n , , z n-m
m! (n-m) .'[-2n+2-a) (-2n+5-a) . . . (-2n+m-a+l)
m=0
n
(2n+a-2)(2n+a-3)...(n+a-l)n! (z/2)n-m
m,,(n-m)!(2n+a-2)...(2n+a-m-l)
m=0
n
X (2n+a-m-2)...(n+a-l)n! (z/2)n-m
m=0 m,,(n-m)!
(n+k+a-2)... (n+a-l)n! zk
k=0 k ! (n-k) ~2k
@n(Z ) = (_l)nn~2-nm(-2n-l)(2z).
n
e-Z/2z k ~ (m2-(k-i/2)2)(m2-(k-3/2)2)'''(m2-(k+i/2"r)2) + R;
Wk,m(Z) = 2 r -
r=O r z
Wk -k+i/2+n(Z)
= e-Z/2zk ~ n(n+l-2k)(n-1)(n+2-2k)...(n-r+l)(n+r-2k)
r
r=0 r!z
yn(Z;a,b) =
e b / 2 z (z/b)l-a/2Wl_a/2,(a_l)/2+n(b/z).
yn(Z) = el/ZW0,n+i/2(2/z ).
38
1
Rn,v(z ) = ~ ~z cosec n~ {Jn+v(z)J_~+l(Z)+(-l)nj_v_n(Z)J _l(Z)} .
If one replaces here the functions Jm(Z), for m = k + ½,half an odd integer, by
7. We formalize some of the results obtained so far in this chapter in the following
theorem.
(x) Sn(Z ) = ( - 1 ) n n ! 2 - n a ( - 2 n - 1 ) ( 2 z )
n
case of Jacobi Polynomials, but can also be defined by the generating function
n
(7) (I-2zx+z2) -I/2 = ~ Pn(X)Z .
n=0
If P(r)(x) stands for the r-th derivative of PnfX~,.. then the following theorem holds
n
n
THEOREM 2. yn(Z) = [ p~r)(1)zr;
r=0
n
@n(Z) = I P~r)(1)zn-r
r=0
The two statements are, of course, equivalent, on account of (2.10). Both are
immediate consequences of
This lemma appears to have been known to I. Schur, but this writer is unable to
locate a reference in Schur's work. However, many essentially distinct proofs are
known, by N. du Plessis, [48], E. Rainville [S0], I.N. Herstein [51], and this
writer [ZS], among others. Here is the particular simple one due to du Plessis:
We differentiate (7) r times with respect to x and obtain
co
co
For x = i, the right hand side of (8) becomes ~ P(r)(1)zn and Lemma 2, hence
n
n=O
Lemma i and Theorem 2 follow b y c o m p a r i s o n o f t h e c o e f f i c i e n t s o f zn i n (8).
CHAPTER 6
GENERATING FUNCTIONS
= {a~l)(l_2zt)-l+a~l)z(l_2zt)-3/2}f(t,z),
where f(k) it,z) = __~kf and where the a (j) are the coefficients of y~ iz), as given by
~t k m J
i2.8).
k-i
+ fit,z) ~. a ( k ' l ) z m + l ( k + m ) ( 1 - 2 z t ) -(k+m+2)/2
m=O m
k
= fit,z) ~ (a ( k - l ) + (k+m- 1) a ( k - l ) z m i l - 2 z t ) - (k+m+l)/2
m m-I
m=O
k
f(k+l) (t, z) = f(t,z) a(k) zm(l-2zt) - (k+m+ I)/2
m
m=O
and this is precisely (I), with k+l instead of k. The Proposition is proved.
It follows that the function f(t,z) is a generating function for the polynomials
Yk_l(Z). By differentiation with respect to t we obtain (see [17]):
(2) ~f
~t - (l-2tz)-i/2f(t'z) = ~ tkyk (z)/k'
k=0
The ~nction ~f/3t is, therefore, a generating function for the yk(z).
-i.
or, replacing z by z
co
(l_2tz-l)-i/2exp{z(l_(l_2tz-l)I/2 } = ~ (tz-l)k@k(Z)/k! .
k=0
We now denote tz -I by v and this leads to
(4) (l-2u)-le2ZU =
[ {2u(l-u)}kOk(Z)/k! .
k=O
Burchnall calls this a pseudo-generating function for @k(Z ).
co
{l-2vz) 2 and we obtain the following generating function for the polynomials
yk(z;a,b) :
(6) (i-2tz) -1/2{ [i+ (l-2zt) 1/2]/2 }2-aexp{ (b/2z) (i- (l-2t z) i/2)}
oo
4. Burchna11's generating function has been generalized by Rainville (see [89] and
[90]), as follows:
Let
(l-4xt) -1/2{1 [l÷(l-4xt) 1/2] }l-CpFq (C~l,C~2 . . . . . C~p;81 , 82 . . . . . gq; [2t (1+ (1-4xt) 1/2) -1] )
(7)
[ ~n(z)tn (~l)n...(~p) n
n=O n! (61)n...(Bq)n "
Burchnall's generating function (6) is essentially (7) with p = q = 0, c = a-l,
= ~ On(X)(C)ntn/n~ •
n=0
function for the yn[Z;a,b), with z = bx, a = c+l, and the same b.
5. W.A. AI-Salam [3] uses two generating functions for Jacobi Polynomials due to
Feldheim [16] and the relation between BP and Jacobi Polynomials (see Chapter S),
44
in order to obtain (in a slightly different notation and somewhat lesser generality)
the generating function
By using the connection with Laguerre Polynomials (see Chapter S) and known
generating functions of these polynomials, AI-Salam [3] also obtains
(ii) (l+tz/b)e-2exp{t/(l+tz/b)}
=Z tn Yn (z;~-2n,b)/n! "
n=0
One may observe that the parameter c in the first member is idle and can be replaced
by 2• provided that one then sets Z = 2z/(b-tz). It also may be worthwhile to
observe, that in the second member the subscript of all BP is n, while the "a"-para-
meter varies, depending on k and the sum is over k.
Ai-Salam gives also several• rather complicated bilinear generating functions•
as well as the formal (no convergence) generating function
(13) L~ (n+a-2
n ) t n yn(Z;a,b] ~ (l_t)l-a2F0(a-12 , ~a ,. -,. - bzt
- )
n=O (l-t) 2 "
.n-2m-l. n
(13') [ n ) t yn(z;l-2m,b) ~ (l-t)2mym(-4zt(l-t)-2 ; ~3 -2m,b).
n=O
For a = 2, on the other hand, (13) reduces (see [3]) to
I bzt
(13") ~ yn(Z;2,b)t n -~ (l-t)-12Fo(~ ;1;-; 2) ,
n=O (I-t)
From these formulae corresponding ones for en(Z;a,b) can be obtained by simple
manipulations.
A somewhat different generating function, involving Hermite polynomials is
found in [3], (6.13). It can be obtained by setting a = l-k in (13) and inter-
changing n and k. With some simplifications (also some misprints in [3] need correc
tion), this reads
(_l)k(~)tkyk(Z;l_k,b) = e - ~ i n / 2 ( t z / b ) n / 2 H n ( ~ (~)i/2).
k=0
6. Brafman [15] considers the Cauchy product of the series representations for
1 1 (t-(t2-4xt)i/2), obtains formally
2Fo(~,c-~;-; ~ (t+(t2-4xt) I/2) and 2Fo(~,c-~;-;
a sum over 3F2's, transforms the latter by use of a formula of Whipple [65] and
Z cntnyn(-bx,c+l,b),
n=0
where en = Cn(=,c ) = (~)n(C-~)n/n:. If ~ = -m, a negative integer, then also the
Ym(Zl,C+l,2)Ym(Z2,c+l,2),
We may observe that in this case the second member reduces to a finite sum,
because now (S)n = (-m)(l-m)...(n-m-l) and vanishes for n > m, and the formal
equality becomes an actual one (see [3] in somewhat different notations) and reads:
m
(15) ym(Zl, a, 2)Ym(Z2, a, 2) = [ [.m-n+l.
n )(a+m-n)ntnyn(-bx'a'b)'
n=O
with previous values for z I and z 2.
7. Carlitz [19] starts from Corollary 2, sets %(z) = znyn_l(z-l) = Zen_l(Z) and
observes that Corollary 2 can be written as
46
If we replace in (17), z by z -I, so that fn(Z -I) = znyn_l(Z ) and then set 2uz -I = x,
(17) becomes (see [68])
(18) eZ = Z (z-xz2/2)nyn_l(x)/n! •
n=O
In this surprizing formula, the right hand side is in fact independent of x and, for
x = O, it reduces trivially to the left hand side.
By using Brafman's formal equality (14) in the case c = i, Dickinson [47] obtains
a generating function for the modified Lommel polynomials.
Here we have reached a point, where Jt is debatable, whether we are still
dealing with generating functions in their original sense. Formulae like (17), or
(18), may be considered more properly as belonging to the theory of representation
of functions by series of BP, a topic that will be discussed in Chapter 9.
8. This chapter would be incomplete without the mention of a most important general
method that permits us to obtain a large number of generating functions, among them
most of the previous ones. It is based on the theory of Lie groups. It is, unfor-
tunately, not possible to develop here the complete theory and the interested reader
is advised to consult, e.g., the excellent presentation of the method in [73]. The
method has been introduced by L. Weisner [62], [6~], [64] and probably the clearest
presentation of the basic idea is still the one of [62]. On the other hand, the
only complete presentation knoml to the present author of all details needed for
the non-specialist is to be found in E.B. McBride [73]. A somewhat different approach
can be found in the work of S.K. Chatterjea [35], and M.K. Das [43].
Following Weisner [62], we consider a linear, ordinary differential equation,
that depends also linearly on a (not necessarily integral) parameter ~, say
d
(19) L(x, ~-~ ,~)v = 0,
u(x,y) = yBv (x) is a solution of (19). Let now, in general, u = u(x,y) be a func-
tion of the two independent variables x,y that satisfies ~ u = au; here we have set
Y
~y = y ~ , in analogy with the notation of Chapter 2. By the linearity of
L ( x , ~-~
d , e) i n ~, a n d b e c a u s e By.ye = ~ y ~ , i t follows that a function u(x,y), that
47
If, furthermore, the series converges sufficiently well so that a termwise applica-
~ d d
L ( x , ~-~, 6 y ) ( g a ( x ) y ) = 0, w h e n c e L ( x , ~-~ , a ) ( g a ( x ) y a) = y ~ L ( x , ~-~ , a ) g a ( x ) = 0,
solutions of (19).
The d i f f i c u l t y of this approach consists in the fact that most usual methods for
the solution o f (20) lead to solutions of the form u = g(x,y) = g a ( x ) y a and sums o f
In general, however, a rather careful study of the Lie algebra, its commutation rela-
tions, conjugacy classes of operators, etc., is needed (see, e.g. [62], [63], [g4],
[73]).
As an e x a m p l e ( s e e [73] and [ 4 3 ] ) , l e t Un(X ) = x l / 2 e - 1 / X y n ( X ) , w h e r e Yn(X) i s
2 8
confusion with Yn(X)). We o b s e r v e t h a t R = et(x ~ + x ~x) is a right shift operator
for F . Indeed,
n
R-Fn = e t { x ( n + l / 2 ) e ( n + l / 2 ) t U n + X 2 e ( n + l / 2 ) t U n }
Rnx = 1 . 3 . 5 . . . ( 2 n _ l ) e n t x n+l
1 ~ (2~xet)n t - 1
= t + [ n = ~ log (1-2~xe t) = tl, say.
n=l
exp{(m+i/2)(t-i/2 log(l-2mxet))}{x(l-2mxet)-i/2}I/2.
exp{-(1-2x~et)i/2x-l}ym(x(l-2x~et)-i/2 )
= exp{(m+i/2)t}(l_2~xet)-(m+I/2)/2xl/2(l_2x~et)-1/4
• exp{-(l_2x~et)i/2x-l}ym(x(l_2xmet)-I/2)
49
(23) (l-2x~et)-(m+l)/2exp{[l_(l_2x~et)i/2]x-l}ym(x(l_2xmet)-i/2)
n nt
L
n=O
n: Yn÷m(x).
tn
(l-2xt)-I/2exp{[l-(l-2xt)I/2]x
-I} = [ ~ Yn (x),
n=O
which is, of course, precisely the generating function (2) of Burchnall.
Instead of the right shift operator, we could have used, of course, the left
shift operator
On the other hand, we may verify that JR, L] = RL - LR = 0, so that these operators
commute and e K = e uB+vL = eUBe vL, with u,v any two independent variables. By pro-
ceeding with K as we did before with R, we now obtain (see [43])
unv k
= [ ~ Ym+n-k (x)"
n,k=o " "
In the second member, for k > m+n, Ym+n_k(X) has to be interpreted (see (2.12)) as
The generating function (2) had been obtained also by S.K. Chatterjea [35] by a
very similar approach but after he first reduces equation (2.11) to its Sturm-Liou-
rifle form
d
d-~ {p(x)u'} + l¢ (x)u = O.
In a somewhat different notation and by following very closely the exposition in [73],
Ming-Po Chen and Chia-Chin Feng [39] obtain the following generating functions:
(bt) k
(l-xt)nebtyn(Z;a'b) = ~ k! Yn (x;a-k'b)'
k=l
x
with z = ~ , which is essentially the same as (12); and
50
9. In addition to the generating functions presented here, one finds either different
ones, or different proofs for those discussed here, in the following papers: [3],
[109], [46], [36], [76], [77], [78], [79], [16], [30], [31], [44]. See also
Chapter 15.
CHAPTER 7
FORMULAS OF RODRIGUES' TYPE
d
i. In Chapter 2, by use of the differential operator 8 = z ~ , that is by following
essentially Burchnall's [17] method, we obtained the Rodrigues' formula (2.40), i.e.:
its particular cases from (i), (i'), (I"), simply by writing 1/z for z and then
S). For that reason and also in order to present a variety of approaches we shall
start out differently and follow essentially [68].
2. We shall need some known facts, which we state as Propositions and, in order to
make the presentation selfcontained, we indicate short proofs of them.
Let C be the unit circle [z I = I and let w(z) be a weight function. With
respect to w{z) we define the k-th moment of the power zj by
i
2~---{ IC W(Z) zkun(Z) dz = 0 for k = 0,I ..... n-i define a polynomial Un(Z ) uniquely,
n
Proof. L e t Un(Z ) = [ a.z j with a = 1; t h e n the i n t e g r a l equals
j=O ] n
n n
[ aj l
~-~ f C zk+Jw(z)dz = Z ajmjk and the conditions become
j =o j =o
n-I
Z ajmjk = -anmnk = -mnk (k = 0,I .... n-l). The determinant of the coefficients
j=0
aj (j = 0,I ..... n-l) is An(W) and, by assumption, An(W ) # O. It follows that the
1 " 1 zk+j 1 ~)
Proof. mjk = 2-~ fC zk+Je-2/Zdz = ~ fC (r=O
~ ~' ( r)dz
(-2) r 1
r~ 2~i IC zk+j-rdz"
r=0
The inversion of the summation and integration is easily justified. All inte-
grals vanish, except one, where k+j-r = -I, that is, r = k+j+l, and this equals
2~i; Proposition 2 is proved.
from which An(W ) # 0 follows trivially. For a proof of this formula, see [25].
COROLLARY l.The conditions f C e-2/Zzkun(z)dz = 0 for k = 0,i ..... n-I define a poly-
PROPOSITION 4. Un(Z ) = e 2/z - -dn (z2ne -2/z) is a polynomial of exact degree n, with
dz n
Proof. d-~d (z2ne -2/z) = 2n z2n-le -2/z + 2z2n-2e -2/z = e-2/Z(2n z 2n'l + 2z2n-2) ",
53
this is the instance m = 1 of the general statement d m (z2ne -2/z) = e-2/ZP2 n m(Z)
dz m - ,
where P2n_m(Z) is a polynomial of degree 2n-m. One completes the proof by induction
LE~MA l.The first n moments of Un(Z), with respect to the weight function
dn n 2u n-u
(z2ne -2/z) = ~ (-i) u ~., (2n-~)(2n-l-u)...(n+l-9)z
dz n ~=0
+ ~ 2~
9=2n+i 9--~ (~-2n)(~-2n+l)'''(~-n-l)z-~+n"
decreasing powers, that starts with z -n-I It also follows that fk,n(Z) =
k dn
z (z2ne -2/z) is the sum of a polynomial of exact degree k+n and of a series of
dz n
decreasing powers starting with zk-n-l. Consequently, for k = 0,1,...,n-l, the
residues of fk,n(Z) vanish, so that
On the other hand, we know from Corollary 4.4 that f C e-2/Zzkyn(z)dz = 0 for
k = 0,1,...,n-l. From Corollary 1 it now follows that Un(Z) can differ from yn(Z)
Also (see Chapter 2) the constant term of yn(Z) is 1 and Theorem 1 is proved.
A somewhat different proof of the Lemma may be given, following [68]. It
depends on the remark that all functions involved are uniform. We proceed by
integrating around C, say, from +i to +i and use integration by parts. All integrated
terms vanish, because they are singlevalued. Specifically,
dn-r dn'r-I +i
(-l)rr! fc dzn-r (z2ne-2/Z)dz = (-l)rr' dzn-r-----~(z2ne-2/z)]+l = 0.
b-nz2-aeb/Z dn (z2n+a-2e-b/z).
(2) yn(Z;a,b) = dz n
For a = b = 2, (2) reduces to (2"). It also is clear that not much generality is
gained by allowing arbitrary values of b # 2. One could well consider instead of
(2) simply
dn dn k k k
{xC(x-1) k} = X (-1)S(s)xC+k-s = (-1) s (ks) (c+k-s) ( n ) x c * k - s - n .
dx n dx n s=O s=O
k
s k (n)
For x = 1, in p a r t i c u l a r , t h e second member becomes [ (-1) (s) (c+k-s) On t h e
s=O
n dn-r dr
o t h e r hand, by L e i b n i z ' s r u l e , the f i r s t member equals r=O[ (;) ( d x - - ~r xC) ( J (x-1)k)"
k
integers n,c,k, k < n, [ (-1)S(s)1" ( c + k - s ) ( n ) = nkkJc
k n - k "J ~ " " and t h a t t h e sum
s=O
vanishes for k > n. For c = 2n+a-k-2 this is precisely the Lemma.
4. From the Rodrigues' formula (i) for @n(Z;a,b) immediately follows the correspond
ing formula for Cn' namely:
@n(Z;a,b) = C n ( Z , a , b , b / 2 )
• = ( _ l ) n b - n e z b / 2 z 2n+a-1 dn ( z - n - a + l e - b Z ) ;
dz n
S. In Section 1 it was suggested that a natural way to obtain Theorem 1 and 2 would
be to use (i), already known from Chapter 2, and the relation yn(Z) = zn@n(z-l).
In the present section we shall sketch such a proof and similar ones. We shall show
that they require certain combinatorial identities and they may appear less trivial
t h a n one may have e x p e c t e d .
We a l r e a d y know (see ( 6 . 2 ) ) that
(-i) k (-i)
- - (r
k)(l-2tz)(r-l)/2 = Z Zkk (k) 7. (_l)m 2mzmt m
k=O k!z k r=O k=O k! r=O m=O
r-I
= ~ (_l)mtm.2mz m k~O (-l)k ~ (r
k) (7) = ~ Cm tm
m=0 = k'z k r=0 m=0 "
dn ~ 2k dn 2n-k
However, - - (z2ne-2/z) = ~ ( - 1 ) k k! z
dz n k=O dz n
>_ ~ ( ) = 2k(k-2n)(k-2n+l)...(k-n-1).
r=0
This formula appears to be new. The closest result available in the literature
seems to be Carlitz' formula (see [ZO])
i k .k-n-l.2k-2n (n ~ O)
(5') k k r/2 = ~ [ n-I )
(r) ( n )
r=0 = 2k (n = 0)
In fact (S) and (5') can be obtained from each other, but not trivially [22].
Both are particular cases of sums of the form
k
(+ l)r(~)((k+~ )/2) (a = i or 2, s = rational integer)
r=0
studied by H.W. Gould [21].
We have proved the purely combinatorial identity (5), valid for all integers k,
by using Rodrigues' formula (2"). Conversely, however, if one knows that (5) holds
(and (S) can be proved also directly, although not trivially - see [22]), then one
can trace all steps backwards and one obtains the Rodrigues formula (2") as a
consequence of the generating function (6.2) and (5). This is perhaps a rather
58
artificial procedure and for this reason we abstain from proving (2), by starting
similarly from the generating function (6.6).
Finally, let us see how one can obtain (2") from (i"). By (2"),
with the help of (I") and suppress common factors, we obtain the identity
dn dn (z-n-le-2Z)
(6) { d ~ (u2ne-2/U)}u=I/z = (-l)nzn+l dz n "
{ ~( kk!u
(-1)n22nn:un k=O (-1)k
r k) r=O
~~ }u=l/z (-1)n22nn' k=O
~ (-1~ zk-n r=O
~ (k)C~2
~n //
Assuming once more that (5) holds (this was already needed in order to estab-
lish (4) directly), (6) becomes
dn co (-1)k k-2n-12k-2n(k-n-l)
(7) dz n (z-n-le -2z) = 22nn! ~ ~ z
k=O
= ~ (kl~)k 2k dn zk-n-i = 2k
~ (-l)k ~. (k-n-l)(n)z k-2n-I
k=0 dz n k=0
,2k (k-n-l) (n)
The coefficient of zk-2n-l on the right side of (7) equals (-l)k nk,
n:
so that (6) is indeed an identity. As already pointed out, (6) and (i") imply (2").
This method, however, requires the use of the combinatorial identity (5) and is
hardly easier than the direct proof.
It is clear how one can prove the more general result (2), by starting from (i)
instead of (i") and making use of (5), but we abstain from reproducing it here.
CHAPTER 8
THE BP ~ND CONTINUED FRACTIONS
I. Let [a0,a I .... ,an .... ] stands for the continued fraction
1
a 0 + al + ...
+
1
m
a
n+...
of partial quotients an and denote the n-th convergent [a0,a I .... ,an] by pn/qn , where
function
e 2/z + 1
(i) -~7~/z - 1
e = [z, 3z, Sz ..... (2n+l)z .... ],
known from the work of Lambert [4Z], (see also [~$]). See [83] for a recent proof.
If we denote the numerators and denominators of its successive convergents by
pn(Z) and qn(Z), respectively, we find, e.g.,
It is well known (see, e.g. [47]) that pn(Z) and qn(Z) can both be obtained, for
where one has to start with the initial values p0(z) = z and pl(z) = 3z2+I for
pn(Z), and with q0(z) = i, ql(z) = 3z for qn(Z). In either case an = (2n+l)z, as
One may observe that (2) actually holds also for n = i, provided that one defines
p_l(Z) = I, q_l[Z) = 0. One is led to make the following remarks:
[i) All powers of z that occur in qn(Z) are of the same parity, which is that
of n, and all powers that occur in pn(Z) are of the parity opposite to that of n.
This is verified directly, on above examples, for n = 0,1,2, and holds in general
by induction on n, on account of (2).
60
(ii) p0(z) + q0Cz) = z+l = YlCZ); PlCZ) + qlCz) = 3z2+l+3z = Y2Cz), and also
p2(z)+q2(z ) = Y3Cz). The identity pn(Z) + qnCz) = Yn+l(Z) holds, therefore, for
This statement holds, as seen, for n = 1,2,3, and, with previous convention,
p_l(Z) = P0(z) = I, q_iCz) = Q0(z) = 0, it is verified to hold also for
If we assume that Theorem 1 holds for all subscripts up to n, then (3) yields
by the induction assumption. But, by (3.7), the right hand side equals Yn+l(Z), so
that Theorem 1 holds also for n+l, as claimed.
In this decomposition of yn(Z), Pn(Z) is the polynomial containing all the terms
of yn(Z) with powers of z of the same parity as n, while Qn(Z) contains the terms
1 1
Pn(Z) = ~- {yn(Z)+(-l)nyn(-Z)}, Qn(Z) = ~- {yn(Z)-(-l)nyn(-Z)}. With this we have
proved
THEOREM 2. The n-th convergent of the continued fraction [z,3z ..... (2n+l)z .... ]
The lemma would follow immediately, if we knew that Pn(Z) and Qn(Z) are coprime.
This is indeed the case, both, in the algebraic sense (Pn(Z) and Qn(Z) do not possess
any non-trivial polynomial divisor) and in the arithmetic sense (for integer m, the
61
integers Pn(m) and qn(m) are coprime), as stated, e.g. in [II], p. 83, but it is
more convenient to prove the Lemma directly, without the need to invoke much classi
cal theory of continued fractions; the coprimality will then follow as an easy
corollary.
We verify that
so that the Lemma holds for n = 0,1,2. Let us assume that it has already been
verified for all subscripts up to n. One then observes that, by using (3) and the
induction hypothesis one obtains:
- Pn(Z)[(2n+l)z%(z)+Qn_l(Z)] = Pn_l(Z)%(z)-Pn(Z)%_1(z)
=_ [Pn(Z)Qn_l(Z)-Pn_l(Z)Qn(z)] = (_i)n+l
Proof. If d = (Pn(k)), Qn(k)), then d divides the left hand side of the identity
COROLLARY 2.
We recall (see [47]) that any real number falls between any two consecutive of
its convergents. More precisely, we have
Proof follows from the preceding remark and Corollary 2, by observing that
e2/X+l
Pn(X)/Qn(X) is the n-th convergent o f - and that Qn(X)Qn+l(X) > 0 for x > 0
e2/X_l
COROLLARY 4. Regardless of the parity of n ar~ for all real x such that
Qn(X)Qn+l(X) ~ O,
follows from the fact that Pn(X)/Qn(X) is a convergent with following partial
quotient different from zero (in fact, by (i) a non-vanishing multiple of x); while
the second inequality follows from Corollaries 2 and 3.
e 2/x +i 2
We now observe that - - -i = - - and
e 2/x -i e 2/x -i
n
2 (-1) yn (-x)
I J- z ; - 1 %cx) I< l
Qn(X)Qn+l(X) , or, equivalently,
12 Q n ( X ) - ( - 1 ) n y n ( - X ) ( e 2 / X - 1 ) [ < (e2/X-1)/qn+l(X).
2~(x) = @n (X) -@n (-X ) so that 2Q(x)+@n(-X ) = @n(X). Next,by a previous remark,
[n~2] . x2 n
xn%+l (l/x) = j=0 c.x
) 2], so that (e2X-l)/xnQn+l(i/x) =
This value is here without further relevance, except for c O ~ 0. If Ixl is less
than the smallest zero of the denominator, it follows that the right hand side of (4)
Consequently, ~
also the entire function Rn(X) = @n (x) -@n (-x) e 2x, which, except
perhaps for sign, is the left hand side of (4), has a zero of order at least 2n+l at
x = 0. Let us replace here x by x/2 and set Rn(X/2) = Rn(X). The result obtained
Then (6) r e a d s :
x 2n+l
Rn(x) = A n(x) + Bn(x) e = x ~ c!x ~.
j=0 j
defined, are BP. In fact, a count of the number of constants involved shows that,
except for an arbitrary multiplicative constant, An(X) = @n(X/2) and Bn(X) =
-@n(-X/2) are the only polynomials of a degree not in excess of n, and for which
the linear form Rn(X ) has a zero of order ~ 2n+l at the origin.
CHAPTER 9
EXPANSIONS OF FUNCTIONS IN SERIES OF BP
the series "represent" f(z), under what conditions they converge and, if they do,
when do they converge to f(z). Even if the series do not converge, it may still be
possible to find summation methods, under which the series are summable to f(z).
Finally, one may raise questions concerning the uniqueness of such expansions.
The question of formal expansions into series of the BP yn(Z;a,b) has been
asked and answered already by Krall and Frink [68]. By using the orthogonality
I f(Z)yn(Z;a,b)p(z)dz = f ( [ CmYm(Z;a,b))Yn(Z;a,b)~(z)dz,
r r m=O
where P is any simply closed curve that encircles the origin, and p(z) = (2~i)-1e -2/z
if a = b = 2; otherwise O(z) = O(z;a,b), as defined in Chapter 4.
If r belongs to a connected domain on which the convergence of the series
i
2~i f f(Z)Yn(Z) e-2/Zdz = (-l)n+l 2 Cn'
v 2n+l
65
or
co
If we replace here the curly bracket by its value from Corollary 4.4, we obtain
" f(m)(o) m!
Cn = (-l)n+l(n+ 9 ) m~0= m~ (-2)m+l (m+n+l)!(m-n)!
In the sum all terms with m < n vanish; in the others we set m = n + v, ~ = 0,I,...
and obtain Nasif's [81] formula:
the series ~ CnYn[Z;a,b) converges, or even if it converges, that its sum is f(z).
n=0
The determination of necessary and sufficient conditions on f(z), for the convergence,
or the summability to f(z) of the series appears to be an open problem.
orthogonal on the unit circle, because the factor z-(m+n+a)e -bz is not independent of
the polynomials em and en involved. A somewhat different approach, however, permits
one to obtain expansions of entire functions in series of the polynomials en(Z;a,b).
It turns out that we obtain particularly simple results, if we set, at least provi-
2n
sionally, pn(Z) (=pn(Z;a)) = ~., en(z;a,2 ). In this case, the theory of generali-
zed Appell Polynomials, due to Boas and Buck [13], [5], permits one to obtain not
only the coefficients c n of the formal expansions, but also to determine the number
66
3. The fundamental ideas may be traced back, on the one hand to Whittaker [66], on
the other hand to the classical work of E. Borel, G. P61va,
• Phragmen
z and Lindelof
(see [32], vol.2 and [4]).
holomorphic in some neighborhood of the origin. Let ~ be the largest simply connec-
ted region containing the origin, in which A(w) is holomorphic, and let ~w ~ ~ be
to the univalence of g(w) we have a i:i correspondence between the points w e ~w and
the images ~ = g(w). In particular, let ~ be the image of fi and A be the image
w
of Aw, so that A ~ c _ ~ in the ~-plane.
z m w TM ~ n !f ~ m
1 IC (mE __~.t )(n ! w~l )dw = [ z I n !fn • 2-~
1 IC n-m+l
dw
2~i =0 0 m=O ~., n=O w
oo
= [ f zn = f ( z ) ,
n=O n
~-plane
w-plane W ~
(
Figure 1
functions f(z), such that If(z) I ~ Me alzl for finite, positive constants M, ~ and
all complex z. If T = inf a for which this inequality holds, f(z) is said to be of
exponential type T. By D(f) we denote the complement of the set of regularity of
the Borel transform F(w) of f(z).
We now define generalized Appell Polynomials pn(Z) by the generating function
(S) A(w)eZg(w) =
[ pn(Z)W n.
n=O
Two remarks are in order. The first is that the theory has been developed by Boas
and Buck [13] in a more general framework, in which the exponential function et is
and a comparison with (3') shows that the polynomials pn(Z) satisfy the differential
We now return to the general case. By use of the univalent map ~ = g(w), we
can reduce the general case to a more manageable one, close to the classical (4).
Indeed, let w = W(~) be the map inverse to ~ = g(w) and set A(w) = A(W(~)) = B(~).
To any compact set C ~ A ~ corresponds a class of entire functions f(z), such that
D(f) C C; let us denote that class by K[C]. Let F be a simply closed curve in A ,
We now set
largest disk centered at the origin, such that D 2 ~ ; let r 2 be the radius of D 2.
The following theorem holds and most of its assertions follow readily from the
preceding discussion.
n
THEOREM i. Let A(w) = [ an wn, a 0 # 0 and g(w) = [ gn w ' gl ~ 0 be holomorphic
n=0 n=l
in some neighborhood of the origin, with g(w) univalent on nw; let W(~) be the
function inverse to g(w), defined on ~ , the image of ~w' set A(W(~)) = B(~) and
Laplace transform F(~), and define the constants cn by (6). Then f(z) i8 repre-
defined as above and if the type • of f(z) satisfies r < r I, then f E K[C] for some
C~D[f) and the series converges to f(z). If T < r2, then the series is Mittag-
RE~RK i. These conditions insure convergence, or summability for all entire func-
tions of exponential type T, bounded by rl, or by r 2, respectively. However, what
one needs is only the existence of simply closed curves F, that encircle D(f).
Hence, for specific functions, for which D(f) is explicitly known, one can often
establish convergence, or summability, when the sufficient conditions T < r I, or
T < r 2 do not hold.
RE~RK 2. We abstain here from a proof of the Mittag-Leffler summability in the case
r I < r < r2, for which the reader may want to consult [13].
We observe that F(C) has an essential singularity at the origin (unless f(z) is
a polynomial, in which case T = 0 and F(C) has a pole at the origin), so that the
cn do not all vanish. B(~) may, or may not have zeros. If it has no zeros, then
a~y F selected as before, will lead to the same values for cn = in (f) and the series
obtained coincides with Whittaker's basic series [66]. If, however, B(~) has zeros
in A , outside D(f), then the values of the c n will, in general, depend on the set
of zeros of B[~) enclosed by F, so that the expansion of f(z) need not be unique.
Further different expansions may be obtained, if one selects F outside ~ (so that
70
{~1 [1+(1_4zt)1/2]}2-a(l-4zt)-l/2exp{[1-(l-4zt)
i/2]/2z} = Z Yn(2Z;a)-- tn
n!
n=0
zed) Appell polynomials, according to the definition (3). Let us replace, however,
t by w/z; we obtain
= Z
wl [l+(l_4w)i/2}Z-a(l_4w)-i/4exp{[l_(l_4w)i/2]/2z} i Yn (2z;a) wn
{~ n n!
n=O z
2n 1 ~ 2n @n((2z)-I a)w n
Z n! Yn (2z'a)wn = Z ~., ,
n=O (2z) n ' n=O
2n n
1 [l+(l_4w)i/2}2-a(l_4w)-i/4exp{z[l_(l_4w)i/2]} = Z ~., On(Z;a)w •
n=O
In order to insure that A(w) and g(w) are holomorphic, it is sufficient to insure
the singlevaluedness of (l-4w) 1/2. A convenient way to obtain this is to cut the
complex w-plane along the positive real axis from + 1/4 to ~. One easily verifies
that g(w) is also univalent in the cut plane; hence, the cut plane is flw and A w is
image of the boundary [1 < w < ~ of flw becomes 1 % i(4w-l) I/2 = 1 ; iv (0 < v < =)
in the c-plane. It follows that fl~ is the half-plane Re ~ < i. The function
w = W(~), inverse to g(w) is obtained from (l-4w) I/2 = i-~ l-4w = I-2~+~ 2
1 1
w = $ ~(2-¢). The image of Aw, i.e., of the disk lw] < T is, therefore, that part
of the inside of the lemniscate 1c(2-c) I < 1, that is contained in ~ , i.e., the
left loop of it. The lemniscate is symmetric with respect to the x-axis, which it
meets in the points ~2-2~± 1 = 0. For the plus sign we obtain the double point
71
t = i of the lemniscate, on the boundary of at; for the minus sign we obtain the
point of the lemniscate is closer to the origin than this vertex at _(¢r~ -I).
E-plane
w-plane D2 Re t = 1
4" -i 1 +/2"
= ~w
fit
Figure 2
The disk D 2 has the radius r 2 : I. A simple computation shows that B(t) = A(W(~)) =
2n
where Re g < i. It follows that the s e r i e s Cn@n(Z;a) has uniquely defined
n=O
coefficients c
n
. For f(z) = Z fn zn, Ln(f ) becomes successively
n=O
1 i ~n(2-g)n(1- t) 1 1
F ( ~ ) d ~ = - - - - I F ~n(1-g)(1-~/2)n+a-2F(g)d~
2~---i-IF ~ (1_~/2)2-a 2n 2~i
m!f
2nl 2~ii I F ~n(l-~)(l-~/2)n*a-2( --~)d~m =
m=O
1 ~ 1 (1-~)(1-~/2) n+a-2
2--
ff [ m! fm 2-~ IF m-n+l dE.
m=O
72
n+a-2
and the integrand becomes [ (-i) r -n+a-2) 1 1 }. The integrals
r=0 2r [ r { m-r-n+l m-r-n
vanish, except for m = r+n and m = r+n+l. The first case contributes
n+a-2
r=0
[ (-l)r2
r (n+~-2) fr+n(r+n)! ' while the second contributes
_n+i-2 (_i) r
r=0 2r (n+$ 2)fr+n+l(r+n+l)!, so that
°i i (1)r
c 2n 2-7-- !{fr+n-(r+n+l)fr+n+l}
n r=0
2n n
[ (-I)r (r+n)! (r+n+l)
n-T Cn = r=O 2 r r!(n-r)! {fr+n- fr+n+l }
C8) n
= [ (-l)ra~n)(fr+n-(r+n+l)fr+n+l),
r=O
n
with the a (n) given by (2.8), as coefficients of yn(Z) = ~ a (n) zr.
r
r=0 r
2n
a is a natural integer, the expansion f(z) = ~ ~., Cn@n(Z;a ) with the cn given by
n=0
[7) are convergent and converge to f(z), at least for entire functions f(z) of ex-
ponential type T < a - i . If Y < i, then the series is at least Mittag-Leffler sum-
mable to f(z).
k (-I) r k! k'
z = [ 2r r:(n-r)' 8n(Z) - [ (-l)r
n+r=k " n+r+l=k 2r r:(n-r)! en(Z)"
0<_r<n 0<r<n
In the first sum r < n < k-r, 0 < n-r <_ k-2r and the sum extends over 0 < r <_ k/2;
73
in the second sum, similarly, 0 < n-r < k-2r-i and the sum extends over 0 E r < (k-l)/2
Consequently,
In the second sum replace r+l by r, which will then run from 1 to (k+l)/2 and reads,
(~+1)/2 r
including sign, (-i) 1
r=l 2r-1 (r-1)!(k-2r+l)! @k-r (z)
= (~+1)/2 (_l)r.2r
ek_r(Z ). For 1 < r < k/2 we can combine the two sums.
r=l 2rr~(k-2r+l) l
Finally, we verify that for r = 0 and r = (k+l)/2 this general term represents pre-
cisely the omitted terms, the one for r = 0 of the first sum, and the one for
r = (k+l)/2 of the last sum, respectively, so that we obtain the final result:
k (k+l)/2 r e k - r (z)
(9) z = (k+l): [ (-1)
r=0 ,2rr!(k-2r+l)!
3 , 1 1 + __/__1 el(z)}
z = 4.{~-., e3(z ) 2-1!2! e2(z) 222!0,
= e3(z) - 6e2(z ) + 3 e l ( z ) .
If we substitute for ej (z) the corresponding polynomials (see Chapter 3) we verify
n r ar+n n n n
[ (-I) (l-a) _ (l-~)a (2)r
r=0 2r rI(n-r)! n! r=0~ (-l)r()
(l-a) (l-a/2)n~n/n~ .
the function eaz ~at happens for I~I ~ i? One observes that for s = I, the right
hand side of (i0) vanishes, while the function e z does not. Hence, although the
~Z
series converges for all a, for lal > 1 it does not converge to the function e
One may observe, for instance, that for a = 2, the sum of the series equals -i,
2z
which is different, in general, from f(z) = e
If we set z = 0 in (i0) and replace @n(0) by its value (2n) I/2nn2, we obtain
after a short computation that, for lal < i/2,
(ii) ~ (2n
n ) (a-a2) n = l__!___= [ 2mare.
l-2a
n=O m=O
i. In this chapter we shall be concerned mainly with properties of the zeros of the
respectively. W~enever possible (and convenient) we shall extend the results to the
diately by a change of variable and we shall usually refrain from writing out expli-
cit results for b # 2. Also, whenever possible the subscripts and/or superscripts
will be suppressed.
From
n
(1) z Yn(1/z) = 0n(Z) = eZCn(Z)
(or On(Z), en+l(Z), respectively) have a zero in comwnon. (c) No BP of even degree
has a real zero and those of odd degree have exactly one real, negative zero.
THEOREM 2. (see [53]). (a) All zeros of the BP yn(Z) satisfy [o~n)[ < I, except
for ~i) =-i; correspondingly, 18~n) l > i, except for 8~i) = -i. (b) The real
zeros °(2m-l)m o~. the polynomials Y2m_l(Z) form a monotonically increasing sequence:
76
THEOREM 3. ([17]; see also [62] and [2]). The zeros a r = a r(n) o f yn(Z) s a t 4 s f i y
the equations
n n
2m-i
(2) Z %:-i, Z % = 0 for m = 2,3 . . . . . n.
r=l r=l
n n
- l-2m
(2') Z ~rI =-l, Z ~r = 0 for m = 2,3 ..... n.
r=l r=l
It follows that
d
whence z (f'g - fg') = z(gf" - fg") = 2n(f'g - fg'), or, by integration,
While i r r e l e v a n t for our present purpose,we observe that (2.2b) and ( 2 . 5 ) lead to
lim z-2n(f'g-fg ' ) = 2 ( - i ) n+l and (3) shows t h a t this value remains unchanged for
Z ~
d - z -z d
d--{ (e Z e n ( Z ) ) - ( e e n ( - Z ) ) - ( e On(Z))- ~-~ (eZen(-Z)) = (-l)n+l.2z 2n. This simplifies
77
t o (see [17])
The coefficients of On(Z) are all positive. Hence, any real zero of 0n(Z) is negative
Let -a, -8(a > 0, ~ > 0) be two consecutive real zeros (assuming that such exist ).
Then (4) shows that
and similarly
e n C - S ) e n ( 8 ) = 2 ( _ l ) n + l B 2n.
As 0n(a ) and 0n(B ) are both positive, O~(-a) and @~(-B) have the same sign, which
is impossible for consecutive zeros. Hence, the assumption that there exist two
real zeros is false. Finally, the reality of the coefficients of en(Z) shows that
complex zeros occur as complex, conjugate pairs and Theorem 1 is completely proved.
n-i
consequently, {f(z)(1-z)] >- - j=O
[ (bj-l-bj) r j = f(r).(1-r) > 0 "
Maxj (bj/bj+ I) = O, minj (bj/bj+l) = o; then all zeros zk (k = 1,2 ..... n) of f(z)
n b.p j b.
Proof. Consider f(zp) = ~ bjpJz j = g(z). Then J 1 hence,
j=0 bj+ipj+l ~ ~ Maxj bj+l = i;
the coefficients of g(z) are increasing, those of h(z) = zng(I/z) are decreasing and
Theorem A applies to h(z). If u is a zero of h(z), i/u is a zero of g(z) and p/u
is a zero of f(z). By Theorem A, lul ~ i, so that any zero zk of f(z) satisfies
78
consideration of znf(~/z).
n+l
i
Proof. For a zero z, from f(z)(1-z) = - ~ (bj_1-bi)z~ = 0 follows
n+l
(bj-l-bj )z J = b o" For Iz[ = 1 also follows
j=l
n+l n+l n+l
l(bj_l-bj)zJl = ~ (bj_l-b j) = b o = i I (bj_l-bj)zJl.
j--i j=l j=l
Consequently, all summands have the same argument, i.e. (bj_l_bj)z j = pje ia ,
n+l n+l
real, pj > O. In fact, a = O, b e c a u s e ~ (bj 1-bi)zJ = e ia [ pj = b .
- j=l - " j =1 o
From bnzn+l = Pn > 0 now follows zn+l > 0 and Using also Izl = i, zn+l = i. Let
m be the smallest integer such that zm = I; then m divides n÷l and m >_ 2 (otherwise
n . n z-3
z = 1 and 0 = ~ b.z J = ~ bj > O, a c o n t r a d i c t i o n ) . From ( b j _ l - b j ) = pj > 0
j=0 J j=o
bm+ I = ... = b2m_l, etc. which proves the necessity of the condition. On the other
t km m-I "
hand, if the condition on the b.'s holds, then f(z) = ( ~ bkm z )( [ zJ), with
J k=O j =0
t = (n+l-m)/m, so that f(e 2~ir/m) = 0 for r = 1,2,...,m-l, and this proves the
a b
n-nl m _
satisfy [Bk[ >_ 1. Going beyond this, we v e r i f y that, r m = an-m-1 = bm+l
equals (m+l)C2n-m)/(2n-2m) > m+l >_ I, with equality only for m = 0, when r 0 = i.
Hence, equality can exist only between the first two coefficients. The sets of
consecutive equal coefficients required hy Theorem C reduce, consequently, to a
single set of two coefficients, so that n = i, when yn(Z) = 81(z ) = z+l, and when
we have indeed a I = 81 = -I.
The proof of Theorem 2(h) is based on (3.7). Let a (n) be the unique real zero
of yn(Z) (n odd). Then (3.7) with n-I instead of n and z = a (n-2) becomes
YnCa in-2)) = (2n-l)a(n-2)yn_l(a(n-2)). By Theorem i, ~(n-2) < 0 and Yn_ICa (n-2)) > 0
because n-i is even, Yn_l(Z) does not change its sign and Yn_l(0) = 1 > 0; consequent-
ly, }'n(a i n - 2 ) ) < 0, YnCa in)) = O and, by Theorem 1, yn(Z) > 0 f o r z > a (n), so t h a t
than 2n. Hence, by comparing coefficients in (S) for k odd, 0 < k-I < 2n, one has
n
O_k = 0. For k = I, by (S), 1 = -a_l. Consequently, ~ Bi-2mr = 0 for m = 2,3 ..... n,
r= 1
n
while 8 -I = -i. We recall also that the a ' s are the reciprocals of the _
8r'S
r r
r=l
and with this Theorem 3 is proved. For a proof of the converse, namely that every
8O
solution of the system (2) (or (2') consists of the zeros B$n) of @n(Z) (or a(n)r of
6. It is easy to improve some of previous results. First we observe that the proofs
of Theorem l(a) and (b) go through for yn(z;a), provided only that we use (3.21) in-
Proof. For the proof of the first statement (see [47]), it is sufficient to use
(3.7') instead of (3.7) and for the second one to use the obvious generalization of
(3.20) instead of (3.7').
We have proved
THEOREM i'. The statements of Theorem l(a) and l(b') hold for the generalized BP.
REN~RK. The proof of Theorem l(c) does not translate immediately into one for
yn(Z;a). The problem of determining the values of a for which Theorem l(c) holds
appears to be open.
Also Theorem 2(a) can be extended to the case a # 2. Indeed, by (2.27), with
d b
the coefficients d k = d~ n) of @n(Z;a ), rm = dn-m-ln-----~m
= = bm + l (m+l)(2n-m+a-2)2(n_m) . If we
consider for a moment m as a continuous variable and take the derivative, we verify
a-2
that in general r m increases monotonically with m, from o(a) = 1 + ~ for m = 0
to o(a) = n(n+a-l)/2 for m = n-l. An exception can occur only for n < -a+2, i.e.,
only for a < 2, and even in those cases only for finitely many values of n. As
these can be studied individually, we shall ignore them here and assume that
n ~ -a+2. By using Theorems A and B as before we obtain
2/n(n+a-l) 2n/(2n+a-2).
For n = i, the unique zero of yl(z;a) is ~) = -2/a and the zero of @l(z;a) is
S~ I) = - a / 2 .
81
Lommel polynomials (see Chapter 5), showed that no a kon) is purely imaginary. We
shall use a different method (see [12]) to prove the stronger result (see [iii] and
[9s]) of
all positive.
For a proof of Theorem D, see, e . g . [111].
Yn (z) Pn (z)
By Theorem 8.1, Qn(Z) - 1 + Qn(Z-----
~ By Theorem 8.2 this is the n-th convergent of
e2/Z+l
= 1 + [z, 3z . . . . . (2n-1)z . . . . ] = [l+z, 3z . . . . . (2n-1)z . . . . ].
e
2/z 1
Hence,
%(z3
yn(Z ) - [0, l+z, 3z . . . . . (2n-1) z].
l e a s t for a > 2.
8. Another result of Dickinson [47], namely that the origin is a limit point of
TIIEOREM 6. For any complex a are positive b the zeros a ~n) (a,b) of yn(Z;a,b)
b
la n ) ( a ' b ) [ ~ n - 1 + Re a
We o b s e r v e that this result is sharp, because for n = 1 it holds with the equal sign.
The u p p e r b o u n d o f T h e o r e m 6 may be c o m b i n e d , w i t h t h e lower bound of Theorem 2'
and t h e r e s t r i c t i o n of Theorem 5 in order to l e a d u s c l o s e to what are essentially
the best presently known s t a t e m e n t s concerning the locations of the zeros of yn(Z;a)
and @n(Z;a), respectively, that are valid for all n. See, however, besides [85] a l s o
[98], [46], and [84], the latter with better results, but valid, only asymptotically,
f o r n ~ ~.
THEOREM 7. For a > 2, all zeros ak(a ) of yn(Z;a) belon~ vo the semi-~nulus d e ~ n e d
by the inequalities:
2 i 2
n(n+a-1) <- '~k ( a ) [ <- n + a - 1 ' Re ~k < 0.
The inequalities for ]ak(a)[ and [~k(a)[ arc sharp and become equalities for n = i.
COROLLARY 2. The zeros ~k of yn(Z) and the zeros ~k of 0n(Z), belong to vhe s~mi-
annuli
2
n ( n2+ l ) <- [akl < ~ , Re ak < 0
and
respectively.
C (possible a straighv line) ~hro~h the point represenved by the complex number
Xo, such that no zero of f(x) belongs to one of ~he two open, cira~iar regions de-
Proof of Theorem E. Let Zl,Z 2 .... ,z n be complex numbers with the center of mass
n
= (j =i
~ z j)/n. We generalize this concept and shall say that ~ = ~ as just defined
is the center of mass of the points z. (j = l,...,n) with respect to the "pole"
J
z 0 = . In order to define the center of mass ~z0 of the zj 's with respect to an
arbitrary pole z 0, different from all the points zj, we proceed as follows:
say z' = a + b (a,b arbitrary complex numbers). Under this map zj is sent into
z-z 0
n
z!] = -zJz 0 a + b. We now find ~' = g~' = (j=l
~ zj)/n as before and then map ~' back.
The inverse of ~' under our mapping will be denoted by ~ = ~_ and is the desired
~0
generalized center of mass of the zj.'s with respect to z 0. We now show that ~z0
depends only on z 0 and the zj's and is independent of the specific auxiliary map
1 1 _ 1 , and
ever, also ~'~ uz 0~ + b holds, so that ~ ~. -zJz O ~Uo~z-Z
J
-I -l
~z0 = z 0 + n/~j (zj-z0) = z0-n/~j (z0-z j)
n F' 1
Next, let F(z) = j=iI
] (z-zj) be a poly~lomial. Then ~ (z) = ~ -z-zj
- , so that
(6) ~ = z-nF(z)/F'(z).
z
From the Gauss-Lucas theorem we know that the (ordinary) center of mass ~= of the
zeros of F(z) is inside the convex closure of those zeros and that this is the
smallest convex set containing all z~'s. Each side of the polygon is a straight line
84
through two zeros. It may be considered also as a circle through any two zeros and
the pole z = ~. It follows that ~ is inside the corresponding polygon of the
(zi)'s. When we map back, the sides of that polygon become circles through any two
of the z.'s and the pole z. Of the two circular domains determined by such a circle,
J
it may happen that one contains no other zeros of F(z). Let us "delete" it then
mentally and keep only the one that contains all other zeros. The intersection of
all these remaining circular regions (the image of the intersections of the corres-
ponding half planes through the (zi)'s, taken two by two) yields a curvilinear
Proof of Claim I. The smallest convex polygon containing all the (z~)'s is inside
any circle D', containing all the (zj')'s (because that polygon is the smallest con-
vex set containing all (z~)'s and a circle is a convex set), while z' = ~ is outside
D'. When we map back, set inclusions are preserved and Claim 1 is proved.
Claim 2. Let x be a simple zero of F(z). The center of mass of the remaining zeros
with respect to x is
Proof of Claim 2. Let FCz) = (z-x)f(z); then F'(z) = f(z) + (z-x)f'(z), F"(z) =
2f'(z) + (z-x) f"(z), so that F'(z) = f(x) and F"(x) = 2f(x).
We now apply (6) to f(z) (whose degree is n-i with respect to x) and obtain
X = x-(n-l)f(x)/f'(x). If we replace f(x) and f'(x) by F'(x) and F"(x)/2, respective
ly, we obtain (7) and Claim 2 is proved.
simple zero, one can deform D 1 into a circle D that leaves x outside, but still con-
tains all other zeros. Let C be the curvilinear polygon of these other zeros of
x
F(z), with respect to x. We know from Claim 1 that X = X(X) belongs to C and
x
Cx~D because x ~ D. This finishes the proof of Laguerre's Theorem E.
P(z)y" + Q(z)y' + R ( z ) y = O,
f ' ( z O) P ( z O)
(8)
E ' ( z O) q ( z O) "
2(n-l)~ 2
X(~) = c~ + as + b
2(n-l)
ll ÷ D ~ g - 51.
-1
P r o o f o f T h e o r e m 6. Let v = ~ , where a is one o f t h e z e r o s o f l a r g e s t modulus of
yn(Z;a,b). T h e n , by Lemma 3, ll+2(n-1)/(a+bv)l 5 1. We s t a r t by d e t e r m i n i n g the
As # varies from 0 to 27, v describes the straight line L parallel to the imaginary
axis, of abscissa -(n+Re a-l)/b. Consequently, the locus of v -I for which one obtains
the equality (9), is the inversion of L in the unit circle, q'his is the circle
through the origin, with center on the real axis and passing through -b/(n+Re a-l).
Its equation is
86
b b
Iiz + 2(n+P,e a - l ) ] = 2(n+Re a - l )
The required inequality for a corresponds to points inside the circle. In particular,
[a[ < b / ( n + R e a - i )
ii. In 1976 appeared a paper by Saff and Varga [98] with an important improvement of
DeWey's result. It became available too late for a complete treatment here; there-
fore, only a brief outline will be given, although it leads to the strongest pre-
sently known results concerning the location of the zeros of yn(Z;a) and @n(Z;a).
The method is based on the following
Z Z
(10) p n ( Z ) = (~--- + 1 ) P n _ l ( Z ) - ~ - P n _ 2 ( z ) (n = 1,2 . . . . . k),
n n
where the b n's and cn's are .~;ositive real nwnbers anJ uhere p_l(Z) = 0, pO(z) =
Sketch of Proof. Let z 0 c P , such that none of the pn(Z) vanishes at z 0 and set
~n(Z) = ZPn_l(Z)/bnPn(Z ) (n = 1,2 ..... k). First we verify that ~n = ~n(Z0 ) has
Re z ~ -bl; and for 1 < n < k that property follows by induction on k, by use of (I0)
and the definition of P~. Next, we observe that Pn(0) ~ 0 for all n = 1,2,...,k.
Indeed, by (i0), Pn(0) = Pn_l(0); hence, by induction, for every n, Pn(O) = P0(0) =
Pn_j(z0) = 0 for all j < n, and this if false for j = n. Consequently, pn(Z) and
Pn_l(Z) have no common zeros. Let now, contrary to the statement of Theorem F,
_ z0+b n z 0 Pn_2(z0 )
(Zobnl+l)Pn_l(Z0) = Z0cnlpn_2(z0) , or bn - Cn Pn_l(zO) ;
cn Z0Pn_2(z 0)
shows that - - (z0+bn) - = Un_1(z0) and, by z 0 ~ P , Re ~n l(Z0 ) < I.
bn_ibn bn_iPn_l(Z 0) - -
C c C
Hence, Re n n n , whence
bn_ibn (z0+bn) <_ i, or --Rebn_ibn z 0 <_ i- --bn_l
For each polynomial in (Ii), the sum of the degree and the a-entry is the same,
say n+a = s. With a = s-n, (ii) becomes
Equation (12) is almost of the required form (10),except for the factor
2/(s+n-2) of @n(Z;s-n). To eliminate this discrepancy, we multiply (12) by
2n
(s+n-2)(s+n-3)...s @n (z's-n) =
2n-I ,)n-2
Z Z -
(~--+I) (s+n-3)...s @n-I (z;s-(n-l)) - c (s-~n-4)...s @n-2 (z;s-(n-2))'
n n
2n
0n(Z;s-n ) and bn, c n as defined. Also,
=
with pn(Z) (s+n-2)(n°l)
88
o f the p o l y n o m i a l s pn(Z), hence none o f the polynomials @n(Z;s-n), can have zeros
s-i @ _ 1-cos
r 5 r cos @+s-l, or r < l-cos n+a-i O " Consequently, for all zeros g~n)(a)
e~n)(a) of yn(Z;a) are inside the cardioid I ~ n)(a)] < (1-cos @)/(n+a-l). The bound
the inequalities
b ~n) 1-cos @ b;
n(n+a-l) f [a (a,b)[ S n+a-i
Under certain conditions we know that Re ~n)(a,b) < O. This happens when a = 2
(see Theorem 5), also for real a ~ 2, sufficiently large (see [74]) and, presumably,
for all real a. Whenever that is the case, also Re B~n)(a,b) < 0 and @ in above
12. During the years 1956-59, Parodi perfected an approach for the determination of
bounds for the characteristic values (eigenvalues) of matrices. It is based on the
following classical theorem of Gershgorin, a proof of which may be found in [45].
given by Theorem 7, but the method is simple, elegant, and may well be improved
further. For these reasons we state here
THEOREM 8. The zeros ~k of yn(Z) belong to the intersection of the regions D 1 and
D2, defined by D 1 = union of the circles Izl 5 2/3 and ll+zl 5 i; D 2 = union of the
Proof. Let M be the determinant defined in Chapter 3. Then the zeros of yn(Z) are
n
the same as those of M . On the other hand M = IA-Izl, where I is the n x n unit
n n
matrix and
1
0 0 ... 0 0 0
2n-i
1 1
0 ... 0 0 0
2n-3 2n-3
1
0 0 ... 0 0 0
2n-5
1
A= 0 0 0 0 0
2n-7 """
i 1
0 0 o ... y 0 -y
0 0 0 ... 0 1 - 1
It follows that the zeros of yn(Z) are precisely the characteristic values of A.
These are located, by Theorem G and looking at rows, in the union of the circles
centric and their union is D I. In the same way, proceeding by columns, we obtain
D 2 and the Theorem is proved. It is obvious that it can be improved, by adding the
condition of Theorem 5 that Re ~ < 0. Parodi shows in the same paper [85], how pre-
vious result can be sharpened. If we multiply the next to last column of M n by l+z
and add to the last and expand the resulting determinant by the last line, we see
that, with an irrelevant (but easily found) non-vanishing constant C n, yn(Z) =
CnlB-Iz], where B is the (n-l) x (n-l) matrix
90
1
0 0 ... 0 0 0
2n- 1
1 1
0 0 0 0
2n-3 2n-3 """
1
0 0 ... 0 0 0
2n-S
1
0 0 ... 0 0 0
2n- 7
B =
1
0 0 0 ... 0 --- 0
7
1 1
0 0 0 ... ~- 0 - g (l+z)
0 0 0 ... 0 31 31 -z (l+z)
By applying Gershgorin's Theorem G we now find that the zeros of [B-Izl, hence, those
of yn(Z), belong to the intersection of the regions Di and D½, where Di = union of
than and contained in DI/'~D 2. The result can be improved further, by removing the
13. A more powerful method to improve Parodi's approach is due to Wragg and Under-
hill [113]. They use, in addition to Gershgorin's theorem also the following
Theorem H, due to Bendixson [3] and to Hirsch [33]. For a more recent presentation
and proof, see [45].
where B = ~1 (A+A*) and C = ~i (A-A*) are .qez~itian matrices and denote their respec-
tive characteristic values by ~j and vj, respectively (j = 1,2 ..... n). Then
rain ~j ~ Re h k < Max Vj and min vj < I m ~k < Max ~. for k = 1,2 ...,n.
j - j j - - j 3 '
Proof. Similar matrices have the same characteristic values. Let W = p-IAp, with A
as previously defined and P = llPij[I, an n × n matrix with Pij = 1 if i+j ~ n+l,
Pij = 0 otherwise. Then p-i = IIP~jll with p~j = 1 if i+j = n+l, p~j = -I if
2 1
y y o 0 ... 0 0 0
1 2 1
0 ... 0 0 0
1 2 1
o ~ 3~ 7 "'" o o o
W=
oo.
-i -2 1
0 0 0
0 """ 2n-3 (2n-3) (2n-l) 2n-i
-i -i
0 0 0 0 ... 0
2n-I 2n-I
We now apply Theorem H, by writing W = B+iC, with B the diagonal matrix of the dia-
gonal elements of W, and
o -y o ... o o o
i i
0 --- •.. 0 0 0
Y 5
C = "
i -i
0 0 0 0
2n-5 2n-I
i
0 0 0 0 0
2n-i
1 1 1
C lie in the union of the circles Izl < ~ • Izl <- ~-~-3 + ~ (k = 3,4, "'" ,n) and
Izl _< ~ -1~ ; they are concentric and the largest corresponds to k = 3, whence the
theorem.
14. In 1952 and 1954 appeared two important papers of F.W.J. Olver (see [84] and
[46]). In them the author discusses expansions of functions that satisfy a certain
class of differential equations and studies their zeros. In particular, he puts
special emphasis on Bessel functions. Specifically, he determined, ([84], p. 353)
among others the distribution of zeros of the Hankel functions H(1)(z) and H(2)(z),
for integral and for half-integral ~. From these the zeros of K (z) follow immedi
ately because (see [i], 9.6.4).
92
I
~i ~- i
= i ~ie H (1)(ze 2 )(=~ < arg z < ~/2)
K(z) = 1 ~i
i . - ~- ~ i --
= ~ ~le 1t(2) (ze 2 ) ( _ ~ < arg z < ~).
For half integral values of ~ = n ÷ 1/2, the zeros of K (z) are (see Chapter 2) of
Olver and even his precise conclusions cannot be presented here and the interested
reader is advised to consult Olver's original papers [84], [46]. A simplified
version of his results, however, is easy to state, lie shows that the zeros of
H(1)
n+ i/2 (ze~1 ) lie on a convex arc (see Fig. 15 on p. 352 of [84]), symmetric with
respect to the imaginary axis. For n ÷ =, the points of intersection with the real
axis approach -n and +n, while that with the imaginary axis approaches inz0, where
and Fig. 9.6) on an arc obtained by rotating the previous arc by n/2. Finally, the
zeros of yn(Z) are on an arc obtained from the preceding one by inversion in the
-i
unit circle. (see Fig. 1 ). Let v = z 0 ~ 1.50888...
i
K then the results of Olver have as a
corollary the following statements.
Figure 1
93
While Olver's results contain an element of finality, they yield exact results
only in the limit, as n + =.
Numerical investigations have led to the following
CONJECTURE. For arbitrary a > O, b = 2 and odd n + ~ the real zero e (n) (a,2) of
' m
yn(Z;a,2) satisfies the asymptotic equality
a(nl
m ~,2)r,J-2(1.52548 n + a - (~+1)/~} -1.
This follows conjecturally from [71], vol. 2, p. 194, by taking into account
the differences of notation and normalization.
15. Burchnall's results (2), (2') turned out to be useful in some rather unexpected
applications (see, e.g. [62], [55]). In fact, it would be very desirable to have
simple explicit formulae for the sum of arbitrary powers of the zeros of 8n(Z), or
yn(Z). No such formulae, valid for all powers seem to be known.
evidence that the polynomial is yn(Z), then we write a(n). For a general polynomial
n r
f[x)= ~ ckxn-k with c 0 = 1 Newton's identities are
k=0
r-i
c. o .+rc = 0 for r = 1,2,...,n;
j =0 ] r-] r
(13)
n
c. o = 0 for r > n.
j=O .1 r-j
2n 22 2j
T h i s l e a d s t o c 1 = 2n+a-2 ' c2 = (2) (2n+a-2)(2n+a-3) ..... cj = (~.) (2n+a-2) ( j ) .....
2n = 2n (n+a-2) !
Cn = ( 2 n + a - 2 ) ( n ) (2n+a-2)! " By (13) (assuming n large) we o b t a i n o 1 = - c 1 =
-2n = = 4n(n+a-2)
2n+a-2 ' °2 - a l C l - 2 C 2 = c21 - 2c2
(2n+a- 2) 2 (2n+a-3)
94
2j
simple BP. In that case cj = (~) - - .) and previous formulae reduce to o I = -i,
(2n) (3
1 -i 2
o2 = ~ , o 3 = 0; also, ~4 = ' °5 = 0, o 6 = ,
(2n-l) 2 (2n-3) (2n-l) 3 (2n- 3) (2n-5)
10n-17
o 7 = 0, a 8 = - , o 9 = 0, etc.
(2n-l)4(2n-S)2(2n-5)(2n-7)
The values obtained for odd subscripts are, of course, those predicted by
Burchnall's theorem (2).
The sums of negative powers of the zeros ~ n ) of yn(Z) are the same as the sums
of the positive powers of the zeros ~n) of Gn(Z) and conversely. In order to avoid
confusion in what follows we shall denote by ~r = °(n) the sum of the r-th powers
' r
(r positive, zero, or negative) of the zeros a~ n) of the simple BP yn(Z). The sums
o_r of negative powers can of course be computed as sums of positive powers of the
zeros 8~n) of 8n(Z), by use of Newton's formulae (13). The coefficients cj in (13)
In this way we are able to compute effectively the sums of an}' given power
(positive or negative) of the zeros of the BP yn(Z); however, no obvious pattern
seems to emerge and an explicit formula for o (n) and/or o (n) does not seem to be
r -r
known.
The corresponding formula for yn(Z) is easily obtained from (14), by replacing On(Z)
We now equate the right hand sides of (15) and of (16) and then replace the ratios
@n_2(z)/@n_l(Z) with the help of (15). We obtain
~ 2m
r (n) = z ~l)}m
I ~ ~r+2 I (-l) m { I zk~
r=O m=O (2n-l) 2m+l k=O
2n_l + [ (I zko -
m=l (2n-l) m+l k=O
1
By comparing coefficients, we obtain first o~ n) = 2n-I ' then, in general, for r > 0,
96
o(n)
m
eo(Z) 1 ~ (_l)rz r o ( 1 ) zr
Ol(Z) l+z r=0 = r=0 r+2
and
-
@i (z)
- =
l+z =
1
- -
l+z =
l 1
82(z) 3+3z+z 2 3 l+z+z2/3 3 l+z2/3(l+z)
2 4
i z 3 z 2 3 .2
= -3- {i- ~ (l-z+z2-z +...) + ~-- (l-z+z -z +.. ) - ...)
1 z2 z3 2 4 1 5
= y- 7+ ~ - - 27 z + ~ - z + ... = ~ 0 (2) z r
r+2 "
r=0
We note that o ~2) = 0; this is the instance n = 2 of the claim that o (n) = 0 holds
2~+i
(1)
for ~ = 1,2,...,n-l. (For n = 1 this is also true - vacuously.) Next o 3 =
r+2 = 2~+i is odd, also o (n) = o (n) = 0 for ~ = 1,2,...,n-i Indeed, let k = n-l;
r+2 2v+l
if r+2 is odd, then at least one of the k.'s is odd. Also, all odd k.'s satisfy
3 3
1 < k.] <- r-2m = 2~-i-2m <_ 2~-3 ~ 2n-5, for ~ < n-l._
In particular, we find in each
product at least one factor o (n-l) with 3 < k + 2 < 2n3= 2On l) 1
• k.+2 - 3 '
1 Km j
and this vanishes by the induction hypothesis. It follows that all summands in (17)
97
vanish and a,n,l~ = 0 for all 9 = 1,2, ,n-i in agreement with (2) and that is what
29+1 "'"
we wanted to prove.
If r+2 = 2n+l, so that r = 2n-l, then one of the summands in (17) has m = 1
and k I = r-2 = 2n-3 (no other k.'s occur) and does not vanish. Indeed, (17) now
3
_(n-l)
U
2n-i _(n-l) _(n-i)
reduces to o -n" = - The numerator is U2n_l = O2(n_l)+l and we have
2n+l (2n_i)2"
verified that (18) holds at least for the superscripts 1 and 2; if we assume that
the first of (18) has already been recognized as valid up to the superscript n-l,
k 2 = 2n-3. Hence, assuming that the second of (18) has been verified for ~(k)
2k+3
= (-i) n
{l.3...(2n-l)}2(2n-l)
One may, of course, go on. However, the number of non-vanishing terms in (17)
increases fast and the formulae become rather complicated.
We shall finish this section with the remark that, although we do not know
explicit formulae for a (n) , valid for all integral values of r and n, we still can
r
THEOREM ii. For n = i, a (I) = (-i) r. For n = 2, c (2) = 3-[m/2]h and a (2) =
r m m -m
3[(m+l)/2]hm , where h m depends only on the residue class of m .~dulo 12, as fo~low~:
m 0 1 2 3 4 5 6 7 8 9 I0 ii modulo 12
h 2 -i 1 0 -i 1 -2 1 -I 0 1 -i
m
formula (13), that G 0 = 2, o I = -i, o 2 = 1/3. Next, by the second formula (13), we
1
(19) om = -°m-I - ~ °m-2"
We assume that for all values of k _< m-i we have already verified that Theorem ii
holds. Then we check b y (19) that also o takes on the value prescribed by the
in
theorem. This requires 12 checks, according to the residue class of m (mod 12). We
may reduce these to 6 checks, by observing that hm+ 6 = -hm. As an example, wo work
out one of these checks, say for m - 5 (mod 12). Then m-I - 4 and m-2 - 3 and, by
the induction hypothesis and (13),
and this proves that Theorem ii holds also for m, provided that m - 5 (mod 12), and
in fact, also for m ~ ii (mod 12).
The assertion concerning o (2) could be proved in the same way, by using
-m
Newton's formulae for 82(z) = z2+3z+3. It is much easier, however, to observe that
i. Much of the present chapter covers material found in [53]. However, in [53],
there are many errors of detail and the presentation leaves much to be desired. In
the present chapter many procfs have been reworked completely, in order to make the
treatment not only correct, but also readable.
The term irreducible will mean here irreducible over the field of rational num-
bers. This is equivalent to the statement that if f,g and h are polynomials with
rational, integral coefficients, then f = gh is possible only if either g, or h re-
duce to a constant polynomial, in fact to a rational integer, and the other factor
has the same degree as f. The polynomials here considered will, in fact, be monic.
It is extremely likely that all BP are irreducible, but no proof of this general
statement exists. What we can prove are the four theorems of the present chapter.
The symbol p, with or without subscripts, stands for "an odd prime, while q and m are
positive inters. Also, for given n, we set k I = min (n-Pl), k 2 = min (P2-n-1),
and k = k(n) = rain (kl,k2). Pl -< n P2 > n
There is no doubt that with more work the bound n ~ 400 could be increased.
In fact, there are only four values of n, 301 < n < 400 for which a separate verifi-
cation was needed. Also the fraction 1/17 that occurs in Theorem 2 could be
100
decreased and Theorem i could be improved by the addition of other types of n, for
which irreducibility can be guaranteed. There does not seem, however, to be much
point to such a task, because in any case it would fall short of the proof of the
already mentioned
2. The proofs of these theorems rely heavily on Theorem A, due to Dumas [lZ], to be
stated presently. It is based on the theory of the Newton polygon of a polynomial
f(x), with rational, integral coefficients, with respect to a fixed, rational prime
p (see [~Z] and [aS]). This frequently occurring sentence will be abbreviated to
read "N.p. of f(x), w.r. to p", or simply "N.p."
n e
m n-m
DEFINITION. Let f(x) = ~ amP x , am,e m rational integers, p~a m, and consider
m=0
the points Pm = [m'em]" For want of a better name we call these particular lattice
p o i n t s o f the plane the sgots o f f ( x ) . The N.p. of f(x) w.r. to p i s the unique
open polygonal line w~th vertices only at the spots of f(x), convex dowr~)ards and
with no spots below its sides (see Fig. i).
n e
m n-m
THEOREM A. (Dumas [~2]). Let f(x) = ~ amp x , P~am; let h r are v r be the
m=O
horizontal and vertical projections, respectively, of the r-th side of the N.p. of
f(x) w.r. to p and let their greatest common divisor be t r = (hr,Vr). Then, if M
i8 the number of sides of the N.p. and h r = trSr, all factors of f(x) have degrees
M
of the form ~ ~rSr, with integers ~r' 0 < ~r < t
r=l - - r"
f(x) have degrees of the form un/t, t = (n,en), 1 < ~ < t. If, furthermore,
e (¢m)
f
, I
I
I
,i J I
1 2 3 4 5 7 8 9 i0 ii 12 13 14 15 m
Figure i.
102
l e n g t h n. As a l s o e m >
_ 1 for 1 < m < n and ( n , e n ) = (n,1) = 1, t h e C o r o l l a r y to
3. Let us denote by e(m) (= ep(m); we shall suppress the subscript) the exact power
of p that divides m.
For any integer n, it is clear (see, e.g. [24]) that
=n-1
(2) e((pm) !) p-i "
k
More generally, let n = ~ ajp J, 0 < a• < p-i be the p-adic representation of n;
j=0 -J-
then we obtain by direct substitution in (i),
e(n!) = + akpk-1 + a k _ l pk-2 + ...
+ a2P + a I
k-2 k-3
+ akP + ak_iP + ... + a 2
÷ ° ....
+ akP + ak_ 1
+ ak
103
pk_l_i 2_ 1
= ak + ak-1 p-1 + • "" + al P p-i
k k
1
p-i (j!O ajp3 - j=O[ aj}.
LEMMA 2. Set
=
(n+m) !
(3) Cm m'• (n-m) ! '
4. It is clear that Yn(X) and On(X) are either both reducible, or both irreducible•
n
2-n (n+m) ! n-m
serve that On(X/2 ) = ~ m:(n-m)' x , so that, by using also (3), Zn(X) =
m=0
n
2nOn(X/2) = [ c x n-m It is sufficient to study the irreducibility of Zn(X) and,
m=Q m
k-i
e(Cn) = ~ {2n-2-n+l} = n-lp_l= j=0[ pJ. Clearly, (e(Cn),n) = i holds, but we ob-
serve that this would no longer be the case for p = 2, n = 2m, where 2n = 2m+l,
104
m m(n-l)
(4) e(Cm) > ~ e(Cn) = n(p-l) "
Assuming for a moment (4), it follows that the N.p. of Zn(X) reduces to the straight
To prove (4), we have to verify that n(m+o(n-m)-l) > m(n-l), or that n(o(n-m)-l) > -m
This is obviously true, because o(n-m) and m are both positive integers. Part (a)
is proved.
(ii) We now dispose first of a few other easy to prove statements of Theorem A.
If n = p-l, then PlCm for m = 1,2 ..... n and p2~c n ( = p(p+l)...(2p-2)), so that
Theorem B applies and Zn(X ) is irreducible. If n = p+l, then plc m for 2 < m < n,
2
p ~c n, because c n = (p+2)(p+3)...(2p)(2p+l)(2p÷2). It follows that the N.p. of
Zn(X ) consists of two sides, the first of length one, from P0 = [0,0] to P1 = [i,0],
and the second from P1 to Pn = In,l) of length (n-l) and without spots on it. By
Theorem A, Zn(X ) is either irreducible, or else splits into a linear factor and an
point that we already have proved so far a weaker form of Theorem 3, namely
THEOREM 3' All BP of degrees n < 20 are irreducible, except, perhaps, for n = 15.
[iii) In the more general case n = qp-l, q < p/2, one has n = (q-l)p+(p-l),
105
and (n,e(Cn)) = (pq-l,q) = I. For 1 < m ~ n-l, m = rp+s, 0 < r < q, one has o(m) =
Consequently, the line of slope i/p through the origin runs through all spots [rp,r],
corresponding to the values m = pr (with s = 0), while all other spots including
Pn = [n'en] = [(q-l)p+(p-l),q], are above that line. It follows that the N.p. of
Zn(X ) consists of two sides, one from the origin to P(q-l)p = [(q-l)p,q-l], and the
other from P(q-l)p to Pn" The first side has length h I = (q-l)p, and v I = q-l,
1 1
slope p_-~> ~ , as required by the convexity (downward) of the N.p. By Theorem A,
= 0,1,...,q-l; 9 = 0,1. With this the proof of the first and of the last state-
ment of Theorem 1 (b) is complete.
[iv) The treatment of the general case n = qp+l, q < p/2, is entirely analogous.
One finds, successively, that o(n) = q÷l, 2n = 2qp+2, a[2n) = 2q+2, and e(Cn) = q.
I r if s = 0, or i,
This leads to e(Cm) = r+l if 2 ~ s ~ p-2,
r+2 if s = p-l.
that the straight line through Pl = [i,0], with slope i/p contains all spots with
m = rp÷l, e(Cm) = r, including n = qp+l, while all other spots lie above that line.
Consequently, the N.p. of Zn(X ) consists now of two sides, one horizontal, from
and ~ = 0,i. With this the first and the last statement of Theorem i (c) are proved.
106
= n-q
(v) Let n = qp, with q < p/2; then ~(n) = q, 2n = 2qp, ~(2n) = 2q, e(Cn) p-i = q"
Also, for m = rp+s, with 0 < r ~ q-l, 0 < s ~ p-l, r+s ~ i, one has ~(m) = r+s and,
as before, computes v(n+m) = r+q+s, o(n-m) = q-r if s = 0, ~(n-m) = q-r-s-i if
1 ~ s < p-l. By Lemma 2, e(Cm) = r+l if s ~ 0, e(Cm) = r if s = 0. The line of
slope i/p through the origin contains all the spots [rp,r], including Pn = [qP'q]'
while all other spots [rp+s, r+l], s ~ i, lie above that line. The N.p. consists of
a single side, from P0 = [0,0] to Pn = In,q], with h = qp, v = q, and t = (qp,q) = q.
k-i
If a~J = 0 for j = 0,i ..... r-l, while a r ~ O, then n+m = pk + ~ ajpj + (ar_l)pr +
j=r+l
r-i k-I
[p-l) j=O~ pj and o(n+m) = j=r
~ aj+r(p-l) = o(m)+r(p-l). By eemma 2, e(Cm) =
me (Cn)
(5) m
n p-1 < e (Cm),
with equality if, and only if for all j ~ r, aj = p-l. Written explicitly, (S)
reads m-a(m) + [p-l)(k-r) ~ m, or
k-1
(6) ( p - 1 ) ( k - r ) >_ o ( m ) = ~ a..
j=r J
For given r, the right hand side is maximized by the choice of a. = p-l. In t h a t
J
case, and that case only, (6) becomes an equality. For any other choice (6) is a
strict inequality. This shows that all the spots that correspond to
k-i
m = [p-l) [ pJ (r = 0,i ..... k-2) lie on the straight line y = (e(Cn)/n)x = x/(p-l),
j=r
of slope i/(p-l) through the origin, while all other spots are above that line.
I07
Theorem A, all factors of Zn(X ) have degrees of the form ~(p-l) (~ = 1,2 ..... t).
REMARK. A slightly stronger form of Theorem A can be obtained, by the remark that
any splitting of f(x) into irreducible factors can be effected by splitting f(x)
first into two (not necessarily irreducible) factors, then splitting any factor
that is not already irreducible into two factors, etc. At each stage the sum of
the degrees of the factors equals the degree of the polynomial being split. By
keeping track of this equality one can obtain the mentioned stronger version of
Theorem A. Before stating it, it is convenient to define a new term. ~enever
there are spots on a side of a N.p., these divide the side into collinear segments,
that we shall call (following Wahab [60]), the elements of the N.p. If bl,b 2 ..... bg
are the lengths (i.e., the horizontal projections) of the different elements, then
we have the following version of Theorem A, which in a somewhat different formula-
tion appears to be due to Wahab.
THEOREM A'. (Wahab [60]). Let f(x) = fl(x)f2(x) ... fz(x); then ds, the degree of
that the spots on the single side of the N.p. of Zn(X) have the abscissae
k-i
(m-l) ~ pJ (r = 0,I ..... k-2). It follows that the lengths of the elements are
j=r
k
degree ds = J ~ ~sj ( p k - j + l - p k - j ) (~s~~ = 0 o r 1). This result, not needed in the
It follows that (without the earlier restriction q < p/2), e(Cm) = e(Cm_l),
unless p divides at least one of the factors n-m+l, n-m, or m. For pln this can
108
spot on a side of a N.p. only if m 2 is the largest value of m for which e(Cm) =
/
/
/_
ml m2 m
Fig. 2 Fig. 3
Quite generally, once e(cj) > 0,vertices or even spots on the sides of a N.p. can
occur only at abscissae m > j, such that e(Cm+l) > e(Cm). If n ~ 0 (mod p), this
requires m÷l E 0,i (mod p), or m ~ -I, 0 (mod p). The distance between two consecu-
tive abscissae of this type is either p, or p-l, or p+l, and this is the distance
between consecutive spots on a side of the N.p. This does not necessarily mean that
the length of the complete side of the N.p. has one of these values. It is quite
possible to have a side continue in the same direction and hit another spot after
another interval of length p-l, p, or p+l. The side of the N.p. cannot continue
with a smaller slope than on a preceding interval, as that would violate the convex-
ith downwards, but it may continue with the same slope.
After the side has traversed a number of spots, it either reaches Pn = [n'e(Cn)]
and the N.p. terminates, or else the polygonal line bends again upwards, thus start-
ing a new side of the N.p.
We may verify that the spots on any side lead to elements whose lengths
satisfy the requirement of Theorem A namely to be of the form ~s, ~ ~ t = (h,v). To
do this we observe that along a given side the spots that occur as interior points,
109
say Q2' Q3 in Fig. 3 are lattice points (they have integral coordinates). No such
points can appear, if (h,v) = i. Indeed, vj = (v/h)(mj-ml) with h > mj-m I for mj
not the last abscissa so that v. cannot be an integer, unless v/h is a reducible
]
fraction, i.e. (h,v) = t > i. If v = tw, h = ts, (s,w) = i, then vj = (w/s) Cmj-ml)
with sl(mj-ml) , so that mj-m I = ~js f h = ts, ~j f t, vj = w~j, and finally mj-m I =
Theorem A', m 2-m I, m3-m 2 are the lengths of the elements of the N.p. It follows
that the length of an element (hence, that of the permitted degrees of a factor)
cannot be less than p-l.
In case n ~ -i (mod p), the factors n-m+l, n+m, and m are congruent mod p to
-m, m-l, and m, respectively. Hence, e(Cm+l) > e(Cm) only for m ~ 0, or I (mod p)
and the N.p. can have spots on a side of the N.p., or vertices, only for m ~ -I, or
0 (mod p). From here on the proof proceeds as before and its details may be sup-
pressed. The proof of Theorem 1 {f) is complete.
So, e.g., for ZlsCX), the N.p.w.r. to p = 13 has two sides; one of the sides,
of length h I = 2, has a spot in the middle, the other one of length h 2 = 13 contains
no spots. The N.p. contains 3 elements and, by Theorem A (or A'), any polynomial
factor of Zls{X ) may only have degrees obtained as sums of the integers i,I, and 13.
We state such a result succintly in the form (15) = (1)(i)(13) and call it a scheme
of factorization. The N.p. of the same zls{x ) but with respect to p = 3 leads to
{IS) = {9)[4){2). These two results, while different, are not contradictory. They
can be reconciled in two ways. Either trivially, as (1+1+13) = {15) = (9+4+2) if
ZlsCX) is irreducible and none of the potentially allowed factorizations actually
exists, or else by observing that both schemes allow the non-trivial factorization
(i+1) C13] = {2){13) = C2)(9+4).
Two such f a c t o r i z a t i o n schemes, with a common, n o n - t r i v i a l f a c t o r i z a t i o n , w i l l
be c a l l e d oompatible. Otherwise, we c a l l them incompatible. I t is c l e a r that i f
one can e x h i b i t two incompatible f a c t o r i z a t i o n schemes, one thereby w i l l have proved
the C r r e d u c i b i l i t y o f the polynomial considered. In the case o f zisCx), the N.p.
with the scheme (15) = (11(I)(13) obtained from the N.p.w.r. to p = 13 and we con-
clude that Zls(X ) is irreducible.
PROPOSITION i. If the N.p. of Zn(X ) with respect to ~wc different primes lead to
This will be needed in the proof of Theorem 2 and only by use of Theorem 2 are
we going to complete the proof of Theorem i.
We already know that Zn(X ) is irreducible if n < 20. This follows from Theorem
3' and the irreducibility of Zl5(X ) proved in Section 5. Also, Zn(X ) is irreducible
if n = p. If n is not a prime, let Pl < n < P2' with Pl and P2 consecutive primes
and set n = Pl÷kl = P2-k2-1. Then k I = n-Pl < p2-Pl and k 2 = P2-n-i < p2-Pl-i or,
k 2 ! p2~Pl-2.From Theorem C we know that p2-pl ~ Pl/8 for Pl ~ $3. For Ii ~ Pl < 53,
Pl
we verify that p2-Pl < -~ (the largest value is attained for Pl = 23, with 29-23 =
6 = (6/23)Pi). This inequality holds by Theorem C for all Pl ~ ii, which is more
than sufficient because we are concerned only with n ~ 21 (Pl ~ 191. We note, in
particular, that Pl÷2kl < Pl+2(P2-Pl ) < 2Pl. This insures that the N.p. of Zn(X)
(Pl+l)...(Pl+2kl
and Pl < (Pl ÷I)' (Pl ÷2k) < 2PI"
kl!
We claim that all other coefficients are divisible by Pl to exactly the first power.
For k I < m < PI' the factor Pl which now occurs in the numerator is not cancelled
(kl÷l)[kl÷21""Pl'"(2Pl)
c = and pl [ 2 still holds. None of the fac-
Pl Pl ~ cpl' Pl~Cpl
tots by which cpl has to be multiplied in order to obtain the coefficients Cm,
2P1+2k I < 3Pl. It follows that the N.p. of Zn(X ) w.r. to Pl consists of 2 sides:
the first one o£ length kl, on the real axis, with spots at all the integers and the
second one from Pkl = [kl,O ] to Pn = [n,l], with no spots on it and of length
We study in exactly the same way the N.p. of Zn(X ) w.r. to P2" In particular,
(n-k2+l)...n(n+l)...(n+k2) (P2-2k2-1)...(P2-k2-1)(P2-k2)...(P2-1)
= =
Ck 2 k2~ k2~
first power. Indeed, n < P2' so that no factor o£ the denominator can cancel the
p2...(2P2-2k2-2) and the last factor is less than 2P2. It follows as above that
combine this result with the preceding one and recall the notation k = k(n) =
min(kl,k2), we can state
7. Proof of Theorem 2. As already seen in Section 2, for every a > 0 and x ~ N(E),
there is at least one prime p in the interval x < p ~ (l+e)x. In particular, it
follows with x = Pl' that there is at least one prime P2 such that Pl < P2 ! (l+e)P l-
Let Pl < n < P2 with PI' P2 consecutive primes; we want to estimate the largest
that k I = n(l-i/rl) , k 2 = n(r2-1- i/n). Now, k(n), the smaller one of kl,k 2, takes
its largest possible value, if n happens to fall between Pl and P2 in such a way as
rlr 2 = p2/Pl < l*e. The most unfavorable situation (large k) occurs when the
112
separation between Pl and P2 is largest, i.e. for p2/Pl = i+~. By solving the system
fraction k/n can be made arbitrarily small by taking ¢ sufficiently small. We may
indeed take ¢ > 0 arbitrarily small, provided we take n sufficiently large, n ~ N(a).
By Theorem 4, the degree of an irreducible factor of Zn(X ) exceeds
For n + ~, one has a + 0, hence lim A = 1 and this proves the first state-
n
ment of Theorem 2.
We now recall that, by Theorem C, we may take a = 1/8 for n ~ Pl ~ 53. Hence,
of Theorem 2.
8. Proof of Theorem i. Part II. It is now easy to complete the proof of Theorem
I. Let us assume first that n > 53. We shall show that under the assumptions of
the theorem the N . p . w . r . to p (of Theorem i) and the N . p . w . r . to Pl or P2 (largest
prime less than n, or least prime larger than n) lead to incompatible schemes of
factorization, so that the irreducibility follows from Proposition i.
If we assume that an(X ) is not irreducible and n = qp-l, q < p/2, as assumed
in Theorem 1 (b), then the lowest possible degree of an irreducible factor, satis-
fies, as seen, d ~ rp-i ~ p-l. From Theorem 4 it follows that d < k(n), so that
p-I < k(n). Under the assumption p-I > k(n), this is not possible, so that Zn(X) is
irreducible. Similarly, under the conditions of Theorem 1 (c), if Zn(X) is not irre-
or else has a linear factor with a real (in fact, integral) zero. If q is odd, then
qp+l is even and (see Chapter I0) the last alternative cannot occur.
Exactly the same reasoning, applied to the conditions of Theorem 1 (d) and (e),
with p • k(n) or p-i • kin), respectively,proves the irreducibility in those cases.
If, instead of p • k(n), or p > k(n) + 1 we know instead that q ~ 17, then, say,
in Theorem I (d) we obtain p = n/q ~ n/17. As proved in Section 7, k(n) < n/17, so
that p > k(n). If Zn(X ) is not irreducible, then all factors have degrees equal to
~p, ~p ~ p • k(n), and this contradicts Theorem 4 and proves the irreducibility of
113
Zn(X ). It is clear that, while not stated in the Theorem, the condition q ~ 17 can
be substituted for p-i > k(n) also in Theorem i (b) and (c). With this, Theorems 1
and 2 are completely proved, at least for n 5 20 and n > 53.
proof we may use all previous results, except, of course, those statements of
Theorems 1 and 2, such as those referring to q f 17, that were obtained under the
assumption n > 53.
From Theorem 1 (a,b,c), we know that for all n = pm and n = p ± I, the Zn(X)
are irreducible (without the restriction n > 53). After we eliminate these n, we
still remain with eight values. For each of them it is easy to find k = k(n) by
inspection. So, e.g., for n = 33, Pl = 31, P2 = 37, k I = 2, k 2 = 3 and k(33) = 2.
For five of these 8 values of n we may use Theorem l(d) as follows: 21 = 3.7, k = I;
33 = 3.11, k = 2; 34 = 2.17, k = 2; 39 = 3.13, k = i; 51 = 3.17, k = i. In each
case any factor would have to have a degree d that is a multiple of the larger of
the two prime factors of n, and at the same time have d ~ k. For instance, if
n = 3S, d = ~.Ii ~ Ii and d < 2. This is not possible and hence, z33(x) is irreduc-
35 = 2.17+I = S.7, with factors of degrees 17r, or 17r+l only, k = i, and also
with the factorization (35) = (10){25) (mod 5);
45 = 4.11+1 = 32.5, with factors of degrees llr, or llr+l only, k = i, and also
with the factorization (45) = (25)(4)(16) (mod 5);
integers n with 53 < n < 200. These are listed in the T a b l e i, e a c h w i t h at least
Table 1
o f 99, so that z 9 9 C x ) c a n n o t have factors of degrees less than I0. On the other
into a linear factor and an i r r e d u c i b l e factor of degree 98, whence the irreducibility
follows. Also for n = 63, 143, 175, and 195, all odd and of type n = q p + l <q < p/2)
one must still show that the}, do n o t c o n t a i n linear factors. F o r b o t h n = 63 and
grees less than 6 exists. F o r n = 143 and n = 195, P m = 13 and n o factors of de-
grees less than 12 exist.
115
~ile not needed for the purpose on hand, it is instructive to see to what
factorization schemes one is led in these S cases, by the N . p . w . r . to the corres-
ponding largest prime factor Pm" One obtains (99) = (!i)(i0)(78), (63) = (7)(7)(49),
and 175, one obtains nothing better than d ~ Pm-l, so that the statement of Theorem
by Theorem 1 (f) and Theorem 4. In 301 < n < 400 we find four values of n that have
to be considered separately, namely n = 323 (Pm = 19, k = 6), 324 (324+i = 52 13
Pm = 13, k = 6), 351 (Pm = 13, k = i) and 391 (Pm = 23, k = 2). Three of them are
irreducible by Theorem 1 (f) with n = qp and Theorem 4, while for n = 324 one uses
Theorem 1 Cf) with n = qp-i and Theorem 4.
In spite of the ease with which we are able to prove the irreducibility of any
single polynomial Zn(X), a general method still eludes us. Such examples as n = 99
and n = 209, etc., show that we cannot take it for granted that we shall be able to
fit all integers n, into any finite set of patterns, for which the irreducibility
can be proved. By working out a large number of N.p., one is led to make certain
conjectures.
There also is some hope that the method used in the proof of Theorem i (e) and
1 (f) could he perfected, in order to prove
CONJECTURE 2. If p' # p" and p'p"In, then the N.p. of Zn(X) w.r. to p' and to p"
the form n = 2mp k and which also cannot he represented as n = qp"' ~ i, with appro-
priateiy small q.
CHAPTER 12
THE GALOIS GROUP OF B.P.
I. The Galois group of the BP of degree n will be denoted by Gn, the symmetric
have the discriminant D and be irreducible, and let G n be its GaZois group. Let us
assume that there exists a prime p, which satisfies the following conditions:
Assume also that if f(x) ~ xkg(x) (mod p) and d is the discriminant of g(x), then
p~d. Any such prime is a divisor of the order of Gn-
If, furthermore, n/2 < p < n-2, then G n = A n in case D is a perfect square,
Gn = Sn, otherwise.
117
THEOREM B. (Dedekind; see [$2]). Let us suppose that the polynomial f(x) splits
modulo p into a product of r irreducible polynomials fi(x) (i = 1,2 ..... r), incon-
gruent in pairs modulo p. Then the Galois group of f(x) contains at least one per-
mutation of r cycles, such that each cycle corresponds to one of the factors fi(x),
and the order of each cycle is equal to the degree of the polynomial to which it
corresponds.
THEOREM C. (Burnside; see [9],XI). (i) Ef n (> 3) and 2n+l are both primes, then
any triply transitive group of degree 2n+3 contains the alternating group (§ 165,
page 214, Exercise).
(2) For n = 4, there are no primitive groups, except A 4 a n d s 4 (§ 166, page 214,
(ii)).
[3) Every triply transitive group of degree seven contains A 7 (§ 166, pages 216-218,
(v); see also [52(a)], p. 449, or [S2(b)], p. 197).
(4) If pe is the highest power of p contained in n! and if p < 2n/3, then pe-I
is the highest power of p that divides the order of any primitive group of degree n,
which does not contain A n 6§ 160, pages 207-208).
THEOREM D. (Cauchy; see [30], p. 74). If p divides the order of a group G, then G
contains an element of order p.
THEOREM E. (Jordan [39], Note C; see also [9], p. 214, Theorem I and [5Z](a), p.448;
3. The method of proof follows, in general outline that of Schur ([52]), and it is
largely based on Theorem A. We also shall need the following
Proof. Trivially n z (n-p) (mod p); consequently, for m < n-p+l, one has
m < n - (n+l)/2+l = (n+l)/2 < p, so that
a(n) = (n-m+l)...n(n+l)...(n+m)
m 2mm!
On the other hand, for n-p ~ m < p, a (n) contains the factor p in the numerator,
m
but not in the denominator and a (n) E 0 (mod p). For p ~ m ~ n, the denominator
m
contains the factor p to exactly the first power (because n < 2p-i < 2p), while the
numerator contains at least two multiples of p (p itself and 2p, because n ~ p,
118
We now verify that the conditions of Theorem A hold for 0n(X ) . Specifically, we
shall do the following:
(b) show that for n > 14,and also for n = i0, there exists a prime p such that
a (n) , p 2 ~ a ~ n ) ;
(2n-1)/3 < p < n-2, and a l s o pn]D n , p n
insures a rather high degree of transitivity, which, in some cases, suffices to show
that G n ~ An, so that, by (d) above, G n = S n-
In the few remaining cases we shall succeed to reach that conclusion, by appeal-
ing to Theorem B.
n n-i m .
mials f(x) = ~ c.x of degree n and g[x) = [ d.x m-3 of degree m, is a polyno-
i=0 I j=O 3
mial function of the coefficients ci, dj (i = 1,2 ..... n; j = 1,2 ..... m) that vanishes
n m
if and only if f and g have a common zero. In fact, R(f,g) = Cod m n0i _ ~ 1 I I (xi-Yj),
"= j=l
where the x i range over the zeros of f(x) and the yj over those of g(x). Clearly,
n m
R(f,g) = c~ ~.= g(xi) = (-l)nmd~ ~.= f(yi) = (-l)nmR(g,f). We shall be concerned
n
It follows that D = c~ -2 ~ - [ f ' ( x i ) : (-1) n(n-1)/2^2n-2
~0 [ I (x i-xj)
i=l i#j
c 2n-2
o I 1I (xi_xj)2 ' where the x.'s ~ d x.'s run through the zeros of f(x). The
i<j z J
last expression is often taken as definition of D.
In order to compute Dn, the discriminant of @n(X), we first compute R(@n_l,@n).
By (3.5), @n+l(Xi) = X~@n_l(Xi) for each zero x i of 0n(X). By taking the product
over all these zeros and recalling also that O is monic, we obtain
n
n • 2 ~n (a (n)
R(On'0n+l) i On+l(X i) = (xlx 2. -xn) i:i en-l(Xi) : - n )2R(0n'en-i )"
= i=l]
and R(@I,eO) = I,
n-i
(2) R(0n,@n_ I) = {]--F -(2k):
- }2.
k=l 2kk!
On the other hand, by (3.8), On(Xi) = -XiOn_l(X i) and, if we take the product over
factor 2m-l (1 ~ m ~ n) occurs exactly once in (2n)!, and also once in each factorial
(2k)! for m < k < n-l, so that 2(n-l-(m-l))+l= 2n-2m+l is the exact power to which
120
9
provided that n > 3 + ~ • 48 = 57. It is an easy exercise to verify that for all
14 < n < 56 there also exists such a prime (e.g. for n = 20, 2.20-I
3 _ 13 < 17 < 20-2)
2n-i 19
Also for n = I0 we find ~ = - ~ < 7 < 8 = n-2. By (4), it follows that any
such prime divides D n to the exact power 2n-p _> n+2 > n. It also follows from (2.8),
that Pla(n)n , p2~an(n).- Indeed, p < n-2 < n+l < 2p < 2n < 3p+l; however, 2n is even,
(e) By the Lemma, 8nCX ) - xPen_p(x ) (mod p) for (n+l)/2 <_ p < n, a f o r t i o r i for
(d) All primes that divide (2n)'. only once, divide D n to an odd power, so that,
except for n = I,D n is not a perfect square.
With this, all conditions of Theorem A are verified and it follows that for
n > 14 and also for n = I0, the Galois group G n of the irreducible BP @n(X) is the
symmetric group S n.
5. For n = 13, 12, ii and n ~ 9, no primes exist in C2n-i)/3 < p < n-2. For n = 1
G 1 = SI, both reducing to the identity. For n = 2 and n = 3, the polynomials are
least the weaker inequalities (2n-i)/3 < p < n. We find exactly one such prime for
all 4 < n < iS, (n ~ 10), except for n = 5 and n = II. Specifically, P4 = S, P6 =
P7 = 5, P8 = P9 = 7, P12 = PlS = ii. We may recall from Chapter ii, that all BP
involved are in fact irreducible, hence, the G ' s are transitive and, as also in
n
each case Pn > n/2, the respective Gn'S are primitive. By Theorem E, the Gn's have
By Theorem C (2) there are no primitive groups of degree 4, except for A 4 and
$4, so that G 4 ~ A4 and (recall (d), whence G 4 # A4), G 4 = S 4.
By Theorem C (3), the only triply transitive groups of degree seven are A 7 and
$7, whence, as before, G 7 = S 7. For n = 13 we invoke Theorem C (I), observe that
Pl = 5 and P2 = 2PI+I = ii are both primes and conclude that G13, with n = 2Pi+3 = 13,
6. The only values of n for which Theorem I' has not yet been proved are
n = 5,6,8,9,11, and 12.
In these six cases we shall use Theorem B and observe that we have
7+ 6+ 5+ ~ 4+ 3 2
@ll(X) ~ (x 39x 35x l.lx 148x 60x +25x+S3)(x4+27x3+14x2+74x+23) (mod 149)
In each of these six factorizations, the polynomial factors on the right are mutually
incongruent and irreducible modulo the respective prime modulus. The first three
factorizations were done by hand, by the present author, in 1949; O9(x) has been
factored modulo 29 by M.Ne~Ean and K. Kloss on the IBM 704 at the National Bureau of
Standards, in October 1961, while @ll(X) and Ol2(X ) have been factored by J.D. Brill-
hart and R. Stauduhar, on the CDC 6400 of the University of Arizona, in February 1969,
by using an algorithm of E. Berlekamp.
It is, of course, quite easy to verify these factorizations by hand) once they
are found. The discovery of a prime that leads to a usable factorization and the
determination of the factors is perhaps less trivial. The verification that the
factors are indeed irreducible modulo the respective prime is an operation of inter-
mediate difficulty. For whatever interest it may present, the factorization of
@8(x) will be discussed in detail in Section 7 and is fairly typical for all similar
factorizations.
By Theorem B we know that for n = 5,6,8,9)ii, and 12 the corresponding G n con-
P5 = (a,b,c) P9 = (a,b,c,d,e)(f,g,h)
P5 leaves two symbols invariant; P6' P8' and P9 each leave one symbol invariant,
3 < (~) • 5, 3[5:, and 32~5: , Theorem C (4) with e = 1 shows that G S ~ AS, whence
G 5 = S~.
D
With P8' G8 also contains P82 = (a,c,e,b,d), an element of order 5 The order
of G 8 is, therefore, divisible by 5 and, by Theorem C (4) with e = l and the remark
Similarly, G 9 contains P93 of order 5(< (~) • 9), 519!, 52~9 ' and we conclude as
4
before that G 9 = S 9. For Gll we use Pll of order 7(< ( ) • ll) and for Gl2 we use
P125 also of order v, to reach the same conclusion. With this the proof of Theorem l'
in general, this cannot be achieved. In that case we try to find a Pl < 2n/3, such
2,
that Plln!, Pl~n., in order to apply Theorem C (4). For n = 8, there is little
choice; only Pl = 5 can be used, so that we aim at a factorization from which the
existence of an element of order 5 can be inferred. Next, we have to choose a prime
p as a modulus in Theorem B. No primes less than 2n can he used, because for them
a~n)~ a~ n) ~ 0 (mod p) and en(X ) ~ xZg(x) (mod p) already exhibits a repeated factor,
which makes Theorem B inapplicable. For n = 8, the smallest prime to be tried is,
therefore p = 17. We first look for linear factors modulo 17, but there are none,
because 88(k) ~ 0 (mod 17) for all integers k. Next one may want to consider a
decomposition e8(x) ~ f2(x)f6(x) (mod 17), with a quadratic factor f2(x) and a
factor f6(x) of degree 6. This, however, would not be useful. Indeed, in the
123
absence of linear factors one cannot obtain a factor of degree 5, by further factor-
ing of f6(x). Hence, we attempt to split @8(x) as a product f3(x)fs(X) (mod 17).
If we write monic polynomials f3 and f5' of degrees 3 and 5 respectively, with un-
would not be useful, we pass to the next higher prime p = 19. Here we find that
e8(-6 ) ~ 0 (mod 19) and, by factoring out x+6, we obtain
This leads to the following system of simultaneous congruences, all modulo 19:
This system has a solution modulo 19, which, when substituted in (6), leads to
the third congruence of (S).
Before we can use Theorem B, we must still verify that all factors are irreduci-
ble [mod 19). As there are no linear factors, the only further possible decomposi-
tion would be
We are again led to a system of congruences (mod 19) in the undetermined coefficients
and it turns out that this system has no solution. It follows that the fifth degree
polynomial is irreducible modulo 19 and Theorem B may be applied to the factorization
of 88(x) in (5).
CHAPTER 13
ASYMPTOTIC PROPERTIES OF THE BP
(2n)! znel/Z.
(i) yn(Z) ~ 2nn!
(2) [yn(Z) (2n)! znel/Z[ _< (2n)! [zln-Zel/[z [ = kn(Z )[(~n)! znel/Z[,
2nn~ 2n+2n!(n-1) 2 n!
1 -2 i i
where kn(Z ) - 4(n-l) [z exp(~ - ~)[ and kn(Z ) + 0 for fixed z # 0 and n + ~.
If one uses Stirling's formula for the factorials, (i) is seen to be equivalent
to
(3) .2nz. n ~
yn(Z) ~ (--~--) el/z
Formula (3) has been generalized by Obreshkov [82] to the polynomials Yn(X;a,b) with
b = -i. If in Obreshkov's formula one makes the change of variable -2x = z needed
to reduce b to its standard value b = 2, and recalls that in his notation m = a-2,
the formula of [82] reads
.2nz.n~a-3/2 1/z
(4) yn(Z) ~ (--~-) z e .
Formula (4) has been improved further by K. DoPey [48], who proved that
It is clear from Do~ev's work that the terms of the large bracket are only the
first few terms of an asymptotic series, which, in principle, can be computed to
any desired number of terms.
Formulae (I) to (5) are meaningful only for z # 0. In [53] the remark is made
that close to z = 0, yn(Z) behaves essentially like en2z/2, and even an error term
is computed. In fact, it is clear from (2.10) and (2.8) that if one wants to approxi
mate ynCZ) in the vicinity of z = 0, then the natural candidate is en(n+l)z/2 In-
in particular, yn(Z) r - j e n ( n + l ) z / 2 .
This result is better than that of [53], but it seems that neither of them has
any particular significance. Therefore we shall not consider them in what follows
2nn~ z-n
and turn to discuss the approximation of the exponential e I/z by (2-~., yn(Z) (for
2nn!
z ~ 0), or, equivalently, that of e z by ~ en(Z ) (for z finite), as expressed by
formulae (i) to (5). This approximation is precisely the property of BP used in the
proof of the irrationality of e r for r rational (see the Introduction, Problem I, and
Chapter 14).
2. It is, of course, sufficient to prove (5), from which the other formulae readily
follow This proof, which is the object of Section 5, uses rather deep results,
such as Docev's estimate of the zeros of yn(Z,a) (see Theorem 10.6). For this rea-
yn(Z) = c 0 z n e l / Z + Rn(Z),
(2n)!
with c o = 2nn! , and where, for Iz[ e 2/n, one ~ s IRn(Z) I < c01z] n ~(n,z) with
n -m n 2m (2nzm_) !n,.~ Z -m
Hence, yn(Z) = c0zn{ ~ z
m' X (i- (n-m) : (2n) ," F-T- }
m=0 m=0
ao -m n -m
= c0zn{el/Z _[ ~ z z
(l-f(m,n)) ~ )]
m.-~- +
m=n+ 1 m=0
with equality ~br m = 0 and In = 1; the inequality on the left is strict for 3 < m <_ n ,
iR3(z) I
-<
21~l -n-1
(n+l)! +
[zl-2el/]:!
2(2n-i) =
[zl-2el/Izl
2(2n-i) {i+
4]zl-n+l(2n_l)
e-l/Izl}
(n+l)! "
For positive u = Izl -I, the function eUu l-n increases to infinity for u ÷ ~ and also
. e .n-1
for u ÷ 0 (n > i) and it attains its minimum for u = n-l, when it equals [n_--~) .
~(2) = 2/e, ~(3) = I0/3e2,...," hence, ~(n) _< 2. Finally, by use of Stirling's for-
Rn(Z) = c 0 z n R 3 ( z ) a n d
This obviously holds for large n, because ~(n) = 0(n-3/2); in fact, this holds for
8(2n-l)(n-l) n-I n-I
any n, provided that (n+l)., (~) < i as follows by using the explicit
formula for ~(n). By direct computation one may check that this is indeed the case
for all n > i. The proof of (I), (2) and of Theorem 2 are complete, except for the
proof of Lemma i.
Proof of Lemma 2. For m(m-l) ~ 4n-2 the statement is trivial, because then the
left hand side is non-positive, while the right hand side is positive. For m = 3,
(8) reads (2n-4)(2n-2) f (2n-2)(2n-4) and reduces to an equality.
We now assume that (8) holds for some m with 3 < m < n and show that it also
holds for m+l. If we replace m by m+l, the first factor in (8) becomes
2n-l- (m+l)m
2 = 2n-l- m(m-l)
2 -m, and we have to verify that
This is equivalent to
< (2n-2)(2n-4)...(2n-2m+2)(2n-2m).
(2n-2)(2n-4)...(2n-2m+2).(2n-m)-m(2n-2)(2n-3)...(2n-m)
( 2 n - 2 ) ( 2 n - 4 ) . . . (2n-2m+2) • ( 2 n - 2 m ) ,
or
128
This clearly holds, because the number of factors is the same on both sides of the
inequality and corresponding factors are either equal (namely the first and last),
or are larger on the right, than on the left.
m(m-l)
Proof of Lemma i. For m = 0 and m = i, f(m,n) = 1 and 2(2n-i) = O, so that both
To complete the proof by induction, we assume that 3 < m-i < n and that (6) holds
for m-l. We show now that (6) also holds if m-i is replaced by m. The inequality
on the left is immediate, because f(m,n) = 2(n-m+l) f(m-l,n) < f(m-l,n) The
2n-m+l
inequality on the right is equivalent to
on account of Lemma 2. This completes the proof of Lei~la I, and with it that of
(i), (2), (3) and of Theorem 2.
(9) yn(Z'a) =
.2nz,n~a-3/2
L--~) z e I/z~.
tl- 1 z -2 f"a-2"'a-l+2z-l"
~f ~ + 0(-Tj
1 ~}
' 24n 4n 4n "
n
In fact, in order to illustrate the remark made after (5) we shall actually
improve (9) to (14) with the better error term 0(n-3).
c(n):_
n=k k- d~n)/d~n)) = 2n-k(~)F(n+k+a_l)/F(2n+a_l).
If ~j(= ~(n))
j (j = 1 '2, • ..,n) are the zeros of yn(Z;a), then
where
n
where o = [ ~i. The values of the first few o ' s have been computed in Chapter
r
3 3 r
2
-8(a-2)(n+a-2)n Also, by Theorem 6 of Chapter i0, [ej[ -< n-l+Re a
03 =(2n+a-2)3(2n+a-3) (2n+a-4)
r
so that [~jl = O(n -r) and or = O(n l-r) Consequently,
[ ~ r ~ n cn ~ 1 c 1
- ~ I _< c r=4 ~?zl r <- --4
r=4 -rz r=4 (n[z I) r = ~ n z[ (l-(n ] z [)-1 )
3] 4 '
We conclude that
log P(z) =
2n 1 2n(n+a-2) --
1 +
8(z-2) (n+a-2)n 1 + 0(n-3)
-y
2n+a-2 z (2n+a-2)2(2n+a-3) z2 3(2n+a-2)3(2n+a-3) (2n+a-4)
-I (.(a-2)z-I zi2)n-i (a-2)2z -I zi2)n-2 + 0(n-3)
=z - 2 +-- + ( 4 ---
130
By exponentiation we obtain
(13) P(z) =
.2nz.n~a-3/2 i/z .
(14) Yn(Z; a) = L--~-J z e gLz,a),
where
If we combine in (14) the terms of order n -2 with the term 0(n-3) , then we
obtain precisely Do~ev's formula (9). In the particular case a = 2, (14) reduces to
. 2 n z . nVZ
yn(Z) = I.---~-) ~ e l / Z { 1 - ( 1 +z -2) 1 1 + llz-2 + 3z -4) - -1 + 0 (.~_)},
4~-- +(T~
96n 2 n
i. In the present chapter we shall discuss some of the problems, in which BP have
found applications and which, in fact, led to their study. Three of these have al-
ready been mentioned in the Introduction and sections 2-S of the present chapter are
mainly an expanded version of the earlier presentation. Somewhat unfortunately for
this exposition, those problems present their own difficulties; while these can be
overcome by classical, well established methods, even the short sketches of those
procedures given here, may well divert the attention of the reader from the role
played by the BP themselves in the solutions of the respective problems.
x of the same parity as n, while Qn[X) is the sum of the other terms of Yn(X). Let
x be a fixed, positive, rational number and set x/2 = s/r, with coprlme integers s
or
0 < [bAn-arBn[ < r2nb < r2n(2b) (n+l)'. < 2br2n (n+l)'.
Bn+ 1 sn (2n+2)! (2n+2)!
2
.r e.n+l..
By Stirling's formula, the right hand term is less than (--~) [l+en)(lim en=0);
er n-~=
hence, for sufficiently large n, the positive integer IbAn-arBn[ is less than one,
which is impossible and shows that er/s cannot be rational. In particular e itself
and all its integral positive and negative powers are irrational.
least n; on t h e o t h e r h a n d ,
It follows that a 0 = a I = . . . = an_ 1 = 0. As for an, only the term of (i) with
eX (x-t)ntnetdt"
from 0 to x it now follows that Rn(X ) = (-l)n+l
2nn! Jo Finally, if we
r (u) r (v)
where B( u , v ) F (u+v) is Euler's Beta function. Consequently,
2n+l
IIPRn(iW)l < ~ n! , or, hy Stirling's formula,
- 2n (2n+l)!
2 /f
2n+l re__~n+l l+c n = (~)n+l (l+en) ( lim e n = 0).
(S) IRn(i~)I <_ ~ 2 n <4n, ~ ~e n ÷
Let us assume that w2/4 = a/b is rational,with a,b coprime positive, rational inte-
gers. B Z setting x = wi in (8.6), we obtain, with ~ = [n/2],
2 ~ (-l)ka n = 2 ~ (-i)
k=0 k=0
133
12 Z (-I) ka(n)
n-k akb~-k I = N is a non-negative integer. In fact, N > 0, because (2)
k=0
shows that for x = ~i the integrand has the positive imaginary part (l-t)nt n sin ~t
(0 < t < i). On the other hand, by [3),
for sufficiently large n and this is not possible for any integer N. This shows
2 . 2 .
that the assumption of the rationality of ~ is not tenable, ~ is irrational and
this holds, of course, for ~ itself.
(s) u = R(r)O(O)¢(¢)T(t),
Here the right hand member depends only on the time t, while the left hand member
stays unchanged when t varies; hence, both sides of (6) are constant. In order to
obtain a periodic solution, this constant must be negative and we denote it by -k 2.
134
Hence, T" + k2c2T = 0 and, with proper choice of the origin for time, and after the
suppression of a multiplicative constant (that would anyhow be absorbed into a pro-
duct of similar constants - see (S)) we obtain T = cos kct. We proceed in the same
way with the separation of the other variables. First, we obtain
To solve the last (ordinary) differential equation of (8), set cos e = x, @(0) =
Equation (9) has, in general, only solutions by (often divergent) series; it admits,
however, pol)momial solutions if and only if X = n(n+l), for some integer n. In
dq
that case, its solution is V(x) = Ln(X), where Ln(X ) is the Legendre polynomial
dx q
of degree n. The proof is immediate, by q-fold differentiation of the differential
equation for Legendre polynomials:
In (ii) we recognize equation (2.11) of the BP Yn(X). The result so far is that (4)
are solutions,for any choice of the constants an, q and bn, q. One can use this fact,
in order to choose the constants so as to satisfy initial and boundary conditions.
Let us assume that at t = O, U(r,@,¢,O) = F(r,@,¢) is given. Then, if we set
(irk) -I = x and x-iF((ikx)-l,o,¢) = Fl(X,@,¢), we obtain
n
(13) ~ e-i/Xyn(X) X (an,qCOS q¢+bn,qSin q¢)P~(cos O) = F(x,O,¢).
n=O q=O
We now multiply both sides of (13) by Ym(X)e"I/x and integrate around the unit
and of the associate Legendre functions, one obtains (see, e.g. [SS]) explicit values
for am,q and bm,q :
= (m-cO :
2~am, q (2re+l) (re+q)! /o2~ ivo Km(e'¢)Pq(c°s O)cos q¢ sin 0 dOd¢,
(m-q) :
2~bm, q = (2m+l) (m+q)' fo2~ ITO Km(O'¢)Pq(c°s O)sin q¢ sin @ dOd¢.
m by n, the function
U(r,e,¢,t)
(14)
n
-i -ikr
X (ikr) e Yn(i/ikr) X (an,qC°S q¢+bn,qSin q~)P~(cos @)cos(kct)
n=O q=O
136
is the required solution for the wave component corresponding to the given k. If
there are several frequencies present, then the superposition of solutions of the
type [14) will give the complete solution.
function" of f(x). Given a probability density f(x) and its characteristic function
¢[t), let us set c m [ t ) = {¢(t)} I/m. The question arises: is it true that for every
In other words, given any integer m, is it true that there exists a non-negative,
Lebesgue integrable function g(x) (= gm[X)), such that ~m(t) = f ~ g(x)eltXdx?
If such a function g(x) exists for every m, we say that the probability density
function f(x) is infinitely divisible. The same terminology is used in the case of
a [not necessarily differentiahle) distribution function F(x). For a more detailed
discussion of this topic see [~7]. Much work has been done on the investigation of
conditions that insure infinite divisibility (see, in particular, [45] and [19]).
Recently, Thorin [SS] and Bondesson [7] have determined large classes of distribution
functions that are infinitely divisible. In fact, the results of [7] contain as
particular cases those presented here; however, due to the generality of the problem
considered in [7], the methods used there are rather deep. Here we shall restrict
ourselves to some simple, specific cases, namely the Student t-dlstributions of an
odd number of degrees of freedom. The corresponding density function is
2
x )-k
(15) f2k_l(X) = Ck(l+
r(k)
with the normalizing constant c k = ¢[2k-I)~ F(k - 1/2)
2
REMARK. Let us observe parenthetically that if Xm is a chi-square random variable
with m degrees of freedom, then the infinite divisibility of fm(X) implies also
2-i
that of (Xm) ; we shall prove this infinite divisibility, as stated, for all odd
m = 2k-l. A proof valid for all m (in fact, for all real m > 0) can be found in
[56]. Still more general results are obtained in [36].
The present proof is based on the following Theorem A of Kelker [65]. We re-
call that a function ¢(t) is said to be completely monotonic on an interval I, if
on I the function and all its derivatives satisfy the inequality (-l)n¢(n)(t) > 0
[n = 0,i,2 .... ).
137
[0,~).
Here Km(U ) is the Bessel (or Macdonald) function discussed in Chapter 2.
Kelker [65] and Ismail and Kelker [62] proved the complete monotonicity of
Cm(t) for some small half-odd integral values of m, from which the infinite divi-
sibility of f2k_l(X) as given by (15) followed for the first few integral values of
k. They also conjectured that ~m(t) is completely monotonic for all real m, from
which follows, in particular, the infinite divisibility of f2k_l(X) for all integers
k. For further results on this problem, see besides [55] and [56], also [35], [36].
It is clear that if ¢(f) = I~ g(u)e-tUdu, with g(u) > 0 for 0 < u < ~,
0
THEOREM B. (S. Bernstein; see [6S]). The function ¢(t) i8 completely monotonic, if
and only if it is the Laplace transform of a (not necessarily j%nite} measure, i.e.
one has ¢(t) = Ie g(u) e-tUdu, with g(u) > 0 on 0 < u < ~. We shall denote the
Laplace transform of g(u) by i(g)(t) and the inverse transform of ¢(t) by i-l(¢)(u).
We shall prove
THEOREM i. For every odd integer n ~ i, set ¢(t) = On_l(tl/2)/On(tl/2 ) and let
8j (= 8~n)) (j = 1,2 ..... n) be the zeros of the BP @n(Z); then, if g(u) = L-l(¢)(u),
we have
2
(16) g(u) = (~u)-I/2- 2~ -I/2 i e ~.u
J I~ e _v2dv,
j=l -~j~-
and g(u) is completely monotonic; in particular, g(u) ~ 0 on 0 < u < ~.
COROLLARY I. For every odd integer n, fn(X) (as defined by (iS) with n = 2k-l)
and
Kn_l/2(tl/2) On_l(t 1/2)
¢n+l/2(t) = tl/2Kn(tl/2) en(t 1/2)
Now the Corollary follows from Theorem 1 on account of Theorem A and the Remark
preceding it. It remains to prove Theorem i.
On_lCtl/2) n
Proof of Theorem i. By ( i 0 . 1 4 ) , = 1 ; hence,
en(tl/2 ) j=l 8j (Sj-t 1/2)
n n
= I i-i 1 - - Z I i-i I
g(u) = /-ic¢)(u) j!l ~j 8j-t I/2 j=l ~ j tl/2+C-Bj )
By Theorem i0.5 and Corollary 10.2, Re 8j < O; hence, Re(-8j) > 0 and the last in-
verse Laplace transform may be computed. In fact, it is knowm (see e.g., (29.3.37)
in [~]) and we find
2
n
1 1 + 8je 8.u
] erfc(-Bjul/2)}, where erfc(-Bju I/2) =
g Cu) : - l
j=l ~ { ~
2
2 - 1 / 2 /-Sj~ e-v dv. By using also (10.2') we obtain (16). It remains to show
the complete monotonicity of g(u). In fact, we only need the positlvity of g(u),
in order to apply Theorem B, but it is easier to prove the stronger statement.
Indeed, let
n -1/2 2 -i
@(x) = w-l{x-i/2 + [ 8ix (x+Bj) }.
j=l
j:l j=Z
polynomial with real coefficients.
As just recalled, we know from Chapter I0 that none of the 8j's is purely
imaginary; hence, q(x) has no positive zeros and, consequently, does not change
n
sign on [0,~). As q(0) = ( ~ 8j) 2 = {(2n)'./2nn!} 2 > 0, one has q(x) > 0 for
j=l
is a polynomial of exact degree n; it also has only real coefficients (namely symme-
tric functions of the 8j's) and so is real for real x. For x + ~, ~(x) =
p(x)/q(x) ÷ i, so that, by q(x) > O, also p(x) > 0 for large x. We now claim the
validity of
n
LEM~ i. p(x) = x .
Assuming the Lemma for a moment, p(x) > 0 for 0 < x < ~; hence, ~(x) > 0 on
0 < x < ~, so that g(u) is indeed completely monotonic and the proof of Theorem 1
is complete. It only remains to justify the Lemma.
Proof of Lemma i. From q(O) / 0 follows that ~(x) and p(x) vanish (if at all) to
n
the same order at x = O. However, by (10.2') 4(0) = l+ [ B? 1 = 0 and
n j=l l
~(m)(0) = ~ 8j (2m+l) = 0 (m = 1,2 ..... n-l), so that ~(x) has a zero of order at
j=l
least n at x = 0. This shows that p(x), of degree n, also has a zero of order n
this the Lemma is proved and all assertions of this sections are justified.
di (t)
the terminals of a coil of self inductance of L henrys equals L ~ volts, and
connected, e.g., to a large resistor, say p, and we are interested in the output
potential e2(t) between its terminals, or, equivalently, in the output current
i2(t ) = e2(t)/p.
lnl
il(t) i2(t)
Rn3~~l C , ~ C n 2
: I ÷
e~(t 2( p
A
Cn3 ~ / ~ %2
Fig, 1 Fig. 2
A typical loop, say, the n-th loop may look like Fig. 2.
If we write the Ohm-Kirchhoff equations for the n-th loop, this has the form
of an integro-differential equation
• d .
for the transform of a given current i(t) = inj(t) in a given branch j of the n-th
collected at the output with a minimum of distortion. For instance, at the input
we may collect through an antenna the e(t)'s due to many broadcasts, but at the out-
put we want to eliminate all, except one, and this one with as little distortion as
possible. Such a network, called a filter, would give us, ideally, an output like
that of Fig. 3, with the "cut-off frequencies" ~i and ~2" Often, with no particular
~1 °~2
faithfully (distortionless) as possible at
Fig. 3
the output. Then we speak of a time-delay
network.
output a large resistor, in order only to collect there e2(t), the network may be
considered a one-port (two-terminal) one. The relation between ll(S ) and El(S )
being linear, there exists a function Z(s), called driving point impedance function,
such that El[S) = Z(s)II(S ).
Similarly, E2(s ) and El(S ) are related hy E2(s) = T(S)El(S ) (T(s) = transfer
function). Both, Z(s) and T(s) are obtained as solutions of linear equations of
the form (19), so that both are rational functions of s. In many cases one is
interested in Z(s), or in T(s), for s = i~ (m = 2~f, f = frequency, T = f-I = period)
purely imaginary; in that case one speaks of Z(iu) simply as the (complex) impedance.
The following properties of Z(s) may be proved (see, e.g. [60]): If the net-
work is passive and consists only of resistors, coils and condensers, then Z(s) is
real for real s, Re Z(o+im) ~ 0 for o ~ 0, with Re Z(c+im) = 0 possible only for
a = 0. Any function with these properties is said to be a p.r. [positive, real)
function; it maps the closed right half-plane into itself, so that any purely ima-
ginary boundary points of the image can have as inverse images only points also on
the imaginary axis. If Z(s) is p.r., then so is Z(s) -I and also the composition of
Z(s) with any other p.r. function. Neither zeros, nor poles of Z(s) may belong to
the open right half-plane and if a pole is purely imaginary, then it must be simple,
with positive residue. The difference between the degrees of numerator and denomina-
tor of Z(s) cannot exceed one. Many of these properties are shared by T(s), hut not
the last restriction.
If a polynomial has the property that it has no zeros in the right half-plane,
it is called a Hurwitz polynomial. By what precedes, both, the numerator and the
denominator of Z(s) (and also of T(s)) must be Hurwitz polynomials. The following
Proposition holds:
142
PROPOSITION I. The ratio of the s~n of the even powers to the s~n. of the odd power8
of a Hurwitz polynomial is a p.r. function.
The converse of this proposition is not quite true; indeed, if H(s) is a Hurwitz
polynomial, then K(s) = (s2-a2)H(s) is not Hurwitz; nevertheless, the ratio of the
sum of its even powers to that of its odd powers is the same as for H(s), and hence
is a p.r. function. We also remark that, after the elimination of factors that are
common to the sums of even and of odd powers, the even and odd "parts" of a Hurwitz
polynomial are themselves Hurwitz polynomials, as numerator and denominator of a p.r.
function.
If we now consider the ideal output like the one in Fig. 3, it is rather clear
that continuous functions will not lead to it. We may try to obtain an acceptable
approximation to it by continuous functions, by settling for a graph of one of the
two shapes of Fig. 4(a), or (b).
(a) (b)
Fig. 4
Let us take, for simplicity, t o as unit of time (i.e., set t o = i); we shall
attempt to approximate it by partial sums of its Maclaurin series. However, not only
the partial sums of e -s (l-s, l-s+s2/2 etc, have obviously zeros in the right hand
plane), but also the partial sums of e s with more than 4 terms have zeros with posi-
tive real parts (see [37]), hence, are not Hurwitz polynomials. Such a transfer
function cannot be realized by an R-L-C network. On the other hand, we know from
Chapter i0, that @n(Z) is a Hurwitz polynomial and from Chapter 13 that
Formula (20) puts into evidence the "distortion factor" An(S) = anSnl(s)e s. This
approach seems to have been discovered by W.E. Thomson around 1949 (see [107] and
[108]), by the study of certain multistage amplifiers that gave desirable outputs.
The corresponding transfer functions led him to the BP (at that time not yet so
named) and, specifically, to the recursion relation (3.5). Implicit in his work
seem to be also Burchnall's relations (10.2), (10.2'). Thomson also tabulates the
zeros of @n(S) for n = 1,2,...,9 to four decimal places (Table 1 in [108]).
If we had A(s) = i, then T(s) = e -s would be the ideal transfer function, that
reproduces the input function faithfully at the output with only the fixed delay 1
(or t o in the general case). In fact, An(S ) ~ I; specifically, for s = i~, or
imt
rather s = i~t ° if t o ~ i, An(i~to) = an@ ~ ici~to) e o = An e iE , say, with A n =
produces faithfully at the output the variation of the applied potential el(t), with
only a fixed time delay t o .
144
what here "high" means depends on n) are practically not transmitted, so that the
filter can be made to work (by proper choice of n and by the realization of the net-
work corresponding to that Tn(S) ) as a low-pass filter.
in the two extrema cases, it does convey much information on the dependence of e2(t)
on el(t ) . With this caveat in mind, we now proceed to determine the exact value of
An(S)-
obtain
= _i-(n-i/2) ~ sn+i/2 i j • .
sin (n~+~/2) _(n+i/2)(-sz)-12n+iJn+i/2(-si)).
~-~ n+i/2((_l)n J
= ~ -(n+i/2)(~)-iJn+i/2(~))
and
n
a e
-im ,
(21) Tn(im ) = mn+l /~___
2~ {(-l)nJ-(n+i/2)(~)-iJn+i/2 (~)}
a result already obtained by L. Storch (see [106]). If to ~ I, we have to replace
everywhere m by ~t .
o
It is of some interest to observe here that the vanishing of many of the sums
of odd powers of zeros of the BP (explicitly quoted in [106] and in [108]) is the
fundamental reason for the favorable characteristic of the networks based on BP,
that earned it the name of maximally flat delay network.
For whatever interest it may have, the general t~)e of network that realizes
Fig. 5
Here G(s) depends, of course, also on x, but, for simplicity this dependence will
not be emphasized by the notation. Also, we shall write again c, rather than c'
for the (rather arbitrary) abscissa of integration and denote an integral taken
along a parallel to the imaginary axis, at the abscissa c, simply by f(c)" Next,
we recall (see, e.g. [15], p.128) that F(z), being a Laplace transform, has to
vanish for z ÷ ~ and satisfies also some other conditions. In many cases of inte-
-i
rest it is either a polynomial in z , without constant term, or at least can be
well approximated by such a polynomial. In analogy with the real case, the quadra-
ture formula to be obtained will be exact, if G(s) is a polynomial without constant
term in s -I , say P2n(s-l), of a degree not in excess of 2n, where n is the number
L(n+l)(s -I) of degree n+l, that coincides with P2n(S -I) at all points sk (also at
It follows that the polynomial P2n(s-l)-L (n+l)(s-1), of degree 2n, contains the
n
factor s-lpn(S-1), where Pn(S -1) : I I (s-l-ski) • Hence, P2n(S -1) = L ( n + l ) ( s -1) +
k=l
s -lpn(S-1)rn-l(S-1) , w i t h a p o l y n o m i a l rn_ 1 ( s - l ) o f d e g r e e at most n - 1 . Consequently,
n
1
2~i $c es ~ L~ n+l)(s - l)P2n(sil)ds
- + ~ -1 f(c) e s s - ipn(s-l)rn_ I (s-l)ds. In the
i=]
first integral, the last te~ (corresponding to Sn+ 1 = =) has been left out, because
-i
it vanishes on accoant of P2n(Sn+l) = P2n(0) = 0. The second integral vanishes
t e d i n such a way, t h a t the Pn(S-l)'s are orthogonal t o each o t h e r , with the weight
s-1
function e s Indeed, if
147
(25) I(c)eSs-lpn(S-1)pla(s-1)ds = 0
follows.
We shall see that such a choice is possible. Assuming this for a moment , (24)
becomes
n
(28) x f(x) = [ A~n)P2n(sil) w i t h A! n ) - 1 eSs-lL(n+l)(s-1)ds.
i=l ' t - --Y(c)
2~i i
It is clear that the A~njf~, the so called Christoffel constants, are independent
i
of the functions involved, as t h e L!n+l)l d e p e n d o n l y on t h e c h o i c e o f t h e s~ n)
The Gaussian quadrature formula (28), exact for polynomials 02n(S -1) without
constant term and of degree at most 2n will have been established, as soon as we
show how one can select the constants s k = s~n)- so that (25) should hold.
n-I
In g e n e r a l , pn(Z) = z n + ~ b z u, so t h a t (26) becomes
n
(29) ~ b 1 s -i
~=1 u 2--~T l ( c ) e s • s-~-Jds = 0, b n = 1.
m
The i n t e g r a l i n (29) e q u a l s ~ 1 1 s ds. Here a l l integrals
m=0 m! 2~i l(C) s~+J+l
1 ds
vanish, except that for m = u+j, when ~ l(c) --~ = i. The sum over m becomes
1
(~+j)! and (29) y i e l d s
n b
(30) ~ (u+j), = 0 for j = 0,i, . ..,n-l.
~=0
One may verify that the determinant of the b ' s (0 ~ ~ S n-l) is different
Once we know t h a t tile b ' s (hence, t h e pn(Z) a n d , t h e r e f o r e , the Sk'S) are uniquely
(as Y ÷ ~, the contributions to the integral in the original and in the modified
path, essentially reduce to that from c-iY to c+iY); next this open contour may
be replaced by the closed rectangle of vertices c±iY, -X±iY (observe that the inte-
grand has no singularities with Re s < -X, if X is sufficiently large); in a third
deformation, the rectangle may be replaced by a circle of diameter from -X to c;
finally, we invert this circle in the unit circle and take as new variable z = i/s.
In this way, it is seen that (25) is equivalent to
(31) I c el/Zz-lpn(Z)pm(z)dz = 0
p(z;l,-l) = ~ (r(n))-iz -n =
z- l e l / Z . Corollary 5 now reads
n=l
for0<m<n.
It follows that if we take in (31) pn(Z) = CnYn(Z;l,-l), then (25), hence,
reciprocals of the zeros of yn(Z;1,-1), i.e., they are the zeros of the polynomials
@n(Z;1,-1). This finishes the proof of the exact quadrature formula (28).
of degree < n-I but is holomorphic for Re s > c (see [13]). Instead of (28) we now
obtain
n
xf(x) = [ A~n) G ( s i l ) + R,
i=l
1 s-i -
where R = 2 ~ i l(c) e s CnYn(S 1 ) g ( s - l ) d s is an e r r o r term. While this, in gene-
ral, is not identically zero, it may still be possible to obtain an upper bound for
149
IRI, in a way similar to the classical case of real paths of integration and (28),
while not exact, gives a usable approximation to the inversion.
In [99] Salzer lists the polynomials yn(z;l,-l) for n = 1(1) 12 (this notation
means that n runs from 1 to 12, with the difference between consecutive entries
indicated in the parentheses), the zeros of the corresponding @n(Z;l,-l) to 8 signi-
ficant figures and coefficients A {i) to 7 or 8 figures.
n
In [I00] Salzer completes the theory of BP, by quoting Krall and Frink, Burch-
nall, Agarwal, A1 Salam, Ragab and Brahman. He extends his list of polynomials to
n = 16, and tabulates the zeros of the On(Z;l,-l) and the Christoffel numbers for
tables for the numerical inversion of the Laplace transform were published by
~n), respectively. See also [103]. Next, Krylov and Skoblja, in [69] tabulate
Many papers related to BP have not been considered in detail in the preceding
chapters. Sometimes, when such a work was related to a topic discussed, or was a
rediscovery of an older result, it was at least quoted. This was the case, e.g.,
with many papers on generating functions of BP. In other cases, however, when a
paper treated some isolated topic, not easily fitted into some broader category, the
paper often was not mentioned at all. Among these papers are some very valuable
ones, other of a more routine character and also some (fortunately very few) with
erroneous claims. It also is not surprizing that among the so far ignored papers,
many are by authors some of whose other work on BP has already been prominently
displayed.
The purpose of the present chapter is to attempt to mention all these, so far
neglected papers and their authors and to state at least briefly and without proofs
the results obtained.
A major difficulty is to make such a presentation in a systematic way. It
could, perhaps, be considered desirable to arrange the material by subject matter.
In fact, when several papers discussed related topics, in general they could already
be fitted into one of the preceding chapters. Most of the material here considered,
consists of papers each of which discusses a more or less isolated subject.
In spite of many advantages, also a strictly chronological presentation would
not be very useful. Indeed, some authors worked on different topics related to BP,
throughout many years and their names would be intermingled in a rather confusing
way. For these reasons it has appeared that the most convenient way is to list
these papers by authors. In order to facilitate the search for a specific paper,
whose author is known, the authors are listed in alphabetic order. The papers of
any given author, however, will then be listed in chronological order, under the
heading of their author.
With very few exceptions, it has been possible to obtain the original papers.
Whenever this turned out to be impossible, or to require an excessive investment of
time, the information concerning its contents was obtained through the reviewing
journals, especially the Mathematical Reviews.
Even in the cases, when the original paper was accessible, no critical apprai-
sal of its contents appeared possible, or even desirable. An exception was made
when a result appeared to be plainly erroneous, or valid only under restrictions not
stated explicitly.
i. W.H. Abdi [i]. We recall the definition of the basic hypergeometric series (see,
a(a+l) ~:: Ca+n- l)
e.g. [6]). A new parameter q is introduced, lql < i. The ratios c(c+l) Cc+n-l)
(l-qa~(l-~a+l)'''~ (a-qa+n-l) One observes that the limit of the new ratio, for
(l-q c) (l-q c+l) ... (l_q c+n-l) •
x i n s t e a d o f - x / b ) and d e f i n e s t h e b a s i c BP by
(l+x) n = I [ ( l + x q k ) / ( l + x q k + n ) , and ( l - q ) n = ( q ; n ) .
k=0
and
i f~ ta-2+n(l+tx/b)ne-tdt.
Yn (z;a'b) = r(n+a-l) o
relation (due to Krall and Frink; see Section 19 of the present chapter)
1
(2) f~(x,a-2) = ~ n(n+a-l)f_l(x,a);
and,more generally,
A~Yn(X;a ) = n(k)(x/2)kyn_k(x;a+2k);
in particular,
A~Yn(X;a ) = n!(x/2) n.
From this and Newton's formula f(a+v) = ~ (~)Arf(a) the author infers that the
r
BP satisfy the identity
Let now fn(X,a) be any sequence of functions, not necessarily polynomials, de-
be normalized by fn(O,a) = fo(x,a) = 1 and assume that the fn(X,a) satisfy (3) and
u+v~n . uv n (-n) s ( 2 s + a - 1 ) r ( s + a - 1 )
(- ~ J Yn[u-~-~v,a) = ~ s'F(n+s+a) Ys(U'a)Ys ( v ' a ) ;
S=O
and
yn(~)yn(
_ x ~)x = ~l (~)'x'2nf~o t2nL(-n-i/2)(-s2/2tx2)e-t/2dtn
2n÷2 2
s 11' f~o tnyn (-8x2t' 2-3_n)e-tS dr.
to (3.16) and (3.22) (for a = 2). Ile also gives new characterizations of the BP,
of which the f o l l o w i n g i s t y p i c a l :
Given a sequence of polynomials fn(X), of degrees n (n = 0 , 1 , 2 . . . . ) , n o r m a l i z -
ed by fo(x) = 1, then fn(X) = Yn(X) i f and only i f
(4) x2 d )2
~" (fn(X)fn_l(X)) = (fn(X)-fn_l(X) •
polynomial s o l u t i o n v n( a ) ( x ) to ( 3 . 2 0 ) . z n( a ) ( x ) can be r e p r e s e n t e d by a d e f i n i t e
integral and also in terms of Whittaker functions. For integral a > -n, z(a)(x) is
- n
f u n c t i o n s , m u i t i p I i c a t i o n theorems, e t c .
As particular cases, the author recovers several results of Ai-Salam and Carlitz
[7]. Next, some very general identities of Christoffel-Darboux type are presented.
Several properties of the BP yn(Z;a) are obtained, some of them new, others already
known (but often with new proofs), such as orthogonality (see [68] and [93]), sim-
plicity of zeros (see [53]), and others. The author shows that, for a > 2, all
zeros of yn(Z;a) are inside the unit circle (for a = 2 the result had been proved
in [53]) and those of v(a)(x) inside Ix[ < J 3/5 Also the irreducibility of
n
yn(Z;a), for a an integer, is proved for certain values of n.
4. W.A. AI-Salam and L. Carlitz. In [7] the authors study polynomials Un(Z), Vn(Z),
which are, essentially , the polynomials Pn(Z), Qn(Z) of Chapter 8. Here are some
characteristic results:
6m+2vn(6) ( l n 2n+l(n+l)"
= ,-I, 6 . IIere the 6's are Kronecker deltas and the
(2n+3)! mn
)'powers" are symbolic: a f t e r ym+lun(Y) and Bm+2vn(6) are computed, the exponents
( _ l ) n + l ( n + l ) ! 2 n+l
6
(2n÷1)! mn"
S. W.A. Ai-Salam and T.S. Chihara. The classical polynomials of Jacobi, Hermite,
and Laguerre are the only orthogonal polynomial solutions of
155
6. I. Bailey [i0] studies the convergence and, especially the C-I summability of
series of BP.
7. D.P. Banerjee [ii] discusses some non-linear recursions; his "Turin inequality"
is incorrect as printed (see [28] for correct form; an equivalent result had been
obtained earlier by L. Carlitz [19]).
and proves the inequalities of Tur&n type @n+l@n_l-e~ ~ 0 and en@~+l-@n+10~ ~ 0 for
In a sequence of three papers [23], [24], [25], the author establishes and
d
then uses operational formulae. In [23] he proves (with D = ~x ) that
n n
~-~ {x2D+(2j+a)x+b} = ~ bn-rx2ryn_r(X;a+2r+2,b)Dr , which he uses to show that
j=l r=o
min~n,m)
Yn+m(X;a,b) = (~) (~)r! x
(m+2n+a-l)r(~) 2r Yn_r(X;a+2r,b)Ym_r(X;a+2n+2r,b).
r=o
156
and
xn(D_(2x+n+l)x-l) n = ~ (-2)n-rxrOn_r(X;2+r,2)D r.
r=o
bx n -bx n
e [ I (xD-a-2n+j+l)e y = [ (~)(-b)n-rxr@n_r(X;a+r,b)Dry,
j=l r=o
These polynomials generalize the BP, to which they reduce for k = 2 (see (7.2"),
while Mn(X,3 ) = Yn(X;n+2,3).
2
In [32] the author proves Tur~n's inequality &n(X) = ynYn+2-Yn+l >_ 0 for x ~ 0
f]xl= 1 (x-2an(X)-X-1)e-2/Xdx = 8 ~ i ( - 1 ) n + l ( l + [ ~ ] ) .
In [33], in analogy with Burchnall's operator Q(~) (see [17] and Theorem 2.21 the
author introduces the differential operator Q(6) = 6(6-2)...(6-2n+2) and studies
In [34] the author gives a proof, different from Carlitz's [19], for Tur~n's
inequality
10. C.K. Chatter~ee [38] proves (a) t h a t f o r n > 1, y~(x) and y~_l(X) have no
Ii. J.A. Cima [40] gives a correct proof for the statement that Y2n(X) # 0 for
all real x, whose proof in [53] had been incorrect.
12. M.K. Dan published at least 5 papers related to BP. In addition to his work
mentioned in Chapter 6, we find in [41] that, if Y is a sufficiently differentiably
d
function and 6 = x ~-~x , as in Chapter 2, then
14. K. DoPey [48] completes and refines work of Obreshkov [82], both, on the zeros
of BP and on the expansions of functions in series of BP. The author's contribution
to the first topic was presented in Chapter 10. In connection with the second, the
author proves the following Abelian theorem: Let us assume that the series
anYn(X;a,-I ) converges in a subset D of Izl < IXol to the function f(x), that
n=o
x ° belongs to the closure of D,and that the series converges also at x = x ° to s;
then lim f(x) = s, provided that the path along which x approaches x ° is inside D.
x+x
o
15. M. Durra S.K. Chatter~ea, M.L. Moore study in [49] a class of orthogonal poly-
-12n+In!eXe2n+l f~ cos t dt
@n (x) = o (t2+n2)n
@n(U)@n(V) =
(2~)-I/2eU+V I~ e -(t+(u+v) 2/t)/2~n-I/2~
L
rU+V~j.
~ n L'--~J UL.
In [52] the author rephrases some (known) ~nfin~te integrals that involve Kn+i/2(x),
18. M.E.H. Ismail [61] g e n e r a l i z e s and s o l v e s a problem that had previously been
a s k e d b y R. A s k e y [ Z ] . The p r o b l e m , i n i t s generalized formulation, is the
following: Let Pn(x,a) be a s e q u e n c e o f p o l y n o m i a l s , orthogonal o v e r an i n t e r v a l I,
with respect to a weight function w(x,a), where both, the polynomials and t h e w e i g h t
function depend besides the variable x aiso on a p a r a m e t e r a. Given also a se-
q u e n c e a n (n = 0,1,2,...), integers N a n d M, and c o n s t a n t s a,b,c,d, it is required
determined and among the solutions Pn(x'a) are found also the BP.
The author obtains as one of his results also the following formula (previous-
ly obtained by Ai-Salam [3]):
(a+n-l)k (4k+c-n-a)n_ k
Yn(X;a) = k=o~ (2) (c*n-l)k (2k*C)n-k Yk(X;e)"
Other contributions of the author with Kelker to the theory and applications of BP
have been mentioned in the Introduction, and in Chapters i, i0, and 14.
19. H.L. Krall and O. Frink coined the name Bessel Polynomials in [68] and much of
their work has been discussed in preceding ch~ters. Nevertheless [68], contains
also some topics, mainly related to the generalized BP yn(Z;a,b), a ~ 2, that were
not discussed so far and they deserve mention at this place.
Several recurrence relations occur in [68], not mentioned in Chapter 3. Also
the differential equation for y'(z;a,b),
159
the value a+2 for its principal par&meter. As y~(z;a,b) is a polynomial of degree
21. N. Obreshkov's paper [82] has already been mentioned in connection with DeWey's
work on the zeros of BF in Chapter i0. In the same paper the author also studies
expansions of holomorphic functions in series of BP.
that raise, or lower the value of the parameter a, and expansions of Ya(z-utzl/2)
n
a = +i.
23. F.M. Rahab ~8] states and offers proofs for five summation formulae, of which
the following is the simplest:
n
(n) P(2-a) 2x, r ,x .
(7) £(2-a-r) (- --b-J Yr(2 ' a,b) = Y2n(X;a-2n,b).
r=o
that (7) becomes yo( ~x ," l,b) = Y2n(X;l-2n,b), which is obviously incorrect. Indeed
x
yo( ~ ; l,b) = i, while Y2n(X;l-2n,b) is a polynomial of degree 2n. For n = I, e.g.,
2
Y2(x;-l,b) = l+(4/b)x+(6/b2)x .
160
24. A.K. Rajagopal [91] verifies that a certain function, closely related to the
BP satisfies a certain equation (known as Truesdall's equation) and from this fact
he draws some (essentially known) conclusions about the BP themselves.
25. H. van Rossum, in [93] and [94] studies the orthogonality of the BP on hand
of the Pad~ table. He calls a sequence of real numbers c m "strictly totally posi-
tive" if all determinants ICm+i_jl ~,j = 0,1,2 ..... n-l) are positive for all
m = 0,1,2,... and n = 1,2,3 ..... If the Pa~e rational fraction of the square
~,v) of the power series ~ Cm zm has the denominator V ,~(z), then the polynomials
m=o
positive". They are orthogonal on the circle Izl = p+~ (p = lira sup {m C~m}, c > 0),
with respect to the weight function ~(k)(z) = ~ (_l)m+k+icm+k+l z-m-l; they have
m=o
only positive coefficients; m d they have all their zeros inside the circle
Izl < Cl/C o. The BP are an instance of totally positive polynomials, corresponding
= =
to c o cI i. The author's further contributions to the location of zeros of BP
26. P. Rusev [96] indicates sufficient conditions for thc convergence of series in
BP, similar to those corresponding to series in Jacobi polynomials inside an
ellipse with foci at +i and -I.
27. H. Rutishauser [97] uses continued fractions, in order to give elegant proofs
of results previously obtained by Ai-Salam and Carlitz [8] and by D. Dickinson [47],
concerning the orthogonality on the real axis of certain functions (denoted in [8]
by Un(X ) and Vn(X)), closely related to BP.
28. S. L. Soni [104] obtains operational formulae for the generalized BP by using
operators different from D(= d/dx) and 6[= x d/dx).
Yn ( - 2 / p ) o Ln(l_2t)e-Ptdt
= P f~ ' valid f o r Re p > 0; a n d , i n a somewhat c h a n g e d
notation,
(b) representations of the type
161
31. It is not possible to conclude this chapter, as well as this monograph, with-
out the sincerest apologies of the present author to the many contributors to the
theory, or the applications of BP, whose work was either overlooked, or misinter-
preted, or underevaluated. Ideally, every one of them, who could be located, ought
to have received the intended text (at least in as far as it related to his/her
work), with a request for approval and/or comments. Due to the large number of
contributing mathematicians, their dispersal throughout the world, the many years
that have elapsed since many of the papers were written - and, last, but not least,
the fact that, unfortunately, some of them are no longer alive, this ideal proce-
dure was not practicable. Even the partial execution of the possible part of this
program would have entailed such an additional delay for the present publication,
that the value of this monograph itself would have been put in question, l:or this
reason the present author counts on the understanding of his colleagues, and on
their forgiveness of his sins of omission and commission.
APPENDIX
of a, such that yn(Z;a) = 0 has a real zero, if n is odd, may deserve study.
163
7. Determine good upper and lower bounds for the real zero of yn(Z;a), n odd,
where a ~ A 2 (see Problem 6).
8. Find explicit formulae for ~(n) and ~(n), the sums of the r-th powers of
r -r
the zeros of yn(Z), and of 0n(Z), respectively; if possible, generalize to the case
of arbitrary a ~ 2.
9. Prove that yn(Z) (hence, also 0n(Z)) is irreducible over the rational field
for all n; failing that, prove the irreducibility for a large class of values of n.
i0. If possible extend the results of 9 to yn(Z;a), for a ~ 2.
ii. In Chapter 12 the proof that the Galois group of yn(Z) is the symmetric
group on n symbols required almost a case by case consideration for each n < 13.
The problem is to find a unified approach that works for all these small values of n.
12. Define the function fn(Z;a) by (see (13.9)) fn(Z;a) =
2. R.P. Agarwal - On Bessel Polynomials - Canad. J. Math., vol. 6 (1954), pp. 410-
415; MR 15-955.
3. W.A. Ai-Salam - The Bessel Polynomials - Duke Math. J., vol. 24 (1957), pp. 529-
545; MR 19-849.
4. W.A. Ai-Salam - On the Bessel Polynomials - Boll. Un. Mat. Ital. (3), vol. 2
(1957), pp. 227-229, MR 19-542.
5. W.A. Ai-Salam - Some functions relayed to the Bessel Polynomials - Duke Math.J.,
vol. 26 (1959), pp. 519-539; MR 22 #120.
6. W.A. Ai-Salam - Remarks on some operational formulas - Rend. Sem. Mat. Univ.
Padova, vol. 35 (1965), pp. 128-131; MR 31 #4935.
8. W.A. Ai-Salam and L. Carlitz - Bessel Polynomials and Bern~oulli Numbers - Arch.
Math., vol. 9 (1959), pp. 412-415; MR 21 #3597.
II. D.P. Banerjee - On Bessel Polynomials - Proc. Nat. Acad. Sci. India, Sect. A,
vol. 29 (1960), pp. 83-86; MR 26 #1505.
12. C.W. Barnes - Remarks on the Bessel PoLynomiaLs - Amer. Math. Monthly, vol. 80
(1973), pp. 1034-1041; MR 49 #660.
13. R.P. Boas, Jr. and R.C. Buck - Polynomial expansions of Analytic Functions -
Springer-Verlag, Berlin, 1958; MR 20 #984.
15. F. Brafman - A set of generating functions for Bessel Polynomials - Proc. Amer.
Math. Soc., vol. 4 (1953), pp. 275-277; ~ 14-872.
16. J.W. Brown - On Burchnall's generating relation for Bessel Polynomials - Amer.
Math. Monthly, vol. 74 (1967), pp. 182-183; MR 36 #4034.
17. J. Burchnall - The Bessel Polynomials - Canad. J. Math., vol. 3 (1951), pp. 62-
68; MR 12-499.
19. L. Carlitz - A note on the Bessel Polynomials - Duke Math. J., vol. 24 (1957),
pp. 151-162; MR 19-27.
20. B.C. Carlson - Special functions of applied mathematics - Academic Press, New
York - London, 1977.
21. S.K. Chatterjea - On the Bessel Polynomials - Rend. Sem. Mat. Univ. Padova,
vol. 32 (1962), pp. 295-303; MR 26 #373.
22. S.K. Chatterjea - A Note on Bessel PoLynomials - Boll. Un. Mat. Ital. (3),
vol. 17 (1962), pp. 270-272; ~ 26 #1506.
25. S.K. Chatterjea - Operational formulae for certain classical polynomials III -
Rend. Sem. Mat. Univ. Padova, vol. 33 (1963), pp. 271-277; MR 27 #3846.
26. S.K. Chatterjea - An integral representation for the product of two generalized
Bessel Polynomials - Bull. Un. Mat. Ital., vol. 18 (1963), pp. 377-381;
MR 28 #5200.
28. S.K. Chatterjea - On a paper by Banerjee - Bull. Un. Mat. Ital., vol. 19 (1964),
pp. 140-145; ~ 29 #3695.
29. S.K. Chatterjea - A new class of polynomials - Ann. Mat. Pura Appl., vol. (4)
65 (1964), pp. 35-48; ~ 29 #6073.
30. S.K. Chatterjea - Some generating functions - Duke Math. J., vol. 32 (1965),
pp. 563-564; ~ 31 #5989.
33. S.K. Chatterjea - Operational derivation of some results for Bessel Polynomials
Mat. Vesnik, vol. 3 (18), 1966, pp. 176-186; MR 34 #7833.
t
34. S.K. Chatterjea - On Turan's expression J~r Bessel Polynomials - Bangabasi
Morning College Ma~., vol. 2 (1966), pp. 18-19; ~ 35 #6876.
35. S.K. Chatterjea - Sur les polynomcs~ de Bessel, du point de vue de l'algebre de
Lie - C. R. Acad. Sci. Paris, Serie A, vol. 271 (1970), pp. 357-360;
MR 42 #3329.
36. S.K. Chatterjea - Operational derivation of some generatir~ functions for the
Bessel Polynomials - Math. Balkanica, vol. 1 (1971), pp. 292-297;
MR 44 #7008.
37. S.K. Chatterjea - Some properties of simple Bessel Polynomials from viewpoint
of Lie algebra - C. R. Acad. Bulgare Sci., vol. 28 (1975), pp. 1455-
1458; (not reviewed in MR up to 1977).
166
38. C.K. Chatterjee - ~ Bessei Polynomials i. - Bull. Calcutta Math. Soc., vol. 49
(1957), pp. 67-70; MR 20 #3308.
39. M.P. Chen and C.C. Feng - Group theoretic origins of certain generating func-
tions for generalized Bessei Polynomials - Tamkan$ J. Math., vol. 6
(1975), pp. 87-93; bIR 51 #8495.
40. J.A. Cima - Note on a theorem of OrosswaLd - Trans. Amer. Math. Soc., vol. 99
(1961), pp. 60-61; MR 22 #11156.
41. bl.K. Das - Operational representations for the Bessel Polynomials Bull.
- Soc.
Math. Phys. Mac~doine, vol. 17 (1966), pp. 27-32 (1968); MR 39 #501.
42. M.K. Das - A generating j~nction ~br the general Bessel Polynomial - Amer. Math
Monthly, vol. 74 (1967), pp. 182-183; MR 34 #7843.
45. M.K. Das - Operational ~ b ~ u l a s connected w~"~k some classical orthogonal ~oiy-
n~nials - Bull. Math. Soc. Sci. Math. R.S. Roumaine (N.S.)vol.14 (62)
(1970), pp. 283-291; MR 49 #10936.
46. G.K. Dhawan and D.D. Paliwal - G e n e r a t i r ~ I~nctions of Gegenbx~er, Bessel and
Laguerre Polynomials - Math. Education, vol. I0 (1976), pp. A9-AI5;
MR 53 #8963.
47. D. Dickinson - On Lom~el and Bessel Polynortials - Proc. Amer. Math. Soc., vol.
5 (1954), pp. 946-956; MR 19-263.
48. K. Do~ev - On, the generalized Bessel Polyno~qials - Bulgar. Akad. Nauk. Izv.
Mat. Inst., vol. 6 (1962),pp. 89-94; MR 26 #2645.
49. M. Durra, S.K. Chatterjea, M.L. Moore - On, a class of generalized Hermite poly-
nomials - Bull. Inst. Math. Acad. Sinica, vol. 3 (1975), No. 2, pp. 377-
381; b~ 52 #11149.
51. M.T. Eweida - On Bessel Polynomials - Math. Z., vol. 74 (1960), pp. 319-324;
MR 22 #8153.
52. M.T. Eweida - infinite integrals involvin~ ~ Bessei Polynomials - Univ. Nac.
Tucuman Rev. Ser. A, vol. 13 (1960), pp. 132-135; MR 24(A) #262.
54. E. Grosswald - Addendy2n to "~n some algebraic properties of the Bessel Polyno-
mials" - Trans. Amer. blath. Soc., vol. 144 (1969), pp. 569-570; MR 40
#4246.
55. E. Grosswald - The student t-distribution for odd degrees o f f reedom is infini-
tely divisible - Ann. Probability, vol. 4 (1976), pp. 680-683; MR 53
#14591.
167
57. E.A. Guillemin - Synthesis of passive Networks - John W i l e y & Sons, Inc., New
York; Chapman & Hill, Ltd., London, 1958; MR 25 #932.
58. W. Hahn - Ueber die Jacobischen Polynome und zwei verwxndte Polynomklassen -
Math. Z., vol. 39 (1935), pp. 634-638.
61. M.E.H. Ismail - Dual and triple sequence equations involving orthogonal poly-
nomials - Nederl. Akad. Wetensch. Proc. Ser. A, vol. 78 - Indag. Math.,
vol. 37 (1975), pp. 164-169; MR 52 #3901.
62. M.E.H. Ismail and D.N. Kelker - The Bessel Polynomials and the Student t-distri
bution - SIAM J. Math. ~lal., vol. 7 (1976), pp. 82-91; MR 52 #12164.
69. V.I. Krylov and N.S. Skoblia - Handbook on the numerical inversion of the
Laplace transform (Russian) - Izdat. "Nauka i Tehnika", Minsk, 1968, 295
pages; MR 38 #1814.
70. V.N. Kublanowskaya and T.N. Smirnova - Zeros of Hankel i~unctions and other
functions associated with them (Russian) - T r u d y Mat. I n s t . S t e k l o v ,
vol. 53 (1959), pp. 186-191; MR 22 #Ii05.
72. Y.L. Luke - f.~thematical Functions and their Approx~nations - Academic Press,
Inc., New York - San Francisco - London, 1975.
74. P.J. McCarthy - Approximate location of the zeros of generalized Bessel Poly-
nomials - quart, d. Math., Oxford, Ser. (2), vol. 12 (1961), pp. 265-267;
M R 25 #243.
77. H.B. Mittal - Polynomials deigned by generaving ~hnctions - Trans. Amer. Math.
Soc., vol. 168 [1972), pp. 75-84; MR 45 #3811.
78. H.B. Mittal - Same generating functions for polynomials - Czechoslovak Math.J.,
vol. 24 [99) [1974), pp. 341-348; M R 50 #660.
79. H.B. Mittal - Unusual generating relations for polynomial sets - J. Reine
Angew. Math., vol. 271 (1974), pp. 122-137; MR 51 #949.
80. R.D. Morton and A.M. Krall - Distributional weighv functions for orthogonal
polynomials - SI~M J. Math. Anal., vol. 9 (1978), pp. 604-626.
81. M. N a s i f - Note on the Bessel Polyna~ials - Trans. Amer. Math. Soc., vol. 77
(1954), pp. 408-412; MR 16 #818.
83. C.D. Olds - The simple continued ]>action expansion of e - Amer. Math. Monthly,
vol. 77 (1970), pp. 968-975.
84. F.W.J. Olver - The asymptotic expansions of Bessel Functions of large order -
Philos. Trans. Roy. Soc. London, Sec. A, vol. 247 (1954/5), pp. 328-368;
MR 16-696.
4
85. M. Parodi - Sur les Polyn~,es de Bessel - C. R. Acad. Sci. Paris , vol. 274A
(1972), pp. AII53-AII55; MR 46 #416.
2
86. A. Pham - Ngoc Dinh - Un nouveau type de devetopment des polyn~mes generalzses~
p " ~
de Besael - C. R. Acad. Sci Paris, Ser. A, vol. 272 (1971), pp. AI393-
A1396; MR 44 #2959.
88. F.M. Ragab - Series of products of Bessel Polynomials - Canad. J. Math., vol. ii
ii [1959), pp. 156-160; MR 21 #733.
89. E.D. Rainville - Generating functions for Bessel and related polynomials -
Canad. J. Math., vol. 5 [1953), pp. 104-106; MR 14-872.
90. E.D. Rainville - Special Functions - The Macmillan Co., New York, 1960; M R 21
#6447.
91. A.K. Rajagopal - On Bessei Polynomials - Bull. Un. Mat. Ital., vol. (3) 13
(1958), pp. 418-422; MR 21 #1408.
92. V. Romanovsky - Sur quelques classes nouuelles des polynomes orthogonaux - C.R.
Acad. Sci. Paris, vol. 188 (1929), pp. 1023-1025.
169
93. H. van Rossum - (a) A theo~j of orthogonal polynomials, based on the Pad$
Table (Thesis), University of Utrecht, 76 pages - van Gorcum, Assen,
1953;
(b) Systems of orthogonal and quasi orthogonal polynomials connected
with the Pad~ Table, I, 1~, I1~ - Nederl. Akad. Wetensch. Proc. Ser. A,
vol. 58 - Inda$. Math., vol. 17 (1955), pp. 517-525; 526-534; 675-682;
MR 19-412.
94. H. van Rossum - Totally positive polynomials - Nederl. Akad. Wetensch., Proc.
S e r . A, v o l . 6 8 - I n d a g . Math., voi. 27 (1965), pp. 305-315; MR 3 5 # 6 8 8 0 .
95. H. van R o s s u m - A note on the location of the zeros of the generalized Bessel
Polynomials and totally positive polynomials - Niew Arch. Wisk., vol.
(3) 17 (1969), pp. 142-149; MR 41 #534.
97. H. Rutishauser - Bemerkungen zu einer Arbeit yon A1-Salom unM Carlitz - Arch.
Math., vol. 10 (1959), pp. 292-293; MR 21 # 4 2 6 2 .
98. E.B. Saff and R.S. Varga - Zerofree parabolic regions for sequences of poly-
nomials - SIAM J. Math. Anal., vol. 7 (1976), pp. 344-357; ~ 54 #3060.
i00. H.E. Salzer - Additional formulas and tables for orthogonal polynomials
originating from inversion integrals - J . Math. and Phys., vol. 40 (1961),
pp. 72-86; MR 23B #B2612.
i01. R.R. Shepard - Active filters: Part 12 - Shortcut vo network design - Electro-
nics, August 1969, pp. 82-91.
f(x) = ~ 1 fc+i~
c-l~ eXP F(p)dp - Izdat. "Nauka i Tehnika", Minsk, 1964,
44 pages; MR 29 # 7 2 5 .
104. S.L. Soni - A note on Bessel Polynomials - Proc. Indian Acad. Sci. Sect. A,
vol. 71 (1970), pp. 93-99; MR 41 #7166.
105. H.M. Srivastava - On Bessel, Jacobi and Laffuerre Polynomials - Rend.Sem. Mat.
Univ. Padova, vol. 35 (1965), pp. 424-432; MR 33 #4346.
107. W.E. Thomson - Delay network having maximally flat frequency characteristics -
Proc. Instituto Electr. Engineers, vol. 96 (1949), Part Ill, p. 487.
170
108. W.E. Thomson - Networks with maximally flat delay - Wireless Engineer, vol. 29
(1952), pp. 256-263.
iii. H.S. Wall - Polynomials whose zeros have negative real parts - Amer. Math.
Monthly, vol. 52 (1945), pp. 308-325; MR 7-62.
113. A. Wragg and C. Underhill - Remarks on the zeros of Bessel Polynomials - Amer.
Math. Monthly, vol. 83 (1976), pp. 122-126; ~ 52 #1146.
115. L. Weinberg - Network analysis and synthesis - McGraw-Hill Book Co., Inc., New
York, 1955; Krieger Publishing Co., Huntington, N.Y., 1975.
116. A.H. Marshak, D.E. Johnson and J.R. Johnson - A Bessel ratior~! filter -
IEEB Trans. Circ. Supt. vol. CAS - 21 (1974), 797-799.
GENERAL LITERATURE, NOT DIRECTLY RELATED TO BESSEL POLYNOMIALS
3. I. Bendixson - Sur les racines d'une ~quation fondamentale - Acta Math., vol. 25
(1902), pp. 359-365.
II. H. Davenport - The higher arithmetic - Harper Torchbook - Harper & Brothers,
New York, 1960.
t" I , • • • J ~
12. M.G. Dumas - Sur quelques cas d zrreducvzbzl~te des polynomes a coefficients
rationels - J. Math. Pures Appl. (6), vol. 2 (1906), pp. 191-258.
13. G. Doetsch - Theorie und Anwendung der Laplace Transfor~ation - Springer Verlag,
Berlin (1937).
18. L.R. Ford - Differential equations, 2nd edition - McGraw Hill Book Co., Inc.,
New York, 19S5.
19. B.V. Gnedenko and A.N. Kolmogorov - Limit distributions for s ~ s of independent
random variables - Addison-Wesley Publ. Co., Inc., Cambridge (Mass.), 1954.
24. E. Grosswald - Topics from the theory of numbers - The Macmillan Co., New York,
1966.
25. E. Grosswald and H.L. Krall - Evaluation of ~wo determinants - Amer. Math.
Monthly (Advanced Problems; to appear).
30. I.N. Herstein - Topics in algebra - Blaisdell Publ. Co., Waltham (Mass.), 1964.
32. E. Hille - Ar~lytic function theor~q - Ginn & Co., Boston, 1962.
f
33. M.A. Hirsch - Sur les racines d'une equation fonde~nentale - Acta Math., vol. 25
(1902), pp. 367-370.
34. A. Hurwitz - Ueber einen Satz des Herrn Kakeya - Tohoku Math• J., vol. 4
(1913), pp. 89-93.
35. M.E.H. Ismail - Bessel functions and the inIKnite divisibility of the Student
t-distribution - Ann. Probability, vol. S (1977), pp. 582-585.
37. K.E. Iverson - The zeros of the partial s~ms of e z - Math Tables and other
Aids to Computation (~AC), vol. 7 (1953), pp. 165-168.
38. D. Jackson - Fourier Series and orthogonal polynomials - Carus Monograph No. 6,
The Math Assoc. of America , Oberlin (Ohio), 1941.
• • .
39. C. J o r d a n - Sur la limite de transztzvzte des groupes non altern~s - Bull. Soc.
Math. France, vol. 1 (1872/3), pp. 40-71.
41. E. Laguerre - Sur la distribution dans le plan des racines d'une equation alg~-
brique, dont le premier membre satisfait ~ une Equation lineaire du second
ordre - C.R. Acad. Sci. Paris, vol. 94 (1882), pp. 412-416; 508-510;
173
43. E. Landau - Hand~uch der Lehre yon der Verteilung der Primzahlen - Teubner,
Leipzig, 1909.
46. F.W.J. Olver - The asymptotic solution of linear diJ~'erential equations of the
second order Ibr large values of a par~neter - Philos. Trans. Roy. Soc.
London, Set. A, vol. 247 (1954/5),pp. 307-327.
. , H
47. O. Perron - Die Lehre yon den Ketvenbruchen - Teubner, Leipzig, 1929.
49. G. P~lya aad G. Szeg~ - Aufgaben und Lehrs~tze ~as der Analyse - Julius Sprin-
ger, Berlin, 1925.
55. J.A. Stratton - Electromagnetic Theory - McGraw Hill, New York, 1947.
57. P.L. Tchebycheff - Sur l'Interpolation - Zapiski Akad. Nauk., vol. 4, Supple-
ment 8 (1864); Oeuvres, vol. ii, pp. 539-590.
59. B.L. van der Waerden - Modez~ Algebra (Revised English edition) - Frederick
Unsar Publ. Co., New York, 1949.
60. J.H. Wahab - New cases of irreducibility for Legendre Polynomials-Duke Math.J.,
vol. 19 (1952),pp. 165-176.
174
61. G.N. Watson - A treatise on the theory of Bessel Functions, 2nd edition -
Cambridge University Press, Cambridge (England), 1946.
63. L. Welsher - Generating functions for Hermite functions - Canad. J. Math., vol.
ii (1959), pp. 141-147.
66. E.J. Whittaker - Sur les sertes de base de polynomes quelcon~ues - Gauthier-
Villars, Paris, 1949.
67. E.J. Whittaker and G.N. Watson - Modern Analysis, 4th edition - Cambridge
University Press, Cambridge (England), 1927.
68. D.V. Widder - The Laplace Transform. - Princeton University Press, Princeton,
1941.
69. H. Wilf - Mathematics for Physical Sciences - J. Wiley & Sons, Inc., New York
and London, 1962.
SUBJECT INDEX
Cardioid - 88.
Cauchy product - 45.
Center of mass - 83,84.
Characteristic functions - !36.
Characteristic (eigen-)values - 88-91.
Christoffel constants - 147,149.
Christoffel-Darboux (type) identities - 154, Ig6.
Commutation relations - 47,48.
Continued fractions - 3,34, 59-63,81, 160.
Convergence - 64,65,66,68,69,72,74,155,157,160,162.
Cramer's rule - 20.
Cycle - !17.
Delay,
flat - !45
maximally flat - 2, 1 4 5 .
phase - 144.
time - 141,142,143.
Differential equations of BP - I, 1 , 4 - 1 7 , 3 6 , 38,85.
D1 f f e r e n t i a l equations of ~ -form - 9-12,14-15,35.
Differential equations of Sturn-Liouville form - 49.
Differential equations of y~(x) ]58.
Filter - 141,143,144.
Fourier analysis - 133.
Fourier transforms - 26,136.
Frequency - I, 1 3 3 , 1 3 6 , 1 4 0 , 1 4 1 , 144.
Frobenius' method - 5,12.
Functions
Associate Legendre - 134,135.
Bessel - 2,3,4,!9,35,38,47,91,152,157,158.
Bessel,modified - 4,5,18,19,34,76,91,92,137,144,158.
176
Beta - 36,38,!32.
Exponential - 1,3,67,68,7~,74,125, J 3J.
Exponential type - 6"7,69,72.
Greatest integer - 1,97,()8, I02, 132.
Hankel (see a!sc Bessel) - 91,92.
Hanke], modified (see a] s c Besse!, modified) - I.
Hypergeometric - 2,34,38,[50.
Hypergeometric, generalized - 34.
Lebesgue integrable - 136.
MacDonald - see Besse] , or Hanke] , modified.
Meijer's G - 157.
Positive real (p.r.) 141,147.
Step - 154.
Whittaker - 34, 37, 38, ]53.
Irrationality of e r (r razional~ i, 1 2 3 - ] 31 .
Irrationality of ~ - I, 1 3 1 - 1 3 3 .
Irreducibility - 2,9g-i 17, 120, 12!, 123, 154, !63.
Measure - 137.
Moments 25-32,51,53.
Monotonicity, Monotonic - 1,68,75,78,80.
Monotonity, complete - 1,3, 136-139.
Multiplication theorems - !53.
Networks, electrical -
2,3, 139-14b.
Networks, "Bessel"case - 142.
Networks, passive - 141, 142.
177
Scheme of factorization - ± O 9 - ] I I, 1 1 3 , lJ 5.
Scheme of factorization, compatibility or incompatibility - ~09,110,
112,115.
Schmidt method - see Gram-Schmidt method.
178
Wave(s) - I, 1 3 3 , 1 3 6 .
Wave equation - I, 1 3 3 .
Wave, monochromatic - I, [ 3 3 .
Wave, propagating - I.
Wave, stationary - I.
Weight functions, w(x) , p(x) , etc. - 25-27, 30-'~2,51-53,64, 146, 148, 153,
155,15~, 160.
Whittaker basis series - 69.
The numbers following each name stand for the page numbers; the letters
F and I stand for any page of the Foreword, or of the Introduction, re-
spectively.
V
Baieev - 155,164. E. Feldheim - 43,171.
N. Bailey - 171. W. Feller - 171.
P. Banerjee - 155,164. C.C. Feng - 49,166.
W. Barnes - 3,164. L.R. Ford - 171.
Bendixson - 3,90,171. O. Frink - F,I, 1,2,7, 12,24,44,64,
R. Berlekamp - 121. 145,149,152,158,162,167.
Bernstein - 1,137.
R.P. Boas, Jr. 2,8,64,65,67,162,
164,171. 8. Gershgorin - 3,88,90.
S. Bochner - 1,164. B.V. Gnedenko - I, 171.
L. Bondesson - 136,171. H.W. Gould - F,57, 171,172.
E. Borel - 66. E. Grosswald - 1,2,3,39, 121, 166,
P.W. Boudra, Jr. - 167. 167,172.
F. Brafman - 2,45,46,149,153,164. V. Grosswald - F.
R. Breusch - 102,171. E. Guillemin - 3,167.
J.D. Brillhart - 121.
J.W. Brown - 164.
R.C. Buck - 2,8,64,65,67,!62,164, W.Hahn - 1,167.
171. H. Hamburger - 25,172.
J.L. Burchnall - 1,2,6,10,15,42,43, A.M. Hamza - 158,167.
49,51,65,70,76,93,94,143,149, D. Hazony - 3,167.
156,164. K. Hensel - 172.
W. Burnside - 117.171. C. Hcrmite - 1,1,26,172.
I.N. Herstein - 39,172.
E. Hille - 172.
L. Carlitz - 2,45,57,73,74,154-156, M.A. Hirsch - 3,90,172.
160, 164,165. A. Hurwitz - 77,78,141,142,143,172.
B.C. Carlson - 165.
M.L. Cartwright - 171.
A.L. Cauchy - 117. M.E.H. Ismail - F,I, 3, 1 3 7 , 158, 167,
S.K. Chatterjea - 46,49,154,155,]57, 172.
165,166. K.E. Iversen - 172.
C.K. Chatterjee - 156,166.
T.W. Chaundy - 1,2,6, !O, J64.
M.P. Chen - 49,!66. D.Jackson - 172.
T.S. Chihara - 154,!64. J.W. Jayne - 26,167.
J.A. C±ma - 155,157,166. D.E. Johnson - 167.
J.R. Johnson - 167.
C. Jordan - 1i7,172.
M.K. Das - 46,157,166.
H. Davenport - 171.
R. Dedeking - 117. S. Kakeya - 77,172.
G.K. Dhawan - 166. S. Karlin - 155.
D. Dickinson - 2,38,46,73,81, J 57, D.N. Kelker - 1,3, 136, 137, 158, 167.
160,166. K. Kloss - 121.
(~..
±3 - takes only the values O, or i; w h e n used
specifically as a Kronecker delta
(6ij = i if and only if i = j), this is
stated explicitly.
~k(n) a(n)(a,b)
' k - k-th zero of yn(Z), or of yn(z;a,b), respectively.
a (m)
- abbreviation for a(a-l)...(a-m+l)