Harmonik Sayılar: Yavaşça Sonsuza Giden Toplam

"Bu toplam yakınsar mı?"

Şu basit toplama bakalım:

$H_n = 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \dots + \frac{1}{n}$

Her terim bir öncekinden küçük; her terim sıfıra yaklaşıyor. Sezgi der ki "elbette toplam sonlu bir sayıya yakınsar." Yanlış. Harmonik seri, $n \to \infty$ iken sonsuza ıraksar.

Bu sezgi karşıtı sonuç ilk kez 14. yüzyılda Nicole Oresme tarafından, çok zarif bir ispatla gösterildi. Bakalım niye.

Oresme'in ispatı: ikili kümeleme

Terimleri 2, 4, 8, 16, ... uzunluğunda gruplara ayıralım:

$\underbrace{1}_{=1} + \underbrace{\frac{1}{2}}_{=1/2} + \underbrace{\frac{1}{3} + \frac{1}{4}}_{> 1/2} + \underbrace{\frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8}}_{> 1/2} + \dots$

Üçüncü gruptaki iki terimin her biri $\geq \tfrac{1}{4}$, dolayısıyla toplamları $\geq \tfrac{1}{2}$. Dördüncü gruptaki dört terimin her biri $\geq \tfrac{1}{8}$, toplamları $\geq \tfrac{1}{2}$. Genel olarak $k$. grupta toplam en az $\tfrac{1}{2}$'dir.

Yani harmonik seriye sonsuz tane "en az $\tfrac{1}{2}$" ekliyoruz. Toplam sonsuza gitmek zorunda.

Ama çok yavaş…

Iraksar evet ama inanılmaz yavaş. Yaklaşık formül:

$H_n \approx \ln n + \gamma$

Burada $\gamma \approx 0.5772156649\dots$ Euler-Mascheroni sabiti'dir.

Bu yaklaşımın söylediği: $H_n$ yaklaşık $\ln n$ kadar büyür. Sayısal örnekler:

$n$	$H_n$ (yaklaşık)
$10$	$2.93$
$100$	$5.19$
$1\,000$	$7.49$
$1\,000\,000$	$14.39$
$10^{12}$	$28.21$
$10^{100}$	$230.84$

Trilyon terimi topladıktan sonra hâlâ 28'i geçemiyoruz. 1 trilyon Googol terim ekleseniz bile toplam ancak 230 civarında olur. Iraksaklık matematiksel olarak gerçek, pratik olarak görünmez hızdadır.

Euler-Mascheroni sabiti $\gamma$

$\gamma$, harmonik toplamla logaritma arasındaki kalıcı boşluğun sayısal değeridir:

$\gamma = \lim_{n \to \infty} \left( H_n - \ln n \right)$

Bu sabit pi ve e gibi temel matematik sabitlerinden biridir ama hâlâ rasyonel mi, irrasyonel mi bilinmiyor! 250 yıldır açık bir problem. Eğer rasyonelse paydası en az $10^{242080}$ olmalıdır (sayısal hesaplardan elde edilen alt sınır). Matematik dünyasının açık çekmecelerinden biri.

Pratikteki yansımalar

Yavaş ıraksaklık göründüğünden çok daha derin yer kaplar:

• "Coupon collector" problemi: $n$ farklı kart varsa hepsini toplamak için ortalama $n \cdot H_n$ paket açmak gerekir. Yani $n=50$ kart için ~225 paket; 100 için ~519 paket. Bu yüzden çıkartmaları biriktirmek bu kadar uzun sürer.
• Bilgisayar bilimi: Hızlı sıralama (quicksort) algoritmasının ortalama karşılaştırma sayısı $O(n \log n)$'dir. $\log n$ aslında harmonik toplamdan geliyor.
• Olasılık ve istatistik: Birçok rastgele süreçte beklenen değer harmonik toplamla ifade edilir.
• Sayılar teorisi: Asal sayıların yoğunluğu, $\sum 1/p$ (asallar üzerinden) harmonik seri kadar yavaş bile değil — o da sonsuza gider ama daha da yavaş ($\ln \ln n$ gibi).

Müzikten gelen isim

"Harmonik" adı müzikteki harmoniklerden gelir. Bir gitar telinin temel frekansı varsa, tellerin doğal titreşim frekansları o temel frekansın tam katlarıdır. Dalgaboyları ise $L, L/2, L/3, L/4, \dots$ yani $1, 1/2, 1/3, 1/4, \dots$ orantısında küçülür. Pisagor okulunun keşfi: müzikal harmoniler bu sayılarla yaratılıyor.

Matematikçiler bu orantıyı bir seriye çevirdiklerinde harmonik seri doğdu. Müzik ile sayı dünyası arasında 2500 yıllık bir köprü.

Iraksaklığın felsefesi

Harmonik serinin verdiği ders şudur: Bir şey "küçülerek azalıyor" diye birikiminin yakınsayacağı söylenemez. Hız önemli. Bu, matematikte "rate of convergence/divergence" (yakınsama/ıraksama hızı) kavramının ne kadar kritik olduğunu gösteriyor.

İstihbarat, finans, mühendislik — pek çok alanda "küçülen ama biriken" miktarlar vardır. Harmonik seri bize hatırlatır: küçülme tek başına yetmez, ne kadar hızlı küçüldüğü belirleyicidir.