Eksik Beta Fonksiyonu Hesaplama Aracı nedir?
Bu araç, gerçek şekil parametreleri \(a > 0\), \(b > 0\) ve üst sınır \(0 \le x \le 1\) için eksik beta fonksiyonu \(B_{x}(a,b)\) ile bunun normalleştirilmiş hâli olan düzenlenmiş eksik beta fonksiyonu \(I_{x}(a,b)\) değerini hesaplar. Tamamen matematiksel bir hesaptır; bölgeye özgü kurallar içermez ve her yerde aynı şekilde geçerlidir. \(I_{x}(a,b)\), Beta dağılımının birikimli dağılım fonksiyonuna (CDF) eşit olduğundan, Student-t, F ve binom dağılımlarının kuyruk olasılıklarının temelini oluşturur.
Nasıl kullanılır?
İki şekil parametresi olan \(a\) ile \(b\)'yi (her ikisi de kesinlikle pozitif) ve 0 ile 1 arasındaki üst sınır \(x\) değerini girin. Hesaplayıcı, başlıca sonuç olarak \(I_{x}(a,b)\) değerini, ek olarak da normalleştirilmemiş \(B_{x}(a,b)\) ile tam beta \(B(a,b)\) değerlerini verir. Çift duyarlık (double precision) ile yaklaşık 15 güvenilir anlamlı basamak elde edilir.
Formülün açıklaması
Eksik beta fonksiyonu, $$B_{x}(a,b) = \int_{0}^{x} t^{\,a-1}(1-t)^{\,b-1}\,dt$$ kısmi integraliyle tanımlanır. Tam beta ise $$B(a,b) = \frac{\Gamma(a)\,\Gamma(b)}{\Gamma(a+b)}$$ şeklindedir. Bu ikisinin bölümü, her zaman \([0,1]\) aralığında kalan düzenlenmiş hâli verir: $$I_{x}(a,b) = \frac{B_{x}(a,b)}{B(a,b)}$$ \(I_{x}\) değerini, sayısal olarak kararlı bir sürekli kesir ve log-gama fonksiyonunun Lanczos yaklaşımıyla hesaplar, ardından \(B_{x} = I_{x} \times B(a,b)\) bağıntısıyla \(B_{x}\) değerini elde ederiz.
Çözümlü örnek
\(a = 1\), \(b = 3\), \(x = 0.4\) alalım. \(a = 1\) olunca integrand \((1-t)^{2}\) hâline gelir; dolayısıyla $$B_{x} = \frac{1 - 0.6^{3}}{3} = \frac{0.784}{3} = 0.26133$$ olur. Tam beta \(B(1,3) = \frac{1\cdot 2}{6} = \frac{1}{3}\) değerindedir. Buradan $$I_{x} = \frac{0.26133}{0.33333} = 0.784$$ bulunur; bu da \(I_{0.4}(1,3) = 1 - (1-0.4)^{3} = 0.784\) özdeşliğiyle birebir uyumludur.
Sık sorulan sorular
\(B_{x}\) ile \(I_{x}\) arasındaki fark nedir? \(B_{x}\) ham kısmi integraldir; \(I_{x} = B_{x}/B(a,b)\) ise \([0,1]\) aralığına normalleştirilmiş hâlidir.
\(a\) ve \(b\) neden pozitif olmalıdır? Gama fonksiyonunun pozitif olmayan tam sayılarda kutupları vardır ve aksi durumda integral ıraksar; bu nedenle \(a > 0\) ve \(b > 0\) koşulları zorunludur.
Uç noktalarda ne olur? \(x = 0\) için hem \(B_{x}\) hem de \(I_{x}\) sıfırdır; \(x = 1\) için \(I_{x} = 1\) ve \(B_{x} = B(a,b)\) olur.
