Die Funktionen P_l^m(x), die aus den Legendre‑Polynomen P_l(x) durch m‑maliges Differenzieren und Multiplikation mit (1−x^2)^{m/2} gewonnen werden: P_l^m(x) = (1−x^2)^{m/2} d^m/dx^m P_l(x); sie lösen die zugehörige Legendre‑Differentialgleichung für ganzzahliges Grad l und Ordnung m mit |m| ≤ l.

Prinzip

Sie entstehen aus dem Winkelteil bei der Variablentrennung in Kugelkoordinaten als θ‑abhängiger Faktor der Kugelflächenfunktionen; die Ordnung m entspricht der magnetischen Quantenzahl und kontrolliert das zonale Verhalten in der Breite.

Demonstration

Für l = 2 und m = 1 ist P_2^1(x) proportional zu (1−x^2)^{1/2} mal der Ableitung von P_2(x); diese Funktionen, ausgewertet bei x = cosθ, liefern die θ‑Abhängigkeit von Y_2^1(θ,φ).

Fehlanwendung

P_l^m(x) außerhalb des Hauptdefinitionsbereichs x ∈ [−1,1] zu verwenden, ohne Verzweigungsschnitte zu berücksichtigen oder auf Legendre‑Funktionen zweiten Typs zu wechseln, kann zu nicht‑physikalischen oder mehrdeutigen Ergebnissen führen.

Konsequenz

Assoziierte Legendre‑Polynome liefern Orthogonalitätsrelationen in θ, bestimmen Winkelknoten und Paritätseigenschaften der Kugelflächenfunktionen und sind unerlässlich für den Aufbau normierter Winkel‑Eigenfunktionen.

Umkehrung

Ersetzt man ganze l und m durch nicht‑ganzzahlige Werte, erhält man assoziierte Legendre‑Funktionen (keine Polynome) mit anderen analytischen Eigenschaften und meist Verzweigungspunkten; die diskreten Drehimpulsquantenzahlen gehen verloren.

Abgrenzung

Als Polynome definiert für ganze l ≥ 0 und ganze m mit |m| ≤ l und üblicherweise betrachtet auf x ∈ [−1,1]; die Erweiterung auf nicht‑ganzzahlige Parameter führt zu assoziierten Legendre‑Funktionen außerhalb der Polynomklasse.

Semantische Spannung

Es besteht Spannung zwischen der kompakten Darstellung als Polynome (praktisch für algebraische Manipulationen) und der Interpretation als Spezialfälle allgemeinerer assoziierter Legendre‑Funktionen, die für komplexe oder kontinuierliche Parameter nötig sind.

Synthese

Assoziierte Legendre‑Polynome sind die θ‑abhängigen Bausteine der Kugelflächenfunktionen: sie werden durch Differentiation und Gewichtung der Legendre‑Polynome gebildet, kodieren die Ordnung m, die Orthogonalität auf [−1,1] und das Muster der Winkelknoten von Rotations‑Eigenzuständen.