logo

一般化されたディリクレ積 📂整数論

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

定義 1

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

基本性質

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

  • [1]: α(βF)=(α β)F\alpha \circ \left( \beta \circ F \right) = \left( \alpha \ast\ \beta \right) \circ F
  • [2] 左単位元: (IF)=F(I \circ F) = F
  • [3] 一般化された逆公式: α\alpha逆数α1\alpha^{-1}を持てば G(x)=nxα(n)F(xn)    F(x)=nxα1(n)G(xn) 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)=nxα(n)F(xn)    F(x)=nxμ(n)α(n)G(xn) 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のインデックスがdnd \mid nからnxn \le xに変更された点だ。もしFFxNx \notin \mathbb{N}であるすべての場所でF(x)=0F(x) = 0である算術関数ならば、\circは正確に\astとなる。つまり、すべてのmNm \in \mathbb{N}に対して (αF)(m)=(α F)(m) (\alpha \circ F) (m) = (\alpha \ast\ F)(m) だから\circ\astの一般化と呼ぶのだ。このような操作\circは一般には結合法則や交換法則が成立しないかもしれない。定義から明らかに、演算子の左側は算術関数でなければならない制約があるため、定理[2]が単なる単位元ではなく左単位元に関する性質を言及しているのだ。

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

[1]

x>0x > 0に対して [α(βF)](x)=nxα(n)mx/nβ(m)F(xmn)=mnxα(n)β(m)F(xmn)=kx[nkα(n)β(kn)]F(xk)=kx(α β)(k)F(xk)=[(α β)F](x) \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]

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

[3]

G=αFG = \alpha \circ Fならば**定理[1]**と定理[2]により α1G=α1(αF)=(α1 α)F=IF=F \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]

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

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

参照


  1. Apostol. (1976). Introduction to Analytic Number Theory: p39. ↩︎