📂整数論

一般化されたディリクレ積

定義 ¹

$F : \mathbb{R}^{+} \to \mathbb{C}$を$x \in (0,1)$であり、$F(x) = 0$とする関数としよう。任意の算術関数 $\alpha$に対する以下の操作$\circ$を一般化されたディリクレ積と定義する。 $$ (\alpha \circ F)(x) := \sum_{n \le x} \alpha (n) F \left( {{ x } \over { n }} \right) $$

基本性質

$\alpha$と$\beta$を算術関数とし、$F , G : \mathbb{R}^{+} \to \mathbb{C}$を$x \in (0,1)$で関数値が$0$である関数としよう。

• [1]: $\alpha \circ \left( \beta \circ F \right) = \left( \alpha \ast\ \beta \right) \circ F$
• [2] 左単位元: $(I \circ F) = F$
• [3] 一般化された逆公式: $\alpha$が逆数$\alpha^{-1}$を持てば $$ G(x) = \sum_{n \le x} \alpha (n) F \left( {{ x } \over { n }} \right) \iff F(x) = \sum_{n \le x} \alpha^{-1} (n) G \left( {{ x } \over { n }} \right) $$
• [4] 一般化されたメビウスの逆公式: $\alpha$が完全乗法的ならば $$ G(x) = \sum_{n \le x} \alpha (n) F \left( {{ x } \over { n }} \right) \iff F(x) = \sum_{n \le x} \mu (n) \alpha (n) G \left( {{ x } \over { n }} \right) $$

説明

一般化されたディリクレ積は、解析的整数論全般でよく登場する。元の畳み込みと異なる点は、二つの関数のうち一つは算術関数でなくても良く、$\sum$のインデックスが$d \mid n$から$n \le x$に変更された点だ。もし$F$が$x \notin \mathbb{N}$であるすべての場所で$F(x) = 0$である算術関数ならば、$\circ$は正確に$\ast$となる。つまり、すべての$m \in \mathbb{N}$に対して $$ (\alpha \circ F) (m) = (\alpha \ast\ F)(m) $$ だから$\circ$を$\ast$の一般化と呼ぶのだ。このような操作$\circ$は一般には結合法則や交換法則が成立しないかもしれない。定義から明らかに、演算子の左側は算術関数でなければならない制約があるため、定理[2]が単なる単位元ではなく左単位元に関する性質を言及しているのだ。

定理[4]は、メビウスの逆公式の一般化であり、算術関数$\alpha$ではなく拡張された関数$F$と$G$に着目する点に注意が必要だ。

[1]

$x > 0$に対して $$ \begin{align*} \left[ \alpha \circ \left( \beta \circ F \right) \right] (x) =& \sum_{n \le x} \alpha (n) \sum_{m \le x/n} \beta (m) F \left( {{ x } \over { mn }} \right) \\ =& \sum_{mn \le x} \alpha (n) \beta (m) F \left( {{ x } \over { mn }} \right) \\ =& \sum_{k \le x} \left[ \sum_{n \mid k } \alpha (n) \beta \left( {{ k } \over { n }} \right) \right] F \left( {{ x } \over { k }} \right) \\ =& \sum_{k \le x} ( \alpha \ast\ \beta ) (k) F \left( {{ x } \over { k }} \right) \\ =& \left[ ( \alpha \ast\ \beta ) \circ F \right] (x) \end{align*} $$

■

[2]

アイデンティティ $I$はすべての$m \in \mathbb{N}$に対して$I(n) = [1/n]$なので $$ (I \circ F)(x) = \sum_{n \le x} \left[ {{ 1 } \over { n }} \right] F \left( {{ x } \over { n }} \right) = F(x) $$

■

[3]

$G = \alpha \circ F$ならば**定理[1]**と定理[2]により $$ \alpha^{-1} \circ G = \alpha^{-1} \circ \left( \alpha \circ F \right) = \left( \alpha^{-1} \ast\ \alpha \right) \circ F = I \circ F = F $$ 逆方向の証明も同様だ。

■

[4]

完全乗法的関数の性質$f$が乗法的であれば、$f$が完全乗法的関数であることと$f$のディリクレ積に対する逆数$f^{-1}$が次のようになることとが等価である。 $$ f^{-1} (n) = \mu (n) f (n) $$

$\alpha$は完全乗法的と仮定されているので、$\alpha^{-1} (n) = \mu (n) \alpha (n)$に対して**定理[3]**を適用すると結果が得られる。

■

参照

• 算術関数のディリクレ積