主題
Search

Stieltjes 常數


黎曼 zeta 函式z=1 附近展開得到

 zeta(z)=1/(z-1)+sum_(n=0)^infty((-1)^n)/(n!)gamma_n(z-1)^n
(1)

(Havil 2003, p. 118), 其中常數

 gamma_n=lim_(m->infty)[sum_(k=1)^m((lnk)^n)/k-((lnm)^(n+1))/(n+1)]
(2)

被稱為 Stieltjes 常數。

另一個可以用來定義這些常數的和是

 zeta(z+1)-1/z=sum_(k=0)^infty((-1)^kgamma_kz^k)/(k!).
(3)

這些常數由 Wolfram 語言 函式返回StieltjesGamma[n]。

一個推廣 gamma_n(a)gamma_n(a)/n! 作為 (1-s)^n 的係數,是 洛朗級數赫爾維茨 zeta 函式 zeta(s,a)s=1 附近的展開。這些廣義 Stieltjes 常數在 Wolfram 語言 中實現為StieltjesGamma[n, a]。

n=0 時,給出通常的 尤拉-馬歇羅尼常數

 gamma_0=gamma.
(4)

一個 gamma_1 的極限公式由下式給出

 gamma_1=-lim_(y->infty)y{y+I[zeta(1+i/y)]},
(5)

其中 I[z]虛部zeta(z)黎曼 zeta 函式

另一種定義是透過吸收 gamma_n 的係數到常數中,

 gamma_n^'=((-1)^n)/(n!)gamma_n
(6)

(例如,Hardy 1912, Kluyver 1927)。

Stieltjes 常數也由下式給出

 gamma_n=lim_(z->1)[(-1)^nzeta^((n))(z)-(n!)/((z-1)^(n+1))].
(7)
StieltjesGamma
StieltjesGammaLog

上面說明了 Stieltjes 常數的值作為 n 的函式的圖 (Kreminski)。下表給出了前幾個數值。

nOEISgamma_n
0A0016200.5772156649
1A082633-0.07281584548
2A086279-0.009690363192
3A0862800.002053834420
4A0862810.002325370065
5A0862820.0007933238173
StieltjesGammaSignRuns

Briggs (1955-1956) 證明了對於每個 符號,都有無窮多個 gamma_n。對於 gamma_n,當 n=0, 1, ... 時的符號為 1, -1, -1, 1, 1, 1, -1, -1, -1, -1, ... (OEIS A114523),並且連續符號的遊程長度為 1, 2, 3, 4, 3, 4, 5, 4, 5, 5, 5, ... (OEIS A114524)。上面顯示了遊程長度的圖。

Berndt (1972) 給出了上限

 |gamma_n|<{(4(n-1)!)/(pi^n)   for n even; (2(n-1)!)/(pi^n)   for n odd.
(8)

然而,這些界限非常弱。一個更強的界限由下式給出

 |gamma_n|<10^(-4)e^(nlnlnn)
(9)

對於 n>4 (Matsuoka 1985)。

Vacca (1910) 證明了 尤拉-馬歇羅尼常數 可以表示為

 gamma=sum_(k=1)^infty((-1)^k)/k|_lgk_|,
(10)

其中 |_x_|向下取整函式lg 函式 lgx=log_2x 是以 2 為底的 對數。Hardy (1912) 從 Vacca 的表示式中推匯出了 公式

 gamma_1=1/6(ln2)^2-1/2gammaln2+1/(2ln2)sum_(k=1)^infty((-1)^k(lnk)^2)/k
(11)

從 Vacca 的表示式中。

Kluyver (1927) 給出了類似於 gamma_n 的級數,對所有 n>1 都有效,

 gamma_n=n!(ln2)^nsum_(m=1)^(n+1)((-1)^(m-1))/(m!)sum_(k=1)^infty((-1)^k|_lgk_|^mB_(1+n-m)(lgk))/k,
(12)

其中 B_n(x)伯努利多項式。然而,這個級數收斂極慢,需要超過 10^4 項才能得到 gamma_1 的兩位數字,而更高階的 gamma_n 需要更多項。

gamma_n 也可以用單個和來表示,使用

 gamma_n=((ln2)^n)/(n+1)sum_(k=1)^infty((-1)^k)/kB_(n+1)(lgk).
(13)

gamma_1 也出現在和的漸近展開中

 sum_(n=1)^x1/nln(x/n)=1/2(lnx)^2+gammalnx-gamma_1+O(x^(-1)),
(14)

其中 gamma_1 被稱為 -D,並且被 Ellision 和 Mendès-France (1975) 錯誤地給出 (並且該錯誤隨後被 Le Lionnais 1983, p. 47 再現)。(14) 的確切形式由下式給出

 sum_(n=1)^x1/nln(x/n)=H_xlnx+gamma_1(x+1)-gamma_1,
(15)

其中 H_x調和數gamma_n(a) 是廣義 Stieltjes 常數。

一組與 gamma_n 相關的常數是

 delta_n=lim_(m->infty)[sum_(k=1)^m(lnk)^n-int_1^m(lnx)^ndx-1/2(lnm)^n]
(16)

(Sitaramachandrarao 1986, Lehmer 1988)。

Stieltjes 常數也滿足以下優美的和

 sum_(k=0)^infty(gamma_(k+n))/(k!)=(-1)^n[n!+zeta^((n))(0)]
(17)

(O. Marichev, 私人通訊, 2008)。


參見

伯努利多項式, 尤拉-馬歇羅尼常數, 尤拉乘積, 黎曼 Zeta 函式

相關 Wolfram 站點

http://functions.wolfram.com/ZetaFunctionsandPolylogarithms/StieltjesGamma/

使用 探索

參考文獻

Berndt, B. C. "On the Hurwitz Zeta-Function." Rocky Mountain J. Math. 2, 151-157, 1972.Bohman, J. and Fröberg, C.-E. "The Stieltjes Function--Definitions and Properties." Math. Comput. 51, 281-289, 1988.Briggs, W. E. "Some Constants Associated with the Riemann Zeta-Function." Mich. Math. J. 3, 117-121, 1955-1956.Coffey, M. W. "New Results on the Stieltjes Constants: Asymptotic and Exact Evaluation." J. Math. Anal. Appl. 317, 603-612, 2006.Coffey, M. W. "New Summation Relations for the Stieltjes Constants." Proc. Roy. Soc. A 462, 2563-2573, 2006.Ellison, W. J. and Mendès-France, M. Les nombres premiers. Paris: Hermann, 1975.Finch, S. R. "Stieltjes Constants." §2.21 in Mathematical Constants. Cambridge, England: Cambridge University Press, pp. 166-171, 2003.Hardy, G. H. "Note on Dr. Vacca's Series for gamma." Quart. J. Pure Appl. Math. 43, 215-216, 1912.Hardy, G. H. and Wright, E. M. "The Behavior of zeta(s) when s->1." §17.3 in An Introduction to the Theory of Numbers, 5th ed. Oxford, England: Clarendon Press, pp. 246-247, 1979.Havil, J. Gamma: Exploring Euler's Constant. Princeton, NJ: Princeton University Press, 2003.Kluyver, J. C. "On Certain Series of Mr. Hardy." Quart. J. Pure Appl. Math. 50, 185-192, 1927.Knopfmacher, J. "Generalised Euler Constants." Proc. Edinburgh Math. Soc. 21, 25-32, 1978.Kreminski, R. "Newton-Cotes Integration for Approximating Stieltjes (Generalized Euler) Constants." Math. Comput. 72, 1379-1397, 2003.Kreminski, R. "This Site Will Archive Some Stieltjes-Related Computational Work..." http://www.tamu-commerce.edu/math/FACULTY/KREMIN/stieltjesrelated/.Kreminski, R. "This Page Displays Work in Progress by Rick Kreminski." http://www.tamu-commerce.edu/math/FACULTY/KREMIN/stieltjes/stieltjestestpage.html.Kreminski, R. "Gammas 1 to 12 to 6900 Digits." http://www.tamu-commerce.edu/math/FACULTY/KREMIN/stieltjesrelated/gammas1to12/.Lammel, E. "Ein Beweis dass die Riemannsche Zetafunktion zeta(s) is |s-1|<=1 keine Nullstelle besitzt." Univ. Nac. Tucmán Rev. Ser. A 16, 209-217, 1966.Le Lionnais, F. Les nombres remarquables. Paris: Hermann, p. 47, 1983.Lehmer, D. H. "The Sum of Like Powers of the Zeros of the Riemann Zeta Function." Math. Comput. 50, 265-273, 1988.Liang, J. J. Y. and Todd, J. "The Stieltjes Constants." J. Res. Nat. Bur. Standards--Math. Sci. 76B, 161-178, 1972.Matsuoka, Y. "Generalized Euler Constants Associated with the Riemann Zeta Function." In Number Theory and Combinatorics. Japan 1984 (Tokyo, Okayama and Kyoto, 1984). Singapore: World Scientific, pp. 279-295, 1985.Plouffe, S. "Stieltjes Constants from 0 to 78, to 256 Digits Each." http://pi.lacim.uqam.ca/piDATA/stieltjesgamma.txt.Sitaramachandrarao, R. "Maclaurin Coefficients of the Riemann Zeta Function." Abstracts Amer. Math. Soc. 7, 280, 1986.Sloane, N. J. A. Sequences A001620/M3755, A082633, A086279, A086280, A086281, A086282, A114523, and A114524 in "The On-Line Encyclopedia of Integer Sequences."Vacca, G. "A New Series for the Eulerian Constant." Quart. J. Pure Appl. Math. 41, 363-368, 1910.

在 上被引用

Stieltjes 常數

請引用為

Weisstein, Eric W. "Stieltjes 常數。" 來自 Web 資源。 https://mathworld.tw/StieltjesConstants.html

主題分類