Sonlu Fark Metotları
Sonlu fark metotları, türevleri bir ızgara üzerindeki fark bölümleriyle yaklaşık olarak hesaplayarak, bir diferansiyel denklemi, çözümün ızgara noktalarındaki değerleri için bir cebirsel denklem sistemine dönüştürür.
Tanım
Sonlu fark metodu, türevlerin yapılandırılmış bir ızgara üzerinde değerlendirilen bilinmeyenin fark bölümleriyle değiştirildiği bir diferansiyel denklemin ayrıklaştırılmasıdır; bu, çözümün ızgara noktalarındaki diferansiyel denklem çözümünü yaklaşık olarak veren cebirsel denklemler üretir.
Kapsam
Bu konu, Taylor açılımlarından fark yaklaşımlarının oluşturulmasını, eliptik, parabolik ve hiperbolik kısmi diferansiyel denklemlerin (KDD'ler) ayrıklaştırılmasını, açık ve kapalı zaman adımlama şemalarını (ileri Euler, geri Euler ve Crank-Nicolson gibi), von Neumann kararlılık analizini ve fark şemalarına özgü tutarlılık-kararlılık-yakınsama çerçevesini kapsamaktadır.
Temel sorular
- Türevlere yönelik doğru fark yaklaşımları nasıl türetilir ve kesme hataları nasıl nicelendirilir?
- Açık ve kapalı zaman adımlama şemaları kararlılık ve maliyet açısından nasıl farklılık gösterir?
- Von Neumann analizi bir fark şemasının kararlılığını nasıl belirler?
- Denklem türü, uygun şemayı ve adım büyüklüğü kısıtlamalarını nasıl belirler?
Temel kuramlar
- Tutarlılık, kararlılık ve yakınsama
- Bir fark şeması, ızgara inceltildiğinde kesme hatası sıfıra yaklaşıyorsa tutarlıdır ve hatalar sınırsız büyümezse kararlıdır; Lax eşdeğerlik teoremine göre, iyi tanımlanmış doğrusal problemler için bu ikisi birlikte gerçek çözüme yakınsamayı garanti etmektedir.
- Von Neumann kararlılık analizi
- Hatanın tekdüze bir ızgara üzerinde Fourier modlarına ayrıştırılması, kararlılığı her mod için bir amplifikasyon faktörünü sınırlamaya indirgemektedir; hiçbir modun yükseltilmediği durumlarda şema kararlıdır ve bu durum, difüzyon ve CFL limitleri gibi açık adım büyüklüğü koşulları sağlamaktadır.
Mekanizmalar
Fark formülleri, düşük mertebeli terimleri iptal etmek ve bir türevi izole etmek için komşu ızgara noktalarındaki Taylor açılımlarının birleştirilmesiyle oluşturulmaktadır; kalan önde gelen terim kesme hatasını ve metodun mertebesini vermektedir. Zamana bağlı problemler için, açık şemalar her yeni değeri doğrudan eski değerlerden güncellemektedir ancak bir kararlılık sınırına (parabolik denklemler için bir difüzyon sayısı sınırı, hiperbolik denklemler için CFL koşulu) uymak zorundadır; Crank-Nicolson gibi kapalı şemalar ise yeni değerleri koşulsuz kararlı olan ancak her adımda bir çözüm gerektiren bir doğrusal sisteme bağlamaktadır. Von Neumann analizi, kararlılığı test etmek ve bu sınırları belirlemek için Fourier modlarını ikame etmektedir.
Klinik önem
Sonlu fark metotları, düzenli bölgeler ve yapılandırılmış ızgaralar üzerindeki problemler için yaygın olarak kullanılmaktadır: ısı iletimi ve difüzyon, dalga yayılımı ve sismik modelleme, hesaplamalı elektromanyetizma (sonlu fark zaman alanı metodu) ve Black-Scholes denklemi aracılığıyla opsiyon fiyatlandırması gibi alanlarda uygulama bulmaktadır; basitlikleri ve yüksek mertebeden genişletilebilirlik kolaylıkları, geometri basit olduğunda onları ilk tercih haline getirmektedir.
Tarihçe
Matematiksel temel, 1928 tarihli Courant-Friedrichs-Lewy'nin KDD'ler için fark denklemleri üzerine yaptığı makale ile atılmıştır; von Neumann'ın savaş zamanı kararlılık analizi ve 1950'lerdeki Lax eşdeğerlik teoremi modern kuramı oluşturmuştur ve fark metotları hesaplamalı fizik ve mühendisliğin temel araçlarından biri olmaya devam etmektedir.
Öne çıkan isimler
- Richard Courant
- Kurt Friedrichs
- Hans Lewy
- John von Neumann
- Randall J. LeVeque
İlgili konular
Temel eserler
- leveque2007
- morton2005
Sıkça sorulan sorular
- Açık ve kapalı şema arasındaki fark nedir?
- Açık bir şema, her yeni ızgara değerini bilinen değerlerden doğrudan hesaplamaktadır ancak yalnızca küçük zaman adımları için kararlıdır; oysa kapalı bir şema, tüm yeni değerler için eş zamanlı olarak bir bağlı sistemi çözmektedir, bu da her adımda doğrusal bir çözüm maliyetiyle çok daha büyük kararlı zaman adımlarına izin vermektedir.
- Sonlu farklar neden sonlu elemanlara tercih edilebilir?
- Basit, düzenli geometrilerde sonlu farkların uygulanması kolay, maliyeti düşük ve yüksek mertebeden hale getirilmesi basittir. Sonlu elemanlar, esas olarak bölgenin karmaşık bir şekle sahip olduğu veya problemin doğal bir varyasyonel formülasyona sahip olduğu durumlarda avantajlı hale gelmektedir.