Regola di de l'Hôpital

Da Wikipedia, l'enciclopedia libera.
(Reindirizzamento da Teorema de l'Hopital)

Nell'analisi matematica la regola di de l'Hôpital è un procedimento che permette di calcolare vari limiti di quozienti di funzioni reali di variabile reale che convergono a forme indeterminate delle forme \frac{0}{0} e \frac{\infty}{\infty}[1] con l'aiuto della derivata del numeratore e della derivata del denominatore. La regola si può estendere per cercare di calcolare limiti di funzioni appartenenti ad altre forme indeterminate.

La regola prende il nome da Guillaume de l'Hôpital, matematico francese del XVII secolo, che la pubblicò per la prima volta nel suo libro Analyse des infiniment petits pour l'intelligence des lignes courbes (1696). È stato in seguito provato che la regola è da attribuirsi a Johann Bernoulli, suo insegnante e corrispondente; di conseguenza viene talora chiamata regola di Bernoulli.

Il teorema[modifica | modifica sorgente]

Siano f, g : [a,b] \rightarrow \mathbb{R} due funzioni reali di variabile reale continue in [a,b] e derivabili in (a,b), con -\infty \leq a < b \leq +\infty; sia g^{\prime}(x) diverse da 0 in ogni punto di tale intervallo, tranne al più in c \in (a,b). Sia inoltre

\lim_{x\to c}{f(x)} = \lim_{x\to c}g(x) = 0  oppure 


\lim_{x\to c}{|f(x)|} = \lim_{x\to c}{|g(x)|} = \infty,

ed esista

 L = \lim_{x \to c}{\frac{f'(x)}{g'(x)}} \in \mathbb{\bar{R}} .

Allora

\lim_{x \to c}{\frac{f(x)}{g(x)}} = L.

Perciò, se si cerca un limite di un quoziente il cui numeratore e denominatore convergono entrambi a zero, oppure divergono entrambi ad infinito, può essere utile cercare di calcolare il quoziente delle derivate del numeratore e del denominatore. Se esiste il limite L di questo nuovo quoziente, allora esisterà anche il limite del quoziente originale e coinciderà con L. Se invece il nuovo quoziente a sua volta appartiene ad una forma indeterminata, si può ripetere l'operazione, cioè cercare di calcolare il limite del quoziente delle derivate seconde e così via.

L'incapacità di determinare il limite del quoziente delle derivate comunque non implica la non esistenza del limite del quoziente originale.

Dimostrazione[modifica | modifica sorgente]

La dimostrazione usuale fa uso del teorema di Cauchy ed è soggetta a variazioni a seconda che c e L siano finiti o infiniti, che f e g convergano a zero o ad infinito, e che i limiti in considerazione siano destri, sinistri o bilateri. Tutte queste varianti seguono le due versioni principali qui sotto esposte, con opportune precisazioni, ma senza bisogno di introdurre nuovi ragionamenti. Inoltre è opportuno ricordare che ogni forma di indeterminazione del tipo "zero su zero" o "infinito su infinito" è riconducibile ciascuna all'altra; pertanto è sufficiente dimostrarne una delle due per ottenere automaticamente anche l'altra.

Zero su zero[modifica | modifica sorgente]

Si considerino c ed L reali e f(x) e g(x) funzioni convergenti a zero per x\to c.

Pertanto è possibile supporre che sia f(c)=0 e g(c)=0.

Questo implica la possibilità di considerare sia f che g continue in c, senza per questo modificarne il limite (infatti, per definizione, il limite non dipende dalla valutazione nel punto c).

Poiché esiste \scriptstyle\lim_{x\to c}f'(x)/g'(x), esiste un intervallo (c-\delta,c+\delta) tale che per ogni x nell'intervallo, eccetto al più c stesso, sia f'(x) che g'(x) esistono e g'(x)\neq 0 .

Se x\in (c,c+\delta), si possono applicare sia il teorema del valor medio che il teorema di Cauchy sull'intervallo [c,x] (lo stesso vale, con argomentazioni simili, nell'intervallo (c-\delta,c)). Il teorema del valor medio implica che su tale intervallo sia g(x)\neq 0 (altrimenti esisterebbe y\in (c,x) con g'(y)=0). Il teorema di Cauchy asserisce che esiste un punto \xi_x in (c,x) tale che

\frac{f(x)}{g(x)} = \frac{f'(\xi_x)}{g'(\xi_x)}.

Se x tende a c, allora \xi_x tende a c. Poiché \displaystyle\lim_{x\to c}\frac{f'(x)}{g'(x)} esiste, segue che


\lim_{x\to c}\frac{f(x)}{g(x)}
= \lim_{x\to c}\frac{f'(\xi_x)}{g'(\xi_x)}
= \lim_{x\to c}\frac{f'(x)}{g'(x)}.

Infinito su infinito[modifica | modifica sorgente]

Si consideri L finito, e f e g convergenti a +\infty per  x\to c= +\infty.

Per ogni \varepsilon >0, esiste m tale che

\left|\frac{f'(x)}{g'(x)} - L\right| < \varepsilon \quad \text{per } x\geq m.

Il teorema del valor medio implica che se x>m, allora g(x)\neq g(m) (altrimenti esisterebbe y\in (m,x) con g'(y)=0). Il teorema di Cauchy applicato all'intervallo [m,x] garantisce che

\left|\frac{f(x)-f(m)}{g(x)-g(m)} - L\right| < \varepsilon \quad \text{per } x>m.

Poiché f diverge a +\infty, se x è sufficientemente grande, allora f(x)\neq f(m). Dunque si potrà scrivere

\frac{f(x)}{g(x)} = \frac{f(x)-f(m)}{g(x)-g(m)} \cdot \frac{f(x)}{f(x)-f(m)} \cdot \frac{g(x)-g(m)}{g(x)}.

Si consideri,


\begin{align}&\left|\frac{f(x)}{g(x)}- \frac{f(x)-f(m)}{g(x)-g(m)}\right|=\\
&\quad = \left|\frac{f(x)-f(m)}{g(x)-g(m)} \cdot \frac{f(x)}{f(x)-f(m)} \cdot \frac{g(x)-g(m)}{g(x)} - \frac{f(x)-f(m)}{g(x)-g(m)}\right| \leq\\
& \quad \leq \left|\frac{f(x)-f(m)}{g(x)-g(m)}\right| \left|\frac{f(x)}{f(x)-f(m)} \cdot \frac{g(x)-g(m)}{g(x)} - 1\right| <\\
& \quad < (|L|+\varepsilon)\left|\frac{f(x)}{f(x)-f(m)} \cdot \frac{g(x)-g(m)}{g(x)} - 1\right|.\end{align}

Per x sufficientemente grande, questo è meno di qualunque \varepsilon e dunque


\begin{align}&\left|\frac{f(x)}{g(x)}-L\right|\leq\left|\frac{f(x)}{g(x)} - \frac{f(x)-f(m)}{g(x)-g(m)}+ \frac{f(x)-f(m)}{g(x)-g(m)}-L\right|\leq\\
&\quad \leq \left|\frac{f(x)}{g(x)} - \frac{f(x)-f(m)}{g(x)-g(m)}\right|+ \left|\frac{f(x)-f(m)}{g(x)-g(m)}-L\right|<
 2\varepsilon.\end{align}

Il che implica che:
\lim_{x\to +\infty}\frac{f(x)}{g(x)}
= \lim_{x\to +\infty}\frac{f'(x)}{g'(x)}=L.

Esempi[modifica | modifica sorgente]

Applicazioni singole[modifica | modifica sorgente]

Si consideri:

\begin{align}
  \lim_{x \to +\infty} \frac{\sqrt{x}}{\ln(x)}&=\\
 &= \xrightarrow{l'H \hat{o} pital} \lim_{x \to +\infty} \frac{\frac{1}{2 \sqrt{x}}}{\frac{1}{x}}
  = \lim_{x \to +\infty} \frac{\sqrt{x}}{2}
  = +\infty
\end{align}

Applicazioni iterate[modifica | modifica sorgente]

Avendo a che fare con funzioni derivabili più volte ed avendo cura di verificare che le ipotesi del teorema siano valide ad ogni passaggio, sarà possibile applicare il teorema più volte, come nei casi qui sotto riportati.

 \begin{align}
\lim_{x \to 0} \frac{e^x-e^{-x}-2x} {x-\operatorname{sen}(x)} &=&\\
&=\xrightarrow{l'H \hat{o} pital} \lim_{x \to 0} \frac{e^x-(-e^{-x})-2}{1-\operatorname{cos}(x)} =\\
&=\xrightarrow{l'H \hat{o} pital} \lim_{x \to 0} \frac{e^x-e^{-x}}{\operatorname{sen}(x)} =\\
&=\xrightarrow{l'H \hat{o} pital} \lim_{x \to 0} \frac{e^x-(-e^{-x})}{\operatorname{cos}(x)} =\\
&=\frac{e^0+e^{-0}}{\operatorname{cos}(0)} =\frac{1+1}{1} = 2\end{align}

Per ogni n>0 intero, si ha che:

 \begin{align} \lim_{x \to +\infty} \frac{x^n}{e^x} &=\\
&=\xrightarrow{l'H \hat{o} pital} \lim_{x \to+\infty} \frac{n\cdot x^{n-1}}{e^x} =\\
&=\xrightarrow{l'H \hat{o} pital} \lim_{x \to+\infty} \frac{n\cdot (n-1)x^{n-2}}{e^x} =\\
&=\xrightarrow{l'H \hat{o} pital}= \ldots =\xrightarrow{l'H \hat{o} pital} \lim_{x \to+\infty} \frac{n!}{e^x}= 0 
\end{align}

Altre forme di indeterminazione[modifica | modifica sorgente]

La regola di de l'Hopital può essere utile anche per trattare forme indeterminate del tipo [0\cdot\infty], in quanto queste si possono ricondurre facilmente alle due precedentemente considerate. Questo accade ad esempio per il limite

\lim_{x \to 0^+} x\ln(x)=[0\cdot-\infty] ;

infatti basta riscrivere:

\begin{align}\lim_{x \to 0^+} x\ln(x)&=\lim_{x \to 0^+} \frac{\ln(x)}{\frac{1}{x}}=\left[\frac{-\infty}{\infty}\right]\\
&=\xrightarrow{l'H \hat{o} pital} \lim_{x \to 0^+}\frac{\frac{1}{x}}{-\frac{1}{x^2}}=\lim_{x \to 0^+} -x=0\\
\end{align}

Espedienti simili possono essere talvolta usati anche per altre forme di indeterminazione, come [1], [00], [∞0], e [∞ − ∞]. Ad esempio, per valutare un limite del tipo [∞ − ∞], si può provare a riscrivere la differenza sotto forma di quoziente:


\begin{align}
\lim_{x \to 1} \frac{x}{x-1} - \frac{1}{\ln x}
& = \lim_{x \to 1} \frac{x \ln x - x + 1}{(x-1) \ln x} \\
& = \xrightarrow{l'H \hat{o} pital} \lim_{x \to 1} \frac{\ln x}{\frac{x-1}{x} + \ln x}\\
& = \lim_{x \to 1} \frac{x \ln x}{x - 1 + x \ln x}  \\
& = \xrightarrow{l'H \hat{o} pital} \lim_{x \to 1} \frac{1 + \ln x}{2 + \ln x}  \\
& = \frac{1}{2},
\end{align}

La regola di de l'Hôpital si può utilizzare anche per valutare forme indeterminate che coinvolgono le potenze usando i logaritmi per spostare la forma indeterminata da un esponenziale ad un prodotto. In questo esempio si considera una forma indeterminata del tipo [00]:


\lim_{x \to 0^+} x^x
= \lim_{x \to 0^+} e^{\ln x^x}
= \lim_{x \to 0^+} e^{x \ln x}
= e^{\lim_{x \to 0^+} x \ln x}.

Poiché la funzione esponenziale è continua infatti è possibile passare il limite all'esponente e quindi operare come nell'esempio riportato sopra per ottenere:

\lim_{x \to 0^+} x^x = e^0 = 1.

Corollario[modifica | modifica sorgente]

Una conseguenza semplice ma molto utile del teorema di de l'Hopital è un noto criterio di derivabilità. Esso afferma il seguente: supponiamo che f sia continua in a, e che f'(x) esista per ogni x in qualche intervallo contenente a, eccetto forse per x = a. Supponiamo, inoltre, che \lim_{x\rightarrow a}f'(x) esista. Allora f'(a) anch'esso esiste, e

f'(a) = \lim_{x\rightarrow a}f'(x).

Dimostrazione[modifica | modifica sorgente]

È sufficiente considerare le funzioni h(x) = f(x) - f(a) e g(x) = x - a. La continuità di f in a ci dice che \lim_{x\rightarrow a}h(x) = 0; ovviamente anche \lim_{x\rightarrow a}g(x) = 0, dato che una funzione polinomiale è sempre continua ovunque. Applicando la regola di de l'Hopital concludiamo che f'(a) := \lim_{x\rightarrow a} \frac{f(x) - f(a)}{x - a} = \lim_{x\rightarrow a} \frac{h(x)}{g(x)} = \lim_{x\rightarrow a}f'(x).

Note[modifica | modifica sorgente]

  1. ^ La forma "\frac{\infty}{\infty}" è da leggersi: "\frac{+\infty}{+\infty} oppure \frac{+\infty}{-\infty} oppure \frac{-\infty}{+\infty} oppure \frac{-\infty}{-\infty}". O con altra simbologia \frac{\pm \infty}{\pm \infty}.

Voci correlate[modifica | modifica sorgente]

Collegamenti esterni[modifica | modifica sorgente]

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