2025-11-17T21:37:13.259200

Equivalence criteria for the two--term functional equations for Herglotz--Zagier functions

Sathyanarayana, Sharan
We establish Kronecker limit type formula for the generalized Mordell-Tornheim zeta function $Θ(r,r,t,x)$ as a function of the third argument around $t=1-r$. We then show that the above Kronecker limit type formula is equivalent to the two-term functional equation for the higher Herglotz function obtained by Vlasenko and Zagier. We also show the equivalence between a previously known Kronecker limit type formula for $Θ(1,1,t,x)$ around $t=0$ and the two-term functional equation for the Herglotz-Zagier function obtained by Zagier. Using the theory of the Mordell-Tornheim zeta function, we obtain results of Ramanujan, Guinand, Zagier, and Vlasenko-Zagier as consequences, to further show that the Mordell-Tornheim zeta function lies centrally between many modular relations in the literature, thus providing the means to view them under one umbrella.
academic

Critères d'équivalence pour les équations fonctionnelles à deux termes des fonctions de Herglotz-Zagier

Informations fondamentales

  • ID de l'article : 2510.10088
  • Titre : Equivalence criteria for the two--term functional equations for Herglotz--Zagier functions
  • Auteurs : Sumukha Sathyanarayana, N. Guru Sharan
  • Classification : math.NT (Théorie des nombres)
  • Date de publication : 11 octobre 2025
  • Lien de l'article : https://arxiv.org/abs/2510.10088v1

Résumé

Cet article établit une formule de type limite de Kronecker pour la fonction zêta généralisée de Mordell-Tornheim Θ(r,r,t,x)\Theta(r,r,t,x) au voisinage du troisième paramètre t=1rt=1-r. Il est ensuite démontré que cette formule de type limite de Kronecker est équivalente à l'équation fonctionnelle à deux termes des fonctions de Herglotz d'ordre supérieur obtenue par Vlasenko et Zagier. L'article établit également l'équivalence entre la formule de type limite de Kronecker précédemment connue pour Θ(1,1,t,x)\Theta(1,1,t,x) au voisinage de t=0t=0 et l'équation fonctionnelle à deux termes de la fonction de Herglotz-Zagier obtenue par Zagier. Par la théorie de la fonction zêta de Mordell-Tornheim, l'auteur obtient comme corollaires les résultats de Ramanujan, Guinand, Zagier et Vlasenko-Zagier, démontrant en outre que la fonction zêta de Mordell-Tornheim occupe une position centrale dans de nombreuses relations de formes modulaires de la littérature, fournissant ainsi une méthode pour comprendre ces relations dans un cadre unifié.

Contexte et motivation de la recherche

1. Problème fondamental

Le problème fondamental que cette recherche vise à résoudre est d'établir la relation d'équivalence entre l'équation fonctionnelle à deux termes des fonctions de Herglotz-Zagier et la formule limite de Kronecker de la fonction zêta de Mordell-Tornheim.

2. Importance du problème

  • Unification théorique : Les relations de formes modulaires découvertes indépendamment par plusieurs mathématiciens éminents (Ramanujan, Guinand, Zagier, etc.) peuvent en réalité être comprises de manière unifiée dans le cadre de la fonction zêta de Mordell-Tornheim
  • Connexions profondes : Révèle les connexions mathématiques profondes entre les équations fonctionnelles et les formules limites apparemment sans rapport
  • Innovation méthodologique : Fournit une nouvelle perspective et des outils pour l'étude d'équations fonctionnelles similaires

3. Limitations des méthodes existantes

Dans la recherche traditionnelle, diverses relations de formes modulaires ont été étudiées indépendamment, manquant d'un cadre théorique unifié pour comprendre les connexions intrinsèques entre elles.

4. Motivation de la recherche

Inspirés par l'importance de la formule limite de Kronecker en théorie des nombres, les auteurs tentent d'établir un cadre théorique unifié par la fonction zêta de Mordell-Tornheim.

Contributions fondamentales

  1. Établissement d'une nouvelle formule de type limite de Kronecker : Pour l'expansion de la fonction zêta généralisée de Mordell-Tornheim Θ(r,r,t,x)\Theta(r,r,t,x) au voisinage de t=1rt=1-r
  2. Preuve du théorème d'équivalence : Établit la relation d'équivalence entre la formule limite de Kronecker et l'équation fonctionnelle à deux termes de la fonction de Herglotz-Zagier
  3. Cadre théorique unifié : Intègre les résultats classiques de Ramanujan, Guinand, Zagier et Vlasenko-Zagier dans un cadre unifié
  4. Relations de récurrence : Établit les formules de récurrence pour la fonction zêta généralisée de Mordell-Tornheim
  5. Contribution méthodologique : Fournit une nouvelle méthode pour étudier les relations de formes modulaires du point de vue de la fonction zêta de Mordell-Tornheim

Explication détaillée de la méthode

Définition de la tâche

Étude de la fonction zêta généralisée de Mordell-Tornheim : Θ(r,s,t,x):=n=1m=11nrms(n+mx)t\Theta(r,s,t,x) := \sum_{n=1}^{\infty}\sum_{m=1}^{\infty}\frac{1}{n^r m^s (n+mx)^t} concernant le prolongement analytique dans le plan complexe et le comportement asymptotique au voisinage de ses singularités.

Objets mathématiques fondamentaux

1. Fonction de Herglotz-Zagier

F(x):=n=1ψ(nx)log(nx)nF(x) := \sum_{n=1}^{\infty}\frac{\psi(nx) - \log(nx)}{n}ψ(x)=Γ(x)/Γ(x)\psi(x) = \Gamma'(x)/\Gamma(x) est la fonction digamma.

2. Fonctions de Herglotz d'ordre supérieur

Fr(x):=n=1ψ(nx)nrF_r(x) := \sum_{n=1}^{\infty}\frac{\psi(nx)}{n^r}

3. Propriétés de la fonction zêta généralisée de Mordell-Tornheim

  • Propriété de scission : Θ(r,s,t,x)=Θ(r1,s,t+1,x)+xΘ(r,s1,t+1,x)\Theta(r,s,t,x) = \Theta(r-1,s,t+1,x) + x\Theta(r,s-1,t+1,x)
  • Propriété d'inversion : Θ(r,s,t,x)=xtΘ(s,r,t,1/x)\Theta(r,s,t,x) = x^{-t}\Theta(s,r,t,1/x)

Théorèmes principaux

Théorème 1.1 (Nouvelle formule de type limite de Kronecker)

Pour x>0x > 0 et tout rN{1}r \in \mathbb{N} \setminus \{1\}, au voisinage de t=1rt = 1-r : Θ(r,r,t,x)=ζ(r)(1+xr1)t(1r)+xr1ζ(r)(γlog(x))+γζ(r)+xr1k=1r2(r1k)1xkζ(rk)ζ(k+1)+O(t(1r))\Theta(r,r,t,x) = \frac{\zeta(r)(1+x^{r-1})}{t-(1-r)} + x^{r-1}\zeta(r)(\gamma - \log(x)) + \gamma\zeta(r) + x^{r-1}\sum_{k=1}^{r-2}\binom{r-1}{k}\frac{1}{x^k}\zeta(r-k)\zeta(k+1) + O(|t-(1-r)|)

Théorème 1.2 (Théorème d'équivalence)

Pour tout entier r>1r > 1 et x>0x > 0 :

  1. L'équation fonctionnelle à deux termes (1.3) de F(x)F(x) est équivalente à la formule de type limite de Kronecker (1.19) de Θ(1,1,t,x)\Theta(1,1,t,x) au voisinage de t=0t=0
  2. L'équation fonctionnelle à deux termes (1.7) de Fr(x)F_r(x) est équivalente à la formule de type limite de Kronecker (1.20) de Θ(r,r,t,x)\Theta(r,r,t,x) au voisinage de t=1rt=1-r

Points d'innovation technique

1. Établissement des relations de récurrence

Par induction mathématique, on démontre : Θ(r,s,t,x)==0n(n)xΘ(rn+,s,t+n,x)\Theta(r,s,t,x) = \sum_{\ell=0}^{n}\binom{n}{\ell}x^{\ell}\Theta(r-n+\ell,s-\ell,t+n,x)

2. Méthode de représentation intégrale

Utilisation de la représentation intégrale de la fonction Gamma : 0yt1e(x+n)ydy=(x+n)tΓ(t)\int_0^{\infty}y^{t-1}e^{-(x+n)y}dy = (x+n)^{-t}\Gamma(t) combinée avec le développement asymptotique de la fonction polylogarithme.

3. Technique de prolongement analytique

Utilisation de la méthode de Mellin-Barnes pour prolonger analytiquement la fonction à l'ensemble du plan complexe et analyser la structure des singularités.

Configuration expérimentale

Méthodes de vérification mathématique

Cet article, en tant que recherche théorique mathématique pure, valide principalement les résultats par des preuves mathématiques rigoureuses :

  1. Méthode analytique : Utilisation d'outils d'analyse complexe, de transformations intégrales, etc.
  2. Théorie des fonctions spéciales : Application approfondie des propriétés des fonctions Gamma, zêta et polylogarithme
  3. Analyse asymptotique : Étude du comportement asymptotique des fonctions au voisinage des singularités

Stratégie de vérification

  • Vérification de la correction des nouvelles formules par des cas particuliers de résultats connus
  • Vérification de la cohérence par les symétries et relations de récurrence de la fonction
  • Comparaison avec les résultats classiques de la littérature

Résultats expérimentaux

Résultats principaux

1. Établissement du cadre unifié

Intégration réussie des résultats classiques suivants dans un cadre unifié :

  • Relations de formes modulaires de Ramanujan (1.10)
  • Équations fonctionnelles de Guinand (1.11) et (1.12)
  • Équation fonctionnelle à deux termes de Zagier (1.3)
  • Équation fonctionnelle d'ordre supérieur de Vlasenko-Zagier (1.7)

2. Preuve complète de l'équivalence

Établissement de l'équivalence complète entre la formule limite de Kronecker et l'équation fonctionnelle à deux termes par preuve bidirectionnelle.

3. Nouvelles relations de récurrence

Établissement d'une formule de récurrence générale pour la fonction zêta généralisée de Mordell-Tornheim, fournissant des outils pour les recherches ultérieures.

Découvertes théoriques

1. Confirmation de la position centrale

Démonstration que la fonction zêta de Mordell-Tornheim occupe une position centrale dans diverses relations de formes modulaires.

2. Révélation des connexions profondes

Révélation des connexions mathématiques profondes entre les équations fonctionnelles apparemment sans rapport.

3. Universalité de la méthode

Démonstration de l'universalité de l'étude des relations de formes modulaires du point de vue de la fonction zêta de Mordell-Tornheim.

Travaux connexes

Trajectoire du développement historique

  1. Formule limite de Kronecker : Établie par Kronecker pour les corps quadratiques imaginaires, puis généralisée par Hecke, Herglotz, Zagier et d'autres
  2. Fonction de Herglotz-Zagier : Étudiée initialement par Herglotz, Zagier a établi d'importantes équations fonctionnelles
  3. Fonction zêta de Mordell-Tornheim : Ses propriétés analytiques ont été étudiées par Matsumoto et d'autres
  4. Généralisations d'ordre supérieur : Vlasenko et Zagier ont étudié le cas d'ordre supérieur

Relation entre cet article et les travaux connexes

  • Continuité : S'appuie sur les travaux de Zagier, Vlasenko-Zagier et d'autres
  • Innovation : Établit pour la première fois les relations d'équivalence entre différentes théories
  • Unification : Fournit une perspective unifiée pour comprendre divers résultats classiques

Conclusion et discussion

Conclusions principales

  1. Établissement réussi de la relation d'équivalence entre l'équation fonctionnelle à deux termes des fonctions de Herglotz-Zagier et la formule limite de Kronecker de la fonction zêta de Mordell-Tornheim
  2. Fourniture d'un cadre théorique unifié pour comprendre les relations classiques de formes modulaires
  3. Fourniture de nouvelles méthodes et outils pour la recherche ultérieure de problèmes similaires

Limitations

  1. Champ d'application : Principalement orienté vers les types spécifiques de fonctions zêta et les équations fonctionnelles associées
  2. Exigences techniques : Nécessite une connaissance approfondie de l'analyse complexe et de la théorie des fonctions spéciales
  3. Complexité computationnelle : Les calculs concrets impliquent une analyse asymptotique complexe

Directions futures

  1. Généralisations d'ordre supérieur : Étude de formules limites de Kronecker plus générales
  2. Équations fonctionnelles à trois termes : Établissement d'une théorie similaire pour les équations à trois termes
  3. Extensions d'application : Application de la théorie à d'autres types de fonctions L et fonctions zêta

Évaluation approfondie

Avantages

  1. Profondeur théorique : Établit des connexions mathématiques profondes avec une valeur théorique importante
  2. Innovation méthodologique : Fournit une nouvelle perspective et des méthodes pour l'étude des équations fonctionnelles
  3. Force unificatrice : Unifie avec succès plusieurs résultats classiques apparemment indépendants
  4. Rigueur des preuves : Les preuves mathématiques sont complètes, rigoureuses et logiquement claires
  5. Clarté de l'exposition : La structure de l'article est rationnelle et l'expression mathématique est précise

Insuffisances

  1. Applications limitées : En tant que recherche théorique pure, les applications directes sont relativement limitées
  2. Seuil technique élevé : Nécessite une formation mathématique approfondie pour une compréhension complète
  3. Complexité computationnelle : L'analyse asymptotique impliquée dans les calculs concrets est relativement complexe

Impact

  1. Valeur académique : Fournit de nouveaux outils théoriques pour la théorie des nombres et la théorie des fonctions spéciales
  2. Contribution méthodologique : Démontre une méthode efficace pour unifier différentes théories mathématiques
  3. Signification inspirante : Fournit des idées et des méthodes pour l'étude d'autres problèmes similaires

Domaines d'application

  1. Recherche mathématique théorique : Particulièrement en théorie des nombres, analyse complexe et théorie des fonctions spéciales
  2. Étude des équations fonctionnelles : Fournit de nouvelles méthodes pour l'étude de diverses classes d'équations fonctionnelles
  3. Théorie des formes modulaires : Fournit un cadre unifié pour comprendre les relations de formes modulaires

Références bibliographiques

L'article cite 20 références importantes, couvrant les travaux classiques de Kronecker et Ramanujan jusqu'aux recherches contemporaines de Zagier et Vlasenko, reflétant la trajectoire du développement historique et l'état actuel de la recherche dans ce domaine.


Résumé : Ceci est un article mathématique théorique de haute qualité qui, en établissant des relations d'équivalence entre différentes théories mathématiques, fournit un cadre théorique unifié pour comprendre les relations classiques de formes modulaires. La valeur principale de l'article réside dans sa profondeur théorique et son innovation méthodologique, fournissant une base théorique importante et des outils de recherche pour les recherches ultérieures dans les domaines connexes.