数论概论读书笔记 27.欧拉函数与因数和

欧拉函数与因数和

前面我们在说明完全数的时候，引入了因子和函数$\sigma(x)$ ，通常$\sigma(x)$是大于$x$的。

现在我们做个猜想，不对因子直接求和，而先求欧拉函数再求和。

猜想 设$d_1,d_2,...,d_r$是整除$n$的数，其中包括1与n，则

$$\varphi(d_1)+\varphi(d_2)+\varphi(d_3)+...+\varphi(d_r)=n$$
我们先试着验证$n=p^k$的情况，$n$的因子有$1,p,p^2,...,p^{k}$ ，由于$\varphi(p^k)=p^k-p^{k-1}$，则

$$1+(p-1)+(p^2-p)+...+(p^{k-1}-p^{k-2})+(p^k-p^{k-1})=p^k$$
对的。

再尝试下$n=pq$，$n$的因子有$1,p,q,pq$，则

$$1+p-1+q-1+(p-1)(q-1)=pq$$
对的。

下面准备处理一般情况。

定义函数$F(n)=\sum_{d|n}\varphi(d)$，我们要证明$F(n)=n$

断言1 如果$gcd(m,n)=1$，则$F(mn)=F(m)F(n)$

证明：设

$$d_1,d_2,...,d_r是n的因数\\ e_1,e_2,...,e_s是m的因数$$
$m,n$互质的事实说明， $mn$的因子就是上面 $r$个因子和$s$个因子两两相乘得到的，共 $rs$个。

又$d_i$和$e_j$互质，则$\varphi(d_ie_j)=\varphi(d_i)\varphi(e_j)$ ，则

$$\begin{align} F(mn)&=\varphi(d_1e_1)+\varphi(d_1e_2)+...+\varphi(d_r)\varphi(e_1)+...+\varphi(d_r)\varphi(e_s) \\ &= [\varphi(d_1)+\varphi(d_2)+...+\varphi(d_r)]*[\varphi(e_1)+\varphi(e_2)+...+\varphi(e_s)] \\ &=F(n)*F(m) \end{align}$$
证毕。

欧拉$\varphi$函数求和公式 $F(n)=\sum_{d|n}\varphi(d)=n$

证明： 我们已经证明了，对于素数次幂有$F(p^k)=p^k$ ，将一个数$n$质因数分解后，比如$n=p_1^{k_1}p_2^{k_2}...p_r^{k_r}$

由于不同的素数次幂是互质的，所以由$F(n)$的积性，易得$F(n)=n$

证毕。

---

刘维尔函数 $\lambda(n)$定义为将$n$分解后，$n=p_1^{k_1}p_2^{k_2}...p_r^{k_r}$，令$\lambda(n)=(-1)^{k_1+k_2+...+k_r}$。$\lambda(1)=1$

令$\Omega(n)= k_1+k_2+...+k_r$ 则$\lambda(n)=(-1)^{\Omega(n)}$

刘维尔函数是积性函数。 刘维尔函数的狄利克雷逆变换是莫比乌斯函数的绝对值。

使用刘维尔函数定义新的函数$G(n)$，

$$G(n)=\lambda(d_1)+\lambda(d_2)+...+\lambda(d_r)=\sum_{d|n}\lambda(d)$$
$G(n)$也是积性函数。其满足下面的性质

补充：

The Pólya conjecture is a conjecture made by George Pólya in 1919. Defining

$$L(n)=\sum_{k=1}^{n}\lambda(k) \quad (oeis \ A002819)$$

the conjecture states that $L(n)\le0$ for $n>1$ .This turned out to be false. The smallest counter-example is n = 906150257, found by $Minoru \ Tanaka$ in 1980. It has since been shown that L(n) > 0.0618672√n for infinitely many positive integers n,[1] while it can also be shown via the same methods that L(n) < -1.3892783√n for infinitely many positive integers n.[2]

---

t次幂$\sigma$函数

即$\sigma_t(n)=\sum_{d|n}d^t$

$\sigma_1(n)$就是我们熟知的$\sigma(n)$

而$\sigma_0(n)$是数$n$的因子个数

对于$\sigma_t(p^k)$ ，$t=1$时前面已经推出其公式，$t>1$时，也有公式。