Fractions Continues et Mesures d'Irrationalité pour les Quotients Gamma de Chowla--Selberg

Informations Fondamentales

• ID de l'article : 2510.00215
• Titre : Continued Fractions and Irrationality Measures for Chowla--Selberg Gamma Quotients
• Auteurs : Henri Cohen (Bordeaux) et Wadim Zudilin (Nijmegen)
• Classification : math.NT (Théorie des Nombres), math.CA (Analyse Classique)
• Date de Publication : 11 novembre 2025
• Lien de l'article : https://arxiv.org/abs/2510.00215v3

Résumé

Cet article présente 39 représentations en fractions continues à convergence rapide pour les quotients gamma de Chowla-Selberg (gamma quotients), et en déduit des mesures d'irrationalité satisfaisantes pour 20 d'entre eux. Ces résultats incluent CS(-3) = (Γ(1/3)/Γ(2/3))³, a^(1/4)CS(-4) (où a=12 et a=1/5) ainsi que CS(-7) = Γ(1/7)Γ(2/7)Γ(4/7)/(Γ(3/7)Γ(5/7)Γ(6/7)). Il s'agit apparemment des premières mesures d'irrationalité raisonnables prouvées pour les quotients gamma.

Contexte et Motivation de la Recherche

Problème Central

Cet article étudie la question des mesures d'irrationalité pour les quotients gamma de Chowla-Selberg CS(D), où D est un discriminant fondamental négatif. Ces quantités sont liées aux valeurs de la fonction eta de Dedekind aux points CM par les formules de Lerch et de Chowla-Selberg.

Importance

1. Signification théorique : Bien que Chudnovsky et Nesterenko aient prouvé que CS(D), π et exp(π√D) sont algébriquement indépendants sur Q (en particulier, CS(D) est transcendant), les mesures d'irrationalité explicites et raisonnables sont extrêmement rares.
2. Lacune historique : Auparavant, seule une mesure d'irrationalité de CS(-3) basée sur des expériences numériques était connue (proposée dans 12), et les bornes pour μ(Γ(1/3)) et μ(Γ(1/4)) dans la littérature 3 étaient trop énormes pour être pratiques.
3. Innovation méthodologique : Les mesures d'irrationalité traditionnelles sont généralement obtenues par des méthodes intégrales ou des constructions hypergéométriques (comme le travail de Mahler sur π), tandis que cet article utilise la méthode des fractions continues, ce qui est extrêmement rare dans ce domaine.

Limitations des Méthodes Existantes

• Les méthodes intégrales et de séries traditionnelles ne s'appliquent pas aux quotients gamma
• Les représentations en séries hypergéométriques connues convergent trop lentement (généralement des valeurs en z=1)
• Aucune représentation intégrale utile n'est connue

Contributions Principales

1. Construction de 39 fractions continues à convergence rapide : de la forme $L = [[0, a_1, A(n-1)], [b_0, -K(Dn-1)(D(n-1)+1)]]$ où D ∈ {2, 3, 4, 6}.
2. Preuve des mesures d'irrationalité pour 20 quotients gamma : incluant les premières bornes rigoureuses pour CS(-3), CS(-7), etc., par exemple :
   • μ(CS(-3)) < 5.548
   • μ(CS(-7)) < 5.283
   • μ(CS(-163)) < 2.477
3. Établissement d'un cadre théorique systématique :
   • Établissement de fractions continues via les fractions continues de Laguerre et les fonctions hypergéométriques
   • Calcul des limites des fractions continues utilisant les formes modulaires et la théorie CM
   • Développement de méthodes d'analyse arithmétique de type Apéry pour délimiter les dénominateurs
4. Classification complète des valeurs CM : fourniture d'un tableau complet de 44 valeurs CM rationnelles, identifiant lesquelles produisent des mesures d'irrationalité.

Explication Détaillée de la Méthode

Définition de la Tâche

Pour un nombre irrationnel L, construire des suites de nombres rationnels u(n) et v(n) telles que :

1. |v(n)L - u(n)| soit suffisamment petit : log|v(n)L - u(n)| ~ -Fn
2. Les dénominateurs soient contrôlables : il existe d(n) tel que d(n)u(n), d(n)v(n) ∈ Z et log(d(n)) < Mn

Lorsque F > M, on peut obtenir une borne supérieure pour la mesure d'irrationalité : μ(L) ≤ 1 + (F+M)/(F-M)

Architecture de la Méthode Principale

Première Étape : Fractions Continues de Laguerre (Section 2)

Partant de la fraction continue classique de Laguerre : $\left(\frac{1+z}{1-z}\right)^a = [[1, 1-az, 2n-1], [2az, -z^2(n^2-a^2)]]$

La vitesse de convergence est : $\left(\frac{1+z}{1-z}\right)^a - \frac{p(n)}{q(n)} \sim \frac{2\sin(\pi a)((1+z)/(1-z))^a}{((1+\sqrt{1-z^2})/z)^{2n+1}}$

Technique clé : Obtenir de nouvelles fractions continues dont la limite est un quotient gamma par un "décalage demi-entier" (remplacer n par n-1/2).

Deuxième Étape : Construction de Familles de Fractions Continues (Section 3)

Étude de familles de fractions continues de forme spécifique : $C = [[0, a_1, A(n-1)], [b_0, -K(Dn-1)(D(n-1)+1)]]$

Analyse de convergence (Proposition 3.1) :

• Soit R = (A + √(A² - 4KD²))/2, E = R²/(KD²)
• Lorsque A² - 4KD² > 0, la fraction continue converge
• Vitesse de convergence : L - p(n)/q(n) ~ C₁/E^n

Troisième Étape : Calcul des Limites (Sections 4-5)

Méthode Un : Représentation par Fonctions Hypergéométriques (Théorème 4.7) $L_0 = -K^{1/2}\frac{T_1}{T_0}\left(\frac{1}{2}, 1-\frac{1}{D}; \frac{1}{2}+\frac{A}{4DK^{1/2}}\right)$

où $T_n(a,b;z) = \frac{\Gamma(a+n)\Gamma(b+n)}{\Gamma(2a+2n)}(1/z)^{a+n} \cdot {}_2F_1(a+n, b+n; 2a+2n; 1/z)$

Méthode Deux : Théorie des Formes Modulaires (Section 5) Utilisation du Hauptmodul du groupe triangulaire (p,p,∞) et évaluation modulaire hypergéométrique :

• (3,3,∞) : $_2F_1(1/2, 5/6; 1; 1/(1-R_1(τ))) = (F_{1,-}^{1/2}/F_{1,+}^{1/3})(τ)$
• (4,4,∞) : $_2F_1(1/2, 3/4; 1; 1/(1-R_2(τ))) = (F_{2,-}^{1/2}/F_{2,+}^{1/4})(τ)$
• (6,6,∞) : $_2F_1(1/2, 2/3; 1; 1/(1-R_3(τ))) = (F_{3,-}^{1/2}/F_{3,+}^{1/6})(τ)$

Par le choix de points CM τ (tels que (2R_N(τ)-1)² soit rationnel), combiné avec la formule de Chowla-Selberg pour calculer la période fondamentale Ω(τ), on obtient des expressions explicites pour les limites des fractions continues.

Points d'Innovation Technique

1. Application Systématique de la Technique de Décalage Demi-Entier : Dérivation systématique de fractions continues pour les quotients gamma à partir de fractions continues de nombres algébriques en remplaçant n par n-1/2 dans la fraction continue de Laguerre.
2. Récurrence de Type Apéry : La récurrence clé a la forme $(n+B)v_{n+1} = Znv_n + K(B-n)v_{n-1}$ dont les coefficients sont uniquement des fonctions linéaires de n (plutôt que des fonctions quadratiques générales), ce qui rend possible l'analyse des dénominateurs.
3. Formules Explicites (Théorème 7.1) : Fourniture d'expressions précises pour les termes convergents p(n)/q(n), impliquant des sommes hypergéométriques tronquées : $P_n = \sum_{j=0}^{\lfloor n/2\rfloor} (-1)^j K^{n-j}(Z/K)^{n-2j}\frac{(n-j)!}{(n-2j)!}\sum_{i=0}^j \frac{(-1)^i(n-i)!}{i!^2(j-i)!}\Lambda_i$
4. Bornes de Dénominateurs Optimisées : Introduction de d*_D(n) remplaçant le d_D(n) naïf = lcm(Dj+1), en excluant les nombres premiers p satisfaisant certaines conditions (ensemble P_n), améliorant significativement l'estimation des dénominateurs.

Configuration Expérimentale

Sources de Données

Cet article est un travail mathématique purement théorique, les "expériences" se référant principalement à :

1. Vérification numérique : Utilisation de calculs haute précision pour vérifier la convergence des fractions continues vers les quotients gamma attendus
2. Énumération de valeurs CM : Basée sur la classification complète dans 2, totalisant 44 valeurs CM rationnelles
3. Identification OEIS : Utilisation de l'Encyclopédie en Ligne des Suites d'Entiers pour identifier les coefficients numériques

Indicateurs d'Évaluation

• Vitesse de convergence E : log|E|/2 détermine la rapidité de convergence
• Taux de croissance des dénominateurs m*_D : Asymptotiquement log(d_D(n)) ~ m_D · n
• Mesure d'irrationalité μ(L) : Peut être obtenue lorsque log|E|/2 > m*_D

Paramètres Clés

• m*_2 = 2
• m*_3 = 3 - π/(2√3) ≈ 2.093
• m*_4 = 4 - π/2 ≈ 2.429
• m*_6 = 6 - π√3/2 ≈ 3.279

Résultats Expérimentaux

Résultats Principaux (Théorème 6.2)

Meilleures mesures d'irrationalité :

• μ(CS(-163)) < 2.477 (la plus proche de la valeur optimale 2)
• μ(CS(-232)) < 2.652
• μ(CS(-267)) < 2.869
• μ(CS(-67)) < 3.002

Valeurs Spéciales Importantes :

• μ(CS(-3)) < 5.548 (première preuve rigoureuse, meilleure que le résultat numérique 13.418)
• μ(CS(-7)) < 5.283
• μ(12^(1/4)CS(-4)) < 25.733

Corollaires :

• μ(Γ(1/3)/Γ(2/3)) < 16.644

Exemples de Fractions Continues

Fraction continue à convergence rapide pour CS(-3) (étiquette 1.4) : $CS(-3) = [[0, 31, 1012(n-1)], [240, -(6n-1)(6n-5)]]$

Vitesse de convergence : E = (16 + 5√10)⁴/36 ≈ 28446.4, c'est-à-dire $CS(-3) - \frac{p(n)}{q(n)} \sim \frac{3^{3/2}CS(-3)}{(16+5\sqrt{10})^{4n}6^{-2n}}$

Fraction continue pour CS(-7) (étiquette 1.5) : $CS(-7) = [[324, 10773, \frac{10773}{2}(n-1)], [3570, -84(6n-1)(6n-5)]]$

Analyse de Complétude

• Parmi les 44 valeurs CM rationnelles, 39 produisent des fractions continues convergentes
• Parmi celles-ci, 20 convergent suffisamment rapidement pour obtenir une mesure d'irrationalité
• Les 19 restantes convergent mais log|E|/2 ≤ m*_D, ne permettant pas d'obtenir de mesure
• 5 fractions continues divergent (A² - 4KD² < 0)

Étude de Cas : Valeur CM pour z = 128/3

Pour τ = (-3 + 3√(-3))/2, on a 1 - R₁(τ) = 128/3. En choisissant Ω(τ) = e^(iπ/4)η(τ)² :

Résultats de Calcul :

• Ω = 3^(-19/12)Γ(1/3)/Γ(2/3)²
• R₁ = -125/3
• $_2F_1(1/2, 5/6; 1; 3/128) = 2^{25/6}3^{-3/2}5^{-1}\frac{\Gamma(1/3)}{\Gamma(2/3)^2}$

Par le calcul de la dérivée de Serre et les propriétés de modularité pour $_2F_1(3/2, 11/6; 3; 3/128)$, on prouve finalement que la fraction continue converge vers CS(-3).

Travaux Connexes

Méthodes Classiques pour les Mesures d'Irrationalité

1. Mesure π de Mahler : Première utilisation de méthodes intégrales
2. ζ(3) et π² d'Apéry : Utilisation de fractions continues, mais réinterprétées ultérieurement comme intégrales par Beukers
3. Mesure π de Zeilberger-Zudilin : Actuellement la meilleure, utilisant des constructions hypergéométriques

Travaux Connexes sur la Fonction Gamma

• Chudnovsky 5 et Nesterenko 14,17 : Preuve de la transcendance de CS(D)
• Bruiltet 3 : Bornes énormes pour Γ(1/3) et Γ(1/4) (non pratiques)
• Dougherty-Bliss et al. 12 : Mesure numérique de CS(-3) (non rigoureusement prouvée)

Formes Modulaires et Fonctions Hypergéométriques

• Formule de Fricke : $_2F_1(1/12, 7/12; 1; 1728/(1728-j(τ))) = E_6^{1/6}(τ)$
• Beukers-Cohen 2 : Hauptmodul des groupes triangulaires arithmétiques et classification des valeurs CM
• Cohen-Guillera 9 : Identités hypergéométriques rationnelles de Ramanujan pour 1/π

Relation de cet Article avec les Travaux Connexes

• Méthode similaire à 19 (travail récent du deuxième auteur) mais appliquée à des problèmes différents
• Lié aux fractions continues pour CS(-3)², CS(-4)² dans 10 (autre travail des auteurs) mais plus systématique
• Première preuve rigoureuse et raisonnable de mesures d'irrationalité pour les quotients gamma

Conclusions et Discussion

Conclusions Principales

1. Première preuve rigoureuse : Fourniture des premières mesures d'irrationalité rigoureuses et raisonnables pour 20 quotients gamma
2. Innovation méthodologique : Démonstration que la méthode des fractions continues est dans certains cas supérieure aux méthodes intégrales/de séries traditionnelles
3. Complétude théorique : Fourniture d'un cadre théorique complet pour les familles de fractions continues de forme spécifique
4. Optimalité des résultats : Les preuves numériques suggèrent que les bornes de dénominateurs sont asymptotiquement optimales, rendant difficile l'amélioration des mesures d'irrationalité

Limitations

1. Restriction aux formes spéciales : La méthode s'applique uniquement aux fractions continues où a(n) est de degré 1 et b(n) de degré 2
2. Restriction des valeurs D : Traitement uniquement du cas D ∈ {2, 3, 4, 6}
3. Finitude des valeurs CM : La finitude des valeurs CM rationnelles limite les discriminants traitables
4. Certaines valeurs manquantes : CS(-4), CS(-8), CS(-88) n'apparaissent que sous forme de multiples algébriques
5. Absence de mesure pour CS(-11) : Bien qu'une fraction continue convergente existe, la convergence n'est pas suffisamment rapide

Directions Futures

1. Groupes triangulaires compacts : Exploration des groupes triangulaires arithmétiques compacts (p,q,r), potentiellement via des formes automorphes sur les courbes de Shimura pour obtenir plus d'exemples
2. Fractions continues plus profondes : Étude de fractions continues avec degrés plus élevés pour a(n) et b(n), comme les fractions continues pour CS(-3)², CS(-4)², CS(-8)² mentionnées dans l'article : $(2^{1/3}CS(-3))^2 = [[72, 33, 40n^2+2], [648, -9(2n+1)^4]]$
3. Connexion avec 1/π² : Exploration de la relation avec les formules hypergéométriques rationnelles, pouvant potentiellement produire des fractions continues pour les carrés de 15 valeurs CS
4. Analogues p-adiques : La formule de Gross-Koblitz est la version p-adique de la formule de Chowla-Selberg, permettant potentiellement le développement d'une théorie parallèle
5. Représentations intégrales : Recherche de représentations intégrales ou de séries utiles pour les quotients gamma

Évaluation Approfondie

Points Forts

1. Percée Majeure : Première obtention de mesures d'irrationalité rigoureuses et pratiques pour les quotients gamma, comblant une lacune importante dans ce domaine
2. Originalité Méthodologique :
   • L'application de la méthode des fractions continues aux mesures d'irrationalité est extrêmement rare
   • L'application systématique de la technique de décalage demi-entier est innovante
   • Le cadre combinant la théorie des formes modulaires et l'analyse arithmétique est élégant
3. Complétude Théorique :
   • Formation d'une boucle fermée complète de la construction des fractions continues au calcul des limites et à la délimitation des dénominateurs
   • Fourniture de formules explicites (Théorème 7.1) plutôt que de simples résultats d'existence
   • Énumération complète de toutes les valeurs CM possibles (Tableau 1)
4. Profondeur Technique :
   • L'identification et l'utilisation de la récurrence de type Apéry reflètent une perspicacité profonde
   • L'optimisation des dénominateurs (d*_D(n)) via un criblage fin des nombres premiers améliore significativement les résultats
   • La preuve technique du Lemme 7.4 démontre une grande maîtrise
5. Clarté de la Rédaction :
   • La section 1.2 avec l'exemple motivant guide excellemment le lecteur
   • Le calcul détaillé de CS(-3) (section 6.1) aide à la compréhension
   • L'organisation des tableaux est claire et facile à consulter

Insuffisances

1. Portée d'Application Limitée :
   • Applicable uniquement aux fractions continues de formes spécifiques et aux valeurs D
   • Pas de voie de généralisation évidente aux quotients gamma généraux
   • Seulement 20 mesures obtenues parmi 44 valeurs CM
2. Certains Résultats Insatisfaisants :
   • μ(12^(1/4)CS(-4)) < 25.733 est trop grand
   • μ(CS(-51)) < 2598.5 est pratiquement inutile
   • Écart persistant avec la valeur théorique optimale 2
3. Explication Théorique Insuffisante :
   • Pourquoi ces valeurs CM spécifiques produisent-elles des fractions continues à convergence rapide ?
   • La raison profonde du décalage demi-entier n'est pas suffisamment clarifiée
   • Les connexions possibles avec les formes modulaires de Hilbert sont seulement brièvement mentionnées
4. Détails de Calcul :
   • Certaines dérivations (comme le Théorème 7.1) sont qualifiées de "faciles à vérifier" mais sont en réalité complexes
   • La précision et la méthode de vérification numérique ne sont pas détaillées
   • Les valeurs spécifiques des constantes C₁, C₂ ne sont pas données
5. Généralisation p-adique :
   • Bien que la direction p-adique soit proposée, aucune approche concrète n'est donnée
   • L'application de la formule de Gross-Koblitz n'est pas claire

Impact

1. Contribution Théorique :
   • Ouverture d'une nouvelle direction pour l'étude des quotients gamma via les fractions continues
   • Démonstration que dans certains problèmes de nombres transcendants, les fractions continues surpassent les méthodes intégrales
   • Fourniture d'une nouvelle application pour les méthodes de type Apéry
2. Valeur Pratique :
   • Les mesures d'irrationalité ont des applications en approximation diophantienne
   • Les formules de fractions continues elles-mêmes peuvent être utilisées pour le calcul numérique haute précision
   • La méthode peut potentiellement être généralisée à d'autres valeurs de fonctions spéciales
3. Reproductibilité :
   • Les dérivations théoriques sont détaillées et vérifiables
   • Les Tableaux 1 et 2 fournissent des données complètes
   • Bien que 2 ne soit pas publié, les auteurs peuvent le fournir
4. Recherches Ultérieures :
   • Déjà inspiré les travaux ultérieurs 19 du deuxième auteur
   • Forme une série de recherches avec 10
   • Fournit un modèle pour la direction des groupes triangulaires compacts

Domaines d'Application

1. Recherche en Théorie des Nombres :
   • Transcendance et indépendance algébrique en théorie des nombres transcendants
   • Théorie de l'approximation diophantienne
   • Propriétés arithmétiques des valeurs spéciales
2. Théorie des Formes Modulaires :
   • Applications de la théorie CM
   • Évaluation des fonctions hypergéométriques modulaires
   • Étude des groupes triangulaires arithmétiques
3. Mathématiques Computationnelles :
   • Calcul haute précision des quotients gamma
   • Implémentation d'algorithmes de fractions continues
   • Vérification numérique des valeurs de fonctions spéciales
4. Domaines Connexes :
   • Peut inspirer des travaux sur les périodes des courbes elliptiques et variétés abéliennes
   • Peut être pertinent pour les intégrales de Feynman en théorie quantique des champs
   • Peut avoir des applications aux fonctions génératrices en combinatoire

Références (Références Clés)

2 F. Beukers and H. Cohen, Arithmetic Triangle Groups, Hauptmoduln, Complex Multiplication, and Hypergeometric Functions (en préparation) - Fournit la base de la classification des valeurs CM

5 G.V. Chudnovsky (1976) - Preuve de l'indépendance algébrique de CS(D)

10 H. Cohen and W. Zudilin (2025), Variations on a theme of Apéry - Recherche connexe sur les fractions continues de type Apéry

12 R. Dougherty-Bliss, Ch. Koutschan and D. Zeilberger (2022) - Mesure numérique de CS(-3)

14 Yu.V. Nesterenko (1996) - Formes modulaires et problèmes de transcendance

19 W. Zudilin (2025), Linear independence measures for Chowla–Selberg periods - Travail connexe du deuxième auteur

Évaluation Générale : Cet article est un travail remarquable en théorie des nombres, réalisant une percée majeure sur le problème longtemps en suspens des mesures d'irrationalité pour les quotients gamma. La méthode est novatrice, la théorie est complète, et les résultats sont significatifs. Bien que la portée d'application soit limitée, les résultats atteignent une optimalité quasi-maximale dans leur domaine d'application. L'article démontre une profonde intégration des fractions continues, des formes modulaires, des fonctions hypergéométriques et de l'analyse arithmétique, fournissant une contribution méthodologique précieuse aux domaines connexes. Les recherches ultérieures devraient se concentrer sur la généralisation à des cas plus généraux et les connexions avec d'autres branches des mathématiques.