Salta al contenuto
Note per Studenti Esercizio 45 · confronto tra en2 e nn

Esercizio 45confronto tra en2 e nn

In questa pagina 7

Testo. Calcolare

L=lim⁡nen2−nnen2−n+32nL = \lim_n \frac{e^{n^2} - n^n}{e^{n^2 - n} + 3^{2n}}


Passo 0: dove sta la trappola

Numeratore: en2→+∞e^{n^2} \to +\infty e nn→+∞n^n \to +\infty, forma +∞−∞+\infty - \infty. Bisogna capire chi è l'infinito di ordine superiore tra en2e^{n^2} e nnn^n, e qui la gerarchia "a memoria" può ingannare.

Attenzione (la prof lo segnala): nella gerarchia nnn^n è il più grande della lista, ma en2e^{n^2} non è nella lista: non è un esponenziale ana^n (l'esponente è n2n^2, non nn). Scrivere "en2=o(nn)e^{n^2} = o(n^n) per la gerarchia" è falso. È vero il contrario: nn=o(en2)n^n = o(e^{n^2}).

Passo 1: confrontare nnn^n ed en2e^{n^2} con la forma esponenziale

Il trucco è scrivere tutto come potenza di ee: per ogni A>0A > 0, A=elog⁡AA = e^{\log A}, e per le proprietà del logaritmo log⁡(nn)=nlog⁡n\log(n^n) = n\log n. Quindi

nnen2=enlog⁡nen2=enlog⁡n−n2\frac{n^n}{e^{n^2}} = \frac{e^{n\log n}}{e^{n^2}} = e^{n\log n - n^2}

Ora basta capire dove va l'esponente:

nlog⁡n−n2=−n2[1−log⁡nn]→(−∞)⋅1=−∞n\log n - n^2 = -n^2\left[1 - \frac{\log n}{n}\right] \to (-\infty) \cdot 1 = -\infty

perché log⁡nn→0\frac{\log n}{n} \to 0 per la gerarchia degli infinitiIl logaritmo, anche elevato a una potenza, è trascurabile rispetto a qualunque potenza positiva di n.Limiti notevoli e gerarchia degli infiniti →. Quindi

lim⁡nnnen2=e−∞=0(il grafico di ex va a 0 per x→−∞)\lim_n \frac{n^n}{e^{n^2}} = e^{-\infty} = 0 \qquad (\text{il grafico di } e^x \text{ va a } 0 \text{ per } x \to -\infty)

cioè nn=o(en2)n^n = o\left(e^{n^2}\right).

In parole: nn=enlog⁡nn^n = e^{n\log n} ed en2e^{n^2} sono entrambi "ee elevato a qualcosa"; vince chi ha l'esponente più grande, e n2n^2 batte nlog⁡nn\log n.

Passo 2: il numeratore

NUM=en2[1−nnen2]∼en2\text{NUM} = e^{n^2}\left[1 - \frac{n^n}{e^{n^2}}\right] \sim e^{n^2}

perché la parentesi tende a 1−0=11 - 0 = 1.

Passo 3: il denominatore

Anche qui c'è una trappola: 32n=9n3^{2n} = 9^n è un esponenziale, mentre en2−ne^{n^2 - n} ha l'esponente quadratico. È falso che en2−n=o(9n)e^{n^2 - n} = o(9^n); è vero il contrario. Con la forma esponenziale (9n=enlog⁡99^n = e^{n\log 9}):

9nen2−n=enlog⁡9−n2+n\frac{9^n}{e^{n^2 - n}} = e^{n\log 9 - n^2 + n}

e l'esponente −n2+n(1+log⁡9)=−n2+o(n2)→−∞-n^2 + n(1 + \log 9) = -n^2 + o(n^2) \to -\infty. Quindi 9n=o(en2−n)9^n = o\left(e^{n^2 - n}\right) e

DEN=en2−n[1+enlog⁡9−n2+n]∼en2−n\text{DEN} = e^{n^2 - n}\left[1 + e^{n\log 9 - n^2 + n}\right] \sim e^{n^2 - n}

Passo 4: conclusione

Sostituendo numeratore e denominatore con i loro asintoticiIn un quoziente ogni fattore si può sostituire con una successione asintotica senza cambiare il limite.Asintoticità e o-piccolo →:

L=lim⁡nen2en2−n=lim⁡nen2−(n2−n)=lim⁡nen=+∞L = \lim_n \frac{e^{n^2}}{e^{n^2 - n}} = \lim_n e^{n^2 - (n^2 - n)} = \lim_n e^n = +\infty

Verifica numerica. Con n=10n = 10 il quoziente vale circa 22 026=e1022\,026 = e^{10}, con n=20n = 20 circa 4,85⋅108=e204{,}85 \cdot 10^8 = e^{20} ✓ (i termini trascurati sono già invisibili).

Il metodo da ricordare

Quando ci sono potenze con la nn sia nella base sia nell'esponente (come nnn^n), o esponenziali con esponenti non lineari (come en2e^{n^2}), si scrive tutto nella forma equalcosae^{\text{qualcosa}} e si confrontano gli esponenti.

Errori comuni

  • Applicare la gerarchia a successioni che non ne fanno parte: en2e^{n^2} non è un "esponenziale ana^n", cresce molto più in fretta (anche di nnn^n e di n!n!).
  • Semplificare male gli esponenti: en2en2−n=en2−n2+n=en\frac{e^{n^2}}{e^{n^2 - n}} = e^{n^2 - n^2 + n} = e^n (attenzione al segno di −n-n dentro la parentesi).

Versione ripasso

Testo. Calcolare L=lim⁡nen2−nnen2−n+32nL = \lim_n \frac{e^{n^2} - n^n}{e^{n^2 - n} + 3^{2n}}.

Metodo: Portare tutto nella forma e…e^{\dots} e confrontare gli esponenti per determinare l'ordine di infinito (gerarchia degli infiniti).

Passaggi:

  1. Confronto nnn^n ed en2e^{n^2}: Si scrive nn=enlog⁡nn^n = e^{n \log n}. Confrontando gli esponenti, nlog⁡n−n2=−n2(1−log⁡nn)→−∞n \log n - n^2 = -n^2(1 - \frac{\log n}{n}) \to -\infty. Quindi nn=o(en2)n^n = o(e^{n^2}) e il numeratore è ∼en2\sim e^{n^2}.
  2. Confronto 32n3^{2n} ed en2−ne^{n^2 - n}: Si scrive 32n=9n=enlog⁡93^{2n} = 9^n = e^{n \log 9}. Poiché nlog⁡9−n2+n→−∞n \log 9 - n^2 + n \to -\infty, si ha 9n=o(en2−n)9^n = o(e^{n^2 - n}) e il denominatore è ∼en2−n\sim e^{n^2 - n}.
  3. Limite finale: Usando asintoticia_n ~ b_n se il loro rapporto tende a 1, a_n = o(b_n) se tende a 0; nei prodotti e quozienti ogni fattore si può sostituire con uno asintotico.Asintoticità e o-piccolo →, si ottiene: L=lim⁡nen2en2−n=lim⁡nen2−(n2−n)=lim⁡nen=+∞L = \lim_n \frac{e^{n^2}}{e^{n^2 - n}} = \lim_n e^{n^2 - (n^2 - n)} = \lim_n e^n = +\infty

Errori tipici: Applicare la gerarchiaI limiti di base per sciogliere le forme indeterminate delle successioni: potenze, polinomi, il numero e, esponenziali, la gerarchia logaritmi < potenze < esponenziali < fattoriale < n^n e la razionalizzazione.Limiti notevoli e gerarchia degli infiniti → standard a en2e^{n^2} (che non è un esponenziale ana^n); sbagliare il cambio di segno sottraendo gli esponenti (en2/en2−n=ene^{n^2} / e^{n^2-n} = e^n, non en2−n2−n=e−ne^{n^2-n^2-n} = e^{-n}).

Teoria collegata