- Nombre de Bernoulli
-
En mathématiques, les nombres de Bernoulli, notés (ou parfois , pour ne pas les confondre avec les polynômes de Bernoulli ou avec les nombres de Bell), constituent une suite de nombres rationnels. Les premiers nombres de Bernoulli sont donnés par la table suivante :
n 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 Bn 1 0 0 0 0 0 0 Ces nombres ont d'abord été étudiés par Jacques Bernoulli (ce qui a conduit Abraham de Moivre à leur donner le nom que nous connaissons aujourd'hui) en cherchant des formules pour exprimer les sommes du type : pour différentes valeurs de l'entier m.
Les nombres de Bernoulli apparaissent dans de très nombreuses applications, depuis la formule d'Euler-Maclaurin jusqu'à l'approche par Kummer du dernier théorème de Fermat.
Introduction : sommes de puissances
Article détaillé : Formule de Faulhaber.Jacob Bernoulli connaissait quelques formules comme[1],[2] :
Bernoulli observa que l'expression
est toujours un polynôme en n, de degré , dont les termes dominants sont (pour m > 0) et dont le terme constant est zéro[3].
Les coefficients de ce polynôme définissent les nombres de Bernoulli Bk de la façon suivante (il faudrait en fait démontrer que les nombres ainsi définis ne dépendent pas du choix de n ; voir plus bas le paragraphe Définition par récurrence) :
Par exemple, en donnant à m la valeur 0, on obtient :
ce qui montre que . En donnant à m la valeur 1, on obtient :
ce qui montre que . En donnant à m la valeur 2, on obtient :
ce qui montre que . En donnant à m la valeur 3, on obtient :
ce qui montre que .
On verra plus bas qu'il est également possible de calculer les nombres de Bernoulli par récurrence, obtenant (avec Sm(1) = 0) :
(avec la condition initiale : ). On obtient la suite d'équations linéaires[4] :
- ,
- ,
- ,
- .
Ce qui donne la relation de récurrence[3] :
(avec la condition initiale : ). Lien avec les polynômes de Bernoulli
Les polynômes de Bernoulli sont reliés aux nombres de Bernoulli par
- et
. Les polynômes de Bernoulli vérifient les relations :
Les polynômes Sm(n) sont également liés aux polynômes de Bernoulli Bm(X) ; on a (pour tout n et m) :
. De B'n + 1 = (n + 1)Bn, on déduit que : .
Par conséquent, les polynômes sont les primitives des polynômes de Bernoulli qui s'annulent en zéro : .
- .
Autres conventions et notations utilisées pour Bn
On utilise parfois la notation pour distinguer les nombres de Bernoulli des nombres de Bell.
La définition employée dans cet article vérifie , où Bm(x) désigne le polynôme de Bernoulli.
On rencontre également la convention , où Bm(x) désigne le polynôme de Bernoulli.
Les deux conventions ne diffèrent que pour le signe de ; on a :
. Une autre notation utilisée en topologie, et par Jean-Pierre Serre dans son Cours d'arithmétique[5], est de considérer les termes pairs sans leur signe :
. Définition par une fonction génératrice
Les nombres de Bernoulli peuvent aussi être définis par l'intermédiaire de fonctions génératrices. Leur fonction génératrice exponentielle est , de telle sorte que :
pour tout x de valeur absolue inférieure à (le rayon de convergence de cette série entière).
Cette définition peut être montrée équivalente à la précédente à l'aide d'un raisonnement par récurrence : le premier terme de la série est clairement B0 (par prolongement par continuité). Pour obtenir la récurrence, on multiplie les deux côtés de l'équation par ex − 1. Alors, en utilisant les séries de Taylor pour la fonction exponentielle,
En développant ceci en produit de Cauchy et en réarrangeant légèrement, on obtient
Il est clair, à partir de cette dernière égalité, que les coefficients dans cette série de puissances satisfont la même récurrence que celle des nombres de Bernoulli.
Valeurs
Les premiers nombres de Bernoulli sont les suivants :
Nombres de Bernoulli n Bn Valeur décimale 0 1 1 −1 / 2 = −0,5 2 1 / 6 ≈ 0,166 7 3 0 4 −1 / 30 ≈ −0,033 3 5 0 6 1 / 42 ≈ 0,023 81 7 0 8 −1 / 30 ≈ −0,033 3 9 0 10 5 / 66 ≈ 0,075 76 11 0 12 −691 / 2 730 ≈ −0,253 1 13 0 14 7 / 6 ≈ 1,166 7 15 0 16 −3 617 / 510 ≈ −7,092 2 n Bn Valeur décimale 17 0 18 43 867 / 798 ≈ 54,971 2 19 0 20 −174 611 / 330 ≈ −529,124 21 0 22 854 513 / 138 ≈ 6 192,12 23 0 24 −236 364 091 / 2 730 ≈ −86 580,3 25 0 26 8 553 103 / 6 ≈ 1 425 517 27 0 28 −23 749 461 029 / 870 ≈ −27 298 231 29 0 30 8 615 841 276 005 / 14 322 ≈ 601 580 874 31 0 32 −7 709 321 041 217 / 510 ≈ −15 116 315 767 33 0 À l'aide de la fonction génératrice, on peut démontrer que lorsque n est impair et différent de 1, et que les signes des Bn alternent ensuite.
Sont présentées ci-dessous des méthodes de calcul rapide par récurrence et une formule explicite comme somme de coefficients binomiaux.
Formules de récurrence
Pour définir les nombres de Bernoulli par récurrence, repartons des sommes . On remarque que (d'après la formule du binôme après réindexation)
- ,
- ;
le terme en Sm + 1 s'élimine, et on obtient finalement (après réindexation)
- pour tous les entiers n ≥ 0, m ≥ 0, 00 étant pris égal à 1,
ce qu'on peut voir comme une définition par récurrence des Sm(n), avec pour base pour tout n ; c'est cette approche qui permet de démontrer par récurrence que les coefficients de Sm(n) sont bien de la forme donnée dans l'introduction.
Prenant ainsi n = 1, on obtient
Or on a vu que pour on a (par définition) : .
On obtient ainsi la récurrence exposée en introduction (pour m > 0) : .
Formules explicites
On peut en fait également définir les Bn sans récurrence : utilisant les nombres de Stirling (de deuxième espèce), on a[6] (pour n>1)
d'où (en utilisant les formules explicites pour les nombres de Stirling, et en simplifiant)
On trouve parfois dans la littérature l'affirmation selon laquelle des formules explicites pour les nombres de Bernoulli n'existent pas[réf. nécessaire] ; les deux dernières équations montrent qu'il n'en est rien. En fait, dès 1893, Louis Saalschütz (de) recensait un total de 38 formules explicites, donnant généralement des références bien plus anciennes.
Identités remarquables
Les relations suivantes, dues à Ramanujan, fournissent une méthode plus efficace pour le calcul des nombres de Bernoulli :
Une identité de Carlitz :
Applications en analyse
Les nombres de Bernoulli apparaissent dans le développement en série de Taylor des fonctions tangentes (circulaire et hyperbolique), dans la formule d'Euler-Maclaurin ainsi que dans des expressions de certaines valeurs de la fonction zêta de Riemann.
Les nombres de Bernoulli et la fonction zêta de Riemann
L'apparition de semble montrer que les valeurs des nombres de Bernoulli ne peuvent pas être décrites simplement ; en fait, ce sont essentiellement des valeurs de la fonction ζ de Riemann pour des valeurs entières négatives de la variable, puisque
et on sait que cette dernière est d'étude difficile (voir hypothèse de Riemann). En particulier :
- .
Leonhard Euler a obtenu la relation suivante
La relation s'écrit en utilisant la fonction zêta de Riemann :
relation qui entraîne :
Il est possible d'exprimer les nombres de Bernoulli grâce à la fonction zêta de Riemann de la façon suivante :
, si n > 1. et
; si n = 1. C'est la raison pour laquelle les nombres de Bernoulli possèdent des propriétés arithmétiques profondes, comme l'a découvert Kummer dans ses travaux sur le dernier théorème de Fermat.
Comportement asymptotique de | B2k |
De la définition de la fonction zêta de Riemann, on déduit que (si k > 0,5). Par conséquent, on a la minoration :
De l'inégalité (si k > 0), on déduit que : (si k > 0) , donc
. Par conséquent :
. En utilisant la formule de Stirling, on démontre l'équivalent quand n tend vers l'infini :
Propriétés arithmétiques
Les nombres de Bernoulli et les groupes de classes d'idéaux
Les propriétés de divisibilité des nombres de Bernoulli sont liées aux groupes des classes d'idéaux des corps cyclotomiques par un théorème de Kummer et son renforcement dans le théorème de Herbrand-Ribet, et aux nombres de classes des corps quadratiques par la congruence d'Ankeny-Artin-Chowla.
Liens avec la K-théorie algébrique
Nous avons aussi un lien avec la K-théorie algébrique : une conséquence de la conjecture de Quillen-Lichtenbaum est le résultat suivant[7] :
Si n = 4k − 2 et est le numérateur de , alors l'ordre de est si k est pair , et si k est impair .
Si n = 4k − 1 et est le dénominateur de , alors l'ordre de est si k est pair , et si k est impair .
Théorème de Von Staudt-Clausen
Le théorème de von Staudt-Clausen est aussi relié à la divisibilité. Il énonce ceci : si nous ajoutons les inverses à pour chaque nombre premier p tel que p − 1 divise n, nous obtenons, si n=1 ou n est pair non nul, un nombre entier. Ce fait nous permet immédiatement de caractériser les dénominateurs des nombres de Bernoulli non entiers comme le produit de tous les nombres premiers p tels que p − 1 divise n. En conséquence, si 2n est un entier pair non nul, le dénominateur du nombres de Bernoulli B2n est sans carré et divisible par 6.
- Exemples
La propriété se traduit par
- si p -1 divise 2m.
(La notation signifie que p divise le numérateur de a − b mais pas le dénominateur de a − b.)
La conjecture d'Agoh-Giuga postule que p est un nombre premier si et seulement si .
Continuité p-adique
Une propriété de congruence spécialement importante des nombres de Bernoulli peut être caractérisée comme une propriété de continuité p-adique. Si b, m et n sont des nombres entiers positifs tels que m et n ne sont pas divisibles par et , alors
- .
Puisque , ceci peut être aussi écrit
où et , c’est-à-dire u et v sont négatifs et non congru à 1 mod p-1. Ceci nous indique que la fonction zêta de Riemann, avec prise hors de la formule du produit d'Euler, est continue pour les nombres p-adiques sur les nombres entiers négatifs congrus mod p-1, en particulier , et donc, peut être étendu à une fonction continue pour tous les nombres entiers p-adiques la fonction zêta p-adique.
Utilisation en topologie
La formule de Kervaire-Milnor pour l'ordre du groupe cyclique des classes de difféomorphismes des (4n−1)-sphères exotiques qui bornent des variétés parallélisables pour fait intervenir les nombres de Bernoulli : si Nn est le numérateur de , alors est le nombre de ces classes de difféomorphisme de sphères exotiques.
La formule donnée dans les articles de topologie diffère car les topologues utilisent une convention différente pour nommer les nombres de Bernoulli (ils notent Bn la suite 1, 1/6, 1/30,...) ; l'article de wikipedia utilise la convention utilisée en théorie des nombres.
Notes et références
- Ireland et Rosen, A Classical Introduction to Modern Number Theory, Springer, 1990, p. 228.
- Alain Robert, A Course in p-adic Analysis, Springer, 2000, p.273.
- Ireland et Rosen, A Classical Introduction to Modern Number Theory, Springer, 1990, p. 229.
- Ireland et Rosen, A Classical Introduction to Modern Number Theory, Springer, 1990, p. 230.
- Jean-Pierre Serre, Cours d'arithmétique, éd. PUF, 1998, p.147
- sur Wikiversité. Graham, Knuth, Patashnik, Concrete Mathematics, p.289 (eq. 6.99) ; on trouvera également une démonstration de cette formule
- Survey de de Weibel sur la K-théorie de Z
Voir aussi
Bibliographie
- John H. Conway et Richard K. Guy, Le Livre des Nombres, Eyrolles, 1998. ISBN 2-212-03638-8
Articles connexes
- Formule de Faulhaber
- Formule d'Euler-Maclaurin
- Polynôme de Bernoulli
- Nombre premier régulier
- Congruence de Kummer (en)
Wikimedia Foundation. 2010.