在本章中,我们将建立算术函数的基本理论。该理论将在后面的章节中得到应用,特别是在第 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.
.
与
卷积,并使用
得到所需的公式。 
需要注意的是,链式法则在这里意义不大,因为
运算可能会映射到任何地方,而不是
,因此
通常来说没什么意义。