チェビシェフ関数

チェビシェフ関数（チェビシェフかんすう、Chebyshev function）は、数論における関数。パフヌティ・チェビシェフに因んで呼ばれている。
二つの関数があり、第一チェビシェフ関数 "ϑ"("x") または "θ"("x") とは
で定義される関数のことであり、第二チェビシェフ関数 "ψ"("x") とは
で定義される関数のことである。ここで formula_3 はフォン・マンゴルト関数である。
これらの関数はともに "x" より小さな素数の分布に関する情報を与える点で素数計数関数 "π"("x") と類似しているが、素数の分布に関する定理を証明する上では素数計数関数より使いやすく、そのため一般には素数の分布に関する定理の証明ではチェビシェフ関数が用いられることが多い。
基本的性質.
第二チェビシェフ関数は第一チェビシェフ関数を使って
と表される。したがって
により、 第一チェビシェフ関数と第二チェビシェフ関数の差は比較的小さいことが示される。チェビシェフ関数と素数計数関数 "π"("x") との間には、
という関係が成り立つ。
また、第二チェビシェフ関数は 1 から "n" までのすべての整数の最小公倍数の対数に等しい：
ゼータ関数との関係.
第二チェビシェフ関数を補正した関数
は、リーマンゼータ関数を使い、
と表示できる。ここで formula_10 はゼータ関数の非自明な零点すべてを走る。ゼータ関数の零点に関する考察から
がわかり、ここから、前節の性質を用いて素数定理
を導くことができる。
値の評価.
現在、下記の評価が知られている： （以下、 "p"1 = 2, "p"2 = 3, ... といった具合に "p""k" は "k" 番目の素数を表す）
また、リーマン予想により、次の評価が得られる：
これらの評価にはリーマンのゼータ関数の零点に関する評価と、チェビシェフ関数に対する複雑な近似公式が必要である。
初等的な評価.
一方、初等的な方法により
となることを証明することができる。
ここで、 "n" が "m" -1 以下の整数のとき、上記の不等式が正しいと仮定する。
以上より、数学的帰納法により上記の不等式が正しいことが証明された。
この議論はベルトラン＝チェビシェフの定理やメルテンスの定理といった、素数に関する評価を初等的に証明する上でも重要な役割を果たす。