Có nhiều loại ổn định có thể được thảo luận cho các lời giải của phương trình vi phân hay phương trình vi phân mô tả các hệ thống động học. Loại quan trọng nhất liên quan đến sự ổn định của các lời giải gần đến một điểm cân bằng. Điều này có thể được thảo luận bởi lý thuyết của Lyapunov. Trong thuật ngữ đơn giản, nếu các lời giải mà bắt đầu gần một điểm cân bằng ở gần  vĩnh viễn, thì  là ổn định Lyapunov. Mạnh hơn, nếu là ổn định Lyapunov và tất cả các lời giải đó bắt đầu gần hội tụ về , thì  là ổn định tiệm cận. Khái niệm về sự ổn định mũ đảm bảo một tốc độ tối thiểu của phân rã, tức là, ước tính một cách nhanh chóng các lời giải hội tụ như thế nào. Ý tưởng về sự ổn định Lyapunov có thể được mở rộng cho các đa tạp có chiều vô hạn, nơi được gọi là ổn định cấu trúc, trong đó liên quan đến hành vi của các lời giải khác nhau nhưng "gần" với các phương trình vi phân. Ổn định đầu vào trạng thái (ISS) áp dụng các khái niệm Lyapunov cho các hệ thống với các đầu vào.

Lịch sử

sửa

Ổn định Lyapunov được đặt theo tên nhà toán học người Nga, Aleksandr Lyapunov, người đã xuất bản cuốn sách Bài toán Tổng quát về sự ổn định chuyển động vào năm 1892.[1] Lyapunov là người đầu tiên xem xét những sửa đổi cần thiết trong các hệ thống phi tuyến vào lý thuyết tuyến tính của sự ổn định dựa trên việc tuyến tính hóa gần một điểm cân bằng. Công trình của ông ban đầu được xuất bản bằng tiếng Nga và sau đó được dịch sang tiếng Pháp, và ít nhận được sự chú ý trong nhiều năm. Sự quan tâm đến nó đột ngột bắt đầu trong thời kỳ chiến tranh lạnh khi những cái gọi là "phương pháp thứ hai của Lyapunov" (xem dưới đây) đã được tìm thấy khả năng áp dụng đối với sự ổn định của các hệ thống dẫn đường hàng không vũ trụ thường chứa các yếu tố phi tuyến mạnh mẽ không có thể xử lý bằng các phương pháp khác. Một số lượng lớn các ấn phẩm đã xuất hiện sau đó và ở trong các tài liệu chuyên ngành điều khiển và hệ thống.[2][3][4][5][6] Gần đây hơn khái niệm về số mũ Lyapunov (liên quan đến phương pháp đầu tiên của Lyapunov thảo luận về sự ổn định) đã nhận được nhiều sự quan tâm liên quan đến lý thuyết hỗn loạn. Các phương pháp ổn định Lyapunov cũng đã được áp dụng để tìm ra các lời giải cân bằng trong các bài toán phân luồng giao thông.[7]

Định nghĩa cho các hệ thống thời gian liên tục

sửa

Hãy xem xét một hệ thống động lực học phi tuyến tự hành như sau

 ,

trong đó   nghĩa là vector trạng thái hệ thống,   một tập mở chứa gốc, và  liên tục trên  . Giả sử   có một điểm cân bằng tại   do đó   thì

  1. Trạng thái cân bằng này được gọi là ổn định Lyapunov nếu, cho mỗi    , tồn tại một   mà, nếu  , thì với mọi   ta có  .
  2. Cân bằng của hệ thống ở trên được cho là ổn định tiệm cận nếu nó là ổn định Lyapunov và tồn tại    như vậy nếu  , thì .
  3.   như vậy nếu  , thì , cho tất cả  .

Một cách khái niệm, ý nghĩa của các điều khoản ở trên là như sau:

  1. Sự ổn định Lyapunov của một trạng thái cân bằng có nghĩa rằng lời giải bắt đầu "đủ gần" để cân bằng (nằm trong một khoảng   kể từ nó) vẫn duy trì mãi mãi "đủ gần" (nằm trong một khoảng   tính tình nó). Lưu ý rằng điều này phải đúng cho bất kỳ   mà ta có thể chọn.
  2. Sự ổn định tiệm cận có nghĩa là các lời giải bắt đầu đủ gần không chỉ duy trì đủ gần mà cuối cùng còn hội tụ về điểm cân bằng.
  3. Ổn định hàm mũ có nghĩa là lời giải không chỉ hội tụ, mà trong thực tế còn hội tụ nhanh hơn hoặc ít nhất nhanh bằng một tốc độ cụ thể đã biết   .

Quỹ đạo x là (địa phương) thu hút nếu

 

(trong đó y(t) là ký hiệu của đầu ra hệ thống) từ   cho tất cả các quỹ đạo mà bắt đầu đủ gần, và hấp dẫn trên toàn cục nếu thuộc tính này được giữ cho tất cả các quỹ đạo.

Đó là, nếu x thuộc về nội bộ của đa tạp ổn định của nó, nó là ổn định tiệm cận nếu nó vừa hấp dẫn và vừa ổn định. (Có những ví dụ cho thấy tính hấp dẫn không hàm ý sự ổn định tiệm cận. Những ví dụ như vậy rất dễ tạo các kết nối homoclinic.)

Nếu Jacobian của hệ thống động học ở trạng thái cân bằng sẽ xảy ra là một ma trận ổn định (ví dụ, nếu một phần thực của mỗi vectơ riêng là hoàn toàn âm), thì trạng thái cân bằng là ổn định tiệm cận.

Phương pháp thứ hai của Lyapunov cho sự ổn định

sửa

Ví dụ

sửa
  •   nếu và chỉ nếu  
  •   nếu và chỉ nếu  
  •   đối với tất cả các giá trị của   (nửa xác định âm). Lưu ý: đối với ổn định tiệm cận,   for   là yêu cầu bắt buộc (xác định âm).

Thì V(x) được gọi là một hàm Lyapunov ứng viên và hệ thống là ổn định trong ý nghĩa của Lyapunov (lưu ý rằng   là yêu cầu bắt buộc; Mặt khác ví dụ   "chứng minh" rằng ). Một điều kiện khác được gọi là "tính đúng đắn" hoặc "tính quá độ tia" là cần thiết để kết luận sự ổn định toàn cục. Ổn định tiệm cận toàn cục (GAS) cũng tương tự.

Sẽ dễ dàng hơn để hình dung phương pháp phân tích này bằng cách nghĩ đến một hệ thống vật lý (ví dụ như lò xo dao động và khối lượng) và xem xét năng lượng của một hệ thống như vậy. Nếu hệ thống này tiêu hao năng lượng theo thời gian và năng lượng này không bao giờ phục hồi được và cuối cùng nó phải buộc dừng lại và đạt tới một trạng thái nghỉ cuối cùng nào đó. Trạng thái cuối cùng này được gọi là điểm thu hút. Tuy nhiên, việc tìm kiếm một hàm để miêu tả chính xác năng lượng của một hệ thống vật lý có thể rất khó, và đối với các hệ thống toán học trừu tượng, hệ thống kinh tế hay các hệ thống sinh học, khái niệm về năng lượng có thể không dùng được.

Việc thực hiện hóa của Lyapunov đó là sự ổn định có thể được chứng minh mà không đòi hỏi kiến ​​thức về năng lượng vật lý thực sự, cung cấp một hàm Lyapunov có thể được tìm thấy để đáp ứng các hạn chế trên.

Định nghĩa cho các hệ thống thời gian rời rạc

sửa

Định nghĩa của ổn định Lyapunov cho các hệ thống thời gian rời rạc cũng gần giống như đối với các hệ thống thời gian liên tục. Định nghĩa dưới đây sử dụng một ngôn ngữ thay thế thường được sử dụng trong các văn bản toán học nhiều hơn.

Cho (X, d) là một không gian metric và f: XX là một hàm liên tục. Một điểm x trong X được gọi là Ổn định Lyapunov, nếu,

 ,

trong đó   nghĩa là vectơ trạng thái hệ thống,   một tập mở chứa gốc, và  liên tục trên  . Giả sử   có một điểm cân bằng tại   do đó   thì

 

Ổn định cho các mô hình không gian trạng thái tuyến tính

sửa

Ví dụ

sửa

Hãy xem xét một phương trình, trong đó so sánh với phương trình dao động Van der Pol, yếu tố ma sát thay đổi theo:

 

Trạng thái cân bằng tại: 

Dưới đây là một ví dụ tốt về một nỗ lực không thành công để tìm hàm Lyapunov để chứng minh sự ổn định:

Cho

 

do đó hệ thống tương ứng là

 

Hãy lựa chọn như là một hàm Lyapunov

 

mà rõ ràng là xác định dương. Đạo hàm của nó là

 

Dường như là nếu tham số   là dương, độ ổn định sẽ là tiệm cận đối với   Nhưng điều này là sai, bởi vì   không phụ thuộc vào  , và sẽ là 0 mọi nơi trong trục  . Hệ thống này là ổn định Lyapunov.

Bổ đề Barbalat và sự ổn định của hệ thống thời gian biến đổi

sửa

Giả sử f là hàm số chỉ theo thời gian.

  • Ta có   không có nghĩa là   có một giới hạn tại  . Ví dụ,  .
  •   tiến tới một giới hạn khi   không có nghĩa là  . Ví dụ,  .
  •   bị chặn dưới và giảm ( ) ngụ ý là nó hội tụ đến một giới hạn. Nhưng nó không có nghĩa là có hay không   khi  .

Bổ đề Barbalat cho biết:

Nếu   có một giới hạn hữu hạn khi   và nếu   là liên tục đều (hoặc   bị chặn), thì  khi  .

Thông thường, rất khó để phân tích sự ổn định tiệm cận của các hệ thống thời gian biến đổi vì rất khó để tìm ra hàm Lyapunov với một đạo hàm xác định âm.

Chúng ta biết rằng trong trường hợp của các hệ thống tự hành (thời gian bất biến), nếu   là nửa xác định âm (NSD), thì cũng có thể biết được các hành vi tiệm cận bằng cách sử dụng định lý bất biến nào đó. Tuy nhiên, sự linh hoạt này không sẵn có cho các hệ thống thời gian biến đổi. Đây là nơi "bổ đề Barbalat " được sử dụng tới. Nó nói rằng:

Nếu   thỏa mãn những điều kiện sau:
  1.  
  2.   là nửa xác định âm (NSD)
  3.   là liên tục đều theo thời gian (được thỏa mãn nếu   là hữu hạn)
thì   as  .

Ví dụ sau đây được lấy từ trang 125 của cuốn sách của Slotine và Li: Điều khiển phi tuyến ứng dụng.

Xem xét một hệ thống không tự hành sau

 
 

Đây là hệ thống phi tự hành bởi vì đầu vào   là một hàm số theo thời gian. Giả sử rằng đầu vào   bị chặn.

Lấy   ta có  

Điều này nó lên rằng   bởi hai điều kiện đầu tiên và do đó   và   là bị chặn. Nhưng nó không nói bất cứ điều gì về sự hội tụ của   về zero. Hơn nữa, định lý tập bất biến không thể được áp dụng, vì các đặc tính động lực học là không tự hành.

Sử dụng bổ đề Barbalat:

 .

Hàm này là bị chặn bởi vì  ,   và   là bị chặn. Điều này nghĩa là   khi   và do đó  . Điều này chứng tỏ rằng các sai số là hội tụ.

Xem thêm

sửa
  • Hàm Lyapunov
  • Lý thuyết nhiễu loạn
  • Nguyên lý bất biến LaSalle

Tham khảo

sửa
  1. ^ Lyapunov A. M. The General Problem of the Stability of Motion (In Russian), Doctoral dissertation, Univ.
  2. ^ Letov, A. M. (1955). Устойчивость нелинейных регулируемых систем [Stability of Nonlinear Control Systems] (bằng tiếng Nga). Moscow: Gostekhizdat.
  3. ^ Kalman, R. E.; Bertram, J. F (1960). “Control System Analysis and Design via the Second Method of Lyapunov”. J. Basic Engrg. 88: 371, 394.
  4. ^ LaSalle, J. P.; Lefschetz, S. (1961). Stability by Lyapunov's Second Method with Applications. New York: Academic Press.
  5. ^ Parks, P. C. (1962). “Liapunov's method in automatic control theory”. Control. I Nov 1962 II Dec 1962.
  6. ^ Kalman, R. E. (1963). “Lyapunov functions for the problem of Lur'e in automatic control”. Proc Natl Acad Sci USA. 49 (2): 201–205. PMC 299777. PMID 16591048.
  7. ^ Smith, M. J.; Wisten, M. B. (1995). “A continuous day-to-day traffic assignment model and the existence of a continuous dynamic user equilibrium”. Annals of Operations Research. 60 (1): 59–79. doi:10.1007/BF02031940.

Đọc thêm

sửa

Liên kết ngoài

sửa
  • [1] (login required)

asymptotically stable tại trang PlanetMath.org.