Autour des nombres et des polynômes de Bernoulli

Autour des nombres
et des polynˆomes de Bernoulli
Ga¨etan Bisson
d’apr`es un cours de
Don Zagier
R´esum´e
En math´ematiques, les nombres de Bernoulli ont d’abord ´et´e ´etudi´es en cherchant `a
calculer les sommes du type Pm
k=0 kno`u met nsont deux entiers positifs.
Ils sont utilis´es fr´equemment en th´eorie des nombres mais apparaissent aussi dans bien
d’autres domaines des math´ematiques.
Don Zagier les a introduits dans le cours — cours intitul´e ”cours aux carr´es” — qu’il a
donn´e `a l’´
Ecole Normale Sup´erieure au premier semestre de l’ann´ee scolaire 2005–2006 pour
ensuite parler des sommes de Dedekind et de leurs lois de r´eciprocit´e.
Table des mati`eres
0 Motivation 2
1 efinitions et propri´et´es ´el´ementaires 3
1.1 efinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Propri´et´es ´el´ementaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Autres efinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2 La relation de distribution 7
2.1 Pour les polynˆomes de Bernoulli . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2 Pour les polynˆomes r´eduits de Bernoulli . . . . . . . . . . . . . . . . . . . . . 8
3 Applications diverses 9
3.1 Des sommes de puissance d’entiers . . . . . . . . . . . . . . . . . . . . . . . . 9
3.2 Des nombres premiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
3.3 Questions ouvertes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3.4 De la fonction ζde Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.5 Formule d’Euler–MacLaurin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
R´ef´erences 13
Index 14
Autour des nombres et des polynˆ
omes de Bernoulli 2/14
0 Motivation
Sur l’espace R[[x]] des s´eries formelles `a coefficients dans R, on a l’op´erateur ∆ qui `a une
s´erie formelle P(x) associe la s´erie formelle :
P(x) = P(x+ 1) P(x)
On appelle ∆ l’op´erateur de pseudo-d´erivation en raison des nombreuses analogies qui le
relient `a l’op´erateur de d´erivation (que nous noterons ou xsi l’on veut pr´eciser la variable).
Il est int´eressant d’´etudier l’op´erateur ϕobtenu en composant `a droite ∆ par l’inverse
(`a droite) de . On obtient alors l’op´erateur qui `a une s´erie formelle P(x) associe la s´erie
formelle :
ϕP (x) = Z«P(x) = Zx+1
x
P
Proposition 0.1. L’op´erateur ϕ, restreint `a R[x], est un isomorphisme pr´eservant le degr´e.
emonstration.
Soit P(x) un polynˆome de R[x] et donnons-nous Q(x) sa primitive sans terme constant ;
alors ϕP (x) = Q(x+ 1) Q(x).
En ´ecrivant P(x) = Pn
k=0 αkxkon a Q(x) = Pn
k=0
αk
k+1 xk+1 et :
ϕP (x) =
n
X
k=0
αk
k+ 1 (x+ 1)k+1 xk+1
`
A la vue de cette expression, il est clair que ϕest un endomorphisme de R[x]. Et il est
aussi clair que le degr´e de ϕP (x) est celui de P(x) ; cela implique que ϕest un isomorphisme.
L’image directe de la base canonique (xn)nNpar ϕse calcule sans peine : c’est la base
(x+1)n+1xn+1
n+1 nN
.
Ce n’est pas aussi ´evident de trouver son image eciproque ; notons donc Bn(x) l’unique
polynˆome (de degr´e n) tel que ϕBn(x) = xn— ie. (Bn(x))nNest la base r´eciproque de
(xn)nNpar ϕ.
Pour ´etudier ces polynˆomes, on peut introduire leur erie g´en´eratrice S=P
n=0
Bn(x)
n!tn.
On a alors :
ϕS =
X
n=0
xn
n!tn=etx
Or, il est clair qu’un ant´ec´edant de etx par ϕest t
et1etx.
Ainsi, on peut d´efinir des quantit´es Bn(x) comme ´etant les coefficients du d´eveloppement
en s´erie de la fonction t7→ t
et1etx.
On pourra ensuite erifier que ces quantit´es ont bien les propri´et´es attendues ; en parti-
culier, qu’il s’agit bien de l’image r´eciproque de la base canonique de R[x] par ϕ.
∗ ∗
Autour des nombres et des polynˆ
omes de Bernoulli 3/14
1 efinitions et propri´et´es ´el´ementaires
1.1 D´efinitions
efinissons donc, comme sugg´er´e plus haut, les polynˆomes de Bernoulli `a partir de leur
s´erie g´en´eratrice :
efinition 1.1.1. La suite des polynˆomes de Bernoulli, not´ee (Bn(x))nN, est l’unique suite
telle qu’on ait le d´eveloppement en s´erie :
X
n=0
Bn(x)
n!tn=tetx
et1
Voici les premi`eres valeurs des polynˆomes de Bernoulli que Lehonard Euler a obtenu en
1738 [Eul38] :
n Bn(x)
0 1
1x1
2
2x2x+1
6
3x33
2x2+1
2x
4x42x3+x21
30
5x55
2x4+5
3x31
6x
6x63x5+5
2x41
2x2+1
42
efinissons maintenant les nombres de Bernoulli qui ne sont que les termes constants des
polynˆomes de Bernoulli :
efinition 1.1.2. On note Bn=Bn(0) le n-i`eme nombre de Bernoulli. La suite des
nombres de Bernoulli est donc l’unique suite telle qu’on ait le d´eveloppement en erie :
X
n=0
Bn
n!tn=t
et1
On peut calculer facilement les premi`eres valeurs des nombres de Bernoulli :
n0 1 2 3 4 5 6 7 8 9 10 11 12
Bn11
2
1
601
30 01
42 01
30 05
66 0691
2730
L’observation de ces valeurs motive cette proposition :
Proposition 1.1.3. Pour n2et nimpair, Bn= 0.
emonstration.
Cela ne fait que refl´eter le fait que la fonction t7→ t
et1+1
2test paire. On a en effet :
t
et1+1
2t=1
2tet+ 1
et1
Et le r´esultat d´ecoule du fait que t7→ et+1
et1est impaire :
et+ 1
et1=
1
et+ 1
1
et1=et+ 1
et1
Autour des nombres et des polynˆ
omes de Bernoulli 4/14
Cette proposition rend les polynˆomes de Bernoulli explicites lorsqu’on connaˆıt les nombres
de Bernoulli :
Proposition 1.1.4. On a la relation suivante :
Bn(x) =
n
X
k=0
Ck
nBkxnk
emonstration.
Il suffit de evelopper par rapport `a xla s´erie qui d´efinit les polynˆomes de Bernoulli :
tetx
et1=t
et1
X
j=0
(tx)j
j!=
X
k=0
Bk
k!tk!
X
j=0
(tx)j
j!!
Et, par d´efinition, Bn(x) est le coefficient de tndans cette s´erie double :
Bn(x) = X
k+j=n
Bk
k!j!xj=
n
X
k=0
Ck
nBkxnk
En particulier, le n-i`eme polynˆome de Bernoulli est un polynˆome de degr´e n.
x
Bn(x)
0
n= 1
n= 2
n= 3
n= 4
n= 5
Les premiers polynˆomes de Bernoulli
1.2 Propri´et´es ´el´ementaires
Tout d’abord, voici une propri´et´e de pseudo-d´erivation des polynˆomes de Bernoulli :
Proposition 1.2.1. On a, pour n1:
Bn(x) = Bn(x+ 1) Bn(x) = nxn1
emonstration.
On ´ecrit simplement :
X
n=0
Bn(x+ 1) Bn(x)
n!tn=tet(x+1)
et1tetx
et1=text =
X
n=1
xn1
(n1)! tn
La proposition d´ecoule de l’identification des coefficients des s´eries.
L’application directe de cette formule est le th´eor`eme 3.1.1 ; mais il y a aussi ce r´esultat :
Autour des nombres et des polynˆ
omes de Bernoulli 5/14
Corollaire 1.2.2. On a la formule de ecurrence suivante :
Bn=1
n+ 1
n1
X
k=0
Ck
n+1Bk
emonstration.
Pour cela, il suffit de sp´ecialiser notre proposition en x= 0 ; alors, on obtient Bn+1 (1) =
Bn+1 (0) pour n1. En utilisant alors la proposition 1.1.4, on a :
n+1
X
k=0
Ck
n+1Bk=Bn+1, ou encore,
n
X
k=0
Ck
n+1Bk= 0
Et, en sortant le terme en Bnde la somme, on a le corollaire.
Notons que cette proposition nous permet d’affirmer, par r´ecurrence, le fait que les
nombres de Bernoulli sont rationnels — et donc, par la proposition 1.1.4, que les polynˆomes
de Bernoulli sont dans Q[x].
Proposition 1.2.3. On a la formule suivante :
Bn(1 x) = (1)nBn(x)
emonstration.
Il suffit de faire la petite transformation suivante :
X
n=0
Bn(1 x)
n!tn=tet(1x)
et1=tetx
1et=
X
n=0
Bn(x)
n!(t)n
La proposition n’est alors que l’identification des coefficients des s´eries.
En combinant cette proposition avec la proposition 1.2.1, et en la sp´ecialisant en x= 0,
on retrouve la nullit´e des Bnpour n2 impair.
emontrons encore deux ´egalit´es que nous utiliserons ensuite.
Ce premier r´esultat a ´et´e obtenu en 1882 par Paul ´
Emile Appell [App82] :
Proposition 1.2.4. On a, pour n1:
B
n(x) = nBn1(x)
emonstration.
Pour cela, il suffit de d´eriver par rapport `a xla s´erie qui d´efinit les polynˆomes de Bernoulli :
X
n=0
xBn(x)
n!tn=x
tetx
et1=t2etx
et1=
X
n=1
Bn1(x)
(n1)! tn
La proposition n’est alors que l’identification des coefficients des s´eries.
Proposition 1.2.5. On a, pour n1:
Z1
0
Bn(t)dt = 0
emonstration.
`
A l’instar de la proposition pr´ec´edente, on int`egre pour x[0; 1] la erie qui efinit les
polynˆomes de Bernoulli :
X
n=0 R1
0Bn(x)dx
n!tn=R1
0tetxdx
et1=et1
et1= 1
La proposition n’est alors que l’identification des coefficients des s´eries.
1 / 14 100%

Autour des nombres et des polynômes de Bernoulli

La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !