Las funciones P_l^m(x) obtenidas a partir de los polinomios de Legendre P_l(x) mediante m derivadas y multiplicación por (1−x^2)^{m/2}: P_l^m(x) = (1−x^2)^{m/2} d^m/dx^m P_l(x); resuelven la ecuación diferencial de Legendre asociada para grado l y orden m enteros con |m| ≤ l.

Principio

Aparecen en la parte angular de la separación en coordenadas esféricas como el factor dependiente de θ de los armónicos esféricos; la orden m corresponde al número cuántico magnético y determina el comportamiento zonal en latitud.

Demostración

Para l = 2 y m = 1, P_2^1(x) es proporcional a (1−x^2)^{1/2} multiplicado por la derivada de P_2(x); estas funciones evaluadas en x = cosθ producen la dependencia en θ de Y_2^1(θ,φ).

Aplicación incorrecta

Usar P_l^m(x) fuera del dominio principal x ∈ [−1,1] sin considerar cortes de rama o sin pasar a las funciones de Legendre del segundo tipo puede dar resultados no físicos o multivaluados.

Consecuencia

Los polinomios de Legendre asociados proporcionan relaciones de ortogonalidad en θ, determinan los nodos angulares y las propiedades de paridad de los armónicos esféricos, y son esenciales para construir autofunciones angulares normalizadas.

Inversión

Sustituir l y m enteros por valores no enteros conduce a funciones de Legendre asociadas (no polinomiales) con propiedades analíticas distintas y a menudo con puntos de rama; se pierde la discreción de los números cuánticos angulares.

Límite

Definidos como polinomios para l entero ≥ 0 y m entero con |m| ≤ l, y normalmente considerados en x ∈ [−1,1]; la extensión a parámetros no enteros produce funciones de Legendre asociadas fuera de la clase de polinomios.

Tensión semántica

Existe tensión entre la presentación compacta como polinomios (útil para manipulaciones algebraicas) y su interpretación como casos particulares de funciones de Legendre asociadas más generales necesarias para parámetros complejos o continuos.

Síntesis

Los polinomios de Legendre asociados son los bloques angulares dependientes de θ de los armónicos esféricos: derivados de los polinomios de Legendre mediante diferenciación y ponderación, codifican la estructura de orden m, la ortogonalidad en [−1,1] y el patrón de nodos angulares de los estados de rotación.