許青舟當然不會拒絕:“我這邊沒什麼問題,您什麼時候需要,我什麼時候過來。”
“明天上午,9點吧。”
“好。”
結束通話電話,許青舟長吐了口氣,想什麼來什麼,前些天還想著要怎麼蹭一蹭實驗呢。
回到圖書館位子上,喝了口水,他的目光放到了猜想內容上:對所有自然數k,存在無窮多個素數對(p, p+2k。
波利尼亞克猜想,也叫廣義孿生素數猜想。
多了“廣義”兩個字,證明或者證偽的難度直線上升。
就好像原本要在一片湖裡撈針,現在突然把湖換成海,成了真正的大海撈針了。
許青舟眯著眼,注意力又回到孿生素數個數的推測上面。這個地方,再進行修正,用π2(x表示不超過x的孿生素數個數.
想著,他提筆寫下一排公式。
【π2(x=#{p≤x:p+2&ne}】
按照這種方式的話,孿生素數猜想的充分必要條件就是π2(x嚴格單調遞增。
到這裡,漸近公式就比較重要了。
【π2(xKxlog2x。】
接下來可以試著求出K的具體表示式。
透過拼湊,先讓第(9右側的乘積能夠變成收斂的量,也就是說要找到一個已知漸近展開的乘積∏3≤p≤xf(p使得乘積∏p≥312/pf(p收斂。
最後,再利用對數函式的性質,就能把問題轉化成證明表示式收斂。
想清楚,許青舟也不再浪費時間,開始動筆。
這意味著當 n≤Pz時,有:
【π2(Pz,z=∏.3≤p≤z(p2=Pz2∏3≤p≤z(12p】
K的表示式:
【K=2∏p≥312/p(11/p2=2∏p≥3[11(p12]】
到這裡,許青舟就算完成了第一步,接下來,就是把曾經探究素數和孿生素數分佈時用的核心方法進行提煉,得到證明波利尼亞克猜想的篩法的原始形式。
在此基礎上進行完成,以期望得到一個全新的更加強勁的篩法。
按照曾經的習慣,許青舟還是先把這段時間所有的計算步驟全部過一遍,腦海中有了一個清晰和完整的脈絡了,才開始思考要從哪裡入手。
首先,精簡篩法,在孿生素數定理的篩法基礎上,引入解析數論中的複分析、L函式等,以及組合數學、代數幾何等領域的技巧,構造一個足夠強大並且能夠精準篩選素數的工具。
同時,還得開發一個高效的演算法來輔助計算,以便能快速地處理大規模資料,提高篩法的效率和準確性。
這點恐怕還得用到超算中心的超算資源。
到這裡,許青舟暫時把波利尼亞克猜想的資料收起來,調出還沒看完的鋰離子電池的論文,悶頭算了兩天,現在確實有點累。
過猶不及,一直悶頭算下去容易陷入牛角尖,而且想證明一個猜想不是一朝一夕能完成的,還是要勞逸結合。
 本章完