チェビシェフ関数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

チェビシェフ関数(チェビシェフかんすう、Chebyshev function)は数論における関数。パフヌティ・チェビシェフに因んで呼ばれている。 二つの関数があり、第一チェビシェフ関数 ϑ(x) または θ(x) とは

で定義される関数のことであり、第二チェビシェフ関数 ψ(x) とは

で定義される関数のことである。ここで フォン・マンゴルト関数である。

これらの関数はともに x より小さな素数の分布に関する情報を与える点で素数計数関数 π(x) と類似しているが、素数の分布に関する定理を証明する上では素数計数関数より使いやすく、そのため一般には素数の分布に関する定理の証明ではチェビシェフ関数が用いられることが多い。

基本的性質[編集]

第二チェビシェフ関数は第一チェビシェフ関数を使って

と表される。したがって

により、 第一チェビシェフ関数と第二チェビシェフ関数の差は比較的小さいことが示される。チェビシェフ関数と素数計数関数 π(x) との間には、

という関係が成り立つ。

また、第二チェビシェフ関数は 1 から n までのすべての整数の最小公倍数の対数に等しい:


ゼータ関数との関係[編集]

第二チェビシェフ関数を補正した関数

は、リーマンゼータ関数を使い、

と表示できる。ここで はゼータ関数の非自明な零点すべてを走る。ゼータ関数の零点に関する考察から

がわかり、ここから、前節の性質を用いて素数定理

を導くことができる。

値の評価[編集]

現在、下記の評価が知られている:[1][2] (以下、 p1 = 2, p2 = 3, ... といった具合に pkk 番目の素数を表す)

for
for
for
for
for
for
for

また、リーマン予想により、次の評価が得られる:[3]

for
for

これらの評価にはリーマンのゼータ関数の零点に関する評価と、チェビシェフ関数に対する複雑な近似公式が必要である。

初等的な評価[編集]

一方、初等的な方法により

for

となることを証明することができる。[1]


  • のとき、
  • のとき、

ここで、 nm -1 以下の整数のとき、上記の不等式が正しいと仮定する。

  • が偶数とする。
  • が奇数とする。  とおくと二項定理より
が成り立つ。
となる素数 p はすべて
を割り切るので、
よって

以上より、数学的帰納法により上記の不等式が正しいことが証明された。

Notes[編集]

  1. ^ Hardy, G.H.; Wright, E.M. (2008) [1938], An Introduction to the Theory of Numbers, Revised by D.R. Heath-Brown and J.H. Silverman. Foreword by Andrew Wiles. (6th ed.), Oxford: Oxford University Press, ISBN 978-0-19-921986-5, Zbl 1159.11001 
  • ^ Pierre Dusart, "Estimates of some functions over primes without R.H.". arXiv:1002.0442
  • ^ Pierre Dusart, "Sharper bounds for ψ, θ, π, pk", Rapport de recherche n° 1998-06, Université de Limoges. An abbreviated version appeared as "The kth prime is greater than k(ln k + ln ln k − 1) for k ≥ 2", Mathematics of Computation, Vol. 68, No. 225 (1999), pp. 411–415.
  • ^ Lowell Schoenfeld, "Sharper bounds for the Chebyshev functions θ(x)$ and ψ(x) II, Mathematics of Computation, Vol. 30 , No. 134 (1976), pp. 337–360.
  • ^ Lowell Schoenfeld, "Sharper bounds for the Chebyshev functions θ(x)$ and ψ(x) II, Mathematics of Computation, Vol. 30 , No. 134 (1976), pp. 337–360.