第三章 数论函数

第三章 数论函数

• 定义：称 F = { f : Z + → C } \mathcal{F}=\{f:Z^+\rightarrow C\} F={f:Z+→C} 为算术函数或数论函数

  • 设 $f,g\in \mathcal{F}$，则对于 $\forall n\in Z^{\ast }$，有 $f=g⟺f(n)=g(n)$

• 定理一： { F , + } \{F,+\} {F,+} 构成一个群， { F , + , ∗ } \{F,+,* \} {F,+,∗} 构成一个交换环。其中

  • $(f+g)(n)=f(n)+g(n)$
  • $f\cdot g(n)=f(n)\cdot g(n)$
  • 迪利克雷函数(Dirichlet)：$f\ast g(n)=\sum _{d\mid n}f(d)\cdot g\left(\frac{n}{d}\right)$

3.1 数论函数 ${\mathrm{ord}}_p(n)$ 或 $v_p(n)$

• 定义：设 $p$ 为一个素数，则定义 ${\mathrm{ord}}_p:Z^{+}\to Z$，
  $${\mathrm{ord}}_p(n)=r⟺p^r\mid n且p^{r+1}\nmid n$$

  • 性质：
    1. ${\mathrm{ord}}_p(mn)={\mathrm{ord}}_p(m)+{\mathrm{ord}}_p(n)$，其中 $\forall m,n\in Z^{+}$
    2. ${\mathrm{ord}}_p(n^k)=k\cdot {\mathrm{ord}}_p(n)$，其中 $k>0$

• 定理一：设 $p^k\le n<p^{k+1}$，则有
  $${\mathrm{ord}}_p(n!)=\lfloor \frac{n}{p}\rfloor +\lfloor \frac{n}{p^2}\rfloor +...+\lfloor \frac{n}{p^k}\rfloor$$

• 定理二：设 $0<r<n$，则
  $$\left(\genfrac{}{}{0ex}{}{n}{r}\right)=\frac{n!}{r!(n-r)!}$$
  是一个整数

• 定理三：设 $p$ 为素数，$1\le r<p^c,c>0$，那么
  $${\mathrm{ord}}_p\left(\genfrac{}{}{0ex}{}{p^c}{r}\right)=c-{\mathrm{ord}}_{p}r$$

• 定理四(Legendre公式)：若 $n=a_0+a_{1}p+...+a_k{p}^k$，其中 $0\le a_i<p,a_k\ne 0$，则设 $S_p(n)=\sum _{i=1}^k{a}_i$，那么有
  $${\mathrm{ord}}_p(n!)=\frac{n-S_p(n)}{p-1}$$

• 定理五：设 $1\le r<n$，则
  $${\mathrm{ord}}_p\left(\genfrac{}{}{0ex}{}{n}{r}\right)=\frac{S_p(r)+S_p(n-r)-S_p(n)}{p-1}$$

3.2 莫比乌斯函数 Mobius $\mu (n)$

• 定义：$\mu \in \mathcal{F}$ 定义为
  $$\mu (n)=\{\begin{array}{l}\begin{array}{rlrl}& 1,& & n=1\\ & (-1{)}^k,& & n=p_1{p}_2...p_k\\ & 0,& & \exists p,p^2\mid n\end{array}\end{array}$$

• 定理一：对于 $n\ge 1$，有
  $$\sum _{d\mid n}\mu (d)=\lfloor \frac{1}{n}\rfloor$$

  • 补充：对于欧拉函数，有
    $$\phi (n)=\sum _{d\mid n}\mu (d)\cdot \frac{n}{d}$$

• 定理二：设 $n>1$，及 $m\le w(n)$，则
  $$\sum _{d\mid n,w(d)\le m}\mu (d)\{\begin{array}{l}\ge 0,2\mid m\\ \le 0,2\nmid m\end{array}$$
  其中 $w(d)$ 表示 $d$ 的不同素因子个数。

3.3 欧拉函数 $\phi (n)$

• 定理一：设 $n\ge 1$，则有
  $$\sum _{d\mid n}\phi (d)=n$$

• 定理二：设 $(m,n)=1$，则 $\phi (mn)=\phi (m)\phi (n)$

• 定理三：有
  $$\frac{\phi (mn)}{\phi (m)\phi (n)}=\frac{(m,n)}{\phi ((m,n))}$$

  • 若 $a\mid b$，则有 $\phi (a)\mid \phi (b)$

• 定理四：设 $k\ge 2$
  $$k\phi (n)=n-1$$
  则有

  1. $n=p_1...p_s$，其中 $p_1,...,p_s$ 是不同的奇素数
  2. 若奇素数 $p\mid n$，则 $n$ 不含有 $pt+1$ 形的素因子
  3. 若 $k\not\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}3)$，则 $n\not\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}3)$

3.4 狄利克雷乘积 Dirichlet

• 定义：对任意数论函数 $f(n),g(n)\in \mathcal{F}$，其狄利克雷卷积 $h(n)$ 定义为
  $$f(n)\ast g(n)=h(n)=\sum _{d\mid n}f(d)\cdot g\left(\frac{n}{d}\right)$$

• 定理一：对任意数论函数 $f(n),g(n),k(n)\in \mathcal{F}$，则有交换律和结合律
  $$\begin{gathered} f(n)\ast g(n)=g(n)\ast f(n) \\ (f(n)\ast g(n))\ast k(n)=f(n)\ast (g(n)\ast k(n)) \end{gathered}$$

• 定理二：设单位数论函数（单位元）
  $$\delta (n)=\lfloor \frac{1}{n}\rfloor =\{\begin{array}{l}1,n=1\\ 0,n>1\end{array}$$
  则对于任意数论函数 $f(n)\in \mathcal{F}$，均有
  $$f(n)\ast \delta (n)=\delta (n)\ast f(n)=f(n)$$

• 定理三：狄利克雷逆函数

  • 定义：设 $f\in \mathcal{F}$，若存在 $g\in \mathcal{F}$，使得 $f\ast g=\delta$，则称 $f$ 是狄利克雷可逆，且称 $g$ 为 $f$ 的狄利克雷逆，记为 $g=f^{-1}$

  • 性质：设 $f\in \mathcal{F}$，则

    1. 存在 $f^{-1}⟺f(1)\ne 0$

    2. 设 $f(1)\ne 0$，则 $g=f^{-1}$​ 由递推公式得到
       $$\begin{gathered} g(1)=\frac{1}{f(1)} \\ g(n)=\frac{-1}{f(1)}\sum _{d\mid n,d<n}g\left(\frac{n}{d}\right)f(d),n>1 \end{gathered}$$

3.5 莫比乌斯反演公式

引入：对于 $\phi (n)$ 函数，有
$$\begin{gathered} n=\sum _{d\mid n}\phi (d)=\sum _{d\mid n}\phi \left(\frac{n}{d}\right) \\ \phi (n)=\sum _{d\mid n}\mu (d)\frac{n}{d}=\sum _{d\mid n}\mu \left(\frac{n}{d}\right)d \\ \delta (n)=\lfloor \frac{1}{n}\rfloor =\sum _{d\mid n}\mu (d) \end{gathered}$$

对于一般的，有

• 定义：对于数论函数 $f(n)$ 和 $g(n)$，满足
  $$n=\sum _{d\mid n}g(d)=\sum _{d\mid n}g\left(\frac{n}{d}\right)$$
  则称 $f(n)$ 为 $g(n)$ 的莫比乌斯变换，$g(n)$ 为 $f(n)$ 的莫比乌斯逆变换。

  • 故 $n$ 为 $\phi (n)$ 的莫比乌斯变换。

• 定理：设 $f,g\in \mathcal{F}$，则满足 $n\in Z$ 时，等式有
  $$f(n)=\sum _{d\mid n}g(d)⟺g(n)=\sum _{d\mid n}\mu \left(\frac{n}{d}\right)f(d)$$

  • $例子$：

    1. $\delta (n)=\sum _{d\mid n}\mu (d)⟺\mu (n)=\sum _{d\mid n}\mu \left(\frac{n}{d}\right)\delta (d)$

    2. $n=\sum _{d\mid n}\phi (d)⟺\phi (n)=\sum _{d\mid n}\mu \left(\frac{n}{d}\right)d$

    3. $\log n=\sum _{d\mid n}\Lambda (d)$，$\Lambda (n)=\sum _{d\mid n}-\mu (d)\log d$，

       其中冯曼哥特函数 $\Lambda (n)=\{\begin{array}{l}\log p,若n=p^m,m\ge 1,p为素\\ 0,others\end{array}$

3.6 积性函数

• 定义：对于数论函数 $f(n)\ne 0(n)=0$，则
  • $f(n)$ 为积性函数 $⟺$ 当 $(m,n)=1$ 时，有 $f(mn)=f(m)f(n)$
  • $f(n)$ 为完全积性函数 $⟺$ 对于任意 $m,n$ ，有 $f(mn)=f(m)f(n)$
  • $例子$：
    1. 是积性函数，不是完全积性函数：$\mu (n)$，$\phi (n)$，${\sigma }_{\alpha }(n)=\sum _{d\mid n}{f}_{\alpha }(d)$
    2. 是完全积性函数：$\delta (n)=\lfloor \frac{1}{n}\rfloor$ 和 $f_{\alpha }(n)=n^{\alpha },其中\alpha \in R$
• 定理一：若 $f\in \mathcal{F}$ 为积性函数，则 $f(1)=1$
• 定理二：若 $f,g\in \mathcal{F}$ 为积性函数，则 $f\ast g$ 也是积性函数
• 定理三：若 $f,f\ast g\in \mathcal{F}$ 为积性函数，则 $g$ 也是积性函数
• 定理四：若 $f\in \mathcal{F}$ 为积性函数，则其狄利克雷逆函数 $f^{-1}$ 也是积性函数
• 定理五：若 $f\in \mathcal{F}$ 为积性函数，则 $f$ 为完全积性函数 $⟺f^{-1}(n)=\mu (n)f(n)$

3.7 数论函数 $\pi (n)$

• 定义：$\pi (n)$ 表示不大于 $n$ 的素数的个数。

• 定理一：设 $n\ge 2$，则有
  $$\frac{1}{8}\frac{n}{\log n}\le \pi (n)\le 12\frac{n}{\log n}$$

• 定理二：设 $n\ge 4$，则有
  $$\pi (n)\ge \log 2\frac{n}{\log n}$$

  • Nair 定理：设 $n\ge 7$，则 $d_n=\mathrm{lcm}(1,2,...,n)\ge 2^n$

• 素数定理：$\underset{x\to \infty }{\lim }\frac{\pi (n)}{\frac{x}{\log x}}=1$

3.8 卢卡斯序列 Lucas

• 定义：令 $\alpha$ 和 $\beta$ 为 $x^2-Px+Q=0$ 的两根。记
  $$u_n=\frac{{\alpha }^n-{\beta }^n}{\alpha -\beta },v_n={\alpha }^n+{\beta }^{n}n\in Z^{+}$$
  则称 { u n } n = 0 ∞ , { v n } n = 0 ∞ \{u_n\}_{n=0}^{\infty},\{v_n\}_{n=0}^{\infty} {un​}n=0∞​,{vn​}n=0∞​ 称为Lucas序列。

  • 已知：$\alpha +\beta =P$，$\alpha \beta =Q$

• 定理一：对于 $u_n,v_n\in Z$​，则 对于 $n\ge 2$，有循环序列，
  $$\begin{gathered} u_0=0,u_1=1,u_n=P{u}_{n-1}-Q{u}_{n-2} \\ {v}_0=2,v_1=P,v_n=P{v}_{n-1}-Q{v}_{n-2} \end{gathered}$$

• 定理二：序列 $u_n,v_n$ 满足性质

  1. $u_{2n}=u_n{v}_n$
  2. $v_n^2-(\alpha -\beta {)}^2{u}_n^2=4Q^n$
  3. $2u_{m+n}=u_m{v}_n+u_n{v}_m$
  4. $2v_{m-n}=D{u}_m{u}_n+v_m{v}_n,D=P^2-4Q$
  5. $u_n^2-u_{n-1}{u}_{n+1}=Q^{n-1}$

• 定理三：设 $p$ 为素数，对于 $l\in Z^{+}$，使得 $p\mid u_l$ 且 $l$ 最小，则
  $$p\mid u_n⟺l\mid n$$