数学、特に解析的整数論におけるペロンの公式(ペロンのこうしき、英: Perron's formula)とは、オスカー・ペロン(英語版、ドイツ語版)による、逆メリン変換を用いて数論的関数の和を計算する公式である。
主張
- を数論的関数(つまり複素数の列)とし、
- を対応するディリクレ級数とする。実数 があって、この級数は半平面 で一様収束するものとする。
- 実数 に対し
- と定義する。ここでプライムのついた和記号は、 が自然数のときは最後の項に限り 1/2 を掛けて和をとることを意味する。
このときペロンの公式は、
右辺の複素積分は と書かれることも多い。この表示のときはコーシーの主値をとっているものと解釈する。
証明のスケッチ
アーベルの総和公式:
において とおき、
とすると だから右辺第1項は消えて
変数変換 をして変形すると、
この右辺はラプラス変換そのものである。よって逆ラプラス変換[注釈 1]により
例
ディリクレ級数との関連から、ペロンの公式(もしくは証明のスケッチに現れた等式)は数論的な和に関してよく用いられる。
- リーマンゼータ関数は半平面 で
- とディリクレ級数表示され、このとき より (床関数)となり
- ここで [注釈 2]はディリクレ指標 の和。
一般化
ペロンの公式はメリンの離散的畳み込みの特別な場合である。
ここで とし、 はメリン変換である。
試験関数を ( はヘヴィサイドの階段関数)と選ぶとペロンの公式が得られる。
脚注
- ^ (訳注) が不連続な点では逆ラプラス変換が元の関数を返すとは限らないため、この論証は厳密ではない。きちんとした証明には、例えば関係式
を用いる。 - ^ (訳注) が積分の中にしか現れていなければ、自然数のところでの不連続性は問題にならない。
参考文献
- Page 243 of Apostol, Tom M. (1976), Introduction to analytic number theory, Undergraduate Texts in Mathematics, New York-Heidelberg: Springer-Verlag, ISBN 978-0-387-90163-3, MR0434929, Zbl 0335.10001
- Weisstein, Eric W. "Perron's formula". mathworld.wolfram.com (英語).
- Tenenbaum, Gérald C.B. Thomas訳 (1995). Introduction to analytic and probabilistic number theory. Cambridge Studies in Advanced Mathematics. 46. Cambridge: Cambridge University Press. ISBN 0-521-41261-7. Zbl 0831.11001