第(1/3)頁 巴克馬斯特，麻省理工大學教授，‘拉馬努金獎’獲得者，阿邁瑞肯國家科學院院士。 他是偏微分方程應用領域非常有名的專家，也是公認NS方程研究應用領域的權威，一直致力于NS方程理論應用的研究。 早在五年前，巴克馬斯特就開始嘗試對于NS方程研究的主要方法是否能夠成功，進行了質疑和挑戰，并發表了自己和同事一起研究的成果。 當時的成果還不完善，只是論證‘在特定的假設下，NS方程對物理世界的描述的不一致性’。 現在的這篇研究成果，則是在‘允許NS方程解集粗糙’的情況下，證明NS方程的輸出不合理，也就是偏差值過大、不具穩定性。 舉個例子來說明，比如，某一個參數調整為5，輸出的數值是10；參數調整到6，輸出的數值變成了60；參數調整到7，輸出的數值又變成了11，輸出的數值，并沒有跟著參數緩慢的變動而變動，而是出現波動較大的情況。 這就是偏差值過大，不具穩定性。 在‘允許NS方程解集粗糙’的情況下，方程輸出的數值不具穩定性，一定程度上就可以推斷，方程本身也存在不穩定的情況，也就是一定程度上否證了NS方程解集的光滑性。 巴克馬斯特本人還接受了采訪，他解釋道，“光滑解集用來表述物理世界是完備的，但是數學上講，他們并不一定總是存在。” “很多時候，我們只能用粗糙解集來對方程進行研究，也就是弱解。” “就像是進行臉部的素描，每一條線并不一定畫在固定位置上，但整體趨向是固定的。” “如果臉龐的線畫在了鼻子上，我們認為，就不是成功的素描，而是出現了低級錯誤。” “如果在弱解集上出現這種錯誤，那么就可以認為，光滑解集，一定程度上，也是不完備（光滑）的。” 巴克馬斯特接受采訪的解釋，邏輯是否合理還是要看個人判斷，但他所做的證明卻是邏輯嚴謹的。 王浩下載了論文的原版，仔細看了兩個多小時，也沒有找出其中的問題。 至于推導細節，能登上數學類頂級學術期刊，要經過兩輪的審稿，幾乎不可能出現類似的低級錯誤。 “不可能啊！” 王浩眉頭緊皺的思考著，“過程不可能有錯，邏輯上也沒有問題……” “難道證明是正確的？” “這不可能！” 如果巴克馬斯特的論證是正確的，就代表他的研究是錯誤的。 這怎么可能呢？ 人腦思維可能出錯，但系統對知識靈感的判定，還趕不上巴克馬斯特的邏輯嚴謹嗎？ 或者說，巴克馬斯特超越了系統？ “不可能！” 王浩決心和這篇論文杠上了，他又從頭到尾審視了一遍，卻依舊找不出任何問題，干脆就建立了個任務-- 【任務四】 【研究項目名稱：找出巴克馬斯特研究的問題（難度：C）。】 【靈感值：0。】 “！！” “難度C？不愧是NS方程公認的頂級專家啊！” 王浩看著任務難度都被驚住了，他只是找一篇研究論文中的問題，結果難度竟然趕上了一個研究，也怪不得他審視了三個小時，什么也發現不了。 這個問題讓巴克馬斯特自己來找，估計他自己都找不到吧！ …… 巴克馬斯特的研究影響力確實很大。 雖然沒有到國際數學界震動的程度，但和偏微分方程、NS方程研究有關的學者，都會看他的論文，甚至一些運用到NS方程的學者也都會看他的論文。 包括一些空氣動力學，流體力學研究的學者，也包括應用領域的專家。 等等。 巴克馬斯特的研究一定程度上否定了NS方程。 事實上，每年都會有很多研究去否定NS方程，但這一次是巴克馬斯特，NS方程研究領域公認的頂級專家。 另外，巴克馬斯特的論文發表在了《基礎數學與應用數學》上，權威期刊自然是有一定說服力的。 再然后，他的論文證明邏輯嚴謹。 當所有人都沒有發現問題，就會感到非常驚奇了，有人甚至提出要根據巴克馬斯特的研究，去找到NS方程不平滑的現實例證。 當然大部分人還是冷靜的。 很多時候，數學邏輯和物理現實還是存在差異，因為在應用方面來說，只要使用的工具是有效的，并不需要證明它永遠有效。 現在還只是數學界的理論研究，論文中也沒有百分之百否定NS方程，只是通過對粗糙解集的研究，來論證NS方程可能存在無效的情況。 對王浩來說，情況就不是這樣了。 巴克馬斯特的研究和他的研究直接沖突，他必須要找到對方的錯誤之處，否則就等于否定了自己的研究。 王浩去上課了。 上課能大幅度增加靈感值。 C級難度的研究，往往一節課就可能積滿100點靈感值，他的課程還是《現代偏微分方程》，和NS方程的研究關聯性很強。 這是學期末的最后一堂課。 王浩對內容講解的非常細致，最后還對于整個課程進行了梳理，讓學生們對于課程整體更加的了解。 第(1/3)頁