主題
Search

黎曼 Zeta 函式的零點


黎曼 zeta 函式 zeta(s) 的零點分為兩種型別。所謂的“平凡零點”出現在所有負偶數整數 s=-2, -4, -6, ...,而“非平凡零點”出現在滿足以下條件的 t 的某些值處

 s=sigma+it
(1)

對於 "臨界帶" 0<sigma<1 中的 s。一般來說,zeta(s) 的非平凡零點記為 rho,且當 t>0 時的第 n 個非平凡零點通常記為 rho_n (Brent 1979; Edwards 2001, p. 43),其對應的 t 值稱為 t_n

維納 (Wiener) (1951) 表明,素數定理 實際上等價於 zeta(s)sigma=1 上沒有零點的論斷 (Hardy 1999, p. 34; Havil 2003, p. 195)。黎曼猜想 斷言,zeta(s) 的非平凡零點都具有 實部 sigma=R[s]=1/2,這條線被稱為“臨界線”。已知對於前 10^(13) 個零點,這是成立的。

Wolfram Riemann Zeta Zeros Poster

(1995) 製作了一張引人入勝的海報,繪製了 臨界線黎曼 zeta 函式 的零點,並附有相關歷史資訊的註釋,如上圖所示。

RiemannZetaZerosReImAbs
最小值 最大值
實部
虛部 Powered by webMathematica

上面的圖表顯示了在複平面中繪製的 zeta(s) 的實部和虛部,以及 zeta(z)復模。可以看出,在右半平面,該函式相當平坦,但有大量的水平脊。非平凡零點恰好位於這些脊上。

RiemannZetaZerosContoursReIm

透過繪製零實部(紅色)和虛部(藍色)的輪廓,可以稍微更容易地看到復零點的位置,如上圖所示。零點(用黑點表示)出現在曲線相交的地方。

RiemannZetaSurfaces

上面的圖形透過繪製 |zeta(z)| (其中零點是凹陷)和 1/|zeta(z)| (其中零點是峰值)突出了 複平面 中的零點。

RiemannZetaAbs

上面的圖表顯示了當 t 在 0 到 60 之間時 |zeta(1/2+it)| 的值。可以看出,前幾個非平凡零點出現在下表給出的值處 (Wagon 1991, pp. 361-362 和 367-368; Havil 2003, p. 196; Odlyzko),其中相應的負值也是根。最接近這些值的整數是 14, 21, 25, 30, 33, 38, 41, 43, 48, 50, ... (OEIS A002410)。小於 10, 10^2, 10^3, ... 的非平凡零點的數量是 0, 29, 649, 10142, 138069, 1747146, ... (OEIS A072080; Odlyzko)。

nOEISt_n
1A05830314.134725
221.022040
325.010858
430.424876
532.935062
637.586178
XiFunctionRoots

黎曼定義的所謂 xi 函式 xi(z)zeta(z) 的非平凡零點具有完全相同的零點,並且 xi(z) 是整函式,xi(1/2+it) 是純實數,因此更容易定位。

ZetaGrid 是一個分散式計算專案,旨在計算儘可能多的零點。截至 2005 年 2 月 18 日,它已達到 10299 億個零點。Gourdon (2004) 使用 Odlyzko 和 Schönhage 的演算法計算了前 10×10^(12) 個零點 (Pegg 2004, Pegg 和 Weisstein 2004)。下表列出了計算出的零點數量的歷史基準 (Gourdon 2004)。

年份n作者
190315J. P. Gram
191479R. J. Backlund
1925138J. I. Hutchinson
19351041E. C. Titchmarsh
19531104A. M. Turing
195615000D. H. Lehmer
195625000D. H. Lehmer
195835337N. A. Meller
1966250000R. S. Lehman
19683500000J. B. Rosser, J. M. Yohe, L. Schoenfeld
197740000000R. P. Brent
197981000001R. P. Brent
1982200000001R. P. Brent, J. van de Lune, H. J. J. te Riele, D. T. Winter
1983300000001J. van de Lune, H. J. J. te Riele
19861500000001J. van de Lune, H. J. J. te Riele, D. T. Winter
200110000000000J. van de Lune (未發表)
2004900000000000S. Wedeniwski
200410000000000000X. Gourdon 和 P. Demichel

數值證據表明,對應於非平凡零點的所有 t 值都是無理數(例如,Havil 2003, p. 195; Derbyshire 2004, p. 384)。

目前尚不知道階數大於 1 的零點。雖然此類零點的存在不會反駁黎曼猜想,但它會給許多當前的計算技術帶來嚴重問題 (Derbyshire 2004, p. 385)。

一些非平凡零點非常接近,這種性質被稱為 萊默現象

黎曼 zeta 函式 可以根據其非平凡零點 rho 分解為 Hadamard 乘積

 zeta(s)=(e^([ln(2pi)-1-gamma/2]s))/(2(s-1)Gamma(1+1/2s))product_(rho)(1-s/rho)e^(s/rho)
(2)

(Titchmarsh 1987, Voros 1987)。

rho_k 表示 zeta(s) 的第 k 個非平凡零點,並將這些零點的負整數次冪之和寫為

 Z(n)=sum_(k)rho_k^(-n)
(3)

(Lehmer 1988, Keiper 1992, Finch 2003, p. 168),有時也表示為 sigma_n (例如,Finch 2003, p. 168)。但是根據函式方程,非平凡零點成對出現,如 rho1-rho,因此如果虛部為正的零點寫為 sigma_k+it_k,則和變為

 Z(n)=sum_(k)[(sigma_k+it_k)^(-n)+(1-sigma_k-it_k)^(-n)].
(4)

這些和可以解析計算,前幾個是

Z(1)=1/2[2+gamma-ln(4pi)]
(5)
Z(2)=1+gamma^2-1/8pi^2+2gamma_1
(6)
Z(3)=1+gamma^3+3gammagamma_1+3/2gamma_2-7/8zeta(3)
(7)
Z(4)=1+gamma^4-1/(96)pi^4+4gamma^2gamma_1+2gamma_1^2+2gammagamma_2+2/3gamma_3
(8)
Z(5)=1+gamma^5+5gamma^3gamma_1+5/2gamma^2gamma_2+5/2gamma_1gamma_2+5gammagamma_1^2+5/6gammagamma_3+5/(24)gamma_4-(31)/(32)zeta(5)
(9)
Z(6)=1+gamma^6-1/(960)pi^6+6gamma^4gamma_1+2gamma_1^3+3gamma^3gamma_2+3/4gamma_2^2+gamma_1gamma_3+9gamma^2gamma_1^2+gamma^2gamma_3+6gammagamma_1gamma_2+1/4gammagamma_4+1/(20)gamma_5,
(10)

其中 gamma尤拉-馬歇羅尼常數gamma_i斯蒂爾傑斯常數zeta(n)黎曼 zeta 函式zeta(3)阿佩裡常數。這些值也可以用 Li 常數表示 (Bombieri 和 Lagarias 1999)。

情況是

 Z(1)=0.0230957...
(11)

(OEIS A074760; Edwards 2001, p. 160) 是經典的,黎曼知道這一點,並在計算 zeta(s) 的根時使用了它 (Davenport 1980, pp. 83-84; Edwards 2001, pp. 67 和 159)。它也等於 Li 判據中的常數 lambda_1

假設 黎曼猜想 是正確的(因此 sigma=1/2),方程 (◇) 可以用簡單的形式寫出 n 的前幾個值

Z(1)=sum_(k)4/(1+4t_k^2)
(12)
Z(2)=-sum_(k)(8(4t_k^2-1))/((4t_k^2+1)^2)
(13)
Z(3)=-sum_(k)(16(12t_k^2-1))/((4t_k^2+1)^3)
(14)
Z(4)=-sum_(k)(32(16t_k^4-24t_k^2+1))/((4t_k^2+1)^4)
(15)

等等。


另請參閱

臨界線, 臨界帶, 顯式公式, 格拉姆定律, 格拉姆點, Hadamard 乘積, 哈代定理, 希爾伯特-波利亞猜想, 朗道公式, 萊默現象, 李氏判據, 曼戈爾特函式, 蒙哥馬利-奧德利茲科定律, 蒙哥馬利對相關猜想, 黎曼猜想, 黎曼-馮·曼戈爾特公式, 黎曼 Zeta 函式, Xi 函式

使用 探索

參考文獻

Bombieri, E. and Lagarias, J. C. "Complements to Li's Criterion for the Riemann Hypothesis." J. Number Th. 77, 274-287, 1999.Brent, R. P. "On the Zeros of the Riemann Zeta Function in the Critical Strip." Math. Comput. 33, 1361-1372, 1979.Brent, R. P.; van de Lune, J.; te Riele, H. J. J.; and Winter, D. T. "On the Zeros of the Riemann Zeta Function in the Critical Strip. II." Math. Comput. 39, 681-688, 1982.Davenport, H. 乘法數論,第二版 New York: Springer-Verlag, 1980.Derbyshire, J. 素數 Obsession:伯恩哈德·黎曼與數學中最偉大的未解問題 New York: Penguin, 2004.Edwards, H. M. 黎曼 Zeta 函式 New York: Dover, 2001.Farmer, D. W. "Counting Distinct Zeros of the Riemann Zeta-Function." Electronic J. Combinatorics 2, No. 1, R1, 1-5, 1995. http://www.combinatorics.org/Volume_2/Abstracts/v2i1r1.html.Finch, S. R. 數學常數 Cambridge, England: Cambridge University Press, p. 168, 2003.Gourdon, X. "Computation of Zeros of the Zeta Function." http://numbers.computation.free.fr/Constants/Miscellaneous/zetazeroscompute.html.Gourdon, X. "The 10^(13) First Zeros of the Riemann Zeta Function, and Zeros Computation at Very Large Height." Oct. 24, 2004. http://numbers.computation.free.fr/Constants/Miscellaneous/zetazeros1e13-1e24.pdf.Gram, J.-P. "Sur les zéros de la fonction zeta(s) de Riemann." Acta Math. 27, 289-304, 1903.Hardy, G. H. 拉馬努金:關於他的生活和工作提出的主題的十二講座,第三版 New York: Chelsea, 1999.Havil, J. "The Zeros of Zeta." §16.6 in Gamma:探索尤拉常數 Princeton, NJ: Princeton University Press, pp. 193-196, 2003.Hayes, B. "The Spectrum of Riemannium." Amer. Sci. 91, 296-300, 2003.Hutchinson, J. I. "On the Roots of the Riemann Zeta-Function." Trans. Amer. Math. Soc. 27, 49-60, 1925.Keiper, J. B. "Power Series Expansions of Riemann's xi Function." Math. Comput. 58, 765-773, 1992.Landau, E. "Über die Nullstellen der Zetafunction." Math. Ann. 71, 548-564, 1911.Lehmer, D. H. "The Sum of Like Powers of the Zeros of the Riemann Zeta Function." Math. Comput. 50, 265-273, 1988.Odlyzko, A. M. "The 10^(20)th Zero of the Riemann Zeta Function and 70 Million of Its Neighbors." Preprint.Odlyzko, A. "Tables of Zeros of the Riemann Zeta Function." http://www.dtc.umn.edu/~odlyzko/zeta_tables/.Pegg, E. Jr. "Math Games: Ten Trillion Zeta Zeros." Oct. 18, 2004. http://www.maa.org/editorial/mathgames/mathgames_10_18_04.html.Pegg, E. Jr. and Weisstein, E. W. "Seven Mathematical Tidbits." Headline News. Nov. 8, 2004. https://mathworld.tw/news/2004-11-08/seventidbits/#3.Sabbagh, K. 黎曼博士的零點:尋找解決數學中最偉大問題的百萬美元方案 Atlantic Books, 2002.Sloane, N. J. A. Sequences A002410/M4924, A058303, A072080, and A074760 in "The On-Line Encyclopedia of Integer Sequences."Titchmarsh, E. C. 黎曼 Zeta 函數理論,第二版 New York: Clarendon Press, 1987.Tyagi, S. "Double Exponential Method for Riemann Zeta, Lerch and Dirichlet L-Functions." https://arxiv.org/abs/2203.02509. 7 Mar 2022.Voros, A. "Spectral Functions, Special Functions and the Selberg Zeta Function." Commun. Math. Phys. 110, 439-465, 1987.Wagon, S. "The Evidence: Where Are the Zeros of Zeta of s?" Math. Intel. 8, 57-62, 1986.Wagon, S. Mathematica 實踐 New York: W. H. Freeman, 1991.Wiener, N. §19 et seq. in 傅立葉積分及其某些應用 New York: Dover, 1951.. "The Riemann Zeta Function on the Critical Line Plotted by Mathematica." 1995. https://mathworld.tw/pdf/posters/Zeta.pdf.ZetaGrid. http://www.zetagrid.net/.

在 中引用

黎曼 Zeta 函式的零點

請引用為

Weisstein, Eric W. “黎曼 Zeta 函式的零點。” 來自 Web 資源。 https://mathworld.tw/RiemannZetaFunctionZeros.html

主題分類