On the series expansion of k-free Dirichlet series and its analytical continuation

Aquí presento un resumen técnico detallado del artículo "On the series expansion of k-free Dirichlet series and its analytical continuation" de Artur Kawalec, estructurado según los puntos solicitados.

1. Problema y Contexto

El artículo aborda la generalización de resultados previamente obtenidos para la serie de Dirichlet libre de cuadrados ($k=2$) al caso general de números $k$-libres (números enteros que no son divisibles por ninguna $k$-ésima potencia perfecta, para $k \geq 2$).

El objeto de estudio principal es la función generadora de los números $k$-libres:
$$\frac{\zeta(s)}{\zeta(ks)} = \sum_{n=1}^{\infty} \frac{\mu^{(k)}(n)}{n^s}$$
donde $\mu^{(k)}(n)$ es la función indicadora de los números $k$-libres (1 si $n$ es $k$-libre, 0 en caso contrario), definida mediante la función de Möbius $\mu(n)$.

El problema central consiste en:

1. Desarrollar esta serie en una serie de Laurent alrededor del polo en $s=1$.
2. Derivar fórmulas para los coeficientes de la parte regular de dicha expansión.
3. Investigar una continuación analítica alternativa de la serie más allá de su región de convergencia original ($\Re(s) > 1$).
4. Obtener fórmulas explícitas para los valores de la función Zeta de Riemann en puntos negativos o fraccionarios específicos, específicamente $\zeta(1/k)$.

2. Metodología

El autor emplea una combinación de teoría analítica de números y cálculo de integrales de Stieltjes:

• Función de Conteo Asintótica: Se define la función de conteo $Q_k(x) = \sum_{n \leq x} \mu^{(k)}(n)$. Se utiliza la aproximación asintótica $Q_k(x) \sim \frac{x}{\zeta(k)}$, descomponiendo la función en su parte principal y un término de error $f_k(x) = O(x^{1/k})$ (o $O(x^{1/2k})$ bajo la Hipótesis de Riemann).
• Integración de Stieltjes: Se aplica integración por partes a la serie de Dirichlet transformada en una integral de Stieltjes con respecto a $Q_k(t)$. Esto permite separar la contribución del término principal (que genera el polo) del término de error (que genera la parte regular).
• Desarrollo de Series de Potencias: Se expande la integral resultante en serie de potencias alrededor de $s=1$, identificando los coeficientes $\gamma_{M,k}^n$ mediante límites de sumas parciales ponderadas por logaritmos.
• Diferenciación y Límites: Para obtener los valores de $\zeta(1/k)$, el autor deriva la expresión de la continuación analítica y evalúa los límites cuando $x \to \infty$, explotando el comportamiento asintótico cerca de los polos y ceros de la función.

3. Contribuciones Clave

A. Fórmula de Límite Logarítmico Generalizada (Teorema 1)

El artículo generaliza la fórmula descubierta por Wolf para el caso $k=2$ a cualquier $k \geq 2$. Se demuestra que los coeficientes $\gamma_{M,k}^n$ de la parte regular de la serie de Laurent:
$$\frac{\zeta(s)}{\zeta(ks)} = \frac{1}{\zeta(k)(s-1)} + \sum_{n=0}^{\infty} \frac{\gamma_{M,k}^n}{n!} (s-1)^n$$
están dados por el límite:
$$\gamma_{M,k}^n = \lim_{x \to \infty} (-1)^n \left( \sum_{j=1}^{\lfloor x \rfloor} \frac{\mu^{(k)}(j) \log^n(j)}{j} - \frac{\log^{n+1}(x)}{\zeta(k)(n+1)} \right)$$

B. Constantes Generalizadas de Euler ($\gamma_{M,k}$)

Para el caso $n=0$, se define una constante análoga a la constante de Euler-Mascheroni ($\gamma$) para los números $k$-libres:
$$\gamma_{M,k} = \lim_{x \to \infty} \left( \sum_{n \leq x} \frac{\mu^{(k)}(n)}{n} - \frac{1}{\zeta(k)} \log x \right)$$
El autor proporciona una fórmula cerrada para esta constante en términos de la derivada de la función Zeta:
$$\gamma_{M,k} = \frac{\gamma}{\zeta(k)} - \frac{k \zeta'(k)}{\zeta(k)^2}$$
Además, se observa numéricamente que $\lim_{k \to \infty} \gamma_{M,k} = \gamma$, ya que a medida que $k$ crece, la densidad de números $k$-libres se aproxima a 1.

C. Continuación Analítica y Fórmulas para $\zeta(1/k)$

Se establece una fórmula de continuación analítica válida para $\Re(s) > \frac{1}{2k}$ (asumiendo la Hipótesis de Riemann):
$$\frac{\zeta(s)}{\zeta(ks)} = \lim_{x \to \infty} \left( \sum_{n \leq x} \frac{\mu^{(k)}(n)}{n^s} - \frac{x^{1-s}}{\zeta(k)(1-s)} \right)$$
Utilizando esta relación cerca del polo en $s = 1/k$ (donde $\zeta(ks)$ tiene un polo), el autor deriva fórmulas convergentes para calcular $\zeta(1/k)$:
$$\zeta\left(\frac{1}{k}\right) = \lim_{x \to \infty} \left( -\frac{1}{k} \sum_{n \leq x} \frac{\mu^{(k)}(n)(\log n + \frac{k}{k-1})}{n^{1/k}} + \frac{1}{\zeta(k)(k-1)} x^{1-1/k} \log x \right)$$

4. Resultados Numéricos y Observaciones

El artículo incluye cálculos de alta precisión (30 decimales) para los coeficientes $\gamma_{M,k}^n$ y las constantes $\gamma_{M,k}$ para $k$ desde 2 hasta 11.

• Tabla de Constantes: Se muestra cómo $\gamma_{M,k}$ disminuye a medida que $k$ aumenta, convergiendo hacia $\gamma \approx 0.5772$. Por ejemplo, $\gamma_{M,2} \approx 1.0439$ y $\gamma_{M,11} \approx 0.5807$.
• Coeficientes de Orden Superior: Se presentan tablas con los primeros 10 coeficientes $\gamma_{M,k}^n$ para $k=2,3,4,5$, calculados mediante diferenciación numérica de la función.
• Comportamiento Oscilatorio: Las gráficas de las fórmulas para $\zeta(1/k)$ (para $k=2,3,4,5$) muestran que las sumas parciales oscilan alrededor del valor verdadero. Aunque la amplitud de las oscilaciones disminuye a medida que $x$ aumenta, la convergencia es lenta y el "ruido" es significativo, lo que requiere un tratamiento cuidadoso en aplicaciones numéricas.

5. Significado e Impacto

Este trabajo es significativo por varias razones:

1. Generalización Teórica: Extiende resultados conocidos sobre series libres de cuadrados a un marco general $k$-libre, unificando la teoría de funciones Zeta y series de Dirichlet asociadas a restricciones de divisibilidad.
2. Nuevas Constantes: Introduce y caracteriza numéricamente una nueva familia de constantes ($\gamma_{M,k}$) que actúan como análogos de la constante de Euler para diferentes densidades de números libres de potencias.
3. Herramientas Computacionales: Proporciona fórmulas explícitas para calcular valores de la función Zeta en puntos críticos ($1/k$) que son difíciles de evaluar directamente mediante métodos estándar, ofreciendo una vía alternativa basada en sumas parciales de funciones aritméticas.
4. Conexión con la Hipótesis de Riemann: La validez de las fórmulas de continuación analítica y los límites de error dependen de la Hipótesis de Riemann, vinculando el comportamiento de estas series con la distribución de los ceros no triviales de $\zeta(s)$.

En resumen, el artículo ofrece un marco analítico robusto para estudiar las propiedades asintóticas y de continuación analítica de las series de Dirichlet asociadas a números $k$-libres, proporcionando tanto resultados teóricos rigurosos como datos numéricos de alta precisión.