第183章 學術論辯，見招拆招（下）
但是徐子軒還並不打算放棄。
畢竟是老師交給自己的任務，自己一定得完成。
他一個從農村走出來的孩子，能夠走到如今的地步，少不了張正得對他的知遇之恩。
張正得是全心全意的培養他，不然的話也不會在他碩士畢業，並且已經展現出極高天賦的時候，將他給放走，甚至還專門寫了一封推薦信，推薦他前往了巴黎高師這種世界頂尖數學院校學習，更是聯絡了那邊的人脈，讓他得以跟隨一位菲獎得主學習，就連學費和生活費什麼的，張正得也都想辦法幫他解決了。
所以在他畢業時，那位菲獎得主博導挽留他，他沒有答應，毅然選擇了返回祖國，回到母校。
雖然有時候他也覺得沒必要非要把別人問的下不來臺，但不管如何，他也從來沒有質疑過張正得，只是把這當成了老師的眼中容不得任何汙染數學嚴謹性的沙子。
回過神，他重新看向臺上的那個林葉，他心中有些苦笑，本以為自己才是反派boss，是為難林葉的那個，但是現在，一直面帶微笑的林葉反倒才是真正帶來壓迫感的那個。
他低下頭，看了看自己剛才在報告過程中整理出來的筆記，從上面尋找著可以攻訐的地方。
好在，他的天賦也並不是蓋的，很快找到了新的問題。
雖然————可能已經不如剛才那個極限狀態下的存在性證明問題致命。
「林葉同學，」徐子軒的聲音再次透過麥克風傳遍全場，語速極快，但卻明顯給人一種疲憊感。
「感謝你剛才的回答，那個交換子的處理————很精彩，我也受教了。」
「之前忘記自我介紹，我是震旦大學，徐子軒。」
徐子軒的目光肅穆，看得出來，他已經將林葉當成了平生所遇到的最大對手。
「我接下來的問題是，你的演算法既然是基於李群指數對映的，而我們知道，在處理非線性剛性項時，著名的降階現象是無法避免的，Strang分裂在理論上是二階，在剛性極限下卻往往退化為一階。請問，你的誤差分析是基於經典的漸近展開，還是考慮了這種剛性退化？」
這是一個非常經典的數值分析難題，也是無數演算法論文被拒稿的理由。
臺下的行家們紛紛點頭，心想這個問題就比之前那個故意為難的問題要紮實，也厚道的多。
只不過————
連剛才的那個問題林葉都能夠想到用交換子來巧妙地回答，這個問題，真的能難住林葉嗎？
果然，林葉幾乎在徐子軒話音落下的瞬間就給出了回應。
「這位老師，提到的降階現象確實存在，但那是針對傳統的Runge—Kutta方法。在指數積分器的框架下，只要剛性源項滿足Lipschitz條件，利用變分公式展開，主要誤差來源於換位子【F，S】的高階項。在我們的高超聲速模型中，這一項是區域性光滑的，因此理論精度可以保持。」
擋住了！而且是用最標準的數值分析語言擋回去的。
所有人都沉默著，彷彿間每個人都感覺得到，現在的林葉氣勢如虹，而徐子軒幾乎已經到山窮水盡的地步了。
徐子軒整個人一滯，如果換做剛開始他還會驚歎於對方的基礎竟然如此紮實，但是現在，他對這種情形已經沒有意外。
但很快，他立刻丟擲第二個問題：「既然提到了換位子，那麼在激波這種強間斷處，導數不存在，你的李代數結構如何定義？光滑性假設失效，你的泰勒展開豈不是不成立？」
「我們不需要全域性光滑。」林葉依然從容，「在間斷處，我們利用弱形式下的積分恆等式。李群的指數對映在分佈意義下依然有效，只要我們選取合適的基函式空間，比如間斷有限元空間，代數結構依然封閉。」
「那計算量呢？」徐子軒繼續追問，「Krylov子空間投影需要計算雅可比向量積。對於三千萬網格的算例，每一步的Arnoldi疊代次數如果是30次，你的計算成本將是顯式演算法的數百倍！所謂的8。5倍加速，是不是隻統計了時間步長，沒統計單步耗時？」
」。的大巨是然依益收總，倍千幾了加增長步但，%02加增僅時耗步單，來下算合綜，了夠足就51到取要需只度維volyrK，斂收超的法算演群李於由且，陣矩存儲要需不，似近分差限有過積量向比可雅，技陣矩無了用使們我「，題習釋解弟學的門剛個一和在是像就，然淡神葉林」。有沒並「
。步信庭閒上臺在個一，人咄咄下臺在個一，裡那在站樣這就人兩，中間時的來下接
。隙間無毫乎幾，題問個一著接題問個一
。數代值數。析分函泛了蓋涵然依卻題問的他是但，覺的盡水窮山人給使即軒子徐
。角死僻生的裡書科教扣在是經已些有至甚，比無鑽刁都個一每，落角個各等律恆守學力流
。準麼那，快麼那是遠永卻，答回的葉林，過不只
。掩土來水，擋將來兵，識知理和學數的認公家大。的有現用就他
。音雜點半無再，聲答問的回一來一人兩了除，廳告報的大偌，刻一這
。呆口瞪目是說以可至甚，神凝息屏的刻此了變，態心戲看的初最從已早，眾聽名多百六的下臺
。花火的發迸會才時決對手高尖頂在有只種那到們他礙妨不並這但，」技陣矩無「者或」分積式形弱「麼什論爭在們他懂不聽都半大然雖，們生究研輕年的排後在坐些那
。招一接招一個一
。招拆招見個一
