Giải pháp số cho phương trình đạo hàm riêng
Lĩnh vực này phát triển các phương pháp rời rạc hóa phương trình đạo hàm riêng trong không gian và thời gian, thay thế các toán tử liên tục bằng các hệ thống đại số mà các nghiệm của chúng xấp xỉ hành vi của các trường được điều chỉnh bởi các định luật vật lý.
Definition
Giải pháp số cho phương trình đạo hàm riêng là việc xây dựng và phân tích các phương pháp xấp xỉ nghiệm của PDE bằng cách rời rạc hóa miền không gian (và thời gian), tạo ra các hệ phương trình đại số hữu hạn.
Scope
Nó bao gồm ba khuôn khổ rời rạc hóa chính — phương pháp sai phân hữu hạn, phương pháp phần tử hữu hạn và phương pháp thể tích hữu hạn — được áp dụng cho các phương trình elliptic, parabolic và hyperbolic; phân tích tính nhất quán, ổn định và hội tụ (bao gồm định lý tương đương Lax và điều kiện CFL); và các hệ thống tuyến tính và phi tuyến tính lớn, thưa thớt mà quá trình rời rạc hóa tạo ra.
Sub-topics
Core questions
- Các toán tử vi phân trong không gian và thời gian được rời rạc hóa thành các hệ đại số ổn định, hội tụ như thế nào?
- Tính nhất quán và tính ổn định kết hợp với nhau để đảm bảo sự hội tụ như thế nào, như trong định lý tương đương Lax?
- Loại PDE — elliptic, parabolic, hay hyperbolic — quy định phương pháp thích hợp và các ràng buộc ổn định như thế nào?
- Các hệ thống thưa thớt lớn thu được được giải quyết hiệu quả như thế nào?
Key theories
- Định lý tương đương Lax
- Đối với một xấp xỉ sai phân hữu hạn nhất quán cho một bài toán giá trị ban đầu tuyến tính được đặt tốt, tính ổn định là cần thiết và đủ để hội tụ; định lý này là nền tảng làm giảm việc chứng minh sự hội tụ xuống việc kiểm tra tính nhất quán và tính ổn định.
- Các điều kiện ổn định và số CFL
- Các lược đồ tường minh cho PDE phụ thuộc thời gian chỉ ổn định dưới các hạn chế về kích thước bước; đối với các bài toán hyperbolic, điều kiện Courant-Friedrichs-Lewy yêu cầu miền phụ thuộc số phải chứa miền vật lý, giới hạn bước thời gian tương đối với lưới không gian.
- Các nguyên lý biến phân và bảo toàn
- Các phương pháp phần tử hữu hạn dựa trên các công thức yếu (biến phân) và phép chiếu Galerkin, trong khi các phương pháp thể tích hữu hạn thực thi các định luật bảo toàn rời rạc; mỗi khuôn khổ cung cấp một lộ trình để rời rạc hóa nhất quán với các tính chất xấp xỉ có thể chứng minh được.
Clinical relevance
Các phương pháp PDE số là nền tảng tính toán của mô phỏng trong kỹ thuật và khoa học vật lý — cơ học kết cấu và cơ học vật rắn, động lực học chất lỏng và khí động học, truyền nhiệt, điện từ học, địa vật lý, mô hình hóa thời tiết và khí hậu, và tái tạo hình ảnh y tế — bất cứ nơi nào các phương trình trường liên tục phải được giải trên các hình học phức tạp mà không thể có nghiệm dạng đóng.
History
Phân tích sai phân hữu hạn của PDE bắt đầu với bài báo Courant-Friedrichs-Lewy năm 1928; phương pháp phần tử hữu hạn xuất hiện từ kỹ thuật kết cấu và toán học biến phân vào những năm 1940-60, và các phương pháp thể tích hữu hạn phát triển cùng với động lực học chất lỏng tính toán, với định lý tương đương Lax cung cấp khuôn khổ hội tụ thống nhất vào những năm 1950.
Key figures
- Richard Courant
- Peter Lax
- Olga Ladyzhenskaya
- Randall J. LeVeque
Related topics
Seminal works
- morton2005
- leveque2007
Frequently asked questions
- Tại sao có ba khuôn khổ rời rạc hóa khác nhau?
- Sai phân hữu hạn đơn giản nhất trên lưới đều, phần tử hữu hạn xử lý hình học phức tạp và các bài toán biến phân một cách tự nhiên, và thể tích hữu hạn thực thi bảo toàn cục bộ, làm cho chúng lý tưởng cho dòng chảy chất lỏng. Sự lựa chọn phụ thuộc vào hình học, loại phương trình và các thuộc tính cần được bảo toàn.
- Điều kiện CFL có ý nghĩa gì?
- Đối với các lược đồ tường minh trên các bài toán hyperbolic phụ thuộc thời gian, điều kiện Courant-Friedrichs-Lewy giới hạn bước thời gian có thể lớn đến mức nào so với khoảng cách lưới không gian, đảm bảo thông tin không truyền đi quá một ô lưới mỗi bước. Vi phạm nó gây ra sự mất ổn định.