主題
Search

Landau-Ramanujan 常數

DOWNLOAD Mathematica Notebook下載 Wolfram 筆記本

設 S(x) 表示不超過 x 的可以表示為兩個平方和的正整數的數目（即，那些 n<=x 使得平方和函式 r_2(n)>0）。例如，前幾個可以表示為平方和的正整數是

1=0^2+1^2
(1)
2=1^2+1^2
(2)
4=0^2+2^2
(3)
5=1^2+2^2
(4)
8=2^2+2^2
(5)

(OEIS A001481)，所以 S(1)=1, S(2)=2, S(4)=3, S(5)=4, S(8)=5，等等。那麼

lim_(x->infty)(sqrt(lnx))/xS(x)=K,
(6)

正如 Landau (1908) 證明的那樣，其中 K 是一個常數。Ramanujan 獨立地陳述了該定理的稍微不同的形式，即介於 A 和 x 之間，要麼是平方數，要麼是兩個平方和的數的數量是

S(x)=Kint_A^x(dt)/(sqrt(lnt))+theta(x),
(7)

其中 K approx 0.764 且 theta(x) 與之前的積分相比非常小（Berndt 和 Rankin 1995, p. 24; Hardy 1999, p. 8; Moree 和 Cazaran 1999）。

請注意，對於 n>1, r_2(n)>0 當且僅當 n 不能被素數冪 p^m 整除，其中 p=3 (mod 4) 且 m 為奇數。

LandauRamanujanConstant

該常數的數值為

K=0.764223653...
(8)

(OEIS A064533)。然而，收斂到常數 K，即 Landau-Ramanujan 常數，有時也表示為 lambda，非常緩慢。下表總結了方程 (7) 左側對於前幾個 10 的冪的值，其中 S(10^n) 的序列是 (OEIS A164775)。

xS(x)(sqrt(lnx))/xS(x)
10^171.062199
10^2430.922765
10^33300.867326
10^427490.834281
10^5240280.815287
10^62163410.804123
10^719854590.797109
10^8184578470.792198
10^91732290580.788587
10^(10)16376241560.785818

該常數的精確公式由下式給出

K=1/(sqrt(2))product_(p prime ; = 3 (mod 4))(1-1/(p^2))^(-1/2)
(9)

(Landau 1908; Le Lionnais 1983, p. 31; Berndt 1994; Hardy 1999; Moree 和 Cazaran 1999)，等效公式由下式給出

K=pi/4product_(p prime ; = 1 (mod 4))(1-1/(p^2))^(1/2).
(10)

Flajolet 和 Vardi (1996) 給出了一個收斂速度快的漂亮的公式

K=1/(sqrt(2))product_(n=1)^infty[(1-1/(2^(2^n)))(zeta(2^n))/(beta(2^n))]^(1/2^(n+1)),
(11)

其中 beta(s) 是 狄利克雷 beta 函式。

另一個閉合形式是

K=lim_(n->infty)(sqrt(lnn))/nsum_(k=1)^n[1-delta_(0,r_2(k))],
(12)

其中 delta_(i,j) 是 克羅內克 delta，而 r_2(k) 是平方和函式。

W. Gosper 使用了相關的公式

K=1/2[1/(Psi(2)-1)]^(sqrt(2))product_(k=2)^infty[1/(-Psi(2^k)-1)]^(1/(2^(k+1))),
(13)

其中

Psi(m)=(mpsi_(m-1)(1/4))/(pi^m(2^m-1)4^(m-1)B_m),
(14)

其中 B_n 是伯努利數，而 psi(x) 是多伽瑪函式 (Finch 2003)。

Landau 還證明了更強的結論

lim_(x->infty)((lnx)^(3/2))/(Kx)[S(x)-(Kx)/(sqrt(lnx))]=C,
(15)

其中

C=1/2[1-ln((pie^gamma)/(2L))]-1/4d/(ds)[ln(product_(p prime; = 3 (mod 4))1/(1-p^(-2s)))]_(s=1)
(16)
=0.581948659...
(17)

(OEIS A085990)，e 是自然對數的底數，gamma 是尤拉-馬歇羅尼常數，而 L 是雙紐線常數。

Landau 的證明方法可以擴充套件以表明

S(x)∼Kx/(sqrt(lnx))
(18)

具有一個漸近級數

S(x)=Kx/(sqrt(lnx))[1+(c_1)/(lnx)+(c_2)/((lnx)^2)+...+(c_n)/((lnx)^n)+O(1/((lnx)^(n+1)))],
(19)

其中 n 可以任意大，且 c_j 是常數，其中 c_1=C (Moree 和 Cazaran 1999)。

另請參閱

Landau 常數, Landau-Kolmogorov 常數, 平方數

使用 探索

參考文獻

Berndt, B. C. Ramanujan's Notebooks, Part IV. New York: Springer-Verlag, pp. 60-66, 1994.Berndt, B. C. and Rankin, R. A. Ramanujan: Letters and Commentary. Providence, RI: Amer. Math. Soc., pp. 25, 47, and 49, 1995.Finch, S. R. "Landau-Ramanujan Constant." §2.3 in Mathematical Constants. Cambridge, England: Cambridge University Press, pp. 98-104, 2003.Flajolet, P. and Vardi, I. "Zeta Function Expansions of Classical Constants." Unpublished manuscript. 1996. http://algo.inria.fr/flajolet/Publications/landau.ps.Hardy, G. H. Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work, 3rd ed. New York: Chelsea, pp. 9-10, 55, and 60-64, 1999.Landau, E. "Über die Einteilung der positiven ganzen Zahlen in vier Klassen nach der Mindeszahl der zu ihrer additiven Zusammensetzung erforderlichen Quadrate." Arch. Math. Phys. 13, 305-312, 1908.Landau, E. Handbuch der Lehre von der Verteilung der Primzahlen, Bd. II, 2nd ed. New York: Chelsea, pp. 641-669, 1953.Le Lionnais, F. Les nombres remarquables. Paris: Hermann, 1983.Moree, P. and Cazaran, J. "On a Claim of Ramanujan in His First Letter to Hardy." Expos. Math. 17, 289-312, 1999.Selberg, A. Collected Papers, Vol. 2. Berlin: Springer-Verlag, pp. 183-185, 1991.Shanks, D. "The Second-Order Term in the Asymptotic Expansion of B(x)." Math. Comput. 18, 75-86, 1964.Shanks, D. "Non-Hypotenuse Numbers." Fibonacci Quart. 13, 319-321, 1975.Shanks, D. and Schmid, L. P. "Variations on a Theorem of Landau. I." Math. Comput. 20, 551-569, 1966.Shiu, P. "Counting Sums of Two Squares: The Meissel-Lehmer Method." Math. Comput. 47, 351-360, 1986.Sloane, N. J. A. Sequences A001481/M0968, A064533, A085990, and A164775 in "The On-Line Encyclopedia of Integer Sequences."Stanley, G. K. "Two Assertions Made by Ramanujan." J. London Math. Soc. 3, 232-237, 1928.Stanley, G. K. Corrigendum to "Two Assertions Made by Ramanujan." J. London Math. Soc. 4, 32, 1929. , Inc. "Computing the Landau-Ramanujan Constant." http://library.wolfram.com/infocenter/Demos/120/.

在 上被引用

Landau-Ramanujan 常數

請引用本文為

Weisstein, Eric W. "Landau-Ramanujan 常數。" 來自 -- 資源。 https://mathworld.tw/Landau-RamanujanConstant.html

主題分類