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