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   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  phải thỏa mãn:

trong đó  là quỹ đạo trạng thái tối ưu và  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  là cố định và Hamilton không phụ thuộc một cách rõ ràng về thời gian , 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  là trạng thái của hệ thống động học với đầu vào , do đó

trong đó  là tập hợp các điều khiển chấp nhận được và  là thời gian cuối (tức là cuối cùng) của hệ thống. Điều khiển  phải được chọn cho tất cả  để cực tiểu hóa mục tiêu chức năng  đượ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  bằng cách giới thiệu vectơ nhân tử Lagrange vector thời gian biến đổi , 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  được định nghĩa cho mọi  by:

trong đó  là chuyển vị của .

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 , điều khiển tối ưu , và vectơ nhân tử Lagrange tương ứng  phải cực tiểu hóa Hamilton 

đối với mọi thời gian  và mọi đầu vào điều khiển được phép . 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  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  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   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  phải thỏa mãn:

 Tham khảo 



 Liên kết ngoài 

 Phát biểu chính thức về các điều kiện cần cho bài toán cực tiểu hóa 


Thể loại:Tối ưu hóa (toán học)
Thể loại:Nguyên tắc