Runge-Kutta Yöntemleri
Runge-Kutta yöntemleri, bir adi diferansiyel denklemin (ADD) çözümünü, sağ tarafın birkaç ara aşama değerlendirmesini kullanarak adım adım ilerletmekte ve geçmiş adımları saklamadan yüksek mertebe elde etmektedir.
Tanım
Bir Runge-Kutta yöntemi, adi diferansiyel denklemler için, bir sonraki çözüm değerini mevcut değerden, adım içindeki ara noktalarda değerlendirilen birkaç aşama türevinin ağırlıklı bir kombinasyonunu oluşturarak hesaplayan tek adımlı bir yöntem olarak tanımlanmaktadır.
Kapsam
Bu konu, açık ve kapalı Runge-Kutta yöntemlerini, bunların Butcher tablosu gösterimlerini, köklü ağaç kuramından türetilen mertebe koşullarını, adaptif adım boyutu kontrolü için gömülü çiftleri ve katı (stiff) ve katı olmayan (nonstiff) problemler için uygun yöntemleri ayıran mutlak kararlılık özelliklerini kapsamaktadır.
Temel sorular
- İç aşamalar, tek adımlı bir yöntemin yüksek doğruluk mertebesine ulaşmasını nasıl sağlamaktadır?
- Bir Runge-Kutta yönteminin mertebe koşulları nasıl türetilmekte ve düzenlenmektedir?
- Gömülü çiftler, adım boyutu kontrolü için uygun maliyetli bir yerel hata tahmini nasıl sağlamaktadır?
- Açık ve kapalı Runge-Kutta yöntemlerini maliyet ve kararlılık açısından ayıran nedir?
Temel kuramlar
- Butcher tablosu ve mertebe koşulları
- Bir Runge-Kutta yöntemi, katsayılarının Butcher tablosu ile belirtilmektedir. Belirli bir mertebeye kadar kesin çözümün Taylor açılımıyla eşleşmesi gerekliliği, köklü ağaçlar kullanılarak sistematik olarak üretilen bir cebirsel mertebe koşulları kümesi ortaya çıkarmaktadır.
- Gömülü çiftler ve adaptif kontrol
- Aynı aşamaları paylaşan ancak farklı ağırlıklara sahip iki yöntem — Runge-Kutta-Fehlberg veya Dormand-Prince şemaları gibi gömülü bir çift — farklı mertebeden iki çözüm tahmini üretmektedir. Bu tahminlerin farkı, yerel hatayı tahmin etmekte ve otomatik adım boyutu seçimini yönlendirmektedir.
Mekanizmalar
Her adımda yöntem, sağ tarafı birkaç aşama noktasında değerlendirmektedir; bu noktaların her biri mevcut değer artı daha önce hesaplanmış aşama türevlerinin bir kombinasyonu olarak tanımlanmaktadır. Yeni çözüm, bu aşama türevlerinin ağırlıklı bir toplamıdır. Açık yöntemler, aşamaları öyle sıralar ki her biri yalnızca önceki aşamalara bağlıdır ve doğrudan değerlendirilebilmektedir; kapalı yöntemler ise aşamaları her adımda çözülen doğrusal olmayan bir sistem aracılığıyla birbirine bağlayarak katı problemler için gereken güçlü kararlılığı sağlamaktadır. Gömülü çiftler, hata kontrolü için tamamlayıcı bir tahmin üretmek amacıyla aşama değerlendirmelerini yeniden kullanmaktadır.
Klinik önem
Runge-Kutta yöntemleri, özellikle Dormand-Prince gibi adaptif açık çiftler, bilimsel hesaplama ortamlarında varsayılan genel amaçlı ADD integratörleri olarak kabul edilmektedir. Bu yöntemler, yörünge simülasyonu, kimyasal kinetik, kontrol sistemleri ve katı olmayan herhangi bir başlangıç değer problemi için kullanılmaktadır. Kapalı Runge-Kutta yöntemleri ise aynı çerçeveyi katı ve yapı koruyucu entegrasyona genişletmektedir.
Tarihçe
Bu yöntemler, Runge'nin 1895 tarihli çalışması ve Kutta'nın 1901 tarihli sistematik şemalarıyla başlamıştır. John Butcher'ın 1960'lardaki cebirsel kuramı, köklü ağaçlar aracılığıyla bu yöntemlerin mertebe koşullarını düzenlemiştir. Fehlberg'inki ve Dormand-Prince çifti gibi verimli gömülü çiftlerin geliştirilmesi ise adaptif Runge-Kutta entegrasyonunu günümüzdeki standart araç haline getirmiştir.
Öne çıkan isimler
- Carl Runge
- Wilhelm Kutta
- John C. Butcher
- John R. Dormand
İlgili konular
Temel eserler
- hairer1993
- butcher2016
Sıkça sorulan sorular
- Euler yöntemiyle sadece küçük bir adım atmak yerine neden birden fazla aşama kullanılmaktadır?
- Her aşama, adım içinde farklı bir noktada eğimi örneklemektedir ve bunların birleştirilmesi düşük mertebeli hata terimlerini ortadan kaldırmaktadır. Bu sayede bir Runge-Kutta yöntemi, aynı hata için Euler yönteminin ihtiyaç duyacağından çok daha büyük adımlarla yüksek doğruluk elde edebilmektedir.
- Kapalı bir Runge-Kutta yöntemi, ek maliyetine ne zaman değmektedir?
- Katı problemler için, açık yöntemlerin kararlılık amacıyla pratik olmayan derecede küçük adımlar gerektirdiği durumlarda, kapalı Runge-Kutta yöntemleri büyük adım boyutlarında kararlılığını korumaktadır. Bu durumda, her adımda doğrusal olmayan bir sistemi çözmenin maliyeti, çok daha az adım atılarak fazlasıyla telafi edilmektedir.