ディリクレ級数

**ディリクレ級数**（ディリクレきゅうすう、）とは、複素数列 \scriptstyle\{a_n\}_{n\ge 0} および複素数 *s* に対して、

で表される級数のことをいう。一般ディリクレ級数と区別するため、**通常ディリクレ級数** (ordinary Dirichlet series)ともいう。
1839年、ディリクレが算術級数定理を証明する際に考察されたことに因み、彼の名が付けられている。

リーマンゼータ関数やディリクレのL関数はディリクレ級数のなかで、よく知られているものの１つである。

*s* を変数とみなし、ディリクレ級数の収束性を問わないとき、**形式的ディリクレ級数** (formal Dirichlet series)という。

セルバーグクラスであるディリクレ級数は、リーマン予想に従うことが予想されている。

## 収束性
### 収束軸
任意のディリクレ級数に対して、次のいずれかが成り立つ。
# 任意の複素数 *s* に対して、ディリクレ級数は収束する。
# 任意の複素数 *s* に対して、ディリクレ級数は発散する。
# ディリクレ級数が*s*の実部> \sigma_c を満たす複素数 *s* に対して収束し、  を満たす複素数 *s* に対して発散する様な実数 \scriptstyle\sigma_c が存在する。

この \scriptstyle\sigma_c をディリクレ級数の**収束軸** (line of convergence)または**収束座標** (abscissa of convergence)という。
収束軸について、ディリクレ級数が常に収束するときは \scriptstyle-\infty、常に発散する場合は \scriptstyle+\infty と定める。

注意1: 収束軸は、負の実数にもなり得る。
例えば
{n^s}
}}
の収束軸は -1 である。

注意2: 収束軸上の点の収束・発散は、ディリクレ級数によって異なる。
* リーマンゼータ関数 \zeta(s) の収束軸は 1 であるが、s=1 では発散する。
* ディリクレ級数
:: \sum_{n=1}^{\infty}\frac{(-1)^{[\log^2n]}/\log n}{n^s}
: の収束軸は 1 であり、=1 を満たす複素数 *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} 。

### 絶対収束性
一般の級数のときと同じく、

が収束するとき、ディリクレ級数

は絶対収束するという。

例えば、ベキ級数のとき、収束円周上の点を除いて、収束すればその点で絶対収束するが、
ディリクレ級数の場合、収束しても絶対収束するとは限らない。以下のことが成り立つからである。

収束軸 \scriptstyle\sigma_c が有限の値であるディリクレ級数

に対して、

の収束軸を、\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)という。

絶対収束軸は、先に述べた収束軸の値を求める公式を用いて、以下の様に与えられる。

ディリクレ級数

の絶対収束軸 \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} 。

### 一様収束性
ディリクレ級数を

として、*s* を変数とする関数とみなすと、f(s) の一様収束性が問題となる。

ディリクレ級数の一様収束性について、以下のことが成立する。

ディリクレ級数

の収束軸 \scriptstyle\sigma_c は有限の値とし、絶対収束軸を \scriptstyle\sigma_a とする。
このとき、

を満たす実数 \scriptstyle\sigma_u が存在して、\scriptstyle\operatorname{Re}\ s>\sigma_u を満たす複素数 *s* に対して、f(s) は一様収束するが、\scriptstyle\operatorname{Re}\ s  を満たす複素数 *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 は最良であることが知られている。

一様収束軸の値は、収束軸・絶対収束軸とは異なる方法で求められる。

ディリクレ級数

の一様収束軸 \scriptstyle\sigma_u の値は、以下の様に求められる。

ここで、
\right|
 。}}

## 代数的性質
2つの形式的ディリクレ級数

の和を、

積(**畳み込み** (faltung、convolution)または**ディリクレ積** (Dirichlet product)という)を、

と定めると、係数が環 *R* の元からなるディリクレ級数全体は環を成す。もし、環 *R* が可換であれば、ディリクレ級数環も可換である。

上で述べたことは、形式的ディリクレ級数についての議論であったので、収束性については考えていないが、
ある複素数 &alpha; に対して、\scriptstyle f(\alpha),\ g(\alpha) が収束している場合、
上記の和、積で与えられたディリクレ級数が、s = \alpha で収束するかを考えてみることにする。
和については、ディリクレ級数 \scriptstyle f(s) + g(s) が s = \alpha で収束することは成り立つが、積については、ディリクレ級数 \scriptstyle f(s)g(s) は、必ずしも s = \alpha で収束しない。

例えば、2つのディリクレ級数を

とおくと、それぞれ、収束軸は 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) の収束軸が不明な場合もある。

## 解析的性質
### 正則性
ディリクレ級数

は、\scriptstyle\operatorname{Re}\ s > \sigma で収束するならば、\scriptstyle\operatorname{Re}\ s > \sigma で正則である。さらに、f(s) の微分は

で与えられる。

### ディリクレ級数の解析接続
ディリクレ級数

に対して、g(t) を

で定める。

g(t) の \scriptstyle t\to 0 での漸近展開として、

を持つ場合、f(s) は全平面に正則に解析接続される。

さらに g(t) の \scriptstyle t\to 0 での漸近展開として、

を持つのであれば、f(s) は有理型に接続され、\scriptstyle f(s) - b_{-1}/(s-1)\! は整関数である。

さらに、\scriptstyle n = 0,\ 1,\ 2,\ \ldots に対して、

が成り立つ。

### ディリクレ級数の一意性
2つのディリクレ級数

が、ある開領域内で収束し、そこで、f(s) = g(s) が成立するならば、すべての *n* に対して、a_n = b_n である。

### ディリクレ級数の係数の平均
ディリクレ級数

に対して、

であるならば、f(s) は、\scriptstyle\operatorname{Re}\ s >1 で収束して、

が成立する。即ち、f(s) は、s=1 で1位の極を持ち、留数は &alpha; である。

逆に、上記ディリクレ級数の係数が非負の実数であり、収束軸が 1 で、s=1 を除いて、\scriptstyle\operatorname{Re}\ s = 1 の近傍まで正則に解析接続できるとする。また s=1 で1位の極とし、留数を &alpha; とすると、

が成り立つ。

### ディリクレ級数の積分表示
(1) メリン変換

ディリクレ級数

に対して、ベキ級数 F(z) を

で定める。

このとき、f(s) が絶対収束する領域内で

が成立する。これを**メリン変換** (Mellin transform)という。

この変換を用いて、ディリクレ級数の性質をベキ級数を用いて考察したり、その逆でベキ級数の性質をディリクレ級数から求めたりすることができる。

(2) フラッグマンによる積分表示

ディリクレ級数

に対して、\scriptstyle A(x) = \sum_{n\le x}a_n とおく。
もし

であるならば
dx
 。}}
但し、両辺のうち、少なくとも一方は収束しているとする。

(3) ラプラス＝スティルチェス変換

ディリクレ級数に対して、ラプラス＝スティルチェス変換を行うことにより、以下の様な積分表示が得られる。

ディリクレ級数

に対して、\scriptstyle B(t) = \sum_{n\le e^t}a_n とおく。このとき

## 数論的関数の母関数
### オイラー積
数論的関数 a(n) を係数とするディリクレ級数

を、 a(n) の(ディリクレ級数で表された)**母関数**という。

数論的関数 a(n) の数論的性質が母関数の性質から導かれることがしばしばあり、母関数は、数学の対象として大変重要なものである。(母関数も参照のこと)

特に、乗法的関数である数論的関数に対して、母関数をディリクレ級数の形で表すことが多い。
それは、母関数が以下で述べるオイラー積表示を持つからである。

a(n) を乗法的関数である数論的関数としたとき、

は、以下の積表示を持つ。
\left(1+\frac{a(p)}{p^s}+\frac{a(p^2)}{p^{2s}}+\cdots \right)
 。}}

この積を**[[オイラー積]]** (Euler product)という。

逆に、ある数論的関数 a(n) の母関数がオイラー積表示を持つならば、 a(n) は乗法的関数である。

さらに、a(n) が完全乗法的関数であれば、オイラー積は
\frac{1}{1-a(p)/p^s}
}}
と表される。

### 例
数論的関数に対する母関数の例を与える。

(1)a(n) = 1 \scriptstyle (n = 1,\ 2,\ldots) の母関数は、リーマンゼータ関数に等しい。

(2) メビウス関数 \mu(n)

 
(3) オイラー関数 \varphi(n)

(4) 約数関数 d(n)

 

(5) *k*乗約数和関数 \sigma_k(n) \scriptstyle (k\ge 1)

## 注釈



## 参考文献

* 
* 
* 

## 関連項目
* 級数
* 冪級数
* L関数
* リーマンゼータ関数