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