Dimostrazione del criterio del rapporto per successioni

Fulvio Sbranchella (Omega) -

Che cosa dice il criterio del rapporto per le successioni? Potreste spiegarmi la dimostrazione del criterio del rapporto per successioni e farmi un esempio di applicazione?

Soluzione

Il criterio del rapporto per le successioni è un teorema che permette di calcolare i limiti di successioni

Ecco l'enunciato:

Consideriamo una sucessione di numeri reali positivi (a_n)_(n∈ N).

 - Se la successione dei rapporti ((a_(n+1))/(a_n))_(n∈N) converge ad un limite 0 ≤ ell , < 1 allora (a_n)_(n∈N) è una successione strettamente decrescente definitivamente e converge a zero

- Se il limite del rapporto

lim_(n → ∞)(a_(n+1))/(a_n) = ell = 1

non possiamo dire nulla sul comportamento della successione di partenza.

-Se invece il limite del rapporto:

lim_(n → ∞)(a_(n+1))/(a_n) = ell , > 1 allora la successione (a_n)_(n∈N) è definitivamente monotona crescente e inoltre diverge positivamente

Dimostrazione: (dimostreremo il caso più interessante, ovvero ell∈ [0, 1))

Dalla definizione di limite di successione, fissato un numero reale positivo ε , > ,0 esiste un numero naturale n_0∈ N tale che

(a_(n+1))/(a_n) , < , ell+ε per ogni n ≥ n_0.

Poiché ell , < , 1 possiamo scegliere ε di modo che 

ell+ε , < , 1.

Poniamo M = ell+ε, potremo scrivere che:

(a_(n+1))/(a_n) , < M , < 1 per ogni n ≥ n_0

Osservazione: dalla catena di disuguaglianze abbiamo che

(a_(n+1))/(a_n) , < 1 ∀ n ≥ n_0 ⇒ a_(n+1) , < a_n ∀ n ≥ n_0

(abbiamo moltiplicato membro a membro per a_n, poiché la successione è a termini positivi, non avviene il cambio di verso della disequazione)

In soldoni, stiamo asserendo che la successione (a_(n))_(n∈N) è definitivamente decrescente. 

Per ogni k∈N si ha che:

0 < a_(n_0+k+1) < M a_(n_0+k) < M^2 a_(n_0+k-1) < ... < M^(k+1)a_(n_0)

Per costruzione, M è minore di uno,  e la successione (M^(k+1))_(k∈N) tende a zero quando k tende a infinito, quindi:

0 < a_(n_0+k+1) < M^(k+1)a_(n_0)

Passando il limite membro a membro:

0 < lim_(k → ∞)a_(n_0+k+1) < lim_(k → ∞)M^(k+1)a_(n_0) (= 0)

Per il teorema del confronto per successioni:

lim_(k → ∞)a_(n_0+k+1) = 0

Attenzione: abbiamo determinato il limite di una successione estratta dalla successione (a_n)_(n∈N).

Ora per ipotesi sappiamo che il limite della successione

lim_(n → ∞)a_n 

esiste finito, e per il teorema di unicità del limite deve coincidere con quello della successione estratta, pertanto:

lim_(n → ∞)a_n = 0

che è quello che volevamo dimostrare.

Esempio:

Consideriamo la successione il cui termine n-esimo è

a_n = (2^n)/(n!)

Vogliamo determinare il limite:

lim_(n → ∞)a_n

e per farlo utilizzeremo il criterio del rapporto per successioni:

Prima di tutto, la successione an è a termini positivi, consideriamo quindi il rapporto:

(a_(n+1))/(a_n) = (2^(n+1))/((n+1)!)·(n!)/(2^n) = (2)/(n+1)

Il limite del rapporto è ovviamente:

lim_(n → ∞)(a_(n+1))/(a_(n)) = lim_(n → ∞)(2)/(n+1) = 0

allora si ha che:

lim_(n → ∞)(2^n)/(n!) = 0

Suggerimento: il criterio del rapporto per successioni è particolarmente utile quando nella successione a_n compaiono fattoriali e/o esponenziali.

Domande della categoria Wiki - Analisi Matematica
Esercizi simili e domande correlate