114 2 6 PDF

S ries hyperg om triques : de Sur
e
e e
`
Celine a Zeilberger et Petkovsek
Denis Monasse, Lyc e Louis le Grand, Paris

e
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
S ries hyperg om triques

e
e e
les liens n cessaires vers les diff rentes impl mentations Maple, Mathematica ou Axiom de
e
e
e
ces algorithmes.
2. S ries hyperg om triques

e
e e
2.1. Notion de s ries hyperg om triques
e
e e
tk telle que le rapport
D nition 1 On appelle s rie hyperg om trique une s rie

e
e
e e
e
k
tk+1
tk
soit une fraction rationnelle en k, soit

tk+1
tk
P @k A
,
Q@k A
P, Q RX
Q nayant pas de racine enti` re positive.

e
Remarque On dira aussi de mani` re equivalente que la suite @tk A est hyperg om trique ou
e
e e
que tk est un terme hyperg om trique.
e e
Exemple tk
a xk , tk a k3, tk a
@k2 IA@Pk C IA3

.
@Qk IA3
`
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
Exemple La s rie exponentielle est simplement la s rie 0 F0

e
e
la s rie 0 F1
e
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,
comme le montre lexemple ci dessous :
> sum(binomial(n,k)^2*x^k/(2*k)!,k=0..infinity);
hypergeom([-n, -n], [1, 1, 1/2], 1/4 x)
e

e
e e
2.2. Suites associ es

e
Lensemble des s ries hyperg om triques nest malheureusement pas stable par addition
e
e e
comme le montre lexemple de la suite @Pn C IAnN qui est la somme de deux suites hyperg om triques sans l tre elle m me. Il est int ressant de d composer les sommes de s ries
e e
e
e
e
e
e
hyperg om triques dune mani` re canonique. Pour cela introduisons la d nition suivante :
e e
e
e
D nition 2 Deux suites @sn A et @tn A sont dites associ es si le rapport sn /tn est une fraction
e
e
rationnelle en n.
Remarque Il sagit visiblement dune relation d quivalence. Toute suite associ e a une suite
e
e `
hyperg om trique est visiblement encore hyperg om trique.
e e
e e
Proposition 1 Soit @sn A une suite hyperg om trique non constante. Alors la suite @sn+1 sn A
e e
est une suite hyperg om trique associ e.
e e
e
D monstration Si r@nA a sn+1 /sn , on a sn+1 sn
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
Alors deux de ces suites sont associ es.

e
D monstration Par r currence sur p, le r sultat etant evident pour p

e
e
e
(i)
(i)
tn+1 /tn . On a alors
n,
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
e

e
e e
et comme
(
H a rp @nA@t(1) C C tnp) A
n
en soustrayant on obtient
@r1 @nA rp @nAAt(1) C C @rp1 @nA rp @nAAt(p1)

n
n
(
Si pour un i, on a ri @nA a rp @nA, alors le rapport tnp) /t(i) est constant, et les deux suites
n
(
sont associ es. Sinon, comme les suites @ri @nA rp @nAAtni) sont encore hyperg om triques,
e
e e
lhypoth` se de r currence assure que deux de ces suites @ri @nA rp @nAAt(i) et @rj @nA
e
e
n
(
rp @nAAt(j ) sont associ es, mais il en est alors de m me des suites tni) et t(j ) .
e
e
n
n
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
Alors pour chaque classe d quivalence S on a

e
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
a t(1) C C t(p) a u(1) C C u(q)

n
n
n
n
`
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
Donnons nous une s rie

e
n
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
e

e
e 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
Proposition 3 Le rapport Sn+1 /Sn est une fraction rationnelle en n si et seulement si il

existe des fractions rationnelles R@X A et @X A (` coefcients rationnels, r els ou complexes
a
e
suivant le cas), telles que
an+1
n N
a R @n A
(1)
an
n N Sn a @nAan
(2)
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
La r ciproque provient des formules evidentes

e
an+1
an
(en posant Sn+1 /Sn
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 .
La fraction rationnelle R etant suppos e connue, lalgorithme de Gosper va permettre soit de

e
calculer la fraction rationnelle @X A quand celle-ci existe, soit dassurer quelle nexiste pas
et quil nexiste donc pas de suite @Sn A hyperg om trique telle que an a Sn+1 Sn .
e e
Th or` me 2 Il existe des polyn mes p@X A, q @X A et r@X A v riant les conditions
e e
o
e
R @X A a
p@X C IAq @X A
p@X Ar@X A
(3)
e

e
e e
k N
q @X A r@X
C kA a I
(4)
p@X A et q @X A sont premiers entre eux

p@X
(5)
C IA et r@X A sont premiers entre eux
(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
D monstration posons p0 @X A a I et R@X A a

e
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 ;
C hA sont premiers entre eux, on prend p a pj ,
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
si bien que lon a encore

R@X A a
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
N , h < hk+1 . Alors qi @X A et rj @X
C hA sont premiers entre eux.
D monstration Puisque qi @X A | q0 @X A et rj @X A divise r0 @X A, le pgcd de qi @X A et de

e
rj @X C hA divise le pgcd de q0 @X A et de r0 @X C hA ; il suft donc de montrer le r sultat
e
lorsque h est parmi h1 , . . . , hk . Nous allons montrer le r sultat par r currence sur k. Si k a H,
e
e
` e
il ny a rien a d montrer. Supposons le r sultat vrai pour k I. Alors le r sultat d coule de
e
e
e
`
lhypoth` se de r currence si h est lun des h1 , . . . , hk1 . Il reste donc a voir que qi @X A et
e
e
rj @X C hk A sont premiers entre eux. Mais comme qi @X A | qk @X A et rj @X C hk A | rk @X C hk A,
il suft de voir que qk @X A rk @X C hk A sont premiers entre eux. Mais on a
qk @X A rk @X
C hk A a
qk1 @X A rk1 @X C hk A
gk1 @X A
gk1 @X A
e
aI

e
e e
par d nition de gk1 @X A.

e
Pour i a j a N , on obtient que q @X A
entre eux pour tout h.
a qN @X A et r@X C hA a rN @X C hA sont premiers
Lemme 4 q @X A et p@X A sont premiers entre eux.

D monstration Soit u@X A un facteur commun irr ductible de q @X A et p@X A. Alors u est un
e
e
facteur commun de qN @X A et de lun des gi @X j A pour I i N et I j
hi . Mais
comme ri @X C hi j A a ri+1 @X C hi j Agi @X j A, u est un facteur commun de qN @X A
et de ri @X C hi j A avec hi j < hi ce qui contredit le lemme 3.
Lemme 5 r@X A et p@X
C IA sont premiers entre eux.
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.
Il suft alors de tester si on peut avoir pour un certain k N, Qs @X A a Rt @X C k A pour

un s I, m et un t I, n. Cela n cessite que les degr s de Qs et Rt soient les m mes
e
e
e
et la valeur de k sobtient sans difcult en consid rant le terme sous dominant de Qs @X A
e
e
Rt @X C k A.
Voici une impl mentation en Maple de la m thode avec lutilisation du r sultant :
e
e
e
>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);
e
>
>
>
>
>
>
>
>
>

e
e 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:
Proposition 4 Si la fraction rationnelle @X A existe, alors elle est de la forme

@X A a
q @X A
f @X A
p@X A
pour un certain polyn me f @X A v riant l quation fonctionnelle

o
e
e
p@X A a q @X
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@nAr@nA a @n C IAp@n C IAq @nA @nAp@nAr@nA.
Comme cette identit est v ri e par une innit de n, on a donc

e
e e
e
p@X Ar@X A a @X
soit
C IAp@X C IAq@X A @X Ap@X Ar@X A
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
Supposons que nest pas un polyn me et ecrivons @X A

o
p@X Aq @X Ag @X Ag @X
C IA a f @X C IAg@X Aq@X A f @X Ag@X C IAr@X A
(9)
Puisque u@X N A divise g @X A, il divise f @X Ag @X C IAr@X A dapr` s (9) ; mais comme il ne

e
divise pas g @X C IA (sinon u@X A diviserait g @X C N C IA ce qui nest pas) et quil ne divise
e

e
e 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
@p@X A @X C IAAq@X A a @X Ar@X A

et comme q @X A et r@X A sont premiers entre eux, q @X A divise @X A, soit @X A a q @X Af @X A
pour un certain polyn me f @X A. On reporte alors dans (8) et on obtient en simpliant par
o
q @X A,
p@X A a q @X C IAf @X C IA f @X Ar@X A.
`
La proposition pr c dente ram` ne donc le probl` me de lexistence et du calcul de @X A a
e e
e
e
celui de lexistence et du calcul dun polyn me f @X A v riant (7). Or il est clair que, si lon
o
e
`
connat une majoration du degr de f @X A, lidentit (7) conduit a un syst` me d quations
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
C IA C r@X A et s @X A a q@X C IA r@X A.
Proposition 5 Si deg s @X A a deg s+ @X A I alors
deg f @X A a deg p@X A mx@deg s @X A, deg s+ @X A IA.

Si deg s @X A a deg s+ @X A I a et si on a s @X A a u X
u
. . ., n0 a P
, alors
v +1
deg f
f @X
+1
deg p
si n0 N
mx@deg p , n0 A si n0 N
D monstration Appelons d a deg f . Alors deg

e
et deg
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
e
10

e
e e
et
deg@@q@X C IA C r@X AA
f @X
Si deg s @X A a deg s+ @X A I alors on a
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
On a donc soit d a n0 , soit d C
a deg p@X A ce qui d montre le deuxi` me cas.

e
e
`
La suite des op rations est donc claire. Si les majorations obtenues pour deg f conduisent a
e
une impossibilit (deg f < H), cest que notre probl` me na pas de solution. Sinon, il reste
e
e
`
`
a ecrire f @xA a wd X d C C w0 , o` d majore le degr de f @X A et a reporter dans (7). Si
u
e
le syst` me lin aires aux inconnues w0 , . . . , wd na pas de solution, cest que notre probl` me
e
e
e
nen a pas non plus. Sinon, on explicite une solution, do` f @X A, puis @X A et donc le calcul
u
de Sn .
Exemple Prenons tout dabord an
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
avec p@X A a @X IA2 , q @X A a t et r@X A a I (la condition q @X A r@X C k A a I etant
bien evidemment v ri e). On est donc amen a rechercher un polyn me f @X A v riant

e e
e `
o
e
p@X A a f @X Aq @X C IA f @X IAr@X A, soit ici @X IA2 a tf @X A f @X IA. Si t a I,
f @X A est n cessairement de degr 2, et par identication on obtient
e
e
f @X A 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
Il faudrait evidemment faire un nouveau calcul de f @X A pour t

un polyn me de degr 3.
o
e
e
a I en cherchant cette fois

e
e 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
Remarque On a vu dans le th or` me 1 que la d composition dune suite en somme de suites

e e
e
`
g om triques deux a deux associ es etait unique. De plus, la proposition 1 montre que si @Sn A
e e
e
`
est une suite hyperg om trique, alors Sn et an appartiennent a la m me classe d quivalence.
e e
e
e
`
Ceci montre que lalgorithme de Gosper fonctionne directement a lint rieur de chaque classe
e
`
d quivalence de suites hyperg om triques et permet de r pondre directement a la question :
e
e e
e
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
4. Lalgorithme de Sur Celine

4.1. Description de lalgorithme
Lalgorithme de Gosper permet donc de calculer explicitement, lorsque cest possible, des
n
tk . En fait, nous nous trouvons
sommes partielles de s ries hyperg om triques du type

e
e e
k=0
`
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.
Posons alors f @nA a

F @n, k A, le but etant de trouver une forme explicite de f @nA.
kZ
k
Exemple Avec les conventions habituelles que Cn
chercher une formule explicite pour fp @nA a

n
et que f2 @nA a C2n .
a H pour k < H ou k > n, on peut
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
e
12

e
e e
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
La m thode pour obtenir de telles r currences est la suivante :

e
e
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
ecrire ce num rateur sous la forme

e
i
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
>
>
>
>
>
>
F:=(n,k)->x^k*k*binomial(n,k): ii:=1: jj:=1:

eq1:=sum(sum(a[i,j]*F(n-j,k-i),i=0..ii),j=0..jj)/F(n,k):
eq2:=collect(numer(expand(eq1)),k):
eqs:={seq(coeff(eq2,k,i)=0,i=0..degree(eq2,k))}:
sol:=solve(eqs,{seq(seq(a[i,j],i=0..1),j=0..1)}):
recF:=subs(sol,sum(sum(a[i,j]*FF(n-j,k-i),i=0..1),j=0..1))=0;
e

e
e 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
et un autre plus compliqu

e
>
>
>
>
>
>
F:=(n,k)->binomial(n,k)^2: ii:=2: jj:=2:\par

eq1:=sum(sum(a[i,j]*F(n-j,k-i),i=0..ii),j=0..jj)/F(n,k):
eq2:=collect(numer(expand(eq1)),k):
eqs:={seq(coeff(eq2,k,i)=0,i=0..degree(eq2,k))}:
sol:=solve(eqs,{seq(seq(a[i,j],i=0..ii),j=0..jj)}):
recF:=subs(sol,sum(sum(a[i,j]*FF(n-j,k-i),i=0..ii),j=0..jj))=0;
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
e
14

e
e e
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
4.2. Existence de relations de r currences

e
`
Nous nous limiterons a un cas particulier essentiel :
D nition 3 On dit que F X N Z R est proprement hyperg om trique sil existe
e
e e
P Rn, k des entiers naturels U et V et des entiers relatifs a1 , . . . , aU , b1 , . . . , bU ,
c1 , . . . , cU , u1 , . . . , uU , v1 , . . . , vU , w1 , . . . , wu tels que
U
i=1
V
i=1
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,
i=0 j =0
Il existe une telle r currence non triviale avec J

e
|bs | C
a J a
s
I C deg P C J
|as | C
s
|vs | et I
a I a
|us | I .
s
D monstration Nous poserons m@k, xA

e
@x C iA et d@k, xA a
i=1
@x iA. On a alors
i=0
imm diatement, si F @n, k A a @ak C bk C cA3

e
F @n j, k iA
F @n, k A
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
si bien que dans le cas g n ral de la d nition, on a

e e
e
F @n j, k iA
F @n, k A
i,j @n, k A
i,j @n, k A
avec
m@|as j Cbs i|, as nCbs k Ccs A
i,j @n, k A a P @nj, kiA

as j +bs i<0
e
d@us j Cvs i, us nCvs k Ccs A

us j +vbs i 0

e
e e
15
et
i,j @n, k A a P @n, k A
d@as j Cbs i, as nCbs k Ccs A
m@|us j Cvs i|, us nCvs k Ccs A

us j +vs i<0
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
(avec x a mx@x, HA) et un multiple commun de tous les m@|us j C vs i|, us n C vs k C cs A

pour H i I et H j J et us j C vs i < H qui est
+
m@|us j C vs i|, us n C vs k C ws A a m@u J

s
C vs I, us n C vs k C ws A
i,j|us j +vs j<0
(avec x
a mx@x, HA) si bien quen posant
@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
ai,j @nAQi,j @n, k A a H
i=0 j =0
soit encore
@k, nA Z N,
i=0 j =0
Les valeurs de I et J qui garantissent une telle r currence non triviale proviennent dune
e
evolution soigneuse des degr s en k des Qi,j @n, k A.

e
5. Lalgorithme de Zeilberger
`
Lalgorithme de Sur Celine cherchait a construire une relation de r currence non triviale
e
que lon peut ecrire sous la forme

@k, nA Z N,
ai,j @nAF @n C j, k C iA a H
i=0 j =0
e
16

e
e e
Lalgorithme de Zeilberger lui va rechercher une relation t lescopique du type

e
@k, nA Z N,
aj @nAF @n C j, k A a G@n, k C IA G@n, k A
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
ci-dessus fournit pour la fonction f @nA a
F @n, k A la relation de r currence

e
kZ
aj @nAf @n C j A a H
j =0
5.1. Existence dune relation t lescopique

e
Nous introduirons sur lensemble des fonctions de N Z dans R les deux op rateurs lin aires
e
e
N et K d nis par
e
@N F A@n, kA a F @n C I, kA et @KF A@n, kA a F @n, k C IA

Remarquons que pour toute suite doublement hyperg om trique F , les deux suites KF et
e e
`
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
En d signant par P @u, v, wA

e
`
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
fraction rationnelle R. Si lon pose P @I, N, nA a
aj @nAN j , on a donc
j =0
J
i=0
e

e
e 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
5.2. Lalgorithme de Zeilberger

`
Lobtention dune relation t lescopique a partir dune r currence a la sur Celine est de
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
e
18

e
e e
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
si lon pose p@k A a p0 @k Ap1 @k A.

Il sagit maintenant dune forme standard de Gosper, et on sait que lon pourra mettre tk sous
la forme gk+1 gk si et seulement si la r currence
e
r1 @k Ab@k C IA s1 @k IAb@k A a p@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
e

e
e 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
Si ce syst` me na pas de solution, on augmente J et on recommence. On nit n cessairement

e
e
par trouver une solution.
5.3. Mise en uvre

Dans la biblioth` que Maple EKHAD, trois fonctions impl mentent lalgorithme de Zeilbere
e
ger, les fonctions ct, zeil et zeillim.
`
La premi` re ct se charge de rechercher une relation de r currence a un ordre J donn . Sa
e
e
e
syntaxe est
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
aj @nAN j et dautre part la fraction rationnelle R@n, k A de telle sorte que si
j =0
lon pose G@n, k A a R@n, k AF @n, k A, on ait

J
aj @nA@N j F A@n, k A a G@n, k C IA G@n, k A
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
e
20

e
e e
(3 n + 3 - 2 k) k
-4 n - 2 + (n + 1) N, - -----------------2
(n - k + 1)
ce qui signie que la suite v rie la relation de r currence

e
e
@Rn PAF @n, kA C @n C IAF @n C I, kA a G@n, k C IA G@n, kA

avec G@n, k A a
@Q n C Q P kA k2 k 2
@Cn A .
@n k C IA2
Une fonction personnelle show ct dont la syntaxe est
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.
e

e
e e
21
> zeil(F1,k,n,N);
2
(3 n + 3 - 2 k) k
-4 n - 2 + (n + 1) N, - -----------------2
(n - k + 1)
ce qui signie que la suite f @nA
k
@Cn A2 a
k
@Cn A2 v rie la relation de r currence
e
e
k=0
kZ
lin aire homog` ne

e
e
@Rn PAf @nA C @n C IA@N f A@nA a H

soit encore
@Rn PAf @nA C @n C IAf @n C IA a H

avec le certicat
R@n, k A a
@Q n C Q P kA k2
@n k C IA2
qui constitue en quelque sorte la preuve de la relation de r currence. On en d cuira facilement

e
e
n
que f @nA a C2n .
De la m me facon, une fonction personnelle show zeil peut servir dinterface plus convene
tionnelle :
> 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)
e
22

e
e e
construit la relation de r currence

e
n
ai @nAf, @n C j A a G@n, n C IA G@n, A
j =0
v ri e par la somme nie f, @nA

e e
`
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)
ce qui signie que la suite v rie la relation de r currence lin aire

e
e
e
Vf @nA C f @n C IA a
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)
e

e
e 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
5.4. De bien belles formules

Depuis Gauss, les math maticiens ont trouv nombre de formules remarquables reliant s ries
e
e
e
et suites hyperg om triques. Ces formules se pr sentent souvent sous la forme
e e
e
F @n, k A a
kZ
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
F1 @n C I, k A F1 @n, k A a G1 @n, k C IA G1 @n, k A

En sommant suivant k ces relations, on obtiendra que f1 @nA
F1 @n, k A est constante et

kZ
il sufra de calculer sa valeur pour un n bien choisi.

Remarque On voit que F1 et G1 jouent des r les etonnamment sym triques. En sommant la
o
e
relation t lescopiques suivant n au lieu de k, on obtiendra une autre suite constante g1 @k A a
e
e
24

e
e e
`
G1 @n, k A, et donc a toute identit classique ou nouvelle sera associ e une identit duale
e
e
e
nZ
qui en g n ral est nouvelle.

e e
Nous allons voir dans la suite de ce paragraphe quelques identit s fameuses sur les s ries
e
e
hyperg om triques. De mani` re a simplier lexpos , nous avons laiss de c t toutes les
e e
e `
e
e
oe
`
questions de convergence de s ries et les passages a la limite n cessaires lorsque les suites
e
e
`
ne sont pas a support ni. Le lecteur comblera facilement ces lacunes. Les conditions de
validit des raisonnements sont explicit es dans larticle de Wilf et Zeilberger cit dans la
e
e
e
bibliographie.
5.4.0.1. Lidentit de Gauss
e
Elle s crit
e
2
ou encore
k
F1
a, b
c
YI a
@c a bA@cA
@c aA@c bA
@a C kA3 @b C kA3 @a IA3 @c a b IA3 @b IA3

a
@c C kA3 @k C IA3
@c a IA3 @c b IA3
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
Donc lexpression ne d pend pas de a, ni dailleurs de b par sym trie.

e
e
> show_zeil(f0,k,c,f);
f(c) - f(c + 1) = 0
e

e
e 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
I b Pa, Pa Y I a @IAa @P aA3 @b IA3

b
a3 @b C a IA3
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
e
26

e
e e
> f1:=(-1)^k*binomial(a+b,a+k)*binomial(a+c,c+k)
*binomial(b+c,b+k)/((a+b+c)!/(a!*b!*c!)):
2 F(a) - 2 F(a + 1) = 0
5.4.0.4. Lidentit de Van der Monde

e
Elle s crit
e
k k
Ca Cb
a
a Ca+b
et en voici la d monstration
e
> f4:=binomial(a,k)*binomial(b,k)/binomial(a+b,a):
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
j =0
pour les sommes innies de s ries doublement hyerg om triques f @nA

e
e e
F @n, k A.
kZ
Lalgorithme de Petkovsek va se charger de d terminer les solutions hyperg om triques de

e
e e
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 `
6.1. Solutions polynomiales

Nous rechercherons ici des solutions polynomiales de r currences afnes du type
e
J
aj @nAf @n C j A a c@nA
j =0
e

e
e 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
a x@x IA . . . @x j C IA comme pr c demment. Soit f @nA a

e e
fk nk
k=0
avec f a H. Comme Dj @nk A a d@j, k Ankj C . . ., le coefcient de plus haut degr de

e
bj @nADj f @nA est @bj Af d@j, A (o` lon note @pA le coefcient de plus haut degr dun
u
e
polyn me p).
o
Posons b
a mx @deg bj j A. On a bien evidemment deg Lf

0 j
b I. Supposons donc b C
b C . Si b C < H, on a
H. Le coefcient de nb+ dans Lf @nA est

@bj Ad@j, deltaA
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.
o` 1 est la plus grande racine enti` re de l quation

u
e
e
deg bj j =b
e
28

e
e e
Ce th or` me permet donc de ramener le probl` me de la recherche de solutions polynomiales

e e
e
`
dune r currence lin aire a la r solution dun syst` me d quations lin aires.
e
e
e
e
e
e
6.2. Solutions hyperg om triques

e e
Nous recherchons donc maintenant les solutions hyperg om triques dune r currence lin aire
e e
e
e
homog` ne a coefcients polynomiaux
e `
J
j =0
Pour cela, posons R@nA

Gosper
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
R duisons au m me d nominateur lexpression

e
e
e
obtient l quation
e
J
j =0
aj @nAj c@n C j A
j1
aj @nAf @n C j A et divisons par f @nA. On
a@n C iA
i=0
On constate que a@nA divise tous les termes pour j

`
reespondant a j
i=0
a@n C iA
b@n C iA
b@n C iA a H
i=j
I ; il doit donc diviser le terme coJ
a H autrement dit a@X A divise a0 @X Ac@X A
b@n C iA ; mais comme il est
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
J I ; donc il doit diviser le
a J, autrement dit b@X CJ IA divise aJ @X Ac@nCJ A
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
e

e
e e
29
Prenons donc un tel couple a@X A, b@X A (obtenu par d composition de a0 @X A et de aJ @X

e
J IA en polyn mes irr ductibles. Posons
o
e
Aj @X A a aJ @X A
j1
i=0
a@X
C iA
b @X
C iA
i=j
On doit donc avoir

J
j Aj @nAc@n C j A a H
j =0
Soit m le maximum des degr s des Aj et j le coefcient de X m dans Aj @X A. En regardant

e
J
le coefcient de nm+ dans
j Aj @nAc@n C j A (o` d signe le degr de c@X A), on voit

u
e
e
j =0
J
j j
que n cessairement
e
a H, ce qui ne laisse quun nombre ni de possibilit s pour .

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
de solution polynomiale, et cela garantit que la r currence

e
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
e
30

e
e e
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
e

114 2 6 PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

114 2 6 PDF

Uploaded by

Copyright:

Available Formats

S ries hyperg om triques : de Sur

Denis Monasse, Lyc e Louis le Grand, Paris

S ries hyperg om triques

2. S ries hyperg om triques

D nition 1 On appelle s rie hyperg om trique une s rie

soit une fraction rationnelle en k, soit

Q nayant pas de racine enti` re positive.

@k2 IA@Pk C IA3

Exemple La s rie exponentielle est simplement la s rie 0 F0

comme le montre lexemple ci dessous :

S ries hyperg om triques

2.2. Suites associ es

Alors deux de ces suites sont associ es.

D monstration Par r currence sur p, le r sultat etant evident pour p

S ries hyperg om triques

@r1 @nA rp @nAAt(1) C C @rp1 @nA rp @nAAt(p1)

Alors pour chaque classe d quivalence S on a

a t(1) C C t(p) a u(1) C C u(q)

Donnons nous une s rie

S ries hyperg om triques

Proposition 3 Le rapport Sn+1 /Sn est une fraction rationnelle en n si et seulement si il

La r ciproque provient des formules evidentes

La fraction rationnelle R etant suppos e connue, lalgorithme de Gosper va permettre soit de

S ries hyperg om triques

p@X A et q @X A sont premiers entre eux

C IA et r@X A sont premiers entre eux

D monstration posons p0 @X A a I et R@X A a

C hA sont premiers entre eux, on prend p a pj ,

si bien que lon a encore

N , h < hk+1 . Alors qi @X A et rj @X

C hA sont premiers entre eux.

D monstration Puisque qi @X A | q0 @X A et rj @X A divise r0 @X A, le pgcd de qi @X A et de

S ries hyperg om triques

par d nition de gk1 @X A.

a qN @X A et r@X C hA a rN @X C hA sont premiers

Lemme 4 q @X A et p@X A sont premiers entre eux.

C IA sont premiers entre eux.

Il suft alors de tester si on peut avoir pour un certain k N, Qs @X A a Rt @X C k A pour

S ries hyperg om triques

Proposition 4 Si la fraction rationnelle @X A existe, alors elle est de la forme

pour un certain polyn me f @X A v riant l quation fonctionnelle

p@nAr@nA a @n C IAp@n C IAq @nA @nAp@nAr@nA.

Comme cette identit est v ri e par une innit de n, on a donc

C IAp@X C IAq@X A @X Ap@X Ar@X A

Supposons que nest pas un polyn me et ecrivons @X A

C IA a f @X C IAg@X Aq@X A f @X Ag@X C IAr@X A

Puisque u@X N A divise g @X A, il divise f @X Ag @X C IAr@X A dapr` s (9) ; mais comme il ne

S ries hyperg om triques

@p@X A @X C IAAq@X A a @X Ar@X A

C IA C r@X A et s @X A a q@X C IA r@X A.

Proposition 5 Si deg s @X A a deg s+ @X A I alors

deg f @X A a deg p@X A mx@deg s @X A, deg s+ @X A IA.

D monstration Appelons d a deg f . Alors deg

S ries hyperg om triques

Si deg s @X A a deg s+ @X A I alors on a

On a donc soit d a n0 , soit d C

a deg p@X A ce qui d montre le deuxi` me cas.

avec p@X A a @X IA2 , q @X A a t et r@X A a I (la condition q @X A r@X C k A a I etant

bien evidemment v ri e). On est donc amen a rechercher un polyn me f @X A v riant

Il faudrait evidemment faire un nouveau calcul de f @X A pour t

a I en cherchant cette fois

S ries hyperg om triques

Remarque On a vu dans le th or` me 1 que la d composition dune suite en somme de suites

F:=(n,k)->x^kkbinomial(n,k): ii:=1: jj:=1: