Stirling Formülü: Faktöriyelin Evcilleşmesi

Faktöriyel niye kontrolden çıkar?

$n!$ yani $1 \cdot 2 \cdot 3 \cdots n$ kombinatoriğin temel sayma aracıdır. Ama hızla devleşir:

• $10! = 3\,628\,800$
• $20! \approx 2.4 \times 10^{18}$
• $50! \approx 3 \times 10^{64}$
• $100! \approx 9.3 \times 10^{157}$ (158 basamak)

$100!$ tam değerini hesaplamak için 100 sayıyı tek tek çarpmanız ve sonucu 158 basamaklı tutmanız gerekir. Ne kalem-kâğıt ne de hesap makinesi bunu rahatlıkla yapar.

Oysa pek çok problemde (olasılık, fizik, kombinatorik) tam değer değil kıyas için yaklaşık değer yeterlidir. Stirling formülü tam bu hizmeti verir.

Formül

James Stirling (İskoçyalı matematikçi, 1730) ve Abraham de Moivre (bağımsız olarak) şu yaklaşımı verdi:

$n! \approx \sqrt{2\pi n} \cdot \left( \frac{n}{e} \right)^n$

Veya logaritmalı formda (daha kullanışlı):

$\ln(n!) \approx n \ln n - n + \tfrac{1}{2}\ln(2\pi n)$

Daha kaba yaklaşım (Stirling'in en sık alıntılanan formu):

$\ln(n!) \approx n \ln n - n$

Niye işe yarıyor?

Hatalar gözle görülmez derecede küçüktür. Bazı örnekler:

$n$	Gerçek $n!$	Stirling yaklaşımı	Hata
$10$	$3\,628\,800$	$3\,598\,696$	%0.83
$100$	$9.33 \times 10^{157}$	$9.32 \times 10^{157}$	%0.08
$1000$	$\sim 4 \times 10^{2567}$	aynı, %0.008 hata	%0.008

Yani $n$ büyüdükçe göreceli hata azalır. Bu, asimptotik formülün ne kadar güçlü olduğunun ölçüsüdür.

Sezgisel türetme

Tam türetme integralle yapılır ama sezgi şöyle:

$\ln(n!) = \sum_{k=1}^n \ln k$

Bu toplam integral ile yaklaşıklanabilir:

$\ln(n!) \approx \int_1^n \ln x \,dx = [x \ln x - x]_1^n = n \ln n - n + 1$

İlave $\tfrac{1}{2}\ln(2\pi n)$ terimi, Riemann toplamı ile integral arasındaki "sınır" düzeltmesinden gelir (Euler-Maclaurin formülü).

Kanıt: niye $e$?

$e = 2.718\dots$ doğal logaritmanın tabanı, $(n/e)^n$ ifadesinin içinde nereden çıkıyor? Yanıt: faktöriyel integralle yazılır:

$n! = \int_0^\infty x^n e^{-x} \,dx$

Bu integralin maksimumu $x = n$ noktasındadır; etrafına Laplace yöntemiyle yaklaşılınca otomatik olarak $(n/e)^n$ çıkar. $e$ üstel azalmanın matematiksel imzasıdır.

Uygulamalar

1) Olasılık ve binom dağılımı

Madeni para $n$ kez atılınca tam $k$ yazı gelme olasılığı:

$P(k) = \binom{n}{k} p^k (1-p)^{n-k} = \frac{n!}{k!(n-k)!} p^k q^{n-k}$

Büyük $n$ için bu ifade Stirling ile sadeleşip normal dağılıma (Gauss) yakınsar. Merkezi limit teoreminin klasik kanıtının çekirdek aracı budur.

2) İstatistiksel mekanik (entropi)

Termodinamikte bir gazın entropisi Boltzmann formülüyle $S = k \ln W$'dir; burada $W$ mümkün mikro-durumların sayısıdır. $W$ tipik olarak faktöriyellerin oranı şeklinde olur ve Stirling kullanılmadan elle hesaplanamaz. Modern kimyanın, fizik kimyasının ve istatistiksel mekaniğin altyapısı.

3) Bilgisayar bilimi

Algoritma analizinde örneğin bir liste için tüm permütasyonlar $n!$ tanedir. $n=15$ için bile $\sim 10^{12}$. Stirling, "$n=15$ için ne kadar uzun?" sorusuna pratik cevap verir.

4) Bilgi teorisi

Shannon entropisi, kombinatoryal yaklaşımdan türetildiğinde Stirling ile sadeleşir. Veri sıkıştırma, hata düzeltme kodları, kriptografi — hepsinde Stirling perde arkasında çalışıyor.

"Kısa formül, derin sonuç"

Stirling formülü matematiğin estetik şahremlerinden biridir: kısa, hatasız (büyük $n$ için), evrensel. Bir başka bakış: faktöriyel diskret bir nesneydi ($1, 2, 6, 24, 120, \dots$); Stirling onu sürekli bir fonksiyonun ($\Gamma$ fonksiyonu) içinde yumuşatır:

$\Gamma(n+1) = n!$

Bu sürekli uzantı sayesinde faktöriyel artık türev alınabilir, integre edilebilir, kompleks sayılara genişletilebilir bir nesne haline gelir. Riemann hipotezi, kuantum istatistikleri, özel fonksiyonlar — hepsi bu uzantıyla konuşur.

Stirling 1730'da bu formülü verdiğinde 18. yüzyıl matematikçileri pratik bir araç edindi. 21. yüzyıl bilim insanları aynı formülü hâlâ açıyor — çünkü doğanın diliyle konuşan bazı denklemler çağ atlatmaz.