メビウスの反転公式

$$\newcommand{AA}[0]{\mathscr{A}} \newcommand{abs}[1]{\left\lvert#1\right\rvert} \newcommand{BB}[0]{\mathscr{B}} \newcommand{bbe}[0]{\mathbb{e}} \newcommand{Bu}[0]{\mathbf{u}} \newcommand{Bv}[0]{\mathbf{v}} \newcommand{C}[0]{\mathbb{C}} \newcommand{CC}[0]{\mathscr{C}} \newcommand{F}[0]{\mathbb{F}} \newcommand{floor}[1]{\left\lfloor#1\right\rfloor} \newcommand{ind}[0]{\operatorname{ind}} \newcommand{K}[0]{\mathbb{K}} \newcommand{LCM}[0]{\mathrm{LCM}} \newcommand{Mod}[1]{\ \left(\mathrm{mod}\ #1\right)} \newcommand{N}[0]{\mathbb{N}} \newcommand{nequiv}[0]{\not\equiv} \newcommand{ord}[0]{\operatorname{Ord}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{Z}[0]{\mathbb{Z}} $$

Mobiusの第1反転公式

接合積の定義および メビウス関数:定理1 から
$$\mathbb{1}*\mu(N)=\sum_{d\mid N}\mu(d)=\bbe(N)$$
となるので、次のMobiusの第1反転公式が得られる。

Mobiousの第1反転公式

数論的関数 $f(N)$ に対し、
$$g(N)=\sum_{d\mid N}f(d)$$
により、$g(N)$ を定めると
$$f(N)=\sum_{d\mid N}\mu(d)g(d)$$
が成り立つ。また、この逆もいえる。

メビウス関数:定理1 より
$$\mathbb{1}*f=g\Longleftrightarrow f=\mu*g$$
から、すぐにわかる。

von-Mangoldt関数 $\Lambda(n)$$n=p^e$ が素数のべきであるとき $\log p$, それ以外のとき $0$ をとる関数と定めると
$$\mathbb{1}*\Lambda=\log$$
となる。実際 $n=\prod_{i=1}^r p_i^{e_i}$ と素因数分解すると
$$\begin{split} \mathbb{1}*\Lambda(n)= & \sum_{d\mid n}\Lambda(n)=\sum_{p^e\mid n}\log p \\ = & \sum_{i=1}^r \sum_{e=1}^{e_i}\log p_i=\sum_{i=1}^r e_i\log p_i=\log n \end{split}$$
となる。よって
$$\Lambda=\mu*\log$$
つまり
$$\Lambda(n)=\sum_{d\mid n}\mu(d)\log\frac{n}{d}$$
が成り立つ。

参考文献

[1]
G. H. Hardy and E. M. Wright, revised by D. R. Heath-Brown and J. H. Silverman, An Introduction to the Theory of Numbers, 6th Ed., Oxford University Press, 2008
[2]
G. H. Hardy and E. M. Wright, 訳: 示野 信一、矢神 毅, 数論入門I 原書6版, 数学クラシックス, 丸善出版, 2022
[3]
G. H. Hardy and E. M. Wright, 訳: 示野 信一、矢神 毅, 数論入門II 原書6版, 数学クラシックス, 丸善出版, 2022
[5]
D. P. Parent, Exercises in Number Theory, Springer-Verlag, 1984
[6]
Trygve Nagell, Introduction to Number Theory, Reprint Edition, American Mathematical Society (original: John Wiler & Sons, Inc.), 2001
[7]
Paulo Ribenboim, The New Book of Prime Number Records (3rd ed. pbk.), Springer, 2013
[9]
Edouard Lucas, Théorie des nombres, Gauthier-Villars, 1891
[11]
D. P. Parent, Exercices des théorie des nombres, BORDAS, 1978
[12]
H. C. Pocklington, The determination of the prime or composite nature of large numbers by Fermat's theorem, Proc. Cambridge Phil. Soc., 1914, 29
[15]
F. Proth, Théorèmes sur les nombres premiers, C. R. Acad. Sci., 87, 926
Mathpediaを支援する

現在のページ

メビウスの反転公式
前のページへ
36 / 38
次のページへ
前ページへ
初等整数論の表紙
次ページへ