De geassocieerde Legendrepolynomen of geassocieerde Legendreveeltermen zijn een familie wiskundige functies die gebruikt worden in de toegepaste wiskunde en de theoretische natuurkunde. Zij zijn een oplossing van de geassocieerde Legendrevergelijking. Ofschoon deze functies ook de vierkantswortel van
kunnen bevatten worden ze toch polynomen genoemd. Ze worden gekenmerkt door twee geheelwaardige parameters. De meest bekende toepassing is te vinden in de kwantummechanische beschrijving van het waterstofatoom, waar ze een deel van de oplossing van de schrödingervergelijking geven.
De geassocieerde Legendrefuncties zijn de algemene vorm van de geassocieerde Legendrepolynomen. Deze voldoen aan dezelfde differentiaalvergelijking, namelijk de geassocieerde Legendrevergelijking, maar de twee parameters hoeven dan geen gehele getallen meer te zijn.
Gebruik in de toegepaste wiskunde
De geassocieerde Legendrepolynomen komen in de wiskundige natuurkunde meestal voor als onderdeel van een grotere klasse van nuttige functies, de sferische harmonieken. Dit is bijvoorbeeld het geval in de golffunctie van het waterstofatoom. Deze golffunctie is de oplossing van de schrödingervergelijking, en wordt uitgeschreven in bolcoördinaten (r,θ,φ). De angulaire afhankelijkheid, beschreven door de hoeken θ en φ wordt bepaald door een eigenwaardevergelijking waarvan de sferische harmonieken de eigenfuncties zijn. Deze sferische harmonieken zijn het product van een complexe e-macht en een geassocieerde Legendrepolynoom, waarvan de parameters m en l overeenstemmen met twee van de kwantumgetallen van het waterstofatoom:
![{\displaystyle Y_{m}^{l}\,\simeq \,e^{jm\phi }\,P_{m}^{l}(cos\theta )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15efd372cb2e1c0a85d9fbc7def474c80b91f74b)
Omdat deze sferische harmonieken een orthogonaal stel functies vormen kunnen ze worden gebruikt om ingewikkelder functies in te ontbinden. Dit heeft tal van toepassingen, die allen te maken hebben met situaties waarin een verschijnsel dat in eerste benadering sferisch symmetrisch is, onderhevig is aan kleine perturbaties. Voorbeelden hiervan zijn trillingen van een bolvormig oppervlak zoals de zon of meer algemeen een ster, en details in de structuur van een zwaartekrachtveld ten gevolge van een niet homogene verdeling van de massa.
Definities
De geassocieerde Legendreveeltermen zijn de oplossingen van de geassocieerde Legendrevergelijking, een tweede orde differentiaalvergelijking:
![{\displaystyle (1-x^{2})\,y''-2xy'+\left(\ell [\ell +1]-{\frac {m^{2}}{1-x^{2}}}\right)\,y=0,\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c6716f9d1977e6e496dfe7e5ba97b5da42965b9)
Een equivalente vorm is:
![{\displaystyle ([1-x^{2}]\,y')'+\left(\ell [\ell +1]-{\frac {m^{2}}{1-x^{2}}}\right)\,y=0,\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ed59f8261c30d9fcb31c514da1b6556d4e5d30f)
De geassocieerde Legendreveeltermen worden gedefinieerd op het interval
[ −1,..,1] en zijn gekenmerkt door twee parameters. Dit zijn de graad, een natuurlijk getal
, en de orde, een geheel getal
:
- Voor waarden
:
![{\displaystyle P_{\ell }^{(m)}(x)=(-1)^{m}\left(1-x^{2}\right)^{m/2}{\frac {\mathrm {d} ^{m}}{\mathrm {d} x^{m}}}P_{\ell }(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2297a475ef796a651e269b6c3946c0a5139f4e12)
- waarbij
de gewone Legendre-polynomen zijn. De factor
is de zogenaamde Condon-Shortleyfase en wordt soms weggelaten. Men dient er zich dus steeds van te gewissen of dit gebeurd is of niet. Dit is vooral het geval indien men deze polynomen worden opgeroepen in wiskundige software. - Een alternatieve, geheel equivalente vorm is:
![{\displaystyle P_{\ell }^{m}(x)={\frac {(-1)^{m}}{2^{\ell }\ell !}}(1-x^{2})^{m/2}\ {\frac {d^{\ell +m}}{dx^{\ell +m}}}(x^{2}-1)^{\ell }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e9cb65722aeefacb0aec443a35e8d9bf3435bb2)
- Voor waarden van de parameter m die strikt negatief wordt de volgende betrekking gebruikt:
![{\displaystyle P_{\ell }^{-m}(x)=(-1)^{m}{\frac {(\ell -m)!}{(\ell +m)!}}P_{\ell }^{m}(x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37859b6eb3dafc06bfb02ae05ec48f1beb23d0c3)
- waarbij m zelf tussen 0 en
ligt.
Wanneer in deze definities m gelijkgesteld wordt aan 0 stemt de geassocieerde Legendreveelterm overeen met de gewone Legendreveelterm:
.
De veeltermen
Graad van de veeltermen
- Voor even waarden van
is de geassocieerde Legendreveelterm steeds een veelterm waarvan de graad gelijk is aan
.
- Voor oneven waarden van
bestaat de geassocieerde Legendreveelterm uit een echte veelterm van graad
vermenigvuldigd met een factor
.
Symmetrieën
Voor veeltermen P waarvan de som van de parameters
even is geldt dat P(-x) = P(x). Indien de som van de twee parameters oneven is, geldt juist dat P(-x) = P(-x).
De eerste paar veeltermen
De veeltermen, tot
= 4 zijn (een langere lijst is te vinden op de engelstalige pagina):
- Veelterm voor
= 0
![{\displaystyle P_{0}^{0}(x)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b007cf3fc31ba54e6687ebaf4173a750db9b5163)
- Veeltermen voor
= 1
![{\displaystyle P_{1}^{-1}(x)=-{\begin{matrix}{\frac {1}{2}}\end{matrix}}P_{1}^{1}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90bc4fd0374f5538c4ac1924f8073b3db9d4f512)
![{\displaystyle P_{1}^{0}(x)=x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5cbc5c8401f203235717efaffac52a6c243be793)
![{\displaystyle P_{1}^{1}(x)=-(1-x^{2})^{1/2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12f7afdf081ff902d0b7076810f654f1d573ac15)
- Veeltermen voor
= 2
![{\displaystyle P_{2}^{-2}(x)={\begin{matrix}{\frac {1}{24}}\end{matrix}}P_{2}^{2}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00824ecc6c4448448e43a1d935ede05d753ef21f)
![{\displaystyle P_{2}^{-1}(x)=-{\begin{matrix}{\frac {1}{6}}\end{matrix}}P_{2}^{1}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed44870954ae85e11dce256838009926c9acd92b)
![{\displaystyle P_{2}^{0}(x)={\begin{matrix}{\frac {1}{2}}\end{matrix}}(3x^{2}-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eefdaccac8036c3296341577408ce8c556045c36)
![{\displaystyle P_{2}^{1}(x)=-3x(1-x^{2})^{1/2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a489c4af25221d13e4d48377f7270228b2220922)
![{\displaystyle P_{2}^{2}(x)=3(1-x^{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/afef76e0a14da9d22b66e76cb6ed803ac02a2180)
- Veeltermen voor
= 3
![{\displaystyle P_{3}^{-3}(x)=-{\begin{matrix}{\frac {1}{720}}\end{matrix}}P_{3}^{3}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aabc72fb7f6e5cc54fa28a86996356b80aadc189)
![{\displaystyle P_{3}^{-2}(x)={\begin{matrix}{\frac {1}{120}}\end{matrix}}P_{3}^{2}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a50480c81ecaeba98907b757f5cfd116a7aebbf)
![{\displaystyle P_{3}^{-1}(x)=-{\begin{matrix}{\frac {1}{12}}\end{matrix}}P_{3}^{1}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1615063465cd940eda9b0dbf45adf042596c5b6)
![{\displaystyle P_{3}^{0}(x)={\begin{matrix}{\frac {1}{2}}\end{matrix}}(5x^{3}-3x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfd29a32be574470fe6a179e234c36b433479af9)
![{\displaystyle P_{3}^{1}(x)=-{\begin{matrix}{\frac {3}{2}}\end{matrix}}(5x^{2}-1)(1-x^{2})^{1/2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5211766a07da275a32f12935a5f501a2bdbaaca3)
![{\displaystyle P_{3}^{2}(x)=15x(1-x^{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9ada233de1ec431923a47f232b0e6fda1175cd36)
![{\displaystyle P_{3}^{3}(x)=-15(1-x^{2})^{3/2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6dbb745b90c4a91de3e7ebbd009e043597558adb)
- Veeltermen voor
= 4
![{\displaystyle P_{4}^{-4}(x)={\begin{matrix}{\frac {1}{40320}}\end{matrix}}P_{4}^{4}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a82290bfc268201bd1dbbf93995665a2037509e5)
![{\displaystyle P_{4}^{-3}(x)=-{\begin{matrix}{\frac {1}{5040}}\end{matrix}}P_{4}^{3}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e8c273930edfd5d67a4c667a4184d674e2090885)
![{\displaystyle P_{4}^{-2}(x)={\begin{matrix}{\frac {1}{360}}\end{matrix}}P_{4}^{2}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f074e637d1b5be93b9e91a08fddcb535ccad6755)
![{\displaystyle P_{4}^{-1}(x)=-{\begin{matrix}{\frac {1}{20}}\end{matrix}}P_{4}^{1}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f18080d02342ac8dab017bbdaf55924e4dfe3d0d)
![{\displaystyle P_{4}^{0}(x)={\begin{matrix}{\frac {1}{8}}\end{matrix}}(35x^{4}-30x^{2}+3)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c656be367321974ad08f7a1e2d8aed8c0c5ca6d)
![{\displaystyle P_{4}^{1}(x)=-{\begin{matrix}{\frac {5}{2}}\end{matrix}}(7x^{3}-3x)(1-x^{2})^{1/2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb8bef267b9e4abeec98455a271581bcf36ccb63)
![{\displaystyle P_{4}^{2}(x)={\begin{matrix}{\frac {15}{2}}\end{matrix}}(7x^{2}-1)(1-x^{2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/641702dbac92d2b1210f0dbe484550a1bacee3ef)
![{\displaystyle P_{4}^{3}(x)=-105x(1-x^{2})^{3/2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ce7eb51d0505a3a25f1cf13f853ec899776b0d1)
![{\displaystyle P_{4}^{4}(x)=105(1-x^{2})^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c2f887b854b4f408e65686288fed15a67fef1fb)
Andere eigenschappen
Orthogonaliteit
Voor waarden
geldt de orthogonaliteitseigenschap voor twee veeltermen met gelijke parameter m:
![{\displaystyle \int _{-1}^{1}P_{k}^{m}P_{\ell }^{m}dx={\frac {2(\ell +m)!}{(2\ell +1)(\ell -m)!}}\ \delta _{k,\ell }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec0eb4c02c667cedb115265579899a6262442862)
waarbij
de Kroneckerdelta is.
De orthogonaliteitseigenschap voor twee veeltermen met gelijke parameter
is:
![{\displaystyle \int _{-1}^{1}{\frac {P_{\ell }^{m}P_{\ell }^{n}}{1-x^{2}}}dx={\begin{cases}0&{\mbox{if }}m\neq n\\{\frac {(\ell +m)!}{m(\ell -m)!}}&{\mbox{if }}m=n\neq 0\\\infty &{\mbox{if }}m=n=0\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fd37d156f547da897edde3f15146c9d41ad2452)
Volgende recursieformules zijn geldig:
![{\displaystyle (\ell -m+1)P_{\ell +1}^{m}(x)=(2\ell +1)xP_{\ell }^{m}(x)-(\ell +m)P_{\ell -1}^{m}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8311695f778d8869e0a8b73e033b70bd04cc57f8)
![{\displaystyle 2mxP_{\ell }^{m}(x)={\sqrt {1-x^{2}}}\left[P_{\ell }^{m+1}(x)+(\ell +m)(\ell -m+1)P_{\ell }^{m-1}(x)\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/075391da83deacf5c5996b078cd95cbe139d5692)
![{\displaystyle P_{\ell +1}^{m}(x)=P_{\ell -1}^{m}(x)+(2\ell +1){\sqrt {1-x^{2}}}P_{\ell }^{m-1}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39938c25a5007fbb24f48cbb1bfe284e6dc5aec0)
![{\displaystyle {\sqrt {1-x^{2}}}P_{\ell }^{m+1}(x)=(\ell -m)xP_{\ell }^{m}(x)-(\ell +m)P_{\ell -1}^{m}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d9a57037d9fe8f4db9ab97aa90513e5576bf335)
![{\displaystyle (x^{2}-1){P_{\ell }^{m}}'(x)={\ell }xP_{\ell }^{m}(x)-(\ell +m)P_{\ell -1}^{m}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1134ff3726cc4be5fa95e139398b3e71e69ff2f)
![{\displaystyle (x^{2}-1){P_{\ell }^{m}}'(x)={\sqrt {1-x^{2}}}P_{\ell }^{m+1}(x)+mxP_{\ell }^{m}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2188d47a26cde5d66b9e254a8388ff61e674a52)
![{\displaystyle (x^{2}-1){P_{\ell }^{m}}'(x)=-(\ell +m)(\ell -m+1){\sqrt {1-x^{2}}}P_{\ell }^{m-1}(x)-mxP_{\ell }^{m}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d1df724467dadc2a6424cba84a5742c1974c127)
![{\displaystyle P_{\ell +1}^{\ell +1}(x)=-(2\ell +1){\sqrt {1-x^{2}}}P_{\ell }^{\ell }(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30079a29ca28ecc8fabd1c27327f6a57fbb4359f)
![{\displaystyle P_{\ell }^{\ell }(x)=(-1)^{l}(2\ell -1)!!(1-x^{2})^{(l/2)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d9f613f4cba645fc7642364992bd810f7f09f54e)
![{\displaystyle P_{\ell +1}^{\ell }(x)=x(2\ell +1)P_{\ell }^{\ell }(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aec54745b37efec4d6588d35d69576e78871bb1f)
In deze uitdrukkingen staat !! voor de dubbelfaculteit.
Goniometrische vorm
De geassocieerde Legendreveeltermen komen in de natuurkunde voor in een vorm waarbij de normale variabele x wordt vervangen door de cosinus van een hoek
. De veeltermen worden dan gegeven door:
![{\displaystyle P_{\ell }^{m}(\cos \theta )=(-1)^{m}(\sin \theta )^{m}\ {\frac {d^{m}}{d(\cos \theta )^{m}}}\left(P_{\ell }(\cos \theta )\right)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/680ccc748314650af33187e88a417dd509707277)
en zijn oplossing van de differentiaalvergelijking
![{\displaystyle {\frac {d^{2}y}{d\theta ^{2}}}+\cot \theta {\frac {dy}{d\theta }}+\left[\ell (\ell +1)-{\frac {m^{2}}{\sin ^{2}\theta }}\right]\,y=0\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/79f7a5c9f2adb4ccccddc68409223f9e08d96aba)
Bronnen
- (en) M. Abramowitz, I. Stegun eds (1965{, Handbook of mathematical functions, New York, Dover Publ., ISBN 978-0486612720
- (en) Refaat El Attar (2009), Legendre Polynomials and Functions, CreateSpace, ISBN 978-1441490124
- (en) Menzel D.H. (ed) 1960, Fundamental Formules of Physics New York, vol.1, Dover Publ., ISBN 0-486-60596-5
- De lijst van polynomen en de recursieformules werden overgenomen van de Engelstalige pagina van Wikipedia