Nguyên lý cực đại Pontryagin

Nguyên lý cực đại (hoặc cực tiểu) Pontryagin được sử dụng trong lý thuyết điều khiển tối ưu để tìm ra điều khiển tốt nhất có thể dành một hệ thống động học từ trạng thái này sang trạng thái khác, đặc biệt là sự hiện diện của những hạn chế đối với các trạng thái hoặc đầu vào.Nó được hình thành vào năm 1956 bởi nhà toán học người Nga Lev Pontryagin và các sinh viên của ông. Nó là một trường hợp đặc biệt của phương trình Euler-Lagrange về phép tính biến phân.

Nguyên lý này được phát biểu, chính thức, đó là "điều khiển Hamilton" phải có một cực trị trên các điều khiển trong tập tất cả các điều khiển cho phép. Cho dù cực trị đó là cực đại hoặc cực tiểu phụ thuộc cả vào bài toán và dấu quy ước dùng để xác định Hamilton. Quy ước thông thường, mà được sử dụng trong Hamilton, dẫn đến một cực đại do đó "nguyên lý cực đại "nhưng dấu quy ước sử dụng trong bài viết này làm cho cực trị này trở thành cực tiểu.

Nếu  formula_1 là tập các giá trị của các điều khiển cho phép thì nguyên lý này phát biểu rằng điều khiển tối ưu formula_2 phải thỏa mãn:
trong đó formula_4 là quỹ đạo trạng thái tối ưu và formula_5 là quỹ đạo costate (phương trình trạng thái) tối ưu.

Kết quả đã được áp dụng lần đầu tiên thành công cho bài toán thời gian cực tiểu trong đó điều khiển đầu vào bị hạn chế, nhưng nó cũng có thể hữu ích trong việc nghiên cứu các bài tóa hạn chế-trạng thái.

Các điều kiện đặc biệt cho Hamilton cũng có thể được lấy ra từ đây. Khi thời gian cuối cùng formula_6 là cố định và Hamilton không phụ thuộc một cách rõ ràng về thời gian formula_7, thì:
và nếu thời gian cuối cùng là tự do, thì:
Nhiều điều kiện tổng quát hơn về điều khiển tối ưu được đưa ra dưới đây.

Khi thỏa mãn cùng một quỹ đạo, nguyên tắc cực tiểu Pontryagin là một điều kiện cần cho một tối ưu. Phương trình Hamilton-Jacobi-Bellman cung cấp một điều kiện cần và đủ cho một tối ưu, nhưng điều kiện này phải thỏa mãn đối với toàn bộ không gian trạng thái.

== Cực đại hóa và cực tiểu hóa ==
Nguyên lý này đầu tiên được biết đến như là "nguyên lý cực đại" Pontryagin và bằng chứng lịch sử của nó là dựa trên tối đa hóa Hamilton. Ứng dụng đầu tiên của nguyên lý này là để tối đa hóa tốc độ cuối của một tên lửa. Tuy nhiên, vì nó sau đó được sử dụng chủ yếu cho việc giảm thiểu các chỉ số hiệu suất cho nên nó đã được gọi là "nguyên lý cực tiểu" .Cuốn sách của Pontryagin đã giải được bài toán giảm thiểu một chỉ số hiệu suất.

== Ký hiệu ==
Trong phần tiếp theo chúng ta sẽ học cách sử dụng các ký hiệu sau đây.

Ở đây, các điều kiện cần được dùng để cực tiểu hóa một hàm. Với formula_15 là trạng thái của hệ thống động học với đầu vào formula_16, do đó
trong đó formula_1 là tập hợp các điều khiển chấp nhận được và formula_19 là thời gian cuối (tức là cuối cùng) của hệ thống. Điều khiển formula_20 phải được chọn cho tất cả formula_21 để cực tiểu hóa mục tiêu chức năng formula_22 được định nghĩa bởi ứng dụng và có thể được tóm tắt như sau
Các hạn chế về các động học của hệ thống có thể được nối liền với Lagrange formula_24 bằng cách giới thiệu vectơ nhân tử Lagrange vector thời gian biến đổi formula_25, mà các thành phần được gọi là các costate của hệ thống. Điều này thúc đẩy việc xây dựng Hamilton formula_26 được định nghĩa cho mọi formula_21 by:
trong đó formula_29 là chuyển vị của formula_25.

nguyên lý tối thiểu của Pontryagin phát biểu rằng quỹ đạo trạng thái tối ưu formula_31, điều khiển tối ưu formula_2, và vectơ nhân tử Lagrange tương ứng formula_33 phải cực tiểu hóa Hamilton formula_26
đối với mọi thời gian formula_21 và mọi đầu vào điều khiển được phép formula_20. Nó cũng là trường hợp
Ngoài ra, các phương trình costate
phải được thỏa mãn. Nếu trạng thái cuối formula_40 không cố định (ví dụ, biến vi phân của nó không là zero), thì các costate cuối cũng phải có dạng
Bốn điều kiện (1) - (4) là những điều kiện cần cho một điều khiển tối ưu. Lưu ý rằng (4) chỉ áp dụng khi formula_40 là tự do. Nếu nó bị cố định, thì điều kiện này là không cần thiết cho một tối ưu.

== Xem thêm ==
- Số nhân Lagrange trên không gian Banach, phương pháp Lagrange trong phép tính biến phân.

== Ghi chú ==
Nếu  formula_1 là tập các giá trị của các điều khiển cho phép thì nguyên lý này phát biểu rằng điều khiển tối ưu formula_2 phải thỏa mãn: