ルジャンドル定数

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

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

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

ここで.... である。 もしくは同様にして

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

1849年にパフヌティ・チェビシェフがBに極限が存在するとき、Bは1に等しくなくてはならないことを証明したEdmund Landau. Handbuch der Lehre von der Verteilung der Primzahlen, page 17. Third (corrected) edition, two volumes in one, 1974, Chelsea 1974。より簡単な証明がPintzにより1980年に与えられているJ. Pintz. On Legendre's prime number formula. Amer. Math. Monthly 87 (1980), 733-735.。

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

（ある正の定数aの場合。ここでO(…) はランダウの記号である）。これは1899年にCharles de La Vallée PoussinによってBが実際に1に等しいことが証明されたLa Vallée Poussin, C. Mém. Couronnés Acad. Roy. Belgique 59, 1-74, 1899。（素数定理は1896年にジャック・アダマール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 とLa Vallée Poussin« 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により独立に証明されたが、関連する誤差項の推定はなかった。）

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

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

for および

for .

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

with .

出典

外部リンク