A note on the multiple zeta functions and their variants at identical arguments

1. Il Problema e il Contesto

L'articolo si concentra sullo studio delle funzioni zeta multiple (MZF) e delle loro varianti principali (funzioni zeta-star, funzioni $t$ e funzioni $t$-star) quando gli argomenti sono identici, ovvero del tipo $(s, s, \dots, s)$.
Sebbene le funzioni zeta multiple $\zeta_r(s_1, \dots, s_r)$ siano state studiate estesamente negli ultimi decenni, con particolare attenzione ai loro valori speciali a interi positivi, la loro descrizione esplicita in termini di funzioni zeta di Riemann $\zeta(s)$ a argomenti identici rimane un problema complesso.
L'obiettivo specifico è:

• Fornire una descrizione esplicita dei coefficienti che esprimono queste funzioni come polinomi in $\zeta(s), \zeta(2s), \dots, \zeta(rs)$.
• Analizzare le singolarità di queste funzioni.
• Stabilire relazioni funzionali tra le diverse varianti ($\zeta, \zeta^\star, t, t^\star$) a argomenti identici.
• Calcolare i valori speciali a $s=0$ e a interi negativi.

2. Metodologia

Il cuore metodologico dell'articolo risiede nell'utilizzo delle polinomi di Bell completi ($Y_n$) e dei polinomi di Bell parziali ($B_{n,k}$).
L'autore sfrutta le relazioni di ricorrenza note (derivate dal prodotto armonico o "stuffle product") per le funzioni zeta multiple:

• Per $\zeta_r(s)$ e $t_r(s)$: $r \zeta_r(s) = \sum_{j=1}^r (-1)^{j-1} \zeta_{r-j}(s) \zeta(js)$.
• Per $\zeta^\star_r(s)$ e $t^\star_r(s)$: $r \zeta^\star_r(s) = \sum_{j=1}^r \zeta^\star_{r-j}(s) \zeta(js)$.

Queste relazioni di ricorrenza vengono mappate sulle identità che definiscono i polinomi di Bell. In particolare, l'autore utilizza la funzione generatrice esponenziale dei polinomi di Bell completi per risolvere le equazioni differenziali lineari di primo ordine che emergono dalle relazioni di ricorrenza, permettendo di esprimere le funzioni zeta multiple come combinazioni lineari di prodotti di funzioni zeta di Riemann con coefficienti espliciti.

3. Contributi Chiave e Risultati Principali

A. Formule Esplicite tramite Polinomi di Bell

Il contributo principale è la derivazione di formule chiuse per le funzioni zeta multiple a argomenti identici.

• Teorema 1: Fornisce un'espressione esplicita per $\zeta_r(s)$ e $t_r(s)$ come somma su partizioni di interi, i cui coefficienti sono dati dai valori dei polinomi di Bell completi.
  $$\zeta_r(s) = \sum_{\substack{c_1, \dots, c_r \ge 0 \\ c_1 + 2c_2 + \dots + rc_r = r}} \frac{(-1)^{r + \sum c_i}}{1^{c_1}c_1! \dots r^{c_r}c_r!} \zeta(s)^{c_1} \zeta(2s)^{c_2} \dots \zeta(rs)^{c_r}$$
  Una formula analoga (con segno positivo) è data per le varianti "star" ($\zeta^\star_r$ e $t^\star_r$) nel Teorema 2.
  Questi risultati offrono una descrizione completa dei coefficienti razionali che erano precedentemente noti solo in forma implicita (come in Matsumoto et al.).

B. Relazioni Funzionali tra Varianti

Il Teorema 3 stabilisce una relazione funzionale nuova e sorprendente tra le funzioni $t$ e $t^\star$ e le funzioni zeta standard e star. Per $s > 1$:
$$t_r(s) = \sum_{j=0}^r \frac{(-1)^{r-j}}{2^{(r-j)s}} \zeta_j(s) \zeta^\star_{r-j}(s)$$
$$t^\star_r(s) = \sum_{j=0}^r \frac{(-1)^{r-j}}{2^{(r-j)s}} \zeta_{r-j}(s) \zeta^\star_{j}(s)$$
Questa relazione permette di calcolare i valori delle funzioni $t$ e $t^\star$ direttamente dalle funzioni $\zeta$ e $\zeta^\star$.

C. Analisi delle Singolarità

Utilizzando le formule ottenute, l'autore fornisce una prova diretta e concisa della struttura delle singolarità di $\zeta_r(s)$.

• Si dimostra che $\zeta_r(s)$ ha solo poli semplici o di ordine superiore in $s = 1/k$ per $1 \le k \le r$.
• L'ordine del polo in $s=1/k$ è esattamente $[r/k]$ (parte intera).
• Viene calcolato esplicitamente il coefficiente principale (residuo generalizzato) dello sviluppo di Laurent attorno a questi poli, recuperando e semplificando i risultati precedenti di Matsumoto, Matsusaka e Tanackov.

D. Valori Speciali a $s=0$ e Interi Negativi

L'articolo risolve il problema dei valori a $s=0$, un punto spesso trascurato o difficile da trattare:

• Risultato: $\zeta_r(0)$ e $\zeta^\star_r(0)$ sono numeri razionali non nulli, mentre $t_r(0) = t^\star_r(0) = 0$.
• Teorema (Corollario 1): Vengono fornite formule esatte in termini di coefficienti binomiali:
  $$\zeta_r(0) = \frac{(-1)^r}{4^r} \binom{2r}{r}, \quad \zeta^\star_r(0) = -\frac{1}{r 2^{2r-1}} \binom{2r-2}{r-1}$$
  Inoltre, viene analizzato il comportamento asintotico di questi valori per $r \to \infty$.

4. Significato e Impatto

L'articolo è significativo per diversi motivi:

1. Unificazione Teorica: Fornisce un quadro unificato per trattare diverse varianti delle funzioni zeta multiple (standard, star, $t$, $t$-star) utilizzando un unico strumento matematico (i polinomi di Bell).
2. Esplicitazione dei Coefficienti: Risolve il problema della determinazione esplicita dei coefficienti razionali nelle espansioni polinomiali delle MZF, che erano precedentemente noti solo in forma ricorsiva o implicita.
3. Nuove Relazioni: La relazione funzionale tra le funzioni $t$ e le funzioni zeta standard/star (Teorema 3) apre nuove strade per il calcolo dei valori speciali e per lo studio delle proprietà analitiche di queste funzioni.
4. Semplificazione delle Dimostrazioni: L'uso dei polinomi di Bell permette di derivare risultati complessi sulle singolarità e sui valori speciali con dimostrazioni più brevi e eleganti rispetto alle tecniche tradizionali.
5. Applicabilità: Le formule ottenute sono valide per le estensioni meromorfe delle funzioni su tutto il piano complesso, rendendole strumenti potenti per lo studio dei valori a interi non positivi.

In sintesi, il lavoro di Mehta trasforma la comprensione delle funzioni zeta multiple a argomenti identici da un insieme di relazioni ricorsive a una struttura algebrica esplicita e calcolabile, collegando profondamente la teoria dei numeri analitica con la combinatoria dei polinomi di Bell.