En matemàtiques, els polinomis associats de Legendre són les solucions de l'equació associada de Legendre
![{\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)
o, de forma equivalent,
![{\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)
on els índexs ℓ i m (els quals són enters) són, respectivament, el grau i l'ordre del polinomi associat de Legendre. Aquesta equació té solucions diferents de zero que són no singulars en [−1, 1] només si ℓ i m són enters amb 0 ≤ m ≤ ℓ, o amb valors negatius trivialment equivalents. Si a més m és parell, la funció és un polinomi. Quan m és zero i ℓ enter, aquestes funcions són idèntiques als polinomis de Legendre. En general, quan ℓ i m són enters, les solucions regulars de vegades són anomenades "polinomis associats de Legendre", fins i tot quan aquestes no són polinomis en el cas que m sigui imparell. La classe de funcions en el cas general amb valors reals o complexos de ℓ i m s'anomenen funcions de Legendre. En aquest cas els paràmetres s'acostumen a escriure amb lletres gregues.
L'equació diferencial ordinària de Legendre es troba freqüentment en física, a més d'altres camps.[1] En particular, aquesta equació apareix quan se soluciona l'equació de Laplace (o equacions en derivades parcials similars) en coordenades esfèriques. Els polinomis associats de Legendre exerceixen un paper vital en la definició dels harmònics esfèrics.
Definició per a valors no negatius de ℓ i m
Aquestes funcions són denotades com a
, on el superíndex indica l'ordre, i no la potència de P. La seva definició més directa es dona en termes de les derivades dels polinomis de Legendre ordinaris (m ≥ 0)
![{\displaystyle P_{\ell }^{m}(x)=(-1)^{m}(1-x^{2})^{m/2}{\frac {d^{m}}{dx^{m}}}(P_{\ell }(x))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56357768dbe901cd44c83774a65791c4aaebe9c6)
El factor (−1)m en aquesta fórmula és conegut com la fase de Condon–Shortley. Alguns autors l'ometen. Les funcions descrites per aquesta equació satisfan l'equació diferencial de Legendre donat un paràmetre ℓ, i m indica les vegades que es deriva l'equació de Legendre Pℓ[2]
![{\displaystyle (1-x^{2}){\frac {d^{2}}{dx^{2}}}P_{\ell }(x)-2x{\frac {d}{dx}}P_{\ell }(x)+\ell (\ell +1)P_{\ell }(x)=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1e9349741e5d5bd60e8d199a5570853e5f4fb34)
Com que per la fórmula de Rodrigues
![{\displaystyle P_{\ell }(x)={\frac {1}{2^{\ell }\,\ell !}}\ {\frac {d^{\ell }}{dx^{\ell }}}\left[(x^{2}-1)^{\ell }\right],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43ca96dae138d4dc21c8eb5ee22e0f3c09d8b2ae)
Pm
ℓ pot ser expressat de la forma
![{\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)
Aquesta equació permet l'extensió del rang de m a: −ℓ ≤ m ≤ ℓ. Les definicions de Pℓ±m obtingudes d'aquesta expressió per substitució de ±m són proporcionals
![{\displaystyle {\frac {d^{\ell -m}}{dx^{\ell -m}}}(x^{2}-1)^{\ell }=c_{lm}(1-x^{2})^{m}{\frac {d^{\ell +m}}{dx^{\ell +m}}}(x^{2}-1)^{\ell },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cc6d420043feea061f650c5d65d704073196870)
amb constant de proporcionalitat
![{\displaystyle c_{lm}=(-1)^{m}{\frac {(\ell -m)!}{(\ell +m)!}},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d0d5d6086252b0f4168f6dd086e3de68ef53761)
de manera que
![{\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)
Notacions alternatives
Les següents definicions alternatives també són usades en la literatura:[3]
![{\displaystyle P_{\ell m}(x)=(-1)^{m}P_{\ell }^{m}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2fcbdbdeec2e418e3495fbc4fcaa4c5b3c769712)
Ortogonalitat
Assumint que 0 ≤ m ≤ ℓ, aleshores se satisfà la condició d'ortogonalitat, per a un m fix:
![{\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)
On
és la delta de Kronecker.
Similarment, també se satisfà la condició de ortogonalitat per a un ℓ fix:
![{\displaystyle \int _{-1}^{1}{\frac {P_{\ell }^{m}P_{\ell }^{n}}{1-x^{2}}}dx={\begin{cases}0&{\mbox{si }}m\neq n\\{\frac {(\ell +m)!}{m(\ell -m)!}}&{\mbox{si }}m=n\neq 0\\\infty &{\mbox{si }}m=n=0\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92875bcf83d47b8018a500e46fea05376b699a52)
m i/o ℓ negatius
L'equació diferencial és clarament invariant sota un canvi de signe de m.
S'ha vist que per a les funcions amb un valor de m negatiu, aquestes han de ser proporcionals a les funcions amb un m positiu:
![{\displaystyle P_{\ell }^{-m}=(-1)^{m}{\frac {(\ell -m)!}{(\ell +m)!}}P_{\ell }^{m}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/217572311bd5a620769c77ece9684284fd98d9ab)
(Això s'obté de la definició de la fórmula de Rodrigues. Aquesta definició també fa que les diferents fórmules de recurrència funcionin per a valors de m positius o negatius.)
L'equació diferencial també és invariant sota un canvi de ℓ a -ℓ − 1, les funcions per a ℓ negatiu són definides per
![{\displaystyle P_{-\ell }^{m}=P_{\ell -1}^{m},\ (\ell =1,\,2,\,...)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ac2e5edf4672c89393c8ed8f7eff5d0842445b2)
Paritat
Partint de la seva definició, es pot verificar que les funcions associades de Legendre són o bé parelles o senars segons:
![{\displaystyle P_{\ell }^{m}(-x)=(-1)^{\ell +m}P_{\ell }^{m}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/65d075ed71572154909d3dedbb4a78837238bfca)
Els primers polinomis associats de Legendre
A continuació es mostren els primers polinomis associats de Legendre, incloent aquells pels quals es tenen valors negatius de m:[4]
![{\displaystyle P_{0}^{0}(x)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b007cf3fc31ba54e6687ebaf4173a750db9b5163)
![{\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)
![{\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)
![{\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)
![{\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)
Fórmules de recurrència
Aquestes funcions tenen algunes propietats de recurrència:
![{\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/16b8c51959e61b723fca74ad217ca195809a70d1)
![{\displaystyle {\frac {1}{\sqrt {1-x^{2}}}}P_{\ell }^{m}(x)={\frac {-1}{2m}}\left[P_{\ell -1}^{m+1}(x)+(\ell +m-1)(\ell +m)P_{\ell -1}^{m-1}(x)\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e697003e6ca8eba77eafc0ee9584a1bb0f73b97a)
![{\displaystyle {\frac {1}{\sqrt {1-x^{2}}}}P_{\ell }^{m}(x)={\frac {-1}{2m}}\left[P_{\ell +1}^{m+1}(x)+(\ell -m+1)(\ell -m+2)P_{\ell +1}^{m-1}(x)\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a85ac33b2bfe757e1c5680ce2bcb075febcb0258)
![{\displaystyle {\sqrt {1-x^{2}}}P_{\ell }^{m}(x)={\frac {1}{2\ell +1}}\left[(\ell -m+1)(\ell -m+2)P_{\ell +1}^{m-1}(x)-(\ell +m-1)(\ell +m)P_{\ell -1}^{m-1}(x)\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa0b88f261e938f80c8b93576b8bf3e290727722)
![{\displaystyle {\sqrt {1-x^{2}}}P_{\ell }^{m}(x)={\frac {1}{2\ell +1}}\left[P_{\ell -1}^{m+1}(x)-P_{\ell +1}^{m+1}(x)\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e801cdb77fcad6f2295e63b31913df8fb61bc4d8)
![{\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 {\sqrt {1-x^{2}}}P_{\ell }^{m+1}(x)=(\ell -m+1)P_{\ell +1}^{m}(x)-(\ell +m+1)xP_{\ell }^{m}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a47162c071aeba94c32e79ff03a52200962d716a)
![{\displaystyle {\sqrt {1-x^{2}}}{P_{\ell }^{m}}'(x)={\frac {1}{2}}\left[(\ell +m)(\ell -m+1)P_{\ell }^{m-1}(x)-P_{\ell }^{m+1}(x)\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2de809e31787d4d71c52128c036caa699e9e07ca)
![{\displaystyle (1-x^{2}){P_{\ell }^{m}}'(x)={\frac {1}{2\ell +1}}\left[(\ell +1)(\ell +m)P_{\ell -1}^{m}(x)-\ell (\ell -m+1)P_{\ell +1}^{m}(x)\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5916cd4857eff5cf32a3777650f46e43d2ca1a0)
![{\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)
Algunes identitats útils (valors inicials per a la primera recursió):
![{\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)
on !! és el doble factorial.
Referències
- ↑ Arfken G.B., Weber H.J., Mathematical methods for physicists, (2001) Academic Press, ISBN 0-12-059825-6 veure secció 12.5.
- ↑ Courant, Richard; Hilbert, David (1953), Methods of Mathematical Physics, Volume 1, New York: Interscience Publischer, Inc.
- ↑ Abramowitz, Milton; Stegun, Irene Ann, eds. (1983) [June 1964]. "Chapter 8". Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Applied Mathematics Series. 55. Washington D.C.; New York: United States Department of Commerce, National Bureau of Standards; Dover Publications. p. 332. ISBN 978-0-486-61272-0. LCCN 64-60036 & 65-12253. MR 0167642.
- ↑ Belousov, S. L. (1962), Tables of normalized associated Legendre polynomials, Mathematical tables Vol. 18, Pergamon Press, 379p.
Bibliografia
- A.R. Edmonds, Angular Momentum in Quantum Mechanics, (1957) Princeton University Press, ISBN 0-691-07912-9 veure capítol 2.
- I. O. Condon and G. H. Shortley, The Theory of Atomic Spectra, (1970) Cambridge, England: The University Press. OCLC 5388084 veure capítol 3
- F. B. Hildebrand, Advanced Calculus for Applications, (1976) Prentice Hall, ISBN 0-13-011189-9
Enllaços externs
- Weisstein, Eric W. Weisstein, Eric W., «Polinomis associats de Legendre» a MathWorld (en anglès).