就在陳守仁震驚的看著洛珞這段時間做出來的成果時，另一邊的博士師哥，已經完全目瞪口呆說不出話了。
    早在洛珞一開始提及納維斯托克斯方程時，他就有些愕然了。
    不過好在他早就清楚洛珞之前就有在這個研究方向做出了成果。
    他發表的那篇關於NS方程弱解的論文，在所有關注這個方向的學者中引發了不小的動蕩。
    繼上世紀30年代法國數學家Leray，以及德國數學家Hopf後，華國的數學家洛珞再次對弱解進行了另一種方式的證明。
    所以現在NS方程的弱解通常也被人們稱之為——LerayHopfLuo弱解。
    連國際上許多知名學者都研究過，同為穀派的他們自然更加深入了解學習過，因此對於前麵的內容他看的十分輕鬆。
    不過隨著洛珞開始輸出新內容，他立刻看的有些吃力了起來。
    雖然同屬偏微分方向，但他主攻的並非這個方向。
    也不僅僅是他，恐怕沒有哪個正常的博士生會把自己的課題放在NS方程這麽大的領域吧，甚至連弱解的形式，也不是他們能完成的東西。
    要知道，一百多年來它也僅僅有過三次階段性的進展，但距離終點依舊遙不可及，難度便可想而知了。
    不過看這個情況，它的第四次階段性進展似乎快要來了。
    至於為什麽不是最終的答案，自然是因為洛珞和陳教授的對話，他多少也是能聽懂一些的。
    假設u0∈H1，·u0=0，u(x，t是均質不可壓縮NavierStokes方程組的一個LerayHopf弱解，且滿足：
    在區域|ω(x，t|>K和|ω(x+y，t|>K內，|sinφ(x，x+y，t|≤c，這裏β∈[0，1]，0≤t≤T，c>0，K>0是常數，並且φ(x，x+y，t是旋度在點(x，t和(x+y，t之間的夾角。
    洛珞的板書還在繼續，不過此刻陳守仁的目光已經並沒有在他新寫下的內容上了。
    是的，不僅僅是他帶的這些頂尖的博士生，即便是他，想要跟上洛珞目前板書的速度也同樣不可能了。
    好在，洛珞雖然一開始思路流暢的寫過了頭，但很快反應過來，知道自己今天不是來炫耀課題進展，而是找老師討論的。
    因此慢慢停下了筆。
    而陳守仁的臉色隨著第三張白板上的內容，愈發的沉重了起來，目光也愈發的詫異，好像看到了什麽難以想象的事情發生。
    “了不起”
    近乎十分鍾的安靜，辦公室裏陳守仁的一聲感歎打破了沉寂。
    “在弱解已經被證明近百年的今天，強解成了NS方程證明的主流思路，當年就連老師也曾經為它努力過好幾年的光景，不說毫無寸進，但也確實沒有顯著的成果。”
    陳守仁先是回憶起了過往。
    豈止是穀院士啊，包括他，包括這一方向的多少人都在為之努力，幾年甚至幾十年的研究，隻是誰能想到
    “這竟然是條死路”
    “啊？”
    一聲驚呼從旁邊傳來，正是努力啃著第二張白板上方程的博士師兄。
    陳教授語可謂是不驚人死不休，多少人都認定的證明NS方程解的存在且光滑，最主流的證明思路，怎麽會是條死路呢？
    這個消息太嚇人了，如果確實如此，那不知道有多少人的半生的努力都隨之付之東流。
    “確實，這也不難解釋，為什麽從Clay之後，這個問題到現在近乎沒有任何實質性進展，因為這條路從一開始就是錯的。”
    洛珞輕聲開口道。
    剛才陳教授一點點理解他的證明時，他就這樣食指中指夾著筆，雙手抱在肩膀上，跟著老師一同回顧這個證明思路。
    直到老師應該是看完了全部過程有所感歎後，他才出聲附和道。
    是的，作為整個證明的創作者，他才是第一個發現這個問題的人，問題就是這個思路根本走不通。
    光滑解是物理世界的完整寫照，但從數學上講，它們可能並不總是存在。
    研究NS方程的數學家們擔心這種情況出現：假如我們正在運行NS方程，並觀察向量場會如何變化。
    過了一段時間後，方程顯示流體中的某個粒子正以無限快的速度移動——問題便來了。
    NS方程涉及到的是對流體中的壓力、摩擦力和速度等性質的變化進行測量，它們取這些量的導數。
    我們無法對無窮大的值進行求導，所以說如果這些方程裏出現了一個無窮大的值，那麽方程就可被認作為失效了。
    它們不再具有描述流體的後續狀態的能力。
    同時，失效也是一個預示著方程中失去了某些應該描述卻沒能描述的物理世界。
    如果誰能找到NS方程絕不發生失效、或能確定讓其失效的條件，誰就解決了NS方程難題。
    對這一問題的其中一個研究策略，就是首先放寬它們的解的一些要求。
    也就是他之前證明的納維斯托克斯問題弱解的存在，此解在流場中平均值上滿足納維斯托克斯問題，但無法在整個定義域的每一點上滿足。
    現在，他想要解決的是納維斯托克斯的強解問題，即其解需要在流場中定義域上的每一點上都要滿足。
    用另一種說法，對一給定的起始點流動條件，可以準確預測隨時間變化後麵發展的任意時刻的流動狀況。
    或者對湍流流動中的任何一點任意時刻的流動，可以精確追溯到它的起始點的流動的起始條件。
    跟弱解的放寬條件不同，強解的收縮條件同樣也是證明的方式之一。
    當人們無法直接證明NS方程的解存在且光滑，那麽強解不失為一個好辦法。
    通俗來說就是雖然我不能證明一個未知數大於5，但如果我證明了它大於6，那麽前者就將必定成立。
    詳細描述出來便是對於一類抽象的bilinearoperatorB這類算子和 Euler bilinear operator具有類似的非線性結構。
    比如：滿足cancelation property。
    但是，它不一定等於B。
    如果這個更強的結果成立，那麽NS問題相當於解決了，或者先證明一類和B相似的正則算子B有解，然後取極限。
    這個思路有點像為了證明橢圓形方程，證明對於任意的自伴正定算子 A，抽象Au=f方程總是有解的。
    但是洛珞已經證明了，這個思路是走不通的。
    他構造一種對稱平均版本(average&nmertry的 B，寫作{B}，抽象方程對於一個初值 u0會在有限時間內爆炸。
    也就是說全局解並不存在。
    雖然這個結果讓他也感到匪夷所思，這感覺就像.
    洛珞把已經涼了的茶水突然拿過來放到了桌子上：
    “我在這裏好端端的放了一杯水，從物理意義上講，在沒有任何外力的介入下，他應該永遠保持平靜的待在這裏。”
    作為一個平靜的流體，這是最顯而易見的結果。
    但是現在他的方程告訴他：
    “我的這杯水，雖然一開始在保持靜止，但在某個時刻.”
    “突然爆炸了”
    陳守仁接上了這個匪夷所思的結論。
    “是的，我的水突然爆炸了。”
    洛珞肯定的點點頭。
    他們當然知道這根本不可能，但數學就是這麽告訴他的。
    也就是說，這證明了方程解的非唯一性。
    更意味著，這條路已經被他走到了盡頭，前麵不是曙光，而是一道高聳入雲的圍牆。
    他擋住的不隻是洛珞，還有這一百年內，無數研究方向在這條路上的數學天才們。