title: Funzione associata di Legendre
text: # Funzione associata di Legendre
  
  I polinomi associati di Legendre sono polinomi definibili direttamente a partire dai polinomi di Legendre, il cui impiego è particolarmente utile nella descrizione delle armoniche sferiche e quindi nella loro applicazione in meccanica quantistica.
  
  ## Definizione
  
  Sia $l$ un intero naturale, $P_{l}(u)$ il polinomio di Legendre di ordine $l$ ed $m$ un intero compreso tra $0$ ed $l$. Si definiscono le funzioni associate di Legendre come:
  
  $P_{lm}(u)=(1-u^{2})^{\frac {m}{2}}{\frac {d^{m}}{du^{m}}}P_{l}(u)$
  
  ovvero
  
  $P_{lm}(u)={\frac {(-1)^{l}}{2^{l}l!}}(1-u^{2})^{\frac {m}{2}}{\frac {d^{l+m}}{du^{l+m}}}(1-u^{2})^{l}$
  
  Si estende la definizione a valori negativi del secondo indice tramite l'espressione
  
  $P_{l,-m}(u)=(-1)^{m}{\frac {(l-m)!}{(l+m)!}}P_{lm}(u)$
  
  che conduce a
  
  $P_{lm}(u)=(-1)^{l+m}{\frac {(l+m)!}{(l-m)!}}{\frac {(1-u^{2})^{-{\frac {m}{2}}}}{2^{l}l!}}{\frac {d^{l-m}}{du^{l-m}}}(1-u^{2})^{l}$
  
  Queste definizioni permettono poi di esprimere le armoniche sferiche in funzione delle funzioni associate tramite la relazione
  
  $Y_{l}^{m}(\theta ,\varphi )={(-1)^{m}}\left\{{\frac {2l+1}{4\pi }}{\frac {(l-m)!}{(l+m)!}}\right\}^{\frac {1}{2}}P_{l}^{m}(\cos \theta )e^{im\varphi }$
  
  per valori positivi di $m$. Le armoniche sferiche con valori di $m$ negativi sono tutte a coefficiente positivo (senza considerare quindi il comportamento del Polinomio di Legendre e della funzione esponenziale) e si ottengono dalla seguente relazione
  
  $Y_{l}^{-m}(\theta ,\varphi )={(-1)^{m}}(Y_{l}^{m}(\theta ,\varphi ))^{*}$
  
  Ne consegue quindi che per valori di $m$ negativi le armoniche sferiche sono identiche alle stesse con $m$ positivi fuorché in alcuni aspetti:
  
  1) il segno del coefficiente è sempre positivo, anziché a segni alterni, poiché il termine $(-1)^{m}$ nell'armonica sferica moltiplica lo stesso $(-1)^{m}$ presente nella relazione sopra;
  
  2) la funzione esponenziale ha il segno dell'esponente invertito, perché si richiede il complesso coniugato dell'armonica sferica. Ciò non grava sul polinomio di Legendre perché esso è a variabile reale.
  
  