Lý thuyết ổn định

Trong toán học, lý thuyết ổn định tập trung nghiên cứu về sự ổn định của các lời giải của phương trình vi phân và quỹ đạo của các hệ thống động học dưới các nhiễu loạn nhỏ trong các điều kiện ban đầu. Ví dụ, phương trình nhiệt, là một phương trình vi phân riêng phần ổn định vì các nhiễu loạn nhỏ của dữ liệu ban đầu dẫn đến các biến đổi nhỏ trong nhiệt độ tại một thời điểm sau đó là kết quả của nguyên tắc tối đa. Trong các phương trình vi phân riêng phần, ta có thể đo khoảng cách giữa các hàm bằng cách sử dụng tiêu chuẩn Lp hoặc chuẩn đồng nhất, trong khi trong hình học vi phân, ta có thể đo khoảng cách giữa các không gian sử dụng khoảng cách Gromov-Hausdorff.
Trong các hệ thống động học, một quỹ đạo được gọi là ổn định Lyapunov nếu quỹ đạo phía trước của bất kỳ điểm nào trong một lân cận đủ nhỏ hoặc nó ở trong một lân cận nhỏ (nhưng có lẽ, lớn hơn). Nhiều tiêu chuẩn khác nhau đã được phát triển để chứng minh sự ổn định hay bất ổn định của một quỹ đạo. Dưới các hoàn cảnh thuận lợi, câu hỏi này có thể được giảm đến một bài toán được nghiên cứu cặn kẽ đó là vectơ riêng của ma trận. Một phương pháp tổng quát hơn đó là hàm Lyapunov. Trong thực tế, bất kỳ một trong một số tiêu chuẩn ổn định khác nhau đều được sử dụng.
Tổng quan trong các hệ thống động học.
Nhiều bộ phận của lý thuyết định tính phương trình vi phân và hệ thống động học nghiên cứu về tính tiệm cận các lời giải và quỹ đạo, những gì xảy ra với hệ thống sau một thời gian dài. Loại đơn giản nhất của hành vi được đưa ra bởi các điểm cân bằng, hoặc các điểm cố định, và bởi cácquỹ đạo có chu kỳ. Nếu một quỹ đạo đặc biệt được hiểu rõ, điều tất nhiên là ta sẽ biết được trạng thái tiếp theo cho dù chỉ một thay đổi nhỏ trong các điều kiện ban đầu, vì điều đó sẽ dẫn đến hành vi tương tự. Lý thuyết ổn định sẽ giải quyết các câu hỏi sau đây: một quỹ đạo lân cận liệu sẽ mãi mãi ở gần một quỹ đạo cho trước? Liệu nó sẽ hội tụ với quỹ đạo cho trước hay không? (Quỹ đạo sau có thuộc tính mạnh hơn). Trong trường hợp trước, quỹ đạo được gọi là ổn định; trong trường hợp sau, nó được gọi là ổn định tiệm cận và quỹ đạo cho trước được cho là quỹ đạo thu hút.
Một lời giải cân bằng formula_1 cho một hệ thống tự hành của hệ phương trình vi phân thường bậc một được gọi là:
Ổn định có nghĩa là các quỹ đạo không thay đổi quá nhiều dưới ảnh hưởng của các nhiễu loạn nhỏ. Tình hình ngược lại, trong đó một quỹ đạo lân cận được bị đẩy ra khỏi quỹ đạo ban đầu, cũng là điều đáng được quan tâm tới. Nói chung, làm xáo trộn tình trạng ban đầu trong một số hướng, dẫn đến quỹ đạo tiếp cận tiệm cận quỹ đạo ban đầu và theo các hướng khác để quỹ đạo thoát khỏi quỹ đạo ban đầu đó. Cũng có thể có các hướng mà hành vi của quỹ đạo chao đảo (bị nhiễu) là phức tạp hơn (không hội tụ cũng không thoát khỏi hoàn toàn), và do đó lý thuyết ổn định không cung cấp đầy đủ thông tin về đặc tính động học của nó.
Một trong những ý tưởng quan trọng trong lý thuyết ổn định là hành vi định tính của một quỹ đạo dưới ảnh hưởng của các nhiễu loạn có thể được phân tích bằng cách sử dụng phép tuyến tính hóa của hệ thống lân cận quỹ đạo đó. Đặc biệt, tại mỗi điểm cân bằng của một hệ thống động học trơn tru với một không gian pha n-chiều, có một ma trận "n"×"n" cho trước "A" có giá trị riêng đặc trưng cho các hành vi của các điểm lân cận (Định lý Hartman-Grobman). Chính xác hơn, nếu tất cả các riêng là những số thực âm hay số phức với phần thực sự âm thì điểm này là một điểm thu hút ổn định điểm cố định, và các điểm lân cận hội tụ vào nó ở một tốc độ hàm mũ, gọi là ổn định Lyapunov vàổn định theo cấp số nhân. Nếu không có riêng nào là phần ảo hoàn toàn (hoặc zero) thì hướng thu hút và hướng đẩy lùi có liên quan đến không gian riêng của ma trận "A "với các riêng mà có phần thực là âm và tương ứng, là dương. Các phát biểu tương tự được biết đến cho các nhiễu loạn của các quỹ đạo phức tạp hơn.
Tính ổn định của các điểm cố định.
Loại đơn giản nhất của một quỹ đạo là một điểm cố định, hoặc một trạng thái cân bằng. Nếu một hệ thống cơ khí ở trong trạng thái cân bằng ổn định thì lực đẩy nhỏ sẽ dẫn đến một chuyển động địa phương, ví dụ, các dao động nhỏ trong trường hợp của con lắc. Trong một hệ thống giảm xóc, một trạng thái cân bằng ổn định thực ra là ổn định tiệm cận. Mặt khác, đối với một trạng thái cân bằng không ổn định, chẳng hạn như một quả bóng đang nằm trên một đỉnh đồi, một lực đẩy nhỏ nhất định sẽ dẫn đến một chuyển động với biên độ lớn có thể hoặc không thể hội tụ về trạng thái ban đầu.
Có các thử nghiệm hữu ích về độ ổn định trong trường hợp của một hệ thống tuyến tính. Tính ổn định của một hệ thống phi tuyến thường có thể được suy ra từ sự ổn định của hệ thống tuyến tính hóa của nó.
Ánh xạ.
Một cách tổng quát để thiết lập ổn định Lyapunov hoặc ổn định tiệm cận của một hệ thống động học là bằng phương pháp hàm Lyapunov.
Điểm cố định  là ổn định nếu giá trị tuyệt đối của đạo hàm của  tại  là hoàn toàn nhỏ hơn 1, và không ổn định nếu nó hoàn toàn lớn hơn 1. Điều này là do gần điểm , thì hàm  có một xấp xỉ tuyến tính với độ dốc :
Liên kết ngoài.
Có một tiêu chí tương tự cho một ánh xạ vi phân liên tục  với một điểm cố định , biểu diễn theo ma trận Jacobian tại  , . Nếu tất cả các riêng của  là các số thực hoặc số phức với giá trị tuyệt đối hoàn toàn nhỏ hơn 1 thì  là một điểm cố định ổn định; nếu ít nhất một trong số chúng có giá trị tuyệt đối hoàn toàn lớn hơn 1 thì  là không ổn định. Cũng như đối với =1, trường hợp giá trị tuyệt đối lớn nhất là 1 cần được tiếp tục kiểm tra thêm — thử nghiệm ma trận Jacobian là không thuyết phục. Các tiêu chí tương tự cũng thường tổng quát hơn cho cácvi đồng phôi của một đa tạp trơn tru.
Các hệ thống tự hành tuyến tính.
Sự ổn định của các điểm cố định của một hệ phương trình vi phân tuyến tính với các hệ số không đổi bậc một có thể được phân tích bằng cách sử dụng các riêng của ma trận tương ứng.
Một hệ thống tự hành
trong đó  và  là một ma trận  với các đầu vào thực, có một đáp số là hằng số
(nói cách khác, gốc  là một điểm cân bằng của hệ thống động học tương ứng.) Giải pháp này là ổn định tiệm cận khi ("trong tương lai") khi và chỉ khi với tất cả các vectơ riêng  của , . Tương tự như vậy, nó là ổn định tiệm cận khi ("trong quá khứ") khi và chỉ khi với tất cả các vectơ riêng  của , . Nếu tồn tại một vectơ riêng  của  với  thì lời giải là không ổn định tại .
Áp dụng các kết quả này trong thực tế, để quyết định sự ổn định của gốc cho một hệ thống tuyến tính, được hỗ trợ bởi tiêu chuẩn ổn định Routh-Hurwitz. Các vectơ riêng của một ma trận là nghiệm của đa thức đặc trưng của nó. Một đa thức trong một biến với các hệ số thực được gọi là một đa thức Hurwitz nếu các phần thực của tất cả các nghiệm hoàn toàn âm. Định lý Routh-Hurwitz ngụ ý một mô tả đặc điểm của các đa thức Hurwitz bằng một thuật toán mà tránh được việc tính toán các nghiệm.
Các hệ thống tự hành phi tuyến.
Ổn định tiệm cận của các điểm cố định của một hệ thống phi tuyến thường có thể được thiết lập bằng cách sử dụng định lý Hartman-Grobman.
Ổn định có nghĩa là các quỹ đạo không thay đổi quá nhiều dưới ảnh hưởng của các nhiễu loạn nhỏ. Tình hình ngược lại, trong đó một quỹ đạo lân cận được bị đẩy ra khỏi quỹ đạo ban đầu, cũng là điều đáng được quan tâm tới. Nói chung, làm xáo trộn tình trạng ban đầu trong một số hướng, dẫn đến quỹ đạo tiếp cận tiệm cận quỹ đạo ban đầu và theo các hướng khác để quỹ đạo thoát khỏi quỹ đạo ban đầu đó. Cũng có thể có các hướng mà hành vi của quỹ đạo chao đảo (bị nhiễu) là phức tạp hơn (không hội tụ cũng không thoát khỏi hoàn toàn), và do đó lý thuyết ổn định không cung cấp đầy đủ thông tin về đặc tính động học của nó.
Giả sử rằng  là một  in which vanishes at a point , . Then the corresponding autonomous system
có một nghiệm là hằng số
Cho "J""p"("v") là ma trận Jacobian "n"×"n" của trường vectơ "v" tại điểm "p". Nếu tất cả các vectơ riêng của "J" đều hoàn toàn là phần thực âm thì lời giải là ổn định tiệm cận. Điều kiện này có thể được kiểm tra bằng cách sử dụng tiêu chuẩn Routh-Hurwitz.
Hàm Lyapunov cho các hệ thống động học tổng quát.
Một cách tổng quát để thiết lập ổn định Lyapunov hoặc ổn định tiệm cận của một hệ thống động học là bằng phương pháp hàm Lyapunov.