Integral Representations of Three Novel Multiple Zeta Functions for Barnes Type: A Probabilistic Approach

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie analytique des nombres, plus spécifiquement dans l'étude des fonctions zêta multiples. Les auteurs visent à généraliser la fonction zêta de Barnes (une extension multidimensionnelle de la fonction zêta de Riemann et de Hurwitz) en introduisant trois nouvelles variantes basées sur des distributions de probabilité hyperboliques.

Le problème central réside dans la recherche de représentations intégrales pour ces nouvelles fonctions zêta afin d'étudier leur prolongement analytique. Bien que la fonction zêta de Barnes classique $\zeta_B(s)$ soit connue pour être une fonction méromorphe avec des pôles simples aux entiers $s = 1, 2, \dots, r$, les auteurs cherchent à déterminer si des variantes modifiées peuvent posséder des propriétés d'holomorphie plus fortes (c'est-à-dire être des fonctions entières) sur tout le plan complexe $\mathbb{C}$.

2. Méthodologie

L'approche adoptée par les auteurs est probabiliste, s'appuyant sur les travaux de Pitman et Yor concernant les distributions hyperboliques. La méthodologie se décompose en plusieurs étapes clés :

• Définition de nouvelles fonctions : Les auteurs définissent trois fonctions zêta multiples basées sur des moments hyperboliques :

  1. $S_{\alpha,a}(s; b)$ : Fonction de moment hyperbolique sinh.
  2. $C_{\alpha,a}(s; b)$ : Fonction de moment hyperbolique cosh.
  3. $T_{\alpha,a}(s; b)$ : Fonction de moment hyperbolique tanh.
     Ces définitions impliquent des sommes multiples sur des indices entiers, pondérées par des coefficients binomiaux généralisés et des termes d'espérance mathématique impliquant des variables aléatoires uniformes.

• Utilisation de variables aléatoires hyperboliques : L'article introduit trois variables aléatoires indépendantes $\hat{S}_t, \hat{C}_t, \hat{T}_t$ (distributions sinh, cosh et tanh hyperboliques) dont les fonctions caractéristiques sont respectivement $(\frac{\theta}{\sinh \theta})^t$, $(\frac{1}{\cosh \theta})^t$ et $(\frac{\tanh \theta}{\theta})^t$.

• Transformation intégrale et identité Gamma : La preuve repose sur l'identité de la fonction Gamma $\Gamma(s) = \int_0^\infty x^{s-1}e^{-x}dx$. Les auteurs multiplient les séries définissant les fonctions zêta par $\Gamma(s)$, convertissent les termes en intégrales de Laplace, et utilisent les développements en série binomiale pour réexprimer les sommes infinies sous forme d'espérances mathématiques impliquant les variables aléatoires hyperboliques.

• Théorème de Fubini et Lemmes d'analyse : En appliquant le théorème de Fubini pour échanger l'ordre d'intégration et de sommation, ils établissent des représentations intégrales de la forme $E[(c + iY)^{-s}]$. L'analyse de la convergence et de l'holomorphie repose sur le Lemme 3, qui stipule que la transformation intégrale $h_X(s; c) = E[(c + iX)^{-s}]$ est une fonction entière pour toute variable aléatoire $X$ ayant des moments de tous ordres.

3. Résultats Principaux

Les résultats sont formalisés dans trois théorèmes majeurs, accompagnés de plusieurs corollaires qui relient ces nouvelles fonctions aux fonctions zêta classiques.

A. Fonction de moment sinh-multiple ($S_{\alpha,a}$)

• Représentation : La fonction $S_{\alpha,a}(s; b)$ admet une représentation intégrale impliquant la somme pondérée de variables aléatoires de type sinh.
• Propriété analytique : Elle se prolonge en une fonction méromorphe sur $\mathbb{C}$.
• Pôles : Si le paramètre $\beta = \sum \alpha_j$ est un entier positif, les pôles sont simples et situés en $s = 1, 2, \dots, \beta$. Si $\beta$ n'est pas un entier, les pôles sont situés en $\beta - n$ pour certains entiers $n$.
• Généralisation : Lorsque tous les $\alpha_j = 1$, cette fonction se réduit à la fonction zêta de Barnes classique $\zeta_B(s)$.

B. Fonction de moment cosh-multiple ($C_{\alpha,a}$)

• Représentation : Basée sur des variables aléatoires de type cosh.
• Résultat Surprenant : Contrairement à la fonction de Barnes classique, la fonction $C_{\alpha,a}(s; b)$ se prolonge analytiquement en une fonction entière (holomorphe sur tout $\mathbb{C}$). Il n'y a aucun pôle.
• Cas particuliers :
  • Pour $r=1$, cela donne une fonction zêta alternée $\zeta_C(s)$ qui est entière.
  • Pour $r=2$, cela généralise à une fonction zêta double alternée $\zeta_{C2}(s)$, également entière.

C. Fonction de moment tanh-multiple ($T_{\alpha,a}$)

• Représentation : Basée sur des variables aléatoires de type tanh et impliquant des espérances sur des variables uniformes.
• Résultat Surprenant : Tout comme la fonction cosh, la fonction $T_{\alpha,a}(s; b)$ se prolonge en une fonction entière sur $\mathbb{C}$.
• Cas particuliers : Pour $r=1$, cela donne une fonction zêta $\zeta_T(s)$ qui est entière.

4. Contributions Clés

1. Introduction de trois nouvelles familles de fonctions zêta : Les auteurs définissent rigoureusement les fonctions $S, C, T$ qui généralisent la fonction de Barnes.
2. Approche Probabiliste Innovante : L'utilisation des distributions hyperboliques (sinh, cosh, tanh) de Pitman et Yor pour obtenir des représentations intégrales est une contribution méthodologique significative. Cela permet de transformer des problèmes de théorie des nombres en problèmes d'analyse probabiliste.
3. Découverte de Fonctions Entières : La découverte la plus notable est que les variantes "cosh" et "tanh" de la fonction zêta de Barnes sont des fonctions entières. Cela contraste fortement avec la fonction zêta de Barnes standard qui possède des pôles. Ce résultat est décrit comme "quelque peu surprenant" par les auteurs.
4. Unification des cas classiques : Les corollaires montrent que les fonctions zêta de Hurwitz, de Riemann, et les versions multiples classiques émergent naturellement comme cas limites ou cas particuliers de ces nouvelles constructions.

5. Signification et Impact

Cet article est significatif pour plusieurs raisons :

• Extension du domaine d'analyticité : Il démontre qu'en modifiant légèrement la structure pondératrice d'une fonction zêta multiple (via des coefficients binomiaux négatifs ou des espérances), on peut éliminer les singularités (pôles) et obtenir des fonctions entières. Cela ouvre de nouvelles perspectives pour l'étude des valeurs spéciales de ces fonctions.
• Outils pour l'Analyse Numérique et Théorique : Les représentations intégrales fournies offrent de nouveaux outils pour le calcul numérique de ces fonctions et pour l'étude de leurs propriétés asymptotiques.
• Interdisciplinarité : Le travail renforce le lien entre la théorie analytique des nombres et la théorie des probabilités, en particulier l'analyse des processus stochastiques infinis divisibles (infinitely divisible processes).

En résumé, Lin et Hu réussissent à généraliser la fonction zêta de Barnes en utilisant des distributions de probabilité spécifiques, révélant que certaines de ces généralisations possèdent des propriétés d'holomorphie supérieures à celles de la fonction originale, ce qui constitue une avancée notable dans la compréhension des fonctions zêta multiples.