詳解
簡單來說,此定理是指在所有可能的控制中,需讓“控制哈密頓量”(control Hamiltonian)取極值,極值是最大值或是最小值則依問題以及哈密頓量的符號定義而不同。 正式的用法,也就是哈密頓量中所使用的符號,會取到最大值,但是此條目中使用的符號定義方式,會讓極值取到最小值。
![龐特里亞金最大化原理](/img/d/ac1/wZwpmLzUzN4EDMxIDN0MTN1UTM1QDN5MjM5ADMwAjMwUzLyQzL2AzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![龐特里亞金最大化原理](/img/7/1b1/wZwpmL1gDMxMjM1IDN0MTN1UTM1QDN5MjM5ADMwAjMwUzLyQzL3MzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
若是所有可能控制值的集合,則此原理指出,最優控制必須滿足以下條件:
![龐特里亞金最大化原理](/img/2/985/wZwpmL1ITOwgjM2YjN0MTN1UTM1QDN5MjM5ADMwAjMwUzL2YzLwMzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![龐特里亞金最大化原理](/img/1/f5f/wZwpmL1UTO4IjN0IjN0MTN1UTM1QDN5MjM5ADMwAjMwUzLyYzL1gzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![龐特里亞金最大化原理](/img/2/ac4/wZwpmLwUTNxATM5MDN0MTN1UTM1QDN5MjM5ADMwAjMwUzLzQzLyUzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
其中是最佳狀態軌跡,而是最佳協態軌跡
此結果最早成功的套用在輸入控制有限制條件的最小時間問題中,不過也可以用在狀態有限制條件的問題中。
![龐特里亞金最大化原理](/img/c/fc1/wZwpmL2gDN0AzM1YjMxMzM1UTM1QDN5MjM5ADMwAjMwUzL2IzLzEzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![龐特里亞金最大化原理](/img/5/ea6/wZwpmL4ADN2YjNxMDN0MTN1UTM1QDN5MjM5ADMwAjMwUzLzQzL3UzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
也可以推導控制哈密頓量的特殊條件。若最終時間固定,且控制哈密頓量不是時間的顯函式,則:
![龐特里亞金最大化原理](/img/8/62c/wZwpmLwYTN3AzM2kDN0MTN1UTM1QDN5MjM5ADMwAjMwUzL5QzL0QzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
若最終時間沒有限制,則:
![龐特里亞金最大化原理](/img/8/272/wZwpmL0QTM3gTO1MTN0MTN1UTM1QDN5MjM5ADMwAjMwUzLzUzL0IzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
若在某一軌跡上滿足龐特里亞金最大化原理,此原理是最佳解的必要條件。哈密頓-雅可比-貝爾曼方程提供了最佳解的充份必要條件,但該條件須在整個狀態空間中都要成立。
最大化和最小化
此定理一開始的名稱是 龐特里亞金最大化原理(Pontryagin's maximum principle),其證明也是以控制哈密頓量最大化為基礎。此原理最早的套用是要最大化火箭的終端速度。不過後來此定理大部分的套用是使性能指標最小化,因此常稱為龐特里亞金最小化原理。龐特里亞金的書解出了要讓性能指標最小化的問題
最小化問題必要條件的正式敘述
![龐特里亞金最大化原理](/img/1/036/wZwpmL3QzM5YjNzMjM0EDN0UTMyITNykTO0EDMwAjMwUzLzIzL3EzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![龐特里亞金最大化原理](/img/a/ed1/wZwpmL4ITO2IzMyQTM5czN0UTMyITNykTO0EDMwAjMwUzL0EzLwEzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
以下是讓泛函最小化的必要條件。令為在輸入為時,動態系統的狀態,且滿足以下條件
![龐特里亞金最大化原理](/img/5/012/wZwpmLwYTM5gTO0gDN0MTN1UTM1QDN5MjM5ADMwAjMwUzL4QzL0YzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
其中
![龐特里亞金最大化原理](/img/d/ac1/wZwpmLzUzN4EDMxIDN0MTN1UTM1QDN5MjM5ADMwAjMwUzLyQzL2AzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
為可行控制的集合
![龐特里亞金最大化原理](/img/6/da7/wZwpmLwczM3ATO1cjN1IDN0UTMyITNykTO0EDMwAjMwUzL3YzL0gzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
為系統的結束時間。
![龐特里亞金最大化原理](/img/2/6c5/wZwpmL0ADN3gjMykTN0MTN1UTM1QDN5MjM5ADMwAjMwUzL5UzLwIzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![龐特里亞金最大化原理](/img/0/649/wZwpmLzYDO0cTNxQDM3UzM1UTM1QDN5MjM5ADMwAjMwUzL0AzL4UzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![龐特里亞金最大化原理](/img/c/512/wZwpmLyYjN2QTOyIDM2kTO0UTMyITNykTO0EDMwAjMwUzLyAzLwYzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![龐特里亞金最大化原理](/img/c/512/wZwpmLyYjN2QTOyIDM2kTO0UTMyITNykTO0EDMwAjMwUzLyAzLwYzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
控制需在所有內使目標泛函最小化,目標泛函隨套用而定,可以寫成
![龐特里亞金最大化原理](/img/6/08c/wZwpmLwEjMwgzNyMTN0MTN1UTM1QDN5MjM5ADMwAjMwUzLzUzL3czLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![龐特里亞金最大化原理](/img/c/f0b/wZwpmLxUjNyATN0kTMzEzM1UTM1QDN5MjM5ADMwAjMwUzL5EzL4QzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![龐特里亞金最大化原理](/img/7/1b1/wZwpmL1gDMxMjM1IDN0MTN1UTM1QDN5MjM5ADMwAjMwUzLyQzL3MzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![龐特里亞金最大化原理](/img/f/99e/wZwpmLzgzM0kTM1MTN0MTN1UTM1QDN5MjM5ADMwAjMwUzLzUzLwMzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![龐特里亞金最大化原理](/img/0/baf/wZwpmLwIDO4ETM5kDM5czN0UTMyITNykTO0EDMwAjMwUzL5AzLwEzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
龐特里亞金最小化原理提到最佳狀態軌跡,最佳控制及對應的拉格朗日乘數向量必需最小化哈密頓量,因此
![龐特里亞金最大化原理](/img/f/53e/wZwpmL3ITMxUTO3IjN0MTN1UTM1QDN5MjM5ADMwAjMwUzLyYzL0AzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![龐特里亞金最大化原理](/img/0/649/wZwpmLzYDO0cTNxQDM3UzM1UTM1QDN5MjM5ADMwAjMwUzL0AzL4UzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![龐特里亞金最大化原理](/img/2/6c5/wZwpmL0ADN3gjMykTN0MTN1UTM1QDN5MjM5ADMwAjMwUzL5UzLwIzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
針對所有時間,也針對所有可能的控制輸入。以下的式子也必須成立
![龐特里亞金最大化原理](/img/2/f17/wZwpmL3UDN1IjM0ADN0MTN1UTM1QDN5MjM5ADMwAjMwUzLwQzL1MzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
而且也要滿足以下的協態方程
![龐特里亞金最大化原理](/img/2/ca3/wZwpmL4UDM4YDO2AzN0MTN1UTM1QDN5MjM5ADMwAjMwUzLwczLyIzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
若最終狀態{\displaystyle x(T)}沒有固定(其微分變異不為0),最終協態也要滿足以下條件
![龐特里亞金最大化原理](/img/9/2b8/wZwpmL2ATN2gzNwMzN0MTN1UTM1QDN5MjM5ADMwAjMwUzLzczL3EzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![龐特里亞金最大化原理](/img/b/32c/wZwpmLxIDO2gTOxgTN0MTN1UTM1QDN5MjM5ADMwAjMwUzL4UzLzAzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![龐特里亞金最大化原理](/img/b/32c/wZwpmLxIDO2gTOxgTN0MTN1UTM1QDN5MjM5ADMwAjMwUzL4UzLzAzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
上述(1)-(4)的條件是最佳控制的必要條件。公式(4)只有在沒有固定時才需要成立。若是固定值,公式(4)不在必要條件中。
此解法可以套用在宇宙學和天體物理學中。