Théorème d'Apéry

Le théorème d'Apéry, démontré en 1978 par le mathématicien Roger Apéry, affirme que le nombre

$\zeta (3)=\frac{1}{1^3}+\frac{1}{2^3}+\frac{1}{3^3}+\frac{1}{4^3}+\cdots ,$

où ζ est la fonction zêta de Riemann, est irrationnel. Ce nombre est également surnommé la constante d'Apéry.

Historique

Euler a démontré que si Modèle:Mvar est un entier positif, alors

$\frac{1}{1^{2n}}+\frac{1}{2^{2n}}+\frac{1}{3^{2n}}+\frac{1}{4^{2n}}+\dots =\frac{p}{q}{\pi }^{2n}$

pour un certain rationnel Modèle:Math. Plus précisément, notant la somme de gauche Modèle:Math (voir l'article Fonction zêta), il a montré que

$\zeta (2n)=|B_{2n}|\frac{(2\pi {)}^{2n}}{2(2n)!}$

où les Modèle:Mvar sont les nombres de Bernoulli (dont il est facile de montrer qu'ils sont rationnels). Une fois démontré que Modèle:Math est toujours irrationnel, on en déduit que Modèle:Math est irrationnel (et même en fait transcendant) pour tout entier positif Modèle:Mvar.

On ne connaît pas de telle expression utilisant Modèle:Math pour les valeurs de Modèle:Math lorsque m est un entier positif impair ; il est d'ailleurs conjecturé que les quotients $\frac{\zeta (2n+1)}{{\pi }^{2n+1}}$ sont transcendants pour tout entier n ≥ 1. C'est pourquoi il n'avait pas pu être montré que les Modèle:Math étaient irrationnels, bien que l'on ait conjecturé qu'ils étaient eux aussi tous transcendants (une conjecture qui englobe les deux précédentes est que les nombres Modèle:Math sont algébriquement indépendants sur ℚ).

Cependant, en Modèle:Date-, Roger Apéry (à 62 ans) donna une conférence intitulée Sur l'irrationalité de ζ(3). Il esquissa alors des démonstrations de l'irrationalité de Modèle:Math, et aussi de Modèle:Math, par des méthodes n'utilisant pas la valeur Modèle:Math de cette dernière constante.

À cause de l'allure inattendue de ce résultat et du style blasé et approximatif de la présentation d'Apéry, beaucoup de mathématiciens assistant à cette conférence — en particulier les non-francophones — pensèrent que la démonstration était erronée. Pourtant, trois des spectateurs, Henri Cohen, Hendrik Lenstra et Alfred van der Poorten, estimèrent qu'elle pouvait être rendue rigoureuse.

Deux mois plus tard, ils y parvinrent et, le Modèle:Date-, Henri Cohen donna un exposé détaillé de la démonstration d'Apéry ; immédiatement après cet exposé, Apéry lui-même monta sur l'estrade expliquer les motivations heuristiques de sa démarcheModèle:,.

La démonstration d'Apéry

La démonstration d'ApéryModèle:, s'appuie sur le critère suivant d'irrationalité (dû à Dirichlet) : s'il existe un δ > 0 et une infinité de couples d'entiers q > 0 et p tels que

$0<|\xi -\frac{p}{q}|<\frac{1}{q^{1+\delta }},$

alors ξ est irrationnel.

Apéry part de la représentation de ζ(3) par la série

$\zeta (3)=\frac{5}{2}\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{n-1}}{n^3(\genfrac{}{}{0ex}{}{2n}{n})}.$

Il définit alors une suite c_n,k convergeant vers ζ(3) à la même vitesse que cette série par

$c_{n,k}=\sum _{m=1}^n\frac{1}{m^3}+\sum _{m=1}^k\frac{(-1{)}^{m-1}}{2m^3(\genfrac{}{}{0ex}{}{n}{m})(\genfrac{}{}{0ex}{}{n+m}{m})},$

puis deux autres suites a_n et b_n ayant (à peu près) pour quotient c_n,k par

$a_n=\sum _{k=0}^n{c}_{n,k}{(\genfrac{}{}{0ex}{}{n}{k})}^2{(\genfrac{}{}{0ex}{}{n+k}{k})}^2$

et

$b_n=\sum _{k=0}^n{(\genfrac{}{}{0ex}{}{n}{k})}^2{(\genfrac{}{}{0ex}{}{n+k}{k})}^2.$

La suite a_n/b_n converge vers ζ(3) assez rapidement pour pouvoir appliquer le critère de Dirichlet, mais a_n n'est pas un entier si n > 2. Cependant, Apéry a montré que même après avoir multiplié a_n et b_n par des entiers convenables, la convergence reste assez rapide pour garantir l'irrationalité de ζ(3).

Autres preuves

L'année suivante, une autre démonstration fut trouvée par Modèle:Lien, remplaçant les séries d'Apéry par des intégrales mettant en jeu les polynômes de Legendre (translatés) $\widetilde{P_n}(x)=P_n(2x-1)$. Utilisant une représentation qui serait par la suite généralisée pour obtenir la formule de Hadjicostas-Chapman, Beukers montra que

$\underset{0}{\overset{1}{\int }}\underset{0}{\overset{1}{\int }}\frac{-\ln (xy)}{1-xy}\widetilde{P_n}(x)\widetilde{P_n}(y)\mathrm{d}x\mathrm{d}y=\frac{A_n+B_n\zeta (3)}{\mathrm{ppcm}{[1,\dots ,n]}^3}$

pour certains entiers Modèle:Mvar et Modèle:Mvar (les suites Modèle:OEIS2C et Modèle:OEIS2C de l'OEIS). Intégrant par parties, en supposant que Modèle:Math est le rationnel Modèle:Math, Beukers obtient l'inégalité

$0<\frac{1}{b}\le |A_n+B_n\zeta (3)|\le 4{\left(\frac{4}{5}\right)}^n,$

ce qui est absurde puisque le membre de droite tend vers zéro et donc finit par être plus petit que Modèle:Math.

Des démonstrations plus récentes de Modèle:Lien et de Yuri Nesterenko se rapprochent davantage des idées d'Apéry, construisant des suites qui tendent vers zéro, alors qu'elles sont minorées par Modèle:Math si Modèle:Math est le rationnel Modèle:Math. Ces démonstrations assez techniques font un usage important des séries hypergéométriques.

Généralisations

Les preuves d'Apéry et Beukers peuvent être adaptées (et simplifiées) pour démontrer de même l'irrationalité de ζ(2) grâce à la relation

$\zeta (2)=3\sum _{n=1}^{\mathrm{\infty }}\frac{1}{n^2(\genfrac{}{}{0ex}{}{2n}{n})}.$

Le succès de cette méthode a conduit à s'intéresser au nombre ξ₅ tel que

$\zeta (5)={\xi }_5\sum _{n=1}^{\mathrm{\infty }}\frac{(-1{)}^{n-1}}{n^5(\genfrac{}{}{0ex}{}{2n}{n})}.$

Si ce nombre ξ₅ était rationnel, ou même simplement algébrique, on pourrait en déduire que ζ(5) est irrationnel. Malheureusement, des recherches étendues (par ordinateur) ont échoué ; on sait par exemple que si ξ₅ est un nombre algébrique de degré au plus 25, les coefficients de son polynôme minimal doivent être supérieurs à 10³⁸³ ; il ne semble donc pas possible d'étendre les résultats d'Apéry à d'autres valeurs de ζ(2n+1).

Cependant, beaucoup de mathématiciens travaillant dans ce domaine s'attendent à des avancées importantes dans un avenir proche. De fait, des résultats récents de Modèle:Lien et Tanguy Rivoal montrent qu'une infinité de nombres de la forme ζ(2n + 1) sont irrationnels, et même qu'au moins un des nombres ζ(5), ζ(7), ζ(9) et ζ(11) l'est. Ils utilisent des formes linéaires des valeurs de la fonction zêta, et des estimations de ces formes, pour borner la dimension d'un espace vectoriel engendré par ces valeurs. Les espoirs de réduire la liste de Zudilin à un seul nombre ne se sont pas concrétisés, mais cette approche constitue toujours une ligne de recherche active (il a été suggéré que cette question pourrait avoir des applications pratiques : ces constantes interviennent en physique pour décrire des fonctions de corrélation du modèle de Heisenberg).

Liens externes

• Modèle:Article
• Modèle:Article (MAA Writing Award 2002)
• Modèle:Lien web