Bậc chính xác của phương pháp Runge–Kutta cổ điển
Phát biểu
Phương pháp Runge–Kutta bậc bốn cổ điển, xác định bởi các giai đoạn , , , và công thức cập nhật , có sai số cắt cụt cục bộ mỗi bước và, với cùng giả thiết Lipschitz như trên, sai số toàn cục sau bước.
Vì sao đúng?
RK4 tính độ dốc bốn lần mỗi bước tại các điểm trung gian được chọn khéo léo, thay vì một lần, rồi lấy trung bình với các trọng số theo tỉ lệ trên tổng phần. Công sức thêm này đổi lấy ba bậc chính xác cao hơn hẳn so với phương pháp Euler: khai triển khớp với nghiệm đúng theo chuỗi Taylor tới tận số hạng , thay vì chỉ dừng ở số hạng bậc nhất.
Phác thảo chứng minh
Khai triển mỗi giai đoạn thành chuỗi Taylor quanh . Vì , và tính tại điểm giữa dùng dịch chuyển nửa bước theo hướng của một giai đoạn trước, thay quy tắc dây chuyền cho , , và vào từng tạo ra bốn đa thức theo khớp với tới bậc mà mỗi giai đoạn có thể thấy được.
Lập tổ hợp có trọng số rồi nhân với , các hệ số của và trong tổng này chính xác là các hệ số của khai triển Taylor tới tận số hạng — đây chính xác là tập điều kiện bậc cổ điển mà các hệ số và của bảng RK4 được chọn để thỏa mãn.
Vì hai chuỗi khớp nhau tới , số hạng đầu tiên chúng có thể khác nhau là số hạng , nên sai số cắt cụt cục bộ là mỗi bước. Như trong trường hợp Euler, cộng dồn các sai số cục bộ này qua bước cần thiết để tới một thời điểm cố định, dùng điều kiện Lipschitz trên , làm mất đúng một bậc của , cho sai số toàn cục .
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
- J. C. Butcher (2016). Numerical Methods for Ordinary Differential Equations
- E. Hairer, S. P. Norsett, G. Wanner (1993). Solving Ordinary Differential Equations I: Nonstiff Problems