Lựa chọn phương thức cho phương trình số


12

Một số họ phương thức tồn tại cho phương trình số. Nếu tôi có một lớp tích phân cụ thể, làm thế nào để tôi chọn phương thức lý tưởng?

Các câu hỏi liên quan để hỏi cả về tích phân (ví dụ: nó có trơn tru không? Nó có điểm kỳ dị không?) Và vấn đề tính toán (ví dụ: khả năng chịu lỗi, ngân sách tính toán)?

Làm thế nào để trả lời cho những câu hỏi này loại trừ hoặc thúc đẩy các phương pháp khác nhau? Để đơn giản, hãy xem xét chỉ tích hợp đơn hoặc chiều thấp.

Ví dụ, bài viết trên Wikipedia về QUADPACK nói rằng QAGSthói quen khá chung " sử dụng phương pháp thích ứng toàn cầu dựa trên phương pháp bậc hai Gaussedom Kronrod 21 điểm trong mỗi phép con, với gia tốc bằng thuật toán epsilon của Peter Wynn "

Quyết định này được đưa ra như thế nào? Làm thế nào người ta có thể đưa ra quyết định tương tự khi được biết đến nhiều hơn?


1
Có lẽ thông tin cụ thể hơn là cần thiết để trả lời đúng. Không có tiêu chí một kích cỡ phù hợp cho tất cả, phương pháp bậc hai gaussian thường hoạt động tốt cho các vấn đề rất trơn tru trong khi các ô tiêu chuẩn khác có thể được sử dụng khi có các điểm kỳ dị nhẹ. Nhưng nếu bạn là người định kỳ, thì hình thang đơn giản có thể cắt nó.
Reid.Atcheson

2
@ Reid.Atcheson, tôi nghĩ bạn đang trả lời câu hỏi ngay bây giờ. Tôi không hỏi phương pháp tốt nhất là gì, tôi đang hỏi loại câu hỏi nào bạn sẽ hỏi và những câu trả lời đó sẽ cho bạn biết điều gì? Làm thế nào để một người tiếp cận những loại vấn đề nói chung?
MRocklin

Câu trả lời:


11

Trước hết, bạn cần phải tự hỏi mình câu hỏi nếu bạn cần một thói quen cầu phương toàn diện, nên lấy một tích phân làm hộp đen. Nếu vậy, bạn không thể nhưng đi đến phương trình thích ứng mà bạn hy vọng rằng khả năng thích ứng sẽ bắt được những điểm "khó" trong tích phân. Và đó là một trong những lý do Piessens et al. đã chọn cho quy tắc Gauss-Kronrod (loại quy tắc này cho phép bạn tính toán xấp xỉ tích phân và ước tính sai số gần đúng bằng cách sử dụng các đánh giá chức năng tương tự) theo thứ tự khiêm tốn được áp dụng trong sơ đồ thích ứng (với phân chia khoảng sai số cao nhất) cho đến khi đạt được dung sai yêu cầu. Thuật toán Wynn-epsilon cho phép cung cấp gia tốc hội tụ và thường giúp ích trong các trường hợp có điểm kỳ dị điểm cuối.

Nhưng nếu bạn biết "hình thức" hoặc "loại" của thương hiệu của mình, bạn có thể điều chỉnh phương pháp của mình theo những gì bạn cần để chi phí tính toán được giới hạn cho độ chính xác bạn cần. Vì vậy, những gì bạn cần xem xét:

Integrand:

  • Độ mượt: có thể được xấp xỉ (tốt) bởi một đa thức từ một họ đa thức trực giao (nếu vậy, phương trình bậc hai Gaussian sẽ làm tốt)
  • Điểm kỳ dị: tích phân có thể được chia thành các tích phân chỉ với điểm kỳ dị điểm cuối (nếu vậy, quy tắc IMT hoặc phương trình hàm mũ đôi sẽ tốt cho mỗi khoảng phụ)
  • Chi phí tính toán để đánh giá?
  • Integrand có thể được tính toán? Hoặc chỉ có dữ liệu điểm hạn chế có sẵn?
  • Tích phân dao động cao: tìm kiếm các phương pháp kiểu Levin.

Khi làm việc với các điểm kỳ dị, người ta thường thích chúng ở điểm cuối của các tích phân (xem IMT, hàm mũ đôi). Nếu đây không phải là trường hợp, người ta có thể sử dụng tích hợp Clenshaw-Curtis nơi bạn nắm bắt được các điểm kỳ dị trong hàm trọng số. Người ta thường định nghĩa các dạng số ít như|x-c|-α và thiết lập các biểu thức cho các trọng số của hình cầu như là một hàm của cα.

Khoảng tích hợp: hữu hạn, bán vô hạn hoặc vô hạn. Trong trường hợp các khoảng bán vô hạn hoặc vô hạn, chúng có thể được giảm xuống một khoảng hữu hạn bằng một phép biến đổi không? Nếu không, đa thức Laguerre hoặc Hermite có thể được sử dụng trong phương pháp bậc hai Gaussian.

Tôi không có tài liệu tham khảo cho một bảng lưu lượng thực sự cho phương trình bậc hai nói chung, nhưng cuốn sách QUADPACK (không phải các trang web Netlib, nhưng cuốn sách thực sự) có một bảng lưu lượng để chọn thói quen phù hợp dựa trên tích phân bạn muốn đánh giá. Cuốn sách cũng mô tả các lựa chọn trong các thuật toán được thực hiện bởi Piessens et al. cho các thói quen khác nhau.

Đối với các tích phân chiều thấp, người ta thường sử dụng phương trình một chiều lồng nhau. Trong trường hợp đặc biệt của tích phân hai chiều (hình khối), tồn tại các quy tắc tích hợp cho các trường hợp khác nhau của các miền tích hợp. R. Cools đã thu thập một số lượng lớn các quy tắc trong Bách khoa toàn thư về các công thức hình khối của mình và là tác giả chính của gói Cubpack . Đối với các tích phân chiều cao, người ta thường sử dụng các phương pháp kiểu Monte Carlo. Tuy nhiên, người ta thường cần một số lượng lớn các đánh giá tích phân để có được độ chính xác hợp lý. Đối với các tích phân chiều thấp, các phương pháp gần đúng như phương trình bậc hai / bậc hai / bậc hai lồng nhau thường thực hiện các phương pháp ngẫu nhiên này.

Tài liệu tham khảo thú vị chung:

  1. Quadpack, Piessens, Robert; de Doncker-Kapenga, Elise; Überhuber, Christoph W.; Kahaner, David (1983). QUADPACK: Gói chương trình con để tích hợp tự động. Springer-Verlag. Sê-ri 980-3-540-12553-2
  2. Các phương pháp tích hợp số: Ấn bản thứ hai, Ph. Davis và Ph. Rabinowitz, 2007, Sách Dover về Toán học, ISBN 976-0486453392

1
Phản ứng tốt đẹp. Tại sao QUADPACK lại chọn phương pháp Gauss-Kronrod 21 điểm nói riêng? Tại sao số ma thuật?
MRocklin

@MRocklin: Tôi đoán đó là một sự đánh đổi tốt giữa độ chính xác và hiệu quả: bạn không muốn làm quá mức quy tắc bậc hai của mình (tốn kém) nhưng bạn cũng không muốn nó quá yếu (quá nhiều phân khu trong phần thích ứng ). Để được hoàn thành: trong thói quen QAG, người dùng phải chỉ định quy tắc bậc hai; trong QAGS (với phép ngoại suy), mặc định là quy tắc 21 điểm nhưng điều này có thể được ghi đè bằng cách sử dụng QAGSE thường xuyên gọi mở rộng.
GertVdE

1
@GertVdE Phản hồi rất hay. Bạn có thể giải thích về việc sử dụng Clenshaw-Curtis để nắm bắt các điểm kỳ dị giữa chừng, hoặc cung cấp tài liệu tham khảo không? Tôi chưa từng nghe nó được sử dụng theo cách này trước đây và không thể tìm thấy bất kỳ chi tiết nào từ một người nhanh chóng. Cảm ơn bạn!
OscarB

3
@OscarB: xin lỗi vì sự chậm trễ lâu, đã ra ngoài mà không truy cập mạng (ah cuộc sống tốt đẹp). Xem sách Quadpack §2.2.3.3 và hơn thế nữa; Branders, Piessens, "Một phần mở rộng của phương pháp bậc hai Clenshaw-Curtis", 1975, J.Comp.Appl.Math., 1, 55-65; Piessens, Branders, "Việc đánh giá và áp dụng một số khoảnh khắc đã được sửa đổi", 1973, BIT, 13, 443-450; Piessens, Branders, "Tính toán các tích phân dao động", 1975, J.Comp.Appl.Math., 1, 153-164. Nếu bạn thực hiện tìm kiếm tài liệu cho "Robert Piessens" ở đâu đó trong khoảng thời gian từ năm 1972 đến năm 1980, bạn sẽ tìm thấy rất nhiều bài báo thú vị.
GertVdE
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.