チェビシェフ関数のソースを表示

'''チェビシェフ関数'''（チェビシェフかんすう、<em lang=en>Chebyshev function</em>）は、[[数論]]における関数。[[パフヌティ・チェビシェフ]]に因んで呼ばれている。
二つの関数があり、'''第一チェビシェフ関数''' ''&thetasym;''(''x'') または ''&theta;''(''x'') とは

:<math>\vartheta(x)=\sum_{p\leq x} \ln p</math>

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

:<math> \psi(x) = \sum_{p^k\leq x}\ln p=\sum_{n \leq x} \Lambda(n)</math>

で定義される関数のことである。ここで <math>\Lambda</math> は[[フォン・マンゴルト関数]]である。

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

== 基本的性質 ==
第二チェビシェフ関数は第一チェビシェフ関数を使って

:<math>\psi(x)=\sum_{1\leq n\leq \ln_2 x} \vartheta \left(x^{1/n}\right).</math>

と表される。したがって

:<math>|\psi(x)-\vartheta(x)|=\sqrt x+(1+o(1))\sqrt[3]x</math>

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

: <math> \pi(x) = \sum_{p \leq x} \ln p\int_p^x \frac{dt}{t \ln^2 t} + \frac{1}{\ln x} \sum_{p \leq x} \ln p = \int_2^x \frac{\vartheta(t)\, dt}{t \ln^2 t} + \frac{\vartheta(x)}{\ln x}. </math>

という関係が成り立つ。

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

:<math>\operatorname{lcm}(1,2,\dots, n)=e^{\psi(n)}.</math>


== ゼータ関数との関係 ==
第二チェビシェフ関数を補正した関数

: <math> 
\psi_0(x) 
= \lim_{h\rightarrow 0} \frac12\left(\psi(x+h)+\psi(x-h)\right)
= \frac12\left( \sum_{n \leq x} \Lambda(n)+\sum_{n < x} \Lambda(n)\right)
=\begin{cases} \psi(x) - \frac{1}{2} \Lambda(x) & x = 2,3,4,5,7,8,9,11,13,16,\dots \\ 
\psi(x) & \mbox{otherwise.} \end{cases}
</math>

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

: <math> \psi_0(x) = x - \sum_{\rho} \frac{x^{\rho}}{\rho} - \ln(2\pi) - \frac{1}{2} \ln (1-x^{-2}). </math>

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

: <math> \psi_0(x) \sim x</math>

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

: <math> \pi(x) \sim \frac{x}{\ln x}</math>

を導くことができる。

== 値の評価 ==
現在、下記の評価が知られている：{{ref|Dusart1999}}{{ref|Dusart2010}} （以下、 ''p''<sub>1</sub> = 2, ''p''<sub>2</sub> = 3, ... といった具合に ''p''<sub>''k''</sub> は ''k'' 番目の素数を表す）

:<math>\vartheta(p_k)\geq k\left( \ln k+\ln\ln k-1+\frac{\ln\ln k-2.050735}{\ln k}\right)</math> for <math>k\geq 10^{11},</math>

:<math>\vartheta(p_k)\leq k\left( \ln k+\ln\ln k-1+\frac{\ln\ln k-2}{\ln k}\right)</math> for <math>k\geq 198,</math>

:<math>|\vartheta(x)-x|\leq 0.006788\frac{x}{\ln x}</math> for <math>x\geq 10544111,</math>

:<math>|\psi(x)-x|\leq 0.006409\frac{x}{\ln x}</math> for <math>x\geq e^22,</math>

:<math>\psi(x)<\left(1+\frac{1}{36260}\right)x</math> for <math>x>0,</math>

:<math>\psi(x)-\vartheta(x)>0.9999\sqrt x</math> for <math>x\geq 121,</math>

:<math>0.9999\sqrt x<\psi(x)-\vartheta(x)<1.00007\sqrt x+1.78\sqrt[3]x</math> for <math>x>0,</math>

また、リーマン予想により、次の評価が得られる：{{ref|Schoenfeld1976}}

:<math>|\vartheta(x)-x|<\frac{1}{8\pi}\sqrt x \ln^2 x</math> for <math>x\geq 599,</math>

:<math>|\psi(x)-x|<\frac{1}{8\pi}\sqrt x \ln^2 x</math> for <math>x\geq 73.2,</math>

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

:<math>\vartheta(n)<2n\ln 2</math> for <math>n=1, 2, \ldots</math>

となることを証明することができる。<ref>{{citation
| last1=Hardy
| first1=G.H.
| author1-link=G. H. Hardy
| last2=Wright
| first2=E.M.
| author2-link=E. M. Wright
| edition=6th
| others=Revised by D.R. Heath-Brown and J.H. Silverman.  Foreword by Andrew Wiles.
| title=An Introduction to the Theory of Numbers
| publisher=[[オックスフォード大学出版局|Oxford University Press]]
| location=Oxford
| series=
| isbn=978-0-19-921986-5
| mr=
| zbl=1159.11001 
| year=2008
| origyear=1938
}}</ref>


* <math>n = 1</math> のとき、 <math> \vartheta(n)=0 < 2\ln 2.</math>
* <math>n = 2</math> のとき、 <math> \vartheta(n)=\ln 2 < 4\ln 2.</math>

ここで、 ''n'' が ''m'' -1 以下の整数のとき、上記の不等式が正しいと仮定する。
* <math>m > 2</math> が偶数とする。 <math>\vartheta(m) = \vartheta(m-1)<2(m-1)\ln 2<2m\ln 2.</math>
* <math>m > 2</math> が奇数とする。 <math>m = 2l + 1</math>　とおくと[[二項定理]]より
:::<math> 
\binom{2l + 1}{l} =  
\frac{1}{2} \left[\binom{2l + 1}{l} + \binom{2l + 1}{l + 1}\right]  
< \frac{1}{2}\sum_{k = 0}^{2l+1} \binom{2l + 1}{k}
= \frac{1}{2}(1 + 1)^{2l + 1}   
= 4^l
</math>
:が成り立つ。
::<math>l+1<p\le 2l + 1</math> となる素数 ''p'' はすべて <math>\textstyle\binom{2l + 1}{l}</math>
:を割り切るので、
::<math>\vartheta(2l+1)-\vartheta(l+1)=\sum_{l+1<p\leq 2l + 1}\ln p\leq \ln\binom{2l+1}{l}<2l\ln 2.</math>
:よって
::<math>\vartheta(2l+1)<2l\ln 2+\vartheta(l+1)<2l\ln 2+2(l+1)\ln 2=2(2l+1)\ln 2.</math>

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

この議論は[[ベルトランの仮説|ベルトラン＝チェビシェフの定理]]や[[メルテンスの定理]]といった、素数に関する評価を初等的に証明する上でも重要な役割を果たす。

==Notes==
<references/>
* {{note|Dusart2010}} Pierre Dusart, "Estimates of some functions over primes without R.H.". {{arxiv|1002.0442}}
* {{note|Dusart1999}} Pierre Dusart, "Sharper bounds for &psi;, &theta;, &pi;, ''p''<sub>''k''</sub>", Rapport de recherche n° 1998-06, Université de Limoges.  An abbreviated version appeared as "The ''k''th prime is greater than ''k''(ln&nbsp;''k''&nbsp;+&nbsp;ln&nbsp;ln&nbsp;''k''&nbsp;&minus;&nbsp;1) for ''k''&nbsp;&ge;&nbsp;2", ''Mathematics of Computation'', Vol. 68, No. 225 (1999), pp.&nbsp;411&ndash;415.
* {{note|Schoenfeld1976}} Lowell Schoenfeld, "Sharper bounds for the Chebyshev functions &theta;(''x'')$ and &psi;(''x'') II, ''Mathematics of Computation'', Vol. 30 , No. 134 (1976), pp.&nbsp;337&ndash;360.
* {{note|HW2008}} Lowell Schoenfeld, "Sharper bounds for the Chebyshev functions &theta;(''x'')$ and &psi;(''x'') II, ''Mathematics of Computation'', Vol. 30 , No. 134 (1976), pp.&nbsp;337&ndash;360.

{{DEFAULTSORT:ちえびしえふかんすう}}
[[Category:数論]]
[[Category:整数論的関数]]
[[Category:パフヌティ・チェビシェフ]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]