🔢 mathematics

The Mellin's transforms of $\dfrac{1}{\operatorname{arctanh} x}$ and $\dfrac{1}{\sqrt{1-x^2}\,\operatorname{arctanh} x}$

Cet article emploie l'intégration par contour pour dériver des expressions explicites sous forme fermée impliquant des dérivées des fonctions zeta de Riemann et bêta de Dirichlet pour les transformées de Mellin de $1/\operatorname{arctanh} x$ et de $1/(\sqrt{1-x^2}\,\operatorname{arctanh} x)$ aux entiers pairs, étendant ainsi les résultats précédents et offrant de nouveaux outils analytiques pour l'étude de la nature arithmétique de rapports spécifiques de fonctions zeta et bêta.

Auteurs originaux : Luc Ramsès Talla Waffo

Publié 2026-01-27

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Luc Ramsès Talla Waffo

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous êtes un détective tentant de résoudre un mystère sur les nombres. Plus précisément, vous enquêtez sur deux nombres très spéciaux et insaisissables : la fonction Zeta de Riemann (appelons-la Z) et la fonction Bêta de Dirichlet (appelons-la B).

Les mathématiciens soupçonnent depuis longtemps que certains rapports impliquant ces nombres et la célèbre constante du cercle, Pi ( $\pi$ ), sont « irrationnels ». Cela signifie qu'ils ne peuvent pas être écrits sous la forme d'une fraction simple (comme 1/2 ou 22/7). Ce sont des décimales infinies, non périodiques, qui ne se stabilisent jamais.

Ce document, écrit par Luc Ramsès Talla Waffo, est comme une nouvelle boîte à outils conçue pour résoudre cette affaire. Voici comment l'auteur aborde le problème, expliqué en termes courants :

1. Les deux suspects (Les fonctions)

L'auteur se concentre sur deux « machines » mathématiques spécifiques (fonctions) qui prennent un nombre en entrée et recrachent un résultat.

Machine A : Prend un nombre, le divise par l'« tangente hyperbolique inverse » (une façon sophistiquée de dire qu'elle inverse une courbe spécifique) et l'intègre.
Machine B : Fait la même chose mais ajoute un « mur courbe » (la racine carrée de $1-x^2$ ) au dénominateur.

Considérez ces machines comme des tamis. Vous versez un flux de nombres dans elles et elles filtrent des motifs spécifiques. L'auteur appelle cela des « transformées de Mellin », ce qui est simplement un nom sophistiqué pour un type spécifique de tamis mathématique qui transforme une fonction en une nouvelle fonction basée sur sa « forme ».

2. L'ancien indice contre le nouveau

Auparavant, les mathématiciens savaient comment utiliser ces tamis lorsque l'entrée était un nombre impair (comme 1, 3, 5). C'était comme savoir comment ouvrir une porte avec une clé pour gaucher.

Cependant, ce document s'attaque aux nombres pairs (2, 4, 6).

Le Problème : Lorsque vous essayez d'utiliser les anciennes méthodes pour « gauchers » sur des nombres pairs, les mathématiques se brisent. C'est comme essayer d'ouvrir une porte pour droitiers avec une clé pour gauchers ; le mécanisme ne tourne pas, ou pire, il donne un résultat de zéro, ce qui ne nous apprend rien.
La Solution : L'auteur invente un nouvel ensemble d'outils utilisant l'intégration de contour. Imaginez marcher autour d'une montagne (un chemin complexe dans le paysage mathématique) plutôt que d'essayer de grimper droit vers le haut. En contournant les « pôles » (les endroits délicats où les mathématiques explosent), l'auteur peut calculer la valeur de ces entrées de nombres pairs sans qu'elles ne s'évanouissent dans le néant.

3. La carte au trésor (Les résultats)

En utilisant cette nouvelle technique de « marche autour de la montagne », l'auteur dérive des formules explicites.

Au lieu d'obtenir une intégrale désordonnée impossible à résoudre, l'auteur trouve une expression sous forme fermée.
Considérez cela comme une carte au trésor qui dit : « Le trésor n'est pas enterré dans un trou aléatoire ; il est exactement à 3 pieds sous le chêne, mélangé à une quantité spécifique de poussière d'or (dérivées des fonctions Zeta et Bêta). »
L'auteur fournit une longue liste de ces « cartes » pour divers nombres pairs. Par exemple, il montre exactement comment calculer l'intégrale pour $x^2$ , $x^4$ , $x^6$ , etc., en termes de constantes mathématiques connues et de leurs dérivées.

4. La vue d'ensemble : Pourquoi est-ce important ?

Le but ultime n'est pas seulement de calculer ces nombres pour le plaisir. Il s'agit de prouver qu'ils sont irrationnels.

L'auteur suggère une stratégie astucieuse :

Si vous pouvez prouver que les résultats de ces « tamis » (les transformées de Mellin) ne peuvent pas être combinés pour créer le nombre $\pi$ , alors vous prouvez que les rapports de Zeta et Bêta à $\pi$ sont irrationnels.
Le document montre que ces transformées peuvent être écrites sous forme de séries infinies impliquant des combinaisons de valeurs de Zeta et de Bêta.
Cela revient à dire : « Si nous pouvons montrer que ces combinaisons spécifiques de nombres ne s'additionnent jamais pour former $\pi$ , alors le mystère de leur irrationalité est résolu. »

5. L'acte d'« évanouissement »

L'un des tours les plus cool du document implique des « fonctions s'évanouissant ». L'auteur identifie des motifs mathématiques spécifiques (coefficients combinatoires) qui, lorsqu'ils sont additionnés, s'annulent magiquement pour donner zéro.

Analogie : Imaginez un groupe de personnes tenant des pancartes avec des nombres dessus. Si vous leur demandez de se tenir dans une formation spécifique, la somme totale des nombres sur les pancartes devient zéro. L'auteur utilise ces groupes à « somme nulle » pour simplifier des équations complexes, éliminant le bruit pour révéler le signal central.

Résumé

En bref, ce document est un manuel de réparation mathématique.

Le Problème : Nous ne pouvions pas calculer les valeurs « paires » de deux tamis mathématiques importants car nos anciens outils échouaient.
La Correction : L'auteur a construit un nouvel outil (l'intégration de contour) pour contourner les obstacles et obtenir les réponses.
Le Résultat : Nous avons maintenant des formules exactes pour ces valeurs.
Le But : Ces formules fournissent les preuves nécessaires pour potentiellement prouver que certains rapports de nombres célèbres sont irrationnels, résolvant ainsi une énigme de longue date en théorie des nombres.

Le document ne prétend pas guérir des maladies ou construire des ponts ; il reste strictement dans le domaine des mathématiques pures, offrant de nouvelles façons de voir la structure cachée de nombres comme $\pi$ , Zeta et Bêta.

Résumé Technique : Les transformées de Mellin de $1/\text{arctanh } x$ et de $1/(\sqrt{1-x^2}\text{arctanh } x)$

Énoncé du Problème
Ce travail étudie les transformées de Mellin de deux fonctions spécifiques, considérées comme ayant un support compact sur l'intervalle $(0, 1)$ :
$\Phi_1(s) = \int_0^1 \frac{x^{s-1}}{\text{arctanh } x} \, dx \quad \text{et} \quad \Phi_2(s) = \int_0^1 \frac{x^{s-1}}{\sqrt{1-x^2}\text{arctanh } x} \, dx$
Ces transformées sont intrinsèquement liées à la nature arithmétique des rapports $\frac{\zeta(2n+1)}{\pi^{2n+1}}$ et $\frac{\beta(2n)}{\pi^{2n}}$ . Des recherches antérieures (citées comme [2], [3]) ont établi des représentations intégrales pour ces rapports impliquant des polynômes pairs. Cependant, une lacune subsistait concernant l'évaluation de ces transformées aux entiers impairs (correspondant à des puissances paires de $x$ dans l'intégrande). Si les valeurs aux entiers pairs ont été étudiées précédemment, les cas des entiers impairs mènent à des intégrales impropres qui ne peuvent être résolues par les arguments de parité standards (car les fonctions intégrandes sont impaires), nécessitant ainsi une nouvelle approche analytique.

Méthodologie
L'article emploie une combinaison d'analyse combinatoire, de développement en séries et de techniques d'analyse complexe, spécifiquement l'intégration par contour.

Approches Combinatoires et de Séries (Sections 1 & 6) :
- L'auteur définit des polynômes spécifiques $P_n(x)$ et $Q_n(x)$ liés aux racines de fonctions hyperboliques pour dériver les coefficients de développements de Taylor.
- En substituant $x = \tanh u$ , les intégrales originales sont transformées en intégrales sur $(0, \infty)$ impliquant $\tanh$ , $\cosh$ , et $\ln u$ .
- Des développements binomiaux et des séries géométriques sont utilisés pour exprimer ces intégrales sous forme de sommes impliquant les dérivées de la fonction $\eta$ de Dirichlet ( $\eta'$ ) et de la fonction $\beta$ de Dirichlet ( $\beta'$ ).
- La Section 6 établit des systèmes couplés reliant $\Phi_1(s)$ et $\Phi_2(s)$ via les développements binomiaux de $\sqrt{1-x^2}$ et $1/\sqrt{1-x^2}$ , permettant d'exprimer des sommes de valeurs de $\beta$ en tant que séries de valeurs de $\zeta$ et vice versa.
Intégration par Contour (Sections 2 & 3) :
- Pour évaluer rigoureusement les intégrales aux entiers impairs (qui correspondent à des intégrales de la forme $\int_0^\infty \frac{\sinh^{2q+1} z \ln z}{\cosh^n z} dz$ ), l'auteur utilise un contour rectangulaire dans le plan complexe.
- Contrairement aux travaux précédents qui traitaient des fonctions paires en étendant le domaine à $(-\infty, \infty)$ , ce travail traite la nature impaire de l'intégrande. La méthode consiste à intégrer $z^2 f_{q,n}(z)$ autour d'un rectangle $[-R, R] \times [0, i\pi]$ et à appliquer le théorème du résidu de Cauchy.
- Les pôles de l'intégrande sont identifiés, et les résidus sont calculés en utilisant la formule intégrale de Cauchy et les dérivées de $\ln^2 z$ .
- Cette technique produit des expressions en forme fermée impliquant les dérivées de la fonction $\zeta$ de Riemann ( $\zeta'$ ) et de la fonction $\beta$ de Dirichlet ( $\beta'$ ), ainsi que des termes logarithmiques ( $\ln \pi, \ln 2$ ).

Contributions Clés et Résultats

Expressions en Forme Fermée Explicites : L'article dérive des formules explicites pour $\Phi_1(2n+1)$ $Φ_{1} (2 n + 1)$ et $\Phi_2(2n+1)$ $Φ_{2} (2 n + 1)$ . Celles-ci sont exprimées comme des combinaisons linéaires finies des dérivées des fonctions $\eta$ $η$ et $\beta$ $β$ aux entiers négatifs (par exemple, $\eta'(-2i-1)$ $η^{'} (- 2 i - 1)$ et $\beta'(-2i)$ $β^{'} (- 2 i)$ ).
- Exemple : $\int_0^1 \frac{x^2}{\text{arctanh } x} dx = \frac{4}{3}\eta'(-1) + \frac{8}{3}\eta'(-3)$ .
Évaluation d'Intégrales Impropres : Le travail fournit une méthode systématique pour évaluer les intégrales de la forme $\int_0^\infty \frac{\sinh^{2q+1} z \ln z}{\cosh^n z} dz$ et $\int_0^\infty \frac{\sinh^{2q} z}{z \cosh^n z} dz$ . Ces résultats sont présentés en termes de $\zeta'$ , $\beta'$ , des nombres de Bernoulli et des nombres d'Euler.
Identités Combinatoires Nullles : La Section 4 identifie des classes spécifiques de fonctions avec des coefficients combinatoires qui s'annulent pour certains arguments entiers, ce qui est crucial pour simplifier les calculs de résidus.
Analyse Asymptotique : L'article établit des bornes et des développements asymptotiques pour $\Phi_1(s)$ et $\Phi_2(s)$ lorsque $s \to 1^+$ , fournissant des constantes $C_1$ et $C_2$ exprimées en termes de $\zeta'(2)$ , $\beta'(1)$ et de termes logarithmiques.
Reformulation des Conjectures d'Irrationalité : Dans la section 6.3, l'auteur reformule les conjectures concernant l'irrationalité de $\frac{\zeta(2n+1)}{\pi^{2n+1}}$ et $\frac{\beta(2n)}{\pi^{2n}}$ . L'irrationalité de ces rapports est montrée comme suivant si des séries infinies spécifiques impliquant les coefficients des développements de Taylor de $1/\text{arctanh } x$ et de $1/(\sqrt{1-x^2}\text{arctanh } x)$ ne couvrent pas les nombres rationnels d'une manière permettant de représenter $\pi$ .

Signification et Revendications
L'article revendique trois contributions principales :

Perspective Arithmétique : Il étudie des transformées de Mellin profondément liées à la nature arithmétique de $\zeta(2n+1)/\pi^{2n+1}$ et $\beta(2n)/\pi^{2n}$ , étendant les résultats précédents aux arguments entiers impairs qui n'avaient pas été traités auparavant en raison des contraintes de parité.
Nouvelles Perspectives sur les Intégrales : Il offre de nouvelles perspectives sur des intégrales qui pourraient avoir été négligées dans les travaux de Blagouchine, Adamchik et d'autres, spécifiquement celles impliquant des puissances impaires de sinus hyperbolique combinées à des termes logarithmiques.
Outils Analytiques : Il développe des techniques d'analyse complexe (spécifiquement la méthode d'intégration par contour pour les intégrandes impairs) qui produisent des identités non triviales utiles en combinatoire et dans l'évaluation d'intégrales hyperboliques.

L'auteur note que bien que les résultats aux entiers pairs soient connus, la dérivation aux entiers impairs a nécessité une méthode distincte car les arguments de parité échouent (donnant zéro de manière triviale si appliqués naïvement). Les expressions en forme fermée dérivées impliquant les dérivées des fonctions L fournissent de nouveaux outils analytiques pour l'étude d'intégrales hyperboliques apparentées et des propriétés arithmétiques des rapports susmentionnés.