热门问题
时间线
聊天
视角
廣義黎曼猜想
来自维基百科,自由的百科全书
Remove ads
黎曼猜想是數學中最重要的猜想之一,描述了黎曼ζ函數非平凡零點的分布規律。而其中黎曼ζ函數可以用各種整體L函數(global L-function)替代,由此得到黎曼猜想不同類型的推廣。這些推廣的猜想描述的是不同L函數非平凡零點分布的規律。許多數學家相信這些猜想是正確的。不過其中僅有部分函數域情形下的推廣得到了證明。
整體L函數可以與橢圓曲線、數域(此時稱為戴德金ζ函數)、馬斯形式(Maass form)或狄利克雷特徵(此時稱為狄利克雷L函數)相聯繫。其中,描述戴德金ζ函數的黎曼猜想被稱為擴展黎曼猜想(extended Riemann hypothesis,ERH),而描述狄利克雷L函數的黎曼猜想則被稱為廣義黎曼猜想(generalized Riemann hypothesis,GRH)。(也有許多數學家用「廣義黎曼猜想」用作對各種整體L函數推廣的總稱,而非單指狄利克雷L函數下的情形。)
Remove ads
廣義黎曼猜想
狄利克雷L函數下的廣義黎曼猜想最初可能是由皮爾茨(Piltz)於1884年提出的。與原始的黎曼猜想類似,該猜想對研究素數分布十分重要。
如查一個已知的狄利克雷特徵χ,可以定義如下狄利克雷L函數
其中,s為實部大於1的所有複數。這一函數可以解析延拓為整個複平面上的亞純函數。廣義黎曼猜想即是指,狄利克雷L函數L(χ,s)的所有非平凡零點的實部都為1/2。
當對所有n都有χ(n) = 1時,廣義黎曼猜想退化為普通的黎曼猜想。
Remove ads
狄利克雷定理指稱,若a和d為彼此互質的自然數,那麼在以a為首項,以d為公差的等差數列中會包含無窮多個質數。設π(x, a, d)為前述的等差數列中不大於x的質數,那麼在廣義黎曼猜想成立的狀況下,對於任意彼此互質的a和d的以及任意的而言,有以下關係式:
其中是歐拉函數 ,而是大O符號。這是質數定理的一個顯著改進。
若廣義黎曼猜想成立,那麼這個乘法群的所有真子群,都會略過一個小於2(ln n)2的數,以及一個小於3(ln n)2且和n互質的數;[1]也就是說,可由一個小於2(ln n)2的數構成的集合生成。這點常用於證明,且有着許多結果,其中一些在假定廣義黎曼猜想成立的狀況下因此可得的結果如下:
- 米勒-拉賓質數判定法保證以多項式時間運行。(然而2002年出現了AKS質數測試這個不需仰賴廣義黎曼猜想且以多項式時間運行的質數判定法。)
- Shanks–Tonelli演算法保證以多項式時間運行。
- Ivanyos–Karpinski–Saxena deterministic決定性演算法[2] 這個用以分解有限域上次數為質常數光平滑數的多項式的演算法保證以多項式時間運行。
若廣義黎曼猜想成立,那麼對於任意的質數p而言,都有一個小於的原根。[3]
弱哥德巴赫猜想在廣義黎曼猜想成立的狀況下成立,在哈洛德·賀歐夫各特對弱哥德巴赫猜想的證明中,他確認了廣義黎曼猜想對數千個虛部大到特定大小的小特徵成立,並因此證明了弱哥德巴赫猜想對所有大於的正整數成立,而對於比這數小的狀況,則直接以計算驗證。[4]
在廣義黎曼猜想成立的狀況下,Pólya–Vinogradov不等式中對特徵和的估計值可改進為,其中q是特徵的模。
Remove ads
Linnik-Sprindzuk定理是一個在普通的黎曼猜想成立的狀況下,滿足特定條件就可推出廣義黎曼猜想的定理。
這定理指出,在普通的黎曼猜想成立的前提下,如果對以最簡分數表達且的有理數,以及任意給定的而言,以下關係式在時成立,那狄利克雷L函數上的廣義黎曼猜想成立:[5]
這定理及變體僅要求黎曼ζ函數的非平凡零點有特定的分布,而不需要對狄利克雷L函數的零點分布有任何了解。
Remove ads
擴展黎曼猜想
假設K為數域(有理數域的有限次代數擴張域),OK為K的整數環,a為OK的理想,Na則為非零理想的絕對範數。於是可以定義K上的戴德金ζ函數
其中,s為實部大於1的所有複數。求和運算對OK的所有非零理想a進行。
這一函數也可以解析延宕到整個複平面上。擴展黎曼猜想是指,戴德金ζ函數ζK(s)的所有非平凡零點的實部都為1/2。
當數域K取有理數域Q,其整數環則為Z時,擴展黎曼猜想退化為普通的黎曼猜想。
拓展黎曼猜想的一個結果是Chebotarev密度定理的有效形式。[6]也就是說,設L / K是伽羅瓦群G的有限伽羅瓦擴張,並設C是G的共軛類的聯集,那麼K對於Frobenius共軛類小於範x的未分岐質數的數量如次:
其中由大O符號指出的常數是絕對的,而n是L在有理數域Q上的次數,而Δ為判別式。
Remove ads
參見
- 阿廷L函數猜想
- 狄利克雷L函數
- 塞爾伯格類
- 大黎曼猜想
參考文獻
延伸閱讀
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads