第846章 (有番外啦)這是不是太自信了?(2/2)
許青舟在一側的白板上咔咔地寫起來。
一條條複雜的公式出現在上面。
「定義系統的狀態向量ξ=[r;p]∈TM,動力學方程為dξ/dt=f()+
g(5)u。」
「我將構造一個控制李雅普諾夫函數(CLF),V(ξ)。根據拉薩爾不變性原理,如果我們能證明在控制律u作用下,v(ξ)≤—p(|ξ—ξtarget|),其中p
是一個K類函數,那麼系統就是漸近穩定的..」
許青舟又寫下複雜的微分幾何表達式。
楊方旭和陳建峰等人表情端凝,緊緊盯著許青舟寫下的公式。
劉坤皺眉,「目前看來,沒有任何問題...這位許教授不會真的現場推算出來吧?」
但很快,他的思緒又回到許青舟新寫出的公式上。
幾個來旁聽的教授學生,此時已經有些懵了。
其中一個青年見隔壁的男人表情肅穆,以只有兩人能聽到的聲音問:「師兄,你點頭...是聽懂了?」
「在第一個微分幾何表達式的時候,我就已經開始聽天書了...
「6
」
會議室中,迴蕩著許青舟清朗的聲音。
「現在,關鍵的一步來了。這個微小的σu,使得控制場g(ξ)u的擾動項,其隨機微分方程對應的生成元滿足一個強遍歷性條件。」
畫出了一個概率分布隨時間收縮的示意圖。
時間一分一秒地過去,會議室中又出現了三大塊寫滿複雜公式的白板。
「所以...通過這個推算來看,我們未來的路線,本質上穩定、安全且能耗極低的緩坡」。」
半小時過後,許青舟說完,停下,靜靜地看著在場的所有人。
伴隨著許青舟的聲音落下,會議室再度恢復了寂靜,所有人都沉浸在白板上的公式上。
整個推算過程非常複雜,在場的主業是物理而非數學。
尤其是,許青舟思維邏輯跳躍很快,很多步驟都是直接寫出來的,根本沒有計算過程,他們只能自己驗算。
陳建峰盯著密密麻麻的微積分和隨機過程公式,沉默了近一分鐘,他試圖找一個切入點進行反駁。
但他發現,從辛幾何到隨機動力系統...邏輯嚴密的鏈條。
這就是一堵數學的銅牆鐵壁。
>