Kuvvet Serisi

Kuvvet serisi


Matematikte (tek değişkenli) kuvvet serisi

ş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:

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



Üstel fonksiyon (mavi renkli) ve bu fonksiyonun Maclaurin serisinin ilk n+1 teriminin toplamı (kırmızı renkli)

Ö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) = x2 + 2x + 3 polinomu c = 0 merkezi etrafında

şeklinde yazılabilir veya c = 1 merkezi etrafında

ş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 | < 1 için geçerli olan aşağıdaki geometrik seri formülü önemli kuvvet seri örneklerinden biridir

Bir diğer önemli örnek ise tüm gerçel xler için geçerli olan üstel fonksiyon ve sinüs fonksiyonudur Sırasıyla bu fonksiyonların kuvvet serisi açılımları ise şöyledir:

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

Kuvvet serilerinde, ö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, x1 / 2 örneğindeki gibi, kuvvetin kesirli sayı olmasına da izin verilmez (Puiseux serisine bakınız)

an katsayıları x 'e bağımlı olmamalıdır Mesela,

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

Burada, j = (j1, , jn) 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 = (c1, , cn) merkezi ve x = (x1, , xn) 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

ş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:

veya, dengi bir şekilde,

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

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

|x - c| = r eşitliğini sağlayan x değerleri için serinin yakınsak veya ıraksak olup olmadığını belirten genel bir ifade sözkonusu değildir Ancak; x değişkeninin gerçel olduğu durumlarda Abel teoremi işe yarayabilmektedir Abel teoremi ise şu şekilde ifade edilebilir: Eğer seri x noktasında yakınsak ise, o zaman seri x noktasında sürekli olmalıdır Değişken karmaşık değişken ise, sürekliliğin c 'den başlayan ve x te biten doğru boyunca olduğunu iddia edebiliriz

Ç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, serisi {(x1,x2): | x1x2 | < 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

ise, o zaman

Çarpma ve Bölme

Yukarıdaki tanımlara benzer bir şekilde, fonksiyonların çarpımının kuvvet serisi şu şekilde edilmektedir:

dizisi an ve bn 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:

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

olsun,

olduğundan, h(x) (en azından) mutlak yakınsaktır Ayrıca , f(x)'e eşit olduğundan, aşağıdaki integral eşitliği elde edilir:

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, an katsayıları şu şlekilde hesaplanabilir:

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(x1, x2, …, xn) 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