ディリクレの畳み込みのソースを表示

{{脚注の不足|date=June 2018}}

[[数学]]において, ディリクレ'''の畳み込み'''（ディリクレのたたみこみ、英: Dirichlet convolution, divisor convolution）は[[ペーター・グスタフ・ディリクレ]]によって定義された[[数論的関数]]に対して定義される[[二項演算]]である。この演算は[[数論]]において重要な役割を果たす。

== 定義 ==
<math>f , g : \mathbb{N}\to\mathbb{C}</math> が正の[[整数]]から[[複素数]]への数論的関数であるとき, ''Dirichletの[[畳み込み]]'' {{Nowrap|''f'' ∗ ''g''}} とは以下のように定義される数論的関数である:

: <math>
(f*g)(n) \ =\ \sum_{d\,\mid \,n} f(d)\,g\!\left(\frac{n}{d}\right) \ =\  \sum_{ab\,=\,n}\!f(a)\,g(b)
</math>

ここで総和は ''n'' の全ての正の[[約数]] ''d'' を渡る. 言い換えると,全ての積が ''n'' となる正の整数の異なる組 {{Nowrap|(''a'', ''b'')}} を渡る.

この積は[[リーマンゼータ関数]]のような[[ディリクレ級数]]の研究から自然に現れ, 二つのディリクレ級数の積の係数を表す:

: <math>\left(\sum_{n\geq 1}\frac{f(n)}{n^s}\right)
\left(\sum_{n\geq 1}\frac{g(n)}{n^s}\right)
\ = \ 
\left(\sum_{n\geq 1}\frac{(f*g)(n)}{n^s}\right).
</math>

== 性質 ==
数論的関数の集合は[[可換環]]となる。この環を'''ディリクレ環'''という, 演算は[[点ごと]]に定義され, {{Nowrap|''f'' + ''g''}} は {{Nowrap|1=(''f'' + ''g'')(''n'') = ''f''(''n'') + ''g''(''n'')}}, 乗法はディリクレの畳み込みで定義される. 乗法単位元は {{Nowrap|1=''ε''(''n'') = 1}} if {{Nowrap|1=''n'' = 1}} and {{Nowrap|1=''ε''(''n'') = 0}} if {{Nowrap|''n'' > 1}}で定義される[[単位関数]]''ε''である. この環の[[可逆元]] (単元) は{{Nowrap|''f''(1) ≠ 0}}となる数論的関数''f'' である.

特に, ディリクレの畳み込みは[[結合法則]]が成り立つ,

: <math>(f * g) * h = f * (g * h),</math>

和に対し[[分配法則]],

: <math>f * (g + h) = f * g + f * h</math>,

[[交換法則]]が成立し,

: <math>f * g = g * f</math>,

単位元が存在する.

: <math>f * \varepsilon</math> = <math>\varepsilon * f = f</math>.

さらに, <math>f(1) \neq 0</math>となる<math>f</math> に対し, <math>f * f^{-1} = \varepsilon</math>となる数論的関数 <math>f^{-1}</math>が存在し, <math>f</math>の'''ディリクレ逆元'''と呼ぶ.

[[乗法的関数]]のディリクレの畳み込みも乗法的で, 任意の恒等的に0でない乗法的関数はディリクレ逆元を持つ. 言い換えると, 乗法的関数はディリクレ環の可逆元の部分集合をなす. ただし、乗法的関数同士の和は乗法的関数ではない(<math>(f+g)(1)=f(1)+g(1)=2 \neq 1</math>), そのため乗法的関数の部分集合はディリクレ環の部分環ではない. 乗法的関数の記事には、重要な乗法関数間の畳み込み関係がいくつか挙げられている.

他の数論的関数の演算には点ごとに積を取るというものがある:  {{Nowrap|''fg''}}は{{Nowrap|1=(''fg'')(''n'') = ''f''(''n'') ''g''(''n'')}}で定義される. [[完全乗法的関数]] <math>h</math>を与えられたとき, <math>h</math> の点ごとの積はディリクレの畳み込みに分配される: <math>(f * g)h = (fh) * (gh)</math>. 完全乗法的関数同士の積は乗法的だが完全乗法的とは限らない.

== 具体例 ==
これらの式では、以下の[[数論的関数]]を使用する:

* <math>\varepsilon</math> は乗法的単位元: <math>\varepsilon(1) = 1</math>, otherwise 0 (<math>\varepsilon(n)=\lfloor \tfrac1n \rfloor</math>).
* <math>1</math> は恒等的に1を返す定数関数:  <math>1(n) = 1</math> for all <math>n</math>. <math>1</math> 単位元ではないことに気をつけよ. (対応するディリクレ関数は[[リーマンゼータ関数]]なので <math>\zeta</math> と[[隣接代数 (順序理論)|表記する]]著者もいる.)
* <math>1_C</math> for <math>C \subset \mathbb{N}</math> は[[指示関数]]:  <math>1_C(n) = 1</math> iff <math>n \in C</math>, otherwise 0.
* <math>\text{Id}</math> は恒等関数:  <math>\text{Id}(n) = n</math>.
* <math>\text{Id}_k</math>は''k''乗関数:  <math>\text{Id}_k(n)=n^k</math>.

以下のような関係式が成立する:

* <math>1 * \mu = \varepsilon</math>, 定数関数 <math>1</math> のディリクレ逆元は[[メビウス関数]]. したがって:
* <math>g = f * 1</math>  と <math>f = g * \mu</math> は同値, [[メビウスの反転公式]]
* <math>\sigma_k = \text{Id}_k * 1</math>, the [[約数関数]] ''σ''<sub>''k''</sub>
* <math>\sigma = \text{Id} * 1</math>, 正の約数の和 {{Nowrap|1=''σ'' = ''σ''<sub>1</sub>}}
* <math>\tau = 1 * 1</math> , 正の約数の個数 {{Nowrap|1=''τ''(''n'') = ''σ''<sub>0</sub>}}
* メビウスの反転公式を''σ''<sub>''k''</sub>, ''σ'', ''τ''に用いて<math>\text{Id}_k = \sigma_k * \mu</math>
* <math>\text{Id} = \sigma * \mu</math>
* <math>1 = \tau * \mu</math>
* <math>\phi * 1 = \text{Id}</math> , [[オイラーのφ関数]] ''φ''
* <math>\phi = \text{Id} * \mu</math> , メビウスの反転公式より
* <math>\sigma = \phi * \tau</math>  , <math>\phi * 1 = \text{Id}</math> の両辺に ''1'' を畳み込むことで得られる
* <math>\lambda * |\mu| = \varepsilon</math> , [[リウヴィル関数]] ''λ''
* <math>\lambda * 1 = 1_{\text{Sq}}</math> , 平方数の集合 Sq = {1, 4, 9, ...}
* <math>\text{Id}_k * (\text{Id}_k \mu) = \varepsilon </math>
* <math>\tau^3 * 1 = (\tau * 1)^2</math>
* <math>J_k * 1 = \text{Id}_k</math>,  ジョルダンのトーシェント関数
* <math>(\text{Id}_s J_r) * J_s = J_{s + r} </math>
* <math>\Lambda * 1 = \log</math>, [[フォン・マンゴルト関数]] <math>\Lambda</math>
* <math>|\mu| \ast 1 = 2^{\omega},</math> [[プライムオメガ関数]] <math>\omega(n)</math> (''n''の異なる素因数の個数)
* <math>\Omega \ast \mu = 1_{\mathcal{P}}</math>, [[素数冪]]の特性関数
* <math>\omega \ast \mu = 1_{\mathbb{P}}</math> , <math>1_{\mathbb{P}}(n) \mapsto \{0,1\}</math> は素数の特性関数

この最後の恒等式は、[[素数計数関数]]が以下の和関数で与えられることを示している。

: <math>\pi(x) = \sum_{n \leq x} (\omega \ast \mu)(n) = \sum_{d=1}^{x} \omega(d) M\left(\left\lfloor \frac{x}{d} \right\rfloor\right)</math>

ここで <math>M(x)</math> は[[メルテンス関数]]（1からnまでμ(k)を足したもの）そして <math>\omega</math> はプライムオメガ関数. この展開は、約数和等式（これらの和に対する標準的なトリック）のページで与えられたディリクレ畳み込みに対する和の恒等式から導かれる.<ref>{{Cite book |title=Apostol's Introduction to Analytic Number Theory |last=Schmidt |first=Maxie}} This identity is a little special something I call "croutons". It follows from several chapters worth of exercises in Apostol's classic book.</ref>

== ディリクレ逆元 ==

=== 具体例 ===
数論的関数 <math>f</math> が与えられたとき, そのディリクレ逆元 <math>g = f^{-1} </math> はk脳的に計算される: <math>g(n) </math> の値は <math>g(m)</math> for <math>m<n</math> の値から,


<math>n=1</math> のとき:

: <math>(f * g) (1) = f(1) g(1) = \varepsilon(1) = 1 </math>, よって
: <math>g(1) = 1/f(1)</math>. これより <math>f</math> は <math>f(1) = 0</math> のときディリクレ逆元を持たないことがわかる.

<math>n=2</math> のとき:

: <math>(f * g) (2) = f(1) g(2) + f(2) g(1) = \varepsilon(2) = 0</math>,
: <math>g(2) = -(f(2) g(1))/f(1) </math>,

<math>n=3</math> のとき:

: <math>(f * g) (3) = f(1) g(3) + f(3) g(1) = \varepsilon(3) = 0</math>,
: <math>g(3) = -(f(3) g(1))/f(1) </math>,

<math>n=4</math> のとき:

: <math>(f * g) (4) = f(1) g(4) + f(2) g(2) + f(4) g(1) = \varepsilon(4) = 0,</math><math>g(4) = -(f(4) g(1) + f(2) g(2)) / f(1),</math>
:: 

一般に <math>n>1</math> のとき,

: <math>
g(n) \ =\ 
\frac {-1}{f(1)} \mathop{\sum_{d\,\mid \,n}}_{d < n}
f\left(\frac{n}{d}\right) g(d).
</math>

=== 性質 ===
ディリクレ逆元は以下のような性質を持つ:

* 関数 ''f'' がディリクレ逆元を持つことと {{Nowrap|''f''(1) ≠ 0}} は同値.
* [[乗法的関数]]のディリクレ逆元も乗法的.
* ディリクレ畳み込みのディリクレ逆元はその関数の逆元の畳み込み: <math>(f \ast g)^{-1} = f^{-1} \ast g^{-1}</math>.
* 乗法的関数 ''f'' が完全乗法的関数であることと<math>f^{-1}(n) = \mu(n) f(n)</math> であることは同値.
* ''f'' が[[完全乗法的関数]]のとき <math>g(1) \neq 0</math> かつ <math>\cdot</math> が関数の点ごとの積を表すならば <math>(f \cdot g)^{-1} = f \cdot g^{-1}</math>.

=== 他の関係式 ===
{| class="wikitable" border="1"
!数論的関数
!ディリクレ逆元:
|-
|定数関数 1
|[[メビウス関数]] ''μ''
|-
|<math>n^{\alpha}</math>
|<math>\mu(n) \,n^\alpha</math>
|-
|[[リウヴィル関数]] ''λ''
|メビウス関数の絶対値 {{Abs|''μ''}}
|-
|[[オイラーのφ関数]] <math>\varphi</math>
|<math>\sum_{d|n} d\, \mu(d)</math>
|-
|[[約数関数|一般化約数関数]] <math>\sigma_{\alpha}</math>
|<math>\sum_{d|n} d^{\alpha} \mu(d) \mu\left(\frac{n}{d}\right)</math>
|}
任意の[[数論的関数]] ''f'' のディリクレ逆関数に対する厳密で非再帰的な公式は、約数和等式で与えられる. ''f'' のディリクレ逆関数のより[[自然数の分割]]のような考えを用いた式は次式で与えられる: 

: <math>f^{-1}(n) = \sum_{k=1}^{\Omega(n)} \left\{ 
     \sum_{{\lambda_1+2\lambda_2+\cdots+k\lambda_k=n} \atop {\lambda_1, \lambda_2, \ldots, \lambda_k | n}} 
     \frac{(\lambda_1+\lambda_2+\cdots+\lambda_k)!}{1! 2! \cdots k!} 
     (-1)^k f(\lambda_1) f(\lambda_2)^2 \cdots f(\lambda_k)^k\right\}.</math>

次の等式は、可逆数論的関数 ''f'' のディリクレ逆関数をコンパクトに表現する方法である:

<math>f^{-1}=\sum_{k=0}^{+\infty}\frac{(f(1)\varepsilon-f)^{*k}}{f(1)^{k+1}}</math>

ここで <math>(f(1)\varepsilon-f)^{*k}</math> は数論的関数 <math>f(1)\varepsilon-f</math> をそれ自身と ''k'' 回畳み込んだものを意味する. 固定された自然数 <math>n</math> に対し, <math>k>\Omega(n)</math> ならば <math>(f(1)\varepsilon-f)^{*k}(n)=0</math> であることに注意せよ（<math>f(1)\varepsilon(1) - f(1) = 0</math> と任意の ''n'' の ''k'' 個の正の整数の積による表現法は必ず 1 を含むことより）. よって右辺の級数は任意の正の整数 ''n'' に対し収束する''.''

== ディリクレ級数 ==
''f'' が数論的関数ならば[[母関数#母関数としてのディリクレ級数|母関数]]としての[[ディリクレ級数]]が次のように定義される:

: <math>
DG(f;s) = \sum_{n=1}^\infty \frac{f(n)}{n^s}
</math>

は、級数が収束する[[複素数]]引数 ''s'' （もしあれば）が定義域である。ディリクレ級数の乗算は,以下の意味でディリクレ畳み込みと互換性がある:

: <math>
DG(f;s) DG(g;s) = DG(f*g;s)\,
</math>

左辺の両級数が収束するすべてのsについて,少なくとも一方は絶対的に収束する（左辺の両級数の収束は右辺の収束を意味しないことに注意！）. これは，ディリクレ級数を[[フーリエ変換]]と考えれば，畳み込み定理に似ている.

== 関連する概念 ==
畳み込みの約数を[[単約数]], [[単約数|二重単約数]], または[[単約数|無限重単約数]]に制限することで、ディリクレ畳み込みと多くの特徴を共有する同様の可換演算が定義される（メビウス反転公式の存在, 乗法的性質の持続、トーシェントの定義, 関連する素数上のオイラー型積公式など）.

ディリクレ畳み込みは、[[順序集合]]の[[隣接代数 (順序理論)|隣接代数]]に対する畳み込み積の特殊な場合であり, この場合, 被整除性で整列された正整数の順序集合である。

== 関連項目 ==

* [[数論的関数]]
* 約数和等式
* [[メビウスの反転公式]]

== 参考文献 ==
{{Reflist}}

* {{Apostol IANT}}
* {{Cite book |last=Chan, Heng Huat |title=Analytic Number Theory for Undergraduates |series=Monographs in Number Theory |year=2009 |isbn=978-981-4271-36-3 |publisher=World Scientific Publishing Company}}
* {{Cite book |last=Hugh L. Montgomery |author-link=Hugh Montgomery (mathematician) |last2=Robert C. Vaughan |author2-link=Robert Charles Vaughan (mathematician) |title=Multiplicative number theory I. Classical theory |series=Cambridge tracts in advanced mathematics |volume=97 |year=2007 |isbn=978-0-521-84903-6 |page=38 |publisher=Cambridge Univ. Press |location=Cambridge}}
* {{Cite news |first=Eckford |last=Cohen |title=A class of residue systems (mod r) and related arithmetical functions. I. A generalization of Möbius inversion |newspaper=Pacific J. Math. |volume=9 |issue=1 |pages=13–23}}
* {{Cite journal|last=Cohen|first=Eckford|year=1960|title=Arithmetical functions associated with the unitary divisors of an integer|journal=[[Mathematische Zeitschrift]]|volume=74|pages=66–80|doi=10.1007/BF01180473|MR=0112861}}
* {{Cite news |first=Eckford |last=Cohen |title=The number of unitary divisors of an integer |volume=67 |issue=9 |pages=879–880 |newspaper=[[American Mathematical Monthly]]}}
* {{Cite journal|last=Cohen|first=Graeme L.|year=1990|title=On an integers' infinitary divisors|journal=Math. Comp.|volume=54|issue=189|pages=395–411|doi=10.1090/S0025-5718-1990-0993927-5|MR=0993927}}
* {{Cite journal|last=Cohen|first=Graeme L.|year=1993|title=Arithmetic functions associated with infinitary divisors of an integer|journal=Int. J. Math. Math. Sci.|volume=16|issue=2|pages=373–383|doi=10.1155/S0161171293000456}}
* {{Cite journal|last=Sandor|first=Jozsef|last2=Berge|first2=Antal|year=2003|title=The Möbius function: generalizations and extensions|journal=Adv. Stud. Contemp. Math. (Kyungshang)|volume=6|issue=2|pages=77–128|MR=1962765}}
* {{Cite web |first=Steven |author=Finch |title=Unitarism and Infinitarism |url=http://www.people.fas.harvard.edu/~sfinch/csolve/try.pdf |year=2004 |url-status=dead |archive-url=https://web.archive.org/web/20150222094526/http://www.people.fas.harvard.edu/~sfinch/csolve/try.pdf |archive-date=2015-02-22|accessdate=2024-10-14}}

== 外部リンク ==
* {{SpringerEOM|title=Dirichlet convolution|id=p/d130150}}

{{DEFAULTSORT:ていりくれのたたみこみ}}
[[Category:双線型演算]]
[[Category:整数論的関数]]
[[Category:数学のエポニム]]
[[Category:数学に関する記事]]