變分法

龐特里亞金極大值原理(Pontryagin maximum principle)

/ pon-TRYAH-gin /

經典變分法在你可以隨意彎曲曲線時求最佳曲線。最優控制問的是更實際的問題:你在駕馭一個系統——火箭、機械臂、投資組合、疫情響應——靠的是隨時間選擇一個控制輸入,而控制通常是有限的(油門只能到底,方向盤只能轉那麼多)。什麼樣的控制方案能把系統從起點導向目標,同時使代價(燃料、時間、能量)最小?龐特里亞金極大值原理,源自蘇聯數學家列夫·龐特里亞金及其合作者約 1956 年的工作,是最優控制必須滿足的核心必要條件。

設置是:狀態 x(t) 在你的控制 u(t) 下按 x' = f(x, u) 演化,並有一個待最小化的代價。龐特里亞金引入一個伴隨的「協態」或共軛變量向量 p(t)——拉格朗日乘數的動態對應物——以及哈密頓量 H = p . f(x, u) -(運行代價)。原理說沿最優路徑有三件事成立:狀態按 x' = dH/dp 演化,協態按 p' = -dH/dx 反向演化,而關鍵的是,在每一時刻最優控制 u(t) 是在允許的控制集上使 H 最大的那個。第三個條件就是名字裡的「極大」,正是它處理了光滑的歐拉-拉格朗日方程無法處理的約束。

相對經典變分法的決定性進步,恰恰就是對有界控制的這種處理。當最佳策略把控制頂到邊界(滿推力、然後關閉——所謂 bang-bang 控制)時,假設你能在每個方向自由變動的歐拉-拉格朗日方程便失效;極大值原理不會,因為它是在約束集上取最大,而非令導數為零。它是現代控制工程、航天軌跡最佳化、機器人學以及經濟學(其中協態是影子價格)的基礎。兩個誠實的告誡:與歐拉-拉格朗日一樣,極大值原理是必要條件,並不保證最優——候選仍須檢驗;而且協態方程從終端條件起沿時間反向運行,所得的兩點邊值問題確實比單純的初值問題更難求解。

要用有界力 |u| <= 1 在最短時間內把一輛無摩擦小車停在原點,極大值原理給出 bang-bang 控制:先全力朝一個方向推,再全力朝另一方向,恰好切換一次。歐拉-拉格朗日方程做不到這點,因為最優落在控制邊界上,而非內部駐點。

在有界控制下最優可落在邊界上(bang-bang);極大值原理能捕捉它,歐拉-拉格朗日不能。

儘管叫這個名字,該原理是必要條件,並不證明代價取得極大乃至極小。「極大」僅指在每一時刻關於控制使哈密頓量最大;整條軌跡的最優性仍需另行驗證。

又稱
Pontryagin's principlemaximum principle of optimal control极大值原理極大值原理