Zugeordnete Legendrepolynome

Bei zugeordneten Legendrepolynomen bzw. assoziierten Legendrepolynomen, auch zugeordnete Kugelfunktionen genannt, handelt es sich um Funktionen, die in der Mathematik und theoretischen Physik verwendet werden. Da nicht alle zugeordneten Legendrepolynome wirklich Polynome sind, sprechen viele Autoren auch von zugeordneten bzw. assoziierten Legendrefunktionen.

Die zugeordneten Legendrepolynome sind die Lösungen der allgemeinen Legendregleichung:

$ (1-x^{2})\,{\frac {\mathrm {d} ^{2}\,y}{\mathrm {d} x^{2}}}-2x{\frac {\mathrm {d} y}{\mathrm {d} x}}+\left(\ell (\ell +1)-{\frac {m^{2}}{1-x^{2}}}\right)\,y=0 $

Diese gewöhnliche Differentialgleichung hat nicht-singuläre Lösungen im Intervall $ [-1,1] $ nur dann, wenn $ \ell \, $ und $ m\, $ ganzzahlig sind mit $ 0\leq m\leq \ell $.

Man begegnet der allgemeinen Legendregleichung (und damit den zugeordneten Legendrepolynomen) häufig in der Physik, insbesondere wenn eine sphärische Symmetrie vorliegt, wie beispielsweise im Zentralpotential. Hier lassen sich die Laplacegleichung sowie verwandte partielle Differentialgleichungen oft auf die allgemeine Legendregleichung zurückführen. Das prominenteste Beispiel hierfür ist die quantenmechanische Lösung der Energiezustände des Wasserstoffatoms.

Definition

Die zugeordneten Legendrepolynome für m=0 sind die gewöhnlichen Legendrepolynome.

Die zugeordneten Legendrepolynome werden als Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): P_\ell^{(m)}(x) bezeichnet. Am einfachsten lassen sie sich als Ableitungen von gewöhnlichen Legendrepolynomen definieren:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): P_\ell^{(m)}(x) = (-1)^m \left(1-x^2\right)^{m/2} \frac{\mathrm{d}^m}{\mathrm{d}x^m} P_\ell(x)

wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): P_\ell(x) das Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \ell -te Legendrepolynom ist

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): P_\ell(x) = \frac{1}{2^\ell \, \ell!} \, \frac{\mathrm{d}^\ell}{\mathrm{d}x^\ell} \left(x^2-1\right)^\ell .

Daraus ergibt sich

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): P_\ell^{(m)}(x) = \frac{(-1)^m}{2^\ell \, \ell!} \left(1-x^2\right)^{m/2} \frac{\mathrm{d}^{\ell+m}}{\mathrm{d}x^{\ell+m}} \left(x^2-1\right)^\ell.

Zusammenhang mit Legendrepolynomen

Die verallgemeinerte Legendregleichung geht für $ m=0 $ in die Legendregleichung über, sodass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): P_\ell^{(0)}(x) = P_{\ell}(x) gilt.

Orthogonalität

Für die zugeordneten Legendrepolynome gelten im Intervall Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): I = [-1,1] zwei Orthogonalitätsrelationen:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \int\limits_{-1}^{+1} P_\ell^{(m)}(x) \, P_k^{(m)}(x) \, \mathrm{d}x = \frac{2}{2\,\ell+1} \, \frac{(\ell+m)!}{(\ell-m)!} \, \delta_{\ell k}.

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \int\limits_{-1}^{+1} P_\ell^{(m)}(x) \, P_\ell^{(n)}(x) \cdot \frac{1}{1 - x^2} \, \mathrm{d}x = \frac{(\ell+m)!}{m(\ell-m)!} \, \delta_{mn}.

Das zweite Integral ist allerdings nur definiert, wenn entweder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): m oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): n ungleich 0 ist.

Zusammenhang mit der Einheitskugel

Am wichtigsten ist der Fall $ x=\cos \vartheta $. Die zugeordnete Legendre-Gleichung lautet dann

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \frac{\mathrm{d}^2 y}{\mathrm{d} \vartheta^2} + \frac{\cos \vartheta}{\sin \vartheta} \, \frac{\mathrm{d}y}{\mathrm{d} \vartheta} + \left[ \ell\,(\ell+1) - \frac{m^2}{\sin^2 \vartheta} \right] y = 0.

Da nach der Substitutionsregel

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \int_0^\pi f(\cos \vartheta) \sin \vartheta \, \mathrm{d} \vartheta = \int_{-1}^1 f(x) \mathrm{d}x

gilt, übertragen sich obige Orthogonalitätsrelationen ohne weiteres auf die Einheitskugel.

Über Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): P_\ell^{(m)}(\cos \vartheta) werden die sog. Kugelflächenfunktionen definiert als

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): Y_\ell^{(m)}(\varphi,\vartheta) = \sqrt{\frac{2\,\ell + 1}{4\,\pi} \, \frac{(\ell - m)!}{(\ell + m)!}} \, P_\ell^{(m)}(\cos \vartheta) \, \mathrm{e}^{i\,m\,\varphi},

welche auf der Einheitskugel ein vollständiges Orthonormalsystem bilden.

Die ersten zugeordneten Legendrepolynome

Für die zugeordneten Legendrepolynome gilt folgende Rekursionsformel

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): (\ell-m) \, P_\ell^{(m)}(x) = x\,(2\,\ell-1) \, P_{\ell-1}^{(m)}(x) - (\ell+m-1)\,P_{\ell-2}^{(m)}(x).

Die zugehörigen Startwerte der Rekursionsformel stellen sie wie folgt dar:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): P_m^{(m)}(x) = (-1)^{m} \cdot \frac{(2m)!}{2^m m!} \cdot \left( 1 - x^2 \right)^{m/2} \quad , \quad P_k^{m}(x) = 0 \;, \quad \forall k<m

Die Relation zwischen den assoziierten Legendre-Polynomen mit positiven und negativen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): m stellt sich wie folgt dar.

$ P_{\ell }^{(-m)}=(-1)^{m}{\frac {(\ell -m)!}{(\ell +m)!}}\cdot P_{\ell }^{(m)} $

Die ersten Legendrepolynomen bestimmen sich damit zu

Und mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \cos\vartheta als Argument

Zugeordnete Legendrefunktionen 2. Art

Ähnlich wie bei der Legendreschen Gleichung stellen die zugeordneten Legendrepolynome Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): P_\ell^{(m)}(x) nur eine Gruppe von Lösungsfunktionen der verallgemeinerten Legendreschen Gleichung dar. Die zugeordneten Legendrefunktionen 2. Art Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): Q_\ell^{(m)}(x) stellen ebenso Lösungen dar. Auch für sie gilt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): Q_\ell^{(0)} = Q_\ell mit den Legendrefunktionen 2. Art Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): Q_\ell(x) .

Weblinks

• Legendrefunktionen in der NIST Digital Library of Mathematical Functions (englisch)
• Eric W. Weisstein: Associated Legendre Polynomial. In: MathWorld (englisch).

Literatur

• Richard Courant, David Hilbert: Methoden der mathematischen Physik. 2 Bände. Springer Verlag, 1968
• Gerald Teschl: Mathematical Methods in Quantum Mechanics; With Applications to Schrödinger Operators. American Mathematical Society, 2009 (mat.univie.ac.at)