Serie geometrica

In matematica, una serie geometrica è una serie tale per cui il rapporto tra due termini successivi è costante.

Definizione

La serie geometrica è una serie del tipo $\sum _{k=0}^{\mathrm{\infty }}{x}^k$. In modo equivalente, può essere definita come il limite della successione delle somme parziali $\{s_n:n\in \mathbb{N}\}$, in cui:

$s_n=\sum _{k=0}^n{x}^k=1+x+x^2+\dots +x^n.$

La somma parziale $n$-esima di una serie geometrica è dunque la somma per $k$ che va da zero ad $n$ di $x^k$. Il rapporto di ogni termine della somma rispetto al termine precedente è costantemente uguale a $x$ ed è detto ragione della serie.

Questo tipo di serie ricorre con una particolare frequenza nell'analisi degli algoritmi; in molti casi il valore di questi ultimi può essere calcolato direttamente con le formule illustrate successivamente. Una delle espressioni più comuni è proprio la somma parziale della nota serie geometrica.

Formule

Possiamo dimostrare che $\sum _{k=0}^n{x}^k=\frac{1-x^{n+1}}{1-x}$ in diversi modi.

Osserviamo che tale formula è valida per $x\ne 1$, se $x=1$ la somma vale banalmente $1+n$.

Se la serie non parte da $0$, ma da un altro termine $m$, allora

$\sum _{k=m}^n{x}^k=\frac{x^m-x^{n+1}}{1-x}.$

Derivando la somma rispetto a $x$ si possono trovare formule per somme del tipo

$\sum _{k=0}^n{k}^s{x}^k.$

Ad esempio:

$\frac{d}{dx}\sum _{k=0}^n{x}^k=\sum _{k=1}^{n}k{x}^{k-1}=\frac{1-x^{n+1}}{(1-x{)}^2}-\frac{(n+1)x^n}{1-x}$

Comportamento della serie

La serie ha il seguente carattere:

• divergente per $x\ge 1$ perché si ha $s_n=1+x+x^2+\dots +x^n\ge nx+1$ e per il teorema del confronto diverge;
• indeterminata per $x<-1$ perché si ha $s_n=\frac{x^{n+1}-1}{x-1}$ e $\underset{n\to +\mathrm{\infty }}{\lim }{x}^n$ non esiste (alcuni testi riportano, per questo caso, il carattere divergente, intendendo che $|s_n|\to +\mathrm{\infty }$);
• indeterminata nel caso $x=-1$, poiché la funzione somma oscilla tra $1$ e $0;$
• convergente quando $|x|<1.$

Se infatti $|x|<1$ la somma della serie esiste e vale

$\sum _{k=0}^{\mathrm{\infty }}{x}^k=\underset{n\to \mathrm{\infty }}{\lim }\sum _{k=0}^n{x}^k=\underset{n\to \mathrm{\infty }}{\lim }\frac{1-x^{n+1}}{1-x}=\frac{1}{1-x}.$

Quest'ultima formula è valida in ogni algebra di Banach con la condizione che la norma di $x$ sia minore di $1$, e anche nel campo dei numeri p-adici se $|x{|}_p<1$. In particolare è valida nel campo dei numeri complessi con l'usuale definizione di valore assoluto.

Come nel caso delle somme finite, possiamo derivare la serie per trovare le formule di somme analoghe. Ad esempio:

$\frac{d}{dx}\sum _{k=0}^{\mathrm{\infty }}{x}^k=\sum _{k=1}^{\mathrm{\infty }}k{x}^{k-1}=\frac{1}{(1-x{)}^2}.$

Questa formula naturalmente è valida solo per $|x|<1$.

Stima della somma

Per effettuare la stima della somma geometrica finita conoscendo quella infinita, spezziamo la serie come segue

$\sum _{i=0}^n{x}^i+\sum _{i=n+1}^{\mathrm{\infty }}{x}^i,$

ricordando che la serie geometrica ha somma pari a $\frac{1}{1-x}$ otteniamo che

$\sum _{i=0}^n{x}^i=\sum _{i=0}^{\mathrm{\infty }}{x}^i-\sum _{i=n+1}^{\mathrm{\infty }}{x}^i=\frac{1}{1-x}-x^{n+1}\sum _{i=0}^{\mathrm{\infty }}{x}^i=\frac{1-x^{n+1}}{1-x}.$

Serie geometrica troncata

Se si pone che $f_n(x)=\sum _{i=0}^n{x}^i$ si ha che:

$f_n(1)=\underset{x\to 1}{\lim }\frac{1-x^{n+1}}{1-x}=n+1.$

La funzione $f_n(x)$ viene chiamata serie geometrica troncata. La serie geometrica troncata è alla base delle stime di somme molto complesse. Utilizzando l'operatore $xD$ (dove con $D$ si indica la derivata) si ha che

$xD{f}_n(x)=xD(\sum _{i=0}^n{x}^i)=x\sum _{i=0}^{n}i{x}^{i-1}=\sum _{i=1}^{n}i{x}^i.$

riconducendosi alla serie geometrica troncata. Quindi si ha

$\sum _{i=1}^{n}i{x}^i=xD(f_n(x))=\frac{n{x}^{n+2}-(n+1)x^{n+1}+x}{(1-x{)}^2}.$

Esempi

Si vuole calcolare la seguente sommatoria:

$\sum _{k=1}^{n}k{2}^k.$

Consideriamo la funzione

$t_n(x)=\sum _{k=0}^n{x}^k$

e osserviamo che la sua derivata è data da

${t_n}^{\prime }(x)=\sum _{k=1}^{n}k{x}^{k-1},$

questo significa che

$2{t_n}^{\prime }(2)=\sum _{k=1}^{n}k{2}^k,$

e quindi il nostro problema si riduce a valutare la derivata di $t_n(x)$ in $2$. Poiché $t_n(x)=\frac{x^{n+1}-1}{x-1},$ per ogni $x\ne 1,$ otteniamo

${t_n}^{\prime }(x)=\frac{(n+1)x^n(x-1)-x^{n+1}+1}{(x-1{)}^2},$

e di conseguenza

$\sum _{k=0}^{n}k{2}^k=2{t_n}^{\prime }(2)=2\frac{(n+1)2^n(2-1)-2^{n+1}+1}{(2-1{)}^2}=(n-1)2^{n+1}+2.$

Bibliografia

• Giulio Barozzi, Primo corso di analisi matematica, Zanichelli Editore, ISBN 8808011690
• Paolo Marcellini, Carlo Sbordone, Analisi Matematica Uno, Liguori Editore, Napoli, 1998, ISBN 9788820728199, paragrafo 106.

Voci correlate

• Serie (matematica)
• Funzione esponenziale
• Serie armonica
• Serie di Mengoli
• Progressione geometrica

Collegamenti esterni

• Template:Collegamenti esterni