MathLabs
Định lýĐã chứng minh

Tiêu chuẩn ổn định theo vết và định thức

Phát biểu

Với hệ 2×22\times 2 x′=Ax\mathbf{x}'=A\mathbf{x} có phương trình đặc trưng λ2−(tr A)λ+det⁡A=0\lambda^2-(\text{tr}\,A)\lambda+\det A=0, gốc tọa độ ổn định tiệm cận (mọi nghiệm tiến về 0\mathbf{0} khi t→∞t\to\infty) khi và chỉ khi tr A<0\text{tr}\,A<0 và det⁡A>0\det A>0; nó không ổn định nếu det⁡A<0\det A<0 (điểm yên ngựa) hoặc tr A>0\text{tr}\,A>0.

Vì sao đúng?

Vết và định thức của AA lần lượt là tổng và tích các trị riêng của nó — nên định lý này chuyển một phát biểu về nghiệm của phương trình bậc hai (cả hai đều có phần thực âm) thành phát biểu về hai con số dễ tính, mà không cần giải trị riêng tường minh.

Phác thảo chứng minh

Theo định nghĩa đa thức đặc trưng, λ2−(tr A)λ+det⁡A=0\lambda^2-(\text{tr}\,A)\lambda+\det A=0 có nghiệm λ1,2=tr A±(tr A)2−4det⁡A2\lambda_{1,2}=\dfrac{\text{tr}\,A\pm\sqrt{(\text{tr}\,A)^2-4\det A}}{2}, và theo định lý Vieta λ1+λ2=tr A\lambda_1+\lambda_2=\text{tr}\,A và λ1λ2=det⁡A\lambda_1\lambda_2=\det A.

Nếu det⁡A<0\det A<0 thì λ1λ2<0\lambda_1\lambda_2<0, nên các trị riêng thực và trái dấu (điểm yên ngựa); nghiệm tăng vô hạn dọc theo hướng trị riêng dương, nên gốc tọa độ không ổn định.

Nếu det⁡A>0\det A>0 và tr A<0\text{tr}\,A<0: khi trị riêng thực, λ1λ2>0\lambda_1\lambda_2>0 nghĩa là cùng dấu, và λ1+λ2<0\lambda_1+\lambda_2<0 buộc dấu đó là âm, nên cả eλ1t→0e^{\lambda_1t}\to 0 và eλ2t→0e^{\lambda_2t}\to 0; khi trị riêng là số phức liên hợp α±iβ\alpha\pm i\beta, tr A=2α<0\text{tr}\,A=2\alpha<0 cho α<0\alpha<0, nên hệ số biên độ eαt→0e^{\alpha t}\to 0 trong khi cos⁡(βt),sin⁡(βt)\cos(\beta t),\sin(\beta t) vẫn bị chặn. Trong mọi trường hợp con, mọi nghiệm đều tắt dần về 0\mathbf{0}: ổn định tiệm cận.

Ngược lại nếu tr A>0\text{tr}\,A>0 (với det⁡A>0\det A>0, nên trị riêng thực cùng dấu với vết, hoặc phức với phần thực dương), ít nhất một thừa số mũ tăng, nên nghiệm xuất phát gần nhưng không tại gốc tọa độ sẽ di chuyển ra xa: không ổn định. Điều này bao quát mọi tổ hợp dấu, chứng minh sự tương đương.

Chủ đề chứa định lý này

Chứng minh từng bước

Chưa có chứng minh từng bước cho định lý này.

Tài liệu tham khảo

  1. Morris W. Hirsch, Stephen Smale, Robert L. Devaney (2013). Differential Equations, Dynamical Systems, and an Introduction to Chaos
  2. Steven H. Strogatz (2015). Nonlinear Dynamics and Chaos