Vous êtes sur la page 1sur 45

a

r
X
i
v
:
m
a
t
h
/
0
3
0
3
0
6
6
v
1


[
m
a
t
h
.
N
T
]


5

M
a
r

2
0
0
3
Irrationalite de valeurs de zeta [dapr`es Apery,
Rivoal, ...]
Stephane FISCHLER
Seminaire Bourbaki - Novembre 2002
Expose numero 910 ; `a paratre dans Asterisque
INTRODUCTION
Cet expose est consacre aux valeurs aux entiers s 2 de la fonction zeta
de Riemann, denie par (s) =

n=1
n
s
. Quand s = 2k est pair, on sait que
(2k)
2k
est un nombre rationnel, lie aux nombres de Bernoulli. Comme
est transcendant (voir lappendice de [La] pour une preuve), (2k) lest aussi
pour tout k 1. La nature arithmetique des (2k + 1) est beaucoup moins
bien connue. Dun point de vue conjectural, la situation est simple :
Conjecture 0.1 Les nombres , (3), (5), (7), . . . sont algebriquement
independants sur Q.
Cette conjecture est un cas particulier dune conjecture diophantienne sur
les polyzetas (voir [Wa] ou [Ca2]). Elle implique que les (2k + 1) sont tous
transcendants, donc irrationnels, et lineairement independants sur Q.
Tr`es peu de resultats sont connus en direction de la conjecture 0.1. Le
premier dentre eux a ete annonce par Apery lors des Journees Arithmetiques
de Luminy, en 1978 :
Theor`eme 0.2 ([Ap1]) (3) est irrationnel.
Apery lui-meme na donne lors de son expose (voir [Me]), et na publie
[Ap1], quune esquisse de sa preuve. Les details (qui sont loin detre trivi-
aux) ont ete publies par Van Der Poorten [Po1] (voir aussi [Coh1] et [Re1]),
grace `a des contributions de Cohen et Zagier. Par la suite, plusieurs autres
demonstrations du theor`eme dApery sont parues. La premi`ere partie de ce
1
texte est consacree `a une synth`ese des dierents points de vue quon peut
adopter pour le demontrer.
La grande percee suivante date de 2000 :
Theor`eme 0.3 ([Ri1], [BR]) Le Q-espace vectoriel engendre par 1, (3),
(5), (7), . . . est de dimension innie.
En consequence, il existe une innite de k tels que (2k +1) soit irrationnel.
On peut donner des versions eectives de ce dernier enonce : Rivoal a
demontre [Ri3] que parmi les neuf nombres (5), (7), . . . , (21), lun au
moins est irrationnel. Ce resultat a ete ameliore par Zudilin :
Theor`eme 0.4 ([Zu1], [Zu4]) Lun au moins des quatre nombres (5), (7),
(9), (11) est irrationnel.
Malgre ces developpements recents, il nexiste aucun entier s 5 impair pour
lequel on sache si (s) est rationnel ou non.
Ce texte est divise en trois parties. La premi`ere est une synth`ese des
methodes connues pour demontrer lirrationalite de (3) ; linteret des dierentes
approches est quelles se generalisent plus ou moins facilement `a dautres
situations. La deuxi`eme partie fournit une preuve du theor`eme 0.3, et de
resultats voisins. La troisi`eme est consacree `a des resultats quantitatifs :
mesure dirrationalite de (3) et theor`eme 0.4.
Remerciements : Je remercie toutes les personnes qui mont aide dans
la preparation de ce texte, notamment F. Amoroso, V. Bosser, N. Brise-
barre, P. Cartier, G. Christol, P. Colmez, P. Grinspan, L. Habsieger, M. Hut-
tner, C. Krattenthaler, C. Maclean, F. Martin, Yu. Nesterenko, F. Pellarin,
A. Pulita, E. Royer, M. Waldschmidt, D. Zagier et W. Zudilin. Je remercie
tout particuli`erement T. Rivoal pour les nombreuses discussions tr`es instruc-
tives que nous avons eues.
1 Irrationalite de (3)
Toutes les preuves connues de lirrationalite de (3) ont la meme structure.
On construit, pour tout n 0, des nombres rationnels u
n
et v
n
ayant les
proprietes suivantes :
1. La forme lineaire I
n
= u
n
(3) v
n
verie
limsup
n
|I
n
|
1/n
(

2 1)
4
= 0, 0294372 . . .
2
2. En notant d
n
le p.p.c.m. des entiers compris entre 1 et n, les coecients
u
n
et v
n
verient :
u
n
Z et 2d
3
n
v
n
Z.
3. Pour une innite dentiers n, on a I
n
= 0.
La conclusion est alors immediate : si (3) etait un nombre rationnel p/q,
alors 2qd
3
n
I
n
serait un entier pour tout n, et tendrait vers zero quand n tend
vers linni (car (

2 1)
4
e
3
< 1, en utilisant [Ing] le theor`eme des nom-
bres premiers sous la forme lim
n
log(dn)
n
= 1) : cela contredit la troisi`eme
assertion.
Remarque 1.1 Comme (

2 1)
4
3, 23
3
< 1, le theor`eme des nombres
premiers peut etre remplace par lassertion plus faible d
n
< 3, 23
n
pour n
assez grand, qui se demontre en utilisant des arguments elementaires `a la
Tchebychev ([NZM], 8.1 ; [Ing], p. 15).
Dans la suite, on donne plusieurs constructions ( 1.1 `a 1.10) de u
n
, v
n
et
I
n
, `a chaque fois notees u
i,n
, v
i,n
et I
i,n
(lindice i {R, E, R, , C, P, TB, M}
fait reference `a la construction utilisee). En fait, on construit toujours les
memes formes lineaires : a posteriori on saper coit que u
i,n
, v
i,n
et I
i,n
ne
dependent pas de i. La preuve de cette independance est le plus souvent
directe. Parfois, on montre simplement que I
i,n
= I
j,n
; les deux autres
egalites en decoulent en utilisant lirrationalite de (3).
Les premi`eres valeurs de u
n
et v
n
sont :
(u
n
)
n0
= 1, 5, 73, 1445, 33001, 819005, . . .
(v
n
)
n0
= 0, 6,
351
4
,
62531
36
,
11424695
288
, . . .
Cette partie contient lesquisse de plusieurs preuves de lirrationalite de
(3), notamment celles dApery [Ap1] (1.1 et 1.2), de Beukers [Be1] par
les integrales multiples (1.3) ou [Be6] par les formes modulaires (1.10), de
Prevost [Pr1] (1.1 et 1.2), de Nesterenko [Ne2] (1.4 et 1.5), de Sorokin
[So3] (1.8), et de nombreuses variantes. Certaines preuves sont obtenues
en montrant que deux constructions dierentes fournissent les memes formes
lineaires, puis en prouvant le point (2) `a laide de lune et les points (1) et (3)
`a laide de lautre (par exemple en montrant que lim
n
|I
n
|
1/n
= (

21)
4
).
3
La plupart des methodes connues pour demontrer des resultats dirrationalite
sur les valeurs de sont liees aux polylogarithmes, denis pour tout entier
k 1 par :
Li
k
(z) =

n=1
z
n
n
k
,
avec |z| < 1 si k = 1 et |z| 1 si k 2. Lidee est de construire des formes
lineaires en polylogarithmes, `a coecients polynomiaux, puis de specialiser
en z = 1. Cest la methode employee dans les paragraphes 1.3 `a 1.9. Les
formes lineaires en polylogarithmes I
i,n
(z) quon utilise ne sont pas toujours
les memes, mais elles concident en z = 1, pour donner les formes lineaires
dApery.
Les polylogarithmes sins`erent dans la famille des series hypergeometriques
q+1
F
q
(avec q 1), denies par :
q+1
F
q
_

0
,
1
, . . . ,
q

1
, . . . ,
q

z
_
=

k=0
(
0
)
k
(
1
)
k
(
q
)
k
k! (
1
)
k
(
q
)
k
z
k
,
o` u le symbole de Pochhammer est ()
k
= ( + 1) ( +k 1). Dans cet
expose, les
j
et les
j
seront des entiers, les
j
etant positifs, et z sera un
nombre complexe avec |z| 1. On adopte les denitions suivantes ([AAR],
3.3 et 3.4) :

q+1
F
q
est dite bien equilibree si
0
+ 1 =
1
+
1
= =
q
+
q
;

q+1
F
q
est dite tr`es bien equilibree si elle est bien equilibree et
1
=
1
2

0
+ 1.
1.1 Recurrence lineaire
Denition 1.2 Soient (u
R,n
)
n0
et (v
R,n
)
n0
les suites denies par la rela-
tion de recurrence
(n + 1)
3
y
n+1
(34n
3
+ 51n
2
+ 27n + 5)y
n
+ n
3
y
n1
= 0 (1)
et les conditions initiales
u
R,0
= 1 , u
R,1
= 5 , v
R,0
= 0 , v
R,1
= 6.
4
Une recurrence immediate montre que les suites (u
R,n
) et (v
R,n
) sont crois-
santes et `a termes rationnels, avec n!
3
u
R,n
Z et n!
3
v
R,n
Z. En fait on
verra quon peut remplacer n!
3
par d
3
n
.
Les proprietes asymptotiques des suites veriant la recurrence (1) sont
faciles `a determiner (voir par exemple [Gel], Chapitre 5). Lequation car-
acteristique associee est X
2
34X+1 ; elle a deux racines simples, (

2+1)
4
et (

21)
4
. Lespace vectoriel des solutions de (1) est de dimension deux, et
admet une base formee de suites (y
(0)
n
)
n0
et (y
(1)
n
)
n0
avec lim
n+
log |y
(0)
n
|
n
=
log((

2+1)
4
) et lim
n+
log |y
(1)
n
|
n
= log((

21)
4
). La suite (y
(1)
n
) est unique-
ment determinee (`a proportionnalite pr`es) par son comportement asympto-
tique ; toutes les autres solutions de (1) se comportent comme (y
(0)
n
). Comme
(u
R,n
) et (v
R,n
) sont croissantes, on a :
lim
n
u
1/n
R,n
= lim
n
v
1/n
R,n
= (

2 + 1)
4
= 33, 9705627 . . . (2)
Quand on adopte ce point de vue, on a interet [Po1] `a considerer
n
=
v
R,n
v
R,n1
u
R,n
u
R,n1
pour n 1. La relation de recurrence montre quon a
n
=
6
n
3
pour tout n, ce qui signie
v
R,n
u
R,n

v
R,n1
u
R,n1
=
6
n
3
u
R,n
u
R,n1
. Donc la suite (
v
R,n
u
R,n
)
est strictement croissante et tend vers une limite nie , avec u
R,n
v
R,n
=

k=n+1
6u
R,n
k
3
u
R,k
u
R,k1
. Ceci prouve que u
R,n
v
R,n
est une solution de (1) qui
tend vers zero quand n tend vers linni : son comportement asymptotique
est necessairement donne par
lim
n+
log |u
R,n
v
R,n
|
n
= log((

2 1)
4
).
Avec cette denition de u
R,n
et v
R,n
, il nest pas evident de demontrer que
= (3), et de borner par d
3
n
les denominateurs de u
R,n
et v
R,n
. Pour ceci,
une possibilite est de faire le lien avec le paragraphe 1.2 : cest la methode
employee dans les premi`eres preuves detaillees de lirrationalite de (3), qui
sont parues peu apr`es lexpose dApery ([Re1], [Po1], [Coh1]).
Remarque 1.3 Le raisonnement ci-dessus montre que
v
R,n
u
R,n
est la n-i`eme
somme partielle de la serie (3) =

k=1
6
k
3
u
R,k
u
R,k1
.
5
La denition 1.2 sinterpr`ete en termes de fractions continues generalisees.
En eet, considerons la recurrence lineaire
Y
n+1
(34n
3
+ 51n
2
+ 27n + 5)Y
n
+ n
6
Y
n1
= 0. (3)
On passe dune solution de (1) `a une solution de (3), et reciproquement, en
posant Y
n
= n!
3
y
n
. Si U
R,n
et V
R,n
sont ainsi associees `a u
R,n
et v
R,n
, alors
V
R,n
U
R,n
=
v
R,n
u
R,n
est la n-i`eme reduite de la fraction continue generalisee
(3) =
6
5

1
117

64
535

n
6
34n
3
+ 51n
2
+ 27n + 5
.
On peut trouver cette formule grace `a un procede general ([Ap2], [BO],
[Ze2]) qui accel`ere la convergence dun developpement en fraction continue
generalisee. Ce procede sapplique, en particulier, au developpement dont
les reduites sont les sommes partielles de la serie

n=1
1
f(n)
, o` u f est un
polynome sans zero parmi les entiers strictement positifs.
En utilisant cette methode dacceleration de convergence, Andre-Jeannin
a demontre [AnJ] que la somme des inverses des nombres de Fibonacci est
irrationnelle (voir aussi [BV] et [Pr2]).
1.2 Formules explicites
Denition 1.4 Soient (u
E,n
) et (v
E,n
) les suites denies par les formules
suivantes :
u
E,n
=
n

k=0
_
n
k
_
2
_
n + k
k
_
2
v
E,n
=
n

k=0
_
n
k
_
2
_
n + k
k
_
2
_
n

m=1
1
m
3
+
k

m=1
(1)
m1
2m
3
_
n
m
__
n+m
m
_
_
Sous cette forme, il est clair que u
E,n
Z et que
v
E,n
u
E,n
tend vers (3). Pour
demontrer ([Po1], [Coh1], [Re1]) que 2d
3
n
v
E,n
Z, il sut de demontrer que,
pour 1 m k n,
_
n+k
k
_
d
3
n
m
3
_
n
m
__
n+m
m
_ =
_
n+k
km
_
d
3
n
m
3
_
n
m
__
k
m
_ (4)
6
est entier. Soit p un nombre premier ; la valuation p-adique v
p
(n!) de n!
vaut

i=1
[
n
p
i
] avec = [
log(n)
log(p)
] = v
p
(d
n
). Pour 1 i v
p
(m) on a [
n
p
i
] =
[
nm
p
i
] + [
m
p
i
] et pour v
p
(m) < i v
p
(d
n
) on a [
n
p
i
] [
nm
p
i
] + [
m
p
i
] + 1. On en
deduit v
p
(
_
n
m
_
) v
p
(d
n
) v
p
(m) et v
p
(
_
k
m
_
) v
p
(d
k
) v
p
(m). Il en resulte
que
d
3
n
m
3
(
n
m
)(
k
m
)
est un entier, et le quotient (4) aussi.
Montrons maintenant ([Po1], [Coh1]) que les suites (u
E,n
) et (v
E,n
) verient
la recurrence (1). On pose
n,k
=
_
n
k
_
2
_
n+k
k
_
2
pour k, n Z, et
A
n,k
= 4(2n + 1)(k(2k + 1) (2n + 1)
2
)
n,k
,
avec les conventions habituelles (i.e.
n,k
= 0 si k < 0 ou k > n). On a alors
A
n,k
A
n,k1
= (n + 1)
3

n+1,k
(34n
3
+ 51n
2
+ 27n + 5)
n,k
+ n
3

n1,k
.
En sommant sur k, on obtient que la suite (u
E,n
) satisfait `a la recurrence (1).
Pour la suite (v
E,n
), on peut faire de meme en utilisant la suite double
B
n,k
= A
n,k
_
n

m=1
1
m
3
+
k

m=1
(1)
m1
2m
3
_
n
m
__
n+m
m
_
_
+
5(2n + 1)k(1)
k1
n(n + 1)
_
n
k
__
n + k
k
_
.
Ceci demontre quon a u
E,n
= u
R,n
et v
E,n
= v
R,n
pour tout n 0. Compte
tenu des resultats demontres au paragraphe 1.1, on obtient une preuve de
lirrationalite de (3).
La demonstration donnee ci-dessus que (u
E,n
) et (v
E,n
) verient la recurrence
(1) nest quune simple verication, `a condition detre capable dexhiber
les suites doubles A
n,k
et B
n,k
, ce qui na pas ete une tache facile (voir
[Po1], 7). Motives par ce probl`eme, plusieurs auteurs (notamment Zeil-
berger) ont ensuite mis au point des algorithmes permettant dexhiber de
telles suites doubles. On a ainsi un moyen automatique de produire des
preuves didentites (voir [Ca1], [Ze1], [PWZ]). De plus, ces preuves sont
immediatement veriables `a la main.
Dans les formules ci-dessus, un role central est joue par la suite double
c
n,k
=

n
m=1
1
m
3
+

k
m=1
(1)
m1
2m
3
(
n
m
)(
n+m
m
)
(denie pour 0 k n). Elle tend vers
(3) quand n tend vers linni, uniformement en k. On a c
n,n
c
n1,n1
=
7
5
2
(1)
n1
n
3
(
2n
n
)
et lim
n
c
n,n
= (3) donc :
(3) =
5
2

n=1
(1)
n1
n
3
_
2n
n
_ . (5)
Cette serie nest pas utilisee dans la preuve de lirrationalite de (3), mais
elle a un interet non negligeable puisque les c
n,k
sont au cur des for-
mules explicites denissant u
E,n
et v
E,n
. Cest pourquoi plusieurs auteurs ont
cherche des generalisations de (5) (voir par exemple [Po1], [Po3], [Coh2], [Ko],
[Le], [BB], [AG]), parmi lesquelles (5) =
5
2

n1
(1)
n
n
3
(
2n
n
)
_

n1
j=1
1
j
2

4
5n
2
_
.
Mais aucune de ces generalisations na permis dobtenir de nouveau resultat
dirrationalite : la croissance des denominateurs est trop rapide par rapport
`a la convergence.
Prevost a montre [Pr1] comment interpreter les formules explicites donnees
dans ce paragraphe en termes dapproximants de Pade. Posons (x) =

k1
1
(k+x)
3
, cest-`a-dire (3, 1 +x) o` u est la fonction zeta dHurwitz (voir
[WW], Chapitre XIII). Pour tout n 1, considerons les polynomes suivants
:
P
n
(x) =
n

k=0
_
n
k
__
n + k
k
__
x
k
__
x + k
k
_
=
4
F
3
_
n, x, n + 1, x + 1
1, 1, 1
1
_
et Q
n
(x) =
n

k=0
_
n
k
__
n + k
k
__
x
k
__
x + k
k
_
k

m=1
(1)
m1
2m
3
_
x
m
__
x+m
m
_.
Alors P
n
est de degre 2n, Q
n
de degre 2n 2, et on a P
n
(x)(x) Q
n
(x) =
O(x
2n1
) quand x tend vers linni. Cela signie que P
n
et Q
n
sont des
approximants de Pade de la fonction . Quand x est un entier n, on a
(n) = (3)

n
m=1
1
m
3
do` u P
n
(n)(n) Q
n
(n) = u
E,n
(3) v
E,n
. On
peut en deduire [Pr1] la majoration |u
E,n
(3) v
E,n
|
4
2
(2n+1)
2
u
E,n
. Pour
conclure, on a besoin dune minoration asymptotique de u
E,n
comme celle
de la formule (2). Il sut donc de verier que u
E,n
satisfait `a la recurrence
(1). On peut utiliser A
n,k
comme ci-dessous ; une autre methode [AW] est
dutiliser des relations de contigute entre series hypergeometriques balancees.
En eet, u
E,n
secrit
4
F
3
_
n, n, n + 1, n + 1
1, 1, 1
1
_
. Une serie hy-
pergeometrique
4
F
3
_

0
,
1
,
2
,
3

1
,
2
,
3
z
_
est dite ([Sl], 2.1.1) balancee
8
(ou Saalsch utzienne) si 1 +

3
i=0

i
=

3
j=1

j
. Si on modie deux des sept
param`etres dune serie balancee, en ajoutant ou en retranchant 1 `a chacun
des deux, on peut obtenir `a nouveau une serie balancee. Si cest le cas, on
dit que ces deux series sont contigues. Il y a 2
_
7
2
_
= 42 series balancees qui
sont contigues `a une serie balancee donnee. Quand
0
est un entier negatif
(ce qui signie que la serie hypergeometrique est en fait un polynome), il
existe des relations lineaires entre les valeurs en 1 de ces 42 series, dont les
coecients sont des polynomes en les param`etres
0
, . . . ,
3
(voir [AAR],
3.7). On peut [AW] deduire de ces relations de contigute que la suite u
E,n
verie la recurrence (1).
1.3 Integrale triple reelle
Considerons lintegrale suivante, qui a ete introduite par Beukers [Be1] (voir
aussi [Be3]) :
I
R,n
(z) =
_
1
0
_
1
0
_
1
0
u
n
(1 u)
n
v
n
(1 v)
n
w
n
(1 w)
n
((1 w)z + uvw)
n+1
du dv dw.
Cette integrale converge pour tout z C\] , 0]. Voici une esquisse de
preuve de lirrationalite de (3) qui utilise I
R,n
(1). Les details se trouvent
dans [Be1].
Comme le maximum de la fonction
u(1u)v(1v)w(1w)
1w(1uv)
sur le cube unite
vaut (

2 1)
4
, on a :
lim
n+
log(I
R,n
(1))
n
= log((

2 1)
4
).
Par ailleurs, si on int`egre n fois par parties par rapport `a v, quon change
w en
1w
1w(1uv)
, et enn quon int`egre n fois par parties par rapport `a u, on
obtient :
I
R,n
(1) =
_
1
0
_
1
0
_
1
0
P
n
(u)P
n
(v)
1 w(1 uv)
du dv dw,
o` u P
n
(X) =
1
n!
(X
n
(1 X)
n
)
(n)
est le n-i`eme polynome de Legendre. En
integrant par rapport `a w, il vient I
R,n
(1) =
_
1
0
_
1
0
log(uv)
1uv
P
n
(u)P
n
(v)du dv.
Or pour tous k, l {0, . . . , n} on peut ecrire
_
1
0
_
1
0
log(uv)
1uv
u
k
v
l
du dv = 2a
k,l
(3)+
b
k,l
avec a
k,l
Z et d
3
n
b
k,l
Z. On a donc :
I
R,n
(1) = 2(u
R,n
(3) v
R,n
) avec u
R,n
Z et 2d
3
n
v
R,n
Z.
Cela termine la preuve de lirrationalite de (3).
9
1.4 Serie de type hypergeometrique
Posons
R
n
(X) =
(X 1)
2
. . . (X n)
2
X
2
(X + 1)
2
. . . (X + n)
2
=
(X n)
2
n
(X)
2
n+1
=
(X)
4
(X n)
2
(X + n + 1)
2
,
(6)
o` u est la fonction Gamma dEuler, qui verie (s + 1) = s(s). En outre,
pour |z| 1 on pose :
I
,n
(z) =

k=1
R

n
(k)z
k
. (7)
En suivant [Be2], [Gu2] et [Ne2] on developpe la fraction rationnelle R
n
en
elements simples :
R
n
(X) =
n

i=0
_

i
(X + i)
2
+

i
X + i
_
, (8)
avec
i
=
_
n
i
_
2
_
n+i
i
_
2
et
i
= 2(1)
i
_
n
i
__
n+i
i
_
j{0,...,n},j=i
(1)
j
(
n
j
)(
n+j
j
)
ji
pour
i {0, . . . , n} (ces formules sobtiennent en remarquant que R
n
(X) = (
(Xn)n
(X)
n+1
)
2
;
voir la demonstration du lemme 2.12 ci-dessous, ou bien [Col], [Hab] ou
[Zu5]). En utilisant (8) pour exprimer (7) il vient :
I
,n
(z) = 2
n

i=0

i
z
i

k1
z
(k+i)
(k + i)
3
+
n

i=0

i
z
i

k1
z
(k+i)
(k + i)
2
= 2A
n
(z)Li
3
(1/z) + B
n
(z)Li
2
(1/z) + C
n
(z) (9)
o` u les polynomes A
n
, B
n
et C
n
sont denis par :
A
n
(z) =
n

i=0

i
z
i
=
4
F
3
_
n, n, n + 1, n + 1
1, 1, 1
z
_
B
n
(z) =
n

i=0

i
z
i
C
n
(z) =
n1

t=0
z
t
n

i=t+1
_
2
i
(i t)
3
+

i
(i t)
2
_
10
Il est clair que les polynomes A
n
(z), d
n
B
n
(z) et d
3
n
C
n
(z) sont `a coecients
entiers. On a B
n
(1) = 0 car R
n
na pas de residu `a linni. En posant
u
,n
= A
n
(1) et v
,n
= C
n
(1)/2 il vient :
I
,n
(1) = 2(u
,n
(3) v
,n
) avec u
,n
Z et 2d
3
n
v
,n
Z. (10)
Pour demontrer lirrationalite de (3), il ne reste plus qu`a estimer I
,n
(1).
On peut le faire en transformant I
,n
(1) en une integrale complexe (voir le
paragraphe 1.5) ; cest ainsi que Nesterenko demontre [Ne2] le theor`eme
dApery.
On peut demontrer, en utilisant [Zu5] lalgorithme de creative telescop-
ing ([PWZ], Chapitre 6), que I
,n
(1), u
,n
et v
,n
satisfont `a la relation de
recurrence (1). Cela demontre en particulier lidentite v
,n
= v
E,n
.
1.5 Integrale complexe
Soit c un reel, avec 0 < c < n+1. Pour z = 0, choisissons une determination
de arg(z) strictement comprise entre 2 et 2, et considerons lintegrale
suivante, le long de la droite verticale Re(s) = c dans C, orientee de bas en
haut :
I
C,n
(z) =
1
2i
_
c+i
ci
_

sin(s)
_
2
R
n
(s)z
s
ds
=
1
2i
_
c+i
ci
(n + 1 s)
2
(s)
4
(n + 1 +s)
2
z
s
ds, (11)
cette derni`ere egalite provenant directement de (6) et de la formule classique

sin(s)
= (s)(1s). La valeur de I
C,n
(z) ne depend pas du choix de c dapr`es
le theor`eme des residus. Lintegrale (11) est un exemple de G-fonction de
Meijer (voir [Lu], 5.2) :
I
C,n
(z) = G
4,2
4,4
_
n, n, n + 1, n + 1
0, 0, 0, 0
z
_
.
La methode du col (voir par exemple [Di], Chapitre IX) permet [Ne2]
dobtenir une estimation asymptotique tr`es precise :
I
C,n
(1) =

3/2
2
3/4
n
3/2
(

2 1)
4n+2
(1 + O(n
1
)).
11
Quand on deplace le contour dintegration vers la droite pour faire ap-
paratre les poles n + 1, n + 2, . . . , le theor`eme des residus donne ([Gu1],
[Gu2]), puisque (

sin(s)
)
2
=
1
(sk)
2
+ O(1) quand s tend vers un entier k :
I
C,n
(z) = I
,n
(z) + log(z)

k=1
R
n
(k)z
k
. (12)
En particulier pour z = 1 on obtient I
C,n
(1) = I
,n
(1).
Par ailleurs, Nesterenko a demontre [Ne3] un theor`eme general qui re-
lie une integrale multiple reelle `a une integrale complexe ; dans notre cas
particulier, ce theor`eme donne I
C,n
(z) = I
R,n
(z).
On peut demontrer [Ne2] que I
C,n
(1) verie la recurrence (1) en util-
isant les relations de contigute sur les G-fonctions de Meijer. Cest en fait
une preuve parall`ele `a celle du paragraphe 1.2, o` u on utilisait la contigute
entre des
4
F
3
. En eet ([Lu], 5.8), ces
4
F
3
satisfont aux memes equations
dierentielles que les G-fonctions de Meijer correspondantes, donc aux memes
relations de contigute.
1.6 Un probl`eme dapproximation de Pade
Considerons [Be2] le probl`eme suivant : trouver quatre polynomes A
n
, B
n
,
C
n
et D
n
, `a coecients rationnels, de degre au plus n, tels que :
_

_
F
n
(z) := A
n
(z)Li
2
(1/z) + B
n
(z)Li
1
(1/z) + D
n
(z) = O(z
n1
) quand z
G
n
(z) := 2A
n
(z)Li
3
(1/z) + B
n
(z)Li
2
(1/z) + C
n
(z) = O(z
n1
) quand z
B
n
(1) = 0
(13)
Une solution `a ce probl`eme de Pade est donnee par les polynomes A
n
, B
n
et C
n
du paragraphe 1.4 (et un polynome D
n
convenable). On a alors :
_

_
F
n
(z) =

k=1
R
n
(k)z
k
=
n!
4
(2n+1)!
2
z
n1
4
F
3
_
n + 1, n + 1, n + 1, n + 1
2n + 2, 2n + 2, 1
z
1
_
G
n
(z) = I
,n
(z) =

k=1
R

n
(k)z
k
En eet, la seconde egalite est simplement une reecriture de (7) et (9). La
premi`ere se demontre de mani`ere analogue `a (9), mais sans deriver (8).
12
Lequation dierentielle hypergeometrique sous-jacente aux constructions
des paragraphes 1.4 et 1.5 secrit Ly = 0, en posant
L = z( + n + 1)
2
( n)
2

4
avec = z
d
dz
.
Elle admet au voisinage de linni quatre solutions lineairement independantes :
F
n
(z), I
C,n
(z) = G
n
(z) + F
n
(z) log(z), A
n
(z) et B
n
(z) A
n
(z) log(z) (voir
[Lu], 5.1 et 5.8, [Hu1] et [Gu2]). Ces solutions sont reliees par la mon-
odromie : en prolongeant analytiquement F
n
le long dun lacet qui entoure le
point 1 on fait apparatre B
n
(z) + A
n
(z) log(1/z), puis en faisant le tour de
linni on obtient A
n
(z) (voir [Oe] pour la monodromie des polylogarithmes).
Ce point de vue permet de demontrer [Hu1] que le probl`eme de Pade (13)
a une solution unique (`a proportionnalite pr`es). En eet, en partant dune
solution A
n
, B
n
, C
n
, D
n
, on montre que F
n
verie une equation dierentielle
lineaire fuchsienne dordre 4 quon determine explicitement (en calculant ses
exposants, et en utilisant la relation de Fuchs) : on trouve que cest Ly = 0.
Pour demontrer lunicite de la solution de ce probl`eme de Pade, on peut
aussi suivre [Be2]. On part dune solution quelconque, avec des polynomes
A
n
, B
n
, C
n
, D
n
et des fonctions F
n
et G
n
. On note
i
et
i
les coecients
de A
n
et B
n
, et on leur associe la fraction rationnelle R
n
denie par (8).
On voit alors que F
n
(z) =

k=1
R
n
(k)z
k
et G
n
(z) =

k=1
R

n
(k)z
k
,
donc les deux premi`eres contraintes de (13) signient que R
n
et sa derivee
sannulent aux points 1, 2, . . . , n. En outre, le residu `a linni de R
n
est
alors B
n
(1) = 0 : la fraction rationnelle R
n
est necessairement donnee, `a
constante multiplicative pr`es, par (6).
1.7 Polynomes orthogonaux
Considerons ([BE], [As]) le probl`eme suivant : trouver deux polynomes

A
n
et

B
n
, de degre au plus n, tels que :
_

_
_
1
0
_

B
n
(x)

A
n
(x) log(x)
_
x
k
dx = 0 pour tout k {0, . . . , n 1}
_
1
0
_

B
n
(x)

A
n
(x) log(x)
_
x
k
log(x)dx = 0 pour tout k {0, . . . , n 1}

B
n
(1) = 0
(14)
13
Une solution `a ce probl`eme est donnee par les polynomes

A
n
et

B
n
denis
par :

B
n
(x)

A
n
(x) log(x) =
_
1
x
P
n
(
x
t
)P
n
(t)
dt
t
, (15)
o` u P
n
est le n-i`eme polynome de Legendre (comme au paragraphe 1.3).
En eet, on a alors
_
1
0
_

B
n
(x)

A
n
(x) log(x)
_
x
k
dx =
_
_
1
0
P
n
(u)u
k
du
_
2
en
posant u =
x
t
. La premi`ere condition de (14) en decoule immediatement ; la
deuxi`eme sobtient apr`es derivation par rapport `a k.
Comme on a Li
j
(1/z) =
(1)
j1
(j1)!
_
1
0
log
j1
(x)
dx
zx
pour tout entier j 1, il
vient :
2

A
n
(z)Li
3
(1/z) +

B
n
(z)Li
2
(1/z) =
_
1
0
_

B
n
(z)

A
n
(z) log(x)
_
log(x) dx
z x
.
(16)
On denit un polynome

C
n
(z) par :

C
n
(z) =
_
1
0

B
n
(z)

B
n
(x)
z x
log(x) dx
_
1
0

A
n
(z)

A
n
(x)
z x
log
2
(x) dx.
Grace `a (15) on peut obtenir des formules explicites pour

A
n
,

B
n
et

C
n
; on
trouve les memes que pour A
n
, B
n
et C
n
respectivement au paragraphe 1.4.
Donc

A
n
, d
n

B
n
et d
3
n

C
n
sont `a coecients entiers. On obtient aussi ([BE],
Corollaire A.2.3) que tous les zeros de

A
n
(z) et de

Bn(z)
z1
sont reels negatifs,
et entrelaces. Par ailleurs, on a :
2

A
n
(z)Li
3
(1/z)+

B
n
(z)Li
2
(1/z)+

C
n
(z) =
_
1
0
_

B
n
(x)

A
n
(x) log(x)
_
log(x)dx
z x
.
Quand z = 1, le membre de droite se transforme (en utilisant (15) et en
posant u = t, v =
x
t
) en I
R,n
(1) =
_
1
0
_
1
0
log(uv)
1uv
P
n
(u)P
n
(v)dudv. En ap-
pliquant lestimation asymptotique de I
R,n
(1) obtenue au paragraphe 1.3, on
obtient une demonstration de lirrationalite de (3).
En fait un couple (

A
n
,

B
n
) verie (14) si, et seulement si, il existe C
n
et D
n
tels que (

A
n
,

B
n
, C
n
, D
n
) soit une solution du probl`eme de Pade (13).
Plus precisement, la premi`ere (resp. la deuxi`eme) assertion de (13) equivaut
`a la premi`ere (resp. la deuxi`eme) assertion de (14) (il sagit dun fait general :
voir par exemple [NS], Chapitre 4, 3.4). Demontrons-le pour la deuxi`eme.
14
Soient un chemin qui entoure le segment [0, 1] dans sens direct, et k
{0, . . . , n 1}. On a :
1
2i
_

z
k
_
2

A
n
(z)Li
3
(1/z) +

B
n
(z)Li
2
(1/z)
_
dz =
_
1
0
_

B
n
(x)

A
n
(x) log(x)
_
x
k
log(x) dx,
dapr`es (16), en intervertissant les deux signes dintegration et en appliquant
le theor`eme des residus.
Il decoule de ceci que le probl`eme (14) a une solution unique (`a propor-
tionnalite pr`es), donnee par

A
n
= A
n
et

B
n
= B
n
.
1.8 Dautres probl`emes dapproximation de Pade
Sorokin [So3] consid`ere le probl`eme de Pade suivant : pour n 0, trouver
des polynomes T
n
, U
n
, V
n
, W
n
de degre au plus n tels quon ait :
_

_
I
P,n
(z) := T
n
(z)Le
2,1
(1/z) + U
n
(z)Le
1,1
(1/z) + V
n
(z)Li
1
(1/z) + W
n
(z) = O(z
n1
)
quand z
T
n
(z)Li
2
(1 z) + V
n
(z) = O((1 z)
n+1
) quand z 1
T
n
(z)Li
1
(1 z) + U
n
(z) = O((1 z)
n+1
) quand z 1,
o` u pour s
1
, . . . , s
k
1 on denit le polylogarithme multiple
Le
s
1
,...,s
k
(z) =

n
1
...n
k
1
z
n
1
n
s
1
1
. . . n
s
k
k
,
qui verie Le
2,1
(1) = 2(3) (voir [Wa]).
Sorokin demontre que ce probl`eme de Pade admet une solution unique,
et qu`a proportionnalite pr`es elle verie (pour z C \ [0, 1[) :
I
P,n
(z) = z
n+1
_
1
0
_
1
0
_
1
0
u
n
(1 u)
n
v
n
(1 v)
n
w
n
(1 w)
n
(z uv)
n+1
(z uvw)
n+1
du dv dw.
Avec cette normalisation, T
n
est `a coecients entiers (donc aussi d
n
U
n
, d
2
n
V
n
et d
3
n
W
n
), do` u :
I
P,n
(1) = 2(u
P,n
(3) v
P,n
) avec u
P,n
Z et 2d
3
n
v
P,n
Z.
De plus lexpression integrale donne facilement lestimation asymptotique de
I
P,n
(1) ; cest ainsi que Sorokin demontre lirrationalite de (3).
15
Un theor`eme general de Zlobin [Zl] montre quon a
I
P,n
(z) =
_
1
0
_
1
0
_
1
0
u
n
(1 u)
n
v
n
(1 v)
n
w
n
(1 w)
n
(z w(1 uv))
n+1
du dv dw,
do` u I
P,n
(1) = I
R,n
(1). On peut obtenir directement ce resultat en appliquant
le changement de variables ([Fi1], 2) deni par U = 1 w, V =
(1u)v
1uv
et
W = u (et qui verie 1 W(1 UV ) =
(1u)(1uvw)
1uv
).
Il existe plusieurs autres probl`emes de Pade lies `a (3) ; lun dentre eux
[So1] fait apparatre lintegrale suivante :
_
1
0
_
1
0
_
1
0
u
n
(1 u)
n
v
n
(1 v)
n
w
n
(1 w)
n
(z(1 u + uv) uvw)
n+1
du dv dw.
Le changement de variables qui xe u et w et change v en
v
1u(1v)
transforme
cette integrale en
_
1
0
_
1
0
_
1
0
u
n
(1 u)
n
v
n
(1 v)
n
w
n
(1 w)
n
(1 uv)
n+1
(z uvw)
n+1
du dv dw.
Ces dierents probl`emes de Pade fournissent tous les formes lineaires
dApery en 1 et (3), mais ils correspondent `a des combinaisons lineaires
dierentes de polylogarithmes.
1.9 Serie hypergeometrique tr`es bien equilibree
On pose :
H
n
(X) = n!
2
(2X + n)
(X 1) . . . (X n)(X + n + 1) . . . (X + 2n)
X
4
(X + 1)
4
. . . (X + n)
4
= n!
2
(2X + n)
(X n)
n
(X + n + 1)
n
(X)
4
n+1
et
I
TB,n
(z) =

k=1
H
n
(k)z
k
.
La serie I
TB,n
(1) a ete introduite par K. Ball (voir [Ri4]) dans le but
de repondre `a une question de Nesterenko [Ne2] : trouver une preuve de
16
lirrationalite de (3) analogue `a celle de Fourier ([FN], Chapitre 2, 1.1) pour
lirrationalite de e. En eet, on peut estimer I
TB,n
(1) de mani`ere elementaire
([Zu5], Lemme 4 ; [Ri2], 5.1 ; voir aussi la seconde demonstration du lemme
3 de [BR]) :
lim
n+
log(I
TB,n
(1))
n
= log((

2 1)
4
),
ou bien (voir le paragraphe 2.3) deduire cette estimation dune representation
integrale de I
TB,n
(z) vue comme serie hypergeometrique tr`es bien equilibree :
I
TB,n
(z) = z
n1
n!
7
(3n + 2)!
(2n + 1)!
5
7
F
6
_
3n + 2,
3
2
n + 2, n + 1, . . . , n + 1
3
2
n + 1, 2n + 2, . . . , 2n + 2
z
1
_
.
De plus, on a I
TB,n
(z) = P
0
(z) +

4
j=1
P
j
(z)Li
j
(1/z) avec des polynomes P
0
,
. . . , P
4
Q[z] veriant P
j
(z) = (1)
j+1
z
4
P
j
(1/z) pour tout j {1, . . . , 4},
P
1
(1) = 0 et d
4j
n
P
j
(z) Z[z] pour tout j {0, . . . , 4} (ceci sera generalise
au paragraphe 2.3). En particulier, on en deduit
I
TB,n
(1) = 2(u
TB,n
(3) v
TB,n
) avec 2d
n
u
TB,n
Z et 2d
4
n
v
TB,n
Z. (17)
Mais ceci ne sut pas `a demontrer lirrationalite de (3), car (

21)
4
e
4
> 1.
Une identite de Bailey ([Zu4], Proposition 2 ; [Sl], formule (4.7.1.3)) donne
I
TB,n
(1) = I
C,n
(1). Une telle identite ne peut pas avoir lieu pour tout z, car
Li
4
(1/z) apparat dans la decomposition en polylogarithmes de I
TB,n
(z) mais
pas dans celle de I
C,n
(z). Par ailleurs Zudilin a demontre une identite generale
([Zu3], Theor`eme 5) qui ecrit une serie hypergeometrique tr`es bien equilibree
sous la forme dune integrale generalisant celles introduites par Beukers [Be1],
Vasilenko [V] et Vasilyev ([Va1], [Va2]). Dans notre cas particulier, cette
identite est I
TB,n
(1) = I
R,n
(1). Enn, en utilisant les algorithmes decrits
dans [PWZ] on peut demontrer que I
TB,n
(1) ([Ri2], 5.1 ; [Zu5]), ainsi que
u
TB,n
et v
TB,n
[Kr], verient la relation de recurrence (1). On en deduit
u
TB,n
= u
E,n
et v
TB,n
= v
E,n
, do` u u
TB,n
Z et 2d
3
n
v
TB,n
Z (ce qui est plus
precis que (17)).
1.10 Preuve utilisant des formes modulaires
Dans ce paragraphe, on esquisse une preuve due `a Beukers [Be6] de lirrationalite
de (3). Les outils mis en uvre sont exposes dans [Se] (Chapitre VII) et
[Za1].
17
Pour dans le demi-plan de Poincare H, posons q = e
2i
et considerons
les series dEisenstein E
2
() = 124

n1

1
(n)q
n
et E
4
() = 1+240

n1

3
(n)q
n
.
On pose :
E() =
1
24
(5E
2
() + 2E
2
(2) 3E
2
(3) + 30E
2
(6))
et F() =
1
40
(E
4
() 28E
4
(2) + 63E
4
(3) 36E
4
(6)) .
Alors E(), respectivement F(), est une forme modulaire de poids 2, resp.
4, pour
0
(6). Si F() =

n1
f
n
q
n
designe le developpement de Fourier
de F `a linni (o` u elle sannule), on pose f() =

n1
fn
n
3
q
n
. On a alors
(
d
d
)
3
f() = (2i)
3
F().
Considerons la fonction modulaire pour
0
(6) donnee par :
t() =
_
(6)()
(2)(3)
_
1/2
= q

n 1
pgcd(n, 6) = 1
(1 q
n
)
12
,
avec () = q

n1
(1 q
n
)
24
. Elle na ni zero ni pole dans H. Au voisinage
de q = 0, t() = q 12q
2
+ 66q
3
. . . secrit comme une serie enti`ere en q,
`a coecients entiers, avec un rayon de convergence egal `a 1. Elle admet une
reciproque locale, notee q(t) Z[[t]]. Par composition, on peut donc denir
des suites (u
M,n
) et (v
M,n
) par :
E(q(t)) =

n0
u
M,n
t
n
Z[[t]]
et E(q(t))f(q(t)) =

n0
v
M,n
t
n
Q[[t]] avec v
M,0
= 0 et d
3
n
v
M,n
Z pour tout n 1.
Notons, pour k Z, w
k
loperateur dAtkin-Lehner deni par (w
k
g)() =
6
k/2

k
g(
1
6
). Alors w
2
(E) = E et w
4
(F) = F. De cette seconde egalite
(et dun lemme de Hecke : voir [We], 5) decoule la relation w
2
(h) = h,
en posant h() = L(F, 3) f(), o` u L(F, s) est la fonction L de F. Il vient
alors w
0
(Eh) = Eh, cest-`a-dire que la fonction E()h() est invariante par
la substitution
1
6
.
Considerons maintenant les rayons de convergence. La fonction t() est
ramiee seulement au-dessus des points (

21)
4
, (

2+1)
4
et . Au-dessus
de (

21)
4
, le seul point de ramication (modulo
0
(6)) est = i/

6 ; il est
18
dindice deux, et les deux branches en ce point sont echangees par linvolution

1
6
. Comme E()h() est invariante par cette involution, on peut denir
Eh comme une fonction de t au voisinage de t = (

21)
4
, et en fait sur tout
le disque |t| < (

2+1)
4
. Cela signie que la serie

n0
(L(F, 3)u
M,n
v
M,n
)t
n
a un rayon de convergence superieur ou egal `a (

2 + 1)
4
, cest-`a-dire quon
a :
limsup
n
log |L(F, 3)u
M,n
v
M,n
|
n
log((

2 1)
4
).
Ceci conclut la demonstration de lirrationalite de L(F, 3). Or on peut cal-
culer explicitement L(F, s). En eet, quand Re(s) > 4 on a, pour tout entier
j 1 :
L(E
4
(j), s) = 1+240

n1

3
(n)
(jn)
s
= 1+240

d,e1
d
3
(jde)
s
= 1+240(s)(s3)j
s
.
On en deduit immediatement L(F, s) = 2(s)(s 3), do` u L(F, 3) = (3).
Comme E() est une forme modulaire de poids 2 et t() une fonction
modulaire, la fonction E(q(t)) de la variable t est solution [Za2] (voir aussi
[Be4], p. 58) dune equation dierentielle lineaire Dy = 0, dordre trois. On
peut la determiner explicitement :
D = (t
4
34t
3
+t
2
)
d
3
dt
3
+(6t
3
153t
2
+3t)
d
2
dt
2
+(7t
2
112t +1)
d
dt
+(t 5).
Cette equation dierentielle veriee par la serie generatrice des u
M,n
montre
quils satisfont `a la relation de recurrence (1) : on a donc u
M,n
= u
R,n
(voir
aussi [Be7]). En posant V (t) = E(q(t))f(q(t)) on montre [Za2] que DV = 5,
do` u v
M,n
= v
R,n
.
Une base de solutions de lequation dierentielle Dy = 0 est donnee par
E(q(t)), (t)E(q(t)) et
2
(t)E(q(t)) (voir aussi [BP], Corollaire 2). La seule
solution qui soit reguli`ere en 0 est E(q(t)) (`a proportionnalite pr`es). De plus,
la construction de D montre [Za2] que cest un carre symetrique, ce qui peut
se verier directement (voir [Dw1]).
Remarque 1.5 Le point de vue adopte dans ce paragraphe est lie individu-
ellement `a (3) (qui est vu comme valeur speciale dune fonction L), par
opposition aux methodes utilisees dans les paragraphes 1.3 `a 1.9, o` u (3)
apparaissait comme la valeur en 1 dun polylogarithme.
19
Cette preuve de lirrationalite de (3) sexprime naturellement en termes
des series generatrices U(t) =

n0
u
n
t
n
et V (t) =

n0
v
n
t
n
des approx-
imations rationnelles de (3) (voir [Po2], [Be6] et [Ch], 5 pour dautres
preuves dans le meme esprit). Laspect arithmetique consiste `a demontrer
que les coecients de U(t) sont entiers, et que d
3
n
est un denominateur com-
mun aux n premiers coecients de V (t) : cest une majoration p-adique de
ces coecients, pour toute place nie p. Laspect analytique est une mi-
noration, par (1 +

2)
4
, du rayon de convergence (archimedien) de la serie
enti`ere (3)U(t) V (t). En particulier, U(t) et V (t) sont des G-fonctions de
Siegel. La serie U(t) est une solution de lequation dierentielle Dy = 0 ;
la conjecture de Bombieri-Dwork predit ([Dw1], [Dw2] ; voir aussi [An] et
[Dw3]) que D provient de la geometrie.
Or, pour t P
1
(C) \ {0, 1, (

2 1)
4
, }, Beukers et Peters construisent
[BP] une surface K3 X
t
birationnellement equivalente `a la surface projective
S
t
dequation ane 1(1xy)z txyz(1x)(1y)(1z) = 0. Ils montrent
que si
t
est lunique 2-forme holomorphe sur X
t
(`a proportionnalite pr`es),
et si
t
est un certain 2-cycle (constant pour la connexion de Gauss-Manin),
alors U(t) est lintegrale de
t
sur
t
. En particulier Dy = 0 est lequation de
Picard-Fuchs de cette famille de surfaces : elle provient bien de la geometrie.
1.11 Congruences
De nombreux auteurs ont etudie des proprietes de congruence sur les nombres
dApery u
n
. Par exemple, Chowla, Cowles et Cowles [CCC] ont conjecture
u
p
5 mod p
3
pour tout p 5 premier. Cette conjecture a ete demontree
par plusieurs auteurs (voir par exemple [Ges], [Su], . . . ). De nombreuses
autres congruences ont ete prouvees, pour les nombres dApery et certaines
de leurs generalisations.
Notons

n1

n
q
n
= q

n1
(1q
2n
)
4
(1q
4n
)
4
lunique forme parabolique
normalisee de poids 4 pour
0
(8). Pour r 1, m 1 impair et p pre-
mier impair, on a la congruence suivante (qui ressemble `a celles dAtkin -
Swinnerton-Dyer, voir [Haz] VI.33) :
u1
2
(mp
r
1)

p
u1
2
(mp
r1
1)
+ p
3
u1
2
(mp
r2
1)
0 mod p
r
(18)
avec la convention u
t
= 0 si t / Z. Beukers la demontre [Be7] en utilisant
la construction modulaire du paragraphe 1.10. On en deduit up1
2

p
mod p, congruence dont Beukers a conjecture [Be7] quelle est vraie modulo
20
p
2
. Ceci a ete prouve par Ishikawa [Is] si p ne divise pas up1
2
, puis par
Ahlgren et Ono [AO] dans le cas general. Ahlgren et Ono utilisent des series
hypergeometriques sur F
p
et la modularite de la variete dequation x +
1
x
+
y +
1
y
+ z +
1
z
+ w +
1
w
= 0 (dont la famille de surfaces K3 consideree par
Beukers-Peters est un quotient : voir [PS], Theor`eme 4).
Pour r, m 1 et p 5 premier, Beukers a demontre [Be5], de mani`ere
elementaire, quon a u
mp
r
1
u
mp
r1
1
mod p
3r
. La meme congruence,
mais seulement modulo p
r
, sinterpr`ete en disant que
_
T
0
U(t)dt est (vue
comme serie formelle en T) le logarithme dune loi de groupe formel sur Z
qui est isomorphe `a G
m
sur Z ([Be5] ; voir aussi lappendice de [SB] ou [Haz],
VI.33).
2 Irrationalite dune innite de (2k + 1)
2.1

Enonce des resultats
Dans cette partie, on demontre les resultats suivants, dont le premier im-
plique le theor`eme 0.3 :
Theor`eme 2.1 ([Ri1], [BR]) Pour 3 impair, notons

la dimension
du Q-espace vectoriel engendre par 1, (3), (5), . . . , (). Pour tout > 0
il existe un entier
0
tel que pour tout
0
impair on ait :


1
1 + log(2)
log().
Remarque 2.2 Si dans le theor`eme 2.1 on remplace
1
1+log(2)
par
1
3
alors
[BR] on peut prendre
0
= 3.
Theor`eme 2.3 ([BR]) Il existe un entier impair , avec 169, tel que 1,
(3) et () soient lineairement independants sur Q.
Ce theor`eme a ete ameliore par Zudilin [Zu2], qui remplace 169 par 145,
grace `a un ranement du lemme 2.12 ci-dessous.
Les deux ingredients essentiels de la demonstration du theor`eme 2.1 sont
labsence de (2), (4), . . . , ( 1) dune part, et la minoration en log() de
la dimension dautre part. Seule cette deuxi`eme idee est utile pour demontrer
le theor`eme suivant.
21
Theor`eme 2.4 ([Ri2]) Soient z Q, |z| > 1, et > 0. Il existe un entier

0
(qui depend de z et ) tel que, pour tout
0
, la dimension du Q-
espace vectoriel engendre par 1, Li
1
(1/z), Li
2
(1/z), . . . , Li

(1/z) soit minoree


par
1
1+log(2)
log().
En consequence, pour tout nombre rationnel z de valeur absolue superieure
`a 1 il existe une innite dentiers j tels que Li
j
(1/z) soit irrationnel. Par
ailleurs, quand z est un entier negatif tel que |z| > (4)
(1)
, Nikishin a
demontre [Ni] que les nombres 1, Li
1
(1/z), Li
2
(1/z), . . . , Li

(1/z) sont lineairement


independants sur Q ; sa methode a inspire en partie la construction exposee
au paragraphe suivant. Hata a rane ([Hat1], [Hat2]) le resultat de Nik-
ishin : par exemple 1, Li
1
(1/z) et Li
2
(1/z) sont lineairement independants
sur Q pour z 5 ou z 7.
2.2 Structure de la preuve
Soient a et r deux entiers, avec a 3 et 1 r <
a
2
. Soit n 1. Denissons
R
n
et S
n
(qui dependent aussi de a et r) par :
R
n
(k) = 2n!
a2r
(k +
n
2
)
(k rn)
rn
(k + n + 1)
rn
(k)
a
n+1
= 2n!
a2r
(k+
n
2
)
(k 1)(k 2) . . . (k rn)(k + n + 1)(k + n + 2) . . . (k + (r + 1)n)
k
a
(k + 1)
a
. . . (k + n)
a
et
S
n
(z) =

k1
R
n
(k)z
k
. (19)
Cette serie converge absolument pour tout nombre complexe z tel que |z| 1,
car R
n
(k) = O(k
2
) quand k tend vers linni.
Les proprietes de cette serie etudiees au paragraphe 2.3 permettent de
demontrer les theor`emes 2.1 (en prenant z = 1 et a pair), 2.3 (avec z = 1,
a = 169, r = 10 et n impair ; on utilise le theor`eme dApery) et 2.4 (avec
z Q, z > 1 ; pour z < 1 il surait de modier le lemme 2.9). Les trois
preuves sont parall`eles ; on detaille dans ce paragraphe la structure de celle
du theor`eme 2.1.
On suppose a pair ; on construit des formes lineaires en 1, (3), (5), . . . ,
(a 1) grace `a la proposition suivante :
22
Proposition 2.5 Supposons a pair. Notons d
n
le p.p.c.m des entiers de 1
`a n. Alors il existe des nombres rationnels
0
,
3
,
5
, . . . ,
a1
tels que :
1. On a S
n
(1) =
0
+
3
(3) +
5
(5) +
7
(7) +. . . +
a1
(a 1).
2. Pour tout j {0, 3, 5, . . . , a1} on a limsup
n+
|
j
|
1/n
2
a2r
(2r+
1)
2r+1
.
3. Pour tout j {0, 3, 5, . . . , a1}, le nombre rationnel d
a
n

j
est un entier.
4. Il existe un reel
r,a
> 0 tel que lim
n+
|S
n
(1)|
1/n
=
r,a

2
r+1
r
a2r
.
En fait on conjecture que lamelioration suivante est possible :
Conjecture 2.6 ([Ri2]) Dans lassertion (3) de la proposition 2.5, on peut
remplacer d
a
n
par d
a1
n
.
Remarque 2.7 En prenant a = 4 (et r = 1), on obtient les formes lineaires
en 1 et (3) du paragraphe 1.9, donc la conjecture 2.6 est vraie quand a = 4.
Elle est demontree aussi quand a = 6 et r = 1 (voir la n du paragraphe
2.4). On ne connat pas de consequence directe de cette conjecture, mais
une version forte de celle-ci pourrait eventuellement permettre de demontrer
que parmi (5), (7) et (9), lun au moins est irrationnel (voir la remarque
3.4). En tout cas, il serait interessant dobtenir une preuve de la conjec-
ture 2.6 grace `a une interpretation (par exemple geometrique, comme au
paragraphe 1.10) de
0
, . . . ,
a1
.
La proposition 2.5 fournit des formes lineaires en 1, (3), . . . , (a 1) (si
a est pair). Si cette suite de formes lineaires tend vers 0, sans etre nulle `a
partir dun certain rang, alors lun au moins des nombres (3), . . . , (a 1)
est irrationnel. Cette remarque sera utilisee pour demontrer le theor`eme 0.4.
Ici on veut obtenir les theor`emes 2.1 `a 2.4, donc on a besoin dun crit`ere
dindependance lineaire, qui donne une minoration plus ne de la dimension
du Q-espace vectoriel engendre par 1, (3), . . . , (a 1). On va utiliser `a
cet eet le theor`eme 2.8 ci-dessous.
La meilleure minoration quon puisse esperer est donnee par le principe
des tiroirs, de la mani`ere suivante. Soient et des reels, avec 0 < < 1 et
> 1. Soient
1
, . . . ,
s
des reels qui engendrent un Q-espace vectoriel de di-
mension au moins 1
log()
log()
. Alors il existe une suite (
n
) de formes lineaires en
23

1
, . . . ,
s
dont les coecients entiers p
j,n
verient limsup
n+
|p
j,n
|
1/n

pour tout j et telle que limsup
n+
|
n
(
1
, . . . ,
s
)|
1/n
. Essentiellement,
plus la dimension du Q-espace vectoriel engendre est grande, plus les formes
lineaires quon peut construire sont petites. On cherche une reciproque `a
cette assertion. Une contrainte supplementaire est necessaire : si

2

1
est un
nombre de Liouville, on peut construire des formes lineaires extremement
petites meme si la dimension du Q-espace vectoriel engendre est seulement
2. Ce contre-exemple ne tient plus si on demande que les formes lineaires en

1
, . . . ,
s
ne soient pas trop petites. On a alors la reciproque suivante (pour
une preuve, voir [Ne1] ou [Col], II.1) :
Theor`eme 2.8 ([Ne1]) Soient
1
, . . . ,
s
des reels. Pour tout n 1, soit

n
= p
1,n
X
1
+. . . +p
s,n
X
s
une forme lineaire `a coecients entiers. Soient
et des reels, avec 0 < < 1 et > 1.
Supposons quon ait limsup
n+
|p
j,n
|
1/n
pour tout j compris entre
1 et s, et
lim
n+
|
n
(
1
, . . . ,
s
)|
1/n
= .
Alors le Q-espace vectoriel engendre par
1
, . . . ,
s
est de dimension au moins
1
log()
log()
.
Pour deduire le theor`eme 2.1 de la proposition 2.5 et de ce crit`ere dindependance
lineaire, il sut de considerer d
a
n
S
n
(1), qui est une forme lineaire `a coef-
cients entiers en 1, (3), (5), . . . , (a 1). On choisit a susamment
grand, et r egal `a la partie enti`ere de
a
(log(a))
2
. Alors r
r
est negligeable de-
vant c
a
(pour toute constante c), et on peut prendre essentiellement egal `a
(2e)
a
= e
a(1+log(2))
et essentiellement majore par r
a
, qui est de lordre de
e
a log(a)
. Cela demontre le theor`eme 2.1.
2.3 Quelques details sur la preuve
Soit z un nombre complexe de module superieur ou egal `a 1. La serie S
n
(z)
peut secrire comme une serie hypergeometrique tr`es bien equilibree, de la
mani`ere suivante :
S
n
(z) = z
rn1
n!
a2r
(rn)!((r + 1)n + 2)
rn+1
(rn + 1)
a
n+1

a+3
F
a+2
_
(2r + 1)n + 2, (r +
1
2
)n + 2, rn + 1, . . . , rn + 1
(r +
1
2
)n + 1, (r + 1)n + 2, . . . , (r + 1)n + 2
z
1
_
.
24
Cette identite provient de simplications dans les symboles de Pochhammer.
2.3.1 Representation integrale et estimation analytique
On a la representation integrale suivante, pour |z| 1 :
S
n
(z) =
((2r + 1)n + 2)!
n!
2r+1
z
(r+1)n+1
_
[0,1]
a+1
_

a+1
j=1
t
r
j
(1 t
j
)
(z t
1
t
2
. . . t
a+1
)
2r+1
_
n
z + t
1
. . . t
a+1
(z t
1
. . . t
a+1
)
3
dt
1
. . . dt
a+1
.
Cette formule (voir par exemple [RZ], Lemme 1) se deduit de lecriture de
S
n
(z) comme serie hypergeometrique : pour |z| > 1 on applique les relations
(4.1.2) et (1.5.21) de [Sl], puis on prolonge `a |z| = 1 par continuite (voir la
preuve du lemme 2 de [BR]). On peut aussi obtenir une preuve directe en
developpant en serie le denominateur de lintegrande ([Col], [Hab]).
En calculant le maximum sur [0, 1]
a+1
de la fonction dont on int`egre la
puissance n-i`eme, on deduit de cette representation integrale lestimation
analytique suivante :
Lemme 2.9 On suppose z R, z 1. Le polynome
Q
r,a,z
(s) = rs
a+2
(r + 1)s
a+1
+ (r + 1)zs rz
admet une racine unique s
0
[0, 1], et elle verie s
0
>
r
r+1
. De plus, si

r,a,z
= z
r
((r + 1)s
0
r)
r
(r + 1 rs
0
)
r+1
(1 s
0
)
a2r
,
alors
lim
n
|S
n
(z)|
1/n
=
r,a,z

2
r+1
z
r
r
a2r
.
Pour demontrer ce lemme, il sut dadapter les preuves du lemme 2.2 de
[Ri2] et du lemme 3 de [BR]. On pourrait aussi donner une demonstration
elementaire de ce comportement asymptotique, sans utiliser la representation
integrale (comme la deuxi`eme preuve du lemme 3 de [BR]). Enn, une
troisi`eme possibilite serait decrire S
n
(z) comme integrale complexe et dappliquer
la methode du col ; mais cette methode est tr`es dicile `a mettre en uvre
quand r, a et z sont des param`etres.
Remarque 2.10 Pour demontrer les theor`emes 2.1 et 2.4, il sut de connatre
lexistence de la limite de |S
n
(z)|
1/n
, et sa majoration par
2
r+1
z
r
r
a2r
. La valeur
exacte de
r,a,z
nest utile que pour obtenir des estimations numeriques precises
(par exemple pour le theor`eme 2.3).
25
2.3.2 Decomposition en polylogarithmes
Pour demontrer que S
n
(z) est une combinaison lineaire (`a coecients ra-
tionnels) de 1, Li
1
(1/z), . . . , Li
a
(1/z) quand |z| > 1, il sut de decomposer
la fraction rationnelle R
n
en elements simples, sous la forme suivante :
R
n
(k) =
n

i=0
a

j=1
c
i,j
(k + i)
j
(20)
o` u les coecients c
i,j
sont des rationnels, donnes par
c
i,j
=
1
(a j)!
_
d
dX
_
aj
(R
n
(X)(X + i)
a
)
|X=i
. (21)
On a pour |z| > 1 :
S
n
(z) =
n

i=0
a

j=1
c
i,j

k1
z
k
(k + i)
j
=
n

i=0
a

j=1
c
i,j
z
i
Li
j
(1/z)
n

i=0
a

j=1
c
i,j
i

q=1
z
iq
q
j
,
do` u
S
n
(z) = P
0
(z) +
a

j=1
P
j
(z)Li
j
(1/z) (22)
en posant
P
0
(z) =
n1

=0
_
n

i=+1
a

j=1
c
i,j
(i )
j
_
z

(23)
et
P
j
(z) =
n

i=0
c
i,j
z
i
pour j {1, . . . , a}. (24)
Bien s ur, les P
j
et les c
i,j
dependent aussi de n, a et r.
2.3.3 Propriete de symetrie
La fonction R
n
verie la propriete de symetrie suivante :
R
n
(k n) = (1)
a(n+1)+1
R
n
(k).
26
Cette symetrie est rendue possible par la presence des deux facteurs de
Pochhammer au numerateur de R
n
(k) : quand k est change en k n,
ils sont permutes (on applique la formule ()
p
= (1)
p
( p + 1)
p
).
Lunicite du developpement en elements simples montre que c
i,j
= (1)
j+a(n+1)+1
c
ni,j
pour tous i {0, . . . , n} et j {1, . . . , a}, ce qui donne pour tout j
{1, . . . , a} :
P
j
(z) = (1)
j+a(n+1)+1
z
n
P
j
(1/z). (25)
En particulier, si j +a(n+1) est pair alors P
j
(1) = 0. De plus on a P
1
(1) = 0,
car P
1
(1) =

n
i=0
c
i,1
est loppose du residu `a linni de R
n
(on peut aussi
faire tendre z vers 1 dans (22) et constater que le seul terme qui puisse tendre
vers linni est P
1
(z)Li
1
(1/z)). Quand a est pair, on obtient donc :
S
n
(1) = P
0
(1) +P
3
(1)(3) +P
5
(1)(5) +. . . + P
a1
(1)(a 1).
Quand a est impair et n pair, on obtient de meme une forme lineaire en 1,
(2), (4), . . . , (a 1) dont on peut se servir pour montrer quune innite
de puissances de sont lineairement independantes sur Q, i.e. que est
transcendant. On peut aussi en deduire une mesure de transcendance de ,
`a la mani`ere de Reyssat [Re2].
Enn, quand a et n sont impairs, on obtient une forme lineaire en 1, (3),
(5), . . . , (a) ; cest ce quon utilise pour demontrer le theor`eme 2.3.
2.3.4 Majoration des coecients de la forme lineaire
Lemme 2.11 Pour tout j {0, . . . , a} on a :
limsup
n+
|P
j
(z)|
1/n
2
a2r
(2r + 1)
2r+1
|z|.
Preuve : On peut suivre la demonstration du lemme 4 de [BR] en ecrivant
la formule de Cauchy sur le cercle C de centre i et de rayon 1/2 :
c
i,j
=
1
2i
_
C
R
n
(t)(t + i)
j1
dt.
On majore ensuite le module de lintegrande, et le lemme en decoule. Une
autre preuve, qui conduit `a une majoration leg`erement moins precise, est
donnee dans [Col] et [Hab].
27
2.3.5 Estimation arithmetique
Les polynomes P
0
, . . . , P
a
sont `a coecients rationnels ; on a besoin dun
denominateur commun pour leurs coecients.
Lemme 2.12 Pour tout j {0, . . . , a}, le polynome d
aj
n
P
j
(z) est `a coe-
cients entiers.
Remarque 2.13 On peut ([Zu2], 4) raner ce lemme, ce qui permet de
remplacer 169 par 145 dans lenonce du theor`eme 2.3. Cependant, des ex-
emples montrent quon ne peut pas esperer remplacer d
aj
n
par d
a1j
n
. La
conjecture 2.6 signie que pour z = 1 on a des compensations particuli`eres
qui font chuter le denominateur.
Preuve : Posons F
s
(X) =
(Xsn)n
(X)
n+1
et G
s
(X) =
(X+sn+1)n
(X)
n+1
pour tout s
{1, . . . , r}, ainsi que H(X) =
n!
(X)
n+1
et I(X) = 2X +n. Alors on a F
s
(X) =

n
p=0
fp,s
X+p
avec f
p,s
= (1)
np
_
n
p
__
p+sn
n
_
Z, et de meme (avec des nota-
tions evidentes) g
p,s
Z et h
p
Z pour tous p, s. On obtient alors le
developpement en elements simples de R
n
(X) = (

r
s=1
F
s
(X))(

r
s=1
G
s
(X))
H(X)
a2r
I(X) en faisant le produit des developpements des facteurs. On
utilise les formules
2X+n
X+p
= 2 +
n2p
X+p
et
1
(X+p)(X+p

)
=
1
(p

p)(X+p)
+
1
(pp

)(X+p

)
pour p = p

; les denominateurs napparaissent que par application de la


seconde. Ce calcul montre que d
aj
n
c
i,j
est entier pour tous i, j, ce qui ach`eve
la preuve (suivant [Col] et [Hab]) du lemme.
2.4 Quelques remarques
Soit Q
n
un polynome `a coecients rationnels, de degre inferieur ou egal
`a a(n + 1) 1. On peut toujours considerer R
n
(k) =
Qn(k)
(k)
a
n+1
et S
n
(z) =

k1
R
n
(k)z
k
, qui converge quand |z| > 1. Une diculte majeure consiste
`a bien choisir le polynome Q
n
.
Quel que soit ce choix, on peut decomposer R
n
en elements simples,
denir P
0
, . . . , P
a
et obtenir une decomposition de S
n
(z) en polylogarithmes :
toutes les formules du paragraphe 2.3.2 restent valables. Pour obtenir une
forme lineaire en valeurs de , il faut
1
faire tendre z vers 1. Tous les termes
de la decomposition en polylogarithmes ont une limite nie, sauf peut-etre
1
Voir cependant la remarque 2.14.
28
P
1
(z)Li
1
(1/z). Cest pourquoi on suppose P
1
(1) = 0, ce qui signie que R
n
na pas de residu `a linni, i.e. deg(Q
n
) a(n + 1) 2 ; alors la serie qui
denit S
n
(z) converge absolument d`es que |z| 1.
En outre on souhaite
2
obtenir une forme lineaire en les (2k+1) seulement,
cest-`a-dire avoir P
j
(1) = 0 pour tout j 2 pair. Pour assurer cela il est
susant davoir une propriete de symetrie du polynome Q
n
, en loccurrence
Q
n
(kn) = (1)
a(n+1)+1
Q
n
(k). Cest cette remarque qui constitue le cur
des progr`es recents ([Ri1], [BR]). On ne sait pas du tout la generaliser, par
exemple pour construire des formes lineaires en (s) dans lesquelles les s
appartenant `a une certaine progression arithmetique napparaissent pas.
La forme lineaire S
n
(1) ne sera interessante que si elle tend susamment
vite vers 0 quand n tend vers linni. Intuitivement, ce sera le cas si les
premiers termes de la serie qui denit S
n
(1) sont nuls. Cest pourquoi on
cherche un polynome Q
n
(k) qui sannule aux premiers entiers, en loccurrence
entre 1 et rn ; ceci signie que Q
n
(k) est multiple de (k rn)
rn
. Il sagit en
fait dun probl`eme de type Pade : on demande aux polynomes P
0
, . . . , P
a
detre tels que
S
n
(z) = P
0
(z) +
a

j=1
P
j
(z)Li
j
(1/z) = O(z
rn1
) quand z .
Parmi tous les polynomes symetriques Q
n
(k) multiples de (k rn)
rn
(donc necessairement aussi multiples de (k + n + 1)
rn
), on a interet `a en
prendre un de degre minimal, pour que S
n
(1) soit aussi petit que possible.
Si a(n+1) est impair, le polynome (k rn)
rn
(k +n+1)
rn
a la bonne parite,
et on peut considerer Q
n
(k) = n!
a2r
(k rn)
rn
(k + n + 1)
rn
: on obtient
la serie hypergeometrique bien equilibree de [Ri1] et [BR]. Si a(n + 1) est
pair, pour obtenir le bon signe dans la propriete de symetrie de Q
n
on est
amene `a introduire un facteur k +
n
2
, ce qui donne la serie tr`es bien equilibree
du paragraphe 2.2. Dans les deux cas, S
n
(z) est la solution unique dun
probl`eme de Pade (voir [Hu2] et [FR]).
Plus a est grand (en prenant, pour chaque a, la valeur optimale de r), plus
la forme lineaire `a coecients entiers d
a
n
S
n
(1) est petite (et la presence, ou
labsence, du facteur k +
n
2
a une inuence negligeable sur ce comportement).
Donc si on cherche des formes lineaires en 1, (3), (5), . . . , (2 +1), celles
obtenues avec la serie tr`es bien equilibree pour a = 2 + 2 seront meilleures
2
Sauf pour demontrer le theor`eme 2.4 ; pour ce dernier, le polynome Q
n
(k) = (krn)
rn
convient aussi. Cest celui qui est utilise dans le Chapitre 2 de [Ri2].
29
que celles obtenues avec la serie bien equilibree pour a = 2+1 et n pair. Ceci
na aucune inuence quand tend vers linni, mais peut saverer crucial si
est xe (comme dans le theor`eme 0.4). En outre, si la conjecture 2.6 (qui na
aucun equivalent pour des series seulement bien equilibrees) est vraie alors
il sut de multiplier S
n
(1) par d
a1
n
, ce qui donne une forme lineaire encore
plus petite. Pour a = 4, on retrouve ainsi les formes lineaires dApery en 1
et (3) (ce qui nest pas le cas avec la serie bien equilibree quand a = 3).
Remarque 2.14 Pour demontrer le theor`eme 2.1 on pourrait evaluer les
formes lineaires en polylogarithmes en z = 1 plutot quen z = 1. Ceci induit
peu de changements. Le plus notable est que log(2) = Li
1
(1) remplace
le divergent Li
1
(1) ; pour 2 on a Li

(1) = (1 2
1
)(). Pour
a = 3 et z = 1 les formes lineaires construites au paragraphe 2.3 sont [Kr]
celles utilisees par Apery ([Ap1], [Po1]) pour prouver que (2) est irrationnel.
En particulier d
2
n
sut comme denominateur des coecients de cette forme
lineaire. Plus generalement, la conjecture 2.6 devrait etre valable aussi quand
a est impair et z = 1.
Considerons loperateur dierentiel hypergeometrique suivant, o` u =
z
d
dz
:
L =
a+1
(
n
2
1)( (r + 1)n 1) z( n)
a+1
(
n
2
+1)( +rn +1).
Lecriture de S
n
(z) comme serie hypergeometrique tr`es bien equilibree mon-
tre que S
n
(z) est une solution de lequation dierentielle Ly = 0. Par
monodromie on voit, grace `a (22), que pour tout b {1, . . . , a} la fonction

a
j=b
(1)
j1
P
j
(z)
log
jb
(z)
(jb)!
est aussi une solution de Ly = 0. En particulier
pour b = a on obtient le polynome P
a
, quon peut ecrire comme polynome
hypergeometrique tr`es bien equilibre (avec un petit abus de langage : ici les
param`etres inferieurs
n
2
et (r + 1)n sont negatifs, mais la serie
a+3
F
a+2
est quand meme bien denie) :
P
a
(z) = (1)
rn
n(rn)!((r + 1)n)!n!
2r1

a+3
F
a+2
_
n,
n
2
+ 1, rn + 1, n, . . . , n

n
2
, (r + 1)n, 1, . . . , 1
z
_
.
Laspect bien equilibre de ce polynome hypergeometrique lui conf`ere (voir
[And] ou [AAR], 3.5) la propriete de reciprocite (25). En eet, si y(z) est
30
une solution de lequation dierentielle Ly = 0 alors z
n
y(1/z) est aussi une
solution de cette meme equation. Quant aux autres polynomes P
a1
, . . . ,
P
1
, ils sobtiennent par la methode de Frobenius (voir [Inc]) et verient, eux
aussi, (25). Toutes ces considerations valent aussi pour la serie bien equilibree
de [Ri1] et [BR], et permettent [Hu2] decrire celle-ci comme solution unique
dun probl`eme de Pade.
Un autre interet des denitions utilisees dans ce texte est que S
n
(1)
poss`ede (pour a pair) plusieurs representations integrales assez simples. Tout
dabord, on a ([Zu3], Theor`eme 5) lintegrale suivante, qui generalise I
R,n
(1)
et les integrales introduites par Vasilenko [V] et Vasilyev ([Va1], [Va2]) :
S
n
(1) =
(rn)!
2
n!
2r
_
[0,1]
a1

a1
j=1
x
rn
j
(1 x
j
)
n
(Q
a1
(x
1
, . . . , x
a1
))
rn+1
dx
1
. . . dx
a1
, (26)
en posant Q
a1
(x
1
, . . . , x
a1
) = 1 x
1
(1 x
2
(. . . (1 x
a1
) . . .)). Vasilyev a
demontre [Va2] que si a = 6 et r = 1 alors cette integrale secrit

0
+

3
(3)+

5
(5) avec d
5
n

0
, d
5
n

3
et d
5
n

5
entiers. Ceci prouve la conjecture 2.6 dans ce
cas. Il nest pas evident que

0
,

3
et

5
soient les P
0
(1), P
3
(1) et P
5
(1) du
paragraphe 2.3, mais cela decoule de lindependance lineaire conjecturale de
1, (3) et (5).
Dautre part, en appliquant `a (26) un theor`eme de Zlobin [Zl] ou le
changement de variables qui gure dans [Fi1] (2) on obtient lintegrale suiv-
ante, qui ressemble `a celles utilisees par Sorokin ([So2], [So3]) :
S
n
(1) =
(rn)!
2
n!
2r
_
[0,1]
a1

a1
j=1
x
rn
j
(1 x
j
)
n
dx
j
(1 x
1
x
2
)
n+1
(1 x
1
x
2
x
3
x
4
)
n+1
. . . (1 x
1
. . . x
a2
)
n+1
(1 x
1
. . . x
a1
)
rn+1
.
Il serait interessant darriver `a demontrer le theor`eme 2.1 en utilisant seule-
ment des integrales multiples comme celle-ci (ou celle de (26)). Le probl`eme
est qua priori on sattend `a ce quune telle integrale (a 1)-uple soit une
forme lineaire, `a coecients rationnels, en les polyzetas de poids au plus
(a 1) (voir [Wa] et [Zl], Theor`eme 3). Or le theor`eme 5 de [Zu3] montre
que ces integrales sont egales `a S
n
(1), donc seuls 1 et les valeurs de aux
entiers impairs apparaissent.
31
3 Resultats quantitatifs
3.1 Exposant dirrationalite de (3)
On appelle exposant dirrationalite dun nombre reel irrationnel , et on note
(), la borne inferieure de lensemble des reels pour lesquels il nexiste
quun nombre ni de nombres rationnels p/q tels que |
p
q
| <
1
q

. La theorie
des fractions continues ([HW], 11.1), ou le principe des tiroirs de Dirichlet
([HW], 11.3), montre quun exposant dirrationalite est toujours superieur
ou egal `a 2. Si est algebrique, Liouville a demontre ([Li] ; voir aussi [HW],
11.7) que () est inferieur ou egal au degre de . Ce resultat a ete ameliore
par Roth en 1955 : on a () = 2 pour tout nombre algebrique irrationnel
(voir [FN], Chapitre 1, 7). On a aussi () = 2 pour presque tout reel
, au sens de la mesure de Lebesgue ([HW], 11.11).
`
A loppose, un nombre
de Liouville est un nombre dont lexposant dirrationalite est inni : il est
extremement bien approche par des nombres rationnels (un exemple de tel
nombre est

k1
1
10
k!
).
Les formes lineaires dApery montrent que lexposant dirrationalite de
(3) est majore par 13, 4179 (voir [FN], Chapitre 2, 5.6) ; en particulier (3)
nest pas un nombre de Liouville. Ce resultat a ete ameliore notamment par
Hata [Hat3] puis Rhin-Viola, qui ont demontre la meilleure majoration de
((3)) connue `a ce jour :
Theor`eme 3.1 ([RV]) Lexposant dirrationalite de (3) est majore par
5, 5139, cest-` a-dire quil nexiste quun nombre ni de nombres rationnels
p/q tels que
|(3)
p
q
| <
1
q
5,5139
.
Pour obtenir ce resultat, Rhin et Viola consid`erent les integrales suivantes :
J
n
=
_
1
0
_
1
0
_
1
0
u
hn
(1 u)
ln
v
kn
(1 v)
sn
w
jn
(1 w)
qn
(1 w(1 uv))
(q+hr)n+1
du dv dw, (27)
o` u h, . . . , s sont des param`etres dont on xe les valeurs de la mani`ere suivante
: h = 16, j = 17, k = 19, l = 15, q = 11, r = 9, s = 13. Si on prenait
tous ces param`etres egaux `a un meme entier, on obtiendrait les integrales
du paragraphe 1.3, donc la suite des formes lineaires dApery (ou, plus
precisement, une suite extraite), conduisant `a la meme mesure dirrationalite.
32
Linteret reside donc dans le fait de ne pas prendre tous les param`etres egaux ;
lasymptotique obtenue pour J
1/n
n
est un peu moins bonne, mais on gagne
beaucoup sur les denominateurs par lesquels il faut multiplier J
n
pour obtenir
une forme lineaire en 1 et (3) `a coecients entiers. Ce gain provient de
laction sur des integrales de la forme (27) dun groupe isomorphe au produit
semi-direct H S
5
, o` u H est lhyperplan dequation
1
+ . . . +
5
= 0 dans
(Z/2Z)
5
. Dautres interpretations de cette action de groupe se trouvent dans
[Zu4] et [Fi2].
Remarque 3.2 Les majorations de ((3)) mentionnees ci-dessus sont ef-
fectives : on peut donner une majoration explicite de la hauteur max(|p|, |q|)
des approximations rationnelles p/q exceptionnellement bonnes. Ceci con-
traste avec le theor`eme de Roth, dans lequel on sait seulement majorer le
nombre dexceptions p/q, mais pas leur hauteur.
3.2 Irrationalite dun nombre parmi (5), . . . , (21)
Soit a un entier pair, avec a 6. Dans ce paragraphe, on construit (en
suivant [Ri3]) des formes lineaires `a coecients rationnels en 1, (5), (7),
. . . , (a + 1). Si, apr`es multiplication par un denominateur commun des
coecients, elles tendent vers zero sans etre nulles `a partir dun certain rang,
alors lun au moins des nombres (5), (7), . . . , (a+1) est irrationnel ; cest
ce qui va se produire avec a = 20. On pose :
R
n
(k) = n!
a6
(k +
n
2
)
(k n)
3
n
(k + n + 1)
3
n
(k)
a
n+1
et
S
n
(z) =
1
2

k=1
R

n
(k)z
k
.
On developpe R
n
en elements simples, ce qui denit des coecients c
i,j
(les
formules (20) et (21) restant valables). On denit P
1
, . . . , P
a
`a partir des c
i,j
par la relation (24) ; seul P
0
est deni par une formule leg`erement dierente :
P
0
(z) =
n1

=0
_
n

i=+1
a

j=1
j(j + 1)c
i,j
2(i )
j+2
_
z

.
33
On obtient la decomposition suivante exactement comme au paragraphe 2.3.2,
mais un decalage se produit car on derive R
n
(voir le paragraphe 1.4) :
S
n
(z) = P
0
(z) +
a

j=1
j(j + 1)
2
P
j
(z)Li
j+2
(1/z).
Les arguments du paragraphe 2.3.3 restent valables, et montrent (car a est
pair) que S
n
(1) est une forme lineaire `a coecients rationnels en 1, (5),
(7), . . . , (a + 1). De plus un denominateur commun pour ces coecients
est 2d
a+2
n
; on conjecture ([Ri2], 5.1) que 2d
a+1
n
convient aussi. La majoration
de ces coecients (qui est eectuee au paragraphe 2.3.4) est inutile ici : elle
servait `a appliquer le crit`ere de Nesterenko, dont on na pas besoin puisquon
applique seulement la remarque evidente quune forme lineaire, `a coecients
entiers, en des rationnels xes ne peut pas etre arbitrairement petite sans
etre nulle.
Le point delicat de la preuve est lestimation asymptotique de S
n
(1). En
eet, on ne connat pas decriture de S
n
(1) comme integrale multiple reelle.
On utilise donc la methode du col. Posons
K
n
(u) =
1
2i
_
c+i
ci
R
n
(s)
_

sin(s)
_
3
e
us
ds,
o` u c est un reel avec 0 < c < n + 1, et u un nombre complexe tel que
Re(u) 0 et |Im(u)| < 3. Cette integrale est `a rapprocher de celle notee
I
C,n
(z) au paragraphe 1.5. On peut appliquer le theor`eme des residus, pour
faire apparatre les poles de lintegrande qui sont situes aux entiers n+1, n+2,
. . . Au voisinage dun tel entier k, on a (

sin(s)
)
3
=
(1)
k
(sk)
3
+
(1)
k

2
2(sk)
+O(s k).
On obtient donc (voir [He] et [Zu2] pour des resultats analogues) :
K
n
(u) =

2
+ u
2
2

k=n+1
R
n
(k)(e
u
)
k
+u

k=n+1
R

n
(k)(e
u
)
k
+
1
2

k=n+1
R

n
(k)(e
u
)
k
.
En choisissant u = i, le premier terme disparat, et on obtient S
n
(1) =
Re(K
n
(i)).
La methode du col donne ([Ri3], Lemme 5) deux nombres complexes non
nuls c
0
et , quon peut calculer, tels que K
n
(i) c
0
n
8
e
n
quand n tend
vers linni. Comme la partie imaginaire de nest pas un multiple entier de
34
, il existe une suite strictement croissante (n) dentiers tels que largument
de c
0
e
(n)
, vu modulo 2, ait une limite autre que /2. On a alors :
lim
n
|S
(n)
(1)|
1/(n)
= e
Re()
.
Le choix a = 20 donne Re() = 22, 02 . . . do` u Re() +a + 2 < 0. Donc la
forme lineaire d
22
(n)
S
(n)
(1) en 1, (5), (7), . . . , (21), `a coecients entiers,
tend vers 0 quand n tend vers linni et est non nulle pour n assez grand.
Cela montre que lun au moins parmi (5), (7), . . . , (21) est irrationnel.
Remarque 3.3 Si on savait demontrer la conjecture mentionnee ci-dessus
(i.e. que 2d
a+1
n
P
j
(1) est un entier pour tout j), on pourrait ([Ri2], 5.1)
appliquer la meme methode avec a = 18, et demontrer ainsi que lun au
moins des nombres (5), (7), . . . , (19), est irrationnel.
3.3 Irrationalite dun nombre parmi (5), (7), (9) et
(11)
La structure de la preuve est la meme que dans le paragraphe precedent. La
dierence principale vient de denominateurs nettement plus petits, grace `a
une etude ne de leurs valuations p-adiques et `a lutilisation dune fraction
rationnelle modiee :

R
n
(k) =

10
u=1
((13 + 2u)n)!
(27n)!
6
(37n + 2k)
(k 27n)
3
27n
(k + 37n + 1)
3
27n

10
u=1
(k + (12 u)n)
(13+2u)n+1
.
Pour |z| 1 on pose

S
n
(z) =
1
2

k=1

n
(k)z
k
. La decomposition en
elements simples

R
n
(k) =

10
j=1

(36j)n
i=(j+1)n
c
i,j
(k+i)
j
denit les c
i,j
`a partir desquels
on construit les polynomes

P
j
(z) =

(36j)n
i=(j+1)n
c
i,j
z
i
pour j {1, 2, . . . , 10} et

P
0
(z) =
35n1

=0
_
_
10

j=1
(36j)n

i=max((j+1)n,+1)
j(j + 1) c
i,j
2(i )
j+2
_
_
z

.
On a alors

S
n
(z) =

P
0
(z) +

10
j=1
j(j+1)
2

P
j
(z)Li
j+2
(1/z).
Le probl`eme est de majorer de fa con tr`es precise le denominateur des
rationnels c
i,j
. En suivant la methode utilisee pour demontrer le lemme 2.12,
on obtiendrait d
10j
33n
c
i,j
Z pour tous i et j. Une etude ne de la valuation
35
p-adique des coecients binomiaux permet dobtenir un denominateur nette-
ment plus petit : on trouve un entier
n
assez grand tel que d
10j
33n

1
n
c
i,j

Z. On en deduit directement que 2d
3
35n
d
34n
d
8
33n

1
n

P
j
(z) est `a coecients
entiers pour tout j {0, 1, . . . , 10}.
La symetrie

R
n
(37nk) =

R
n
(k) donne z
37n

P
j
(1/z) = (1)
j+1

P
j
(z),
do` u

P
j
(1) = 0 pour j = 2, 4, . . . , 10. En outre on a

P
1
(1) = 0 car

R
n
(k) =
O(k
2
) quand k tend vers linni. Donc

S
n
(1) est une forme lineaire en
1, (5), (7), (9) et (11). Pour lestimer, et demontrer quelle est non
nulle pour une innite de n, on transforme

S
n
(1) en une integrale com-
plexe, `a laquelle on applique la methode du col (voir [Zu2], 2). On ob-
tient les comportements asymptotiques suivants quand n tend vers linni :
limsup |

S
n
(1)|
1/n
e
227,58...
, limsup |
1
n
|
1/n
e
176,75...
et (d
3
35n
d
34n
d
8
33n
)
1/n

e
403
. Comme 403 < 227, 58 + 176, 75 on obtient la conclusion cherchee.
Remarque 3.4 Zudilin conjecture ([Zu4], 9) que des compensations ont
lieu quand z = 1, ce qui permettrait de trouver un denominateur plus petit
pour les P
j
(1). Peut-etre pourrait-on alors demontrer que parmi (5), (7)
et (9) lun au moins est irrationnel.
Remarque 3.5 En utilisant des methodes similaires, on peut demontrer
[Zu2] que pour tout 1 impair lun au moins des nombres (+2), (+4),
. . . , (8 1), est irrationnel.
Bibliographie
[AO] S. Ahlgren et K. Ono A Gaussian hypergeometric series eval-
uation and Apery number congruences, J. Reine Angew. Math. 518
(2000), 187-212.
[AG] G. Almkvist et A. Granville Borwein and Bradleys Apery-like
formulae for (4n + 3), Experiment. Math. 8.2 (1999), 197-203.
[An] Y. Andre G-functions and geometry, Aspects of Math. E13,
Vieweg, 1989.
[AnJ] R. Andre-Jeannin Irrationalite de la somme des inverses de cer-
taines suites recurrentes, C. R. Acad. Sci. Paris, Ser. I 308 (1989),
539-541.
36
[And] G.E. Andrews The well-poised thread: an organized chronicle of
some amazing summations and their implications, Ramanujan J. 1.1
(1997), 7-23.
[AAR] G.E. Andrews, R. Askey et R. Roy Special Functions, The
Encyclopedia of Mathematics and its Applications 71 (G.-C. Rota
ed.), Cambridge University Press, Cambridge, 1999.
[Ap1] R. Apery Irrationalite de (2) et (3), in: Journees Arithmetiques
(Luminy, 1978), Asterisque 61 (1979), 11-13.
[Ap2] R. Apery Interpolation de fractions continues et irrationalite
de certaines constantes, in: Comite des Travaux Historiques et
Scientiques (CTHS), Bulletin de la Section des Sciences III
(Mathematiques), Biblioth`eque Nationale, Paris, 1981, 37-53.
[AW] R. Askey et J.A. Wilson A recursive relation generalizing those
of Apery, J. Austral. Math. Soc. 36 (1984), 267-278.
[As] W. Van Assche Approximation theory and analytic number the-
ory, in: Special Functions and Dierential Equations (Madras, 1997),
Allied Publishers, New Delhi, 1998, 336-355.
[BR] K.M. Ball et T. Rivoal Irrationalite dune innite de valeurs
de la fonction zeta aux entiers impairs, Invent. Math. 146.1 (2001),
193-207.
[BO] C. Batut et M. Olivier Sur lacceleration de la convergence
de certaines fractions continues, Sem. de Theorie des Nombres de
Bordeaux 1979-1980, exp. no. 23 (25 p.).
[Be1] F. Beukers A note on the irrationality of (2) and (3), Bull.
London Math. Soc. 11.3 (1979), 268-272.
[Be2] F. Beukers Pade-approximations in number theory, in: Pade ap-
proximation and its applications (Amsterdam, 1980), Lecture Notes
in Math. 888, Springer, 1981, 90-99.
[Be3] F. Beukers The values of polylogarithms, in: Topics in classical
number theory (Budapest, 1981), Colloq. Math. Soc. Janos Bolyai
34, 1984, 219-228.
37
[Be4] F. Beukers Irrationality of
2
, periods of an elliptic curve and

1
(5), in: Approximations diophantiennes et nombres transcendants
(Luminy, 1982), D. Bertrand et M. Waldschmidt eds., Progress in
Math. 31, Birkhauser, 1983, 47-66.
[Be5] F. Beukers Some congruences for the Apery numbers, J. Number
Th. 21 (1985), 141-155.
[Be6] F. Beukers Irrationality proofs using modular forms, in: Journees
Arithmetiques (Besan con, 1985), Asterisque 147-148 (1987), 271-283.
[Be7] F. Beukers Another Congruence for the Apery Numbers, J. Num-
ber Th. 25 (1987), 201-210.
[BP] F. Beukers et C.A.M. Peters A family of K3 surfaces and (3),
J. Reine Angew. Math. 351 (1984), 42-54.
[BB] J. Borwein et D. Bradley Empirically determined Apery-like
formulae for (4n + 3), Experiment. Math. 6 (1997), 181-194.
[BE] P. Borwein et T. Erdelyi Polynomials and Polynomial inequal-
ities, Graduate Texts in Math. 161, Springer, 1995.
[BV] P. Bundschuh et K. V a an anen Arithmetical investigations of a
certain innite product, Compositio Math. 91 (1994), 175-199.
[Ca1] P. Cartier Demonstration automatique didentites et fonctions
hypergeometriques (dapr`es Zeilberger), Sem. Bourbaki 1991-92, exp.
no. 746, Asterisque 206 (1992), 41-91.
[Ca2] P. Cartier Fonctions polylogarithmes, nombres polyzetas et
groupes pro-unipotents, Sem. Bourbaki 2000-01, exp. no. 885, `a
paratre dans Asterisque.
[CCC] S. Chowla, J. Cowles et M. Cowles Congruence properties of
Apery numbers, J. Number Th. 12 (1980), 188-190.
[Ch] G.V. Chudnovsky Transcendental numbers, in: Number theory,
Proc. Southern Illinois Conf. (Carbondale, 1979), Lecture Notes in
Math. 751, Springer, 45-69.
38
[Coh1] H. Cohen Demonstration de lirrationalite de (3) (dapr`es
Apery), Sem. de Theorie des Nombres de Grenoble, octobre 1978
(9 p.).
[Coh2] H. Cohen Generalisation dune construction de R. Apery, Bull.
Soc. Math. France 109 (1981), 269-281.
[Col] P. Colmez Arithmetique de la fonction zeta, Journees X-UPS 2002,
`a paratre.
[Di] J. Dieudonne Calcul innitesimal, Collection Methodes, Her-
mann, 1968.
[Dw1] B. Dwork On Aperys dierential operator, Groupe detude
danalyse ultrametrique 1979-1981, exp. no. 25 (6 p.).
[Dw2] B. Dwork Arithmetic theory of dierential equations, Symposia
Math. 24 (INDAM, Rome, 1979), Academic Press, 1981, 225-243.
[Dw3] B. Dwork, G. Gerotto et F.J. Sullivan An introduction to
G-functions, Annals of Math. Studies 133, Princeton Univ. Press,
1994.
[FN] N.I. Feldman et Yu.V. Nesterenko Number Theory IV, Tran-
scendental Numbers, A.N. Parshin et I.R. Shafarevich eds., Ency-
clopaedia of Mathematical Sciences 44, Springer, 1998.
[Fi1] S. Fischler Formes lineaires en polyzetas et integrales multiples,
C. R. Acad. Sci. Paris, Ser. I 335.1 (2002), 1-4.
[Fi2] S. Fischler Groupes de Rhin-Viola et integrales multiples, Actes
des Rencontres Arithmetiques de Caen (juin 2001), soumis au J.
Theor. Nombres Bordeaux.
[FR] S. Fischler et T. Rivoal Approximants de Pade et series hy-
pergeometriques equilibrees, Rapport de recherche 2002-27, LMNO,
Universite de Caen ; `a paratre au J. Math. Pures Appl.
[Gel] A.O. Gelfond Calcul des dierences nies, Dunod, 1963.
[Ges] I. Gessel Some congruences for Apery numbers, J. Number Th.
14 (1982), 362-368.
39
[Gu1] L.A. Gutnik The irrationality of certain quantities involving (3),
Uspekhi Mat. Nauk [Russian Math. Surveys] 34.3 (1979), 190 [200].
[Gu2] L.A. Gutnik On the irrationality of some quantities containing
(3), Acta Arith. 42.3 (1983), 255-264 (en russe) ; traduction dans
Amer. Math. Soc. Transl. 140 (1988), 45-55.
[Hab] L. Habsieger Introduction to diophantine approximation, en
preparation.
[HW] G.H. Hardy et E.M. Wright An introduction to the theory of
numbers, 3`eme edition, Oxford Univ. Press, 1954.
[Hat1] M. Hata On the linear independence of the values of polylogarith-
mic functions, J. Math. Pures Appl. 69.2 (1990), 133-173.
[Hat2] M. Hata Rational approximations to the dilogarithm, Trans. Amer.
Math. Soc. 336.1 (1993), 363-387.
[Hat3] M. Hata A new irrationality measure for (3), Acta Arith. 92.1
(2000), 47-57.
[Haz] M. Hazewinkel Formal groups and applications, Pure and Ap-
plied Mathematics 78, Academic Press, 1978.
[He] T.G. Hessami Pilehrood Linear independence of vectors with
polylogarithmic coordinates, Vestnik Moskov. Univ. Ser. I Mat. Mekh.
no. 6 [Moscow Univ. Math. Bull. 54.6] (1999), 54-56 [40-42].
[Hu1] M. Huttner

Equations dierentielles fuchsiennes. Approxima-
tions du dilogarithme, de (2) et de (3), Pub. IRMA Lille 43 (1997).
[Hu2] M. Huttner Constructible sets of linear dierential equations and
eective rational approximations of G-functions, Pub. IRMA Lille 59
(2002).
[Inc] E.L. Ince Ordinary dierential equations, Dover Publ., 1926.
[Ing] A.E. Ingham The distribution of prime numbers, Cambridge Univ.
Press, 1932.
40
[Is] T. Ishikawa On Beukers conjecture, Kobe J. Math. 6 (1989),
49-52.
[Ko] M. Koecher Letter, Math. Intelligencer 2 (1980), 62-64.
[Kr] C. Krattenthaler Communication personnelle, 28 Octobre
2002.
[La] S. Lang Algebra, 3`eme edition, Addison-Wesley, 1993.
[Le] D. Leshchiner Some new identities for (k), J. Number Th. 13
(1981), 355-362.
[Li] J. Liouville Sur des classes tr`es etendues de quantites dont la
valeur nest ni algebrique, ni meme reductible `a des irrationnelles
algebriques, J. Math. Pures Appl. 16 (1851), 133-142.
[Lu] Y.L. Luke The special functions and their approximations, Volume
I, Mathematics in Science and Engineering 53, Academic Press, 1969.
[Me] M. Mend`es-France Roger Apery et lirrationnel, La Recherche
97 (1979), 170-172.
[Ne1] Yu.V. Nesterenko On the linear independence of numbers, Vest-
nik Moskov. Univ. Ser. I Mat. Mekh. no. 1 [Moscow Univ. Math. Bull.
40.1] (1985), 46-49 [69-74].
[Ne2] Yu.V. Nesterenko A few remarks on (3), Mat. Zametki [Math.
Notes] 59.6 (1996), 865-880 [625-636].
[Ne3] Yu.V. Nesterenko Integral identities and constructions of ap-
proximations to zeta-values, Actes des Rencontres Arithmetiques de
Caen (juin 2001), soumis au J. Theor. Nombres Bordeaux.
[Ni] E.M. Nikishin On the irrationality of the values of the functions
F(x,s), Mat. Sbornik 109.3 [Math. USSR-Sb. 37.3] (1979), 410-417
[381-388].
[NS] E.M. Nikishin et V.N. Sorokin Rational approximations and
orthogonality, Translations of Math. Monographs 92, Amer. Math.
Soc., 1991.
41
[NZM] I. Niven, H.S. Zuckerman et H.L. Montgomery An intro-
duction to the theory of numbers, 5`eme edition, J. Wiley, 2000.
[Oe] J. Oesterle Polylogarithmes, Sem. Bourbaki 1992-93, exp. no.
762, Asterisque 216 (1993), 49-67.
[PS] C. Peters et J. Stienstra A pencil of K3-surfaces related to
Aperys recurrence for (3) and Fermi surfaces for potential zero, in:
Arithmetics of complex manifolds (Erlangen, 1988), W.P. Barth et
H. Lange eds., Lecture Notes in Math. 1399, Springer, 110-127.
[PWZ] M. Petkovsek, H.S. Wilf et D. Zeilberger A=B, A.K. Pe-
ters, 1996.
[Po1] A. Van Der Poorten A proof that Euler missed... Aperys proof
of the irrationality of (3), Math. Intelligencer 1.4 (1978/79), 195-203.
[Po2] A. Van Der Poorten Some wonderful formulae... footnotes to
Aperys proof of the irrationality of (3), Sem. Delange-Pisot-Poitou,
20e annee, 1978-79, no. 29 (7p.).
[Po3] A. Van Der Poorten Some wonderful formulas ... an intro-
duction to polylogarithms, in: Proceedings of the Queens Number
Theory Conference (Kingston, 1979), Queens Papers in Pure and
Applied Mathematics 54, 1980, 269-286.
[Pr1] M. Prevost A new proof of the irrationality of (2) and (3) using
Pade approximants, J. Comp. Appl. Math. 67 (1996), 219-235.
[Pr2] M. Prevost On the irrationality of

t
n
A
n
+B
n
, J. Number Th.
73 (1998), 139-161.
[Re1] E. Reyssat Irrationalite de (3) selon Apery, Sem. Delange-Pisot-
Poitou, 20e annee, 1978-79, no. 6 (6 p.).
[Re2] E. Reyssat Mesures de transcendance pour les logarithmes de
nombres rationnels, in: Approximations diophantiennes et nombres
transcendants (Luminy, 1982), D. Bertrand et M. Waldschmidt eds.,
Progress in Math. 31, Birkhauser, 1983, 235-245.
[RV] G. Rhin et C. Viola The group structure for (3), Acta Arith.
97.3 (2001), 269-293.
42
[Ri1] T. Rivoal La fonction zeta de Riemann prend une innite de
valeurs irrationnelles aux entiers impairs, C. R. Acad. Sci. Paris,
Ser. I 331.4 (2000), 267-270.
[Ri2] T. Rivoal Proprietes diophantiennes des valeurs de la fonction
zeta de Riemann aux entiers impairs, th`ese de doctorat, Univ. de
Caen (2001). Disponible sur http://theses-EN-ligne.in2p3.fr.
[Ri3] T. Rivoal Irrationalite dau moins un des neuf nombres (5), (7),
. . . , (21), Acta Arith. 103.2 (2002), 157-167.
[Ri4] T. Rivoal Series hypergeometriques et irrationalite des valeurs de
la fonction zeta de Riemann, Actes des Journees Arithmetiques de
Lille (juillet 2001), `a paratre au J. Theor. Nombres Bordeaux.
[RZ] T. Rivoal et W. Zudilin Diophantine properties of numbers
related to Catalans constant, Prepublication 315 de lInstitut de
Mathematiques de Jussieu (janvier 2002), Univ. Paris 6, soumis.
[Se] J.P. Serre Cours darithmetique, Presses Univ. de France, 1970.
[Sl] L.J. Slater Generalized hypergeometric functions, Cambridge
Univ. Press, 1966.
[So1] V.N. Sorokin Hermite-Pade approximations for Nikishin systems
and the irrationality of (3), Uspekhi Mat. Nauk [Russian Math. Sur-
veys] 49.2 (1994), 167-168 [176-177].
[So2] V.N. Sorokin A transcendence measure for
2
, Mat. Sbornik [Sb.
Math.] 187.12 (1996), 87-120 [1819-1852].
[So3] V.N. Sorokin Aperys theorem, Vestnik Moskov. Univ. Ser. I Mat.
Mekh. no. 3 [Moscow Univ. Math. Bull. 53.3] (1998), 48-53 [48-52].
[SB] J. Stienstra et F. Beukers On the Picard-Fuchs equation and
the formal Brauer group of certain elliptic K3-surfaces, Math. Ann.
271 (1985), 269-304.
[Su] B. Sury On a conjecture of Chowla et al., J. Number Th. 72 (1998),
137-139.
43
[V] O.N. Vasilenko Certain formulae for values of the Riemann zeta
function at integral points, in: Number theory and its applications,
Proceedings of the science-theoretical conference (Tashkent, 1990), p.
27 (en russe).
[Va1] D.V. Vasilyev Some formulas for Riemann zeta-function at inte-
ger points, Vestnik Moskov. Univ. Ser. I Mat. Mekh. no. 1 [Moscow
Univ. Math. Bull. 51.1] (1996), 81-84 [41-43].
[Va2] D.V. Vasilyev On small linear forms for the values of the Rie-
mann zeta-function at odd integers (en russe), Doklady NAN Belarusi
(Reports of the Belarus National Academy of Sciences) 45.5 (2001),
36-40.
[Wa] M. Waldschmidt Valeurs zeta multiples : une introduction, J.
Theor. Nombres Bordeaux 12.2 (2000), 581-595.
[We] A. Weil Remarks on Heckes lemma and its use, in: Oeuvres
scientiques - Collected Papers III, Springer, 1979, 405-412.
[WW] E.T. Whittaker et G.N. Watson A course of modern analysis,
4`eme edition, Cambridge Univ. Press, 1927.
[Za1] D. Zagier Introduction to modular forms, in: From number theory
to physics (Les Houches, 1989), M. Waldschmidt, P. Moussa, J.M.
Luck et C. Itzykson eds., Springer, 1992, 238-291.
[Za2] D. Zagier Cours au Coll`ege de France, mai 2001.
[Ze1] D. Zeilberger Closed form (pun intended !), in: A tribute to
Emil Grosswald: Number theory and related analysis, Comtemporary
Math. 143 (M. Knopp et M. Sheingorn eds.), Amer. Math. Soc., 1993,
579-607.
[Ze2] D. Zeilberger Computerized deconstruction, `a paratre dans Adv.
Applied Math.
[Zl] S.A. Zlobin Integrals expressible as linear forms in generalized
polylogarithms, Mat. Zametki [Math. Notes] 71.5 (2002), 782-787
[711-716].
44
[Zu1] W. Zudilin One of the numbers (5), (7), (9), (11) is irra-
tional, Uspekhi Mat. Nauk [Russian Math. Surveys] 56.4 (2001), 149-
150 [774-776].
[Zu2] W. Zudilin Irrationality of values of the Riemann zeta function,
Izvestiya RAN Ser. Mat. [Izv. Math.] 66.3 (2002), 49-102 [489-542].
[Zu3] W. Zudilin Well-poised hypergeometric service for diophantine
problems of zeta values, Actes des Rencontres Arithmetiques de Caen
(juin 2001), soumis au J. Theor. Nombres Bordeaux.
[Zu4] W. Zudilin Arithmetic of linear forms involving odd zeta values,
preprint, math.NT/0206176.
[Zu5] W. Zudilin An elementary proof of Aperys theorem, preprint,
math.NT/0202159.
Stephane Fischler
Departement de Mathematiques et Applications

Ecole Normale Superieure


45, rue dUlm
75230 Paris Cedex 05, France
schler@dma.ens.fr
http://www.dma.ens.fr/schler/
45