ルジャンドル定数

n=100,000までの数列an = ln(n) − n/π(n)(赤線)。約1.08366(青線)に収束するように見える。
n=10,000,000までの同じ数列 an = ln(n) − n/π(n)(赤線)。1.08366(青線)より小さいように見える。

ルジャンドル定数(ルジャンドルていすう、英語: Legendre's constant)は、アドリアン=マリ・ルジャンドルにより素数計数関数の漸近的振る舞いを捉えるために予想された式に含まれる数学定数である。現在、この値はぴったり1であることが分かっている。

ルジャンドルは、既知の素数に関して使用できた数値的証拠を研究し、が近似式を満たしていることを考えた。

ルジャンドルが1808年にした予想は

ここで....A228211[1] である。 もしくは同様にして

ここでBはルジャンドル定数である。ルジャンドルはBがおよそ1.08366であると推測したが、その正確な値にかかわらずBの存在は素数定理を暗に含む。

1849年にパフヌティ・チェビシェフBに極限が存在するとき、Bは1に等しくなくてはならないことを証明した[2]。より簡単な証明がPintzにより1980年に与えられている[3]

これは、誤差項の明示的推定を伴う正確な形式の下での、素数定理の直接的な帰結である。

(ある正の定数aの場合。ここでO(…) はランダウの記号である)。これは1899年にCharles de La Vallée PoussinによってBが実際に1に等しいことが証明された[4]。(素数定理は1896年にジャック・アダマール[5]とLa Vallée Poussin[6]により独立に証明されたが、関連する誤差項の推定はなかった。)

このように単純な数値と評価されることで、ルジャンドル定数という用語はほぼ歴史的価値のある定数となった。(専門的には誤りであるが)しばしばルジャンドルが最初に推測した1.08366...という値が参照されることがある。

2010年にピエール・デザルトは次の式を証明した。

for および
for .[7]

これは次の形式と同じである。

with .

出典

[編集]
  1. ^ Ribenboim, Paulo (2004). The Little Book of Bigger Primes. New York: Springer-Verlag. p. 188. ISBN 0-387-20169-6 
  2. ^ Edmund Landau. Handbuch der Lehre von der Verteilung der Primzahlen, page 17. Third (corrected) edition, two volumes in one, 1974, Chelsea 1974
  3. ^ J. Pintz. On Legendre's prime number formula. Amer. Math. Monthly 87 (1980), 733-735.
  4. ^ La Vallée Poussin, C. Mém. Couronnés Acad. Roy. Belgique 59, 1-74, 1899
  5. ^ Sur la distribution des zéros de la fonction et ses conséquences arithmétiques, Bulletin de la Société Mathématique de France, Vol. 24, 1896, pp. 199–220 Online Archived 2012-07-17 at the Wayback Machine.
  6. ^ « Recherches analytiques sur la théorie des nombres premiers », Annales de la société scientifique de Bruxelles, vol. 20, 1896, p. 183-256 et 281-361
  7. ^ Dusart, Pierre (2010). "Estimates of Some Functions over Primes without R.H". arXiv:1002.0442 [math.NT]。

外部リンク

[編集]