Math Labs
Định lýĐã chứng minh

Nghiệm tổng quát từ trị riêng thực phân biệt

Phát biểu

Nếu AA có hai trị riêng thực phân biệt λ1≠λ2\lambda_1\neq\lambda_2 với vectơ riêng v1,v2\mathbf{v}_1,\mathbf{v}_2, thì v1,v2\mathbf{v}_1,\mathbf{v}_2 độc lập tuyến tính, và nghiệm tổng quát của x′=Ax\mathbf{x}'=A\mathbf{x} là x(t)=c1eλ1tv1+c2eλ2tv2\mathbf{x}(t)=c_1e^{\lambda_1t}\mathbf{v}_1+c_2e^{\lambda_2t}\mathbf{v}_2.

Vì sao đúng?

Vectơ riêng biến hệ liên kết thành hai phương trình vô hướng tách rời theo các hướng riêng: mỗi eλitvie^{\lambda_i t}\mathbf{v}_i di chuyển hoàn toàn dọc theo đường thẳng sinh bởi vi\mathbf{v}_i, tăng hoặc giảm với tốc độ λi\lambda_i, nên chuyển động toàn phần là sự pha trộn của hai chuyển động thẳng độc lập.

Phác thảo chứng minh

Trước tiên kiểm tra eλitvie^{\lambda_i t}\mathbf{v}_i thỏa mãn hệ: đạo hàm của nó là λieλitvi\lambda_i e^{\lambda_i t}\mathbf{v}_i, còn A(eλitvi)=eλitAvi=eλitλiviA(e^{\lambda_i t}\mathbf{v}_i)=e^{\lambda_i t}A\mathbf{v}_i=e^{\lambda_i t}\lambda_i\mathbf{v}_i theo Av=λvA\mathbf{v}=\lambda\mathbf{v}; hai vế khớp nhau, nên đây đúng là nghiệm với i=1,2i=1,2.

Độc lập tuyến tính của v1,v2\mathbf{v}_1,\mathbf{v}_2: giả sử c1v1+c2v2=0c_1\mathbf{v}_1+c_2\mathbf{v}_2=\mathbf{0}. Nhân AA vào ta được c1λ1v1+c2λ2v2=0c_1\lambda_1\mathbf{v}_1+c_2\lambda_2\mathbf{v}_2=\mathbf{0}. Nhân hệ thức đầu với λ2\lambda_2 rồi trừ đi, ta được c1(λ1−λ2)v1=0c_1(\lambda_1-\lambda_2)\mathbf{v}_1=\mathbf{0}; vì λ1≠λ2\lambda_1\neq\lambda_2 và v1≠0\mathbf{v}_1\neq\mathbf{0} nên c1=0c_1=0, rồi c2=0c_2=0. Vậy v1,v2\mathbf{v}_1,\mathbf{v}_2 độc lập.

Theo tính tuyến tính của hệ (giống hệt trường hợp vô hướng), mọi tổ hợp c1eλ1tv1+c2eλ2tv2c_1e^{\lambda_1t}\mathbf{v}_1+c_2e^{\lambda_2t}\mathbf{v}_2 đều thỏa mãn hệ. Vì v1,v2\mathbf{v}_1,\mathbf{v}_2 độc lập, khớp với điều kiện đầu bất kỳ x(0)=x0\mathbf{x}(0)=\mathbf{x}_0 nghĩa là giải c1v1+c2v2=x0c_1\mathbf{v}_1+c_2\mathbf{v}_2=\mathbf{x}_0 theo (c1,c2)(c_1,c_2), có nghiệm duy nhất vì {v1,v2}\{\mathbf{v}_1,\mathbf{v}_2\} là cơ sở của mặt phẳng. Vậy mọi nghiệm đều được bao quát, cho nghiệm tổng quát x(t)=c1eλ1tv1+c2eλ2tv2\mathbf{x}(t)=c_1e^{\lambda_1t}\mathbf{v}_1+c_2e^{\lambda_2t}\mathbf{v}_2.

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