算術関数のディリクレ積
📂整数論算術関数のディリクレ積
定義
二つの算術関数f、gに対し、以下を満たす算術関数hをfとgのディリクレ積と呼ぶ。
h(n)=d∣n∑f(d)g(dn)
ディリクレ積はh(n)=(f∗g)(n)やh=f∗gとして表現される。
説明
ディリクレ積は、その形から推測できるように、畳み込みとも呼ばれる。この定義で算術関数を単にad、bn/dと記述することは非常に不便であると想像できる。
畳み込み∗について、算術関数の集合は、次のような基本的な代数的性質を持つ。解析的整数論に興味があるならば、2項演算∗を算術関数の集合Aに適用して得られるアーベル群(A,∗)を思い浮かべることが自然であろう。残念ながら、正確な答えは「いいえ」だが、もっと適切な条件を提供することで、アーベル群を形成することができる。
一方で畳み込みは、掛け合わされる二つの関数のうち一方が算術関数でなくてもよいように一般化される。
基本性質
- [1] 結合法則:
(f∗g)∗k=f∗(g∗k)
- [2] 交換法則:
f∗g=g∗f
証明
[1]
A=f∗g、B:=(g∗k)とすると
(f∗g)∗k========A∗kcm=n∑A(m)k(c)cm=n∑[ab=m∑f(a)g(b)]k(c)abc=n∑f(a)g(b)k(c)am=n∑f(a)[bc=m∑g(b)k(c)]am=n∑f(a)B(m)f∗Bf∗(g∗k)
■
[2]
(f∗g)(n)=====d∣n∑f(d)g(dn)ab=n∑f(a)g(b)ab=n∑g(b)f(a)d∣n∑g(d)f(dn)(g∗f)(n)
■
一般化