Forma indeterminata

Nella matematica, e in particolare nel calcolo infinitesimale, le scritture:^[1]

0 0 , ∞ ∞ , 0 ⋅ ∞ , 1 ∞ , 0 0 , ∞ 0 , + ∞ − ∞ , {\displaystyle {\frac {0}{0}},\qquad {\frac {\infty }{\infty }},\qquad 0\cdot \infty ,\qquad 1^{\infty },\qquad 0^{0},\qquad \infty ^{0},\qquad +\infty -\infty ,}

individuano le cosiddette forme indeterminate, che sono collezioni di funzioni di una variabile reale esprimibili componendo (mediante una moltiplicazione, una divisione o un elevamento a potenza) due funzioni di variabile reale f ( x ) {\displaystyle f(x)} e g ( x ) {\displaystyle g(x)} aventi un determinato comportamento quando la variabile tende a un valore finito o infinito di aderenza per entrambi i domini delle funzioni.

Consideriamo in particolare la prima delle forme sopra introdotte; la funzione

f ( x ) g ( x ) {\displaystyle {\frac {f(x)}{g(x)}}}

relativamente al tendere della variabile x {\displaystyle x} ad un opportuno elemento x 0 {\displaystyle x_{0}} dell'insieme dei reali esteso R ∗ = R ∪ { − ∞ , + ∞ } {\displaystyle \mathbb {R} ^{*}=\mathbb {R} \cup \{-\infty ,+\infty \}} , si attribuisce alla forma 0 0 {\displaystyle {\tfrac {0}{0}}} se f ( x ) {\displaystyle f(x)} e g ( x ) {\displaystyle g(x)} tendono entrambe a 0 {\displaystyle 0} quando x {\displaystyle x} tende a x 0 {\displaystyle x_{0}} .

Può accadere che questa funzione rapporto si avvicini a un qualsiasi numero reale, a + ∞ {\displaystyle +\infty } o a − ∞ {\displaystyle -\infty } , oppure che non riesca a convergere ad alcun punto sulla retta reale estesa; il suo comportamento dipende dalle caratteristiche delle funzioni f {\displaystyle f} e g {\displaystyle g} in vicinanza di x 0 {\displaystyle x_{0}} . Ad esempio:

lim x → 0 sin ⁡ x x = 1 {\displaystyle \lim _{x\to 0}{\frac {\sin x}{x}}=1}

mentre:

lim x → 49 x − 49 x − 7 = lim x → 49 ( x − 7 ) ( x + 7 ) x − 7 = 14 {\displaystyle \lim _{x\to 49}{\frac {x-49}{{\sqrt {x}}-7}}=\lim _{x\to 49}{\frac {\left({\sqrt {x}}-7\right)\left({\sqrt {x}}\,+7\right)}{{\sqrt {x}}-7}}=14}

La sostituzione diretta delle funzioni a numeratore e a denominatore con i corrispondenti limiti per entrambi i precedenti rapporti, porta ad attribuire la funzione alla forma indeterminata 0 0 {\displaystyle {\tfrac {0}{0}}} , mentre i limiti di entrambi i rapporti esistono effettivamente e sono uguali a 1 {\displaystyle 1} e 14 {\displaystyle 14} rispettivamente.

Per altri rapporti che appartengono alla stessa forma indeterminata il limite non esiste.

Osservazioni simili valgono per le altre forme indeterminate indicate in precedenza.

In molti casi, qualche semplificazione algebrica, la regola di De L'Hôpital, o altri metodi possono essere usati per semplificare l'espressione fino ad un punto nel quale si riesce a valutare il limite.

Il calcolo dei limiti notevoli può essere inoltre svolto o semplificato grazie alla stima asintotica.

Si noti che per qualsiasi a {\displaystyle a} non nullo a 0 {\displaystyle a^{0}} e a 0 {\displaystyle {\tfrac {a}{0}}} (si veda Divisione per zero) non sono forme indeterminate.

Lo stesso argomento in dettaglio: Regola di De l'Hôpital.

La regola di De l'Hôpital permette di risolvere direttamente le forme indeterminate sotto forma di quoziente, ovvero 0 0 {\displaystyle {\frac {0}{0}}} e ∞ ∞ {\displaystyle {\frac {\infty }{\infty }}} . In pratica si procede derivando il numeratore e il denominatore. Se esiste il limite di questo nuovo quoziente, allora esisterà anche il limite del quoziente originale e i due limiti sono uguali. Se invece il nuovo quoziente converge a sua volta ad una forma indeterminata, si può ripetere l'operazione calcolando la seconda derivata e così via. La non esistenza del limite del quoziente delle derivate comunque non implica la non esistenza del limite del quoziente originale.

Nel caso in cui ci si trovi davanti ad una forma indeterminata che non sia sotto forma di quoziente, è possibile applicare la regola di de l'Hôpital previa trasformazione della forma indeterminata in un quoziente.

In particolare, la tabella seguente mostra le varie trasformazioni che si applicano per risolvere forme di indeterminazione con il teorema di De l'Hôpital:

Forma	Condizione	Risultati	Trasformazione
lim f ( x ) g ( x ) {\displaystyle \lim {\frac {f(x)}{g(x)}}}	lim f ( x ) = 0 {\displaystyle \lim f(x)=0} , lim g ( x ) = 0 {\displaystyle \lim g(x)=0}	0 0 {\displaystyle {\frac {0}{0}}}	non necessaria
lim f ( x ) g ( x ) {\displaystyle \lim {\frac {f(x)}{g(x)}}}	lim f ( x ) = ± ∞ {\displaystyle \lim f(x)=\pm \infty } , lim g ( x ) = ± ∞ {\displaystyle \lim g(x)=\pm \infty }	± ∞ ∞ {\displaystyle \pm {\frac {\infty }{\infty }}}	non necessaria
lim f ( x ) ⋅ g ( x ) {\displaystyle \lim f(x)\cdot g(x)}	lim f ( x ) = 0 {\displaystyle \lim f(x)=0} , lim g ( x ) = ± ∞ {\displaystyle \lim g(x)=\pm \infty }	0 ⋅ ∞ {\displaystyle 0\cdot \infty }	lim f ( x ) 1 / g ( x ) {\displaystyle \lim {\frac {f(x)}{1/g(x)}}} oppure lim g ( x ) 1 / f ( x ) {\displaystyle \lim {\frac {g(x)}{1/f(x)}}}
lim f ( x ) g ( x ) {\displaystyle \lim f(x)^{g(x)}}	lim f ( x ) = 1 {\displaystyle \lim f(x)=1} , lim g ( x ) = ∞ {\displaystyle \lim g(x)=\infty }	1 ∞ {\displaystyle 1^{\infty }}	e ( lim ln ⁡ f ( x ) 1 / g ( x ) ) {\displaystyle e^{\left(\lim {\frac {\ln f(x)}{1/g(x)}}\right)}}
lim f ( x ) g ( x ) {\displaystyle \lim f(x)^{g(x)}}	lim f ( x ) = 0 {\displaystyle \lim f(x)=0} , lim g ( x ) = 0 {\displaystyle \lim g(x)=0} [2]	0 0 {\displaystyle 0^{0}}	e ( lim ln ⁡ f ( x ) 1 / g ( x ) ) {\displaystyle e^{\left(\lim {\frac {\ln f(x)}{1/g(x)}}\right)}}
lim f ( x ) g ( x ) {\displaystyle \lim f(x)^{g(x)}}	lim f ( x ) = ∞ {\displaystyle \lim f(x)=\infty } , lim g ( x ) = 0 {\displaystyle \lim g(x)=0}	∞ 0 {\displaystyle \infty ^{0}}	e ( lim ln ⁡ f ( x ) 1 / g ( x ) ) {\displaystyle e^{\left(\lim {\frac {\ln f(x)}{1/g(x)}}\right)}}
lim ( f ( x ) − g ( x ) ) {\displaystyle \lim(f(x)-{g(x))}}	lim f ( x ) = + ∞ {\displaystyle \lim f(x)=+\infty } , lim g ( x ) = + ∞ {\displaystyle \lim g(x)=+\infty }	+ ∞ − ∞ {\displaystyle +\infty -\infty }	ln ⁡ ( lim e f ( x ) e g ( x ) ) {\displaystyle \ln \left(\lim {\frac {e^{f(x)}}{e^{g(x)}}}\right)}

Consideriamo la successione:

P p ( n ) Q q ( n ) {\displaystyle {P_{p}(n) \over Q_{q}(n)}} = a p n p + a p − 1 n p − 1 + … + a 1 n + a 0 b q n q + b q − 1 n q − 1 + … + b 1 n + b 0 {\displaystyle ={{a_{p}n^{p}+a_{p-1}n^{p-1}+\ldots +a_{1}n+a_{0}} \over {b_{q}n^{q}+b_{q-1}n^{q-1}+\ldots +b_{1}n+b_{0}}}}

quoziente di due polinomi di grado p {\displaystyle p} e q {\displaystyle q} . Vogliamo studiare il caso in cui si presenta una forma indeterminata ∞ ∞ {\displaystyle {\tfrac {\infty }{\infty }}} .

Raccogliendo n p {\displaystyle n^{p}} al numeratore e n q {\displaystyle n^{q}} al denominatore si ha:

n p − q a p + a p − 1 n − 1 + … + a 1 n 1 − p + a 0 n − p b q + b q − 1 n − 1 + … + b 1 n 1 − q + b 0 n − q {\displaystyle n^{p-q}{{a_{p}+a_{p-1}n^{-1}+\ldots +a_{1}n^{1-p}+a_{0}n^{-p}} \over {b_{q}+b_{q-1}n^{-1}+\ldots +b_{1}n^{1-q}+b_{0}n^{-q}}}}

cioè:

n p − q c n {\displaystyle n^{p-q}c_{n}}

dove:

c n = a p + a p − 1 n − 1 + … + a 1 n 1 − p + a 0 n − p b q + b q − 1 n − 1 + … + b 1 n 1 − q + b 0 n − q {\displaystyle c_{n}={{a_{p}+a_{p-1}n^{-1}+\ldots +a_{1}n^{1-p}+a_{0}n^{-p}} \over {b_{q}+b_{q-1}n^{-1}+\ldots +b_{1}n^{1-q}+b_{0}n^{-q}}}}

poiché n − k → 0 {\displaystyle n^{-k}\to 0} qualunque sia k ∈ N {\displaystyle k\in \mathbb {N} } non nullo si ha:

a n = P p ( n ) Q q ( n ) {\displaystyle a_{n}={{P_{p}(n)} \over {Q_{q}(n)}}} vale:

• a p b q {\displaystyle {a_{p} \over b_{q}}} se p = q {\displaystyle p=q}
• segno ( a p b q ) ∞ {\displaystyle \left({a_{p} \over b_{q}}\right)\infty } se p > q {\displaystyle p>q}
• 0 {\displaystyle 0} se p < q {\displaystyle p<q}

poiché n p − q {\displaystyle n^{p-q}} vale:

• 1 {\displaystyle 1} se p = q ; {\displaystyle p=q;}
• + ∞ {\displaystyle +\infty } se p ≥ q ; {\displaystyle p\geq q;}
• 0 {\displaystyle 0} se p ≤ q . {\displaystyle p\leq q.}

• Limite notevole
• Limite (matematica)
• Stima asintotica

• (EN) Eric W. Weisstein, Indeterminate, su MathWorld, Wolfram Research.
• Forme indeterminate e dimostrazioni, su ripmat.it.
• Calcolo di limiti che si presentano in forma indeterminata, su matematicaeliberaricerca.com. URL consultato il 22 gennaio 2008 (archiviato dall'url originale il 31 gennaio 2008).

V · D · M Analisi matematica
Calcolo infinitesimale	Numero reale · Infinitesimo · O-grande · Successione (di funzioni) · Successione di Cauchy · Teorema di Bolzano-Weierstrass · Stima asintotica · Limite (di una funzione · di una successione · Forma indeterminata) · Teorema dei due carabinieri · Limite notevole · Punto di accumulazione · Punto isolato · Intorno · Serie (di funzioni) · Criteri di convergenza · Limite di funzioni a più variabili
Studio della continuità	Funzione continua · Punto di discontinuità · Continuità uniforme · Funzione lipschitziana · Teorema di Bolzano · Teorema di Weierstrass · Teorema dei valori intermedi · Teorema di Heine-Cantor · Modulo di continuità · Funzione semicontinua · Continuità separata · Teorema di approssimazione di Weierstrass
Calcolo differenziale	Derivata · Differenziale · Regole di derivazione · Teorema di Fermat · Teorema di Rolle · Teorema di Lagrange · Teorema di Cauchy · Teorema di Darboux · Teorema di Taylor · Serie di Taylor · Funzione differenziabile · Gradiente · Jacobiana · Hessiana · Forma differenziale · Generalizzazioni della derivata · Derivata parziale · Derivata mista
Integrale	Primitiva · Integrale di Riemann · Integrale improprio · Integrale di Lebesgue · Teorema fondamentale · Metodi di integrazione · Tavole · Integrale multiplo, di linea (1ª specie · 2ª specie) e di superficie (di volume)
Studio di funzione	Funzione · Variabile · Dominio e codominio · Funzioni pari e dispari · Funzione periodica · Funzione monotona · Funzione convessa · Massimo e minimo di una funzione · Punto angoloso · Cuspide · Punto di flesso · Asintoto · Grafico di una funzione · Funzione iniettiva
Disuguaglianze	Disuguaglianza triangolare · Disuguaglianza di Cauchy-Schwarz · Bernoulli · Jensen · Hölder · Young · Minkowski
Altro	Approssimazione di Stirling · Prodotto di Wallis · Funzione Gamma · Teorema delle funzioni implicite · Teorema della funzione inversa · Funzione hölderiana · Spazio metrico · Spazio normato · Intervallo · Insieme trascurabile · Insieme chiuso · Insieme aperto · Palla · Omeomorfismo · Omeomorfismo locale · Diffeomorfismo · Diffeomorfismo locale · Classe C di una funzione · Equazione differenziale · Problema di Cauchy

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica