在本章中,我们将建立算术函数的基本理论。该理论将在后面的章节中得到应用,特别是在第 9 章中。
定义 2.1:
一个算术函数是一个函数 .
定义 2.2(重要的算术函数):
- 克罗内克函数:
- 欧拉的totient函数:
- 莫比乌斯 -函数:
- 冯·曼戈尔特函数:
- 单项式:
- 不同素数因子的个数:,
- 带重数的素因子之和:,
- 刘维尔函数:
- 练习 2.1.1:计算 , 和 。
- 练习 2.1.2:计算 。提示:。
- 练习 2.1.3:计算 ,保留三位小数。提示:使用泰勒展开。
- 练习 2.1.4:证明对于每个 和 ,。
在下述定理中,我们将证明算术函数构成一个阿贝尔 幺半群,其中幺半群运算由卷积给出。此外,由于两个算术函数的和也是一个算术函数,因此算术函数构成一个交换环。事实上,正如我们也将看到的那样,它们构成一个整环。
证明:
1.:
- ,
其中 是从 的因子集到自身的双射。
2.:
- ,
其中最后一个等式来自于恒等函数
是双射。但是
因此具有结合律。
3.:
证明:令 为算术函数,并令 是使 , 成立的最小值。 那么
- .
现在我们将确定算术函数环的单位。
定理 2.6:
令 为算术函数。 则 可逆(关于卷积)当且仅当 .
证明:
首先假设 。 那么对于任何算术函数 ,.
现在假设 。 那么 由递归公式给出
- ,
- ,
是 的逆(因此是 *唯一* 逆),因为 ,并且对于 ,通过归纳法有
定义 2.7:
一个算术函数 被称为 **积性函数** 如果它满足
- ,并且
- .
定理 2.8:
设 是积性算术函数。那么 是积性函数。
证明:
设 。那么
- ,
由于函数 是从 的因数到 的因数和 的因数的笛卡尔积的双射;这是因为乘法是其逆运算。
- ,.
严格地证明这一点本身就是一个练习。但由于 和 的乘法性,
- .
此外,.
由于是可乘的,我们得出结论,可乘函数在具有卷积的算术函数中形成一个阿贝尔子幺半群。不幸的是,我们没有子环,因为两个可乘函数的总和 *从不* 是可乘的(看看)。
定理 2.9:
令为一个可乘函数,使得绝对收敛。那么
- .
证明:令为所有素数的有序序列。对于所有,我们有
由于 的乘法性,对于每个 ,我们依次令 ,...,,然后 。根据定义和规则 ,可知等式右边收敛于
- .
我们断言
- .
事实上,选择 使得
- .
那么根据算术基本定理,存在 和 ,使得
- .
根据三角不等式,对于 , 和 是任意数,则
由此很容易得出结论。
剩下要证明的是左侧的乘积与乘法顺序无关。但这很明显,因为如果序列 的排列方式不同,证明过程完全相同,左侧仍然保持不变。
定义 2.10:
如果算术函数 满足以下条件,则称其为 **完全积性函数**
- ,以及
- .
等效地,完全积性函数是一个从 到 的幺半群同态。
定理 2.11:
令 为一个强积性函数,使得 绝对收敛。那么
- .
证明:
根据定理 2.9,我们有
- .
由于强积性和等比数列,后面的表达式等于
- .
- 练习 2.3.1:令 为一个算术函数,使得对于所有 ,令 。证明函数 是积性的。
示例 2.13:
我们将在此计算一些重要算术函数的贝尔级数。
我们注意到,一般来说,对于一个完全积性函数 ,我们有
- .
特别地,在这种情况下,贝尔级数定义了一个函数。
1. 克罗内克德尔塔函数
2. 欧拉 φ 函数(我们使用引理 9.?)
3. 莫比乌斯 函数
4. 冯·曼戈尔特函数
5. 单项式
6. 不同的素数因子的个数
7. 包含重数的素数因子数量
8. 黎曼函数
定理 2.14 (贝尔级数和卷积的兼容性):
令 为算术函数, 为素数。那么
- .
证明:
在乘法情况下,我们有以下定理
定理 2.15 (唯一性定理):
令 为乘法函数。那么
- .
证明: 非常明显; : 作为形式幂级数等同于说 。如果现在 ,那么
由于 和 的乘法性。
在第 9 章中,我们将使用 Bell 级数来获得数论函数的方程。
定义 2.16:
设 是一个算术函数。那么 的导数定义为函数
- .
证明:
1. 容易验证。
2.:
3.
我们有 和 。因此,由 2.
- .
与 卷积,并使用 得到所需的公式。
需要注意的是,链式法则在这里意义不大,因为 运算可能会映射到任何地方,而不是 ,因此 通常来说没什么意义。