Sayısal analiz, diğer adıyla nümerik analiz veya sayısal çözümleme, matematiksel analiz problemlerinin yaklaşık çözümlerinde kullanılan algoritmaları inceler. Bu nedenle birçok mühendislik dalı ve doğa bilimlerinde önem arz eden sayısal analiz, bilimsel hesaplama bilimi olarak da kabul edilebilir. Bilgisayarın işlem kapasitesinin artması ile gündelik hayatta ortaya çıkan birçok sistemin matematiksel modellenmesi mümkün olmuş ve sayısal analiz algoritmaları burada ön plana çıkmıştır. 21. yüzyıldan itibaren bilimsel hesaplama yöntemleri mühendislik ve doğa bilimleri ile sınırlı kalmamış ve sosyal bilimler ile işletme gibi alanları da etkilemiştir. Sayısal analizin alt başlıklarına adi diferansiyel denklemlerin yaklaşık çözümleri ve özellikle veri biliminde önem taşıyan sayısal lineer cebir ile optimizasyon örnek gösterilebilir.^[2][3][4]

Modern bilgisayarların icadından önce sayısal yöntemler kağıt üstünde uygulanıyordu. Her ne kadar 20. yüzyıl itibari ile ilgili hesaplamalar bilgisayarlar aracılığı ile yapılsa da, bu yazılımları oluşturan matematiksel algoritmaların temeli eski formüllere dayanmaktadır.^[5]

Temeller[değiştir | kaynağı değiştir]

Direkt ve yinelemeli yöntemler[değiştir | kaynağı değiştir]

Direkt yöntemler sonucu tek bir adımda verirken, yinelemeli yöntemler sonuca birden fazla adım veya iterasyonda ulaşır. Özellikle doğrusal olmayan problemlerin hesaplanmasında yinelemeli yöntemlerin kullanılması gerekebilir;^[6] buna karşın, matris faktörizasyonu ve lineer programlama gibi direkt sayısal yöntemler de mevcuttur.

Basit bir problemin direkt olarak cebir ve sayısal yineleme yöntemi ile çözümü şu şekilde karşılaştırılabilir:

x bilinmeyeninin olduğu

3x³ + 4 = 28

denklemini çözersek:

Yineleme yöntemi olarak ikiye bölme metodu kullanılabilir; bu yöntemde fonksiyonun işaret değiştirdiği nokta tespit edilmeye çalışılır. Denklemi buna uygun olarak f(x) = 3x³ − 24 şeklinde yeniden yazabilir ve başlangıç değerleri olarak a = 0, b = 3, f(a) = −24 ve f(b) = 57 verebiliriz.

Tabloya göre sonuç 1.875 ile 2.0625 arasındadır. Algoritma bu aralık 0.2'den daha az bir hata ile herhangi bir sonucu verebilir.

Ayrıklaştırma[değiştir | kaynağı değiştir]

Ayrıklaştırma, bir fonksiyonun ya da operatörün ayrık değerlerle yaklaşık olarak hesaplanmasıdır. Örnek olarak, bir arabanın hızının yarım saatte bir ölçülmesiyle oluşturulan bir tablo ayrıklaştırılmış verileri gösterir; her ne kadar araba sürekli hareket etmiş olsa da veri tablosu ile zamana bağlı hızı gösteren ayrık bir fonksiyon elde edilebilir:

Fonksiyonların ayrıştırılmasına örnek olarak bir fonksiyonun türevi limit kullanarak şu şekilde yazılabilir:

${\displaystyle {\frac {d}{dx}}f(x)=\lim _{\Delta h\to 0}{\frac {f(x+\Delta h)-f(x)}{\Delta h}}}$

Türevin yaklaşık olarak kullanılması gereken durumlarda limit yerine ${\displaystyle \Delta h}$ küçük ama sonlu bir değer alabilir ve bir x noktasındaki yaklaşık değer bu şekilde hesaplanabilir. Bu sayısal türev olarak ifade edilir. Aynı fonksiyonun x noktası için türevi Taylor serisi kullanılarak daha yakınsak bir şekilde de ifade edilebilir:^[6]

${\displaystyle {\frac {d}{dx}}f(x)\approx {\frac {f(x+{\frac {\Delta h}{2}})-f(x-{\frac {\Delta h}{2}})}{\Delta h}}}$

Ayrıklaştırma, diferansiyel denklemlerin çözümünde ve sayısal integrallerde de sıklıkla kullanılmaktadır.

Yuvarlama, kesme ve ayrıklaştırma hataları[değiştir | kaynağı değiştir]

Yuvarlama hataları, sayısal hesaplamaların yapıldığı bilgisayarların sınırlı hafızalarının olmasından kaynaklanmaktadır: reel sayıların tüm hanelerini dijital veri şeklinde saklayabilmek mümkün değildir. Kesme hatası yinelemeli bir yöntemin sonlandırılması, ayrıklaştırma hataları ise sürekli bir sistem veya fonksiyonun ayrık bir şekilde yakınsanması ile ortaya çıkar. Sayısal yöntemleri yakınsama temelli olduğu için birçok durumda sonucun az da olsa kesin çözümden farklı olması beklenir; buna karşılık elde edilen sonucun hatası tolerans sınırları içinde olmalıdır. Özellikle matris problemleri için hata üst sınırı koşul sayısı (condition number) ile belirtilebilir.^[6]

Nümerik stabilite[değiştir | kaynağı değiştir]

Bir algoritmanın nümerik açıdan stabil ya da kararlı olması, hatanın hesaplama sırasında çok büyümediğini ifade eder. Bu problemin "iyi koşullandırılmış" (well-conditioned) olmasını gerektirir. İyi koşullandırılma, verideki küçük bir değişikliğin sonuçta da küçük bir değişiklik yaratması olarak tanımlanabilir; bunun tersi "kötü koşullandırılmış" olarak tanımlanabilir.^[7]

Alt dalları[değiştir | kaynağı değiştir]

Fonksiyonların değerlerinin sayısal olarak hesabı[değiştir | kaynağı değiştir]

Fonksiyonların bir nokta için kesin hesabının etkili ya da mümkün olmadığı durumlarda Horner yöntemi gibi sayısal yöntemler kullanılabilir. Kök bulma algoritmaları için ise ikiye bölme metodu, Newton metodu, kiriş yöntemi ve Müller metodu örnek verilebilir.^[8]

Doğrusal denklem sistemlerinin çözümleri[değiştir | kaynağı değiştir]

Özellikle doğrusal denklem sistemlerinin matris çözümlerinde sayısal yöntemler sıklıkla kullanılır; bunlardan bazılarına Gauss eleme yöntemi ve LU ile QR ayrışımları örnek gösterilebilir. Büyük boyutlu sistemlerde ise Jacobi metodu, Gauss-Seidel yöntemi veya konjuge gradyan metodu gibi yinelemeli çözümlemeler kullanılır. Doğrusal olmayan sistemler doğrusala yakınsabilir ve bu sistemler için Newton'un doğrusal olmayan sistem yöntemi kullanılabilir.^[6]

Optimizasyon problemleri[değiştir | kaynağı değiştir]

Optimizasyon, bir fonksiyonun bazı sınırlamalar altındaki maksimum ya da minimum koşullarını sağlayan değerinin tespiti ile ilgilenir. Alt alanları arasında doğrusal programlama ve konveks optimizasyon örnek gösterilebilir.

İnterpolasyon, ekstrapolasyon ve regresyon[değiştir | kaynağı değiştir]

İnterpolasyon, bazı değerleri bilinen bir fonksiyonun ara değerlerinin tahmin edilerek doldurulması olarak tanımlanabilir. İnterpolasyon yöntemleri arasında noktaların doğrusal çizgiler ile birleştirilmesi (lineer interpolasyon) ve noktalara bir polinom fonksiyonun uyarlanması (polinom interpolasyonu) bulunmaktadır. Veri kümesi sınırları dışında bulunan bir noktadaki değerin tahmini ise ekstrapolasyondur.^[6]

İstatistikte önem arz eden ve sayısal analiz sınırlarına da giren regresyon yöntemleri ise iki ya da daha çok değişken arasındaki ilişkiyi tahmin etmeye çalışır.^[9] En basit regresyon tiplerinden biri olan doğrusal regresyonda veriye uyan bir doğrusal çizgi (fit) çekilir; bu en küçük kareler yöntemi ile yapılabilir.^[6]

Özdeğer problemleri[değiştir | kaynağı değiştir]

Özellikle fizik ve mühendislik gibi alanlarda birçok problem özdeğer problemi olarak modellenebilir; bu durum sistemlerin özdeğerlerine ya da tekil değerlerine ayrıştırılmasını gerektirebilir. İstatistikte kullanılan temel bileşen analizi buna örnek gösterilebilir.^[10]

Diferansiyel denklemlerin sayısal çözümü[değiştir | kaynağı değiştir]

Diferansiyel denklemlerin sayısal yöntemler ile çözümü bilimsel hesaplama için önem teşkil eden bir alt daldır. Özellikle birçok kısmi diferansiyel denklemlerin karmaşık geometrileri ve sınır koşulları için tam çözümü bulunamaz; bu nedenle denklemlerin ayrıklaştırılarak sınırlı bir alt uzayda çözülmesi gerekir.^[11] Sonlu elemanlar,^[12][13][14] sonlu farklar^[15] ve sonlu hacim yöntemleri^[16] ısı ve dalga denklemi gibi birçok denklemin karmaşık sistemlerde çözülmesinde ve simülasyonunda kullanılır. Adi diferansiyel denklemlerin çözümlerinde ise Runge-Kutta yöntemleri kullanılabilir.^[6]

Sayısal integral hesabı[değiştir | kaynağı değiştir]

Belirli integrallerin yaklaşık olarak hesaplanması için kullanılan yöntemler arasında Yamuk kuralı formülü, Simpson (1/3) kuralı, Gauss dördünü ve Romberg yöntemi bulunmaktadır.^[6]

Ayrıca bakınız[değiştir | kaynağı değiştir]

• Hesaplamalı fizik
• Makine öğrenimi
• Veri bilimi

Kaynakça[değiştir | kaynağı değiştir]

Dış bağlantılar[değiştir | kaynağı değiştir]

• İTÜ Ninova Açık Ders Malzemeleri25 Eylül 2013 tarihinde Wayback Machine sitesinde arşivlendi., Sayısal yöntemler
• Massachusetts Teknoloji Enstitüsü ders notları11 Temmuz 2020 tarihinde Wayback Machine sitesinde arşivlendi., Sayısal yöntemlere giriş (İngilizce)