Legendren polynomi

Wikipedia
Loikkaa: valikkoon, hakuun
Viisi ensimmäistä Legendren polynomia.

Legendren polynomit eli Legendren funktiot ovat joukko polynomeja, jotka muodostavat ortogonaalisen joukon. Legendren polynomeja käytetään hyvin monenlaisissa yhteyksissä niin fysiikassa kuin matematiikassakin. Vaikka Legendren polynomit ovat nimensä mukaisesti polynomeja, luonteensa vuoksi niitä pidetään usein erikoisfunktioina. Legendren polynomit ovat erikoistapaus Legendren liittofunktioista.

Legendren polynomeja syntyy Legendren differentiaaliyhtälön

(1 - x^2)\frac{d^2 y}{dx^2} -2x\frac{dy}{dx} + n(n+1)y = 0

ratkaisuina, kun yhtälön ratkaisemiseen käytetyn potenssisarjan kertoimet ovat kertoimesta a_n lähtien nollia. Viisi ensimmäistä Legendren polynomia ovat

P_0(x) = 1\,
P_1(x) = x\,
P_2(x) = \frac{1}{2}(3x^2-1)\,
P_3(x) = \frac{1}{2}(5x^3-3x)\,
P_4(x) = \frac{1}{8}(35x^4 - 30x^2 +3)\,
P_5(x) = \frac{1}{8}(63x^5 - 70x^3 +15x)\,

(Huomaa, kuinka parittoman n:n polynomeissa esiintyy vain parittomia x:n potensseja ja parillisissa parillisia.) Legendren polynomit ovat ortogonaalisia välillä [-1,1], sillä minkä tahansa kahden polynomiin sisätulo

\langle P_n,P_m \rangle = \int_{-1}^{1} P_n(x) P_m(x) dx = 0

aina kun n \neq m. Muiden ortogonaalisten polynomien tapaan Legendren polynomeille on olemassa polynomeja generoiva Rodriguesin kaava. n:s Legendren polynomi saadaan laskettua kaavalla

P_n (x) = \frac{1}{2^n n!}\frac{d^n}{dx^n}[(x^2 - 1)^n],

mutta tämä on yleensä työlästä. Tehokkaampaa on käyttää rekursiokaavaa

(n+1)P_{n+1}(x) = (2n+1)xP_n(x) - nP_{n-1}(x)\,

jolla (n+1):s polynomi saadaan laskettua kun kaksi edellistä tunnetaan. Koska Legendren polynomit ovat ortogonaalisia, ne muodostavat funktioavaruuden kannan ja tämän vuoksi niitä voidaan käyttää muiden funktioiden ilmaisemiseen sarjakehitelmän avulla. Muita vastaavia tapoja ovat Taylorin ja Fourier'n sarjat. Funktiota f(x) vastaava Legendren sarjakehitelmä on muotoa

f(x) = c_0P_0(x) + c_1P_1(x) + c_2P_2(x) + \ldots = \sum_{k=0}^{\infty}c_kP_k(x).

Tässä esiintyvät kertoimet c_k saadaan laskettua Fourier'n sarjojen tapaan integroimalla

c_k = \frac{2k+1}{2}\int_{-1}^{1}f(x)P_k(x)dx

Legendren polynomikannassa kehitetty sarja on käyränsovituksessa erityisen tehokas, sillä riittävän säännöllisille funktioille kehitelmä antaa hyvän approksimaation jo varsin vähäisellä määrällä termejä. Lisäksi Taylorin sarjasta poiketen uusien termien ottaminen mukaan sovitukseen ei muuta jo laskettujen termien kertoimien c_k arvoa, eikä sovitusta tarvitse siis tehdä alusta alkaen uudestaan.

Usein Legendren polynomit kirjoitetaan tekemällä sijoitus x = \cos \theta. Tämä on ongelmatonta, koska ortogonaalisuusväli [-1,1] on sama kuin kosinin arvojoukko. Trigonometristen laskusääntöjen vuoksi polynomit saavat hieman poikkeavan muodon, eikä kyseessä enää tietysti ole polynomi vaan muu funktio. Viisi ensimmäistä Legendren polynomia ovat näin kirjoitettuna

P_0(\cos \theta) = 1\,
P_1(\cos \theta) = \cos \theta\,
P_2(\cos \theta) = \frac{1}{4}(1+3\cos(2\theta))\,
P_3(\cos \theta) = \frac{1}{8}(3\cos(\theta) + 5\cos(3\theta))\,
P_4(\cos \theta) = \frac{1}{64}(9+20\cos(2\theta) + 35\cos(4\theta)),
P_5(\cos \theta) = \frac{1}{128}(30\cos(\theta) + 35\cos(3\theta) + 63\cos(5\theta))\,

Näitä esitysmuotoja suositaan erityisesti fysiikassa.