Máy Tính Hàm Mũ Ma Trận

Máy Tính Hàm Mũ Ma Trận tính toán \(e^{At}\), ma trận chuyển trạng thái cho hệ tuyến tính thuần nhất \(x'(t)=Ax(t)\). Nó được thiết kế cho đại số tuyến tính, lý thuyết điều khiển, phương trình vi phân, bộ tạo chuỗi Markov và bất kỳ mô hình nào mà ma trận hằng số thúc đẩy sự tiến triển theo thời gian liên tục.

Hàm mũ ma trận có ý nghĩa gì

Đối với một số vô hướng \(a\), hàm mũ \(e^{at}\) giải \(x'=ax\). Đối với một ma trận vuông \(A\), ý tưởng tương tự cũng hoạt động sau khi thay thế các lũy thừa của một số bằng các lũy thừa của một ma trận:

Kết quả không đạt được bằng cách lũy thừa từng mục nhập của \(A\). Phép nhân ma trận trong các lũy thừa \(A^2,A^3,\ldots\) nắm bắt sự kết hợp giữa các biến, đó chính xác là những gì một hệ ODE tuyến tính cần.

Giải các hệ ODE tuyến tính

Nếu \(A\) là hằng số và \(x(0)=x_0\), nghiệm của bài toán giá trị ban đầu là:

Đây là lý do tại sao \(e^{At}\) thường được gọi là ma trận chuyển trạng thái hoặc nghiệm ma trận cơ bản. Mỗi cột cho biết nơi một trạng thái cơ sở chuẩn di chuyển sau thời gian \(t\).

Cách sử dụng Máy tính Hàm mũ Ma trận

1. Nhập ma trận A. Nhập mỗi hàng trên một dòng, sử dụng dấu cách hoặc dấu phẩy giữa các mục nhập.
2. Chọn thời gian t. Sử dụng giá trị dương để tiến triển thuận thời gian hoặc giá trị âm để tiến triển ngược thời gian.
3. Thêm x(0) khi giải ODE. Vectơ phải có cùng số lượng mục nhập như kích thước ma trận.
4. Tính toán và kiểm tra. Đọc \(e^{At}\), \(x(t)\) tùy chọn, đồng nhất thức vết và hoạt ảnh 2D khi A là 2×2.

Phương pháp số

Máy tính sử dụng phương pháp scaling and squaring với xấp xỉ Padé bậc 13. Về mặt thực tế, trước tiên nó tỷ lệ \(At\) thành một ma trận nhỏ hơn, đánh giá một xấp xỉ hữu tỉ, và lặp lại việc bình phương kết quả để trở lại thang thời gian ban đầu. Điều này ổn định hơn việc chỉ đơn giản cắt ngắn chuỗi Taylor.

Đồng nhất thức quan trọng: Tỷ lệ thể tích

Định thức của hàm mũ ma trận có một công thức vết thu gọn:

Đối với hệ 2D, điều này mô tả việc thay đổi tỷ lệ diện tích dưới luồng; đối với hệ 3D, nó mô tả việc thay đổi tỷ lệ thể tích. Vết âm có xu hướng làm co thể tích, trong khi vết dương làm giãn chúng.

Khi nào nên sử dụng công cụ này

Câu hỏi thường gặp

Máy tính có thể xử lý các ma trận không thể chéo hóa không?

Có. Phương pháp Padé tính toán \(e^{At}\) trực tiếp, vì vậy nó không yêu cầu chéo hóa. Các khối Jordan và các giá trị riêng lặp lại là các đầu vào hợp lệ miễn là các số nằm trong giới hạn ổn định.

Tại sao có giới hạn đối với ||At||?

Các giá trị cực lớn của \(\|At\|_1\) có thể dẫn đến các mục nhập hàm mũ khổng lồ hoặc tràn số dấu phẩy động. Máy tính giữ một ranh giới thận trọng để người dùng nhận được kết quả đáng tin cậy, thân thiện với trình duyệt thay vì các vô hạn gây nhầm lẫn.

Công cụ này có tạo ra các công thức ký hiệu không?

Công cụ này tập trung vào các hàm mũ ma trận số và giá trị trạng thái ODE. Đối với các dạng đóng ký hiệu, chéo hóa và quy trình dạng chuẩn Jordan, hãy sử dụng máy tính giá trị riêng hoặc máy tính dạng chuẩn Jordan chuyên dụng.