Stirling Yaklaşımı: Faktöriyelin Büyük Sayılarda Şaşırtıcı Zarafetle Yazılışı

$5!$ hesabını yapın: $5 \times 4 \times 3 \times 2 \times 1 = 120$. Kolay. Şimdi $10!$ yapın: $3{,}628{,}800$. Hâlâ kâğıt-kalemle yapılabilir. Şimdi $100!$ deneyin. Sonuç 158 basamaklı bir sayıdır: $9{,}33 \times 10^{157}$. Bu sayıyı doğrudan çarparak elde etmek pratik olarak imkânsızdır.

Ama eğer "yaklaşık" değerini istiyorsanız, çok sade bir formül size cevap verir. Stirling yaklaşımı:

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

Bu formül, faktöriyelin büyük $n$ değerleri için olağanüstü hassas bir yaklaşıkdır. Hata oranı $n$ büyüdükçe %0,1'in altına düşer.

İskoç matematikçi James Stirling (1692–1770), 1730'da yayımladığı Methodus Differentialis eserinde bu formülü ortaya koydu. (Aynı dönemde Fransız matematikçi Abraham de Moivre de bağımsız olarak bir versiyonunu buldu; formülün asıl matematiksel detayları onun da işidir. Ama tarihsel olarak "Stirling formülü" diye anılır.)

Niçin bu formül?

Faktöriyel basit görünür ama içinde derin bir matematik vardır. $n!$ değerinin logaritması alındığında:

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

Bu, $\log$ fonksiyonunun bir Riemann toplamı. İntegral olarak yaklaşırsak:

$\sum_{k=1}^{n} \log(k) \approx \int_1^n \log(x) \, dx = n \log n - n + 1$

Yani:

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

Buradan üs alarak: $n! \approx (n/e)^n$. Ama bu hâlâ tam doğru değil; düzeltici bir faktör eksik. Stirling, bu düzeltmenin tam olarak $\sqrt{2\pi n}$ olduğunu buldu. Detaylı türetme, Euler-Maclaurin formülü kullanılarak yapılır.

Hassasiyet

Stirling yaklaşımının hassasiyet kontrolünü yapalım:

$n$	Gerçek $n!$	Stirling yaklaşımı	Bağıl hata
5	120	118,02	%1,65
10	3.628.800	3.598.696	%0,83
50	$3{,}04 \times 10^{64}$	$3{,}04 \times 10^{64}$	%0,17
100	$9{,}33 \times 10^{157}$	$9{,}33 \times 10^{157}$	%0,083

Tabloda görüldüğü gibi, $n$ büyüdükçe hata oranı dramatik biçimde düşer. Bu, "asimptotik" yaklaşımın güzelliğidir: pratikte daha büyük problemler için daha hassas çalışır.

Daha doğru sürümler de var. Stirling'in genişletilmiş formülü:

$n! \approx \sqrt{2\pi n} \left(\frac{n}{e}\right)^n \left(1 + \frac{1}{12n} + \frac{1}{288 n^2} - \frac{139}{51840 n^3} - \cdots\right)$

Bu, hata payını daha da küçültür.

Niçin önemli?

Stirling yaklaşımının sade görünüşünün ötesinde, modern matematiğin pek çok alanında temel araçtır:

1. Olasılık ve istatistik

Binom katsayıları $\binom{n}{k}$ büyük $n$ için Stirling kullanarak hesaplanır:

$\binom{n}{k} \approx \frac{1}{\sqrt{2\pi}} \frac{n^n}{k^k (n-k)^{n-k}} \sqrt{\frac{n}{k(n-k)}}$

Bu, merkezi limit teoreminin klasik ispatlarından birinin temelidir. Yazı-tura denemelerinde binom dağılımının çan eğrisine yakınsaması Stirling sayesinde matematiksel olarak gösterilir.

2. Kombinatorik

"Bir kümeyi kaç şekilde sıralayabilirim?" gibi sorularda $n!$ sürekli karşımıza çıkar. Büyük $n$ değerleri için sayma sorularında asimptotik sınır vermek isteriz; Stirling hayatımızı kolaylaştırır.

3. Termodinamik (Boltzmann entropisi)

Bir gaz sistemindeki moleküllerin olası mikroyapı sayısının logaritması (entropi):

$S = k_B \ln \Omega$

Burada $\Omega$, çok büyük bir sayıdır. Stirling, bu logaritmanın kapalı bir formla hesaplanmasını sağlar:

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

Bu, gaz teorisinin temel ifadesidir.

4. Bilgisayar bilimi

Algoritmaların karmaşıklık analizinde $\log(n!)$ ifadesi sıklıkla görünür. Stirling, bunu $n \log n - n + O(\log n)$ olarak yazar. Bu da bize "herhangi bir sıralama algoritması en az $n \log n$ karşılaştırma gerektirir" gibi alt sınırları vermek için kullanılır.

5. Sayılar teorisi

Asimptotik analizin pek çok yerinde Stirling karşımıza çıkar. Riemann zeta fonksiyonu, gama fonksiyonu, çeşitli özel fonksiyonların büyük argümanlardaki davranışlarını hesaplamak için.

Gama fonksiyonu ile bağlantı

Faktöriyel sadece tam sayılar için tanımlıdır: $5!$ var ama $5{,}5!$ doğrudan yok. Ama gama fonksiyonu:

$\Gamma(x) = \int_0^\infty t^{x-1} e^{-t} \, dt$

faktöriyelin sürekli genelleştirilmesidir: $\Gamma(n + 1) = n!$. Yani $\Gamma(5{,}5)$ tanımlıdır.

Stirling formülünün gama fonksiyonu için sürümü:

$\Gamma(x) \approx \sqrt{\frac{2\pi}{x}} \left(\frac{x}{e}\right)^x$

Bu, hem tam sayı hem de sürekli değerler için faktöriyel benzeri büyüklükleri tahmin etmemize izin verir.

Pi ve e: birlikte iki sabit

Stirling formülünün belki en güzel yönü, içinde iki temel matematik sabitin birlikte görünmesidir: $\pi$ ve $e$.

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

Bu sabitlerin birlikte ortaya çıkması ilk bakışta tesadüf gibi görünür; ama gerçekte derin bir matematik bağlantısının yansımasıdır. $\pi$, dairesel geometriden gelir (gauss integralinin değeri için kullanılır türetmede). $e$, üstel büyümeden gelir (faktöriyelin doğal yapısı). Bu ikisinin Stirling formülünde yan yana belirmesi, matematiğin "tüm dallarının birbirine bağlı" olduğunun küçük bir gösterisidir.

Tarihsel detay

James Stirling, İskoçya'da Garden, Stirlingshire'da 1692'de doğdu. Oxford'da okudu; sonra siyasi nedenlerle (Stuart hanedanı taraftarı olduğu için) İtalya'ya gitti. Venedik'te bir süre matematik dersi verdi. Sonunda Londra'ya döndü ve Scottish Mining Company için mühendis olarak çalıştı.

Onun matematiksel yaratıcılığı, mühendislik kariyeri tarafından çok kısıtlandı. Yine de 1730'da Methodus Differentialis eserini yazabilmesi büyük bir başarıdır. Eserde faktöriyel formülünün ilk modern versiyonu, sonsuz seriler hakkında pek çok teorem ve özel fonksiyonların hesabı yer alır.

Abraham de Moivre, aynı dönemde benzer çalışmalar yapmış ve formülün ana matematiksel detaylarını işlemişti. İki matematikçi yazıştı; sonuçların önceliği hakkında nazik bir tartışma yaşadılar. Modern matematik tarihçileri, formülün "Stirling-de Moivre" diye anılmasının daha adil olduğunu söyler.

Bir hayat dersi

Stirling yaklaşımı, "bazen yaklaşık doğru, kesinlikten daha kullanışlıdır" matematik felsefesinin güzel bir örneğidir. $100!$ değerini tam olarak hesaplamak için sayısal olarak çok pahalı bir iş yapmak yerine, sadece formüle koyup %0,08 hatayla cevap alırsınız. Bu hata oranı, çoğu uygulama için kabul edilebilir.

Bu, modern bilimin "asimptotik analiz" denilen bir kolunun temel ilkesidir: bir sistemin çok büyük ölçekteki davranışını, ana terimleri yakalayan sade formüllerle anlamak.

Bir sonraki sefer büyük bir kombinatorik soruyla karşılaştığınızda — kart oyununda kombinasyon sayısı, bir şifrenin olası sayısı, bir kümenin permütasyon sayısı — Stirling formülünü hatırlayabilirsiniz. 1730'da bir mühendis-matematikçinin yazdığı kısa formül, hâlâ büyük sayıların sırrına en zarif kapıdır.