算术函数的代数

算术函数——定义在正整数上的函数——是数论的基石，揭示了数的深刻性质。然而，若没有一个统一的结构，它们往往看起来像一堆互不关联的数学对象。本文将阐明一个将它们联结在一起的优美代数框架，其核心是一种称为狄利克雷卷积的强大运算。在“原理与机制”部分，我们将定义这种运算，揭示它所创造的美妙群结构，并通过狄利克雷级数架起通往复分析世界的桥梁。然后，在“应用与跨学科联系”部分，我们将看到这套抽象的机制如何提供一个功能多样的工具箱，用以解决问题并建立数论与其他数学领域之间的强大联系。

想象你有一组序列，每一个序列都为每个正整数 $1, 2, 3, \ldots$ 赋予一个数值。其中一个序列可能全是 1：$1, 1, 1, \ldots$。另一个可能是整数本身：$1, 2, 3, \ldots$。还有一个更神秘的序列，可能会告诉你每个整数有多少个因数。在数学中，我们称这些序列为​​算术函数​​。乍一看，它们似乎像一个装满奇珍异宝的凌乱抽屉。但如果存在一种特殊而隐藏的组合方式，一种能够理解整数本质——其因数——的“乘法”呢？

我们的旅程就从这里开始。我们即将发现一个极其优美的结构，在这个结构中，这些看似无关的函数用一种秘密语言相互交流。这种语言称为狄利克雷卷积，它将我们杂乱的抽屉变成一个整理得井井有条的漂亮柜子，并在此过程中揭示代数与素数研究之间深刻的联系。

如果你有两个算术函数 $f$ 和 $g$，你可能会如何定义它们的乘积？最简单的方法就是直接将它们在每个整数 $n$ 处的值相乘：$(f \cdot g)(n) = f(n)g(n)$。这被称为逐点乘法，当然很有用。但它有点……粗糙。它忽略了整数 $n$ 丰富的乘法结构。例如，在 $n=6$ 处的值与其因数 $1, 2, 3$ 处的值毫无关联。

让我们尝试一种更精妙的方法。当我们组合 $f$ 和 $g$ 以得到一个在整数 $n$ 处的新函数时，让它成为 $n$ 所有因数之间的一场“对话”。我们定义 $f$ 和 $g$ 的​​狄利克雷卷积​​，记作 $f * g$，如下：

$(f * g)(n) = \sum_{d|n} f(d)g\left(\frac{n}{d}\right)$

这里的求和遍历所有能整除 $n$ 的正整数 $d$。让我们停下来品味一下这个定义。对于 $n$ 的每个因数 $d$，我们取 $f$ 在 $d$ 处的值，乘以 $g$ 在“互补”因数 $n/d$ 处的值。然后我们将所有这些乘积加起来。对于 $n=6$，其因数为 $1, 2, 3, 6$。所以，卷积是：

$(f * g)(6) = f(1)g(6) + f(2)g(3) + f(3)g(2) + f(6)g(1)$

这个运算从本质上将函数在整数的整个因数格上的值交织在一起。这是一种乘法，但是一种深思熟虑的乘法，一种尊重数之“基因”——其素因数——的乘法。

这个新运算看似复杂，但它遵循一些非常简单的规则。就像数的常规乘法一样，狄利克雷卷积是可交换的（$f*g = g*f$），并且至关重要的是，它是可结合的：$(f*g)*h = f*(g*h)$。这意味着我们执行多次卷积的顺序无关紧要。虽然一般性的证明有些技术性，但我们可以亲自动手来感受一下。例如，如果你取三个著名的函数——莫比乌斯函数 $\mu$、欧拉函数 $\phi$ 和恒等函数 $id(n)=n$——并计算 $((\mu * \phi) * id)(6)$，你会得到一个特定的整数值。如果你再计算 $(\mu * (\phi * id))(6)$，你会得到完全相同的结果，这具体地验证了括号无关紧要。这种结合律并非偶然；它表明我们偶然发现了一个稳健且连贯的结构。

所以，我们有了一种“乘”函数的方法。在任何有乘法的代数系统中，接下来的问题总是：是否存在一个“1”？是否存在一个乘法单位元？我们正在寻找一个函数，称之为 $\epsilon$，它与任何其他函数 $f$ 进行卷积时都不产生任何影响。也就是说，对所有 $f$ 都有 $f * \epsilon = f$。让我们试着找到它。

根据我们的定义，$(f * \epsilon)(n) = f(n)$。我们来看看这告诉了我们关于 $\epsilon$ 的什么信息。 对于 $n=1$，唯一的因数是 $1$。卷积是 $f(1)\epsilon(1)$。要使其等于 $f(1)$，我们必须有 $\epsilon(1)=1$（假设我们可以选择一个 $f(1) \neq 0$ 的 $f$）。 对于 $n > 1$，方程是 $\sum_{d|n} \epsilon(d)f(n/d) = f(n)$。让我们展开这个式子并分离出含有 $\epsilon(n)$ 的项： $\epsilon(1)f(n) + \epsilon(n)f(1) + \sum_{d|n, 1<d<n} \epsilon(d)f(n/d) = f(n)$ 因为我们知道 $\epsilon(1)=1$，这变成： $f(n) + \epsilon(n)f(1) + \ldots = f(n)$ 这迫使余下的项之和为零。一个仔细的归纳论证表明，这要求对所有 $n>1$ 都有 $\epsilon(n)=0$。

所以，我们的单位元是这个极其简单的函数： $\epsilon(n) = \begin{cases} 1 & \text{if } n=1 \\ 0 & \text{if } n>1 \end{cases}$ 这个函数像一个幽灵！它只在 $n=1$ 时有值，在其他任何地方都为零。然而，在狄利克雷卷积下，它却是恒等性的坚定之锚，是我们新算术中的“1”。

单位元的存在自然引出下一个问题：我们能“撤销”卷积吗？我们能找到逆元吗？对于一个函数 $f$，我们能找到一个函数 $f^{-1}$ 使得 $f * f^{-1} = \epsilon$ 吗？事实证明，这是可以的，但有一个小条件：$f(1) \neq 0$。如果这个条件成立，逆元保证存在且唯一。

这非同小可。所有满足 $f(1) \neq 0$ 的算术函数集合，在狄利克雷卷积运算下，构成一个​​群​​！而且因为运算是可交换的，所以它是一个​​阿贝尔群​​。我们将一堆看似杂乱的序列汇集起来，发现它们形成了一个复杂的代数对象，其结构之丰富堪比我们熟悉的整数或实数系统。我们可以计算这些逆元，有时结果会相当令人惊讶。例如，欧拉函数 $\phi$ 的逆元是一个函数 $\phi^{-1}$，对于任何不同素数的乘积 $n=p_1 p_2 \cdots p_k$，它都具有值 $\phi^{-1}(n) = (1-p_1)(1-p_2)\cdots(1-p_k)$。这不仅仅是一堆随机的值；它是一个由群结构派生出的、有意义的新函数。

在这座熙熙攘攘的算术函数之城中，有一个精英阶层——​​积性函数​​。一个函数 $f$ 是积性的，如果 $f(1)=1$ 且当 $m$ 和 $n$ 没有公因数时（$\gcd(m,n)=1$），有 $f(mn) = f(m)f(n)$。这些函数“尊重”算术基本定理。要知道一个积性函数在 $360 = 2^3 \cdot 3^2 \cdot 5^1$ 处的值，你只需要知道它在素数幂 $2^3$、$3^2$ 和 $5^1$ 处的值。这个阶层包括了数论中许多最著名的成员：欧拉的 $\phi$、莫比乌斯的 $\mu$ 以及除数函数 $\tau(n)$（它计算 $n$ 的因数个数）。

这个专属俱乐部与我们的卷积运算相处得好吗？相处得非常好。

如果你取两个积性函数，它们的狄利克雷卷积也是积性的。一个积性函数的逆元也是积性的。单位元 $\epsilon$ 显然是积性的。这意味着所有积性函数的集合构成了更大的可逆算术函数群的一个​​子群​​。它们在卷积下形成一个自洽、完美的宇宙。

你可能会倾向于认为，一个更特殊的类别，即​​完全积性​​函数——其中对于所有 $m$ 和 $n$ 都有 $f(mn) = f(m)f(n)$——会形成一个更精英的子群。但 здесь 存在一个奇妙的微妙之处。它们不会！对于卷积的世界来说，它们过于“僵化”。例如，常数函数 $\mathbf{1}(n)=1$ 是完全积性的。但它与自身的卷积，$(\mathbf{1} * \mathbf{1})(n) = \sum_{d|n} 1 = \tau(n)$，即除数函数，却不是完全积性的，因为 $\tau(4)=3$ 而 $\tau(2)\tau(2)=4$。这个失败告诉我们一些深刻的道理：狄利克雷卷积与积性属性完美契合，而不是完全积性。

到目前为止，这一直是一个令人愉快的代数游戏。但它有何用处？现在我们来到了 grand reveal，即我们将代数游乐场与强大的微积分和复分析世界联系起来的时刻。这座桥梁是一种称为​​狄利克雷级数​​的对象。

对于任何算术函数 $f$，我们可以将其狄利克雷级数定义为一个无穷和： $D(f; s) = \sum_{n=1}^\infty \frac{f(n)}{n^s}$ 这里，$s$ 是一个复变量。这个级数就像是函数 $f$ 的一种“变换”或“指纹”，将其从一个离散序列变成一个（希望是）良好、连续的复变函数。其中最著名的是​​黎曼ζ函数​​，$\zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s}$，它就是那个不起眼的常数函数 $\mathbf{1}(n)=1$ 的狄利克雷级数。

现在是见证奇迹的时刻。你认为当我们取狄利克雷卷积的狄利克雷级数时会发生什么？那个复杂的求和 $\sum_{d|n} f(d)g(n/d)$ 被转化成一个简单、优美的乘积：

$D(f * g; s) = D(f; s) \cdot D(g; s)$

这是一个最高级别的启示。它就像对数将乘法变为加法，或者傅里叶变换将卷积变为逐点乘积一样。这是一个“数学魔术”般的技巧，它将复杂的卷积和转化为简单的函数乘法，让我们能动用复分析的整个武库来研究数论。

让我们看看这个魔术是如何运作的。级数 $\zeta(s) \zeta(s-1)$ 的系数是什么？$\zeta(s)$ 是函数 $\mathbf{1}(n)=1$ 的级数，而 $\zeta(s-1) = \sum \frac{1}{n^{s-1}} = \sum \frac{n}{n^s}$ 是函数 $id(n)=n$ 的级数。它们的级数之积必定对应于卷积 $\mathbf{1} * id$。那是什么呢？ $(\mathbf{1} * id)(n) = \sum_{d|n} \mathbf{1}(d) \cdot id\left(\frac{n}{d}\right) = \sum_{d|n} 1 \cdot \frac{n}{d}$ 当 $d$ 遍历 $n$ 的因数时，$n/d$ 也在遍历 $n$ 的因数。所以这个和就是 $n$ 的所有因数之和，即函数 $\sigma_1(n)$。我们刚刚几乎毫不费力地发现 $\zeta(s)\zeta(s-1) = \sum_{n=1}^\infty \frac{\sigma_1(n)}{n^s}$。

那 $\zeta(s)^k$ 呢？这对应于函数 $\mathbf{1}(n)=1$ 与自身的 $k$ 重卷积。其系数（常被称为广义除数函数 $d_k(n)$）就是将 $n$ 写成 $k$ 个正整数乘积的方法数。这个观点使得计算像 $\zeta(s)^3$ 中 $1/24^s$ 的系数这类问题，变成了一个直接的组合学练习。

故事在积性函数处达到高潮。它们的特殊性质也反映在它们的狄利克雷级数中。一个算术函数 $a_n$ 是积性的，当且仅当其狄利克雷级数可以分解为遍及所有素数的无穷乘积，称为​​欧拉乘积​​： $\sum_{n=1}^\infty \frac{a_n}{n^s} = \prod_{p \text{ prime}} \left( 1 + \frac{a_p}{p^s} + \frac{a_{p^2}}{p^{2s}} + \cdots \right)$ 这是终极的统一。积性的代数性质与拥有欧拉乘积分解的分析性质是完全等价的。卷积的结构、函数的群以及与狄利克雷级数的联系不仅仅是一个巧妙的游戏。它是描述算术最深刻真理的自然语言：整数是由素数构成的。这个框架，从一个奇特的求和到一个宏大的乘积，揭示了数世界固有的美丽与统一。

我们花了一些时间探讨算术函数的机制，以及它们在狄利克雷卷积下所拥有的优美代数结构。但在物理学或任何科学中，真正的乐趣来自于当你意识到黑板上抽象的涂鸦不仅仅是一个自洽的游戏，而是一种强大的语言，一套用以描述和预测世界如何运作的工具。这里也是如此。这些生活在普通正整数上的函数，远不止是数论学家的一个玩物。它们构成了一个通用的工具箱，在从抽象代数到复分析的遥远领域之间，搭建起令人惊奇而深刻的桥梁。我们所学到的不是一个孤岛，而是一个门户。

首先，让我们欣赏一下我们所揭示的结构本身：一个拥有自己优美化学规则的自洽宇宙。狄利克雷卷积 $(f*g)(n) = \sum_{d|n} f(d)g(n/d)$ 不仅仅是某个任意的运算。它像乘法一样运作，在这种运算下，算术函数的世界变得生机勃勃。它成为了数学家所称的*交换环*。

这种代数结构不仅仅是装饰性的；它非常强大。例如，我们已经看到了一些基本恒等式，如 $\sigma = \mathbf{1} * \text{id}$（因数和函数是常数1函数与恒等[函数的卷积](@article_id:307087)）和 $\text{id} = \mathbf{1} * \phi$（一个整数是其所有因子的欧拉函数值之和）。在这种代数观点中，这些不是需要记忆的随机事实；它们是关联我们环中关键“元素”的简单方程。我们可以像处理代数变量一样操纵它们。

想象你面临一个复杂的函数关系，比如 中的那个。人们可能倾向于一头扎进繁琐的逐项计算中。但一个更好的方法是代数地思考。该问题定义了函数 $H = \sigma * \phi$ 和一个神秘函数 $G$，通过方程 $(H*H) = (\kappa*G)$，其中 $\kappa(n) = n\tau(n)$。我们不必使用蛮力，而是可以将已知的恒等式代入这个方程： $H = \sigma * \phi = (\mathbf{1} * \text{id}) * \phi = \text{id} * (\mathbf{1} * \phi) = \text{id} * \text{id}$ 在 中再做一点工作，可以表明 $\text{id} * \text{id}$ 与 $\kappa$ 是完全相同的函数。于是我们复杂的方程变成了 $(\kappa * \kappa) = (\kappa * G)$。就像你在高中代数中做的那样，你可以“消去” $\kappa$ 项（这一步是合理的，因为该环具有良好的消去性质），从而得到惊人简单的答案：$G = \kappa$。代数机器为我们完成了所有繁重的工作。你可以在计算像 $\phi * \phi$ 这样的卷积时看到同样的原理，其中积性这一关键结构特性，将一个令人生畏的求和简化为一个可管理的乘积。

也许这个代数世界中最重要的工具是​​莫比乌斯反演公式​​。在我们的环中，不起眼的常数函数 $\mathbf{1}(n)=1$ 有一个乘法逆元：莫比乌斯函数 $\mu$。它们的卷积得到乘法单位元：$(\mu * \mathbf{1})(n) = \delta(n)$，其中 $\delta$ 在 $n=1$ 时为 1，其他情况下为 0。这意味着，如果你有一个函数 $g$ 定义为另一个函数 $f$ 的因数和，比如 $g(n) = \sum_{d|n} f(d)$，你可以“反演”这个过程来求出 $f$。用卷积的语言来说，就是 $g = f * \mathbf{1}$。为了解出 $f$，你只需将两边“乘以” $\mathbf{1}$ 的逆元，即 $\mu$：$g * \mu = (f * \mathbf{1}) * \mu = f * (\mathbf{1} * \mu) = f * \delta = f$。

这是一个深刻的思想。这是数论学家版本的微积分基本定理。如果你知道一个函数的“积分”（其因数和），你就可以通过“求导”（与 $\mu$ 卷积）来恢复函数本身。

通过再次转换视角，我们可以使这个代数环的抽象之美变得异常具体。让我们把算术函数看作向量。例如，我们可以用一个无限序列的值来表示算术函数 $f$：$(f(1), f(2), f(3), \dots)$。在这种观点下，所有算术函数的集合是一个无穷维向量空间。

在这个世界里，我们的卷积运算会发生什么变化？如果我们取一个固定的函数，比如 $g$，那么“与 $g$ 卷积”这个运算就是一个变换 $T_g$，它接受一个函数 $f$ 并产生一个新函数 $g*f$。事实证明，这个变换是*线性的*。这意味着与 $g$ 卷积尊重加法和标量乘法的向量空间结构。

这可能听起来仍然有点抽象。所以，让我们像物理学家那样做：简化问题以看清其机制。我们不考虑无穷维空间，而是考虑只定义在集合 $\{1, 2, 3, 4, 5\}$ 上的函数。现在，我们的函数只是 5 维向量，而一个线性算子就是一个简单的 $5 \times 5$ 矩阵。

在 中，我们被要求考虑与莫比乌斯函数卷积的线性算子 $L_\mu$。这个算子可以写成一个特定的矩阵 $M$。然后问题要求求逆矩阵 $M^{-1}$。我们当然可以使用像 Gauss-Jordan 消元法这样的标准算法来找到它。但我们有更好的方法！我们从抽象代数中知道，与 $\mu$ 卷积的逆运算是与函数 $\mathbf{1}$ 卷积。因此，逆矩阵 $M^{-1}$ 必定是算子 $L_{\mathbf{1}}$ 的矩阵表示。这个矩阵写出来惊人地简单：它的元素 $(M^{-1})_{ij}$ 仅当 $j$ 整除 $i$ 时为 1，否则为 0。线性代数的机制与狄利克雷环的抽象结构完美契合。一个世界中的反演精确对应于另一个世界中的反演。

然而，最强大和影响最深远的联系是与复分析世界的联系。这是​​解析数论​​的领域。关键在于将每个算术函数 $f$ 与一个特殊的“生成函数”——​​狄利克雷级数​​——联系起来： $D_f(s) = \sum_{n=1}^{\infty} \frac{f(n)}{n^s}$ 这里，$s$ 是一个复变量。这个和是一个翻译器，一部词典，它将关于离散函数 $f(n)$ 的信息转化为关于一个连续复变函数 $D_f(s)$ 的属性。最著名的例子是黎曼ζ函数 $\zeta(s)$，它是简单函数 $\mathbf{1}(n)=1$ 的狄利克雷级数。

为什么这部词典如此有用？因为一个关键的、近乎神奇的性质：它将复杂的狄利克雷卷积运算转化为简单的乘法。卷积 $f*g$ 的狄利克雷级数就是单个狄利克雷级数的乘积：$D_{f*g}(s) = D_f(s)D_g(s)$。

其后果是惊人的。在数的世界里极其困难的问题，在函数的世界里变成了简单的代数操作。例如，考虑计算两个无穷级数之比的任务，$S_\phi(4) = \sum \phi(n)/n^4$ 和 $S_\sigma(4) = \sum \sigma(n)/n^4$。直接入手是毫无希望的。但使用我们的词典，我们翻译了这个问题。我们知道 $\phi = \mu * \text{id}$ 和 $\sigma = \mathbf{1} * \text{id}$。这意味着它们的狄利克雷级数是 $D_\phi(s) = D_\mu(s) D_\text{id}(s) = \frac{\zeta(s-1)}{\zeta(s)}$ 和 $D_\sigma(s) = D_{\mathbf{1}}(s) D_\text{id}(s) = \zeta(s)\zeta(s-1)$。我们寻求的比率就是： $\frac{D_\phi(4)}{D_\sigma(4)} = \frac{\zeta(3)/\zeta(4)}{\zeta(4)\zeta(3)} = \frac{1}{\zeta(4)^2}$ 看似棘手的求和问题在没有计算任何一项的情况下就被解决了！答案是一个涉及已知常数 $\zeta(4) = \pi^4/90$ 的简单表达式。

这本词典是双向的。如果我们给定一个由ζ函数构成的 $s$ 的函数，我们可以将其翻译回去，找到底层的算术函数。例如，在 中，我们给定 $D_f(s) = \frac{\zeta(s-2)\zeta(s)}{\zeta(2s)}$。我们可以将其解读为一个卷积的配方：$\zeta(s-2)$ 对应函数 $n^2$，$\zeta(s)$ 对应 $\mathbf{1}$，而 $1/\zeta(2s)$ 对应 Liouville 函数 $\lambda(n)$。因此，函数 $f$ 是涉及这些分量的卷积，这使得可以直接计算它。

对于重要的*积性*函数类，这本词典还有一个更美的章节：​​欧拉乘积​​。积性函数的狄利克雷级数可以写成一个遍及所有素数的无穷乘积。这将级数直接与算术基本定理联系起来。这是一个极其强大的工具。例如，如果我们被要求对一个涉及复杂积性函数卷积（如 $H = \phi * d * \lambda$）的级数求和，我们可以将其转化为一个欧拉乘积。我们找到对应于每个函数的简单乘积因子，将它们相乘，通常会发现合并后的乘积简化为一个可识别的形式，可能用ζ函数的值来表示。同样，看起来复杂的欧拉乘积通常可以被简化回ζ函数的比率，从而揭示底层算术函数的身份。

这些工具不仅用于解决设定好的练习题。它们是现代数学研究的核心。它们让我们能够回答关于数论序列分布和平均行为的深刻问题。

数论的中心问题之一是理解算术函数的长期行为。$\phi(n)$ 的平均值有多大？$\tau(n)$ 的平均值是多少？Perron 公式提供了惊人的联系：求和函数 $\sum_{n \le x} f(n)$ 的渐近行为由其狄利克雷级数 $D_f(s)$ 的解析性质——具体来说，是其极点——所决定。在 中，我们研究了 $h(n) = (\mu * \phi)(n)$ 的和。通过找到其狄利克雷级数 $D_h(s) = \zeta(s-1)/\zeta(s)^2$，我们可以定位其在 $s=2$ 处的“最右极点”。$D_h(s)x^s/s$ 在此极点处的留数告诉我们求和的渐近行为的主项。我们发现 $\sum_{n \le x} h(n)$ 的增长类似 $C x^2$，我们甚至可以计算出常数 $C = 18/\pi^4$。复变函数的解析景观揭示了离散序列中隐藏的统计规律。

最后，这种算术函数和狄利克雷级数的语言是普适的。它远远超出了我们所关注的初等函数。考虑 Ramanujan tau 函数 $\tau(n)$，这是一个极其神秘的整数序列，它源于模形式理论——模形式是现代数论核心的高度对称函数。即使对于这个“奇异”的函数，我们的框架也完全适用。它的狄利克雷级数，一个 L-函数 $L(\Delta, s)$，是深入研究的对象。如果想理解 $\tau(n)$ 与其他函数如 $\lambda(n)$ 和 $\mu(n)$ 的卷积，路径是清晰的：只需将它们对应的狄利克雷级数相乘即可。我们所发展的语言，将欧拉在十八世纪的创造与二十一世纪研究的前沿联系起来。

所以你看，我们从简单的计数因子的函数开始。通过定义一种优美的乘法形式，我们发现了一个隐藏的代数世界。这个世界反过来又给了我们一个新的视角来看待它——线性代数的视角——以及一本强大的词典，用以将其问题翻译成一种完全不同的语言：复分析的语言。这正是科学的真正美妙之处：起初看似简单的数字排列游戏，变成了一个深刻而统一的理论，它连接了 disparate 的思想，并照亮了数学宇宙的深层结构。