Elementary proof of some Ramanujan-type identities

Cet article propose une preuve élémentaire de certaines identités de type Ramanujan exprimant les carrés de la fonction zêta de Riemann en points entiers à l'aide de séries impliquant des fonctions hyperboliques, la fonction digamma et les nombres de Bernoulli, tout en intégrant une section supplémentaire, une figure et des références corrigées.

L'essentiel

Imagine que les mathématiques sont une immense bibliothèque remplie de livres mystérieux. Dans cette bibliothèque, il y a un livre très spécial et très difficile à comprendre : le Livre de la Fonction Zêta. Ce livre contient des nombres magiques (comme $\zeta(2)$, $\zeta(3)$, etc.) qui semblent ne pas avoir de lien entre eux.

Le papier que nous allons explorer est comme un guide de voyage écrit par un mathématicien nommé M.A. Korolev. Son but ? Montrer qu'il existe des "ponts secrets" entre ces nombres magiques et d'autres objets mathématiques que l'on peut toucher et voir, comme des fonctions hyperboliques ou des nombres spéciaux appelés "nombres de Bernoulli".

Voici l'explication de ce voyage, simplifiée et imagée :

1. Le Secret de la Symétrie (La Preuve Élémentaire)

Au cœur de l'article, il y a une petite astuce, un "truc de magicien" appelé le Lemme 1.

Imaginez que vous avez un tas de pommes ($a_n$) et un tas de paniers ($b_n$). Le Lemme 1 dit quelque chose de très simple : si vous prenez deux pommes au hasard et que vous les mettez dans un panier, peu importe l'ordre dans lequel vous les prenez, le résultat total est toujours le même.

Mathématiquement, cela permet de transformer une équation compliquée (où l'on additionne des millions de termes) en une forme beaucoup plus simple. C'est comme si l'auteur disait : "Au lieu de compter chaque grain de sable individuellement, regardons la plage entière d'un seul coup d'œil." Grâce à ce petit outil, il peut démontrer des formules complexes sans avoir besoin d'outils mathématiques lourds et intimidants.

2. Les Ponts entre les Mondes (Les Identités)

L'objectif principal de l'auteur est de construire des ponts entre deux mondes qui semblaient séparés :

• Le Monde des Carrés : Le monde où l'on prend les nombres magiques de la fonction Zêta et qu'on les élève au carré (par exemple, $\zeta(2)^2$). C'est comme prendre une image et la mettre en miroir.
• Le Monde des Séries Rapides : Le monde des sommes infinies qui contiennent des fonctions "hyperboliques" (qui ressemblent à des courbes de suspension) et la fonction "Digamma" (une sorte de cousin de la fonction logarithme).

L'auteur montre que :

"Le carré de ce nombre magique est exactement égal à la somme de cette série infinie."

C'est comme découvrir que le poids d'un éléphant (le carré du nombre) est exactement égal à la somme du poids de millions de fourmis (la série). C'est surprenant, car les fourmis semblent si petites et l'éléphant si grand !

3. Les Outils de Construction

Pour construire ces ponts, l'auteur utilise plusieurs outils qu'il décrit dans la section "Auxiliaire" :

• Les Racines de l'Unité ($\varepsilon_r, \omega_r$) : Imaginez des aiguilles d'une montre qui tournent. Ces nombres sont comme des aiguilles placées à des angles très précis. Ils servent à "décomposer" les fractions complexes en morceaux plus simples, comme couper un gâteau en parts égales pour mieux les manger.
• La Fonction Digamma ($\psi$) : C'est un outil qui mesure la "déviation" ou la "courbure" des nombres. L'auteur l'utilise pour relier les nombres entiers aux nombres complexes.
• Les Nombres de Bernoulli : Ce sont comme des "briques de Lego" spéciales qui apparaissent souvent quand on fait des calculs de sommes. L'auteur les utilise pour affiner ses ponts.

4. Le Résultat : Des Formules "Ramanujan"

Le titre mentionne "Ramanujan-type". Srinivasa Ramanujan était un génie mathématique indien qui voyait des formules magiques dans ses rêves. Il aimait écrire des équations où des nombres très simples (comme $\pi$) apparaissaient dans des contextes très complexes.

Ce papier prouve que certaines de ces formules "magiques" ne sont pas de la magie noire, mais peuvent être déduites avec des outils simples (élémentaires).

• Exemple concret : L'auteur montre comment calculer $\zeta(3)^2$ (le cube de la fonction Zêta au carré) en utilisant une série qui converge très vite. Cela signifie que si vous voulez calculer ce nombre sur un ordinateur, vous n'avez pas besoin de faire des milliards de calculs ; quelques centaines suffisent grâce à ces nouvelles formules.

5. Et si on regardait de loin ? (Comportement limite)

À la fin, l'auteur regarde ce qui se passe si on prend un paramètre très grand (comme si on s'éloignait de la plage pour voir l'océan entier). Il découvre que les formules complexes se simplifient encore plus et ressemblent à des formules très simples impliquant des nombres entiers et des polynômes. C'est comme si, de très loin, les détails complexes disparaissaient pour révéler une structure géométrique parfaite.

En résumé

Ce papier est une démonstration élégante qui dit :
"Ne vous laissez pas intimider par la complexité des nombres infinis. En utilisant un peu de symétrie (le Lemme 1) et en découpant les problèmes en petits morceaux (les racines de l'unité), on peut révéler des liens cachés et magnifiques entre les carrés des nombres les plus célèbres de la théorie des nombres et des séries infinies."

C'est une invitation à voir la beauté et la simplicité cachées derrière les équations les plus effrayantes.

Résumé technique

Voici un résumé technique détaillé de l'article « Elementary proof of some Ramanujan-type identities » de M.A. Korolev, rédigé en français.

1. Problématique et Contexte

L'objectif principal de cet article est d'établir de nouvelles identités reliant les carrés de la fonction zêta de Riemann $\zeta(s)$ aux entiers pairs et impairs à des séries impliquant des fonctions hyperboliques, la fonction digamma $\psi(z)$, les nombres de Bernoulli et d'autres fonctions arithmétiques.

Bien que des identités de type Ramanujan (comme la formule de Cauchy-Lerch-Ramanujan pour $\zeta(3)$) soient connues, cet article vise à fournir des preuves élémentaires (ne reposant pas sur des outils analytiques lourds comme la transformation de Mellin ou les intégrales de contour complexes, sauf pour les estimations de convergence) de relations plus générales. L'auteur cherche à exprimer des quantités telles que $\zeta^2(2k)$, $\zeta^2(2k+1)$ ou $\zeta^2(2k-\ell)$ sous forme de séries rapidement convergentes.

2. Méthodologie

La démonstration repose sur une approche combinatoire et analytique structurée autour de plusieurs piliers :

• Identité Fondamentale (Lemme 1) : L'outil central est une identité algébrique élémentaire pour des suites $\{a_n\}$ et $\{b_n\}$ ($b_n > 0$) :
  $$\sum_{m,n=1}^N \frac{a_m a_n}{b_m(b_m + b_n)} = \frac{1}{2} \left( \sum_{n=1}^N a_n \right)^2$$
  Cette identité permet de transformer le carré d'une somme en une double somme, facilitant l'introduction de termes de type $\frac{1}{m^k + n^k}$.

• Décompositions Partielles (Lemmes 3 et 4) : L'auteur utilise des décompositions en fractions partielles pour les expressions rationnelles de la forme $\frac{w^s}{w^{2k} \pm 1}$. Ces décompositions font intervenir des racines de l'unité complexes ($\varepsilon_r$ et $\omega_r$), permettant d'exprimer des termes comme $\frac{1}{m^{2k} + n^{2k}}$ en fonction de termes linéaires $\frac{1}{m \pm n\varepsilon_r}$.

• Propriétés de la Fonction Digamma : Les preuves exploitent les développements en série de la fonction digamma $\psi(z)$ et les relations de réflexion (Lemmes 5, 6, 7), notamment :
  $$\psi(z) = -\gamma - \frac{1}{z} + \sum_{n=1}^\infty \left(\frac{1}{n} - \frac{1}{n+z}\right)$$
  et les liens avec la fonction cotangente.

• Changement d'Ordre de Sommation (Lemme 2) : La justification rigoureuse du changement d'ordre de sommation dans les doubles séries infinies est assurée par des estimations de convergence absolue (utilisant le Lemme 8 pour majorer les termes impliquant la cotangente).

• Convolution de Dirichlet (Théorèmes 4, 5, 6) : Une généralisation majeure est obtenue en introduisant des fonctions arithmétiques $f$ et $g$ liées par une convolution de Dirichlet, permettant d'exprimer les carrés de séries de Dirichlet $L(z; f)$ via des sommes doubles.

3. Résultats Principaux

L'article présente plusieurs théorèmes majeurs et leurs corollaires :

A. Identités pour les puissances paires et impaires

• Théorème 1 : Pour tout entier $k \ge 1$ :
  $$\zeta^2(2k) + \zeta(4k) = \sum_{n=1}^\infty \frac{a_k(n)}{n^{4k-1}}$$
  où $a_k(n)$ est une somme finie impliquant la fonction cotangente et des racines de l'unité.

  • Corollaire notable : Pour $k=1$, on retrouve la formule de Cauchy-Lerch-Ramanujan pour $\zeta(3)$.

• Théorème 2 : Pour $1 \le \ell \le 2k-2$ :
  $$\zeta^2(2k-\ell) = \sum_{n=1}^\infty \frac{b_{k,\ell}(n)}{n^{4k-2\ell-1}}$$
  où $b_{k,\ell}(n)$ fait intervenir la fonction digamma $\psi$.

  • Exemple : Une identité spécifique pour $\zeta^2(3)$ est dérivée, exprimée via la partie imaginaire de $\psi(n\varepsilon_0) + \psi(-n\varepsilon_0)$.

• Théorème 3 : Pour $k \ge 1$ :
  $$\frac{1}{2}\zeta^2(2k+1) + \zeta(4k+2) = \sum_{n=1}^\infty \frac{c_k(n)}{n^{4k+1}}$$
  où $c_k(n)$ est défini via la fonction digamma et des racines de l'unité d'ordre impair.

B. Généralisation via les Fonctions Arithmétiques

Les théorèmes 4, 5 et 6 généralisent les résultats précédents pour une fonction arithmétique $f$ et sa convolution $g$. Ils établissent des relations de la forme :
$$L^2(s; f) = \sum_{m=1}^\infty \frac{g(m)}{m} \left( \sum_{n=1}^\infty \frac{f(n)}{n^{s'}} \cdot \text{Coeff}(n/m) - \text{Terme Correctif} \right)$$
Ces résultats sont appliqués à de nombreux cas particuliers :

• Fonction de Möbius $\mu(n)$ (récupération d'identités connues).
• Fonction de diviseurs $\tau(n)$ et ses puissances.
• Fonction indicatrice d'Euler $\phi(n)$.
• Fonction de Mangoldt $\Lambda(n)$ (liant $\zeta'(s)$ aux séries).
• Caractères de Dirichlet (ex: $\chi_4$ pour les sommes de deux carrés).

C. Comportement Asymptotique (Théorème 7)

L'auteur étudie la limite des coefficients $a_k(w)$, $b_{k,\ell}(w)$ et $c_k(w)$ lorsque $k \to \infty$ avec $w$ fixé. Il montre que ces coefficients convergent vers des expressions simples impliquant la partie entière de $w$ et les polynômes de Bernoulli $B_j(x)$. Par exemple :
$$\lim_{k \to \infty} a_k(w) = \begin{cases} 2 & \text{si } w \in \mathbb{Z} \\ \frac{2[w]+1}{w} & \text{sinon} \end{cases}$$

4. Signification et Apports

• Élévation de la preuve : La contribution la plus significative est la nature élémentaire des preuves. Contrairement aux approches classiques utilisant l'analyse complexe profonde (théorème des résidus sur des contours infinis), Korolev démontre ces identités en utilisant principalement des manipulations algébriques, des décompositions en fractions partielles et des propriétés de base de la fonction digamma.
• Unification : L'article unifie diverses identités dispersées (Cauchy, Lerch, Ramanujan) sous un cadre général basé sur l'identité du Lemme 1 et la convolution de Dirichlet.
• Nouvelles Formules : Il fournit de nouvelles expressions pour les carrés de $\zeta(s)$ (notamment pour les arguments impairs comme $\zeta^2(3)$ et $\zeta^2(5)$) sous forme de séries à convergence rapide, utiles pour le calcul numérique de haute précision.
• Généralisation : L'extension aux fonctions arithmétiques générales ouvre la voie à de nouvelles relations entre les valeurs de fonctions L et les sommes de diviseurs.

En résumé, cet article offre une perspective nouvelle et accessible sur des problèmes profonds de la théorie des nombres, en démontrant que des identités complexes peuvent être dérivées à partir de principes algébriques simples et de l'analyse élémentaire des séries.