Serilerin Yakınsaklık Testleri ve Seçim Stratejisi

Seriler, kısmi toplamlar ve yakınsaklık

Seri, sonsuz sayıda terimin toplamıdır: $\sum a_n$ olarak yazılan $a_1 + a_2 + a_3 + \cdots$. Sonsuz sayıda sayıyı doğrudan toplamak mümkün değildir; bu yüzden ilk $N$ tanesi bir $S_N$ kısmi toplamında toplanır ve $N$ büyüdükçe ne olduğuna bakılır. Kısmi toplamlar sonlu bir $S$ limitine yaklaşıyorsa seri yakınsar ve toplamı $S$'dir. Aksi hâlde ıraksar.

Sonsuz sayıda pozitif sayı sonlu bir toplam verebilir. $\frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \cdots$ serisinin kısmi toplamları $0.5$, $0.75$, $0.875$ diye gider; her biri bir öncekiyle 1'in tam ortasındadır; bu yüzden toplam tam olarak 1'dir. Bir duvara doğru yürüdüğünüzü ve her adımda kalan yolun yarısını aldığınızı düşünün: sonsuz sayıda adım vardır, ama başlangıçtaki uzaklıktan fazlasını asla yürümezsiniz. Konunun tamamı, kısmi toplamlar dizisine uygulanan limitlere dayanır.

Geometrik seriler

Geometrik seride her seferinde aynı $r$ ortak oranıyla çarpılır. Toplamı tam olarak bulunabilen az sayıdaki seri türünden biridir:

$|r| \ge 1$ ise terimler sıfıra gitmez ve seri ıraksar. Örneğin $3 + 1 + \frac{1}{3} + \frac{1}{9} + \cdots$ serisinin ilk terimi $a = 3$, ortak oranı $r = \frac{1}{3}$'tür; bu yüzden toplamı $\frac{3}{2/3} = 4.5$'tir. Devirli ondalık sayılar kılık değiştirmiş geometrik serilerdir: $0.999\ldots = \frac{9}{10} + \frac{9}{100} + \cdots = \frac{0.9}{1 - 0.1} = 1$.

Terim testi (ıraksaklık testi)

$a_n$ terimleri 0'a gitmiyorsa seri ıraksar (bu yüzden ıraksaklık testi de denir). Bu her zaman ilk kontrol olmalıdır: birkaç saniye sürer. Örneğin $\sum\frac{n}{n + 1}$ ıraksar, çünkü terimleri 1'e gider: sonsuz kez neredeyse 1 eklersiniz.

Tersi doğru değildir ve bu, seriler hakkındaki en yaygın yanılgıdır. Sıfıra giden terimler yakınsaklığı garanti etmez. $1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \cdots$ harmonik serisinin terimleri 0'a gider, ama seri yine de ıraksar. Terimleri gruplayın: $\frac{1}{3} + \frac{1}{4} > \frac{1}{2}$, sonraki dört terim $\frac{1}{2}$'den fazlasını verir, sonraki sekizi de $\frac{1}{2}$'den fazlasını, ve bu böyle sürer. Sonsuz sayıda yarım sınırsız bir toplam verir. Gerçi büyüme çok yavaştır: ilk bir milyon terim yalnızca yaklaşık 14,4 verir.

p-serileri ve integral testi

Genelleştirilmiş harmonik seri de denen p-serisi $\sum\frac{1}{n^p}$ biçimindedir. Davranışı yalnızca $p$'ye bağlıdır:

Böylece $\sum\frac{1}{n^2}$ yakınsar ve toplamı ünlü $\frac{\pi^2}{6} \approx 1.6449$'dur; $\sum\frac{1}{\sqrt{n}}$ ise ıraksar. İspat integral testini kullanır: $f$ pozitif, sürekli ve monoton azalan ise ve $f(n) = a_n$ ise $\sum a_n$ ile $\int_1^{\infty} f(x)\,dx$ aynı şekilde davranır: ikisi birden yakınsar ya da ikisi birden ıraksar. $\int_1^{\infty}\frac{dx}{x^2} = 1$ sonlu, $\int_1^{\infty}\frac{dx}{x}$ ise sonsuz olduğundan iki temel durum ortaya çıkar. Bu genelleştirilmiş integraller belirli ve belirsiz integral makalesinde hesaplanmaktadır.

Karşılaştırma testleri

Karşılaştırma testleri bir serinin akıbetine, onu bilinen bir seriyle, genellikle bir geometrik seriyle ya da p-serisiyle kıyaslayarak karar verir. Pozitif terimli seriler için:

• Karşılaştırma testi: $0 \le a_n \le b_n$ ise ve $\sum b_n$ yakınsıyorsa $\sum a_n$ de yakınsar. $a_n \ge b_n \ge 0$ ise ve $\sum b_n$ ıraksıyorsa $\sum a_n$ de ıraksar.
• Limit karşılaştırma testi: $\lim\frac{a_n}{b_n}$ kesin olarak pozitif ve sonlu bir sayıysa iki seri de aynı şekilde davranır.

Karşılaştırma serisini seçmek için pay ve paydada yalnızca $n$'nin en yüksek kuvvetini bırakın. Geriye kalan, hangi p-serisiyle ya da geometrik seriyle karşılaştıracağınızı söyler.

Oran testi (d'Alembert) ve kök testi (Cauchy)

Oran testi her terimi bir öncekiyle karşılaştırır. $L = \lim_{n \to \infty}\left|\frac{a_{n+1}}{a_n}\right|$ olsun. $L < 1$ ise seri mutlak yakınsar; $L > 1$ ise ıraksar; $L = 1$ ise test sonuç vermez. Faktöriyel ya da $2^n$ gibi kuvvetler içeren seriler için doğal seçimdir.

Kök testi aynı sonuçlarla $L = \lim\sqrt[n]{|a_n|}$'yi kullanır ve $n$. kuvvete yükseltilmiş terimlere uyar. $\sum\left(\frac{n}{2n + 1}\right)^n$ için $n$. dereceden kök $\frac{n}{2n + 1} \to \frac{1}{2}$'dir; bu yüzden seri yakınsar.

Alterne seriler

Alterne seri her terimde işaret değiştirir. Leibniz testi şunu söyler: terimlerin mutlak değerleri monoton azalıyor ve 0'a gidiyorsa seri yakınsar. Bu yüzden alterne harmonik seri $1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \cdots$ yakınsar ve toplamı $\ln 2 \approx 0.6931$'dir.

Bir avantajı daha vardır: herhangi bir terimden sonra kesildiğinde hata, atılan ilk terimi aşmaz. Alterne harmonik seriyi 99 terimden sonra keserseniz $\ln 2$'yi $\frac{1}{100}$'den küçük bir hatayla elde edersiniz.

Bir seri, $\sum|a_n|$ yakınsıyorsa mutlak yakınsar; yalnızca işaretlerin birbirini götürmesi sayesinde yakınsıyorsa koşullu yakınsar. Alterne harmonik seri koşullu yakınsar: işaretler olmadan ıraksayan harmonik seridir. Mutlak yakınsaklık daha güçlü bir özelliktir: mutlak yakınsayan bir serinin terimlerinin yerini değiştirmek toplamını asla değiştirmez; koşullu yakınsayan bir seri ise istenen herhangi bir değeri alacak şekilde yeniden düzenlenebilir.

Test seçme stratejisi

1. Terimler 0'a gidiyor mu? Gitmiyorsa seri ıraksar.
2. Geometrik seri mi, p-serisi mi? Bilinen kuralı uygulayın.
3. Faktöriyeller ya da $3^n$ gibi üssü $n$ olan kuvvetler var mı? Oran testini kullanın.
4. Terimin tamamı $n$. kuvvete mi yükseltilmiş? Kök testini kullanın.
5. $n$'ye bağlı rasyonel ifadelerden oluşan bir kesir ya da buna benzer bir şey mi? Bir p-serisiyle limit karşılaştırma testini kullanın.
6. İşaretler değişiyor mu? Leibniz testini kullanın, ardından mutlak yakınsaklığı kontrol edin.
7. Terim kolay integrali alınan bir fonksiyon mu? İntegral testini hatırlayın.

Serilerin yakınsaklığı hesap makinesi bu testleri uygular, hangisinin sonuç verdiğini belirtir ve toplamı tahmin eder. Terimleri $x$ içeren kuvvet serileri de aynı şekilde incelenir: oran testi yakınsaklık yarıçapını verir, aralığın uç noktaları ayrıca kontrol edilir ve Taylor serileri rehberimizdeki aralıklar böyle elde edilir.

Teleskopik seriler ve alıştırmalar

Teleskopik seride kısmi toplamlar sadeleşir, çünkü komşu terimler birbirini götürür. $\frac{1}{n(n + 1)} = \frac{1}{n} - \frac{1}{n + 1}$ yazınca $S_N$ kısmi toplamının $1 - \frac{1}{N + 1}$'e eşit olduğunu ve 1'e gittiğini görürüz. Teleskopik yapıyı, çoğu zaman basit kesirlere ayırma yardımıyla tanırsanız yalnızca «evet» ya da «hayır» cevabı değil, kesin toplamı elde edersiniz.

Cevapları okumadan önce kendinizi şu serilerle sınayın: $\sum\frac{5}{4^n}$ ortak oranı dörtte bir olan geometrik bir seridir, yakınsar; $\sum\frac{n^2}{n^2 + 1}$ terim testine göre ıraksar, çünkü terimleri 1'e gider; $\sum\frac{1}{n^{1.01}}$, $p > 1$ olan bir p-serisi olarak yakınsar; $\sum\frac{3^n}{n!}$ oran testine göre yakınsar; $\sum\frac{(-1)^n}{\sqrt{n}}$ ise koşullu yakınsar: Leibniz testi sağlanır, ama mutlak değerlerin serisi ıraksayan bir p-serisidir.

Sıkça sorulan sorular