Hesaplamalı Fizikte Sayısal Yöntemler
Sayısal yöntemler, kapalı formda çözümü olmayan denklemleri çözmek için fiziğe algoritmik bir mekanizma sağlamakta; diferansiyel denklemleri, integralleri ve matris problemlerini, bir bilgisayarın kontrollü hata ile yürütebileceği sonlu aritmetiğe dönüştürmektedir.
Tanım
Hesaplamalı fizikteki sayısal yöntemler, sürekli fiziksel modelleri sonlu hesaplamalara dönüştürmek için kullanılan ayrıklaştırma ve yaklaştırma algoritmalarıdır; bu süreçte kesme hatası, sayısal kararlılık ve fiziksel değişmezlerin korunmasına dikkat edilmektedir.
Kapsam
Bu alan, hesaplamalı fiziğin üzerine inşa edildiği temel sayısal araç setini kapsamaktadır: adi ve kısmi diferansiyel denklemler için integratörler, ayrıklaştırılmış fizikten kaynaklanan büyük lineer cebir ve özdeğer problemleri için yöntemler ve doğrusal olmayan fiziksel koşullar için kök bulma ve optimizasyon. Soyut sayısal analizin kendi başına bir amaç olmasından ziyade, doğruluk, kararlılık ve ayrıklaştırmanın fiziksel yorumunu vurgulamaktadır.
Alt konular
Temel sorular
- Fiziğin sürekli diferansiyel denklemleri, kararlı, doğru sonlu fark veya sonlu eleman şemalarına nasıl dönüştürülmektedir?
- Bir integratörde adım boyutu, kesme hatası ve kararlılık arasındaki dengeyi ne kontrol etmektedir?
- Ayrıklaştırılmış fizikten kaynaklanan büyük seyrek lineer sistemler ve özproblemler verimli bir şekilde nasıl çözülmektedir?
- Sayısal şemalar, enerji, momentum veya simplektik yapı gibi fiziksel değişmezleri nasıl korumaktadır?
Temel kuramlar
- Ayrıklaştırma ve kesme hatası
- Türevlerin ve integrallerin sonlu fark veya kuadratür yaklaşımlarıyla değiştirilmesi, adım boyutunun bir kuvveti olarak ölçeklenen kesme hatasını ortaya çıkarmakta ve bir şemanın doğruluk derecesini belirlemektedir.
- Sayısal kararlılık
- Bir şema, tekrarlandıkça hatalar sınırsız büyümezse kararlıdır; Courant-Friedrichs-Lewy kriteri gibi kararlılık koşulları, evrim denklemleri için kabul edilebilir zaman ve uzay adımlarını kısıtlamaktadır.
- Seyrek lineer cebir ve özproblemler
- Ayrıklaştırılmış fiziksel operatörler, yoğun çarpanlara ayırma yerine iteratif Krylov, Lanczos ve eşlenik gradyan yöntemleriyle lineer sistemleri ve özdeğerleri bulunan büyük seyrek matrisler üretmektedir.
Klinik önem
Bu yöntemler, bilgisayarlar üzerinde yapılan hemen hemen tüm nicel fiziğin temelini oluşturmaktadır: yörünge ve yörünge entegrasyonu, elektromanyetik ve kuantum alan çözücüleri, akışkan ve ısı transferi simülasyonu ve elektronik yapı ile kafes modellerinin arkasındaki matris problemlerinin çözümü.
Tarihçe
Fiziksel denklemlerin sayısal çözümü, gök mekaniği ve balistikteki elle yapılan hesaplamalara dayanmaktadır; 1940'larda savaş zamanı fiziği için inşa edilen elektronik bilgisayarlar tarafından dönüştürülmüş ve yirminci yüzyılın sonlarında Numerical Recipes gibi referans eserler ile hesaplamalı fizik müfredatının yükselişiyle standart bir metodoloji haline gelmiştir.
Öne çıkan isimler
- John von Neumann
- William H. Press
- Cornelius Lanczos
- Rubin H. Landau
İlgili konular
Temel eserler
- press2007
- landau2015
Sıkça sorulan sorular
- Yüksek doğruluk elde etmek için neden çok küçük bir adım boyutu kullanılmamaktadır?
- Adımı küçültmek kesme hatasını azaltmakla birlikte, adım sayısını ve yuvarlama hatasının birikimini artırmaktadır; ayrıca bazı açık şemalar için çok büyük bir adım, sadece yanlışlıktan ziyade kararsızlığa neden olmaktadır. İyi yöntemler, kaba kuvvetle küçük adımlara güvenmek yerine doğruluk derecesi, kararlılık ve maliyet arasında bir denge kurmaktadır.
- Sayısal fizik, sayısal analizden nasıl farklıdır?
- Sayısal analiz, algoritmaları ve hata sınırlarını genel olarak incelerken, fizikteki sayısal yöntemler bu algoritmaları fiziksel denklemlere seçmekte ve uyarlamakta, ayrıklaştırılmış modelin korunum yasalarını, simetrilerini ve fiziksel yorumlanabilirliğini önceliklendirmektedir.