Fonction zêta de Mordell--Tornheim : formules de type limite de Kronecker et valeurs spéciales

Informations fondamentales

• ID de l'article : 2510.10093
• Titre : Fonction zêta de Mordell--Tornheim : formules de type limite de Kronecker et valeurs spéciales
• Auteurs : Sumukha Sathyanarayana, N. Guru Sharan
• Classification : math.NT (Théorie des nombres)
• Date de publication : 11 octobre 2025 (soumission arXiv)
• Lien de l'article : https://arxiv.org/abs/2510.10093

Résumé

Cet article établit des formules de type limite de Kronecker pour la fonction zêta de Mordell-Tornheim généralisée $\Theta(r,s,t,x)$ par rapport à la troisième variable, exprimées en termes de valeurs de la fonction zêta de Riemann et de la fonction Gamma. L'article fournit également des représentations en séries de $\Theta(r,s,t,x)$ utilisant des fonctions de type Herglotz-Zagier et leurs dérivées. En application, nous dérivons des formules de type limite de Kronecker par rapport à la deuxième variable et une nouvelle famille infinie de relations modulaires appelées équations fonctionnelles mixtes. Nous étudions également les zéros, les valeurs spéciales et les singularités de cette fonction lorsque tous les paramètres $r,s,t$ sont égaux, ce qui s'appuie sur les résultats antérieurs de Romik.

Contexte et motivation de la recherche

Contexte du problème

1. Fonction zêta de Mordell-Tornheim : La fonction zêta classique de Mordell-Tornheim est définie par $\zeta_{MT}(r,s,t) := \sum_{n=1}^{\infty}\sum_{m=1}^{\infty} \frac{1}{n^r m^s (n+m)^t}$
2. Forme généralisée : Cet article étudie sa forme généralisée $\Theta(r,s,t,x) := \sum_{n=1}^{\infty}\sum_{m=1}^{\infty} \frac{1}{n^r m^s (n+mx)^t}$ où $x > 0$, et clairement $\Theta(r,s,t,1) = \zeta_{MT}(r,s,t)$
3. Importance de la recherche :
   • La fonction zêta de Mordell-Tornheim entretient des liens étroits avec la fonction zêta de Witten et les fonctions zêta multiples
   • Elle possède des applications importantes en théorie des algèbres de Lie, en particulier pour la fonction zêta de Witten associée au groupe $SU(3)$
   • Les formules de limite de Kronecker occupent une position fondamentale en théorie analytique des nombres
4. Limitations actuelles :
   • Le comportement de cette fonction au voisinage des singularités reste largement inexploré
   • Absence de formules systématiques de type limite de Kronecker
   • Compréhension incomplète des valeurs spéciales et des zéros

Contributions principales

1. Établissement de formules de type limite de Kronecker : Fournit des formules complètes de type limite de Kronecker pour $\Theta(r,s,t,x)$ par rapport à la troisième variable $t$
2. Dérivation de représentations en séries : Expression de $\Theta(r,s,t,x)$ à l'aide de fonctions de type Herglotz-Zagier
3. Obtention d'équations fonctionnelles mixtes : Découverte d'une nouvelle famille infinie de relations modulaires appelées équations fonctionnelles mixtes
4. Analyse complète des cas particuliers : Étude systématique des zéros, valeurs spéciales et singularités de $\Theta(s,s,s,x)$
5. Généralisation des résultats de Romik : Extension des résultats de Romik sur la fonction zêta de Witten à des cas plus généraux

Explication détaillée des méthodes

Définition de la tâche

Étudier les propriétés analytiques de la fonction zêta de Mordell-Tornheim généralisée $\Theta(r,s,t,x)$, en particulier :

• Les développements de Laurent au voisinage des singularités
• L'établissement de formules de type limite de Kronecker
• Le calcul des valeurs spéciales
• La découverte d'équations fonctionnelles

Méthodes principales

1. Méthode de la transformée de Mellin

Utilisation de la transformée de Mellin et des propriétés de la fonction polylogarithme $\text{Li}_r(z) = \sum_{u=1}^{\infty} \frac{z^u}{u^r}$ pour établir une représentation intégrale :

Proposition 2.1 : Pour $r \notin \mathbb{N}$, on a $\frac{1}{\Gamma(t)}\int_0^{\infty} y^{t-1}\text{Li}_s(e^{-xy})\left(\text{Li}_r(e^{-y}) - \Gamma(1-r)y^{r-1} - \sum_{k=0}^M \frac{(-1)^k\zeta(r-k)y^k}{k!}\right)dy$$= \Theta(r,s,t,x) - \frac{\Gamma(1-r)\Gamma(t+r-1)}{x^{t+r-1}\Gamma(t)}\zeta(t+s+r-1) - \sum_{k=0}^M \frac{(-1)^k\zeta(r-k)\Gamma(t+k)}{k!x^{t+k}\Gamma(t)}\zeta(t+k+s)$

2. Méthode de décomposition en fractions partielles

Lemme 3.1 : Pour $r,t \in \mathbb{N}\cup\{0\}$ et $r+t \geq 1$, on a la décomposition en fractions partielles : $\frac{1}{n^r(n+y)^t} = (-1)^r\sum_{j=0}^{t-1}\binom{j+r-1}{j}\frac{1}{y^{j+r}(n+y)^{t-j}} + \sum_{i=0}^{r-1}\binom{i+t-1}{i}\frac{(-1)^i}{n^{r-i}y^{t+i}}$

3. Techniques de prolongement analytique

Traitement systématique de diverses situations de singularités par analyse de la structure des pôles de la fonction Gamma et du développement de Laurent de la fonction zêta.

Points d'innovation technique

1. Classification systématique des cas : Analyse détaillée selon les différentes valeurs des paramètres (entiers vs non-entiers, positifs vs négatifs, etc.)
2. Coefficients de Laurent précis : Calcul non seulement de la partie principale mais aussi des coefficients explicites du développement de Laurent
3. Cadre de traitement unifié : Intégration de différents types de singularités dans un cadre analytique unifié
4. Nouvelles équations fonctionnelles : Découverte d'équations fonctionnelles mixtes contenant des dérivées de la fonction $\psi$ et des nombres harmoniques

Résultats principaux

Formules de type limite de Kronecker

Théorème 2.3 (Cas de la troisième variable)

Pour $r \in \mathbb{Z}\setminus\mathbb{N}$ et $\ell \in \mathbb{N}\cup\{0\}$, au voisinage de $t = 1-r-\ell$ :

Cas I ($s \notin \mathbb{Z}$ ou $s > r+\ell$ et $s \neq \ell+1$) : $\Theta(r,s,t,x) = \frac{(-1)^{r-1}(r+\ell-1)!x^{\ell}(-r)!\zeta(s-\ell)}{\ell!} + \sum_{k=0}^{r+\ell-1}\frac{(r+\ell-1)!\zeta(r-k)\zeta(-r+s-\ell+k+1)}{x^{1-r-\ell+k}k!(r+\ell-k-1)!} + O(|t-(1-r-\ell)|)$

Cas II ($s = \ell+1$) : $\Theta(r,s,t,x) = \frac{(-1)^{r-1}(-r)!x^{\ell}(r+\ell-1)!}{\ell!(t-(1-r-\ell))} + \text{terme constant} + O(|t-(1-r-\ell)|)$

Théorème de représentation en séries

Théorème 3.2

Pour $r,t \in \mathbb{N}\cup\{0\}$ et $r+t \geq 1$ : $\Theta(r,s,t,x) = \sum_{i=0}^{r-2}\frac{(-1)^i}{x^{t+i}}\binom{i+t-1}{i}\zeta(s+t+i)\zeta(r-i)$$- \frac{(-1)^r}{x^{r+t-1}}\binom{r+t-2}{t-1}\sum_{m=1}^{\infty}\frac{\gamma + \psi(mx+1)}{m^{r+s+t-1}}$$+ (-1)^r\sum_{j=0}^{t-2}\binom{j+r-1}{j}\frac{(-1)^{t-j}}{(t-j-1)!}\frac{1}{x^{j+r}}\sum_{m=1}^{\infty}\frac{\psi^{(t-j-1)}(mx+1)}{m^{r+s+j}}$

Équations fonctionnelles mixtes

Théorème 3.3

En définissant une fonction $F(x)$, on obtient l'équation fonctionnelle : $F(x) = x^{-t}F\left(\frac{1}{x}\right)$

Par exemple, lorsque $r=s=2, t=0$, on obtient : $-\sum_{m=1}^{\infty}\frac{\psi'(mx+1)}{m^2} + \sum_{m=1}^{\infty}\frac{\psi'(m/x+1)}{m^2} + \frac{2}{x}\sum_{m=1}^{\infty}\frac{\gamma + \psi(mx+1)}{m^3} = \zeta^2(2)$

Valeurs spéciales et zéros

Théorème 4.1

Pour les entiers non-négatifs $j$ :

1. Cas impair : $\Theta(-j,-j,-j,x)_{L1} = 0$ (lorsque $j$ est impair)
2. Cas pair : Lorsque $j$ est pair, $\Theta(-j,-j,-j,x)_{L1} = -\frac{(j!)^2}{2(2j+1)!}(x^{2j+1} + x^{-j-1})\zeta(-3j-1) + \sum_{k=0}^j\binom{j}{k}x^{j-k}\zeta(-j-k)\zeta(-2j+k)$

Théorème 4.2 (Structure des singularités)

Les singularités de la fonction $\Theta(s,s,s,x)$ se situent exactement en :

• $s = \frac{2}{3}$ : pôle simple, résidu égal à $\frac{\Gamma^3(1/3)}{2\sqrt{3}\pi x^{1/3}}$
• $s = \frac{1}{2} - j$ ($j \in \mathbb{N}\cup\{0\}$) : pôles simples

Vérification expérimentale

Vérification numérique

L'article vérifie les résultats théoriques par des calculs concrets, par exemple :

1. Vérification des valeurs spéciales :
   • $\Theta(0,0,0,x)_{L1} = \frac{1+6x+x^2}{24x}$
   • $\Theta(0,0,0,1)_{L1} = \frac{1}{3}$ (vérification du résultat de Romik)
2. Comparaison de différentes méthodes de limite :
   • $\Theta(0,0,0,x)_{L2} = \frac{2+6x+2x^2}{24x}$
   • $\Theta(0,0,0,1)_{L2} = \frac{5}{12}$ (vérification du résultat de Komori)

Travaux connexes

Développement historique

1. Formules de limite de Kronecker : Connectées par Siegel à la théorie des fonctions L, avec des contributions importantes de Hecke, Herglotz, Zagier et autres
2. Fonction de Mordell-Tornheim : Prolongement analytique donné par Matsumoto, recherches récentes de Matsumoto-Onodera-Sahoo sur les cas d'ordre supérieur
3. Fonction zêta de Witten : Introduite par Zagier, étudiée en détail par Romik pour le cas $SU(3)$

Unicité de la contribution de cet article

1. Systématicité : Première classification complète des formules de type limite de Kronecker
2. Innovation technique : Nouvelle méthode combinant transformée de Mellin et décomposition en fractions partielles
3. Largeur d'application : Des formules théoriques aux calculs concrets, des équations fonctionnelles aux valeurs spéciales

Conclusion et discussion

Conclusions principales

1. Établissement d'une théorie complète des formules de type limite de Kronecker pour la fonction zêta de Mordell-Tornheim généralisée
2. Découverte d'une nouvelle famille d'équations fonctionnelles mixtes, enrichissant la théorie des équations fonctionnelles dans ce domaine
3. Analyse systématique des propriétés analytiques du cas particulier $\Theta(s,s,s,x)$
4. Généralisation et approfondissement des résultats classiques existants

Limitations

1. Complexité de calcul : Le calcul des termes d'ordre supérieur du développement de Laurent reste complexe
2. Généralité : Certains résultats sont restreints à des plages de paramètres spécifiques
3. Zéros non-triviaux : La distribution des zéros autres que ceux aux entiers négatifs reste partiellement incomprise

Directions futures

L'article propose plusieurs directions de recherche importantes :

1. Limites multivariables : Étude du comportement en tant que fonction de trois variables complexes
2. Équations fonctionnelles : Recherche d'équations fonctionnelles analogues à celle de la fonction zêta de Riemann
3. Zéros non-triviaux : Étude des propriétés plus profondes de la distribution des zéros
4. Généralisation à dimensions supérieures : Considération de fonctions zêta de Witten plus générales

Évaluation approfondie

Points forts

1. Complétude théorique : Fournit un cadre théorique systématique et complet
2. Profondeur technique : Utilise plusieurs techniques avancées de théorie analytique des nombres
3. Précision des calculs : Fournit non seulement des résultats qualitatifs mais aussi des expressions quantitatives précises
4. Valeur applicative : Les équations fonctionnelles mixtes découvertes fournissent de nouveaux outils pour les recherches connexes

Insuffisances

1. Complexité de l'exposition : La classification extensive des cas rend l'exposition des résultats relativement complexe
2. Vérification numérique limitée : Les vérifications numériques sont relativement limitées, concentrées principalement sur les cas simples
3. Problèmes de généralisation : La généralisation de certaines méthodes techniques nécessite une vérification supplémentaire

Impact

1. Contribution théorique : Apporte des progrès importants à la théorie de la fonction zêta de Mordell-Tornheim
2. Innovation méthodologique : Les méthodes techniques ont une valeur pédagogique pour les recherches connexes
3. Perspectives d'application : Applications potentielles dans les domaines des fonctions zêta multiples, des formes modulaires et autres

Domaines d'application

Cette recherche s'applique à :

1. L'étude des fonctions spéciales en théorie analytique des nombres
2. L'analyse théorique des fonctions zêta multiples
3. Les problèmes de physique mathématique liés aux algèbres de Lie
4. La théorie des formes modulaires et des formes automorphes

Références bibliographiques

L'article cite 24 références importantes, couvrant des formules classiques de limite de Kronecker à la théorie moderne des fonctions zêta multiples, reflétant la profondeur et l'ampleur de la recherche. Les principales contributions proviennent des travaux fondateurs de Matsumoto, Zagier, Romik et autres.