| この記事には 参考文献や 外部リンクの一覧が含まれていますが、 脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。(2018年6月) |
In mathematics, the Dirichlet convolution (or divisor convolution) is a binary operation defined for arithmetic functions; it is important in number theory. It was developed by Peter Gustav Lejeune Dirichlet.
数学におけるディリクレの畳み込み(または約数畳み込み)とは算術関数について定義される二項演算であり、数論で重要である。これを発展させたのはペーター・グスタフ・ディリクレである。
If
are two arithmetic functions from the positive integers to the complex numbers, the Dirichlet convolution f ∗ g is a new arithmetic function defined by:
が自然数から複素数への算術関数であるとき、ディリクレの畳み込み
は以下に定義される新しい算術関数である:
![{\displaystyle (f*g)(n)\ =\ \sum _{d\,\mid \,n}f(d)\,g\!\left({\frac {n}{d}}\right)\ =\ \sum _{ab\,=\,n}\!f(a)\,g(b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca0ccc7ef79c2a338776995785ec81685120a419)
where the sum extends over all positive divisors d of n, or equivalently over all distinct pairs (a, b) of positive integers whose product is n.
ここでの和は
のすべての正の約数
にわたって計算されるが、これは積が
であるようなすべての正の整数の組
にわたる和に相当する。
This product occurs naturally in the study of Dirichlet series such as the Riemann zeta function. It describes the multiplication of two Dirichlet series in terms of their coefficients:
この積はリーマンゼータ関数のようなディリクレ級数の研究の中で自然にあらわれる。ディリクレ積は二つのディリクレ級数の積を係数の観点から描き出す:
![{\displaystyle \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).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26018ae5020608199f0adf555f89670c797c23ac)
The set of arithmetic functions forms a commutative ring, the Dirichlet ring, under pointwise addition, where f + g is defined by (f + g)(n) = f(n) + g(n), and Dirichlet convolution. The multiplicative identity is the unit function ε defined by ε(n) = 1 if n = 1 and ε(n) = 0 if n > 1. The units (invertible elements) of this ring are the arithmetic functions f with f(1) ≠ 0.
算術関数全体の集合はディリクレ環とよばれる可換環をなし、そこにおける和は
を
で定義するという点ごとの和であり、積はディリクレの畳み込みである。乗法単位元はユニット関数
であるが、その定義は
である。この環の単元(可逆元)は
を満たす算術関数
である。
Specifically, Dirichlet convolution is associative,
特に 、ディリクレの畳み込みは結合的であり、
![{\displaystyle (f*g)*h=f*(g*h),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4ee094f2e0af3f9754977794b5952fc0b9e9dc0)
distributive over addition
加法について分配法則がなりたち
,
commutative,
積について可換であり,
,
and has an identity element,
乗法単位元を持つ。
=
.
Furthermore, for each
having
, there exists an arithmetic function
with
, called the Dirichlet inverse of
.
さらに、
を満たすすべての
について、
のディリクレ逆元と呼ばれる算術関数
がただ一つ存在して
である。
The Dirichlet convolution of two multiplicative functions is again multiplicative, and every not constantly zero multiplicative function has a Dirichlet inverse which is also multiplicative. In other words, multiplicative functions form a subgroup of the group of invertible elements of the Dirichlet ring. Beware however that the sum of two multiplicative functions is not multiplicative (since
), so the subset of multiplicative functions is not a subring of the Dirichlet ring. The article on multiplicative functions lists several convolution relations among important multiplicative functions.
二つの乗法的関数のディリクレの畳み込みは再び乗法的であり、恒等的にゼロではないようなすべての乗法的関数はディリクレ逆元をもち、ディリクレ逆元も乗法的である。言い換えれば、乗法的関数全体はディリクレ環の可逆な元がなす群の部分群をなす。二つの乗法的関数の和は乗法的ではない(なぜならば
だから)ことに注意せよ。だから乗法的関数の部分集合はディリクレ環の部分環とはならない。乗法的関数についての論説は、重要な乗法的関数の間を関係づけるいくつかの畳み込みを列挙している。
Another operation on arithmetic functions is pointwise multiplication: fg is defined by (fg)(n) = f(n) g(n). Given a completely multiplicative function
, pointwise multiplication by
distributes over Dirichlet convolution:
. The convolution of two completely multiplicative functions is multiplicative, but not necessarily completely multiplicative.
算術関数についてのもう一つの操作として各点積がある。各点積
は
で定義される。完全乗法的関数
があるとき、
による各点積はディリクレの畳み込みについて分配的である。つまり、
である 。二つの完全乗法的関数の畳み込みは乗法的であるが、必ずしも完全乗法的ではない。
In these formulas, we use the following arithmetical functions:
以下の式において、下記の算術関数を使う。
is the multiplicative identity:
, otherwise 0 (
).
is the constant function with value 1:
for all
. Keep in mind that
is not the identity. (Some authors denote this as
because the associated Dirichlet series is the Riemann zeta function.)
for
is a set indicator function:
iff
, otherwise 0.
is the identity function with value n:
.
is the kth power function:
.
関数は乗法単位元である:
, otherwise 0 (
).
関数は1を値とする定数関数である: すべての
について
である。
関数は単位元ではないことに注意せよ。(
関数を
と書く人もいるが、それは
関数のディリクレ級数がリーマンゼータ関数そのものであるからだ。)
に対する
関数は集合の特性関数である:
.
関数は
を値とする恒等関数である:
.
関数は
乗関数である:
.
The following relations hold:
下記の関係がなりたつ:
, the Dirichlet inverse of the constant function
is the Möbius function. Hence:
if and only if
, the Möbius inversion formula
, the kth-power-of-divisors sum function σk
, the sum-of-divisors function σ = σ1
, the number-of-divisors function τ(n) = σ0
, by Möbius inversion of the formulas for σk, σ, and τ
![{\displaystyle {\text{Id}}=\sigma *\mu }](https://wikimedia.org/api/rest_v1/media/math/render/svg/136c53c7c493f6aa511e76d567d13a59c6aefba8)
![{\displaystyle 1=\tau *\mu }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7a9b8e9b4964bf085f31117cd52827a25e10f1f)
, proved under Euler's totient function
, by Möbius inversion
, from convolving 1 on both sides of ![{\displaystyle \phi *1={\text{Id}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c4ac9ffce75025a26093761d4e662a6a0a3a197)
where λ is Liouville's function
where Sq = {1, 4, 9, ...} is the set of squares
![{\displaystyle {\text{Id}}_{k}*({\text{Id}}_{k}\mu )=\varepsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/673f5a8af9fbd55562d805c54670be4def2b34d9)
![{\displaystyle \tau ^{3}*1=(\tau *1)^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37bb0f3f7f9146fee47fc7ea92c72fa9eca59643)
, Jordan's totient function
![{\displaystyle ({\text{Id}}_{s}J_{r})*J_{s}=J_{s+r}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/91da7b42d0095538ed9dbe4d4bc524ee965291c8)
, where
is von Mangoldt's function
where
is the prime omega function counting distinct prime factors of n
, the characteristic function of the prime powers.
where
is the characteristic function of the primes.
.
関数のディリクレ逆元はメビウス関数である。したがって、
は
と必要十分であり、これがメビウスの反転公式である。
[[Category:双線型演算]]
[[Category:整数論的関数]]