Potenssisarja

Potenssisarja on sellainen sarjakehitelmä, joka (yhden muuttujan tapauksessa) on muotoa

$f(x)=a_0+a_1(x-c)+a_2(x-c{)}^2+a_3(x-c{)}^3+\dots =\sum _{i=0}^{\mathrm{\infty }}{a}_i(x-c{)}^i$.

Tyypillinen potenssisarja on jotakin funktiota kuvaava Taylorin sarja. Usein funktion kehittäminen potenssisarjaksi tapahtuu origon ympäristössä, jolloin $c=0$ ja kehitelmä saa yksinkertaisemman muodon

$f(x)=a_0+a_{1}x+a_2{x}^2+a_3{x}^3+\dots =\sum _{i=0}^{\mathrm{\infty }}{a}_i{x}^i$

Polynomit ovat potenssisarjojen erikoistapauksia, joissa summaus on äärellinen. Potenssisarjat ovat hyvin käyttökelpoisia työkaluja ja niitä tulee vastaan monissa yhteyksissä. Analyysissä potenssisarjat ovat perustyökaluja, mutta niitä tarvitaan myös muun muassa todennäköisyyslaskennassa (generoivat funktiot), elektroniikassa (Z-muunnos) tai lukuteoriassa (p-adiset luvut ja desimaaliesitykset).

Sarjakehitelmän neliö

Sarjakehitelmän neliön tarkastelemiseksi olkoon funktion f(x) sarjakehitelmä

$f(x)=a_0+a_{1}x+a_2{x}^2+a_3{x}^3+...=$ $\sum _{n=0}^{\mathrm{\infty }}{a}_n{x}^n$

Tämän neliö on

$f^2(x)=$ $\sum _{m=0}^{\mathrm{\infty }}{a}_m{x}^m$ $\sum _{n=0}^{\mathrm{\infty }}{a}_n{x}^n=$ $\sum _{m=0}^{\mathrm{\infty }}\sum _{n=0}^{\mathrm{\infty }}{a}_m{a}_n{x}^{m+n}=$ $\sum _{m=0}^{\mathrm{\infty }}\sum _{p=m}^{\mathrm{\infty }}{a}_m{a}_{p-m}{x}^p$

jossa p = m + n ja on käytetty hyväksi ehtoa, että kertoimen a alaindeksi ei saa olla negatiivinen:

$p-m\ge 0$

eli

$p\ge m$

Tiedosto:Mp-taso.jpg

mp-taso

Oheiseen kuvaan viitaten on sama käydäänkö indeksialue läpi edestakaisin vasemmalta oikealle vai alhaalta ylös. Tämä vastaa summien järjestyksen vaihtamista, joten saadaan

$f^2(x)=$ $\sum _{p=0}^{\mathrm{\infty }}\sum _{m=0}^p{a}_m{a}_{p-m}{x}^p$

Merkitään tässä vielä

$b_p=$ $\sum _{m=0}^p{a}_m{a}_{p-m}$

jolloin voidaan kirjoittaa

$f^2(x)=$ $\sum _{n=0}^{\mathrm{\infty }}{b}_n{x}^n$

jossa siis kertoimet b saadaan alkuperäisen sarjakehitelmän kertoimista

$b_n=$ $\sum _{m=0}^n{a}_m{a}_{n-m}$