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

Probleemstelling

Het artikel richt zich op de studie van meervoudige zeta-functies (Multiple Zeta Functions, MZF) en hun varianten, specifiek wanneer alle argumenten identiek zijn (d.w.z. van de vorm $(s, s, \dots, s)$). De klassieke Riemann-zetafunctie $\zeta(s)$ is een diepte-1 geval, terwijl meervoudige zeta-functies $\zeta_r(s_1, \dots, s_r)$ diepere structuren hebben.

De hoofdvragen die het artikel adresseert zijn:

1. Hoe kunnen deze functies bij identieke argumenten, genoteerd als $\zeta_r(s)$, $\zeta_r^\star(s)$, $t_r(s)$ en $t_r^\star(s)$, expliciet worden uitgedrukt als polynomen in termen van de standaard Riemann-zetafunctie $\zeta(s)$?
2. Wat is de exacte structuur van de coëfficiënten in deze polynomen?
3. Kunnen er nieuwe functionele relaties worden gevonden tussen de verschillende varianten (de gewone, de "star"-varianten, en de $t$-varianten)?
4. Wat zijn de specifieke waarden van deze functies bij kritieke punten zoals $s=0$ en $s=2k$?

Hoewel eerdere werken (zoals die van Matsumoto, Matsusaka en Tanackov) de existentie van dergelijke polynoomrelaties hadden aangetoond, ontbrak een expliciete, gesloten vorm voor de coëfficiënten.

Methodologie

De kern van de methodologie is het gebruik van compleet Bell-polynomen (Complete Bell Polynomials) en hun relatie met symmetrische functies en de harmonische producten (stuffle product).

1. Recursieve Relaties: De auteur begint met de bekende recursieve formules die voortvloeien uit de Newton-identiteiten voor symmetrische functies. Voor de diepte-$r$ functies gelden relaties zoals:
   $$r\zeta_r(s) = \sum_{j=1}^r (-1)^{j-1} \zeta_{r-j}(s)\zeta(js)$$
   en analoog voor de star-varianten zonder het minteken.

2. Genererende Functies en Bell-polynomen: De auteur definieert formele machtreeksen en gebruikt de differentiaalvergelijkingen die uit de recursies volgen om de oplossingen te koppelen aan de genererende functie van de Bell-polynomen.

   • De oplossing van de differentiaalvergelijking $p'(x) = \pm p(x)q(x)/x$ leidt tot een exponentiële vorm.
   • Door deze vorm te vergelijken met de definitie van de genererende functie van de volledige Bell-polynomen $Y_n$, kan de oplossing worden uitgedrukt als een Bell-polynoom.

3. Expliciete Coëfficiënten: In plaats van de coëfficiënten als abstracte rationale getallen te laten, identificeert de auteur ze expliciet met waarden van de volledige Bell-polynomen $Y_r$. Dit maakt het mogelijk om de polynoomexpansie te schrijven als een som over partities van het getal $r$.

Belangrijkste Bijdragen en Resultaten

1. Expliciete Polynoomrepresentaties (Stellingen 1 en 2)

De belangrijkste bijdrage is het afleiden van expliciete formules voor $\zeta_r(s)$ en $\zeta_r^\star(s)$ (en hun $t$-varianten) in termen van $\zeta(s), \zeta(2s), \dots, \zeta(rs)$.

• Voor $\zeta_r(s)$:
  $$\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! \cdots r^{c_r}c_r!} \zeta(s)^{c_1} \zeta(2s)^{c_2} \cdots \zeta(rs)^{c_r}$$
• Voor $\zeta_r^\star(s)$:
  De formule is identiek, maar zonder het teken $(-1)^{r + \sum c_i}$ (alle termen zijn positief).

Deze formules tonen aan dat de coëfficiënten direct gerelateerd zijn aan de Bell-polynomen, wat een volledige beschrijving van de structuur biedt.

2. Nieuwe Functionele Relaties (Stelling 3)

De auteur leidt een nieuwe relatie af tussen de gewone $t$-functies, de star-functies en de gewone zeta-functies. Voor $s > 1$:
$$t_r(s) = \sum_{j=0}^r \frac{(-1)^{r-j}}{2^{(r-j)s}} \zeta_j(s) \zeta_{r-j}^\star(s)$$
Dit verbindt de vier verschillende typen functies ($\zeta, \zeta^\star, t, t^\star$) op een elegante manier via een sommatie.

3. Analyse van Singulariteiten (Opmerking 1)

Met behulp van de nieuwe formule (10) wordt een korte en directe afleiding gegeven voor de singulariteiten van $\zeta_r(s)$.

• De functie heeft enkel polaire singulariteiten bij $s = 1/k$ voor $1 \le k \le r$.
• De orde van de pool bij $s = 1/k$ is $[r/k]$ (het grootste gehele getal $\le r/k$).
• De leidende coëfficiënt in de Laurent-ontwikkeling wordt expliciet berekend.

4. Speciale Waarden bij $s=0$ en $s=2k$

• Bij $s=2k$: De formules bevestigen dat $\zeta_r(2k)$ en $\zeta_r^\star(2k)$ rationale veelvouden zijn van $\pi^{2rk}$, en geven een uitdrukking in termen van Bernoulli-getallen en Bell-polynomen.
• Bij $s=0$: Dit is een significant nieuw resultaat.
  • Voor de $t$-varianten geldt: $t_r(0) = t_r^\star(0) = 0$.
  • Voor de zeta-varianten zijn de waarden niet-nul rationale getallen:
    $$\zeta_r(0) = \frac{(-1)^r}{4^r} \binom{2r}{r}$$
    $$\zeta_r^\star(0) = -\frac{1}{r 2^{2r-1}} \binom{2r-2}{r-1}$$
    De auteur toont ook de asymptotisch gedrag van deze waarden aan voor grote $r$.

Significantie

Deze paper is significant voor de volgende redenen:

1. Unificatie: Het biedt een unificerend raamwerk voor het begrijpen van meervoudige zeta-functies bij identieke argumenten door gebruik te maken van de theorie van Bell-polynomen.
2. Expliciete Coëfficiënten: Het lost het probleem op van het "onbekend" zijn van de coëfficiënten in eerdere werken door ze te koppelen aan bekende combinatorische objecten (Bell-polynomen en Stirling-getallen).
3. Nieuwe Identiteiten: De afgeleide relatie tussen $t_r$, $t_r^\star$, $\zeta_r$ en $\zeta_r^\star$ (Stelling 3) is een nieuw wiskundig resultaat dat eerder niet zo expliciet was vastgelegd.
4. Toegang tot Specifieke Waarden: De methode maakt het mogelijk om exacte waarden bij $s=0$ te berekenen, wat een gebied is waar minder onderzoek naar is gedaan dan bij positieve gehele getallen. De resultaten tonen aan dat deze waarden niet triviaal zijn (in tegenstelling tot de $t$-varianten die nul zijn).

Kortom, het artikel transformeert een complex analytisch probleem naar een combinatorisch probleem dat oplosbaar is met gevestigde wiskundige hulpmiddelen, waardoor nieuwe inzichten en exacte formules mogelijk worden.