A catalog of interesting and useful Lambert series identities

本文综述了拉马努金级数（Lambert series）生成函数的关键性质及其组合推广，并汇编了相关恒等式表，旨在为处理数论中乘性函数枚举及分区函数展开等问题提供一份实用的参考目录。

要点

这篇论文就像是一本**“数学界的乐高积木说明书”，专门介绍了一种叫做兰伯特级数（Lambert Series）**的神奇积木搭建法。

想象一下，你有一堆散乱的数字积木（数论中的各种函数），你想把它们搭成一座宏伟的城堡（生成函数）。兰伯特级数就是那种特殊的“万能胶水”，它能把这些零散的积木按照特定的规则粘在一起，瞬间变出令人惊叹的图案。

作者 Maxie Dion Schmidt 博士写这篇文档，就是为了给数学家们整理一份**“兰伯特积木使用大全”**。

以下是用大白话和比喻对这篇论文核心内容的解读：

1. 什么是兰伯特级数？（万能胶水）

在数学里，我们通常用“普通生成函数”来记录一串数字（比如把数字 $1, 2, 3$变成$1x + 2x^2 + 3x^3$）。
但兰伯特级数换了一种玩法。它的公式长这样：
$$\sum \frac{f(n)q^n}{1-q^n}$$
比喻：
想象 $q$ 是一个不断旋转的传送带。

• 普通生成函数是：传送带上每经过一个数字，你就把它直接拿下来放好。
• 兰伯特级数是：传送带上的数字 $n$ 不仅自己出现，还会带着它的“所有倍数分身”（$2n, 3n, 4n...$）一起出现。
• 这就好比你在整理书架，普通方法是把每本书按顺序放好；而兰伯特方法是你把书放上去后，自动复印出它所有“倍数版本”的书，堆在一起。
• 神奇之处： 这种“复印”过程，实际上是在计算约数和（Divisor Sums）。它能把复杂的乘法关系，瞬间转化成简单的加法关系。

2. 这篇论文主要讲了什么？（积木说明书）

作者并没有花太多时间去证明这些积木为什么不会塌（收敛性分析），而是专注于**“怎么搭”和“搭出来是什么”**（形式性质和恒等式）。

A. 基础积木（第 2 章）

这里列出了一堆经典的“配方”。

• 比如，如果你用莫比乌斯函数（$\mu$，一种用来筛选数字的“筛子”）做胶水，搭出来的结果会非常简洁，甚至直接变成 $q$。
• 如果你用欧拉函数（$\phi$，计算互质数的个数）做胶水，搭出来的结果就像是一个完美的平方公式。
• 比喻： 就像食谱书里说：“如果你用面粉（$\mu$）和水，做出来的就是面团（$q$）；如果你用酵母（$\phi$），做出来的就是面包（$\frac{q}{(1-q)^2}$）。”

B. 高级玩法：变形与拆解（第 1、3、4 章）

• 求导（微积分）： 就像把积木塔推倒再重新堆高。作者发现，如果你对兰伯特级数求导（改变斜率），它会自动变成另一种漂亮的形状（比如分母变成平方）。
• 正负号变换： 如果把公式里的减号变成加号（$1+q^n$），就像把积木的颜色从黑白变成彩色，会得到完全不同的图案（比如与雅可比 theta 函数，也就是描述波动和波形的函数有关）。
• 分拆数（Partition）： 兰伯特级数和“把整数拆分成不同部分”的方法（分拆数）有着血缘关系。就像把一块大蛋糕切分成小块，兰伯特级数能告诉你有多少种切法。

C. 复杂的组合技（第 5 章）

这是论文最硬核的部分，讲的是**“狄利克雷卷积”**。

• 比喻： 想象你有两个不同的积木组（函数 $f$ 和 $g$）。普通的加法是把它们并排放在一起。但“狄利克雷卷积”是把它们交叉编织在一起（$f$ 的每个部分都要和 $g$ 的对应部分结合）。
• 作者展示了：如果你用这种“交叉编织”后的新积木去搭兰伯特级数，会发生什么？
• 结果： 往往能得到更深层的数学秘密。比如，它能把素数（Prime numbers）的分布规律，或者最大公约数（GCD）的统计规律，直接显现在公式里。
• 这就好比：你原本只是在搭普通的房子，现在你用了“交叉编织”的钢筋，直接搭出了一座能预测天气（素数分布）的摩天大楼。

D. 特殊案例（第 6 章）

这里收集了一些“奇奇怪怪但很有用”的公式。

• 比如，如何计算**“质数个数”**（$\pi(x)$）？作者给出了一个公式，通过兰伯特级数把质数一个个“钓”出来。
• 还有关于**“平方数”、“无平方因子数”**的各种变体公式。

3. 为什么要写这篇论文？（为什么要整理这个？）

作者提到，就像 H.W. Gould 以前整理过“狄利克雷级数”的目录一样，现在大家也需要一本**“兰伯特级数字典”**。

• 现状： 新的数学研究（比如关于分拆函数的新发现）经常用到兰伯特级数，但相关的公式散落在不同的论文里，很难找。
• 目的： 作者把这些散落的珍珠（公式）串成了一条项链。无论是数论专家，还是做组合数学、甚至做物理的人，遇到需要计算“约数和”或者“生成函数转换”的问题时，都可以直接翻开这本书查表，不用每次都重新发明轮子。

总结

这就好比Maxie 博士是一位“数学乐高大师”。
他手里有一堆名为“兰伯特级数”的万能连接器。这篇论文不是教你怎么发明新的连接器，而是整理了一份详尽的“连接指南”。

• 如果你想知道怎么把“约数”连起来？查表。
• 如果你想知道怎么把“质数”连起来？查表。
• 如果你想知道怎么把“分拆数”连起来？查表。

它让复杂的数学计算变得像查字典一样方便，让数学家们能更快地发现数字背后的美妙规律。

技术摘要

《有趣的兰伯特级数恒等式目录》技术总结

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

兰伯特级数（Lambert series）是数论和组合数学中一类重要的生成函数，定义为 $L_f(q) := \sum_{n \ge 1} f(n) \frac{q^n}{1-q^n}$。这类级数具有独特的性质：其展开式的系数是算术函数 $f$ 与常数函数 $1$的狄利克雷卷积（Dirichlet convolution），即$(f * 1)(n)$。

尽管兰伯特级数在解析数论、分拆函数（partition functions）以及模形式理论中有着广泛应用，但现有的文献往往侧重于其解析性质（如收敛性、模形式联系）或特定的经典恒等式。目前缺乏一个系统性的、侧重于形式性质（formal properties）和组合恒等式的参考目录，特别是针对那些在应用中出现频率较高但较为零散的“奇闻异事”（odds and ends）类恒等式。

本文旨在填补这一空白，通过编制一份详尽的目录，整理兰伯特级数的关键性质、推广形式以及特殊算术函数的恒等式，为研究人员提供一个关于兰伯特级数恒等式的综合参考工具。

2. 方法论 (Methodology)

作者 Maxie Dion Schmidt 博士采用了一种形式化与组合化的研究方法，主要特点如下：

• 形式生成函数视角：文章刻意避免将兰伯特级数作为需要严格收敛约束的解析对象处理，而是将其视为形式幂级数。重点在于序列的枚举性质和代数结构。
• 狄利克雷卷积分析：利用狄利克雷卷积（$f * g$）和莫比乌斯反演（Möbius inversion）作为核心工具，建立兰伯特级数系数与算术函数之间的对应关系。
• 恒等式分类与推导：
  • 从经典恒等式出发，推导高阶导数、因子分解定理（Factorization theorems）。
  • 引入广义兰伯特级数 $L_f(\alpha, \beta; q)$，扩展了标准形式的适用范围。
  • 利用变换技巧（如修改分母符号、GCD 变换、Apostol 除数和）构建新的恒等式。
• 符号化与表格化：通过定义统一的符号系统（如 $f^{-1}$ 表示狄利克雷逆，$J_t$ 表示 Jordan 欧拉函数等），将复杂的恒等式整理成结构化的表格和公式列表。

3. 关键贡献 (Key Contributions)

本文的主要贡献在于构建了一个全面的兰伯特级数恒等式知识库，具体包括：

1. 符号与定义的系统化：

   • 详细定义了涉及兰伯特级数的各类算术函数（如莫比乌斯函数 $\mu(n)$、欧拉函数 $\phi(n)$、除数函数 $d(n)$、冯·曼戈尔特函数 $\Lambda(n)$ 等）及其广义形式。
   • 明确了兰伯特级数与狄利克雷生成函数（DGF）之间的转换关系：$DGF(b_n; s) = DGF(a_n; s)\zeta(s)$。

2. 高阶导数与变换公式：

   • 推导了兰伯特级数的高阶导数公式（式 1.2a, 1.2b），建立了 $q^j D_q^{(j)}$ 与斯特林数（Stirling numbers）及二项式系数之间的联系。
   • 给出了兰伯特级数与 Ramanujan 和（Ramanujan sums）$c_q(n)$ 的系数关系。

3. 因子分解定理（Factorization Theorems）：

   • 提出了将兰伯特级数展开为特定形式（如 $\frac{1}{C(q)} \sum (\sum s_{n,k} \bar{f}(k)) q^n$）的通用因子分解方法。
   • 证明了这些展开式继承了分拆函数（partition functions）的递推关系，特别是与五边形数定理相关的递推式。

4. 广义兰伯特级数与特殊函数：

   • 定义了广义形式 $L_f(\alpha, \beta; q)$，并给出了其系数与特定除数和的关系。
   • 列举了与雅可比 theta 函数（Jacobi theta functions）相关的恒等式。
   • 包含了关于“伪 theta 函数”（mock theta functions，如 Ramanujan 的 $\phi, \psi, \rho$ 等）的兰伯特级数展开式。

5. 特定算术函数的恒等式目录：

   • 整理了大量经典恒等式，例如 $\sum \frac{\mu(n)q^n}{1-q^n} = q$，$\sum \frac{\phi(n)q^n}{1-q^n} = \frac{q}{(1-q)^2}$ 等。
   • 提供了涉及狄利克雷逆、GCD 变换、LCM 变换以及 Anderson-Apostol 除数和的复杂恒等式。

4. 主要结果 (Results)

文章通过大量的公式推导和列表，得出了以下具体结果：

• 经典恒等式集合：确认并整理了约 20 个经典算术函数（如 $\mu, \phi, \lambda, \Lambda, J_t$）的兰伯特级数封闭形式或级数展开形式。
• 卷积恒等式：
  • 证明了 $L_{f*g}(q) = \sum f(n) L_g(q^n)$。
  • 给出了涉及 $\omega(n)$（不同素因子个数）和 $\lambda(n)$（刘维尔函数）的乘积恒等式，例如 $\sum \omega(n)f(n) \frac{q^n}{1-q^n} = \sum_{p} L_f(q^p)$。
• GCD 与 LCM 求和：
  • 推导了形如 $\sum_{d|(m,n)} f(d)g(n/d)$ 的除数和的兰伯特级数生成函数。
  • 给出了最小公倍数（LCM）和的生成函数表达式，涉及 $\sigma_k$ 和伯努利数。
• 修改型兰伯特级数：
  • 定义了 $\hat{L}_f(q) = \sum \frac{f(n)q^n}{1+q^n}$，并建立了其与标准兰伯特级数的关系：$\hat{L}_f(q) = L_f(q) - 2L_f(q^2)$。
• 逆函数展开：
  • 提供了算术函数狄利克雷逆 $f^{-1}(n)$ 的兰伯特级数生成函数表达式，涉及 $f$ 的自卷积。

5. 意义与影响 (Significance)

• 参考工具价值：本文类似于 H.W. Gould 和 T. Shonhiwa 关于狄利克雷级数的目录，为研究兰伯特级数的学者提供了一个不可或缺的“速查手册”。它汇集了散落在不同文献中的恒等式，便于快速检索和验证。
• 连接不同领域：文章有效地连接了数论（算术函数）、组合数学（分拆函数、生成函数变换）和特殊函数理论（Theta 函数、伪 Theta 函数）。
• 应用导向：通过强调形式性质而非解析收敛性，本文特别适用于需要利用兰伯特级数进行序列枚举、算法设计或形式推导的应用场景。
• 启发新研究：文中提出的广义因子分解定理和针对特定算术函数（如 $\mu_k, \lambda_k$）的恒等式，为后续探索更复杂的级数变换和新的数论恒等式提供了基础框架。

综上所述，Maxie Dion Schmidt 的这篇论文不仅是一份恒等式的汇编，更是对兰伯特级数代数结构和组合性质的系统性梳理，为现代数论和组合数学的研究提供了重要的基础资源。