Explicit Evaluations of Euler Sums Involving Harmonic Numbers with Rational Arguments

Resumen Técnico: Evaluaciones Explícitas de Sumas de Euler que Involucran Números Armónicos con Argumentos Racionales

Planteamiento del Problema
El artículo aborda la evaluación de una clase específica de sumas de Euler de cuatro parámetros que contienen números armónicos generalizados con argumentos racionales. El objeto principal de estudio es la serie infinita:
$$\sum_{k=1}^{\infty} \frac{a^k H^{(p)}_{k/n}}{k^q}$$
donde $p, n \in \mathbb{Z}_{\ge 1}$, $q \in \mathbb{Z}_{\ge 2}$, $a = \pm 1$, y $p+q$ es impar. Aquí, $H^{(p)}_{k/n}$ denota el número armónico generalizado de orden $p$ evaluado en el argumento racional $k/n$.

Este trabajo está motivado por una identidad conocida establecida por Sofo [11, Corolario 2.4] para el caso $a=1$, que expresa tales sumas en términos de otras sumas de Euler y productos de valores de la función zeta de Riemann. Si bien el caso específico $n=2$ ya había sido evaluado previamente en forma cerrada, y las sumas internas que aparecen en la identidad de Sofo habían sido resueltas recientemente [7], quedaba pendiente la derivación de una expresión de forma cerrada general para la clase más amplia de sumas con argumentos racionales arbitrarios $k/n$ y signos alternantes ($a=-1$) dentro de un marco unificado.

Metodología
El autor emplea una combinación de descomposición en fracciones parciales, manipulación de series y representaciones integrales para derivar los resultados principales. La metodología procede a través de los siguientes pasos:

1. Descomposición en Fracciones Parciales: El Lema 1 establece una identidad de fracciones parciales para el término $\frac{1}{k^q(k+nj)^p}$. Esto permite la separación del denominador en componentes más simples que involucran potencias de $k$ y $(k+nj)$.
2. Transformación de Series: El número armónico generalizado $H^{(p)}_{k/n}$ se expresa mediante su representación de serie infinita que involucra la función zeta de Riemann: $H^{(p)}_{k/n} = \zeta(p) - \sum_{j=1}^{\infty} \frac{1}{(j+k/n)^p}$. La sustitución de esto en la suma principal transforma el problema en una doble sumatoria.
3. Aplicación de Lemas:
   • El Lema 2 proporciona una evaluación para sumas de la forma $\sum \frac{a^k}{(k+n)^p}$ en términos de la función polilogaritmo $\text{Li}_p(a)$ y números armónicos con signos alternantes.
   • El Lema 3 (citado de [7, Corolario 1]) proporciona una evaluación en forma cerrada para las sumas de Euler específicas $\sum \frac{a^k H^{(p)}_{nk,b}}{k^q}$, que aparecen como términos intermedios en la derivación.
4. Intercambio de Sumatoria: Mediante el intercambio del orden de la sumatoria y la aplicación de los lemas, la suma compleja original se descompone en una combinación lineal de polilogaritmos, la transcedente de Lerch $\Phi$ y productos de funciones zeta.
5. Derivación Integral: El Teorema 2 conecta estos resultados de series con una integral logarítmica relacionada que involucra la función polilogaritmo, utilizando la representación integral de los números armónicos.

Contribuciones y Resultados Clave

• Teorema 1: El artículo deriva una expresión en forma cerrada para la suma de Euler general $\sum_{k=1}^{\infty} \frac{a^k H^{(p)}_{k/n}}{k^q}$. El resultado se expresa en términos de:

  • La función polilogaritmo $\text{Li}_s(z)$.
  • La trascendente de Lerch $\Phi(z, s, t)$.
  • La función zeta de Riemann $\zeta(s)$.
  • La función zeta de Hurwitz (implícitamente a través de la trascendente de Lerch).
  • La fórmula involucra sumas finitas sobre coeficientes binomiales e índices $r$ y $\ell$.

• Corolarios:

  • Corolario 1 ($a=1$): La fórmula derivada reduce exactamente a la identidad de Sofo [11], validando la nueva generalización.
  • Corolario 2 ($a=-1$): El artículo proporciona evaluaciones explícitas para sumas de Euler alternantes. Estos resultados se especializan aún más para casos donde $n$ es par y donde $n$ es impar, introduciendo la función eta de Dirichlet $\eta(s)$ y la función lambda de Dirichlet $\lambda(s)$.

• Teorema 2: Se obtiene una evaluación en forma cerrada para la integral logarítmica:
  $$\int_0^1 \frac{\ln^{p-1}(x) \text{Li}_q(ax)}{x(1-x^n)} dx$$
  Se muestra que este resultado está directamente relacionado con las sumas de Euler derivadas en el Teorema 1.

• Ejemplos Explícitos: La Sección 4 proporciona evaluaciones concretas para parámetros enteros específicos $(p, q, n)$. Estos ejemplos demuestran que las fórmulas generales se reducen a combinaciones de valores zeta (por ejemplo, $\zeta(3), \zeta(5), \zeta(7)$), productos de funciones zeta y valores de la función zeta de Hurwitz con argumentos racionales (por ejemplo, $\zeta(s, 1/3), \zeta(s, 1/5)$).

Significado y Pretensiones
El artículo pretende proporcionar un marco unificado para evaluar una amplia clase de sumas de Euler que anteriormente solo se comprendían parcialmente o estaban restringidas a parámetros específicos ($n=1$ o $n=2$). Al expresar estas sumas en términos del polilogaritmo y la trascendente de Lerch, el trabajo demuestra que son reducibles a funciones especiales estándar (funciones zeta de Riemann y de Hurwitz) bajo elecciones de parámetros admisibles.

El autor señala que las fórmulas derivadas son adecuadas para la implementación computacional, proporcionando convenciones específicas de Mathematica (por ejemplo, establecer $\text{Li}_1(1)=0$ y $\text{Li}_0(1)=-1/2$) para manejar singularidades y asegurar que las fórmulas funcionen correctamente en software de computación simbólica. El trabajo no propone nuevas aplicaciones experimentales, sino que extiende el panorama teórico de las sumas de Euler y sus conexiones con las integrales polilogarítmicas.