SOME RESULTS
ON BIORTHOGONAL
POLYNOMIALS
RICHARDW.RUEDEMANN 4422W.
Greenway
Road Glendale,Arizona 85306(Received
July8, 1993 and in revisedform October10,1993)
ABSTRACT.
Some biorthogonal polynomials ofHahn andPastro
are derivedusingapolynomial modificationoftheLebesgue
measure dO combined withanalyticcontinuation.A
result isgiven forchangingthe measures ofbiorthogonal polynomialsontheunit circlebythemultiplicationof theirmeasuresby
certainLaurent
polynomials.KEY
WORDSAND
PHRASES: Biorthogonal polynomials,aformulaof Christoffel,changeof weight,unit circle, determinant.1991 AMS
SUBJECT
CLASSIFICATION CODES:
Primary: 42C05 Secondary: 33A65le
INTRODUCTION
In
[9],
Pastro
introduced apair of polynomialsetswhich arebiorthogonalontheunit circle with respecttotheweightfunctionf,z(z ;q
2)
(q2;q)(R) (abq2;q)(R)
(qz;qZ)(R) (qz-1;q)(R)
(aq2;q)(R)(bq;q)(R)(qaz;q)(R)(qbz_;q2)(R)
z ei
where
(t;q),,
H(1-a),
(t;q).
H(1-a).
-0 -0
To
beprecise, heshowed that if.(z)}
andq.(z)}
aredefinedby
p.(z) p.(z,a,b
(;q)
(b;q)"
-0
(q;q) (q;q).
_
(q-z)
and
q.(z)-q.(z,a,b)-p.(z,E
then
p.(z)q.(z)fl(z;qO
(;q).
(q;q),
q-6,,,
z-e(1.1)
Pastro
sumetheparametersaandbarereal but as -Salam and Ismailnote1]
they
donothavetobe.
ese
polynomials generalize those ofkey
(a
b,bothreal),
and Szegfi(a
b0),
see[10].
A
weit
equivalenttoz;q
)
was considered earlierbyHahn[4]
in the caseof real coef-ficients.Throughout
thispaperweassumethatqis realand,forconvergence ofthe infiniteproducts,
<
-
nsideringthe denominatorof(z;q
)
wealsowant[q[
<1and[qbz-[
1, that is<l l <l l
626 R.W. RUEDEMANN
In
section2we state, indeterminantform,apairof polynomialsetswhicharebiorthogonalontheunit circle withrespecttothemeasure
dv(O).z-"(z_at)(z-oa)...(z-cq)dO
z.e’
assuming that no
a
is zeroandthat 0 m h.In
Section3weshowhow theseyield Pastro’s polynomialsin thespecialcaseaq2,,
bThefullresultfollows by analyticcontinuation.
Pastroalsogavein
[9]
explicit examples of Laurent orthogonal polynomials, makingconcretethe earlier work ofJonesand Thron
[7]
in which such"polynomials"wereintroduced.(They
arenotactually polynomials, theycontainboth positiveandnegativepowers oftheir
variable.)
More thanthis, he states an interestingconnection betweenbiorthogonal polynomials and orthogonal Laurent polynomials.Thereis awell-known formula ofChristoffelfor modifying the measure
da(x)
by polynomial multiplication. That is, leto(x
(x
x)
(xx2).
.(xx,)
beapolynomialwhichisnon-negativeon
[a,b
andlet{q,(x)}
be thepolynomials orthogonalwithrespecttothenew measurep(x)dcx(x)on
[a,b].
Then thepolynomials{q,,(x)}
canberepresented intermsofthepolynomials{p,(x)}
byp(x
)q,(x
c,
detforsuitableconstantsc,,.
p.(x,) p./(x,)
BoththisformulaofChristoffelandarelated formulaofUvarov carryovertopolynomials
orthogonal
onthe unit circle. See Godoy and Marcellan[3]
orIsmail and Ruedemann[6].
The natural question is,does thisformula ofChristoffel have ananalogueforbiorthogonal polynomials onthe unit circle?In
Section 4 we showhowatrivial modificationoftheresult in[6]
yieldsaresult for biorthogonal polynomials, atleast for certaincases. Unfortunately, we only allow certain modificationsandmustassumethat certain determinants donotvanish. Actually,thisassumption of nonzerodeterminants iscommontobiorthogonality(see
thework ofBaxter[2]).
In
theremainderofthispaperweadopt
the followingnotation.For p,(z)
apolynomial ofdegree
r we definep(z)
z"
,(z-1).
For
nonzerocomplexnumberst,ct"
denotes1/.
Finally,z denotes eieinthe integrals presented.2.
A
PAIR
OF
BIORTHOGONAL POLYNOMIAL SETS
In
this sectionwe consider apairofpolynomialsetswhicharebiorthogonalon the unit circle withrespecttothe measuredv(O).z-"(z_ctl)(z_%)...(z_ah)dO
z.eidet
z’/"
z’-I
z"
-=
z 1 m-1C (Z (Z 0. 1
C/-
-1
{L-2
Ct2Then ifp._
(z)
isapolynomialofdegreeatmost n 1wehavexp.(z)p._,(z)[z-’(z
-a)(z
-c)...(z
-a)o
o.
LEMMA
2. Stillassumingthat 0 rn h wedefine9.(z)
by(
-<)( ;)...(
-,:),.()-det
Z"
+kZ"
+h-1Z"
+h-mZk-m-1
Zk-m-2
Z l+h +h-1 +h-m -m-1 -m-2
et
1(1 (,1 (ll (ll (ll
4.-,
;.-,-,
;..,-.
?-.-,
?-.-(2.2)
3.
APPLICATION TO
THE
POLYNOMIALS
OF PASTRO
In
thissection we will consider theweight(qz;q2)(R)(qz-’;q2)
w(z)
(aqz;q)(R)(bqz_;q)(R)
z eandderive
Pastro’s
biorthogonal polynomials using Theorem 1 above and the same idea behind Ismail’s[5]
proof
of Ramanujan’s lapl-summation. Namely,wechoose appropriate values forthe where no%
is zeroandct.
1/-.
Thenifp._x(z)
isapolynomialofdegree
atmostn 1wehavep.
,(z
,.
(z
[z-(z a,)
(z
c).
.(z
a)]a
o
o
THEOREM
1. Let the polynomialsets{ap,,(z)}
and{,(z)}
be defined as in the abovetwolemmas.
Assume,
moreover,that for each n, ap.(z)and,(z)
areof precisedegree n.(This
isequivalenttoassumingcertain subdeterminants inequations
(2.1)
and(2.2)
arenonzero.)
Then, providedthatfor eachn wehave,,[z-(z
ct,)
(z
,)...(z a,)]a0
,,
0,these polynomialsetsarebiorthogonalonthe unit circle withrespecttothemeasure
dv(O)-z-(z-aO(z-ag...(z-a,)dO,
z-e’
628 R.. RUEDENANN
parametersaandb,andthen use analytic continuationtoget the full result. For thechoice ofa
-q2,
andb-qZ,
wehave(qz;q2)(R)(qz-;q2)(R)
w(z)
(q2,
z;q2)(R)(q2,
lz-;q2)(R)
(qz ;q
),
(qz-;q
[(1
-qz)(1q3z)...(1
-q2,-lz)]
[(1
-qz-)(1
-q3z-)...(
q2-z-)]
q’(-1)’z-’[(z
q42"’)
(z
q42"-a).
.(z
q-a)
(z
q-’)][(z
q (z qa).
..(z
qZ,-,)]
Notethat thezeros of
w(z)
increaseby factors ofq’
and,moreover, theconjugationw(z)
merely switchestherolesofrands. Wearenowreadytoapplyourlemmas.Let
h r+ sandm sinLemma1 andletqZ,-a,
_qZ,-cq
q4’-),c
z-q’’-),
.,a ct,/,Definep.(z) by
Z
Z +4-1Z
Z4-1 Z4-2
Z 1+r+4-1 -I -2
1
.(z)
-z)det
(3.1)
a,.
a;:/4 a a,+4 a+4 ct,+, 1where
(z)
denotes theVandermondedeterminant,ordifferenceproduct,on{Z,q-(2,-1), q-(2,
a),q2
-3,
q2-
1}.
Let
ht
denote the complete symmetricfunction on{z,q-a’-),q
-a’-3),
q2,-a, q2,-}
andlet j denote thecomplete
symmetricfunctionon{q-a,-X),q-a,-a)
,q2-3,q2,-x}.
Wesethe-
jo-1and h_ j. 0fork>O.Note
thath,
zh,
-1+.h
(3.2)
for all integers k.
By
useofthe Jaeobi-Trudiidentity, equation(3.4)
in[8],
wemaywriteW.(z
aeth
hi
...h,_l
h,/4
h,/4/1
...h,/,/4
h_
h...h4_
hh,/4
...hh..+
...hh,/
h,+
...hh..,+
...h_h,
h,/l
...h,
Thus
,,(z)-
detandusing
(3.2)
repeatedly
weget whereh.
h,
h,
/2...h.
h,
h,
h,
...h,
h._,
h h.-.
}
p,(z)-A,.,z"
+A
....
F
"-x+
+A,.
F
+A,.
I I
detl.j,
A
-/,)
J.-,/ J.-,/2
""J.
The
problem
now istoevaluateA.,t
ingeneral We haver +szeros in ourweightfunctionbutA.,t
is
only
a(r
+1) by (r
+1)
determinant. We"fillout"
A.,t
andusetheJacobi-Trudiidentityin reverse.A
Jl
"L
-2L
-k -1L
"L
+1"L
J-x
Jo
""J,-,
L
-*/,-2L
+,-1""L
"".
J-,
J-,/l
""J-2
J,-t-1
J,
J,,.1
""J,/,-1
That is,A,.
detJ--r
Nowsetting
o,
-(2a"
I)[0+
1+...+(s-2)
+(n
-k+s-l)+(n +s)+(n
+s+I)
+...+(n
+r+sI)],
wefindA.,
q’
(
1,q2,q4
qa,-2,
qa,,
-
/.-i),
q2,, /,),
qa.
i),
qa.
b
(q--1),q42,-s),
...,qZ,-S,
q2,-1)
andstraightforwardbut rather tediouscalculationsyield
A,.,/I
-1(1-qa"-*))(1-q
z(+’/l))
A,,,,
"q(1-
qa"
-*/’-1))
(1
qZ(*
1))"
Thussothat
A.,t
.q-1
(q2;q2)
-t(q2;q2)
-/-I(q2,q2;q2)
(q2,;q2).
-(qZ’;q2)
_t_630 R.W. RUEDEMANN
wherea
q2"
andbqZ,.
At
thispointweknow that forasuitableconstantc.
V,(z)
c,ko
(aq?;q2)(b;q2)"-k
)
(q:’;q)k (q;q?)._
(q-lz
To
sumthings up, ifwedefine asPastro
does,p,,(z,a,b
i
(aq;q2)’ (b;q2)"-’
(q-z)
-0
(q:,;q2)t
(q;q,),,
-,then
z-ei
for ourparticularchoice ofaand b.
Wecould use
Lemma
2tofindtheothersetofpolynomials required for biorthogonality but, asnotedpreviously,theconjugation oftheweightfunctionw(z) merely
switches theroles ofrandsandhencethoseofaandbaswell. Thusthepolynomials
q,,(z,a,b):
p,,(z,b,a)
satisfyz-e
At
thispointwehavethebiorthogonality ofthepolynomialsets{p,(z)}
and{q,(z)}.
Westill mustcomputethe valueofp,,(z)q,,(z)w(z)dO.
In
fact thisposesno greatproblem. Itisfairlyeasytoseethat themonicversionsof thepolynomials inTheorem1,callthem{W,,(z)}
and{,(z)},
satisfy-
%(z)
.(z)
[z-(z
a,)(z
ag...(z
a,)]dO
Now
if we let detdet
(1/&
i
+k-1I
/I m-1 .-2 1q2S-therighthandsideof thepreviousequation becomesapowerof q timesaquotientofVandermonde determinants. Tobeprecise,letP,(z)andQ,,(z)denote the monieversionsof
Pastro’s
p,(z)andq,,(z)
respectively. ThenP.()Q.(z)[z"(z-q4-)(z-q-’-)’"(z-qZ’-)(z-qZ’-)]
dOso
(_l)2’-q
..,+
(I
q2,
2,2)
(iq2,
2,+4)...(i
q2,
2,7.,)
(-1)’q
(I
q2, )
(I
q2,, /4)...(I q2, 7.,)
2nr,
P"(z)Q"(z)(qz;q2)’(qz-1;q2)’dO
(1
q2"/2"+2))(1-q(2"/2"/4))’"(1-q’/2"/2")
(I
q2
2)
(iq2
/4)...(i
q2, 2,)
and
P,,(z)q,,(z)(qz;q2),(qz-;q’),
dO"(q:,;q2),,
q"]
Finally,define
f,d,z;q)
(q2;q:’)(R)(abq-;q2)(R)(qz;q2)(R)(qz-;q
:’)(R)
a q2,. (aq2;q2)(R) (be/2;q2),,
(qaz
;q2)(R) (qbz-;q:)(R),
We get
2. P"()q"(z)
P(z;q2)dO
"q-(q,q2;q2).
(q2;q2)
(q2;q2),
(qZ,q2;q2),,
][(1
2"/2"/2)(1
2,,/2,./4).
(q2;q2),,
q’][
q q
""(1
(1
q
2)
(1
q2,
/4)...(1
q’
2,)
(q
2;q
-)(R)
(q2,
2(q2,. 2;q
2)(R) (q2 2;q2)(R)
q
(q2,+2,+2
2,;q ),,
(q2;q2),,
(l-q2+2’+2)(l-q
2"+2"/4)
(I-q2"/2’/2")I
(abq;q’),,
-
q
qZ,
(q2;q2),,
q where a-b-The full resultfollows by analyticcontinuation. Actually,twoanalyticcontinuations areneeded: firstwithrespecttotheparameterawithbfixedata
qZ,,
then withrespecttotheparameterb.4.
MODIFICATION OF MEASURES
BY
LAURENT POLYNOMIALS
In
this sectionwestartwithameasuredv(O)
which isnotnecessarily positiveonz e.
From Baxter[2]
weknow that ifcertainToeplitzdeterminantsarenonzero then thereexists aunique pair of polynomialsets which arebiorthogonal onthe unit circle. Wewillcall this pair{,,(z)}
and632 R.W. RUEDEMANN
andthatforeach n,
..(z)o,_(z)dv(O)-
O,_(z)av(0)-
0,,(z),(z)av(O),,O.
Whatwe want to do is multiply the
complex
measuredv(O)
by a Laurent polynomial and get determinantformulasfor the newbiorthogonal polynomials,{ap,(z)}
and{,(z)},
interms of the oldpolynomials,{,,(z)}
and{,(z)}.
Actually,weare goingtorestrictourselvesto twotypes of Laurent polynomials, those of the formsR(z) z-’G,,(z)
andR
l(z)
z-("1)G
(z),
whereG,(z)
andGz,,
(z)
arepolynomials having precisedegrees
2m and 2m+1respectively. Further-more,weshallrequirethat neitherG,,(z)
orG
l(z)
havezas afactor. We havetwoeases: the evencaseandthe odd case.THEOREM
2.(even case)
Let{V.(z)}
begivenby’()
’()
...’-’’()
<)
)
..."
1(z.(z)-t
(4.)
’)
’<)...-’<)
)
<)...<))
where thezerosof
G(z)
are{a,
},
(z)
denotes,
.,(z),
and(z)
denotes,
.,(z).
t{,(z)}
begiven byz z)
z z)
(z.(z)-t
(.2)
Here
weare assumingthatthezerosofG(z),
{a,
},
arepaiisedistinct,ffor
zerosof multiplicity s,s>1,wereplace
thecoesponding rowsin the determinant bythe derivativesof order 0,1, 2, s 1ofthepolynomialsin the firstrow,evaluatedatthatzero.)
Furthermore,we shallassume that,(z)
and,(z)
are bothofprecisedeee
n. isisequivalenttoassumingceain subdeteinants inequations(4.1)
and(4.2)
arenonzero.Thenfor any polynomial p,_
(z)
ofdeee
atmostn 1 we haveand, assuming that
then the polynomialsets
{p,,(z)}
and{,,(z)}
arebiorthogonalontheunit circle withrespecttothe measurez-"Gz,,(z )dv(O).THEOREM3.(odd ease) Seth 2m + and let
{,,,(z)}
be givenbyG(z)V.(z)
aet’()
a,’(a,)
"^"
.."
(4.3)
wherethezerosof
Gh(z)
are{cq,
ct2ct,},
(z)
denotes(I),,/,,,(z), and6(z)
denotes,,
/,,,(z).
Let((o)
{,,(z)}
begiven by(4.4)
zG(z
)p,(z
detUnlikethepreviousthree determinants in
(4.1)
to(4.3),
here in(4.4)
(z)
denotes,,
/,,/l(z),and(z)
denotesl(z).
Weare assumingthat thezerosofzGh(z),
{0,ch,(h
ct,},
arepairwisedistinct.
(We
takecareofzerosofmultiplicitys,s>1asusual.)
Furthermore,weshallassume that xp,,(z)and,,(z)
areboth ofprecisedegreen. Thisisequivalenttoassumingcertainsubdeterminants inequations(4.3)
and(4.4)
are nonzero.Then forany polynomial p,,_
l(z)
ofdegreeat most n 1 wehavef
V.(z)p._,(z)z’/)G.
(z)dv(O)-
f
ip.(z)p._(z)z
’/)r-..
/(z)a(o)-
o
and, assumingthat
)G
.(z).(z)z
.(zv(O)O
then thepolynomialsets
{,(z)}
and{.(z)}
arebiorthogonalon theunit circle withrespecttothe measure z"
")G.
(zv(O).
e
unusualform of the determinant in(4.4)
comesaboutas we arewriting
zG*
.
in the form z"
zG
dz)]
sothat thesameidea behindTheorem 2appliesina sense.5.
PROOFS
634 R.W. RUEDEMANN
xl,.(z)p._,(z)[z’(z -ct,)(z
-)...(z -ct)]ao
o.
However,
multiplyingbothsidesof(2.1)
byz-"
and thenexpandingthe determinantalongthefirstrow we find that
+h-m
.(z)[z’(z-ct)Cz-c)...Cz-ct)]-
E
c
z
+E
c,,z
-1
As
each of thetermsin the above sums areorthogonaltoany p,,(z)
the resultfollowsimmediately.PROOF
OF(2.2).
Wewant toshow that if,,(z)
is definedasinequation(2.2)
thenforany polynomial p,_x(z)
of degreeat most n wehavef
p._,(z) .(z)
[z-’Cz ct,)
(z
a)...(z
ct)]ao
o.
Conjugatingboth sidesofthisequationwe seeitisequivalenttoshowingthat
,c-
o._,Cz
,.cztz-"--’c
-,)c -)...Cz -,’)o o
and
(2.2)
followsas an instanceof(2.1)
with mreplaced byh-mandtheat’s
replaced
byct,’s.
PROOF OF (4.1). We
wanttoshow thatifap,,(z)is defined as inequation(4.1)
then for any polynomial p,,_(z)
of degreeat mostn 1 wehave,,(z)
p._,(z)
z’G,Cz)av
(0)
0.We onlyhavetwotypesofpolynomialsin the first rowof the determinant in
(4.1).
Weconsidereachseparately.
Let
p,,_(z)
beany polynomial of degreeat most n 1.(i)
Then, for the polynomialszl,,
/,,,(z),
where 0,1,2 m,wehave"z’
’z"
(z
p,,_(z)dv(O)-
,,/,,,(z)z’-’p,,_a(z)dv(O)-O.
(ii)
Forthepolynomialszt:
/,(z)
wehavez"
p,,_(z)dv(O)-zt-"z"/’,,,/,,,(1/z)p,,_(1/z)dv(O)
I
z’/,.,/.(z)z
"-
p._(llz)av(O)
[...(z)[z’"o;_,Cz)lv(O
-0
but thisissimply
.(z
p.(z
z-"G(z
)dv(0) 0.[Note:
for thepolynomialszt
/,,(z)
wewill usethe choice --1 inourproof
of(4.3).
Also,in(4.1)
wemayallow 0 values for some%’s.
In
fact,wemake useofthis choicein(4.4).
Theonly reason wearerestrictingtheir values heretobe nonzero isbecause oftheet.’s
in(4.2).]
PROOF OF (4.2).
For,,(z)
asdefinedby(4.2)
wewant toshow that.Cz)
p._,Cz)z-’C,.Cz)av(0)
o.
Equivalently,we wishtoshow thatf
Zv.(z)
p._(z)
z-’.(z)
av(O)
o
and this we getsimply by applying
(4.1)
tothe modification of the measuredv(O) bytheLaurent polynomialz-’G,(z).
Note
thathavingdr(O)
rather thandr(O)
simplyswitchesthe roles ofz)
andz)in
(4.1).
PROOF
OF(4.3).
Wewanttoshow that ifap,,(z)isdefined as inequation(4.3)
then.(z)
p._(z)z"
"a.
(z)av(O)
OConsidering thefirstrowofthe determinant in
(4.3)
weseethat this isequivalenttoshowingthat z./o._(z)av(O)-,./.(z)
z"
p._(z)av(O)-O for 1,2 m +1andthatp._l(Z)
dv(O)
Ofor -0,1,2, m.
However,
these statements areequivalentto(i)
and(ii)
in ourproof
of(4.1).
PROOF OF (4.4).
Finally,wewant toshow that if.(z)
is defined as inequation(4.4)
then.(z) o.-
(z)z
"
".
,(zv(O)
o
thatis, we want
Herethe
problem
isthat.(z)Co._(z))(z"
.
(z))(av(o))
o
z-’/’)Gz.+
,(z)
(constant)
z4"/’)G,/
l(z)
sothatwe cannot use
(4.3)
toget(4.4).
In
fact,636 R.W. RUEDEMANN
However,
wegetaround thisby applying(4.1)
tothe modificationofdr(O)
byz4’’)H2t,,,.
(z)where
U:,,,
/,,(z):
[This
iswhataccountsfor the unusualform of(4.4).]
6.
REMARKS
Wehavefoundwemay modifythe
Lebesgue
measure dO ontheunitcircleby multiplication by any Laurent polynomial whose zerosweknow, providedcertain determinantswere nonzero. Whenwepassedtothemoregeneralproblem,
as wedidinsection4, ofmultiplyinganunknownmeasuredv(O) by Laurent polynomials,werestrictedwhich
Laurent
polynomialswecould use.Thismade theproofsfor thatsectionstraightforward. However,thisrestrictionisunsatisfying--atleast
totheauthor--butatthepresenttime it is stillunresolved.
ACKNOWLEDGMENT
The author thanksDr.M. E. H.Ismail for making this work possible.
REFERENCES
[1]
AL-SALAM,
W.A.
andISMAIL,
M. E.H.,
A
Q-betaintegral ofthe unit circle andsomebiorthogonalrationalfunctions,toappearin
proc.
Amer.
Math.
$0,[2]
BAXTER, G.,
Polynomialsdefinedbyadifference system, Journalof Math.Anal.Appl.2(
1961),
pp.223-263.[3]
GODOY, E.
andMARCELLAN, F., An
analog ofthe Christoffel formula for polynomial modificationofa measureonthe unit circle,13ollettino
dellaUnione Matematica Italiana(7),
5-A(1991),
pp.1-12.[4]
HAHN, W.,
Beitrigezurtheorieder Heineschen Reihen,Math.Nach., 2(1949),
pp.263-278.[5]
ISMAIL,
M. E.H.,
A
simple proofofRamanujan’s1V1
sum,Proc.Amer.
Math.
Sot.,63(1977),
pp.185-186.[6]
ISMAIL,
M. E. H.andRUEDEMANN,
R.W.,
Relationbetweenpolynomials orthogonal onthe unit circle withrespecttodifferentweights,J.
Approx.
Theory_,
Vol.71, No.1(1992),
pp.39-60.
[7]
JONES,
W. B.andTHRON,
W.J.,
Survey
of continuedmethods,in"Analytic Theoryof Continued Fractions"(W.
B. Jones,
W.J. Thron,andH. Waadeland,Eds.),
Lecture Notes inMath.,No.
932, pp. 4-37, Springer-Verlag, Berlin/Heidelberg/New York,1982.[8]
MACDONALD,
I.G.,
SymmetricFunctions
and Hall Polynomials. ClarendonPress,
Oxford, 1975, pp.25.
[9]
PASTRO,
P.I., Orthogonal
polynomialsandsomeq-beta integralsofRamanujan,Journal of Math. Anal.Appl.112(1982),
pp.517-540.[10]
SZEG0,
G.,
Ein beitragzurtheorieder thetafunktionen, Sitzungsber. Berl. Akad.(1926),