Kummer fonksiyonu M(a,b,z) nedir?
M(a,b,z) ya da \(\,_1F_1(a;b;z)\) biçiminde yazılan birinci tür birleşik hipergeometrik fonksiyon, Kummer diferansiyel denkleminin \(z\cdot y'' + (b - z)\cdot y' - a\cdot y = 0\) iki bağımsız çözümünden biridir. Fizik ve uygulamalı matematiğin pek çok alanında karşımıza çıkar — kuantum mekaniğinde (radyal Coulomb dalga fonksiyonu), olasılık kuramında (merkezsel olmayan ki-kare ve ilgili dağılımlar), ısı iletiminde ve Bessel fonksiyonu gösterimlerinde. Bu hesaplayıcı, fonksiyonu gerçel \(a\) ve \(b\) parametreleri ile gerçel \(z\) argümanı için değerlendirir. Tamamen matematiksel bir araçtır; herhangi bir bölgesel varsayım ya da birim içermez.
Nasıl kullanılır?
İlk parametre \(a\), ikinci parametre \(b\) ve argüman \(z\) değerlerini girin, ardından M(a,b,z) sonucunu okuyun. \(b\) değeri sıfır veya negatif tam sayı olmamalıdır; çünkü bu durumda paydadaki bir çarpan sıfırlanır ve hesaplayıcı böyle girdileri geçersiz olarak işaretler. \(a\) negatif olmayan değil de pozitif olmayan bir tam sayıysa seri sonlanır ve M, \(z\)'ye bağlı bir polinoma dönüşür — bu bir hata değil, beklenen doğru davranıştır.
Formülün açıklaması
Seri, $$M\!\left(a,\, b,\, z\right) = \sum_{n=0}^{\infty} \frac{(a)_n}{(b)_n}\,\frac{z^{\,n}}{n!}$$ terimlerinin toplamıdır; burada Pochhammer simgesi \((x)_n = x(x+1)\cdots(x+n-1)\) anlamına gelir. Hesaplayıcı, faktöriyelleri ve artan çarpanları ayrı ayrı hesaplamak yerine her terimi bir öncekinden \(t_{n+1} = t_n \cdot \frac{a+n}{b+n} \cdot \frac{z}{n+1}\) bağıntısıyla, \(t_0 = 1\) değerinden başlayarak üretir. Toplama, yeni bir terim çalışan toplama göre ihmal edilebilir hale geldiğinde (yaklaşık \(10^{-17}\)) ya da güvenli bir yineleme sınırına ulaşıldığında durur.
Çözümlü örnek
\(a = 2\), \(b = 3\), \(z = 0.5\) için terimler $$1,\ 0.33333,\ 0.0625,\ 0.0083333,\ 0.00086806,\ 0.000074405,\ \ldots$$ şeklinde ilerler ve toplamları $$M(2,3,0.5) \approx 1.4051145$$ değerini verir.
Sık sorulan sorular
M(a,b,0) kaçtır? \(a\) ve \(b\) ne olursa olsun her zaman tam olarak 1'dir; çünkü ilk terimden sonraki her terim \(z\) çarpanını içerir.
b neden kısıtlıdır? Sıfır veya negatif tam sayı bir \(b\) değeri, Pochhammer paydasını \((b)_n\) sıfıra düşürür; dolayısıyla fonksiyon orada tanımsızdır.
Büyük z için doğru sonuç verir mi? Seri tüm sonlu \(z\) değerleri için yakınsar; ancak büyük pozitif \(z\) değerleri, çift duyarlığı aşındıran sadeleşmelere yol açar. Güvenilir basamaklar için \(|z|\) değerini ılımlı tutun (kabaca 50'nin altında).
