ウィーナー＝池原の定理

解析学において、ウィーナー＝池原の定理（ウィーナー＝いけはらのていり、英: Wiener-Ikehara theorem）とは、関数の漸近挙動に関するタウバー型定理の一つ^[1]^[2]。ウィーナー＝池原のタウバー型定理とも呼ばれる。関数のラプラス＝スティルチェス変換の定義域の境界における解析性に関する条件から、元の関数の漸近的性質が得られることを主張する。定理の名は数学者ノーバート・ウィーナーと、ウィーナーの下で指導を受けた池原止戈夫に因む。1931年に池原はウィーナーによるタウバー型定理の初期の結果からこの定理を導き、素数定理のエドムント・ランダウによる証明法の改良を与えた^[3]。さらにウィーナーは1932年にフーリエ変換におけるタウバー型定理の論文の中で池原の結果を取り上げるともに、その内容を補完した^[4]。現在、ウィーナー＝池原のタウバー型定理は素数定理の標準的な証明法の一つであり^[1]、定理の改良が続けられてきている^[5]^[6]。

定理の内容[編集]

$α(t)$ を $[0, \infty)$ で非負、非減少関数であるとし、ラプラス＝スティルチェス変換

f(s)=\int _{0}^{\infty }e^{-st}d\alpha (t)

は $Re(s) > 0$ で収束するとする。このとき、ある定数 $A$ が存在し、

g(s)=f(s)-{\frac {A}{s-1}}

が閉半平面 $Re(s) \geq 0$ に連続拡張可能であれば、 $t \to +\infty$ での漸近的挙動として、

\alpha (t)\sim Ae^{t}

が成り立つ^[1]^[2]。

定理の系[編集]

解析的整数論では、次のメリン＝スティルチェス変換、もしくはディリクレ級数に適用した次の系が応用される。

メリン＝スティルチェス変換[編集]

ラプラス＝スティルチェス変換において、 $α(t)$ の代わりに $α(e t)$ をとり、 $u = e t$ と変数変換すれば、メリン＝スティルチェス変換に対する定理の系が得られる。

$α(u)$ を $[1, \infty)$ で非負、非減少関数であるとし、メリン＝スティルチェス変換

f(s)=\int _{1}^{\infty }u^{-s}d\alpha (u)

は $Re(s) > 1$ で収束するとする。このとき、ある定数 $A$ が存在し、

g(s)=f(s)-{\frac {A}{s-1}}

が閉半平面 $Re(s) \geq 1$ に連続拡張可能であれば、 $u \to +\infty$ での漸近的挙動として、

\alpha (u)\sim Au

が成り立つ^[1]^[2]。

ディリクレ級数[編集]

数列 ${a n}$ から定義される

\alpha (t)=\sum _{n\leq e^{t}}a_{n}

にラプラス＝スティルチェス変換を行えば、次のディリクレ級数に対する定理の系が得られる。

$f (s)$ を $a n > 0$ を満たす数列 ${a n}$ によって、 $Re(s) > 1$ で定義される次の形のディリクレ級数とする。

f(s)=\sum _{n=1}^{\infty }{\frac {a_{n}}{n^{s}}}

このとき、正の定数 $A$ が存在し、

g(s)=f(s)-{\frac {A}{s-1}}

が閉半平面 $Re(s) \geq 1$ に連続拡張可能であれば、

s_{n}=\sum _{k=1}^{n}a_{k}

の $n \to +\infty$ での漸近的挙動として、

s_{n}\sim An

が成り立つ^[1]^[2]。

同様の結果はエドムント・ランダウによって得られていたが、 $f (s)$ の増大条件として、ある定数 $c$ が存在し、

f(s)=O(|s|^{c})\quad (\operatorname {Re} s\geq 1)

とする仮定を必要としていた。池原はこの条件を緩和し、より一般的にこの結果が成立することを示した^[3]^[4]。

素数定理への応用[編集]

詳細は「素数定理」を参照

素数定理の主張[編集]

素数定理は値 $x$ 以下の素数 $p$ の個数

\pi (x)=\sum _{p\leq x}1

について、

\pi (x)\sim {\frac {x}{\ln {x}}}\quad x\to \infty

が成り立つ、またはそれと同値な内容として、チェビシェフ関数

\psi (x)=\sum _{p^{k}\leq x}\ln {p}=\sum _{n\leq x}\Lambda (n)

に対し、

\psi (x)\sim x\quad x\to \infty

が成り立つことを述べている。但し、 $Λ(n)$ は $n = p k$ ( $p$ は素数、 $k$ は1以上の整数)のときは $ln p$ 、それ以外はゼロの値をとるフォン・マンゴルト関数である。

　証明の概略　[編集]

素数定理は、リーマンゼータ関数 $ζ(s)$ の対数微分で定義される

f(s)=-{\frac {\zeta '(s)}{\zeta (s)}}=\sum _{n=1}^{\infty }{\frac {\Lambda (n)}{n^{s}}}

にウィーナー＝池原の定理を適用することで示すことができる。実際、 $ζ(s)$ は $Re(s)=1$ 上で零点を持たず、かつ $s =1$ での留数１の１位の極を除いて、半平面 $Re(s) \geq 1$ で解析的である^[7]。

よって、

g(s)=f(s)-{\frac {1}{s-1}}

は $Re(s) \geq 1$ で解析的であり、ディリクレ級数におけるウィーナー＝池原の定理の系からチェビシェフ関数 $ψ (x)$ は

\psi (x)\sim x\quad x\to \infty

を満たす。

脚注[編集]

^ ^a ^b ^c ^d ^e H. L. Montgomery and R. C. Vaughan (2012), chapter.8
^ ^a ^b ^c ^d J. Korevaar (2002)
^ ^a ^b S. Ikehara (1931)
^ ^a ^b N. Wiener (1932)
^ J. Korevaar (1982)
^ D. Zagier (1994)
^ 解析性の結果は関係式 $\zeta (s)=1+{\frac {1}{s-1}}+s\int _{1}^{\infty }([v]-v)v^{-s-1}dv$ から得られる。（H. L. Montgomery and R. C. Vaughan (2012), chapter.1を参照）

参考文献[編集]

S. Ikehara, "An extension of Landau's theorem in the analytic theory of numbers", J. Math. and Phys. M.I.T. 10 (1931), 1–12. doi:10.1002/sapm19311011
J. Korevaar, "A century of complex Tauberian theory", Bull. Amer. Math. Soc. 39 (2002), 475-531. doi:10.1090/S0273-0979-02-00951-5
J. Korevaar, "On Newman's quick way to the prime number theorem", Math. Intelligencer 4 (1982), 108-115. doi: 10.1007/BF03024240
Hugh L. Montgomery and Robert C. Vaughan, Multiplicative Number Theory I: Classical Theory (Cambridge Studies in Advanced Mathematics) , Cambridge University Press (2012, reprinted edition) ISBN 978-1107405820
N. Wiener, "Tauberian theorems", Ann. of Math. 33 (1932), 1-100. doi:10.2307/1968102
D. Zagier, "Newman’s short proof of the prime number theorem", Am. Math. Mon. 104 (1994), 705–708. doi:10.2307/2975232

定理の内容[編集]

定理の系[編集]

メリン＝スティルチェス変換[編集]

ディリクレ級数[編集]

素数定理への応用[編集]

素数定理の主張[編集]

証明の概略 [編集]

脚注[編集]

参考文献[編集]

関連項目[編集]

　証明の概略　[編集]