Explicit Evaluations of Euler Sums Involving Harmonic Numbers with Rational Arguments

Sintesi Tecnica: Valutazioni Esplicite di Somme di Euler che Coinvolgono Numeri Armonici con Argomenti Razionali

Enunciato del Problema
L'articolo affronta la valutazione di una specifica classe di somme di Euler a quattro parametri contenenti numeri armonici generalizzati con argomenti razionali. L'oggetto principale di studio è la serie infinita:
$$\sum_{k=1}^{\infty} \frac{a^k H^{(p)}_{k/n}}{k^q}$$
dove $p, n \in \mathbb{Z}_{\ge 1}$, $q \in \mathbb{Z}_{\ge 2}$, $a = \pm 1$, e $p+q$ è dispari. Qui, $H^{(p)}_{k/n}$ denota il numero armonico generalizzato di ordine $p$ valutato all'argomento razionale $k/n$.

Questo lavoro è motivato da un'identità nota stabilita da Sofo [11, Corollario 2.4] per il caso $a=1$, che esprime tali somme in termini di altre somme di Euler e prodotti di valori della funzione zeta di Riemann. Mentre il caso specifico $n=2$ era stato precedentemente valutato in forma chiusa, e le somme interne che compaiono nell'identità di Sofo erano state risolte di recente [7], una formulazione in forma chiusa generale per la classe più ampia di somme con argomenti razionali arbitrari $k/n$ e segni alternati ($a=-1$) non era stata ancora pienamente derivata in un quadro unificato.

Metodologia
L'autore impiega una combinazione di decomposizione in frazioni parziali, manipolazione di serie e rappresentazioni integrali per derivare i risultati principali. La metodologia procede attraverso i seguenti passaggi:

1. Decomposizione in Frazioni Parziali: Il Lemma 1 stabilisce un'identità di frazioni parziali per il termine $\frac{1}{k^q(k+nj)^p}$. Ciò consente di separare il denominatore in componenti più semplici che coinvolgono potenze di $k$ e $(k+nj)$.
2. Trasformazione delle Serie: Il numero armonico generalizzato $H^{(p)}_{k/n}$ è espresso utilizzando la sua rappresentazione in serie infinita che coinvolge la funzione zeta di Riemann: $H^{(p)}_{k/n} = \zeta(p) - \sum_{j=1}^{\infty} \frac{1}{(j+k/n)^p}$. Sostituendo questo nella somma principale, il problema si trasforma in una doppia sommatoria.
3. Applicazione dei Lemmi:
   • Il Lemma 2 fornisce una valutazione per le somme della forma $\sum \frac{a^k}{(k+n)^p}$ in termini della funzione polilogaritmo $\text{Li}_p(a)$ e dei numeri armonici generalizzati con segni alternati.
   • Il Lemma 3 (citato da [7, Corollario 1]) fornisce una valutazione in forma chiusa per le specifiche somme di Euler $\sum \frac{a^k H^{(p)}_{nk,b}}{k^q}$, che compaiono come termini intermedi nella derivazione.
4. Interscambio della Sommatoria: Intercambiando l'ordine di sommatoria e applicando i lemmi, la somma di Euler originale viene decomposta in una combinazione lineare di polilogaritmi, della funzione trascendente di Lerch e prodotti di funzioni zeta.
5. Derivazione Integrale: Il Teorema 2 collega questi risultati di serie a un integrale logaritmico correlato che coinvolge la funzione polilogaritmo, utilizzando la rappresentazione integrale dei numeri armonici.

Contributi Chiave e Risultati

• Teorema 1: L'articolo deriva un'espressione in forma chiusa per la somma di Euler generale $\sum_{k=1}^{\infty} \frac{a^k H^{(p)}_{k/n}}{k^q}$. Il risultato è espresso in termini di:

  • La funzione polilogaritmo $\text{Li}_s(z)$.
  • La funzione trascendente di Lerch $\Phi(z, s, t)$.
  • La funzione zeta di Riemann $\zeta(s)$.
  • La funzione zeta di Hurwitz (implicitamente tramite la trascendente di Lerch).
  • La formula coinvolge somme finite su coefficienti binomiali e indici $r$ e $\ell$.

• Corollari:

  • Corollario 1 ($a=1$): La formula derivata riduce esattamente l'identità di Sofo [11], validando la nuova generalizzazione.
  • Corollario 2 ($a=-1$): Il lavoro fornisce valutazioni esplicite per le somme di Euler alternate. Questi risultati sono ulteriormente specializzati per i casi in cui $n$ è pari e in cui $n$ è dispari, introducendo la funzione eta di Dirichlet $\eta(s)$ e la funzione lambda di Dirichlet $\lambda(s)$.

• Teorema 2: Si ottiene una valutazione in forma chiusa per l'integrale logaritmico:
  $$\int_0^1 \frac{\ln^{p-1}(x) \text{Li}_q(ax)}{x(1-x^n)} dx$$
  Si dimostra che questo risultato è direttamente correlato alle somme di Euler derivate nel Teorema 1.

• Esempi Espliciti: La Sezione 4 fornisce valutazioni concrete per specifici parametri interi $(p, q, n)$. Questi esempi dimostrano che le formule generali si riducono a combinazioni di valori zeta (ad esempio, $\zeta(3), \zeta(5), \zeta(7)$), prodotti di funzioni zeta e valori della funzione zeta di Hurwitz con argomenti razionali (ad esempio, $\zeta(s, 1/3), \zeta(s, 1/5)$).

Significato e Rivendicazioni
L'articolo sostiene di fornire un quadro unificato per la valutazione di una vasta classe di somme di Euler che erano precedentemente solo parzialmente comprese o ristrette a parametri specifici ($n=1$ o $n=2$). Esprimendo queste somme in termini di polilogaritmo e trascendente di Lerch, il lavoro dimostra che esse sono riducibili a funzioni speciali standard (funzioni zeta di Riemann e di Hurwitz) sotto ammissibili scelte di parametri.

L'autore osserva che le formule derivate sono adatte all'implementazione computazionale, fornendo convenzioni specifiche di Mathematica (ad esempio, impostando $\text{Li}_1(1)=0$ e $\text{Li}_0(1)=-1/2$) per gestire le singolarità e garantire che le formule funzionino correttamente nei software di calcolo simbolico. Il lavoro non propone nuove applicazioni sperimentali, ma estende il panorama teorico delle somme di Euler e delle loro connessioni con gli integrali polilogaritmici.