Forma indeterminata: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
mNessun oggetto della modifica
Annullata la modifica 141918500 di 177.23.109.146 (discussione) vedere pagina di discussione
Etichetta: Annulla
 
(78 versioni intermedie di 45 utenti non mostrate)
Riga 1:
Nella [[matematica]], e in particolare nel [[calcolo infinitesimale]], le scritture:<ref>Il simbolo <math>\infty</math>, senza segno davanti è qui da leggersi "<math>\pm\infty</math>", cioè "<math>+\infty</math> oppure <math>-\infty</math>", mentre il simbolo <math>+\infty</math> indica solo "più infinito". Ad esempio la forma "<math>\frac{\infty}{\infty}</math>" è da leggersi: "<math>\frac{+\infty}{+\infty}</math> oppure <math>\frac{+\infty}{-\infty}</math> oppure <math>\frac{-\infty}{+\infty}</math> oppure <math>\frac{-\infty}{-\infty}</math>". Con questa convenzione, la forma "<math>+\infty-\infty</math>" va scritta col segno davanti, in quanto "<math>+\infty-\infty</math>" è una forma indeterminata, ma "<math>-\infty-\infty</math>" non è una forma indeterminata, quindi, in questo caso, il segno "+" davanti al simbolo di infinito è necessario.</ref>
Nella [[matematica]], e in particolare nel [[calcolo infinitesimale]], le scritture
 
:<math>\frac{0}{0}, \qquad \frac{\infty}{\infty}, \qquad 0\cdot\infty, \qquad 1^\infty, \qquad 0^0, \qquad \infty^0, \qquad +\infty-\infty,</math>
 
individuano le cosiddette '''forme indeterminate''', che sono collezioni di [[Funzione (matematica)|funzioni]] di una [[Variabile (matematica)|variabile]] [[Numero reale|reale]] esprimibili [[Composizione di funzioni|componendo]] (mediante una moltiplicazione, una divisione o un elevamento a potenza) due funzioni di variabile reale <math>f(x)</math> e <math>g(x)</math> aventi un determinato comportamento quando la variabile tende a un valore finito o infinito di aderenza per entrambi i [[Dominio e codominio|domini]] delle funzioni.
individuano le cosiddette '''forme indeterminate''', 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'') e ''g''(''x'')
aventi un determinato comportamento quando la variabile tende a un dato valore finito o infinito.
 
Consideriamo in particolare la prima delle forme sopra introdotte; la funzione
:<math>{f(x) \over g(x)}</math>
 
:<math>\frac{f(x) \over }{g(x)}</math>
si attribuisce alla forma <math>\frac{0}{0} </math> se ''f''(''x'') e ''g''(''x'') si avvicinano entrambe a
0 quando ''x'' si avvicina a qualche numero, o ''x'' tende all'&infin;,
a +&infin; o a &minus;&infin;. Può accadere che questa funzione rapporto
si avvicini a un qualsiasi numero reale, a +&infin; o a &minus;&infin;, oppure che non riesca a convergere ad alcun punto sulla [[retta reale estesa]]; il suo comportamento dipende dalle caratteristiche delle funzioni ''f'' e ''g''. Ad esempio,
 
relativamente al tendere della variabile <math>x</math> ad un opportuno elemento <math>x_0</math> dell'[[Insieme reale esteso|insieme dei reali esteso]] <math>\R^* = \R \cup \{-\infty,+\infty\}</math>, si attribuisce alla forma <math>\tfrac{0}{0}</math> se <math>f(x)</math> e <math>g(x)</math> tendono entrambe a <math>0</math> quando <math>x</math> tende a <math>x_0</math>.
:<math>\lim_{x\rightarrow 0}{\sin(x)\over x}=1</math> ,
 
Può accadere che questa funzione rapporto si avvicini a un qualsiasi numero reale, a <math>+&infin;\infty</math> o a &minus;&infin;<math>-\infty</math>, oppure che non riesca a convergere ad alcun punto sulla [[retta reale estesa]]; il suo comportamento dipende dalle caratteristiche delle funzioni ''<math>f''</math> e ''<math>g''.</math> Adin esempio,vicinanza di <math>x_0</math>.
mentre
Ad esempio:
 
:<math>\lim_{x\rightarrow 49to0}\frac{\sin x-49\over\sqrt}{x}\,-7}=141</math> .
 
mentre:
La sostituzione diretta delle funzioni a numeratore e a denominatore con i
corrispondenti limiti per entrambe i precedenti rapporti
porta ad attribuire la funzione alla forma indeterminata 0/0,
mentre i [[limite di una funzione|limiti]] di entrambi i rapporti esistono
effettivamente e sono uguali a 1 e 14 rispettivamente.
 
:<math>\lim_{x\to49}\frac{x-49}{\sqrt{x}-7}
Per altri rapporti che conducono alla forma indeterminata il limite non esiste.
=\lim_{x\to49}\frac{\left(\sqrt{x}-7\right)\left(\sqrt{x}\,+7\right)}{\sqrt{x}-7}=14</math>
 
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 <math>\tfrac{0}{0}</math>, mentre i [[limite di una funzione|limiti]] di entrambi i rapporti esistono effettivamente e sono uguali a <math>1</math> e <math>14</math> rispettivamente.
Osservazioni simili valgono per le altre forme indeterminate indicate in precedenza.
 
Per altri rapporti che conduconoappartengono alla stessa forma indeterminata il limite non esiste.
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.
 
Osservazioni simili valgono per le altre forme indeterminate indicate in precedenza.
== Tavola ==
 
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.
Trasformazioni per risolvere forme di indeterminazione con il teorema di De l'Hopital
 
Il calcolo dei [[Limite notevole|limiti notevoli]] può essere inoltre svolto o semplificato grazie alla [[stima asintotica]].
{| border=1 style="border: 1px solid #000; background-color: #ffffff; width: 85%;"
 
Si noti che per qualsiasi <math>a</math> non nullo <math>a^0</math> e <math>\tfrac{a}{0}</math> (si veda [[Divisione per zero]]) non sono forme indeterminate.
 
== Risoluzione con la regola di De l'Hôpital ==
{{vedi anche|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 <math>\frac{0}{0}</math> e <math>\frac{\infty}{\infty}</math>. 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.
 
TrasformazioniIn particolare, la tabella seguente mostra le varie trasformazioni che si applicano per risolvere forme di indeterminazione con il teorema di De l'HopitalHôpital:
 
{| class="wikitable"
|'''Forma'''
|'''Condizione'''
Riga 46 ⟶ 47:
|'''Trasformazione'''
|-
|<math>\lim \frac{f(x)/}{g(x)}</math>
|<math>\lim f(x)=0</math>, <math>\lim g(x)=0</math>
|<math>\frac{0}{0}</math>
|''non necessaria''
|-
|<math>\lim \frac{f(x)/}{g(x)}</math>
|<math>\lim f(x)=\pm\infty</math>, <math>\lim g(x)=\pm\infty</math>
|<math>\pm\frac{\infty}{\infty}</math>
Riga 65 ⟶ 66:
|<math>\lim f(x)=1</math>, <math>\lim g(x)=\infty</math>
|<math>1^{\infty}</math>
|<math>e^{\left(\lim \frac{\ln f(x)}{1/g(x)}\right)}</math>
|-
|<math>\lim f(x)^{g(x)}</math>
|<math>\lim f(x)=0</math>, <math>\lim g(x)=0</math> <ref>[http://www.faqs.org/faqs/sci-math-faq/specialnumbers/0to0/ sci.math FAQ: What is 0^0?<!-- Titolo generato automaticamente -->]</ref>
|<math>0^0</math>
|<math>e^{\left(\lim \frac{\ln f(x)}{1/g(x)}\right)}</math>
|-
|<math>\lim f(x)^{g(x)}</math>
|<math>\lim f(x)=\infty</math>, <math>\lim g(x)=0</math>
|<math>\infty^0</math>
|<math>e^{\left(\lim \frac{\ln f(x)}{1/g(x)}\right)}</math>
|-
|<math>\lim (f(x)-{g(x))}</math>
|<math>\lim f(x)= + \infty</math>, <math>\lim g(x)= + \infty</math>
|<math>+\infty-\infty</math>
|<math>\ln \left(\lim \frac{e^{f(x)}}{e^{g(x)}}\right)</math>
|-
|}
 
== Limite notevole del tipo <math>\infty∞/∞ \overper \infty</math>frazioni polinomiali ==
 
Consideriamo la successione:
 
:<math>{P_p(n) \over Q_q(n)} </math> <math>= {{a_pn^p + a_{p-1}n^{p-1}+ ...\ldots +a_1n + a_0} \over {b_pnb_qn^pq + b_{pq-1}n^{pq-1}+ ...\ldots +b_1n + b_0}}</math>
 
quoziente di due [[polinomio|polinomi]] di grado <math>p</math> e <math>q</math>. Vogliamo studiare il caso in cui si presenta una forma indeterminata
<math>\infty tfrac{\over infty}{\infty}</math> .
 
Raccogliendo <math>n^p</math> al numeratore e <math>n^q</math> al denominatore si ha:
<math> n ^ {p-q} {{a_p + a_{p-1}n^{-1} + ... +a_1n^{1-p}+a_0n^{-p}} \over {b_p + b_{p-1}n^{-1} + ... +b_1n^{1-p}+b_0n^{-p}}}</math>
 
:<math> n ^ {p-q} {{a_p + a_{p-1}n^{-1} + ...\ldots +a_1n^{1-p}+a_0n^{-p}} \over {b_pb_q + b_{pq-1}n^{-1} + ...\ldots +b_1n^{1-pq}+b_0n^{-pq}}}</math>
cioè
 
cioè:
<math> n^ {p-q}c_n</math>
 
:<math> n^ {p-q}c_n</math>
 
dove:
 
:<math>c_n = {{a_p + a_{p-1}n^{-1} + ...\ldots +a_1n^{1-p}+a_0n^{-p}} \over {b_pb_q + b_{pq-1}n^{-1} + ...\ldots +b_1n^{1-pq}+b_0n^{-pq}}}</math>
 
poiché <math>n^{-k} \rightarrowto 0 </math> qualunque sia <math>k \in \N</math> non nullo si ha:
 
:<math>a_n = {{P_p(n)} \over {Q_q(n)}}</math> vale:
* <math>{a_p \over b_q}</math> \ \mathbf{se} \ <math>p = q</math>
* segno <math>sign\left( {a_p \over b_q} \right) \infty</math> \ \mathbf{se} \ <math>p > q</math>
* <math>0</math> \ \mathbf{se} \ <math>p < q</math>
 
poiché <math> n ^ {p-q} </math> vale:
 
* <math>1</math> \ \mathbf{se} \ <math>p = q;</math>
* <math>+ \infty</math> \ \mathbf{se} \ <math>p \ge q;</math>
* <math>0</math> \ \mathbf{se} \ <math>p \le q.</math>
 
== Collegamenti esterniNote ==
<references/>
 
Calcolo di limiti che si presentano in forma indeterminata: <br>
http://www.matematicaeliberaricerca.com/lezioni_free/limiti/39_limite_free.htm
 
== Voci correlate ==
*[[Limite notevole]]
*[[Limite (matematica)|Limite]]
*[[Stima asintotica]]
 
==Collegamenti esterni==
*[[Tavola dei limiti notevoli]]
* {{Collegamenti esterni}}
*[[Limite (matematica)|Limite]]
* {{cita web|http://www.ripmat.it/mate/c/cd/cdg.html|Forme indeterminate e dimostrazioni}}
* {{cita web | 1 = http://www.matematicaeliberaricerca.com/lezioni_free/limiti/39_limite_free.htm | 2 = Calcolo di limiti che si presentano in forma indeterminata | accesso = 22 gennaio 2008 | urlarchivio = https://web.archive.org/web/20080131163508/http://www.matematicaeliberaricerca.com/lezioni_free/limiti/39_limite_free.htm | dataarchivio = 31 gennaio 2008 | urlmorto = sì }}
 
{{analisi matematica}}
{{Portale|matematica}}
 
 
{{Portale|matematica}}
[[Categoria:Limiti]]
 
[[en:Indeterminate form]]
[[pl:Symbole nieoznaczone]]
[[ro:Nedeterminare]]
[[zh:0/0]]