過了一段時間後,方程顯示流體中的某個粒子正以無限快的速度移動——問題便來了。
NS方程涉及到的是對流體中的壓力、摩擦力和速度等性質的變化進行測量,它們取這些量的導數。
我們無法對無窮大的值進行求導,所以說如果這些方程裡出現了一個無窮大的值,那麼方程就可被認作為失效了。
它們不再具有描述流體的後續狀態的能力。
同時,失效也是一個預示著方程中失去了某些應該描述卻沒能描述的物理世界。
如果誰能找到NS方程絕不發生失效、或能確定讓其失效的條件,誰就解決了NS方程難題。
對這一問題的其中一個研究策略,就是首先放寬它們的解的一些要求。
也就是他之前證明的納維-斯托克斯問題弱解的存在,此解在流場中平均值上滿足納維-斯托克斯問題,但無法在整個定義域的每一點上滿足。
現在,他想要解決的是納維-斯托克斯的強解問題,即其解需要在流場中定義域上的每一點上都要滿足。
用另一種說法,對一給定的起始點流動條件,可以準確預測隨時間變化後面發展的任意時刻的流動狀況。
或者對湍流流動中的任何一點任意時刻的流動,可以精確追溯到它的起始點的流動的起始條件。
跟弱解的放寬條件不同,強解的收縮條件同樣也是證明的方式之一。
當人們無法直接證明N-S方程的解存在且光滑,那麼強解不失為一個好辦法。
通俗來說就是雖然我不能證明一個未知數大於5,但如果我證明了它大於6,那麼前者就將必定成立。
詳細描述出來便是對於一類抽象的bilinearoperatorB這類運算元和Eulerbilinearoperator具有類似的非線性結構。
比如:滿足cancelationproperty。
但是,它不一定等於B。
如果這個更強的結果成立,那麼NS問題相當於解決了,或者先證明一類和B相似的正則運算元B有解,然後取極限。
這個思路有點像為了證明橢圓形方程,證明對於任意的自伴正定運算元A,抽象Au=f方程總是有解的。
但是洛珞已經證明了,這個思路是走不通的。
他構造一種對稱平均版本(averagesymmertry)的B,寫作{B},抽象方程對於一個初值u0會在有限時間內爆炸。
也就是說全域性解並不存在。
雖然這個結果讓他也感到匪夷所思,這感覺就像.
洛珞把已經涼了的茶水突然拿過來放到了桌子上:
“我在這裡好端端的放了一杯水,從物理意義上講,在沒有任何外力的介入下,他應該永遠保持平靜的待在這裡。”
作為一個平靜的流體,這是最顯而易見的結果。
但是現在他的方程告訴他:
“我的這杯水,雖然一開始在保持靜止,但在某個時刻.”
”了炸然突“
。論結的思所夷匪個這了上接仁守陳
”。了炸然突水的我,的是“
。頭點點的定肯珞
。的他訴告麼這是就學數但,能可不本這道知然當們他
。一唯非的解程方了明證這,說是就也
。牆圍的雲聳高道一是而,曙是不面前,頭盡了到走他被經已路條這,著味意更
。們才天學數的上路條這在向方究研數無,年百一這有還,珞是只不的住擋他








