「妙啊」周文淵的童孔驟然收縮，「引入一個簡單的線性運算元L，然後證明在這個同倫路徑上，解的先驗估計是一致有界的——」
「對！」林葉接上話頭，「因為對於那個線性運算元L，其可逆性是顯而易見的。只要我們能證明Leray—Schauder條件滿足，那麼T的度就等於L的度，也就是士1。度不為零，就意味著滿射！再結合之前的區域性單射性，整體同胚就證出來了！」
「天才的想法！」周文淵猛地一拍桌子，聲音大得讓整個實驗室的人都嚇了一跳。
「利用Leray—Schauder延續定理來規避複雜的非線性增長估計，這簡直就是四兩撥千斤！我怎麼就沒想到這一層！」
周文淵越看越激動，他飛快地翻動著草稿紙，眼中的光芒越來越盛。
他原本都準備好林葉離開學校之前這個問題都無法解決了，結果沒想到林葉直接就先一步搞定了。
「這裡！這一步反證法的構造————」周文淵指著最後幾行推導，「你居然還想到利用了Blasius解在無窮遠處的指數衰減性質，構造了一個矛盾序列，從而證明了先驗界的存在。太漂亮了！邏輯嚴絲合縫！」
周圍原本還在假裝做實驗，實則豎起耳朵偷聽的研究生們，此刻一個個都驚得目瞪口呆。
王吉手裡的滑鼠都快捏碎了，他難以置信地看向趙昌：「剛才周老師說什麼？Leray—Schauder定理？那不是非線性泛函分析裡的東西嗎？林葉一個高中生用來解流體力學題？」
趙昌也是一臉懵逼：「而且聽周老師的意思，他們兩人一起遇到的這個問題，周老師只是有了個想法，林葉卻已經解出來了？」
這也太荒謬了吧？！
那可是他們的周文淵教授啊！
這林葉真不是開掛了？
當然，最震驚的莫過於張濤。
即使他之前就知道林葉很厲害，但此時此刻————
他站在不遠處，整個人像被雷劈了一樣。
「拓撲度理論————同倫變換————」張濤喃喃自語，腦子裡回想起前天的時候自己隨口給林葉推薦那本書的情景。
「我當時真的只是隨口一說啊！我自己都沒完全搞懂那個度理論怎麼用在具體運算元上的！結果————結果他就回去看了下，就真給搞出來了？！」
他瞪著眼睛看著林葉的背影，忽然就理解了為什麼周老師那麼看重這位學弟了。
這就是怪物級別的天才！
「林葉！」周文淵終於看完了所有的推導，他抬起頭，眼神複雜地看著林葉，既有欣慰，又有感慨，「你知道這意味著什麼嗎？」
林葉眨了眨眼，說道：「意味著我們這個邊界層對偶定理，徹底完成了？」
「哈哈哈！」周文淵大笑了一聲：「嚴格點來說，應該稱之為林氏邊界層對偶定理。」
「對於你來說，作為一個高中生，就能夠收穫一個以自己姓氏命名的定理，是一件非常值得自豪的事情了。」
林葉則是謙虛地補充了一句：「應該是周—林邊界層對偶定理，周老師，沒有您的幫助，我現在肯定是搞不出來的。」
周文淵則是笑了笑，「現在肯定搞不出來，不代表之後就搞不出來嘛，而且這個課題，有幾次你都是先我一步想出該怎麼做了，所以你就別說那麼多了。」
他拍了拍林葉的肩膀，而後便說道：「好了，帶上你的草稿紙，去我辦公室。」
「咱們把最後的結論給推匯出來，這個課題也就能夠圓滿結束了！」
。口門的室驗實了到走葉林和就他後隨
。類之習學葉林向多們他讓如比，話的們生學些這勵勉些說想，們生究研的中室驗實圈一了視環頭過回，步腳下停他，候時個這而
。要必沒些有乎似，覺又然忽他過不只
。者學的害厲己自比還。多己自比果的出做是但，輕年要還己自比位幾麼那識認也，他是使即，在存的上不追都馬拍是就本才天的有竟畢
。的上得跟夠能生學個哪的面裡室驗實這是不實確，看來現表的前目葉林以
」。作工麼什了做都間時段這們你問個個一會我會組次下，究研的己自做心安都「：句一下留就索他是於
。事的己自了起搞心專馬立是更，們生學的淵文周是別特，來下了靜安就時頓人眾的中室驗實，來出說一話這師老
。了去過弄糊能就易輕是不就可那，況的問個個一要示表經已樣這在現是像但，問細會不率機大師老，下一了弄糊微稍以可還，候時的會組時平，竟畢
