Kısmi Diferansiyel Denklemlerin Sayısal Çözümü
Bu alan, kısmi diferansiyel denklemleri uzay ve zamanda ayrıklaştıran, sürekli operatörleri çözümleri fiziksel yasalarla yönetilen alanların davranışını yaklaşık olarak belirleyen cebirsel sistemlerle değiştiren yöntemler geliştirmektedir.
Tanım
Kısmi diferansiyel denklemlerin sayısal çözümü, uzaysal alanı (ve zamanı) ayrıklaştırarak PDE'lerin çözümlerini yaklaşık olarak belirleyen, sonlu cebirsel denklem sistemleri üreten yöntemlerin inşası ve analizidir.
Kapsam
Kapsamı, eliptik, parabolik ve hiperbolik denklemlere uygulanan üç temel ayrıklaştırma çerçevesini — sonlu fark, sonlu eleman ve sonlu hacim yöntemleri — tutarlılık, kararlılık ve yakınsama analizini (Lax denklik teoremi ve CFL koşulu dahil) ve ayrıklaştırmanın ürettiği büyük seyrek doğrusal ve doğrusal olmayan sistemleri içermektedir.
Alt konular
Temel sorular
- Uzay ve zamandaki diferansiyel operatörler, kararlı, yakınsak cebirsel sistemlere nasıl ayrıklaştırılmaktadır?
- Tutarlılık ve kararlılık, Lax denklik teoreminde olduğu gibi yakınsamayı garanti etmek için nasıl birleşmektedir?
- PDE'nin türü — eliptik, parabolik veya hiperbolik — uygun yöntemi ve kararlılık kısıtlamalarını nasıl belirlemektedir?
- Ortaya çıkan büyük seyrek sistemler verimli bir şekilde nasıl çözülmektedir?
Temel kuramlar
- Lax equivalence theorem
- İyi tanımlanmış doğrusal bir başlangıç değer problemine tutarlı bir sonlu fark yaklaşımı için, yakınsama için kararlılık gerekli ve yeterlidir; bu teorem, yakınsama kanıtını tutarlılık ve kararlılık kontrolüne indirgeyen temel taşıdır.
- Kararlılık koşulları ve CFL sayısı
- Zamana bağlı PDE'ler için açık şemalar yalnızca adım boyutları üzerindeki kısıtlamalar altında kararlıdır; hiperbolik problemler için Courant-Friedrichs-Lewy koşulu, sayısal bağımlılık alanının fiziksel olanı içermesini gerektirerek zaman adımını uzaysal ağa göre sınırlamaktadır.
- Varyasyonel ve korunum ilkeleri
- Sonlu eleman yöntemleri zayıf (varyasyonel) formülasyonlara ve Galerkin projeksiyonuna dayanırken, sonlu hacim yöntemleri ayrık korunum yasalarını uygulamaktadır; her çerçeve, kanıtlanabilir yaklaşım özelliklerine sahip tutarlı ayrıklaştırmalara bir yol sağlamaktadır.
Klinik önem
Sayısal PDE yöntemleri, mühendislik ve fizik bilimleri genelinde simülasyonun hesaplama temelini oluşturmaktadır — yapısal ve katı mekaniği, akışkanlar dinamiği ve aerodinamik, ısı transferi, elektromanyetizma, jeofizik, hava ve iklim modellemesi ve tıbbi görüntüleme rekonstrüksiyonu gibi, kapalı form çözümlerini engelleyen karmaşık geometrilerde sürekli alan denklemlerinin çözülmesi gereken her yerde kullanılmaktadır.
Tarihçe
PDE'lerin sonlu fark analizi, 1928 tarihli Courant-Friedrichs-Lewy makalesiyle başlamıştır; sonlu eleman yöntemi 1940'lar-60'larda yapı mühendisliği ve varyasyonel matematikten ortaya çıkmış, sonlu hacim yöntemleri ise hesaplamalı akışkanlar dinamiği ile birlikte gelişmiş, Lax denklik teoremi 1950'lerde birleştirici yakınsama çerçevesini sağlamıştır.
Öne çıkan isimler
- Richard Courant
- Peter Lax
- Olga Ladyzhenskaya
- Randall J. LeVeque
İlgili konular
Temel eserler
- morton2005
- leveque2007
Sıkça sorulan sorular
- Neden üç farklı ayrıklaştırma çerçevesi bulunmaktadır?
- Sonlu farklar düzenli ızgaralarda en basittir, sonlu elemanlar karmaşık geometrileri ve varyasyonel problemleri doğal olarak ele almaktadır ve sonlu hacimler yerel korunum sağlamakta, bu da onları akışkan akışı için ideal kılmaktadır. Seçim, geometriye, denklem türüne ve hangi özelliklerin korunması gerektiğine bağlıdır.
- CFL koşulu ne anlama gelmektedir?
- Zamana bağlı hiperbolik problemler için açık şemalarda, Courant-Friedrichs-Lewy koşulu, zaman adımının uzaysal ızgara aralığına göre ne kadar büyük olabileceğini sınırlamakta, bilginin adım başına birden fazla ızgara hücresi kadar ilerlememesini sağlamaktadır. Bu koşulun ihlal edilmesi kararsızlığa neden olmaktadır.