ディリクレ級数
ディリクレ級数(ディリクレきゅうすう、Dirichlet series)とは、複素数列 \scriptstyle\{a_n\}_{n\ge 0} および複素数 s に対して、
1}^{\infty}\frac{a_n}{n^s}
で表される級数のことをいう。一般ディリクレ級数と区別するため、通常ディリクレ級数 (ordinary Dirichlet series)ともいう。
1839年、ディリクレが算術級数定理を証明する際に考察されたことに因み、彼の名が付けられている。
リーマンゼータ関数やディリクレのL関数はディリクレ級数のなかで、よく知られているものの1つである。
s を変数とみなし、ディリクレ級数の収束性を問わないとき、形式的ディリクレ級数 (formal Dirichlet series)という。
セルバーグクラスであるディリクレ級数は、リーマン予想に従うことが予想されている。
任意のディリクレ級数に対して、次のいずれかが成り立つ。
任意の複素数 s に対して、ディリクレ級数は収束する。
任意の複素数 s に対して、ディリクレ級数は発散する。
ディリクレ級数がsの実部Re(s)> \sigma_c を満たす複素数 s に対して収束し、Re(s) < \sigma_c を満たす複素数 s に対して発散する様な実数 \scriptstyle\sigma_c が存在する。
この \scriptstyle\sigma_c をディリクレ級数の収束軸 (line of convergence)または収束座標 (abscissa of convergence)という。
収束軸について、ディリクレ級数が常に収束するときは \scriptstyle-\infty、常に発散する場合は \scriptstyle+\infty と定める。
注意1: 収束軸は、負の実数にもなり得る。
1}^{\infty}\frac{n^{-2{n^s}
}
の収束軸は -1 である。
注意2: 収束軸上の点の収束・発散は、ディリクレ級数によって異なる。
リーマンゼータ関数 \zeta(s) の収束軸は 1 であるが、s=1 では発散する。
\sum_{n=1}^{\infty}\frac{(-1)^{[\log^2n]}/\log n}{n^s}
の収束軸は 1 であり、Re(s)=1 を満たす複素数 s に対して収束する。
1}^{\infty}\frac{a_n}{n^s}
の収束軸 \scriptstyle\sigma_c の値は、以下の様に求められる。
\textstyle s_n = \sum_{k=1}^na_k が発散する場合
\sigma_c = \limsup_{n\to\infty}\frac{\log |s_n〕{\log n} 。
\textstyle s_n = \sum_{k=1}^na_k が収束する場合
\sigma_c = \limsup_{n\to\infty}\frac{\log|a_n + a_{n+1} + \cdots〕{\log n} 。
一般の級数のときと同じく、
1}^{\infty}\frac{n^s}
が収束するとき、ディリクレ級数
1}^{\infty}\frac{a_n}{n^s}
は絶対収束するという。
例えば、ベキ級数のとき、収束円周上の点を除いて、収束すればその点で絶対収束するが、
ディリクレ級数の場合、収束しても絶対収束するとは限らない。以下のことが成り立つからである。
収束軸 \scriptstyle\sigma_c が有限の値であるディリクレ級数
1}^{\infty}\frac{a_n}{n^s}
に対して、
1}^{\infty}\frac{n^s}
の収束軸を、\scriptstyle\sigma_a とおくと、\scriptstyle 0 \le \sigma_a - \sigma_c\le 1 が成立する。
さらに、上記右辺の 1 は最良である。つまり、\scriptstyle\sigma_a = \sigma_c + 1 を満たすディリクレ級数が存在する。
この \scriptstyle\sigma_a を、絶対収束軸 (line of absolute convergence)または絶対収束座標 (abscissa of absolute convergence)という。
絶対収束軸は、先に述べた収束軸の値を求める公式を用いて、以下の様に与えられる。
1}^{\infty}\frac{a_n}{n^s}
の絶対収束軸 \scriptstyle\sigma_a の値は、以下の様に求められる。
\textstyle s_n = \sum_{k=1}^n|a_k| が発散する場合
\sigma_a = \limsup_{n\to\infty}\frac{\log s_n}{\log n} 。
\textstyle s_n = \sum_{k=1}^n|a_k| が収束する場合
\sigma_a = \limsup_{n\to\infty}\frac{\log(|a_n| + |a_{n+1}| + \cdots)}{\log n} 。
\sum_{n=1}^{\infty}\frac{a_n}{n^s}
として、s を変数とする関数とみなすと、f(s) の一様収束性が問題となる。
ディリクレ級数の一様収束性について、以下のことが成立する。
\sum_{n=1}^{\infty}\frac{a_n}{n^s}
の収束軸 \scriptstyle\sigma_c は有限の値とし、絶対収束軸を \scriptstyle\sigma_a とする。
このとき、
\sigma_c\le\sigma_u\le\sigma_a
を満たす実数 \scriptstyle\sigma_u が存在して、\scriptstyle\operatorname{Re}\ s>\sigma_u を満たす複素数 s に対して、f(s) は一様収束するが、\scriptstyle\operatorname{Re}\ s < \sigma_u を満たす複素数 s に対して、f(s) は一様収束しない。
この \scriptstyle\sigma_u を、一様収束軸 (line of uniform convergence)または一様収束座標 (abscissa of uniform convergence)という。
一様収束軸と収束軸との間には、\scriptstyle 0 \le \sigma_u - \sigma_c\le 1/2 が成立し、右辺の 1/2 は最良であることが知られている。
一様収束軸の値は、収束軸・絶対収束軸とは異なる方法で求められる。
1}^{\infty}\frac{a_n}{n^s}
の一様収束軸 \scriptstyle\sigma_u の値は、以下の様に求められる。
\limsup_{n\to\infty}\frac{\log T_n}{\log n}
。
ここで、
\!\!\!\!\sup_{-\infty<t<\infty}\left\right|
。}
\sum_{n=1}^{\infty}\frac{a_n}{n^s},\ \ \ \ \ g(s) = \sum_{n=1}^{\infty}\frac{b_n}{n^s}
の和を、
\sum_{n=1}^{\infty}\frac{a_n + b_n}{n^s},
積(畳み込み (faltung、convolution)またはディリクレ積 (Dirichlet product)という)を、
\sum_{n=1}^{\infty}\frac{c_n}{n^s},\ \ \ \ \ c_n = \!\!\!\sum_{k
と定めると、係数が環 R の元からなるディリクレ級数全体は環を成す。もし、環 R が可換であれば、ディリクレ級数環も可換である。
上で述べたことは、形式的ディリクレ級数についての議論であったので、収束性については考えていないが、
ある複素数 α に対して、\scriptstyle f(\alpha),\ g(\alpha) が収束している場合、
上記の和、積で与えられたディリクレ級数が、s = \alpha で収束するかを考えてみることにする。
和については、ディリクレ級数 \scriptstyle f(s) + g(s) が s = \alpha で収束することは成り立つが、積については、ディリクレ級数 \scriptstyle f(s)g(s) は、必ずしも s = \alpha で収束しない。
例えば、2つのディリクレ級数を
g(s) = \sum_{n=1}^{\infty}\frac{(-1)^n}{n^s}
とおくと、それぞれ、収束軸は 0 であるが、ディリクレ級数 h(s) = f(s)g(s) の収束軸は 1 である。
従って、\scriptstyle f(1/2),\ g(1/2) はそれぞれ収束するが、h(1/2) は収束しない。
さらに、\scriptstyle f(s),\ g(s) の収束軸が分かっていても、f(s)g(s) の収束軸が不明な場合もある。
\sum_{n=1}^{\infty}\frac{a_n}{n^s}
は、\scriptstyle\operatorname{Re}\ s > \sigma で収束するならば、\scriptstyle\operatorname{Re}\ s > \sigma で正則である。さらに、f(s) の微分は
(-1)^k\sum_{n=1}^{\infty}\frac{a_n\log^k n}{n^s}
で与えられる。
\sum_{n=1}^{\infty}\frac{a_n}{n^s}
に対して、g(t) を
\sum_{n=1}^{\infty}a_ne^{-nt}
で定める。
g(t) の \scriptstyle t\to 0 での漸近展開として、
g(t) \sim b_0 + b_1t + b_2t^2 + \cdots
を持つ場合、f(s) は全平面に正則に解析接続される。
さらに g(t) の \scriptstyle t\to 0 での漸近展開として、
g(t) \sim b_{-1}/t + b_0 + b_1t+ b_2t^2 + \cdots
を持つのであれば、f(s) は有理型に接続され、\scriptstyle f(s) - b_{-1}/(s-1)\! は整関数である。
さらに、\scriptstyle n = 0,\ 1,\ 2,\ \ldots に対して、
(-1)^n n! b_n
\!
が成り立つ。
\sum_{n=1}^{\infty}\frac{a_n}{n^s},\ \ \ \ \ g(s) = \sum_{n=1}^{\infty}\frac{b_n}{n^s}
が、ある開領域内で収束し、そこで、f(s) = g(s) が成立するならば、すべての n に対して、a_n = b_n である。
\sum_{n=1}^{\infty}\frac{a_n}{n^s}
に対して、
\alpha
であるならば、f(s) は、\scriptstyle\operatorname{Re}\ s >1 で収束して、
\alpha
が成立する。即ち、f(s) は、s=1 で1位の極を持ち、留数は α である。
逆に、上記ディリクレ級数の係数が非負の実数であり、収束軸が 1 で、s=1 を除いて、\scriptstyle\operatorname{Re}\ s = 1 の近傍まで正則に解析接続できるとする。また s=1 で1位の極とし、留数を α とすると、
\alpha
が成り立つ。
(1) メリン変換
1}^{\infty}\frac{a_n}{n^s}
に対して、ベキ級数 F(z) を
\sum_{n=1}^{\infty}a_nz^n
で定める。
このとき、f(s) が絶対収束する領域内で
1}^{\infty}\frac{a_n}{n^s} = \frac{1}{\Gamma(s)}\int_0^{\infty}F(e^{-t})t^{s-1}dt
が成立する。これをメリン変換 (Mellin transform)という。
この変換を用いて、ディリクレ級数の性質をベキ級数を用いて考察したり、その逆でベキ級数の性質をディリクレ級数から求めたりすることができる。
(2) フラッグマンによる積分表示
1}^{\infty}\frac{a_n}{n^s}
に対して、\scriptstyle A(x) = \sum_{n\le x}a_n とおく。
1}^{\infty}\frac{a_n}{n^s} = s\int_1^{\infty}\frac{A(x)}{x^{1+sdx
。}
但し、両辺のうち、少なくとも一方は収束しているとする。
(3) ラプラス=スティルチェス変換
ディリクレ級数に対して、ラプラス=スティルチェス変換を行うことにより、以下の様な積分表示が得られる。
1}^{\infty}\frac{a_n}{n^s}
に対して、\scriptstyle B(t) = \sum_{n\le e^t}a_n とおく。このとき
1}^{\infty}\frac{a_n}{n^s} = \int_0^{\infty}e^{-ts}dB(t)
。
数論的関数 a(n) を係数とするディリクレ級数
\sum_{n=1}^{\infty}\frac{a(n)}{n^s}
を、 a(n) の(ディリクレ級数で表された)母関数という。
数論的関数 a(n) の数論的性質が母関数の性質から導かれることがしばしばあり、母関数は、数学の対象として大変重要なものである。(母関数も参照のこと)
特に、乗法的関数である数論的関数に対して、母関数をディリクレ級数の形で表すことが多い。
それは、母関数が以下で述べるオイラー積表示を持つからである。
a(n) を乗法的関数である数論的関数としたとき、
\sum_{n=1}^{\infty}\frac{a(n)}{n^s}
は、以下の積表示を持つ。
\!\!\prod_{p;\operatorname{prime\left(1+\frac{a(p)}{p^s}+\frac{a(p^2)}{p^{2s}+\cdots \right)
。}
この積をオイラー積 (Euler product)という。
逆に、ある数論的関数 a(n) の母関数がオイラー積表示を持つならば、 a(n) は乗法的関数である。
さらに、a(n) が完全乗法的関数であれば、オイラー積は
\!\!\prod_{p;\operatorname{prime\frac{1}{1-a(p)/p^s}
}
と表される。
数論的関数に対する母関数の例を与える。
(1)a(n) = 1 \scriptstyle (n = 1,\ 2,\ldots) の母関数は、リーマンゼータ関数に等しい。
1}^{\infty}\frac{1}{n^s} = \zeta(s)
(2) メビウス関数 \mu(n)
1}^{\infty}\frac{\mu(n)}{n^s} = \frac{1}{\zeta(s)}
(3) オイラー関数 \varphi(n)
1}^{\infty}\frac{\varphi(n)}{n^s} = \frac{\zeta(s-1)}{\zeta(s)}
(4) 約数関数 d(n)
1}^{\infty}\frac{d(n)}{n^s} = \zeta(s)^2
(5) k乗約数和関数 \sigma_k(n) \scriptstyle (k\ge 1)
1}^{\infty}\frac{\sigma_k(n)}{n^s} = \zeta(s)\zeta(s-k)