Académique Documents
Professionnel Documents
Culture Documents
e
e e
`
Celine a Zeilberger et Petkovsek
1. Introduction
De r cents travaux ont fait progresser de mani` re signicative la th orie des suites et s ries
e
e
e
e
`
hyperg om triques. Dune part ils ont remis a lhonneur lalgorithme de Sur Celine Fasene e
myer (1945) que labsence doutils ad quats pour le mettre en uvre avait fait tomber un
e
peu dans loubli, dautre part ils ont compl t les travaux de R.W.Gosper (1975) qui avait
ee
trouv un algorithme complet pour la sommation ind nie de suites hyperg om triques. Les
e
e
e e
artisans de ces progr` s sont essentiellement Marko Petkovsek, Herbert Wilf et Doron Zeilbere
ger qui exposent de mani` re magistrale lessentiel de leurs m thodes dans louvrage A=B
e
e
`
aux editions A.K.Peters. Ce texte se veut une introduction a leur livre et apr` s avoir rape
e
pel quelques r sultats el mentaires sur les suites hyperg om triques, pr sentera les deux
e
e
e e
e
algorithmes anciens de Sur Celine et de Gosper, pour ensuite d crire les algorithmes de
e
Zeilberger pour la construction de r currences hyperg om triques et de Petkovsek pour la
e
e e
r solution de ces r currences.
e
e
Les m thodes seront illustr es avec le logiciel Maple de Waterloo University en utilisant
e
e
e
la biblioth` que EKHAD d velopp e par un el` ve de Doron Zeilberger. Le lecteur int ress
e
e
e
e
e
trouvera sur les deux sites Web
http ://www.cis.upenn.edu/~wilf/AeqB.html
et
http ://www.math.temple.edu/~zeilberg
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
les liens n cessaires vers les diff rentes impl mentations Maple, Mathematica ou Axiom de
e
e
e
ces algorithmes.
tk+1
tk
P @k A
,
Q@k A
P, Q RX
a xk , tk a k3, tk a
`
Supposons les polyn mes P et Q scind s. On peut alors ecrire de mani` re unique a lordre
o
e
e
pr` s
e
tk+1
@k C a1 A@k C a2 A . . . @k C ap A x
a
tk
@k C b1 A@k C b2 A . . . @k C bq A k C I
o` x est une constante (le k CI r sulte dune longue tradition li e a la pr sence fr quente dun
u
e
e `
e
e
`
k 3 au d nominateur de tk ). Si lon impose a t0 de valoir 1, la s rie est enti` rement d termin e
e
e
e
e
e
par la donn e de a1 , . . . , ap , b1 , . . . , bq . On la note alors
e
p Fq
a1 , . . . , ap
Yx
b1 , . . . bq
Y x , la s rie
e
xk
est
@k3A2
e
e e
I Y x . Maple est capable de reconnatre directement une s rie hyperg om trique,
> sum(binomial(n,k)^2*x^k/(2*k)!,k=0..infinity);
hypergeom([-n, -n], [1, 1, 1/2], 1/4 x)
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
a @r@nA IAsn .
Proposition 2 Soit @sn A et @tn A deux suites hyperg om triques dont la somme nest pas nulle.
e e
Alors la suite @sn C tn A est hyperg om trique si et seulement si @tn A et @sn A sont associ es.
e e
e
D monstration Posons a@nA a sn+1 /sn , b@nA a tn+1 /tn , a@nA a @sn+1 C tn+1 A/@sn C tn A
e
et r@nA a sn /tn . On voit imm diatement que
e
c@nA a
a@nAr@nA C b@nA
b@nA c@nA
et r@nA a
r@nA C I
c@nA a@nA
que qui montre que c@nA est rationnel si et seulement si r@nA lest.
Remarque Ceci permet d crire toute suite qui est somme de suites hyperg om triques
e
e e
`
comme somme de suites hyperg om triques deux a deux non associ es. Les lemmes qui
e e
e
suivent vont permettre de montrer lunicit dune telle d composition.
e
e
e e
Lemme 1 Soit @t(1) A, . . . , @t(p) A des suites hyperg om triques telles que
n
n
n, t(1) C C t(p)
n
n
aH
a P. Posons ri @nA a
)
H a t(1) C C t(p+1 a r1 @nAt(1) C C rp @nAt(p)
n
n
n+1
n
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
et comme
(
H a rp @nA@t(1) C C tnp) A
n
en soustrayant on obtient
Lemme 2 Soit @t(1) A, . . . , @t(p) A des suites hyperg om triques telles que
e e
n
n
n, t(1) C C t(p)
n
n
aH
t(i)
n
a H.
(i)
(tn )S
D monstration Il suft encore une fois de faire une r currence sur p et pour cela dapplie
e
quer le lemme 1 en remplacant deux suites associ es par leur somme (qui est nulle ou bien
e
`
appartient encore a la m me classe d quivalence).
e
e
Th or` me 1 Toute suite qui est somme de suites hyperg om triques s crit de mani` re unique
e e
e e
e
e
comme somme de suites hyperg om triques deux a deux non associ es.
e e
e
`
D monstration Lexistence dune telle d composition d coule imm diatement de la propoe
e
e
e
sition 2 comme on la d j` remarqu . De plus, si
ea
e
tn
`
les suites t(i) etant deux a deux non associ es ainsi que les suites u(j ) , on a
e
n
n
t(1) C C t(p) u(1) u(q)
n
n
n
n
aH
et le lemme 2 exige que deux des suites, par exemple t(1) et u(1) aient une somme nulle
n
n
(une classe d quivalence ne pouvant comporter ni un seul terme ni plus de 2), donc que
e
t(1) a u(1) . On supprime cette suite commune et on termine lunicit par une r currence
e
e
n
n
evidente.
3. Lalgorithme de Gosper
an hyperg om trique. On appelle Sn
e e
ak la somme park=0
tielle dindice n de la s rie. Lalgorithme de Gosper permet de d tecter le fait que Sn soit
e
e
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
une suite hyperg om trique et den d terminer explicitement une expression. Cest donc un
e e
e
`
algorithme complet dans le sens o` soit il aboutit a une expression explicite de Sn en foncu
tion de n, soit il echoue, et on a dans ce cas une preuve quil nexiste pas dexpression
hyperg om trique.
e e
`
En r alit , le fait de d marrer a k a H na aucune importance en ce qui concerne le cale e
e
cul des sommes partielles de la s rie (mais il peut en avoir sur la rationalit du rapport
e
e
Sn+1 /Sn comme le montre lexemple dune s rie g om trique) et nous allons remplacer
e
e e
notre probl` me initial par celui plus g n ral de rechercher une suite @Sn AnN hyperg om trique
e
e e
e e
telle que an a Sn+1 Sn . On aura alors
n
ak
a Sn+1 Sn0 .
k=n0
D monstration La condition est bien evidemment sufsante puisque si (1) et (2) sont
e
v ri es, on a
e e
Sn+1
@n C IA an+1
@n C IA
R@nA.
a
a
Sn
@nA
an
@n A
Sn+2 Sn+1
Sn+1 Sn
Sn+2
Sn+1
Sn
Sn+1
@n C IA I
I (1n)
a @nA) et
an
a Sn+1 Sn a Sn @@nA IA
soit
Sn
@n A I
an .
p@X C IAq @X A
p@X Ar@X A
(3)
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
k N
q @X A r@X
C kA a I
(4)
(5)
(6)
q0 @X A
avec q0 @X A r0 @X A a I. On d nit
e
r0 @X A
ensuite par r currence des polyn mes pj , qj et rj tels que
e
o
R @X A a
pj @X C IAqj @X A
pj @X Arj @X A
de la mani` re suivante :
e
si pour tout h N, qj @X A et rj @X
q a qj et r a rj ;
sinon, soit h le plus petit entier naturel tel que qj @X A et rj @X C hA ne sont pas premiers
entre eux et appelons gj @X A leur PGCD ; on pose
qj +1 @X A a
qj @X A
rj @X A
, rj +1 @X A a
et pj +1 @X A a pj @X Agj @XIA . . . gj @Xk A
gj @X A
gj @X hA
pj +1 @X C IAqj +1 @X A
.
pj +1 @X Arj +1 @X A
`
Comme le degr de qj +1 est strictement inf rieur a celui de qj , la construction ne peut se poure
e
suivre ind niment et on nit par se trouver dans le premier cas, ce qui permet de d terminer
e
e
p, q et r.
`
`
Montrons que p q et r repondent a la question a laide des lemmes suivants, o` nous noterons
u
h1 , . . . , hN les diff rents h introduits au cours du deroulement de lalgorithme et hN +1 a
e
C :
Lemme 3 Soit k
i, j
C hk A a
qk1 @X A rk1 @X C hk A
gk1 @X A
gk1 @X A
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
aI
D monstration Soit u@X A un facteur commun irr ductible de r@X A et p@X C IA. Alors u est
e
e
un facteur commun de rN @X A et de lun des gi @X j C IA pour I i N et I j hi .
Mais comme qi @X j C IA a qi+1 @X j C IAgi @X j C IA, u est un facteur commun de
rN @X A et de qi @X j C IA avec j I < hi ce qui contredit le lemme 3.
Remarque la construction pr cedente pr sente une difcult du point de vue algorithmique,
e
e
e
`
a savoir le test de lexistence dun k N tel que qj @X A et rj @X C k A ne soient pas premiers
entre eux. On peut envisager deffectuer ce test de deux mani` res diff rentes. La premi` re est
e
e
e
`
dintroduire le r sultant par rapport a la variable X des deux polyn mes qj @X A et rj @X C Y A
e
o
et de rechercher si ce polyn me en Y peut avoir des racines dans N ce qui ne pr sente pas de
o
e
`
difcult . La deuxi` me est, dans le cas o` tous les polyn mes sont a coefcients rationnels,
e
e
u
o
deffectuer la d composition en polyn mes irr ductibles normalis s des polyn mes qj et rj
e
o
e
e
o
(cela est possible de mani` re algorithmique) :
e
qj @X A a Q1 @X A . . . Qm @X A,
rj @X A a R1 @X A . . . Rn @X A.
>gosp:=proc(R,n)
>
local Res,S,N,s,p,q,r,h,i,j;
>
q:=numer(R); r:=denom(R); p:=1;
>
Res:=resultant(q,subs(n=n+h,r),n);
>
sol:=[isolve(Res)]; # solutions enti{\`e}res sous forme Maple
>
S:=[seq(subs(sol[i],h),i=1..nops(sol))];
>
# liste des solutions enti{\`e}res
>
S:=select(x->x>0,S); # on ne garde que les positives
>
N:=nops(S);
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
>
>
>
>
>
>
>
>
>
for i from 1 to N do
h:=S[i]; # q(n) et r(n+h) ne sont pas premiers entre eux
s:=gcd(q,subs(n=n+h,r)); # pgcd de q(n) et r(n+h)
q:=quo(q,s,n);
r:=quo(r,subs(n=n-h,s),n);
p:=p*product(subs(n=n-j,s),j=1..h) # met a jour p(n), q(n), r(n)
od;
p,q,r,q*subs(n=n+1,p)/(p*r) # le dernier pour v{\'e}rification
end:
q @X A
f @X A
p@X A
C IAf @X C IA f @X Ar@X A
(7)
D monstration On ecrit
e
Ia
Sn+1 Sn
an
a
a
a
et donc
@n C IAan+1 @nAan
an
@n C IAR@nA @nA
@n C IAp@n C IAq @nA
@nA
p@nAr@nA
p@X Aq @X A a @X
C IAq@X A @X Ar@X A
(8)
en posant @X A a @X Ap@X A.
f @X A
avec f et g premiers
g @X A
entre eux et g non constant. Soit N
H maximal tel que g@X A et g@X C N A ne soient pas
`
premiers entre eux. Soit u@X A un polyn me irr ductible divisant a la fois g @X A et g @X C N A.
o
e
R ecrivons lidentit (8) sous la forme
e
e
p@X Aq @X Ag @X Ag @X
(9)
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
`
pas f @X A (qui est premier a g @X A), il divise r@X A et donc u@X C IA divise r@X C N C IA.
De la m me facon, u@X C IA divise g @X C IA donc divise f @X C IAg @X Aq @X A dapr` s (9) ;
e
e
mais il ne divise pas f @X C IA (qui est premier avec g @X C IA ) et il ne divise pas g @X A
(sinon u@X A diviserait g @X IA et g @X C N A et donc g @X A et g @X C N C IA ne seraient pas
`
premiers entre eux), donc il divise q @X A. Mais alors u@X C IA divise a la fois r@X C N C IA
et q @X A qui sont suppos s premiers entre eux (comme tous les r@X C hA et q @X A) ; cest
e
absurde. Donc est un polyn me.
o
On peut alors r ecrire (8) sous la forme
e
e
e
e
e
lin aires en les coefcients de f @X A, syst` me dont lexistence et le calcul des solutions se
e
e
r solvent sans difcult . Il suft donc maintenant de trouver une majoration de ce degr .
e
e
e
Pour cela nous allons transformer lidentit (7) en lidentit
e
e
p@X A a @q @X CIAr@X AA
Posons donc s+ @X A a q @X
f @X
f @X C IA f @X A
C IA C f @X A
C@q@X CIACr@X AA
(10)
P
P
deg f
f @X
+1
deg p
si n0 N
mx@deg p , n0 A si n0 N
C . . ., s+ @X A a v +1 X
f @X
C IA C f @X A
ad
P
C IA f @X A
a d I. On a donc
P
f @X C IA C f @X A
deg@@q@X C IA r@X AA
A a d C deg s
P
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
10
et
deg@@q@X C IA C r@X AA
f @X
deg@s @X A
f @X
C IA f @X A
A a d C deg s+ I.
P
C IA C f @X A
f @X C IA f @X A
Cs+ @X A
A a dCmx@deg s @X A, deg s+ @X AIA
P
P
ce qui montre le r sultat dans le premier cas. Dans le deuxi` me cas, on remarque que si
e
e
f @X A a wd X d C . . ., alors
s @X A
f @X
C IA C f @X A
f @X C IA f @X A
I
C s+ @X A
a @u C v +1 dAwd X d+ C . . . .
P
P
P
a n2 tn , si bien que
an
an1
n2
t a R@nA.
@n IA2
`
La m thode ci dessus conduit a ecrire
e
R @X A a
p@X Aq @X A
p@X IAr@X A
I
Pt
t @t C IA
X2
XC
.
@t IA
@t IA2
@t IA3
On a alors
Sn
q @n C IAf @nA
an
p@nA
a tn+1
@t IA
n2
Pt
t @t C IA
nC
.
2
@t IA
@t IA3
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
11
Ce premier exemple montre mal les possibilit s offertes par lalgorithme de Gosper, puise
quon aurait pu aboutir au m me r sultat plus simplement. Prenons-en un plus complexe
e
e
avec
n 3 Pn 2 I
an a 4
@n IA3.
n C n2 C I
`
La m me m thode conduit a p@X A a X 3 PX 2 I, q @X A a X 3 RX 2 C TX Q et
e
e
`
`
r@X A a X 2 C X C I. On est alors conduit a chercher un polyn me f @X A de degr 0, et a
o
e
Sn
n3
.
n2 C n C I
etant donn une suite @an A qui est somme de suites hyperg om triques, existe-t-il une suite
e
e e
Sn qui est egalement somme de suites hyperg om triques telle que Sn Sn1 a an .
e e
`
souvent en pr sence dautres types dexpressions a calculer. Donnons nous une application
e
F X N Z C, @n, k A F @n, k A telle que n N, {k Z | F @n, k A a H} soit ni.
k
@Cn Ap . On sait par exemple que f1 @nA a Pn
k=0
e
`
Sur Celine Fasenmyer a et la premi` re a remarquer en 1945 dans sa th` se soutenue a
e `
e
luniversit de Chicago, que de telles suites @f @nAAnZ v riaient tr` s souvent des relations
e
e
e
de r currences lin aires du type ad @nAf @n C dAC ad1 @nAf @n C d IAC . . . C a0 @nAf @nA a H,
e
e
o` les fonctions ai sont polynomiales. De plus sa m thode permettait (` laide de calculs tr` s
u
e
a
e
`
`
eprouvants a faire a la main) de d terminer non seulement si une telle relation existait, mais
e
`
encore dun trouver une a coup s r.
u
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
12
Pour cela nous supposerons que la fonction F (ou si lon pr f` re la suite F @n, k A) est douee
`
blement hyperg om trique, cest a dire que les deux expressions F @n C I, k A/F @n, k A et
e e
F @n, k C IA/F @n, k A sont des fractions rationnelles en les variables n et k.
`
La m thode de Sur Celine consiste a rechercher tout dabord des r currences du type
e
e
I
ai,j @nAF @n j, k iA a H
i=0 j =0
`
puis a sommer ces r currences suivant k Z (en remarquant que pour tout i, on a
e
F @n, k iA a f @nA) pour obtenir
kZ
J
j =0
i=0
ai,j @nA f @n j A a H
supposons quune telle r currence existe, les ai,j @nA etant consid r s comme des ind tere
ee
e
min es
e
diviser toute la relation de r currence par F @n, k A en remarquant que chaque quotient
e
F @n j, k iA/F @n, k A est une fraction rationnelle en n et k
r duire lexpression au m me d nominateur, puis en prendre le num rateur qui est un
e
e
e
e
polyn me en n et k
o
Ai @nAk i , en lordonnant suivant les puissances
de k
ecrire le syst` me A0 @nA a H, . . . , Ai @nA a H, . . . qui est un syst` me lin aire homog` ne
e
e
e
e
en les @ai,j @nA dont les coefcients sont des polyn mes en n
o
chercher une solution non triviale de ce syst` me (qui est n cessairement constitu e, a
e
e
e `
un facteur multiplicatif pr` s, de fractions rationnelles en n)
e
Voici un premier exemple de cette m thode trait avec Maple
e
e
>
>
>
>
>
>
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
13
a[0, 1] (n - 1) FF(n, k)
recF := - ------------------------ + a[0, 1] FF(n - 1, k)
n
+ a[0, 1] x FF(n - 1, k - 1) = 0
> recf:=subs(sol,sum(sum(a[i,j],i=0..1)*f(n-j),j=0..1))=0:
> f(n)=solve(recf,f(n));
(1 + x) f(n - 1) n
f(n) = -----------------n - 1
>
>
>
>
>
>
a[0, 2] n FF(n, k)
a[0, 2] (2 n - 1) FF(n - 1, k)
recF := ------------------ - -----------------------------n - 1
n - 1
a[0, 2] (2 n - 1) FF(n - 1, k - 1)
- ---------------------------------- + a[0, 2] FF(n - 2, k)
n - 1
- 2 a[0, 2] FF(n - 2, k - 1) + a[0, 2] FF(n - 2, k - 2) = 0
> recf:=subs(sol,sum(sum(a[i,j],i=0..ii)*f(n-j),j=0..jj))=0:
> f(n)=solve(recf,f(n));
(2 n - 1) f(n - 1)
f(n) = 2 -----------------n
Le travail de Sur Celine ne sest pas born a d crire cette m thode, mais a consist a montrer
e` e
e
e`
que dans des bons cas de telles relations de r currence non triviales devaient n cessairement
e
e
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
14
exister. Dans le paragraphe suivant, nous allons etudier lun de ces bon cas tout en donnant
des bornes sup rieures pour les ordres I et J de ces relations.
e
F @n, k A a P @n, k A
@ai n C bi k C wi A3
@ui n C vi k C wi A3
Th or` me 3 Soit F une fonction proprement hyperg om trique. Alors il existe des entiers I
e e
e e
et J, des polyn mes ai,j @nA, I i I, I j J non tous nuls tels que
o
@k, nA Z N,
ai,j @nAF @n j, k iA a H
i=0 j =0
|bs | C
a J a
s
I C deg P C J
|as | C
s
|vs | et I
a I a
|us | I .
s
@x C iA et d@k, xA a
i=1
@x iA. On a alors
i=0
k1
I/d@aj C bi, an C bk C cA si aj C bi H
m@|aj C bi|, an C bk C cA si aj C bi < H
i,j @n, k A
i,j @n, k A
avec
m@|as j Cbs i|, as nCbs k Ccs A
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
15
et
i,j @n, k A a P @n, k A
as j +bs i 0
Remarquons alors que pour chaque s, un multiple commun de tous les d@as j
bs k C cs A pour H i I et H j J et as j C bs i H est
d@as i C bs j, as n C bs k C cs A a d@a+ J
s
C bs i, as n C
C b+ I, as n C bs k C cs A
s
i,j|as j +bs i 0
C vs I, us n C vs k C ws A
(avec x
@n, kA a P @n, kA
d@a+ J
s
C b+ I, as n C bs k C cs Am@u J C vs I, us n C vs k C ws A
s
s
chacun des @n, k A/i,j @n, k A est un polyn me en n et k. Remarquons dailleurs que le degr
o
e
en k de ce polyn me est une fonction afne de I et J, si bien que le degr en k du polyn me
o
e
o
Qi,j @n, k A a @n, k A
F @n j, k iA
F @n, k A
a i,j @n, kA
@n, kA
i,j @n, k A
est encore une fonction afne de I et J. Mais il y a @I C IA@J C IA tels polyn mes. Pour I
o
et J assez grands ces polyn mes vont donc former une famille li e dans @R@nAAk et donc il
o
e
existera des fractions rationnelles ai,j @nA non toutes nulles, que nous pourrons supposer etre
des polyn mes en les multipliant par un facteur ad quat, telles que
o
e
I
i=0 j =0
soit encore
@k, nA Z N,
ai,j @nAF @n j, k iA a H
i=0 j =0
Les valeurs de I et J qui garantissent une telle r currence non triviale proviennent dune
e
ai,j @nAF @n C j, k C iA a H
i=0 j =0
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
16
j =0
o` G@n, k A a R@n, k AF @n, k A, R etant une fraction rationnelle en n et k. Dans ce cas, si pour
u
`
tout n N la suite @F @n, k AAkZ est a support ni, il en est de m me de la suite @G@n, k AAkZ
e
et on a donc
@G@n, k CIA G@n, kAA a H et donc une sommation pour k Z de la relation
kZ
aj @nAf @n C j A a H
j =0
`
N F sont egales a une fraction rationnelle en n et k multipli e par F , si bien que pour tout
e
`
polyn me P a trois variables P @K, N, nAF est encore de ce type.
o
Supposons trouv e une relation de r currence non triviale a la sur Celine
e
e
`
I
ai,j @nAF @n C j, k C iA a H
i=0 j =0
`
ai,j @wAui v j , on dispose donc dun polyn me a trois vao
i,j
riables tel que P @K, N, nAF a H.Effectuons la division euclidienne de P @K, N, nA par le po
lyn me unitaire K I. On peut donc ecrire P @K, N, nA a P @I, N, nA @K IAQ@K, N, nA
o
et la relation P @K, N, nAF a H s crit alors
e
P @I, N, nAF
avec G
a @K IAG
a Q@K, N, nAF qui est de la forme G@n, kA a R@n, kAF @n, kA pour une certaine
aj @nAN j , on a donc
j =0
J
i=0
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
17
Encore faut-il que cette relation soit non triviale. Pour cela, prenons parmi les op rateurs non
e
triviaux P @K, N, nA qui annulent F un op rateur qui soit de degr minimal en K. Supposons
e
e
que P @I, N, nA a H ; on a alors @K IAG a H, soit G@n, k C IA a G@n, k A, donc G ne
`
`
d pend pas de k. Comme G est hyperg om trique a une seule variable elle satisfait a une
e
e e
`
r currence dordre 1 a coefcients polynomiaux, et donc il existe un polyn me H de degr 1
e
o
e
`
en N tel que H @N, nAG a H. Mais G a Q@K, N, nAF et Q a un degr en K egal a celui de
e
P divmin de 1. Donc H @N, nAQ@K, N, nAF a H alors que degK H @N, nAQ@K, N, nA a
e
degK P @K, N, nA I. Cest absurde. Donc P @I, N, nA a H ce qui garantit que la relation est
non triviale.
Th or` me 4 Soit F X N Z R proprement hyperg om trique. Alors il existe un entier J,
e e
e e
des polyn mes a0 @nA, . . . , aJ @nA non tous nuls et une fraction rationnelle R@n, k A tels quen
o
posant G@n, k A a R@n, k AF @n, k A on ait une relation t lescopique
e
@k, nA Z N,
j =0
Remarque Bien entendu une telle relation peut exister pour des fonctions hyperg om triques
e e
plus g n rales.
e e
peu dint r t. Nous allons voir quen fait lobtention dune relation t lescopique peut etre
ee
e
beaucoup plus rapide que celle dune r currence (qui devient impraticable d` s que lordre de
e
e
la r currence augmente).
e
Posons donc
F @n, k C IA
F @n, k A
r1 @n, k A
r2 @n, k A
F @n, k A
F @ n I, k A
et
a
a
s1 @n, k A
s2 @n, k A
et consid rons
e
tk @nA a a0 @nAF @n, k A C a1 @nAF @n C I, k A C . . . C aJ @nAF @n C J, k A
` e
les aj @nA etant des inconnues a d terminer.
On a alors
F @n C j, k A
F @n, k A
j1
i=0
F @n C j i, k A
F @n C j i I, k A
j1
i=0
s1 @n C j i, k A
s2 @n C j i, k A
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
18
et donc
tk+1 @nA
t k @n A
a
a
@ A
@ A
J
j =0 aj n
J
j =0 aj n
Donc
j1
i=0 s1
j1
i=0 s1
tk+1 @nA
tk @nA
avec
p0 @k A a
r1 @n, k A
r2 @n, k A
@n C j i, k C IA J=j s2 @n C j i, kA
i
J
aj @nA
@n C j i, kA i=j s2 @n C j i, k C IA
J
r1 @n, k A i=0 s2 @n C j i, k A
J
r2 @n, k A i=0 s2 @n C j i, k C IA
J
j =0
J
j =0
aj @nA
j1 s1 (n+ji,k+1)
i=0 s2 (n+ji,k+1)
j1 s1 (n+ji,k)
i=0 s2 (n+ji,k)
aj @nA
j =0
j1
p0 @k C IA r@k A
p0 @k A s@k A
J
s1 @n C j i, k C IA
s2 @n C j i, k A
i=j
i=0
et
r@k A a r1 @n, k A
s2 @n C j i, k A
i=0
s@k A a r2 @n, k A
s2 @n C j i, k C IA
i=0
en remarquant que les coefcients inconnus aj @nA napparaissent que dans p0 et ni dans r ni
dans s.
Maintenant, on peut mettre la fraction r@k A/s@k A sous forme de Gosper
r@k A
s@k A
p1 @k C IA r1 @k A
p1 @k A s1 @k A
`
avec r1 @k A s1 @k C j A a I ce qui conduit a
tk+1 @nA
tk @nA
p@k C IA r1 @k A
p@k A s1 @k A
(11)
admet une solution b@k A polynomiale en k. Mais le membre de gauche de cette r currence
e
est ind pendant des coefcients inconnus aj . On appelle donc b0 , . . . , bd les coefcients de
e
`
b et la r currence (11) conduit a un syst` me lin aire en les aj et les bi . Si ce syst` me a une
e
e
e
e
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
19
solution (que lon peut choisir polynomiale en n), cela nous fournit les polyn mes aj @nA et
o
on a dapr` s lalgorithme de Gosper
e
G@n, k A a gk
s1 @k IA
b@k Atk @nA
p @k A
ct(SUMMAND,ORDER,k,n,N)
`
o` SUMMAND d signe la suite hyperg om trique F @n, k A a etudier, ORDER est lordre J de la
u
e
e e
`
r currence a rechercher, k et n sont les noms des variables et N est le nom attribu a lop rateur
e
e`
e
de d calage en n (@N F A@n, k A a F @n C I, k A). La fonction renvoie dune part lop rateur
e
e
J
de r currence
e
j =0
j =0
soit encore
j =0
k
`
Traitons un premier exemple avec F @n, k A a @Cn A2 a lordre 1
> F:=binomial(n,k)^2;
F := binomial(n, k)
> ct(F,1,k,n,N);
2
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
20
(3 n + 3 - 2 k) k
-4 n - 2 + (n + 1) N, - -----------------2
(n - k + 1)
@Q n C Q P kA k2 k 2
@Cn A .
@n k C IA2
show ct(SUMMAND,ORDER,k,n,F,G)
(F et G etant les noms attribu s aux deux suites hyperg om triques F et G) permet une
e
e e
pr sentation plus habituelle de la r currence
e
e
> F1:=binomial(n,k)^2;
F1 := binomial(n, k)
> show_ct(F1,1,k,n,F,G);
(-4 n - 2) F(n, k) + (n + 1) F(n + 1, k) = G(n, k + 1) - G(n, k),
2
2
(3 n + 3 - 2 k) k binomial(n, k)
G(n, k) = - ---------------------------------2
(n - k + 1)
Si lon d sire un calcul direct de la relation de r currence v ri e par la suite f @nA
e
e
e e
F @n, k A, on dispose de la fonction zeil dont la syntaxe est
kZ
zeil(SUMMAND,k,n,N)
(avec les m mes notations que pour la fonction ct). Elle dispose de deux param` tres optione
e
nels MAXORDER et parameter list, lun pour limiter la recherche dun J qui convienne,
lautre pour d nir une liste de param` tres formels, le tout etant destin a acc l rer la ree
e
e `
ee
cherche de la relation.
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
21
> F1:=binomial(n,k)^2;
F1 := binomial(n, k)
> zeil(F1,k,n,N);
2
(3 n + 3 - 2 k) k
-4 n - 2 + (n + 1) N, - -----------------2
(n - k + 1)
k
@Cn A2 a
k
@Cn A2 v rie la relation de r currence
e
e
k=0
kZ
@Q n C Q P kA k2
@n k C IA2
tionnelle :
> F1:=binomial(n,k)^2;
F1 := binomial(n, k)
> show_zeil(F1,k,n,f);
(-4 n - 2) f(n) + (n + 1) f(n + 1) = 0
Enn, la fonction zeillim dont la syntaxe est
zeillim(SUMMAND,k,n,N,alpha,beta)
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
22
j =0
`
F @n, k A (attention a la signication du deuxi` me
e
k=
param` tre). Cest ainsi que pour trouver la r currence v ri e par f @nA a
e
e
e e
n
k
C3n , on posera
k=0
> F1:=binomial(3*n,k);
F1 := binomial(3 n, k)
> zeillim(F1,k,n,N,0,0);
2
2
(63 n + 93 n + 32 - 30 n k - 22 k + 4 k ) k
-8 + N, - --------------------------------------------,
(3 n - k + 1) (3 n + 2 - k) (3 n + 3 - k)
2
binomial(3 n, n) (5 n + 11 n + 4)
- ---------------------------------(n + 1) (2 n + 1)
n
C3n S n2 C II n C R
@n C IA @P n C IA
avec le certicat
R@n, k A a
TQ n2 C WQ n C QP QH nk PP k C R k2 k
@Q n k C IA @Q n C P kA @Q n C Q kA
(la troisi` me valeur retourn e est donc le second membre de la relation de r currence lin aire).
e
e
e
e
Encore une fois, la fonction personnelle show zeillim donnera au r sultat une forme plus
e
conventionnelle
> F1:=binomial(3*n,k);
F1 := binomial(3 n, k)
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
23
> show_zeillim(F1,k,n,f,0,0);
2
binomial(3 n, n) (5 n + 11 n + 4)
-8 f(n) + f(n + 1) = - ---------------------------------(n + 1) (2 n + 1)
do` lon d duira la formule amusante
u
e
n
k
C3n
a P3n I
k=0
n1
k=0
S k2 C II k C R
P3k @k C IA @P k C IA
k
C3k
n o` F @n, k A est une suite doublement hyperg om trique et n une suite hyperg om trique.
u
e e
e e
Wilf et Zeilberger ont d velopp une technique sp cique pour d montrer de telles formules
e
e
e
e
et m me pour en trouver de nouvelles.
e
`
La premi` re id e qui vient a lesprit est dutiliser lalgorithme de Zeilberger pour construire
e
e
une relation de r currence lin aire v ri e par f @nA a
e
e
e e
F @n, k A puis de r soudre cette
e
kZ
`
r currence lin aire a laide de lalgorithme de Petkovsek que nous verrons dans le paragraphe
e
e
suivant.
En fait on peut faire beaucoup mieux puisque lon sait quel r sultat on doit obtenir. Il suft
e
de v rier que la suite n v rie la m me relation de r currence lin aire avec les m mes
e
e
e
e
e
e
conditions initiales (par exemple f @HA a 0 , . . . f @J IA a J1 .
On peut encore am liorer cette m thode en introduisant la suite F1 @n, k A a F @n, k A/n . Il
e
e
`
suft de montrer que la suite f1 @nA a
F1 @n, k A est constante egale a 1. Pour cela, on lui
kZ
`
`
applique lalgorithme de Zeilberger a lordre 1 en cherchant a trouver une suite G1 @n, k A
R@n, k AF1 @n, k A telle que
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
24
`
G1 @n, k A, et donc a toute identit classique ou nouvelle sera associ e une identit duale
e
e
e
nZ
ou encore
k
F1
a, b
c
YI a
@c a bA@cA
@c aA@c bA
On va donc d montrer successivement avec Maple que le quotient du membre de gauche par
e
le membre de droite ne d pend ni de a, ni de b, ni de c.
e
> f0:=(a+k)!*(b+k)!*(c-a-1)!*(c-b-1)!/((c+k)!*(a-1)!*(c-a-b-1)!*(k+1)!*(b-1)!);
(a + k)! (b + k)! (c - a - 1)! (c - b - 1)!
f0 := ---------------------------------------------------(c + k)! (a - 1)! (c - a - b - 1)! (k + 1)! (b - 1)!
> show_ct(f0,1,k,a,F,G);
-F(a, k) + F(a + 1, k) = G(a, k + 1) - G(a, k), G(a, k) = (c + k)
(k + 1) (a + k)! (b + k)! (c - a - 1)! (c - b - 1)!/((-c + a + 1)
a (c + k)! (a - 1)! (c - a - b - 1)! (k + 1)! (b - 1)!)
> show_zeil(f0,k,a,f);
-f(a) + f(a + 1) = 0
> show_zeil(f0,k,c,f);
f(c) - f(c + 1) = 0
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
25
ce qui montre quelle ne d pend pas non plus de c. Il suft donc de montrer la formule pour
e
une valeur bien choisie de a, b et c.
5.4.0.2. Lidentit de K mmer
e
u
Elle s crit
e
2 F1
e e
Nous introduirons une fonction auxiliaire t hypergeom qui renvoie le terme g n ral de la
s rie hyperg om trique au lieu de la s rie elle-m me :
e
e e
e
e
>t_hypergeom:=proc(n,d,z,k)
>
local i;
>
product( GAMMA( n[i]+k ) / GAMMA( n[i] ), i=1..nops(n))*z^k
>
/ (product( GAMMA( d[i]+k ) / GAMMA (d[i] ), i=1..nops(d))*k! )
>
end;
On va donc d montrer successivement avec Maple que le quotient du membre de gauche par
e
le membre de droite ne d pend ni de a, ni de b.
e
> f5:=t_hypergeom([1-b-2*a,-2*a],[b],-1,k)
/convert((2*a)!*(b-1)!/(a!*(b+a-1)!),GAMMA);
k
f5 := GAMMA(1 - b - 2 a + k) GAMMA(-2 a + k) (-1) GAMMA(a + 1)
GAMMA(b + a)/(GAMMA(1 - b - 2 a) GAMMA(-2 a) GAMMA(b + k) k!
GAMMA(2 a + 1))
> show_zeil(f5,k,a,F);
-2 F(a) - 2 F(a + 1) = 0
> show_zeil(f5,k,b,F);
-F(b) + F(b + 1) = 0
5.4.0.3. Identit de Dixon
e
Elle s crit
e
a+k c
b+k
@IAk Cb+a Ca+k Cb+c a
+c
k
@a C b C cA3
a3 b3 c3
Par sym trie, il suft de montrer que le quotient ne d pend pas de a, soit
e
e
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
26
> f1:=(-1)^k*binomial(a+b,a+k)*binomial(a+c,c+k)
*binomial(b+c,b+k)/((a+b+c)!/(a!*b!*c!)):
> show_zeil(f1,k,a,F);
2 F(a) - 2 F(a + 1) = 0
a
a Ca+b
et en voici la d monstration
e
> f4:=binomial(a,k)*binomial(b,k)/binomial(a+b,a):
> show_zeil(f4,k,a,F);
F(a) - F(a + 1) = 0
6. Lalgorithme de Petkovsek
Nous avons vu comment lalgorithme de sur Celine ou lalgorithme de Zeilberger permettait
`
dobtenir des relations de r currence a coefcients polynomiaux du type
e
J
aj @nAf @n C j A a H
j =0
F @n, k A.
kZ
ce type de r currence. Nous proc derons pour cela en deux etapes, dabord en cherchant les
e
e
`
solutions polynomiales, puis en nous ramenant a cette situation gr ce a la forme de Gosper.
a `
aj @nAf @n C j A a c@nA
j =0
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
27
o` c est bien evidemment une fonction polynomiale. Si nous connaissons une majoration du
u
degr dune solution f , par identication la recherche dune solution polynomiale se ram` ne
e
e
`
a une simple r solution dun syst` me lin aire, et cest donc une telle majoration que nous
e
e
e
allons rechercher.
Comme dhabitude nous d nirons lop rateur de d calage N par @N f A@nA a f @n C IA.
e
e
e
Nous introduirons egalement lop rateur de diff rence D par D a N I, autrement dit
e
e
@Df A@nA a f @n C IA f @nA. Si f est un polyn me, on a deg Df a deg f I. Posons
o
La
aj @nAN j . On a alors
j =0
J
La
aj @nA@D C IAj
bj @nADj
j =0
j =0
avec bj @nA a
j
Ci ai @nA.
i=j
Posons d@j, xA
fk nk
k=0
b I. Supposons donc b C
b C . Si b C < H, on a
f
deg bj j =b
Soit il est non nul, et alors n cessairement b C a deg c, soit il est nul, et alors est racine
e
du polyn me
o
@bj Ad@j, X A. En tout etat de cause on a en utilisant les notations ci
deg bj j =b
dessus pour b et bj
Th or` me 5 Soit a0 , . . . , aJ , c des fonctions polynomiales. Si f est une solution polynomiale
e e
de la r currence
e
J
aj @nAf @n C j A a c@nA
j =0
alors deg f
avec
a mx@deg c b, b I, 1 A
@bj Ad@j, xA a H.
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
28
aj @nAf @n C j A a H
j =0
f @n C IA
et mettons la fraction rationnelle R sous forme de
f @n A
R @n A a
a@nA c@n C IA
b@nA c@nA
avec scalaire non nul, a, b, c etant des polyn mes unitaires tels que j N, a@X A b@X C
o
j A a I, a@X A c@X A a I, b@X A c@X C IA a I (cf le theoreme 2).
On a alors
c@n C j A
R@n C iA a f @nA
f @n C j A a f @nA
c@nA
i=0
i1
j1
aj @nAj c@n C j A
j1
a@n C iA
i=0
i=0
a@n C iA
b@n C iA
b@n C iA a H
i=j
i=0
premier avec c@X A et tous les b@X C j A, a@X A doit etre un diviseur unitaire de a0 @X A, ce qui
ne laisse quun nombre ni de possibilit s.
e
De la m me facon, b@n C J IA divise tous les termes pour j
e
`
terme correspondant a j
J1
i=0
a@X
C iA.
`
`
Mais il est premier avec c@X C J A (car b@X A est premier a c@X C IA) et il est premier a
chaque a@X C iA (car a@X A est premier avec b@X C J i IA), donc il doit diviser aJ @X A.
En conclusion b@X A doit etre un diviseur unitaire de aJ @X J C IA, ce qui ne laisse quun
nombre ni de possibilit s.
e
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
29
j1
i=0
a@X
C iA
b @X
C iA
i=j
j Aj @nAc@n C j A a H
j =0
j =0
J
j j
que n cessairement
e
j =0
Pour un tel choix du triplet @a@X A, b@X A, A, c@X A doit etre une solution polynomiale de la
`
r currence lin aire a coefcients polynomiaux
e
e
J
j Aj @nAc@n C j A a H
(12)
j =0
probl` me que nous avons r solu dans le paragraphe pr c dent. Soit la r currence (12) na pas
e
e
e e
e
J
aj @nAf @n C j A
a H na pas
j =0
de solution hyperg om trique. Soit elle admet une solution polynomiale c@nA ; on pose alors
e e
n1
a@nA c@n C IA
et f @nA a f @HA
R@n C iA est solution hyperg om trique de la
e e
R@nA a
b@nA c@nA
i=0
J
r currence
e
aj @nAf @n C j A a H.
j =0
7. Conclusion
Les algorithmes d couverts et mis en uvre par Sur Celine Fasenmyer, Gosper, Zeilbere
ger et Petkovsek ouvrent une nouvelle voie dans lutilisation des outils de calcul formel en
e
math matiques. Les m thodes d taill es ci-dessus ont et depuis etendu du cas discret au cas
e
e
e
e
continu pour former des equations diff rentielles v ri es par des int grales d nies de type
e
e e
e
e
`
hyperg om trique. Nul doute que les nouveaux outils qui sont a notre disposition permettront
e e
de d couvrir dans le futur de nouvelles identit s hyperg om triques dont la recherche dune
e
e
e e
`
interpr tation profonde peut ouvrir de nouveaux espaces a la recherche math matique.
e
e
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e
30
8. Bibliographie
Louvrage de base est
Petkovsek M., Wilf H.S., Zeilberger D., A a B, A K Peters, Ltd, Wellesley 1996
Les articles fondamentaux sont
Fasenmyer, Sister Mary Celine, A note on pure recurrence relations, Amer. Math. Monthly 56
(1949) 14-17
Gosper, R. W., Decision procedure for indenite hypergeometric summation, Proc. Nat.
Acad. Sci. USA 75 (1978), 40-42
Petkovsek, M, Hypergeometric solutions of linear recurrences with polynomial coefcients,
J. Symbolic Computation, 14 (1992), 243-264
Wilf H.S. ans Zeilberger D., Rational functions certify combinatorial identities, J. Amer.
Math. Soc. 3 (1990), 147-158
Zeilberger D., The method of creative telescoping, J. Symbolic Computation, 11 (1991), 195204
RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e