title: Metodo dei minimi quadrati
text: # Metodo dei minimi quadrati
  
  Il metodo dei minimi quadrati (in inglese OLS: Ordinary Least Squares) è una tecnica di ottimizzazione (o regressione) che permette di trovare una funzione, rappresentata da una curva ottima (o curva di regressione), che si avvicini il più possibile ad un insieme di dati (tipicamente punti del piano). In particolare, la funzione trovata deve essere quella che minimizza la somma dei quadrati delle distanze tra i dati osservati e quelli della curva che rappresenta la funzione stessa. In questo caso, possiamo distinguere parabola dei minimi quadrati e retta dei minimi quadrati. Questo metodo converge solo nel suo caso limite a un'interpolazione, per cui di fatto si richiede che la curva ottima contenga tutti i punti dati.
  
  L'utilizzo più frequente è la deduzione dell'andamento medio in base ai dati sperimentali per l'estrapolazione fuori dal campo di misurazione. Anche altri problemi di ottimizzazione, come la minimizzazione dell'energia o la massimizzazione dell'entropia, possono essere riformulati in una ricerca dei minimi quadrati.
  
  ## Stimatori OLS
  
  Gli stimatori OLS sono:
  
  * pendenza = ${\hat {\beta _{1}}}={\frac {\sum _{i=1}^{n}(X_{i}-{\bar {X}})(Y_{i}-{\bar {Y}})}{\sum _{i=1}^{n}(X_{i}-{\bar {X}})^{2}}}={\frac {s_{XY}}{s_{X}^{2}}}$
  * intercetta = ${\hat {\beta _{0}}}={\bar {Y}}-{\hat {\beta _{1}}}{\bar {X}}$
  
  ## Assunzioni OLS
  
  ### Regressione lineare semplice
  
  Le assunzioni OLS sono:
  
      $Y_{i}=\beta _{0}+\beta _{1}X_{i}+u_{i}$, con i = 1, …, n
  * l'errore statistico $u_{i}$ ha media condizionata nulla data $X_{i}$, ovvero $E(u_{i}|X_{i})=0$;
  * $(X_{i},Y_{i}),i=1,\dots ,n$ sono estratti indipendentemente e identicamente distribuiti (i.i.d.) dalla loro distribuzione congiunta;
  * $(X_{i},Y_{i})$ hanno momenti quarti finiti non nulli.
  
  ### Regressione lineare multipla
  
  Le assunzioni OLS sono:
  
      $Y_{i}=\beta _{0}+\beta _{1}X_{1i}+\beta _{2}X_{2i}+\cdots +\beta _{k}X_{ki}+u_{i}$, con i = 1, …, n
  * l'errore statistico $u_{i}$ ha media condizionata nulla date $X_{1i},X_{2i},\cdots ,X_{ki}$, ovvero $E(u_{i}|X_{1i},X_{2i},\cdots ,X_{ki})=0$;
  * $(X_{1i},X_{2i},\cdots ,X_{ki},Y_{i}),i=1,\dots ,n$ sono estratti indipendentemente e identicamente distribuiti (i.i.d.) dalla loro distribuzione congiunta;
  * $(X_{1i},\cdots ,X_{ki},u_{i})$ hanno momenti quarti finiti non nulli;
  * non vi è collinearità perfetta.
  
  Da notare che l'ipotesi di media condizionale dell'errore nulla implica che:
  
  * anche la media non condizionata sia nulla. Dalla legge delle aspettative iterate segue infatti:
  
      $E(u_{i})=E(E(u_{i}|\mathbf {X} ))=E(0)=0$,
  * l'errore non sia correlato con i regressori, cioè la covarianza tra errore e regressori sia nulla:
  
      $Cov(u_{i},\mathbf {X} )=E((u_{i}-E(u_{i}))(\mathbf {X} -E(\mathbf {X} )))=E(u_{i}\mathbf {X} )=E_{\mathbf {X} }(E(u_{i}\mathbf {X} )|\mathbf {X} )=E_{\mathbf {X} }(E(u_{i}|\mathbf {X} )\mathbf {X} )=E_{\mathbf {X} }(0\cdot \mathbf {X} )=0$.
  
  ## Formulazione del problema
  
  Siano $(x_{i},y_{i})$ con $i=1,2,\dots ,n$ i punti che rappresentano i dati in ingresso. Si vuole trovare una funzione $f$ tale che approssimi la successione di punti dati. Questa può essere determinata minimizzando la distanza (euclidea) tra le due successioni $y_{i}$ e $f(x_{i})$, ovvero la quantità S :
  
      $S=\sum _{i=1}^{n}\left(y_{i}-f(x_{i})\right)^{2},$
  
  da cui il nome "minimi quadrati".
  
  Nei casi pratici in genere f(x) è parametrica: in questo modo il problema si riduce a determinare i parametri che minimizzano la distanza dei punti dalla curva. Naturalmente per ottenere un'unica curva ottimizzata e non un fascio, è necessario un numero di punti sperimentali maggiore del numero di parametri da cui dipende la curva (il problema in genere si dice sovradeterminato). In genere dai dati sperimentali ottenuti ci si aspetta una distribuzione regolata da relazioni determinate per via analitica; risulta utile quindi parametrizzare la curva teorica e determinare i parametri in modo da minimizzare S.
  
  ### Esempi
  
  * $y=bx+a$
  
  La funzione interpolante desiderata è una retta, i parametri sono due a e b: per essere determinati univocamente servono almeno due punti da interpolare.
  
  In tal caso è possibile scrivere in modo esplicito i valori dei parametri a e b.
  
  Si consideri di avere N coppie $(x_{i},y_{i})$. Allora i coefficienti sono:
  
      $b={\frac {N\sum (x_{i}y_{i})-\sum x_{i}\sum y_{i}}{N\sum (x_{i}^{2})-(\sum x_{i})^{2}}}$
      $a={\frac {\sum y_{i}\sum (x_{i}^{2})-\sum (x_{i})\sum (x_{i}y_{i})}{N\sum (x_{i}^{2})-(\sum x_{i})^{2}}}$
  * $f(x)=x^{a}$
  
  La funzione interpolante desiderata è una potenza e possiede un solo parametro; diversamente dall'esempio precedente la funzione non è lineare rispetto ai parametri.
  
  ## Soluzione del caso lineare
  
  Sia f(x) una funzione lineare rispetto ai parametri
  
      $f(x)=p_{1}f_{1}(x)+p_{2}f_{2}(x)+\dots +p_{k}f_{k}(x)$
  
  dove $p_i$ sono i k parametri, $k\ll n$ e n è il numero di punti noti.
  
  Si può riorganizzare la situazione attraverso il sistema lineare sovradimensionato
  
      $Ap\approx y$
  
  dove:
  
      $A={\begin{bmatrix}f_{1}(x_{1})&\dots &f_{k}(x_{1})\\\vdots &&\vdots \\f_{1}(x_{n})&\dots &f_{k}(x_{n})\end{bmatrix}},p={\begin{bmatrix}p_{1}\\\vdots \\p_{k}\end{bmatrix}},y={\begin{bmatrix}y_{1}\\\vdots \\y_{n}\end{bmatrix}}.$
  
  Da cui: $p_{1}f_{1}(x_{i})+p_{2}f_{2}(x_{i})+\dots +p_{k}f_{k}(x_{i})\approx y_{i}$
  
  Il problema di minimizzare S si riconduce dunque a minimizzare la norma del residuo
  
      $\|r\|=\|Ap-y\|,\|r\|^{2}=\|Ap-y\|^{2}=([Ap]_{1}-y_{1})^{2}+\dots +([Ap]_{n}-y_{n})^{2}=\sum _{i=1}^{n}(f(x_{i})-y_{i})^{2}=S$
  
  dove con $[Ap]_{i}$ si intende l'i-esima componente del vettore prodotto fra A e p.
  
  Possiamo minimizzare $\|r\|$ derivando $\|r\|^{2}$ rispetto a ciascun $p_m$ e ponendo le derivate pari a 0:
  
      ${\frac {d\|r\|^{2}}{dp_{m}}}=\sum _{i=1}^{n}2\left(\sum _{j=1}^{k}a_{ij}p_{j}-y_{i}\right)a_{im}=0$
  
  queste equazioni sono equivalenti al sistema:
  
      $(Ap-y)^{T}A=0$
  
  Quindi il vettore p che minimizza S è la soluzione dell'equazione:
  
      $A^{T}Ap=A^{T}y$
  
  Quest'ultima equazione è detta equazione normale. Se il rango di A è completo allora $A^{T}A$ è invertibile e dunque:
  
      $p=(A^{T}A)^{-1}A^{T}y$
  
  La matrice $(A^{T}A)^{-1}A^{T}$ è detta pseudo-inversa.
  
  ## Caso non lineare
  
  In molti casi la funzione $y=f(x;{\vec {a}})$ non è lineare, in questi casi non si può indicare un modo certo per ottenere i parametri. Nel tipico caso in cui la dimensione dello spazio dei parametri sia maggiore di 1, il problema diventa fortemente non lineare conviene ricorrere all'uso di programmi di analisi numerica specifici che minimizzi la variabile $\chi ^{2}$.
  
  Una delle librerie più famose per questo compito è MINUIT, inizialmente sviluppata al CERN in Fortran ed ora integrata nel più recente framework di analisi dati ROOT. Si segnalano per questo compito anche altre librerie come le Gnu Scientific Library.
  
  ## Minimi quadrati a due stadi - 2SLS o TSLS
  
  Questo metodo si utilizza quando quello dei minimi quadrati ordinari fallisce, perché la stima ottenuta è correlata all'errore. In questo caso si opera una regressione della variabile che si vuole stimare su una variabile strumentale che sia correlata alla variabile dipendente stessa, ma non al termine di errore. Ottenuta questa stima, la si utilizza per girare una nuova regressione che non dovrebbe dare problemi. Ovviamente il problema più grosso è trovare una variabile strumentale con le caratteristiche adeguate.
  
  È tipicamente utilizzato con le variabili strumentali.
  
  ### Assunzioni TSLS
  
  Le assunzioni OLS sono:
  
  * l'errore statistico $u_{i}$ ha media condizionata nulla: $E(u_{i}|W_{1i},\cdots ,W_{ri})=0$;
  * $(X_{1i},\cdots ,X_{ki},W_{1i},\cdots ,W_{ri},Z_{1i},\cdots ,Z_{mi},Y_{i})$ sono estratti indipendentemente e identicamenti distribuiti (i.i.d.) dalla loro distribuzione congiunta;
  * le X, i W e le Z hanno momenti quarti finiti non nulli;
  * non vi è collinearità perfetta;
  * valgono le condizioni di validità degli strumenti.
  