logo

算術関数のディリクレ積 📂整数論

算術関数のディリクレ積

定義 1

二つの算術関数ffggに対し、以下を満たす算術関数hhffggディリクレ積と呼ぶ。 h(n)=dnf(d)g(nd) h(n) = \sum_{d \mid n} f(d) g \left( {{ n } \over { d }} \right) ディリクレ積はh(n)=(fg)(n)h (n) = \left( f \ast g \right) (n) h=fgh = f \ast gとして表現される。

説明

ディリクレ積は、その形から推測できるように、畳み込みとも呼ばれる。この定義で算術関数を単にada_{d}bn/db_{n/d}と記述することは非常に不便であると想像できる。

畳み込み\astについて、算術関数の集合は、次のような基本的な代数的性質を持つ。解析的整数論に興味があるならば、2項演算\astを算術関数の集合AAに適用して得られるアーベル群(A,)(A,*)を思い浮かべることが自然であろう。残念ながら、正確な答えは「いいえ」だが、もっと適切な条件を提供することで、アーベル群を形成することができる

一方で畳み込みは、掛け合わされる二つの関数のうち一方が算術関数でなくてもよいように一般化される。

基本性質

  • [1] 結合法則: (fg)k=f(gk) \left( f \ast g \right) \ast k = f \ast (g \ast k)
  • [2] 交換法則: fg=gf f \ast g = g \ast f

証明

[1]

A=fgA = f \ast gB:=(gk)B := (g \ast k)とすると (fg)k=Ak=cm=nA(m)k(c)=cm=n[ab=mf(a)g(b)]k(c)=abc=nf(a)g(b)k(c)=am=nf(a)[bc=mg(b)k(c)]=am=nf(a)B(m)=fB=f(gk) \begin{align*} \left( f \ast g \right) \ast k =& A \ast k \\ =& \sum_{cm = n} A(m) k(c) \\ =& \sum_{cm=n} \left[ \sum_{ab=m} f(a) g(b) \right] k(c) \\ =& \sum_{abc=n} f(a) g(b) k(c) \\ =& \sum_{am=n} f(a) \left[ \sum_{bc=m} g(b) k(c) \right] \\ =& \sum_{am=n} f(a) B(m) \\ =& f \ast B \\ =& f \ast (g \ast k) \end{align*}

[2]

(fg)(n)=dnf(d)g(nd)=ab=nf(a)g(b)=ab=ng(b)f(a)=dng(d)f(nd)=(gf)(n) \begin{align*} \left( f \ast g \right)(n) =& \sum_{d \mid n} f(d) g \left( {{ n } \over { d }} \right) \\ =& \sum_{ab=n} f(a) g(b) \\ =& \sum_{ab=n} g(b) f(a) \\ =& \sum_{d \mid n} g(d) f\left( {{ n } \over { d }} \right) \\ =& (g \ast f)(n) \end{align*}

一般化


  1. アポストル. (1976). 解析的整数論入門: p29. ↩︎