Abel teoremi

Matematiğin bir ana dalı olan analizde, özellikle gerçel ve karmaşık analizde, Abel teoremi, Abel limit teoremi ya da Abel yakınsaklık teoremi, bir kuvvet serisinin limitini katsayılarının toplamıyla ilişkilendiren önemli bir sonuçtur. Teorem, bu sonucu 1826'da kanıtlayan Norveçli matematikçi Niels Henrik Abel'in adını taşımaktadır.

Teoremin ifadesi

Gerçel değişkenli kuvvet serileri için ifâdesi

Yakınsaklık yarıçapı $1$ olan ve katsayıları gerçel sayı olan bir Taylor serisini ele alalım: $$G(x)=\sum _{k=0}^{\mathrm{\infty }}{a}_k{x}^k.$$ Eğer $\sum _{k=0}^{\mathrm{\infty }}{a}_k$ serisi yakınsaksa, o zaman, $G(x)$ fonksiyonu $x=1$ noktasında soldan süreklidir. Diğer deyişle, $$\underset{x\to 1^{-}}{\lim }G(x)=\sum _{k=0}^{\mathrm{\infty }}{a}_k$$ olur.

Karmaşık değişkenli kuvvet serileri için ifâdesi

Gerçel değişkenli kuvvet serileri için verilen sonucun karmaşık değişkenli kuvvet serileri için geliştirilmiş hâli de vardır: Yakınsaklık bölgesi birim disk $𝔻$ olan ve katsayıları karmaşık sayı olan bir Taylor serisini ele alalım: $$G(z)=\sum _{k=0}^{\mathrm{\infty }}{a}_k{z}^k.$$ Eğer $\sum _{k=0}^{\mathrm{\infty }}{a}_k$ serisi yakınsaksa, o zaman $G(z)$ fonksiyonunun sabit bir $M>1$ tarafından $\{z\in 𝔻:|1-z|\le M(1-|z|)\}$ biçiminde tanımlı bir Stolz dilimi içinden $z=1$ noktasında limiti vardır.

Geometrik bir bakış açısıyla, limitin $z=1$ noktasına çembere teğet olmadan yaklaşması lazımdır. Birim disk içinde yer alan bu biçimdeki yaklaşma bölgesinde tepe noktası $z=1$dir, bölge $(-\mathrm{\infty },1)$ eksenini ortalar ve elbette tepe açısı $180^{\circ }$den azdır. Çember üzerindeki bir noktaya bu tür bölgelerden yaklaşılan limitlere teğet olmayan limit denir. Teoremin varsayımındaki teğet olmayan limit bahsi teorem için gereklidir. Gerçekten de bu bölge dışından yaklaşıldığında teoremde bahsedilen sonuca karşıt örnekler bulunabilir. Örneğin, $$G(z)=\sum _{n>0}^{\mathrm{\infty }}{a}_n{z}^n$$ serisini $$a_n=\{\begin{array}{cc}\frac{1}{k}& ,n=3^k,k\in {\mathbb{Z}}^{+}\\ -\frac{1}{k}& ,n=2\cdot 3^k,k\in {\mathbb{Z}}^{+}\\ 0& ,\text{diğer hallerde}\end{array}$$ olacak şekilde tanımlayalım. $\sum _{n>0}^{\mathrm{\infty }}{a}_n$ serisi sıfıra yakınsaktır; çünkü, serinin kısmî toplamları $S_N$ için $$S_N=\{\begin{array}{cc}\frac{1}{k}& ,3^k\le N<2\cdot 3^k\text{ ise }\\ 0& ,2\cdot 3^k\le N<3^{k+1}\text{ ise }\end{array}$$ olduğu görülebilir. $S_N$ dizisinin limiti elbette sıfırdır. Diğer taraftan, $G(z)$, birim disk $𝔻$'nin tıkız altkümeleri üzerinde mutlak ve düzgün yakınsaktır; bu yüzden, açık disk üzerinde holomorftur. Gerçekten, $|z|<1$ iken $$\left|\sum _{n=1}^{\mathrm{\infty }}{a}_n{z}^n\right|\le \sum _{n=1}^{\mathrm{\infty }}|a_n{z}^n|<\sum _{n=1}^{\mathrm{\infty }}|z{|}^n=\frac{1}{1-|z|}.$$ Diğer taraftan, benzer sebeplerle, $G(z)$ fonksiyonunu $\sum _{n>0}\frac{z^{3^n}-z^{2\cdot 3^n}}{n}$ olarak yazmanın sakıncası yoktur; çünkü, seri, iki yakınsak serinin farkı olarak yazılmıştır Ancak, teğet olmayan limit alınmadığında, meselâ, birim çember üzerinde $e^{\frac{i\pi }{3^n}}$ noktaları üzerinden limit alındığında seri harmonik serinin bir katı olarak ıraksak olacaktır. Bu yüzden, limitin teğet olmayan limit olması lazımdır.

Kanıt taslağı

Serideki ilk terimden gerekirse serinin değerini çıkararak $\sum _{k=0}^{\mathrm{\infty }}{a}_k=0$ varsayabiliriz. Kısmi toplamlar $s_n=\sum _{k=0}^n{a}_k$ ile gösterilsin. $a_k=s_k-s_{k-1}$ ifâdesini kullanarak ve seride birkaç basit işlemden sonra $$G_a(z)=(1-z)\sum _{k=0}^{\mathrm{\infty }}{s}_k{z}^k$$ elde ederiz. Herhangi bir $\epsilon >0$ değeri içi $n$ sayısını yeteri kadar büyük seçelim öyle ki bütün $k\ge n$ için $|s_k|<\epsilon$ olsun. O zaman, $z$ Stolz diliminin içindeyken $$|(1-z)\sum _{k=n}^{\mathrm{\infty }}{s}_k{z}^k|\le \epsilon |1-z|\sum _{k=n}^{\mathrm{\infty }}|z{|}^k=\epsilon |1-z|\frac{|z{|}^n}{1-|z|}<\epsilon M$$ olur. Bu nedenle, $z$, $1$'e yeteri kadar yakın olduğunda $$|(1-z)\sum _{k=0}^{n-1}{s}_k{z}^k|<\epsilon$$ olacaktır. Böylece, $z$, $1$'e yeteri kadar yakın olduğunda ve Stolz diliminin içindeyken $|G_a(z)|<(M+1)\epsilon$ olur.

Sonuçlar

Bu teoremin doğrudan bir sonucu olarak, eğer $z$ sıfırdan farklı bir karmaşık sayıysa ve bu $z$ için $\sum _{k=0}^{\mathrm{\infty }}{a}_k{z}^k$ serisi yakınsaksa, o zaman $\underset{z\to 1^{-}}{\lim }G(z)\to \mathrm{\infty }$ olur.

Stolz dilimi

$M$ 1.01'den 10'a kadar değişirken alınan 20 Stolz dilimi. Kırmızı çizgiler, bu dilimlere $z=1$ noktasındaki teğetlerdir ve aynı zamanda Stolz açısını da vermiş olurlar.

$\{z\in 𝔻:|1-z|\le M(1-|z|)\}$ şeklinde tanımlanan Stolz diliminin sınırları için $$y^2=-\frac{M^4(x^2-1)-2M^2((x-1)x+1)+2\sqrt{M^4(-2M^2(x-1)+2x-1)}+(x-1{)}^2}{(M^2-1{)}^2}$$ şeklinde açık bir denklem vardır. $x=\frac{1-M}{1+M}$ noktası bu dilimin en soldaki noktası olurken, en sağdaki nokta da $x=1$ olmaktadır. $x=1$ noktasındaki tepe açısı $2\theta$ olmaktadır ki bu açı ile $M$ arasında $\cos \theta =\frac{1}{M}$ ilişkisi vardır.

Örnekler

Abel teoreminin uygulaması olarak $$a_k=\frac{(-1{)}^k}{k+1}$$ ele alalım. Geometrik serinin, $-1<x<1$ iken yakınsak olduğu ve $\frac{1}{1-x}=\sum _{k=0}^{\mathrm{\infty }}{x}^k$ biliniyor. Diyelim ki, $0<z<1$ olsun. O zaman, $$\underset{-z}{\overset{0}{\int }}\frac{dx}{1-x}=\ln (1+z)$$ olurken diğer taraftan düzgün yakınsaklıktan $$\underset{-z}{\overset{0}{\int }}\sum _{k=0}^{\mathrm{\infty }}{x}^{k}dx=\sum _{k=0}^{\mathrm{\infty }}\underset{-z}{\overset{0}{\int }}{x}^{k}dx=z\sum _{k=0}^{\mathrm{\infty }}\frac{(-1{)}^k}{k+1}{z}^k$$ olur. Böylece, $0<z<1$ için bir taraftan $G_a(z)=\sum _{k=0}^{\mathrm{\infty }}\frac{(-1{)}^k}{k+1}{z}^k$ varken, aynı zamanda $$G_a(z)=\frac{\ln (1+z)}{z},0<z<1,$$ olmaktadır. O zaman, Abel teoremi sayesinde, $\sum _{k=0}^{\mathrm{\infty }}\frac{(-1{)}^k}{k+1}$ serisi $\ln 2$ değerine yakınsar.

Başka bir benzer örnek $$\sum _{k=0}^{\mathrm{\infty }}\frac{(-1{)}^k}{2k+1}$$ serisi için verilebilir. Ters tanjant fonksiyonu için

$\arctan (x)=\sum _{n=0}^{\mathrm{\infty }}(-1{)}^n\frac{x^{2n+1}}{2n+1}$

bilindiği için, $$\sum _{k=0}^{\mathrm{\infty }}\frac{(-1{)}^k}{2k+1}$$ serisi $\arctan 1=\frac{\pi }{4}$ değerine yakınsar.

Dış bağlantılar

• Şablon:PlanetMath (İngilizce) --(Bu tipteki Abel teoremlerine daha genel bir bakış veriliyor)
• Şablon:SpringerEOM(İngilizce)
• Şablon:MathWorld (İngilizce)

Ayrıca bakınız

• Abel testi