Prodotto secondo Cauchy e teorema di Mertens

L'addizione tra le serie avviene in modo molto naturale così come il prodotto per una costante, il prodotto tra serie è invece meno intuitivo. Perché ce ne preoccupiamo? In questa lezione introdurremo la corretta definizione di prodotto tra due serie, che prende il nome di criterio del prodotto di Cauchy; successivamente vedremo un risultato per la convergenza delle serie prodotto, detto teorema di Mertens.

Niente di trascendentale, è necessario porre un po' più di attenzione!

Prodotto di due serie secondo Cauchy

Epic fail: in un primo momento, quasi tutti gli studenti sono portati a pensare che, date due serie e , il loro prodotto sia definito come

Σ_(n = 0)^(∞)a_n·Σ_(n = 0)^(∞)b_n = Σ_(n = 0)^(∞)a_n b_n qquadEpic Fail!

Ebbene ciò è sbagliato, vediamo di portare subito un esempio per convincerci! Grazie alla formula per la somma della serie geometrica sappiamo

Σ_(n = 0)^(∞)((1)/(2))^n = 2 qquad Σ_(n = 0)^(∞)(1)/(3^n) = (3)/(2)

e vediamo facilmente che

Σ_(n = 0)^(∞)((1)/(2))^n·Σ_(n = 0)^(∞)((1)/(3))^n = 3

Seguendo la relazione sbagliata

Σ_(n = 0)^(∞)(1)/(2^n)·(1)/(3^n) = Σ_(n = 0)^(∞)(1)/(6^n) = (6)/(5) ne 3

Ci siamo convinti? Non abbiamo ottenuto l'uguaglianza! Cauchy cerca di mettere le cose a posto definendo quello che in matematichese viene chiamato prodotto di due serie secondo Cauchy ed è definito come segue: date due serie e e costruita la successione

c_n = Σ_(k = 0)^(n)a_k b_(n−k)

definiamo prodotto di Cauchy tra le due serie la serie data da

Σ_(n = 0)^(∞)c_n = Σ_(n = 0)^(∞)[Σ_(k = 0)^(n)a_k b_(n−k)]

La giustificazione di questa posizione proviene dal prodotto di due serie di potenze

beginalign*Σ_(n = 0)^(∞)a_n z^n·Σ_(n = 0)^(∞)b_n z^n = (a_0+a_1 z+a_2 z^2+...)(b_0+b_1 z+b_2 z^2+...) ; = a_0 b_0+(a_0 b_1+a_1 b_0)z+(a_0 b_2+a_1b_1+a_2 b_0)z^2+... ; = c_0+c_1 z+c_2 z^2+... endalign

Per z=1 otteniamo il prodotto secondo Cauchy. Proviamo a fare nuovamente i conti con l'esempio precedente:

beginalign*(heartsuit) , ,Σ_(n = 0)^(∞)(1)/(2^n)Σ_(n = 0)^(∞)(1)/(3^n) = Σ_(n = 0)^(∞)Σ_(k = 0)^(n)(1)/(2^k)·(1)/(3^(n−k)) ; = Σ_(n = 0)^(∞)[(1)/(3^n)Σ_(k = 0)^(n)((3)/(2))^k] endalign

Poiché Σ_(k = 0)^(n)((3)/(2))^k = (((3)/(2))^(n+1)−1)/((3)/(2)−1) = −2+3 ((3)/(2))^n allora

Σ_(n = 0)^(∞)(1)/(3^n)[Σ_(k = 0)^(n)((3)/(2))^k] = Σ_(n = 0)^(∞)(1)/(3^n)·(−2+3((3)/(2))^n) = [conti] = 3

Abbiamo saltato un po' di passaggi, ma non sono difficili... ad ogni modo abbiamo raggiunto quello che volevamo. In realtà il prodotto alla Cauchy definito nasconde un "bug" molto grande...Può capitare che il prodotto alla Cauchy di due serie convergenti sia divergente e come esempio superclassico possiamo prendere la serie

Σ_(n = 0)^(∞)((−1)^n)/(√(n+1))

e moltiplicarla secondo Cauchy con sé stessa. Otteniamo facilmente

c_n = (−1)^nΣ_(k = 0)^(n)(1)/(√(n−k+1)√(k+1))

inoltre sussiste la disuguaglianza

e dunque

|c_n| ≥ Σ_(k = 0)^(n)(2)/(n+2) = (2(n+1))/(n+2) .

Facendo tendere n a più infinito scopriamo che il modulo di tende a qualcosa che è maggiore o al più uguale a 2 e dunque non è infinitesima! Per il criterio di Leibniz, invece, la serie Σ_(n = 0)^(∞)((−1)^n)/(√(n+1)) converge semplicemente (ma non è assolutamente convergente!) mentre la serie non può convergere proprio perché il termine generale non è infinitesimo!

L'inconveniente legato al prodotto di Cauchy viene fortunatamente risolto utilizzando un teorema dovuto a Mertens.

Teorema sulla somma del prodotto di Cauchy (teorema di Mertens)

Siano e due serie convergenti rispettivamente ad . Supponiamo che almeno una delle due serie sia assolutamente convergente. Risulta allora

Σ_(n = 0)^(∞)[Σ_(k = 0)^(n)a_k b_(n−k)] = S T

Cioè il prodotto alla Cauchy converge e la sua somma coincide con il prodotto delle somme delle due serie di partenza! Non è necessario riportare altri esempi, potrete riutilizzare :) Una piccola osservazione: nel suddetto esempio, le cose funzionano a meraviglia perché le serie in gioco sono assolutamente convergenti.

Probabilmente nei corsi di base difficilmente incontrerete esercizi che richiedono la nozione di prodotto secondo Cauchy, ma conoscerlo non guasta affatto. Confidiamo nel vostro buon senso, sta a voi decidere se studiarlo o meno...massì studiatelo, non è così terribile dopotutto!

Tutto chiaro? Ci auguriamo di sì, in caso contrario utilizzate la barra di ricerca, troverete spiegazioni e soluzioni per i vostri dubbi...ed eventualmente potrete sempre aprire una discussione nel Forum.

Buon proseguimento su YouMath,

Giuseppe Carichino (Galois)

..........

Tags: prodotto secondo Cauchy di due serie numeriche, controesempio sulla convergenza della serie prodotto di Cauchy, teorema di Mertens, somma della serie prodotto di Cauchy.

Ultima modifica: 25/09/2023