Kuvvet serisi

Matematikte (tek değişkenli) **kuvvet serisi**

:f(x) = \sum_{n=0}^\infty a_n \left( x-c \right)^n = a_0 + a_1 (x-c)^1 + a_2 (x-c)^2 + a_3 (x-c)^3 + \cdots

şeklinde olan bir sonsuz seridir. Bu gösterimde *a<sub>n</sub>*, *n* 'inci terimin katsayısı, *c* bir sabit ve *x* de *c* etrafında değerler alan değişkendir. Bu sebeple, yukarıdaki gösterimdeki gibi bir kuvvet serisine bazen *c* merkezli seri de denmektedir.

Kuvvet serileri genelde bir fonksiyonun Taylor serisi olarak karşımıza çıkmaktadır. *c* 'nin *0* olduğu da oldukça fazladır ki bu durumların en yaygın örneği ise Maclaurin serisidir. O zaman yukarıdaki seri açılımını daha basit bir halde aşağıdaki gibi yazabiliriz:

:
f(x) = \sum_{n=0}^\infty a_n x^n = a_0 + a_1 x + a_2 x^2 + a_3 x^3 + \ldots.


Bu tür kuvvet serileri karşımıza analizde, kombinatorikte (üreteç fonksiyon adı altında) ve elektrik mühendisliğinde (Z-dönüşümü adı altında) çıkmaktadır. Gerçel sayıların ondalık gösterimi de aslında bir kuvvet serisinin bir noktadaki değeri olarak görülebilir. Bu gösterimde, ondalık gösterimdeki virgülden sonraki her rakam yukarıda bahsedilen katsayılar olmaktadır. Kuvvet serisinin merkezi *0* ve *x* 'in değeri de *1/10* alınır. Sayılar teorisinde, p-sel sayılar kavramı da aynı zamanda kuvvet serileriyle yakından alakalıdır.

## Örnekler
Her polinom belli bir terimden sonraki bütün katsayıları *0* olmak üzeri bir kuvvet serisi şeklinde yazılabilir. Örneğin, f(x) = x^2 + 2x + 3 polinomu c=0 merkezi etrafında 
::f(x) = 3 + 2 x + 1 x^2 + 0 x^3 + 0 x^4 + \cdots 
şeklinde yazılabilir veya c=1 merkezi etrafında
::f(x) = 6 + 4 (x-1) + 1(x-1)^2 + 0(x-1)^3 + 0(x-1)^4 + \cdots 
şeklinde yazılabilir. Aslında, her *c* merkezi etrafında yazılabilir. 
Kuvvet serileri her ne kadar polinom olmasalar da bir diğer bakış açısıyla aslında "sonsuz dereceli polinomlar" gibi görülebilir.

|x| için geçerli olan aşağıdaki geometrik seri formülü önemli kuvvet seri örneklerinden biridir.

:: \frac{1}{1-x} = \sum_{n=0}^\infty x^n = 1 + x + x^2 + x^3 + \cdots.
Bir diğer önemli örnek ise tüm gerçel *x*ler için geçerli olan üstel fonksiyon ve sinüs fonksiyonudur. Sırasıyla bu fonksiyonların kuvvet serisi açılımları ise şöyledir:

:: e^x = \sum_{n=0}^\infty \frac{x^n}{n!} = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots,

:: \sin(x) = \sum_{n=0}^\infty \frac{(-1)^n x^{2n+1}}{(2n+1)!} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!}+\cdots,

Bu kuvvet serileri aynı zamanda birer Taylor serisi örneğidir.

Kuvvet serilerinde, 1 + x^{-1} + x^{-2} + \cdots örneğinde olduğu gibi negatif kuvvetlere izin verilmez. Bu tür negatif kuvvete sahip seriler Laurent serisi örneğidir ve kuvvet serisi sayılmazlar. Benzer bir şekilde, x^{1/2} örneğindeki gibi, kuvvetin kesirli sayı olmasına da izin verilmez (Puiseux serisine bakınız).

a_n katsayıları *x* 'e bağımlı olmamalıdır. Mesela,
:\sin(x) x + \sin(2x) x^2 + \sin(3x) x^3 + \cdots \, 
bir kuvvet serisi değildir.

## Birden çok değişkenli kuvvet serileri
Bir değişkenli kuvvet serilerinin daha fazla değişkeni içeren kuvvet serilerine genelleştirilmeleri çok değişkenli hesap için gereklidir. Çok değişkenli bir kuvvet serisi aşağıdaki şekilde olan bir seridir.

::
f(x_1,\dots,x_n) = \sum_{j_1,\dots,j_n = 0}^{\infty}a_{j_1,\dots,j_n} \prod_{k=1}^n \left(x_k - c_k \right)^{j_k}.

Burada, *j* = (*j*1, ..., *j**n*) bir doğal sayılar vektörüdür, *a*(*j<sub>1</sub>,...,j<sub>n</sub>*) katsayıları ise genellikle gerçel veya karmaşık sayıdır. Yine, *c* = (*c*1, ..., *c**n*) merkezi ve *x* = (*x*1, ..., *x**n*) değişkeni ise gerçel ve karmaşık vektör olarak alınırlar.

Çoklu indeks gösterimi kullanıldığında ise aynı seriyi

::
f(x) = \sum_{\alpha \in \mathbb{N}^n} a_{\alpha} \left(x - c \right)^{\alpha}


şeklinde yazabiliriz.

## Yakınsaklık yarıçapı

Bir kuvvet serisi belli *x* değerleri için yakınsak ve yine belli *x* değerleri için ıraksak olabilir. Bütün kuvvet serileri *x* = *c* noktasında yakınsaktır ve serinin değeri bu noktada ilk katsayısına eşittir. Bütün kuvvet serileri için **[[yakınsaklık yarıçapı]]** adı verilen bir r sayısı vardır ve bu sayı 0 ≤ *r* ≤ ∞ koşulunu sağlamaktadır. Yakınsaklık yarıçapının tanımı ise şu şekilde yapılmaktadır: Tanımdaki gibi bir kuvvet serisini alalım. Eğer bu seri bir *r* sayısı için |*x* − *c*|  *r* koşuluna uyan tüm *x* değerleri için ıraksaksa, o zaman *r* 'ye bu serinin yakınsaklık yarıçapı adı verilir. Burada dikkat edilmesi gereken, yakınsaklık yarıçapının tanımında verilen her iki koşulun, yani yakınsaklık ve ıraksaklık koşullarının, eşitlik durumunu içermemesidir. Kuvvet serisinin yakınsaklık yarıçapı olan *r* sayısı şu şekillerde de bulunabilir:

:r=\liminf_{n\to\infty} \left|a_n\right|^{-\frac{1}{n}}
veya, dengi bir şekilde,

r^{-1}=\limsup_{n\to\infty} \left|a_n\right|^{\frac{1}{n}}.
 
Son verilen formül, Cauchy–Hadamard teoremi olarak da anılmaktadır. (Gösterimin daha ayrıntılı bir açıklaması için limsup ve liminf maddelerine bakınız). yakınsaklık yarıçapını hesaplamanın hızlı bir yolu, eğer limit varsa

:r^{-1}=\lim_{n\to\infty}\left|{a_{n+1}\over a_n}\right|

formülünü uygulamaktır. Seriyi yakınsak yapan *x* leri içeren kümenin öziçine **yakınsaklık bölgesi** adı verilir ve bu bölgelere *x* lerin hangi uzaydan değer aldığına bağlı olarak *yakınsaklık aralığı*, *yakınsaklık dairesi*, *yakınsaklık yuvarı* gibi değişik adlar da verilmektedir.

Kuvvet serisi |*x* - *c*|  \sum_{n=0}^\infty x_1^n x_2^n serisi \{ (x_1,x_2): |x_1 x_2|  kümesi içinde, yani iki hiperbolün arasında mutlak yakınsaktır.

## Kuvvet serileriyle işlemler
### Toplama ve Çıkarma
*f* ve *g* fonksiyonları aynı bir *c* merkezi etrafında kuvvet serisi iseler, o zaman bu serilerin toplamları ve farkları terim bazında toplama ve çıkarma işlemleri yapılarak elde edilir. Yani, eğer

:f(x) = \sum_{n=0}^\infty a_n (x-c)^n
:g(x) = \sum_{n=0}^\infty b_n (x-c)^n
ise, o zaman
:f(x)\pm g(x) = \sum_{n=0}^\infty (a_n \pm b_n) (x-c)^n.

### Çarpma ve Bölme
Yukarıdaki tanımlara benzer bir şekilde, fonksiyonların çarpımının kuvvet serisi şu şekilde edilmektedir:

: f(x)g(x) = \left(\sum_{n=0}^\infty a_n (x-c)^n\right)\left(\sum_{n=0}^\infty b_n (x-c)^n\right)

: = \sum_{i=0}^\infty \sum_{j=0}^\infty  a_i b_j (x-c)^{i+j}

: = \sum_{n=0}^\infty \left(\sum_{i=0}^n a_i b_{n-i}\right) (x-c)^n.

m_n = \sum_{i=0}^n a_i b_{n-i} dizisi a_n ve b_n dizilerinin girişimi olarak bilinmektedir.

Bölme içinse aşağıda verilen işlemler göz önüne alınmalı ve daha sonra terimler karşılaştırılarak işlem yapılmalıdır:

: {f(x)\over g(x)} = {\sum_{n=0}^\infty a_n (x-c)^n\over\sum_{n=0}^\infty b_n (x-c)^n} = \sum_{n=0}^\infty d_n (x-c)^n

: f(x) = \left(\sum_{n=0}^\infty b_n (x-c)^n\right)\left(\sum_{n=0}^\infty d_n (x-c)^n\right).

### Türev ve İntegral
Eğer bir fonksiyon kuvvet serisi şeklinde verilirse, bu fonksiyonun yakınsaklık bölgesi içinde terim bazında türevlenebilirdir. 
::
f^\prime (x) = \sum_{n=1}^\infty a_n n \left( x-c \right)^{n-1}= \sum_{n=0}^\infty a_{n+1} \left(n+1 \right) \left( x-c \right)^{n}


::h (x) = \sum_{n=1}^\infty {a_{n}\over n+1}\ \left( x-c \right)^{n+1} olsun,

\frac \leq|a_n| olduğundan, h(x) (en azından) mutlak yakınsaktır. Ayrıca h^\prime (x), f(x)'e eşit olduğundan, aşağıdaki integral eşitliği elde edilir:

::
\int_y^z \! f(x)\,dx =   \sum_{n=0}^\infty \frac{a_n \left( z-c \right)^{n+1}} {n+1} - \sum_{n=0}^\infty \frac{a_n \left( y-c \right)^{n+1}} {n+1}  .\,


Ortaya çıkan bu her iki seri de ilk seriyle aynı yakınsaklık bölgesine sahiptirler.

## Analitik fonksiyonlar
**R** veya **C** 'nin açık bir *U* altkümesinde tanımlı bir *f* fonksiyonu, eğer yerel anlamda bir kuvvet serisi tarafından ifade edilebiliyorsa *f* 'ye analitik fonksiyon adı verilir. Yani, her *a* ∈ *U* için, *a* 'nın açık bir *V*(⊆ *U*) komşuluğu vardır öyle ki *a* merkezli bir kuvvet serisi vardır ve her *x* ∈ *V* için *f*(*x*) 'e yakınsar.

Pozitif yakınsaklık yarıçapına sahip her kuvvet serisi yakınsaklık bölgesinin öziçindeki her noktada analitiktir. Bütün holomorf fonksiyonlar karmaşık-analitiktir. Analitik fonksiyonların toplamları, farkları ve çarpımları analitiktir. Payda sıfır olmadığı zaman, analitik fonksiyonların bölümleri de analitiktir.

Eğer bir fonksiyon analitikse, o zaman sonsuz kere türevlenbilir. Ancak, gerçel durumda bunun tersi geçerli değildir. Yani bir fonksiyonun sonsuz kere türevlenebiilir olması analitik olduğunu göstermez. Analitik bir fonksiyon için, *a**n* katsayıları şu şlekilde hesaplanabilir:

::
a_n = \frac {f^{\left( n \right)}\left( c \right)} {n!}.


Burada, f^{(n)}(c) *f* 'nin *c* noktasındaki *n* 'inci türevini göstermektedir ve f^{(0)}(c) = f(c) dir. Yani, her analitik fonksiyon yerel anlamda fonksiyonun kendi Taylor serisi tarafından temsil edilir.

Analitik fonksiyonun heryerel ifadesi ise tamamen fonksiyonun yerel ifadesi tarafından şu şekilde belirlenir: *f* ve *g* bağlantılı bir *U* kümesi üzerinde tanımlı iki analitik fonksiyon ise ve her *n* ≥ 0 için *f*&nbsp;(*n*)(*c*) = *g*&nbsp;(*n*)(*c*) eşitliğini sağlayan bir *c*∈*U*  varsa, o zaman tüm *x* ∈ *U* için *f*(*x*) = *g*(*x*) eşitliği vardır.

## Kuvvet serisinin mertebesi
α, bir *f*(*x*1, *x*2, ..., *x**n*) kuvvet serisi için çoklu indeks olsun. O zaman *f* kuvvet serisinin **derece**sini *a*α ≠ 0 koşulunun sağlayan en küçük |α| değeri veya *f* ≡ 0 ise 0 olarak tanımlarız. Tek değişkenli kuvvet serisinde durum o zaman *f* 'nin derecesi sıfır katsayıya sahip olmayan *x* kuvvetlerinin en küçüğüdür. Aynı tanım Laurent serilerine de genişletilebilir.

## Ayrıca bakınız
* Taylor serisi
* Laurent serisi

## Kaynakça

## Dış bağlantılar
* 
* 
* Complex Power Series Module by John H. Mathews
* Powers of Complex Numbers  by Michael Schreiber, Wolfram Demonstrations Project.