ウィーナー＝池原の定理
解析学において、ウィーナー＝池原の定理（ウィーナー＝いけはらのていり、）とは、関数の漸近挙動に関するタウバー型定理の一つ。ウィーナー＝池原のタウバー型定理とも呼ばれる。関数のラプラス＝スティルチェス変換の定義域の境界における解析性に関する条件から、元の関数の漸近的性質が得られることを主張する。定理の名は数学者ノーバート・ウィーナーと、ウィーナーの下で指導を受けた池原止戈夫に因む。1931年に池原はウィーナーによるタウバー型定理の初期の結果からこの定理を導き、素数定理のエドムント・ランダウによる証明法の改良を与えた。さらにウィーナーは1932年にフーリエ変換におけるタウバー型定理の論文の中で池原の結果を取り上げるともに、その内容を補完した。現在、ウィーナー＝池原のタウバー型定理は素数定理の標準的な証明法の一つであり、定理の改良が続けられてきている。
をで非負、非減少関数であるとし、ラプラス＝スティルチェス変換
はで収束するとする。このとき、ある定数が存在し、
が閉半平面に連続拡張可能であれば、での漸近的挙動として、
が成り立つ。
解析的整数論では、次のメリン＝スティルチェス変換、もしくはディリクレ級数に適用した次の系が応用される。
ラプラス＝スティルチェス変換において、 の代わりに をとり、 と変数変換すれば、メリン＝スティルチェス変換に対する定理の系が得られる。
をで非負、非減少関数であるとし、メリン＝スティルチェス変換
はで収束するとする。このとき、ある定数が存在し、
が閉半平面に連続拡張可能であれば、での漸近的挙動として、
が成り立つ。
数列 から定義される
にラプラス＝スティルチェス変換を行えば、次のディリクレ級数に対する定理の系が得られる。
をを満たす数列 によって、で定義される次の形のディリクレ級数とする。
このとき、正の定数が存在し、
が閉半平面に連続拡張可能であれば、
のでの漸近的挙動として、
が成り立つ。
同様の結果はエドムント・ランダウによって得られていたが、 の増大条件として、ある定数 が存在し、
とする仮定を必要としていた。池原はこの条件を緩和し、より一般的にこの結果が成立することを示した。
素数定理は値 以下の素数 の個数
が成り立つ、またはそれと同値な内容として、チェビシェフ関数
が成り立つことを述べている。但し、 は ( は素数、 は1以上の整数)のときは、それ以外はゼロの値をとるフォン・マンゴルト関数である。
素数定理は、リーマンゼータ関数 の対数微分で定義される
にウィーナー＝池原の定理を適用することで示すことができる。実際、 は上で零点を持たず、かつ での留数１の１位の極を除いて、半平面で解析的である。
はで解析的であり、ディリクレ級数におけるウィーナー＝池原の定理の系からチェビシェフ関数は
を満たす。