Vous êtes sur la page 1sur 30

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)

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

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

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

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

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

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)

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

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

RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e

aI

S ries hyperg om triques


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);

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

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

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

`
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

RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e

10

S ries hyperg om triques


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

RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e

a I en cherchant cette fois

S ries hyperg om triques


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

RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e

12

S ries hyperg om triques


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;

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

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

RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e

14

S ries hyperg om triques


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,

ai,j @nAF @n j, k iA a H

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

RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e

d@us j Cvs i, us nCvs k Ccs A


us j +vbs i 0

S ries hyperg om triques


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,

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

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

RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e

16

S ries hyperg om triques


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

aj @nAF @n C j, k A a G@n, k C IA G@n, k A

i=0

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

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,

aj @nAF @n C j, k A a G@n, k C IA G@n, k A

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

RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e

18

S ries hyperg om triques


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

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

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

aj @nAF @n C j, k A a G@n, k C IA G@n, k A

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

S ries hyperg om triques


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.

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

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)

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 :

> 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

S ries hyperg om triques


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)

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

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

RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e

24

S ries hyperg om triques


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

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

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

RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e

26

S ries hyperg om triques


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!)):
> show_zeil(f1,k,a,F);
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):
> 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

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

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

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

RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e

28

S ries hyperg om triques


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

aj @nAf @n C j A a H

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

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

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

RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e

30

S ries hyperg om triques


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

RMS. Volume 114 (2003-2004) - Suppl ment au n 2 c e.net / Editions Garnier, Paris, 2004.
e