# Kuvvet serisi
Matematikte (tek değişkenli) kuvvet serisi
f(x) = ∑_n=0^∞a_n ( x-c )^n = a_0 + a_1 (x-c)^1 + a_2 (x-c)^2 + a_3 (x-c)^3 + ⋯
şeklinde olan bir sonsuz seridir. Bu gösterimde "an", "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) = ∑_n=0^∞a_n x^n = a_0 + a_1 x + a_2 x^2 + a_3 x^3 + ….
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 + ⋯
ş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 + ⋯
ş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.
 1/1-x = ∑_n=0^∞x^n = 1 + x + x^2 + x^3 + ⋯.
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 = ∑_n=0^∞x^n/n! = 1 + x + x^2/2! + x^3/3! + ⋯,
 sin(x) = ∑_n=0^∞(-1)^n x^2n+1/(2n+1)! = x - x^3/3! + x^5/5! - x^7/7!+⋯,
Bu kuvvet serileri aynı zamanda birer Taylor serisi örneğidir.
Kuvvet serilerinde, 1 + x^-1 + x^-2 + ⋯ ö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 + ⋯ 
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,…,x_n) = ∑_j_1,…,j_n = 0^∞a_j_1,…,j_n ∏_k=1^n (x_k - c_k )^j_k.
Burada, "j" = ("j"1, ..., "j""n") bir doğal sayılar vektörüdür, "a"("j1...,jn") 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) = ∑_α∈ℕ^n a_α (x - c )^α
ş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 yakınsaksa ve |"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=lim inf_n→∞ |a_n|^-1/n
veya, dengi bir şekilde,
r^-1=lim sup_n→∞ |a_n|^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→∞|a_n+1a_n|
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"| < "r" değerlerini sağlayan "x" ler için mutlak yakınsaktır. {"x" : |"x" − "c"| < "r"} kümesinin her tıkız altkümesi içinse düzgün yakınsaktır. Başka bir deyişle, seri yakınsaklık dairesinin öziçinde mutlak ve tıkız bir şekilde yakınsaktır.
Çok değişkenli kuvvet serilerinin kuramı ve geliştirilmesi elde edilen yakısanlık bölgelerinin bir değişkenli kuvvet serilerininkine kıyasla çok farklı olmasından dolayı daha zordur. Örneğin, ∑_n=0^∞x_1^n x_2^n serisi { (x_1,x_2): |x_1 x_2| lt; 1} 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) = ∑_n=0^∞a_n (x-c)^n
g(x) = ∑_n=0^∞b_n (x-c)^n
ise, o zaman
f(x)±g(x) = ∑_n=0^∞(a_n ±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) = (∑_n=0^∞a_n (x-c)^n)(∑_n=0^∞b_n (x-c)^n)
 = ∑_i=0^∞∑_j=0^∞a_i b_j (x-c)^i+j
 = ∑_n=0^∞(∑_i=0^n a_i b_n-i) (x-c)^n.
m_n = ∑_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)g(x) = ∑_n=0^∞a_n (x-c)^n∑_n=0^∞b_n (x-c)^n = ∑_n=0^∞d_n (x-c)^n
 f(x) = (∑_n=0^∞b_n (x-c)^n)(∑_n=0^∞d_n (x-c)^n).


### 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^'(x) = ∑_n=1^∞a_n n ( x-c )^n-1= ∑_n=0^∞a_n+1 (n+1 ) ( x-c )^n
h (x) = ∑_n=1^∞a_nn+1 ( x-c )^n+1 olsun,
≤/|a_n| olduğundan, h(x) (en azından) mutlak yakınsaktır. Ayrıca h^'(x), f(x)'e eşit olduğundan, aşağıdaki integral eşitliği elde edilir:
∫_y^z f(x) dx = ∑_n=0^∞a_n ( z-c )^n+1/n+1 - ∑_n=0^∞a_n ( y-c )^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 = f^( n )( c )/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" ("n")("c") = "g" ("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 derecesini "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.