# Sommatoria

La sommatoria è un simbolo matematico che abbrevia, in una notazione sintetica, la somma di un certo insieme di addendi. La notazione prevede:
* una lettera, il sigma maiuscolo: $\sum$
* una lettera chiamata indice della sommatoria (spesso si usano le lettere $k$, $i$, $j$ o $n$ minuscole)
* un'espressione algebrica alla destra del sigma in cui può comparire l'indice della sommatoria
* un intervallo di valori (interi) in cui può variare l'indice da indicare sopra e sotto il sigma.
Nel caso più generale possibile abbiamo quindi una scrittura del tipo
    $\sum _{k=m}^{n}f(k),$
dove $m$ e $n$ sono dei numeri interi, detti rispettivamente limite inferiore della sommatoria e limite superiore della sommatoria. La scrittura si legge "sommatoria per $k$ che va da $m$ a $n$ di $f(k)$". Con questa notazione si indica la somma di tutti gli addendi che si ottengono sostituendo all'indice $k$ di $f(k)$ tutti i valori interi che vanno dal numero $m$ al numero $n$ compresi.
    $\sum _{k=m}^{n}f(k)=f(m)+f(m+1)+f(m+2)+\ldots +f(n-1)+f(n).$

## Esempi

Se $f(k)=0$
    $\sum _{k=1}^{3}0=0+0+0=0.$
Se $f(k)=1$
    $\sum _{k=0}^{5}1=1+1+1+1+1+1=6.$
Se $f(k)=k^{2}$
    $\sum _{k=4}^{10}k^{2}=4^{2}+5^{2}+6^{2}+7^{2}+8^{2}+9^{2}+10^{2}=371.$
Oppure se $f(m)=m$
    $\sum _{m=1}^{10}m=1+2+3+4+5+6+7+8+9+10=55.$

## Sommatorie infinite

È anche possibile utilizzare questa notazione per somme di un numero infinito di termini; esse sono chiamate serie infinite. Al posto di $n$ sopra il simbolo di sommatoria si usa il simbolo di infinito ($\infty$). La somma di una serie siffatta è definita come il limite della somma dei primi $n$ termini, al crescere di $n$ oltre un qualsivoglia valore. In formule,
    $\sum _{i=m}^{\infty }x_{i}:=\lim _{n\to \infty }\sum _{i=m}^{n}x_{i}.$
Si può anche rimpiazzare $m$ con un infinito negativo, e avere
    $\sum _{i=-\infty }^{\infty }x_{i}:=\lim _{n\to \infty }\sum _{i=-n}^{m}x_{i}+\lim _{n\to \infty }\sum _{i=m+1}^{n}x_{i},$
per un intero a scelta $m$, ammesso che entrambi i limiti esistano.

## Altri usi

È in uso lo stesso simbolo anche per descrivere somme i cui addendi non sono in corrispondenza con i numeri interi, ma soddisfano condizioni più generali, come ad esempio
    $\sum _{d|n}f(d),$
dove la somma si estende a tutti i numeri che dividono un dato numero $n$,
    $\sum _{0\leq x<100 \atop x\in \mathbb {Z} }f(x)$
la somma di $f(x)$ su tutti gli $x$ interi nell'intervallo specificato,
    $\sum _{x\in S}f(x)$
la somma su tutti gli $x$ appartenenti all'insieme $S$.
Nella matematica del continuo, l'equivalente della somma è l'integrale.
Per sommatorie coinvolgenti vettori, matrici e tensori, Albert Einstein introdusse una notazione semplificata che da lui prende nome.

## Proprietà della sommatoria
### Proprietà associativa-dissociativa

Nella notazione di sommatoria vale la seguente uguaglianza:
    $\sum _{k=N}^{M}f(k)\pm \sum _{k=N}^{M}g(k)=\sum _{k=N}^{M}f(k)\pm g(k).$
Si noti che perché l'uguaglianza sia valida, i limiti superiori ed inferiori delle due sommatorie devono essere uguali, altrimenti l'uguaglianza non è valida.
Sviluppando le due sommatorie:
    $\sum _{k=N}^{M}f(k)\pm \sum _{k=N}^{M}g(k)=(f(N)+f(N+1)+f(N+2)+\ldots +f(M))\pm (g(N)+g(N+1)+g(N+2)+\ldots +g(M)),$
eliminando le parentesi:
    $(f(N)+f(N+1)+f(N+2)+\ldots +f(M))\pm (g(N)+g(N+1)+g(N+2)+\ldots +g(M))=f(N)+f(N+1)+f(N+2)+\ldots +f(M)\pm g(N)\pm g(N+1)\pm g(N+2)\pm \ldots \pm g(M),$
e applicando la proprietà associativa dell'addizione:
    $f(N)+f(N+1)+f(N+2)+\ldots +f(M)\pm g(N)\pm g(N+1)\pm g(N+2)\pm \ldots \pm g(M)=(f(N)\pm g(N))+(f(N+1)\pm g(N+1))+(f(N+2)\pm g(N+2))+\ldots +(f(M)\pm g(M)),$
si può riscrivere la somma nella seguente forma:
    $(f(N)\pm g(N))+(f(N+1)\pm g(N+1))+(f(N+2)\pm g(N+2))+\ldots +(f(M)\pm g(M))=\sum _{k=N}^{M}f(k)\pm g(k),$
da cui:
    $\sum _{k=N}^{M}f(k)\pm \sum _{k=N}^{M}g(k)=\sum _{k=N}^{M}f(k)\pm g(k).$

### Proprietà distributiva

Nella notazione di sommatoria vale la seguente uguaglianza:
    $a\cdot \sum _{k=N}^{M}f(k)=\sum _{k=N}^{M}a\cdot f(k),$
questo vuol dire che un fattore indipendente dall'indice che si trova all'interno di una sommatoria può essere estratto da essa e, viceversa, un fattore esterno alla sommatoria può essere portato al suo interno.
Sviluppando la sommatoria:
    $a\cdot \sum _{k=N}^{M}f(k)=a\cdot (f(N)+f(N+1)+f(N+2)+\ldots +f(M))$
e applicando la proprietà distributiva della moltiplicazione:
    $a\cdot (f(N)+f(N+1)+f(N+2)+\ldots +f(M))=a\cdot f(N)+a\cdot f(N+1)+a\cdot f(N+2)+\ldots +a\cdot f(M),$
si può riscrivere la somma nella seguente forma:
    $a\cdot f(N)+a\cdot f(N+1)+a\cdot f(N+2)+\ldots +a\cdot f(M)=\sum _{k=N}^{M}a\cdot f(k),$
da cui
    $a\cdot \sum _{k=N}^{M}f(k)=\sum _{k=N}^{M}a\cdot f(k).$
Dalla dimostrazione si può dedurre che questa proprietà è equivalente alla proprietà distributiva della moltiplicazione rispetto all'addizione. Ovviamente questa proprietà vale anche nel caso in cui un rapporto abbia una sommatoria al numeratore, infatti:
    ${\frac {\sum _{k=N}^{M}f(k)}{a}}={\frac {1}{a}}\sum _{k=N}^{M}f(k)=\sum _{k=N}^{M}{\frac {1}{a}}f(k)=\sum _{k=N}^{M}{\frac {f(k)}{a}}\Rightarrow {\frac {\sum _{k=N}^{M}f(k)}{a}}=\sum _{k=N}^{M}{\frac {f(k)}{a}}.$
Scomposizione:
    $\sum _{k=1}^{n+m}a_{k}=\sum _{k=1}^{n}a_{k}+\sum _{k=n+1}^{n+m}a_{k}.$
Traslazione di indici:
    $\sum _{k=1}^{n}a_{k}=\sum _{k=1+m}^{n+m}a_{k-m}.$

#### Traslazione dei limiti superiore ed inferiore

Nel caso in cui il termine della sommatoria sia un polinomio la traslazione dei limiti superiore e inferiore può essere fatta alterando opportunamente i soli termini dipendenti dall'indice:
    $\sum _{x=B+1}^{C}3x^{2}-3x+1=\sum _{x=1}^{C-B}3(x+B)^{2}-3(x+B)+1.$
Riflessione di indici:
    $\sum _{k=1}^{n}a_{k}=\sum _{k=1}^{n}a_{n-k+1}=\sum _{k=0}^{n-1}a_{n-k}$. Più in generale abbiamo (quando $n>m$): $\sum _{k=m}^{n}a_{k}=\sum _{k=m}^{n}a_{n-k+m}.$

## Alcune identità in cui compaiono sommatorie

La formula per la somma di tutti gli interi da $m$ a $n$ è
    $\sum _{i=m}^{n}i={\frac {(n-m+1)(n+m)}{2}}.$       Esempio: $\sum _{i=10}^{15}i={\frac {(15-10+1)(15+10)}{2}}={\frac {150}{2}}=75.$
Consideriamo la somma degli interi da $3$ ($m$) a $7$ ($n$), abbiamo $3+4+5+6+7$, aggiungiamo e togliamo tutti i numeri che precedono il $3$ cioè nel nostro caso $1+2$ che sarebbe la somma dei primi numeri interi da $1$ a $n$, $n$ è $2$ ovvero 3-1=2 (m-1). La nostra somma diventa: $1+2+3+4+5+6+7-(1+2).$ Possiamo notare che il risultato è la differenza tra la somma degli interi da $1$ a $n$ meno la somma degli interi da $1$ a $m-1$, la somma degli $n$ interi partendo da $1$ è la formula di Gauss che trovò da giovane:
    ${\frac {n(n+1)}{2}}.$
Per la somma degli interi da $1$ a $m-1$ abbiamo:
    ${\frac {(m-1)(m-1+1)}{2}}$
    ${\frac {m(m-1)}{2}}.$
Il nostro risultato sarebbe la differenza fra i due, ovvero:
    ${\frac {n(n+1)}{2}}-{\frac {m(m-1)}{2}}.$
Con alcuni passaggi algebrici sviluppiamo e troviamo la nostra formula compatta:
    ${\frac {n^{2}+n-m^{2}+m}{2}}$
    ${\frac {n^{2}-m^{2}+n+m}{2}}$
    $n^{2}-m^{2}=(n+m)(n-m)$
    ${\frac {(n+m)(n-m)+n+m}{2}}$
    ${\frac {(n-m+1)(n+m)}{2}}.$
Quindi in particolare la somma dei primi $n$ interi positivi è
    $\sum _{i=0}^{n}i=\sum _{i=1}^{n}i={\frac {n(n+1)}{2}}.$          Esempio: $\sum _{i=0}^{10}i=\sum _{i=1}^{10}i={\frac {10(10+1)}{2}}={\frac {110}{2}}=55.$
La formula della somma dei primi $n$ quadrati invece è
    $\sum _{i=0}^{n}i^{2}=\sum _{i=1}^{n}i^{2}={\frac {n(n+1)(2n+1)}{6}}.$    Esempio: $\sum _{i=0}^{5}i^{2}=\sum _{i=1}^{5}i^{2}={\frac {5(5+1)(2\cdot 5+1)}{6}}={\frac {330}{6}}=55$; $\sum _{i=1}^{5}i^{2}=1^{2}+2^{2}+3^{2}+4^{2}+5^{2}=55.$
Da queste formule si può anche ricavare quella relativa alla somma dei primi $n$ cubi.
Una relazione che lega i primi $n$ cubi ai primi $n$ numeri è la seguente:
    $\sum _{i=1}^{n}i^{3}=\left(\sum _{i=1}^{n}i\right)^{2}.$               Esempio: $\sum _{i=1}^{3}i^{3}=1^{3}+2^{3}+3^{3}=36=(1+2+3)^{2}.$
Si dimostra per induzione.
Base dell'induzione: per $n=1$ si ha: $\sum _{i=1}^{1}i^{3}=\left(\sum _{i=1}^{1}i\right)^{2}$
    $1^{3}=1^{2}$ cioè $1=1.$
Passo induttivo: Assumiamo vera l'ipotesi per $n$
Si ha quindi: $1^{3}+2^{3}+3^{3}+\ldots +n^{3}=(1+2+3+\ldots +n)^{2}.$
Poiché il secondo membro dell'equazione è una serie aritmetica elevata al quadrato si ha:
    $1^{3}+2^{3}+3^{3}+\ldots +n^{3}=\left[{\frac {n(n+1)}{2}}\right]^{2}.$
Dimostriamo che vale per $n+1.$
    $1^{3}+2^{3}+3^{3}+\ldots +n^{3}+(n+1)^{3}=\left[{\frac {n(n+1)}{2}}\right]^{2}+(n+1)^{3}=(n+1)^{2}\left({\frac {n^{2}+4n+4}{4}}\right)=(n+1)^{2}\left({\frac {n+2}{2}}\right)^{2}=\left({\frac {(n+1)(n+2)}{2}}\right)^{2}.$
E questa è esattamente la formula per $n+1$. Questo teorema ci dice inoltre che la somma dei primi $n$ cubi è data da: $\left({\frac {n(n+1)}{2}}\right)^{2}$
Tuttavia la dimostrazione qui sopra, per induzione, non è una dimostrazione "costruttiva", in quanto assume che sia da dimostrare che:
    $\sum _{i=1}^{n}i^{3}=\left(\sum _{i=1}^{n}i\right)^{2}$
senza dare alcuna giustificazione da dove questa formula provenga.
Una dimostrazione "costruttiva" di questo assunto può essere questa:
Partiamo dalla formula:
    $\left(\sum _{i=0}^{n}i\right)^{2}=\sum _{i=0}^{n}i^{2}+2\sum _{i=0}^{n-1}i\sum _{m=i+1}^{n}m.$
Questa formula è un modo generale per scrivere il quadrato di un polinomio (compaiono infatti tutti i termini quadrati e tutti i doppi prodotti) applicato al quadrato della somma dei primi $n$ numeri naturali.
Si può quindi procedere a risolvere le sommatorie di cui si conosce la somma, ricordando che:
    $\sum _{i=0}^{n}i={\frac {n(n+1)}{2}}$
e che
    $\sum _{i=k}^{n}i={\frac {n(n+1)}{2}}-{\frac {k(k-1)}{2}}$
(poiché $\sum _{i=k}^{n}i=\sum _{i=0}^{n}i-\sum _{i=0}^{k-1}i$),
da cui:
    ${\frac {n^{2}(n+1)^{2}}{4}}=\sum _{i=0}^{n}i^{2}+2\sum _{i=0}^{n-1}i\left[{\frac {n(n+1)}{2}}-{\frac {i(i+1)}{2}}\right]$
    ${\frac {n^{2}(n+1)^{2}}{4}}=\sum _{i=0}^{n}i^{2}+n(n+1)\sum _{i=0}^{n-1}i-\sum _{i=0}^{n-1}i^{3}-\sum _{i=0}^{n-1}i^{2}.$
Considerando che:
    $\sum _{i=0}^{n-1}i^{2}=\left(\sum _{i=0}^{n}i^{2}\right)-n^{2},$
si può semplificare il termine $\sum _{i=0}^{n}i^{2}$, ottenendo:
    ${\frac {n^{2}(n+1)^{2}}{4}}=n(n+1){\frac {(n-1)n}{2}}-\sum _{i=0}^{n-1}i^{3}+n^{2}$
da cui si ricava:
    $\sum _{i=0}^{n-1}i^{3}={\frac {n^{2}(n-1)^{2}}{4}},$
o, facendo finire la sommatoria a $n$:
    $\sum _{i=0}^{n}i^{3}={\frac {n^{2}(n+1)^{2}}{4}}.$
    $\sum _{i=1}^{n}\left(\sum _{k=1}^{i}k\right)={\frac {n(n+1)(n+2)}{6}}.$