Serie armonica

Da Wikipedia, l'enciclopedia libera.

In matematica, la serie armonica è la sommatoria infinita delle frazioni unitarie o, equivalentemente, dei reciproci dei numeri naturali:

Deve il suo nome al fatto che gli armonici prodotti da un corpo vibrante hanno rapporti di lunghezza d'onda con il suono fondamentale che si possono esprimere con gli addendi della serie.

La successione delle sue somme parziali è monotona e strettamente crescente rispetto alla variabile rappresentata dal numero di addendi, e il suo carattere è divergente: per un sufficientemente grande, la somma parziale dei termini da a può superare qualunque numero prefissato.

Il fatto che la serie diverga può non essere evidente a prima vista, poiché l'ultimo termine delle somme parziali tende a zero al crescere del numero di addendi. Esistono tuttavia molte semplici dimostrazioni della divergenza della serie.

Dimostrazioni della divergenza[modifica | modifica wikitesto]

Prima dimostrazione[modifica | modifica wikitesto]

Per una dimostrazione si può osservare che se nella serie si sostituisce a ogni denominatore la potenza di 2 immediatamente superiore, a meno che il numero non sia già una potenza di , si ottiene evidentemente una serie minore. Così la serie armonica:

viene minorata dalla serie:

Ma questa seconda serie, poiché ha termini che valgono , termini che valgono , termini che valgono , ... può essere riscritta come:

e quindi diverge.

In maniera più formale, la dimostrazione si può riformulare nel modo seguente:

definendo la somma parziale , dimostriamo con il principio di induzione che per ogni si ha

:

Per si ha . Se consideriamo , supponendo che sia vera

si ottiene:

.

La diseguaglianza dimostrata implica ovviamente la divergenza della serie.

Seconda dimostrazione[modifica | modifica wikitesto]

L'idea di questa dimostrazione è quella di stimare le somme parziali con integrali definiti della funzione (poiché le somme parziali possono essere viste come integrali di funzioni a gradino, ciò equivale a stimare l'area di un istogramma con l'integrale di una funzione regolare). Formalmente, chiamando l'-ma somma parziale, si ha:

e ciò implica evidentemente la divergenza della serie.

Ragionando da un punto di vista geometrico, la serie rappresenta l'area del plurirettangolo di base sempre uguale 1, ma di altezza che varia proprio secondo , circoscritto al grafico della funzione .

Evidentemente l'aria totale del plurirettangolo, data dalla somma delle singole aree del tipo , o più formalmente, da , dove rappresenta la base dei singoli rettangoli che è sempre uguale a 1, è maggiore, o sta al di sopra dell'area sottesa al grafico della funzione

, data appunto da . Di conseguenza si ottiene la disuguaglianza: e dato che l'integrale a primo membro diverge nell'intervallo , allora anche la serie armonica risulta essere divergente.

Terza dimostrazione[modifica | modifica wikitesto]

Supponiamo per assurdo che la serie armonica converga e sia la sua somma. Ciò significa che la successione delle sue somme parziali converge a . La successione estratta dovrebbe convergere allora allo stesso limite e quindi la successione convergerebbe a . Ma ciò non è possibile, poiché per ogni si ha:

.

Poiché la serie armonica è a termini non negativi, e tali serie o convergono o divergono a , la serie armonica diverge.

Quarta dimostrazione[modifica | modifica wikitesto]

Dal criterio di condensazione di Cauchy è noto che:

In particolare dalla seconda disuguaglianza segue che:

applicando ora tale disuguaglianza alla serie armonica si ottiene:

Dato che la somma di infiniti 1/2 diverge (se pur molto lentamente) positivamente, per il criterio del confronto anche la serie armonica diverge positivamente.

Questo criterio permette anche di generalizzare la serie armonica per un qualunque esponente , come riportato di seguito.

Serie armonica generalizzata[modifica | modifica wikitesto]

La serie armonica generalizzata si presenta nella forma:

con .

Tale serie diverge per e converge per .

Per dimostrare il carattere della serie armonica ci si rifà al primo criterio del confronto tra due serie.

Dimostrazione della divergenza per α < 1[modifica | modifica wikitesto]

Poiché per si ha la disuguaglianza e quindi possiamo concludere che la serie armonica generalizzata per è divergente, essendo maggiore della serie armonica che abbiamo visto essere divergente.

Dimostrazione della convergenza per α = 2[modifica | modifica wikitesto]

serie armonica generalizzata con .

Ricordiamo che

(serie di Mengoli).

Ma , quindi la prima serie, privata del primo addendo , è minorante di una serie che converge ad . Ne segue che la serie armonica generalizzata con converge ad un numero reale minore di .

Precisamente, si dimostra che la serie armonica generalizzata con converge al valore e tale dimostrazione è stata l'oggetto dello storico problema di Basilea.

Dimostrazione della convergenza per α > 2[modifica | modifica wikitesto]

Dato che la serie armonica generalizzata con converge in quanto minorante di quella per

Dimostrazione della convergenza per α > 1[modifica | modifica wikitesto]

Utilizzando la disuguaglianza di Bernoulli generalizzata, si può ottenere:

dove il secondo membro è l'addendo di una serie che generalizza la serie di Mengoli e converge ancora ad per ogni .Quindi la serie armonica generalizzata per ogni converge ad un numero reale minore di .

Dimostrazione alternativa (confronto con la serie condensata)[modifica | modifica wikitesto]

In alternativa, poiché il termine generale è positivo e tende a zero da sopra, è possibile sfruttare il criterio di condensazione per dimostrare la convergenza o la divergenza della serie. Infatti, per il criterio di condensazione, le serie

e

hanno lo stesso carattere; la seconda serie è una serie geometrica, che converge se e solo se l'esponente è maggiore di (ossia, se è maggiore di ).

Serie armonica generalizzata di tipo II[modifica | modifica wikitesto]

La serie armonica generalizzata di tipo due è un'ulteriore generalizzazione di tale serie; essa si presenta nella forma:

Dove e rappresenta il logaritmo naturale.

Dimostrazione

Basta applicare il criterio di condensazione di Cauchy

e, applicando le proprietà delle potenze e dei logaritmi, segue che

Infine basta considerare il criterio del confronto riguardo alla precedente catena di disuguaglianze.

Serie armonica a segni alterni[modifica | modifica wikitesto]

Exquisite-kfind.png Lo stesso argomento in dettaglio: Serie di Mercator.

La serie armonica a segni alterni:

è convergente ma non è assolutamente convergente.

Infatti per il criterio di Leibniz si vede che questa serie converge, mentre la serie dei moduli, che è la serie armonica a termini positivi, diverge.

Somma della serie armonica a segni alterni[modifica | modifica wikitesto]

Una volta dimostrata la convergenza è possibile vedere come la somma dei termini della serie armonica alternata converge a .

Dimostrazione

Consideriamo una serie geometrica di ragione :

Quindi:

Ossia (integrando termine a termine)

E ponendo x=1:

,

Q.E.D.

Approssimazioni della Serie armonica[modifica | modifica wikitesto]

La serie armonica diverge, ma possiamo ricavare delle ottime approssimazioni della somma dei primi termini che ci risparmiano il lavoro di somma. Abbiamo per esempio che:

Questa formula ci fornisce un'approssimazione molto buona. Addirittura la differenza tra la somma dei primi termini e l'approssimazione tende a essere costante. In particolare tende alla costante di Eulero-Mascheroni definita come

dove rappresenta il logaritmo naturale, o neperiano.

Questa costante vale per approssimazione

γ ≈ 0,57721 56649 01532 86060 65120 90082 40243 10421 59335 93992 35988 05767 23488 48677 26777 66467 09369 47063 29174 67495...

Voci correlate[modifica | modifica wikitesto]

Altri progetti[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

Matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica