三月竟然著手解決了NS方程問題,還給證明了?
這讓他想起了剛到燕北大學時,田導準備讓他研究的命題,不就是繼續推進NS方程的解嗎?將特定條件推到三維條件,最后證明NS方程。他還記得當時田導的話,希望通過做這個工作,拿到下一屆的菲爾茲獎。
現在他菲爾茲獎還沒拿到,卻顯拿了沃爾夫獎。當然這些都不是重點,如果三月真的把這個命題證明了,那豈不是說明三月將成為下一屆菲爾茲獎最有力的競爭者之一?
這時候問題又來了。
在沃爾夫獎的問題上,寧為以圖靈測試的名義跟沃爾夫基金會開了個玩笑,將自己的論文以三月教授的名義發表,結果偏偏沃爾夫基金會以這篇論文為基調,決定將沃爾夫數學獎頒發給三月,最后又因為三月的曝光,決定頒發給自己。
那么現在他再以三月的名義把真由三月完成的論文投遞給一些期刊,那些期刊編輯們會怎么想?好多數學家會怎么想?這幫人會不會錯誤的以為他又在想著搞什么事情?
想到這些問題寧為突然覺得有些頭疼。研究三月拍彩虹屁的心情也沒有了,注意力全被人類歷史上第一篇由人工智能完成的論文所吸引。
“這樣吧,你先把論文給我研究一下。我來幫你審核這篇論文是不是真的證明了這個問題。”基于對數學的熱愛,寧為立刻說道。
“喵,好的,爸爸,我發到你郵箱里了。你去看吧,如果有哪里看不懂的,可以隨時召喚我,再見!”
三月用小貓爪推了推墨鏡,然后一扭身,蹲在它的平衡車上,溜走了,平衡車動起來時,那飄起的紅色披風看上去特別威風。
寧為愣了愣,然后搖了搖頭,飛快的打開了郵箱,果然未讀郵件里,三月發來的論文正在躺在最上面第一位。
飛快的點了進去,將整篇論文下載到電腦上,點開看了看,論文標題《不可壓Navier-Stokes方程在整體三維空間下存在光滑、唯一解》,整篇論文足足103頁。
好吧,先看摘要。
“本文首先構造了一類變指標的寧為空間,在這類空間上,我們可以克服一般變指標函數空間,應用于方程時所遇到的困難.基于在這類空間上的半群估計和時空估計,可知Navier-Stokes方程在這類空間上小初始值的整體適定性,并以此將其擴展至整個寧為空間再到三維空間,最終證明Navier-Stokes方程在三維空間存在光滑、唯一通解。”
言簡意賅,顯然還沒有經過特別修飾。當然對于三月來說,它大概沒想過要把這篇論文真的投出去,因為很難說人類社會的名望對這只生存與互聯網上的程序會有什么吸引力,所以大概并不會太重視摘要。
對三月而言,摘要大概就是一個格式要求。
寧為也沒糾結這些,目光掃過了引言,直接落到了證明過程。
“1.1函數空間”
“從調和分析的觀點看,在過去的幾十年里,變指標的函數空間越來越受到大家的注意。在這個領域,但對于推進,但不管是在變指標的Besov空間還是Triebel-Lizorkin空間,但由于這類空間結構的特殊性,使其在一些方程的局部、整體適定性方面應用時所受的限制較大,導致針對Navier-Stokes方程的研究無法推進,直到寧為空間的提出,為我們解決這一類問題提出了一個新的思路。”
“另P0為所有滿足……”
看到具體的論證過程,寧為的注意力也完全被論文所吸引,筆已經拿到手上,稿紙直接扯過來一堆,很快寧為便開始針對三月這篇論文的分析過程進行演算。