ディリクレ級数
ディリクレ級数（-きゅうすう、）とは、
複素数列 formula_1 および複素数 "s" に対して、
で表される級数のことをいう。一般ディリクレ級数と区別するため、通常ディリクレ級数 (ordinary Dirichlet series)ともいう。
1839年、ディリクレが算術級数定理を証明する際に考察されたことに因み、彼の名が付けられている。
リーマンゼータ関数やディリクレのL関数はディリクレ級数のなかで、よく知られているものの１つである。
"s" を変数とみなし、ディリクレ級数の収束性を問わないとき、形式的ディリクレ級数 (formal Dirichlet series)という。
セルバーグクラスであるディリクレ級数は、リーマン予想に従うことが予想されている。
任意のディリクレ級数に対して、次のいずれかが成り立つ。
この formula_4 をディリクレ級数の収束軸 (line of convergence)または収束座標 (abscissa of convergence)という。
収束軸について、ディリクレ級数が常に収束するときは formula_6、常に発散する場合は formula_7 と定める。
注意1: 収束軸は、負の実数にもなり得る。
例えば
の収束軸は -1 である。
注意2: 収束軸上の点の収束・発散は、ディリクレ級数によって異なる。
収束軸の値の求め方
ディリクレ級数
の収束軸 formula_4 の値は、以下の様に求められる。
一般の級数のときと同じく、
が収束するとき、ディリクレ級数
は絶対収束するという。
例えば、ベキ級数のとき、収束円周上の点を除いて、収束すればその点で絶対収束するが、
ディリクレ級数の場合、収束しても絶対収束するとは限らない。以下のことが成り立つからである。
収束軸 formula_4 が有限の値であるディリクレ級数
の収束軸を、formula_18 とおくと、formula_19 が成立する。
さらに、上記右辺の 1 は最良である。つまり、formula_20 を満たすディリクレ級数が存在する。
この formula_18 を、絶対収束軸 (line of absolute convergence)または絶対収束座標 (abscissa of absolute convergence)という。
絶対収束軸は、先に述べた収束軸の値を求める公式を用いて、以下の様に与えられる。
ディリクレ級数
の絶対収束軸 formula_18 の値は、以下の様に求められる。
ディリクレ級数を
として、"s" を変数とする関数とみなすと、formula_27 の一様収束性が問題となる。
ディリクレ級数の一様収束性について、以下のことが成立する。
ディリクレ級数
の収束軸 formula_4 は有限の値とし、絶対収束軸を formula_18 とする。
このとき、
を満たす実数 formula_30 が存在して、formula_31 を満たす複素数 "s" に対して、formula_27 は一様収束するが、formula_33 を満たす複素数 "s" に対して、formula_27 は一様収束しない。
この formula_30 を、一様収束軸 (line of uniform convergence)または一様収束座標 (abscissa of uniform convergence)という。
一様収束軸と収束軸との間には、formula_36 が成立し、右辺の 1/2 は最良であることが知られている。
一様収束軸の値は、収束軸・絶対収束軸とは異なる方法で求められる。
ディリクレ級数
の一様収束軸 formula_30 の値は、以下の様に求められる。
ここで、
\right|
2つの形式的ディリクレ級数
の和を、
積(畳み込み (faltung、convolution)またはディリクレ積 (Dirichlet product)という)を、
と定めると、係数が環 "R" の元からなるディリクレ級数全体は環を成す。もし、環 "R" が可換であれば、ディリクレ級数環も可換である。
上で述べたことは、形式的ディリクレ級数についての議論であったので、収束性については考えていないが、
ある複素数 α に対して、formula_38 が収束している場合、
上記の和、積で与えられたディリクレ級数が、formula_39 で収束するかを考えてみることにする。
和については、ディリクレ級数 formula_40 が formula_39 で収束することは成り立つが、積については、ディリクレ級数 formula_42 は、必ずしも formula_39 で収束しない。
例えば、2つのディリクレ級数を
とおくと、それぞれ、収束軸は 0 であるが、ディリクレ級数 formula_44 の収束軸は 1 である。
従って、formula_45 はそれぞれ収束するが、formula_46 は収束しない。
さらに、formula_47 の収束軸が分かっていても、formula_48 の収束軸が不明な場合もある。
ディリクレ級数
は、formula_49 で収束するならば、formula_49 で正則である。さらに、formula_27 の微分は
で与えられる。
ディリクレ級数
に対して、formula_52 を
で定める。
formula_52 の formula_54 での漸近展開として、
を持つ場合、formula_27 は全平面に正則に解析接続される。
さらに formula_52 の formula_54 での漸近展開として、
を持つのであれば、formula_27 は有理型に接続され、formula_59 は整関数である。
さらに、formula_60 に対して、
が成り立つ。
2つのディリクレ級数
が、ある開領域内で収束し、そこで、formula_61 が成立するならば、すべての "n" に対して、formula_62 である。
ディリクレ級数
であるならば、formula_27 は、formula_64 で収束して、
が成立する。即ち、formula_27 は、formula_9 で1位の極を持ち、留数は α である。
逆に、上記ディリクレ級数の係数が非負の実数であり、収束軸が 1 で、formula_9 を除いて、formula_68 の近傍まで正則に解析接続できるとする。また formula_9 で1位の極とし、留数を α とすると、
が成り立つ。
(1) メリン変換
ディリクレ級数
に対して、ベキ級数 formula_70 を
で定める。
このとき、formula_27 が絶対収束する領域内で
が成立する。これをメリン変換 (Mellin transform)という。
この変換を用いて、ディリクレ級数の性質をベキ級数を用いて考察したり、その逆でベキ級数の性質をディリクレ級数から求めたりすることができる。
(2) フラッグマンによる積分表示
ディリクレ級数
に対して、formula_72 とおく。
もし
であるならば
dx
但し、両辺のうち、少なくとも一方は収束しているとする。
(3) ラプラス＝スティルチェス変換
ディリクレ級数に対して、ラプラス＝スティルチェス変換を行うことにより、以下の様な積分表示が得られる。
ディリクレ級数
に対して、formula_73 とおく。このとき
数論的関数 formula_74 を係数とするディリクレ級数
を、 formula_74 の(ディリクレ級数で表された)母関数という。
数論的関数 formula_74 の数論的性質が母関数の性質から導かれることがしばしばあり、母関数は、数学の対象として大変重要なものである。(母関数も参照のこと)
特に、乗法的関数である数論的関数に対して、母関数をディリクレ級数の形で表すことが多い。
それは、母関数が以下で述べるオイラー積表示を持つからである。
formula_74 を乗法的関数である数論的関数としたとき、
は、以下の積表示を持つ。
\left(1+\frac{a(p)}{p^s}+\frac{a(p^2)}{p^{2s}}+\cdots \right)
この積をオイラー積 (Euler product)という。
逆に、ある数論的関数 formula_74 の母関数がオイラー積表示を持つならば、 formula_74 は乗法的関数である。
さらに、formula_74 が完全乗法的関数であれば、オイラー積は
と表される。
数論的関数に対する母関数の例を与える。
(1) formula_81 formula_82 のとき
(2) メビウス関数 formula_83
(3) オイラー関数 formula_84
(4) 約数関数 formula_85
(5) "k"乗約数和関数 formula_86 formula_87