| Tähän artikkeliin tai osioon ei ole merkitty lähteitä, joten tiedot kannattaa tarkistaa muista tietolähteistä. Voit auttaa Wikipediaa lisäämällä artikkeliin tarkistettavissa olevia lähteitä ja merkitsemällä ne ohjeen mukaan. |
Legendren liittofunktiot ovat joukko funktioita, jotka tulevat usein vastaan erilaisissa fysiikan ja tekniikan sovelluksissa. Etenkin Laplacen yhtälön ratkaisussa pallokoordinaatistossa. Vaikka Legendren liittofunktiot voidaan lausua alkeisfunktioiden avulla, luonteensa vuoksi niitä pidetään usein erikoisfunktioina. Legendren liittofunktioista käytetään joskus myös nimitystä Legendren liittopolynomit tai assosioidut Legendren polynomit, vaikka vain osa liittofunktioista oikeastaan on polynomeja.
Legendren liittofunktiot
toteuttavat Legendren liittoyhtälön eli yleistetyn Legendren differentiaaliyhtälön
![{\displaystyle (1-x^{2}){\frac {d^{2}y}{dx^{2}}}-2x{\frac {dy}{dx}}+[n(n+1)-{\frac {m^{2}}{1-x^{2}}}]y=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68a20c029cd5502035ebca7e68f5a25a318d2418)
Yhtälössä esiintyvät parametrit
ja
ovat yleensä positiivisia kokonaislukuja ja niillä on ehto
, jotta yhtälöllä olisi muu ratkaisu kuin
. Ensimmäiset Legendren liittofunktiot ovat
![{\displaystyle P_{0}^{0}(x)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b007cf3fc31ba54e6687ebaf4173a750db9b5163)
![{\displaystyle P_{1}^{1}(x)=(1-x^{2})^{1/2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4be205da8221b3934c1052ad8a6be8df8b6b4df)
![{\displaystyle P_{1}^{2}(x)=3x(1-x^{2})^{1/2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3a454f98a02aed824fdee4285018a133d4f0e71)
![{\displaystyle P_{1}^{3}(x)={\frac {3}{2}}(5x^{2}-1)(1-x^{2})^{1/2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d2bfb52c077ea30120f255adb41bd1b7b36554aa)
![{\displaystyle P_{2}^{2}(x)=3(1-x^{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/afef76e0a14da9d22b66e76cb6ed803ac02a2180)
![{\displaystyle P_{2}^{3}(x)=15x(1-x^{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3327ce7f8aab516b988982168a4c5b2d06c73540)
![{\displaystyle P_{3}^{3}(x)=15(1-x^{2})^{3/2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30cf9d65df7eab21ec0e9e4a2ce861e51198a290)
Liittofunktiot ovat polynomeja vain jos
on parillinen. Erityisesti
,
mikä tekee Legendren polynomeista liittofunktioiden erikoistapauksen.
Vaikka kaikki liittofunktiot eivät ole polynomeja, niillä on ortogonaalisten polynomien ominaisuuksia. Esimerkiksi Legendren liittofunktioita tuottava Rodriguesin kaava on
![{\displaystyle P_{n}^{m}(x)={\frac {(1-x^{2})^{m/2}}{2^{n}n!}}{\frac {d^{n+m}}{dx^{n+m}}}(x^{2}-1)^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9e5cbcb5b95ce17d6604343ec43994aef488af19)
tai helpommin niitä voi laskea rekursiokaavoilla
![{\displaystyle (n-m+1)P_{n+1}^{m}(x)=(2n+1)xP_{n}^{m}(x)-(n+m)P_{n-1}^{m}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2213c38ab05e2cf165e9afcc18f05d9bb6cf19cf)
.
Ne ovat myös ortogonaalisia välillä
siten, että
![{\displaystyle \langle P_{n}^{m},P_{k}^{m}\rangle =\int _{-1}^{1}P_{n}^{m}(x)P_{k}^{m}(x)dx=0,\;n\neq k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34dbb5794a318bc6375c9d67cf5bb31ec192e428)
ja liittofunktiot negatiivisilla
:n arvoilla on helppo saada positiivisista vastaavista
.
Ortogonaalisten polynomien tapaan Legendren liittofunktiot muodostavat kantafunktiojoukon, jonka virittämässä kannassa voidaan esittää muita funktioita potenssisarjana. Legendren
:nsien liittofunktioiden avulla lausuttuna mielivaltaista funktiota
vastaa sarjakehitelmä
,
missä kertoimet
saadaan integraalista
.
Kuten Legendren polynomit, myös Legendren liittofunktiot voidaan lausua sijoituksella
. Tällöin ensimmäiset funktiot saavat muodot
![{\displaystyle P_{0}^{0}(\cos \theta )=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/09ee9b6e29cc822f359d4b926fd6424ad3539703)
![{\displaystyle P_{1}^{1}(\cos \theta )=-\sin \theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/ede6d21e327f7b0b1bf7ebd0b6cb9c4ea5090a45)
![{\displaystyle P_{2}^{1}(\cos \theta )=-3\cos \theta \sin \theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/7a2d8894235e88f317e41376c03b714d87d65c94)
![{\displaystyle P_{2}^{2}(\cos \theta )=3\sin ^{2}\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b3fd350cf8a9ce4f37c44b52fe07f30886e5ba2)
![{\displaystyle P_{3}^{1}(\cos \theta )=-{\frac {3}{2}}(5\cos ^{2}\theta -1)\sin \theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bcf17d53fa4e22bc452b029fba5d78374a7e3cc)
![{\displaystyle P_{3}^{2}(\cos \theta )=15\cos \theta \sin ^{2}\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e1b2dfc8171c4d2d3216aa3629ffeb405da7faa)
![{\displaystyle P_{3}^{3}(\cos \theta )=-15\sin ^{3}\theta }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f474840927d3a16cad2fc747ec7af7ec6d7d7023)
Tämä esitysmuoto on erityisen tärkeä, sillä sen avulla päästään käsiksi monissa yhteyksissä tärkeisiin palloharmonisiin funktioihin.