Harmonik seriler

**Harmonik seri** ıraksak bir seridir, harmonik sözcüğü ise müzikten devşirilmiştir.

: \sum_{k=1}^\infty \frac{1}{k} = 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \cdots.\!
serisini incelersek her kesrin seri toplamında bir payı veya katkısı olduğunu görebiliriz.

## Harmonik serinin Iraksaması
Sonsuza çok yavaş olarak ıraksayan bu  serinin ilk 10^43 teriminin toplamı en az 100'dür ve Terim terim genişletilirse başka bir ıraksak seriye yakınsar.
: 
\begin{align}
\sum_{k=1}^\infty \frac{1}{k} & {} =
1 + \left[\frac{1}{2}\right] + \left[\frac{1}{3} + \frac{1}{4}\right] + \left[\frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8}\right] + \left[\frac{1}{9}+\cdots\right] +\cdots \\
& {} > 1 + \left[\frac{1}{2}\right] + \left[\frac{1}{4} + \frac{1}{4}\right] 
+ \left[\frac{1}{8} + \frac{1}{8} + \frac{1}{8} + \frac{1}{8}\right] + \left[\frac{1}{16}+\cdots\right] +\cdots \\
& {} = 1 + \ \frac{1}{2}\ \ \ + \quad \frac{1}{2} \ \quad + \ \qquad\quad\frac{1}{2}\qquad\ \quad \ + \quad \ \ \frac{1}{2} \ \quad + \ \cdots.
\end{align}

Bu çok sayıda  terimini içeren harmonik serinin sonsuza ıraksadığı açıkça görülüyor. Serinin 2*k*-inci kısmı toplamı s_{2^k} ise
: s_{2^k} \ge 1 + {k \over 2}, 
(serisine yakınsıyor)
Yavaş ve neredeyse logaritmik bir artışa dönüşme var. Bu kanıtı Orta Çağ matematikçisi Nicole Oresme bulmuştur ve o dönemin en ileri seviyesidir. Yine de standart olarak günümüzde bu test kullanılmaktadır. Cauchy testi (kondensasyon) bu testin genelleştirilmiş halidir.
Harmonik seri için kullanılan diğer bir yöntem integral ıraksama testi, 1'le sonsuz aralığında  integralinden faydalanılır.
sadece asal sayılar'ın terslerinin toplamı bile exponansiyel bir yavaşlık olmasına rağmen, sonsuza ıraksar ve denemesi daha zordur.

## Alternatif yaklaşım
Harmanik serinin toplamına destek için toplamı  *S* ile gösterelim:
:\sum_{k=1}^\infty \frac{1}{k} = 1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\cdots=S

kesirlerin yeniden düzenlenmesiyle
:S=\left(1+\frac{1}{3}+\frac{1}{5}+\frac{1}{7}+\cdots\right)+\left(\frac{1}{2}+\frac{1}{4}+\frac{1}{6}+\frac{1}{8}+\cdots\right)

Basitçe ikinci grubun sonucu
:S=\left(1+\frac{1}{3}+\frac{1}{5}+\frac{1}{7}+\cdots\right)+\frac{1}{2}\left(1+\frac{1}{2}+\frac{1}{3}+\frac{1}{4}+\cdots\right)

ikinci grup yerini  *S* 'e bırakır
:S=\left(1+\frac{1}{3}+\frac{1}{5}+\frac{1}{7}+\cdots\right)+\frac{1}{2}S

Bundan faydalanarak
:\frac{1}{2}S=\left(1+\frac{1}{3}+\frac{1}{5}+\frac{1}{7}+\cdots\right)

veya sonuç;
:\frac{1}{2}+\frac{1}{4}+\frac{1}{6}+\frac{1}{8}+\cdots= 1+\frac{1}{3}+\frac{1}{5}+\frac{1}{7}+\cdots
Bu doğru olamaz.Arka arkaya gelen bu toplamlar, ıraksamaya götürür.
## Diğer bir deneme
geometrik seriler ile başlayalım

:\frac{1}{1-x} = 1 + x + x^2 + x^3 + x^4 + ... 

İki tarafında integrali alınırsa

:-\ln(1-x) = x + \frac{x^2}{2} + \frac{x^3}{3} + ... 

iki tarafında  x \rightarrow 1   giderken limitini alırız.

:-\lim_{x\to 1} \ln(1-x) = 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + ... = \sum_{n=1}^{\infty} \frac{1}{n} .

 -\lim_{x\to 1} \ln(1-x) = -(-\infty) = \infty ,den dolayı toplarsak  \sum_{n=1}^{\infty} \frac{1}{n} = \infty 

Diğer bir deyişle toplam ıraksaktır.
## Alterne harmonik serinin yakınsaması

Burada **alterne harmonik seri**'nin  yakınsaması

: 
\sum_{k = 1}^\infty \frac{(-1)^{k + 1}}{k} = 1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots 
= \ln 2 = 0.693\,147\,180\,\dots.


Bu eşitlik Mercator serisi'nin bir sonucudur., Taylor serisi'nin doğal logaritmadaki 
ikizidir, diğer eşitlik

:
\sum_{k=0}^\infty \frac{(-1)^k}{2k+1} = 1 - \frac{1}{3} + \frac{1}{5} -\frac{1}{7} +\cdots = \arctan (1 )=\frac{\pi}{4}.\!

Taylor serisi gösteriminin ters tangent fonksiyon sonucu (yarıçap 1'e yakınsama vardır.).
## Kısmi toplam
:Hn= \sum_{k=1}^\infty \frac{1}{k}
serisinde n. nci kısmi toplamı n. nci harmonik sayıyı verir, bu sayı ile doğal logaritma arasında fark Euler-Mascheroni sabiti'ne yakınsar.
## Harmonik serinin genelleştirilmesi
Harmonik serinin genel formu
:\sum_{n=0}^{\infty}\frac{1}{an+b}.\!
burada a ve b sonlu herhangi bir gerçel sayıdır.
## P-serisi
**p-serisi**'nde p pozitif gerçel bir sayıdır
:\sum_{n=1}^{\infty}\frac{1}{n^p},\!
integral testi ile *p* > 1 için **aşırı-harmonik seri**, *p* = 1 için harmonik seri *p* > 1 seri toplamı ζ(*p*)'yi yani, Riemann zeta fonksiyonu'nu verir.