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

这是一份关于 Artur Kawalec 论文《On the series expansion of k-free Dirichlet series and its analytical continuation》（k-自由狄利克雷级数的级数展开及其解析延拓）的详细技术总结。

1. 研究背景与问题 (Problem)

本文旨在将作者之前在“无平方因子（square-free, $k=2$）”狄利克雷级数上的研究成果推广到一般的 $k$-自由（$k$-free） 情形（其中 $k \ge 2$ 为正整数）。

• 核心对象：研究由 $k$-自由数指示函数 $\mu^{(k)}(n)$ 定义的狄利克雷级数：
  $$\frac{\zeta(s)}{\zeta(ks)} = \sum_{n=1}^{\infty} \frac{\mu^{(k)}(n)}{n^s}$$
  其中 $\mu^{(k)}(n)$ 在 $n$ 不被任何 $k$ 次幂整除时为 1，否则为 0。该级数在 $\Re(s) > 1$ 时绝对收敛。
• 主要挑战：
  1. 推导该级数在极点 $s=1$ 处的洛朗级数（Laurent series）展开式，并给出正则部分系数的显式公式。
  2. 建立类似于 Stieltjes 常数的广义常数 $\gamma_{M,k}$ 的极限公式。
  3. 寻找该级数的另一种解析延拓形式，并推导 $\zeta(1/k)$ 的显式计算公式。

2. 方法论 (Methodology)

作者主要采用了以下数学工具和方法：

• 指示函数与莫比乌斯函数关系：利用 $\mu^{(k)}(n) = \sum_{d^k|n} \mu(d)$ 将 $k$-自由数与经典莫比乌斯函数联系起来。
• 计数函数与渐近分析：定义 $k$-自由计数函数 $Q_k(x) = \sum_{n \le x} \mu^{(k)}(n)$，利用其渐近行为 $Q_k(x) \sim \frac{x}{\zeta(k)}$ 以及误差项 $f_k(x) = Q_k(x) - \frac{x}{\zeta(k)}$ 的界限（在黎曼猜想假设下为 $O(x^{1/2k})$）。
• 斯蒂尔切斯积分（Stieltjes Integration）：
  • 通过将求和转化为积分 $\int dQ_k(t)$，分离出主项（与 $\frac{1}{\zeta(k)}$ 相关）和误差项。
  • 利用分部积分法处理对数项 $\log^m(t)$，从而导出系数 $\gamma_{M,k}^n$ 的积分表示。
• 级数展开与解析延拓：
  • 在 $s=1$ 处对 $\zeta(s)$ 和 $1/\zeta(ks)$ 进行泰勒展开，通过乘法得到洛朗级数系数。
  • 在 $s=1/k$ 处（分母 $\zeta(ks)$ 的极点）进行局部展开，结合极限过程推导 $\zeta(1/k)$ 的公式。
• 数值验证：使用高精度计算软件（如 Mathematica 或 Pari/GP）计算前 10 阶系数，并绘制收敛图验证公式的有效性。

3. 主要贡献与结果 (Key Contributions & Results)

A. 洛朗级数展开与系数公式 (Theorem 1)

作者证明了在 $s=1$ 处，级数 $\frac{\zeta(s)}{\zeta(ks)}$ 具有如下洛朗展开：
$$\frac{\zeta(s)}{\zeta(ks)} = \frac{1}{\zeta(k)(s-1)} + \sum_{n=0}^{\infty} \frac{\gamma_{M,k}^n}{n!} (s-1)^n$$
其中，正则部分的系数 $\gamma_{M,k}^n$ 由以下极限公式给出（推广了 Wolf 在 $k=2$ 时的结果）：
$$\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. 广义 $k$-自由欧拉常数 ($\gamma_{M,k}$)

针对 $n=0$ 的情况，定义了广义欧拉常数 $\gamma_{M,k}$：
$$\gamma_{M,k} = \lim_{x \to \infty} \left( \sum_{n \le x} \frac{\mu^{(k)}(n)}{n} - \frac{1}{\zeta(k)} \log x \right)$$
作者给出了其闭式表达：
$$\gamma_{M,k} = \frac{\gamma}{\zeta(k)} - \frac{k \zeta'(k)}{\zeta(k)^2}$$
其中 $\gamma$ 是欧拉 - 马斯刻若尼常数。

• 数值发现：计算了 $k=2$ 到 $11$的$\gamma_{M,k}$值。观察到随着$k \to \infty$，$\gamma_{M,k}$趋近于标准欧拉常数$\gamma$，因为$k$-自由数在$k$ 很大时几乎包含所有整数。

C. 解析延拓与 $\zeta(1/k)$ 的计算

作者利用斯蒂尔切斯积分推导了该级数在 $\Re(s) > \frac{1}{2k}$（假设黎曼猜想成立）区域的解析延拓公式：
$$\frac{\zeta(s)}{\zeta(ks)} = \lim_{x \to \infty} \left( \sum_{n \le x} \frac{\mu^{(k)}(n)}{n^s} - \frac{x^{1-s}}{\zeta(k)(1-s)} \right)$$
利用此公式，作者推导出了计算 $\zeta(1/k)$ 的新公式（$k \ge 2$）：
$$\zeta(1/k) = \lim_{x \to \infty} \left( -\frac{1}{k} \sum_{n \le 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)$$
该公式在 $s=1/k$ 处（分母极点）通过提取一阶项得到。

D. 数值结果

• 系数表：提供了 $k=2,3,4,5$ 时前 10 阶系数 $\gamma_{M,k}^n$ 的高精度数值（30 位小数）。
• 收敛性验证：绘制了 $\zeta(1/k)$ 公式随 $x$ 变化的图像（$k=2,3,4,5$）。结果显示序列围绕真实值 $\zeta(1/k)$ 振荡，且振幅随 $x$ 增大而缓慢衰减，验证了公式的正确性。

4. 意义与影响 (Significance)

1. 理论推广：成功将 $k=2$（无平方因子）的特殊结果推广到了任意整数 $k \ge 2$ 的一般情形，完善了 $k$-自由数理论在解析数论中的框架。
2. 新常数定义：引入了广义欧拉常数 $\gamma_{M,k}$，揭示了其与标准欧拉常数及黎曼 $\zeta$ 函数导数之间的深刻联系，并提供了高精度的数值表供后续研究参考。
3. 计算工具：提供了一种通过 $k$-自由数指示函数计算 $\zeta(1/k)$ 值的新方法。虽然收敛速度较慢（振荡衰减），但这为研究 $\zeta$ 函数在非整数点（特别是 $s < 1$）的值提供了新的解析视角和数值验证手段。
4. 解析延拓：明确了 $k$-自由狄利克雷级数的解析延拓区域（$\Re(s) > 1/2k$），并指出了其与黎曼猜想假设下误差项界限的关系。

综上所述，该论文通过严谨的解析推导和数值实验，系统地构建了 $k$-自由狄利克雷级数的展开理论，为理解 $k$-自由数的分布性质及其与 $\zeta$ 函数的关系提供了重要的理论依据和计算工具。