Kuvvet serisi açılımı bilinen fonksiyonlar kullanılarak yeni fonksiyonların kuvvet serisi açılımı bulunabilir. Bu amaçla kullanılabilecek yöntemlerden bazıları değişken değiştirme, toplama/çarpma gibi cebirsel işlemler, türev ve integraldir.
Bu bölümde bu yöntemlerin geometrik kuvvet serileri üzerindeki uygulamalarını göstereceğiz. Önümüzdeki Taylor ve Maclaurin serileri bölümünde bu yöntemlerin diğer pek çok fonksiyona da uygulanabileceğini göreceğiz.
Kuvvet serisi açılımı bilinen bir fonksiyonun tanımındaki ve açılımındaki değişkenlerin yerine farklı bir ifade konarak yeni bir fonksiyonun açılımı bulunabilir.
\( f(x) = \dfrac{1}{1 + x^2} \) fonksiyonunun kuvvet serisi açılımını bulalım.
Geometrik seri açılımını \( u \) değişkeni cinsinden aşağıdaki şekilde ifade edebiliriz.
\( \abs{u} \lt 1 \) olmak üzere,
\( \dfrac{1}{1 - u} = \displaystyle\sum_{n=0}^{\infty} {u^n} = 1 + u + u^2 + u^3 + u^4 + \ldots \)
Bu açılımı verilen fonksiyona benzetmek için aşağıdaki gibi değişken değiştirme uygulayalım.
\( u = -x^2 \)
\( \dfrac{1}{1 - (-x^2)} = \displaystyle\sum_{n=0}^{\infty} {(-x^2)^n} \)
Buna göre \( f \) fonksiyonunun kuvvet serisi açılımını aşağıdaki gibi buluruz.
\( \dfrac{1}{1 + x^2} = 1 - x^2 + x^4 - x^6 + x^8 + \ldots \)
Geometrik serinin yakınsaklık aralığını kullanarak \( f \) fonksiyonunun yakınsaklık aralığını bulalım.
\( \abs{u} = \abs{-x^2} \lt 1 \)
\( x^2 \lt 1 \)
\( -1 \lt x \lt 1 \)
Bulduğumuz aralığın uç noktalarındaki yakınsaklığı ayrıca kontrol edelim.
\( x = 1 \) için:
\( \displaystyle\sum_{n=0}^{\infty} {(-x^2)^n} = \displaystyle\sum_{n=0}^{\infty} {(-1)^n} \)
Iraksaklık testine göre, \( \lim\limits_{n \to \infty} (-1)^n \) limiti tanımsız olduğu için \( f(x) \) bu noktada ıraksaktır.
\( x = -1 \) için:
\( \displaystyle\sum_{n=0}^{\infty} {(-x^2)^n} = \displaystyle\sum_{n=0}^{\infty} {(-1)^n} \)
Iraksaklık testine göre, \( \lim\limits_{n \to \infty} (-1)^n \) limiti tanımsız olduğu için \( f(x) \) bu noktada ıraksaktır.
Buna göre \( f(x) \) serisi aşağıdaki aralıkta yakınsaktır ve yakınsaklık yarıçapı \( R = 1 \) olur.
\( -1 \lt x \lt 1 \)
Kuvvet serisi açılımı bilinen bir fonksiyonun tanımı ve açılımı aynı çarpanla çarpılarak yeni bir fonksiyonun açılımı bulunabilir.
\( f(x) = \dfrac{x^3}{1 - x} \) fonksiyonunun kuvvet serisi açılımını bulalım.
\( f \) fonksiyonunu düzenleyerek kuvvet serisi açılımını bildiğimiz geometrik seri formülüne benzetelim.
\( f(x) = x^3 \cdot \dfrac{1}{1 - x} \)
İkinci çarpanın kuvvet serisi açılımını yazalım.
\( = x^3\displaystyle\sum_{n=0}^{\infty} {x^n} \)
\( = x^3(1 + x + x^2 + x^3 + x^4 + \ldots) \)
\( = x^3 + x^4 + x^5 + x^6 + x^7 + \ldots \)
Bu seriyi toplam sembolü ile aşağıdaki şekilde yazabiliriz.
\( = \displaystyle\sum_{n=3}^{\infty} {x^n} \)
Elde ettiğimiz kuvvet serisi \( n = 3 \)'ten başlayan geometrik seridir.
Buna göre \( f(x) \) serisi aşağıdaki aralıkta yakınsaktır ve yakınsaklık yarıçapı \( R = 1 \) olur.
\( -1 \lt x \lt 1 \)
Bir fonksiyon farklı cebirsel işlemlerle de kuvvet serisi gösterimi bilinen bir fonksiyona benzetilebilir.
\( f(x) = \dfrac{1}{3 - 4x^2} \) fonksiyonunun kuvvet serisi açılımını bulalım.
\( f \) fonksiyonunu düzenleyerek kuvvet serisi açılımını bildiğimiz geometrik seri formülüne benzetelim.
\( f(x) = \dfrac{1}{3(1 - \frac{4x^2}{3})} \)
\( = \dfrac{1}{3} \cdot \dfrac{1}{1 - \frac{4x^2}{3}} \)
İkinci çarpan değişkeni \( \frac{4x^2}{3} \) olan geometrik serinin toplam formülüdür.
İkinci çarpanın kuvvet serisi açılımını yazalım.
\( = \dfrac{1}{3}\displaystyle\sum_{n=0}^{\infty} {\left( \frac{4x^2}{3} \right)^n} \)
\( = \dfrac{1}{3}\left( 1 + \dfrac{4x^2}{3} + \left( \dfrac{4x^2}{3} \right)^2 + \left( \dfrac{4x^2}{3} \right)^3 + \left( \dfrac{4x^2}{3} \right)^4 + \ldots \right) \)
\( = \dfrac{1}{3} + \dfrac{4x^2}{9} + \dfrac{16x^4}{27} + \dfrac{64x^6}{81} + \dfrac{256x^8}{243} + \ldots \)
Geometrik serinin yakınsaklık aralığını kullanarak \( f \) fonksiyonunun yakınsaklık aralığını bulalım.
\( \abs{\dfrac{4x^2}{3}} \lt 1 \)
\( -\dfrac{3}{4} \lt x^2 \lt \dfrac{3}{4} \)
\( -\dfrac{\sqrt{3}}{2} \lt x \lt \dfrac{\sqrt{3}}{2} \)
Yakınsaklık aralığının uç noktaları kuvvet serisinde yerine konduğunda iki durumda da ıraksak seri elde edildiği görülebilir.
Basit kesirlere ayırma yöntemi de bir fonksiyonun kuvvet serisi açılımını bulmak için kullanılabilir.
\( f(x) = \dfrac{3}{1 + x - 2x^2} \) fonksiyonunun kuvvet serisi açılımını bulalım.
Fonksiyonu basit kesirlerin toplamı şeklinde yazalım.
\( f(x) = \dfrac{1}{1 - x} + \dfrac{2}{1 + 2x} \)
\( f \) fonksiyonunun ikinci terimini düzenleyerek kuvvet serisi açılımını bildiğimiz geometrik seri formülüne benzetelim.
\( \dfrac{1}{1 - (-2x)} = \displaystyle\sum_{n=0}^{\infty} {(-2x)^n} = \displaystyle\sum_{n=0}^{\infty} {(-2)^nx^n} \)
Buna göre \( f \) fonksiyonunun kuvvet serisi açılımını aşağıdaki gibi buluruz.
\( f(x) = \displaystyle\sum_{n=0}^{\infty} {x^n} + 2\displaystyle\sum_{n=0}^{\infty} {(-2)^nx^n} \)
\( = \displaystyle\sum_{n=0}^{\infty} {(1 + 2(-2)^n)x^n} \)
\( f(x) \) fonksiyonunun ilk birkaç terimini listeleyelim.
\( = 3 - 3x + 9x^2 - 15x^3 + 33x^4 + \ldots \)
Oran testine göre, \( f(x) \) serisinin birinci teriminin yakınsaklık yarıçapı \( R_1 = 1 \), ikinci teriminin yakınsaklık yarıçapı \( R_2 = \frac{1}{2} \) olarak bulunur.
İki serinin yakınsaklık yarıçapları birbirinden farklı olduğu için, toplam serisinin yakınsaklık yarıçapı serilerin yakınsaklık yarıçaplarının en küçüğüne eşittir.
\( R_{f} = \min\{ R_1, R_2 \} = \min\left\{ 1, \dfrac{1}{2} \right\} = \dfrac{1}{2} \)
Buna göre verilen seri aşağıdaki aralıkta yakınsaktır.
\( -\dfrac{1}{2} \lt x \lt \dfrac{1}{2} \)
Kuvvet serisi açılımı bilinen bir fonksiyonun türevi alınarak yeni bir fonksiyonun açılımı bulunabilir.
\( f(x) = \dfrac{1}{(1 - x)^2} \) fonksiyonunun kuvvet serisi açılımını bulalım.
\( f \) fonksiyonu ile geometrik seri toplam formülü arasında aşağıdaki eşitliği kurabiliriz.
\( f(x) = \dfrac{1}{(1 - x)^2} = \left( \dfrac{1}{1 - x} \right)' \)
\( = \left( \displaystyle\sum_{n=0}^{\infty} {x^n} \right)' \)
\( = (1 + x + x^2 + x^3 + x^4 + \ldots)' \)
Bir kuvvet serisinin türevi, terimlerinin türevlerinin toplamına eşittir.
\( = 1 + 2x + 3x^2 + 4x^3 + \ldots \)
Bu seriyi toplam sembolü ile aşağıdaki şekilde ifade edebiliriz.
\( = \displaystyle\sum_{n=1}^{\infty} {nx^{n-1}} \)
Bu seri \( \sum {x^n} \) geometrik serisinin türevi olduğu için iki serinin yakınsaklık yarıçapları aynıdır.
\( -1 \lt x \lt 1 \)
Bulduğumuz aralığın uç noktalarına ıraksaklık testi uygulandığında her iki uç noktasında da serinin ıraksak olduğu görülebilir.
Benzer şekilde, kuvvet serisi açılımı bilinen bir fonksiyonun integrali alınarak da yeni bir fonksiyonun açılımı bulunabilir.
\( f(x) = \ln(1 - x) \) fonksiyonunun kuvvet serisi açılımını bulalım.
\( f \) fonksiyonu ile geometrik seri toplam formülü arasında aşağıdaki eşitliği kurabiliriz.
\( f(x) = \ln(1 - x) = -\displaystyle\int {\dfrac{1}{1 - x}\ dx} \)
\( = -\displaystyle\int {\displaystyle\sum_{n=0}^{\infty} {x^n}\ dx} \)
\( = -\displaystyle\int {(1 + x + x^2 + x^3 + x^4 + \ldots)\ dx} \)
Bir kuvvet serisinin integrali, terimlerinin integrallerinin toplamına eşittir.
\( = -\left( C + x + \dfrac{x^2}{2} + \dfrac{x^3}{3} + \dfrac{x^4}{4} + \ldots \right) \)
\( C \) integral sabitini bulmak için eşitlikte \( x = 0 \) yazalım.
\( \ln(1 - 0) = -\left( C + 0 + \dfrac{0^2}{2} + \dfrac{0^3}{3} + \dfrac{0^4}{4} + \ldots \right) \)
\( \ln{1} = -C \)
\( C = 0 \)
Bu seriyi toplam sembolü ile aşağıdaki şekilde ifade edebiliriz.
\( = -\displaystyle\sum_{n=1}^{\infty} {\dfrac{x^n}{n}} \)
Bu seri \( \sum {x^n} \) geometrik serisinin integrali olduğu için iki serinin yakınsaklık yarıçapları aynıdır.
\( -1 \lt x \lt 1 \)
Aralığın uç noktalarındaki yakınsaklığı ayrıca kontrol edelim.
\( x = 1 \) için:
\( -\displaystyle\sum_{n=1}^{\infty} {\dfrac{x^n}{n}} = -\displaystyle\sum_{n=1}^{\infty} {\dfrac{1}{n}} \)
Harmonik seri testine göre, \( f(x) \) bu noktada ıraksaktır.
\( x = -1 \) için:
\( -\displaystyle\sum_{n=1}^{\infty} {\dfrac{x^n}{n}} = -\displaystyle\sum_{n=1}^{\infty} {\dfrac{(-1)^n}{n}} \)
Alterne seri testine göre, \( f(x) \) bu noktada yakınsaktır.
Buna göre \( f(x) \) serisi aşağıdaki aralıkta yakınsaktır .
\( -1 \le x \lt 1 \)