Esercizio sul criterio del confronto integrale per serie

Prima di postare leggi le regole del Forum. Puoi anche leggere le ultime discussioni.
Questa sezione è un contenitore temporaneo per i topic speciali a pagamento (One-Shot)

Se hai acquistato uno o più Topic speciali, puoi pubblicarli qui cliccando su "Apri un Topic".

Il registro completo dei Topic risolti e in corso è disponibile sul proprio profilo.

Esercizio sul criterio del confronto integrale per serie #99280

avt
Ambuz
Punto
Vorrei capire meglio come risolvere questa tipologia di esercizi sul criterio del confronto integrale per serie numeriche.

Tramite il confronto integrale, stimare per difetto e per eccesso la successione a_(n) = Σ_(k = n)^(∞) (1)/(k^2) e quindi stabilirne il comportamento asintotico.

Ho diversi dubbi su come gestire questa tipologia di esercizi quindi vorrei capire come gestirli in maniera efficiente!
 
 

Esercizio sul criterio del confronto integrale per serie #99284

avt
Ifrit
Amministratore
Ciao ambuz,

questa tipologia di esercizi si può risolvere con il teorema di Mc Laurin (o criterio di convergenza integrale per le serie), il quale fornisce uno strumento per ricavare il comportamento di una serie a termini positivi e decrescenti.

Per essere precisi, bisognerebbe procedere sulla falsa riga della dimostrazione del teorema di Mc Laurin, attraverso la quale riusciremo ad analizzare il comportamento asintotico della successione.

Prima di svolgere l'esercizio, riteniamo sia opportuno esplicitare i passaggi salienti.

1. Dimostreremo che sussiste la doppia disuguaglianza

∫_(n+1)^(+∞)(1)/(x^2)dx ≤ Σ_(m = n+1)^(+∞)(1)/(m^2) ≤ ∫_(n)^(+∞)(1)/(x^2)dx

2. Calcoleremo gli integrali impropri

∫_(n+1)^(+∞)(1)/(x^2)dx e ∫_(n)^(+∞)(1)/(x^2)dx

al variare del numero naturale n∈N-0.

3. Usando il teorema del confronto per successioni, dimostreremo che a_n è una successione asintoticamente equivalente a (1)/(n) per n → +∞.


Iniziamo con la prima parte dell'esercizio: consideriamo la successione a_n_(n∈N), il cui termine generale è:

a_n = Σ_(k = n)^(+∞)(1)/(k^2)

Indichiamo con f(x) la funzione che definisce il termine generale della serie:

f(x) = (1)/(x^2) con x ≥ 1

e osserviamo che:

- è una funzione positiva per ogni x ≥ 1 perché rapporto di quantità positive;

- è una funzione decrescente nell'intervallo [1,+∞), infatti per ogni x e y∈ [1,+∞), se x < y, elevando al quadrato i due membri, la disuguaglianza non si inverte perché stiamo lavorando con numeri maggiori o uguali a 1

x < y → x^2 < y^2

]Inoltre, al passaggio dei reciproci, il verso della disuguaglianza si inverte

x^2 < y^2 → (1)/(y^2) < (1)/(x^2)

Ciò dimostra che se 1 ≤ x < y allora f(y) < f(x), ossia f(x) è una funzione strettamente decrescente.

Teniamo a mente queste informazioni, ci serviranno in seguito!

Passo 1

Dimostriamo che per ogni n∈N-0 sussiste la doppia disuguaglianza

∫_(n+1)^(+∞)(1)/(x^2)dx ≤ Σ_(m = n+1)^(+∞)(1)/(m^2) ≤ ∫_(n)^(+∞)(1)/(x^2)dx

Dimostrazione

Fissiamo k∈N-0 e consideriamo l'intervallo [k, k+1]. Poiché f(x) è strettamente decrescente, possiamo affermare che

f(k+1) ≤ f(x) ≤ f(k) per ogni k∈N-0

vale a dire:

(1)/((k+1)^2) ≤ (1)/(x^2) ≤ (1)/(k^2) per ogni k∈N-0

In accordo con il teorema del confronto per gli integrali, applicando l'integrale tra k e k+1 ai tre membri della disuguaglianza, ricaviamo:

∫_(k)^(k+1)(1)/((k+1)^2)dx ≤ ∫_(k)^(k+1)(1)/(x^2)dx ≤ ∫_(k)^(k+1)(1)/(k^2)dx

Calcoliamo il primo e il terzo integrale osservando che le funzioni integrande non dipendono dalla variabile x, ecco perché possono essere trasportate fuori dal simbolo di integrazione:

∫_(k)^(k+1)(1)/((k+1)^2)dx = (1)/((k+1)^2)∫_(k)^(k+1)dx = (1)/((k+1)^2)(k+1-k) = (1)/((k+1)^2) ; e ; ∫_(k)^(k+1)(1)/(k^2)dx = (1)/(k^2)∫_(k)^(k+1)dx = (1)/(k^2)(k+1-k) = (1)/(k^2)

Noti i valori degli integrali, possiamo rimpiazzarli nella relazione

∫_(k)^(k+1)(1)/((k+1)^2)dx ≤ ∫_(k)^(k+1)(1)/(x^2)dx ≤ ∫_(k)^(k+1)(1)/(k^2)dx

che diventa

(1)/((k+1)^2) ≤ ∫_(k)^(k+1)(1)/(x^2)dx ≤ (1)/(k^2) per ogni k∈N-0

Attenzione passaggio delicato: fissiamo N∈N con N > n e sommiamo i tre membri facendo variare k da n a N

Σ_(k = n)^(N)(1)/((k+1)^2) ≤ Σ_(k = n)^(N)∫_(k)^(k+1)(1)/(x^2)dx ≤ Σ_(k = n)^(N)(1)/(k^2)

Per le proprietà degli integrali, la sommatoria centrale soddisfa la seguente uguaglianza

Σ_(k = n)^(N)∫_(k)^(k+1)(1)/(x^2)dx = ∫_(n)^(N+1)(1)/(x^2)dx

che giustifica la catena:

Σ_(k = n)^(N)(1)/((k+1)^2) ≤ ∫_(n)^(N+1)(1)/(x^2)dx ≤ Σ_(k = n)^(N)(1)/(k^2)

Questa catena di disuguaglianze vale per ogni N > n e, passando al limite N, consente di scrivere quanto segue:

Σ_(k = n)^(+∞)(1)/((k+1)^(2)) ≤ ∫_(n)^(+∞)(1)/(x^2)dx ≤ Σ_(k = n)^(+∞)(1)/(k^2)

Naturalmente la doppia disuguaglianza può essere spezzata in due:

∫_(n)^(+∞)(1)/(x^2)dx ≤ Σ_(k = n)^(+∞)(1)/(k^2) e Σ_(k = n)^(+∞)(1)/((k+1)^2) ≤ ∫_(n)^(+∞)(1)/(x^2)dx

Analizziamo un momento la seconda

Σ_(k = n)^(+∞)(1)/((k+1)^2) ≤ ∫_(n)^(+∞)(1)/(x^2)dx

e operiamo una traslazione di indici. Poniamo

k+1 = m da cui k = m-1

e osserviamo che k = n diventa

m-1 = n → m = n+1

Grazie alla sostituzione, la relazione

Σ_(k = n)^(+∞)(1)/((k+1)^2) ≤ ∫_(n)^(+∞)(1)/(x^2)dx

si traduce nella seguente:

Σ_(m = n+1)^(+∞)(1)/(m^2) ≤ ∫_(n)^(+∞)(1)/(x^2)dx (•)

Teniamo da parte questa disuguaglianza perché ci tornerà utile a breve.

Proprio perché la relazione

∫_(n)^(+∞)(1)/(x^2)dx ≤ Σ_(k = n)^(+∞)(1)/(k^2)

vale per ogni n, possiamo rimpiazzare n con n+1 e ricavare:

∫_(n+1)^(+∞)(1)/(x^2)dx ≤ Σ_(k = n+1)^(+∞)(1)/(k^2) (• •)

Ricordiamo che l'indice k della serie è una variabile muta e, in quanto tale, può essere sostituita con la lettera m, cosicché le disuguaglianze (•) e (• •) generino la seguente catena di disuguaglianze:

∫_(n+1)^(+∞)(1)/(x^2)dx ≤ Σ_(m = n+1)^(+∞)(1)/(m^2) ≤ ∫_(n)^(+∞)(1)/(x^2)dx

che era quello che volevamo dimostrare.

Calcolo degli integrali impropri

Usiamo la definizione di integrale improprio di prima specie per calcolare gli integrali:

∫_(n+1)^(+∞)(1)/(x^2)dx e ∫_(n)^(+∞)(1)/(x^2)dx

Non facciamoci spaventare, non sono poi così difficili: basta rifarsi agli integrali fondamentali.

∫_(n+1)^(+∞)(1)/(x^2)dx = lim_(M → +∞)∫_(n+1)^(M)(1)/(x^2)dx = lim_(M → +∞)[-(1)/(x)]_(n+1)^(M) = lim_(M → +∞)[-(1)/(M)+(1)/(n+1)] = (1)/(n+1)

Usando la stessa strategia, scopriamo che:

∫_(n)^(+∞)(1)/(x^2)dx = (1)/(n)

pertanto la doppia disuguaglianza

∫_(n+1)^(+∞)(1)/(x^2)dx (= (1)/(n+1)) ≤ Σ_(m = n+1)^(+∞)(1)/(m^2) ≤ ∫_(n)^(+∞)(1)/(x^2)dx (= (1)/(n))

diventa

(1)/(n+1) ≤ Σ_(m = n+1)^(+∞)(1)/(m^2) ≤ (1)/(n)

Osservazione: notiamo che (1)/(n+1) rappresenta una sottostima della serie Σ_(m = n+1)^(+∞)(1)/(m^2), mentre (1)/(n) è invece una sovrastima.

Comportamento asintotico della somma

Grazie alla doppia disuguaglianza

(1)/(n+1) ≤ Σ_(m = n+1)^(+∞)(1)/(m^2) ≤ (1)/(n)

siamo in grado di determinare una stima asintotica della serie per n → +∞.

Intuitivamente, possiamo osservare per n → +∞

(1)/(n+1) ~ (1)/(n) e (1)/(n) ~ (1)/(n)

dunque è plausibile affermare che la successione

a_(n) = Σ_(m = n+1)^(+∞)(1)/(m^2)

sia asintoticamente equivalente a (1)/(n), ciò va però dimostrato con tutti i crismi del caso.

Per portare a termine l'esercizio, bisogna dimostrare che:

lim_(n → +∞)(Σ_(m = n+1)^(+∞)(1)/(m^2))/((1)/(n)) = 1

Ecco come! Dividiamo i tre membri della disuguaglianza

(1)/(n+1) ≤ Σ_(m = n+1)^(+∞)(1)/(m^2) ≤ (1)/(n)

per (1)/(n) (poiché è una quantità positiva, non inverte il verso delle relazioni)

((1)/(n+1))/((1)/(n)) ≤ (Σ_(m = n+1)^(+∞)(1)/(m^2))/((1)/(n)) ≤ ((1)/(n))/((1)/(n))

Scriviamo in forma normale le frazioni di frazioni

(n)/(n+1) ≤ (Σ_(m = n+1)^(+∞)(1)/(m^2))/((1)/(n)) ≤ 1

Passiamo al limite n

lim_(n → +∞)(n)/(n+1) (= 1) ≤ lim_(n → +∞)(Σ_(m = n+1)^(+∞)(1)/(m^2))/((1)/(n)) ≤ lim_(n → +∞)1

e concludiamo per il teorema del confronto che il limite centrale è pari a 1:

lim_(n → +∞)(Σ_(m = n+1)^(+∞)(1)/(m^2))/((1)/(n)) = 1

per cui è soddisfatta la definizione di successioni asintoticamente equivalenti, ergo:

Σ_(m = n+1)^(+∞)(1)/(m^2) ~ (1)/(n) per n → +∞

Abbiamo finito.
Ringraziano: Omega, CarFaby, Ambuz
  • Pagina:
  • 1
Os