数学において, ディリクレの畳み込み(英: Dirichlet convolution, divisor convolution)はペーター・グスタフ・ディリクレによって定義された数論的関数に対して定義される二項演算である。この演算は数論において重要な役割を果たす。
定義
が正の整数から複素数への数論的関数であるとき, Dirichletの畳み込み f ∗ g とは以下のように定義される数論的関数である:
ここで総和は n の全ての正の約数 d を渡る. 言い換えると,全ての積が n となる正の整数の異なる組 (a, b) を渡る.
この積はリーマンゼータ関数のようなディリクレ級数の研究から自然に現れ, 二つのディリクレ級数の積の係数を表す:
性質
数論的関数の集合は可換環となる。この環をディリクレ環という, 演算は点ごとに定義され, f + g は (f + g)(n) = f(n) + g(n), 乗法はディリクレの畳み込みで定義される. 乗法単位元は ε(n) = 1 if n = 1 and ε(n) = 0 if n > 1で定義される単位関数εである. この環の可逆元 (単元) はf(1) ≠ 0となる数論的関数f である.
特に, ディリクレの畳み込みは結合法則が成り立つ,
和に対し分配法則,
- ,
交換法則が成立し,
- ,
単位元が存在する.
- = .
さらに, となる に対し, となる数論的関数 が存在し, のディリクレ逆元と呼ぶ.
乗法的関数のディリクレの畳み込みも乗法的で, 任意の恒等的に0でない乗法的関数はディリクレ逆元を持つ. 言い換えると, 乗法的関数はディリクレ環の可逆元の部分集合をなす. ただし、乗法的関数同士の和は乗法的関数ではない(), そのため乗法的関数の部分集合はディリクレ環の部分環ではない. 乗法的関数の記事には、重要な乗法関数間の畳み込み関係がいくつか挙げられている.
他の数論的関数の演算には点ごとに積を取るというものがある: fgは(fg)(n) = f(n) g(n)で定義される. 完全乗法的関数 を与えられたとき, の点ごとの積はディリクレの畳み込みに分配される: . 完全乗法的関数同士の積は乗法的だが完全乗法的とは限らない.
具体例
これらの式では、以下の数論的関数を使用する:
- は乗法的単位元: , otherwise 0 ().
- は恒等的に1を返す定数関数: for all . 単位元ではないことに気をつけよ. (対応するディリクレ関数はリーマンゼータ関数なので と表記する著者もいる.)
- for は指示関数: iff , otherwise 0.
- は恒等関数: .
- はk乗関数: .
以下のような関係式が成立する:
- , 定数関数 のディリクレ逆元はメビウス関数. したがって:
- と は同値, メビウスの反転公式
- , the 約数関数 σk
- , 正の約数の和 σ = σ1
- , 正の約数の個数 τ(n) = σ0
- メビウスの反転公式をσk, σ, τに用いて
- , オイラーのφ関数 φ
- , メビウスの反転公式より
- , の両辺に 1 を畳み込むことで得られる
- , リウヴィル関数 λ
- , 平方数の集合 Sq = {1, 4, 9, ...}
- , ジョルダンのトーシェント関数
- , フォン・マンゴルト関数
- プライムオメガ関数 (nの異なる素因数の個数)
- , 素数冪の特性関数
- , は素数の特性関数
この最後の恒等式は、素数計数関数が以下の和関数で与えられることを示している。
ここで はメルテンス関数(1からnまでμ(k)を足したもの)そして はプライムオメガ関数. この展開は、約数和等式(これらの和に対する標準的なトリック)のページで与えられたディリクレ畳み込みに対する和の恒等式から導かれる.[1]
ディリクレ逆元
具体例
数論的関数 が与えられたとき, そのディリクレ逆元 はk脳的に計算される: の値は for の値から,
のとき:
- , よって
- . これより は のときディリクレ逆元を持たないことがわかる.
のとき:
- ,
- ,
のとき:
- ,
- ,
のとき:
-
一般に のとき,
性質
ディリクレ逆元は以下のような性質を持つ:
- 関数 f がディリクレ逆元を持つことと f(1) ≠ 0 は同値.
- 乗法的関数のディリクレ逆元も乗法的.
- ディリクレ畳み込みのディリクレ逆元はその関数の逆元の畳み込み: .
- 乗法的関数 f が完全乗法的関数であることと であることは同値.
- f が完全乗法的関数のとき かつ が関数の点ごとの積を表すならば .
他の関係式
数論的関数 | ディリクレ逆元: |
定数関数 1 | メビウス関数 μ |
| |
リウヴィル関数 λ | メビウス関数の絶対値 |μ| |
オイラーのφ関数 | |
一般化約数関数 | |
任意の数論的関数 f のディリクレ逆関数に対する厳密で非再帰的な公式は、約数和等式で与えられる. f のディリクレ逆関数のより自然数の分割のような考えを用いた式は次式で与えられる:
次の等式は、可逆数論的関数 f のディリクレ逆関数をコンパクトに表現する方法である:
ここで は数論的関数 をそれ自身と k 回畳み込んだものを意味する. 固定された自然数 に対し, ならば であることに注意せよ( と任意の n の k 個の正の整数の積による表現法は必ず 1 を含むことより). よって右辺の級数は任意の正の整数 n に対し収束する.
ディリクレ級数
f が数論的関数ならば母関数としてのディリクレ級数が次のように定義される:
は、級数が収束する複素数引数 s (もしあれば)が定義域である。ディリクレ級数の乗算は,以下の意味でディリクレ畳み込みと互換性がある:
左辺の両級数が収束するすべてのsについて,少なくとも一方は絶対的に収束する(左辺の両級数の収束は右辺の収束を意味しないことに注意!). これは,ディリクレ級数をフーリエ変換と考えれば,畳み込み定理に似ている.
関連する概念
畳み込みの約数を単約数, 二重単約数, または無限重単約数に制限することで、ディリクレ畳み込みと多くの特徴を共有する同様の可換演算が定義される(メビウス反転公式の存在, 乗法的性質の持続、トーシェントの定義, 関連する素数上のオイラー型積公式など).
ディリクレ畳み込みは、順序集合の隣接代数に対する畳み込み積の特殊な場合であり, この場合, 被整除性で整列された正整数の順序集合である。
関連項目
参考文献
- ^ Schmidt, Maxie. Apostol's Introduction to Analytic Number Theory This identity is a little special something I call "croutons". It follows from several chapters worth of exercises in Apostol's classic book.
- Apostol, Tom M. (1976), Introduction to analytic number theory, Undergraduate Texts in Mathematics, New York-Heidelberg: Springer-Verlag, ISBN 978-0-387-90163-3, MR0434929, Zbl 0335.10001
- Chan, Heng Huat (2009). Analytic Number Theory for Undergraduates. Monographs in Number Theory. World Scientific Publishing Company. ISBN 978-981-4271-36-3
- Hugh L. Montgomery; Robert C. Vaughan (2007). Multiplicative number theory I. Classical theory. Cambridge tracts in advanced mathematics. 97. Cambridge: Cambridge Univ. Press. p. 38. ISBN 978-0-521-84903-6
- Cohen, Eckford. “A class of residue systems (mod r) and related arithmetical functions. I. A generalization of Möbius inversion”. Pacific J. Math. 9 (1): pp. 13–23
- Cohen, Eckford (1960). “Arithmetical functions associated with the unitary divisors of an integer”. Mathematische Zeitschrift 74: 66–80. doi:10.1007/BF01180473. MR0112861.
- Cohen, Eckford. “The number of unitary divisors of an integer”. American Mathematical Monthly 67 (9): pp. 879–880
- Cohen, Graeme L. (1990). “On an integers' infinitary divisors”. Math. Comp. 54 (189): 395–411. doi:10.1090/S0025-5718-1990-0993927-5. MR0993927.
- Cohen, Graeme L. (1993). “Arithmetic functions associated with infinitary divisors of an integer”. Int. J. Math. Math. Sci. 16 (2): 373–383. doi:10.1155/S0161171293000456.
- Sandor, Jozsef; Berge, Antal (2003). “The Möbius function: generalizations and extensions”. Adv. Stud. Contemp. Math. (Kyungshang) 6 (2): 77–128. MR1962765.
- Finch (2004年). “Unitarism and Infinitarism”. 2015年2月22日時点のオリジナルよりアーカイブ。 Template:Cite webの呼び出しエラー:引数 accessdate は必須です。
外部リンク
- Hazewinkel, Michiel, ed. (2001), “Dirichlet convolution”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=p/d130150
Template:Peter Gustav Lejeune Dirichlet