Nello studio dell’Analisi Matematica, determinare il carattere delle successioni è il passaggio logico successivo alla loro definizione. Una volta compreso che una successione è una lista infinita di numeri ordinati ($a_1, a_2, \dots, a_n$), la domanda fondamentale che un ingegnere deve porsi è: “Come si comportano questi termini quando $n$ diventa grandissimo?”.
Per rispondere, dobbiamo calcolare il limite della successione per $n$ che tende a più infinito ($n \to +\infty$). In base al risultato di questo limite, possiamo classificare le successioni in tre categorie distinte: convergenti, divergenti o irregolari. Questa classificazione è essenziale per capire se un sistema fisico o un algoritmo si stabilizza su un valore, esplode o oscilla indefinitamente.
1. Successioni Convergenti
Una successione $\{a_n\}$ si dice convergente se il suo limite per $n \to +\infty$ esiste ed è un numero reale finito $l$.
Formalmente:
$$\lim_{n \to +\infty} a_n = l, \quad \text{con } l \in \mathbb{R}$$
Intuitivamente, significa che man mano che avanziamo nella sequenza, i termini si schiacciano sempre di più attorno a un valore specifico $l$, rimanendo intrappolati in un intorno piccolo a piacere (spesso indicato con $\epsilon$).
Un esempio classico è la successione $a_n = 1/n$. Al crescere di $n$, il valore si avvicina inesorabilmente a 0, pur senza mai toccarlo veramente.
2. Successioni Divergenti
Il carattere delle successioni si dice divergente quando i termini crescono (o decrescono) senza freni.
Una successione è divergente se il suo limite è più infinito o meno infinito:
$$\lim_{n \to +\infty} a_n = +\infty \quad \text{oppure} \quad \lim_{n \to +\infty} a_n = -\infty$$
Un esempio elementare è $a_n = n^2 – n$. Per $n$ molto grandi, il termine quadratico domina e la successione “esplode” verso $+\infty$. In ambito ingegneristico, questo comportamento indica spesso instabilità del sistema.
3. Successioni Irregolari (o Indeterminate)
Cosa succede se il limite non esiste? In questo caso siamo di fronte a una successione irregolare.
Queste successioni non ammettono limite, né finito né infinito6. Il comportamento tipico è quello oscillatorio, dove i valori continuano a saltare tra estremi diversi senza mai assestarsi.
L’esempio per eccellenza è $a_n = (-1)^n$, che alterna costantemente i valori $-1$ e $1$7.
Esercizi Svolti: Analisi del Carattere
Vediamo ora tre esempi pratici tratti da esami tipici di Analisi 1, applicando la gerarchia degli infiniti e i limiti notevoli.
Esercizio 1: Gerarchia degli infiniti (Convergente)
$$a_n = \frac{2^{-n} + 3n^2}{\log^6 n + 2 – n^6}$$
Qui siamo di fronte a una forma indeterminata. Tuttavia, osserviamo gli ordini di grandezza: al numeratore $2^{-n} \to 0$ e $3n^2 \to +\infty$. Al denominatore, la potenza $n^6$ “vince” sul logaritmo.
Possiamo approssimare il comportamento asintotico ($\sim$):
$$a_n \sim \frac{3n^2}{-n^6} = -\frac{3}{n^4}$$
Poiché il limite di $3/n^4$ per $n \to \infty$ è 0, la successione è convergente a 0.
Esercizio 2: Limite Notevole di Nepero (Convergente)
$$a_n = \left(\frac{n}{n+1}\right)^{2n}$$
Questa è una forma $1^\infty$. Possiamo riscrivere la base aggiungendo e sottraendo 1 per ricondurci al limite notevole di $e$:
$$\left(\frac{n+1-1}{n+1}\right)^{2n} = \left(1 – \frac{1}{n+1}\right)^{2n}$$
Sfruttando le proprietà degli esponenziali e il limite notevole $(1 + \frac{\alpha}{n})^n \to e^\alpha$, otteniamo che il limite è $e^{-2}$. Essendo un numero finito, la successione è convergente.
Esercizio 3: Oscillazione (Irregolare)
$$a_n = \frac{n^2 \sin(n) + \sin(n^2)}{n^2+1}$$
Analizzando l’ordine di grandezza, il termine dominante è $n^2$. Dividendo tutto per $n^2$, l’espressione si comporta asintoticamente come $\sin(n)$. Poiché il seno continua ad oscillare tra -1 e 1 all’infinito, il limite non esiste. La successione è irregolare.
Trafiletto Storico
La definizione rigorosa di limite che usiamo oggi per determinare il carattere delle successioni non è nata subito. Per secoli i matematici hanno lavorato con concetti vaghi di “avvicinamento”.
Fu Augustin-Louis Cauchy nell’Ottocento a formalizzare il concetto, ma la definizione “epsilon-delta” (o $\epsilon-\nu$ per le successioni) che fa tremare gli studenti fu perfezionata successivamente da Karl Weierstrass, il padre dell’analisi moderna, che eliminò ogni ambiguità geometrica dai calcoli.