Là quy mô thay đổi cần thiết khi giải quyết một số vấn đề PDE bằng số?


14

Trong mô phỏng bán dẫn, thông thường các phương trình được chia tỷ lệ để chúng có giá trị chuẩn hóa. Ví dụ, trong trường hợp cực đoan, mật độ electron trong chất bán dẫn có thể thay đổi trên 18 bậc độ lớn và điện trường có thể thay đổi mạnh mẽ, trên 6 (hoặc hơn) các bậc độ lớn.

Tuy nhiên, các giấy tờ không bao giờ thực sự đưa ra một lý do để làm điều này. Cá nhân tôi rất vui khi xử lý các phương trình trong các đơn vị thực, có bất kỳ lợi thế nào để làm điều này không, có phải là không thể? Tôi nghĩ với độ chính xác gấp đôi sẽ có đủ chữ số để đối phó với những biến động này.


Cả hai câu trả lời đều rất hữu ích, cảm ơn rất nhiều!


1
"Có thể thay đổi trên 18 bậc độ lớn" - và nếu bạn xem xét có bao nhiêu chữ số được giữ lại với độ chính xác gấp đôi, bạn sẽ thấy nếu "với độ chính xác gấp đôi, sẽ có đủ chữ số để đối phó với những dao động này" thực sự đúng ...
JM

1
Và vấn đề thực sự bắt đầu khi bạn đưa những con số này vào một thuật toán số: Lấy hình vuông và đột nhiên bạn có 36 bậc chênh lệch cường độ ...
Christian Clason

Câu trả lời:


9

Việc giải PDE (tuyến tính) bao gồm việc phân tách phương trình để tạo ra một hệ tuyến tính, sau đó được giải bởi một bộ giải tuyến tính có độ hội tụ (tốc độ) phụ thuộc vào số điều kiện của ma trận. Thu nhỏ các biến thường làm giảm số điều kiện này, do đó cải thiện sự hội tụ. (Điều này về cơ bản là áp dụng một điều kiện tiên quyết đường chéo, xem Độ chính xác và tính ổn định của thuật toán số của Nicholas Higham .)

Ngoài ra, việc giải các PDE phi tuyến đòi hỏi một phương pháp để giải các phương trình phi tuyến như phương pháp của Newton, trong đó tỷ lệ cũng có thể ảnh hưởng đến sự hội tụ.

Vì bình thường hóa mọi thứ thường tốn rất ít nỗ lực, nên hầu như luôn luôn là một ý tưởng tốt.


Tôi chắc chắn @ArnoldNeumaier có nhiều điều để nói về chủ đề này.
Christian Clason

Số điều kiện của các ma trận tôi đang sử dụng (các biến không được tính toán) là ~ 1,25 . Điều này có vẻ hợp lý? Điều này được tính bằng phương pháp 2 định mức ( docs.scipy.org/doc/numpy/reference/generated/ ám ).
boyfarrell

@boy, nếu không có gì khác nhân 1,25, thì đó là một số điều kiện ổn, đặc biệt nếu bạn nhớ rằng ma trận đơn vị có . κ2= =1
JM

1
@boyfarrell: Tôi thường xuyên làm việc với các số điều kiện lớn tới 10 ^ 7, với kết quả chấp nhận được. Tuy nhiên, tôi sẽ không chấp nhận số điều kiện cao hơn 10 ^ 9.
jvriesem

9

Các PDE trong đó các giải pháp có ranh giới rõ ràng đặt ra các vấn đề vượt ra ngoài khả năng đại diện cho giải pháp ở điểm nổi. Điều này đặc biệt đúng khi các giải pháp có ý nghĩa vật lý nhất định, ví dụ: mật độ (mà mỗi se không thể nhỏ hơn 0). Ví dụ, hãy xem xét Giải pháp chính xác là tích cực theo chiều, nhưng khi rời rạc với các phần tử hữu hạn, điều đó có thể không còn đúng nữa. Mộtcâu hỏi tương tựđược đưa ra gần đây.

-εΔbạn+bạn= =0 trên Ω,bạn= =1 trên Ω.

Điều đó nói rằng, không có sự thay đổi tỷ lệ của các biến hoặc miền loại bỏ khó khăn này.

bạnα

-α2Δbạn= =fα trên αΩ
αbạn1
-Δbạn= =f trên Ω.
cho bất kỳ α . Điều này cho thấy việc nhân rộng tham số α hoàn toàn không ảnh hưởng đến hành vi của giải pháp - một thực tế khá rõ ràng ở đây, nhưng có thể khá khó thấy trong các trường hợp khác. Bạn có thể xây dựng những ví dụ khá phức tạp với các thông số hơn trong cùng một cách, ví dụ,phương trình Navier-Stokes và nónondimensionalizationvàoReynolds-số-formulation.bạnα(x): =bạn1(x/α)αα

4
Và các tham số còn lại sau đó phải là thiết yếu để xác định hành vi định tính của giải pháp - đây là lý do tại sao số Reynold rất quan trọng trong động lực học chất lỏng. Quá trình này được gọi là Nondimensionalization .
Christian Clason

tất nhiên, việc tìm các tương đương tham số như vậy thực chất là vấn đề tìm các nhóm đối xứng của PDE, một vấn đề khó nói chung
lurscher

2

Xử lý các số có dấu phẩy động có thể là mẹo liên quan đến phép trừ các số nhỏ từ các số lớn hơn, cũng như với nhiều khía cạnh khác. Tôi khuyên bạn nên đọc các bài đăng trên blog của John D. Cooks về họ, chẳng hạn như

Cấu tạo của một số dấu phẩy động

cũng như của Oracle

Những gì mọi nhà khoa học máy tính nên biết về biểu đồ dấu phẩy động

Ngoài ra các thuật toán số nhất định để tối thiểu hóa, hoặc tối đa hóa yêu cầu chuẩn hóa để ổn định số.

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.